detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond99.smt2 (content) unsat unknown 0.062s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond99.smt2 (content) timeout unknown 11.1s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond99.smt2 (content) unsat unknown 0.010s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond98.smt2 (content) unsat unknown 0.038s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond98.smt2 (content) timeout unknown 11.3s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond98.smt2 (content) unsat unknown 0.009s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond97.smt2 (content) unsat unknown 0.041s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond97.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond97.smt2 (content) unsat unknown 0.010s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond96.smt2 (content) unsat unknown 0.066s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond96.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond96.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond95.smt2 (content) unsat unknown 0.038s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond95.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond95.smt2 (content) unsat unknown 0.009s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond94.smt2 (content) unsat unknown 0.039s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond94.smt2 (content) timeout unknown 11.3s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond94.smt2 (content) unsat unknown 0.010s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond93.smt2 (content) unsat unknown 0.036s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond93.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond93.smt2 (content) unsat unknown 0.009s