detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409405/gensys_brn360.smt2 (content) unsat unsat 9.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409395/gensys_brn350.smt2 (content) unsat unsat 9.0s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409393/gensys_brn348.smt2 (content) unsat unsat 14.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409387/gensys_brn342.smt2 (content) unsat unsat 15s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) unsat unsat 17.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) unsat unsat 15.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) unsat unsat 11.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409371/gensys_brn326.smt2 (content) unsat unsat 14.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409370/gensys_brn325.smt2 (content) unsat unsat 17.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409368/gensys_brn323.smt2 (content) unsat unsat 4.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409366/gensys_brn321.smt2 (content) unsat unsat 7.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409363/gensys_brn318.smt2 (content) unsat unsat 4.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409356/gensys_brn311.smt2 (content) unsat unsat 15.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409336/gensys_brn291.smt2 (content) unsat unsat 4.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409333/gensys_brn288.smt2 (content) unsat unsat 2.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409329/gensys_brn284.smt2 (content) unsat unsat 0.765s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409328/gensys_brn283.smt2 (content) unsat unsat 2.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409324/gensys_brn279.smt2 (content) unsat unsat 5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409321/gensys_brn276.smt2 (content) unsat unsat 0.790s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409317/gensys_brn272.smt2 (content) unsat unsat 2.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409315/gensys_brn270.smt2 (content) unsat unsat 0.783s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409313/gensys_brn268.smt2 (content) unsat unsat 8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409312/gensys_brn267.smt2 (content) unsat unsat 8.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409310/gensys_brn265.smt2 (content) unsat unsat 7.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409309/gensys_brn264.smt2 (content) unsat unsat 8.5s