detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl322.smt2 (content) unsat unknown 0.229s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl322.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl321.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl321.smt2 (content) unsat unknown 0.065s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl321.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl320.smt2 (content) unsat unknown 0.102s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl320.smt2 (content) unsat unknown 0.091s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl320.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl319.smt2 (content) unsat unknown 0.160s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl319.smt2 (content) unsat unknown 0.092s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl319.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl318.smt2 (content) unsat unknown 0.268s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl318.smt2 (content) unsat unknown 0.215s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl318.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl317.smt2 (content) unsat unknown 0.138s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl317.smt2 (content) unsat unknown 0.154s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl317.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl316.smt2 (content) unsat unknown 0.112s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl316.smt2 (content) unsat unknown 0.127s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl316.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl315.smt2 (content) unsat unknown 0.018s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl315.smt2 (content) unsat unknown 0.091s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl315.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl314.smt2 (content) unsat unknown 0.216s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl314.smt2 (content) unsat unknown 0.209s