Participants Info
| Name | Charles Bouillaguet and Julia Sauvage |
|---|---|
| Institute | Sorbonne Université, CNRS, LIP6 |
Submission Details
| Date | 2023/06/24 |
|---|---|
| Type | I |
| Number of variables (n) | 76 |
| Number of equations (m) | 152 |
| Seed (0,1,2,3,4) | 0 |
| Algorithm | https://gitlab.lip6.fr/almasty/hpXbred |
| Hardware | 1024 AMD EPYC 7J13 cores on the Oracle public cloud |
| Running Time | 32700 CPU.h in total (54.5h on 128 cores + 25h on 1024 cores) |
| Answer v=[v1,…,vn] in Fn | [0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0] |
| Notes | 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 8, then 64 instances of type VM.Standard.E4.Flex with 16 virtual cores. |