| Full Results | Max Depth | Nr States | Nr Transitions | Memory | State Vector | Time | Rate |
| Safety (default compilation): | |||||||
| single core default | 26294 | 1640881 | 16091906 | 133.437 | 156 | 26.2 | 62510 |
| dual core default | 18159 | 1640881 | 16091906 | 224.343 | 156 | 17 | 96750 |
| Safety (optimized -O2): | |||||||
| single core default | 26294 | 1640881 | 16091906 | 133.437 | 156 | 14 | 117542 |
| dual core default | 16902 | 1640881 | 16091906 | 261.623 | 156 | 10.2 | 160556 |
| dual core tuned | 20473 | 1640881 | 16091906 | 261.623 | 156 | 9.66 | 169863 |
| Liveness (default compilation): | |||||||
| single core default | 26294 | 2197506 | 15046425 | 243.082 | 164 | 44.4 | 49460 |
| dual core default | 27449 | 1640881 | 25832034 | 373.371 | 164 | 36.2 | 90532 |
| Liveness (optimized -O2): | |||||||
| single core default | 26294 | 2197506 | 15046425 | 243.082 | 164 | 23.4 | 93830 |
| dual core default | 27449 | 1640881 | 25832034 | 373.371 | 164 | 21.9 | 149715 |