detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat unknown 0.165s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat unknown 0.247s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat unknown 0.214s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat unknown 0.225s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat unknown 0.323s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat unknown 0.211s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unknown 8.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unknown 5.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unknown 0.478s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat unknown 0.178s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat unknown 0.095s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat unknown 0.167s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat unknown 0.194s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat unknown 0.086s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn757.smt2 (content) sat unknown 0.708s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn757.smt2 (content) sat unknown 0.709s