detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl664.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl663.smt2 (content) unsat unknown 0.140s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl663.smt2 (content) unsat unknown 0.119s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl663.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl662.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl662.smt2 (content) unsat unknown 0.084s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl662.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl661.smt2 (content) unsat unknown 0.215s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl661.smt2 (content) unsat unknown 0.162s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl661.smt2 (content) unsat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl660.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl660.smt2 (content) unsat unknown 0.154s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl660.smt2 (content) unsat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl659.smt2 (content) unsat unknown 0.555s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl659.smt2 (content) unsat unknown 0.523s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl659.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl658.smt2 (content) unsat unknown 0.168s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl658.smt2 (content) unsat unknown 0.199s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl658.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl657.smt2 (content) unsat unknown 0.331s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl657.smt2 (content) unsat unknown 0.589s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl657.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl656.smt2 (content) unsat unknown 0.182s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl656.smt2 (content) unsat unknown 0.129s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl656.smt2 (content) unsat unknown 0.023s