Participants Info

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

Submission Details

Date 2024/07/27
Type IV
Number of variables (n) 114
Number of equations (m) 76
Seed (0,1,2,3,4) 0
Algorithm https://gitlab.lip6.fr/almasty/hpXbred
Hardware 20480 Intel Xeon Gold 6248 cores on the jean-zay computer @ IDRIS
Running Time 346670 CPU.h (21.5h wall-clock time)
Answer v=[v1,…,vn] in Fn [1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1]
Notes We did only 75134 trials (524288 expected, geometric law). Each trial requires about 5h. The computation was done at IDRIS (https://http://www.idris.fr/jean-zay/).