detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1264.smt2 (content) unsat unknown 0.795s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1264.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1263.smt2 (content) unsat unknown 3.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1263.smt2 (content) unsat unknown 2.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1263.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1262.smt2 (content) unsat unknown 0.472s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1262.smt2 (content) unsat unknown 0.311s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1262.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unknown 3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unknown 2.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unknown 0.203s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unknown 3.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unknown 3.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unknown 0.082s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unknown 4.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unknown 1.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unknown 0.148s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unknown 0.694s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unknown 0.859s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unknown 0.852s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unknown 0.502s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1257.smt2 (content) unsat unknown 4.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1257.smt2 (content) unsat unknown 5.8s