detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl522.smt2 (content) unsat unknown 0.103s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl522.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl521.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl521.smt2 (content) unsat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl521.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl520.smt2 (content) unsat unknown 0.144s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl520.smt2 (content) unsat unknown 0.122s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl520.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl519.smt2 (content) unsat unknown 0.249s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl519.smt2 (content) unsat unknown 0.205s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl519.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl518.smt2 (content) unsat unknown 0.185s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl518.smt2 (content) unsat unknown 0.178s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl518.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl517.smt2 (content) unsat unknown 0.250s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl517.smt2 (content) unsat unknown 0.223s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl517.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl516.smt2 (content) unsat unknown 0.030s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl516.smt2 (content) unsat unknown 0.052s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl516.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl515.smt2 (content) unsat unknown 0.182s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl515.smt2 (content) unsat unknown 0.159s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl515.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl514.smt2 (content) unsat unknown 0.134s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl514.smt2 (content) unsat unknown 0.126s