Participants Info

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

Submission Details

Date 2016/2/24
Type VI
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 4323 seconds
Answer v=[v1,…,vn] in Fn [30, 9, 25, 25, 23, 22, 25, 18, 4, 25, 23, 30, 26, 13, 19, 14, 30, 29, 6, 0, 3, 14, 23, 23]
Notes Strategy: guess 1 more variable, run 8 processes simultaneously