detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd026.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd025.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd025.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd024.smt2 (content) unsat unsat 0.921s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd024.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd023.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd023.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd022.smt2 (content) unsat unsat 7.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd022.smt2 (content) unsat unsat 0.487s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd021.smt2 (content) unsat unsat 0.652s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd021.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd020.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd020.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd019.smt2 (content) unsat unsat 5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd019.smt2 (content) unsat unsat 0.391s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd018.smt2 (content) unsat unsat 1.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd018.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd017.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd017.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd016.smt2 (content) unsat unsat 0.577s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd016.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd015.smt2 (content) unsat unsat 0.962s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd015.smt2 (content) unsat unsat 0.089s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd014.smt2 (content) unsat unsat 10.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd014.smt2 (content) unsat unsat 0.390s