[ 0:00] compiling /home/xrockai/src/divine/nightly/test/verify/2.std-98.cpp [ 0:00] states per second: 1.95027 [ 0:14] state count: 4 [ 0:14] mips: 0.29 [ 0:14] error found: no [ 0:14] a report was written to verify.out