detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl722.smt2 (content) unsat unknown 0.070s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl722.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl721.smt2 (content) unsat unknown 0.210s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl721.smt2 (content) unsat unknown 0.127s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl721.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl720.smt2 (content) unsat unknown 0.050s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl720.smt2 (content) unsat unknown 0.045s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl720.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl719.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl719.smt2 (content) unsat unknown 0.060s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl719.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl718.smt2 (content) unsat unknown 0.105s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl718.smt2 (content) unsat unknown 0.127s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl718.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl717.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl717.smt2 (content) unsat unknown 0.055s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl717.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl716.smt2 (content) unsat unknown 0.133s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl716.smt2 (content) unsat unknown 0.105s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl716.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl715.smt2 (content) unsat unknown 0.147s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl715.smt2 (content) unsat unknown 0.117s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl715.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unknown 0.061s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unknown 0.052s