detailed results (2 total)

proverfileresexpectedtime
mc2-dev/home/simon/workspace/mc2/tests/sat/reg_arith1.smt2(content)unsatsat0.023s
mc2-dev/home/simon/workspace/mc2/tests/sat/p-0-bucket_s7.smt2(content)unsatsat0.593s