detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl874.smt2 (content) unsat unknown 0.231s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl873.smt2 (content) timeout unknown 10.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl873.smt2 (content) unsat unknown 2.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl873.smt2 (content) unsat unknown 0.424s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl872.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl872.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl872.smt2 (content) unsat unknown 0.133s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl871.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl871.smt2 (content) unsat unknown 3.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl871.smt2 (content) unsat unknown 0.305s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl870.smt2 (content) timeout unknown 10.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl870.smt2 (content) unsat unknown 5.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl870.smt2 (content) unsat unknown 0.402s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl869.smt2 (content) unsat unknown 7.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl869.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl869.smt2 (content) unsat unknown 0.087s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl868.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl868.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl868.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl867.smt2 (content) unsat unknown 8.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl867.smt2 (content) unsat unknown 0.419s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl867.smt2 (content) unsat unknown 0.313s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl866.smt2 (content) unsat unknown 8.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl866.smt2 (content) unsat unknown 3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl866.smt2 (content) unsat unknown 0.332s