detailed results (3296 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-17.smt2 (content) unsat unsat 3.0s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-17.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-16.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-16.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-15.smt2 (content) unsat unsat 0.923s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-15.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-14.smt2 (content) unsat unsat 5.4s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-14.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-13.smt2 (content) unsat unsat 2.5s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-13.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-12.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-12.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-11.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-11.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-10.smt2 (content) unsat unsat 0.944s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-10.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-1.smt2 (content) unsat unsat 0.023s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/windowreal/windowreal-no_t_deadlock-1.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-9.smt2 (content) unsat unsat 0.613s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-9.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-8.smt2 (content) unsat unsat 0.352s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-8.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-7.smt2 (content) unsat unsat 0.186s
z3 /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-7.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_LRA/sal/tgc/tgc_io-safe-6.smt2 (content) unsat unsat 0.149s