detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn915.smt2 (content) sat unknown 0.132s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn915.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat unknown 0.138s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat unknown 0.084s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 0.517s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 0.068s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat unknown 0.354s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat unknown 0.060s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat unknown 0.482s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat unknown 0.328s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat unknown 0.567s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat unknown 0.278s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat unknown 0.214s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat unknown 0.140s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat unknown 0.221s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat unknown 0.048s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn907.smt2 (content) sat unknown 0.186s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn907.smt2 (content) sat unknown 0.112s