Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094400013.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Angiogenesis-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094400013
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.4K Feb 9 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 03:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 5 03:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 105 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 343 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 22:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 22:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 2 00:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 00:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 29 11:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 11:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 33K Mar 10 17:31 model.pnml

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

=== Now, execution of the tool begins

BK_START 1552400008331

info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Angiogenesis-PT-20 @ 3570 seconds
lola: LoLA will run for 3570 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-20-UpperBounds.task
lola: MAX(KdStarGStarP3kStarP3) : MAX(GStarP3) : MAX(PtP3) : MAX(DAGE) : MAX(Enz) : MAX(AktP3) : MAX(Pip3) : MAX(KdStarGStarPg) : MAX(KdStarGStarPg) : MAX(AktStar) : MAX(PtP3) : MAX(KdStarGStarPgStarP2) : MAX(KdStarGStarP3kP3) : MAX(KdStarGStarPgStarP3P2) : MAX(GStarP3) : MAX(Akt)
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(KdStarGStarP3kStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP3)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 290 markings, 382 edges
lola: ========================================

FORMULA Angiogenesis-PT-20-UpperBounds-0 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: 1778560 markings, 3984304 edges, 355712 markings/sec, 0 secs
lola: 3196617 markings, 7262537 edges, 283611 markings/sec, 5 secs
lola: 4627919 markings, 10586662 edges, 286260 markings/sec, 10 secs
lola: 6000857 markings, 13774821 edges, 274588 markings/sec, 15 secs
lola: 7279961 markings, 16785827 edges, 255821 markings/sec, 20 secs
lola: 8689703 markings, 20103929 edges, 281948 markings/sec, 25 secs
lola: 9990738 markings, 23182495 edges, 260207 markings/sec, 30 secs
lola: 11335541 markings, 26363747 edges, 268961 markings/sec, 35 secs
lola: 12711959 markings, 29631719 edges, 275284 markings/sec, 40 secs
lola: 14050764 markings, 32808492 edges, 267761 markings/sec, 45 secs
lola: 15376373 markings, 35974809 edges, 265122 markings/sec, 50 secs
lola: 16720803 markings, 39163609 edges, 268886 markings/sec, 55 secs
lola: 18035590 markings, 42303326 edges, 262957 markings/sec, 60 secs
lola: 19355938 markings, 45452945 edges, 264070 markings/sec, 65 secs
lola: 20776345 markings, 48836028 edges, 284081 markings/sec, 70 secs
lola: 22235004 markings, 52333010 edges, 291732 markings/sec, 75 secs
lola: 23754361 markings, 55941733 edges, 303871 markings/sec, 80 secs
lola: 25263265 markings, 59541016 edges, 301781 markings/sec, 85 secs
lola: 26717930 markings, 63010465 edges, 290933 markings/sec, 90 secs
lola: 28171492 markings, 66491778 edges, 290712 markings/sec, 95 secs
lola: 29600935 markings, 69925749 edges, 285889 markings/sec, 100 secs
lola: 31017070 markings, 73339130 edges, 283227 markings/sec, 105 secs
lola: 32452370 markings, 76779871 edges, 287060 markings/sec, 110 secs
lola: 33888926 markings, 80220483 edges, 287311 markings/sec, 115 secs
lola: 35295760 markings, 83638120 edges, 281367 markings/sec, 120 secs
lola: 36728877 markings, 87093065 edges, 286623 markings/sec, 125 secs
lola: 38134445 markings, 90493856 edges, 281114 markings/sec, 130 secs
lola: 39540612 markings, 93883907 edges, 281233 markings/sec, 135 secs
lola: 40965837 markings, 97315326 edges, 285045 markings/sec, 140 secs
lola: 42382349 markings, 100743703 edges, 283302 markings/sec, 145 secs
lola: 43733613 markings, 104033932 edges, 270253 markings/sec, 150 secs
lola: 45129341 markings, 107423069 edges, 279146 markings/sec, 155 secs
lola: 46495953 markings, 110741991 edges, 273322 markings/sec, 160 secs
lola: 47862336 markings, 114060246 edges, 273277 markings/sec, 165 secs
lola: 49226744 markings, 117356270 edges, 272882 markings/sec, 170 secs
lola: 50570454 markings, 120612302 edges, 268742 markings/sec, 175 secs
lola: 51952249 markings, 123952612 edges, 276359 markings/sec, 180 secs
lola: 53315018 markings, 127256612 edges, 272554 markings/sec, 185 secs
lola: 54670647 markings, 130552424 edges, 271126 markings/sec, 190 secs
lola: 56000962 markings, 133792450 edges, 266063 markings/sec, 195 secs
lola: 57346547 markings, 137074003 edges, 269117 markings/sec, 200 secs
lola: 58730983 markings, 140426546 edges, 276887 markings/sec, 205 secs
lola: 60083492 markings, 143704503 edges, 270502 markings/sec, 210 secs
lola: 61418758 markings, 146949553 edges, 267053 markings/sec, 215 secs
lola: 62779554 markings, 150238795 edges, 272159 markings/sec, 220 secs
lola: 64104756 markings, 153476192 edges, 265040 markings/sec, 225 secs
lola: 65425987 markings, 156716043 edges, 264246 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7236932 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 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-20-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: 20
lola: 2054119 markings, 3789461 edges, 410824 markings/sec, 0 secs
lola: 3836948 markings, 7089923 edges, 356566 markings/sec, 5 secs
lola: 5544966 markings, 10262655 edges, 341604 markings/sec, 10 secs
lola: 7209823 markings, 13347772 edges, 332971 markings/sec, 15 secs
lola: 9052444 markings, 16777238 edges, 368524 markings/sec, 20 secs
lola: 10809390 markings, 20059989 edges, 351389 markings/sec, 25 secs
lola: 12473458 markings, 23171745 edges, 332814 markings/sec, 30 secs
lola: 14205690 markings, 26401740 edges, 346446 markings/sec, 35 secs
lola: 15961454 markings, 29708155 edges, 351153 markings/sec, 40 secs
lola: 17706113 markings, 33000544 edges, 348932 markings/sec, 45 secs
lola: 19500989 markings, 36402581 edges, 358975 markings/sec, 50 secs
lola: 21290472 markings, 39810686 edges, 357897 markings/sec, 55 secs
lola: 23053802 markings, 43187943 edges, 352666 markings/sec, 60 secs
lola: 24789514 markings, 46515919 edges, 347142 markings/sec, 65 secs
lola: 26505588 markings, 49837079 edges, 343215 markings/sec, 70 secs
lola: 28223648 markings, 53162479 edges, 343612 markings/sec, 75 secs
lola: 29929738 markings, 56471117 edges, 341218 markings/sec, 80 secs
lola: 31615334 markings, 59745105 edges, 337119 markings/sec, 85 secs
lola: 33301016 markings, 63029085 edges, 337136 markings/sec, 90 secs
lola: 34975692 markings, 66307307 edges, 334935 markings/sec, 95 secs
lola: 36626039 markings, 69541192 edges, 330069 markings/sec, 100 secs
lola: 38256958 markings, 72741561 edges, 326184 markings/sec, 105 secs
lola: 39892673 markings, 75951804 edges, 327143 markings/sec, 110 secs
lola: 41479615 markings, 79072945 edges, 317388 markings/sec, 115 secs
lola: 43069807 markings, 82212961 edges, 318038 markings/sec, 120 secs
lola: 44631918 markings, 85290360 edges, 312422 markings/sec, 125 secs
lola: 46180730 markings, 88372204 edges, 309762 markings/sec, 130 secs
lola: 47736252 markings, 91457421 edges, 311104 markings/sec, 135 secs
lola: 49296637 markings, 94547065 edges, 312077 markings/sec, 140 secs
lola: 50849749 markings, 97640292 edges, 310622 markings/sec, 145 secs
lola: 52410692 markings, 100741897 edges, 312189 markings/sec, 150 secs
lola: 53949119 markings, 103816549 edges, 307685 markings/sec, 155 secs
lola: 55463553 markings, 106839895 edges, 302887 markings/sec, 160 secs
lola: 56948170 markings, 109833638 edges, 296923 markings/sec, 165 secs
lola: 58472710 markings, 112862897 edges, 304908 markings/sec, 170 secs
lola: 59990947 markings, 115898225 edges, 303647 markings/sec, 175 secs
lola: 61487530 markings, 118917775 edges, 299317 markings/sec, 180 secs
lola: 62988740 markings, 121929768 edges, 300242 markings/sec, 185 secs
lola: 64521769 markings, 125003520 edges, 306606 markings/sec, 190 secs
lola: 66024448 markings, 128025323 edges, 300536 markings/sec, 195 secs
lola: 67524176 markings, 131035613 edges, 299946 markings/sec, 200 secs
lola: 69011942 markings, 134019870 edges, 297553 markings/sec, 205 secs
lola: 70493790 markings, 136990133 edges, 296370 markings/sec, 210 secs
lola: 71937907 markings, 139925889 edges, 288823 markings/sec, 215 secs
lola: 73406993 markings, 142888914 edges, 293817 markings/sec, 220 secs
lola: 74878532 markings, 145852263 edges, 294308 markings/sec, 225 secs
lola: 76322284 markings, 148784680 edges, 288750 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8241960 KB
lola: time consumption: 476 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DAGE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DAGE)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 101 markings, 157 edges
lola: ========================================

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

FORMULA Angiogenesis-PT-20-UpperBounds-4 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 281 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-20-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: 20
lola: 2290215 markings, 3963475 edges, 458043 markings/sec, 0 secs
lola: 4261992 markings, 7478529 edges, 394355 markings/sec, 5 secs
lola: 6226671 markings, 11017144 edges, 392936 markings/sec, 10 secs
lola: 8160577 markings, 14503987 edges, 386781 markings/sec, 15 secs
lola: 10031488 markings, 17892624 edges, 374182 markings/sec, 20 secs
lola: 11877143 markings, 21255420 edges, 369131 markings/sec, 25 secs
lola: 13693349 markings, 24590828 edges, 363241 markings/sec, 30 secs
lola: 15491209 markings, 27879129 edges, 359572 markings/sec, 35 secs
lola: 17289657 markings, 31168271 edges, 359690 markings/sec, 40 secs
lola: 19074543 markings, 34430622 edges, 356977 markings/sec, 45 secs
lola: 20794471 markings, 37606733 edges, 343986 markings/sec, 50 secs
lola: 22490406 markings, 40728919 edges, 339187 markings/sec, 55 secs
lola: 24254288 markings, 43952754 edges, 352776 markings/sec, 60 secs
lola: 25976542 markings, 47118707 edges, 344451 markings/sec, 65 secs
lola: 27679336 markings, 50258302 edges, 340559 markings/sec, 70 secs
lola: 29357142 markings, 53365760 edges, 335561 markings/sec, 75 secs
lola: 31035285 markings, 56481280 edges, 335629 markings/sec, 80 secs
lola: 32687140 markings, 59534173 edges, 330371 markings/sec, 85 secs
lola: 34365964 markings, 62646589 edges, 335765 markings/sec, 90 secs
lola: 36071849 markings, 65798345 edges, 341177 markings/sec, 95 secs
lola: 37725708 markings, 68882708 edges, 330772 markings/sec, 100 secs
lola: 39371663 markings, 71949211 edges, 329191 markings/sec, 105 secs
lola: 41005948 markings, 74987447 edges, 326857 markings/sec, 110 secs
lola: 42664880 markings, 78051084 edges, 331786 markings/sec, 115 secs
lola: 44291115 markings, 81087266 edges, 325247 markings/sec, 120 secs
lola: 45891202 markings, 84094660 edges, 320017 markings/sec, 125 secs
lola: 47512291 markings, 87122967 edges, 324218 markings/sec, 130 secs
lola: 49130441 markings, 90150004 edges, 323630 markings/sec, 135 secs
lola: 50713276 markings, 93114222 edges, 316567 markings/sec, 140 secs
lola: 52336342 markings, 96134910 edges, 324613 markings/sec, 145 secs
lola: 53914398 markings, 99104839 edges, 315611 markings/sec, 150 secs
lola: 55498056 markings, 102082342 edges, 316732 markings/sec, 155 secs
lola: 57077121 markings, 105037145 edges, 315813 markings/sec, 160 secs
lola: 58672533 markings, 108020784 edges, 319082 markings/sec, 165 secs
lola: 60272074 markings, 111016311 edges, 319908 markings/sec, 170 secs
lola: 61836064 markings, 113958447 edges, 312798 markings/sec, 175 secs
lola: 63445310 markings, 116948768 edges, 321849 markings/sec, 180 secs
lola: 65038832 markings, 119926809 edges, 318704 markings/sec, 185 secs
lola: 66628192 markings, 122894784 edges, 317872 markings/sec, 190 secs
lola: 68212134 markings, 125856600 edges, 316788 markings/sec, 195 secs
lola: 69770145 markings, 128771907 edges, 311602 markings/sec, 200 secs
lola: 71327670 markings, 131702545 edges, 311505 markings/sec, 205 secs
lola: 72879400 markings, 134624713 edges, 310346 markings/sec, 210 secs
lola: 74428210 markings, 137520512 edges, 309762 markings/sec, 215 secs
lola: 75984553 markings, 140451135 edges, 311269 markings/sec, 220 secs
lola: 77525277 markings, 143359212 edges, 308145 markings/sec, 225 secs
lola: 79073237 markings, 146267321 edges, 309592 markings/sec, 230 secs
lola: 80601459 markings, 149153154 edges, 305644 markings/sec, 235 secs
lola: 82128526 markings, 152038298 edges, 305413 markings/sec, 240 secs
lola: 83667280 markings, 154935820 edges, 307751 markings/sec, 245 secs
lola: 85207822 markings, 157833576 edges, 308108 markings/sec, 250 secs
lola: 86741817 markings, 160727566 edges, 306799 markings/sec, 255 secs
lola: 88261192 markings, 163600868 edges, 303875 markings/sec, 260 secs
lola: 89771212 markings, 166464756 edges, 302004 markings/sec, 265 secs
lola: 91307928 markings, 169344785 edges, 307343 markings/sec, 270 secs
lola: 92785235 markings, 172139970 edges, 295461 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9235308 KB
lola: time consumption: 758 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 281 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-20-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: 20
lola: 2122026 markings, 3963545 edges, 424405 markings/sec, 0 secs
lola: 4054086 markings, 7720740 edges, 386412 markings/sec, 5 secs
lola: 5928889 markings, 11410393 edges, 374961 markings/sec, 10 secs
lola: 7736842 markings, 15000846 edges, 361591 markings/sec, 15 secs
lola: 9501719 markings, 18559626 edges, 352975 markings/sec, 20 secs
lola: 11298062 markings, 22154866 edges, 359269 markings/sec, 25 secs
lola: 13010406 markings, 25624917 edges, 342469 markings/sec, 30 secs
lola: 14709728 markings, 29096325 edges, 339864 markings/sec, 35 secs
lola: 16394589 markings, 32554588 edges, 336972 markings/sec, 40 secs
lola: 18065808 markings, 35996247 edges, 334244 markings/sec, 45 secs
lola: 19726557 markings, 39429967 edges, 332150 markings/sec, 50 secs
lola: 21387525 markings, 42863842 edges, 332194 markings/sec, 55 secs
lola: 23026069 markings, 46247257 edges, 327709 markings/sec, 60 secs
lola: 24621058 markings, 49551594 edges, 318998 markings/sec, 65 secs
lola: 26234857 markings, 52893183 edges, 322760 markings/sec, 70 secs
lola: 27849143 markings, 56262732 edges, 322857 markings/sec, 75 secs
lola: 29423684 markings, 59555965 edges, 314908 markings/sec, 80 secs
lola: 31015153 markings, 62893228 edges, 318294 markings/sec, 85 secs
lola: 32614841 markings, 66264994 edges, 319938 markings/sec, 90 secs
lola: 34189608 markings, 69592793 edges, 314953 markings/sec, 95 secs
lola: 35757820 markings, 72907664 edges, 313642 markings/sec, 100 secs
lola: 37320226 markings, 76215839 edges, 312481 markings/sec, 105 secs
lola: 38861312 markings, 79495724 edges, 308217 markings/sec, 110 secs
lola: 40403928 markings, 82761756 edges, 308523 markings/sec, 115 secs
lola: 41969042 markings, 86078631 edges, 313023 markings/sec, 120 secs
lola: 43495991 markings, 89342586 edges, 305390 markings/sec, 125 secs
lola: 45023458 markings, 92609132 edges, 305493 markings/sec, 130 secs
lola: 46525392 markings, 95812679 edges, 300387 markings/sec, 135 secs
lola: 47975913 markings, 98913688 edges, 290104 markings/sec, 140 secs
lola: 49432693 markings, 102034357 edges, 291356 markings/sec, 145 secs
lola: 50921499 markings, 105250091 edges, 297761 markings/sec, 150 secs
lola: 52447739 markings, 108519321 edges, 305248 markings/sec, 155 secs
lola: 53960316 markings, 111745300 edges, 302515 markings/sec, 160 secs
lola: 55455306 markings, 114958270 edges, 298998 markings/sec, 165 secs
lola: 56925303 markings, 118117001 edges, 293999 markings/sec, 170 secs
lola: 58353986 markings, 121186989 edges, 285737 markings/sec, 175 secs
lola: 59776083 markings, 124274962 edges, 284419 markings/sec, 180 secs
lola: 61198095 markings, 127340462 edges, 284402 markings/sec, 185 secs
lola: 62629053 markings, 130435357 edges, 286192 markings/sec, 190 secs
lola: 64060829 markings, 133539761 edges, 286355 markings/sec, 195 secs
lola: 65489722 markings, 136608104 edges, 285779 markings/sec, 200 secs
lola: 66907806 markings, 139683375 edges, 283617 markings/sec, 205 secs
lola: 68330644 markings, 142776833 edges, 284568 markings/sec, 210 secs
lola: 69754159 markings, 145858162 edges, 284703 markings/sec, 215 secs
lola: 71175168 markings, 148945480 edges, 284202 markings/sec, 220 secs
lola: 72622795 markings, 152085917 edges, 289525 markings/sec, 225 secs
lola: 74067641 markings, 155230542 edges, 288969 markings/sec, 230 secs
lola: 75501748 markings, 158362481 edges, 286821 markings/sec, 235 secs
lola: 76942681 markings, 161502490 edges, 288187 markings/sec, 240 secs
lola: 78352372 markings, 164577066 edges, 281938 markings/sec, 245 secs
lola: 79759232 markings, 167665217 edges, 281372 markings/sec, 250 secs
lola: 81152937 markings, 170702330 edges, 278741 markings/sec, 255 secs
lola: 82562105 markings, 173761576 edges, 281834 markings/sec, 260 secs
lola: 83952396 markings, 176795975 edges, 278058 markings/sec, 265 secs
lola: 85344367 markings, 179840539 edges, 278394 markings/sec, 270 secs
lola: 86736761 markings, 182858004 edges, 278479 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9462044 KB
lola: time consumption: 1040 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 281 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-20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 79 edges

FORMULA Angiogenesis-PT-20-UpperBounds-7 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 316 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-20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 79 edges
lola: ========================================

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

FORMULA Angiogenesis-PT-20-UpperBounds-9 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 421 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-20-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: 20
lola: 2092201 markings, 3859874 edges, 418440 markings/sec, 0 secs
lola: 4050592 markings, 7484634 edges, 391678 markings/sec, 5 secs
lola: 5888865 markings, 10904350 edges, 367655 markings/sec, 10 secs
lola: 7711652 markings, 14281087 edges, 364557 markings/sec, 15 secs
lola: 9602974 markings, 17801310 edges, 378264 markings/sec, 20 secs
lola: 11462155 markings, 21282756 edges, 371836 markings/sec, 25 secs
lola: 13341295 markings, 24781921 edges, 375828 markings/sec, 30 secs
lola: 15128462 markings, 28138723 edges, 357433 markings/sec, 35 secs
lola: 16934946 markings, 31552087 edges, 361297 markings/sec, 40 secs
lola: 18751096 markings, 34973954 edges, 363230 markings/sec, 45 secs
lola: 20514440 markings, 38321760 edges, 352669 markings/sec, 50 secs
lola: 22264219 markings, 41672729 edges, 349956 markings/sec, 55 secs
lola: 24001898 markings, 45005425 edges, 347536 markings/sec, 60 secs
lola: 25715599 markings, 48308274 edges, 342740 markings/sec, 65 secs
lola: 27406620 markings, 51579708 edges, 338204 markings/sec, 70 secs
lola: 29095099 markings, 54842862 edges, 337696 markings/sec, 75 secs
lola: 30755279 markings, 58071864 edges, 332036 markings/sec, 80 secs
lola: 32412977 markings, 61299394 edges, 331540 markings/sec, 85 secs
lola: 34067754 markings, 64524664 edges, 330955 markings/sec, 90 secs
lola: 35693842 markings, 67714893 edges, 325218 markings/sec, 95 secs
lola: 37328566 markings, 70912053 edges, 326945 markings/sec, 100 secs
lola: 38949837 markings, 74101173 edges, 324254 markings/sec, 105 secs
lola: 40559770 markings, 77268065 edges, 321987 markings/sec, 110 secs
lola: 42151939 markings, 80398950 edges, 318434 markings/sec, 115 secs
lola: 43733692 markings, 83528531 edges, 316351 markings/sec, 120 secs
lola: 45317897 markings, 86661449 edges, 316841 markings/sec, 125 secs
lola: 46896347 markings, 89782052 edges, 315690 markings/sec, 130 secs
lola: 48459667 markings, 92885654 edges, 312664 markings/sec, 135 secs
lola: 50026841 markings, 95999069 edges, 313435 markings/sec, 140 secs
lola: 51583647 markings, 99094681 edges, 311361 markings/sec, 145 secs
lola: 53116311 markings, 102158320 edges, 306533 markings/sec, 150 secs
lola: 54652742 markings, 105224950 edges, 307286 markings/sec, 155 secs
lola: 56184382 markings, 108292198 edges, 306328 markings/sec, 160 secs
lola: 57702680 markings, 111340772 edges, 303660 markings/sec, 165 secs
lola: 59233636 markings, 114383439 edges, 306191 markings/sec, 170 secs
lola: 60717632 markings, 117359586 edges, 296799 markings/sec, 175 secs
lola: 62212865 markings, 120377118 edges, 299047 markings/sec, 180 secs
lola: 63747460 markings, 123447464 edges, 306919 markings/sec, 185 secs
lola: 65272810 markings, 126496196 edges, 305070 markings/sec, 190 secs
lola: 66759844 markings, 129510190 edges, 297407 markings/sec, 195 secs
lola: 68270900 markings, 132529794 edges, 302211 markings/sec, 200 secs
lola: 69769041 markings, 135539149 edges, 299628 markings/sec, 205 secs
lola: 71246054 markings, 138526500 edges, 295403 markings/sec, 210 secs
lola: 72740820 markings, 141547177 edges, 298953 markings/sec, 215 secs
lola: 74223814 markings, 144537780 edges, 296599 markings/sec, 220 secs
lola: 75706235 markings, 147530636 edges, 296484 markings/sec, 225 secs
lola: 77173629 markings, 150516841 edges, 293479 markings/sec, 230 secs
lola: 78660576 markings, 153513896 edges, 297389 markings/sec, 235 secs
lola: 80136460 markings, 156492458 edges, 295177 markings/sec, 240 secs
lola: 81609792 markings, 159476658 edges, 294666 markings/sec, 245 secs
lola: 83056607 markings, 162419691 edges, 289363 markings/sec, 250 secs
lola: 84488902 markings, 165331102 edges, 286459 markings/sec, 255 secs
lola: 85889111 markings, 168184708 edges, 280042 markings/sec, 260 secs
lola: 87313368 markings, 171098437 edges, 284851 markings/sec, 265 secs
lola: 88770030 markings, 174026954 edges, 291332 markings/sec, 270 secs
lola: 90203918 markings, 176944816 edges, 286778 markings/sec, 275 secs
lola: 91606991 markings, 179830668 edges, 280615 markings/sec, 280 secs
lola: 93028786 markings, 182721875 edges, 284359 markings/sec, 285 secs
lola: 94450760 markings, 185625395 edges, 284395 markings/sec, 290 secs
lola: 95880542 markings, 188536093 edges, 285956 markings/sec, 295 secs
lola: 97294501 markings, 191430415 edges, 282792 markings/sec, 300 secs
lola: 98710991 markings, 194335299 edges, 283298 markings/sec, 305 secs
lola: 100117241 markings, 197214765 edges, 281250 markings/sec, 310 secs
lola: 101501784 markings, 200054286 edges, 276909 markings/sec, 315 secs
lola: 102905082 markings, 202936772 edges, 280660 markings/sec, 320 secs
lola: 104302626 markings, 205808857 edges, 279509 markings/sec, 325 secs
lola: 105712445 markings, 208697967 edges, 281964 markings/sec, 330 secs
lola: 107090026 markings, 211540222 edges, 275516 markings/sec, 335 secs
lola: 108490383 markings, 214411790 edges, 280071 markings/sec, 340 secs
lola: 109886044 markings, 217285376 edges, 279132 markings/sec, 345 secs
lola: 111296207 markings, 220160303 edges, 282033 markings/sec, 350 secs
lola: 112661593 markings, 222984417 edges, 273077 markings/sec, 355 secs
lola: 114045539 markings, 225799980 edges, 276789 markings/sec, 360 secs
lola: 115411895 markings, 228601228 edges, 273271 markings/sec, 365 secs
lola: 116804934 markings, 231458394 edges, 278608 markings/sec, 370 secs
lola: 118162305 markings, 234265445 edges, 271474 markings/sec, 375 secs
lola: 119534529 markings, 237113347 edges, 274445 markings/sec, 380 secs
lola: 120895639 markings, 239937748 edges, 272222 markings/sec, 385 secs
lola: 122257947 markings, 242770389 edges, 272462 markings/sec, 390 secs
lola: 123621988 markings, 245602776 edges, 272808 markings/sec, 395 secs
lola: 124998922 markings, 248444860 edges, 275387 markings/sec, 400 secs
lola: 126375691 markings, 251281854 edges, 275354 markings/sec, 405 secs
lola: 127760998 markings, 254130829 edges, 277061 markings/sec, 410 secs
lola: 129132596 markings, 256964681 edges, 274320 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStarP2)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: 2075048 markings, 4082410 edges, 415010 markings/sec, 0 secs
lola: 3923886 markings, 7836641 edges, 369768 markings/sec, 5 secs
lola: 5657815 markings, 11417847 edges, 346786 markings/sec, 10 secs
lola: 7322315 markings, 14886669 edges, 332900 markings/sec, 15 secs
lola: 8951057 markings, 18281538 edges, 325748 markings/sec, 20 secs
lola: 10546742 markings, 21629507 edges, 319137 markings/sec, 25 secs
lola: 12155053 markings, 24975473 edges, 321662 markings/sec, 30 secs
lola: 13675127 markings, 28192357 edges, 304015 markings/sec, 35 secs
lola: 15198324 markings, 31407252 edges, 304639 markings/sec, 40 secs
lola: 16696129 markings, 34577324 edges, 299561 markings/sec, 45 secs
lola: 18160907 markings, 37687451 edges, 292956 markings/sec, 50 secs
lola: 19627409 markings, 40800595 edges, 293300 markings/sec, 55 secs
lola: 21052700 markings, 43851790 edges, 285058 markings/sec, 60 secs
lola: 22450831 markings, 46875145 edges, 279626 markings/sec, 65 secs
lola: 23870025 markings, 49931865 edges, 283839 markings/sec, 70 secs
lola: 25336032 markings, 53008663 edges, 293201 markings/sec, 75 secs
lola: 26713659 markings, 55999589 edges, 275525 markings/sec, 80 secs
lola: 28102808 markings, 58993663 edges, 277830 markings/sec, 85 secs
lola: 29472322 markings, 61974016 edges, 273903 markings/sec, 90 secs
lola: 30859420 markings, 64957415 edges, 277420 markings/sec, 95 secs
lola: 32211985 markings, 67889750 edges, 270513 markings/sec, 100 secs
lola: 33555394 markings, 70789518 edges, 268682 markings/sec, 105 secs
lola: 34938331 markings, 73757914 edges, 276587 markings/sec, 110 secs
lola: 36292420 markings, 76666118 edges, 270818 markings/sec, 115 secs
lola: 37626812 markings, 79559734 edges, 266878 markings/sec, 120 secs
lola: 38958186 markings, 82453792 edges, 266275 markings/sec, 125 secs
lola: 40305376 markings, 85352270 edges, 269438 markings/sec, 130 secs
lola: 41640871 markings, 88224960 edges, 267099 markings/sec, 135 secs
lola: 42965803 markings, 91081375 edges, 264986 markings/sec, 140 secs
lola: 44286974 markings, 93953740 edges, 264234 markings/sec, 145 secs
lola: 45616779 markings, 96830070 edges, 265961 markings/sec, 150 secs
lola: 46945880 markings, 99686640 edges, 265820 markings/sec, 155 secs
lola: 48249236 markings, 102522724 edges, 260671 markings/sec, 160 secs
lola: 49540846 markings, 105341746 edges, 258322 markings/sec, 165 secs
lola: 50857737 markings, 108198711 edges, 263378 markings/sec, 170 secs
lola: 52139765 markings, 110992879 edges, 256406 markings/sec, 175 secs
lola: 53449421 markings, 113821583 edges, 261931 markings/sec, 180 secs
lola: 54721208 markings, 116618197 edges, 254357 markings/sec, 185 secs
lola: 55961653 markings, 119333731 edges, 248089 markings/sec, 190 secs
lola: 57224948 markings, 122110450 edges, 252659 markings/sec, 195 secs
lola: 58477680 markings, 124871789 edges, 250546 markings/sec, 200 secs
lola: 59725815 markings, 127606573 edges, 249627 markings/sec, 205 secs
lola: 60975450 markings, 130354562 edges, 249927 markings/sec, 210 secs
lola: 62224455 markings, 133088723 edges, 249801 markings/sec, 215 secs
lola: 63488508 markings, 135855579 edges, 252811 markings/sec, 220 secs
lola: 64774579 markings, 138645906 edges, 257214 markings/sec, 225 secs
lola: 66020275 markings, 141379365 edges, 249139 markings/sec, 230 secs
lola: 67256253 markings, 144098352 edges, 247196 markings/sec, 235 secs
lola: 68478221 markings, 146800897 edges, 244394 markings/sec, 240 secs
lola: 69701822 markings, 149516257 edges, 244720 markings/sec, 245 secs
lola: 70929520 markings, 152220876 edges, 245540 markings/sec, 250 secs
lola: 72191581 markings, 154969332 edges, 252412 markings/sec, 255 secs
lola: 73428598 markings, 157683083 edges, 247403 markings/sec, 260 secs
lola: 74647640 markings, 160370172 edges, 243808 markings/sec, 265 secs
lola: 75870776 markings, 163061813 edges, 244627 markings/sec, 270 secs
lola: 77110975 markings, 165774028 edges, 248040 markings/sec, 275 secs
lola: 78358768 markings, 168505762 edges, 249559 markings/sec, 280 secs
lola: 79573228 markings, 171168024 edges, 242892 markings/sec, 285 secs
lola: 80770386 markings, 173813436 edges, 239432 markings/sec, 290 secs
lola: 81996947 markings, 176482706 edges, 245312 markings/sec, 295 secs
lola: 83187883 markings, 179093037 edges, 238187 markings/sec, 300 secs
lola: 84348244 markings, 181673012 edges, 232072 markings/sec, 305 secs
lola: 85523732 markings, 184261061 edges, 235098 markings/sec, 310 secs
lola: 86734163 markings, 186920278 edges, 242086 markings/sec, 315 secs
lola: 87917254 markings, 189518163 edges, 236618 markings/sec, 320 secs
lola: 89149290 markings, 192175329 edges, 246407 markings/sec, 325 secs
lola: 90372787 markings, 194840442 edges, 244699 markings/sec, 330 secs
lola: 91610767 markings, 197527103 edges, 247596 markings/sec, 335 secs
lola: 92809912 markings, 200173464 edges, 239829 markings/sec, 340 secs
lola: 94027732 markings, 202842551 edges, 243564 markings/sec, 345 secs
lola: 95224902 markings, 205475670 edges, 239434 markings/sec, 350 secs
lola: 96417095 markings, 208114672 edges, 238439 markings/sec, 355 secs
lola: 97618967 markings, 210750435 edges, 240374 markings/sec, 360 secs
lola: 98829862 markings, 213407235 edges, 242179 markings/sec, 365 secs
lola: 100008329 markings, 216022689 edges, 235693 markings/sec, 370 secs
lola: 101197847 markings, 218657842 edges, 237904 markings/sec, 375 secs
lola: 102388686 markings, 221280081 edges, 238168 markings/sec, 380 secs
lola: 103567363 markings, 223895063 edges, 235735 markings/sec, 385 secs
lola: 104730028 markings, 226477823 edges, 232533 markings/sec, 390 secs
lola: 105897292 markings, 229075384 edges, 233453 markings/sec, 395 secs
lola: 107077813 markings, 231675819 edges, 236104 markings/sec, 400 secs
lola: 108259138 markings, 234282791 edges, 236265 markings/sec, 405 secs
lola: 109435387 markings, 236877789 edges, 235250 markings/sec, 410 secs
lola: 110601569 markings, 239474996 edges, 233236 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kP3)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: 1858281 markings, 3811989 edges, 371656 markings/sec, 0 secs
lola: 3567664 markings, 7385488 edges, 341877 markings/sec, 5 secs
lola: 5117751 markings, 10727439 edges, 310017 markings/sec, 10 secs
lola: 6727093 markings, 14160627 edges, 321868 markings/sec, 15 secs
lola: 8255243 markings, 17436060 edges, 305630 markings/sec, 20 secs
lola: 9743281 markings, 20724864 edges, 297608 markings/sec, 25 secs
lola: 11297026 markings, 24043029 edges, 310749 markings/sec, 30 secs
lola: 12745652 markings, 27274457 edges, 289725 markings/sec, 35 secs
lola: 14255389 markings, 30526841 edges, 301947 markings/sec, 40 secs
lola: 15696146 markings, 33689526 edges, 288151 markings/sec, 45 secs
lola: 17172851 markings, 36896749 edges, 295341 markings/sec, 50 secs
lola: 18639785 markings, 40075759 edges, 293387 markings/sec, 55 secs
lola: 20063389 markings, 43232420 edges, 284721 markings/sec, 60 secs
lola: 21466852 markings, 46306079 edges, 280693 markings/sec, 65 secs
lola: 22885984 markings, 49368209 edges, 283826 markings/sec, 70 secs
lola: 24277955 markings, 52406099 edges, 278394 markings/sec, 75 secs
lola: 25666632 markings, 55495835 edges, 277735 markings/sec, 80 secs
lola: 27055269 markings, 58536729 edges, 277727 markings/sec, 85 secs
lola: 28412853 markings, 61581190 edges, 271517 markings/sec, 90 secs
lola: 29765325 markings, 64572493 edges, 270494 markings/sec, 95 secs
lola: 31108630 markings, 67612682 edges, 268661 markings/sec, 100 secs
lola: 32488828 markings, 70672131 edges, 276040 markings/sec, 105 secs
lola: 33815280 markings, 73686537 edges, 265290 markings/sec, 110 secs
lola: 35154747 markings, 76706652 edges, 267893 markings/sec, 115 secs
lola: 36567773 markings, 79787149 edges, 282605 markings/sec, 120 secs
lola: 37905237 markings, 82809192 edges, 267493 markings/sec, 125 secs
lola: 39233493 markings, 85810960 edges, 265651 markings/sec, 130 secs
lola: 40586541 markings, 88836012 edges, 270610 markings/sec, 135 secs
lola: 41894855 markings, 91803143 edges, 261663 markings/sec, 140 secs
lola: 43210358 markings, 94785510 edges, 263101 markings/sec, 145 secs
lola: 44554825 markings, 97782991 edges, 268893 markings/sec, 150 secs
lola: 45851825 markings, 100741609 edges, 259400 markings/sec, 155 secs
lola: 47151089 markings, 103692053 edges, 259853 markings/sec, 160 secs
lola: 48431080 markings, 106635598 edges, 255998 markings/sec, 165 secs
lola: 49743409 markings, 109614343 edges, 262466 markings/sec, 170 secs
lola: 51039290 markings, 112562831 edges, 259176 markings/sec, 175 secs
lola: 52393299 markings, 115564028 edges, 270802 markings/sec, 180 secs
lola: 53649352 markings, 118479332 edges, 251211 markings/sec, 185 secs
lola: 54906439 markings, 121381473 edges, 251417 markings/sec, 190 secs
lola: 56200750 markings, 124317722 edges, 258862 markings/sec, 195 secs
lola: 57439066 markings, 127217216 edges, 247663 markings/sec, 200 secs
lola: 58697938 markings, 130120549 edges, 251774 markings/sec, 205 secs
lola: 59978596 markings, 133025947 edges, 256132 markings/sec, 210 secs
lola: 61206763 markings, 135897468 edges, 245633 markings/sec, 215 secs
lola: 62415863 markings, 138770059 edges, 241820 markings/sec, 220 secs
lola: 63648302 markings, 141552486 edges, 246488 markings/sec, 225 secs
lola: 64926022 markings, 144449899 edges, 255544 markings/sec, 230 secs
lola: 66149295 markings, 147302127 edges, 244655 markings/sec, 235 secs
lola: 67394333 markings, 150190614 edges, 249008 markings/sec, 240 secs
lola: 68643512 markings, 153062753 edges, 249836 markings/sec, 245 secs
lola: 69923061 markings, 155955786 edges, 255910 markings/sec, 250 secs
lola: 71151644 markings, 158813560 edges, 245717 markings/sec, 255 secs
lola: 72398726 markings, 161685868 edges, 249416 markings/sec, 260 secs
lola: 73641432 markings, 164543008 edges, 248541 markings/sec, 265 secs
lola: 74900606 markings, 167405197 edges, 251835 markings/sec, 270 secs
lola: 76136780 markings, 170257726 edges, 247235 markings/sec, 275 secs
lola: 77444646 markings, 173171349 edges, 261573 markings/sec, 280 secs
lola: 78694566 markings, 176027717 edges, 249984 markings/sec, 285 secs
lola: 79898726 markings, 178840279 edges, 240832 markings/sec, 290 secs
lola: 81124853 markings, 181675052 edges, 245225 markings/sec, 295 secs
lola: 82360743 markings, 184525652 edges, 247178 markings/sec, 300 secs
lola: 83564953 markings, 187330413 edges, 240842 markings/sec, 305 secs
lola: 84767433 markings, 190145870 edges, 240496 markings/sec, 310 secs
lola: 85986917 markings, 192990805 edges, 243897 markings/sec, 315 secs
lola: 87246630 markings, 195848304 edges, 251943 markings/sec, 320 secs
lola: 88454925 markings, 198650612 edges, 241659 markings/sec, 325 secs
lola: 89673138 markings, 201467428 edges, 243643 markings/sec, 330 secs
lola: 90911601 markings, 204286043 edges, 247693 markings/sec, 335 secs
lola: 92137617 markings, 207104800 edges, 245203 markings/sec, 340 secs
lola: 93336261 markings, 209923132 edges, 239729 markings/sec, 345 secs
lola: 94525986 markings, 212700205 edges, 237945 markings/sec, 350 secs
lola: 95773605 markings, 215537632 edges, 249524 markings/sec, 355 secs
lola: 96983392 markings, 218341641 edges, 241957 markings/sec, 360 secs
lola: 98165340 markings, 221129260 edges, 236390 markings/sec, 365 secs
lola: 99303252 markings, 223847134 edges, 227582 markings/sec, 370 secs
lola: 100496827 markings, 226628849 edges, 238715 markings/sec, 375 secs
lola: 101720793 markings, 229418012 edges, 244793 markings/sec, 380 secs
lola: 102946019 markings, 232217205 edges, 245045 markings/sec, 385 secs
lola: 104158203 markings, 234993533 edges, 242437 markings/sec, 390 secs
lola: 105329517 markings, 237750732 edges, 234263 markings/sec, 395 secs
lola: 106535644 markings, 240537776 edges, 241225 markings/sec, 400 secs
lola: 107776424 markings, 243354629 edges, 248156 markings/sec, 405 secs
lola: 108971700 markings, 246118510 edges, 239055 markings/sec, 410 secs
lola: 110128060 markings, 248855299 edges, 231272 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 421 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-20-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: 10
lola: 1933410 markings, 3952409 edges, 386682 markings/sec, 0 secs
lola: 3588891 markings, 7511223 edges, 331096 markings/sec, 5 secs
lola: 4980917 markings, 10570770 edges, 278405 markings/sec, 10 secs
lola: 6406961 markings, 13738486 edges, 285209 markings/sec, 15 secs
lola: 7776481 markings, 16798486 edges, 273904 markings/sec, 20 secs
lola: 9154298 markings, 19903002 edges, 275563 markings/sec, 25 secs
lola: 10501523 markings, 22944209 edges, 269445 markings/sec, 30 secs
lola: 11830161 markings, 25955635 edges, 265728 markings/sec, 35 secs
lola: 13100376 markings, 28845521 edges, 254043 markings/sec, 40 secs
lola: 14319641 markings, 31638706 edges, 243853 markings/sec, 45 secs
lola: 15588151 markings, 34541024 edges, 253702 markings/sec, 50 secs
lola: 16830488 markings, 37413290 edges, 248467 markings/sec, 55 secs
lola: 18067232 markings, 40264658 edges, 247349 markings/sec, 60 secs
lola: 19304612 markings, 43131579 edges, 247476 markings/sec, 65 secs
lola: 20516539 markings, 45956805 edges, 242385 markings/sec, 70 secs
lola: 21728205 markings, 48782269 edges, 242333 markings/sec, 75 secs
lola: 22958496 markings, 51665695 edges, 246058 markings/sec, 80 secs
lola: 24179469 markings, 54510927 edges, 244195 markings/sec, 85 secs
lola: 25349098 markings, 57254126 edges, 233926 markings/sec, 90 secs
lola: 26461256 markings, 59878098 edges, 222432 markings/sec, 95 secs
lola: 27557393 markings, 62460483 edges, 219227 markings/sec, 100 secs
lola: 28667062 markings, 65070291 edges, 221934 markings/sec, 105 secs
lola: 29716326 markings, 67531432 edges, 209853 markings/sec, 110 secs
lola: 30786987 markings, 70067946 edges, 214132 markings/sec, 115 secs
lola: 31911646 markings, 72730928 edges, 224932 markings/sec, 120 secs
lola: 33052911 markings, 75436562 edges, 228253 markings/sec, 125 secs
lola: 34189590 markings, 78132347 edges, 227336 markings/sec, 130 secs
lola: 35331073 markings, 80845238 edges, 228297 markings/sec, 135 secs
lola: 36473926 markings, 83569123 edges, 228571 markings/sec, 140 secs
lola: 37618573 markings, 86284780 edges, 228929 markings/sec, 145 secs
lola: 38738242 markings, 88952015 edges, 223934 markings/sec, 150 secs
lola: 39808010 markings, 91499716 edges, 213954 markings/sec, 155 secs
lola: 40856871 markings, 94010283 edges, 209772 markings/sec, 160 secs
lola: 41906407 markings, 96506502 edges, 209907 markings/sec, 165 secs
lola: 43046357 markings, 99211491 edges, 227990 markings/sec, 170 secs
lola: 44163384 markings, 101880670 edges, 223405 markings/sec, 175 secs
lola: 45276183 markings, 104556941 edges, 222560 markings/sec, 180 secs
lola: 46383498 markings, 107201419 edges, 221463 markings/sec, 185 secs
lola: 47472103 markings, 109801243 edges, 217721 markings/sec, 190 secs
lola: 48564275 markings, 112411024 edges, 218434 markings/sec, 195 secs
lola: 49651426 markings, 115004775 edges, 217430 markings/sec, 200 secs
lola: 50726917 markings, 117581703 edges, 215098 markings/sec, 205 secs
lola: 51799338 markings, 120155395 edges, 214484 markings/sec, 210 secs
lola: 52871998 markings, 122745932 edges, 214532 markings/sec, 215 secs
lola: 53936555 markings, 125315772 edges, 212911 markings/sec, 220 secs
lola: 55012128 markings, 127889639 edges, 215115 markings/sec, 225 secs
lola: 56092191 markings, 130489514 edges, 216013 markings/sec, 230 secs
lola: 57189822 markings, 133127610 edges, 219526 markings/sec, 235 secs
lola: 58265009 markings, 135710507 edges, 215037 markings/sec, 240 secs
lola: 59269743 markings, 138137005 edges, 200947 markings/sec, 245 secs
lola: 60247806 markings, 140499251 edges, 195613 markings/sec, 250 secs
lola: 61327156 markings, 143108180 edges, 215870 markings/sec, 255 secs
lola: 62406796 markings, 145724462 edges, 215928 markings/sec, 260 secs
lola: 63487372 markings, 148341101 edges, 216115 markings/sec, 265 secs
lola: 64555766 markings, 150923935 edges, 213679 markings/sec, 270 secs
lola: 65631972 markings, 153527576 edges, 215241 markings/sec, 275 secs
lola: 66705067 markings, 156116706 edges, 214619 markings/sec, 280 secs
lola: 67768009 markings, 158701174 edges, 212588 markings/sec, 285 secs
lola: 68835379 markings, 161286677 edges, 213474 markings/sec, 290 secs
lola: 69905026 markings, 163885863 edges, 213929 markings/sec, 295 secs
lola: 70975991 markings, 166489374 edges, 214193 markings/sec, 300 secs
lola: 72042616 markings, 169075861 edges, 213325 markings/sec, 305 secs
lola: 73115215 markings, 171694023 edges, 214520 markings/sec, 310 secs
lola: 74179218 markings, 174281413 edges, 212801 markings/sec, 315 secs
lola: 75236070 markings, 176848260 edges, 211370 markings/sec, 320 secs
lola: 76284106 markings, 179397970 edges, 209607 markings/sec, 325 secs
lola: 77338575 markings, 181955884 edges, 210894 markings/sec, 330 secs
lola: 78385515 markings, 184506272 edges, 209388 markings/sec, 335 secs
lola: 79385753 markings, 186938764 edges, 200048 markings/sec, 340 secs
lola: 80421228 markings, 189479978 edges, 207095 markings/sec, 345 secs
lola: 81466937 markings, 192035166 edges, 209142 markings/sec, 350 secs
lola: 82497862 markings, 194557369 edges, 206185 markings/sec, 355 secs
lola: 83527276 markings, 197062537 edges, 205883 markings/sec, 360 secs
lola: 84561995 markings, 199583109 edges, 206944 markings/sec, 365 secs
lola: 85602129 markings, 202122268 edges, 208027 markings/sec, 370 secs
lola: 86528523 markings, 204375117 edges, 185279 markings/sec, 375 secs
lola: 87424750 markings, 206559249 edges, 179245 markings/sec, 380 secs
lola: 88447226 markings, 209062194 edges, 204495 markings/sec, 385 secs
lola: 89465168 markings, 211557383 edges, 203588 markings/sec, 390 secs
lola: 90392107 markings, 213818215 edges, 185388 markings/sec, 395 secs
lola: 91258958 markings, 215953650 edges, 173370 markings/sec, 400 secs
lola: 92142202 markings, 218119000 edges, 176649 markings/sec, 405 secs
lola: 93027425 markings, 220296576 edges, 177045 markings/sec, 410 secs
lola: 94023508 markings, 222735577 edges, 199217 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: 1796903 markings, 4025459 edges, 359381 markings/sec, 0 secs
lola: 3444965 markings, 7835571 edges, 329612 markings/sec, 5 secs
lola: 5056737 markings, 11571491 edges, 322354 markings/sec, 10 secs
lola: 6617843 markings, 15229815 edges, 312221 markings/sec, 15 secs
lola: 8154762 markings, 18847458 edges, 307384 markings/sec, 20 secs
lola: 9666843 markings, 22423160 edges, 302416 markings/sec, 25 secs
lola: 11183063 markings, 26003560 edges, 303244 markings/sec, 30 secs
lola: 12681549 markings, 29559477 edges, 299697 markings/sec, 35 secs
lola: 14166953 markings, 33093550 edges, 297081 markings/sec, 40 secs
lola: 15640023 markings, 36606411 edges, 294614 markings/sec, 45 secs
lola: 17115092 markings, 40106922 edges, 295014 markings/sec, 50 secs
lola: 18568280 markings, 43571792 edges, 290638 markings/sec, 55 secs
lola: 20012533 markings, 47028352 edges, 288851 markings/sec, 60 secs
lola: 21469136 markings, 50500995 edges, 291321 markings/sec, 65 secs
lola: 22902698 markings, 53912331 edges, 286712 markings/sec, 70 secs
lola: 24341471 markings, 57339596 edges, 287755 markings/sec, 75 secs
lola: 25790973 markings, 60799059 edges, 289900 markings/sec, 80 secs
lola: 27220435 markings, 64222907 edges, 285892 markings/sec, 85 secs
lola: 28660058 markings, 67663712 edges, 287925 markings/sec, 90 secs
lola: 30066823 markings, 71048250 edges, 281353 markings/sec, 95 secs
lola: 31462930 markings, 74405612 edges, 279221 markings/sec, 100 secs
lola: 32886263 markings, 77809615 edges, 284667 markings/sec, 105 secs
lola: 34296937 markings, 81199451 edges, 282135 markings/sec, 110 secs
lola: 35675996 markings, 84548137 edges, 275812 markings/sec, 115 secs
lola: 37059385 markings, 87893573 edges, 276678 markings/sec, 120 secs
lola: 38373222 markings, 91070601 edges, 262767 markings/sec, 125 secs
lola: 39738757 markings, 94355603 edges, 273107 markings/sec, 130 secs
lola: 41108137 markings, 97668797 edges, 273876 markings/sec, 135 secs
lola: 42493285 markings, 101014476 edges, 277030 markings/sec, 140 secs
lola: 43833519 markings, 104276374 edges, 268047 markings/sec, 145 secs
lola: 45157830 markings, 107492167 edges, 264862 markings/sec, 150 secs
lola: 46517829 markings, 110796463 edges, 272000 markings/sec, 155 secs
lola: 47880205 markings, 114103114 edges, 272475 markings/sec, 160 secs
lola: 49248366 markings, 117408556 edges, 273632 markings/sec, 165 secs
lola: 50601736 markings, 120688090 edges, 270674 markings/sec, 170 secs
lola: 51933083 markings, 123905893 edges, 266269 markings/sec, 175 secs
lola: 53302453 markings, 127227067 edges, 273874 markings/sec, 180 secs
lola: 54661437 markings, 130528554 edges, 271797 markings/sec, 185 secs
lola: 56020719 markings, 133840814 edges, 271856 markings/sec, 190 secs
lola: 57367209 markings, 137123278 edges, 269298 markings/sec, 195 secs
lola: 58733563 markings, 140432213 edges, 273271 markings/sec, 200 secs
lola: 60084924 markings, 143707884 edges, 270272 markings/sec, 205 secs
lola: 61434806 markings, 146988791 edges, 269976 markings/sec, 210 secs
lola: 62794646 markings, 150275420 edges, 271968 markings/sec, 215 secs
lola: 64116173 markings, 153503540 edges, 264305 markings/sec, 220 secs
lola: 65439853 markings, 156749844 edges, 264736 markings/sec, 225 secs
lola: 66792950 markings, 160038044 edges, 270619 markings/sec, 230 secs
lola: 68156447 markings, 163348869 edges, 272699 markings/sec, 235 secs
lola: 69508023 markings, 166661061 edges, 270315 markings/sec, 240 secs
lola: 70870805 markings, 169977773 edges, 272556 markings/sec, 245 secs
lola: 72207131 markings, 173247522 edges, 267265 markings/sec, 250 secs
lola: 73562403 markings, 176545824 edges, 271054 markings/sec, 255 secs
lola: 74878100 markings, 179760988 edges, 263139 markings/sec, 260 secs
lola: 76213908 markings, 183008637 edges, 267162 markings/sec, 265 secs
lola: 77519199 markings, 186226704 edges, 261058 markings/sec, 270 secs
lola: 78884075 markings, 189549762 edges, 272975 markings/sec, 275 secs
lola: 80273922 markings, 192902302 edges, 277969 markings/sec, 280 secs
lola: 81642117 markings, 196205181 edges, 273639 markings/sec, 285 secs
lola: 82980851 markings, 199470897 edges, 267747 markings/sec, 290 secs
lola: 84286560 markings, 202684411 edges, 261142 markings/sec, 295 secs
lola: 85582203 markings, 205857678 edges, 259129 markings/sec, 300 secs
lola: 86883465 markings, 209026961 edges, 260252 markings/sec, 305 secs
lola: 88181328 markings, 212204638 edges, 259573 markings/sec, 310 secs
lola: 89468909 markings, 215366228 edges, 257516 markings/sec, 315 secs
lola: 90764609 markings, 218554761 edges, 259140 markings/sec, 320 secs
lola: 92086130 markings, 221774220 edges, 264304 markings/sec, 325 secs
lola: 93391499 markings, 224968165 edges, 261074 markings/sec, 330 secs
lola: 94696940 markings, 228164143 edges, 261088 markings/sec, 335 secs
lola: 95989617 markings, 231336028 edges, 258535 markings/sec, 340 secs
lola: 97256914 markings, 234479125 edges, 253459 markings/sec, 345 secs
lola: 98569314 markings, 237689399 edges, 262480 markings/sec, 350 secs
lola: 99845398 markings, 240841494 edges, 255217 markings/sec, 355 secs
lola: 101152361 markings, 244023262 edges, 261393 markings/sec, 360 secs
lola: 102418756 markings, 247136332 edges, 253279 markings/sec, 365 secs
lola: 103689183 markings, 250247996 edges, 254085 markings/sec, 370 secs
lola: 104961645 markings, 253387321 edges, 254492 markings/sec, 375 secs
lola: 106276668 markings, 256605428 edges, 263005 markings/sec, 380 secs
lola: 107535489 markings, 259734167 edges, 251764 markings/sec, 385 secs
lola: 108836487 markings, 262923798 edges, 260200 markings/sec, 390 secs
lola: 110107246 markings, 266061783 edges, 254152 markings/sec, 395 secs
lola: 111422941 markings, 269266528 edges, 263139 markings/sec, 400 secs
lola: 112723209 markings, 272443693 edges, 260054 markings/sec, 405 secs
lola: 114012927 markings, 275589137 edges, 257944 markings/sec, 410 secs
lola: 115177812 markings, 278460212 edges, 232977 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Akt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Akt)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges

FORMULA Angiogenesis-PT-20-UpperBounds-15 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Angiogenesis-PT-20-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: 20
lola: 1796651 markings, 4024749 edges, 359330 markings/sec, 0 secs
lola: 3427135 markings, 7795620 edges, 326097 markings/sec, 5 secs
lola: 5016617 markings, 11481152 edges, 317896 markings/sec, 10 secs
lola: 6580382 markings, 15144077 edges, 312753 markings/sec, 15 secs
lola: 8119776 markings, 18763008 edges, 307879 markings/sec, 20 secs
lola: 9592629 markings, 22248598 edges, 294571 markings/sec, 25 secs
lola: 11097848 markings, 25805654 edges, 301044 markings/sec, 30 secs
lola: 12592523 markings, 29351981 edges, 298935 markings/sec, 35 secs
lola: 14081670 markings, 32885731 edges, 297829 markings/sec, 40 secs
lola: 15546623 markings, 36385945 edges, 292991 markings/sec, 45 secs
lola: 17027593 markings, 39894996 edges, 296194 markings/sec, 50 secs
lola: 18483119 markings, 43367266 edges, 291105 markings/sec, 55 secs
lola: 19924742 markings, 46813561 edges, 288325 markings/sec, 60 secs
lola: 21369507 markings, 50267010 edges, 288953 markings/sec, 65 secs
lola: 22772953 markings, 53607325 edges, 280689 markings/sec, 70 secs
lola: 24198011 markings, 56999557 edges, 285012 markings/sec, 75 secs
lola: 25646008 markings, 60454622 edges, 289599 markings/sec, 80 secs
lola: 27072065 markings, 63864855 edges, 285211 markings/sec, 85 secs
lola: 28504401 markings, 67290867 edges, 286467 markings/sec, 90 secs
lola: 29910582 markings, 70674057 edges, 281236 markings/sec, 95 secs
lola: 31306319 markings, 74028969 edges, 279147 markings/sec, 100 secs
lola: 32716339 markings, 77412501 edges, 282004 markings/sec, 105 secs
lola: 34127726 markings, 80792826 edges, 282277 markings/sec, 110 secs
lola: 35493807 markings, 84110578 edges, 273216 markings/sec, 115 secs
lola: 36878081 markings, 87451315 edges, 276855 markings/sec, 120 secs
lola: 38242897 markings, 90757367 edges, 272963 markings/sec, 125 secs
lola: 39634723 markings, 94108405 edges, 278365 markings/sec, 130 secs
lola: 41019332 markings, 97447409 edges, 276922 markings/sec, 135 secs
lola: 42399928 markings, 100786707 edges, 276119 markings/sec, 140 secs
lola: 43774717 markings, 104131613 edges, 274958 markings/sec, 145 secs
lola: 45139784 markings, 107448648 edges, 273013 markings/sec, 150 secs
lola: 46502237 markings, 110758163 edges, 272491 markings/sec, 155 secs
lola: 47856832 markings, 114047687 edges, 270919 markings/sec, 160 secs
lola: 49222008 markings, 117345653 edges, 273035 markings/sec, 165 secs
lola: 50582433 markings, 120640777 edges, 272085 markings/sec, 170 secs
lola: 51955768 markings, 123961397 edges, 274667 markings/sec, 175 secs
lola: 53318022 markings, 127263869 edges, 272451 markings/sec, 180 secs
lola: 54675439 markings, 130564640 edges, 271483 markings/sec, 185 secs
lola: 56024128 markings, 133849767 edges, 269738 markings/sec, 190 secs
lola: 57355315 markings, 137094671 edges, 266237 markings/sec, 195 secs
lola: 58723051 markings, 140409352 edges, 273547 markings/sec, 200 secs
lola: 60072837 markings, 143677739 edges, 269957 markings/sec, 205 secs
lola: 61429783 markings, 146976677 edges, 271389 markings/sec, 210 secs
lola: 62814497 markings, 150324640 edges, 276943 markings/sec, 215 secs
lola: 64133957 markings, 153544974 edges, 263892 markings/sec, 220 secs
lola: 65439006 markings, 156747791 edges, 261010 markings/sec, 225 secs
lola: 66777926 markings, 160000910 edges, 267784 markings/sec, 230 secs
lola: 68098539 markings, 163212414 edges, 264123 markings/sec, 235 secs
lola: 69415455 markings, 166431308 edges, 263383 markings/sec, 240 secs
lola: 70754233 markings, 169693081 edges, 267756 markings/sec, 245 secs
lola: 72070585 markings, 172909747 edges, 263270 markings/sec, 250 secs
lola: 73376428 markings, 176094001 edges, 261169 markings/sec, 255 secs
lola: 74683844 markings, 179289029 edges, 261483 markings/sec, 260 secs
lola: 76006100 markings, 182512573 edges, 264451 markings/sec, 265 secs
lola: 77306598 markings, 185709789 edges, 260100 markings/sec, 270 secs
lola: 78636090 markings, 188951839 edges, 265898 markings/sec, 275 secs
lola: 80010454 markings, 192257932 edges, 274873 markings/sec, 280 secs
lola: 81352917 markings, 195512516 edges, 268493 markings/sec, 285 secs
lola: 82664053 markings, 198703989 edges, 262227 markings/sec, 290 secs
lola: 83964681 markings, 201896515 edges, 260126 markings/sec, 295 secs
lola: 85272110 markings, 205096303 edges, 261486 markings/sec, 300 secs
lola: 86565423 markings, 208263524 edges, 258663 markings/sec, 305 secs
lola: 87832162 markings, 211360221 edges, 253348 markings/sec, 310 secs
lola: 89150606 markings, 214581724 edges, 263689 markings/sec, 315 secs
lola: 90434757 markings, 217750635 edges, 256830 markings/sec, 320 secs
lola: 91726909 markings, 220891116 edges, 258430 markings/sec, 325 secs
lola: 92976312 markings, 223968785 edges, 249881 markings/sec, 330 secs
lola: 94282406 markings, 227159711 edges, 261219 markings/sec, 335 secs
lola: 95600280 markings, 230380344 edges, 263575 markings/sec, 340 secs
lola: 96881013 markings, 233538365 edges, 256147 markings/sec, 345 secs
lola: 98184417 markings, 236747628 edges, 260681 markings/sec, 350 secs
lola: 99462249 markings, 239898766 edges, 255566 markings/sec, 355 secs
lola: 100765753 markings, 243077506 edges, 260701 markings/sec, 360 secs
lola: 101952348 markings, 245983220 edges, 237319 markings/sec, 365 secs
lola: 103137805 markings, 248890543 edges, 237091 markings/sec, 370 secs
lola: 104315423 markings, 251805075 edges, 235524 markings/sec, 375 secs
lola: 105506311 markings, 254725418 edges, 238178 markings/sec, 380 secs
lola: 106695498 markings, 257662092 edges, 237837 markings/sec, 385 secs
lola: 107856880 markings, 260529339 edges, 232276 markings/sec, 390 secs
lola: 109051816 markings, 263457705 edges, 238987 markings/sec, 395 secs
lola: 110232328 markings, 266364515 edges, 236102 markings/sec, 400 secs
lola: 111442381 markings, 269313013 edges, 242011 markings/sec, 405 secs
lola: 112646966 markings, 272257879 edges, 240917 markings/sec, 410 secs
lola: 113852797 markings, 275195909 edges, 241166 markings/sec, 415 secs
lola: time limit reached - aborting
lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown 20
lola: lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown 20 caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: 20 unknown unknown 20 20 unknown unknown 20 20 20 unknown unknown unknown unknown unknown 20
lola: memory consumption: 17664 KB
lola: time consumption: 3570 seconds

BK_STOP 1552403579317

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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-20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Angiogenesis-PT-20, 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 r022-csrt-155225094400013"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Angiogenesis-PT-20.tgz
mv Angiogenesis-PT-20 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;