detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl990.smt2 (content) unsat unknown 7.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl990.smt2 (content) unsat unknown 5.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl990.smt2 (content) unsat unknown 0.292s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl989.smt2 (content) unsat unknown 7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl989.smt2 (content) unsat unknown 4.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl989.smt2 (content) unsat unknown 0.357s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) unsat unknown 0.595s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) unsat unknown 0.806s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl986.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl986.smt2 (content) unsat unknown 0.865s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl986.smt2 (content) unsat unknown 0.122s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unsat unknown 6.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unsat unknown 1.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unsat unknown 0.133s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl984.smt2 (content) unsat unknown 3.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl984.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl984.smt2 (content) unsat unknown 0.109s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) unsat unknown 0.302s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl982.smt2 (content) unsat unknown 6.4s