detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1259.smt2 (content) sat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1258.smt2 (content) sat unknown 0.982s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1258.smt2 (content) sat unknown 0.506s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1258.smt2 (content) sat unknown 0.113s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1257.smt2 (content) sat unknown 0.155s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1257.smt2 (content) sat unknown 0.158s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1257.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1256.smt2 (content) sat unknown 0.226s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1256.smt2 (content) sat unknown 0.144s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1256.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1255.smt2 (content) sat unknown 0.156s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1255.smt2 (content) sat unknown 0.269s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1255.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1254.smt2 (content) unsat unknown 3.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1254.smt2 (content) unsat unknown 3.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1254.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1253.smt2 (content) sat unknown 0.229s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1253.smt2 (content) sat unknown 0.302s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1253.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1252.smt2 (content) sat unknown 0.227s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1252.smt2 (content) sat unknown 0.133s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1252.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1251.smt2 (content) sat unknown 0.174s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1251.smt2 (content) sat unknown 0.131s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1251.smt2 (content) sat unknown 0.034s