root
file
detailed
prev
next
detailed results (21 total)
filter
improved
ok
disappoint
bad
error
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