detailed results (9583 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409635/gensys_brn590.smt2 (content) sat sat 0.941s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409634/gensys_brn589.smt2 (content) sat sat 0.577s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409633/gensys_brn588.smt2 (content) sat sat 0.978s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409632/gensys_brn587.smt2 (content) sat sat 0.617s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409631/gensys_brn586.smt2 (content) sat sat 0.269s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409630/gensys_brn585.smt2 (content) sat sat 0.357s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409629/gensys_brn584.smt2 (content) sat sat 0.329s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409628/gensys_brn583.smt2 (content) sat sat 0.348s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409627/gensys_brn582.smt2 (content) sat sat 0.113s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409626/gensys_brn581.smt2 (content) sat sat 0.082s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409625/gensys_brn580.smt2 (content) sat sat 0.121s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409624/gensys_brn579.smt2 (content) sat sat 0.410s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409623/gensys_brn578.smt2 (content) sat sat 0.715s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409622/gensys_brn577.smt2 (content) sat sat 1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409621/gensys_brn576.smt2 (content) sat sat 0.907s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409620/gensys_brn575.smt2 (content) sat sat 0.513s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409619/gensys_brn574.smt2 (content) sat sat 0.378s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 6.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.519s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.663s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.740s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.402s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.409s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 0.473s