detailed results (21 total)

proverfileresexpectedtime
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/shewanella-compact2b.smt2(content)errorsat0.044s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/shewanella-compact2.smt2(content)errorunsat0.043s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-90000.smt2(content)errorsat0.109s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-80000.smt2(content)errorsat0.128s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-70000.smt2(content)errorsat0.112s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-60000.smt2(content)errorsat0.119s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-50000.smt2(content)errorsat0.111s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-5000.smt2(content)errorsat0.111s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-300000.smt2(content)errorunsat0.174s
mc2/home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-100000.smt2(content)errorsat0.119s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2(content)errorsat9.8s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/bound-scaled200.bpl_Iteration1_Loop_7-phaseTemplate.smt2(content)errorsat9.5s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Madrid.bpl_Iteration1_Lasso_4-pieceTemplate.smt2(content)errorunsat3.3s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-phaseTemplate.smt2(content)errorsat9.3s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-nestedTemplate.smt2(content)errorsat9.8s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_6-phaseTemplate.smt2(content)errorsat9.5s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/TelAviv-Amir-Minimum_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2(content)errorsat9s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/SV-COMP/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-termination.c_Iteration1_Lasso_4-pieceTemplate.smt2(content)errorunsat8.8s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/CooperatingT2/heidy7-simple.t2.c_Iteration2_Lasso_4-pieceTemplate.smt2(content)errorunsat5.8s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration8_Loop_4-pieceTemplate.smt2(content)errorsat7.9s
mc2/home/simon/w/mc2/tests/QF_LRA/LassoRanker/CooperatingT2/brp_withassume.t2.c_Iteration8_Loop_3-pieceTemplate.smt2(content)errorsat9.8s