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.