detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_5-phaseTemplate.smt2 (content) fatal ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) fatal ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gcd.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Gcd.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Damaskus.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Damaskus.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.218s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/CooperatingT2_consts1.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.331s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/CooperatingT2_consts1.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/CooperatingT2_consts1.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) fatal ok 0.158s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.484s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) fatal ok 0.477s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_5-phaseTemplate.smt2 (content) fatal ok 0.382s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) fatal ok 0.720s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_2-pieceTemplate.smt2 (content) fatal ok 0.468s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) fatal ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) fatal ok 0.303s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Cairo2.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.297s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/Ultimate/Braverman-2006CAV-Ex1-int.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.222s