About the Execution of LoLA for TCPcondis-PT-30
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5566.960 | 3539663.00 | 3555810.00 | 867.90 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is TCPcondis-PT-30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008500218
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME TCPcondis-PT-30-UpperBounds-0
FORMULA_NAME TCPcondis-PT-30-UpperBounds-1
FORMULA_NAME TCPcondis-PT-30-UpperBounds-10
FORMULA_NAME TCPcondis-PT-30-UpperBounds-11
FORMULA_NAME TCPcondis-PT-30-UpperBounds-12
FORMULA_NAME TCPcondis-PT-30-UpperBounds-13
FORMULA_NAME TCPcondis-PT-30-UpperBounds-14
FORMULA_NAME TCPcondis-PT-30-UpperBounds-15
FORMULA_NAME TCPcondis-PT-30-UpperBounds-2
FORMULA_NAME TCPcondis-PT-30-UpperBounds-3
FORMULA_NAME TCPcondis-PT-30-UpperBounds-4
FORMULA_NAME TCPcondis-PT-30-UpperBounds-5
FORMULA_NAME TCPcondis-PT-30-UpperBounds-6
FORMULA_NAME TCPcondis-PT-30-UpperBounds-7
FORMULA_NAME TCPcondis-PT-30-UpperBounds-8
FORMULA_NAME TCPcondis-PT-30-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494936431794
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TCPcondis-PT-30 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 62/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 30 places, 32 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 48 transition conflict sets
lola: TASK
lola: reading formula from TCPcondis-PT-30-UpperBounds.task
lola: MAX(xSYNRCVD) : MAX(CLOSEWAIT) : MAX(xESTAB) : MAX(xFINWAIT2) : MAX(xLASTACK) : MAX(FINWAIT1) : MAX(xLASTACK) : MAX(FIN) : MAX(LISTEN) : MAX(CLOSED) : MAX(xLASTACK) : MAX(xSYN) : MAX(FINACK) : MAX(xCLOSING) : MAX(FINWAIT1) : MAX(FIN)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xSYNRCVD)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1053840 markings, 2635592 edges, 210768 markings/sec, 0 secs
lola: 1953670 markings, 5030072 edges, 179966 markings/sec, 5 secs
lola: 2798308 markings, 7327799 edges, 168928 markings/sec, 10 secs
lola: 3521937 markings, 9301892 edges, 144726 markings/sec, 15 secs
lola: 4166303 markings, 11063997 edges, 128873 markings/sec, 20 secs
lola: 4800275 markings, 12813101 edges, 126794 markings/sec, 25 secs
lola: 5433941 markings, 14564806 edges, 126733 markings/sec, 30 secs
lola: 6073909 markings, 16340020 edges, 127994 markings/sec, 35 secs
lola: 6693550 markings, 18060551 edges, 123928 markings/sec, 40 secs
lola: 7314001 markings, 19790109 edges, 124090 markings/sec, 45 secs
lola: 7932007 markings, 21509776 edges, 123601 markings/sec, 50 secs
lola: 8542303 markings, 23215652 edges, 122059 markings/sec, 55 secs
lola: 9160738 markings, 24928091 edges, 123687 markings/sec, 60 secs
lola: 9768930 markings, 26623344 edges, 121638 markings/sec, 65 secs
lola: 10374416 markings, 28314260 edges, 121097 markings/sec, 70 secs
lola: 10976534 markings, 30001640 edges, 120424 markings/sec, 75 secs
lola: 11579372 markings, 31682378 edges, 120568 markings/sec, 80 secs
lola: 12179421 markings, 33357652 edges, 120010 markings/sec, 85 secs
lola: 12769367 markings, 35016053 edges, 117989 markings/sec, 90 secs
lola: 13358297 markings, 36672961 edges, 117786 markings/sec, 95 secs
lola: 13947095 markings, 38318002 edges, 117760 markings/sec, 100 secs
lola: 14552226 markings, 40011459 edges, 121026 markings/sec, 105 secs
lola: 15151397 markings, 41698986 edges, 119834 markings/sec, 110 secs
lola: 15754998 markings, 43392680 edges, 120720 markings/sec, 115 secs
lola: 16343038 markings, 45048827 edges, 117608 markings/sec, 120 secs
lola: 16955567 markings, 46769638 edges, 122506 markings/sec, 125 secs
lola: 17571225 markings, 48489053 edges, 123132 markings/sec, 130 secs
lola: 18183443 markings, 50207318 edges, 122444 markings/sec, 135 secs
lola: 18795995 markings, 51926463 edges, 122510 markings/sec, 140 secs
lola: 19410389 markings, 53653126 edges, 122879 markings/sec, 145 secs
lola: 20027420 markings, 55378836 edges, 123406 markings/sec, 150 secs
lola: 20635273 markings, 57086295 edges, 121571 markings/sec, 155 secs
lola: 21239047 markings, 58790066 edges, 120755 markings/sec, 160 secs
lola: 21836035 markings, 60484277 edges, 119398 markings/sec, 165 secs
lola: 22435606 markings, 62171982 edges, 119914 markings/sec, 170 secs
lola: 23038222 markings, 63870037 edges, 120523 markings/sec, 175 secs
lola: 23634680 markings, 65558584 edges, 119292 markings/sec, 180 secs
lola: 24223758 markings, 67225580 edges, 117816 markings/sec, 185 secs
lola: 24815881 markings, 68896341 edges, 118425 markings/sec, 190 secs
lola: 25413272 markings, 70574275 edges, 119478 markings/sec, 195 secs
lola: 26011071 markings, 72267049 edges, 119560 markings/sec, 200 secs
lola: 26613128 markings, 73966119 edges, 120411 markings/sec, 205 secs
lola: 27136887 markings, 75450492 edges, 104752 markings/sec, 210 secs
lola: 27657087 markings, 76921011 edges, 104040 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1036292 markings, 2050139 edges, 207258 markings/sec, 0 secs
lola: 1872327 markings, 3800030 edges, 167207 markings/sec, 5 secs
lola: 2638271 markings, 5437056 edges, 153189 markings/sec, 10 secs
lola: 3352643 markings, 6982108 edges, 142874 markings/sec, 15 secs
lola: 4044301 markings, 8485671 edges, 138332 markings/sec, 20 secs
lola: 4707433 markings, 9941267 edges, 132626 markings/sec, 25 secs
lola: 5351352 markings, 11358901 edges, 128784 markings/sec, 30 secs
lola: 5983085 markings, 12750186 edges, 126347 markings/sec, 35 secs
lola: 6596673 markings, 14111632 edges, 122718 markings/sec, 40 secs
lola: 7199544 markings, 15453230 edges, 120574 markings/sec, 45 secs
lola: 7852030 markings, 16910466 edges, 130497 markings/sec, 50 secs
lola: 8532830 markings, 18437708 edges, 136160 markings/sec, 55 secs
lola: 9243024 markings, 20037840 edges, 142039 markings/sec, 60 secs
lola: 9947949 markings, 21626742 edges, 140985 markings/sec, 65 secs
lola: 10646105 markings, 23204562 edges, 139631 markings/sec, 70 secs
lola: 11255988 markings, 24583967 edges, 121977 markings/sec, 75 secs
lola: 11828437 markings, 25881919 edges, 114490 markings/sec, 80 secs
lola: 12360432 markings, 27090063 edges, 106399 markings/sec, 85 secs
lola: 12885718 markings, 28288440 edges, 105057 markings/sec, 90 secs
lola: 13403581 markings, 29474199 edges, 103573 markings/sec, 95 secs
lola: 13916966 markings, 30645557 edges, 102677 markings/sec, 100 secs
lola: 14419377 markings, 31801131 edges, 100482 markings/sec, 105 secs
lola: 14923913 markings, 32955054 edges, 100907 markings/sec, 110 secs
lola: 15421785 markings, 34096047 edges, 99574 markings/sec, 115 secs
lola: 15917295 markings, 35234954 edges, 99102 markings/sec, 120 secs
lola: 16420009 markings, 36393443 edges, 100543 markings/sec, 125 secs
lola: 16967298 markings, 37648814 edges, 109458 markings/sec, 130 secs
lola: 17509928 markings, 38896307 edges, 108526 markings/sec, 135 secs
lola: 18052229 markings, 40144089 edges, 108460 markings/sec, 140 secs
lola: 18587458 markings, 41382252 edges, 107046 markings/sec, 145 secs
lola: 19122140 markings, 42616902 edges, 106936 markings/sec, 150 secs
lola: 19614663 markings, 43754091 edges, 98505 markings/sec, 155 secs
lola: 20102862 markings, 44882902 edges, 97640 markings/sec, 160 secs
lola: 20588247 markings, 46008448 edges, 97077 markings/sec, 165 secs
lola: 21119715 markings, 47246164 edges, 106294 markings/sec, 170 secs
lola: 21657402 markings, 48500197 edges, 107537 markings/sec, 175 secs
lola: 22194011 markings, 49746466 edges, 107322 markings/sec, 180 secs
lola: 22730480 markings, 50995167 edges, 107294 markings/sec, 185 secs
lola: 23265448 markings, 52239571 edges, 106994 markings/sec, 190 secs
lola: 23799892 markings, 53481006 edges, 106889 markings/sec, 195 secs
lola: 24329361 markings, 54717055 edges, 105894 markings/sec, 200 secs
lola: 24854391 markings, 55941731 edges, 105006 markings/sec, 205 secs
lola: 25373843 markings, 57157220 edges, 103890 markings/sec, 210 secs
lola: 25899057 markings, 58378445 edges, 105043 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xESTAB)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 859281 markings, 2382780 edges, 171856 markings/sec, 0 secs
lola: 1534652 markings, 4443473 edges, 135074 markings/sec, 5 secs
lola: 2163135 markings, 6409805 edges, 125697 markings/sec, 10 secs
lola: 2768044 markings, 8337056 edges, 120982 markings/sec, 15 secs
lola: 3362888 markings, 10252634 edges, 118969 markings/sec, 20 secs
lola: 3949011 markings, 12151887 edges, 117225 markings/sec, 25 secs
lola: 4514907 markings, 14008461 edges, 113179 markings/sec, 30 secs
lola: 5065295 markings, 15812420 edges, 110078 markings/sec, 35 secs
lola: 5580176 markings, 17511995 edges, 102976 markings/sec, 40 secs
lola: 6079183 markings, 19171408 edges, 99801 markings/sec, 45 secs
lola: 6572355 markings, 20819658 edges, 98634 markings/sec, 50 secs
lola: 7074950 markings, 22501719 edges, 100519 markings/sec, 55 secs
lola: 7576685 markings, 24196604 edges, 100347 markings/sec, 60 secs
lola: 8072709 markings, 25871750 edges, 99205 markings/sec, 65 secs
lola: 8562207 markings, 27527602 edges, 97900 markings/sec, 70 secs
lola: 9066244 markings, 29244959 edges, 100807 markings/sec, 75 secs
lola: 9567584 markings, 30953510 edges, 100268 markings/sec, 80 secs
lola: 10065840 markings, 32653156 edges, 99651 markings/sec, 85 secs
lola: 10548380 markings, 34306892 edges, 96508 markings/sec, 90 secs
lola: 11003611 markings, 35863913 edges, 91046 markings/sec, 95 secs
lola: 11456950 markings, 37421469 edges, 90668 markings/sec, 100 secs
lola: 11917412 markings, 39004524 edges, 92092 markings/sec, 105 secs
lola: 12371295 markings, 40571579 edges, 90777 markings/sec, 110 secs
lola: 12818271 markings, 42122494 edges, 89395 markings/sec, 115 secs
lola: 13268409 markings, 43673231 edges, 90028 markings/sec, 120 secs
lola: 13710976 markings, 45208114 edges, 88513 markings/sec, 125 secs
lola: 14146737 markings, 46721361 edges, 87152 markings/sec, 130 secs
lola: 14577514 markings, 48221102 edges, 86155 markings/sec, 135 secs
lola: 15007310 markings, 49721106 edges, 85959 markings/sec, 140 secs
lola: 15435398 markings, 51209596 edges, 85618 markings/sec, 145 secs
lola: 15862926 markings, 52697363 edges, 85506 markings/sec, 150 secs
lola: 16292964 markings, 54196682 edges, 86008 markings/sec, 155 secs
lola: 16725961 markings, 55709234 edges, 86599 markings/sec, 160 secs
lola: 17152567 markings, 57201003 edges, 85321 markings/sec, 165 secs
lola: 17582743 markings, 58711604 edges, 86035 markings/sec, 170 secs
lola: 18007935 markings, 60206050 edges, 85038 markings/sec, 175 secs
lola: 18433045 markings, 61697289 edges, 85022 markings/sec, 180 secs
lola: 18852101 markings, 63174016 edges, 83811 markings/sec, 185 secs
lola: 19293255 markings, 64724968 edges, 88231 markings/sec, 190 secs
lola: 19744032 markings, 66305887 edges, 90155 markings/sec, 195 secs
lola: 20192050 markings, 67888180 edges, 89604 markings/sec, 200 secs
lola: 20640259 markings, 69466350 edges, 89642 markings/sec, 205 secs
lola: 21086860 markings, 71045811 edges, 89320 markings/sec, 210 secs
lola: 21532317 markings, 72622029 edges, 89091 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xFINWAIT2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1191003 markings, 2120955 edges, 238201 markings/sec, 0 secs
lola: 2207050 markings, 3972859 edges, 203209 markings/sec, 5 secs
lola: 3156661 markings, 5717855 edges, 189922 markings/sec, 10 secs
lola: 4069569 markings, 7398409 edges, 182582 markings/sec, 15 secs
lola: 4958669 markings, 9044710 edges, 177820 markings/sec, 20 secs
lola: 5819916 markings, 10650280 edges, 172249 markings/sec, 25 secs
lola: 6613659 markings, 12135265 edges, 158749 markings/sec, 30 secs
lola: 7456922 markings, 13711959 edges, 168653 markings/sec, 35 secs
lola: 8272598 markings, 15245006 edges, 163135 markings/sec, 40 secs
lola: 9096997 markings, 16791609 edges, 164880 markings/sec, 45 secs
lola: 9905702 markings, 18317032 edges, 161741 markings/sec, 50 secs
lola: 10717282 markings, 19838082 edges, 162316 markings/sec, 55 secs
lola: 11508046 markings, 21336494 edges, 158153 markings/sec, 60 secs
lola: 12294291 markings, 22822356 edges, 157249 markings/sec, 65 secs
lola: 13075618 markings, 24292958 edges, 156265 markings/sec, 70 secs
lola: 13853321 markings, 25760250 edges, 155541 markings/sec, 75 secs
lola: 14613378 markings, 27204606 edges, 152011 markings/sec, 80 secs
lola: 15366207 markings, 28633897 edges, 150566 markings/sec, 85 secs
lola: 16107737 markings, 30046950 edges, 148306 markings/sec, 90 secs
lola: 16785109 markings, 31334606 edges, 135474 markings/sec, 95 secs
lola: 17329513 markings, 32369331 edges, 108881 markings/sec, 100 secs
lola: 17871813 markings, 33401721 edges, 108460 markings/sec, 105 secs
lola: 18402904 markings, 34423320 edges, 106218 markings/sec, 110 secs
lola: 18940190 markings, 35448329 edges, 107457 markings/sec, 115 secs
lola: 19487075 markings, 36487391 edges, 109377 markings/sec, 120 secs
lola: 20022143 markings, 37508765 edges, 107014 markings/sec, 125 secs
lola: 20555203 markings, 38533429 edges, 106612 markings/sec, 130 secs
lola: 21099351 markings, 39567222 edges, 108830 markings/sec, 135 secs
lola: 21633663 markings, 40591004 edges, 106862 markings/sec, 140 secs
lola: 22169746 markings, 41612948 edges, 107217 markings/sec, 145 secs
lola: 22701945 markings, 42631266 edges, 106440 markings/sec, 150 secs
lola: 23359878 markings, 43895655 edges, 131587 markings/sec, 155 secs
lola: 24056070 markings, 45229619 edges, 139238 markings/sec, 160 secs
lola: 24737282 markings, 46542798 edges, 136242 markings/sec, 165 secs
lola: 25411988 markings, 47844386 edges, 134941 markings/sec, 170 secs
lola: 26095449 markings, 49149762 edges, 136692 markings/sec, 175 secs
lola: 26767701 markings, 50441344 edges, 134450 markings/sec, 180 secs
lola: 27447149 markings, 51746959 edges, 135890 markings/sec, 185 secs
lola: 28116716 markings, 53034258 edges, 133913 markings/sec, 190 secs
lola: 28786914 markings, 54321343 edges, 134040 markings/sec, 195 secs
lola: 29448677 markings, 55601455 edges, 132353 markings/sec, 200 secs
lola: 30098490 markings, 56868773 edges, 129963 markings/sec, 205 secs
lola: 30761264 markings, 58151101 edges, 132555 markings/sec, 210 secs
lola: 31429104 markings, 59433331 edges, 133568 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xLASTACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1511459 markings, 2284569 edges, 302292 markings/sec, 0 secs
lola: 2783161 markings, 4298586 edges, 254340 markings/sec, 5 secs
lola: 3992947 markings, 6227312 edges, 241957 markings/sec, 10 secs
lola: 5159573 markings, 8101919 edges, 233325 markings/sec, 15 secs
lola: 6303030 markings, 9932767 edges, 228691 markings/sec, 20 secs
lola: 7416571 markings, 11729647 edges, 222708 markings/sec, 25 secs
lola: 8538945 markings, 13543190 edges, 224475 markings/sec, 30 secs
lola: 9656540 markings, 15352692 edges, 223519 markings/sec, 35 secs
lola: 10678347 markings, 17004333 edges, 204361 markings/sec, 40 secs
lola: 11676770 markings, 18616121 edges, 199685 markings/sec, 45 secs
lola: 12657857 markings, 20208895 edges, 196217 markings/sec, 50 secs
lola: 13642020 markings, 21816556 edges, 196833 markings/sec, 55 secs
lola: 14619568 markings, 23407012 edges, 195510 markings/sec, 60 secs
lola: 15550670 markings, 24922077 edges, 186220 markings/sec, 65 secs
lola: 16460586 markings, 26398854 edges, 181983 markings/sec, 70 secs
lola: 17351399 markings, 27850984 edges, 178163 markings/sec, 75 secs
lola: 18233995 markings, 29286135 edges, 176519 markings/sec, 80 secs
lola: 19109897 markings, 30716887 edges, 175180 markings/sec, 85 secs
lola: 19983232 markings, 32139376 edges, 174667 markings/sec, 90 secs
lola: 20851197 markings, 33558777 edges, 173593 markings/sec, 95 secs
lola: 21719715 markings, 34975940 edges, 173704 markings/sec, 100 secs
lola: 22580982 markings, 36384301 edges, 172253 markings/sec, 105 secs
lola: 23433880 markings, 37779757 edges, 170580 markings/sec, 110 secs
lola: 24286779 markings, 39173449 edges, 170580 markings/sec, 115 secs
lola: 25278047 markings, 40791661 edges, 198254 markings/sec, 120 secs
lola: 26267170 markings, 42415675 edges, 197825 markings/sec, 125 secs
lola: 27252745 markings, 44031247 edges, 197115 markings/sec, 130 secs
lola: 28238511 markings, 45645396 edges, 197153 markings/sec, 135 secs
lola: 29219259 markings, 47255615 edges, 196150 markings/sec, 140 secs
lola: 30212984 markings, 48879869 edges, 198745 markings/sec, 145 secs
lola: 31197353 markings, 50497385 edges, 196874 markings/sec, 150 secs
lola: 32179495 markings, 52106836 edges, 196428 markings/sec, 155 secs
lola: 33152839 markings, 53706814 edges, 194669 markings/sec, 160 secs
lola: 34133821 markings, 55314301 edges, 196196 markings/sec, 165 secs
lola: 35105799 markings, 56907883 edges, 194396 markings/sec, 170 secs
lola: 36077710 markings, 58505828 edges, 194382 markings/sec, 175 secs
lola: 37059709 markings, 60115619 edges, 196400 markings/sec, 180 secs
lola: 38034611 markings, 61716117 edges, 194980 markings/sec, 185 secs
lola: 39007332 markings, 63315375 edges, 194544 markings/sec, 190 secs
lola: 39978466 markings, 64910527 edges, 194227 markings/sec, 195 secs
lola: 40956001 markings, 66511736 edges, 195507 markings/sec, 200 secs
lola: 41924791 markings, 68104617 edges, 193758 markings/sec, 205 secs
lola: 42879100 markings, 69672506 edges, 190862 markings/sec, 210 secs
lola: 43841637 markings, 71255658 edges, 192507 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1073234 markings, 2166756 edges, 214647 markings/sec, 0 secs
lola: 1953370 markings, 3991230 edges, 176027 markings/sec, 5 secs
lola: 2695260 markings, 5543068 edges, 148378 markings/sec, 10 secs
lola: 3397198 markings, 7018007 edges, 140388 markings/sec, 15 secs
lola: 4072833 markings, 8443630 edges, 135127 markings/sec, 20 secs
lola: 4724660 markings, 9822500 edges, 130365 markings/sec, 25 secs
lola: 5459069 markings, 11375945 edges, 146882 markings/sec, 30 secs
lola: 6246598 markings, 13052822 edges, 157506 markings/sec, 35 secs
lola: 7042644 markings, 14746382 edges, 159209 markings/sec, 40 secs
lola: 7819652 markings, 16404922 edges, 155402 markings/sec, 45 secs
lola: 8595642 markings, 18063129 edges, 155198 markings/sec, 50 secs
lola: 9361599 markings, 19699826 edges, 153191 markings/sec, 55 secs
lola: 10114539 markings, 21311459 edges, 150588 markings/sec, 60 secs
lola: 10855933 markings, 22899342 edges, 148279 markings/sec, 65 secs
lola: 11589184 markings, 24474338 edges, 146650 markings/sec, 70 secs
lola: 12321651 markings, 26048997 edges, 146493 markings/sec, 75 secs
lola: 13052601 markings, 27624044 edges, 146190 markings/sec, 80 secs
lola: 13780125 markings, 29191695 edges, 145505 markings/sec, 85 secs
lola: 14507843 markings, 30762946 edges, 145544 markings/sec, 90 secs
lola: 15246233 markings, 32352614 edges, 147678 markings/sec, 95 secs
lola: 15966208 markings, 33907635 edges, 143995 markings/sec, 100 secs
lola: 16692176 markings, 35475099 edges, 145194 markings/sec, 105 secs
lola: 17418391 markings, 37043335 edges, 145243 markings/sec, 110 secs
lola: 18132298 markings, 38589005 edges, 142781 markings/sec, 115 secs
lola: 18842150 markings, 40121162 edges, 141970 markings/sec, 120 secs
lola: 19545329 markings, 41645993 edges, 140636 markings/sec, 125 secs
lola: 20236633 markings, 43146418 edges, 138261 markings/sec, 130 secs
lola: 20935055 markings, 44657154 edges, 139684 markings/sec, 135 secs
lola: 21627099 markings, 46157420 edges, 138409 markings/sec, 140 secs
lola: 22314340 markings, 47649706 edges, 137448 markings/sec, 145 secs
lola: 23002105 markings, 49145877 edges, 137553 markings/sec, 150 secs
lola: 23685694 markings, 50629677 edges, 136718 markings/sec, 155 secs
lola: 24368905 markings, 52113718 edges, 136642 markings/sec, 160 secs
lola: 25050413 markings, 53595341 edges, 136302 markings/sec, 165 secs
lola: 25721655 markings, 55054942 edges, 134248 markings/sec, 170 secs
lola: 26390731 markings, 56515823 edges, 133815 markings/sec, 175 secs
lola: 27059195 markings, 57965742 edges, 133693 markings/sec, 180 secs
lola: 27723116 markings, 59410116 edges, 132784 markings/sec, 185 secs
lola: 28378913 markings, 60844463 edges, 131159 markings/sec, 190 secs
lola: 29035905 markings, 62274269 edges, 131398 markings/sec, 195 secs
lola: 29690491 markings, 63697815 edges, 130917 markings/sec, 200 secs
lola: 30342643 markings, 65123363 edges, 130430 markings/sec, 205 secs
lola: 30992451 markings, 66542646 edges, 129962 markings/sec, 210 secs
lola: 31636856 markings, 67950681 edges, 128881 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xLASTACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1508207 markings, 2279580 edges, 301641 markings/sec, 0 secs
lola: 2796621 markings, 4320453 edges, 257683 markings/sec, 5 secs
lola: 4024450 markings, 6277997 edges, 245566 markings/sec, 10 secs
lola: 5204050 markings, 8173724 edges, 235920 markings/sec, 15 secs
lola: 6384056 markings, 10063859 edges, 236001 markings/sec, 20 secs
lola: 7527306 markings, 11908335 edges, 228650 markings/sec, 25 secs
lola: 8646203 markings, 13716810 edges, 223779 markings/sec, 30 secs
lola: 9743659 markings, 15494286 edges, 219491 markings/sec, 35 secs
lola: 10829584 markings, 17247882 edges, 217185 markings/sec, 40 secs
lola: 11795323 markings, 18811848 edges, 193148 markings/sec, 45 secs
lola: 12735552 markings, 20335705 edges, 188046 markings/sec, 50 secs
lola: 13654915 markings, 21837276 edges, 183873 markings/sec, 55 secs
lola: 14568253 markings, 23323544 edges, 182668 markings/sec, 60 secs
lola: 15471929 markings, 24794330 edges, 180735 markings/sec, 65 secs
lola: 16384695 markings, 26275668 edges, 182553 markings/sec, 70 secs
lola: 17253680 markings, 27691009 edges, 173797 markings/sec, 75 secs
lola: 18112223 markings, 29088529 edges, 171709 markings/sec, 80 secs
lola: 18963321 markings, 30478747 edges, 170220 markings/sec, 85 secs
lola: 19811577 markings, 31860595 edges, 169651 markings/sec, 90 secs
lola: 20652698 markings, 33235564 edges, 168224 markings/sec, 95 secs
lola: 21496377 markings, 34609330 edges, 168736 markings/sec, 100 secs
lola: 22329363 markings, 35973044 edges, 166597 markings/sec, 105 secs
lola: 23154319 markings, 37324490 edges, 164991 markings/sec, 110 secs
lola: 23980880 markings, 38672902 edges, 165312 markings/sec, 115 secs
lola: 24804775 markings, 40021668 edges, 164779 markings/sec, 120 secs
lola: 25627997 markings, 41365378 edges, 164644 markings/sec, 125 secs
lola: 26547459 markings, 42875682 edges, 183892 markings/sec, 130 secs
lola: 27538584 markings, 44499197 edges, 198225 markings/sec, 135 secs
lola: 28523512 markings, 46112969 edges, 196986 markings/sec, 140 secs
lola: 29512130 markings, 47733796 edges, 197724 markings/sec, 145 secs
lola: 30500446 markings, 49352792 edges, 197663 markings/sec, 150 secs
lola: 31481182 markings, 50965882 edges, 196147 markings/sec, 155 secs
lola: 32468875 markings, 52583614 edges, 197539 markings/sec, 160 secs
lola: 33449897 markings, 54193021 edges, 196204 markings/sec, 165 secs
lola: 34432466 markings, 55802318 edges, 196514 markings/sec, 170 secs
lola: 35409759 markings, 57405935 edges, 195459 markings/sec, 175 secs
lola: 36384641 markings, 59007640 edges, 194976 markings/sec, 180 secs
lola: 37363020 markings, 60613232 edges, 195676 markings/sec, 185 secs
lola: 38331825 markings, 62205205 edges, 193761 markings/sec, 190 secs
lola: 39299774 markings, 63796243 edges, 193590 markings/sec, 195 secs
lola: 40275383 markings, 65395824 edges, 195122 markings/sec, 200 secs
lola: 41219385 markings, 66944589 edges, 188800 markings/sec, 205 secs
lola: 41996739 markings, 68224422 edges, 155471 markings/sec, 210 secs
lola: 42777646 markings, 69507126 edges, 156181 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FIN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 988844 markings, 2185795 edges, 197769 markings/sec, 0 secs
lola: 1821823 markings, 4092578 edges, 166596 markings/sec, 5 secs
lola: 2606334 markings, 5902557 edges, 156902 markings/sec, 10 secs
lola: 3353022 markings, 7638690 edges, 149338 markings/sec, 15 secs
lola: 4075070 markings, 9327325 edges, 144410 markings/sec, 20 secs
lola: 4776445 markings, 10971378 edges, 140275 markings/sec, 25 secs
lola: 5462866 markings, 12583817 edges, 137284 markings/sec, 30 secs
lola: 6135647 markings, 14170431 edges, 134556 markings/sec, 35 secs
lola: 6797072 markings, 15727571 edges, 132285 markings/sec, 40 secs
lola: 7459469 markings, 17291373 edges, 132479 markings/sec, 45 secs
lola: 8158110 markings, 18946801 edges, 139728 markings/sec, 50 secs
lola: 8847125 markings, 20579648 edges, 137803 markings/sec, 55 secs
lola: 9536299 markings, 22217953 edges, 137835 markings/sec, 60 secs
lola: 10227751 markings, 23856229 edges, 138290 markings/sec, 65 secs
lola: 10910369 markings, 25480584 edges, 136524 markings/sec, 70 secs
lola: 11585322 markings, 27084783 edges, 134991 markings/sec, 75 secs
lola: 12260950 markings, 28698792 edges, 135126 markings/sec, 80 secs
lola: 12932516 markings, 30304882 edges, 134313 markings/sec, 85 secs
lola: 13602103 markings, 31907515 edges, 133917 markings/sec, 90 secs
lola: 14269541 markings, 33507961 edges, 133488 markings/sec, 95 secs
lola: 14831399 markings, 34852190 edges, 112372 markings/sec, 100 secs
lola: 15348113 markings, 36093268 edges, 103343 markings/sec, 105 secs
lola: 15847708 markings, 37290391 edges, 99919 markings/sec, 110 secs
lola: 16336781 markings, 38462615 edges, 97815 markings/sec, 115 secs
lola: 16878392 markings, 39758913 edges, 108322 markings/sec, 120 secs
lola: 17436367 markings, 41099451 edges, 111595 markings/sec, 125 secs
lola: 18047191 markings, 42567929 edges, 122165 markings/sec, 130 secs
lola: 18683302 markings, 44098061 edges, 127222 markings/sec, 135 secs
lola: 19321205 markings, 45630906 edges, 127581 markings/sec, 140 secs
lola: 19956594 markings, 47158940 edges, 127078 markings/sec, 145 secs
lola: 20591569 markings, 48684770 edges, 126995 markings/sec, 150 secs
lola: 21227406 markings, 50218752 edges, 127167 markings/sec, 155 secs
lola: 21854613 markings, 51733753 edges, 125441 markings/sec, 160 secs
lola: 22491946 markings, 53267778 edges, 127467 markings/sec, 165 secs
lola: 23103082 markings, 54747669 edges, 122227 markings/sec, 170 secs
lola: 23754698 markings, 56314932 edges, 130323 markings/sec, 175 secs
lola: 24407658 markings, 57895782 edges, 130592 markings/sec, 180 secs
lola: 25061188 markings, 59480856 edges, 130706 markings/sec, 185 secs
lola: 25728274 markings, 61094135 edges, 133417 markings/sec, 190 secs
lola: 26394506 markings, 62705184 edges, 133246 markings/sec, 195 secs
lola: 27060591 markings, 64317013 edges, 133217 markings/sec, 200 secs
lola: 27725651 markings, 65926911 edges, 133012 markings/sec, 205 secs
lola: 28390832 markings, 67537297 edges, 133036 markings/sec, 210 secs
lola: 29054116 markings, 69143227 edges, 132657 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LISTEN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1026414 markings, 2230683 edges, 205283 markings/sec, 0 secs
lola: 1896292 markings, 4212549 edges, 173976 markings/sec, 5 secs
lola: 2705764 markings, 6089360 edges, 161894 markings/sec, 10 secs
lola: 3476151 markings, 7908983 edges, 154077 markings/sec, 15 secs
lola: 4276203 markings, 9810472 edges, 160010 markings/sec, 20 secs
lola: 5044594 markings, 11660563 edges, 153678 markings/sec, 25 secs
lola: 5799219 markings, 13481160 edges, 150925 markings/sec, 30 secs
lola: 6531576 markings, 15255975 edges, 146471 markings/sec, 35 secs
lola: 7252160 markings, 17007733 edges, 144117 markings/sec, 40 secs
lola: 7955084 markings, 18724748 edges, 140585 markings/sec, 45 secs
lola: 8778899 markings, 20737904 edges, 164763 markings/sec, 50 secs
lola: 9580548 markings, 22714300 edges, 160330 markings/sec, 55 secs
lola: 10374907 markings, 24680663 edges, 158872 markings/sec, 60 secs
lola: 11163085 markings, 26635107 edges, 157636 markings/sec, 65 secs
lola: 11941823 markings, 28570573 edges, 155748 markings/sec, 70 secs
lola: 12714844 markings, 30500004 edges, 154604 markings/sec, 75 secs
lola: 13477526 markings, 32418056 edges, 152536 markings/sec, 80 secs
lola: 14231459 markings, 34317149 edges, 150787 markings/sec, 85 secs
lola: 14979260 markings, 36208321 edges, 149560 markings/sec, 90 secs
lola: 15722589 markings, 38090088 edges, 148666 markings/sec, 95 secs
lola: 16453889 markings, 39945501 edges, 146260 markings/sec, 100 secs
lola: 17181091 markings, 41791086 edges, 145440 markings/sec, 105 secs
lola: 17896926 markings, 43616644 edges, 143167 markings/sec, 110 secs
lola: 18608516 markings, 45429845 edges, 142318 markings/sec, 115 secs
lola: 19302109 markings, 47202236 edges, 138719 markings/sec, 120 secs
lola: 19889901 markings, 48698827 edges, 117558 markings/sec, 125 secs
lola: 20471105 markings, 50188207 edges, 116241 markings/sec, 130 secs
lola: 21050518 markings, 51676092 edges, 115883 markings/sec, 135 secs
lola: 21626537 markings, 53155178 edges, 115204 markings/sec, 140 secs
lola: 22198967 markings, 54626163 edges, 114486 markings/sec, 145 secs
lola: 22771821 markings, 56099142 edges, 114571 markings/sec, 150 secs
lola: 23348334 markings, 57583152 edges, 115303 markings/sec, 155 secs
lola: 23943279 markings, 59118082 edges, 118989 markings/sec, 160 secs
lola: 24539484 markings, 60658262 edges, 119241 markings/sec, 165 secs
lola: 25232567 markings, 62441668 edges, 138617 markings/sec, 170 secs
lola: 25912140 markings, 64201471 edges, 135915 markings/sec, 175 secs
lola: 26478619 markings, 65665489 edges, 113296 markings/sec, 180 secs
lola: 27124060 markings, 67334118 edges, 129088 markings/sec, 185 secs
lola: 27798254 markings, 69082107 edges, 134839 markings/sec, 190 secs
lola: 28472180 markings, 70823182 edges, 134785 markings/sec, 195 secs
lola: 29081128 markings, 72404010 edges, 121790 markings/sec, 200 secs
lola: 29634392 markings, 73833309 edges, 110653 markings/sec, 205 secs
lola: 30177164 markings, 75245977 edges, 108554 markings/sec, 210 secs
lola: 30718355 markings, 76653614 edges, 108238 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSED)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1082246 markings, 2588550 edges, 216449 markings/sec, 0 secs
lola: 1961394 markings, 4904493 edges, 175830 markings/sec, 5 secs
lola: 2762060 markings, 7088165 edges, 160133 markings/sec, 10 secs
lola: 3513931 markings, 9178708 edges, 150374 markings/sec, 15 secs
lola: 4238712 markings, 11211757 edges, 144956 markings/sec, 20 secs
lola: 4904700 markings, 13096385 edges, 133198 markings/sec, 25 secs
lola: 5598451 markings, 15063748 edges, 138750 markings/sec, 30 secs
lola: 6279692 markings, 17006342 edges, 136248 markings/sec, 35 secs
lola: 6942975 markings, 18903613 edges, 132657 markings/sec, 40 secs
lola: 7593141 markings, 20784491 edges, 130033 markings/sec, 45 secs
lola: 8240085 markings, 22655914 edges, 129389 markings/sec, 50 secs
lola: 8879433 markings, 24509380 edges, 127870 markings/sec, 55 secs
lola: 9502288 markings, 26331761 edges, 124571 markings/sec, 60 secs
lola: 10111155 markings, 28128806 edges, 121773 markings/sec, 65 secs
lola: 10705591 markings, 29872089 edges, 118887 markings/sec, 70 secs
lola: 11305710 markings, 31651438 edges, 120024 markings/sec, 75 secs
lola: 11913202 markings, 33443171 edges, 121498 markings/sec, 80 secs
lola: 12505081 markings, 35204695 edges, 118376 markings/sec, 85 secs
lola: 13093023 markings, 36957269 edges, 117588 markings/sec, 90 secs
lola: 13682643 markings, 38710635 edges, 117924 markings/sec, 95 secs
lola: 14260350 markings, 40443689 edges, 115541 markings/sec, 100 secs
lola: 14847063 markings, 42194115 edges, 117343 markings/sec, 105 secs
lola: 15425992 markings, 43928575 edges, 115786 markings/sec, 110 secs
lola: 16007785 markings, 45671527 edges, 116359 markings/sec, 115 secs
lola: 16577446 markings, 47389845 edges, 113932 markings/sec, 120 secs
lola: 17139849 markings, 49087739 edges, 112481 markings/sec, 125 secs
lola: 17698902 markings, 50773948 edges, 111811 markings/sec, 130 secs
lola: 18255728 markings, 52455608 edges, 111365 markings/sec, 135 secs
lola: 18808534 markings, 54134817 edges, 110561 markings/sec, 140 secs
lola: 19363396 markings, 55821412 edges, 110972 markings/sec, 145 secs
lola: 19911230 markings, 57486556 edges, 109567 markings/sec, 150 secs
lola: 20458316 markings, 59152120 edges, 109417 markings/sec, 155 secs
lola: 20988987 markings, 60785526 edges, 106134 markings/sec, 160 secs
lola: 21538429 markings, 62459035 edges, 109888 markings/sec, 165 secs
lola: 22077473 markings, 64115973 edges, 107809 markings/sec, 170 secs
lola: 22622197 markings, 65771965 edges, 108945 markings/sec, 175 secs
lola: 23156990 markings, 67412581 edges, 106959 markings/sec, 180 secs
lola: 23697984 markings, 69071005 edges, 108199 markings/sec, 185 secs
lola: 24234216 markings, 70717169 edges, 107246 markings/sec, 190 secs
lola: 24770726 markings, 72355414 edges, 107302 markings/sec, 195 secs
lola: 25309038 markings, 74011673 edges, 107662 markings/sec, 200 secs
lola: 25847827 markings, 75659171 edges, 107758 markings/sec, 205 secs
lola: 26374658 markings, 77284564 edges, 105366 markings/sec, 210 secs
lola: 26903249 markings, 78914005 edges, 105718 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xLASTACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1437937 markings, 2169641 edges, 287587 markings/sec, 0 secs
lola: 2675209 markings, 4126474 edges, 247454 markings/sec, 5 secs
lola: 3993894 markings, 6228927 edges, 263737 markings/sec, 10 secs
lola: 5251602 markings, 8249759 edges, 251542 markings/sec, 15 secs
lola: 6505460 markings, 10262022 edges, 250772 markings/sec, 20 secs
lola: 7727730 markings, 12233026 edges, 244454 markings/sec, 25 secs
lola: 8928768 markings, 14170877 edges, 240208 markings/sec, 30 secs
lola: 10098295 markings, 16068369 edges, 233905 markings/sec, 35 secs
lola: 11251544 markings, 17930647 edges, 230650 markings/sec, 40 secs
lola: 12383531 markings, 19764450 edges, 226397 markings/sec, 45 secs
lola: 13512377 markings, 21605072 edges, 225769 markings/sec, 50 secs
lola: 14606044 markings, 23384722 edges, 218733 markings/sec, 55 secs
lola: 15722963 markings, 25203789 edges, 223384 markings/sec, 60 secs
lola: 16833667 markings, 27007809 edges, 222141 markings/sec, 65 secs
lola: 17851955 markings, 28662818 edges, 203658 markings/sec, 70 secs
lola: 18859355 markings, 30309696 edges, 201480 markings/sec, 75 secs
lola: 19864706 markings, 31946800 edges, 201070 markings/sec, 80 secs
lola: 20771379 markings, 33429137 edges, 181335 markings/sec, 85 secs
lola: 21689065 markings, 34926175 edges, 183537 markings/sec, 90 secs
lola: 22747253 markings, 36657041 edges, 211638 markings/sec, 95 secs
lola: 23812472 markings, 38399832 edges, 213044 markings/sec, 100 secs
lola: 24768469 markings, 39962657 edges, 191199 markings/sec, 105 secs
lola: 25707756 markings, 41495681 edges, 187857 markings/sec, 110 secs
lola: 26625378 markings, 43002526 edges, 183524 markings/sec, 115 secs
lola: 27552397 markings, 44521539 edges, 185404 markings/sec, 120 secs
lola: 28472978 markings, 46031186 edges, 184116 markings/sec, 125 secs
lola: 29393584 markings, 47539966 edges, 184121 markings/sec, 130 secs
lola: 30298429 markings, 49019705 edges, 180969 markings/sec, 135 secs
lola: 31323203 markings, 50705488 edges, 204955 markings/sec, 140 secs
lola: 32370413 markings, 52421810 edges, 209442 markings/sec, 145 secs
lola: 33406793 markings, 54121512 edges, 207276 markings/sec, 150 secs
lola: 34442647 markings, 55819177 edges, 207171 markings/sec, 155 secs
lola: 35471048 markings, 57506357 edges, 205680 markings/sec, 160 secs
lola: 36488015 markings, 59175136 edges, 203393 markings/sec, 165 secs
lola: 37423220 markings, 60712418 edges, 187041 markings/sec, 170 secs
lola: 38178170 markings, 61952504 edges, 150990 markings/sec, 175 secs
lola: 38939397 markings, 63202270 edges, 152245 markings/sec, 180 secs
lola: 39690613 markings, 64439501 edges, 150243 markings/sec, 185 secs
lola: 40451692 markings, 65682762 edges, 152216 markings/sec, 190 secs
lola: 41313320 markings, 67098600 edges, 172326 markings/sec, 195 secs
lola: 42195599 markings, 68551161 edges, 176456 markings/sec, 200 secs
lola: 43073829 markings, 69992381 edges, 175646 markings/sec, 205 secs
lola: 43958941 markings, 71448867 edges, 177022 markings/sec, 210 secs
lola: 44828551 markings, 72876497 edges, 173922 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: 1079140 markings, 2294812 edges, 215828 markings/sec, 0 secs
lola: 1953979 markings, 4291770 edges, 174968 markings/sec, 5 secs
lola: 2765603 markings, 6198757 edges, 162325 markings/sec, 10 secs
lola: 3537166 markings, 8023504 edges, 154313 markings/sec, 15 secs
lola: 4276763 markings, 9801284 edges, 147919 markings/sec, 20 secs
lola: 4998108 markings, 11540997 edges, 144269 markings/sec, 25 secs
lola: 5698662 markings, 13258448 edges, 140111 markings/sec, 30 secs
lola: 6388015 markings, 14942098 edges, 137871 markings/sec, 35 secs
lola: 7062734 markings, 16597796 edges, 134944 markings/sec, 40 secs
lola: 7717409 markings, 18206783 edges, 130935 markings/sec, 45 secs
lola: 8334795 markings, 19735818 edges, 123477 markings/sec, 50 secs
lola: 8946358 markings, 21253844 edges, 122313 markings/sec, 55 secs
lola: 9553404 markings, 22763541 edges, 121409 markings/sec, 60 secs
lola: 10162405 markings, 24268366 edges, 121800 markings/sec, 65 secs
lola: 10758618 markings, 25769722 edges, 119243 markings/sec, 70 secs
lola: 11352869 markings, 27269153 edges, 118850 markings/sec, 75 secs
lola: 11946288 markings, 28772733 edges, 118684 markings/sec, 80 secs
lola: 12540880 markings, 30274882 edges, 118918 markings/sec, 85 secs
lola: 13137689 markings, 31786175 edges, 119362 markings/sec, 90 secs
lola: 13727602 markings, 33289525 edges, 117983 markings/sec, 95 secs
lola: 14305931 markings, 34756523 edges, 115666 markings/sec, 100 secs
lola: 14876982 markings, 36203573 edges, 114210 markings/sec, 105 secs
lola: 15438738 markings, 37641029 edges, 112351 markings/sec, 110 secs
lola: 15998381 markings, 39066213 edges, 111929 markings/sec, 115 secs
lola: 16557694 markings, 40486283 edges, 111863 markings/sec, 120 secs
lola: 17109137 markings, 41902103 edges, 110289 markings/sec, 125 secs
lola: 17656497 markings, 43314487 edges, 109472 markings/sec, 130 secs
lola: 18199728 markings, 44717037 edges, 108646 markings/sec, 135 secs
lola: 18739344 markings, 46106407 edges, 107923 markings/sec, 140 secs
lola: 19277474 markings, 47489650 edges, 107626 markings/sec, 145 secs
lola: 19807385 markings, 48862240 edges, 105982 markings/sec, 150 secs
lola: 20333065 markings, 50226695 edges, 105136 markings/sec, 155 secs
lola: 20854044 markings, 51589486 edges, 104196 markings/sec, 160 secs
lola: 21379057 markings, 52943523 edges, 105003 markings/sec, 165 secs
lola: 21903891 markings, 54289131 edges, 104967 markings/sec, 170 secs
lola: 22421217 markings, 55631870 edges, 103465 markings/sec, 175 secs
lola: 22908764 markings, 56909745 edges, 97509 markings/sec, 180 secs
lola: 23355187 markings, 58088075 edges, 89285 markings/sec, 185 secs
lola: 23833925 markings, 59333577 edges, 95748 markings/sec, 190 secs
lola: 24344617 markings, 60674070 edges, 102138 markings/sec, 195 secs
lola: 24872538 markings, 62052813 edges, 105584 markings/sec, 200 secs
lola: 25378632 markings, 63388307 edges, 101219 markings/sec, 205 secs
lola: 25903302 markings, 64743990 edges, 104934 markings/sec, 210 secs
lola: 26423494 markings, 66092773 edges, 104038 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FINACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1128966 markings, 2095734 edges, 225793 markings/sec, 0 secs
lola: 2075857 markings, 3911875 edges, 189378 markings/sec, 5 secs
lola: 2955400 markings, 5619116 edges, 175909 markings/sec, 10 secs
lola: 3805322 markings, 7270319 edges, 169984 markings/sec, 15 secs
lola: 4622774 markings, 8874120 edges, 163490 markings/sec, 20 secs
lola: 5424945 markings, 10450640 edges, 160434 markings/sec, 25 secs
lola: 6207351 markings, 11993958 edges, 156481 markings/sec, 30 secs
lola: 6984361 markings, 13522519 edges, 155402 markings/sec, 35 secs
lola: 7746241 markings, 15027767 edges, 152376 markings/sec, 40 secs
lola: 8495620 markings, 16516744 edges, 149876 markings/sec, 45 secs
lola: 9239043 markings, 17989611 edges, 148685 markings/sec, 50 secs
lola: 9981008 markings, 19461088 edges, 148393 markings/sec, 55 secs
lola: 10716044 markings, 20926810 edges, 147007 markings/sec, 60 secs
lola: 11468401 markings, 22430752 edges, 150471 markings/sec, 65 secs
lola: 12211756 markings, 23911433 edges, 148671 markings/sec, 70 secs
lola: 12951997 markings, 25380787 edges, 148048 markings/sec, 75 secs
lola: 13678239 markings, 26829006 edges, 145248 markings/sec, 80 secs
lola: 14400103 markings, 28274031 edges, 144373 markings/sec, 85 secs
lola: 15129403 markings, 29730938 edges, 145860 markings/sec, 90 secs
lola: 15854706 markings, 31181722 edges, 145061 markings/sec, 95 secs
lola: 16595008 markings, 32663431 edges, 148060 markings/sec, 100 secs
lola: 17355809 markings, 34189251 edges, 152160 markings/sec, 105 secs
lola: 18176724 markings, 35835240 edges, 164183 markings/sec, 110 secs
lola: 18881451 markings, 37251298 edges, 140945 markings/sec, 115 secs
lola: 19648722 markings, 38786154 edges, 153454 markings/sec, 120 secs
lola: 20484384 markings, 40464984 edges, 167132 markings/sec, 125 secs
lola: 21313270 markings, 42132888 edges, 165777 markings/sec, 130 secs
lola: 22135150 markings, 43786626 edges, 164376 markings/sec, 135 secs
lola: 22948049 markings, 45428738 edges, 162580 markings/sec, 140 secs
lola: 23763505 markings, 47066778 edges, 163091 markings/sec, 145 secs
lola: 24468482 markings, 48484074 edges, 140995 markings/sec, 150 secs
lola: 25143279 markings, 49854305 edges, 134959 markings/sec, 155 secs
lola: 25819401 markings, 51211929 edges, 135224 markings/sec, 160 secs
lola: 26498249 markings, 52584195 edges, 135770 markings/sec, 165 secs
lola: 27185792 markings, 53972298 edges, 137509 markings/sec, 170 secs
lola: 27966573 markings, 55547086 edges, 156156 markings/sec, 175 secs
lola: 28737768 markings, 57105669 edges, 154239 markings/sec, 180 secs
lola: 29503472 markings, 58657861 edges, 153141 markings/sec, 185 secs
lola: 30267713 markings, 60203598 edges, 152848 markings/sec, 190 secs
lola: 31030143 markings, 61746043 edges, 152486 markings/sec, 195 secs
lola: 31794912 markings, 63293854 edges, 152954 markings/sec, 200 secs
lola: 32557373 markings, 64839774 edges, 152492 markings/sec, 205 secs
lola: 33317520 markings, 66377892 edges, 152029 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xCLOSING)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1340546 markings, 2232648 edges, 268109 markings/sec, 0 secs
lola: 2527969 markings, 4242971 edges, 237485 markings/sec, 5 secs
lola: 3653918 markings, 6156456 edges, 225190 markings/sec, 10 secs
lola: 4741763 markings, 8013333 edges, 217569 markings/sec, 15 secs
lola: 5811335 markings, 9840199 edges, 213914 markings/sec, 20 secs
lola: 6865365 markings, 11645227 edges, 210806 markings/sec, 25 secs
lola: 7897715 markings, 13416721 edges, 206470 markings/sec, 30 secs
lola: 8926742 markings, 15180280 edges, 205805 markings/sec, 35 secs
lola: 9935456 markings, 16916137 edges, 201743 markings/sec, 40 secs
lola: 10936300 markings, 18635695 edges, 200169 markings/sec, 45 secs
lola: 11925218 markings, 20337108 edges, 197784 markings/sec, 50 secs
lola: 12908674 markings, 22030133 edges, 196691 markings/sec, 55 secs
lola: 13882953 markings, 23710725 edges, 194856 markings/sec, 60 secs
lola: 14857503 markings, 25390249 edges, 194910 markings/sec, 65 secs
lola: 15819349 markings, 27047940 edges, 192369 markings/sec, 70 secs
lola: 16789952 markings, 28718711 edges, 194121 markings/sec, 75 secs
lola: 17742170 markings, 30365369 edges, 190444 markings/sec, 80 secs
lola: 18693141 markings, 32005454 edges, 190194 markings/sec, 85 secs
lola: 19639597 markings, 33638504 edges, 189291 markings/sec, 90 secs
lola: 20576242 markings, 35260213 edges, 187329 markings/sec, 95 secs
lola: 21515916 markings, 36880314 edges, 187935 markings/sec, 100 secs
lola: 22437631 markings, 38469249 edges, 184343 markings/sec, 105 secs
lola: 23353135 markings, 40054309 edges, 183101 markings/sec, 110 secs
lola: 24267079 markings, 41633014 edges, 182789 markings/sec, 115 secs
lola: 25176541 markings, 43203531 edges, 181892 markings/sec, 120 secs
lola: 26082792 markings, 44766158 edges, 181250 markings/sec, 125 secs
lola: 26992573 markings, 46336831 edges, 181956 markings/sec, 130 secs
lola: 27896842 markings, 47899717 edges, 180854 markings/sec, 135 secs
lola: 28796059 markings, 49452444 edges, 179843 markings/sec, 140 secs
lola: 29695454 markings, 51006466 edges, 179879 markings/sec, 145 secs
lola: 30586435 markings, 52551062 edges, 178196 markings/sec, 150 secs
lola: 31478585 markings, 54096391 edges, 178430 markings/sec, 155 secs
lola: 32369098 markings, 55639831 edges, 178103 markings/sec, 160 secs
lola: 33257078 markings, 57177755 edges, 177596 markings/sec, 165 secs
lola: 34138613 markings, 58709043 edges, 176307 markings/sec, 170 secs
lola: 35022466 markings, 60241039 edges, 176771 markings/sec, 175 secs
lola: 35901283 markings, 61771750 edges, 175763 markings/sec, 180 secs
lola: 36782799 markings, 63299383 edges, 176303 markings/sec, 185 secs
lola: 37664065 markings, 64827689 edges, 176253 markings/sec, 190 secs
lola: 38537082 markings, 66344006 edges, 174603 markings/sec, 195 secs
lola: 39404662 markings, 67855026 edges, 173516 markings/sec, 200 secs
lola: 40270089 markings, 69359707 edges, 173085 markings/sec, 205 secs
lola: 41136849 markings, 70868613 edges, 173352 markings/sec, 210 secs
lola: 41997218 markings, 72369553 edges, 172074 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1145415 markings, 2314411 edges, 229083 markings/sec, 0 secs
lola: 2124315 markings, 4347242 edges, 195780 markings/sec, 5 secs
lola: 3039231 markings, 6267822 edges, 182983 markings/sec, 10 secs
lola: 3916962 markings, 8114324 edges, 175546 markings/sec, 15 secs
lola: 4767579 markings, 9912228 edges, 170123 markings/sec, 20 secs
lola: 5592282 markings, 11660174 edges, 164941 markings/sec, 25 secs
lola: 6402293 markings, 13383060 edges, 162002 markings/sec, 30 secs
lola: 7201201 markings, 15082430 edges, 159782 markings/sec, 35 secs
lola: 7984409 markings, 16757518 edges, 156642 markings/sec, 40 secs
lola: 8757306 markings, 18408742 edges, 154579 markings/sec, 45 secs
lola: 9526388 markings, 20050629 edges, 153816 markings/sec, 50 secs
lola: 10285094 markings, 21675949 edges, 151741 markings/sec, 55 secs
lola: 11039108 markings, 23293441 edges, 150803 markings/sec, 60 secs
lola: 11785376 markings, 24896787 edges, 149254 markings/sec, 65 secs
lola: 12527070 markings, 26491185 edges, 148339 markings/sec, 70 secs
lola: 13266080 markings, 28084323 edges, 147802 markings/sec, 75 secs
lola: 14000193 markings, 29666092 edges, 146823 markings/sec, 80 secs
lola: 14727884 markings, 31236409 edges, 145538 markings/sec, 85 secs
lola: 15452022 markings, 32797625 edges, 144828 markings/sec, 90 secs
lola: 16172014 markings, 34352010 edges, 143998 markings/sec, 95 secs
lola: 16889592 markings, 35901537 edges, 143516 markings/sec, 100 secs
lola: 17604655 markings, 37446929 edges, 143013 markings/sec, 105 secs
lola: 18317602 markings, 38990210 edges, 142589 markings/sec, 110 secs
lola: 19028443 markings, 40524256 edges, 142168 markings/sec, 115 secs
lola: 19732903 markings, 42054386 edges, 140892 markings/sec, 120 secs
lola: 20437555 markings, 43580100 edges, 140930 markings/sec, 125 secs
lola: 21136653 markings, 45094091 edges, 139820 markings/sec, 130 secs
lola: 21835220 markings, 46609384 edges, 139713 markings/sec, 135 secs
lola: 22532123 markings, 48123697 edges, 139381 markings/sec, 140 secs
lola: 23190053 markings, 49554592 edges, 131586 markings/sec, 145 secs
lola: 23717936 markings, 50699596 edges, 105577 markings/sec, 150 secs
lola: 24279549 markings, 51920168 edges, 112323 markings/sec, 155 secs
lola: 24842003 markings, 53141111 edges, 112491 markings/sec, 160 secs
lola: 25396370 markings, 54348240 edges, 110873 markings/sec, 165 secs
lola: 25950109 markings, 55555406 edges, 110748 markings/sec, 170 secs
lola: 26505931 markings, 56765217 edges, 111164 markings/sec, 175 secs
lola: 27069569 markings, 57988301 edges, 112728 markings/sec, 180 secs
lola: 27640779 markings, 59232473 edges, 114242 markings/sec, 185 secs
lola: 28205857 markings, 60466113 edges, 113016 markings/sec, 190 secs
lola: 28768500 markings, 61691605 edges, 112529 markings/sec, 195 secs
lola: 29329232 markings, 62912687 edges, 112146 markings/sec, 200 secs
lola: 29885397 markings, 64122947 edges, 111233 markings/sec, 205 secs
lola: 30439511 markings, 65334521 edges, 110823 markings/sec, 210 secs
lola: 30990158 markings, 66537501 edges, 110129 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FIN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 962325 markings, 2125313 edges, 192465 markings/sec, 0 secs
lola: 1762450 markings, 3955623 edges, 160025 markings/sec, 5 secs
lola: 2508643 markings, 5675464 edges, 149239 markings/sec, 10 secs
lola: 3219795 markings, 7324422 edges, 142230 markings/sec, 15 secs
lola: 3898604 markings, 8915861 edges, 135762 markings/sec, 20 secs
lola: 4565029 markings, 10473281 edges, 133285 markings/sec, 25 secs
lola: 5240704 markings, 12061674 edges, 135135 markings/sec, 30 secs
lola: 5906659 markings, 13631065 edges, 133191 markings/sec, 35 secs
lola: 6560163 markings, 15170495 edges, 130701 markings/sec, 40 secs
lola: 7192860 markings, 16660174 edges, 126539 markings/sec, 45 secs
lola: 7807750 markings, 18117169 edges, 122978 markings/sec, 50 secs
lola: 8418730 markings, 19563678 edges, 122196 markings/sec, 55 secs
lola: 9023231 markings, 20998936 edges, 120900 markings/sec, 60 secs
lola: 9625433 markings, 22427899 edges, 120440 markings/sec, 65 secs
lola: 10225716 markings, 23851697 edges, 120057 markings/sec, 70 secs
lola: 10819930 markings, 25265105 edges, 118843 markings/sec, 75 secs
lola: 11441863 markings, 26745733 edges, 124387 markings/sec, 80 secs
lola: 12164673 markings, 28467279 edges, 144562 markings/sec, 85 secs
lola: 12875746 markings, 30168488 edges, 142215 markings/sec, 90 secs
lola: 13583768 markings, 31863853 edges, 141604 markings/sec, 95 secs
lola: 14286351 markings, 33548472 edges, 140517 markings/sec, 100 secs
lola: 14981557 markings, 35211367 edges, 139041 markings/sec, 105 secs
lola: 15669048 markings, 36861906 edges, 137498 markings/sec, 110 secs
lola: 16354950 markings, 38506658 edges, 137180 markings/sec, 115 secs
lola: 17039768 markings, 40146618 edges, 136964 markings/sec, 120 secs
lola: 17716711 markings, 41771937 edges, 135389 markings/sec, 125 secs
lola: 18385481 markings, 43385229 edges, 133754 markings/sec, 130 secs
lola: 19059363 markings, 45001993 edges, 134776 markings/sec, 135 secs
lola: 19730102 markings, 46616210 edges, 134148 markings/sec, 140 secs
lola: 20400650 markings, 48228611 edges, 134110 markings/sec, 145 secs
lola: 21073869 markings, 49848449 edges, 134644 markings/sec, 150 secs
lola: 21740687 markings, 51460415 edges, 133364 markings/sec, 155 secs
lola: 22411701 markings, 53075214 edges, 134203 markings/sec, 160 secs
lola: 23073550 markings, 54675854 edges, 132370 markings/sec, 165 secs
lola: 23739254 markings, 56277136 edges, 133141 markings/sec, 170 secs
lola: 24397703 markings, 57871954 edges, 131690 markings/sec, 175 secs
lola: 25054432 markings, 59464279 edges, 131346 markings/sec, 180 secs
lola: 25710626 markings, 61051407 edges, 131239 markings/sec, 185 secs
lola: 26368598 markings, 62640503 edges, 131594 markings/sec, 190 secs
lola: 27019973 markings, 64219247 edges, 130275 markings/sec, 195 secs
lola: 27673611 markings, 65800965 edges, 130728 markings/sec, 200 secs
lola: 28324189 markings, 67377057 edges, 130116 markings/sec, 205 secs
lola: 28977359 markings, 68956630 edges, 130634 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA TCPcondis-PT-30-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-30-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494939971457
--------------------
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-30"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/TCPcondis-PT-30.tgz
mv TCPcondis-PT-30 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is TCPcondis-PT-30, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r078-ebro-149441008500218"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;