detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl274.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl273.smt2 (content) unsat unknown 0.644s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl273.smt2 (content) unsat unknown 0.456s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl273.smt2 (content) unsat unknown 0.479s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl273.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl272.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl272.smt2 (content) unsat unknown 0.779s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl272.smt2 (content) unsat unknown 0.793s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl272.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl271.smt2 (content) unsat unknown 3.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl271.smt2 (content) unsat unknown 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl271.smt2 (content) unsat unknown 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl271.smt2 (content) unsat unknown 0.193s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl270.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl270.smt2 (content) unsat unknown 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl270.smt2 (content) unsat unknown 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl270.smt2 (content) unsat unknown 0.139s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl269.smt2 (content) unsat unknown 0.442s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl269.smt2 (content) unsat unknown 0.252s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl269.smt2 (content) unsat unknown 0.254s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl269.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl268.smt2 (content) unsat unknown 0.579s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl268.smt2 (content) unsat unknown 0.371s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl268.smt2 (content) unsat unknown 0.372s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl268.smt2 (content) unsat unknown 0.044s