detailed results (3721 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409537/gensys_brn492.smt2 (content) sat sat 0.120s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409536/gensys_brn491.smt2 (content) sat sat 0.131s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409535/gensys_brn490.smt2 (content) sat sat 0.113s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409534/gensys_brn489.smt2 (content) sat sat 0.054s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2 (content) sat sat 0.105s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2 (content) sat sat 0.275s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2 (content) sat sat 0.308s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2 (content) sat sat 0.256s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2 (content) sat sat 0.157s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409526/gensys_brn481.smt2 (content) sat sat 0.119s
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.252s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409522/gensys_brn477.smt2 (content) sat sat 0.163s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409519/gensys_brn474.smt2 (content) sat sat 0.085s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409518/gensys_brn473.smt2 (content) sat sat 0.190s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2 (content) sat sat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2 (content) sat sat 0.079s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2 (content) sat sat 0.106s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2 (content) sat sat 0.091s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2 (content) sat sat 0.081s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409510/gensys_brn465.smt2 (content) sat sat 0.196s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409508/gensys_brn463.smt2 (content) sat sat 0.243s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409506/gensys_brn461.smt2 (content) sat sat 0.197s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409505/gensys_brn460.smt2 (content) sat sat 0.352s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409504/gensys_brn459.smt2 (content) sat sat 0.296s