Participants Info
Name | Charles Bouillaguet and Julia Sauvage |
---|---|
Institute | Sorbonne Université, CNRS, LIP6 |
Submission Details
Date | 2024/07/27 |
---|---|
Type | IV |
Number of variables (n) | 114 |
Number of equations (m) | 76 |
Seed (0,1,2,3,4) | 0 |
Algorithm | https://gitlab.lip6.fr/almasty/hpXbred |
Hardware | 20480 Intel Xeon Gold 6248 cores on the jean-zay computer @ IDRIS |
Running Time | 346670 CPU.h (21.5h wall-clock time) |
Answer v=[v1,…,vn] in Fn | [1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1] |
Notes | We did only 75134 trials (524288 expected, geometric law). Each trial requires about 5h. The computation was done at IDRIS (https://http://www.idris.fr/jean-zay/). |