Spinroot

A forum for Spin users

You are not logged in.

#1 2021-05-09 18:21:00

jllang
Member
From: Finland
Registered: 2021-05-05
Posts: 27

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".

Offline

#2 2021-05-10 20:39:59

spinroot
forum
Registered: 2010-11-18
Posts: 694
Website

Re: Arguments for bitstate hashing

yes they do

Offline

#3 2021-05-12 09:17:35

jllang
Member
From: Finland
Registered: 2021-05-05
Posts: 27

Re: Arguments for bitstate hashing

Understood. Thanks!

Offline

Board footer

Powered by FluxBB