detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/keymaera/bouncing-ball-inv-node1935.smt2 (content) error unsat 0.016s
z3 /home/simon/workspace/smtlib/QF_LRA/keymaera/bouncing-ball-inv-node1935.smt2 (content) unsat unsat 0.020s
mc2 /home/simon/workspace/smtlib/QF_LRA/keymaera/bouncing-ball-inv-node1886.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/keymaera/bouncing-ball-inv-node1886.smt2 (content) error unsat 0.015s
z3 /home/simon/workspace/smtlib/QF_LRA/keymaera/bouncing-ball-inv-node1886.smt2 (content) unsat unsat 0.018s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.induct.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.induct.smt2 (content) error unsat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.induct.smt2 (content) timeout unsat 11s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.base.smt2 (content) error unsat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.020s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.induct.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.induct.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.induct.smt2 (content) timeout unsat 11s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.base.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.base.smt2 (content) error unsat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.base.smt2 (content) unsat unsat 0.053s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.induct.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.induct.smt2 (content) error unsat 0.016s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.induct.smt2 (content) timeout unsat 11s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.base.smt2 (content) error unsat 0.017s
z3 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.018s
mc2 /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.main_invar.induct.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.main_invar.induct.smt2 (content) error unsat 0.021s