Full Results | Max Depth | Nr States | Nr Transitions | Memory | State Vector | Time | Rate |
Safety (default compilation): | |||||||
single core default | 292086 | 32898808 | 105042340 | 2025.159 | 92 | 179 | 184245 |
dual core default | 135954 | 32898808 | 105042340 | 2649.946 | 92 | 110 | 298700 |
dual core tuned | 78597 | 32898808 | 105042340 | 2649.946 | 92 | 113 | 291811 |
Safety (optimized -O2): | |||||||
single core default | 292086 | 32898808 | 105042340 | 2793.159 | 100 | 94.6 | 347694 |
dual core default | 145876 | 32898808 | 105042340 | 3182.970 | 100 | 67.4 | 487968 |
dual core tuned | 89069 | 32898808 | 105042340 | 3182.970 | 100 | 60.4 | 544412 |
Liveness (default compilation): | |||||||
single core default | 292414 | 33477332 | 198857380 | 3059.571 | 100 | 357 | 175450 |
dual core default | 292090 | 32898809 | 210135390 | 5107.571 | 100 | 198 | 332950 |
Liveness (optimized -O2): | |||||||
single core default | 292414 | 33477332 | 198857380 | 3059.571 | 100 | 189 | 332312 |
dual core default | 292090 | 32898809 | 210135390 | 5107.571 | 100 | 112 | 585076 |