detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd063.smt2 (content) unsat unknown 0.641s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd063.smt2 (content) unsat unknown 0.647s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd063.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2 (content) unsat unknown 0.646s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2 (content) unsat unknown 0.439s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2 (content) unsat unknown 0.437s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd061.smt2 (content) unsat unknown 4.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd061.smt2 (content) unsat unknown 0.924s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd061.smt2 (content) unsat unknown 0.887s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd061.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd060.smt2 (content) unsat unknown 3.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd060.smt2 (content) unsat unknown 0.976s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd060.smt2 (content) unsat unknown 0.993s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd060.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd059.smt2 (content) unsat unknown 5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd059.smt2 (content) unsat unknown 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd059.smt2 (content) unsat unknown 2.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd059.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd058.smt2 (content) unsat unknown 4.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd058.smt2 (content) unsat unknown 1.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd058.smt2 (content) unsat unknown 1.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd058.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd057.smt2 (content) unsat unknown 3.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd057.smt2 (content) unsat unknown 3.3s