Full Results | Max Depth | Nr States | Nr Transitions | Memory | State Vector | Time | Rate |
Safety (default compilation): | |||||||
single core default | 500000 | 500001 | 4000001 | 282.937 | 276 | 375 | 1333 |
dual core default | 20 | 500001 | 4000001 | 273.242 | 276 | 189 | 2647 |
dual core tuned | 20 | 500001 | 4000001 | 273.242 | 276 | 190 | 2626 |
Safety (optimized -O2): | |||||||
single core default | 500000 | 500001 | 4000001 | 282.937 | 276 | 124 | 4035 |
dual core default | 476180 | 500001 | 4000001 | 265.613 | 276 | 62.8 | 7962 |
dual core tuned | 476180 | 500001 | 4000001 | 265.613 | 276 | 62.2 | 8032 |
Liveness (default compilation): | |||||||
single core default | 500000 | 500001 | 8500001 | 317.733 | 276 | 756 | 1323 |
dual core default | 500000 | 500001 | 8500001 | 445.721 | 276 | 453 | 2209 | Liveness (optimized -O2): |
single core default | 500000 | 500001 | 8500001 | 317.733 | 276 | 251 | 3983 |
dual core default | 500000 | 500001 | 8500001 | 445.721 | 276 | 144 | 6937 |