diff --git a/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-16b-Meal-Planner-Data-External-Python.ipynb b/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-16b-Meal-Planner-Data-External-Python.ipynb index 4418aae1756..085d95eef37 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-16b-Meal-Planner-Data-External-Python.ipynb +++ b/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-16b-Meal-Planner-Data-External-Python.ipynb @@ -5,10 +5,10 @@ "id": "3b618ed6", "metadata": { "papermill": { - "duration": 0.00551, - "end_time": "2026-09-30T01:01:54.727015+00:00", + "duration": 0.023597, + "end_time": "2026-10-31T20:32:52.543833+00:00", "exception": false, - "start_time": "2026-09-30T01:01:54.721505+00:00", + "start_time": "2026-10-31T20:32:52.520236+00:00", "status": "completed" }, "tags": [] @@ -61,16 +61,16 @@ "id": "1a256fc7", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:01:54.743090Z", - "iopub.status.busy": "2026-09-30T01:01:54.742087Z", - "iopub.status.idle": "2026-09-30T01:01:55.511282Z", - "shell.execute_reply": "2026-09-30T01:01:55.509273Z" + "iopub.execute_input": "2026-10-31T20:32:52.559553Z", + "iopub.status.busy": "2026-10-31T20:32:52.559307Z", + "iopub.status.idle": "2026-10-31T20:32:52.588557Z", + "shell.execute_reply": "2026-10-31T20:32:52.587449Z" }, "papermill": { - "duration": 0.778237, - "end_time": "2026-09-30T01:01:55.511282+00:00", + "duration": 0.04175, + "end_time": "2026-10-31T20:32:52.589429+00:00", "exception": false, - "start_time": "2026-09-30T01:01:54.733045+00:00", + "start_time": "2026-10-31T20:32:52.547679+00:00", "status": "completed" }, "tags": [] @@ -140,10 +140,10 @@ "id": "1ed80d6f", "metadata": { "papermill": { - "duration": 0.005528, - "end_time": "2026-09-30T01:01:55.522870+00:00", + "duration": 0.004021, + "end_time": "2026-10-31T20:32:52.597135+00:00", "exception": false, - "start_time": "2026-09-30T01:01:55.517342+00:00", + "start_time": "2026-10-31T20:32:52.593114+00:00", "status": "completed" }, "tags": [] @@ -163,16 +163,16 @@ "id": "39cc27d6", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:01:55.536428Z", - "iopub.status.busy": "2026-09-30T01:01:55.536428Z", - "iopub.status.idle": "2026-09-30T01:02:04.762182Z", - "shell.execute_reply": "2026-09-30T01:02:04.760146Z" + "iopub.execute_input": "2026-10-31T20:32:52.608255Z", + "iopub.status.busy": "2026-10-31T20:32:52.607810Z", + "iopub.status.idle": "2026-10-31T20:32:57.437566Z", + "shell.execute_reply": "2026-10-31T20:32:57.436280Z" }, "papermill": { - "duration": 9.234294, - "end_time": "2026-09-30T01:02:04.762182+00:00", + "duration": 4.835292, + "end_time": "2026-10-31T20:32:57.438700+00:00", "exception": false, - "start_time": "2026-09-30T01:01:55.527888+00:00", + "start_time": "2026-10-31T20:32:52.603408+00:00", "status": "completed" }, "tags": [] @@ -182,7 +182,7 @@ "name": "stdout", "output_type": "stream", "text": [ - "Ciqual charge en 9.0s : 74 constituants, 3484 aliments, 3484 avec composition.\n", + "Ciqual charge en 4.8s : 74 constituants, 3484 aliments, 3484 avec composition.\n", "Constituants contraints (C=5) :\n", " [327] Energie, Règlement UE N° 1169/2011 (kJ/100 g)\n", " [25000] Protéines, N x facteur de Jones (g/100 g)\n", @@ -256,10 +256,10 @@ "id": "38e6dbb9", "metadata": { "papermill": { - "duration": 0.004026, - "end_time": "2026-09-30T01:02:04.771730+00:00", + "duration": 0.003701, + "end_time": "2026-10-31T20:32:57.446196+00:00", "exception": false, - "start_time": "2026-09-30T01:02:04.767704+00:00", + "start_time": "2026-10-31T20:32:57.442495+00:00", "status": "completed" }, "tags": [] @@ -285,16 +285,16 @@ "id": "8725053f", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:04.782314Z", - "iopub.status.busy": "2026-09-30T01:02:04.782314Z", - "iopub.status.idle": "2026-09-30T01:02:04.882613Z", - "shell.execute_reply": "2026-09-30T01:02:04.881067Z" + "iopub.execute_input": "2026-10-31T20:32:57.455940Z", + "iopub.status.busy": "2026-10-31T20:32:57.455451Z", + "iopub.status.idle": "2026-10-31T20:32:57.518593Z", + "shell.execute_reply": "2026-10-31T20:32:57.517203Z" }, "papermill": { - "duration": 0.107372, - "end_time": "2026-09-30T01:02:04.883626+00:00", + "duration": 0.069648, + "end_time": "2026-10-31T20:32:57.520075+00:00", "exception": false, - "start_time": "2026-09-30T01:02:04.776254+00:00", + "start_time": "2026-10-31T20:32:57.450427+00:00", "status": "completed" }, "tags": [] @@ -419,10 +419,10 @@ "id": "a26438ed", "metadata": { "papermill": { - "duration": 0.004528, - "end_time": "2026-09-30T01:02:04.893710+00:00", + "duration": 0.004809, + "end_time": "2026-10-31T20:32:57.530087+00:00", "exception": false, - "start_time": "2026-09-30T01:02:04.889182+00:00", + "start_time": "2026-10-31T20:32:57.525278+00:00", "status": "completed" }, "tags": [] @@ -442,16 +442,16 @@ "id": "beceb300", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:04.907265Z", - "iopub.status.busy": "2026-09-30T01:02:04.906264Z", - "iopub.status.idle": "2026-09-30T01:02:33.526311Z", - "shell.execute_reply": "2026-09-30T01:02:33.525296Z" + "iopub.execute_input": "2026-10-31T20:32:57.541614Z", + "iopub.status.busy": "2026-10-31T20:32:57.541260Z", + "iopub.status.idle": "2026-10-31T20:32:58.102647Z", + "shell.execute_reply": "2026-10-31T20:32:58.101468Z" }, "papermill": { - "duration": 28.629102, - "end_time": "2026-09-30T01:02:33.527311+00:00", + "duration": 0.568348, + "end_time": "2026-10-31T20:32:58.103552+00:00", "exception": false, - "start_time": "2026-09-30T01:02:04.898209+00:00", + "start_time": "2026-10-31T20:32:57.535204+00:00", "status": "completed" }, "tags": [] @@ -540,10 +540,10 @@ "id": "d00cb117", "metadata": { "papermill": { - "duration": 0.004517, - "end_time": "2026-09-30T01:02:33.536357+00:00", + "duration": 0.003599, + "end_time": "2026-10-31T20:32:58.111764+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.531840+00:00", + "start_time": "2026-10-31T20:32:58.108165+00:00", "status": "completed" }, "tags": [] @@ -564,16 +564,16 @@ "id": "07b66ccd", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:33.548287Z", - "iopub.status.busy": "2026-09-30T01:02:33.548287Z", - "iopub.status.idle": "2026-09-30T01:02:33.565891Z", - "shell.execute_reply": "2026-09-30T01:02:33.565891Z" + "iopub.execute_input": "2026-10-31T20:32:58.121188Z", + "iopub.status.busy": "2026-10-31T20:32:58.120915Z", + "iopub.status.idle": "2026-10-31T20:32:58.132907Z", + "shell.execute_reply": "2026-10-31T20:32:58.131553Z" }, "papermill": { - "duration": 0.025926, - "end_time": "2026-09-30T01:02:33.567414+00:00", + "duration": 0.018843, + "end_time": "2026-10-31T20:32:58.134064+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.541488+00:00", + "start_time": "2026-10-31T20:32:58.115221+00:00", "status": "completed" }, "tags": [] @@ -641,10 +641,10 @@ "id": "451ccc82", "metadata": { "papermill": { - "duration": 0.004509, - "end_time": "2026-09-30T01:02:33.577452+00:00", + "duration": 0.004625, + "end_time": "2026-10-31T20:32:58.143494+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.572943+00:00", + "start_time": "2026-10-31T20:32:58.138869+00:00", "status": "completed" }, "tags": [] @@ -665,16 +665,16 @@ "id": "61d4605c", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:33.591008Z", - "iopub.status.busy": "2026-09-30T01:02:33.590008Z", - "iopub.status.idle": "2026-09-30T01:02:33.833111Z", - "shell.execute_reply": "2026-09-30T01:02:33.831098Z" + "iopub.execute_input": "2026-10-31T20:32:58.154077Z", + "iopub.status.busy": "2026-10-31T20:32:58.153685Z", + "iopub.status.idle": "2026-10-31T20:32:58.335977Z", + "shell.execute_reply": "2026-10-31T20:32:58.334667Z" }, "papermill": { - "duration": 0.251617, - "end_time": "2026-09-30T01:02:33.834111+00:00", + "duration": 0.187909, + "end_time": "2026-10-31T20:32:58.336921+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.582494+00:00", + "start_time": "2026-10-31T20:32:58.149012+00:00", "status": "completed" }, "tags": [] @@ -684,7 +684,14 @@ "name": "stdout", "output_type": "stream", "text": [ - "Agrégation : 1465 recettes, couverture moyenne d'appariement = 74.1%\n", + "Agrégation : 1465 recettes, couverture moyenne d'appariement = 74.1%" + ] + }, + { + "name": "stdout", + "output_type": "stream", + "text": [ + "\n", " couverture 100% : 226 recettes\n", " couverture >=80% (solveur): 716 recettes\n", " couverture >=50% : 1338 recettes\n", @@ -744,10 +751,10 @@ "id": "e63307b9", "metadata": { "papermill": { - "duration": 0.005511, - "end_time": "2026-09-30T01:02:33.845140+00:00", + "duration": 0.003119, + "end_time": "2026-10-31T20:32:58.343703+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.839629+00:00", + "start_time": "2026-10-31T20:32:58.340584+00:00", "status": "completed" }, "tags": [] @@ -775,16 +782,16 @@ "id": "254ac27c", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:33.857463Z", - "iopub.status.busy": "2026-09-30T01:02:33.856315Z", - "iopub.status.idle": "2026-09-30T01:02:33.885147Z", - "shell.execute_reply": "2026-09-30T01:02:33.883475Z" + "iopub.execute_input": "2026-10-31T20:32:58.354569Z", + "iopub.status.busy": "2026-10-31T20:32:58.354108Z", + "iopub.status.idle": "2026-10-31T20:32:58.372205Z", + "shell.execute_reply": "2026-10-31T20:32:58.371093Z" }, "papermill": { - "duration": 0.036491, - "end_time": "2026-09-30T01:02:33.886147+00:00", + "duration": 0.025643, + "end_time": "2026-10-31T20:32:58.373109+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.849656+00:00", + "start_time": "2026-10-31T20:32:58.347466+00:00", "status": "completed" }, "tags": [] @@ -834,10 +841,10 @@ "id": "72134c54", "metadata": { "papermill": { - "duration": 0.005001, - "end_time": "2026-09-30T01:02:33.896182+00:00", + "duration": 0.004578, + "end_time": "2026-10-31T20:32:58.535581+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.891181+00:00", + "start_time": "2026-10-31T20:32:58.531003+00:00", "status": "completed" }, "tags": [] @@ -864,10 +871,10 @@ "id": "f3ad5249", "metadata": { "papermill": { - "duration": 0.007035, - "end_time": "2026-09-30T01:02:33.908753+00:00", + "duration": 0.004929, + "end_time": "2026-10-31T20:32:58.546586+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.901718+00:00", + "start_time": "2026-10-31T20:32:58.541657+00:00", "status": "completed" }, "tags": [] @@ -884,16 +891,16 @@ "id": "d1629f6c", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:33.923319Z", - "iopub.status.busy": "2026-09-30T01:02:33.923319Z", - "iopub.status.idle": "2026-09-30T01:02:33.934160Z", - "shell.execute_reply": "2026-09-30T01:02:33.933154Z" + "iopub.execute_input": "2026-10-31T20:32:58.558748Z", + "iopub.status.busy": "2026-10-31T20:32:58.558346Z", + "iopub.status.idle": "2026-10-31T20:32:58.570354Z", + "shell.execute_reply": "2026-10-31T20:32:58.569163Z" }, "papermill": { - "duration": 0.020371, - "end_time": "2026-09-30T01:02:33.936164+00:00", + "duration": 0.020022, + "end_time": "2026-10-31T20:32:58.571352+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.915793+00:00", + "start_time": "2026-10-31T20:32:58.551330+00:00", "status": "completed" }, "tags": [] @@ -938,16 +945,16 @@ "id": "ef66fe8f", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:33.949792Z", - "iopub.status.busy": "2026-09-30T01:02:33.948792Z", - "iopub.status.idle": "2026-09-30T01:02:33.971464Z", - "shell.execute_reply": "2026-09-30T01:02:33.970455Z" + "iopub.execute_input": "2026-10-31T20:32:58.583286Z", + "iopub.status.busy": "2026-10-31T20:32:58.582814Z", + "iopub.status.idle": "2026-10-31T20:32:58.606449Z", + "shell.execute_reply": "2026-10-31T20:32:58.604891Z" }, "papermill": { - "duration": 0.031286, - "end_time": "2026-09-30T01:02:33.972464+00:00", + "duration": 0.03189, + "end_time": "2026-10-31T20:32:58.607756+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.941178+00:00", + "start_time": "2026-10-31T20:32:58.575866+00:00", "status": "completed" }, "tags": [] @@ -975,16 +982,16 @@ "id": "316d4d8c", "metadata": { "execution": { - "iopub.execute_input": "2026-09-30T01:02:33.985417Z", - "iopub.status.busy": "2026-09-30T01:02:33.984408Z", - "iopub.status.idle": "2026-09-30T01:02:33.997194Z", - "shell.execute_reply": "2026-09-30T01:02:33.995185Z" + "iopub.execute_input": "2026-10-31T20:32:58.618175Z", + "iopub.status.busy": "2026-10-31T20:32:58.617857Z", + "iopub.status.idle": "2026-10-31T20:32:58.625354Z", + "shell.execute_reply": "2026-10-31T20:32:58.623989Z" }, "papermill": { - "duration": 0.02118, - "end_time": "2026-09-30T01:02:33.998193+00:00", + "duration": 0.014023, + "end_time": "2026-10-31T20:32:58.626666+00:00", "exception": false, - "start_time": "2026-09-30T01:02:33.977013+00:00", + "start_time": "2026-10-31T20:32:58.612643+00:00", "status": "completed" }, "tags": [] @@ -1026,18 +1033,18 @@ "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", - "version": "3.11.9" + "version": "3.13.14" }, "papermill": { "default_parameters": {}, - "duration": 51.975735, - "end_time": "2026-09-30T01:02:34.895325+00:00", + "duration": 9.271757, + "end_time": "2026-10-31T20:32:58.974113+00:00", "environment_variables": {}, "exception": null, "input_path": "Z3-16b-Meal-Planner-Data-External-Python.ipynb", "output_path": "Z3-16b-Meal-Planner-Data-External-Python.ipynb", "parameters": {}, - "start_time": "2026-09-30T01:01:42.919590+00:00", + "start_time": "2026-10-31T20:32:49.702356+00:00", "version": "2.6.0" } },