detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2 (content) unsat unsat 6.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2 (content) unsat unsat 15.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2 (content) unsat unsat 3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409768/gensys_brn723.smt2 (content) unsat unsat 18.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409767/gensys_brn722.smt2 (content) unsat unsat 8.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2 (content) unsat unsat 5.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 2.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 7.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409745/gensys_brn700.smt2 (content) unsat unsat 3.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409742/gensys_brn697.smt2 (content) unsat unsat 1.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409741/gensys_brn696.smt2 (content) unsat unsat 23.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 1.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409683/gensys_brn638.smt2 (content) unsat unsat 22.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409679/gensys_brn634.smt2 (content) unsat unsat 22.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) unsat unsat 16.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409642/gensys_brn597.smt2 (content) unsat unsat 8.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409638/gensys_brn593.smt2 (content) unsat unsat 11.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2 (content) unsat unsat 29.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 6.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) unsat unsat 15.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 4.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 7.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) unsat unsat 19.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2 (content) unsat unsat 1.0s