Participants Info

Name Rusydi Makarim, Marc Stevens
Institute Leiden Mathematical Institute & CWI Amsterdam

Submission Details

Date 2016/2/29
Type VI
Number of variables (n) 27
Number of equationes (m) 18
Seed (0,1,2,3,4) 0
Algorithm M4GB
Hardware 1 x Intel(R) Xeon(R) CPU E5-2650 v3 @ 2.30GHz, 128GiB RAM
Running Time 113,323 seconds (1 day, 7 hours, 28 minutes and 43 seconds)
Answer v=[v1,…,vn] in Fn [19, 19, 20, 30, 13, 12, 6, 11, 3, 16, 12, 14, 29, 29, 26, 0, 13, 11, 20, 17, 1, 11, 30, 11, 14, 2, 24]
Notes Strategy : Guess the last 10 variables, run 10 simultaneous processes.