detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/OpposedDisjuncts.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/OpposedDisjuncts.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/OpposedDisjuncts.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/OpposedDisjuncts.bpl_Iteration1_Lasso_5-phaseTemplate.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/OpposedDisjuncts.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/OpposedDisjuncts.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) fatal ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/OpposedDisjuncts.bpl_Iteration1_Lasso_2-pieceTemplate.smt2 (content) fatal ok 0.217s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/NoriSharma-2013FSE-Fig7.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/NonTerminationDifficult.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/MenloPark.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/MenloPark.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.167s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/MenloPark.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Madrid.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.246s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Lobnya-Boolean-Reordered.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Lobnya-Boolean-Reordered.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GulwaniResetBranchOnly.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GulwaniResetBranchOnly.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GulwaniResetBranchOnly.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gulwani.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gulwani.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gothenburg.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gcd_havoc.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) fatal ok 0.321s