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-3254
Executing tool lola
Input is S_IBMB2S565S3960-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649800092
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496351675356


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


checking for too many tokens
===========================================================================================
S_IBMB2S565S3960-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_IBMB2S565S3960-PT-none @ 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: 452/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: finding significant places
lola: 273 places, 179 transitions, 172 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 171 transition conflict sets
lola: TASK
lola: reading formula from IBMB2S565S3960-PT-none-UpperBounds.task
lola: MAX(decision.s00002762.activated) : MAX(callToTask.s00003980.output.s00001080) : MAX(callToTask.s00003975.output.s00001077) : MAX(callToTask.s00003962.input.s00001066) : MAX(merge.s00001161.input.s00001129) : MAX(merge.s00001161.input.s00001052) : MAX(callToProcess.s00003904.input.s00001052) : MAX(callToTask.s00003967.inputCriterion.s00001053.used) : MAX(fork.s00001298.input.s00001068) : MAX(fork.s00001403.activated.s00001075) : MAX(endNode.s00001402.input.default) : MAX(callToTask.s00003973.output.s00001054) : MAX(callToTask.s00003981.input.s00001068) : MAX(callToTask.s00003913.inputCriterion.s00001053.used) : MAX(callToProcess.s00003904.input.s00001052) : MAX(callToTask.s00003972.inputCriterion.s00001053.used)
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(decision.s00002762.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 1975158 markings, 3279858 edges, 395032 markings/sec, 0 secs
lola: 3712623 markings, 6279552 edges, 347493 markings/sec, 5 secs
lola: 4932900 markings, 8692638 edges, 244055 markings/sec, 10 secs
lola: 6629217 markings, 11677803 edges, 339263 markings/sec, 15 secs
lola: 8119450 markings, 14285558 edges, 298047 markings/sec, 20 secs
lola: 9585802 markings, 16838677 edges, 293270 markings/sec, 25 secs
lola: 11278795 markings, 19642433 edges, 338599 markings/sec, 30 secs
lola: 12764249 markings, 22181902 edges, 297091 markings/sec, 35 secs
lola: 13760571 markings, 24221295 edges, 199264 markings/sec, 40 secs
lola: 15045133 markings, 26788509 edges, 256912 markings/sec, 45 secs
lola: 16522976 markings, 29476562 edges, 295569 markings/sec, 50 secs
lola: 17540526 markings, 31576588 edges, 203510 markings/sec, 55 secs
lola: 18577266 markings, 33771416 edges, 207348 markings/sec, 60 secs
lola: 19951533 markings, 36286290 edges, 274853 markings/sec, 65 secs
lola: 21384860 markings, 38955582 edges, 286665 markings/sec, 70 secs
lola: 22813390 markings, 41575916 edges, 285706 markings/sec, 75 secs
lola: 24168196 markings, 44053465 edges, 270961 markings/sec, 80 secs
lola: 25422609 markings, 46411519 edges, 250883 markings/sec, 85 secs
lola: 27149191 markings, 49204425 edges, 345316 markings/sec, 90 secs
lola: 29026186 markings, 52435251 edges, 375399 markings/sec, 95 secs
lola: 30588630 markings, 55332549 edges, 312489 markings/sec, 100 secs
lola: 31892458 markings, 57679434 edges, 260766 markings/sec, 105 secs
lola: 33605454 markings, 60725620 edges, 342599 markings/sec, 110 secs
lola: 35181755 markings, 63524516 edges, 315260 markings/sec, 115 secs
lola: 36830612 markings, 66417447 edges, 329771 markings/sec, 120 secs
lola: 38518927 markings, 69341957 edges, 337663 markings/sec, 125 secs
lola: 40017148 markings, 72191374 edges, 299644 markings/sec, 130 secs
lola: 41257051 markings, 74717712 edges, 247981 markings/sec, 135 secs
lola: 42560790 markings, 77326096 edges, 260748 markings/sec, 140 secs
lola: 43599137 markings, 79559402 edges, 207669 markings/sec, 145 secs
lola: 44572784 markings, 81555241 edges, 194729 markings/sec, 150 secs
lola: 45830423 markings, 83882029 edges, 251528 markings/sec, 155 secs
lola: 47474646 markings, 86696153 edges, 328845 markings/sec, 160 secs
lola: 48810624 markings, 89287510 edges, 267196 markings/sec, 165 secs
lola: 50302846 markings, 91986549 edges, 298444 markings/sec, 170 secs
lola: 51892717 markings, 94851411 edges, 317974 markings/sec, 175 secs
lola: 53630915 markings, 97841050 edges, 347640 markings/sec, 180 secs
lola: 55115937 markings, 100577717 edges, 297004 markings/sec, 185 secs
lola: 56107363 markings, 102952132 edges, 198285 markings/sec, 190 secs
lola: 56984884 markings, 105282145 edges, 175504 markings/sec, 195 secs
lola: 57631258 markings, 106999458 edges, 129275 markings/sec, 200 secs
lola: 58718573 markings, 109259417 edges, 217463 markings/sec, 205 secs
lola: 60127434 markings, 111961429 edges, 281772 markings/sec, 210 secs
lola: 61425687 markings, 114588631 edges, 259651 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(callToTask.s00003980.output.s00001080)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 3135125 markings, 3870623 edges, 627025 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: ========================================
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003975.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003962.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 1474039 markings, 3596152 edges, 294808 markings/sec, 0 secs
lola: 2969811 markings, 7210701 edges, 299154 markings/sec, 5 secs
lola: 4236296 markings, 10381036 edges, 253297 markings/sec, 10 secs
lola: 5503871 markings, 13453592 edges, 253515 markings/sec, 15 secs
lola: 7018631 markings, 17056446 edges, 302952 markings/sec, 20 secs
lola: 8366959 markings, 20375001 edges, 269666 markings/sec, 25 secs
lola: 9627109 markings, 23446196 edges, 252030 markings/sec, 30 secs
lola: 10610812 markings, 26530711 edges, 196741 markings/sec, 35 secs
lola: 11456582 markings, 29381504 edges, 169154 markings/sec, 40 secs
lola: 12589598 markings, 32470859 edges, 226603 markings/sec, 45 secs
lola: 13717133 markings, 35502216 edges, 225507 markings/sec, 50 secs
lola: 14839192 markings, 38526504 edges, 224412 markings/sec, 55 secs
lola: 16240582 markings, 41692814 edges, 280278 markings/sec, 60 secs
lola: 17750464 markings, 44938015 edges, 301976 markings/sec, 65 secs
lola: 18957599 markings, 48020705 edges, 241427 markings/sec, 70 secs
lola: 20147116 markings, 50795215 edges, 237903 markings/sec, 75 secs
lola: 21601742 markings, 54131248 edges, 290925 markings/sec, 80 secs
lola: 23042365 markings, 57369488 edges, 288125 markings/sec, 85 secs
lola: 24519424 markings, 60798404 edges, 295412 markings/sec, 90 secs
lola: 25569491 markings, 63919839 edges, 210013 markings/sec, 95 secs
lola: 26779116 markings, 67074486 edges, 241925 markings/sec, 100 secs
lola: 27631468 markings, 69970888 edges, 170470 markings/sec, 105 secs
lola: 28405566 markings, 72252629 edges, 154820 markings/sec, 110 secs
lola: 29212164 markings, 74566722 edges, 161320 markings/sec, 115 secs
lola: 30532658 markings, 77848614 edges, 264099 markings/sec, 120 secs
lola: 32045733 markings, 81111980 edges, 302615 markings/sec, 125 secs
lola: 33143683 markings, 83638179 edges, 219590 markings/sec, 130 secs
lola: 34076827 markings, 85952932 edges, 186629 markings/sec, 135 secs
lola: 35139069 markings, 88823772 edges, 212448 markings/sec, 140 secs
lola: 36086950 markings, 91716410 edges, 189576 markings/sec, 145 secs
lola: 36889943 markings, 93907757 edges, 160599 markings/sec, 150 secs
lola: 37943755 markings, 96719766 edges, 210762 markings/sec, 155 secs
lola: 39169678 markings, 99928857 edges, 245185 markings/sec, 160 secs
lola: 40483830 markings, 103476732 edges, 262830 markings/sec, 165 secs
lola: 41710996 markings, 106809748 edges, 245433 markings/sec, 170 secs
lola: 42676991 markings, 109480672 edges, 193199 markings/sec, 175 secs
lola: 43859357 markings, 112631601 edges, 236473 markings/sec, 180 secs
lola: 45169980 markings, 116118587 edges, 262125 markings/sec, 185 secs
lola: 46363680 markings, 119266625 edges, 238740 markings/sec, 190 secs
lola: 47634141 markings, 122516385 edges, 254092 markings/sec, 195 secs
lola: 48771223 markings, 125217495 edges, 227416 markings/sec, 200 secs
lola: 49944660 markings, 128136300 edges, 234687 markings/sec, 205 secs
lola: 50959564 markings, 130787033 edges, 202981 markings/sec, 210 secs
lola: 52092093 markings, 133500476 edges, 226506 markings/sec, 215 secs
lola: 53012550 markings, 136644920 edges, 184091 markings/sec, 220 secs
lola: 54108416 markings, 140017967 edges, 219173 markings/sec, 225 secs
lola: 55336941 markings, 143230403 edges, 245705 markings/sec, 230 secs
lola: 56524218 markings, 146448445 edges, 237455 markings/sec, 235 secs
lola: 57638190 markings, 149466099 edges, 222794 markings/sec, 240 secs
lola: 59248152 markings, 152767472 edges, 321992 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001161.input.s00001129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 1682188 markings, 3504142 edges, 336438 markings/sec, 0 secs
lola: 3208316 markings, 6557339 edges, 305226 markings/sec, 5 secs
lola: 4542620 markings, 9601063 edges, 266861 markings/sec, 10 secs
lola: 6183814 markings, 13057044 edges, 328239 markings/sec, 15 secs
lola: 7742167 markings, 16099633 edges, 311671 markings/sec, 20 secs
lola: 9137924 markings, 19066944 edges, 279151 markings/sec, 25 secs
lola: 10585308 markings, 21965765 edges, 289477 markings/sec, 30 secs
lola: 11854808 markings, 24641092 edges, 253900 markings/sec, 35 secs
lola: 13157544 markings, 27299725 edges, 260547 markings/sec, 40 secs
lola: 14168465 markings, 29997847 edges, 202184 markings/sec, 45 secs
lola: 14925656 markings, 32587580 edges, 151438 markings/sec, 50 secs
lola: 16251629 markings, 35909075 edges, 265195 markings/sec, 55 secs
lola: 17441318 markings, 38827698 edges, 237938 markings/sec, 60 secs
lola: 18865560 markings, 41915930 edges, 284848 markings/sec, 65 secs
lola: 20108314 markings, 44827265 edges, 248551 markings/sec, 70 secs
lola: 21288855 markings, 47640521 edges, 236108 markings/sec, 75 secs
lola: 23129884 markings, 50977248 edges, 368206 markings/sec, 80 secs
lola: 24841775 markings, 54023166 edges, 342378 markings/sec, 85 secs
lola: 26723333 markings, 57203506 edges, 376312 markings/sec, 90 secs
lola: 28902531 markings, 60800047 edges, 435840 markings/sec, 95 secs
lola: 30386721 markings, 64104716 edges, 296838 markings/sec, 100 secs
lola: 31840034 markings, 67364226 edges, 290663 markings/sec, 105 secs
lola: 32972013 markings, 70062163 edges, 226396 markings/sec, 110 secs
lola: 34063331 markings, 72486334 edges, 218264 markings/sec, 115 secs
lola: 35905551 markings, 75834472 edges, 368444 markings/sec, 120 secs
lola: 37520607 markings, 79133150 edges, 323011 markings/sec, 125 secs
lola: 39350144 markings, 82638856 edges, 365907 markings/sec, 130 secs
lola: 40911448 markings, 85815553 edges, 312261 markings/sec, 135 secs
lola: 41908540 markings, 88489769 edges, 199418 markings/sec, 140 secs
lola: 42689242 markings, 90576207 edges, 156140 markings/sec, 145 secs
lola: 44258321 markings, 93715974 edges, 313816 markings/sec, 150 secs
lola: 45525089 markings, 96568584 edges, 253354 markings/sec, 155 secs
lola: 46912243 markings, 98914560 edges, 277431 markings/sec, 160 secs
lola: 47904081 markings, 101090447 edges, 198368 markings/sec, 165 secs
lola: 49156126 markings, 103506732 edges, 250409 markings/sec, 170 secs
lola: 50290685 markings, 105864701 edges, 226912 markings/sec, 175 secs
lola: 51412859 markings, 108918174 edges, 224435 markings/sec, 180 secs
lola: 52269495 markings, 111223767 edges, 171327 markings/sec, 185 secs
lola: 53183206 markings, 113263621 edges, 182742 markings/sec, 190 secs
lola: 53869636 markings, 115037697 edges, 137286 markings/sec, 195 secs
lola: 55208603 markings, 117951354 edges, 267793 markings/sec, 200 secs
lola: 56204478 markings, 120426667 edges, 199175 markings/sec, 205 secs
lola: 57787599 markings, 123930438 edges, 316624 markings/sec, 210 secs
lola: 59217468 markings, 127198178 edges, 285974 markings/sec, 215 secs
lola: 60526357 markings, 130406202 edges, 261778 markings/sec, 220 secs
lola: 61777584 markings, 133081038 edges, 250245 markings/sec, 225 secs
lola: 62740320 markings, 135488701 edges, 192547 markings/sec, 230 secs
lola: 64204983 markings, 138793293 edges, 292933 markings/sec, 235 secs
lola: 65599051 markings, 141922336 edges, 278814 markings/sec, 240 secs
lola: 66831425 markings, 144955857 edges, 246475 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001161.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 1494953 markings, 3572669 edges, 298991 markings/sec, 0 secs
lola: 2926591 markings, 6939147 edges, 286328 markings/sec, 5 secs
lola: 4097421 markings, 9822102 edges, 234166 markings/sec, 10 secs
lola: 5365053 markings, 13067014 edges, 253526 markings/sec, 15 secs
lola: 6846762 markings, 16462861 edges, 296342 markings/sec, 20 secs
lola: 8255551 markings, 19537295 edges, 281758 markings/sec, 25 secs
lola: 9617521 markings, 22861655 edges, 272394 markings/sec, 30 secs
lola: 11003318 markings, 25845718 edges, 277159 markings/sec, 35 secs
lola: 12149061 markings, 28755153 edges, 229149 markings/sec, 40 secs
lola: 13278843 markings, 31407041 edges, 225956 markings/sec, 45 secs
lola: 14369873 markings, 34388591 edges, 218206 markings/sec, 50 secs
lola: 15204126 markings, 37489583 edges, 166851 markings/sec, 55 secs
lola: 15964429 markings, 40544413 edges, 152061 markings/sec, 60 secs
lola: 17183104 markings, 43843537 edges, 243735 markings/sec, 65 secs
lola: 18321264 markings, 46931919 edges, 227632 markings/sec, 70 secs
lola: 19530194 markings, 50181751 edges, 241786 markings/sec, 75 secs
lola: 20638340 markings, 53177250 edges, 221629 markings/sec, 80 secs
lola: 21792638 markings, 56287846 edges, 230860 markings/sec, 85 secs
lola: 22920638 markings, 59214035 edges, 225600 markings/sec, 90 secs
lola: 24605402 markings, 62630106 edges, 336953 markings/sec, 95 secs
lola: 26025773 markings, 66137932 edges, 284074 markings/sec, 100 secs
lola: 27152350 markings, 68968203 edges, 225315 markings/sec, 105 secs
lola: 28647437 markings, 72258734 edges, 299017 markings/sec, 110 secs
lola: 29984430 markings, 75330910 edges, 267399 markings/sec, 115 secs
lola: 31392133 markings, 78390414 edges, 281541 markings/sec, 120 secs
lola: 32817742 markings, 81476446 edges, 285122 markings/sec, 125 secs
lola: 33880943 markings, 84385030 edges, 212640 markings/sec, 130 secs
lola: 34964537 markings, 87227700 edges, 216719 markings/sec, 135 secs
lola: 35997423 markings, 90347656 edges, 206577 markings/sec, 140 secs
lola: 36848337 markings, 92793866 edges, 170183 markings/sec, 145 secs
lola: 37673932 markings, 95092295 edges, 165119 markings/sec, 150 secs
lola: 39161622 markings, 98152416 edges, 297538 markings/sec, 155 secs
lola: 40443104 markings, 101324799 edges, 256296 markings/sec, 160 secs
lola: 41846115 markings, 104625463 edges, 280602 markings/sec, 165 secs
lola: 43341708 markings, 108036192 edges, 299119 markings/sec, 170 secs
lola: 44812073 markings, 111319299 edges, 294073 markings/sec, 175 secs
lola: 45732335 markings, 113664964 edges, 184052 markings/sec, 180 secs
lola: 46426349 markings, 115612610 edges, 138803 markings/sec, 185 secs
lola: 47599746 markings, 118464027 edges, 234679 markings/sec, 190 secs
lola: 48590467 markings, 120963172 edges, 198144 markings/sec, 195 secs
lola: 49648468 markings, 123684092 edges, 211600 markings/sec, 200 secs
lola: 51037087 markings, 126124752 edges, 277724 markings/sec, 205 secs
lola: 51874399 markings, 128281732 edges, 167462 markings/sec, 210 secs
lola: 52803653 markings, 130431332 edges, 185851 markings/sec, 215 secs
lola: 53619936 markings, 132323127 edges, 163257 markings/sec, 220 secs
lola: 54653341 markings, 134802860 edges, 206681 markings/sec, 225 secs
lola: 55531179 markings, 137686963 edges, 175568 markings/sec, 230 secs
lola: 56300941 markings, 140288266 edges, 153952 markings/sec, 235 secs
lola: 57081776 markings, 142358300 edges, 156167 markings/sec, 240 secs
lola: 57735927 markings, 144169623 edges, 130830 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003904.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 7 will run for 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003967.inputCriterion.s00001053.used)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 1720812 markings, 3006727 edges, 344162 markings/sec, 0 secs
lola: 3644478 markings, 6048836 edges, 384733 markings/sec, 5 secs
lola: 5301442 markings, 8917905 edges, 331393 markings/sec, 10 secs
lola: 6615750 markings, 11480835 edges, 262862 markings/sec, 15 secs
lola: 8444355 markings, 14410923 edges, 365721 markings/sec, 20 secs
lola: 10123632 markings, 17326530 edges, 335855 markings/sec, 25 secs
lola: 11935079 markings, 20360565 edges, 362289 markings/sec, 30 secs
lola: 13810878 markings, 23375954 edges, 375160 markings/sec, 35 secs
lola: 15481292 markings, 26304248 edges, 334083 markings/sec, 40 secs
lola: 16834801 markings, 28897937 edges, 270702 markings/sec, 45 secs
lola: 18352359 markings, 31769738 edges, 303512 markings/sec, 50 secs
lola: 19735169 markings, 34424969 edges, 276562 markings/sec, 55 secs
lola: 20851795 markings, 36864848 edges, 223325 markings/sec, 60 secs
lola: 22539050 markings, 39930373 edges, 337451 markings/sec, 65 secs
lola: 24103451 markings, 42788803 edges, 312880 markings/sec, 70 secs
lola: 25561825 markings, 45478415 edges, 291675 markings/sec, 75 secs
lola: 27017829 markings, 48118067 edges, 291201 markings/sec, 80 secs
lola: 28486061 markings, 50784282 edges, 293646 markings/sec, 85 secs
lola: 30424803 markings, 53910741 edges, 387748 markings/sec, 90 secs
lola: 32216740 markings, 57144758 edges, 358387 markings/sec, 95 secs
lola: 33518950 markings, 59599640 edges, 260442 markings/sec, 100 secs
lola: 35121892 markings, 62412644 edges, 320588 markings/sec, 105 secs
lola: 36803048 markings, 65435027 edges, 336231 markings/sec, 110 secs
lola: 38456308 markings, 68353613 edges, 330652 markings/sec, 115 secs
lola: 40258555 markings, 71496555 edges, 360449 markings/sec, 120 secs
lola: 42053908 markings, 74690518 edges, 359071 markings/sec, 125 secs
lola: 43395526 markings, 77459538 edges, 268324 markings/sec, 130 secs
lola: 44824320 markings, 80200747 edges, 285759 markings/sec, 135 secs
lola: 45882029 markings, 82598475 edges, 211542 markings/sec, 140 secs
lola: 46876390 markings, 84629616 edges, 198872 markings/sec, 145 secs
lola: 47985935 markings, 86772864 edges, 221909 markings/sec, 150 secs
lola: 49717351 markings, 89670618 edges, 346283 markings/sec, 155 secs
lola: 51219478 markings, 92587471 edges, 300425 markings/sec, 160 secs
lola: 52883893 markings, 95598398 edges, 332883 markings/sec, 165 secs
lola: 54594315 markings, 98679092 edges, 342084 markings/sec, 170 secs
lola: 56402514 markings, 101794555 edges, 361640 markings/sec, 175 secs
lola: 57910683 markings, 104621371 edges, 301634 markings/sec, 180 secs
lola: 58912219 markings, 107104117 edges, 200307 markings/sec, 185 secs
lola: 59739780 markings, 109448399 edges, 165512 markings/sec, 190 secs
lola: 60448043 markings, 111310278 edges, 141653 markings/sec, 195 secs
lola: 61935646 markings, 114156741 edges, 297521 markings/sec, 200 secs
lola: 63374097 markings, 116809208 edges, 287690 markings/sec, 205 secs
lola: 64458031 markings, 119117067 edges, 216787 markings/sec, 210 secs
lola: 65904121 markings, 121550680 edges, 289218 markings/sec, 215 secs
lola: 67012270 markings, 123583718 edges, 221630 markings/sec, 220 secs
lola: 67957296 markings, 125420526 edges, 189005 markings/sec, 225 secs
lola: 69120325 markings, 127646867 edges, 232606 markings/sec, 230 secs
lola: 70299564 markings, 130294291 edges, 235848 markings/sec, 235 secs
lola: 71076087 markings, 132586037 edges, 155305 markings/sec, 240 secs
lola: 72026415 markings, 134667190 edges, 190066 markings/sec, 245 secs
lola: 72860348 markings, 136384184 edges, 166787 markings/sec, 250 secs
lola: 73620538 markings, 138091364 edges, 152038 markings/sec, 255 secs
lola: 74291789 markings, 139688705 edges, 134250 markings/sec, 260 secs
lola: 75635484 markings, 142337126 edges, 268739 markings/sec, 265 secs
lola: 76667318 markings, 144685231 edges, 206367 markings/sec, 270 secs
lola: 77908658 markings, 147266458 edges, 248268 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(fork.s00001298.input.s00001068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: ========================================
lola: subprocess 9 will run for 323 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(fork.s00001403.activated.s00001075)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 1912027 markings, 3377487 edges, 382405 markings/sec, 0 secs
lola: 3567928 markings, 6451713 edges, 331180 markings/sec, 5 secs
lola: 5509681 markings, 9518324 edges, 388351 markings/sec, 10 secs
lola: 7285094 markings, 12589410 edges, 355083 markings/sec, 15 secs
lola: 9115427 markings, 15793027 edges, 366067 markings/sec, 20 secs
lola: 10703674 markings, 18774108 edges, 317649 markings/sec, 25 secs
lola: 12350162 markings, 21735015 edges, 329298 markings/sec, 30 secs
lola: 13875376 markings, 24572394 edges, 305043 markings/sec, 35 secs
lola: 15955073 markings, 27934783 edges, 415939 markings/sec, 40 secs
lola: 17906450 markings, 31363768 edges, 390275 markings/sec, 45 secs
lola: 19372861 markings, 34115020 edges, 293282 markings/sec, 50 secs
lola: 21071055 markings, 37107448 edges, 339639 markings/sec, 55 secs
lola: 22912685 markings, 40420467 edges, 368326 markings/sec, 60 secs
lola: 24710666 markings, 43584480 edges, 359596 markings/sec, 65 secs
lola: 26731046 markings, 47094614 edges, 404076 markings/sec, 70 secs
lola: 28439261 markings, 50302722 edges, 341643 markings/sec, 75 secs
lola: 29951018 markings, 53316176 edges, 302351 markings/sec, 80 secs
lola: 31381753 markings, 56345425 edges, 286147 markings/sec, 85 secs
lola: 32456507 markings, 58583274 edges, 214951 markings/sec, 90 secs
lola: 33533414 markings, 60791977 edges, 215381 markings/sec, 95 secs
lola: 35337936 markings, 63800731 edges, 360904 markings/sec, 100 secs
lola: 36807963 markings, 66585003 edges, 294005 markings/sec, 105 secs
lola: 38564968 markings, 69810098 edges, 351401 markings/sec, 110 secs
lola: 40404377 markings, 73124447 edges, 367882 markings/sec, 115 secs
lola: 42336414 markings, 76462531 edges, 386407 markings/sec, 120 secs
lola: 43922661 markings, 79468116 edges, 317249 markings/sec, 125 secs
lola: 45048564 markings, 82161886 edges, 225181 markings/sec, 130 secs
lola: 45786482 markings, 84393009 edges, 147584 markings/sec, 135 secs
lola: 46478806 markings, 86117883 edges, 138465 markings/sec, 140 secs
lola: 48047000 markings, 88858787 edges, 313639 markings/sec, 145 secs
lola: 49838573 markings, 91899779 edges, 358315 markings/sec, 150 secs
lola: 51479724 markings, 94939826 edges, 328230 markings/sec, 155 secs
lola: 52959209 markings, 97810355 edges, 295897 markings/sec, 160 secs
lola: 54819840 markings, 101108357 edges, 372126 markings/sec, 165 secs
lola: 56487340 markings, 104176470 edges, 333500 markings/sec, 170 secs
lola: 58356335 markings, 107137282 edges, 373799 markings/sec, 175 secs
lola: 60043657 markings, 110058291 edges, 337464 markings/sec, 180 secs
lola: 61856326 markings, 113219034 edges, 362534 markings/sec, 185 secs
lola: 63314546 markings, 115986549 edges, 291644 markings/sec, 190 secs
lola: 64939994 markings, 118887785 edges, 325090 markings/sec, 195 secs
lola: 66352479 markings, 121565079 edges, 282497 markings/sec, 200 secs
lola: 68298365 markings, 124734248 edges, 389177 markings/sec, 205 secs
lola: 70223139 markings, 128041133 edges, 384955 markings/sec, 210 secs
lola: 71779896 markings, 130926696 edges, 311351 markings/sec, 215 secs
lola: 73279742 markings, 133615665 edges, 299969 markings/sec, 220 secs
lola: 74945301 markings, 136592824 edges, 333112 markings/sec, 225 secs
lola: 76591804 markings, 139507818 edges, 329301 markings/sec, 230 secs
lola: 78376508 markings, 142624939 edges, 356941 markings/sec, 235 secs
lola: 80165101 markings, 145737825 edges, 357719 markings/sec, 240 secs
lola: 81635251 markings, 148635015 edges, 294030 markings/sec, 245 secs
lola: 83064590 markings, 151441291 edges, 285868 markings/sec, 250 secs
lola: 84306352 markings, 154139091 edges, 248352 markings/sec, 255 secs
lola: 85300883 markings, 156221983 edges, 198906 markings/sec, 260 secs
lola: 85745868 markings, 157112258 edges, 88997 markings/sec, 265 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(endNode.s00001402.input.default)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 11 will run for 398 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003973.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: ========================================
lola: subprocess 12 will run for 498 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003981.input.s00001068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 1826186 markings, 3208000 edges, 365237 markings/sec, 0 secs
lola: 3479640 markings, 6267320 edges, 330691 markings/sec, 5 secs
lola: 5576394 markings, 9323738 edges, 419351 markings/sec, 10 secs
lola: 7458205 markings, 12218558 edges, 376362 markings/sec, 15 secs
lola: 9178713 markings, 15128206 edges, 344102 markings/sec, 20 secs
lola: 10881742 markings, 18211663 edges, 340606 markings/sec, 25 secs
lola: 12351732 markings, 20951510 edges, 293998 markings/sec, 30 secs
lola: 13930759 markings, 23811815 edges, 315805 markings/sec, 35 secs
lola: 15474031 markings, 26587447 edges, 308654 markings/sec, 40 secs
lola: 17484612 markings, 29826817 edges, 402116 markings/sec, 45 secs
lola: 19238383 markings, 33063595 edges, 350754 markings/sec, 50 secs
lola: 20537749 markings, 35488472 edges, 259873 markings/sec, 55 secs
lola: 22249599 markings, 38476807 edges, 342370 markings/sec, 60 secs
lola: 23976575 markings, 41584982 edges, 345395 markings/sec, 65 secs
lola: 25674264 markings, 44576418 edges, 339538 markings/sec, 70 secs
lola: 27541266 markings, 47821959 edges, 373400 markings/sec, 75 secs
lola: 29210316 markings, 50909457 edges, 333810 markings/sec, 80 secs
lola: 30627320 markings, 53799744 edges, 283401 markings/sec, 85 secs
lola: 32041544 markings, 56678404 edges, 282845 markings/sec, 90 secs
lola: 33136722 markings, 58977467 edges, 219036 markings/sec, 95 secs
lola: 34132552 markings, 61057018 edges, 199166 markings/sec, 100 secs
lola: 35644013 markings, 63695200 edges, 302292 markings/sec, 105 secs
lola: 37249391 markings, 66519255 edges, 321076 markings/sec, 110 secs
lola: 38882861 markings, 69620909 edges, 326694 markings/sec, 115 secs
lola: 40574987 markings, 72693645 edges, 338425 markings/sec, 120 secs
lola: 42444726 markings, 75963229 edges, 373948 markings/sec, 125 secs
lola: 44017295 markings, 78841794 edges, 314514 markings/sec, 130 secs
lola: 45329598 markings, 81654889 edges, 262461 markings/sec, 135 secs
lola: 46334020 markings, 84320214 edges, 200884 markings/sec, 140 secs
lola: 47068462 markings, 86252124 edges, 146888 markings/sec, 145 secs
lola: 48274072 markings, 88504996 edges, 241122 markings/sec, 150 secs
lola: 49953307 markings, 91471720 edges, 335847 markings/sec, 155 secs
lola: 51661009 markings, 94417661 edges, 341540 markings/sec, 160 secs
lola: 53072180 markings, 97206023 edges, 282234 markings/sec, 165 secs
lola: 54745452 markings, 100145177 edges, 334654 markings/sec, 170 secs
lola: 56438874 markings, 103203779 edges, 338684 markings/sec, 175 secs
lola: 58138440 markings, 106042907 edges, 339913 markings/sec, 180 secs
lola: 59843459 markings, 108581016 edges, 341004 markings/sec, 185 secs
lola: 61417125 markings, 111149566 edges, 314733 markings/sec, 190 secs
lola: 63183460 markings, 114061810 edges, 353267 markings/sec, 195 secs
lola: 64808999 markings, 117034220 edges, 325108 markings/sec, 200 secs
lola: 66310921 markings, 119794953 edges, 300384 markings/sec, 205 secs
lola: 67779866 markings, 122521451 edges, 293789 markings/sec, 210 secs
lola: 69334137 markings, 125241031 edges, 310854 markings/sec, 215 secs
lola: 71286662 markings, 128398697 edges, 390505 markings/sec, 220 secs
lola: 72897350 markings, 131362674 edges, 322138 markings/sec, 225 secs
lola: 74188266 markings, 133785679 edges, 258183 markings/sec, 230 secs
lola: 75811790 markings, 136623116 edges, 324705 markings/sec, 235 secs
lola: 77467667 markings, 139608193 edges, 331175 markings/sec, 240 secs
lola: 79094183 markings, 142476808 edges, 325303 markings/sec, 245 secs
lola: 80789845 markings, 145431273 edges, 339132 markings/sec, 250 secs
lola: 82557268 markings, 148556608 edges, 353485 markings/sec, 255 secs
lola: 83894795 markings, 151316159 edges, 267505 markings/sec, 260 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 574 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003913.inputCriterion.s00001053.used)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: 3063709 markings, 3758959 edges, 612742 markings/sec, 0 secs
lola: 6146117 markings, 7564731 edges, 616482 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: subprocess 14 will run for 855 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003904.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: subprocess 15 will run for 1710 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003972.inputCriterion.s00001053.used)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 688 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: ========================================
lola: ========================================
lola: 1543478 markings, 3633979 edges, 308696 markings/sec, 0 secs
lola: 2934042 markings, 6855156 edges, 278113 markings/sec, 5 secs
lola: 4422570 markings, 10039786 edges, 297706 markings/sec, 10 secs
lola: 5734100 markings, 13345285 edges, 262306 markings/sec, 15 secs
lola: 7088531 markings, 16524229 edges, 270886 markings/sec, 20 secs
lola: 8389337 markings, 19772894 edges, 260161 markings/sec, 25 secs
lola: 9587703 markings, 22646480 edges, 239673 markings/sec, 30 secs
lola: 10911055 markings, 25950347 edges, 264670 markings/sec, 35 secs
lola: 12124035 markings, 28899872 edges, 242596 markings/sec, 40 secs
lola: 13578022 markings, 32080152 edges, 290797 markings/sec, 45 secs
lola: 14775054 markings, 35485855 edges, 239406 markings/sec, 50 secs
lola: 16013386 markings, 38807450 edges, 247666 markings/sec, 55 secs
lola: 17144113 markings, 41941275 edges, 226145 markings/sec, 60 secs
lola: 18930983 markings, 45243376 edges, 357374 markings/sec, 65 secs
lola: 20548331 markings, 48565513 edges, 323470 markings/sec, 70 secs
lola: 21335317 markings, 51531341 edges, 157397 markings/sec, 75 secs
lola: 22369034 markings, 54966181 edges, 206743 markings/sec, 80 secs
lola: 23656663 markings, 58290927 edges, 257526 markings/sec, 85 secs
lola: 24830351 markings, 61411466 edges, 234738 markings/sec, 90 secs
lola: 26148772 markings, 65002925 edges, 263684 markings/sec, 95 secs
lola: 27377810 markings, 68370729 edges, 245808 markings/sec, 100 secs
lola: 28550377 markings, 71596147 edges, 234513 markings/sec, 105 secs
lola: 29413041 markings, 73878849 edges, 172533 markings/sec, 110 secs
lola: 30516671 markings, 76570475 edges, 220726 markings/sec, 115 secs
lola: 31624407 markings, 79110818 edges, 221547 markings/sec, 120 secs
lola: 32606473 markings, 81584952 edges, 196413 markings/sec, 125 secs
lola: 33618020 markings, 84016429 edges, 202309 markings/sec, 130 secs
lola: 34935439 markings, 86852366 edges, 263484 markings/sec, 135 secs
lola: 36234633 markings, 89925323 edges, 259839 markings/sec, 140 secs
lola: 37625130 markings, 93181806 edges, 278099 markings/sec, 145 secs
lola: 38844376 markings, 95749179 edges, 243849 markings/sec, 150 secs
lola: 40033970 markings, 98780413 edges, 237919 markings/sec, 155 secs
lola: 41264517 markings, 101610392 edges, 246109 markings/sec, 160 secs
lola: 42556093 markings, 104500105 edges, 258315 markings/sec, 165 secs
lola: 44264705 markings, 107523078 edges, 341722 markings/sec, 170 secs
lola: 45383208 markings, 110360171 edges, 223701 markings/sec, 175 secs
lola: 46339441 markings, 113236023 edges, 191247 markings/sec, 180 secs
lola: 47613835 markings, 116126218 edges, 254879 markings/sec, 185 secs
lola: 48824897 markings, 119220069 edges, 242212 markings/sec, 190 secs
lola: 50063301 markings, 122372080 edges, 247681 markings/sec, 195 secs
lola: 51179875 markings, 125193050 edges, 223315 markings/sec, 200 secs
lola: 52606710 markings, 128247149 edges, 285367 markings/sec, 205 secs
lola: 54741752 markings, 131447682 edges, 427008 markings/sec, 210 secs
lola: 56365711 markings, 134575363 edges, 324792 markings/sec, 215 secs
lola: 57358676 markings, 137377802 edges, 198593 markings/sec, 220 secs
lola: 58227312 markings, 140410292 edges, 173727 markings/sec, 225 secs
lola: 59280270 markings, 143681074 edges, 210592 markings/sec, 230 secs
lola: 60584451 markings, 146634888 edges, 260836 markings/sec, 235 secs
lola: 61732593 markings, 149569903 edges, 229628 markings/sec, 240 secs
lola: 63005812 markings, 152640907 edges, 254644 markings/sec, 245 secs
lola: 64140934 markings, 155407502 edges, 227024 markings/sec, 250 secs
lola: 65562051 markings, 158769061 edges, 284223 markings/sec, 255 secs
lola: 66988777 markings, 162058243 edges, 285345 markings/sec, 260 secs
lola: 68259317 markings, 165156396 edges, 254108 markings/sec, 265 secs
lola: 69662765 markings, 168486374 edges, 280690 markings/sec, 270 secs
lola: 70890092 markings, 171501218 edges, 245465 markings/sec, 275 secs
lola: 71924887 markings, 174161880 edges, 206959 markings/sec, 280 secs
lola: 73241256 markings, 177063662 edges, 263274 markings/sec, 285 secs
lola: 74651710 markings, 180404793 edges, 282091 markings/sec, 290 secs
lola: 76032052 markings, 183680533 edges, 276068 markings/sec, 295 secs
lola: 77342282 markings, 186883350 edges, 262046 markings/sec, 300 secs
lola: 78576592 markings, 189853330 edges, 246862 markings/sec, 305 secs
lola: 80211127 markings, 193195609 edges, 326907 markings/sec, 310 secs
lola: 81235684 markings, 196431453 edges, 204911 markings/sec, 315 secs
lola: 82447394 markings, 199655180 edges, 242342 markings/sec, 320 secs
lola: 83571613 markings, 202782778 edges, 224844 markings/sec, 325 secs
lola: 84876644 markings, 205974858 edges, 261006 markings/sec, 330 secs
lola: 87060227 markings, 209350359 edges, 436717 markings/sec, 335 secs
lola: 87929758 markings, 212322782 edges, 173906 markings/sec, 340 secs
lola: 88699145 markings, 215333701 edges, 153877 markings/sec, 345 secs
lola: 89827849 markings, 218528080 edges, 225741 markings/sec, 350 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 7 7 unknown unknown unknown 2 unknown 7 unknown 2 7 unknown 7 2 unknown
FORMULA IBMB2S565S3960-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-1 7 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-2 7 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-6 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-8 7 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-10 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-11 7 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-13 7 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-14 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA IBMB2S565S3960-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496353865535

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_IBMB2S565S3960-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_IBMB2S565S3960-PT-none.tgz
mv S_IBMB2S565S3960-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_IBMB2S565S3960-PT-none, 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 r118-blw7-149441649800092"
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 ;