[ 0:01] compiling /home/xrockai/src/divine/nightly/test/weakmem/3.mutex-b.cpp
[ 0:01] states per second: 0.373658
[ 3:54] state count: 77
[ 3:54] mips: 0.23
[ 3:54] relaxed memory: pso:5
[ 3:54] error found: no
[ 3:54] a report was written to verify.out