detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1243.smt2 (content) sat unknown 0.051s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1243.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1242.smt2 (content) sat unknown 0.042s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1242.smt2 (content) sat unknown 0.057s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1242.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1241.smt2 (content) sat unknown 0.020s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1241.smt2 (content) sat unknown 0.026s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1241.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1240.smt2 (content) unsat unknown 0.335s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1240.smt2 (content) unsat unknown 0.210s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1240.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn124.smt2 (content) unsat unknown 3.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn124.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn124.smt2 (content) unsat unknown 0.136s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1239.smt2 (content) sat unknown 0.204s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1239.smt2 (content) sat unknown 0.140s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1239.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1238.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1238.smt2 (content) unsat unknown 3.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1238.smt2 (content) unsat unknown 0.229s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1237.smt2 (content) sat unknown 0.071s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1237.smt2 (content) sat unknown 0.081s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1237.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1236.smt2 (content) sat unknown 0.084s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1236.smt2 (content) sat unknown 0.078s