From 015e509666a3f8af4b9b46c9db4b100edb4b5145 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Tue, 26 May 2026 21:54:48 +0200 Subject: [PATCH 1/9] 2026 submission for COLIBRI and colibri2 description not updated --- submissions/COLIBRI.json | 22 ++++++++++++++++++++++ submissions/colibri2.json | 29 +++++++++++++++++++++++++++++ 2 files changed, 51 insertions(+) create mode 100644 submissions/COLIBRI.json create mode 100644 submissions/colibri2.json diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json new file mode 100644 index 000000000..416ed11d5 --- /dev/null +++ b/submissions/COLIBRI.json @@ -0,0 +1,22 @@ +{ + "name": "COLIBRI", + "contributors": [ + "Bruno Marre", "François Bobot", "Christophe Junke" + ], + "contacts": ["François Bobot "], + "archive": { + "url": "https://git.frama-c.com/pub/colibri/-/releases/2026.05/downloads/bundle-v5" + }, + "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, + "final" : false +} diff --git a/submissions/colibri2.json b/submissions/colibri2.json new file mode 100644 index 000000000..3afdac766 --- /dev/null +++ b/submissions/colibri2.json @@ -0,0 +1,29 @@ +{ + "name": "colibri2", + "contributors": [ + "François Bobot", + "Hichem Ait El Hara", + "Christophe Junke" + ], + "contacts": ["François Bobot "], + "archive": { + "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1912428/artifacts/download?file_type=archive" + }, + "website": "http://colibri.frama-c.com/", + "system_description": "https://drive.google.com/uc?export=download&id=14ZT6msIH9JcleUv6P4ha3Rdpc7mhpGL9", + "solver_type": "Standalone", + "seed": "42", + "final":false, + "participations": [ + { + "tracks": ["SingleQuery"], + "divisions": ["QF_FPArith"], + "command": ["bin/colibri2"] + }, + { + "tracks": ["SingleQuery"], + "divisions": ["FPArith"], + "command": ["bin/colibri2", "--try-disprove-forall-using-domain" ] + } + ] +} From c907f01002abd0b7ef7e000abd519b29cc5bc22b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Wed, 27 May 2026 13:12:19 +0200 Subject: [PATCH 2/9] [COLIBRI] Fix binary name --- submissions/COLIBRI.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json index 416ed11d5..8becb7db4 100644 --- a/submissions/COLIBRI.json +++ b/submissions/COLIBRI.json @@ -9,7 +9,7 @@ }, "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"], + "command": ["colibri-2026.05-v5/colibri", "--memlimit", "5000"], "solver_type": "Standalone", "participations": [ { From 6855ea01188471cca71219fb08c7e47fa1e7b504 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Wed, 27 May 2026 14:47:46 +0200 Subject: [PATCH 3/9] [COLIBRI] Add participation to QF_*FPDT* --- submissions/COLIBRI.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json index 8becb7db4..59a515b78 100644 --- a/submissions/COLIBRI.json +++ b/submissions/COLIBRI.json @@ -14,7 +14,7 @@ "participations": [ { "tracks": ["SingleQuery"], - "logics": "QF_.*FP(?!DT).*" + "divisions": ["QF_FPArith"] } ], "seed": 0, From ddfd6ee91177a0c76284f0c54b21f47146778bd9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Thu, 4 Jun 2026 09:26:23 +0200 Subject: [PATCH 4/9] Use updated version for colibri --- submissions/COLIBRI.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json index 59a515b78..454d50110 100644 --- a/submissions/COLIBRI.json +++ b/submissions/COLIBRI.json @@ -8,7 +8,7 @@ "url": "https://git.frama-c.com/pub/colibri/-/releases/2026.05/downloads/bundle-v5" }, "website": "http://colibri.frama-c.com/", - "system_description": "https://colibri.frama-c.com/assets/documents/colibri_2025.pdf", + "system_description": "https://colibri.frama-c.com/assets/documents/colibri_2026.pdf", "command": ["colibri-2026.05-v5/colibri", "--memlimit", "5000"], "solver_type": "Standalone", "participations": [ From bd06253cd2c4da76d1f1c5816e42eb08bc420e98 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Thu, 4 Jun 2026 16:18:35 +0200 Subject: [PATCH 5/9] [colibri2] update system description 2026 --- submissions/colibri2.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/colibri2.json b/submissions/colibri2.json index 3afdac766..6aac970a4 100644 --- a/submissions/colibri2.json +++ b/submissions/colibri2.json @@ -10,7 +10,7 @@ "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1912428/artifacts/download?file_type=archive" }, "website": "http://colibri.frama-c.com/", - "system_description": "https://drive.google.com/uc?export=download&id=14ZT6msIH9JcleUv6P4ha3Rdpc7mhpGL9", + "system_description": "https://colibri.frama-c.com/assets/documents/colibri2_2026.pdf", "solver_type": "Standalone", "seed": "42", "final":false, From 046fe889b92bb57ad29bb1b417aa3e18721a545f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Tue, 9 Jun 2026 15:21:34 +0200 Subject: [PATCH 6/9] Fix release of DT parsing handling for COLIBRI --- submissions/COLIBRI.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json index 454d50110..78e9d28c5 100644 --- a/submissions/COLIBRI.json +++ b/submissions/COLIBRI.json @@ -5,11 +5,11 @@ ], "contacts": ["François Bobot "], "archive": { - "url": "https://git.frama-c.com/pub/colibri/-/releases/2026.05/downloads/bundle-v5" + "url": "https://git.frama-c.com/pub/colibri/-/releases/2026.06/downloads/bundle-v5" }, "website": "http://colibri.frama-c.com/", "system_description": "https://colibri.frama-c.com/assets/documents/colibri_2026.pdf", - "command": ["colibri-2026.05-v5/colibri", "--memlimit", "5000"], + "command": ["colibri-2026.06-v5/colibri", "--memlimit", "5000"], "solver_type": "Standalone", "participations": [ { From 144dcf81d4be1db6a46771738228cc02f78d8deb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Wed, 10 Jun 2026 23:24:45 +0200 Subject: [PATCH 7/9] [colibri2] use futur release 0.6 --- submissions/colibri2.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/colibri2.json b/submissions/colibri2.json index 6aac970a4..b780a0af3 100644 --- a/submissions/colibri2.json +++ b/submissions/colibri2.json @@ -7,7 +7,7 @@ ], "contacts": ["François Bobot "], "archive": { - "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1912428/artifacts/download?file_type=archive" + "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1942219/artifacts/raw/colibri2_ef72cb1a.tar.gz" }, "website": "http://colibri.frama-c.com/", "system_description": "https://colibri.frama-c.com/assets/documents/colibri2_2026.pdf", From 5f52c7c18bad4eb936712fea89663d31bfe6fb85 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Thu, 11 Jun 2026 10:36:12 +0200 Subject: [PATCH 8/9] [COLIBRI*] use zenodo link --- submissions/COLIBRI.json | 4 ++-- submissions/colibri2.json | 9 +++++---- 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/submissions/COLIBRI.json b/submissions/COLIBRI.json index 78e9d28c5..27f3339c7 100644 --- a/submissions/COLIBRI.json +++ b/submissions/COLIBRI.json @@ -5,7 +5,7 @@ ], "contacts": ["François Bobot "], "archive": { - "url": "https://git.frama-c.com/pub/colibri/-/releases/2026.06/downloads/bundle-v5" + "url": "https://zenodo.org/records/20639619/files/colibri-2026.06-v5.tar.gz?download=1" }, "website": "http://colibri.frama-c.com/", "system_description": "https://colibri.frama-c.com/assets/documents/colibri_2026.pdf", @@ -18,5 +18,5 @@ } ], "seed": 0, - "final" : false + "final" : true } diff --git a/submissions/colibri2.json b/submissions/colibri2.json index b780a0af3..381748fef 100644 --- a/submissions/colibri2.json +++ b/submissions/colibri2.json @@ -7,13 +7,13 @@ ], "contacts": ["François Bobot "], "archive": { - "url": "https://git.frama-c.com/pub/colibrics/-/jobs/1942219/artifacts/raw/colibri2_ef72cb1a.tar.gz" + "url": "https://zenodo.org/records/20639259/files/colibri2_ef72cb1a.tar.gz?download=1" }, "website": "http://colibri.frama-c.com/", "system_description": "https://colibri.frama-c.com/assets/documents/colibri2_2026.pdf", "solver_type": "Standalone", - "seed": "42", - "final":false, + "seed": "72", + "final": true, "participations": [ { "tracks": ["SingleQuery"], @@ -23,7 +23,8 @@ { "tracks": ["SingleQuery"], "divisions": ["FPArith"], - "command": ["bin/colibri2", "--try-disprove-forall-using-domain" ] + "command": ["bin/colibri2", "--try-disprove-forall-using-domain" ], + "experimental" : true } ] } From 7435b4a30c61efc2e167049aca9a901b33cc32b5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Fri, 12 Jun 2026 12:40:37 +0200 Subject: [PATCH 9/9] [colibri2] Fix author --- submissions/colibri2.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/colibri2.json b/submissions/colibri2.json index 381748fef..52f8c79ff 100644 --- a/submissions/colibri2.json +++ b/submissions/colibri2.json @@ -2,7 +2,7 @@ "name": "colibri2", "contributors": [ "François Bobot", - "Hichem Ait El Hara", + "Hichem Rami Ait El Hara", "Christophe Junke" ], "contacts": ["François Bobot "],