detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl507.smt2 (content) unsat unknown 6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl507.smt2 (content) unsat unknown 0.491s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl506.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl506.smt2 (content) unsat unknown 9.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl506.smt2 (content) unsat unknown 0.535s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl505.smt2 (content) unsat unknown 2.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl505.smt2 (content) unsat unknown 2.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl505.smt2 (content) unsat unknown 0.138s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl504.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl504.smt2 (content) unsat unknown 0.425s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl504.smt2 (content) unsat unknown 0.283s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl503.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl503.smt2 (content) unsat unknown 2.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl503.smt2 (content) unsat unknown 0.076s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl502.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl502.smt2 (content) unsat unknown 0.886s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl502.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl501.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl501.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl501.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl500.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl500.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl500.smt2 (content) unsat unknown 0.065s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl499.smt2 (content) unsat unknown 0.288s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl499.smt2 (content) unsat unknown 0.197s