Participants Info
| Name | Charles Bouillaguet and Julia Sauvage |
|---|---|
| Institute | Sorbonne Université, CNRS, LIP6 |
Submission Details
| Date | 2023/09/16 |
|---|---|
| Type | I |
| Number of variables (n) | 83 |
| Number of equations (m) | 166 |
| Seed (0,1,2,3,4) | 0 |
| Algorithm | https://gitlab.lip6.fr/almasty/hpXbred |
| Hardware | 3488 AMD EPYC 7J13 cores on the Oracle public cloud |
| Running Time | 805000 CPU.h (146h on 1024 cores + 188h on 3488 cores) |
| Answer v=[v1,…,vn] in Fn | [0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0] |
| Notes | 27% of the search space was explored. Going to 100% would have required 2.5M CPU.hours in total. The computation was done on the Oracle public cloud, using Oracle Cloud credits and related resources provided by the Oracle for Research program. It used 218 instances of type VM.Standard.E4.Flex with 16 virtual cores. |