detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-20.smt2 (content) unsat unsat 0.061s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-2.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-2.smt2 (content) error unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-2.smt2 (content) unsat unsat 0.026s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-19.smt2 (content) unsat unsat 0.227s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-19.smt2 (content) error unsat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-19.smt2 (content) unsat unsat 0.044s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-18.smt2 (content) unsat unsat 0.298s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-18.smt2 (content) error unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-18.smt2 (content) unsat unsat 0.048s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-17.smt2 (content) unsat unsat 0.208s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-17.smt2 (content) error unsat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-17.smt2 (content) unsat unsat 0.042s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-16.smt2 (content) unsat unsat 0.203s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-16.smt2 (content) error unsat 0.017s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-16.smt2 (content) unsat unsat 0.039s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-15.smt2 (content) unsat unsat 0.156s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-15.smt2 (content) error unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-15.smt2 (content) unsat unsat 0.061s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-14.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-14.smt2 (content) error unsat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-14.smt2 (content) unsat unsat 0.049s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-13.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-13.smt2 (content) error unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-13.smt2 (content) unsat unsat 0.036s