Participants Info

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

Submission Details

Date 2016/2/24
Type V
Number of variables (n) 24
Number of equationes (m) 16
Seed (0,1,2,3,4) 1
Algorithm M4GB
Hardware 1 x Intel(R) Core(TM) i7-2600K CPU @ 3.40GHz, 16GiB RAM
Running Time 33467 seconds
Answer v=[v1,…,vn] in Fn [46, 0C, 42, 10, 26, 4F, 43, 31, C4, 9D, 34, 55, 3A, C9, 39, 3F, D4, 3A, 88, E5, 05, 17, 2D, 4B]
Notes Strategy: guess 1 more variable, run 8 processes simultaneously