MCC'2017 - Execution of r048-smll-149440869500083

About the Execution of LoLA for Peterson-PT-7

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
461.460	3539346.00	3546692.00	8465.40	? ? ? ? ? ? ? ? ? ? ? ? ? 8 ? ?	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be
................
======
Generated by BenchKit 2-3254
Executing tool lola
Input is Peterson-PT-7,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
============================

--------------------
content from stdout:

=== Data for post analysis

The expected result
NUM_VECTOR

here is the order used
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-
FORMULA_NAME Peterson-COL-7-

=== Now, execution

BK_START 1494513481871

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ Peterson-PT-7
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 5088/65536
lola: preprocessing...
lola: finding significant
lola: 1992 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 4784 transition
lola: TASK
lola: reading formula
lola: MAX(BeginLoop_7_1_0
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29557 markings,
lola: 58767 markings,
lola: 87965 markings,
lola: 117276 markings,
lola: 146374 markings,
lola: 175456 markings,
lola: 204469 markings,
lola: 233408 markings,
lola: 262390 markings,
lola: 291411 markings,
lola: 320179 markings,
lola: 349179 markings,
lola: 378121 markings,
lola: 407052 markings,
lola: 435964 markings,
lola: 464809 markings,
lola: 493610 markings,
lola: 522305 markings,
lola: 551037 markings,
lola: 579815 markings,
lola: 608516 markings,
lola: 637212 markings,
lola: 665863 markings,
lola: 694565 markings,
lola: 723246 markings,
lola: 751929 markings,
lola: 780630 markings,
lola: 809313 markings,
lola: 837951 markings,
lola: 866515 markings,
lola: 895071 markings,
lola: 923580 markings,
lola: 952154 markings,
lola: 980670 markings,
lola: 1009185 markings,
lola: 1037746 markings,
lola: 1066165 markings,
lola: 1094645 markings,
lola: 1123132 markings,
lola: 1151625 markings,
lola: 1180157 markings,
lola: 1208655 markings,
lola: 1237096 markings,
lola: 1265505 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 34491 markings,
lola: 68855 markings,
lola: 103319 markings,
lola: 137510 markings,
lola: 170950 markings,
lola: 204609 markings,
lola: 238351 markings,
lola: 271369 markings,
lola: 305238 markings,
lola: 338906 markings,
lola: 372898 markings,
lola: 406654 markings,
lola: 439939 markings,
lola: 473643 markings,
lola: 507802 markings,
lola: 541698 markings,
lola: 575592 markings,
lola: 609462 markings,
lola: 643309 markings,
lola: 677128 markings,
lola: 710865 markings,
lola: 744610 markings,
lola: 778353 markings,
lola: 812089 markings,
lola: 845756 markings,
lola: 879417 markings,
lola: 913289 markings,
lola: 945841 markings,
lola: 978447 markings,
lola: 1010840 markings,
lola: 1043228 markings,
lola: 1075686 markings,
lola: 1108091 markings,
lola: 1140451 markings,
lola: 1172871 markings,
lola: 1205248 markings,
lola: 1237586 markings,
lola: 1270294 markings,
lola: 1303925 markings,
lola: 1337478 markings,
lola: 1370996 markings,
lola: 1404593 markings,
lola: 1438027 markings,
lola: 1470730 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 34960 markings,
lola: 68739 markings,
lola: 103529 markings,
lola: 138151 markings,
lola: 171371 markings,
lola: 204544 markings,
lola: 238942 markings,
lola: 273320 markings,
lola: 306880 markings,
lola: 340830 markings,
lola: 375053 markings,
lola: 409182 markings,
lola: 443435 markings,
lola: 477584 markings,
lola: 511906 markings,
lola: 545951 markings,
lola: 580023 markings,
lola: 614080 markings,
lola: 648099 markings,
lola: 682128 markings,
lola: 716050 markings,
lola: 749994 markings,
lola: 783958 markings,
lola: 817768 markings,
lola: 851680 markings,
lola: 885534 markings,
lola: 919610 markings,
lola: 953495 markings,
lola: 987393 markings,
lola: 1021155 markings,
lola: 1054939 markings,
lola: 1088686 markings,
lola: 1122379 markings,
lola: 1156087 markings,
lola: 1189800 markings,
lola: 1223433 markings,
lola: 1257115 markings,
lola: 1290924 markings,
lola: 1324497 markings,
lola: 1358220 markings,
lola: 1391945 markings,
lola: 1425552 markings,
lola: 1459104 markings,
lola: 1492705 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 32360 markings,
lola: 64130 markings,
lola: 95744 markings,
lola: 127194 markings,
lola: 158497 markings,
lola: 189775 markings,
lola: 220995 markings,
lola: 252172 markings,
lola: 283311 markings,
lola: 314376 markings,
lola: 345388 markings,
lola: 376369 markings,
lola: 407262 markings,
lola: 438201 markings,
lola: 469055 markings,
lola: 499847 markings,
lola: 530706 markings,
lola: 561358 markings,
lola: 592100 markings,
lola: 622843 markings,
lola: 653474 markings,
lola: 684127 markings,
lola: 714724 markings,
lola: 745307 markings,
lola: 775753 markings,
lola: 806236 markings,
lola: 836809 markings,
lola: 867380 markings,
lola: 897866 markings,
lola: 928156 markings,
lola: 958513 markings,
lola: 988922 markings,
lola: 1019365 markings,
lola: 1049680 markings,
lola: 1080181 markings,
lola: 1110585 markings,
lola: 1140742 markings,
lola: 1170966 markings,
lola: 1201080 markings,
lola: 1231219 markings,
lola: 1259759 markings,
lola: 1289830 markings,
lola: 1320012 markings,
lola: 1350411 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 30305 markings,
lola: 60715 markings,
lola: 90966 markings,
lola: 121562 markings,
lola: 151914 markings,
lola: 182315 markings,
lola: 212804 markings,
lola: 243039 markings,
lola: 273063 markings,
lola: 303331 markings,
lola: 333590 markings,
lola: 363912 markings,
lola: 394192 markings,
lola: 424410 markings,
lola: 454523 markings,
lola: 484539 markings,
lola: 514382 markings,
lola: 544315 markings,
lola: 574686 markings,
lola: 604987 markings,
lola: 634980 markings,
lola: 664752 markings,
lola: 694424 markings,
lola: 724254 markings,
lola: 754357 markings,
lola: 784102 markings,
lola: 813915 markings,
lola: 843909 markings,
lola: 873465 markings,
lola: 903390 markings,
lola: 933456 markings,
lola: 963233 markings,
lola: 992899 markings,
lola: 1022608 markings,
lola: 1052510 markings,
lola: 1082427 markings,
lola: 1112205 markings,
lola: 1141744 markings,
lola: 1171481 markings,
lola: 1201497 markings,
lola: 1231202 markings,
lola: 1260803 markings,
lola: 1290669 markings,
lola: 1320426 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 34852 markings,
lola: 69618 markings,
lola: 104449 markings,
lola: 138705 markings,
lola: 171777 markings,
lola: 204874 markings,
lola: 237911 markings,
lola: 270982 markings,
lola: 303965 markings,
lola: 336853 markings,
lola: 369804 markings,
lola: 402611 markings,
lola: 435461 markings,
lola: 468271 markings,
lola: 501122 markings,
lola: 533936 markings,
lola: 566673 markings,
lola: 599374 markings,
lola: 632002 markings,
lola: 664686 markings,
lola: 697381 markings,
lola: 729936 markings,
lola: 762508 markings,
lola: 795105 markings,
lola: 827674 markings,
lola: 860198 markings,
lola: 892712 markings,
lola: 925488 markings,
lola: 958031 markings,
lola: 990599 markings,
lola: 1022932 markings,
lola: 1055817 markings,
lola: 1089267 markings,
lola: 1122724 markings,
lola: 1156173 markings,
lola: 1189602 markings,
lola: 1222959 markings,
lola: 1256346 markings,
lola: 1289891 markings,
lola: 1323181 markings,
lola: 1356588 markings,
lola: 1389987 markings,
lola: 1423290 markings,
lola: 1456518 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31579 markings,
lola: 62637 markings,
lola: 93541 markings,
lola: 124366 markings,
lola: 155072 markings,
lola: 185577 markings,
lola: 216111 markings,
lola: 246435 markings,
lola: 276749 markings,
lola: 307078 markings,
lola: 337386 markings,
lola: 367733 markings,
lola: 398017 markings,
lola: 428215 markings,
lola: 458394 markings,
lola: 488595 markings,
lola: 518733 markings,
lola: 548796 markings,
lola: 578823 markings,
lola: 608861 markings,
lola: 638798 markings,
lola: 668745 markings,
lola: 698699 markings,
lola: 728604 markings,
lola: 758478 markings,
lola: 788202 markings,
lola: 818079 markings,
lola: 847862 markings,
lola: 877504 markings,
lola: 907195 markings,
lola: 936844 markings,
lola: 966469 markings,
lola: 996002 markings,
lola: 1025682 markings,
lola: 1055315 markings,
lola: 1084992 markings,
lola: 1114612 markings,
lola: 1144122 markings,
lola: 1173682 markings,
lola: 1202874 markings,
lola: 1231822 markings,
lola: 1261316 markings,
lola: 1290822 markings,
lola: 1320362 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31628 markings,
lola: 62721 markings,
lola: 93721 markings,
lola: 124564 markings,
lola: 155289 markings,
lola: 185939 markings,
lola: 216595 markings,
lola: 247159 markings,
lola: 277722 markings,
lola: 308214 markings,
lola: 338646 markings,
lola: 369010 markings,
lola: 399362 markings,
lola: 429713 markings,
lola: 459996 markings,
lola: 490251 markings,
lola: 520479 markings,
lola: 550722 markings,
lola: 580870 markings,
lola: 610964 markings,
lola: 641061 markings,
lola: 671098 markings,
lola: 701167 markings,
lola: 731171 markings,
lola: 761174 markings,
lola: 791053 markings,
lola: 821054 markings,
lola: 851102 markings,
lola: 881116 markings,
lola: 911047 markings,
lola: 940829 markings,
lola: 970677 markings,
lola: 1000463 markings,
lola: 1030316 markings,
lola: 1060120 markings,
lola: 1089983 markings,
lola: 1119785 markings,
lola: 1149481 markings,
lola: 1179102 markings,
lola: 1208723 markings,
lola: 1238072 markings,
lola: 1267086 markings,
lola: 1296771 markings,
lola: 1326528 markings,
lola: 1356286 markings,
lola: 1385934 markings,
lola: 1412474 markings,
lola: 1439921 markings,
lola: 1467663 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 32131 markings,
lola: 63716 markings,
lola: 95114 markings,
lola: 126384 markings,
lola: 157565 markings,
lola: 188665 markings,
lola: 218592 markings,
lola: 246808 markings,
lola: 277634 markings,
lola: 308412 markings,
lola: 339115 markings,
lola: 369782 markings,
lola: 400402 markings,
lola: 431110 markings,
lola: 462173 markings,
lola: 493180 markings,
lola: 524270 markings,
lola: 555293 markings,
lola: 586289 markings,
lola: 617240 markings,
lola: 648195 markings,
lola: 679094 markings,
lola: 709980 markings,
lola: 740828 markings,
lola: 771594 markings,
lola: 802358 markings,
lola: 833149 markings,
lola: 863974 markings,
lola: 894753 markings,
lola: 925341 markings,
lola: 955977 markings,
lola: 986641 markings,
lola: 1017339 markings,
lola: 1047918 markings,
lola: 1078637 markings,
lola: 1109347 markings,
lola: 1139850 markings,
lola: 1170339 markings,
lola: 1200725 markings,
lola: 1231164 markings,
lola: 1260798 markings,
lola: 1291363 markings,
lola: 1321846 markings,
lola: 1352432 markings,
lola: 1382888 markings,
lola: 1413352 markings,
lola: 1443407 markings,
lola: 1472299 markings,
lola: 1502724 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31478 markings,
lola: 62428 markings,
lola: 93178 markings,
lola: 123818 markings,
lola: 154381 markings,
lola: 184826 markings,
lola: 215232 markings,
lola: 245602 markings,
lola: 275866 markings,
lola: 306112 markings,
lola: 336326 markings,
lola: 366585 markings,
lola: 396684 markings,
lola: 426747 markings,
lola: 456816 markings,
lola: 486899 markings,
lola: 516892 markings,
lola: 546863 markings,
lola: 576789 markings,
lola: 606696 markings,
lola: 636528 markings,
lola: 666312 markings,
lola: 696151 markings,
lola: 725959 markings,
lola: 755648 markings,
lola: 785352 markings,
lola: 815076 markings,
lola: 844783 markings,
lola: 874365 markings,
lola: 903926 markings,
lola: 933422 markings,
lola: 962922 markings,
lola: 992391 markings,
lola: 1021976 markings,
lola: 1051486 markings,
lola: 1081025 markings,
lola: 1110542 markings,
lola: 1139937 markings,
lola: 1169496 markings,
lola: 1198809 markings,
lola: 1227416 markings,
lola: 1256906 markings,
lola: 1286333 markings,
lola: 1315799 markings,
lola: 1345232 markings,
lola: 1374543 markings,
lola: 1403721 markings,
lola: 1433008 markings,
lola: 1462352 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29377 markings,
lola: 58360 markings,
lola: 87304 markings,
lola: 116283 markings,
lola: 145115 markings,
lola: 173930 markings,
lola: 202674 markings,
lola: 231272 markings,
lola: 259920 markings,
lola: 288601 markings,
lola: 317241 markings,
lola: 345916 markings,
lola: 374606 markings,
lola: 403235 markings,
lola: 431838 markings,
lola: 460465 markings,
lola: 488996 markings,
lola: 517564 markings,
lola: 546003 markings,
lola: 574534 markings,
lola: 602993 markings,
lola: 631354 markings,
lola: 659667 markings,
lola: 688066 markings,
lola: 716412 markings,
lola: 745010 markings,
lola: 773391 markings,
lola: 800090 markings,
lola: 828780 markings,
lola: 857524 markings,
lola: 886237 markings,
lola: 914933 markings,
lola: 943586 markings,
lola: 972290 markings,
lola: 1000959 markings,
lola: 1029486 markings,
lola: 1057836 markings,
lola: 1086111 markings,
lola: 1114503 markings,
lola: 1142819 markings,
lola: 1171210 markings,
lola: 1199585 markings,
lola: 1227879 markings,
lola: 1256174 markings,
lola: 1284446 markings,
lola: 1312652 markings,
lola: 1340951 markings,
lola: 1369233 markings,
lola: 1397644 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29496 markings,
lola: 58565 markings,
lola: 87506 markings,
lola: 116382 markings,
lola: 145238 markings,
lola: 174036 markings,
lola: 202719 markings,
lola: 231439 markings,
lola: 260152 markings,
lola: 288757 markings,
lola: 317433 markings,
lola: 346025 markings,
lola: 374644 markings,
lola: 403196 markings,
lola: 431703 markings,
lola: 460217 markings,
lola: 488750 markings,
lola: 517278 markings,
lola: 545680 markings,
lola: 574114 markings,
lola: 602612 markings,
lola: 631031 markings,
lola: 659476 markings,
lola: 687987 markings,
lola: 716440 markings,
lola: 744880 markings,
lola: 773304 markings,
lola: 801668 markings,
lola: 830070 markings,
lola: 858344 markings,
lola: 886745 markings,
lola: 915036 markings,
lola: 943353 markings,
lola: 971636 markings,
lola: 999978 markings,
lola: 1028352 markings,
lola: 1056575 markings,
lola: 1084903 markings,
lola: 1113164 markings,
lola: 1141401 markings,
lola: 1169679 markings,
lola: 1197970 markings,
lola: 1226216 markings,
lola: 1254489 markings,
lola: 1282765 markings,
lola: 1310993 markings,
lola: 1339273 markings,
lola: 1367496 markings,
lola: 1395643 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31601 markings,
lola: 62786 markings,
lola: 93996 markings,
lola: 125180 markings,
lola: 156465 markings,
lola: 187415 markings,
lola: 218650 markings,
lola: 249762 markings,
lola: 280583 markings,
lola: 311671 markings,
lola: 342690 markings,
lola: 373689 markings,
lola: 404432 markings,
lola: 435300 markings,
lola: 466070 markings,
lola: 496824 markings,
lola: 527561 markings,
lola: 558243 markings,
lola: 588863 markings,
lola: 618971 markings,
lola: 650071 markings,
lola: 680757 markings,
lola: 711458 markings,
lola: 742131 markings,
lola: 772731 markings,
lola: 803377 markings,
lola: 833973 markings,
lola: 864648 markings,
lola: 895217 markings,
lola: 925708 markings,
lola: 956227 markings,
lola: 986735 markings,
lola: 1017258 markings,
lola: 1047748 markings,
lola: 1078117 markings,
lola: 1108591 markings,
lola: 1139113 markings,
lola: 1169645 markings,
lola: 1200139 markings,
lola: 1230549 markings,
lola: 1260958 markings,
lola: 1291333 markings,
lola: 1321683 markings,
lola: 1352077 markings,
lola: 1382361 markings,
lola: 1412675 markings,
lola: 1443024 markings,
lola: 1473332 markings,
lola: 1503574 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29373 markings,
lola: 58299 markings,
lola: 87113 markings,
lola: 115908 markings,
lola: 144608 markings,
lola: 173266 markings,
lola: 201837 markings,
lola: 230465 markings,
lola: 259059 markings,
lola: 287543 markings,
lola: 316064 markings,
lola: 344565 markings,
lola: 373004 markings,
lola: 401433 markings,
lola: 429856 markings,
lola: 458233 markings,
lola: 486758 markings,
lola: 515286 markings,
lola: 543777 markings,
lola: 572476 markings,
lola: 600783 markings,
lola: 628280 markings,
lola: 656485 markings,
lola: 684300 markings,
lola: 711823 markings,
lola: 739270 markings,
lola: 766757 markings,
lola: 794223 markings,
lola: 822648 markings,
lola: 851121 markings,
lola: 878968 markings,
lola: 906344 markings,
lola: 933771 markings,
lola: 961180 markings,
lola: 989502 markings,
lola: 1017577 markings,
lola: 1044951 markings,
lola: 1072338 markings,
lola: 1099750 markings,
lola: 1127047 markings,
lola: 1154358 markings,
lola: 1181710 markings,
lola: 1209027 markings,
lola: 1236395 markings,
lola: 1263652 markings,
lola: 1291041 markings,
lola: 1318298 markings,
lola: 1345601 markings,
lola: 1372868 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 248
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 30653 markings,
lola: 60780 markings,
lola: 90722 markings,
lola: 120554 markings,
lola: 150308 markings,
lola: 179962 markings,
lola: 209608 markings,
lola: 239183 markings,
lola: 268712 markings,
lola: 298229 markings,
lola: 327629 markings,
lola: 357014 markings,
lola: 386384 markings,
lola: 415670 markings,
lola: 445017 markings,
lola: 474271 markings,
lola: 503447 markings,
lola: 532698 markings,
lola: 561869 markings,
lola: 591030 markings,
lola: 620163 markings,
lola: 649983 markings,
lola: 679050 markings,
lola: 708066 markings,
lola: 737074 markings,
lola: 766043 markings,
lola: 794894 markings,
lola: 823899 markings,
lola: 852881 markings,
lola: 881797 markings,
lola: 910666 markings,
lola: 939401 markings,
lola: 968223 markings,
lola: 996990 markings,
lola: 1025871 markings,
lola: 1054620 markings,
lola: 1083500 markings,
lola: 1112291 markings,
lola: 1140978 markings,
lola: 1169611 markings,
lola: 1198167 markings,
lola: 1226808 markings,
lola: 1254525 markings,
lola: 1283236 markings,
lola: 1311806 markings,
lola: 1340548 markings,
lola: 1369168 markings,
lola: 1397791 markings,
lola: 1426446 markings,
lola: local time
lola: Child process
lola: RESULT
lola:
SUMMARY: unknown unknown
FORMULA Peterson-COL-7-UpperBounds-0
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
----- Kill lola
----- Finished stdout -----

BK_STOP 1494517021217

--------------------
content from stderr:

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== examination is UpperBounds is 3600 seconds is 16384 MBytes is r048-smll-149440869500083 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) UpperBounds-0 UpperBounds-1 UpperBounds-10 UpperBounds-11 UpperBounds-12 UpperBounds-13 UpperBounds-14 UpperBounds-15 UpperBounds-2 UpperBounds-3 UpperBounds-4 UpperBounds-5 UpperBounds-6 UpperBounds-7 UpperBounds-8 UpperBounds-9 of the tool begins stdout ----- stdout ----- @ 3540 seconds stdout ----- for 3540 seconds at most (--timelimit) from model.pnml.lola file model.pnml.lola symbol table entries, 17 collisions places 3096 transitions, 1961 significant places sets sets conflict sets from Peterson-COL-7-UpperBounds.task + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + BeginLoop_1_5_6 + BeginLoop_1_5_7 + BeginLoop_7_2_0 + BeginLoop_7_2_1 + BeginLoop_7_2_2 + BeginLoop_7_2_3 + BeginLoop_7_2_4 + BeginLoop_7_2_5 + BeginLoop_7_2_6 + BeginLoop_7_2_7 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_4_4_6 + BeginLoop_4_4_7 + BeginLoop_1_6_0 + BeginLoop_1_6_1 + BeginLoop_1_6_2 + BeginLoop_1_6_3 + BeginLoop_1_6_4 + BeginLoop_1_6_5 + BeginLoop_1_6_6 + BeginLoop_1_6_7 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_0_6 + BeginLoop_2_0_7 + BeginLoop_7_3_0 + BeginLoop_7_3_1 + BeginLoop_7_3_2 + BeginLoop_7_3_3 + BeginLoop_7_3_4 + BeginLoop_7_3_5 + BeginLoop_7_3_6 + BeginLoop_7_3_7 + BeginLoop_4_5_0 + BeginLoop_4_5_1 + BeginLoop_4_5_2 + BeginLoop_4_5_3 + BeginLoop_4_5_4 + BeginLoop_4_5_5 + BeginLoop_4_5_6 + BeginLoop_4_5_7 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_2_1_6 + BeginLoop_2_1_7 + BeginLoop_7_4_0 + BeginLoop_7_4_1 + BeginLoop_7_4_2 + BeginLoop_7_4_3 + BeginLoop_7_4_4 + BeginLoop_7_4_5 + BeginLoop_7_4_6 + BeginLoop_7_4_7 + BeginLoop_4_6_0 + BeginLoop_4_6_1 + BeginLoop_4_6_2 + BeginLoop_4_6_3 + BeginLoop_4_6_4 + BeginLoop_4_6_5 + BeginLoop_4_6_6 + BeginLoop_4_6_7 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_5_0_6 + BeginLoop_5_0_7 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_2_2_6 + BeginLoop_2_2_7 + BeginLoop_7_5_0 + BeginLoop_7_5_1 + BeginLoop_7_5_2 + BeginLoop_7_5_3 + BeginLoop_7_5_4 + BeginLoop_7_5_5 + BeginLoop_7_5_6 + BeginLoop_7_5_7 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_5_1_6 + BeginLoop_5_1_7 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_2_3_6 + BeginLoop_2_3_7 + BeginLoop_7_6_0 + BeginLoop_7_6_1 + BeginLoop_7_6_2 + BeginLoop_7_6_3 + BeginLoop_7_6_4 + BeginLoop_7_6_5 + BeginLoop_7_6_6 + BeginLoop_7_6_7 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_5_2_6 + BeginLoop_5_2_7 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_2_4_6 + BeginLoop_2_4_7 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_0_0_6 + BeginLoop_0_0_7 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_5_3_6 + BeginLoop_5_3_7 + BeginLoop_2_5_0 + BeginLoop_2_5_1 + BeginLoop_2_5_2 + BeginLoop_2_5_3 + BeginLoop_2_5_4 + BeginLoop_2_5_5 + BeginLoop_2_5_6 + BeginLoop_2_5_7 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_0_1_6 + BeginLoop_0_1_7 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_5_4_6 + BeginLoop_5_4_7 + BeginLoop_2_6_0 + BeginLoop_2_6_1 + BeginLoop_2_6_2 + BeginLoop_2_6_3 + BeginLoop_2_6_4 + BeginLoop_2_6_5 + BeginLoop_2_6_6 + BeginLoop_2_6_7 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_3_0_6 + BeginLoop_3_0_7 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_0_2_6 + BeginLoop_0_2_7 + BeginLoop_5_5_0 + BeginLoop_5_5_1 + BeginLoop_5_5_2 + BeginLoop_5_5_3 + BeginLoop_5_5_4 + BeginLoop_5_5_5 + BeginLoop_5_5_6 + BeginLoop_5_5_7 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_3_1_6 + BeginLoop_3_1_7 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_0_3_6 + BeginLoop_0_3_7 + BeginLoop_5_6_0 + BeginLoop_5_6_1 + BeginLoop_5_6_2 + BeginLoop_5_6_3 + BeginLoop_5_6_4 + BeginLoop_5_6_5 + BeginLoop_5_6_6 + BeginLoop_5_6_7 + BeginLoop_6_0_0 + BeginLoop_6_0_1 + BeginLoop_6_0_2 + BeginLoop_6_0_3 + BeginLoop_6_0_4 + BeginLoop_6_0_5 + BeginLoop_6_0_6 + BeginLoop_6_0_7 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_3_2_6 + BeginLoop_3_2_7 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_0_4_6 + BeginLoop_0_4_7 + BeginLoop_6_1_0 + BeginLoop_6_1_1 + BeginLoop_6_1_2 + BeginLoop_6_1_3 + BeginLoop_6_1_4 + BeginLoop_6_1_5 + BeginLoop_6_1_6 + BeginLoop_6_1_7 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_3_6 + BeginLoop_3_3_7 + BeginLoop_0_5_0 + BeginLoop_0_5_1 + BeginLoop_0_5_2 + BeginLoop_0_5_3 + BeginLoop_0_5_4 + BeginLoop_0_5_5 + BeginLoop_0_5_6 + BeginLoop_0_5_7 + BeginLoop_6_2_0 + BeginLoop_6_2_1 + BeginLoop_6_2_2 + BeginLoop_6_2_3 + BeginLoop_6_2_4 + BeginLoop_6_2_5 + BeginLoop_6_2_6 + BeginLoop_6_2_7 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_3_4_6 + BeginLoop_3_4_7 + BeginLoop_0_6_0 + BeginLoop_0_6_1 + BeginLoop_0_6_2 + BeginLoop_0_6_3 + BeginLoop_0_6_4 + BeginLoop_0_6_5 + BeginLoop_0_6_6 + BeginLoop_0_6_7 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_0_6 + BeginLoop_1_0_7 + BeginLoop_6_3_0 + BeginLoop_6_3_1 + BeginLoop_6_3_2 + BeginLoop_6_3_3 + BeginLoop_6_3_4 + BeginLoop_6_3_5 + BeginLoop_6_3_6 + BeginLoop_6_3_7 + BeginLoop_3_5_0 + BeginLoop_3_5_1 + BeginLoop_3_5_2 + BeginLoop_3_5_3 + BeginLoop_3_5_4 + BeginLoop_3_5_5 + BeginLoop_3_5_6 + BeginLoop_3_5_7 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_1_1_6 + BeginLoop_1_1_7 + BeginLoop_6_4_0 + BeginLoop_6_4_1 + BeginLoop_6_4_2 + BeginLoop_6_4_3 + BeginLoop_6_4_4 + BeginLoop_6_4_5 + BeginLoop_6_4_6 + BeginLoop_6_4_7 + BeginLoop_3_6_0 + BeginLoop_3_6_1 + BeginLoop_3_6_2 + BeginLoop_3_6_3 + BeginLoop_3_6_4 + BeginLoop_3_6_5 + BeginLoop_3_6_6 + BeginLoop_3_6_7 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_4_0_6 + BeginLoop_4_0_7 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_1_2_6 + BeginLoop_1_2_7 + BeginLoop_6_5_0 + BeginLoop_6_5_1 + BeginLoop_6_5_2 + BeginLoop_6_5_3 + BeginLoop_6_5_4 + BeginLoop_6_5_5 + BeginLoop_6_5_6 + BeginLoop_6_5_7 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_4_1_6 + BeginLoop_4_1_7 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_1_3_6 + BeginLoop_1_3_7 + BeginLoop_6_6_0 + BeginLoop_6_6_1 + BeginLoop_6_6_2 + BeginLoop_6_6_3 + BeginLoop_6_6_4 + BeginLoop_6_6_5 + BeginLoop_6_6_6 + BeginLoop_6_6_7 + BeginLoop_7_0_0 + BeginLoop_7_0_1 + BeginLoop_7_0_2 + BeginLoop_7_0_3 + BeginLoop_7_0_4 + BeginLoop_7_0_5 + BeginLoop_7_0_6 + BeginLoop_7_0_7 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_4_2_6 + BeginLoop_4_2_7 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5 + BeginLoop_1_4_6 + BeginLoop_1_4_7) : MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_0_6 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_1_6 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_2_6 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTurn_3_5 + TestTurn_3_6 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3 + TestTurn_4_4 + TestTurn_4_5 + TestTurn_4_6 + TestTurn_5_0 + TestTurn_5_1 + TestTurn_5_2 + TestTurn_5_3 + TestTurn_5_4 + TestTurn_5_5 + TestTurn_5_6 + TestTurn_6_0 + TestTurn_6_1 + TestTurn_6_2 + TestTurn_6_3 + TestTurn_6_4 + TestTurn_6_5 + TestTurn_6_6 + TestTurn_7_0 + TestTurn_7_1 + TestTurn_7_2 + TestTurn_7_3 + TestTurn_7_4 + TestTurn_7_5 + TestTurn_7_6) : MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_0_6 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_1_6 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_2_6 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTurn_3_5 + TestTurn_3_6 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3 + TestTurn_4_4 + TestTurn_4_5 + TestTurn_4_6 + TestTurn_5_0 + TestTurn_5_1 + TestTurn_5_2 + TestTurn_5_3 + TestTurn_5_4 + TestTurn_5_5 + TestTurn_5_6 + TestTurn_6_0 + TestTurn_6_1 + TestTurn_6_2 + TestTurn_6_3 + TestTurn_6_4 + TestTurn_6_5 + TestTurn_6_6 + TestTurn_7_0 + TestTurn_7_1 + TestTurn_7_2 + TestTurn_7_3 + TestTurn_7_4 + TestTurn_7_5 + TestTurn_7_6) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) : MAX(TestAlone_7_1_0 + TestAlone_7_1_1 + TestAlone_7_1_2 + TestAlone_7_1_3 + TestAlone_7_1_4 + TestAlone_7_1_5 + TestAlone_7_1_6 + TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_4_3_5 + TestAlone_4_3_6 + TestAlone_4_3_7 + TestAlone_1_5_0 + TestAlone_1_5_2 + TestAlone_1_5_3 + TestAlone_1_5_4 + TestAlone_1_5_5 + TestAlone_1_5_6 + TestAlone_1_5_7 + TestAlone_7_2_0 + TestAlone_7_2_1 + TestAlone_7_2_2 + TestAlone_7_2_3 + TestAlone_7_2_4 + TestAlone_7_2_5 + TestAlone_7_2_6 + TestAlone_4_4_0 + TestAlone_4_4_1 + TestAlone_4_4_2 + TestAlone_4_4_3 + TestAlone_4_4_5 + TestAlone_4_4_6 + TestAlone_4_4_7 + TestAlone_1_6_0 + TestAlone_1_6_2 + TestAlone_1_6_3 + TestAlone_1_6_4 + TestAlone_1_6_5 + TestAlone_1_6_6 + TestAlone_1_6_7 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_0_5 + TestAlone_2_0_6 + TestAlone_2_0_7 + TestAlone_7_3_0 + TestAlone_7_3_1 + TestAlone_7_3_2 + TestAlone_7_3_3 + TestAlone_7_3_4 + TestAlone_7_3_5 + TestAlone_7_3_6 + TestAlone_4_5_0 + TestAlone_4_5_1 + TestAlone_4_5_2 + TestAlone_4_5_3 + TestAlone_4_5_5 + TestAlone_4_5_6 + TestAlone_4_5_7 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_1_5 + TestAlone_2_1_6 + TestAlone_2_1_7 + TestAlone_7_4_0 + TestAlone_7_4_1 + TestAlone_7_4_2 + TestAlone_7_4_3 + TestAlone_7_4_4 + TestAlone_7_4_5 + TestAlone_7_4_6 + TestAlone_4_6_0 + TestAlone_4_6_1 + TestAlone_4_6_2 + TestAlone_4_6_3 + TestAlone_4_6_5 + TestAlone_4_6_6 + TestAlone_4_6_7 + TestAlone_5_0_0 + TestAlone_5_0_1 + TestAlone_5_0_2 + TestAlone_5_0_3 + TestAlone_5_0_4 + TestAlone_5_0_6 + TestAlone_5_0_7 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_2_5 + TestAlone_2_2_6 + TestAlone_2_2_7 + TestAlone_7_5_0 + TestAlone_7_5_1 + TestAlone_7_5_2 + TestAlone_7_5_3 + TestAlone_7_5_4 + TestAlone_7_5_5 + TestAlone_7_5_6 + TestAlone_5_1_0 + TestAlone_5_1_1 + TestAlone_5_1_2 + TestAlone_5_1_3 + TestAlone_5_1_4 + TestAlone_5_1_6 + TestAlone_5_1_7 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_2_3_5 + TestAlone_2_3_6 + TestAlone_2_3_7 + TestAlone_7_6_0 + TestAlone_7_6_1 + TestAlone_7_6_2 + TestAlone_7_6_3 + TestAlone_7_6_4 + TestAlone_7_6_5 + TestAlone_7_6_6 + TestAlone_5_2_0 + TestAlone_5_2_1 + TestAlone_5_2_2 + TestAlone_5_2_3 + TestAlone_5_2_4 + TestAlone_5_2_6 + TestAlone_5_2_7 + TestAlone_2_4_0 + TestAlone_2_4_1 + TestAlone_2_4_3 + TestAlone_2_4_4 + TestAlone_2_4_5 + TestAlone_2_4_6 + TestAlone_2_4_7 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_0_5 + TestAlone_0_0_6 + TestAlone_0_0_7 + TestAlone_5_3_0 + TestAlone_5_3_1 + TestAlone_5_3_2 + TestAlone_5_3_3 + TestAlone_5_3_4 + TestAlone_5_3_6 + TestAlone_5_3_7 + TestAlone_2_5_0 + TestAlone_2_5_1 + TestAlone_2_5_3 + TestAlone_2_5_4 + TestAlone_2_5_5 + TestAlone_2_5_6 + TestAlone_2_5_7 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_0_1_5 + TestAlone_0_1_6 + TestAlone_0_1_7 + TestAlone_5_4_0 + TestAlone_5_4_1 + TestAlone_5_4_2 + TestAlone_5_4_3 + TestAlone_5_4_4 + TestAlone_5_4_6 + TestAlone_5_4_7 + TestAlone_2_6_0 + TestAlone_2_6_1 + TestAlone_2_6_3 + TestAlone_2_6_4 + TestAlone_2_6_5 + TestAlone_2_6_6 + TestAlone_2_6_7 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_3_0_5 + TestAlone_3_0_6 + TestAlone_3_0_7 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_0_2_5 + TestAlone_0_2_6 + TestAlone_0_2_7 + TestAlone_5_5_0 + TestAlone_5_5_1 + TestAlone_5_5_2 + TestAlone_5_5_3 + TestAlone_5_5_4 + TestAlone_5_5_6 + TestAlone_5_5_7 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_3_1_5 + TestAlone_3_1_6 + TestAlone_3_1_7 + TestAlone_1_4_6 + TestAlone_1_4_5 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_0_3_5 + TestAlone_0_3_6 + TestAlone_0_3_7 + TestAlone_5_6_0 + TestAlone_5_6_1 + TestAlone_5_6_2 + TestAlone_5_6_3 + TestAlone_5_6_4 + TestAlone_5_6_6 + TestAlone_5_6_7 + TestAlone_6_0_0 + TestAlone_6_0_1 + TestAlone_6_0_2 + TestAlone_6_0_3 + TestAlone_6_0_4 + TestAlone_6_0_5 + TestAlone_6_0_7 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_2_5 + TestAlone_3_2_6 + TestAlone_3_2_7 + TestAlone_1_4_4 + TestAlone_1_4_3 + TestAlone_0_4_1 + TestAlone_0_4_2 + TestAlone_0_4_3 + TestAlone_0_4_4 + TestAlone_0_4_5 + TestAlone_0_4_6 + TestAlone_0_4_7 + TestAlone_6_1_0 + TestAlone_6_1_1 + TestAlone_6_1_2 + TestAlone_6_1_3 + TestAlone_6_1_4 + TestAlone_6_1_5 + TestAlone_6_1_7 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_3_3_5 + TestAlone_3_3_6 + TestAlone_3_3_7 + TestAlone_1_4_2 + TestAlone_1_4_0 + TestAlone_0_5_1 + TestAlone_0_5_2 + TestAlone_0_5_3 + TestAlone_0_5_4 + TestAlone_0_5_5 + TestAlone_0_5_6 + TestAlone_0_5_7 + TestAlone_6_2_0 + TestAlone_6_2_1 + TestAlone_6_2_2 + TestAlone_6_2_3 + TestAlone_6_2_4 + TestAlone_6_2_5 + TestAlone_6_2_7 + TestAlone_3_4_0 + TestAlone_3_4_1 + TestAlone_3_4_2 + TestAlone_3_4_4 + TestAlone_3_4_5 + TestAlone_3_4_6 + TestAlone_3_4_7 + TestAlone_0_6_1 + TestAlone_0_6_2 + TestAlone_0_6_3 + TestAlone_0_6_4 + TestAlone_0_6_5 + TestAlone_0_6_6 + TestAlone_0_6_7 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_0_5 + TestAlone_1_0_6 + TestAlone_1_0_7 + TestAlone_6_3_0 + TestAlone_6_3_1 + TestAlone_6_3_2 + TestAlone_6_3_3 + TestAlone_6_3_4 + TestAlone_6_3_5 + TestAlone_6_3_7 + TestAlone_3_5_0 + TestAlone_3_5_1 + TestAlone_3_5_2 + TestAlone_3_5_4 + TestAlone_3_5_5 + TestAlone_3_5_6 + TestAlone_3_5_7 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_1_1_5 + TestAlone_1_1_6 + TestAlone_1_1_7 + TestAlone_6_4_0 + TestAlone_6_4_1 + TestAlone_6_4_2 + TestAlone_6_4_3 + TestAlone_6_4_4 + TestAlone_6_4_5 + TestAlone_6_4_7 + TestAlone_3_6_0 + TestAlone_3_6_1 + TestAlone_3_6_2 + TestAlone_3_6_4 + TestAlone_3_6_5 + TestAlone_3_6_6 + TestAlone_3_6_7 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_4_0_5 + TestAlone_4_0_6 + TestAlone_4_0_7 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_1_2_5 + TestAlone_1_2_6 + TestAlone_1_2_7 + TestAlone_6_5_0 + TestAlone_6_5_1 + TestAlone_6_5_2 + TestAlone_6_5_3 + TestAlone_6_5_4 + TestAlone_6_5_5 + TestAlone_6_5_7 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_4_1_5 + TestAlone_4_1_6 + TestAlone_4_1_7 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_1_3_5 + TestAlone_1_3_6 + TestAlone_1_3_7 + TestAlone_6_6_0 + TestAlone_6_6_1 + TestAlone_6_6_2 + TestAlone_6_6_3 + TestAlone_6_6_4 + TestAlone_6_6_5 + TestAlone_6_6_7 + TestAlone_7_0_0 + TestAlone_7_0_1 + TestAlone_7_0_2 + TestAlone_7_0_3 + TestAlone_7_0_4 + TestAlone_7_0_5 + TestAlone_4_2_0 + TestAlone_4_2_1 + TestAlone_4_2_2 + TestAlone_4_2_3 + TestAlone_4_2_5 + TestAlone_4_2_6 + TestAlone_4_2_7 + TestAlone_7_0_6 + TestAlone_1_4_7) : MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_0_6 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_1_6 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_2_6 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTurn_3_5 + TestTurn_3_6 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3 + TestTurn_4_4 + TestTurn_4_5 + TestTurn_4_6 + TestTurn_5_0 + TestTurn_5_1 + TestTurn_5_2 + TestTurn_5_3 + TestTurn_5_4 + TestTurn_5_5 + TestTurn_5_6 + TestTurn_6_0 + TestTurn_6_1 + TestTurn_6_2 + TestTurn_6_3 + TestTurn_6_4 + TestTurn_6_5 + TestTurn_6_6 + TestTurn_7_0 + TestTurn_7_1 + TestTurn_7_2 + TestTurn_7_3 + TestTurn_7_4 + TestTurn_7_5 + TestTurn_7_6) : MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6 + Idle_7) : MAX(WantSection_7_T + WantSection_7_F + WantSection_6_T + WantSection_6_F + WantSection_5_T + WantSection_5_F + WantSection_4_T + WantSection_4_F + WantSection_3_T + WantSection_3_F + WantSection_2_T + WantSection_2_F + WantSection_1_T + WantSection_1_F + WantSection_0_T + WantSection_0_F) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) : MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6 + Idle_7) : MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + BeginLoop_1_5_6 + BeginLoop_1_5_7 + BeginLoop_7_2_0 + BeginLoop_7_2_1 + BeginLoop_7_2_2 + BeginLoop_7_2_3 + BeginLoop_7_2_4 + BeginLoop_7_2_5 + BeginLoop_7_2_6 + BeginLoop_7_2_7 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_4_4_6 + BeginLoop_4_4_7 + BeginLoop_1_6_0 + BeginLoop_1_6_1 + BeginLoop_1_6_2 + BeginLoop_1_6_3 + BeginLoop_1_6_4 + BeginLoop_1_6_5 + BeginLoop_1_6_6 + BeginLoop_1_6_7 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_0_6 + BeginLoop_2_0_7 + BeginLoop_7_3_0 + BeginLoop_7_3_1 + BeginLoop_7_3_2 + BeginLoop_7_3_3 + BeginLoop_7_3_4 + BeginLoop_7_3_5 + BeginLoop_7_3_6 + BeginLoop_7_3_7 + BeginLoop_4_5_0 + BeginLoop_4_5_1 + BeginLoop_4_5_2 + BeginLoop_4_5_3 + BeginLoop_4_5_4 + BeginLoop_4_5_5 + BeginLoop_4_5_6 + BeginLoop_4_5_7 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_2_1_6 + BeginLoop_2_1_7 + BeginLoop_7_4_0 + BeginLoop_7_4_1 + BeginLoop_7_4_2 + BeginLoop_7_4_3 + BeginLoop_7_4_4 + BeginLoop_7_4_5 + BeginLoop_7_4_6 + BeginLoop_7_4_7 + BeginLoop_4_6_0 + BeginLoop_4_6_1 + BeginLoop_4_6_2 + BeginLoop_4_6_3 + BeginLoop_4_6_4 + BeginLoop_4_6_5 + BeginLoop_4_6_6 + BeginLoop_4_6_7 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_5_0_6 + BeginLoop_5_0_7 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_2_2_6 + BeginLoop_2_2_7 + BeginLoop_7_5_0 + BeginLoop_7_5_1 + BeginLoop_7_5_2 + BeginLoop_7_5_3 + BeginLoop_7_5_4 + BeginLoop_7_5_5 + BeginLoop_7_5_6 + BeginLoop_7_5_7 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_5_1_6 + BeginLoop_5_1_7 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_2_3_6 + BeginLoop_2_3_7 + BeginLoop_7_6_0 + BeginLoop_7_6_1 + BeginLoop_7_6_2 + BeginLoop_7_6_3 + BeginLoop_7_6_4 + BeginLoop_7_6_5 + BeginLoop_7_6_6 + BeginLoop_7_6_7 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_5_2_6 + BeginLoop_5_2_7 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_2_4_6 + BeginLoop_2_4_7 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_0_0_6 + BeginLoop_0_0_7 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_5_3_6 + BeginLoop_5_3_7 + BeginLoop_2_5_0 + BeginLoop_2_5_1 + BeginLoop_2_5_2 + BeginLoop_2_5_3 + BeginLoop_2_5_4 + BeginLoop_2_5_5 + BeginLoop_2_5_6 + BeginLoop_2_5_7 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_0_1_6 + BeginLoop_0_1_7 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_5_4_6 + BeginLoop_5_4_7 + BeginLoop_2_6_0 + BeginLoop_2_6_1 + BeginLoop_2_6_2 + BeginLoop_2_6_3 + BeginLoop_2_6_4 + BeginLoop_2_6_5 + BeginLoop_2_6_6 + BeginLoop_2_6_7 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_3_0_6 + BeginLoop_3_0_7 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_0_2_6 + BeginLoop_0_2_7 + BeginLoop_5_5_0 + BeginLoop_5_5_1 + BeginLoop_5_5_2 + BeginLoop_5_5_3 + BeginLoop_5_5_4 + BeginLoop_5_5_5 + BeginLoop_5_5_6 + BeginLoop_5_5_7 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_3_1_6 + BeginLoop_3_1_7 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_0_3_6 + BeginLoop_0_3_7 + BeginLoop_5_6_0 + BeginLoop_5_6_1 + BeginLoop_5_6_2 + BeginLoop_5_6_3 + BeginLoop_5_6_4 + BeginLoop_5_6_5 + BeginLoop_5_6_6 + BeginLoop_5_6_7 + BeginLoop_6_0_0 + BeginLoop_6_0_1 + BeginLoop_6_0_2 + BeginLoop_6_0_3 + BeginLoop_6_0_4 + BeginLoop_6_0_5 + BeginLoop_6_0_6 + BeginLoop_6_0_7 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_3_2_6 + BeginLoop_3_2_7 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_0_4_6 + BeginLoop_0_4_7 + BeginLoop_6_1_0 + BeginLoop_6_1_1 + BeginLoop_6_1_2 + BeginLoop_6_1_3 + BeginLoop_6_1_4 + BeginLoop_6_1_5 + BeginLoop_6_1_6 + BeginLoop_6_1_7 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_3_6 + BeginLoop_3_3_7 + BeginLoop_0_5_0 + BeginLoop_0_5_1 + BeginLoop_0_5_2 + BeginLoop_0_5_3 + BeginLoop_0_5_4 + BeginLoop_0_5_5 + BeginLoop_0_5_6 + BeginLoop_0_5_7 + BeginLoop_6_2_0 + BeginLoop_6_2_1 + BeginLoop_6_2_2 + BeginLoop_6_2_3 + BeginLoop_6_2_4 + BeginLoop_6_2_5 + BeginLoop_6_2_6 + BeginLoop_6_2_7 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_3_4_6 + BeginLoop_3_4_7 + BeginLoop_0_6_0 + BeginLoop_0_6_1 + BeginLoop_0_6_2 + BeginLoop_0_6_3 + BeginLoop_0_6_4 + BeginLoop_0_6_5 + BeginLoop_0_6_6 + BeginLoop_0_6_7 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_0_6 + BeginLoop_1_0_7 + BeginLoop_6_3_0 + BeginLoop_6_3_1 + BeginLoop_6_3_2 + BeginLoop_6_3_3 + BeginLoop_6_3_4 + BeginLoop_6_3_5 + BeginLoop_6_3_6 + BeginLoop_6_3_7 + BeginLoop_3_5_0 + BeginLoop_3_5_1 + BeginLoop_3_5_2 + BeginLoop_3_5_3 + BeginLoop_3_5_4 + BeginLoop_3_5_5 + BeginLoop_3_5_6 + BeginLoop_3_5_7 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_1_1_6 + BeginLoop_1_1_7 + BeginLoop_6_4_0 + BeginLoop_6_4_1 + BeginLoop_6_4_2 + BeginLoop_6_4_3 + BeginLoop_6_4_4 + BeginLoop_6_4_5 + BeginLoop_6_4_6 + BeginLoop_6_4_7 + BeginLoop_3_6_0 + BeginLoop_3_6_1 + BeginLoop_3_6_2 + BeginLoop_3_6_3 + BeginLoop_3_6_4 + BeginLoop_3_6_5 + BeginLoop_3_6_6 + BeginLoop_3_6_7 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_4_0_6 + BeginLoop_4_0_7 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_1_2_6 + BeginLoop_1_2_7 + BeginLoop_6_5_0 + BeginLoop_6_5_1 + BeginLoop_6_5_2 + BeginLoop_6_5_3 + BeginLoop_6_5_4 + BeginLoop_6_5_5 + BeginLoop_6_5_6 + BeginLoop_6_5_7 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_4_1_6 + BeginLoop_4_1_7 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_1_3_6 + BeginLoop_1_3_7 + BeginLoop_6_6_0 + BeginLoop_6_6_1 + BeginLoop_6_6_2 + BeginLoop_6_6_3 + BeginLoop_6_6_4 + BeginLoop_6_6_5 + BeginLoop_6_6_6 + BeginLoop_6_6_7 + BeginLoop_7_0_0 + BeginLoop_7_0_1 + BeginLoop_7_0_2 + BeginLoop_7_0_3 + BeginLoop_7_0_4 + BeginLoop_7_0_5 + BeginLoop_7_0_6 + BeginLoop_7_0_7 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_4_2_6 + BeginLoop_4_2_7 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5 + BeginLoop_1_4_6 + BeginLoop_1_4_7) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_2_5_7 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_0_1_6 + IsEndLoop_0_1_7 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + IsEndLoop_5_4_4 + IsEndLoop_5_4_5 + IsEndLoop_5_4_6 + IsEndLoop_5_4_7 + IsEndLoop_2_6_0 + IsEndLoop_2_6_1 + IsEndLoop_2_6_2 + IsEndLoop_2_6_3 + IsEndLoop_2_6_4 + IsEndLoop_2_6_5 + IsEndLoop_2_6_6 + IsEndLoop_2_6_7 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_3_0_5 + IsEndLoop_3_0_6 + IsEndLoop_3_0_7 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_0_2_5 + IsEndLoop_0_2_6 + IsEndLoop_0_2_7 + IsEndLoop_5_5_0 + IsEndLoop_5_5_1 + IsEndLoop_5_5_2 + IsEndLoop_5_5_3 + IsEndLoop_5_5_4 + IsEndLoop_5_5_5 + IsEndLoop_5_5_6 + IsEndLoop_5_5_7 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_3_1_5 + IsEndLoop_3_1_6 + IsEndLoop_3_1_7 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_0_3_5 + IsEndLoop_0_3_6 + IsEndLoop_0_3_7 + IsEndLoop_5_6_0 + IsEndLoop_5_6_1 + IsEndLoop_5_6_2 + IsEndLoop_5_6_3 + IsEndLoop_5_6_4 + IsEndLoop_5_6_5 + IsEndLoop_5_6_6 + IsEndLoop_5_6_7 + IsEndLoop_6_0_0 + IsEndLoop_6_0_1 + IsEndLoop_6_0_2 + IsEndLoop_6_0_3 + IsEndLoop_6_0_4 + IsEndLoop_6_0_5 + IsEndLoop_6_0_6 + IsEndLoop_6_0_7 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_2_5 + IsEndLoop_3_2_6 + IsEndLoop_3_2_7 + IsEndLoop_0_4_0 + IsEndLoop_0_4_1 + IsEndLoop_0_4_2 + IsEndLoop_0_4_3 + IsEndLoop_0_4_4 + IsEndLoop_0_4_5 + IsEndLoop_0_4_6 + IsEndLoop_0_4_7 + IsEndLoop_6_1_0 + IsEndLoop_6_1_1 + IsEndLoop_6_1_2 + IsEndLoop_6_1_3 + IsEndLoop_6_1_4 + IsEndLoop_6_1_5 + IsEndLoop_6_1_6 + IsEndLoop_6_1_7 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_3_3_5 + IsEndLoop_3_3_6 + IsEndLoop_3_3_7 + IsEndLoop_0_5_0 + IsEndLoop_0_5_1 + IsEndLoop_0_5_2 + IsEndLoop_0_5_3 + IsEndLoop_0_5_4 + IsEndLoop_0_5_5 + IsEndLoop_0_5_6 + IsEndLoop_0_5_7 + IsEndLoop_6_2_0 + IsEndLoop_6_2_1 + IsEndLoop_6_2_2 + IsEndLoop_6_2_3 + IsEndLoop_6_2_4 + IsEndLoop_6_2_5 + IsEndLoop_6_2_6 + IsEndLoop_6_2_7 + IsEndLoop_3_4_0 + IsEndLoop_3_4_1 + IsEndLoop_3_4_2 + IsEndLoop_3_4_3 + IsEndLoop_3_4_4 + IsEndLoop_3_4_5 + IsEndLoop_3_4_6 + IsEndLoop_3_4_7 + IsEndLoop_0_6_0 + IsEndLoop_0_6_1 + IsEndLoop_0_6_2 + IsEndLoop_0_6_3 + IsEndLoop_0_6_4 + IsEndLoop_0_6_5 + IsEndLoop_0_6_6 + IsEndLoop_0_6_7 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_0_5 + IsEndLoop_1_0_6 + IsEndLoop_1_0_7 + IsEndLoop_6_3_0 + IsEndLoop_6_3_1 + IsEndLoop_6_3_2 + IsEndLoop_6_3_3 + IsEndLoop_6_3_4 + IsEndLoop_6_3_5 + IsEndLoop_6_3_6 + IsEndLoop_6_3_7 + IsEndLoop_3_5_0 + IsEndLoop_3_5_1 + IsEndLoop_3_5_2 + IsEndLoop_3_5_3 + IsEndLoop_3_5_4 + IsEndLoop_3_5_5 + IsEndLoop_3_5_6 + IsEndLoop_3_5_7 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_1_1_5 + IsEndLoop_1_1_6 + IsEndLoop_1_1_7 + IsEndLoop_6_4_0 + IsEndLoop_6_4_1 + IsEndLoop_6_4_2 + IsEndLoop_6_4_3 + IsEndLoop_6_4_4 + IsEndLoop_6_4_5 + IsEndLoop_6_4_6 + IsEndLoop_6_4_7 + IsEndLoop_3_6_0 + IsEndLoop_3_6_1 + IsEndLoop_3_6_2 + IsEndLoop_3_6_3 + IsEndLoop_3_6_4 + IsEndLoop_3_6_5 + IsEndLoop_3_6_6 + IsEndLoop_3_6_7 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_4_0_5 + IsEndLoop_4_0_6 + IsEndLoop_4_0_7 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_1_2_5 + IsEndLoop_1_2_6 + IsEndLoop_1_2_7 + IsEndLoop_6_5_0 + IsEndLoop_6_5_1 + IsEndLoop_6_5_2 + IsEndLoop_6_5_3 + IsEndLoop_6_5_4 + IsEndLoop_6_5_5 + IsEndLoop_6_5_6 + IsEndLoop_6_5_7 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_4_1_5 + IsEndLoop_4_1_6 + IsEndLoop_4_1_7 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_1_3_5 + IsEndLoop_1_3_6 + IsEndLoop_1_3_7 + IsEndLoop_6_6_0 + IsEndLoop_6_6_1 + IsEndLoop_6_6_2 + IsEndLoop_6_6_3 + IsEndLoop_6_6_4 + IsEndLoop_6_6_5 + IsEndLoop_6_6_6 + IsEndLoop_6_6_7 + IsEndLoop_7_0_0 + IsEndLoop_7_0_1 + IsEndLoop_7_0_2 + IsEndLoop_7_0_3 + IsEndLoop_7_0_4 + IsEndLoop_7_0_5 + IsEndLoop_7_0_6 + IsEndLoop_7_0_7 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_2_5 + IsEndLoop_4_2_6 + IsEndLoop_4_2_7 + IsEndLoop_1_4_0 + IsEndLoop_1_4_1 + IsEndLoop_1_4_2 + IsEndLoop_1_4_3 + IsEndLoop_1_4_4 + IsEndLoop_1_4_5 + IsEndLoop_1_4_6 + IsEndLoop_1_4_7 + IsEndLoop_7_1_0 + IsEndLoop_7_1_1 + IsEndLoop_7_1_2 + IsEndLoop_7_1_3 + IsEndLoop_7_1_4 + IsEndLoop_7_1_5 + IsEndLoop_7_1_6 + IsEndLoop_7_1_7 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_4_3_5 + IsEndLoop_4_3_6 + IsEndLoop_4_3_7 + IsEndLoop_1_5_0 + IsEndLoop_1_5_1 + IsEndLoop_1_5_2 + IsEndLoop_1_5_3 + IsEndLoop_1_5_4 + IsEndLoop_1_5_5 + IsEndLoop_1_5_6 + IsEndLoop_1_5_7 + IsEndLoop_7_2_0 + IsEndLoop_7_2_1 + IsEndLoop_7_2_2 + IsEndLoop_7_2_3 + IsEndLoop_7_2_4 + IsEndLoop_7_2_5 + IsEndLoop_7_2_6 + IsEndLoop_7_2_7 + IsEndLoop_4_4_0 + IsEndLoop_4_4_1 + IsEndLoop_4_4_2 + IsEndLoop_4_4_3 + IsEndLoop_4_4_4 + IsEndLoop_4_4_5 + IsEndLoop_4_4_6 + IsEndLoop_4_4_7 + IsEndLoop_1_6_0 + IsEndLoop_1_6_1 + IsEndLoop_1_6_2 + IsEndLoop_1_6_3 + IsEndLoop_1_6_4 + IsEndLoop_1_6_5 + IsEndLoop_1_6_6 + IsEndLoop_1_6_7 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_0_5 + IsEndLoop_2_0_6 + IsEndLoop_2_0_7 + IsEndLoop_7_3_0 + IsEndLoop_7_3_1 + IsEndLoop_7_3_2 + IsEndLoop_7_3_3 + IsEndLoop_7_3_4 + IsEndLoop_7_3_5 + IsEndLoop_7_3_6 + IsEndLoop_7_3_7 + IsEndLoop_4_5_0 + IsEndLoop_4_5_1 + IsEndLoop_4_5_2 + IsEndLoop_4_5_3 + IsEndLoop_4_5_4 + IsEndLoop_4_5_5 + IsEndLoop_4_5_6 + IsEndLoop_4_5_7 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_1_5 + IsEndLoop_2_1_6 + IsEndLoop_2_1_7 + IsEndLoop_7_4_0 + IsEndLoop_7_4_1 + IsEndLoop_7_4_2 + IsEndLoop_7_4_3 + IsEndLoop_7_4_4 + IsEndLoop_7_4_5 + IsEndLoop_7_4_6 + IsEndLoop_7_4_7 + IsEndLoop_4_6_0 + IsEndLoop_4_6_1 + IsEndLoop_4_6_2 + IsEndLoop_4_6_3 + IsEndLoop_4_6_4 + IsEndLoop_4_6_5 + IsEndLoop_4_6_6 + IsEndLoop_4_6_7 + IsEndLoop_5_0_0 + IsEndLoop_5_0_1 + IsEndLoop_5_0_2 + IsEndLoop_5_0_3 + IsEndLoop_5_0_4 + IsEndLoop_5_0_5 + IsEndLoop_5_0_6 + IsEndLoop_5_0_7 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_2_5 + IsEndLoop_2_2_6 + IsEndLoop_2_2_7 + IsEndLoop_7_5_0 + IsEndLoop_7_5_1 + IsEndLoop_7_5_2 + IsEndLoop_7_5_3 + IsEndLoop_7_5_4 + IsEndLoop_7_5_5 + IsEndLoop_7_5_6 + IsEndLoop_7_5_7 + IsEndLoop_5_1_0 + IsEndLoop_5_1_1 + IsEndLoop_5_1_2 + IsEndLoop_5_1_3 + IsEndLoop_5_1_4 + IsEndLoop_5_1_5 + IsEndLoop_5_1_6 + IsEndLoop_5_1_7 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4 + IsEndLoop_2_3_5 + IsEndLoop_2_3_6 + IsEndLoop_2_3_7 + IsEndLoop_7_6_0 + IsEndLoop_7_6_1 + IsEndLoop_7_6_2 + IsEndLoop_7_6_3 + IsEndLoop_7_6_4 + IsEndLoop_7_6_5 + IsEndLoop_7_6_6 + IsEndLoop_7_6_7 + IsEndLoop_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_5_2_5 + IsEndLoop_5_2_6 + IsEndLoop_2_4_0 + IsEndLoop_2_4_1 + IsEndLoop_2_4_2 + IsEndLoop_2_4_3 + IsEndLoop_2_4_4 + IsEndLoop_2_4_5 + IsEndLoop_2_4_6 + IsEndLoop_2_4_7 + IsEndLoop_5_2_7) : MAX(TestIdentity_0_6_0 + TestIdentity_0_6_1 + TestIdentity_0_6_2 + TestIdentity_0_6_3 + TestIdentity_0_6_4 + TestIdentity_0_6_5 + TestIdentity_0_6_6 + TestIdentity_0_6_7 + TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_1_0_7 + TestIdentity_3_4_6 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_6_3_7 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3 + TestIdentity_3_5_4 + TestIdentity_3_5_5 + TestIdentity_3_5_6 + TestIdentity_3_5_7 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_1_1_6 + TestIdentity_1_1_7 + TestIdentity_3_4_5 + TestIdentity_6_4_0 + TestIdentity_6_4_1 + TestIdentity_6_4_2 + TestIdentity_6_4_3 + TestIdentity_6_4_4 + TestIdentity_6_4_5 + TestIdentity_6_4_6 + TestIdentity_6_4_7 + TestIdentity_3_6_0 + TestIdentity_3_6_1 + TestIdentity_3_6_2 + TestIdentity_3_6_3 + TestIdentity_3_6_4 + TestIdentity_3_6_5 + TestIdentity_3_6_6 + TestIdentity_3_6_7 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_4_0_5 + TestIdentity_4_0_6 + TestIdentity_4_0_7 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_1_2_5 + TestIdentity_1_2_6 + TestIdentity_1_2_7 + TestIdentity_3_4_4 + TestIdentity_6_5_0 + TestIdentity_6_5_1 + TestIdentity_6_5_2 + TestIdentity_6_5_3 + TestIdentity_6_5_4 + TestIdentity_6_5_5 + TestIdentity_6_5_6 + TestIdentity_6_5_7 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_4_1_5 + TestIdentity_4_1_6 + TestIdentity_4_1_7 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_1_3_5 + TestIdentity_1_3_6 + TestIdentity_1_3_7 + TestIdentity_3_4_3 + TestIdentity_6_6_0 + TestIdentity_6_6_1 + TestIdentity_6_6_2 + TestIdentity_6_6_3 + TestIdentity_6_6_4 + TestIdentity_6_6_5 + TestIdentity_6_6_6 + TestIdentity_6_6_7 + TestIdentity_7_0_0 + TestIdentity_7_0_1 + TestIdentity_7_0_2 + TestIdentity_7_0_3 + TestIdentity_7_0_4 + TestIdentity_7_0_5 + TestIdentity_7_0_6 + TestIdentity_7_0_7 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_2_5 + TestIdentity_4_2_6 + TestIdentity_4_2_7 + TestIdentity_1_4_0 + TestIdentity_1_4_1 + TestIdentity_1_4_2 + TestIdentity_1_4_3 + TestIdentity_1_4_4 + TestIdentity_1_4_5 + TestIdentity_1_4_6 + TestIdentity_1_4_7 + TestIdentity_3_4_2 + TestIdentity_7_1_0 + TestIdentity_7_1_1 + TestIdentity_7_1_2 + TestIdentity_7_1_3 + TestIdentity_7_1_4 + TestIdentity_7_1_5 + TestIdentity_7_1_6 + TestIdentity_7_1_7 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_4_3_5 + TestIdentity_4_3_6 + TestIdentity_4_3_7 + TestIdentity_1_5_0 + TestIdentity_1_5_1 + TestIdentity_1_5_2 + TestIdentity_1_5_3 + TestIdentity_1_5_4 + TestIdentity_1_5_5 + TestIdentity_1_5_6 + TestIdentity_1_5_7 + TestIdentity_7_2_0 + TestIdentity_7_2_1 + TestIdentity_7_2_2 + TestIdentity_7_2_3 + TestIdentity_7_2_4 + TestIdentity_7_2_5 + TestIdentity_7_2_6 + TestIdentity_7_2_7 + TestIdentity_4_4_0 + TestIdentity_4_4_1 + TestIdentity_4_4_2 + TestIdentity_4_4_3 + TestIdentity_4_4_4 + TestIdentity_4_4_5 + TestIdentity_4_4_6 + TestIdentity_4_4_7 + TestIdentity_1_6_0 + TestIdentity_1_6_1 + TestIdentity_1_6_2 + TestIdentity_1_6_3 + TestIdentity_1_6_4 + TestIdentity_1_6_5 + TestIdentity_1_6_6 + TestIdentity_1_6_7 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_0_5 + TestIdentity_2_0_6 + TestIdentity_2_0_7 + TestIdentity_7_3_0 + TestIdentity_7_3_1 + TestIdentity_7_3_2 + TestIdentity_7_3_3 + TestIdentity_7_3_4 + TestIdentity_7_3_5 + TestIdentity_7_3_6 + TestIdentity_7_3_7 + TestIdentity_4_5_0 + TestIdentity_4_5_1 + TestIdentity_4_5_2 + TestIdentity_4_5_3 + TestIdentity_4_5_4 + TestIdentity_4_5_5 + TestIdentity_4_5_6 + TestIdentity_4_5_7 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_1_5 + TestIdentity_2_1_6 + TestIdentity_2_1_7 + TestIdentity_7_4_0 + TestIdentity_7_4_1 + TestIdentity_7_4_2 + TestIdentity_7_4_3 + TestIdentity_7_4_4 + TestIdentity_7_4_5 + TestIdentity_7_4_6 + TestIdentity_7_4_7 + TestIdentity_4_6_0 + TestIdentity_4_6_1 + TestIdentity_4_6_2 + TestIdentity_4_6_3 + TestIdentity_4_6_4 + TestIdentity_4_6_5 + TestIdentity_4_6_6 + TestIdentity_4_6_7 + TestIdentity_3_4_1 + TestIdentity_3_4_0 + TestIdentity_5_0_0 + TestIdentity_5_0_1 + TestIdentity_5_0_2 + TestIdentity_5_0_3 + TestIdentity_5_0_4 + TestIdentity_5_0_5 + TestIdentity_5_0_6 + TestIdentity_5_0_7 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_2_5 + TestIdentity_2_2_6 + TestIdentity_2_2_7 + TestIdentity_7_5_0 + TestIdentity_7_5_1 + TestIdentity_7_5_2 + TestIdentity_7_5_3 + TestIdentity_7_5_4 + TestIdentity_7_5_5 + TestIdentity_7_5_6 + TestIdentity_7_5_7 + TestIdentity_5_1_0 + TestIdentity_5_1_1 + TestIdentity_5_1_2 + TestIdentity_5_1_3 + TestIdentity_5_1_4 + TestIdentity_5_1_5 + TestIdentity_5_1_6 + TestIdentity_5_1_7 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_2_3_5 + TestIdentity_2_3_6 + TestIdentity_2_3_7 + TestIdentity_7_6_0 + TestIdentity_7_6_1 + TestIdentity_7_6_2 + TestIdentity_7_6_3 + TestIdentity_7_6_4 + TestIdentity_7_6_5 + TestIdentity_7_6_6 + TestIdentity_7_6_7 + TestIdentity_5_2_0 + TestIdentity_5_2_1 + TestIdentity_5_2_2 + TestIdentity_5_2_3 + TestIdentity_5_2_4 + TestIdentity_5_2_5 + TestIdentity_5_2_6 + TestIdentity_5_2_7 + TestIdentity_2_4_0 + TestIdentity_2_4_1 + TestIdentity_2_4_2 + TestIdentity_2_4_3 + TestIdentity_2_4_4 + TestIdentity_2_4_5 + TestIdentity_2_4_6 + TestIdentity_2_4_7 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_0_5 + TestIdentity_0_0_6 + TestIdentity_0_0_7 + TestIdentity_5_3_0 + TestIdentity_5_3_1 + TestIdentity_5_3_2 + TestIdentity_5_3_3 + TestIdentity_5_3_4 + TestIdentity_5_3_5 + TestIdentity_5_3_6 + TestIdentity_5_3_7 + TestIdentity_2_5_0 + TestIdentity_2_5_1 + TestIdentity_2_5_2 + TestIdentity_2_5_3 + TestIdentity_2_5_4 + TestIdentity_2_5_5 + TestIdentity_2_5_6 + TestIdentity_2_5_7 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_0_1_5 + TestIdentity_0_1_6 + TestIdentity_0_1_7 + TestIdentity_5_4_0 + TestIdentity_5_4_1 + TestIdentity_5_4_2 + TestIdentity_5_4_3 + TestIdentity_5_4_4 + TestIdentity_5_4_5 + TestIdentity_5_4_6 + TestIdentity_5_4_7 + TestIdentity_2_6_0 + TestIdentity_2_6_1 + TestIdentity_2_6_2 + TestIdentity_2_6_3 + TestIdentity_2_6_4 + TestIdentity_2_6_5 + TestIdentity_2_6_6 + TestIdentity_2_6_7 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_3_0_5 + TestIdentity_3_0_6 + TestIdentity_3_0_7 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_0_2_5 + TestIdentity_0_2_6 + TestIdentity_0_2_7 + TestIdentity_5_5_0 + TestIdentity_5_5_1 + TestIdentity_5_5_2 + TestIdentity_5_5_3 + TestIdentity_5_5_4 + TestIdentity_5_5_5 + TestIdentity_5_5_6 + TestIdentity_5_5_7 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_3_1_5 + TestIdentity_3_1_6 + TestIdentity_3_1_7 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_0_3_5 + TestIdentity_0_3_6 + TestIdentity_0_3_7 + TestIdentity_5_6_0 + TestIdentity_5_6_1 + TestIdentity_5_6_2 + TestIdentity_5_6_3 + TestIdentity_5_6_4 + TestIdentity_5_6_5 + TestIdentity_5_6_6 + TestIdentity_5_6_7 + TestIdentity_6_0_0 + TestIdentity_6_0_1 + TestIdentity_6_0_2 + TestIdentity_6_0_3 + TestIdentity_6_0_4 + TestIdentity_6_0_5 + TestIdentity_6_0_6 + TestIdentity_6_0_7 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_2_5 + TestIdentity_3_2_6 + TestIdentity_3_2_7 + TestIdentity_0_4_0 + TestIdentity_0_4_1 + TestIdentity_0_4_2 + TestIdentity_0_4_3 + TestIdentity_0_4_4 + TestIdentity_0_4_5 + TestIdentity_0_4_6 + TestIdentity_0_4_7 + TestIdentity_6_2_6 + TestIdentity_6_2_5 + TestIdentity_6_2_4 + TestIdentity_6_1_0 + TestIdentity_6_1_1 + TestIdentity_6_1_2 + TestIdentity_6_1_3 + TestIdentity_6_1_4 + TestIdentity_6_1_5 + TestIdentity_6_1_6 + TestIdentity_6_1_7 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4 + TestIdentity_3_3_5 + TestIdentity_3_3_6 + TestIdentity_3_3_7 + TestIdentity_0_5_0 + TestIdentity_0_5_1 + TestIdentity_0_5_2 + TestIdentity_0_5_3 + TestIdentity_0_5_4 + TestIdentity_0_5_5 + TestIdentity_0_5_6 + TestIdentity_0_5_7 + TestIdentity_6_2_3 + TestIdentity_6_2_2 + TestIdentity_6_2_1 + TestIdentity_6_2_0 + TestIdentity_6_2_7 + TestIdentity_3_4_7) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_2_5_7 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_0_1_6 + IsEndLoop_0_1_7 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + IsEndLoop_5_4_4 + IsEndLoop_5_4_5 + IsEndLoop_5_4_6 + IsEndLoop_5_4_7 + IsEndLoop_2_6_0 + IsEndLoop_2_6_1 + IsEndLoop_2_6_2 + IsEndLoop_2_6_3 + IsEndLoop_2_6_4 + IsEndLoop_2_6_5 + IsEndLoop_2_6_6 + IsEndLoop_2_6_7 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_3_0_5 + IsEndLoop_3_0_6 + IsEndLoop_3_0_7 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_0_2_5 + IsEndLoop_0_2_6 + IsEndLoop_0_2_7 + IsEndLoop_5_5_0 + IsEndLoop_5_5_1 + IsEndLoop_5_5_2 + IsEndLoop_5_5_3 + IsEndLoop_5_5_4 + IsEndLoop_5_5_5 + IsEndLoop_5_5_6 + IsEndLoop_5_5_7 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_3_1_5 + IsEndLoop_3_1_6 + IsEndLoop_3_1_7 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_0_3_5 + IsEndLoop_0_3_6 + IsEndLoop_0_3_7 + IsEndLoop_5_6_0 + IsEndLoop_5_6_1 + IsEndLoop_5_6_2 + IsEndLoop_5_6_3 + IsEndLoop_5_6_4 + IsEndLoop_5_6_5 + IsEndLoop_5_6_6 + IsEndLoop_5_6_7 + IsEndLoop_6_0_0 + IsEndLoop_6_0_1 + IsEndLoop_6_0_2 + IsEndLoop_6_0_3 + IsEndLoop_6_0_4 + IsEndLoop_6_0_5 + IsEndLoop_6_0_6 + IsEndLoop_6_0_7 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_2_5 + IsEndLoop_3_2_6 + IsEndLoop_3_2_7 + IsEndLoop_0_4_0 + IsEndLoop_0_4_1 + IsEndLoop_0_4_2 + IsEndLoop_0_4_3 + IsEndLoop_0_4_4 + IsEndLoop_0_4_5 + IsEndLoop_0_4_6 + IsEndLoop_0_4_7 + IsEndLoop_6_1_0 + IsEndLoop_6_1_1 + IsEndLoop_6_1_2 + IsEndLoop_6_1_3 + IsEndLoop_6_1_4 + IsEndLoop_6_1_5 + IsEndLoop_6_1_6 + IsEndLoop_6_1_7 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_3_3_5 + IsEndLoop_3_3_6 + IsEndLoop_3_3_7 + IsEndLoop_0_5_0 + IsEndLoop_0_5_1 + IsEndLoop_0_5_2 + IsEndLoop_0_5_3 + IsEndLoop_0_5_4 + IsEndLoop_0_5_5 + IsEndLoop_0_5_6 + IsEndLoop_0_5_7 + IsEndLoop_6_2_0 + IsEndLoop_6_2_1 + IsEndLoop_6_2_2 + IsEndLoop_6_2_3 + IsEndLoop_6_2_4 + IsEndLoop_6_2_5 + IsEndLoop_6_2_6 + IsEndLoop_6_2_7 + IsEndLoop_3_4_0 + IsEndLoop_3_4_1 + IsEndLoop_3_4_2 + IsEndLoop_3_4_3 + IsEndLoop_3_4_4 + IsEndLoop_3_4_5 + IsEndLoop_3_4_6 + IsEndLoop_3_4_7 + IsEndLoop_0_6_0 + IsEndLoop_0_6_1 + IsEndLoop_0_6_2 + IsEndLoop_0_6_3 + IsEndLoop_0_6_4 + IsEndLoop_0_6_5 + IsEndLoop_0_6_6 + IsEndLoop_0_6_7 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_0_5 + IsEndLoop_1_0_6 + IsEndLoop_1_0_7 + IsEndLoop_6_3_0 + IsEndLoop_6_3_1 + IsEndLoop_6_3_2 + IsEndLoop_6_3_3 + IsEndLoop_6_3_4 + IsEndLoop_6_3_5 + IsEndLoop_6_3_6 + IsEndLoop_6_3_7 + IsEndLoop_3_5_0 + IsEndLoop_3_5_1 + IsEndLoop_3_5_2 + IsEndLoop_3_5_3 + IsEndLoop_3_5_4 + IsEndLoop_3_5_5 + IsEndLoop_3_5_6 + IsEndLoop_3_5_7 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_1_1_5 + IsEndLoop_1_1_6 + IsEndLoop_1_1_7 + IsEndLoop_6_4_0 + IsEndLoop_6_4_1 + IsEndLoop_6_4_2 + IsEndLoop_6_4_3 + IsEndLoop_6_4_4 + IsEndLoop_6_4_5 + IsEndLoop_6_4_6 + IsEndLoop_6_4_7 + IsEndLoop_3_6_0 + IsEndLoop_3_6_1 + IsEndLoop_3_6_2 + IsEndLoop_3_6_3 + IsEndLoop_3_6_4 + IsEndLoop_3_6_5 + IsEndLoop_3_6_6 + IsEndLoop_3_6_7 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_4_0_5 + IsEndLoop_4_0_6 + IsEndLoop_4_0_7 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_1_2_5 + IsEndLoop_1_2_6 + IsEndLoop_1_2_7 + IsEndLoop_6_5_0 + IsEndLoop_6_5_1 + IsEndLoop_6_5_2 + IsEndLoop_6_5_3 + IsEndLoop_6_5_4 + IsEndLoop_6_5_5 + IsEndLoop_6_5_6 + IsEndLoop_6_5_7 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_4_1_5 + IsEndLoop_4_1_6 + IsEndLoop_4_1_7 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_1_3_5 + IsEndLoop_1_3_6 + IsEndLoop_1_3_7 + IsEndLoop_6_6_0 + IsEndLoop_6_6_1 + IsEndLoop_6_6_2 + IsEndLoop_6_6_3 + IsEndLoop_6_6_4 + IsEndLoop_6_6_5 + IsEndLoop_6_6_6 + IsEndLoop_6_6_7 + IsEndLoop_7_0_0 + IsEndLoop_7_0_1 + IsEndLoop_7_0_2 + IsEndLoop_7_0_3 + IsEndLoop_7_0_4 + IsEndLoop_7_0_5 + IsEndLoop_7_0_6 + IsEndLoop_7_0_7 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_2_5 + IsEndLoop_4_2_6 + IsEndLoop_4_2_7 + IsEndLoop_1_4_0 + IsEndLoop_1_4_1 + IsEndLoop_1_4_2 + IsEndLoop_1_4_3 + IsEndLoop_1_4_4 + IsEndLoop_1_4_5 + IsEndLoop_1_4_6 + IsEndLoop_1_4_7 + IsEndLoop_7_1_0 + IsEndLoop_7_1_1 + IsEndLoop_7_1_2 + IsEndLoop_7_1_3 + IsEndLoop_7_1_4 + IsEndLoop_7_1_5 + IsEndLoop_7_1_6 + IsEndLoop_7_1_7 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_4_3_5 + IsEndLoop_4_3_6 + IsEndLoop_4_3_7 + IsEndLoop_1_5_0 + IsEndLoop_1_5_1 + IsEndLoop_1_5_2 + IsEndLoop_1_5_3 + IsEndLoop_1_5_4 + IsEndLoop_1_5_5 + IsEndLoop_1_5_6 + IsEndLoop_1_5_7 + IsEndLoop_7_2_0 + IsEndLoop_7_2_1 + IsEndLoop_7_2_2 + IsEndLoop_7_2_3 + IsEndLoop_7_2_4 + IsEndLoop_7_2_5 + IsEndLoop_7_2_6 + IsEndLoop_7_2_7 + IsEndLoop_4_4_0 + IsEndLoop_4_4_1 + IsEndLoop_4_4_2 + IsEndLoop_4_4_3 + IsEndLoop_4_4_4 + IsEndLoop_4_4_5 + IsEndLoop_4_4_6 + IsEndLoop_4_4_7 + IsEndLoop_1_6_0 + IsEndLoop_1_6_1 + IsEndLoop_1_6_2 + IsEndLoop_1_6_3 + IsEndLoop_1_6_4 + IsEndLoop_1_6_5 + IsEndLoop_1_6_6 + IsEndLoop_1_6_7 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_0_5 + IsEndLoop_2_0_6 + IsEndLoop_2_0_7 + IsEndLoop_7_3_0 + IsEndLoop_7_3_1 + IsEndLoop_7_3_2 + IsEndLoop_7_3_3 + IsEndLoop_7_3_4 + IsEndLoop_7_3_5 + IsEndLoop_7_3_6 + IsEndLoop_7_3_7 + IsEndLoop_4_5_0 + IsEndLoop_4_5_1 + IsEndLoop_4_5_2 + IsEndLoop_4_5_3 + IsEndLoop_4_5_4 + IsEndLoop_4_5_5 + IsEndLoop_4_5_6 + IsEndLoop_4_5_7 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_1_5 + IsEndLoop_2_1_6 + IsEndLoop_2_1_7 + IsEndLoop_7_4_0 + IsEndLoop_7_4_1 + IsEndLoop_7_4_2 + IsEndLoop_7_4_3 + IsEndLoop_7_4_4 + IsEndLoop_7_4_5 + IsEndLoop_7_4_6 + IsEndLoop_7_4_7 + IsEndLoop_4_6_0 + IsEndLoop_4_6_1 + IsEndLoop_4_6_2 + IsEndLoop_4_6_3 + IsEndLoop_4_6_4 + IsEndLoop_4_6_5 + IsEndLoop_4_6_6 + IsEndLoop_4_6_7 + IsEndLoop_5_0_0 + IsEndLoop_5_0_1 + IsEndLoop_5_0_2 + IsEndLoop_5_0_3 + IsEndLoop_5_0_4 + IsEndLoop_5_0_5 + IsEndLoop_5_0_6 + IsEndLoop_5_0_7 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_2_5 + IsEndLoop_2_2_6 + IsEndLoop_2_2_7 + IsEndLoop_7_5_0 + IsEndLoop_7_5_1 + IsEndLoop_7_5_2 + IsEndLoop_7_5_3 + IsEndLoop_7_5_4 + IsEndLoop_7_5_5 + IsEndLoop_7_5_6 + IsEndLoop_7_5_7 + IsEndLoop_5_1_0 + IsEndLoop_5_1_1 + IsEndLoop_5_1_2 + IsEndLoop_5_1_3 + IsEndLoop_5_1_4 + IsEndLoop_5_1_5 + IsEndLoop_5_1_6 + IsEndLoop_5_1_7 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4 + IsEndLoop_2_3_5 + IsEndLoop_2_3_6 + IsEndLoop_2_3_7 + IsEndLoop_7_6_0 + IsEndLoop_7_6_1 + IsEndLoop_7_6_2 + IsEndLoop_7_6_3 + IsEndLoop_7_6_4 + IsEndLoop_7_6_5 + IsEndLoop_7_6_6 + IsEndLoop_7_6_7 + IsEndLoop_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_5_2_5 + IsEndLoop_5_2_6 + IsEndLoop_2_4_0 + IsEndLoop_2_4_1 + IsEndLoop_2_4_2 + IsEndLoop_2_4_3 + IsEndLoop_2_4_4 + IsEndLoop_2_4_5 + IsEndLoop_2_4_6 + IsEndLoop_2_4_7 + IsEndLoop_5_2_7) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 81022 edges, 5911 markings/sec, 0 secs 163922 edges, 5842 markings/sec, 5 secs 246627 edges, 5840 markings/sec, 10 secs 327676 edges, 5862 markings/sec, 15 secs 410815 edges, 5820 markings/sec, 20 secs 496074 edges, 5816 markings/sec, 25 secs 582757 edges, 5803 markings/sec, 30 secs 669377 edges, 5788 markings/sec, 35 secs 757484 edges, 5796 markings/sec, 40 secs 844539 edges, 5804 markings/sec, 45 secs 932571 edges, 5754 markings/sec, 50 secs 1018840 edges, 5800 markings/sec, 55 secs 1104295 edges, 5788 markings/sec, 60 secs 1191085 edges, 5786 markings/sec, 65 secs 1277455 edges, 5782 markings/sec, 70 secs 1365930 edges, 5769 markings/sec, 75 secs 1454161 edges, 5760 markings/sec, 80 secs 1542353 edges, 5739 markings/sec, 85 secs 1630149 edges, 5746 markings/sec, 90 secs 1717646 edges, 5756 markings/sec, 95 secs 1806132 edges, 5740 markings/sec, 100 secs 1895217 edges, 5739 markings/sec, 105 secs 1984604 edges, 5730 markings/sec, 110 secs 2073063 edges, 5740 markings/sec, 115 secs 2161103 edges, 5736 markings/sec, 120 secs 2250015 edges, 5737 markings/sec, 125 secs 2338247 edges, 5740 markings/sec, 130 secs 2426247 edges, 5737 markings/sec, 135 secs 2516089 edges, 5728 markings/sec, 140 secs 2606885 edges, 5713 markings/sec, 145 secs 2696502 edges, 5711 markings/sec, 150 secs 2787120 edges, 5702 markings/sec, 155 secs 2877944 edges, 5715 markings/sec, 160 secs 2968274 edges, 5703 markings/sec, 165 secs 3058917 edges, 5703 markings/sec, 170 secs 3149364 edges, 5712 markings/sec, 175 secs 3242145 edges, 5684 markings/sec, 180 secs 3333563 edges, 5696 markings/sec, 185 secs 3425480 edges, 5697 markings/sec, 190 secs 3516448 edges, 5699 markings/sec, 195 secs 3607577 edges, 5706 markings/sec, 200 secs 3697507 edges, 5700 markings/sec, 205 secs 3790175 edges, 5688 markings/sec, 210 secs 3882413 edges, 5682 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 1 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_0_6 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_1_6 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_2_6 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTu... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 102195 edges, 6898 markings/sec, 0 secs 205702 edges, 6873 markings/sec, 5 secs 305333 edges, 6893 markings/sec, 10 secs 409673 edges, 6838 markings/sec, 15 secs 516262 edges, 6688 markings/sec, 20 secs 622773 edges, 6732 markings/sec, 25 secs 728997 edges, 6748 markings/sec, 30 secs 832047 edges, 6604 markings/sec, 35 secs 940046 edges, 6774 markings/sec, 40 secs 1048766 edges, 6734 markings/sec, 45 secs 1158265 edges, 6798 markings/sec, 50 secs 1268847 edges, 6751 markings/sec, 55 secs 1375539 edges, 6657 markings/sec, 60 secs 1485887 edges, 6741 markings/sec, 65 secs 1594446 edges, 6832 markings/sec, 70 secs 1706831 edges, 6779 markings/sec, 75 secs 1818743 edges, 6779 markings/sec, 80 secs 1930140 edges, 6774 markings/sec, 85 secs 2042481 edges, 6769 markings/sec, 90 secs 2155040 edges, 6764 markings/sec, 95 secs 2268318 edges, 6747 markings/sec, 100 secs 2382460 edges, 6749 markings/sec, 105 secs 2494698 edges, 6749 markings/sec, 110 secs 2607992 edges, 6747 markings/sec, 115 secs 2722356 edges, 6733 markings/sec, 120 secs 2836505 edges, 6732 markings/sec, 125 secs 2947424 edges, 6774 markings/sec, 130 secs 3057230 edges, 6510 markings/sec, 135 secs 3166496 edges, 6521 markings/sec, 140 secs 3278867 edges, 6479 markings/sec, 145 secs 3391190 edges, 6478 markings/sec, 150 secs 3502290 edges, 6492 markings/sec, 155 secs 3614771 edges, 6481 markings/sec, 160 secs 3727984 edges, 6472 markings/sec, 165 secs 3840138 edges, 6484 markings/sec, 170 secs 3953056 edges, 6475 markings/sec, 175 secs 4066538 edges, 6468 markings/sec, 180 secs 4181423 edges, 6542 markings/sec, 185 secs 4297111 edges, 6726 markings/sec, 190 secs 4414669 edges, 6711 markings/sec, 195 secs 4532502 edges, 6704 markings/sec, 200 secs 4649321 edges, 6719 markings/sec, 205 secs 4767740 edges, 6687 markings/sec, 210 secs 4884222 edges, 6541 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 2 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_0_6 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_1_6 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_2_6 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTu... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 103759 edges, 6992 markings/sec, 0 secs 205344 edges, 6756 markings/sec, 5 secs 305931 edges, 6958 markings/sec, 10 secs 411528 edges, 6924 markings/sec, 15 secs 517609 edges, 6644 markings/sec, 20 secs 622534 edges, 6635 markings/sec, 25 secs 730615 edges, 6880 markings/sec, 30 secs 838153 edges, 6876 markings/sec, 35 secs 945241 edges, 6712 markings/sec, 40 secs 1054794 edges, 6790 markings/sec, 45 secs 1164769 edges, 6845 markings/sec, 50 secs 1277251 edges, 6826 markings/sec, 55 secs 1386921 edges, 6851 markings/sec, 60 secs 1498572 edges, 6830 markings/sec, 65 secs 1607809 edges, 6864 markings/sec, 70 secs 1720881 edges, 6809 markings/sec, 75 secs 1833429 edges, 6814 markings/sec, 80 secs 1945681 edges, 6811 markings/sec, 85 secs 2058577 edges, 6804 markings/sec, 90 secs 2171444 edges, 6806 markings/sec, 95 secs 2285616 edges, 6784 markings/sec, 100 secs 2400287 edges, 6789 markings/sec, 105 secs 2513442 edges, 6793 markings/sec, 110 secs 2627673 edges, 6762 markings/sec, 115 secs 2742338 edges, 6782 markings/sec, 120 secs 2857213 edges, 6771 markings/sec, 125 secs 2968982 edges, 6815 markings/sec, 130 secs 3083071 edges, 6777 markings/sec, 135 secs 3197742 edges, 6780 markings/sec, 140 secs 3314452 edges, 6752 markings/sec, 145 secs 3430523 edges, 6757 markings/sec, 150 secs 3547249 edges, 6749 markings/sec, 155 secs 3664906 edges, 6739 markings/sec, 160 secs 3782170 edges, 6742 markings/sec, 165 secs 3898846 edges, 6743 markings/sec, 170 secs 4017881 edges, 6727 markings/sec, 175 secs 4135417 edges, 6736 markings/sec, 180 secs 4250780 edges, 6762 markings/sec, 185 secs 4370614 edges, 6715 markings/sec, 190 secs 4487350 edges, 6745 markings/sec, 195 secs 4604948 edges, 6745 markings/sec, 200 secs 4723048 edges, 6721 markings/sec, 205 secs 4842598 edges, 6710 markings/sec, 210 secs 4960926 edges, 6720 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 3 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 66301 edges, 6472 markings/sec, 0 secs 140993 edges, 6354 markings/sec, 5 secs 218241 edges, 6323 markings/sec, 10 secs 297889 edges, 6290 markings/sec, 15 secs 379430 edges, 6261 markings/sec, 20 secs 462209 edges, 6256 markings/sec, 25 secs 546247 edges, 6244 markings/sec, 30 secs 631776 edges, 6235 markings/sec, 35 secs 716819 edges, 6228 markings/sec, 40 secs 803386 edges, 6213 markings/sec, 45 secs 890632 edges, 6202 markings/sec, 50 secs 978584 edges, 6196 markings/sec, 55 secs 1067292 edges, 6179 markings/sec, 60 secs 1156158 edges, 6188 markings/sec, 65 secs 1246823 edges, 6171 markings/sec, 70 secs 1337356 edges, 6158 markings/sec, 75 secs 1427653 edges, 6172 markings/sec, 80 secs 1519304 edges, 6130 markings/sec, 85 secs 1611571 edges, 6148 markings/sec, 90 secs 1704130 edges, 6149 markings/sec, 95 secs 1796987 edges, 6126 markings/sec, 100 secs 1890686 edges, 6131 markings/sec, 105 secs 1985262 edges, 6119 markings/sec, 110 secs 2079426 edges, 6117 markings/sec, 115 secs 2176345 edges, 6089 markings/sec, 120 secs 2272546 edges, 6097 markings/sec, 125 secs 2367334 edges, 6115 markings/sec, 130 secs 2462264 edges, 6114 markings/sec, 135 secs 2558249 edges, 6097 markings/sec, 140 secs 2658663 edges, 6058 markings/sec, 145 secs 2757341 edges, 6071 markings/sec, 150 secs 2855401 edges, 6082 markings/sec, 155 secs 2952905 edges, 6089 markings/sec, 160 secs 3052265 edges, 6063 markings/sec, 165 secs 3148481 edges, 6100 markings/sec, 170 secs 3245983 edges, 6081 markings/sec, 175 secs 3346159 edges, 6031 markings/sec, 180 secs 3447736 edges, 6045 markings/sec, 185 secs 3552330 edges, 6023 markings/sec, 190 secs 3655713 edges, 6028 markings/sec, 195 secs 3787406 edges, 5708 markings/sec, 200 secs 3886111 edges, 6014 markings/sec, 205 secs 3988393 edges, 6036 markings/sec, 210 secs 4087412 edges, 6080 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 4 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(TestAlone_7_1_0 + TestAlone_7_1_1 + TestAlone_7_1_2 + TestAlone_7_1_3 + TestAlone_7_1_4 + TestAlone_7_1_5 + TestAlone_7_1_6 + TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_4_3_5 + TestAlone_4_3_6 + TestAlone_4_3_7 + TestAlone_1_5_0 + TestAlone_1_5_2 + TestAlone_1_5_3 + TestAlone_1_5_4 + TestAlone_1_5_5 + TestAlone_1_5_6 + TestAlone_1_5_7 + TestAlone_7_2_0 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 81335 edges, 6061 markings/sec, 0 secs 163514 edges, 6082 markings/sec, 5 secs 244830 edges, 6050 markings/sec, 10 secs 327193 edges, 6119 markings/sec, 15 secs 408966 edges, 6070 markings/sec, 20 secs 492672 edges, 6080 markings/sec, 25 secs 570952 edges, 6098 markings/sec, 30 secs 652539 edges, 6047 markings/sec, 35 secs 734538 edges, 6005 markings/sec, 40 secs 818688 edges, 6054 markings/sec, 45 secs 907056 edges, 6052 markings/sec, 50 secs 995770 edges, 6064 markings/sec, 55 secs 1079154 edges, 6056 markings/sec, 60 secs 1164305 edges, 6044 markings/sec, 65 secs 1248328 edges, 6023 markings/sec, 70 secs 1331620 edges, 6003 markings/sec, 75 secs 1419038 edges, 5969 markings/sec, 80 secs 1510900 edges, 5987 markings/sec, 85 secs 1600553 edges, 6074 markings/sec, 90 secs 1686988 edges, 6060 markings/sec, 95 secs 1776760 edges, 5999 markings/sec, 100 secs 1867208 edges, 5954 markings/sec, 105 secs 1955743 edges, 5934 markings/sec, 110 secs 2039708 edges, 5966 markings/sec, 115 secs 2125967 edges, 6021 markings/sec, 120 secs 2223696 edges, 5949 markings/sec, 125 secs 2314413 edges, 5963 markings/sec, 130 secs 2399435 edges, 5999 markings/sec, 135 secs 2488178 edges, 5911 markings/sec, 140 secs 2576008 edges, 5985 markings/sec, 145 secs 2662870 edges, 6013 markings/sec, 150 secs 2750063 edges, 5955 markings/sec, 155 secs 2838824 edges, 5933 markings/sec, 160 secs 2926042 edges, 5942 markings/sec, 165 secs 3018635 edges, 5980 markings/sec, 170 secs 3110161 edges, 5983 markings/sec, 175 secs 3199350 edges, 5956 markings/sec, 180 secs 3289196 edges, 5908 markings/sec, 185 secs 3378606 edges, 5947 markings/sec, 190 secs 3469245 edges, 6003 markings/sec, 195 secs 3560393 edges, 5941 markings/sec, 200 secs 3649408 edges, 5920 markings/sec, 205 secs 3741688 edges, 5973 markings/sec, 210 secs 3832667 edges, 5951 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 5 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_0_6 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_1_6 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_2_6 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTu... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 103390 edges, 6970 markings/sec, 0 secs 207961 edges, 6953 markings/sec, 5 secs 308621 edges, 6966 markings/sec, 10 secs 412923 edges, 6851 markings/sec, 15 secs 519050 edges, 6614 markings/sec, 20 secs 623656 edges, 6619 markings/sec, 25 secs 727787 edges, 6607 markings/sec, 30 secs 830800 edges, 6614 markings/sec, 35 secs 935880 edges, 6597 markings/sec, 40 secs 1042089 edges, 6578 markings/sec, 45 secs 1147879 edges, 6590 markings/sec, 50 secs 1255417 edges, 6561 markings/sec, 55 secs 1360864 edges, 6570 markings/sec, 60 secs 1467670 edges, 6562 markings/sec, 65 secs 1574143 edges, 6570 markings/sec, 70 secs 1681122 edges, 6563 markings/sec, 75 secs 1788817 edges, 6547 markings/sec, 80 secs 1896380 edges, 6540 markings/sec, 85 secs 2004722 edges, 6526 markings/sec, 90 secs 2113687 edges, 6537 markings/sec, 95 secs 2222255 edges, 6539 markings/sec, 100 secs 2332846 edges, 6511 markings/sec, 105 secs 2442341 edges, 6514 markings/sec, 110 secs 2551133 edges, 6519 markings/sec, 115 secs 2660277 edges, 6514 markings/sec, 120 secs 2771362 edges, 6505 markings/sec, 125 secs 2881553 edges, 6503 markings/sec, 130 secs 2988701 edges, 6555 markings/sec, 135 secs 3098982 edges, 6509 markings/sec, 140 secs 3208756 edges, 6514 markings/sec, 145 secs 3320907 edges, 6467 markings/sec, 150 secs 3433365 edges, 6577 markings/sec, 155 secs 3549330 edges, 6690 markings/sec, 160 secs 3666026 edges, 6691 markings/sec, 165 secs 3782477 edges, 6690 markings/sec, 170 secs 3898211 edges, 6686 markings/sec, 175 secs 4016097 edges, 6671 markings/sec, 180 secs 4132830 edges, 6677 markings/sec, 185 secs 4247112 edges, 6709 markings/sec, 190 secs 4365672 edges, 6658 markings/sec, 195 secs 4481408 edges, 6681 markings/sec, 200 secs 4597823 edges, 6680 markings/sec, 205 secs 4714656 edges, 6661 markings/sec, 210 secs 4833382 edges, 6646 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 6 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6 + Idle_7) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 64360 edges, 6316 markings/sec, 0 secs 137325 edges, 6212 markings/sec, 5 secs 212877 edges, 6181 markings/sec, 10 secs 290497 edges, 6165 markings/sec, 15 secs 370055 edges, 6141 markings/sec, 20 secs 451526 edges, 6101 markings/sec, 25 secs 534044 edges, 6107 markings/sec, 30 secs 615804 edges, 6065 markings/sec, 35 secs 699527 edges, 6063 markings/sec, 40 secs 784172 edges, 6066 markings/sec, 45 secs 869472 edges, 6062 markings/sec, 50 secs 953557 edges, 6069 markings/sec, 55 secs 1039204 edges, 6057 markings/sec, 60 secs 1126171 edges, 6040 markings/sec, 65 secs 1213853 edges, 6036 markings/sec, 70 secs 1301111 edges, 6040 markings/sec, 75 secs 1390197 edges, 6028 markings/sec, 80 secs 1480351 edges, 6013 markings/sec, 85 secs 1569884 edges, 6005 markings/sec, 90 secs 1659847 edges, 6008 markings/sec, 95 secs 1752260 edges, 5987 markings/sec, 100 secs 1843903 edges, 5989 markings/sec, 105 secs 1935747 edges, 5991 markings/sec, 110 secs 2026980 edges, 5981 markings/sec, 115 secs 2119704 edges, 5975 markings/sec, 120 secs 2215483 edges, 5945 markings/sec, 125 secs 2307919 edges, 5975 markings/sec, 130 secs 2400583 edges, 5957 markings/sec, 135 secs 2498643 edges, 5928 markings/sec, 140 secs 2594320 edges, 5938 markings/sec, 145 secs 2691736 edges, 5930 markings/sec, 150 secs 2788672 edges, 5925 markings/sec, 155 secs 2887932 edges, 5907 markings/sec, 160 secs 2983991 edges, 5936 markings/sec, 165 secs 3081699 edges, 5927 markings/sec, 170 secs 3178287 edges, 5935 markings/sec, 175 secs 3275332 edges, 5924 markings/sec, 180 secs 3374230 edges, 5902 markings/sec, 185 secs 3473111 edges, 5912 markings/sec, 190 secs 3584372 edges, 5838 markings/sec, 195 secs 3705957 edges, 5790 markings/sec, 200 secs 3804483 edges, 5899 markings/sec, 205 secs 3904114 edges, 5901 markings/sec, 210 secs 4004437 edges, 5908 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 7 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(WantSection_7_T + WantSection_7_F + WantSection_6_T + WantSection_6_F + WantSection_5_T + WantSection_5_F + WantSection_4_T + WantSection_4_F + WantSection_3_T + WantSection_3_F + WantSection_2_T + WantSection_2_F + WantSection_1_T + WantSection_1_F + WantSection_0_T + WantSection_0_F) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 8 ================== 8 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 64679 edges, 6326 markings/sec, 0 secs 137663 edges, 6219 markings/sec, 5 secs 213045 edges, 6200 markings/sec, 10 secs 291298 edges, 6169 markings/sec, 15 secs 370738 edges, 6145 markings/sec, 20 secs 452161 edges, 6130 markings/sec, 25 secs 534264 edges, 6131 markings/sec, 30 secs 618104 edges, 6113 markings/sec, 35 secs 701423 edges, 6113 markings/sec, 40 secs 785885 edges, 6098 markings/sec, 45 secs 870962 edges, 6086 markings/sec, 50 secs 957785 edges, 6073 markings/sec, 55 secs 1044252 edges, 6070 markings/sec, 60 secs 1131085 edges, 6070 markings/sec, 65 secs 1219800 edges, 6057 markings/sec, 70 secs 1308714 edges, 6051 markings/sec, 75 secs 1398005 edges, 6046 markings/sec, 80 secs 1486739 edges, 6049 markings/sec, 85 secs 1577526 edges, 6030 markings/sec, 90 secs 1668037 edges, 6019 markings/sec, 95 secs 1759260 edges, 6019 markings/sec, 100 secs 1851041 edges, 6007 markings/sec, 105 secs 1942807 edges, 6014 markings/sec, 110 secs 2035948 edges, 6001 markings/sec, 115 secs 2128965 edges, 6001 markings/sec, 120 secs 2224775 edges, 5976 markings/sec, 125 secs 2318043 edges, 6000 markings/sec, 130 secs 2410822 edges, 6010 markings/sec, 135 secs 2506894 edges, 6003 markings/sec, 140 secs 2601759 edges, 5986 markings/sec, 145 secs 2699651 edges, 5956 markings/sec, 150 secs 2795787 edges, 5970 markings/sec, 155 secs 2893553 edges, 5957 markings/sec, 160 secs 2989313 edges, 5971 markings/sec, 165 secs 3085892 edges, 5961 markings/sec, 170 secs 3180639 edges, 5973 markings/sec, 175 secs 3276279 edges, 5960 markings/sec, 180 secs 3375840 edges, 5939 markings/sec, 185 secs 3476359 edges, 5924 markings/sec, 190 secs 3577674 edges, 5924 markings/sec, 195 secs 3688782 edges, 5870 markings/sec, 200 secs 3811985 edges, 5803 markings/sec, 205 secs 3910797 edges, 5937 markings/sec, 210 secs 4008946 edges, 5951 markings/sec, 215 secs 4106767 edges, 5952 markings/sec, 220 secs 4206992 edges, 5930 markings/sec, 225 secs 4296938 edges, 5308 markings/sec, 230 secs 4395886 edges, 5489 markings/sec, 235 secs 4568837 edges, 5548 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 65832 edges, 6426 markings/sec, 0 secs 139984 edges, 6317 markings/sec, 5 secs 216696 edges, 6280 markings/sec, 10 secs 295931 edges, 6254 markings/sec, 15 secs 376945 edges, 6236 markings/sec, 20 secs 459219 edges, 6220 markings/sec, 25 secs 539855 edges, 5985 markings/sec, 30 secs 617073 edges, 5643 markings/sec, 35 secs 701215 edges, 6165 markings/sec, 40 secs 786518 edges, 6156 markings/sec, 45 secs 872307 edges, 6141 markings/sec, 50 secs 959823 edges, 6133 markings/sec, 55 secs 1047425 edges, 6124 markings/sec, 60 secs 1135495 edges, 6142 markings/sec, 65 secs 1226549 edges, 6213 markings/sec, 70 secs 1317721 edges, 6201 markings/sec, 75 secs 1408971 edges, 6218 markings/sec, 80 secs 1500834 edges, 6205 markings/sec, 85 secs 1593938 edges, 6199 markings/sec, 90 secs 1687316 edges, 6190 markings/sec, 95 secs 1780393 edges, 6191 markings/sec, 100 secs 1875343 edges, 6180 markings/sec, 105 secs 1970171 edges, 6177 markings/sec, 110 secs 2065252 edges, 6170 markings/sec, 115 secs 2162475 edges, 6153 markings/sec, 120 secs 2259592 edges, 6153 markings/sec, 125 secs 2356462 edges, 6158 markings/sec, 130 secs 2452155 edges, 6165 markings/sec, 135 secs 2549000 edges, 6156 markings/sec, 140 secs 2649580 edges, 6118 markings/sec, 145 secs 2748991 edges, 6127 markings/sec, 150 secs 2847613 edges, 6133 markings/sec, 155 secs 2946496 edges, 6140 markings/sec, 160 secs 3046699 edges, 6116 markings/sec, 165 secs 3144033 edges, 6144 markings/sec, 170 secs 3241678 edges, 6142 markings/sec, 175 secs 3343547 edges, 6101 markings/sec, 180 secs 3445618 edges, 6098 markings/sec, 185 secs 3551245 edges, 6077 markings/sec, 190 secs 3655512 edges, 6088 markings/sec, 195 secs 3790723 edges, 5927 markings/sec, 200 secs 3891064 edges, 6113 markings/sec, 205 secs 3993941 edges, 6097 markings/sec, 210 secs 4093655 edges, 6117 markings/sec, 215 secs 4196186 edges, 6091 markings/sec, 220 secs 4299660 edges, 6093 markings/sec, 225 secs 4418987 edges, 6011 markings/sec, 230 secs 4584642 edges, 5778 markings/sec, 235 secs 4687645 edges, 6085 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6 + Idle_7) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 64163 edges, 6296 markings/sec, 0 secs 136871 edges, 6190 markings/sec, 5 secs 211965 edges, 6150 markings/sec, 10 secs 289203 edges, 6128 markings/sec, 15 secs 368431 edges, 6113 markings/sec, 20 secs 449663 edges, 6089 markings/sec, 25 secs 531839 edges, 6081 markings/sec, 30 secs 613538 edges, 6074 markings/sec, 35 secs 697241 edges, 6053 markings/sec, 40 secs 781581 edges, 6049 markings/sec, 45 secs 866801 edges, 6043 markings/sec, 50 secs 950430 edges, 6052 markings/sec, 55 secs 1035504 edges, 6020 markings/sec, 60 secs 1122119 edges, 6013 markings/sec, 65 secs 1209314 edges, 6014 markings/sec, 70 secs 1296229 edges, 6017 markings/sec, 75 secs 1384998 edges, 5999 markings/sec, 80 secs 1474452 edges, 5994 markings/sec, 85 secs 1563422 edges, 5985 markings/sec, 90 secs 1653154 edges, 5981 markings/sec, 95 secs 1745191 edges, 5966 markings/sec, 100 secs 1836367 edges, 5957 markings/sec, 105 secs 1927820 edges, 5968 markings/sec, 110 secs 2019108 edges, 5962 markings/sec, 115 secs 2111136 edges, 5938 markings/sec, 120 secs 2205546 edges, 5941 markings/sec, 125 secs 2298942 edges, 5945 markings/sec, 130 secs 2391294 edges, 5941 markings/sec, 135 secs 2487961 edges, 5916 markings/sec, 140 secs 2584064 edges, 5912 markings/sec, 145 secs 2680540 edges, 5899 markings/sec, 150 secs 2777384 edges, 5900 markings/sec, 155 secs 2875706 edges, 5894 markings/sec, 160 secs 2971023 edges, 5917 markings/sec, 165 secs 3069069 edges, 5902 markings/sec, 170 secs 3165203 edges, 5908 markings/sec, 175 secs 3262490 edges, 5903 markings/sec, 180 secs 3361986 edges, 5879 markings/sec, 185 secs 3459044 edges, 5912 markings/sec, 190 secs 3562296 edges, 5863 markings/sec, 195 secs 3692182 edges, 5721 markings/sec, 200 secs 3789973 edges, 5898 markings/sec, 205 secs 3888789 edges, 5885 markings/sec, 210 secs 3988133 edges, 5893 markings/sec, 215 secs 4087342 edges, 5887 markings/sec, 220 secs 4187596 edges, 5862 markings/sec, 225 secs 4292531 edges, 5836 markings/sec, 230 secs 4394642 edges, 5857 markings/sec, 235 secs 4494254 edges, 5869 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 11 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 80576 edges, 5875 markings/sec, 0 secs 162777 edges, 5797 markings/sec, 5 secs 244841 edges, 5789 markings/sec, 10 secs 325064 edges, 5796 markings/sec, 15 secs 407192 edges, 5766 markings/sec, 20 secs 491471 edges, 5763 markings/sec, 25 secs 577397 edges, 5749 markings/sec, 30 secs 663212 edges, 5720 markings/sec, 35 secs 750582 edges, 5730 markings/sec, 40 secs 836411 edges, 5736 markings/sec, 45 secs 923347 edges, 5728 markings/sec, 50 secs 1009118 edges, 5735 markings/sec, 55 secs 1093868 edges, 5738 markings/sec, 60 secs 1179748 edges, 5726 markings/sec, 65 secs 1265250 edges, 5721 markings/sec, 70 secs 1352437 edges, 5725 markings/sec, 75 secs 1440657 edges, 5706 markings/sec, 80 secs 1527130 edges, 5714 markings/sec, 85 secs 1614654 edges, 5688 markings/sec, 90 secs 1701433 edges, 5706 markings/sec, 95 secs 1789152 edges, 5692 markings/sec, 100 secs 1877175 edges, 5672 markings/sec, 105 secs 1965901 edges, 5663 markings/sec, 110 secs 2052924 edges, 5680 markings/sec, 115 secs 2140138 edges, 5669 markings/sec, 120 secs 2228349 edges, 5720 markings/sec, 125 secs 2315752 edges, 5676 markings/sec, 130 secs 2397692 edges, 5340 markings/sec, 135 secs 2487147 edges, 5738 markings/sec, 140 secs 2577723 edges, 5749 markings/sec, 145 secs 2668883 edges, 5743 markings/sec, 150 secs 2759229 edges, 5739 markings/sec, 155 secs 2850934 edges, 5731 markings/sec, 160 secs 2941572 edges, 5741 markings/sec, 165 secs 3031869 edges, 5734 markings/sec, 170 secs 3123315 edges, 5705 markings/sec, 175 secs 3214455 edges, 5670 markings/sec, 180 secs 3307219 edges, 5655 markings/sec, 185 secs 3397417 edges, 5678 markings/sec, 190 secs 3488522 edges, 5663 markings/sec, 195 secs 3579003 edges, 5678 markings/sec, 200 secs 3668843 edges, 5675 markings/sec, 205 secs 3760324 edges, 5659 markings/sec, 210 secs 3852166 edges, 5659 markings/sec, 215 secs 3944378 edges, 5654 markings/sec, 220 secs 4037110 edges, 5641 markings/sec, 225 secs 4128830 edges, 5660 markings/sec, 230 secs 4220167 edges, 5656 markings/sec, 235 secs 4308855 edges, 5682 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 12 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 41823 edges, 5899 markings/sec, 0 secs 86868 edges, 5814 markings/sec, 5 secs 133238 edges, 5788 markings/sec, 10 secs 179877 edges, 5775 markings/sec, 15 secs 227171 edges, 5771 markings/sec, 20 secs 274814 edges, 5760 markings/sec, 25 secs 323785 edges, 5737 markings/sec, 30 secs 372550 edges, 5744 markings/sec, 35 secs 421990 edges, 5743 markings/sec, 40 secs 472912 edges, 5721 markings/sec, 45 secs 522025 edges, 5735 markings/sec, 50 secs 573182 edges, 5718 markings/sec, 55 secs 624168 edges, 5724 markings/sec, 60 secs 675757 edges, 5710 markings/sec, 65 secs 726459 edges, 5701 markings/sec, 70 secs 778720 edges, 5703 markings/sec, 75 secs 830968 edges, 5707 markings/sec, 80 secs 882755 edges, 5706 markings/sec, 85 secs 936809 edges, 5680 markings/sec, 90 secs 990181 edges, 5687 markings/sec, 95 secs 1042843 edges, 5700 markings/sec, 100 secs 1095819 edges, 5684 markings/sec, 105 secs 1148235 edges, 5689 markings/sec, 110 secs 1200924 edges, 5702 markings/sec, 115 secs 1255971 edges, 5691 markings/sec, 120 secs 1309272 edges, 5688 markings/sec, 125 secs 1363435 edges, 5685 markings/sec, 130 secs 1419518 edges, 5673 markings/sec, 135 secs 1473007 edges, 5680 markings/sec, 140 secs 1529045 edges, 5655 markings/sec, 145 secs 1585578 edges, 5680 markings/sec, 150 secs 1641859 edges, 5658 markings/sec, 155 secs 1697454 edges, 5663 markings/sec, 160 secs 1753485 edges, 5657 markings/sec, 165 secs 1809715 edges, 5668 markings/sec, 170 secs 1865735 edges, 5675 markings/sec, 175 secs 1923016 edges, 5645 markings/sec, 180 secs 1978816 edges, 5666 markings/sec, 185 secs 2035776 edges, 5652 markings/sec, 190 secs 2093437 edges, 5647 markings/sec, 195 secs 2151347 edges, 5656 markings/sec, 200 secs 2208923 edges, 5658 markings/sec, 205 secs 2267749 edges, 5649 markings/sec, 210 secs 2325305 edges, 5655 markings/sec, 215 secs 2383383 edges, 5655 markings/sec, 220 secs 2441070 edges, 5646 markings/sec, 225 secs 2498438 edges, 5656 markings/sec, 230 secs 2557765 edges, 5645 markings/sec, 235 secs 2617367 edges, 5629 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 13 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(TestIdentity_0_6_0 + TestIdentity_0_6_1 + TestIdentity_0_6_2 + TestIdentity_0_6_3 + TestIdentity_0_6_4 + TestIdentity_0_6_5 + TestIdentity_0_6_6 + TestIdentity_0_6_7 + TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_1_0_7 + TestIdentity_3_4_6 + TestIdentity_6_3_0 + TestIdentity_6_3_1... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 83876 edges, 6320 markings/sec, 0 secs 173986 edges, 6237 markings/sec, 5 secs 262432 edges, 6242 markings/sec, 10 secs 351186 edges, 6237 markings/sec, 15 secs 439413 edges, 6257 markings/sec, 20 secs 528726 edges, 6190 markings/sec, 25 secs 614950 edges, 6247 markings/sec, 30 secs 703294 edges, 6222 markings/sec, 35 secs 793477 edges, 6164 markings/sec, 40 secs 880186 edges, 6218 markings/sec, 45 secs 967415 edges, 6204 markings/sec, 50 secs 1058745 edges, 6200 markings/sec, 55 secs 1151679 edges, 6149 markings/sec, 60 secs 1242186 edges, 6174 markings/sec, 65 secs 1337653 edges, 6154 markings/sec, 70 secs 1432423 edges, 6151 markings/sec, 75 secs 1527747 edges, 6147 markings/sec, 80 secs 1620469 edges, 6136 markings/sec, 85 secs 1713460 edges, 6124 markings/sec, 90 secs 1810416 edges, 6022 markings/sec, 95 secs 1905680 edges, 6220 markings/sec, 100 secs 1997159 edges, 6137 markings/sec, 105 secs 2091305 edges, 6140 markings/sec, 110 secs 2184176 edges, 6135 markings/sec, 115 secs 2278413 edges, 6120 markings/sec, 120 secs 2371867 edges, 6129 markings/sec, 125 secs 2466532 edges, 6119 markings/sec, 130 secs 2560492 edges, 6135 markings/sec, 135 secs 2655883 edges, 6114 markings/sec, 140 secs 2752229 edges, 6098 markings/sec, 145 secs 2849513 edges, 6104 markings/sec, 150 secs 2944908 edges, 6102 markings/sec, 155 secs 3040707 edges, 6105 markings/sec, 160 secs 3136872 edges, 6098 markings/sec, 165 secs 3234410 edges, 6074 markings/sec, 170 secs 3330616 edges, 6095 markings/sec, 175 secs 3426360 edges, 6104 markings/sec, 180 secs 3519431 edges, 6106 markings/sec, 185 secs 3615051 edges, 6099 markings/sec, 190 secs 3711015 edges, 6082 markings/sec, 195 secs 3808108 edges, 6082 markings/sec, 200 secs 3908426 edges, 6075 markings/sec, 205 secs 4005800 edges, 6070 markings/sec, 210 secs 4102795 edges, 6079 markings/sec, 215 secs 4202695 edges, 6057 markings/sec, 220 secs 4299776 edges, 6063 markings/sec, 225 secs 4396987 edges, 6070 markings/sec, 230 secs 4495003 edges, 6062 markings/sec, 235 secs 4594022 edges, 6048 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 41666 edges, 5875 markings/sec, 0 secs 86534 edges, 5785 markings/sec, 5 secs 132672 edges, 5763 markings/sec, 10 secs 179063 edges, 5759 markings/sec, 15 secs 226232 edges, 5740 markings/sec, 20 secs 273743 edges, 5732 markings/sec, 25 secs 322393 edges, 5714 markings/sec, 30 secs 370940 edges, 5726 markings/sec, 35 secs 420060 edges, 5719 markings/sec, 40 secs 470728 edges, 5697 markings/sec, 45 secs 520057 edges, 5704 markings/sec, 50 secs 570283 edges, 5700 markings/sec, 55 secs 621372 edges, 5688 markings/sec, 60 secs 672666 edges, 5686 markings/sec, 65 secs 722914 edges, 5685 markings/sec, 70 secs 775295 edges, 5675 markings/sec, 75 secs 827116 edges, 5705 markings/sec, 80 secs 879441 edges, 5706 markings/sec, 85 secs 933012 edges, 5698 markings/sec, 90 secs 986533 edges, 5740 markings/sec, 95 secs 1039384 edges, 5661 markings/sec, 100 secs 1090907 edges, 5499 markings/sec, 105 secs 1142434 edges, 5641 markings/sec, 110 secs 1193949 edges, 5563 markings/sec, 115 secs 1246671 edges, 5505 markings/sec, 120 secs 1298726 edges, 5489 markings/sec, 125 secs 1351114 edges, 5497 markings/sec, 130 secs 1404730 edges, 5493 markings/sec, 135 secs 1459535 edges, 5685 markings/sec, 140 secs 1514147 edges, 5695 markings/sec, 145 secs 1570251 edges, 5569 markings/sec, 150 secs 1624962 edges, 5475 markings/sec, 155 secs 1678737 edges, 5485 markings/sec, 160 secs 1732716 edges, 5482 markings/sec, 165 secs 1789188 edges, 5664 markings/sec, 170 secs 1844459 edges, 5615 markings/sec, 175 secs 1899292 edges, 5475 markings/sec, 180 secs 1953933 edges, 5477 markings/sec, 185 secs 2007551 edges, 5482 markings/sec, 190 secs 2063445 edges, 5459 markings/sec, 195 secs 2119275 edges, 5462 markings/sec, 200 secs 2175510 edges, 5470 markings/sec, 205 secs 2231748 edges, 5463 markings/sec, 210 secs 2287429 edges, 5474 markings/sec, 215 secs 2344653 edges, 5451 markings/sec, 220 secs 2399938 edges, 5478 markings/sec, 225 secs 2456326 edges, 5451 markings/sec, 230 secs 2512057 edges, 5461 markings/sec, 235 secs 2569754 edges, 5453 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 15 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6 + CS_7) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 23 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 62380 edges, 6131 markings/sec, 0 secs 132975 edges, 6025 markings/sec, 5 secs 205862 edges, 5988 markings/sec, 10 secs 281054 edges, 5966 markings/sec, 15 secs 357724 edges, 5951 markings/sec, 20 secs 436079 edges, 5931 markings/sec, 25 secs 515215 edges, 5929 markings/sec, 30 secs 596196 edges, 5915 markings/sec, 35 secs 677206 edges, 5906 markings/sec, 40 secs 757898 edges, 5903 markings/sec, 45 secs 840591 edges, 5880 markings/sec, 50 secs 923984 edges, 5877 markings/sec, 55 secs 1007117 edges, 5874 markings/sec, 60 secs 1091882 edges, 5857 markings/sec, 65 secs 1175951 edges, 5869 markings/sec, 70 secs 1262116 edges, 5851 markings/sec, 75 secs 1347773 edges, 5835 markings/sec, 80 secs 1433823 edges, 5850 markings/sec, 85 secs 1520873 edges, 5834 markings/sec, 90 secs 1608278 edges, 5832 markings/sec, 95 secs 1695932 edges, 5827 markings/sec, 100 secs 1785735 edges, 5964 markings/sec, 105 secs 1875222 edges, 5813 markings/sec, 110 secs 1964645 edges, 5803 markings/sec, 115 secs 2054039 edges, 5802 markings/sec, 120 secs 2144318 edges, 5794 markings/sec, 125 secs 2236837 edges, 5770 markings/sec, 130 secs 2326668 edges, 5801 markings/sec, 135 secs 2416769 edges, 5796 markings/sec, 140 secs 2508907 edges, 5783 markings/sec, 145 secs 2600328 edges, 5774 markings/sec, 150 secs 2694482 edges, 5747 markings/sec, 155 secs 2787700 edges, 5764 markings/sec, 160 secs 2882090 edges, 5753 markings/sec, 165 secs 2974350 edges, 5776 markings/sec, 170 secs 3068263 edges, 5750 markings/sec, 175 secs 3159508 edges, 5776 markings/sec, 180 secs 3251964 edges, 5758 markings/sec, 185 secs 3346930 edges, 5737 markings/sec, 190 secs 3443349 edges, 5727 markings/sec, 195 secs 3542630 edges, 5711 markings/sec, 200 secs 3639594 edges, 5728 markings/sec, 205 secs 3769541 edges, 5543 markings/sec, 210 secs 3863585 edges, 5742 markings/sec, 215 secs 3961441 edges, 5714 markings/sec, 220 secs 4055174 edges, 5748 markings/sec, 225 secs 4151490 edges, 5724 markings/sec, 230 secs 4247047 edges, 5725 markings/sec, 235 secs 4343188 edges, 5731 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process unknown unknown unknown unknown unknown 8 unknown unknown unknown unknown unknown unknown unknown unknown CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-7 8 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN and sara stdout ----- stderr ----- stderr ----- stderr ----- sara stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-PT-7"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-7.tgz
mv Peterson-PT-7 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Peterson-PT-7, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r048-smll-149440869500083"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;