Participants Info

Name Ximing Fu, Chenhao Wu, Tianshuo Cong, Xiaoyun Wang
Institute

Submission Details

Date 2019/09/19
Type IV
Number of variables (n) 96
Number of equations (m) 64
Seed (0,1,2,3,4) 1
Algorithm A new algorithm
Hardware A cluster of Intel Xeon @ 2.6 Ghz
Running Time 191666 seconds on 500 Cores
Answer v=[v1,…,vn] in Fn [0, 1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Notes A paper describing the method is in preparation. There is no solution if fixing the high 32 bits with zeros, hence the solution was found after exploring 174% of the expected space.