Participants Info
Name | Rusydi Makarim, Marc Stevens |
---|---|
Institute | Leiden Mathematical Institute & CWI Amsterdam |
Submission Details
Date | 2017/7/10 |
---|---|
Type | VI |
Number of variables (n) | 30 |
Number of equationes (m) | 20 |
Seed (0,1,2,3,4) | 0 |
Algorithm | M4GB |
Hardware | 2 x Intel(R) Xeon(R) CPU E5-2650 v3 @ 2.30GHz, 256GiB RAM |
Running Time | 11 days 7 hours 40 minutes and 32 seconds (978,032 seconds) |
Answer v=[v1,…,vn] in Fn | [11, 4, 28, 8, 10, 20, 26, 20, 30, 28, 0, 13, 26, 2, 22, 9, 8, 26, 7, 6, 9, 26, 24, 15, 22, 18, 12, 3, 11, 13] |
Notes | Strategy : Guess the last 12 variables. Run 18 simultaneous processes with 2 threads each. |