detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl455.smt2 (content) unsat unknown 0.146s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl455.smt2 (content) unsat unknown 0.126s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl455.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl454.smt2 (content) unsat unknown 0.083s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl454.smt2 (content) unsat unknown 0.098s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl454.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl453.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl453.smt2 (content) unsat unknown 0.084s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl453.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl452.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl452.smt2 (content) unsat unknown 0.078s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl452.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl451.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl451.smt2 (content) unsat unknown 0.100s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl451.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl450.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl450.smt2 (content) unsat unknown 0.115s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl450.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl449.smt2 (content) unsat unknown 0.053s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl449.smt2 (content) unsat unknown 0.060s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl449.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl448.smt2 (content) unsat unknown 0.055s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl448.smt2 (content) unsat unknown 0.061s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl448.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl447.smt2 (content) unsat unknown 0.028s