detailed results (4200 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409742/gensys_brn697.smt2 (content) unsat unsat 1.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 1.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409642/gensys_brn597.smt2 (content) unsat unsat 7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 6.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 4.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 6.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2 (content) unsat unsat 1.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409581/gensys_brn536.smt2 (content) unsat unsat 7.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409578/gensys_brn533.smt2 (content) unsat unsat 4.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 9.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 1.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 6.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2 (content) unsat unsat 3.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2 (content) unsat unsat 2.4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2 (content) unsat unsat 1.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409539/gensys_brn494.smt2 (content) unsat unsat 5.2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 1.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 1.4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2 (content) unsat unsat 2.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2 (content) unsat unsat 1.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2 (content) unsat unsat 1.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 2.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 3.4s