The number following the "_n" indicates the number of CPU cores used.
(1 being a single-core run and 8 a run using all 8-cores on the test system).

Safety (hashcompact hc4):
ModelFull ResultsMax DepthNr StatesNr TransitionsMemoryStateVectorTimeRate
Gurdaghc4_n1.out597084601780380140907230014842.4829642.14e+03280833
Gurdaghc4_n2.out5007590134050137181030019162.7019641.37e+03431032
Gurdaghc4_n3.out5007590146520137182170019227.277964992595002
Gurdaghc4_n4.out5007590154450137182460019291.714964819720447
Gurdaghc4_n5.out5007590148740137187640019355.735964764772780
Gurdaghc4_n6.out5007590161580137191550019420.322964708833514
Gurdaghc4_n7.out5007590071330137138520019481.764964616958546
Gurdaghc4_n8.out5007590075440137140080019546.084964654902201
Non-Progress (bitstate -w30):
GurdagB30_np_n1.out11017541700192403482708005957.9329721.91e+0388923
GurdagB30_np_n2.out23133841533181520289719860016269.3319721.32e+0440402
Never Claim (bitstate -w30):
GurdagB30_liveness_n1.out11017541564591103421456805957.9329721.67e+0393665
GurdagB30_liveness_n2.out23139169517104380278741100015812.3979721.02e+0450631