detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.t2.c_Iteration7_Loop_6-phaseTemplate.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration9_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration9_Loop_5-phaseTemplate.smt2 (content) fatal ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration9_Loop_4-pieceTemplate.smt2 (content) fatal ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration8_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration8_Loop_6-phaseTemplate.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration10_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration10_Loop_6-phaseTemplate.smt2 (content) fatal ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.c_Iteration10_Loop_4-pieceTemplate.smt2 (content) fatal ok 0.301s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/loop3.t2.c_Iteration25_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.226s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_7-phaseTemplate.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_6-phaseTemplate.smt2 (content) fatal ok 0.304s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_4-pieceTemplate.smt2 (content) fatal ok 0.223s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_3-pieceTemplate.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/janne_complex.t2.c_Iteration3_Lasso_2-pieceTemplate.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.389s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_6-phaseTemplate.smt2 (content) fatal ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_5-phaseTemplate.smt2 (content) fatal ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-pieceTemplate.smt2 (content) fatal ok 0.468s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-phaseTemplate.smt2 (content) fatal ok 0.319s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_4-lexTemplate.smt2 (content) fatal ok 0.403s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_3-pieceTemplate.smt2 (content) fatal ok 0.400s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration9_Loop_2-pieceTemplate.smt2 (content) fatal ok 0.392s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) fatal ok 0.395s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/LassoRanker/CooperatingT2/hongyi1.t2.c_Iteration1_Loop_6-phaseTemplate.smt2 (content) fatal ok 0.323s