detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408710/dead_dnd059.smt2 (content) unsat unsat 0.132s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408709/dead_dnd058.smt2 (content) unsat unsat 5.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408709/dead_dnd058.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408709/dead_dnd058.smt2 (content) unsat unsat 0.104s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408708/dead_dnd057.smt2 (content) unsat unsat 4.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408708/dead_dnd057.smt2 (content) unsat unsat 4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408708/dead_dnd057.smt2 (content) unsat unsat 0.335s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408707/dead_dnd056.smt2 (content) unsat unsat 4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408707/dead_dnd056.smt2 (content) unsat unsat 4.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408707/dead_dnd056.smt2 (content) unsat unsat 0.283s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408706/dead_dnd055.smt2 (content) unsat unsat 8.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408706/dead_dnd055.smt2 (content) unsat unsat 3.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408706/dead_dnd055.smt2 (content) unsat unsat 0.064s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408705/dead_dnd054.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408705/dead_dnd054.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408705/dead_dnd054.smt2 (content) unsat unsat 0.100s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408704/dead_dnd053.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408704/dead_dnd053.smt2 (content) unsat unsat 0.854s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408704/dead_dnd053.smt2 (content) unsat unsat 0.075s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408703/dead_dnd052.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408703/dead_dnd052.smt2 (content) unsat unsat 0.757s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408703/dead_dnd052.smt2 (content) unsat unsat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408702/dead_dnd051.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408702/dead_dnd051.smt2 (content) unsat unsat 0.850s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408702/dead_dnd051.smt2 (content) unsat unsat 0.051s