detailed results (17584 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409535/gensys_brn490.smt2 (content) sat sat 0.112s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409534/gensys_brn489.smt2 (content) sat sat 0.057s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2 (content) sat sat 0.104s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2 (content) sat sat 0.368s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2 (content) sat sat 0.288s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2 (content) sat sat 0.241s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2 (content) sat sat 0.148s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409526/gensys_brn481.smt2 (content) sat sat 0.118s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409525/gensys_brn480.smt2 (content) sat sat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409524/gensys_brn479.smt2 (content) sat sat 0.307s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2 (content) unsat unsat 2.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409522/gensys_brn477.smt2 (content) sat sat 0.157s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2 (content) unsat unsat 2.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2 (content) unsat unsat 1.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409519/gensys_brn474.smt2 (content) sat sat 0.079s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409518/gensys_brn473.smt2 (content) sat sat 0.184s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2 (content) sat sat 0.100s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2 (content) sat sat 0.080s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 2.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2 (content) sat sat 0.116s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2 (content) sat sat 0.089s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2 (content) sat sat 0.087s