[ 0:00] -o ignore:control --symbolic --sequential
[ 0:00] compiling /home/xrockai/src/divine/nightly/test/svcomp/bitvector/s3_srvr_1_alt_true.BV.c.cil.c
[ 0:00] states per second: 35.7143
[ 0:43] state count: 1
[ 0:43] mips: 0.23
[ 0:43] symbolic: 1
[ 0:43] error found: no
[ 0:43] a report was written to verify.out