detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1134.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1133.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1133.smt2 (content) unsat unknown 0.126s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1133.smt2 (content) unsat unknown 0.059s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1132.smt2 (content) unsat unknown 0.021s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1132.smt2 (content) unsat unknown 0.031s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1132.smt2 (content) unsat unknown 0.013s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1131.smt2 (content) unsat unknown 0.028s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1131.smt2 (content) unsat unknown 0.036s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1131.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1130.smt2 (content) unsat unknown 0.041s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1130.smt2 (content) unsat unknown 0.125s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1130.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl113.smt2 (content) unsat unknown 0.259s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl113.smt2 (content) unsat unknown 0.198s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl113.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1129.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1129.smt2 (content) unsat unknown 0.052s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1129.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1128.smt2 (content) unsat unknown 0.037s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1128.smt2 (content) unsat unknown 0.032s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1128.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1127.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1127.smt2 (content) unsat unknown 0.067s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1127.smt2 (content) unsat unknown 0.021s