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 204K
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 109 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 347 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 33K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Angiogenesis-PT-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241100023
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526624779668

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-15 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-15 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-15 @ 3567 seconds
lola: LoLA will run for 3567 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1248
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-15-UpperBounds.task
lola: MAX(DAG) : MAX(KdStarGStarP3k) : MAX(KdStarGStarPgStar) : MAX(AktP3) : MAX(KdStarGStarPgStar) : MAX(PtP3) : MAX(KdStarGStarP3kStar) : MAX(KdStarGStarPg) : MAX(Pip3) : MAX(Pip3) : MAX(GStarP3kP3) : MAX(KdStarGStarPgStar) : MAX(KdStarGStar) : MAX(KdStarGStarPg) : MAX(PtP3) : MAX(KdStarGStarPgStarP3P2)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DAG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DAG)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 75 markings, 102 edges

FORMULA Angiogenesis-PT-15-UpperBounds-0 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3k)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 46 markings, 59 edges
lola: ========================================

FORMULA Angiogenesis-PT-15-UpperBounds-1 15 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(KdStarGStarPgStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStar)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 106 markings, 120 edges

FORMULA Angiogenesis-PT-15-UpperBounds-2 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AktP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AktP3)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: ========================================
lola: RUNNING
lola: Structural Bound: 15
lola: 1274089 markings, 2202995 edges, 254818 markings/sec, 0 secs
lola: 2484204 markings, 4334350 edges, 242023 markings/sec, 5 secs
lola: 3649911 markings, 6413459 edges, 233141 markings/sec, 10 secs
lola: 4786906 markings, 8449572 edges, 227399 markings/sec, 15 secs
lola: 5904211 markings, 10470982 edges, 223461 markings/sec, 20 secs
lola: 6993306 markings, 12444934 edges, 217819 markings/sec, 25 secs
lola: 8082910 markings, 14413572 edges, 217921 markings/sec, 30 secs
lola: 9174447 markings, 16388923 edges, 218307 markings/sec, 35 secs
lola: 10220732 markings, 18306162 edges, 209257 markings/sec, 40 secs
lola: 11275719 markings, 20228875 edges, 210997 markings/sec, 45 secs
lola: 12324912 markings, 22138180 edges, 209839 markings/sec, 50 secs
lola: 13355518 markings, 24021659 edges, 206121 markings/sec, 55 secs
lola: 14391473 markings, 25914085 edges, 207191 markings/sec, 60 secs
lola: 15425543 markings, 27805838 edges, 206814 markings/sec, 65 secs
lola: 16454476 markings, 29692596 edges, 205787 markings/sec, 70 secs
lola: 17504221 markings, 31597837 edges, 209949 markings/sec, 75 secs
lola: 18520494 markings, 33461794 edges, 203255 markings/sec, 80 secs
lola: 19530770 markings, 35321205 edges, 202055 markings/sec, 85 secs
lola: 20549827 markings, 37196609 edges, 203811 markings/sec, 90 secs
lola: 21560202 markings, 39067839 edges, 202075 markings/sec, 95 secs
lola: 22568540 markings, 40929120 edges, 201668 markings/sec, 100 secs
lola: 23567541 markings, 42779423 edges, 199800 markings/sec, 105 secs
lola: 24586079 markings, 44651155 edges, 203708 markings/sec, 110 secs
lola: 25583223 markings, 46497633 edges, 199429 markings/sec, 115 secs
lola: 26588495 markings, 48351619 edges, 201054 markings/sec, 120 secs
lola: 27573050 markings, 50178731 edges, 196911 markings/sec, 125 secs
lola: 28565194 markings, 52014542 edges, 198429 markings/sec, 130 secs
lola: 29559689 markings, 53853924 edges, 198899 markings/sec, 135 secs
lola: 30558902 markings, 55706995 edges, 199843 markings/sec, 140 secs
lola: 31554254 markings, 57558480 edges, 199070 markings/sec, 145 secs
lola: 32542883 markings, 59391723 edges, 197726 markings/sec, 150 secs
lola: 33520304 markings, 61202279 edges, 195484 markings/sec, 155 secs
lola: 34494397 markings, 63011485 edges, 194819 markings/sec, 160 secs
lola: 35464831 markings, 64819083 edges, 194087 markings/sec, 165 secs
lola: 36440125 markings, 66631495 edges, 195059 markings/sec, 170 secs
lola: 37404644 markings, 68434402 edges, 192904 markings/sec, 175 secs
lola: 38385463 markings, 70257148 edges, 196164 markings/sec, 180 secs
lola: 39349063 markings, 72060231 edges, 192720 markings/sec, 185 secs
lola: 40325887 markings, 73874525 edges, 195365 markings/sec, 190 secs
lola: 41287272 markings, 75665989 edges, 192277 markings/sec, 195 secs
lola: 42234869 markings, 77438105 edges, 189519 markings/sec, 200 secs
lola: 43202080 markings, 79246096 edges, 193442 markings/sec, 205 secs
lola: 44184518 markings, 81066408 edges, 196488 markings/sec, 210 secs
lola: 45135694 markings, 82851707 edges, 190235 markings/sec, 215 secs
lola: 46090010 markings, 84628754 edges, 190863 markings/sec, 220 secs
lola: 47046091 markings, 86409479 edges, 191216 markings/sec, 225 secs
lola: 48016387 markings, 88210026 edges, 194059 markings/sec, 230 secs
lola: 48952967 markings, 89980176 edges, 187316 markings/sec, 235 secs
lola: 49898435 markings, 91759928 edges, 189094 markings/sec, 240 secs
lola: 50832625 markings, 93510055 edges, 186838 markings/sec, 245 secs
lola: 51771091 markings, 95268121 edges, 187693 markings/sec, 250 secs
lola: 52727597 markings, 97052600 edges, 191301 markings/sec, 255 secs
lola: 53696876 markings, 98854503 edges, 193856 markings/sec, 260 secs
lola: 54638156 markings, 100626947 edges, 188256 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 15 15 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 15 15 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5473280 KB
lola: time consumption: 276 seconds
lola: memory consumption: 5473588 KB
lola: time consumption: 277 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStar)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 106 markings, 120 edges
lola: ========================================

FORMULA Angiogenesis-PT-15-UpperBounds-4 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: 1247466 markings, 2301713 edges, 249493 markings/sec, 0 secs
lola: 2423062 markings, 4470652 edges, 235119 markings/sec, 5 secs
lola: 3572962 markings, 6595399 edges, 229980 markings/sec, 10 secs
lola: 4689779 markings, 8673293 edges, 223363 markings/sec, 15 secs
lola: 5779804 markings, 10721375 edges, 218005 markings/sec, 20 secs
lola: 6854215 markings, 12760332 edges, 214882 markings/sec, 25 secs
lola: 7916355 markings, 14785532 edges, 212428 markings/sec, 30 secs
lola: 8965582 markings, 16797096 edges, 209845 markings/sec, 35 secs
lola: 10006330 markings, 18799939 edges, 208150 markings/sec, 40 secs
lola: 11031712 markings, 20781762 edges, 205076 markings/sec, 45 secs
lola: 12046881 markings, 22757823 edges, 203034 markings/sec, 50 secs
lola: 13045235 markings, 24703848 edges, 199671 markings/sec, 55 secs
lola: 14044557 markings, 26648366 edges, 199864 markings/sec, 60 secs
lola: 15039647 markings, 28590817 edges, 199018 markings/sec, 65 secs
lola: 16009154 markings, 30505532 edges, 193901 markings/sec, 70 secs
lola: 16980125 markings, 32418530 edges, 194194 markings/sec, 75 secs
lola: 17942334 markings, 34329361 edges, 192442 markings/sec, 80 secs
lola: 18906875 markings, 36229993 edges, 192908 markings/sec, 85 secs
lola: 19854173 markings, 38106427 edges, 189460 markings/sec, 90 secs
lola: 20800730 markings, 39998494 edges, 189311 markings/sec, 95 secs
lola: 21748945 markings, 41880145 edges, 189643 markings/sec, 100 secs
lola: 22688778 markings, 43755451 edges, 187967 markings/sec, 105 secs
lola: 23639315 markings, 45636550 edges, 190107 markings/sec, 110 secs
lola: 24574415 markings, 47501905 edges, 187020 markings/sec, 115 secs
lola: 25500029 markings, 49364659 edges, 185123 markings/sec, 120 secs
lola: 26425369 markings, 51221663 edges, 185068 markings/sec, 125 secs
lola: 27345065 markings, 53075033 edges, 183939 markings/sec, 130 secs
lola: 28265417 markings, 54929692 edges, 184070 markings/sec, 135 secs
lola: 29170182 markings, 56766467 edges, 180953 markings/sec, 140 secs
lola: 30071116 markings, 58604241 edges, 180187 markings/sec, 145 secs
lola: 30979152 markings, 60443670 edges, 181607 markings/sec, 150 secs
lola: 31884063 markings, 62279849 edges, 180982 markings/sec, 155 secs
lola: 32780494 markings, 64100838 edges, 179286 markings/sec, 160 secs
lola: 33666018 markings, 65912134 edges, 177105 markings/sec, 165 secs
lola: 34558617 markings, 67732218 edges, 178520 markings/sec, 170 secs
lola: 35460559 markings, 69562192 edges, 180388 markings/sec, 175 secs
lola: 36339591 markings, 71361905 edges, 175806 markings/sec, 180 secs
lola: 37233186 markings, 73181368 edges, 178719 markings/sec, 185 secs
lola: 38112586 markings, 74983086 edges, 175880 markings/sec, 190 secs
lola: 38996479 markings, 76786405 edges, 176779 markings/sec, 195 secs
lola: 39880848 markings, 78592022 edges, 176874 markings/sec, 200 secs
lola: 40742680 markings, 80363049 edges, 172366 markings/sec, 205 secs
lola: 41606706 markings, 82137376 edges, 172805 markings/sec, 210 secs
lola: 42472563 markings, 83912842 edges, 173171 markings/sec, 215 secs
lola: 43344716 markings, 85704717 edges, 174431 markings/sec, 220 secs
lola: 44213562 markings, 87492842 edges, 173769 markings/sec, 225 secs
lola: 45084851 markings, 89278508 edges, 174258 markings/sec, 230 secs
lola: 45944142 markings, 91045229 edges, 171858 markings/sec, 235 secs
lola: 46812891 markings, 92835915 edges, 173750 markings/sec, 240 secs
lola: 47672792 markings, 94614684 edges, 171980 markings/sec, 245 secs
lola: 48530632 markings, 96385830 edges, 171568 markings/sec, 250 secs
lola: 49371155 markings, 98133826 edges, 168105 markings/sec, 255 secs
lola: 50225463 markings, 99890787 edges, 170862 markings/sec, 260 secs
lola: 51079903 markings, 101655367 edges, 170888 markings/sec, 265 secs
lola: 51922662 markings, 103406019 edges, 168552 markings/sec, 270 secs
lola: 52760035 markings, 105146653 edges, 167475 markings/sec, 275 secs
lola: 53584709 markings, 106861817 edges, 164935 markings/sec, 280 secs
lola: 54433648 markings, 108618022 edges, 169788 markings/sec, 285 secs
lola: 55271891 markings, 110365739 edges, 167649 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 15 15 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5950760 KB
lola: time consumption: 595 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 15 15 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5976684 KB
lola: time consumption: 598 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStar)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 106 markings, 120 edges

FORMULA Angiogenesis-PT-15-UpperBounds-6 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPg)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 46 markings, 59 edges
lola: ========================================

FORMULA Angiogenesis-PT-15-UpperBounds-7 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 8 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pip3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pip3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: 1232034 markings, 2319407 edges, 246407 markings/sec, 0 secs
lola: 2376539 markings, 4546600 edges, 228901 markings/sec, 5 secs
lola: 3480739 markings, 6723642 edges, 220840 markings/sec, 10 secs
lola: 4549622 markings, 8869026 edges, 213777 markings/sec, 15 secs
lola: 5593339 markings, 10988973 edges, 208743 markings/sec, 20 secs
lola: 6644678 markings, 13108263 edges, 210268 markings/sec, 25 secs
lola: 7661386 markings, 15196412 edges, 203342 markings/sec, 30 secs
lola: 8666379 markings, 17270010 edges, 200999 markings/sec, 35 secs
lola: 9667284 markings, 19338322 edges, 200181 markings/sec, 40 secs
lola: 10659167 markings, 21395410 edges, 198377 markings/sec, 45 secs
lola: 11650936 markings, 23463104 edges, 198354 markings/sec, 50 secs
lola: 12636807 markings, 25510445 edges, 197174 markings/sec, 55 secs
lola: 13614326 markings, 27559147 edges, 195504 markings/sec, 60 secs
lola: 14574844 markings, 29590654 edges, 192104 markings/sec, 65 secs
lola: 15540415 markings, 31619883 edges, 193114 markings/sec, 70 secs
lola: 16507269 markings, 33649372 edges, 193371 markings/sec, 75 secs
lola: 17440366 markings, 35645559 edges, 186619 markings/sec, 80 secs
lola: 18385107 markings, 37646448 edges, 188948 markings/sec, 85 secs
lola: 19326286 markings, 39650498 edges, 188236 markings/sec, 90 secs
lola: 20268352 markings, 41657448 edges, 188413 markings/sec, 95 secs
lola: 21193228 markings, 43632905 edges, 184975 markings/sec, 100 secs
lola: 22121085 markings, 45623459 edges, 185571 markings/sec, 105 secs
lola: 23047898 markings, 47614253 edges, 185363 markings/sec, 110 secs
lola: 23956793 markings, 49572533 edges, 181779 markings/sec, 115 secs
lola: 24877756 markings, 51549082 edges, 184193 markings/sec, 120 secs
lola: 25779179 markings, 53512403 edges, 180285 markings/sec, 125 secs
lola: 26683860 markings, 55457482 edges, 180936 markings/sec, 130 secs
lola: 27590602 markings, 57408868 edges, 181348 markings/sec, 135 secs
lola: 28485263 markings, 59349500 edges, 178932 markings/sec, 140 secs
lola: 29385959 markings, 61298667 edges, 180139 markings/sec, 145 secs
lola: 30282728 markings, 63244920 edges, 179354 markings/sec, 150 secs
lola: 31176042 markings, 65172458 edges, 178663 markings/sec, 155 secs
lola: 32081188 markings, 67140832 edges, 181029 markings/sec, 160 secs
lola: 32959110 markings, 69064201 edges, 175584 markings/sec, 165 secs
lola: 33821691 markings, 70956116 edges, 172516 markings/sec, 170 secs
lola: 34716780 markings, 72906642 edges, 179018 markings/sec, 175 secs
lola: 35598992 markings, 74839402 edges, 176442 markings/sec, 180 secs
lola: 36473946 markings, 76769000 edges, 174991 markings/sec, 185 secs
lola: 37338706 markings, 78671416 edges, 172952 markings/sec, 190 secs
lola: 38227963 markings, 80609200 edges, 177851 markings/sec, 195 secs
lola: 39097814 markings, 82531307 edges, 173970 markings/sec, 200 secs
lola: 39963791 markings, 84430416 edges, 173195 markings/sec, 205 secs
lola: 40843821 markings, 86367077 edges, 176006 markings/sec, 210 secs
lola: 41710343 markings, 88267743 edges, 173304 markings/sec, 215 secs
lola: 42575913 markings, 90175411 edges, 173114 markings/sec, 220 secs
lola: 43441119 markings, 92084089 edges, 173041 markings/sec, 225 secs
lola: 44303059 markings, 93987203 edges, 172388 markings/sec, 230 secs
lola: 45178044 markings, 95904384 edges, 174997 markings/sec, 235 secs
lola: 46030705 markings, 97788041 edges, 170532 markings/sec, 240 secs
lola: 46887784 markings, 99677604 edges, 171416 markings/sec, 245 secs
lola: 47734833 markings, 101562506 edges, 169410 markings/sec, 250 secs
lola: 48581811 markings, 103442815 edges, 169396 markings/sec, 255 secs
lola: 49436670 markings, 105332043 edges, 170972 markings/sec, 260 secs
lola: 50293069 markings, 107225598 edges, 171280 markings/sec, 265 secs
lola: 51143766 markings, 109118916 edges, 170139 markings/sec, 270 secs
lola: 51990355 markings, 111006405 edges, 169318 markings/sec, 275 secs
lola: 52841399 markings, 112896346 edges, 170209 markings/sec, 280 secs
lola: 53696705 markings, 114792589 edges, 171061 markings/sec, 285 secs
lola: 54553239 markings, 116685639 edges, 171307 markings/sec, 290 secs
lola: 55391958 markings, 118562351 edges, 167744 markings/sec, 295 secs
lola: 56228195 markings, 120428491 edges, 167247 markings/sec, 300 secs
lola: 57062235 markings, 122286853 edges, 166808 markings/sec, 305 secs
lola: 57890782 markings, 124136967 edges, 165709 markings/sec, 310 secs
lola: 58724031 markings, 126002721 edges, 166650 markings/sec, 315 secs
lola: 59558650 markings, 127862519 edges, 166924 markings/sec, 320 secs
lola: 60378863 markings, 129702159 edges, 164043 markings/sec, 325 secs
lola: 61200297 markings, 131556041 edges, 164287 markings/sec, 330 secs
lola: 62032972 markings, 133413860 edges, 166535 markings/sec, 335 secs
lola: 62857612 markings, 135262494 edges, 164928 markings/sec, 340 secs
lola: 63677025 markings, 137107822 edges, 163883 markings/sec, 345 secs
lola: 64489858 markings, 138948390 edges, 162567 markings/sec, 350 secs
lola: 65312589 markings, 140804130 edges, 164546 markings/sec, 355 secs
lola: 66138811 markings, 142659069 edges, 165244 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7268400 KB
lola: time consumption: 986 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7279888 KB
lola: time consumption: 988 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pip3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pip3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: 1235303 markings, 2325912 edges, 247061 markings/sec, 0 secs
lola: 2372112 markings, 4538124 edges, 227362 markings/sec, 5 secs
lola: 3473433 markings, 6709487 edges, 220264 markings/sec, 10 secs
lola: 4543214 markings, 8855882 edges, 213956 markings/sec, 15 secs
lola: 5589579 markings, 10981712 edges, 209273 markings/sec, 20 secs
lola: 6646162 markings, 13111258 edges, 211317 markings/sec, 25 secs
lola: 7668944 markings, 15212460 edges, 204556 markings/sec, 30 secs
lola: 8670100 markings, 17278153 edges, 200231 markings/sec, 35 secs
lola: 9673120 markings, 19350209 edges, 200604 markings/sec, 40 secs
lola: 10664918 markings, 21407686 edges, 198360 markings/sec, 45 secs
lola: 11647643 markings, 23456440 edges, 196545 markings/sec, 50 secs
lola: 12632289 markings, 25500741 edges, 196929 markings/sec, 55 secs
lola: 13605795 markings, 27540911 edges, 194701 markings/sec, 60 secs
lola: 14559227 markings, 29558142 edges, 190686 markings/sec, 65 secs
lola: 15518419 markings, 31572304 edges, 191838 markings/sec, 70 secs
lola: 16478633 markings, 33589439 edges, 192043 markings/sec, 75 secs
lola: 17412396 markings, 35584787 edges, 186753 markings/sec, 80 secs
lola: 18353270 markings, 37578777 edges, 188175 markings/sec, 85 secs
lola: 19296843 markings, 39587749 edges, 188715 markings/sec, 90 secs
lola: 20236748 markings, 41589360 edges, 187981 markings/sec, 95 secs
lola: 21166770 markings, 43577710 edges, 186004 markings/sec, 100 secs
lola: 22089822 markings, 45557227 edges, 184610 markings/sec, 105 secs
lola: 23010953 markings, 47533461 edges, 184226 markings/sec, 110 secs
lola: 23920960 markings, 49498383 edges, 182001 markings/sec, 115 secs
lola: 24843607 markings, 51474699 edges, 184529 markings/sec, 120 secs
lola: 25739617 markings, 53426798 edges, 179202 markings/sec, 125 secs
lola: 26651215 markings, 55391061 edges, 182320 markings/sec, 130 secs
lola: 27558520 markings, 57342078 edges, 181461 markings/sec, 135 secs
lola: 28450538 markings, 59273527 edges, 178404 markings/sec, 140 secs
lola: 29348385 markings, 61216785 edges, 179569 markings/sec, 145 secs
lola: 30250984 markings, 63176089 edges, 180520 markings/sec, 150 secs
lola: 31149092 markings, 65114472 edges, 179622 markings/sec, 155 secs
lola: 32045432 markings, 67062330 edges, 179268 markings/sec, 160 secs
lola: 32936603 markings, 69014220 edges, 178234 markings/sec, 165 secs
lola: 33817073 markings, 70946348 edges, 176094 markings/sec, 170 secs
lola: 34716042 markings, 72904822 edges, 179794 markings/sec, 175 secs
lola: 35597811 markings, 74836765 edges, 176354 markings/sec, 180 secs
lola: 36472546 markings, 76765726 edges, 174947 markings/sec, 185 secs
lola: 37343933 markings, 78682421 edges, 174277 markings/sec, 190 secs
lola: 38231280 markings, 80616826 edges, 177469 markings/sec, 195 secs
lola: 39105336 markings, 82546995 edges, 174811 markings/sec, 200 secs
lola: 39977991 markings, 84462345 edges, 174531 markings/sec, 205 secs
lola: 40857569 markings, 86397611 edges, 175916 markings/sec, 210 secs
lola: 41729274 markings, 88308645 edges, 174341 markings/sec, 215 secs
lola: 42590805 markings, 90207511 edges, 172306 markings/sec, 220 secs
lola: 43453824 markings, 92113109 edges, 172604 markings/sec, 225 secs
lola: 44319946 markings, 94024657 edges, 173224 markings/sec, 230 secs
lola: 45194545 markings, 95939338 edges, 174920 markings/sec, 235 secs
lola: 46049158 markings, 97830511 edges, 170923 markings/sec, 240 secs
lola: 46905032 markings, 99715750 edges, 171175 markings/sec, 245 secs
lola: 47754597 markings, 101607210 edges, 169913 markings/sec, 250 secs
lola: 48599837 markings, 103482135 edges, 169048 markings/sec, 255 secs
lola: 49458711 markings, 105380655 edges, 171775 markings/sec, 260 secs
lola: 50319737 markings, 107286216 edges, 172205 markings/sec, 265 secs
lola: 51172476 markings, 109183854 edges, 170548 markings/sec, 270 secs
lola: 52018889 markings, 111074527 edges, 169283 markings/sec, 275 secs
lola: 52879593 markings, 112978688 edges, 172141 markings/sec, 280 secs
lola: 53734974 markings, 114878386 edges, 171076 markings/sec, 285 secs
lola: 54593926 markings, 116778306 edges, 171790 markings/sec, 290 secs
lola: 55438007 markings, 118665993 edges, 168816 markings/sec, 295 secs
lola: 56281742 markings, 120545991 edges, 168747 markings/sec, 300 secs
lola: 57125729 markings, 122433142 edges, 168797 markings/sec, 305 secs
lola: 57974007 markings, 124319199 edges, 169656 markings/sec, 310 secs
lola: 58810584 markings, 126197788 edges, 167315 markings/sec, 315 secs
lola: 59651531 markings, 128067932 edges, 168189 markings/sec, 320 secs
lola: 60485641 markings, 129941957 edges, 166822 markings/sec, 325 secs
lola: 61313835 markings, 131805314 edges, 165639 markings/sec, 330 secs
lola: 62150666 markings, 133676576 edges, 167366 markings/sec, 335 secs
lola: 62978990 markings, 135543840 edges, 165665 markings/sec, 340 secs
lola: 63811105 markings, 137415013 edges, 166423 markings/sec, 345 secs
lola: 64631750 markings, 139271641 edges, 164129 markings/sec, 350 secs
lola: 65470331 markings, 141153799 edges, 167716 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7223656 KB
lola: time consumption: 1374 seconds
lola: memory consumption: 7224148 KB
lola: time consumption: 1374 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3kP3)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 934341 markings, 1695669 edges

FORMULA Angiogenesis-PT-15-UpperBounds-10 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 433 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStar)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 106 markings, 120 edges

FORMULA Angiogenesis-PT-15-UpperBounds-11 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStar)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 31 markings, 30 edges
lola: ========================================

FORMULA Angiogenesis-PT-15-UpperBounds-12 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 723 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPg)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 46 markings, 59 edges
lola: ========================================

FORMULA Angiogenesis-PT-15-UpperBounds-13 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1084 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: 1241526 markings, 2291110 edges, 248305 markings/sec, 0 secs
lola: 2414399 markings, 4453080 edges, 234575 markings/sec, 5 secs
lola: 3561042 markings, 6573321 edges, 229329 markings/sec, 10 secs
lola: 4682393 markings, 8659687 edges, 224270 markings/sec, 15 secs
lola: 5783087 markings, 10727652 edges, 220139 markings/sec, 20 secs
lola: 6874304 markings, 12796914 edges, 218243 markings/sec, 25 secs
lola: 7940934 markings, 14832820 edges, 213326 markings/sec, 30 secs
lola: 8998285 markings, 16859875 edges, 211470 markings/sec, 35 secs
lola: 10034341 markings, 18855038 edges, 207211 markings/sec, 40 secs
lola: 11063752 markings, 20842687 edges, 205882 markings/sec, 45 secs
lola: 12077149 markings, 22818931 edges, 202679 markings/sec, 50 secs
lola: 13081426 markings, 24772479 edges, 200855 markings/sec, 55 secs
lola: 14078168 markings, 26714886 edges, 199348 markings/sec, 60 secs
lola: 15075415 markings, 28658757 edges, 199449 markings/sec, 65 secs
lola: 16052727 markings, 30593054 edges, 195462 markings/sec, 70 secs
lola: 17030898 markings, 32518857 edges, 195634 markings/sec, 75 secs
lola: 17998653 markings, 34440509 edges, 193551 markings/sec, 80 secs
lola: 18968382 markings, 36352120 edges, 193946 markings/sec, 85 secs
lola: 19924623 markings, 38248220 edges, 191248 markings/sec, 90 secs
lola: 20879606 markings, 40153736 edges, 190997 markings/sec, 95 secs
lola: 21835997 markings, 42053011 edges, 191278 markings/sec, 100 secs
lola: 22769346 markings, 43919385 edges, 186670 markings/sec, 105 secs
lola: 23721778 markings, 45799907 edges, 190486 markings/sec, 110 secs
lola: 24666540 markings, 47686675 edges, 188952 markings/sec, 115 secs
lola: 25596931 markings, 49557895 edges, 186078 markings/sec, 120 secs
lola: 26524236 markings, 51420230 edges, 185461 markings/sec, 125 secs
lola: 27444008 markings, 53274877 edges, 183954 markings/sec, 130 secs
lola: 28358917 markings, 55119431 edges, 182982 markings/sec, 135 secs
lola: 29252186 markings, 56935811 edges, 178654 markings/sec, 140 secs
lola: 30157372 markings, 58775752 edges, 181037 markings/sec, 145 secs
lola: 31069632 markings, 60625037 edges, 182452 markings/sec, 150 secs
lola: 31969546 markings, 62452641 edges, 179983 markings/sec, 155 secs
lola: 32872800 markings, 64287316 edges, 180651 markings/sec, 160 secs
lola: 33771700 markings, 66126379 edges, 179780 markings/sec, 165 secs
lola: 34661147 markings, 67939451 edges, 177889 markings/sec, 170 secs
lola: 35567767 markings, 69779769 edges, 181324 markings/sec, 175 secs
lola: 36456439 markings, 71598992 edges, 177734 markings/sec, 180 secs
lola: 37341119 markings, 73403888 edges, 176936 markings/sec, 185 secs
lola: 38220941 markings, 75203996 edges, 175964 markings/sec, 190 secs
lola: 39106693 markings, 77015178 edges, 177150 markings/sec, 195 secs
lola: 39993236 markings, 78822878 edges, 177309 markings/sec, 200 secs
lola: 40872512 markings, 80629463 edges, 175855 markings/sec, 205 secs
lola: 41750826 markings, 82433801 edges, 175663 markings/sec, 210 secs
lola: 42628834 markings, 84228437 edges, 175602 markings/sec, 215 secs
lola: 43500380 markings, 86029255 edges, 174309 markings/sec, 220 secs
lola: 44377272 markings, 87832048 edges, 175378 markings/sec, 225 secs
lola: 45261145 markings, 89639471 edges, 176775 markings/sec, 230 secs
lola: 46137384 markings, 91434998 edges, 175248 markings/sec, 235 secs
lola: 46995711 markings, 93224747 edges, 171665 markings/sec, 240 secs
lola: 47869641 markings, 95023333 edges, 174786 markings/sec, 245 secs
lola: 48734226 markings, 96807445 edges, 172917 markings/sec, 250 secs
lola: 49595292 markings, 98588855 edges, 172213 markings/sec, 255 secs
lola: 50454113 markings, 100364293 edges, 171764 markings/sec, 260 secs
lola: 51314461 markings, 102142690 edges, 172070 markings/sec, 265 secs
lola: 52170245 markings, 103912153 edges, 171157 markings/sec, 270 secs
lola: 53012888 markings, 105671885 edges, 168529 markings/sec, 275 secs
lola: 53868192 markings, 107445169 edges, 171061 markings/sec, 280 secs
lola: 54732897 markings, 109234139 edges, 172941 markings/sec, 285 secs
lola: 55570725 markings, 110983804 edges, 167566 markings/sec, 290 secs
lola: 56420798 markings, 112742315 edges, 170015 markings/sec, 295 secs
lola: 57255705 markings, 114495441 edges, 166981 markings/sec, 300 secs
lola: 58088550 markings, 116238269 edges, 166569 markings/sec, 305 secs
lola: 58928471 markings, 117980323 edges, 167984 markings/sec, 310 secs
lola: 59767941 markings, 119729544 edges, 167894 markings/sec, 315 secs
lola: 60603371 markings, 121481319 edges, 167086 markings/sec, 320 secs
lola: 61443058 markings, 123233920 edges, 167937 markings/sec, 325 secs
lola: 62273146 markings, 124977006 edges, 166018 markings/sec, 330 secs
lola: 63096936 markings, 126704313 edges, 164758 markings/sec, 335 secs
lola: 63932344 markings, 128444288 edges, 167082 markings/sec, 340 secs
lola: 64773279 markings, 130188323 edges, 168187 markings/sec, 345 secs
lola: 65614196 markings, 131940418 edges, 168183 markings/sec, 350 secs
lola: 66443845 markings, 133675605 edges, 165930 markings/sec, 355 secs
lola: 67269569 markings, 135405223 edges, 165145 markings/sec, 360 secs
lola: 68086442 markings, 137134506 edges, 163375 markings/sec, 365 secs
lola: 68906050 markings, 138852546 edges, 163922 markings/sec, 370 secs
lola: 69727158 markings, 140570464 edges, 164222 markings/sec, 375 secs
lola: 70562995 markings, 142306069 edges, 167167 markings/sec, 380 secs
lola: 71385287 markings, 144036134 edges, 164458 markings/sec, 385 secs
lola: 72192865 markings, 145748436 edges, 161516 markings/sec, 390 secs
lola: 73001125 markings, 147450628 edges, 161652 markings/sec, 395 secs
lola: 73832730 markings, 149185179 edges, 166321 markings/sec, 400 secs
lola: 74641091 markings, 150895237 edges, 161672 markings/sec, 405 secs
lola: 75447831 markings, 152601262 edges, 161348 markings/sec, 410 secs
lola: 76244659 markings, 154295323 edges, 159366 markings/sec, 415 secs
lola: 77060165 markings, 156010837 edges, 163101 markings/sec, 420 secs
lola: 77865363 markings, 157712855 edges, 161040 markings/sec, 425 secs
lola: 78674787 markings, 159417016 edges, 161885 markings/sec, 430 secs
lola: 79486019 markings, 161127511 edges, 162246 markings/sec, 435 secs
lola: 80275509 markings, 162808113 edges, 157898 markings/sec, 440 secs
lola: 81070712 markings, 164493867 edges, 159041 markings/sec, 445 secs
lola: 81884547 markings, 166211438 edges, 162767 markings/sec, 450 secs
lola: 82690314 markings, 167901154 edges, 161153 markings/sec, 455 secs
lola: 83484480 markings, 169583557 edges, 158833 markings/sec, 460 secs
lola: 84270267 markings, 171258091 edges, 157157 markings/sec, 465 secs
lola: 85063758 markings, 172940933 edges, 158698 markings/sec, 470 secs
lola: 85868546 markings, 174637558 edges, 160958 markings/sec, 475 secs
lola: 86662654 markings, 176323090 edges, 158822 markings/sec, 480 secs
lola: 87460279 markings, 178005342 edges, 159525 markings/sec, 485 secs
lola: 88259647 markings, 179697734 edges, 159874 markings/sec, 490 secs
lola: 89052691 markings, 181376473 edges, 158609 markings/sec, 495 secs
lola: 89847422 markings, 183063220 edges, 158946 markings/sec, 500 secs
lola: 90628008 markings, 184724332 edges, 156117 markings/sec, 505 secs
lola: 91404592 markings, 186389398 edges, 155317 markings/sec, 510 secs
lola: 92185748 markings, 188055305 edges, 156231 markings/sec, 515 secs
lola: 92979906 markings, 189735109 edges, 158832 markings/sec, 520 secs
lola: 93759226 markings, 191396716 edges, 155864 markings/sec, 525 secs
lola: 94544494 markings, 193059205 edges, 157054 markings/sec, 530 secs
lola: 95339645 markings, 194742730 edges, 159030 markings/sec, 535 secs
lola: 96118029 markings, 196404811 edges, 155677 markings/sec, 540 secs
lola: 96891008 markings, 198064132 edges, 154596 markings/sec, 545 secs
lola: 97669076 markings, 199723704 edges, 155614 markings/sec, 550 secs
lola: 98455046 markings, 201395382 edges, 157194 markings/sec, 555 secs
lola: 99232796 markings, 203058622 edges, 155550 markings/sec, 560 secs
lola: 100014596 markings, 204717368 edges, 156360 markings/sec, 565 secs
lola: 100798813 markings, 206391587 edges, 156843 markings/sec, 570 secs
lola: 101583989 markings, 208059980 edges, 157035 markings/sec, 575 secs
lola: 102353135 markings, 209713573 edges, 153829 markings/sec, 580 secs
lola: 103132306 markings, 211378741 edges, 155834 markings/sec, 585 secs
lola: 103916103 markings, 213038487 edges, 156759 markings/sec, 590 secs
lola: 104690727 markings, 214701624 edges, 154925 markings/sec, 595 secs
lola: 105466964 markings, 216357595 edges, 155247 markings/sec, 600 secs
lola: 106242753 markings, 218010507 edges, 155158 markings/sec, 605 secs
lola: 107023451 markings, 219673858 edges, 156140 markings/sec, 610 secs
lola: 107807914 markings, 221340101 edges, 156893 markings/sec, 615 secs
lola: 108581937 markings, 222996435 edges, 154805 markings/sec, 620 secs
lola: 109363615 markings, 224663771 edges, 156336 markings/sec, 625 secs
lola: 110137322 markings, 226315905 edges, 154741 markings/sec, 630 secs
lola: 110905520 markings, 227959462 edges, 153640 markings/sec, 635 secs
lola: 111657243 markings, 229581549 edges, 150345 markings/sec, 640 secs
lola: 112432213 markings, 231237284 edges, 154994 markings/sec, 645 secs
lola: 113198480 markings, 232882487 edges, 153253 markings/sec, 650 secs
lola: 113978890 markings, 234540197 edges, 156082 markings/sec, 655 secs
lola: 114745229 markings, 236182257 edges, 153268 markings/sec, 660 secs
lola: 115528840 markings, 237844976 edges, 156722 markings/sec, 665 secs
lola: 116287615 markings, 239477399 edges, 151755 markings/sec, 670 secs
lola: 117060049 markings, 241128214 edges, 154487 markings/sec, 675 secs
lola: 117827054 markings, 242766708 edges, 153401 markings/sec, 680 secs
lola: 118590005 markings, 244403963 edges, 152590 markings/sec, 685 secs
lola: 119361401 markings, 246053673 edges, 154279 markings/sec, 690 secs
lola: 120119096 markings, 247685513 edges, 151539 markings/sec, 695 secs
lola: 120872984 markings, 249318711 edges, 150778 markings/sec, 700 secs
lola: 121624286 markings, 250944887 edges, 150260 markings/sec, 705 secs
lola: 122379843 markings, 252559461 edges, 151111 markings/sec, 710 secs
lola: 123126457 markings, 254173876 edges, 149323 markings/sec, 715 secs
lola: 123872839 markings, 255791918 edges, 149276 markings/sec, 720 secs
lola: 124629912 markings, 257420761 edges, 151415 markings/sec, 725 secs
lola: 125387780 markings, 259040525 edges, 151574 markings/sec, 730 secs
lola: 126125066 markings, 260646323 edges, 147457 markings/sec, 735 secs
lola: 126881438 markings, 262266429 edges, 151274 markings/sec, 740 secs
lola: 127631040 markings, 263885305 edges, 149920 markings/sec, 745 secs
lola: 128393213 markings, 265529518 edges, 152435 markings/sec, 750 secs
lola: 129159704 markings, 267179064 edges, 153298 markings/sec, 755 secs
lola: 129905628 markings, 268800061 edges, 149185 markings/sec, 760 secs
lola: 130663192 markings, 270433029 edges, 151513 markings/sec, 765 secs
lola: 131421443 markings, 272063213 edges, 151650 markings/sec, 770 secs
lola: 132176086 markings, 273684962 edges, 150929 markings/sec, 775 secs
lola: 132937146 markings, 275308068 edges, 152212 markings/sec, 780 secs
lola: 133688420 markings, 276930547 edges, 150255 markings/sec, 785 secs
lola: 134430298 markings, 278539450 edges, 148376 markings/sec, 790 secs
lola: 135170852 markings, 280159757 edges, 148111 markings/sec, 795 secs
lola: 135919336 markings, 281779471 edges, 149697 markings/sec, 800 secs
lola: 136670229 markings, 283399755 edges, 150179 markings/sec, 805 secs
lola: 137421529 markings, 285022119 edges, 150260 markings/sec, 810 secs
lola: 138164484 markings, 286625425 edges, 148591 markings/sec, 815 secs
lola: 138916522 markings, 288241657 edges, 150408 markings/sec, 820 secs
lola: 139663759 markings, 289860925 edges, 149447 markings/sec, 825 secs
lola: 140409640 markings, 291471731 edges, 149176 markings/sec, 830 secs
lola: 141160425 markings, 293090766 edges, 150157 markings/sec, 835 secs
lola: 141901473 markings, 294698012 edges, 148210 markings/sec, 840 secs
lola: 142645990 markings, 296310245 edges, 148903 markings/sec, 845 secs
lola: 143386151 markings, 297915452 edges, 148032 markings/sec, 850 secs
lola: 144115437 markings, 299508732 edges, 145857 markings/sec, 855 secs
lola: 144863230 markings, 301114471 edges, 149559 markings/sec, 860 secs
lola: 145595889 markings, 302706880 edges, 146532 markings/sec, 865 secs
lola: 146347346 markings, 304318655 edges, 150291 markings/sec, 870 secs
lola: 147102468 markings, 305957728 edges, 151024 markings/sec, 875 secs
lola: 147861906 markings, 307581558 edges, 151888 markings/sec, 880 secs
lola: 148598905 markings, 309181319 edges, 147400 markings/sec, 885 secs
lola: 149131830 markings, 310335811 edges, 106585 markings/sec, 890 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP3P2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 7
lola: 1021659 markings, 2066567 edges, 204332 markings/sec, 0 secs
lola: 2078510 markings, 4321773 edges, 211370 markings/sec, 5 secs
lola: 3058932 markings, 6470205 edges, 196084 markings/sec, 10 secs
lola: 4002261 markings, 8559329 edges, 188666 markings/sec, 15 secs
lola: 4913031 markings, 10589743 edges, 182154 markings/sec, 20 secs
lola: 5810329 markings, 12607423 edges, 179460 markings/sec, 25 secs
lola: 6689431 markings, 14591666 edges, 175820 markings/sec, 30 secs
lola: 7557561 markings, 16548226 edges, 173626 markings/sec, 35 secs
lola: 8406287 markings, 18482957 edges, 169745 markings/sec, 40 secs
lola: 9248163 markings, 20408308 edges, 168375 markings/sec, 45 secs
lola: 10070031 markings, 22305922 edges, 164374 markings/sec, 50 secs
lola: 10893575 markings, 24191380 edges, 164709 markings/sec, 55 secs
lola: 11702944 markings, 26066340 edges, 161874 markings/sec, 60 secs
lola: 12512492 markings, 27936594 edges, 161910 markings/sec, 65 secs
lola: 13309200 markings, 29788227 edges, 159342 markings/sec, 70 secs
lola: 14092573 markings, 31625152 edges, 156675 markings/sec, 75 secs
lola: 14872302 markings, 33443810 edges, 155946 markings/sec, 80 secs
lola: 15651149 markings, 35263382 edges, 155769 markings/sec, 85 secs
lola: 16424995 markings, 37064479 edges, 154769 markings/sec, 90 secs
lola: 17194935 markings, 38866510 edges, 153988 markings/sec, 95 secs
lola: 17958768 markings, 40665463 edges, 152767 markings/sec, 100 secs
lola: 18722942 markings, 42458594 edges, 152835 markings/sec, 105 secs
lola: 19480198 markings, 44238957 edges, 151451 markings/sec, 110 secs
lola: 20225845 markings, 46015905 edges, 149129 markings/sec, 115 secs
lola: 20966707 markings, 47774571 edges, 148172 markings/sec, 120 secs
lola: 21715158 markings, 49537817 edges, 149690 markings/sec, 125 secs
lola: 22454360 markings, 51296663 edges, 147840 markings/sec, 130 secs
lola: 23186660 markings, 53044543 edges, 146460 markings/sec, 135 secs
lola: 23916304 markings, 54786860 edges, 145929 markings/sec, 140 secs
lola: 24649644 markings, 56522838 edges, 146668 markings/sec, 145 secs
lola: 25378546 markings, 58253957 edges, 145780 markings/sec, 150 secs
lola: 26098351 markings, 59983103 edges, 143961 markings/sec, 155 secs
lola: 26820517 markings, 61701271 edges, 144433 markings/sec, 160 secs
lola: 27541869 markings, 63409263 edges, 144270 markings/sec, 165 secs
lola: 28256514 markings, 65112265 edges, 142929 markings/sec, 170 secs
lola: 28969243 markings, 66813720 edges, 142546 markings/sec, 175 secs
lola: 29675875 markings, 68504205 edges, 141326 markings/sec, 180 secs
lola: 30387734 markings, 70197492 edges, 142372 markings/sec, 185 secs
lola: 31093244 markings, 71886000 edges, 141102 markings/sec, 190 secs
lola: 31801427 markings, 73580005 edges, 141637 markings/sec, 195 secs
lola: 32498020 markings, 75266964 edges, 139319 markings/sec, 200 secs
lola: 33200986 markings, 76954294 edges, 140593 markings/sec, 205 secs
lola: 33904397 markings, 78635169 edges, 140682 markings/sec, 210 secs
lola: 34602617 markings, 80305675 edges, 139644 markings/sec, 215 secs
lola: 35293973 markings, 81978159 edges, 138271 markings/sec, 220 secs
lola: 35982529 markings, 83644077 edges, 137711 markings/sec, 225 secs
lola: 36672502 markings, 85308489 edges, 137995 markings/sec, 230 secs
lola: 37360910 markings, 86967576 edges, 137682 markings/sec, 235 secs
lola: 38050442 markings, 88621540 edges, 137906 markings/sec, 240 secs
lola: 38738309 markings, 90278055 edges, 137573 markings/sec, 245 secs
lola: 39415777 markings, 91917925 edges, 135494 markings/sec, 250 secs
lola: 40098409 markings, 93563365 edges, 136526 markings/sec, 255 secs
lola: 40775350 markings, 95202162 edges, 135388 markings/sec, 260 secs
lola: 41458343 markings, 96849363 edges, 136599 markings/sec, 265 secs
lola: 42137331 markings, 98492359 edges, 135798 markings/sec, 270 secs
lola: 42821946 markings, 100140442 edges, 136923 markings/sec, 275 secs
lola: 43497802 markings, 101780652 edges, 135171 markings/sec, 280 secs
lola: 44172237 markings, 103410290 edges, 134887 markings/sec, 285 secs
lola: 44840700 markings, 105037526 edges, 133693 markings/sec, 290 secs
lola: 45502680 markings, 106653202 edges, 132396 markings/sec, 295 secs
lola: 46166093 markings, 108265739 edges, 132683 markings/sec, 300 secs
lola: 46826852 markings, 109885362 edges, 132152 markings/sec, 305 secs
lola: 47493888 markings, 111500794 edges, 133407 markings/sec, 310 secs
lola: 48157436 markings, 113106885 edges, 132710 markings/sec, 315 secs
lola: 48818886 markings, 114715333 edges, 132290 markings/sec, 320 secs
lola: 49476766 markings, 116319146 edges, 131576 markings/sec, 325 secs
lola: 50136687 markings, 117928148 edges, 131984 markings/sec, 330 secs
lola: 50794649 markings, 119530899 edges, 131592 markings/sec, 335 secs
lola: 51450263 markings, 121135268 edges, 131123 markings/sec, 340 secs
lola: 52105014 markings, 122738044 edges, 130950 markings/sec, 345 secs
lola: 52757822 markings, 124332530 edges, 130562 markings/sec, 350 secs
lola: 53410014 markings, 125924768 edges, 130438 markings/sec, 355 secs
lola: 54062090 markings, 127517062 edges, 130415 markings/sec, 360 secs
lola: 54714308 markings, 129110945 edges, 130444 markings/sec, 365 secs
lola: 55366679 markings, 130702073 edges, 130474 markings/sec, 370 secs
lola: 56009845 markings, 132287025 edges, 128633 markings/sec, 375 secs
lola: 56644435 markings, 133848751 edges, 126918 markings/sec, 380 secs
lola: 57286240 markings, 135428816 edges, 128361 markings/sec, 385 secs
lola: 57922272 markings, 136985208 edges, 127206 markings/sec, 390 secs
lola: 58553934 markings, 138546007 edges, 126332 markings/sec, 395 secs
lola: 59193826 markings, 140121838 edges, 127978 markings/sec, 400 secs
lola: 59835292 markings, 141698922 edges, 128293 markings/sec, 405 secs
lola: 60474232 markings, 143266991 edges, 127788 markings/sec, 410 secs
lola: 61113335 markings, 144839582 edges, 127821 markings/sec, 415 secs
lola: 61744391 markings, 146401033 edges, 126211 markings/sec, 420 secs
lola: 62382030 markings, 147966245 edges, 127528 markings/sec, 425 secs
lola: 63015258 markings, 149532262 edges, 126646 markings/sec, 430 secs
lola: 63648625 markings, 151097600 edges, 126673 markings/sec, 435 secs
lola: 64279698 markings, 152656566 edges, 126215 markings/sec, 440 secs
lola: 64914290 markings, 154222640 edges, 126918 markings/sec, 445 secs
lola: 65545802 markings, 155779786 edges, 126302 markings/sec, 450 secs
lola: 66175576 markings, 157334388 edges, 125955 markings/sec, 455 secs
lola: 66804244 markings, 158887185 edges, 125734 markings/sec, 460 secs
lola: 67434056 markings, 160434844 edges, 125962 markings/sec, 465 secs
lola: 68061660 markings, 161973097 edges, 125521 markings/sec, 470 secs
lola: 68684979 markings, 163511546 edges, 124664 markings/sec, 475 secs
lola: 69312264 markings, 165062534 edges, 125457 markings/sec, 480 secs
lola: 69937437 markings, 166602500 edges, 125035 markings/sec, 485 secs
lola: 70561693 markings, 168143783 edges, 124851 markings/sec, 490 secs
lola: 71181912 markings, 169682634 edges, 124044 markings/sec, 495 secs
lola: 71809363 markings, 171227664 edges, 125490 markings/sec, 500 secs
lola: 72434493 markings, 172763235 edges, 125026 markings/sec, 505 secs
lola: 73053996 markings, 174298510 edges, 123901 markings/sec, 510 secs
lola: 73677631 markings, 175835998 edges, 124727 markings/sec, 515 secs
lola: 74298776 markings, 177362747 edges, 124229 markings/sec, 520 secs
lola: 74919959 markings, 178902460 edges, 124237 markings/sec, 525 secs
lola: 75537280 markings, 180432186 edges, 123464 markings/sec, 530 secs
lola: 76155684 markings, 181969329 edges, 123681 markings/sec, 535 secs
lola: 76770299 markings, 183491208 edges, 122923 markings/sec, 540 secs
lola: 77387630 markings, 185011406 edges, 123466 markings/sec, 545 secs
lola: 78000559 markings, 186537826 edges, 122586 markings/sec, 550 secs
lola: 78619094 markings, 188067892 edges, 123707 markings/sec, 555 secs
lola: 79239698 markings, 189601332 edges, 124121 markings/sec, 560 secs
lola: 79860585 markings, 191132087 edges, 124177 markings/sec, 565 secs
lola: 80473339 markings, 192650463 edges, 122551 markings/sec, 570 secs
lola: 81089717 markings, 194174633 edges, 123276 markings/sec, 575 secs
lola: 81699152 markings, 195682653 edges, 121887 markings/sec, 580 secs
lola: 82310990 markings, 197203122 edges, 122368 markings/sec, 585 secs
lola: 82920261 markings, 198720684 edges, 121854 markings/sec, 590 secs
lola: 83535155 markings, 200243531 edges, 122979 markings/sec, 595 secs
lola: 84142997 markings, 201751332 edges, 121568 markings/sec, 600 secs
lola: 84744188 markings, 203250886 edges, 120238 markings/sec, 605 secs
lola: 85346789 markings, 204769420 edges, 120520 markings/sec, 610 secs
lola: 85951901 markings, 206271313 edges, 121022 markings/sec, 615 secs
lola: 86536409 markings, 207730578 edges, 116902 markings/sec, 620 secs
lola: 87146545 markings, 209245103 edges, 122027 markings/sec, 625 secs
lola: 87753692 markings, 210751562 edges, 121429 markings/sec, 630 secs
lola: 88359786 markings, 212255441 edges, 121219 markings/sec, 635 secs
lola: 88961758 markings, 213763772 edges, 120394 markings/sec, 640 secs
lola: 89565745 markings, 215274963 edges, 120797 markings/sec, 645 secs
lola: 90165725 markings, 216773446 edges, 119996 markings/sec, 650 secs
lola: 90767203 markings, 218263738 edges, 120296 markings/sec, 655 secs
lola: 91366176 markings, 219757380 edges, 119795 markings/sec, 660 secs
lola: 91970588 markings, 221256476 edges, 120882 markings/sec, 665 secs
lola: 92574108 markings, 222760375 edges, 120704 markings/sec, 670 secs
lola: 93177279 markings, 224267832 edges, 120634 markings/sec, 675 secs
lola: 93773750 markings, 225762069 edges, 119294 markings/sec, 680 secs
lola: 94371840 markings, 227255336 edges, 119618 markings/sec, 685 secs
lola: 94969963 markings, 228750893 edges, 119625 markings/sec, 690 secs
lola: 95571810 markings, 230243805 edges, 120369 markings/sec, 695 secs
lola: 96169589 markings, 231735799 edges, 119556 markings/sec, 700 secs
lola: 96769226 markings, 233231744 edges, 119927 markings/sec, 705 secs
lola: 97362682 markings, 234713000 edges, 118691 markings/sec, 710 secs
lola: 97956591 markings, 236198726 edges, 118782 markings/sec, 715 secs
lola: 98547437 markings, 237675295 edges, 118169 markings/sec, 720 secs
lola: 99143366 markings, 239165957 edges, 119186 markings/sec, 725 secs
lola: 99738306 markings, 240640943 edges, 118988 markings/sec, 730 secs
lola: 100319020 markings, 242087613 edges, 116143 markings/sec, 735 secs
lola: 100912839 markings, 243572727 edges, 118764 markings/sec, 740 secs
lola: 101498572 markings, 245044780 edges, 117147 markings/sec, 745 secs
lola: 102090347 markings, 246517125 edges, 118355 markings/sec, 750 secs
lola: 102680526 markings, 247996115 edges, 118036 markings/sec, 755 secs
lola: 103271010 markings, 249474108 edges, 118097 markings/sec, 760 secs
lola: 103854435 markings, 250941580 edges, 116685 markings/sec, 765 secs
lola: 104444958 markings, 252419599 edges, 118105 markings/sec, 770 secs
lola: 105033655 markings, 253902938 edges, 117739 markings/sec, 775 secs
lola: 105614857 markings, 255360122 edges, 116240 markings/sec, 780 secs
lola: 106200952 markings, 256822540 edges, 117219 markings/sec, 785 secs
lola: 106789437 markings, 258293090 edges, 117697 markings/sec, 790 secs
lola: 107384725 markings, 259772848 edges, 119058 markings/sec, 795 secs
lola: 107972250 markings, 261237170 edges, 117505 markings/sec, 800 secs
lola: 108557302 markings, 262704141 edges, 117010 markings/sec, 805 secs
lola: 109136729 markings, 264161459 edges, 115885 markings/sec, 810 secs
lola: 109724514 markings, 265629839 edges, 117557 markings/sec, 815 secs
lola: 110306848 markings, 267097480 edges, 116467 markings/sec, 820 secs
lola: 110882423 markings, 268552895 edges, 115115 markings/sec, 825 secs
lola: 111466053 markings, 270013499 edges, 116726 markings/sec, 830 secs
lola: 112053474 markings, 271481210 edges, 117484 markings/sec, 835 secs
lola: 112633133 markings, 272930343 edges, 115932 markings/sec, 840 secs
lola: 113209591 markings, 274392950 edges, 115292 markings/sec, 845 secs
lola: 113791949 markings, 275853673 edges, 116472 markings/sec, 850 secs
lola: 114364615 markings, 277284566 edges, 114533 markings/sec, 855 secs
lola: 114950346 markings, 278744398 edges, 117146 markings/sec, 860 secs
lola: 115535384 markings, 280204140 edges, 117008 markings/sec, 865 secs
lola: 116112292 markings, 281666260 edges, 115382 markings/sec, 870 secs
lola: 116696047 markings, 283123930 edges, 116751 markings/sec, 875 secs
lola: 117273244 markings, 284577569 edges, 115439 markings/sec, 880 secs
lola: 117851191 markings, 286042880 edges, 115589 markings/sec, 885 secs
lola: 118431493 markings, 287498190 edges, 116060 markings/sec, 890 secs
lola: 119011257 markings, 288951716 edges, 115953 markings/sec, 895 secs
lola: 119587851 markings, 290397979 edges, 115319 markings/sec, 900 secs
lola: 120166872 markings, 291854288 edges, 115804 markings/sec, 905 secs
lola: 120745623 markings, 293311104 edges, 115750 markings/sec, 910 secs
lola: 121321769 markings, 294760536 edges, 115229 markings/sec, 915 secs
lola: 121902120 markings, 296217963 edges, 116070 markings/sec, 920 secs
lola: 122480690 markings, 297666605 edges, 115714 markings/sec, 925 secs
lola: 123056000 markings, 299116072 edges, 115062 markings/sec, 930 secs
lola: 123633466 markings, 300569963 edges, 115493 markings/sec, 935 secs
lola: 124212139 markings, 302027212 edges, 115735 markings/sec, 940 secs
lola: 124783559 markings, 303472704 edges, 114284 markings/sec, 945 secs
lola: 125357196 markings, 304914798 edges, 114727 markings/sec, 950 secs
lola: 125932633 markings, 306364403 edges, 115087 markings/sec, 955 secs
lola: 126507900 markings, 307805836 edges, 115053 markings/sec, 960 secs
lola: 127083044 markings, 309251253 edges, 115029 markings/sec, 965 secs
lola: 127654840 markings, 310687984 edges, 114359 markings/sec, 970 secs
lola: 128233175 markings, 312137917 edges, 115667 markings/sec, 975 secs
lola: 128800345 markings, 313582385 edges, 113434 markings/sec, 980 secs
lola: 129379715 markings, 315022363 edges, 115874 markings/sec, 985 secs
lola: 129952103 markings, 316464938 edges, 114478 markings/sec, 990 secs
lola: 130520222 markings, 317888974 edges, 113624 markings/sec, 995 secs
lola: 131091755 markings, 319321085 edges, 114307 markings/sec, 1000 secs
lola: 131660253 markings, 320762636 edges, 113700 markings/sec, 1005 secs
lola: 132224970 markings, 322195448 edges, 112943 markings/sec, 1010 secs
lola: 132791710 markings, 323630511 edges, 113348 markings/sec, 1015 secs
lola: 133361441 markings, 325064675 edges, 113946 markings/sec, 1020 secs
lola: 133926570 markings, 326502787 edges, 113026 markings/sec, 1025 secs
lola: 134499035 markings, 327943151 edges, 114493 markings/sec, 1030 secs
lola: 135064511 markings, 329370440 edges, 113095 markings/sec, 1035 secs
lola: 135628752 markings, 330801658 edges, 112848 markings/sec, 1040 secs
lola: 136193160 markings, 332229511 edges, 112882 markings/sec, 1045 secs
lola: 136758542 markings, 333652735 edges, 113076 markings/sec, 1050 secs
lola: 137315969 markings, 335070049 edges, 111485 markings/sec, 1055 secs
lola: 137887144 markings, 336501319 edges, 114235 markings/sec, 1060 secs
lola: 138456561 markings, 337930321 edges, 113883 markings/sec, 1065 secs
lola: 139021383 markings, 339359400 edges, 112964 markings/sec, 1070 secs
lola: 139585044 markings, 340786311 edges, 112732 markings/sec, 1075 secs
lola: 140147830 markings, 342200728 edges, 112557 markings/sec, 1080 secs
lola: 140713492 markings, 343625881 edges, 113132 markings/sec, 1085 secs
lola: 141279037 markings, 345052868 edges, 113109 markings/sec, 1090 secs
lola: 141836592 markings, 346473732 edges, 111511 markings/sec, 1095 secs
lola: 142417607 markings, 347921663 edges, 116203 markings/sec, 1100 secs
lola: 142983812 markings, 349347937 edges, 113241 markings/sec, 1105 secs
lola: 143549658 markings, 350774381 edges, 113169 markings/sec, 1110 secs
lola: 144116355 markings, 352194142 edges, 113339 markings/sec, 1115 secs
lola: 144678431 markings, 353612287 edges, 112415 markings/sec, 1120 secs
lola: 145242372 markings, 355037400 edges, 112788 markings/sec, 1125 secs
lola: 145805151 markings, 356457144 edges, 112556 markings/sec, 1130 secs
lola: 146370142 markings, 357877064 edges, 112998 markings/sec, 1135 secs
lola: 146933502 markings, 359302485 edges, 112672 markings/sec, 1140 secs
lola: 147500731 markings, 360729117 edges, 113446 markings/sec, 1145 secs
lola: 148068762 markings, 362154081 edges, 113606 markings/sec, 1150 secs
lola: 148636702 markings, 363571035 edges, 113588 markings/sec, 1155 secs
lola: 149197897 markings, 364984827 edges, 112239 markings/sec, 1160 secs
lola: 149751679 markings, 366391741 edges, 110756 markings/sec, 1165 secs
lola: 150314117 markings, 367807115 edges, 112488 markings/sec, 1170 secs
lola: 150875485 markings, 369217287 edges, 112274 markings/sec, 1175 secs
lola: 151259993 markings, 370204426 edges, 76902 markings/sec, 1180 secs
lola: 151420201 markings, 370609776 edges, 32042 markings/sec, 1185 secs
lola: 151435823 markings, 370648871 edges, 3124 markings/sec, 1190 secs
lola: 151447919 markings, 370680815 edges, 2419 markings/sec, 1195 secs
lola: 151448897 markings, 370683230 edges, 196 markings/sec, 1200 secs
lola: 151463747 markings, 370720284 edges, 2970 markings/sec, 1205 secs
lola: 151489011 markings, 370783667 edges, 5053 markings/sec, 1210 secs
lola: 151510911 markings, 370840367 edges, 4380 markings/sec, 1215 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(AktP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AktP3)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-15-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: 15
lola: 1367730 markings, 2364929 edges, 273546 markings/sec, 0 secs
lola: 2621613 markings, 4580147 edges, 250777 markings/sec, 5 secs
lola: 3813342 markings, 6705662 edges, 238346 markings/sec, 10 secs
lola: 4972379 markings, 8786364 edges, 231807 markings/sec, 15 secs
lola: 6114619 markings, 10849729 edges, 228448 markings/sec, 20 secs
lola: 7227130 markings, 12867849 edges, 222502 markings/sec, 25 secs
lola: 8340814 markings, 14881710 edges, 222737 markings/sec, 30 secs
lola: 9446325 markings, 16886667 edges, 221102 markings/sec, 35 secs
lola: time limit reached - aborting
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown 15 15 15 15 unknown unknown
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown 15 15 15 15 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown 15 15 15 15 unknown unknown
lola: memory consumption: 1005740 KB
lola: time consumption: 3567 seconds
lola: memory consumption: 1005740 KB
lola: time consumption: 3567 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown 15 15 15 15 unknown unknown
lola: memory consumption: 1006236 KB
lola: time consumption: 3568 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown 15 15 15 15 unknown unknown
lola:
preliminary result: 15 15 15 unknown 15 unknown 15 15 unknown unknown 15 15 15 15 unknown unknown
lola: memory consumption: 16004 KB
lola: time consumption: 3572 seconds

BK_STOP 1526628373712

--------------------
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="Angiogenesis-PT-15"
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/Angiogenesis-PT-15.tgz
mv Angiogenesis-PT-15 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 Angiogenesis-PT-15, 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 r016-qhx1-152646241100023"
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 ;