detailed results (3039 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond9.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond8.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond7.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond63.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond62.smt2 (content) unsat unsat 5.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond6.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond53.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond5.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond46.smt2 (content) unsat unsat 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond40.smt2 (content) unsat unsat 0.325s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond4.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond37.smt2 (content) unsat unsat 0.272s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond36.smt2 (content) unsat unsat 0.538s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond35.smt2 (content) unsat unsat 4.3s