detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl382.smt2 (content) unsat unknown 0.827s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl382.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl381.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl381.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl381.smt2 (content) unsat unknown 0.146s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl380.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl380.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl380.smt2 (content) unsat unknown 0.118s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl379.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl379.smt2 (content) unsat unknown 2.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl379.smt2 (content) unsat unknown 0.122s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl378.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl378.smt2 (content) unsat unknown 0.350s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl378.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl377.smt2 (content) unsat unknown 4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl377.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl377.smt2 (content) unsat unknown 0.157s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl376.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl376.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl376.smt2 (content) unsat unknown 0.184s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl375.smt2 (content) timeout unknown 10.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl375.smt2 (content) unsat unknown 4.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl375.smt2 (content) unsat unknown 0.636s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl374.smt2 (content) timeout unknown 19s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl374.smt2 (content) timeout unknown 20.3s