Participants Info

Name Charles Bouillaguet and Julia Sauvage
Institute Sorbonne Université, CNRS, LIP6

Submission Details

Date 2024/07/13
Type IV
Number of variables (n) 102
Number of equations (m) 68
Seed (0,1,2,3,4) 1
Algorithm https://gitlab.lip6.fr/almasty/hpXbred
Hardware Intel Xeon Gold 6240 @ 2.5GHz (5120 cores)
Running Time about 10 hours
Answer v=[v1,…,vn] in Fn [0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1]
Notes The running time is a random variable that follows a geometric law. This run was somewhat "unlucky".