detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl033.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl032.smt2 (content) unsat unknown 0.170s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl032.smt2 (content) unsat unknown 0.114s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl032.smt2 (content) unsat unknown 0.047s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl031.smt2 (content) unsat unknown 0.115s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl031.smt2 (content) unsat unknown 0.076s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl031.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl030.smt2 (content) unsat unknown 0.489s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl030.smt2 (content) unsat unknown 0.370s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl030.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl029.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl029.smt2 (content) unsat unknown 0.690s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl029.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl028.smt2 (content) unsat unknown 0.452s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl028.smt2 (content) unsat unknown 0.269s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl028.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl027.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl027.smt2 (content) unsat unknown 0.631s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl027.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl026.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl026.smt2 (content) unsat unknown 0.857s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl026.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl025.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl025.smt2 (content) unsat unknown 0.812s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl025.smt2 (content) unsat unknown 0.087s