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 DES-PT-10a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100245
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494626699098


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-10a @ 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: 267/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 155 places, 112 transitions, 96 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 137 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-10a-UpperBounds.task
lola: MAX(p85) : MAX(p124) : MAX(p117) : MAX(p82) : MAX(p68) : MAX(p48) : MAX(p89) : MAX(p141) : MAX(p26) : MAX(p88) : MAX(p58) : MAX(p122) : MAX(p49) : MAX(p50) : MAX(p94) : MAX(p99)
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(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1622412 markings, 2241803 edges, 324482 markings/sec, 0 secs
lola: 3190965 markings, 4397740 edges, 313711 markings/sec, 5 secs
lola: 4712833 markings, 6516467 edges, 304374 markings/sec, 10 secs
lola: 6210999 markings, 8610090 edges, 299633 markings/sec, 15 secs
lola: 7692162 markings, 10684584 edges, 296233 markings/sec, 20 secs
lola: 9171322 markings, 12751205 edges, 295832 markings/sec, 25 secs
lola: 10688016 markings, 14858495 edges, 303339 markings/sec, 30 secs
lola: 12118918 markings, 16971858 edges, 286180 markings/sec, 35 secs
lola: 13584399 markings, 18948631 edges, 293096 markings/sec, 40 secs
lola: 14983063 markings, 20893234 edges, 279733 markings/sec, 45 secs
lola: 16451993 markings, 22905802 edges, 293786 markings/sec, 50 secs
lola: 17915581 markings, 24932619 edges, 292718 markings/sec, 55 secs
lola: 19274083 markings, 26896247 edges, 271700 markings/sec, 60 secs
lola: 20768235 markings, 28959988 edges, 298830 markings/sec, 65 secs
lola: 22209461 markings, 30970952 edges, 288245 markings/sec, 70 secs
lola: 23534436 markings, 32919012 edges, 264995 markings/sec, 75 secs
lola: 24954007 markings, 34887269 edges, 283914 markings/sec, 80 secs
lola: 26397993 markings, 36924792 edges, 288797 markings/sec, 85 secs
lola: 27760424 markings, 38879940 edges, 272486 markings/sec, 90 secs
lola: 29103692 markings, 40826024 edges, 268654 markings/sec, 95 secs
lola: 30563672 markings, 42859944 edges, 291996 markings/sec, 100 secs
lola: 31969057 markings, 44840986 edges, 281077 markings/sec, 105 secs
lola: 33315376 markings, 46804172 edges, 269264 markings/sec, 110 secs
lola: 34706575 markings, 48749498 edges, 278240 markings/sec, 115 secs
lola: 36141346 markings, 50777728 edges, 286954 markings/sec, 120 secs
lola: 37523307 markings, 52738731 edges, 276392 markings/sec, 125 secs
lola: 38828037 markings, 54640318 edges, 260946 markings/sec, 130 secs
lola: 40262411 markings, 56651235 edges, 286875 markings/sec, 135 secs
lola: 41688194 markings, 58657062 edges, 285157 markings/sec, 140 secs
lola: 43116423 markings, 60657765 edges, 285646 markings/sec, 145 secs
lola: 44421497 markings, 62569464 edges, 261015 markings/sec, 150 secs
lola: 45664812 markings, 64441247 edges, 248663 markings/sec, 155 secs
lola: 47047440 markings, 66306971 edges, 276526 markings/sec, 160 secs
lola: 48451844 markings, 68197723 edges, 280881 markings/sec, 165 secs
lola: 49719351 markings, 69975771 edges, 253501 markings/sec, 170 secs
lola: 51017308 markings, 71754700 edges, 259591 markings/sec, 175 secs
lola: 52338106 markings, 73548184 edges, 264160 markings/sec, 180 secs
lola: 53533612 markings, 75250113 edges, 239101 markings/sec, 185 secs
lola: 54730205 markings, 76966905 edges, 239319 markings/sec, 190 secs
lola: 56032482 markings, 78755551 edges, 260455 markings/sec, 195 secs
lola: 57309881 markings, 80548773 edges, 255480 markings/sec, 200 secs
lola: 58560145 markings, 82275324 edges, 250053 markings/sec, 205 secs
lola: 59721525 markings, 83962544 edges, 232276 markings/sec, 210 secs
lola: 60875285 markings, 85636981 edges, 230752 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1231849 markings, 2361453 edges, 246370 markings/sec, 0 secs
lola: 2434505 markings, 4548044 edges, 240531 markings/sec, 5 secs
lola: 3615002 markings, 6710810 edges, 236099 markings/sec, 10 secs
lola: 4717162 markings, 8789524 edges, 220432 markings/sec, 15 secs
lola: 5841247 markings, 10894525 edges, 224817 markings/sec, 20 secs
lola: 6886901 markings, 12914920 edges, 209131 markings/sec, 25 secs
lola: 7994165 markings, 14971899 edges, 221453 markings/sec, 30 secs
lola: 8993548 markings, 16950633 edges, 199877 markings/sec, 35 secs
lola: 10079127 markings, 19012002 edges, 217116 markings/sec, 40 secs
lola: 11126498 markings, 21009619 edges, 209474 markings/sec, 45 secs
lola: 12200746 markings, 23060712 edges, 214850 markings/sec, 50 secs
lola: 13268056 markings, 25082865 edges, 213462 markings/sec, 55 secs
lola: 14317908 markings, 27089533 edges, 209970 markings/sec, 60 secs
lola: 15407994 markings, 29177155 edges, 218017 markings/sec, 65 secs
lola: 16476398 markings, 31225182 edges, 213681 markings/sec, 70 secs
lola: 17445813 markings, 33266050 edges, 193883 markings/sec, 75 secs
lola: 18385328 markings, 35363740 edges, 187903 markings/sec, 80 secs
lola: 19608939 markings, 37469725 edges, 244722 markings/sec, 85 secs
lola: 20722889 markings, 39531166 edges, 222790 markings/sec, 90 secs
lola: 21941825 markings, 41620115 edges, 243787 markings/sec, 95 secs
lola: 22952500 markings, 43588635 edges, 202135 markings/sec, 100 secs
lola: 24029101 markings, 45600096 edges, 215320 markings/sec, 105 secs
lola: 25126557 markings, 47679960 edges, 219491 markings/sec, 110 secs
lola: 26258091 markings, 49696788 edges, 226307 markings/sec, 115 secs
lola: 27290924 markings, 51718589 edges, 206567 markings/sec, 120 secs
lola: 28261527 markings, 53677585 edges, 194121 markings/sec, 125 secs
lola: 29291198 markings, 55705431 edges, 205934 markings/sec, 130 secs
lola: 30371107 markings, 57717136 edges, 215982 markings/sec, 135 secs
lola: 31484188 markings, 59827477 edges, 222616 markings/sec, 140 secs
lola: 32596181 markings, 61872206 edges, 222399 markings/sec, 145 secs
lola: 33605128 markings, 63840572 edges, 201789 markings/sec, 150 secs
lola: 34556773 markings, 65762472 edges, 190329 markings/sec, 155 secs
lola: 35486370 markings, 67660436 edges, 185919 markings/sec, 160 secs
lola: 36484076 markings, 69642621 edges, 199541 markings/sec, 165 secs
lola: 37495867 markings, 71545292 edges, 202358 markings/sec, 170 secs
lola: 38559956 markings, 73616741 edges, 212818 markings/sec, 175 secs
lola: 39607863 markings, 75640094 edges, 209581 markings/sec, 180 secs
lola: 40624830 markings, 77558058 edges, 203393 markings/sec, 185 secs
lola: 41613939 markings, 79535973 edges, 197822 markings/sec, 190 secs
lola: 42552524 markings, 81441619 edges, 187717 markings/sec, 195 secs
lola: 43468036 markings, 83329635 edges, 183102 markings/sec, 200 secs
lola: 44504246 markings, 85302314 edges, 207242 markings/sec, 205 secs
lola: 45566843 markings, 87312567 edges, 212519 markings/sec, 210 secs
lola: 46582365 markings, 89377593 edges, 203104 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(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1234257 markings, 2337219 edges, 246851 markings/sec, 0 secs
lola: 2443948 markings, 4523558 edges, 241938 markings/sec, 5 secs
lola: 3630915 markings, 6674029 edges, 237393 markings/sec, 10 secs
lola: 4745624 markings, 8773519 edges, 222942 markings/sec, 15 secs
lola: 5894093 markings, 10896701 edges, 229694 markings/sec, 20 secs
lola: 6983712 markings, 12954228 edges, 217924 markings/sec, 25 secs
lola: 8105125 markings, 15066291 edges, 224283 markings/sec, 30 secs
lola: 9147474 markings, 17087073 edges, 208470 markings/sec, 35 secs
lola: 10283670 markings, 19169561 edges, 227239 markings/sec, 40 secs
lola: 11323924 markings, 21190327 edges, 208051 markings/sec, 45 secs
lola: 12434904 markings, 23277914 edges, 222196 markings/sec, 50 secs
lola: 13512232 markings, 25309962 edges, 215466 markings/sec, 55 secs
lola: 14616654 markings, 27413260 edges, 220884 markings/sec, 60 secs
lola: 15755955 markings, 29536132 edges, 227860 markings/sec, 65 secs
lola: 16813371 markings, 31552391 edges, 211483 markings/sec, 70 secs
lola: 17775580 markings, 33646256 edges, 192442 markings/sec, 75 secs
lola: 18883524 markings, 35806518 edges, 221589 markings/sec, 80 secs
lola: 20030602 markings, 37852049 edges, 229416 markings/sec, 85 secs
lola: 21181527 markings, 39889786 edges, 230185 markings/sec, 90 secs
lola: 22269464 markings, 41867815 edges, 217587 markings/sec, 95 secs
lola: 23262161 markings, 43797271 edges, 198539 markings/sec, 100 secs
lola: 24298858 markings, 45727169 edges, 207339 markings/sec, 105 secs
lola: 25423485 markings, 47746928 edges, 224925 markings/sec, 110 secs
lola: 26513028 markings, 49729064 edges, 217909 markings/sec, 115 secs
lola: 27483359 markings, 51626443 edges, 194066 markings/sec, 120 secs
lola: 28442197 markings, 53507756 edges, 191768 markings/sec, 125 secs
lola: 29470678 markings, 55471024 edges, 205696 markings/sec, 130 secs
lola: 30539460 markings, 57436165 edges, 213756 markings/sec, 135 secs
lola: 31606930 markings, 59465750 edges, 213494 markings/sec, 140 secs
lola: 32670064 markings, 61410091 edges, 212627 markings/sec, 145 secs
lola: 33675684 markings, 63336118 edges, 201124 markings/sec, 150 secs
lola: 34602150 markings, 65183135 edges, 185293 markings/sec, 155 secs
lola: 35502324 markings, 66988796 edges, 180035 markings/sec, 160 secs
lola: 36464442 markings, 68887332 edges, 192424 markings/sec, 165 secs
lola: 37473620 markings, 70776021 edges, 201836 markings/sec, 170 secs
lola: 38518896 markings, 72774161 edges, 209055 markings/sec, 175 secs
lola: 39501454 markings, 74676431 edges, 196512 markings/sec, 180 secs
lola: 40507934 markings, 76552196 edges, 201296 markings/sec, 185 secs
lola: 41499648 markings, 78459276 edges, 198343 markings/sec, 190 secs
lola: 42388176 markings, 80244145 edges, 177706 markings/sec, 195 secs
lola: 43267947 markings, 82021277 edges, 175954 markings/sec, 200 secs
lola: 44221405 markings, 83904133 edges, 190692 markings/sec, 205 secs
lola: 45223804 markings, 85778130 edges, 200480 markings/sec, 210 secs
lola: 46245522 markings, 87741615 edges, 204344 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(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1565001 markings, 2158699 edges, 313000 markings/sec, 0 secs
lola: 3057187 markings, 4221712 edges, 298437 markings/sec, 5 secs
lola: 4504922 markings, 6237201 edges, 289547 markings/sec, 10 secs
lola: 5927864 markings, 8227494 edges, 284588 markings/sec, 15 secs
lola: 7335052 markings, 10191909 edges, 281438 markings/sec, 20 secs
lola: 8732231 markings, 12134267 edges, 279436 markings/sec, 25 secs
lola: 10207881 markings, 14183426 edges, 295130 markings/sec, 30 secs
lola: 11567049 markings, 16186946 edges, 271834 markings/sec, 35 secs
lola: 13043979 markings, 18226200 edges, 295386 markings/sec, 40 secs
lola: 14512288 markings, 20223049 edges, 293662 markings/sec, 45 secs
lola: 15891624 markings, 22138279 edges, 275867 markings/sec, 50 secs
lola: 17345937 markings, 24138119 edges, 290863 markings/sec, 55 secs
lola: 18694379 markings, 26070536 edges, 269688 markings/sec, 60 secs
lola: 20031678 markings, 27926661 edges, 267460 markings/sec, 65 secs
lola: 21441190 markings, 29893944 edges, 281902 markings/sec, 70 secs
lola: 22742390 markings, 31746764 edges, 260240 markings/sec, 75 secs
lola: 23974657 markings, 33540034 edges, 246453 markings/sec, 80 secs
lola: 25345327 markings, 35453379 edges, 274134 markings/sec, 85 secs
lola: 26676452 markings, 37319817 edges, 266225 markings/sec, 90 secs
lola: 27935285 markings, 39137072 edges, 251767 markings/sec, 95 secs
lola: 29177322 markings, 40932253 edges, 248407 markings/sec, 100 secs
lola: 30555397 markings, 42848881 edges, 275615 markings/sec, 105 secs
lola: 31843852 markings, 44666305 edges, 257691 markings/sec, 110 secs
lola: 33102330 markings, 46486201 edges, 251696 markings/sec, 115 secs
lola: 34347221 markings, 48267918 edges, 248978 markings/sec, 120 secs
lola: 35710743 markings, 50179581 edges, 272704 markings/sec, 125 secs
lola: 37000088 markings, 51991923 edges, 257869 markings/sec, 130 secs
lola: 38219038 markings, 53767591 edges, 243790 markings/sec, 135 secs
lola: 39482040 markings, 55545274 edges, 252600 markings/sec, 140 secs
lola: 40842701 markings, 57479772 edges, 272132 markings/sec, 145 secs
lola: 42176092 markings, 59342970 edges, 266678 markings/sec, 150 secs
lola: 43476481 markings, 61199410 edges, 260078 markings/sec, 155 secs
lola: 44810972 markings, 63121357 edges, 266898 markings/sec, 160 secs
lola: 46145982 markings, 65075505 edges, 267002 markings/sec, 165 secs
lola: 47519836 markings, 66942308 edges, 274771 markings/sec, 170 secs
lola: 48884667 markings, 68796413 edges, 272966 markings/sec, 175 secs
lola: 50165147 markings, 70596212 edges, 256096 markings/sec, 180 secs
lola: 51517996 markings, 72446020 edges, 270570 markings/sec, 185 secs
lola: 52839583 markings, 74251597 edges, 264317 markings/sec, 190 secs
lola: 54050355 markings, 75997078 edges, 242154 markings/sec, 195 secs
lola: 55285502 markings, 77732045 edges, 247029 markings/sec, 200 secs
lola: 56637301 markings, 79600458 edges, 270360 markings/sec, 205 secs
lola: 57921957 markings, 81386675 edges, 256931 markings/sec, 210 secs
lola: 59193841 markings, 83182303 edges, 254377 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(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1029865 markings, 2303711 edges, 205973 markings/sec, 0 secs
lola: 1952726 markings, 4485344 edges, 184572 markings/sec, 5 secs
lola: 2904946 markings, 6680555 edges, 190444 markings/sec, 10 secs
lola: 3802141 markings, 8821669 edges, 179439 markings/sec, 15 secs
lola: 4728952 markings, 10974192 edges, 185362 markings/sec, 20 secs
lola: 5630625 markings, 13090178 edges, 180335 markings/sec, 25 secs
lola: 6533334 markings, 15201050 edges, 180542 markings/sec, 30 secs
lola: 7415076 markings, 17271406 edges, 176348 markings/sec, 35 secs
lola: 8329247 markings, 19356912 edges, 182834 markings/sec, 40 secs
lola: 9191087 markings, 21430282 edges, 172368 markings/sec, 45 secs
lola: 10070471 markings, 23516146 edges, 175877 markings/sec, 50 secs
lola: 10924811 markings, 25598393 edges, 170868 markings/sec, 55 secs
lola: 11815152 markings, 27742501 edges, 178068 markings/sec, 60 secs
lola: 12703294 markings, 29824459 edges, 177628 markings/sec, 65 secs
lola: 13588845 markings, 31928930 edges, 177110 markings/sec, 70 secs
lola: 14493018 markings, 34163161 edges, 180835 markings/sec, 75 secs
lola: 15359062 markings, 36380433 edges, 173209 markings/sec, 80 secs
lola: 16219220 markings, 38595630 edges, 172032 markings/sec, 85 secs
lola: 17075830 markings, 40781896 edges, 171322 markings/sec, 90 secs
lola: 17939378 markings, 42931343 edges, 172710 markings/sec, 95 secs
lola: 18793946 markings, 45106046 edges, 170914 markings/sec, 100 secs
lola: 19653215 markings, 47279593 edges, 171854 markings/sec, 105 secs
lola: 20513078 markings, 49454940 edges, 171973 markings/sec, 110 secs
lola: 21363783 markings, 51659155 edges, 170141 markings/sec, 115 secs
lola: 22395167 markings, 53943895 edges, 206277 markings/sec, 120 secs
lola: 23327913 markings, 56130658 edges, 186549 markings/sec, 125 secs
lola: 24167020 markings, 58189484 edges, 167821 markings/sec, 130 secs
lola: 25056702 markings, 60259617 edges, 177936 markings/sec, 135 secs
lola: 25960551 markings, 62364139 edges, 180770 markings/sec, 140 secs
lola: 26850069 markings, 64442682 edges, 177904 markings/sec, 145 secs
lola: 27666818 markings, 66453158 edges, 163350 markings/sec, 150 secs
lola: 28529214 markings, 68465096 edges, 172479 markings/sec, 155 secs
lola: 29419900 markings, 70510028 edges, 178137 markings/sec, 160 secs
lola: 30280884 markings, 72559472 edges, 172197 markings/sec, 165 secs
lola: 31129115 markings, 74605252 edges, 169646 markings/sec, 170 secs
lola: 32002431 markings, 76668306 edges, 174663 markings/sec, 175 secs
lola: 32927129 markings, 78774901 edges, 184940 markings/sec, 180 secs
lola: 33820916 markings, 80915498 edges, 178757 markings/sec, 185 secs
lola: 34685389 markings, 83005156 edges, 172895 markings/sec, 190 secs
lola: 35555054 markings, 85060825 edges, 173933 markings/sec, 195 secs
lola: 36475178 markings, 87154282 edges, 184025 markings/sec, 200 secs
lola: 37345333 markings, 89255834 edges, 174031 markings/sec, 205 secs
lola: 38186180 markings, 91295999 edges, 168169 markings/sec, 210 secs
lola: 39071055 markings, 93384715 edges, 176975 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(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 854893 markings, 2562388 edges, 170979 markings/sec, 0 secs
lola: 1702352 markings, 5073276 edges, 169492 markings/sec, 5 secs
lola: 2535931 markings, 7540522 edges, 166716 markings/sec, 10 secs
lola: 3293118 markings, 9934859 edges, 151437 markings/sec, 15 secs
lola: 4166326 markings, 12450129 edges, 174642 markings/sec, 20 secs
lola: 4986757 markings, 14832356 edges, 164086 markings/sec, 25 secs
lola: 5754585 markings, 17208070 edges, 153566 markings/sec, 30 secs
lola: 6492163 markings, 19486965 edges, 147516 markings/sec, 35 secs
lola: 7264373 markings, 21919706 edges, 154442 markings/sec, 40 secs
lola: 8074234 markings, 24329728 edges, 161972 markings/sec, 45 secs
lola: 8883432 markings, 26662940 edges, 161840 markings/sec, 50 secs
lola: 9637109 markings, 28993560 edges, 150735 markings/sec, 55 secs
lola: 10371398 markings, 31302150 edges, 146858 markings/sec, 60 secs
lola: 11102868 markings, 33555316 edges, 146294 markings/sec, 65 secs
lola: 11875317 markings, 36019164 edges, 154490 markings/sec, 70 secs
lola: 12694804 markings, 38315778 edges, 163897 markings/sec, 75 secs
lola: 13432294 markings, 40597652 edges, 147498 markings/sec, 80 secs
lola: 14139822 markings, 42779560 edges, 141506 markings/sec, 85 secs
lola: 14843997 markings, 44969662 edges, 140835 markings/sec, 90 secs
lola: 15569215 markings, 47194863 edges, 145044 markings/sec, 95 secs
lola: 16321157 markings, 49543970 edges, 150388 markings/sec, 100 secs
lola: 17124174 markings, 51841882 edges, 160603 markings/sec, 105 secs
lola: 17856863 markings, 54112854 edges, 146538 markings/sec, 110 secs
lola: 18579219 markings, 56343596 edges, 144471 markings/sec, 115 secs
lola: 19279603 markings, 58496206 edges, 140077 markings/sec, 120 secs
lola: 20027025 markings, 60858001 edges, 149484 markings/sec, 125 secs
lola: 20796462 markings, 63189140 edges, 153887 markings/sec, 130 secs
lola: 21600591 markings, 65629226 edges, 160826 markings/sec, 135 secs
lola: 22387987 markings, 68017577 edges, 157479 markings/sec, 140 secs
lola: 23141970 markings, 70366263 edges, 150797 markings/sec, 145 secs
lola: 23923382 markings, 72728357 edges, 156282 markings/sec, 150 secs
lola: 24728048 markings, 75062213 edges, 160933 markings/sec, 155 secs
lola: 25459060 markings, 77402417 edges, 146202 markings/sec, 160 secs
lola: 26220165 markings, 79691430 edges, 152221 markings/sec, 165 secs
lola: 26925777 markings, 81935086 edges, 141122 markings/sec, 170 secs
lola: 27596335 markings, 84107682 edges, 134112 markings/sec, 175 secs
lola: 28429922 markings, 86566557 edges, 166717 markings/sec, 180 secs
lola: 29263018 markings, 88890366 edges, 166619 markings/sec, 185 secs
lola: 30033165 markings, 91183120 edges, 154029 markings/sec, 190 secs
lola: 30765638 markings, 93501231 edges, 146495 markings/sec, 195 secs
lola: 31493547 markings, 95830124 edges, 145582 markings/sec, 200 secs
lola: 32281908 markings, 98141949 edges, 157672 markings/sec, 205 secs
lola: 32975329 markings, 100332742 edges, 138684 markings/sec, 210 secs
lola: 33678152 markings, 102551400 edges, 140565 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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1601268 markings, 2211427 edges, 320254 markings/sec, 0 secs
lola: 3158693 markings, 4354509 edges, 311485 markings/sec, 5 secs
lola: 4662800 markings, 6449618 edges, 300821 markings/sec, 10 secs
lola: 6153020 markings, 8534682 edges, 298044 markings/sec, 15 secs
lola: 7629651 markings, 10598701 edges, 295326 markings/sec, 20 secs
lola: 9091573 markings, 12639324 edges, 292384 markings/sec, 25 secs
lola: 10619609 markings, 14757842 edges, 305607 markings/sec, 30 secs
lola: 12042276 markings, 16873635 edges, 284533 markings/sec, 35 secs
lola: 13620463 markings, 18996101 edges, 315637 markings/sec, 40 secs
lola: 15085880 markings, 21029595 edges, 293083 markings/sec, 45 secs
lola: 16501513 markings, 22974179 edges, 283127 markings/sec, 50 secs
lola: 17895289 markings, 24903628 edges, 278755 markings/sec, 55 secs
lola: 19209738 markings, 26799596 edges, 262890 markings/sec, 60 secs
lola: 20654291 markings, 28796007 edges, 288911 markings/sec, 65 secs
lola: 22032500 markings, 30722372 edges, 275642 markings/sec, 70 secs
lola: 23343412 markings, 32633727 edges, 262182 markings/sec, 75 secs
lola: 24687025 markings, 34524042 edges, 268723 markings/sec, 80 secs
lola: 26128251 markings, 36554257 edges, 288245 markings/sec, 85 secs
lola: 27530514 markings, 38528980 edges, 280453 markings/sec, 90 secs
lola: 28828983 markings, 40438854 edges, 259694 markings/sec, 95 secs
lola: 30255465 markings, 42429399 edges, 285296 markings/sec, 100 secs
lola: 31669316 markings, 44415408 edges, 282770 markings/sec, 105 secs
lola: 33006186 markings, 46346098 edges, 267374 markings/sec, 110 secs
lola: 34339958 markings, 48258483 edges, 266754 markings/sec, 115 secs
lola: 35779866 markings, 50278921 edges, 287982 markings/sec, 120 secs
lola: 37175592 markings, 52235253 edges, 279145 markings/sec, 125 secs
lola: 38452736 markings, 54116301 edges, 255429 markings/sec, 130 secs
lola: 39853038 markings, 56069190 edges, 280060 markings/sec, 135 secs
lola: 41272061 markings, 58084640 edges, 283805 markings/sec, 140 secs
lola: 42709667 markings, 60080912 edges, 287521 markings/sec, 145 secs
lola: 44029168 markings, 62000153 edges, 263900 markings/sec, 150 secs
lola: 45329775 markings, 63940572 edges, 260121 markings/sec, 155 secs
lola: 46731468 markings, 65877056 edges, 280339 markings/sec, 160 secs
lola: 48165390 markings, 67809392 edges, 286784 markings/sec, 165 secs
lola: 49494689 markings, 69655735 edges, 265860 markings/sec, 170 secs
lola: 50838526 markings, 71512208 edges, 268767 markings/sec, 175 secs
lola: 52251695 markings, 73434986 edges, 282634 markings/sec, 180 secs
lola: 53558028 markings, 75282022 edges, 261267 markings/sec, 185 secs
lola: 54849812 markings, 77131663 edges, 258357 markings/sec, 190 secs
lola: 56228951 markings, 79030774 edges, 275828 markings/sec, 195 secs
lola: 57587820 markings, 80931958 edges, 271774 markings/sec, 200 secs
lola: 58929451 markings, 82796439 edges, 268326 markings/sec, 205 secs
lola: 60170504 markings, 84620214 edges, 248211 markings/sec, 210 secs
lola: 61480316 markings, 86460985 edges, 261962 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(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1181502 markings, 2319327 edges, 236300 markings/sec, 0 secs
lola: 2250598 markings, 4577152 edges, 213819 markings/sec, 5 secs
lola: 3249491 markings, 6766421 edges, 199779 markings/sec, 10 secs
lola: 4228639 markings, 8962843 edges, 195830 markings/sec, 15 secs
lola: 5122356 markings, 11063724 edges, 178743 markings/sec, 20 secs
lola: 6110951 markings, 13280601 edges, 197719 markings/sec, 25 secs
lola: 7034844 markings, 15441105 edges, 184779 markings/sec, 30 secs
lola: 8034910 markings, 17664619 edges, 200013 markings/sec, 35 secs
lola: 9179952 markings, 19828909 edges, 229008 markings/sec, 40 secs
lola: 10194415 markings, 21962804 edges, 202893 markings/sec, 45 secs
lola: 11223261 markings, 24093089 edges, 205769 markings/sec, 50 secs
lola: 12218956 markings, 26215125 edges, 199139 markings/sec, 55 secs
lola: 13186355 markings, 28303473 edges, 193480 markings/sec, 60 secs
lola: 14102868 markings, 30400102 edges, 183303 markings/sec, 65 secs
lola: 15111693 markings, 32531306 edges, 201765 markings/sec, 70 secs
lola: 16006013 markings, 34622220 edges, 178864 markings/sec, 75 secs
lola: 16993242 markings, 36734114 edges, 197446 markings/sec, 80 secs
lola: 17875001 markings, 38834911 edges, 176352 markings/sec, 85 secs
lola: 18631723 markings, 40794963 edges, 151344 markings/sec, 90 secs
lola: 19567946 markings, 42990059 edges, 187245 markings/sec, 95 secs
lola: 20504803 markings, 45072047 edges, 187371 markings/sec, 100 secs
lola: 21343898 markings, 47108081 edges, 167819 markings/sec, 105 secs
lola: 22288899 markings, 49223092 edges, 189000 markings/sec, 110 secs
lola: 23125041 markings, 51246106 edges, 167228 markings/sec, 115 secs
lola: 23890385 markings, 53207977 edges, 153069 markings/sec, 120 secs
lola: 24611004 markings, 55056316 edges, 144124 markings/sec, 125 secs
lola: 25498166 markings, 57146944 edges, 177432 markings/sec, 130 secs
lola: 26400360 markings, 59114944 edges, 180439 markings/sec, 135 secs
lola: 27254730 markings, 61155578 edges, 170874 markings/sec, 140 secs
lola: 28131419 markings, 63208770 edges, 175338 markings/sec, 145 secs
lola: 28973474 markings, 65249091 edges, 168411 markings/sec, 150 secs
lola: 29730727 markings, 67217244 edges, 151451 markings/sec, 155 secs
lola: 30540873 markings, 69263466 edges, 162029 markings/sec, 160 secs
lola: 31460525 markings, 71390809 edges, 183930 markings/sec, 165 secs
lola: 32407910 markings, 73497386 edges, 189477 markings/sec, 170 secs
lola: 33357983 markings, 75531013 edges, 190015 markings/sec, 175 secs
lola: 34386626 markings, 77531820 edges, 205729 markings/sec, 180 secs
lola: 35368488 markings, 79555942 edges, 196372 markings/sec, 185 secs
lola: 36306766 markings, 81572893 edges, 187656 markings/sec, 190 secs
lola: 37260315 markings, 83525885 edges, 190710 markings/sec, 195 secs
lola: 38226797 markings, 85544769 edges, 193296 markings/sec, 200 secs
lola: 39153510 markings, 87555278 edges, 185343 markings/sec, 205 secs
lola: 39994786 markings, 89531905 edges, 168255 markings/sec, 210 secs
lola: 40968452 markings, 91596244 edges, 194733 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(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1276140 markings, 2361696 edges, 255228 markings/sec, 0 secs
lola: 2381232 markings, 4657071 edges, 221018 markings/sec, 5 secs
lola: 3437594 markings, 6803146 edges, 211272 markings/sec, 10 secs
lola: 4560462 markings, 8954544 edges, 224574 markings/sec, 15 secs
lola: 5594838 markings, 11041902 edges, 206875 markings/sec, 20 secs
lola: 6733449 markings, 13247566 edges, 227722 markings/sec, 25 secs
lola: 7756376 markings, 15372165 edges, 204585 markings/sec, 30 secs
lola: 8775325 markings, 17493400 edges, 203790 markings/sec, 35 secs
lola: 9868734 markings, 19655598 edges, 218682 markings/sec, 40 secs
lola: 10989099 markings, 21668362 edges, 224073 markings/sec, 45 secs
lola: 12097356 markings, 23697998 edges, 221651 markings/sec, 50 secs
lola: 13115674 markings, 25756746 edges, 203664 markings/sec, 55 secs
lola: 14231874 markings, 27914004 edges, 223240 markings/sec, 60 secs
lola: 15249212 markings, 30024982 edges, 203468 markings/sec, 65 secs
lola: 16262977 markings, 32135069 edges, 202753 markings/sec, 70 secs
lola: 17339941 markings, 34262876 edges, 215393 markings/sec, 75 secs
lola: 18397427 markings, 36147315 edges, 211497 markings/sec, 80 secs
lola: 19480100 markings, 38112642 edges, 216535 markings/sec, 85 secs
lola: 20556459 markings, 40099418 edges, 215272 markings/sec, 90 secs
lola: 21567615 markings, 42174612 edges, 202231 markings/sec, 95 secs
lola: 22687094 markings, 44374210 edges, 223896 markings/sec, 100 secs
lola: 23720607 markings, 46500556 edges, 206703 markings/sec, 105 secs
lola: 24716132 markings, 48557115 edges, 199105 markings/sec, 110 secs
lola: 25755093 markings, 50585906 edges, 207792 markings/sec, 115 secs
lola: 26802058 markings, 52390852 edges, 209393 markings/sec, 120 secs
lola: 27862344 markings, 54353158 edges, 212057 markings/sec, 125 secs
lola: 28903195 markings, 56317507 edges, 208170 markings/sec, 130 secs
lola: 29902311 markings, 58353104 edges, 199823 markings/sec, 135 secs
lola: 30963484 markings, 60455894 edges, 212235 markings/sec, 140 secs
lola: 31947716 markings, 62476165 edges, 196846 markings/sec, 145 secs
lola: 32912343 markings, 64458729 edges, 192925 markings/sec, 150 secs
lola: 33947575 markings, 66472818 edges, 207046 markings/sec, 155 secs
lola: 34986523 markings, 68273990 edges, 207790 markings/sec, 160 secs
lola: 36047533 markings, 70227041 edges, 212202 markings/sec, 165 secs
lola: 37101000 markings, 72142780 edges, 210693 markings/sec, 170 secs
lola: 38127364 markings, 73981620 edges, 205273 markings/sec, 175 secs
lola: 39133971 markings, 76017306 edges, 201321 markings/sec, 180 secs
lola: 40228788 markings, 78115079 edges, 218963 markings/sec, 185 secs
lola: 41209410 markings, 80149190 edges, 196124 markings/sec, 190 secs
lola: 42189619 markings, 82186645 edges, 196042 markings/sec, 195 secs
lola: 43230210 markings, 84193472 edges, 208118 markings/sec, 200 secs
lola: 44175416 markings, 86135355 edges, 189041 markings/sec, 205 secs
lola: 45194324 markings, 88181567 edges, 203782 markings/sec, 210 secs
lola: 46184478 markings, 90186592 edges, 198031 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(p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1639251 markings, 2263432 edges, 327850 markings/sec, 0 secs
lola: 3199152 markings, 4407777 edges, 311980 markings/sec, 5 secs
lola: 4711126 markings, 6514270 edges, 302395 markings/sec, 10 secs
lola: 6186062 markings, 8578099 edges, 294987 markings/sec, 15 secs
lola: 7656681 markings, 10636390 edges, 294124 markings/sec, 20 secs
lola: 9130456 markings, 12695282 edges, 294755 markings/sec, 25 secs
lola: 10651693 markings, 14806473 edges, 304247 markings/sec, 30 secs
lola: 12067448 markings, 16904903 edges, 283151 markings/sec, 35 secs
lola: 13623253 markings, 18999616 edges, 311161 markings/sec, 40 secs
lola: 15095288 markings, 21041214 edges, 294407 markings/sec, 45 secs
lola: 16586121 markings, 23091687 edges, 298167 markings/sec, 50 secs
lola: 18029111 markings, 25103795 edges, 288598 markings/sec, 55 secs
lola: 19396194 markings, 27064528 edges, 273417 markings/sec, 60 secs
lola: 20876270 markings, 29115743 edges, 296015 markings/sec, 65 secs
lola: 22311931 markings, 31120665 edges, 287132 markings/sec, 70 secs
lola: 23628162 markings, 33055142 edges, 263246 markings/sec, 75 secs
lola: 25073372 markings, 35057595 edges, 289042 markings/sec, 80 secs
lola: 26530214 markings, 37109645 edges, 291368 markings/sec, 85 secs
lola: 27880864 markings, 39057057 edges, 270130 markings/sec, 90 secs
lola: 29223553 markings, 40999965 edges, 268538 markings/sec, 95 secs
lola: 30685917 markings, 43037252 edges, 292473 markings/sec, 100 secs
lola: 32055904 markings, 44966025 edges, 273997 markings/sec, 105 secs
lola: 33371487 markings, 46885335 edges, 263117 markings/sec, 110 secs
lola: 34748844 markings, 48805216 edges, 275471 markings/sec, 115 secs
lola: 36161482 markings, 50806173 edges, 282528 markings/sec, 120 secs
lola: 37518597 markings, 52731604 edges, 271423 markings/sec, 125 secs
lola: 38809553 markings, 54612430 edges, 258191 markings/sec, 130 secs
lola: 40224969 markings, 56597113 edges, 283083 markings/sec, 135 secs
lola: 41635328 markings, 58587360 edges, 282072 markings/sec, 140 secs
lola: 43049220 markings, 60560395 edges, 282778 markings/sec, 145 secs
lola: 44331707 markings, 62446730 edges, 256497 markings/sec, 150 secs
lola: 45625458 markings, 64384748 edges, 258750 markings/sec, 155 secs
lola: 47053536 markings, 66316332 edges, 285616 markings/sec, 160 secs
lola: 48484506 markings, 68242572 edges, 286194 markings/sec, 165 secs
lola: 49818464 markings, 70113884 edges, 266792 markings/sec, 170 secs
lola: 51217018 markings, 72023439 edges, 279711 markings/sec, 175 secs
lola: 52584614 markings, 73896677 edges, 273519 markings/sec, 180 secs
lola: 53889729 markings, 75762753 edges, 261023 markings/sec, 185 secs
lola: 55182795 markings, 77594175 edges, 258613 markings/sec, 190 secs
lola: 56582224 markings, 79523393 edges, 279886 markings/sec, 195 secs
lola: 57934291 markings, 81402193 edges, 270413 markings/sec, 200 secs
lola: 59246736 markings, 83262442 edges, 262489 markings/sec, 205 secs
lola: 60491409 markings, 85087967 edges, 248935 markings/sec, 210 secs
lola: 61849866 markings, 86969694 edges, 271691 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1122848 markings, 2451333 edges, 224570 markings/sec, 0 secs
lola: 2139910 markings, 4734770 edges, 203412 markings/sec, 5 secs
lola: 3151525 markings, 7011447 edges, 202323 markings/sec, 10 secs
lola: 4100634 markings, 9162644 edges, 189822 markings/sec, 15 secs
lola: 5032330 markings, 11551738 edges, 186339 markings/sec, 20 secs
lola: 5943571 markings, 13826276 edges, 182248 markings/sec, 25 secs
lola: 6875902 markings, 16062038 edges, 186466 markings/sec, 30 secs
lola: 7832109 markings, 18267617 edges, 191241 markings/sec, 35 secs
lola: 8716126 markings, 20331162 edges, 176803 markings/sec, 40 secs
lola: 9617058 markings, 22376273 edges, 180186 markings/sec, 45 secs
lola: 10451539 markings, 24472298 edges, 166896 markings/sec, 50 secs
lola: 11317851 markings, 26589529 edges, 173262 markings/sec, 55 secs
lola: 12117766 markings, 28670699 edges, 159983 markings/sec, 60 secs
lola: 12971972 markings, 30760456 edges, 170841 markings/sec, 65 secs
lola: 13923651 markings, 33062147 edges, 190336 markings/sec, 70 secs
lola: 14762333 markings, 35136349 edges, 167736 markings/sec, 75 secs
lola: 15534931 markings, 37154904 edges, 154520 markings/sec, 80 secs
lola: 16338601 markings, 39184279 edges, 160734 markings/sec, 85 secs
lola: 17214108 markings, 41267854 edges, 175101 markings/sec, 90 secs
lola: 18025390 markings, 43243504 edges, 162256 markings/sec, 95 secs
lola: 18731037 markings, 45151620 edges, 141129 markings/sec, 100 secs
lola: 19561653 markings, 47271389 edges, 166123 markings/sec, 105 secs
lola: 20363265 markings, 49242660 edges, 160322 markings/sec, 110 secs
lola: 21357244 markings, 51436702 edges, 198796 markings/sec, 115 secs
lola: 22265822 markings, 53643186 edges, 181716 markings/sec, 120 secs
lola: 23158651 markings, 55793585 edges, 178566 markings/sec, 125 secs
lola: 24114739 markings, 57979325 edges, 191218 markings/sec, 130 secs
lola: 24964471 markings, 60079769 edges, 169946 markings/sec, 135 secs
lola: 25813864 markings, 62154688 edges, 169879 markings/sec, 140 secs
lola: 26657839 markings, 64159813 edges, 168795 markings/sec, 145 secs
lola: 27440132 markings, 66138396 edges, 156459 markings/sec, 150 secs
lola: 28171986 markings, 68028353 edges, 146371 markings/sec, 155 secs
lola: 29020116 markings, 70029895 edges, 169626 markings/sec, 160 secs
lola: 29835237 markings, 71992443 edges, 163024 markings/sec, 165 secs
lola: 30684378 markings, 74158400 edges, 169828 markings/sec, 170 secs
lola: 31544390 markings, 76359194 edges, 172002 markings/sec, 175 secs
lola: 32395327 markings, 78527879 edges, 170187 markings/sec, 180 secs
lola: 33249673 markings, 80657816 edges, 170869 markings/sec, 185 secs
lola: 34095605 markings, 82755192 edges, 169186 markings/sec, 190 secs
lola: 34884989 markings, 84810223 edges, 157877 markings/sec, 195 secs
lola: 35679074 markings, 86815373 edges, 158817 markings/sec, 200 secs
lola: 36575206 markings, 88900528 edges, 179226 markings/sec, 205 secs
lola: 37511723 markings, 91045706 edges, 187303 markings/sec, 210 secs
lola: 38467024 markings, 93249246 edges, 191060 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(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1264198 markings, 2413678 edges, 252840 markings/sec, 0 secs
lola: 2517693 markings, 4696264 edges, 250699 markings/sec, 5 secs
lola: 3744312 markings, 6944346 edges, 245324 markings/sec, 10 secs
lola: 4917054 markings, 9164148 edges, 234548 markings/sec, 15 secs
lola: 6090784 markings, 11379343 edges, 234746 markings/sec, 20 secs
lola: 7229343 markings, 13563804 edges, 227712 markings/sec, 25 secs
lola: 8393594 markings, 15764801 edges, 232850 markings/sec, 30 secs
lola: 9519486 markings, 17922359 edges, 225178 markings/sec, 35 secs
lola: 10673533 markings, 20122975 edges, 230809 markings/sec, 40 secs
lola: 11784467 markings, 22260594 edges, 222187 markings/sec, 45 secs
lola: 12936227 markings, 24439882 edges, 230352 markings/sec, 50 secs
lola: 14013927 markings, 26550332 edges, 215540 markings/sec, 55 secs
lola: 15166879 markings, 28762975 edges, 230590 markings/sec, 60 secs
lola: 16353510 markings, 30985115 edges, 237326 markings/sec, 65 secs
lola: 17395619 markings, 33150485 edges, 208422 markings/sec, 70 secs
lola: 18386196 markings, 35365020 edges, 198115 markings/sec, 75 secs
lola: 19675213 markings, 37586438 edges, 257803 markings/sec, 80 secs
lola: 20864056 markings, 39744742 edges, 237769 markings/sec, 85 secs
lola: 22093463 markings, 41902443 edges, 245881 markings/sec, 90 secs
lola: 23141256 markings, 43972875 edges, 209559 markings/sec, 95 secs
lola: 24277176 markings, 46078079 edges, 227184 markings/sec, 100 secs
lola: 25447937 markings, 48255244 edges, 234152 markings/sec, 105 secs
lola: 26605272 markings, 50372039 edges, 231467 markings/sec, 110 secs
lola: 27628980 markings, 52408092 edges, 204742 markings/sec, 115 secs
lola: 28637893 markings, 54426290 edges, 201783 markings/sec, 120 secs
lola: 29764030 markings, 56539433 edges, 225227 markings/sec, 125 secs
lola: 30899979 markings, 58702418 edges, 227190 markings/sec, 130 secs
lola: 32015680 markings, 60820146 edges, 223140 markings/sec, 135 secs
lola: 33132411 markings, 62854837 edges, 223346 markings/sec, 140 secs
lola: 34166021 markings, 64948673 edges, 206722 markings/sec, 145 secs
lola: 35145009 markings, 66959807 edges, 195798 markings/sec, 150 secs
lola: 36133985 markings, 68970680 edges, 197795 markings/sec, 155 secs
lola: 37252105 markings, 71039914 edges, 223624 markings/sec, 160 secs
lola: 38352868 markings, 73190524 edges, 220153 markings/sec, 165 secs
lola: 39404195 markings, 75280375 edges, 210265 markings/sec, 170 secs
lola: 40495547 markings, 77325983 edges, 218270 markings/sec, 175 secs
lola: 41542377 markings, 79389846 edges, 209366 markings/sec, 180 secs
lola: 42511476 markings, 81357932 edges, 193820 markings/sec, 185 secs
lola: 43480289 markings, 83351014 edges, 193763 markings/sec, 190 secs
lola: 44580316 markings, 85433265 edges, 220005 markings/sec, 195 secs
lola: 45675098 markings, 87542771 edges, 218956 markings/sec, 200 secs
lola: 46735484 markings, 89671313 edges, 212077 markings/sec, 205 secs
lola: 47858571 markings, 91763654 edges, 224617 markings/sec, 210 secs
lola: 48898338 markings, 93809990 edges, 207953 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1007485 markings, 2518583 edges, 201497 markings/sec, 0 secs
lola: 1969609 markings, 4970926 edges, 192425 markings/sec, 5 secs
lola: 2888999 markings, 7292385 edges, 183878 markings/sec, 10 secs
lola: 3760093 markings, 9547897 edges, 174219 markings/sec, 15 secs
lola: 4716924 markings, 11923442 edges, 191366 markings/sec, 20 secs
lola: 5576841 markings, 14161209 edges, 171983 markings/sec, 25 secs
lola: 6547729 markings, 16592996 edges, 194178 markings/sec, 30 secs
lola: 7420939 markings, 18920290 edges, 174642 markings/sec, 35 secs
lola: 8361378 markings, 21321611 edges, 188088 markings/sec, 40 secs
lola: 9203114 markings, 23488071 edges, 168347 markings/sec, 45 secs
lola: 10005946 markings, 25614732 edges, 160566 markings/sec, 50 secs
lola: 10880043 markings, 27845757 edges, 174819 markings/sec, 55 secs
lola: 11699794 markings, 29955009 edges, 163950 markings/sec, 60 secs
lola: 12469201 markings, 31951167 edges, 153881 markings/sec, 65 secs
lola: 13273039 markings, 34052911 edges, 160768 markings/sec, 70 secs
lola: 14094048 markings, 36096774 edges, 164202 markings/sec, 75 secs
lola: 14867118 markings, 38092571 edges, 154614 markings/sec, 80 secs
lola: 15647632 markings, 40075640 edges, 156103 markings/sec, 85 secs
lola: 16426082 markings, 42098685 edges, 155690 markings/sec, 90 secs
lola: 17190333 markings, 44134235 edges, 152850 markings/sec, 95 secs
lola: 17998356 markings, 46175968 edges, 161605 markings/sec, 100 secs
lola: 18944549 markings, 48483038 edges, 189239 markings/sec, 105 secs
lola: 19812786 markings, 50688422 edges, 173647 markings/sec, 110 secs
lola: 20674570 markings, 52867874 edges, 172357 markings/sec, 115 secs
lola: 21502370 markings, 54986649 edges, 165560 markings/sec, 120 secs
lola: 22345129 markings, 57079488 edges, 168552 markings/sec, 125 secs
lola: 23202272 markings, 59286045 edges, 171429 markings/sec, 130 secs
lola: 24156689 markings, 61703204 edges, 190883 markings/sec, 135 secs
lola: 25003312 markings, 63937367 edges, 169325 markings/sec, 140 secs
lola: 25867009 markings, 66189585 edges, 172739 markings/sec, 145 secs
lola: 26716054 markings, 68487715 edges, 169809 markings/sec, 150 secs
lola: 27632394 markings, 70816513 edges, 183268 markings/sec, 155 secs
lola: 28540088 markings, 73129143 edges, 181539 markings/sec, 160 secs
lola: 29360132 markings, 75314361 edges, 164009 markings/sec, 165 secs
lola: 30231213 markings, 77546018 edges, 174216 markings/sec, 170 secs
lola: 31029341 markings, 79661777 edges, 159626 markings/sec, 175 secs
lola: 31888443 markings, 81956953 edges, 171820 markings/sec, 180 secs
lola: 32759240 markings, 84150670 edges, 174159 markings/sec, 185 secs
lola: 33620604 markings, 86352988 edges, 172273 markings/sec, 190 secs
lola: 34420358 markings, 88478891 edges, 159951 markings/sec, 195 secs
lola: 35236546 markings, 90599288 edges, 163238 markings/sec, 200 secs
lola: 36009841 markings, 92645185 edges, 154659 markings/sec, 205 secs
lola: 36859841 markings, 94895302 edges, 170000 markings/sec, 210 secs
lola: 37705422 markings, 97031091 edges, 169116 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1126526 markings, 2430386 edges, 225305 markings/sec, 0 secs
lola: 2204764 markings, 4806905 edges, 215648 markings/sec, 5 secs
lola: 3245722 markings, 7063821 edges, 208192 markings/sec, 10 secs
lola: 4299387 markings, 9417139 edges, 210733 markings/sec, 15 secs
lola: 5392846 markings, 11815050 edges, 218692 markings/sec, 20 secs
lola: 6427153 markings, 14101067 edges, 206861 markings/sec, 25 secs
lola: 7418245 markings, 16317439 edges, 198218 markings/sec, 30 secs
lola: 8486576 markings, 18628471 edges, 213666 markings/sec, 35 secs
lola: 9482445 markings, 20846649 edges, 199174 markings/sec, 40 secs
lola: 10459673 markings, 22971715 edges, 195446 markings/sec, 45 secs
lola: 11386849 markings, 25050057 edges, 185435 markings/sec, 50 secs
lola: 12362212 markings, 27173208 edges, 195073 markings/sec, 55 secs
lola: 13371172 markings, 29389262 edges, 201792 markings/sec, 60 secs
lola: 14341754 markings, 31600820 edges, 194116 markings/sec, 65 secs
lola: 15330380 markings, 33806600 edges, 197725 markings/sec, 70 secs
lola: 16290267 markings, 35926986 edges, 191977 markings/sec, 75 secs
lola: 17348765 markings, 38318568 edges, 211700 markings/sec, 80 secs
lola: 18364349 markings, 40585419 edges, 203117 markings/sec, 85 secs
lola: 19244147 markings, 42705898 edges, 175960 markings/sec, 90 secs
lola: 20258773 markings, 44899653 edges, 202925 markings/sec, 95 secs
lola: 21240504 markings, 47071096 edges, 196346 markings/sec, 100 secs
lola: 22146068 markings, 49115831 edges, 181113 markings/sec, 105 secs
lola: 23062748 markings, 51218477 edges, 183336 markings/sec, 110 secs
lola: 24108595 markings, 53455787 edges, 209169 markings/sec, 115 secs
lola: 25096249 markings, 55666725 edges, 197531 markings/sec, 120 secs
lola: 26062897 markings, 57839357 edges, 193330 markings/sec, 125 secs
lola: 27009919 markings, 59976891 edges, 189404 markings/sec, 130 secs
lola: 27994333 markings, 62106813 edges, 196883 markings/sec, 135 secs
lola: 28920704 markings, 64132190 edges, 185274 markings/sec, 140 secs
lola: 29833035 markings, 66161669 edges, 182466 markings/sec, 145 secs
lola: 30753611 markings, 68179937 edges, 184115 markings/sec, 150 secs
lola: 31639600 markings, 70168011 edges, 177198 markings/sec, 155 secs
lola: 32530697 markings, 72217137 edges, 178219 markings/sec, 160 secs
lola: 33469843 markings, 74270624 edges, 187829 markings/sec, 165 secs
lola: 34423860 markings, 76380653 edges, 190803 markings/sec, 170 secs
lola: 35409986 markings, 78592009 edges, 197225 markings/sec, 175 secs
lola: 36392036 markings, 80788715 edges, 196410 markings/sec, 180 secs
lola: 37377116 markings, 83017655 edges, 197016 markings/sec, 185 secs
lola: 38333677 markings, 85172134 edges, 191312 markings/sec, 190 secs
lola: 39225125 markings, 87278913 edges, 178290 markings/sec, 195 secs
lola: 40166237 markings, 89420550 edges, 188222 markings/sec, 200 secs
lola: 41130223 markings, 91563026 edges, 192797 markings/sec, 205 secs
lola: 42016500 markings, 93590085 edges, 177255 markings/sec, 210 secs
lola: 42965664 markings, 95660293 edges, 189833 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(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1616072 markings, 2232533 edges, 323214 markings/sec, 0 secs
lola: 3173084 markings, 4372392 edges, 311402 markings/sec, 5 secs
lola: 4639328 markings, 6418955 edges, 293249 markings/sec, 10 secs
lola: 6063181 markings, 8410766 edges, 284771 markings/sec, 15 secs
lola: 7517178 markings, 10441510 edges, 290799 markings/sec, 20 secs
lola: 8958501 markings, 12456849 edges, 288265 markings/sec, 25 secs
lola: 10487798 markings, 14574524 edges, 305859 markings/sec, 30 secs
lola: 11897851 markings, 16680541 edges, 282011 markings/sec, 35 secs
lola: 13469169 markings, 18795140 edges, 314264 markings/sec, 40 secs
lola: 14957094 markings, 20858319 edges, 297585 markings/sec, 45 secs
lola: 16455799 markings, 22911420 edges, 299741 markings/sec, 50 secs
lola: 17927162 markings, 24949008 edges, 294273 markings/sec, 55 secs
lola: 19285999 markings, 26912965 edges, 271767 markings/sec, 60 secs
lola: 20778951 markings, 28974324 edges, 298590 markings/sec, 65 secs
lola: 22224548 markings, 30991085 edges, 289119 markings/sec, 70 secs
lola: 23545465 markings, 32935258 edges, 264183 markings/sec, 75 secs
lola: 24965031 markings, 34903734 edges, 283913 markings/sec, 80 secs
lola: 26368216 markings, 36884775 edges, 280637 markings/sec, 85 secs
lola: 27685829 markings, 38767877 edges, 263523 markings/sec, 90 secs
lola: 28948525 markings, 40605435 edges, 252539 markings/sec, 95 secs
lola: 30349271 markings, 42560349 edges, 280149 markings/sec, 100 secs
lola: 31709882 markings, 44472262 edges, 272122 markings/sec, 105 secs
lola: 33003566 markings, 46341891 edges, 258737 markings/sec, 110 secs
lola: 34291287 markings, 48194767 edges, 257544 markings/sec, 115 secs
lola: 35695251 markings, 50156483 edges, 280793 markings/sec, 120 secs
lola: 37040708 markings, 52043685 edges, 269091 markings/sec, 125 secs
lola: 38303513 markings, 53887899 edges, 252561 markings/sec, 130 secs
lola: 39637344 markings, 55756721 edges, 266766 markings/sec, 135 secs
lola: 41028097 markings, 57748454 edges, 278151 markings/sec, 140 secs
lola: 42399405 markings, 59656727 edges, 274262 markings/sec, 145 secs
lola: 43732059 markings, 61559804 edges, 266531 markings/sec, 150 secs
lola: 45002381 markings, 63430756 edges, 254064 markings/sec, 155 secs
lola: 46349569 markings, 65351729 edges, 269438 markings/sec, 160 secs
lola: 47720493 markings, 67209337 edges, 274185 markings/sec, 165 secs
lola: 49063940 markings, 69048406 edges, 268689 markings/sec, 170 secs
lola: 50351207 markings, 70844985 edges, 257453 markings/sec, 175 secs
lola: 51719844 markings, 72714810 edges, 273727 markings/sec, 180 secs
lola: 53045912 markings, 74537560 edges, 265214 markings/sec, 185 secs
lola: 54248599 markings, 76285258 edges, 240537 markings/sec, 190 secs
lola: 55532064 markings, 78063225 edges, 256693 markings/sec, 195 secs
lola: 56884730 markings, 79946343 edges, 270533 markings/sec, 200 secs
lola: 58185381 markings, 81743068 edges, 260130 markings/sec, 205 secs
lola: 59416755 markings, 83516301 edges, 246275 markings/sec, 210 secs
lola: 60676528 markings, 85344762 edges, 251955 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(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 1279912 markings, 2378911 edges, 255982 markings/sec, 0 secs
lola: 2558956 markings, 4653032 edges, 255809 markings/sec, 5 secs
lola: 3769084 markings, 6888429 edges, 242026 markings/sec, 10 secs
lola: 5007667 markings, 9130746 edges, 247717 markings/sec, 15 secs
lola: 6129269 markings, 11289544 edges, 224320 markings/sec, 20 secs
lola: 7317569 markings, 13498751 edges, 237660 markings/sec, 25 secs
lola: 8460307 markings, 15655193 edges, 228548 markings/sec, 30 secs
lola: 9608287 markings, 17821183 edges, 229596 markings/sec, 35 secs
lola: 10758787 markings, 19985902 edges, 230100 markings/sec, 40 secs
lola: 11893225 markings, 22133447 edges, 226888 markings/sec, 45 secs
lola: 13073443 markings, 24361010 edges, 236044 markings/sec, 50 secs
lola: 14270746 markings, 26577451 edges, 239461 markings/sec, 55 secs
lola: 15321161 markings, 28739279 edges, 210083 markings/sec, 60 secs
lola: 16413312 markings, 30945763 edges, 218430 markings/sec, 65 secs
lola: 17673453 markings, 33113577 edges, 252028 markings/sec, 70 secs
lola: 18906973 markings, 35267760 edges, 246704 markings/sec, 75 secs
lola: 20065879 markings, 37357714 edges, 231781 markings/sec, 80 secs
lola: 21195691 markings, 39448579 edges, 225962 markings/sec, 85 secs
lola: 22372629 markings, 41596983 edges, 235388 markings/sec, 90 secs
lola: 23559722 markings, 43721380 edges, 237419 markings/sec, 95 secs
lola: 24625191 markings, 45801299 edges, 213094 markings/sec, 100 secs
lola: 25662140 markings, 47853971 edges, 207390 markings/sec, 105 secs
lola: 26776193 markings, 49904113 edges, 222811 markings/sec, 110 secs
lola: 27932124 markings, 52053896 edges, 231186 markings/sec, 115 secs
lola: 29074858 markings, 54150534 edges, 228547 markings/sec, 120 secs
lola: 30159947 markings, 56240533 edges, 217018 markings/sec, 125 secs
lola: 31153729 markings, 58263943 edges, 198756 markings/sec, 130 secs
lola: 32198520 markings, 60313399 edges, 208958 markings/sec, 135 secs
lola: 33327849 markings, 62388092 edges, 225866 markings/sec, 140 secs
lola: 34433359 markings, 64543464 edges, 221102 markings/sec, 145 secs
lola: 35565016 markings, 66636468 edges, 226331 markings/sec, 150 secs
lola: 36634089 markings, 68695454 edges, 213815 markings/sec, 155 secs
lola: 37629293 markings, 70711309 edges, 199041 markings/sec, 160 secs
lola: 38641033 markings, 72729112 edges, 202348 markings/sec, 165 secs
lola: 39766669 markings, 74786517 edges, 225127 markings/sec, 170 secs
lola: 40868370 markings, 76930959 edges, 220340 markings/sec, 175 secs
lola: 41995523 markings, 79006893 edges, 225431 markings/sec, 180 secs
lola: 43049742 markings, 81028908 edges, 210844 markings/sec, 185 secs
lola: 44023647 markings, 82996650 edges, 194781 markings/sec, 190 secs
lola: 45012147 markings, 84975449 edges, 197700 markings/sec, 195 secs
lola: 46117804 markings, 87000908 edges, 221131 markings/sec, 200 secs
lola: 47211244 markings, 89115617 edges, 218688 markings/sec, 205 secs
lola: 48330071 markings, 91207605 edges, 223765 markings/sec, 210 secs
lola: 49398337 markings, 93241997 edges, 213653 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 DES-PT-10a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494630239323

--------------------
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="DES-PT-10a"
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/DES-PT-10a.tgz
mv DES-PT-10a 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 DES-PT-10a, 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 r018-ebro-149436309100245"
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 ;