root
file
detailed [75..99]
prev
next
detailed results (564 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_5clocks.worst_case_skew.induct.smt2
(content)
sat
unsat
0.054s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_5clocks.worst_case_skew.base.smt2
(content)
sat
unsat
0.016s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.worst_case_skew.induct.smt2
(content)
sat
unsat
0.024s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_4clocks.worst_case_skew.base.smt2
(content)
sat
unsat
0.013s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.worst_case_skew.induct.smt2
(content)
sat
unsat
0.016s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_3clocks.worst_case_skew.base.smt2
(content)
sat
unsat
0.027s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_2clocks.worst_case_skew.induct.smt2
(content)
sat
unsat
0.017s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_2clocks.worst_case_skew.base.smt2
(content)
sat
unsat
0.012s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.induct.smt2
(content)
sat
unsat
0.554s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/clock_synchro/clocksynchro_10clocks.worst_case_skew.base.smt2
(content)
sat
unsat
0.012s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-90.smt2
(content)
sat
sat
0.162s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-80.smt2
(content)
sat
sat
0.122s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-70.smt2
(content)
sat
sat
0.102s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-60.smt2
(content)
sat
sat
0.098s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-40.smt2
(content)
sat
sat
0.056s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-30.smt2
(content)
sat
sat
0.045s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-20.smt2
(content)
sat
sat
0.031s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-10.smt2
(content)
sat
sat
0.019s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-09.smt2
(content)
sat
sat
0.023s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-08.smt2
(content)
sat
sat
0.032s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-07.smt2
(content)
sat
sat
0.019s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-06.smt2
(content)
sat
sat
0.017s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-05.smt2
(content)
sat
sat
0.013s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-04.smt2
(content)
sat
sat
0.017s
sidekick-dev
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-03.smt2
(content)
sat
sat
0.012s