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