detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unknown 0.098s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unknown 0.053s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unknown 0.112s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unknown 0.135s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unknown 0.498s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unknown 0.548s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unknown 0.078s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unknown 0.296s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unknown 0.418s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unknown 0.094s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unknown 0.044s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unknown 0.061s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unknown 0.175s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unknown 0.165s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unknown 0.473s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unknown 0.266s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl939.smt2 (content) unsat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl939.smt2 (content) unsat unknown 0.104s