detailed results (1 total)

proverfileresexpectedtime
mc2-nogc-dev/home/simon/workspace/mc2/tests/sat/p-0-bucket_s7.smt2(content)unsatsat1.3s