detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn615.smt2 (content) sat unknown 0.518s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn615.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn614.smt2 (content) sat unknown 0.948s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn614.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn614.smt2 (content) sat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn613.smt2 (content) sat unknown 0.389s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn613.smt2 (content) sat unknown 0.199s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn613.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn612.smt2 (content) sat unknown 0.214s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn612.smt2 (content) sat unknown 0.198s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn612.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn611.smt2 (content) sat unknown 0.299s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn611.smt2 (content) sat unknown 0.216s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn611.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn610.smt2 (content) sat unknown 0.279s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn610.smt2 (content) sat unknown 0.156s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn610.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn609.smt2 (content) sat unknown 0.167s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn609.smt2 (content) sat unknown 0.250s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn609.smt2 (content) sat unknown 0.065s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn608.smt2 (content) sat unknown 0.141s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn608.smt2 (content) sat unknown 0.362s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn608.smt2 (content) sat unknown 0.053s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn607.smt2 (content) sat unknown 0.198s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn607.smt2 (content) sat unknown 0.218s