detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408210/dead_dnd007.smt2 (content) unsat unsat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408209/dead_dnd006.smt2 (content) unsat unsat 0.474s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408209/dead_dnd006.smt2 (content) unsat unsat 0.039s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408209/dead_dnd006.smt2 (content) unsat unsat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408208/dead_dnd005.smt2 (content) unsat unsat 0.441s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408208/dead_dnd005.smt2 (content) unsat unsat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408208/dead_dnd005.smt2 (content) unsat unsat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408207/dead_dnd004.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408207/dead_dnd004.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408207/dead_dnd004.smt2 (content) unsat unsat 0.182s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408206/dead_dnd003.smt2 (content) unsat unsat 2.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408206/dead_dnd003.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408206/dead_dnd003.smt2 (content) unsat unsat 0.275s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408205/dead_dnd002.smt2 (content) unsat unsat 0.286s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408205/dead_dnd002.smt2 (content) unsat unsat 0.259s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408205/dead_dnd002.smt2 (content) unsat unsat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408204/dead_dnd001.smt2 (content) unsat unsat 0.439s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408204/dead_dnd001.smt2 (content) unsat unsat 0.252s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408204/dead_dnd001.smt2 (content) unsat unsat 0.070s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408202/PEQ020_size6.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408202/PEQ020_size6.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408202/PEQ020_size6.smt2 (content) unsat unsat 0.740s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408201/PEQ020_size5.smt2 (content) unsat unsat 7.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408201/PEQ020_size5.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/PEQ/408201/PEQ020_size5.smt2 (content) unsat unsat 0.036s