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

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME TCPcondis-PT-50-UpperBounds-0
FORMULA_NAME TCPcondis-PT-50-UpperBounds-1
FORMULA_NAME TCPcondis-PT-50-UpperBounds-10
FORMULA_NAME TCPcondis-PT-50-UpperBounds-11
FORMULA_NAME TCPcondis-PT-50-UpperBounds-12
FORMULA_NAME TCPcondis-PT-50-UpperBounds-13
FORMULA_NAME TCPcondis-PT-50-UpperBounds-14
FORMULA_NAME TCPcondis-PT-50-UpperBounds-15
FORMULA_NAME TCPcondis-PT-50-UpperBounds-2
FORMULA_NAME TCPcondis-PT-50-UpperBounds-3
FORMULA_NAME TCPcondis-PT-50-UpperBounds-4
FORMULA_NAME TCPcondis-PT-50-UpperBounds-5
FORMULA_NAME TCPcondis-PT-50-UpperBounds-6
FORMULA_NAME TCPcondis-PT-50-UpperBounds-7
FORMULA_NAME TCPcondis-PT-50-UpperBounds-8
FORMULA_NAME TCPcondis-PT-50-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494937663965


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TCPcondis-PT-50 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 62/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 30 places, 32 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 48 transition conflict sets
lola: TASK
lola: reading formula from TCPcondis-PT-50-UpperBounds.task
lola: MAX(LASTACK) : MAX(xCLOSEWAIT) : MAX(FINACK) : MAX(xFINWAIT1) : MAX(SYNRCVD) : MAX(FIN) : MAX(xESTAB) : MAX(xFINWAIT2) : MAX(CLOSEWAIT) : MAX(xTIMEWAIT) : MAX(CLOSEWAIT) : MAX(CLOSING) : MAX(xSYNACK) : MAX(xFINACK) : MAX(xCLOSEWAIT) : MAX(CLOSED)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LASTACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1355770 markings, 2237939 edges, 271154 markings/sec, 0 secs
lola: 2393228 markings, 4029807 edges, 207492 markings/sec, 5 secs
lola: 3437953 markings, 5864405 edges, 208945 markings/sec, 10 secs
lola: 4467350 markings, 7685712 edges, 205879 markings/sec, 15 secs
lola: 5456678 markings, 9458424 edges, 197866 markings/sec, 20 secs
lola: 6427720 markings, 11201656 edges, 194208 markings/sec, 25 secs
lola: 7369665 markings, 12912290 edges, 188389 markings/sec, 30 secs
lola: 8300223 markings, 14598980 edges, 186112 markings/sec, 35 secs
lola: 9216998 markings, 16260407 edges, 183355 markings/sec, 40 secs
lola: 10115343 markings, 17904777 edges, 179669 markings/sec, 45 secs
lola: 11002997 markings, 19527839 edges, 177531 markings/sec, 50 secs
lola: 11883718 markings, 21146365 edges, 176144 markings/sec, 55 secs
lola: 12763353 markings, 22759616 edges, 175927 markings/sec, 60 secs
lola: 13640155 markings, 24362166 edges, 175360 markings/sec, 65 secs
lola: 14493863 markings, 25944957 edges, 170742 markings/sec, 70 secs
lola: 15339144 markings, 27508474 edges, 169056 markings/sec, 75 secs
lola: 16171887 markings, 29049813 edges, 166549 markings/sec, 80 secs
lola: 16999989 markings, 30581070 edges, 165620 markings/sec, 85 secs
lola: 17822720 markings, 32104866 edges, 164546 markings/sec, 90 secs
lola: 18650434 markings, 33629733 edges, 165543 markings/sec, 95 secs
lola: 19464300 markings, 35148661 edges, 162773 markings/sec, 100 secs
lola: 20275511 markings, 36659336 edges, 162242 markings/sec, 105 secs
lola: 21083012 markings, 38164551 edges, 161500 markings/sec, 110 secs
lola: 21887862 markings, 39670093 edges, 160970 markings/sec, 115 secs
lola: 22694793 markings, 41174274 edges, 161386 markings/sec, 120 secs
lola: 23489603 markings, 42660518 edges, 158962 markings/sec, 125 secs
lola: 24284858 markings, 44154171 edges, 159051 markings/sec, 130 secs
lola: 25075377 markings, 45638854 edges, 158104 markings/sec, 135 secs
lola: 25859725 markings, 47114949 edges, 156870 markings/sec, 140 secs
lola: 26658353 markings, 48614179 edges, 159726 markings/sec, 145 secs
lola: 27463265 markings, 50122580 edges, 160982 markings/sec, 150 secs
lola: 28256998 markings, 51612898 edges, 158747 markings/sec, 155 secs
lola: 29051479 markings, 53106266 edges, 158896 markings/sec, 160 secs
lola: 29838345 markings, 54593627 edges, 157373 markings/sec, 165 secs
lola: 30625927 markings, 56081083 edges, 157516 markings/sec, 170 secs
lola: 31409928 markings, 57558686 edges, 156800 markings/sec, 175 secs
lola: 32188121 markings, 59031650 edges, 155639 markings/sec, 180 secs
lola: 32972152 markings, 60512960 edges, 156806 markings/sec, 185 secs
lola: 33752513 markings, 61983016 edges, 156072 markings/sec, 190 secs
lola: 34528645 markings, 63448988 edges, 155226 markings/sec, 195 secs
lola: 35299557 markings, 64905991 edges, 154182 markings/sec, 200 secs
lola: 36069176 markings, 66368763 edges, 153924 markings/sec, 205 secs
lola: 36845975 markings, 67825167 edges, 155360 markings/sec, 210 secs
lola: 37619027 markings, 69278626 edges, 154610 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xCLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1093895 markings, 2094900 edges, 218779 markings/sec, 0 secs
lola: 2005758 markings, 3904408 edges, 182373 markings/sec, 5 secs
lola: 2854079 markings, 5604699 edges, 169664 markings/sec, 10 secs
lola: 3688456 markings, 7286039 edges, 166875 markings/sec, 15 secs
lola: 4511672 markings, 8957861 edges, 164643 markings/sec, 20 secs
lola: 5322060 markings, 10609769 edges, 162078 markings/sec, 25 secs
lola: 6115331 markings, 12232230 edges, 158654 markings/sec, 30 secs
lola: 6897053 markings, 13833743 edges, 156344 markings/sec, 35 secs
lola: 7667446 markings, 15414792 edges, 154079 markings/sec, 40 secs
lola: 8417923 markings, 16961432 edges, 150095 markings/sec, 45 secs
lola: 9185307 markings, 18538875 edges, 153477 markings/sec, 50 secs
lola: 9942556 markings, 20097621 edges, 151450 markings/sec, 55 secs
lola: 10691673 markings, 21644128 edges, 149823 markings/sec, 60 secs
lola: 11433421 markings, 23175583 edges, 148350 markings/sec, 65 secs
lola: 12165832 markings, 24695762 edges, 146482 markings/sec, 70 secs
lola: 12889218 markings, 26201604 edges, 144677 markings/sec, 75 secs
lola: 13618341 markings, 27713959 edges, 145825 markings/sec, 80 secs
lola: 14333212 markings, 29202217 edges, 142974 markings/sec, 85 secs
lola: 15040083 markings, 30673453 edges, 141374 markings/sec, 90 secs
lola: 15725637 markings, 32098839 edges, 137111 markings/sec, 95 secs
lola: 16404111 markings, 33517345 edges, 135695 markings/sec, 100 secs
lola: 17082711 markings, 34927188 edges, 135720 markings/sec, 105 secs
lola: 17755582 markings, 36333333 edges, 134574 markings/sec, 110 secs
lola: 18427922 markings, 37736502 edges, 134468 markings/sec, 115 secs
lola: 19097488 markings, 39131638 edges, 133913 markings/sec, 120 secs
lola: 19763875 markings, 40527147 edges, 133277 markings/sec, 125 secs
lola: 20432065 markings, 41925773 edges, 133638 markings/sec, 130 secs
lola: 21098313 markings, 43319653 edges, 133250 markings/sec, 135 secs
lola: 21768065 markings, 44716761 edges, 133950 markings/sec, 140 secs
lola: 22434512 markings, 46110372 edges, 133289 markings/sec, 145 secs
lola: 23095853 markings, 47496767 edges, 132268 markings/sec, 150 secs
lola: 23757620 markings, 48885151 edges, 132353 markings/sec, 155 secs
lola: 24421566 markings, 50273969 edges, 132789 markings/sec, 160 secs
lola: 25079808 markings, 51653001 edges, 131648 markings/sec, 165 secs
lola: 25736490 markings, 53034257 edges, 131336 markings/sec, 170 secs
lola: 26388240 markings, 54403917 edges, 130350 markings/sec, 175 secs
lola: 27045383 markings, 55784243 edges, 131429 markings/sec, 180 secs
lola: 27697366 markings, 57154233 edges, 130397 markings/sec, 185 secs
lola: 28350966 markings, 58528352 edges, 130720 markings/sec, 190 secs
lola: 28994724 markings, 59889279 edges, 128752 markings/sec, 195 secs
lola: 29634587 markings, 61244871 edges, 127973 markings/sec, 200 secs
lola: 30277383 markings, 62598697 edges, 128559 markings/sec, 205 secs
lola: 30922416 markings, 63953580 edges, 129007 markings/sec, 210 secs
lola: 31570598 markings, 65320083 edges, 129636 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: 1184267 markings, 2197626 edges, 236853 markings/sec, 0 secs
lola: 2214826 markings, 4180390 edges, 206112 markings/sec, 5 secs
lola: 3194819 markings, 6083676 edges, 195999 markings/sec, 10 secs
lola: 4137066 markings, 7922166 edges, 188449 markings/sec, 15 secs
lola: 5060868 markings, 9733640 edges, 184760 markings/sec, 20 secs
lola: 5971004 markings, 11524512 edges, 182027 markings/sec, 25 secs
lola: 6866158 markings, 13290227 edges, 179031 markings/sec, 30 secs
lola: 7757119 markings, 15048692 edges, 178192 markings/sec, 35 secs
lola: 8630412 markings, 16783047 edges, 174659 markings/sec, 40 secs
lola: 9494399 markings, 18499286 edges, 172797 markings/sec, 45 secs
lola: 10358314 markings, 20213436 edges, 172783 markings/sec, 50 secs
lola: 11209022 markings, 21908777 edges, 170142 markings/sec, 55 secs
lola: 12052325 markings, 23587798 edges, 168661 markings/sec, 60 secs
lola: 12892571 markings, 25266237 edges, 168049 markings/sec, 65 secs
lola: 13740758 markings, 26948394 edges, 169637 markings/sec, 70 secs
lola: 14572313 markings, 28607730 edges, 166311 markings/sec, 75 secs
lola: 15400505 markings, 30257905 edges, 165638 markings/sec, 80 secs
lola: 16228637 markings, 31911894 edges, 165626 markings/sec, 85 secs
lola: 17051636 markings, 33555347 edges, 164600 markings/sec, 90 secs
lola: 17855405 markings, 35175967 edges, 160754 markings/sec, 95 secs
lola: 18663171 markings, 36800065 edges, 161553 markings/sec, 100 secs
lola: 19470023 markings, 38420020 edges, 161370 markings/sec, 105 secs
lola: 20265142 markings, 40017434 edges, 159024 markings/sec, 110 secs
lola: 21064891 markings, 41616507 edges, 159950 markings/sec, 115 secs
lola: 21848931 markings, 43197829 edges, 156808 markings/sec, 120 secs
lola: 22631255 markings, 44775169 edges, 156465 markings/sec, 125 secs
lola: 23391550 markings, 46305860 edges, 152059 markings/sec, 130 secs
lola: 24177014 markings, 47884923 edges, 157093 markings/sec, 135 secs
lola: 24950484 markings, 49439443 edges, 154694 markings/sec, 140 secs
lola: 25722169 markings, 50995653 edges, 154337 markings/sec, 145 secs
lola: 26491872 markings, 52552578 edges, 153941 markings/sec, 150 secs
lola: 27262400 markings, 54107861 edges, 154106 markings/sec, 155 secs
lola: 28029897 markings, 55659317 edges, 153499 markings/sec, 160 secs
lola: 28802709 markings, 57212998 edges, 154562 markings/sec, 165 secs
lola: 29571070 markings, 58765160 edges, 153672 markings/sec, 170 secs
lola: 30334409 markings, 60308614 edges, 152668 markings/sec, 175 secs
lola: 31090624 markings, 61845553 edges, 151243 markings/sec, 180 secs
lola: 31855106 markings, 63392858 edges, 152896 markings/sec, 185 secs
lola: 32624840 markings, 64945358 edges, 153947 markings/sec, 190 secs
lola: 33407118 markings, 66532713 edges, 156456 markings/sec, 195 secs
lola: 34188967 markings, 68115008 edges, 156370 markings/sec, 200 secs
lola: 34871635 markings, 69503527 edges, 136534 markings/sec, 205 secs
lola: 35487073 markings, 70758332 edges, 123088 markings/sec, 210 secs
lola: 36108250 markings, 72018517 edges, 124235 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xFINWAIT1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1190084 markings, 2359324 edges, 238017 markings/sec, 0 secs
lola: 2244457 markings, 4495005 edges, 210875 markings/sec, 5 secs
lola: 3247473 markings, 6536386 edges, 200603 markings/sec, 10 secs
lola: 4210440 markings, 8513384 edges, 192593 markings/sec, 15 secs
lola: 5152652 markings, 10453137 edges, 188442 markings/sec, 20 secs
lola: 6076030 markings, 12351940 edges, 184676 markings/sec, 25 secs
lola: 6974549 markings, 14212989 edges, 179704 markings/sec, 30 secs
lola: 7859413 markings, 16050452 edges, 176973 markings/sec, 35 secs
lola: 8732346 markings, 17862219 edges, 174587 markings/sec, 40 secs
lola: 9598212 markings, 19660274 edges, 173173 markings/sec, 45 secs
lola: 10449458 markings, 21437558 edges, 170249 markings/sec, 50 secs
lola: 11296486 markings, 23202450 edges, 169406 markings/sec, 55 secs
lola: 12137381 markings, 24954131 edges, 168179 markings/sec, 60 secs
lola: 12971518 markings, 26692151 edges, 166827 markings/sec, 65 secs
lola: 13800236 markings, 28421405 edges, 165744 markings/sec, 70 secs
lola: 14615305 markings, 30129835 edges, 163014 markings/sec, 75 secs
lola: 15427853 markings, 31829191 edges, 162510 markings/sec, 80 secs
lola: 16233933 markings, 33521883 edges, 161216 markings/sec, 85 secs
lola: 17036909 markings, 35202084 edges, 160595 markings/sec, 90 secs
lola: 17833362 markings, 36875504 edges, 159291 markings/sec, 95 secs
lola: 18628963 markings, 38540832 edges, 159120 markings/sec, 100 secs
lola: 19420879 markings, 40202249 edges, 158383 markings/sec, 105 secs
lola: 20211322 markings, 41859609 edges, 158089 markings/sec, 110 secs
lola: 20995834 markings, 43511135 edges, 156902 markings/sec, 115 secs
lola: 21779286 markings, 45156072 edges, 156690 markings/sec, 120 secs
lola: 22559331 markings, 46797526 edges, 156009 markings/sec, 125 secs
lola: 23334587 markings, 48431355 edges, 155051 markings/sec, 130 secs
lola: 24110769 markings, 50064868 edges, 155236 markings/sec, 135 secs
lola: 24883938 markings, 51690179 edges, 154634 markings/sec, 140 secs
lola: 25655345 markings, 53317133 edges, 154281 markings/sec, 145 secs
lola: 26421778 markings, 54935930 edges, 153287 markings/sec, 150 secs
lola: 27189536 markings, 56553688 edges, 153552 markings/sec, 155 secs
lola: 27954821 markings, 58166739 edges, 153057 markings/sec, 160 secs
lola: 28718097 markings, 59780610 edges, 152655 markings/sec, 165 secs
lola: 29479516 markings, 61388712 edges, 152284 markings/sec, 170 secs
lola: 30241056 markings, 62995694 edges, 152308 markings/sec, 175 secs
lola: 31001329 markings, 64601540 edges, 152055 markings/sec, 180 secs
lola: 31756556 markings, 66196511 edges, 151045 markings/sec, 185 secs
lola: 32510223 markings, 67790388 edges, 150733 markings/sec, 190 secs
lola: 33262906 markings, 69382562 edges, 150537 markings/sec, 195 secs
lola: 34008833 markings, 70966410 edges, 149185 markings/sec, 200 secs
lola: 34754361 markings, 72547774 edges, 149106 markings/sec, 205 secs
lola: 35499298 markings, 74127594 edges, 148987 markings/sec, 210 secs
lola: 36244973 markings, 75707041 edges, 149135 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SYNRCVD)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1228283 markings, 2517963 edges, 245657 markings/sec, 0 secs
lola: 2203705 markings, 4773638 edges, 195084 markings/sec, 5 secs
lola: 3121593 markings, 6948394 edges, 183578 markings/sec, 10 secs
lola: 4008600 markings, 9065902 edges, 177401 markings/sec, 15 secs
lola: 4868121 markings, 11154584 edges, 171904 markings/sec, 20 secs
lola: 5690550 markings, 13154185 edges, 164486 markings/sec, 25 secs
lola: 6382984 markings, 14853644 edges, 138487 markings/sec, 30 secs
lola: 7065426 markings, 16548673 edges, 136488 markings/sec, 35 secs
lola: 7790521 markings, 18338498 edges, 145019 markings/sec, 40 secs
lola: 8572547 markings, 20273288 edges, 156405 markings/sec, 45 secs
lola: 9231863 markings, 21912505 edges, 131863 markings/sec, 50 secs
lola: 9916882 markings, 23633332 edges, 137004 markings/sec, 55 secs
lola: 10676252 markings, 25529514 edges, 151874 markings/sec, 60 secs
lola: 11425052 markings, 27412697 edges, 149760 markings/sec, 65 secs
lola: 12165712 markings, 29282693 edges, 148132 markings/sec, 70 secs
lola: 12901109 markings, 31134504 edges, 147079 markings/sec, 75 secs
lola: 13634825 markings, 32984192 edges, 146743 markings/sec, 80 secs
lola: 14361873 markings, 34825215 edges, 145410 markings/sec, 85 secs
lola: 15088150 markings, 36663228 edges, 145255 markings/sec, 90 secs
lola: 15812991 markings, 38493797 edges, 144968 markings/sec, 95 secs
lola: 16529632 markings, 40314414 edges, 143328 markings/sec, 100 secs
lola: 17245549 markings, 42131820 edges, 143183 markings/sec, 105 secs
lola: 17950607 markings, 43936196 edges, 141012 markings/sec, 110 secs
lola: 18661837 markings, 45743656 edges, 142246 markings/sec, 115 secs
lola: 19363921 markings, 47542739 edges, 140417 markings/sec, 120 secs
lola: 20066023 markings, 49339377 edges, 140420 markings/sec, 125 secs
lola: 20763706 markings, 51120346 edges, 139537 markings/sec, 130 secs
lola: 21462647 markings, 52911438 edges, 139788 markings/sec, 135 secs
lola: 22152781 markings, 54688338 edges, 138027 markings/sec, 140 secs
lola: 22840547 markings, 56460863 edges, 137553 markings/sec, 145 secs
lola: 23522545 markings, 58222316 edges, 136400 markings/sec, 150 secs
lola: 24198337 markings, 59976477 edges, 135158 markings/sec, 155 secs
lola: 24875540 markings, 61733151 edges, 135441 markings/sec, 160 secs
lola: 25556667 markings, 63486189 edges, 136225 markings/sec, 165 secs
lola: 26232099 markings, 65234763 edges, 135086 markings/sec, 170 secs
lola: 26913147 markings, 66992634 edges, 136210 markings/sec, 175 secs
lola: 27582693 markings, 68738983 edges, 133909 markings/sec, 180 secs
lola: 28263922 markings, 70488052 edges, 136246 markings/sec, 185 secs
lola: 28931315 markings, 72231480 edges, 133479 markings/sec, 190 secs
lola: 29605939 markings, 73976248 edges, 134925 markings/sec, 195 secs
lola: 30288171 markings, 75731326 edges, 136446 markings/sec, 200 secs
lola: 30960441 markings, 77479724 edges, 134454 markings/sec, 205 secs
lola: 31624485 markings, 79217684 edges, 132809 markings/sec, 210 secs
lola: 32294886 markings, 80962947 edges, 134080 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FIN)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1071423 markings, 2374209 edges, 214285 markings/sec, 0 secs
lola: 2009730 markings, 4524546 edges, 187661 markings/sec, 5 secs
lola: 2898185 markings, 6578246 edges, 177691 markings/sec, 10 secs
lola: 3742332 markings, 8550497 edges, 168829 markings/sec, 15 secs
lola: 4575044 markings, 10497024 edges, 166542 markings/sec, 20 secs
lola: 5386544 markings, 12404636 edges, 162300 markings/sec, 25 secs
lola: 6183748 markings, 14283850 edges, 159441 markings/sec, 30 secs
lola: 6955669 markings, 16099712 edges, 154384 markings/sec, 35 secs
lola: 7587900 markings, 17595372 edges, 126446 markings/sec, 40 secs
lola: 8249905 markings, 19162673 edges, 132401 markings/sec, 45 secs
lola: 9000238 markings, 20943977 edges, 150067 markings/sec, 50 secs
lola: 9744967 markings, 22711273 edges, 148946 markings/sec, 55 secs
lola: 10481431 markings, 24462393 edges, 147293 markings/sec, 60 secs
lola: 11214724 markings, 26205173 edges, 146659 markings/sec, 65 secs
lola: 11929348 markings, 27905215 edges, 142925 markings/sec, 70 secs
lola: 12640193 markings, 29604797 edges, 142169 markings/sec, 75 secs
lola: 13351581 markings, 31306506 edges, 142278 markings/sec, 80 secs
lola: 14060361 markings, 33005717 edges, 141756 markings/sec, 85 secs
lola: 14764334 markings, 34691719 edges, 140795 markings/sec, 90 secs
lola: 15466551 markings, 36375246 edges, 140443 markings/sec, 95 secs
lola: 16163012 markings, 38045187 edges, 139292 markings/sec, 100 secs
lola: 16861218 markings, 39717741 edges, 139641 markings/sec, 105 secs
lola: 17548937 markings, 41370951 edges, 137544 markings/sec, 110 secs
lola: 18234799 markings, 43020969 edges, 137172 markings/sec, 115 secs
lola: 18923426 markings, 44673528 edges, 137725 markings/sec, 120 secs
lola: 19605189 markings, 46315054 edges, 136353 markings/sec, 125 secs
lola: 20285898 markings, 47952989 edges, 136142 markings/sec, 130 secs
lola: 20966643 markings, 49587435 edges, 136149 markings/sec, 135 secs
lola: 21639798 markings, 51215610 edges, 134631 markings/sec, 140 secs
lola: 22313426 markings, 52838686 edges, 134726 markings/sec, 145 secs
lola: 22980331 markings, 54452120 edges, 133381 markings/sec, 150 secs
lola: 23647002 markings, 56055389 edges, 133334 markings/sec, 155 secs
lola: 24304192 markings, 57645020 edges, 131438 markings/sec, 160 secs
lola: 24966161 markings, 59250649 edges, 132394 markings/sec, 165 secs
lola: 25629456 markings, 60854779 edges, 132659 markings/sec, 170 secs
lola: 26293791 markings, 62459608 edges, 132867 markings/sec, 175 secs
lola: 26950330 markings, 64051811 edges, 131308 markings/sec, 180 secs
lola: 27610755 markings, 65647287 edges, 132085 markings/sec, 185 secs
lola: 28265730 markings, 67234606 edges, 130995 markings/sec, 190 secs
lola: 28920396 markings, 68819714 edges, 130933 markings/sec, 195 secs
lola: 29575084 markings, 70409306 edges, 130938 markings/sec, 200 secs
lola: 30227185 markings, 71990250 edges, 130420 markings/sec, 205 secs
lola: 30880302 markings, 73571071 edges, 130623 markings/sec, 210 secs
lola: 31527188 markings, 75143853 edges, 129377 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xESTAB)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 965274 markings, 2627117 edges, 193055 markings/sec, 0 secs
lola: 1763392 markings, 5018966 edges, 159624 markings/sec, 5 secs
lola: 2502905 markings, 7302849 edges, 147903 markings/sec, 10 secs
lola: 3216028 markings, 9541861 edges, 142625 markings/sec, 15 secs
lola: 3903828 markings, 11735898 edges, 137560 markings/sec, 20 secs
lola: 4573456 markings, 13887581 edges, 133926 markings/sec, 25 secs
lola: 5227253 markings, 16009643 edges, 130759 markings/sec, 30 secs
lola: 5869157 markings, 18100851 edges, 128381 markings/sec, 35 secs
lola: 6498565 markings, 20165159 edges, 125882 markings/sec, 40 secs
lola: 7118602 markings, 22211648 edges, 124007 markings/sec, 45 secs
lola: 7730814 markings, 24237024 edges, 122442 markings/sec, 50 secs
lola: 8342120 markings, 26258522 edges, 122261 markings/sec, 55 secs
lola: 8935306 markings, 28241978 edges, 118637 markings/sec, 60 secs
lola: 9522297 markings, 30215835 edges, 117398 markings/sec, 65 secs
lola: 10109456 markings, 32185162 edges, 117432 markings/sec, 70 secs
lola: 10685266 markings, 34133144 edges, 115162 markings/sec, 75 secs
lola: 11268178 markings, 36087488 edges, 116582 markings/sec, 80 secs
lola: 11838464 markings, 38022125 edges, 114057 markings/sec, 85 secs
lola: 12405948 markings, 39942298 edges, 113497 markings/sec, 90 secs
lola: 12968668 markings, 41851364 edges, 112544 markings/sec, 95 secs
lola: 13526860 markings, 43747979 edges, 111638 markings/sec, 100 secs
lola: 14076414 markings, 45622135 edges, 109911 markings/sec, 105 secs
lola: 14625035 markings, 47496107 edges, 109724 markings/sec, 110 secs
lola: 15174388 markings, 49374008 edges, 109871 markings/sec, 115 secs
lola: 15716474 markings, 51236464 edges, 108417 markings/sec, 120 secs
lola: 16252448 markings, 53084813 edges, 107195 markings/sec, 125 secs
lola: 16791692 markings, 54932995 edges, 107849 markings/sec, 130 secs
lola: 17324193 markings, 56771130 edges, 106500 markings/sec, 135 secs
lola: 17860552 markings, 58611272 edges, 107272 markings/sec, 140 secs
lola: 18386934 markings, 60431234 edges, 105276 markings/sec, 145 secs
lola: 18910674 markings, 62246231 edges, 104748 markings/sec, 150 secs
lola: 19430095 markings, 64047803 edges, 103884 markings/sec, 155 secs
lola: 19954567 markings, 65859331 edges, 104894 markings/sec, 160 secs
lola: 20473245 markings, 67662950 edges, 103736 markings/sec, 165 secs
lola: 20992308 markings, 69464314 edges, 103813 markings/sec, 170 secs
lola: 21511461 markings, 71260158 edges, 103831 markings/sec, 175 secs
lola: 22029053 markings, 73056845 edges, 103518 markings/sec, 180 secs
lola: 22541546 markings, 74840467 edges, 102499 markings/sec, 185 secs
lola: 23056695 markings, 76635064 edges, 103030 markings/sec, 190 secs
lola: 23564988 markings, 78416277 edges, 101659 markings/sec, 195 secs
lola: 24079244 markings, 80208776 edges, 102851 markings/sec, 200 secs
lola: 24587591 markings, 81979390 edges, 101669 markings/sec, 205 secs
lola: 25097009 markings, 83756829 edges, 101884 markings/sec, 210 secs
lola: 25606856 markings, 85535572 edges, 101969 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xFINWAIT2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1272363 markings, 2266462 edges, 254473 markings/sec, 0 secs
lola: 2364075 markings, 4259508 edges, 218342 markings/sec, 5 secs
lola: 3395336 markings, 6151858 edges, 206252 markings/sec, 10 secs
lola: 4376529 markings, 7964870 edges, 196239 markings/sec, 15 secs
lola: 5322491 markings, 9722494 edges, 189192 markings/sec, 20 secs
lola: 6240464 markings, 11436468 edges, 183595 markings/sec, 25 secs
lola: 7143395 markings, 13124618 edges, 180586 markings/sec, 30 secs
lola: 8028489 markings, 14786866 edges, 177019 markings/sec, 35 secs
lola: 8917358 markings, 16445117 edges, 177774 markings/sec, 40 secs
lola: 9778119 markings, 18068109 edges, 172152 markings/sec, 45 secs
lola: 10632657 markings, 19676145 edges, 170908 markings/sec, 50 secs
lola: 11466293 markings, 21255076 edges, 166727 markings/sec, 55 secs
lola: 12307902 markings, 22838098 edges, 168322 markings/sec, 60 secs
lola: 13136593 markings, 24400760 edges, 165738 markings/sec, 65 secs
lola: 13941463 markings, 25940417 edges, 160974 markings/sec, 70 secs
lola: 14756174 markings, 27487296 edges, 162942 markings/sec, 75 secs
lola: 15567204 markings, 29024115 edges, 162206 markings/sec, 80 secs
lola: 16368744 markings, 30547330 edges, 160308 markings/sec, 85 secs
lola: 17184622 markings, 32079263 edges, 163176 markings/sec, 90 secs
lola: 17977243 markings, 33587509 edges, 158524 markings/sec, 95 secs
lola: 18765677 markings, 35090684 edges, 157687 markings/sec, 100 secs
lola: 19542392 markings, 36576924 edges, 155343 markings/sec, 105 secs
lola: 20307614 markings, 38048163 edges, 153044 markings/sec, 110 secs
lola: 21082240 markings, 39526788 edges, 154925 markings/sec, 115 secs
lola: 21851067 markings, 40996053 edges, 153765 markings/sec, 120 secs
lola: 22615814 markings, 42461400 edges, 152949 markings/sec, 125 secs
lola: 23372796 markings, 43918545 edges, 151396 markings/sec, 130 secs
lola: 24124673 markings, 45366529 edges, 150375 markings/sec, 135 secs
lola: 24875228 markings, 46812097 edges, 150111 markings/sec, 140 secs
lola: 25632578 markings, 48258448 edges, 151470 markings/sec, 145 secs
lola: 26381351 markings, 49697477 edges, 149755 markings/sec, 150 secs
lola: 27119830 markings, 51124911 edges, 147696 markings/sec, 155 secs
lola: 27871546 markings, 52559782 edges, 150343 markings/sec, 160 secs
lola: 28606963 markings, 53980432 edges, 147083 markings/sec, 165 secs
lola: 29347610 markings, 55406737 edges, 148129 markings/sec, 170 secs
lola: 30074775 markings, 56816311 edges, 145433 markings/sec, 175 secs
lola: 30810713 markings, 58233747 edges, 147188 markings/sec, 180 secs
lola: 31545439 markings, 59647482 edges, 146945 markings/sec, 185 secs
lola: 32278771 markings, 61060992 edges, 146666 markings/sec, 190 secs
lola: 33009057 markings, 62469939 edges, 146057 markings/sec, 195 secs
lola: 33729505 markings, 63867706 edges, 144090 markings/sec, 200 secs
lola: 34455663 markings, 65269563 edges, 145232 markings/sec, 205 secs
lola: 35167877 markings, 66654949 edges, 142443 markings/sec, 210 secs
lola: 35881022 markings, 68040281 edges, 142629 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1159807 markings, 2304950 edges, 231961 markings/sec, 0 secs
lola: 2136025 markings, 4362443 edges, 195244 markings/sec, 5 secs
lola: 3035848 markings, 6295446 edges, 179965 markings/sec, 10 secs
lola: 3897222 markings, 8165452 edges, 172275 markings/sec, 15 secs
lola: 4740120 markings, 10013397 edges, 168580 markings/sec, 20 secs
lola: 5566863 markings, 11832949 edges, 165349 markings/sec, 25 secs
lola: 6372192 markings, 13613741 edges, 161066 markings/sec, 30 secs
lola: 7149191 markings, 15340445 edges, 155400 markings/sec, 35 secs
lola: 7911229 markings, 17043293 edges, 152408 markings/sec, 40 secs
lola: 8662828 markings, 18727821 edges, 150320 markings/sec, 45 secs
lola: 9403566 markings, 20399671 edges, 148148 markings/sec, 50 secs
lola: 10136838 markings, 22051045 edges, 146654 markings/sec, 55 secs
lola: 10859110 markings, 23685088 edges, 144454 markings/sec, 60 secs
lola: 11575959 markings, 25306392 edges, 143370 markings/sec, 65 secs
lola: 12284286 markings, 26918249 edges, 141665 markings/sec, 70 secs
lola: 12986954 markings, 28519593 edges, 140534 markings/sec, 75 secs
lola: 13682316 markings, 30109560 edges, 139072 markings/sec, 80 secs
lola: 14371472 markings, 31688133 edges, 137831 markings/sec, 85 secs
lola: 15063715 markings, 33273628 edges, 138449 markings/sec, 90 secs
lola: 15762631 markings, 34879537 edges, 139783 markings/sec, 95 secs
lola: 16457402 markings, 36479953 edges, 138954 markings/sec, 100 secs
lola: 17150239 markings, 38069189 edges, 138567 markings/sec, 105 secs
lola: 17837291 markings, 39650034 edges, 137410 markings/sec, 110 secs
lola: 18517903 markings, 41220749 edges, 136122 markings/sec, 115 secs
lola: 19188033 markings, 42767425 edges, 134026 markings/sec, 120 secs
lola: 19853373 markings, 44305289 edges, 133068 markings/sec, 125 secs
lola: 20512739 markings, 45833032 edges, 131873 markings/sec, 130 secs
lola: 21166852 markings, 47355012 edges, 130823 markings/sec, 135 secs
lola: 21817731 markings, 48872714 edges, 130176 markings/sec, 140 secs
lola: 22466786 markings, 50383156 edges, 129811 markings/sec, 145 secs
lola: 23110659 markings, 51877243 edges, 128775 markings/sec, 150 secs
lola: 23752757 markings, 53370707 edges, 128420 markings/sec, 155 secs
lola: 24394051 markings, 54867194 edges, 128259 markings/sec, 160 secs
lola: 25031235 markings, 56354717 edges, 127437 markings/sec, 165 secs
lola: 25669013 markings, 57841860 edges, 127556 markings/sec, 170 secs
lola: 26300391 markings, 59323158 edges, 126276 markings/sec, 175 secs
lola: 26931540 markings, 60805882 edges, 126230 markings/sec, 180 secs
lola: 27567766 markings, 62293017 edges, 127245 markings/sec, 185 secs
lola: 28202421 markings, 63770964 edges, 126931 markings/sec, 190 secs
lola: 28830632 markings, 65239794 edges, 125642 markings/sec, 195 secs
lola: 29454338 markings, 66704887 edges, 124741 markings/sec, 200 secs
lola: 30074563 markings, 68164554 edges, 124045 markings/sec, 205 secs
lola: 30693502 markings, 69621171 edges, 123788 markings/sec, 210 secs
lola: 31308754 markings, 71073923 edges, 123050 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(xTIMEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1213548 markings, 2259403 edges, 242710 markings/sec, 0 secs
lola: 2141515 markings, 4266542 edges, 185593 markings/sec, 5 secs
lola: 2977890 markings, 6177271 edges, 167275 markings/sec, 10 secs
lola: 3787000 markings, 8044523 edges, 161822 markings/sec, 15 secs
lola: 4573018 markings, 9882379 edges, 157204 markings/sec, 20 secs
lola: 5334789 markings, 11695517 edges, 152354 markings/sec, 25 secs
lola: 6084856 markings, 13484672 edges, 150013 markings/sec, 30 secs
lola: 6832356 markings, 15270081 edges, 149500 markings/sec, 35 secs
lola: 7576703 markings, 17038484 edges, 148869 markings/sec, 40 secs
lola: 8296144 markings, 18784865 edges, 143888 markings/sec, 45 secs
lola: 9024014 markings, 20526927 edges, 145574 markings/sec, 50 secs
lola: 9740064 markings, 22259322 edges, 143210 markings/sec, 55 secs
lola: 10463115 markings, 23992854 edges, 144610 markings/sec, 60 secs
lola: 11187902 markings, 25747129 edges, 144957 markings/sec, 65 secs
lola: 11895004 markings, 27463077 edges, 141420 markings/sec, 70 secs
lola: 12599360 markings, 29170626 edges, 140871 markings/sec, 75 secs
lola: 13304990 markings, 30894084 edges, 141126 markings/sec, 80 secs
lola: 14008664 markings, 32606003 edges, 140735 markings/sec, 85 secs
lola: 14699950 markings, 34292738 edges, 138257 markings/sec, 90 secs
lola: 15385097 markings, 35970081 edges, 137029 markings/sec, 95 secs
lola: 16074658 markings, 37660625 edges, 137912 markings/sec, 100 secs
lola: 16760393 markings, 39355790 edges, 137147 markings/sec, 105 secs
lola: 17438533 markings, 41037098 edges, 135628 markings/sec, 110 secs
lola: 18116167 markings, 42719643 edges, 135527 markings/sec, 115 secs
lola: 18782290 markings, 44402104 edges, 133225 markings/sec, 120 secs
lola: 19439423 markings, 46077910 edges, 131427 markings/sec, 125 secs
lola: 20092014 markings, 47758238 edges, 130518 markings/sec, 130 secs
lola: 20733219 markings, 49415001 edges, 128241 markings/sec, 135 secs
lola: 21367438 markings, 51063588 edges, 126844 markings/sec, 140 secs
lola: 21991761 markings, 52691486 edges, 124865 markings/sec, 145 secs
lola: 22608330 markings, 54309506 edges, 123314 markings/sec, 150 secs
lola: 23217392 markings, 55926556 edges, 121812 markings/sec, 155 secs
lola: 23824786 markings, 57531635 edges, 121479 markings/sec, 160 secs
lola: 24419191 markings, 59132536 edges, 118881 markings/sec, 165 secs
lola: 25010936 markings, 60724856 edges, 118349 markings/sec, 170 secs
lola: 25601958 markings, 62319399 edges, 118204 markings/sec, 175 secs
lola: 26189044 markings, 63933225 edges, 117417 markings/sec, 180 secs
lola: 26765994 markings, 65522804 edges, 115390 markings/sec, 185 secs
lola: 27342039 markings, 67106259 edges, 115209 markings/sec, 190 secs
lola: 27910972 markings, 68683118 edges, 113787 markings/sec, 195 secs
lola: 28477968 markings, 70261935 edges, 113399 markings/sec, 200 secs
lola: 29039348 markings, 71834846 edges, 112276 markings/sec, 205 secs
lola: 29596934 markings, 73405731 edges, 111517 markings/sec, 210 secs
lola: 30151534 markings, 74969906 edges, 110920 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1156530 markings, 2298311 edges, 231306 markings/sec, 0 secs
lola: 2139024 markings, 4368833 edges, 196499 markings/sec, 5 secs
lola: 3057321 markings, 6341306 edges, 183659 markings/sec, 10 secs
lola: 3922222 markings, 8220024 edges, 172980 markings/sec, 15 secs
lola: 4757226 markings, 10051697 edges, 167001 markings/sec, 20 secs
lola: 5574789 markings, 11850204 edges, 163513 markings/sec, 25 secs
lola: 6375283 markings, 13620464 edges, 160099 markings/sec, 30 secs
lola: 7159326 markings, 15362622 edges, 156809 markings/sec, 35 secs
lola: 7941187 markings, 17111216 edges, 156372 markings/sec, 40 secs
lola: 8724630 markings, 18866279 edges, 156689 markings/sec, 45 secs
lola: 9494003 markings, 20604598 edges, 153875 markings/sec, 50 secs
lola: 10254171 markings, 22316214 edges, 152034 markings/sec, 55 secs
lola: 10976270 markings, 23951211 edges, 144420 markings/sec, 60 secs
lola: 11677449 markings, 25535697 edges, 140236 markings/sec, 65 secs
lola: 12367221 markings, 27104923 edges, 137954 markings/sec, 70 secs
lola: 13048676 markings, 28661687 edges, 136291 markings/sec, 75 secs
lola: 13721630 markings, 30200688 edges, 134591 markings/sec, 80 secs
lola: 14388629 markings, 31728444 edges, 133400 markings/sec, 85 secs
lola: 15053416 markings, 33250428 edges, 132957 markings/sec, 90 secs
lola: 15757699 markings, 34867918 edges, 140857 markings/sec, 95 secs
lola: 16445602 markings, 36451765 edges, 137581 markings/sec, 100 secs
lola: 17136611 markings, 38038173 edges, 138202 markings/sec, 105 secs
lola: 17821986 markings, 39614351 edges, 137075 markings/sec, 110 secs
lola: 18506649 markings, 41194232 edges, 136933 markings/sec, 115 secs
lola: 19187589 markings, 42766471 edges, 136188 markings/sec, 120 secs
lola: 19865015 markings, 44332586 edges, 135485 markings/sec, 125 secs
lola: 20516795 markings, 45842116 edges, 130356 markings/sec, 130 secs
lola: 21161438 markings, 47342707 edges, 128929 markings/sec, 135 secs
lola: 21805780 markings, 48844871 edges, 128868 markings/sec, 140 secs
lola: 22452017 markings, 50348020 edges, 129247 markings/sec, 145 secs
lola: 23106239 markings, 51866828 edges, 130844 markings/sec, 150 secs
lola: 23757142 markings, 53380818 edges, 130181 markings/sec, 155 secs
lola: 24400749 markings, 54883135 edges, 128721 markings/sec, 160 secs
lola: 25040346 markings, 56375753 edges, 127919 markings/sec, 165 secs
lola: 25680272 markings, 57868422 edges, 127985 markings/sec, 170 secs
lola: 26322213 markings, 59374591 edges, 128388 markings/sec, 175 secs
lola: 26953672 markings, 60857969 edges, 126292 markings/sec, 180 secs
lola: 27591310 markings, 62348831 edges, 127528 markings/sec, 185 secs
lola: 28231052 markings, 63838437 edges, 127948 markings/sec, 190 secs
lola: 28866477 markings, 65323572 edges, 127085 markings/sec, 195 secs
lola: 29499241 markings, 66810057 edges, 126553 markings/sec, 200 secs
lola: 30132512 markings, 68300909 edges, 126654 markings/sec, 205 secs
lola: 30769610 markings, 69801126 edges, 127420 markings/sec, 210 secs
lola: 31403578 markings, 71296603 edges, 126794 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CLOSING)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1385211 markings, 2353804 edges, 277042 markings/sec, 0 secs
lola: 2629484 markings, 4493825 edges, 248855 markings/sec, 5 secs
lola: 3811622 markings, 6532461 edges, 236428 markings/sec, 10 secs
lola: 4940798 markings, 8478440 edges, 225835 markings/sec, 15 secs
lola: 6050192 markings, 10397029 edges, 221879 markings/sec, 20 secs
lola: 7144455 markings, 12286583 edges, 218853 markings/sec, 25 secs
lola: 8217815 markings, 14148909 edges, 214672 markings/sec, 30 secs
lola: 9283849 markings, 15997305 edges, 213207 markings/sec, 35 secs
lola: 10339244 markings, 17826396 edges, 211079 markings/sec, 40 secs
lola: 11373005 markings, 19620190 edges, 206752 markings/sec, 45 secs
lola: 12400557 markings, 21398703 edges, 205510 markings/sec, 50 secs
lola: 13406148 markings, 23145910 edges, 201118 markings/sec, 55 secs
lola: 14410979 markings, 24888816 edges, 200966 markings/sec, 60 secs
lola: 15415103 markings, 26628288 edges, 200825 markings/sec, 65 secs
lola: 16399032 markings, 28338554 edges, 196786 markings/sec, 70 secs
lola: 17384070 markings, 30049690 edges, 197008 markings/sec, 75 secs
lola: 18364435 markings, 31753646 edges, 196073 markings/sec, 80 secs
lola: 19341976 markings, 33452480 edges, 195508 markings/sec, 85 secs
lola: 20317038 markings, 35145906 edges, 195012 markings/sec, 90 secs
lola: 21286482 markings, 36826694 edges, 193889 markings/sec, 95 secs
lola: 22253662 markings, 38510380 edges, 193436 markings/sec, 100 secs
lola: 23218655 markings, 40189941 edges, 192999 markings/sec, 105 secs
lola: 24199656 markings, 41898335 edges, 196200 markings/sec, 110 secs
lola: 25195402 markings, 43628184 edges, 199149 markings/sec, 115 secs
lola: 26188279 markings, 45352669 edges, 198575 markings/sec, 120 secs
lola: 27165608 markings, 47053120 edges, 195466 markings/sec, 125 secs
lola: 28139969 markings, 48749487 edges, 194872 markings/sec, 130 secs
lola: 29117343 markings, 50448375 edges, 195475 markings/sec, 135 secs
lola: 30095986 markings, 52150245 edges, 195729 markings/sec, 140 secs
lola: 31071044 markings, 53846365 edges, 195012 markings/sec, 145 secs
lola: 32044887 markings, 55538487 edges, 194769 markings/sec, 150 secs
lola: 33013657 markings, 57224314 edges, 193754 markings/sec, 155 secs
lola: 33973899 markings, 58897965 edges, 192048 markings/sec, 160 secs
lola: 34923438 markings, 60550458 edges, 189908 markings/sec, 165 secs
lola: 35865084 markings, 62186826 edges, 188329 markings/sec, 170 secs
lola: 36807831 markings, 63821177 edges, 188549 markings/sec, 175 secs
lola: 37740079 markings, 65436760 edges, 186450 markings/sec, 180 secs
lola: 38661955 markings, 67039154 edges, 184375 markings/sec, 185 secs
lola: 39582537 markings, 68642174 edges, 184116 markings/sec, 190 secs
lola: 40500388 markings, 70236861 edges, 183570 markings/sec, 195 secs
lola: 41415364 markings, 71832239 edges, 182995 markings/sec, 200 secs
lola: 42335418 markings, 73431327 edges, 184011 markings/sec, 205 secs
lola: 43261086 markings, 75041173 edges, 185134 markings/sec, 210 secs
lola: 44184366 markings, 76649183 edges, 184656 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(xSYNACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1051746 markings, 2576239 edges, 210349 markings/sec, 0 secs
lola: 1939263 markings, 4900929 edges, 177503 markings/sec, 5 secs
lola: 2778149 markings, 7137883 edges, 167777 markings/sec, 10 secs
lola: 3587294 markings, 9306494 edges, 161829 markings/sec, 15 secs
lola: 4352582 markings, 11369260 edges, 153058 markings/sec, 20 secs
lola: 5092385 markings, 13368951 edges, 147961 markings/sec, 25 secs
lola: 5844553 markings, 15419395 edges, 150434 markings/sec, 30 secs
lola: 6589173 markings, 17445151 edges, 148924 markings/sec, 35 secs
lola: 7320347 markings, 19449783 edges, 146235 markings/sec, 40 secs
lola: 8046469 markings, 21441573 edges, 145224 markings/sec, 45 secs
lola: 8759887 markings, 23400372 edges, 142684 markings/sec, 50 secs
lola: 9464271 markings, 25343418 edges, 140877 markings/sec, 55 secs
lola: 10183243 markings, 27314039 edges, 143794 markings/sec, 60 secs
lola: 10894005 markings, 29266980 edges, 142152 markings/sec, 65 secs
lola: 11592194 markings, 31190428 edges, 139638 markings/sec, 70 secs
lola: 12279474 markings, 33088579 edges, 137456 markings/sec, 75 secs
lola: 12967259 markings, 34993947 edges, 137557 markings/sec, 80 secs
lola: 13654345 markings, 36895087 edges, 137417 markings/sec, 85 secs
lola: 14341018 markings, 38801235 edges, 137335 markings/sec, 90 secs
lola: 15028717 markings, 40704260 edges, 137540 markings/sec, 95 secs
lola: 15702117 markings, 42584294 edges, 134680 markings/sec, 100 secs
lola: 16383854 markings, 44470115 edges, 136347 markings/sec, 105 secs
lola: 17061524 markings, 46351766 edges, 135534 markings/sec, 110 secs
lola: 17737387 markings, 48225738 edges, 135173 markings/sec, 115 secs
lola: 18400815 markings, 50076595 edges, 132686 markings/sec, 120 secs
lola: 19078755 markings, 51967819 edges, 135588 markings/sec, 125 secs
lola: 19750338 markings, 53850709 edges, 134317 markings/sec, 130 secs
lola: 20429866 markings, 55742123 edges, 135906 markings/sec, 135 secs
lola: 21105284 markings, 57627194 edges, 135084 markings/sec, 140 secs
lola: 21773576 markings, 59503772 edges, 133658 markings/sec, 145 secs
lola: 22445484 markings, 61381100 edges, 134382 markings/sec, 150 secs
lola: 23123453 markings, 63268368 edges, 135594 markings/sec, 155 secs
lola: 23802451 markings, 65157256 edges, 135800 markings/sec, 160 secs
lola: 24482486 markings, 67055285 edges, 136007 markings/sec, 165 secs
lola: 25140723 markings, 68923500 edges, 131647 markings/sec, 170 secs
lola: 25805786 markings, 70788508 edges, 133013 markings/sec, 175 secs
lola: 26456771 markings, 72629808 edges, 130197 markings/sec, 180 secs
lola: 27114151 markings, 74475577 edges, 131476 markings/sec, 185 secs
lola: 27760293 markings, 76295998 edges, 129228 markings/sec, 190 secs
lola: 28418509 markings, 78150997 edges, 131643 markings/sec, 195 secs
lola: 29079281 markings, 80002183 edges, 132154 markings/sec, 200 secs
lola: 29733123 markings, 81844868 edges, 130768 markings/sec, 205 secs
lola: 30390112 markings, 83686690 edges, 131398 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(xFINACK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1165367 markings, 2247704 edges, 233073 markings/sec, 0 secs
lola: 2179581 markings, 4284081 edges, 202843 markings/sec, 5 secs
lola: 3138686 markings, 6232475 edges, 191821 markings/sec, 10 secs
lola: 4050650 markings, 8100962 edges, 182393 markings/sec, 15 secs
lola: 4925027 markings, 9902536 edges, 174875 markings/sec, 20 secs
lola: 5782015 markings, 11673674 edges, 171398 markings/sec, 25 secs
lola: 6625291 markings, 13414288 edges, 168655 markings/sec, 30 secs
lola: 7445185 markings, 15121579 edges, 163979 markings/sec, 35 secs
lola: 8251254 markings, 16801329 edges, 161214 markings/sec, 40 secs
lola: 9066165 markings, 18506635 edges, 162982 markings/sec, 45 secs
lola: 9869826 markings, 20196651 edges, 160732 markings/sec, 50 secs
lola: 10671480 markings, 21875291 edges, 160331 markings/sec, 55 secs
lola: 11458853 markings, 23530478 edges, 157475 markings/sec, 60 secs
lola: 12228034 markings, 25161565 edges, 153836 markings/sec, 65 secs
lola: 13006495 markings, 26804180 edges, 155692 markings/sec, 70 secs
lola: 13784487 markings, 28438831 edges, 155598 markings/sec, 75 secs
lola: 14551623 markings, 30063784 edges, 153427 markings/sec, 80 secs
lola: 15313768 markings, 31678007 edges, 152429 markings/sec, 85 secs
lola: 16063428 markings, 33271505 edges, 149932 markings/sec, 90 secs
lola: 16807970 markings, 34854212 edges, 148908 markings/sec, 95 secs
lola: 17556200 markings, 36434501 edges, 149646 markings/sec, 100 secs
lola: 18285023 markings, 37981632 edges, 145765 markings/sec, 105 secs
lola: 19006175 markings, 39518047 edges, 144230 markings/sec, 110 secs
lola: 19744177 markings, 41084974 edges, 147600 markings/sec, 115 secs
lola: 20482555 markings, 42653010 edges, 147676 markings/sec, 120 secs
lola: 21215448 markings, 44212059 edges, 146579 markings/sec, 125 secs
lola: 21936798 markings, 45755709 edges, 144270 markings/sec, 130 secs
lola: 22665219 markings, 47303209 edges, 145684 markings/sec, 135 secs
lola: 23381979 markings, 48836065 edges, 143352 markings/sec, 140 secs
lola: 24106077 markings, 50377654 edges, 144820 markings/sec, 145 secs
lola: 24825383 markings, 51907104 edges, 143861 markings/sec, 150 secs
lola: 25535095 markings, 53431044 edges, 141942 markings/sec, 155 secs
lola: 26240083 markings, 54941900 edges, 140998 markings/sec, 160 secs
lola: 26945946 markings, 56451896 edges, 141173 markings/sec, 165 secs
lola: 27639350 markings, 57942462 edges, 138681 markings/sec, 170 secs
lola: 28325396 markings, 59420483 edges, 137209 markings/sec, 175 secs
lola: 29018878 markings, 60909654 edges, 138696 markings/sec, 180 secs
lola: 29727763 markings, 62427921 edges, 141777 markings/sec, 185 secs
lola: 30431943 markings, 63939528 edges, 140836 markings/sec, 190 secs
lola: 31128390 markings, 65438899 edges, 139289 markings/sec, 195 secs
lola: 31830198 markings, 66942916 edges, 140362 markings/sec, 200 secs
lola: 32535975 markings, 68448757 edges, 141155 markings/sec, 205 secs
lola: 33219363 markings, 69919638 edges, 136678 markings/sec, 210 secs
lola: 33902883 markings, 71385794 edges, 136704 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(xCLOSEWAIT)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1152749 markings, 2211118 edges, 230550 markings/sec, 0 secs
lola: 2148896 markings, 4189858 edges, 199229 markings/sec, 5 secs
lola: 3083612 markings, 6063812 edges, 186943 markings/sec, 10 secs
lola: 3982263 markings, 7880926 edges, 179730 markings/sec, 15 secs
lola: 4866328 markings, 9680075 edges, 176813 markings/sec, 20 secs
lola: 5721835 markings, 11431201 edges, 171101 markings/sec, 25 secs
lola: 6560313 markings, 13140459 edges, 167696 markings/sec, 30 secs
lola: 7402348 markings, 14871028 edges, 168407 markings/sec, 35 secs
lola: 8247095 markings, 16609043 edges, 168949 markings/sec, 40 secs
lola: 9075579 markings, 18312315 edges, 165697 markings/sec, 45 secs
lola: 9899260 markings, 20008223 edges, 164736 markings/sec, 50 secs
lola: 10713526 markings, 21689416 edges, 162853 markings/sec, 55 secs
lola: 11519126 markings, 23352360 edges, 161120 markings/sec, 60 secs
lola: 12307526 markings, 24992159 edges, 157680 markings/sec, 65 secs
lola: 13101364 markings, 26642492 edges, 158768 markings/sec, 70 secs
lola: 13891079 markings, 28282250 edges, 157943 markings/sec, 75 secs
lola: 14672771 markings, 29906174 edges, 156338 markings/sec, 80 secs
lola: 15446373 markings, 31516467 edges, 154720 markings/sec, 85 secs
lola: 16208256 markings, 33108791 edges, 152377 markings/sec, 90 secs
lola: 16968781 markings, 34688830 edges, 152105 markings/sec, 95 secs
lola: 17719996 markings, 36259277 edges, 150243 markings/sec, 100 secs
lola: 18458890 markings, 37801856 edges, 147779 markings/sec, 105 secs
lola: 19221113 markings, 39389881 edges, 152445 markings/sec, 110 secs
lola: 19974701 markings, 40968275 edges, 150718 markings/sec, 115 secs
lola: 20721918 markings, 42531465 edges, 149443 markings/sec, 120 secs
lola: 21472557 markings, 44099845 edges, 150128 markings/sec, 125 secs
lola: 22219130 markings, 45657462 edges, 149315 markings/sec, 130 secs
lola: 22956596 markings, 47206115 edges, 147493 markings/sec, 135 secs
lola: 23696618 markings, 48756846 edges, 148004 markings/sec, 140 secs
lola: 24433877 markings, 50300213 edges, 147452 markings/sec, 145 secs
lola: 25166996 markings, 51836901 edges, 146624 markings/sec, 150 secs
lola: 25896011 markings, 53369903 edges, 145803 markings/sec, 155 secs
lola: 26615787 markings, 54881498 edges, 143955 markings/sec, 160 secs
lola: 27332409 markings, 56388352 edges, 143324 markings/sec, 165 secs
lola: 28048878 markings, 57891586 edges, 143294 markings/sec, 170 secs
lola: 28752954 markings, 59375893 edges, 140815 markings/sec, 175 secs
lola: 29453926 markings, 60861129 edges, 140194 markings/sec, 180 secs
lola: 30173751 markings, 62379462 edges, 143965 markings/sec, 185 secs
lola: 30882444 markings, 63870364 edges, 141739 markings/sec, 190 secs
lola: 31592067 markings, 65365477 edges, 141925 markings/sec, 195 secs
lola: 32301813 markings, 66858842 edges, 141949 markings/sec, 200 secs
lola: 33004260 markings, 68342248 edges, 140489 markings/sec, 205 secs
lola: 33701749 markings, 69818365 edges, 139498 markings/sec, 210 secs
lola: 34406884 markings, 71308394 edges, 141027 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(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: 1113895 markings, 2562586 edges, 222779 markings/sec, 0 secs
lola: 2038395 markings, 4879484 edges, 184900 markings/sec, 5 secs
lola: 2884293 markings, 7084927 edges, 169180 markings/sec, 10 secs
lola: 3675563 markings, 9204164 edges, 158254 markings/sec, 15 secs
lola: 4416414 markings, 11233394 edges, 148170 markings/sec, 20 secs
lola: 5127948 markings, 13195098 edges, 142307 markings/sec, 25 secs
lola: 5824651 markings, 15140104 edges, 139341 markings/sec, 30 secs
lola: 6504247 markings, 17047942 edges, 135919 markings/sec, 35 secs
lola: 7167732 markings, 18924970 edges, 132697 markings/sec, 40 secs
lola: 7829535 markings, 20788122 edges, 132361 markings/sec, 45 secs
lola: 8466762 markings, 22610031 edges, 127445 markings/sec, 50 secs
lola: 9106012 markings, 24435438 edges, 127850 markings/sec, 55 secs
lola: 9748199 markings, 26264309 edges, 128437 markings/sec, 60 secs
lola: 10369448 markings, 28061254 edges, 124250 markings/sec, 65 secs
lola: 10982909 markings, 29838149 edges, 122692 markings/sec, 70 secs
lola: 11588387 markings, 31598356 edges, 121096 markings/sec, 75 secs
lola: 12184358 markings, 33337606 edges, 119194 markings/sec, 80 secs
lola: 12777588 markings, 35061725 edges, 118646 markings/sec, 85 secs
lola: 13352429 markings, 36737282 edges, 114968 markings/sec, 90 secs
lola: 13922220 markings, 38404179 edges, 113958 markings/sec, 95 secs
lola: 14470847 markings, 40026549 edges, 109725 markings/sec, 100 secs
lola: 15032903 markings, 41689057 edges, 112411 markings/sec, 105 secs
lola: 15588178 markings, 43332545 edges, 111055 markings/sec, 110 secs
lola: 16138050 markings, 44959805 edges, 109974 markings/sec, 115 secs
lola: 16680209 markings, 46571081 edges, 108432 markings/sec, 120 secs
lola: 17223310 markings, 48189858 edges, 108620 markings/sec, 125 secs
lola: 17753376 markings, 49782339 edges, 106013 markings/sec, 130 secs
lola: 18272802 markings, 51351665 edges, 103885 markings/sec, 135 secs
lola: 18812892 markings, 52962087 edges, 108018 markings/sec, 140 secs
lola: 19341963 markings, 54558020 edges, 105814 markings/sec, 145 secs
lola: 19871601 markings, 56139575 edges, 105928 markings/sec, 150 secs
lola: 20383844 markings, 57697825 edges, 102449 markings/sec, 155 secs
lola: 20914019 markings, 59281146 edges, 106035 markings/sec, 160 secs
lola: 21437931 markings, 60854461 edges, 104782 markings/sec, 165 secs
lola: 21950465 markings, 62398590 edges, 102507 markings/sec, 170 secs
lola: 22479084 markings, 63988826 edges, 105724 markings/sec, 175 secs
lola: 23007073 markings, 65584588 edges, 105598 markings/sec, 180 secs
lola: 23525048 markings, 67154615 edges, 103595 markings/sec, 185 secs
lola: 24041929 markings, 68713431 edges, 103376 markings/sec, 190 secs
lola: 24548444 markings, 70260064 edges, 101303 markings/sec, 195 secs
lola: 25055815 markings, 71810814 edges, 101474 markings/sec, 200 secs
lola: 25571572 markings, 73366782 edges, 103151 markings/sec, 205 secs
lola: 26071839 markings, 74900857 edges, 100053 markings/sec, 210 secs
lola: 26577769 markings, 76432775 edges, 101186 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-50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TCPcondis-PT-50-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494941203143

--------------------
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-50"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/TCPcondis-PT-50.tgz
mv TCPcondis-PT-50 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is TCPcondis-PT-50, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r078-ebro-149441008500245"
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 ;