detailed results (8290 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Gulwani.bpl_Iteration1_Lasso_6-phaseTemplate.smt2 (content) error unsat 27.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Gulwani.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error unsat 27.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) error sat 26.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/GcdNew.bpl_Iteration1_Lasso_3-pieceTemplate.smt2 (content) error sat 27.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error unsat 22.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_5-phaseTemplate.smt2 (content) error unsat 24.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) error unsat 17.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Collatz.bpl_Iteration1_Loop_2-pieceTemplate.smt2 (content) error unsat 17.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error unsat 24.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) error unsat 25.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Lasso_7-phaseTemplate.smt2 (content) error unsat 25.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/Canberra.bpl_Iteration1_Lasso_4-pieceTemplate.smt2 (content) error unsat 24.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/min_rf_true-termination.c_Iteration1_Loop_4-pieceTemplate.smt2 (content) error sat 29.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_7-nestedTemplate.smt2 (content) error sat 17.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 15s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_6-nestedTemplate.smt2 (content) error sat 19.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_5-phaseTemplate.smt2 (content) error sat 14.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_5-nestedTemplate.smt2 (content) error sat 16.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_4-phaseTemplate.smt2 (content) error sat 21.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_4-nestedTemplate.smt2 (content) error sat 21.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_4-lexTemplate.smt2 (content) error sat 29.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_3-phaseTemplate.smt2 (content) error sat 24.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_3-nestedTemplate.smt2 (content) error sat 26.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/SV-COMP/aviad_true-termination.c_Iteration1_Loop_3-lexTemplate.smt2 (content) error sat 20.5s