detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl924.smt2 (content) unsat unknown 0.686s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl923.smt2 (content) unsat unknown 6.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl923.smt2 (content) unsat unknown 2.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl923.smt2 (content) unsat unknown 0.346s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl922.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl922.smt2 (content) unsat unknown 4.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl922.smt2 (content) unsat unknown 0.500s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl921.smt2 (content) timeout unknown 18.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl921.smt2 (content) unsat unknown 16.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl921.smt2 (content) unsat unknown 0.937s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl920.smt2 (content) unsat unknown 8.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl920.smt2 (content) unsat unknown 4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl920.smt2 (content) unsat unknown 0.464s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl919.smt2 (content) unsat unknown 3.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl919.smt2 (content) unsat unknown 2.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl919.smt2 (content) unsat unknown 0.226s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl918.smt2 (content) unsat unknown 4.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl918.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl918.smt2 (content) unsat unknown 0.309s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl917.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl917.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl917.smt2 (content) unsat unknown 0.121s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl916.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl916.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl916.smt2 (content) unsat unknown 0.106s