detailed results (443 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_18.smt2 (content) unknown unsat 30.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c.smt2 (content) unknown sat 30.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.linux-3.8-rc1-32_7a-drivers--hwmon--w83793.ko-ldv_main0_true-unreach-call.cil.out.c.smt2 (content) unknown sat 30.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414649/SEQ038_size9.smt2 (content) unknown unsat 30.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414648/SEQ038_size8.smt2 (content) unknown unsat 30.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414647/SEQ038_size7.smt2 (content) unknown unsat 30.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414646/SEQ038_size6.smt2 (content) unknown unsat 30.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414644/SEQ035_size5.smt2 (content) unknown unsat 30.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414639/SEQ026_size7.smt2 (content) unknown unsat 30s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414632/SEQ019_size6.smt2 (content) unknown sat 30s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414628/SEQ018_size7.smt2 (content) unknown unsat 30s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414627/SEQ018_size6.smt2 (content) unknown unsat 30.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414614/SEQ010_size9.smt2 (content) unknown unsat 30.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414612/SEQ010_size7.smt2 (content) unknown unsat 30.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414611/SEQ010_size6.smt2 (content) unknown unsat 30.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414607/SEQ009_size10.smt2 (content) unknown unsat 30s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414605/SEQ005_size8.smt2 (content) unknown unsat 30.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414604/SEQ005_size7.smt2 (content) unknown unsat 30.3s