detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl347.smt2 (content) unsat unknown 0.123s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl347.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl346.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl346.smt2 (content) unsat unknown 0.120s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl346.smt2 (content) unsat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl345.smt2 (content) unsat unknown 0.117s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl345.smt2 (content) unsat unknown 0.134s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl345.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl344.smt2 (content) unsat unknown 0.241s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl344.smt2 (content) unsat unknown 0.196s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl344.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl343.smt2 (content) unsat unknown 0.217s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl343.smt2 (content) unsat unknown 0.243s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl343.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl342.smt2 (content) unsat unknown 0.116s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl342.smt2 (content) unsat unknown 0.095s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl342.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl341.smt2 (content) unsat unknown 0.085s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl341.smt2 (content) unsat unknown 0.184s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl341.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl340.smt2 (content) unsat unknown 0.058s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl340.smt2 (content) unsat unknown 0.114s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl340.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl339.smt2 (content) unsat unknown 0.125s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl339.smt2 (content) unsat unknown 0.098s