detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn182.smt2 (content) sat unknown 0.436s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn181.smt2 (content) sat unknown 0.147s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn180.smt2 (content) unsat unknown 9.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn179.smt2 (content) sat unknown 0.150s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn178.smt2 (content) sat unknown 0.116s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn177.smt2 (content) sat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn176.smt2 (content) sat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn175.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn174.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn173.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn172.smt2 (content) sat unknown 0.594s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn171.smt2 (content) sat unknown 0.626s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn170.smt2 (content) sat unknown 0.591s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat unknown 1.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat unknown 0.268s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat unknown 0.294s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unknown 8.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat unknown 0.252s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat unknown 0.276s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) timeout unknown 10.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.362s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.296s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.134s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 7.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.149s