Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DES-PT-30b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100290
=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1494628868856


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-30b @ 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: 749/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 399 places, 350 transitions, 334 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 447 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-30b-UpperBounds.task
lola: MAX(p279) : MAX(p34) : MAX(p42) : MAX(p174) : MAX(p144) : MAX(p124) : MAX(p193) : MAX(p31) : MAX(p125) : MAX(p217) : MAX(p329) : MAX(p257) : MAX(p62) : MAX(p312) : MAX(p266) : MAX(p364)
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(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1072205 markings, 1160829 edges, 214441 markings/sec, 0 secs
lola: 2234203 markings, 2356899 edges, 232400 markings/sec, 5 secs
lola: 3344396 markings, 3497574 edges, 222039 markings/sec, 10 secs
lola: 4290927 markings, 4640792 edges, 189306 markings/sec, 15 secs
lola: 5387211 markings, 5804981 edges, 219257 markings/sec, 20 secs
lola: 6428225 markings, 6942178 edges, 208203 markings/sec, 25 secs
lola: 7536414 markings, 8086909 edges, 221638 markings/sec, 30 secs
lola: 8475288 markings, 9239111 edges, 187775 markings/sec, 35 secs
lola: 8953069 markings, 10402601 edges, 95556 markings/sec, 40 secs
lola: 9718375 markings, 11512138 edges, 153061 markings/sec, 45 secs
lola: 10649662 markings, 12588105 edges, 186257 markings/sec, 50 secs
lola: 11796600 markings, 13774482 edges, 229388 markings/sec, 55 secs
lola: 12786939 markings, 14880722 edges, 198068 markings/sec, 60 secs
lola: 13763361 markings, 15996110 edges, 195284 markings/sec, 65 secs
lola: 14599484 markings, 17090140 edges, 167225 markings/sec, 70 secs
lola: 15365430 markings, 18206473 edges, 153189 markings/sec, 75 secs
lola: 16094120 markings, 19256016 edges, 145738 markings/sec, 80 secs
lola: 16790090 markings, 20312249 edges, 139194 markings/sec, 85 secs
lola: 17513746 markings, 21380995 edges, 144731 markings/sec, 90 secs
lola: 18560202 markings, 22522350 edges, 209291 markings/sec, 95 secs
lola: 19589870 markings, 23655277 edges, 205934 markings/sec, 100 secs
lola: 20617544 markings, 24786174 edges, 205535 markings/sec, 105 secs
lola: 21637840 markings, 25908536 edges, 204059 markings/sec, 110 secs
lola: 22688419 markings, 27041068 edges, 210116 markings/sec, 115 secs
lola: 23779193 markings, 28170540 edges, 218155 markings/sec, 120 secs
lola: 24667287 markings, 29294468 edges, 177619 markings/sec, 125 secs
lola: 25130396 markings, 30431175 edges, 92622 markings/sec, 130 secs
lola: 25887193 markings, 31515076 edges, 151359 markings/sec, 135 secs
lola: 26798630 markings, 32571150 edges, 182287 markings/sec, 140 secs
lola: 27938888 markings, 33750928 edges, 228052 markings/sec, 145 secs
lola: 28924651 markings, 34850236 edges, 197153 markings/sec, 150 secs
lola: 29899344 markings, 35941428 edges, 194939 markings/sec, 155 secs
lola: 30722134 markings, 37012243 edges, 164558 markings/sec, 160 secs
lola: 31464214 markings, 38114264 edges, 148416 markings/sec, 165 secs
lola: 32171182 markings, 39161456 edges, 141394 markings/sec, 170 secs
lola: 32910319 markings, 40202681 edges, 147827 markings/sec, 175 secs
lola: 33581722 markings, 41248365 edges, 134281 markings/sec, 180 secs
lola: 34594553 markings, 42379401 edges, 202566 markings/sec, 185 secs
lola: 35595708 markings, 43480996 edges, 200231 markings/sec, 190 secs
lola: 36615036 markings, 44590727 edges, 203866 markings/sec, 195 secs
lola: 37621899 markings, 45703047 edges, 201373 markings/sec, 200 secs
lola: 38655410 markings, 46837495 edges, 206702 markings/sec, 205 secs
lola: 39749503 markings, 47957642 edges, 218819 markings/sec, 210 secs
lola: 40745478 markings, 49093793 edges, 199195 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(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 971431 markings, 1221013 edges, 194286 markings/sec, 0 secs
lola: 1871478 markings, 2413877 edges, 180009 markings/sec, 5 secs
lola: 2731063 markings, 3621761 edges, 171917 markings/sec, 10 secs
lola: 3617840 markings, 4828985 edges, 177355 markings/sec, 15 secs
lola: 4451392 markings, 6002199 edges, 166710 markings/sec, 20 secs
lola: 5269840 markings, 7169171 edges, 163690 markings/sec, 25 secs
lola: 6034698 markings, 8226542 edges, 152972 markings/sec, 30 secs
lola: 6610742 markings, 9532909 edges, 115209 markings/sec, 35 secs
lola: 7241371 markings, 10777617 edges, 126126 markings/sec, 40 secs
lola: 7815932 markings, 11973134 edges, 114912 markings/sec, 45 secs
lola: 8329699 markings, 13167683 edges, 102753 markings/sec, 50 secs
lola: 8859732 markings, 14341959 edges, 106007 markings/sec, 55 secs
lola: 9628771 markings, 15317155 edges, 153808 markings/sec, 60 secs
lola: 10543844 markings, 16280892 edges, 183015 markings/sec, 65 secs
lola: 11379888 markings, 17161416 edges, 167209 markings/sec, 70 secs
lola: 12130184 markings, 17951541 edges, 150059 markings/sec, 75 secs
lola: 12815272 markings, 18673063 edges, 137018 markings/sec, 80 secs
lola: 13594021 markings, 19497045 edges, 155750 markings/sec, 85 secs
lola: 14373306 markings, 20329274 edges, 155857 markings/sec, 90 secs
lola: 15183259 markings, 21191102 edges, 161991 markings/sec, 95 secs
lola: 15931992 markings, 21989105 edges, 149747 markings/sec, 100 secs
lola: 16700888 markings, 22809496 edges, 153779 markings/sec, 105 secs
lola: 17507903 markings, 23668901 edges, 161403 markings/sec, 110 secs
lola: 18268413 markings, 24480125 edges, 152102 markings/sec, 115 secs
lola: 19044819 markings, 25307870 edges, 155281 markings/sec, 120 secs
lola: 19816996 markings, 26132145 edges, 154435 markings/sec, 125 secs
lola: 20612458 markings, 26978514 edges, 159092 markings/sec, 130 secs
lola: 21363599 markings, 27782937 edges, 150228 markings/sec, 135 secs
lola: 22159528 markings, 28628266 edges, 159186 markings/sec, 140 secs
lola: 22962742 markings, 29483921 edges, 160643 markings/sec, 145 secs
lola: 23731002 markings, 30304462 edges, 153652 markings/sec, 150 secs
lola: 24515720 markings, 31139657 edges, 156944 markings/sec, 155 secs
lola: 25292815 markings, 31969396 edges, 155419 markings/sec, 160 secs
lola: 26083319 markings, 32811544 edges, 158101 markings/sec, 165 secs
lola: 26838547 markings, 33619052 edges, 151046 markings/sec, 170 secs
lola: 27641597 markings, 34472044 edges, 160610 markings/sec, 175 secs
lola: 28424147 markings, 35306478 edges, 156510 markings/sec, 180 secs
lola: 29189465 markings, 36123085 edges, 153064 markings/sec, 185 secs
lola: 29994739 markings, 36980463 edges, 161055 markings/sec, 190 secs
lola: 30767919 markings, 37806322 edges, 154636 markings/sec, 195 secs
lola: 31546864 markings, 38636255 edges, 155789 markings/sec, 200 secs
lola: 32322528 markings, 39464924 edges, 155133 markings/sec, 205 secs
lola: 33123808 markings, 40317177 edges, 160256 markings/sec, 210 secs
lola: 33894326 markings, 41138629 edges, 154104 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(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 897718 markings, 1068304 edges, 179544 markings/sec, 0 secs
lola: 1797070 markings, 2210284 edges, 179870 markings/sec, 5 secs
lola: 2717347 markings, 3353034 edges, 184055 markings/sec, 10 secs
lola: 3616326 markings, 4494020 edges, 179796 markings/sec, 15 secs
lola: 4534641 markings, 5633707 edges, 183663 markings/sec, 20 secs
lola: 5447572 markings, 6784758 edges, 182586 markings/sec, 25 secs
lola: 6367992 markings, 7930617 edges, 184084 markings/sec, 30 secs
lola: 7273140 markings, 9069529 edges, 181030 markings/sec, 35 secs
lola: 8178788 markings, 10202005 edges, 181130 markings/sec, 40 secs
lola: 9009462 markings, 11213859 edges, 166135 markings/sec, 45 secs
lola: 9762252 markings, 12019426 edges, 150558 markings/sec, 50 secs
lola: 10501111 markings, 12797565 edges, 147772 markings/sec, 55 secs
lola: 11210130 markings, 13544024 edges, 141804 markings/sec, 60 secs
lola: 11943825 markings, 14320170 edges, 146739 markings/sec, 65 secs
lola: 12669353 markings, 15143144 edges, 145106 markings/sec, 70 secs
lola: 13447475 markings, 16096702 edges, 155624 markings/sec, 75 secs
lola: 14162390 markings, 16933457 edges, 142983 markings/sec, 80 secs
lola: 14869112 markings, 17695578 edges, 141344 markings/sec, 85 secs
lola: 15597343 markings, 18524221 edges, 145646 markings/sec, 90 secs
lola: 16323087 markings, 19409625 edges, 145149 markings/sec, 95 secs
lola: 17050457 markings, 20226575 edges, 145474 markings/sec, 100 secs
lola: 17829780 markings, 21079147 edges, 155865 markings/sec, 105 secs
lola: 18607197 markings, 21938321 edges, 155483 markings/sec, 110 secs
lola: 19363349 markings, 22725743 edges, 151230 markings/sec, 115 secs
lola: 20108228 markings, 23500873 edges, 148976 markings/sec, 120 secs
lola: 20862467 markings, 24286145 edges, 150848 markings/sec, 125 secs
lola: 21614101 markings, 25079316 edges, 150327 markings/sec, 130 secs
lola: 22356350 markings, 25926928 edges, 148450 markings/sec, 135 secs
lola: 23091201 markings, 26797139 edges, 146970 markings/sec, 140 secs
lola: 23826173 markings, 27576678 edges, 146994 markings/sec, 145 secs
lola: 24553853 markings, 28343905 edges, 145536 markings/sec, 150 secs
lola: 25291707 markings, 29144626 edges, 147571 markings/sec, 155 secs
lola: 26038156 markings, 30016923 edges, 149290 markings/sec, 160 secs
lola: 26773067 markings, 30804438 edges, 146982 markings/sec, 165 secs
lola: 27584656 markings, 31705081 edges, 162318 markings/sec, 170 secs
lola: 28371228 markings, 32548038 edges, 157314 markings/sec, 175 secs
lola: 29137092 markings, 33343644 edges, 153173 markings/sec, 180 secs
lola: 29886102 markings, 34153267 edges, 149802 markings/sec, 185 secs
lola: 30625371 markings, 34938416 edges, 147854 markings/sec, 190 secs
lola: 31367841 markings, 35731143 edges, 148494 markings/sec, 195 secs
lola: 32159838 markings, 36576057 edges, 158399 markings/sec, 200 secs
lola: 32855967 markings, 37344641 edges, 139226 markings/sec, 205 secs
lola: 33597668 markings, 38151450 edges, 148340 markings/sec, 210 secs
lola: 34361164 markings, 38936565 edges, 152699 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(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 817085 markings, 1087111 edges, 163417 markings/sec, 0 secs
lola: 1601007 markings, 2155304 edges, 156784 markings/sec, 5 secs
lola: 2333946 markings, 3153857 edges, 146588 markings/sec, 10 secs
lola: 3017958 markings, 4085738 edges, 136802 markings/sec, 15 secs
lola: 3662506 markings, 4963906 edges, 128910 markings/sec, 20 secs
lola: 4278113 markings, 5802635 edges, 123121 markings/sec, 25 secs
lola: 4880002 markings, 6878258 edges, 120378 markings/sec, 30 secs
lola: 5545727 markings, 8112029 edges, 133145 markings/sec, 35 secs
lola: 6163258 markings, 9375573 edges, 123506 markings/sec, 40 secs
lola: 6829650 markings, 10605075 edges, 133278 markings/sec, 45 secs
lola: 7438046 markings, 11849545 edges, 121679 markings/sec, 50 secs
lola: 8099196 markings, 13070394 edges, 132230 markings/sec, 55 secs
lola: 8710467 markings, 14317637 edges, 122254 markings/sec, 60 secs
lola: 9372391 markings, 15542790 edges, 132385 markings/sec, 65 secs
lola: 9984775 markings, 16790194 edges, 122477 markings/sec, 70 secs
lola: 10643809 markings, 18014837 edges, 131807 markings/sec, 75 secs
lola: 11255208 markings, 19252745 edges, 122280 markings/sec, 80 secs
lola: 11905176 markings, 20457314 edges, 129994 markings/sec, 85 secs
lola: 12512826 markings, 21681408 edges, 121530 markings/sec, 90 secs
lola: 13154897 markings, 22887926 edges, 128414 markings/sec, 95 secs
lola: 13768579 markings, 24105570 edges, 122736 markings/sec, 100 secs
lola: 14396652 markings, 25319335 edges, 125615 markings/sec, 105 secs
lola: 15026251 markings, 26536074 edges, 125920 markings/sec, 110 secs
lola: 15654622 markings, 27772577 edges, 125674 markings/sec, 115 secs
lola: 16283353 markings, 29017311 edges, 125746 markings/sec, 120 secs
lola: 16783579 markings, 30216977 edges, 100045 markings/sec, 125 secs
lola: 17388336 markings, 31338150 edges, 120951 markings/sec, 130 secs
lola: 17954567 markings, 32324260 edges, 113246 markings/sec, 135 secs
lola: 18490781 markings, 33335844 edges, 107243 markings/sec, 140 secs
lola: 18947071 markings, 34485186 edges, 91258 markings/sec, 145 secs
lola: 19384524 markings, 35653434 edges, 87491 markings/sec, 150 secs
lola: 19799678 markings, 36795743 edges, 83031 markings/sec, 155 secs
lola: 20235715 markings, 37934126 edges, 87207 markings/sec, 160 secs
lola: 20663919 markings, 39073245 edges, 85641 markings/sec, 165 secs
lola: 21064705 markings, 40201221 edges, 80157 markings/sec, 170 secs
lola: 21694850 markings, 41093730 edges, 126029 markings/sec, 175 secs
lola: 22250828 markings, 42064775 edges, 111196 markings/sec, 180 secs
lola: 22777855 markings, 43089157 edges, 105405 markings/sec, 185 secs
lola: 23244891 markings, 44111174 edges, 93407 markings/sec, 190 secs
lola: 23812612 markings, 45165243 edges, 113544 markings/sec, 195 secs
lola: 24332623 markings, 46315958 edges, 104002 markings/sec, 200 secs
lola: 24773394 markings, 47570138 edges, 88154 markings/sec, 205 secs
lola: 25241340 markings, 48846233 edges, 93589 markings/sec, 210 secs
lola: 25978586 markings, 49873549 edges, 147449 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(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 621839 markings, 1118255 edges, 124368 markings/sec, 0 secs
lola: 1301518 markings, 2141634 edges, 135936 markings/sec, 5 secs
lola: 2021400 markings, 3360661 edges, 143976 markings/sec, 10 secs
lola: 2686865 markings, 4545707 edges, 133093 markings/sec, 15 secs
lola: 3322680 markings, 5740141 edges, 127163 markings/sec, 20 secs
lola: 4037545 markings, 6793281 edges, 142973 markings/sec, 25 secs
lola: 4547173 markings, 7958126 edges, 101926 markings/sec, 30 secs
lola: 5097216 markings, 9009010 edges, 110009 markings/sec, 35 secs
lola: 5794186 markings, 10010274 edges, 139394 markings/sec, 40 secs
lola: 6472278 markings, 11063004 edges, 135618 markings/sec, 45 secs
lola: 7179662 markings, 12241107 edges, 141477 markings/sec, 50 secs
lola: 7770234 markings, 13391823 edges, 118114 markings/sec, 55 secs
lola: 8438525 markings, 14528213 edges, 133658 markings/sec, 60 secs
lola: 9081962 markings, 15558508 edges, 128687 markings/sec, 65 secs
lola: 9590188 markings, 16634193 edges, 101645 markings/sec, 70 secs
lola: 10207280 markings, 17755243 edges, 123418 markings/sec, 75 secs
lola: 10799338 markings, 18832606 edges, 118412 markings/sec, 80 secs
lola: 11425704 markings, 19984310 edges, 125273 markings/sec, 85 secs
lola: 12003931 markings, 21112893 edges, 115645 markings/sec, 90 secs
lola: 12556802 markings, 22217752 edges, 110574 markings/sec, 95 secs
lola: 13163158 markings, 23301307 edges, 121271 markings/sec, 100 secs
lola: 13896994 markings, 24342141 edges, 146767 markings/sec, 105 secs
lola: 14558285 markings, 25354013 edges, 132258 markings/sec, 110 secs
lola: 15224793 markings, 26365295 edges, 133302 markings/sec, 115 secs
lola: 15865712 markings, 27396235 edges, 128184 markings/sec, 120 secs
lola: 16317997 markings, 28580824 edges, 90457 markings/sec, 125 secs
lola: 16747601 markings, 29797922 edges, 85921 markings/sec, 130 secs
lola: 17270738 markings, 30853997 edges, 104627 markings/sec, 135 secs
lola: 17843379 markings, 31832443 edges, 114528 markings/sec, 140 secs
lola: 18284877 markings, 33017264 edges, 88300 markings/sec, 145 secs
lola: 18983057 markings, 34129680 edges, 139636 markings/sec, 150 secs
lola: 19580894 markings, 35217361 edges, 119567 markings/sec, 155 secs
lola: 20229160 markings, 36265477 edges, 129653 markings/sec, 160 secs
lola: 20923107 markings, 37277324 edges, 138789 markings/sec, 165 secs
lola: 21586813 markings, 38305445 edges, 132741 markings/sec, 170 secs
lola: 22302122 markings, 39424325 edges, 143062 markings/sec, 175 secs
lola: 22991710 markings, 40589938 edges, 137918 markings/sec, 180 secs
lola: 23561482 markings, 41756625 edges, 113954 markings/sec, 185 secs
lola: 24270729 markings, 42835157 edges, 141849 markings/sec, 190 secs
lola: 24793535 markings, 43952817 edges, 104561 markings/sec, 195 secs
lola: 25351574 markings, 44993253 edges, 111608 markings/sec, 200 secs
lola: 26012068 markings, 46097269 edges, 132099 markings/sec, 205 secs
lola: 26630307 markings, 47197928 edges, 123648 markings/sec, 210 secs
lola: 27184509 markings, 48352604 edges, 110840 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 747617 markings, 1051204 edges, 149523 markings/sec, 0 secs
lola: 1401714 markings, 2050442 edges, 130819 markings/sec, 5 secs
lola: 1969864 markings, 2924844 edges, 113630 markings/sec, 10 secs
lola: 2542737 markings, 3765506 edges, 114575 markings/sec, 15 secs
lola: 3224606 markings, 4562999 edges, 136374 markings/sec, 20 secs
lola: 3915681 markings, 5346203 edges, 138215 markings/sec, 25 secs
lola: 4593593 markings, 6128451 edges, 135582 markings/sec, 30 secs
lola: 5274016 markings, 6913239 edges, 136085 markings/sec, 35 secs
lola: 5941848 markings, 7698953 edges, 133566 markings/sec, 40 secs
lola: 6608296 markings, 8456908 edges, 133290 markings/sec, 45 secs
lola: 7279796 markings, 9189106 edges, 134300 markings/sec, 50 secs
lola: 7965014 markings, 9956121 edges, 137044 markings/sec, 55 secs
lola: 8618043 markings, 10734469 edges, 130606 markings/sec, 60 secs
lola: 9325359 markings, 11566586 edges, 141463 markings/sec, 65 secs
lola: 10008548 markings, 12396493 edges, 136638 markings/sec, 70 secs
lola: 10691463 markings, 13236477 edges, 136583 markings/sec, 75 secs
lola: 11375322 markings, 14068663 edges, 136772 markings/sec, 80 secs
lola: 12035617 markings, 14875443 edges, 132059 markings/sec, 85 secs
lola: 12725568 markings, 15658284 edges, 137990 markings/sec, 90 secs
lola: 13415025 markings, 16454731 edges, 137891 markings/sec, 95 secs
lola: 14006143 markings, 17382719 edges, 118224 markings/sec, 100 secs
lola: 14566092 markings, 18447987 edges, 111990 markings/sec, 105 secs
lola: 15131326 markings, 19514027 edges, 113047 markings/sec, 110 secs
lola: 15659677 markings, 20625799 edges, 105670 markings/sec, 115 secs
lola: 16117291 markings, 21803296 edges, 91523 markings/sec, 120 secs
lola: 16560475 markings, 22967635 edges, 88637 markings/sec, 125 secs
lola: 17024117 markings, 24139229 edges, 92728 markings/sec, 130 secs
lola: 17462296 markings, 25326464 edges, 87636 markings/sec, 135 secs
lola: 17905872 markings, 26475848 edges, 88715 markings/sec, 140 secs
lola: 18333082 markings, 27573744 edges, 85442 markings/sec, 145 secs
lola: 18759483 markings, 28658640 edges, 85280 markings/sec, 150 secs
lola: 19176602 markings, 29771260 edges, 83424 markings/sec, 155 secs
lola: 19607689 markings, 30860424 edges, 86217 markings/sec, 160 secs
lola: 19999614 markings, 31964120 edges, 78385 markings/sec, 165 secs
lola: 20442882 markings, 33030251 edges, 88654 markings/sec, 170 secs
lola: 20842124 markings, 34120376 edges, 79848 markings/sec, 175 secs
lola: 21286370 markings, 35144169 edges, 88849 markings/sec, 180 secs
lola: 21742807 markings, 36157799 edges, 91287 markings/sec, 185 secs
lola: 22185531 markings, 37196894 edges, 88545 markings/sec, 190 secs
lola: 22638948 markings, 38237567 edges, 90683 markings/sec, 195 secs
lola: 23113704 markings, 39289351 edges, 94951 markings/sec, 200 secs
lola: 23638560 markings, 40260147 edges, 104971 markings/sec, 205 secs
lola: 24010466 markings, 41386263 edges, 74381 markings/sec, 210 secs
lola: 24501134 markings, 42450787 edges, 98134 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(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 954154 markings, 1200307 edges, 190831 markings/sec, 0 secs
lola: 1854279 markings, 2391245 edges, 180025 markings/sec, 5 secs
lola: 2698782 markings, 3572831 edges, 168901 markings/sec, 10 secs
lola: 3563037 markings, 4752661 edges, 172851 markings/sec, 15 secs
lola: 4386213 markings, 5906762 edges, 164635 markings/sec, 20 secs
lola: 5190938 markings, 7060040 edges, 160945 markings/sec, 25 secs
lola: 5969572 markings, 8136215 edges, 155727 markings/sec, 30 secs
lola: 6564068 markings, 9423629 edges, 118899 markings/sec, 35 secs
lola: 7188680 markings, 10655105 edges, 124922 markings/sec, 40 secs
lola: 7746586 markings, 11851425 edges, 111581 markings/sec, 45 secs
lola: 8346871 markings, 13124502 edges, 120057 markings/sec, 50 secs
lola: 8962088 markings, 14333872 edges, 123043 markings/sec, 55 secs
lola: 9508708 markings, 15543076 edges, 109324 markings/sec, 60 secs
lola: 10112135 markings, 16783006 edges, 120685 markings/sec, 65 secs
lola: 10679570 markings, 17965941 edges, 113487 markings/sec, 70 secs
lola: 11166031 markings, 19094831 edges, 97292 markings/sec, 75 secs
lola: 11742281 markings, 20221462 edges, 115250 markings/sec, 80 secs
lola: 12550322 markings, 21163620 edges, 161608 markings/sec, 85 secs
lola: 13411227 markings, 22070254 edges, 172181 markings/sec, 90 secs
lola: 14197461 markings, 22898289 edges, 157247 markings/sec, 95 secs
lola: 14925090 markings, 23664559 edges, 145526 markings/sec, 100 secs
lola: 15688568 markings, 24470564 edges, 152696 markings/sec, 105 secs
lola: 16452577 markings, 25283872 edges, 152802 markings/sec, 110 secs
lola: 17252641 markings, 26137033 edges, 160013 markings/sec, 115 secs
lola: 18053362 markings, 26989652 edges, 160144 markings/sec, 120 secs
lola: 18821530 markings, 27809886 edges, 153634 markings/sec, 125 secs
lola: 19600633 markings, 28639757 edges, 155821 markings/sec, 130 secs
lola: 20370218 markings, 29461132 edges, 153917 markings/sec, 135 secs
lola: 21153751 markings, 30295573 edges, 156707 markings/sec, 140 secs
lola: 21907513 markings, 31102257 edges, 150752 markings/sec, 145 secs
lola: 22707730 markings, 31952050 edges, 160043 markings/sec, 150 secs
lola: 23506198 markings, 32803337 edges, 159694 markings/sec, 155 secs
lola: 24280140 markings, 33628832 edges, 154788 markings/sec, 160 secs
lola: 25080250 markings, 34480713 edges, 160022 markings/sec, 165 secs
lola: 25855501 markings, 35308572 edges, 155050 markings/sec, 170 secs
lola: 26643270 markings, 36147933 edges, 157554 markings/sec, 175 secs
lola: 27423871 markings, 36982428 edges, 156120 markings/sec, 180 secs
lola: 28235850 markings, 37845719 edges, 162396 markings/sec, 185 secs
lola: 29013369 markings, 38674729 edges, 155504 markings/sec, 190 secs
lola: 29810502 markings, 39525019 edges, 159427 markings/sec, 195 secs
lola: 30624133 markings, 40391264 edges, 162726 markings/sec, 200 secs
lola: 31405438 markings, 41225595 edges, 156261 markings/sec, 205 secs
lola: 32201830 markings, 42073540 edges, 159278 markings/sec, 210 secs
lola: 32994333 markings, 42919527 edges, 158501 markings/sec, 215 secs
lola: 33786325 markings, 43763229 edges, 158398 markings/sec, 220 secs
lola: 34562743 markings, 44593206 edges, 155284 markings/sec, 225 secs
lola: 35374091 markings, 45455292 edges, 162270 markings/sec, 230 secs
lola: 36159180 markings, 46292388 edges, 157018 markings/sec, 235 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 762308 markings, 1072673 edges, 152462 markings/sec, 0 secs
lola: 1434056 markings, 2096402 edges, 134350 markings/sec, 5 secs
lola: 2015060 markings, 2987985 edges, 116201 markings/sec, 10 secs
lola: 2600238 markings, 3842045 edges, 117036 markings/sec, 15 secs
lola: 3298778 markings, 4654968 edges, 139708 markings/sec, 20 secs
lola: 4005682 markings, 5455238 edges, 141381 markings/sec, 25 secs
lola: 4697264 markings, 6252229 edges, 138316 markings/sec, 30 secs
lola: 5387102 markings, 7063982 edges, 137968 markings/sec, 35 secs
lola: 6070841 markings, 7859089 edges, 136748 markings/sec, 40 secs
lola: 6758544 markings, 8631232 edges, 137541 markings/sec, 45 secs
lola: 7447038 markings, 9393601 edges, 137699 markings/sec, 50 secs
lola: 8143376 markings, 10157437 edges, 139268 markings/sec, 55 secs
lola: 8795939 markings, 10952515 edges, 130513 markings/sec, 60 secs
lola: 9507839 markings, 11787554 edges, 142380 markings/sec, 65 secs
lola: 10199809 markings, 12641896 edges, 138394 markings/sec, 70 secs
lola: 10905106 markings, 13498146 edges, 141059 markings/sec, 75 secs
lola: 11591352 markings, 14341856 edges, 137249 markings/sec, 80 secs
lola: 12286288 markings, 15168609 edges, 138987 markings/sec, 85 secs
lola: 12988407 markings, 15974787 edges, 140424 markings/sec, 90 secs
lola: 13662223 markings, 16792024 edges, 134763 markings/sec, 95 secs
lola: 14219186 markings, 17897940 edges, 111393 markings/sec, 100 secs
lola: 14844710 markings, 18923351 edges, 125105 markings/sec, 105 secs
lola: 15407592 markings, 20030240 edges, 112576 markings/sec, 110 secs
lola: 15911503 markings, 21210024 edges, 100782 markings/sec, 115 secs
lola: 16364536 markings, 22418889 edges, 90607 markings/sec, 120 secs
lola: 16829614 markings, 23630328 edges, 93016 markings/sec, 125 secs
lola: 17290680 markings, 24825400 edges, 92213 markings/sec, 130 secs
lola: 17743576 markings, 26024832 edges, 90579 markings/sec, 135 secs
lola: 18210718 markings, 27163345 edges, 93428 markings/sec, 140 secs
lola: 18621290 markings, 28311394 edges, 82114 markings/sec, 145 secs
lola: 19059028 markings, 29438726 edges, 87548 markings/sec, 150 secs
lola: 19495068 markings, 30567989 edges, 87208 markings/sec, 155 secs
lola: 19924231 markings, 31678129 edges, 85833 markings/sec, 160 secs
lola: 20355993 markings, 32800532 edges, 86352 markings/sec, 165 secs
lola: 20775858 markings, 33893715 edges, 83973 markings/sec, 170 secs
lola: 21195673 markings, 34987225 edges, 83963 markings/sec, 175 secs
lola: 21723908 markings, 35995067 edges, 105647 markings/sec, 180 secs
lola: 22137147 markings, 37107502 edges, 82648 markings/sec, 185 secs
lola: 22614114 markings, 38166051 edges, 95393 markings/sec, 190 secs
lola: 23105112 markings, 39222731 edges, 98200 markings/sec, 195 secs
lola: 23624771 markings, 40202254 edges, 103932 markings/sec, 200 secs
lola: 23990921 markings, 41329359 edges, 73230 markings/sec, 205 secs
lola: 24485978 markings, 42379506 edges, 99011 markings/sec, 210 secs
lola: 24964977 markings, 43416674 edges, 95800 markings/sec, 215 secs
lola: 25424630 markings, 44503076 edges, 91931 markings/sec, 220 secs
lola: 25946394 markings, 45643667 edges, 104353 markings/sec, 225 secs
lola: 26479215 markings, 46656038 edges, 106564 markings/sec, 230 secs
lola: 27025047 markings, 47756764 edges, 109166 markings/sec, 235 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p217)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1029880 markings, 1200618 edges, 205976 markings/sec, 0 secs
lola: 1986508 markings, 2442688 edges, 191326 markings/sec, 5 secs
lola: 2991374 markings, 3676647 edges, 200973 markings/sec, 10 secs
lola: 3942939 markings, 4889711 edges, 190313 markings/sec, 15 secs
lola: 4872887 markings, 6021505 edges, 185990 markings/sec, 20 secs
lola: 5774139 markings, 7158186 edges, 180250 markings/sec, 25 secs
lola: 6676429 markings, 8307261 edges, 180458 markings/sec, 30 secs
lola: 7627848 markings, 9419938 edges, 190284 markings/sec, 35 secs
lola: 8459545 markings, 10565022 edges, 166339 markings/sec, 40 secs
lola: 9360594 markings, 11736733 edges, 180210 markings/sec, 45 secs
lola: 10332045 markings, 12976688 edges, 194290 markings/sec, 50 secs
lola: 11290096 markings, 14184508 edges, 191610 markings/sec, 55 secs
lola: 12220578 markings, 15302647 edges, 186096 markings/sec, 60 secs
lola: 13130526 markings, 16426763 edges, 181990 markings/sec, 65 secs
lola: 14011847 markings, 17559556 edges, 176264 markings/sec, 70 secs
lola: 14935375 markings, 18694438 edges, 184706 markings/sec, 75 secs
lola: 15803820 markings, 19788302 edges, 173689 markings/sec, 80 secs
lola: 16636870 markings, 20873999 edges, 166610 markings/sec, 85 secs
lola: 17477717 markings, 21950162 edges, 168169 markings/sec, 90 secs
lola: 18315373 markings, 23019269 edges, 167531 markings/sec, 95 secs
lola: 19152590 markings, 24072176 edges, 167443 markings/sec, 100 secs
lola: 20066039 markings, 25114808 edges, 182690 markings/sec, 105 secs
lola: 20934051 markings, 26237879 edges, 173602 markings/sec, 110 secs
lola: 21733412 markings, 27357647 edges, 159872 markings/sec, 115 secs
lola: 22673774 markings, 28455901 edges, 188072 markings/sec, 120 secs
lola: 23509218 markings, 29576662 edges, 167089 markings/sec, 125 secs
lola: 24314621 markings, 30685330 edges, 161081 markings/sec, 130 secs
lola: 25225210 markings, 31833919 edges, 182118 markings/sec, 135 secs
lola: 26149606 markings, 32940291 edges, 184879 markings/sec, 140 secs
lola: 27033461 markings, 34039855 edges, 176771 markings/sec, 145 secs
lola: 27943326 markings, 35158875 edges, 181973 markings/sec, 150 secs
lola: 28879071 markings, 36295005 edges, 187149 markings/sec, 155 secs
lola: 29802653 markings, 37427227 edges, 184716 markings/sec, 160 secs
lola: 30720124 markings, 38573582 edges, 183494 markings/sec, 165 secs
lola: 31701217 markings, 39791363 edges, 196219 markings/sec, 170 secs
lola: 32646445 markings, 40973529 edges, 189046 markings/sec, 175 secs
lola: 33576471 markings, 42109779 edges, 186005 markings/sec, 180 secs
lola: 34476671 markings, 43214422 edges, 180040 markings/sec, 185 secs
lola: 35325711 markings, 44330665 edges, 169808 markings/sec, 190 secs
lola: 36248471 markings, 45461374 edges, 184552 markings/sec, 195 secs
lola: 37089566 markings, 46589019 edges, 168219 markings/sec, 200 secs
lola: 37943194 markings, 47703106 edges, 170726 markings/sec, 205 secs
lola: 38878383 markings, 48850372 edges, 187038 markings/sec, 210 secs
lola: 39839745 markings, 50065602 edges, 192272 markings/sec, 215 secs
lola: 40775272 markings, 51256330 edges, 187105 markings/sec, 220 secs
lola: 41712411 markings, 52346462 edges, 187428 markings/sec, 225 secs
lola: 42580528 markings, 53471403 edges, 173623 markings/sec, 230 secs
lola: 43470664 markings, 54574920 edges, 178027 markings/sec, 235 secs
lola: 44362656 markings, 55697408 edges, 178398 markings/sec, 240 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p329)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 918262 markings, 1304758 edges, 183652 markings/sec, 0 secs
lola: 1873588 markings, 2603666 edges, 191065 markings/sec, 5 secs
lola: 2436200 markings, 3922850 edges, 112522 markings/sec, 10 secs
lola: 3011081 markings, 5130248 edges, 114976 markings/sec, 15 secs
lola: 3800289 markings, 6369520 edges, 157842 markings/sec, 20 secs
lola: 4529263 markings, 7585436 edges, 145795 markings/sec, 25 secs
lola: 5063334 markings, 8900570 edges, 106814 markings/sec, 30 secs
lola: 5574237 markings, 10128675 edges, 102181 markings/sec, 35 secs
lola: 6066101 markings, 11307227 edges, 98373 markings/sec, 40 secs
lola: 6552997 markings, 12474841 edges, 97379 markings/sec, 45 secs
lola: 7078282 markings, 13667793 edges, 105057 markings/sec, 50 secs
lola: 7720758 markings, 14880279 edges, 128495 markings/sec, 55 secs
lola: 8543562 markings, 16128802 edges, 164561 markings/sec, 60 secs
lola: 9481699 markings, 17321305 edges, 187627 markings/sec, 65 secs
lola: 10418623 markings, 18492336 edges, 187385 markings/sec, 70 secs
lola: 11364792 markings, 19657361 edges, 189234 markings/sec, 75 secs
lola: 12286368 markings, 20842228 edges, 184315 markings/sec, 80 secs
lola: 13248133 markings, 22019865 edges, 192353 markings/sec, 85 secs
lola: 14168103 markings, 23164649 edges, 183994 markings/sec, 90 secs
lola: 15086334 markings, 24295071 edges, 183646 markings/sec, 95 secs
lola: 15993572 markings, 25416557 edges, 181448 markings/sec, 100 secs
lola: 16895003 markings, 26534001 edges, 180286 markings/sec, 105 secs
lola: 17792896 markings, 27750696 edges, 179579 markings/sec, 110 secs
lola: 18290894 markings, 29000859 edges, 99600 markings/sec, 115 secs
lola: 18870189 markings, 30167465 edges, 115859 markings/sec, 120 secs
lola: 19676587 markings, 31372459 edges, 161280 markings/sec, 125 secs
lola: 20299470 markings, 32622046 edges, 124577 markings/sec, 130 secs
lola: 20737063 markings, 33799695 edges, 87519 markings/sec, 135 secs
lola: 21229046 markings, 34979718 edges, 98397 markings/sec, 140 secs
lola: 21734169 markings, 36146334 edges, 101025 markings/sec, 145 secs
lola: 22315665 markings, 37315589 edges, 116299 markings/sec, 150 secs
lola: 22867636 markings, 38450127 edges, 110394 markings/sec, 155 secs
lola: 23815864 markings, 39603215 edges, 189646 markings/sec, 160 secs
lola: 24746947 markings, 40769522 edges, 186217 markings/sec, 165 secs
lola: 25719617 markings, 41956662 edges, 194534 markings/sec, 170 secs
lola: 26664095 markings, 43158030 edges, 188896 markings/sec, 175 secs
lola: 27606590 markings, 44336849 edges, 188499 markings/sec, 180 secs
lola: 28537984 markings, 45490053 edges, 186279 markings/sec, 185 secs
lola: 29454983 markings, 46621510 edges, 183400 markings/sec, 190 secs
lola: 30383102 markings, 47761663 edges, 185624 markings/sec, 195 secs
lola: 31279964 markings, 48880525 edges, 179372 markings/sec, 200 secs
lola: 32108395 markings, 50182106 edges, 165686 markings/sec, 205 secs
lola: 32624747 markings, 51398805 edges, 103270 markings/sec, 210 secs
lola: 33245106 markings, 52565244 edges, 124072 markings/sec, 215 secs
lola: 34074959 markings, 53805502 edges, 165971 markings/sec, 220 secs
lola: 34612581 markings, 55068124 edges, 107524 markings/sec, 225 secs
lola: 35057576 markings, 56245314 edges, 88999 markings/sec, 230 secs
lola: 35559141 markings, 57418949 edges, 100313 markings/sec, 235 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 307 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 912868 markings, 1089410 edges, 182574 markings/sec, 0 secs
lola: 1767339 markings, 2135170 edges, 170894 markings/sec, 5 secs
lola: 2540165 markings, 2964659 edges, 154565 markings/sec, 10 secs
lola: 3299762 markings, 3764522 edges, 151919 markings/sec, 15 secs
lola: 4026386 markings, 4529568 edges, 145325 markings/sec, 20 secs
lola: 4778652 markings, 5325403 edges, 150453 markings/sec, 25 secs
lola: 5521851 markings, 6179263 edges, 148640 markings/sec, 30 secs
lola: 6313646 markings, 7146966 edges, 158359 markings/sec, 35 secs
lola: 7030836 markings, 7979210 edges, 143438 markings/sec, 40 secs
lola: 7755464 markings, 8756120 edges, 144926 markings/sec, 45 secs
lola: 8499167 markings, 9620670 edges, 148741 markings/sec, 50 secs
lola: 9234320 markings, 10496758 edges, 147031 markings/sec, 55 secs
lola: 9978115 markings, 11332690 edges, 148759 markings/sec, 60 secs
lola: 10780823 markings, 12212503 edges, 160542 markings/sec, 65 secs
lola: 11569617 markings, 13075539 edges, 157759 markings/sec, 70 secs
lola: 12330149 markings, 13867188 edges, 152106 markings/sec, 75 secs
lola: 13095528 markings, 14664231 edges, 153076 markings/sec, 80 secs
lola: 13859193 markings, 15459164 edges, 152733 markings/sec, 85 secs
lola: 14623223 markings, 16270080 edges, 152806 markings/sec, 90 secs
lola: 15384919 markings, 17167920 edges, 152339 markings/sec, 95 secs
lola: 16119899 markings, 18011010 edges, 146996 markings/sec, 100 secs
lola: 16864447 markings, 18796014 edges, 148910 markings/sec, 105 secs
lola: 17599536 markings, 19572379 edges, 147018 markings/sec, 110 secs
lola: 18349917 markings, 20432503 edges, 150076 markings/sec, 115 secs
lola: 19114697 markings, 21281552 edges, 152956 markings/sec, 120 secs
lola: 19877704 markings, 22126354 edges, 152601 markings/sec, 125 secs
lola: 20723826 markings, 23050017 edges, 169224 markings/sec, 130 secs
lola: 21502726 markings, 23860289 edges, 155780 markings/sec, 135 secs
lola: 22270301 markings, 24663587 edges, 153515 markings/sec, 140 secs
lola: 23026448 markings, 25480060 edges, 151229 markings/sec, 145 secs
lola: 23792270 markings, 26299447 edges, 153164 markings/sec, 150 secs
lola: 24598366 markings, 27163425 edges, 161219 markings/sec, 155 secs
lola: 25333923 markings, 27957305 edges, 147111 markings/sec, 160 secs
lola: 26026975 markings, 28723844 edges, 138610 markings/sec, 165 secs
lola: 26827456 markings, 29561596 edges, 160096 markings/sec, 170 secs
lola: 27594412 markings, 30350494 edges, 153391 markings/sec, 175 secs
lola: 28354685 markings, 31133732 edges, 152055 markings/sec, 180 secs
lola: 29110509 markings, 31976588 edges, 151165 markings/sec, 185 secs
lola: 29848865 markings, 32758307 edges, 147671 markings/sec, 190 secs
lola: 30577975 markings, 33522618 edges, 145822 markings/sec, 195 secs
lola: 31337966 markings, 34356627 edges, 151998 markings/sec, 200 secs
lola: 32170885 markings, 35243821 edges, 166584 markings/sec, 205 secs
lola: 32952223 markings, 36046213 edges, 156268 markings/sec, 210 secs
lola: 33731422 markings, 36911143 edges, 155840 markings/sec, 215 secs
lola: 34479339 markings, 37702910 edges, 149583 markings/sec, 220 secs
lola: 35285518 markings, 38595058 edges, 161236 markings/sec, 225 secs
lola: 36027748 markings, 39572684 edges, 148446 markings/sec, 230 secs
lola: 36530718 markings, 40757638 edges, 100594 markings/sec, 235 secs
lola: 37075730 markings, 41881614 edges, 109002 markings/sec, 240 secs
lola: 37731525 markings, 43089229 edges, 131159 markings/sec, 245 secs
lola: 38387026 markings, 44206656 edges, 131100 markings/sec, 250 secs
lola: 39137487 markings, 45391938 edges, 150092 markings/sec, 255 secs
lola: 39895779 markings, 46599791 edges, 151658 markings/sec, 260 secs
lola: 40639973 markings, 47791275 edges, 148839 markings/sec, 265 secs
lola: 41398132 markings, 49005100 edges, 151632 markings/sec, 270 secs
lola: 42142464 markings, 50178672 edges, 148866 markings/sec, 275 secs
lola: 42864019 markings, 51326999 edges, 144311 markings/sec, 280 secs
lola: 43627906 markings, 52372610 edges, 152777 markings/sec, 285 secs
lola: 44466668 markings, 53302794 edges, 167752 markings/sec, 290 secs
lola: 45238961 markings, 54197946 edges, 154459 markings/sec, 295 secs
lola: 45988988 markings, 55070824 edges, 150005 markings/sec, 300 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 307 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p312)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1083500 markings, 1236247 edges, 216700 markings/sec, 0 secs
lola: 2004964 markings, 2434587 edges, 184293 markings/sec, 5 secs
lola: 3018416 markings, 3625834 edges, 202690 markings/sec, 10 secs
lola: 3839632 markings, 4877225 edges, 164243 markings/sec, 15 secs
lola: 4350782 markings, 6058572 edges, 102230 markings/sec, 20 secs
lola: 5023087 markings, 7193602 edges, 134461 markings/sec, 25 secs
lola: 6004633 markings, 8368226 edges, 196309 markings/sec, 30 secs
lola: 6851314 markings, 9514525 edges, 169336 markings/sec, 35 secs
lola: 7483523 markings, 10707108 edges, 126442 markings/sec, 40 secs
lola: 8071991 markings, 11893558 edges, 117694 markings/sec, 45 secs
lola: 8583913 markings, 13016472 edges, 102384 markings/sec, 50 secs
lola: 9107469 markings, 14135467 edges, 104711 markings/sec, 55 secs
lola: 9654612 markings, 15269388 edges, 109429 markings/sec, 60 secs
lola: 10379893 markings, 16437778 edges, 145056 markings/sec, 65 secs
lola: 11284170 markings, 17606428 edges, 180855 markings/sec, 70 secs
lola: 12199237 markings, 18775065 edges, 183013 markings/sec, 75 secs
lola: 13155660 markings, 19938694 edges, 191285 markings/sec, 80 secs
lola: 14066035 markings, 21078517 edges, 182075 markings/sec, 85 secs
lola: 14987685 markings, 22263992 edges, 184330 markings/sec, 90 secs
lola: 15913356 markings, 23411705 edges, 185134 markings/sec, 95 secs
lola: 16801980 markings, 24534244 edges, 177725 markings/sec, 100 secs
lola: 17711314 markings, 25647561 edges, 181867 markings/sec, 105 secs
lola: 18604219 markings, 26746892 edges, 178581 markings/sec, 110 secs
lola: 19594504 markings, 27875565 edges, 198057 markings/sec, 115 secs
lola: 20257462 markings, 29074666 edges, 132592 markings/sec, 120 secs
lola: 20791813 markings, 30246827 edges, 106870 markings/sec, 125 secs
lola: 21519836 markings, 31359770 edges, 145605 markings/sec, 130 secs
lola: 22471773 markings, 32500897 edges, 190387 markings/sec, 135 secs
lola: 23290328 markings, 33675351 edges, 163711 markings/sec, 140 secs
lola: 23738609 markings, 34818583 edges, 89656 markings/sec, 145 secs
lola: 24219705 markings, 35939382 edges, 96219 markings/sec, 150 secs
lola: 24759608 markings, 37067906 edges, 107981 markings/sec, 155 secs
lola: 25334488 markings, 38161728 edges, 114976 markings/sec, 160 secs
lola: 26075591 markings, 39279449 edges, 148221 markings/sec, 165 secs
lola: 27004570 markings, 40414027 edges, 185796 markings/sec, 170 secs
lola: 27908913 markings, 41538652 edges, 180869 markings/sec, 175 secs
lola: 28830855 markings, 42716690 edges, 184388 markings/sec, 180 secs
lola: 29737823 markings, 43855457 edges, 181394 markings/sec, 185 secs
lola: 30632442 markings, 44973175 edges, 178924 markings/sec, 190 secs
lola: 31528097 markings, 46079336 edges, 179131 markings/sec, 195 secs
lola: 32418178 markings, 47176734 edges, 178016 markings/sec, 200 secs
lola: 33424468 markings, 48321306 edges, 201258 markings/sec, 205 secs
lola: 34029204 markings, 49537704 edges, 120947 markings/sec, 210 secs
lola: 34583250 markings, 50692471 edges, 110809 markings/sec, 215 secs
lola: 35353244 markings, 51804584 edges, 153999 markings/sec, 220 secs
lola: 36309491 markings, 52967523 edges, 191249 markings/sec, 225 secs
lola: 37075588 markings, 54165258 edges, 153219 markings/sec, 230 secs
lola: 37504929 markings, 55285931 edges, 85868 markings/sec, 235 secs
lola: 38014212 markings, 56418971 edges, 101857 markings/sec, 240 secs
lola: 38553310 markings, 57558805 edges, 107820 markings/sec, 245 secs
lola: 39122190 markings, 58641277 edges, 113776 markings/sec, 250 secs
lola: 39952461 markings, 59784508 edges, 166054 markings/sec, 255 secs
lola: 40874913 markings, 60917465 edges, 184490 markings/sec, 260 secs
lola: 41803426 markings, 62064074 edges, 185703 markings/sec, 265 secs
lola: 42732338 markings, 63247443 edges, 185782 markings/sec, 270 secs
lola: 43627444 markings, 64379308 edges, 179021 markings/sec, 275 secs
lola: 44535662 markings, 65504231 edges, 181644 markings/sec, 280 secs
lola: 45421090 markings, 66597961 edges, 177086 markings/sec, 285 secs
lola: 46289152 markings, 67677670 edges, 173612 markings/sec, 290 secs
lola: 47304002 markings, 68836454 edges, 202970 markings/sec, 295 secs
lola: 47822231 markings, 70054692 edges, 103646 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p266)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 616 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p364)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 955831 markings, 1162764 edges, 191166 markings/sec, 0 secs
lola: 1831392 markings, 2262496 edges, 175112 markings/sec, 5 secs
lola: 2704472 markings, 3370945 edges, 174616 markings/sec, 10 secs
lola: 3571841 markings, 4494426 edges, 173474 markings/sec, 15 secs
lola: 4447414 markings, 5587094 edges, 175115 markings/sec, 20 secs
lola: 5319760 markings, 6696001 edges, 174469 markings/sec, 25 secs
lola: 6194794 markings, 7823706 edges, 175007 markings/sec, 30 secs
lola: 7073196 markings, 8927537 edges, 175680 markings/sec, 35 secs
lola: 7942474 markings, 10034244 edges, 173856 markings/sec, 40 secs
lola: 8820645 markings, 11155989 edges, 175634 markings/sec, 45 secs
lola: 9708270 markings, 12285678 edges, 177525 markings/sec, 50 secs
lola: 10458077 markings, 13100497 edges, 149961 markings/sec, 55 secs
lola: 11179792 markings, 13895370 edges, 144343 markings/sec, 60 secs
lola: 11979755 markings, 14720421 edges, 159993 markings/sec, 65 secs
lola: 12756435 markings, 15519713 edges, 155336 markings/sec, 70 secs
lola: 13520789 markings, 16312950 edges, 152871 markings/sec, 75 secs
lola: 14285691 markings, 17165031 edges, 152980 markings/sec, 80 secs
lola: 15024786 markings, 17943057 edges, 147819 markings/sec, 85 secs
lola: 15771635 markings, 18737312 edges, 149370 markings/sec, 90 secs
lola: 16551903 markings, 19583782 edges, 156054 markings/sec, 95 secs
lola: 17344885 markings, 20421289 edges, 158596 markings/sec, 100 secs
lola: 18118740 markings, 21221467 edges, 154771 markings/sec, 105 secs
lola: 18881828 markings, 22075035 edges, 152618 markings/sec, 110 secs
lola: 19637283 markings, 22881448 edges, 151091 markings/sec, 115 secs
lola: 20432972 markings, 23776739 edges, 159138 markings/sec, 120 secs
lola: 21014499 markings, 24932288 edges, 116305 markings/sec, 125 secs
lola: 21596797 markings, 26062664 edges, 116460 markings/sec, 130 secs
lola: 22279428 markings, 27328957 edges, 136526 markings/sec, 135 secs
lola: 23024053 markings, 28549693 edges, 148925 markings/sec, 140 secs
lola: 23788578 markings, 29798934 edges, 152905 markings/sec, 145 secs
lola: 24561665 markings, 30924009 edges, 154617 markings/sec, 150 secs
lola: 25277484 markings, 31708037 edges, 143164 markings/sec, 155 secs
lola: 26010334 markings, 32485512 edges, 146570 markings/sec, 160 secs
lola: 26722632 markings, 33235615 edges, 142460 markings/sec, 165 secs
lola: 27384363 markings, 34231417 edges, 132346 markings/sec, 170 secs
lola: 28054307 markings, 35279785 edges, 133989 markings/sec, 175 secs
lola: 28797230 markings, 36322706 edges, 148585 markings/sec, 180 secs
lola: 29381831 markings, 37533571 edges, 116920 markings/sec, 185 secs
lola: 30056009 markings, 38637388 edges, 134836 markings/sec, 190 secs
lola: 30660417 markings, 39792712 edges, 120882 markings/sec, 195 secs
lola: 31278154 markings, 40940247 edges, 123547 markings/sec, 200 secs
lola: 31836160 markings, 42140133 edges, 111601 markings/sec, 205 secs
lola: 32570644 markings, 43157681 edges, 146897 markings/sec, 210 secs
lola: 33272837 markings, 44264234 edges, 140439 markings/sec, 215 secs
lola: 33971336 markings, 45341419 edges, 139700 markings/sec, 220 secs
lola: 34803230 markings, 46381429 edges, 166379 markings/sec, 225 secs
lola: 35531837 markings, 47154882 edges, 145721 markings/sec, 230 secs
lola: 36306265 markings, 48047075 edges, 154886 markings/sec, 235 secs
lola: 36953890 markings, 49141289 edges, 129525 markings/sec, 240 secs
lola: 37486623 markings, 50350453 edges, 106547 markings/sec, 245 secs
lola: 38104165 markings, 51452922 edges, 123508 markings/sec, 250 secs
lola: 38669741 markings, 52587203 edges, 113115 markings/sec, 255 secs
lola: 39189047 markings, 53759840 edges, 103861 markings/sec, 260 secs
lola: 39764344 markings, 54964005 edges, 115059 markings/sec, 265 secs
lola: 40305851 markings, 56072597 edges, 108301 markings/sec, 270 secs
lola: 40855513 markings, 57196992 edges, 109932 markings/sec, 275 secs
lola: 41409054 markings, 58321968 edges, 110708 markings/sec, 280 secs
lola: 42004804 markings, 59336887 edges, 119150 markings/sec, 285 secs
lola: 42594324 markings, 60335625 edges, 117904 markings/sec, 290 secs
lola: 43287899 markings, 61428733 edges, 138715 markings/sec, 295 secs
lola: 43840268 markings, 62552302 edges, 110474 markings/sec, 300 secs
lola: 44367551 markings, 63637194 edges, 105457 markings/sec, 305 secs
lola: 44928607 markings, 64732619 edges, 112211 markings/sec, 310 secs
lola: 45583064 markings, 65760994 edges, 130891 markings/sec, 315 secs
lola: 46117828 markings, 66862053 edges, 106953 markings/sec, 320 secs
lola: 46774416 markings, 67887001 edges, 131318 markings/sec, 325 secs
lola: 47297318 markings, 68963281 edges, 104580 markings/sec, 330 secs
lola: 47973788 markings, 70017317 edges, 135294 markings/sec, 335 secs
lola: 48692692 markings, 71076699 edges, 143781 markings/sec, 340 secs
lola: 49406554 markings, 71963311 edges, 142772 markings/sec, 345 secs
lola: 49977546 markings, 73008169 edges, 114198 markings/sec, 350 secs
lola: 50501724 markings, 74085612 edges, 104836 markings/sec, 355 secs
lola: 51108945 markings, 75023421 edges, 121444 markings/sec, 360 secs
lola: 51807767 markings, 75758856 edges, 139764 markings/sec, 365 secs
lola: 52386324 markings, 76732825 edges, 115711 markings/sec, 370 secs
lola: 53002641 markings, 77624094 edges, 123263 markings/sec, 375 secs
lola: 53583119 markings, 78581418 edges, 116096 markings/sec, 380 secs
lola: 54188316 markings, 79479622 edges, 121039 markings/sec, 385 secs
lola: 54886862 markings, 80358373 edges, 139709 markings/sec, 390 secs
lola: 55609202 markings, 81318322 edges, 144468 markings/sec, 395 secs
lola: 56300011 markings, 82107279 edges, 138162 markings/sec, 400 secs
lola: 57019457 markings, 82941090 edges, 143889 markings/sec, 405 secs
lola: 57741968 markings, 83773860 edges, 144502 markings/sec, 410 secs
lola: 58483358 markings, 84655480 edges, 148278 markings/sec, 415 secs
lola: 59194590 markings, 85427170 edges, 142246 markings/sec, 420 secs
lola: 59966967 markings, 86276873 edges, 154475 markings/sec, 425 secs
lola: 60769980 markings, 87144736 edges, 160603 markings/sec, 430 secs
lola: 61536593 markings, 87956162 edges, 153323 markings/sec, 435 secs
lola: 62287702 markings, 88750866 edges, 150222 markings/sec, 440 secs
lola: 63064100 markings, 89584941 edges, 155280 markings/sec, 445 secs
lola: 63840841 markings, 90385076 edges, 155348 markings/sec, 450 secs
lola: 64617747 markings, 91226057 edges, 155381 markings/sec, 455 secs
lola: 65390052 markings, 92055818 edges, 154461 markings/sec, 460 secs
lola: 66170306 markings, 92892734 edges, 156051 markings/sec, 465 secs
lola: 66890261 markings, 93924432 edges, 143991 markings/sec, 470 secs
lola: 67461815 markings, 95088761 edges, 114311 markings/sec, 475 secs
lola: 68037221 markings, 96269226 edges, 115081 markings/sec, 480 secs
lola: 68644976 markings, 97514265 edges, 121551 markings/sec, 485 secs
lola: 69425933 markings, 98783587 edges, 156191 markings/sec, 490 secs
lola: 70230108 markings, 99991928 edges, 160835 markings/sec, 495 secs
lola: 70976238 markings, 100815867 edges, 149226 markings/sec, 500 secs
lola: 71711283 markings, 101616115 edges, 147009 markings/sec, 505 secs
lola: 72454248 markings, 102429534 edges, 148593 markings/sec, 510 secs
lola: 73159735 markings, 103536958 edges, 141097 markings/sec, 515 secs
lola: 73774965 markings, 104706412 edges, 123046 markings/sec, 520 secs
lola: 74375057 markings, 105874638 edges, 120018 markings/sec, 525 secs
lola: 75172391 markings, 106832780 edges, 159467 markings/sec, 530 secs
lola: 75873392 markings, 107928977 edges, 140200 markings/sec, 535 secs
lola: 76413441 markings, 109137865 edges, 108010 markings/sec, 540 secs
lola: 76986772 markings, 110292857 edges, 114666 markings/sec, 545 secs
lola: 77533436 markings, 111457042 edges, 109333 markings/sec, 550 secs
lola: 78132368 markings, 112644766 edges, 119786 markings/sec, 555 secs
lola: 78688791 markings, 113828928 edges, 111285 markings/sec, 560 secs
lola: 79299136 markings, 115074083 edges, 122069 markings/sec, 565 secs
lola: 79884636 markings, 116244805 edges, 117100 markings/sec, 570 secs
lola: 80443374 markings, 117384655 edges, 111748 markings/sec, 575 secs
lola: 81018470 markings, 118550145 edges, 115019 markings/sec, 580 secs
lola: 81639465 markings, 119615424 edges, 124199 markings/sec, 585 secs
lola: 82207080 markings, 120765130 edges, 113523 markings/sec, 590 secs
lola: 82794772 markings, 121884216 edges, 117538 markings/sec, 595 secs
lola: 83454252 markings, 122912356 edges, 131896 markings/sec, 600 secs
lola: 84039991 markings, 124041053 edges, 117148 markings/sec, 605 secs
lola: 84684080 markings, 125140117 edges, 128818 markings/sec, 610 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown unknown 1
FORMULA DES-PT-30b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494632409069

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-30b.tgz
mv DES-PT-30b execution

# this is for BenchKit: explicit launching of the test

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