Full Results | Max Depth | Nr States | Nr Transitions | Memory | State Vector | Time | Rate |
Safety (default compilation): | |||||||
single core default | 1431693 | 10571923 | 39645809 | 1484.639 | 44 | 33.5 | 315768 |
dual core default | 26 | 10571923 | 39645809 | 1785.364 | 44 | 27.7 | 381520 |
dual core tuned | 26 | 10571923 | 39645809 | 1421.998 | 44 | 25.1 | 421360 |
Safety (optimized -O2): | |||||||
single core default | 1431693 | 10571923 | 39645809 | 1484.639 | 44 | 18.4 | 574873 |
dual core default | 286 | 10571923 | 39645809 | 1555.385 | 44 | 17.1 | 619328 |
dual core tuned | 286 | 10571923 | 39645809 | 1555.385 | 44 | 15.6 | 677253 |
Liveness (default compilation): | |||||||
single core default | 1431693 | 10862240 | 73368178 | 1252.527 | 52 | 72.8 | 272656 |
dual core default | 1431693 | 10571923 | 78442883 | 2157.509 | 52 | 48.6 | 430850 |
Liveness (optimized -O2): | |||||||
single core default | 1431693 | 10862240 | 73368178 | 1252.527 | 52 | 38.5 | 515104 |
dual core default | 1431693 | 10571923 | 78442883 | 2157.509 | 52 | 29.4 | 712752 |