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 (bitstate -w30):
ModelFull ResultsMax DepthNr StatesNr TransitionsMemoryStateVectorTimeRate
NVDSBw30_n1.out1550247390910392011260129.239180565437534.78
NVDSBw30_n2.out27131226940158491800256.654180216608885
NVDSBw30_n3.out2794137249128843590320.654180102925728
NVDSBw30_n4.out27198953780251039730384.6541801841.07933e+06
NVDSBw30_n5.out27176676980239290540448.6541801451.21436e+06
NVDSBw30_n6.out27225308640297042200512.6551801701.32293e+06
NVDSBw30_n7.out27226218540311040050576.6551801591.42258e+06
NVDSBw30_n8.out27242669700327424900640.6551801711.41779e+06
Non-Progress (bitstate -w30):
NVDSBw30_liveness_n1.out15002942077805615475705469.358180963305394.37
NVDSBw30_liveness_n2.out14922947570705625634205597.7491801.13e+03261381