Safety (bitstate -w30): | ||||||||
Model | Full Results | Max Depth | Nr States | Nr Transitions | Memory | StateVector | Time | Rate |
DS1 | multi2.out | 1003 | 71871025 | 378219510 | 518.982 | 3436 | 2.13e+03 | 33754 |
DS1 | multi3.out | 1003 | 216169280 | 1160397500 | 970.474 | 3436 | 4.28e+03 | 50486 |
DS1 | multi4.out | 1003 | 148909870 | 755752390 | 1549.966 | 3436 | 2.2e+03 | 67705 |
DS1 | multi5.out | 1003 | 163397380 | 869610060 | 2257.459 | 3436 | 1.96e+03 | 83508 |
DS1 | multi6.out | 1003 | 281888800 | 1474771500 | 3092.953 | 3436 | 2.88e+03 | 97732 |
DS1 | multi7.out | 1003 | 358014370 | 1901758600 | 4056.447 | 3436 | 3.19e+03 | 112299 |
DS1 | multi8.out | 1003 | 252285260 | 1318093700 | 5147.941 | 3436 | 2.05e+03 | 123124 |