detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl724.smt2 (content) unsat unknown 0.593s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unknown 0.269s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unknown 0.303s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) unsat unknown 9.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) unsat unknown 0.849s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unknown 3.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unknown 0.559s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unknown 0.337s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unknown 0.756s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unknown 0.769s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unknown 0.078s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unknown 20.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unknown 21.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) unsat unknown 1.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl717.smt2 (content) unsat unknown 3.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl717.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl717.smt2 (content) unsat unknown 0.223s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl716.smt2 (content) unsat unknown 8.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl716.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl716.smt2 (content) unsat unknown 0.456s