detailed results (1 total)

proverfileresexpectedtime
z3/home/simon/w/sidekick2/tests/bugs/undecided.icnf(content)errorunknown0.025s