Currently showing: models
ModelFamily ModelType ModelInstance Places Transitions Arcs ParameterType
AirplaneLD COL 0010 20 15 56 marking
AirplaneLD COL 0020 20 15 56 marking
AirplaneLD COL 0050 20 15 56 marking
AirplaneLD COL 0100 20 15 56 marking
AirplaneLD COL 0200 20 15 56 marking
AirplaneLD COL 0500 20 15 56 marking
AirplaneLD COL 1000 20 15 56 marking
AirplaneLD COL 2000 20 15 56 marking
AirplaneLD COL 4000 20 15 56 marking
AirplaneLD PT 0010 89 88 333 structure
AirplaneLD PT 0020 159 168 638 structure
AirplaneLD PT 0050 369 408 1553 structure
AirplaneLD PT 0100 719 808 3078 structure
AirplaneLD PT 0200 1419 1608 6128 structure
AirplaneLD PT 0500 3519 4008 15278 structure
AirplaneLD PT 1000 7019 8008 30528 structure
AirplaneLD PT 2000 14019 16008 61028 structure
AirplaneLD PT 4000 28019 32008 122028 structure
Anderson PT 04 105 200 752 structure
Anderson PT 05 161 365 1380 structure
Anderson PT 06 229 600 2280 structure
Anderson PT 07 309 917 3500 structure
Anderson PT 08 401 1328 5088 structure
Anderson PT 09 505 1845 7092 structure
Anderson PT 10 621 2480 9560 structure
Anderson PT 11 749 3245 12540 structure
Anderson PT 12 889 4152 16080 structure
Angiogenesis PT 01 39 64 185 marking
Angiogenesis PT 05 39 64 185 marking
Angiogenesis PT 10 39 64 185 marking
Angiogenesis PT 15 39 64 185 marking
Angiogenesis PT 20 39 64 185 marking
Angiogenesis PT 25 39 64 185 marking
Angiogenesis PT 50 39 64 185 marking
ARMCacheCoherence PT none 87 33676 246935 none
ASLink PT 01a 431 735 2801 structure
ASLink PT 01b 846 1148 3624 structure
ASLink PT 02a 626 1008 3820 structure
ASLink PT 02b 1242 1621 5041 structure
ASLink PT 03a 821 1281 4839 structure
ASLink PT 03b 1638 2094 6458 structure
ASLink PT 04a 1016 1554 5858 structure
ASLink PT 04b 2034 2567 7875 structure
ASLink PT 05a 1211 1827 6877 structure
ASLink PT 05b 2430 3040 9292 structure
ASLink PT 06a 1406 2100 7896 structure
ASLink PT 06b 2826 3513 10709 structure
ASLink PT 07a 1601 2373 8915 structure
ASLink PT 07b 3222 3986 12126 structure
ASLink PT 08a 1796 2646 9934 structure
ASLink PT 08b 3618 4459 13543 structure
ASLink PT 09a 1991 2919 10953 structure
ASLink PT 09b 4014 4932 14960 structure
ASLink PT 10a 2186 3192 11972 structure
ASLink PT 10b 4410 5405 16377 structure
AutoFlight PT 01a 32 30 100 structure
AutoFlight PT 01b 114 112 264 structure
AutoFlight PT 02a 57 55 180 structure
AutoFlight PT 02b 206 204 478 structure
AutoFlight PT 03a 82 80 260 structure
AutoFlight PT 03b 298 296 692 structure
AutoFlight PT 04a 107 105 340 structure
AutoFlight PT 04b 390 388 906 structure
AutoFlight PT 05a 132 130 420 structure
AutoFlight PT 05b 482 480 1120 structure
AutoFlight PT 06a 157 155 500 structure
AutoFlight PT 06b 574 572 1334 structure
AutoFlight PT 12a 307 305 980 structure
AutoFlight PT 12b 1126 1124 2618 structure
AutoFlight PT 24a 607 605 1940 structure
AutoFlight PT 24b 2230 2228 5186 structure
AutoFlight PT 48a 1127 1113 3458 structure
AutoFlight PT 48b 3950 3936 9104 structure
AutoFlight PT 96a 2251 2225 6914 structure
AutoFlight PT 96b 7894 7868 18200 structure
AutonomousCar PT 01a 25 35 143 structure
AutonomousCar PT 01b 119 132 339 structure
AutonomousCar PT 02a 33 69 368 structure
AutonomousCar PT 02b 155 194 620 structure
AutonomousCar PT 03a 41 121 745 structure
AutonomousCar PT 03b 190 273 1051 structure
AutonomousCar PT 04a 49 193 1306 structure
AutonomousCar PT 04b 221 368 1658 structure
AutonomousCar PT 05a 57 289 2123 structure
AutonomousCar PT 05b 255 490 2527 structure
AutonomousCar PT 06a 65 417 3356 structure
AutonomousCar PT 06b 289 644 3812 structure
AutonomousCar PT 07a 73 593 5357 structure
AutonomousCar PT 07b 323 846 5865 structure
AutonomousCar PT 08a 81 849 8894 structure
AutonomousCar PT 08b 357 1128 9454 structure
AutonomousCar PT 09a 89 1249 15631 structure
AutonomousCar PT 09b 391 1554 16243 structure
AutonomousCar PT 10a 97 1921 29152 structure
AutonomousCar PT 10b 425 2252 29816 structure
BART COL 002 4 7 26 marking
BART COL 005 4 7 26 marking
BART COL 010 4 7 26 marking
BART COL 020 4 7 26 marking
BART COL 030 4 7 26 marking
BART COL 040 4 7 26 marking
BART COL 050 4 7 26 marking
BART COL 060 4 7 26 marking
BART PT 002 474 404 3240 structure
BART PT 005 870 1010 8100 structure
BART PT 010 1530 2020 16200 structure
BART PT 020 2850 4040 32400 structure
BART PT 030 4170 6060 48600 structure
BART PT 040 5490 8080 64800 structure
BART PT 050 6810 10100 81000 structure
BART PT 060 8130 12120 97200 structure
BridgeAndVehicles COL V04P05N02 15 11 56 marking
BridgeAndVehicles COL V10P10N10 15 11 56 marking
BridgeAndVehicles COL V20P10N10 15 11 56 marking
BridgeAndVehicles COL V20P10N20 15 11 56 marking
BridgeAndVehicles COL V20P10N50 15 11 56 marking
BridgeAndVehicles COL V20P20N10 15 11 56 marking
BridgeAndVehicles COL V20P20N20 15 11 56 marking
BridgeAndVehicles COL V20P20N50 15 11 56 marking
BridgeAndVehicles COL V50P20N10 15 11 56 marking
BridgeAndVehicles COL V50P20N20 15 11 56 marking
BridgeAndVehicles COL V50P20N50 15 11 56 marking
BridgeAndVehicles COL V50P50N10 15 11 56 marking
BridgeAndVehicles COL V50P50N20 15 11 56 marking
BridgeAndVehicles COL V50P50N50 15 11 56 marking
BridgeAndVehicles COL V80P20N10 15 11 56 marking
BridgeAndVehicles COL V80P20N20 15 11 56 marking
BridgeAndVehicles COL V80P20N50 15 11 56 marking
BridgeAndVehicles COL V80P50N10 15 11 56 marking
BridgeAndVehicles COL V80P50N20 15 11 56 marking
BridgeAndVehicles COL V80P50N50 15 11 56 marking
BridgeAndVehicles PT V04P05N02 28 52 326 structure
BridgeAndVehicles PT V10P10N10 48 288 2090 structure
BridgeAndVehicles PT V20P10N10 68 548 4070 structure
BridgeAndVehicles PT V20P10N20 78 968 7350 structure
BridgeAndVehicles PT V20P10N50 108 2228 17190 structure
BridgeAndVehicles PT V20P20N10 68 548 4070 structure
BridgeAndVehicles PT V20P20N20 78 968 7350 structure
BridgeAndVehicles PT V20P20N50 108 2228 17190 structure
BridgeAndVehicles PT V50P20N10 128 1328 10010 structure
BridgeAndVehicles PT V50P20N20 138 2348 18090 structure
BridgeAndVehicles PT V50P20N50 168 5408 42330 structure
BridgeAndVehicles PT V50P50N10 128 1328 10010 structure
BridgeAndVehicles PT V50P50N20 138 2348 18090 structure
BridgeAndVehicles PT V50P50N50 168 5408 42330 structure
BridgeAndVehicles PT V80P20N10 188 2108 15950 structure
BridgeAndVehicles PT V80P20N20 198 3728 28830 structure
BridgeAndVehicles PT V80P20N50 228 8588 67470 structure
BridgeAndVehicles PT V80P50N10 188 2108 15950 structure
BridgeAndVehicles PT V80P50N20 198 3728 28830 structure
BridgeAndVehicles PT V80P50N50 228 8588 67470 structure
BugTracking PT q3m002 754 27370 136172 marking
BugTracking PT q3m004 754 27370 136172 marking
BugTracking PT q3m008 754 27370 136172 marking
BugTracking PT q3m016 754 27370 136172 marking
BugTracking PT q3m032 754 27370 136172 marking
BugTracking PT q3m064 754 27370 136172 marking
BugTracking PT q3m128 754 27370 136172 marking
BugTracking PT q3m256 754 27370 136172 marking
BugTracking PT q8m002 754 27370 136172 marking
BugTracking PT q8m004 754 27370 136172 marking
BugTracking PT q8m008 754 27370 136172 marking
BugTracking PT q8m016 754 27370 136172 marking
BugTracking PT q8m032 754 27370 136172 marking
BugTracking PT q8m064 754 27370 136172 marking
BugTracking PT q8m128 754 27370 136172 marking
BugTracking PT q8m256 754 27370 136172 marking
BusinessProcesses PT 01 200 178 487 structure
BusinessProcesses PT 02 262 219 576 structure
BusinessProcesses PT 03 274 237 632 structure
BusinessProcesses PT 04 288 283 916 structure
BusinessProcesses PT 05 368 319 854 structure
BusinessProcesses PT 06 376 297 830 structure
BusinessProcesses PT 07 386 360 1110 structure
BusinessProcesses PT 08 393 344 911 structure
BusinessProcesses PT 09 403 374 1148 structure
BusinessProcesses PT 10 518 471 1415 structure
BusinessProcesses PT 11 567 508 1512 structure
BusinessProcesses PT 12 586 525 1560 structure
BusinessProcesses PT 13 593 536 1582 structure
BusinessProcesses PT 14 624 564 1657 structure
BusinessProcesses PT 15 630 566 1666 structure
BusinessProcesses PT 16 638 578 1694 structure
BusinessProcesses PT 17 650 580 1709 structure
BusinessProcesses PT 18 717 642 1860 structure
BusinessProcesses PT 19 772 685 1981 structure
BusinessProcesses PT 20 782 697 2011 structure
CANConstruction PT 005 112 140 400 structure
CANConstruction PT 010 322 480 1400 structure
CANConstruction PT 020 1042 1760 5200 structure
CANConstruction PT 030 2162 3840 11400 structure
CANConstruction PT 040 3682 6720 20000 structure
CANConstruction PT 050 5602 10400 31000 structure
CANConstruction PT 060 7922 14880 44400 structure
CANConstruction PT 070 10642 20160 60200 structure
CANConstruction PT 080 13762 26240 78400 structure
CANConstruction PT 090 17282 33120 99000 structure
CANConstruction PT 100 21202 40800 122000 structure
CANInsertWithFailure PT 005 114 180 500 structure
CANInsertWithFailure PT 010 324 660 1800 structure
CANInsertWithFailure PT 020 1044 2520 6800 structure
CANInsertWithFailure PT 030 2164 5580 15000 structure
CANInsertWithFailure PT 040 3684 9840 26400 structure
CANInsertWithFailure PT 050 5604 15300 41000 structure
CANInsertWithFailure PT 060 7924 21960 58800 structure
CANInsertWithFailure PT 070 10644 29820 79800 structure
CANInsertWithFailure PT 080 13764 38880 104000 structure
CANInsertWithFailure PT 090 17284 49140 131400 structure
CANInsertWithFailure PT 100 21204 60600 162000 structure
CircadianClock PT 000001 14 16 58 marking
CircadianClock PT 000010 14 16 58 marking
CircadianClock PT 000100 14 16 58 marking
CircadianClock PT 001000 14 16 58 marking
CircadianClock PT 010000 14 16 58 marking
CircadianClock PT 100000 14 16 58 marking
CircularTrains PT 012 24 12 48 structure
CircularTrains PT 024 48 24 96 structure
CircularTrains PT 048 96 48 192 structure
CircularTrains PT 096 192 96 384 structure
CircularTrains PT 192 384 192 768 structure
CircularTrains PT 384 768 384 1536 structure
CircularTrains PT 768 1536 768 3072 structure
ClientsAndServers PT N0001P0 25 18 54 marking
ClientsAndServers PT N0002P0 25 18 54 marking
ClientsAndServers PT N0002P1 25 18 54 marking
ClientsAndServers PT N0005P0 25 18 54 marking
ClientsAndServers PT N0005P1 25 18 54 marking
ClientsAndServers PT N0010P0 25 18 54 marking
ClientsAndServers PT N0010P1 25 18 54 marking
ClientsAndServers PT N0010P2 25 18 54 marking
ClientsAndServers PT N0020P0 25 18 54 marking
ClientsAndServers PT N0020P1 25 18 54 marking
ClientsAndServers PT N0020P2 25 18 54 marking
ClientsAndServers PT N0020P3 25 18 54 marking
ClientsAndServers PT N0020P4 25 18 54 marking
ClientsAndServers PT N0050P0 25 18 54 marking
ClientsAndServers PT N0100P0 25 18 54 marking
ClientsAndServers PT N0200P0 25 18 54 marking
ClientsAndServers PT N0500P0 25 18 54 marking
ClientsAndServers PT N1000P0 25 18 54 marking
ClientsAndServers PT N2000P0 25 18 54 marking
ClientsAndServers PT N5000P0 25 18 54 marking
CloudDeployment PT 2a 69 174 821 structure
CloudDeployment PT 2b 556 684 1987 structure
CloudDeployment PT 3a 104 308 1611 structure
CloudDeployment PT 3b 859 1152 4030 structure
CloudDeployment PT 4a 141 475 2657 structure
CloudDeployment PT 4b 1182 1824 8741 structure
CloudDeployment PT 5a 180 675 3959 structure
CloudDeployment PT 5b 1525 3132 24760 structure
CloudDeployment PT 6a 221 908 5517 structure
CloudDeployment PT 6b 1888 6804 91831 structure
CloudDeployment PT 7a 264 1174 7331 structure
CloudDeployment PT 7b 2271 19752 389666 structure
CloudOpsManagement PT 00002by00001 27 29 94 marking
CloudOpsManagement PT 00005by00002 27 29 94 marking
CloudOpsManagement PT 00010by00005 27 29 94 marking
CloudOpsManagement PT 00020by00010 27 29 94 marking
CloudOpsManagement PT 00040by00020 27 29 94 marking
CloudOpsManagement PT 00080by00040 27 29 94 marking
CloudOpsManagement PT 00160by00080 27 29 94 marking
CloudOpsManagement PT 00320by00160 27 29 94 marking
CloudOpsManagement PT 00640by00320 27 29 94 marking
CloudOpsManagement PT 01280by00640 27 29 94 marking
CloudOpsManagement PT 02560by01280 27 29 94 marking
CloudOpsManagement PT 05120by02560 27 29 94 marking
CloudOpsManagement PT 10240by05120 27 29 94 marking
CloudOpsManagement PT 20480by10240 27 29 94 marking
CloudReconfiguration PT 301 2584 3094 6459 structure
CloudReconfiguration PT 302 2585 3095 6463 structure
CloudReconfiguration PT 303 2584 3094 6459 structure
CloudReconfiguration PT 304 2584 3094 6459 structure
CloudReconfiguration PT 305 2585 3095 6463 structure
CloudReconfiguration PT 306 2584 3094 6459 structure
CloudReconfiguration PT 307 2584 3094 6459 structure
CloudReconfiguration PT 308 2585 3095 6463 structure
CloudReconfiguration PT 309 2585 3095 6463 structure
CloudReconfiguration PT 310 2585 3095 6463 structure
CloudReconfiguration PT 311 2585 3095 6463 structure
CloudReconfiguration PT 312 2585 3095 6463 structure
CloudReconfiguration PT 313 2585 3095 6463 structure
CloudReconfiguration PT 314 2585 3095 6463 structure
CloudReconfiguration PT 315 2585 3095 6463 structure
CloudReconfiguration PT 316 2585 3095 6463 structure
CloudReconfiguration PT 317 2587 3099 6479 structure
CloudReconfiguration PT 318 2587 3099 6479 structure
CloudReconfiguration PT 319 2587 3099 6479 structure
CloudReconfiguration PT 320 2587 3099 6479 structure
CloudReconfiguration PT 401 3554 4263 8889 structure
CloudReconfiguration PT 402 3554 4263 8889 structure
CryptoMiner COL D03N000 2 4 10 structure
CryptoMiner COL D03N010 3 5 14 structure
CryptoMiner COL D03N100 3 5 14 structure
CryptoMiner COL D05N000 2 4 10 structure
CryptoMiner COL D05N100 3 5 14 structure
CryptoMiner COL D05N250 3 5 14 structure
CryptoMiner COL D10N000 2 4 10 structure
CryptoMiner COL D10N100 3 5 14 structure
CryptoMiner COL D20N100 3 5 14 structure
CryptoMiner PT D03N000 8 8 22 structure
CryptoMiner PT D03N010 12 12 34 structure
CryptoMiner PT D03N100 12 12 34 structure
CryptoMiner PT D05N000 12 12 34 structure
CryptoMiner PT D05N100 18 18 52 structure
CryptoMiner PT D05N250 18 18 52 structure
CryptoMiner PT D10N000 22 22 64 structure
CryptoMiner PT D10N100 33 33 97 structure
CryptoMiner PT D20N100 63 63 187 structure
CSRepetitions COL 02 6 5 15 marking
CSRepetitions COL 03 6 5 15 marking
CSRepetitions COL 04 6 5 15 marking
CSRepetitions COL 05 6 5 15 marking
CSRepetitions COL 07 6 5 15 marking
CSRepetitions COL 10 6 5 15 marking
CSRepetitions PT 02 23 28 92 structure
CSRepetitions PT 03 58 81 279 structure
CSRepetitions PT 04 117 176 624 structure
CSRepetitions PT 05 206 325 1175 structure
CSRepetitions PT 07 498 833 3087 structure
CSRepetitions PT 10 1311 2300 8700 structure
DatabaseWithMutex COL 02 11 8 22 marking
DatabaseWithMutex COL 04 11 8 22 marking
DatabaseWithMutex COL 10 11 8 22 marking
DatabaseWithMutex COL 20 11 8 22 marking
DatabaseWithMutex COL 40 11 8 22 marking
DatabaseWithMutex PT 02 38 32 88 structure
DatabaseWithMutex PT 04 140 128 416 structure
DatabaseWithMutex PT 10 830 800 3800 structure
DatabaseWithMutex PT 20 3260 3200 23200 structure
DatabaseWithMutex PT 40 12920 12800 156800 structure
DBSingleClientW PT d0m04 553 150 600 structure
DBSingleClientW PT d0m05 553 150 600 structure
DBSingleClientW PT d0m06 553 150 600 structure
DBSingleClientW PT d0m07 553 150 600 structure
DBSingleClientW PT d0m08 553 150 600 structure
DBSingleClientW PT d0m09 553 150 600 structure
DBSingleClientW PT d0m10 553 150 600 structure
DBSingleClientW PT d1m04 1440 672 2688 structure
DBSingleClientW PT d1m05 1440 672 2688 structure
DBSingleClientW PT d1m06 1440 672 2688 structure
DBSingleClientW PT d1m07 1440 672 2688 structure
DBSingleClientW PT d1m08 1440 672 2688 structure
DBSingleClientW PT d1m09 1440 672 2688 structure
DBSingleClientW PT d1m10 1440 672 2688 structure
DBSingleClientW PT d2m04 4763 2478 9912 structure
DBSingleClientW PT d2m05 4763 2478 9912 structure
DBSingleClientW PT d2m06 4763 2478 9912 structure
DBSingleClientW PT d2m07 4763 2478 9912 structure
DBSingleClientW PT d2m08 4763 2478 9912 structure
DBSingleClientW PT d2m09 4763 2478 9912 structure
DBSingleClientW PT d2m10 4763 2478 9912 structure
Dekker PT 010 50 120 820 structure
Dekker PT 015 75 255 1830 structure
Dekker PT 020 100 440 3240 structure
Dekker PT 050 250 2600 20100 structure
Dekker PT 100 500 10200 80200 structure
Dekker PT 200 1000 40400 320400 structure
DES PT 00a 115 76 373 structure
DES PT 00b 271 230 658 structure
DES PT 01a 119 76 381 structure
DES PT 01b 284 235 683 structure
DES PT 02a 123 80 400 structure
DES PT 02b 288 239 699 structure
DES PT 05a 135 92 457 structure
DES PT 05b 300 251 747 structure
DES PT 10a 155 112 552 structure
DES PT 10b 320 271 827 structure
DES PT 20a 195 152 742 structure
DES PT 20b 360 311 987 structure
DES PT 30a 234 191 926 structure
DES PT 30b 399 350 1143 structure
DES PT 40a 274 231 1116 structure
DES PT 40b 439 390 1303 structure
DES PT 50a 314 271 1306 structure
DES PT 50b 479 430 1463 structure
DES PT 60a 354 311 1496 structure
DES PT 60b 519 470 1623 structure
Diffusion2D PT D05N010 25 144 288 structure
Diffusion2D PT D05N050 25 144 288 structure
Diffusion2D PT D05N100 25 144 288 structure
Diffusion2D PT D05N150 25 144 288 structure
Diffusion2D PT D05N200 25 144 288 structure
Diffusion2D PT D05N250 25 144 288 structure
Diffusion2D PT D05N300 25 144 288 structure
Diffusion2D PT D05N350 25 144 288 structure
Diffusion2D PT D10N010 100 684 1368 structure
Diffusion2D PT D10N050 100 684 1368 structure
Diffusion2D PT D10N100 100 684 1368 structure
Diffusion2D PT D10N150 100 684 1368 structure
Diffusion2D PT D10N200 100 684 1368 structure
Diffusion2D PT D20N010 400 2964 5928 structure
Diffusion2D PT D20N050 400 2964 5928 structure
Diffusion2D PT D20N100 400 2964 5928 structure
Diffusion2D PT D20N150 400 2964 5928 structure
Diffusion2D PT D30N010 900 6844 13688 structure
Diffusion2D PT D30N050 900 6844 13688 structure
Diffusion2D PT D30N100 900 6844 13688 structure
Diffusion2D PT D30N150 900 6844 13688 structure
Diffusion2D PT D40N010 1600 12324 24648 structure
Diffusion2D PT D40N050 1600 12324 24648 structure
Diffusion2D PT D40N100 1600 12324 24648 structure
Diffusion2D PT D40N150 1600 12324 24648 structure
Diffusion2D PT D50N010 2500 19404 38808 structure
Diffusion2D PT D50N050 2500 19404 38808 structure
Diffusion2D PT D50N100 2500 19404 38808 structure
Diffusion2D PT D50N150 2500 19404 38808 structure
DiscoveryGPU PT 06a 63 85 273 structure
DiscoveryGPU PT 06b 184 194 503 structure
DiscoveryGPU PT 07a 73 99 318 structure
DiscoveryGPU PT 07b 212 224 582 structure
DiscoveryGPU PT 08a 83 113 363 structure
DiscoveryGPU PT 08b 240 254 661 structure
DiscoveryGPU PT 09a 93 127 408 structure
DiscoveryGPU PT 09b 268 284 740 structure
DiscoveryGPU PT 10a 103 141 453 structure
DiscoveryGPU PT 10b 296 314 819 structure
DiscoveryGPU PT 11a 113 155 498 structure
DiscoveryGPU PT 11b 324 344 898 structure
DiscoveryGPU PT 12a 123 169 543 structure
DiscoveryGPU PT 12b 352 374 977 structure
DiscoveryGPU PT 13a 133 183 588 structure
DiscoveryGPU PT 13b 380 404 1056 structure
DiscoveryGPU PT 14a 143 197 633 structure
DiscoveryGPU PT 14b 408 434 1135 structure
DiscoveryGPU PT 15a 153 211 678 structure
DiscoveryGPU PT 15b 436 464 1214 structure
DLCflexbar PT 2a 353 2169 8205 structure
DLCflexbar PT 2b 4456 6272 16411 structure
DLCflexbar PT 3a 581 3891 14956 structure
DLCflexbar PT 3b 7245 10555 28284 structure
DLCflexbar PT 4a 927 6615 25705 structure
DLCflexbar PT 4b 11440 17128 46731 structure
DLCflexbar PT 5a 1415 10593 41484 structure
DLCflexbar PT 5b 17305 26483 73264 structure
DLCflexbar PT 6a 2069 16077 63325 structure
DLCflexbar PT 6b 25104 39112 109395 structure
DLCflexbar PT 7a 2913 23319 92260 structure
DLCflexbar PT 7b 35101 55507 156636 structure
DLCflexbar PT 8a 3971 32571 129321 structure
DLCflexbar PT 8b 47560 76160 216499 structure
DLCround PT 03a 113 617 2269 structure
DLCround PT 03b 1383 1887 4809 structure
DLCround PT 04a 139 823 3074 structure
DLCround PT 04b 1680 2364 6156 structure
DLCround PT 05a 167 1055 3985 structure
DLCround PT 05b 1999 2887 7649 structure
DLCround PT 06a 197 1313 5002 structure
DLCround PT 06b 2340 3456 9288 structure
DLCround PT 07a 229 1597 6125 structure
DLCround PT 07b 2703 4071 11073 structure
DLCround PT 08a 263 1907 7354 structure
DLCround PT 08b 3088 4732 13004 structure
DLCround PT 09a 299 2243 8689 structure
DLCround PT 09b 3495 5439 15081 structure
DLCround PT 10a 337 2605 10130 structure
DLCround PT 10b 3924 6192 17304 structure
DLCround PT 11a 377 2993 11677 structure
DLCround PT 11b 4375 6991 19673 structure
DLCround PT 12a 419 3407 13330 structure
DLCround PT 12b 4848 7836 22188 structure
DLCround PT 13a 463 3847 15089 structure
DLCround PT 13b 5343 8727 24849 structure
DLCshifumi PT 2a 188 888 3166 structure
DLCshifumi PT 2b 2483 3183 7756 structure
DLCshifumi PT 3a 544 3097 11545 structure
DLCshifumi PT 3b 7058 9611 24573 structure
DLCshifumi PT 4a 1178 7504 28610 structure
DLCshifumi PT 4b 15015 21341 56284 structure
DLCshifumi PT 5a 2162 14865 57457 structure
DLCshifumi PT 5b 27146 39849 107425 structure
DLCshifumi PT 6a 3568 25936 101182 structure
DLCshifumi PT 6b 44243 66611 182532 structure
DNAwalker PT 01track12Block1 13 82 241 structure
DNAwalker PT 02track12Block2 14 84 244 structure
DNAwalker PT 03track12BlockBoth 14 84 244 structure
DNAwalker PT 04track28LL 34 250 728 structure
DNAwalker PT 05track28LR 34 250 728 structure
DNAwalker PT 06track28RL 34 250 728 structure
DNAwalker PT 07track28RR 34 250 728 structure
DNAwalker PT 08ringLL 27 260 760 structure
DNAwalker PT 09ringLR 27 260 760 structure
DNAwalker PT 10ringRL 27 260 760 structure
DNAwalker PT 11ringRR 27 260 760 structure
DNAwalker PT 12ringLLLarge 33 312 916 structure
DNAwalker PT 13ringRLLarge 33 312 916 structure
DNAwalker PT 14ringLRLarge 33 312 916 structure
DNAwalker PT 15ringRRLarge 33 312 916 structure
DNAwalker PT 16redondantChoiceR 43 490 1438 structure
DNAwalker PT 17redondantChoiceL 43 490 1438 structure
DNAwalker PT 18lozangeBlock 164 3697 10898 structure
DoubleExponent PT 001 57 48 135 structure
DoubleExponent PT 002 110 98 276 structure
DoubleExponent PT 003 163 148 417 structure
DoubleExponent PT 004 216 198 558 structure
DoubleExponent PT 010 534 498 1404 structure
DoubleExponent PT 020 1064 998 2814 structure
DoubleExponent PT 100 5304 4998 14094 structure
DoubleExponent PT 200 10604 9998 28194 structure
DoubleLock PT p1s1 64 204 828 structure
DoubleLock PT p1s2 570 7600 30784 structure
DoubleLock PT p1s3 570 7568 30656 structure
DoubleLock PT p2s1 64 212 860 structure
DoubleLock PT p2s2 184 1832 7424 structure
DoubleLock PT p3s1 46 80 324 structure
DoubleLock PT p3s2 112 744 3008 structure
DoubleLock PT p3s3 306 3136 12672 structure
DrinkVendingMachine COL 02 6 7 28 marking
DrinkVendingMachine COL 10 6 7 28 marking
DrinkVendingMachine COL 16 6 7 28 marking
DrinkVendingMachine COL 24 6 7 28 marking
DrinkVendingMachine COL 48 6 7 28 marking
DrinkVendingMachine COL 76 6 7 28 marking
DrinkVendingMachine COL 98 6 7 28 marking
DrinkVendingMachine PT 02 24 72 440 structure
DrinkVendingMachine PT 10 120 111160 1026520 structure
Echo PT d02r09 735 570 3220 structure
Echo PT d02r11 1119 874 4996 structure
Echo PT d02r15 2127 1674 9700 structure
Echo PT d02r19 3455 2730 15940 structure
Echo PT d03r03 265 206 1252 structure
Echo PT d03r05 1445 1190 8260 structure
Echo PT d03r07 4209 3518 25540 structure
Echo PT d04r03 1019 850 6340 structure
Echo PT d05r03 3717 3222 28404 structure
EGFr PT 02010 40 68 338 structure
EGFr PT 10420 208 378 3198 structure
EGFr PT 10421 208 378 3198 structure
EisenbergMcGuire PT 03 117 216 900 structure
EisenbergMcGuire PT 04 196 448 1952 structure
EisenbergMcGuire PT 05 295 800 3600 structure
EisenbergMcGuire PT 06 414 1296 5976 structure
EisenbergMcGuire PT 07 553 1960 9212 structure
EisenbergMcGuire PT 08 712 2816 13440 structure
EisenbergMcGuire PT 09 891 3888 18792 structure
EisenbergMcGuire PT 10 1090 5200 25400 structure
Election2020 PT none 53 102 204 none
EnergyBus PT none 157 4430 63389 none
Eratosthenes PT 010 9 8 24 structure
Eratosthenes PT 020 19 27 81 structure
Eratosthenes PT 050 49 108 324 structure
Eratosthenes PT 100 99 283 849 structure
Eratosthenes PT 200 199 699 2097 structure
Eratosthenes PT 500 499 2191 6573 structure
ERK PT 000001 11 11 34 marking
ERK PT 000010 11 11 34 marking
ERK PT 000100 11 11 34 marking
ERK PT 001000 11 11 34 marking
ERK PT 010000 11 11 34 marking
ERK PT 100000 11 11 34 marking
FamilyReunion COL L00010M0001C001P001G001 104 66 198 marking
FamilyReunion COL L00020M0002C001P001G001 104 66 198 marking
FamilyReunion COL L00050M0005C002P002G001 104 66 198 marking
FamilyReunion COL L00100M0010C005P005G002 104 66 198 marking
FamilyReunion COL L00200M0020C010P010G005 104 66 198 marking
FamilyReunion COL L00400M0040C020P020G001 104 66 198 marking
FamilyReunion COL L00800M0080C040P040G020 104 66 198 marking
FamilyReunion COL L01200M0120C060P060G030 104 66 198 marking
FamilyReunion COL L03000M0300G150P150G075 104 66 198 marking
FamilyReunion COL L05000M0500C250P250G125 104 66 198 marking
FamilyReunion COL L08000M0800C400P400G200 104 66 198 marking
FamilyReunion COL L12000M1200C600P600G300 104 66 198 marking
FamilyReunion PT L00010M0001C001P001G001 1475 1234 3799 structure
FamilyReunion PT L00020M0002C001P001G001 3271 2753 8446 structure
FamilyReunion PT L00050M0005C002P002G001 12194 10560 32238 structure
FamilyReunion PT L00100M0010C005P005G002 40605 36871 112728 structure
FamilyReunion PT L00200M0020C010P010G005 143908 134279 411469 structure
FamilyReunion PT L00400M0040C020P020G001 537708 508489 1558729 structure
FlexibleBarrier PT 04a 51 88 309 structure
FlexibleBarrier PT 04b 268 305 743 structure
FlexibleBarrier PT 06a 75 154 599 structure
FlexibleBarrier PT 06b 542 621 1533 structure
FlexibleBarrier PT 08a 99 236 985 structure
FlexibleBarrier PT 08b 920 1057 2627 structure
FlexibleBarrier PT 10a 123 334 1467 structure
FlexibleBarrier PT 10b 1402 1613 4025 structure
FlexibleBarrier PT 12a 147 448 2045 structure
FlexibleBarrier PT 12b 1988 2289 5727 structure
FlexibleBarrier PT 14a 171 578 2719 structure
FlexibleBarrier PT 14b 2678 3085 7733 structure
FlexibleBarrier PT 16a 195 724 3489 structure
FlexibleBarrier PT 16b 3472 4001 10043 structure
FlexibleBarrier PT 18a 219 886 4355 structure
FlexibleBarrier PT 18b 4370 5037 12657 structure
FlexibleBarrier PT 20a 243 1064 5317 structure
FlexibleBarrier PT 20b 5372 6193 15575 structure
FlexibleBarrier PT 22a 267 1258 6375 structure
FlexibleBarrier PT 22b 6478 7469 18797 structure
FMS PT 00002 22 20 50 marking
FMS PT 00005 22 20 50 marking
FMS PT 00010 22 20 50 marking
FMS PT 00020 22 20 50 marking
FMS PT 00050 22 20 50 marking
FMS PT 00100 22 20 50 marking
FMS PT 00200 22 20 50 marking
FMS PT 00500 22 20 50 marking
FMS PT 01000 22 20 50 marking
FMS PT 02000 22 20 50 marking
FMS PT 05000 22 20 50 marking
FMS PT 10000 22 20 50 marking
FMS PT 20000 22 20 50 marking
FMS PT 50000 22 20 50 marking
FunctionPointer PT a002 40 70 284 structure
FunctionPointer PT a004 40 70 284 structure
FunctionPointer PT a008 40 70 284 structure
FunctionPointer PT a016 40 70 284 structure
FunctionPointer PT a032 40 70 284 structure
FunctionPointer PT a064 40 70 284 structure
FunctionPointer PT a128 40 70 284 structure
FunctionPointer PT b002 306 840 3392 structure
FunctionPointer PT b004 306 840 3392 structure
FunctionPointer PT b008 306 840 3392 structure
FunctionPointer PT b016 306 840 3392 structure
FunctionPointer PT b032 306 840 3392 structure
FunctionPointer PT b064 306 840 3392 structure
FunctionPointer PT b128 306 840 3392 structure
FunctionPointer PT c002 2826 8960 36096 structure
FunctionPointer PT c004 2826 8960 36096 structure
FunctionPointer PT c008 2826 8960 36096 structure
FunctionPointer PT c016 2826 8960 36096 structure
FunctionPointer PT c032 2826 8960 36096 structure
FunctionPointer PT c064 2826 8960 36096 structure
FunctionPointer PT c128 2826 8960 36096 structure
GlobalResAllocation COL 03 5 7 29 marking
GlobalResAllocation COL 05 5 7 29 marking
GlobalResAllocation COL 06 5 7 29 marking
GlobalResAllocation COL 07 5 7 29 marking
GlobalResAllocation COL 09 5 7 29 marking
GlobalResAllocation COL 10 5 7 29 marking
GlobalResAllocation COL 11 5 7 29 marking
GlobalResAllocation PT 03 33 4791 38652 structure
GlobalResAllocation PT 05 75 56105 492760 structure
GPPP PT C0001N0000000001 33 22 83 marking
GPPP PT C0001N0000000010 33 22 83 marking
GPPP PT C0001N0000000100 33 22 83 marking
GPPP PT C0001N0000001000 33 22 83 marking
GPPP PT C0001N0000010000 33 22 83 marking
GPPP PT C0001N0000100000 33 22 83 marking
GPPP PT C0010N0000000010 33 22 83 marking
GPPP PT C0010N0000000100 33 22 83 marking
GPPP PT C0010N1000000000 33 22 83 marking
GPPP PT C0100N0000000010 33 22 83 marking
GPPP PT C0100N0000000100 33 22 83 marking
GPPP PT C0100N0000001000 33 22 83 marking
GPPP PT C0100N0000010000 33 22 83 marking
GPPP PT C0100N0000100000 33 22 83 marking
GPPP PT C1000N0000000010 33 22 83 marking
GPPP PT C1000N0000000100 33 22 83 marking
GPPP PT C1000N0000001000 33 22 83 marking
GPUForwardProgress PT 04a 24 29 101 structure
GPUForwardProgress PT 04b 112 117 277 structure
GPUForwardProgress PT 08a 40 49 181 structure
GPUForwardProgress PT 08b 188 197 477 structure
GPUForwardProgress PT 12a 56 69 261 structure
GPUForwardProgress PT 12b 264 277 677 structure
GPUForwardProgress PT 16a 72 89 341 structure
GPUForwardProgress PT 16b 340 357 877 structure
GPUForwardProgress PT 20a 88 109 421 structure
GPUForwardProgress PT 20b 416 437 1077 structure
GPUForwardProgress PT 24a 104 129 501 structure
GPUForwardProgress PT 24b 492 517 1277 structure
GPUForwardProgress PT 28a 120 149 581 structure
GPUForwardProgress PT 28b 568 597 1477 structure
GPUForwardProgress PT 32a 136 169 661 structure
GPUForwardProgress PT 32b 644 677 1677 structure
GPUForwardProgress PT 36a 152 189 741 structure
GPUForwardProgress PT 36b 720 757 1877 structure
GPUForwardProgress PT 40a 168 209 821 structure
GPUForwardProgress PT 40b 796 837 2077 structure
HealthRecord PT 01 117 218 557 structure
HealthRecord PT 02 119 225 577 structure
HealthRecord PT 03 121 232 597 structure
HealthRecord PT 04 123 239 617 structure
HealthRecord PT 05 125 246 637 structure
HealthRecord PT 06 154 319 835 structure
HealthRecord PT 07 155 320 839 structure
HealthRecord PT 08 156 326 855 structure
HealthRecord PT 09 157 327 859 structure
HealthRecord PT 10 158 333 875 structure
HealthRecord PT 11 159 334 879 structure
HealthRecord PT 12 160 340 895 structure
HealthRecord PT 13 161 341 899 structure
HealthRecord PT 14 162 347 915 structure
HealthRecord PT 15 163 348 919 structure
HealthRecord PT 16 453 594 1333 structure
HealthRecord PT 17 624 828 1879 structure
HexagonalGrid PT 110 31 42 168 structure
HexagonalGrid PT 126 31 42 168 structure
HexagonalGrid PT 226 169 270 1080 structure
HexagonalGrid PT 316 421 714 2856 structure
HexagonalGrid PT 410 787 1374 5496 structure
HexagonalGrid PT 516 1267 2250 9000 structure
HexagonalGrid PT 816 3391 6174 24696 structure
HirschbergSinclair PT 05 124 111 340 structure
HirschbergSinclair PT 10 260 236 721 structure
HirschbergSinclair PT 15 330 296 906 structure
HirschbergSinclair PT 20 530 485 1479 structure
HirschbergSinclair PT 25 600 545 1664 structure
HirschbergSinclair PT 30 670 605 1849 structure
HirschbergSinclair PT 35 998 922 2806 structure
HirschbergSinclair PT 40 1068 982 2991 structure
HirschbergSinclair PT 45 1138 1042 3176 structure
HirschbergSinclair PT 50 1208 1102 3361 structure
HospitalTriage PT none 245 228 680 none
HouseConstruction PT 00002 26 18 51 marking
HouseConstruction PT 00005 26 18 51 marking
HouseConstruction PT 00010 26 18 51 marking
HouseConstruction PT 00020 26 18 51 marking
HouseConstruction PT 00050 26 18 51 marking
HouseConstruction PT 00100 26 18 51 marking
HouseConstruction PT 00200 26 18 51 marking
HouseConstruction PT 00500 26 18 51 marking
HouseConstruction PT 01000 26 18 51 marking
HouseConstruction PT 02000 26 18 51 marking
HouseConstruction PT 04000 26 18 51 marking
HouseConstruction PT 08000 26 18 51 marking
HouseConstruction PT 16000 26 18 51 marking
HouseConstruction PT 32000 26 18 51 marking
HypercubeGrid PT C3K4P4B12 1408 2400 9600 structure
HypercubeGrid PT C4K3P3B12 2457 5400 21600 structure
HypercubeGrid PT C5K3P3B15 9153 25110 100440 structure
HypertorusGrid PT d2k1p8b00 13 16 64 structure
HypertorusGrid PT d2k2p1b00 52 64 256 structure
HypertorusGrid PT d2k3p2b04 117 144 576 structure
HypertorusGrid PT d3k3p2b06 513 972 3888 structure
HypertorusGrid PT d4k3p2b08 2025 5184 20736 structure
HypertorusGrid PT d5k3p2b10 7533 24300 97200 structure
IBM319 PT none 253 178 526 none
IBM5964 PT none 263 139 541 none
IBM703 PT none 262 284 572 none
IBMB2S565S3960 PT none 273 179 572 none
IOTPpurchase PT C01M01P01D01 111 45 224 marking
IOTPpurchase PT C03M03P03D03 111 45 224 marking
IOTPpurchase PT C05M04P03D02 111 45 224 marking
IOTPpurchase PT C12M10P15D17 111 45 224 marking
JoinFreeModules PT 0003 16 25 71 structure
JoinFreeModules PT 0004 21 33 94 structure
JoinFreeModules PT 0005 26 41 117 structure
JoinFreeModules PT 0010 51 81 232 structure
JoinFreeModules PT 0020 101 161 462 structure
JoinFreeModules PT 0050 251 401 1152 structure
JoinFreeModules PT 0100 501 801 2302 structure
JoinFreeModules PT 0200 1001 1601 4602 structure
JoinFreeModules PT 0500 2501 4001 11502 structure
JoinFreeModules PT 1000 5001 8001 23002 structure
JoinFreeModules PT 2000 10001 16001 46002 structure
JoinFreeModules PT 5000 25001 40001 115002 structure
Kanban PT 00005 16 16 40 marking
Kanban PT 00010 16 16 40 marking
Kanban PT 00020 16 16 40 marking
Kanban PT 00050 16 16 40 marking
Kanban PT 00100 16 16 40 marking
Kanban PT 00200 16 16 40 marking
Kanban PT 00500 16 16 40 marking
Kanban PT 01000 16 16 40 marking
Kanban PT 02000 16 16 40 marking
Kanban PT 05000 16 16 40 marking
Kanban PT 10000 16 16 40 marking
Kanban PT 20000 16 16 40 marking
Kanban PT 50000 16 16 40 marking
LamportFastMutEx COL 2 18 17 68 marking
LamportFastMutEx COL 3 18 17 68 marking
LamportFastMutEx COL 4 18 17 68 marking
LamportFastMutEx COL 5 18 17 68 marking
LamportFastMutEx COL 6 18 17 68 marking
LamportFastMutEx COL 7 18 17 68 marking
LamportFastMutEx COL 8 18 17 68 marking
LamportFastMutEx PT 2 69 96 402 structure
LamportFastMutEx PT 3 100 156 664 structure
LamportFastMutEx PT 4 135 230 990 structure
LamportFastMutEx PT 5 174 318 1380 structure
LamportFastMutEx PT 6 217 420 1834 structure
LamportFastMutEx PT 7 264 536 2352 structure
LamportFastMutEx PT 8 315 666 2934 structure
LeafsetExtension PT S08C2 462 409 1324 structure
LeafsetExtension PT S08C3 462 409 1324 structure
LeafsetExtension PT S08C4 462 409 1324 structure
LeafsetExtension PT S16C2 1542 1449 4668 structure
LeafsetExtension PT S16C3 1542 1449 4668 structure
LeafsetExtension PT S16C4 1542 1449 4668 structure
LeafsetExtension PT S32C2 5622 5449 17500 structure
LeafsetExtension PT S32C3 5622 5449 17500 structure
LeafsetExtension PT S32C4 5622 5449 17500 structure
LeafsetExtension PT S64C2 21462 21129 67740 structure
LeafsetExtension PT S64C3 21462 21129 67740 structure
LeafsetExtension PT S64C4 21462 21129 67740 structure
MAPKbis PT 5310 106 173 986 marking
MAPKbis PT 5320 106 173 986 marking
MAPK PT 00008 22 30 90 marking
MAPK PT 00020 22 30 90 marking
MAPK PT 00040 22 30 90 marking
MAPK PT 00080 22 30 90 marking
MAPK PT 00160 22 30 90 marking
MAPK PT 00320 22 30 90 marking
MAPK PT 00640 22 30 90 marking
MAPK PT 01280 22 30 90 marking
MAPK PT 02560 22 30 90 marking
MAPK PT 05120 22 30 90 marking
MAPK PT 10240 22 30 90 marking
Medical PT 02 312 5431 28790 marking
Medical PT 04 312 5431 28790 marking
Medical PT 06 312 5431 28790 marking
Medical PT 08 312 5431 28790 marking
Medical PT 10 312 5431 28790 marking
Medical PT 12 312 5431 28790 marking
Medical PT 14 312 5431 28790 marking
Medical PT 16 312 5431 28790 marking
Medical PT 18 312 5431 28790 marking
Medical PT 20 312 5431 28790 marking
Medical PT 22 312 5431 28790 marking
Medical PT 24 312 5431 28790 marking
MultiCrashLeafsetExtension PT S16C02 2952 4255 17902 structure
MultiCrashLeafsetExtension PT S16C03 3606 5141 20838 structure
MultiCrashLeafsetExtension PT S16C04 4260 6027 23774 structure
MultiCrashLeafsetExtension PT S16C05 4914 6913 26710 structure
MultiCrashLeafsetExtension PT S16C06 5568 7799 29646 structure
MultiCrashLeafsetExtension PT S16C07 6222 8685 32582 structure
MultiCrashLeafsetExtension PT S16C08 6876 9571 35518 structure
MultiCrashLeafsetExtension PT S24C02 7032 10855 46214 structure
MultiCrashLeafsetExtension PT S24C03 8390 12757 52526 structure
MultiCrashLeafsetExtension PT S24C04 9748 14659 58838 structure
MultiCrashLeafsetExtension PT S24C05 11106 16561 65150 structure
MultiCrashLeafsetExtension PT S24C06 12464 18463 71462 structure
MultiCrashLeafsetExtension PT S24C07 13822 20365 77774 structure
MultiCrashLeafsetExtension PT S24C08 15180 22267 84086 structure
MultiCrashLeafsetExtension PT S24C09 16538 24169 90398 structure
MultiCrashLeafsetExtension PT S24C10 17896 26071 96710 structure
MultiCrashLeafsetExtension PT S24C11 19254 27973 103022 structure
MultiCrashLeafsetExtension PT S24C12 20612 29875 109334 structure
MultiCrashLeafsetExtension PT S32C02 13544 21807 93598 structure
MultiCrashLeafsetExtension PT S32C03 15862 25109 104566 structure
MultiCrashLeafsetExtension PT S32C04 18180 28411 115534 structure
MultiCrashLeafsetExtension PT S32C05 20498 31713 126502 structure
MultiCrashLeafsetExtension PT S32C06 22816 35015 137470 structure
MultiCrashLeafsetExtension PT S32C07 25134 38317 148438 structure
MultiCrashLeafsetExtension PT S32C08 27452 41619 159406 structure
MultiCrashLeafsetExtension PT S32C09 29770 44921 170374 structure
MultiCrashLeafsetExtension PT S32C10 32088 48223 181342 structure
MultiCrashLeafsetExtension PT S32C11 34406 51525 192310 structure
MultiCrashLeafsetExtension PT S32C12 36724 54827 203278 structure
MultiwaySync PT none 222 472 1496 none
Murphy COL D1N010 6 7 27 marking
Murphy COL D2N050 6 7 27 marking
Murphy COL D2N100 6 7 27 marking
Murphy COL D3N050 6 7 27 marking
Murphy COL D4N025 6 7 27 marking
Murphy COL D4N050 6 7 27 marking
Murphy PT D1N010 12 14 54 structure
Murphy PT D2N050 18 21 81 structure
Murphy PT D2N100 18 21 81 structure
Murphy PT D3N050 24 28 108 structure
Murphy PT D4N025 30 35 135 structure
Murphy PT D4N050 30 35 135 structure
NeighborGrid PT d2n3m1c12 9 40 80 structure
NeighborGrid PT d2n3m1t12 9 72 144 structure
NeighborGrid PT d3n3m1t11 27 162 324 structure
NeighborGrid PT d4n3m2c23 81 1632 3264 structure
NeighborGrid PT d5n4m1t35 1024 196608 393216 structure
NeoElection COL 2 18 22 98 marking
NeoElection COL 3 18 22 98 marking
NeoElection COL 4 18 22 98 marking
NeoElection COL 5 18 22 98 marking
NeoElection COL 6 18 22 98 marking
NeoElection COL 7 18 22 98 marking
NeoElection COL 8 18 22 98 marking
NeoElection PT 2 438 357 1998 structure
NeoElection PT 3 972 1016 5840 structure
NeoElection PT 4 1830 2340 13565 structure
NeoElection PT 5 3090 4674 27162 structure
NeoElection PT 6 4830 8435 49028 structure
NeoElection PT 7 7128 14112 81968 structure
NeoElection PT 8 10062 22266 129195 structure
NoC3x3 PT 1A 165 355 1069 structure
NoC3x3 PT 1B 1416 1640 3639 structure
NoC3x3 PT 2A 361 428 1697 structure
NoC3x3 PT 2B 2003 2292 5835 structure
NoC3x3 PT 3A 370 450 1773 structure
NoC3x3 PT 3B 2117 2435 6177 structure
NoC3x3 PT 4A 293 608 1905 structure
NoC3x3 PT 4B 2328 2701 6091 structure
NoC3x3 PT 5A 417 933 3585 structure
NoC3x3 PT 5B 1571 2173 6109 structure
NoC3x3 PT 6A 512 1117 4279 structure
NoC3x3 PT 6B 1544 2229 6663 structure
NoC3x3 PT 7A 801 1544 4519 structure
NoC3x3 PT 7B 7014 8833 19619 structure
NoC3x3 PT 8A 317 4293 9691 structure
NoC3x3 PT 8B 9140 14577 30726 structure
NQueens PT 05 55 25 125 structure
NQueens PT 08 112 64 320 structure
NQueens PT 10 160 100 500 structure
NQueens PT 12 216 144 720 structure
NQueens PT 15 315 225 1125 structure
NQueens PT 20 520 400 2000 structure
NQueens PT 25 775 625 3125 structure
NQueens PT 30 1080 900 4500 structure
PaceMaker PT none 70 164 954 none
ParamProductionCell PT 0 198 176 730 structure
ParamProductionCell PT 1 231 202 846 structure
ParamProductionCell PT 2 231 202 846 structure
ParamProductionCell PT 3 231 202 846 structure
ParamProductionCell PT 4 231 202 846 structure
ParamProductionCell PT 5 231 202 846 structure
Parking PT 104 65 97 284 structure
Parking PT 208 137 201 593 structure
Parking PT 416 305 433 1289 structure
Parking PT 432 529 785 2329 structure
Parking PT 832 737 993 2993 structure
Parking PT 864 1185 1697 5073 structure
PermAdmissibility COL 01 40 16 83 marking
PermAdmissibility COL 02 40 16 83 marking
PermAdmissibility COL 05 40 16 83 marking
PermAdmissibility COL 10 40 16 83 marking
PermAdmissibility COL 20 40 16 83 marking
PermAdmissibility COL 50 40 16 83 marking
PermAdmissibility PT 01 168 592 3456 marking
PermAdmissibility PT 02 168 592 3456 marking
PermAdmissibility PT 05 168 592 3456 marking
PermAdmissibility PT 10 168 592 3456 marking
PermAdmissibility PT 20 168 592 3456 marking
PermAdmissibility PT 50 168 592 3456 marking
Peterson COL 2 11 14 42 marking
Peterson COL 3 11 14 42 marking
Peterson COL 4 11 14 42 marking
Peterson COL 5 11 14 42 marking
Peterson COL 6 11 14 42 marking
Peterson COL 7 11 14 42 marking
Peterson PT 2 102 126 384 structure
Peterson PT 3 244 332 1016 structure
Peterson PT 4 480 690 2120 structure
Peterson PT 5 834 1242 3828 structure
Peterson PT 6 1330 2030 6272 structure
Peterson PT 7 1992 3096 9584 structure
PGCD COL D02N005 3 3 14 marking
PGCD COL D02N006 3 3 14 marking
PGCD COL D02N100 3 3 14 marking
PGCD COL D03N050 3 3 14 marking
PGCD COL D04N025 3 3 14 marking
PGCD COL D04N050 3 3 14 marking
PGCD COL D05N025 3 3 14 marking
PGCD PT D02N005 9 9 42 structure
PGCD PT D02N006 9 9 42 structure
PGCD PT D02N100 9 9 42 structure
PGCD PT D03N050 12 12 56 structure
PGCD PT D04N025 15 15 70 structure
PGCD PT D04N050 15 15 70 structure
PGCD PT D05N025 18 18 84 structure
PhaseVariation PT D02CS010 14 65 443 structure
PhaseVariation PT D02CS100 14 65 443 structure
PhaseVariation PT D05CS010 77 677 4685 structure
PhaseVariation PT D05CS100 77 677 4685 structure
PhaseVariation PT D10CS010 302 3137 21755 structure
PhaseVariation PT D10CS100 302 3137 21755 structure
PhaseVariation PT D20CS010 1202 13457 93395 structure
PhaseVariation PT D20CS100 1202 13457 93395 structure
PhaseVariation PT D30CS010 2702 30977 215035 structure
PhaseVariation PT D30CS100 2702 30977 215035 structure
Philosophers COL 000005 5 5 15 marking
Philosophers COL 000010 5 5 15 marking
Philosophers COL 000020 5 5 15 marking
Philosophers COL 000050 5 5 15 marking
Philosophers COL 000100 5 5 15 marking
Philosophers COL 000200 5 5 15 marking
Philosophers COL 000500 5 5 15 marking
Philosophers COL 001000 5 5 15 marking
Philosophers COL 002000 5 5 15 marking
Philosophers COL 005000 5 5 15 marking
Philosophers COL 010000 5 5 15 marking
Philosophers COL 050000 5 5 15 marking
Philosophers COL 100000 5 5 15 marking
PhilosophersDyn COL 03 8 7 33 marking
PhilosophersDyn COL 10 8 7 33 marking
PhilosophersDyn COL 20 8 7 33 marking
PhilosophersDyn COL 50 8 7 33 marking
PhilosophersDyn COL 80 8 7 33 marking
PhilosophersDyn PT 03 30 84 564 structure
PhilosophersDyn PT 10 170 2310 18190 structure
PhilosophersDyn PT 20 540 17220 140780 structure
Philosophers PT 000005 25 25 80 structure
Philosophers PT 000010 50 50 160 structure
Philosophers PT 000020 100 100 320 structure
Philosophers PT 000050 250 250 800 structure
Philosophers PT 000100 500 500 1600 structure
Philosophers PT 000200 1000 1000 3200 structure
Philosophers PT 000500 2500 2500 8000 structure
Philosophers PT 001000 5000 5000 16000 structure
Philosophers PT 002000 10000 10000 32000 structure
Philosophers PT 005000 25000 25000 80000 structure
Philosophers PT 010000 50000 50000 160000 structure
Planning PT none 126 128 652 none
PolyORBLF COL S02J04T06 81 65 254 marking
PolyORBLF COL S02J04T08 81 65 254 marking
PolyORBLF COL S02J04T10 81 65 254 marking
PolyORBLF COL S02J06T06 81 65 254 marking
PolyORBLF COL S02J06T08 81 65 254 marking
PolyORBLF COL S02J06T10 81 65 254 marking
PolyORBLF COL S04J04T06 81 65 254 marking
PolyORBLF COL S04J04T08 81 65 254 marking
PolyORBLF COL S04J04T10 81 65 254 marking
PolyORBLF COL S04J06T06 81 65 254 marking
PolyORBLF COL S04J06T08 81 65 254 marking
PolyORBLF COL S04J06T10 81 65 254 marking
PolyORBLF COL S06J04T04 81 65 254 marking
PolyORBLF COL S06J04T06 81 65 254 marking
PolyORBLF COL S06J04T08 81 65 254 marking
PolyORBLF COL S06J06T04 81 65 254 marking
PolyORBLF COL S06J06T06 81 65 254 marking
PolyORBLF COL S06J06T08 81 65 254 marking
PolyORBLF PT S02J04T06 476 920 4242 structure
PolyORBLF PT S02J04T08 614 1242 5732 structure
PolyORBLF PT S02J04T10 752 1572 7262 structure
PolyORBLF PT S02J06T06 536 1064 4866 structure
PolyORBLF PT S02J06T08 690 1434 6564 structure
PolyORBLF PT S02J06T10 844 1812 8302 structure
PolyORBLF PT S04J04T06 554 2998 20754 structure
PolyORBLF PT S04J04T08 712 4012 27744 structure
PolyORBLF PT S04J04T10 870 5034 34774 structure
PolyORBLF PT S04J06T06 618 3190 21570 structure
PolyORBLF PT S04J06T08 792 4268 28832 structure
PolyORBLF PT S04J06T10 966 5354 36134 structure
PolyORBLF PT S06J04T04 454 6994 59152 structure
PolyORBLF PT S06J04T06 632 10500 88770 structure
PolyORBLF PT S06J04T08 810 14014 118428 structure
PolyORBLF PT S06J06T04 506 7154 59824 structure
PolyORBLF PT S06J06T06 700 10740 89778 structure
PolyORBLF PT S06J06T08 894 14334 119772 structure
PolyORBNT COL S05J20 48 38 140 marking
PolyORBNT COL S05J30 48 38 140 marking
PolyORBNT COL S05J40 48 38 140 marking
PolyORBNT COL S05J60 48 38 140 marking
PolyORBNT COL S05J80 48 38 140 marking
PolyORBNT COL S10J20 48 38 140 marking
PolyORBNT COL S10J30 48 38 140 marking
PolyORBNT COL S10J40 48 38 140 marking
PolyORBNT COL S10J60 48 38 140 marking
PolyORBNT COL S10J80 48 38 140 marking
PolyORBNT PT S05J20 349 1210 8824 structure
PolyORBNT PT S05J30 489 1400 9764 structure
PolyORBNT PT S05J40 629 1590 10704 structure
PolyORBNT PT S05J60 909 1970 12584 structure
PolyORBNT PT S05J80 1189 2350 14464 structure
PolyORBNT PT S10J20 474 11760 111119 structure
PolyORBNT PT S10J30 664 12050 112559 structure
PolyORBNT PT S10J40 854 12340 113999 structure
PolyORBNT PT S10J60 1234 12920 116879 structure
PolyORBNT PT S10J80 1614 13500 119759 structure
ProductionCell PT none 176 134 513 none
QuasiCertifProtocol COL 02 30 26 77 marking
QuasiCertifProtocol COL 06 30 26 77 marking
QuasiCertifProtocol COL 10 30 26 77 marking
QuasiCertifProtocol COL 18 30 26 77 marking
QuasiCertifProtocol COL 22 30 26 77 marking
QuasiCertifProtocol COL 28 30 26 77 marking
QuasiCertifProtocol COL 32 30 26 77 marking
QuasiCertifProtocol PT 02 86 56 223 structure
QuasiCertifProtocol PT 06 270 116 659 structure
QuasiCertifProtocol PT 10 550 176 1287 structure
QuasiCertifProtocol PT 18 1398 296 3119 structure
QuasiCertifProtocol PT 22 1966 356 4323 structure
QuasiCertifProtocol PT 28 2998 446 6489 structure
QuasiCertifProtocol PT 32 3806 506 8173 structure
Raft PT 02 28 52 159 structure
Raft PT 03 53 98 328 structure
Raft PT 04 88 160 563 structure
Raft PT 05 133 238 864 structure
Raft PT 06 188 332 1231 structure
Raft PT 07 253 442 1664 structure
Raft PT 08 328 568 2163 structure
Raft PT 09 413 710 2728 structure
Raft PT 10 508 868 3359 structure
Railroad PT 005 68 56 313 structure
Railroad PT 010 118 156 898 structure
Railroad PT 020 218 506 2968 structure
Railroad PT 050 518 2756 16378 structure
Railroad PT 100 1018 10506 62728 structure
Referendum COL 0010 4 3 6 marking
Referendum COL 0015 4 3 6 marking
Referendum COL 0020 4 3 6 marking
Referendum COL 0050 4 3 6 marking
Referendum COL 0100 4 3 6 marking
Referendum COL 0200 4 3 6 marking
Referendum COL 0500 4 3 6 marking
Referendum COL 1000 4 3 6 marking
Referendum PT 0010 31 21 51 structure
Referendum PT 0015 46 31 76 structure
Referendum PT 0020 61 41 101 structure
Referendum PT 0050 151 101 251 structure
Referendum PT 0100 301 201 501 structure
Referendum PT 0200 601 401 1001 structure
Referendum PT 0500 1501 1001 2501 structure
Referendum PT 1000 3001 2001 5001 structure
RefineWMG PT 002002 14 11 32 structure
RefineWMG PT 002003 14 11 32 structure
RefineWMG PT 005005 29 23 68 structure
RefineWMG PT 005006 29 23 68 structure
RefineWMG PT 007007 39 31 92 structure
RefineWMG PT 007008 39 31 92 structure
RefineWMG PT 010010 54 43 128 structure
RefineWMG PT 010011 54 43 128 structure
RefineWMG PT 015015 79 63 188 structure
RefineWMG PT 015016 79 63 188 structure
RefineWMG PT 025025 129 103 308 structure
RefineWMG PT 025026 129 103 308 structure
RefineWMG PT 050050 254 203 608 structure
RefineWMG PT 050051 254 203 608 structure
RefineWMG PT 100100 504 403 1208 structure
RefineWMG PT 100101 504 403 1208 structure
RERS17pb113 PT 1 639 31353 125418 marking
RERS17pb113 PT 2 639 31353 125418 marking
RERS17pb113 PT 3 639 31353 125418 marking
RERS17pb113 PT 4 639 31353 125418 marking
RERS17pb113 PT 5 639 31353 125418 marking
RERS17pb113 PT 6 639 31353 125418 marking
RERS17pb113 PT 7 639 31353 125418 marking
RERS17pb113 PT 8 639 31353 125418 marking
RERS17pb113 PT 9 639 31353 125418 marking
RERS17pb114 PT 1 1446 151085 604252 marking
RERS17pb114 PT 2 1446 151085 604252 marking
RERS17pb114 PT 3 1446 151085 604252 marking
RERS17pb114 PT 4 1446 151085 604252 marking
RERS17pb114 PT 5 1446 151085 604252 marking
RERS17pb114 PT 6 1446 151085 604252 marking
RERS17pb114 PT 7 1446 151085 604252 marking
RERS17pb114 PT 8 1446 151085 604252 marking
RERS17pb114 PT 9 1446 151085 604252 marking
RERS17pb115 PT 1 1399 144369 577414 marking
RERS17pb115 PT 2 1399 144369 577414 marking
RERS17pb115 PT 3 1399 144369 577414 marking
RERS17pb115 PT 4 1399 144369 577414 marking
RERS17pb115 PT 5 1399 144369 577414 marking
RERS17pb115 PT 6 1399 144369 577414 marking
RERS17pb115 PT 7 1399 144369 577414 marking
RERS17pb115 PT 8 1399 144369 577414 marking
RERS17pb115 PT 9 1399 144369 577414 marking
RERS2020 PT pb101 906 149363 595952 structure
RERS2020 PT pb102 1276 125387 499222 structure
RERS2020 PT pb103 520 31658 125892 structure
RERS2020 PT pb104 1353 143642 572292 structure
RERS2020 PT pb105 1982 153412 610156 structure
RERS2020 PT pb106 2041 125740 498326 structure
RERS2020 PT pb107 1382 104643 417030 structure
RERS2020 PT pb108 2339 132214 523950 structure
RERS2020 PT pb109 1907 151872 605350 structure
ResAllocation PT R002C002 8 6 20 structure
ResAllocation PT R003C002 12 8 30 structure
ResAllocation PT R003C003 18 12 48 structure
ResAllocation PT R003C005 30 20 84 structure
ResAllocation PT R003C010 60 40 174 structure
ResAllocation PT R003C015 90 60 264 structure
ResAllocation PT R003C020 120 80 354 structure
ResAllocation PT R003C050 300 200 894 structure
ResAllocation PT R003C100 600 400 1794 structure
ResAllocation PT R005C002 20 12 50 structure
ResAllocation PT R010C002 40 22 100 structure
ResAllocation PT R015C002 60 32 150 structure
ResAllocation PT R020C002 80 42 200 structure
ResAllocation PT R050C002 200 102 500 structure
ResAllocation PT R100C002 400 202 1000 structure
Ring PT none 139 87 410 none
RingSingleMessageInMbox PT d0m005 385 59 236 structure
RingSingleMessageInMbox PT d0m010 385 59 236 structure
RingSingleMessageInMbox PT d0m020 385 59 236 structure
RingSingleMessageInMbox PT d0m040 385 59 236 structure
RingSingleMessageInMbox PT d0m080 385 59 236 structure
RingSingleMessageInMbox PT d0m160 385 59 236 structure
RingSingleMessageInMbox PT d1m005 6690 11934 47736 structure
RingSingleMessageInMbox PT d1m010 6690 11934 47736 structure
RingSingleMessageInMbox PT d1m020 6690 11934 47736 structure
RingSingleMessageInMbox PT d1m040 6690 11934 47736 structure
RingSingleMessageInMbox PT d1m080 6690 11934 47736 structure
RingSingleMessageInMbox PT d1m160 6690 11934 47736 structure
RingSingleMessageInMbox PT d2m005 66950 213625 854500 structure
RingSingleMessageInMbox PT d2m010 66950 213625 854500 structure
RingSingleMessageInMbox PT d2m020 66950 213625 854500 structure
RingSingleMessageInMbox PT d2m040 66950 213625 854500 structure
RingSingleMessageInMbox PT d2m080 66950 213625 854500 structure
RingSingleMessageInMbox PT d2m160 66950 213625 854500 structure
RobotManipulation PT 00001 15 11 34 marking
RobotManipulation PT 00002 15 11 34 marking
RobotManipulation PT 00005 15 11 34 marking
RobotManipulation PT 00010 15 11 34 marking
RobotManipulation PT 00020 15 11 34 marking
RobotManipulation PT 00050 15 11 34 marking
RobotManipulation PT 00100 15 11 34 marking
RobotManipulation PT 00200 15 11 34 marking
RobotManipulation PT 00500 15 11 34 marking
RobotManipulation PT 01000 15 11 34 marking
RobotManipulation PT 02000 15 11 34 marking
RobotManipulation PT 05000 15 11 34 marking
RobotManipulation PT 10000 15 11 34 marking
RwMutex PT r0010w0010 50 40 300 structure
RwMutex PT r0010w0020 70 60 540 structure
RwMutex PT r0010w0050 130 120 1260 structure
RwMutex PT r0010w0100 230 220 2460 structure
RwMutex PT r0010w0500 1030 1020 12060 structure
RwMutex PT r0010w1000 2030 2020 24060 structure
RwMutex PT r0010w2000 4030 4020 48060 structure
RwMutex PT r0020w0010 80 60 560 structure
RwMutex PT r0100w0010 320 220 2640 structure
RwMutex PT r0500w0010 1520 1020 13040 structure
RwMutex PT r1000w0010 3020 2020 26040 structure
RwMutex PT r2000w0010 6020 4020 52040 structure
SafeBus COL 03 20 14 68 marking
SafeBus COL 06 20 14 68 marking
SafeBus COL 10 20 14 68 marking
SafeBus COL 15 20 14 68 marking
SafeBus COL 20 20 14 68 marking
SafeBus COL 50 20 14 68 marking
SafeBus COL 80 20 14 68 marking
SafeBus PT 03 57 91 541 structure
SafeBus PT 06 144 451 2968 structure
SafeBus PT 10 316 1631 11384 structure
SafeBus PT 15 621 4771 34549 structure
SafeBus PT 20 1026 10461 77364 structure
SatelliteMemory PT X00100Y0003 13 10 40 marking
SatelliteMemory PT X01000Y0032 13 10 40 marking
SatelliteMemory PT X01500Y0046 13 10 40 marking
SatelliteMemory PT X03000Y0094 13 10 40 marking
SatelliteMemory PT X65535Y2048 13 10 40 marking
SemanticWebServices PT S064P06 97 164 661 structure
SemanticWebServices PT S064P09 100 164 719 structure
SemanticWebServices PT S064P12 104 158 863 structure
SemanticWebServices PT S064P15 118 194 1007 structure
SemanticWebServices PT S064P18 154 236 1265 structure
SemanticWebServices PT S128P06 262 1328 9727 structure
SemanticWebServices PT S128P09 242 946 6609 structure
SemanticWebServices PT S128P12 191 414 1559 structure
SemanticWebServices PT S128P15 188 416 1593 structure
SemanticWebServices PT S128P18 184 466 1873 structure
SemanticWebServices PT S256P06 439 14102 130267 structure
SemanticWebServices PT S256P09 418 27524 270595 structure
SemanticWebServices PT S256P12 356 20464 190527 structure
SemanticWebServices PT S256P15 329 29492 267319 structure
SemanticWebServices PT S256P18 198 9732 78799 structure
ServersAndClients PT 100020 2421 4200 12800 structure
ServersAndClients PT 100040 4441 8200 24800 structure
ServersAndClients PT 100080 8481 16200 48800 structure
ServersAndClients PT 100160 16561 32200 96800 structure
ServersAndClients PT 100320 32721 64200 192800 structure
ServersAndClients PT 200040 8841 16400 49600 structure
ServersAndClients PT 200080 16881 32400 97600 structure
ServersAndClients PT 200160 32961 64400 193600 structure
ServersAndClients PT 200320 65121 128400 385600 structure
ServersAndClients PT 400080 33681 64800 195200 structure
ServersAndClients PT 400160 65761 128800 387200 structure
SharedMemory COL 000005 6 5 16 marking
SharedMemory COL 000010 6 5 16 marking
SharedMemory COL 000020 6 5 16 marking
SharedMemory COL 000050 6 5 16 marking
SharedMemory COL 000100 6 5 16 marking
SharedMemory COL 000200 6 5 16 marking
SharedMemory COL 000500 6 5 16 marking
SharedMemory COL 001000 6 5 16 marking
SharedMemory COL 002000 6 5 16 marking
SharedMemory COL 005000 6 5 16 marking
SharedMemory COL 010000 6 5 16 marking
SharedMemory COL 020000 6 5 16 marking
SharedMemory COL 050000 6 5 16 marking
SharedMemory COL 100000 6 5 16 marking
SharedMemory PT 000005 41 55 200 structure
SharedMemory PT 000010 131 210 800 structure
SharedMemory PT 000020 461 820 3200 structure
SharedMemory PT 000050 2651 5050 20000 structure
SharedMemory PT 000100 10301 20100 80000 structure
SharedMemory PT 000200 40601 80200 320000 structure
ShieldIIPs PT 001A 28 27 114 structure
ShieldIIPs PT 001B 63 62 184 structure
ShieldIIPs PT 002A 53 51 222 structure
ShieldIIPs PT 002B 123 121 362 structure
ShieldIIPs PT 003A 78 75 330 structure
ShieldIIPs PT 003B 183 180 540 structure
ShieldIIPs PT 004A 103 99 438 structure
ShieldIIPs PT 004B 243 239 718 structure
ShieldIIPs PT 005A 128 123 546 structure
ShieldIIPs PT 005B 303 298 896 structure
ShieldIIPs PT 010A 253 243 1086 structure
ShieldIIPs PT 010B 603 593 1786 structure
ShieldIIPs PT 020A 503 483 2166 structure
ShieldIIPs PT 020B 1203 1183 3566 structure
ShieldIIPs PT 030A 753 723 3246 structure
ShieldIIPs PT 030B 1803 1773 5346 structure
ShieldIIPs PT 040A 1003 963 4326 structure
ShieldIIPs PT 040B 2403 2363 7126 structure
ShieldIIPs PT 050A 1253 1203 5406 structure
ShieldIIPs PT 050B 3003 2953 8906 structure
ShieldIIPs PT 100A 2503 2403 10806 structure
ShieldIIPs PT 100B 6003 5903 17806 structure
ShieldIIPt PT 001A 22 17 66 structure
ShieldIIPt PT 001B 73 68 168 structure
ShieldIIPt PT 002A 41 31 126 structure
ShieldIIPt PT 002B 143 133 330 structure
ShieldIIPt PT 003A 60 45 186 structure
ShieldIIPt PT 003B 213 198 492 structure
ShieldIIPt PT 004A 79 59 246 structure
ShieldIIPt PT 004B 283 263 654 structure
ShieldIIPt PT 005A 98 73 306 structure
ShieldIIPt PT 005B 353 328 816 structure
ShieldIIPt PT 010A 193 143 606 structure
ShieldIIPt PT 010B 703 653 1626 structure
ShieldIIPt PT 020A 383 283 1206 structure
ShieldIIPt PT 020B 1403 1303 3246 structure
ShieldIIPt PT 030A 573 423 1806 structure
ShieldIIPt PT 030B 2103 1953 4866 structure
ShieldIIPt PT 040A 763 563 2406 structure
ShieldIIPt PT 040B 2803 2603 6486 structure
ShieldIIPt PT 050A 953 703 3006 structure
ShieldIIPt PT 050B 3503 3253 8106 structure
ShieldIIPt PT 100A 1903 1403 6006 structure
ShieldIIPt PT 100B 7003 6503 16206 structure
ShieldPPPs PT 001A 34 29 106 structure
ShieldPPPs PT 001B 71 66 180 structure
ShieldPPPs PT 002A 65 55 206 structure
ShieldPPPs PT 002B 139 129 354 structure
ShieldPPPs PT 003A 96 81 306 structure
ShieldPPPs PT 003B 207 192 528 structure
ShieldPPPs PT 004A 127 107 406 structure
ShieldPPPs PT 004B 275 255 702 structure
ShieldPPPs PT 005A 158 133 506 structure
ShieldPPPs PT 005B 343 318 876 structure
ShieldPPPs PT 010A 313 263 1006 structure
ShieldPPPs PT 010B 683 633 1746 structure
ShieldPPPs PT 020A 623 523 2006 structure
ShieldPPPs PT 020B 1363 1263 3486 structure
ShieldPPPs PT 030A 933 783 3006 structure
ShieldPPPs PT 030B 2043 1893 5226 structure
ShieldPPPs PT 040A 1243 1043 4006 structure
ShieldPPPs PT 040B 2723 2523 6966 structure
ShieldPPPs PT 050A 1553 1303 5006 structure
ShieldPPPs PT 050B 3403 3153 8706 structure
ShieldPPPs PT 100A 3103 2603 10006 structure
ShieldPPPs PT 100B 6803 6303 17406 structure
ShieldPPPt PT 001A 28 21 78 structure
ShieldPPPt PT 001B 81 74 184 structure
ShieldPPPt PT 002A 53 39 150 structure
ShieldPPPt PT 002B 159 145 362 structure
ShieldPPPt PT 003A 78 57 222 structure
ShieldPPPt PT 003B 237 216 540 structure
ShieldPPPt PT 004A 103 75 294 structure
ShieldPPPt PT 004B 315 287 718 structure
ShieldPPPt PT 005A 128 93 366 structure
ShieldPPPt PT 005B 393 358 896 structure
ShieldPPPt PT 010A 253 183 726 structure
ShieldPPPt PT 010B 783 713 1786 structure
ShieldPPPt PT 020A 503 363 1446 structure
ShieldPPPt PT 020B 1563 1423 3566 structure
ShieldPPPt PT 030A 753 543 2166 structure
ShieldPPPt PT 030B 2343 2133 5346 structure
ShieldPPPt PT 040A 1003 723 2886 structure
ShieldPPPt PT 040B 3123 2843 7126 structure
ShieldPPPt PT 050A 1253 903 3606 structure
ShieldPPPt PT 050B 3903 3553 8906 structure
ShieldPPPt PT 100A 2503 1803 7206 structure
ShieldPPPt PT 100B 7803 7103 17806 structure
ShieldRVs PT 001A 17 22 92 structure
ShieldRVs PT 001B 43 48 144 structure
ShieldRVs PT 002A 31 41 184 structure
ShieldRVs PT 002B 83 93 288 structure
ShieldRVs PT 003A 45 60 276 structure
ShieldRVs PT 003B 123 138 432 structure
ShieldRVs PT 004A 59 79 368 structure
ShieldRVs PT 004B 163 183 576 structure
ShieldRVs PT 005A 73 98 460 structure
ShieldRVs PT 005B 203 228 720 structure
ShieldRVs PT 010A 143 193 920 structure
ShieldRVs PT 010B 403 453 1440 structure
ShieldRVs PT 020A 283 383 1840 structure
ShieldRVs PT 020B 803 903 2880 structure
ShieldRVs PT 030A 423 573 2760 structure
ShieldRVs PT 030B 1203 1353 4320 structure
ShieldRVs PT 040A 563 763 3680 structure
ShieldRVs PT 040B 1603 1803 5760 structure
ShieldRVs PT 050A 703 953 4600 structure
ShieldRVs PT 050B 2003 2253 7200 structure
ShieldRVs PT 100A 1403 1903 9200 structure
ShieldRVs PT 100B 4003 4503 14400 structure
ShieldRVt PT 001A 11 11 40 structure
ShieldRVt PT 001B 53 53 124 structure
ShieldRVt PT 002A 19 19 74 structure
ShieldRVt PT 002B 103 103 242 structure
ShieldRVt PT 003A 27 27 108 structure
ShieldRVt PT 003B 153 153 360 structure
ShieldRVt PT 004A 35 35 142 structure
ShieldRVt PT 004B 203 203 478 structure
ShieldRVt PT 005A 43 43 176 structure
ShieldRVt PT 005B 253 253 596 structure
ShieldRVt PT 010A 83 83 346 structure
ShieldRVt PT 010B 503 503 1186 structure
ShieldRVt PT 020A 163 163 686 structure
ShieldRVt PT 020B 1003 1003 2366 structure
ShieldRVt PT 030A 243 243 1026 structure
ShieldRVt PT 030B 1503 1503 3546 structure
ShieldRVt PT 040A 323 323 1366 structure
ShieldRVt PT 040B 2003 2003 4726 structure
ShieldRVt PT 050A 403 403 1706 structure
ShieldRVt PT 050B 2503 2503 5906 structure
ShieldRVt PT 100A 803 803 3406 structure
ShieldRVt PT 100B 5003 5003 11806 structure
SieveSingleMsgMbox PT d0m04 262 73 292 structure
SieveSingleMsgMbox PT d0m06 262 73 292 structure
SieveSingleMsgMbox PT d0m18 262 73 292 structure
SieveSingleMsgMbox PT d0m36 262 73 292 structure
SieveSingleMsgMbox PT d0m64 262 73 292 structure
SieveSingleMsgMbox PT d0m96 262 73 292 structure
SieveSingleMsgMbox PT d1m04 1295 749 2996 structure
SieveSingleMsgMbox PT d1m06 1295 749 2996 structure
SieveSingleMsgMbox PT d1m18 1295 749 2996 structure
SieveSingleMsgMbox PT d1m36 1295 749 2996 structure
SieveSingleMsgMbox PT d1m64 1295 749 2996 structure
SieveSingleMsgMbox PT d1m96 1295 749 2996 structure
SieveSingleMsgMbox PT d2m04 2398 1954 7816 structure
SieveSingleMsgMbox PT d2m06 2398 1954 7816 structure
SieveSingleMsgMbox PT d2m18 2398 1954 7816 structure
SieveSingleMsgMbox PT d2m36 2398 1954 7816 structure
SieveSingleMsgMbox PT d2m64 2398 1954 7816 structure
SieveSingleMsgMbox PT d2m96 2398 1954 7816 structure
SimpleLoadBal PT 02 32 45 252 structure
SimpleLoadBal PT 05 59 180 1158 structure
SimpleLoadBal PT 10 104 605 4148 structure
SimpleLoadBal PT 15 149 1280 8988 structure
SimpleLoadBal PT 20 194 2205 15678 structure
SmallOperatingSystem PT MT0016DC0008 9 8 27 marking
SmallOperatingSystem PT MT0032DC0008 9 8 27 marking
SmallOperatingSystem PT MT0032DC0016 9 8 27 marking
SmallOperatingSystem PT MT0064DC0016 9 8 27 marking
SmallOperatingSystem PT MT0064DC0032 9 8 27 marking
SmallOperatingSystem PT MT0128DC0032 9 8 27 marking
SmallOperatingSystem PT MT0128DC0064 9 8 27 marking
SmallOperatingSystem PT MT0256DC0064 9 8 27 marking
SmallOperatingSystem PT MT0256DC0128 9 8 27 marking
SmallOperatingSystem PT MT0512DC0128 9 8 27 marking
SmallOperatingSystem PT MT0512DC0256 9 8 27 marking
SmallOperatingSystem PT MT1024DC0256 9 8 27 marking
SmallOperatingSystem PT MT1024DC0512 9 8 27 marking
SmallOperatingSystem PT MT2048DC0512 9 8 27 marking
SmallOperatingSystem PT MT2048DC1024 9 8 27 marking
SmallOperatingSystem PT MT4096DC1024 9 8 27 marking
SmallOperatingSystem PT MT4096DC2048 9 8 27 marking
SmallOperatingSystem PT MT8192DC2048 9 8 27 marking
SmallOperatingSystem PT MT8192DC4096 9 8 27 marking
SmartHome PT 01 38 113 321 structure
SmartHome PT 02 41 127 359 structure
SmartHome PT 03 45 145 405 structure
SmartHome PT 04 139 159 361 structure
SmartHome PT 05 213 245 557 structure
SmartHome PT 06 219 254 581 structure
SmartHome PT 07 251 290 658 structure
SmartHome PT 08 252 291 664 structure
SmartHome PT 09 253 293 664 structure
SmartHome PT 10 273 308 699 structure
SmartHome PT 11 290 315 722 structure
SmartHome PT 12 376 399 909 structure
SmartHome PT 13 385 407 935 structure
SmartHome PT 14 422 448 1026 structure
SmartHome PT 15 427 451 1038 structure
SmartHome PT 16 499 533 1222 structure
SmartHome PT 17 571 617 1410 structure
SmartHome PT 18 653 706 1618 structure
SmartHome PT 19 741 809 1844 structure
Solitaire PT EngCT7x7 67 76 532 structure
Solitaire PT EngNC7x7 66 76 456 structure
Solitaire PT FrnCT7x7 75 92 644 structure
Solitaire PT FrnNC7x7 74 92 552 structure
Solitaire PT SqrCT5x5 51 84 540 structure
Solitaire PT SqrNC5x5 50 84 456 structure
SquareGrid PT 020102 68 72 288 structure
SquareGrid PT 040204 240 272 1088 structure
SquareGrid PT 080408 896 1056 4224 structure
SquareGrid PT 100510 1380 1640 6560 structure
SquareGrid PT 130613 2301 2756 11024 structure
StigmergyCommit PT 02a 112 204 693 structure
StigmergyCommit PT 02b 928 1040 2439 structure
StigmergyCommit PT 03a 148 332 1538 structure
StigmergyCommit PT 03b 1231 1476 4168 structure
StigmergyCommit PT 04a 184 592 4011 structure
StigmergyCommit PT 04b 1534 2136 8601 structure
StigmergyCommit PT 05a 220 1212 11640 structure
StigmergyCommit PT 05b 1837 3460 22362 structure
StigmergyCommit PT 06a 256 2816 35321 structure
StigmergyCommit PT 06b 2140 6760 67803 structure
StigmergyCommit PT 07a 292 7108 108222 structure
StigmergyCommit PT 07b 2443 15956 219500 structure
StigmergyCommit PT 08a 328 18744 330279 structure
StigmergyCommit PT 08b 2746 42776 723933 structure
StigmergyCommit PT 09a 364 50444 999956 structure
StigmergyCommit PT 09b 3049 122340 2389246 structure
StigmergyCommit PT 10a 400 136960 3002181 structure
StigmergyCommit PT 10b 3352 359880 7847007 structure
StigmergyCommit PT 11a 436 373236 8944506 structure
StigmergyCommit PT 11b 3655 1070836 25615632 structure
StigmergyElection PT 02a 30 66 196 structure
StigmergyElection PT 02b 291 332 734 structure
StigmergyElection PT 03a 44 118 467 structure
StigmergyElection PT 03b 427 518 1323 structure
StigmergyElection PT 04a 58 218 1238 structure
StigmergyElection PT 04b 563 780 2680 structure
StigmergyElection PT 05a 72 450 3637 structure
StigmergyElection PT 05b 699 1266 6741 structure
StigmergyElection PT 06a 86 1042 11192 structure
StigmergyElection PT 06b 835 2416 20130 structure
StigmergyElection PT 07a 100 2618 34799 structure
StigmergyElection PT 07b 971 5542 65199 structure
StigmergyElection PT 08a 114 6882 107626 structure
StigmergyElection PT 08b 1107 14564 216524 structure
StigmergyElection PT 09a 128 18490 329609 structure
StigmergyElection PT 09b 1243 41210 720585 structure
StigmergyElection PT 10a 142 50162 999212 structure
StigmergyElection PT 10b 1379 120600 2385526 structure
StigmergyElection PT 11a 156 136650 3001363 structure
StigmergyElection PT 11b 1515 357966 7842915 structure
Sudoku COL AN01 4 1 4 structure
Sudoku COL AN02 4 1 4 structure
Sudoku COL AN03 4 1 4 structure
Sudoku COL AN04 4 1 4 structure
Sudoku COL AN05 4 1 4 structure
Sudoku COL AN06 4 1 4 structure
Sudoku COL AN07 4 1 4 structure
Sudoku COL AN08 4 1 4 structure
Sudoku COL AN09 4 1 4 structure
Sudoku COL AN10 4 1 4 structure
Sudoku COL AN11 4 1 4 structure
Sudoku COL AN12 4 1 4 structure
Sudoku COL AN13 4 1 4 structure
Sudoku COL AN14 4 1 4 structure
Sudoku COL AN15 4 1 4 structure
Sudoku COL AN16 4 1 4 structure
Sudoku COL BN01 5 1 5 structure
Sudoku COL BN04 5 1 5 structure
Sudoku COL BN09 5 1 5 structure
Sudoku COL BN16 5 1 5 structure
Sudoku PT AN01 4 1 4 structure
Sudoku PT AN02 20 8 32 structure
Sudoku PT AN03 54 27 108 structure
Sudoku PT AN04 112 64 256 structure
Sudoku PT AN05 200 125 500 structure
Sudoku PT AN06 324 216 864 structure
Sudoku PT AN07 490 343 1372 structure
Sudoku PT AN08 704 512 2048 structure
Sudoku PT AN09 972 729 2916 structure
Sudoku PT AN10 1300 1000 4000 structure
Sudoku PT AN11 1694 1331 5324 structure
Sudoku PT AN12 2160 1728 6912 structure
Sudoku PT AN13 2704 2197 8788 structure
Sudoku PT AN14 3332 2744 10976 structure
Sudoku PT AN15 4050 3375 13500 structure
Sudoku PT AN16 4864 4096 16384 structure
Sudoku PT BN01 5 1 5 structure
Sudoku PT BN04 128 64 320 structure
Sudoku PT BN09 1053 729 3645 structure
Sudoku PT BN16 5120 4096 20480 structure
SwimmingPool PT 01 9 7 20 marking
SwimmingPool PT 02 9 7 20 marking
SwimmingPool PT 03 9 7 20 marking
SwimmingPool PT 04 9 7 20 marking
SwimmingPool PT 05 9 7 20 marking
SwimmingPool PT 06 9 7 20 marking
SwimmingPool PT 07 9 7 20 marking
SwimmingPool PT 08 9 7 20 marking
SwimmingPool PT 09 9 7 20 marking
SwimmingPool PT 10 9 7 20 marking
Szymanski PT a02 61 224 900 structure
Szymanski PT a04 61 224 900 structure
Szymanski PT a06 61 224 900 structure
Szymanski PT a08 61 224 900 structure
Szymanski PT a10 61 224 900 structure
Szymanski PT a12 61 224 900 structure
Szymanski PT b02 568 8320 33408 structure
Szymanski PT b04 568 8320 33408 structure
Szymanski PT b06 568 8320 33408 structure
Szymanski PT b08 568 8320 33408 structure
Szymanski PT b10 568 8320 33408 structure
Szymanski PT b12 568 8320 33408 structure
TCPcondis PT 05 30 32 108 marking
TCPcondis PT 10 30 32 108 marking
TCPcondis PT 15 30 32 108 marking
TCPcondis PT 20 30 32 108 marking
TCPcondis PT 25 30 32 108 marking
TCPcondis PT 30 30 32 108 marking
TCPcondis PT 35 30 32 108 marking
TCPcondis PT 40 30 32 108 marking
TCPcondis PT 50 30 32 108 marking
TokenRing COL 005 1 2 4 marking
TokenRing COL 010 1 2 4 marking
TokenRing COL 015 1 2 4 marking
TokenRing COL 020 1 2 4 marking
TokenRing COL 030 1 2 4 marking
TokenRing COL 040 1 2 4 marking
TokenRing COL 050 1 2 4 marking
TokenRing COL 100 1 2 4 marking
TokenRing COL 200 1 2 4 marking
TokenRing COL 500 1 2 4 marking
TokenRing PT 005 36 156 624 structure
TokenRing PT 010 121 1111 4444 structure
TokenRing PT 015 256 3616 14464 structure
TokenRing PT 020 441 8421 33684 structure
TokenRing PT 030 961 27931 111724 structure
TokenRing PT 040 1681 65641 262564 structure
TokenRing PT 050 2601 127551 510204 structure
TriangularGrid PT 1200 16 12 48 structure
TriangularGrid PT 1500 16 12 48 structure
TriangularGrid PT 2011 52 42 168 structure
TriangularGrid PT 3011 108 90 360 structure
TriangularGrid PT 3026 108 90 360 structure
TriangularGrid PT 4022 184 156 624 structure
TriangularGrid PT 5020 280 240 960 structure
TriangularGrid PT 5046 280 240 960 structure
TwoPhaseLocking PT nC00004vD 8 6 18 marking
TwoPhaseLocking PT nC00004vN 8 6 18 marking
TwoPhaseLocking PT nC00010vD 8 6 18 marking
TwoPhaseLocking PT nC00010vN 8 6 18 marking
TwoPhaseLocking PT nC00020vD 8 6 18 marking
TwoPhaseLocking PT nC00020vN 8 6 18 marking
TwoPhaseLocking PT nC00050vD 8 6 18 marking
TwoPhaseLocking PT nC00050vN 8 6 18 marking
TwoPhaseLocking PT nC00100vD 8 6 18 marking
TwoPhaseLocking PT nC00100vN 8 6 18 marking
TwoPhaseLocking PT nC00200vD 8 6 18 marking
TwoPhaseLocking PT nC00200vN 8 6 18 marking
TwoPhaseLocking PT nC00500vD 8 6 18 marking
TwoPhaseLocking PT nC00500vN 8 6 18 marking
TwoPhaseLocking PT nC01000vD 8 6 18 marking
TwoPhaseLocking PT nC01000vN 8 6 18 marking
TwoPhaseLocking PT nC02000vD 8 6 18 marking
TwoPhaseLocking PT nC02000vN 8 6 18 marking
TwoPhaseLocking PT nC05000vD 8 6 18 marking
TwoPhaseLocking PT nC05000vN 8 6 18 marking
TwoPhaseLocking PT nC10000vD 8 6 18 marking
TwoPhaseLocking PT nC10000vN 8 6 18 marking
UtahNoC PT none 216 977 2905 none
UtilityControlRoom COL Z2T3N04 13 12 37 marking
UtilityControlRoom COL Z2T3N06 13 12 37 marking
UtilityControlRoom COL Z2T3N08 13 12 37 marking
UtilityControlRoom COL Z2T3N10 13 12 37 marking
UtilityControlRoom COL Z2T4N02 13 12 37 marking
UtilityControlRoom COL Z2T4N04 13 12 37 marking
UtilityControlRoom COL Z2T4N06 13 12 37 marking
UtilityControlRoom COL Z2T4N08 13 12 37 marking
UtilityControlRoom COL Z2T4N10 13 12 37 marking
UtilityControlRoom COL Z4T3N06 13 12 37 marking
UtilityControlRoom COL Z4T3N08 13 12 37 marking
UtilityControlRoom COL Z4T3N10 13 12 37 marking
UtilityControlRoom COL Z4T4N02 13 12 37 marking
UtilityControlRoom COL Z4T4N04 13 12 37 marking
UtilityControlRoom COL Z4T4N06 13 12 37 marking
UtilityControlRoom COL Z4T4N08 13 12 37 marking
UtilityControlRoom COL Z4T4N10 13 12 37 marking
UtilityControlRoom PT Z2T3N04 72 108 340 structure
UtilityControlRoom PT Z2T3N06 106 162 510 structure
UtilityControlRoom PT Z2T3N08 140 216 680 structure
UtilityControlRoom PT Z2T3N10 174 270 850 structure
UtilityControlRoom PT Z2T4N02 38 54 170 structure
UtilityControlRoom PT Z2T4N04 72 108 340 structure
UtilityControlRoom PT Z2T4N06 106 162 510 structure
UtilityControlRoom PT Z2T4N08 140 216 680 structure
UtilityControlRoom PT Z2T4N10 174 270 850 structure
UtilityControlRoom PT Z4T3N06 228 450 1446 structure
UtilityControlRoom PT Z4T3N08 302 600 1928 structure
UtilityControlRoom PT Z4T3N10 376 750 2410 structure
UtilityControlRoom PT Z4T4N02 80 150 482 structure
UtilityControlRoom PT Z4T4N04 154 300 964 structure
UtilityControlRoom PT Z4T4N06 228 450 1446 structure
UtilityControlRoom PT Z4T4N08 302 600 1928 structure
UtilityControlRoom PT Z4T4N10 376 750 2410 structure
Vasy2003 PT none 485 776 2809 none
VehicularWifi COL none 21 41 136 none
ViralEpidemic PT S02D1C1A10 8189 10235 22517 structure
ViralEpidemic PT S02D1C1A12 32765 40955 90101 structure
ViralEpidemic PT S03D1C1A02 66 91 208 structure
ViralEpidemic PT S03D1C1A04 606 847 1936 structure
ViralEpidemic PT S03D1C1A06 5466 7651 17488 structure
ViralEpidemic PT S03D1C1A08 49206 68887 157456 structure
ViralEpidemic PT S04D1C1A02 127 189 441 structure
ViralEpidemic PT S04D1C1A03 511 765 1785 structure
ViralEpidemic PT S04D1C1A04 2047 3069 7161 structure
ViralEpidemic PT S04D1C1A06 32767 49149 114681 structure
ViralEpidemic PT S08D1C2A02 731 1241 2993 structure
ViralEpidemic PT S08D1C2A04 46811 79577 191921 structure
ViralEpidemic PT S16D2C4A01 307 561 1377 structure
ViralEpidemic PT S16D2C4A02 4915 9009 22113 structure
ViralEpidemic PT S16D2C4A03 78643 144177 353889 structure