detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1198.smt2 (content) sat unknown 0.073s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1198.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1197.smt2 (content) sat unknown 0.159s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1197.smt2 (content) sat unknown 0.041s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1197.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1196.smt2 (content) sat unknown 0.121s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1196.smt2 (content) sat unknown 0.105s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1196.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1195.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1195.smt2 (content) unsat unknown 0.954s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1195.smt2 (content) unsat unknown 0.061s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1194.smt2 (content) sat unknown 0.107s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1194.smt2 (content) sat unknown 0.065s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1194.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1193.smt2 (content) sat unknown 0.128s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1193.smt2 (content) sat unknown 0.065s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1193.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1192.smt2 (content) sat unknown 0.103s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1192.smt2 (content) sat unknown 0.038s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1192.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1191.smt2 (content) sat unknown 0.058s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1191.smt2 (content) sat unknown 0.046s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1191.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1190.smt2 (content) sat unknown 0.045s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1190.smt2 (content) sat unknown 0.053s