Participants Info
| Name | Kosuke Sakata, Tsuyoshi Takagi |
|---|---|
| Institute | The University of Tokyo |
Submission Details
| Date | 2025/10/16 |
|---|---|
| Type | VI |
| Number of variables (n) | 36 |
| Number of equationes (m) | 24 |
| Seed (0,1,2,3,4) | 0 |
| Algorithm | HDF4 (F4 with the Hilbert-driven algorithm) and MF4 (F4 with the Mutant algorithm) |
| Hardware | 4 × AMD EPYC 7763 |
| Running Time | 994,320 secconds (11 days 12 hours 12 minutes) |
| Answer v=[v1,…,vn] in Fn | [ 15, 12, 29, 19, 14, 16, 28, 28, 22, 22, 9, 11, 0, 4, 4, 10, 18, 1, 29, 27, 22, 9, 27, 23, 14, 15, 14, 20, 19, 3, 10, 23, 1, 14, 7, 9] |
| Notes | We guessed 15 variables and executed one instance using 16 threads. A solution was found after solving 2011 instances in total. The average wall-clock time for solving one instance was approximately 7,830 seconds. |