detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn965.smt2 (content) sat unknown 0.114s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn965.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn964.smt2 (content) sat unknown 0.179s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn964.smt2 (content) sat unknown 0.104s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn964.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn963.smt2 (content) sat unknown 0.161s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn963.smt2 (content) sat unknown 0.115s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn963.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unknown 7.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unknown 0.255s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unknown 1.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unknown 0.118s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn960.smt2 (content) sat unknown 0.282s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn960.smt2 (content) sat unknown 0.236s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn960.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 5.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 4.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 0.354s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn958.smt2 (content) sat unknown 0.496s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn958.smt2 (content) sat unknown 0.184s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn958.smt2 (content) sat unknown 0.058s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 1.2s