Floating point exception #1
Description
papilo have Floating point exception when use default configuration defaultMIP w.r.t large integer file ../test/dec/32array_alg_ineq5.opb
{{ message }}
papilo have Floating point exception when use default configuration defaultMIP w.r.t large integer file ../test/dec/32array_alg_ineq5.opb