detailed results (4670 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2 (content) unsat unsat 8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408932/gensys_brn1104.smt2 (content) unsat unsat 6.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408931/gensys_brn1103.smt2 (content) unsat unsat 8.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408925/gensys_brn1098.smt2 (content) unsat unsat 14.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408913/gensys_brn1087.smt2 (content) unsat unsat 1.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408911/gensys_brn1085.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408909/gensys_brn1083.smt2 (content) unsat unsat 0.496s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2 (content) unsat unsat 15.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2 (content) unsat unsat 15.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408896/gensys_brn1071.smt2 (content) unsat unsat 22.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408885/gensys_brn1061.smt2 (content) unsat unsat 0.479s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2 (content) unsat unsat 3.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2 (content) unsat unsat 23.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408873/gensys_brn1050.smt2 (content) unsat unsat 30.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2 (content) unsat unsat 6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408859/gensys_brn1038.smt2 (content) unsat unsat 0.860s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408855/gensys_brn1034.smt2 (content) unsat unsat 2.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408851/gensys_brn1030.smt2 (content) unsat unsat 15s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408844/gensys_brn1024.smt2 (content) unsat unsat 1.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2 (content) unsat unsat 1.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) unsat unsat 24.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408805/gensys_brn088.smt2 (content) unsat unsat 26s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408770/gensys_brn053.smt2 (content) unsat unsat 0.659s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408766/gensys_brn049.smt2 (content) unsat unsat 0.557s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408764/gensys_brn047.smt2 (content) unsat unsat 1.6s