[ 0:01] + divine cc -o testcase.bc /home/xrockai/src/divine/nightly/test/svcomp/systemc/token_ring.02_false.cil.c
[ 0:01] compiling /home/xrockai/src/divine/nightly/test/svcomp/systemc/token_ring.02_false.cil.c
[ 0:01] + divine verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --solver z3 --symbolic --sequential -o nofail:malloc testcase.bc
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:03] booting … done
[ 0:03] searching:     1753 states in  1:00, avg    29.2/s @ 23.4 kips, queued: 6
[ 1:03] searching:     2595 states in  2:00, avg    21.6/s @ 17.0 kips, queued: 14
[ 2:03] searching:     3148 states in  3:00, avg    17.5/s @ 14.3 kips, queued: 16
[ 3:03] searching:     3707 states in  4:00, avg    15.4/s @ 12.0 kips, queued: 18
[ 4:03] searching:     4156 states in  5:00, avg    13.9/s @ 11.0 kips, queued: 20
[ 5:03] searching:     4603 states in  6:00, avg    12.8/s @ 10.6 kips, queued: 26
[ 6:03] searching:     5075 states in  7:00, avg    12.1/s @ 10.0 kips, queued: 28
[ 7:04] searching:     5359 states in  8:00, avg    11.2/s @ 9.0 kips, queued: 30
[ 8:03] searching:     5823 states in  9:00, avg    10.8/s @ 8.6 kips, queued: 30
[ 9:03] states per second: 10.3315
[10:03] state count: 6199
[10:03] mips: 0.0083
[10:03] E: resource exhausted: time limit (600s / 600s)
[10:03] /home/xrockai/src/divine/nightly/test/lib/verify: line 15: 27592 Aborted                 divine "$@"