detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl128.smt2 (content) unsat unknown 0.603s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1279.smt2 (content) unsat unknown 5.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1279.smt2 (content) unsat unknown 3.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1279.smt2 (content) unsat unknown 0.473s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1278.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1278.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1278.smt2 (content) unsat unknown 0.130s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1277.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1277.smt2 (content) unsat unknown 1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1277.smt2 (content) unsat unknown 0.232s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1276.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1276.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1276.smt2 (content) unsat unknown 0.163s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1275.smt2 (content) unsat unknown 29.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1275.smt2 (content) unsat unknown 21.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1275.smt2 (content) unsat unknown 0.298s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1274.smt2 (content) unsat unknown 1.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1274.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1274.smt2 (content) unsat unknown 0.192s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1273.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1273.smt2 (content) unsat unknown 1.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1273.smt2 (content) unsat unknown 0.187s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1272.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1272.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1272.smt2 (content) unsat unknown 0.138s