| | | | |
Lawler |
MSP |
Gap (%) |
Lawler |
MSP |
Gap (%) | | Time | States | Time | States | Time | States | Time | States | Time | States | Time | States |
| c101 | 0.22 | 262015 | 0.05 | 51620 | 79.3 | 80.3 | 0.30 | 328115 | 0.05 | 51888 | 84.2 | 84.2 | c102 | 1.53 | 1674557 | 0.27 | 292153 | 82.1 | 82.6 | 1.97 | 2238064 | 0.26 | 288195 | 86.6 | 87.1 | c103 | 5.42 | 5208681 | 1.29 | 1034255 | 76.3 | 80.1 | 13.71 | 13655084 | 1.28 | 1027669 | 90.7 | 92.5 | c104 | 14.31 | 11352655 | 3.58 | 2264392 | 75.0 | 80.1 | 24.12 | 20139051 | 3.73 | 2304822 | 84.5 | 88.6 | c105 | 0.31 | 367544 | 0.06 | 71265 | 79.7 | 80.6 | 0.39 | 471589 | 0.07 | 71514 | 83.5 | 84.8 | c106 | 0.41 | 502159 | 0.09 | 100467 | 78.0 | 80.0 | 0.50 | 611395 | 0.09 | 100752 | 81.7 | 83.5 | c107 | 0.40 | 480488 | 0.09 | 97047 | 78.3 | 79.8 | 0.52 | 637315 | 0.09 | 97175 | 83.4 | 84.8 | c108 | 0.72 | 877250 | 0.17 | 180971 | 76.8 | 79.4 | 1.47 | 1864824 | 0.16 | 185990 | 88.9 | 90.0 | c109 | 1.26 | 1519472 | 0.27 | 309394 | 78.3 | 79.6 | 2.53 | 3177807 | 0.28 | 320461 | 89.0 | 89.9 | r101 | 0.06 | 66944 | 0.02 | 20063 | 68.3 | 70.0 | 0.16 | 174187 | 0.02 | 20387 | 86.6 | 88.3 | r102 | 11.40 | 3626432 | 2.09 | 938016 | 81.7 | 74.1 | 13.84 | 5065526 | 2.10 | 938592 | 84.8 | 81.5 | r103 | 8.80 | 5412423 | 2.20 | 1195766 | 75.0 | 77.9 | 15.66 | 11033799 | 2.53 | 1301636 | 83.8 | 88.2 | r104 | 35.32 | 11639745 | 17.01 | 4586566 | 51.8 | 60.6 | 40.27 | 22129546 | 8.01 | 3089736 | 80.1 | 86.0 | r105 | 0.25 | 268513 | 0.06 | 55404 | 76.0 | 79.4 | 0.54 | 587717 | 0.06 | 55799 | 88.3 | 90.5 | r106 | 14.28 | 4313228 | 3.49 | 1419126 | 75.5 | 67.1 | 20.98 | 7196699 | 4.43 | 1566986 | 78.9 | 78.2 | r107 | 18.37 | 7645776 | 4.04 | 1863475 | 78.0 | 75.6 | 28.68 | 14166896 | 4.00 | 1854919 | 86.0 | 86.9 | r108 | 22.13 | 10614957 | 4.61 | 2254591 | 79.2 | 78.8 | 28.20 | 16276837 | 10.26 | 3465735 | 63.6 | 78.7 | r109 | 0.81 | 839422 | 0.18 | 160849 | 77.8 | 80.8 | 1.63 | 1816296 | 0.18 | 164546 | 88.8 | 90.9 | r110 | 5.04 | 3185193 | 0.91 | 674064 | 81.9 | 78.8 | 9.06 | 7991178 | 0.92 | 680420 | 89.9 | 91.5 | r111 | 36.20 | 6664411 | 3.88 | 1762656 | 89.3 | 73.6 | 38.01 | 11011212 | 3.91 | 1764017 | 89.7 | 84.0 | r112 | 11.51 | 6618433 | 7.31 | 2714618 | 36.5 | 59.0 | 22.79 | 14307286 | 5.22 | 2278570 | 77.1 | 84.1 | rc101 | 0.16 | 171470 | 0.04 | 40719 | 73.9 | 76.3 | 0.34 | 364195 | 0.04 | 40803 | 87.5 | 88.8 | rc102 | 0.73 | 821774 | 0.17 | 164979 | 77.2 | 79.9 | 1.77 | 2026238 | 0.17 | 170627 | 90.5 | 91.6 | rc103 | 2.53 | 2502612 | 0.49 | 454496 | 80.8 | 81.8 | 4.24 | 4720830 | 0.49 | 454972 | 88.6 | 90.4 | rc104 | 32.02 | 9320068 | 1.86 | 1303477 | 94.2 | 86.0 | 33.66 | 11164378 | 1.57 | 1197120 | 95.3 | 89.3 | rc105 | 0.43 | 473190 | 0.11 | 110540 | 74.1 | 76.6 | 0.99 | 1141481 | 0.11 | 110565 | 89.1 | 90.3 | rc106 | 0.54 | 586291 | 0.14 | 131140 | 74.0 | 77.6 | 0.96 | 1111932 | 0.14 | 131497 | 85.5 | 88.2 | rc107 | 1.62 | 1634032 | 0.45 | 402166 | 72.2 | 75.4 | 3.16 | 3363444 | 0.46 | 406271 | 85.6 | 87.9 | rc108 | 3.15 | 3112749 | 0.82 | 717401 | 73.8 | 77.0 | 6.92 | 7309195 | 0.84 | 718232 | 87.9 | 90.2 |
|
|