Participants Info
| Name | Kosuke Sakata, Tsuyoshi Takagi |
|---|---|
| Institute | The University of Tokyo |
Submission Details
| Date | 2023/10/23 |
|---|---|
| Type | VI |
| Number of variables (n) | 31 |
| Number of equationes (m) | 21 |
| Seed (0,1,2,3,4) | 0 |
| Algorithm | F4 based on Hilbert-driven algorithm |
| Hardware | AMD EPYC 7742, 2TB RAM |
| Running Time | 31671 seconds (8 hours 47 minutes 51 seconds) |
| Answer v=[v1,…,vn] in Fn | [4, 1, 15, 29, 9, 26, 9, 25, 1, 14, 0, 8, 12, 21, 10, 2, 1, 30, 21, 13, 24, 15, 15, 17, 16, 28, 18, 15, 5, 13, 24] |
| Notes | We guessed 11 variables and ran 4 simultaneous processes with 16 threads each. A solution was found after solving 4 subsystems. The average wall-clock time for solving one subsystem is 30864 seconds. We used F4 with a strategy based on the idea of Hilbert-driven algorithm. |