detailed results (2850 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn507.smt2 (content) sat unknown 0.244s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn505.smt2 (content) sat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn504.smt2 (content) sat unknown 0.124s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn502.smt2 (content) sat unknown 0.232s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn501.smt2 (content) sat unknown 0.128s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn500.smt2 (content) sat unknown 0.275s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn499.smt2 (content) sat unknown 0.573s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn498.smt2 (content) sat unknown 0.087s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn497.smt2 (content) sat unknown 0.099s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn496.smt2 (content) sat unknown 0.146s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn495.smt2 (content) sat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn493.smt2 (content) sat unknown 0.337s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn492.smt2 (content) sat unknown 0.067s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn491.smt2 (content) sat unknown 0.065s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn490.smt2 (content) sat unknown 0.067s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn489.smt2 (content) sat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat unknown 0.124s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat unknown 0.184s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat unknown 0.366s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat unknown 0.173s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn482.smt2 (content) sat unknown 0.085s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn481.smt2 (content) sat unknown 0.082s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn480.smt2 (content) sat unknown 0.071s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn479.smt2 (content) sat unknown 0.305s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn477.smt2 (content) sat unknown 0.094s