detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl224.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl223.smt2 (content) unsat unknown 0.239s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl223.smt2 (content) unsat unknown 0.189s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl223.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl222.smt2 (content) unsat unknown 0.868s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl222.smt2 (content) unsat unknown 0.442s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl222.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl221.smt2 (content) unsat unknown 0.632s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl221.smt2 (content) unsat unknown 0.483s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl221.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl220.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl220.smt2 (content) unsat unknown 0.087s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl220.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl219.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl219.smt2 (content) unsat unknown 0.748s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl219.smt2 (content) unsat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl218.smt2 (content) unsat unknown 1.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl218.smt2 (content) unsat unknown 0.808s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl218.smt2 (content) unsat unknown 0.056s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 7.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 2.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 0.233s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.347s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.180s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.037s