detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl789.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl788.smt2 (content) unsat unknown 0.038s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl788.smt2 (content) unsat unknown 0.054s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl788.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl787.smt2 (content) unsat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl787.smt2 (content) unsat unknown 0.201s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl787.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl786.smt2 (content) unsat unknown 0.060s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl786.smt2 (content) unsat unknown 0.096s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl786.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl785.smt2 (content) unsat unknown 0.180s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl785.smt2 (content) unsat unknown 0.142s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl785.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl784.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl784.smt2 (content) unsat unknown 0.081s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl784.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl783.smt2 (content) unsat unknown 0.219s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl783.smt2 (content) unsat unknown 0.272s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl783.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl782.smt2 (content) unsat unknown 0.418s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl782.smt2 (content) unsat unknown 0.473s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl782.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl781.smt2 (content) unsat unknown 0.134s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl781.smt2 (content) unsat unknown 0.133s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl781.smt2 (content) unsat unknown 0.037s