detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl707.smt2 (content) unsat unknown 5.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl707.smt2 (content) unsat unknown 0.232s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl706.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl706.smt2 (content) unsat unknown 0.466s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl706.smt2 (content) unsat unknown 0.406s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) unsat unknown 4.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) unsat unknown 0.403s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unknown 4.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unknown 2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unknown 0.398s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unsat unknown 9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unsat unknown 3.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unsat unknown 0.225s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) unsat unknown 5.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) unsat unknown 0.399s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) timeout unknown 12.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unknown 6.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unknown 0.722s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) unsat unknown 5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) unsat unknown 0.512s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) unsat unknown 6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) unsat unknown 8.0s