[ 0:01]   | load /home/xrockai/src/divine/nightly/test/weakmem/lockfree/spsc_queue_intel.cpp spsc_queue_intel.cpp
[ 0:01]   | expect --result valid
[ 0:01]   | cc -o testcase.bc -std=c++14 -DNUM_DISTINCT=5 -DNUM_ELEMS=5 spsc_queue_intel.cpp
[ 0:01]   | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out -o nofail:malloc --relaxed-memory tso testcase.bc
[ 0:01] compiling spsc_queue_intel.cpp
[ 0:01] loading bitcode … DiOS … LART … RR … constants … done
[ 0:06] booting … done
[ 0:07] searching:      562 states in  1:00, avg     9.4/s @ 0.5 mips, queued: 2
[ 1:06] searching:     1034 states in  2:00, avg     8.6/s @ 0.5 mips, queued: 4
[ 2:07] searching:     1607 states in  3:00, avg     8.9/s @ 0.6 mips, queued: 6
[ 3:06] searching:     2187 states in  4:00, avg     9.1/s @ 0.6 mips, queued: 2
[ 4:06] states per second: 9.14582
[ 4:46] state count: 2562
[ 4:46] mips: 0.62
[ 4:46] relaxed memory: tso
[ 4:46] error found: no