detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond87.smt2 (content) unsat unknown 0.032s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond87.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond87.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond87.smt2 (content) timeout unknown 11.1s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond86.smt2 (content) unsat unknown 0.035s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond86.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond86.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond86.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond85.smt2 (content) unsat unknown 0.032s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond85.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond85.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond85.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond84.smt2 (content) unsat unknown 0.042s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond84.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond84.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond84.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond83.smt2 (content) unsat unknown 0.044s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond83.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond83.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond83.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond82.smt2 (content) unsat unknown 0.045s
sidekick /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond82.smt2 (content) timeout unknown 11.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond82.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond82.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond81.smt2 (content) unsat unknown 0.051s