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-30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464100218
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496565272517


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


checking for too many tokens
===========================================================================================
S_TCPcondis-PT-30: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_TCPcondis-PT-30 @ 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: 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-30-UpperBounds.task
lola: MAX(xSYNRCVD) : MAX(CLOSEWAIT) : MAX(xESTAB) : MAX(xFINWAIT2) : MAX(xLASTACK) : MAX(FINWAIT1) : MAX(xLASTACK) : MAX(FIN) : MAX(LISTEN) : MAX(CLOSED) : MAX(xLASTACK) : MAX(xSYN) : MAX(FINACK) : MAX(xCLOSING) : MAX(FINWAIT1) : MAX(FIN)
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(xSYNRCVD)
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: 1054141 markings, 2636390 edges, 210828 markings/sec, 0 secs
lola: 1896703 markings, 4875919 edges, 168512 markings/sec, 5 secs
lola: 2652272 markings, 6932918 edges, 151114 markings/sec, 10 secs
lola: 3345760 markings, 8822152 edges, 138698 markings/sec, 15 secs
lola: 4020455 markings, 10664651 edges, 134939 markings/sec, 20 secs
lola: 4689088 markings, 12503651 edges, 133727 markings/sec, 25 secs
lola: 5362256 markings, 14364921 edges, 134634 markings/sec, 30 secs
lola: 6006539 markings, 16154679 edges, 128857 markings/sec, 35 secs
lola: 6645640 markings, 17928782 edges, 127820 markings/sec, 40 secs
lola: 7281266 markings, 19697241 edges, 127125 markings/sec, 45 secs
lola: 7908989 markings, 21444990 edges, 125545 markings/sec, 50 secs
lola: 8521999 markings, 23159133 edges, 122602 markings/sec, 55 secs
lola: 9139232 markings, 24869819 edges, 123447 markings/sec, 60 secs
lola: 9747637 markings, 26562986 edges, 121681 markings/sec, 65 secs
lola: 10342413 markings, 28225331 edges, 118955 markings/sec, 70 secs
lola: 10904788 markings, 29802740 edges, 112475 markings/sec, 75 secs
lola: 11497049 markings, 31455979 edges, 118452 markings/sec, 80 secs
lola: 12092633 markings, 33113760 edges, 119117 markings/sec, 85 secs
lola: 12680685 markings, 34767776 edges, 117610 markings/sec, 90 secs
lola: 13273240 markings, 36432108 edges, 118511 markings/sec, 95 secs
lola: 13868404 markings, 38101137 edges, 119033 markings/sec, 100 secs
lola: 14463124 markings, 39766240 edges, 118944 markings/sec, 105 secs
lola: 15055399 markings, 41429296 edges, 118455 markings/sec, 110 secs
lola: 15654335 markings, 43105797 edges, 119787 markings/sec, 115 secs
lola: 16245321 markings, 44775425 edges, 118197 markings/sec, 120 secs
lola: 16843304 markings, 46455647 edges, 119597 markings/sec, 125 secs
lola: 17443646 markings, 48132132 edges, 120068 markings/sec, 130 secs
lola: 18035832 markings, 49793623 edges, 118437 markings/sec, 135 secs
lola: 18632631 markings, 51467029 edges, 119360 markings/sec, 140 secs
lola: 19231251 markings, 53149984 edges, 119724 markings/sec, 145 secs
lola: 19834982 markings, 54839795 edges, 120746 markings/sec, 150 secs
lola: 20386810 markings, 56396438 edges, 110366 markings/sec, 155 secs
lola: 20933451 markings, 57930992 edges, 109328 markings/sec, 160 secs
lola: 21477256 markings, 59466546 edges, 108761 markings/sec, 165 secs
lola: 22016685 markings, 60994295 edges, 107886 markings/sec, 170 secs
lola: 22560039 markings, 62523015 edges, 108671 markings/sec, 175 secs
lola: 23103243 markings, 64050596 edges, 108641 markings/sec, 180 secs
lola: 23640593 markings, 65575655 edges, 107470 markings/sec, 185 secs
lola: 24177588 markings, 67095382 edges, 107399 markings/sec, 190 secs
lola: 24718961 markings, 68622758 edges, 108275 markings/sec, 195 secs
lola: 25258064 markings, 70141634 edges, 107821 markings/sec, 200 secs
lola: 25800079 markings, 71666281 edges, 108403 markings/sec, 205 secs
lola: 26338163 markings, 73189519 edges, 107617 markings/sec, 210 secs
lola: 26875515 markings, 74709649 edges, 107470 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(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: 1055193 markings, 2088716 edges, 211039 markings/sec, 0 secs
lola: 1907275 markings, 3875708 edges, 170416 markings/sec, 5 secs
lola: 2702684 markings, 5575304 edges, 159082 markings/sec, 10 secs
lola: 3458629 markings, 7209254 edges, 151189 markings/sec, 15 secs
lola: 4194462 markings, 8813148 edges, 147167 markings/sec, 20 secs
lola: 4903312 markings, 10374605 edges, 141770 markings/sec, 25 secs
lola: 5592537 markings, 11888748 edges, 137845 markings/sec, 30 secs
lola: 6326275 markings, 13510913 edges, 146748 markings/sec, 35 secs
lola: 7047274 markings, 15118264 edges, 144200 markings/sec, 40 secs
lola: 7771385 markings, 16730492 edges, 144822 markings/sec, 45 secs
lola: 8494412 markings, 18350706 edges, 144605 markings/sec, 50 secs
lola: 9211656 markings, 19967618 edges, 143449 markings/sec, 55 secs
lola: 9924858 markings, 21573962 edges, 142640 markings/sec, 60 secs
lola: 10634054 markings, 23177568 edges, 141839 markings/sec, 65 secs
lola: 11339660 markings, 24772040 edges, 141121 markings/sec, 70 secs
lola: 12027257 markings, 26333987 edges, 137519 markings/sec, 75 secs
lola: 12733859 markings, 27942219 edges, 141320 markings/sec, 80 secs
lola: 13440537 markings, 29559403 edges, 141336 markings/sec, 85 secs
lola: 14143141 markings, 31164730 edges, 140521 markings/sec, 90 secs
lola: 14682840 markings, 32403866 edges, 107940 markings/sec, 95 secs
lola: 15172767 markings, 33523728 edges, 97985 markings/sec, 100 secs
lola: 15658086 markings, 34637274 edges, 97064 markings/sec, 105 secs
lola: 16140165 markings, 35747443 edges, 96416 markings/sec, 110 secs
lola: 16620561 markings, 36855891 edges, 96079 markings/sec, 115 secs
lola: 17192914 markings, 38166842 edges, 114471 markings/sec, 120 secs
lola: 17856234 markings, 39693704 edges, 132664 markings/sec, 125 secs
lola: 18514353 markings, 41212718 edges, 131624 markings/sec, 130 secs
lola: 19166352 markings, 42718031 edges, 130400 markings/sec, 135 secs
lola: 19814209 markings, 44213430 edges, 129571 markings/sec, 140 secs
lola: 20454010 markings, 45696392 edges, 127960 markings/sec, 145 secs
lola: 21085320 markings, 47167132 edges, 126262 markings/sec, 150 secs
lola: 21711208 markings, 48626420 edges, 125178 markings/sec, 155 secs
lola: 22338339 markings, 50082391 edges, 125426 markings/sec, 160 secs
lola: 22961028 markings, 51529520 edges, 124538 markings/sec, 165 secs
lola: 23576882 markings, 52962934 edges, 123171 markings/sec, 170 secs
lola: 24187792 markings, 54385960 edges, 122182 markings/sec, 175 secs
lola: 24790481 markings, 55794816 edges, 120538 markings/sec, 180 secs
lola: 25393733 markings, 57204114 edges, 120650 markings/sec, 185 secs
lola: 26000332 markings, 58616964 edges, 121320 markings/sec, 190 secs
lola: 26591759 markings, 60007697 edges, 118285 markings/sec, 195 secs
lola: 27186694 markings, 61400296 edges, 118987 markings/sec, 200 secs
lola: 27786513 markings, 62805397 edges, 119964 markings/sec, 205 secs
lola: 28391059 markings, 64213203 edges, 120909 markings/sec, 210 secs
lola: 28993946 markings, 65626021 edges, 120577 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(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: 919872 markings, 2565775 edges, 183974 markings/sec, 0 secs
lola: 1669809 markings, 4863138 edges, 149987 markings/sec, 5 secs
lola: 2363309 markings, 7043419 edges, 138700 markings/sec, 10 secs
lola: 3025271 markings, 9163780 edges, 132392 markings/sec, 15 secs
lola: 3670892 markings, 11250199 edges, 129124 markings/sec, 20 secs
lola: 4300044 markings, 13303346 edges, 125830 markings/sec, 25 secs
lola: 4919734 markings, 15332973 edges, 123938 markings/sec, 30 secs
lola: 5528382 markings, 17339222 edges, 121730 markings/sec, 35 secs
lola: 6123926 markings, 19321581 edges, 119109 markings/sec, 40 secs
lola: 6708525 markings, 21276606 edges, 116920 markings/sec, 45 secs
lola: 7282366 markings, 23199958 edges, 114768 markings/sec, 50 secs
lola: 7843366 markings, 25095290 edges, 112200 markings/sec, 55 secs
lola: 8397251 markings, 26970623 edges, 110777 markings/sec, 60 secs
lola: 8940937 markings, 28815708 edges, 108737 markings/sec, 65 secs
lola: 9475795 markings, 30639702 edges, 106972 markings/sec, 70 secs
lola: 9999310 markings, 32427938 edges, 104703 markings/sec, 75 secs
lola: 10515330 markings, 34192981 edges, 103204 markings/sec, 80 secs
lola: 11024277 markings, 35935985 edges, 101789 markings/sec, 85 secs
lola: 11526635 markings, 37661695 edges, 100472 markings/sec, 90 secs
lola: 12027310 markings, 39384561 edges, 100135 markings/sec, 95 secs
lola: 12521438 markings, 41092053 edges, 98826 markings/sec, 100 secs
lola: 13011519 markings, 42787344 edges, 98016 markings/sec, 105 secs
lola: 13501020 markings, 44481116 edges, 97900 markings/sec, 110 secs
lola: 13988017 markings, 46168173 edges, 97399 markings/sec, 115 secs
lola: 14471392 markings, 47850437 edges, 96675 markings/sec, 120 secs
lola: 14948359 markings, 49514524 edges, 95393 markings/sec, 125 secs
lola: 15423869 markings, 51169421 edges, 95102 markings/sec, 130 secs
lola: 15894054 markings, 52805644 edges, 94037 markings/sec, 135 secs
lola: 16362054 markings, 54438861 edges, 93600 markings/sec, 140 secs
lola: 16828978 markings, 56070616 edges, 93385 markings/sec, 145 secs
lola: 17292832 markings, 57695468 edges, 92771 markings/sec, 150 secs
lola: 17754380 markings, 59314730 edges, 92310 markings/sec, 155 secs
lola: 18214610 markings, 60932239 edges, 92046 markings/sec, 160 secs
lola: 18675016 markings, 62549133 edges, 92081 markings/sec, 165 secs
lola: 19132965 markings, 64162001 edges, 91590 markings/sec, 170 secs
lola: 19591844 markings, 65769465 edges, 91776 markings/sec, 175 secs
lola: 20046880 markings, 67374934 edges, 91007 markings/sec, 180 secs
lola: 20501836 markings, 68980368 edges, 90991 markings/sec, 185 secs
lola: 20955294 markings, 70579882 edges, 90692 markings/sec, 190 secs
lola: 21405416 markings, 72176697 edges, 90024 markings/sec, 195 secs
lola: 21856159 markings, 73770182 edges, 90149 markings/sec, 200 secs
lola: 22303270 markings, 75361458 edges, 89422 markings/sec, 205 secs
lola: 22753960 markings, 76949450 edges, 90138 markings/sec, 210 secs
lola: 23204480 markings, 78541390 edges, 90104 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(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: 1227376 markings, 2186014 edges, 245475 markings/sec, 0 secs
lola: 2261412 markings, 4072104 edges, 206807 markings/sec, 5 secs
lola: 3229487 markings, 5850052 edges, 193615 markings/sec, 10 secs
lola: 4145983 markings, 7541553 edges, 183299 markings/sec, 15 secs
lola: 5043668 markings, 9203064 edges, 179537 markings/sec, 20 secs
lola: 5913366 markings, 10824995 edges, 173940 markings/sec, 25 secs
lola: 6767575 markings, 12422267 edges, 170842 markings/sec, 30 secs
lola: 7508175 markings, 13810108 edges, 148120 markings/sec, 35 secs
lola: 8172107 markings, 15056709 edges, 132786 markings/sec, 40 secs
lola: 8839462 markings, 16304794 edges, 133471 markings/sec, 45 secs
lola: 9477458 markings, 17513288 edges, 127599 markings/sec, 50 secs
lola: 10125479 markings, 18726753 edges, 129604 markings/sec, 55 secs
lola: 10791019 markings, 19978666 edges, 133108 markings/sec, 60 secs
lola: 11564765 markings, 21443287 edges, 154749 markings/sec, 65 secs
lola: 12347104 markings, 22920457 edges, 156468 markings/sec, 70 secs
lola: 13121325 markings, 24377530 edges, 154844 markings/sec, 75 secs
lola: 13889124 markings, 25826258 edges, 153560 markings/sec, 80 secs
lola: 14556120 markings, 27097174 edges, 133399 markings/sec, 85 secs
lola: 15243084 markings, 28398294 edges, 137393 markings/sec, 90 secs
lola: 15841402 markings, 29540200 edges, 119664 markings/sec, 95 secs
lola: 16433574 markings, 30672919 edges, 118434 markings/sec, 100 secs
lola: 17045988 markings, 31827625 edges, 122483 markings/sec, 105 secs
lola: 17635961 markings, 32952664 edges, 117995 markings/sec, 110 secs
lola: 18223560 markings, 34078462 edges, 117520 markings/sec, 115 secs
lola: 18803235 markings, 35189039 edges, 115935 markings/sec, 120 secs
lola: 19395141 markings, 36313608 edges, 118381 markings/sec, 125 secs
lola: 19972611 markings, 37415942 edges, 115494 markings/sec, 130 secs
lola: 20538818 markings, 38503271 edges, 113241 markings/sec, 135 secs
lola: 21118967 markings, 39605834 edges, 116030 markings/sec, 140 secs
lola: 21693974 markings, 40703898 edges, 115001 markings/sec, 145 secs
lola: 22253327 markings, 41778689 edges, 111871 markings/sec, 150 secs
lola: 22819661 markings, 42855554 edges, 113267 markings/sec, 155 secs
lola: 23371894 markings, 43918249 edges, 110447 markings/sec, 160 secs
lola: 23928927 markings, 44990417 edges, 111407 markings/sec, 165 secs
lola: 24486098 markings, 46055331 edges, 111434 markings/sec, 170 secs
lola: 25039017 markings, 47121630 edges, 110584 markings/sec, 175 secs
lola: 25681553 markings, 48361459 edges, 128507 markings/sec, 180 secs
lola: 26340749 markings, 49621395 edges, 131839 markings/sec, 185 secs
lola: 26993245 markings, 50871653 edges, 130499 markings/sec, 190 secs
lola: 27641892 markings, 52123062 edges, 129729 markings/sec, 195 secs
lola: 28287260 markings, 53367099 edges, 129074 markings/sec, 200 secs
lola: 28936155 markings, 54611871 edges, 129779 markings/sec, 205 secs
lola: 29575906 markings, 55849304 edges, 127950 markings/sec, 210 secs
lola: 30203491 markings, 57073924 edges, 125517 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(xLASTACK)
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: 1496597 markings, 2261274 edges, 299319 markings/sec, 0 secs
lola: 2793591 markings, 4315486 edges, 259399 markings/sec, 5 secs
lola: 4032517 markings, 6290974 edges, 247785 markings/sec, 10 secs
lola: 5229956 markings, 8215041 edges, 239488 markings/sec, 15 secs
lola: 6419740 markings, 10122330 edges, 237957 markings/sec, 20 secs
lola: 7583930 markings, 12000171 edges, 232838 markings/sec, 25 secs
lola: 8731777 markings, 13853802 edges, 229569 markings/sec, 30 secs
lola: 9866123 markings, 15692431 edges, 226869 markings/sec, 35 secs
lola: 10989675 markings, 17507458 edges, 224710 markings/sec, 40 secs
lola: 12116319 markings, 19332173 edges, 225329 markings/sec, 45 secs
lola: 13217567 markings, 21123087 edges, 220250 markings/sec, 50 secs
lola: 14273741 markings, 22844045 edges, 211235 markings/sec, 55 secs
lola: 15325294 markings, 24554319 edges, 210311 markings/sec, 60 secs
lola: 16376630 markings, 26262589 edges, 210267 markings/sec, 65 secs
lola: 17420219 markings, 27963173 edges, 208718 markings/sec, 70 secs
lola: 18445357 markings, 29632649 edges, 205028 markings/sec, 75 secs
lola: 19470487 markings, 31303981 edges, 205026 markings/sec, 80 secs
lola: 20493321 markings, 32974945 edges, 204567 markings/sec, 85 secs
lola: 21515155 markings, 34640027 edges, 204367 markings/sec, 90 secs
lola: 22515095 markings, 36275682 edges, 199988 markings/sec, 95 secs
lola: 23504067 markings, 37894467 edges, 197794 markings/sec, 100 secs
lola: 24498702 markings, 39520003 edges, 198927 markings/sec, 105 secs
lola: 25496116 markings, 41146636 edges, 199483 markings/sec, 110 secs
lola: 26477476 markings, 42759715 edges, 196272 markings/sec, 115 secs
lola: 27459824 markings, 44370308 edges, 196470 markings/sec, 120 secs
lola: 28442537 markings, 45980917 edges, 196543 markings/sec, 125 secs
lola: 29426855 markings, 47595058 edges, 196864 markings/sec, 130 secs
lola: 30389896 markings, 49170383 edges, 192608 markings/sec, 135 secs
lola: 31339763 markings, 50732589 edges, 189973 markings/sec, 140 secs
lola: 32299654 markings, 52305644 edges, 191978 markings/sec, 145 secs
lola: 33255571 markings, 53874759 edges, 191183 markings/sec, 150 secs
lola: 34218179 markings, 55450573 edges, 192522 markings/sec, 155 secs
lola: 35166730 markings, 57006885 edges, 189710 markings/sec, 160 secs
lola: 36112378 markings, 58562622 edges, 189130 markings/sec, 165 secs
lola: 37064679 markings, 60123865 edges, 190460 markings/sec, 170 secs
lola: 38012554 markings, 61678922 edges, 189575 markings/sec, 175 secs
lola: 38957414 markings, 63232494 edges, 188972 markings/sec, 180 secs
lola: 39897984 markings, 64778406 edges, 188114 markings/sec, 185 secs
lola: 40851788 markings, 66340074 edges, 190761 markings/sec, 190 secs
lola: 41794488 markings, 67892122 edges, 188540 markings/sec, 195 secs
lola: 42748136 markings, 69458218 edges, 190730 markings/sec, 200 secs
lola: 43704772 markings, 71033184 edges, 191327 markings/sec, 205 secs
lola: 44667059 markings, 72611377 edges, 192457 markings/sec, 210 secs
lola: 45606652 markings, 74158360 edges, 187919 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(FINWAIT1)
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: 1102557 markings, 2226882 edges, 220511 markings/sec, 0 secs
lola: 2054458 markings, 4201607 edges, 190380 markings/sec, 5 secs
lola: 2949529 markings, 6079114 edges, 179014 markings/sec, 10 secs
lola: 3793513 markings, 7852647 edges, 168797 markings/sec, 15 secs
lola: 4620786 markings, 9602520 edges, 165455 markings/sec, 20 secs
lola: 5431353 markings, 11316469 edges, 162113 markings/sec, 25 secs
lola: 6216226 markings, 12988324 edges, 156975 markings/sec, 30 secs
lola: 6994995 markings, 14644969 edges, 155754 markings/sec, 35 secs
lola: 7758416 markings, 16274802 edges, 152684 markings/sec, 40 secs
lola: 8527837 markings, 17917843 edges, 153884 markings/sec, 45 secs
lola: 9290342 markings, 19547019 edges, 152501 markings/sec, 50 secs
lola: 10047649 markings, 21169421 edges, 151461 markings/sec, 55 secs
lola: 10801184 markings, 22781886 edges, 150707 markings/sec, 60 secs
lola: 11544743 markings, 24380475 edges, 148712 markings/sec, 65 secs
lola: 12275783 markings, 25951010 edges, 146208 markings/sec, 70 secs
lola: 13001140 markings, 27512607 edges, 145071 markings/sec, 75 secs
lola: 13731365 markings, 29087683 edges, 146045 markings/sec, 80 secs
lola: 14457444 markings, 30653244 edges, 145216 markings/sec, 85 secs
lola: 15183486 markings, 32215866 edges, 145208 markings/sec, 90 secs
lola: 15912851 markings, 33792301 edges, 145873 markings/sec, 95 secs
lola: 16641080 markings, 35364645 edges, 145646 markings/sec, 100 secs
lola: 17364477 markings, 36926312 edges, 144679 markings/sec, 105 secs
lola: 18085476 markings, 38488192 edges, 144200 markings/sec, 110 secs
lola: 18815236 markings, 40062234 edges, 145952 markings/sec, 115 secs
lola: 19542223 markings, 41639542 edges, 145397 markings/sec, 120 secs
lola: 20265582 markings, 43208869 edges, 144672 markings/sec, 125 secs
lola: 20986561 markings, 44769140 edges, 144196 markings/sec, 130 secs
lola: 21701548 markings, 46320995 edges, 142997 markings/sec, 135 secs
lola: 22417956 markings, 47874723 edges, 143282 markings/sec, 140 secs
lola: 23125449 markings, 49414230 edges, 141499 markings/sec, 145 secs
lola: 23831824 markings, 50945801 edges, 141275 markings/sec, 150 secs
lola: 24531889 markings, 52468373 edges, 140013 markings/sec, 155 secs
lola: 25230018 markings, 53986043 edges, 139626 markings/sec, 160 secs
lola: 25918523 markings, 55487057 edges, 137701 markings/sec, 165 secs
lola: 26605927 markings, 56981729 edges, 137481 markings/sec, 170 secs
lola: 27287302 markings, 58463262 edges, 136275 markings/sec, 175 secs
lola: 27966233 markings, 59941501 edges, 135786 markings/sec, 180 secs
lola: 28637581 markings, 61407142 edges, 134270 markings/sec, 185 secs
lola: 29309973 markings, 62870427 edges, 134478 markings/sec, 190 secs
lola: 29983752 markings, 64337481 edges, 134756 markings/sec, 195 secs
lola: 30656187 markings, 65809411 edges, 134487 markings/sec, 200 secs
lola: 31309338 markings, 67233639 edges, 130630 markings/sec, 205 secs
lola: 31955596 markings, 68646450 edges, 129252 markings/sec, 210 secs
lola: 32610674 markings, 70074649 edges, 131016 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(xLASTACK)
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: 1561212 markings, 2362667 edges, 312242 markings/sec, 0 secs
lola: 2921901 markings, 4517437 edges, 272138 markings/sec, 5 secs
lola: 4221449 markings, 6594681 edges, 259910 markings/sec, 10 secs
lola: 5471045 markings, 8599095 edges, 249919 markings/sec, 15 secs
lola: 6694877 markings, 10566716 edges, 244766 markings/sec, 20 secs
lola: 7887281 markings, 12492337 edges, 238481 markings/sec, 25 secs
lola: 9077463 markings, 14412687 edges, 238036 markings/sec, 30 secs
lola: 10240325 markings, 16298684 edges, 232572 markings/sec, 35 secs
lola: 11397066 markings, 18166054 edges, 231348 markings/sec, 40 secs
lola: 12535272 markings, 20009877 edges, 227641 markings/sec, 45 secs
lola: 13647722 markings, 21825453 edges, 222490 markings/sec, 50 secs
lola: 14755350 markings, 23628726 edges, 221526 markings/sec, 55 secs
lola: 15851080 markings, 25410568 edges, 219146 markings/sec, 60 secs
lola: 16964081 markings, 27221063 edges, 222600 markings/sec, 65 secs
lola: 18072886 markings, 29024052 edges, 221761 markings/sec, 70 secs
lola: 19174255 markings, 30822764 edges, 220274 markings/sec, 75 secs
lola: 20274203 markings, 32615324 edges, 219990 markings/sec, 80 secs
lola: 21362516 markings, 34391933 edges, 217663 markings/sec, 85 secs
lola: 22443511 markings, 36159548 edges, 216199 markings/sec, 90 secs
lola: 23514605 markings, 37911314 edges, 214219 markings/sec, 95 secs
lola: 24587471 markings, 39665357 edges, 214573 markings/sec, 100 secs
lola: 25661988 markings, 41421027 edges, 214903 markings/sec, 105 secs
lola: 26730124 markings, 43174935 edges, 213627 markings/sec, 110 secs
lola: 27795282 markings, 44919220 edges, 213032 markings/sec, 115 secs
lola: 28851774 markings, 46651688 edges, 211298 markings/sec, 120 secs
lola: 29912941 markings, 48386828 edges, 212233 markings/sec, 125 secs
lola: 30965243 markings, 50116605 edges, 210460 markings/sec, 130 secs
lola: 32018336 markings, 51846764 edges, 210619 markings/sec, 135 secs
lola: 33067852 markings, 53566784 edges, 209903 markings/sec, 140 secs
lola: 34117794 markings, 55287655 edges, 209988 markings/sec, 145 secs
lola: 35150851 markings, 56981242 edges, 206611 markings/sec, 150 secs
lola: 36168191 markings, 58654929 edges, 203468 markings/sec, 155 secs
lola: 37197420 markings, 60340528 edges, 205846 markings/sec, 160 secs
lola: 38209621 markings, 62005386 edges, 202440 markings/sec, 165 secs
lola: 39222144 markings, 63667673 edges, 202505 markings/sec, 170 secs
lola: 40239225 markings, 65337101 edges, 203416 markings/sec, 175 secs
lola: 41253487 markings, 67001083 edges, 202852 markings/sec, 180 secs
lola: 42255838 markings, 68650365 edges, 200470 markings/sec, 185 secs
lola: 43269026 markings, 70314178 edges, 202638 markings/sec, 190 secs
lola: 44288458 markings, 71989595 edges, 203886 markings/sec, 195 secs
lola: 45304245 markings, 73658606 edges, 203157 markings/sec, 200 secs
lola: 46312970 markings, 75319436 edges, 201745 markings/sec, 205 secs
lola: 47319943 markings, 76979122 edges, 201395 markings/sec, 210 secs
lola: 48314602 markings, 78620354 edges, 198932 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(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: 1031382 markings, 2282917 edges, 206276 markings/sec, 0 secs
lola: 1969770 markings, 4433239 edges, 187678 markings/sec, 5 secs
lola: 2859136 markings, 6487628 edges, 177873 markings/sec, 10 secs
lola: 3710580 markings, 8476389 edges, 170289 markings/sec, 15 secs
lola: 4540297 markings, 10414900 edges, 165943 markings/sec, 20 secs
lola: 5348916 markings, 12315946 edges, 161724 markings/sec, 25 secs
lola: 6147540 markings, 14198814 edges, 159725 markings/sec, 30 secs
lola: 6933732 markings, 16047805 edges, 157238 markings/sec, 35 secs
lola: 7707701 markings, 17879557 edges, 154794 markings/sec, 40 secs
lola: 8481750 markings, 19712154 edges, 154810 markings/sec, 45 secs
lola: 9240785 markings, 21514944 edges, 151807 markings/sec, 50 secs
lola: 10000914 markings, 23317948 edges, 152026 markings/sec, 55 secs
lola: 10743996 markings, 25085415 edges, 148616 markings/sec, 60 secs
lola: 11479238 markings, 26835414 edges, 147048 markings/sec, 65 secs
lola: 12208125 markings, 28571605 edges, 145777 markings/sec, 70 secs
lola: 12928320 markings, 30294746 edges, 144039 markings/sec, 75 secs
lola: 13640645 markings, 31999006 edges, 142465 markings/sec, 80 secs
lola: 14346739 markings, 33692008 edges, 141219 markings/sec, 85 secs
lola: 15049269 markings, 35374747 edges, 140506 markings/sec, 90 secs
lola: 15746378 markings, 37047419 edges, 139422 markings/sec, 95 secs
lola: 16438797 markings, 38707486 edges, 138484 markings/sec, 100 secs
lola: 17137718 markings, 40382395 edges, 139784 markings/sec, 105 secs
lola: 17828611 markings, 42041826 edges, 138179 markings/sec, 110 secs
lola: 18516219 markings, 43697313 edges, 137522 markings/sec, 115 secs
lola: 19205431 markings, 45352865 edges, 137842 markings/sec, 120 secs
lola: 19882415 markings, 46980768 edges, 135397 markings/sec, 125 secs
lola: 20560600 markings, 48611146 edges, 135637 markings/sec, 130 secs
lola: 21248758 markings, 50270300 edges, 137632 markings/sec, 135 secs
lola: 21933303 markings, 51923756 edges, 136909 markings/sec, 140 secs
lola: 22618650 markings, 53576541 edges, 137069 markings/sec, 145 secs
lola: 23298876 markings, 55216128 edges, 136045 markings/sec, 150 secs
lola: 23972899 markings, 56840612 edges, 134805 markings/sec, 155 secs
lola: 24640256 markings, 58461172 edges, 133471 markings/sec, 160 secs
lola: 25307987 markings, 60079748 edges, 133546 markings/sec, 165 secs
lola: 25975885 markings, 61693719 edges, 133580 markings/sec, 170 secs
lola: 26645590 markings, 63312873 edges, 133941 markings/sec, 175 secs
lola: 27305049 markings, 64906663 edges, 131892 markings/sec, 180 secs
lola: 27962335 markings, 66502771 edges, 131457 markings/sec, 185 secs
lola: 28629695 markings, 68112603 edges, 133472 markings/sec, 190 secs
lola: 29285933 markings, 69707637 edges, 131248 markings/sec, 195 secs
lola: 29946863 markings, 71307858 edges, 132186 markings/sec, 200 secs
lola: 30601632 markings, 72900363 edges, 130954 markings/sec, 205 secs
lola: 31252066 markings, 74482072 edges, 130087 markings/sec, 210 secs
lola: 31906406 markings, 76068926 edges, 130868 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(LISTEN)
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: 1191089 markings, 2596183 edges, 238218 markings/sec, 0 secs
lola: 2224513 markings, 4965699 edges, 206685 markings/sec, 5 secs
lola: 3192437 markings, 7237794 edges, 193585 markings/sec, 10 secs
lola: 4124929 markings, 9446231 edges, 186498 markings/sec, 15 secs
lola: 5015705 markings, 11591200 edges, 178155 markings/sec, 20 secs
lola: 5892268 markings, 13706416 edges, 175313 markings/sec, 25 secs
lola: 6755226 markings, 15797992 edges, 172592 markings/sec, 30 secs
lola: 7600032 markings, 17858999 edges, 168961 markings/sec, 35 secs
lola: 8437426 markings, 19898361 edges, 167479 markings/sec, 40 secs
lola: 9259311 markings, 21914599 edges, 164377 markings/sec, 45 secs
lola: 10057006 markings, 23891530 edges, 159539 markings/sec, 50 secs
lola: 10852313 markings, 25865485 edges, 159061 markings/sec, 55 secs
lola: 11645935 markings, 27832476 edges, 158724 markings/sec, 60 secs
lola: 12433376 markings, 29793534 edges, 157488 markings/sec, 65 secs
lola: 13207037 markings, 31737657 edges, 154732 markings/sec, 70 secs
lola: 13973941 markings, 33665869 edges, 153381 markings/sec, 75 secs
lola: 14727796 markings, 35567940 edges, 150771 markings/sec, 80 secs
lola: 15475568 markings, 37465749 edges, 149554 markings/sec, 85 secs
lola: 16224856 markings, 39363627 edges, 149858 markings/sec, 90 secs
lola: 16965960 markings, 41247690 edges, 148221 markings/sec, 95 secs
lola: 17703394 markings, 43123077 edges, 147487 markings/sec, 100 secs
lola: 18422264 markings, 44959271 edges, 143774 markings/sec, 105 secs
lola: 19140268 markings, 46788186 edges, 143601 markings/sec, 110 secs
lola: 19853501 markings, 48607008 edges, 142647 markings/sec, 115 secs
lola: 20568233 markings, 50436352 edges, 142946 markings/sec, 120 secs
lola: 21280687 markings, 52267378 edges, 142491 markings/sec, 125 secs
lola: 21966599 markings, 54031128 edges, 137182 markings/sec, 130 secs
lola: 22672084 markings, 55842706 edges, 141097 markings/sec, 135 secs
lola: 23365976 markings, 57629365 edges, 138778 markings/sec, 140 secs
lola: 24057729 markings, 59414996 edges, 138351 markings/sec, 145 secs
lola: 24741756 markings, 61175148 edges, 136805 markings/sec, 150 secs
lola: 25421794 markings, 62933314 edges, 136008 markings/sec, 155 secs
lola: 26098851 markings, 64681931 edges, 135411 markings/sec, 160 secs
lola: 26772087 markings, 66428073 edges, 134647 markings/sec, 165 secs
lola: 27443664 markings, 68166439 edges, 134315 markings/sec, 170 secs
lola: 28111378 markings, 69889532 edges, 133543 markings/sec, 175 secs
lola: 28778998 markings, 71617606 edges, 133524 markings/sec, 180 secs
lola: 29443176 markings, 73339003 edges, 132836 markings/sec, 185 secs
lola: 30104273 markings, 75055535 edges, 132219 markings/sec, 190 secs
lola: 30760729 markings, 76764323 edges, 131291 markings/sec, 195 secs
lola: 31422643 markings, 78488114 edges, 132383 markings/sec, 200 secs
lola: 32087325 markings, 80208793 edges, 132936 markings/sec, 205 secs
lola: 32736092 markings, 81899988 edges, 129753 markings/sec, 210 secs
lola: 33382550 markings, 83586700 edges, 129292 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(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: 1084500 markings, 2594318 edges, 216900 markings/sec, 0 secs
lola: 1973342 markings, 4935797 edges, 177768 markings/sec, 5 secs
lola: 2771757 markings, 7115251 edges, 159683 markings/sec, 10 secs
lola: 3507602 markings, 9160994 edges, 147169 markings/sec, 15 secs
lola: 4218276 markings, 11152820 edges, 142135 markings/sec, 20 secs
lola: 4910170 markings, 13111848 edges, 138379 markings/sec, 25 secs
lola: 5581665 markings, 15016206 edges, 134299 markings/sec, 30 secs
lola: 6235910 markings, 16880692 edges, 130849 markings/sec, 35 secs
lola: 6875208 markings, 18709670 edges, 127860 markings/sec, 40 secs
lola: 7500125 markings, 20512950 edges, 124983 markings/sec, 45 secs
lola: 8099970 markings, 22252144 edges, 119969 markings/sec, 50 secs
lola: 8699439 markings, 23984463 edges, 119894 markings/sec, 55 secs
lola: 9280653 markings, 25679354 edges, 116243 markings/sec, 60 secs
lola: 9857115 markings, 27381670 edges, 115292 markings/sec, 65 secs
lola: 10425598 markings, 29047640 edges, 113697 markings/sec, 70 secs
lola: 10965333 markings, 30643309 edges, 107947 markings/sec, 75 secs
lola: 11502412 markings, 32228895 edges, 107416 markings/sec, 80 secs
lola: 12027042 markings, 33781697 edges, 104926 markings/sec, 85 secs
lola: 12539375 markings, 35306180 edges, 102467 markings/sec, 90 secs
lola: 13067599 markings, 36880296 edges, 105645 markings/sec, 95 secs
lola: 13645641 markings, 38598746 edges, 115608 markings/sec, 100 secs
lola: 14213290 markings, 40302944 edges, 113530 markings/sec, 105 secs
lola: 14789228 markings, 42021894 edges, 115188 markings/sec, 110 secs
lola: 15351168 markings, 43708086 edges, 112388 markings/sec, 115 secs
lola: 15918492 markings, 45402162 edges, 113465 markings/sec, 120 secs
lola: 16475956 markings, 47080322 edges, 111493 markings/sec, 125 secs
lola: 17025841 markings, 48743311 edges, 109977 markings/sec, 130 secs
lola: 17577081 markings, 50406695 edges, 110248 markings/sec, 135 secs
lola: 18130541 markings, 52074583 edges, 110692 markings/sec, 140 secs
lola: 18674939 markings, 53728614 edges, 108880 markings/sec, 145 secs
lola: 19217266 markings, 55374455 edges, 108465 markings/sec, 150 secs
lola: 19754932 markings, 57016898 edges, 107533 markings/sec, 155 secs
lola: 20301065 markings, 58674465 edges, 109227 markings/sec, 160 secs
lola: 20833964 markings, 60305794 edges, 106580 markings/sec, 165 secs
lola: 21369622 markings, 61946169 edges, 107132 markings/sec, 170 secs
lola: 21899159 markings, 63569081 edges, 105907 markings/sec, 175 secs
lola: 22437678 markings, 65208209 edges, 107704 markings/sec, 180 secs
lola: 22969837 markings, 66835408 edges, 106432 markings/sec, 185 secs
lola: 23494312 markings, 68451373 edges, 104895 markings/sec, 190 secs
lola: 24021279 markings, 70065927 edges, 105393 markings/sec, 195 secs
lola: 24555653 markings, 71694517 edges, 106875 markings/sec, 200 secs
lola: 25080053 markings, 73311758 edges, 104880 markings/sec, 205 secs
lola: 25609639 markings, 74935421 edges, 105917 markings/sec, 210 secs
lola: 26130820 markings, 76533975 edges, 104236 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(xLASTACK)
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: 1551206 markings, 2346995 edges, 310241 markings/sec, 0 secs
lola: 2894789 markings, 4473962 edges, 268717 markings/sec, 5 secs
lola: 4151769 markings, 6483519 edges, 251396 markings/sec, 10 secs
lola: 5387014 markings, 8464398 edges, 247049 markings/sec, 15 secs
lola: 6602283 markings, 10417318 edges, 243054 markings/sec, 20 secs
lola: 7792516 markings, 12338078 edges, 238047 markings/sec, 25 secs
lola: 8967205 markings, 14233744 edges, 234938 markings/sec, 30 secs
lola: 10125029 markings, 16111297 edges, 231565 markings/sec, 35 secs
lola: 11281971 markings, 17978966 edges, 231388 markings/sec, 40 secs
lola: 12429583 markings, 19839987 edges, 229522 markings/sec, 45 secs
lola: 13557126 markings, 21678298 edges, 225509 markings/sec, 50 secs
lola: 14682474 markings, 23509848 edges, 225070 markings/sec, 55 secs
lola: 15805689 markings, 25337539 edges, 224643 markings/sec, 60 secs
lola: 16931246 markings, 27167444 edges, 225111 markings/sec, 65 secs
lola: 18048373 markings, 28983622 edges, 223425 markings/sec, 70 secs
lola: 19149645 markings, 30782051 edges, 220254 markings/sec, 75 secs
lola: 20245978 markings, 32569129 edges, 219267 markings/sec, 80 secs
lola: 21335070 markings, 34347059 edges, 217818 markings/sec, 85 secs
lola: 22421567 markings, 36123696 edges, 217299 markings/sec, 90 secs
lola: 23500155 markings, 37888151 edges, 215718 markings/sec, 95 secs
lola: 24581203 markings, 39654992 edges, 216210 markings/sec, 100 secs
lola: 25657736 markings, 41414142 edges, 215307 markings/sec, 105 secs
lola: 26724966 markings, 43166695 edges, 213446 markings/sec, 110 secs
lola: 27785360 markings, 44902926 edges, 212079 markings/sec, 115 secs
lola: 28840248 markings, 46632865 edges, 210978 markings/sec, 120 secs
lola: 29901464 markings, 48368031 edges, 212243 markings/sec, 125 secs
lola: 30952564 markings, 50095765 edges, 210220 markings/sec, 130 secs
lola: 31997664 markings, 51813074 edges, 209020 markings/sec, 135 secs
lola: 33043722 markings, 53527383 edges, 209212 markings/sec, 140 secs
lola: 34093376 markings, 55247502 edges, 209931 markings/sec, 145 secs
lola: 35133331 markings, 56952741 edges, 207991 markings/sec, 150 secs
lola: 36166192 markings, 58651617 edges, 206572 markings/sec, 155 secs
lola: 37207305 markings, 60356448 edges, 208223 markings/sec, 160 secs
lola: 38234596 markings, 62046248 edges, 205458 markings/sec, 165 secs
lola: 39268713 markings, 63744425 edges, 206823 markings/sec, 170 secs
lola: 40306620 markings, 65446973 edges, 207581 markings/sec, 175 secs
lola: 41339002 markings, 67141529 edges, 206476 markings/sec, 180 secs
lola: 42362929 markings, 68827767 edges, 204785 markings/sec, 185 secs
lola: 43390198 markings, 70514198 edges, 205454 markings/sec, 190 secs
lola: 44418581 markings, 72203986 edges, 205677 markings/sec, 195 secs
lola: 45443469 markings, 73888534 edges, 204978 markings/sec, 200 secs
lola: 46463266 markings, 75567787 edges, 203959 markings/sec, 205 secs
lola: 47481137 markings, 77245541 edges, 203574 markings/sec, 210 secs
lola: 48487670 markings, 78905215 edges, 201307 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(xSYN)
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: 1124586 markings, 2399866 edges, 224917 markings/sec, 0 secs
lola: 2081245 markings, 4589876 edges, 191332 markings/sec, 5 secs
lola: 2973105 markings, 6692113 edges, 178372 markings/sec, 10 secs
lola: 3828318 markings, 8720260 edges, 171043 markings/sec, 15 secs
lola: 4656173 markings, 10709925 edges, 165571 markings/sec, 20 secs
lola: 5461673 markings, 12677901 edges, 161100 markings/sec, 25 secs
lola: 6251742 markings, 14614530 edges, 158014 markings/sec, 30 secs
lola: 7029701 markings, 16517466 edges, 155592 markings/sec, 35 secs
lola: 7794803 markings, 18400510 edges, 153020 markings/sec, 40 secs
lola: 8546032 markings, 20256911 edges, 150246 markings/sec, 45 secs
lola: 9289948 markings, 22109740 edges, 148783 markings/sec, 50 secs
lola: 10032427 markings, 23952004 edges, 148496 markings/sec, 55 secs
lola: 10764338 markings, 25783769 edges, 146382 markings/sec, 60 secs
lola: 11484906 markings, 27604434 edges, 144114 markings/sec, 65 secs
lola: 12202436 markings, 29414961 edges, 143506 markings/sec, 70 secs
lola: 12900071 markings, 31188514 edges, 139527 markings/sec, 75 secs
lola: 13601966 markings, 32962825 edges, 140379 markings/sec, 80 secs
lola: 14296095 markings, 34731771 edges, 138826 markings/sec, 85 secs
lola: 14987313 markings, 36489347 edges, 138244 markings/sec, 90 secs
lola: 15675045 markings, 38238486 edges, 137546 markings/sec, 95 secs
lola: 16360626 markings, 39980163 edges, 137116 markings/sec, 100 secs
lola: 17039365 markings, 41720944 edges, 135748 markings/sec, 105 secs
lola: 17711431 markings, 43459984 edges, 134413 markings/sec, 110 secs
lola: 18383657 markings, 45189729 edges, 134445 markings/sec, 115 secs
lola: 19053511 markings, 46909311 edges, 133971 markings/sec, 120 secs
lola: 19714918 markings, 48623840 edges, 132281 markings/sec, 125 secs
lola: 20373257 markings, 50330251 edges, 131668 markings/sec, 130 secs
lola: 21025306 markings, 52031518 edges, 130410 markings/sec, 135 secs
lola: 21684985 markings, 53729965 edges, 131936 markings/sec, 140 secs
lola: 22339655 markings, 55422734 edges, 130934 markings/sec, 145 secs
lola: 22986452 markings, 57114153 edges, 129359 markings/sec, 150 secs
lola: 23632388 markings, 58811110 edges, 129187 markings/sec, 155 secs
lola: 24279200 markings, 60503613 edges, 129362 markings/sec, 160 secs
lola: 24922592 markings, 62183841 edges, 128678 markings/sec, 165 secs
lola: 25559745 markings, 63864179 edges, 127431 markings/sec, 170 secs
lola: 26211460 markings, 65539440 edges, 130343 markings/sec, 175 secs
lola: 26856649 markings, 67213511 edges, 129038 markings/sec, 180 secs
lola: 27501925 markings, 68890118 edges, 129055 markings/sec, 185 secs
lola: 28138066 markings, 70556864 edges, 127228 markings/sec, 190 secs
lola: 28776332 markings, 72227191 edges, 127653 markings/sec, 195 secs
lola: 29413574 markings, 73890213 edges, 127448 markings/sec, 200 secs
lola: 30041962 markings, 75545885 edges, 125678 markings/sec, 205 secs
lola: 30670830 markings, 77197391 edges, 125774 markings/sec, 210 secs
lola: 31297063 markings, 78840403 edges, 125247 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 220 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: 1231310 markings, 2290266 edges, 246262 markings/sec, 0 secs
lola: 2299745 markings, 4346625 edges, 213687 markings/sec, 5 secs
lola: 3310607 markings, 6311975 edges, 202172 markings/sec, 10 secs
lola: 4284267 markings, 8212531 edges, 194732 markings/sec, 15 secs
lola: 5239030 markings, 10084498 edges, 190953 markings/sec, 20 secs
lola: 6165713 markings, 11913043 edges, 185337 markings/sec, 25 secs
lola: 7088105 markings, 13727380 edges, 184478 markings/sec, 30 secs
lola: 7990396 markings, 15515648 edges, 180458 markings/sec, 35 secs
lola: 8885143 markings, 17288392 edges, 178949 markings/sec, 40 secs
lola: 9776863 markings, 19054582 edges, 178344 markings/sec, 45 secs
lola: 10648842 markings, 20791927 edges, 174396 markings/sec, 50 secs
lola: 11510845 markings, 22515495 edges, 172401 markings/sec, 55 secs
lola: 12375394 markings, 24239409 edges, 172910 markings/sec, 60 secs
lola: 13243011 markings, 25960672 edges, 173523 markings/sec, 65 secs
lola: 14094766 markings, 27664793 edges, 170351 markings/sec, 70 secs
lola: 14945748 markings, 29365901 edges, 170196 markings/sec, 75 secs
lola: 15793407 markings, 31060173 edges, 169532 markings/sec, 80 secs
lola: 16635391 markings, 32746388 edges, 168397 markings/sec, 85 secs
lola: 17470775 markings, 34421810 edges, 167077 markings/sec, 90 secs
lola: 18304189 markings, 36091777 edges, 166683 markings/sec, 95 secs
lola: 19135927 markings, 37760227 edges, 166348 markings/sec, 100 secs
lola: 19964678 markings, 39420399 edges, 165750 markings/sec, 105 secs
lola: 20779848 markings, 41062635 edges, 163034 markings/sec, 110 secs
lola: 21595983 markings, 42701837 edges, 163227 markings/sec, 115 secs
lola: 22409887 markings, 44338146 edges, 162781 markings/sec, 120 secs
lola: 23210847 markings, 45960502 edges, 160192 markings/sec, 125 secs
lola: 24023472 markings, 47589518 edges, 162525 markings/sec, 130 secs
lola: 24821461 markings, 49205924 edges, 159598 markings/sec, 135 secs
lola: 25630960 markings, 50836303 edges, 161900 markings/sec, 140 secs
lola: 26442705 markings, 52471366 edges, 162349 markings/sec, 145 secs
lola: 27242230 markings, 54086355 edges, 159905 markings/sec, 150 secs
lola: 28039903 markings, 55694823 edges, 159535 markings/sec, 155 secs
lola: 28832887 markings, 57297251 edges, 158597 markings/sec, 160 secs
lola: 29617657 markings, 58889800 edges, 156954 markings/sec, 165 secs
lola: 30407198 markings, 60488984 edges, 157908 markings/sec, 170 secs
lola: 31198035 markings, 62086226 edges, 158167 markings/sec, 175 secs
lola: 31983947 markings, 63678532 edges, 157182 markings/sec, 180 secs
lola: 32769968 markings, 65270649 edges, 157204 markings/sec, 185 secs
lola: 33551066 markings, 66852871 edges, 156220 markings/sec, 190 secs
lola: 34333108 markings, 68439166 edges, 156408 markings/sec, 195 secs
lola: 35104090 markings, 70012596 edges, 154196 markings/sec, 200 secs
lola: 35883264 markings, 71590181 edges, 155835 markings/sec, 205 secs
lola: 36668230 markings, 73175243 edges, 156993 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xCLOSING)
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: 1337416 markings, 2227371 edges, 267483 markings/sec, 0 secs
lola: 2538827 markings, 4261333 edges, 240282 markings/sec, 5 secs
lola: 3675693 markings, 6193413 edges, 227373 markings/sec, 10 secs
lola: 4776924 markings, 8072954 edges, 220246 markings/sec, 15 secs
lola: 5858988 markings, 9921530 edges, 216413 markings/sec, 20 secs
lola: 6927963 markings, 11752448 edges, 213795 markings/sec, 25 secs
lola: 7974829 markings, 13549760 edges, 209373 markings/sec, 30 secs
lola: 9015745 markings, 15332372 edges, 208183 markings/sec, 35 secs
lola: 10032997 markings, 17084738 edges, 203450 markings/sec, 40 secs
lola: 11044936 markings, 18821339 edges, 202388 markings/sec, 45 secs
lola: 12041565 markings, 20537000 edges, 199326 markings/sec, 50 secs
lola: 13035350 markings, 22247439 edges, 198757 markings/sec, 55 secs
lola: 14019763 markings, 23945940 edges, 196883 markings/sec, 60 secs
lola: 15001582 markings, 25638573 edges, 196364 markings/sec, 65 secs
lola: 15974697 markings, 27314782 edges, 194623 markings/sec, 70 secs
lola: 16951981 markings, 28998217 edges, 195457 markings/sec, 75 secs
lola: 17910717 markings, 30657406 edges, 191747 markings/sec, 80 secs
lola: 18869779 markings, 32311064 edges, 191812 markings/sec, 85 secs
lola: 19827490 markings, 33963174 edges, 191542 markings/sec, 90 secs
lola: 20779008 markings, 35609748 edges, 190304 markings/sec, 95 secs
lola: 21732449 markings, 37253466 edges, 190688 markings/sec, 100 secs
lola: 22671316 markings, 38874498 edges, 187773 markings/sec, 105 secs
lola: 23611762 markings, 40501608 edges, 188089 markings/sec, 110 secs
lola: 24555351 markings, 42126542 edges, 188718 markings/sec, 115 secs
lola: 25488170 markings, 43741776 edges, 186564 markings/sec, 120 secs
lola: 26427777 markings, 45362172 edges, 187921 markings/sec, 125 secs
lola: 27370774 markings, 46988733 edges, 188599 markings/sec, 130 secs
lola: 28304474 markings, 48600813 edges, 186740 markings/sec, 135 secs
lola: 29231525 markings, 50205214 edges, 185410 markings/sec, 140 secs
lola: 30160126 markings, 51812641 edges, 185720 markings/sec, 145 secs
lola: 31083625 markings, 53415097 edges, 184700 markings/sec, 150 secs
lola: 32008365 markings, 55014308 edges, 184948 markings/sec, 155 secs
lola: 32921523 markings, 56599282 edges, 182632 markings/sec, 160 secs
lola: 33830747 markings, 58175286 edges, 181845 markings/sec, 165 secs
lola: 34735181 markings, 59743574 edges, 180887 markings/sec, 170 secs
lola: 35637974 markings, 61313639 edges, 180559 markings/sec, 175 secs
lola: 36542919 markings, 62882936 edges, 180989 markings/sec, 180 secs
lola: 37443074 markings, 64443887 edges, 180031 markings/sec, 185 secs
lola: 38336811 markings, 65998664 edges, 178747 markings/sec, 190 secs
lola: 39232867 markings, 67554754 edges, 179211 markings/sec, 195 secs
lola: 40122611 markings, 69103271 edges, 177949 markings/sec, 200 secs
lola: 41006146 markings, 70642228 edges, 176707 markings/sec, 205 secs
lola: 41884808 markings, 72173569 edges, 175732 markings/sec, 210 secs
lola: 42760704 markings, 73700548 edges, 175179 markings/sec, 215 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(FINWAIT1)
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: 1147740 markings, 2318960 edges, 229548 markings/sec, 0 secs
lola: 2132185 markings, 4363664 edges, 196889 markings/sec, 5 secs
lola: 3059641 markings, 6310468 edges, 185491 markings/sec, 10 secs
lola: 3970545 markings, 8227757 edges, 182181 markings/sec, 15 secs
lola: 4857414 markings, 10102031 edges, 177374 markings/sec, 20 secs
lola: 5717618 markings, 11926442 edges, 172041 markings/sec, 25 secs
lola: 6561781 markings, 13722965 edges, 168833 markings/sec, 30 secs
lola: 7383341 markings, 15473457 edges, 164312 markings/sec, 35 secs
lola: 8198607 markings, 17212713 edges, 163053 markings/sec, 40 secs
lola: 9003358 markings, 18933510 edges, 160950 markings/sec, 45 secs
lola: 9791901 markings, 20620881 edges, 157709 markings/sec, 50 secs
lola: 10572175 markings, 22291636 edges, 156055 markings/sec, 55 secs
lola: 11349672 markings, 23961922 edges, 155499 markings/sec, 60 secs
lola: 12116520 markings, 25609031 edges, 153370 markings/sec, 65 secs
lola: 12873470 markings, 27237355 edges, 151390 markings/sec, 70 secs
lola: 13630799 markings, 28870650 edges, 151466 markings/sec, 75 secs
lola: 14381394 markings, 30488831 edges, 150119 markings/sec, 80 secs
lola: 15125928 markings, 32092092 edges, 148907 markings/sec, 85 secs
lola: 15862474 markings, 33683302 edges, 147309 markings/sec, 90 secs
lola: 16596601 markings, 35268861 edges, 146825 markings/sec, 95 secs
lola: 17332261 markings, 36856816 edges, 147132 markings/sec, 100 secs
lola: 18062608 markings, 38438616 edges, 146069 markings/sec, 105 secs
lola: 18788037 markings, 40004035 edges, 145086 markings/sec, 110 secs
lola: 19509084 markings, 41567828 edges, 144209 markings/sec, 115 secs
lola: 20224334 markings, 43119961 edges, 143050 markings/sec, 120 secs
lola: 20937752 markings, 44662991 edges, 142684 markings/sec, 125 secs
lola: 21645886 markings, 46198716 edges, 141627 markings/sec, 130 secs
lola: 22351534 markings, 47731117 edges, 141130 markings/sec, 135 secs
lola: 23052093 markings, 49254780 edges, 140112 markings/sec, 140 secs
lola: 23742549 markings, 50752613 edges, 138091 markings/sec, 145 secs
lola: 24432598 markings, 52253227 edges, 138010 markings/sec, 150 secs
lola: 25119906 markings, 53747647 edges, 137462 markings/sec, 155 secs
lola: 25794470 markings, 55214276 edges, 134913 markings/sec, 160 secs
lola: 26449775 markings, 56643835 edges, 131061 markings/sec, 165 secs
lola: 27090351 markings, 58033316 edges, 128115 markings/sec, 170 secs
lola: 27722279 markings, 59408390 edges, 126386 markings/sec, 175 secs
lola: 28348824 markings, 60779112 edges, 125309 markings/sec, 180 secs
lola: 28976885 markings, 62147347 edges, 125612 markings/sec, 185 secs
lola: 29656468 markings, 63623815 edges, 135917 markings/sec, 190 secs
lola: 30342891 markings, 65123852 edges, 137285 markings/sec, 195 secs
lola: 31026788 markings, 66617758 edges, 136779 markings/sec, 200 secs
lola: 31711137 markings, 68112731 edges, 136870 markings/sec, 205 secs
lola: 32397872 markings, 69610945 edges, 137347 markings/sec, 210 secs
lola: 33080770 markings, 71103032 edges, 136580 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(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: 1069673 markings, 2370256 edges, 213935 markings/sec, 0 secs
lola: 1999040 markings, 4500473 edges, 185873 markings/sec, 5 secs
lola: 2880390 markings, 6537124 edges, 176270 markings/sec, 10 secs
lola: 3722891 markings, 8505114 edges, 168500 markings/sec, 15 secs
lola: 4545038 markings, 10425720 edges, 164429 markings/sec, 20 secs
lola: 5344558 markings, 12305737 edges, 159904 markings/sec, 25 secs
lola: 6129412 markings, 14155569 edges, 156971 markings/sec, 30 secs
lola: 6899271 markings, 15967559 edges, 153972 markings/sec, 35 secs
lola: 7650407 markings, 17743291 edges, 150227 markings/sec, 40 secs
lola: 8395437 markings, 19508848 edges, 149006 markings/sec, 45 secs
lola: 9132179 markings, 21256396 edges, 147348 markings/sec, 50 secs
lola: 9864372 markings, 22993782 edges, 146439 markings/sec, 55 secs
lola: 10588300 markings, 24715941 edges, 144786 markings/sec, 60 secs
lola: 11307266 markings, 26425620 edges, 143793 markings/sec, 65 secs
lola: 12020627 markings, 28123619 edges, 142672 markings/sec, 70 secs
lola: 12725801 markings, 29809344 edges, 141035 markings/sec, 75 secs
lola: 13424010 markings, 31479310 edges, 139642 markings/sec, 80 secs
lola: 14112298 markings, 33130401 edges, 137658 markings/sec, 85 secs
lola: 14803177 markings, 34785261 edges, 138176 markings/sec, 90 secs
lola: 15490686 markings, 36433489 edges, 137502 markings/sec, 95 secs
lola: 16175336 markings, 38075137 edges, 136930 markings/sec, 100 secs
lola: 16861287 markings, 39718036 edges, 137190 markings/sec, 105 secs
lola: 17536557 markings, 41340989 edges, 135054 markings/sec, 110 secs
lola: 18211674 markings, 42965464 edges, 135023 markings/sec, 115 secs
lola: 18887006 markings, 44586352 edges, 135066 markings/sec, 120 secs
lola: 19557945 markings, 46201615 edges, 134188 markings/sec, 125 secs
lola: 20225814 markings, 47808398 edges, 133574 markings/sec, 130 secs
lola: 20896388 markings, 49419701 edges, 134115 markings/sec, 135 secs
lola: 21563754 markings, 51028825 edges, 133473 markings/sec, 140 secs
lola: 22226397 markings, 52630843 edges, 132529 markings/sec, 145 secs
lola: 22880610 markings, 54211932 edges, 130843 markings/sec, 150 secs
lola: 23535347 markings, 55787080 edges, 130947 markings/sec, 155 secs
lola: 24190108 markings, 57369724 edges, 130952 markings/sec, 160 secs
lola: 24839385 markings, 58942967 edges, 129855 markings/sec, 165 secs
lola: 25488261 markings, 60515933 edges, 129775 markings/sec, 170 secs
lola: 26140923 markings, 62092043 edges, 130532 markings/sec, 175 secs
lola: 26784869 markings, 63653503 edges, 128789 markings/sec, 180 secs
lola: 27432833 markings, 65218443 edges, 129593 markings/sec, 185 secs
lola: 28076065 markings, 66776863 edges, 128646 markings/sec, 190 secs
lola: 28724641 markings, 68343763 edges, 129715 markings/sec, 195 secs
lola: 29365591 markings, 69899851 edges, 128190 markings/sec, 200 secs
lola: 29977929 markings, 71383567 edges, 122468 markings/sec, 205 secs
lola: 30581268 markings, 72850323 edges, 120668 markings/sec, 210 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 unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA TCPcondis-PT-30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496568812601

--------------------
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-30"
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-30.tgz
mv S_TCPcondis-PT-30 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-30, 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-149443464100218"
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 ;