/export/starexec/sandbox2/solver/bin/starexec_run_loat_nonterm_proofout /export/starexec/sandbox2/benchmark/theBenchmark.smt2 /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


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