detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl597.smt2 (content) unsat unknown 0.181s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl597.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl596.smt2 (content) unsat unknown 0.178s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl596.smt2 (content) unsat unknown 0.148s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl596.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl595.smt2 (content) unsat unknown 0.111s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl595.smt2 (content) unsat unknown 0.103s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl595.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl594.smt2 (content) unsat unknown 0.209s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl594.smt2 (content) unsat unknown 0.217s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl594.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl593.smt2 (content) unsat unknown 0.137s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl593.smt2 (content) unsat unknown 0.094s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl593.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl592.smt2 (content) unsat unknown 0.109s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl592.smt2 (content) unsat unknown 0.187s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl592.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl591.smt2 (content) unsat unknown 0.217s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl591.smt2 (content) unsat unknown 0.251s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl591.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl590.smt2 (content) unsat unknown 0.210s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl590.smt2 (content) unsat unknown 0.229s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl590.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl589.smt2 (content) unsat unknown 0.190s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl589.smt2 (content) unsat unknown 0.137s