detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond32.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond32.smt2 (content) unsat unknown 0.007s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond31.smt2 (content) unsat unknown 0.022s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond31.smt2 (content) timeout unknown 11.4s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond31.smt2 (content) unsat unknown 0.010s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond30.smt2 (content) unsat unknown 0.025s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond30.smt2 (content) unknown unknown 10.2s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond30.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond3.smt2 (content) unsat unknown 0.006s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond3.smt2 (content) unsat unknown 0.006s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond3.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond29.smt2 (content) unsat unknown 0.024s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond29.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond29.smt2 (content) unsat unknown 0.009s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond28.smt2 (content) unsat unknown 0.013s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond28.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond28.smt2 (content) unsat unknown 0.008s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond27.smt2 (content) unsat unknown 0.013s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond27.smt2 (content) unknown unknown 10.4s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond27.smt2 (content) unsat unknown 0.008s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond26.smt2 (content) unsat unknown 0.011s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond26.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond26.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond25.smt2 (content) unsat unknown 0.029s
sidekick /home/simon/w/smtlib/QF_UF/eq_diamond/eq_diamond25.smt2 (content) unknown unknown 10.5s