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