Participants Info
| Name | Charles Bouillaguet and Julia Sauvage |
|---|---|
| Institute | Sorbonne Université, CNRS, LIP6 |
Submission Details
| Date | 2024/07/11 |
|---|---|
| Type | IV |
| Number of variables (n) | 90 |
| Number of equations (m) | 60 |
| Seed (0,1,2,3,4) | 2 |
| Algorithm | https://gitlab.lip6.fr/almasty/hpXbred |
| Hardware | Intel Xeon Gold 6240 @ 2.5GHz (40 cores) |
| Running Time | 100 CPU.H |
| Answer v=[v1,…,vn] in Fn | [1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0] |
| Notes | The solution was found after 1/3 of the expected effort. |