detailed results (1788 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409208/gensys_brn163.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409179/gensys_brn134.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409169/gensys_brn132.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409158/gensys_brn131.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409149/gensys_brn1301.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409107/gensys_brn1263.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408925/gensys_brn1098.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408896/gensys_brn1071.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408873/gensys_brn1050.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408863/gensys_brn1041.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408851/gensys_brn1030.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408845/gensys_brn1025.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408808/gensys_brn091.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408805/gensys_brn088.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408699/dead_dnd048.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408694/dead_dnd043.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408688/dead_dnd037.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408687/dead_dnd036.smt2 (content) timeout unsat 10s