detailed results (17584 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 8.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.227s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.234s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 18.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.154s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.814s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.483s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.262s
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.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409450/gensys_brn405.smt2 (content) sat sat 0.156s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409449/gensys_brn404.smt2 (content) sat sat 0.759s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409448/gensys_brn403.smt2 (content) sat sat 0.391s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409447/gensys_brn402.smt2 (content) sat sat 0.354s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409446/gensys_brn401.smt2 (content) sat sat 0.215s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409445/gensys_brn400.smt2 (content) sat sat 0.222s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409444/gensys_brn399.smt2 (content) sat sat 0.167s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409443/gensys_brn398.smt2 (content) sat sat 0.049s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409442/gensys_brn397.smt2 (content) sat sat 0.224s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 2.3s
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/409439/gensys_brn394.smt2 (content) sat sat 0.327s
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.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409436/gensys_brn391.smt2 (content) sat sat 0.152s