detailed results (1788 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408686/dead_dnd035.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408685/dead_dnd034.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408684/dead_dnd033.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408682/dead_dnd031.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408679/dead_dnd028.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408678/dead_dnd027.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408664/dead_dnd013.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408662/dead_dnd011.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408661/dead_dnd010.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408659/dead_dnd008.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408658/dead_dnd007.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408657/dead_dnd006.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408656/dead_dnd005.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408202/PEQ020_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408200/PEQ019_size7.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408199/PEQ019_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408196/PEQ018_size7.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408195/PEQ018_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408194/PEQ018_size5.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408191/PEQ016_size6.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408190/PEQ016_size5.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408189/PEQ016_size4.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408188/PEQ014_size9.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408187/PEQ014_size8.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/PEQ/408186/PEQ014_size11.smt2 (content) timeout unsat 10s