Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r099-smll-155246598400103.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
Input is MAPK-PT-01280, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r099-smll-155246598400103
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.8K Feb 11 22:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 11 22:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 7 23:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 23:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 00:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 4 06:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 06:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jan 31 23:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Jan 31 23:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 25K 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 MAPK-PT-01280-UpperBounds-00
FORMULA_NAME MAPK-PT-01280-UpperBounds-01
FORMULA_NAME MAPK-PT-01280-UpperBounds-02
FORMULA_NAME MAPK-PT-01280-UpperBounds-03
FORMULA_NAME MAPK-PT-01280-UpperBounds-04
FORMULA_NAME MAPK-PT-01280-UpperBounds-05
FORMULA_NAME MAPK-PT-01280-UpperBounds-06
FORMULA_NAME MAPK-PT-01280-UpperBounds-07
FORMULA_NAME MAPK-PT-01280-UpperBounds-08
FORMULA_NAME MAPK-PT-01280-UpperBounds-09
FORMULA_NAME MAPK-PT-01280-UpperBounds-10
FORMULA_NAME MAPK-PT-01280-UpperBounds-11
FORMULA_NAME MAPK-PT-01280-UpperBounds-12
FORMULA_NAME MAPK-PT-01280-UpperBounds-13
FORMULA_NAME MAPK-PT-01280-UpperBounds-14
FORMULA_NAME MAPK-PT-01280-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552797991399

info: Time: 3600 - MCC
===========================================================================================
prep: translating MAPK-PT-01280 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating MAPK-PT-01280 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ MAPK-PT-01280 @ 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: 52/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 704
lola: finding significant places
lola: 22 places, 30 transitions, 15 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from MAPK-PT-01280-UpperBounds.task
lola: MAX(RafP_Phase1) : MAX(ERK) : MAX(ERK_MEKPP) : MAX(MEK_RafP) : MAX(ERK_MEKPP) : MAX(ERKP_Phase3) : MAX(RafP) : MAX(Phase3) : MAX(ERKP_MEKPP) : MAX(MEKP_RafP) : MAX(ERKPP) : MAX(ERKP) : MAX(ERK_MEKPP) : MAX(MEKP_Phase2) : MAX(MEK) : MAX(ERK_MEKPP)
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(RafP_Phase1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(RafP_Phase1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 960
lola: SUBRESULT
lola: result: 960
lola: produced by: state space
lola: The maximum value of the given expression is 960
lola: 2881 markings, 3839 edges
lola: ========================================

FORMULA MAPK-PT-01280-UpperBounds-0 960 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(ERK)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERK)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 960
lola: SUBRESULT
lola: result: 960
lola: produced by: state space
lola: The maximum value of the given expression is 960
lola: 0 markings, 0 edges
lola: ========================================

FORMULA MAPK-PT-01280-UpperBounds-1 960 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ERK_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERK_MEKPP)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3048311 markings, 5245617 edges, 609662 markings/sec, 0 secs
lola: 6096041 markings, 10486302 edges, 609546 markings/sec, 5 secs
lola: 8958486 markings, 15423299 edges, 572489 markings/sec, 10 secs
lola: 11734988 markings, 20221232 edges, 555300 markings/sec, 15 secs
lola: 14446642 markings, 24904928 edges, 542331 markings/sec, 20 secs
lola: 17149586 markings, 29576090 edges, 540589 markings/sec, 25 secs
lola: 19784867 markings, 34128578 edges, 527056 markings/sec, 30 secs
lola: 22422309 markings, 38684404 edges, 527488 markings/sec, 35 secs
lola: 25080500 markings, 43278006 edges, 531638 markings/sec, 40 secs
lola: 27741688 markings, 47876070 edges, 532238 markings/sec, 45 secs
lola: 30404450 markings, 52476993 edges, 532552 markings/sec, 50 secs
lola: 32994468 markings, 56951390 edges, 518004 markings/sec, 55 secs
lola: 35520896 markings, 61316323 edges, 505286 markings/sec, 60 secs
lola: 38095741 markings, 65764873 edges, 514969 markings/sec, 65 secs
lola: 40681907 markings, 70233538 edges, 517233 markings/sec, 70 secs
lola: 43190906 markings, 74570052 edges, 501800 markings/sec, 75 secs
lola: 45734085 markings, 78962353 edges, 508636 markings/sec, 80 secs
lola: 48201681 markings, 83226694 edges, 493519 markings/sec, 85 secs
lola: 50755035 markings, 87639111 edges, 510671 markings/sec, 90 secs
lola: 53445780 markings, 92287410 edges, 538149 markings/sec, 95 secs
lola: 56102695 markings, 96878670 edges, 531383 markings/sec, 100 secs
lola: 58765003 markings, 101478488 edges, 532462 markings/sec, 105 secs
lola: 61467801 markings, 106145989 edges, 540560 markings/sec, 110 secs
lola: 63920927 markings, 110392477 edges, 490625 markings/sec, 115 secs
lola: 66374633 markings, 114642064 edges, 490741 markings/sec, 120 secs
lola: 68796636 markings, 118850817 edges, 484401 markings/sec, 125 secs
lola: 71193797 markings, 123029888 edges, 479432 markings/sec, 130 secs
lola: 73595948 markings, 127228921 edges, 480430 markings/sec, 135 secs
lola: 75949072 markings, 131349049 edges, 470625 markings/sec, 140 secs
lola: 78090668 markings, 135120787 edges, 428319 markings/sec, 145 secs
lola: 80437732 markings, 139197511 edges, 469413 markings/sec, 150 secs
lola: 82786096 markings, 143306083 edges, 469673 markings/sec, 155 secs
lola: 85155114 markings, 147443939 edges, 473804 markings/sec, 160 secs
lola: 87420468 markings, 151392902 edges, 453071 markings/sec, 165 secs
lola: 89680136 markings, 155330670 edges, 451934 markings/sec, 170 secs
lola: 91948692 markings, 159308088 edges, 453711 markings/sec, 175 secs
lola: 94124480 markings, 163129651 edges, 435158 markings/sec, 180 secs
lola: 96386074 markings, 167085545 edges, 452319 markings/sec, 185 secs
lola: 98619653 markings, 171004052 edges, 446716 markings/sec, 190 secs
lola: 100818390 markings, 174887405 edges, 439747 markings/sec, 195 secs
lola: 103096738 markings, 178888248 edges, 455670 markings/sec, 200 secs
lola: 105394064 markings, 182921955 edges, 459465 markings/sec, 205 secs
lola: 107679846 markings, 186933766 edges, 457156 markings/sec, 210 secs
lola: 109979066 markings, 190988981 edges, 459844 markings/sec, 215 secs
lola: 112200807 markings, 194903589 edges, 444348 markings/sec, 220 secs
lola: 114413690 markings, 198800346 edges, 442577 markings/sec, 225 secs
lola: 116608474 markings, 202678365 edges, 438957 markings/sec, 230 secs
lola: 118799441 markings, 206526952 edges, 438193 markings/sec, 235 secs
lola: 121115774 markings, 210597106 edges, 463267 markings/sec, 240 secs
lola: 123334507 markings, 214509522 edges, 443747 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 960 960 unknown unknown unknown 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 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(MEK_RafP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MEK_RafP)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3682451 markings, 6375291 edges, 736490 markings/sec, 0 secs
lola: 7433586 markings, 12872573 edges, 750227 markings/sec, 5 secs
lola: 11011078 markings, 19069685 edges, 715498 markings/sec, 10 secs
lola: 14505865 markings, 25122386 edges, 698957 markings/sec, 15 secs
lola: 17936270 markings, 31064690 edges, 686081 markings/sec, 20 secs
lola: 21337773 markings, 36956783 edges, 680301 markings/sec, 25 secs
lola: 24792014 markings, 42937724 edges, 690848 markings/sec, 30 secs
lola: 28233605 markings, 48899380 edges, 688318 markings/sec, 35 secs
lola: 31641208 markings, 54802437 edges, 681521 markings/sec, 40 secs
lola: 35023923 markings, 60660090 edges, 676543 markings/sec, 45 secs
lola: 38443594 markings, 66567814 edges, 683934 markings/sec, 50 secs
lola: 41850707 markings, 72521850 edges, 681423 markings/sec, 55 secs
lola: 45261601 markings, 78436410 edges, 682179 markings/sec, 60 secs
lola: 48616750 markings, 84302339 edges, 671030 markings/sec, 65 secs
lola: 52030250 markings, 90226643 edges, 682700 markings/sec, 70 secs
lola: 55371720 markings, 96000541 edges, 668294 markings/sec, 75 secs
lola: 58724283 markings, 101836031 edges, 670513 markings/sec, 80 secs
lola: 61980508 markings, 107495266 edges, 651245 markings/sec, 85 secs
lola: 65351369 markings, 113329350 edges, 674172 markings/sec, 90 secs
lola: 68397678 markings, 118594032 edges, 609262 markings/sec, 95 secs
lola: 71713322 markings, 124321705 edges, 663129 markings/sec, 100 secs
lola: 74992163 markings, 129988108 edges, 655768 markings/sec, 105 secs
lola: 78372789 markings, 135863299 edges, 676125 markings/sec, 110 secs
lola: 81222665 markings, 140817945 edges, 569975 markings/sec, 115 secs
lola: 84359202 markings, 146282545 edges, 627307 markings/sec, 120 secs
lola: 87484262 markings, 151719567 edges, 625012 markings/sec, 125 secs
lola: 90798059 markings, 157465004 edges, 662759 markings/sec, 130 secs
lola: 93758461 markings, 162644924 edges, 592080 markings/sec, 135 secs
lola: 97004072 markings, 168271147 edges, 649122 markings/sec, 140 secs
lola: 100361429 markings, 174070985 edges, 671471 markings/sec, 145 secs
lola: 103677264 markings, 179866116 edges, 663167 markings/sec, 150 secs
lola: 107019643 markings, 185679045 edges, 668476 markings/sec, 155 secs
lola: 110176791 markings, 191188803 edges, 631430 markings/sec, 160 secs
lola: 113548765 markings, 197026521 edges, 674395 markings/sec, 165 secs
lola: 116918232 markings, 202891335 edges, 673893 markings/sec, 170 secs
lola: 120199056 markings, 208589967 edges, 656165 markings/sec, 175 secs
lola: 123482498 markings, 214264178 edges, 656688 markings/sec, 180 secs
lola: 126778288 markings, 220022141 edges, 659158 markings/sec, 185 secs
lola: 130108254 markings, 225790767 edges, 665993 markings/sec, 190 secs
lola: 133430053 markings, 231540386 edges, 664360 markings/sec, 195 secs
lola: 136682780 markings, 237190172 edges, 650545 markings/sec, 200 secs
lola: 140015124 markings, 242942470 edges, 666469 markings/sec, 205 secs
lola: 143333341 markings, 248701731 edges, 663643 markings/sec, 210 secs
lola: 146641262 markings, 254427831 edges, 661584 markings/sec, 215 secs
lola: 149959282 markings, 260216414 edges, 663604 markings/sec, 220 secs
lola: 153234637 markings, 265895914 edges, 655071 markings/sec, 225 secs
lola: 156698171 markings, 271927018 edges, 692707 markings/sec, 230 secs
lola: 160037799 markings, 277727670 edges, 667926 markings/sec, 235 secs
lola: 163339673 markings, 283449524 edges, 660375 markings/sec, 240 secs
lola: 166687297 markings, 289233751 edges, 669525 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 960 960 unknown unknown unknown 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 4 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ERK_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERK_MEKPP)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3205889 markings, 5517614 edges, 641178 markings/sec, 0 secs
lola: 6275062 markings, 10793560 edges, 613835 markings/sec, 5 secs
lola: 9153813 markings, 15761679 edges, 575750 markings/sec, 10 secs
lola: 11901769 markings, 20509618 edges, 549591 markings/sec, 15 secs
lola: 14592704 markings, 25157309 edges, 538187 markings/sec, 20 secs
lola: 17303573 markings, 29841273 edges, 542174 markings/sec, 25 secs
lola: 19958729 markings, 34429062 edges, 531031 markings/sec, 30 secs
lola: 22638214 markings, 39058560 edges, 535897 markings/sec, 35 secs
lola: 25315290 markings, 43685288 edges, 535415 markings/sec, 40 secs
lola: 27969686 markings, 48270213 edges, 530879 markings/sec, 45 secs
lola: 30613000 markings, 52836967 edges, 528663 markings/sec, 50 secs
lola: 33215607 markings, 57334829 edges, 520521 markings/sec, 55 secs
lola: 35758613 markings, 61726826 edges, 508601 markings/sec, 60 secs
lola: 38359770 markings, 66222116 edges, 520231 markings/sec, 65 secs
lola: 40931715 markings, 70665509 edges, 514389 markings/sec, 70 secs
lola: 43450630 markings, 75018126 edges, 503783 markings/sec, 75 secs
lola: 46018609 markings, 79454473 edges, 513596 markings/sec, 80 secs
lola: 48554037 markings, 83834781 edges, 507086 markings/sec, 85 secs
lola: 50894236 markings, 87878029 edges, 468040 markings/sec, 90 secs
lola: 53642998 markings, 92627160 edges, 549752 markings/sec, 95 secs
lola: 56346050 markings, 97298517 edges, 540610 markings/sec, 100 secs
lola: 59029290 markings, 101934906 edges, 536648 markings/sec, 105 secs
lola: 61723114 markings, 106587742 edges, 538765 markings/sec, 110 secs
lola: 64192141 markings, 110861276 edges, 493805 markings/sec, 115 secs
lola: 66631378 markings, 115093062 edges, 487847 markings/sec, 120 secs
lola: 69033702 markings, 119261804 edges, 480465 markings/sec, 125 secs
lola: 71417764 markings, 123418056 edges, 476812 markings/sec, 130 secs
lola: 73789094 markings, 127566381 edges, 474266 markings/sec, 135 secs
lola: 76115771 markings, 131641369 edges, 465335 markings/sec, 140 secs
lola: 78432560 markings, 135713080 edges, 463358 markings/sec, 145 secs
lola: 80787235 markings, 139816338 edges, 470935 markings/sec, 150 secs
lola: 83140714 markings, 143925767 edges, 470696 markings/sec, 155 secs
lola: 85503051 markings, 148047823 edges, 472467 markings/sec, 160 secs
lola: 87795200 markings, 152059505 edges, 458430 markings/sec, 165 secs
lola: 90098079 markings, 156067370 edges, 460576 markings/sec, 170 secs
lola: 92375979 markings, 160055007 edges, 455580 markings/sec, 175 secs
lola: 94572838 markings, 163907103 edges, 439372 markings/sec, 180 secs
lola: 96547219 markings, 167370699 edges, 394876 markings/sec, 185 secs
lola: 98808446 markings, 171338390 edges, 452245 markings/sec, 190 secs
lola: 101068794 markings, 175323668 edges, 452070 markings/sec, 195 secs
lola: 103383958 markings, 179397528 edges, 463033 markings/sec, 200 secs
lola: 105707833 markings, 183461993 edges, 464775 markings/sec, 205 secs
lola: 107988841 markings, 187487006 edges, 456202 markings/sec, 210 secs
lola: 110324629 markings, 191588085 edges, 467158 markings/sec, 215 secs
lola: 112512066 markings, 195448267 edges, 437487 markings/sec, 220 secs
lola: 114713586 markings, 199333207 edges, 440304 markings/sec, 225 secs
lola: 116942112 markings, 203268202 edges, 445705 markings/sec, 230 secs
lola: 119167835 markings, 207175016 edges, 445145 markings/sec, 235 secs
lola: 121454556 markings, 211192921 edges, 457344 markings/sec, 240 secs
lola: 123716374 markings, 215169664 edges, 452364 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 960 960 unknown unknown unknown 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 5 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ERKP_Phase3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERKP_Phase3)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 960
lola: SUBRESULT
lola: result: 960
lola: produced by: state space
lola: The maximum value of the given expression is 960
lola: 2887 markings, 3846 edges
lola: ========================================

FORMULA MAPK-PT-01280-UpperBounds-5 960 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(RafP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(RafP)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 1280
lola: SUBRESULT
lola: result: 1280
lola: produced by: state space
lola: The maximum value of the given expression is 1280
lola: 2561 markings, 2560 edges
lola: ========================================

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

FORMULA MAPK-PT-01280-UpperBounds-7 960 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 350 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ERKP_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERKP_MEKPP)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3730560 markings, 6482096 edges, 746112 markings/sec, 0 secs
lola: 7281977 markings, 12671112 edges, 710283 markings/sec, 5 secs
lola: 10801556 markings, 18808245 edges, 703916 markings/sec, 10 secs
lola: 14272727 markings, 24863670 edges, 694234 markings/sec, 15 secs
lola: 17716103 markings, 30871735 edges, 688675 markings/sec, 20 secs
lola: 21133138 markings, 36835058 edges, 683407 markings/sec, 25 secs
lola: 24526746 markings, 42758379 edges, 678722 markings/sec, 30 secs
lola: 27911405 markings, 48666614 edges, 676932 markings/sec, 35 secs
lola: 31275014 markings, 54539104 edges, 672722 markings/sec, 40 secs
lola: 34625979 markings, 60389404 edges, 670193 markings/sec, 45 secs
lola: 37824923 markings, 65975090 edges, 639789 markings/sec, 50 secs
lola: 41020248 markings, 71555037 edges, 639065 markings/sec, 55 secs
lola: 44323346 markings, 77322739 edges, 660620 markings/sec, 60 secs
lola: 47610877 markings, 83064583 edges, 657506 markings/sec, 65 secs
lola: 50892112 markings, 88794542 edges, 656247 markings/sec, 70 secs
lola: 54163221 markings, 94507587 edges, 654222 markings/sec, 75 secs
lola: 57182832 markings, 99781699 edges, 603922 markings/sec, 80 secs
lola: 60446569 markings, 105482354 edges, 652747 markings/sec, 85 secs
lola: 63699455 markings, 111164112 edges, 650577 markings/sec, 90 secs
lola: 66944431 markings, 116832827 edges, 648995 markings/sec, 95 secs
lola: 70207823 markings, 122533020 edges, 652678 markings/sec, 100 secs
lola: 73214484 markings, 127785839 edges, 601332 markings/sec, 105 secs
lola: 76445996 markings, 133430942 edges, 646302 markings/sec, 110 secs
lola: 79466444 markings, 138706945 edges, 604090 markings/sec, 115 secs
lola: 82717715 markings, 144387252 edges, 650254 markings/sec, 120 secs
lola: 85968776 markings, 150066625 edges, 650212 markings/sec, 125 secs
lola: 89227880 markings, 155760653 edges, 651821 markings/sec, 130 secs
lola: 92439695 markings, 161372134 edges, 642363 markings/sec, 135 secs
lola: 95685381 markings, 167042801 edges, 649137 markings/sec, 140 secs
lola: 98935948 markings, 172721935 edges, 650113 markings/sec, 145 secs
lola: 102191423 markings, 178409739 edges, 651095 markings/sec, 150 secs
lola: 105434423 markings, 184076507 edges, 648600 markings/sec, 155 secs
lola: 108701786 markings, 189784987 edges, 653473 markings/sec, 160 secs
lola: 111951662 markings, 195463832 edges, 649975 markings/sec, 165 secs
lola: 114961918 markings, 200723676 edges, 602051 markings/sec, 170 secs
lola: 118211017 markings, 206401040 edges, 649820 markings/sec, 175 secs
lola: 121462874 markings, 212083457 edges, 650371 markings/sec, 180 secs
lola: 124706109 markings, 217750512 edges, 648647 markings/sec, 185 secs
lola: 127948608 markings, 223416280 edges, 648500 markings/sec, 190 secs
lola: 130956507 markings, 228672021 edges, 601580 markings/sec, 195 secs
lola: 134196652 markings, 234333820 edges, 648029 markings/sec, 200 secs
lola: 137422561 markings, 239971464 edges, 645182 markings/sec, 205 secs
lola: 140625207 markings, 245567690 edges, 640529 markings/sec, 210 secs
lola: 143833709 markings, 251174957 edges, 641700 markings/sec, 215 secs
lola: 146819381 markings, 256392695 edges, 597134 markings/sec, 220 secs
lola: 149806307 markings, 261612410 edges, 597385 markings/sec, 225 secs
lola: 153056357 markings, 267291528 edges, 650010 markings/sec, 230 secs
lola: 156262038 markings, 272893839 edges, 641136 markings/sec, 235 secs
lola: 159469645 markings, 278499646 edges, 641521 markings/sec, 240 secs
lola: 162709189 markings, 284161228 edges, 647909 markings/sec, 245 secs
lola: 165952261 markings, 289828152 edges, 648614 markings/sec, 250 secs
lola: 169189063 markings, 295484908 edges, 647360 markings/sec, 255 secs
lola: 172423209 markings, 301137078 edges, 646829 markings/sec, 260 secs
lola: 175647382 markings, 306771897 edges, 644835 markings/sec, 265 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(MEKP_RafP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MEKP_RafP)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3211892 markings, 5592302 edges, 642378 markings/sec, 0 secs
lola: 6416466 markings, 11183702 edges, 640915 markings/sec, 5 secs
lola: 9527990 markings, 16615358 edges, 622305 markings/sec, 10 secs
lola: 12581604 markings, 21947172 edges, 610723 markings/sec, 15 secs
lola: 15698912 markings, 27391342 edges, 623462 markings/sec, 20 secs
lola: 18765793 markings, 32747964 edges, 613376 markings/sec, 25 secs
lola: 21762810 markings, 37983230 edges, 599403 markings/sec, 30 secs
lola: 24380516 markings, 42556106 edges, 523541 markings/sec, 35 secs
lola: 26821730 markings, 46819653 edges, 488243 markings/sec, 40 secs
lola: 29275093 markings, 51103241 edges, 490673 markings/sec, 45 secs
lola: 31785538 markings, 55484355 edges, 502089 markings/sec, 50 secs
lola: 34606407 markings, 60295732 edges, 564174 markings/sec, 55 secs
lola: 38137320 markings, 66326838 edges, 706183 markings/sec, 60 secs
lola: 41753318 markings, 72525012 edges, 723200 markings/sec, 65 secs
lola: 45214189 markings, 78065708 edges, 692174 markings/sec, 70 secs
lola: 48609261 markings, 83449465 edges, 679014 markings/sec, 75 secs
lola: 51823075 markings, 88546897 edges, 642763 markings/sec, 80 secs
lola: 55020837 markings, 93632556 edges, 639552 markings/sec, 85 secs
lola: 58225254 markings, 98729136 edges, 640883 markings/sec, 90 secs
lola: 61383863 markings, 103736249 edges, 631722 markings/sec, 95 secs
lola: 64476041 markings, 108643432 edges, 618436 markings/sec, 100 secs
lola: 67523033 markings, 113494376 edges, 609398 markings/sec, 105 secs
lola: 70636085 markings, 118437333 edges, 622610 markings/sec, 110 secs
lola: 73718433 markings, 123340894 edges, 616470 markings/sec, 115 secs
lola: 76852500 markings, 128321621 edges, 626813 markings/sec, 120 secs
lola: 79989085 markings, 133305388 edges, 627317 markings/sec, 125 secs
lola: 82995494 markings, 138077512 edges, 601282 markings/sec, 130 secs
lola: 86023942 markings, 142892926 edges, 605690 markings/sec, 135 secs
lola: 89035108 markings, 147681681 edges, 602233 markings/sec, 140 secs
lola: 92076227 markings, 152525920 edges, 608224 markings/sec, 145 secs
lola: 95127399 markings, 157376823 edges, 610234 markings/sec, 150 secs
lola: 98172884 markings, 162227527 edges, 609097 markings/sec, 155 secs
lola: 101216001 markings, 167066975 edges, 608623 markings/sec, 160 secs
lola: 104262278 markings, 171914648 edges, 609255 markings/sec, 165 secs
lola: 107316097 markings, 176777690 edges, 610764 markings/sec, 170 secs
lola: 110401633 markings, 181684395 edges, 617107 markings/sec, 175 secs
lola: 113471580 markings, 186577909 edges, 613989 markings/sec, 180 secs
lola: 116392667 markings, 191221468 edges, 584217 markings/sec, 185 secs
lola: 119314297 markings, 195884673 edges, 584326 markings/sec, 190 secs
lola: 122265619 markings, 200587886 edges, 590264 markings/sec, 195 secs
lola: 125230889 markings, 205309136 edges, 593054 markings/sec, 200 secs
lola: 128210769 markings, 210061884 edges, 595976 markings/sec, 205 secs
lola: 131166634 markings, 214767572 edges, 591173 markings/sec, 210 secs
lola: 134157428 markings, 219542849 edges, 598159 markings/sec, 215 secs
lola: 137166727 markings, 224340900 edges, 601860 markings/sec, 220 secs
lola: 140221850 markings, 229215516 edges, 611025 markings/sec, 225 secs
lola: 143213119 markings, 233994913 edges, 598254 markings/sec, 230 secs
lola: 146211395 markings, 238780377 edges, 599655 markings/sec, 235 secs
lola: 149115756 markings, 243474759 edges, 580872 markings/sec, 240 secs
lola: 152234608 markings, 248751516 edges, 623770 markings/sec, 245 secs
lola: 155620520 markings, 254344043 edges, 677182 markings/sec, 250 secs
lola: 158929421 markings, 259600968 edges, 661780 markings/sec, 255 secs
lola: 162135022 markings, 264693497 edges, 641120 markings/sec, 260 secs
lola: 165247044 markings, 269631964 edges, 622404 markings/sec, 265 secs
lola: 166961671 markings, 272353212 edges, 342925 markings/sec, 270 secs
lola: 166993841 markings, 272405379 edges, 6434 markings/sec, 275 secs
lola: 167039708 markings, 272480042 edges, 9173 markings/sec, 280 secs
lola: 167096268 markings, 272568970 edges, 11312 markings/sec, 285 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 373 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ERKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERKPP)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 960
lola: SUBRESULT
lola: result: 960
lola: produced by: state space
lola: The maximum value of the given expression is 960
lola: 5765 markings, 9602 edges
lola: ========================================

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

FORMULA MAPK-PT-01280-UpperBounds-11 960 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 559 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ERK_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERK_MEKPP)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3017136 markings, 5192154 edges, 603427 markings/sec, 0 secs
lola: 6087345 markings, 10472006 edges, 614042 markings/sec, 5 secs
lola: 8981355 markings, 15463754 edges, 578802 markings/sec, 10 secs
lola: 11739241 markings, 20228225 edges, 551577 markings/sec, 15 secs
lola: 14431829 markings, 24878745 edges, 538518 markings/sec, 20 secs
lola: 17153718 markings, 29583180 edges, 544378 markings/sec, 25 secs
lola: 19765182 markings, 34093611 edges, 522293 markings/sec, 30 secs
lola: 22377264 markings, 38608306 edges, 522416 markings/sec, 35 secs
lola: 25015776 markings, 43165016 edges, 527702 markings/sec, 40 secs
lola: 27615423 markings, 47657621 edges, 519929 markings/sec, 45 secs
lola: 30204851 markings, 52132077 edges, 517886 markings/sec, 50 secs
lola: 32755425 markings, 56537509 edges, 510115 markings/sec, 55 secs
lola: 35267911 markings, 60880217 edges, 502497 markings/sec, 60 secs
lola: 37810023 markings, 65271573 edges, 508422 markings/sec, 65 secs
lola: 40347760 markings, 69656674 edges, 507547 markings/sec, 70 secs
lola: 42836550 markings, 73957290 edges, 497758 markings/sec, 75 secs
lola: 45343973 markings, 78289497 edges, 501485 markings/sec, 80 secs
lola: 47829962 markings, 82585135 edges, 497198 markings/sec, 85 secs
lola: 50327662 markings, 86900065 edges, 499540 markings/sec, 90 secs
lola: 52945364 markings, 91421952 edges, 523540 markings/sec, 95 secs
lola: 55580503 markings, 95976968 edges, 527028 markings/sec, 100 secs
lola: 58165752 markings, 100443215 edges, 517050 markings/sec, 105 secs
lola: 60815007 markings, 105019802 edges, 529851 markings/sec, 110 secs
lola: 63256129 markings, 109245559 edges, 488224 markings/sec, 115 secs
lola: 65688159 markings, 113450854 edges, 486406 markings/sec, 120 secs
lola: 68057338 markings, 117564894 edges, 473836 markings/sec, 125 secs
lola: 70480116 markings, 121779580 edges, 484556 markings/sec, 130 secs
lola: 72646962 markings, 125567894 edges, 433369 markings/sec, 135 secs
lola: 74955063 markings, 129613098 edges, 461620 markings/sec, 140 secs
lola: 77278781 markings, 133690666 edges, 464744 markings/sec, 145 secs
lola: 79581125 markings, 137709343 edges, 460469 markings/sec, 150 secs
lola: 81965093 markings, 141863315 edges, 476794 markings/sec, 155 secs
lola: 84304625 markings, 145965845 edges, 467906 markings/sec, 160 secs
lola: 86650418 markings, 150044295 edges, 469159 markings/sec, 165 secs
lola: 88911223 markings, 154001656 edges, 452161 markings/sec, 170 secs
lola: 91227269 markings, 158040326 edges, 463209 markings/sec, 175 secs
lola: 93504010 markings, 162044886 edges, 455348 markings/sec, 180 secs
lola: 95805203 markings, 166080817 edges, 460239 markings/sec, 185 secs
lola: 98098935 markings, 170091035 edges, 458746 markings/sec, 190 secs
lola: 100362000 markings, 174072688 edges, 452613 markings/sec, 195 secs
lola: 102645826 markings, 178102952 edges, 456765 markings/sec, 200 secs
lola: 104917336 markings, 182098403 edges, 454302 markings/sec, 205 secs
lola: 107253430 markings, 186172017 edges, 467219 markings/sec, 210 secs
lola: 109546937 markings, 190234536 edges, 458701 markings/sec, 215 secs
lola: 111821712 markings, 194235538 edges, 454955 markings/sec, 220 secs
lola: 114030594 markings, 198141501 edges, 441776 markings/sec, 225 secs
lola: 116305969 markings, 202151645 edges, 455075 markings/sec, 230 secs
lola: 118561808 markings, 206113463 edges, 451168 markings/sec, 235 secs
lola: 120878922 markings, 210179189 edges, 463423 markings/sec, 240 secs
lola: 123191523 markings, 214262812 edges, 462520 markings/sec, 245 secs
lola: 125436407 markings, 218231743 edges, 448977 markings/sec, 250 secs
lola: 127661717 markings, 222150623 edges, 445062 markings/sec, 255 secs
lola: 129957612 markings, 226164474 edges, 459179 markings/sec, 260 secs
lola: 132243323 markings, 230196277 edges, 457142 markings/sec, 265 secs
lola: 134511576 markings, 234204931 edges, 453651 markings/sec, 270 secs
lola: 136720919 markings, 238184227 edges, 441869 markings/sec, 275 secs
lola: 139019579 markings, 242242846 edges, 459732 markings/sec, 280 secs
lola: 141223677 markings, 246153521 edges, 440820 markings/sec, 285 secs
lola: 143477484 markings, 250081791 edges, 450761 markings/sec, 290 secs
lola: 145718736 markings, 254055081 edges, 448250 markings/sec, 295 secs
lola: 147930917 markings, 257991084 edges, 442436 markings/sec, 300 secs
lola: 150240900 markings, 262034690 edges, 461997 markings/sec, 305 secs
lola: 152492356 markings, 266064224 edges, 450291 markings/sec, 310 secs
lola: 154678525 markings, 269973580 edges, 437234 markings/sec, 315 secs
lola: 156904193 markings, 273951692 edges, 445134 markings/sec, 320 secs
lola: 159090515 markings, 277889988 edges, 437264 markings/sec, 325 secs
lola: 161277655 markings, 281798114 edges, 437428 markings/sec, 330 secs
lola: 163560148 markings, 285805751 edges, 456499 markings/sec, 335 secs
lola: 165817541 markings, 289790796 edges, 451479 markings/sec, 340 secs
lola: 168004696 markings, 293658972 edges, 437431 markings/sec, 345 secs
lola: 170154613 markings, 297524123 edges, 429983 markings/sec, 350 secs
lola: 172354320 markings, 301416805 edges, 439941 markings/sec, 355 secs
lola: 174650361 markings, 305409180 edges, 459208 markings/sec, 360 secs
lola: 176810094 markings, 309265359 edges, 431947 markings/sec, 365 secs
lola: 178977866 markings, 313170016 edges, 433554 markings/sec, 370 secs
lola: 181192212 markings, 317117627 edges, 442869 markings/sec, 375 secs
lola: 183522250 markings, 321182918 edges, 466008 markings/sec, 380 secs
lola: 185631495 markings, 324970945 edges, 421849 markings/sec, 385 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 615 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(MEKP_Phase2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MEKP_Phase2)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: SUBRESULT
lola: result: 640
lola: produced by: state space
lola: The maximum value of the given expression is 640
lola: 1923 markings, 2561 edges
lola: ========================================

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

FORMULA MAPK-PT-01280-UpperBounds-14 640 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ERK_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERK_MEKPP)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3171150 markings, 5456340 edges, 634230 markings/sec, 0 secs
lola: 6196034 markings, 10657876 edges, 604977 markings/sec, 5 secs
lola: 9036823 markings, 15557522 edges, 568158 markings/sec, 10 secs
lola: 11749027 markings, 20244315 edges, 542441 markings/sec, 15 secs
lola: 14399310 markings, 24824270 edges, 530057 markings/sec, 20 secs
lola: 17078415 markings, 29452436 edges, 535821 markings/sec, 25 secs
lola: 19701820 markings, 33984477 edges, 524681 markings/sec, 30 secs
lola: 22323749 markings, 38515243 edges, 524386 markings/sec, 35 secs
lola: 24979585 markings, 43104667 edges, 531167 markings/sec, 40 secs
lola: 27596442 markings, 47623904 edges, 523371 markings/sec, 45 secs
lola: 30199772 markings, 52123052 edges, 520666 markings/sec, 50 secs
lola: 32763243 markings, 56551396 edges, 512694 markings/sec, 55 secs
lola: 35291285 markings, 60921502 edges, 505608 markings/sec, 60 secs
lola: 37841139 markings, 65325893 edges, 509971 markings/sec, 65 secs
lola: 40383162 markings, 69717733 edges, 508405 markings/sec, 70 secs
lola: 42877240 markings, 74026709 edges, 498816 markings/sec, 75 secs
lola: 45391001 markings, 78369616 edges, 502752 markings/sec, 80 secs
lola: 47841182 markings, 82605064 edges, 490036 markings/sec, 85 secs
lola: 50243330 markings, 86755197 edges, 480430 markings/sec, 90 secs
lola: 52909204 markings, 91360513 edges, 533175 markings/sec, 95 secs
lola: 55590549 markings, 95993484 edges, 536269 markings/sec, 100 secs
lola: 58217724 markings, 100531400 edges, 525435 markings/sec, 105 secs
lola: 60911159 markings, 105187171 edges, 538687 markings/sec, 110 secs
lola: 63384692 markings, 109464654 edges, 494707 markings/sec, 115 secs
lola: 65865274 markings, 113758511 edges, 496116 markings/sec, 120 secs
lola: 68297121 markings, 117980800 edges, 486369 markings/sec, 125 secs
lola: 70779454 markings, 122306892 edges, 496467 markings/sec, 130 secs
lola: 73174045 markings, 126493285 edges, 478918 markings/sec, 135 secs
lola: 75577621 markings, 130706296 edges, 480715 markings/sec, 140 secs
lola: 77939955 markings, 134858061 edges, 472467 markings/sec, 145 secs
lola: 80349753 markings, 139044550 edges, 481960 markings/sec, 150 secs
lola: 82776578 markings, 143289324 edges, 485365 markings/sec, 155 secs
lola: 85226243 markings, 147565769 edges, 489933 markings/sec, 160 secs
lola: 87605417 markings, 151728473 edges, 475835 markings/sec, 165 secs
lola: 89994484 markings, 155887793 edges, 477813 markings/sec, 170 secs
lola: 92379027 markings, 160060469 edges, 476909 markings/sec, 175 secs
lola: 94693140 markings, 164120316 edges, 462823 markings/sec, 180 secs
lola: 97058750 markings, 168277869 edges, 473122 markings/sec, 185 secs
lola: 99439691 markings, 172434201 edges, 476188 markings/sec, 190 secs
lola: 101743670 markings, 176514853 edges, 460796 markings/sec, 195 secs
lola: 104115737 markings, 180688088 edges, 474413 markings/sec, 200 secs
lola: 106502574 markings, 184854496 edges, 477367 markings/sec, 205 secs
lola: 108847830 markings, 189005162 edges, 469051 markings/sec, 210 secs
lola: 111227818 markings, 193183313 edges, 475998 markings/sec, 215 secs
lola: 113481966 markings, 197168454 edges, 450830 markings/sec, 220 secs
lola: 115840968 markings, 201329235 edges, 471800 markings/sec, 225 secs
lola: 118179942 markings, 205434202 edges, 467795 markings/sec, 230 secs
lola: 120544719 markings, 209591604 edges, 472955 markings/sec, 235 secs
lola: 122910797 markings, 213776379 edges, 473216 markings/sec, 240 secs
lola: 125214854 markings, 217849243 edges, 460811 markings/sec, 245 secs
lola: 127501552 markings, 221874322 edges, 457340 markings/sec, 250 secs
lola: 129871401 markings, 226004847 edges, 473970 markings/sec, 255 secs
lola: 132179228 markings, 230084932 edges, 461565 markings/sec, 260 secs
lola: 134406363 markings, 234017129 edges, 445427 markings/sec, 265 secs
lola: 136499698 markings, 237778529 edges, 418667 markings/sec, 270 secs
lola: 138746533 markings, 241761821 edges, 449367 markings/sec, 275 secs
lola: 140924741 markings, 245638602 edges, 435642 markings/sec, 280 secs
lola: 143139913 markings, 249482762 edges, 443034 markings/sec, 285 secs
lola: 145332296 markings, 253365504 edges, 438477 markings/sec, 290 secs
lola: 147568450 markings, 257327564 edges, 447231 markings/sec, 295 secs
lola: 149847422 markings, 261353267 edges, 455794 markings/sec, 300 secs
lola: 152110439 markings, 265376902 edges, 452603 markings/sec, 305 secs
lola: 154318874 markings, 269309375 edges, 441687 markings/sec, 310 secs
lola: 156505875 markings, 273233710 edges, 437400 markings/sec, 315 secs
lola: 158687126 markings, 277154457 edges, 436250 markings/sec, 320 secs
lola: 160858601 markings, 281037297 edges, 434295 markings/sec, 325 secs
lola: 163100200 markings, 285001265 edges, 448320 markings/sec, 330 secs
lola: 165408295 markings, 289046871 edges, 461619 markings/sec, 335 secs
lola: 167563623 markings, 292875306 edges, 431066 markings/sec, 340 secs
lola: 169691382 markings, 296694171 edges, 425552 markings/sec, 345 secs
lola: 171866082 markings, 300545864 edges, 434940 markings/sec, 350 secs
lola: 174156333 markings, 304537552 edges, 458050 markings/sec, 355 secs
lola: 176322568 markings, 308385865 edges, 433247 markings/sec, 360 secs
lola: 178406686 markings, 312165203 edges, 416824 markings/sec, 365 secs
lola: 180604119 markings, 316067453 edges, 439487 markings/sec, 370 secs
lola: 182926577 markings, 320127449 edges, 464492 markings/sec, 375 secs
lola: 185015496 markings, 323866122 edges, 417784 markings/sec, 380 secs
lola: 186708106 markings, 326884272 edges, 338522 markings/sec, 385 secs
lola: 186769563 markings, 326991295 edges, 12291 markings/sec, 390 secs
lola: 186793943 markings, 327035005 edges, 4876 markings/sec, 395 secs
lola: 186808871 markings, 327061752 edges, 2986 markings/sec, 400 secs
lola: 186829893 markings, 327099432 edges, 4204 markings/sec, 405 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(ERK_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERK_MEKPP)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3159008 markings, 5436379 edges, 631802 markings/sec, 0 secs
lola: 6178860 markings, 10628723 edges, 603970 markings/sec, 5 secs
lola: 9021813 markings, 15530858 edges, 568591 markings/sec, 10 secs
lola: 11734062 markings, 20219710 edges, 542450 markings/sec, 15 secs
lola: 14387420 markings, 24803147 edges, 530672 markings/sec, 20 secs
lola: 17070832 markings, 29439970 edges, 536682 markings/sec, 25 secs
lola: 19695579 markings, 33973390 edges, 524949 markings/sec, 30 secs
lola: 22315018 markings, 38500634 edges, 523888 markings/sec, 35 secs
lola: 24961893 markings, 43074232 edges, 529375 markings/sec, 40 secs
lola: 27574899 markings, 47587464 edges, 522601 markings/sec, 45 secs
lola: 30194865 markings, 52114336 edges, 523993 markings/sec, 50 secs
lola: 32793812 markings, 56605699 edges, 519789 markings/sec, 55 secs
lola: 35352151 markings, 61024932 edges, 511668 markings/sec, 60 secs
lola: 37939605 markings, 65495872 edges, 517491 markings/sec, 65 secs
lola: 40515859 markings, 69946925 edges, 515251 markings/sec, 70 secs
lola: 43043043 markings, 74313697 edges, 505437 markings/sec, 75 secs
lola: 45592418 markings, 78719046 edges, 509875 markings/sec, 80 secs
lola: 48124677 markings, 83093183 edges, 506452 markings/sec, 85 secs
lola: 50654878 markings, 87464615 edges, 506040 markings/sec, 90 secs
lola: 53346737 markings, 92117370 edges, 538372 markings/sec, 95 secs
lola: 56019590 markings, 96734689 edges, 534571 markings/sec, 100 secs
lola: 58654106 markings, 101286437 edges, 526903 markings/sec, 105 secs
lola: 61338913 markings, 105925385 edges, 536961 markings/sec, 110 secs
lola: 63804763 markings, 110191454 edges, 493170 markings/sec, 115 secs
lola: 66270706 markings, 114458415 edges, 493189 markings/sec, 120 secs
lola: 68694292 markings, 118671978 edges, 484717 markings/sec, 125 secs
lola: 71089282 markings, 122847865 edges, 478998 markings/sec, 130 secs
lola: 73464159 markings, 126998817 edges, 474975 markings/sec, 135 secs
lola: 75833531 markings, 131150107 edges, 473874 markings/sec, 140 secs
lola: 78168778 markings, 135256435 edges, 467049 markings/sec, 145 secs
lola: 80549630 markings, 139395119 edges, 476170 markings/sec, 150 secs
lola: 82938113 markings, 143571685 edges, 477697 markings/sec, 155 secs
lola: 85367170 markings, 147813622 edges, 485811 markings/sec, 160 secs
lola: 87713173 markings, 151916148 edges, 469201 markings/sec, 165 secs
lola: 90072420 markings, 156023366 edges, 471849 markings/sec, 170 secs
lola: 92426856 markings, 160145028 edges, 470887 markings/sec, 175 secs
lola: 94714249 markings, 164157975 edges, 457479 markings/sec, 180 secs
lola: 97042722 markings, 168249747 edges, 465695 markings/sec, 185 secs
lola: 99386381 markings, 172344196 edges, 468732 markings/sec, 190 secs
lola: 101667547 markings, 176382283 edges, 456233 markings/sec, 195 secs
lola: 104009055 markings, 180503435 edges, 468302 markings/sec, 200 secs
lola: 106370573 markings, 184619407 edges, 472304 markings/sec, 205 secs
lola: 108666083 markings, 188688040 edges, 459102 markings/sec, 210 secs
lola: 111032820 markings, 192842628 edges, 473347 markings/sec, 215 secs
lola: 113261499 markings, 196777591 edges, 445736 markings/sec, 220 secs
lola: 115590679 markings, 200885898 edges, 465836 markings/sec, 225 secs
lola: 117896644 markings, 204941059 edges, 461193 markings/sec, 230 secs
lola: 120176714 markings, 208946181 edges, 456014 markings/sec, 235 secs
lola: 122362705 markings, 212787346 edges, 437198 markings/sec, 240 secs
lola: 124323518 markings, 216249049 edges, 392163 markings/sec, 245 secs
lola: 126267094 markings, 219714462 edges, 388715 markings/sec, 250 secs
lola: 128157579 markings, 223012847 edges, 378097 markings/sec, 255 secs
lola: 130147618 markings, 226491019 edges, 398008 markings/sec, 260 secs
lola: 132400374 markings, 230471595 edges, 450551 markings/sec, 265 secs
lola: 134675649 markings, 234497494 edges, 455055 markings/sec, 270 secs
lola: 136898753 markings, 238500689 edges, 444621 markings/sec, 275 secs
lola: 139209883 markings, 242585875 edges, 462226 markings/sec, 280 secs
lola: 141415256 markings, 246488010 edges, 441075 markings/sec, 285 secs
lola: 143692583 markings, 250454728 edges, 455465 markings/sec, 290 secs
lola: 145935741 markings, 254447505 edges, 448632 markings/sec, 295 secs
lola: 148181356 markings, 258446748 edges, 449123 markings/sec, 300 secs
lola: 150543901 markings, 262572521 edges, 472509 markings/sec, 305 secs
lola: 152816640 markings, 266645263 edges, 454548 markings/sec, 310 secs
lola: 155066926 markings, 270645965 edges, 450057 markings/sec, 315 secs
lola: 157327230 markings, 274700740 edges, 452061 markings/sec, 320 secs
lola: 159523377 markings, 278680813 edges, 439229 markings/sec, 325 secs
lola: 161756095 markings, 282640439 edges, 446544 markings/sec, 330 secs
lola: 164080583 markings, 286729958 edges, 464898 markings/sec, 335 secs
lola: 166378946 markings, 290770711 edges, 459673 markings/sec, 340 secs
lola: 168578345 markings, 294679981 edges, 439880 markings/sec, 345 secs
lola: 170774096 markings, 298625284 edges, 439150 markings/sec, 350 secs
lola: 173050392 markings, 302628202 edges, 455259 markings/sec, 355 secs
lola: 175345208 markings, 306654999 edges, 458963 markings/sec, 360 secs
lola: 177508213 markings, 310555250 edges, 432601 markings/sec, 365 secs
lola: 179762574 markings, 314565954 edges, 450872 markings/sec, 370 secs
lola: 182054938 markings, 318622511 edges, 458473 markings/sec, 375 secs
lola: 184340980 markings, 322666097 edges, 457208 markings/sec, 380 secs
lola: 186510456 markings, 326536205 edges, 433895 markings/sec, 385 secs
lola: 186723057 markings, 326909263 edges, 42520 markings/sec, 390 secs
lola: 186796832 markings, 327040169 edges, 14755 markings/sec, 395 secs
lola: 186798605 markings, 327043351 edges, 355 markings/sec, 400 secs
lola: 186805678 markings, 327056034 edges, 1415 markings/sec, 405 secs
lola: 186808551 markings, 327061175 edges, 575 markings/sec, 410 secs
lola: 186829176 markings, 327098146 edges, 4125 markings/sec, 415 secs
lola: 186837083 markings, 327112313 edges, 1581 markings/sec, 420 secs
lola: 186841001 markings, 327119344 edges, 784 markings/sec, 425 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA MAPK-PT-01280-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(MEK_RafP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MEK_RafP)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3618848 markings, 6264834 edges, 723770 markings/sec, 0 secs
lola: 7341625 markings, 12712782 edges, 744555 markings/sec, 5 secs
lola: 10917506 markings, 18908509 edges, 715176 markings/sec, 10 secs
lola: 14409885 markings, 24954917 edges, 698476 markings/sec, 15 secs
lola: 17715988 markings, 30682404 edges, 661221 markings/sec, 20 secs
lola: 21144180 markings, 36621144 edges, 685638 markings/sec, 25 secs
lola: 24599694 markings, 42605512 edges, 691103 markings/sec, 30 secs
lola: 28021799 markings, 48531961 edges, 684421 markings/sec, 35 secs
lola: 31183074 markings, 54007387 edges, 632255 markings/sec, 40 secs
lola: 34570270 markings, 59875635 edges, 677439 markings/sec, 45 secs
lola: 37993979 markings, 65790034 edges, 684742 markings/sec, 50 secs
lola: 41438718 markings, 71806301 edges, 688948 markings/sec, 55 secs
lola: 44854814 markings, 77730354 edges, 683219 markings/sec, 60 secs
lola: 48228448 markings, 83627973 edges, 674727 markings/sec, 65 secs
lola: 51621362 markings, 89517675 edges, 678583 markings/sec, 70 secs
lola: 54992239 markings, 95346759 edges, 674175 markings/sec, 75 secs
lola: 58353419 markings, 101179230 edges, 672236 markings/sec, 80 secs
lola: 61634273 markings, 106894243 edges, 656171 markings/sec, 85 secs
lola: 65011221 markings, 112745302 edges, 675390 markings/sec, 90 secs
lola: 68336441 markings, 118488097 edges, 665044 markings/sec, 95 secs
lola: 71657511 markings, 124225012 edges, 664214 markings/sec, 100 secs
lola: 74932685 markings, 129887265 edges, 655035 markings/sec, 105 secs
lola: 78331879 markings, 135790869 edges, 679839 markings/sec, 110 secs
lola: 81561842 markings, 141407250 edges, 645993 markings/sec, 115 secs
lola: 84869356 markings, 147177627 edges, 661503 markings/sec, 120 secs
lola: 88250185 markings, 153050258 edges, 676166 markings/sec, 125 secs
lola: 91561230 markings, 158817057 edges, 662209 markings/sec, 130 secs
lola: 94657482 markings, 164206466 edges, 619250 markings/sec, 135 secs
lola: 97982561 markings, 169963997 edges, 665016 markings/sec, 140 secs
lola: 101134530 markings, 175418868 edges, 630394 markings/sec, 145 secs
lola: 104408541 markings, 181136314 edges, 654802 markings/sec, 150 secs
lola: 107778132 markings, 187022197 edges, 673918 markings/sec, 155 secs
lola: 110957731 markings, 192545269 edges, 635920 markings/sec, 160 secs
lola: 114377132 markings, 198456867 edges, 683880 markings/sec, 165 secs
lola: 117728423 markings, 204298817 edges, 670258 markings/sec, 170 secs
lola: 121057808 markings, 210079938 edges, 665877 markings/sec, 175 secs
lola: 124264027 markings, 215635693 edges, 641244 markings/sec, 180 secs
lola: 127418149 markings, 221133347 edges, 630824 markings/sec, 185 secs
lola: 130710850 markings, 226833708 edges, 658540 markings/sec, 190 secs
lola: 134025342 markings, 232574412 edges, 662898 markings/sec, 195 secs
lola: 137017242 markings, 237767882 edges, 598380 markings/sec, 200 secs
lola: 140088216 markings, 243068533 edges, 614195 markings/sec, 205 secs
lola: 143408992 markings, 248833382 edges, 664155 markings/sec, 210 secs
lola: 146732971 markings, 254584880 edges, 664796 markings/sec, 215 secs
lola: 150073532 markings, 260414779 edges, 668112 markings/sec, 220 secs
lola: 153383961 markings, 266152826 edges, 662086 markings/sec, 225 secs
lola: 156862849 markings, 272213123 edges, 695778 markings/sec, 230 secs
lola: 160242382 markings, 278083348 edges, 675907 markings/sec, 235 secs
lola: 163428001 markings, 283602729 edges, 637124 markings/sec, 240 secs
lola: 166795952 markings, 289420794 edges, 673590 markings/sec, 245 secs
lola: 170160595 markings, 295237750 edges, 672929 markings/sec, 250 secs
lola: 173333945 markings, 300779701 edges, 634670 markings/sec, 255 secs
lola: 173695078 markings, 301407111 edges, 72227 markings/sec, 260 secs
lola: 173725632 markings, 301460253 edges, 6111 markings/sec, 265 secs
lola: 173761526 markings, 301522397 edges, 7179 markings/sec, 270 secs
lola: 173774782 markings, 301545527 edges, 2651 markings/sec, 275 secs
lola: 173775239 markings, 301546196 edges, 91 markings/sec, 280 secs
lola: 173783521 markings, 301560845 edges, 1656 markings/sec, 285 secs
lola: 173794393 markings, 301579631 edges, 2174 markings/sec, 290 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA MAPK-PT-01280-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(ERK_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERK_MEKPP)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3217080 markings, 5536425 edges, 643416 markings/sec, 0 secs
lola: 6262759 markings, 10772703 edges, 609136 markings/sec, 5 secs
lola: 9171068 markings, 15790051 edges, 581662 markings/sec, 10 secs
lola: 11955869 markings, 20600788 edges, 556960 markings/sec, 15 secs
lola: 14686358 markings, 25318201 edges, 546098 markings/sec, 20 secs
lola: 17422934 markings, 30047639 edges, 547315 markings/sec, 25 secs
lola: 20111094 markings, 34691367 edges, 537632 markings/sec, 30 secs
lola: 22822188 markings, 39377008 edges, 542219 markings/sec, 35 secs
lola: 25526439 markings, 44047048 edges, 540850 markings/sec, 40 secs
lola: 28198152 markings, 48664279 edges, 534343 markings/sec, 45 secs
lola: 30875616 markings, 53290180 edges, 535493 markings/sec, 50 secs
lola: 33505316 markings, 57834297 edges, 525940 markings/sec, 55 secs
lola: 36064023 markings, 62256053 edges, 511741 markings/sec, 60 secs
lola: 38698502 markings, 66807112 edges, 526896 markings/sec, 65 secs
lola: 41290988 markings, 71286997 edges, 518497 markings/sec, 70 secs
lola: 43823937 markings, 75662551 edges, 506590 markings/sec, 75 secs
lola: 46414315 markings, 80137551 edges, 518076 markings/sec, 80 secs
lola: 48971333 markings, 84556740 edges, 511404 markings/sec, 85 secs
lola: 51567635 markings, 89041653 edges, 519260 markings/sec, 90 secs
lola: 54298366 markings, 93760884 edges, 546146 markings/sec, 95 secs
lola: 56997637 markings, 98422555 edges, 539854 markings/sec, 100 secs
lola: 59693531 markings, 103082714 edges, 539179 markings/sec, 105 secs
lola: 62321938 markings, 107623622 edges, 525681 markings/sec, 110 secs
lola: 64781294 markings, 111876571 edges, 491871 markings/sec, 115 secs
lola: 67187289 markings, 116055112 edges, 481199 markings/sec, 120 secs
lola: 69586507 markings, 120225354 edges, 479844 markings/sec, 125 secs
lola: 71977492 markings, 124389828 edges, 478197 markings/sec, 130 secs
lola: 74323357 markings, 128506080 edges, 469173 markings/sec, 135 secs
lola: 76662121 markings, 132617839 edges, 467753 markings/sec, 140 secs
lola: 78962289 markings, 136632067 edges, 460034 markings/sec, 145 secs
lola: 81334305 markings, 140762757 edges, 474403 markings/sec, 150 secs
lola: 83693758 markings, 144886017 edges, 471891 markings/sec, 155 secs
lola: 86067312 markings, 149034202 edges, 474711 markings/sec, 160 secs
lola: 88373350 markings, 153061320 edges, 461208 markings/sec, 165 secs
lola: 90707447 markings, 157127165 edges, 466819 markings/sec, 170 secs
lola: 92998579 markings, 161160257 edges, 458226 markings/sec, 175 secs
lola: 95304788 markings, 165212709 edges, 461242 markings/sec, 180 secs
lola: 97599478 markings, 169221494 edges, 458938 markings/sec, 185 secs
lola: 99877295 markings, 173207876 edges, 455563 markings/sec, 190 secs
lola: 102138561 markings, 177205852 edges, 452253 markings/sec, 195 secs
lola: 104449526 markings, 181273936 edges, 462193 markings/sec, 200 secs
lola: 106796873 markings, 185369063 edges, 469469 markings/sec, 205 secs
lola: 109064542 markings, 189384420 edges, 453534 markings/sec, 210 secs
lola: 111374759 markings, 193437038 edges, 462043 markings/sec, 215 secs
lola: 113563087 markings, 197314626 edges, 437666 markings/sec, 220 secs
lola: 115860550 markings, 201363433 edges, 459493 markings/sec, 225 secs
lola: 118136890 markings, 205357041 edges, 455268 markings/sec, 230 secs
lola: 120430552 markings, 209393536 edges, 458732 markings/sec, 235 secs
lola: 122755979 markings, 213489927 edges, 465085 markings/sec, 240 secs
lola: 125004240 markings, 217465217 edges, 449652 markings/sec, 245 secs
lola: 127175288 markings, 221308232 edges, 434210 markings/sec, 250 secs
lola: 129502710 markings, 225353283 edges, 465484 markings/sec, 255 secs
lola: 131773378 markings, 229372870 edges, 454134 markings/sec, 260 secs
lola: 134002995 markings, 233309659 edges, 445923 markings/sec, 265 secs
lola: 136207805 markings, 237252512 edges, 440962 markings/sec, 270 secs
lola: 138437887 markings, 241219945 edges, 446016 markings/sec, 275 secs
lola: 140632819 markings, 245124365 edges, 438986 markings/sec, 280 secs
lola: 142848759 markings, 248978076 edges, 443188 markings/sec, 285 secs
lola: 145047354 markings, 252857816 edges, 439719 markings/sec, 290 secs
lola: 147297754 markings, 256842474 edges, 450080 markings/sec, 295 secs
lola: 149556429 markings, 260836527 edges, 451735 markings/sec, 300 secs
lola: 151807812 markings, 264850294 edges, 450277 markings/sec, 305 secs
lola: 154050437 markings, 268836679 edges, 448525 markings/sec, 310 secs
lola: 156235792 markings, 272761357 edges, 437071 markings/sec, 315 secs
lola: 158441275 markings, 276712037 edges, 441097 markings/sec, 320 secs
lola: 160610751 markings, 280597591 edges, 433895 markings/sec, 325 secs
lola: 162833838 markings, 284540157 edges, 444617 markings/sec, 330 secs
lola: 165152804 markings, 288604303 edges, 463793 markings/sec, 335 secs
lola: 167340041 markings, 292484743 edges, 437447 markings/sec, 340 secs
lola: 169472646 markings, 296304123 edges, 426521 markings/sec, 345 secs
lola: 171643873 markings, 300155982 edges, 434245 markings/sec, 350 secs
lola: 173924860 markings, 304138772 edges, 456197 markings/sec, 355 secs
lola: 176142552 markings, 308059252 edges, 443538 markings/sec, 360 secs
lola: 178227896 markings, 311853276 edges, 417069 markings/sec, 365 secs
lola: 180444880 markings, 315793049 edges, 443397 markings/sec, 370 secs
lola: 182775698 markings, 319868618 edges, 466164 markings/sec, 375 secs
lola: 184919819 markings, 323696105 edges, 428824 markings/sec, 380 secs
lola: 186734236 markings, 326927967 edges, 362883 markings/sec, 385 secs
lola: 186759215 markings, 326972752 edges, 4996 markings/sec, 390 secs
lola: 186811100 markings, 327065743 edges, 10377 markings/sec, 395 secs
lola: 186815437 markings, 327073521 edges, 867 markings/sec, 400 secs
lola: 186828313 markings, 327096597 edges, 2575 markings/sec, 405 secs
lola: 186863209 markings, 327157618 edges, 6979 markings/sec, 410 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA MAPK-PT-01280-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(ERKP_MEKPP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ERKP_MEKPP)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file MAPK-PT-01280-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: 640
lola: 3314049 markings, 5756771 edges, 662810 markings/sec, 0 secs
lola: 6822429 markings, 11869741 edges, 701676 markings/sec, 5 secs
lola: 10290526 markings, 17917269 edges, 693619 markings/sec, 10 secs
lola: 13774928 markings, 23995012 edges, 696880 markings/sec, 15 secs
lola: 17218285 markings, 30003146 edges, 688671 markings/sec, 20 secs
lola: 20634553 markings, 35965245 edges, 683254 markings/sec, 25 secs
lola: 24028302 markings, 41888266 edges, 678750 markings/sec, 30 secs
lola: 27406797 markings, 47785695 edges, 675699 markings/sec, 35 secs
lola: 30766842 markings, 53651936 edges, 672009 markings/sec, 40 secs
lola: 34115420 markings, 59498003 edges, 669716 markings/sec, 45 secs
lola: 37444524 markings, 65311300 edges, 665821 markings/sec, 50 secs
lola: 40749027 markings, 71081476 edges, 660901 markings/sec, 55 secs
lola: 44047026 markings, 76840253 edges, 659600 markings/sec, 60 secs
lola: 47334865 markings, 82581948 edges, 657568 markings/sec, 65 secs
lola: 50607789 markings, 88298084 edges, 654585 markings/sec, 70 secs
lola: 53877027 markings, 94007898 edges, 653848 markings/sec, 75 secs
lola: 57139630 markings, 99706724 edges, 652521 markings/sec, 80 secs
lola: 60403433 markings, 105406917 edges, 652761 markings/sec, 85 secs
lola: 63653781 markings, 111084347 edges, 650070 markings/sec, 90 secs
lola: 66895438 markings, 116747150 edges, 648331 markings/sec, 95 secs
lola: 70153805 markings, 122438599 edges, 651673 markings/sec, 100 secs
lola: 73408583 markings, 128124360 edges, 650956 markings/sec, 105 secs
lola: 76662706 markings, 133809035 edges, 650825 markings/sec, 110 secs
lola: 79913163 markings, 139487290 edges, 650091 markings/sec, 115 secs
lola: 83158273 markings, 145156928 edges, 649022 markings/sec, 120 secs
lola: 86417466 markings, 150850438 edges, 651839 markings/sec, 125 secs
lola: 89666545 markings, 156527001 edges, 649816 markings/sec, 130 secs
lola: 92911302 markings, 162196074 edges, 648951 markings/sec, 135 secs
lola: 96155068 markings, 167863293 edges, 648753 markings/sec, 140 secs
lola: 99397636 markings, 173528469 edges, 648514 markings/sec, 145 secs
lola: 102649866 markings, 179211550 edges, 650446 markings/sec, 150 secs
lola: 105895376 markings, 184881770 edges, 649102 markings/sec, 155 secs
lola: 109164021 markings, 190592573 edges, 653729 markings/sec, 160 secs
lola: 112419913 markings, 196281724 edges, 651178 markings/sec, 165 secs
lola: 115674389 markings, 201968650 edges, 650895 markings/sec, 170 secs
lola: 118937472 markings, 207670757 edges, 652617 markings/sec, 175 secs
lola: 122196754 markings, 213365011 edges, 651856 markings/sec, 180 secs
lola: 125450077 markings, 219049839 edges, 650665 markings/sec, 185 secs
lola: 128696387 markings, 224723289 edges, 649262 markings/sec, 190 secs
lola: 131926882 markings, 230368039 edges, 646099 markings/sec, 195 secs
lola: 135163317 markings, 236023345 edges, 647287 markings/sec, 200 secs
lola: 138390834 markings, 241663022 edges, 645503 markings/sec, 205 secs
lola: 141613404 markings, 247294886 edges, 644514 markings/sec, 210 secs
lola: 144847365 markings, 252945815 edges, 646792 markings/sec, 215 secs
lola: 148063257 markings, 258566107 edges, 643178 markings/sec, 220 secs
lola: 151293873 markings, 264212173 edges, 646123 markings/sec, 225 secs
lola: 154516760 markings, 269843583 edges, 644577 markings/sec, 230 secs
lola: 157734642 markings, 275467347 edges, 643576 markings/sec, 235 secs
lola: 160948558 markings, 281084243 edges, 642783 markings/sec, 240 secs
lola: 164163424 markings, 286702698 edges, 642973 markings/sec, 245 secs
lola: 167377466 markings, 292319664 edges, 642808 markings/sec, 250 secs
lola: 170588461 markings, 297931264 edges, 642199 markings/sec, 255 secs
lola: 173797504 markings, 303539684 edges, 641809 markings/sec, 260 secs
lola: 176043281 markings, 307464063 edges, 449155 markings/sec, 265 secs
lola: 176161379 markings, 307670649 edges, 23620 markings/sec, 270 secs
lola: time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 960 960 unknown unknown unknown 960 1280 960 unknown unknown 960 960 unknown 640 640 unknown
lola:
preliminary result: 960 960 unknown unknown unknown 960 1280 960 unknown unknown 960 960 unknown 640 640 unknown
lola:
preliminary result: 960 960 unknown unknown unknown 960 1280 960 unknown unknown 960 960 unknown 640 640 unknown

BK_STOP 1552801562956

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

grep: GenericPropertiesVerdict.xml: No such file or directory
Segmentation fault

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="MAPK-PT-01280"
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-3957"
echo " Executing tool win2018"
echo " Input is MAPK-PT-01280, 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 r099-smll-155246598400103"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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