detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1219.smt2 (content) unsat unknown 3.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1219.smt2 (content) unsat unknown 0.086s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1218.smt2 (content) unsat unknown 4.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1218.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1218.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1217.smt2 (content) unsat unknown 4.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1217.smt2 (content) unsat unknown 4.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1217.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1216.smt2 (content) unsat unknown 4.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1216.smt2 (content) unsat unknown 3.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1216.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1215.smt2 (content) unsat unknown 3.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1215.smt2 (content) unsat unknown 4.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1215.smt2 (content) unsat unknown 0.316s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1214.smt2 (content) unsat unknown 0.394s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1214.smt2 (content) unsat unknown 0.543s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1214.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1213.smt2 (content) unsat unknown 7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1213.smt2 (content) unsat unknown 7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1213.smt2 (content) unsat unknown 0.406s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1212.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1212.smt2 (content) unsat unknown 0.929s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1212.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1211.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1211.smt2 (content) unsat unknown 2s