detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl068.smt2 (content) unsat unknown 0.705s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl068.smt2 (content) unsat unknown 0.053s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl067.smt2 (content) unsat unknown 0.355s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl067.smt2 (content) unsat unknown 0.628s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl067.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl066.smt2 (content) unsat unknown 0.148s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl066.smt2 (content) unsat unknown 0.336s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl066.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.148s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.504s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.383s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.132s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.342s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.168s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.303s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.256s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.407s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.103s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.359s