detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl149.smt2 (content) unsat unknown 0.327s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl148.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl148.smt2 (content) unsat unknown 6.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl148.smt2 (content) unsat unknown 0.571s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl147.smt2 (content) timeout unknown 19.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl147.smt2 (content) timeout unknown 23s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl147.smt2 (content) unsat unknown 3.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl146.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl146.smt2 (content) unsat unknown 1.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl146.smt2 (content) unsat unknown 0.162s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl145.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl145.smt2 (content) unsat unknown 3.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl145.smt2 (content) unsat unknown 0.318s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl144.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl144.smt2 (content) unsat unknown 0.759s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl144.smt2 (content) unsat unknown 0.076s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl143.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl143.smt2 (content) unsat unknown 9.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl143.smt2 (content) unsat unknown 0.251s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl142.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl142.smt2 (content) unsat unknown 0.769s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl142.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl141.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl141.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl141.smt2 (content) unsat unknown 0.114s