Participants Info

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

Submission Details

Date 2019/11/13
Type IV
Number of variables (n) 99
Number of equations (m) 66
Seed (0,1,2,3,4) 1
Algorithm A new algorithm
Hardware A cluster of Intel Xeon @ 2.6 Ghz
Running Time 1190 hours on 500 cores
Answer v=[v1,…,vn] in Fn [0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 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]
Notes A paper describing the method is in preparation. The solution was found after exploring about 8 times the expected space.