test script, #42: fast mode, timeouts, abnormal status, clearline
test script, #42: fast mode, timeouts, abnormal status, clearline

-f for fast mode
default timeout is 5 seconds

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer