detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-17.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-17.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-17.smt2 (content) unsat unsat 0.114s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-16.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-16.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-16.smt2 (content) unsat unsat 0.074s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-15.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-15.smt2 (content) error unsat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-15.smt2 (content) unsat unsat 0.078s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-14.smt2 (content) unsat unsat 0.794s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-14.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-14.smt2 (content) unsat unsat 0.076s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-13.smt2 (content) unsat unsat 0.791s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-13.smt2 (content) error unsat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-13.smt2 (content) unsat unsat 0.074s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-12.smt2 (content) unsat unsat 0.555s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-12.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-12.smt2 (content) unsat unsat 0.074s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-11.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-11.smt2 (content) error unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-11.smt2 (content) unsat unsat 0.060s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-10.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-10.smt2 (content) error unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-10.smt2 (content) unsat unsat 0.078s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/pursuit/pursuit-safety-1.smt2 (content) unsat unsat 0.018s