detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn898.smt2 (content) sat unknown 0.166s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn898.smt2 (content) sat unknown 0.095s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn898.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn897.smt2 (content) unsat unknown 0.592s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn896.smt2 (content) sat unknown 0.245s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn896.smt2 (content) sat unknown 0.135s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn896.smt2 (content) sat unknown 0.049s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) timeout unknown 11.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) timeout unknown 12s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn895.smt2 (content) unsat unknown 0.909s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn894.smt2 (content) sat unknown 0.455s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn894.smt2 (content) sat unknown 0.216s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn894.smt2 (content) sat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn893.smt2 (content) sat unknown 0.554s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn893.smt2 (content) sat unknown 0.316s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn893.smt2 (content) sat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn892.smt2 (content) sat unknown 0.260s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn892.smt2 (content) sat unknown 0.368s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn892.smt2 (content) sat unknown 0.046s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn891.smt2 (content) unsat unknown 0.730s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn890.smt2 (content) sat unknown 0.931s