detailed results (8297 total)

prover file res expected time
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.3s
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.8s
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 28.2s
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 24.6s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekh_ctm_true-unreach-call.4.c.smt2 (content) error sat 8.9s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekh_ctm_true-unreach-call.3.c.smt2 (content) error sat 9.1s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.4.c.smt2 (content) error unknown 9s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.3.c.smt2 (content) error sat 5.9s
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.3s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_true-unreach-call.1.c.smt2 (content) error sat 6.1s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/cpachecker-bmc-svcomp14/cpachecker-bmc.rekcba_ctm_false-unreach-call.3.c.smt2 (content) error unknown 5.7s
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.4s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/latendresse/ecoliMILPglycerolYices3-90000.smt2 (content) error sat 15.2s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/latendresse/ecoliMILPglycerolYices3-60000.smt2 (content) error sat 15.7s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/latendresse/ecoliMILPglycerolYices3-300000.smt2 (content) error unsat 21.4s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/latendresse/ecoliMILPglycerolYices3-100000.smt2 (content) error sat 15.3s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 12.0s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 20.5s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 22.4s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 15.8s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 16.8s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 19.9s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_5-phaseTemplate.smt2 (content) error sat 22.8s
mc2-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 25.2s