[ 0:01] --symbolic --sequential -o nofail:malloc
[ 0:01] compiling /var/obj/divine-nightly/semidbg/test/_expand/svcomp/array/standard_copy5_true.pkg.c/v.1000.c
[ 0:01] states per second: 15.2857
[ 4:26] state count: 3503
[ 4:26] mips: 0.025
[ 4:26] symbolic: 1
[ 4:26] error found: no
[ 4:26] a report was written to verify.out