Participants Info
| Name | Charles Bouillaguet and Julia Sauvage |
|---|---|
| Institute | Sorbonne Université, CNRS, LIP6 |
Submission Details
| Date | 2024/07/23 |
|---|---|
| Type | IV |
| Number of variables (n) | 112 |
| Number of equations (m) | 75 |
| 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 | 144K CPU.h (about 7h wall-clock time) |
| Answer v=[v1,…,vn] in Fn | [0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0] |
| Notes | We did only 58151 trials (524288 expected, geometric law). Each trial requires about 8340s. The computation was done at IDRIS (https://http://www.idris.fr/jean-zay/). |