EO1

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 -w24):
Model Full Results Max Depth Nr States Nr Transitions Memory StateVector Time Rate
EO1 B24_z20_n1.out 331 10059569 114115850 759.942 2728 699 14382.113
EO1 B24_z20_n2.out 162 10056613 109838300 1130.939 2728 367 27392.5
EO1 B24_z20_n3.out 162 10049214 107120750 1120.171 2728 242 41570.3
EO1 B24_z20_n4.out 162 10065840 105923520 1204.199 2728 179 56233.7
EO1 B24_z20_n5.out 162 10058148 104403590 1223.605 2728 141 71087.3
EO1 B24_z20_n6.out 162 10046370 102280870 1277.458 2728 116 86309
EO1 B24_z20_n7.out 162 10054396 102919360 1274.167 2728 130 77508.4
EO1 B24_z20_n8.out 162 10056715 100772880 1395.846 2728 89.4 112479
Non-Progress (bitstate -w24):
EO1 B24_liveness_n1.out 463 10062695 114802660 728.433 2736 909 11070.68
EO1 B24_liveness_n2.out 463 5522975 60714789 2553.197 2736 607 9103.75

Safety (bitstate -w24):
Model	Full Results	Max Depth	Nr States	Nr Transitions	Memory	StateVector	Time	Rate
EO1	B24_z20_n1.out	331	10059569	114115850	759.942	2728	699	14382.113
EO1	B24_z20_n2.out	162	10056613	109838300	1130.939	2728	367	27392.5
EO1	B24_z20_n3.out	162	10049214	107120750	1120.171	2728	242	41570.3
EO1	B24_z20_n4.out	162	10065840	105923520	1204.199	2728	179	56233.7
EO1	B24_z20_n5.out	162	10058148	104403590	1223.605	2728	141	71087.3
EO1	B24_z20_n6.out	162	10046370	102280870	1277.458	2728	116	86309
EO1	B24_z20_n7.out	162	10054396	102919360	1274.167	2728	130	77508.4
EO1	B24_z20_n8.out	162	10056715	100772880	1395.846	2728	89.4	112479
Non-Progress (bitstate -w24):
EO1	B24_liveness_n1.out	463	10062695	114802660	728.433	2736	909	11070.68
EO1	B24_liveness_n2.out	463	5522975	60714789	2553.197	2736	607	9103.75