detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1052.smt2 (content) unsat unknown 0.619s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1051.smt2 (content) unsat unknown 9.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1051.smt2 (content) unsat unknown 7.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1051.smt2 (content) unsat unknown 0.665s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1050.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1050.smt2 (content) unsat unknown 8.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1050.smt2 (content) unsat unknown 0.730s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl105.smt2 (content) timeout unknown 10.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl105.smt2 (content) unsat unknown 4.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl105.smt2 (content) unsat unknown 0.401s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1049.smt2 (content) unsat unknown 6.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1049.smt2 (content) unsat unknown 4.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1049.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1048.smt2 (content) unsat unknown 4.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1048.smt2 (content) unsat unknown 5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1048.smt2 (content) unsat unknown 0.107s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1047.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1047.smt2 (content) unsat unknown 7.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1047.smt2 (content) unsat unknown 0.111s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unknown 8.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unknown 5.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unknown 0.141s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unknown 0.903s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unknown 0.434s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unknown 0.065s