detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 0.216s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn856.smt2 (content) sat unknown 0.646s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn856.smt2 (content) sat unknown 0.493s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn856.smt2 (content) sat unknown 0.189s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn855.smt2 (content) sat unknown 0.499s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn855.smt2 (content) sat unknown 0.423s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn855.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn854.smt2 (content) sat unknown 0.438s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn854.smt2 (content) sat unknown 0.184s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn854.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn853.smt2 (content) sat unknown 0.428s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn853.smt2 (content) sat unknown 0.312s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn853.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn852.smt2 (content) sat unknown 0.390s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn852.smt2 (content) sat unknown 0.188s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn852.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn851.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn851.smt2 (content) unsat unknown 9.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn851.smt2 (content) unsat unknown 0.776s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.417s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.276s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 2.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 0.869s