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