Participants Info
Name | Rusydi Makarim, Marc Stevens |
---|---|
Institute | Leiden Mathematical Institute & CWI Amsterdam |
Submission Details
Date | 2017/10/25 |
---|---|
Type | V |
Number of variables (n) | 28 |
Number of equationes (m) | 19 |
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 | 478,239 seconds (Average CPU time for one subsystem) |
Answer v=[v1,…,vn] in Fn | [F0, E2, 62, D7, 7F, A7, B3, 72, 51, 91, AD, 89, 57, F3, E6, 42, 4C, 63, C2, 16, FA, 6B, 54, 9B, 10, 62, C3, 34] |
Notes | Strategy : hybrid approach by substituting the last 10 variables. A solution is found after went through 184 out of 256 subsystems.
We run six simultaneous processes with 4 threads each. Total CPU time : 87995988.25 seconds Average wall-clock time for one subsystem : 54 hours |