[ 0:01]   | load /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec4_product33_false.cil.c email_spec4_product33_false.cil.c
[ 0:01]   | expect --result error --location email_spec4_product33_false.cil.c:411
[ 0:01]   | expect --trace FAULT: --trace-count 1
[ 0:01]   | cc -o testcase.bc email_spec4_product33_false.cil.c
[ 0:01]   | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --solver z3 --symbolic -o nofail:malloc -o ignore:control testcase.bc
[ 0:01] compiling email_spec4_product33_false.cil.c
[ 0:01] email_spec4_product33_false.cil.c:45: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_spec4_product33_false.cil.c:45: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:05] booting … done
[ 0:06] searching:       26 states in  1:00, avg     0.4/s @ 53.1 kips, queued: 0
[ 1:06] searching:       26 states in  2:00, avg     0.2/s @ 61.7 kips, queued: 0
[ 2:06] searching:      139 states in  3:00, avg     0.8/s @ 72.7 kips, queued: 0
[ 3:06] searching:      139 states in  4:00, avg     0.6/s @ 80.0 kips, queued: 0
[ 4:06] searching:      287 states in  5:00, avg     1.0/s @ 85.6 kips, queued: 4
[ 5:06] searching:      436 states in  6:00, avg     1.2/s @ 94.2 kips, queued: 8
[ 6:06] searching:      436 states in  7:00, avg     1.0/s @ 98.7 kips, queued: 8
[ 7:06] searching:      584 states in  8:00, avg     1.2/s @ 104.2 kips, queued: 12
[ 8:06] searching:      732 states in  9:00, avg     1.4/s @ 107.8 kips, queued: 16
[ 9:06] searching:      880 states in 10:00, avg     1.5/s @ 111.7 kips, queued: 20
[10:06] states per second: 1.46665
[10:06] state count: 880
[10:06] mips: 0.11
[10:06] E: resource exhausted: time limit (600s / 600s)