detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl002.smt2 (content) unsat unknown 0.042s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl001.smt2 (content) unsat unknown 0.109s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unknown 4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unknown 7.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unknown 1.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 5.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 1.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.950s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 6.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unknown 5.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unknown 2.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unknown 1.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 1.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unknown 3.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unknown 2.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn876.smt2 (content) unsat unknown 2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unknown 3.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unknown 6.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 2.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.616s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 1.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn827.smt2 (content) unsat unknown 1.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn825.smt2 (content) unsat unknown 0.141s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn824.smt2 (content) unsat unknown 0.229s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn821.smt2 (content) unsat unknown 3.4s