detailed results (8285 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_6-phaseTemplate.smt2 (content) error unsat 21.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_6-nestedTemplate.smt2 (content) error unsat 27.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_5-phaseTemplate.smt2 (content) error unsat 25.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_5-nestedTemplate.smt2 (content) error unsat 24.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error unknown 17.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_4-lexTemplate.smt2 (content) error unsat 25.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_3-pieceTemplate.smt2 (content) error unsat 26.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig7b_true-termination.c_Iteration1_Loop_3-nestedTemplate.smt2 (content) error unsat 8.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig7a_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 21.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig7a_true-termination.c_Iteration1_Loop_3-pieceTemplate.smt2 (content) error unsat 23.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig3_true-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) error unsat 25.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig3_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 24.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/CookSeeZuleger-2013TACAS-Fig3_true-termination.c_Iteration1_Loop_3-pieceTemplate.smt2 (content) error unsat 22.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/BradleyMannaSipma-2005CAV-Fig1_true-termination.c_Iteration1_Lasso_7-phaseTemplate.smt2 (content) error sat 28.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/BradleyMannaSipma-2005CAV-Fig1_true-termination.c_Iteration1_Lasso_6-phaseTemplate.smt2 (content) error sat 21s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/BradleyMannaSipma-2005CAV-Fig1_true-termination.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error sat 25.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/BradleyMannaSipma-2005CAV-Fig1_true-termination.c_Iteration1_Lasso_3-pieceTemplate.smt2 (content) error sat 27s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/Ben-Amram-2010LMCS-Ex2.3_true-termination.c_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error unsat 24.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/Ben-Amram-2010LMCS-Ex2.3_true-termination.c_Iteration1_Lasso_3-pieceTemplate.smt2 (content) error unsat 25s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/toeplz.t2.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) error sat 18.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/toeplz.t2.c_Iteration2_Loop_4-pieceTemplate.smt2 (content) error sat 28.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/toeplz.t2.c_Iteration2_Loop_3-pieceTemplate.smt2 (content) error sat 22.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/toeplz.c.i.toeplz.pl.t2.fixed.t2.c_Iteration2_Loop_7-phaseTemplate.smt2 (content) error sat 17.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/toeplz.c.i.toeplz.pl.t2.fixed.t2.c_Iteration2_Loop_4-pieceTemplate.smt2 (content) error sat 27.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/CooperatingT2/toeplz.c.i.toeplz.pl.t2.fixed.t2.c_Iteration2_Loop_3-pieceTemplate.smt2 (content) error sat 19.8s