detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl174.smt2 (content) unsat unknown 0.262s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl173.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl173.smt2 (content) unsat unknown 1.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl173.smt2 (content) unsat unknown 0.258s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl172.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl172.smt2 (content) unsat unknown 3.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl172.smt2 (content) unsat unknown 0.415s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl171.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl171.smt2 (content) unsat unknown 2.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl171.smt2 (content) unsat unknown 0.445s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl170.smt2 (content) unsat unknown 7.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl170.smt2 (content) unsat unknown 2.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl170.smt2 (content) unsat unknown 0.475s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl169.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl169.smt2 (content) unsat unknown 5.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl169.smt2 (content) unsat unknown 0.361s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl168.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl168.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl168.smt2 (content) unsat unknown 0.670s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl167.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl167.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl167.smt2 (content) unsat unknown 0.425s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl166.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl166.smt2 (content) unsat unknown 0.281s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl166.smt2 (content) unsat unknown 0.165s