detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409581/gensys_brn536.smt2 (content) unsat unsat 9.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409578/gensys_brn533.smt2 (content) unsat unsat 4.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 1.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 12s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 9.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 9.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2 (content) unsat unsat 3.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2 (content) unsat unsat 2.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2 (content) unsat unsat 2.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409539/gensys_brn494.smt2 (content) unsat unsat 6.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 2.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 1.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2 (content) unsat unsat 2.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2 (content) unsat unsat 2.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2 (content) unsat unsat 1.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 2.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2 (content) unsat unsat 3.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409507/gensys_brn462.smt2 (content) unsat unsat 7.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409498/gensys_brn453.smt2 (content) unsat unsat 6.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409493/gensys_brn448.smt2 (content) unsat unsat 1.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409492/gensys_brn447.smt2 (content) unsat unsat 0.969s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409489/gensys_brn444.smt2 (content) unsat unsat 5.4s