root
file
detailed [375..399]
prev
next
detailed results (699 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/MenloPark.bpl_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
timeout
unsat
10.2s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/MenloPark.bpl_Iteration1_Lasso_3-pieceTemplate.smt2
(content)
timeout
unsat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Lobnya-Boolean-Reordered.bpl_Iteration1_Loop_7-phaseTemplate.smt2
(content)
timeout
unsat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Lobnya-Boolean-Reordered.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
unsat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GulwaniResetBranchOnly.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
sat
11.3s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GulwaniResetBranchOnly.bpl_Iteration1_Lasso_6-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GulwaniResetBranchOnly.bpl_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
timeout
sat
10.1s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gulwani.bpl_Iteration1_Lasso_6-phaseTemplate.smt2
(content)
timeout
unsat
10.1s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gulwani.bpl_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
timeout
unsat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gothenburg.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_6-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_3-pieceTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_6-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_5-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_3-pieceTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gcd.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Gcd.bpl_Iteration1_Lasso_4-pieceTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Damaskus.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/Damaskus.bpl_Iteration1_Lasso_6-phaseTemplate.smt2
(content)
timeout
sat
10s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/CooperatingT2_consts1.bpl_Iteration1_Lasso_7-phaseTemplate.smt2
(content)
timeout
sat
10.7s
mc2
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/CooperatingT2_consts1.bpl_Iteration1_Lasso_3-pieceTemplate.smt2
(content)
timeout
sat
10s