detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl314.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl313.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl313.smt2 (content) unsat unknown 0.047s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl313.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl312.smt2 (content) unsat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl312.smt2 (content) unsat unknown 0.259s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl312.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl311.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl311.smt2 (content) unsat unknown 0.056s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl311.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl310.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl310.smt2 (content) unsat unknown 0.070s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl310.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl309.smt2 (content) unsat unknown 0.157s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl309.smt2 (content) unsat unknown 0.239s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl309.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl308.smt2 (content) unsat unknown 0.039s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl308.smt2 (content) unsat unknown 0.117s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl308.smt2 (content) unsat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl307.smt2 (content) unsat unknown 0.108s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl307.smt2 (content) unsat unknown 0.118s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl307.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl306.smt2 (content) unsat unknown 0.294s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl306.smt2 (content) unsat unknown 0.377s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl306.smt2 (content) unsat unknown 0.025s