detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond19.smt2 (content) unsat unknown 0.011s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond19.smt2 (content) unknown unknown 10.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond19.smt2 (content) unknown unknown 10.4s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond19.smt2 (content) unsat unknown 5.2s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond18.smt2 (content) unsat unknown 0.008s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond18.smt2 (content) unsat unknown 9.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond18.smt2 (content) unsat unknown 9.4s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond18.smt2 (content) unsat unknown 1.6s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond17.smt2 (content) unsat unknown 0.009s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond17.smt2 (content) unsat unknown 4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond17.smt2 (content) unsat unknown 4s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond17.smt2 (content) unsat unknown 0.729s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond16.smt2 (content) unsat unknown 0.009s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond16.smt2 (content) unsat unknown 1.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond16.smt2 (content) unsat unknown 1.8s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond16.smt2 (content) unsat unknown 0.343s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond15.smt2 (content) unsat unknown 0.021s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond15.smt2 (content) unsat unknown 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond15.smt2 (content) unsat unknown 1s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond15.smt2 (content) unsat unknown 0.161s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond14.smt2 (content) unsat unknown 0.011s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond14.smt2 (content) unsat unknown 0.474s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond14.smt2 (content) unsat unknown 0.469s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond14.smt2 (content) unsat unknown 0.080s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond13.smt2 (content) unsat unknown 0.033s