| Normal execution | |||||||||||||||
| Machine | Aisy | ||||||||||||||
| Compile options | -O3 -DSAFETY -DMEMLIM=7000 | ||||||||||||||
| Runtime options | -m10000000 -n -w27 | ||||||||||||||
| State-vector(byte) | Memory(Mbyte) | ||||||||||||||
| Time(sec) | State-vector | Depth | Error | Stored | Matched | Transitions | Atomic steps | Hash conflicts | Equivalent | Actual | Hash table | DFS stack | Lost | Total | |
| adding.1.pm | 0.99 | 36 | 15 | 1 | 16 | 0 | 16 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| adding.2.pm | 0.99 | 36 | 24 | 1 | 25 | 0 | 2.50E+01 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| adding.3.pm | 0.99 | 36 | 27 | 1 | 2.80E+01 | 0.00E+00 | 2.80E+01 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| adding.4.pm | 0.99 | 36 | 27 | 1 | 2.80E+01 | 0.00E+00 | 2.80E+01 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| adding.5.pm | 0.99 | 36 | 27 | 1 | 2.80E+01 | 0.00E+00 | 2.80E+01 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| adding.6.pm | 0.99 | 36 | 30 | 1 | 3.10E+01 | 0.00E+00 | 3.10E+01 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| anderson.1.pm | 1.49 | 36 | 2639 | 0 | 352666 | 351639 | 704305 | 1 | 238 | 16.93 | 11.49 | 1073.74 | 480 | 0.1 | 1565.21 |
| anderson.2.pm | 0.98 | 44 | 630 | 0 | 1461 | 2247 | 3708 | 2 | 0 | 0.08 | 0.28 | 1073.74 | 480 | 0.09 | 1553.95 |
| anderson.3.pm | 1.03 | 44 | 11920 | 1 | 1.21E+04 | 7.08E+02 | 1.28E+04 | 2 | 0.00E+00 | 0.68 | 0.65 | 1073.74 | 480 | 0.09 | 1554.66 |
| anderson.4.pm | 1.06 | 52 | 12021 | 0 | 29643 | 67876 | 97519 | 3 | 1 | 1.9 | 1.43 | 1073.74 | 480 | 0.09 | 1555.48 |
| anderson.5.pm | 1.24 | 60 | 69096 | 1 | 6.91E+04 | 2.38E+03 | 7.15E+04 | 4 | 1.00E+00 | 4.98 | 3.08 | 1073.74 | 480 | 0.09 | 1559.27 |
| anderson.6.pm | 100.62 | 68 | 6295728 | 0 | 1.82E+07 | 6.88E+07 | 8.70E+07 | 5 | 3.21E+06 | 1456.55 | 884.72 | 1073.74 | 480 | 0.31 | 2689.97 |
| anderson.7.pm | 1.08 | 68 | 24024 | 1 | 2.40E+04 | 8.25E+02 | 2.48E+04 | 5 | 0.00E+00 | 1.92 | 1.48 | 1073.74 | 480 | 0.09 | 1556.1 |
| anderson.8.pm | 580.55 | 76 | 9999999 | 0 | 1.11E+08 | 4.20E+08 | 5.31E+08 | 6 | 9.36E+07 | 9784.89 | 5355.2 | 1073.74 | 480 | 0.98 | 7339.96 |
| at.1.pm | 1.08 | 52 | 5585 | 0 | 39356 | 69085 | 108441 | 3 | 4 | 2.52 | 1.57 | 1073.74 | 480 | 0.08 | 1555.69 |
| at.2.pm | 1.11 | 52 | 6307 | 0 | 49445 | 97498 | 146943 | 3 | 6 | 3.16 | 1.82 | 1073.74 | 480 | 0.08 | 1556 |
| at.3.pm | 7.02 | 60 | 207582 | 0 | 1.71E+06 | 4.36E+06 | 6.08E+06 | 4 | 14687 | 123.24 | 69.49 | 1073.74 | 480 | 0.09 | 1642.01 |
| at.4.pm | 28.29 | 68 | 851760 | 0 | 6.60E+06 | 1.89E+07 | 2.55E+07 | 5 | 264385 | 527.78 | 267.56 | 1073.74 | 480 | 0.12 | 1905.59 |
| at.5.pm | 142.02 | 68 | 3826060 | 0 | 3.20E+07 | 9.32E+07 | 1.25E+08 | 5 | 6.37E+06 | 2559.96 | 1295.87 | 1073.74 | 480 | 0.3 | 3229.11 |
| at.6.pm | 542.65 | 68 | 9999999 | 0 | 1.19E+08 | 3.77E+08 | 4.95E+08 | 5 | 8.80E+07 | 9508.39 | 4795.06 | 1073.74 | 480 | 0.58 | 7339.96 |
| at.7.pm | 382.85 | 76 | 9999999 | 0 | 9.74E+07 | 3.00E+08 | 3.97E+08 | 6 | 4.92E+07 | 8568.76 | 4715.73 | 1073.74 | 480 | 1.07 | 7339.96 |
| bakery.1.pm | 0.99 | 32 | 240 | 1 | 356 | 141 | 497 | 0 | 0 | 0.02 | 0.29 | 1073.74 | 480 | 0.1 | 1553.95 |
| bakery.2.pm | 1.02 | 32 | 254 | 1 | 431 | 188 | 619 | 0 | 0 | 0.02 | 0.29 | 1073.74 | 480 | 0.1 | 1553.95 |
| bakery.3.pm | 0.99 | 40 | 108 | 1 | 109 | 3 | 112 | 0 | 0 | 0.01 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| bakery.4.pm | 1.03 | 40 | 6787 | 1 | 10511 | 7268 | 17779 | 0 | 0 | 0.55 | 0.71 | 1073.74 | 480 | 0.09 | 1554.66 |
| bakery.5.pm | 0.99 | 48 | 369 | 1 | 3.70E+02 | 7.00E+00 | 3.77E+02 | 0 | 0 | 0.02 | 0.28 | 1073.74 | 480 | 0.09 | 1553.95 |
| bakery.6.pm | 0.99 | 48 | 717 | 1 | 9.33E+02 | 3.69E+02 | 1.30E+03 | 0 | 0 | 0.06 | 0.26 | 1073.74 | 480 | 0.09 | 1553.95 |
| bakery.7.pm | 0.99 | 48 | 939 | 1 | 9.41E+02 | 5.00E+01 | 9.91E+02 | 0 | 0.00E+00 | 0.06 | 0.25 | 1073.74 | 480 | 0.09 | 1553.95 |
| bakery.8.pm | 0.99 | 56 | 210 | 1 | 2.11E+02 | 3.00E+00 | 2.14E+02 | 0 | 0.00E+00 | 0.01 | 0.28 | 1073.74 | 480 | 0.09 | 1553.95 |
| blocks.2.pm | 1 | 36 | 4264 | 0 | 7059 | 11496 | 18555 | 0 | 0 | 0.34 | 0.52 | 1073.74 | 480 | 0.1 | 1554.46 |
| blocks.3.pm | 1.84 | 36 | 177479 | 1 | 239003 | 1.60E+05 | 3.99E+05 | 0 | 79 | 11.47 | 10.56 | 1073.74 | 480 | 0.1 | 1576.27 |
| blocks.4.pm | 263.79 | 44 | 9999999 | 0 | 8.90E+07 | 2.16E+08 | 3.05E+08 | 0 | 2.78E+07 | 4983.32 | 4313.24 | 1073.74 | 480 | 0.86 | 6626.13 |
| bopdp.1.pm | 0.99 | 124 | 71 | 1 | 66 | 0 | 66 | 1 | 0 | 0.01 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| bopdp.2.pm | 1.05 | 124 | 2283 | 0 | 18005 | 33944 | 51949 | 88 | 0 | 2.45 | 1.2 | 1073.74 | 480 | 0.07 | 1555.07 |
| bopdp.3.pm | 0.99 | 124 | 118 | 1 | 113 | 0.00E+00 | 1.13E+02 | 1 | 0 | 0.02 | 0.26 | 1073.74 | 480 | 0.07 | 1553.95 |
| bridge.1.pm | 0.99 | 68 | 40 | 1 | 18 | 0 | 18 | 13 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| bridge.2.pm | 0.99 | 84 | 70 | 1 | 3.20E+01 | 0.00E+00 | 3.20E+01 | 2.30E+01 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| bridge.3.pm | 0.99 | 100 | 72 | 1 | 3.40E+01 | 0.00E+00 | 3.40E+01 | 2.50E+01 | 0.00E+00 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| brp.1.pm | 1 | 148 | 2398 | 1 | 2081 | 800 | 2881 | 814 | 0 | 0.33 | 0.37 | 1073.74 | 480 | 0.08 | 1554.05 |
| brp.2.pm | 0.99 | 148 | 57 | 1 | 33 | 0 | 33 | 9 | 0 | 0.01 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| brp.3.pm | 0.99 | 148 | 57 | 1 | 33 | 0 | 3.30E+01 | 9 | 0 | 0.01 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| brp.4.pm | 0.99 | 148 | 57 | 1 | 3.30E+01 | 0.00E+00 | 3.30E+01 | 9.00E+00 | 0 | 0.01 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| brp.5.pm | 0.99 | 148 | 57 | 1 | 3.30E+01 | 0.00E+00 | 3.30E+01 | 9.00E+00 | 0 | 0.01 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| brp.6.pm | 0.99 | 148 | 57 | 1 | 3.30E+01 | 0.00E+00 | 3.30E+01 | 9.00E+00 | 0.00E+00 | 0.01 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| cambridge.1.pm | 0.99 | 200 | 8 | 1 | 7 | 0 | 7 | 4 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| cambridge.2.pm | 0.99 | 200 | 8 | 1 | 7 | 0 | 7.00E+00 | 4 | 0 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| cambridge.3.pm | 0.99 | 212 | 8 | 1 | 7 | 0 | 7.00E+00 | 4 | 0 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| cambridge.4.pm | 0.99 | 212 | 8 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 4.00E+00 | 0 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| cambridge.5.pm | 0.99 | 216 | 8 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 4.00E+00 | 0.00E+00 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| cambridge.6.pm | 0.99 | 228 | 8 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 4.00E+00 | 0.00E+00 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| cambridge.7.pm | 0.99 | 244 | 8 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 4.00E+00 | 0.00E+00 | 0 | 0.27 | 1073.74 | 480 | 0.06 | 1553.95 |
| driving_phils.1.pm | 0.99 | 64 | 843 | 0 | 5203 | 4917 | 10120 | 0 | 0 | 0.4 | 0.63 | 1073.74 | 480 | 0.09 | 1554.36 |
| driving_phils.2.pm | 1 | 88 | 557 | 0 | 7575 | 11652 | 19227 | 0 | 0 | 0.76 | 0.94 | 1073.74 | 480 | 0.09 | 1554.66 |
| driving_phils.3.pm | 0.99 | 88 | 396 | 1 | 3.97E+02 | 0.00E+00 | 3.97E+02 | 0 | 0.00E+00 | 0.04 | 0.24 | 1073.74 | 480 | 0.09 | 1553.95 |
| driving_phils.4.pm | 37.29 | 88 | 288766 | 0 | 1.12E+07 | 1.84E+07 | 2.96E+07 | 0 | 351046 | 1117.81 | 1074.61 | 1073.74 | 480 | 0.72 | 2661.3 |
| driving_phils.5.pm | 0.99 | 96 | 304 | 1 | 3.05E+02 | 0.00E+00 | 3.05E+02 | 0 | 0.00E+00 | 0.03 | 0.25 | 1073.74 | 480 | 0.09 | 1553.95 |
| elevator.1.pm | 1.43 | 112 | 25079 | 0 | 87461 | 161840 | 249301 | 121598 | 27 | 10.85 | 5.24 | 1073.74 | 480 | 0.08 | 1560.3 |
| elevator.2.pm | 1.09 | 112 | 8979 | 0 | 23969 | 41970 | 65939 | 31416 | 0 | 2.97 | 1.61 | 1073.74 | 480 | 0.08 | 1555.69 |
| elevator.3.pm | 158.63 | 152 | 4519007 | 0 | 1.87E+07 | 5.17E+07 | 7.04E+07 | 4.14E+07 | 2.25E+06 | 3064.79 | 1367.5 | 1073.74 | 480 | 0.59 | 3228.7 |
| elevator.4.pm | 604.22 | 184 | 9999999 | 0 | 5.98E+07 | 2.01E+08 | 2.61E+08 | 1.58E+08 | 2.53E+07 | 11729.31 | 4354.91 | 1073.74 | 480 | 1.49 | 6643.94 |
| elevator.5.pm | 614.75 | 240 | 9999999 | 0 | 5.10E+07 | 2.06E+08 | 2.57E+08 | 1.68E+08 | 2.02E+07 | 12842.26 | 4950.26 | 1073.74 | 480 | 3.82 | 7339.96 |
| elevator2.1.pm | 0.98 | 44 | 452 | 0 | 1728 | 3041 | 4769 | 0 | 0 | 0.1 | 0.28 | 1073.74 | 480 | 0.1 | 1553.95 |
| elevator2.2.pm | 1.81 | 52 | 18092 | 0 | 179200 | 857601 | 1.04E+06 | 0 | 482 | 11.47 | 8.88 | 1073.74 | 480 | 0.1 | 1563.37 |
| elevator2.3.pm | 47.06 | 52 | 883189 | 0 | 7.67E+06 | 4.77E+07 | 5.54E+07 | 0 | 818041 | 490.73 | 370.64 | 1073.74 | 480 | 0.17 | 1969.69 |
| elevator_planning.1.pm | 0.99 | 44 | 98 | 1 | 99 | 81 | 180 | 0 | 0 | 0.01 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| elevator_planning.2.pm | 2.1 | 52 | 248070 | 1 | 2.50E+05 | 2.33E+05 | 4.83E+05 | 0 | 1.06E+02 | 16.03 | 14.98 | 1073.74 | 480 | 0.1 | 1583.54 |
| elevator_planning.3.pm | 0.99 | 44 | 53 | 1 | 54 | 93 | 147 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| extinction.1.pm | 1.04 | 136 | 26 | 1 | 19 | 0 | 1.90E+01 | 11 | 0 | 0 | 0.26 | 1073.74 | 480 | 0.06 | 1553.95 |
| extinction.2.pm | 0.99 | 160 | 26 | 1 | 19 | 0 | 1.90E+01 | 11 | 0 | 0 | 0.26 | 1073.74 | 480 | 0.06 | 1553.95 |
| extinction.3.pm | 0.99 | 176 | 73 | 1 | 5.20E+01 | 0.00E+00 | 5.20E+01 | 2.40E+01 | 0.00E+00 | 0.01 | 0.25 | 1073.74 | 480 | 0.04 | 1553.95 |
| extinction.4.pm | 0.99 | 176 | 188 | 1 | 1.31E+02 | 0.00E+00 | 1.31E+02 | 5.40E+01 | 0.00E+00 | 0.03 | 0.24 | 1073.74 | 480 | 0.04 | 1553.95 |
| firewire_link.1.pm | 0.99 | 292 | 20 | 1 | 13 | 0 | 13 | 4 | 0 | 0 | 0.4 | 1073.74 | 480 | 0.09 | 1554.05 |
| firewire_link.2.pm | 0.99 | 300 | 31 | 1 | 19 | 0 | 19 | 6 | 0 | 0.01 | 0.4 | 1073.74 | 480 | 0.09 | 1554.05 |
| firewire_link.3.pm | 0.99 | 292 | 24 | 1 | 1.50E+01 | 0.00E+00 | 1.50E+01 | 6.00E+00 | 0.00E+00 | 0.01 | 0.4 | 1073.74 | 480 | 0.09 | 1554.05 |
| firewire_link.4.pm | 0.99 | 420 | 20 | 1 | 13 | 0 | 13 | 4 | 0 | 0.01 | 0.34 | 1073.74 | 480 | 0.04 | 1554.05 |
| firewire_link.5.pm | 0.99 | 436 | 37 | 1 | 2.20E+01 | 0.00E+00 | 2.20E+01 | 6.00E+00 | 0 | 0.01 | 0.34 | 1073.74 | 480 | 0.04 | 1554.05 |
| firewire_link.6.pm | 0.99 | 420 | 24 | 1 | 1.50E+01 | 0.00E+00 | 1.50E+01 | 6.00E+00 | 0.00E+00 | 0.01 | 0.34 | 1073.74 | 480 | 0.04 | 1554.05 |
| firewire_link.7.pm | 0.99 | 564 | 20 | 1 | 13 | 0 | 13 | 4 | 0 | 0.01 | 0.5 | 1073.74 | 480 | 0.09 | 1554.15 |
| fischer.1.pm | 0.98 | 52 | 157 | 0 | 636 | 762 | 1398 | 3 | 0 | 0.04 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| fischer.2.pm | 1.04 | 60 | 3035 | 0 | 21735 | 45858 | 67593 | 4 | 5 | 1.57 | 1.11 | 1073.74 | 480 | 0.09 | 1554.97 |
| fischer.3.pm | 14.72 | 76 | 141602 | 0 | 2.90E+06 | 9.38E+06 | 1.23E+07 | 6 | 55316 | 254.91 | 116.57 | 1073.74 | 480 | 0.11 | 1681.84 |
| fischer.4.pm | 6.38 | 84 | 28932 | 0 | 1.27E+06 | 3.34E+06 | 4.61E+06 | 7 | 9281 | 122.14 | 61.47 | 1073.74 | 480 | 0.1 | 1617.64 |
| fischer.5.pm | 602.4 | 84 | 951946 | 0 | 1.01E+08 | 3.77E+08 | 4.78E+08 | 7 | 7.62E+07 | 9698.72 | 4854.75 | 1073.74 | 480 | 1.18 | 6492.8 |
| fischer.6.pm | 41.5 | 92 | 105361 | 0 | 8.32E+06 | 2.51E+07 | 3.35E+07 | 8 | 450463 | 865.46 | 400.12 | 1073.74 | 480 | 0.15 | 1963.55 |
| fischer.7.pm | 728.85 | 92 | 2031495 | 0 | 1.16E+08 | 4.51E+08 | 5.67E+08 | 8 | 1.15E+08 | 12108.85 | 5596.98 | 1073.74 | 480 | 1.06 | 7339.96 |
| frogs.1.pm | 0.99 | 60 | 12 | 1 | 11 | 0 | 11 | 2 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| frogs.2.pm | 0.99 | 52 | 9 | 1 | 8 | 0 | 8 | 2 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| frogs.3.pm | 0.99 | 68 | 19 | 1 | 18 | 0 | 18 | 2 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| frogs.4.pm | 0.99 | 68 | 8 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 2 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| frogs.5.pm | 0.99 | 68 | 16 | 1 | 1.50E+01 | 0.00E+00 | 1.50E+01 | 2 | 0.00E+00 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| gear.1.pm | 0.99 | 204 | 19 | 1 | 16 | 3 | 19 | 4 | 0 | 0 | 0.27 | 1073.74 | 480 | 0.06 | 1553.95 |
| gear.2.pm | 0.99 | 204 | 19 | 1 | 16 | 3 | 19 | 4 | 0 | 0 | 0.27 | 1073.74 | 480 | 0.06 | 1553.95 |
| hanoi.1.pm | 1.01 | 92 | 6567 | 0 | 6563 | 13120 | 19683 | 5 | 0 | 0.68 | 0.72 | 1073.74 | 480 | 0.1 | 1555.18 |
| hanoi.2.pm | 3.26 | 100 | 531447 | 0 | 531443 | 1.06E+06 | 1.59E+06 | 5 | 1919 | 59.52 | 40.81 | 1073.74 | 480 | 0.17 | 1664.54 |
| hanoi.3.pm | 68.2 | 116 | 9999999 | 0 | 1.43E+07 | 2.86E+07 | 4.30E+07 | 5 | 1.35E+06 | 1833.16 | 1302.84 | 1073.74 | 480 | 1.24 | 4335.34 |
| hanoi.4.pm | 164.72 | 116 | 9999999 | 0 | 3.46E+07 | 6.92E+07 | 1.04E+08 | 5 | 6.91E+06 | 4425.76 | 3087.21 | 1073.74 | 480 | 2.22 | 6118.73 |
| iprotocol.1.pm | 1.02 | 152 | 314 | 0 | 9828 | 12017 | 21845 | 2571 | 0 | 1.61 | 0.79 | 1073.74 | 480 | 0.08 | 1554.46 |
| iprotocol.2.pm | 1.13 | 152 | 445 | 0 | 36775 | 45129 | 81904 | 9668 | 5 | 6.03 | 2.32 | 1073.74 | 480 | 0.08 | 1556 |
| iprotocol.3.pm | 6.13 | 156 | 1075 | 0 | 1.24E+06 | 1.54E+06 | 2.78E+06 | 370809 | 2578 | 207.97 | 79.5 | 1073.74 | 480 | 0.08 | 1633.2 |
| iprotocol.4.pm | 16.43 | 160 | 981 | 0 | 3.72E+06 | 4.60E+06 | 8.32E+06 | 1.14E+06 | 17819 | 639.39 | 238.12 | 1073.74 | 480 | 0.08 | 1791.82 |
| iprotocol.5.pm | 151.9 | 164 | 1624 | 0 | 3.50E+07 | 4.34E+07 | 7.84E+07 | 1.10E+07 | 2.24E+06 | 6157.54 | 2520.05 | 1073.74 | 480 | 0.47 | 4073.4 |
| iprotocol.6.pm | 166.51 | 164 | 2455 | 0 | 3.85E+07 | 4.80E+07 | 8.65E+07 | 1.13E+07 | 2.46E+06 | 6779.01 | 2774.31 | 1073.74 | 480 | 0.52 | 4327.66 |
| iprotocol.7.pm | 257.24 | 168 | 1701 | 0 | 5.85E+07 | 7.23E+07 | 1.31E+08 | 1.80E+07 | 5.92E+06 | 10527.85 | 4212.67 | 1073.74 | 480 | 0.74 | 5765.76 |
| krebs.1.pm | 0.99 | 76 | 19 | 1 | 16 | 0 | 16 | 5 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| krebs.2.pm | 0.99 | 84 | 19 | 1 | 16 | 0.00E+00 | 1.60E+01 | 5 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.09 | 1553.95 |
| krebs.3.pm | 0.99 | 84 | 19 | 1 | 1.60E+01 | 0.00E+00 | 1.60E+01 | 5.00E+00 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.09 | 1553.95 |
| krebs.4.pm | 0.99 | 92 | 19 | 1 | 1.60E+01 | 0.00E+00 | 1.60E+01 | 5.00E+00 | 0.00E+00 | 0 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| lamport.1.pm | 0.99 | 36 | 1543 | 0 | 6727 | 10563 | 17290 | 0 | 0 | 0.32 | 0.48 | 1073.74 | 480 | 0.09 | 1554.15 |
| lamport.2.pm | 0.99 | 36 | 172 | 1 | 180 | 38 | 218 | 0 | 0 | 0.01 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| lamport.3.pm | 0.99 | 36 | 43 | 1 | 44 | 4 | 48 | 0 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| lamport.5.pm | 1.43 | 44 | 41640 | 0 | 175584 | 406137 | 581721 | 0 | 205 | 9.83 | 7.33 | 1073.74 | 480 | 0.08 | 1561.52 |
| lamport.6.pm | 0.99 | 44 | 436 | 1 | 437 | 5.90E+01 | 4.96E+02 | 0 | 0 | 0.02 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| lamport.7.pm | 17.87 | 52 | 1115500 | 0 | 4.72E+06 | 1.44E+07 | 1.92E+07 | 0 | 158409 | 302.13 | 189.99 | 1073.74 | 480 | 0.1 | 1761.82 |
| lamport.8.pm | 0.99 | 52 | 51 | 1 | 5.20E+01 | 4.00E+00 | 5.60E+01 | 0 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| lamport_nonatomic.1.pm | 1.61 | 136 | 41491 | 0 | 125253 | 252446 | 377699 | 69922 | 60 | 18.54 | 7.2 | 1073.74 | 480 | 0.06 | 1561.22 |
| lamport_nonatomic.2.pm | 1.52 | 136 | 11240 | 0 | 107177 | 231603 | 338780 | 70029 | 60 | 15.86 | 6.18 | 1073.74 | 480 | 0.06 | 1559.99 |
| lamport_nonatomic.3.pm | 2.28 | 136 | 81622 | 0 | 246498 | 528607 | 775105 | 141261 | 254 | 36.48 | 13.98 | 1073.74 | 480 | 0.06 | 1568.49 |
| lamport_nonatomic.4.pm | 125.06 | 184 | 5489457 | 0 | 1.62E+07 | 4.33E+07 | 5.95E+07 | 1.06E+07 | 1.48E+06 | 3174.14 | 1037.17 | 1073.74 | 480 | 0.29 | 2641.44 |
| lamport_nonatomic.5.pm | 621.76 | 224 | 9999999 | 0 | 7.91E+07 | 3.09E+08 | 3.88E+08 | 7.87E+07 | 2.68E+07 | 18669.05 | 5697.92 | 1073.74 | 480 | 1.09 | 7339.96 |
| lann.1.pm | 0.99 | 108 | 1600 | 1 | 1044 | 128 | 1172 | 144 | 0 | 0.13 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| lann.2.pm | 1.62 | 140 | 1127 | 0 | 104130 | 240009 | 344139 | 52843 | 58 | 15.83 | 6.12 | 1073.74 | 480 | 0.08 | 1559.78 |
| lann.3.pm | 0.99 | 140 | 24 | 1 | 1.60E+01 | 0.00E+00 | 1.60E+01 | 4.00E+00 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| lann.4.pm | 0.99 | 172 | 95 | 1 | 4.90E+01 | 0.00E+00 | 4.90E+01 | 1.60E+01 | 0 | 0.01 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| lann.5.pm | 1.27 | 212 | 3512 | 1 | 3.52E+04 | 1.02E+05 | 1.38E+05 | 1.25E+04 | 1.00E+01 | 7.89 | 3.03 | 1073.74 | 480 | 0.07 | 1556.71 |
| lann.6.pm | 0.99 | 140 | 24 | 1 | 1.60E+01 | 0.00E+00 | 1.60E+01 | 4.00E+00 | 0.00E+00 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| lann.7.pm | 1.08 | 172 | 29 | 1 | 1.90E+01 | 0.00E+00 | 1.90E+01 | 5.00E+00 | 0.00E+00 | 0 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| lann.8.pm | 1.08 | 172 | 29 | 1 | 1.90E+01 | 0.00E+00 | 1.90E+01 | 5.00E+00 | 0.00E+00 | 0 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| leader_filters.1.pm | 0.99 | 44 | 13 | 1 | 14 | 0 | 14 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.09 | 1553.95 |
| leader_filters.2.pm | 0.99 | 36 | 33 | 1 | 34 | 0 | 34 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.09 | 1553.95 |
| leader_filters.3.pm | 0.99 | 52 | 14 | 1 | 15 | 0 | 15 | 0 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| leader_filters.4.pm | 0.99 | 52 | 14 | 1 | 15 | 0 | 15 | 0 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| leader_filters.5.pm | 0.99 | 60 | 15 | 1 | 1.60E+01 | 0.00E+00 | 1.60E+01 | 0 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| leader_filters.6.pm | 0.99 | 60 | 55 | 1 | 5.60E+01 | 0.00E+00 | 5.60E+01 | 0 | 0.00E+00 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| leader_filters.7.pm | 0.99 | 68 | 16 | 1 | 1.70E+01 | 0.00E+00 | 1.70E+01 | 0 | 0.00E+00 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| loyd.1.pm | 0.98 | 36 | 227 | 0 | 722 | 962 | 1684 | 1 | 0 | 0.04 | 0.29 | 1073.74 | 480 | 0.1 | 1553.95 |
| loyd.2.pm | 2.03 | 44 | 199348 | 0 | 362882 | 604802 | 967684 | 1 | 588 | 20.32 | 15.57 | 1073.74 | 480 | 0.1 | 1584.36 |
| loyd.3.pm | 268.57 | 44 | 9999999 | 0 | 1.25E+08 | 2.23E+08 | 3.48E+08 | 1 | 3.24E+07 | 6980.46 | 5026.38 | 1073.74 | 480 | 0.17 | 7339.96 |
| mcs.1.pm | 0.99 | 44 | 1101 | 0 | 4241 | 5918 | 10159 | 2 | 0 | 0.24 | 0.38 | 1073.74 | 480 | 0.09 | 1554.05 |
| mcs.2.pm | 0.99 | 44 | 31 | 1 | 30 | 2 | 32 | 2 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| mcs.3.pm | 1.75 | 52 | 71527 | 0 | 287034 | 627923 | 914957 | 3 | 357 | 18.37 | 11.73 | 1073.74 | 480 | 0.08 | 1566.54 |
| mcs.4.pm | 0.99 | 52 | 30 | 1 | 28 | 2 | 30 | 3 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| mcs.5.pm | 117.36 | 68 | 7785275 | 0 | 2.90E+07 | 8.66E+07 | 1.16E+08 | 4 | 5.66E+06 | 2320.2 | 1398.7 | 1073.74 | 480 | 0.37 | 3095.07 |
| mcs.6.pm | 1.27 | 68 | 36 | 1 | 33 | 2 | 35 | 4 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| msmie.1.pm | 1.14 | 60 | 18 | 1 | 21 | 3 | 24 | 4 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| msmie.2.pm | 0.99 | 124 | 26 | 1 | 27 | 6 | 33 | 12 | 0 | 0 | 0.24 | 1073.74 | 480 | 0.04 | 1553.95 |
| msmie.3.pm | 0.99 | 124 | 26 | 1 | 27 | 6 | 33 | 12 | 0 | 0 | 0.22 | 1073.74 | 480 | 0.02 | 1553.95 |
| msmie.4.pm | 0.99 | 180 | 33 | 1 | 3.50E+01 | 1.00E+01 | 4.50E+01 | 19 | 0 | 0.01 | 0.36 | 1073.74 | 480 | 0.05 | 1554.05 |
| needham.1.pm | 0.99 | 84 | 10 | 1 | 7 | 0 | 7 | 0 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| needham.2.pm | 0.99 | 116 | 16 | 1 | 11 | 0 | 11 | 0 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| needham.3.pm | 0.99 | 132 | 19 | 1 | 13 | 0 | 13 | 0 | 0 | 0 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| needham.4.pm | 0.99 | 148 | 22 | 1 | 15 | 0 | 15 | 0 | 0 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| peg_solitaire.1.pm | 0.99 | 36 | 15 | 1 | 16 | 0 | 16 | 0 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| peg_solitaire.2.pm | 0.99 | 68 | 25 | 1 | 2.60E+01 | 0.00E+00 | 2.60E+01 | 0 | 0.00E+00 | 0 | 0.26 | 1073.74 | 480 | 0.06 | 1553.95 |
| peg_solitaire.3.pm | 0.99 | 68 | 28 | 1 | 2.90E+01 | 0.00E+00 | 2.90E+01 | 0 | 0.00E+00 | 0 | 0.22 | 1073.74 | 480 | 0.02 | 1553.95 |
| peg_solitaire.4.pm | 0.99 | 44 | 21 | 1 | 22 | 0.00E+00 | 2.20E+01 | 0 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| peg_solitaire.5.pm | 0.99 | 68 | 13 | 1 | 14 | 0 | 14 | 0 | 0 | 0 | 0.26 | 1073.74 | 480 | 0.06 | 1553.95 |
| peg_solitaire.6.pm | 0.99 | 60 | 31 | 1 | 3.20E+01 | 0.00E+00 | 3.20E+01 | 0 | 0.00E+00 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| peterson.1.pm | 0.99 | 40 | 1596 | 0 | 8145 | 12333 | 20478 | 0 | 0 | 0.42 | 0.62 | 1073.74 | 480 | 0.09 | 1554.36 |
| peterson.2.pm | 1.24 | 40 | 23505 | 0 | 114516 | 208338 | 322854 | 0 | 52 | 5.96 | 4.8 | 1073.74 | 480 | 0.1 | 1559.78 |
| peterson.3.pm | 1.07 | 40 | 12899 | 0 | 35142 | 67653 | 102795 | 0 | 2 | 1.83 | 1.36 | 1073.74 | 480 | 0.09 | 1555.69 |
| peterson.4.pm | 3.16 | 48 | 68989 | 0 | 752460 | 1.73E+06 | 2.49E+06 | 0 | 3127 | 45.15 | 30.33 | 1073.74 | 480 | 0.09 | 1588.66 |
| peterson.5.pm | 315.62 | 48 | 9999999 | 0 | 9.11E+07 | 2.46E+08 | 3.37E+08 | 0 | 4.68E+07 | 5464.27 | 3643.33 | 1073.74 | 480 | 0.23 | 5886.9 |
| peterson.6.pm | 33.37 | 48 | 3187515 | 0 | 8.57E+06 | 2.48E+07 | 3.34E+07 | 0 | 532732 | 514.36 | 343.27 | 1073.74 | 480 | 0.13 | 2102.71 |
| peterson.7.pm | 418.98 | 56 | 4582953 | 0 | 9.58E+07 | 3.05E+08 | 4.01E+08 | 0 | 7.76E+07 | 6517.23 | 4602.29 | 1073.74 | 480 | 0.93 | 6515.12 |
| phils.1.pm | 1.49 | 44 | 12 | 1 | 13 | 3 | 16 | 0 | 0 | 0 | 0.3 | 1073.74 | 480 | 0.1 | 1553.95 |
| phils.2.pm | 0.98 | 52 | 412 | 0 | 581 | 1770 | 2351 | 0 | 0 | 0.04 | 0.28 | 1073.74 | 480 | 0.09 | 1553.95 |
| phils.3.pm | 0.98 | 60 | 495 | 0 | 729 | 2188 | 2917 | 0 | 0 | 0.05 | 0.27 | 1073.74 | 480 | 0.09 | 1553.95 |
| phils.4.pm | 4.18 | 84 | 291549 | 0 | 340789 | 2.78E+06 | 3.12E+06 | 0 | 3583 | 32.72 | 17.17 | 1073.74 | 480 | 0.09 | 1587.74 |
| phils.5.pm | 1.09 | 116 | 24316 | 1 | 24317 | 7.27E+03 | 3.16E+04 | 0 | 0 | 3.11 | 1.66 | 1073.74 | 480 | 0.08 | 1557.12 |
| phils.6.pm | 2.96 | 140 | 425843 | 1 | 4.26E+05 | 1.27E+05 | 5.53E+05 | 0 | 8.50E+01 | 64.73 | 28.4 | 1073.74 | 480 | 0.1 | 1618.66 |
| phils.7.pm | 690.63 | 124 | 9999999 | 0 | 6.44E+07 | 7.42E+08 | 8.07E+08 | 0 | 8.34E+07 | 8759.29 | 3629.79 | 1073.74 | 480 | 1.47 | 5962.06 |
| phils.8.pm | 5.05 | 148 | 827364 | 1 | 8.27E+05 | 2.47E+05 | 1.07E+06 | 0 | 2.76E+02 | 132.38 | 54.89 | 1073.74 | 480 | 0.13 | 1682.97 |
| pouring.1.pm | 1.02 | 580 | 837 | 0 | 503 | 3979 | 4482 | 0 | 0 | 0.3 | 0.43 | 1073.74 | 480 | 0.02 | 1554.15 |
| pouring.2.pm | 12.24 | 604 | 93403 | 0 | 51624 | 1.18E+06 | 1.23E+06 | 0 | 224 | 31.8 | 5.25 | 1073.74 | 480 | 0.03 | 1558.96 |
| production_cell.1.pm | 1.53 | 264 | 19676 | 0 | 63585 | 147566 | 211151 | 78716 | 13 | 17.55 | 4.38 | 1073.74 | 480 | 0.08 | 1558.04 |
| production_cell.2.pm | 1.52 | 264 | 19676 | 0 | 63585 | 147566 | 211151 | 78716 | 13 | 17.55 | 4.38 | 1073.74 | 480 | 0.08 | 1558.04 |
| production_cell.3.pm | 93.35 | 392 | 1013424 | 0 | 5.76E+06 | 1.79E+07 | 2.37E+07 | 1.00E+07 | 220598 | 2328.1 | 464.01 | 1073.74 | 480 | 0.14 | 2017.61 |
| production_cell.4.pm | 93.58 | 392 | 1013424 | 0 | 5.76E+06 | 1.79E+07 | 2.37E+07 | 1.00E+07 | 220598 | 2328.1 | 464.01 | 1073.74 | 480 | 0.14 | 2017.61 |
| production_cell.5.pm | 711.75 | 480 | 4110153 | 0 | 3.35E+07 | 1.08E+08 | 1.42E+08 | 6.15E+07 | 7.67E+06 | 16476.14 | 3229.34 | 1073.74 | 480 | 1.89 | 4781.19 |
| production_cell.6.pm | 1279.93 | 568 | 9999999 | 0 | 5.54E+07 | 1.58E+08 | 2.13E+08 | 9.15E+07 | 1.11E+07 | 32108.62 | 5789.26 | 1073.74 | 480 | 3.05 | 7339.96 |
| protocols.1.pm | 0.98 | 108 | 893 | 0 | 1504 | 1568 | 3072 | 0 | 0 | 0.18 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| protocols.2.pm | 0.99 | 112 | 914 | 0 | 3815 | 4439 | 8254 | 0 | 0 | 0.47 | 0.4 | 1073.74 | 480 | 0.09 | 1554.05 |
| protocols.3.pm | 0.99 | 112 | 52 | 1 | 38 | 0 | 38 | 5 | 0 | 0.01 | 0.3 | 1073.74 | 480 | 0.09 | 1553.95 |
| protocols.4.pm | 0.99 | 112 | 166 | 1 | 1.31E+02 | 0.00E+00 | 1.31E+02 | 30 | 0 | 0.02 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| protocols.5.pm | 1.03 | 112 | 205 | 1 | 1.64E+02 | 0.00E+00 | 1.64E+02 | 39 | 0 | 0.02 | 0.29 | 1073.74 | 480 | 0.09 | 1553.95 |
| public_subscribe.1.pm | 0.99 | 116 | 203 | 1 | 186 | 21 | 207 | 52 | 0 | 0.02 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| public_subscribe.2.pm | 1.01 | 156 | 3011 | 1 | 2142 | 815 | 2957 | 670 | 0 | 0.36 | 0.32 | 1073.74 | 480 | 0.05 | 1554.05 |
| public_subscribe.3.pm | 1.01 | 172 | 3011 | 1 | 2142 | 815 | 2957 | 670 | 0 | 0.39 | 0.32 | 1073.74 | 480 | 0.05 | 1554.05 |
| public_subscribe.4.pm | 1.01 | 172 | 3011 | 1 | 2142 | 815 | 2957 | 670 | 0 | 0.39 | 0.32 | 1073.74 | 480 | 0.05 | 1554.05 |
| public_subscribe.5.pm | 13.63 | 220 | 457687 | 1 | 2.18E+06 | 3.22E+06 | 5.40E+06 | 1.47E+06 | 1.51E+04 | 506.38 | 174.9 | 1073.74 | 480 | 0.04 | 1733.45 |
| reader_writer.1.pm | 0.99 | 180 | 7 | 1 | 14 | 9 | 23 | 2 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| reader_writer.2.pm | 1.22 | 204 | 10085 | 0 | 8211 | 45087 | 53298 | 4107 | 0 | 1.77 | 0.8 | 1073.74 | 480 | 0.08 | 1554.46 |
| reader_writer.3.pm | 0.99 | 276 | 7 | 1 | 19 | 1.40E+01 | 3.30E+01 | 2 | 0 | 0.01 | 0.28 | 1073.74 | 480 | 0.07 | 1553.95 |
| rether.1.pm | 1.01 | 136 | 617 | 1 | 402 | 9 | 411 | 83 | 0 | 0.06 | 0.27 | 1073.74 | 480 | 0.08 | 1553.95 |
| rether.2.pm | 1 | 152 | 455 | 1 | 306 | 7 | 313 | 57 | 0 | 0.05 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| rether.3.pm | 1 | 208 | 1130 | 1 | 808 | 6 | 814 | 113 | 0 | 0.18 | 0.3 | 1073.74 | 480 | 0.05 | 1554.05 |
| rether.4.pm | 1 | 232 | 2028 | 1 | 1395 | 9 | 1404 | 222 | 0 | 0.34 | 0.35 | 1073.74 | 480 | 0.04 | 1554.15 |
| rether.5.pm | 1 | 264 | 1481 | 1 | 1056 | 7 | 1063 | 149 | 0 | 0.29 | 0.24 | 1073.74 | 480 | 0.03 | 1554.05 |
| rether.6.pm | 1.09 | 272 | 3278 | 1 | 2285 | 9 | 2294 | 342 | 0 | 0.65 | 0.44 | 1073.74 | 480 | 0.03 | 1554.36 |
| rether.7.pm | 1 | 296 | 2157 | 1 | 1486 | 11 | 1497 | 239 | 0 | 0.46 | 0.29 | 1073.74 | 480 | 0.01 | 1554.15 |
| rushhour.1.pm | 0.99 | 112 | 479 | 0 | 1050 | 4399 | 5449 | 6 | 0 | 0.13 | 0.33 | 1073.74 | 480 | 0.09 | 1554.05 |
| rushhour.2.pm | 1 | 120 | 896 | 0 | 2244 | 10362 | 12606 | 7 | 0 | 0.3 | 0.47 | 1073.74 | 480 | 0.09 | 1554.25 |
| rushhour.3.pm | 3.65 | 168 | 137647 | 0 | 156725 | 1.43E+06 | 1.58E+06 | 12 | 886 | 28.21 | 21.65 | 1073.74 | 480 | 0.13 | 1602.79 |
| rushhour.4.pm | 6.72 | 168 | 295929 | 0 | 327677 | 3.06E+06 | 3.39E+06 | 12 | 3289 | 58.98 | 45.03 | 1073.74 | 480 | 0.18 | 1657.78 |
| schedule_world.1.pm | 1 | 44 | 118 | 1 | 2593 | 10432 | 13025 | 0 | 0 | 0.15 | 0.39 | 1073.74 | 480 | 0.09 | 1554.05 |
| schedule_world.2.pm | 1.14 | 44 | 433 | 1 | 25941 | 147679 | 173620 | 0 | 11 | 1.45 | 1.49 | 1073.74 | 480 | 0.09 | 1555.18 |
| schedule_world.3.pm | 0.99 | 52 | 3 | 1 | 4.00E+00 | 0.00E+00 | 4.00E+00 | 0 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| sokoban.1.pm | 1.26 | 92 | 1459 | 1 | 88918 | 131931 | 220849 | 0 | 28 | 9.25 | 8.11 | 1073.74 | 480 | 0.1 | 1561.93 |
| sokoban.2.pm | 3.03 | 84 | 690 | 1 | 663126 | 1.09E+06 | 1.75E+06 | 0 | 1455 | 63.66 | 58.62 | 1073.74 | 480 | 0.13 | 1612.32 |
| sokoban.3.pm | 125.49 | 236 | 37252 | 0 | 2.49E+07 | 3.53E+07 | 6.01E+07 | 0 | 1.91E+06 | 6169 | 5781.31 | 1073.74 | 480 | 5.08 | 7339.96 |
| sorter.1.pm | 1.02 | 72 | 506 | 0 | 14719 | 6713 | 21432 | 0 | 0 | 1.24 | 0.96 | 1073.74 | 480 | 0.09 | 1554.66 |
| sorter.2.pm | 0.99 | 72 | 223 | 0 | 4744 | 1633 | 6377 | 0 | 0 | 0.4 | 0.47 | 1073.74 | 480 | 0.09 | 1554.15 |
| sorter.3.pm | 3.92 | 80 | 800 | 0 | 779481 | 862120 | 1.64E+06 | 0 | 743 | 71.71 | 37.68 | 1073.74 | 480 | 0.09 | 1591.43 |
| sorter.4.pm | 51.44 | 88 | 13197 | 0 | 1.32E+07 | 1.39E+07 | 2.71E+07 | 0 | 488490 | 1318.44 | 738.98 | 1073.74 | 480 | 0.31 | 2293.99 |
| sorter.5.pm | 1.55 | 80 | 749 | 0 | 151947 | 170759 | 322706 | 0 | 24 | 13.98 | 7.58 | 1073.74 | 480 | 0.08 | 1561.32 |
| szymanski.1.pm | 1.01 | 36 | 2079 | 0 | 18435 | 27363 | 45798 | 0 | 0 | 0.89 | 1.01 | 1073.74 | 480 | 0.08 | 1554.77 |
| szymanski.2.pm | 1.04 | 36 | 2051 | 0 | 29748 | 45457 | 75205 | 0 | 0 | 1.43 | 1.42 | 1073.74 | 480 | 0.08 | 1555.18 |
| szymanski.3.pm | 3.59 | 52 | 46277 | 0 | 998794 | 2.06E+06 | 3.06E+06 | 0 | 2940 | 63.92 | 40.3 | 1073.74 | 480 | 0.07 | 1596.55 |
| telephony.1.pm | 0.98 | 40 | 183 | 0 | 1282 | 2218 | 3500 | 1 | 0 | 0.07 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| telephony.2.pm | 1.15 | 48 | 7379 | 0 | 51828 | 148497 | 200325 | 2 | 7 | 3.11 | 2.29 | 1073.74 | 480 | 0.07 | 1556.3 |
| telephony.3.pm | 3.77 | 56 | 47009 | 0 | 765381 | 2.39E+06 | 3.16E+06 | 2 | 3699 | 52.05 | 37.02 | 1073.74 | 480 | 0.07 | 1593.27 |
| telephony.4.pm | 60.47 | 56 | 1133794 | 0 | 1.23E+07 | 5.18E+07 | 6.41E+07 | 3 | 1.23E+06 | 835.83 | 590.42 | 1073.74 | 480 | 0.18 | 2202.45 |
| telephony.5.pm | 568.92 | 64 | 1629482 | 0 | 1.01E+08 | 4.48E+08 | 5.50E+08 | 3 | 9.33E+07 | 7710.75 | 5685.3 | 1073.74 | 480 | 1.83 | 7339.96 |
| telephony.6.pm | 653.94 | 64 | 462532 | 0 | 1.20E+08 | 5.09E+08 | 6.29E+08 | 3 | 1.25E+08 | 9110.97 | 5756.26 | 1073.74 | 480 | 0.96 | 7339.96 |
| telephony.7.pm | 112.17 | 64 | 1345692 | 0 | 2.20E+07 | 9.21E+07 | 1.14E+08 | 3 | 3.98E+06 | 1668.98 | 1054.63 | 1073.74 | 480 | 0.24 | 2693.15 |
| telephony.8.pm | 566.17 | 64 | 397109 | 0 | 1.03E+08 | 4.42E+08 | 5.45E+08 | 3 | 8.80E+07 | 7816.62 | 5763.37 | 1073.74 | 480 | 1.85 | 7339.96 |
| train-gate.1.pm | 0.99 | 132 | 10 | 1 | 7 | 0 | 7 | 3 | 0 | 0 | 0.29 | 1073.74 | 480 | 0.08 | 1553.95 |
| train-gate.2.pm | 0.99 | 164 | 10 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 3.00E+00 | 0.00E+00 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| train-gate.3.pm | 0.99 | 164 | 10 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 3.00E+00 | 0.00E+00 | 0 | 0.28 | 1073.74 | 480 | 0.08 | 1553.95 |
| train-gate.4.pm | 0.99 | 180 | 10 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 3.00E+00 | 0.00E+00 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| train-gate.5.pm | 0.99 | 180 | 10 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 3.00E+00 | 0.00E+00 | 0 | 0.27 | 1073.74 | 480 | 0.07 | 1553.95 |
| train-gate.6.pm | 0.99 | 188 | 10 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 3.00E+00 | 0.00E+00 | 0 | 0.27 | 1073.74 | 480 | 0.06 | 1553.95 |
| train-gate.7.pm | 0.99 | 204 | 10 | 1 | 7.00E+00 | 0.00E+00 | 7.00E+00 | 3.00E+00 | 0.00E+00 | 0 | 0.26 | 1073.74 | 480 | 0.06 | 1553.95 |
| Normal execution(BFS) | ||||||||||||||
| Machine | Aisy | Incomplete | ||||||||||||
| Compile options | -O3 -DSAFETY -DMEMLIM=7000 -DBFS | |||||||||||||
| Runtime options | -m10000000 -n -w27 | |||||||||||||
| State-vector(byte) | Memory(Mbyte) | |||||||||||||
| Time(sec) | State-vector | Depth | Error | Stored | Matched | Transitions | Atomic steps | Hash conflicts | Equivalent | Actual | Hash table | Lost | Total | |
| adding.1.pm | 0.69 | 36 | 15 | 1 | 1255 | 522 | 1777 | 0 | 0 | 0.06 | 0.41 | 1073.74 | 0.1 | 1074.05 |
| adding.2.pm | 0.72 | 36 | 24 | 1 | 22199 | 10242 | 3.24E+04 | 0 | 0 | 1.07 | 2.66 | 1073.74 | 0.1 | 1076.3 |
| adding.3.pm | 0.86 | 36 | 27 | 1 | 5.55E+04 | 2.59E+04 | 8.14E+04 | 0 | 0 | 2.66 | 6.14 | 1073.74 | 0.1 | 1079.78 |
| adding.4.pm | 0.77 | 36 | 27 | 1 | 5.55E+04 | 2.59E+04 | 8.14E+04 | 0 | 0 | 2.66 | 6.14 | 1073.74 | 0.1 | 1079.78 |
| adding.5.pm | 0.78 | 36 | 27 | 1 | 5.55E+04 | 2.59E+04 | 8.14E+04 | 0 | 0 | 2.66 | 6.14 | 1073.74 | 0.1 | 1079.78 |
| adding.6.pm | 0.92 | 36 | 30 | 1 | 1.37E+05 | 6.47E+04 | 2.02E+05 | 0 | 12 | 6.59 | 14.75 | 1073.74 | 0.1 | 1088.39 |
| anderson.1.pm | 1.32 | 36 | 1295 | 0 | 352667 | 351639 | 704306 | 1 | 133 | 16.93 | 25.7 | 1073.74 | 0.1 | 1099.34 |
| anderson.2.pm | 0.68 | 44 | 49 | 0 | 1463 | 2247 | 3710 | 2 | 0 | 0.08 | 0.4 | 1073.74 | 0.09 | 1074.05 |
| anderson.3.pm | 0.73 | 44 | 30 | 1 | 1.11E+04 | 1.40E+04 | 2.52E+04 | 2 | 0.00E+00 | 0.62 | 1.32 | 1073.74 | 0.09 | 1074.97 |
| anderson.4.pm | 0.77 | 52 | 85 | 0 | 29646 | 67876 | 97522 | 3 | 5 | 1.9 | 2.86 | 1073.74 | 0.09 | 1076.51 |
| anderson.5.pm | 223.21 | 60 | 51 | 1 | 5.15E+07 | 1.38E+08 | 1.89E+08 | 4 | 1.15E+07 | 3711.37 | 5507.38 | 1073.74 | 1.02 | 6580.1 |
| anderson.6.pm | 110.43 | 68 | 187 | 0 | 1.82E+07 | 6.88E+07 | 8.70E+07 | 5 | 2.78E+06 | 1456.55 | 1690.73 | 1073.74 | 0.31 | 2764.16 |
| anderson.7.pm | 230.96 | 68 | 44 | 0 | 5.01E+07 | 1.38E+08 | 1.88E+08 | 5 | 1.43E+07 | 4009.27 | 6267.66 | 1073.74 | 1.39 | 7340.01 |
| anderson.8.pm | 334.81 | 76 | 44 | 0 | 5.75E+07 | 1.90E+08 | 2.48E+08 | 6 | 3.08E+07 | 5060.36 | 6267.43 | 1073.74 | 1.16 | 7340.01 |
| at.1.pm | 0.79 | 52 | 42 | 0 | 39359 | 69085 | 108444 | 3 | 16 | 2.52 | 3.36 | 1073.74 | 0.08 | 1077.02 |
| at.2.pm | 0.83 | 52 | 52 | 0 | 49448 | 97498 | 146946 | 3 | 10 | 3.17 | 4.18 | 1073.74 | 0.08 | 1077.84 |
| at.3.pm | 7.77 | 60 | 75 | 0 | 1.71E+06 | 4.36E+06 | 6.08E+06 | 4 | 15531 | 123.24 | 152.56 | 1073.74 | 0.09 | 1226.22 |
| at.4.pm | 32.43 | 68 | 54 | 0 | 6.60E+06 | 1.89E+07 | 2.55E+07 | 5 | 263436 | 527.78 | 602.94 | 1073.74 | 0.11 | 1676.57 |
| at.5.pm | 162.52 | 68 | 57 | 0 | 3.20E+07 | 9.32E+07 | 1.25E+08 | 5 | 6.50E+06 | 2559.96 | 2921.62 | 1073.74 | 0.25 | 3995.11 |
| at.6.pm | 288.81 | 68 | 42 | 0 | 6.22E+07 | 1.58E+08 | 2.20E+08 | 5 | 2.07E+07 | 4975.49 | 6266.93 | 1073.74 | 0.67 | 7340.01 |
| at.7.pm | 249.85 | 76 | 34 | 0 | 5.53E+07 | 1.28E+08 | 1.83E+08 | 6 | 1.39E+07 | 4869.81 | 6267.49 | 1073.74 | 1.22 | 7340.01 |
| bakery.1.pm | 0.69 | 32 | 87 | 1 | 1357 | 1054 | 2411 | 0 | 0 | 0.06 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| bakery.2.pm | 0.69 | 32 | 57 | 1 | 1019 | 817 | 1836 | 0 | 0 | 0.05 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| bakery.3.pm | 0.71 | 40 | 40 | 1 | 11350 | 16355 | 27705 | 0 | 4 | 0.59 | 1.22 | 1073.74 | 0.09 | 1074.87 |
| bakery.4.pm | 0.92 | 40 | 66 | 1 | 96745 | 149847 | 246592 | 0 | 26 | 5.03 | 8.49 | 1073.74 | 0.09 | 1082.14 |
| bakery.5.pm | 8.06 | 48 | 87 | 1 | 2.04E+06 | 4.70E+06 | 6.74E+06 | 0 | 17868 | 122.38 | 172.13 | 1073.74 | 0.1 | 1245.77 |
| bakery.6.pm | 10.19 | 48 | 55 | 1 | 2.79E+06 | 6.07E+06 | 8.86E+06 | 0 | 32361 | 167.22 | 249.57 | 1073.74 | 0.13 | 1323.19 |
| bakery.7.pm | 39.89 | 48 | 167 | 1 | 1.04E+07 | 2.50E+07 | 3.54E+07 | 0 | 4.54E+05 | 625.13 | 854.65 | 1073.74 | 0.12 | 1928.27 |
| bakery.8.pm | 76.47 | 56 | 53 | 1 | 1.71E+07 | 5.08E+07 | 6.80E+07 | 0 | 1.78E+06 | 1163.97 | 1635.96 | 1073.74 | 0.33 | 2709.38 |
| blocks.2.pm | 0.69 | 36 | 20 | 0 | 7059 | 11496 | 18555 | 0 | 0 | 0.34 | 1.02 | 1073.74 | 0.09 | 1074.66 |
| blocks.3.pm | 3.24 | 36 | 23 | 1 | 695420 | 1.39E+06 | 2.09E+06 | 0 | 1960 | 33.38 | 71.27 | 1073.74 | 0.1 | 1144.91 |
| blocks.4.pm | 185.85 | 44 | 27 | 0 | 4.93E+07 | 1.02E+08 | 1.51E+08 | 0 | 1.02E+07 | 2763.19 | 6267.53 | 1073.74 | 1.27 | 7340.01 |
| bopdp.1.pm | 0.74 | 124 | 72 | 0 | 20195 | 10688 | 30883 | 54 | 0 | 2.75 | 3.14 | 1073.74 | 0.07 | 1076.81 |
| bopdp.2.pm | 0.79 | 124 | 140 | 0 | 31310 | 33944 | 65254 | 43 | 3 | 4.26 | 4.78 | 1073.74 | 0.07 | 1078.45 |
| bopdp.3.pm | 6.52 | 124 | 146 | 0 | 1.34E+06 | 1.29E+06 | 2.63E+06 | 1882 | 3497 | 182.26 | 194.52 | 1073.74 | 0.16 | 1268.1 |
| bridge.1.pm | 0.73 | 68 | 29 | 1 | 22299 | 11504 | 33803 | 6727 | 0 | 1.78 | 3.06 | 1073.74 | 0.09 | 1076.71 |
| bridge.2.pm | 1.98 | 84 | 32 | 1 | 4.41E+05 | 3.03E+05 | 7.43E+05 | 1.31E+05 | 2.94E+02 | 42.3 | 62.25 | 1073.74 | 0.1 | 1135.9 |
| bridge.3.pm | 11.47 | 100 | 32 | 1 | 3.41E+06 | 2.34E+06 | 5.75E+06 | 9.28E+05 | 1.80E+04 | 382.21 | 554.52 | 1073.74 | 0.22 | 1628.03 |
| brp.1.pm | 0.76 | 148 | 177 | 0 | 24143 | 13783 | 37926 | 5351 | 0 | 3.86 | 4.69 | 1073.74 | 0.08 | 1078.35 |
| brp.2.pm | 0.85 | 148 | 231 | 0 | 48849 | 33168 | 82017 | 10856 | 0 | 7.82 | 9.2 | 1073.74 | 0.08 | 1082.86 |
| brp.3.pm | 7.74 | 148 | 515 | 0 | 1.64E+06 | 1.10E+06 | 2.74E+06 | 356606 | 3267 | 262.33 | 296.37 | 1073.74 | 0.23 | 1369.88 |
| brp.4.pm | 92.23 | 148 | 955 | 0 | 2.06E+07 | 1.35E+07 | 3.41E+07 | 4.50E+06 | 506373 | 3292.08 | 3701.06 | 1073.74 | 1.96 | 4772.84 |
| brp.5.pm | 137.25 | 148 | 1075 | 0 | 3.04E+07 | 2.00E+07 | 5.04E+07 | 6.67E+06 | 1.16E+06 | 4857.76 | 5460.43 | 1073.74 | 2.92 | 6531.25 |
| brp.6.pm | 155.37 | 148 | 492 | 0 | 3.48E+07 | 2.18E+07 | 5.67E+07 | 7.50E+06 | 1.59E+06 | 5572.57 | 6269.56 | 1073.74 | 3.29 | 7340.01 |
| cambridge.1.pm | 0.69 | 200 | 8 | 1 | 413 | 3.50E+02 | 7.63E+02 | 82 | 0 | 0.09 | 0.38 | 1073.74 | 0.07 | 1074.05 |
| cambridge.2.pm | 0.69 | 200 | 8 | 1 | 5.61E+02 | 5.18E+02 | 1.08E+03 | 118 | 0 | 0.12 | 0.38 | 1073.74 | 0.07 | 1074.05 |
| cambridge.3.pm | 0.68 | 212 | 8 | 1 | 4.13E+02 | 3.50E+02 | 7.63E+02 | 82 | 0 | 0.09 | 0.38 | 1073.74 | 0.07 | 1074.05 |
| cambridge.4.pm | 0.69 | 212 | 8 | 1 | 4.13E+02 | 3.50E+02 | 7.63E+02 | 8.20E+01 | 0 | 0.09 | 0.38 | 1073.74 | 0.07 | 1074.05 |
| cambridge.5.pm | 0.69 | 216 | 8 | 1 | 5.61E+02 | 5.18E+02 | 1.08E+03 | 1.18E+02 | 0.00E+00 | 0.13 | 0.48 | 1073.74 | 0.07 | 1074.15 |
| cambridge.6.pm | 0.69 | 228 | 8 | 1 | 4.13E+02 | 3.50E+02 | 7.63E+02 | 8.20E+01 | 0.00E+00 | 0.1 | 0.37 | 1073.74 | 0.07 | 1074.05 |
| cambridge.7.pm | 0.68 | 244 | 8 | 1 | 5.61E+02 | 5.18E+02 | 1.08E+03 | 1.18E+02 | 0.00E+00 | 0.14 | 0.47 | 1073.74 | 0.06 | 1074.15 |
| driving_phils.1.pm | 0.69 | 64 | 127 | 0 | 5203 | 4917 | 10120 | 0 | 0 | 0.4 | 0.91 | 1073.74 | 0.09 | 1074.56 |
| driving_phils.2.pm | 0.7 | 88 | 77 | 0 | 7575 | 11652 | 19227 | 0 | 0 | 0.76 | 1.42 | 1073.74 | 0.09 | 1075.07 |
| driving_phils.3.pm | 186.47 | 88 | 204 | 0 | 4.31E+07 | 6.54E+07 | 1.09E+08 | 0 | 4.98E+06 | 4314.68 | 6269.69 | 1073.74 | 3.42 | 7340.01 |
| driving_phils.4.pm | 50.41 | 88 | 366 | 0 | 1.12E+07 | 1.84E+07 | 2.96E+07 | 0 | 408899 | 1117.81 | 1591.32 | 1073.74 | 0.95 | 2664.12 |
| driving_phils.5.pm | 144.04 | 96 | 145 | 0 | 3.54E+07 | 4.89E+07 | 8.43E+07 | 0 | 3.43E+06 | 3819.03 | 6268.15 | 1073.74 | 1.88 | 7340.01 |
| elevator.1.pm | 1.86 | 112 | 98 | 0 | 227311 | 362752 | 590063 | 79858 | 128 | 28.19 | 40.03 | 1073.74 | 0.1 | 1113.68 |
| elevator.2.pm | 0.94 | 112 | 82 | 0 | 60483 | 88218 | 148701 | 21296 | 17 | 7.5 | 10.74 | 1073.74 | 0.09 | 1084.39 |
| elevator.3.pm | 199.14 | 152 | 74 | 0 | 2.74E+07 | 6.60E+07 | 9.34E+07 | 8.37E+06 | 3.84E+06 | 4491.46 | 6269.64 | 1073.74 | 3.37 | 7340.01 |
| elevator.4.pm | 187.22 | 184 | 54 | 0 | 2.27E+07 | 6.27E+07 | 8.55E+07 | 6.40E+06 | 2.84E+06 | 4452.77 | 6270.52 | 1073.74 | 4.25 | 7340.01 |
| elevator.5.pm | 123.69 | 240 | 25 | 0 | 1.48E+07 | 3.58E+07 | 5.06E+07 | 4.21E+06 | 1.08E+06 | 3732.2 | 6272.09 | 1073.74 | 5.83 | 7340.01 |
| elevator2.1.pm | 0.68 | 44 | 33 | 0 | 1728 | 3041 | 4769 | 0 | 0 | 0.1 | 0.4 | 1073.74 | 0.1 | 1074.05 |
| elevator2.2.pm | 1.59 | 52 | 30 | 0 | 179200 | 857601 | 1.04E+06 | 0 | 275 | 11.47 | 18.22 | 1073.74 | 0.1 | 1091.87 |
| elevator2.3.pm | 48.35 | 52 | 78 | 0 | 7.67E+06 | 4.77E+07 | 5.54E+07 | 0 | 602544 | 490.73 | 711.87 | 1073.74 | 0.19 | 1785.42 |
| elevator_planning.1.pm | 0.72 | 44 | 17 | 1 | 13113 | 43546 | 56659 | 0 | 1 | 0.73 | 2.04 | 1073.74 | 0.1 | 1075.69 |
| elevator_planning.2.pm | 15.27 | 52 | 19 | 1 | 3.10E+06 | 1.37E+07 | 1.68E+07 | 0 | 8.02E+04 | 198.49 | 481.81 | 1073.74 | 0.23 | 1555.33 |
| elevator_planning.3.pm | 0.91 | 44 | 16 | 1 | 46999 | 277780 | 324779 | 0 | 24 | 2.63 | 6.14 | 1073.74 | 0.1 | 1079.78 |
| extinction.1.pm | 0.74 | 136 | 26 | 1 | 14195 | 2.22E+04 | 3.64E+04 | 4918 | 0 | 2.1 | 3.03 | 1073.74 | 0.06 | 1076.71 |
| extinction.2.pm | 0.75 | 160 | 26 | 1 | 1.42E+04 | 2.22E+04 | 3.64E+04 | 4918 | 0 | 2.44 | 3.44 | 1073.74 | 0.06 | 1077.12 |
| extinction.3.pm | 53.33 | 176 | 73 | 1 | 6.66E+06 | 1.80E+07 | 2.47E+07 | 1.78E+06 | 3.08E+05 | 1252.17 | 1442.88 | 1073.74 | 0.89 | 2515.74 |
| extinction.4.pm | 249.2 | 176 | 83 | 0 | 2.82E+07 | 8.88E+07 | 1.17E+08 | 7.54E+06 | 6.65E+06 | 5298.82 | 6269.87 | 1073.74 | 3.6 | 7340.01 |
| firewire_link.1.pm | 0.69 | 292 | 19 | 1 | 26 | 0 | 26 | 4 | 0 | 0.01 | 0.4 | 1073.74 | 0.09 | 1074.05 |
| firewire_link.2.pm | 0.68 | 300 | 30 | 1 | 395 | 116 | 511 | 66 | 0 | 0.12 | 0.5 | 1073.74 | 0.09 | 1074.15 |
| firewire_link.3.pm | 171.75 | 292 | 212 | 0 | 1.85E+07 | 3.50E+07 | 5.35E+07 | 4.23E+06 | 1.55E+06 | 5617.61 | 6273.12 | 1073.74 | 6.85 | 7340.01 |
| firewire_link.4.pm | 0.68 | 420 | 19 | 1 | 26 | 0 | 26 | 4 | 0 | 0.01 | 0.34 | 1073.74 | 0.04 | 1074.05 |
| firewire_link.5.pm | 0.72 | 436 | 41 | 1 | 4.63E+03 | 2.20E+03 | 6.83E+03 | 6.90E+02 | 0 | 2.08 | 2.39 | 1073.74 | 0.04 | 1076.1 |
| firewire_link.6.pm | 125.51 | 420 | 79 | 0 | 1.20E+07 | 1.74E+07 | 2.94E+07 | 2.68E+06 | 5.34E+05 | 5171.61 | 6277.14 | 1073.74 | 10.87 | 7340.01 |
| firewire_link.7.pm | 0.69 | 564 | 19 | 1 | 26 | 0 | 26 | 4 | 0 | 0.02 | 0.5 | 1073.74 | 0.09 | 1074.15 |
| fischer.1.pm | 0.68 | 52 | 22 | 0 | 639 | 762 | 1401 | 3 | 0 | 0.04 | 0.3 | 1073.74 | 0.09 | 1073.95 |
| fischer.2.pm | 0.75 | 60 | 55 | 0 | 21739 | 45858 | 67597 | 4 | 5 | 1.57 | 2.14 | 1073.74 | 0.09 | 1075.79 |
| fischer.3.pm | 17.36 | 76 | 87 | 0 | 2.90E+06 | 9.38E+06 | 1.23E+07 | 6 | 55942 | 254.91 | 262.45 | 1073.74 | 0.1 | 1336.09 |
| fischer.4.pm | 7.47 | 84 | 38 | 0 | 1.27E+06 | 3.34E+06 | 4.61E+06 | 7 | 9614 | 122.14 | 135.17 | 1073.74 | 0.11 | 1208.81 |
| fischer.5.pm | 376.11 | 84 | 46 | 0 | 5.87E+07 | 1.98E+08 | 2.56E+08 | 7 | 2.28E+07 | 5634.14 | 6267.42 | 1073.74 | 1.15 | 7340.01 |
| fischer.6.pm | 51.27 | 92 | 42 | 0 | 8.32E+06 | 2.51E+07 | 3.35E+07 | 8 | 458404 | 865.46 | 893.17 | 1073.74 | 0.24 | 1966.67 |
| fischer.7.pm | 304.88 | 92 | 33 | 0 | 5.20E+07 | 1.56E+08 | 2.08E+08 | 8 | 1.72E+07 | 5408.91 | 6267.63 | 1073.74 | 1.37 | 7340.01 |
| frogs.1.pm | 0.68 | 60 | 12 | 1 | 89 | 8 | 97 | 2 | 0 | 0.01 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| frogs.2.pm | 0.68 | 52 | 9 | 1 | 139 | 20 | 159 | 2 | 0 | 0.01 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| frogs.3.pm | 0.68 | 68 | 12 | 1 | 104 | 10 | 114 | 2 | 0 | 0.01 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| frogs.4.pm | 0.68 | 68 | 8 | 1 | 1.01E+02 | 2.20E+01 | 1.23E+02 | 2 | 0 | 0.01 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| frogs.5.pm | 0.74 | 68 | 8 | 1 | 1.09E+02 | 2.30E+01 | 1.32E+02 | 2 | 0.00E+00 | 0.01 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| gear.1.pm | 0.69 | 204 | 15 | 1 | 343 | 135 | 478 | 95 | 0 | 0.07 | 0.37 | 1073.74 | 0.06 | 1074.05 |
| gear.2.pm | 0.68 | 204 | 15 | 1 | 343 | 135 | 478 | 95 | 0 | 0.07 | 0.37 | 1073.74 | 0.06 | 1074.05 |
| hanoi.1.pm | 0.71 | 92 | 262 | 0 | 6568 | 13120 | 19688 | 5 | 0 | 0.68 | 1.02 | 1073.74 | 0.1 | 1074.66 |
| hanoi.2.pm | 2.99 | 100 | 4102 | 0 | 531448 | 1.06E+06 | 1.59E+06 | 5 | 1464 | 59.52 | 60.74 | 1073.74 | 0.12 | 1134.36 |
| hanoi.3.pm | 72.08 | 116 | 32774 | 0 | 1.43E+07 | 2.87E+07 | 4.30E+07 | 5 | 1.09E+06 | 1836.66 | 1845.05 | 1073.74 | 0.11 | 2918.68 |
| hanoi.4.pm | 262.83 | 116 | 78852 | 0 | 4.88E+07 | 9.76E+07 | 1.46E+08 | 5 | 1.42E+07 | 6249.38 | 6266.36 | 1073.74 | 0.1 | 7340.01 |
| iprotocol.1.pm | 0.92 | 152 | 98 | 0 | 51599 | 84856 | 136455 | 3965 | 17 | 8.46 | 10.02 | 1073.74 | 0.09 | 1083.68 |
| iprotocol.2.pm | 1.77 | 152 | 180 | 0 | 211228 | 357001 | 568229 | 16352 | 186 | 34.64 | 39.73 | 1073.74 | 0.1 | 1113.37 |
| iprotocol.3.pm | 45.42 | 156 | 368 | 0 | 7.49E+06 | 1.33E+07 | 2.08E+07 | 612688 | 235407 | 1259.08 | 1448.18 | 1073.74 | 0.86 | 2521.06 |
| iprotocol.4.pm | 135.13 | 160 | 312 | 0 | 2.24E+07 | 3.89E+07 | 6.13E+07 | 1.80E+06 | 2.11E+06 | 3850.2 | 4330.36 | 1073.74 | 2.42 | 5401.68 |
| iprotocol.5.pm | 176.81 | 164 | 163 | 0 | 3.04E+07 | 4.84E+07 | 7.88E+07 | 2.47E+06 | 3.56E+06 | 5342.61 | 6269.97 | 1073.74 | 3.7 | 7340.01 |
| iprotocol.6.pm | 185.03 | 164 | 249 | 0 | 3.08E+07 | 5.16E+07 | 8.24E+07 | 2.49E+06 | 3.80E+06 | 5420.64 | 6269.95 | 1073.74 | 3.68 | 7340.01 |
| iprotocol.7.pm | 183.87 | 168 | 202 | 0 | 3.06E+07 | 4.99E+07 | 8.05E+07 | 2.48E+06 | 3.65E+06 | 5507.82 | 6269.97 | 1073.74 | 3.71 | 7340.01 |
| krebs.1.pm | 0.7 | 76 | 19 | 1 | 6483 | 9017 | 15500 | 1369 | 0 | 0.57 | 1.02 | 1073.74 | 0.1 | 1074.66 |
| krebs.2.pm | 0.77 | 84 | 19 | 1 | 27317 | 4.13E+04 | 6.86E+04 | 4683 | 14 | 2.62 | 3.88 | 1073.74 | 0.09 | 1077.53 |
| krebs.3.pm | 0.79 | 84 | 19 | 1 | 3.40E+04 | 5.11E+04 | 8.51E+04 | 5.61E+03 | 5 | 3.26 | 4.91 | 1073.74 | 0.09 | 1078.56 |
| krebs.4.pm | 0.94 | 92 | 19 | 1 | 7.41E+04 | 1.10E+05 | 1.84E+05 | 1.05E+04 | 1.30E+01 | 7.71 | 10.95 | 1073.74 | 0.09 | 1084.6 |
| lamport.1.pm | 0.69 | 36 | 36 | 0 | 6727 | 10563 | 17290 | 0 | 1 | 0.32 | 0.8 | 1073.74 | 0.09 | 1074.46 |
| lamport.2.pm | 0.69 | 36 | 11 | 1 | 1254 | 1012 | 2266 | 0 | 0 | 0.06 | 0.39 | 1073.74 | 0.09 | 1074.05 |
| lamport.3.pm | 0.69 | 36 | 15 | 1 | 2692 | 3268 | 5960 | 0 | 0 | 0.13 | 0.5 | 1073.74 | 0.09 | 1074.15 |
| lamport.5.pm | 1.25 | 44 | 54 | 0 | 175584 | 406137 | 581721 | 0 | 189 | 9.83 | 15.54 | 1073.74 | 0.08 | 1089.2 |
| lamport.6.pm | 0.73 | 44 | 14 | 1 | 22282 | 2.91E+04 | 5.14E+04 | 0 | 0 | 1.25 | 2.95 | 1073.74 | 0.08 | 1076.61 |
| lamport.7.pm | 20.88 | 52 | 74 | 0 | 4.72E+06 | 1.44E+07 | 1.92E+07 | 0 | 168477 | 302.13 | 412.68 | 1073.74 | 0.11 | 1486.31 |
| lamport.8.pm | 3.4 | 52 | 23 | 1 | 7.53E+05 | 1.92E+06 | 2.67E+06 | 0 | 3414 | 48.22 | 74.74 | 1073.74 | 0.09 | 1148.39 |
| lamport_nonatomic.1.pm | 2.26 | 136 | 78 | 0 | 385914 | 328437 | 714351 | 18957 | 407 | 57.12 | 69.31 | 1073.74 | 0.09 | 1142.96 |
| lamport_nonatomic.2.pm | 2.17 | 136 | 108 | 0 | 353348 | 331374 | 684722 | 17563 | 344 | 52.3 | 63.27 | 1073.74 | 0.09 | 1136.92 |
| lamport_nonatomic.3.pm | 3.98 | 136 | 86 | 0 | 795346 | 682225 | 1.48E+06 | 37029 | 1819 | 117.71 | 142.15 | 1073.74 | 0.12 | 1215.77 |
| lamport_nonatomic.4.pm | 159.96 | 184 | 66 | 0 | 2.87E+07 | 3.17E+07 | 6.03E+07 | 1.24E+06 | 2.78E+06 | 5615.94 | 6269.39 | 1073.74 | 3.12 | 7340.01 |
| lamport_nonatomic.5.pm | 123.51 | 224 | 40 | 0 | 2.12E+07 | 2.31E+07 | 4.44E+07 | 6.78E+05 | 1.48E+06 | 5009.28 | 6271.25 | 1073.74 | 4.99 | 7340.01 |
| lann.1.pm | 2 | 108 | 240 | 0 | 274202 | 473407 | 747609 | 41493 | 300 | 32.9 | 42.39 | 1073.74 | 0.1 | 1116.03 |
| lann.2.pm | 1.89 | 140 | 114 | 0 | 270926 | 247439 | 518365 | 41642 | 194 | 41.18 | 46.07 | 1073.74 | 0.09 | 1119.72 |
| lann.3.pm | 0.82 | 140 | 24 | 1 | 3.37E+04 | 3.20E+04 | 6.57E+04 | 6.04E+03 | 0.00E+00 | 5.12 | 6.74 | 1073.74 | 0.08 | 1080.4 |
| lann.4.pm | 203.77 | 172 | 128 | 0 | 3.01E+07 | 5.06E+07 | 8.07E+07 | 6.37E+06 | 3.72E+06 | 5534.91 | 6269.9 | 1073.74 | 3.63 | 7340.01 |
| lann.5.pm | 174.02 | 212 | 80 | 0 | 2.69E+07 | 3.30E+07 | 5.99E+07 | 5.02E+06 | 2.44E+06 | 6024.98 | 6270.68 | 1073.74 | 4.42 | 7340.01 |
| lann.6.pm | 0.92 | 140 | 24 | 1 | 6.20E+04 | 5.09E+04 | 1.13E+05 | 1.26E+04 | 9.00E+00 | 9.42 | 12.99 | 1073.74 | 0.08 | 1086.64 |
| lann.7.pm | 2.57 | 172 | 29 | 1 | 3.92E+05 | 4.24E+05 | 8.15E+05 | 7.87E+04 | 4.17E+02 | 72.07 | 88.49 | 1073.74 | 0.12 | 1162.11 |
| lann.8.pm | 4.24 | 172 | 29 | 1 | 7.82E+05 | 7.36E+05 | 1.52E+06 | 1.73E+05 | 1.60E+03 | 143.94 | 186.14 | 1073.74 | 0.18 | 1259.7 |
| leader_filters.1.pm | 0.68 | 44 | 13 | 1 | 1426 | 1239 | 2665 | 0 | 0 | 0.08 | 0.4 | 1073.74 | 0.09 | 1074.05 |
| leader_filters.2.pm | 0.7 | 36 | 23 | 1 | 8794 | 7510 | 16304 | 0 | 0 | 0.42 | 1.11 | 1073.74 | 0.09 | 1074.77 |
| leader_filters.3.pm | 0.71 | 52 | 14 | 1 | 10901 | 14328 | 25229 | 0 | 2 | 0.7 | 1.52 | 1073.74 | 0.09 | 1075.18 |
| leader_filters.4.pm | 0.7 | 52 | 14 | 1 | 10629 | 9752 | 20381 | 0 | 0 | 0.68 | 1.52 | 1073.74 | 0.09 | 1075.18 |
| leader_filters.5.pm | 0.89 | 60 | 15 | 1 | 7.20E+04 | 1.25E+05 | 1.97E+05 | 0 | 16 | 5.18 | 9.4 | 1073.74 | 0.08 | 1083.06 |
| leader_filters.6.pm | 18.94 | 60 | 35 | 1 | 5.85E+06 | 9.76E+06 | 1.56E+07 | 0 | 1.10E+05 | 421.46 | 633.24 | 1073.74 | 0.2 | 1706.78 |
| leader_filters.7.pm | 2.14 | 68 | 16 | 1 | 4.31E+05 | 9.30E+05 | 1.36E+06 | 0 | 6.84E+02 | 34.47 | 61.84 | 1073.74 | 0.1 | 1135.49 |
| loyd.1.pm | 0.68 | 36 | 40 | 0 | 723 | 962 | 1685 | 1 | 0 | 0.04 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| loyd.2.pm | 1.89 | 44 | 63 | 0 | 362883 | 604802 | 967685 | 1 | 489 | 20.32 | 32.56 | 1073.74 | 0.1 | 1106.2 |
| loyd.3.pm | 155.05 | 44 | 34 | 0 | 5.45E+07 | 6.17E+07 | 1.16E+08 | 1 | 7.16E+06 | 3049.46 | 6267.45 | 1073.74 | 1.18 | 7340.01 |
| mcs.1.pm | 0.69 | 44 | 52 | 0 | 4188 | 5814 | 10002 | 2 | 0 | 0.24 | 0.6 | 1073.74 | 0.09 | 1074.25 |
| mcs.2.pm | 0.68 | 44 | 24 | 1 | 696 | 533 | 1229 | 2 | 0 | 0.04 | 0.29 | 1073.74 | 0.09 | 1073.95 |
| mcs.3.pm | 1.63 | 52 | 74 | 0 | 278424 | 599851 | 878275 | 3 | 357 | 17.82 | 24.04 | 1073.74 | 0.08 | 1097.7 |
| mcs.4.pm | 0.69 | 52 | 25 | 1 | 3993 | 5461 | 9454 | 3 | 0 | 0.26 | 0.59 | 1073.74 | 0.08 | 1074.25 |
| mcs.5.pm | 135.9 | 68 | 96 | 0 | 2.78E+07 | 8.19E+07 | 1.10E+08 | 4 | 5.08E+06 | 2224.38 | 2601.01 | 1073.74 | 0.46 | 3674.29 |
| mcs.6.pm | 0.8 | 68 | 31 | 1 | 36598 | 62269 | 98867 | 4 | 0 | 2.93 | 4.17 | 1073.74 | 0.08 | 1077.84 |
| msmie.1.pm | 0.68 | 60 | 18 | 1 | 189 | 23 | 212 | 4 | 0 | 0.01 | 0.28 | 1073.74 | 0.07 | 1073.95 |
| msmie.2.pm | 0.69 | 124 | 26 | 1 | 347 | 40 | 387 | 12 | 0 | 0.05 | 0.24 | 1073.74 | 0.04 | 1073.95 |
| msmie.3.pm | 0.69 | 124 | 26 | 1 | 1107 | 186 | 1293 | 12 | 0 | 0.15 | 0.32 | 1073.74 | 0.01 | 1074.05 |
| msmie.4.pm | 0.7 | 180 | 33 | 1 | 3.27E+03 | 5.30E+02 | 3.80E+03 | 19 | 0 | 0.63 | 0.97 | 1073.74 | 0.05 | 1074.66 |
| needham.1.pm | 0.69 | 84 | 25 | 0 | 3273 | 497 | 3770 | 288 | 0 | 0.31 | 0.69 | 1073.74 | 0.08 | 1074.36 |
| needham.2.pm | 0.88 | 116 | 40 | 0 | 67020 | 18622 | 85642 | 1740 | 4 | 8.58 | 12.57 | 1073.74 | 0.08 | 1086.24 |
| needham.3.pm | 1.83 | 132 | 47 | 0 | 346532 | 136317 | 482849 | 11396 | 244 | 49.9 | 66.04 | 1073.74 | 0.09 | 1139.69 |
| needham.4.pm | 13.9 | 148 | 54 | 0 | 3.45E+06 | 1.91E+06 | 5.36E+06 | 94160 | 23701 | 552.04 | 713.96 | 1073.74 | 0.44 | 1787.27 |
| peg_solitaire.1.pm | 0.68 | 36 | 5 | 1 | 267 | 83 | 350 | 0 | 0 | 0.01 | 0.29 | 1073.74 | 0.09 | 1073.95 |
| peg_solitaire.2.pm | 0.75 | 68 | 8 | 1 | 7.46E+03 | 6.74E+03 | 1.42E+04 | 0 | 0.00E+00 | 0.6 | 2.21 | 1073.74 | 0.06 | 1075.89 |
| peg_solitaire.3.pm | 371.36 | 68 | 11 | 0 | 2.36E+07 | 7.81E+07 | 1.02E+08 | 0 | 3.78E+06 | 1888.56 | 6268.53 | 1073.74 | 2.27 | 7340.01 |
| peg_solitaire.4.pm | 0.81 | 44 | 10 | 1 | 31692 | 5.93E+04 | 9.09E+04 | 0 | 3 | 1.78 | 6.23 | 1073.74 | 0.08 | 1079.89 |
| peg_solitaire.5.pm | 1.07 | 68 | 8 | 1 | 30421 | 65625 | 96046 | 0 | 9 | 2.43 | 6.71 | 1073.74 | 0.06 | 1080.4 |
| peg_solitaire.6.pm | 1.21 | 60 | 10 | 1 | 1.18E+05 | 1.91E+05 | 3.09E+05 | 0 | 5.70E+01 | 8.49 | 28.75 | 1073.74 | 0.08 | 1102.41 |
| peterson.1.pm | 0.7 | 40 | 53 | 0 | 8387 | 13218 | 21605 | 0 | 0 | 0.44 | 0.91 | 1073.74 | 0.09 | 1074.56 |
| peterson.2.pm | 0.99 | 40 | 51 | 0 | 113828 | 202350 | 316178 | 0 | 30 | 5.92 | 10.44 | 1073.74 | 0.1 | 1084.08 |
| peterson.3.pm | 0.77 | 40 | 42 | 0 | 33996 | 62289 | 96285 | 0 | 1 | 1.77 | 2.96 | 1073.74 | 0.09 | 1076.61 |
| peterson.4.pm | 3.85 | 48 | 178 | 0 | 840905 | 2.09E+06 | 2.93E+06 | 0 | 4349 | 50.45 | 70.34 | 1073.74 | 0.09 | 1143.99 |
| peterson.5.pm | 264.79 | 48 | 55 | 0 | 6.85E+07 | 1.69E+08 | 2.37E+08 | 0 | 2.20E+07 | 4109.71 | 6267.03 | 1073.74 | 0.76 | 7340.01 |
| peterson.6.pm | 36.66 | 48 | 163 | 0 | 8.83E+06 | 2.48E+07 | 3.36E+07 | 0 | 472202 | 530.09 | 760.46 | 1073.74 | 0.14 | 1834.06 |
| peterson.7.pm | 336.56 | 56 | 102 | 0 | 6.80E+07 | 2.15E+08 | 2.83E+08 | 0 | 3.40E+07 | 4626.45 | 6267.2 | 1073.74 | 0.94 | 7340.01 |
| phils.1.pm | 0.68 | 44 | 4 | 1 | 50 | 52 | 102 | 0 | 0 | 0 | 0.3 | 1073.74 | 0.1 | 1073.95 |
| phils.2.pm | 0.84 | 52 | 12 | 0 | 581 | 1770 | 2351 | 0 | 0 | 0.04 | 0.29 | 1073.74 | 0.09 | 1073.95 |
| phils.3.pm | 0.68 | 60 | 16 | 0 | 729 | 2188 | 2917 | 0 | 0 | 0.05 | 0.3 | 1073.74 | 0.09 | 1073.95 |
| phils.4.pm | 3.83 | 84 | 28 | 0 | 340789 | 2.78E+06 | 3.12E+06 | 0 | 1661 | 32.72 | 37.46 | 1073.74 | 0.09 | 1111.12 |
| phils.5.pm | 2.59 | 116 | 12 | 1 | 248639 | 1.35E+06 | 1.60E+06 | 0 | 541 | 31.83 | 35.73 | 1073.74 | 0.09 | 1109.38 |
| phils.6.pm | 72.27 | 140 | 15 | 1 | 6.31E+06 | 4.50E+07 | 5.13E+07 | 0 | 5.21E+05 | 958.77 | 975.95 | 1073.74 | 0.39 | 2049.31 |
| phils.7.pm | 708.25 | 124 | 19 | 0 | 4.80E+07 | 5.03E+08 | 5.51E+08 | 0 | 4.39E+07 | 6526.55 | 6268.1 | 1073.74 | 1.84 | 7340.01 |
| phils.8.pm | 235.05 | 148 | 16 | 1 | 1.86E+07 | 1.43E+08 | 1.62E+08 | 0 | 4.89E+06 | 2971.19 | 2885.99 | 1073.74 | 1.07 | 3958.66 |
| pouring.1.pm | 0.77 | 580 | 25 | 0 | 8265 | 7810 | 16075 | 0 | 0 | 4.89 | 6.38 | 1073.74 | 0.04 | 1080.09 |
| pouring.2.pm | 24.98 | 604 | 29 | 0 | 1.85E+06 | 1.57E+06 | 3.42E+06 | 0 | 5098 | 1138.58 | 1438.09 | 1073.74 | 3.67 | 2508.16 |
| production_cell.1.pm | 3.27 | 264 | 117 | 0 | 337656 | 544322 | 881978 | 33140 | 604 | 93.19 | 96.52 | 1073.74 | 0.16 | 1170.1 |
| production_cell.2.pm | 3.27 | 264 | 117 | 0 | 337656 | 544322 | 881978 | 33140 | 604 | 93.19 | 96.52 | 1073.74 | 0.16 | 1170.1 |
| production_cell.3.pm | 157.01 | 392 | 90 | 0 | 1.43E+07 | 2.85E+07 | 4.28E+07 | 9.77E+05 | 888941 | 5767.77 | 6275.44 | 1073.74 | 9.17 | 7340.01 |
| production_cell.4.pm | 156.97 | 392 | 90 | 0 | 1.43E+07 | 2.85E+07 | 4.28E+07 | 9.77E+05 | 888941 | 5767.77 | 6275.44 | 1073.74 | 9.17 | 7340.01 |
| production_cell.5.pm | 180.52 | 480 | 70 | 0 | 1.21E+07 | 3.37E+07 | 4.58E+07 | 6.03E+05 | 9.08E+05 | 5975.25 | 6277.99 | 1073.74 | 11.73 | 7340.01 |
| production_cell.6.pm | 158.17 | 568 | 53 | 0 | 9.79E+06 | 2.58E+07 | 3.56E+07 | 4.33E+05 | 6.06E+05 | 5675.39 | 6280.48 | 1073.74 | 14.21 | 7340.01 |
| protocols.1.pm | 0.69 | 108 | 47 | 0 | 3481 | 1450 | 4931 | 0 | 0 | 0.42 | 0.71 | 1073.74 | 0.09 | 1074.36 |
| protocols.2.pm | 0.73 | 112 | 134 | 0 | 17879 | 11348 | 29227 | 0 | 0 | 2.22 | 2.76 | 1073.74 | 0.09 | 1076.4 |
| protocols.3.pm | 0.75 | 112 | 90 | 0 | 21247 | 24268 | 45515 | 1424 | 10 | 2.64 | 3.37 | 1073.74 | 0.09 | 1077.02 |
| protocols.4.pm | 23.45 | 112 | 206 | 0 | 4.80E+06 | 7.04E+06 | 1.18E+07 | 429336 | 90284 | 594.89 | 692.97 | 1073.74 | 0.34 | 1766.38 |
| protocols.5.pm | 59.02 | 112 | 264 | 0 | 1.19E+07 | 1.79E+07 | 2.98E+07 | 1.16E+06 | 573867 | 1480.1 | 1721.53 | 1073.74 | 0.7 | 2794.57 |
| public_subscribe.1.pm | 0.69 | 116 | 85 | 0 | 1547 | 581 | 2128 | 332 | 0 | 0.2 | 0.48 | 1073.74 | 0.07 | 1074.15 |
| public_subscribe.2.pm | 34.32 | 156 | 245 | 0 | 5.24E+06 | 9.94E+06 | 1.52E+07 | 1.00E+06 | 150998 | 879.87 | 1025.52 | 1073.74 | 0.6 | 2098.66 |
| public_subscribe.3.pm | 35.26 | 172 | 245 | 0 | 5.24E+06 | 9.94E+06 | 1.52E+07 | 1.00E+06 | 152340 | 963.66 | 1026.64 | 1073.74 | 0.6 | 2099.79 |
| public_subscribe.4.pm | 35.48 | 172 | 245 | 0 | 5.24E+06 | 9.94E+06 | 1.52E+07 | 1.00E+06 | 150845 | 963.66 | 1068.69 | 1073.74 | 0.65 | 2141.77 |
| public_subscribe.5.pm | 156.47 | 220 | 77 | 0 | 2.31E+07 | 3.28E+07 | 5.59E+07 | 4.70E+06 | 1.89E+06 | 5361.85 | 6270.94 | 1073.74 | 4.67 | 7340.01 |
| reader_writer.1.pm | 0.95 | 180 | 25 | 0 | 30460 | 136292 | 166752 | 702 | 0 | 5.85 | 5.31 | 1073.74 | 0.08 | 1078.96 |
| reader_writer.2.pm | 2 | 204 | 26 | 0 | 82192 | 710989 | 793181 | 4107 | 27 | 17.75 | 17.19 | 1073.74 | 0.09 | 1090.84 |
| reader_writer.3.pm | 176.52 | 276 | 39 | 0 | 9.38E+06 | 7.36E+07 | 8.30E+07 | 147454 | 1.06E+06 | 2702.25 | 1860.12 | 1073.74 | 1.56 | 2932.3 |
| rether.1.pm | 0.69 | 136 | 102 | 1 | 4748 | 1065 | 5813 | 796 | 0 | 0.7 | 1.1 | 1073.74 | 0.08 | 1074.77 |
| rether.2.pm | 0.7 | 152 | 90 | 1 | 5560 | 1143 | 6703 | 888 | 0 | 0.91 | 1.3 | 1073.74 | 0.07 | 1074.97 |
| rether.3.pm | 0.7 | 208 | 82 | 1 | 3870 | 779 | 4649 | 550 | 0 | 0.85 | 1.17 | 1073.74 | 0.05 | 1074.87 |
| rether.4.pm | 0.74 | 232 | 111 | 1 | 15468 | 3258 | 18726 | 2512 | 0 | 3.77 | 4.14 | 1073.74 | 0.04 | 1077.84 |
| rether.5.pm | 0.73 | 264 | 102 | 1 | 8872 | 1881 | 10753 | 1317 | 0 | 2.45 | 2.69 | 1073.74 | 0.03 | 1076.4 |
| rether.6.pm | 0.75 | 272 | 115 | 1 | 15905 | 3424 | 1.93E+04 | 2534 | 0 | 4.52 | 4.64 | 1073.74 | 0.03 | 1078.35 |
| rether.7.pm | 0.83 | 296 | 134 | 1 | 3.12E+04 | 6380 | 3.76E+04 | 5198 | 0 | 9.6 | 9.75 | 1073.74 | 0.02 | 1083.47 |
| rushhour.1.pm | 0.69 | 112 | 80 | 0 | 1056 | 4399 | 5455 | 6 | 0 | 0.13 | 0.4 | 1073.74 | 0.09 | 1074.05 |
| rushhour.2.pm | 0.69 | 120 | 88 | 0 | 2251 | 10362 | 12613 | 7 | 0 | 0.3 | 0.61 | 1073.74 | 0.09 | 1074.25 |
| rushhour.3.pm | 3.43 | 168 | 56 | 0 | 156737 | 1.43E+06 | 1.58E+06 | 12 | 407 | 28.21 | 31.54 | 1073.74 | 0.11 | 1105.18 |
| rushhour.4.pm | 6.66 | 168 | 50 | 0 | 327689 | 3.06E+06 | 3.39E+06 | 12 | 1510 | 58.98 | 64.12 | 1073.74 | 0.12 | 1137.74 |
| schedule_world.1.pm | 0.69 | 44 | 8 | 1 | 2244 | 6087 | 8331 | 0 | 0 | 0.13 | 0.5 | 1073.74 | 0.09 | 1074.15 |
| schedule_world.2.pm | 0.68 | 44 | 4 | 1 | 249 | 351 | 600 | 0 | 0 | 0.01 | 0.29 | 1073.74 | 0.09 | 1073.95 |
| schedule_world.3.pm | 0.68 | 52 | 3 | 1 | 3.60E+01 | 8.00E+00 | 4.40E+01 | 0 | 0 | 0 | 0.29 | 1073.74 | 0.08 | 1073.95 |
| sokoban.1.pm | 1.05 | 92 | 114 | 1 | 91401 | 136761 | 228162 | 0 | 34 | 9.51 | 12.69 | 1073.74 | 0.1 | 1086.34 |
| sokoban.2.pm | 4.1 | 84 | 89 | 1 | 761052 | 1.25E+06 | 2.01E+06 | 0 | 1715 | 73.06 | 103.33 | 1073.74 | 0.11 | 1176.96 |
| sokoban.3.pm | 145.66 | 236 | 107 | 0 | 2.15E+07 | 2.90E+07 | 5.05E+07 | 0 | 1.27E+06 | 5325.36 | 6273.82 | 1073.74 | 7.56 | 7340.01 |
| sorter.1.pm | 0.72 | 72 | 197 | 0 | 14719 | 6713 | 21432 | 0 | 10 | 1.24 | 1.62 | 1073.74 | 0.09 | 1075.28 |
| sorter.2.pm | 0.69 | 72 | 113 | 0 | 4744 | 1633 | 6377 | 0 | 0 | 0.4 | 0.7 | 1073.74 | 0.09 | 1074.36 |
| sorter.3.pm | 4.57 | 80 | 266 | 0 | 779481 | 862120 | 1.64E+06 | 0 | 714 | 71.71 | 71.47 | 1073.74 | 0.09 | 1145.12 |
| sorter.4.pm | 71.09 | 88 | 1527 | 0 | 1.32E+07 | 1.39E+07 | 2.71E+07 | 0 | 547463 | 1318.44 | 1276.4 | 1073.74 | 0.29 | 2349.85 |
| sorter.5.pm | 1.37 | 80 | 250 | 0 | 151947 | 170759 | 322706 | 0 | 23 | 13.98 | 14.22 | 1073.74 | 0.08 | 1087.87 |
| szymanski.1.pm | 0.72 | 36 | 64 | 0 | 18467 | 29231 | 47698 | 0 | 0 | 0.89 | 1.82 | 1073.74 | 0.08 | 1075.48 |
| szymanski.2.pm | 0.75 | 36 | 71 | 0 | 29774 | 47524 | 77298 | 0 | 2 | 1.43 | 2.74 | 1073.74 | 0.08 | 1076.4 |
| szymanski.3.pm | 4.42 | 52 | 101 | 0 | 1.02E+06 | 2.48E+06 | 3.50E+06 | 0 | 6840 | 65.15 | 86.7 | 1073.74 | 0.07 | 1160.37 |
| telephony.1.pm | 0.68 | 40 | 36 | 0 | 1283 | 2218 | 3501 | 1 | 0 | 0.07 | 0.39 | 1073.74 | 0.08 | 1074.05 |
| telephony.2.pm | 0.88 | 48 | 39 | 0 | 51830 | 148497 | 200327 | 2 | 11 | 3.11 | 4.88 | 1073.74 | 0.07 | 1078.56 |
| telephony.3.pm | 4.31 | 56 | 65 | 0 | 765383 | 2.39E+06 | 3.16E+06 | 2 | 3333 | 52.05 | 72.78 | 1073.74 | 0.08 | 1146.45 |
| telephony.4.pm | 73.99 | 56 | 55 | 0 | 1.23E+07 | 5.18E+07 | 6.41E+07 | 3 | 1.19E+06 | 835.83 | 1181.21 | 1073.74 | 0.23 | 2254.72 |
| telephony.5.pm | 251.88 | 64 | 30 | 0 | 4.73E+07 | 1.66E+08 | 2.13E+08 | 3 | 1.55E+07 | 3593.99 | 6267.62 | 1073.74 | 1.36 | 7340.01 |
| telephony.6.pm | 251.28 | 64 | 29 | 0 | 4.89E+07 | 1.66E+08 | 2.15E+08 | 3 | 1.53E+07 | 3719.65 | 6267.63 | 1073.74 | 1.37 | 7340.01 |
| telephony.7.pm | 141.14 | 64 | 79 | 0 | 2.20E+07 | 9.21E+07 | 1.14E+08 | 3 | 3.88E+06 | 1668.98 | 2065.04 | 1073.74 | 0.35 | 3138.43 |
| telephony.8.pm | 248.22 | 64 | 30 | 0 | 4.69E+07 | 1.62E+08 | 2.09E+08 | 3 | 1.50E+07 | 3566.26 | 6267.62 | 1073.74 | 1.36 | 7340.01 |
| train-gate.1.pm | 0.99 | 132 | 132 | 0 | 71498 | 104908 | 176406 | 19001 | 13 | 10.3 | 13.2 | 1073.74 | 0.09 | 1086.85 |
| train-gate.2.pm | 210.93 | 164 | 182 | 0 | 3.24E+07 | 5.09E+07 | 8.34E+07 | 7.59E+06 | 3.53E+06 | 5707.87 | 6269.31 | 1073.74 | 3.04 | 7340.01 |
| train-gate.3.pm | 218.64 | 164 | 171 | 0 | 3.27E+07 | 5.48E+07 | 8.75E+07 | 7.66E+06 | 3.96E+06 | 5755.57 | 6269.26 | 1073.74 | 2.99 | 7340.01 |
| train-gate.4.pm | 126.67 | 180 | 40 | 0 | 2.36E+07 | 2.77E+07 | 5.13E+07 | 4.73E+06 | 1.24E+06 | 4537.71 | 6270.1 | 1073.74 | 3.84 | 7340.01 |
| train-gate.5.pm | 126.63 | 180 | 40 | 0 | 2.36E+07 | 2.77E+07 | 5.13E+07 | 4.73E+06 | 1.24E+06 | 4537.71 | 6270.1 | 1073.74 | 3.84 | 7340.01 |
| train-gate.6.pm | 124.57 | 188 | 35 | 0 | 2.18E+07 | 3.22E+07 | 5.40E+07 | 3.15E+06 | 1.42E+06 | 4369.33 | 6270.23 | 1073.74 | 3.97 | 7340.01 |
| train-gate.7.pm | 113.68 | 204 | 32 | 0 | 2.00E+07 | 2.69E+07 | 4.69E+07 | 2.71E+06 | 1.07E+06 | 4324.08 | 6270.66 | 1073.74 | 4.39 | 7340.01 |