detailed results (1 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/bugs/undecided.icnf (content) error unknown 0.025s