detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1021.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1021.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1021.smt2 (content) unsat unknown 0.427s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1020.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1020.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1020.smt2 (content) unsat unknown 0.383s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl102.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl102.smt2 (content) unsat unknown 3.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl102.smt2 (content) unsat unknown 0.391s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1019.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1019.smt2 (content) unsat unknown 6.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1019.smt2 (content) unsat unknown 0.460s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1018.smt2 (content) unsat unknown 0.326s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1018.smt2 (content) unsat unknown 0.217s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1018.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1017.smt2 (content) unsat unknown 0.392s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1017.smt2 (content) unsat unknown 0.284s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1017.smt2 (content) unsat unknown 0.120s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1016.smt2 (content) unsat unknown 0.319s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1016.smt2 (content) unsat unknown 0.209s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1016.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1015.smt2 (content) unsat unknown 0.375s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1015.smt2 (content) unsat unknown 0.240s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1015.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1014.smt2 (content) unsat unknown 1.6s