Submission Colibri

[bobot]

No description provided.

[github-actions]

Summary of modified submissions

COLIBRI

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

[martinjonas]

@bobot I believe that you accidentally pushed some superfluous changes to this pull requests. It modifies more files than just submissions/COLIBRI.json.

[bobot]

Fixed, it is my testing ground for the CI

[martinjonas]

@bobot We have executed the latest version of COLIBRI on a randomly chosen subset of 20 single query benchmarks from each logic where it participates. The benchmarks are also scrambled by the competition scrambler (with seed 1). You can find the results here: https://www.fi.muni.cz/~xjonas/smtcomp/colibri.table.html#/table

Quick explanation:

• Green status means that the result agrees with the (set-info :status _) annotation from the benchmark.
• Blue status means that the benchmark has annotation (set-info :status unknown).
• By clicking on the result (e.g. false, true, ABORTED, …) you can see the command-line arguments with which your solver was called and its output on the benchmark.
• By clicking on the benchmark name (i.e., *scrambled*.yml), you can see the details of the benchmark including its contents (by clicking on the file link in input_files) and the name of the original bennchmark before scrambling (e.g., # original_files: 'non-incremental/AUFBVFP/20210301-Alive2-partial-undef/ph7/583_ph7.smt2').

Please check whether there are some discrepancies, such as missing/extra logics, unexpected aborts or unknowns, and similar. If you update the solver, let me know and I can execute further test runs. We still have plenty of time for several follow-up test runs.