Participants Info
Name | Kai-Chun Ning, Ruben Niederhagen |
---|---|
Institute | TU Eindhoven, Fraunhofer SIT |
Submission Details
Date | 2017/11/14 |
---|---|
Type | I |
Number of variables (n) | 67 |
Number of equations (m) | 134 |
Seed (0,1,2,3,4) | 4 |
Algorithm | Parallel Crossbred |
Hardware | one Nvidia GTX 980 graphics card |
Running Time | 58.10 hours |
Answer v=[v1,…,vn] in Fn | [1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 1] |
Notes | Maximal runtime: 98.39 hours. For the master thesis and the implementation, see https://github.com/kcning/mqsolver. A paper is being prepared. |