detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl041.smt2 (content) unsat unknown 1.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl041.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl040.smt2 (content) unsat unknown 0.525s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl040.smt2 (content) unsat unknown 0.511s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl040.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl039.smt2 (content) unsat unknown 0.497s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl039.smt2 (content) unsat unknown 0.421s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl039.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl038.smt2 (content) unsat unknown 4.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl038.smt2 (content) unsat unknown 6.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl038.smt2 (content) unsat unknown 0.445s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl037.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl037.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl037.smt2 (content) unsat unknown 0.150s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl036.smt2 (content) unsat unknown 0.089s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl036.smt2 (content) unsat unknown 0.072s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl036.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl035.smt2 (content) unsat unknown 0.206s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl035.smt2 (content) unsat unknown 0.176s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl035.smt2 (content) unsat unknown 0.078s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl034.smt2 (content) unsat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl034.smt2 (content) unsat unknown 0.111s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl034.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl033.smt2 (content) unsat unknown 0.309s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl033.smt2 (content) unsat unknown 0.386s