detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl399.smt2 (content) unsat unknown 0.287s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl398.smt2 (content) unsat unknown 0.298s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl398.smt2 (content) unsat unknown 0.291s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl398.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl397.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl397.smt2 (content) unsat unknown 0.855s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl397.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.562s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.252s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.500s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.255s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 0.297s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 0.115s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.773s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.630s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.075s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl392.smt2 (content) unsat unknown 0.445s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl392.smt2 (content) unsat unknown 0.380s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl392.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl391.smt2 (content) unsat unknown 2.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl391.smt2 (content) unsat unknown 2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl391.smt2 (content) unsat unknown 0.148s