Participants Info

Name Takuma Ito, Naoyuki Shinohara, Shigenori Uchiyama
Institute National Institute of Information and Communications Technology, Tokyo Metropolitan University

Submission Details

Date 2019/06/27
Type III
Number of variables (n) 37
Number of equations (m) 74
Seed (0,1,2,3,4) 1
Algorithm F4-style based algorithm to solve MQ problems
Hardware 4 x Intel(R) Xeon(R) CPU E5-4669 v4, 2.20GHz, 1TB RAM
Running Time 56 days 1 hour 33 minutes
Answer v=[v1,…,vn] in Fn       [18, 13, 23, 8, 2, 23, 21, 3, 12, 0, 14, 0, 5, 30, 2, 2, 29, 21, 11, 12, 16, 19, 30, 12, 14, 5, 27, 30, 4, 25, 13, 29, 21, 9, 3, 22, 8]
Notes