detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl121.smt2 (content) unsat unknown 0.282s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl121.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1209.smt2 (content) unsat unknown 0.050s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1209.smt2 (content) unsat unknown 0.051s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1209.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1208.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1208.smt2 (content) unsat unknown 0.151s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1208.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1207.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1207.smt2 (content) unsat unknown 0.062s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1207.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1206.smt2 (content) unsat unknown 0.072s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1206.smt2 (content) unsat unknown 0.114s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1206.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1205.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1205.smt2 (content) unsat unknown 0.049s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1205.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1204.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1204.smt2 (content) unsat unknown 0.059s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1204.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1203.smt2 (content) unsat unknown 0.132s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1203.smt2 (content) unsat unknown 0.128s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1203.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1202.smt2 (content) unsat unknown 0.131s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1202.smt2 (content) unsat unknown 0.119s