detailed results (3730 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond5.smt2 (content) unsat unsat 0.014s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond4.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond3.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond2.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond17.smt2 (content) unsat unsat 4.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond16.smt2 (content) unsat unsat 2.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond15.smt2 (content) unsat unsat 2.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond14.smt2 (content) unsat unsat 0.696s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond13.smt2 (content) unsat unsat 0.530s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond12.smt2 (content) unsat unsat 0.189s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond11.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond10.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond1.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/TypeSafe/z3.1184163.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/TypeSafe/z3.1184147.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/TypeSafe/z3.1184131.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ050_size3.smt2 (content) unsat unsat 0.261s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ050_size2.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ042_size3.smt2 (content) unsat unsat 0.269s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ042_size2.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ038_size7.smt2 (content) unsat unsat 10.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ035_size5.smt2 (content) unsat unsat 9.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ035_size4.smt2 (content) unsat unsat 0.788s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ032_size3.smt2 (content) unsat unsat 0.274s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ032_size2.smt2 (content) unsat unsat 0.025s