detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn707.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.201s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.076s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 5.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 6.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 0.409s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.620s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.221s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.644s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.202s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.461s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.201s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.283s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.147s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unknown 0.365s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn699.smt2 (content) sat unknown 0.505s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn699.smt2 (content) sat unknown 0.346s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn699.smt2 (content) sat unknown 0.041s