| | | | |
Lawler |
MSP |
Gap (%) |
Lawler |
MSP |
Gap (%) | | Time | States | Time | States | Time | States | Time | States | Time | States | Time | States |
| c101 | 0.44 | 485261 | 0.05 | 52668 | 89.0 | 89.1 | 0.58 | 713966 | 0.05 | 53603 | 91.2 | 92.5 | c102 | 2.14 | 2515472 | 0.26 | 289265 | 87.6 | 88.5 | 3.29 | 4018492 | 0.27 | 291578 | 91.9 | 92.7 | c103 | 18.52 | 18809416 | 1.28 | 1035057 | 93.1 | 94.5 | 21.83 | 23252746 | 1.30 | 1043985 | 94.0 | 95.5 | c104 | 52.08 | 47250175 | 3.95 | 2386036 | 92.4 | 95.0 | 83.03 | 80406120 | 3.85 | 2355629 | 95.4 | 97.1 | c105 | 0.81 | 990708 | 0.07 | 72480 | 91.9 | 92.7 | 1.08 | 1348727 | 0.07 | 74274 | 93.5 | 94.5 | c106 | 0.71 | 888745 | 0.09 | 101630 | 86.8 | 88.6 | 1.01 | 1285671 | 0.09 | 102617 | 90.8 | 92.0 | c107 | 0.92 | 1138227 | 0.09 | 98226 | 90.4 | 91.4 | 1.42 | 1791060 | 0.09 | 100349 | 93.5 | 94.4 | c108 | 2.43 | 3139895 | 0.17 | 188067 | 93.2 | 94.0 | 3.06 | 4017208 | 0.17 | 190044 | 94.4 | 95.3 | c109 | 4.53 | 5763260 | 0.29 | 327949 | 93.6 | 94.3 | 6.48 | 8428446 | 0.30 | 334841 | 95.4 | 96.0 | r101 | 0.20 | 220868 | 0.02 | 20631 | 88.8 | 90.7 | 0.27 | 308245 | 0.02 | 21113 | 91.5 | 93.2 | r102 | 22.09 | 10044289 | 2.10 | 940377 | 90.5 | 90.6 | 28.29 | 14080025 | 2.11 | 943007 | 92.5 | 93.3 | r103 | 22.69 | 16937684 | 3.46 | 1560465 | 84.8 | 90.8 | 47.52 | 34124077 | 3.42 | 1559880 | 92.8 | 95.4 | r104 | 60.28 | 38761765 | 10.12 | 3519272 | 83.2 | 90.9 | 137.14 | 67258510 | 11.46 | 3478336 | 91.6 | 94.8 | r105 | 0.71 | 804350 | 0.06 | 56411 | 91.3 | 93.0 | 1.29 | 1488830 | 0.07 | 57934 | 94.9 | 96.1 | r106 | 32.91 | 11726986 | 4.37 | 1569976 | 86.7 | 86.6 | 53.75 | 20178129 | 5.00 | 1652562 | 90.7 | 91.8 | r107 | 43.81 | 28328004 | 4.02 | 1857682 | 90.8 | 93.4 | 64.43 | 42059268 | 4.67 | 2029027 | 92.8 | 95.2 | r108 | 29.41 | 17564810 | 8.30 | 3098793 | 71.8 | 82.4 | 69.22 | 42265459 | 8.29 | 3104067 | 88.0 | 92.7 | r109 | 3.08 | 3448253 | 0.19 | 169998 | 93.8 | 95.1 | 5.44 | 6153499 | 0.20 | 175407 | 96.3 | 97.1 | r110 | 13.43 | 12803914 | 0.91 | 682379 | 93.2 | 94.7 | 18.85 | 18872901 | 0.90 | 679098 | 95.2 | 96.4 | r111 | 40.88 | 12806004 | 4.63 | 1932727 | 88.7 | 84.9 | 42.23 | 15719756 | 5.54 | 2116709 | 86.9 | 86.5 | r112 | 28.63 | 18875159 | 6.01 | 2465366 | 79.0 | 86.9 | 63.61 | 37552120 | 7.27 | 2710032 | 88.6 | 92.8 | rc101 | 0.60 | 678727 | 0.05 | 41805 | 92.5 | 93.8 | 0.90 | 1052775 | 0.05 | 42887 | 94.7 | 95.9 | rc102 | 2.75 | 3145387 | 0.17 | 171178 | 93.7 | 94.6 | 4.41 | 5217034 | 0.18 | 173211 | 96.0 | 96.7 | rc103 | 5.38 | 6218635 | 0.49 | 456220 | 90.9 | 92.7 | 7.84 | 9202713 | 0.50 | 467826 | 93.6 | 94.9 | rc104 | 34.92 | 12895802 | 1.71 | 1242992 | 95.1 | 90.4 | 39.97 | 18859015 | 1.96 | 1340840 | 95.1 | 92.9 | rc105 | 1.60 | 1863337 | 0.11 | 112238 | 93.0 | 94.0 | 1.81 | 2134700 | 0.12 | 113400 | 93.6 | 94.7 | rc106 | 1.53 | 1815310 | 0.14 | 131787 | 90.8 | 92.7 | 1.95 | 2374017 | 0.15 | 133691 | 92.5 | 94.4 | rc107 | 4.97 | 5621602 | 0.46 | 406742 | 90.8 | 92.8 | 6.57 | 7717624 | 0.46 | 407187 | 93.0 | 94.7 | rc108 | 12.87 | 13877100 | 0.87 | 746921 | 93.2 | 94.6 | 22.14 | 24324543 | 0.90 | 756113 | 95.9 | 96.9 |
|
|