detailed results (1 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/sidekick/tests/sat/v1l60008.cvc.smt2(content)unsatsat0.010s