root
file
detailed [1200..1224]
prev
next
detailed results (3296 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_5clocks.main_invar.induct.smt2
(content)
timeout
unsat
13.6s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_5clocks.main_invar.induct.smt2
(content)
unsat
unsat
5.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_5clocks.main_invar.base.smt2
(content)
unsat
unsat
4.8s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_5clocks.main_invar.base.smt2
(content)
unsat
unsat
0.056s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.worst_case_skew.induct.smt2
(content)
unknown
unsat
10.4s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.worst_case_skew.induct.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.worst_case_skew.base.smt2
(content)
unsat
unsat
0.011s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.worst_case_skew.base.smt2
(content)
unsat
unsat
0.020s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.main_invar.induct.smt2
(content)
timeout
unsat
12.7s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.main_invar.induct.smt2
(content)
unsat
unsat
3.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.main_invar.base.smt2
(content)
unsat
unsat
2.6s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.main_invar.base.smt2
(content)
unsat
unsat
0.048s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.worst_case_skew.induct.smt2
(content)
unknown
unsat
10.9s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.worst_case_skew.induct.smt2
(content)
unsat
unsat
0.212s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.worst_case_skew.base.smt2
(content)
unsat
unsat
0.011s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.worst_case_skew.base.smt2
(content)
unsat
unsat
0.021s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.main_invar.induct.smt2
(content)
unknown
unsat
10.9s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.main_invar.induct.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.main_invar.base.smt2
(content)
unsat
unsat
1s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.main_invar.base.smt2
(content)
unsat
unsat
0.023s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_2clocks.worst_case_skew.induct.smt2
(content)
unsat
unsat
0.098s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_2clocks.worst_case_skew.induct.smt2
(content)
unsat
unsat
0.040s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_2clocks.worst_case_skew.base.smt2
(content)
unsat
unsat
0.007s
z3
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_2clocks.worst_case_skew.base.smt2
(content)
unsat
unsat
0.017s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_LRA/clock_synchro/clocksynchro_2clocks.main_invar.induct.smt2
(content)
unknown
unsat
10.6s