detailed results (21 total)

prover file res expected time
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/shewanella-compact2b.smt2 (content) error sat 0.044s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/shewanella-compact2.smt2 (content) error unsat 0.043s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-90000.smt2 (content) error sat 0.109s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-80000.smt2 (content) error sat 0.128s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-70000.smt2 (content) error sat 0.112s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-60000.smt2 (content) error sat 0.119s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-50000.smt2 (content) error sat 0.111s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-5000.smt2 (content) error sat 0.111s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-300000.smt2 (content) error unsat 0.174s
mc2 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-100000.smt2 (content) error sat 0.119s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 9.8s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/bound-scaled200.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 9.5s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Madrid.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error unsat 3.3s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 9.3s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-nestedTemplate.smt2 (content) error sat 9.8s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 9.5s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/TelAviv-Amir-Minimum_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) error sat 9s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-termination.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error unsat 8.8s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/CooperatingT2/heidy7-simple.t2.c_Iteration2_Lasso_4-pieceTemplate.smt2 (content) error unsat 5.8s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration8_Loop_4-pieceTemplate.smt2 (content) error sat 7.9s
mc2 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration8_Loop_3-pieceTemplate.smt2 (content) error sat 9.8s