detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl549.smt2 (content) unsat unknown 0.289s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl548.smt2 (content) timeout unknown 14.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl548.smt2 (content) unsat unknown 9.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl548.smt2 (content) unsat unknown 0.786s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl547.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl547.smt2 (content) unsat unknown 5.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl547.smt2 (content) unsat unknown 0.381s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl546.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl546.smt2 (content) unsat unknown 5.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl546.smt2 (content) unsat unknown 0.254s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl545.smt2 (content) unsat unknown 9.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl545.smt2 (content) unsat unknown 3.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl545.smt2 (content) unsat unknown 0.309s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl544.smt2 (content) unsat unknown 11.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl544.smt2 (content) unsat unknown 3.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl544.smt2 (content) unsat unknown 0.273s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl543.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl543.smt2 (content) unsat unknown 5.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl543.smt2 (content) unsat unknown 0.346s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl542.smt2 (content) timeout unknown 12s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl542.smt2 (content) unsat unknown 4.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl542.smt2 (content) unsat unknown 0.438s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl541.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl541.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl541.smt2 (content) unsat unknown 0.193s