detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) unsat unsat 18.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 9.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 7.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 9.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.163s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.402s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.697s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 16.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 16.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.940s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 8.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 18.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.857s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 1.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 1.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 2.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 3.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 2.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 2.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409423/gensys_brn378.smt2 (content) unsat unsat 13.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409421/gensys_brn376.smt2 (content) unsat unsat 12.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 8.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 2.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 9.8s