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 IBMB2S565S3960-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484600092
=====================================================================

--------------------
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 1494618791272


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 2041055 markings, 3388815 edges, 408211 markings/sec, 0 secs
lola: 3722201 markings, 6314836 edges, 336229 markings/sec, 5 secs
lola: 4866083 markings, 8570974 edges, 228776 markings/sec, 10 secs
lola: 6638716 markings, 11695048 edges, 354527 markings/sec, 15 secs
lola: 8272959 markings, 14577626 edges, 326849 markings/sec, 20 secs
lola: 10042538 markings, 17642309 edges, 353916 markings/sec, 25 secs
lola: 11858924 markings, 20661084 edges, 363277 markings/sec, 30 secs
lola: 13378854 markings, 23406182 edges, 303986 markings/sec, 35 secs
lola: 14573315 markings, 25892677 edges, 238892 markings/sec, 40 secs
lola: 16191694 markings, 28897017 edges, 323676 markings/sec, 45 secs
lola: 17519823 markings, 31519471 edges, 265626 markings/sec, 50 secs
lola: 18834569 markings, 34226991 edges, 262949 markings/sec, 55 secs
lola: 20468779 markings, 37244809 edges, 326842 markings/sec, 60 secs
lola: 21965052 markings, 40013312 edges, 299255 markings/sec, 65 secs
lola: 23499155 markings, 42829008 edges, 306821 markings/sec, 70 secs
lola: 24853775 markings, 45421800 edges, 270924 markings/sec, 75 secs
lola: 26610781 markings, 48331185 edges, 351401 markings/sec, 80 secs
lola: 28525994 markings, 51507914 edges, 383043 markings/sec, 85 secs
lola: 30234837 markings, 54677266 edges, 341769 markings/sec, 90 secs
lola: 31601520 markings, 57172730 edges, 273337 markings/sec, 95 secs
lola: 33347862 markings, 60236591 edges, 349268 markings/sec, 100 secs
lola: 35032829 markings, 63261348 edges, 336993 markings/sec, 105 secs
lola: 36811134 markings, 66384597 edges, 355661 markings/sec, 110 secs
lola: 38784100 markings, 69800407 edges, 394593 markings/sec, 115 secs
lola: 40312674 markings, 72780460 edges, 305715 markings/sec, 120 secs
lola: 41733784 markings, 75590745 edges, 284222 markings/sec, 125 secs
lola: 43036526 markings, 78387776 edges, 260548 markings/sec, 130 secs
lola: 44049931 markings, 80504039 edges, 202681 markings/sec, 135 secs
lola: 45074370 markings, 82604058 edges, 204888 markings/sec, 140 secs
lola: 46794635 markings, 85485421 edges, 344053 markings/sec, 145 secs
lola: 48320652 markings, 88346898 edges, 305203 markings/sec, 150 secs
lola: 50050096 markings, 91529258 edges, 345889 markings/sec, 155 secs
lola: 51844309 markings, 94763753 edges, 358843 markings/sec, 160 secs
lola: 53692153 markings, 97950542 edges, 369569 markings/sec, 165 secs
lola: 55275886 markings, 100852810 edges, 316747 markings/sec, 170 secs
lola: 56297910 markings, 103442103 edges, 204405 markings/sec, 175 secs
lola: 57190162 markings, 105837519 edges, 178450 markings/sec, 180 secs
lola: 57926610 markings, 107780114 edges, 147290 markings/sec, 185 secs
lola: 59456413 markings, 110730622 edges, 305961 markings/sec, 190 secs
lola: 60929602 markings, 113451305 edges, 294638 markings/sec, 195 secs
lola: 62061789 markings, 115818573 edges, 226437 markings/sec, 200 secs
lola: 63537876 markings, 118320351 edges, 295217 markings/sec, 205 secs
lola: 64674170 markings, 120411573 edges, 227259 markings/sec, 210 secs
lola: 65618176 markings, 122243505 edges, 188801 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: 3319531 markings, 4112146 edges, 663906 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: 1503088 markings, 3672103 edges, 300618 markings/sec, 0 secs
lola: 3085892 markings, 7479511 edges, 316561 markings/sec, 5 secs
lola: 4403481 markings, 10731827 edges, 263518 markings/sec, 10 secs
lola: 5728838 markings, 13987439 edges, 265071 markings/sec, 15 secs
lola: 7208711 markings, 17595343 edges, 295975 markings/sec, 20 secs
lola: 8623012 markings, 20952131 edges, 282860 markings/sec, 25 secs
lola: 9908929 markings, 24112027 edges, 257183 markings/sec, 30 secs
lola: 10873770 markings, 27373706 edges, 192968 markings/sec, 35 secs
lola: 11989468 markings, 30833743 edges, 223140 markings/sec, 40 secs
lola: 13257177 markings, 34173956 edges, 253542 markings/sec, 45 secs
lola: 14474377 markings, 37416751 edges, 243440 markings/sec, 50 secs
lola: 15732845 markings, 40668624 edges, 251694 markings/sec, 55 secs
lola: 17412280 markings, 44076815 edges, 335887 markings/sec, 60 secs
lola: 18770631 markings, 47528129 edges, 271670 markings/sec, 65 secs
lola: 19938297 markings, 50366296 edges, 233533 markings/sec, 70 secs
lola: 21434899 markings, 53718633 edges, 299320 markings/sec, 75 secs
lola: 22925289 markings, 57105579 edges, 298078 markings/sec, 80 secs
lola: 24453099 markings, 60627389 edges, 305562 markings/sec, 85 secs
lola: 25524805 markings, 63787841 edges, 214341 markings/sec, 90 secs
lola: 26741313 markings, 66947360 edges, 243302 markings/sec, 95 secs
lola: 27594340 markings, 69844232 edges, 170605 markings/sec, 100 secs
lola: 28411985 markings, 72271675 edges, 163529 markings/sec, 105 secs
lola: 29324614 markings, 74833345 edges, 182526 markings/sec, 110 secs
lola: 30683085 markings, 78164800 edges, 271694 markings/sec, 115 secs
lola: 32236842 markings, 81492816 edges, 310751 markings/sec, 120 secs
lola: 33313260 markings, 84033584 edges, 215284 markings/sec, 125 secs
lola: 34234308 markings, 86317677 edges, 184210 markings/sec, 130 secs
lola: 35271694 markings, 89338460 edges, 207477 markings/sec, 135 secs
lola: 36267935 markings, 92164967 edges, 199248 markings/sec, 140 secs
lola: 37041365 markings, 94339014 edges, 154686 markings/sec, 145 secs
lola: 38141233 markings, 97275092 edges, 219974 markings/sec, 150 secs
lola: 39392252 markings, 100639413 edges, 250204 markings/sec, 155 secs
lola: 40742997 markings, 104244950 edges, 270149 markings/sec, 160 secs
lola: 41956619 markings, 107414307 edges, 242724 markings/sec, 165 secs
lola: 42960120 markings, 110196574 edges, 200700 markings/sec, 170 secs
lola: 44154822 markings, 113452675 edges, 238940 markings/sec, 175 secs
lola: 45499722 markings, 117062908 edges, 268980 markings/sec, 180 secs
lola: 46783062 markings, 120306454 edges, 256668 markings/sec, 185 secs
lola: 47943839 markings, 123223419 edges, 232155 markings/sec, 190 secs
lola: 49102792 markings, 126016985 edges, 231791 markings/sec, 195 secs
lola: 50346373 markings, 129080071 edges, 248716 markings/sec, 200 secs
lola: 51320179 markings, 131585487 edges, 194761 markings/sec, 205 secs
lola: 52445584 markings, 134585741 edges, 225081 markings/sec, 210 secs
lola: 53322722 markings, 137845267 edges, 175428 markings/sec, 215 secs
lola: 54527197 markings, 141166539 edges, 240895 markings/sec, 220 secs
lola: 55767827 markings, 144452563 edges, 248126 markings/sec, 225 secs
lola: 56935787 markings, 147635480 edges, 233592 markings/sec, 230 secs
lola: 58297782 markings, 150808536 edges, 272399 markings/sec, 235 secs
lola: 59868767 markings, 154156409 edges, 314197 markings/sec, 240 secs
lola: 61156409 markings, 157437965 edges, 257528 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: 1727533 markings, 3604765 edges, 345507 markings/sec, 0 secs
lola: 3306658 markings, 6828322 edges, 315825 markings/sec, 5 secs
lola: 4716696 markings, 10063577 edges, 282008 markings/sec, 10 secs
lola: 6514893 markings, 13660413 edges, 359639 markings/sec, 15 secs
lola: 8075472 markings, 16961137 edges, 312116 markings/sec, 20 secs
lola: 9827794 markings, 20426524 edges, 350464 markings/sec, 25 secs
lola: 11253663 markings, 23456422 edges, 285174 markings/sec, 30 secs
lola: 12772021 markings, 26487987 edges, 303672 markings/sec, 35 secs
lola: 14062248 markings, 29696859 edges, 258045 markings/sec, 40 secs
lola: 14945140 markings, 32690770 edges, 176578 markings/sec, 45 secs
lola: 16334826 markings, 36092530 edges, 277937 markings/sec, 50 secs
lola: 17652400 markings, 39201859 edges, 263515 markings/sec, 55 secs
lola: 19022297 markings, 42428803 edges, 273979 markings/sec, 60 secs
lola: 20382231 markings, 45426099 edges, 271987 markings/sec, 65 secs
lola: 21547376 markings, 48303280 edges, 233029 markings/sec, 70 secs
lola: 23648304 markings, 51899821 edges, 420186 markings/sec, 75 secs
lola: 25460809 markings, 55004367 edges, 362501 markings/sec, 80 secs
lola: 27402258 markings, 58356488 edges, 388290 markings/sec, 85 secs
lola: 29444870 markings, 61925729 edges, 408522 markings/sec, 90 secs
lola: 30899934 markings, 65189144 edges, 291013 markings/sec, 95 secs
lola: 32252978 markings, 68378356 edges, 270609 markings/sec, 100 secs
lola: 33348477 markings, 70909258 edges, 219100 markings/sec, 105 secs
lola: 34798510 markings, 73783260 edges, 290007 markings/sec, 110 secs
lola: 36465974 markings, 77044627 edges, 333493 markings/sec, 115 secs
lola: 38243073 markings, 80536937 edges, 355420 markings/sec, 120 secs
lola: 40192960 markings, 84166215 edges, 389977 markings/sec, 125 secs
lola: 41407548 markings, 87018081 edges, 242918 markings/sec, 130 secs
lola: 42289861 markings, 89479923 edges, 176463 markings/sec, 135 secs
lola: 43501777 markings, 92106855 edges, 242383 markings/sec, 140 secs
lola: 45064576 markings, 95334323 edges, 312560 markings/sec, 145 secs
lola: 46343812 markings, 97924155 edges, 255847 markings/sec, 150 secs
lola: 47507588 markings, 100280152 edges, 232755 markings/sec, 155 secs
lola: 48711940 markings, 102667817 edges, 240870 markings/sec, 160 secs
lola: 49745609 markings, 104721071 edges, 206734 markings/sec, 165 secs
lola: 51064059 markings, 107880703 edges, 263690 markings/sec, 170 secs
lola: 51914368 markings, 110522563 edges, 170062 markings/sec, 175 secs
lola: 52905941 markings, 112656835 edges, 198315 markings/sec, 180 secs
lola: 53662694 markings, 114557033 edges, 151351 markings/sec, 185 secs
lola: 54796311 markings, 117058038 edges, 226723 markings/sec, 190 secs
lola: 55923331 markings, 119760395 edges, 225404 markings/sec, 195 secs
lola: 57438926 markings, 123084306 edges, 303119 markings/sec, 200 secs
lola: 58881822 markings, 126428970 edges, 288579 markings/sec, 205 secs
lola: 60220735 markings, 129682794 edges, 267783 markings/sec, 210 secs
lola: 61485781 markings, 132448313 edges, 253009 markings/sec, 215 secs
lola: 62416272 markings, 134760255 edges, 186098 markings/sec, 220 secs
lola: 63834508 markings, 137839858 edges, 283647 markings/sec, 225 secs
lola: 64867233 markings, 140397287 edges, 206545 markings/sec, 230 secs
lola: 66362642 markings, 143801876 edges, 299082 markings/sec, 235 secs
lola: 67341112 markings, 146142727 edges, 195694 markings/sec, 240 secs
lola: 68505112 markings, 148770193 edges, 232800 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: 1488244 markings, 3557693 edges, 297649 markings/sec, 0 secs
lola: 2897474 markings, 6864837 edges, 281846 markings/sec, 5 secs
lola: 4092888 markings, 9806829 edges, 239083 markings/sec, 10 secs
lola: 5333654 markings, 13010402 edges, 248153 markings/sec, 15 secs
lola: 6826099 markings, 16418472 edges, 298489 markings/sec, 20 secs
lola: 8180248 markings, 19248062 edges, 270830 markings/sec, 25 secs
lola: 9482413 markings, 22566274 edges, 260433 markings/sec, 30 secs
lola: 10830685 markings, 25502882 edges, 269654 markings/sec, 35 secs
lola: 11977864 markings, 28318072 edges, 229436 markings/sec, 40 secs
lola: 13218637 markings, 31254261 edges, 248155 markings/sec, 45 secs
lola: 14281119 markings, 34035244 edges, 212496 markings/sec, 50 secs
lola: 15120505 markings, 37174265 edges, 167877 markings/sec, 55 secs
lola: 15787161 markings, 39824400 edges, 133331 markings/sec, 60 secs
lola: 16877211 markings, 43017937 edges, 218010 markings/sec, 65 secs
lola: 17939252 markings, 45913755 edges, 212408 markings/sec, 70 secs
lola: 19058940 markings, 48908887 edges, 223938 markings/sec, 75 secs
lola: 20075825 markings, 51756959 edges, 203377 markings/sec, 80 secs
lola: 21191238 markings, 54581154 edges, 223083 markings/sec, 85 secs
lola: 22188893 markings, 57374373 edges, 199531 markings/sec, 90 secs
lola: 23246191 markings, 59915882 edges, 211460 markings/sec, 95 secs
lola: 24885107 markings, 63257658 edges, 327783 markings/sec, 100 secs
lola: 26184179 markings, 66566881 edges, 259814 markings/sec, 105 secs
lola: 27095726 markings, 68851150 edges, 182309 markings/sec, 110 secs
lola: 28558343 markings, 71997860 edges, 292523 markings/sec, 115 secs
lola: 29945692 markings, 75244654 edges, 277470 markings/sec, 120 secs
lola: 31518224 markings, 78658502 edges, 314506 markings/sec, 125 secs
lola: 33030885 markings, 82035949 edges, 302532 markings/sec, 130 secs
lola: 34139541 markings, 85165708 edges, 221731 markings/sec, 135 secs
lola: 35396464 markings, 88365239 edges, 251385 markings/sec, 140 secs
lola: 36242268 markings, 91088204 edges, 169161 markings/sec, 145 secs
lola: 37078758 markings, 93417242 edges, 167298 markings/sec, 150 secs
lola: 38105493 markings, 95999931 edges, 205347 markings/sec, 155 secs
lola: 39665521 markings, 99306698 edges, 312006 markings/sec, 160 secs
lola: 40994448 markings, 102617790 edges, 265785 markings/sec, 165 secs
lola: 42417079 markings, 105927159 edges, 284526 markings/sec, 170 secs
lola: 43951885 markings, 109379790 edges, 306961 markings/sec, 175 secs
lola: 45191697 markings, 112315570 edges, 247962 markings/sec, 180 secs
lola: 46059538 markings, 114652343 edges, 173568 markings/sec, 185 secs
lola: 46869890 markings, 116734616 edges, 162070 markings/sec, 190 secs
lola: 48050145 markings, 119726152 edges, 236051 markings/sec, 195 secs
lola: 49280005 markings, 122666740 edges, 245972 markings/sec, 200 secs
lola: 50513281 markings, 125160842 edges, 246655 markings/sec, 205 secs
lola: 51526546 markings, 127372435 edges, 202653 markings/sec, 210 secs
lola: 52397479 markings, 129431345 edges, 174187 markings/sec, 215 secs
lola: 53357517 markings, 131667480 edges, 192008 markings/sec, 220 secs
lola: 54209221 markings, 133585608 edges, 170341 markings/sec, 225 secs
lola: 55123898 markings, 136333427 edges, 182935 markings/sec, 230 secs
lola: 55863067 markings, 138858097 edges, 147834 markings/sec, 235 secs
lola: 56581780 markings, 141023844 edges, 143743 markings/sec, 240 secs
lola: 57332880 markings, 143027469 edges, 150220 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: 1772280 markings, 3098415 edges, 354456 markings/sec, 0 secs
lola: 3646765 markings, 6052516 edges, 374897 markings/sec, 5 secs
lola: 5318803 markings, 8943653 edges, 334408 markings/sec, 10 secs
lola: 6593419 markings, 11442922 edges, 254923 markings/sec, 15 secs
lola: 8413986 markings, 14364144 edges, 364113 markings/sec, 20 secs
lola: 10073190 markings, 17244627 edges, 331841 markings/sec, 25 secs
lola: 11883643 markings, 20276540 edges, 362091 markings/sec, 30 secs
lola: 13725468 markings, 23245812 edges, 368365 markings/sec, 35 secs
lola: 15400808 markings, 26152163 edges, 335068 markings/sec, 40 secs
lola: 16718631 markings, 28681238 edges, 263565 markings/sec, 45 secs
lola: 18214621 markings, 31537160 edges, 299198 markings/sec, 50 secs
lola: 19651449 markings, 34264732 edges, 287366 markings/sec, 55 secs
lola: 20729546 markings, 36601528 edges, 215619 markings/sec, 60 secs
lola: 22308593 markings, 39523370 edges, 315809 markings/sec, 65 secs
lola: 23862219 markings, 42395792 edges, 310725 markings/sec, 70 secs
lola: 25323938 markings, 45059557 edges, 292344 markings/sec, 75 secs
lola: 26804465 markings, 47754771 edges, 296105 markings/sec, 80 secs
lola: 28262366 markings, 50415578 edges, 291580 markings/sec, 85 secs
lola: 30186587 markings, 53531120 edges, 384844 markings/sec, 90 secs
lola: 31921963 markings, 56608117 edges, 347075 markings/sec, 95 secs
lola: 33258049 markings, 59115635 edges, 267217 markings/sec, 100 secs
lola: 34667058 markings, 61620881 edges, 281802 markings/sec, 105 secs
lola: 36342205 markings, 64624675 edges, 335029 markings/sec, 110 secs
lola: 37916901 markings, 67407365 edges, 314939 markings/sec, 115 secs
lola: 39642330 markings, 70419362 edges, 345086 markings/sec, 120 secs
lola: 41474850 markings, 73605277 edges, 366504 markings/sec, 125 secs
lola: 42835376 markings, 76293288 edges, 272105 markings/sec, 130 secs
lola: 44189122 markings, 78974633 edges, 270749 markings/sec, 135 secs
lola: 45398113 markings, 81579796 edges, 241798 markings/sec, 140 secs
lola: 46384206 markings, 83604482 edges, 197219 markings/sec, 145 secs
lola: 47317877 markings, 85558177 edges, 186734 markings/sec, 150 secs
lola: 48788382 markings, 88108379 edges, 294101 markings/sec, 155 secs
lola: 50276612 markings, 90689482 edges, 297646 markings/sec, 160 secs
lola: 51772254 markings, 93588407 edges, 299128 markings/sec, 165 secs
lola: 53378748 markings, 96488042 edges, 321299 markings/sec, 170 secs
lola: 55027788 markings, 99463407 edges, 329808 markings/sec, 175 secs
lola: 56696405 markings, 102404653 edges, 333723 markings/sec, 180 secs
lola: 58157948 markings, 105259952 edges, 292309 markings/sec, 185 secs
lola: 59159775 markings, 107576666 edges, 200365 markings/sec, 190 secs
lola: 59866794 markings, 109758574 edges, 141404 markings/sec, 195 secs
lola: 60661266 markings, 111732813 edges, 158894 markings/sec, 200 secs
lola: 62134550 markings, 114560272 edges, 294657 markings/sec, 205 secs
lola: 63640914 markings, 117323552 edges, 301273 markings/sec, 210 secs
lola: 64743766 markings, 119592063 edges, 220570 markings/sec, 215 secs
lola: 66142481 markings, 121971130 edges, 279743 markings/sec, 220 secs
lola: 67196797 markings, 123917302 edges, 210863 markings/sec, 225 secs
lola: 68101353 markings, 125679731 edges, 180911 markings/sec, 230 secs
lola: 69357559 markings, 128141340 edges, 251241 markings/sec, 235 secs
lola: 70501617 markings, 130743959 edges, 228812 markings/sec, 240 secs
lola: 71222898 markings, 133001181 edges, 144256 markings/sec, 245 secs
lola: 72184703 markings, 134959666 edges, 192361 markings/sec, 250 secs
lola: 72997209 markings, 136660103 edges, 162501 markings/sec, 255 secs
lola: 73681912 markings, 138291186 edges, 136941 markings/sec, 260 secs
lola: 74479522 markings, 140070750 edges, 159522 markings/sec, 265 secs
lola: 75844164 markings, 142779279 edges, 272928 markings/sec, 270 secs
lola: 76808477 markings, 145053299 edges, 192863 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: 1852316 markings, 3277946 edges, 370463 markings/sec, 0 secs
lola: 3572983 markings, 6459542 edges, 344133 markings/sec, 5 secs
lola: 5470490 markings, 9449244 edges, 379501 markings/sec, 10 secs
lola: 7154827 markings, 12377737 edges, 336867 markings/sec, 15 secs
lola: 9029297 markings, 15620034 edges, 374894 markings/sec, 20 secs
lola: 10533118 markings, 18479900 edges, 300764 markings/sec, 25 secs
lola: 12168345 markings, 21398548 edges, 327045 markings/sec, 30 secs
lola: 13671143 markings, 24217832 edges, 300560 markings/sec, 35 secs
lola: 15645410 markings, 27439138 edges, 394853 markings/sec, 40 secs
lola: 17599024 markings, 30820132 edges, 390723 markings/sec, 45 secs
lola: 19165597 markings, 33734524 edges, 313315 markings/sec, 50 secs
lola: 20770304 markings, 36582595 edges, 320941 markings/sec, 55 secs
lola: 22604798 markings, 39880891 edges, 366899 markings/sec, 60 secs
lola: 24391622 markings, 43024590 edges, 357365 markings/sec, 65 secs
lola: 26344387 markings, 46431077 edges, 390553 markings/sec, 70 secs
lola: 28173874 markings, 49736295 edges, 365897 markings/sec, 75 secs
lola: 29645008 markings, 52759472 edges, 294227 markings/sec, 80 secs
lola: 31103091 markings, 55723040 edges, 291617 markings/sec, 85 secs
lola: 32237637 markings, 58104638 edges, 226909 markings/sec, 90 secs
lola: 33264460 markings, 60252707 edges, 205365 markings/sec, 95 secs
lola: 34885206 markings, 63047230 edges, 324149 markings/sec, 100 secs
lola: 36486523 markings, 65962919 edges, 320263 markings/sec, 105 secs
lola: 38229044 markings, 69208600 edges, 348504 markings/sec, 110 secs
lola: 40038802 markings, 72467539 edges, 361952 markings/sec, 115 secs
lola: 41987502 markings, 75838112 edges, 389740 markings/sec, 120 secs
lola: 43648486 markings, 78886316 edges, 332197 markings/sec, 125 secs
lola: 44735044 markings, 81588379 edges, 217312 markings/sec, 130 secs
lola: 45661388 markings, 84083008 edges, 185269 markings/sec, 135 secs
lola: 46438078 markings, 86062212 edges, 155338 markings/sec, 140 secs
lola: 48014312 markings, 88791675 edges, 315247 markings/sec, 145 secs
lola: 49830299 markings, 91886884 edges, 363197 markings/sec, 150 secs
lola: 51455837 markings, 94896909 edges, 325108 markings/sec, 155 secs
lola: 52853564 markings, 97635689 edges, 279545 markings/sec, 160 secs
lola: 54651474 markings, 100813291 edges, 359582 markings/sec, 165 secs
lola: 56199456 markings, 103715992 edges, 309596 markings/sec, 170 secs
lola: 58067652 markings, 106669179 edges, 373639 markings/sec, 175 secs
lola: 59676867 markings, 109457018 edges, 321843 markings/sec, 180 secs
lola: 61595573 markings, 112694533 edges, 383741 markings/sec, 185 secs
lola: 63087552 markings, 115571429 edges, 298396 markings/sec, 190 secs
lola: 64646981 markings, 118322831 edges, 311886 markings/sec, 195 secs
lola: 66019891 markings, 120989276 edges, 274582 markings/sec, 200 secs
lola: 67788670 markings, 123905286 edges, 353756 markings/sec, 205 secs
lola: 69741741 markings, 127149853 edges, 390614 markings/sec, 210 secs
lola: 71470895 markings, 130357153 edges, 345831 markings/sec, 215 secs
lola: 72732208 markings, 132662667 edges, 252263 markings/sec, 220 secs
lola: 74418261 markings, 135617773 edges, 337211 markings/sec, 225 secs
lola: 76169304 markings, 138757552 edges, 350209 markings/sec, 230 secs
lola: 77914819 markings, 141831635 edges, 349103 markings/sec, 235 secs
lola: 79889081 markings, 145239540 edges, 394852 markings/sec, 240 secs
lola: 81428533 markings, 148222268 edges, 307890 markings/sec, 245 secs
lola: 82853539 markings, 151055697 edges, 285001 markings/sec, 250 secs
lola: 84176205 markings, 153877758 edges, 264533 markings/sec, 255 secs
lola: 85213602 markings, 156036981 edges, 207479 markings/sec, 260 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 399 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: 1841911 markings, 3237257 edges, 368382 markings/sec, 0 secs
lola: 3487542 markings, 6286316 edges, 329126 markings/sec, 5 secs
lola: 5586601 markings, 9340539 edges, 419812 markings/sec, 10 secs
lola: 7460439 markings, 12228263 edges, 374768 markings/sec, 15 secs
lola: 9208959 markings, 15181221 edges, 349704 markings/sec, 20 secs
lola: 10888093 markings, 18222092 edges, 335827 markings/sec, 25 secs
lola: 12388346 markings, 21014034 edges, 300051 markings/sec, 30 secs
lola: 13948276 markings, 23857545 edges, 311986 markings/sec, 35 secs
lola: 15545363 markings, 26701110 edges, 319417 markings/sec, 40 secs
lola: 17546284 markings, 29935851 edges, 400184 markings/sec, 45 secs
lola: 19302806 markings, 33187200 edges, 351304 markings/sec, 50 secs
lola: 20600216 markings, 35604559 edges, 259482 markings/sec, 55 secs
lola: 22355487 markings, 38671975 edges, 351054 markings/sec, 60 secs
lola: 24066358 markings, 41745713 edges, 342174 markings/sec, 65 secs
lola: 25774582 markings, 44752406 edges, 341645 markings/sec, 70 secs
lola: 27722603 markings, 48134135 edges, 389604 markings/sec, 75 secs
lola: 29340852 markings, 51179391 edges, 323650 markings/sec, 80 secs
lola: 30704975 markings, 53954710 edges, 272825 markings/sec, 85 secs
lola: 32083354 markings, 56774924 edges, 275676 markings/sec, 90 secs
lola: 33140627 markings, 58984877 edges, 211455 markings/sec, 95 secs
lola: 34126367 markings, 61044538 edges, 197148 markings/sec, 100 secs
lola: 35641317 markings, 63690977 edges, 302990 markings/sec, 105 secs
lola: 37251788 markings, 66524839 edges, 322094 markings/sec, 110 secs
lola: 38890781 markings, 69634063 edges, 327799 markings/sec, 115 secs
lola: 40544555 markings, 72638882 edges, 330755 markings/sec, 120 secs
lola: 42426070 markings, 75933480 edges, 376303 markings/sec, 125 secs
lola: 43996041 markings, 78803790 edges, 313994 markings/sec, 130 secs
lola: 45318468 markings, 81619437 edges, 264485 markings/sec, 135 secs
lola: 46309479 markings, 84229448 edges, 198202 markings/sec, 140 secs
lola: 47048199 markings, 86204201 edges, 147744 markings/sec, 145 secs
lola: 48242167 markings, 88434892 edges, 238794 markings/sec, 150 secs
lola: 49902780 markings, 91386485 edges, 332123 markings/sec, 155 secs
lola: 51568997 markings, 94228063 edges, 333243 markings/sec, 160 secs
lola: 53016984 markings, 97057444 edges, 289597 markings/sec, 165 secs
lola: 54575327 markings, 99865153 edges, 311669 markings/sec, 170 secs
lola: 56227978 markings, 102851616 edges, 330530 markings/sec, 175 secs
lola: 57848581 markings, 105637684 edges, 324121 markings/sec, 180 secs
lola: 59707653 markings, 108369000 edges, 371814 markings/sec, 185 secs
lola: 61369034 markings, 111071214 edges, 332276 markings/sec, 190 secs
lola: 63126880 markings, 113959100 edges, 351569 markings/sec, 195 secs
lola: 64701159 markings, 116807095 edges, 314856 markings/sec, 200 secs
lola: 66045833 markings, 119332277 edges, 268935 markings/sec, 205 secs
lola: 67492140 markings, 121964916 edges, 289261 markings/sec, 210 secs
lola: 68963275 markings, 124638942 edges, 294227 markings/sec, 215 secs
lola: 70842789 markings, 127676720 edges, 375903 markings/sec, 220 secs
lola: 72532941 markings, 130684101 edges, 338030 markings/sec, 225 secs
lola: 73861781 markings, 133177907 edges, 265768 markings/sec, 230 secs
lola: 75289974 markings, 135716031 edges, 285639 markings/sec, 235 secs
lola: 76903051 markings, 138609814 edges, 322615 markings/sec, 240 secs
lola: 78482935 markings, 141401682 edges, 315977 markings/sec, 245 secs
lola: 80115815 markings, 144258444 edges, 326576 markings/sec, 250 secs
lola: 81864184 markings, 147286821 edges, 349674 markings/sec, 255 secs
lola: 83210996 markings, 149900708 edges, 269362 markings/sec, 260 secs
lola: 84417895 markings, 152363935 edges, 241380 markings/sec, 265 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: 3237802 markings, 3979391 edges, 647560 markings/sec, 0 secs
lola: 6309504 markings, 7770418 edges, 614340 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: ========================================
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: ========================================
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: 1560882 markings, 3683942 edges, 312176 markings/sec, 0 secs
lola: 3042093 markings, 7090796 edges, 296242 markings/sec, 5 secs
lola: 4562771 markings, 10438722 edges, 304136 markings/sec, 10 secs
lola: 5862238 markings, 13662655 edges, 259893 markings/sec, 15 secs
lola: 7307823 markings, 17027132 edges, 289117 markings/sec, 20 secs
lola: 8565503 markings, 20210618 edges, 251536 markings/sec, 25 secs
lola: 9785887 markings, 23161269 edges, 244077 markings/sec, 30 secs
lola: 11036083 markings, 26260123 edges, 250039 markings/sec, 35 secs
lola: 12151953 markings, 28972264 edges, 223174 markings/sec, 40 secs
lola: 13634242 markings, 32283045 edges, 296458 markings/sec, 45 secs
lola: 14779670 markings, 35496088 edges, 229086 markings/sec, 50 secs
lola: 16021772 markings, 38830944 edges, 248420 markings/sec, 55 secs
lola: 17187124 markings, 42052961 edges, 233070 markings/sec, 60 secs
lola: 19124969 markings, 45541034 edges, 387569 markings/sec, 65 secs
lola: 20639297 markings, 48833784 edges, 302866 markings/sec, 70 secs
lola: 21510493 markings, 52177347 edges, 174239 markings/sec, 75 secs
lola: 22714445 markings, 55633414 edges, 240790 markings/sec, 80 secs
lola: 23931870 markings, 59027816 edges, 243485 markings/sec, 85 secs
lola: 25194737 markings, 62360316 edges, 252573 markings/sec, 90 secs
lola: 26550806 markings, 66034074 edges, 271214 markings/sec, 95 secs
lola: 27837656 markings, 69637916 edges, 257370 markings/sec, 100 secs
lola: 29056249 markings, 72833948 edges, 243719 markings/sec, 105 secs
lola: 29972236 markings, 75222098 edges, 183197 markings/sec, 110 secs
lola: 31218156 markings, 78219904 edges, 249184 markings/sec, 115 secs
lola: 32240480 markings, 80618912 edges, 204465 markings/sec, 120 secs
lola: 33241973 markings, 83113608 edges, 200299 markings/sec, 125 secs
lola: 34430472 markings, 85727693 edges, 237700 markings/sec, 130 secs
lola: 35924999 markings, 89139782 edges, 298905 markings/sec, 135 secs
lola: 37320619 markings, 92567443 edges, 279124 markings/sec, 140 secs
lola: 38642094 markings, 95427997 edges, 264295 markings/sec, 145 secs
lola: 39949861 markings, 98510526 edges, 261553 markings/sec, 150 secs
lola: 41214867 markings, 101505506 edges, 253001 markings/sec, 155 secs
lola: 42501349 markings, 104369062 edges, 257296 markings/sec, 160 secs
lola: 44172914 markings, 107383188 edges, 334313 markings/sec, 165 secs
lola: 45356493 markings, 110246830 edges, 236716 markings/sec, 170 secs
lola: 46339674 markings, 113236647 edges, 196636 markings/sec, 175 secs
lola: 47610756 markings, 116115329 edges, 254216 markings/sec, 180 secs
lola: 48819587 markings, 119204783 edges, 241766 markings/sec, 185 secs
lola: 50061912 markings, 122368986 edges, 248465 markings/sec, 190 secs
lola: 51193827 markings, 125224826 edges, 226383 markings/sec, 195 secs
lola: 52650885 markings, 128312638 edges, 291412 markings/sec, 200 secs
lola: 54819506 markings, 131565026 edges, 433724 markings/sec, 205 secs
lola: 56388590 markings, 134660537 edges, 313817 markings/sec, 210 secs
lola: 57392423 markings, 137506482 edges, 200767 markings/sec, 215 secs
lola: 58267750 markings, 140539653 edges, 175065 markings/sec, 220 secs
lola: 59328482 markings, 143855040 edges, 212146 markings/sec, 225 secs
lola: 60623242 markings, 146786487 edges, 258952 markings/sec, 230 secs
lola: 61798989 markings, 149734662 edges, 235149 markings/sec, 235 secs
lola: 63048852 markings, 152758338 edges, 249973 markings/sec, 240 secs
lola: 64206630 markings, 155539507 edges, 231556 markings/sec, 245 secs
lola: 65623603 markings, 158901239 edges, 283395 markings/sec, 250 secs
lola: 67037011 markings, 162178384 edges, 282682 markings/sec, 255 secs
lola: 68311669 markings, 165276502 edges, 254932 markings/sec, 260 secs
lola: 69729148 markings, 168640820 edges, 283496 markings/sec, 265 secs
lola: 70943955 markings, 171624684 edges, 242961 markings/sec, 270 secs
lola: 71956873 markings, 174249318 edges, 202584 markings/sec, 275 secs
lola: 73297191 markings, 177184132 edges, 268064 markings/sec, 280 secs
lola: 74695826 markings, 180520137 edges, 279727 markings/sec, 285 secs
lola: 76077369 markings, 183813715 edges, 276309 markings/sec, 290 secs
lola: 77396034 markings, 187059031 edges, 263733 markings/sec, 295 secs
lola: 78543687 markings, 189795680 edges, 229531 markings/sec, 300 secs
lola: 80178011 markings, 193075927 edges, 326865 markings/sec, 305 secs
lola: 81080303 markings, 196132275 edges, 180458 markings/sec, 310 secs
lola: 82269258 markings, 199215704 edges, 237791 markings/sec, 315 secs
lola: 83395152 markings, 202282880 edges, 225179 markings/sec, 320 secs
lola: 84432599 markings, 205152339 edges, 207489 markings/sec, 325 secs
lola: 86424383 markings, 208345203 edges, 398357 markings/sec, 330 secs
lola: 87646768 markings, 211254592 edges, 244477 markings/sec, 335 secs
lola: 88395035 markings, 214201275 edges, 149653 markings/sec, 340 secs
lola: 89447243 markings, 217429848 edges, 210442 markings/sec, 345 secs
lola: 90573464 markings, 220445638 edges, 225244 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 1494620979041

--------------------
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="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/IBMB2S565S3960-PT-none.tgz
mv 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 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 r038-blw7-149440484600092"
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 ;