MCC'2018 - Execution of r112-csrt-152666469600506

About the Execution of LoLA for PermAdmissibility-PT-50

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
11301.230	3569850.00	3692336.00	701.00	50 50 50 100 100 50 100 50 ? 50 ? ? ? ? ? 50	normal

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)
....................................
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 5.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 484K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PermAdmissibility-PT-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469600506
=====================================================================

--------------------
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 PermAdmissibility-PT-50-UpperBounds-00
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-01
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-02
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-03
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-04
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-05
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-06
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-07
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-08
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-09
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-10
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-11
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-12
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-13
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-14
FORMULA_NAME PermAdmissibility-PT-50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527039491736

info: Time: 3600 - MCC
===========================================================================================
prep: translating PermAdmissibility-PT-50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PermAdmissibility-PT-50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PermAdmissibility-PT-50 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 760/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5376
lola: finding significant places
lola: 168 places, 592 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 820 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-PT-50-UpperBounds.task
lola: MAX(c19) : MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7) : MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7) : MAX(aux12_0 + aux12_1 + aux12_2 + aux12_3 + aux12_4 + aux12_5 + aux12_6 + aux12_7) : MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7) : MAX(c20) : MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7) : MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7) : MAX(out7_5) : MAX(out8_7) : MAX(out7_2) : MAX(aux16_5) : MAX(aux14_6) : MAX(out8_4) : MAX(out4_2) : MAX(aux11_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 701 markings, 700 edges
lola: ========================================

FORMULA PermAdmissibility-PT-50-UpperBounds-0 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c20)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 751 markings, 750 edges
lola: ========================================

FORMULA PermAdmissibility-PT-50-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out7_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out7_5)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 617070 markings, 2100580 edges, 123414 markings/sec, 0 secs
lola: 1268576 markings, 4504960 edges, 130301 markings/sec, 5 secs
lola: 1886583 markings, 6998171 edges, 123601 markings/sec, 10 secs
lola: 2511483 markings, 9258533 edges, 124980 markings/sec, 15 secs
lola: 3046652 markings, 11410353 edges, 107034 markings/sec, 20 secs
lola: 3625617 markings, 13568814 edges, 115793 markings/sec, 25 secs
lola: 4199984 markings, 15860917 edges, 114873 markings/sec, 30 secs
lola: 4832856 markings, 18287066 edges, 126574 markings/sec, 35 secs
lola: 5446971 markings, 20727451 edges, 122823 markings/sec, 40 secs
lola: 6033656 markings, 23116109 edges, 117337 markings/sec, 45 secs
lola: 6627649 markings, 25512171 edges, 118799 markings/sec, 50 secs
lola: 7248943 markings, 27936658 edges, 124259 markings/sec, 55 secs
lola: 7862526 markings, 30363457 edges, 122717 markings/sec, 60 secs
lola: 8473107 markings, 32785080 edges, 122116 markings/sec, 65 secs
lola: 9066534 markings, 35235793 edges, 118685 markings/sec, 70 secs
lola: 9649429 markings, 37619128 edges, 116579 markings/sec, 75 secs
lola: 10215569 markings, 39993360 edges, 113228 markings/sec, 80 secs
lola: 10761120 markings, 42444295 edges, 109110 markings/sec, 85 secs
lola: 11249812 markings, 44784297 edges, 97738 markings/sec, 90 secs
lola: 11726782 markings, 47180675 edges, 95394 markings/sec, 95 secs
lola: 12222082 markings, 49626998 edges, 99060 markings/sec, 100 secs
lola: 12947813 markings, 52086865 edges, 145146 markings/sec, 105 secs
lola: 13618700 markings, 54441579 edges, 134177 markings/sec, 110 secs
lola: 14207625 markings, 56794643 edges, 117785 markings/sec, 115 secs
lola: 14767572 markings, 59075842 edges, 111989 markings/sec, 120 secs
lola: 15352536 markings, 61368936 edges, 116993 markings/sec, 125 secs
lola: 15915762 markings, 63531527 edges, 112645 markings/sec, 130 secs
lola: 16490507 markings, 65799664 edges, 114949 markings/sec, 135 secs
lola: 17063081 markings, 68083658 edges, 114515 markings/sec, 140 secs
lola: 17655619 markings, 70426947 edges, 118508 markings/sec, 145 secs
lola: 18222746 markings, 72758338 edges, 113425 markings/sec, 150 secs
lola: 18764222 markings, 75142648 edges, 108295 markings/sec, 155 secs
lola: 19307425 markings, 77528216 edges, 108641 markings/sec, 160 secs
lola: 19826608 markings, 79847824 edges, 103837 markings/sec, 165 secs
lola: 20446983 markings, 82162229 edges, 124075 markings/sec, 170 secs
lola: 21037079 markings, 84410086 edges, 118019 markings/sec, 175 secs
lola: 21618897 markings, 86700245 edges, 116364 markings/sec, 180 secs
lola: 22170042 markings, 89001845 edges, 110229 markings/sec, 185 secs
lola: 22718907 markings, 91287291 edges, 109773 markings/sec, 190 secs
lola: 23265136 markings, 93642032 edges, 109246 markings/sec, 195 secs
lola: 23855526 markings, 96032640 edges, 118078 markings/sec, 200 secs
lola: 24405595 markings, 98431259 edges, 110014 markings/sec, 205 secs
lola: 24956141 markings, 100813752 edges, 110109 markings/sec, 210 secs
lola: 25516377 markings, 103107556 edges, 112047 markings/sec, 215 secs
lola: 26074293 markings, 105471971 edges, 111583 markings/sec, 220 secs
lola: 26593079 markings, 107800144 edges, 103757 markings/sec, 225 secs
lola: 27218398 markings, 110115069 edges, 125064 markings/sec, 230 secs
lola: 27823410 markings, 112524178 edges, 121002 markings/sec, 235 secs
lola: 28405249 markings, 114861588 edges, 116368 markings/sec, 240 secs
lola: 28992721 markings, 117208147 edges, 117494 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1690252 KB
lola: time consumption: 254 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out8_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out8_7)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 801 markings, 800 edges

FORMULA PermAdmissibility-PT-50-UpperBounds-9 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out7_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out7_2)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: ========================================
lola: Structural Bound: 50
lola: 923317 markings, 2588849 edges, 184663 markings/sec, 0 secs
lola: 1782531 markings, 5152261 edges, 171843 markings/sec, 5 secs
lola: 2648194 markings, 7745005 edges, 173133 markings/sec, 10 secs
lola: 3513741 markings, 10356712 edges, 173109 markings/sec, 15 secs
lola: 4275521 markings, 12795144 edges, 152356 markings/sec, 20 secs
lola: 5158121 markings, 15391371 edges, 176520 markings/sec, 25 secs
lola: 5949011 markings, 17935870 edges, 158178 markings/sec, 30 secs
lola: 6806741 markings, 20471905 edges, 171546 markings/sec, 35 secs
lola: 7593990 markings, 23012072 edges, 157450 markings/sec, 40 secs
lola: 8395619 markings, 25616549 edges, 160326 markings/sec, 45 secs
lola: 9265504 markings, 28170652 edges, 173977 markings/sec, 50 secs
lola: 10048792 markings, 30691582 edges, 156658 markings/sec, 55 secs
lola: 10886881 markings, 33289511 edges, 167618 markings/sec, 60 secs
lola: 11726598 markings, 35803998 edges, 167943 markings/sec, 65 secs
lola: 12510888 markings, 38330815 edges, 156858 markings/sec, 70 secs
lola: 13322305 markings, 40955187 edges, 162283 markings/sec, 75 secs
lola: 14131438 markings, 43563150 edges, 161827 markings/sec, 80 secs
lola: 14883922 markings, 46130345 edges, 150497 markings/sec, 85 secs
lola: 15597734 markings, 48747636 edges, 142762 markings/sec, 90 secs
lola: 16368002 markings, 51331737 edges, 154054 markings/sec, 95 secs
lola: 17055814 markings, 53972988 edges, 137562 markings/sec, 100 secs
lola: 17835808 markings, 56566334 edges, 155999 markings/sec, 105 secs
lola: 18522781 markings, 59105582 edges, 137395 markings/sec, 110 secs
lola: 19146106 markings, 61500474 edges, 124665 markings/sec, 115 secs
lola: 19853037 markings, 63774686 edges, 141386 markings/sec, 120 secs
lola: 20461368 markings, 66039424 edges, 121666 markings/sec, 125 secs
lola: 21082851 markings, 68427871 edges, 124297 markings/sec, 130 secs
lola: 21705450 markings, 70912136 edges, 124520 markings/sec, 135 secs
lola: 22477333 markings, 73291930 edges, 154377 markings/sec, 140 secs
lola: 23130376 markings, 75701768 edges, 130609 markings/sec, 145 secs
lola: 23737907 markings, 78135684 edges, 121506 markings/sec, 150 secs
lola: 24401296 markings, 80566762 edges, 132678 markings/sec, 155 secs
lola: 25030031 markings, 83146858 edges, 125747 markings/sec, 160 secs
lola: 25830379 markings, 85566249 edges, 160070 markings/sec, 165 secs
lola: 26488924 markings, 88008586 edges, 131709 markings/sec, 170 secs
lola: 27121796 markings, 90557617 edges, 126574 markings/sec, 175 secs
lola: 27761209 markings, 92912454 edges, 127883 markings/sec, 180 secs
lola: 28365104 markings, 95257660 edges, 120779 markings/sec, 185 secs
lola: 29028125 markings, 97821066 edges, 132604 markings/sec, 190 secs
lola: 29813331 markings, 100290324 edges, 157041 markings/sec, 195 secs
lola: 30469367 markings, 102730614 edges, 131207 markings/sec, 200 secs
lola: 31098083 markings, 105212388 edges, 125743 markings/sec, 205 secs
lola: 31757607 markings, 107608501 edges, 131905 markings/sec, 210 secs
lola: 32385576 markings, 110137731 edges, 125594 markings/sec, 215 secs
lola: 33028444 markings, 112629523 edges, 128574 markings/sec, 220 secs
lola: 33717822 markings, 114898836 edges, 137876 markings/sec, 225 secs
lola: 34374708 markings, 117199984 edges, 131377 markings/sec, 230 secs
lola: 34953838 markings, 119473548 edges, 115826 markings/sec, 235 secs
lola: 35557772 markings, 121656517 edges, 120787 markings/sec, 240 secs
lola: 36164556 markings, 123960855 edges, 121357 markings/sec, 245 secs
lola: 36774745 markings, 126389549 edges, 122038 markings/sec, 250 secs
lola: 37367698 markings, 128730678 edges, 118591 markings/sec, 255 secs
lola: 38004490 markings, 131033990 edges, 127358 markings/sec, 260 secs
lola: 38759535 markings, 133386272 edges, 151009 markings/sec, 265 secs
lola: 39430053 markings, 135486759 edges, 134104 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2281352 KB
lola: time consumption: 531 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux16_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux16_5)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 675031 markings, 2225585 edges, 135006 markings/sec, 0 secs
lola: 1371524 markings, 4744980 edges, 139299 markings/sec, 5 secs
lola: 1948751 markings, 7257476 edges, 115445 markings/sec, 10 secs
lola: 2687668 markings, 9858723 edges, 147783 markings/sec, 15 secs
lola: 3344144 markings, 12359438 edges, 131295 markings/sec, 20 secs
lola: 4011953 markings, 14877504 edges, 133562 markings/sec, 25 secs
lola: 4674610 markings, 17404672 edges, 132531 markings/sec, 30 secs
lola: 5336331 markings, 19929463 edges, 132344 markings/sec, 35 secs
lola: 5942515 markings, 22333535 edges, 121237 markings/sec, 40 secs
lola: 6555360 markings, 24753692 edges, 122569 markings/sec, 45 secs
lola: 7176556 markings, 27193000 edges, 124239 markings/sec, 50 secs
lola: 7728707 markings, 29554100 edges, 110430 markings/sec, 55 secs
lola: 8254352 markings, 31930123 edges, 105129 markings/sec, 60 secs
lola: 8763169 markings, 34377461 edges, 101763 markings/sec, 65 secs
lola: 9270595 markings, 36790214 edges, 101485 markings/sec, 70 secs
lola: 9724698 markings, 39024431 edges, 90821 markings/sec, 75 secs
lola: 10351094 markings, 41258695 edges, 125279 markings/sec, 80 secs
lola: 11017932 markings, 43517323 edges, 133368 markings/sec, 85 secs
lola: 11634411 markings, 45737910 edges, 123296 markings/sec, 90 secs
lola: 12184613 markings, 47897296 edges, 110040 markings/sec, 95 secs
lola: 12743158 markings, 50061698 edges, 111709 markings/sec, 100 secs
lola: 13257379 markings, 52215075 edges, 102844 markings/sec, 105 secs
lola: 13738743 markings, 54409048 edges, 96273 markings/sec, 110 secs
lola: 14383305 markings, 56648452 edges, 128912 markings/sec, 115 secs
lola: 14973714 markings, 58830943 edges, 118082 markings/sec, 120 secs
lola: 15505420 markings, 61002428 edges, 106341 markings/sec, 125 secs
lola: 16076079 markings, 63452695 edges, 114132 markings/sec, 130 secs
lola: 16748597 markings, 65948204 edges, 134504 markings/sec, 135 secs
lola: 17384668 markings, 68452322 edges, 127214 markings/sec, 140 secs
lola: 18038764 markings, 70944206 edges, 130819 markings/sec, 145 secs
lola: 18603898 markings, 73471156 edges, 113027 markings/sec, 150 secs
lola: 19252195 markings, 75984825 edges, 129659 markings/sec, 155 secs
lola: 19900782 markings, 78508298 edges, 129717 markings/sec, 160 secs
lola: 20553308 markings, 81004259 edges, 130505 markings/sec, 165 secs
lola: 21139418 markings, 83512763 edges, 117222 markings/sec, 170 secs
lola: 21778630 markings, 86016905 edges, 127842 markings/sec, 175 secs
lola: 22425941 markings, 88521934 edges, 129462 markings/sec, 180 secs
lola: 23051493 markings, 91062905 edges, 125110 markings/sec, 185 secs
lola: 23648494 markings, 93410686 edges, 119400 markings/sec, 190 secs
lola: 24223747 markings, 95718344 edges, 115051 markings/sec, 195 secs
lola: 24738636 markings, 98087228 edges, 102978 markings/sec, 200 secs
lola: 25334542 markings, 100498799 edges, 119181 markings/sec, 205 secs
lola: 25927258 markings, 102908497 edges, 118543 markings/sec, 210 secs
lola: 26501455 markings, 105305812 edges, 114839 markings/sec, 215 secs
lola: 27091874 markings, 107657669 edges, 118084 markings/sec, 220 secs
lola: 27699843 markings, 110081252 edges, 121594 markings/sec, 225 secs
lola: 28181555 markings, 112307976 edges, 96342 markings/sec, 230 secs
lola: 28769659 markings, 114616144 edges, 117621 markings/sec, 235 secs
lola: 29328864 markings, 116971126 edges, 111841 markings/sec, 240 secs
lola: 29928929 markings, 119427767 edges, 120013 markings/sec, 245 secs
lola: 30496901 markings, 121789873 edges, 113594 markings/sec, 250 secs
lola: 31022663 markings, 124072584 edges, 105152 markings/sec, 255 secs
lola: 31538352 markings, 126385890 edges, 103138 markings/sec, 260 secs
lola: 32082148 markings, 128860303 edges, 108759 markings/sec, 265 secs
lola: 32523641 markings, 131011289 edges, 88299 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1851320 KB
lola: time consumption: 807 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux14_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux14_6)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 798524 markings, 2737357 edges, 159705 markings/sec, 0 secs
lola: 1627802 markings, 5546103 edges, 165856 markings/sec, 5 secs
lola: 2474972 markings, 8194309 edges, 169434 markings/sec, 10 secs
lola: 3191122 markings, 10713879 edges, 143230 markings/sec, 15 secs
lola: 3997699 markings, 13363089 edges, 161315 markings/sec, 20 secs
lola: 4656505 markings, 15895255 edges, 131761 markings/sec, 25 secs
lola: 5389249 markings, 18367606 edges, 146549 markings/sec, 30 secs
lola: 6045785 markings, 20842037 edges, 131307 markings/sec, 35 secs
lola: 6679196 markings, 23297964 edges, 126682 markings/sec, 40 secs
lola: 7493743 markings, 25840770 edges, 162909 markings/sec, 45 secs
lola: 8148623 markings, 28317312 edges, 130976 markings/sec, 50 secs
lola: 8728594 markings, 30615887 edges, 115994 markings/sec, 55 secs
lola: 9376716 markings, 33098611 edges, 129624 markings/sec, 60 secs
lola: 10000057 markings, 35745806 edges, 124668 markings/sec, 65 secs
lola: 10733079 markings, 38597355 edges, 146604 markings/sec, 70 secs
lola: 11503337 markings, 41367040 edges, 154052 markings/sec, 75 secs
lola: 12261303 markings, 43966018 edges, 151593 markings/sec, 80 secs
lola: 12965689 markings, 46666483 edges, 140877 markings/sec, 85 secs
lola: 13671828 markings, 49360935 edges, 141228 markings/sec, 90 secs
lola: 14285851 markings, 51958360 edges, 122805 markings/sec, 95 secs
lola: 14957271 markings, 54418599 edges, 134284 markings/sec, 100 secs
lola: 15502786 markings, 56848250 edges, 109103 markings/sec, 105 secs
lola: 16096412 markings, 59593466 edges, 118725 markings/sec, 110 secs
lola: 17057824 markings, 62380479 edges, 192282 markings/sec, 115 secs
lola: 17895614 markings, 65263284 edges, 167558 markings/sec, 120 secs
lola: 18588404 markings, 67945518 edges, 138558 markings/sec, 125 secs
lola: 19257055 markings, 70623229 edges, 133730 markings/sec, 130 secs
lola: 19900658 markings, 73174952 edges, 128721 markings/sec, 135 secs
lola: 20470498 markings, 75874379 edges, 113968 markings/sec, 140 secs
lola: 21213087 markings, 78608597 edges, 148518 markings/sec, 145 secs
lola: 21854250 markings, 81231449 edges, 128233 markings/sec, 150 secs
lola: 22428715 markings, 83648239 edges, 114893 markings/sec, 155 secs
lola: 22931095 markings, 86067436 edges, 100476 markings/sec, 160 secs
lola: 23515605 markings, 88574416 edges, 116902 markings/sec, 165 secs
lola: 24225598 markings, 91303314 edges, 141999 markings/sec, 170 secs
lola: 24823000 markings, 93877809 edges, 119480 markings/sec, 175 secs
lola: 25504782 markings, 96228516 edges, 136356 markings/sec, 180 secs
lola: 26165090 markings, 98537496 edges, 132062 markings/sec, 185 secs
lola: 26790953 markings, 100944238 edges, 125173 markings/sec, 190 secs
lola: 27544675 markings, 103464919 edges, 150744 markings/sec, 195 secs
lola: 28178107 markings, 105823096 edges, 126686 markings/sec, 200 secs
lola: 28777014 markings, 108309021 edges, 119781 markings/sec, 205 secs
lola: 29455034 markings, 110998697 edges, 135604 markings/sec, 210 secs
lola: 30126080 markings, 113607313 edges, 134209 markings/sec, 215 secs
lola: 30791031 markings, 116131514 edges, 132990 markings/sec, 220 secs
lola: 31429863 markings, 118809628 edges, 127766 markings/sec, 225 secs
lola: 32014840 markings, 121355177 edges, 116995 markings/sec, 230 secs
lola: 32617377 markings, 124005402 edges, 120507 markings/sec, 235 secs
lola: 33382039 markings, 126564566 edges, 152932 markings/sec, 240 secs
lola: 33968322 markings, 129139681 edges, 117257 markings/sec, 245 secs
lola: 34472482 markings, 131525586 edges, 100832 markings/sec, 250 secs
lola: 35032920 markings, 133835719 edges, 112088 markings/sec, 255 secs
lola: 35555564 markings, 136309903 edges, 104529 markings/sec, 260 secs
lola: 36077776 markings, 138776665 edges, 104442 markings/sec, 265 secs
lola: 36823654 markings, 141311555 edges, 149176 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2105708 KB
lola: time consumption: 1083 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out8_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out8_4)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 858802 markings, 2401087 edges, 171760 markings/sec, 0 secs
lola: 1803062 markings, 5149426 edges, 188852 markings/sec, 5 secs
lola: 2735774 markings, 7893922 edges, 186542 markings/sec, 10 secs
lola: 3593125 markings, 10618943 edges, 171470 markings/sec, 15 secs
lola: 4521964 markings, 13326930 edges, 185768 markings/sec, 20 secs
lola: 5391608 markings, 16058747 edges, 173929 markings/sec, 25 secs
lola: 6294180 markings, 18697699 edges, 180514 markings/sec, 30 secs
lola: 7097832 markings, 21301032 edges, 160730 markings/sec, 35 secs
lola: 8042616 markings, 23983611 edges, 188957 markings/sec, 40 secs
lola: 8861550 markings, 26575051 edges, 163787 markings/sec, 45 secs
lola: 9648588 markings, 29113152 edges, 157408 markings/sec, 50 secs
lola: 10590215 markings, 31836990 edges, 188325 markings/sec, 55 secs
lola: 11339090 markings, 34176307 edges, 149775 markings/sec, 60 secs
lola: 12063389 markings, 36528449 edges, 144860 markings/sec, 65 secs
lola: 12797266 markings, 38890895 edges, 146775 markings/sec, 70 secs
lola: 13642399 markings, 41262282 edges, 169027 markings/sec, 75 secs
lola: 14354452 markings, 43512540 edges, 142411 markings/sec, 80 secs
lola: 15050270 markings, 45760506 edges, 139164 markings/sec, 85 secs
lola: 15768705 markings, 48056351 edges, 143687 markings/sec, 90 secs
lola: 16629428 markings, 50683799 edges, 172145 markings/sec, 95 secs
lola: 17488605 markings, 53200344 edges, 171835 markings/sec, 100 secs
lola: 18275477 markings, 55696597 edges, 157374 markings/sec, 105 secs
lola: 19083379 markings, 58313439 edges, 161580 markings/sec, 110 secs
lola: 19926872 markings, 60960812 edges, 168699 markings/sec, 115 secs
lola: 20852895 markings, 63608902 edges, 185205 markings/sec, 120 secs
lola: 21652578 markings, 66129039 edges, 159937 markings/sec, 125 secs
lola: 22464490 markings, 68700861 edges, 162382 markings/sec, 130 secs
lola: 23280868 markings, 71368675 edges, 163276 markings/sec, 135 secs
lola: 24214934 markings, 74060547 edges, 186813 markings/sec, 140 secs
lola: 25005770 markings, 76513981 edges, 158167 markings/sec, 145 secs
lola: 25798330 markings, 79037205 edges, 158512 markings/sec, 150 secs
lola: 26603785 markings, 81633392 edges, 161091 markings/sec, 155 secs
lola: 27444930 markings, 84274057 edges, 168229 markings/sec, 160 secs
lola: 28350209 markings, 86918927 edges, 181056 markings/sec, 165 secs
lola: 29164126 markings, 89465276 edges, 162783 markings/sec, 170 secs
lola: 29979611 markings, 92091303 edges, 163097 markings/sec, 175 secs
lola: 30812762 markings, 94657815 edges, 166630 markings/sec, 180 secs
lola: 31722022 markings, 97377009 edges, 181852 markings/sec, 185 secs
lola: 32550964 markings, 99955370 edges, 165788 markings/sec, 190 secs
lola: 33362323 markings, 102582716 edges, 162272 markings/sec, 195 secs
lola: 34192968 markings, 105127283 edges, 166129 markings/sec, 200 secs
lola: 35037352 markings, 107798661 edges, 168877 markings/sec, 205 secs
lola: 35902429 markings, 110379794 edges, 173015 markings/sec, 210 secs
lola: 36645666 markings, 112762774 edges, 148647 markings/sec, 215 secs
lola: 37430240 markings, 115212944 edges, 156915 markings/sec, 220 secs
lola: 38253354 markings, 117801603 edges, 164623 markings/sec, 225 secs
lola: 39146763 markings, 120467604 edges, 178682 markings/sec, 230 secs
lola: 39926433 markings, 122960857 edges, 155934 markings/sec, 235 secs
lola: 40697732 markings, 125346393 edges, 154260 markings/sec, 240 secs
lola: 41482383 markings, 127848397 edges, 156930 markings/sec, 245 secs
lola: 42316631 markings, 130426939 edges, 166850 markings/sec, 250 secs
lola: 43096367 markings, 132809861 edges, 155947 markings/sec, 255 secs
lola: 43822744 markings, 135086517 edges, 145275 markings/sec, 260 secs
lola: 44544772 markings, 137406577 edges, 144406 markings/sec, 265 secs
lola: 45273507 markings, 139658905 edges, 145747 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2577584 KB
lola: time consumption: 1359 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out4_2)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 1466343 markings, 1811889 edges, 293269 markings/sec, 0 secs
lola: 2904021 markings, 3575867 edges, 287536 markings/sec, 5 secs
lola: 3625391 markings, 5670166 edges, 144274 markings/sec, 10 secs
lola: 4204653 markings, 7756088 edges, 115852 markings/sec, 15 secs
lola: 4715577 markings, 9667448 edges, 102185 markings/sec, 20 secs
lola: 5221475 markings, 11589579 edges, 101180 markings/sec, 25 secs
lola: 5691515 markings, 13553846 edges, 94008 markings/sec, 30 secs
lola: 6153971 markings, 15787260 edges, 92491 markings/sec, 35 secs
lola: 6678490 markings, 18024724 edges, 104904 markings/sec, 40 secs
lola: 7288447 markings, 20314913 edges, 121991 markings/sec, 45 secs
lola: 7844622 markings, 22575458 edges, 111235 markings/sec, 50 secs
lola: 8391322 markings, 24825376 edges, 109340 markings/sec, 55 secs
lola: 8939798 markings, 26924362 edges, 109695 markings/sec, 60 secs
lola: 9472984 markings, 29064484 edges, 106637 markings/sec, 65 secs
lola: 10046758 markings, 31241462 edges, 114755 markings/sec, 70 secs
lola: 10503905 markings, 33449841 edges, 91429 markings/sec, 75 secs
lola: 11054589 markings, 35701642 edges, 110137 markings/sec, 80 secs
lola: 11556909 markings, 37810175 edges, 100464 markings/sec, 85 secs
lola: 12144727 markings, 39975709 edges, 117564 markings/sec, 90 secs
lola: 12681658 markings, 42140917 edges, 107386 markings/sec, 95 secs
lola: 13212742 markings, 44394174 edges, 106217 markings/sec, 100 secs
lola: 13804529 markings, 46594952 edges, 118357 markings/sec, 105 secs
lola: 14397770 markings, 48801968 edges, 118648 markings/sec, 110 secs
lola: 14966512 markings, 51031409 edges, 113748 markings/sec, 115 secs
lola: 15485843 markings, 53220990 edges, 103866 markings/sec, 120 secs
lola: 16038143 markings, 55440698 edges, 110460 markings/sec, 125 secs
lola: 16575391 markings, 57664851 edges, 107450 markings/sec, 130 secs
lola: 17090414 markings, 59890485 edges, 103005 markings/sec, 135 secs
lola: 17571775 markings, 62089221 edges, 96272 markings/sec, 140 secs
lola: 18045324 markings, 64225410 edges, 94710 markings/sec, 145 secs
lola: 18528806 markings, 66451117 edges, 96696 markings/sec, 150 secs
lola: 19061877 markings, 68739639 edges, 106614 markings/sec, 155 secs
lola: 19579360 markings, 70906090 edges, 103497 markings/sec, 160 secs
lola: 20067636 markings, 73100671 edges, 97655 markings/sec, 165 secs
lola: 20553650 markings, 75375914 edges, 97203 markings/sec, 170 secs
lola: 21087942 markings, 77648505 edges, 106858 markings/sec, 175 secs
lola: 21585921 markings, 79861668 edges, 99596 markings/sec, 180 secs
lola: 22023926 markings, 81871263 edges, 87601 markings/sec, 185 secs
lola: 22487912 markings, 83811828 edges, 92797 markings/sec, 190 secs
lola: 22962414 markings, 85657300 edges, 94900 markings/sec, 195 secs
lola: 23444047 markings, 87598977 edges, 96327 markings/sec, 200 secs
lola: 23894929 markings, 89660938 edges, 90176 markings/sec, 205 secs
lola: 24378819 markings, 91757387 edges, 96778 markings/sec, 210 secs
lola: 24859017 markings, 93902965 edges, 96040 markings/sec, 215 secs
lola: 25363010 markings, 96044584 edges, 100799 markings/sec, 220 secs
lola: 25821885 markings, 98120888 edges, 91775 markings/sec, 225 secs
lola: 26284553 markings, 100040049 edges, 92534 markings/sec, 230 secs
lola: 26774941 markings, 101959386 edges, 98078 markings/sec, 235 secs
lola: 27225072 markings, 103945839 edges, 90026 markings/sec, 240 secs
lola: 27696729 markings, 105929409 edges, 94331 markings/sec, 245 secs
lola: 28156019 markings, 107937239 edges, 91858 markings/sec, 250 secs
lola: 28629783 markings, 109927342 edges, 94753 markings/sec, 255 secs
lola: 29128831 markings, 111972423 edges, 99810 markings/sec, 260 secs
lola: 29604618 markings, 114024838 edges, 95157 markings/sec, 265 secs
lola: 30041689 markings, 116141808 edges, 87414 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown 50 unknown unknown unknown 50 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1571520 KB
lola: time consumption: 1636 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux11_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux11_3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 351 markings, 350 edges

FORMULA PermAdmissibility-PT-50-UpperBounds-15 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 100
lola: ========================================
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 201 markings, 200 edges

FORMULA PermAdmissibility-PT-50-UpperBounds-4 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 11 will run for 386 seconds at most (--localtimelimit=0)
========================================
lola: ========================================
lola: ...considering subproblem: MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7)
lola: processed formula length: 74
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 251 markings, 250 edges
lola: ========================================

FORMULA PermAdmissibility-PT-50-UpperBounds-6 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 483 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: processed formula length: 74
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 701 markings, 700 edges

FORMULA PermAdmissibility-PT-50-UpperBounds-7 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux12_0 + aux12_1 + aux12_2 + aux12_3 + aux12_4 + aux12_5 + aux12_6 + aux12_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux12_0 + aux12_1 + aux12_2 + aux12_3 + aux12_4 + aux12_5 + aux12_6 + aux12_7)
lola: processed formula length: 82
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 401 markings, 400 edges
lola: ========================================

FORMULA PermAdmissibility-PT-50-UpperBounds-3 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 966 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7)
lola: processed formula length: 74
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 751 markings, 750 edges
lola: ========================================

FORMULA PermAdmissibility-PT-50-UpperBounds-1 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1933 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_7)
lola: processed formula length: 74
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 801 markings, 800 edges
lola: ========================================

FORMULA PermAdmissibility-PT-50-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(out7_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out7_5)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 50
lola: 662124 markings, 2266420 edges, 132425 markings/sec, 0 secs
lola: 1302900 markings, 4638562 edges, 128155 markings/sec, 5 secs
lola: 1906519 markings, 7059640 edges, 120724 markings/sec, 10 secs
lola: 2543013 markings, 9378477 edges, 127299 markings/sec, 15 secs
lola: 3125792 markings, 11726825 edges, 116556 markings/sec, 20 secs
lola: 3741576 markings, 14042661 edges, 123157 markings/sec, 25 secs
lola: 4306725 markings, 16296010 edges, 113030 markings/sec, 30 secs
lola: 4921570 markings, 18613776 edges, 122969 markings/sec, 35 secs
lola: 5481706 markings, 20872097 edges, 112027 markings/sec, 40 secs
lola: 6002106 markings, 22984180 edges, 104080 markings/sec, 45 secs
lola: 6503670 markings, 24973204 edges, 100313 markings/sec, 50 secs
lola: 7067651 markings, 27266967 edges, 112796 markings/sec, 55 secs
lola: 7666783 markings, 29650597 edges, 119826 markings/sec, 60 secs
lola: 8272644 markings, 32000927 edges, 121172 markings/sec, 65 secs
lola: 8815260 markings, 34185383 edges, 108523 markings/sec, 70 secs
lola: 9344117 markings, 36323890 edges, 105771 markings/sec, 75 secs
lola: 9836877 markings, 38406144 edges, 98552 markings/sec, 80 secs
lola: 10346249 markings, 40567012 edges, 101874 markings/sec, 85 secs
lola: 10837969 markings, 42807508 edges, 98344 markings/sec, 90 secs
lola: 11296153 markings, 45020758 edges, 91637 markings/sec, 95 secs
lola: 11732770 markings, 47213292 edges, 87323 markings/sec, 100 secs
lola: 12156837 markings, 49396351 edges, 84813 markings/sec, 105 secs
lola: 12811402 markings, 51632410 edges, 130913 markings/sec, 110 secs
lola: 13485559 markings, 53983615 edges, 134831 markings/sec, 115 secs
lola: 14115462 markings, 56378559 edges, 125981 markings/sec, 120 secs
lola: 14650622 markings, 58653006 edges, 107032 markings/sec, 125 secs
lola: 15256345 markings, 60966516 edges, 121145 markings/sec, 130 secs
lola: 15853801 markings, 63279686 edges, 119491 markings/sec, 135 secs
lola: 16459281 markings, 65668907 edges, 121096 markings/sec, 140 secs
lola: 17038251 markings, 68000614 edges, 115794 markings/sec, 145 secs
lola: 17628439 markings, 70315584 edges, 118038 markings/sec, 150 secs
lola: 18187279 markings, 72605799 edges, 111768 markings/sec, 155 secs
lola: 18706148 markings, 74884178 edges, 103774 markings/sec, 160 secs
lola: 19226915 markings, 77158214 edges, 104153 markings/sec, 165 secs
lola: 19743528 markings, 79460016 edges, 103323 markings/sec, 170 secs
lola: 20336641 markings, 81798156 edges, 118623 markings/sec, 175 secs
lola: 20923514 markings, 83995371 edges, 117375 markings/sec, 180 secs
lola: 21469752 markings, 86100912 edges, 109248 markings/sec, 185 secs
lola: 21992793 markings, 88255785 edges, 104608 markings/sec, 190 secs
lola: 22554686 markings, 90561753 edges, 112379 markings/sec, 195 secs
lola: 23108222 markings, 92960488 edges, 110707 markings/sec, 200 secs
lola: 23692410 markings, 95384543 edges, 116838 markings/sec, 205 secs
lola: 24259131 markings, 97793728 edges, 113344 markings/sec, 210 secs
lola: 24799901 markings, 100152778 edges, 108154 markings/sec, 215 secs
lola: 25385340 markings, 102550065 edges, 117088 markings/sec, 220 secs
lola: 25905829 markings, 104746364 edges, 104098 markings/sec, 225 secs
lola: 26400542 markings, 106907997 edges, 98943 markings/sec, 230 secs
lola: 26914636 markings, 109049202 edges, 102819 markings/sec, 235 secs
lola: 27527132 markings, 111303504 edges, 122499 markings/sec, 240 secs
lola: 28074064 markings, 113560491 edges, 109386 markings/sec, 245 secs
lola: 28676989 markings, 115928089 edges, 120585 markings/sec, 250 secs
lola: 29230651 markings, 118223799 edges, 110732 markings/sec, 255 secs
lola: 29743547 markings, 120321637 edges, 102579 markings/sec, 260 secs
lola: 30238008 markings, 122364037 edges, 98892 markings/sec, 265 secs
lola: 30719154 markings, 124439762 edges, 96229 markings/sec, 270 secs
lola: 31172856 markings, 126683237 edges, 90740 markings/sec, 275 secs
lola: 31718123 markings, 128988298 edges, 109053 markings/sec, 280 secs
lola: 32297480 markings, 131265064 edges, 115871 markings/sec, 285 secs
lola: 32763594 markings, 133394056 edges, 93223 markings/sec, 290 secs
lola: 33302486 markings, 135756933 edges, 107778 markings/sec, 295 secs
lola: 33869733 markings, 138012011 edges, 113449 markings/sec, 300 secs
lola: 34415379 markings, 140247865 edges, 109129 markings/sec, 305 secs
lola: 34930750 markings, 142537379 edges, 103074 markings/sec, 310 secs
lola: 35482884 markings, 144739599 edges, 110427 markings/sec, 315 secs
lola: 35973585 markings, 146846075 edges, 98140 markings/sec, 320 secs
lola: 36509287 markings, 149083612 edges, 107140 markings/sec, 325 secs
lola: 37023912 markings, 151321993 edges, 102925 markings/sec, 330 secs
lola: 37518941 markings, 153551388 edges, 99006 markings/sec, 335 secs
lola: 38030553 markings, 155795336 edges, 102322 markings/sec, 340 secs
lola: 38523146 markings, 157999214 edges, 98519 markings/sec, 345 secs
lola: 39109582 markings, 160231124 edges, 117287 markings/sec, 350 secs
lola: 39683528 markings, 162498399 edges, 114789 markings/sec, 355 secs
lola: 40234158 markings, 164710000 edges, 110126 markings/sec, 360 secs
lola: 40788624 markings, 166954423 edges, 110893 markings/sec, 365 secs
lola: 41359602 markings, 169268356 edges, 114196 markings/sec, 370 secs
lola: 41890088 markings, 171497293 edges, 106097 markings/sec, 375 secs
lola: 42407963 markings, 173800193 edges, 103575 markings/sec, 380 secs
lola: 42860190 markings, 176134892 edges, 90445 markings/sec, 385 secs
lola: 43519390 markings, 178504952 edges, 131840 markings/sec, 390 secs
lola: 44036402 markings, 180772051 edges, 103402 markings/sec, 395 secs
lola: 44571412 markings, 183053890 edges, 107002 markings/sec, 400 secs
lola: 45130324 markings, 185355648 edges, 111782 markings/sec, 405 secs
lola: 45678192 markings, 187604241 edges, 109574 markings/sec, 410 secs
lola: 46178448 markings, 189876844 edges, 100051 markings/sec, 415 secs
lola: 46755702 markings, 192162325 edges, 115451 markings/sec, 420 secs
lola: 47311644 markings, 194473561 edges, 111188 markings/sec, 425 secs
lola: 47846816 markings, 196791149 edges, 107034 markings/sec, 430 secs
lola: 48357904 markings, 199078110 edges, 102218 markings/sec, 435 secs
lola: 48887454 markings, 201351531 edges, 105910 markings/sec, 440 secs
lola: 49447050 markings, 203687876 edges, 111919 markings/sec, 445 secs
lola: 50002694 markings, 206017660 edges, 111129 markings/sec, 450 secs
lola: 50529157 markings, 208271393 edges, 105293 markings/sec, 455 secs
lola: 51050729 markings, 210573681 edges, 104314 markings/sec, 460 secs
lola: 51526592 markings, 212749667 edges, 95173 markings/sec, 465 secs
lola: 52009515 markings, 214872561 edges, 96585 markings/sec, 470 secs
lola: 52498487 markings, 217031042 edges, 97794 markings/sec, 475 secs
lola: 53018254 markings, 219200052 edges, 103953 markings/sec, 480 secs
lola: 53511837 markings, 221437531 edges, 98717 markings/sec, 485 secs
lola: 53996761 markings, 223651836 edges, 96985 markings/sec, 490 secs
lola: 54501474 markings, 225968328 edges, 100943 markings/sec, 495 secs
lola: 54984245 markings, 228287827 edges, 96554 markings/sec, 500 secs
lola: 55452984 markings, 230581316 edges, 93748 markings/sec, 505 secs
lola: 55905200 markings, 232833674 edges, 90443 markings/sec, 510 secs
lola: 56353842 markings, 235087546 edges, 89728 markings/sec, 515 secs
lola: 56842961 markings, 237392315 edges, 97824 markings/sec, 520 secs
lola: 57319430 markings, 239660740 edges, 95294 markings/sec, 525 secs
lola: 57764419 markings, 242011096 edges, 88998 markings/sec, 530 secs
lola: 58201652 markings, 244303505 edges, 87447 markings/sec, 535 secs
lola: 58653506 markings, 246658595 edges, 90371 markings/sec, 540 secs
lola: 59090875 markings, 248920362 edges, 87474 markings/sec, 545 secs
lola: 59546582 markings, 251127262 edges, 91141 markings/sec, 550 secs
lola: 59953631 markings, 253356437 edges, 81410 markings/sec, 555 secs
lola: 60363101 markings, 255570712 edges, 81894 markings/sec, 560 secs
lola: 60764085 markings, 257615890 edges, 80197 markings/sec, 565 secs
lola: 61201036 markings, 259765563 edges, 87390 markings/sec, 570 secs
lola: 61604884 markings, 261930662 edges, 80770 markings/sec, 575 secs
lola: 62012341 markings, 264115300 edges, 81491 markings/sec, 580 secs
lola: 62417839 markings, 266285910 edges, 81100 markings/sec, 585 secs
lola: 62941798 markings, 268508907 edges, 104792 markings/sec, 590 secs
lola: 63570316 markings, 270702540 edges, 125704 markings/sec, 595 secs
lola: 64168642 markings, 272779291 edges, 119665 markings/sec, 600 secs
lola: 64732184 markings, 274900235 edges, 112708 markings/sec, 605 secs
lola: 65375379 markings, 277058942 edges, 128639 markings/sec, 610 secs
lola: 66003472 markings, 279355600 edges, 125619 markings/sec, 615 secs
lola: 66655152 markings, 281631991 edges, 130336 markings/sec, 620 secs
lola: 67275906 markings, 283918794 edges, 124151 markings/sec, 625 secs
lola: 67918731 markings, 286203741 edges, 128565 markings/sec, 630 secs
lola: 68558739 markings, 288546377 edges, 128002 markings/sec, 635 secs
lola: 69193840 markings, 290817276 edges, 127020 markings/sec, 640 secs
lola: 69803449 markings, 293025944 edges, 121922 markings/sec, 645 secs
lola: 70353823 markings, 295358279 edges, 110075 markings/sec, 650 secs
lola: 70858114 markings, 297640422 edges, 100858 markings/sec, 655 secs
lola: 71344774 markings, 299913202 edges, 97332 markings/sec, 660 secs
lola: 71795342 markings, 301965122 edges, 90114 markings/sec, 665 secs
lola: 72222453 markings, 304060190 edges, 85422 markings/sec, 670 secs
lola: 72675605 markings, 306254030 edges, 90630 markings/sec, 675 secs
lola: 73236789 markings, 308499965 edges, 112237 markings/sec, 680 secs
lola: 73814652 markings, 310797035 edges, 115573 markings/sec, 685 secs
lola: 74395968 markings, 313052622 edges, 116263 markings/sec, 690 secs
lola: 74969968 markings, 315301297 edges, 114800 markings/sec, 695 secs
lola: 75529584 markings, 317498302 edges, 111923 markings/sec, 700 secs
lola: 76087571 markings, 319733425 edges, 111597 markings/sec, 705 secs
lola: 76621787 markings, 321929547 edges, 106843 markings/sec, 710 secs
lola: 77133736 markings, 324183078 edges, 102390 markings/sec, 715 secs
lola: 77640676 markings, 326399268 edges, 101388 markings/sec, 720 secs
lola: 78140780 markings, 328622031 edges, 100021 markings/sec, 725 secs
lola: 78701063 markings, 330845844 edges, 112057 markings/sec, 730 secs
lola: 79294702 markings, 333033078 edges, 118728 markings/sec, 735 secs
lola: 79850983 markings, 335289557 edges, 111256 markings/sec, 740 secs
lola: 80357680 markings, 337454993 edges, 101339 markings/sec, 745 secs
lola: 80850628 markings, 339643572 edges, 98590 markings/sec, 750 secs
lola: 81419043 markings, 341830899 edges, 113683 markings/sec, 755 secs
lola: 81972546 markings, 344029205 edges, 110701 markings/sec, 760 secs
lola: 82512076 markings, 346237526 edges, 107906 markings/sec, 765 secs
lola: 83022767 markings, 348491345 edges, 102138 markings/sec, 770 secs
lola: 83571420 markings, 350727196 edges, 109731 markings/sec, 775 secs
lola: 84075871 markings, 352848111 edges, 100890 markings/sec, 780 secs
lola: 84599153 markings, 355087447 edges, 104656 markings/sec, 785 secs
lola: 85124365 markings, 357303538 edges, 105042 markings/sec, 790 secs
lola: 85686578 markings, 359529218 edges, 112443 markings/sec, 795 secs
lola: 86210591 markings, 361676451 edges, 104803 markings/sec, 800 secs
lola: 86708576 markings, 363875221 edges, 99597 markings/sec, 805 secs
lola: 87273062 markings, 366139427 edges, 112897 markings/sec, 810 secs
lola: 87781764 markings, 368326879 edges, 101740 markings/sec, 815 secs
lola: 88276199 markings, 370566443 edges, 98887 markings/sec, 820 secs
lola: 88839827 markings, 372831379 edges, 112726 markings/sec, 825 secs
lola: 89326977 markings, 374911587 edges, 97430 markings/sec, 830 secs
lola: 89775786 markings, 376883362 edges, 89762 markings/sec, 835 secs
lola: 90254740 markings, 379058533 edges, 95791 markings/sec, 840 secs
lola: 90708304 markings, 381202941 edges, 90713 markings/sec, 845 secs
lola: 91174048 markings, 383245796 edges, 93149 markings/sec, 850 secs
lola: 91620202 markings, 385282199 edges, 89231 markings/sec, 855 secs
lola: 92085478 markings, 387369663 edges, 93055 markings/sec, 860 secs
lola: 92541729 markings, 389483500 edges, 91250 markings/sec, 865 secs
lola: 93043858 markings, 391703563 edges, 100426 markings/sec, 870 secs
lola: 93472729 markings, 393732089 edges, 85774 markings/sec, 875 secs
lola: 93905696 markings, 395776446 edges, 86593 markings/sec, 880 secs
lola: 94348669 markings, 397838946 edges, 88595 markings/sec, 885 secs
lola: 94826768 markings, 400004940 edges, 95620 markings/sec, 890 secs
lola: 95304355 markings, 402199750 edges, 95517 markings/sec, 895 secs
lola: 95739922 markings, 404289988 edges, 87113 markings/sec, 900 secs
lola: 96194334 markings, 406394181 edges, 90882 markings/sec, 905 secs
lola: 96772079 markings, 408445777 edges, 115549 markings/sec, 910 secs
lola: 97379288 markings, 410493834 edges, 121442 markings/sec, 915 secs
lola: 98008001 markings, 412608460 edges, 125743 markings/sec, 920 secs
lola: 98650001 markings, 414837451 edges, 128400 markings/sec, 925 secs
lola: 99124044 markings, 416989613 edges, 94809 markings/sec, 930 secs
lola: 99560251 markings, 419075990 edges, 87241 markings/sec, 935 secs
lola: 100147462 markings, 421356593 edges, 117442 markings/sec, 940 secs
lola: 100740791 markings, 423663361 edges, 118666 markings/sec, 945 secs
lola: 101256462 markings, 425834689 edges, 103134 markings/sec, 950 secs
lola: 101802106 markings, 428087346 edges, 109129 markings/sec, 955 secs
lola: 102322041 markings, 430346596 edges, 103987 markings/sec, 960 secs
lola: 102869071 markings, 432579199 edges, 109406 markings/sec, 965 secs
lola: 103368499 markings, 434721846 edges, 99886 markings/sec, 970 secs
lola: 103873800 markings, 436920773 edges, 101060 markings/sec, 975 secs
lola: 104349037 markings, 439071645 edges, 95047 markings/sec, 980 secs
lola: 104825675 markings, 441137808 edges, 95328 markings/sec, 985 secs
lola: 105291519 markings, 443177603 edges, 93169 markings/sec, 990 secs
lola: 105792055 markings, 445276599 edges, 100107 markings/sec, 995 secs
lola: 106305377 markings, 447426241 edges, 102664 markings/sec, 1000 secs
lola: 106823898 markings, 449603427 edges, 103704 markings/sec, 1005 secs
lola: 107275699 markings, 451697821 edges, 90360 markings/sec, 1010 secs
lola: 107769445 markings, 453839708 edges, 98749 markings/sec, 1015 secs
lola: 108207562 markings, 455838835 edges, 87623 markings/sec, 1020 secs
lola: 108657456 markings, 457868484 edges, 89979 markings/sec, 1025 secs
lola: 109105443 markings, 459882221 edges, 89597 markings/sec, 1030 secs
lola: 109576288 markings, 462059973 edges, 94169 markings/sec, 1035 secs
lola: 110081381 markings, 464203742 edges, 101019 markings/sec, 1040 secs
lola: 110602044 markings, 466396108 edges, 104133 markings/sec, 1045 secs
lola: 111128124 markings, 468636836 edges, 105216 markings/sec, 1050 secs
lola: 111668597 markings, 470904584 edges, 108095 markings/sec, 1055 secs
lola: 112209074 markings, 473141259 edges, 108095 markings/sec, 1060 secs
lola: 112661378 markings, 475266695 edges, 90461 markings/sec, 1065 secs
lola: 113176453 markings, 477531601 edges, 103015 markings/sec, 1070 secs
lola: 113656011 markings, 479726917 edges, 95912 markings/sec, 1075 secs
lola: 114152869 markings, 481963905 edges, 99372 markings/sec, 1080 secs
lola: 114639361 markings, 484175063 edges, 97298 markings/sec, 1085 secs
lola: 115118669 markings, 486449071 edges, 95862 markings/sec, 1090 secs
lola: 115613786 markings, 488683211 edges, 99023 markings/sec, 1095 secs
lola: 116157385 markings, 490979130 edges, 108720 markings/sec, 1100 secs
lola: 116665590 markings, 493219541 edges, 101641 markings/sec, 1105 secs
lola: 117180431 markings, 495360670 edges, 102968 markings/sec, 1110 secs
lola: 117693191 markings, 497502015 edges, 102552 markings/sec, 1115 secs
lola: 118196770 markings, 499641492 edges, 100716 markings/sec, 1120 secs
lola: 118684755 markings, 501782555 edges, 97597 markings/sec, 1125 secs
lola: 119204253 markings, 503945093 edges, 103900 markings/sec, 1130 secs
lola: 119649019 markings, 505943450 edges, 88953 markings/sec, 1135 secs
lola: 120082159 markings, 507924138 edges, 86628 markings/sec, 1140 secs
lola: 120549765 markings, 509919324 edges, 93521 markings/sec, 1145 secs
lola: 121075013 markings, 512142549 edges, 105050 markings/sec, 1150 secs
lola: 121529578 markings, 514307402 edges, 90913 markings/sec, 1155 secs
lola: 121998546 markings, 516518879 edges, 93794 markings/sec, 1160 secs
lola: 122475842 markings, 518779420 edges, 95459 markings/sec, 1165 secs
lola: 123019504 markings, 521016304 edges, 108732 markings/sec, 1170 secs
lola: 123684200 markings, 523307398 edges, 132939 markings/sec, 1175 secs
lola: 124272567 markings, 525665776 edges, 117673 markings/sec, 1180 secs
lola: 124856343 markings, 527951833 edges, 116755 markings/sec, 1185 secs
lola: 125431510 markings, 530261000 edges, 115033 markings/sec, 1190 secs
lola: 125987625 markings, 532575353 edges, 111223 markings/sec, 1195 secs
lola: 126537730 markings, 534868484 edges, 110021 markings/sec, 1200 secs
lola: 127079918 markings, 537142852 edges, 108438 markings/sec, 1205 secs
lola: 127579958 markings, 539476938 edges, 100008 markings/sec, 1210 secs
lola: 128066991 markings, 541778387 edges, 97407 markings/sec, 1215 secs
lola: 128673255 markings, 544017094 edges, 121253 markings/sec, 1220 secs
lola: 129146948 markings, 546112721 edges, 94739 markings/sec, 1225 secs
lola: 129603845 markings, 548253565 edges, 91379 markings/sec, 1230 secs
lola: 130155697 markings, 550465584 edges, 110370 markings/sec, 1235 secs
lola: 130687617 markings, 552610360 edges, 106384 markings/sec, 1240 secs
lola: 131180493 markings, 554758268 edges, 98575 markings/sec, 1245 secs
lola: 131684150 markings, 556982200 edges, 100731 markings/sec, 1250 secs
lola: 132236492 markings, 559108018 edges, 110468 markings/sec, 1255 secs
lola: 132747401 markings, 561260113 edges, 102182 markings/sec, 1260 secs
lola: 133267013 markings, 563501402 edges, 103922 markings/sec, 1265 secs
lola: 133776072 markings, 565753818 edges, 101812 markings/sec, 1270 secs
lola: 134291840 markings, 568059971 edges, 103154 markings/sec, 1275 secs
lola: 134799705 markings, 570265390 edges, 101573 markings/sec, 1280 secs
lola: 135295284 markings, 572400862 edges, 99116 markings/sec, 1285 secs
lola: 135827038 markings, 574583459 edges, 106351 markings/sec, 1290 secs
lola: 136349435 markings, 576759940 edges, 104479 markings/sec, 1295 secs
lola: 136812013 markings, 578982390 edges, 92516 markings/sec, 1300 secs
lola: 137322215 markings, 581122380 edges, 102040 markings/sec, 1305 secs
lola: 137787085 markings, 583265907 edges, 92974 markings/sec, 1310 secs
lola: 138303534 markings, 585436018 edges, 103290 markings/sec, 1315 secs
lola: 138816107 markings, 587605456 edges, 102515 markings/sec, 1320 secs
lola: 139303941 markings, 589753595 edges, 97567 markings/sec, 1325 secs
lola: 139762198 markings, 591874589 edges, 91651 markings/sec, 1330 secs
lola: 140246704 markings, 594059166 edges, 96901 markings/sec, 1335 secs
lola: 140707531 markings, 596362204 edges, 92165 markings/sec, 1340 secs
lola: 141146723 markings, 598593537 edges, 87838 markings/sec, 1345 secs
lola: 141584537 markings, 600862467 edges, 87563 markings/sec, 1350 secs
lola: 141998906 markings, 603091023 edges, 82874 markings/sec, 1355 secs
lola: 142409124 markings, 605310223 edges, 82044 markings/sec, 1360 secs
lola: 142821766 markings, 607546132 edges, 82528 markings/sec, 1365 secs
lola: 143396159 markings, 609788962 edges, 114879 markings/sec, 1370 secs
lola: 143991524 markings, 612017501 edges, 119073 markings/sec, 1375 secs
lola: 144609062 markings, 614216831 edges, 123508 markings/sec, 1380 secs
lola: 145204344 markings, 616410531 edges, 119056 markings/sec, 1385 secs
lola: 145719841 markings, 618615581 edges, 103099 markings/sec, 1390 secs
lola: 146182650 markings, 620775353 edges, 92562 markings/sec, 1395 secs
lola: 146642241 markings, 622828756 edges, 91918 markings/sec, 1400 secs
lola: 147080493 markings, 624873876 edges, 87650 markings/sec, 1405 secs
lola: 147516401 markings, 626930732 edges, 87182 markings/sec, 1410 secs
lola: 147905300 markings, 629106426 edges, 77780 markings/sec, 1415 secs
lola: 148432449 markings, 631332712 edges, 105430 markings/sec, 1420 secs
lola: 148888957 markings, 633558777 edges, 91302 markings/sec, 1425 secs
lola: 149426865 markings, 635827270 edges, 107582 markings/sec, 1430 secs
lola: 149967288 markings, 638010250 edges, 108085 markings/sec, 1435 secs
lola: 150496915 markings, 640208444 edges, 105925 markings/sec, 1440 secs
lola: 150999373 markings, 642459967 edges, 100492 markings/sec, 1445 secs
lola: 151573652 markings, 644692155 edges, 114856 markings/sec, 1450 secs
lola: 152070375 markings, 646823468 edges, 99345 markings/sec, 1455 secs
lola: 152559944 markings, 649009853 edges, 97914 markings/sec, 1460 secs
lola: 153111346 markings, 651244747 edges, 110280 markings/sec, 1465 secs
lola: 153634328 markings, 653497771 edges, 104596 markings/sec, 1470 secs
lola: 154137401 markings, 655663058 edges, 100615 markings/sec, 1475 secs
lola: 154629694 markings, 657952013 edges, 98459 markings/sec, 1480 secs
lola: 155136750 markings, 660258997 edges, 101411 markings/sec, 1485 secs
lola: 155631274 markings, 662515478 edges, 98905 markings/sec, 1490 secs
lola: 156103014 markings, 664734480 edges, 94348 markings/sec, 1495 secs
lola: 156579128 markings, 666985823 edges, 95223 markings/sec, 1500 secs
lola: 157251605 markings, 669250819 edges, 134495 markings/sec, 1505 secs
lola: 157765192 markings, 671359914 edges, 102717 markings/sec, 1510 secs
lola: 158216527 markings, 673463849 edges, 90267 markings/sec, 1515 secs
lola: 158712621 markings, 675588908 edges, 99219 markings/sec, 1520 secs
lola: 159229337 markings, 677751582 edges, 103343 markings/sec, 1525 secs
lola: 159744395 markings, 679970819 edges, 103012 markings/sec, 1530 secs
lola: 160266325 markings, 682261494 edges, 104386 markings/sec, 1535 secs
lola: 160771650 markings, 684529924 edges, 101065 markings/sec, 1540 secs
lola: 161282308 markings, 686795220 edges, 102132 markings/sec, 1545 secs
lola: 161778879 markings, 689059501 edges, 99314 markings/sec, 1550 secs
lola: 162271524 markings, 691328895 edges, 98529 markings/sec, 1555 secs
lola: 162806816 markings, 693645225 edges, 107058 markings/sec, 1560 secs
lola: 163279887 markings, 695841368 edges, 94614 markings/sec, 1565 secs
lola: 163760235 markings, 698097753 edges, 96070 markings/sec, 1570 secs
lola: 164242581 markings, 700349000 edges, 96469 markings/sec, 1575 secs
lola: 164736289 markings, 702616155 edges, 98742 markings/sec, 1580 secs
lola: 165235903 markings, 704908153 edges, 99923 markings/sec, 1585 secs
lola: 165761953 markings, 707168033 edges, 105210 markings/sec, 1590 secs
lola: 166268917 markings, 709414943 edges, 101393 markings/sec, 1595 secs
lola: 166770042 markings, 711651483 edges, 100225 markings/sec, 1600 secs
lola: 167235690 markings, 713874008 edges, 93130 markings/sec, 1605 secs
lola: 167739385 markings, 716121866 edges, 100739 markings/sec, 1610 secs
lola: 168403635 markings, 718484130 edges, 132850 markings/sec, 1615 secs
lola: 168994258 markings, 720873770 edges, 118125 markings/sec, 1620 secs
lola: 169594216 markings, 723236163 edges, 119992 markings/sec, 1625 secs
lola: 170174795 markings, 725628394 edges, 116116 markings/sec, 1630 secs
lola: 170734626 markings, 727956344 edges, 111966 markings/sec, 1635 secs
lola: 171296157 markings, 730315271 edges, 112306 markings/sec, 1640 secs
lola: 171801757 markings, 732717356 edges, 101120 markings/sec, 1645 secs
lola: 172369115 markings, 735104185 edges, 113472 markings/sec, 1650 secs
lola: 172950637 markings, 737415094 edges, 116304 markings/sec, 1655 secs
lola: 173462610 markings, 739739210 edges, 102395 markings/sec, 1660 secs
lola: 174048148 markings, 742079464 edges, 117108 markings/sec, 1665 secs
lola: 174607499 markings, 744357012 edges, 111870 markings/sec, 1670 secs
lola: 175132233 markings, 746666666 edges, 104947 markings/sec, 1675 secs
lola: 175696473 markings, 748939799 edges, 112848 markings/sec, 1680 secs
lola: 176216361 markings, 751139803 edges, 103978 markings/sec, 1685 secs
lola: 176747091 markings, 753419465 edges, 106146 markings/sec, 1690 secs
lola: 177259505 markings, 755676481 edges, 102483 markings/sec, 1695 secs
lola: 177784641 markings, 757960046 edges, 105027 markings/sec, 1700 secs
lola: 178288242 markings, 760204076 edges, 100720 markings/sec, 1705 secs
lola: 178851124 markings, 762445443 edges, 112576 markings/sec, 1710 secs
lola: 179375324 markings, 764645220 edges, 104840 markings/sec, 1715 secs
lola: 179852007 markings, 766771964 edges, 95337 markings/sec, 1720 secs
lola: 180334801 markings, 768873759 edges, 96559 markings/sec, 1725 secs
lola: 180789141 markings, 770965804 edges, 90868 markings/sec, 1730 secs
lola: 181317399 markings, 773239654 edges, 105652 markings/sec, 1735 secs
lola: 181856230 markings, 775548191 edges, 107766 markings/sec, 1740 secs
lola: 182375207 markings, 777817909 edges, 103795 markings/sec, 1745 secs
lola: 182881420 markings, 780147252 edges, 101243 markings/sec, 1750 secs
lola: 183396713 markings, 782453313 edges, 103059 markings/sec, 1755 secs
lola: 183864667 markings, 784809601 edges, 93591 markings/sec, 1760 secs
lola: 184335742 markings, 787156137 edges, 94215 markings/sec, 1765 secs
lola: 184767056 markings, 789445305 edges, 86263 markings/sec, 1770 secs
lola: 185198818 markings, 791759540 edges, 86352 markings/sec, 1775 secs
lola: 185617612 markings, 794003695 edges, 83759 markings/sec, 1780 secs
lola: 186156867 markings, 796335536 edges, 107851 markings/sec, 1785 secs
lola: 186775910 markings, 798589844 edges, 123809 markings/sec, 1790 secs
lola: 187385632 markings, 800782906 edges, 121944 markings/sec, 1795 secs
lola: 187985734 markings, 802999835 edges, 120020 markings/sec, 1800 secs
lola: 188490264 markings, 805168907 edges, 100906 markings/sec, 1805 secs
lola: 188969252 markings, 807336253 edges, 95798 markings/sec, 1810 secs
lola: 189445600 markings, 809460156 edges, 95270 markings/sec, 1815 secs
lola: 189912290 markings, 811598367 edges, 93338 markings/sec, 1820 secs
lola: 190346886 markings, 813838151 edges, 86919 markings/sec, 1825 secs
lola: 190865326 markings, 816112439 edges, 103688 markings/sec, 1830 secs
lola: 191357416 markings, 818300749 edges, 98418 markings/sec, 1835 secs
lola: 191914543 markings, 820578554 edges, 111425 markings/sec, 1840 secs
lola: 192447854 markings, 822774211 edges, 106662 markings/sec, 1845 secs
lola: 192938781 markings, 824981044 edges, 98185 markings/sec, 1850 secs
lola: 193494366 markings, 827170910 edges, 111117 markings/sec, 1855 secs
lola: 193997490 markings, 829333893 edges, 100625 markings/sec, 1860 secs
lola: 194514729 markings, 831552855 edges, 103448 markings/sec, 1865 secs
lola: 195044112 markings, 833784651 edges, 105877 markings/sec, 1870 secs
lola: 195556669 markings, 835963557 edges, 102511 markings/sec, 1875 secs
lola: 196047831 markings, 838163501 edges, 98232 markings/sec, 1880 secs
lola: 196554587 markings, 840470017 edges, 101351 markings/sec, 1885 secs
lola: 197028457 markings, 842666830 edges, 94774 markings/sec, 1890 secs
lola: 197496133 markings, 844876199 edges, 93535 markings/sec, 1895 secs
lola: 197972972 markings, 847111131 edges, 95368 markings/sec, 1900 secs
lola: 198637150 markings, 849343112 edges, 132836 markings/sec, 1905 secs
lola: 199139016 markings, 851498879 edges, 100373 markings/sec, 1910 secs
lola: 199596492 markings, 853648295 edges, 91495 markings/sec, 1915 secs
lola: 200126749 markings, 855841307 edges, 106051 markings/sec, 1920 secs
lola: 200667459 markings, 858132024 edges, 108142 markings/sec, 1925 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 50 50 100 100 50 100 50 unknown 50 unknown unknown unknown unknown unknown 50
lola:
preliminary result: 50 50 50 100 100 50 100 50 unknown 50 unknown unknown unknown unknown unknown 50
lola: memory consumption: 11341120 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 50 100 100 50 100 50 unknown 50 unknown unknown unknown unknown unknown 50

BK_STOP 1527043061586

--------------------
content from 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="PermAdmissibility-PT-50"
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/PermAdmissibility-PT-50.tgz
mv PermAdmissibility-PT-50 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PermAdmissibility-PT-50, 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 r112-csrt-152666469600506"
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 ;