Participants Info
Name | Charles Bouillaguet and Julia Sauvage |
---|---|
Institute | Sorbonne Université, CNRS, LIP6 |
Submission Details
Date | 2024/07/13 |
---|---|
Type | IV |
Number of variables (n) | 102 |
Number of equations (m) | 68 |
Seed (0,1,2,3,4) | 1 |
Algorithm | https://gitlab.lip6.fr/almasty/hpXbred |
Hardware | Intel Xeon Gold 6240 @ 2.5GHz (5120 cores) |
Running Time | about 10 hours |
Answer v=[v1,…,vn] in Fn | [0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1] |
Notes | The running time is a random variable that follows a geometric law. This run was somewhat "unlucky". |