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