detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 5.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 1.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 0.218s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 0.362s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 0.059s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 0.395s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.385s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.190s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl211.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl211.smt2 (content) unsat unknown 0.554s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl211.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl210.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl210.smt2 (content) unsat unknown 0.464s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl210.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl209.smt2 (content) unsat unknown 6.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl209.smt2 (content) unsat unknown 1.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl209.smt2 (content) unsat unknown 0.143s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl208.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl208.smt2 (content) unsat unknown 0.611s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl208.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl207.smt2 (content) unsat unknown 1.4s