2026 submissions for COLIBRI and colibri2

[bobot]

• update descriptions

[github-actions]

Summary of modified submissions

COLIBRI

• 3 authors
• website: http://colibri.frama-c.com/
• Participations
  • SingleQuery
    • QF_FPArith
      • all

colibri2

• 3 authors
• website: http://colibri.frama-c.com/
• Participations
  • SingleQuery
    • FPArith
      • all
    • QF_FPArith
      • all

[Tomaqa]

Dear authors, please update the description of colibri2 according to the requirements stated in the Rules so that we can assess the compliance of that submission.

[bobot]

@Tomaqa sorry for the missing requirements. The techical details are expanded, the institutions are added, and relevant external libraries are mentioned.

[martinjonas]

@bobot Thanks for submitting COLIBRI and colibri2 to this year's SMT-COMP!

We have executed your solver on a small number of benchmarks from each logic it should compete in (except for the parallel track). You can find the results here:

• COLIBRI Single Query Track: https://www.fi.muni.cz/~xjonas/smtcomp/tables/colibri.table.html#/table
• colibri2 Single Query Track: https://www.fi.muni.cz/~xjonas/smtcomp/tables/colibri2.table.html#/table

We have not seen any incorrect results returned by your solver (compared to the expected status of the benchmarks), but there are some benchmarks where the solver crashed with an error.

You can check whether all the results we have obtained are expected. If not, please let us know here.

Some notes:

• We have used smaller resource limits than will be used in the final runs.
• The benchmarks are scrambled by the official scrambler with seed 1.
• The column status shows whether your solver decided the benchmark as sat (true) or unsat (false).
• You can click on the value in the status column to see the output of your solver on that benchmark.

If you upload a new version of the solver and want to have another test run, let me know. We still have some time for that.

Happy rest of the competition!
Martin

[bobot]

Thank you for the checks. For COLIBRI we will investigate. For colibri2, the problem is known (too small floating-point number format for the external library we are using), but I will make it a cleaner error/unknown.

[Tomaqa]

Thank you for the update of the description, it is fine now.

[bobot]

@martinjonas @Tomaqa don't hesitate to remove this track if the fact it is experimental is problematic. Thanks!

[martinjonas]

@bobot Thanks for the submission that will test whether the infrastructure for experimental tracks works! :D We will try to run the experimental track if possible.