detailed results (472 total)

prover file res expected time
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-90000.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-80000.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-70000.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-60000.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-50000.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-5000.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-300000.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-100000.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_8clocks.main_invar.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_7clocks.worst_case_skew.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_7clocks.main_invar.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/clock_synchro/clocksynchro_10clocks.main_invar.induct.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) timeout unsat 15.8s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) timeout sat 13.5s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_4-pieceTemplate.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled50.bpl_Iteration1_Loop_3-pieceTemplate.smt2 (content) timeout unsat 11s
z3 /home/simon/w/mc2/tests/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled100.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s