[ 0:01]   | load /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec27_product18_false.cil.c email_spec27_product18_false.cil.c
[ 0:01]   | expect --result error --location email_spec27_product18_false.cil.c:2895
[ 0:01]   | expect --trace FAULT: --trace-count 1
[ 0:01]   | cc -o testcase.bc email_spec27_product18_false.cil.c
[ 0:01]   | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --solver stp --symbolic -o nofail:malloc -o ignore:control testcase.bc
[ 0:01] compiling email_spec27_product18_false.cil.c
[ 0:01] email_spec27_product18_false.cil.c:360:44: warning: incompatible redeclaration of library function 'malloc'
[ 0:01] extern  __attribute__((__nothrow__)) void *malloc(size_t __size )  __attribute__((__malloc__)) ;
[ 0:01]                                            ^
[ 0:01] email_spec27_product18_false.cil.c:360:44: note: 'malloc' is a builtin with type 'void *(unsigned long)'
[ 0:01] 1 warning generated.
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:11] booting … done
[ 0:12] searching:      410 states in  1:00, avg     6.8/s @ 289.3 kips, queued: 18
[ 1:11] searching:     1308 states in  2:00, avg    10.9/s @ 387.4 kips, queued: 44
[ 2:12] searching:     2216 states in  3:00, avg    12.3/s @ 428.7 kips, queued: 72
[ 3:11] searching:     3188 states in  4:00, avg    13.3/s @ 446.0 kips, queued: 100
[ 4:11] searching:     4086 states in  5:00, avg    13.6/s @ 455.7 kips, queued: 128
[ 5:11] searching:     5223 states in  6:00, avg    14.5/s @ 464.2 kips, queued: 150
[ 6:11] searching:     6819 states in  7:00, avg    16.2/s @ 461.0 kips, queued: 164
[ 7:12] searching:     6819 states in  8:00, avg    14.2/s @ 403.3 kips, queued: 164
[ 8:11] searching:     6819 states in  9:00, avg    12.6/s @ 358.5 kips, queued: 164
[ 9:12] searching:     6819 states in 10:00, avg    11.4/s @ 322.7 kips, queued: 164
[10:12] states per second: 11.3648
[10:12] state count: 6819
[10:12] mips: 0.32