Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
................
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 17 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 21K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is GPPP-PT-C0100N0000001000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998300317
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526732624017

info: Time: 3600 - MCC
===========================================================================================
prep: translating GPPP-PT-C0100N0000001000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GPPP-PT-C0100N0000001000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ GPPP-PT-C0100N0000001000 @ 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: 55/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 30 transition conflict sets
lola: TASK
lola: reading formula from GPPP-PT-C0100N0000001000-UpperBounds.task
lola: MAX(c1) : MAX(PEP) : MAX(a2) : MAX(b2) : MAX(DHAP) : MAX(c2) : MAX(PEP) : MAX(start) : MAX(c1) : MAX(Gluc) : MAX(F6P) : MAX(Pyr) : MAX(E4P) : MAX(Ru5P) : MAX(DHAP) : MAX(Pyr)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-0 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PEP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 4659340 markings, 8387928 edges, 931868 markings/sec, 30 secs
lola: 8941114 markings, 15431545 edges, 856355 markings/sec, 35 secs
lola: 13051287 markings, 22208589 edges, 822035 markings/sec, 40 secs
lola: 17117772 markings, 28939872 edges, 813297 markings/sec, 45 secs
lola: 21534181 markings, 36296034 edges, 883282 markings/sec, 50 secs
lola: 25568865 markings, 43074619 edges, 806937 markings/sec, 55 secs
lola: 29437589 markings, 49573662 edges, 773745 markings/sec, 60 secs
lola: 33206064 markings, 55904609 edges, 753695 markings/sec, 65 secs
lola: 37033699 markings, 62334945 edges, 765527 markings/sec, 70 secs
lola: 40869800 markings, 68779424 edges, 767220 markings/sec, 75 secs
lola: 44780337 markings, 75349107 edges, 782107 markings/sec, 80 secs
lola: 48670875 markings, 81884525 edges, 778108 markings/sec, 85 secs
lola: 52602654 markings, 88489599 edges, 786356 markings/sec, 90 secs
lola: 56541003 markings, 95105619 edges, 787670 markings/sec, 95 secs
lola: 60472860 markings, 101710552 edges, 786371 markings/sec, 100 secs
lola: 64380031 markings, 108273903 edges, 781434 markings/sec, 105 secs
lola: 68353226 markings, 114948028 edges, 794639 markings/sec, 110 secs
lola: 72364292 markings, 121685542 edges, 802213 markings/sec, 115 secs
lola: 76370555 markings, 128414622 edges, 801253 markings/sec, 120 secs
lola: 80672386 markings, 135643434 edges, 860366 markings/sec, 125 secs
lola: 84940462 markings, 142825986 edges, 853615 markings/sec, 130 secs
lola: 89100499 markings, 149838549 edges, 832007 markings/sec, 135 secs
lola: 93511858 markings, 157248441 edges, 882272 markings/sec, 140 secs
lola: 97875494 markings, 164591627 edges, 872727 markings/sec, 145 secs
lola: 102194988 markings, 171860382 edges, 863899 markings/sec, 150 secs
lola: 106422517 markings, 178975702 edges, 845506 markings/sec, 155 secs
lola: 110668847 markings, 186123820 edges, 849266 markings/sec, 160 secs
lola: 114897899 markings, 193237963 edges, 845810 markings/sec, 165 secs
lola: 119063381 markings, 200247829 edges, 833096 markings/sec, 170 secs
lola: 123232511 markings, 207264502 edges, 833826 markings/sec, 175 secs
lola: 127372077 markings, 214232042 edges, 827913 markings/sec, 180 secs
lola: 131616769 markings, 221385054 edges, 848938 markings/sec, 185 secs
lola: 135800681 markings, 228415679 edges, 836782 markings/sec, 190 secs
lola: 140007829 markings, 235496766 edges, 841430 markings/sec, 195 secs
lola: 144132236 markings, 242438817 edges, 824881 markings/sec, 200 secs
lola: 148282105 markings, 249428744 edges, 829974 markings/sec, 205 secs
lola: 152377906 markings, 256315766 edges, 819160 markings/sec, 210 secs
lola: 156498564 markings, 263251303 edges, 824132 markings/sec, 215 secs
lola: 160590569 markings, 270139574 edges, 818401 markings/sec, 220 secs
lola: 164605169 markings, 276907061 edges, 802920 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 700 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5969048 KB
lola: time consumption: 317 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(a2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 744 markings, 744 edges, 149 markings/sec, 25 secs
lola: 4300310 markings, 8355018 edges, 859913 markings/sec, 30 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 5463926 markings, 10527855 edges
lola: ========================================

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

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-3 300 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DHAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DHAP)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 3012488 markings, 8687636 edges, 602498 markings/sec, 30 secs
lola: 5476589 markings, 17537044 edges, 492820 markings/sec, 35 secs
lola: 7980834 markings, 26508373 edges, 500849 markings/sec, 40 secs
lola: 11159219 markings, 35520590 edges, 635677 markings/sec, 45 secs
lola: 14154871 markings, 43880596 edges, 599130 markings/sec, 50 secs
lola: 17028244 markings, 51905031 edges, 574675 markings/sec, 55 secs
lola: 19834821 markings, 59742919 edges, 561315 markings/sec, 60 secs
lola: 22588149 markings, 67432166 edges, 550666 markings/sec, 65 secs
lola: 25340479 markings, 75119352 edges, 550466 markings/sec, 70 secs
lola: 28081463 markings, 82777026 edges, 548197 markings/sec, 75 secs
lola: 30811195 markings, 90400150 edges, 545946 markings/sec, 80 secs
lola: 33534097 markings, 98002989 edges, 544580 markings/sec, 85 secs
lola: 36248553 markings, 105582459 edges, 542891 markings/sec, 90 secs
lola: 38948328 markings, 113120741 edges, 539955 markings/sec, 95 secs
lola: 41640270 markings, 120637162 edges, 538388 markings/sec, 100 secs
lola: 44313375 markings, 128100741 edges, 534621 markings/sec, 105 secs
lola: 46969571 markings, 135517321 edges, 531239 markings/sec, 110 secs
lola: 49607134 markings, 142881665 edges, 527513 markings/sec, 115 secs
lola: 52232878 markings, 150212960 edges, 525149 markings/sec, 120 secs
lola: 54875176 markings, 157586054 edges, 528460 markings/sec, 125 secs
lola: 57431496 markings, 164721395 edges, 511264 markings/sec, 130 secs
lola: 60065981 markings, 172075702 edges, 526897 markings/sec, 135 secs
lola: 62686300 markings, 179390816 edges, 524064 markings/sec, 140 secs
lola: 65300375 markings, 186688840 edges, 522815 markings/sec, 145 secs
lola: 67898868 markings, 193942353 edges, 519699 markings/sec, 150 secs
lola: 70545005 markings, 201324718 edges, 529227 markings/sec, 155 secs
lola: 73184968 markings, 208694114 edges, 527993 markings/sec, 160 secs
lola: 75825807 markings, 216062671 edges, 528168 markings/sec, 165 secs
lola: 78412327 markings, 223280901 edges, 517304 markings/sec, 170 secs
lola: 80952212 markings, 230368218 edges, 507977 markings/sec, 175 secs
lola: 83561016 markings, 237647144 edges, 521761 markings/sec, 180 secs
lola: 86222266 markings, 245070292 edges, 532250 markings/sec, 185 secs
lola: 88887828 markings, 252506602 edges, 533112 markings/sec, 190 secs
lola: 91560417 markings, 259962343 edges, 534518 markings/sec, 195 secs
lola: 94247864 markings, 267457092 edges, 537489 markings/sec, 200 secs
lola: 96935557 markings, 274951459 edges, 537539 markings/sec, 205 secs
lola: 99609371 markings, 282407572 edges, 534763 markings/sec, 210 secs
lola: 102310514 markings, 289936821 edges, 540229 markings/sec, 215 secs
lola: 105025648 markings, 297504447 edges, 543027 markings/sec, 220 secs
lola: 107735364 markings, 305054678 edges, 541943 markings/sec, 225 secs
lola: 110428655 markings, 312556634 edges, 538658 markings/sec, 230 secs
lola: 113164808 markings, 320175352 edges, 547231 markings/sec, 235 secs
lola: 115890842 markings, 327758961 edges, 545207 markings/sec, 240 secs
lola: 118686949 markings, 335523779 edges, 559221 markings/sec, 245 secs
lola: 121450245 markings, 343307779 edges, 552659 markings/sec, 250 secs
lola: 124069667 markings, 350738457 edges, 523884 markings/sec, 255 secs
lola: 126630315 markings, 357913433 edges, 512130 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4706624 KB
lola: time consumption: 622 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 923 markings, 924 edges, 185 markings/sec, 25 secs
lola: 2381380 markings, 6193139 edges, 476091 markings/sec, 30 secs
lola: 5629306 markings, 15251718 edges, 649585 markings/sec, 35 secs
lola: 9042608 markings, 24432482 edges, 682660 markings/sec, 40 secs
lola: 11602114 markings, 30551442 edges, 511901 markings/sec, 45 secs
lola: 14963265 markings, 38612707 edges, 672230 markings/sec, 50 secs
lola: 18247601 markings, 46493292 edges, 656867 markings/sec, 55 secs
lola: 21465748 markings, 54215101 edges, 643629 markings/sec, 60 secs
lola: 24649476 markings, 61854198 edges, 636746 markings/sec, 65 secs
lola: 27812960 markings, 69444653 edges, 632697 markings/sec, 70 secs
lola: 30563882 markings, 76045401 edges, 550184 markings/sec, 75 secs
lola: 33153374 markings, 82258594 edges, 517898 markings/sec, 80 secs
lola: 36264407 markings, 89723309 edges, 622207 markings/sec, 85 secs
lola: 39218796 markings, 96811983 edges, 590878 markings/sec, 90 secs
lola: 41542482 markings, 102387485 edges, 464737 markings/sec, 95 secs
lola: 44609035 markings, 109745344 edges, 613311 markings/sec, 100 secs
lola: 47698311 markings, 117157778 edges, 617855 markings/sec, 105 secs
lola: 50767429 markings, 124521662 edges, 613824 markings/sec, 110 secs
lola: 53811091 markings, 131824450 edges, 608732 markings/sec, 115 secs
lola: 56830708 markings, 139069825 edges, 603923 markings/sec, 120 secs
lola: 59885642 markings, 146399804 edges, 610987 markings/sec, 125 secs
lola: 62914661 markings, 153667299 edges, 605804 markings/sec, 130 secs
lola: 65936611 markings, 160918524 edges, 604390 markings/sec, 135 secs
lola: 68380555 markings, 166782021 edges, 488789 markings/sec, 140 secs
lola: 71146649 markings, 173418795 edges, 553219 markings/sec, 145 secs
lola: 74204796 markings, 180756422 edges, 611629 markings/sec, 150 secs
lola: 77251100 markings, 188065628 edges, 609261 markings/sec, 155 secs
lola: 80324824 markings, 195440456 edges, 614745 markings/sec, 160 secs
lola: 83398865 markings, 202815920 edges, 614808 markings/sec, 165 secs
lola: 86473890 markings, 210193882 edges, 615005 markings/sec, 170 secs
lola: 89554030 markings, 217584014 edges, 616028 markings/sec, 175 secs
lola: 92641378 markings, 224991577 edges, 617470 markings/sec, 180 secs
lola: 95747639 markings, 232444473 edges, 621252 markings/sec, 185 secs
lola: 97930653 markings, 237682334 edges, 436603 markings/sec, 190 secs
lola: 101060126 markings, 245190881 edges, 625895 markings/sec, 195 secs
lola: 104219874 markings, 252771745 edges, 631950 markings/sec, 200 secs
lola: 106470425 markings, 258171149 edges, 450110 markings/sec, 205 secs
lola: 109587603 markings, 265650216 edges, 623436 markings/sec, 210 secs
lola: 112765642 markings, 273275660 edges, 635608 markings/sec, 215 secs
lola: 115951673 markings, 280919981 edges, 637206 markings/sec, 220 secs
lola: 119201267 markings, 288718934 edges, 649919 markings/sec, 225 secs
lola: 122321436 markings, 296279027 edges, 624034 markings/sec, 230 secs
lola: 125398909 markings, 303739542 edges, 615495 markings/sec, 235 secs
lola: 128460662 markings, 311162574 edges, 612351 markings/sec, 240 secs
lola: 131489108 markings, 318505759 edges, 605689 markings/sec, 245 secs
lola: 134491930 markings, 325787604 edges, 600564 markings/sec, 250 secs
lola: 137592856 markings, 333298541 edges, 620185 markings/sec, 255 secs
lola: 140789262 markings, 340991756 edges, 639281 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5236988 KB
lola: time consumption: 890 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PEP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 4868252 markings, 8725152 edges, 973650 markings/sec, 30 secs
lola: 9700283 markings, 16689939 edges, 966406 markings/sec, 35 secs
lola: 14161383 markings, 24031381 edges, 892220 markings/sec, 40 secs
lola: 18626593 markings, 31413542 edges, 893042 markings/sec, 45 secs
lola: 23090915 markings, 38911421 edges, 892864 markings/sec, 50 secs
lola: 27153979 markings, 45737511 edges, 812613 markings/sec, 55 secs
lola: 31151081 markings, 52452286 edges, 799420 markings/sec, 60 secs
lola: 35060588 markings, 59020237 edges, 781901 markings/sec, 65 secs
lola: 38995270 markings, 65630265 edges, 786936 markings/sec, 70 secs
lola: 42930805 markings, 72241857 edges, 787107 markings/sec, 75 secs
lola: 46831557 markings, 78794670 edges, 780150 markings/sec, 80 secs
lola: 50710968 markings, 85311720 edges, 775882 markings/sec, 85 secs
lola: 54661074 markings, 91947513 edges, 790021 markings/sec, 90 secs
lola: 58598260 markings, 98561499 edges, 787437 markings/sec, 95 secs
lola: 62522108 markings, 105153046 edges, 784770 markings/sec, 100 secs
lola: 66508193 markings, 111848924 edges, 797217 markings/sec, 105 secs
lola: 70507229 markings, 118566247 edges, 799807 markings/sec, 110 secs
lola: 74530784 markings, 125324558 edges, 804711 markings/sec, 115 secs
lola: 78663847 markings, 132266199 edges, 826613 markings/sec, 120 secs
lola: 83034098 markings, 139617338 edges, 874050 markings/sec, 125 secs
lola: 87256335 markings, 146722485 edges, 844447 markings/sec, 130 secs
lola: 91517718 markings, 153903850 edges, 852277 markings/sec, 135 secs
lola: 95912950 markings, 161288960 edges, 879046 markings/sec, 140 secs
lola: 100232718 markings, 168558335 edges, 863954 markings/sec, 145 secs
lola: 104502209 markings, 175743312 edges, 853898 markings/sec, 150 secs
lola: 108735925 markings, 182868625 edges, 846743 markings/sec, 155 secs
lola: 113001569 markings, 190050480 edges, 853129 markings/sec, 160 secs
lola: 117171178 markings, 197063417 edges, 833922 markings/sec, 165 secs
lola: 121352872 markings, 204101146 edges, 836339 markings/sec, 170 secs
lola: 125497871 markings, 211077167 edges, 829000 markings/sec, 175 secs
lola: 129732935 markings, 218205304 edges, 847013 markings/sec, 180 secs
lola: 133963638 markings, 225335089 edges, 846141 markings/sec, 185 secs
lola: 138131027 markings, 232337664 edges, 833478 markings/sec, 190 secs
lola: 142306053 markings, 239364856 edges, 835005 markings/sec, 195 secs
lola: 146442344 markings, 246327039 edges, 827258 markings/sec, 200 secs
lola: 150606374 markings, 253341570 edges, 832806 markings/sec, 205 secs
lola: 154696624 markings, 260218267 edges, 818050 markings/sec, 210 secs
lola: 158816742 markings, 267153232 edges, 824024 markings/sec, 215 secs
lola: 162899478 markings, 274026133 edges, 816547 markings/sec, 220 secs
lola: 167057422 markings, 281032057 edges, 831589 markings/sec, 225 secs
lola: 171372279 markings, 288285449 edges, 862971 markings/sec, 230 secs
lola: 175620776 markings, 295436430 edges, 849699 markings/sec, 235 secs
lola: 179410672 markings, 301817202 edges, 757979 markings/sec, 240 secs
lola: 183524601 markings, 308750036 edges, 822786 markings/sec, 245 secs
lola: 187722643 markings, 315806251 edges, 839608 markings/sec, 250 secs
lola: 191883010 markings, 322809620 edges, 832073 markings/sec, 255 secs
lola: 196034794 markings, 329799307 edges, 830357 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7119972 KB
lola: time consumption: 1158 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(start)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(start)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges

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

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

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-9 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 402 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(F6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(F6P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 2557630 markings, 8908937 edges, 511526 markings/sec, 30 secs
lola: 4622768 markings, 17114934 edges, 413028 markings/sec, 35 secs
lola: 6395021 markings, 24788961 edges, 354451 markings/sec, 40 secs
lola: 8536602 markings, 32922966 edges, 428316 markings/sec, 45 secs
lola: 10526540 markings, 40765296 edges, 397988 markings/sec, 50 secs
lola: 12188055 markings, 48023472 edges, 332303 markings/sec, 55 secs
lola: 13862766 markings, 55418055 edges, 334942 markings/sec, 60 secs
lola: 16172374 markings, 63510883 edges, 461922 markings/sec, 65 secs
lola: 18141928 markings, 71217132 edges, 393911 markings/sec, 70 secs
lola: 19880542 markings, 78603010 edges, 347723 markings/sec, 75 secs
lola: 21384238 markings, 85399978 edges, 300739 markings/sec, 80 secs
lola: 23468715 markings, 93215139 edges, 416895 markings/sec, 85 secs
lola: 25644379 markings, 101119910 edges, 435133 markings/sec, 90 secs
lola: 27625588 markings, 108827871 edges, 396242 markings/sec, 95 secs
lola: 29386205 markings, 116307615 edges, 352123 markings/sec, 100 secs
lola: 30878495 markings, 122915834 edges, 298458 markings/sec, 105 secs
lola: 32533509 markings, 130046186 edges, 331003 markings/sec, 110 secs
lola: 34898416 markings, 138055216 edges, 472981 markings/sec, 115 secs
lola: 36370980 markings, 143553122 edges, 294513 markings/sec, 120 secs
lola: 38288585 markings, 150877669 edges, 383521 markings/sec, 125 secs
lola: 39844761 markings, 157266143 edges, 311235 markings/sec, 130 secs
lola: 41600614 markings, 164687995 edges, 351171 markings/sec, 135 secs
lola: 43029632 markings, 171179740 edges, 285804 markings/sec, 140 secs
lola: 44782426 markings, 178361496 edges, 350559 markings/sec, 145 secs
lola: 47134705 markings, 186308100 edges, 470456 markings/sec, 150 secs
lola: 49207032 markings, 194046410 edges, 414465 markings/sec, 155 secs
lola: 51162009 markings, 201522043 edges, 390995 markings/sec, 160 secs
lola: 52998564 markings, 208988206 edges, 367311 markings/sec, 165 secs
lola: 54688581 markings, 216276517 edges, 338003 markings/sec, 170 secs
lola: 56255192 markings, 223006314 edges, 313322 markings/sec, 175 secs
lola: 57662585 markings, 229572397 edges, 281479 markings/sec, 180 secs
lola: 59970894 markings, 237585460 edges, 461662 markings/sec, 185 secs
lola: 62235925 markings, 245350854 edges, 453006 markings/sec, 190 secs
lola: 64257400 markings, 252994175 edges, 404295 markings/sec, 195 secs
lola: 66228489 markings, 260529933 edges, 394218 markings/sec, 200 secs
lola: 68071521 markings, 268098870 edges, 368606 markings/sec, 205 secs
lola: 69745329 markings, 275171538 edges, 334762 markings/sec, 210 secs
lola: 71254466 markings, 281620844 edges, 301827 markings/sec, 215 secs
lola: 72633242 markings, 287843366 edges, 275755 markings/sec, 220 secs
lola: 74564965 markings, 295249447 edges, 386345 markings/sec, 225 secs
lola: 76679285 markings, 302425288 edges, 422864 markings/sec, 230 secs
lola: 78862680 markings, 310265741 edges, 436679 markings/sec, 235 secs
lola: 80829052 markings, 317748279 edges, 393274 markings/sec, 240 secs
lola: 82764719 markings, 325206279 edges, 387133 markings/sec, 245 secs
lola: 84649330 markings, 332758113 edges, 376922 markings/sec, 250 secs
lola: 86308974 markings, 339760387 edges, 331929 markings/sec, 255 secs
lola: 88014213 markings, 347173050 edges, 341048 markings/sec, 260 secs
lola: 89450098 markings, 353544481 edges, 287177 markings/sec, 265 secs
lola: 91056403 markings, 360516303 edges, 321261 markings/sec, 270 secs
lola: 93392006 markings, 368444717 edges, 467121 markings/sec, 275 secs
lola: 95678030 markings, 376140229 edges, 457205 markings/sec, 280 secs
lola: 97763087 markings, 383831977 edges, 417011 markings/sec, 285 secs
lola: 99688350 markings, 391277402 edges, 385053 markings/sec, 290 secs
lola: 101624733 markings, 398745577 edges, 387277 markings/sec, 295 secs
lola: 103460817 markings, 406241575 edges, 367217 markings/sec, 300 secs
lola: 105106374 markings, 413171635 edges, 329111 markings/sec, 305 secs
lola: 106754423 markings, 420435058 edges, 329610 markings/sec, 310 secs
lola: 108256369 markings, 426944854 edges, 300389 markings/sec, 315 secs
lola: 109677838 markings, 433583504 edges, 284294 markings/sec, 320 secs
lola: 112090162 markings, 441565686 edges, 482465 markings/sec, 325 secs
lola: 114362617 markings, 449137117 edges, 454491 markings/sec, 330 secs
lola: 116487486 markings, 456951548 edges, 424974 markings/sec, 335 secs
lola: 118403726 markings, 464312647 edges, 383248 markings/sec, 340 secs
lola: 120417681 markings, 471920331 edges, 402791 markings/sec, 345 secs
lola: 122335870 markings, 479374987 edges, 383638 markings/sec, 350 secs
lola: 124125155 markings, 486875980 edges, 357857 markings/sec, 355 secs
lola: 125753332 markings, 493671908 edges, 325635 markings/sec, 360 secs
lola: 127404121 markings, 500964554 edges, 330158 markings/sec, 365 secs
lola: 128933840 markings, 507549887 edges, 305944 markings/sec, 370 secs
lola: 130337045 markings, 514058696 edges, 280641 markings/sec, 375 secs
lola: 132688105 markings, 521925222 edges, 470212 markings/sec, 380 secs
lola: 134877410 markings, 529448339 edges, 437861 markings/sec, 385 secs
lola: 137056856 markings, 537137509 edges, 435889 markings/sec, 390 secs
lola: 139126302 markings, 544776917 edges, 413889 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown 1 700 400 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5000572 KB
lola: time consumption: 1561 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pyr)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pyr)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 4365627 markings, 9197646 edges, 873125 markings/sec, 30 secs
lola: 8072277 markings, 16832722 edges, 741330 markings/sec, 35 secs
lola: 11716458 markings, 24338834 edges, 728836 markings/sec, 40 secs
lola: 15352109 markings, 31826290 edges, 727130 markings/sec, 45 secs
lola: 19034298 markings, 39407924 edges, 736438 markings/sec, 50 secs
lola: 22893741 markings, 47350572 edges, 771889 markings/sec, 55 secs
lola: 26693965 markings, 55202231 edges, 760045 markings/sec, 60 secs
lola: 30463398 markings, 63008776 edges, 753887 markings/sec, 65 secs
lola: 34150673 markings, 70646092 edges, 737455 markings/sec, 70 secs
lola: 37788741 markings, 78182104 edges, 727614 markings/sec, 75 secs
lola: 40965941 markings, 84766928 edges, 635440 markings/sec, 80 secs
lola: 43969297 markings, 90987639 edges, 600671 markings/sec, 85 secs
lola: 47564367 markings, 98435141 edges, 719014 markings/sec, 90 secs
lola: 50939144 markings, 105428289 edges, 674955 markings/sec, 95 secs
lola: 54220831 markings, 112223899 edges, 656337 markings/sec, 100 secs
lola: 57841937 markings, 119725827 edges, 724221 markings/sec, 105 secs
lola: 61391693 markings, 127080525 edges, 709951 markings/sec, 110 secs
lola: 63930410 markings, 132342797 edges, 507743 markings/sec, 115 secs
lola: 67477126 markings, 139691771 edges, 709343 markings/sec, 120 secs
lola: 71032074 markings, 147057788 edges, 710990 markings/sec, 125 secs
lola: 74613259 markings, 154478048 edges, 716237 markings/sec, 130 secs
lola: 78260343 markings, 162034452 edges, 729417 markings/sec, 135 secs
lola: 81856192 markings, 169485281 edges, 719170 markings/sec, 140 secs
lola: 85429808 markings, 176890439 edges, 714723 markings/sec, 145 secs
lola: 89097945 markings, 184490946 edges, 733627 markings/sec, 150 secs
lola: 92762763 markings, 192084468 edges, 732964 markings/sec, 155 secs
lola: 95979995 markings, 198852129 edges, 643446 markings/sec, 160 secs
lola: 98944705 markings, 205019322 edges, 592942 markings/sec, 165 secs
lola: 102193458 markings, 211794950 edges, 649751 markings/sec, 170 secs
lola: 105451217 markings, 218593937 edges, 651552 markings/sec, 175 secs
lola: 108722346 markings, 225427225 edges, 654226 markings/sec, 180 secs
lola: 112167575 markings, 232652510 edges, 689046 markings/sec, 185 secs
lola: 115440607 markings, 239481429 edges, 654606 markings/sec, 190 secs
lola: 117797710 markings, 244402067 edges, 471421 markings/sec, 195 secs
lola: 121036851 markings, 251161977 edges, 647828 markings/sec, 200 secs
lola: 124247949 markings, 257864296 edges, 642220 markings/sec, 205 secs
lola: 127420693 markings, 264487747 edges, 634549 markings/sec, 210 secs
lola: 130567337 markings, 271057741 edges, 629329 markings/sec, 215 secs
lola: 133756376 markings, 277720184 edges, 637808 markings/sec, 220 secs
lola: 136282129 markings, 282992072 edges, 505151 markings/sec, 225 secs
lola: 139150005 markings, 288983483 edges, 573575 markings/sec, 230 secs
lola: 142275019 markings, 295511172 edges, 625003 markings/sec, 235 secs
lola: 145377520 markings, 301992850 edges, 620500 markings/sec, 240 secs
lola: 148501455 markings, 308519991 edges, 624787 markings/sec, 245 secs
lola: 151657117 markings, 315113792 edges, 631132 markings/sec, 250 secs
lola: 154635854 markings, 321340249 edges, 595747 markings/sec, 255 secs
lola: 157095750 markings, 326483037 edges, 491979 markings/sec, 260 secs
lola: 160363656 markings, 333312752 edges, 653581 markings/sec, 265 secs
lola: 164248085 markings, 340704573 edges, 776886 markings/sec, 270 secs
lola: 167410133 markings, 345808754 edges, 632410 markings/sec, 275 secs
lola: 171973853 markings, 353193611 edges, 912744 markings/sec, 280 secs
lola: 176291030 markings, 360148864 edges, 863435 markings/sec, 285 secs
lola: 180588185 markings, 367075001 edges, 859431 markings/sec, 290 secs
lola: 184802129 markings, 373868894 edges, 842789 markings/sec, 295 secs
lola: 189111690 markings, 380818848 edges, 861912 markings/sec, 300 secs
lola: 192307119 markings, 386701714 edges, 639086 markings/sec, 305 secs
lola: 195509862 markings, 393338101 edges, 640549 markings/sec, 310 secs
lola: 198929724 markings, 400423206 edges, 683972 markings/sec, 315 secs
lola: 201924296 markings, 406630349 edges, 598914 markings/sec, 320 secs
lola: 204739620 markings, 412462711 edges, 563065 markings/sec, 325 secs
lola: 208095979 markings, 419422039 edges, 671272 markings/sec, 330 secs
lola: 211494184 markings, 426462965 edges, 679641 markings/sec, 335 secs
lola: 214873056 markings, 433463999 edges, 675774 markings/sec, 340 secs
lola: 218235421 markings, 440436537 edges, 672473 markings/sec, 345 secs
lola: 221674219 markings, 447561676 edges, 687760 markings/sec, 350 secs
lola: 225097204 markings, 454654232 edges, 684597 markings/sec, 355 secs
lola: 228493623 markings, 461697724 edges, 679284 markings/sec, 360 secs
lola: 231911238 markings, 468779389 edges, 683523 markings/sec, 365 secs
lola: 235301657 markings, 475805378 edges, 678084 markings/sec, 370 secs
lola: 238691691 markings, 482836256 edges, 678007 markings/sec, 375 secs
lola: 242216503 markings, 490139686 edges, 704962 markings/sec, 380 secs
lola: 245737819 markings, 497441904 edges, 704263 markings/sec, 385 secs
lola: 249189255 markings, 504594291 edges, 690287 markings/sec, 390 secs
lola: 252684958 markings, 511838502 edges, 699141 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown 1 700 400 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 402 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(E4P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(E4P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges

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

FORMULA GPPP-PT-C0100N0000001000-UpperBounds-13 398 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 803 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DHAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DHAP)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 944 markings, 965 edges, 189 markings/sec, 25 secs
lola: 2878478 markings, 8207116 edges, 575507 markings/sec, 30 secs
lola: 5359254 markings, 17115635 edges, 496155 markings/sec, 35 secs
lola: 7868382 markings, 26104596 edges, 501826 markings/sec, 40 secs
lola: 10981125 markings, 35023541 edges, 622549 markings/sec, 45 secs
lola: 13928717 markings, 43248630 edges, 589518 markings/sec, 50 secs
lola: 16710926 markings, 51018548 edges, 556442 markings/sec, 55 secs
lola: 19401655 markings, 58533254 edges, 538146 markings/sec, 60 secs
lola: 22047997 markings, 65926952 edges, 529268 markings/sec, 65 secs
lola: 24816383 markings, 73658942 edges, 553677 markings/sec, 70 secs
lola: 27576741 markings, 81366644 edges, 552072 markings/sec, 75 secs
lola: 30309006 markings, 88995914 edges, 546453 markings/sec, 80 secs
lola: 33023306 markings, 96574991 edges, 542860 markings/sec, 85 secs
lola: 35735536 markings, 104148100 edges, 542446 markings/sec, 90 secs
lola: 38431177 markings, 111675161 edges, 539128 markings/sec, 95 secs
lola: 41025827 markings, 118919652 edges, 518930 markings/sec, 100 secs
lola: 43650098 markings, 126246753 edges, 524854 markings/sec, 105 secs
lola: 46285037 markings, 133603746 edges, 526988 markings/sec, 110 secs
lola: 48911931 markings, 140938291 edges, 525379 markings/sec, 115 secs
lola: 51513603 markings, 148202120 edges, 520334 markings/sec, 120 secs
lola: 54093153 markings, 155404289 edges, 515910 markings/sec, 125 secs
lola: 56673422 markings, 162608327 edges, 516054 markings/sec, 130 secs
lola: 59290721 markings, 169915852 edges, 523460 markings/sec, 135 secs
lola: 61935923 markings, 177295400 edges, 529040 markings/sec, 140 secs
lola: 64526039 markings, 184525494 edges, 518023 markings/sec, 145 secs
lola: 67155506 markings, 191865823 edges, 525893 markings/sec, 150 secs
lola: 69772799 markings, 199173268 edges, 523459 markings/sec, 155 secs
lola: 72424496 markings, 206570282 edges, 530339 markings/sec, 160 secs
lola: 75065259 markings, 213941554 edges, 528153 markings/sec, 165 secs
lola: 77712812 markings, 221328239 edges, 529511 markings/sec, 170 secs
lola: 80376223 markings, 228761414 edges, 532682 markings/sec, 175 secs
lola: 83044151 markings, 236203869 edges, 533586 markings/sec, 180 secs
lola: 85698337 markings, 243611750 edges, 530837 markings/sec, 185 secs
lola: 88377950 markings, 251085821 edges, 535923 markings/sec, 190 secs
lola: 91043150 markings, 258519787 edges, 533040 markings/sec, 195 secs
lola: 93729313 markings, 266011732 edges, 537233 markings/sec, 200 secs
lola: 96395063 markings, 273446215 edges, 533150 markings/sec, 205 secs
lola: 99092951 markings, 280967145 edges, 539578 markings/sec, 210 secs
lola: 101154258 markings, 286714217 edges, 412261 markings/sec, 215 secs
lola: 103690179 markings, 293783189 edges, 507184 markings/sec, 220 secs
lola: 106431760 markings, 301423944 edges, 548316 markings/sec, 225 secs
lola: 109181715 markings, 309083511 edges, 549991 markings/sec, 230 secs
lola: 111934051 markings, 316748607 edges, 550467 markings/sec, 235 secs
lola: 114694047 markings, 324430565 edges, 551999 markings/sec, 240 secs
lola: 117477623 markings, 332168310 edges, 556715 markings/sec, 245 secs
lola: 120351945 markings, 340230899 edges, 574864 markings/sec, 250 secs
lola: 122938648 markings, 347478443 edges, 517341 markings/sec, 255 secs
lola: 125538891 markings, 354854608 edges, 520049 markings/sec, 260 secs
lola: 128157180 markings, 362281787 edges, 523658 markings/sec, 265 secs
lola: 130738061 markings, 369604534 edges, 516176 markings/sec, 270 secs
lola: 133235498 markings, 376601760 edges, 499487 markings/sec, 275 secs
lola: 135868423 markings, 384069354 edges, 526585 markings/sec, 280 secs
lola: 138575122 markings, 391744329 edges, 541340 markings/sec, 285 secs
lola: 141294214 markings, 399453874 edges, 543818 markings/sec, 290 secs
lola: 143960092 markings, 406923431 edges, 533176 markings/sec, 295 secs
lola: 146611005 markings, 414441149 edges, 530183 markings/sec, 300 secs
lola: 149287313 markings, 422030462 edges, 535262 markings/sec, 305 secs
lola: 151952025 markings, 429587647 edges, 532942 markings/sec, 310 secs
lola: 154541590 markings, 436843522 edges, 517913 markings/sec, 315 secs
lola: 157167136 markings, 444289798 edges, 525109 markings/sec, 320 secs
lola: 159801039 markings, 451760312 edges, 526781 markings/sec, 325 secs
lola: 162416133 markings, 459178148 edges, 523019 markings/sec, 330 secs
lola: 164809043 markings, 465882740 edges, 478582 markings/sec, 335 secs
lola: 167453124 markings, 473381073 edges, 528816 markings/sec, 340 secs
lola: 170110242 markings, 480916475 edges, 531424 markings/sec, 345 secs
lola: 172733681 markings, 488357794 edges, 524688 markings/sec, 350 secs
lola: 175290634 markings, 495521742 edges, 511391 markings/sec, 355 secs
lola: 177896278 markings, 502912323 edges, 521129 markings/sec, 360 secs
lola: 180496109 markings, 510286981 edges, 519966 markings/sec, 365 secs
lola: 183002785 markings, 517318129 edges, 501335 markings/sec, 370 secs
lola: 185377900 markings, 524055153 edges, 475023 markings/sec, 375 secs
lola: 187942951 markings, 531332037 edges, 513010 markings/sec, 380 secs
lola: 190508258 markings, 538610111 edges, 513061 markings/sec, 385 secs
lola: 193099941 markings, 545872028 edges, 518337 markings/sec, 390 secs
lola: 195745267 markings, 553373046 edges, 529065 markings/sec, 395 secs
lola: 198398043 markings, 560895718 edges, 530555 markings/sec, 400 secs
lola: 201029055 markings, 568357654 edges, 526202 markings/sec, 405 secs
lola: 203571826 markings, 575482368 edges, 508554 markings/sec, 410 secs
lola: 206126722 markings, 582729935 edges, 510979 markings/sec, 415 secs
lola: 208700326 markings, 590030576 edges, 514721 markings/sec, 420 secs
lola: 211258716 markings, 597288943 edges, 511678 markings/sec, 425 secs
lola: 213755862 markings, 604285423 edges, 499429 markings/sec, 430 secs
lola: 216261449 markings, 611395041 edges, 501117 markings/sec, 435 secs
lola: 218784220 markings, 618553369 edges, 504554 markings/sec, 440 secs
lola: 221312798 markings, 625639074 edges, 505716 markings/sec, 445 secs
lola: 223831312 markings, 632783847 edges, 503703 markings/sec, 450 secs
lola: 226378724 markings, 640010905 edges, 509482 markings/sec, 455 secs
lola: 228934822 markings, 647262329 edges, 511220 markings/sec, 460 secs
lola: 231367003 markings, 654076915 edges, 486436 markings/sec, 465 secs
lola: 233866357 markings, 661168793 edges, 499871 markings/sec, 470 secs
lola: 236430957 markings, 668443992 edges, 512920 markings/sec, 475 secs
lola: 238939278 markings, 675473524 edges, 501664 markings/sec, 480 secs
lola: 241408906 markings, 682480491 edges, 493926 markings/sec, 485 secs
lola: 243883718 markings, 689503707 edges, 494962 markings/sec, 490 secs
lola: 246368333 markings, 696554823 edges, 496923 markings/sec, 495 secs
lola: 248928645 markings, 703728307 edges, 512062 markings/sec, 500 secs
lola: 251607041 markings, 711321465 edges, 535679 markings/sec, 505 secs
lola: 254289040 markings, 718925127 edges, 536400 markings/sec, 510 secs
lola: 256417537 markings, 724890337 edges, 425699 markings/sec, 515 secs
lola: 259017426 markings, 732262433 edges, 519978 markings/sec, 520 secs
lola: 261646022 markings, 739716125 edges, 525719 markings/sec, 525 secs
lola: 264119179 markings, 746734769 edges, 494631 markings/sec, 530 secs
lola: 266490797 markings, 753379762 edges, 474324 markings/sec, 535 secs
lola: 268960510 markings, 760387831 edges, 493943 markings/sec, 540 secs
lola: 271552911 markings, 767740248 edges, 518480 markings/sec, 545 secs
lola: 274115969 markings, 774913616 edges, 512612 markings/sec, 550 secs
lola: 276707434 markings, 782271158 edges, 518293 markings/sec, 555 secs
lola: 279324402 markings, 789691964 edges, 523394 markings/sec, 560 secs
lola: 281814969 markings, 796759037 edges, 498113 markings/sec, 565 secs
lola: 284171594 markings, 803362324 edges, 471325 markings/sec, 570 secs
lola: 286564127 markings, 810153675 edges, 478507 markings/sec, 575 secs
lola: 289057727 markings, 817229106 edges, 498720 markings/sec, 580 secs
lola: 291613615 markings, 824392301 edges, 511178 markings/sec, 585 secs
lola: 294145930 markings, 831573741 edges, 506463 markings/sec, 590 secs
lola: 296708696 markings, 838842472 edges, 512553 markings/sec, 595 secs
lola: 299264022 markings, 846090693 edges, 511065 markings/sec, 600 secs
lola: 301721287 markings, 852975920 edges, 491453 markings/sec, 605 secs
lola: 304298144 markings, 860283473 edges, 515371 markings/sec, 610 secs
lola: 306933826 markings, 867756581 edges, 527136 markings/sec, 615 secs
lola: 309565038 markings, 875217256 edges, 526242 markings/sec, 620 secs
lola: 312134421 markings, 882416348 edges, 513877 markings/sec, 625 secs
lola: 314701939 markings, 889697702 edges, 513504 markings/sec, 630 secs
lola: 317298143 markings, 897060005 edges, 519241 markings/sec, 635 secs
lola: 319861638 markings, 904317279 edges, 512699 markings/sec, 640 secs
lola: 322404805 markings, 911456178 edges, 508633 markings/sec, 645 secs
lola: 324953944 markings, 918686100 edges, 509828 markings/sec, 650 secs
lola: 327442845 markings, 925747798 edges, 497780 markings/sec, 655 secs
lola: 329844291 markings, 932476634 edges, 480289 markings/sec, 660 secs
lola: 332376247 markings, 939657938 edges, 506391 markings/sec, 665 secs
lola: 334927267 markings, 946893263 edges, 510204 markings/sec, 670 secs
lola: 337458630 markings, 954074189 edges, 506273 markings/sec, 675 secs
lola: 339964118 markings, 961093506 edges, 501098 markings/sec, 680 secs
lola: 342476068 markings, 968219112 edges, 502390 markings/sec, 685 secs
lola: 345001547 markings, 975383009 edges, 505096 markings/sec, 690 secs
lola: 347473242 markings, 982308755 edges, 494339 markings/sec, 695 secs
lola: 349961113 markings, 989366138 edges, 497574 markings/sec, 700 secs
lola: 352468284 markings, 996478431 edges, 501434 markings/sec, 705 secs
lola: 354937498 markings, 1003421530 edges, 493843 markings/sec, 710 secs
lola: 357343503 markings, 1010225352 edges, 481201 markings/sec, 715 secs
lola: 359884149 markings, 1017431085 edges, 508129 markings/sec, 720 secs
lola: 362497712 markings, 1024841454 edges, 522713 markings/sec, 725 secs
lola: 365175629 markings, 1032345396 edges, 535583 markings/sec, 730 secs
lola: 367824799 markings, 1039854095 edges, 529834 markings/sec, 735 secs
lola: 370465241 markings, 1047339251 edges, 528088 markings/sec, 740 secs
lola: 373101654 markings, 1054813499 edges, 527283 markings/sec, 745 secs
lola: 375711992 markings, 1062128090 edges, 522068 markings/sec, 750 secs
lola: 378316232 markings, 1069510779 edges, 520848 markings/sec, 755 secs
lola: 380923114 markings, 1076901826 edges, 521376 markings/sec, 760 secs
lola: 383516931 markings, 1084256636 edges, 518763 markings/sec, 765 secs
lola: 386028515 markings, 1091293856 edges, 502317 markings/sec, 770 secs
lola: 388632144 markings, 1098675110 edges, 520726 markings/sec, 775 secs
lola: 391257603 markings, 1106118167 edges, 525092 markings/sec, 780 secs
lola: 393866925 markings, 1113516261 edges, 521864 markings/sec, 785 secs
lola: 396440499 markings, 1120726904 edges, 514715 markings/sec, 790 secs
lola: 399002883 markings, 1127992656 edges, 512477 markings/sec, 795 secs
lola: local time limit reached - aborting
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown 1 700 400 unknown unknown 1 398 unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 804 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pyr)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pyr)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 401 markings, 400 edges, 80 markings/sec, 25 secs
lola: 4317926 markings, 9099344 edges, 863505 markings/sec, 30 secs
lola: 8003314 markings, 16690753 edges, 737078 markings/sec, 35 secs
lola: 11622412 markings, 24145035 edges, 723820 markings/sec, 40 secs
lola: 15243787 markings, 31603156 edges, 724275 markings/sec, 45 secs
lola: 18917289 markings, 39167013 edges, 734700 markings/sec, 50 secs
lola: 22747359 markings, 47049541 edges, 766014 markings/sec, 55 secs
lola: 25624271 markings, 52983825 edges, 575382 markings/sec, 60 secs
lola: 29209285 markings, 60409861 edges, 717003 markings/sec, 65 secs
lola: 32943026 markings, 68148177 edges, 746748 markings/sec, 70 secs
lola: 36545619 markings, 75610688 edges, 720519 markings/sec, 75 secs
lola: 40197751 markings, 83175723 edges, 730426 markings/sec, 80 secs
lola: 43838838 markings, 90718147 edges, 728217 markings/sec, 85 secs
lola: 47446734 markings, 98192314 edges, 721579 markings/sec, 90 secs
lola: 51037206 markings, 105630608 edges, 718094 markings/sec, 95 secs
lola: 54692322 markings, 113202429 edges, 731023 markings/sec, 100 secs
lola: 58290538 markings, 120657071 edges, 719643 markings/sec, 105 secs
lola: 61880972 markings, 128095990 edges, 718087 markings/sec, 110 secs
lola: 65521468 markings, 135638059 edges, 728099 markings/sec, 115 secs
lola: 69111004 markings, 143075282 edges, 717907 markings/sec, 120 secs
lola: 72255736 markings, 149589310 edges, 628946 markings/sec, 125 secs
lola: 75924168 markings, 157195150 edges, 733686 markings/sec, 130 secs
lola: 79578983 markings, 164767741 edges, 730963 markings/sec, 135 secs
lola: 83187364 markings, 172244481 edges, 721676 markings/sec, 140 secs
lola: 86846619 markings, 179826432 edges, 731851 markings/sec, 145 secs
lola: 90509580 markings, 187416186 edges, 732592 markings/sec, 150 secs
lola: 94263449 markings, 195193774 edges, 750774 markings/sec, 155 secs
lola: 97902098 markings, 202844906 edges, 727730 markings/sec, 160 secs
lola: 101234970 markings, 209796128 edges, 666574 markings/sec, 165 secs
lola: 104479347 markings, 216565676 edges, 648875 markings/sec, 170 secs
lola: 107743130 markings, 223380319 edges, 652757 markings/sec, 175 secs
lola: 111168372 markings, 230547293 edges, 685048 markings/sec, 180 secs
lola: 114496034 markings, 237509879 edges, 665532 markings/sec, 185 secs
lola: 116921532 markings, 242572510 edges, 485100 markings/sec, 190 secs
lola: 120161777 markings, 249334479 edges, 648049 markings/sec, 195 secs
lola: 123376426 markings, 256044778 edges, 642930 markings/sec, 200 secs
lola: 126227930 markings, 261998542 edges, 570301 markings/sec, 205 secs
lola: 129403563 markings, 268628284 edges, 635127 markings/sec, 210 secs
lola: 132604477 markings, 275311785 edges, 640183 markings/sec, 215 secs
lola: 135792019 markings, 281968292 edges, 637508 markings/sec, 220 secs
lola: 138948702 markings, 288564598 edges, 631337 markings/sec, 225 secs
lola: 142060257 markings, 295064396 edges, 622311 markings/sec, 230 secs
lola: 144668541 markings, 300513369 edges, 521657 markings/sec, 235 secs
lola: 147606999 markings, 306649955 edges, 587692 markings/sec, 240 secs
lola: 150807776 markings, 313339141 edges, 640155 markings/sec, 245 secs
lola: 153979841 markings, 319970595 edges, 634413 markings/sec, 250 secs
lola: 157205100 markings, 326710600 edges, 645052 markings/sec, 255 secs
lola: 160496166 markings, 333588618 edges, 658213 markings/sec, 260 secs
lola: 164457328 markings, 341041824 edges, 792232 markings/sec, 265 secs
lola: 168950895 markings, 348301624 edges, 898713 markings/sec, 270 secs
lola: 173473377 markings, 355609981 edges, 904496 markings/sec, 275 secs
lola: 177763502 markings, 362521605 edges, 858025 markings/sec, 280 secs
lola: 180766845 markings, 367362924 edges, 600669 markings/sec, 285 secs
lola: 184996801 markings, 374182980 edges, 845991 markings/sec, 290 secs
lola: 189322509 markings, 381158937 edges, 865142 markings/sec, 295 secs
lola: 192292059 markings, 386670509 edges, 593910 markings/sec, 300 secs
lola: 195620581 markings, 393566667 edges, 665704 markings/sec, 305 secs
lola: 199007202 markings, 400583354 edges, 677324 markings/sec, 310 secs
lola: 202426775 markings, 407672673 edges, 683915 markings/sec, 315 secs
lola: 205795698 markings, 414652838 edges, 673785 markings/sec, 320 secs
lola: 209138997 markings, 421580330 edges, 668660 markings/sec, 325 secs
lola: 212549042 markings, 428651003 edges, 682009 markings/sec, 330 secs
lola: 215927493 markings, 435651065 edges, 675690 markings/sec, 335 secs
lola: 219264387 markings, 442565809 edges, 667379 markings/sec, 340 secs
lola: 222756993 markings, 449807598 edges, 698521 markings/sec, 345 secs
lola: 226195212 markings, 456931396 edges, 687644 markings/sec, 350 secs
lola: 229572161 markings, 463929376 edges, 675390 markings/sec, 355 secs
lola: 233008730 markings, 471055909 edges, 687314 markings/sec, 360 secs
lola: 236394390 markings, 478071949 edges, 677132 markings/sec, 365 secs
lola: 239763143 markings, 485053350 edges, 673751 markings/sec, 370 secs
lola: 243301350 markings, 492390115 edges, 707641 markings/sec, 375 secs
lola: 246759533 markings, 499556482 edges, 691637 markings/sec, 380 secs
lola: 250188241 markings, 506667784 edges, 685742 markings/sec, 385 secs
lola: 253649499 markings, 513840658 edges, 692252 markings/sec, 390 secs
lola: 256583193 markings, 519925709 edges, 586739 markings/sec, 395 secs
lola: 259953041 markings, 526909368 edges, 673970 markings/sec, 400 secs
lola: 263425809 markings, 534106451 edges, 694554 markings/sec, 405 secs
lola: 266861581 markings, 541233432 edges, 687154 markings/sec, 410 secs
lola: 270227827 markings, 548210990 edges, 673249 markings/sec, 415 secs
lola: 273666760 markings, 555338667 edges, 687787 markings/sec, 420 secs
lola: 277084562 markings, 562429026 edges, 683560 markings/sec, 425 secs
lola: 280453852 markings, 569413368 edges, 673858 markings/sec, 430 secs
lola: 283982506 markings, 576726794 edges, 705731 markings/sec, 435 secs
lola: 287463209 markings, 583947485 edges, 696141 markings/sec, 440 secs
lola: 290893392 markings, 591058044 edges, 686037 markings/sec, 445 secs
lola: 294391764 markings, 598315633 edges, 699674 markings/sec, 450 secs
lola: 297797055 markings, 605375027 edges, 681058 markings/sec, 455 secs
lola: 301165622 markings, 612358827 edges, 673713 markings/sec, 460 secs
lola: 304697758 markings, 619686711 edges, 706427 markings/sec, 465 secs
lola: 308186804 markings, 626919538 edges, 697809 markings/sec, 470 secs
lola: 311638295 markings, 634075180 edges, 690298 markings/sec, 475 secs
lola: 315179735 markings, 641422554 edges, 708288 markings/sec, 480 secs
lola: 318725606 markings, 648771257 edges, 709174 markings/sec, 485 secs
lola: 322716805 markings, 655783959 edges, 798240 markings/sec, 490 secs
lola: 326600421 markings, 662559091 edges, 776723 markings/sec, 495 secs
lola: 330297787 markings, 669011386 edges, 739473 markings/sec, 500 secs
lola: 333920453 markings, 675337443 edges, 724533 markings/sec, 505 secs
lola: 336652615 markings, 680111515 edges, 546432 markings/sec, 510 secs
lola: 340498883 markings, 686851248 edges, 769254 markings/sec, 515 secs
lola: 344323762 markings, 693537850 edges, 764976 markings/sec, 520 secs
lola: 347048885 markings, 698292823 edges, 545025 markings/sec, 525 secs
lola: 350772148 markings, 704786319 edges, 744653 markings/sec, 530 secs
lola: 354462634 markings, 711226467 edges, 738097 markings/sec, 535 secs
lola: 358136015 markings, 717634920 edges, 734676 markings/sec, 540 secs
lola: 361783453 markings, 724001307 edges, 729488 markings/sec, 545 secs
lola: 365449804 markings, 730400382 edges, 733270 markings/sec, 550 secs
lola: 369158433 markings, 736873385 edges, 741726 markings/sec, 555 secs
lola: 372812253 markings, 743253864 edges, 730764 markings/sec, 560 secs
lola: 376443939 markings, 749592542 edges, 726337 markings/sec, 565 secs
lola: 379707270 markings, 755290947 edges, 652666 markings/sec, 570 secs
lola: 382590255 markings, 760324581 edges, 576597 markings/sec, 575 secs
lola: 386123423 markings, 766497247 edges, 706634 markings/sec, 580 secs
lola: 389739604 markings, 772811539 edges, 723236 markings/sec, 585 secs
lola: 393327789 markings, 779082045 edges, 717637 markings/sec, 590 secs
lola: 396900439 markings, 785321738 edges, 714530 markings/sec, 595 secs
lola: 400568222 markings, 791732465 edges, 733557 markings/sec, 600 secs
lola: 404300641 markings, 798251587 edges, 746484 markings/sec, 605 secs
lola: 407231818 markings, 805287099 edges, 586235 markings/sec, 610 secs
lola: 409615258 markings, 812514121 edges, 476688 markings/sec, 615 secs
lola: 411811324 markings, 819144225 edges, 439213 markings/sec, 620 secs
lola: 413949798 markings, 825599844 edges, 427695 markings/sec, 625 secs
lola: 416061292 markings, 831975446 edges, 422299 markings/sec, 630 secs
lola: 418150558 markings, 838286201 edges, 417853 markings/sec, 635 secs
lola: 420300802 markings, 844782469 edges, 430049 markings/sec, 640 secs
lola: 423426575 markings, 851457184 edges, 625155 markings/sec, 645 secs
lola: 426189898 markings, 857234685 edges, 552665 markings/sec, 650 secs
lola: 428599458 markings, 862272480 edges, 481912 markings/sec, 655 secs
lola: 431563631 markings, 868473300 edges, 592835 markings/sec, 660 secs
lola: 434482716 markings, 874577391 edges, 583817 markings/sec, 665 secs
lola: 436656966 markings, 879126292 edges, 434850 markings/sec, 670 secs
lola: 439461711 markings, 884993586 edges, 560949 markings/sec, 675 secs
lola: 440294711 markings, 886736962 edges, 166600 markings/sec, 680 secs
lola: 440347662 markings, 886847361 edges, 10590 markings/sec, 685 secs
lola: 440354981 markings, 886862586 edges, 1464 markings/sec, 690 secs
lola: 440395094 markings, 886946396 edges, 8023 markings/sec, 695 secs
lola: 440429463 markings, 887022651 edges, 6874 markings/sec, 700 secs
lola: 440480123 markings, 887128106 edges, 10132 markings/sec, 705 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PEP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000001000-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 4475403 markings, 8100518 edges, 895081 markings/sec, 30 secs
lola: 9217967 markings, 15872766 edges, 948513 markings/sec, 35 secs
lola: 13495209 markings, 22923904 edges, 855448 markings/sec, 40 secs
lola: 17665856 markings, 29831344 edges, 834129 markings/sec, 45 secs
lola: 22052625 markings, 37167035 edges, 877354 markings/sec, 50 secs
lola: 26054501 markings, 43890082 edges, 800375 markings/sec, 55 secs
lola: 29937376 markings, 50413106 edges, 776575 markings/sec, 60 secs
lola: 33722305 markings, 56772236 edges, 756986 markings/sec, 65 secs
lola: 37495642 markings, 63110891 edges, 754667 markings/sec, 70 secs
lola: 41264820 markings, 69442916 edges, 753836 markings/sec, 75 secs
lola: 44997820 markings, 75714308 edges, 746600 markings/sec, 80 secs
lola: 48806037 markings, 82111719 edges, 761643 markings/sec, 85 secs
lola: time limit reached - aborting
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown 1 700 400 unknown unknown 1 398 unknown unknown
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown 1 700 400 unknown unknown 1 398 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 700 unknown 200 300 unknown unknown unknown 1 700 400 unknown unknown 1 398 unknown unknown
lola: memory consumption: 1802328 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 1802328 KB
lola: time consumption: 3570 seconds

BK_STOP 1526736194348

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPPP-PT-C0100N0000001000"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C0100N0000001000.tgz
mv GPPP-PT-C0100N0000001000 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is GPPP-PT-C0100N0000001000, 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 r088-blw7-152649998300317"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;