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