About the Execution of LoLA for PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11325.330 | 3540053.00 | 3548513.00 | 295.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? 40 ? ? | 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 ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PermAdmissibility-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440485000434
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494659809689
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PermAdmissibility-PT-20 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 760/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 168 places, 592 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 820 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-20-UpperBounds.task
lola: MAX(c13) : MAX(aux16_6 + aux16_4 + aux16_2 + aux16_0 + aux16_1 + aux16_3 + aux16_5 + aux16_7) : MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7) : MAX(c14) : MAX(c110) : MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7) : MAX(c17) : MAX(in2_2 + in2_3) : MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7) : MAX(c13) : MAX(out1_0 + out1_1 + out1_2 + out1_3 + out1_4 + out1_5 + out1_6 + out1_7) : MAX(c19) : MAX(c16) : MAX(c14) : MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7) : MAX(aux7_2 + aux7_3 + aux7_6 + aux7_7)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 858314 markings, 3795337 edges, 171663 markings/sec, 0 secs
lola: 1587983 markings, 7520482 edges, 145934 markings/sec, 5 secs
lola: 2338087 markings, 11194616 edges, 150021 markings/sec, 10 secs
lola: 3071790 markings, 14715739 edges, 146741 markings/sec, 15 secs
lola: 3723952 markings, 17807849 edges, 130432 markings/sec, 20 secs
lola: 4353334 markings, 20778740 edges, 125876 markings/sec, 25 secs
lola: 4926029 markings, 23662872 edges, 114539 markings/sec, 30 secs
lola: 5564309 markings, 26769497 edges, 127656 markings/sec, 35 secs
lola: 6207452 markings, 30064153 edges, 128629 markings/sec, 40 secs
lola: 6739953 markings, 32900975 edges, 106500 markings/sec, 45 secs
lola: 7259628 markings, 35842938 edges, 103935 markings/sec, 50 secs
lola: 7807179 markings, 38986226 edges, 109510 markings/sec, 55 secs
lola: 8352602 markings, 42244515 edges, 109085 markings/sec, 60 secs
lola: 8869424 markings, 45293690 edges, 103364 markings/sec, 65 secs
lola: 9389086 markings, 48429674 edges, 103932 markings/sec, 70 secs
lola: 9829558 markings, 51203269 edges, 88094 markings/sec, 75 secs
lola: 10301517 markings, 54172248 edges, 94392 markings/sec, 80 secs
lola: 10746260 markings, 57210135 edges, 88949 markings/sec, 85 secs
lola: 11193464 markings, 60694749 edges, 89441 markings/sec, 90 secs
lola: 11729944 markings, 64019593 edges, 107296 markings/sec, 95 secs
lola: 12382486 markings, 67356720 edges, 130508 markings/sec, 100 secs
lola: 13021928 markings, 70569866 edges, 127888 markings/sec, 105 secs
lola: 13551813 markings, 73394802 edges, 105977 markings/sec, 110 secs
lola: 14027506 markings, 76381426 edges, 95139 markings/sec, 115 secs
lola: 14488135 markings, 79364840 edges, 92126 markings/sec, 120 secs
lola: 15000975 markings, 82778743 edges, 102568 markings/sec, 125 secs
lola: 15651117 markings, 86128730 edges, 130028 markings/sec, 130 secs
lola: 16306210 markings, 89380148 edges, 131019 markings/sec, 135 secs
lola: 17004550 markings, 92883817 edges, 139668 markings/sec, 140 secs
lola: 17656772 markings, 96248757 edges, 130444 markings/sec, 145 secs
lola: 18226904 markings, 99236479 edges, 114026 markings/sec, 150 secs
lola: 18769099 markings, 102235053 edges, 108439 markings/sec, 155 secs
lola: 19372744 markings, 105758443 edges, 120729 markings/sec, 160 secs
lola: 19927521 markings, 109304157 edges, 110955 markings/sec, 165 secs
lola: 20492128 markings, 112777201 edges, 112921 markings/sec, 170 secs
lola: 21030636 markings, 116133773 edges, 107702 markings/sec, 175 secs
lola: 21531332 markings, 119480162 edges, 100139 markings/sec, 180 secs
lola: 21992109 markings, 122960435 edges, 92155 markings/sec, 185 secs
lola: 22580202 markings, 126818643 edges, 117619 markings/sec, 190 secs
lola: 23224128 markings, 130202077 edges, 128785 markings/sec, 195 secs
lola: 23816117 markings, 133728947 edges, 118398 markings/sec, 200 secs
lola: 24328718 markings, 137247362 edges, 102520 markings/sec, 205 secs
lola: 24907027 markings, 140963555 edges, 115662 markings/sec, 210 secs
lola: 25487764 markings, 144671009 edges, 116147 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux16_6 + aux16_4 + aux16_2 + aux16_0 + aux16_1 + aux16_3 + aux16_5 + aux16_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 487615 markings, 1408112 edges, 97523 markings/sec, 0 secs
lola: 922432 markings, 3222785 edges, 86963 markings/sec, 5 secs
lola: 1285751 markings, 5199182 edges, 72664 markings/sec, 10 secs
lola: 1710282 markings, 7129911 edges, 84906 markings/sec, 15 secs
lola: 2104038 markings, 9086691 edges, 78751 markings/sec, 20 secs
lola: 2544940 markings, 10718659 edges, 88180 markings/sec, 25 secs
lola: 2938904 markings, 12552529 edges, 78793 markings/sec, 30 secs
lola: 3322166 markings, 14484210 edges, 76652 markings/sec, 35 secs
lola: 3696798 markings, 16410579 edges, 74926 markings/sec, 40 secs
lola: 4145655 markings, 17894596 edges, 89771 markings/sec, 45 secs
lola: 4506932 markings, 19856017 edges, 72255 markings/sec, 50 secs
lola: 4877557 markings, 21807932 edges, 74125 markings/sec, 55 secs
lola: 5261879 markings, 23559902 edges, 76864 markings/sec, 60 secs
lola: 5629542 markings, 25362929 edges, 73533 markings/sec, 65 secs
lola: 5966521 markings, 27323324 edges, 67396 markings/sec, 70 secs
lola: 6302730 markings, 29304589 edges, 67242 markings/sec, 75 secs
lola: 6620402 markings, 31414543 edges, 63534 markings/sec, 80 secs
lola: 6956713 markings, 33481862 edges, 67262 markings/sec, 85 secs
lola: 7311546 markings, 35303039 edges, 70967 markings/sec, 90 secs
lola: 7638409 markings, 37387155 edges, 65373 markings/sec, 95 secs
lola: 7981266 markings, 39265601 edges, 68571 markings/sec, 100 secs
lola: 8305668 markings, 41377112 edges, 64880 markings/sec, 105 secs
lola: 8634382 markings, 43287109 edges, 65743 markings/sec, 110 secs
lola: 9025464 markings, 45051530 edges, 78216 markings/sec, 115 secs
lola: 9384821 markings, 46808856 edges, 71871 markings/sec, 120 secs
lola: 9720389 markings, 48652304 edges, 67114 markings/sec, 125 secs
lola: 10060855 markings, 50324872 edges, 68093 markings/sec, 130 secs
lola: 10373744 markings, 52107164 edges, 62578 markings/sec, 135 secs
lola: 10693585 markings, 53856564 edges, 63968 markings/sec, 140 secs
lola: 10987231 markings, 55687720 edges, 58729 markings/sec, 145 secs
lola: 11331170 markings, 57454791 edges, 68788 markings/sec, 150 secs
lola: 11666371 markings, 59268193 edges, 67040 markings/sec, 155 secs
lola: 11984186 markings, 61057183 edges, 63563 markings/sec, 160 secs
lola: 12284280 markings, 62826698 edges, 60019 markings/sec, 165 secs
lola: 12580809 markings, 64642592 edges, 59306 markings/sec, 170 secs
lola: 12900508 markings, 66452009 edges, 63940 markings/sec, 175 secs
lola: 13217126 markings, 68229150 edges, 63324 markings/sec, 180 secs
lola: 13587127 markings, 70041775 edges, 74000 markings/sec, 185 secs
lola: 13922230 markings, 71774091 edges, 67021 markings/sec, 190 secs
lola: 14289843 markings, 73509995 edges, 73523 markings/sec, 195 secs
lola: 14619722 markings, 75224083 edges, 65976 markings/sec, 200 secs
lola: 14971702 markings, 76864277 edges, 70396 markings/sec, 205 secs
lola: 15345222 markings, 78455836 edges, 74704 markings/sec, 210 secs
lola: 15714216 markings, 80248007 edges, 73799 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1465841 markings, 4940813 edges, 293168 markings/sec, 0 secs
lola: 2675789 markings, 9713995 edges, 241990 markings/sec, 5 secs
lola: 3838300 markings, 14299465 edges, 232502 markings/sec, 10 secs
lola: 4721322 markings, 18711452 edges, 176604 markings/sec, 15 secs
lola: 5602760 markings, 23041269 edges, 176288 markings/sec, 20 secs
lola: 6365167 markings, 27322974 edges, 152481 markings/sec, 25 secs
lola: 6848971 markings, 31802256 edges, 96761 markings/sec, 30 secs
lola: 8416409 markings, 36790869 edges, 313488 markings/sec, 35 secs
lola: 9175237 markings, 40850759 edges, 151766 markings/sec, 40 secs
lola: 10393443 markings, 45007804 edges, 243641 markings/sec, 45 secs
lola: 11346358 markings, 49065015 edges, 190583 markings/sec, 50 secs
lola: 12184187 markings, 53094668 edges, 167566 markings/sec, 55 secs
lola: 13274904 markings, 57532363 edges, 218143 markings/sec, 60 secs
lola: 14286017 markings, 61966253 edges, 202223 markings/sec, 65 secs
lola: 15153495 markings, 66314430 edges, 173496 markings/sec, 70 secs
lola: 15886920 markings, 70536930 edges, 146685 markings/sec, 75 secs
lola: 16533837 markings, 74701570 edges, 129383 markings/sec, 80 secs
lola: 17170040 markings, 79149069 edges, 127241 markings/sec, 85 secs
lola: 18400878 markings, 84077118 edges, 246168 markings/sec, 90 secs
lola: 19141426 markings, 87893560 edges, 148110 markings/sec, 95 secs
lola: 20129965 markings, 92002396 edges, 197708 markings/sec, 100 secs
lola: 20929266 markings, 95994757 edges, 159860 markings/sec, 105 secs
lola: 21694612 markings, 99999706 edges, 153069 markings/sec, 110 secs
lola: 22436617 markings, 104182948 edges, 148401 markings/sec, 115 secs
lola: 22925995 markings, 108314988 edges, 97876 markings/sec, 120 secs
lola: 23790935 markings, 112938504 edges, 172988 markings/sec, 125 secs
lola: 24348296 markings, 116858570 edges, 111472 markings/sec, 130 secs
lola: 25010143 markings, 120804363 edges, 132369 markings/sec, 135 secs
lola: 26091342 markings, 124944049 edges, 216240 markings/sec, 140 secs
lola: 27109337 markings, 129263189 edges, 203599 markings/sec, 145 secs
lola: 28136104 markings, 133377953 edges, 205353 markings/sec, 150 secs
lola: 28811500 markings, 137440855 edges, 135079 markings/sec, 155 secs
lola: 29584376 markings, 141348470 edges, 154575 markings/sec, 160 secs
lola: 30364744 markings, 145254035 edges, 156074 markings/sec, 165 secs
lola: 30985922 markings, 149170635 edges, 124236 markings/sec, 170 secs
lola: 31460838 markings, 152911451 edges, 94983 markings/sec, 175 secs
lola: 31867188 markings, 156940342 edges, 81270 markings/sec, 180 secs
lola: 33177095 markings, 161442338 edges, 261981 markings/sec, 185 secs
lola: 34156944 markings, 165847923 edges, 195970 markings/sec, 190 secs
lola: 35072181 markings, 169587994 edges, 183047 markings/sec, 195 secs
lola: 35930522 markings, 173323411 edges, 171668 markings/sec, 200 secs
lola: 36671710 markings, 176964353 edges, 148238 markings/sec, 205 secs
lola: 37279611 markings, 180467729 edges, 121580 markings/sec, 210 secs
lola: 37732169 markings, 183902303 edges, 90512 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1039695 markings, 2289321 edges, 207939 markings/sec, 0 secs
lola: 1978545 markings, 4731729 edges, 187770 markings/sec, 5 secs
lola: 2666595 markings, 7831370 edges, 137610 markings/sec, 10 secs
lola: 3561465 markings, 10476568 edges, 178974 markings/sec, 15 secs
lola: 4423468 markings, 13112418 edges, 172401 markings/sec, 20 secs
lola: 5170689 markings, 15883615 edges, 149444 markings/sec, 25 secs
lola: 5735752 markings, 18908050 edges, 113013 markings/sec, 30 secs
lola: 6336709 markings, 21997066 edges, 120191 markings/sec, 35 secs
lola: 6909493 markings, 25135263 edges, 114557 markings/sec, 40 secs
lola: 7464242 markings, 28254560 edges, 110950 markings/sec, 45 secs
lola: 8025658 markings, 30965562 edges, 112283 markings/sec, 50 secs
lola: 8563080 markings, 33666098 edges, 107484 markings/sec, 55 secs
lola: 9067938 markings, 36409355 edges, 100972 markings/sec, 60 secs
lola: 9529848 markings, 39125177 edges, 92382 markings/sec, 65 secs
lola: 10006624 markings, 41924580 edges, 95355 markings/sec, 70 secs
lola: 10463400 markings, 44858039 edges, 91355 markings/sec, 75 secs
lola: 10913703 markings, 47776725 edges, 90061 markings/sec, 80 secs
lola: 11383888 markings, 50728289 edges, 94037 markings/sec, 85 secs
lola: 11837522 markings, 53698239 edges, 90727 markings/sec, 90 secs
lola: 12346213 markings, 56577310 edges, 101738 markings/sec, 95 secs
lola: 13079041 markings, 58803304 edges, 146566 markings/sec, 100 secs
lola: 13777832 markings, 61211730 edges, 139758 markings/sec, 105 secs
lola: 14530959 markings, 63518266 edges, 150625 markings/sec, 110 secs
lola: 15279708 markings, 65759584 edges, 149750 markings/sec, 115 secs
lola: 16009481 markings, 68119173 edges, 145955 markings/sec, 120 secs
lola: 16770291 markings, 70406597 edges, 152162 markings/sec, 125 secs
lola: 17478441 markings, 72620276 edges, 141630 markings/sec, 130 secs
lola: 18193513 markings, 75049538 edges, 143014 markings/sec, 135 secs
lola: 19061854 markings, 77322304 edges, 173668 markings/sec, 140 secs
lola: 20021021 markings, 79687473 edges, 191833 markings/sec, 145 secs
lola: 20817211 markings, 82367496 edges, 159238 markings/sec, 150 secs
lola: 21580821 markings, 85152966 edges, 152722 markings/sec, 155 secs
lola: 22420198 markings, 87741076 edges, 167875 markings/sec, 160 secs
lola: 23263276 markings, 90290782 edges, 168616 markings/sec, 165 secs
lola: 23902381 markings, 93141209 edges, 127821 markings/sec, 170 secs
lola: 24464030 markings, 96068583 edges, 112330 markings/sec, 175 secs
lola: 25095444 markings, 99017824 edges, 126283 markings/sec, 180 secs
lola: 25619585 markings, 102101779 edges, 104828 markings/sec, 185 secs
lola: 26152241 markings, 105127588 edges, 106531 markings/sec, 190 secs
lola: 26579914 markings, 108357666 edges, 85535 markings/sec, 195 secs
lola: 26928106 markings, 111627720 edges, 69638 markings/sec, 200 secs
lola: 27322024 markings, 114578031 edges, 78784 markings/sec, 205 secs
lola: 27846165 markings, 116894098 edges, 104828 markings/sec, 210 secs
lola: 28345677 markings, 119353914 edges, 99902 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1413192 markings, 4670180 edges, 282638 markings/sec, 0 secs
lola: 2569625 markings, 9390339 edges, 231287 markings/sec, 5 secs
lola: 3746535 markings, 13949627 edges, 235382 markings/sec, 10 secs
lola: 4687405 markings, 18450531 edges, 188174 markings/sec, 15 secs
lola: 5561669 markings, 22771348 edges, 174853 markings/sec, 20 secs
lola: 6320288 markings, 27084968 edges, 151724 markings/sec, 25 secs
lola: 6824068 markings, 31536280 edges, 100756 markings/sec, 30 secs
lola: 8284610 markings, 36447424 edges, 292108 markings/sec, 35 secs
lola: 9113800 markings, 40537686 edges, 165838 markings/sec, 40 secs
lola: 10280747 markings, 44645648 edges, 233389 markings/sec, 45 secs
lola: 11263704 markings, 48694685 edges, 196591 markings/sec, 50 secs
lola: 12084615 markings, 52621927 edges, 164182 markings/sec, 55 secs
lola: 13204203 markings, 57111134 edges, 223918 markings/sec, 60 secs
lola: 14190406 markings, 61541373 edges, 197241 markings/sec, 65 secs
lola: 15091982 markings, 65873735 edges, 180315 markings/sec, 70 secs
lola: 15806050 markings, 70135886 edges, 142814 markings/sec, 75 secs
lola: 16471980 markings, 74319253 edges, 133186 markings/sec, 80 secs
lola: 17019514 markings, 78666815 edges, 109507 markings/sec, 85 secs
lola: 18370312 markings, 83521519 edges, 270160 markings/sec, 90 secs
lola: 19017453 markings, 87446946 edges, 129428 markings/sec, 95 secs
lola: 20047370 markings, 91537967 edges, 205983 markings/sec, 100 secs
lola: 20860473 markings, 95510996 edges, 162621 markings/sec, 105 secs
lola: 21608261 markings, 99554014 edges, 149558 markings/sec, 110 secs
lola: 22359465 markings, 103723719 edges, 150241 markings/sec, 115 secs
lola: 22875292 markings, 107796379 edges, 103165 markings/sec, 120 secs
lola: 23721042 markings, 112274217 edges, 169150 markings/sec, 125 secs
lola: 24279817 markings, 116351107 edges, 111755 markings/sec, 130 secs
lola: 24934733 markings, 120324206 edges, 130983 markings/sec, 135 secs
lola: 25936044 markings, 124353975 edges, 200262 markings/sec, 140 secs
lola: 27043996 markings, 128762172 edges, 221590 markings/sec, 145 secs
lola: 27981852 markings, 132925952 edges, 187571 markings/sec, 150 secs
lola: 28747370 markings, 137004395 edges, 153104 markings/sec, 155 secs
lola: 29522361 markings, 140984861 edges, 154998 markings/sec, 160 secs
lola: 30297947 markings, 145022791 edges, 155117 markings/sec, 165 secs
lola: 30946067 markings, 148939995 edges, 129624 markings/sec, 170 secs
lola: 31441502 markings, 152717943 edges, 99087 markings/sec, 175 secs
lola: 31787738 markings, 156647699 edges, 69247 markings/sec, 180 secs
lola: 33079026 markings, 161212065 edges, 258258 markings/sec, 185 secs
lola: 34118976 markings, 165631533 edges, 207990 markings/sec, 190 secs
lola: 35056791 markings, 169436533 edges, 187563 markings/sec, 195 secs
lola: 35892553 markings, 173158940 edges, 167152 markings/sec, 200 secs
lola: 36632398 markings, 176760671 edges, 147969 markings/sec, 205 secs
lola: 37250200 markings, 180292878 edges, 123560 markings/sec, 210 secs
lola: 37714773 markings, 183704219 edges, 92915 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 412413 markings, 1006216 edges, 82483 markings/sec, 0 secs
lola: 807881 markings, 2006609 edges, 79094 markings/sec, 5 secs
lola: 1194657 markings, 2927002 edges, 77355 markings/sec, 10 secs
lola: 1593498 markings, 3884242 edges, 79768 markings/sec, 15 secs
lola: 1981290 markings, 4819101 edges, 77558 markings/sec, 20 secs
lola: 2374266 markings, 5801795 edges, 78595 markings/sec, 25 secs
lola: 2751635 markings, 6726004 edges, 75474 markings/sec, 30 secs
lola: 3119358 markings, 7700358 edges, 73545 markings/sec, 35 secs
lola: 3465048 markings, 8750383 edges, 69138 markings/sec, 40 secs
lola: 3800820 markings, 9813585 edges, 67154 markings/sec, 45 secs
lola: 4130756 markings, 10868394 edges, 65987 markings/sec, 50 secs
lola: 4522922 markings, 11950550 edges, 78433 markings/sec, 55 secs
lola: 4924847 markings, 12889852 edges, 80385 markings/sec, 60 secs
lola: 5301604 markings, 13822698 edges, 75351 markings/sec, 65 secs
lola: 5657631 markings, 14755529 edges, 71205 markings/sec, 70 secs
lola: 6031899 markings, 15785491 edges, 74854 markings/sec, 75 secs
lola: 6417472 markings, 16704843 edges, 77115 markings/sec, 80 secs
lola: 6782517 markings, 17631389 edges, 73009 markings/sec, 85 secs
lola: 7155540 markings, 18576962 edges, 74605 markings/sec, 90 secs
lola: 7487906 markings, 19604020 edges, 66473 markings/sec, 95 secs
lola: 7804008 markings, 20699758 edges, 63220 markings/sec, 100 secs
lola: 8193011 markings, 21723756 edges, 77801 markings/sec, 105 secs
lola: 8578327 markings, 22692484 edges, 77063 markings/sec, 110 secs
lola: 8934296 markings, 23694964 edges, 71194 markings/sec, 115 secs
lola: 9351156 markings, 24759955 edges, 83372 markings/sec, 120 secs
lola: 9730402 markings, 25676771 edges, 75849 markings/sec, 125 secs
lola: 10075234 markings, 26642265 edges, 68966 markings/sec, 130 secs
lola: 10456304 markings, 27679590 edges, 76214 markings/sec, 135 secs
lola: 10870270 markings, 28673976 edges, 82793 markings/sec, 140 secs
lola: 11220824 markings, 29566046 edges, 70111 markings/sec, 145 secs
lola: 11567840 markings, 30536932 edges, 69403 markings/sec, 150 secs
lola: 11932100 markings, 31463441 edges, 72852 markings/sec, 155 secs
lola: 12284879 markings, 32460312 edges, 70556 markings/sec, 160 secs
lola: 12676797 markings, 33477031 edges, 78384 markings/sec, 165 secs
lola: 13063360 markings, 34443404 edges, 77313 markings/sec, 170 secs
lola: 13427748 markings, 35308219 edges, 72878 markings/sec, 175 secs
lola: 13779230 markings, 36230497 edges, 70296 markings/sec, 180 secs
lola: 14131717 markings, 37113840 edges, 70497 markings/sec, 185 secs
lola: 14489492 markings, 38034522 edges, 71555 markings/sec, 190 secs
lola: 14841361 markings, 38940611 edges, 70374 markings/sec, 195 secs
lola: 15173089 markings, 39907854 edges, 66346 markings/sec, 200 secs
lola: 15486585 markings, 40906915 edges, 62699 markings/sec, 205 secs
lola: 15786790 markings, 41910909 edges, 60041 markings/sec, 210 secs
lola: 16184199 markings, 42923604 edges, 79482 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 456602 markings, 1324790 edges, 91320 markings/sec, 0 secs
lola: 886157 markings, 2982369 edges, 85911 markings/sec, 5 secs
lola: 1242122 markings, 4947176 edges, 71193 markings/sec, 10 secs
lola: 1659517 markings, 6790072 edges, 83479 markings/sec, 15 secs
lola: 2036895 markings, 8747685 edges, 75476 markings/sec, 20 secs
lola: 2434873 markings, 10388659 edges, 79596 markings/sec, 25 secs
lola: 2836941 markings, 11998398 edges, 80414 markings/sec, 30 secs
lola: 3204241 markings, 13905401 edges, 73460 markings/sec, 35 secs
lola: 3566607 markings, 15684460 edges, 72473 markings/sec, 40 secs
lola: 3962323 markings, 17300853 edges, 79143 markings/sec, 45 secs
lola: 4342695 markings, 19005464 edges, 76074 markings/sec, 50 secs
lola: 4706974 markings, 20853847 edges, 72856 markings/sec, 55 secs
lola: 5062060 markings, 22762483 edges, 71017 markings/sec, 60 secs
lola: 5442440 markings, 24217691 edges, 76076 markings/sec, 65 secs
lola: 5772329 markings, 26176218 edges, 65978 markings/sec, 70 secs
lola: 6104875 markings, 28031630 edges, 66509 markings/sec, 75 secs
lola: 6422765 markings, 30117848 edges, 63578 markings/sec, 80 secs
lola: 6734518 markings, 32164201 edges, 62351 markings/sec, 85 secs
lola: 7093792 markings, 34092656 edges, 71855 markings/sec, 90 secs
lola: 7416225 markings, 36006454 edges, 64487 markings/sec, 95 secs
lola: 7754794 markings, 37933651 edges, 67714 markings/sec, 100 secs
lola: 8070458 markings, 39879750 edges, 63133 markings/sec, 105 secs
lola: 8396055 markings, 41810572 edges, 65119 markings/sec, 110 secs
lola: 8721915 markings, 43705841 edges, 65172 markings/sec, 115 secs
lola: 9094956 markings, 45374627 edges, 74608 markings/sec, 120 secs
lola: 9431660 markings, 47132730 edges, 67341 markings/sec, 125 secs
lola: 9759886 markings, 48845250 edges, 65645 markings/sec, 130 secs
lola: 10086812 markings, 50477879 edges, 65385 markings/sec, 135 secs
lola: 10390358 markings, 52199757 edges, 60709 markings/sec, 140 secs
lola: 10698587 markings, 53878017 edges, 61646 markings/sec, 145 secs
lola: 10979401 markings, 55665266 edges, 56163 markings/sec, 150 secs
lola: 11318333 markings, 57358800 edges, 67786 markings/sec, 155 secs
lola: 11639008 markings, 59110839 edges, 64135 markings/sec, 160 secs
lola: 11945893 markings, 60830075 edges, 61377 markings/sec, 165 secs
lola: 12239303 markings, 62525291 edges, 58682 markings/sec, 170 secs
lola: 12526466 markings, 64290666 edges, 57433 markings/sec, 175 secs
lola: 12825329 markings, 66030178 edges, 59773 markings/sec, 180 secs
lola: 13132658 markings, 67730904 edges, 61466 markings/sec, 185 secs
lola: 13474695 markings, 69397115 edges, 68407 markings/sec, 190 secs
lola: 13806591 markings, 71094845 edges, 66379 markings/sec, 195 secs
lola: 14140591 markings, 72791256 edges, 66800 markings/sec, 200 secs
lola: 14473307 markings, 74433585 edges, 66543 markings/sec, 205 secs
lola: 14807591 markings, 76097747 edges, 66857 markings/sec, 210 secs
lola: 15150482 markings, 77628041 edges, 68578 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(in2_2 + in2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: ========================================
lola: subprocess 8 will run for 248 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 389171 markings, 957618 edges, 77834 markings/sec, 0 secs
lola: 744731 markings, 2021610 edges, 71112 markings/sec, 5 secs
lola: 1145499 markings, 3053031 edges, 80154 markings/sec, 10 secs
lola: 1530262 markings, 4100372 edges, 76953 markings/sec, 15 secs
lola: 1968849 markings, 5128578 edges, 87717 markings/sec, 20 secs
lola: 2396976 markings, 6144896 edges, 85625 markings/sec, 25 secs
lola: 2762544 markings, 7109505 edges, 73114 markings/sec, 30 secs
lola: 3142940 markings, 8155388 edges, 76079 markings/sec, 35 secs
lola: 3541759 markings, 9165583 edges, 79764 markings/sec, 40 secs
lola: 3899121 markings, 10153582 edges, 71472 markings/sec, 45 secs
lola: 4300809 markings, 11196269 edges, 80338 markings/sec, 50 secs
lola: 4704816 markings, 12253357 edges, 80801 markings/sec, 55 secs
lola: 5118270 markings, 13514269 edges, 82691 markings/sec, 60 secs
lola: 5516627 markings, 14802777 edges, 79671 markings/sec, 65 secs
lola: 5904455 markings, 15783466 edges, 77566 markings/sec, 70 secs
lola: 6279062 markings, 16751539 edges, 74921 markings/sec, 75 secs
lola: 6656667 markings, 17720107 edges, 75521 markings/sec, 80 secs
lola: 7044297 markings, 18704238 edges, 77526 markings/sec, 85 secs
lola: 7421720 markings, 19712453 edges, 75485 markings/sec, 90 secs
lola: 7806850 markings, 20680333 edges, 77026 markings/sec, 95 secs
lola: 8195798 markings, 21637241 edges, 77790 markings/sec, 100 secs
lola: 8590748 markings, 22625975 edges, 78990 markings/sec, 105 secs
lola: 8967125 markings, 23601826 edges, 75275 markings/sec, 110 secs
lola: 9359287 markings, 24550351 edges, 78432 markings/sec, 115 secs
lola: 9743662 markings, 25551054 edges, 76875 markings/sec, 120 secs
lola: 10124876 markings, 26434693 edges, 76243 markings/sec, 125 secs
lola: 10499618 markings, 27405487 edges, 74948 markings/sec, 130 secs
lola: 10903609 markings, 28361042 edges, 80798 markings/sec, 135 secs
lola: 11281185 markings, 29330701 edges, 75515 markings/sec, 140 secs
lola: 11658402 markings, 30341347 edges, 75443 markings/sec, 145 secs
lola: 12036670 markings, 31369046 edges, 75654 markings/sec, 150 secs
lola: 12410121 markings, 32267948 edges, 74690 markings/sec, 155 secs
lola: 12781538 markings, 33184232 edges, 74283 markings/sec, 160 secs
lola: 13154747 markings, 34144050 edges, 74642 markings/sec, 165 secs
lola: 13539617 markings, 35133766 edges, 76974 markings/sec, 170 secs
lola: 13947702 markings, 36092457 edges, 81617 markings/sec, 175 secs
lola: 14320802 markings, 37059594 edges, 74620 markings/sec, 180 secs
lola: 14693097 markings, 38025616 edges, 74459 markings/sec, 185 secs
lola: 15070928 markings, 39174643 edges, 75566 markings/sec, 190 secs
lola: 15447521 markings, 40145069 edges, 75319 markings/sec, 195 secs
lola: 15816011 markings, 41047117 edges, 73698 markings/sec, 200 secs
lola: 16182081 markings, 41933017 edges, 73214 markings/sec, 205 secs
lola: 16558103 markings, 42914234 edges, 75204 markings/sec, 210 secs
lola: 16942397 markings, 43873988 edges, 76859 markings/sec, 215 secs
lola: 17308495 markings, 44844222 edges, 73220 markings/sec, 220 secs
lola: 17680659 markings, 45885418 edges, 74433 markings/sec, 225 secs
lola: 18035955 markings, 46920467 edges, 71059 markings/sec, 230 secs
lola: 18372832 markings, 47850815 edges, 67375 markings/sec, 235 secs
lola: 18698535 markings, 48870716 edges, 65141 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 882168 markings, 3903302 edges, 176434 markings/sec, 0 secs
lola: 1670202 markings, 7909422 edges, 157607 markings/sec, 5 secs
lola: 2449773 markings, 11736563 edges, 155914 markings/sec, 10 secs
lola: 3249921 markings, 15602846 edges, 160030 markings/sec, 15 secs
lola: 4045621 markings, 19311850 edges, 159140 markings/sec, 20 secs
lola: 4816001 markings, 23113766 edges, 154076 markings/sec, 25 secs
lola: 5577508 markings, 26830626 edges, 152301 markings/sec, 30 secs
lola: 6284025 markings, 30469437 edges, 141303 markings/sec, 35 secs
lola: 6956194 markings, 34151163 edges, 134434 markings/sec, 40 secs
lola: 7601127 markings, 37733483 edges, 128987 markings/sec, 45 secs
lola: 8220587 markings, 41446063 edges, 123892 markings/sec, 50 secs
lola: 8833729 markings, 45097813 edges, 122628 markings/sec, 55 secs
lola: 9428870 markings, 48678683 edges, 119028 markings/sec, 60 secs
lola: 9993560 markings, 52179669 edges, 112938 markings/sec, 65 secs
lola: 10554511 markings, 55834945 edges, 112190 markings/sec, 70 secs
lola: 11080971 markings, 59943508 edges, 105292 markings/sec, 75 secs
lola: 11706603 markings, 63871810 edges, 125126 markings/sec, 80 secs
lola: 12447923 markings, 67682686 edges, 148264 markings/sec, 85 secs
lola: 13180470 markings, 71354247 edges, 146509 markings/sec, 90 secs
lola: 13807227 markings, 74921875 edges, 125351 markings/sec, 95 secs
lola: 14359445 markings, 78491119 edges, 110444 markings/sec, 100 secs
lola: 14927859 markings, 82363606 edges, 113683 markings/sec, 105 secs
lola: 15676088 markings, 86252365 edges, 149646 markings/sec, 110 secs
lola: 16430816 markings, 89907379 edges, 150946 markings/sec, 115 secs
lola: 17149671 markings, 93638292 edges, 143771 markings/sec, 120 secs
lola: 17850108 markings, 97237901 edges, 140087 markings/sec, 125 secs
lola: 18514618 markings, 100835045 edges, 132902 markings/sec, 130 secs
lola: 19153020 markings, 104385728 edges, 127680 markings/sec, 135 secs
lola: 19738641 markings, 108015390 edges, 117124 markings/sec, 140 secs
lola: 20289510 markings, 111572640 edges, 110174 markings/sec, 145 secs
lola: 20864377 markings, 115099332 edges, 114973 markings/sec, 150 secs
lola: 21403280 markings, 118593366 edges, 107781 markings/sec, 155 secs
lola: 21892956 markings, 122106653 edges, 97935 markings/sec, 160 secs
lola: 22461730 markings, 126211796 edges, 113755 markings/sec, 165 secs
lola: 23147341 markings, 129821481 edges, 137122 markings/sec, 170 secs
lola: 23751477 markings, 133317311 edges, 120827 markings/sec, 175 secs
lola: 24269182 markings, 136810607 edges, 103541 markings/sec, 180 secs
lola: 24848022 markings, 140613075 edges, 115768 markings/sec, 185 secs
lola: 25428357 markings, 144322735 edges, 116067 markings/sec, 190 secs
lola: 26114808 markings, 148146632 edges, 137290 markings/sec, 195 secs
lola: 26809404 markings, 151883041 edges, 138919 markings/sec, 200 secs
lola: 27353653 markings, 155559565 edges, 108850 markings/sec, 205 secs
lola: 27979790 markings, 159391444 edges, 125227 markings/sec, 210 secs
lola: 28675934 markings, 163174727 edges, 139229 markings/sec, 215 secs
lola: 29222917 markings, 166868562 edges, 109397 markings/sec, 220 secs
lola: 29813646 markings, 170650566 edges, 118146 markings/sec, 225 secs
lola: 30594513 markings, 174608050 edges, 156173 markings/sec, 230 secs
lola: 31206302 markings, 178448182 edges, 122358 markings/sec, 235 secs
lola: 31913526 markings, 182344474 edges, 141445 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out1_0 + out1_1 + out1_2 + out1_3 + out1_4 + out1_5 + out1_6 + out1_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 619616 markings, 1145578 edges, 123923 markings/sec, 0 secs
lola: 1251536 markings, 2330850 edges, 126384 markings/sec, 5 secs
lola: 1871054 markings, 3501214 edges, 123904 markings/sec, 10 secs
lola: 2503775 markings, 4691394 edges, 126544 markings/sec, 15 secs
lola: 3131539 markings, 5873727 edges, 125553 markings/sec, 20 secs
lola: 3750524 markings, 7047945 edges, 123797 markings/sec, 25 secs
lola: 4377999 markings, 8230949 edges, 125495 markings/sec, 30 secs
lola: 5003872 markings, 9413789 edges, 125175 markings/sec, 35 secs
lola: 5627703 markings, 10587996 edges, 124766 markings/sec, 40 secs
lola: 6244212 markings, 11757605 edges, 123302 markings/sec, 45 secs
lola: 6859962 markings, 12926364 edges, 123150 markings/sec, 50 secs
lola: 7500234 markings, 14128395 edges, 128054 markings/sec, 55 secs
lola: 8124584 markings, 15311751 edges, 124870 markings/sec, 60 secs
lola: 8745309 markings, 16481709 edges, 124145 markings/sec, 65 secs
lola: 9361331 markings, 17650925 edges, 123204 markings/sec, 70 secs
lola: 9977385 markings, 18820044 edges, 123211 markings/sec, 75 secs
lola: 10608608 markings, 20010154 edges, 126245 markings/sec, 80 secs
lola: 11237726 markings, 21199067 edges, 125824 markings/sec, 85 secs
lola: 11858147 markings, 22370351 edges, 124084 markings/sec, 90 secs
lola: 12467107 markings, 23522925 edges, 121792 markings/sec, 95 secs
lola: 13082884 markings, 24691783 edges, 123155 markings/sec, 100 secs
lola: 13692085 markings, 25848417 edges, 121840 markings/sec, 105 secs
lola: 14305560 markings, 27095350 edges, 122695 markings/sec, 110 secs
lola: 14905033 markings, 28487529 edges, 119895 markings/sec, 115 secs
lola: 15485962 markings, 29894572 edges, 116186 markings/sec, 120 secs
lola: 16065225 markings, 31279627 edges, 115853 markings/sec, 125 secs
lola: 16657415 markings, 32686514 edges, 118438 markings/sec, 130 secs
lola: 17226244 markings, 34117195 edges, 113766 markings/sec, 135 secs
lola: 17796738 markings, 35537370 edges, 114099 markings/sec, 140 secs
lola: 18389801 markings, 36944831 edges, 118613 markings/sec, 145 secs
lola: 18957498 markings, 38377302 edges, 113539 markings/sec, 150 secs
lola: 19521817 markings, 39782313 edges, 112864 markings/sec, 155 secs
lola: 20087898 markings, 41197793 edges, 113216 markings/sec, 160 secs
lola: 20676335 markings, 42624274 edges, 117687 markings/sec, 165 secs
lola: 21242786 markings, 44060116 edges, 113290 markings/sec, 170 secs
lola: 21802448 markings, 45472944 edges, 111932 markings/sec, 175 secs
lola: 22361780 markings, 46893038 edges, 111866 markings/sec, 180 secs
lola: 22947647 markings, 48329791 edges, 117173 markings/sec, 185 secs
lola: 23517767 markings, 49737413 edges, 114024 markings/sec, 190 secs
lola: 24061040 markings, 51149987 edges, 108655 markings/sec, 195 secs
lola: 24623595 markings, 52555411 edges, 112511 markings/sec, 200 secs
lola: 25171366 markings, 53963839 edges, 109554 markings/sec, 205 secs
lola: 25704983 markings, 55747729 edges, 106723 markings/sec, 210 secs
lola: 26209347 markings, 57544274 edges, 100873 markings/sec, 215 secs
lola: 26721188 markings, 59360249 edges, 102368 markings/sec, 220 secs
lola: 27199337 markings, 61117141 edges, 95630 markings/sec, 225 secs
lola: 27706982 markings, 62939084 edges, 101529 markings/sec, 230 secs
lola: 28197486 markings, 64776505 edges, 98101 markings/sec, 235 secs
lola: 28693716 markings, 66585799 edges, 99246 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 406434 markings, 989950 edges, 81287 markings/sec, 0 secs
lola: 802689 markings, 1994186 edges, 79251 markings/sec, 5 secs
lola: 1189085 markings, 2914061 edges, 77279 markings/sec, 10 secs
lola: 1587695 markings, 3868257 edges, 79722 markings/sec, 15 secs
lola: 1973572 markings, 4801555 edges, 77175 markings/sec, 20 secs
lola: 2365823 markings, 5777903 edges, 78450 markings/sec, 25 secs
lola: 2738306 markings, 6691467 edges, 74497 markings/sec, 30 secs
lola: 3107838 markings, 7668631 edges, 73906 markings/sec, 35 secs
lola: 3453203 markings, 8701254 edges, 69073 markings/sec, 40 secs
lola: 3787482 markings, 9752989 edges, 66856 markings/sec, 45 secs
lola: 4111917 markings, 10815186 edges, 64887 markings/sec, 50 secs
lola: 4492390 markings, 11885959 edges, 76095 markings/sec, 55 secs
lola: 4900930 markings, 12838145 edges, 81708 markings/sec, 60 secs
lola: 5279594 markings, 13768483 edges, 75733 markings/sec, 65 secs
lola: 5635886 markings, 14700198 edges, 71258 markings/sec, 70 secs
lola: 5996995 markings, 15693253 edges, 72222 markings/sec, 75 secs
lola: 6385470 markings, 16620571 edges, 77695 markings/sec, 80 secs
lola: 6754656 markings, 17564470 edges, 73837 markings/sec, 85 secs
lola: 7129428 markings, 18510388 edges, 74954 markings/sec, 90 secs
lola: 7464008 markings, 19531386 edges, 66916 markings/sec, 95 secs
lola: 7782562 markings, 20614661 edges, 63711 markings/sec, 100 secs
lola: 8161457 markings, 21652712 edges, 75779 markings/sec, 105 secs
lola: 8545899 markings, 22611320 edges, 76888 markings/sec, 110 secs
lola: 8906232 markings, 23609885 edges, 72067 markings/sec, 115 secs
lola: 9312254 markings, 24677957 edges, 81204 markings/sec, 120 secs
lola: 9706549 markings, 25616974 edges, 78859 markings/sec, 125 secs
lola: 10048997 markings, 26582190 edges, 68490 markings/sec, 130 secs
lola: 10427536 markings, 27581479 edges, 75708 markings/sec, 135 secs
lola: 10845596 markings, 28614169 edges, 83612 markings/sec, 140 secs
lola: 11211434 markings, 29540587 edges, 73168 markings/sec, 145 secs
lola: 11558434 markings, 30516700 edges, 69400 markings/sec, 150 secs
lola: 11916515 markings, 31423994 edges, 71616 markings/sec, 155 secs
lola: 12258546 markings, 32392300 edges, 68406 markings/sec, 160 secs
lola: 12631306 markings, 33355768 edges, 74552 markings/sec, 165 secs
lola: 13026003 markings, 34354474 edges, 78939 markings/sec, 170 secs
lola: 13400645 markings, 35242994 edges, 74928 markings/sec, 175 secs
lola: 13765635 markings, 36196178 edges, 72998 markings/sec, 180 secs
lola: 14126316 markings, 37099587 edges, 72136 markings/sec, 185 secs
lola: 14483438 markings, 38020372 edges, 71424 markings/sec, 190 secs
lola: 14838573 markings, 38931033 edges, 71027 markings/sec, 195 secs
lola: 15170987 markings, 39903177 edges, 66483 markings/sec, 200 secs
lola: 15481592 markings, 40892592 edges, 62121 markings/sec, 205 secs
lola: 15781526 markings, 41886967 edges, 59987 markings/sec, 210 secs
lola: 16175591 markings, 42904795 edges, 78813 markings/sec, 215 secs
lola: 16535446 markings, 43802929 edges, 71971 markings/sec, 220 secs
lola: 16878925 markings, 44697252 edges, 68696 markings/sec, 225 secs
lola: 17231886 markings, 45669664 edges, 70592 markings/sec, 230 secs
lola: 17596736 markings, 46593320 edges, 72970 markings/sec, 235 secs
lola: 17950301 markings, 47499470 edges, 70713 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 747182 markings, 1501319 edges, 149436 markings/sec, 0 secs
lola: 1452594 markings, 3034927 edges, 141082 markings/sec, 5 secs
lola: 2127645 markings, 4568138 edges, 135010 markings/sec, 10 secs
lola: 2785004 markings, 6222933 edges, 131472 markings/sec, 15 secs
lola: 3407119 markings, 7940549 edges, 124423 markings/sec, 20 secs
lola: 3990856 markings, 9673455 edges, 116747 markings/sec, 25 secs
lola: 4600641 markings, 11298826 edges, 121957 markings/sec, 30 secs
lola: 5169759 markings, 12917243 edges, 113824 markings/sec, 35 secs
lola: 5731895 markings, 14539622 edges, 112427 markings/sec, 40 secs
lola: 6241005 markings, 16520437 edges, 101822 markings/sec, 45 secs
lola: 6676617 markings, 18695100 edges, 87122 markings/sec, 50 secs
lola: 7111758 markings, 20857262 edges, 87028 markings/sec, 55 secs
lola: 7528290 markings, 22962150 edges, 83306 markings/sec, 60 secs
lola: 7936783 markings, 25050295 edges, 81699 markings/sec, 65 secs
lola: 8517812 markings, 26669213 edges, 116206 markings/sec, 70 secs
lola: 9086593 markings, 28172645 edges, 113756 markings/sec, 75 secs
lola: 9649969 markings, 29636566 edges, 112675 markings/sec, 80 secs
lola: 10196575 markings, 31206966 edges, 109321 markings/sec, 85 secs
lola: 10720439 markings, 32862630 edges, 104773 markings/sec, 90 secs
lola: 11228595 markings, 34422772 edges, 101631 markings/sec, 95 secs
lola: 11749619 markings, 36117018 edges, 104205 markings/sec, 100 secs
lola: 12277686 markings, 37918538 edges, 105613 markings/sec, 105 secs
lola: 12769605 markings, 39636899 edges, 98384 markings/sec, 110 secs
lola: 13270285 markings, 41337267 edges, 100136 markings/sec, 115 secs
lola: 13716780 markings, 43120214 edges, 89299 markings/sec, 120 secs
lola: 14208048 markings, 44832541 edges, 98254 markings/sec, 125 secs
lola: 14672379 markings, 46637616 edges, 92866 markings/sec, 130 secs
lola: 15111228 markings, 48351134 edges, 87770 markings/sec, 135 secs
lola: 15556316 markings, 49992715 edges, 89018 markings/sec, 140 secs
lola: 15990354 markings, 51706611 edges, 86808 markings/sec, 145 secs
lola: 16426615 markings, 53424728 edges, 87252 markings/sec, 150 secs
lola: 16780914 markings, 55648898 edges, 70860 markings/sec, 155 secs
lola: 17112253 markings, 57792628 edges, 66268 markings/sec, 160 secs
lola: 17444265 markings, 59867971 edges, 66402 markings/sec, 165 secs
lola: 17757164 markings, 62028378 edges, 62580 markings/sec, 170 secs
lola: 18067597 markings, 64167681 edges, 62087 markings/sec, 175 secs
lola: 18366649 markings, 66300589 edges, 59810 markings/sec, 180 secs
lola: 18666722 markings, 68274451 edges, 60015 markings/sec, 185 secs
lola: 18957205 markings, 70306245 edges, 58097 markings/sec, 190 secs
lola: 19301985 markings, 72386395 edges, 68956 markings/sec, 195 secs
lola: 19738552 markings, 74407989 edges, 87313 markings/sec, 200 secs
lola: 20171287 markings, 76340984 edges, 86547 markings/sec, 205 secs
lola: 20565606 markings, 78541983 edges, 78864 markings/sec, 210 secs
lola: 20935305 markings, 80602742 edges, 73940 markings/sec, 215 secs
lola: 21332566 markings, 82637459 edges, 79452 markings/sec, 220 secs
lola: 21717320 markings, 84655233 edges, 76951 markings/sec, 225 secs
lola: 22057223 markings, 87000675 edges, 67981 markings/sec, 230 secs
lola: 22380126 markings, 89152350 edges, 64581 markings/sec, 235 secs
lola: 22691861 markings, 91360261 edges, 62347 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 248 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1051590 markings, 2324723 edges, 210318 markings/sec, 0 secs
lola: 1983303 markings, 4756628 edges, 186343 markings/sec, 5 secs
lola: 2667907 markings, 7834823 edges, 136921 markings/sec, 10 secs
lola: 3556160 markings, 10466326 edges, 177651 markings/sec, 15 secs
lola: 4409605 markings, 13078763 edges, 170689 markings/sec, 20 secs
lola: 5157837 markings, 15805839 edges, 149646 markings/sec, 25 secs
lola: 5715957 markings, 18833141 edges, 111624 markings/sec, 30 secs
lola: 6315387 markings, 21890502 edges, 119886 markings/sec, 35 secs
lola: 6885516 markings, 25004327 edges, 114026 markings/sec, 40 secs
lola: 7440628 markings, 28095749 edges, 111022 markings/sec, 45 secs
lola: 7995660 markings, 30808930 edges, 111006 markings/sec, 50 secs
lola: 8524378 markings, 33475424 edges, 105744 markings/sec, 55 secs
lola: 9028434 markings, 36168742 edges, 100811 markings/sec, 60 secs
lola: 9485171 markings, 38860586 edges, 91347 markings/sec, 65 secs
lola: 9956662 markings, 41615029 edges, 94298 markings/sec, 70 secs
lola: 10411538 markings, 44523435 edges, 90975 markings/sec, 75 secs
lola: 10852548 markings, 47392728 edges, 88202 markings/sec, 80 secs
lola: 11321760 markings, 50318929 edges, 93842 markings/sec, 85 secs
lola: 11770783 markings, 53257320 edges, 89805 markings/sec, 90 secs
lola: 12226313 markings, 56226394 edges, 91106 markings/sec, 95 secs
lola: 12964245 markings, 58448721 edges, 147586 markings/sec, 100 secs
lola: 13660735 markings, 60800562 edges, 139298 markings/sec, 105 secs
lola: 14398117 markings, 63117579 edges, 147476 markings/sec, 110 secs
lola: 15150576 markings, 65354812 edges, 150492 markings/sec, 115 secs
lola: 15871789 markings, 67703137 edges, 144243 markings/sec, 120 secs
lola: 16626083 markings, 69966548 edges, 150859 markings/sec, 125 secs
lola: 17335169 markings, 72156164 edges, 141817 markings/sec, 130 secs
lola: 18038587 markings, 74571139 edges, 140684 markings/sec, 135 secs
lola: 18826211 markings, 76820638 edges, 157525 markings/sec, 140 secs
lola: 19803328 markings, 79129504 edges, 195423 markings/sec, 145 secs
lola: 20667730 markings, 81605111 edges, 172880 markings/sec, 150 secs
lola: 21350911 markings, 84509082 edges, 136636 markings/sec, 155 secs
lola: 22209092 markings, 87034415 edges, 171636 markings/sec, 160 secs
lola: 23048495 markings, 89555199 edges, 167881 markings/sec, 165 secs
lola: 23750260 markings, 92267057 edges, 140353 markings/sec, 170 secs
lola: 24299243 markings, 95154655 edges, 109797 markings/sec, 175 secs
lola: 24879319 markings, 98106930 edges, 116015 markings/sec, 180 secs
lola: 25432398 markings, 101066483 edges, 110616 markings/sec, 185 secs
lola: 25976766 markings, 104014805 edges, 108874 markings/sec, 190 secs
lola: 26434005 markings, 107155847 edges, 91448 markings/sec, 195 secs
lola: 26812131 markings, 110387046 edges, 75625 markings/sec, 200 secs
lola: 27127687 markings, 113524763 edges, 63111 markings/sec, 205 secs
lola: 27626249 markings, 115910918 edges, 99712 markings/sec, 210 secs
lola: 28129548 markings, 118265755 edges, 100660 markings/sec, 215 secs
lola: 28612570 markings, 120689215 edges, 96604 markings/sec, 220 secs
lola: 29101729 markings, 123217563 edges, 97832 markings/sec, 225 secs
lola: 29536078 markings, 125695452 edges, 86870 markings/sec, 230 secs
lola: 29957549 markings, 128155253 edges, 84294 markings/sec, 235 secs
lola: 30397446 markings, 130794384 edges, 87979 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 414333 markings, 1011324 edges, 82867 markings/sec, 0 secs
lola: 805687 markings, 2001210 edges, 78271 markings/sec, 5 secs
lola: 1187059 markings, 2908405 edges, 76274 markings/sec, 10 secs
lola: 1579624 markings, 3845403 edges, 78513 markings/sec, 15 secs
lola: 1960782 markings, 4770447 edges, 76232 markings/sec, 20 secs
lola: 2350416 markings, 5727503 edges, 77927 markings/sec, 25 secs
lola: 2720519 markings, 6650821 edges, 74021 markings/sec, 30 secs
lola: 3085264 markings, 7608254 edges, 72949 markings/sec, 35 secs
lola: 3432307 markings, 8609460 edges, 69409 markings/sec, 40 secs
lola: 3764394 markings, 9648239 edges, 66417 markings/sec, 45 secs
lola: 4059771 markings, 10650973 edges, 59075 markings/sec, 50 secs
lola: 4410209 markings, 11713817 edges, 70088 markings/sec, 55 secs
lola: 4834007 markings, 12683477 edges, 84760 markings/sec, 60 secs
lola: 5211378 markings, 13595129 edges, 75474 markings/sec, 65 secs
lola: 5561514 markings, 14488882 edges, 70027 markings/sec, 70 secs
lola: 5923056 markings, 15501706 edges, 72308 markings/sec, 75 secs
lola: 6308766 markings, 16433082 edges, 77142 markings/sec, 80 secs
lola: 6675953 markings, 17371029 edges, 73437 markings/sec, 85 secs
lola: 7032988 markings, 18253863 edges, 71407 markings/sec, 90 secs
lola: 7363373 markings, 19212989 edges, 66077 markings/sec, 95 secs
lola: 7681589 markings, 20295813 edges, 63643 markings/sec, 100 secs
lola: 8039256 markings, 21360614 edges, 71533 markings/sec, 105 secs
lola: 8435284 markings, 22334824 edges, 79206 markings/sec, 110 secs
lola: 8810272 markings, 23311967 edges, 74998 markings/sec, 115 secs
lola: 9180510 markings, 24392822 edges, 74048 markings/sec, 120 secs
lola: 9586682 markings, 25314275 edges, 81234 markings/sec, 125 secs
lola: 9932798 markings, 26251525 edges, 69223 markings/sec, 130 secs
lola: 10281276 markings, 27174335 edges, 69696 markings/sec, 135 secs
lola: 10694847 markings, 28246233 edges, 82714 markings/sec, 140 secs
lola: 11049635 markings, 29125604 edges, 70958 markings/sec, 145 secs
lola: 11384540 markings, 30084154 edges, 66981 markings/sec, 150 secs
lola: 11747170 markings, 30996745 edges, 72526 markings/sec, 155 secs
lola: 12100238 markings, 31947591 edges, 70614 markings/sec, 160 secs
lola: 12456295 markings, 32896984 edges, 71211 markings/sec, 165 secs
lola: 12836290 markings, 33853327 edges, 75999 markings/sec, 170 secs
lola: 13208559 markings, 34789386 edges, 74454 markings/sec, 175 secs
lola: 13574510 markings, 35652936 edges, 73190 markings/sec, 180 secs
lola: 13916994 markings, 36577278 edges, 68497 markings/sec, 185 secs
lola: 14267277 markings, 37441236 edges, 70057 markings/sec, 190 secs
lola: 14600838 markings, 38315872 edges, 66712 markings/sec, 195 secs
lola: 14925230 markings, 39178887 edges, 64878 markings/sec, 200 secs
lola: 15240392 markings, 40111960 edges, 63032 markings/sec, 205 secs
lola: 15532353 markings, 41069866 edges, 58392 markings/sec, 210 secs
lola: 15798429 markings, 41963848 edges, 53215 markings/sec, 215 secs
lola: 16199576 markings, 42962351 edges, 80229 markings/sec, 220 secs
lola: 16531240 markings, 43792785 edges, 66333 markings/sec, 225 secs
lola: 16859969 markings, 44643763 edges, 65746 markings/sec, 230 secs
lola: 17176703 markings, 45520167 edges, 63347 markings/sec, 235 secs
lola: 17533565 markings, 46439599 edges, 71372 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux7_2 + aux7_3 + aux7_6 + aux7_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1632367 markings, 6249425 edges, 326473 markings/sec, 0 secs
lola: 3186200 markings, 12371738 edges, 310767 markings/sec, 5 secs
lola: 4731517 markings, 18489082 edges, 309063 markings/sec, 10 secs
lola: 5966942 markings, 24298403 edges, 247085 markings/sec, 15 secs
lola: 7200871 markings, 30033519 edges, 246786 markings/sec, 20 secs
lola: 8585152 markings, 35891712 edges, 276856 markings/sec, 25 secs
lola: 10205369 markings, 42330089 edges, 324043 markings/sec, 30 secs
lola: 11436983 markings, 48167065 edges, 246323 markings/sec, 35 secs
lola: 12657926 markings, 53769907 edges, 244189 markings/sec, 40 secs
lola: 14098648 markings, 59855353 edges, 288144 markings/sec, 45 secs
lola: 15576998 markings, 65724206 edges, 295670 markings/sec, 50 secs
lola: 16688284 markings, 70930489 edges, 222257 markings/sec, 55 secs
lola: 17913608 markings, 76689676 edges, 245065 markings/sec, 60 secs
lola: 19079966 markings, 82374043 edges, 233272 markings/sec, 65 secs
lola: 19941692 markings, 87764349 edges, 172345 markings/sec, 70 secs
lola: 20754056 markings, 93095218 edges, 162473 markings/sec, 75 secs
lola: 21903666 markings, 98514587 edges, 229922 markings/sec, 80 secs
lola: 22996106 markings, 104191140 edges, 218488 markings/sec, 85 secs
lola: 23990221 markings, 109703269 edges, 198823 markings/sec, 90 secs
lola: 25328593 markings, 115327400 edges, 267674 markings/sec, 95 secs
lola: 26737522 markings, 121222683 edges, 281786 markings/sec, 100 secs
lola: 27955430 markings, 127116430 edges, 243582 markings/sec, 105 secs
lola: 29261389 markings, 132869182 edges, 261192 markings/sec, 110 secs
lola: 30478169 markings, 138584338 edges, 243356 markings/sec, 115 secs
lola: 31633821 markings, 144197030 edges, 231130 markings/sec, 120 secs
lola: 32969791 markings, 149853648 edges, 267194 markings/sec, 125 secs
lola: 34243711 markings, 154960489 edges, 254784 markings/sec, 130 secs
lola: 35421278 markings, 160519343 edges, 235513 markings/sec, 135 secs
lola: 36630289 markings, 166182020 edges, 241802 markings/sec, 140 secs
lola: 37699326 markings, 171399684 edges, 213807 markings/sec, 145 secs
lola: 38522686 markings, 176544846 edges, 164672 markings/sec, 150 secs
lola: 39362911 markings, 182046149 edges, 168045 markings/sec, 155 secs
lola: 40528511 markings, 187576872 edges, 233120 markings/sec, 160 secs
lola: 41593806 markings, 193113759 edges, 213059 markings/sec, 165 secs
lola: 42544566 markings, 198410243 edges, 190152 markings/sec, 170 secs
lola: 43642021 markings, 203778962 edges, 219491 markings/sec, 175 secs
lola: 44732686 markings, 209249826 edges, 218133 markings/sec, 180 secs
lola: 45535950 markings, 214377493 edges, 160653 markings/sec, 185 secs
lola: 46328083 markings, 219413591 edges, 158427 markings/sec, 190 secs
lola: 47186564 markings, 224272192 edges, 171696 markings/sec, 195 secs
lola: 48138055 markings, 229508434 edges, 190298 markings/sec, 200 secs
lola: 49569513 markings, 235098833 edges, 286292 markings/sec, 205 secs
lola: 50829777 markings, 240791279 edges, 252053 markings/sec, 210 secs
lola: 52046924 markings, 246398113 edges, 243429 markings/sec, 215 secs
lola: 53274259 markings, 252120645 edges, 245467 markings/sec, 220 secs
lola: 54907640 markings, 258396979 edges, 326676 markings/sec, 225 secs
lola: 56185260 markings, 264128448 edges, 255524 markings/sec, 230 secs
lola: 57239774 markings, 269122518 edges, 210903 markings/sec, 235 secs
lola: 58291829 markings, 274122915 edges, 210411 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown 40 unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PermAdmissibility-COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-7 40 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494663349742
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="PermAdmissibility-PT-20"
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/PermAdmissibility-PT-20.tgz
mv PermAdmissibility-PT-20 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 PermAdmissibility-PT-20, 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 r038-blw7-149440485000434"
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 '
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 ;