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.