detailed results (7457 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_brn506.smt2 (content) unsat unknown 2.6s
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_brn503.smt2 (content) unsat unknown 1.7s
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_brn494.smt2 (content) unsat unknown 4.9s
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_brn488.smt2 (content) unsat unknown 1.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn487.smt2 (content) unsat unknown 1.2s
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