detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1234.smt2 (content) unsat unknown 0.364s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unknown 0.523s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unknown 0.123s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unknown 0.539s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unknown 0.162s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unknown 0.836s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unknown 0.181s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unknown 0.452s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unknown 0.095s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unknown 5.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unknown 0.286s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unknown 0.213s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unknown 0.188s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unknown 0.047s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1228.smt2 (content) unsat unknown 0.302s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1228.smt2 (content) unsat unknown 0.217s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1228.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1227.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1227.smt2 (content) unsat unknown 2.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1227.smt2 (content) unsat unknown 0.229s