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 184K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K 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 3.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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-C0100N0000000100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998300310
=====================================================================

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

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(b1) : MAX(R5P) : MAX(GSSG) : MAX(NADplus) : MAX(S7P) : MAX(F6P) : MAX(DHAP) : MAX(_2PG) : MAX(PEP) : MAX(a1) : MAX(GSH) : MAX(b2) : MAX(start) : MAX(ADP) : MAX(Lac) : MAX(FBP)
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

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

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-1 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 247 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
lola: ========================================

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

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-0 300 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 289 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-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5909382 markings, 8159224 edges, 1181876 markings/sec, 30 secs
lola: 12940782 markings, 15489715 edges, 1406280 markings/sec, 35 secs
lola: 20206289 markings, 22818374 edges, 1453101 markings/sec, 40 secs
lola: 27350457 markings, 30042896 edges, 1428834 markings/sec, 45 secs
lola: 34233999 markings, 37012905 edges, 1376708 markings/sec, 50 secs
lola: 41287081 markings, 44172180 edges, 1410616 markings/sec, 55 secs
lola: 48511527 markings, 51512796 edges, 1444889 markings/sec, 60 secs
lola: 55303307 markings, 58387479 edges, 1358356 markings/sec, 65 secs
lola: 62289295 markings, 65480747 edges, 1397198 markings/sec, 70 secs
lola: 69611972 markings, 72924761 edges, 1464535 markings/sec, 75 secs
lola: 76652054 markings, 80057854 edges, 1408016 markings/sec, 80 secs
lola: 83179365 markings, 86665074 edges, 1305462 markings/sec, 85 secs
lola: 89414405 markings, 92975817 edges, 1247008 markings/sec, 90 secs
lola: 95671495 markings, 99308776 edges, 1251418 markings/sec, 95 secs
lola: 101840712 markings, 105552560 edges, 1233843 markings/sec, 100 secs
lola: 107887124 markings, 111672617 edges, 1209282 markings/sec, 105 secs
lola: 113882155 markings, 117740100 edges, 1199006 markings/sec, 110 secs
lola: 119510062 markings, 123436477 edges, 1125581 markings/sec, 115 secs
lola: 125115807 markings, 129110305 edges, 1121149 markings/sec, 120 secs
lola: 130973923 markings, 135039884 edges, 1171623 markings/sec, 125 secs
lola: 136682054 markings, 140817576 edges, 1141626 markings/sec, 130 secs
lola: 142234206 markings, 146437106 edges, 1110430 markings/sec, 135 secs
lola: 147800153 markings, 152070988 edges, 1113189 markings/sec, 140 secs
lola: 153512022 markings, 157852223 edges, 1142374 markings/sec, 145 secs
lola: 158961618 markings, 163368214 edges, 1089919 markings/sec, 150 secs
lola: 164579352 markings, 169054520 edges, 1123547 markings/sec, 155 secs
lola: 170388946 markings, 174934936 edges, 1161919 markings/sec, 160 secs
lola: 176006424 markings, 180620938 edges, 1123496 markings/sec, 165 secs
lola: 181461033 markings, 186142546 edges, 1090922 markings/sec, 170 secs
lola: 186868754 markings, 191615913 edges, 1081544 markings/sec, 175 secs
lola: 192384861 markings, 197199759 edges, 1103221 markings/sec, 180 secs
lola: 197782895 markings, 202663875 edges, 1079607 markings/sec, 185 secs
lola: 203565702 markings, 208517470 edges, 1156561 markings/sec, 190 secs
lola: 209231321 markings, 214252700 edges, 1133124 markings/sec, 195 secs
lola: 214774528 markings, 219863834 edges, 1108641 markings/sec, 200 secs
lola: 220250515 markings, 225406776 edges, 1095197 markings/sec, 205 secs
lola: 225646012 markings, 230868190 edges, 1079099 markings/sec, 210 secs
lola: 230845322 markings, 236131510 edges, 1039862 markings/sec, 215 secs
lola: 235948496 markings, 241297419 edges, 1020635 markings/sec, 220 secs
lola: 241636611 markings, 247055302 edges, 1137623 markings/sec, 225 secs
lola: 247042268 markings, 252527662 edges, 1081131 markings/sec, 230 secs
lola: 252313530 markings, 257863631 edges, 1054252 markings/sec, 235 secs
lola: 257495060 markings, 263108994 edges, 1036306 markings/sec, 240 secs
lola: 262843724 markings, 268523285 edges, 1069733 markings/sec, 245 secs
lola: 268127516 markings, 273872173 edges, 1056758 markings/sec, 250 secs
lola: 273481823 markings, 279292641 edges, 1070861 markings/sec, 255 secs
lola: 279161837 markings, 285042849 edges, 1136003 markings/sec, 260 secs
lola: 284667226 markings, 290615968 edges, 1101078 markings/sec, 265 secs
lola: 289918964 markings, 295932661 edges, 1050348 markings/sec, 270 secs
lola: 295258265 markings, 301337868 edges, 1067860 markings/sec, 275 secs
lola: 300635227 markings, 306781207 edges, 1075392 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 289 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: 85 markings, 84 edges, 17 markings/sec, 25 secs
lola: 3988501 markings, 8678621 edges, 797683 markings/sec, 30 secs
lola: 7515350 markings, 17559750 edges, 705370 markings/sec, 35 secs
lola: 10339814 markings, 26570067 edges, 564893 markings/sec, 40 secs
lola: 12925687 markings, 34828369 edges, 517175 markings/sec, 45 secs
lola: 14937205 markings, 41252755 edges, 402304 markings/sec, 50 secs
lola: 17760131 markings, 50247530 edges, 564585 markings/sec, 55 secs
lola: 20543685 markings, 59126212 edges, 556711 markings/sec, 60 secs
lola: 22364404 markings, 64939819 edges, 364144 markings/sec, 65 secs
lola: 25092160 markings, 73637985 edges, 545551 markings/sec, 70 secs
lola: 27728510 markings, 82019085 edges, 527270 markings/sec, 75 secs
lola: 29603371 markings, 87788397 edges, 374972 markings/sec, 80 secs
lola: 32962505 markings, 97244176 edges, 671827 markings/sec, 85 secs
lola: 36018165 markings, 106254146 edges, 611132 markings/sec, 90 secs
lola: 38845195 markings, 114774151 edges, 565406 markings/sec, 95 secs
lola: 41605899 markings, 123104489 edges, 552141 markings/sec, 100 secs
lola: 44338479 markings, 131354099 edges, 546516 markings/sec, 105 secs
lola: 46706709 markings, 138505107 edges, 473646 markings/sec, 110 secs
lola: 48957076 markings, 145304072 edges, 450073 markings/sec, 115 secs
lola: 51676652 markings, 153518511 edges, 543915 markings/sec, 120 secs
lola: 54264329 markings, 161372316 edges, 517535 markings/sec, 125 secs
lola: 56260771 markings, 167594692 edges, 399288 markings/sec, 130 secs
lola: 58798361 markings, 175612031 edges, 507518 markings/sec, 135 secs
lola: 61258984 markings, 183397678 edges, 492125 markings/sec, 140 secs
lola: 62950484 markings, 188750625 edges, 338300 markings/sec, 145 secs
lola: 65368634 markings, 196406818 edges, 483630 markings/sec, 150 secs
lola: 67834241 markings, 204213390 edges, 493121 markings/sec, 155 secs
lola: 69538283 markings, 209609659 edges, 340808 markings/sec, 160 secs
lola: 71960621 markings, 217282680 edges, 484468 markings/sec, 165 secs
lola: 74380506 markings, 224947799 edges, 483977 markings/sec, 170 secs
lola: 76346368 markings, 231172553 edges, 393172 markings/sec, 175 secs
lola: 78737821 markings, 238736291 edges, 478291 markings/sec, 180 secs
lola: 81180920 markings, 246453789 edges, 488620 markings/sec, 185 secs
lola: 83230730 markings, 252938378 edges, 409962 markings/sec, 190 secs
lola: 85197316 markings, 259162622 edges, 393317 markings/sec, 195 secs
lola: 87534319 markings, 266562079 edges, 467401 markings/sec, 200 secs
lola: 89744801 markings, 273561936 edges, 442096 markings/sec, 205 secs
lola: 91531961 markings, 279222535 edges, 357432 markings/sec, 210 secs
lola: 93876134 markings, 286646368 edges, 468835 markings/sec, 215 secs
lola: 96213944 markings, 294051977 edges, 467562 markings/sec, 220 secs
lola: 97819849 markings, 299141411 edges, 321181 markings/sec, 225 secs
lola: 100231899 markings, 306795032 edges, 482410 markings/sec, 230 secs
lola: 102650636 markings, 314431715 edges, 483747 markings/sec, 235 secs
lola: 104300719 markings, 319650259 edges, 330017 markings/sec, 240 secs
lola: 106601071 markings, 326930157 edges, 460070 markings/sec, 245 secs
lola: 108891386 markings, 334182070 edges, 458063 markings/sec, 250 secs
lola: 110681917 markings, 339851882 edges, 358106 markings/sec, 255 secs
lola: 112810925 markings, 346595767 edges, 425802 markings/sec, 260 secs
lola: 115119628 markings, 353909802 edges, 461741 markings/sec, 265 secs
lola: 117100137 markings, 360184359 edges, 396102 markings/sec, 270 secs
lola: 119015185 markings, 366251084 edges, 383010 markings/sec, 275 secs
lola: 121316899 markings, 373529358 edges, 460343 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4442288 KB
lola: time consumption: 680 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 289 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: 619 markings, 638 edges, 124 markings/sec, 25 secs
lola: 4153301 markings, 9037985 edges, 830536 markings/sec, 30 secs
lola: 7662150 markings, 18149379 edges, 701770 markings/sec, 35 secs
lola: 10489575 markings, 27168861 edges, 565485 markings/sec, 40 secs
lola: 13257007 markings, 36006943 edges, 553486 markings/sec, 45 secs
lola: 16010859 markings, 44805230 edges, 550770 markings/sec, 50 secs
lola: 18879247 markings, 53935495 edges, 573678 markings/sec, 55 secs
lola: 21631447 markings, 62720937 edges, 550440 markings/sec, 60 secs
lola: 24352077 markings, 71407307 edges, 544126 markings/sec, 65 secs
lola: 27693376 markings, 80825972 edges, 668260 markings/sec, 70 secs
lola: 31028222 markings, 90081387 edges, 666969 markings/sec, 75 secs
lola: 34145635 markings, 98765788 edges, 623483 markings/sec, 80 secs
lola: 37212040 markings, 107321246 edges, 613281 markings/sec, 85 secs
lola: 40255212 markings, 115815632 edges, 608634 markings/sec, 90 secs
lola: 43291036 markings, 124284450 edges, 607165 markings/sec, 95 secs
lola: 46355707 markings, 132808465 edges, 612934 markings/sec, 100 secs
lola: 49259865 markings, 140912286 edges, 580832 markings/sec, 105 secs
lola: 52084641 markings, 148801333 edges, 564955 markings/sec, 110 secs
lola: 54911156 markings, 156697926 edges, 565303 markings/sec, 115 secs
lola: 57684084 markings, 164449040 edges, 554586 markings/sec, 120 secs
lola: 60657509 markings, 172732023 edges, 594685 markings/sec, 125 secs
lola: 63590690 markings, 180902194 edges, 586636 markings/sec, 130 secs
lola: 66386623 markings, 188706110 edges, 559187 markings/sec, 135 secs
lola: 69146863 markings, 196414591 edges, 552048 markings/sec, 140 secs
lola: 71893907 markings, 204091487 edges, 549409 markings/sec, 145 secs
lola: 74608007 markings, 211677201 edges, 542820 markings/sec, 150 secs
lola: 77494748 markings, 219707777 edges, 577348 markings/sec, 155 secs
lola: 80325817 markings, 227601788 edges, 566214 markings/sec, 160 secs
lola: 83061933 markings, 235242567 edges, 547223 markings/sec, 165 secs
lola: 85796707 markings, 242881532 edges, 546955 markings/sec, 170 secs
lola: 88502541 markings, 250443866 edges, 541167 markings/sec, 175 secs
lola: 91188395 markings, 257949438 edges, 537171 markings/sec, 180 secs
lola: 94102688 markings, 266048449 edges, 582859 markings/sec, 185 secs
lola: 96862333 markings, 273750081 edges, 551929 markings/sec, 190 secs
lola: 99570525 markings, 281312501 edges, 541638 markings/sec, 195 secs
lola: 102278452 markings, 288878986 edges, 541585 markings/sec, 200 secs
lola: 104943570 markings, 296327403 edges, 533024 markings/sec, 205 secs
lola: 107721088 markings, 304059260 edges, 555504 markings/sec, 210 secs
lola: 110532521 markings, 311895308 edges, 562287 markings/sec, 215 secs
lola: 113238767 markings, 319450702 edges, 541249 markings/sec, 220 secs
lola: 115940381 markings, 326997888 edges, 540323 markings/sec, 225 secs
lola: 118609896 markings, 334456886 edges, 533903 markings/sec, 230 secs
lola: 121246076 markings, 341823780 edges, 527236 markings/sec, 235 secs
lola: 124111609 markings, 349787559 edges, 573107 markings/sec, 240 secs
lola: 126831164 markings, 357377289 edges, 543911 markings/sec, 245 secs
lola: 129510553 markings, 364858930 edges, 535878 markings/sec, 250 secs
lola: 132184496 markings, 372330464 edges, 534789 markings/sec, 255 secs
lola: 134814579 markings, 379680172 edges, 526017 markings/sec, 260 secs
lola: 137588943 markings, 387398758 edges, 554873 markings/sec, 265 secs
lola: 140343836 markings, 395081216 edges, 550979 markings/sec, 270 secs
lola: 142995326 markings, 402483338 edges, 530298 markings/sec, 275 secs
lola: 145664537 markings, 409939098 edges, 533842 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5328508 KB
lola: time consumption: 969 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 289 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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 4229359 markings, 8511806 edges, 845872 markings/sec, 30 secs
lola: 9325232 markings, 17154849 edges, 1019175 markings/sec, 35 secs
lola: 12641066 markings, 24667364 edges, 663167 markings/sec, 40 secs
lola: 16894399 markings, 32898237 edges, 850667 markings/sec, 45 secs
lola: 21661558 markings, 41253133 edges, 953432 markings/sec, 50 secs
lola: 25828250 markings, 48823867 edges, 833338 markings/sec, 55 secs
lola: 29632052 markings, 55806886 edges, 760760 markings/sec, 60 secs
lola: 33410711 markings, 62732772 edges, 755732 markings/sec, 65 secs
lola: 37374420 markings, 69922927 edges, 792742 markings/sec, 70 secs
lola: 41254846 markings, 77044623 edges, 776085 markings/sec, 75 secs
lola: 45072062 markings, 84152630 edges, 763443 markings/sec, 80 secs
lola: 48898698 markings, 91191038 edges, 765327 markings/sec, 85 secs
lola: 52817703 markings, 98220001 edges, 783801 markings/sec, 90 secs
lola: 56597275 markings, 105224150 edges, 755914 markings/sec, 95 secs
lola: 60465322 markings, 112201780 edges, 773609 markings/sec, 100 secs
lola: 64203500 markings, 119200498 edges, 747636 markings/sec, 105 secs
lola: 67955127 markings, 126164676 edges, 750325 markings/sec, 110 secs
lola: 71756500 markings, 133126445 edges, 760275 markings/sec, 115 secs
lola: 75545980 markings, 139929367 edges, 757896 markings/sec, 120 secs
lola: 79316832 markings, 146830207 edges, 754170 markings/sec, 125 secs
lola: 83080845 markings, 153830915 edges, 752803 markings/sec, 130 secs
lola: 86804488 markings, 160787549 edges, 744729 markings/sec, 135 secs
lola: 90688232 markings, 167713787 edges, 776749 markings/sec, 140 secs
lola: 94397677 markings, 174734619 edges, 741889 markings/sec, 145 secs
lola: 98326676 markings, 181694983 edges, 785800 markings/sec, 150 secs
lola: 101991666 markings, 188742830 edges, 732998 markings/sec, 155 secs
lola: 105894073 markings, 195729860 edges, 780481 markings/sec, 160 secs
lola: 109790476 markings, 202845454 edges, 779281 markings/sec, 165 secs
lola: 113504894 markings, 209796731 edges, 742884 markings/sec, 170 secs
lola: 117330248 markings, 216757733 edges, 765071 markings/sec, 175 secs
lola: 121581170 markings, 224542641 edges, 850184 markings/sec, 180 secs
lola: 126019845 markings, 232812695 edges, 887735 markings/sec, 185 secs
lola: 130415372 markings, 241005158 edges, 879105 markings/sec, 190 secs
lola: 134712990 markings, 249009364 edges, 859524 markings/sec, 195 secs
lola: 138804371 markings, 256636601 edges, 818276 markings/sec, 200 secs
lola: 142815890 markings, 264116449 edges, 802304 markings/sec, 205 secs
lola: 146846758 markings, 271626035 edges, 806174 markings/sec, 210 secs
lola: 150808560 markings, 279010101 edges, 792360 markings/sec, 215 secs
lola: 154706936 markings, 286279750 edges, 779675 markings/sec, 220 secs
lola: 158587614 markings, 293510215 edges, 776136 markings/sec, 225 secs
lola: 162515679 markings, 300830401 edges, 785613 markings/sec, 230 secs
lola: 166367895 markings, 308010751 edges, 770443 markings/sec, 235 secs
lola: 170153437 markings, 315073193 edges, 757108 markings/sec, 240 secs
lola: 174087117 markings, 322395328 edges, 786736 markings/sec, 245 secs
lola: 177896297 markings, 329498880 edges, 761836 markings/sec, 250 secs
lola: 181435105 markings, 336098861 edges, 707762 markings/sec, 255 secs
lola: 185323972 markings, 343337512 edges, 777773 markings/sec, 260 secs
lola: 189099654 markings, 350376223 edges, 755136 markings/sec, 265 secs
lola: 192819841 markings, 357317132 edges, 744037 markings/sec, 270 secs
lola: 196631362 markings, 364411308 edges, 762304 markings/sec, 275 secs
lola: 200422144 markings, 371478662 edges, 758156 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7301440 KB
lola: time consumption: 1259 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PEP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-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: 938 markings, 938 edges, 188 markings/sec, 25 secs
lola: 5132754 markings, 8818042 edges, 1026363 markings/sec, 30 secs
lola: 9571533 markings, 17277092 edges, 887756 markings/sec, 35 secs
lola: 15097386 markings, 25832902 edges, 1105171 markings/sec, 40 secs
lola: 19850286 markings, 33633430 edges, 950580 markings/sec, 45 secs
lola: 24242883 markings, 40835547 edges, 878519 markings/sec, 50 secs
lola: 28523747 markings, 47916456 edges, 856173 markings/sec, 55 secs
lola: 32528450 markings, 54521950 edges, 800941 markings/sec, 60 secs
lola: 36707672 markings, 61378321 edges, 835844 markings/sec, 65 secs
lola: 40917208 markings, 68316189 edges, 841907 markings/sec, 70 secs
lola: 44160301 markings, 73664990 edges, 648619 markings/sec, 75 secs
lola: 48024928 markings, 80006327 edges, 772925 markings/sec, 80 secs
lola: 52181410 markings, 86832838 edges, 831296 markings/sec, 85 secs
lola: 55619883 markings, 92653598 edges, 687695 markings/sec, 90 secs
lola: 59156697 markings, 98471358 edges, 707363 markings/sec, 95 secs
lola: 63253236 markings, 105334980 edges, 819308 markings/sec, 100 secs
lola: 67472254 markings, 112210149 edges, 843804 markings/sec, 105 secs
lola: 71770516 markings, 119149388 edges, 859652 markings/sec, 110 secs
lola: 75899153 markings, 126231658 edges, 825727 markings/sec, 115 secs
lola: 80031757 markings, 133021915 edges, 826521 markings/sec, 120 secs
lola: 84693558 markings, 140689131 edges, 932360 markings/sec, 125 secs
lola: 89400140 markings, 148490050 edges, 941316 markings/sec, 130 secs
lola: 93746610 markings, 155809952 edges, 869294 markings/sec, 135 secs
lola: 97771481 markings, 162607101 edges, 804974 markings/sec, 140 secs
lola: 101896979 markings, 169443073 edges, 825100 markings/sec, 145 secs
lola: 105795242 markings, 176010982 edges, 779653 markings/sec, 150 secs
lola: 109646255 markings, 182484232 edges, 770203 markings/sec, 155 secs
lola: 113388951 markings, 188825086 edges, 748539 markings/sec, 160 secs
lola: 117224456 markings, 195210929 edges, 767101 markings/sec, 165 secs
lola: 121086382 markings, 201666454 edges, 772385 markings/sec, 170 secs
lola: 124816258 markings, 207888788 edges, 745975 markings/sec, 175 secs
lola: 128635691 markings, 214358747 edges, 763887 markings/sec, 180 secs
lola: 132269660 markings, 220498795 edges, 726794 markings/sec, 185 secs
lola: 136180176 markings, 226977261 edges, 782103 markings/sec, 190 secs
lola: 139823608 markings, 233148322 edges, 728686 markings/sec, 195 secs
lola: 143644928 markings, 239634096 edges, 764264 markings/sec, 200 secs
lola: 147305574 markings, 245714825 edges, 732129 markings/sec, 205 secs
lola: 151102813 markings, 252075563 edges, 759448 markings/sec, 210 secs
lola: 154732987 markings, 258162708 edges, 726035 markings/sec, 215 secs
lola: 158455918 markings, 264403398 edges, 744586 markings/sec, 220 secs
lola: 162157174 markings, 270608385 edges, 740251 markings/sec, 225 secs
lola: 165853061 markings, 276795857 edges, 739177 markings/sec, 230 secs
lola: 169597593 markings, 283094974 edges, 748906 markings/sec, 235 secs
lola: 173354597 markings, 289374705 edges, 751401 markings/sec, 240 secs
lola: 177069377 markings, 295619009 edges, 742956 markings/sec, 245 secs
lola: 180761208 markings, 301834018 edges, 738366 markings/sec, 250 secs
lola: 184423383 markings, 308014073 edges, 732435 markings/sec, 255 secs
lola: 188217956 markings, 314322782 edges, 758915 markings/sec, 260 secs
lola: 191902380 markings, 320462333 edges, 736885 markings/sec, 265 secs
lola: 195656419 markings, 326864948 edges, 750808 markings/sec, 270 secs
lola: 199377407 markings, 333082619 edges, 744198 markings/sec, 275 secs
lola: 203191531 markings, 339526725 edges, 762825 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7303580 KB
lola: time consumption: 1547 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 289 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-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: 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-9 200 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 337 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-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5345596 markings, 8133820 edges, 1069119 markings/sec, 30 secs
lola: 10335349 markings, 15724394 edges, 997951 markings/sec, 35 secs
lola: 15075705 markings, 22905372 edges, 948071 markings/sec, 40 secs
lola: 18434156 markings, 27997360 edges, 671690 markings/sec, 45 secs
lola: 22874828 markings, 34942224 edges, 888134 markings/sec, 50 secs
lola: 27587438 markings, 42154089 edges, 942522 markings/sec, 55 secs
lola: 30809378 markings, 46972671 edges, 644388 markings/sec, 60 secs
lola: 35204967 markings, 53814169 edges, 879118 markings/sec, 65 secs
lola: 39828798 markings, 60960860 edges, 924766 markings/sec, 70 secs
lola: 43197346 markings, 66001911 edges, 673710 markings/sec, 75 secs
lola: 47352375 markings, 72407512 edges, 831006 markings/sec, 80 secs
lola: 51946218 markings, 79491295 edges, 918769 markings/sec, 85 secs
lola: 55650397 markings, 85081615 edges, 740836 markings/sec, 90 secs
lola: 59445079 markings, 90927291 edges, 758936 markings/sec, 95 secs
lola: 63884088 markings, 97734982 edges, 887802 markings/sec, 100 secs
lola: 68306331 markings, 104450781 edges, 884449 markings/sec, 105 secs
lola: 72755568 markings, 111217949 edges, 889847 markings/sec, 110 secs
lola: 77195952 markings, 118141568 edges, 888077 markings/sec, 115 secs
lola: 81500698 markings, 124703688 edges, 860949 markings/sec, 120 secs
lola: 86144984 markings, 131720670 edges, 928857 markings/sec, 125 secs
lola: 90582690 markings, 138490469 edges, 887541 markings/sec, 130 secs
lola: 94752457 markings, 145043773 edges, 833953 markings/sec, 135 secs
lola: 99436978 markings, 152090249 edges, 936904 markings/sec, 140 secs
lola: 103865930 markings, 158789294 edges, 885790 markings/sec, 145 secs
lola: 108086230 markings, 165330682 edges, 844060 markings/sec, 150 secs
lola: 112652439 markings, 172365413 edges, 913242 markings/sec, 155 secs
lola: 117037352 markings, 179040309 edges, 876983 markings/sec, 160 secs
lola: 121579140 markings, 185915148 edges, 908358 markings/sec, 165 secs
lola: 125994845 markings, 192749100 edges, 883141 markings/sec, 170 secs
lola: 130221601 markings, 199286974 edges, 845351 markings/sec, 175 secs
lola: 134902695 markings, 206321665 edges, 936219 markings/sec, 180 secs
lola: 139327575 markings, 213044719 edges, 884976 markings/sec, 185 secs
lola: 143505650 markings, 219570195 edges, 835615 markings/sec, 190 secs
lola: 148115571 markings, 226593855 edges, 921984 markings/sec, 195 secs
lola: 152541126 markings, 233315834 edges, 885111 markings/sec, 200 secs
lola: 156988368 markings, 240086124 edges, 889448 markings/sec, 205 secs
lola: 161372544 markings, 246919146 edges, 876835 markings/sec, 210 secs
lola: 165643997 markings, 253446704 edges, 854291 markings/sec, 215 secs
lola: 170257335 markings, 260409939 edges, 922668 markings/sec, 220 secs
lola: 174664416 markings, 267106252 edges, 881416 markings/sec, 225 secs
lola: 178822556 markings, 273631392 edges, 831628 markings/sec, 230 secs
lola: 183418345 markings, 280593484 edges, 919158 markings/sec, 235 secs
lola: 187794700 markings, 287251835 edges, 875271 markings/sec, 240 secs
lola: 192175986 markings, 293934409 edges, 876257 markings/sec, 245 secs
lola: 196534920 markings, 300710977 edges, 871787 markings/sec, 250 secs
lola: 200835121 markings, 307279396 edges, 860040 markings/sec, 255 secs
lola: 205401726 markings, 314162443 edges, 913321 markings/sec, 260 secs
lola: 209732892 markings, 320782322 edges, 866233 markings/sec, 265 secs
lola: 213880039 markings, 327282613 edges, 829429 markings/sec, 270 secs
lola: 218457492 markings, 334182074 edges, 915491 markings/sec, 275 secs
lola: 222796926 markings, 340755555 edges, 867887 markings/sec, 280 secs
lola: 227065802 markings, 347326904 edges, 853775 markings/sec, 285 secs
lola: 231443429 markings, 354108919 edges, 875525 markings/sec, 290 secs
lola: 235735088 markings, 360640420 edges, 858332 markings/sec, 295 secs
lola: 240251498 markings, 367467783 edges, 903282 markings/sec, 300 secs
lola: 244504499 markings, 373997526 edges, 850600 markings/sec, 305 secs
lola: 248607198 markings, 380426908 edges, 820540 markings/sec, 310 secs
lola: 253158087 markings, 387258377 edges, 910178 markings/sec, 315 secs
lola: 257458554 markings, 393755466 edges, 860093 markings/sec, 320 secs
lola: 261642277 markings, 400224801 edges, 836745 markings/sec, 325 secs
lola: 266013407 markings, 406978223 edges, 874226 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 337 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-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: 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

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-11 300 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 421 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

FORMULA GPPP-PT-C0100N0000000100-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 561 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-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: 1402 markings, 1402 edges, 280 markings/sec, 25 secs
lola: 2945952 markings, 9330927 edges, 588910 markings/sec, 30 secs
lola: 5610623 markings, 18650385 edges, 532934 markings/sec, 35 secs
lola: 7544999 markings, 26730125 edges, 386875 markings/sec, 40 secs
lola: 9316380 markings, 34136148 edges, 354276 markings/sec, 45 secs
lola: 11479701 markings, 43183871 edges, 432664 markings/sec, 50 secs
lola: 13609210 markings, 52048396 edges, 425902 markings/sec, 55 secs
lola: 15189657 markings, 58635462 edges, 316089 markings/sec, 60 secs
lola: 17370253 markings, 67730503 edges, 436119 markings/sec, 65 secs
lola: 19468811 markings, 76449515 edges, 419712 markings/sec, 70 secs
lola: 20853251 markings, 82215404 edges, 276888 markings/sec, 75 secs
lola: 23105051 markings, 91151189 edges, 450360 markings/sec, 80 secs
lola: 25342475 markings, 100004077 edges, 447485 markings/sec, 85 secs
lola: 26869229 markings, 106080134 edges, 305351 markings/sec, 90 secs
lola: 29042410 markings, 114639347 edges, 434636 markings/sec, 95 secs
lola: 31220641 markings, 123201224 edges, 435646 markings/sec, 100 secs
lola: 33411166 markings, 131906622 edges, 438105 markings/sec, 105 secs
lola: 35586315 markings, 140438689 edges, 435030 markings/sec, 110 secs
lola: 37677155 markings, 148609643 edges, 418168 markings/sec, 115 secs
lola: 39871817 markings, 157287494 edges, 438932 markings/sec, 120 secs
lola: 42111918 markings, 166036478 edges, 448020 markings/sec, 125 secs
lola: 44341462 markings, 174725366 edges, 445909 markings/sec, 130 secs
lola: 46521137 markings, 183323075 edges, 435935 markings/sec, 135 secs
lola: 48757133 markings, 192011709 edges, 447199 markings/sec, 140 secs
lola: 50949469 markings, 200575083 edges, 438467 markings/sec, 145 secs
lola: 53130631 markings, 209066217 edges, 436232 markings/sec, 150 secs
lola: 55367246 markings, 217762661 edges, 447323 markings/sec, 155 secs
lola: 57601420 markings, 226478496 edges, 446835 markings/sec, 160 secs
lola: 59849209 markings, 235155134 edges, 449558 markings/sec, 165 secs
lola: 62048769 markings, 243740354 edges, 439912 markings/sec, 170 secs
lola: 64336887 markings, 252564809 edges, 457624 markings/sec, 175 secs
lola: 66583558 markings, 261316704 edges, 449334 markings/sec, 180 secs
lola: 68902728 markings, 270300843 edges, 463834 markings/sec, 185 secs
lola: 71053358 markings, 279219532 edges, 430126 markings/sec, 190 secs
lola: 73133021 markings, 287877242 edges, 415933 markings/sec, 195 secs
lola: 74753779 markings, 295404253 edges, 324152 markings/sec, 200 secs
lola: 76231475 markings, 302281555 edges, 295539 markings/sec, 205 secs
lola: 78125631 markings, 310804466 edges, 378831 markings/sec, 210 secs
lola: 79966371 markings, 318943625 edges, 368148 markings/sec, 215 secs
lola: 81364363 markings, 325093176 edges, 279598 markings/sec, 220 secs
lola: 83294087 markings, 333546598 edges, 385945 markings/sec, 225 secs
lola: 85106957 markings, 341483807 edges, 362574 markings/sec, 230 secs
lola: 87065255 markings, 350045111 edges, 391660 markings/sec, 235 secs
lola: 89019240 markings, 358575552 edges, 390797 markings/sec, 240 secs
lola: 90972562 markings, 367095172 edges, 390664 markings/sec, 245 secs
lola: 92911579 markings, 375518311 edges, 387803 markings/sec, 250 secs
lola: 94888461 markings, 384125974 edges, 395376 markings/sec, 255 secs
lola: 96858292 markings, 392677350 edges, 393966 markings/sec, 260 secs
lola: 98850708 markings, 401336589 edges, 398483 markings/sec, 265 secs
lola: 100885035 markings, 410137728 edges, 406865 markings/sec, 270 secs
lola: 103131099 markings, 419018185 edges, 449213 markings/sec, 275 secs
lola: 105307687 markings, 427452237 edges, 435318 markings/sec, 280 secs
lola: 107500480 markings, 435808052 edges, 438559 markings/sec, 285 secs
lola: 109647278 markings, 444091673 edges, 429360 markings/sec, 290 secs
lola: 111775139 markings, 452263871 edges, 425572 markings/sec, 295 secs
lola: 113932795 markings, 460445414 edges, 431531 markings/sec, 300 secs
lola: 116042689 markings, 468537200 edges, 421979 markings/sec, 305 secs
lola: 118111110 markings, 476442637 edges, 413684 markings/sec, 310 secs
lola: 120242693 markings, 484598613 edges, 426317 markings/sec, 315 secs
lola: 122384244 markings, 492785428 edges, 428310 markings/sec, 320 secs
lola: 124517304 markings, 500927973 edges, 426612 markings/sec, 325 secs
lola: 126635864 markings, 509006722 edges, 423712 markings/sec, 330 secs
lola: 128763739 markings, 517104727 edges, 425575 markings/sec, 335 secs
lola: 130878515 markings, 525150706 edges, 422955 markings/sec, 340 secs
lola: 132999655 markings, 533214613 edges, 424228 markings/sec, 345 secs
lola: 135223576 markings, 541665512 edges, 444784 markings/sec, 350 secs
lola: 137401124 markings, 549994389 edges, 435510 markings/sec, 355 secs
lola: 139552286 markings, 558213095 edges, 430232 markings/sec, 360 secs
lola: 141728089 markings, 566519453 edges, 435161 markings/sec, 365 secs
lola: 143899538 markings, 574744170 edges, 434290 markings/sec, 370 secs
lola: 146025384 markings, 582825802 edges, 425169 markings/sec, 375 secs
lola: 148220177 markings, 591202987 edges, 438959 markings/sec, 380 secs
lola: 150373170 markings, 599428875 edges, 430599 markings/sec, 385 secs
lola: 152500618 markings, 607549368 edges, 425490 markings/sec, 390 secs
lola: 154651661 markings, 615767636 edges, 430209 markings/sec, 395 secs
lola: 156780200 markings, 623888293 edges, 425708 markings/sec, 400 secs
lola: 158874032 markings, 631868375 edges, 418766 markings/sec, 405 secs
lola: 160939538 markings, 639733906 edges, 413101 markings/sec, 410 secs
lola: 163053575 markings, 647793410 edges, 422807 markings/sec, 415 secs
lola: 165140508 markings, 655744779 edges, 417387 markings/sec, 420 secs
lola: 167245604 markings, 663771948 edges, 421019 markings/sec, 425 secs
lola: 169319235 markings, 671667275 edges, 414726 markings/sec, 430 secs
lola: 171382748 markings, 679524649 edges, 412703 markings/sec, 435 secs
lola: 173427114 markings, 687298511 edges, 408873 markings/sec, 440 secs
lola: 175542019 markings, 695366552 edges, 422981 markings/sec, 445 secs
lola: 177670799 markings, 703491658 edges, 425756 markings/sec, 450 secs
lola: 179757430 markings, 711441425 edges, 417326 markings/sec, 455 secs
lola: 181956147 markings, 719802423 edges, 439743 markings/sec, 460 secs
lola: 184183222 markings, 728203944 edges, 445415 markings/sec, 465 secs
lola: 186935307 markings, 737467713 edges, 550417 markings/sec, 470 secs
lola: 188786392 markings, 745115143 edges, 370217 markings/sec, 475 secs
lola: 190610943 markings, 752653780 edges, 364910 markings/sec, 480 secs
lola: 192471063 markings, 760339943 edges, 372024 markings/sec, 485 secs
lola: 194301295 markings, 767903760 edges, 366046 markings/sec, 490 secs
lola: 196122820 markings, 775430912 edges, 364305 markings/sec, 495 secs
lola: 197948627 markings, 782976648 edges, 365161 markings/sec, 500 secs
lola: 199423822 markings, 789702918 edges, 295039 markings/sec, 505 secs
lola: 200835366 markings, 796240065 edges, 282309 markings/sec, 510 secs
lola: 202259161 markings, 802835889 edges, 284759 markings/sec, 515 secs
lola: 203691858 markings, 809471927 edges, 286539 markings/sec, 520 secs
lola: 205084362 markings, 815922807 edges, 278501 markings/sec, 525 secs
lola: 206541314 markings, 822671875 edges, 291390 markings/sec, 530 secs
lola: 207939107 markings, 829147754 edges, 279559 markings/sec, 535 secs
lola: 209047254 markings, 834281018 edges, 221629 markings/sec, 540 secs
lola: 210730938 markings, 841488302 edges, 336737 markings/sec, 545 secs
lola: 212184665 markings, 848060506 edges, 290745 markings/sec, 550 secs
lola: 213802398 markings, 855301943 edges, 323547 markings/sec, 555 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown 300 1 unknown unknown unknown
lola: memory consumption: 7811032 KB
lola: time consumption: 2446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 562 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Lac)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Lac)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 4900840 markings, 8803348 edges, 980168 markings/sec, 30 secs
lola: 9449008 markings, 17002159 edges, 909634 markings/sec, 35 secs
lola: 12813673 markings, 23073226 edges, 672933 markings/sec, 40 secs
lola: 17054918 markings, 30730283 edges, 848249 markings/sec, 45 secs
lola: 21608924 markings, 38992685 edges, 910801 markings/sec, 50 secs
lola: 25362209 markings, 45785531 edges, 750657 markings/sec, 55 secs
lola: 29182829 markings, 52700058 edges, 764124 markings/sec, 60 secs
lola: 33605577 markings, 60704661 edges, 884550 markings/sec, 65 secs
lola: 37576347 markings, 67891071 edges, 794154 markings/sec, 70 secs
lola: 40941359 markings, 73981410 edges, 673002 markings/sec, 75 secs
lola: 45242072 markings, 81765441 edges, 860143 markings/sec, 80 secs
lola: 49513137 markings, 89495534 edges, 854213 markings/sec, 85 secs
lola: 53838467 markings, 97324245 edges, 865066 markings/sec, 90 secs
lola: 58246139 markings, 105301860 edges, 881534 markings/sec, 95 secs
lola: 62671053 markings, 113310722 edges, 884983 markings/sec, 100 secs
lola: 65727792 markings, 118843046 edges, 611348 markings/sec, 105 secs
lola: 70527232 markings, 127149453 edges, 959888 markings/sec, 110 secs
lola: 75232405 markings, 135131071 edges, 941035 markings/sec, 115 secs
lola: 78746853 markings, 141079130 edges, 702890 markings/sec, 120 secs
lola: 83124143 markings, 148519070 edges, 875458 markings/sec, 125 secs
lola: 87710534 markings, 156380419 edges, 917278 markings/sec, 130 secs
lola: 91454793 markings, 162747303 edges, 748852 markings/sec, 135 secs
lola: 95271590 markings, 169238076 edges, 763359 markings/sec, 140 secs
lola: 99660934 markings, 176702905 edges, 877869 markings/sec, 145 secs
lola: 103708875 markings, 183586885 edges, 809588 markings/sec, 150 secs
lola: 107118380 markings, 189385994 edges, 681901 markings/sec, 155 secs
lola: 111442690 markings, 196740721 edges, 864862 markings/sec, 160 secs
lola: 115703032 markings, 203987609 edges, 852068 markings/sec, 165 secs
lola: 118738622 markings, 209150657 edges, 607118 markings/sec, 170 secs
lola: 123102844 markings, 216574021 edges, 872844 markings/sec, 175 secs
lola: 127535100 markings, 224113700 edges, 886451 markings/sec, 180 secs
lola: 132266768 markings, 232082281 edges, 946334 markings/sec, 185 secs
lola: 137239459 markings, 240051201 edges, 994538 markings/sec, 190 secs
lola: 141707240 markings, 247203188 edges, 893556 markings/sec, 195 secs
lola: 145028662 markings, 252520088 edges, 664284 markings/sec, 200 secs
lola: 149320469 markings, 259648047 edges, 858361 markings/sec, 205 secs
lola: 153564237 markings, 267329398 edges, 848754 markings/sec, 210 secs
lola: 157060097 markings, 273656799 edges, 699172 markings/sec, 215 secs
lola: 160633986 markings, 280126038 edges, 714778 markings/sec, 220 secs
lola: 164805859 markings, 287677060 edges, 834375 markings/sec, 225 secs
lola: 168955993 markings, 295189019 edges, 830027 markings/sec, 230 secs
lola: 173158483 markings, 302795834 edges, 840498 markings/sec, 235 secs
lola: 177350560 markings, 310384361 edges, 838415 markings/sec, 240 secs
lola: 181491180 markings, 317879439 edges, 828124 markings/sec, 245 secs
lola: 184326513 markings, 323011900 edges, 567067 markings/sec, 250 secs
lola: 188471809 markings, 330515462 edges, 829059 markings/sec, 255 secs
lola: 192697840 markings, 338165090 edges, 845206 markings/sec, 260 secs
lola: 195511284 markings, 343257856 edges, 562689 markings/sec, 265 secs
lola: 199700795 markings, 350841585 edges, 837902 markings/sec, 270 secs
lola: 203843083 markings, 358340046 edges, 828458 markings/sec, 275 secs
lola: 206978491 markings, 364015645 edges, 627082 markings/sec, 280 secs
lola: 210887631 markings, 371091924 edges, 781828 markings/sec, 285 secs
lola: 215061447 markings, 378647212 edges, 834763 markings/sec, 290 secs
lola: 218473845 markings, 384824646 edges, 682480 markings/sec, 295 secs
lola: 222073249 markings, 391340430 edges, 719881 markings/sec, 300 secs
lola: 226299481 markings, 398990698 edges, 845246 markings/sec, 305 secs
lola: 230129978 markings, 405924825 edges, 766099 markings/sec, 310 secs
lola: 233340187 markings, 411736100 edges, 642042 markings/sec, 315 secs
lola: 237510862 markings, 419285898 edges, 834135 markings/sec, 320 secs
lola: 241726029 markings, 426916366 edges, 843033 markings/sec, 325 secs
lola: 244554704 markings, 432036931 edges, 565735 markings/sec, 330 secs
lola: 248805048 markings, 439731243 edges, 850069 markings/sec, 335 secs
lola: 253652515 markings, 447668861 edges, 969493 markings/sec, 340 secs
lola: 257215652 markings, 453137151 edges, 712627 markings/sec, 345 secs
lola: 262144501 markings, 460713547 edges, 985770 markings/sec, 350 secs
lola: 267028462 markings, 468208152 edges, 976792 markings/sec, 355 secs
lola: 270791808 markings, 473997097 edges, 752669 markings/sec, 360 secs
lola: 275389945 markings, 481134796 edges, 919627 markings/sec, 365 secs
lola: 280182004 markings, 488509727 edges, 958412 markings/sec, 370 secs
lola: 284134290 markings, 494592402 edges, 790457 markings/sec, 375 secs
lola: 288191529 markings, 500836828 edges, 811448 markings/sec, 380 secs
lola: 292840204 markings, 507992093 edges, 929735 markings/sec, 385 secs
lola: 297112268 markings, 514567574 edges, 854413 markings/sec, 390 secs
lola: 300756330 markings, 520176905 edges, 728812 markings/sec, 395 secs
lola: 305334525 markings, 527224159 edges, 915639 markings/sec, 400 secs
lola: 309847476 markings, 534171132 edges, 902590 markings/sec, 405 secs
lola: 313044474 markings, 539092646 edges, 639400 markings/sec, 410 secs
lola: 317579892 markings, 546075501 edges, 907084 markings/sec, 415 secs
lola: 322126992 markings, 553076014 edges, 909420 markings/sec, 420 secs
lola: 326675440 markings, 560078862 edges, 909690 markings/sec, 425 secs
lola: 331345746 markings, 567269317 edges, 934061 markings/sec, 430 secs
lola: 335878367 markings, 575075674 edges, 906524 markings/sec, 435 secs
lola: 338931538 markings, 581170118 edges, 610634 markings/sec, 440 secs
lola: 342401599 markings, 588140746 edges, 694012 markings/sec, 445 secs
lola: 345953793 markings, 595247474 edges, 710439 markings/sec, 450 secs
lola: 348847438 markings, 601036684 edges, 578729 markings/sec, 455 secs
lola: 351842780 markings, 607029325 edges, 599068 markings/sec, 460 secs
lola: 355843373 markings, 614451286 edges, 800119 markings/sec, 465 secs
lola: 359708478 markings, 621026706 edges, 773021 markings/sec, 470 secs
lola: 362961851 markings, 626562268 edges, 650675 markings/sec, 475 secs
lola: 367096590 markings, 633595910 edges, 826948 markings/sec, 480 secs
lola: 371218231 markings, 640609065 edges, 824328 markings/sec, 485 secs
lola: 374111747 markings, 645532308 edges, 578703 markings/sec, 490 secs
lola: 378282290 markings, 652627996 edges, 834109 markings/sec, 495 secs
lola: 382473036 markings, 659759469 edges, 838149 markings/sec, 500 secs
lola: 385353319 markings, 664660360 edges, 576057 markings/sec, 505 secs
lola: 389513892 markings, 671739659 edges, 832115 markings/sec, 510 secs
lola: 393705358 markings, 678872727 edges, 838293 markings/sec, 515 secs
lola: 397888844 markings, 685991250 edges, 836697 markings/sec, 520 secs
lola: 402061544 markings, 693092236 edges, 834540 markings/sec, 525 secs
lola: 406203042 markings, 700140118 edges, 828300 markings/sec, 530 secs
lola: 409640200 markings, 705989494 edges, 687432 markings/sec, 535 secs
lola: 413205217 markings, 712056806 edges, 713003 markings/sec, 540 secs
lola: 417330872 markings, 719077976 edges, 825131 markings/sec, 545 secs
lola: 421069088 markings, 725440094 edges, 747643 markings/sec, 550 secs
lola: 424307370 markings, 730950586 edges, 647656 markings/sec, 555 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown 300 1 unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 561 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: 859 markings, 859 edges, 172 markings/sec, 25 secs
lola: 3976843 markings, 8652913 edges, 795197 markings/sec, 30 secs
lola: 7381389 markings, 17128295 edges, 680909 markings/sec, 35 secs
lola: 9385393 markings, 23519114 edges, 400801 markings/sec, 40 secs
lola: 12147645 markings, 32337087 edges, 552450 markings/sec, 45 secs
lola: 14873009 markings, 41044030 edges, 545073 markings/sec, 50 secs
lola: 17687098 markings, 50010160 edges, 562818 markings/sec, 55 secs
lola: 20457238 markings, 58845753 edges, 554028 markings/sec, 60 secs
lola: 23165517 markings, 67492515 edges, 541656 markings/sec, 65 secs
lola: 25064067 markings, 73544311 edges, 379710 markings/sec, 70 secs
lola: 27580459 markings, 81542541 edges, 503278 markings/sec, 75 secs
lola: 30435197 markings, 90121748 edges, 570948 markings/sec, 80 secs
lola: 33823267 markings, 99652049 edges, 677614 markings/sec, 85 secs
lola: 36980418 markings, 108573195 edges, 631430 markings/sec, 90 secs
lola: 40070904 markings, 117276980 edges, 618097 markings/sec, 95 secs
lola: 42752934 markings, 124836330 edges, 536406 markings/sec, 100 secs
lola: 45202165 markings, 131736960 edges, 489846 markings/sec, 105 secs
lola: 48212522 markings, 140241613 edges, 602071 markings/sec, 110 secs
lola: 51134404 markings, 148475388 edges, 584376 markings/sec, 115 secs
lola: 53316061 markings, 154611231 edges, 436331 markings/sec, 120 secs
lola: 56191921 markings, 162724538 edges, 575172 markings/sec, 125 secs
lola: 59107170 markings, 170957590 edges, 583050 markings/sec, 130 secs
lola: 61062699 markings, 176466025 edges, 391106 markings/sec, 135 secs
lola: 63904129 markings, 184477018 edges, 568286 markings/sec, 140 secs
lola: 66736370 markings, 192460796 edges, 566448 markings/sec, 145 secs
lola: 68773295 markings, 198212694 edges, 407385 markings/sec, 150 secs
lola: 71665213 markings, 206372591 edges, 578384 markings/sec, 155 secs
lola: 74537271 markings, 214462031 edges, 574412 markings/sec, 160 secs
lola: 76769400 markings, 220757956 edges, 446426 markings/sec, 165 secs
lola: 79327931 markings, 227977307 edges, 511706 markings/sec, 170 secs
lola: 82172056 markings, 236006637 edges, 568825 markings/sec, 175 secs
lola: 84621641 markings, 242903274 edges, 489917 markings/sec, 180 secs
lola: 86831316 markings, 249142024 edges, 441935 markings/sec, 185 secs
lola: 89621578 markings, 257015187 edges, 558052 markings/sec, 190 secs
lola: 92374851 markings, 264783985 edges, 550655 markings/sec, 195 secs
lola: 94385438 markings, 270445855 edges, 402117 markings/sec, 200 secs
lola: 97235125 markings, 278478603 edges, 569937 markings/sec, 205 secs
lola: 100045749 markings, 286417195 edges, 562125 markings/sec, 210 secs
lola: 101949191 markings, 291782819 edges, 380688 markings/sec, 215 secs
lola: 104708873 markings, 299564924 edges, 551936 markings/sec, 220 secs
lola: 107491152 markings, 307398858 edges, 556456 markings/sec, 225 secs
lola: 109426104 markings, 312858180 edges, 386990 markings/sec, 230 secs
lola: 112185436 markings, 320647095 edges, 551866 markings/sec, 235 secs
lola: 114965015 markings, 328482509 edges, 555916 markings/sec, 240 secs
lola: 117225441 markings, 334854407 edges, 452085 markings/sec, 245 secs
lola: 119723597 markings, 341891161 edges, 499631 markings/sec, 250 secs
lola: 122467030 markings, 349638369 edges, 548687 markings/sec, 255 secs
lola: 124857274 markings, 356374030 edges, 478049 markings/sec, 260 secs
lola: 127041400 markings, 362539607 edges, 436825 markings/sec, 265 secs
lola: 129860873 markings, 370479485 edges, 563895 markings/sec, 270 secs
lola: 132509021 markings, 377944012 edges, 529630 markings/sec, 275 secs
lola: 134571570 markings, 383776033 edges, 412510 markings/sec, 280 secs
lola: 137370190 markings, 391653395 edges, 559724 markings/sec, 285 secs
lola: 140145286 markings, 399482611 edges, 555019 markings/sec, 290 secs
lola: 142006385 markings, 404733563 edges, 372220 markings/sec, 295 secs
lola: 144756787 markings, 412487948 edges, 550080 markings/sec, 300 secs
lola: 147556076 markings, 420373037 edges, 559858 markings/sec, 305 secs
lola: 150290978 markings, 428088036 edges, 546980 markings/sec, 310 secs
lola: 153082258 markings, 435953296 edges, 558256 markings/sec, 315 secs
lola: 155871164 markings, 443832880 edges, 557781 markings/sec, 320 secs
lola: 158613639 markings, 451550931 edges, 548495 markings/sec, 325 secs
lola: 161349202 markings, 459270328 edges, 547113 markings/sec, 330 secs
lola: 164071865 markings, 466951227 edges, 544533 markings/sec, 335 secs
lola: 166521149 markings, 473845537 edges, 489857 markings/sec, 340 secs
lola: 168704256 markings, 480007971 edges, 436621 markings/sec, 345 secs
lola: 171489413 markings, 487865864 edges, 557031 markings/sec, 350 secs
lola: 174130646 markings, 495313104 edges, 528247 markings/sec, 355 secs
lola: 176120887 markings, 500920447 edges, 398048 markings/sec, 360 secs
lola: 178854951 markings, 508623809 edges, 546813 markings/sec, 365 secs
lola: 181577821 markings, 516311735 edges, 544574 markings/sec, 370 secs
lola: 183487662 markings, 521689306 edges, 381968 markings/sec, 375 secs
lola: 186210584 markings, 529368729 edges, 544584 markings/sec, 380 secs
lola: 188974334 markings, 537150483 edges, 552750 markings/sec, 385 secs
lola: 190909977 markings, 542623849 edges, 387129 markings/sec, 390 secs
lola: 193556055 markings, 550073830 edges, 529216 markings/sec, 395 secs
lola: 196281969 markings, 557761976 edges, 545183 markings/sec, 400 secs
lola: 198437513 markings, 563832075 edges, 431109 markings/sec, 405 secs
lola: 200892256 markings, 570757793 edges, 490949 markings/sec, 410 secs
lola: 203605401 markings, 578401583 edges, 542629 markings/sec, 415 secs
lola: 206018760 markings, 585203373 edges, 482672 markings/sec, 420 secs
lola: 208205474 markings, 591372121 edges, 437343 markings/sec, 425 secs
lola: 210907533 markings, 598999190 edges, 540412 markings/sec, 430 secs
lola: 213521239 markings, 606361805 edges, 522741 markings/sec, 435 secs
lola: 215522793 markings, 611999460 edges, 400311 markings/sec, 440 secs
lola: 218228092 markings, 619625061 edges, 541060 markings/sec, 445 secs
lola: 220961380 markings, 627335808 edges, 546658 markings/sec, 450 secs
lola: 222814306 markings, 632554910 edges, 370585 markings/sec, 455 secs
lola: 225505023 markings, 640136977 edges, 538143 markings/sec, 460 secs
lola: 228208706 markings, 647758868 edges, 540737 markings/sec, 465 secs
lola: 230112212 markings, 653128770 edges, 380701 markings/sec, 470 secs
lola: 232807906 markings, 660732125 edges, 539139 markings/sec, 475 secs
lola: 235471210 markings, 668242101 edges, 532661 markings/sec, 480 secs
lola: 237631264 markings, 674327552 edges, 432011 markings/sec, 485 secs
lola: 239920395 markings, 680778892 edges, 457826 markings/sec, 490 secs
lola: 242382342 markings, 687727448 edges, 492389 markings/sec, 495 secs
lola: 244579429 markings, 693916429 edges, 439417 markings/sec, 500 secs
lola: 246575507 markings, 699536461 edges, 399216 markings/sec, 505 secs
lola: 249157041 markings, 706810366 edges, 516307 markings/sec, 510 secs
lola: 251585848 markings, 713668084 edges, 485761 markings/sec, 515 secs
lola: 253464867 markings, 718959821 edges, 375804 markings/sec, 520 secs
lola: 255971641 markings, 726032302 edges, 501355 markings/sec, 525 secs
lola: 258503653 markings, 733159843 edges, 506402 markings/sec, 530 secs
lola: 261047704 markings, 740325086 edges, 508810 markings/sec, 535 secs
lola: 263609183 markings, 747543902 edges, 512296 markings/sec, 540 secs
lola: 266108597 markings, 754602937 edges, 499883 markings/sec, 545 secs
lola: 267975191 markings, 759865154 edges, 373319 markings/sec, 550 secs
lola: 270437952 markings, 766795474 edges, 492552 markings/sec, 555 secs
lola: local time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown 300 1 unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
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-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: time limit reached - aborting
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown 300 1 unknown unknown unknown
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown 300 1 unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown 300 1 unknown unknown unknown
lola: memory consumption: 18264 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 300 2 100 200 unknown unknown unknown unknown unknown 200 unknown 300 1 unknown unknown unknown
lola: memory consumption: 17184 KB
lola: time consumption: 3570 seconds

BK_STOP 1526730363844

--------------------
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-C0100N0000000100"
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-C0100N0000000100.tgz
mv GPPP-PT-C0100N0000000100 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-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-blw7-152649998300310"
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 ;