Participants Info
| Name | Charles Bouillaguet and Julia Sauvage |
|---|---|
| Institute | Sorbonne Université, CNRS, LIP6 |
Submission Details
| Date | 2023/06/20 |
|---|---|
| Type | I |
| Number of variables (n) | 75 |
| Number of equations (m) | 150 |
| 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 | 24518 CPU.h in total (29h on 32 cores + 24.5h on 1024 cores) |
| Answer v=[v1,…,vn] in Fn | [0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 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 64 instances of type VM.Standard.E4.Flex with 16 virtual cores. |