detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unknown 0.054s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unknown 0.613s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unknown 0.349s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unknown 0.202s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unknown 0.166s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unknown 0.059s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unknown 0.102s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unknown 0.096s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unknown 0.056s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unknown 0.083s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unknown 0.082s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unknown 0.138s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unknown 0.198s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl872.smt2 (content) unsat unknown 0.024s