[ 0:01]   | load /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec27_product34_false.cil.c email_spec27_product34_false.cil.c
[ 0:01]   | expect --result error --location email_spec27_product34_false.cil.c:2409
[ 0:01]   | expect --trace FAULT: --trace-count 1
[ 0:01]   | cc -o testcase.bc email_spec27_product34_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_product34_false.cil.c
[ 0:01] email_spec27_product34_false.cil.c:2418: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_product34_false.cil.c:2418: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:04] booting … done
[ 0:04] searching:      954 states in  1:00, avg    15.9/s @ 477.6 kips, queued: 22
[ 1:04] searching:     2141 states in  2:00, avg    17.8/s @ 0.5 mips, queued: 62
[ 2:04] searching:     3549 states in  3:00, avg    19.7/s @ 0.6 mips, queued: 104
[ 3:04] searching:     4957 states in  4:00, avg    20.7/s @ 0.6 mips, queued: 150
[ 4:05] searching:     7947 states in  5:00, avg    26.5/s @ 0.6 mips, queued: 178
[ 5:04] searching:    13781 states in  6:00, avg    38.3/s @ 0.6 mips, queued: 184
[ 6:05] searching:    72928 states in  7:00, avg   173.6/s @ 0.6 mips, queued: 182
[ 7:04] searching:    79172 states in  8:00, avg   164.9/s @ 0.6 mips, queued: 202
[ 8:04] searching:    79172 states in  9:00, avg   146.6/s @ 0.5 mips, queued: 202
[ 9:04] searching:    79172 states in 10:00, avg   132.0/s @ 461.3 kips, queued: 202
[10:04] states per second: 131.952
[10:04] state count: 79172
[10:04] mips: 0.46