Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 3.5K Feb 11 01:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 11 01:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 7 00:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 7 00:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 111 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 349 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 3 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jan 31 01:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Jan 31 01:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 17 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1 Mar 10 17:31 large_marking
-rw-r--r-- 1 mcc users 21K 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 GPPP-PT-C0100N0000010000-UpperBounds-00
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-01
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-02
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-03
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-04
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-05
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-06
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-07
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-08
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-09
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-10
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-11
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-12
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-13
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-14
FORMULA_NAME GPPP-PT-C0100N0000010000-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552865618383

info: Time: 3600 - MCC
===========================================================================================
prep: translating GPPP-PT-C0100N0000010000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GPPP-PT-C0100N0000010000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ GPPP-PT-C0100N0000010000 @ 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-C0100N0000010000-UpperBounds.task
lola: LP says that atomic proposition is always false: (GSSG <= 0)
lola: MAX(PEP) : MAX(S7P) : MAX(GSSG) : MAX(a1) : MAX(Gluc) : MAX(Lac) : MAX(Ru5P) : MAX(start) : MAX(ADP) : MAX(NADH) : MAX(GAP) : MAX(G6P) : MAX(_3PG) : MAX(PEP) : MAX(Gluc) : MAX(Pyr)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GSSG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GSSG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 7627 markings, 10160 edges, 1525 markings/sec, 25 secs
lola: 4246995 markings, 6465461 edges, 847874 markings/sec, 30 secs
lola: 8271646 markings, 12549982 edges, 804930 markings/sec, 35 secs
lola: 11904709 markings, 18122138 edges, 726613 markings/sec, 40 secs
lola: 15837230 markings, 24012451 edges, 786504 markings/sec, 45 secs
lola: 19306253 markings, 29429041 edges, 693805 markings/sec, 50 secs
lola: 22907276 markings, 34846929 edges, 720205 markings/sec, 55 secs
lola: 26155404 markings, 39922103 edges, 649626 markings/sec, 60 secs
lola: 29763119 markings, 45341785 edges, 721543 markings/sec, 65 secs
lola: 33184186 markings, 50603010 edges, 684213 markings/sec, 70 secs
lola: 36472376 markings, 55677494 edges, 657638 markings/sec, 75 secs
lola: 39984440 markings, 60958585 edges, 702413 markings/sec, 80 secs
lola: 43430456 markings, 66312020 edges, 689203 markings/sec, 85 secs
lola: 46888230 markings, 71510099 edges, 691555 markings/sec, 90 secs
lola: 50003068 markings, 76471782 edges, 622968 markings/sec, 95 secs
lola: 53674334 markings, 81912028 edges, 734253 markings/sec, 100 secs
lola: 56986754 markings, 87100785 edges, 662484 markings/sec, 105 secs
lola: 60349276 markings, 92169448 edges, 672504 markings/sec, 110 secs
lola: 63539930 markings, 97076937 edges, 638131 markings/sec, 115 secs
lola: 67138235 markings, 102554361 edges, 719661 markings/sec, 120 secs
lola: 70527504 markings, 107674360 edges, 677854 markings/sec, 125 secs
lola: 73650959 markings, 112593055 edges, 624691 markings/sec, 130 secs
lola: 77079757 markings, 117712179 edges, 685760 markings/sec, 135 secs
lola: 80337236 markings, 122792588 edges, 651496 markings/sec, 140 secs
lola: 83643350 markings, 127733786 edges, 661223 markings/sec, 145 secs
lola: 86644244 markings, 132533843 edges, 600179 markings/sec, 150 secs
lola: 90205622 markings, 137800879 edges, 712276 markings/sec, 155 secs
lola: 93196323 markings, 142494166 edges, 598140 markings/sec, 160 secs
lola: 96319870 markings, 147176747 edges, 624709 markings/sec, 165 secs
lola: 99162364 markings, 151648316 edges, 568499 markings/sec, 170 secs
lola: 102675482 markings, 156894633 edges, 702624 markings/sec, 175 secs
lola: 105893126 markings, 161896450 edges, 643529 markings/sec, 180 secs
lola: 109120461 markings, 166799469 edges, 645467 markings/sec, 185 secs
lola: 112267298 markings, 171606748 edges, 629367 markings/sec, 190 secs
lola: 115727354 markings, 176893304 edges, 692011 markings/sec, 195 secs
lola: 118946916 markings, 181760852 edges, 643912 markings/sec, 200 secs
lola: 121985000 markings, 186533171 edges, 607617 markings/sec, 205 secs
lola: 125362229 markings, 191580402 edges, 675446 markings/sec, 210 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4530168 KB
lola: time consumption: 288 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(S7P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(S7P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 3239 markings, 4173 edges, 648 markings/sec, 25 secs
lola: 3890364 markings, 6410482 edges, 777425 markings/sec, 30 secs
lola: 9626328 markings, 12213738 edges, 1147193 markings/sec, 35 secs
lola: 15179003 markings, 17854098 edges, 1110535 markings/sec, 40 secs
lola: 20645771 markings, 23403804 edges, 1093354 markings/sec, 45 secs
lola: 26309484 markings, 29153297 edges, 1132743 markings/sec, 50 secs
lola: 31320919 markings, 34225372 edges, 1002287 markings/sec, 55 secs
lola: 36089720 markings, 39052062 edges, 953760 markings/sec, 60 secs
lola: 40647890 markings, 43665679 edges, 911634 markings/sec, 65 secs
lola: 45087707 markings, 48159672 edges, 887963 markings/sec, 70 secs
lola: 49473337 markings, 52598911 edges, 877126 markings/sec, 75 secs
lola: 53832107 markings, 57011056 edges, 871754 markings/sec, 80 secs
lola: 58352951 markings, 61587330 edges, 904169 markings/sec, 85 secs
lola: 62817506 markings, 66106744 edges, 892911 markings/sec, 90 secs
lola: 67245939 markings, 70589740 edges, 885687 markings/sec, 95 secs
lola: 71643538 markings, 75041645 edges, 879520 markings/sec, 100 secs
lola: 76135708 markings, 79589385 edges, 898434 markings/sec, 105 secs
lola: 80561583 markings, 84070155 edges, 885175 markings/sec, 110 secs
lola: 84933226 markings, 88496097 edges, 874329 markings/sec, 115 secs
lola: 89330750 markings, 92948388 edges, 879505 markings/sec, 120 secs
lola: 93693619 markings, 97365690 edges, 872574 markings/sec, 125 secs
lola: 98086527 markings, 101813531 edges, 878582 markings/sec, 130 secs
lola: 102492087 markings, 106274379 edges, 881112 markings/sec, 135 secs
lola: 106737468 markings, 110573102 edges, 849076 markings/sec, 140 secs
lola: 111036215 markings, 114925992 edges, 859749 markings/sec, 145 secs
lola: 115574502 markings, 119521567 edges, 907657 markings/sec, 150 secs
lola: 119907959 markings, 123909850 edges, 866691 markings/sec, 155 secs
lola: 124197681 markings, 128253968 edges, 857944 markings/sec, 160 secs
lola: 128575817 markings, 132687817 edges, 875627 markings/sec, 165 secs
lola: 132835725 markings, 137001985 edges, 851982 markings/sec, 170 secs
lola: 137164429 markings, 141386005 edges, 865741 markings/sec, 175 secs
lola: 141554935 markings, 145832754 edges, 878101 markings/sec, 180 secs
lola: 145938426 markings, 150272515 edges, 876698 markings/sec, 185 secs
lola: 150257418 markings, 154647091 edges, 863798 markings/sec, 190 secs
lola: 154654074 markings, 159100506 edges, 879331 markings/sec, 195 secs
lola: 159073809 markings, 163577464 edges, 883947 markings/sec, 200 secs
lola: 163470668 markings, 168031427 edges, 879372 markings/sec, 205 secs
lola: 167816801 markings, 172434057 edges, 869227 markings/sec, 210 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6289904 KB
lola: time consumption: 507 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 218 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-C0100N0000010000-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: 688 markings, 688 edges, 138 markings/sec, 25 secs
lola: 3660548 markings, 6828901 edges, 731972 markings/sec, 30 secs
lola: 7302123 markings, 12729093 edges, 728315 markings/sec, 35 secs
lola: 10524226 markings, 18029044 edges, 644421 markings/sec, 40 secs
lola: 13688079 markings, 23263854 edges, 632771 markings/sec, 45 secs
lola: 16865240 markings, 28512868 edges, 635432 markings/sec, 50 secs
lola: 20235169 markings, 34113814 edges, 673986 markings/sec, 55 secs
lola: 23322284 markings, 39300182 edges, 617423 markings/sec, 60 secs
lola: 26415978 markings, 44497252 edges, 618739 markings/sec, 65 secs
lola: 29543343 markings, 49751395 edges, 625473 markings/sec, 70 secs
lola: 32664728 markings, 54995197 edges, 624277 markings/sec, 75 secs
lola: 35727748 markings, 60140973 edges, 612604 markings/sec, 80 secs
lola: 38801300 markings, 65304084 edges, 614710 markings/sec, 85 secs
lola: 41873310 markings, 70464972 edges, 614402 markings/sec, 90 secs
lola: 44910081 markings, 75566681 edges, 607354 markings/sec, 95 secs
lola: 47973616 markings, 80713121 edges, 612707 markings/sec, 100 secs
lola: 51022528 markings, 85835345 edges, 609782 markings/sec, 105 secs
lola: 54111801 markings, 91024748 edges, 617855 markings/sec, 110 secs
lola: 57193208 markings, 96201175 edges, 616281 markings/sec, 115 secs
lola: 60278826 markings, 101384482 edges, 617124 markings/sec, 120 secs
lola: 63346720 markings, 106538232 edges, 613579 markings/sec, 125 secs
lola: 66459827 markings, 111767407 edges, 622621 markings/sec, 130 secs
lola: 69587780 markings, 117021771 edges, 625591 markings/sec, 135 secs
lola: 72761738 markings, 122353148 edges, 634792 markings/sec, 140 secs
lola: 75932835 markings, 127679459 edges, 634219 markings/sec, 145 secs
lola: 79208259 markings, 133180541 edges, 655085 markings/sec, 150 secs
lola: 82641464 markings, 138957114 edges, 686641 markings/sec, 155 secs
lola: 85928492 markings, 144487817 edges, 657406 markings/sec, 160 secs
lola: 89255479 markings, 150094770 edges, 665397 markings/sec, 165 secs
lola: 92761488 markings, 155985883 edges, 701202 markings/sec, 170 secs
lola: 96196475 markings, 161778175 edges, 686997 markings/sec, 175 secs
lola: 99584936 markings, 167468615 edges, 677692 markings/sec, 180 secs
lola: 102911424 markings, 173066035 edges, 665298 markings/sec, 185 secs
lola: 106249241 markings, 178683771 edges, 667563 markings/sec, 190 secs
lola: 109534317 markings, 184211497 edges, 657015 markings/sec, 195 secs
lola: 112877176 markings, 189844233 edges, 668572 markings/sec, 200 secs
lola: 116189872 markings, 195412436 edges, 662539 markings/sec, 205 secs
lola: 119470447 markings, 200932811 edges, 656115 markings/sec, 210 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4362976 KB
lola: time consumption: 725 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(a1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(a1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 200
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-3 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 237 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-C0100N0000010000-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-C0100N0000010000-UpperBounds-4 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Lac)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Lac)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 4207 markings, 7137 edges, 841 markings/sec, 25 secs
lola: 3850441 markings, 6950048 edges, 769247 markings/sec, 30 secs
lola: 7386462 markings, 13353285 edges, 707204 markings/sec, 35 secs
lola: 10866744 markings, 19655979 edges, 696056 markings/sec, 40 secs
lola: 14462921 markings, 26084503 edges, 719235 markings/sec, 45 secs
lola: 18226442 markings, 32494677 edges, 752704 markings/sec, 50 secs
lola: 21610117 markings, 38255483 edges, 676735 markings/sec, 55 secs
lola: 24813965 markings, 43711214 edges, 640770 markings/sec, 60 secs
lola: 28376886 markings, 49630358 edges, 712584 markings/sec, 65 secs
lola: 31841052 markings, 55490590 edges, 692833 markings/sec, 70 secs
lola: 35047268 markings, 61297776 edges, 641243 markings/sec, 75 secs
lola: 38338348 markings, 67259160 edges, 658216 markings/sec, 80 secs
lola: 41637848 markings, 73235987 edges, 659900 markings/sec, 85 secs
lola: 44946078 markings, 79229222 edges, 661646 markings/sec, 90 secs
lola: 48273543 markings, 85257548 edges, 665493 markings/sec, 95 secs
lola: 51724597 markings, 91387261 edges, 690211 markings/sec, 100 secs
lola: 55755286 markings, 97602436 edges, 806138 markings/sec, 105 secs
lola: 59294521 markings, 103055854 edges, 707847 markings/sec, 110 secs
lola: 62617670 markings, 108177409 edges, 664630 markings/sec, 115 secs
lola: 66044658 markings, 113460490 edges, 685398 markings/sec, 120 secs
lola: 69460835 markings, 119252152 edges, 683235 markings/sec, 125 secs
lola: 72380576 markings, 125100734 edges, 583948 markings/sec, 130 secs
lola: 75602197 markings, 130633262 edges, 644324 markings/sec, 135 secs
lola: 78834547 markings, 136140984 edges, 646470 markings/sec, 140 secs
lola: 82050206 markings, 141621288 edges, 643132 markings/sec, 145 secs
lola: 85248714 markings, 147073638 edges, 639702 markings/sec, 150 secs
lola: 88447369 markings, 152527293 edges, 639731 markings/sec, 155 secs
lola: 91679377 markings, 158039264 edges, 646402 markings/sec, 160 secs
lola: 95399672 markings, 164095817 edges, 744059 markings/sec, 165 secs
lola: 98989747 markings, 169852891 edges, 718015 markings/sec, 170 secs
lola: 102574876 markings, 175496874 edges, 717026 markings/sec, 175 secs
lola: 106493447 markings, 181374163 edges, 783714 markings/sec, 180 secs
lola: 110133924 markings, 186837381 edges, 728095 markings/sec, 185 secs
lola: 113669555 markings, 192143279 edges, 707126 markings/sec, 190 secs
lola: 117132124 markings, 197339502 edges, 692514 markings/sec, 195 secs
lola: 120714256 markings, 202777192 edges, 716426 markings/sec, 200 secs
lola: 124214724 markings, 208389343 edges, 700094 markings/sec, 205 secs
lola: 127559475 markings, 213717670 edges, 668950 markings/sec, 210 secs
lola: 130877667 markings, 218835239 edges, 663638 markings/sec, 215 secs
lola: 134191525 markings, 223947000 edges, 662772 markings/sec, 220 secs
lola: 137546875 markings, 229124220 edges, 671070 markings/sec, 225 secs
lola: 140922230 markings, 234333489 edges, 675071 markings/sec, 230 secs
lola: 144272957 markings, 239506064 edges, 670145 markings/sec, 235 secs
lola: 147612871 markings, 244663245 edges, 667983 markings/sec, 240 secs
lola: 150973799 markings, 249854014 edges, 672186 markings/sec, 245 secs
lola: 154345313 markings, 255658340 edges, 674303 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 200 400 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5866884 KB
lola: time consumption: 983 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 258 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-C0100N0000010000-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-C0100N0000010000-UpperBounds-6 398 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 287 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-C0100N0000010000-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
lola: ========================================

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ADP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ADP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 742 markings, 742 edges, 148 markings/sec, 25 secs
lola: 2177189 markings, 7065182 edges, 435289 markings/sec, 30 secs
lola: 3819530 markings, 13667182 edges, 328468 markings/sec, 35 secs
lola: 5535938 markings, 20242036 edges, 343282 markings/sec, 40 secs
lola: 7224555 markings, 26770560 edges, 337723 markings/sec, 45 secs
lola: 8808874 markings, 33222419 edges, 316864 markings/sec, 50 secs
lola: 10500979 markings, 39663596 edges, 338421 markings/sec, 55 secs
lola: 12166834 markings, 46014017 edges, 333171 markings/sec, 60 secs
lola: 13760367 markings, 52272025 edges, 318707 markings/sec, 65 secs
lola: 15393822 markings, 58657590 edges, 326691 markings/sec, 70 secs
lola: 17053256 markings, 65028511 edges, 331887 markings/sec, 75 secs
lola: 18607089 markings, 71399611 edges, 310767 markings/sec, 80 secs
lola: 20256225 markings, 77674323 edges, 329827 markings/sec, 85 secs
lola: 21903999 markings, 83948283 edges, 329555 markings/sec, 90 secs
lola: 23485787 markings, 90088583 edges, 316358 markings/sec, 95 secs
lola: 25078178 markings, 96396096 edges, 318478 markings/sec, 100 secs
lola: 26721931 markings, 102680093 edges, 328751 markings/sec, 105 secs
lola: 28278989 markings, 108983771 edges, 311412 markings/sec, 110 secs
lola: 29891417 markings, 115229785 edges, 322486 markings/sec, 115 secs
lola: 31522405 markings, 121445682 edges, 326198 markings/sec, 120 secs
lola: 33122542 markings, 127596875 edges, 320027 markings/sec, 125 secs
lola: 34673745 markings, 133789274 edges, 310241 markings/sec, 130 secs
lola: 36304640 markings, 140050418 edges, 326179 markings/sec, 135 secs
lola: 37926049 markings, 146304589 edges, 324282 markings/sec, 140 secs
lola: 39452334 markings, 152534992 edges, 305257 markings/sec, 145 secs
lola: 41076157 markings, 158719958 edges, 324765 markings/sec, 150 secs
lola: 42685838 markings, 164866909 edges, 321936 markings/sec, 155 secs
lola: 44216514 markings, 170824296 edges, 306135 markings/sec, 160 secs
lola: 45721648 markings, 176761470 edges, 301027 markings/sec, 165 secs
lola: 47278507 markings, 182752157 edges, 311372 markings/sec, 170 secs
lola: 48717445 markings, 188607525 edges, 287788 markings/sec, 175 secs
lola: 50266091 markings, 194487327 edges, 309729 markings/sec, 180 secs
lola: 51769486 markings, 200199259 edges, 300679 markings/sec, 185 secs
lola: 53203499 markings, 205947184 edges, 286803 markings/sec, 190 secs
lola: 54722867 markings, 211767363 edges, 303874 markings/sec, 195 secs
lola: 56204600 markings, 217618037 edges, 296347 markings/sec, 200 secs
lola: 57748093 markings, 223724682 edges, 308699 markings/sec, 205 secs
lola: 59289334 markings, 229574210 edges, 308248 markings/sec, 210 secs
lola: 60771592 markings, 235232094 edges, 296452 markings/sec, 215 secs
lola: 62217700 markings, 241029565 edges, 289222 markings/sec, 220 secs
lola: 63830159 markings, 247233567 edges, 322492 markings/sec, 225 secs
lola: 65468884 markings, 253553941 edges, 327745 markings/sec, 230 secs
lola: 67088662 markings, 259836065 edges, 323956 markings/sec, 235 secs
lola: 68660560 markings, 266187223 edges, 314380 markings/sec, 240 secs
lola: 70274816 markings, 272506304 edges, 322851 markings/sec, 245 secs
lola: 71908531 markings, 278799882 edges, 326743 markings/sec, 250 secs
lola: 73560150 markings, 285169835 edges, 330324 markings/sec, 255 secs
lola: 75199282 markings, 291490787 edges, 327826 markings/sec, 260 secs
lola: 76826483 markings, 297776372 edges, 325440 markings/sec, 265 secs
lola: 78454617 markings, 304078817 edges, 325627 markings/sec, 270 secs
lola: 80068798 markings, 310363206 edges, 322836 markings/sec, 275 secs
lola: 81687814 markings, 316710710 edges, 323803 markings/sec, 280 secs
lola: 83307401 markings, 323138817 edges, 323917 markings/sec, 285 secs
lola: 84790940 markings, 328820196 edges, 296708 markings/sec, 290 secs
lola: 86383451 markings, 334996542 edges, 318502 markings/sec, 295 secs
lola: 88031540 markings, 341363918 edges, 329618 markings/sec, 300 secs
lola: 89471048 markings, 347087467 edges, 287902 markings/sec, 305 secs
lola: 90916227 markings, 352813840 edges, 289036 markings/sec, 310 secs
lola: 92349676 markings, 358248204 edges, 286690 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3400452 KB
lola: time consumption: 1308 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NADH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NADH)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 1813 markings, 2204 edges, 363 markings/sec, 25 secs
lola: 2437236 markings, 6348515 edges, 487085 markings/sec, 30 secs
lola: 4735240 markings, 12760404 edges, 459601 markings/sec, 35 secs
lola: 7082017 markings, 19299401 edges, 469355 markings/sec, 40 secs
lola: 9628704 markings, 25828891 edges, 509337 markings/sec, 45 secs
lola: 12390614 markings, 32440269 edges, 552382 markings/sec, 50 secs
lola: 14815352 markings, 38257877 edges, 484948 markings/sec, 55 secs
lola: 17046815 markings, 43611990 edges, 446293 markings/sec, 60 secs
lola: 19158108 markings, 48678162 edges, 422259 markings/sec, 65 secs
lola: 21286477 markings, 53784908 edges, 425674 markings/sec, 70 secs
lola: 23433619 markings, 58936699 edges, 429428 markings/sec, 75 secs
lola: 25482536 markings, 63853194 edges, 409783 markings/sec, 80 secs
lola: 27543174 markings, 68797385 edges, 412128 markings/sec, 85 secs
lola: 29625922 markings, 73794588 edges, 416550 markings/sec, 90 secs
lola: 31679115 markings, 78721125 edges, 410639 markings/sec, 95 secs
lola: 33677496 markings, 83516263 edges, 399676 markings/sec, 100 secs
lola: 35734146 markings, 88450759 edges, 411330 markings/sec, 105 secs
lola: 37757854 markings, 93306504 edges, 404742 markings/sec, 110 secs
lola: 39755001 markings, 98098794 edges, 399429 markings/sec, 115 secs
lola: 41749977 markings, 102885305 edges, 398995 markings/sec, 120 secs
lola: 43791929 markings, 107784619 edges, 408390 markings/sec, 125 secs
lola: 45834923 markings, 112686649 edges, 408599 markings/sec, 130 secs
lola: 47832985 markings, 117480978 edges, 399612 markings/sec, 135 secs
lola: 49831273 markings, 122275644 edges, 399658 markings/sec, 140 secs
lola: 51843159 markings, 127102855 edges, 402377 markings/sec, 145 secs
lola: 53857998 markings, 131937015 edges, 402968 markings/sec, 150 secs
lola: 55868566 markings, 136761139 edges, 402114 markings/sec, 155 secs
lola: 57887820 markings, 141606236 edges, 403851 markings/sec, 160 secs
lola: 59906931 markings, 146450815 edges, 403822 markings/sec, 165 secs
lola: 61851777 markings, 151117284 edges, 388969 markings/sec, 170 secs
lola: 63770145 markings, 155720367 edges, 383674 markings/sec, 175 secs
lola: 65704280 markings, 160360873 edges, 386827 markings/sec, 180 secs
lola: 67637978 markings, 165000331 edges, 386740 markings/sec, 185 secs
lola: 69567011 markings, 169628823 edges, 385807 markings/sec, 190 secs
lola: 71534673 markings, 174349964 edges, 393532 markings/sec, 195 secs
lola: 73521990 markings, 179118157 edges, 397463 markings/sec, 200 secs
lola: 75481404 markings, 183819466 edges, 391883 markings/sec, 205 secs
lola: 77447899 markings, 188538107 edges, 393299 markings/sec, 210 secs
lola: 79401820 markings, 193225964 edges, 390784 markings/sec, 215 secs
lola: 81366999 markings, 197940831 edges, 393036 markings/sec, 220 secs
lola: 83307325 markings, 202596350 edges, 388065 markings/sec, 225 secs
lola: 85195010 markings, 207125436 edges, 377537 markings/sec, 230 secs
lola: 87078924 markings, 211645508 edges, 376783 markings/sec, 235 secs
lola: 88994592 markings, 216241879 edges, 383134 markings/sec, 240 secs
lola: 90903601 markings, 220822208 edges, 381802 markings/sec, 245 secs
lola: 92797983 markings, 225367276 edges, 378876 markings/sec, 250 secs
lola: 94781282 markings, 230125810 edges, 396660 markings/sec, 255 secs
lola: 96698481 markings, 234726019 edges, 383440 markings/sec, 260 secs
lola: 98671278 markings, 239458883 edges, 394559 markings/sec, 265 secs
lola: 100647778 markings, 244201158 edges, 395300 markings/sec, 270 secs
lola: 102647453 markings, 248998812 edges, 399935 markings/sec, 275 secs
lola: 104612112 markings, 253712618 edges, 392932 markings/sec, 280 secs
lola: 106567631 markings, 258404327 edges, 391104 markings/sec, 285 secs
lola: 108567677 markings, 263203092 edges, 400009 markings/sec, 290 secs
lola: 110523766 markings, 267896324 edges, 391218 markings/sec, 295 secs
lola: 112511172 markings, 272664778 edges, 397481 markings/sec, 300 secs
lola: 114495966 markings, 277426874 edges, 396959 markings/sec, 305 secs
lola: 116553938 markings, 282364859 edges, 411594 markings/sec, 310 secs
lola: 118603230 markings, 287283207 edges, 409858 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4403792 KB
lola: time consumption: 1631 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GAP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 2347453 markings, 6424435 edges, 469491 markings/sec, 30 secs
lola: 3945361 markings, 12938600 edges, 319582 markings/sec, 35 secs
lola: 5503100 markings, 19302429 edges, 311548 markings/sec, 40 secs
lola: 6984573 markings, 26056848 edges, 296295 markings/sec, 45 secs
lola: 8380527 markings, 32450066 edges, 279191 markings/sec, 50 secs
lola: 9867762 markings, 38900624 edges, 297447 markings/sec, 55 secs
lola: 11784125 markings, 45513086 edges, 383273 markings/sec, 60 secs
lola: 13516805 markings, 51536461 edges, 346536 markings/sec, 65 secs
lola: 15226793 markings, 57463242 edges, 341998 markings/sec, 70 secs
lola: 16822390 markings, 63012085 edges, 319119 markings/sec, 75 secs
lola: 18377747 markings, 68432660 edges, 311071 markings/sec, 80 secs
lola: 19988683 markings, 74007190 edges, 322187 markings/sec, 85 secs
lola: 21543920 markings, 79424393 edges, 311047 markings/sec, 90 secs
lola: 23144696 markings, 84970576 edges, 320155 markings/sec, 95 secs
lola: 24688448 markings, 90341048 edges, 308750 markings/sec, 100 secs
lola: 26222290 markings, 95669722 edges, 306768 markings/sec, 105 secs
lola: 27795021 markings, 101127277 edges, 314546 markings/sec, 110 secs
lola: 29298881 markings, 106365686 edges, 300772 markings/sec, 115 secs
lola: 30858025 markings, 111763194 edges, 311829 markings/sec, 120 secs
lola: 32364437 markings, 117007043 edges, 301282 markings/sec, 125 secs
lola: 33900225 markings, 122330159 edges, 307158 markings/sec, 130 secs
lola: 35427267 markings, 127639144 edges, 305408 markings/sec, 135 secs
lola: 36936514 markings, 132884927 edges, 301849 markings/sec, 140 secs
lola: 38495217 markings, 138290048 edges, 311741 markings/sec, 145 secs
lola: 39966645 markings, 143415912 edges, 294286 markings/sec, 150 secs
lola: 41506261 markings, 148743789 edges, 307923 markings/sec, 155 secs
lola: 42987005 markings, 153899126 edges, 296149 markings/sec, 160 secs
lola: 44498359 markings, 159132404 edges, 302271 markings/sec, 165 secs
lola: 45977744 markings, 164279855 edges, 295877 markings/sec, 170 secs
lola: 47474243 markings, 169466381 edges, 299300 markings/sec, 175 secs
lola: 48950905 markings, 174598953 edges, 295332 markings/sec, 180 secs
lola: 50432651 markings, 179740117 edges, 296349 markings/sec, 185 secs
lola: 51929760 markings, 184938077 edges, 299422 markings/sec, 190 secs
lola: 53389297 markings, 190009918 edges, 291907 markings/sec, 195 secs
lola: 54891899 markings, 195219544 edges, 300520 markings/sec, 200 secs
lola: 56343838 markings, 200276083 edges, 290388 markings/sec, 205 secs
lola: 57852259 markings, 205494030 edges, 301684 markings/sec, 210 secs
lola: 59285933 markings, 210486586 edges, 286735 markings/sec, 215 secs
lola: 60789282 markings, 215686649 edges, 300670 markings/sec, 220 secs
lola: 62226773 markings, 220692626 edges, 287498 markings/sec, 225 secs
lola: 63738303 markings, 225921285 edges, 302306 markings/sec, 230 secs
lola: 65185211 markings, 230955291 edges, 289382 markings/sec, 235 secs
lola: 66667098 markings, 236085232 edges, 296377 markings/sec, 240 secs
lola: 68096658 markings, 241047987 edges, 285912 markings/sec, 245 secs
lola: 69571017 markings, 246161187 edges, 294872 markings/sec, 250 secs
lola: 71010825 markings, 251153300 edges, 287962 markings/sec, 255 secs
lola: 72486815 markings, 256279341 edges, 295198 markings/sec, 260 secs
lola: 73953751 markings, 261360288 edges, 293387 markings/sec, 265 secs
lola: 75404780 markings, 266404306 edges, 290206 markings/sec, 270 secs
lola: 76894555 markings, 271560930 edges, 297955 markings/sec, 275 secs
lola: 78337898 markings, 276583231 edges, 288669 markings/sec, 280 secs
lola: 79825521 markings, 281729171 edges, 297525 markings/sec, 285 secs
lola: 81293171 markings, 286815824 edges, 293530 markings/sec, 290 secs
lola: 82766861 markings, 291933845 edges, 294738 markings/sec, 295 secs
lola: 84260890 markings, 297105473 edges, 298806 markings/sec, 300 secs
lola: 85695969 markings, 302094031 edges, 287016 markings/sec, 305 secs
lola: 87195367 markings, 307284062 edges, 299880 markings/sec, 310 secs
lola: 88677291 markings, 312414224 edges, 296385 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3282068 KB
lola: time consumption: 1954 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(G6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(G6P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 402 markings, 401 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-11 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_3PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_3PG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000010000-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: 2623532 markings, 6165967 edges, 524706 markings/sec, 30 secs
lola: 4892346 markings, 11850810 edges, 453763 markings/sec, 35 secs
lola: 7579356 markings, 17951119 edges, 537402 markings/sec, 40 secs
lola: 10063753 markings, 23308209 edges, 496879 markings/sec, 45 secs
lola: 12442881 markings, 28455547 edges, 475826 markings/sec, 50 secs
lola: 14835944 markings, 33645224 edges, 478613 markings/sec, 55 secs
lola: 17074743 markings, 38524412 edges, 447760 markings/sec, 60 secs
lola: 19362109 markings, 43468775 edges, 457473 markings/sec, 65 secs
lola: 21646015 markings, 48444317 edges, 456781 markings/sec, 70 secs
lola: 23866031 markings, 53243275 edges, 444003 markings/sec, 75 secs
lola: 26187713 markings, 58281602 edges, 464336 markings/sec, 80 secs
lola: 28585994 markings, 63515235 edges, 479656 markings/sec, 85 secs
lola: 30928333 markings, 68628459 edges, 468468 markings/sec, 90 secs
lola: 32969992 markings, 73089212 edges, 408332 markings/sec, 95 secs
lola: 35055520 markings, 77643105 edges, 417106 markings/sec, 100 secs
lola: 37148234 markings, 82212678 edges, 418543 markings/sec, 105 secs
lola: 39239931 markings, 86780477 edges, 418339 markings/sec, 110 secs
lola: 41244277 markings, 91158143 edges, 400869 markings/sec, 115 secs
lola: 43243892 markings, 95526918 edges, 399923 markings/sec, 120 secs
lola: 45287848 markings, 99989230 edges, 408791 markings/sec, 125 secs
lola: 47273333 markings, 104324709 edges, 397097 markings/sec, 130 secs
lola: 49224340 markings, 108584559 edges, 390201 markings/sec, 135 secs
lola: 51210113 markings, 112920329 edges, 397155 markings/sec, 140 secs
lola: 53139873 markings, 117134479 edges, 385952 markings/sec, 145 secs
lola: 55110497 markings, 121438295 edges, 394125 markings/sec, 150 secs
lola: 57130975 markings, 125851867 edges, 404096 markings/sec, 155 secs
lola: 59181601 markings, 130329016 edges, 410125 markings/sec, 160 secs
lola: 61114810 markings, 134549618 edges, 386642 markings/sec, 165 secs
lola: 63129807 markings, 138949245 edges, 402999 markings/sec, 170 secs
lola: 65139604 markings, 143337011 edges, 401959 markings/sec, 175 secs
lola: 67141468 markings, 147707769 edges, 400373 markings/sec, 180 secs
lola: 69126876 markings, 152040849 edges, 397082 markings/sec, 185 secs
lola: 71143065 markings, 156441415 edges, 403238 markings/sec, 190 secs
lola: 73160888 markings, 160846273 edges, 403565 markings/sec, 195 secs
lola: 75208341 markings, 165315923 edges, 409491 markings/sec, 200 secs
lola: 77214404 markings, 169695411 edges, 401213 markings/sec, 205 secs
lola: 79259216 markings, 174159551 edges, 408962 markings/sec, 210 secs
lola: 81348766 markings, 178718179 edges, 417910 markings/sec, 215 secs
lola: 83420758 markings, 183241285 edges, 414398 markings/sec, 220 secs
lola: 85536782 markings, 187858215 edges, 423205 markings/sec, 225 secs
lola: 87678854 markings, 192533712 edges, 428414 markings/sec, 230 secs
lola: 89782527 markings, 197123164 edges, 420735 markings/sec, 235 secs
lola: 91873835 markings, 201686912 edges, 418262 markings/sec, 240 secs
lola: 94003267 markings, 206333370 edges, 425886 markings/sec, 245 secs
lola: 96177631 markings, 211076258 edges, 434873 markings/sec, 250 secs
lola: 98323838 markings, 215758159 edges, 429241 markings/sec, 255 secs
lola: 100499243 markings, 220501775 edges, 435081 markings/sec, 260 secs
lola: 102620513 markings, 225127403 edges, 424254 markings/sec, 265 secs
lola: 104760730 markings, 229793929 edges, 428043 markings/sec, 270 secs
lola: 106896731 markings, 234451423 edges, 427200 markings/sec, 275 secs
lola: 109137269 markings, 239332870 edges, 448108 markings/sec, 280 secs
lola: 111378363 markings, 244215500 edges, 448219 markings/sec, 285 secs
lola: 113648922 markings, 249159693 edges, 454112 markings/sec, 290 secs
lola: 116037927 markings, 254356153 edges, 477801 markings/sec, 295 secs
lola: 118496191 markings, 259717284 edges, 491653 markings/sec, 300 secs
lola: 120510445 markings, 264123727 edges, 402851 markings/sec, 305 secs
lola: 122684593 markings, 268909775 edges, 434830 markings/sec, 310 secs
lola: 124659700 markings, 273235729 edges, 395021 markings/sec, 315 secs
lola: 126798880 markings, 277945268 edges, 427836 markings/sec, 320 secs
lola: 128800575 markings, 282339715 edges, 400339 markings/sec, 325 secs
lola: 130794463 markings, 286720390 edges, 398778 markings/sec, 330 secs
lola: 132916434 markings, 291393475 edges, 424394 markings/sec, 335 secs
lola: 134863440 markings, 295656428 edges, 389401 markings/sec, 340 secs
lola: 137068607 markings, 300510948 edges, 441033 markings/sec, 345 secs
lola: 139267774 markings, 305328826 edges, 439833 markings/sec, 350 secs
lola: 141352787 markings, 309918100 edges, 417003 markings/sec, 355 secs
lola: 143540139 markings, 314734153 edges, 437470 markings/sec, 360 secs
lola: 145606044 markings, 319258061 edges, 413181 markings/sec, 365 secs
lola: 147816735 markings, 324124430 edges, 442138 markings/sec, 370 secs
lola: 149896491 markings, 328709402 edges, 415951 markings/sec, 375 secs
lola: 151908313 markings, 333110286 edges, 402364 markings/sec, 380 secs
lola: 154171931 markings, 338092807 edges, 452724 markings/sec, 385 secs
lola: 156132504 markings, 342386380 edges, 392115 markings/sec, 390 secs
lola: 158255391 markings, 347060406 edges, 424577 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown 400 unknown unknown unknown unknown
lola: memory consumption: 5887888 KB
lola: time consumption: 2358 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 403 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-C0100N0000010000-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: 3162742 markings, 6052448 edges, 632548 markings/sec, 30 secs
lola: 6532184 markings, 11464057 edges, 673888 markings/sec, 35 secs
lola: 9484056 markings, 16335025 edges, 590374 markings/sec, 40 secs
lola: 12446038 markings, 21215435 edges, 592396 markings/sec, 45 secs
lola: 15429405 markings, 26130559 edges, 596673 markings/sec, 50 secs
lola: 18460103 markings, 31134470 edges, 606140 markings/sec, 55 secs
lola: 21569442 markings, 36355341 edges, 621868 markings/sec, 60 secs
lola: 24322195 markings, 40979753 edges, 550551 markings/sec, 65 secs
lola: 26860374 markings, 45244277 edges, 507636 markings/sec, 70 secs
lola: 29339702 markings, 49409245 edges, 495866 markings/sec, 75 secs
lola: 31873080 markings, 53665158 edges, 506676 markings/sec, 80 secs
lola: 34449942 markings, 57994276 edges, 515372 markings/sec, 85 secs
lola: 37066320 markings, 62389680 edges, 523276 markings/sec, 90 secs
lola: 39501333 markings, 66480327 edges, 487003 markings/sec, 95 secs
lola: 41801437 markings, 70344587 edges, 460021 markings/sec, 100 secs
lola: 44207960 markings, 74387138 edges, 481305 markings/sec, 105 secs
lola: 46698003 markings, 78570260 edges, 498009 markings/sec, 110 secs
lola: 49223181 markings, 82812467 edges, 505036 markings/sec, 115 secs
lola: 51740159 markings, 87040720 edges, 503396 markings/sec, 120 secs
lola: 54262315 markings, 91277854 edges, 504431 markings/sec, 125 secs
lola: 56791775 markings, 95526750 edges, 505892 markings/sec, 130 secs
lola: 59255930 markings, 99666312 edges, 492831 markings/sec, 135 secs
lola: 61815040 markings, 103965323 edges, 511822 markings/sec, 140 secs
lola: 64410446 markings, 108325062 edges, 519081 markings/sec, 145 secs
lola: 67045337 markings, 112751103 edges, 526978 markings/sec, 150 secs
lola: 69653257 markings, 117131665 edges, 521584 markings/sec, 155 secs
lola: 72385160 markings, 121720672 edges, 546381 markings/sec, 160 secs
lola: 75100101 markings, 126280826 edges, 542988 markings/sec, 165 secs
lola: 77833746 markings, 130872116 edges, 546729 markings/sec, 170 secs
lola: 80683123 markings, 135661094 edges, 569875 markings/sec, 175 secs
lola: 83146298 markings, 139806344 edges, 492635 markings/sec, 180 secs
lola: 85684436 markings, 144077026 edges, 507628 markings/sec, 185 secs
lola: 88235751 markings, 148369746 edges, 510263 markings/sec, 190 secs
lola: 90855999 markings, 152779124 edges, 524050 markings/sec, 195 secs
lola: 93520441 markings, 157262819 edges, 532888 markings/sec, 200 secs
lola: 96228956 markings, 161832237 edges, 541703 markings/sec, 205 secs
lola: 98871305 markings, 166271377 edges, 528470 markings/sec, 210 secs
lola: 101467264 markings, 170636911 edges, 519192 markings/sec, 215 secs
lola: 104055994 markings, 174992886 edges, 517746 markings/sec, 220 secs
lola: 106605323 markings, 179282995 edges, 509866 markings/sec, 225 secs
lola: 109223497 markings, 183688784 edges, 523635 markings/sec, 230 secs
lola: 111785668 markings, 188000535 edges, 512434 markings/sec, 235 secs
lola: 114337340 markings, 192294299 edges, 510334 markings/sec, 240 secs
lola: 116883520 markings, 196579188 edges, 509236 markings/sec, 245 secs
lola: 119450340 markings, 200898973 edges, 513364 markings/sec, 250 secs
lola: 122077509 markings, 205336206 edges, 525434 markings/sec, 255 secs
lola: 124572942 markings, 209529624 edges, 499087 markings/sec, 260 secs
lola: 127007266 markings, 213624589 edges, 486865 markings/sec, 265 secs
lola: 129557571 markings, 217911373 edges, 510061 markings/sec, 270 secs
lola: 132179160 markings, 222322253 edges, 524318 markings/sec, 275 secs
lola: 134685955 markings, 226540630 edges, 501359 markings/sec, 280 secs
lola: 137183425 markings, 230743597 edges, 499494 markings/sec, 285 secs
lola: 139735665 markings, 235038959 edges, 510448 markings/sec, 290 secs
lola: 142225957 markings, 239229992 edges, 498058 markings/sec, 295 secs
lola: 144627945 markings, 243272565 edges, 480398 markings/sec, 300 secs
lola: 147110051 markings, 247449925 edges, 496421 markings/sec, 305 secs
lola: 149597524 markings, 251636455 edges, 497495 markings/sec, 310 secs
lola: 152040614 markings, 255748122 edges, 488618 markings/sec, 315 secs
lola: 154527134 markings, 259933034 edges, 497304 markings/sec, 320 secs
lola: 156995829 markings, 264088135 edges, 493739 markings/sec, 325 secs
lola: 159454414 markings, 268226028 edges, 491717 markings/sec, 330 secs
lola: 161831805 markings, 272227514 edges, 475478 markings/sec, 335 secs
lola: 164295004 markings, 276373395 edges, 492640 markings/sec, 340 secs
lola: 166893941 markings, 280761802 edges, 519787 markings/sec, 345 secs
lola: 169582647 markings, 285277766 edges, 537741 markings/sec, 350 secs
lola: 172179635 markings, 289646023 edges, 519398 markings/sec, 355 secs
lola: 174773804 markings, 294012242 edges, 518834 markings/sec, 360 secs
lola: 177299375 markings, 298262837 edges, 505114 markings/sec, 365 secs
lola: 179766515 markings, 302415178 edges, 493428 markings/sec, 370 secs
lola: 182260872 markings, 306613615 edges, 498871 markings/sec, 375 secs
lola: 184725104 markings, 310761440 edges, 492846 markings/sec, 380 secs
lola: 187279530 markings, 315060904 edges, 510885 markings/sec, 385 secs
lola: 189826969 markings, 319348652 edges, 509488 markings/sec, 390 secs
lola: 192371700 markings, 323631832 edges, 508946 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown 400 unknown unknown unknown unknown
lola: memory consumption: 6957544 KB
lola: time consumption: 2762 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 404 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-C0100N0000010000-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-C0100N0000010000-UpperBounds-14 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 808 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-C0100N0000010000-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: ========================================
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: 6417 markings, 13413 edges, 1283 markings/sec, 25 secs
lola: 2948054 markings, 6287847 edges, 588327 markings/sec, 30 secs
lola: 5717362 markings, 11982009 edges, 553862 markings/sec, 35 secs
lola: 8344868 markings, 17394151 edges, 525501 markings/sec, 40 secs
lola: 10925403 markings, 22709608 edges, 516107 markings/sec, 45 secs
lola: 13484357 markings, 27979821 edges, 511791 markings/sec, 50 secs
lola: 16026361 markings, 33214617 edges, 508401 markings/sec, 55 secs
lola: 18621257 markings, 38557568 edges, 518979 markings/sec, 60 secs
lola: 21285422 markings, 44041568 edges, 532833 markings/sec, 65 secs
lola: 23996218 markings, 49616744 edges, 542159 markings/sec, 70 secs
lola: 26635176 markings, 55080711 edges, 527792 markings/sec, 75 secs
lola: 29231541 markings, 60455865 edges, 519273 markings/sec, 80 secs
lola: 31892305 markings, 65968753 edges, 532153 markings/sec, 85 secs
lola: 34461881 markings, 71293835 edges, 513915 markings/sec, 90 secs
lola: 36996934 markings, 76542312 edges, 507011 markings/sec, 95 secs
lola: 39506582 markings, 81743831 edges, 501930 markings/sec, 100 secs
lola: 42081998 markings, 87075922 edges, 515083 markings/sec, 105 secs
lola: 44622279 markings, 92340852 edges, 508056 markings/sec, 110 secs
lola: 47177024 markings, 97630620 edges, 510949 markings/sec, 115 secs
lola: 49712331 markings, 102884974 edges, 507061 markings/sec, 120 secs
lola: 52281492 markings, 108209976 edges, 513832 markings/sec, 125 secs
lola: 54813852 markings, 113453524 edges, 506472 markings/sec, 130 secs
lola: 57361655 markings, 118734384 edges, 509561 markings/sec, 135 secs
lola: 59893851 markings, 123977764 edges, 506439 markings/sec, 140 secs
lola: 62418585 markings, 129211174 edges, 504947 markings/sec, 145 secs
lola: 64940476 markings, 134433363 edges, 504378 markings/sec, 150 secs
lola: 67416658 markings, 139566940 edges, 495236 markings/sec, 155 secs
lola: 69936306 markings, 144784640 edges, 503930 markings/sec, 160 secs
lola: 72378655 markings, 149848409 edges, 488470 markings/sec, 165 secs
lola: 74891031 markings, 155051210 edges, 502475 markings/sec, 170 secs
lola: 77452676 markings, 160361589 edges, 512329 markings/sec, 175 secs
lola: 80055009 markings, 165750220 edges, 520467 markings/sec, 180 secs
lola: 82581745 markings, 170988457 edges, 505347 markings/sec, 185 secs
lola: 85110835 markings, 176226317 edges, 505818 markings/sec, 190 secs
lola: 87680039 markings, 181552550 edges, 513841 markings/sec, 195 secs
lola: 90194950 markings, 186761231 edges, 502982 markings/sec, 200 secs
lola: 92801798 markings, 192165204 edges, 521370 markings/sec, 205 secs
lola: 95429671 markings, 197587545 edges, 525575 markings/sec, 210 secs
lola: 97572035 markings, 202146566 edges, 428473 markings/sec, 215 secs
lola: 99952787 markings, 207121218 edges, 476150 markings/sec, 220 secs
lola: 102262764 markings, 211939986 edges, 461995 markings/sec, 225 secs
lola: 104543808 markings, 216700115 edges, 456209 markings/sec, 230 secs
lola: 106889069 markings, 221596420 edges, 469052 markings/sec, 235 secs
lola: 109251513 markings, 226533331 edges, 472489 markings/sec, 240 secs
lola: 111679584 markings, 231621561 edges, 485614 markings/sec, 245 secs
lola: 113964864 markings, 236401532 edges, 457056 markings/sec, 250 secs
lola: 116177679 markings, 241021609 edges, 442563 markings/sec, 255 secs
lola: 118357068 markings, 245569236 edges, 435878 markings/sec, 260 secs
lola: 120535521 markings, 250115358 edges, 435691 markings/sec, 265 secs
lola: 122707251 markings, 254648071 edges, 434346 markings/sec, 270 secs
lola: 124946454 markings, 259321038 edges, 447841 markings/sec, 275 secs
lola: 127132446 markings, 263887876 edges, 437198 markings/sec, 280 secs
lola: 129276430 markings, 268363799 edges, 428797 markings/sec, 285 secs
lola: 131432669 markings, 272865582 edges, 431248 markings/sec, 290 secs
lola: 133601944 markings, 277394872 edges, 433855 markings/sec, 295 secs
lola: 135775571 markings, 281934197 edges, 434725 markings/sec, 300 secs
lola: 137882965 markings, 286338867 edges, 421479 markings/sec, 305 secs
lola: 140024276 markings, 290810921 edges, 428262 markings/sec, 310 secs
lola: 142169587 markings, 295291675 edges, 429062 markings/sec, 315 secs
lola: 144222649 markings, 299581050 edges, 410612 markings/sec, 320 secs
lola: 146353753 markings, 304033073 edges, 426221 markings/sec, 325 secs
lola: 148455920 markings, 308425153 edges, 420433 markings/sec, 330 secs
lola: 150682772 markings, 313077266 edges, 445370 markings/sec, 335 secs
lola: 152855067 markings, 317616754 edges, 434459 markings/sec, 340 secs
lola: 155060412 markings, 322228462 edges, 441069 markings/sec, 345 secs
lola: 157335965 markings, 326983019 edges, 455111 markings/sec, 350 secs
lola: 159623032 markings, 331766783 edges, 457413 markings/sec, 355 secs
lola: 161918592 markings, 336563408 edges, 459112 markings/sec, 360 secs
lola: 164973404 markings, 341874445 edges, 610962 markings/sec, 365 secs
lola: 168130467 markings, 346973228 edges, 631413 markings/sec, 370 secs
lola: 171319120 markings, 352139157 edges, 637731 markings/sec, 375 secs
lola: 174358745 markings, 357035913 edges, 607925 markings/sec, 380 secs
lola: 177308268 markings, 361788199 edges, 589905 markings/sec, 385 secs
lola: 180286548 markings, 366587992 edges, 595656 markings/sec, 390 secs
lola: 183241854 markings, 371352176 edges, 591061 markings/sec, 395 secs
lola: 186226931 markings, 376165523 edges, 597015 markings/sec, 400 secs
lola: 189219338 markings, 380991985 edges, 598481 markings/sec, 405 secs
lola: 192027463 markings, 386124940 edges, 561625 markings/sec, 410 secs
lola: 194481538 markings, 391205449 edges, 490815 markings/sec, 415 secs
lola: 196894320 markings, 396206260 edges, 482556 markings/sec, 420 secs
lola: 199314489 markings, 401222559 edges, 484034 markings/sec, 425 secs
lola: 201725088 markings, 406219282 edges, 482120 markings/sec, 430 secs
lola: 204080303 markings, 411096560 edges, 471043 markings/sec, 435 secs
lola: 206504931 markings, 416122098 edges, 484926 markings/sec, 440 secs
lola: 208892415 markings, 421071251 edges, 477497 markings/sec, 445 secs
lola: 211307527 markings, 426077685 edges, 483022 markings/sec, 450 secs
lola: 213658530 markings, 430946530 edges, 470201 markings/sec, 455 secs
lola: 216076194 markings, 435958081 edges, 483533 markings/sec, 460 secs
lola: 218449637 markings, 440878642 edges, 474689 markings/sec, 465 secs
lola: 220911265 markings, 445981427 edges, 492326 markings/sec, 470 secs
lola: 223326211 markings, 450988525 edges, 482989 markings/sec, 475 secs
lola: 225752333 markings, 456011995 edges, 485224 markings/sec, 480 secs
lola: 228192189 markings, 461069841 edges, 487971 markings/sec, 485 secs
lola: 230631575 markings, 466126992 edges, 487877 markings/sec, 490 secs
lola: 233066073 markings, 471174183 edges, 486900 markings/sec, 495 secs
lola: 235416446 markings, 476042406 edges, 470075 markings/sec, 500 secs
lola: 237821399 markings, 481028567 edges, 480991 markings/sec, 505 secs
lola: 240212294 markings, 485986089 edges, 478179 markings/sec, 510 secs
lola: 242682663 markings, 491107520 edges, 494074 markings/sec, 515 secs
lola: 245188165 markings, 496301535 edges, 501100 markings/sec, 520 secs
lola: 247626775 markings, 501358114 edges, 487722 markings/sec, 525 secs
lola: 250052216 markings, 506381308 edges, 485088 markings/sec, 530 secs
lola: 252548973 markings, 511557610 edges, 499351 markings/sec, 535 secs
lola: 254963031 markings, 516563253 edges, 482812 markings/sec, 540 secs
lola: 257409477 markings, 521636167 edges, 489289 markings/sec, 545 secs
lola: 259821148 markings, 526637184 edges, 482334 markings/sec, 550 secs
lola: 262292726 markings, 531756307 edges, 494316 markings/sec, 555 secs
lola: 264757364 markings, 536866696 edges, 492928 markings/sec, 560 secs
lola: 267186632 markings, 541904202 edges, 485854 markings/sec, 565 secs
lola: 269606221 markings, 546922039 edges, 483918 markings/sec, 570 secs
lola: 272102136 markings, 552097465 edges, 499183 markings/sec, 575 secs
lola: 274602859 markings, 557282819 edges, 500145 markings/sec, 580 secs
lola: 277063494 markings, 562386501 edges, 492127 markings/sec, 585 secs
lola: 279491820 markings, 567415696 edges, 485665 markings/sec, 590 secs
lola: 281996921 markings, 572610392 edges, 501020 markings/sec, 595 secs
lola: 284514883 markings, 577831636 edges, 503592 markings/sec, 600 secs
lola: 286979671 markings, 582943252 edges, 492958 markings/sec, 605 secs
lola: 289436134 markings, 588038064 edges, 491293 markings/sec, 610 secs
lola: 291949414 markings, 593249866 edges, 502656 markings/sec, 615 secs
lola: 294430531 markings, 598395698 edges, 496223 markings/sec, 620 secs
lola: 296851735 markings, 603411629 edges, 484241 markings/sec, 625 secs
lola: 299284232 markings, 608456934 edges, 486499 markings/sec, 630 secs
lola: 301708731 markings, 613485944 edges, 484900 markings/sec, 635 secs
lola: 304200419 markings, 618653839 edges, 498338 markings/sec, 640 secs
lola: 306690331 markings, 623818023 edges, 497982 markings/sec, 645 secs
lola: 309146020 markings, 628912010 edges, 491138 markings/sec, 650 secs
lola: 311500956 markings, 633791440 edges, 470987 markings/sec, 655 secs
lola: 313999430 markings, 638973750 edges, 499695 markings/sec, 660 secs
lola: 316457559 markings, 644072797 edges, 491626 markings/sec, 665 secs
lola: 318994189 markings, 649248139 edges, 507326 markings/sec, 670 secs
lola: 321633593 markings, 653904822 edges, 527881 markings/sec, 675 secs
lola: 324364960 markings, 658659246 edges, 546273 markings/sec, 680 secs
lola: 326919144 markings, 663114941 edges, 510837 markings/sec, 685 secs
lola: 329504641 markings, 667626978 edges, 517099 markings/sec, 690 secs
lola: 331990952 markings, 671967694 edges, 497262 markings/sec, 695 secs
lola: 334558864 markings, 676452639 edges, 513582 markings/sec, 700 secs
lola: 337174050 markings, 681024012 edges, 523037 markings/sec, 705 secs
lola: 339849624 markings, 685709795 edges, 535115 markings/sec, 710 secs
lola: 342388141 markings, 690163113 edges, 507703 markings/sec, 715 secs
lola: 344711073 markings, 694213344 edges, 464586 markings/sec, 720 secs
lola: 347253950 markings, 698649512 edges, 508575 markings/sec, 725 secs
lola: 349741354 markings, 702989593 edges, 497481 markings/sec, 730 secs
lola: 352153118 markings, 707195522 edges, 482353 markings/sec, 735 secs
lola: 354524082 markings, 711333369 edges, 474193 markings/sec, 740 secs
lola: 356868498 markings, 715424005 edges, 468883 markings/sec, 745 secs
lola: 359179311 markings, 719456471 edges, 462163 markings/sec, 750 secs
lola: 361553017 markings, 723600515 edges, 474741 markings/sec, 755 secs
lola: 363846450 markings, 727601445 edges, 458687 markings/sec, 760 secs
lola: 366231788 markings, 731766346 edges, 477068 markings/sec, 765 secs
lola: 368649567 markings, 735984466 edges, 483556 markings/sec, 770 secs
lola: 370971678 markings, 740039658 edges, 464422 markings/sec, 775 secs
lola: 373291778 markings, 744088458 edges, 464020 markings/sec, 780 secs
lola: 375628807 markings, 748170234 edges, 467406 markings/sec, 785 secs
lola: 377859519 markings, 752063807 edges, 446142 markings/sec, 790 secs
lola: 380066435 markings, 755920101 edges, 441383 markings/sec, 795 secs
lola: 382238957 markings, 759712682 edges, 434504 markings/sec, 800 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown 400 unknown unknown 400 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown 400 unknown unknown 400 unknown
lola:
preliminary result: unknown unknown unknown 200 400 unknown 398 1 unknown unknown unknown 400 unknown unknown 400 unknown
lola: memory consumption: 18092 KB
lola: time consumption: 3570 seconds

BK_STOP 1552869189074

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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