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):
ModelFull ResultsMax DepthNr StatesNr TransitionsMemoryStateVectorTimeRate
EO1B24_z20_n1.out33110059569114115850759.942272869914382.113
EO1B24_z20_n2.out162100566131098383001130.939272836727392.5
EO1B24_z20_n3.out162100492141071207501120.171272824241570.3
EO1B24_z20_n4.out162100658401059235201204.199272817956233.7
EO1B24_z20_n5.out162100581481044035901223.605272814171087.3
EO1B24_z20_n6.out162100463701022808701277.458272811686309
EO1B24_z20_n7.out162100543961029193601274.167272813077508.4
EO1B24_z20_n8.out162100567151007728801395.846272889.4112479
Non-Progress (bitstate -w24):
EO1B24_liveness_n1.out46310062695114802660728.433273690911070.68
EO1B24_liveness_n2.out4635522975607147892553.19727366079103.75