detailed results (8287 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cs_fib_longer_true-unreach-call.i.smt2 (content) error sat 9.3s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cs_fib_longer_false-unreach-call.i.smt2 (content) error sat 8.3s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.cs_fib_false-unreach-call.i.smt2 (content) error sat 8.8s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem08_60_false-unreach-call.c.smt2 (content) error sat 7.9s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_60_false-unreach-call.c.smt2 (content) error sat 7.8s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_50_true-unreach-call.c.smt2 (content) error unsat 6.9s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_10_true-unreach-call.c.smt2 (content) error unsat 7.9s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem07_00_true-unreach-call.c.smt2 (content) error unsat 7.4s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem06_60_false-unreach-call.c.smt2 (content) error sat 22.5s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.Problem05_60_false-unreach-call.c.smt2 (content) error sat 25.8s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--infiniband--hw-cxgb3--iw_cxgb3.ko-main.cil.out.c.smt2 (content) error sat 27.2s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--platform--x86--samsung-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) error sat 29.4s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--infiniband--hw--cxgb3--iw_cxgb3.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) error sat 29.6s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) error sat 8.4s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c.smt2 (content) error sat 27.2s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekh_ctm_true-unreach-call.4.c.smt2 (content) error sat 9.2s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekh_ctm_true-unreach-call.3.c.smt2 (content) error sat 10.5s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.4.c.smt2 (content) error unknown 8.7s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.3.c.smt2 (content) error sat 6s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.2.c.smt2 (content) error sat 8.4s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.1.c.smt2 (content) error sat 5.2s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_false-unreach-call.3.c.smt2 (content) error unknown 6.2s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_false-unreach-call.2.c.smt2 (content) error sat 8.5s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/latendresse/ecoliMILPglycerolYices3-90000.smt2 (content) error sat 14.5s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/latendresse/ecoliMILPglycerolYices3-60000.smt2 (content) error sat 17.4s