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 7742, 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. |