detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size9.smt2 (content) timeout unsat 12.8s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size9.smt2 (content) unsat unsat 0.584s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size8.smt2 (content) timeout unsat 12.7s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size8.smt2 (content) timeout unsat 11.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size7.smt2 (content) unsat unsat 4.9s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size7.smt2 (content) unsat unsat 0.133s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size6.smt2 (content) unsat unsat 7.4s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ010_size6.smt2 (content) unsat unsat 0.719s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size9.smt2 (content) timeout unsat 12.6s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size9.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size8.smt2 (content) unsat unsat 3.4s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size8.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size7.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size7.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size10.smt2 (content) timeout unsat 13s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ009_size10.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size9.smt2 (content) timeout unsat 13s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size9.smt2 (content) unsat unsat 0.646s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size8.smt2 (content) timeout unsat 13.6s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size8.smt2 (content) timeout unsat 11.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size7.smt2 (content) unsat unsat 7.9s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size7.smt2 (content) unsat unsat 0.195s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size6.smt2 (content) unsat unsat 9.2s
z3 /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ005_size6.smt2 (content) unsat unsat 0.480s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ004_size7.smt2 (content) sat sat 0.341s