Participants Info

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

Submission Details

Date 2019/09/06
Type I
Number of variables (n) 55
Number of equations (m) 110
Seed (0,1,2,3,4) 1
Algorithm A new algorithm
Hardware A single PC of Intel i9-7900X @ 3.30 GHz
Running Time 517 seconds on 20 cores
Answer v=[v1,…,vn] in Fn [1,1,1,0,1,0,0,0,0,0,0,1,1,1,0,0,1,1,1,0,1,0,0,0,0,1,1,1,0,1,1,1,1,1,1,1,1,0,0,1,0,0,1,0,1,1,1,1,1,0,1,1,1,0,1]
Notes A paper describing the method is prepared. The total space can be explored in 1374.6 seconds.