detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408693/dead_dnd042.smt2 (content) unsat unsat 3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408693/dead_dnd042.smt2 (content) unsat unsat 0.153s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408692/dead_dnd041.smt2 (content) unsat unsat 7.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408692/dead_dnd041.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408692/dead_dnd041.smt2 (content) unsat unsat 0.233s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408691/dead_dnd040.smt2 (content) unsat unsat 5.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408691/dead_dnd040.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408691/dead_dnd040.smt2 (content) unsat unsat 0.219s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408690/dead_dnd039.smt2 (content) unsat unsat 4.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408690/dead_dnd039.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408690/dead_dnd039.smt2 (content) unsat unsat 0.119s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408689/dead_dnd038.smt2 (content) unsat unsat 7.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408689/dead_dnd038.smt2 (content) unsat unsat 2.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408689/dead_dnd038.smt2 (content) unsat unsat 0.320s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408688/dead_dnd037.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408688/dead_dnd037.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408688/dead_dnd037.smt2 (content) unsat unsat 0.365s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408687/dead_dnd036.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408687/dead_dnd036.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408687/dead_dnd036.smt2 (content) unsat unsat 0.276s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408686/dead_dnd035.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408686/dead_dnd035.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408686/dead_dnd035.smt2 (content) unsat unsat 0.723s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408685/dead_dnd034.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408685/dead_dnd034.smt2 (content) unsat unsat 4.5s