detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1271.smt2 (content) unsat unknown 0.899s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1271.smt2 (content) unsat unknown 0.624s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1271.smt2 (content) unsat unknown 0.073s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1270.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1270.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1270.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl127.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl127.smt2 (content) unsat unknown 3.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl127.smt2 (content) unsat unknown 0.310s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1269.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1269.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1269.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1268.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1268.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1268.smt2 (content) unsat unknown 0.158s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1267.smt2 (content) unsat unknown 0.605s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1267.smt2 (content) unsat unknown 0.556s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1267.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1266.smt2 (content) unsat unknown 3.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1266.smt2 (content) unsat unknown 2.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1266.smt2 (content) unsat unknown 0.076s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1265.smt2 (content) unsat unknown 1.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1265.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1265.smt2 (content) unsat unknown 0.068s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1264.smt2 (content) unsat unknown 2.7s