[ 0:00] --symbolic [ 0:00] compiling /home/xrockai/src/divine/nightly/test/abstract/sym-array-a.cpp [ 0:00] states per second: 20.7254 [ 0:59] state count: 4 [ 0:59] mips: 0.27 [ 0:59] symbolic: 1 [ 0:59] error found: no [ 0:59] a report was written to verify.out