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-155225094400010.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-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094400010
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.8K Feb 9 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 03:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 03:33 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.7K Feb 4 22:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 2 00:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 2 00:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 11:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 11:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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-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 1552400008117

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 @ 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-15-UpperBounds.task
lola: MAX(PtP3P2) : MAX(KdStarGStarPgP3) : MAX(Gab1) : MAX(KdStarGP3) : MAX(KdStarGStar) : MAX(KdStarGStarPgP3) : MAX(KdStarGStarPg) : MAX(GP3) : MAX(GP3) : MAX(Pip3) : MAX(GStarPgP3) : MAX(PtP3P2) : MAX(KdStarGStarP3kStarP3P2) : MAX(Pten) : MAX(DAGE) : MAX(AktStar)
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(PtP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3P2)
lola: processed formula length: 11
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: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 359 markings, 548 edges
lola: ========================================

FORMULA Angiogenesis-PT-15-UpperBounds-0 7 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(KdStarGStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgP3)
lola: processed formula length: 20
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: 2045078 markings, 3887468 edges, 409016 markings/sec, 0 secs
lola: 3858325 markings, 7363406 edges, 362649 markings/sec, 5 secs
lola: 5623334 markings, 10784920 edges, 353002 markings/sec, 10 secs
lola: 7373246 markings, 14226241 edges, 349982 markings/sec, 15 secs
lola: 9024110 markings, 17442181 edges, 330173 markings/sec, 20 secs
lola: 10814213 markings, 20954754 edges, 358021 markings/sec, 25 secs
lola: 12621348 markings, 24508334 edges, 361427 markings/sec, 30 secs
lola: 14341025 markings, 27911926 edges, 343935 markings/sec, 35 secs
lola: 16069727 markings, 31342806 edges, 345740 markings/sec, 40 secs
lola: 17697707 markings, 34596220 edges, 325596 markings/sec, 45 secs
lola: 19292665 markings, 37785894 edges, 318992 markings/sec, 50 secs
lola: 20871326 markings, 40956597 edges, 315732 markings/sec, 55 secs
lola: 22425197 markings, 44084945 edges, 310774 markings/sec, 60 secs
lola: 23984126 markings, 47230698 edges, 311786 markings/sec, 65 secs
lola: 25643410 markings, 50590619 edges, 331857 markings/sec, 70 secs
lola: 27342350 markings, 54030253 edges, 339788 markings/sec, 75 secs
lola: 28998994 markings, 57394666 edges, 331329 markings/sec, 80 secs
lola: 30601021 markings, 60665673 edges, 320405 markings/sec, 85 secs
lola: 32284937 markings, 64078135 edges, 336783 markings/sec, 90 secs
lola: 33958327 markings, 67485454 edges, 334678 markings/sec, 95 secs
lola: 35603926 markings, 70854828 edges, 329120 markings/sec, 100 secs
lola: 37259646 markings, 74239257 edges, 331144 markings/sec, 105 secs
lola: 38923786 markings, 77640629 edges, 332828 markings/sec, 110 secs
lola: 40538627 markings, 80968589 edges, 322968 markings/sec, 115 secs
lola: 42182556 markings, 84335302 edges, 328786 markings/sec, 120 secs
lola: 43810212 markings, 87694381 edges, 325531 markings/sec, 125 secs
lola: 45428673 markings, 91020981 edges, 323692 markings/sec, 130 secs
lola: 47028427 markings, 94321722 edges, 319951 markings/sec, 135 secs
lola: 48641839 markings, 97644636 edges, 322682 markings/sec, 140 secs
lola: 50234606 markings, 100926083 edges, 318553 markings/sec, 145 secs
lola: 51825800 markings, 104226359 edges, 318239 markings/sec, 150 secs
lola: 53412555 markings, 107510975 edges, 317351 markings/sec, 155 secs
lola: 55062734 markings, 110908535 edges, 330036 markings/sec, 160 secs
lola: 56707214 markings, 114292930 edges, 328896 markings/sec, 165 secs
lola: 58333101 markings, 117657201 edges, 325177 markings/sec, 170 secs
lola: 59977997 markings, 121051127 edges, 328979 markings/sec, 175 secs
lola: 61578629 markings, 124392690 edges, 320126 markings/sec, 180 secs
lola: 63194539 markings, 127741393 edges, 323182 markings/sec, 185 secs
lola: 64784616 markings, 131071178 edges, 318015 markings/sec, 190 secs
lola: 66350386 markings, 134332439 edges, 313154 markings/sec, 195 secs
lola: 67915383 markings, 137603593 edges, 312999 markings/sec, 200 secs
lola: 69471685 markings, 140852886 edges, 311260 markings/sec, 205 secs
lola: 71066602 markings, 144151983 edges, 318983 markings/sec, 210 secs
lola: 72629469 markings, 147418602 edges, 312573 markings/sec, 215 secs
lola: 74200375 markings, 150707023 edges, 314181 markings/sec, 220 secs
lola: 75765277 markings, 153971931 edges, 312980 markings/sec, 225 secs
lola: 77345969 markings, 157285962 edges, 316138 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8837480 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(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gab1)
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: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 0 markings, 0 edges
lola: ========================================

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 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGP3)
lola: processed formula length: 14
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: 2538631 markings, 4143440 edges, 507726 markings/sec, 0 secs
lola: 4667765 markings, 7664017 edges, 425827 markings/sec, 5 secs
lola: 6685119 markings, 11010104 edges, 403471 markings/sec, 10 secs
lola: 8657060 markings, 14272687 edges, 394388 markings/sec, 15 secs
lola: 10741110 markings, 17740269 edges, 416810 markings/sec, 20 secs
lola: 12670215 markings, 20956779 edges, 385821 markings/sec, 25 secs
lola: 14544747 markings, 24082426 edges, 374906 markings/sec, 30 secs
lola: 16386432 markings, 27162525 edges, 368337 markings/sec, 35 secs
lola: 18372495 markings, 30482366 edges, 397213 markings/sec, 40 secs
lola: 20378403 markings, 33833722 edges, 401182 markings/sec, 45 secs
lola: 22368737 markings, 37164979 edges, 398067 markings/sec, 50 secs
lola: 24346493 markings, 40477183 edges, 395551 markings/sec, 55 secs
lola: 26299748 markings, 43758155 edges, 390651 markings/sec, 60 secs
lola: 28257964 markings, 47038858 edges, 391643 markings/sec, 65 secs
lola: 30195461 markings, 50276880 edges, 387499 markings/sec, 70 secs
lola: 32105925 markings, 53482828 edges, 382093 markings/sec, 75 secs
lola: 34032877 markings, 56698576 edges, 385390 markings/sec, 80 secs
lola: 35937505 markings, 59893825 edges, 380926 markings/sec, 85 secs
lola: 37823614 markings, 63061603 edges, 377222 markings/sec, 90 secs
lola: 39700593 markings, 66223769 edges, 375396 markings/sec, 95 secs
lola: 41573639 markings, 69370114 edges, 374609 markings/sec, 100 secs
lola: 43412542 markings, 72470823 edges, 367781 markings/sec, 105 secs
lola: 45212742 markings, 75502880 edges, 360040 markings/sec, 110 secs
lola: 47061876 markings, 78609784 edges, 369827 markings/sec, 115 secs
lola: 48907216 markings, 81716943 edges, 369068 markings/sec, 120 secs
lola: 50754594 markings, 84810516 edges, 369476 markings/sec, 125 secs
lola: 52591307 markings, 87897265 edges, 367343 markings/sec, 130 secs
lola: 54428436 markings, 90977530 edges, 367426 markings/sec, 135 secs
lola: 56255960 markings, 94050523 edges, 365505 markings/sec, 140 secs
lola: 58029891 markings, 97059221 edges, 354786 markings/sec, 145 secs
lola: 59838498 markings, 100098648 edges, 361721 markings/sec, 150 secs
lola: 61628284 markings, 103130260 edges, 357957 markings/sec, 155 secs
lola: 63428158 markings, 106170643 edges, 359975 markings/sec, 160 secs
lola: 65253895 markings, 109244060 edges, 365147 markings/sec, 165 secs
lola: 67082380 markings, 112321967 edges, 365697 markings/sec, 170 secs
lola: 68902394 markings, 115401774 edges, 364003 markings/sec, 175 secs
lola: 70700314 markings, 118448609 edges, 359584 markings/sec, 180 secs
lola: 72503505 markings, 121495920 edges, 360638 markings/sec, 185 secs
lola: 74315449 markings, 124556482 edges, 362389 markings/sec, 190 secs
lola: 76130056 markings, 127615705 edges, 362921 markings/sec, 195 secs
lola: 77925094 markings, 130660316 edges, 359008 markings/sec, 200 secs
lola: 79716009 markings, 133690259 edges, 358183 markings/sec, 205 secs
lola: 81504018 markings, 136713292 edges, 357602 markings/sec, 210 secs
lola: 83252290 markings, 139678026 edges, 349654 markings/sec, 215 secs
lola: 85038709 markings, 142700101 edges, 357284 markings/sec, 220 secs
lola: 86813102 markings, 145709126 edges, 354879 markings/sec, 225 secs
lola: 88579403 markings, 148705722 edges, 353260 markings/sec, 230 secs
lola: 90332327 markings, 151671485 edges, 350585 markings/sec, 235 secs
lola: 92077671 markings, 154608523 edges, 349069 markings/sec, 240 secs
lola: 93858828 markings, 157609680 edges, 356231 markings/sec, 245 secs
lola: 95625535 markings, 160590013 edges, 353341 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6906004 KB
lola: time consumption: 495 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 256 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-4 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgP3)
lola: processed formula length: 20
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: 2163678 markings, 4115097 edges, 432736 markings/sec, 0 secs
lola: 4182722 markings, 7992830 edges, 403809 markings/sec, 5 secs
lola: 6161168 markings, 11821462 edges, 395689 markings/sec, 10 secs
lola: 8075859 markings, 15607093 edges, 382938 markings/sec, 15 secs
lola: 10046265 markings, 19442910 edges, 394081 markings/sec, 20 secs
lola: 11979212 markings, 23235042 edges, 386589 markings/sec, 25 secs
lola: 13861155 markings, 26974980 edges, 376389 markings/sec, 30 secs
lola: 15766660 markings, 30732232 edges, 381101 markings/sec, 35 secs
lola: 17575006 markings, 34357693 edges, 361669 markings/sec, 40 secs
lola: 19420700 markings, 38050549 edges, 369139 markings/sec, 45 secs
lola: 21254239 markings, 41724229 edges, 366708 markings/sec, 50 secs
lola: 23073234 markings, 45379762 edges, 363799 markings/sec, 55 secs
lola: 24855386 markings, 48993634 edges, 356430 markings/sec, 60 secs
lola: 26642507 markings, 52609128 edges, 357424 markings/sec, 65 secs
lola: 28411090 markings, 56199127 edges, 353717 markings/sec, 70 secs
lola: 30173860 markings, 59785240 edges, 352554 markings/sec, 75 secs
lola: 31937414 markings, 63372430 edges, 352711 markings/sec, 80 secs
lola: 33711862 markings, 66983102 edges, 354890 markings/sec, 85 secs
lola: 35448014 markings, 70534126 edges, 347230 markings/sec, 90 secs
lola: 37186757 markings, 74090524 edges, 347749 markings/sec, 95 secs
lola: 38927070 markings, 77647676 edges, 348063 markings/sec, 100 secs
lola: 40624125 markings, 81145611 edges, 339411 markings/sec, 105 secs
lola: 42351870 markings, 84680704 edges, 345549 markings/sec, 110 secs
lola: 44048760 markings, 88191349 edges, 339378 markings/sec, 115 secs
lola: 45751597 markings, 91688229 edges, 340567 markings/sec, 120 secs
lola: 47437260 markings, 95164865 edges, 337133 markings/sec, 125 secs
lola: 49128779 markings, 98645109 edges, 338304 markings/sec, 130 secs
lola: 50796804 markings, 102084399 edges, 333605 markings/sec, 135 secs
lola: 52448684 markings, 105512876 edges, 330376 markings/sec, 140 secs
lola: 54110345 markings, 108945559 edges, 332332 markings/sec, 145 secs
lola: 55792393 markings, 112412874 edges, 336410 markings/sec, 150 secs
lola: 57474119 markings, 115876717 edges, 336345 markings/sec, 155 secs
lola: 59152189 markings, 119346435 edges, 335614 markings/sec, 160 secs
lola: 60807022 markings, 122779882 edges, 330967 markings/sec, 165 secs
lola: 62458284 markings, 126210176 edges, 330252 markings/sec, 170 secs
lola: 64040408 markings, 129513340 edges, 316425 markings/sec, 175 secs
lola: 65634843 markings, 132841910 edges, 318887 markings/sec, 180 secs
lola: 67271705 markings, 136264769 edges, 327372 markings/sec, 185 secs
lola: 68923445 markings, 139695951 edges, 330348 markings/sec, 190 secs
lola: 70556885 markings, 143096756 edges, 326688 markings/sec, 195 secs
lola: 72172802 markings, 146465298 edges, 323183 markings/sec, 200 secs
lola: 73782902 markings, 149836876 edges, 322020 markings/sec, 205 secs
lola: 75403580 markings, 153218999 edges, 324136 markings/sec, 210 secs
lola: 77026988 markings, 156614011 edges, 324682 markings/sec, 215 secs
lola: 78637250 markings, 159994157 edges, 322052 markings/sec, 220 secs
lola: 80231246 markings, 163362341 edges, 318799 markings/sec, 225 secs
lola: 81819812 markings, 166700409 edges, 317713 markings/sec, 230 secs
lola: 83390826 markings, 169998894 edges, 314203 markings/sec, 235 secs
lola: 84993311 markings, 173363113 edges, 320497 markings/sec, 240 secs
lola: 86589629 markings, 176714107 edges, 319264 markings/sec, 245 secs
lola: 88192175 markings, 180091097 edges, 320509 markings/sec, 250 secs
lola: 89795727 markings, 183446959 edges, 320710 markings/sec, 255 secs
lola: 91346560 markings, 186722636 edges, 310167 markings/sec, 260 secs
lola: 92932863 markings, 190070851 edges, 317261 markings/sec, 265 secs
lola: 94521851 markings, 193417030 edges, 317798 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7 unknown 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 279 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-6 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 7 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GP3)
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: 2252151 markings, 3967024 edges, 450430 markings/sec, 0 secs
lola: 4307461 markings, 7659782 edges, 411062 markings/sec, 5 secs
lola: 6254461 markings, 11189553 edges, 389400 markings/sec, 10 secs
lola: 8164394 markings, 14665527 edges, 381987 markings/sec, 15 secs
lola: 10037752 markings, 18084188 edges, 374672 markings/sec, 20 secs
lola: 11889951 markings, 21470853 edges, 370440 markings/sec, 25 secs
lola: 13711260 markings, 24820398 edges, 364262 markings/sec, 30 secs
lola: 15511602 markings, 28135879 edges, 360068 markings/sec, 35 secs
lola: 17314735 markings, 31443684 edges, 360627 markings/sec, 40 secs
lola: 19090505 markings, 34718829 edges, 355154 markings/sec, 45 secs
lola: 20783126 markings, 37855213 edges, 338524 markings/sec, 50 secs
lola: 22454814 markings, 40955537 edges, 334338 markings/sec, 55 secs
lola: 24112407 markings, 44027551 edges, 331519 markings/sec, 60 secs
lola: 25757563 markings, 47085334 edges, 329031 markings/sec, 65 secs
lola: 27391032 markings, 50123179 edges, 326694 markings/sec, 70 secs
lola: 29021833 markings, 53158908 edges, 326160 markings/sec, 75 secs
lola: 30660274 markings, 56212035 edges, 327688 markings/sec, 80 secs
lola: 32364828 markings, 59375151 edges, 340911 markings/sec, 85 secs
lola: 34037794 markings, 62498770 edges, 334593 markings/sec, 90 secs
lola: 35722706 markings, 65622169 edges, 336982 markings/sec, 95 secs
lola: 37387691 markings, 68724041 edges, 332997 markings/sec, 100 secs
lola: 39037510 markings, 71815940 edges, 329964 markings/sec, 105 secs
lola: 40686392 markings, 74899734 edges, 329776 markings/sec, 110 secs
lola: 42311667 markings, 77949045 edges, 325055 markings/sec, 115 secs
lola: 43930292 markings, 80995144 edges, 323725 markings/sec, 120 secs
lola: 45548619 markings, 84038911 edges, 323665 markings/sec, 125 secs
lola: 47168149 markings, 87084432 edges, 323906 markings/sec, 130 secs
lola: 48776579 markings, 90117237 edges, 321686 markings/sec, 135 secs
lola: 50377918 markings, 93136984 edges, 320268 markings/sec, 140 secs
lola: 51992648 markings, 96174549 edges, 322946 markings/sec, 145 secs
lola: 53580239 markings, 99171092 edges, 317518 markings/sec, 150 secs
lola: 55173703 markings, 102191320 edges, 318693 markings/sec, 155 secs
lola: 56781500 markings, 105210349 edges, 321559 markings/sec, 160 secs
lola: 58358455 markings, 108202946 edges, 315391 markings/sec, 165 secs
lola: 59942119 markings, 111194469 edges, 316733 markings/sec, 170 secs
lola: 61523969 markings, 114186011 edges, 316370 markings/sec, 175 secs
lola: 63097249 markings, 117153934 edges, 314656 markings/sec, 180 secs
lola: 64663816 markings, 120117664 edges, 313313 markings/sec, 185 secs
lola: 66231705 markings, 123091355 edges, 313578 markings/sec, 190 secs
lola: 67797449 markings, 126058415 edges, 313149 markings/sec, 195 secs
lola: 69356573 markings, 129009120 edges, 311825 markings/sec, 200 secs
lola: 70920607 markings, 131983972 edges, 312807 markings/sec, 205 secs
lola: 72466247 markings, 134923646 edges, 309128 markings/sec, 210 secs
lola: 73984546 markings, 137830011 edges, 303660 markings/sec, 215 secs
lola: 75507865 markings, 140734406 edges, 304664 markings/sec, 220 secs
lola: 77047812 markings, 143676691 edges, 307989 markings/sec, 225 secs
lola: 78573432 markings, 146591867 edges, 305124 markings/sec, 230 secs
lola: 80104654 markings, 149521433 edges, 306244 markings/sec, 235 secs
lola: 81633916 markings, 152446320 edges, 305852 markings/sec, 240 secs
lola: 83162668 markings, 155375840 edges, 305750 markings/sec, 245 secs
lola: 84690901 markings, 158298306 edges, 305647 markings/sec, 250 secs
lola: 86173413 markings, 161134423 edges, 296502 markings/sec, 255 secs
lola: 87703697 markings, 164050944 edges, 306057 markings/sec, 260 secs
lola: 89202709 markings, 166927087 edges, 299802 markings/sec, 265 secs
lola: 90692578 markings, 169783727 edges, 297974 markings/sec, 270 secs
lola: 92184257 markings, 172628121 edges, 298336 markings/sec, 275 secs
lola: 93651898 markings, 175443432 edges, 293528 markings/sec, 280 secs
lola: 95131359 markings, 178291860 edges, 295892 markings/sec, 285 secs
lola: 96614114 markings, 181137087 edges, 296551 markings/sec, 290 secs
lola: 98102143 markings, 184001501 edges, 297606 markings/sec, 295 secs
lola: 99599799 markings, 186868770 edges, 299531 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9606136 KB
lola: time consumption: 1085 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GP3)
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: 2225390 markings, 3919305 edges, 445078 markings/sec, 0 secs
lola: 4275777 markings, 7603502 edges, 410077 markings/sec, 5 secs
lola: 6222806 markings, 11131525 edges, 389406 markings/sec, 10 secs
lola: 8086587 markings, 14523967 edges, 372756 markings/sec, 15 secs
lola: 9943053 markings, 17911319 edges, 371293 markings/sec, 20 secs
lola: 11795924 markings, 21298483 edges, 370574 markings/sec, 25 secs
lola: 13590203 markings, 24598252 edges, 358856 markings/sec, 30 secs
lola: 15395934 markings, 27924698 edges, 361146 markings/sec, 35 secs
lola: 17196317 markings, 31228593 edges, 360077 markings/sec, 40 secs
lola: 18960657 markings, 34478593 edges, 352868 markings/sec, 45 secs
lola: 20708104 markings, 37715421 edges, 349489 markings/sec, 50 secs
lola: 22435017 markings, 40918496 edges, 345383 markings/sec, 55 secs
lola: 24154550 markings, 44105257 edges, 343907 markings/sec, 60 secs
lola: 25862961 markings, 47280779 edges, 341682 markings/sec, 65 secs
lola: 27563002 markings, 50445138 edges, 340008 markings/sec, 70 secs
lola: 29257429 markings, 53597739 edges, 338885 markings/sec, 75 secs
lola: 30951460 markings, 56754451 edges, 338806 markings/sec, 80 secs
lola: 32646240 markings, 59902603 edges, 338956 markings/sec, 85 secs
lola: 34319645 markings, 63022348 edges, 334681 markings/sec, 90 secs
lola: 36009371 markings, 66154029 edges, 337945 markings/sec, 95 secs
lola: 37664218 markings, 69239532 edges, 330969 markings/sec, 100 secs
lola: 39321905 markings, 72340122 edges, 331537 markings/sec, 105 secs
lola: 40963652 markings, 75418891 edges, 328349 markings/sec, 110 secs
lola: 42592668 markings, 78475111 edges, 325803 markings/sec, 115 secs
lola: 44221140 markings, 81539853 edges, 325694 markings/sec, 120 secs
lola: 45841983 markings, 84585065 edges, 324169 markings/sec, 125 secs
lola: 47434339 markings, 87589779 edges, 318471 markings/sec, 130 secs
lola: 49043758 markings, 90616450 edges, 321884 markings/sec, 135 secs
lola: 50638630 markings, 93625691 edges, 318974 markings/sec, 140 secs
lola: 52252588 markings, 96662426 edges, 322792 markings/sec, 145 secs
lola: 53840862 markings, 99663175 edges, 317655 markings/sec, 150 secs
lola: 55426072 markings, 102665747 edges, 317042 markings/sec, 155 secs
lola: 57020626 markings, 105663790 edges, 318911 markings/sec, 160 secs
lola: 58590202 markings, 108640915 edges, 313915 markings/sec, 165 secs
lola: 60170134 markings, 111625867 edges, 315986 markings/sec, 170 secs
lola: 61739789 markings, 114590406 edges, 313931 markings/sec, 175 secs
lola: 63301613 markings, 117541734 edges, 312365 markings/sec, 180 secs
lola: 64871019 markings, 120508515 edges, 313881 markings/sec, 185 secs
lola: 66423564 markings, 123454359 edges, 310509 markings/sec, 190 secs
lola: 67984516 markings, 126412626 edges, 312190 markings/sec, 195 secs
lola: 69549398 markings, 129373895 edges, 312976 markings/sec, 200 secs
lola: 71094532 markings, 132314670 edges, 309027 markings/sec, 205 secs
lola: 72605591 markings, 135191164 edges, 302212 markings/sec, 210 secs
lola: 74097409 markings, 138049255 edges, 298364 markings/sec, 215 secs
lola: 75633750 markings, 140971243 edges, 307268 markings/sec, 220 secs
lola: 77170191 markings, 143909372 edges, 307288 markings/sec, 225 secs
lola: 78691824 markings, 146818459 edges, 304327 markings/sec, 230 secs
lola: 80231088 markings, 149764043 edges, 307853 markings/sec, 235 secs
lola: 81727764 markings, 152624240 edges, 299335 markings/sec, 240 secs
lola: 83212270 markings, 155469002 edges, 296901 markings/sec, 245 secs
lola: 84729108 markings, 158374319 edges, 303368 markings/sec, 250 secs
lola: 86230915 markings, 161244290 edges, 300361 markings/sec, 255 secs
lola: 87755243 markings, 164149423 edges, 304866 markings/sec, 260 secs
lola: 89247871 markings, 167013642 edges, 298526 markings/sec, 265 secs
lola: 90720831 markings, 169838301 edges, 294592 markings/sec, 270 secs
lola: 92229234 markings, 172716763 edges, 301681 markings/sec, 275 secs
lola: 93721468 markings, 175579014 edges, 298447 markings/sec, 280 secs
lola: 95203384 markings, 178432310 edges, 296383 markings/sec, 285 secs
lola: 96683393 markings, 181271153 edges, 296002 markings/sec, 290 secs
lola: 98174805 markings, 184142997 edges, 298282 markings/sec, 295 secs
lola: 99670277 markings, 187006007 edges, 299094 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9613000 KB
lola: time consumption: 1396 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 310 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: 2147144 markings, 4095758 edges, 429429 markings/sec, 0 secs
lola: 4090168 markings, 7944131 edges, 388605 markings/sec, 5 secs
lola: 5918765 markings, 11644643 edges, 365719 markings/sec, 10 secs
lola: 7716028 markings, 15311386 edges, 359453 markings/sec, 15 secs
lola: 9459202 markings, 18911472 edges, 348635 markings/sec, 20 secs
lola: 11206882 markings, 22528938 edges, 349536 markings/sec, 25 secs
lola: 12922810 markings, 26111413 edges, 343186 markings/sec, 30 secs
lola: 14612572 markings, 29667697 edges, 337952 markings/sec, 35 secs
lola: 16259954 markings, 33133709 edges, 329476 markings/sec, 40 secs
lola: 17904518 markings, 36632940 edges, 328913 markings/sec, 45 secs
lola: 19560266 markings, 40140392 edges, 331150 markings/sec, 50 secs
lola: 21188877 markings, 43623840 edges, 325722 markings/sec, 55 secs
lola: 22807073 markings, 47101581 edges, 323639 markings/sec, 60 secs
lola: 24417360 markings, 50556002 edges, 322057 markings/sec, 65 secs
lola: 26000302 markings, 53989196 edges, 316588 markings/sec, 70 secs
lola: 27584475 markings, 57396498 edges, 316835 markings/sec, 75 secs
lola: 29142182 markings, 60774361 edges, 311541 markings/sec, 80 secs
lola: 30707006 markings, 64159972 edges, 312965 markings/sec, 85 secs
lola: 32268967 markings, 67549963 edges, 312392 markings/sec, 90 secs
lola: 33805499 markings, 70920160 edges, 307306 markings/sec, 95 secs
lola: 35351683 markings, 74301717 edges, 309237 markings/sec, 100 secs
lola: 36871166 markings, 77647213 edges, 303897 markings/sec, 105 secs
lola: 38397178 markings, 80993142 edges, 305202 markings/sec, 110 secs
lola: 39908146 markings, 84311449 edges, 302194 markings/sec, 115 secs
lola: 41420206 markings, 87634411 edges, 302412 markings/sec, 120 secs
lola: 42918228 markings, 90933335 edges, 299604 markings/sec, 125 secs
lola: 44421513 markings, 94244848 edges, 300657 markings/sec, 130 secs
lola: 45916781 markings, 97532761 edges, 299054 markings/sec, 135 secs
lola: 47392887 markings, 100802391 edges, 295221 markings/sec, 140 secs
lola: 48861141 markings, 104058286 edges, 293651 markings/sec, 145 secs
lola: 50338241 markings, 107327445 edges, 295420 markings/sec, 150 secs
lola: 51804450 markings, 110595718 edges, 293242 markings/sec, 155 secs
lola: 53281028 markings, 113871240 edges, 295316 markings/sec, 160 secs
lola: 54751423 markings, 117134470 edges, 294079 markings/sec, 165 secs
lola: 56211633 markings, 120388805 edges, 292042 markings/sec, 170 secs
lola: 57661790 markings, 123630871 edges, 290031 markings/sec, 175 secs
lola: 59108467 markings, 126865879 edges, 289335 markings/sec, 180 secs
lola: 60546772 markings, 130079132 edges, 287661 markings/sec, 185 secs
lola: 61976497 markings, 133288394 edges, 285945 markings/sec, 190 secs
lola: 63397722 markings, 136484797 edges, 284245 markings/sec, 195 secs
lola: 64812871 markings, 139676562 edges, 283030 markings/sec, 200 secs
lola: 66247831 markings, 142904311 edges, 286992 markings/sec, 205 secs
lola: 67671817 markings, 146120103 edges, 284797 markings/sec, 210 secs
lola: 69086703 markings, 149309792 edges, 282977 markings/sec, 215 secs
lola: 70492965 markings, 152489747 edges, 281252 markings/sec, 220 secs
lola: 71905312 markings, 155679627 edges, 282469 markings/sec, 225 secs
lola: 73324641 markings, 158880718 edges, 283866 markings/sec, 230 secs
lola: 74723658 markings, 162055591 edges, 279803 markings/sec, 235 secs
lola: 76079824 markings, 165127807 edges, 271233 markings/sec, 240 secs
lola: 77424195 markings, 168186319 edges, 268874 markings/sec, 245 secs
lola: 78762858 markings, 171248623 edges, 267733 markings/sec, 250 secs
lola: 80134316 markings, 174355529 edges, 274292 markings/sec, 255 secs
lola: 81521036 markings, 177495328 edges, 277344 markings/sec, 260 secs
lola: 82919753 markings, 180659713 edges, 279743 markings/sec, 265 secs
lola: 84331464 markings, 183850431 edges, 282342 markings/sec, 270 secs
lola: 85714297 markings, 186971432 edges, 276567 markings/sec, 275 secs
lola: 87092280 markings, 190096161 edges, 275597 markings/sec, 280 secs
lola: 88477349 markings, 193239457 edges, 277014 markings/sec, 285 secs
lola: 89853110 markings, 196378745 edges, 275152 markings/sec, 290 secs
lola: 91227384 markings, 199520086 edges, 274855 markings/sec, 295 secs
lola: 92604159 markings, 202645820 edges, 275355 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarPgP3)
lola: processed formula length: 14
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: 1900242 markings, 3939061 edges, 380048 markings/sec, 0 secs
lola: 3660545 markings, 7681988 edges, 352061 markings/sec, 5 secs
lola: 5348507 markings, 11318710 edges, 337592 markings/sec, 10 secs
lola: 6993058 markings, 14891523 edges, 328910 markings/sec, 15 secs
lola: 8587138 markings, 18391772 edges, 318816 markings/sec, 20 secs
lola: 10156635 markings, 21850458 edges, 313899 markings/sec, 25 secs
lola: 11717781 markings, 25291959 edges, 312229 markings/sec, 30 secs
lola: 13258523 markings, 28703761 edges, 308148 markings/sec, 35 secs
lola: 14781662 markings, 32093478 edges, 304628 markings/sec, 40 secs
lola: 16256000 markings, 35373950 edges, 294868 markings/sec, 45 secs
lola: 17712038 markings, 38647378 edges, 291208 markings/sec, 50 secs
lola: 19179872 markings, 41919460 edges, 293567 markings/sec, 55 secs
lola: 20632226 markings, 45192048 edges, 290471 markings/sec, 60 secs
lola: 22081428 markings, 48429584 edges, 289840 markings/sec, 65 secs
lola: 23494015 markings, 51600264 edges, 282517 markings/sec, 70 secs
lola: 24931144 markings, 54825502 edges, 287426 markings/sec, 75 secs
lola: 26371123 markings, 58064901 edges, 287996 markings/sec, 80 secs
lola: 27789429 markings, 61246627 edges, 283661 markings/sec, 85 secs
lola: 29234898 markings, 64500154 edges, 289094 markings/sec, 90 secs
lola: 30676574 markings, 67747867 edges, 288335 markings/sec, 95 secs
lola: 32154909 markings, 71027076 edges, 295667 markings/sec, 100 secs
lola: 33591427 markings, 74260993 edges, 287304 markings/sec, 105 secs
lola: 34999803 markings, 77434909 edges, 281675 markings/sec, 110 secs
lola: 36413411 markings, 80655355 edges, 282722 markings/sec, 115 secs
lola: 37794717 markings, 83830427 edges, 276261 markings/sec, 120 secs
lola: 39170925 markings, 86992991 edges, 275242 markings/sec, 125 secs
lola: 40563307 markings, 90164417 edges, 278476 markings/sec, 130 secs
lola: 41945460 markings, 93321713 edges, 276431 markings/sec, 135 secs
lola: 43339110 markings, 96498607 edges, 278730 markings/sec, 140 secs
lola: 44751548 markings, 99691334 edges, 282488 markings/sec, 145 secs
lola: 46107591 markings, 102838129 edges, 271209 markings/sec, 150 secs
lola: 47505062 markings, 106021848 edges, 279494 markings/sec, 155 secs
lola: 48894666 markings, 109200429 edges, 277921 markings/sec, 160 secs
lola: 50241678 markings, 112279716 edges, 269402 markings/sec, 165 secs
lola: 51612444 markings, 115419936 edges, 274153 markings/sec, 170 secs
lola: 52960536 markings, 118534375 edges, 269618 markings/sec, 175 secs
lola: 54291076 markings, 121617234 edges, 266108 markings/sec, 180 secs
lola: 55633591 markings, 124696548 edges, 268503 markings/sec, 185 secs
lola: 56984466 markings, 127804404 edges, 270175 markings/sec, 190 secs
lola: 58344018 markings, 130925978 edges, 271910 markings/sec, 195 secs
lola: 59690349 markings, 134022942 edges, 269266 markings/sec, 200 secs
lola: 61035050 markings, 137136546 edges, 268940 markings/sec, 205 secs
lola: 62409242 markings, 140290461 edges, 274838 markings/sec, 210 secs
lola: 63728038 markings, 143348874 edges, 263759 markings/sec, 215 secs
lola: 65062045 markings, 146448478 edges, 266801 markings/sec, 220 secs
lola: 66387537 markings, 149513987 edges, 265098 markings/sec, 225 secs
lola: 67692096 markings, 152530211 edges, 260912 markings/sec, 230 secs
lola: 69022381 markings, 155592253 edges, 266057 markings/sec, 235 secs
lola: 70340802 markings, 158646983 edges, 263684 markings/sec, 240 secs
lola: 71663543 markings, 161701189 edges, 264548 markings/sec, 245 secs
lola: 72985182 markings, 164741798 edges, 264328 markings/sec, 250 secs
lola: 74308747 markings, 167800175 edges, 264713 markings/sec, 255 secs
lola: 75623210 markings, 170848249 edges, 262893 markings/sec, 260 secs
lola: 76939924 markings, 173912649 edges, 263343 markings/sec, 265 secs
lola: 78259755 markings, 176963436 edges, 263966 markings/sec, 270 secs
lola: 79555597 markings, 179970651 edges, 259168 markings/sec, 275 secs
lola: 80842742 markings, 182974714 edges, 257429 markings/sec, 280 secs
lola: 82147437 markings, 186014604 edges, 260939 markings/sec, 285 secs
lola: 83459137 markings, 189069766 edges, 262340 markings/sec, 290 secs
lola: 84733205 markings, 192082366 edges, 254814 markings/sec, 295 secs
lola: 86056556 markings, 195142820 edges, 264670 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9372640 KB
lola: time consumption: 2017 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3P2)
lola: processed formula length: 11
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: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 359 markings, 548 edges
lola: ========================================

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

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

FORMULA Angiogenesis-PT-15-UpperBounds-13 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 774 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-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: 76 markings, 117 edges
lola: ========================================

FORMULA Angiogenesis-PT-15-UpperBounds-14 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1548 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-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: 37 markings, 36 edges

FORMULA Angiogenesis-PT-15-UpperBounds-15 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgP3)
lola: processed formula length: 20
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: 2151307 markings, 4091908 edges, 430261 markings/sec, 0 secs
lola: 4219856 markings, 8066866 edges, 413710 markings/sec, 5 secs
lola: 6251525 markings, 11998292 edges, 406334 markings/sec, 10 secs
lola: 8187675 markings, 15821828 edges, 387230 markings/sec, 15 secs
lola: 10161561 markings, 19664215 edges, 394777 markings/sec, 20 secs
lola: 12097336 markings, 23466438 edges, 387155 markings/sec, 25 secs
lola: 13979067 markings, 27204417 edges, 376346 markings/sec, 30 secs
lola: 15878492 markings, 30953862 edges, 379885 markings/sec, 35 secs
lola: 17710119 markings, 34619076 edges, 366325 markings/sec, 40 secs
lola: 19538485 markings, 38289528 edges, 365673 markings/sec, 45 secs
lola: 21360028 markings, 41944500 edges, 364309 markings/sec, 50 secs
lola: 23177793 markings, 45588734 edges, 363553 markings/sec, 55 secs
lola: 24952829 markings, 49190052 edges, 355007 markings/sec, 60 secs
lola: 26734339 markings, 52799177 edges, 356302 markings/sec, 65 secs
lola: 28511370 markings, 56406288 edges, 355406 markings/sec, 70 secs
lola: 30278741 markings, 59996122 edges, 353474 markings/sec, 75 secs
lola: 32042216 markings, 63582835 edges, 352695 markings/sec, 80 secs
lola: 33794667 markings, 67157853 edges, 350490 markings/sec, 85 secs
lola: 35509475 markings, 70661261 edges, 342962 markings/sec, 90 secs
lola: 37236211 markings, 74192689 edges, 345347 markings/sec, 95 secs
lola: 38976268 markings, 77751036 edges, 348011 markings/sec, 100 secs
lola: 40657401 markings, 81212973 edges, 336227 markings/sec, 105 secs
lola: 42381865 markings, 84741220 edges, 344893 markings/sec, 110 secs
lola: 44073231 markings, 88240617 edges, 338273 markings/sec, 115 secs
lola: 45770469 markings, 91727264 edges, 339448 markings/sec, 120 secs
lola: 47445543 markings, 95181523 edges, 335015 markings/sec, 125 secs
lola: 49128414 markings, 98644370 edges, 336574 markings/sec, 130 secs
lola: 50792135 markings, 102074236 edges, 332744 markings/sec, 135 secs
lola: 52450043 markings, 105515903 edges, 331582 markings/sec, 140 secs
lola: 54123299 markings, 108972272 edges, 334651 markings/sec, 145 secs
lola: 55796047 markings, 112420544 edges, 334550 markings/sec, 150 secs
lola: 57471776 markings, 115872007 edges, 335146 markings/sec, 155 secs
lola: 59143479 markings, 119329105 edges, 334341 markings/sec, 160 secs
lola: 60798029 markings, 122760775 edges, 330910 markings/sec, 165 secs
lola: 62448708 markings, 126190525 edges, 330136 markings/sec, 170 secs
lola: 64076377 markings, 129590175 edges, 325534 markings/sec, 175 secs
lola: 65713047 markings, 133004845 edges, 327334 markings/sec, 180 secs
lola: 67346316 markings, 136419518 edges, 326654 markings/sec, 185 secs
lola: 68982218 markings, 139819288 edges, 327180 markings/sec, 190 secs
lola: 70614168 markings, 143214504 edges, 326390 markings/sec, 195 secs
lola: 72224602 markings, 146573457 edges, 322087 markings/sec, 200 secs
lola: 73817351 markings, 149906330 edges, 318550 markings/sec, 205 secs
lola: 75425596 markings, 153263721 edges, 321649 markings/sec, 210 secs
lola: 77040638 markings, 156642717 edges, 323008 markings/sec, 215 secs
lola: 78634771 markings, 159988920 edges, 318827 markings/sec, 220 secs
lola: 80219502 markings, 163338222 edges, 316946 markings/sec, 225 secs
lola: 81792029 markings, 166642606 edges, 314505 markings/sec, 230 secs
lola: 83367517 markings, 169950965 edges, 315098 markings/sec, 235 secs
lola: 84917544 markings, 173207286 edges, 310005 markings/sec, 240 secs
lola: 86476188 markings, 176475402 edges, 311729 markings/sec, 245 secs
lola: 88066787 markings, 179820324 edges, 318120 markings/sec, 250 secs
lola: 89630707 markings, 183099729 edges, 312784 markings/sec, 255 secs
lola: 91182625 markings, 186377746 edges, 310384 markings/sec, 260 secs
lola: 92755477 markings, 189696801 edges, 314570 markings/sec, 265 secs
lola: 94330340 markings, 193011293 edges, 314973 markings/sec, 270 secs
lola: 95888065 markings, 196304890 edges, 311545 markings/sec, 275 secs
lola: 97413786 markings, 199538602 edges, 305144 markings/sec, 280 secs
lola: 98981296 markings, 202846830 edges, 313502 markings/sec, 285 secs
lola: 100515241 markings, 206089195 edges, 306789 markings/sec, 290 secs
lola: 102039159 markings, 209318892 edges, 304784 markings/sec, 295 secs
lola: 103559039 markings, 212551900 edges, 303976 markings/sec, 300 secs
lola: 105089400 markings, 215798332 edges, 306072 markings/sec, 305 secs
lola: 106627116 markings, 219066407 edges, 307543 markings/sec, 310 secs
lola: 108119905 markings, 222239514 edges, 298558 markings/sec, 315 secs
lola: 109611515 markings, 225419226 edges, 298322 markings/sec, 320 secs
lola: 111160434 markings, 228697771 edges, 309784 markings/sec, 325 secs
lola: 112696994 markings, 231945094 edges, 307312 markings/sec, 330 secs
lola: 114234370 markings, 235204641 edges, 307475 markings/sec, 335 secs
lola: 115717046 markings, 238356970 edges, 296535 markings/sec, 340 secs
lola: 117264695 markings, 241644956 edges, 309530 markings/sec, 345 secs
lola: 118768031 markings, 244845560 edges, 300667 markings/sec, 350 secs
lola: 120194957 markings, 247883704 edges, 285385 markings/sec, 355 secs
lola: 121491599 markings, 250653746 edges, 259328 markings/sec, 360 secs
lola: 122816977 markings, 253480136 edges, 265076 markings/sec, 365 secs
lola: 124147896 markings, 256312533 edges, 266184 markings/sec, 370 secs
lola: 125542025 markings, 259274391 edges, 278826 markings/sec, 375 secs
lola: 126889248 markings, 262144561 edges, 269445 markings/sec, 380 secs
lola: 128236678 markings, 264997636 edges, 269486 markings/sec, 385 secs
lola: 129564065 markings, 267847224 edges, 265477 markings/sec, 390 secs
lola: 130896565 markings, 270688363 edges, 266500 markings/sec, 395 secs
lola: 132220970 markings, 273527389 edges, 264881 markings/sec, 400 secs
lola: 133669850 markings, 276613036 edges, 289776 markings/sec, 405 secs
lola: 135174209 markings, 279822600 edges, 300872 markings/sec, 410 secs
lola: 136594959 markings, 282860079 edges, 284150 markings/sec, 415 secs
lola: 137906720 markings, 285659846 edges, 262352 markings/sec, 420 secs
lola: 139204401 markings, 288434265 edges, 259536 markings/sec, 425 secs
lola: 140479702 markings, 291173253 edges, 255060 markings/sec, 430 secs
lola: 141763282 markings, 293928441 edges, 256716 markings/sec, 435 secs
lola: 141865390 markings, 294145651 edges, 20422 markings/sec, 440 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-15-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGP3)
lola: processed formula length: 14
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: 2391041 markings, 3897925 edges, 478208 markings/sec, 0 secs
lola: 4793422 markings, 7872689 edges, 480476 markings/sec, 5 secs
lola: 7104036 markings, 11702402 edges, 462123 markings/sec, 10 secs
lola: 9358472 markings, 15435861 edges, 450887 markings/sec, 15 secs
lola: 11519633 markings, 19036419 edges, 432232 markings/sec, 20 secs
lola: 13658563 markings, 22605318 edges, 427786 markings/sec, 25 secs
lola: 15769551 markings, 26129973 edges, 422198 markings/sec, 30 secs
lola: 17864545 markings, 29630751 edges, 418999 markings/sec, 35 secs
lola: 19924810 markings, 33069675 edges, 412053 markings/sec, 40 secs
lola: 21954199 markings, 36477676 edges, 405878 markings/sec, 45 secs
lola: 23975086 markings, 39855551 edges, 404177 markings/sec, 50 secs
lola: 25975488 markings, 43207768 edges, 400080 markings/sec, 55 secs
lola: 27973473 markings, 46561946 edges, 399597 markings/sec, 60 secs
lola: 29949717 markings, 49862561 edges, 395249 markings/sec, 65 secs
lola: 31911852 markings, 53153693 edges, 392427 markings/sec, 70 secs
lola: 33873967 markings, 56431031 edges, 392423 markings/sec, 75 secs
lola: 35746742 markings, 59577437 edges, 374555 markings/sec, 80 secs
lola: 37638465 markings, 62750768 edges, 378345 markings/sec, 85 secs
lola: 39557027 markings, 65984978 edges, 383712 markings/sec, 90 secs
lola: 41473606 markings, 69201982 edges, 383316 markings/sec, 95 secs
lola: 43371901 markings, 72404105 edges, 379659 markings/sec, 100 secs
lola: 45248856 markings, 75563773 edges, 375391 markings/sec, 105 secs
lola: 47138947 markings, 78738388 edges, 378018 markings/sec, 110 secs
lola: 49021885 markings, 81910577 edges, 376588 markings/sec, 115 secs
lola: 50907949 markings, 85065462 edges, 377213 markings/sec, 120 secs
lola: 52766772 markings, 88191251 edges, 371765 markings/sec, 125 secs
lola: 54633330 markings, 91326242 edges, 373312 markings/sec, 130 secs
lola: 56489798 markings, 94451164 edges, 371294 markings/sec, 135 secs
lola: 58329116 markings, 97564362 edges, 367864 markings/sec, 140 secs
lola: 60195386 markings, 100698334 edges, 373254 markings/sec, 145 secs
lola: 62022454 markings, 103798484 edges, 365414 markings/sec, 150 secs
lola: 63844993 markings, 106872795 edges, 364508 markings/sec, 155 secs
lola: 65666574 markings, 109946701 edges, 364316 markings/sec, 160 secs
lola: 67493112 markings, 113019750 edges, 365308 markings/sec, 165 secs
lola: 69297456 markings, 116066109 edges, 360869 markings/sec, 170 secs
lola: 71097899 markings, 119123097 edges, 360089 markings/sec, 175 secs
lola: 72910065 markings, 122181167 edges, 362433 markings/sec, 180 secs
lola: 74714840 markings, 125233327 edges, 360955 markings/sec, 185 secs
lola: 76521158 markings, 128277645 edges, 361264 markings/sec, 190 secs
lola: 78325407 markings, 131333403 edges, 360850 markings/sec, 195 secs
lola: 80111864 markings, 134354249 edges, 357291 markings/sec, 200 secs
lola: 81895700 markings, 137376596 edges, 356767 markings/sec, 205 secs
lola: 83607291 markings, 140282619 edges, 342318 markings/sec, 210 secs
lola: 85327328 markings, 143190811 edges, 344007 markings/sec, 215 secs
lola: 87099070 markings, 146190717 edges, 354348 markings/sec, 220 secs
lola: 88858136 markings, 149176272 edges, 351813 markings/sec, 225 secs
lola: 90544193 markings, 152031397 edges, 337211 markings/sec, 230 secs
lola: 92254628 markings, 154907680 edges, 342087 markings/sec, 235 secs
lola: 93979860 markings, 157812451 edges, 345046 markings/sec, 240 secs
lola: 95697887 markings, 160712090 edges, 343605 markings/sec, 245 secs
lola: 97451912 markings, 163672615 edges, 350805 markings/sec, 250 secs
lola: 99208991 markings, 166647341 edges, 351416 markings/sec, 255 secs
lola: 100944469 markings, 169597154 edges, 347096 markings/sec, 260 secs
lola: 102692889 markings, 172540351 edges, 349684 markings/sec, 265 secs
lola: 104423211 markings, 175480298 edges, 346064 markings/sec, 270 secs
lola: 106145466 markings, 178412987 edges, 344451 markings/sec, 275 secs
lola: 107862348 markings, 181334086 edges, 343376 markings/sec, 280 secs
lola: 109611535 markings, 184277045 edges, 349837 markings/sec, 285 secs
lola: 111334286 markings, 187201967 edges, 344550 markings/sec, 290 secs
lola: 113047298 markings, 190118817 edges, 342602 markings/sec, 295 secs
lola: 114768024 markings, 193055831 edges, 344145 markings/sec, 300 secs
lola: 116486679 markings, 195960923 edges, 343731 markings/sec, 305 secs
lola: 118188820 markings, 198855790 edges, 340428 markings/sec, 310 secs
lola: 119873248 markings, 201707914 edges, 336886 markings/sec, 315 secs
lola: 121528814 markings, 204533983 edges, 331113 markings/sec, 320 secs
lola: 123165835 markings, 207339016 edges, 327404 markings/sec, 325 secs
lola: 124864582 markings, 210218095 edges, 339749 markings/sec, 330 secs
lola: 126548709 markings, 213061848 edges, 336825 markings/sec, 335 secs
lola: 128236298 markings, 215939650 edges, 337518 markings/sec, 340 secs
lola: 129926585 markings, 218823392 edges, 338057 markings/sec, 345 secs
lola: 131603518 markings, 221676895 edges, 335387 markings/sec, 350 secs
lola: 133297377 markings, 224564667 edges, 338772 markings/sec, 355 secs
lola: 134966287 markings, 227413526 edges, 333782 markings/sec, 360 secs
lola: 136634032 markings, 230264668 edges, 333549 markings/sec, 365 secs
lola: 138296713 markings, 233102056 edges, 332536 markings/sec, 370 secs
lola: 139964403 markings, 235948221 edges, 333538 markings/sec, 375 secs
lola: 141597597 markings, 238746432 edges, 326639 markings/sec, 380 secs
lola: 143210698 markings, 241484252 edges, 322620 markings/sec, 385 secs
lola: 144841411 markings, 244257458 edges, 326143 markings/sec, 390 secs
lola: 146433327 markings, 246979951 edges, 318383 markings/sec, 395 secs
lola: 148055066 markings, 249753830 edges, 324348 markings/sec, 400 secs
lola: 149676780 markings, 252527466 edges, 324343 markings/sec, 405 secs
lola: 151313858 markings, 255310881 edges, 327416 markings/sec, 410 secs
lola: 152943425 markings, 258096969 edges, 325913 markings/sec, 415 secs
lola: 154571687 markings, 260883076 edges, 325652 markings/sec, 420 secs
lola: 156183630 markings, 263630599 edges, 322389 markings/sec, 425 secs
lola: 157813985 markings, 266393004 edges, 326071 markings/sec, 430 secs
lola: 159453009 markings, 269193052 edges, 327805 markings/sec, 435 secs
lola: 161124480 markings, 272034107 edges, 334294 markings/sec, 440 secs
lola: 162777376 markings, 274849844 edges, 330579 markings/sec, 445 secs
lola: 164435150 markings, 277675719 edges, 331555 markings/sec, 450 secs
lola: 166078468 markings, 280483585 edges, 328664 markings/sec, 455 secs
lola: 167711151 markings, 283272615 edges, 326537 markings/sec, 460 secs
lola: 169362208 markings, 286076474 edges, 330211 markings/sec, 465 secs
lola: 171011820 markings, 288881269 edges, 329922 markings/sec, 470 secs
lola: 172642205 markings, 291668988 edges, 326077 markings/sec, 475 secs
lola: 174281408 markings, 294470979 edges, 327841 markings/sec, 480 secs
lola: 175925693 markings, 297282188 edges, 328857 markings/sec, 485 secs
lola: 177563954 markings, 300080880 edges, 327652 markings/sec, 490 secs
lola: 179147143 markings, 302790891 edges, 316638 markings/sec, 495 secs
lola: 180742931 markings, 305503069 edges, 319158 markings/sec, 500 secs
lola: 182322930 markings, 308197750 edges, 316000 markings/sec, 505 secs
lola: 183924335 markings, 310915233 edges, 320281 markings/sec, 510 secs
lola: 185486214 markings, 313603978 edges, 312376 markings/sec, 515 secs
lola: 187089891 markings, 316340021 edges, 320735 markings/sec, 520 secs
lola: 188640846 markings, 318997429 edges, 310191 markings/sec, 525 secs
lola: 190201622 markings, 321644708 edges, 312155 markings/sec, 530 secs
lola: 191804970 markings, 324394829 edges, 320670 markings/sec, 535 secs
lola: 193403391 markings, 327134874 edges, 319684 markings/sec, 540 secs
lola: 194993353 markings, 329867165 edges, 317992 markings/sec, 545 secs
lola: 196591327 markings, 332606112 edges, 319595 markings/sec, 550 secs
lola: 198191683 markings, 335363535 edges, 320071 markings/sec, 555 secs
lola: 199798129 markings, 338115903 edges, 321289 markings/sec, 560 secs
lola: 201410042 markings, 340876254 edges, 322383 markings/sec, 565 secs
lola: 203039104 markings, 343651896 edges, 325812 markings/sec, 570 secs
lola: 204646102 markings, 346410476 edges, 321400 markings/sec, 575 secs
lola: 206230435 markings, 349147240 edges, 316867 markings/sec, 580 secs
lola: 207836327 markings, 351892499 edges, 321178 markings/sec, 585 secs
lola: 209438064 markings, 354659362 edges, 320347 markings/sec, 590 secs
lola: 211049028 markings, 357415290 edges, 322193 markings/sec, 595 secs
lola: 212654375 markings, 360162694 edges, 321069 markings/sec, 600 secs
lola: 214255762 markings, 362908429 edges, 320277 markings/sec, 605 secs
lola: 215869519 markings, 365665399 edges, 322751 markings/sec, 610 secs
lola: 217480823 markings, 368408186 edges, 322261 markings/sec, 615 secs
lola: 219077074 markings, 371136942 edges, 319250 markings/sec, 620 secs
lola: 220642338 markings, 373822110 edges, 313053 markings/sec, 625 secs
lola: 222238830 markings, 376539500 edges, 319298 markings/sec, 630 secs
lola: 223825670 markings, 379267813 edges, 317368 markings/sec, 635 secs
lola: 225220299 markings, 381653516 edges, 278926 markings/sec, 640 secs
lola: 225287762 markings, 381770193 edges, 13493 markings/sec, 645 secs
lola: 225348657 markings, 381872856 edges, 12179 markings/sec, 650 secs
lola: 225355322 markings, 381885047 edges, 1333 markings/sec, 655 secs
lola: 225366348 markings, 381903099 edges, 2205 markings/sec, 660 secs
lola: 225390794 markings, 381945771 edges, 4889 markings/sec, 665 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Angiogenesis-PT-15-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgP3)
lola: processed formula length: 20
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: 2147048 markings, 4083419 edges, 429410 markings/sec, 0 secs
lola: 4213458 markings, 8053985 edges, 413282 markings/sec, 5 secs
lola: 6217885 markings, 11933684 edges, 400885 markings/sec, 10 secs
lola: 8163961 markings, 15772701 edges, 389215 markings/sec, 15 secs
lola: 10142968 markings, 19627630 edges, 395801 markings/sec, 20 secs
lola: 12086680 markings, 23445973 edges, 388742 markings/sec, 25 secs
lola: 13971307 markings, 27188894 edges, 376925 markings/sec, 30 secs
lola: 15878172 markings, 30953131 edges, 381373 markings/sec, 35 secs
lola: 17718174 markings, 34634598 edges, 368000 markings/sec, 40 secs
lola: 19551375 markings, 38313556 edges, 366640 markings/sec, 45 secs
lola: 21376401 markings, 41977828 edges, 365005 markings/sec, 50 secs
lola: 23198999 markings, 45633047 edges, 364520 markings/sec, 55 secs
lola: 24985854 markings, 49255473 edges, 357371 markings/sec, 60 secs
lola: 26772147 markings, 52874526 edges, 357259 markings/sec, 65 secs
lola: 28532176 markings, 56451264 edges, 352006 markings/sec, 70 secs
lola: 30281660 markings, 60002466 edges, 349897 markings/sec, 75 secs
lola: 32035093 markings, 63568575 edges, 350687 markings/sec, 80 secs
lola: 33782709 markings, 67132612 edges, 349523 markings/sec, 85 secs
lola: 35522987 markings, 70688137 edges, 348056 markings/sec, 90 secs
lola: 37267231 markings, 74255150 edges, 348849 markings/sec, 95 secs
lola: 39016470 markings, 77834329 edges, 349848 markings/sec, 100 secs
lola: 40720038 markings, 81342076 edges, 340714 markings/sec, 105 secs
lola: 42451118 markings, 84886963 edges, 346216 markings/sec, 110 secs
lola: 44155615 markings, 88409560 edges, 340899 markings/sec, 115 secs
lola: 45858112 markings, 91907321 edges, 340499 markings/sec, 120 secs
lola: 47545701 markings, 95383455 edges, 337518 markings/sec, 125 secs
lola: 49237619 markings, 98867242 edges, 338384 markings/sec, 130 secs
lola: 50901546 markings, 102303171 edges, 332785 markings/sec, 135 secs
lola: 52571119 markings, 105769660 edges, 333915 markings/sec, 140 secs
lola: 54265092 markings, 109260566 edges, 338795 markings/sec, 145 secs
lola: 55941402 markings, 112722468 edges, 335262 markings/sec, 150 secs
lola: 57631913 markings, 116200361 edges, 338102 markings/sec, 155 secs
lola: 59319901 markings, 119691001 edges, 337598 markings/sec, 160 secs
lola: 60974944 markings, 123130857 edges, 331009 markings/sec, 165 secs
lola: 62631505 markings, 126573263 edges, 331312 markings/sec, 170 secs
lola: 64264984 markings, 129991246 edges, 326696 markings/sec, 175 secs
lola: 65913897 markings, 133423132 edges, 329783 markings/sec, 180 secs
lola: 67551967 markings, 136847800 edges, 327614 markings/sec, 185 secs
lola: 69144231 markings, 140162843 edges, 318453 markings/sec, 190 secs
lola: 70755344 markings, 143506911 edges, 322223 markings/sec, 195 secs
lola: 72314387 markings, 146763470 edges, 311809 markings/sec, 200 secs
lola: 73905771 markings, 150090853 edges, 318277 markings/sec, 205 secs
lola: 75487957 markings, 153392671 edges, 316437 markings/sec, 210 secs
lola: 77087137 markings, 156741052 edges, 319836 markings/sec, 215 secs
lola: 78674854 markings, 160074087 edges, 317543 markings/sec, 220 secs
lola: 80250371 markings, 163401650 edges, 315103 markings/sec, 225 secs
lola: 81832168 markings, 166727655 edges, 316359 markings/sec, 230 secs
lola: 83396162 markings, 170010601 edges, 312799 markings/sec, 235 secs
lola: 84993235 markings, 173362937 edges, 319415 markings/sec, 240 secs
lola: 86584788 markings, 176703996 edges, 318311 markings/sec, 245 secs
lola: 88179392 markings, 180063516 edges, 318921 markings/sec, 250 secs
lola: 89788132 markings, 183432052 edges, 321748 markings/sec, 255 secs
lola: 91365796 markings, 186762213 edges, 315533 markings/sec, 260 secs
lola: 92937647 markings, 190081464 edges, 314370 markings/sec, 265 secs
lola: 94516951 markings, 193406776 edges, 315861 markings/sec, 270 secs
lola: 96067116 markings, 196679388 edges, 310033 markings/sec, 275 secs
lola: 97589704 markings, 199912262 edges, 304518 markings/sec, 280 secs
lola: 99162152 markings, 203231367 edges, 314490 markings/sec, 285 secs
lola: 100716021 markings, 206516400 edges, 310774 markings/sec, 290 secs
lola: 102286959 markings, 209846293 edges, 314188 markings/sec, 295 secs
lola: 103838719 markings, 213153706 edges, 310352 markings/sec, 300 secs
lola: 105391425 markings, 216437339 edges, 310541 markings/sec, 305 secs
lola: 106910478 markings, 219662668 edges, 303811 markings/sec, 310 secs
lola: 108461033 markings, 222968138 edges, 310111 markings/sec, 315 secs
lola: 110007273 markings, 226256790 edges, 309248 markings/sec, 320 secs
lola: 111589420 markings, 229598790 edges, 316429 markings/sec, 325 secs
lola: 113152926 markings, 232909714 edges, 312701 markings/sec, 330 secs
lola: 114696937 markings, 236183802 edges, 308802 markings/sec, 335 secs
lola: 116225663 markings, 239444946 edges, 305745 markings/sec, 340 secs
lola: 117774680 markings, 242737150 edges, 309803 markings/sec, 345 secs
lola: 119307346 markings, 246000396 edges, 306533 markings/sec, 350 secs
lola: 120838839 markings, 249258397 edges, 306299 markings/sec, 355 secs
lola: 122381322 markings, 252552507 edges, 308497 markings/sec, 360 secs
lola: 123911670 markings, 255813128 edges, 306070 markings/sec, 365 secs
lola: 125438007 markings, 259056137 edges, 305267 markings/sec, 370 secs
lola: 126968459 markings, 262313507 edges, 306090 markings/sec, 375 secs
lola: 128511542 markings, 265582771 edges, 308617 markings/sec, 380 secs
lola: 130024446 markings, 268828203 edges, 302581 markings/sec, 385 secs
lola: 131541403 markings, 272071176 edges, 303391 markings/sec, 390 secs
lola: 133065503 markings, 275324052 edges, 304820 markings/sec, 395 secs
lola: 134580828 markings, 278564264 edges, 303065 markings/sec, 400 secs
lola: 136088759 markings, 281786467 edges, 301586 markings/sec, 405 secs
lola: 137611337 markings, 285035508 edges, 304516 markings/sec, 410 secs
lola: 139131182 markings, 288279005 edges, 303969 markings/sec, 415 secs
lola: time limit reached - aborting
lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown 7 7 15 15 15
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown 7 7 15 15 15
preliminary result: 7 unknown 15 unknown 15 unknown 15 unknown unknown unknown unknown 7 7 15 15 15

lola: memory consumption: 12896 KB
lola: time consumption: 3570 seconds

BK_STOP 1552403579052

--------------------
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-15"
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-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 r022-csrt-155225094400010"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Angiogenesis-PT-15.tgz
mv Angiogenesis-PT-15 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 ;