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 TCPcondis-PT-40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008500236
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494937403471


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TCPcondis-PT-40 @ 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-40-UpperBounds.task
lola: MAX(xESTAB) : MAX(xFINWAIT2) : MAX(FINACK) : MAX(xFIN) : MAX(SYNSENT) : MAX(LISTEN) : MAX(xSYN) : MAX(xCLOSING) : MAX(SYNRCVD) : MAX(CLOSEWAIT) : MAX(FINWAIT2) : MAX(xSYN) : MAX(SYNRCVD) : MAX(LASTACK) : MAX(FINACK) : MAX(xLASTACK)
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(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: 921476 markings, 2525219 edges, 184295 markings/sec, 0 secs
lola: 1696819 markings, 4870015 edges, 155069 markings/sec, 5 secs
lola: 2418603 markings, 7118067 edges, 144357 markings/sec, 10 secs
lola: 3113777 markings, 9316678 edges, 139035 markings/sec, 15 secs
lola: 3782665 markings, 11458049 edges, 133778 markings/sec, 20 secs
lola: 4436167 markings, 13561331 edges, 130700 markings/sec, 25 secs
lola: 5055550 markings, 15584519 edges, 123877 markings/sec, 30 secs
lola: 5679078 markings, 17631207 edges, 124706 markings/sec, 35 secs
lola: 6296091 markings, 19665456 edges, 123403 markings/sec, 40 secs
lola: 6906854 markings, 21692985 edges, 122153 markings/sec, 45 secs
lola: 7509153 markings, 23699354 edges, 120460 markings/sec, 50 secs
lola: 8107319 markings, 25696069 edges, 119633 markings/sec, 55 secs
lola: 8705371 markings, 27691257 edges, 119610 markings/sec, 60 secs
lola: 9286524 markings, 29643667 edges, 116231 markings/sec, 65 secs
lola: 9863689 markings, 31589618 edges, 115433 markings/sec, 70 secs
lola: 10431391 markings, 33512476 edges, 113540 markings/sec, 75 secs
lola: 10988979 markings, 35395810 edges, 111518 markings/sec, 80 secs
lola: 11543814 markings, 37284554 edges, 110967 markings/sec, 85 secs
lola: 12101140 markings, 39181816 edges, 111465 markings/sec, 90 secs
lola: 12657571 markings, 41079800 edges, 111286 markings/sec, 95 secs
lola: 13210707 markings, 42971150 edges, 110627 markings/sec, 100 secs
lola: 13759578 markings, 44853904 edges, 109774 markings/sec, 105 secs
lola: 14306859 markings, 46727203 edges, 109456 markings/sec, 110 secs
lola: 14851462 markings, 48598182 edges, 108921 markings/sec, 115 secs
lola: 15389284 markings, 50446658 edges, 107564 markings/sec, 120 secs
lola: 15924842 markings, 52297918 edges, 107112 markings/sec, 125 secs
lola: 16459677 markings, 54140448 edges, 106967 markings/sec, 130 secs
lola: 16991586 markings, 55979881 edges, 106382 markings/sec, 135 secs
lola: 17518447 markings, 57803760 edges, 105372 markings/sec, 140 secs
lola: 18043102 markings, 59626564 edges, 104931 markings/sec, 145 secs
lola: 18564619 markings, 61442521 edges, 104303 markings/sec, 150 secs
lola: 19083670 markings, 63249820 edges, 103810 markings/sec, 155 secs
lola: 19601364 markings, 65055571 edges, 103539 markings/sec, 160 secs
lola: 20116904 markings, 66850252 edges, 103108 markings/sec, 165 secs
lola: 20633763 markings, 68646547 edges, 103372 markings/sec, 170 secs
lola: 21144184 markings, 70430953 edges, 102084 markings/sec, 175 secs
lola: 21656218 markings, 72227081 edges, 102407 markings/sec, 180 secs
lola: 22166686 markings, 74014798 edges, 102094 markings/sec, 185 secs
lola: 22676425 markings, 75802485 edges, 101948 markings/sec, 190 secs
lola: 23183366 markings, 77576007 edges, 101388 markings/sec, 195 secs
lola: 23689646 markings, 79351098 edges, 101256 markings/sec, 200 secs
lola: 24191889 markings, 81121782 edges, 100449 markings/sec, 205 secs
lola: 24690728 markings, 82882733 edges, 99768 markings/sec, 210 secs
lola: 25189549 markings, 84637203 edges, 99764 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(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: 1264017 markings, 2251262 edges, 252803 markings/sec, 0 secs
lola: 2370978 markings, 4272558 edges, 221392 markings/sec, 5 secs
lola: 3417135 markings, 6190473 edges, 209231 markings/sec, 10 secs
lola: 4415188 markings, 8035698 edges, 199611 markings/sec, 15 secs
lola: 5376475 markings, 9824042 edges, 192257 markings/sec, 20 secs
lola: 6312200 markings, 11569542 edges, 187145 markings/sec, 25 secs
lola: 7228090 markings, 13283057 edges, 183178 markings/sec, 30 secs
lola: 8128223 markings, 14971699 edges, 180027 markings/sec, 35 secs
lola: 9025646 markings, 16649048 edges, 179485 markings/sec, 40 secs
lola: 9900874 markings, 18297633 edges, 175046 markings/sec, 45 secs
lola: 10765552 markings, 19922845 edges, 172936 markings/sec, 50 secs
lola: 11585158 markings, 21478390 edges, 163921 markings/sec, 55 secs
lola: 12422269 markings, 23055066 edges, 167422 markings/sec, 60 secs
lola: 13246859 markings, 24612450 edges, 164918 markings/sec, 65 secs
lola: 14046148 markings, 26143979 edges, 159858 markings/sec, 70 secs
lola: 14859761 markings, 27687537 edges, 162723 markings/sec, 75 secs
lola: 15668524 markings, 29217578 edges, 161753 markings/sec, 80 secs
lola: 16466105 markings, 30734525 edges, 159516 markings/sec, 85 secs
lola: 17268424 markings, 32241065 edges, 160464 markings/sec, 90 secs
lola: 18053576 markings, 33737581 edges, 157030 markings/sec, 95 secs
lola: 18837926 markings, 35229200 edges, 156870 markings/sec, 100 secs
lola: 19607993 markings, 36704518 edges, 154013 markings/sec, 105 secs
lola: 20367068 markings, 38166489 edges, 151815 markings/sec, 110 secs
lola: 21133517 markings, 39627200 edges, 153290 markings/sec, 115 secs
lola: 21895992 markings, 41080266 edges, 152495 markings/sec, 120 secs
lola: 22648446 markings, 42524740 edges, 150491 markings/sec, 125 secs
lola: 23395747 markings, 43963375 edges, 149460 markings/sec, 130 secs
lola: 24136433 markings, 45389016 edges, 148137 markings/sec, 135 secs
lola: 24875900 markings, 46813331 edges, 147893 markings/sec, 140 secs
lola: 25621095 markings, 48236532 edges, 149039 markings/sec, 145 secs
lola: 26354506 markings, 49646581 edges, 146682 markings/sec, 150 secs
lola: 27086260 markings, 51061818 edges, 146351 markings/sec, 155 secs
lola: 27831581 markings, 52483698 edges, 149064 markings/sec, 160 secs
lola: 28559077 markings, 53891496 edges, 145499 markings/sec, 165 secs
lola: 29293597 markings, 55304536 edges, 146904 markings/sec, 170 secs
lola: 30014746 markings, 56700032 edges, 144230 markings/sec, 175 secs
lola: 30741677 markings, 58100879 edges, 145386 markings/sec, 180 secs
lola: 31463947 markings, 59493869 edges, 144454 markings/sec, 185 secs
lola: 32194724 markings, 60895352 edges, 146155 markings/sec, 190 secs
lola: 32910678 markings, 62282885 edges, 143191 markings/sec, 195 secs
lola: 33624536 markings, 63663770 edges, 142772 markings/sec, 200 secs
lola: 34339436 markings, 65045435 edges, 142980 markings/sec, 205 secs
lola: 35041754 markings, 66413047 edges, 140464 markings/sec, 210 secs
lola: 35744682 markings, 67777973 edges, 140586 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FINACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1260971 markings, 2346669 edges, 252194 markings/sec, 0 secs
lola: 2355416 markings, 4454453 edges, 218889 markings/sec, 5 secs
lola: 3391518 markings, 6467426 edges, 207220 markings/sec, 10 secs
lola: 4390466 markings, 8418955 edges, 199790 markings/sec, 15 secs
lola: 5365566 markings, 10334084 edges, 195020 markings/sec, 20 secs
lola: 6317683 markings, 12209571 edges, 190423 markings/sec, 25 secs
lola: 7255620 markings, 14061276 edges, 187587 markings/sec, 30 secs
lola: 8182793 markings, 15894110 edges, 185435 markings/sec, 35 secs
lola: 9087695 markings, 17693971 edges, 180980 markings/sec, 40 secs
lola: 9989488 markings, 19485542 edges, 180359 markings/sec, 45 secs
lola: 10883881 markings, 21265035 edges, 178879 markings/sec, 50 secs
lola: 11772318 markings, 23027813 edges, 177687 markings/sec, 55 secs
lola: 12643688 markings, 24770950 edges, 174274 markings/sec, 60 secs
lola: 13522717 markings, 26517780 edges, 175806 markings/sec, 65 secs
lola: 14386491 markings, 28241368 edges, 172755 markings/sec, 70 secs
lola: 15249330 markings, 29956897 edges, 172568 markings/sec, 75 secs
lola: 16102156 markings, 31661998 edges, 170565 markings/sec, 80 secs
lola: 16955359 markings, 33363339 edges, 170641 markings/sec, 85 secs
lola: 17789731 markings, 35044902 edges, 166874 markings/sec, 90 secs
lola: 18627051 markings, 36727638 edges, 167464 markings/sec, 95 secs
lola: 19463319 markings, 38407646 edges, 167254 markings/sec, 100 secs
lola: 20290261 markings, 40068384 edges, 165388 markings/sec, 105 secs
lola: 21121707 markings, 41732155 edges, 166289 markings/sec, 110 secs
lola: 21938698 markings, 43381051 edges, 163398 markings/sec, 115 secs
lola: 22757465 markings, 45029585 edges, 163753 markings/sec, 120 secs
lola: 23574851 markings, 46674019 edges, 163477 markings/sec, 125 secs
lola: 24389762 markings, 48314580 edges, 162982 markings/sec, 130 secs
lola: 25196281 markings, 49940676 edges, 161304 markings/sec, 135 secs
lola: 26008081 markings, 51573867 edges, 162360 markings/sec, 140 secs
lola: 26802675 markings, 53183506 edges, 158919 markings/sec, 145 secs
lola: 27606608 markings, 54805994 edges, 160787 markings/sec, 150 secs
lola: 28408710 markings, 56424149 edges, 160420 markings/sec, 155 secs
lola: 29213339 markings, 58042817 edges, 160926 markings/sec, 160 secs
lola: 30008438 markings, 59647578 edges, 159020 markings/sec, 165 secs
lola: 30789201 markings, 61233975 edges, 156153 markings/sec, 170 secs
lola: 31574486 markings, 62823996 edges, 157057 markings/sec, 175 secs
lola: 32365649 markings, 64421584 edges, 158233 markings/sec, 180 secs
lola: 33147407 markings, 66008297 edges, 156352 markings/sec, 185 secs
lola: 33923699 markings, 67582658 edges, 155258 markings/sec, 190 secs
lola: 34699950 markings, 69156609 edges, 155250 markings/sec, 195 secs
lola: 35466451 markings, 70717262 edges, 153300 markings/sec, 200 secs
lola: 36233855 markings, 72275221 edges, 153481 markings/sec, 205 secs
lola: 37004003 markings, 73833321 edges, 154030 markings/sec, 210 secs
lola: 37774686 markings, 75391292 edges, 154137 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(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: 1106401 markings, 2398671 edges, 221280 markings/sec, 0 secs
lola: 2072716 markings, 4566829 edges, 193263 markings/sec, 5 secs
lola: 2982226 markings, 6631642 edges, 181902 markings/sec, 10 secs
lola: 3849751 markings, 8620698 edges, 173505 markings/sec, 15 secs
lola: 4692711 markings, 10559060 edges, 168592 markings/sec, 20 secs
lola: 5517616 markings, 12464394 edges, 164981 markings/sec, 25 secs
lola: 6330017 markings, 14345836 edges, 162480 markings/sec, 30 secs
lola: 7131278 markings, 16205843 edges, 160252 markings/sec, 35 secs
lola: 7917390 markings, 18040593 edges, 157222 markings/sec, 40 secs
lola: 8697230 markings, 19860949 edges, 155968 markings/sec, 45 secs
lola: 9472950 markings, 21668509 edges, 155144 markings/sec, 50 secs
lola: 10237334 markings, 23458776 edges, 152877 markings/sec, 55 secs
lola: 10998048 markings, 25243057 edges, 152143 markings/sec, 60 secs
lola: 11755445 markings, 27017880 edges, 151479 markings/sec, 65 secs
lola: 12497004 markings, 28765938 edges, 148312 markings/sec, 70 secs
lola: 13233453 markings, 30503102 edges, 147290 markings/sec, 75 secs
lola: 13968313 markings, 32235771 edges, 146972 markings/sec, 80 secs
lola: 14698906 markings, 33956448 edges, 146119 markings/sec, 85 secs
lola: 15422810 markings, 35669719 edges, 144781 markings/sec, 90 secs
lola: 16146264 markings, 37380484 edges, 144691 markings/sec, 95 secs
lola: 16866103 markings, 39083356 edges, 143968 markings/sec, 100 secs
lola: 17576119 markings, 40772424 edges, 142003 markings/sec, 105 secs
lola: 18288878 markings, 42461527 edges, 142552 markings/sec, 110 secs
lola: 18999315 markings, 44146500 edges, 142087 markings/sec, 115 secs
lola: 19704582 markings, 45824725 edges, 141053 markings/sec, 120 secs
lola: 20406996 markings, 47491229 edges, 140483 markings/sec, 125 secs
lola: 21107203 markings, 49157740 edges, 140041 markings/sec, 130 secs
lola: 21812610 markings, 50825925 edges, 141081 markings/sec, 135 secs
lola: 22504425 markings, 52478586 edges, 138363 markings/sec, 140 secs
lola: 23195274 markings, 54128877 edges, 138170 markings/sec, 145 secs
lola: 23885830 markings, 55777964 edges, 138111 markings/sec, 150 secs
lola: 24578764 markings, 57426073 edges, 138587 markings/sec, 155 secs
lola: 25263987 markings, 59063043 edges, 137045 markings/sec, 160 secs
lola: 25950627 markings, 60702367 edges, 137328 markings/sec, 165 secs
lola: 26636972 markings, 62347501 edges, 137269 markings/sec, 170 secs
lola: 27327185 markings, 63995094 edges, 138043 markings/sec, 175 secs
lola: 28008666 markings, 65622556 edges, 136296 markings/sec, 180 secs
lola: 28677532 markings, 67232168 edges, 133773 markings/sec, 185 secs
lola: 29351794 markings, 68843554 edges, 134852 markings/sec, 190 secs
lola: 30021741 markings, 70447729 edges, 133989 markings/sec, 195 secs
lola: 30693782 markings, 72055303 edges, 134408 markings/sec, 200 secs
lola: 31363208 markings, 73664240 edges, 133885 markings/sec, 205 secs
lola: 32043775 markings, 75292312 edges, 136113 markings/sec, 210 secs
lola: 32718557 markings, 76916107 edges, 134956 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(SYNSENT)
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: 938500 markings, 2532920 edges, 187700 markings/sec, 0 secs
lola: 1728086 markings, 4803404 edges, 157917 markings/sec, 5 secs
lola: 2466580 markings, 6969429 edges, 147699 markings/sec, 10 secs
lola: 3167317 markings, 9049356 edges, 140147 markings/sec, 15 secs
lola: 3840169 markings, 11067469 edges, 134570 markings/sec, 20 secs
lola: 4495046 markings, 13040730 edges, 130975 markings/sec, 25 secs
lola: 5126291 markings, 14963112 edges, 126249 markings/sec, 30 secs
lola: 5742974 markings, 16844927 edges, 123337 markings/sec, 35 secs
lola: 6362610 markings, 18739938 edges, 123927 markings/sec, 40 secs
lola: 6964179 markings, 20599932 edges, 120314 markings/sec, 45 secs
lola: 7562575 markings, 22450187 edges, 119679 markings/sec, 50 secs
lola: 8152883 markings, 24284035 edges, 118062 markings/sec, 55 secs
lola: 8734331 markings, 26099081 edges, 116290 markings/sec, 60 secs
lola: 9303232 markings, 27889690 edges, 113780 markings/sec, 65 secs
lola: 9862399 markings, 29652520 edges, 111833 markings/sec, 70 secs
lola: 10425290 markings, 31422882 edges, 112578 markings/sec, 75 secs
lola: 10968812 markings, 33139478 edges, 108704 markings/sec, 80 secs
lola: 11507420 markings, 34842863 edges, 107722 markings/sec, 85 secs
lola: 12043162 markings, 36540250 edges, 107148 markings/sec, 90 secs
lola: 12585443 markings, 38258319 edges, 108456 markings/sec, 95 secs
lola: 13121776 markings, 39968378 edges, 107267 markings/sec, 100 secs
lola: 13656013 markings, 41671457 edges, 106847 markings/sec, 105 secs
lola: 14183347 markings, 43350849 edges, 105467 markings/sec, 110 secs
lola: 14699024 markings, 45000958 edges, 103135 markings/sec, 115 secs
lola: 15212323 markings, 46642441 edges, 102660 markings/sec, 120 secs
lola: 15722654 markings, 48274558 edges, 102066 markings/sec, 125 secs
lola: 16230640 markings, 49897569 edges, 101597 markings/sec, 130 secs
lola: 16735337 markings, 51514276 edges, 100939 markings/sec, 135 secs
lola: 17240878 markings, 53133529 edges, 101108 markings/sec, 140 secs
lola: 17744189 markings, 54744870 edges, 100662 markings/sec, 145 secs
lola: 18242530 markings, 56348155 edges, 99668 markings/sec, 150 secs
lola: 18743714 markings, 57951313 edges, 100237 markings/sec, 155 secs
lola: 19235082 markings, 59539541 edges, 98274 markings/sec, 160 secs
lola: 19725004 markings, 61122306 edges, 97984 markings/sec, 165 secs
lola: 20214213 markings, 62701602 edges, 97842 markings/sec, 170 secs
lola: 20705276 markings, 64288334 edges, 98213 markings/sec, 175 secs
lola: 21190443 markings, 65862606 edges, 97033 markings/sec, 180 secs
lola: 21674256 markings, 67429399 edges, 96763 markings/sec, 185 secs
lola: 22159246 markings, 68996390 edges, 96998 markings/sec, 190 secs
lola: 22646097 markings, 70565134 edges, 97370 markings/sec, 195 secs
lola: 23127349 markings, 72127364 edges, 96250 markings/sec, 200 secs
lola: 23606406 markings, 73683775 edges, 95811 markings/sec, 205 secs
lola: 24089160 markings, 75249156 edges, 96551 markings/sec, 210 secs
lola: 24565814 markings, 76805238 edges, 95331 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(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: 1207271 markings, 2632979 edges, 241454 markings/sec, 0 secs
lola: 2243032 markings, 4998146 edges, 207152 markings/sec, 5 secs
lola: 3211684 markings, 7267696 edges, 193730 markings/sec, 10 secs
lola: 4160808 markings, 9498363 edges, 189825 markings/sec, 15 secs
lola: 5074849 markings, 11656108 edges, 182808 markings/sec, 20 secs
lola: 5963730 markings, 13772992 edges, 177776 markings/sec, 25 secs
lola: 6849625 markings, 15884190 edges, 177179 markings/sec, 30 secs
lola: 7697700 markings, 17937900 edges, 169615 markings/sec, 35 secs
lola: 8556012 markings, 19992174 edges, 171662 markings/sec, 40 secs
lola: 9368690 markings, 21985566 edges, 162536 markings/sec, 45 secs
lola: 10182789 markings, 23972747 edges, 162820 markings/sec, 50 secs
lola: 10993713 markings, 25944846 edges, 162185 markings/sec, 55 secs
lola: 11802529 markings, 27923748 edges, 161763 markings/sec, 60 secs
lola: 12631793 markings, 29940507 edges, 165853 markings/sec, 65 secs
lola: 13434881 markings, 31917147 edges, 160618 markings/sec, 70 secs
lola: 14226757 markings, 33872421 edges, 158375 markings/sec, 75 secs
lola: 15019500 markings, 35824200 edges, 158549 markings/sec, 80 secs
lola: 15796101 markings, 37751886 edges, 155320 markings/sec, 85 secs
lola: 16577718 markings, 39685814 edges, 156323 markings/sec, 90 secs
lola: 17348171 markings, 41599553 edges, 154091 markings/sec, 95 secs
lola: 18104164 markings, 43487637 edges, 151199 markings/sec, 100 secs
lola: 18853469 markings, 45371868 edges, 149861 markings/sec, 105 secs
lola: 19599413 markings, 47248613 edges, 149189 markings/sec, 110 secs
lola: 20335348 markings, 49094856 edges, 147187 markings/sec, 115 secs
lola: 21072448 markings, 50947647 edges, 147420 markings/sec, 120 secs
lola: 21803417 markings, 52793531 edges, 146194 markings/sec, 125 secs
lola: 22526067 markings, 54620977 edges, 144530 markings/sec, 130 secs
lola: 23249830 markings, 56447240 edges, 144753 markings/sec, 135 secs
lola: 23958546 markings, 58230955 edges, 141743 markings/sec, 140 secs
lola: 24651610 markings, 59985352 edges, 138613 markings/sec, 145 secs
lola: 25343527 markings, 61744453 edges, 138383 markings/sec, 150 secs
lola: 26036860 markings, 63503502 edges, 138667 markings/sec, 155 secs
lola: 26728023 markings, 65262130 edges, 138233 markings/sec, 160 secs
lola: 27410090 markings, 67000803 edges, 136413 markings/sec, 165 secs
lola: 28091195 markings, 68735739 edges, 136221 markings/sec, 170 secs
lola: 28755162 markings, 70434394 edges, 132793 markings/sec, 175 secs
lola: 29420139 markings, 72133912 edges, 132995 markings/sec, 180 secs
lola: 30079040 markings, 73825577 edges, 131780 markings/sec, 185 secs
lola: 30732843 markings, 75503753 edges, 130761 markings/sec, 190 secs
lola: 31391322 markings, 77192123 edges, 131696 markings/sec, 195 secs
lola: 32049776 markings, 78879578 edges, 131691 markings/sec, 200 secs
lola: 32706707 markings, 80565690 edges, 131386 markings/sec, 205 secs
lola: 33354089 markings, 82237490 edges, 129476 markings/sec, 210 secs
lola: 34002160 markings, 83905734 edges, 129614 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(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: 1117865 markings, 2385955 edges, 223573 markings/sec, 0 secs
lola: 2061432 markings, 4543123 edges, 188713 markings/sec, 5 secs
lola: 2926552 markings, 6568560 edges, 173024 markings/sec, 10 secs
lola: 3770197 markings, 8579037 edges, 168729 markings/sec, 15 secs
lola: 4577800 markings, 10531324 edges, 161521 markings/sec, 20 secs
lola: 5366382 markings, 12442036 edges, 157716 markings/sec, 25 secs
lola: 6143552 markings, 14342552 edges, 155434 markings/sec, 30 secs
lola: 6897613 markings, 16200740 edges, 150812 markings/sec, 35 secs
lola: 7642609 markings, 18035206 edges, 148999 markings/sec, 40 secs
lola: 8384899 markings, 19867759 edges, 148458 markings/sec, 45 secs
lola: 9109479 markings, 21659761 edges, 144916 markings/sec, 50 secs
lola: 9858131 markings, 23514222 edges, 149730 markings/sec, 55 secs
lola: 10601407 markings, 25356934 edges, 148655 markings/sec, 60 secs
lola: 11331275 markings, 27193578 edges, 145974 markings/sec, 65 secs
lola: 12053850 markings, 29015218 edges, 144515 markings/sec, 70 secs
lola: 12773539 markings, 30819653 edges, 143938 markings/sec, 75 secs
lola: 13471051 markings, 32581485 edges, 139502 markings/sec, 80 secs
lola: 14162376 markings, 34346263 edges, 138265 markings/sec, 85 secs
lola: 14849872 markings, 36095402 edges, 137499 markings/sec, 90 secs
lola: 15534935 markings, 37832193 edges, 137013 markings/sec, 95 secs
lola: 16213556 markings, 39566371 edges, 135724 markings/sec, 100 secs
lola: 16892262 markings, 41296484 edges, 135741 markings/sec, 105 secs
lola: 17565368 markings, 43017375 edges, 134621 markings/sec, 110 secs
lola: 18230232 markings, 44721593 edges, 132973 markings/sec, 115 secs
lola: 18894151 markings, 46414241 edges, 132784 markings/sec, 120 secs
lola: 19552722 markings, 48103605 edges, 131714 markings/sec, 125 secs
lola: 20203085 markings, 49789081 edges, 130073 markings/sec, 130 secs
lola: 20856814 markings, 51478279 edges, 130746 markings/sec, 135 secs
lola: 21507816 markings, 53157756 edges, 130200 markings/sec, 140 secs
lola: 22154517 markings, 54834045 edges, 129340 markings/sec, 145 secs
lola: 22795031 markings, 56497938 edges, 128103 markings/sec, 150 secs
lola: 23432165 markings, 58144507 edges, 127427 markings/sec, 155 secs
lola: 24059949 markings, 59782573 edges, 125557 markings/sec, 160 secs
lola: 24685432 markings, 61431228 edges, 125097 markings/sec, 165 secs
lola: 25319847 markings, 63084121 edges, 126883 markings/sec, 170 secs
lola: 25947128 markings, 64718163 edges, 125456 markings/sec, 175 secs
lola: 26571499 markings, 66346995 edges, 124874 markings/sec, 180 secs
lola: 27195499 markings, 67979869 edges, 124800 markings/sec, 185 secs
lola: 27824080 markings, 69631229 edges, 125716 markings/sec, 190 secs
lola: 28450602 markings, 71285296 edges, 125304 markings/sec, 195 secs
lola: 29079731 markings, 72926813 edges, 125826 markings/sec, 200 secs
lola: 29704263 markings, 74562513 edges, 124906 markings/sec, 205 secs
lola: 30328900 markings, 76202435 edges, 124927 markings/sec, 210 secs
lola: 30950855 markings, 77839784 edges, 124391 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(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: 1349357 markings, 2247511 edges, 269871 markings/sec, 0 secs
lola: 2543389 markings, 4269171 edges, 238806 markings/sec, 5 secs
lola: 3672969 markings, 6188552 edges, 225916 markings/sec, 10 secs
lola: 4766799 markings, 8055443 edges, 218766 markings/sec, 15 secs
lola: 5840353 markings, 9890027 edges, 214711 markings/sec, 20 secs
lola: 6896158 markings, 11698206 edges, 211161 markings/sec, 25 secs
lola: 7931883 markings, 13475484 edges, 207145 markings/sec, 30 secs
lola: 8963138 markings, 15242665 edges, 206251 markings/sec, 35 secs
lola: 9974559 markings, 16984291 edges, 202284 markings/sec, 40 secs
lola: 10977883 markings, 18707586 edges, 200665 markings/sec, 45 secs
lola: 11966873 markings, 20408355 edges, 197798 markings/sec, 50 secs
lola: 12951042 markings, 22102817 edges, 196834 markings/sec, 55 secs
lola: 13919759 markings, 23774196 edges, 193743 markings/sec, 60 secs
lola: 14882960 markings, 25434477 edges, 192640 markings/sec, 65 secs
lola: 15835679 markings, 27075544 edges, 190544 markings/sec, 70 secs
lola: 16792815 markings, 28723448 edges, 191427 markings/sec, 75 secs
lola: 17730531 markings, 30345314 edges, 187543 markings/sec, 80 secs
lola: 18672197 markings, 31968452 edges, 188333 markings/sec, 85 secs
lola: 19609202 markings, 33586513 edges, 187401 markings/sec, 90 secs
lola: 20544077 markings, 35205011 edges, 186975 markings/sec, 95 secs
lola: 21491104 markings, 36837503 edges, 189405 markings/sec, 100 secs
lola: 22428505 markings, 38455798 edges, 187480 markings/sec, 105 secs
lola: 23353864 markings, 40056479 edges, 185072 markings/sec, 110 secs
lola: 24283931 markings, 41657551 edges, 186013 markings/sec, 115 secs
lola: 25196274 markings, 43238569 edges, 182469 markings/sec, 120 secs
lola: 26110988 markings, 44816015 edges, 182943 markings/sec, 125 secs
lola: 27028177 markings, 46398209 edges, 183438 markings/sec, 130 secs
lola: 27944446 markings, 47977475 edges, 183254 markings/sec, 135 secs
lola: 28850436 markings, 49543095 edges, 181198 markings/sec, 140 secs
lola: 29763139 markings, 51116706 edges, 182541 markings/sec, 145 secs
lola: 30663569 markings, 52679029 edges, 180086 markings/sec, 150 secs
lola: 31567651 markings, 54242287 edges, 180816 markings/sec, 155 secs
lola: 32468406 markings, 55801335 edges, 180151 markings/sec, 160 secs
lola: 33366459 markings, 57360871 edges, 179611 markings/sec, 165 secs
lola: 34258874 markings, 58907512 edges, 178483 markings/sec, 170 secs
lola: 35177992 markings, 60497531 edges, 183824 markings/sec, 175 secs
lola: 36099716 markings, 62091337 edges, 184345 markings/sec, 180 secs
lola: 37019525 markings, 63681767 edges, 183962 markings/sec, 185 secs
lola: 37924547 markings, 65254272 edges, 181004 markings/sec, 190 secs
lola: 38831230 markings, 66824719 edges, 181337 markings/sec, 195 secs
lola: 39705606 markings, 68349997 edges, 174875 markings/sec, 200 secs
lola: 40597347 markings, 69896877 edges, 178348 markings/sec, 205 secs
lola: 41480156 markings, 71433194 edges, 176562 markings/sec, 210 secs
lola: 42361869 markings, 72963656 edges, 176343 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(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: 1205395 markings, 2522372 edges, 241079 markings/sec, 0 secs
lola: 2171202 markings, 4769571 edges, 193161 markings/sec, 5 secs
lola: 3076536 markings, 6929038 edges, 181067 markings/sec, 10 secs
lola: 3954427 markings, 9037948 edges, 175578 markings/sec, 15 secs
lola: 4796063 markings, 11100642 edges, 168327 markings/sec, 20 secs
lola: 5623748 markings, 13133126 edges, 165537 markings/sec, 25 secs
lola: 6437317 markings, 15133487 edges, 162714 markings/sec, 30 secs
lola: 7163652 markings, 16932835 edges, 145267 markings/sec, 35 secs
lola: 7945563 markings, 18876638 edges, 156382 markings/sec, 40 secs
lola: 8715110 markings, 20801560 edges, 153909 markings/sec, 45 secs
lola: 9472510 markings, 22697699 edges, 151480 markings/sec, 50 secs
lola: 10224578 markings, 24579940 edges, 150414 markings/sec, 55 secs
lola: 10969616 markings, 26469452 edges, 149008 markings/sec, 60 secs
lola: 11733018 markings, 28392019 edges, 152680 markings/sec, 65 secs
lola: 12486812 markings, 30304257 edges, 150759 markings/sec, 70 secs
lola: 13231610 markings, 32203564 edges, 148960 markings/sec, 75 secs
lola: 13982026 markings, 34098537 edges, 150083 markings/sec, 80 secs
lola: 14723518 markings, 35980506 edges, 148298 markings/sec, 85 secs
lola: 15455424 markings, 37854275 edges, 146381 markings/sec, 90 secs
lola: 16188537 markings, 39722921 edges, 146623 markings/sec, 95 secs
lola: 16912358 markings, 41579244 edges, 144764 markings/sec, 100 secs
lola: 17638944 markings, 43436086 edges, 145317 markings/sec, 105 secs
lola: 18357688 markings, 45280891 edges, 143749 markings/sec, 110 secs
lola: 19068671 markings, 47117399 edges, 142197 markings/sec, 115 secs
lola: 19770383 markings, 48924152 edges, 140342 markings/sec, 120 secs
lola: 20460235 markings, 50704326 edges, 137970 markings/sec, 125 secs
lola: 21149984 markings, 52481319 edges, 137950 markings/sec, 130 secs
lola: 21829417 markings, 54245343 edges, 135887 markings/sec, 135 secs
lola: 22512764 markings, 56006474 edges, 136669 markings/sec, 140 secs
lola: 23189593 markings, 57759978 edges, 135366 markings/sec, 145 secs
lola: 23864891 markings, 59504476 edges, 135060 markings/sec, 150 secs
lola: 24538334 markings, 61244247 edges, 134689 markings/sec, 155 secs
lola: 25201700 markings, 62972962 edges, 132673 markings/sec, 160 secs
lola: 25866755 markings, 64701736 edges, 133011 markings/sec, 165 secs
lola: 26521167 markings, 66421186 edges, 130882 markings/sec, 170 secs
lola: 27180772 markings, 68140107 edges, 131921 markings/sec, 175 secs
lola: 27848324 markings, 69865315 edges, 133510 markings/sec, 180 secs
lola: 28499092 markings, 71576681 edges, 130154 markings/sec, 185 secs
lola: 29163558 markings, 73303771 edges, 132893 markings/sec, 190 secs
lola: 29820821 markings, 75026912 edges, 131453 markings/sec, 195 secs
lola: 30478953 markings, 76749739 edges, 131626 markings/sec, 200 secs
lola: 31138245 markings, 78470853 edges, 131858 markings/sec, 205 secs
lola: 31796265 markings, 80190733 edges, 131604 markings/sec, 210 secs
lola: 32455355 markings, 81910723 edges, 131818 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(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: 1140873 markings, 2265580 edges, 228175 markings/sec, 0 secs
lola: 2108482 markings, 4303928 edges, 193522 markings/sec, 5 secs
lola: 3012171 markings, 6244753 edges, 180738 markings/sec, 10 secs
lola: 3878645 markings, 8125441 edges, 173295 markings/sec, 15 secs
lola: 4714106 markings, 9955977 edges, 167092 markings/sec, 20 secs
lola: 5527988 markings, 11747106 edges, 162776 markings/sec, 25 secs
lola: 6324225 markings, 13506146 edges, 159247 markings/sec, 30 secs
lola: 7100808 markings, 15235057 edges, 155317 markings/sec, 35 secs
lola: 7865749 markings, 16941124 edges, 152988 markings/sec, 40 secs
lola: 8630887 markings, 18656063 edges, 153028 markings/sec, 45 secs
lola: 9395028 markings, 20379574 edges, 152828 markings/sec, 50 secs
lola: 10153392 markings, 22088876 edges, 151673 markings/sec, 55 secs
lola: 10904196 markings, 23788365 edges, 150161 markings/sec, 60 secs
lola: 11649035 markings, 25471711 edges, 148968 markings/sec, 65 secs
lola: 12383397 markings, 27142714 edges, 146872 markings/sec, 70 secs
lola: 13108327 markings, 28799472 edges, 144986 markings/sec, 75 secs
lola: 13826810 markings, 30441488 edges, 143697 markings/sec, 80 secs
lola: 14540127 markings, 32076039 edges, 142663 markings/sec, 85 secs
lola: 15249428 markings, 33701717 edges, 141860 markings/sec, 90 secs
lola: 15954061 markings, 35317737 edges, 140927 markings/sec, 95 secs
lola: 16651284 markings, 36924971 edges, 139445 markings/sec, 100 secs
lola: 17349048 markings, 38524356 edges, 139553 markings/sec, 105 secs
lola: 18040186 markings, 40116794 edges, 138228 markings/sec, 110 secs
lola: 18727492 markings, 41704382 edges, 137461 markings/sec, 115 secs
lola: 19411314 markings, 43283003 edges, 136764 markings/sec, 120 secs
lola: 20091600 markings, 44856748 edges, 136057 markings/sec, 125 secs
lola: 20765548 markings, 46424144 edges, 134790 markings/sec, 130 secs
lola: 21436312 markings, 47987726 edges, 134153 markings/sec, 135 secs
lola: 22100777 markings, 49530369 edges, 132893 markings/sec, 140 secs
lola: 22752092 markings, 51044872 edges, 130263 markings/sec, 145 secs
lola: 23401426 markings, 52554754 edges, 129867 markings/sec, 150 secs
lola: 24046621 markings, 54058198 edges, 129039 markings/sec, 155 secs
lola: 24687880 markings, 55557521 edges, 128252 markings/sec, 160 secs
lola: 25324104 markings, 57039095 edges, 127245 markings/sec, 165 secs
lola: 25959992 markings, 58522029 edges, 127178 markings/sec, 170 secs
lola: 26585573 markings, 59993514 edges, 125116 markings/sec, 175 secs
lola: 27213633 markings, 61464141 edges, 125612 markings/sec, 180 secs
lola: 27844200 markings, 62939612 edges, 126113 markings/sec, 185 secs
lola: 28475458 markings, 64409817 edges, 126252 markings/sec, 190 secs
lola: 29102029 markings, 65877976 edges, 125314 markings/sec, 195 secs
lola: 29725355 markings, 67347064 edges, 124665 markings/sec, 200 secs
lola: 30348153 markings, 68808835 edges, 124560 markings/sec, 205 secs
lola: 30968884 markings, 70271129 edges, 124146 markings/sec, 210 secs
lola: 31589130 markings, 71733363 edges, 124049 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(FINWAIT2)
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: 1256694 markings, 2212535 edges, 251339 markings/sec, 0 secs
lola: 2330065 markings, 4182304 edges, 214674 markings/sec, 5 secs
lola: 3346435 markings, 6066145 edges, 203274 markings/sec, 10 secs
lola: 4317820 markings, 7886827 edges, 194277 markings/sec, 15 secs
lola: 5268270 markings, 9671157 edges, 190090 markings/sec, 20 secs
lola: 6193275 markings, 11419034 edges, 185001 markings/sec, 25 secs
lola: 7099905 markings, 13137479 edges, 181326 markings/sec, 30 secs
lola: 7983202 markings, 14825808 edges, 176659 markings/sec, 35 secs
lola: 8855337 markings, 16495146 edges, 174427 markings/sec, 40 secs
lola: 9713639 markings, 18145455 edges, 171660 markings/sec, 45 secs
lola: 10569367 markings, 19788407 edges, 171146 markings/sec, 50 secs
lola: 11412722 markings, 21410504 edges, 168671 markings/sec, 55 secs
lola: 12242057 markings, 23017554 edges, 165867 markings/sec, 60 secs
lola: 13065620 markings, 24612010 edges, 164713 markings/sec, 65 secs
lola: 13879542 markings, 26191891 edges, 162784 markings/sec, 70 secs
lola: 14694319 markings, 27767795 edges, 162955 markings/sec, 75 secs
lola: 15504293 markings, 29335318 edges, 161995 markings/sec, 80 secs
lola: 16294596 markings, 30886642 edges, 158061 markings/sec, 85 secs
lola: 17087205 markings, 32433117 edges, 158522 markings/sec, 90 secs
lola: 17870474 markings, 33972987 edges, 156654 markings/sec, 95 secs
lola: 18651698 markings, 35504801 edges, 156245 markings/sec, 100 secs
lola: 19430662 markings, 37030053 edges, 155793 markings/sec, 105 secs
lola: 20207532 markings, 38550529 edges, 155374 markings/sec, 110 secs
lola: 20971324 markings, 40058328 edges, 152758 markings/sec, 115 secs
lola: 21742335 markings, 41568580 edges, 154202 markings/sec, 120 secs
lola: 22507419 markings, 43074841 edges, 153017 markings/sec, 125 secs
lola: 23266926 markings, 44574286 edges, 151901 markings/sec, 130 secs
lola: 24028172 markings, 46068089 edges, 152249 markings/sec, 135 secs
lola: 24778330 markings, 47554504 edges, 150032 markings/sec, 140 secs
lola: 25527257 markings, 49035545 edges, 149785 markings/sec, 145 secs
lola: 26283829 markings, 50520210 edges, 151314 markings/sec, 150 secs
lola: 27024748 markings, 51994624 edges, 148184 markings/sec, 155 secs
lola: 27783480 markings, 53500418 edges, 151746 markings/sec, 160 secs
lola: 28549979 markings, 55011716 edges, 153300 markings/sec, 165 secs
lola: 29321273 markings, 56528458 edges, 154259 markings/sec, 170 secs
lola: 30074355 markings, 58024456 edges, 150616 markings/sec, 175 secs
lola: 30814416 markings, 59497021 edges, 148012 markings/sec, 180 secs
lola: 31541643 markings, 60942563 edges, 145445 markings/sec, 185 secs
lola: 32264461 markings, 62380412 edges, 144564 markings/sec, 190 secs
lola: 32980919 markings, 63811690 edges, 143292 markings/sec, 195 secs
lola: 33695554 markings, 65240135 edges, 142927 markings/sec, 200 secs
lola: 34413704 markings, 66669591 edges, 143630 markings/sec, 205 secs
lola: 35127705 markings, 68104058 edges, 142800 markings/sec, 210 secs
lola: 35861352 markings, 69566834 edges, 146729 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: 1136843 markings, 2428426 edges, 227369 markings/sec, 0 secs
lola: 2097945 markings, 4628681 edges, 192220 markings/sec, 5 secs
lola: 2998631 markings, 6740892 edges, 180137 markings/sec, 10 secs
lola: 3866592 markings, 8817568 edges, 173592 markings/sec, 15 secs
lola: 4711145 markings, 10850820 edges, 168911 markings/sec, 20 secs
lola: 5533813 markings, 12846314 edges, 164534 markings/sec, 25 secs
lola: 6333420 markings, 14812247 edges, 159921 markings/sec, 30 secs
lola: 7123859 markings, 16754673 edges, 158088 markings/sec, 35 secs
lola: 7902110 markings, 18670418 edges, 155650 markings/sec, 40 secs
lola: 8668194 markings, 20570583 edges, 153217 markings/sec, 45 secs
lola: 9425334 markings, 22446154 edges, 151428 markings/sec, 50 secs
lola: 10180209 markings, 24308331 edges, 150975 markings/sec, 55 secs
lola: 10921877 markings, 26163895 edges, 148334 markings/sec, 60 secs
lola: 11655924 markings, 28012182 edges, 146809 markings/sec, 65 secs
lola: 12386650 markings, 29854433 edges, 146145 markings/sec, 70 secs
lola: 13115052 markings, 31685423 edges, 145680 markings/sec, 75 secs
lola: 13820637 markings, 33466567 edges, 141117 markings/sec, 80 secs
lola: 14509574 markings, 35228248 edges, 137787 markings/sec, 85 secs
lola: 15199976 markings, 36978094 edges, 138080 markings/sec, 90 secs
lola: 15886061 markings, 38730075 edges, 137217 markings/sec, 95 secs
lola: 16565663 markings, 40464415 edges, 135920 markings/sec, 100 secs
lola: 17242123 markings, 42191680 edges, 135292 markings/sec, 105 secs
lola: 17912959 markings, 43910917 edges, 134167 markings/sec, 110 secs
lola: 18582478 markings, 45626301 edges, 133904 markings/sec, 115 secs
lola: 19255295 markings, 47340942 edges, 134563 markings/sec, 120 secs
lola: 19919559 markings, 49055196 edges, 132853 markings/sec, 125 secs
lola: 20596554 markings, 50806000 edges, 135399 markings/sec, 130 secs
lola: 21272932 markings, 52552430 edges, 135276 markings/sec, 135 secs
lola: 21929666 markings, 54253507 edges, 131347 markings/sec, 140 secs
lola: 22553994 markings, 55875374 edges, 124866 markings/sec, 145 secs
lola: 23200257 markings, 57539575 edges, 129253 markings/sec, 150 secs
lola: 23843011 markings, 59222058 edges, 128551 markings/sec, 155 secs
lola: 24485616 markings, 60903286 edges, 128521 markings/sec, 160 secs
lola: 25126479 markings, 62580663 edges, 128173 markings/sec, 165 secs
lola: 25765795 markings, 64249844 edges, 127863 markings/sec, 170 secs
lola: 26400971 markings, 65899319 edges, 127035 markings/sec, 175 secs
lola: 27030120 markings, 67548980 edges, 125830 markings/sec, 180 secs
lola: 27656465 markings, 69190563 edges, 125269 markings/sec, 185 secs
lola: 28274499 markings, 70823430 edges, 123607 markings/sec, 190 secs
lola: 28908063 markings, 72477853 edges, 126713 markings/sec, 195 secs
lola: 29528377 markings, 74101382 edges, 124063 markings/sec, 200 secs
lola: 30148219 markings, 75726296 edges, 123968 markings/sec, 205 secs
lola: 30765844 markings, 77347618 edges, 123525 markings/sec, 210 secs
lola: 31382888 markings, 78970769 edges, 123409 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: 1196007 markings, 2500951 edges, 239201 markings/sec, 0 secs
lola: 2138171 markings, 4691766 edges, 188433 markings/sec, 5 secs
lola: 3030738 markings, 6818288 edges, 178513 markings/sec, 10 secs
lola: 3897451 markings, 8899510 edges, 173343 markings/sec, 15 secs
lola: 4728317 markings, 10931424 edges, 166173 markings/sec, 20 secs
lola: 5546859 markings, 12942428 edges, 163708 markings/sec, 25 secs
lola: 6352670 markings, 14924145 edges, 161162 markings/sec, 30 secs
lola: 7144692 markings, 16886232 edges, 158404 markings/sec, 35 secs
lola: 7923624 markings, 18823163 edges, 155786 markings/sec, 40 secs
lola: 8690003 markings, 20739617 edges, 153276 markings/sec, 45 secs
lola: 9445637 markings, 22630333 edges, 151127 markings/sec, 50 secs
lola: 10194447 markings, 24505434 edges, 149762 markings/sec, 55 secs
lola: 10929208 markings, 26367883 edges, 146952 markings/sec, 60 secs
lola: 11668648 markings, 28229739 edges, 147888 markings/sec, 65 secs
lola: 12400637 markings, 30082949 edges, 146398 markings/sec, 70 secs
lola: 13123697 markings, 31927205 edges, 144612 markings/sec, 75 secs
lola: 13850127 markings, 33763169 edges, 145286 markings/sec, 80 secs
lola: 14571313 markings, 35591342 edges, 144237 markings/sec, 85 secs
lola: 15277840 markings, 37405151 edges, 141305 markings/sec, 90 secs
lola: 15986272 markings, 39214886 edges, 141686 markings/sec, 95 secs
lola: 16693876 markings, 41020172 edges, 141521 markings/sec, 100 secs
lola: 17397230 markings, 42823340 edges, 140671 markings/sec, 105 secs
lola: 18100017 markings, 44616261 edges, 140557 markings/sec, 110 secs
lola: 18792776 markings, 46402108 edges, 138552 markings/sec, 115 secs
lola: 19485608 markings, 48188571 edges, 138566 markings/sec, 120 secs
lola: 20175749 markings, 49965764 edges, 138028 markings/sec, 125 secs
lola: 20862163 markings, 51738883 edges, 137283 markings/sec, 130 secs
lola: 21543306 markings, 53502149 edges, 136229 markings/sec, 135 secs
lola: 22221364 markings, 55257695 edges, 135612 markings/sec, 140 secs
lola: 22901459 markings, 57013806 edges, 136019 markings/sec, 145 secs
lola: 23582007 markings, 58764032 edges, 136110 markings/sec, 150 secs
lola: 24254749 markings, 60513531 edges, 134548 markings/sec, 155 secs
lola: 24925603 markings, 62254425 edges, 134171 markings/sec, 160 secs
lola: 25596530 markings, 63994712 edges, 134185 markings/sec, 165 secs
lola: 26255561 markings, 65731813 edges, 131806 markings/sec, 170 secs
lola: 26923566 markings, 67467349 edges, 133601 markings/sec, 175 secs
lola: 27595221 markings, 69205927 edges, 134331 markings/sec, 180 secs
lola: 28254380 markings, 70933561 edges, 131832 markings/sec, 185 secs
lola: 28910204 markings, 72649726 edges, 131165 markings/sec, 190 secs
lola: 29568194 markings, 74360468 edges, 131598 markings/sec, 195 secs
lola: 30214768 markings, 76057926 edges, 129315 markings/sec, 200 secs
lola: 30859346 markings, 77746285 edges, 128916 markings/sec, 205 secs
lola: 31505048 markings, 79434242 edges, 129140 markings/sec, 210 secs
lola: 32150036 markings, 81119949 edges, 128998 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1293483 markings, 2133660 edges, 258697 markings/sec, 0 secs
lola: 2386007 markings, 4021729 edges, 218505 markings/sec, 5 secs
lola: 3416045 markings, 5837946 edges, 206008 markings/sec, 10 secs
lola: 4405420 markings, 7594937 edges, 197875 markings/sec, 15 secs
lola: 5364829 markings, 9305848 edges, 191882 markings/sec, 20 secs
lola: 6305493 markings, 10995241 edges, 188133 markings/sec, 25 secs
lola: 7240839 markings, 12682000 edges, 187069 markings/sec, 30 secs
lola: 8213907 markings, 14442169 edges, 194614 markings/sec, 35 secs
lola: 9145273 markings, 16143053 edges, 186273 markings/sec, 40 secs
lola: 10054816 markings, 17807618 edges, 181909 markings/sec, 45 secs
lola: 10952979 markings, 19449972 edges, 179633 markings/sec, 50 secs
lola: 11838395 markings, 21084641 edges, 177083 markings/sec, 55 secs
lola: 12720796 markings, 22695060 edges, 176480 markings/sec, 60 secs
lola: 13592521 markings, 24297884 edges, 174345 markings/sec, 65 secs
lola: 14454347 markings, 25890941 edges, 172365 markings/sec, 70 secs
lola: 15302832 markings, 27462034 edges, 169697 markings/sec, 75 secs
lola: 16154377 markings, 29038418 edges, 170309 markings/sec, 80 secs
lola: 17003749 markings, 30612218 edges, 169874 markings/sec, 85 secs
lola: 17859385 markings, 32201042 edges, 171127 markings/sec, 90 secs
lola: 18718988 markings, 33792459 edges, 171921 markings/sec, 95 secs
lola: 19556570 markings, 35354643 edges, 167516 markings/sec, 100 secs
lola: 20386315 markings, 36909129 edges, 165949 markings/sec, 105 secs
lola: 21217648 markings, 38459959 edges, 166267 markings/sec, 110 secs
lola: 22028056 markings, 39973593 edges, 162082 markings/sec, 115 secs
lola: 22828962 markings, 41474480 edges, 160181 markings/sec, 120 secs
lola: 23618788 markings, 42966450 edges, 157965 markings/sec, 125 secs
lola: 24410221 markings, 44444372 edges, 158287 markings/sec, 130 secs
lola: 25199226 markings, 45927744 edges, 157801 markings/sec, 135 secs
lola: 25985484 markings, 47393234 edges, 157252 markings/sec, 140 secs
lola: 26764145 markings, 48850889 edges, 155732 markings/sec, 145 secs
lola: 27538580 markings, 50311428 edges, 154887 markings/sec, 150 secs
lola: 28320731 markings, 51781557 edges, 156430 markings/sec, 155 secs
lola: 29100950 markings, 53249993 edges, 156044 markings/sec, 160 secs
lola: 29900852 markings, 54751387 edges, 159980 markings/sec, 165 secs
lola: 30696889 markings, 56253637 edges, 159207 markings/sec, 170 secs
lola: 31489501 markings, 57751109 edges, 158522 markings/sec, 175 secs
lola: 32279327 markings, 59245101 edges, 157965 markings/sec, 180 secs
lola: 33060523 markings, 60719096 edges, 156239 markings/sec, 185 secs
lola: 33827753 markings, 62159164 edges, 153446 markings/sec, 190 secs
lola: 34587222 markings, 63606033 edges, 151894 markings/sec, 195 secs
lola: 35348438 markings, 65042777 edges, 152243 markings/sec, 200 secs
lola: 36110120 markings, 66484344 edges, 152336 markings/sec, 205 secs
lola: 36865975 markings, 67915510 edges, 151171 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1240203 markings, 2306112 edges, 248041 markings/sec, 0 secs
lola: 2323776 markings, 4393701 edges, 216715 markings/sec, 5 secs
lola: 3343534 markings, 6374368 edges, 203952 markings/sec, 10 secs
lola: 4313168 markings, 8269227 edges, 193927 markings/sec, 15 secs
lola: 5262077 markings, 10128429 edges, 189782 markings/sec, 20 secs
lola: 6186816 markings, 11953410 edges, 184948 markings/sec, 25 secs
lola: 7104773 markings, 13760722 edges, 183591 markings/sec, 30 secs
lola: 8006975 markings, 15545014 edges, 180440 markings/sec, 35 secs
lola: 8891069 markings, 17300983 edges, 176819 markings/sec, 40 secs
lola: 9768030 markings, 19043624 edges, 175392 markings/sec, 45 secs
lola: 10636594 markings, 20773117 edges, 173713 markings/sec, 50 secs
lola: 11496919 markings, 22483317 edges, 172065 markings/sec, 55 secs
lola: 12344804 markings, 24168903 edges, 169577 markings/sec, 60 secs
lola: 13187718 markings, 25851551 edges, 168583 markings/sec, 65 secs
lola: 14026198 markings, 27523423 edges, 167696 markings/sec, 70 secs
lola: 14862763 markings, 29187262 edges, 167313 markings/sec, 75 secs
lola: 15692328 markings, 30841892 edges, 165913 markings/sec, 80 secs
lola: 16520623 markings, 32492941 edges, 165659 markings/sec, 85 secs
lola: 17332720 markings, 34124441 edges, 162419 markings/sec, 90 secs
lola: 18141622 markings, 35749845 edges, 161780 markings/sec, 95 secs
lola: 18953693 markings, 37380500 edges, 162414 markings/sec, 100 secs
lola: 19751740 markings, 38989207 edges, 159609 markings/sec, 105 secs
lola: 20562433 markings, 40608967 edges, 162139 markings/sec, 110 secs
lola: 21358590 markings, 42214306 edges, 159231 markings/sec, 115 secs
lola: 22152961 markings, 43812330 edges, 158874 markings/sec, 120 secs
lola: 22931599 markings, 45384024 edges, 155728 markings/sec, 125 secs
lola: 23716104 markings, 46958309 edges, 156901 markings/sec, 130 secs
lola: 24495494 markings, 48526763 edges, 155878 markings/sec, 135 secs
lola: 25266735 markings, 50082616 edges, 154248 markings/sec, 140 secs
lola: 26040433 markings, 51641148 edges, 154740 markings/sec, 145 secs
lola: 26806535 markings, 53191106 edges, 153220 markings/sec, 150 secs
lola: 27576041 markings, 54744021 edges, 153901 markings/sec, 155 secs
lola: 28341948 markings, 56288735 edges, 153181 markings/sec, 160 secs
lola: 29109471 markings, 57830790 edges, 153505 markings/sec, 165 secs
lola: 29864402 markings, 59358032 edges, 150986 markings/sec, 170 secs
lola: 30611237 markings, 60870032 edges, 149367 markings/sec, 175 secs
lola: 31361121 markings, 62392150 edges, 149977 markings/sec, 180 secs
lola: 32122441 markings, 63930552 edges, 152264 markings/sec, 185 secs
lola: 32878903 markings, 65465154 edges, 151292 markings/sec, 190 secs
lola: 33635185 markings, 66995268 edges, 151256 markings/sec, 195 secs
lola: 34388088 markings, 68520375 edges, 150581 markings/sec, 200 secs
lola: 35135129 markings, 70042979 edges, 149408 markings/sec, 205 secs
lola: 35881509 markings, 71558163 edges, 149276 markings/sec, 210 secs
lola: 36632962 markings, 73080915 edges, 150291 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 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: 1555151 markings, 2333075 edges, 311030 markings/sec, 0 secs
lola: 2906183 markings, 4444532 edges, 270206 markings/sec, 5 secs
lola: 4171816 markings, 6462624 edges, 253127 markings/sec, 10 secs
lola: 5404492 markings, 8429165 edges, 246535 markings/sec, 15 secs
lola: 6610283 markings, 10357364 edges, 241158 markings/sec, 20 secs
lola: 7774885 markings, 12237812 edges, 232920 markings/sec, 25 secs
lola: 8917769 markings, 14079650 edges, 228577 markings/sec, 30 secs
lola: 10039200 markings, 15895963 edges, 224286 markings/sec, 35 secs
lola: 11160803 markings, 17704324 edges, 224321 markings/sec, 40 secs
lola: 12257756 markings, 19481080 edges, 219391 markings/sec, 45 secs
lola: 13356812 markings, 21260921 edges, 219811 markings/sec, 50 secs
lola: 14450907 markings, 23033142 edges, 218819 markings/sec, 55 secs
lola: 15538467 markings, 24792616 edges, 217512 markings/sec, 60 secs
lola: 16610328 markings, 26533561 edges, 214372 markings/sec, 65 secs
lola: 17689896 markings, 28282832 edges, 215914 markings/sec, 70 secs
lola: 18745887 markings, 30001352 edges, 211198 markings/sec, 75 secs
lola: 19798406 markings, 31712475 edges, 210504 markings/sec, 80 secs
lola: 20844664 markings, 33413012 edges, 209252 markings/sec, 85 secs
lola: 21905359 markings, 35141864 edges, 212139 markings/sec, 90 secs
lola: 22962209 markings, 36865425 edges, 211370 markings/sec, 95 secs
lola: 24018825 markings, 38589231 edges, 211323 markings/sec, 100 secs
lola: 25076200 markings, 40314064 edges, 211475 markings/sec, 105 secs
lola: 26120858 markings, 42022441 edges, 208932 markings/sec, 110 secs
lola: 27158569 markings, 43716785 edges, 207542 markings/sec, 115 secs
lola: 28194100 markings, 45410788 edges, 207106 markings/sec, 120 secs
lola: 29239771 markings, 47114191 edges, 209134 markings/sec, 125 secs
lola: 30280681 markings, 48807498 edges, 208182 markings/sec, 130 secs
lola: 31301963 markings, 50482253 edges, 204256 markings/sec, 135 secs
lola: 32327940 markings, 52159273 edges, 205195 markings/sec, 140 secs
lola: 33351642 markings, 53831552 edges, 204740 markings/sec, 145 secs
lola: 34368408 markings, 55496460 edges, 203353 markings/sec, 150 secs
lola: 35386518 markings, 57162316 edges, 203622 markings/sec, 155 secs
lola: 36405495 markings, 58828404 edges, 203795 markings/sec, 160 secs
lola: 37416690 markings, 60486644 edges, 202239 markings/sec, 165 secs
lola: 38428760 markings, 62143907 edges, 202414 markings/sec, 170 secs
lola: 39426615 markings, 63781107 edges, 199571 markings/sec, 175 secs
lola: 40441734 markings, 65444153 edges, 203024 markings/sec, 180 secs
lola: 41442545 markings, 67085940 edges, 200162 markings/sec, 185 secs
lola: 42444957 markings, 68727996 edges, 200482 markings/sec, 190 secs
lola: 43435689 markings, 70359399 edges, 198146 markings/sec, 195 secs
lola: 44422205 markings, 71982617 edges, 197303 markings/sec, 200 secs
lola: 45416575 markings, 73613296 edges, 198874 markings/sec, 205 secs
lola: 46408590 markings, 75242057 edges, 198403 markings/sec, 210 secs
lola: 47394487 markings, 76861951 edges, 197179 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA TCPcondis-PT-40-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494940943642

--------------------
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="TCPcondis-PT-40"
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/TCPcondis-PT-40.tgz
mv TCPcondis-PT-40 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 TCPcondis-PT-40, 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 r078-ebro-149441008500236"
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 ;