MCC'2017 - Execution of r128-smll-149441681200083

About the Execution of LoLA for S_Peterson-PT-7

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3450.030	3539280.00	3546421.00	15462.30	? ? ? ? ? ? ? ? ? ? ? ? ? 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 S_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 1496279244852

Time: 3600 - MCC
----- Start make prepare
============================
S_Peterson-PT-7: translating
============================
translating PT Petri net complete

checking for too many tokens
============================
S_Peterson-PT-7: translating
============================
translating formula complete
touch formulae;
----- Start make result
UpperBounds @ S_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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 28652 markings,
lola: 56746 markings,
lola: 84863 markings,
lola: 113017 markings,
lola: 140952 markings,
lola: 168955 markings,
lola: 196781 markings,
lola: 225471 markings,
lola: 254206 markings,
lola: 282818 markings,
lola: 311473 markings,
lola: 340137 markings,
lola: 368829 markings,
lola: 397461 markings,
lola: 426195 markings,
lola: 454746 markings,
lola: 483283 markings,
lola: 511783 markings,
lola: 540162 markings,
lola: 568587 markings,
lola: 597048 markings,
lola: 625429 markings,
lola: 653745 markings,
lola: 682098 markings,
lola: 710386 markings,
lola: 738689 markings,
lola: 767119 markings,
lola: 795432 markings,
lola: 823648 markings,
lola: 851909 markings,
lola: 880104 markings,
lola: 908308 markings,
lola: 936416 markings,
lola: 964605 markings,
lola: 992748 markings,
lola: 1020825 markings,
lola: 1048977 markings,
lola: 1076960 markings,
lola: 1105060 markings,
lola: 1133081 markings,
lola: 1161133 markings,
lola: 1189361 markings,
lola: 1217378 markings,
lola: 1245430 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35498 markings,
lola: 70822 markings,
lola: 106126 markings,
lola: 141154 markings,
lola: 175961 markings,
lola: 210629 markings,
lola: 245278 markings,
lola: 279850 markings,
lola: 314283 markings,
lola: 348706 markings,
lola: 382989 markings,
lola: 417386 markings,
lola: 451714 markings,
lola: 485845 markings,
lola: 520260 markings,
lola: 554403 markings,
lola: 588458 markings,
lola: 622552 markings,
lola: 656582 markings,
lola: 690638 markings,
lola: 724605 markings,
lola: 758562 markings,
lola: 792323 markings,
lola: 826122 markings,
lola: 858998 markings,
lola: 892942 markings,
lola: 927250 markings,
lola: 961260 markings,
lola: 995332 markings,
lola: 1029161 markings,
lola: 1063114 markings,
lola: 1096980 markings,
lola: 1130769 markings,
lola: 1164656 markings,
lola: 1198484 markings,
lola: 1232277 markings,
lola: 1266003 markings,
lola: 1299931 markings,
lola: 1333638 markings,
lola: 1367473 markings,
lola: 1401324 markings,
lola: 1434959 markings,
lola: 1468581 markings,
lola: 1502276 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 34272 markings,
lola: 69582 markings,
lola: 104891 markings,
lola: 139946 markings,
lola: 174731 markings,
lola: 209406 markings,
lola: 244059 markings,
lola: 278661 markings,
lola: 313097 markings,
lola: 347496 markings,
lola: 381764 markings,
lola: 416148 markings,
lola: 450448 markings,
lola: 484612 markings,
lola: 519025 markings,
lola: 553123 markings,
lola: 587174 markings,
lola: 621254 markings,
lola: 655265 markings,
lola: 689294 markings,
lola: 723256 markings,
lola: 757131 markings,
lola: 791043 markings,
lola: 824961 markings,
lola: 858750 markings,
lola: 892532 markings,
lola: 926619 markings,
lola: 960392 markings,
lola: 994228 markings,
lola: 1027852 markings,
lola: 1061557 markings,
lola: 1095177 markings,
lola: 1128754 markings,
lola: 1162426 markings,
lola: 1195731 markings,
lola: 1228905 markings,
lola: 1262056 markings,
lola: 1295408 markings,
lola: 1328667 markings,
lola: 1361957 markings,
lola: 1395303 markings,
lola: 1428449 markings,
lola: 1461596 markings,
lola: 1494753 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31773 markings,
lola: 62977 markings,
lola: 94016 markings,
lola: 124891 markings,
lola: 155658 markings,
lola: 186342 markings,
lola: 216990 markings,
lola: 247529 markings,
lola: 278100 markings,
lola: 308542 markings,
lola: 339133 markings,
lola: 369728 markings,
lola: 400407 markings,
lola: 431124 markings,
lola: 461661 markings,
lola: 492063 markings,
lola: 522504 markings,
lola: 552851 markings,
lola: 583146 markings,
lola: 613967 markings,
lola: 644752 markings,
lola: 675555 markings,
lola: 706241 markings,
lola: 736939 markings,
lola: 767592 markings,
lola: 798122 markings,
lola: 828796 markings,
lola: 859415 markings,
lola: 890062 markings,
lola: 920308 markings,
lola: 948973 markings,
lola: 978705 markings,
lola: 1007077 markings,
lola: 1035140 markings,
lola: 1064918 markings,
lola: 1094663 markings,
lola: 1124393 markings,
lola: 1153905 markings,
lola: 1183421 markings,
lola: 1212932 markings,
lola: 1242109 markings,
lola: 1271404 markings,
lola: 1300922 markings,
lola: 1330572 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 30962 markings,
lola: 62021 markings,
lola: 93376 markings,
lola: 124609 markings,
lola: 155530 markings,
lola: 186385 markings,
lola: 217127 markings,
lola: 248004 markings,
lola: 278563 markings,
lola: 309483 markings,
lola: 340304 markings,
lola: 371001 markings,
lola: 401717 markings,
lola: 432440 markings,
lola: 463051 markings,
lola: 493593 markings,
lola: 523915 markings,
lola: 554712 markings,
lola: 585835 markings,
lola: 616783 markings,
lola: 647355 markings,
lola: 678019 markings,
lola: 708569 markings,
lola: 739355 markings,
lola: 770277 markings,
lola: 800919 markings,
lola: 831471 markings,
lola: 862000 markings,
lola: 892581 markings,
lola: 923600 markings,
lola: 953973 markings,
lola: 984680 markings,
lola: 1015071 markings,
lola: 1045942 markings,
lola: 1076665 markings,
lola: 1107297 markings,
lola: 1137664 markings,
lola: 1168250 markings,
lola: 1199116 markings,
lola: 1229564 markings,
lola: 1260019 markings,
lola: 1290751 markings,
lola: 1321278 markings,
lola: 1351697 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35367 markings,
lola: 70570 markings,
lola: 105801 markings,
lola: 140746 markings,
lola: 175416 markings,
lola: 209858 markings,
lola: 244225 markings,
lola: 278668 markings,
lola: 312915 markings,
lola: 346009 markings,
lola: 379951 markings,
lola: 413953 markings,
lola: 448079 markings,
lola: 481246 markings,
lola: 515789 markings,
lola: 549947 markings,
lola: 584155 markings,
lola: 618414 markings,
lola: 652599 markings,
lola: 686797 markings,
lola: 720919 markings,
lola: 754957 markings,
lola: 789016 markings,
lola: 823071 markings,
lola: 857018 markings,
lola: 890872 markings,
lola: 924734 markings,
lola: 958193 markings,
lola: 992042 markings,
lola: 1025834 markings,
lola: 1059699 markings,
lola: 1093474 markings,
lola: 1127204 markings,
lola: 1161037 markings,
lola: 1194786 markings,
lola: 1228514 markings,
lola: 1262187 markings,
lola: 1296050 markings,
lola: 1329725 markings,
lola: 1363457 markings,
lola: 1397295 markings,
lola: 1430878 markings,
lola: 1464444 markings,
lola: 1498106 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 30505 markings,
lola: 62245 markings,
lola: 93783 markings,
lola: 125188 markings,
lola: 156503 markings,
lola: 187632 markings,
lola: 218798 markings,
lola: 249846 markings,
lola: 280827 markings,
lola: 311740 markings,
lola: 342623 markings,
lola: 373554 markings,
lola: 404368 markings,
lola: 435103 markings,
lola: 465874 markings,
lola: 496556 markings,
lola: 526984 markings,
lola: 557186 markings,
lola: 587619 markings,
lola: 617932 markings,
lola: 648411 markings,
lola: 678557 markings,
lola: 707566 markings,
lola: 737463 markings,
lola: 767770 markings,
lola: 797513 markings,
lola: 826749 markings,
lola: 855833 markings,
lola: 884820 markings,
lola: 913837 markings,
lola: 942884 markings,
lola: 971788 markings,
lola: 1000679 markings,
lola: 1029734 markings,
lola: 1058673 markings,
lola: 1087717 markings,
lola: 1116699 markings,
lola: 1145536 markings,
lola: 1174473 markings,
lola: 1203088 markings,
lola: 1231562 markings,
lola: 1260437 markings,
lola: 1289294 markings,
lola: 1318214 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 7844
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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31776 markings,
lola: 62973 markings,
lola: 93997 markings,
lola: 124855 markings,
lola: 155644 markings,
lola: 186251 markings,
lola: 216873 markings,
lola: 247357 markings,
lola: 277844 markings,
lola: 308280 markings,
lola: 338632 markings,
lola: 368961 markings,
lola: 399272 markings,
lola: 429498 markings,
lola: 459695 markings,
lola: 489784 markings,
lola: 519897 markings,
lola: 550060 markings,
lola: 580047 markings,
lola: 610035 markings,
lola: 640056 markings,
lola: 669961 markings,
lola: 699900 markings,
lola: 729803 markings,
lola: 759701 markings,
lola: 789467 markings,
lola: 817642 markings,
lola: 847471 markings,
lola: 877173 markings,
lola: 906833 markings,
lola: 936319 markings,
lola: 965932 markings,
lola: 995448 markings,
lola: 1023754 markings,
lola: 1052659 markings,
lola: 1080402 markings,
lola: 1108983 markings,
lola: 1138072 markings,
lola: 1165840 markings,
lola: 1194845 markings,
lola: 1222657 markings,
lola: 1250313 markings,
lola: 1278825 markings,
lola: 1307172 markings,
lola: 1335705 markings,
lola: 1363765 markings,
lola: 1392576 markings,
lola: 1420039 markings,
lola: 1447966 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31068 markings,
lola: 61594 markings,
lola: 91926 markings,
lola: 122120 markings,
lola: 152203 markings,
lola: 183085 markings,
lola: 214213 markings,
lola: 245215 markings,
lola: 276188 markings,
lola: 307115 markings,
lola: 337984 markings,
lola: 368786 markings,
lola: 399550 markings,
lola: 430309 markings,
lola: 461002 markings,
lola: 491617 markings,
lola: 522267 markings,
lola: 552416 markings,
lola: 582944 markings,
lola: 613451 markings,
lola: 643750 markings,
lola: 674123 markings,
lola: 704435 markings,
lola: 734695 markings,
lola: 764948 markings,
lola: 795102 markings,
lola: 825255 markings,
lola: 855523 markings,
lola: 885691 markings,
lola: 915801 markings,
lola: 945791 markings,
lola: 975867 markings,
lola: 1005915 markings,
lola: 1036021 markings,
lola: 1066192 markings,
lola: 1096181 markings,
lola: 1125619 markings,
lola: 1155294 markings,
lola: 1185251 markings,
lola: 1214820 markings,
lola: 1244112 markings,
lola: 1274027 markings,
lola: 1303999 markings,
lola: 1334068 markings,
lola: 1364041 markings,
lola: 1393971 markings,
lola: 1424014 markings,
lola: 1453331 markings,
lola: 1482551 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 31966 markings,
lola: 63561 markings,
lola: 94896 markings,
lola: 126108 markings,
lola: 157215 markings,
lola: 188191 markings,
lola: 219153 markings,
lola: 250002 markings,
lola: 280748 markings,
lola: 311504 markings,
lola: 342186 markings,
lola: 372930 markings,
lola: 403560 markings,
lola: 431631 markings,
lola: 462199 markings,
lola: 492723 markings,
lola: 523172 markings,
lola: 553523 markings,
lola: 583826 markings,
lola: 614178 markings,
lola: 644424 markings,
lola: 674661 markings,
lola: 704906 markings,
lola: 735142 markings,
lola: 765293 markings,
lola: 795367 markings,
lola: 825535 markings,
lola: 855567 markings,
lola: 883544 markings,
lola: 913447 markings,
lola: 943598 markings,
lola: 973446 markings,
lola: 1003074 markings,
lola: 1033041 markings,
lola: 1062996 markings,
lola: 1093068 markings,
lola: 1123026 markings,
lola: 1152962 markings,
lola: 1182886 markings,
lola: 1211114 markings,
lola: 1240894 markings,
lola: 1270775 markings,
lola: 1300743 markings,
lola: 1329790 markings,
lola: 1359703 markings,
lola: 1389358 markings,
lola: 1419040 markings,
lola: 1448852 markings,
lola: 1478672 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29787 markings,
lola: 59094 markings,
lola: 88356 markings,
lola: 117738 markings,
lola: 146819 markings,
lola: 175787 markings,
lola: 204759 markings,
lola: 233549 markings,
lola: 262405 markings,
lola: 291314 markings,
lola: 320214 markings,
lola: 349151 markings,
lola: 378101 markings,
lola: 406953 markings,
lola: 435866 markings,
lola: 464675 markings,
lola: 493462 markings,
lola: 522059 markings,
lola: 550691 markings,
lola: 579451 markings,
lola: 608118 markings,
lola: 636748 markings,
lola: 665282 markings,
lola: 693896 markings,
lola: 722505 markings,
lola: 751021 markings,
lola: 779582 markings,
lola: 808115 markings,
lola: 836588 markings,
lola: 865052 markings,
lola: 893482 markings,
lola: 921860 markings,
lola: 950263 markings,
lola: 978642 markings,
lola: 1007016 markings,
lola: 1035317 markings,
lola: 1063601 markings,
lola: 1091875 markings,
lola: 1120236 markings,
lola: 1148523 markings,
lola: 1176833 markings,
lola: 1205203 markings,
lola: 1233479 markings,
lola: 1261725 markings,
lola: 1289923 markings,
lola: 1318069 markings,
lola: 1346265 markings,
lola: 1374383 markings,
lola: 1402765 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29706 markings,
lola: 58978 markings,
lola: 88127 markings,
lola: 116561 markings,
lola: 144440 markings,
lola: 172294 markings,
lola: 200102 markings,
lola: 227896 markings,
lola: 255647 markings,
lola: 283353 markings,
lola: 311055 markings,
lola: 338744 markings,
lola: 366427 markings,
lola: 394082 markings,
lola: 421673 markings,
lola: 449232 markings,
lola: 477412 markings,
lola: 506032 markings,
lola: 534197 markings,
lola: 561600 markings,
lola: 589043 markings,
lola: 616445 markings,
lola: 643878 markings,
lola: 671391 markings,
lola: 699979 markings,
lola: 728498 markings,
lola: 756990 markings,
lola: 785469 markings,
lola: 813870 markings,
lola: 842370 markings,
lola: 870826 markings,
lola: 899255 markings,
lola: 927679 markings,
lola: 956098 markings,
lola: 984493 markings,
lola: 1012983 markings,
lola: 1041347 markings,
lola: 1069731 markings,
lola: 1098137 markings,
lola: 1126419 markings,
lola: 1154813 markings,
lola: 1183236 markings,
lola: 1211637 markings,
lola: 1240104 markings,
lola: 1268448 markings,
lola: 1296911 markings,
lola: 1325237 markings,
lola: 1353591 markings,
lola: 1381939 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 32182 markings,
lola: 64082 markings,
lola: 95977 markings,
lola: 127861 markings,
lola: 159765 markings,
lola: 191294 markings,
lola: 223018 markings,
lola: 254577 markings,
lola: 286018 markings,
lola: 318265 markings,
lola: 350539 markings,
lola: 382722 markings,
lola: 414481 markings,
lola: 445937 markings,
lola: 477794 markings,
lola: 509681 markings,
lola: 541411 markings,
lola: 573309 markings,
lola: 605213 markings,
lola: 636746 markings,
lola: 668554 markings,
lola: 700261 markings,
lola: 731940 markings,
lola: 763504 markings,
lola: 795099 markings,
lola: 826693 markings,
lola: 858344 markings,
lola: 889914 markings,
lola: 921377 markings,
lola: 952937 markings,
lola: 984408 markings,
lola: 1015933 markings,
lola: 1047383 markings,
lola: 1078657 markings,
lola: 1110034 markings,
lola: 1141273 markings,
lola: 1172750 markings,
lola: 1204236 markings,
lola: 1234841 markings,
lola: 1265441 markings,
lola: 1296033 markings,
lola: 1326577 markings,
lola: 1357108 markings,
lola: 1387595 markings,
lola: 1418133 markings,
lola: 1448614 markings,
lola: 1479051 markings,
lola: 1509337 markings,
lola: 1539674 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 29394 markings,
lola: 58358 markings,
lola: 87204 markings,
lola: 115987 markings,
lola: 144735 markings,
lola: 173441 markings,
lola: 202069 markings,
lola: 230726 markings,
lola: 259356 markings,
lola: 287871 markings,
lola: 316412 markings,
lola: 344899 markings,
lola: 373375 markings,
lola: 401811 markings,
lola: 430277 markings,
lola: 458639 markings,
lola: 487079 markings,
lola: 515483 markings,
lola: 543773 markings,
lola: 572131 markings,
lola: 600514 markings,
lola: 628825 markings,
lola: 657164 markings,
lola: 685590 markings,
lola: 713912 markings,
lola: 742218 markings,
lola: 770463 markings,
lola: 798760 markings,
lola: 826992 markings,
lola: 855205 markings,
lola: 883604 markings,
lola: 911965 markings,
lola: 940319 markings,
lola: 968672 markings,
lola: 997037 markings,
lola: 1025454 markings,
lola: 1053806 markings,
lola: 1082055 markings,
lola: 1110387 markings,
lola: 1138520 markings,
lola: 1166789 markings,
lola: 1195153 markings,
lola: 1223441 markings,
lola: 1251748 markings,
lola: 1279807 markings,
lola: 1307041 markings,
lola: 1334247 markings,
lola: 1361455 markings,
lola: 1388604 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 7844
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 30285 markings,
lola: 60046 markings,
lola: 89608 markings,
lola: 119080 markings,
lola: 148434 markings,
lola: 177660 markings,
lola: 206877 markings,
lola: 236033 markings,
lola: 265148 markings,
lola: 294218 markings,
lola: 323185 markings,
lola: 352135 markings,
lola: 381092 markings,
lola: 409913 markings,
lola: 438823 markings,
lola: 467645 markings,
lola: 496402 markings,
lola: 525193 markings,
lola: 553948 markings,
lola: 582586 markings,
lola: 611262 markings,
lola: 639890 markings,
lola: 668444 markings,
lola: 697046 markings,
lola: 725520 markings,
lola: 754040 markings,
lola: 782428 markings,
lola: 810911 markings,
lola: 839402 markings,
lola: 867875 markings,
lola: 896344 markings,
lola: 924571 markings,
lola: 953797 markings,
lola: 983220 markings,
lola: 1012672 markings,
lola: 1042036 markings,
lola: 1071432 markings,
lola: 1100738 markings,
lola: 1130128 markings,
lola: 1159282 markings,
lola: 1188439 markings,
lola: 1217604 markings,
lola: 1246163 markings,
lola: 1275397 markings,
lola: 1304508 markings,
lola: 1333811 markings,
lola: 1363049 markings,
lola: 1392213 markings,
lola: 1421441 markings,
lola: time limit
lola:
preliminary result:
lola: caught signal
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 1496282784132

--------------------
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 r128-smll-149441681200083 ========================================= 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 ----- =============================================================== PT Petri net model.pnml into LoLA format =============================================================== =============================================================== PT formula UpperBounds into LoLA format =============================================================== stdout ----- @ 3539 seconds stdout ----- for 3539 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 78431 edges, 5730 markings/sec, 0 secs 158032 edges, 5619 markings/sec, 5 secs 237613 edges, 5623 markings/sec, 10 secs 315672 edges, 5631 markings/sec, 15 secs 395766 edges, 5587 markings/sec, 20 secs 475994 edges, 5601 markings/sec, 25 secs 558906 edges, 5565 markings/sec, 30 secs 646584 edges, 5738 markings/sec, 35 secs 732968 edges, 5747 markings/sec, 40 secs 818896 edges, 5722 markings/sec, 45 secs 905924 edges, 5731 markings/sec, 50 secs 991884 edges, 5733 markings/sec, 55 secs 1076172 edges, 5738 markings/sec, 60 secs 1163354 edges, 5726 markings/sec, 65 secs 1247860 edges, 5747 markings/sec, 70 secs 1335412 edges, 5710 markings/sec, 75 secs 1423414 edges, 5707 markings/sec, 80 secs 1509714 edges, 5700 markings/sec, 85 secs 1596643 edges, 5676 markings/sec, 90 secs 1683948 edges, 5685 markings/sec, 95 secs 1770876 edges, 5692 markings/sec, 100 secs 1858843 edges, 5676 markings/sec, 105 secs 1947218 edges, 5663 markings/sec, 110 secs 2034630 edges, 5671 markings/sec, 115 secs 2121933 edges, 5658 markings/sec, 120 secs 2209831 edges, 5661 markings/sec, 125 secs 2296130 edges, 5686 markings/sec, 130 secs 2383475 edges, 5663 markings/sec, 135 secs 2471345 edges, 5643 markings/sec, 140 secs 2560465 edges, 5652 markings/sec, 145 secs 2649871 edges, 5639 markings/sec, 150 secs 2737796 edges, 5641 markings/sec, 155 secs 2828093 edges, 5622 markings/sec, 160 secs 2917411 edges, 5638 markings/sec, 165 secs 3006510 edges, 5629 markings/sec, 170 secs 3095875 edges, 5615 markings/sec, 175 secs 3185785 edges, 5630 markings/sec, 180 secs 3277094 edges, 5597 markings/sec, 185 secs 3366374 edges, 5620 markings/sec, 190 secs 3457496 edges, 5604 markings/sec, 195 secs 3546832 edges, 5610 markings/sec, 200 secs 3635867 edges, 5646 markings/sec, 205 secs 3726599 edges, 5603 markings/sec, 210 secs 3817220 edges, 5610 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 105527 edges, 7100 markings/sec, 0 secs 211231 edges, 7065 markings/sec, 5 secs 313430 edges, 7061 markings/sec, 10 secs 421111 edges, 7006 markings/sec, 15 secs 531640 edges, 6961 markings/sec, 20 secs 641191 edges, 6934 markings/sec, 25 secs 750907 edges, 6930 markings/sec, 30 secs 858195 edges, 6914 markings/sec, 35 secs 969224 edges, 6887 markings/sec, 40 secs 1079835 edges, 6885 markings/sec, 45 secs 1191193 edges, 6857 markings/sec, 50 secs 1302655 edges, 6879 markings/sec, 55 secs 1413335 edges, 6866 markings/sec, 60 secs 1525870 edges, 6826 markings/sec, 65 secs 1635964 edges, 6883 markings/sec, 70 secs 1748078 edges, 6829 markings/sec, 75 secs 1860860 edges, 6811 markings/sec, 80 secs 1973613 edges, 6819 markings/sec, 85 secs 2086791 edges, 6806 markings/sec, 90 secs 2199931 edges, 6811 markings/sec, 95 secs 2314207 edges, 6793 markings/sec, 100 secs 2428730 edges, 6791 markings/sec, 105 secs 2541899 edges, 6752 markings/sec, 110 secs 2655312 edges, 6760 markings/sec, 115 secs 2767428 edges, 6575 markings/sec, 120 secs 2882320 edges, 6789 markings/sec, 125 secs 2994801 edges, 6862 markings/sec, 130 secs 3109824 edges, 6802 markings/sec, 135 secs 3225020 edges, 6814 markings/sec, 140 secs 3342353 edges, 6766 markings/sec, 145 secs 3459011 edges, 6791 markings/sec, 150 secs 3575750 edges, 6773 markings/sec, 155 secs 3694974 edges, 6758 markings/sec, 160 secs 3811608 edges, 6777 markings/sec, 165 secs 3929731 edges, 6766 markings/sec, 170 secs 4047988 edges, 6759 markings/sec, 175 secs 4166893 edges, 6745 markings/sec, 180 secs 4282652 edges, 6786 markings/sec, 185 secs 4401971 edges, 6741 markings/sec, 190 secs 4519967 edges, 6767 markings/sec, 195 secs 4637589 edges, 6770 markings/sec, 200 secs 4756847 edges, 6727 markings/sec, 205 secs 4876717 edges, 6724 markings/sec, 210 secs 4994278 edges, 6739 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 101443 edges, 6854 markings/sec, 0 secs 207858 edges, 7062 markings/sec, 5 secs 310029 edges, 7062 markings/sec, 10 secs 416976 edges, 7011 markings/sec, 15 secs 527656 edges, 6957 markings/sec, 20 secs 637758 edges, 6935 markings/sec, 25 secs 747204 edges, 6931 markings/sec, 30 secs 854219 edges, 6920 markings/sec, 35 secs 965373 edges, 6887 markings/sec, 40 secs 1075764 edges, 6880 markings/sec, 45 secs 1187102 edges, 6854 markings/sec, 50 secs 1298679 edges, 6877 markings/sec, 55 secs 1409448 edges, 6860 markings/sec, 60 secs 1522007 edges, 6833 markings/sec, 65 secs 1631807 edges, 6883 markings/sec, 70 secs 1744220 edges, 6820 markings/sec, 75 secs 1856639 edges, 6810 markings/sec, 80 secs 1969232 edges, 6816 markings/sec, 85 secs 2082664 edges, 6802 markings/sec, 90 secs 2195501 edges, 6806 markings/sec, 95 secs 2309423 edges, 6792 markings/sec, 100 secs 2424093 edges, 6775 markings/sec, 105 secs 2536796 edges, 6782 markings/sec, 110 secs 2651264 edges, 6784 markings/sec, 115 secs 2766560 edges, 6758 markings/sec, 120 secs 2880920 edges, 6756 markings/sec, 125 secs 2992360 edges, 6817 markings/sec, 130 secs 3106793 edges, 6755 markings/sec, 135 secs 3221259 edges, 6767 markings/sec, 140 secs 3337828 edges, 6725 markings/sec, 145 secs 3453757 edges, 6741 markings/sec, 150 secs 3570029 edges, 6724 markings/sec, 155 secs 3687888 edges, 6715 markings/sec, 160 secs 3803508 edges, 6734 markings/sec, 165 secs 3919924 edges, 6661 markings/sec, 170 secs 4036582 edges, 6635 markings/sec, 175 secs 4153057 edges, 6630 markings/sec, 180 secs 4266894 edges, 6670 markings/sec, 185 secs 4384665 edges, 6652 markings/sec, 190 secs 4500876 edges, 6658 markings/sec, 195 secs 4616405 edges, 6669 markings/sec, 200 secs 4733519 edges, 6629 markings/sec, 205 secs 4851493 edges, 6629 markings/sec, 210 secs 4968379 edges, 6631 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 64995 edges, 6355 markings/sec, 0 secs 138265 edges, 6241 markings/sec, 5 secs 213802 edges, 6208 markings/sec, 10 secs 292163 edges, 6175 markings/sec, 15 secs 371602 edges, 6153 markings/sec, 20 secs 453112 edges, 6137 markings/sec, 25 secs 535179 edges, 6130 markings/sec, 30 secs 619081 edges, 6108 markings/sec, 35 secs 702137 edges, 6114 markings/sec, 40 secs 786922 edges, 6088 markings/sec, 45 secs 872363 edges, 6118 markings/sec, 50 secs 959688 edges, 6119 markings/sec, 55 secs 1047435 edges, 6136 markings/sec, 60 secs 1135535 edges, 6143 markings/sec, 65 secs 1225031 edges, 6107 markings/sec, 70 secs 1314222 edges, 6080 markings/sec, 75 secs 1403806 edges, 6088 markings/sec, 80 secs 1493356 edges, 6069 markings/sec, 85 secs 1584651 edges, 6059 markings/sec, 90 secs 1677384 edges, 6164 markings/sec, 95 secs 1770704 edges, 6157 markings/sec, 100 secs 1864433 edges, 6161 markings/sec, 105 secs 1959064 edges, 6137 markings/sec, 110 secs 2053622 edges, 6140 markings/sec, 115 secs 2149155 edges, 6131 markings/sec, 120 secs 2247137 edges, 6106 markings/sec, 125 secs 2342326 edges, 6135 markings/sec, 130 secs 2437326 edges, 6124 markings/sec, 135 secs 2534466 edges, 6129 markings/sec, 140 secs 2633021 edges, 6049 markings/sec, 145 secs 2726666 edges, 5733 markings/sec, 150 secs 2822497 edges, 5946 markings/sec, 155 secs 2914579 edges, 5674 markings/sec, 160 secs 3004870 edges, 5613 markings/sec, 165 secs 3100464 edges, 5956 markings/sec, 170 secs 3195139 edges, 5949 markings/sec, 175 secs 3290378 edges, 5946 markings/sec, 180 secs 3390415 edges, 5902 markings/sec, 185 secs 3490532 edges, 5903 markings/sec, 190 secs 3590807 edges, 5902 markings/sec, 195 secs 3711371 edges, 5835 markings/sec, 200 secs 3825550 edges, 5859 markings/sec, 205 secs 3924648 edges, 5904 markings/sec, 210 secs 4022244 edges, 5930 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 83036 edges, 6192 markings/sec, 0 secs 166726 edges, 6212 markings/sec, 5 secs 251131 edges, 6271 markings/sec, 10 secs 335031 edges, 6247 markings/sec, 15 secs 418292 edges, 6184 markings/sec, 20 secs 501486 edges, 6171 markings/sec, 25 secs 582026 edges, 6148 markings/sec, 30 secs 665274 edges, 6175 markings/sec, 35 secs 749008 edges, 6112 markings/sec, 40 secs 835077 edges, 6184 markings/sec, 45 secs 925639 edges, 6164 markings/sec, 50 secs 1017279 edges, 6139 markings/sec, 55 secs 1102156 edges, 6143 markings/sec, 60 secs 1187123 edges, 6145 markings/sec, 65 secs 1271246 edges, 6122 markings/sec, 70 secs 1356469 edges, 6108 markings/sec, 75 secs 1445907 edges, 6064 markings/sec, 80 secs 1542359 edges, 6159 markings/sec, 85 secs 1633962 edges, 6225 markings/sec, 90 secs 1722513 edges, 6190 markings/sec, 95 secs 1816559 edges, 6114 markings/sec, 100 secs 1903983 edges, 6133 markings/sec, 105 secs 1993879 edges, 6110 markings/sec, 110 secs 2083436 edges, 6157 markings/sec, 115 secs 2177801 edges, 6184 markings/sec, 120 secs 2275546 edges, 6128 markings/sec, 125 secs 2364559 edges, 6110 markings/sec, 130 secs 2453972 edges, 6106 markings/sec, 135 secs 2545111 edges, 6116 markings/sec, 140 secs 2634546 edges, 6204 markings/sec, 145 secs 2723910 edges, 6075 markings/sec, 150 secs 2812024 edges, 6141 markings/sec, 155 secs 2904481 edges, 6078 markings/sec, 160 secs 2997128 edges, 6174 markings/sec, 165 secs 3093403 edges, 6145 markings/sec, 170 secs 3184655 edges, 6126 markings/sec, 175 secs 3276866 edges, 6073 markings/sec, 180 secs 3369185 edges, 6117 markings/sec, 185 secs 3462119 edges, 6173 markings/sec, 190 secs 3555563 edges, 6090 markings/sec, 195 secs 3647231 edges, 6091 markings/sec, 200 secs 3741951 edges, 6146 markings/sec, 205 secs 3835419 edges, 6105 markings/sec, 210 secs 3929365 edges, 6084 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 105052 edges, 7073 markings/sec, 0 secs 210587 edges, 7041 markings/sec, 5 secs 312441 edges, 7046 markings/sec, 10 secs 419680 edges, 6989 markings/sec, 15 secs 529967 edges, 6934 markings/sec, 20 secs 638965 edges, 6888 markings/sec, 25 secs 747730 edges, 6873 markings/sec, 30 secs 854236 edges, 6889 markings/sec, 35 secs 964797 edges, 6849 markings/sec, 40 secs 1071059 edges, 6619 markings/sec, 45 secs 1181436 edges, 6788 markings/sec, 50 secs 1291344 edges, 6800 markings/sec, 55 secs 1401816 edges, 6825 markings/sec, 60 secs 1510471 edges, 6633 markings/sec, 65 secs 1620755 edges, 6909 markings/sec, 70 secs 1733984 edges, 6832 markings/sec, 75 secs 1846743 edges, 6842 markings/sec, 80 secs 1959696 edges, 6852 markings/sec, 85 secs 2073541 edges, 6837 markings/sec, 90 secs 2187220 edges, 6840 markings/sec, 95 secs 2301606 edges, 6824 markings/sec, 100 secs 2416841 edges, 6808 markings/sec, 105 secs 2530079 edges, 6812 markings/sec, 110 secs 2644925 edges, 6811 markings/sec, 115 secs 2760791 edges, 6789 markings/sec, 120 secs 2875324 edges, 6771 markings/sec, 125 secs 2986228 edges, 6772 markings/sec, 130 secs 3099509 edges, 6692 markings/sec, 135 secs 3213907 edges, 6770 markings/sec, 140 secs 3331150 edges, 6758 markings/sec, 145 secs 3447008 edges, 6773 markings/sec, 150 secs 3564067 edges, 6755 markings/sec, 155 secs 3682241 edges, 6746 markings/sec, 160 secs 3798967 edges, 6767 markings/sec, 165 secs 3916556 edges, 6750 markings/sec, 170 secs 4035154 edges, 6746 markings/sec, 175 secs 4153479 edges, 6735 markings/sec, 180 secs 4269114 edges, 6773 markings/sec, 185 secs 4388330 edges, 6735 markings/sec, 190 secs 4506147 edges, 6746 markings/sec, 195 secs 4623313 edges, 6768 markings/sec, 200 secs 4742609 edges, 6717 markings/sec, 205 secs 4861932 edges, 6713 markings/sec, 210 secs 4979842 edges, 6732 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 61956 edges, 6101 markings/sec, 0 secs 136440 edges, 6348 markings/sec, 5 secs 213469 edges, 6308 markings/sec, 10 secs 292657 edges, 6281 markings/sec, 15 secs 373675 edges, 6263 markings/sec, 20 secs 456849 edges, 6226 markings/sec, 25 secs 541195 edges, 6233 markings/sec, 30 secs 625285 edges, 6210 markings/sec, 35 secs 710803 edges, 6196 markings/sec, 40 secs 797380 edges, 6183 markings/sec, 45 secs 884026 edges, 6177 markings/sec, 50 secs 970105 edges, 6186 markings/sec, 55 secs 1058306 edges, 6163 markings/sec, 60 secs 1146465 edges, 6147 markings/sec, 65 secs 1235155 edges, 6154 markings/sec, 70 secs 1325037 edges, 6136 markings/sec, 75 secs 1414927 edges, 6086 markings/sec, 80 secs 1504515 edges, 6040 markings/sec, 85 secs 1596048 edges, 6087 markings/sec, 90 secs 1687836 edges, 6063 markings/sec, 95 secs 1780833 edges, 6096 markings/sec, 100 secs 1873240 edges, 6029 markings/sec, 105 secs 1962520 edges, 5802 markings/sec, 110 secs 2053540 edges, 5979 markings/sec, 115 secs 2149055 edges, 6061 markings/sec, 120 secs 2244421 edges, 5949 markings/sec, 125 secs 2334556 edges, 5847 markings/sec, 130 secs 2427437 edges, 5817 markings/sec, 135 secs 2521952 edges, 5797 markings/sec, 140 secs 2615793 edges, 5803 markings/sec, 145 secs 2710923 edges, 5809 markings/sec, 150 secs 2806677 edges, 5781 markings/sec, 155 secs 2903338 edges, 5778 markings/sec, 160 secs 2996535 edges, 5811 markings/sec, 165 secs 3093273 edges, 5788 markings/sec, 170 secs 3186485 edges, 5809 markings/sec, 175 secs 3281470 edges, 5796 markings/sec, 180 secs 3379295 edges, 5767 markings/sec, 185 secs 3476062 edges, 5787 markings/sec, 190 secs 3585143 edges, 5723 markings/sec, 195 secs 3705346 edges, 5695 markings/sec, 200 secs 3801928 edges, 5775 markings/sec, 205 secs 3898979 edges, 5771 markings/sec, 210 secs 3996291 edges, 5784 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 0 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 65000 edges, 6355 markings/sec, 0 secs 138255 edges, 6239 markings/sec, 5 secs 213775 edges, 6205 markings/sec, 10 secs 292060 edges, 6172 markings/sec, 15 secs 371571 edges, 6158 markings/sec, 20 secs 452885 edges, 6121 markings/sec, 25 secs 534881 edges, 6124 markings/sec, 30 secs 618630 edges, 6097 markings/sec, 35 secs 701644 edges, 6097 markings/sec, 40 secs 786110 edges, 6087 markings/sec, 45 secs 870919 edges, 6070 markings/sec, 50 secs 957675 edges, 6066 markings/sec, 55 secs 1043911 edges, 6062 markings/sec, 60 secs 1130590 edges, 6045 markings/sec, 65 secs 1218880 edges, 6039 markings/sec, 70 secs 1307512 edges, 6018 markings/sec, 75 secs 1396177 edges, 6023 markings/sec, 80 secs 1484782 edges, 6033 markings/sec, 85 secs 1575089 edges, 5997 markings/sec, 90 secs 1665464 edges, 5998 markings/sec, 95 secs 1756281 edges, 6004 markings/sec, 100 secs 1847352 edges, 5981 markings/sec, 105 secs 1938876 edges, 5988 markings/sec, 110 secs 2031877 edges, 5981 markings/sec, 115 secs 2124182 edges, 5980 markings/sec, 120 secs 2219598 edges, 5953 markings/sec, 125 secs 2307077 edges, 5635 markings/sec, 130 secs 2399361 edges, 5966 markings/sec, 135 secs 2493730 edges, 5940 markings/sec, 140 secs 2587165 edges, 5932 markings/sec, 145 secs 2684388 edges, 5897 markings/sec, 150 secs 2779678 edges, 5923 markings/sec, 155 secs 2876871 edges, 5903 markings/sec, 160 secs 2967679 edges, 5661 markings/sec, 165 secs 3062285 edges, 5781 markings/sec, 170 secs 3149043 edges, 5549 markings/sec, 175 secs 3240823 edges, 5716 markings/sec, 180 secs 3337204 edges, 5818 markings/sec, 185 secs 3430917 edges, 5554 markings/sec, 190 secs 3531336 edges, 5801 markings/sec, 195 secs 3624564 edges, 5562 markings/sec, 200 secs 3755090 edges, 5531 markings/sec, 205 secs 3849443 edges, 5702 markings/sec, 210 secs 3946361 edges, 5669 markings/sec, 215 secs 4038960 edges, 5707 markings/sec, 220 secs 4132954 edges, 5612 markings/sec, 225 secs 4229590 edges, 5762 markings/sec, 230 secs 4321821 edges, 5493 markings/sec, 235 secs 4443154 edges, 5585 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 248 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 63333 edges, 6214 markings/sec, 0 secs 134826 edges, 6105 markings/sec, 5 secs 208720 edges, 6066 markings/sec, 10 secs 285033 edges, 6039 markings/sec, 15 secs 362907 edges, 6017 markings/sec, 20 secs 444526 edges, 6176 markings/sec, 25 secs 527926 edges, 6226 markings/sec, 30 secs 612777 edges, 6200 markings/sec, 35 secs 697312 edges, 6195 markings/sec, 40 secs 782769 edges, 6185 markings/sec, 45 secs 869233 edges, 6174 markings/sec, 50 secs 957221 edges, 6160 markings/sec, 55 secs 1044836 edges, 6153 markings/sec, 60 secs 1133048 edges, 6152 markings/sec, 65 secs 1222878 edges, 6139 markings/sec, 70 secs 1312820 edges, 6123 markings/sec, 75 secs 1403165 edges, 6130 markings/sec, 80 secs 1492170 edges, 6030 markings/sec, 85 secs 1583983 edges, 6106 markings/sec, 90 secs 1675619 edges, 6101 markings/sec, 95 secs 1767373 edges, 6060 markings/sec, 100 secs 1859985 edges, 6075 markings/sec, 105 secs 1953043 edges, 6062 markings/sec, 110 secs 2046657 edges, 6052 markings/sec, 115 secs 2140791 edges, 6051 markings/sec, 120 secs 2237349 edges, 6031 markings/sec, 125 secs 2330768 edges, 6031 markings/sec, 130 secs 2424592 edges, 6054 markings/sec, 135 secs 2520738 edges, 6034 markings/sec, 140 secs 2617656 edges, 6022 markings/sec, 145 secs 2715940 edges, 5998 markings/sec, 150 secs 2812963 edges, 6015 markings/sec, 155 secs 2911034 edges, 6010 markings/sec, 160 secs 3007584 edges, 6021 markings/sec, 165 secs 3103800 edges, 6034 markings/sec, 170 secs 3200345 edges, 5998 markings/sec, 175 secs 3294764 edges, 5888 markings/sec, 180 secs 3395449 edges, 5935 markings/sec, 185 secs 3496547 edges, 5991 markings/sec, 190 secs 3597107 edges, 5914 markings/sec, 195 secs 3726970 edges, 5858 markings/sec, 200 secs 3834403 edges, 5983 markings/sec, 205 secs 3935303 edges, 5994 markings/sec, 210 secs 4033744 edges, 6014 markings/sec, 215 secs 4133902 edges, 5995 markings/sec, 220 secs 4235059 edges, 5986 markings/sec, 225 secs 4335823 edges, 6009 markings/sec, 230 secs 4476433 edges, 5863 markings/sec, 235 secs 4619319 edges, 5844 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 65278 edges, 6393 markings/sec, 0 secs 139546 edges, 6319 markings/sec, 5 secs 216069 edges, 6267 markings/sec, 10 secs 295114 edges, 6242 markings/sec, 15 secs 375753 edges, 6221 markings/sec, 20 secs 458240 edges, 6195 markings/sec, 25 secs 542118 edges, 6192 markings/sec, 30 secs 625741 edges, 6170 markings/sec, 35 secs 710643 edges, 6149 markings/sec, 40 secs 796713 edges, 6151 markings/sec, 45 secs 882795 edges, 6136 markings/sec, 50 secs 968382 edges, 6149 markings/sec, 55 secs 1055193 edges, 6126 markings/sec, 60 secs 1136494 edges, 5614 markings/sec, 65 secs 1224819 edges, 6114 markings/sec, 70 secs 1313471 edges, 6105 markings/sec, 75 secs 1403145 edges, 6090 markings/sec, 80 secs 1493841 edges, 6070 markings/sec, 85 secs 1585200 edges, 6061 markings/sec, 90 secs 1675918 edges, 6070 markings/sec, 95 secs 1768791 edges, 6049 markings/sec, 100 secs 1861792 edges, 6047 markings/sec, 105 secs 1954410 edges, 6049 markings/sec, 110 secs 2046685 edges, 6047 markings/sec, 115 secs 2141202 edges, 6030 markings/sec, 120 secs 2237724 edges, 6015 markings/sec, 125 secs 2330811 edges, 6034 markings/sec, 130 secs 2426324 edges, 6006 markings/sec, 135 secs 2518137 edges, 5595 markings/sec, 140 secs 2614376 edges, 5981 markings/sec, 145 secs 2713120 edges, 6030 markings/sec, 150 secs 2811969 edges, 5970 markings/sec, 155 secs 2910719 edges, 5926 markings/sec, 160 secs 3007765 edges, 5993 markings/sec, 165 secs 3107432 edges, 5991 markings/sec, 170 secs 3204489 edges, 6014 markings/sec, 175 secs 3302724 edges, 5992 markings/sec, 180 secs 3405606 edges, 5987 markings/sec, 185 secs 3505397 edges, 5985 markings/sec, 190 secs 3635340 edges, 5646 markings/sec, 195 secs 3735689 edges, 5956 markings/sec, 200 secs 3836672 edges, 5976 markings/sec, 205 secs 3936502 edges, 5994 markings/sec, 210 secs 4036290 edges, 5809 markings/sec, 215 secs 4137803 edges, 5983 markings/sec, 220 secs 4240890 edges, 5931 markings/sec, 225 secs 4346516 edges, 5936 markings/sec, 230 secs 4448819 edges, 5962 markings/sec, 235 secs 4551186 edges, 5964 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 81690 edges, 5957 markings/sec, 0 secs 165071 edges, 5861 markings/sec, 5 secs 247738 edges, 5852 markings/sec, 10 secs 328984 edges, 5876 markings/sec, 15 secs 411951 edges, 5816 markings/sec, 20 secs 497079 edges, 5794 markings/sec, 25 secs 583667 edges, 5794 markings/sec, 30 secs 669730 edges, 5758 markings/sec, 35 secs 757523 edges, 5771 markings/sec, 40 secs 844177 edges, 5782 markings/sec, 45 secs 932683 edges, 5780 markings/sec, 50 secs 1018749 edges, 5787 markings/sec, 55 secs 1104256 edges, 5790 markings/sec, 60 secs 1190717 edges, 5770 markings/sec, 65 secs 1277208 edges, 5783 markings/sec, 70 secs 1365443 edges, 5762 markings/sec, 75 secs 1453708 edges, 5757 markings/sec, 80 secs 1541552 edges, 5719 markings/sec, 85 secs 1629038 edges, 5726 markings/sec, 90 secs 1716644 edges, 5752 markings/sec, 95 secs 1804779 edges, 5733 markings/sec, 100 secs 1893831 edges, 5726 markings/sec, 105 secs 1982880 edges, 5707 markings/sec, 110 secs 2071086 edges, 5723 markings/sec, 115 secs 2158866 edges, 5722 markings/sec, 120 secs 2247088 edges, 5703 markings/sec, 125 secs 2335144 edges, 5712 markings/sec, 130 secs 2422324 edges, 5707 markings/sec, 135 secs 2512026 edges, 5695 markings/sec, 140 secs 2602044 edges, 5693 markings/sec, 145 secs 2691406 edges, 5686 markings/sec, 150 secs 2781639 edges, 5676 markings/sec, 155 secs 2871693 edges, 5681 markings/sec, 160 secs 2961934 edges, 5676 markings/sec, 165 secs 3051648 edges, 5675 markings/sec, 170 secs 3141875 edges, 5660 markings/sec, 175 secs 3233829 edges, 5657 markings/sec, 180 secs 3325345 edges, 5655 markings/sec, 185 secs 3415579 edges, 5672 markings/sec, 190 secs 3506378 edges, 5657 markings/sec, 195 secs 3596879 edges, 5662 markings/sec, 200 secs 3686701 edges, 5674 markings/sec, 205 secs 3778371 edges, 5655 markings/sec, 210 secs 3870217 edges, 5649 markings/sec, 215 secs 3961905 edges, 5640 markings/sec, 220 secs 4054286 edges, 5629 markings/sec, 225 secs 4145707 edges, 5639 markings/sec, 230 secs 4236665 edges, 5624 markings/sec, 235 secs 4325005 edges, 5676 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 42091 edges, 5941 markings/sec, 0 secs 87437 edges, 5854 markings/sec, 5 secs 134213 edges, 5830 markings/sec, 10 secs 180159 edges, 5687 markings/sec, 15 secs 225998 edges, 5576 markings/sec, 20 secs 272196 edges, 5571 markings/sec, 25 secs 319328 edges, 5562 markings/sec, 30 secs 366738 edges, 5559 markings/sec, 35 secs 414731 edges, 5550 markings/sec, 40 secs 463248 edges, 5541 markings/sec, 45 secs 511645 edges, 5540 markings/sec, 50 secs 559900 edges, 5538 markings/sec, 55 secs 609974 edges, 5537 markings/sec, 60 secs 658994 edges, 5531 markings/sec, 65 secs 708086 edges, 5518 markings/sec, 70 secs 758310 edges, 5512 markings/sec, 75 secs 809532 edges, 5636 markings/sec, 80 secs 861948 edges, 5724 markings/sec, 85 secs 915107 edges, 5633 markings/sec, 90 secs 966416 edges, 5481 markings/sec, 95 secs 1017900 edges, 5489 markings/sec, 100 secs 1068362 edges, 5480 markings/sec, 105 secs 1119195 edges, 5487 markings/sec, 110 secs 1169769 edges, 5503 markings/sec, 115 secs 1223715 edges, 5718 markings/sec, 120 secs 1278543 edges, 5704 markings/sec, 125 secs 1332514 edges, 5698 markings/sec, 130 secs 1387367 edges, 5696 markings/sec, 135 secs 1442888 edges, 5680 markings/sec, 140 secs 1497312 edges, 5700 markings/sec, 145 secs 1553700 edges, 5691 markings/sec, 150 secs 1610680 edges, 5686 markings/sec, 155 secs 1667050 edges, 5685 markings/sec, 160 secs 1722653 edges, 5684 markings/sec, 165 secs 1779995 edges, 5679 markings/sec, 170 secs 1835238 edges, 5698 markings/sec, 175 secs 1892406 edges, 5673 markings/sec, 180 secs 1949057 edges, 5677 markings/sec, 185 secs 2004457 edges, 5681 markings/sec, 190 secs 2062363 edges, 5656 markings/sec, 195 secs 2120294 edges, 5679 markings/sec, 200 secs 2178793 edges, 5685 markings/sec, 205 secs 2237511 edges, 5680 markings/sec, 210 secs 2294833 edges, 5693 markings/sec, 215 secs 2354504 edges, 5669 markings/sec, 220 secs 2411732 edges, 5693 markings/sec, 225 secs 2470173 edges, 5665 markings/sec, 230 secs 2528181 edges, 5671 markings/sec, 235 secs 2588846 edges, 5670 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 85327 edges, 6436 markings/sec, 0 secs 177710 edges, 6380 markings/sec, 5 secs 267830 edges, 6379 markings/sec, 10 secs 358718 edges, 6377 markings/sec, 15 secs 449231 edges, 6381 markings/sec, 20 secs 539624 edges, 6306 markings/sec, 25 secs 628123 edges, 6345 markings/sec, 30 secs 717144 edges, 6312 markings/sec, 35 secs 808374 edges, 6288 markings/sec, 40 secs 898573 edges, 6449 markings/sec, 45 secs 990268 edges, 6455 markings/sec, 50 secs 1085032 edges, 6437 markings/sec, 55 secs 1180721 edges, 6352 markings/sec, 60 secs 1275405 edges, 6291 markings/sec, 65 secs 1373899 edges, 6371 markings/sec, 70 secs 1471967 edges, 6377 markings/sec, 75 secs 1569604 edges, 6346 markings/sec, 80 secs 1666951 edges, 6380 markings/sec, 85 secs 1764612 edges, 6381 markings/sec, 90 secs 1865167 edges, 6307 markings/sec, 95 secs 1959796 edges, 6362 markings/sec, 100 secs 2056898 edges, 6341 markings/sec, 105 secs 2151841 edges, 6336 markings/sec, 110 secs 2250603 edges, 6313 markings/sec, 115 secs 2346267 edges, 6319 markings/sec, 120 secs 2443885 edges, 6319 markings/sec, 125 secs 2540917 edges, 6330 markings/sec, 130 secs 2639550 edges, 6314 markings/sec, 135 secs 2739302 edges, 6293 markings/sec, 140 secs 2838276 edges, 6312 markings/sec, 145 secs 2937807 edges, 6294 markings/sec, 150 secs 3036404 edges, 6305 markings/sec, 155 secs 3135728 edges, 6290 markings/sec, 160 secs 3236182 edges, 6255 markings/sec, 165 secs 3335283 edges, 6275 markings/sec, 170 secs 3433362 edges, 6248 markings/sec, 175 secs 3529440 edges, 6295 markings/sec, 180 secs 3628133 edges, 6297 markings/sec, 185 secs 3724897 edges, 6121 markings/sec, 190 secs 3822772 edges, 6120 markings/sec, 195 secs 3923301 edges, 6118 markings/sec, 200 secs 4021272 edges, 6109 markings/sec, 205 secs 4119643 edges, 6106 markings/sec, 210 secs 4220239 edges, 6097 markings/sec, 215 secs 4317575 edges, 6108 markings/sec, 220 secs 4414780 edges, 6096 markings/sec, 225 secs 4513137 edges, 6087 markings/sec, 230 secs 4613080 edges, 6057 markings/sec, 235 secs 4712435 edges, 6067 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 41690 edges, 5879 markings/sec, 0 secs 86605 edges, 5793 markings/sec, 5 secs 132812 edges, 5769 markings/sec, 10 secs 179178 edges, 5757 markings/sec, 15 secs 226407 edges, 5750 markings/sec, 20 secs 273977 edges, 5741 markings/sec, 25 secs 322793 edges, 5726 markings/sec, 30 secs 371365 edges, 5731 markings/sec, 35 secs 420637 edges, 5726 markings/sec, 40 secs 471466 edges, 5703 markings/sec, 45 secs 520576 edges, 5708 markings/sec, 50 secs 570885 edges, 5697 markings/sec, 55 secs 621897 edges, 5695 markings/sec, 60 secs 673415 edges, 5687 markings/sec, 65 secs 723567 edges, 5693 markings/sec, 70 secs 776081 edges, 5672 markings/sec, 75 secs 827711 edges, 5688 markings/sec, 80 secs 879858 edges, 5681 markings/sec, 85 secs 933004 edges, 5658 markings/sec, 90 secs 985870 edges, 5672 markings/sec, 95 secs 1038933 edges, 5677 markings/sec, 100 secs 1091732 edges, 5662 markings/sec, 105 secs 1143687 edges, 5668 markings/sec, 110 secs 1196230 edges, 5685 markings/sec, 115 secs 1250750 edges, 5664 markings/sec, 120 secs 1303794 edges, 5661 markings/sec, 125 secs 1358544 edges, 5649 markings/sec, 130 secs 1413283 edges, 5659 markings/sec, 135 secs 1467543 edges, 5646 markings/sec, 140 secs 1521749 edges, 5643 markings/sec, 145 secs 1578999 edges, 5680 markings/sec, 150 secs 1635533 edges, 5672 markings/sec, 155 secs 1691566 edges, 5671 markings/sec, 160 secs 1747860 edges, 5671 markings/sec, 165 secs 1803573 edges, 5673 markings/sec, 170 secs 1859791 edges, 5683 markings/sec, 175 secs 1917016 edges, 5670 markings/sec, 180 secs 1973446 edges, 5650 markings/sec, 185 secs 2030143 edges, 5666 markings/sec, 190 secs 2087039 edges, 5627 markings/sec, 195 secs 2145630 edges, 5654 markings/sec, 200 secs 2202571 edges, 5673 markings/sec, 205 secs 2261812 edges, 5658 markings/sec, 210 secs 2318919 edges, 5661 markings/sec, 215 secs 2377131 edges, 5612 markings/sec, 220 secs 2432468 edges, 5447 markings/sec, 225 secs 2488754 edges, 5441 markings/sec, 230 secs 2545228 edges, 5442 markings/sec, 235 secs 2602686 edges, 5430 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 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 61505 edges, 6057 markings/sec, 0 secs 131270 edges, 5952 markings/sec, 5 secs 203170 edges, 5912 markings/sec, 10 secs 277271 edges, 5894 markings/sec, 15 secs 352911 edges, 5871 markings/sec, 20 secs 430121 edges, 5845 markings/sec, 25 secs 508029 edges, 5843 markings/sec, 30 secs 587492 edges, 5831 markings/sec, 35 secs 667246 edges, 5823 markings/sec, 40 secs 746809 edges, 5814 markings/sec, 45 secs 827902 edges, 5793 markings/sec, 50 secs 910206 edges, 5790 markings/sec, 55 secs 991876 edges, 5791 markings/sec, 60 secs 1075425 edges, 5764 markings/sec, 65 secs 1157929 edges, 5782 markings/sec, 70 secs 1242647 edges, 5764 markings/sec, 75 secs 1327263 edges, 5751 markings/sec, 80 secs 1411645 edges, 5758 markings/sec, 85 secs 1496502 edges, 5751 markings/sec, 90 secs 1582872 edges, 5728 markings/sec, 95 secs 1668767 edges, 5735 markings/sec, 100 secs 1755735 edges, 5726 markings/sec, 105 secs 1843454 edges, 5711 markings/sec, 110 secs 1930204 edges, 5720 markings/sec, 115 secs 2018568 edges, 5695 markings/sec, 120 secs 2106208 edges, 5704 markings/sec, 125 secs 2197677 edges, 5678 markings/sec, 130 secs 2286804 edges, 5697 markings/sec, 135 secs 2374752 edges, 5698 markings/sec, 140 secs 2463857 edges, 5695 markings/sec, 145 secs 2553775 edges, 5694 markings/sec, 150 secs 2647198 edges, 5645 markings/sec, 155 secs 2742232 edges, 5845 markings/sec, 160 secs 2836647 edges, 5885 markings/sec, 165 secs 2931038 edges, 5890 markings/sec, 170 secs 3026255 edges, 5873 markings/sec, 175 secs 3121201 edges, 5879 markings/sec, 180 secs 3215743 edges, 5861 markings/sec, 185 secs 3309670 edges, 5878 markings/sec, 190 secs 3408425 edges, 5831 markings/sec, 195 secs 3508125 edges, 5831 markings/sec, 200 secs 3606948 edges, 5833 markings/sec, 205 secs 3740659 edges, 5712 markings/sec, 210 secs 3838831 edges, 5847 markings/sec, 215 secs 3937256 edges, 5822 markings/sec, 220 secs 4032750 edges, 5861 markings/sec, 225 secs 4129845 edges, 5848 markings/sec, 230 secs 4228635 edges, 5833 markings/sec, 235 secs 4326756 edges, 5846 markings/sec, 240 secs reached - aborting unknown unknown unknown unknown unknown unknown unknown 8 unknown unknown unknown unknown unknown unknown unknown User defined signal 1 - aborting LoLA 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="S_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/S_Peterson-PT-7.tgz
mv S_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 S_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 r128-smll-149441681200083"
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 ;