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) | 61 |
Number of equations (m) | 122 |
Seed (0,1,2,3,4) | 4 |
Algorithm | Parallel Crossbred |
Hardware | one Nvidia GTX 980 graphics card |
Running Time | 1.68 hours |
Answer v=[v1,…,vn] in Fn | [0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0] |
Notes | Maximal runtime: 3.13 hours. For the thesis and the implementation, see https://github.com/kcning/mqsolver. A paper is being prepared. |