Spinroot

jllang

Member

From: Finland

Registered: 2021-05-05

Posts: 29

Arguments for bitstate hashing

According to the Spin online reference,

-MN
use N Megabytes for bitstate hash array (bitstate mode)
-GN
use N Gigabytes for bitstate hash array (bitstate mode)
-wN
use a hashtable of 2^N entries(defaults to -w23 in bitstate mode and -w19 in exhaustive search mode)

Do these three parameters control the size of the same data structure? I noticed that with -w42 and -G512, pan takes roughly the same amount of memory and in both cases the amount of memory used is reported as "memory used for hash array".

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: Arguments for bitstate hashing

yes they do

jllang

Member

From: Finland

Registered: 2021-05-05

Posts: 29

Re: Arguments for bitstate hashing

Understood. Thanks!