detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_2clocks.main_invar.base.smt2 (content) unsat unsat 0.024s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.induct.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.induct.smt2 (content) error unsat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.induct.smt2 (content) timeout unsat 11s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.020s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.base.smt2 (content) error unsat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.019s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.main_invar.induct.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.main_invar.induct.smt2 (content) error unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.main_invar.induct.smt2 (content) timeout unsat 11s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.main_invar.base.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.main_invar.base.smt2 (content) error unsat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_10clocks.main_invar.base.smt2 (content) unsat unsat 0.062s
mc2 /home/simon/workspace/smtlib/QF_LRA/check/bignum_lra2.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/check/bignum_lra2.smt2 (content) error unsat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/check/bignum_lra2.smt2 (content) unsat unsat 0.021s
mc2 /home/simon/workspace/smtlib/QF_LRA/check/bignum_lra1.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/check/bignum_lra1.smt2 (content) error sat 0.017s
z3 /home/simon/workspace/smtlib/QF_LRA/check/bignum_lra1.smt2 (content) sat sat 0.021s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p7-zenonumeric_s6.smt2 (content) timeout sat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p7-zenonumeric_s6.smt2 (content) error sat 0.055s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p7-zenonumeric_s6.smt2 (content) sat sat 1.4s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p7-driverlogNumeric_s8.smt2 (content) timeout sat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p7-driverlogNumeric_s8.smt2 (content) error sat 0.057s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p7-driverlogNumeric_s8.smt2 (content) sat sat 10.1s