detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl457.smt2 (content) unsat unknown 4.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl457.smt2 (content) unsat unknown 0.459s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl456.smt2 (content) unsat unknown 8.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl456.smt2 (content) unsat unknown 6.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl456.smt2 (content) unsat unknown 0.545s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl455.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl455.smt2 (content) unsat unknown 1.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl455.smt2 (content) unsat unknown 0.184s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl454.smt2 (content) unsat unknown 3.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl454.smt2 (content) unsat unknown 1.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl454.smt2 (content) unsat unknown 0.178s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl453.smt2 (content) unsat unknown 7.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl453.smt2 (content) unsat unknown 6.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl453.smt2 (content) unsat unknown 0.979s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl452.smt2 (content) unsat unknown 2.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl452.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl452.smt2 (content) unsat unknown 0.223s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl451.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl451.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl451.smt2 (content) unsat unknown 0.287s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl450.smt2 (content) unsat unknown 6.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl450.smt2 (content) unsat unknown 8.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl450.smt2 (content) unsat unknown 0.660s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl449.smt2 (content) unsat unknown 8.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl449.smt2 (content) unsat unknown 6.5s