detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl782.smt2 (content) unsat unknown 1.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl782.smt2 (content) unsat unknown 0.121s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl781.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl781.smt2 (content) unsat unknown 2.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl781.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) unsat unknown 4.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) unsat unknown 0.608s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unknown 0.939s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unknown 0.188s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unknown 0.435s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unknown 0.137s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) unknown unknown 10s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) unsat unknown 0.465s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) unsat unknown 0.654s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl774.smt2 (content) unsat unknown 0.323s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl774.smt2 (content) unsat unknown 0.190s