assign(report_stderr, 2).
set(ignore_option_dependencies). % GUI handles dependencies

if(Prover9). % Options for Prover9
  assign(max_seconds, 60).
end_if.

if(Mace4).   % Options for Mace4
  assign(max_seconds, 60).
end_if.

formulas(assumptions).

x * y = y * (y * (x * x)).
x*x = y*y -> x = y.

end_of_list.

formulas(goals).

x * x = ((x * x) * x) * x.

end_of_list.