diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json new file mode 100644 index 00000000..efc15bf2 --- /dev/null +++ b/submissions/COLIBRI.json @@ -0,0 +1,22 @@ +{ + "name": "COLIBRI", + "contributors": [ + "Bruno Marre", "François Bobot", "Christophe Junke" + ], + "contacts": ["Christophe Junke "], + "archive": { + "url": "https://zenodo.org/records/15602589/files/colibri.2025.06-e5.tbz", + "h": { "sha256": "f251f170c75a96af9ccde9859ac349e5c1cdd6fa6aeca779cb1ef4b9a8134871" } + }, + "website": "http://colibri.frama-c.com/", + "system_description": "https://colibri.frama-c.com/assets/documents/colibri_2025.pdf", + "command": ["colibri-2025.06-v5/colibri", "--memlimit", "5000"], + "solver_type": "Standalone", + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": "QF_.*FP(?!DT).*" + } + ], + "seed": 0 +}