detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd038.smt2 (content) unsat unsat 0.465s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd037.smt2 (content) unsat unsat 0.367s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd036.smt2 (content) unsat unsat 0.317s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd035.smt2 (content) unsat unsat 0.845s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd034.smt2 (content) unsat unsat 0.605s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd033.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd032.smt2 (content) unsat unsat 0.353s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd031.smt2 (content) unsat unsat 0.674s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd030.smt2 (content) unsat unsat 0.134s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd029.smt2 (content) unsat unsat 0.198s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd028.smt2 (content) unsat unsat 0.475s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd027.smt2 (content) unsat unsat 0.437s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd026.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd025.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd024.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd023.smt2 (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd022.smt2 (content) unsat unsat 0.487s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd021.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd020.smt2 (content) unsat unsat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd019.smt2 (content) unsat unsat 0.391s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd018.smt2 (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd017.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd016.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd015.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/dead_dnd014.smt2 (content) unsat unsat 0.390s