detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn123.smt2 (content) unsat unknown 3.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1226.smt2 (content) unsat unknown 0.628s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1223.smt2 (content) unsat unknown 2.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn122.smt2 (content) unsat unknown 3.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1214.smt2 (content) unsat unknown 5.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1195.smt2 (content) unsat unknown 1.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1189.smt2 (content) unsat unknown 0.961s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1183.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1159.smt2 (content) unsat unknown 2.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1158.smt2 (content) unsat unknown 1.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1150.smt2 (content) unsat unknown 5.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1148.smt2 (content) unsat unknown 5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 4.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 4.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1098.smt2 (content) unsat unknown 7.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1087.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1085.smt2 (content) unsat unknown 1.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1083.smt2 (content) unsat unknown 0.272s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1074.smt2 (content) unsat unknown 9.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1061.smt2 (content) unsat unknown 0.268s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1057.smt2 (content) unsat unknown 2.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unknown 8.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1038.smt2 (content) unsat unknown 0.488s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1034.smt2 (content) unsat unknown 1.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1030.smt2 (content) unsat unknown 10s