[ 0:01] compiling /home/xrockai/src/divine/nightly/test/posix/4.fs-rmmkdir-03.valid.cpp
[ 0:01] states per second: 5.49128
[ 2:13] state count: 654
[ 2:13] mips: 0.32
[ 2:13] error found: no
[ 2:13] a report was written to verify.out