Problem 2 - compare to expected proof output (3 not proved in less than 3 mn)