detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn982.smt2 (content) sat unknown 0.059s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn981.smt2 (content) sat unknown 0.153s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn981.smt2 (content) sat unknown 0.147s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn981.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn980.smt2 (content) sat unknown 0.110s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn980.smt2 (content) sat unknown 0.105s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn980.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn979.smt2 (content) sat unknown 0.371s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn979.smt2 (content) sat unknown 0.200s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn979.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn978.smt2 (content) sat unknown 0.172s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn978.smt2 (content) sat unknown 0.088s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn978.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn977.smt2 (content) sat unknown 0.213s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn977.smt2 (content) sat unknown 0.221s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn977.smt2 (content) sat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn976.smt2 (content) sat unknown 0.197s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn976.smt2 (content) sat unknown 0.109s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn976.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn975.smt2 (content) sat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn975.smt2 (content) sat unknown 0.094s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn975.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unknown 4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unknown 2.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unknown 0.292s