detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl349.smt2 (content) unsat unknown 0.101s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl348.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl348.smt2 (content) unsat unknown 7.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl348.smt2 (content) unsat unknown 0.297s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl347.smt2 (content) timeout unknown 11.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl347.smt2 (content) unsat unknown 6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl347.smt2 (content) unsat unknown 0.258s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl346.smt2 (content) unsat unknown 8.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl346.smt2 (content) unsat unknown 4.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl346.smt2 (content) unsat unknown 0.124s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl345.smt2 (content) unsat unknown 9.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl345.smt2 (content) unsat unknown 4.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl345.smt2 (content) unsat unknown 0.112s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl344.smt2 (content) unsat unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl344.smt2 (content) unsat unknown 3.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl344.smt2 (content) unsat unknown 0.116s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl343.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl343.smt2 (content) unsat unknown 4.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl343.smt2 (content) unsat unknown 0.426s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl342.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl342.smt2 (content) unsat unknown 5.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl342.smt2 (content) unsat unknown 0.515s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl341.smt2 (content) unsat unknown 6.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl341.smt2 (content) unsat unknown 4.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl341.smt2 (content) unsat unknown 0.251s