Abnormal termination by signal 11
It is reported that NaPS terminates with signal 11 in some occation:
- Version 1.02b1 or master on Nov. 20th 2019,
- small-integer binary compiled by 'make rx',
- compiled with gcc 7.4.0 in Linux, AND
- some problem instances (shown one of them below).
- BigNum version compiled by 'make rs', or
- Compile with gcc with versions 8<.