detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn039.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn039.smt2 (content) sat unknown 2.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn039.smt2 (content) sat unknown 0.285s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn038.smt2 (content) sat unknown 9.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn038.smt2 (content) sat unknown 2.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn038.smt2 (content) sat unknown 0.299s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn037.smt2 (content) sat unknown 0.814s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn037.smt2 (content) sat unknown 1.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn037.smt2 (content) sat unknown 0.216s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn036.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn036.smt2 (content) sat unknown 0.555s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn036.smt2 (content) sat unknown 0.255s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn035.smt2 (content) sat unknown 4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn035.smt2 (content) sat unknown 2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn035.smt2 (content) sat unknown 0.159s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn034.smt2 (content) sat unknown 3.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn034.smt2 (content) sat unknown 1.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn034.smt2 (content) sat unknown 0.174s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn033.smt2 (content) sat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn033.smt2 (content) sat unknown 0.585s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn033.smt2 (content) sat unknown 0.263s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn032.smt2 (content) sat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn032.smt2 (content) sat unknown 1.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn032.smt2 (content) sat unknown 0.160s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn031.smt2 (content) sat unknown 2.4s