detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1122.smt2 (content) sat unknown 0.049s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1121.smt2 (content) sat unknown 0.170s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1121.smt2 (content) sat unknown 0.139s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1121.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1120.smt2 (content) sat unknown 0.220s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1120.smt2 (content) sat unknown 0.093s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1120.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn112.smt2 (content) sat unknown 0.650s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn112.smt2 (content) sat unknown 0.283s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn112.smt2 (content) sat unknown 0.047s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1119.smt2 (content) sat unknown 0.182s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1119.smt2 (content) sat unknown 0.113s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1119.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1118.smt2 (content) sat unknown 0.786s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1118.smt2 (content) sat unknown 0.398s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1118.smt2 (content) sat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1117.smt2 (content) sat unknown 0.133s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1117.smt2 (content) sat unknown 0.111s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1117.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1116.smt2 (content) sat unknown 0.160s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1116.smt2 (content) sat unknown 0.084s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1116.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1115.smt2 (content) sat unknown 0.201s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1115.smt2 (content) sat unknown 0.367s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1115.smt2 (content) sat unknown 0.094s