detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat unknown 0.128s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat unknown 0.219s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat unknown 0.100s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat unknown 0.169s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat unknown 0.057s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat unknown 0.148s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat unknown 0.088s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat unknown 0.415s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat unknown 0.132s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat unknown 0.060s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat unknown 0.341s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat unknown 0.240s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat unknown 0.056s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unknown 9.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unknown 0.247s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unknown 4.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unknown 0.559s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unknown 0.357s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1327.smt2 (content) sat unknown 0.086s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1327.smt2 (content) sat unknown 0.056s