/export/starexec/sandbox/solver/bin/starexec_run_loat_nonterm_proofout: line 4: 55425 Segmentation fault      (core dumped) ./loat-static --plain --proof-level 1 --timeout $TO --nonterm $1 2> /dev/null