detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl332.smt2 (content) unsat unknown 5.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl332.smt2 (content) unsat unknown 0.563s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl331.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl331.smt2 (content) unsat unknown 0.544s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl331.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl330.smt2 (content) unsat unknown 8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl330.smt2 (content) unsat unknown 4.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl330.smt2 (content) unsat unknown 0.446s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl329.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl329.smt2 (content) unsat unknown 2.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl329.smt2 (content) unsat unknown 0.442s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl328.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl328.smt2 (content) unsat unknown 2.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl328.smt2 (content) unsat unknown 0.338s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl327.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl327.smt2 (content) unsat unknown 3.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl327.smt2 (content) unsat unknown 0.471s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl326.smt2 (content) timeout unknown 11.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl326.smt2 (content) unsat unknown 9.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl326.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl325.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl325.smt2 (content) unsat unknown 15.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl325.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl324.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl324.smt2 (content) unsat unknown 5.2s