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-3253
Executing tool lola
Input is S_TCPcondis-PT-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464200245
=====================================================================

--------------------
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 TCPcondis-PT-50-UpperBounds-0
FORMULA_NAME TCPcondis-PT-50-UpperBounds-1
FORMULA_NAME TCPcondis-PT-50-UpperBounds-10
FORMULA_NAME TCPcondis-PT-50-UpperBounds-11
FORMULA_NAME TCPcondis-PT-50-UpperBounds-12
FORMULA_NAME TCPcondis-PT-50-UpperBounds-13
FORMULA_NAME TCPcondis-PT-50-UpperBounds-14
FORMULA_NAME TCPcondis-PT-50-UpperBounds-15
FORMULA_NAME TCPcondis-PT-50-UpperBounds-2
FORMULA_NAME TCPcondis-PT-50-UpperBounds-3
FORMULA_NAME TCPcondis-PT-50-UpperBounds-4
FORMULA_NAME TCPcondis-PT-50-UpperBounds-5
FORMULA_NAME TCPcondis-PT-50-UpperBounds-6
FORMULA_NAME TCPcondis-PT-50-UpperBounds-7
FORMULA_NAME TCPcondis-PT-50-UpperBounds-8
FORMULA_NAME TCPcondis-PT-50-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496566615890


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_TCPcondis-PT-50: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_TCPcondis-PT-50: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_TCPcondis-PT-50 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 62/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 30 places, 32 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 48 transition conflict sets
lola: TASK
lola: reading formula from TCPcondis-PT-50-UpperBounds.task
lola: MAX(LASTACK) : MAX(xCLOSEWAIT) : MAX(FINACK) : MAX(xFINWAIT1) : MAX(SYNRCVD) : MAX(FIN) : MAX(xESTAB) : MAX(xFINWAIT2) : MAX(CLOSEWAIT) : MAX(xTIMEWAIT) : MAX(CLOSEWAIT) : MAX(CLOSING) : MAX(xSYNACK) : MAX(xFINACK) : MAX(xCLOSEWAIT) : MAX(CLOSED)
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(LASTACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1254021 markings, 2061683 edges, 250804 markings/sec, 0 secs
lola: 2271024 markings, 3817445 edges, 203401 markings/sec, 5 secs
lola: 3217952 markings, 5473234 edges, 189386 markings/sec, 10 secs
lola: 4110190 markings, 7053190 edges, 178448 markings/sec, 15 secs
lola: 4985278 markings, 8612623 edges, 175018 markings/sec, 20 secs
lola: 5843678 markings, 10152645 edges, 171680 markings/sec, 25 secs
lola: 6687452 markings, 11673842 edges, 168755 markings/sec, 30 secs
lola: 7522480 markings, 13186598 edges, 167006 markings/sec, 35 secs
lola: 8337856 markings, 14664815 edges, 163075 markings/sec, 40 secs
lola: 9150437 markings, 16143159 edges, 162516 markings/sec, 45 secs
lola: 9954758 markings, 17610699 edges, 160864 markings/sec, 50 secs
lola: 10748424 markings, 19058834 edges, 158733 markings/sec, 55 secs
lola: 11530763 markings, 20498341 edges, 156468 markings/sec, 60 secs
lola: 12310083 markings, 21926667 edges, 155864 markings/sec, 65 secs
lola: 13084645 markings, 23351055 edges, 154912 markings/sec, 70 secs
lola: 13862761 markings, 24775100 edges, 155623 markings/sec, 75 secs
lola: 14618425 markings, 26174195 edges, 151133 markings/sec, 80 secs
lola: 15376129 markings, 27577799 edges, 151541 markings/sec, 85 secs
lola: 16108864 markings, 28935064 edges, 146547 markings/sec, 90 secs
lola: 16913982 markings, 30421938 edges, 161024 markings/sec, 95 secs
lola: 17709830 markings, 31895360 edges, 159170 markings/sec, 100 secs
lola: 18507327 markings, 33365562 edges, 159499 markings/sec, 105 secs
lola: 19295694 markings, 34833463 edges, 157673 markings/sec, 110 secs
lola: 20080377 markings, 36296840 edges, 156937 markings/sec, 115 secs
lola: 20863231 markings, 37755037 edges, 156571 markings/sec, 120 secs
lola: 21635770 markings, 39201807 edges, 154508 markings/sec, 125 secs
lola: 22411835 markings, 40645632 edges, 155213 markings/sec, 130 secs
lola: 23178773 markings, 42074643 edges, 153388 markings/sec, 135 secs
lola: 23939697 markings, 43508705 edges, 152185 markings/sec, 140 secs
lola: 24697220 markings, 44927834 edges, 151505 markings/sec, 145 secs
lola: 25451845 markings, 46346258 edges, 150925 markings/sec, 150 secs
lola: 26205309 markings, 47765279 edges, 150693 markings/sec, 155 secs
lola: 26960956 markings, 49180353 edges, 151129 markings/sec, 160 secs
lola: 27712138 markings, 50587745 edges, 150236 markings/sec, 165 secs
lola: 28455625 markings, 51986620 edges, 148697 markings/sec, 170 secs
lola: 29201340 markings, 53386216 edges, 149143 markings/sec, 175 secs
lola: 29945970 markings, 54793921 edges, 148926 markings/sec, 180 secs
lola: 30685691 markings, 56195665 edges, 147944 markings/sec, 185 secs
lola: 31429614 markings, 57594649 edges, 148785 markings/sec, 190 secs
lola: 32165572 markings, 58988328 edges, 147192 markings/sec, 195 secs
lola: 32901284 markings, 60377666 edges, 147142 markings/sec, 200 secs
lola: 33634088 markings, 61762117 edges, 146561 markings/sec, 205 secs
lola: 34365808 markings, 63146467 edges, 146344 markings/sec, 210 secs
lola: 35093596 markings, 64519767 edges, 145558 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(xCLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1003170 markings, 1916818 edges, 200634 markings/sec, 0 secs
lola: 1825627 markings, 3544604 edges, 164491 markings/sec, 5 secs
lola: 2612333 markings, 5118714 edges, 157341 markings/sec, 10 secs
lola: 3409362 markings, 6721344 edges, 159406 markings/sec, 15 secs
lola: 4195650 markings, 8313788 edges, 157258 markings/sec, 20 secs
lola: 4961044 markings, 9873281 edges, 153079 markings/sec, 25 secs
lola: 5709197 markings, 11405354 edges, 149631 markings/sec, 30 secs
lola: 6450431 markings, 12916429 edges, 148247 markings/sec, 35 secs
lola: 7184612 markings, 14426200 edges, 146836 markings/sec, 40 secs
lola: 7915738 markings, 15928083 edges, 146225 markings/sec, 45 secs
lola: 8635050 markings, 17406515 edges, 143862 markings/sec, 50 secs
lola: 9365284 markings, 18908572 edges, 146047 markings/sec, 55 secs
lola: 10085841 markings, 20392642 edges, 144111 markings/sec, 60 secs
lola: 10798847 markings, 21865606 edges, 142601 markings/sec, 65 secs
lola: 11511091 markings, 23335629 edges, 142449 markings/sec, 70 secs
lola: 12215807 markings, 24799645 edges, 140943 markings/sec, 75 secs
lola: 12922223 markings, 26269613 edges, 141283 markings/sec, 80 secs
lola: 13666093 markings, 27812557 edges, 148774 markings/sec, 85 secs
lola: 14405993 markings, 29353093 edges, 147980 markings/sec, 90 secs
lola: 15145992 markings, 30892471 edges, 148000 markings/sec, 95 secs
lola: 15875317 markings, 32411731 edges, 145865 markings/sec, 100 secs
lola: 16589343 markings, 33902814 edges, 142805 markings/sec, 105 secs
lola: 17239109 markings, 35252804 edges, 129953 markings/sec, 110 secs
lola: 17864768 markings, 36561527 edges, 125132 markings/sec, 115 secs
lola: 18482964 markings, 37851618 edges, 123639 markings/sec, 120 secs
lola: 19100237 markings, 39137308 edges, 123455 markings/sec, 125 secs
lola: 19708291 markings, 40410280 edges, 121611 markings/sec, 130 secs
lola: 20373734 markings, 41803207 edges, 133089 markings/sec, 135 secs
lola: 21053277 markings, 43224904 edges, 135909 markings/sec, 140 secs
lola: 21732553 markings, 44643610 edges, 135855 markings/sec, 145 secs
lola: 22338242 markings, 45907721 edges, 121138 markings/sec, 150 secs
lola: 22940771 markings, 47172366 edges, 120506 markings/sec, 155 secs
lola: 23538173 markings, 48423582 edges, 119480 markings/sec, 160 secs
lola: 24153217 markings, 49715463 edges, 123009 markings/sec, 165 secs
lola: 24748865 markings, 50959442 edges, 119130 markings/sec, 170 secs
lola: 25338237 markings, 52197732 edges, 117874 markings/sec, 175 secs
lola: 25935391 markings, 53453845 edges, 119431 markings/sec, 180 secs
lola: 26549863 markings, 54741246 edges, 122894 markings/sec, 185 secs
lola: 27165210 markings, 56035603 edges, 123069 markings/sec, 190 secs
lola: 27769679 markings, 57306134 edges, 120894 markings/sec, 195 secs
lola: 28370725 markings, 58570362 edges, 120209 markings/sec, 200 secs
lola: 28969716 markings, 59834659 edges, 119798 markings/sec, 205 secs
lola: 29566688 markings, 61100642 edges, 119394 markings/sec, 210 secs
lola: 30188064 markings, 62409197 edges, 124275 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(FINACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1139402 markings, 2113668 edges, 227880 markings/sec, 0 secs
lola: 2130825 markings, 4017122 edges, 198285 markings/sec, 5 secs
lola: 3056255 markings, 5812492 edges, 185086 markings/sec, 10 secs
lola: 3952606 markings, 7558097 edges, 179270 markings/sec, 15 secs
lola: 4823051 markings, 9269319 edges, 174089 markings/sec, 20 secs
lola: 5685731 markings, 10963657 edges, 172536 markings/sec, 25 secs
lola: 6512659 markings, 12591329 edges, 165386 markings/sec, 30 secs
lola: 7239025 markings, 14026438 edges, 145273 markings/sec, 35 secs
lola: 7956986 markings, 15446340 edges, 143592 markings/sec, 40 secs
lola: 8660459 markings, 16842051 edges, 140695 markings/sec, 45 secs
lola: 9355290 markings, 18223110 edges, 138966 markings/sec, 50 secs
lola: 10049654 markings, 19601580 edges, 138873 markings/sec, 55 secs
lola: 10734842 markings, 20965650 edges, 137038 markings/sec, 60 secs
lola: 11430198 markings, 22348318 edges, 139071 markings/sec, 65 secs
lola: 12092056 markings, 23665905 edges, 132372 markings/sec, 70 secs
lola: 12796152 markings, 25072496 edges, 140819 markings/sec, 75 secs
lola: 13531622 markings, 26534319 edges, 147094 markings/sec, 80 secs
lola: 14239028 markings, 27944432 edges, 141481 markings/sec, 85 secs
lola: 14945303 markings, 29348963 edges, 141255 markings/sec, 90 secs
lola: 15665659 markings, 30789044 edges, 144071 markings/sec, 95 secs
lola: 16396877 markings, 32247913 edges, 146244 markings/sec, 100 secs
lola: 17100084 markings, 33653027 edges, 140641 markings/sec, 105 secs
lola: 17791228 markings, 35046755 edges, 138229 markings/sec, 110 secs
lola: 18503435 markings, 36474128 edges, 142441 markings/sec, 115 secs
lola: 19221332 markings, 37914132 edges, 143579 markings/sec, 120 secs
lola: 19916918 markings, 39320574 edges, 139117 markings/sec, 125 secs
lola: 20599710 markings, 40682184 edges, 136558 markings/sec, 130 secs
lola: 21247677 markings, 41988219 edges, 129593 markings/sec, 135 secs
lola: 22012750 markings, 43528653 edges, 153015 markings/sec, 140 secs
lola: 22765643 markings, 45045270 edges, 150579 markings/sec, 145 secs
lola: 23480463 markings, 46483395 edges, 142964 markings/sec, 150 secs
lola: 24228487 markings, 47991022 edges, 149605 markings/sec, 155 secs
lola: 24985146 markings, 49510043 edges, 151332 markings/sec, 160 secs
lola: 25734472 markings, 51020090 edges, 149865 markings/sec, 165 secs
lola: 26479446 markings, 52527868 edges, 148995 markings/sec, 170 secs
lola: 27226296 markings, 54034798 edges, 149370 markings/sec, 175 secs
lola: 27969772 markings, 55538650 edges, 148695 markings/sec, 180 secs
lola: 28700934 markings, 57008725 edges, 146232 markings/sec, 185 secs
lola: 29440738 markings, 58502900 edges, 147961 markings/sec, 190 secs
lola: 30164791 markings, 59963172 edges, 144811 markings/sec, 195 secs
lola: 30866741 markings, 61389385 edges, 140390 markings/sec, 200 secs
lola: 31582006 markings, 62837447 edges, 143053 markings/sec, 205 secs
lola: 32319787 markings, 64329766 edges, 147556 markings/sec, 210 secs
lola: 33052081 markings, 65815790 edges, 146459 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(xFINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1173072 markings, 2325044 edges, 234614 markings/sec, 0 secs
lola: 2218276 markings, 4440768 edges, 209041 markings/sec, 5 secs
lola: 3215338 markings, 6470368 edges, 199412 markings/sec, 10 secs
lola: 4161352 markings, 8412058 edges, 189203 markings/sec, 15 secs
lola: 5070915 markings, 10284024 edges, 181913 markings/sec, 20 secs
lola: 5953724 markings, 12101202 edges, 176562 markings/sec, 25 secs
lola: 6820028 markings, 13892337 edges, 173261 markings/sec, 30 secs
lola: 7673436 markings, 15663693 edges, 170682 markings/sec, 35 secs
lola: 8532609 markings, 17448624 edges, 171835 markings/sec, 40 secs
lola: 9384060 markings, 19215860 edges, 170290 markings/sec, 45 secs
lola: 10221903 markings, 20960751 edges, 167569 markings/sec, 50 secs
lola: 11049627 markings, 22686624 edges, 165545 markings/sec, 55 secs
lola: 11871867 markings, 24399788 edges, 164448 markings/sec, 60 secs
lola: 12692241 markings, 26109427 edges, 164075 markings/sec, 65 secs
lola: 13507665 markings, 27808778 edges, 163085 markings/sec, 70 secs
lola: 14314401 markings, 29500133 edges, 161347 markings/sec, 75 secs
lola: 15118817 markings, 31184363 edges, 160883 markings/sec, 80 secs
lola: 15924890 markings, 32872412 edges, 161215 markings/sec, 85 secs
lola: 16728852 markings, 34558957 edges, 160792 markings/sec, 90 secs
lola: 17521281 markings, 36219932 edges, 158486 markings/sec, 95 secs
lola: 18314790 markings, 37882278 edges, 158702 markings/sec, 100 secs
lola: 19109205 markings, 39549187 edges, 158883 markings/sec, 105 secs
lola: 19891536 markings, 41185617 edges, 156466 markings/sec, 110 secs
lola: 20660760 markings, 42804719 edges, 153845 markings/sec, 115 secs
lola: 21412055 markings, 44385071 edges, 150259 markings/sec, 120 secs
lola: 22171683 markings, 45983376 edges, 151926 markings/sec, 125 secs
lola: 22938505 markings, 47594829 edges, 153364 markings/sec, 130 secs
lola: 23706084 markings, 49213921 edges, 153516 markings/sec, 135 secs
lola: 24466045 markings, 50811746 edges, 151992 markings/sec, 140 secs
lola: 25207938 markings, 52376337 edges, 148379 markings/sec, 145 secs
lola: 25939682 markings, 53917253 edges, 146349 markings/sec, 150 secs
lola: 26662168 markings, 55441640 edges, 144497 markings/sec, 155 secs
lola: 27416040 markings, 57029051 edges, 150774 markings/sec, 160 secs
lola: 28163574 markings, 58608930 edges, 149507 markings/sec, 165 secs
lola: 28912164 markings, 60190159 edges, 149718 markings/sec, 170 secs
lola: 29657156 markings, 61762547 edges, 148998 markings/sec, 175 secs
lola: 30400051 markings, 63332243 edges, 148579 markings/sec, 180 secs
lola: 31135334 markings, 64883293 edges, 147057 markings/sec, 185 secs
lola: 31866754 markings, 66428109 edges, 146284 markings/sec, 190 secs
lola: 32597543 markings, 67976755 edges, 146158 markings/sec, 195 secs
lola: 33324636 markings, 69513752 edges, 145419 markings/sec, 200 secs
lola: 34052315 markings, 71059378 edges, 145536 markings/sec, 205 secs
lola: 34782247 markings, 72606184 edges, 145986 markings/sec, 210 secs
lola: 35504093 markings, 74137938 edges, 144369 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(SYNRCVD)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1194592 markings, 2444219 edges, 238918 markings/sec, 0 secs
lola: 2134497 markings, 4610541 edges, 187981 markings/sec, 5 secs
lola: 3003817 markings, 6665603 edges, 173864 markings/sec, 10 secs
lola: 3834469 markings, 8651988 edges, 166130 markings/sec, 15 secs
lola: 4632224 markings, 10588909 edges, 159551 markings/sec, 20 secs
lola: 5425516 markings, 12508366 edges, 158658 markings/sec, 25 secs
lola: 6198302 markings, 14394050 edges, 154557 markings/sec, 30 secs
lola: 6959934 markings, 16285917 edges, 152326 markings/sec, 35 secs
lola: 7736602 markings, 18205139 edges, 155334 markings/sec, 40 secs
lola: 8500679 markings, 20096447 edges, 152815 markings/sec, 45 secs
lola: 9246828 markings, 21949118 edges, 149230 markings/sec, 50 secs
lola: 9982767 markings, 23798963 edges, 147188 markings/sec, 55 secs
lola: 10727782 markings, 25659855 edges, 149003 markings/sec, 60 secs
lola: 11464945 markings, 27513722 edges, 147433 markings/sec, 65 secs
lola: 12195483 markings, 29356854 edges, 146108 markings/sec, 70 secs
lola: 12924890 markings, 31193216 edges, 145881 markings/sec, 75 secs
lola: 13648695 markings, 33019679 edges, 144761 markings/sec, 80 secs
lola: 14371476 markings, 34849384 edges, 144556 markings/sec, 85 secs
lola: 15091974 markings, 36672983 edges, 144100 markings/sec, 90 secs
lola: 15814409 markings, 38497625 edges, 144487 markings/sec, 95 secs
lola: 16525763 markings, 40304507 edges, 142271 markings/sec, 100 secs
lola: 17235721 markings, 42106121 edges, 141992 markings/sec, 105 secs
lola: 17933236 markings, 43890882 edges, 139503 markings/sec, 110 secs
lola: 18636663 markings, 45680653 edges, 140685 markings/sec, 115 secs
lola: 19336778 markings, 47473037 edges, 140023 markings/sec, 120 secs
lola: 20040735 markings, 49274054 edges, 140791 markings/sec, 125 secs
lola: 20744711 markings, 51071859 edges, 140795 markings/sec, 130 secs
lola: 21442670 markings, 52858972 edges, 139592 markings/sec, 135 secs
lola: 22134540 markings, 54639795 edges, 138374 markings/sec, 140 secs
lola: 22822180 markings, 56413010 edges, 137528 markings/sec, 145 secs
lola: 23506280 markings, 58179613 edges, 136820 markings/sec, 150 secs
lola: 24186504 markings, 59944069 edges, 136045 markings/sec, 155 secs
lola: 24864695 markings, 61705300 edges, 135638 markings/sec, 160 secs
lola: 25551072 markings, 63471871 edges, 137275 markings/sec, 165 secs
lola: 26229587 markings, 65227772 edges, 135703 markings/sec, 170 secs
lola: 26912837 markings, 66991712 edges, 136650 markings/sec, 175 secs
lola: 27585320 markings, 68744999 edges, 134497 markings/sec, 180 secs
lola: 28267558 markings, 70497788 edges, 136448 markings/sec, 185 secs
lola: 28934628 markings, 72239159 edges, 133414 markings/sec, 190 secs
lola: 29607048 markings, 73978932 edges, 134484 markings/sec, 195 secs
lola: 30285489 markings, 75723849 edges, 135688 markings/sec, 200 secs
lola: 30951106 markings, 77456811 edges, 133123 markings/sec, 205 secs
lola: 31611426 markings, 79184238 edges, 132064 markings/sec, 210 secs
lola: 32279833 markings, 80922842 edges, 133681 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(FIN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1075097 markings, 2382619 edges, 215019 markings/sec, 0 secs
lola: 2016564 markings, 4540282 edges, 188293 markings/sec, 5 secs
lola: 2909197 markings, 6604338 edges, 178527 markings/sec, 10 secs
lola: 3763459 markings, 8600623 edges, 170852 markings/sec, 15 secs
lola: 4597441 markings, 10549886 edges, 166796 markings/sec, 20 secs
lola: 5409691 markings, 12458441 edges, 162450 markings/sec, 25 secs
lola: 6203230 markings, 14330175 edges, 158708 markings/sec, 30 secs
lola: 6987950 markings, 16176411 edges, 156944 markings/sec, 35 secs
lola: 7759567 markings, 18001860 edges, 154323 markings/sec, 40 secs
lola: 8522827 markings, 19809159 edges, 152652 markings/sec, 45 secs
lola: 9274142 markings, 21594518 edges, 150263 markings/sec, 50 secs
lola: 10022247 markings, 23368219 edges, 149621 markings/sec, 55 secs
lola: 10759959 markings, 25122435 edges, 147542 markings/sec, 60 secs
lola: 11492947 markings, 26867068 edges, 146598 markings/sec, 65 secs
lola: 12220550 markings, 28601133 edges, 145521 markings/sec, 70 secs
lola: 12938132 markings, 30318392 edges, 143516 markings/sec, 75 secs
lola: 13651499 markings, 32025414 edges, 142673 markings/sec, 80 secs
lola: 14360537 markings, 33724473 edges, 141808 markings/sec, 85 secs
lola: 15066901 markings, 35417430 edges, 141273 markings/sec, 90 secs
lola: 15768619 markings, 37101037 edges, 140344 markings/sec, 95 secs
lola: 16469717 markings, 38781688 edges, 140220 markings/sec, 100 secs
lola: 17165298 markings, 40448404 edges, 139116 markings/sec, 105 secs
lola: 17858685 markings, 42113607 edges, 138677 markings/sec, 110 secs
lola: 18545441 markings, 43768239 edges, 137351 markings/sec, 115 secs
lola: 19235095 markings, 45424973 edges, 137931 markings/sec, 120 secs
lola: 19920346 markings, 47072055 edges, 137050 markings/sec, 125 secs
lola: 20603249 markings, 48712168 edges, 136581 markings/sec, 130 secs
lola: 21282284 markings, 50351695 edges, 135807 markings/sec, 135 secs
lola: 21959063 markings, 51986311 edges, 135356 markings/sec, 140 secs
lola: 22632282 markings, 53609377 edges, 134644 markings/sec, 145 secs
lola: 23300883 markings, 55220875 edges, 133720 markings/sec, 150 secs
lola: 23965691 markings, 56822870 edges, 132962 markings/sec, 155 secs
lola: 24623879 markings, 58421467 edges, 131638 markings/sec, 160 secs
lola: 25283346 markings, 60019588 edges, 131893 markings/sec, 165 secs
lola: 25943492 markings, 61615265 edges, 132029 markings/sec, 170 secs
lola: 26603301 markings, 63210597 edges, 131962 markings/sec, 175 secs
lola: 27261570 markings, 64801677 edges, 131654 markings/sec, 180 secs
lola: 27913791 markings, 66384329 edges, 130444 markings/sec, 185 secs
lola: 28573123 markings, 67977003 edges, 131866 markings/sec, 190 secs
lola: 29222314 markings, 69555667 edges, 129838 markings/sec, 195 secs
lola: 29876032 markings, 71137656 edges, 130744 markings/sec, 200 secs
lola: 30526387 markings, 72714246 edges, 130071 markings/sec, 205 secs
lola: 31172977 markings, 74278879 edges, 129318 markings/sec, 210 secs
lola: 31811320 markings, 75834791 edges, 127669 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(xESTAB)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 958514 markings, 2606251 edges, 191703 markings/sec, 0 secs
lola: 1753972 markings, 4989438 edges, 159092 markings/sec, 5 secs
lola: 2491076 markings, 7265970 edges, 147421 markings/sec, 10 secs
lola: 3200920 markings, 9493578 edges, 141969 markings/sec, 15 secs
lola: 3881483 markings, 11665733 edges, 136113 markings/sec, 20 secs
lola: 4544023 markings, 13792390 edges, 132508 markings/sec, 25 secs
lola: 5192258 markings, 15895613 edges, 129647 markings/sec, 30 secs
lola: 5827477 markings, 17966692 edges, 127044 markings/sec, 35 secs
lola: 6453811 markings, 20016603 edges, 125267 markings/sec, 40 secs
lola: 7067328 markings, 22043992 edges, 122703 markings/sec, 45 secs
lola: 7677573 markings, 24059519 edges, 122049 markings/sec, 50 secs
lola: 8282487 markings, 26059235 edges, 120983 markings/sec, 55 secs
lola: 8872870 markings, 28033778 edges, 118077 markings/sec, 60 secs
lola: 9457429 markings, 29996509 edges, 116912 markings/sec, 65 secs
lola: 10041809 markings, 31958354 edges, 116876 markings/sec, 70 secs
lola: 10616426 markings, 33900264 edges, 114923 markings/sec, 75 secs
lola: 11197869 markings, 35850721 edges, 116289 markings/sec, 80 secs
lola: 11765479 markings, 37774681 edges, 113522 markings/sec, 85 secs
lola: 12329742 markings, 39686249 edges, 112853 markings/sec, 90 secs
lola: 12883007 markings, 41561071 edges, 110653 markings/sec, 95 secs
lola: 13436915 markings, 43443844 edges, 110782 markings/sec, 100 secs
lola: 13986493 markings, 45313849 edges, 109916 markings/sec, 105 secs
lola: 14532644 markings, 47175878 edges, 109230 markings/sec, 110 secs
lola: 15074018 markings, 49033019 edges, 108275 markings/sec, 115 secs
lola: 15617711 markings, 50895984 edges, 108739 markings/sec, 120 secs
lola: 16153741 markings, 52743144 edges, 107206 markings/sec, 125 secs
lola: 16691036 markings, 54589204 edges, 107459 markings/sec, 130 secs
lola: 17223969 markings, 56426970 edges, 106587 markings/sec, 135 secs
lola: 17764200 markings, 58278820 edges, 108046 markings/sec, 140 secs
lola: 18290478 markings, 60100092 edges, 105256 markings/sec, 145 secs
lola: 18813753 markings, 61913436 edges, 104655 markings/sec, 150 secs
lola: 19338660 markings, 63728691 edges, 104981 markings/sec, 155 secs
lola: 19857270 markings, 65526261 edges, 103722 markings/sec, 160 secs
lola: 20376342 markings, 67324491 edges, 103814 markings/sec, 165 secs
lola: 20893663 markings, 69120939 edges, 103464 markings/sec, 170 secs
lola: 21411970 markings, 70916019 edges, 103661 markings/sec, 175 secs
lola: 21927953 markings, 72706048 edges, 103197 markings/sec, 180 secs
lola: 22439446 markings, 74484592 edges, 102299 markings/sec, 185 secs
lola: 22950491 markings, 76264712 edges, 102209 markings/sec, 190 secs
lola: 23456861 markings, 78039786 edges, 101274 markings/sec, 195 secs
lola: 23970189 markings, 79826144 edges, 102666 markings/sec, 200 secs
lola: 24474352 markings, 81585046 edges, 100833 markings/sec, 205 secs
lola: 24978575 markings, 83345990 edges, 100845 markings/sec, 210 secs
lola: 25486335 markings, 85113492 edges, 101552 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(xFINWAIT2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1273905 markings, 2269136 edges, 254781 markings/sec, 0 secs
lola: 2365511 markings, 4262062 edges, 218321 markings/sec, 5 secs
lola: 3399976 markings, 6160311 edges, 206893 markings/sec, 10 secs
lola: 4384664 markings, 7979692 edges, 196938 markings/sec, 15 secs
lola: 5338403 markings, 9752807 edges, 190748 markings/sec, 20 secs
lola: 6261149 markings, 11475451 edges, 184549 markings/sec, 25 secs
lola: 7167029 markings, 13168123 edges, 181176 markings/sec, 30 secs
lola: 8049558 markings, 14826311 edges, 176506 markings/sec, 35 secs
lola: 8937599 markings, 16481984 edges, 177608 markings/sec, 40 secs
lola: 9788799 markings, 18088928 edges, 170240 markings/sec, 45 secs
lola: 10638239 markings, 19686405 edges, 169888 markings/sec, 50 secs
lola: 11470271 markings, 21262559 edges, 166406 markings/sec, 55 secs
lola: 12311617 markings, 22845361 edges, 168269 markings/sec, 60 secs
lola: 13142335 markings, 24412033 edges, 166144 markings/sec, 65 secs
lola: 13948398 markings, 25953799 edges, 161213 markings/sec, 70 secs
lola: 14759581 markings, 27494191 edges, 162237 markings/sec, 75 secs
lola: 15567258 markings, 29024221 edges, 161535 markings/sec, 80 secs
lola: 16362093 markings, 30535070 edges, 158967 markings/sec, 85 secs
lola: 17175812 markings, 32062469 edges, 162744 markings/sec, 90 secs
lola: 17960884 markings, 33555616 edges, 157014 markings/sec, 95 secs
lola: 18738415 markings, 35037461 edges, 155506 markings/sec, 100 secs
lola: 19510572 markings, 36513453 edges, 154431 markings/sec, 105 secs
lola: 20270960 markings, 37978200 edges, 152078 markings/sec, 110 secs
lola: 21040556 markings, 39447623 edges, 153919 markings/sec, 115 secs
lola: 21806511 markings, 40909644 edges, 153191 markings/sec, 120 secs
lola: 22562033 markings, 42357813 edges, 151104 markings/sec, 125 secs
lola: 23307985 markings, 43794326 edges, 149190 markings/sec, 130 secs
lola: 24053849 markings, 45228168 edges, 149173 markings/sec, 135 secs
lola: 24787825 markings, 46646851 edges, 146795 markings/sec, 140 secs
lola: 25524252 markings, 48052135 edges, 147285 markings/sec, 145 secs
lola: 26245385 markings, 49438502 edges, 144227 markings/sec, 150 secs
lola: 26959414 markings, 50816687 edges, 142806 markings/sec, 155 secs
lola: 27676237 markings, 52190891 edges, 143365 markings/sec, 160 secs
lola: 28396816 markings, 53574045 edges, 144116 markings/sec, 165 secs
lola: 29105403 markings, 54937466 edges, 141717 markings/sec, 170 secs
lola: 29808609 markings, 56297230 edges, 140641 markings/sec, 175 secs
lola: 30509991 markings, 57655792 edges, 140276 markings/sec, 180 secs
lola: 31207209 markings, 58995497 edges, 139444 markings/sec, 185 secs
lola: 31912991 markings, 60357540 edges, 141156 markings/sec, 190 secs
lola: 32615958 markings, 61714176 edges, 140593 markings/sec, 195 secs
lola: 33315992 markings, 63066344 edges, 140007 markings/sec, 200 secs
lola: 34017573 markings, 64424987 edges, 140316 markings/sec, 205 secs
lola: 34705172 markings, 65756000 edges, 137520 markings/sec, 210 secs
lola: 35386021 markings, 67081519 edges, 136170 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1123913 markings, 2230184 edges, 224783 markings/sec, 0 secs
lola: 2061150 markings, 4202524 edges, 187447 markings/sec, 5 secs
lola: 2955163 markings, 6120067 edges, 178803 markings/sec, 10 secs
lola: 3802465 markings, 7959145 edges, 169460 markings/sec, 15 secs
lola: 4631583 markings, 9773031 edges, 165824 markings/sec, 20 secs
lola: 5438785 markings, 11550857 edges, 161440 markings/sec, 25 secs
lola: 6226801 markings, 13288159 edges, 157603 markings/sec, 30 secs
lola: 6990990 markings, 14992180 edges, 152838 markings/sec, 35 secs
lola: 7756415 markings, 16696754 edges, 153085 markings/sec, 40 secs
lola: 8506648 markings, 18377837 edges, 150047 markings/sec, 45 secs
lola: 9246106 markings, 20044681 edges, 147892 markings/sec, 50 secs
lola: 9984776 markings, 21708095 edges, 147734 markings/sec, 55 secs
lola: 10708638 markings, 23346342 edges, 144772 markings/sec, 60 secs
lola: 11429916 markings, 24975303 edges, 144256 markings/sec, 65 secs
lola: 12140333 markings, 26591865 edges, 142083 markings/sec, 70 secs
lola: 12845322 markings, 28196706 edges, 140998 markings/sec, 75 secs
lola: 13537127 markings, 29779831 edges, 138361 markings/sec, 80 secs
lola: 14220615 markings, 31342916 edges, 136698 markings/sec, 85 secs
lola: 14901301 markings, 32902628 edges, 136137 markings/sec, 90 secs
lola: 15579965 markings, 34458362 edges, 135733 markings/sec, 95 secs
lola: 16263410 markings, 36032597 edges, 136689 markings/sec, 100 secs
lola: 16945613 markings, 37598932 edges, 136441 markings/sec, 105 secs
lola: 17622022 markings, 39154826 edges, 135282 markings/sec, 110 secs
lola: 18299769 markings, 40712414 edges, 135549 markings/sec, 115 secs
lola: 18969917 markings, 42264054 edges, 134030 markings/sec, 120 secs
lola: 19636364 markings, 43804132 edges, 133289 markings/sec, 125 secs
lola: 20303670 markings, 45343904 edges, 133461 markings/sec, 130 secs
lola: 20955082 markings, 46863980 edges, 130282 markings/sec, 135 secs
lola: 21594197 markings, 48352273 edges, 127823 markings/sec, 140 secs
lola: 22246485 markings, 49869273 edges, 130458 markings/sec, 145 secs
lola: 22903280 markings, 51393367 edges, 131359 markings/sec, 150 secs
lola: 23557336 markings, 52917559 edges, 130811 markings/sec, 155 secs
lola: 24212676 markings, 54443263 edges, 131068 markings/sec, 160 secs
lola: 24862750 markings, 55961235 edges, 130015 markings/sec, 165 secs
lola: 25509820 markings, 57473460 edges, 129414 markings/sec, 170 secs
lola: 26157961 markings, 58987304 edges, 129628 markings/sec, 175 secs
lola: 26796666 markings, 60488932 edges, 127741 markings/sec, 180 secs
lola: 27442629 markings, 61998362 edges, 129193 markings/sec, 185 secs
lola: 28084986 markings, 63499079 edges, 128471 markings/sec, 190 secs
lola: 28724492 markings, 64992291 edges, 127901 markings/sec, 195 secs
lola: 29358069 markings, 66477793 edges, 126715 markings/sec, 200 secs
lola: 29987789 markings, 67958242 edges, 125944 markings/sec, 205 secs
lola: 30614074 markings, 69435812 edges, 125257 markings/sec, 210 secs
lola: 31235587 markings, 70900680 edges, 124303 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xTIMEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1216251 markings, 2265430 edges, 243250 markings/sec, 0 secs
lola: 2129636 markings, 4239599 edges, 182677 markings/sec, 5 secs
lola: 2948366 markings, 6108341 edges, 163746 markings/sec, 10 secs
lola: 3753917 markings, 7970244 edges, 161110 markings/sec, 15 secs
lola: 4549180 markings, 9821673 edges, 159053 markings/sec, 20 secs
lola: 5313783 markings, 11645509 edges, 152921 markings/sec, 25 secs
lola: 6068157 markings, 13445341 edges, 150875 markings/sec, 30 secs
lola: 6822431 markings, 15246734 edges, 150855 markings/sec, 35 secs
lola: 7573340 markings, 17029459 edges, 150182 markings/sec, 40 secs
lola: 8299244 markings, 18791469 edges, 145181 markings/sec, 45 secs
lola: 9030928 markings, 20544555 edges, 146337 markings/sec, 50 secs
lola: 9750265 markings, 22284694 edges, 143867 markings/sec, 55 secs
lola: 10478324 markings, 24028875 edges, 145612 markings/sec, 60 secs
lola: 11207219 markings, 25792794 edges, 145779 markings/sec, 65 secs
lola: 11915395 markings, 27515675 edges, 141635 markings/sec, 70 secs
lola: 12625164 markings, 29232020 edges, 141954 markings/sec, 75 secs
lola: 13333878 markings, 30964164 edges, 141743 markings/sec, 80 secs
lola: 14039504 markings, 32682057 edges, 141125 markings/sec, 85 secs
lola: 14734091 markings, 34375171 edges, 138917 markings/sec, 90 secs
lola: 15423271 markings, 36062927 edges, 137836 markings/sec, 95 secs
lola: 16113951 markings, 37754153 edges, 138136 markings/sec, 100 secs
lola: 16800257 markings, 39454903 edges, 137261 markings/sec, 105 secs
lola: 17477711 markings, 41135311 edges, 135491 markings/sec, 110 secs
lola: 18155311 markings, 42819392 edges, 135520 markings/sec, 115 secs
lola: 18825936 markings, 44512783 edges, 134125 markings/sec, 120 secs
lola: 19486457 markings, 46197075 edges, 132104 markings/sec, 125 secs
lola: 20142498 markings, 47889114 edges, 131208 markings/sec, 130 secs
lola: 20773675 markings, 49518049 edges, 126235 markings/sec, 135 secs
lola: 21371274 markings, 51073374 edges, 119520 markings/sec, 140 secs
lola: 21988691 markings, 52683064 edges, 123483 markings/sec, 145 secs
lola: 22601782 markings, 54292837 edges, 122618 markings/sec, 150 secs
lola: 23207084 markings, 55897545 edges, 121060 markings/sec, 155 secs
lola: 23811956 markings, 57497426 edges, 120974 markings/sec, 160 secs
lola: 24404123 markings, 59090886 edges, 118433 markings/sec, 165 secs
lola: 24987834 markings, 60661158 edges, 116742 markings/sec, 170 secs
lola: 25572146 markings, 62242328 edges, 116862 markings/sec, 175 secs
lola: 26154111 markings, 63835514 edges, 116393 markings/sec, 180 secs
lola: 26726170 markings, 65413228 edges, 114412 markings/sec, 185 secs
lola: 27294949 markings, 66975150 edges, 113756 markings/sec, 190 secs
lola: 27856095 markings, 68531805 edges, 112229 markings/sec, 195 secs
lola: 28413912 markings, 70082439 edges, 111563 markings/sec, 200 secs
lola: 28963098 markings, 71623881 edges, 109837 markings/sec, 205 secs
lola: 29507779 markings, 73147278 edges, 108936 markings/sec, 210 secs
lola: 30041394 markings, 74663392 edges, 106723 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1110069 markings, 2202210 edges, 222014 markings/sec, 0 secs
lola: 2068867 markings, 4218810 edges, 191760 markings/sec, 5 secs
lola: 2964344 markings, 6139844 edges, 179095 markings/sec, 10 secs
lola: 3818166 markings, 7992527 edges, 170764 markings/sec, 15 secs
lola: 4646688 markings, 9806662 edges, 165704 markings/sec, 20 secs
lola: 5452207 markings, 11580572 edges, 161104 markings/sec, 25 secs
lola: 6247863 markings, 13334709 edges, 159131 markings/sec, 30 secs
lola: 7021413 markings, 15060303 edges, 154710 markings/sec, 35 secs
lola: 7783606 markings, 16757280 edges, 152439 markings/sec, 40 secs
lola: 8535527 markings, 18443481 edges, 150384 markings/sec, 45 secs
lola: 9276510 markings, 20112095 edges, 148197 markings/sec, 50 secs
lola: 10006730 markings, 21758898 edges, 146044 markings/sec, 55 secs
lola: 10728888 markings, 23391960 edges, 144432 markings/sec, 60 secs
lola: 11446990 markings, 25014862 edges, 143620 markings/sec, 65 secs
lola: 12156494 markings, 26629203 edges, 141901 markings/sec, 70 secs
lola: 12866326 markings, 28244383 edges, 141966 markings/sec, 75 secs
lola: 13568300 markings, 29849141 edges, 140395 markings/sec, 80 secs
lola: 14266049 markings, 31446652 edges, 139550 markings/sec, 85 secs
lola: 14962510 markings, 33043259 edges, 139292 markings/sec, 90 secs
lola: 15647160 markings, 34612854 edges, 136930 markings/sec, 95 secs
lola: 16323830 markings, 36172587 edges, 135334 markings/sec, 100 secs
lola: 17003636 markings, 37731595 edges, 135961 markings/sec, 105 secs
lola: 17678345 markings, 39285183 edges, 134942 markings/sec, 110 secs
lola: 18353364 markings, 40837066 edges, 135004 markings/sec, 115 secs
lola: 19013365 markings, 42365504 edges, 132000 markings/sec, 120 secs
lola: 19673621 markings, 43891173 edges, 132051 markings/sec, 125 secs
lola: 20334178 markings, 45414210 edges, 132111 markings/sec, 130 secs
lola: 20980808 markings, 46924305 edges, 129326 markings/sec, 135 secs
lola: 21623947 markings, 48421767 edges, 128628 markings/sec, 140 secs
lola: 22265799 markings, 49913773 edges, 128370 markings/sec, 145 secs
lola: 22911124 markings, 51412300 edges, 129065 markings/sec, 150 secs
lola: 23556355 markings, 52915150 edges, 129046 markings/sec, 155 secs
lola: 24207183 markings, 54430872 edges, 130166 markings/sec, 160 secs
lola: 24849823 markings, 55930790 edges, 128528 markings/sec, 165 secs
lola: 25488748 markings, 57424491 edges, 127785 markings/sec, 170 secs
lola: 26129002 markings, 58919702 edges, 128051 markings/sec, 175 secs
lola: 26760286 markings, 60403673 edges, 126257 markings/sec, 180 secs
lola: 27397293 markings, 61892127 edges, 127401 markings/sec, 185 secs
lola: 28034132 markings, 63380770 edges, 127368 markings/sec, 190 secs
lola: 28671912 markings, 64868906 edges, 127556 markings/sec, 195 secs
lola: 29300193 markings, 66341779 edges, 125656 markings/sec, 200 secs
lola: 29927262 markings, 67817700 edges, 125414 markings/sec, 205 secs
lola: 30552248 markings, 69290024 edges, 124997 markings/sec, 210 secs
lola: 31174080 markings, 70756613 edges, 124366 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSING)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1251813 markings, 2123497 edges, 250363 markings/sec, 0 secs
lola: 2454508 markings, 4192413 edges, 240539 markings/sec, 5 secs
lola: 3636170 markings, 6230754 edges, 236332 markings/sec, 10 secs
lola: 4779111 markings, 8198636 edges, 228588 markings/sec, 15 secs
lola: 5899689 markings, 10136914 edges, 224116 markings/sec, 20 secs
lola: 7004045 markings, 12044612 edges, 220871 markings/sec, 25 secs
lola: 8086138 markings, 13921435 edges, 216419 markings/sec, 30 secs
lola: 9159170 markings, 15780400 edges, 214606 markings/sec, 35 secs
lola: 10221121 markings, 17620879 edges, 212390 markings/sec, 40 secs
lola: 11272687 markings, 19446185 edges, 210313 markings/sec, 45 secs
lola: 12325144 markings, 21267341 edges, 210491 markings/sec, 50 secs
lola: 13359095 markings, 23063750 edges, 206790 markings/sec, 55 secs
lola: 14391087 markings, 24854516 edges, 206398 markings/sec, 60 secs
lola: 15422727 markings, 26641402 edges, 206328 markings/sec, 65 secs
lola: 16436635 markings, 28403803 edges, 202782 markings/sec, 70 secs
lola: 17450484 markings, 30165373 edges, 202770 markings/sec, 75 secs
lola: 18463302 markings, 31924896 edges, 202564 markings/sec, 80 secs
lola: 19466940 markings, 33668554 edges, 200728 markings/sec, 85 secs
lola: 20467210 markings, 35406142 edges, 200054 markings/sec, 90 secs
lola: 21460981 markings, 37128910 edges, 198754 markings/sec, 95 secs
lola: 22449064 markings, 38852116 edges, 197617 markings/sec, 100 secs
lola: 23439494 markings, 40574437 edges, 198086 markings/sec, 105 secs
lola: 24418130 markings, 42277126 edges, 195727 markings/sec, 110 secs
lola: 25407192 markings, 43997247 edges, 197812 markings/sec, 115 secs
lola: 26395018 markings, 45711830 edges, 197565 markings/sec, 120 secs
lola: 27368312 markings, 47406806 edges, 194659 markings/sec, 125 secs
lola: 28343127 markings, 49103451 edges, 194963 markings/sec, 130 secs
lola: 29320949 markings, 50803382 edges, 195564 markings/sec, 135 secs
lola: 30292136 markings, 52491085 edges, 194237 markings/sec, 140 secs
lola: 31262709 markings, 54178509 edges, 194115 markings/sec, 145 secs
lola: 32225980 markings, 55853721 edges, 192654 markings/sec, 150 secs
lola: 33188933 markings, 57529204 edges, 192591 markings/sec, 155 secs
lola: 34149407 markings, 59203793 edges, 192095 markings/sec, 160 secs
lola: 35110037 markings, 60876139 edges, 192126 markings/sec, 165 secs
lola: 36073059 markings, 62547388 edges, 192604 markings/sec, 170 secs
lola: 37037628 markings, 64218039 edges, 192914 markings/sec, 175 secs
lola: 37987534 markings, 65867938 edges, 189981 markings/sec, 180 secs
lola: 38938030 markings, 67520633 edges, 190099 markings/sec, 185 secs
lola: 39882640 markings, 69164336 edges, 188922 markings/sec, 190 secs
lola: 40824714 markings, 70802909 edges, 188415 markings/sec, 195 secs
lola: 41769519 markings, 72447292 edges, 188961 markings/sec, 200 secs
lola: 42711965 markings, 74087408 edges, 188489 markings/sec, 205 secs
lola: 43656177 markings, 75727261 edges, 188842 markings/sec, 210 secs
lola: 44591993 markings, 77360343 edges, 187163 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xSYNACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1065576 markings, 2611699 edges, 213115 markings/sec, 0 secs
lola: 1950024 markings, 4929473 edges, 176890 markings/sec, 5 secs
lola: 2790753 markings, 7170740 edges, 168146 markings/sec, 10 secs
lola: 3603165 markings, 9350146 edges, 162482 markings/sec, 15 secs
lola: 4398291 markings, 11491865 edges, 159025 markings/sec, 20 secs
lola: 5179268 markings, 13606407 edges, 156195 markings/sec, 25 secs
lola: 5959982 markings, 15731485 edges, 156143 markings/sec, 30 secs
lola: 6724555 markings, 17816384 edges, 152915 markings/sec, 35 secs
lola: 7463173 markings, 19838254 edges, 147724 markings/sec, 40 secs
lola: 8189380 markings, 21833760 edges, 145241 markings/sec, 45 secs
lola: 8913325 markings, 23826255 edges, 144789 markings/sec, 50 secs
lola: 9637264 markings, 25816248 edges, 144788 markings/sec, 55 secs
lola: 10358640 markings, 27795442 edges, 144275 markings/sec, 60 secs
lola: 11068115 markings, 29748781 edges, 141895 markings/sec, 65 secs
lola: 11773822 markings, 31692796 edges, 141141 markings/sec, 70 secs
lola: 12481258 markings, 33641926 edges, 141487 markings/sec, 75 secs
lola: 13180043 markings, 35581560 edges, 139757 markings/sec, 80 secs
lola: 13876928 markings, 37510025 edges, 139377 markings/sec, 85 secs
lola: 14566744 markings, 39426118 edges, 137963 markings/sec, 90 secs
lola: 15252191 markings, 41328067 edges, 137089 markings/sec, 95 secs
lola: 15934439 markings, 43228076 edges, 136450 markings/sec, 100 secs
lola: 16617740 markings, 45122533 edges, 136660 markings/sec, 105 secs
lola: 17303542 markings, 47021976 edges, 137160 markings/sec, 110 secs
lola: 17985765 markings, 48916941 edges, 136445 markings/sec, 115 secs
lola: 18659524 markings, 50804911 edges, 134752 markings/sec, 120 secs
lola: 19340408 markings, 52699633 edges, 136177 markings/sec, 125 secs
lola: 20015334 markings, 54588176 edges, 134985 markings/sec, 130 secs
lola: 20694407 markings, 56481638 edges, 135815 markings/sec, 135 secs
lola: 21363695 markings, 58359659 edges, 133858 markings/sec, 140 secs
lola: 22033510 markings, 60232168 edges, 133963 markings/sec, 145 secs
lola: 22704529 markings, 62102418 edges, 134204 markings/sec, 150 secs
lola: 23375688 markings, 63970252 edges, 134232 markings/sec, 155 secs
lola: 24048331 markings, 65840311 edges, 134529 markings/sec, 160 secs
lola: 24707850 markings, 67700936 edges, 131904 markings/sec, 165 secs
lola: 25364140 markings, 69549888 edges, 131258 markings/sec, 170 secs
lola: 26022285 markings, 71402476 edges, 131629 markings/sec, 175 secs
lola: 26682230 markings, 73260759 edges, 131989 markings/sec, 180 secs
lola: 27344321 markings, 75124196 edges, 132418 markings/sec, 185 secs
lola: 28010504 markings, 76994855 edges, 133237 markings/sec, 190 secs
lola: 28672512 markings, 78859854 edges, 132402 markings/sec, 195 secs
lola: 29336157 markings, 80722276 edges, 132729 markings/sec, 200 secs
lola: 30000942 markings, 82588359 edges, 132957 markings/sec, 205 secs
lola: 30656553 markings, 84439062 edges, 131122 markings/sec, 210 secs
lola: 31311503 markings, 86292733 edges, 130990 markings/sec, 215 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xFINACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1193189 markings, 2303822 edges, 238638 markings/sec, 0 secs
lola: 2220279 markings, 4365494 edges, 205418 markings/sec, 5 secs
lola: 3179870 markings, 6317110 edges, 191918 markings/sec, 10 secs
lola: 4120191 markings, 8242456 edges, 188064 markings/sec, 15 secs
lola: 5032060 markings, 10121355 edges, 182374 markings/sec, 20 secs
lola: 5918038 markings, 11956334 edges, 177196 markings/sec, 25 secs
lola: 6799625 markings, 13775265 edges, 176317 markings/sec, 30 secs
lola: 7648309 markings, 15544132 edges, 169737 markings/sec, 35 secs
lola: 8490586 markings, 17301854 edges, 168455 markings/sec, 40 secs
lola: 9320973 markings, 19043356 edges, 166077 markings/sec, 45 secs
lola: 10138657 markings, 20760087 edges, 163537 markings/sec, 50 secs
lola: 10954380 markings, 22471050 edges, 163145 markings/sec, 55 secs
lola: 11755342 markings, 24161172 edges, 160192 markings/sec, 60 secs
lola: 12550161 markings, 25842405 edges, 158964 markings/sec, 65 secs
lola: 13347255 markings, 27520658 edges, 159419 markings/sec, 70 secs
lola: 14133375 markings, 29174688 edges, 157224 markings/sec, 75 secs
lola: 14904730 markings, 30814223 edges, 154271 markings/sec, 80 secs
lola: 15680859 markings, 32458134 edges, 155226 markings/sec, 85 secs
lola: 16446611 markings, 34086984 edges, 153150 markings/sec, 90 secs
lola: 17215900 markings, 35720268 edges, 153858 markings/sec, 95 secs
lola: 17990043 markings, 37356116 edges, 154829 markings/sec, 100 secs
lola: 18752955 markings, 38976534 edges, 152582 markings/sec, 105 secs
lola: 19508285 markings, 40588566 edges, 151066 markings/sec, 110 secs
lola: 20273333 markings, 42207046 edges, 153010 markings/sec, 115 secs
lola: 21029614 markings, 43815037 edges, 151256 markings/sec, 120 secs
lola: 21777637 markings, 45413727 edges, 149605 markings/sec, 125 secs
lola: 22527054 markings, 47009289 edges, 149883 markings/sec, 130 secs
lola: 23272524 markings, 48598940 edges, 149094 markings/sec, 135 secs
lola: 24018494 markings, 50189485 edges, 149194 markings/sec, 140 secs
lola: 24759428 markings, 51768029 edges, 148187 markings/sec, 145 secs
lola: 25496598 markings, 53346963 edges, 147434 markings/sec, 150 secs
lola: 26227473 markings, 54914315 edges, 146175 markings/sec, 155 secs
lola: 26960678 markings, 56483560 edges, 146641 markings/sec, 160 secs
lola: 27684885 markings, 58039276 edges, 144841 markings/sec, 165 secs
lola: 28404070 markings, 59588788 edges, 143837 markings/sec, 170 secs
lola: 29133527 markings, 61154243 edges, 145891 markings/sec, 175 secs
lola: 29858095 markings, 62708063 edges, 144914 markings/sec, 180 secs
lola: 30574600 markings, 64247544 edges, 143301 markings/sec, 185 secs
lola: 31290411 markings, 65787304 edges, 143162 markings/sec, 190 secs
lola: 32013068 markings, 67332123 edges, 144531 markings/sec, 195 secs
lola: 32731477 markings, 68869786 edges, 143682 markings/sec, 200 secs
lola: 33438359 markings, 70394817 edges, 141376 markings/sec, 205 secs
lola: 34153356 markings, 71930269 edges, 142999 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xCLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1201333 markings, 2306420 edges, 240267 markings/sec, 0 secs
lola: 2250174 markings, 4391847 edges, 209768 markings/sec, 5 secs
lola: 3247402 markings, 6392793 edges, 199446 markings/sec, 10 secs
lola: 4201351 markings, 8325654 edges, 190790 markings/sec, 15 secs
lola: 5117942 markings, 10192831 edges, 183318 markings/sec, 20 secs
lola: 6023922 markings, 12045801 edges, 181196 markings/sec, 25 secs
lola: 6907077 markings, 13854419 edges, 176631 markings/sec, 30 secs
lola: 7774765 markings, 15635779 edges, 173538 markings/sec, 35 secs
lola: 8632810 markings, 17401855 edges, 171609 markings/sec, 40 secs
lola: 9477008 markings, 19136295 edges, 168840 markings/sec, 45 secs
lola: 10310783 markings, 20855500 edges, 166755 markings/sec, 50 secs
lola: 11137088 markings, 22563157 edges, 165261 markings/sec, 55 secs
lola: 11955370 markings, 24255383 edges, 163656 markings/sec, 60 secs
lola: 12761635 markings, 25935897 edges, 161253 markings/sec, 65 secs
lola: 13567411 markings, 27608112 edges, 161155 markings/sec, 70 secs
lola: 14356043 markings, 29249544 edges, 157726 markings/sec, 75 secs
lola: 15146125 markings, 30892740 edges, 158016 markings/sec, 80 secs
lola: 15929718 markings, 32526515 edges, 156719 markings/sec, 85 secs
lola: 16705300 markings, 34142623 edges, 155116 markings/sec, 90 secs
lola: 17479112 markings, 35756917 edges, 154762 markings/sec, 95 secs
lola: 18250577 markings, 37366308 edges, 154293 markings/sec, 100 secs
lola: 19017400 markings, 38965162 edges, 153365 markings/sec, 105 secs
lola: 19781134 markings, 40563234 edges, 152747 markings/sec, 110 secs
lola: 20543830 markings, 42160672 edges, 152539 markings/sec, 115 secs
lola: 21309406 markings, 43759623 edges, 153115 markings/sec, 120 secs
lola: 22073931 markings, 45354028 edges, 152905 markings/sec, 125 secs
lola: 22822308 markings, 46924547 edges, 149675 markings/sec, 130 secs
lola: 23571737 markings, 48493856 edges, 149886 markings/sec, 135 secs
lola: 24314592 markings, 50052419 edges, 148571 markings/sec, 140 secs
lola: 25053467 markings, 51598101 edges, 147775 markings/sec, 145 secs
lola: 25791059 markings, 53149102 edges, 147518 markings/sec, 150 secs
lola: 26533561 markings, 54707419 edges, 148500 markings/sec, 155 secs
lola: 27272205 markings, 56260832 edges, 147729 markings/sec, 160 secs
lola: 28006698 markings, 57804160 edges, 146899 markings/sec, 165 secs
lola: 28730737 markings, 59328328 edges, 144808 markings/sec, 170 secs
lola: 29448033 markings, 60848433 edges, 143459 markings/sec, 175 secs
lola: 30165974 markings, 62363077 edges, 143588 markings/sec, 180 secs
lola: 30882445 markings, 63870372 edges, 143294 markings/sec, 185 secs
lola: 31597859 markings, 65378098 edges, 143083 markings/sec, 190 secs
lola: 32317982 markings, 66893125 edges, 144025 markings/sec, 195 secs
lola: 33033452 markings, 68403712 edges, 143094 markings/sec, 200 secs
lola: 33745435 markings, 69911062 edges, 142397 markings/sec, 205 secs
lola: 34460465 markings, 71422155 edges, 143006 markings/sec, 210 secs
lola: 35178583 markings, 72939190 edges, 143624 markings/sec, 215 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSED)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 1145087 markings, 2636731 edges, 229017 markings/sec, 0 secs
lola: 2081307 markings, 4990437 edges, 187244 markings/sec, 5 secs
lola: 2948466 markings, 7256004 edges, 173432 markings/sec, 10 secs
lola: 3758267 markings, 9429163 edges, 161960 markings/sec, 15 secs
lola: 4525319 markings, 11532425 edges, 153410 markings/sec, 20 secs
lola: 5261162 markings, 13565504 edges, 147169 markings/sec, 25 secs
lola: 5968562 markings, 15541679 edges, 141480 markings/sec, 30 secs
lola: 6650695 markings, 17465839 edges, 136427 markings/sec, 35 secs
lola: 7331276 markings, 19389614 edges, 136116 markings/sec, 40 secs
lola: 8002679 markings, 21279527 edges, 134281 markings/sec, 45 secs
lola: 8640733 markings, 23100788 edges, 127611 markings/sec, 50 secs
lola: 9282312 markings, 24934031 edges, 128316 markings/sec, 55 secs
lola: 9921477 markings, 26765025 edges, 127833 markings/sec, 60 secs
lola: 10545058 markings, 28566239 edges, 124716 markings/sec, 65 secs
lola: 11162978 markings, 30361460 edges, 123584 markings/sec, 70 secs
lola: 11776644 markings, 32149657 edges, 122733 markings/sec, 75 secs
lola: 12385222 markings, 33923572 edges, 121716 markings/sec, 80 secs
lola: 12996784 markings, 35696667 edges, 122312 markings/sec, 85 secs
lola: 13597617 markings, 37447358 edges, 120167 markings/sec, 90 secs
lola: 14183056 markings, 39176455 edges, 117088 markings/sec, 95 secs
lola: 14763560 markings, 40892884 edges, 116101 markings/sec, 100 secs
lola: 15342340 markings, 42601360 edges, 115756 markings/sec, 105 secs
lola: 15914277 markings, 44296244 edges, 114387 markings/sec, 110 secs
lola: 16478083 markings, 45967609 edges, 112761 markings/sec, 115 secs
lola: 17027257 markings, 47605062 edges, 109835 markings/sec, 120 secs
lola: 17580094 markings, 49265302 edges, 110567 markings/sec, 125 secs
lola: 18120361 markings, 50891357 edges, 108053 markings/sec, 130 secs
lola: 18663690 markings, 52515199 edges, 108666 markings/sec, 135 secs
lola: 19206316 markings, 54140848 edges, 108525 markings/sec, 140 secs
lola: 19745481 markings, 55762279 edges, 107833 markings/sec, 145 secs
lola: 20270710 markings, 57350455 edges, 105046 markings/sec, 150 secs
lola: 20806532 markings, 58960691 edges, 107164 markings/sec, 155 secs
lola: 21348819 markings, 60587729 edges, 108457 markings/sec, 160 secs
lola: 21879263 markings, 62182195 edges, 106089 markings/sec, 165 secs
lola: 22411800 markings, 63787979 edges, 106507 markings/sec, 170 secs
lola: 22946528 markings, 65399267 edges, 106946 markings/sec, 175 secs
lola: 23467474 markings, 66979675 edges, 104189 markings/sec, 180 secs
lola: 23993318 markings, 68563275 edges, 105169 markings/sec, 185 secs
lola: 24500489 markings, 70113942 edges, 101434 markings/sec, 190 secs
lola: 25008825 markings, 71667215 edges, 101667 markings/sec, 195 secs
lola: 25543618 markings, 73280244 edges, 106959 markings/sec, 200 secs
lola: 26046176 markings, 74822751 edges, 100512 markings/sec, 205 secs
lola: 26564815 markings, 76392620 edges, 103728 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA TCPcondis-PT-50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496570155279

--------------------
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="S_TCPcondis-PT-50"
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_TCPcondis-PT-50.tgz
mv S_TCPcondis-PT-50 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_TCPcondis-PT-50, 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 r158-ebro-149443464200245"
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 ;