detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409487/gensys_brn442.smt2 (content) unsat unsat 6.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) unsat unsat 18.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 9.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 6.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 8.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.162s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.402s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.789s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 16.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 15.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.855s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 8.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 19.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.819s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 1.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 1.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 2.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 3.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 2.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 2.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409423/gensys_brn378.smt2 (content) unsat unsat 13.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409421/gensys_brn376.smt2 (content) unsat unsat 11.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 9.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 2.9s