detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl857.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl857.smt2 (content) unsat unknown 0.497s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl856.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl856.smt2 (content) unsat unknown 0.300s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl856.smt2 (content) unsat unknown 0.150s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl855.smt2 (content) unsat unknown 8.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl855.smt2 (content) unsat unknown 3.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl855.smt2 (content) unsat unknown 0.357s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl854.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl854.smt2 (content) unsat unknown 7.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl854.smt2 (content) unsat unknown 0.453s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl853.smt2 (content) unsat unknown 4.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl853.smt2 (content) unsat unknown 4.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl853.smt2 (content) unsat unknown 0.176s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl852.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl852.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl852.smt2 (content) unsat unknown 0.741s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl851.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl851.smt2 (content) unknown unknown 10.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl851.smt2 (content) unsat unknown 1.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl850.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl850.smt2 (content) unsat unknown 10.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl850.smt2 (content) unsat unknown 0.564s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl849.smt2 (content) timeout unknown 11.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl849.smt2 (content) unknown unknown 11.7s