detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl830.smt2 (content) unsat unknown 0.223s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl830.smt2 (content) unsat unknown 0.122s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl830.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl829.smt2 (content) unsat unknown 0.118s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl829.smt2 (content) unsat unknown 0.186s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl829.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl828.smt2 (content) unsat unknown 0.390s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl828.smt2 (content) unsat unknown 0.316s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl828.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl827.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl827.smt2 (content) unsat unknown 0.080s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl827.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl826.smt2 (content) unsat unknown 0.177s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl826.smt2 (content) unsat unknown 0.181s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl826.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl825.smt2 (content) unsat unknown 0.083s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl825.smt2 (content) unsat unknown 0.062s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl825.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl824.smt2 (content) unsat unknown 0.120s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl824.smt2 (content) unsat unknown 0.126s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl824.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl823.smt2 (content) unsat unknown 0.757s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl823.smt2 (content) unsat unknown 0.546s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl823.smt2 (content) unsat unknown 0.093s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl822.smt2 (content) unsat unknown 0.103s