syrup:2016 fails with Floating point exception

[pauleve]

python satex.py test syrup:2016

+ Testing with CNF /home/runner/work/docker-images/docker-images/tests/aim-200-1_6-yes1-1.cnf
+ Testing syrup:2016
+ docker run --name satex14776 --rm -e TIMEOUT=10 -v /home/runner/work/docker-images/docker-images/tests:/data satex/syrup:2016 aim-200-1_6-yes1-1.cnf
cnf...#### syrup:2016 ####
+ cd /solvers/syrup
+ set +x
+ timeout 10 ./glucose-syrup /data/aim-200-1_6-yes1-1.cnf
timeout: the monitored command dumped core
/entrypoint.sh: line 32:    18 Floating point exceptiontimeout ${TIMEOUT} "${SOLVER_CALL}" "${@}"
ERROR Solver failed with return code 136

Related to #18 ?