detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-15.smt2 (content) unsat unsat 2.5s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-15.smt2 (content) error unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-15.smt2 (content) unsat unsat 0.197s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-14.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-14.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-14.smt2 (content) unsat unsat 0.131s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-13.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-13.smt2 (content) error unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-13.smt2 (content) unsat unsat 0.112s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-12.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-12.smt2 (content) error unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-12.smt2 (content) unsat unsat 0.091s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-11.smt2 (content) unsat unsat 0.528s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-11.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-11.smt2 (content) unsat unsat 0.057s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-10.smt2 (content) unsat unsat 0.386s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-10.smt2 (content) error unsat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-10.smt2 (content) unsat unsat 0.054s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-1.smt2 (content) unsat unsat 0.019s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-1.smt2 (content) error unsat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-safe-1.smt2 (content) unsat unsat 0.020s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-nosafe-7.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-nosafe-7.smt2 (content) error sat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-nosafe-7.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_LRA/sal/tgc/tgc_io-nosafe-6.smt2 (content) unsat unsat 0.052s