detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl688.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl688.smt2 (content) unsat unknown 0.065s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl688.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl687.smt2 (content) unsat unknown 0.232s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl687.smt2 (content) unsat unknown 0.175s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl687.smt2 (content) unsat unknown 0.082s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl686.smt2 (content) unsat unknown 0.057s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl686.smt2 (content) unsat unknown 0.130s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl686.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl685.smt2 (content) unsat unknown 0.062s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl685.smt2 (content) unsat unknown 0.070s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl685.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl684.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl684.smt2 (content) unsat unknown 0.088s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl684.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl683.smt2 (content) unsat unknown 0.156s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl683.smt2 (content) unsat unknown 0.172s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl683.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl682.smt2 (content) unsat unknown 0.182s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl682.smt2 (content) unsat unknown 0.176s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl682.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl681.smt2 (content) unsat unknown 0.119s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl681.smt2 (content) unsat unknown 0.098s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl681.smt2 (content) unsat unknown 0.033s