NVDS

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):
Model Full Results Max Depth Nr States Nr Transitions Memory StateVector Time Rate
NVDS Bw30_n1.out 1550 247390910 392011260 129.239 180 565 437534.78
NVDS Bw30_n2.out 27 131226940 158491800 256.654 180 216 608885
NVDS Bw30_n3.out 27 94137249 128843590 320.654 180 102 925728
NVDS Bw30_n4.out 27 198953780 251039730 384.654 180 184 1.07933e+06
NVDS Bw30_n5.out 27 176676980 239290540 448.654 180 145 1.21436e+06
NVDS Bw30_n6.out 27 225308640 297042200 512.655 180 170 1.32293e+06
NVDS Bw30_n7.out 27 226218540 311040050 576.655 180 159 1.42258e+06
NVDS Bw30_n8.out 27 242669700 327424900 640.655 180 171 1.41779e+06
Non-Progress (bitstate -w30):
NVDS Bw30_liveness_n1.out 1500 294207780 561547570 5469.358 180 963 305394.37
NVDS Bw30_liveness_n2.out 1492 294757070 562563420 5597.749 180 1.13e+03 261381

Safety (bitstate -w30):
Model	Full Results	Max Depth	Nr States	Nr Transitions	Memory	StateVector	Time	Rate
NVDS	Bw30_n1.out	1550	247390910	392011260	129.239	180	565	437534.78
NVDS	Bw30_n2.out	27	131226940	158491800	256.654	180	216	608885
NVDS	Bw30_n3.out	27	94137249	128843590	320.654	180	102	925728
NVDS	Bw30_n4.out	27	198953780	251039730	384.654	180	184	1.07933e+06
NVDS	Bw30_n5.out	27	176676980	239290540	448.654	180	145	1.21436e+06
NVDS	Bw30_n6.out	27	225308640	297042200	512.655	180	170	1.32293e+06
NVDS	Bw30_n7.out	27	226218540	311040050	576.655	180	159	1.42258e+06
NVDS	Bw30_n8.out	27	242669700	327424900	640.655	180	171	1.41779e+06
Non-Progress (bitstate -w30):
NVDS	Bw30_liveness_n1.out	1500	294207780	561547570	5469.358	180	963	305394.37
NVDS	Bw30_liveness_n2.out	1492	294757070	562563420	5597.749	180	1.13e+03	261381