detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk034.smt2 (content) sat unknown 9.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk034.smt2 (content) sat unknown 1.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk034.smt2 (content) sat unknown 0.268s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk033.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk033.smt2 (content) sat unknown 1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk033.smt2 (content) sat unknown 0.168s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk032.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk032.smt2 (content) sat unknown 1.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk032.smt2 (content) sat unknown 0.462s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk031.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk031.smt2 (content) sat unknown 1.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk031.smt2 (content) sat unknown 0.270s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk030.smt2 (content) sat unknown 0.791s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk030.smt2 (content) sat unknown 0.970s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk030.smt2 (content) sat unknown 0.141s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk029.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk029.smt2 (content) sat unknown 4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk029.smt2 (content) sat unknown 1.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk028.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk028.smt2 (content) sat unknown 5.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk028.smt2 (content) sat unknown 0.327s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk027.smt2 (content) sat unknown 6.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk027.smt2 (content) sat unknown 3.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk027.smt2 (content) sat unknown 0.182s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/gensys_brn_sk026.smt2 (content) timeout unknown 10s