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 Raft-PT-08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963000011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494799764920


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Raft-PT-08 @ 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: 896/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 328 places, 568 transitions, 264 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 559 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-08-UpperBounds.task
lola: MAX(p290) : MAX(p306) : MAX(p30) : MAX(p157) : MAX(p141) : MAX(p52) : MAX(p79) : MAX(p29) : MAX(p117) : MAX(p240) : MAX(p283) : MAX(p325) : MAX(p172) : MAX(p37) : MAX(p162) : MAX(p127)
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(p290)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 266258 markings, 627066 edges, 53252 markings/sec, 0 secs
lola: 545208 markings, 1283757 edges, 55790 markings/sec, 5 secs
lola: 831765 markings, 1962216 edges, 57311 markings/sec, 10 secs
lola: 1092441 markings, 2575815 edges, 52135 markings/sec, 15 secs
lola: 1370356 markings, 3229342 edges, 55583 markings/sec, 20 secs
lola: 1657765 markings, 3910241 edges, 57482 markings/sec, 25 secs
lola: 1930844 markings, 4559185 edges, 54616 markings/sec, 30 secs
lola: 2194171 markings, 5180738 edges, 52665 markings/sec, 35 secs
lola: 2461890 markings, 5814693 edges, 53544 markings/sec, 40 secs
lola: 2725002 markings, 6436244 edges, 52622 markings/sec, 45 secs
lola: 2986590 markings, 7053699 edges, 52318 markings/sec, 50 secs
lola: 3234705 markings, 7641260 edges, 49623 markings/sec, 55 secs
lola: 3486522 markings, 8236432 edges, 50363 markings/sec, 60 secs
lola: 3741546 markings, 8840025 edges, 51005 markings/sec, 65 secs
lola: 3995782 markings, 9447179 edges, 50847 markings/sec, 70 secs
lola: 4256767 markings, 10066343 edges, 52197 markings/sec, 75 secs
lola: 4527760 markings, 10706672 edges, 54199 markings/sec, 80 secs
lola: 4797418 markings, 11343978 edges, 53932 markings/sec, 85 secs
lola: 5066048 markings, 11982405 edges, 53726 markings/sec, 90 secs
lola: 5338801 markings, 12629769 edges, 54551 markings/sec, 95 secs
lola: 5612363 markings, 13276570 edges, 54712 markings/sec, 100 secs
lola: 5877473 markings, 13905913 edges, 53022 markings/sec, 105 secs
lola: 6139181 markings, 14528890 edges, 52342 markings/sec, 110 secs
lola: 6393707 markings, 15135127 edges, 50905 markings/sec, 115 secs
lola: 6655041 markings, 15752690 edges, 52267 markings/sec, 120 secs
lola: 6914148 markings, 16367946 edges, 51821 markings/sec, 125 secs
lola: 7176018 markings, 16990258 edges, 52374 markings/sec, 130 secs
lola: 7433368 markings, 17604519 edges, 51470 markings/sec, 135 secs
lola: 7691228 markings, 18218793 edges, 51572 markings/sec, 140 secs
lola: 7953592 markings, 18841033 edges, 52473 markings/sec, 145 secs
lola: 8213437 markings, 19458650 edges, 51969 markings/sec, 150 secs
lola: 8471025 markings, 20070428 edges, 51518 markings/sec, 155 secs
lola: 8733980 markings, 20696119 edges, 52591 markings/sec, 160 secs
lola: 8993408 markings, 21316023 edges, 51886 markings/sec, 165 secs
lola: 9256595 markings, 21939054 edges, 52637 markings/sec, 170 secs
lola: 9519625 markings, 22564141 edges, 52606 markings/sec, 175 secs
lola: 9778055 markings, 23178102 edges, 51686 markings/sec, 180 secs
lola: 10035936 markings, 23791998 edges, 51576 markings/sec, 185 secs
lola: 10298770 markings, 24419701 edges, 52567 markings/sec, 190 secs
lola: 10558932 markings, 25038758 edges, 52032 markings/sec, 195 secs
lola: 10818569 markings, 25654386 edges, 51927 markings/sec, 200 secs
lola: 11076446 markings, 26268057 edges, 51575 markings/sec, 205 secs
lola: 11335477 markings, 26884859 edges, 51806 markings/sec, 210 secs
lola: 11593948 markings, 27499823 edges, 51694 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(p306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 337891 markings, 699138 edges, 67578 markings/sec, 0 secs
lola: 673655 markings, 1393842 edges, 67153 markings/sec, 5 secs
lola: 999985 markings, 2069019 edges, 65266 markings/sec, 10 secs
lola: 1323920 markings, 2739249 edges, 64787 markings/sec, 15 secs
lola: 1645360 markings, 3404356 edges, 64288 markings/sec, 20 secs
lola: 1966489 markings, 4069961 edges, 64226 markings/sec, 25 secs
lola: 2287241 markings, 4735242 edges, 64150 markings/sec, 30 secs
lola: 2610298 markings, 5405934 edges, 64611 markings/sec, 35 secs
lola: 2930969 markings, 6074008 edges, 64134 markings/sec, 40 secs
lola: 3250132 markings, 6734861 edges, 63833 markings/sec, 45 secs
lola: 3572456 markings, 7401754 edges, 64465 markings/sec, 50 secs
lola: 3891666 markings, 8063329 edges, 63842 markings/sec, 55 secs
lola: 4210304 markings, 8726016 edges, 63728 markings/sec, 60 secs
lola: 4531402 markings, 9392798 edges, 64220 markings/sec, 65 secs
lola: 4863400 markings, 10083245 edges, 66400 markings/sec, 70 secs
lola: 5199378 markings, 10782981 edges, 67196 markings/sec, 75 secs
lola: 5533103 markings, 11475513 edges, 66745 markings/sec, 80 secs
lola: 5866948 markings, 12169905 edges, 66769 markings/sec, 85 secs
lola: 6200196 markings, 12862079 edges, 66650 markings/sec, 90 secs
lola: 6531267 markings, 13548098 edges, 66214 markings/sec, 95 secs
lola: 6863529 markings, 14239902 edges, 66452 markings/sec, 100 secs
lola: 7184627 markings, 14910873 edges, 64220 markings/sec, 105 secs
lola: 7504624 markings, 15578946 edges, 63999 markings/sec, 110 secs
lola: 7828472 markings, 16252466 edges, 64770 markings/sec, 115 secs
lola: 8148014 markings, 16918980 edges, 63908 markings/sec, 120 secs
lola: 8466859 markings, 17584726 edges, 63769 markings/sec, 125 secs
lola: 8786431 markings, 18252242 edges, 63914 markings/sec, 130 secs
lola: 9104264 markings, 18916703 edges, 63567 markings/sec, 135 secs
lola: 9420660 markings, 19579391 edges, 63279 markings/sec, 140 secs
lola: 9739159 markings, 20239504 edges, 63700 markings/sec, 145 secs
lola: 10059434 markings, 20902148 edges, 64055 markings/sec, 150 secs
lola: 10380761 markings, 21566976 edges, 64265 markings/sec, 155 secs
lola: 10700743 markings, 22229843 edges, 63996 markings/sec, 160 secs
lola: 11020243 markings, 22898815 edges, 63900 markings/sec, 165 secs
lola: 11337556 markings, 23557962 edges, 63463 markings/sec, 170 secs
lola: 11659435 markings, 24229603 edges, 64376 markings/sec, 175 secs
lola: 11975874 markings, 24890903 edges, 63288 markings/sec, 180 secs
lola: 12295205 markings, 25560022 edges, 63866 markings/sec, 185 secs
lola: 12614514 markings, 26227540 edges, 63862 markings/sec, 190 secs
lola: 12932479 markings, 26892678 edges, 63593 markings/sec, 195 secs
lola: 13251211 markings, 27560287 edges, 63746 markings/sec, 200 secs
lola: 13567320 markings, 28223856 edges, 63222 markings/sec, 205 secs
lola: 13885284 markings, 28888739 edges, 63593 markings/sec, 210 secs
lola: 14202064 markings, 29550859 edges, 63356 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 236496 markings, 681720 edges, 47299 markings/sec, 0 secs
lola: 473267 markings, 1364822 edges, 47354 markings/sec, 5 secs
lola: 705649 markings, 2037813 edges, 46476 markings/sec, 10 secs
lola: 936836 markings, 2705776 edges, 46237 markings/sec, 15 secs
lola: 1176874 markings, 3399551 edges, 48008 markings/sec, 20 secs
lola: 1426116 markings, 4121700 edges, 49848 markings/sec, 25 secs
lola: 1675218 markings, 4842187 edges, 49820 markings/sec, 30 secs
lola: 1922507 markings, 5564059 edges, 49458 markings/sec, 35 secs
lola: 2171944 markings, 6292532 edges, 49887 markings/sec, 40 secs
lola: 2421715 markings, 7014087 edges, 49954 markings/sec, 45 secs
lola: 2669054 markings, 7736694 edges, 49468 markings/sec, 50 secs
lola: 2918069 markings, 8463807 edges, 49803 markings/sec, 55 secs
lola: 3166630 markings, 9194867 edges, 49712 markings/sec, 60 secs
lola: 3415792 markings, 9921358 edges, 49832 markings/sec, 65 secs
lola: 3664287 markings, 10640936 edges, 49699 markings/sec, 70 secs
lola: 3914092 markings, 11362280 edges, 49961 markings/sec, 75 secs
lola: 4163734 markings, 12082144 edges, 49928 markings/sec, 80 secs
lola: 4413055 markings, 12806272 edges, 49864 markings/sec, 85 secs
lola: 4660251 markings, 13520430 edges, 49439 markings/sec, 90 secs
lola: 4909727 markings, 14240981 edges, 49895 markings/sec, 95 secs
lola: 5156083 markings, 14952356 edges, 49271 markings/sec, 100 secs
lola: 5406755 markings, 15675876 edges, 50134 markings/sec, 105 secs
lola: 5655130 markings, 16392898 edges, 49675 markings/sec, 110 secs
lola: 5903531 markings, 17112139 edges, 49680 markings/sec, 115 secs
lola: 6150962 markings, 17825152 edges, 49486 markings/sec, 120 secs
lola: 6396786 markings, 18535498 edges, 49165 markings/sec, 125 secs
lola: 6647752 markings, 19260029 edges, 50193 markings/sec, 130 secs
lola: 6898923 markings, 19984932 edges, 50234 markings/sec, 135 secs
lola: 7148659 markings, 20706365 edges, 49947 markings/sec, 140 secs
lola: 7398200 markings, 21428658 edges, 49908 markings/sec, 145 secs
lola: 7645946 markings, 22142223 edges, 49549 markings/sec, 150 secs
lola: 7889345 markings, 22845861 edges, 48680 markings/sec, 155 secs
lola: 8133038 markings, 23550288 edges, 48739 markings/sec, 160 secs
lola: 8377198 markings, 24254511 edges, 48832 markings/sec, 165 secs
lola: 8620476 markings, 24959843 edges, 48656 markings/sec, 170 secs
lola: 8865501 markings, 25668837 edges, 49005 markings/sec, 175 secs
lola: 9109905 markings, 26376927 edges, 48881 markings/sec, 180 secs
lola: 9354011 markings, 27083375 edges, 48821 markings/sec, 185 secs
lola: 9598386 markings, 27794182 edges, 48875 markings/sec, 190 secs
lola: 9844313 markings, 28509477 edges, 49185 markings/sec, 195 secs
lola: 10089744 markings, 29222179 edges, 49086 markings/sec, 200 secs
lola: 10338176 markings, 29939803 edges, 49686 markings/sec, 205 secs
lola: 10587290 markings, 30661362 edges, 49823 markings/sec, 210 secs
lola: 10835019 markings, 31376944 edges, 49546 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 317322 markings, 839672 edges, 63464 markings/sec, 0 secs
lola: 636230 markings, 1683631 edges, 63782 markings/sec, 5 secs
lola: 958081 markings, 2535345 edges, 64370 markings/sec, 10 secs
lola: 1278055 markings, 3381852 edges, 63995 markings/sec, 15 secs
lola: 1598120 markings, 4230234 edges, 64013 markings/sec, 20 secs
lola: 1916883 markings, 5074086 edges, 63753 markings/sec, 25 secs
lola: 2241107 markings, 5931700 edges, 64845 markings/sec, 30 secs
lola: 2570646 markings, 6804195 edges, 65908 markings/sec, 35 secs
lola: 2898639 markings, 7673783 edges, 65599 markings/sec, 40 secs
lola: 3228444 markings, 8547117 edges, 65961 markings/sec, 45 secs
lola: 3559613 markings, 9423529 edges, 66234 markings/sec, 50 secs
lola: 3888519 markings, 10293819 edges, 65781 markings/sec, 55 secs
lola: 4219006 markings, 11168392 edges, 66097 markings/sec, 60 secs
lola: 4548313 markings, 12039961 edges, 65861 markings/sec, 65 secs
lola: 4875905 markings, 12906670 edges, 65518 markings/sec, 70 secs
lola: 5198838 markings, 13761735 edges, 64587 markings/sec, 75 secs
lola: 5529060 markings, 14636207 edges, 66044 markings/sec, 80 secs
lola: 5856300 markings, 15502218 edges, 65448 markings/sec, 85 secs
lola: 6184950 markings, 16371818 edges, 65730 markings/sec, 90 secs
lola: 6510462 markings, 17233231 edges, 65102 markings/sec, 95 secs
lola: 6839294 markings, 18103495 edges, 65766 markings/sec, 100 secs
lola: 7165865 markings, 18967626 edges, 65314 markings/sec, 105 secs
lola: 7448611 markings, 19716029 edges, 56549 markings/sec, 110 secs
lola: 7750415 markings, 20515507 edges, 60361 markings/sec, 115 secs
lola: 8043255 markings, 21290550 edges, 58568 markings/sec, 120 secs
lola: 8335905 markings, 22064610 edges, 58530 markings/sec, 125 secs
lola: 8639370 markings, 22867445 edges, 60693 markings/sec, 130 secs
lola: 8962368 markings, 23722027 edges, 64600 markings/sec, 135 secs
lola: 9288833 markings, 24586496 edges, 65293 markings/sec, 140 secs
lola: 9608704 markings, 25432988 edges, 63974 markings/sec, 145 secs
lola: 9925660 markings, 26271490 edges, 63391 markings/sec, 150 secs
lola: 10249491 markings, 27128250 edges, 64766 markings/sec, 155 secs
lola: 10572256 markings, 27982462 edges, 64553 markings/sec, 160 secs
lola: 10894615 markings, 28835486 edges, 64472 markings/sec, 165 secs
lola: 11219033 markings, 29693473 edges, 64884 markings/sec, 170 secs
lola: 11535802 markings, 30532007 edges, 63354 markings/sec, 175 secs
lola: 11838011 markings, 31331469 edges, 60442 markings/sec, 180 secs
lola: 12131628 markings, 32108914 edges, 58723 markings/sec, 185 secs
lola: 12424339 markings, 32883007 edges, 58542 markings/sec, 190 secs
lola: 12723749 markings, 33675708 edges, 59882 markings/sec, 195 secs
lola: 13015334 markings, 34446980 edges, 58317 markings/sec, 200 secs
lola: 13305686 markings, 35215340 edges, 58070 markings/sec, 205 secs
lola: 13609213 markings, 36018136 edges, 60705 markings/sec, 210 secs
lola: 13922924 markings, 36848105 edges, 62742 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 316796 markings, 821817 edges, 63359 markings/sec, 0 secs
lola: 616733 markings, 1601246 edges, 59987 markings/sec, 5 secs
lola: 906211 markings, 2356140 edges, 57896 markings/sec, 10 secs
lola: 1194588 markings, 3110076 edges, 57675 markings/sec, 15 secs
lola: 1510016 markings, 3933735 edges, 63086 markings/sec, 20 secs
lola: 1821850 markings, 4748967 edges, 62367 markings/sec, 25 secs
lola: 2134293 markings, 5565114 edges, 62489 markings/sec, 30 secs
lola: 2449091 markings, 6381934 edges, 62960 markings/sec, 35 secs
lola: 2763481 markings, 7199187 edges, 62878 markings/sec, 40 secs
lola: 3074249 markings, 8008020 edges, 62154 markings/sec, 45 secs
lola: 3382445 markings, 8810483 edges, 61639 markings/sec, 50 secs
lola: 3705195 markings, 9652403 edges, 64550 markings/sec, 55 secs
lola: 4026122 markings, 10491540 edges, 64185 markings/sec, 60 secs
lola: 4335127 markings, 11299802 edges, 61801 markings/sec, 65 secs
lola: 4642710 markings, 12104969 edges, 61517 markings/sec, 70 secs
lola: 4960280 markings, 12929490 edges, 63514 markings/sec, 75 secs
lola: 5280588 markings, 13762217 edges, 64062 markings/sec, 80 secs
lola: 5598400 markings, 14588597 edges, 63562 markings/sec, 85 secs
lola: 5913669 markings, 15409557 edges, 63054 markings/sec, 90 secs
lola: 6228940 markings, 16232977 edges, 63054 markings/sec, 95 secs
lola: 6541178 markings, 17051183 edges, 62448 markings/sec, 100 secs
lola: 6849649 markings, 17859218 edges, 61694 markings/sec, 105 secs
lola: 7157480 markings, 18664314 edges, 61566 markings/sec, 110 secs
lola: 7464398 markings, 19470499 edges, 61384 markings/sec, 115 secs
lola: 7777415 markings, 20286731 edges, 62603 markings/sec, 120 secs
lola: 8098701 markings, 21121238 edges, 64257 markings/sec, 125 secs
lola: 8411883 markings, 21937008 edges, 62636 markings/sec, 130 secs
lola: 8717337 markings, 22732396 edges, 61091 markings/sec, 135 secs
lola: 9025800 markings, 23532840 edges, 61693 markings/sec, 140 secs
lola: 9331928 markings, 24328721 edges, 61226 markings/sec, 145 secs
lola: 9641383 markings, 25136130 edges, 61891 markings/sec, 150 secs
lola: 9953628 markings, 25950161 edges, 62449 markings/sec, 155 secs
lola: 10267095 markings, 26764362 edges, 62693 markings/sec, 160 secs
lola: 10583660 markings, 27586019 edges, 63313 markings/sec, 165 secs
lola: 10892974 markings, 28391230 edges, 61863 markings/sec, 170 secs
lola: 11194444 markings, 29175784 edges, 60294 markings/sec, 175 secs
lola: 11497530 markings, 29965182 edges, 60617 markings/sec, 180 secs
lola: 11800701 markings, 30757543 edges, 60634 markings/sec, 185 secs
lola: 12098370 markings, 31535067 edges, 59534 markings/sec, 190 secs
lola: 12385523 markings, 32287498 edges, 57431 markings/sec, 195 secs
lola: 12677863 markings, 33047300 edges, 58468 markings/sec, 200 secs
lola: 12971188 markings, 33808629 edges, 58665 markings/sec, 205 secs
lola: 13262791 markings, 34568042 edges, 58321 markings/sec, 210 secs
lola: 13552261 markings, 35324492 edges, 57894 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 310020 markings, 755209 edges, 62004 markings/sec, 0 secs
lola: 623907 markings, 1520777 edges, 62777 markings/sec, 5 secs
lola: 932498 markings, 2272552 edges, 61718 markings/sec, 10 secs
lola: 1251541 markings, 3049779 edges, 63809 markings/sec, 15 secs
lola: 1565719 markings, 3815158 edges, 62836 markings/sec, 20 secs
lola: 1858888 markings, 4529495 edges, 58634 markings/sec, 25 secs
lola: 2172518 markings, 5293542 edges, 62726 markings/sec, 30 secs
lola: 2470926 markings, 6020517 edges, 59682 markings/sec, 35 secs
lola: 2767105 markings, 6742133 edges, 59236 markings/sec, 40 secs
lola: 3063109 markings, 7463276 edges, 59201 markings/sec, 45 secs
lola: 3360521 markings, 8188263 edges, 59482 markings/sec, 50 secs
lola: 3663124 markings, 8928812 edges, 60521 markings/sec, 55 secs
lola: 3983161 markings, 9708569 edges, 64007 markings/sec, 60 secs
lola: 4307783 markings, 10499395 edges, 64924 markings/sec, 65 secs
lola: 4625473 markings, 11273496 edges, 63538 markings/sec, 70 secs
lola: 4949872 markings, 12063801 edges, 64880 markings/sec, 75 secs
lola: 5273566 markings, 12852357 edges, 64739 markings/sec, 80 secs
lola: 5596321 markings, 13638654 edges, 64551 markings/sec, 85 secs
lola: 5910850 markings, 14405400 edges, 62906 markings/sec, 90 secs
lola: 6230292 markings, 15184040 edges, 63888 markings/sec, 95 secs
lola: 6547211 markings, 15956096 edges, 63384 markings/sec, 100 secs
lola: 6868249 markings, 16738228 edges, 64208 markings/sec, 105 secs
lola: 7189871 markings, 17521848 edges, 64324 markings/sec, 110 secs
lola: 7512090 markings, 18306887 edges, 64444 markings/sec, 115 secs
lola: 7831604 markings, 19086617 edges, 63903 markings/sec, 120 secs
lola: 8153866 markings, 19872248 edges, 64452 markings/sec, 125 secs
lola: 8474758 markings, 20658939 edges, 64178 markings/sec, 130 secs
lola: 8779365 markings, 21403636 edges, 60921 markings/sec, 135 secs
lola: 9073898 markings, 22123505 edges, 58907 markings/sec, 140 secs
lola: 9382947 markings, 22879898 edges, 61810 markings/sec, 145 secs
lola: 9688820 markings, 23629271 edges, 61175 markings/sec, 150 secs
lola: 9986884 markings, 24355405 edges, 59613 markings/sec, 155 secs
lola: 10281741 markings, 25073720 edges, 58971 markings/sec, 160 secs
lola: 10596368 markings, 25840189 edges, 62925 markings/sec, 165 secs
lola: 10925038 markings, 26641809 edges, 65734 markings/sec, 170 secs
lola: 11248589 markings, 27430013 edges, 64710 markings/sec, 175 secs
lola: 11575379 markings, 28226248 edges, 65358 markings/sec, 180 secs
lola: 11908429 markings, 29037602 edges, 66610 markings/sec, 185 secs
lola: 12240481 markings, 29846533 edges, 66410 markings/sec, 190 secs
lola: 12571401 markings, 30652693 edges, 66184 markings/sec, 195 secs
lola: 12899021 markings, 31450935 edges, 65524 markings/sec, 200 secs
lola: 13217414 markings, 32226605 edges, 63679 markings/sec, 205 secs
lola: 13550599 markings, 33038741 edges, 66637 markings/sec, 210 secs
lola: 13877496 markings, 33838585 edges, 65379 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 315659 markings, 816723 edges, 63132 markings/sec, 0 secs
lola: 631536 markings, 1634857 edges, 63175 markings/sec, 5 secs
lola: 946913 markings, 2451510 edges, 63075 markings/sec, 10 secs
lola: 1261918 markings, 3266915 edges, 63001 markings/sec, 15 secs
lola: 1575594 markings, 4079086 edges, 62735 markings/sec, 20 secs
lola: 1881645 markings, 4871237 edges, 61210 markings/sec, 25 secs
lola: 2183679 markings, 5654754 edges, 60407 markings/sec, 30 secs
lola: 2482076 markings, 6427258 edges, 59679 markings/sec, 35 secs
lola: 2784023 markings, 7209158 edges, 60389 markings/sec, 40 secs
lola: 3084130 markings, 7986393 edges, 60021 markings/sec, 45 secs
lola: 3398118 markings, 8799285 edges, 62798 markings/sec, 50 secs
lola: 3715250 markings, 9620760 edges, 63426 markings/sec, 55 secs
lola: 4040312 markings, 10462812 edges, 65012 markings/sec, 60 secs
lola: 4369436 markings, 11315656 edges, 65825 markings/sec, 65 secs
lola: 4696990 markings, 12163514 edges, 65511 markings/sec, 70 secs
lola: 5028132 markings, 13020283 edges, 66228 markings/sec, 75 secs
lola: 5349810 markings, 13853478 edges, 64336 markings/sec, 80 secs
lola: 5664195 markings, 14667442 edges, 62877 markings/sec, 85 secs
lola: 5981816 markings, 15489558 edges, 63524 markings/sec, 90 secs
lola: 6301293 markings, 16317902 edges, 63895 markings/sec, 95 secs
lola: 6615537 markings, 17132011 edges, 62849 markings/sec, 100 secs
lola: 6929277 markings, 17944270 edges, 62748 markings/sec, 105 secs
lola: 7244114 markings, 18759425 edges, 62967 markings/sec, 110 secs
lola: 7556046 markings, 19567798 edges, 62386 markings/sec, 115 secs
lola: 7870768 markings, 20382778 edges, 62944 markings/sec, 120 secs
lola: 8185915 markings, 21198780 edges, 63029 markings/sec, 125 secs
lola: 8501762 markings, 22016308 edges, 63169 markings/sec, 130 secs
lola: 8816125 markings, 22830036 edges, 62873 markings/sec, 135 secs
lola: 9133833 markings, 23653231 edges, 63542 markings/sec, 140 secs
lola: 9453329 markings, 24480450 edges, 63899 markings/sec, 145 secs
lola: 9772167 markings, 25305509 edges, 63768 markings/sec, 150 secs
lola: 10085804 markings, 26117327 edges, 62727 markings/sec, 155 secs
lola: 10395678 markings, 26919059 edges, 61975 markings/sec, 160 secs
lola: 10702019 markings, 27712785 edges, 61268 markings/sec, 165 secs
lola: 11007069 markings, 28501934 edges, 61010 markings/sec, 170 secs
lola: 11326079 markings, 29328747 edges, 63802 markings/sec, 175 secs
lola: 11643577 markings, 30151467 edges, 63500 markings/sec, 180 secs
lola: 11965505 markings, 30985205 edges, 64386 markings/sec, 185 secs
lola: 12290382 markings, 31826458 edges, 64975 markings/sec, 190 secs
lola: 12613679 markings, 32664823 edges, 64659 markings/sec, 195 secs
lola: 12930094 markings, 33484505 edges, 63283 markings/sec, 200 secs
lola: 13246556 markings, 34304098 edges, 63292 markings/sec, 205 secs
lola: 13566411 markings, 35132646 edges, 63971 markings/sec, 210 secs
lola: 13883690 markings, 35954580 edges, 63456 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 333796 markings, 807671 edges, 66759 markings/sec, 0 secs
lola: 673246 markings, 1627542 edges, 67890 markings/sec, 5 secs
lola: 1011312 markings, 2444643 edges, 67613 markings/sec, 10 secs
lola: 1322857 markings, 3197539 edges, 62309 markings/sec, 15 secs
lola: 1611672 markings, 3894768 edges, 57763 markings/sec, 20 secs
lola: 1918281 markings, 4635382 edges, 61322 markings/sec, 25 secs
lola: 2219526 markings, 5363811 edges, 60249 markings/sec, 30 secs
lola: 2518117 markings, 6085062 edges, 59718 markings/sec, 35 secs
lola: 2819195 markings, 6813094 edges, 60216 markings/sec, 40 secs
lola: 3148517 markings, 7609776 edges, 65864 markings/sec, 45 secs
lola: 3478518 markings, 8405987 edges, 66000 markings/sec, 50 secs
lola: 3806001 markings, 9196802 edges, 65497 markings/sec, 55 secs
lola: 4135472 markings, 9993058 edges, 65894 markings/sec, 60 secs
lola: 4462660 markings, 10784823 edges, 65438 markings/sec, 65 secs
lola: 4763024 markings, 11510947 edges, 60073 markings/sec, 70 secs
lola: 5081292 markings, 12281111 edges, 63654 markings/sec, 75 secs
lola: 5394474 markings, 13038557 edges, 62636 markings/sec, 80 secs
lola: 5692146 markings, 13760071 edges, 59534 markings/sec, 85 secs
lola: 5991942 markings, 14483569 edges, 59959 markings/sec, 90 secs
lola: 6292102 markings, 15208996 edges, 60032 markings/sec, 95 secs
lola: 6592053 markings, 15932907 edges, 59990 markings/sec, 100 secs
lola: 6898952 markings, 16674021 edges, 61380 markings/sec, 105 secs
lola: 7227079 markings, 17466552 edges, 65625 markings/sec, 110 secs
lola: 7552111 markings, 18251730 edges, 65006 markings/sec, 115 secs
lola: 7877408 markings, 19036760 edges, 65059 markings/sec, 120 secs
lola: 8204436 markings, 19825393 edges, 65406 markings/sec, 125 secs
lola: 8536601 markings, 20627661 edges, 66433 markings/sec, 130 secs
lola: 8865313 markings, 21421486 edges, 65742 markings/sec, 135 secs
lola: 9194263 markings, 22215914 edges, 65790 markings/sec, 140 secs
lola: 9505096 markings, 22966504 edges, 62167 markings/sec, 145 secs
lola: 9821350 markings, 23730929 edges, 63251 markings/sec, 150 secs
lola: 10125317 markings, 24463956 edges, 60793 markings/sec, 155 secs
lola: 10430242 markings, 25201790 edges, 60985 markings/sec, 160 secs
lola: 10735185 markings, 25938839 edges, 60989 markings/sec, 165 secs
lola: 11031545 markings, 26656521 edges, 59272 markings/sec, 170 secs
lola: 11329034 markings, 27374331 edges, 59498 markings/sec, 175 secs
lola: 11626728 markings, 28093959 edges, 59539 markings/sec, 180 secs
lola: 11948748 markings, 28872071 edges, 64404 markings/sec, 185 secs
lola: 12267505 markings, 29644357 edges, 63751 markings/sec, 190 secs
lola: 12583275 markings, 30409584 edges, 63154 markings/sec, 195 secs
lola: 12906228 markings, 31190113 edges, 64591 markings/sec, 200 secs
lola: 13226855 markings, 31965165 edges, 64125 markings/sec, 205 secs
lola: 13546652 markings, 32736365 edges, 63959 markings/sec, 210 secs
lola: 13867830 markings, 33511717 edges, 64236 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 317722 markings, 774978 edges, 63544 markings/sec, 0 secs
lola: 632078 markings, 1541912 edges, 62871 markings/sec, 5 secs
lola: 944208 markings, 2303346 edges, 62426 markings/sec, 10 secs
lola: 1268507 markings, 3094388 edges, 64860 markings/sec, 15 secs
lola: 1582471 markings, 3860231 edges, 62793 markings/sec, 20 secs
lola: 1895943 markings, 4624867 edges, 62694 markings/sec, 25 secs
lola: 2209830 markings, 5390819 edges, 62777 markings/sec, 30 secs
lola: 2529857 markings, 6171741 edges, 64005 markings/sec, 35 secs
lola: 2838606 markings, 6925299 edges, 61750 markings/sec, 40 secs
lola: 3155863 markings, 7699177 edges, 63451 markings/sec, 45 secs
lola: 3473935 markings, 8485183 edges, 63614 markings/sec, 50 secs
lola: 3777054 markings, 9224568 edges, 60624 markings/sec, 55 secs
lola: 4079174 markings, 9961505 edges, 60424 markings/sec, 60 secs
lola: 4372369 markings, 10676693 edges, 58639 markings/sec, 65 secs
lola: 4667500 markings, 11396764 edges, 59026 markings/sec, 70 secs
lola: 4965278 markings, 12123721 edges, 59556 markings/sec, 75 secs
lola: 5262538 markings, 12848998 edges, 59452 markings/sec, 80 secs
lola: 5558205 markings, 13571368 edges, 59133 markings/sec, 85 secs
lola: 5864326 markings, 14318855 edges, 61224 markings/sec, 90 secs
lola: 6157971 markings, 15036536 edges, 58729 markings/sec, 95 secs
lola: 6450981 markings, 15753916 edges, 58602 markings/sec, 100 secs
lola: 6757131 markings, 16504730 edges, 61230 markings/sec, 105 secs
lola: 7074288 markings, 17281706 edges, 63431 markings/sec, 110 secs
lola: 7377245 markings, 18025442 edges, 60591 markings/sec, 115 secs
lola: 7669254 markings, 18739014 edges, 58402 markings/sec, 120 secs
lola: 7964360 markings, 19460422 edges, 59021 markings/sec, 125 secs
lola: 8256923 markings, 20177815 edges, 58513 markings/sec, 130 secs
lola: 8552690 markings, 20901601 edges, 59153 markings/sec, 135 secs
lola: 8877971 markings, 21695042 edges, 65056 markings/sec, 140 secs
lola: 9177447 markings, 22425544 edges, 59895 markings/sec, 145 secs
lola: 9493403 markings, 23196263 edges, 63191 markings/sec, 150 secs
lola: 9795612 markings, 23933436 edges, 60442 markings/sec, 155 secs
lola: 10097906 markings, 24670822 edges, 60459 markings/sec, 160 secs
lola: 10391538 markings, 25387075 edges, 58726 markings/sec, 165 secs
lola: 10688575 markings, 26116415 edges, 59407 markings/sec, 170 secs
lola: 10983061 markings, 26838121 edges, 58897 markings/sec, 175 secs
lola: 11275595 markings, 27551956 edges, 58507 markings/sec, 180 secs
lola: 11570468 markings, 28271241 edges, 58975 markings/sec, 185 secs
lola: 11862295 markings, 29005977 edges, 58365 markings/sec, 190 secs
lola: 12160432 markings, 29734755 edges, 59627 markings/sec, 195 secs
lola: 12461032 markings, 30468861 edges, 60120 markings/sec, 200 secs
lola: 12758129 markings, 31196941 edges, 59419 markings/sec, 205 secs
lola: 13055666 markings, 31926173 edges, 59507 markings/sec, 210 secs
lola: 13352097 markings, 32654330 edges, 59286 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p240)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 293409 markings, 648082 edges, 58682 markings/sec, 0 secs
lola: 589040 markings, 1302552 edges, 59126 markings/sec, 5 secs
lola: 882643 markings, 1952652 edges, 58721 markings/sec, 10 secs
lola: 1185184 markings, 2621379 edges, 60508 markings/sec, 15 secs
lola: 1500143 markings, 3317198 edges, 62992 markings/sec, 20 secs
lola: 1813198 markings, 4009240 edges, 62611 markings/sec, 25 secs
lola: 2123952 markings, 4695782 edges, 62151 markings/sec, 30 secs
lola: 2434426 markings, 5382361 edges, 62095 markings/sec, 35 secs
lola: 2746437 markings, 6073192 edges, 62402 markings/sec, 40 secs
lola: 3054938 markings, 6757655 edges, 61700 markings/sec, 45 secs
lola: 3364901 markings, 7444352 edges, 61993 markings/sec, 50 secs
lola: 3671911 markings, 8124310 edges, 61402 markings/sec, 55 secs
lola: 3977663 markings, 8802965 edges, 61150 markings/sec, 60 secs
lola: 4285052 markings, 9482059 edges, 61478 markings/sec, 65 secs
lola: 4604178 markings, 10188639 edges, 63825 markings/sec, 70 secs
lola: 4922163 markings, 10895934 edges, 63597 markings/sec, 75 secs
lola: 5233059 markings, 11582785 edges, 62179 markings/sec, 80 secs
lola: 5527035 markings, 12232272 edges, 58795 markings/sec, 85 secs
lola: 5818649 markings, 12877422 edges, 58323 markings/sec, 90 secs
lola: 6110938 markings, 13525220 edges, 58458 markings/sec, 95 secs
lola: 6412624 markings, 14194932 edges, 60337 markings/sec, 100 secs
lola: 6710836 markings, 14853757 edges, 59642 markings/sec, 105 secs
lola: 7025156 markings, 15548213 edges, 62864 markings/sec, 110 secs
lola: 7343883 markings, 16253023 edges, 63745 markings/sec, 115 secs
lola: 7660040 markings, 16952081 edges, 63231 markings/sec, 120 secs
lola: 7968623 markings, 17633870 edges, 61717 markings/sec, 125 secs
lola: 8279856 markings, 18321743 edges, 62247 markings/sec, 130 secs
lola: 8586606 markings, 19002014 edges, 61350 markings/sec, 135 secs
lola: 8901868 markings, 19702693 edges, 63052 markings/sec, 140 secs
lola: 9218853 markings, 20403002 edges, 63397 markings/sec, 145 secs
lola: 9539681 markings, 21111805 edges, 64166 markings/sec, 150 secs
lola: 9853512 markings, 21805140 edges, 62766 markings/sec, 155 secs
lola: 10170511 markings, 22505547 edges, 63400 markings/sec, 160 secs
lola: 10484288 markings, 23199760 edges, 62755 markings/sec, 165 secs
lola: 10800190 markings, 23901398 edges, 63180 markings/sec, 170 secs
lola: 11119299 markings, 24608656 edges, 63822 markings/sec, 175 secs
lola: 11437006 markings, 25310546 edges, 63541 markings/sec, 180 secs
lola: 11746544 markings, 25994831 edges, 61908 markings/sec, 185 secs
lola: 12060621 markings, 26688713 edges, 62815 markings/sec, 190 secs
lola: 12378160 markings, 27390238 edges, 63508 markings/sec, 195 secs
lola: 12690329 markings, 28080325 edges, 62434 markings/sec, 200 secs
lola: 13007696 markings, 28781599 edges, 63473 markings/sec, 205 secs
lola: 13319901 markings, 29472804 edges, 62441 markings/sec, 210 secs
lola: 13633496 markings, 30166156 edges, 62719 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p283)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 246670 markings, 617720 edges, 49334 markings/sec, 0 secs
lola: 497832 markings, 1242476 edges, 50232 markings/sec, 5 secs
lola: 747709 markings, 1866332 edges, 49975 markings/sec, 10 secs
lola: 996619 markings, 2482981 edges, 49782 markings/sec, 15 secs
lola: 1246222 markings, 3103466 edges, 49921 markings/sec, 20 secs
lola: 1492631 markings, 3721265 edges, 49282 markings/sec, 25 secs
lola: 1732504 markings, 4322160 edges, 47975 markings/sec, 30 secs
lola: 1972001 markings, 4921781 edges, 47899 markings/sec, 35 secs
lola: 2212677 markings, 5524335 edges, 48135 markings/sec, 40 secs
lola: 2436925 markings, 6086976 edges, 44850 markings/sec, 45 secs
lola: 2656501 markings, 6636913 edges, 43915 markings/sec, 50 secs
lola: 2893277 markings, 7230283 edges, 47355 markings/sec, 55 secs
lola: 3132166 markings, 7828813 edges, 47778 markings/sec, 60 secs
lola: 3378525 markings, 8445699 edges, 49272 markings/sec, 65 secs
lola: 3625283 markings, 9063213 edges, 49352 markings/sec, 70 secs
lola: 3875268 markings, 9689501 edges, 49997 markings/sec, 75 secs
lola: 4122027 markings, 10308401 edges, 49352 markings/sec, 80 secs
lola: 4363416 markings, 10912478 edges, 48278 markings/sec, 85 secs
lola: 4605761 markings, 11518719 edges, 48469 markings/sec, 90 secs
lola: 4848219 markings, 12125160 edges, 48492 markings/sec, 95 secs
lola: 5096444 markings, 12746491 edges, 49645 markings/sec, 100 secs
lola: 5345997 markings, 13372075 edges, 49911 markings/sec, 105 secs
lola: 5595114 markings, 13995307 edges, 49823 markings/sec, 110 secs
lola: 5845038 markings, 14618975 edges, 49985 markings/sec, 115 secs
lola: 6090315 markings, 15231609 edges, 49055 markings/sec, 120 secs
lola: 6328161 markings, 15828490 edges, 47569 markings/sec, 125 secs
lola: 6572757 markings, 16444556 edges, 48919 markings/sec, 130 secs
lola: 6818404 markings, 17061230 edges, 49129 markings/sec, 135 secs
lola: 7063737 markings, 17675590 edges, 49067 markings/sec, 140 secs
lola: 7307943 markings, 18281832 edges, 48841 markings/sec, 145 secs
lola: 7552442 markings, 18888921 edges, 48900 markings/sec, 150 secs
lola: 7793766 markings, 19487995 edges, 48265 markings/sec, 155 secs
lola: 8037302 markings, 20094298 edges, 48707 markings/sec, 160 secs
lola: 8276851 markings, 20688988 edges, 47910 markings/sec, 165 secs
lola: 8511499 markings, 21276614 edges, 46930 markings/sec, 170 secs
lola: 8739640 markings, 21848180 edges, 45628 markings/sec, 175 secs
lola: 8966863 markings, 22418745 edges, 45445 markings/sec, 180 secs
lola: 9214071 markings, 23040584 edges, 49442 markings/sec, 185 secs
lola: 9456542 markings, 23652457 edges, 48494 markings/sec, 190 secs
lola: 9707740 markings, 24276886 edges, 50240 markings/sec, 195 secs
lola: 9952543 markings, 24884610 edges, 48961 markings/sec, 200 secs
lola: 10190165 markings, 25474598 edges, 47524 markings/sec, 205 secs
lola: 10435678 markings, 26085826 edges, 49103 markings/sec, 210 secs
lola: 10682395 markings, 26698282 edges, 49343 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p325)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 486507 markings, 1194850 edges, 97301 markings/sec, 0 secs
lola: 972565 markings, 2383607 edges, 97212 markings/sec, 5 secs
lola: 1429953 markings, 3499404 edges, 91478 markings/sec, 10 secs
lola: 1875027 markings, 4584282 edges, 89015 markings/sec, 15 secs
lola: 2314526 markings, 5648158 edges, 87900 markings/sec, 20 secs
lola: 2750987 markings, 6698658 edges, 87292 markings/sec, 25 secs
lola: 3182230 markings, 7755650 edges, 86249 markings/sec, 30 secs
lola: 3619083 markings, 8818489 edges, 87371 markings/sec, 35 secs
lola: 4057841 markings, 9885888 edges, 87752 markings/sec, 40 secs
lola: 4494947 markings, 10948077 edges, 87421 markings/sec, 45 secs
lola: 4930669 markings, 12005145 edges, 87144 markings/sec, 50 secs
lola: 5364507 markings, 13053364 edges, 86768 markings/sec, 55 secs
lola: 5798305 markings, 14099090 edges, 86760 markings/sec, 60 secs
lola: 6234138 markings, 15157271 edges, 87167 markings/sec, 65 secs
lola: 6671102 markings, 16216919 edges, 87393 markings/sec, 70 secs
lola: 7102865 markings, 17264021 edges, 86353 markings/sec, 75 secs
lola: 7568444 markings, 18387835 edges, 93116 markings/sec, 80 secs
lola: 8040451 markings, 19522659 edges, 94401 markings/sec, 85 secs
lola: 8505607 markings, 20647957 edges, 93031 markings/sec, 90 secs
lola: 8964406 markings, 21755100 edges, 91760 markings/sec, 95 secs
lola: 9422950 markings, 22864093 edges, 91709 markings/sec, 100 secs
lola: 9883576 markings, 23975523 edges, 92125 markings/sec, 105 secs
lola: 10322220 markings, 25032025 edges, 87729 markings/sec, 110 secs
lola: 10762274 markings, 26092913 edges, 88011 markings/sec, 115 secs
lola: 11187723 markings, 27118398 edges, 85090 markings/sec, 120 secs
lola: 11621059 markings, 28164339 edges, 86667 markings/sec, 125 secs
lola: 12046931 markings, 29189728 edges, 85174 markings/sec, 130 secs
lola: 12471969 markings, 30213698 edges, 85008 markings/sec, 135 secs
lola: 12896940 markings, 31239275 edges, 84994 markings/sec, 140 secs
lola: 13337722 markings, 32305434 edges, 88156 markings/sec, 145 secs
lola: 13777465 markings, 33372560 edges, 87949 markings/sec, 150 secs
lola: 14225473 markings, 34453635 edges, 89602 markings/sec, 155 secs
lola: 14677875 markings, 35544163 edges, 90480 markings/sec, 160 secs
lola: 15130091 markings, 36641802 edges, 90443 markings/sec, 165 secs
lola: 15558058 markings, 37675278 edges, 85593 markings/sec, 170 secs
lola: 15982337 markings, 38693563 edges, 84856 markings/sec, 175 secs
lola: 16406753 markings, 39711431 edges, 84883 markings/sec, 180 secs
lola: 16838184 markings, 40755314 edges, 86286 markings/sec, 185 secs
lola: 17256952 markings, 41767918 edges, 83754 markings/sec, 190 secs
lola: 17675575 markings, 42775032 edges, 83725 markings/sec, 195 secs
lola: 18095222 markings, 43786712 edges, 83929 markings/sec, 200 secs
lola: 18513752 markings, 44797518 edges, 83706 markings/sec, 205 secs
lola: 18936611 markings, 45823239 edges, 84572 markings/sec, 210 secs
lola: 19352059 markings, 46820635 edges, 83090 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 294324 markings, 760239 edges, 58865 markings/sec, 0 secs
lola: 589498 markings, 1523525 edges, 59035 markings/sec, 5 secs
lola: 887832 markings, 2295519 edges, 59667 markings/sec, 10 secs
lola: 1211567 markings, 3132599 edges, 64747 markings/sec, 15 secs
lola: 1541018 markings, 3986679 edges, 65890 markings/sec, 20 secs
lola: 1872586 markings, 4845443 edges, 66314 markings/sec, 25 secs
lola: 2202195 markings, 5700830 edges, 65922 markings/sec, 30 secs
lola: 2526601 markings, 6543545 edges, 64881 markings/sec, 35 secs
lola: 2854439 markings, 7393374 edges, 65568 markings/sec, 40 secs
lola: 3180238 markings, 8240814 edges, 65160 markings/sec, 45 secs
lola: 3503180 markings, 9082431 edges, 64588 markings/sec, 50 secs
lola: 3811646 markings, 9884922 edges, 61693 markings/sec, 55 secs
lola: 4103571 markings, 10643766 edges, 58385 markings/sec, 60 secs
lola: 4398602 markings, 11409495 edges, 59006 markings/sec, 65 secs
lola: 4689667 markings, 12168576 edges, 58213 markings/sec, 70 secs
lola: 4982798 markings, 12933198 edges, 58626 markings/sec, 75 secs
lola: 5306809 markings, 13772171 edges, 64802 markings/sec, 80 secs
lola: 5622739 markings, 14589147 edges, 63186 markings/sec, 85 secs
lola: 5927825 markings, 15379621 edges, 61017 markings/sec, 90 secs
lola: 6234506 markings, 16175769 edges, 61336 markings/sec, 95 secs
lola: 6538869 markings, 16966637 edges, 60873 markings/sec, 100 secs
lola: 6857872 markings, 17795751 edges, 63801 markings/sec, 105 secs
lola: 7175838 markings, 18623411 edges, 63593 markings/sec, 110 secs
lola: 7499219 markings, 19459119 edges, 64676 markings/sec, 115 secs
lola: 7810498 markings, 20265952 edges, 62256 markings/sec, 120 secs
lola: 8125821 markings, 21082758 edges, 63065 markings/sec, 125 secs
lola: 8442106 markings, 21903895 edges, 63257 markings/sec, 130 secs
lola: 8770893 markings, 22757201 edges, 65757 markings/sec, 135 secs
lola: 9098723 markings, 23605629 edges, 65566 markings/sec, 140 secs
lola: 9430184 markings, 24462136 edges, 66292 markings/sec, 145 secs
lola: 9758917 markings, 25313941 edges, 65747 markings/sec, 150 secs
lola: 10067753 markings, 26115782 edges, 61767 markings/sec, 155 secs
lola: 10365814 markings, 26886802 edges, 59612 markings/sec, 160 secs
lola: 10664520 markings, 27659285 edges, 59741 markings/sec, 165 secs
lola: 10961115 markings, 28427651 edges, 59319 markings/sec, 170 secs
lola: 11256965 markings, 29195670 edges, 59170 markings/sec, 175 secs
lola: 11551513 markings, 29961248 edges, 58910 markings/sec, 180 secs
lola: 11842188 markings, 30718644 edges, 58135 markings/sec, 185 secs
lola: 12130751 markings, 31471725 edges, 57713 markings/sec, 190 secs
lola: 12423373 markings, 32234164 edges, 58524 markings/sec, 195 secs
lola: 12719994 markings, 33001047 edges, 59324 markings/sec, 200 secs
lola: 13014761 markings, 33763816 edges, 58953 markings/sec, 205 secs
lola: 13308777 markings, 34525911 edges, 58803 markings/sec, 210 secs
lola: 13601189 markings, 35285280 edges, 58482 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 299746 markings, 727067 edges, 59949 markings/sec, 0 secs
lola: 601987 markings, 1460929 edges, 60448 markings/sec, 5 secs
lola: 912608 markings, 2215936 edges, 62124 markings/sec, 10 secs
lola: 1245416 markings, 3020451 edges, 66562 markings/sec, 15 secs
lola: 1578475 markings, 3829542 edges, 66612 markings/sec, 20 secs
lola: 1909609 markings, 4630336 edges, 66227 markings/sec, 25 secs
lola: 2239829 markings, 5428014 edges, 66044 markings/sec, 30 secs
lola: 2567512 markings, 6219182 edges, 65537 markings/sec, 35 secs
lola: 2896950 markings, 7014698 edges, 65888 markings/sec, 40 secs
lola: 3222158 markings, 7802188 edges, 65042 markings/sec, 45 secs
lola: 3543813 markings, 8579901 edges, 64331 markings/sec, 50 secs
lola: 3860876 markings, 9347329 edges, 63413 markings/sec, 55 secs
lola: 4163374 markings, 10084486 edges, 60500 markings/sec, 60 secs
lola: 4463122 markings, 10810124 edges, 59950 markings/sec, 65 secs
lola: 4792599 markings, 11607399 edges, 65895 markings/sec, 70 secs
lola: 5111481 markings, 12384055 edges, 63776 markings/sec, 75 secs
lola: 5414978 markings, 13123956 edges, 60699 markings/sec, 80 secs
lola: 5712894 markings, 13848947 edges, 59583 markings/sec, 85 secs
lola: 6008744 markings, 14564356 edges, 59170 markings/sec, 90 secs
lola: 6317220 markings, 15312984 edges, 61695 markings/sec, 95 secs
lola: 6642606 markings, 16103396 edges, 65077 markings/sec, 100 secs
lola: 6969422 markings, 16894633 edges, 65363 markings/sec, 105 secs
lola: 7297744 markings, 17687885 edges, 65664 markings/sec, 110 secs
lola: 7613601 markings, 18452804 edges, 63171 markings/sec, 115 secs
lola: 7928294 markings, 19216934 edges, 62939 markings/sec, 120 secs
lola: 8239928 markings, 19971664 edges, 62327 markings/sec, 125 secs
lola: 8562056 markings, 20749381 edges, 64426 markings/sec, 130 secs
lola: 8884321 markings, 21530792 edges, 64453 markings/sec, 135 secs
lola: 9187837 markings, 22266015 edges, 60703 markings/sec, 140 secs
lola: 9483532 markings, 22983179 edges, 59139 markings/sec, 145 secs
lola: 9779065 markings, 23699850 edges, 59107 markings/sec, 150 secs
lola: 10072772 markings, 24415633 edges, 58741 markings/sec, 155 secs
lola: 10369890 markings, 25136972 edges, 59424 markings/sec, 160 secs
lola: 10666368 markings, 25859026 edges, 59296 markings/sec, 165 secs
lola: 10964370 markings, 26579820 edges, 59600 markings/sec, 170 secs
lola: 11275470 markings, 27330986 edges, 62220 markings/sec, 175 secs
lola: 11579700 markings, 28065550 edges, 60846 markings/sec, 180 secs
lola: 11877438 markings, 28784397 edges, 59548 markings/sec, 185 secs
lola: 12175643 markings, 29504598 edges, 59641 markings/sec, 190 secs
lola: 12472099 markings, 30220522 edges, 59291 markings/sec, 195 secs
lola: 12771090 markings, 30944572 edges, 59798 markings/sec, 200 secs
lola: 13087408 markings, 31713532 edges, 63264 markings/sec, 205 secs
lola: 13401278 markings, 32474379 edges, 62774 markings/sec, 210 secs
lola: 13705899 markings, 33211987 edges, 60924 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 291679 markings, 755631 edges, 58336 markings/sec, 0 secs
lola: 587184 markings, 1520732 edges, 59101 markings/sec, 5 secs
lola: 891171 markings, 2310118 edges, 60797 markings/sec, 10 secs
lola: 1189023 markings, 3080163 edges, 59570 markings/sec, 15 secs
lola: 1488597 markings, 3854223 edges, 59915 markings/sec, 20 secs
lola: 1784121 markings, 4619230 edges, 59105 markings/sec, 25 secs
lola: 2070531 markings, 5360668 edges, 57282 markings/sec, 30 secs
lola: 2356661 markings, 6102117 edges, 57226 markings/sec, 35 secs
lola: 2641639 markings, 6837201 edges, 56996 markings/sec, 40 secs
lola: 2926113 markings, 7572417 edges, 56895 markings/sec, 45 secs
lola: 3211105 markings, 8313128 edges, 56998 markings/sec, 50 secs
lola: 3497700 markings, 9055223 edges, 57319 markings/sec, 55 secs
lola: 3781120 markings, 9788043 edges, 56684 markings/sec, 60 secs
lola: 4072016 markings, 10539911 edges, 58179 markings/sec, 65 secs
lola: 4357422 markings, 11277591 edges, 57081 markings/sec, 70 secs
lola: 4631488 markings, 11985977 edges, 54813 markings/sec, 75 secs
lola: 4904950 markings, 12693262 edges, 54692 markings/sec, 80 secs
lola: 5180097 markings, 13406362 edges, 55029 markings/sec, 85 secs
lola: 5468705 markings, 14152858 edges, 57722 markings/sec, 90 secs
lola: 5755664 markings, 14894864 edges, 57392 markings/sec, 95 secs
lola: 6041173 markings, 15633214 edges, 57102 markings/sec, 100 secs
lola: 6332729 markings, 16388736 edges, 58311 markings/sec, 105 secs
lola: 6642361 markings, 17193942 edges, 61926 markings/sec, 110 secs
lola: 6947179 markings, 17982035 edges, 60964 markings/sec, 115 secs
lola: 7247675 markings, 18759118 edges, 60099 markings/sec, 120 secs
lola: 7546856 markings, 19532645 edges, 59836 markings/sec, 125 secs
lola: 7848777 markings, 20314455 edges, 60384 markings/sec, 130 secs
lola: 8149994 markings, 21091459 edges, 60243 markings/sec, 135 secs
lola: 8454513 markings, 21880362 edges, 60904 markings/sec, 140 secs
lola: 8750882 markings, 22648822 edges, 59274 markings/sec, 145 secs
lola: 9051301 markings, 23427152 edges, 60084 markings/sec, 150 secs
lola: 9350414 markings, 24201064 edges, 59823 markings/sec, 155 secs
lola: 9653905 markings, 24985442 edges, 60698 markings/sec, 160 secs
lola: 9958596 markings, 25774394 edges, 60938 markings/sec, 165 secs
lola: 10254167 markings, 26541220 edges, 59114 markings/sec, 170 secs
lola: 10552393 markings, 27312678 edges, 59645 markings/sec, 175 secs
lola: 10850903 markings, 28083587 edges, 59702 markings/sec, 180 secs
lola: 11155840 markings, 28871202 edges, 60987 markings/sec, 185 secs
lola: 11461125 markings, 29668524 edges, 61057 markings/sec, 190 secs
lola: 11762362 markings, 30447525 edges, 60247 markings/sec, 195 secs
lola: 12066851 markings, 31235120 edges, 60898 markings/sec, 200 secs
lola: 12377244 markings, 32039038 edges, 62079 markings/sec, 205 secs
lola: 12686326 markings, 32840476 edges, 61816 markings/sec, 210 secs
lola: 12980527 markings, 33604109 edges, 58840 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 314986 markings, 780369 edges, 62997 markings/sec, 0 secs
lola: 620264 markings, 1536670 edges, 61056 markings/sec, 5 secs
lola: 939187 markings, 2327507 edges, 63785 markings/sec, 10 secs
lola: 1245863 markings, 3088181 edges, 61335 markings/sec, 15 secs
lola: 1552854 markings, 3848720 edges, 61398 markings/sec, 20 secs
lola: 1862036 markings, 4614679 edges, 61836 markings/sec, 25 secs
lola: 2166047 markings, 5367846 edges, 60802 markings/sec, 30 secs
lola: 2473492 markings, 6145576 edges, 61489 markings/sec, 35 secs
lola: 2788190 markings, 6925488 edges, 62940 markings/sec, 40 secs
lola: 3102359 markings, 7703807 edges, 62834 markings/sec, 45 secs
lola: 3416829 markings, 8482869 edges, 62894 markings/sec, 50 secs
lola: 3729866 markings, 9258559 edges, 62607 markings/sec, 55 secs
lola: 4044866 markings, 10039390 edges, 63000 markings/sec, 60 secs
lola: 4357459 markings, 10817116 edges, 62519 markings/sec, 65 secs
lola: 4672965 markings, 11599217 edges, 63101 markings/sec, 70 secs
lola: 4970846 markings, 12339240 edges, 59576 markings/sec, 75 secs
lola: 5277825 markings, 13100425 edges, 61396 markings/sec, 80 secs
lola: 5584133 markings, 13859215 edges, 61262 markings/sec, 85 secs
lola: 5895231 markings, 14631430 edges, 62220 markings/sec, 90 secs
lola: 6210005 markings, 15412062 edges, 62955 markings/sec, 95 secs
lola: 6519106 markings, 16178010 edges, 61820 markings/sec, 100 secs
lola: 6819142 markings, 16922156 edges, 60007 markings/sec, 105 secs
lola: 7118144 markings, 17662912 edges, 59800 markings/sec, 110 secs
lola: 7418158 markings, 18417836 edges, 60003 markings/sec, 115 secs
lola: 7717822 markings, 19162512 edges, 59933 markings/sec, 120 secs
lola: 8016939 markings, 19905042 edges, 59823 markings/sec, 125 secs
lola: 8322759 markings, 20664615 edges, 61164 markings/sec, 130 secs
lola: 8628940 markings, 21423145 edges, 61236 markings/sec, 135 secs
lola: 8930445 markings, 22170120 edges, 60301 markings/sec, 140 secs
lola: 9233388 markings, 22921567 edges, 60589 markings/sec, 145 secs
lola: 9539026 markings, 23678761 edges, 61128 markings/sec, 150 secs
lola: 9843339 markings, 24432686 edges, 60863 markings/sec, 155 secs
lola: 10145333 markings, 25181040 edges, 60399 markings/sec, 160 secs
lola: 10449615 markings, 25935248 edges, 60856 markings/sec, 165 secs
lola: 10762009 markings, 26709172 edges, 62479 markings/sec, 170 secs
lola: 11074218 markings, 27482652 edges, 62442 markings/sec, 175 secs
lola: 11378460 markings, 28236380 edges, 60848 markings/sec, 180 secs
lola: 11679892 markings, 28998830 edges, 60286 markings/sec, 185 secs
lola: 11977339 markings, 29736022 edges, 59489 markings/sec, 190 secs
lola: 12271316 markings, 30476515 edges, 58795 markings/sec, 195 secs
lola: 12571986 markings, 31227219 edges, 60134 markings/sec, 200 secs
lola: 12871900 markings, 31972151 edges, 59983 markings/sec, 205 secs
lola: 13181468 markings, 32739395 edges, 61914 markings/sec, 210 secs
lola: 13490834 markings, 33505840 edges, 61873 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Raft-PT-08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494803305058

--------------------
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="Raft-PT-08"
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/Raft-PT-08.tgz
mv Raft-PT-08 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 Raft-PT-08, 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 r068-csrt-149440963000011"
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 ;