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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 3.8K Feb 11 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 11 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 7 00:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 00:14 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.3K Feb 4 23:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K 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 8.4K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 31 01:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 01:40 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-C0100N0000000100-UpperBounds-00
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-01
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-02
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-03
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-04
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-05
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-06
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-07
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-08
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-09
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-10
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-11
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-12
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-13
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-14
FORMULA_NAME GPPP-PT-C0100N0000000100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552864506675

info: Time: 3600 - MCC
===========================================================================================
prep: translating GPPP-PT-C0100N0000000100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GPPP-PT-C0100N0000000100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ GPPP-PT-C0100N0000000100 @ 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-C0100N0000000100-UpperBounds.task
lola: LP says that atomic proposition is always false: (NADplus <= 0)
lola: MAX(GSSG) : MAX(F6P) : MAX(start) : MAX(FBP) : MAX(Xu5P) : MAX(c2) : MAX(Gluc) : MAX(_2PG) : MAX(E4P) : MAX(a2) : MAX(NADplus) : MAX(GAP) : MAX(GAP) : MAX(ATP) : MAX(DHAP) : MAX(c2)
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(NADplus)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NADplus)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000000100-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: 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
lola: ========================================

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-10 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 231 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-C0100N0000000100-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: 1556 markings, 1555 edges, 311 markings/sec, 25 secs
lola: 3386811 markings, 7361766 edges, 677051 markings/sec, 30 secs
lola: 6539730 markings, 14458253 edges, 630584 markings/sec, 35 secs
lola: 8873729 markings, 21891796 edges, 466800 markings/sec, 40 secs
lola: 11151917 markings, 29162804 edges, 455638 markings/sec, 45 secs
lola: 13390324 markings, 36312047 edges, 447681 markings/sec, 50 secs
lola: 15633160 markings, 43477446 edges, 448567 markings/sec, 55 secs
lola: 17944261 markings, 50834109 edges, 462220 markings/sec, 60 secs
lola: 20207283 markings, 58052479 edges, 452604 markings/sec, 65 secs
lola: 22431013 markings, 65151607 edges, 444746 markings/sec, 70 secs
lola: 24646761 markings, 72227403 edges, 443150 markings/sec, 75 secs
lola: 26815763 markings, 79111655 edges, 433800 markings/sec, 80 secs
lola: 28927435 markings, 85841284 edges, 422334 markings/sec, 85 secs
lola: 31689340 markings, 93650345 edges, 552381 markings/sec, 90 secs
lola: 34469570 markings, 101599593 edges, 556046 markings/sec, 95 secs
lola: 36866789 markings, 108809694 edges, 479444 markings/sec, 100 secs
lola: 39178890 markings, 115782186 edges, 462420 markings/sec, 105 secs
lola: 41473328 markings, 122705519 edges, 458888 markings/sec, 110 secs
lola: 43756652 markings, 129597282 edges, 456665 markings/sec, 115 secs
lola: 46080882 markings, 136615117 edges, 464846 markings/sec, 120 secs
lola: 48387770 markings, 143582735 edges, 461378 markings/sec, 125 secs
lola: 50658604 markings, 150443563 edges, 454167 markings/sec, 130 secs
lola: 52875606 markings, 157141230 edges, 443400 markings/sec, 135 secs
lola: 55129456 markings, 164030793 edges, 450770 markings/sec, 140 secs
lola: 57205719 markings, 170577901 edges, 415253 markings/sec, 145 secs
lola: 59254954 markings, 177056828 edges, 409847 markings/sec, 150 secs
lola: 61304997 markings, 183543650 edges, 410009 markings/sec, 155 secs
lola: 63310945 markings, 189892269 edges, 401190 markings/sec, 160 secs
lola: 65318539 markings, 196247899 edges, 401519 markings/sec, 165 secs
lola: 67333908 markings, 202628028 edges, 403074 markings/sec, 170 secs
lola: 69287839 markings, 208817098 edges, 390786 markings/sec, 175 secs
lola: 71320660 markings, 215254365 edges, 406564 markings/sec, 180 secs
lola: 73347399 markings, 221674260 edges, 405348 markings/sec, 185 secs
lola: 75339060 markings, 227982791 edges, 398332 markings/sec, 190 secs
lola: 77530716 markings, 234938246 edges, 438331 markings/sec, 195 secs
lola: 79645040 markings, 241599672 edges, 422865 markings/sec, 200 secs
lola: 81664228 markings, 247981493 edges, 403838 markings/sec, 205 secs
lola: 83653018 markings, 254274379 edges, 397758 markings/sec, 210 secs
lola: 85600235 markings, 260437118 edges, 389443 markings/sec, 215 secs
lola: 87503380 markings, 266463907 edges, 380629 markings/sec, 220 secs
lola: 89458055 markings, 272654106 edges, 390935 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown
lola: memory consumption: 3254016 KB
lola: time consumption: 326 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 231 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-C0100N0000000100-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-C0100N0000000100-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FBP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FBP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000000100-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: 162 markings, 162 edges, 32 markings/sec, 25 secs
lola: 3394241 markings, 7378149 edges, 678816 markings/sec, 30 secs
lola: 6581687 markings, 14586647 edges, 637489 markings/sec, 35 secs
lola: 8994215 markings, 22271581 edges, 482506 markings/sec, 40 secs
lola: 11312144 markings, 29669705 edges, 463586 markings/sec, 45 secs
lola: 13590805 markings, 36947816 edges, 455732 markings/sec, 50 secs
lola: 15884165 markings, 44273036 edges, 458672 markings/sec, 55 secs
lola: 18278634 markings, 51894755 edges, 478894 markings/sec, 60 secs
lola: 20593570 markings, 59281198 edges, 462987 markings/sec, 65 secs
lola: 22878528 markings, 66576057 edges, 456992 markings/sec, 70 secs
lola: 25158380 markings, 73841071 edges, 455970 markings/sec, 75 secs
lola: 27292971 markings, 80625961 edges, 426918 markings/sec, 80 secs
lola: 29428915 markings, 87299020 edges, 427189 markings/sec, 85 secs
lola: 32100801 markings, 94807165 edges, 534377 markings/sec, 90 secs
lola: 34904429 markings, 102711823 edges, 560726 markings/sec, 95 secs
lola: 37517079 markings, 110078479 edges, 522530 markings/sec, 100 secs
lola: 40102807 markings, 117361490 edges, 517146 markings/sec, 105 secs
lola: 42673719 markings, 124624309 edges, 514182 markings/sec, 110 secs
lola: 45245499 markings, 131866600 edges, 514356 markings/sec, 115 secs
lola: 47763884 markings, 138974387 edges, 503677 markings/sec, 120 secs
lola: 50309202 markings, 146137533 edges, 509064 markings/sec, 125 secs
lola: 52811776 markings, 153199769 edges, 500515 markings/sec, 130 secs
lola: 55224667 markings, 160001607 edges, 482578 markings/sec, 135 secs
lola: 57653506 markings, 166852372 edges, 485768 markings/sec, 140 secs
lola: 60058113 markings, 173631350 edges, 480921 markings/sec, 145 secs
lola: 62427261 markings, 180328362 edges, 473830 markings/sec, 150 secs
lola: 64783927 markings, 186962691 edges, 471333 markings/sec, 155 secs
lola: 67127988 markings, 193583851 edges, 468812 markings/sec, 160 secs
lola: 69524314 markings, 200337093 edges, 479265 markings/sec, 165 secs
lola: 71986914 markings, 207286111 edges, 492520 markings/sec, 170 secs
lola: 74378903 markings, 214030957 edges, 478398 markings/sec, 175 secs
lola: 76695781 markings, 220556678 edges, 463376 markings/sec, 180 secs
lola: 79105414 markings, 227359827 edges, 481927 markings/sec, 185 secs
lola: 81492215 markings, 234092380 edges, 477360 markings/sec, 190 secs
lola: 83826928 markings, 240669403 edges, 466943 markings/sec, 195 secs
lola: 86182688 markings, 247309641 edges, 471152 markings/sec, 200 secs
lola: 88493175 markings, 253838330 edges, 462097 markings/sec, 205 secs
lola: 90617595 markings, 259809202 edges, 424884 markings/sec, 210 secs
lola: 92914323 markings, 266303866 edges, 459346 markings/sec, 215 secs
lola: 95076176 markings, 272394910 edges, 432371 markings/sec, 220 secs
lola: 97422227 markings, 279014801 edges, 469210 markings/sec, 225 secs
lola: 99518880 markings, 284919186 edges, 419331 markings/sec, 230 secs
lola: 101550161 markings, 290659665 edges, 406256 markings/sec, 235 secs
lola: 103581990 markings, 296385786 edges, 406366 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown
lola: memory consumption: 3801100 KB
lola: time consumption: 576 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Xu5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Xu5P)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000000100-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: 4179937 markings, 5911928 edges, 835987 markings/sec, 0 secs
lola: 8650253 markings, 12164543 edges, 894063 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: 11996864 markings, 17050179 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-4 396 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 271 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-C0100N0000000100-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: 22446 markings, 40153 edges, 4489 markings/sec, 25 secs
lola: 3423109 markings, 7440658 edges, 680133 markings/sec, 30 secs
lola: 6634600 markings, 14623699 edges, 642298 markings/sec, 35 secs
lola: 9586991 markings, 22262026 edges, 590478 markings/sec, 40 secs
lola: 12442693 markings, 29666530 edges, 571140 markings/sec, 45 secs
lola: 15319511 markings, 37130058 edges, 575364 markings/sec, 50 secs
lola: 18347230 markings, 44954739 edges, 605544 markings/sec, 55 secs
lola: 21254484 markings, 52489151 edges, 581451 markings/sec, 60 secs
lola: 24144669 markings, 59985798 edges, 578037 markings/sec, 65 secs
lola: 27363615 markings, 67720172 edges, 643789 markings/sec, 70 secs
lola: 30610848 markings, 75445333 edges, 649447 markings/sec, 75 secs
lola: 33599875 markings, 82585145 edges, 597805 markings/sec, 80 secs
lola: 36622166 markings, 89815043 edges, 604458 markings/sec, 85 secs
lola: 39658290 markings, 97082640 edges, 607225 markings/sec, 90 secs
lola: 42653796 markings, 104255715 edges, 599101 markings/sec, 95 secs
lola: 45692634 markings, 111512484 edges, 607768 markings/sec, 100 secs
lola: 48538402 markings, 118325193 edges, 569154 markings/sec, 105 secs
lola: 51242074 markings, 124802197 edges, 540734 markings/sec, 110 secs
lola: 53897381 markings, 131164815 edges, 531061 markings/sec, 115 secs
lola: 56620576 markings, 137692086 edges, 544639 markings/sec, 120 secs
lola: 59451007 markings, 144466594 edges, 566086 markings/sec, 125 secs
lola: 62411244 markings, 151547347 edges, 592047 markings/sec, 130 secs
lola: 65221101 markings, 158275195 edges, 561971 markings/sec, 135 secs
lola: 67924686 markings, 164752428 edges, 540717 markings/sec, 140 secs
lola: 70677615 markings, 171348689 edges, 550586 markings/sec, 145 secs
lola: 73380812 markings, 177828439 edges, 540639 markings/sec, 150 secs
lola: 76085841 markings, 184306213 edges, 541006 markings/sec, 155 secs
lola: 78955667 markings, 191165906 edges, 573965 markings/sec, 160 secs
lola: 81692090 markings, 197718885 edges, 547285 markings/sec, 165 secs
lola: 84376577 markings, 204150953 edges, 536897 markings/sec, 170 secs
lola: 87071141 markings, 210608895 edges, 538913 markings/sec, 175 secs
lola: 89673279 markings, 216846028 edges, 520428 markings/sec, 180 secs
lola: 92423254 markings, 223421059 edges, 549995 markings/sec, 185 secs
lola: 95178701 markings, 230014114 edges, 551089 markings/sec, 190 secs
lola: 97780304 markings, 236245282 edges, 520321 markings/sec, 195 secs
lola: 100385488 markings, 242487718 edges, 521037 markings/sec, 200 secs
lola: 102968498 markings, 248677890 edges, 516602 markings/sec, 205 secs
lola: 105516152 markings, 254785145 edges, 509531 markings/sec, 210 secs
lola: 108282827 markings, 261396883 edges, 553335 markings/sec, 215 secs
lola: 111009798 markings, 267924377 edges, 545394 markings/sec, 220 secs
lola: 113621482 markings, 274179952 edges, 522337 markings/sec, 225 secs
lola: 116250652 markings, 280480714 edges, 525834 markings/sec, 230 secs
lola: 118864973 markings, 286745801 edges, 522864 markings/sec, 235 secs
lola: 121474154 markings, 292999869 edges, 521836 markings/sec, 240 secs
lola: 124276076 markings, 299691608 edges, 560384 markings/sec, 245 secs
lola: 126922079 markings, 306027436 edges, 529201 markings/sec, 250 secs
lola: 129526677 markings, 312267550 edges, 520920 markings/sec, 255 secs
lola: 132097043 markings, 318427394 edges, 514073 markings/sec, 260 secs
lola: 134687291 markings, 324635914 edges, 518050 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 396 unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown
lola: memory consumption: 4880012 KB
lola: time consumption: 860 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 271 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-C0100N0000000100-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-C0100N0000000100-UpperBounds-6 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_2PG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000000100-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: 379 markings, 379 edges, 76 markings/sec, 25 secs
lola: 3254274 markings, 6859033 edges, 650779 markings/sec, 30 secs
lola: 7582230 markings, 14196113 edges, 865591 markings/sec, 35 secs
lola: 11212012 markings, 20990764 edges, 725956 markings/sec, 40 secs
lola: 13732444 markings, 27476663 edges, 504086 markings/sec, 45 secs
lola: 17828229 markings, 34495199 edges, 819157 markings/sec, 50 secs
lola: 21770898 markings, 41431192 edges, 788534 markings/sec, 55 secs
lola: 25341345 markings, 47929874 edges, 714089 markings/sec, 60 secs
lola: 28715364 markings, 54129901 edges, 674804 markings/sec, 65 secs
lola: 31999043 markings, 60138252 edges, 656736 markings/sec, 70 secs
lola: 35240404 markings, 66081851 edges, 648272 markings/sec, 75 secs
lola: 38470271 markings, 72016776 edges, 645973 markings/sec, 80 secs
lola: 41639502 markings, 77865731 edges, 633846 markings/sec, 85 secs
lola: 44888462 markings, 83696716 edges, 649792 markings/sec, 90 secs
lola: 48030289 markings, 89511649 edges, 628365 markings/sec, 95 secs
lola: 51190105 markings, 95232278 edges, 631963 markings/sec, 100 secs
lola: 54328324 markings, 101015980 edges, 627644 markings/sec, 105 secs
lola: 57437838 markings, 106741600 edges, 621903 markings/sec, 110 secs
lola: 60604547 markings, 112493360 edges, 633342 markings/sec, 115 secs
lola: 63799373 markings, 118340688 edges, 638965 markings/sec, 120 secs
lola: 66877686 markings, 124102213 edges, 615663 markings/sec, 125 secs
lola: 69891158 markings, 129749655 edges, 602694 markings/sec, 130 secs
lola: 73121055 markings, 135454697 edges, 645979 markings/sec, 135 secs
lola: 76247569 markings, 141348471 edges, 625303 markings/sec, 140 secs
lola: 79240240 markings, 146713398 edges, 598534 markings/sec, 145 secs
lola: 82065565 markings, 151961391 edges, 565065 markings/sec, 150 secs
lola: 84844074 markings, 157175975 edges, 555702 markings/sec, 155 secs
lola: 87674433 markings, 162264265 edges, 566072 markings/sec, 160 secs
lola: 90561948 markings, 167521193 edges, 577503 markings/sec, 165 secs
lola: 93443758 markings, 172675832 edges, 576362 markings/sec, 170 secs
lola: 96205096 markings, 177821512 edges, 552268 markings/sec, 175 secs
lola: 98956552 markings, 182987606 edges, 550291 markings/sec, 180 secs
lola: 101718241 markings, 188141661 edges, 552338 markings/sec, 185 secs
lola: 104559030 markings, 193455034 edges, 568158 markings/sec, 190 secs
lola: 107354944 markings, 198618250 edges, 559183 markings/sec, 195 secs
lola: 110153225 markings, 203748566 edges, 559656 markings/sec, 200 secs
lola: 113318249 markings, 209511563 edges, 633005 markings/sec, 205 secs
lola: 116451976 markings, 215212283 edges, 626745 markings/sec, 210 secs
lola: 119294403 markings, 220487134 edges, 568485 markings/sec, 215 secs
lola: 122657128 markings, 226545945 edges, 672545 markings/sec, 220 secs
lola: 125889978 markings, 232569898 edges, 646570 markings/sec, 225 secs
lola: 129077115 markings, 238511068 edges, 637427 markings/sec, 230 secs
lola: 132189032 markings, 244316144 edges, 622383 markings/sec, 235 secs
lola: 135293300 markings, 250090899 edges, 620854 markings/sec, 240 secs
lola: 138226769 markings, 255559351 edges, 586694 markings/sec, 245 secs
lola: 141162040 markings, 261033395 edges, 587054 markings/sec, 250 secs
lola: 144216245 markings, 266730378 edges, 610841 markings/sec, 255 secs
lola: 147367517 markings, 272594288 edges, 630254 markings/sec, 260 secs
lola: 150493980 markings, 278423447 edges, 625293 markings/sec, 265 secs
lola: 153619026 markings, 284251665 edges, 625009 markings/sec, 270 secs
lola: 156698533 markings, 289993770 edges, 615901 markings/sec, 275 secs
lola: 159848376 markings, 295857670 edges, 629969 markings/sec, 280 secs
lola: 162981344 markings, 301697705 edges, 626594 markings/sec, 285 secs
lola: 166100734 markings, 307515297 edges, 623878 markings/sec, 290 secs
lola: 169164764 markings, 313230109 edges, 612806 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 396 unknown 400 unknown unknown unknown 200 unknown unknown unknown unknown unknown
lola: memory consumption: 6102108 KB
lola: time consumption: 1162 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 301 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-C0100N0000000100-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
lola: ========================================

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-8 1 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(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-C0100N0000000100-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: 172 markings, 171 edges, 34 markings/sec, 25 secs
lola: 4490201 markings, 6351297 edges, 898006 markings/sec, 30 secs
lola: 9001969 markings, 12656587 edges, 902354 markings/sec, 35 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 11996864 markings, 17050179 edges

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-9 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 394 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-C0100N0000000100-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: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-0 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 473 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-C0100N0000000100-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: 4379 markings, 5438 edges, 876 markings/sec, 25 secs
lola: 3239866 markings, 7039852 edges, 647097 markings/sec, 30 secs
lola: 6294829 markings, 13832647 edges, 610993 markings/sec, 35 secs
lola: 8242403 markings, 20967117 edges, 389515 markings/sec, 40 secs
lola: 10113621 markings, 27855975 edges, 374244 markings/sec, 45 secs
lola: 11971881 markings, 34705295 edges, 371652 markings/sec, 50 secs
lola: 13806719 markings, 41471938 edges, 366968 markings/sec, 55 secs
lola: 15646629 markings, 48259021 edges, 367982 markings/sec, 60 secs
lola: 17499703 markings, 55596488 edges, 370615 markings/sec, 65 secs
lola: 19219951 markings, 62775140 edges, 344050 markings/sec, 70 secs
lola: 20891719 markings, 69765982 edges, 334354 markings/sec, 75 secs
lola: 22539627 markings, 76661230 edges, 329582 markings/sec, 80 secs
lola: 24187005 markings, 83556176 edges, 329476 markings/sec, 85 secs
lola: 25822488 markings, 90403557 edges, 327097 markings/sec, 90 secs
lola: 27459669 markings, 97261584 edges, 327436 markings/sec, 95 secs
lola: 29292351 markings, 104273216 edges, 366536 markings/sec, 100 secs
lola: 31440599 markings, 111682864 edges, 429650 markings/sec, 105 secs
lola: 33580342 markings, 119127715 edges, 427949 markings/sec, 110 secs
lola: 35591997 markings, 126020359 edges, 402331 markings/sec, 115 secs
lola: 37495788 markings, 132616759 edges, 380758 markings/sec, 120 secs
lola: 39376163 markings, 139145795 edges, 376075 markings/sec, 125 secs
lola: 41238835 markings, 145627161 edges, 372534 markings/sec, 130 secs
lola: 43037280 markings, 151884712 edges, 359689 markings/sec, 135 secs
lola: 44791596 markings, 157995825 edges, 350863 markings/sec, 140 secs
lola: 46523489 markings, 164028421 edges, 346379 markings/sec, 145 secs
lola: 48296398 markings, 170204945 edges, 354582 markings/sec, 150 secs
lola: 50125369 markings, 176577614 edges, 365794 markings/sec, 155 secs
lola: 52059032 markings, 183261750 edges, 386733 markings/sec, 160 secs
lola: 53949097 markings, 189775257 edges, 378013 markings/sec, 165 secs
lola: 55750385 markings, 196026119 edges, 360258 markings/sec, 170 secs
lola: 57514966 markings, 202161948 edges, 352916 markings/sec, 175 secs
lola: 59252009 markings, 208206651 edges, 347409 markings/sec, 180 secs
lola: 60969134 markings, 214185192 edges, 343425 markings/sec, 185 secs
lola: 62748686 markings, 220387095 edges, 355910 markings/sec, 190 secs
lola: 64545736 markings, 226650734 edges, 359410 markings/sec, 195 secs
lola: 66347544 markings, 232930692 edges, 360362 markings/sec, 200 secs
lola: 68129478 markings, 239145081 edges, 356387 markings/sec, 205 secs
lola: 69942066 markings, 245426679 edges, 362518 markings/sec, 210 secs
lola: 71915449 markings, 252256431 edges, 394677 markings/sec, 215 secs
lola: 73811602 markings, 258808938 edges, 379231 markings/sec, 220 secs
lola: 75635244 markings, 265139903 edges, 364728 markings/sec, 225 secs
lola: 77425627 markings, 271364182 edges, 358077 markings/sec, 230 secs
lola: 79193135 markings, 277517779 edges, 353502 markings/sec, 235 secs
lola: 80942171 markings, 283606410 edges, 349807 markings/sec, 240 secs
lola: 82720137 markings, 289801981 edges, 355593 markings/sec, 245 secs
lola: 84460878 markings, 295871534 edges, 348148 markings/sec, 250 secs
lola: 86202080 markings, 301937475 edges, 348240 markings/sec, 255 secs
lola: 87930279 markings, 307962904 edges, 345640 markings/sec, 260 secs
lola: 89631485 markings, 313897637 edges, 340241 markings/sec, 265 secs
lola: 91497844 markings, 320297765 edges, 373272 markings/sec, 270 secs
lola: 93275238 markings, 326456315 edges, 355479 markings/sec, 275 secs
lola: 95070046 markings, 332690437 edges, 358962 markings/sec, 280 secs
lola: 96826920 markings, 338802009 edges, 351375 markings/sec, 285 secs
lola: 98505226 markings, 344642372 edges, 335661 markings/sec, 290 secs
lola: 100252545 markings, 350729001 edges, 349464 markings/sec, 295 secs
lola: 101998172 markings, 356810518 edges, 349125 markings/sec, 300 secs
lola: 103731730 markings, 362853168 edges, 346712 markings/sec, 305 secs
lola: 105438586 markings, 368803275 edges, 341371 markings/sec, 310 secs
lola: 107135444 markings, 374718713 edges, 339372 markings/sec, 315 secs
lola: 108889433 markings, 380785898 edges, 350798 markings/sec, 320 secs
lola: 110746049 markings, 387187767 edges, 371323 markings/sec, 325 secs
lola: 112540375 markings, 393415122 edges, 358865 markings/sec, 330 secs
lola: 114273765 markings, 399438263 edges, 346678 markings/sec, 335 secs
lola: 115970187 markings, 405342778 edges, 339284 markings/sec, 340 secs
lola: 117739880 markings, 411502448 edges, 353939 markings/sec, 345 secs
lola: 119512296 markings, 417677626 edges, 354483 markings/sec, 350 secs
lola: 121216133 markings, 423612389 edges, 340767 markings/sec, 355 secs
lola: 122923004 markings, 429561966 edges, 341374 markings/sec, 360 secs
lola: 124612330 markings, 435449533 edges, 337865 markings/sec, 365 secs
lola: 126312856 markings, 441382182 edges, 340105 markings/sec, 370 secs
lola: 128161907 markings, 447730293 edges, 369810 markings/sec, 375 secs
lola: 129973260 markings, 454002357 edges, 362271 markings/sec, 380 secs
lola: 131741810 markings, 460149280 edges, 353710 markings/sec, 385 secs
lola: 133483491 markings, 466206796 edges, 348336 markings/sec, 390 secs
lola: 135215372 markings, 472234129 edges, 346376 markings/sec, 395 secs
lola: 136962705 markings, 478316492 edges, 349467 markings/sec, 400 secs
lola: 138696106 markings, 484359437 edges, 346680 markings/sec, 405 secs
lola: 140409577 markings, 490328403 edges, 342694 markings/sec, 410 secs
lola: 142133586 markings, 496337938 edges, 344802 markings/sec, 415 secs
lola: 143838371 markings, 502284699 edges, 340957 markings/sec, 420 secs
lola: 145657548 markings, 508542356 edges, 363835 markings/sec, 425 secs
lola: 147477958 markings, 514841648 edges, 364082 markings/sec, 430 secs
lola: 149240408 markings, 520962628 edges, 352490 markings/sec, 435 secs
lola: 150979746 markings, 527006502 edges, 347868 markings/sec, 440 secs
lola: 152686621 markings, 532947191 edges, 341375 markings/sec, 445 secs
lola: 154269345 markings, 538458252 edges, 316545 markings/sec, 450 secs
lola: 155847767 markings, 543957925 edges, 315684 markings/sec, 455 secs
lola: 157416069 markings, 549423066 edges, 313660 markings/sec, 460 secs
lola: 158973644 markings, 554851567 edges, 311515 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 unknown 1 unknown 396 unknown 400 unknown 1 200 200 unknown unknown unknown unknown unknown
lola: memory consumption: 5748196 KB
lola: time consumption: 1678 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 472 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-C0100N0000000100-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: 3216200 markings, 6987730 edges, 643240 markings/sec, 30 secs
lola: 6202758 markings, 13527367 edges, 597312 markings/sec, 35 secs
lola: 8213535 markings, 20859988 edges, 402155 markings/sec, 40 secs
lola: 10100629 markings, 27807770 edges, 377419 markings/sec, 45 secs
lola: 11961145 markings, 34665474 edges, 372103 markings/sec, 50 secs
lola: 13803193 markings, 41458897 edges, 368410 markings/sec, 55 secs
lola: 15646809 markings, 48259729 edges, 368723 markings/sec, 60 secs
lola: 17500513 markings, 55600020 edges, 370741 markings/sec, 65 secs
lola: 19218916 markings, 62770572 edges, 343681 markings/sec, 70 secs
lola: 20897487 markings, 69790267 edges, 335714 markings/sec, 75 secs
lola: 22576537 markings, 76816872 edges, 335810 markings/sec, 80 secs
lola: 24224815 markings, 83715379 edges, 329656 markings/sec, 85 secs
lola: 25842648 markings, 90488491 edges, 323567 markings/sec, 90 secs
lola: 27485841 markings, 97371858 edges, 328639 markings/sec, 95 secs
lola: 29357383 markings, 104495028 edges, 374308 markings/sec, 100 secs
lola: 31518602 markings, 111953023 edges, 432244 markings/sec, 105 secs
lola: 33783773 markings, 119819922 edges, 453034 markings/sec, 110 secs
lola: 35861657 markings, 126950149 edges, 415577 markings/sec, 115 secs
lola: 37836991 markings, 133802330 edges, 395067 markings/sec, 120 secs
lola: 39732738 markings, 140389542 edges, 379149 markings/sec, 125 secs
lola: 41634547 markings, 147002630 edges, 380362 markings/sec, 130 secs
lola: 43556297 markings, 153690740 edges, 384350 markings/sec, 135 secs
lola: 45457103 markings, 160311065 edges, 380161 markings/sec, 140 secs
lola: 47362550 markings, 166950323 edges, 381089 markings/sec, 145 secs
lola: 49249454 markings, 173526341 edges, 377381 markings/sec, 150 secs
lola: 51196448 markings, 180294357 edges, 389399 markings/sec, 155 secs
lola: 53187536 markings, 187140361 edges, 398218 markings/sec, 160 secs
lola: 55089872 markings, 193732102 edges, 380467 markings/sec, 165 secs
lola: 56932599 markings, 200137300 edges, 368545 markings/sec, 170 secs
lola: 58745747 markings, 206443571 edges, 362630 markings/sec, 175 secs
lola: 60526815 markings, 212646040 edges, 356214 markings/sec, 180 secs
lola: 62343475 markings, 218973517 edges, 363332 markings/sec, 185 secs
lola: 64139700 markings, 225233798 edges, 359245 markings/sec, 190 secs
lola: 65911375 markings, 231408329 edges, 354335 markings/sec, 195 secs
lola: 67675282 markings, 237560292 edges, 352781 markings/sec, 200 secs
lola: 69442203 markings, 243722038 edges, 353384 markings/sec, 205 secs
lola: 71370894 markings, 250406517 edges, 385738 markings/sec, 210 secs
lola: 73281733 markings, 256973022 edges, 382168 markings/sec, 215 secs
lola: 75109843 markings, 263315479 edges, 365622 markings/sec, 220 secs
lola: 76892144 markings, 269511453 edges, 356460 markings/sec, 225 secs
lola: 78668044 markings, 275690064 edges, 355180 markings/sec, 230 secs
lola: 80426587 markings, 281811284 edges, 351709 markings/sec, 235 secs
lola: 82194832 markings, 287972867 edges, 353649 markings/sec, 240 secs
lola: 83954521 markings, 294103209 edges, 351938 markings/sec, 245 secs
lola: 85690722 markings, 300156337 edges, 347240 markings/sec, 250 secs
lola: 87433874 markings, 306233370 edges, 348630 markings/sec, 255 secs
lola: 89170174 markings, 312289166 edges, 347260 markings/sec, 260 secs
lola: 91035151 markings, 318702285 edges, 372995 markings/sec, 265 secs
lola: 92852886 markings, 324992108 edges, 363547 markings/sec, 270 secs
lola: 94613348 markings, 331101578 edges, 352092 markings/sec, 275 secs
lola: 96368776 markings, 337206787 edges, 351086 markings/sec, 280 secs
lola: 98105587 markings, 343252249 edges, 347362 markings/sec, 285 secs
lola: 99838126 markings, 349283600 edges, 346508 markings/sec, 290 secs
lola: 101592809 markings, 355401338 edges, 350937 markings/sec, 295 secs
lola: 103309072 markings, 361378532 edges, 343253 markings/sec, 300 secs
lola: 105014286 markings, 367322810 edges, 341043 markings/sec, 305 secs
lola: 106720778 markings, 373272659 edges, 341298 markings/sec, 310 secs
lola: 108437527 markings, 379261585 edges, 343350 markings/sec, 315 secs
lola: 110315608 markings, 385695918 edges, 375616 markings/sec, 320 secs
lola: 112124637 markings, 391969948 edges, 361806 markings/sec, 325 secs
lola: 113873115 markings, 398045370 edges, 349696 markings/sec, 330 secs
lola: 115556531 markings, 403899176 edges, 336683 markings/sec, 335 secs
lola: 117246614 markings, 409785630 edges, 338017 markings/sec, 340 secs
lola: 118986096 markings, 415844887 edges, 347896 markings/sec, 345 secs
lola: 120719274 markings, 421882513 edges, 346636 markings/sec, 350 secs
lola: 122431268 markings, 427850222 edges, 342399 markings/sec, 355 secs
lola: 124141305 markings, 433811461 edges, 342007 markings/sec, 360 secs
lola: 125838314 markings, 439726898 edges, 339402 markings/sec, 365 secs
lola: 127635091 markings, 445915363 edges, 359355 markings/sec, 370 secs
lola: 129462072 markings, 452233163 edges, 365396 markings/sec, 375 secs
lola: 131232155 markings, 458374969 edges, 354017 markings/sec, 380 secs
lola: 132970721 markings, 464420994 edges, 347713 markings/sec, 385 secs
lola: 134697468 markings, 470431381 edges, 345349 markings/sec, 390 secs
lola: 136422862 markings, 476436549 edges, 345079 markings/sec, 395 secs
lola: 138154177 markings, 482467183 edges, 346263 markings/sec, 400 secs
lola: 139864830 markings, 488430905 edges, 342131 markings/sec, 405 secs
lola: 141564459 markings, 494355230 edges, 339926 markings/sec, 410 secs
lola: 143250026 markings, 500231089 edges, 337113 markings/sec, 415 secs
lola: 144991943 markings, 506260368 edges, 348383 markings/sec, 420 secs
lola: 146836920 markings, 512617338 edges, 368995 markings/sec, 425 secs
lola: 148624075 markings, 518819086 edges, 357431 markings/sec, 430 secs
lola: 150368945 markings, 524883421 edges, 348974 markings/sec, 435 secs
lola: 152103620 markings, 530920876 edges, 346935 markings/sec, 440 secs
lola: 153808546 markings, 536854867 edges, 340985 markings/sec, 445 secs
lola: 155537288 markings, 542876346 edges, 345748 markings/sec, 450 secs
lola: 157246120 markings, 548833590 edges, 341766 markings/sec, 455 secs
lola: 158942872 markings, 554742424 edges, 339350 markings/sec, 460 secs
lola: 160627038 markings, 560618098 edges, 336833 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 unknown 1 unknown 396 unknown 400 unknown 1 200 200 unknown unknown unknown unknown unknown
lola: memory consumption: 5797704 KB
lola: time consumption: 2151 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000000100-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: 1929 markings, 1928 edges, 386 markings/sec, 25 secs
lola: 2767114 markings, 7485521 edges, 553037 markings/sec, 30 secs
lola: 5228475 markings, 14877751 edges, 492272 markings/sec, 35 secs
lola: 8125678 markings, 22070768 edges, 579441 markings/sec, 40 secs
lola: 10688213 markings, 28889351 edges, 512507 markings/sec, 45 secs
lola: 13181873 markings, 35542805 edges, 498732 markings/sec, 50 secs
lola: 15665653 markings, 42140016 edges, 496756 markings/sec, 55 secs
lola: 18112013 markings, 48704636 edges, 489272 markings/sec, 60 secs
lola: 20564397 markings, 55240000 edges, 490477 markings/sec, 65 secs
lola: 23046778 markings, 61865369 edges, 496476 markings/sec, 70 secs
lola: 25557066 markings, 68550134 edges, 502058 markings/sec, 75 secs
lola: 27940341 markings, 74936161 edges, 476655 markings/sec, 80 secs
lola: 30213230 markings, 80981525 edges, 454578 markings/sec, 85 secs
lola: 32483257 markings, 87051775 edges, 454005 markings/sec, 90 secs
lola: 34678253 markings, 92925573 edges, 438999 markings/sec, 95 secs
lola: 36932147 markings, 98918895 edges, 450779 markings/sec, 100 secs
lola: 39079013 markings, 104708671 edges, 429373 markings/sec, 105 secs
lola: 41233494 markings, 110443686 edges, 430896 markings/sec, 110 secs
lola: 43344447 markings, 116073095 edges, 422191 markings/sec, 115 secs
lola: 45459938 markings, 121710566 edges, 423098 markings/sec, 120 secs
lola: 47549521 markings, 127296051 edges, 417917 markings/sec, 125 secs
lola: 49623495 markings, 132821334 edges, 414795 markings/sec, 130 secs
lola: 51687083 markings, 138345620 edges, 412718 markings/sec, 135 secs
lola: 53767328 markings, 143903196 edges, 416049 markings/sec, 140 secs
lola: 55813865 markings, 149394307 edges, 409307 markings/sec, 145 secs
lola: 57991933 markings, 155198722 edges, 435614 markings/sec, 150 secs
lola: 60109003 markings, 160838519 edges, 423414 markings/sec, 155 secs
lola: 62169794 markings, 166334419 edges, 412158 markings/sec, 160 secs
lola: 64221489 markings, 171830965 edges, 410339 markings/sec, 165 secs
lola: 66448100 markings, 177768841 edges, 445322 markings/sec, 170 secs
lola: 68705824 markings, 183789197 edges, 451545 markings/sec, 175 secs
lola: 70943957 markings, 189778107 edges, 447627 markings/sec, 180 secs
lola: 73241866 markings, 195889060 edges, 459582 markings/sec, 185 secs
lola: 75512811 markings, 201983907 edges, 454189 markings/sec, 190 secs
lola: 77791634 markings, 208060301 edges, 455765 markings/sec, 195 secs
lola: 80065509 markings, 214134433 edges, 454775 markings/sec, 200 secs
lola: 82357606 markings, 220229167 edges, 458419 markings/sec, 205 secs
lola: 84623119 markings, 226306824 edges, 453103 markings/sec, 210 secs
lola: 86915139 markings, 232410308 edges, 458404 markings/sec, 215 secs
lola: 89215835 markings, 238567740 edges, 460139 markings/sec, 220 secs
lola: 91515848 markings, 244680334 edges, 460003 markings/sec, 225 secs
lola: 93854592 markings, 250925073 edges, 467749 markings/sec, 230 secs
lola: 95971991 markings, 256568868 edges, 423480 markings/sec, 235 secs
lola: 98158519 markings, 262427226 edges, 437306 markings/sec, 240 secs
lola: 100468807 markings, 268589508 edges, 462058 markings/sec, 245 secs
lola: 102588037 markings, 274244549 edges, 423846 markings/sec, 250 secs
lola: 104603907 markings, 279602407 edges, 403174 markings/sec, 255 secs
lola: 106615904 markings, 284975951 edges, 402399 markings/sec, 260 secs
lola: 108598047 markings, 290265178 edges, 396429 markings/sec, 265 secs
lola: 110781116 markings, 296106631 edges, 436614 markings/sec, 270 secs
lola: 112720877 markings, 301259276 edges, 387952 markings/sec, 275 secs
lola: 114672391 markings, 306466706 edges, 390303 markings/sec, 280 secs
lola: 116729719 markings, 311960053 edges, 411466 markings/sec, 285 secs
lola: 118701395 markings, 317216151 edges, 394335 markings/sec, 290 secs
lola: 120736362 markings, 322636302 edges, 406993 markings/sec, 295 secs
lola: 122729412 markings, 327962330 edges, 398610 markings/sec, 300 secs
lola: 124802300 markings, 333487874 edges, 414578 markings/sec, 305 secs
lola: 126926213 markings, 339157181 edges, 424783 markings/sec, 310 secs
lola: 129019195 markings, 344736877 edges, 418596 markings/sec, 315 secs
lola: 131260149 markings, 350694870 edges, 448191 markings/sec, 320 secs
lola: 133377540 markings, 356340719 edges, 423478 markings/sec, 325 secs
lola: 135366541 markings, 361632307 edges, 397800 markings/sec, 330 secs
lola: 137377137 markings, 366990859 edges, 402119 markings/sec, 335 secs
lola: 139342523 markings, 372230501 edges, 393077 markings/sec, 340 secs
lola: 141350446 markings, 377580042 edges, 401585 markings/sec, 345 secs
lola: 143314886 markings, 382799438 edges, 392888 markings/sec, 350 secs
lola: 145290745 markings, 388070495 edges, 395172 markings/sec, 355 secs
lola: 147290679 markings, 393382593 edges, 399987 markings/sec, 360 secs
lola: 149299023 markings, 398731335 edges, 401669 markings/sec, 365 secs
lola: 151316640 markings, 404094595 edges, 403523 markings/sec, 370 secs
lola: 153348640 markings, 409488662 edges, 406400 markings/sec, 375 secs
lola: 155394284 markings, 414919091 edges, 409129 markings/sec, 380 secs
lola: 157480327 markings, 420453652 edges, 417209 markings/sec, 385 secs
lola: 159677112 markings, 426266702 edges, 439357 markings/sec, 390 secs
lola: 162011482 markings, 432415063 edges, 466874 markings/sec, 395 secs
lola: 164004084 markings, 437751393 edges, 398520 markings/sec, 400 secs
lola: 165972495 markings, 443030703 edges, 393682 markings/sec, 405 secs
lola: 168080341 markings, 448692392 edges, 421569 markings/sec, 410 secs
lola: 169985680 markings, 453801824 edges, 381068 markings/sec, 415 secs
lola: 172058376 markings, 459369271 edges, 414539 markings/sec, 420 secs
lola: 173987250 markings, 464542838 edges, 385775 markings/sec, 425 secs
lola: 175956774 markings, 469824377 edges, 393905 markings/sec, 430 secs
lola: 177996966 markings, 475304608 edges, 408038 markings/sec, 435 secs
lola: 179815563 markings, 480181869 edges, 363719 markings/sec, 440 secs
lola: 181810368 markings, 485539732 edges, 398961 markings/sec, 445 secs
lola: 183724380 markings, 490673587 edges, 382802 markings/sec, 450 secs
lola: 185677714 markings, 495911746 edges, 390667 markings/sec, 455 secs
lola: 187702894 markings, 501352203 edges, 405036 markings/sec, 460 secs
lola: 189668734 markings, 506623578 edges, 393168 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 unknown 1 unknown 396 unknown 400 unknown 1 200 200 unknown unknown unknown unknown unknown
lola: memory consumption: 6864992 KB
lola: time consumption: 2624 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 473 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-C0100N0000000100-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: 180 markings, 199 edges, 36 markings/sec, 25 secs
lola: 2888917 markings, 6272439 edges, 577747 markings/sec, 30 secs
lola: 5608789 markings, 12224949 edges, 543974 markings/sec, 35 secs
lola: 7789845 markings, 18555783 edges, 436211 markings/sec, 40 secs
lola: 9714108 markings, 24693295 edges, 384853 markings/sec, 45 secs
lola: 11608559 markings, 30741581 edges, 378890 markings/sec, 50 secs
lola: 13431994 markings, 36566993 edges, 364687 markings/sec, 55 secs
lola: 15294573 markings, 42517508 edges, 372516 markings/sec, 60 secs
lola: 17252223 markings, 48748383 edges, 391530 markings/sec, 65 secs
lola: 19154559 markings, 54812865 edges, 380467 markings/sec, 70 secs
lola: 21021183 markings, 60771091 edges, 373325 markings/sec, 75 secs
lola: 22821695 markings, 66519820 edges, 360102 markings/sec, 80 secs
lola: 24665280 markings, 72429132 edges, 368717 markings/sec, 85 secs
lola: 26950485 markings, 78769462 edges, 457041 markings/sec, 90 secs
lola: 29280794 markings, 85231367 edges, 466062 markings/sec, 95 secs
lola: 31354612 markings, 90989152 edges, 414764 markings/sec, 100 secs
lola: 33381578 markings, 96636383 edges, 405393 markings/sec, 105 secs
lola: 35340327 markings, 102098230 edges, 391750 markings/sec, 110 secs
lola: 37331346 markings, 107652597 edges, 398204 markings/sec, 115 secs
lola: 39221373 markings, 112928896 edges, 378005 markings/sec, 120 secs
lola: 41127423 markings, 118249047 edges, 381210 markings/sec, 125 secs
lola: 43038865 markings, 123583368 edges, 382288 markings/sec, 130 secs
lola: 44969629 markings, 128946172 edges, 386153 markings/sec, 135 secs
lola: 46892002 markings, 134304283 edges, 384475 markings/sec, 140 secs
lola: 48741049 markings, 139464178 edges, 369809 markings/sec, 145 secs
lola: 50567091 markings, 144562151 edges, 365208 markings/sec, 150 secs
lola: 52391987 markings, 149660778 edges, 364979 markings/sec, 155 secs
lola: 54247306 markings, 154844118 edges, 371064 markings/sec, 160 secs
lola: 56056802 markings, 159899551 edges, 361899 markings/sec, 165 secs
lola: 57813299 markings, 164809299 edges, 351299 markings/sec, 170 secs
lola: 59702687 markings, 170075614 edges, 377878 markings/sec, 175 secs
lola: 61652692 markings, 175498563 edges, 390001 markings/sec, 180 secs
lola: 63525083 markings, 180718479 edges, 374478 markings/sec, 185 secs
lola: 65364588 markings, 185851955 edges, 367901 markings/sec, 190 secs
lola: 67163501 markings, 190875188 edges, 359783 markings/sec, 195 secs
lola: 68945838 markings, 195853655 edges, 356467 markings/sec, 200 secs
lola: 70745175 markings, 200880875 edges, 359867 markings/sec, 205 secs
lola: 72561770 markings, 205957961 edges, 363319 markings/sec, 210 secs
lola: 74368679 markings, 211008080 edges, 361382 markings/sec, 215 secs
lola: 76200908 markings, 216111459 edges, 366446 markings/sec, 220 secs
lola: 78111861 markings, 221426158 edges, 382191 markings/sec, 225 secs
lola: 79963404 markings, 226591745 edges, 370309 markings/sec, 230 secs
lola: 81752154 markings, 231584425 edges, 357750 markings/sec, 235 secs
lola: 83465907 markings, 236370448 edges, 342751 markings/sec, 240 secs
lola: 85220834 markings, 241273250 edges, 350985 markings/sec, 245 secs
lola: 87017091 markings, 246291771 edges, 359251 markings/sec, 250 secs
lola: 88808898 markings, 251299978 edges, 358361 markings/sec, 255 secs
lola: 90591910 markings, 256282370 edges, 356602 markings/sec, 260 secs
lola: 92482794 markings, 261536619 edges, 378177 markings/sec, 265 secs
lola: 94337246 markings, 266703945 edges, 370890 markings/sec, 270 secs
lola: 96141217 markings, 271737646 edges, 360794 markings/sec, 275 secs
lola: 97945784 markings, 276776146 edges, 360913 markings/sec, 280 secs
lola: 99685371 markings, 281634045 edges, 347917 markings/sec, 285 secs
lola: 101461042 markings, 286595258 edges, 355134 markings/sec, 290 secs
lola: 103211867 markings, 291486248 edges, 350165 markings/sec, 295 secs
lola: 104951747 markings, 296350297 edges, 347976 markings/sec, 300 secs
lola: 106745103 markings, 301350167 edges, 358671 markings/sec, 305 secs
lola: 108634834 markings, 306603490 edges, 377946 markings/sec, 310 secs
lola: 110459974 markings, 311693267 edges, 365028 markings/sec, 315 secs
lola: 112243850 markings, 316672654 edges, 356775 markings/sec, 320 secs
lola: 114019965 markings, 321633388 edges, 355223 markings/sec, 325 secs
lola: 115825361 markings, 326675543 edges, 361079 markings/sec, 330 secs
lola: 117571477 markings, 331555192 edges, 349223 markings/sec, 335 secs
lola: 119308477 markings, 336409478 edges, 347400 markings/sec, 340 secs
lola: 121038311 markings, 341243058 edges, 345967 markings/sec, 345 secs
lola: 122910464 markings, 346441897 edges, 374431 markings/sec, 350 secs
lola: 124730579 markings, 351514520 edges, 364023 markings/sec, 355 secs
lola: 126489721 markings, 356424598 edges, 351828 markings/sec, 360 secs
lola: 128224329 markings, 361267069 edges, 346922 markings/sec, 365 secs
lola: 129983188 markings, 366178889 edges, 351772 markings/sec, 370 secs
lola: 131724625 markings, 371044239 edges, 348287 markings/sec, 375 secs
lola: 133474962 markings, 375936014 edges, 350067 markings/sec, 380 secs
lola: 135199614 markings, 380755698 edges, 344930 markings/sec, 385 secs
lola: 137025809 markings, 385831464 edges, 365239 markings/sec, 390 secs
lola: 138811285 markings, 390805483 edges, 357095 markings/sec, 395 secs
lola: 140598047 markings, 395789692 edges, 357352 markings/sec, 400 secs
lola: 142353113 markings, 400689616 edges, 351013 markings/sec, 405 secs
lola: 144137599 markings, 405673650 edges, 356897 markings/sec, 410 secs
lola: 145888053 markings, 410563586 edges, 350091 markings/sec, 415 secs
lola: 147620379 markings, 415404653 edges, 346465 markings/sec, 420 secs
lola: 149324387 markings, 420166490 edges, 340802 markings/sec, 425 secs
lola: 151119521 markings, 425157371 edges, 359027 markings/sec, 430 secs
lola: 152959507 markings, 430282316 edges, 367997 markings/sec, 435 secs
lola: 154752611 markings, 435284448 edges, 358621 markings/sec, 440 secs
lola: 156519705 markings, 440217955 edges, 353419 markings/sec, 445 secs
lola: 158273462 markings, 445115448 edges, 350751 markings/sec, 450 secs
lola: 160003088 markings, 449947496 edges, 345925 markings/sec, 455 secs
lola: 161710739 markings, 454718284 edges, 341530 markings/sec, 460 secs
lola: 163428095 markings, 459517355 edges, 343471 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 unknown 1 unknown 396 unknown 400 unknown 1 200 200 unknown unknown unknown unknown unknown
lola: memory consumption: 5924940 KB
lola: time consumption: 3098 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 472 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-C0100N0000000100-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: 2950 markings, 3258 edges, 590 markings/sec, 25 secs
lola: 2942363 markings, 6388776 edges, 587883 markings/sec, 30 secs
lola: 5800712 markings, 12646184 edges, 571670 markings/sec, 35 secs
lola: 8459787 markings, 19342564 edges, 531815 markings/sec, 40 secs
lola: 10940527 markings, 25771075 edges, 496148 markings/sec, 45 secs
lola: 13404265 markings, 32160501 edges, 492748 markings/sec, 50 secs
lola: 15869027 markings, 38555734 edges, 492952 markings/sec, 55 secs
lola: 18399032 markings, 45089443 edges, 506001 markings/sec, 60 secs
lola: 20839370 markings, 51413417 edges, 488068 markings/sec, 65 secs
lola: 23241163 markings, 57642080 edges, 480359 markings/sec, 70 secs
lola: 25864103 markings, 64148041 edges, 524588 markings/sec, 75 secs
lola: 28768777 markings, 71065555 edges, 580935 markings/sec, 80 secs
lola: 31316260 markings, 77127935 edges, 509497 markings/sec, 85 secs
lola: 33783934 markings, 83025360 edges, 493535 markings/sec, 90 secs
lola: 36181133 markings, 88759578 edges, 479440 markings/sec, 95 secs
lola: 38576974 markings, 94494920 edges, 479168 markings/sec, 100 secs
lola: 40832486 markings, 99894859 edges, 451102 markings/sec, 105 secs
lola: 43154159 markings, 105448264 edges, 464335 markings/sec, 110 secs
lola: 45522011 markings, 111104268 edges, 473570 markings/sec, 115 secs
lola: 47766464 markings, 116476757 edges, 448891 markings/sec, 120 secs
lola: 50030913 markings, 121900484 edges, 452890 markings/sec, 125 secs
lola: 52282622 markings, 127295264 edges, 450342 markings/sec, 130 secs
lola: 54443303 markings, 132473298 edges, 432136 markings/sec, 135 secs
lola: 56625577 markings, 137704007 edges, 436455 markings/sec, 140 secs
lola: 58813257 markings, 142948755 edges, 437536 markings/sec, 145 secs
lola: 61170484 markings, 148580788 edges, 471445 markings/sec, 150 secs
lola: 63405955 markings, 153928586 edges, 447094 markings/sec, 155 secs
lola: 65594586 markings, 159169782 edges, 437726 markings/sec, 160 secs
lola: 67756196 markings, 164347901 edges, 432322 markings/sec, 165 secs
lola: 69941247 markings, 169584070 edges, 437010 markings/sec, 170 secs
lola: 72053446 markings, 174646216 edges, 422440 markings/sec, 175 secs
lola: 74176252 markings, 179734851 edges, 424561 markings/sec, 180 secs
lola: 76365168 markings, 184971943 edges, 437783 markings/sec, 185 secs
lola: 78612000 markings, 190342896 edges, 449366 markings/sec, 190 secs
lola: 80829014 markings, 195652101 edges, 443403 markings/sec, 195 secs
lola: 82986736 markings, 200820707 edges, 431544 markings/sec, 200 secs
lola: 85118170 markings, 205928108 edges, 426287 markings/sec, 205 secs
lola: 87271643 markings, 211089127 edges, 430695 markings/sec, 210 secs
lola: 89415440 markings, 216228149 edges, 428759 markings/sec, 215 secs
lola: 91575022 markings, 221397084 edges, 431916 markings/sec, 220 secs
lola: 93807776 markings, 226733152 edges, 446551 markings/sec, 225 secs
lola: 95966315 markings, 231900877 edges, 431708 markings/sec, 230 secs
lola: 98063391 markings, 236923822 edges, 419415 markings/sec, 235 secs
lola: 100163945 markings, 241956989 edges, 420111 markings/sec, 240 secs
lola: 102275005 markings, 247016270 edges, 422212 markings/sec, 245 secs
lola: 104366447 markings, 252029541 edges, 418288 markings/sec, 250 secs
lola: 106473814 markings, 257080679 edges, 421473 markings/sec, 255 secs
lola: 108702284 markings, 262399898 edges, 445694 markings/sec, 260 secs
lola: 110871639 markings, 267592692 edges, 433871 markings/sec, 265 secs
lola: 113014137 markings, 272724653 edges, 428500 markings/sec, 270 secs
lola: 115168624 markings, 277887330 edges, 430897 markings/sec, 275 secs
lola: 117309086 markings, 283017339 edges, 428092 markings/sec, 280 secs
lola: 119413891 markings, 288061494 edges, 420961 markings/sec, 285 secs
lola: 121543589 markings, 293164519 edges, 425940 markings/sec, 290 secs
lola: 123754418 markings, 298443295 edges, 442166 markings/sec, 295 secs
lola: 125917824 markings, 303622783 edges, 432681 markings/sec, 300 secs
lola: 128034537 markings, 308692945 edges, 423343 markings/sec, 305 secs
lola: 130155999 markings, 313776308 edges, 424292 markings/sec, 310 secs
lola: 132287004 markings, 318882371 edges, 426201 markings/sec, 315 secs
lola: 134392245 markings, 323928594 edges, 421048 markings/sec, 320 secs
lola: 136510448 markings, 328996080 edges, 423641 markings/sec, 325 secs
lola: 138700861 markings, 334231984 edges, 438083 markings/sec, 330 secs
lola: 140781235 markings, 339213151 edges, 416075 markings/sec, 335 secs
lola: 142884564 markings, 344252140 edges, 420666 markings/sec, 340 secs
lola: 144952843 markings, 349207786 edges, 413656 markings/sec, 345 secs
lola: 146990902 markings, 354091909 edges, 407612 markings/sec, 350 secs
lola: 149100230 markings, 359147905 edges, 421866 markings/sec, 355 secs
lola: 151212862 markings, 364197247 edges, 422526 markings/sec, 360 secs
lola: 153351956 markings, 369313896 edges, 427819 markings/sec, 365 secs
lola: 155439845 markings, 374312939 edges, 417578 markings/sec, 370 secs
lola: 157553978 markings, 379377799 edges, 422827 markings/sec, 375 secs
lola: 159687404 markings, 384489871 edges, 426685 markings/sec, 380 secs
lola: 161761487 markings, 389460331 edges, 414817 markings/sec, 385 secs
lola: 163823807 markings, 394403588 edges, 412464 markings/sec, 390 secs
lola: 165944589 markings, 399468048 edges, 424156 markings/sec, 395 secs
lola: 168055091 markings, 404518677 edges, 422100 markings/sec, 400 secs
lola: 170121379 markings, 409466763 edges, 413258 markings/sec, 405 secs
lola: 172197735 markings, 414441964 edges, 415271 markings/sec, 410 secs
lola: 174234475 markings, 419322868 edges, 407348 markings/sec, 415 secs
lola: 176333783 markings, 424353900 edges, 419862 markings/sec, 420 secs
lola: 178410383 markings, 429322383 edges, 415320 markings/sec, 425 secs
lola: 180576771 markings, 434500787 edges, 433278 markings/sec, 430 secs
lola: 182691054 markings, 439562240 edges, 422857 markings/sec, 435 secs
lola: 184771394 markings, 444546074 edges, 416068 markings/sec, 440 secs
lola: 186833208 markings, 449486306 edges, 412363 markings/sec, 445 secs
lola: 188863612 markings, 454351830 edges, 406081 markings/sec, 450 secs
lola: 190936313 markings, 459320129 edges, 414540 markings/sec, 455 secs
lola: 193112797 markings, 464516270 edges, 435297 markings/sec, 460 secs
lola: 195195050 markings, 469500087 edges, 416451 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 100 unknown 1 unknown 396 unknown 400 unknown 1 200 200 unknown unknown unknown unknown unknown
lola: memory consumption: 7048988 KB
lola: time consumption: 3570 seconds
lola: time limit reached - aborting
lola:
preliminary result: 100 unknown 1 unknown 396 unknown 400 unknown 1 200 200 unknown unknown unknown unknown unknown
lola:
preliminary result: 100 unknown 1 unknown 396 unknown 400 unknown 1 200 200 unknown unknown unknown unknown unknown
lola: memory consumption: 17980 KB
lola: time consumption: 3570 seconds

BK_STOP 1552868076962

--------------------
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-C0100N0000000100"
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-C0100N0000000100, 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-155246565800133"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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