detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl614.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl613.smt2 (content) unsat unknown 0.210s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl613.smt2 (content) unsat unknown 0.190s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl613.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl612.smt2 (content) unsat unknown 0.189s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl612.smt2 (content) unsat unknown 0.174s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl612.smt2 (content) unsat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl611.smt2 (content) unsat unknown 0.116s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl611.smt2 (content) unsat unknown 0.099s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl611.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl610.smt2 (content) unsat unknown 0.150s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl610.smt2 (content) unsat unknown 0.139s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl610.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl609.smt2 (content) unsat unknown 0.107s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl609.smt2 (content) unsat unknown 0.122s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl609.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl608.smt2 (content) unsat unknown 0.139s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl608.smt2 (content) unsat unknown 0.123s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl608.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl607.smt2 (content) unsat unknown 0.468s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl607.smt2 (content) unsat unknown 0.244s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl607.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl606.smt2 (content) unsat unknown 0.180s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl606.smt2 (content) unsat unknown 0.131s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl606.smt2 (content) unsat unknown 0.030s