detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl016.smt2 (content) unsat unknown 1.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl016.smt2 (content) unsat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl015.smt2 (content) unsat unknown 0.598s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl015.smt2 (content) unsat unknown 0.473s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl015.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl014.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl014.smt2 (content) unsat unknown 0.775s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl014.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl013.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl013.smt2 (content) unsat unknown 0.950s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl013.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl012.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl012.smt2 (content) unsat unknown 0.650s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl012.smt2 (content) unsat unknown 0.082s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl011.smt2 (content) unsat unknown 0.690s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl011.smt2 (content) unsat unknown 0.495s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl011.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl010.smt2 (content) unsat unknown 0.529s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl010.smt2 (content) unsat unknown 0.317s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl010.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl009.smt2 (content) unsat unknown 0.203s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl009.smt2 (content) unsat unknown 0.259s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl009.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl008.smt2 (content) unsat unknown 0.797s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl008.smt2 (content) unsat unknown 0.559s