detailed results (1 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/bugs/undecided.icnf (content) error unknown 0.011s