Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
................
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 17 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 21K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is GPPP-PT-C0100N0000010000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998400324
=====================================================================

--------------------
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 1526737622630

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: MAX(R5P) : MAX(GAP) : MAX(a2) : MAX(F6P) : MAX(b2) : MAX(Xu5P) : MAX(ADP) : MAX(R5P) : MAX(ADP) : MAX(a1) : MAX(FBP) : MAX(GSH) : MAX(ADP) : MAX(S7P) : MAX(Gluc) : MAX(Pi)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(R5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(R5P)
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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 610 markings, 609 edges
check_solution: Constraint R1 = 6.93076844827e-310 is below its lower bound 1
check_solution: Constraint R3 = 0 is above its equality of -10000
check_solution: Constraint R6 = 6.15378779518e-313 is above its equality of -40000
check_solution: Constraint R9 = 2.12199580776e-314 is above its equality of -200
check_solution: Constraint R11 = 1.06099789568e-313 is above its equality of -300
check_solution: Constraint R12 = 1.48539705397e-313 is above its equality of -20000
check_solution: Constraint R13 = 1.90979621226e-313 is above its equality of -700
check_solution: Constraint R23 = 6.15378779518e-313 is above its equality of -1
check_solution: Constraint R25 = 7.00258611177e-313 is above its equality of -20000

Seriously low accuracy found ||*|| = 40000 (rel. error 1)

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-0 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 232 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: Structural Bound: 4294967295
lola: 908 markings, 932 edges, 182 markings/sec, 25 secs
lola: 2952852 markings, 8888936 edges, 590389 markings/sec, 30 secs
lola: 5063526 markings, 17508246 edges, 422135 markings/sec, 35 secs
lola: 7070659 markings, 26450467 edges, 401427 markings/sec, 40 secs
lola: 8957353 markings, 35093651 edges, 377339 markings/sec, 45 secs
lola: 11404258 markings, 44195595 edges, 489381 markings/sec, 50 secs
lola: 13879417 markings, 52799028 edges, 495032 markings/sec, 55 secs
lola: 16278381 markings, 61117775 edges, 479793 markings/sec, 60 secs
lola: 18542560 markings, 68996231 edges, 452836 markings/sec, 65 secs
lola: 20861319 markings, 77045817 edges, 463752 markings/sec, 70 secs
lola: 23112144 markings, 84857416 edges, 450165 markings/sec, 75 secs
lola: 25320975 markings, 92544518 edges, 441766 markings/sec, 80 secs
lola: 27572028 markings, 100351056 edges, 450211 markings/sec, 85 secs
lola: 29706141 markings, 107785813 edges, 426823 markings/sec, 90 secs
lola: 31938170 markings, 115522490 edges, 446406 markings/sec, 95 secs
lola: 34140251 markings, 123162938 edges, 440416 markings/sec, 100 secs
lola: 36304191 markings, 130694638 edges, 432788 markings/sec, 105 secs
lola: 38521904 markings, 138383365 edges, 443543 markings/sec, 110 secs
lola: 40708547 markings, 145975059 edges, 437329 markings/sec, 115 secs
lola: 42906151 markings, 153617048 edges, 439521 markings/sec, 120 secs
lola: 45116821 markings, 161282214 edges, 442134 markings/sec, 125 secs
lola: 47264903 markings, 168741011 edges, 429616 markings/sec, 130 secs
lola: 49433325 markings, 176279220 edges, 433684 markings/sec, 135 secs
lola: 51619981 markings, 183860115 edges, 437331 markings/sec, 140 secs
lola: 53675034 markings, 190993478 edges, 411011 markings/sec, 145 secs
lola: 55737597 markings, 198163856 edges, 412513 markings/sec, 150 secs
lola: 57851946 markings, 205492892 edges, 422870 markings/sec, 155 secs
lola: 59962366 markings, 212814609 edges, 422084 markings/sec, 160 secs
lola: 62042519 markings, 220050189 edges, 416031 markings/sec, 165 secs
lola: 64182351 markings, 227466126 edges, 427966 markings/sec, 170 secs
lola: 66311893 markings, 234849430 edges, 425908 markings/sec, 175 secs
lola: 68402026 markings, 242101039 edges, 418027 markings/sec, 180 secs
lola: 70485179 markings, 249344712 edges, 416631 markings/sec, 185 secs
lola: 72639008 markings, 256808896 edges, 430766 markings/sec, 190 secs
lola: 74784183 markings, 264244814 edges, 429035 markings/sec, 195 secs
lola: 76908391 markings, 271609322 edges, 424842 markings/sec, 200 secs
lola: 79024210 markings, 278945687 edges, 423164 markings/sec, 205 secs
lola: 81141190 markings, 286291297 edges, 423396 markings/sec, 210 secs
lola: 83252530 markings, 293625423 edges, 422268 markings/sec, 215 secs
lola: 85396319 markings, 301054210 edges, 428758 markings/sec, 220 secs
lola: 87532076 markings, 308456016 edges, 427151 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3240252 KB
lola: time consumption: 317 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(a2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-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: 599 markings, 599 edges, 120 markings/sec, 25 secs
lola: 4069841 markings, 7910168 edges, 813848 markings/sec, 30 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: 5463926 markings, 10527855 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-2 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 247 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-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: 3122 markings, 5208 edges, 624 markings/sec, 25 secs
lola: 2413866 markings, 8414154 edges, 482149 markings/sec, 30 secs
lola: 4439623 markings, 16254841 edges, 405151 markings/sec, 35 secs
lola: 6006651 markings, 23078392 edges, 313406 markings/sec, 40 secs
lola: 7848572 markings, 30505538 edges, 368384 markings/sec, 45 secs
lola: 9904032 markings, 38131428 edges, 411092 markings/sec, 50 secs
lola: 11583924 markings, 45239181 edges, 335978 markings/sec, 55 secs
lola: 13020910 markings, 51739530 edges, 287397 markings/sec, 60 secs
lola: 14908345 markings, 58878060 edges, 377487 markings/sec, 65 secs
lola: 16967313 markings, 66503457 edges, 411794 markings/sec, 70 secs
lola: 18736707 markings, 73745195 edges, 353879 markings/sec, 75 secs
lola: 20288313 markings, 80442889 edges, 310321 markings/sec, 80 secs
lola: 21666181 markings, 86824969 edges, 275574 markings/sec, 85 secs
lola: 23881413 markings, 94559363 edges, 443046 markings/sec, 90 secs
lola: 25918722 markings, 102141433 edges, 407462 markings/sec, 95 secs
lola: 27777022 markings, 109499303 edges, 371660 markings/sec, 100 secs
lola: 29460007 markings, 116568530 edges, 336597 markings/sec, 105 secs
lola: 30811053 markings, 122603984 edges, 270209 markings/sec, 110 secs
lola: 32230333 markings, 129093565 edges, 283856 markings/sec, 115 secs
lola: 34578761 markings, 136884288 edges, 469686 markings/sec, 120 secs
lola: 36581618 markings, 144373387 edges, 400571 markings/sec, 125 secs
lola: 38500302 markings, 151684670 edges, 383737 markings/sec, 130 secs
lola: 40187693 markings, 158737189 edges, 337478 markings/sec, 135 secs
lola: 41779271 markings, 165461565 edges, 318316 markings/sec, 140 secs
lola: 43089626 markings, 171425226 edges, 262071 markings/sec, 145 secs
lola: 44697284 markings, 178093598 edges, 321532 markings/sec, 150 secs
lola: 46989157 markings, 185774178 edges, 458375 markings/sec, 155 secs
lola: 48978055 markings, 193130830 edges, 397780 markings/sec, 160 secs
lola: 50877244 markings, 200411764 edges, 379838 markings/sec, 165 secs
lola: 52691350 markings, 207687669 edges, 362821 markings/sec, 170 secs
lola: 54300247 markings, 214516670 edges, 321779 markings/sec, 175 secs
lola: 55842581 markings, 221143307 edges, 308467 markings/sec, 180 secs
lola: 57171422 markings, 227138095 edges, 265768 markings/sec, 185 secs
lola: 58987761 markings, 234046088 edges, 363268 markings/sec, 190 secs
lola: 61234996 markings, 241675121 edges, 449447 markings/sec, 195 secs
lola: 63290198 markings, 249217864 edges, 411040 markings/sec, 200 secs
lola: 65162163 markings, 256448572 edges, 374393 markings/sec, 205 secs
lola: 67033551 markings, 263680482 edges, 374278 markings/sec, 210 secs
lola: 68668994 markings, 270534341 edges, 327089 markings/sec, 215 secs
lola: 70267738 markings, 277522288 edges, 319749 markings/sec, 220 secs
lola: 71737999 markings, 283840814 edges, 294052 markings/sec, 225 secs
lola: 73057495 markings, 289913014 edges, 263899 markings/sec, 230 secs
lola: 75195850 markings, 297423355 edges, 427671 markings/sec, 235 secs
lola: 77416741 markings, 304954762 edges, 444178 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2807108 KB
lola: time consumption: 601 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 247 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(b2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(b2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-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: 300
lola: SUBRESULT
lola: result: 300
lola: produced by: state space
lola: The maximum value of the given expression is 300
lola: 4 markings, 3 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-4 300 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 269 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-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: 3926690 markings, 7633846 edges, 785338 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: 5463926 markings, 10527855 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-5 396 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 296 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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 2549602 markings, 8678924 edges, 509920 markings/sec, 30 secs
lola: 4605954 markings, 16717628 edges, 411270 markings/sec, 35 secs
lola: 6619701 markings, 24582956 edges, 402749 markings/sec, 40 secs
lola: 8621212 markings, 32397512 edges, 400302 markings/sec, 45 secs
lola: 10611175 markings, 40152552 edges, 397993 markings/sec, 50 secs
lola: 12594949 markings, 47893289 edges, 396755 markings/sec, 55 secs
lola: 14583830 markings, 55664737 edges, 397776 markings/sec, 60 secs
lola: 16567944 markings, 63409181 edges, 396823 markings/sec, 65 secs
lola: 18552606 markings, 71164935 edges, 396932 markings/sec, 70 secs
lola: 20545502 markings, 78950497 edges, 398579 markings/sec, 75 secs
lola: 22563484 markings, 86693894 edges, 403596 markings/sec, 80 secs
lola: 24579511 markings, 94411253 edges, 403205 markings/sec, 85 secs
lola: 26568465 markings, 102086089 edges, 397791 markings/sec, 90 secs
lola: 28529100 markings, 109724156 edges, 392127 markings/sec, 95 secs
lola: 30493348 markings, 117363704 edges, 392850 markings/sec, 100 secs
lola: 32454204 markings, 125010983 edges, 392171 markings/sec, 105 secs
lola: 34399087 markings, 132617781 edges, 388977 markings/sec, 110 secs
lola: 36332456 markings, 140177649 edges, 386674 markings/sec, 115 secs
lola: 38261550 markings, 147694193 edges, 385819 markings/sec, 120 secs
lola: 40179298 markings, 155184222 edges, 383550 markings/sec, 125 secs
lola: 42111970 markings, 162748079 edges, 386534 markings/sec, 130 secs
lola: 44057101 markings, 170349215 edges, 389026 markings/sec, 135 secs
lola: 46015679 markings, 177894671 edges, 391716 markings/sec, 140 secs
lola: 47988144 markings, 185476070 edges, 394493 markings/sec, 145 secs
lola: 49950181 markings, 193118933 edges, 392407 markings/sec, 150 secs
lola: 51908654 markings, 200784012 edges, 391695 markings/sec, 155 secs
lola: 53855337 markings, 208415938 edges, 389337 markings/sec, 160 secs
lola: 55796128 markings, 216044472 edges, 388158 markings/sec, 165 secs
lola: 57729771 markings, 223640017 edges, 386729 markings/sec, 170 secs
lola: 59662742 markings, 231234679 edges, 386594 markings/sec, 175 secs
lola: 61655367 markings, 238769830 edges, 398525 markings/sec, 180 secs
lola: 63610415 markings, 246316346 edges, 391010 markings/sec, 185 secs
lola: 65537255 markings, 253844562 edges, 385368 markings/sec, 190 secs
lola: 67457286 markings, 261387924 edges, 384006 markings/sec, 195 secs
lola: 69386867 markings, 268957588 edges, 385916 markings/sec, 200 secs
lola: 71371950 markings, 276515105 edges, 397017 markings/sec, 205 secs
lola: 73320758 markings, 284125598 edges, 389762 markings/sec, 210 secs
lola: 75245789 markings, 291695596 edges, 385006 markings/sec, 215 secs
lola: 77151295 markings, 299204117 edges, 381101 markings/sec, 220 secs
lola: 79022765 markings, 306564630 edges, 374294 markings/sec, 225 secs
lola: 80973114 markings, 313967561 edges, 390070 markings/sec, 230 secs
lola: 82856798 markings, 321228547 edges, 376737 markings/sec, 235 secs
lola: 84736996 markings, 328594814 edges, 376040 markings/sec, 240 secs
lola: 86597527 markings, 335886331 edges, 372106 markings/sec, 245 secs
lola: 88466098 markings, 343152965 edges, 373714 markings/sec, 250 secs
lola: 90389659 markings, 350518387 edges, 384712 markings/sec, 255 secs
lola: 92251841 markings, 357830537 edges, 372436 markings/sec, 260 secs
lola: 94117290 markings, 365175948 edges, 373090 markings/sec, 265 secs
lola: 95965614 markings, 372466986 edges, 369665 markings/sec, 270 secs
lola: 97853115 markings, 379694288 edges, 377500 markings/sec, 275 secs
lola: 99736310 markings, 386896438 edges, 376639 markings/sec, 280 secs
lola: 101592571 markings, 394202326 edges, 371252 markings/sec, 285 secs
lola: 103447051 markings, 401461072 edges, 370896 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3789112 KB
lola: time consumption: 904 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(R5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(R5P)
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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 610 markings, 609 edges
lola:
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-7 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 8 will run for 333 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: 666 markings, 666 edges, 133 markings/sec, 25 secs
lola: 2570893 markings, 8766497 edges, 514045 markings/sec, 30 secs
lola: 4650737 markings, 16919569 edges, 415969 markings/sec, 35 secs
lola: 6685481 markings, 24866609 edges, 406949 markings/sec, 40 secs
lola: 8693889 markings, 32715837 edges, 401682 markings/sec, 45 secs
lola: 10690513 markings, 40510293 edges, 399325 markings/sec, 50 secs
lola: 12679515 markings, 48272570 edges, 397800 markings/sec, 55 secs
lola: 14674965 markings, 56064622 edges, 399090 markings/sec, 60 secs
lola: 16669265 markings, 63854192 edges, 398860 markings/sec, 65 secs
lola: 18678104 markings, 71597973 edges, 401768 markings/sec, 70 secs
lola: 20691826 markings, 79331717 edges, 402744 markings/sec, 75 secs
lola: 22706134 markings, 87050540 edges, 402862 markings/sec, 80 secs
lola: 24680796 markings, 94712025 edges, 394932 markings/sec, 85 secs
lola: 26631538 markings, 102350739 edges, 390148 markings/sec, 90 secs
lola: 28584602 markings, 109938086 edges, 390613 markings/sec, 95 secs
lola: 30533158 markings, 117530603 edges, 389711 markings/sec, 100 secs
lola: 32466377 markings, 125083538 edges, 386644 markings/sec, 105 secs
lola: 34402321 markings, 132627572 edges, 387189 markings/sec, 110 secs
lola: 36334441 markings, 140188954 edges, 386424 markings/sec, 115 secs
lola: 38267191 markings, 147729099 edges, 386550 markings/sec, 120 secs
lola: 40196836 markings, 155268817 edges, 385929 markings/sec, 125 secs
lola: 42127829 markings, 162805838 edges, 386199 markings/sec, 130 secs
lola: 44061335 markings, 170369990 edges, 386701 markings/sec, 135 secs
lola: 46004607 markings, 177862572 edges, 388654 markings/sec, 140 secs
lola: 47974129 markings, 185417438 edges, 393904 markings/sec, 145 secs
lola: 49918527 markings, 192985747 edges, 388880 markings/sec, 150 secs
lola: 51852196 markings, 200545165 edges, 386734 markings/sec, 155 secs
lola: 53777796 markings, 208092713 edges, 385120 markings/sec, 160 secs
lola: 55703056 markings, 215632753 edges, 385052 markings/sec, 165 secs
lola: 57622954 markings, 223170310 edges, 383980 markings/sec, 170 secs
lola: 59547012 markings, 230725467 edges, 384812 markings/sec, 175 secs
lola: 61482408 markings, 238326045 edges, 387079 markings/sec, 180 secs
lola: 63348340 markings, 245489298 edges, 373186 markings/sec, 185 secs
lola: 65329935 markings, 252982625 edges, 396319 markings/sec, 190 secs
lola: 67261418 markings, 260565714 edges, 386297 markings/sec, 195 secs
lola: 69188688 markings, 268114861 edges, 385454 markings/sec, 200 secs
lola: 71097286 markings, 275604184 edges, 381720 markings/sec, 205 secs
lola: 73032390 markings, 283000534 edges, 387021 markings/sec, 210 secs
lola: 74969506 markings, 290513346 edges, 387423 markings/sec, 215 secs
lola: 76878081 markings, 298004868 edges, 381715 markings/sec, 220 secs
lola: 78780173 markings, 305487300 edges, 380418 markings/sec, 225 secs
lola: 80675603 markings, 312956971 edges, 379086 markings/sec, 230 secs
lola: 82623995 markings, 320486250 edges, 389678 markings/sec, 235 secs
lola: 84600589 markings, 327987188 edges, 395319 markings/sec, 240 secs
lola: 86512471 markings, 335541920 edges, 382376 markings/sec, 245 secs
lola: 88421389 markings, 343036168 edges, 381784 markings/sec, 250 secs
lola: 90383317 markings, 350491990 edges, 392386 markings/sec, 255 secs
lola: 92284840 markings, 357972777 edges, 380305 markings/sec, 260 secs
lola: 94176074 markings, 365444526 edges, 378247 markings/sec, 265 secs
lola: 96065508 markings, 372903327 edges, 377887 markings/sec, 270 secs
lola: 98056906 markings, 380362689 edges, 398280 markings/sec, 275 secs
lola: 99958382 markings, 387851461 edges, 380295 markings/sec, 280 secs
lola: 101896157 markings, 395313881 edges, 387555 markings/sec, 285 secs
lola: 103843372 markings, 402916645 edges, 389443 markings/sec, 290 secs
lola: 105730791 markings, 410393724 edges, 377484 markings/sec, 295 secs
lola: 107654464 markings, 417884060 edges, 384735 markings/sec, 300 secs
lola: 109600147 markings, 425329189 edges, 389137 markings/sec, 305 secs
lola: 111488560 markings, 432771719 edges, 377683 markings/sec, 310 secs
lola: 113448161 markings, 440246937 edges, 391920 markings/sec, 315 secs
lola: 115339824 markings, 447734287 edges, 378333 markings/sec, 320 secs
lola: 117154309 markings, 454915613 edges, 362897 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4314480 KB
lola: time consumption: 1238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 333 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
lola:
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-9 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 388 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-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: Structural Bound: 4
lola: 2579936 markings, 8184660 edges, 515987 markings/sec, 15 secs
lola: 4726593 markings, 15716451 edges, 429331 markings/sec, 20 secs
lola: 6735304 markings, 23246021 edges, 401742 markings/sec, 25 secs
lola: 9017854 markings, 30385616 edges, 456510 markings/sec, 30 secs
lola: 10753211 markings, 37413025 edges, 347071 markings/sec, 35 secs
lola: 12747447 markings, 44670272 edges, 398847 markings/sec, 40 secs
lola: 14994614 markings, 51811637 edges, 449433 markings/sec, 45 secs
lola: 16939437 markings, 58430619 edges, 388965 markings/sec, 50 secs
lola: 18627416 markings, 65313290 edges, 337596 markings/sec, 55 secs
lola: 20639550 markings, 72531011 edges, 402427 markings/sec, 60 secs
lola: 22831089 markings, 79554757 edges, 438308 markings/sec, 65 secs
lola: 24967792 markings, 86236385 edges, 427341 markings/sec, 70 secs
lola: 26666198 markings, 92795114 edges, 339681 markings/sec, 75 secs
lola: 28352912 markings, 99643625 edges, 337343 markings/sec, 80 secs
lola: 30401088 markings, 106826922 edges, 409635 markings/sec, 85 secs
lola: 32562362 markings, 113767182 edges, 432255 markings/sec, 90 secs
lola: 34708351 markings, 120619189 edges, 429198 markings/sec, 95 secs
lola: 36656844 markings, 126977593 edges, 389699 markings/sec, 100 secs
lola: 38238700 markings, 133497538 edges, 316371 markings/sec, 105 secs
lola: 39902006 markings, 140266378 edges, 332661 markings/sec, 110 secs
lola: 42005917 markings, 147432430 edges, 420782 markings/sec, 115 secs
lola: 44153760 markings, 154327397 edges, 429569 markings/sec, 120 secs
lola: 46274244 markings, 161135514 edges, 424097 markings/sec, 125 secs
lola: 48349886 markings, 167654432 edges, 415128 markings/sec, 130 secs
lola: 50106069 markings, 174022054 edges, 351237 markings/sec, 135 secs
lola: 51698014 markings, 180581975 edges, 318389 markings/sec, 140 secs
lola: 53290848 markings, 187240761 edges, 318567 markings/sec, 145 secs
lola: 55479368 markings, 194430177 edges, 437704 markings/sec, 150 secs
lola: 57607448 markings, 201269024 edges, 425616 markings/sec, 155 secs
lola: 59715383 markings, 208038440 edges, 421587 markings/sec, 160 secs
lola: 61827211 markings, 214774583 edges, 422366 markings/sec, 165 secs
lola: 63796419 markings, 220937982 edges, 393842 markings/sec, 170 secs
lola: 65343303 markings, 227300354 edges, 309377 markings/sec, 175 secs
lola: 66970943 markings, 233911174 edges, 325528 markings/sec, 180 secs
lola: 68499214 markings, 240449301 edges, 305654 markings/sec, 185 secs
lola: 70744491 markings, 247599461 edges, 449055 markings/sec, 190 secs
lola: 72848876 markings, 254357230 edges, 420877 markings/sec, 195 secs
lola: 74936854 markings, 261061841 edges, 417596 markings/sec, 200 secs
lola: 77030532 markings, 267782120 edges, 418736 markings/sec, 205 secs
lola: 79058920 markings, 274156163 edges, 405678 markings/sec, 210 secs
lola: 80861970 markings, 280382649 edges, 360610 markings/sec, 215 secs
lola: 82368052 markings, 286658036 edges, 301216 markings/sec, 220 secs
lola: 83991296 markings, 293289249 edges, 324649 markings/sec, 225 secs
lola: 85559853 markings, 299900002 edges, 313711 markings/sec, 230 secs
lola: 87827527 markings, 306985907 edges, 453535 markings/sec, 235 secs
lola: 89888548 markings, 313590889 edges, 412204 markings/sec, 240 secs
lola: 91928281 markings, 320139741 edges, 407947 markings/sec, 245 secs
lola: 93956434 markings, 326657867 edges, 405631 markings/sec, 250 secs
lola: 96018564 markings, 333222513 edges, 412426 markings/sec, 255 secs
lola: 97959227 markings, 339322178 edges, 388133 markings/sec, 260 secs
lola: 99581151 markings, 345502198 edges, 324385 markings/sec, 265 secs
lola: 101020163 markings, 351497973 edges, 287802 markings/sec, 270 secs
lola: 102585610 markings, 357879084 edges, 313089 markings/sec, 275 secs
lola: 104068982 markings, 364201032 edges, 296674 markings/sec, 280 secs
lola: 106308849 markings, 371231520 edges, 447973 markings/sec, 285 secs
lola: 108386153 markings, 377901994 edges, 415461 markings/sec, 290 secs
lola: 110456124 markings, 384547964 edges, 413994 markings/sec, 295 secs
lola: 112530999 markings, 391210380 edges, 414975 markings/sec, 300 secs
lola: 114626316 markings, 397938137 edges, 419063 markings/sec, 305 secs
lola: 116639502 markings, 404284008 edges, 402637 markings/sec, 310 secs
lola: 118549539 markings, 410344114 edges, 382007 markings/sec, 315 secs
lola: 120079366 markings, 416689074 edges, 305965 markings/sec, 320 secs
lola: 121563342 markings, 422906892 edges, 296795 markings/sec, 325 secs
lola: 123173771 markings, 429488199 edges, 322086 markings/sec, 330 secs
lola: 124849331 markings, 436270219 edges, 335112 markings/sec, 335 secs
lola: 127093498 markings, 443274181 edges, 448833 markings/sec, 340 secs
lola: 129174076 markings, 449954633 edges, 416116 markings/sec, 345 secs
lola: 131212526 markings, 456499915 edges, 407690 markings/sec, 350 secs
lola: 133246432 markings, 463029240 edges, 406781 markings/sec, 355 secs
lola: 135309518 markings, 469653508 edges, 412617 markings/sec, 360 secs
lola: 137370551 markings, 476197649 edges, 412207 markings/sec, 365 secs
lola: 139300491 markings, 482282359 edges, 385988 markings/sec, 370 secs
lola: 141025820 markings, 488451516 edges, 345066 markings/sec, 375 secs
lola: 142510866 markings, 494666878 edges, 297009 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5124704 KB
lola: time consumption: 1626 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 388 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GSH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GSH)
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: Structural Bound: 1608
lola: 1967833 markings, 3227364 edges, 393567 markings/sec, 20 secs
lola: 6028538 markings, 10313855 edges, 812141 markings/sec, 25 secs
lola: 9723612 markings, 16836281 edges, 739015 markings/sec, 30 secs
lola: 13447605 markings, 23476523 edges, 744799 markings/sec, 35 secs
lola: 16886152 markings, 29657334 edges, 687709 markings/sec, 40 secs
lola: 20485224 markings, 36025324 edges, 719814 markings/sec, 45 secs
lola: 24024860 markings, 42355381 edges, 707927 markings/sec, 50 secs
lola: 27437940 markings, 48482134 edges, 682616 markings/sec, 55 secs
lola: 31065748 markings, 55039793 edges, 725562 markings/sec, 60 secs
lola: 34442912 markings, 61194174 edges, 675433 markings/sec, 65 secs
lola: 38165160 markings, 67847918 edges, 744450 markings/sec, 70 secs
lola: 41545888 markings, 73917075 edges, 676146 markings/sec, 75 secs
lola: 45388041 markings, 80756628 edges, 768431 markings/sec, 80 secs
lola: 49007049 markings, 87241112 edges, 723802 markings/sec, 85 secs
lola: 52707439 markings, 93846185 edges, 740078 markings/sec, 90 secs
lola: 56359480 markings, 100389099 edges, 730408 markings/sec, 95 secs
lola: 59938527 markings, 106820369 edges, 715809 markings/sec, 100 secs
lola: 63618100 markings, 113464181 edges, 735915 markings/sec, 105 secs
lola: 67008032 markings, 119630437 edges, 677986 markings/sec, 110 secs
lola: 70766178 markings, 126377908 edges, 751629 markings/sec, 115 secs
lola: 74258721 markings, 132675230 edges, 698509 markings/sec, 120 secs
lola: 78029235 markings, 139365771 edges, 754103 markings/sec, 125 secs
lola: 81529037 markings, 145644825 edges, 699960 markings/sec, 130 secs
lola: 85189197 markings, 152165644 edges, 732032 markings/sec, 135 secs
lola: 88802917 markings, 158617498 edges, 722744 markings/sec, 140 secs
lola: 92398644 markings, 165084795 edges, 719145 markings/sec, 145 secs
lola: 96038554 markings, 171598838 edges, 727982 markings/sec, 150 secs
lola: 99414752 markings, 177755101 edges, 675240 markings/sec, 155 secs
lola: 103222396 markings, 184620743 edges, 761529 markings/sec, 160 secs
lola: 106691324 markings, 190902358 edges, 693786 markings/sec, 165 secs
lola: 110449614 markings, 197585741 edges, 751658 markings/sec, 170 secs
lola: 113933268 markings, 203859031 edges, 696731 markings/sec, 175 secs
lola: 117687480 markings, 210525371 edges, 750842 markings/sec, 180 secs
lola: 121200568 markings, 216847238 edges, 702618 markings/sec, 185 secs
lola: 124844552 markings, 223340578 edges, 728797 markings/sec, 190 secs
lola: 128396968 markings, 229660657 edges, 710483 markings/sec, 195 secs
lola: 131906348 markings, 235992310 edges, 701876 markings/sec, 200 secs
lola: 135527884 markings, 242484903 edges, 724307 markings/sec, 205 secs
lola: 138903816 markings, 248627129 edges, 675186 markings/sec, 210 secs
lola: 142580096 markings, 255265971 edges, 735256 markings/sec, 215 secs
lola: 145935042 markings, 261348107 edges, 670989 markings/sec, 220 secs
lola: 149633828 markings, 267898009 edges, 739757 markings/sec, 225 secs
lola: 153068422 markings, 274075989 edges, 686919 markings/sec, 230 secs
lola: 156735952 markings, 280604103 edges, 733506 markings/sec, 235 secs
lola: 160203144 markings, 286814114 edges, 693438 markings/sec, 240 secs
lola: 163801516 markings, 293249233 edges, 719674 markings/sec, 245 secs
lola: 167422612 markings, 299710020 edges, 724219 markings/sec, 250 secs
lola: 171028219 markings, 306204688 edges, 721121 markings/sec, 255 secs
lola: 174701387 markings, 312753269 edges, 734634 markings/sec, 260 secs
lola: 178212418 markings, 319119637 edges, 702206 markings/sec, 265 secs
lola: 181896035 markings, 325735234 edges, 736723 markings/sec, 270 secs
lola: 185306178 markings, 331916666 edges, 682029 markings/sec, 275 secs
lola: 189021803 markings, 338609553 edges, 743125 markings/sec, 280 secs
lola: 192414432 markings, 344742244 edges, 678526 markings/sec, 285 secs
lola: 196148512 markings, 351388075 edges, 746816 markings/sec, 290 secs
lola: 199594724 markings, 357612672 edges, 689242 markings/sec, 295 secs
lola: 203303698 markings, 364204747 edges, 741795 markings/sec, 300 secs
lola: 206758314 markings, 370416184 edges, 690923 markings/sec, 305 secs
lola: 210428760 markings, 376960827 edges, 734089 markings/sec, 310 secs
lola: 213923276 markings, 383239645 edges, 698903 markings/sec, 315 secs
lola: 217519964 markings, 389657124 edges, 719338 markings/sec, 320 secs
lola: 221046676 markings, 395954283 edges, 705342 markings/sec, 325 secs
lola: 224593344 markings, 402330862 edges, 709334 markings/sec, 330 secs
lola: 228203937 markings, 408807453 edges, 722119 markings/sec, 335 secs
lola: 231756836 markings, 415185272 edges, 710580 markings/sec, 340 secs
lola: 235376208 markings, 421658219 edges, 723874 markings/sec, 345 secs
lola: 238802196 markings, 427860331 edges, 685198 markings/sec, 350 secs
lola: 242448152 markings, 434413057 edges, 729191 markings/sec, 355 secs
lola: 245819668 markings, 440509611 edges, 674303 markings/sec, 360 secs
lola: 249472324 markings, 447084371 edges, 730531 markings/sec, 365 secs
lola: 252821683 markings, 453129701 edges, 669872 markings/sec, 370 secs
lola: 256466340 markings, 459631711 edges, 728931 markings/sec, 375 secs
lola: 259858836 markings, 465767986 edges, 678499 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown 200 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 388 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: 549 markings, 549 edges, 110 markings/sec, 25 secs
lola: 2131163 markings, 6882137 edges, 426123 markings/sec, 30 secs
lola: 4224604 markings, 15059053 edges, 418688 markings/sec, 35 secs
lola: 6264798 markings, 23024148 edges, 408039 markings/sec, 40 secs
lola: 8280407 markings, 30890119 edges, 403122 markings/sec, 45 secs
lola: 10268047 markings, 38641129 edges, 397528 markings/sec, 50 secs
lola: 12245989 markings, 46358946 edges, 395588 markings/sec, 55 secs
lola: 14213417 markings, 54034247 edges, 393486 markings/sec, 60 secs
lola: 16182817 markings, 61711010 edges, 393880 markings/sec, 65 secs
lola: 18141188 markings, 69341811 edges, 391674 markings/sec, 70 secs
lola: 20090150 markings, 76935828 edges, 389792 markings/sec, 75 secs
lola: 22046576 markings, 84564757 edges, 391285 markings/sec, 80 secs
lola: 23992994 markings, 92161368 edges, 389284 markings/sec, 85 secs
lola: 25938516 markings, 99761386 edges, 389104 markings/sec, 90 secs
lola: 27885405 markings, 107357706 edges, 389378 markings/sec, 95 secs
lola: 29825966 markings, 114935041 edges, 388112 markings/sec, 100 secs
lola: 31745427 markings, 122427010 edges, 383892 markings/sec, 105 secs
lola: 33632756 markings, 129775169 edges, 377466 markings/sec, 110 secs
lola: 35543010 markings, 137226911 edges, 382051 markings/sec, 115 secs
lola: 37448110 markings, 144654402 edges, 381020 markings/sec, 120 secs
lola: 39364684 markings, 152142289 edges, 383315 markings/sec, 125 secs
lola: 41245763 markings, 159477251 edges, 376216 markings/sec, 130 secs
lola: 43133707 markings, 166841229 edges, 377589 markings/sec, 135 secs
lola: 45027013 markings, 174238830 edges, 378661 markings/sec, 140 secs
lola: 46918396 markings, 181622186 edges, 378277 markings/sec, 145 secs
lola: 48839435 markings, 189047214 edges, 384208 markings/sec, 150 secs
lola: 50753653 markings, 196389672 edges, 382844 markings/sec, 155 secs
lola: 52662852 markings, 203704872 edges, 381840 markings/sec, 160 secs
lola: 54683673 markings, 211557475 edges, 404164 markings/sec, 165 secs
lola: 56671678 markings, 219395838 edges, 397601 markings/sec, 170 secs
lola: 58664343 markings, 227213955 edges, 398533 markings/sec, 175 secs
lola: 60716604 markings, 235036975 edges, 410452 markings/sec, 180 secs
lola: 62748875 markings, 242986210 edges, 406454 markings/sec, 185 secs
lola: 64760067 markings, 250926514 edges, 402238 markings/sec, 190 secs
lola: 66765794 markings, 258863810 edges, 401145 markings/sec, 195 secs
lola: 68863099 markings, 266738310 edges, 419461 markings/sec, 200 secs
lola: 70873707 markings, 274646841 edges, 402122 markings/sec, 205 secs
lola: 72881541 markings, 282557180 edges, 401567 markings/sec, 210 secs
lola: 74865778 markings, 290112938 edges, 396847 markings/sec, 215 secs
lola: 76812948 markings, 297718407 edges, 389434 markings/sec, 220 secs
lola: 78715702 markings, 305198217 edges, 380551 markings/sec, 225 secs
lola: 80613280 markings, 312677755 edges, 379516 markings/sec, 230 secs
lola: 82584395 markings, 320386078 edges, 394223 markings/sec, 235 secs
lola: 84621913 markings, 328098206 edges, 407504 markings/sec, 240 secs
lola: 86603402 markings, 335922478 edges, 396298 markings/sec, 245 secs
lola: 88649063 markings, 343746514 edges, 409132 markings/sec, 250 secs
lola: 90665685 markings, 351695122 edges, 403324 markings/sec, 255 secs
lola: 92535946 markings, 359073846 edges, 374052 markings/sec, 260 secs
lola: 94602205 markings, 366930722 edges, 413252 markings/sec, 265 secs
lola: 96594456 markings, 374751885 edges, 398450 markings/sec, 270 secs
lola: 98629683 markings, 382581387 edges, 407045 markings/sec, 275 secs
lola: 100654449 markings, 390549586 edges, 404953 markings/sec, 280 secs
lola: 102638101 markings, 398454226 edges, 396730 markings/sec, 285 secs
lola: 104708979 markings, 406286470 edges, 414176 markings/sec, 290 secs
lola: 106693881 markings, 414113916 edges, 396980 markings/sec, 295 secs
lola: 108752072 markings, 422034809 edges, 411638 markings/sec, 300 secs
lola: 110734548 markings, 429936123 edges, 396495 markings/sec, 305 secs
lola: 112796706 markings, 437747950 edges, 412432 markings/sec, 310 secs
lola: 114795843 markings, 445564098 edges, 399827 markings/sec, 315 secs
lola: 116836095 markings, 453501914 edges, 408050 markings/sec, 320 secs
lola: 118821643 markings, 461365743 edges, 397110 markings/sec, 325 secs
lola: 120863297 markings, 469180244 edges, 408331 markings/sec, 330 secs
lola: 122905694 markings, 477026556 edges, 408479 markings/sec, 335 secs
lola: 124892304 markings, 484948633 edges, 397322 markings/sec, 340 secs
lola: 126953918 markings, 492799126 edges, 412323 markings/sec, 345 secs
lola: 128973715 markings, 500621809 edges, 403959 markings/sec, 350 secs
lola: 130980980 markings, 508590276 edges, 401453 markings/sec, 355 secs
lola: 133039699 markings, 516432781 edges, 411744 markings/sec, 360 secs
lola: 135056099 markings, 524280419 edges, 403280 markings/sec, 365 secs
lola: 137063952 markings, 532248616 edges, 401571 markings/sec, 370 secs
lola: 139119133 markings, 540105617 edges, 411036 markings/sec, 375 secs
lola: 141150277 markings, 547959841 edges, 406229 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown 200 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5186124 KB
lola: time consumption: 2403 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 389 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: 308 markings, 307 edges, 62 markings/sec, 25 secs
lola: 5386678 markings, 7921105 edges, 1077274 markings/sec, 30 secs
lola: 12548154 markings, 15176531 edges, 1432295 markings/sec, 35 secs
lola: 19562837 markings, 22302968 edges, 1402937 markings/sec, 40 secs
lola: 26696470 markings, 29544889 edges, 1426727 markings/sec, 45 secs
lola: 33131616 markings, 36057987 edges, 1287029 markings/sec, 50 secs
lola: 39024126 markings, 42022176 edges, 1178502 markings/sec, 55 secs
lola: 44858225 markings, 47927355 edges, 1166820 markings/sec, 60 secs
lola: 50582071 markings, 53721221 edges, 1144769 markings/sec, 65 secs
lola: 56321321 markings, 59530773 edges, 1147850 markings/sec, 70 secs
lola: 62079484 markings, 65359701 edges, 1151633 markings/sec, 75 secs
lola: 67828181 markings, 71179234 edges, 1149739 markings/sec, 80 secs
lola: 73523326 markings, 76944733 edges, 1139029 markings/sec, 85 secs
lola: 79078821 markings, 82569023 edges, 1111099 markings/sec, 90 secs
lola: 84374775 markings, 87930699 edges, 1059191 markings/sec, 95 secs
lola: 90043954 markings, 93670464 edges, 1133836 markings/sec, 100 secs
lola: 95693021 markings, 99390124 edges, 1129813 markings/sec, 105 secs
lola: 101246944 markings, 105013618 edges, 1110785 markings/sec, 110 secs
lola: 106776593 markings, 110612716 edges, 1105930 markings/sec, 115 secs
lola: 112270419 markings, 116175714 edges, 1098765 markings/sec, 120 secs
lola: 117790713 markings, 121765816 edges, 1104059 markings/sec, 125 secs
lola: 123392360 markings, 127438387 edges, 1120329 markings/sec, 130 secs
lola: 128989955 markings, 133107226 edges, 1119519 markings/sec, 135 secs
lola: 134568886 markings, 138757252 edges, 1115786 markings/sec, 140 secs
lola: 140122308 markings, 144381763 edges, 1110684 markings/sec, 145 secs
lola: 145692061 markings, 150023018 edges, 1113951 markings/sec, 150 secs
lola: 151207754 markings, 155609686 edges, 1103139 markings/sec, 155 secs
lola: 156737323 markings, 161210712 edges, 1105914 markings/sec, 160 secs
lola: 162317975 markings, 166863711 edges, 1116130 markings/sec, 165 secs
lola: 167939655 markings, 172558529 edges, 1124336 markings/sec, 170 secs
lola: 173494276 markings, 178185668 edges, 1110924 markings/sec, 175 secs
lola: 179078241 markings, 183842816 edges, 1116793 markings/sec, 180 secs
lola: 184493433 markings, 189329263 edges, 1083038 markings/sec, 185 secs
lola: 190123421 markings, 195033586 edges, 1125998 markings/sec, 190 secs
lola: 195726886 markings, 200711262 edges, 1120693 markings/sec, 195 secs
lola: 201153289 markings, 206209896 edges, 1085281 markings/sec, 200 secs
lola: 206780174 markings, 211911962 edges, 1125377 markings/sec, 205 secs
lola: 212445406 markings, 217653208 edges, 1133046 markings/sec, 210 secs
lola: 218115479 markings, 223399656 edges, 1134015 markings/sec, 215 secs
lola: 223805705 markings, 229166926 edges, 1138045 markings/sec, 220 secs
lola: 229507194 markings, 234945952 edges, 1140298 markings/sec, 225 secs
lola: 235291484 markings, 240809246 edges, 1156858 markings/sec, 230 secs
lola: 241017512 markings, 246613864 edges, 1145206 markings/sec, 235 secs
lola: 246738318 markings, 252413662 edges, 1144161 markings/sec, 240 secs
lola: 252566323 markings, 258322504 edges, 1165601 markings/sec, 245 secs
lola: 258336347 markings, 264173010 edges, 1154005 markings/sec, 250 secs
lola: 264160323 markings, 270078705 edges, 1164795 markings/sec, 255 secs
lola: 269951427 markings, 275951485 edges, 1158221 markings/sec, 260 secs
lola: 275813418 markings, 281896723 edges, 1172398 markings/sec, 265 secs
lola: 281614968 markings, 287781195 edges, 1160310 markings/sec, 270 secs
lola: 287516646 markings, 293767718 edges, 1180336 markings/sec, 275 secs
lola: 293434789 markings, 299771649 edges, 1183629 markings/sec, 280 secs
lola: 299374378 markings, 305797977 edges, 1187918 markings/sec, 285 secs
lola: 305355142 markings, 311866767 edges, 1196153 markings/sec, 290 secs
lola: 311360756 markings, 317961502 edges, 1201123 markings/sec, 295 secs
lola: 317380173 markings, 324071101 edges, 1203883 markings/sec, 300 secs
lola: 323446282 markings, 330229051 edges, 1213222 markings/sec, 305 secs
lola: 329507340 markings, 336382816 edges, 1212212 markings/sec, 310 secs
lola: 335611456 markings, 342581503 edges, 1220823 markings/sec, 315 secs
lola: 341812340 markings, 348879762 edges, 1240177 markings/sec, 320 secs
lola: 348062911 markings, 355230101 edges, 1250114 markings/sec, 325 secs
lola: 354365937 markings, 361635777 edges, 1260605 markings/sec, 330 secs
lola: 360761850 markings, 368138722 edges, 1279183 markings/sec, 335 secs
lola: 367451812 markings, 374980375 edges, 1337992 markings/sec, 340 secs
lola: 374363435 markings, 381997928 edges, 1382325 markings/sec, 345 secs
lola: 380310550 markings, 388024712 edges, 1189423 markings/sec, 350 secs
lola: 386170158 markings, 393963516 edges, 1171922 markings/sec, 355 secs
lola: 391989949 markings, 399862694 edges, 1163958 markings/sec, 360 secs
lola: 397792676 markings, 405745319 edges, 1160545 markings/sec, 365 secs
lola: 403538125 markings, 411570658 edges, 1149090 markings/sec, 370 secs
lola: 409275752 markings, 417388892 edges, 1147525 markings/sec, 375 secs
lola: 415037207 markings, 423232204 edges, 1152291 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown 200 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 389 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
lola:
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 778 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pi)
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: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 2 markings, 1 edges

FORMULA GPPP-PT-C0100N0000010000-UpperBounds-15 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
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: Structural Bound: 4294967295
lola: 2601 markings, 3902 edges, 520 markings/sec, 25 secs
lola: 2982322 markings, 9008875 edges, 595944 markings/sec, 30 secs
lola: 5144336 markings, 17839015 edges, 432403 markings/sec, 35 secs
lola: 7182701 markings, 26963728 edges, 407673 markings/sec, 40 secs
lola: 9114154 markings, 35812593 edges, 386291 markings/sec, 45 secs
lola: 11658519 markings, 45077537 edges, 508873 markings/sec, 50 secs
lola: 14175213 markings, 53829083 edges, 503339 markings/sec, 55 secs
lola: 16612293 markings, 62280104 edges, 487416 markings/sec, 60 secs
lola: 18976161 markings, 70490673 edges, 472774 markings/sec, 65 secs
lola: 21310272 markings, 78609724 edges, 466822 markings/sec, 70 secs
lola: 23646771 markings, 86715281 edges, 467300 markings/sec, 75 secs
lola: 25914936 markings, 94615116 edges, 453633 markings/sec, 80 secs
lola: 28247386 markings, 102702147 edges, 466490 markings/sec, 85 secs
lola: 30536529 markings, 110646152 edges, 457829 markings/sec, 90 secs
lola: 32796027 markings, 118511486 edges, 451900 markings/sec, 95 secs
lola: 35089787 markings, 126464188 edges, 458752 markings/sec, 100 secs
lola: 37347183 markings, 134302299 edges, 451479 markings/sec, 105 secs
lola: 39604632 markings, 142153874 edges, 451490 markings/sec, 110 secs
lola: 41878997 markings, 150040042 edges, 454873 markings/sec, 115 secs
lola: 44123613 markings, 157833346 edges, 448923 markings/sec, 120 secs
lola: 46359904 markings, 165611190 edges, 447258 markings/sec, 125 secs
lola: 48616834 markings, 173436157 edges, 451386 markings/sec, 130 secs
lola: 50827141 markings, 181105089 edges, 442061 markings/sec, 135 secs
lola: 52969205 markings, 188558309 edges, 428413 markings/sec, 140 secs
lola: 55165783 markings, 196172528 edges, 439316 markings/sec, 145 secs
lola: 57316819 markings, 203632623 edges, 430207 markings/sec, 150 secs
lola: 59417531 markings, 210936434 edges, 420142 markings/sec, 155 secs
lola: 61590391 markings, 218475969 edges, 434572 markings/sec, 160 secs
lola: 63747897 markings, 225954824 edges, 431501 markings/sec, 165 secs
lola: 65881607 markings, 233354975 edges, 426742 markings/sec, 170 secs
lola: 67981401 markings, 240656987 edges, 419959 markings/sec, 175 secs
lola: 70144224 markings, 248156785 edges, 432565 markings/sec, 180 secs
lola: 72301226 markings, 255633021 edges, 431400 markings/sec, 185 secs
lola: 74440235 markings, 263048318 edges, 427802 markings/sec, 190 secs
lola: 76573884 markings, 270447991 edges, 426730 markings/sec, 195 secs
lola: 78695709 markings, 277810619 edges, 424365 markings/sec, 200 secs
lola: 80839806 markings, 285259329 edges, 428819 markings/sec, 205 secs
lola: 83000152 markings, 292746171 edges, 432069 markings/sec, 210 secs
lola: 85150631 markings, 300199620 edges, 430096 markings/sec, 215 secs
lola: 87285340 markings, 307596824 edges, 426942 markings/sec, 220 secs
lola: 89422218 markings, 315002689 edges, 427376 markings/sec, 225 secs
lola: 91574831 markings, 322463352 edges, 430523 markings/sec, 230 secs
lola: 93724703 markings, 329913638 edges, 429974 markings/sec, 235 secs
lola: 95876492 markings, 337370614 edges, 430358 markings/sec, 240 secs
lola: 98031676 markings, 344838377 edges, 431037 markings/sec, 245 secs
lola: 100186823 markings, 352307000 edges, 431029 markings/sec, 250 secs
lola: 102365275 markings, 359841849 edges, 435690 markings/sec, 255 secs
lola: 104554761 markings, 367419125 edges, 437897 markings/sec, 260 secs
lola: 106734863 markings, 374968918 edges, 436020 markings/sec, 265 secs
lola: 108909457 markings, 382503502 edges, 434919 markings/sec, 270 secs
lola: 111101465 markings, 390077325 edges, 438402 markings/sec, 275 secs
lola: 113293623 markings, 397666060 edges, 438432 markings/sec, 280 secs
lola: 115490965 markings, 405260605 edges, 439468 markings/sec, 285 secs
lola: 117700577 markings, 412907187 edges, 441922 markings/sec, 290 secs
lola: 119919501 markings, 420569831 edges, 443785 markings/sec, 295 secs
lola: 122138586 markings, 428234254 edges, 443817 markings/sec, 300 secs
lola: 124371493 markings, 435944795 edges, 446581 markings/sec, 305 secs
lola: 126615489 markings, 443690037 edges, 448799 markings/sec, 310 secs
lola: 128848548 markings, 451396839 edges, 446612 markings/sec, 315 secs
lola: 131093991 markings, 459129599 edges, 449089 markings/sec, 320 secs
lola: 133345915 markings, 466883727 edges, 450385 markings/sec, 325 secs
lola: 135604617 markings, 474655382 edges, 451740 markings/sec, 330 secs
lola: 137870039 markings, 482430963 edges, 453084 markings/sec, 335 secs
lola: 140160433 markings, 490267721 edges, 458079 markings/sec, 340 secs
lola: 142502768 markings, 498218089 edges, 468467 markings/sec, 345 secs
lola: 144664184 markings, 505754937 edges, 432283 markings/sec, 350 secs
lola: 146713607 markings, 512923390 edges, 409885 markings/sec, 355 secs
lola: 148823749 markings, 520394668 edges, 422028 markings/sec, 360 secs
lola: 150865797 markings, 527537357 edges, 408410 markings/sec, 365 secs
lola: 152956941 markings, 534942046 edges, 418229 markings/sec, 370 secs
lola: 154966148 markings, 541969892 edges, 401841 markings/sec, 375 secs
lola: 157050885 markings, 549351853 edges, 416947 markings/sec, 380 secs
lola: 159034900 markings, 556291716 edges, 396803 markings/sec, 385 secs
lola: 161155157 markings, 563797316 edges, 424051 markings/sec, 390 secs
lola: 163199178 markings, 570947326 edges, 408804 markings/sec, 395 secs
lola: 165381606 markings, 578669997 edges, 436486 markings/sec, 400 secs
lola: 167494411 markings, 586060495 edges, 422561 markings/sec, 405 secs
lola: 169668462 markings, 593753782 edges, 434810 markings/sec, 410 secs
lola: 171762296 markings, 601077847 edges, 418767 markings/sec, 415 secs
lola: 173906348 markings, 608666304 edges, 428810 markings/sec, 420 secs
lola: 176001148 markings, 615993521 edges, 418960 markings/sec, 425 secs
lola: 178148096 markings, 623591728 edges, 429390 markings/sec, 430 secs
lola: 180239194 markings, 630905963 edges, 418220 markings/sec, 435 secs
lola: 182376937 markings, 638471984 edges, 427549 markings/sec, 440 secs
lola: 184472166 markings, 645800571 edges, 419046 markings/sec, 445 secs
lola: 186586884 markings, 653285764 edges, 422944 markings/sec, 450 secs
lola: 188664163 markings, 660551473 edges, 415456 markings/sec, 455 secs
lola: 190750353 markings, 667936646 edges, 417238 markings/sec, 460 secs
lola: 192774671 markings, 675017292 edges, 404864 markings/sec, 465 secs
lola: 194881336 markings, 682473713 edges, 421333 markings/sec, 470 secs
lola: 196935722 markings, 689659712 edges, 410877 markings/sec, 475 secs
lola: 199076409 markings, 697234778 edges, 428137 markings/sec, 480 secs
lola: 201146123 markings, 704474289 edges, 413943 markings/sec, 485 secs
lola: 203247989 markings, 711913330 edges, 420373 markings/sec, 490 secs
lola: 205297668 markings, 719082850 edges, 409936 markings/sec, 495 secs
lola: 207410256 markings, 726558911 edges, 422518 markings/sec, 500 secs
lola: 209461132 markings, 733732837 edges, 410175 markings/sec, 505 secs
lola: 211571996 markings, 741202878 edges, 422173 markings/sec, 510 secs
lola: 213620507 markings, 748368103 edges, 409702 markings/sec, 515 secs
lola: 215730820 markings, 755835816 edges, 422063 markings/sec, 520 secs
lola: 217770762 markings, 762971401 edges, 407988 markings/sec, 525 secs
lola: 219862354 markings, 770373509 edges, 418318 markings/sec, 530 secs
lola: 221848256 markings, 777320007 edges, 397180 markings/sec, 535 secs
lola: 223923607 markings, 784664802 edges, 415070 markings/sec, 540 secs
lola: 225886696 markings, 791531858 edges, 392618 markings/sec, 545 secs
lola: 227990727 markings, 798976396 edges, 420806 markings/sec, 550 secs
lola: 229997588 markings, 805996531 edges, 401372 markings/sec, 555 secs
lola: 232138231 markings, 813568947 edges, 428129 markings/sec, 560 secs
lola: 234166579 markings, 820664286 edges, 405670 markings/sec, 565 secs
lola: 236326555 markings, 828304122 edges, 431995 markings/sec, 570 secs
lola: 238348377 markings, 835376616 edges, 404364 markings/sec, 575 secs
lola: 240458214 markings, 842840707 edges, 421967 markings/sec, 580 secs
lola: 242430608 markings, 849740484 edges, 394479 markings/sec, 585 secs
lola: 244528626 markings, 857162971 edges, 419604 markings/sec, 590 secs
lola: 246494938 markings, 864041491 edges, 393262 markings/sec, 595 secs
lola: 248606519 markings, 871510877 edges, 422316 markings/sec, 600 secs
lola: 250585770 markings, 878434985 edges, 395850 markings/sec, 605 secs
lola: 252696338 markings, 885900611 edges, 422114 markings/sec, 610 secs
lola: 254664122 markings, 892784214 edges, 393557 markings/sec, 615 secs
lola: 256762084 markings, 900205382 edges, 419592 markings/sec, 620 secs
lola: 258697747 markings, 906977028 edges, 387133 markings/sec, 625 secs
lola: 260760356 markings, 914274134 edges, 412522 markings/sec, 630 secs
lola: 262737200 markings, 921190037 edges, 395369 markings/sec, 635 secs
lola: 264808324 markings, 928516627 edges, 414225 markings/sec, 640 secs
lola: 266823583 markings, 935566853 edges, 403052 markings/sec, 645 secs
lola: 268914494 markings, 942890452 edges, 418182 markings/sec, 650 secs
lola: 270892082 markings, 949880919 edges, 395518 markings/sec, 655 secs
lola: 272955975 markings, 957097456 edges, 412779 markings/sec, 660 secs
lola: 274945935 markings, 964143162 edges, 397992 markings/sec, 665 secs
lola: 276988587 markings, 971286869 edges, 408530 markings/sec, 670 secs
lola: 278928278 markings, 978155324 edges, 387938 markings/sec, 675 secs
lola: 280926606 markings, 985144711 edges, 399666 markings/sec, 680 secs
lola: 282956339 markings, 992327179 edges, 405947 markings/sec, 685 secs
lola: 284925757 markings, 999215722 edges, 393884 markings/sec, 690 secs
lola: 286963934 markings, 1006426895 edges, 407635 markings/sec, 695 secs
lola: 288921799 markings, 1013275471 edges, 391573 markings/sec, 700 secs
lola: 290966411 markings, 1020508752 edges, 408922 markings/sec, 705 secs
lola: 292888151 markings, 1027231101 edges, 384348 markings/sec, 710 secs
lola: 294965046 markings, 1034576874 edges, 415379 markings/sec, 715 secs
lola: 296946476 markings, 1041508016 edges, 396286 markings/sec, 720 secs
lola: 299079693 markings, 1049050283 edges, 426643 markings/sec, 725 secs
lola: 301137001 markings, 1056247057 edges, 411462 markings/sec, 730 secs
lola: 303301160 markings, 1063897453 edges, 432832 markings/sec, 735 secs
lola: 305344563 markings, 1071045561 edges, 408681 markings/sec, 740 secs
lola: 307507003 markings, 1078689726 edges, 432488 markings/sec, 745 secs
lola: 309564186 markings, 1085885903 edges, 411437 markings/sec, 750 secs
lola: 311714247 markings, 1093486559 edges, 430012 markings/sec, 755 secs
lola: 313747191 markings, 1100597958 edges, 406589 markings/sec, 760 secs
lola: 315882773 markings, 1108147548 edges, 427116 markings/sec, 765 secs
lola: 317884241 markings, 1115149130 edges, 400294 markings/sec, 770 secs
lola: time limit reached - aborting
lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown 200 unknown unknown unknown unknown 400 700
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown 200 unknown unknown unknown unknown 400 700
preliminary result: 2 unknown 200 unknown 300 396 unknown 2 unknown 200 unknown unknown unknown unknown 400 700

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

BK_STOP 1526741193134

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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