[ 0:00] compiling /home/xrockai/src/divine/nightly/test/abstract/formula.cpp
[ 0:00] states per second: 596.694
[ 0:37] state count: 361
[ 0:37] mips: 0.18
[ 0:37] error found: no
[ 0:37] a report was written to verify.out