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