[ 0:01] -o ignore:control --symbolic --sequential [ 0:01] compiling /home/xrockai/src/divine/nightly/test/svcomp/bitvector/s3_srvr_2_true.BV.c.cil.c [ 0:01] states per second: 1.48282 [ 1:20] state count: 56 [ 1:20] mips: 0.031 [ 1:20] symbolic: 1 [ 1:20] error found: no [ 1:20] a report was written to verify.out