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


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


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