QiuQi submissions 2026

[YZhang322]

No description provided.

[github-actions]

Summary of modified submissions

QiuQi

• 5 authors
• website: https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026
• Participations
  • SingleQuery
    • QF_LinearIntArith
      • QF_LIRA

QiuQi

• 5 authors
• website: https://github.com/YZhang322/QiuQi-for-SMT-COMP-2026
• Participations
  • Parallel
    • QF_LinearIntArith
      • QF_LIRA

[Tomaqa]

Dear authors, thank you for the submission. We found no issues. Remember that the final submission requires the use of Zenodo.

[martinjonas]

@YZhang322 Thanks for your submission of QiuQi to this year's SMT-COMP! We executed your solver on a small number of testing benchmarks and it seems that it does not support the command (set-option :print-success false) which is used in all benchmarks and required by the rules. Can you fix this in the final version?

Given that I am sending this feedback quite late, we can slightly extend the deadline for the final version of your solver if needed.

[YZhang322]

@YZhang322 Thanks for your submission of QiuQi to this year's SMT-COMP! We executed your solver on a small number of testing benchmarks and it seems that it does not support the command (set-option :print-success false) which is used in all benchmarks and required by the rules. Can you fix this in the final version?

Given that I am sending this feedback quite late, we can slightly extend the deadline for the final version of your solver if needed.

@martinjonas Thank you for pointing that out. We need some time to fix this bug, and we'll push the final version later today.

[martinjonas]

@YZhang322 Perfect, thanks!

[YZhang322]

@martinjonas Testing shows the file format is yml, but the solver currently only supports smt2. Are we required to support the yml format?

[martinjonas]

@YZhang322 Thanks for the updated version. Don't worry, you are supposed to support only smt2 files; the yaml files are used only internally for the purposes of our execution (for BenchExec).

I ran your latest submission and everything seems good. You can find the results on a very small subset of test benchmarks here:
https://www.fi.muni.cz/~xjonas/smtcomp/tables/qiuqi.table.html#/table

Since everything looks good, I am merging your submission. Thanks again!