verify: icb: check: deadlock: ok
verify: icb: check: unreachable: ok
verify: icb: check: livelock: ok
verify: icb: check: deterministic: ok
verify: ising: check: deadlock: ok
verify: ising: check: unreachable: ok
verify: ising: check: livelock: ok
verify: ising: check: deterministic: ok
verify: itop: check: deadlock: ok
verify: itop: check: unreachable: ok
verify: itop: check: livelock: ok
verify: itop: check: deterministic: ok
verify: worker_d: check: deterministic: ok
verify: worker_d: check: illegal: ok
verify: worker_d: check: deadlock: ok
verify: worker_d: check: unreachable: ok
verify: worker_d: check: livelock: ok
verify: worker_d: check: compliance: ok
verify: worker_s: check: deterministic: ok
verify: worker_s: check: illegal: ok
verify: worker_s: check: deadlock: ok
verify: worker_s: check: unreachable: ok
verify: worker_s: check: livelock: ok
verify: worker_s: check: compliance: ok
verify: driver: check: deterministic: ok
verify: driver: check: illegal: ok
verify: driver: check: deadlock: ok
verify: driver: check: unreachable: ok
verify: driver: check: livelock: ok
verify: driver: check: compliance: ok
