Full Results | Max Depth | Nr States | Nr Transitions | Memory | State Vector | Time | Rate |
Safety (default compilation): | |||||||
single core default | 2077426 | 11876485 | 25239211 | 889.617 | 68 | 37.5 | 316622 |
dual core default | 1232164 | 11876485 | 25239211 | 1206.344 | 68 | 29.6 | 400962 |
dual core tuned | 110 | 11876485 | 25239211 | 1194.332 | 68 | 24.8 | 479858 |
Safety (optimized -O2): | |||||||
single core default | 2077426 | 11876485 | 25239211 | 889.617 | 68 | 19.7 | 603787 |
dual core default | 330 | 11876485 | 25239211 | 1013.111 | 68 | 13.4 | 883667 |
dual core tuned | 330 | 11876485 | 25239211 | 1013.111 | 68 | 15.1 | 789135 |
Liveness (default compilation): | |||||||
single core default | 2077426 | 12004103 | 42817791 | 1193.112 | 76 | 74.9 | 277661 |
dual core default | 2077426 | 11876485 | 50656410 | 2793.112 | 76 | 58.5 | 405687 |
Liveness (optimized -O2): | |||||||
single core default | 2077426 | 12004103 | 42817791 | 1193.112 | 76 | 39.5 | 526621 |
dual core default | 2077426 | 11876485 | 50656410 | 2793.112 | 76 | 36.5 | 651123 |