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

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

=== Now, execution of the tool begins

BK_START 1496565080642


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


checking for too many tokens
===========================================================================================
S_TCPcondis-PT-25: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_TCPcondis-PT-25 @ 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-25-UpperBounds.task
lola: MAX(xCLOSEWAIT) : MAX(xSYNSENT) : MAX(xFINWAIT1) : MAX(xSYNACK) : MAX(xCLOSEWAIT) : MAX(xFIN) : MAX(FIN) : MAX(xFINWAIT1) : MAX(xSYNSENT) : MAX(LISTEN) : MAX(LASTACK) : MAX(LISTEN) : MAX(SYNRCVD) : MAX(FINWAIT1) : MAX(FINWAIT1) : 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(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: 1107923 markings, 2122830 edges, 221585 markings/sec, 0 secs
lola: 2100345 markings, 4093937 edges, 198484 markings/sec, 5 secs
lola: 3046012 markings, 5988614 edges, 189133 markings/sec, 10 secs
lola: 3956655 markings, 7829292 edges, 182129 markings/sec, 15 secs
lola: 4842015 markings, 9630467 edges, 177072 markings/sec, 20 secs
lola: 5700297 markings, 11387336 edges, 171656 markings/sec, 25 secs
lola: 6553947 markings, 13127458 edges, 170730 markings/sec, 30 secs
lola: 7386776 markings, 14839272 edges, 166566 markings/sec, 35 secs
lola: 8213842 markings, 16541889 edges, 165413 markings/sec, 40 secs
lola: 9033137 markings, 18223717 edges, 163859 markings/sec, 45 secs
lola: 9842573 markings, 19891406 edges, 161887 markings/sec, 50 secs
lola: 10643575 markings, 21544438 edges, 160200 markings/sec, 55 secs
lola: 11435763 markings, 23180600 edges, 158438 markings/sec, 60 secs
lola: 12217686 markings, 24803725 edges, 156385 markings/sec, 65 secs
lola: 12992774 markings, 26416421 edges, 155018 markings/sec, 70 secs
lola: 13763794 markings, 28017186 edges, 154204 markings/sec, 75 secs
lola: 14523386 markings, 29597323 edges, 151918 markings/sec, 80 secs
lola: 15275300 markings, 31160887 edges, 150383 markings/sec, 85 secs
lola: 16020056 markings, 32713751 edges, 148951 markings/sec, 90 secs
lola: 16759892 markings, 34256847 edges, 147967 markings/sec, 95 secs
lola: 17497746 markings, 35796001 edges, 147571 markings/sec, 100 secs
lola: 18239697 markings, 37343537 edges, 148390 markings/sec, 105 secs
lola: 18979627 markings, 38886027 edges, 147986 markings/sec, 110 secs
lola: 19714680 markings, 40423968 edges, 147011 markings/sec, 115 secs
lola: 20449309 markings, 41961967 edges, 146926 markings/sec, 120 secs
lola: 21183184 markings, 43496010 edges, 146775 markings/sec, 125 secs
lola: 21916981 markings, 45025677 edges, 146759 markings/sec, 130 secs
lola: 22645378 markings, 46552762 edges, 145679 markings/sec, 135 secs
lola: 23370201 markings, 48072151 edges, 144965 markings/sec, 140 secs
lola: 24090998 markings, 49584983 edges, 144159 markings/sec, 145 secs
lola: 24810687 markings, 51088922 edges, 143938 markings/sec, 150 secs
lola: 25522704 markings, 52586767 edges, 142403 markings/sec, 155 secs
lola: 26233322 markings, 54080383 edges, 142124 markings/sec, 160 secs
lola: 26946770 markings, 55576781 edges, 142690 markings/sec, 165 secs
lola: 27651654 markings, 57059431 edges, 140977 markings/sec, 170 secs
lola: 28350786 markings, 58528153 edges, 139826 markings/sec, 175 secs
lola: 29042798 markings, 59991678 edges, 138402 markings/sec, 180 secs
lola: 29734441 markings, 61457967 edges, 138329 markings/sec, 185 secs
lola: 30429429 markings, 62919984 edges, 138998 markings/sec, 190 secs
lola: 31123031 markings, 64376589 edges, 138720 markings/sec, 195 secs
lola: 31810512 markings, 65825131 edges, 137496 markings/sec, 200 secs
lola: 32499111 markings, 67273715 edges, 137720 markings/sec, 205 secs
lola: 33174658 markings, 68703815 edges, 135109 markings/sec, 210 secs
lola: 33850684 markings, 70132978 edges, 135205 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(xSYNSENT)
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: 916266 markings, 2182514 edges, 183253 markings/sec, 0 secs
lola: 1744316 markings, 4341607 edges, 165610 markings/sec, 5 secs
lola: 2526556 markings, 6427462 edges, 156448 markings/sec, 10 secs
lola: 3277176 markings, 8464061 edges, 150124 markings/sec, 15 secs
lola: 3998161 markings, 10447222 edges, 144197 markings/sec, 20 secs
lola: 4700070 markings, 12371504 edges, 140382 markings/sec, 25 secs
lola: 5385772 markings, 14263963 edges, 137140 markings/sec, 30 secs
lola: 6051636 markings, 16139012 edges, 133173 markings/sec, 35 secs
lola: 6713072 markings, 17996195 edges, 132287 markings/sec, 40 secs
lola: 7374435 markings, 19853027 edges, 132273 markings/sec, 45 secs
lola: 8027401 markings, 21697133 edges, 130593 markings/sec, 50 secs
lola: 8671631 markings, 23514879 edges, 128846 markings/sec, 55 secs
lola: 9307900 markings, 25330724 edges, 127254 markings/sec, 60 secs
lola: 9947345 markings, 27166447 edges, 127889 markings/sec, 65 secs
lola: 10579878 markings, 28992767 edges, 126507 markings/sec, 70 secs
lola: 11199918 markings, 30768336 edges, 124008 markings/sec, 75 secs
lola: 11813549 markings, 32524438 edges, 122726 markings/sec, 80 secs
lola: 12413254 markings, 34275583 edges, 119941 markings/sec, 85 secs
lola: 13013231 markings, 36009192 edges, 119995 markings/sec, 90 secs
lola: 13613176 markings, 37750082 edges, 119989 markings/sec, 95 secs
lola: 14204611 markings, 39466123 edges, 118287 markings/sec, 100 secs
lola: 14795300 markings, 41184703 edges, 118138 markings/sec, 105 secs
lola: 15382925 markings, 42905151 edges, 117525 markings/sec, 110 secs
lola: 15970061 markings, 44622139 edges, 117427 markings/sec, 115 secs
lola: 16551686 markings, 46341037 edges, 116325 markings/sec, 120 secs
lola: 17127060 markings, 48017909 edges, 115075 markings/sec, 125 secs
lola: 17686008 markings, 49674469 edges, 111790 markings/sec, 130 secs
lola: 18244839 markings, 51327730 edges, 111766 markings/sec, 135 secs
lola: 18805657 markings, 52968589 edges, 112164 markings/sec, 140 secs
lola: 19362771 markings, 54606489 edges, 111423 markings/sec, 145 secs
lola: 19913365 markings, 56236904 edges, 110119 markings/sec, 150 secs
lola: 20464371 markings, 57871543 edges, 110201 markings/sec, 155 secs
lola: 21020731 markings, 59502857 edges, 111272 markings/sec, 160 secs
lola: 21567608 markings, 61132048 edges, 109375 markings/sec, 165 secs
lola: 22111428 markings, 62750957 edges, 108764 markings/sec, 170 secs
lola: 22655520 markings, 64368833 edges, 108818 markings/sec, 175 secs
lola: 23195337 markings, 65981958 edges, 107963 markings/sec, 180 secs
lola: 23741419 markings, 67583691 edges, 109216 markings/sec, 185 secs
lola: 24286634 markings, 69209288 edges, 109043 markings/sec, 190 secs
lola: 24741286 markings, 70568257 edges, 90930 markings/sec, 195 secs
lola: 25143676 markings, 71777044 edges, 80478 markings/sec, 200 secs
lola: 25539456 markings, 72981796 edges, 79156 markings/sec, 205 secs
lola: 25939706 markings, 74168962 edges, 80050 markings/sec, 210 secs
lola: 26338808 markings, 75357486 edges, 79820 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(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: 1170647 markings, 2320417 edges, 234129 markings/sec, 0 secs
lola: 2198642 markings, 4401103 edges, 205599 markings/sec, 5 secs
lola: 3172263 markings, 6382804 edges, 194724 markings/sec, 10 secs
lola: 4107909 markings, 8301195 edges, 187129 markings/sec, 15 secs
lola: 5013075 markings, 10163958 edges, 181033 markings/sec, 20 secs
lola: 5895013 markings, 11979879 edges, 176388 markings/sec, 25 secs
lola: 6749967 markings, 13746612 edges, 170991 markings/sec, 30 secs
lola: 7583594 markings, 15477053 edges, 166725 markings/sec, 35 secs
lola: 8409628 markings, 17191492 edges, 165207 markings/sec, 40 secs
lola: 9226743 markings, 18888568 edges, 163423 markings/sec, 45 secs
lola: 10037327 markings, 20576471 edges, 162117 markings/sec, 50 secs
lola: 10837887 markings, 22247178 edges, 160112 markings/sec, 55 secs
lola: 11631060 markings, 23900492 edges, 158635 markings/sec, 60 secs
lola: 12413946 markings, 25530741 edges, 156577 markings/sec, 65 secs
lola: 13188967 markings, 27144744 edges, 155004 markings/sec, 70 secs
lola: 13954967 markings, 28747129 edges, 153200 markings/sec, 75 secs
lola: 14718936 markings, 30345267 edges, 152794 markings/sec, 80 secs
lola: 15477671 markings, 31932739 edges, 151747 markings/sec, 85 secs
lola: 16236633 markings, 33517870 edges, 151792 markings/sec, 90 secs
lola: 16989855 markings, 35093340 edges, 150644 markings/sec, 95 secs
lola: 17740441 markings, 36666940 edges, 150117 markings/sec, 100 secs
lola: 18489845 markings, 38234119 edges, 149881 markings/sec, 105 secs
lola: 19233240 markings, 39792818 edges, 148679 markings/sec, 110 secs
lola: 19972244 markings, 41343631 edges, 147801 markings/sec, 115 secs
lola: 20711194 markings, 42896595 edges, 147790 markings/sec, 120 secs
lola: 21444205 markings, 44437303 edges, 146602 markings/sec, 125 secs
lola: 22177014 markings, 45980022 edges, 146562 markings/sec, 130 secs
lola: 22906767 markings, 47518723 edges, 145951 markings/sec, 135 secs
lola: 23637824 markings, 49057033 edges, 146211 markings/sec, 140 secs
lola: 24366288 markings, 50591665 edges, 145693 markings/sec, 145 secs
lola: 25091559 markings, 52123928 edges, 145054 markings/sec, 150 secs
lola: 25815509 markings, 53652618 edges, 144790 markings/sec, 155 secs
lola: 26538841 markings, 55179538 edges, 144666 markings/sec, 160 secs
lola: 27261828 markings, 56704116 edges, 144597 markings/sec, 165 secs
lola: 27986507 markings, 58232992 edges, 144936 markings/sec, 170 secs
lola: 28709840 markings, 59763103 edges, 144667 markings/sec, 175 secs
lola: 29434970 markings, 61294566 edges, 145026 markings/sec, 180 secs
lola: 30153888 markings, 62819131 edges, 143784 markings/sec, 185 secs
lola: 30869830 markings, 64334145 edges, 143188 markings/sec, 190 secs
lola: 31583368 markings, 65849077 edges, 142708 markings/sec, 195 secs
lola: 32293129 markings, 67354494 edges, 141952 markings/sec, 200 secs
lola: 32990882 markings, 68840897 edges, 139551 markings/sec, 205 secs
lola: 33689333 markings, 70328152 edges, 139690 markings/sec, 210 secs
lola: 34389101 markings, 71814770 edges, 139954 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(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: 1042325 markings, 2610674 edges, 208465 markings/sec, 0 secs
lola: 1927418 markings, 4943552 edges, 177019 markings/sec, 5 secs
lola: 2758829 markings, 7175672 edges, 166282 markings/sec, 10 secs
lola: 3557373 markings, 9338294 edges, 159709 markings/sec, 15 secs
lola: 4338965 markings, 11461136 edges, 156318 markings/sec, 20 secs
lola: 5105307 markings, 13549609 edges, 153268 markings/sec, 25 secs
lola: 5861488 markings, 15612024 edges, 151236 markings/sec, 30 secs
lola: 6611385 markings, 17654717 edges, 149979 markings/sec, 35 secs
lola: 7356222 markings, 19706176 edges, 148967 markings/sec, 40 secs
lola: 8082116 markings, 21704529 edges, 145179 markings/sec, 45 secs
lola: 8802956 markings, 23697831 edges, 144168 markings/sec, 50 secs
lola: 9524663 markings, 25686628 edges, 144341 markings/sec, 55 secs
lola: 10238984 markings, 27662019 edges, 142864 markings/sec, 60 secs
lola: 10951848 markings, 29631175 edges, 142573 markings/sec, 65 secs
lola: 11664099 markings, 31601330 edges, 142450 markings/sec, 70 secs
lola: 12365706 markings, 33554181 edges, 140321 markings/sec, 75 secs
lola: 13058724 markings, 35492620 edges, 138604 markings/sec, 80 secs
lola: 13747779 markings, 37416758 edges, 137811 markings/sec, 85 secs
lola: 14421933 markings, 39304900 edges, 134831 markings/sec, 90 secs
lola: 15094471 markings, 41187022 edges, 134508 markings/sec, 95 secs
lola: 15763195 markings, 43059025 edges, 133745 markings/sec, 100 secs
lola: 16422111 markings, 44916162 edges, 131783 markings/sec, 105 secs
lola: 17074091 markings, 46763599 edges, 130396 markings/sec, 110 secs
lola: 17722904 markings, 48605458 edges, 129763 markings/sec, 115 secs
lola: 18367856 markings, 50436524 edges, 128990 markings/sec, 120 secs
lola: 19005368 markings, 52259626 edges, 127502 markings/sec, 125 secs
lola: 19640926 markings, 54083193 edges, 127112 markings/sec, 130 secs
lola: 20276800 markings, 55904460 edges, 127175 markings/sec, 135 secs
lola: 20903910 markings, 57712440 edges, 125422 markings/sec, 140 secs
lola: 21528346 markings, 59514835 edges, 124887 markings/sec, 145 secs
lola: 22150172 markings, 61311754 edges, 124365 markings/sec, 150 secs
lola: 22765927 markings, 63103765 edges, 123151 markings/sec, 155 secs
lola: 23380345 markings, 64893910 edges, 122884 markings/sec, 160 secs
lola: 23988943 markings, 66675995 edges, 121720 markings/sec, 165 secs
lola: 24592287 markings, 68452110 edges, 120669 markings/sec, 170 secs
lola: 25189071 markings, 70214130 edges, 119357 markings/sec, 175 secs
lola: 25789043 markings, 71977902 edges, 119994 markings/sec, 180 secs
lola: 26381435 markings, 73737920 edges, 118478 markings/sec, 185 secs
lola: 26971082 markings, 75489292 edges, 117929 markings/sec, 190 secs
lola: 27560709 markings, 77244098 edges, 117925 markings/sec, 195 secs
lola: 28149178 markings, 78997772 edges, 117694 markings/sec, 200 secs
lola: 28737538 markings, 80746472 edges, 117672 markings/sec, 205 secs
lola: 29322189 markings, 82490183 edges, 116930 markings/sec, 210 secs
lola: 29898977 markings, 84228358 edges, 115358 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(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: 1178571 markings, 2262078 edges, 235714 markings/sec, 0 secs
lola: 2199889 markings, 4291628 edges, 204264 markings/sec, 5 secs
lola: 3164581 markings, 6226479 edges, 192938 markings/sec, 10 secs
lola: 4086965 markings, 8093850 edges, 184477 markings/sec, 15 secs
lola: 4979737 markings, 9911631 edges, 178554 markings/sec, 20 secs
lola: 5848211 markings, 11689216 edges, 173695 markings/sec, 25 secs
lola: 6705257 markings, 13439859 edges, 171409 markings/sec, 30 secs
lola: 7547018 markings, 15167592 edges, 168352 markings/sec, 35 secs
lola: 8373820 markings, 16871031 edges, 165360 markings/sec, 40 secs
lola: 9194480 markings, 18557310 edges, 164132 markings/sec, 45 secs
lola: 10003693 markings, 20223921 edges, 161843 markings/sec, 50 secs
lola: 10810169 markings, 21888986 edges, 161295 markings/sec, 55 secs
lola: 11615552 markings, 23552299 edges, 161077 markings/sec, 60 secs
lola: 12393196 markings, 25171042 edges, 155529 markings/sec, 65 secs
lola: 13169021 markings, 26783617 edges, 155165 markings/sec, 70 secs
lola: 13939791 markings, 28383149 edges, 154154 markings/sec, 75 secs
lola: 14705649 markings, 29973522 edges, 153172 markings/sec, 80 secs
lola: 15463496 markings, 31552380 edges, 151569 markings/sec, 85 secs
lola: 16207960 markings, 33108394 edges, 148893 markings/sec, 90 secs
lola: 16954704 markings, 34660110 edges, 149349 markings/sec, 95 secs
lola: 17692987 markings, 36203199 edges, 147657 markings/sec, 100 secs
lola: 18428811 markings, 37738514 edges, 147165 markings/sec, 105 secs
lola: 19163895 markings, 39269419 edges, 147017 markings/sec, 110 secs
lola: 19891677 markings, 40794842 edges, 145556 markings/sec, 115 secs
lola: 20615233 markings, 42310543 edges, 144711 markings/sec, 120 secs
lola: 21341230 markings, 43826333 edges, 145199 markings/sec, 125 secs
lola: 22066751 markings, 45339321 edges, 145104 markings/sec, 130 secs
lola: 22781853 markings, 46840591 edges, 143020 markings/sec, 135 secs
lola: 23498995 markings, 48341738 edges, 143428 markings/sec, 140 secs
lola: 24211436 markings, 49836786 edges, 142488 markings/sec, 145 secs
lola: 24926372 markings, 51331528 edges, 142987 markings/sec, 150 secs
lola: 25636465 markings, 52825762 edges, 142019 markings/sec, 155 secs
lola: 26345052 markings, 54313201 edges, 141717 markings/sec, 160 secs
lola: 27055082 markings, 55804917 edges, 142006 markings/sec, 165 secs
lola: 27761429 markings, 57289159 edges, 141269 markings/sec, 170 secs
lola: 28464539 markings, 58768099 edges, 140622 markings/sec, 175 secs
lola: 29156631 markings, 60233515 edges, 138418 markings/sec, 180 secs
lola: 29851300 markings, 61702587 edges, 138934 markings/sec, 185 secs
lola: 30552833 markings, 63178749 edges, 140307 markings/sec, 190 secs
lola: 31250390 markings, 64644212 edges, 139511 markings/sec, 195 secs
lola: 31944988 markings, 66106425 edges, 138920 markings/sec, 200 secs
lola: 32635692 markings, 67561270 edges, 138141 markings/sec, 205 secs
lola: 33321838 markings, 69016540 edges, 137229 markings/sec, 210 secs
lola: 34013415 markings, 70477868 edges, 138315 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(xFIN)
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: 1080694 markings, 2341077 edges, 216139 markings/sec, 0 secs
lola: 2004164 markings, 4412321 edges, 184694 markings/sec, 5 secs
lola: 2875459 markings, 6388518 edges, 174259 markings/sec, 10 secs
lola: 3717321 markings, 8316952 edges, 168372 markings/sec, 15 secs
lola: 4538136 markings, 10201693 edges, 164163 markings/sec, 20 secs
lola: 5333095 markings, 12038769 edges, 158992 markings/sec, 25 secs
lola: 6113043 markings, 13843113 edges, 155990 markings/sec, 30 secs
lola: 6880385 markings, 15624727 edges, 153468 markings/sec, 35 secs
lola: 7639217 markings, 17388459 edges, 151766 markings/sec, 40 secs
lola: 8385350 markings, 19133384 edges, 149227 markings/sec, 45 secs
lola: 9131953 markings, 20874207 edges, 149321 markings/sec, 50 secs
lola: 9871374 markings, 22600902 edges, 147884 markings/sec, 55 secs
lola: 10609333 markings, 24331462 edges, 147592 markings/sec, 60 secs
lola: 11352977 markings, 26073673 edges, 148729 markings/sec, 65 secs
lola: 12075799 markings, 27773409 edges, 144564 markings/sec, 70 secs
lola: 12783674 markings, 29441466 edges, 141575 markings/sec, 75 secs
lola: 13486120 markings, 31098711 edges, 140489 markings/sec, 80 secs
lola: 14185442 markings, 32749156 edges, 139864 markings/sec, 85 secs
lola: 14882322 markings, 34391007 edges, 139376 markings/sec, 90 secs
lola: 15573623 markings, 36025308 edges, 138260 markings/sec, 95 secs
lola: 16261589 markings, 37653139 edges, 137593 markings/sec, 100 secs
lola: 16945842 markings, 39274120 edges, 136851 markings/sec, 105 secs
lola: 17625032 markings, 40886745 edges, 135838 markings/sec, 110 secs
lola: 18303568 markings, 42496556 edges, 135707 markings/sec, 115 secs
lola: 18981387 markings, 44103785 edges, 135564 markings/sec, 120 secs
lola: 19653560 markings, 45703455 edges, 134435 markings/sec, 125 secs
lola: 20320662 markings, 47288634 edges, 133420 markings/sec, 130 secs
lola: 20985965 markings, 48869333 edges, 133061 markings/sec, 135 secs
lola: 21654722 markings, 50453489 edges, 133751 markings/sec, 140 secs
lola: 22316200 markings, 52026163 edges, 132296 markings/sec, 145 secs
lola: 22970622 markings, 53591164 edges, 130884 markings/sec, 150 secs
lola: 23627727 markings, 55157117 edges, 131421 markings/sec, 155 secs
lola: 24281540 markings, 56716310 edges, 130763 markings/sec, 160 secs
lola: 24938596 markings, 58278720 edges, 131411 markings/sec, 165 secs
lola: 25588754 markings, 59832810 edges, 130032 markings/sec, 170 secs
lola: 26240122 markings, 61389496 edges, 130274 markings/sec, 175 secs
lola: 26896716 markings, 62947499 edges, 131319 markings/sec, 180 secs
lola: 27546322 markings, 64500792 edges, 129921 markings/sec, 185 secs
lola: 28193328 markings, 66050019 edges, 129401 markings/sec, 190 secs
lola: 28837368 markings, 67595249 edges, 128808 markings/sec, 195 secs
lola: 29482903 markings, 69142400 edges, 129107 markings/sec, 200 secs
lola: 30129425 markings, 70689359 edges, 129304 markings/sec, 205 secs
lola: 30771227 markings, 72226614 edges, 128360 markings/sec, 210 secs
lola: 31407447 markings, 73758720 edges, 127244 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(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: 1051989 markings, 2329466 edges, 210398 markings/sec, 0 secs
lola: 1960028 markings, 4410990 edges, 181608 markings/sec, 5 secs
lola: 2820326 markings, 6397842 edges, 172060 markings/sec, 10 secs
lola: 3643446 markings, 8319311 edges, 164624 markings/sec, 15 secs
lola: 4445613 markings, 10193598 edges, 160433 markings/sec, 20 secs
lola: 5226352 markings, 12028583 edges, 156148 markings/sec, 25 secs
lola: 5994446 markings, 13837189 edges, 153619 markings/sec, 30 secs
lola: 6750593 markings, 15616974 edges, 151229 markings/sec, 35 secs
lola: 7495753 markings, 17377338 edges, 149032 markings/sec, 40 secs
lola: 8230135 markings, 19116341 edges, 146876 markings/sec, 45 secs
lola: 8955112 markings, 20836526 edges, 144995 markings/sec, 50 secs
lola: 9674503 markings, 22544434 edges, 143878 markings/sec, 55 secs
lola: 10388815 markings, 24242063 edges, 142862 markings/sec, 60 secs
lola: 11096903 markings, 25924609 edges, 141618 markings/sec, 65 secs
lola: 11797669 markings, 27591622 edges, 140153 markings/sec, 70 secs
lola: 12488117 markings, 29242531 edges, 138090 markings/sec, 75 secs
lola: 13173656 markings, 30880388 edges, 137108 markings/sec, 80 secs
lola: 13859249 markings, 32519613 edges, 137119 markings/sec, 85 secs
lola: 14537984 markings, 34144974 edges, 135747 markings/sec, 90 secs
lola: 15207286 markings, 35754096 edges, 133860 markings/sec, 95 secs
lola: 15873089 markings, 37357005 edges, 133161 markings/sec, 100 secs
lola: 16538536 markings, 38957781 edges, 133089 markings/sec, 105 secs
lola: 17205757 markings, 40554137 edges, 133444 markings/sec, 110 secs
lola: 17869936 markings, 42147422 edges, 132836 markings/sec, 115 secs
lola: 18530002 markings, 43736786 edges, 132013 markings/sec, 120 secs
lola: 19187388 markings, 45318988 edges, 131477 markings/sec, 125 secs
lola: 19846026 markings, 46903060 edges, 131728 markings/sec, 130 secs
lola: 20500594 markings, 48477613 edges, 130914 markings/sec, 135 secs
lola: 21150418 markings, 50045597 edges, 129965 markings/sec, 140 secs
lola: 21799435 markings, 51611900 edges, 129803 markings/sec, 145 secs
lola: 22444016 markings, 53170109 edges, 128916 markings/sec, 150 secs
lola: 23091406 markings, 54727700 edges, 129478 markings/sec, 155 secs
lola: 23733292 markings, 56277619 edges, 128377 markings/sec, 160 secs
lola: 24369390 markings, 57819168 edges, 127220 markings/sec, 165 secs
lola: 25007841 markings, 59361287 edges, 127690 markings/sec, 170 secs
lola: 25638288 markings, 60892165 edges, 126089 markings/sec, 175 secs
lola: 26272080 markings, 62428280 edges, 126758 markings/sec, 180 secs
lola: 26905423 markings, 63958970 edges, 126669 markings/sec, 185 secs
lola: 27536237 markings, 65489611 edges, 126163 markings/sec, 190 secs
lola: 28167151 markings, 67019489 edges, 126183 markings/sec, 195 secs
lola: 28798412 markings, 68549457 edges, 126252 markings/sec, 200 secs
lola: 29422626 markings, 70069861 edges, 124843 markings/sec, 205 secs
lola: 30048474 markings, 71591160 edges, 125170 markings/sec, 210 secs
lola: 30671174 markings, 73110503 edges, 124540 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(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: 1155273 markings, 2289259 edges, 231055 markings/sec, 0 secs
lola: 2171435 markings, 4346604 edges, 203232 markings/sec, 5 secs
lola: 3147078 markings, 6330987 edges, 195129 markings/sec, 10 secs
lola: 4086048 markings, 8256917 edges, 187794 markings/sec, 15 secs
lola: 5002491 markings, 10142128 edges, 183289 markings/sec, 20 secs
lola: 5898842 markings, 11987872 edges, 179270 markings/sec, 25 secs
lola: 6774388 markings, 13797114 edges, 175109 markings/sec, 30 secs
lola: 7627816 markings, 15568167 edges, 170686 markings/sec, 35 secs
lola: 8471367 markings, 17321373 edges, 168710 markings/sec, 40 secs
lola: 9308581 markings, 19058216 edges, 167443 markings/sec, 45 secs
lola: 10134262 markings, 20778914 edges, 165136 markings/sec, 50 secs
lola: 10936999 markings, 22454801 edges, 160547 markings/sec, 55 secs
lola: 11737401 markings, 24120073 edges, 160080 markings/sec, 60 secs
lola: 12531063 markings, 25772680 edges, 158732 markings/sec, 65 secs
lola: 13319341 markings, 27416944 edges, 157656 markings/sec, 70 secs
lola: 14100770 markings, 29051836 edges, 156286 markings/sec, 75 secs
lola: 14877692 markings, 30678371 edges, 155384 markings/sec, 80 secs
lola: 15653432 markings, 32299161 edges, 155148 markings/sec, 85 secs
lola: 16424162 markings, 33911878 edges, 154146 markings/sec, 90 secs
lola: 17193783 markings, 35519233 edges, 153924 markings/sec, 95 secs
lola: 17953925 markings, 37116832 edges, 152028 markings/sec, 100 secs
lola: 18717329 markings, 38711905 edges, 152681 markings/sec, 105 secs
lola: 19475908 markings, 40300714 edges, 151716 markings/sec, 110 secs
lola: 20231614 markings, 41885425 edges, 151141 markings/sec, 115 secs
lola: 20979535 markings, 43460714 edges, 149584 markings/sec, 120 secs
lola: 21727209 markings, 45033783 edges, 149535 markings/sec, 125 secs
lola: 22473916 markings, 46607427 edges, 149341 markings/sec, 130 secs
lola: 23216662 markings, 48172133 edges, 148549 markings/sec, 135 secs
lola: 23959421 markings, 49732374 edges, 148552 markings/sec, 140 secs
lola: 24698334 markings, 51293296 edges, 147783 markings/sec, 145 secs
lola: 25434065 markings, 52845890 edges, 147146 markings/sec, 150 secs
lola: 26168904 markings, 54400061 edges, 146968 markings/sec, 155 secs
lola: 26904339 markings, 55948953 edges, 147087 markings/sec, 160 secs
lola: 27636846 markings, 57495053 edges, 146501 markings/sec, 165 secs
lola: 28368170 markings, 59039280 edges, 146265 markings/sec, 170 secs
lola: 29096447 markings, 60581990 edges, 145655 markings/sec, 175 secs
lola: 29826229 markings, 62122953 edges, 145956 markings/sec, 180 secs
lola: 30544546 markings, 63644661 edges, 143663 markings/sec, 185 secs
lola: 31261897 markings, 65166181 edges, 143470 markings/sec, 190 secs
lola: 31975412 markings, 66682023 edges, 142703 markings/sec, 195 secs
lola: 32688611 markings, 68196275 edges, 142640 markings/sec, 200 secs
lola: 33396193 markings, 69703130 edges, 141516 markings/sec, 205 secs
lola: 34105082 markings, 71213365 edges, 141778 markings/sec, 210 secs
lola: 34810304 markings, 72713611 edges, 141044 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(xSYNSENT)
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: 955899 markings, 2288959 edges, 191180 markings/sec, 0 secs
lola: 1657122 markings, 4108810 edges, 140245 markings/sec, 5 secs
lola: 2438830 markings, 6189405 edges, 156342 markings/sec, 10 secs
lola: 3193155 markings, 8240867 edges, 150865 markings/sec, 15 secs
lola: 3923326 markings, 10235801 edges, 146034 markings/sec, 20 secs
lola: 4636713 markings, 12192368 edges, 142677 markings/sec, 25 secs
lola: 5332772 markings, 14121247 edges, 139212 markings/sec, 30 secs
lola: 6006643 markings, 16010681 edges, 134774 markings/sec, 35 secs
lola: 6668916 markings, 17874343 edges, 132455 markings/sec, 40 secs
lola: 7324561 markings, 19712769 edges, 131129 markings/sec, 45 secs
lola: 7972708 markings, 21542225 edges, 129629 markings/sec, 50 secs
lola: 8616325 markings, 23360685 edges, 128723 markings/sec, 55 secs
lola: 9250075 markings, 25166273 edges, 126750 markings/sec, 60 secs
lola: 9874203 markings, 26951022 edges, 124826 markings/sec, 65 secs
lola: 10488407 markings, 28729004 edges, 122841 markings/sec, 70 secs
lola: 11102884 markings, 30492068 edges, 122895 markings/sec, 75 secs
lola: 11716686 markings, 32241374 edges, 122760 markings/sec, 80 secs
lola: 12315355 markings, 33989657 edges, 119734 markings/sec, 85 secs
lola: 12912390 markings, 35718154 edges, 119407 markings/sec, 90 secs
lola: 13507727 markings, 37440903 edges, 119067 markings/sec, 95 secs
lola: 14096784 markings, 39159456 edges, 117811 markings/sec, 100 secs
lola: 14686296 markings, 40870886 edges, 117902 markings/sec, 105 secs
lola: 15269813 markings, 42575737 edges, 116703 markings/sec, 110 secs
lola: 15851352 markings, 44274117 edges, 116308 markings/sec, 115 secs
lola: 16425464 markings, 45967031 edges, 114822 markings/sec, 120 secs
lola: 16995350 markings, 47631190 edges, 113977 markings/sec, 125 secs
lola: 17558413 markings, 49300832 edges, 112613 markings/sec, 130 secs
lola: 18121574 markings, 50959100 edges, 112632 markings/sec, 135 secs
lola: 18682859 markings, 52609773 edges, 112257 markings/sec, 140 secs
lola: 19245623 markings, 54255228 edges, 112553 markings/sec, 145 secs
lola: 19796340 markings, 55895944 edges, 110143 markings/sec, 150 secs
lola: 20348600 markings, 57527005 edges, 110452 markings/sec, 155 secs
lola: 20903830 markings, 59166540 edges, 111046 markings/sec, 160 secs
lola: 21459218 markings, 60809354 edges, 111078 markings/sec, 165 secs
lola: 22005559 markings, 62438987 edges, 109268 markings/sec, 170 secs
lola: 22550974 markings, 64058189 edges, 109083 markings/sec, 175 secs
lola: 23094813 markings, 65675165 edges, 108768 markings/sec, 180 secs
lola: 23639059 markings, 67278973 edges, 108849 markings/sec, 185 secs
lola: 24178924 markings, 68886461 edges, 107973 markings/sec, 190 secs
lola: 24716708 markings, 70493812 edges, 107557 markings/sec, 195 secs
lola: 25253828 markings, 72110446 edges, 107424 markings/sec, 200 secs
lola: 25787196 markings, 73718038 edges, 106674 markings/sec, 205 secs
lola: 26327347 markings, 75321778 edges, 108030 markings/sec, 210 secs
lola: 26861363 markings, 76929085 edges, 106803 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(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: 1168909 markings, 2551157 edges, 233782 markings/sec, 0 secs
lola: 2164464 markings, 4848122 edges, 199111 markings/sec, 5 secs
lola: 3085536 markings, 7027485 edges, 184214 markings/sec, 10 secs
lola: 3966890 markings, 9133684 edges, 176271 markings/sec, 15 secs
lola: 4822641 markings, 11191395 edges, 171150 markings/sec, 20 secs
lola: 5656776 markings, 13215830 edges, 166827 markings/sec, 25 secs
lola: 6466656 markings, 15198575 edges, 161976 markings/sec, 30 secs
lola: 7254927 markings, 17146032 edges, 157654 markings/sec, 35 secs
lola: 8040600 markings, 19085540 edges, 157135 markings/sec, 40 secs
lola: 8810020 markings, 20998518 edges, 153884 markings/sec, 45 secs
lola: 9565454 markings, 22886456 edges, 151087 markings/sec, 50 secs
lola: 10304765 markings, 24748233 edges, 147862 markings/sec, 55 secs
lola: 11041919 markings, 26602497 edges, 147431 markings/sec, 60 secs
lola: 11771877 markings, 28442732 edges, 145992 markings/sec, 65 secs
lola: 12492722 markings, 30268789 edges, 144169 markings/sec, 70 secs
lola: 13208098 markings, 32083591 edges, 143075 markings/sec, 75 secs
lola: 13914561 markings, 33881946 edges, 141293 markings/sec, 80 secs
lola: 14615147 markings, 35666312 edges, 140117 markings/sec, 85 secs
lola: 15308487 markings, 37439039 edges, 138668 markings/sec, 90 secs
lola: 15993945 markings, 39200427 edges, 137092 markings/sec, 95 secs
lola: 16677178 markings, 40951983 edges, 136647 markings/sec, 100 secs
lola: 17363053 markings, 42707432 edges, 137175 markings/sec, 105 secs
lola: 18039783 markings, 44448539 edges, 135346 markings/sec, 110 secs
lola: 18713241 markings, 46179977 edges, 134692 markings/sec, 115 secs
lola: 19378278 markings, 47892298 edges, 133007 markings/sec, 120 secs
lola: 20039728 markings, 49597674 edges, 132290 markings/sec, 125 secs
lola: 20696466 markings, 51292788 edges, 131348 markings/sec, 130 secs
lola: 21345293 markings, 52976990 edges, 129765 markings/sec, 135 secs
lola: 21992733 markings, 54658292 edges, 129488 markings/sec, 140 secs
lola: 22635584 markings, 56331021 edges, 128570 markings/sec, 145 secs
lola: 23278457 markings, 58000927 edges, 128575 markings/sec, 150 secs
lola: 23914498 markings, 59661130 edges, 127208 markings/sec, 155 secs
lola: 24551342 markings, 61315917 edges, 127369 markings/sec, 160 secs
lola: 25185711 markings, 62966160 edges, 126874 markings/sec, 165 secs
lola: 25816874 markings, 64614830 edges, 126233 markings/sec, 170 secs
lola: 26446935 markings, 66256471 edges, 126012 markings/sec, 175 secs
lola: 27024054 markings, 67758448 edges, 115424 markings/sec, 180 secs
lola: 27527248 markings, 69075675 edges, 100639 markings/sec, 185 secs
lola: 28065973 markings, 70481016 edges, 107745 markings/sec, 190 secs
lola: 28687064 markings, 72105854 edges, 124218 markings/sec, 195 secs
lola: 29309980 markings, 73734016 edges, 124583 markings/sec, 200 secs
lola: 29927588 markings, 75350873 edges, 123522 markings/sec, 205 secs
lola: 30539525 markings, 76957198 edges, 122387 markings/sec, 210 secs
lola: 31163127 markings, 78590025 edges, 124720 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(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: 1166156 markings, 1929477 edges, 233231 markings/sec, 0 secs
lola: 2076410 markings, 3501572 edges, 182051 markings/sec, 5 secs
lola: 2910976 markings, 4965650 edges, 166913 markings/sec, 10 secs
lola: 3758031 markings, 6465647 edges, 169411 markings/sec, 15 secs
lola: 4746708 markings, 8235518 edges, 197735 markings/sec, 20 secs
lola: 5714365 markings, 9970241 edges, 193531 markings/sec, 25 secs
lola: 6656368 markings, 11669171 edges, 188401 markings/sec, 30 secs
lola: 7576832 markings, 13337630 edges, 184093 markings/sec, 35 secs
lola: 8483080 markings, 14986424 edges, 181250 markings/sec, 40 secs
lola: 9372222 markings, 16608095 edges, 177828 markings/sec, 45 secs
lola: 10246546 markings, 18208370 edges, 174865 markings/sec, 50 secs
lola: 11113660 markings, 19792696 edges, 173423 markings/sec, 55 secs
lola: 11969920 markings, 21367989 edges, 171252 markings/sec, 60 secs
lola: 12820170 markings, 22928601 edges, 170050 markings/sec, 65 secs
lola: 13660736 markings, 24473720 edges, 168113 markings/sec, 70 secs
lola: 14499402 markings, 26024851 edges, 167733 markings/sec, 75 secs
lola: 15330890 markings, 27565929 edges, 166298 markings/sec, 80 secs
lola: 16148934 markings, 29085287 edges, 163609 markings/sec, 85 secs
lola: 16961524 markings, 30597419 edges, 162518 markings/sec, 90 secs
lola: 17774785 markings, 32104767 edges, 162652 markings/sec, 95 secs
lola: 18572669 markings, 33595260 edges, 159577 markings/sec, 100 secs
lola: 19332556 markings, 35007751 edges, 151977 markings/sec, 105 secs
lola: 20073931 markings, 36395470 edges, 148275 markings/sec, 110 secs
lola: 20835244 markings, 37824628 edges, 152263 markings/sec, 115 secs
lola: 21620535 markings, 39294718 edges, 157058 markings/sec, 120 secs
lola: 22403578 markings, 40762508 edges, 156609 markings/sec, 125 secs
lola: 23183080 markings, 42222461 edges, 155900 markings/sec, 130 secs
lola: 23960621 markings, 43681352 edges, 155508 markings/sec, 135 secs
lola: 24733104 markings, 45125260 edges, 154497 markings/sec, 140 secs
lola: 25501254 markings, 46565898 edges, 153630 markings/sec, 145 secs
lola: 26274411 markings, 48011213 edges, 154631 markings/sec, 150 secs
lola: 27038394 markings, 49452564 edges, 152797 markings/sec, 155 secs
lola: 27795749 markings, 50884623 edges, 151471 markings/sec, 160 secs
lola: 28549714 markings, 52307487 edges, 150793 markings/sec, 165 secs
lola: 29295940 markings, 53720162 edges, 149245 markings/sec, 170 secs
lola: 30042383 markings, 55128024 edges, 149289 markings/sec, 175 secs
lola: 30788449 markings, 56538524 edges, 149213 markings/sec, 180 secs
lola: 31530160 markings, 57947818 edges, 148342 markings/sec, 185 secs
lola: 32274102 markings, 59362879 edges, 148788 markings/sec, 190 secs
lola: 33018671 markings, 60768088 edges, 148914 markings/sec, 195 secs
lola: 33761954 markings, 62173276 edges, 148657 markings/sec, 200 secs
lola: 34499622 markings, 63571377 edges, 147534 markings/sec, 205 secs
lola: 35232735 markings, 64965400 edges, 146623 markings/sec, 210 secs
lola: 35962262 markings, 66354101 edges, 145905 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(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: 1157301 markings, 2523736 edges, 231460 markings/sec, 0 secs
lola: 2129666 markings, 4767287 edges, 194473 markings/sec, 5 secs
lola: 3041115 markings, 6921999 edges, 182290 markings/sec, 10 secs
lola: 3913604 markings, 9002660 edges, 174498 markings/sec, 15 secs
lola: 4761613 markings, 11045062 edges, 169602 markings/sec, 20 secs
lola: 5591233 markings, 13054339 edges, 165924 markings/sec, 25 secs
lola: 6391332 markings, 15017177 edges, 160020 markings/sec, 30 secs
lola: 7178665 markings, 16956842 edges, 157467 markings/sec, 35 secs
lola: 7952717 markings, 18868896 edges, 154810 markings/sec, 40 secs
lola: 8714961 markings, 20761298 edges, 152449 markings/sec, 45 secs
lola: 9459066 markings, 22619376 edges, 148821 markings/sec, 50 secs
lola: 10189000 markings, 24455976 edges, 145987 markings/sec, 55 secs
lola: 10916756 markings, 26285042 edges, 145551 markings/sec, 60 secs
lola: 11640056 markings, 28108621 edges, 144660 markings/sec, 65 secs
lola: 12348415 markings, 29906220 edges, 141672 markings/sec, 70 secs
lola: 13055724 markings, 31696623 edges, 141462 markings/sec, 75 secs
lola: 13752681 markings, 33470976 edges, 139391 markings/sec, 80 secs
lola: 14442743 markings, 35227377 edges, 138012 markings/sec, 85 secs
lola: 15127418 markings, 36975094 edges, 136935 markings/sec, 90 secs
lola: 15802767 markings, 38706411 edges, 135070 markings/sec, 95 secs
lola: 16477334 markings, 40438071 edges, 134913 markings/sec, 100 secs
lola: 17156031 markings, 42177331 edges, 135739 markings/sec, 105 secs
lola: 17822307 markings, 43887514 edges, 133255 markings/sec, 110 secs
lola: 18489495 markings, 45604595 edges, 133438 markings/sec, 115 secs
lola: 19156482 markings, 47320380 edges, 133397 markings/sec, 120 secs
lola: 19818071 markings, 49026050 edges, 132318 markings/sec, 125 secs
lola: 20477074 markings, 50726721 edges, 131801 markings/sec, 130 secs
lola: 21132303 markings, 52421345 edges, 131046 markings/sec, 135 secs
lola: 21780144 markings, 54103439 edges, 129568 markings/sec, 140 secs
lola: 22423488 markings, 55780432 edges, 128669 markings/sec, 145 secs
lola: 23068081 markings, 57451769 edges, 128919 markings/sec, 150 secs
lola: 23705826 markings, 59117488 edges, 127549 markings/sec, 155 secs
lola: 24348203 markings, 60783784 edges, 128475 markings/sec, 160 secs
lola: 24981415 markings, 62434303 edges, 126642 markings/sec, 165 secs
lola: 25614967 markings, 64087327 edges, 126710 markings/sec, 170 secs
lola: 26248015 markings, 65739278 edges, 126610 markings/sec, 175 secs
lola: 26881763 markings, 67388163 edges, 126750 markings/sec, 180 secs
lola: 27510803 markings, 69032800 edges, 125808 markings/sec, 185 secs
lola: 28116568 markings, 70613450 edges, 121153 markings/sec, 190 secs
lola: 28711638 markings, 72169386 edges, 119014 markings/sec, 195 secs
lola: 29338128 markings, 73806803 edges, 125298 markings/sec, 200 secs
lola: 29954025 markings, 75420173 edges, 123179 markings/sec, 205 secs
lola: 30567704 markings, 77032314 edges, 122736 markings/sec, 210 secs
lola: 31193756 markings, 78668656 edges, 125210 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(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: 1128850 markings, 2452532 edges, 225770 markings/sec, 0 secs
lola: 2054674 markings, 4646936 edges, 185165 markings/sec, 5 secs
lola: 2926780 markings, 6749808 edges, 174421 markings/sec, 10 secs
lola: 3761620 markings, 8791082 edges, 166968 markings/sec, 15 secs
lola: 4573541 markings, 10792019 edges, 162384 markings/sec, 20 secs
lola: 5362976 markings, 12765836 edges, 157887 markings/sec, 25 secs
lola: 6147583 markings, 14720064 edges, 156921 markings/sec, 30 secs
lola: 6906446 markings, 16637969 edges, 151773 markings/sec, 35 secs
lola: 7659057 markings, 18526681 edges, 150522 markings/sec, 40 secs
lola: 8398592 markings, 20398303 edges, 147907 markings/sec, 45 secs
lola: 9133307 markings, 22258474 edges, 146943 markings/sec, 50 secs
lola: 9852126 markings, 24096878 edges, 143764 markings/sec, 55 secs
lola: 10565514 markings, 25925849 edges, 142678 markings/sec, 60 secs
lola: 11276771 markings, 27745943 edges, 142251 markings/sec, 65 secs
lola: 11982696 markings, 29555169 edges, 141185 markings/sec, 70 secs
lola: 12683567 markings, 31354471 edges, 140174 markings/sec, 75 secs
lola: 13380696 markings, 33150650 edges, 139426 markings/sec, 80 secs
lola: 14072573 markings, 34936189 edges, 138375 markings/sec, 85 secs
lola: 14756471 markings, 36711059 edges, 136780 markings/sec, 90 secs
lola: 15441831 markings, 38488732 edges, 137072 markings/sec, 95 secs
lola: 16121736 markings, 40254854 edges, 135981 markings/sec, 100 secs
lola: 16804385 markings, 42017107 edges, 136530 markings/sec, 105 secs
lola: 17477803 markings, 43770149 edges, 134684 markings/sec, 110 secs
lola: 18146356 markings, 45513962 edges, 133711 markings/sec, 115 secs
lola: 18813485 markings, 47254197 edges, 133426 markings/sec, 120 secs
lola: 19478620 markings, 49001484 edges, 133027 markings/sec, 125 secs
lola: 20136771 markings, 50740644 edges, 131630 markings/sec, 130 secs
lola: 20792787 markings, 52471725 edges, 131203 markings/sec, 135 secs
lola: 21447865 markings, 54202826 edges, 131016 markings/sec, 140 secs
lola: 22103135 markings, 55931651 edges, 131054 markings/sec, 145 secs
lola: 22750274 markings, 57650250 edges, 129428 markings/sec, 150 secs
lola: 23396025 markings, 59364832 edges, 129150 markings/sec, 155 secs
lola: 24043499 markings, 61083453 edges, 129495 markings/sec, 160 secs
lola: 24687562 markings, 62795234 edges, 128813 markings/sec, 165 secs
lola: 25326197 markings, 64502414 edges, 127727 markings/sec, 170 secs
lola: 25952043 markings, 66189537 edges, 125169 markings/sec, 175 secs
lola: 26574513 markings, 67875469 edges, 124494 markings/sec, 180 secs
lola: 27199165 markings, 69562349 edges, 124930 markings/sec, 185 secs
lola: 27816813 markings, 71234617 edges, 123530 markings/sec, 190 secs
lola: 28437129 markings, 72914115 edges, 124063 markings/sec, 195 secs
lola: 29053341 markings, 74593821 edges, 123242 markings/sec, 200 secs
lola: 29663206 markings, 76262234 edges, 121973 markings/sec, 205 secs
lola: 30269334 markings, 77926706 edges, 121226 markings/sec, 210 secs
lola: 30874541 markings, 79589333 edges, 121041 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 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: 1123051 markings, 2268837 edges, 224610 markings/sec, 0 secs
lola: 2087351 markings, 4270521 edges, 192860 markings/sec, 5 secs
lola: 2993235 markings, 6171610 edges, 181177 markings/sec, 10 secs
lola: 3864799 markings, 8003352 edges, 174313 markings/sec, 15 secs
lola: 4711320 markings, 9794378 edges, 169304 markings/sec, 20 secs
lola: 5538948 markings, 11546528 edges, 165526 markings/sec, 25 secs
lola: 6349071 markings, 13270044 edges, 162025 markings/sec, 30 secs
lola: 7148620 markings, 14971174 edges, 159910 markings/sec, 35 secs
lola: 7932140 markings, 16645281 edges, 156704 markings/sec, 40 secs
lola: 8708472 markings, 18303483 edges, 155266 markings/sec, 45 secs
lola: 9477816 markings, 19946809 edges, 153869 markings/sec, 50 secs
lola: 10237379 markings, 21573799 edges, 151913 markings/sec, 55 secs
lola: 10990846 markings, 23190243 edges, 150693 markings/sec, 60 secs
lola: 11734796 markings, 24788350 edges, 148790 markings/sec, 65 secs
lola: 12472948 markings, 26373608 edges, 147630 markings/sec, 70 secs
lola: 13206342 markings, 27955306 edges, 146679 markings/sec, 75 secs
lola: 13931087 markings, 29518350 edges, 144949 markings/sec, 80 secs
lola: 14651114 markings, 31067960 edges, 144005 markings/sec, 85 secs
lola: 15362697 markings, 32606132 edges, 142317 markings/sec, 90 secs
lola: 16070140 markings, 34132724 edges, 141489 markings/sec, 95 secs
lola: 16777036 markings, 35658408 edges, 141379 markings/sec, 100 secs
lola: 17484478 markings, 37185301 edges, 141488 markings/sec, 105 secs
lola: 18185765 markings, 38704712 edges, 140257 markings/sec, 110 secs
lola: 18889404 markings, 40228037 edges, 140728 markings/sec, 115 secs
lola: 19588180 markings, 41741716 edges, 139755 markings/sec, 120 secs
lola: 20283420 markings, 43244934 edges, 139048 markings/sec, 125 secs
lola: 20974090 markings, 44742010 edges, 138134 markings/sec, 130 secs
lola: 21665140 markings, 46240009 edges, 138210 markings/sec, 135 secs
lola: 22352282 markings, 47731489 edges, 137428 markings/sec, 140 secs
lola: 23038719 markings, 49219616 edges, 137287 markings/sec, 145 secs
lola: 23720783 markings, 50703098 edges, 136413 markings/sec, 150 secs
lola: 24401004 markings, 52180767 edges, 136044 markings/sec, 155 secs
lola: 25079397 markings, 53654626 edges, 135679 markings/sec, 160 secs
lola: 25751219 markings, 55122907 edges, 134364 markings/sec, 165 secs
lola: 26424434 markings, 56588178 edges, 134643 markings/sec, 170 secs
lola: 27094806 markings, 58050085 edges, 134074 markings/sec, 175 secs
lola: 27764270 markings, 59510432 edges, 133893 markings/sec, 180 secs
lola: 28433121 markings, 60968478 edges, 133770 markings/sec, 185 secs
lola: 29099636 markings, 62424265 edges, 133303 markings/sec, 190 secs
lola: 29765533 markings, 63879799 edges, 133179 markings/sec, 195 secs
lola: 30427118 markings, 65327094 edges, 132317 markings/sec, 200 secs
lola: 31083214 markings, 66768319 edges, 131219 markings/sec, 205 secs
lola: 31742640 markings, 68214730 edges, 131885 markings/sec, 210 secs
lola: 32396928 markings, 69648958 edges, 130858 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 220 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: 1122803 markings, 2268292 edges, 224561 markings/sec, 0 secs
lola: 2093037 markings, 4282403 edges, 194047 markings/sec, 5 secs
lola: 3001793 markings, 6189575 edges, 181751 markings/sec, 10 secs
lola: 3872204 markings, 8019253 edges, 174082 markings/sec, 15 secs
lola: 4714922 markings, 9801922 edges, 168544 markings/sec, 20 secs
lola: 5539438 markings, 11547494 edges, 164903 markings/sec, 25 secs
lola: 6351467 markings, 13275145 edges, 162406 markings/sec, 30 secs
lola: 7152550 markings, 14979799 edges, 160217 markings/sec, 35 secs
lola: 7938404 markings, 16658138 edges, 157171 markings/sec, 40 secs
lola: 8712581 markings, 18312208 edges, 154835 markings/sec, 45 secs
lola: 9481825 markings, 19955492 edges, 153849 markings/sec, 50 secs
lola: 10240959 markings, 21581604 edges, 151827 markings/sec, 55 secs
lola: 10993793 markings, 23196456 edges, 150567 markings/sec, 60 secs
lola: 11737541 markings, 24794115 edges, 148750 markings/sec, 65 secs
lola: 12473994 markings, 26375834 edges, 147291 markings/sec, 70 secs
lola: 13206133 markings, 27954835 edges, 146428 markings/sec, 75 secs
lola: 13930283 markings, 29516607 edges, 144830 markings/sec, 80 secs
lola: 14652093 markings, 31070073 edges, 144362 markings/sec, 85 secs
lola: 15367736 markings, 32617123 edges, 143129 markings/sec, 90 secs
lola: 16080960 markings, 34155593 edges, 142645 markings/sec, 95 secs
lola: 16793788 markings, 35694024 edges, 142566 markings/sec, 100 secs
lola: 17500672 markings, 37220606 edges, 141377 markings/sec, 105 secs
lola: 18192201 markings, 38718231 edges, 138306 markings/sec, 110 secs
lola: 18881746 markings, 40211688 edges, 137909 markings/sec, 115 secs
lola: 19571035 markings, 41704132 edges, 137858 markings/sec, 120 secs
lola: 20263701 markings, 43202292 edges, 138533 markings/sec, 125 secs
lola: 20950485 markings, 44691396 edges, 137357 markings/sec, 130 secs
lola: 21635768 markings, 46176147 edges, 137057 markings/sec, 135 secs
lola: 22316964 markings, 47654772 edges, 136239 markings/sec, 140 secs
lola: 22994998 markings, 49126074 edges, 135607 markings/sec, 145 secs
lola: 23673416 markings, 50599312 edges, 135684 markings/sec, 150 secs
lola: 24347931 markings, 52064683 edges, 134903 markings/sec, 155 secs
lola: 25020222 markings, 53526204 edges, 134458 markings/sec, 160 secs
lola: 25640820 markings, 54881718 edges, 124120 markings/sec, 165 secs
lola: 26307834 markings, 56335500 edges, 133403 markings/sec, 170 secs
lola: 26977910 markings, 57795026 edges, 134015 markings/sec, 175 secs
lola: 27649266 markings, 59260060 edges, 134271 markings/sec, 180 secs
lola: 28320120 markings, 60722784 edges, 134171 markings/sec, 185 secs
lola: 28988068 markings, 62180606 edges, 133590 markings/sec, 190 secs
lola: 29656551 markings, 63640063 edges, 133697 markings/sec, 195 secs
lola: 30319800 markings, 65091673 edges, 132650 markings/sec, 200 secs
lola: 30978979 markings, 66537916 edges, 131836 markings/sec, 205 secs
lola: 31639532 markings, 67989260 edges, 132111 markings/sec, 210 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 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: 1028946 markings, 2494975 edges, 205789 markings/sec, 0 secs
lola: 1853299 markings, 4702124 edges, 164871 markings/sec, 5 secs
lola: 2606838 markings, 6778154 edges, 150708 markings/sec, 10 secs
lola: 3320941 markings, 8773053 edges, 142821 markings/sec, 15 secs
lola: 4008518 markings, 10712901 edges, 137515 markings/sec, 20 secs
lola: 4679839 markings, 12621267 edges, 134264 markings/sec, 25 secs
lola: 5336155 markings, 14493008 edges, 131263 markings/sec, 30 secs
lola: 5983243 markings, 16344767 edges, 129418 markings/sec, 35 secs
lola: 6619816 markings, 18178066 edges, 127315 markings/sec, 40 secs
lola: 7244376 markings, 19987152 edges, 124912 markings/sec, 45 secs
lola: 7845150 markings, 21745824 edges, 120155 markings/sec, 50 secs
lola: 8441618 markings, 23502079 edges, 119294 markings/sec, 55 secs
lola: 9032777 markings, 25244693 edges, 118232 markings/sec, 60 secs
lola: 9619822 markings, 26979165 edges, 117409 markings/sec, 65 secs
lola: 10194341 markings, 28689965 edges, 114904 markings/sec, 70 secs
lola: 10769629 markings, 30397383 edges, 115058 markings/sec, 75 secs
lola: 11330935 markings, 32077363 edges, 112261 markings/sec, 80 secs
lola: 11890177 markings, 33750870 edges, 111848 markings/sec, 85 secs
lola: 12444978 markings, 35421280 edges, 110960 markings/sec, 90 secs
lola: 12996956 markings, 37085387 edges, 110396 markings/sec, 95 secs
lola: 13537694 markings, 38726418 edges, 108148 markings/sec, 100 secs
lola: 14078589 markings, 40369279 edges, 108179 markings/sec, 105 secs
lola: 14614565 markings, 41996507 edges, 107195 markings/sec, 110 secs
lola: 15138058 markings, 43592666 edges, 104699 markings/sec, 115 secs
lola: 15661576 markings, 45187635 edges, 104704 markings/sec, 120 secs
lola: 16192050 markings, 46802253 edges, 106095 markings/sec, 125 secs
lola: 16712836 markings, 48398151 edges, 104157 markings/sec, 130 secs
lola: 17234723 markings, 49995594 edges, 104377 markings/sec, 135 secs
lola: 17756362 markings, 51590704 edges, 104328 markings/sec, 140 secs
lola: 18274531 markings, 53177581 edges, 103634 markings/sec, 145 secs
lola: 18794215 markings, 54768174 edges, 103937 markings/sec, 150 secs
lola: 19305120 markings, 56339733 edges, 102181 markings/sec, 155 secs
lola: 19813369 markings, 57904653 edges, 101650 markings/sec, 160 secs
lola: 20321674 markings, 59472086 edges, 101661 markings/sec, 165 secs
lola: 20823937 markings, 61026828 edges, 100453 markings/sec, 170 secs
lola: 21328633 markings, 62585418 edges, 100939 markings/sec, 175 secs
lola: 21830301 markings, 64138501 edges, 100334 markings/sec, 180 secs
lola: 22329942 markings, 65688477 edges, 99928 markings/sec, 185 secs
lola: 22829261 markings, 67234474 edges, 99864 markings/sec, 190 secs
lola: 23320404 markings, 68763729 edges, 98229 markings/sec, 195 secs
lola: 23816820 markings, 70308569 edges, 99283 markings/sec, 200 secs
lola: 24307823 markings, 71834716 edges, 98201 markings/sec, 205 secs
lola: 24802058 markings, 73368582 edges, 98847 markings/sec, 210 secs
lola: 25292984 markings, 74894710 edges, 98185 markings/sec, 215 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-25-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-25-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496568620911

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