detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1107.smt2 (content) sat unknown 0.198s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1107.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1106.smt2 (content) sat unknown 0.108s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1106.smt2 (content) sat unknown 0.116s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1106.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1105.smt2 (content) sat unknown 0.181s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1105.smt2 (content) sat unknown 0.058s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1105.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 4.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 3.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 0.312s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 4.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 3.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 0.377s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1102.smt2 (content) sat unknown 0.142s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1102.smt2 (content) sat unknown 0.071s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1102.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1101.smt2 (content) sat unknown 0.199s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1101.smt2 (content) sat unknown 0.093s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1101.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1100.smt2 (content) sat unknown 0.073s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1100.smt2 (content) sat unknown 0.057s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1100.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn110.smt2 (content) sat unknown 0.365s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn110.smt2 (content) sat unknown 0.180s