Participants Info
| Name | Kosuke Sakata, Tsuyoshi Takagi |
|---|---|
| Institute | The University of Tokyo |
Submission Details
| Date | 2025/10/16 |
|---|---|
| Type | VI |
| Number of variables (n) | 34 |
| Number of equationes (m) | 23 |
| 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 | 1,857,440 secconds (21 days 11 hours 57 minutes) |
| Answer v=[v1,…,vn] in Fn | [ 30, 1, 11, 30, 27, 15, 0, 22, 0, 29, 28, 3, 24, 9, 12, 28, 14, 24, 21, 28, 12, 18, 7, 22, 10, 21, 20, 16, 13, 27, 14, 31, 16, 12] |
| Notes | We guessed 13 variables and executed one instance using 32 threads. A solution was found after solving 707 instances in total. The average wall-clock time for solving one instance was approximately 19,972 seconds. |