About the Execution of LoLA for PolyORBLF-COL-S02J06T06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
824.270 | 3570196.00 | 3618358.00 | 7450.30 | ? ? ? ? ? 1 ? ? ? ? ? ? ? ? ? ? | normal |
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 332K
-rw-r--r-- 1 mcc users 4.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 18K 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.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 154K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-COL-S02J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526800030
=====================================================================
--------------------
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 PolyORBLF-COL-S02J06T06-UpperBounds-00
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-01
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-02
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-03
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-04
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-05
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-06
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-07
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-08
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-09
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J06T06-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526831872548
info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T06 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J06T06 @ 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: 1600/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 17152
lola: finding significant places
lola: 536 places, 1064 transitions, 486 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1483 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T06-UpperBounds.task
lola: MAX(p119) : MAX(p450 + p451 + p452 + p453 + p454 + p455) : MAX(p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p11 + p13 + p14 + p12 + p10) : MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436) : MAX(p22) : MAX(p511 + p512 + p513 + p514 + p515 + p516) : MAX(p381 + p382 + p383 + p384 + p385 + p386 + p387) : MAX(p320 + p321 + p322 + p323 + p324 + p325) : MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131) : MAX(p206) : MAX(p302 + p303 + p304 + p305 + p306 + p307) : MAX(p237) : MAX(p225 + p226 + p227 + p228 + p229 + p230) : MAX(p529) : MAX(p365)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 131380 markings, 142320 edges, 26276 markings/sec, 30 secs
lola: 261249 markings, 285037 edges, 25974 markings/sec, 35 secs
lola: 390104 markings, 427565 edges, 25771 markings/sec, 40 secs
lola: 518470 markings, 570926 edges, 25673 markings/sec, 45 secs
lola: 646198 markings, 712913 edges, 25546 markings/sec, 50 secs
lola: 772276 markings, 854032 edges, 25216 markings/sec, 55 secs
lola: 896555 markings, 994794 edges, 24856 markings/sec, 60 secs
lola: 1020422 markings, 1136023 edges, 24773 markings/sec, 65 secs
lola: 1144161 markings, 1278140 edges, 24748 markings/sec, 70 secs
lola: 1267419 markings, 1421354 edges, 24652 markings/sec, 75 secs
lola: 1390613 markings, 1563848 edges, 24639 markings/sec, 80 secs
lola: 1513399 markings, 1707336 edges, 24557 markings/sec, 85 secs
lola: 1635879 markings, 1851086 edges, 24496 markings/sec, 90 secs
lola: 1758372 markings, 1995981 edges, 24499 markings/sec, 95 secs
lola: 1880429 markings, 2140042 edges, 24411 markings/sec, 100 secs
lola: 2002468 markings, 2284187 edges, 24408 markings/sec, 105 secs
lola: 2124252 markings, 2428481 edges, 24357 markings/sec, 110 secs
lola: 2245988 markings, 2572288 edges, 24347 markings/sec, 115 secs
lola: 2367647 markings, 2717266 edges, 24332 markings/sec, 120 secs
lola: 2489150 markings, 2862129 edges, 24301 markings/sec, 125 secs
lola: 2610062 markings, 3005561 edges, 24182 markings/sec, 130 secs
lola: 2730903 markings, 3147550 edges, 24168 markings/sec, 135 secs
lola: 2852134 markings, 3291192 edges, 24246 markings/sec, 140 secs
lola: 2972997 markings, 3435524 edges, 24173 markings/sec, 145 secs
lola: 3093743 markings, 3577630 edges, 24149 markings/sec, 150 secs
lola: 3214502 markings, 3719791 edges, 24152 markings/sec, 155 secs
lola: 3335261 markings, 3861578 edges, 24152 markings/sec, 160 secs
lola: 3455777 markings, 4002954 edges, 24103 markings/sec, 165 secs
lola: 3576254 markings, 4146727 edges, 24095 markings/sec, 170 secs
lola: 3696245 markings, 4288784 edges, 23998 markings/sec, 175 secs
lola: 3815537 markings, 4429252 edges, 23858 markings/sec, 180 secs
lola: 3937940 markings, 4572950 edges, 24481 markings/sec, 185 secs
lola: 4057645 markings, 4716326 edges, 23941 markings/sec, 190 secs
lola: 4177432 markings, 4858368 edges, 23957 markings/sec, 195 secs
lola: 4299229 markings, 5000721 edges, 24359 markings/sec, 200 secs
lola: 4419878 markings, 5143776 edges, 24130 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 539776 KB
lola: time consumption: 367 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p22)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p206)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p206)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 128392 markings, 138923 edges, 25678 markings/sec, 30 secs
lola: 255158 markings, 278412 edges, 25353 markings/sec, 35 secs
lola: 380981 markings, 417343 edges, 25165 markings/sec, 40 secs
lola: 506177 markings, 557681 edges, 25039 markings/sec, 45 secs
lola: 631616 markings, 696711 edges, 25088 markings/sec, 50 secs
lola: 756936 markings, 836810 edges, 25064 markings/sec, 55 secs
lola: 881895 markings, 978319 edges, 24992 markings/sec, 60 secs
lola: 1006451 markings, 1120048 edges, 24911 markings/sec, 65 secs
lola: 1130819 markings, 1262874 edges, 24874 markings/sec, 70 secs
lola: 1254723 markings, 1406239 edges, 24781 markings/sec, 75 secs
lola: 1378386 markings, 1549645 edges, 24733 markings/sec, 80 secs
lola: 1500946 markings, 1692612 edges, 24512 markings/sec, 85 secs
lola: 1623872 markings, 1836682 edges, 24585 markings/sec, 90 secs
lola: 1746930 markings, 1982121 edges, 24612 markings/sec, 95 secs
lola: 1869503 markings, 2127020 edges, 24515 markings/sec, 100 secs
lola: 1991999 markings, 2271729 edges, 24499 markings/sec, 105 secs
lola: 2114271 markings, 2416662 edges, 24454 markings/sec, 110 secs
lola: 2236465 markings, 2561032 edges, 24439 markings/sec, 115 secs
lola: 2358577 markings, 2706424 edges, 24422 markings/sec, 120 secs
lola: 2480455 markings, 2851779 edges, 24376 markings/sec, 125 secs
lola: 2601907 markings, 2995849 edges, 24290 markings/sec, 130 secs
lola: 2723304 markings, 3138693 edges, 24279 markings/sec, 135 secs
lola: 2844982 markings, 3282792 edges, 24336 markings/sec, 140 secs
lola: 2966108 markings, 3427292 edges, 24225 markings/sec, 145 secs
lola: 3087315 markings, 3570097 edges, 24241 markings/sec, 150 secs
lola: 3208518 markings, 3712995 edges, 24241 markings/sec, 155 secs
lola: 3329534 markings, 3854769 edges, 24203 markings/sec, 160 secs
lola: 3450361 markings, 3996424 edges, 24165 markings/sec, 165 secs
lola: 3571268 markings, 4140762 edges, 24181 markings/sec, 170 secs
lola: 3691685 markings, 4283310 edges, 24083 markings/sec, 175 secs
lola: 3811181 markings, 4423963 edges, 23899 markings/sec, 180 secs
lola: 3933713 markings, 4568167 edges, 24506 markings/sec, 185 secs
lola: 4053989 markings, 4712001 edges, 24055 markings/sec, 190 secs
lola: 4174037 markings, 4854337 edges, 24010 markings/sec, 195 secs
lola: 4296078 markings, 4996863 edges, 24408 markings/sec, 200 secs
lola: 4416910 markings, 5140191 edges, 24166 markings/sec, 205 secs
lola: 4536857 markings, 5284185 edges, 23989 markings/sec, 210 secs
lola: 4656360 markings, 5425800 edges, 23901 markings/sec, 215 secs
lola: 4777743 markings, 5570028 edges, 24277 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 574816 KB
lola: time consumption: 598 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p237)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p237)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 4
lola: 76689 markings, 88375 edges, 15338 markings/sec, 0 secs
lola: 219361 markings, 253064 edges, 28534 markings/sec, 5 secs
lola: 361035 markings, 420379 edges, 28335 markings/sec, 10 secs
lola: 501741 markings, 585612 edges, 28141 markings/sec, 15 secs
lola: 641422 markings, 749632 edges, 27936 markings/sec, 20 secs
lola: 773552 markings, 904913 edges, 26426 markings/sec, 25 secs
lola: 910454 markings, 1067212 edges, 27380 markings/sec, 30 secs
lola: 1046367 markings, 1228966 edges, 27183 markings/sec, 35 secs
lola: 1181916 markings, 1393008 edges, 27110 markings/sec, 40 secs
lola: 1316882 markings, 1556409 edges, 26993 markings/sec, 45 secs
lola: 1451377 markings, 1718738 edges, 26899 markings/sec, 50 secs
lola: 1585453 markings, 1882238 edges, 26815 markings/sec, 55 secs
lola: 1719174 markings, 2044199 edges, 26744 markings/sec, 60 secs
lola: 1852737 markings, 2206330 edges, 26713 markings/sec, 65 secs
lola: 1985689 markings, 2366951 edges, 26590 markings/sec, 70 secs
lola: 2118230 markings, 2527543 edges, 26508 markings/sec, 75 secs
lola: 2250897 markings, 2688647 edges, 26533 markings/sec, 80 secs
lola: 2382693 markings, 2848110 edges, 26359 markings/sec, 85 secs
lola: 2514322 markings, 3007415 edges, 26326 markings/sec, 90 secs
lola: 2645981 markings, 3167864 edges, 26332 markings/sec, 95 secs
lola: 2777265 markings, 3325702 edges, 26257 markings/sec, 100 secs
lola: 2908757 markings, 3486013 edges, 26298 markings/sec, 105 secs
lola: 3039653 markings, 3643337 edges, 26179 markings/sec, 110 secs
lola: 3170767 markings, 3800208 edges, 26223 markings/sec, 115 secs
lola: 3301023 markings, 3955585 edges, 26051 markings/sec, 120 secs
lola: 3431052 markings, 4110258 edges, 26006 markings/sec, 125 secs
lola: 3560041 markings, 4261837 edges, 25798 markings/sec, 130 secs
lola: 3689811 markings, 4417200 edges, 25954 markings/sec, 135 secs
lola: 3819575 markings, 4573160 edges, 25953 markings/sec, 140 secs
lola: 3949757 markings, 4728365 edges, 26036 markings/sec, 145 secs
lola: 4080561 markings, 4882336 edges, 26161 markings/sec, 150 secs
lola: 4210465 markings, 5035275 edges, 25981 markings/sec, 155 secs
lola: 4340769 markings, 5190375 edges, 26061 markings/sec, 160 secs
lola: 4471192 markings, 5346136 edges, 26085 markings/sec, 165 secs
lola: 4599280 markings, 5501363 edges, 25618 markings/sec, 170 secs
lola: 4728500 markings, 5653737 edges, 25844 markings/sec, 175 secs
lola: 4857416 markings, 5809235 edges, 25783 markings/sec, 180 secs
lola: 4985372 markings, 5960669 edges, 25591 markings/sec, 185 secs
lola: 5114108 markings, 6115777 edges, 25747 markings/sec, 190 secs
lola: 5240370 markings, 6266747 edges, 25252 markings/sec, 195 secs
lola: 5366947 markings, 6420335 edges, 25315 markings/sec, 200 secs
lola: 5494012 markings, 6571117 edges, 25413 markings/sec, 205 secs
lola: 5617794 markings, 6719942 edges, 24756 markings/sec, 210 secs
lola: 5742096 markings, 6866340 edges, 24860 markings/sec, 215 secs
lola: 5870349 markings, 7018027 edges, 25651 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 674176 KB
lola: time consumption: 826 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p529)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p529)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 141067 markings, 166012 edges, 28213 markings/sec, 30 secs
lola: 280879 markings, 330201 edges, 27962 markings/sec, 35 secs
lola: 419968 markings, 494519 edges, 27818 markings/sec, 40 secs
lola: 558137 markings, 657900 edges, 27634 markings/sec, 45 secs
lola: 695782 markings, 820061 edges, 27529 markings/sec, 50 secs
lola: 833046 markings, 982403 edges, 27453 markings/sec, 55 secs
lola: 969748 markings, 1145698 edges, 27340 markings/sec, 60 secs
lola: 1105941 markings, 1308079 edges, 27239 markings/sec, 65 secs
lola: 1241815 markings, 1469865 edges, 27175 markings/sec, 70 secs
lola: 1377260 markings, 1631461 edges, 27089 markings/sec, 75 secs
lola: 1512312 markings, 1793076 edges, 27010 markings/sec, 80 secs
lola: 1647076 markings, 1954660 edges, 26953 markings/sec, 85 secs
lola: 1781432 markings, 2114684 edges, 26871 markings/sec, 90 secs
lola: 1915278 markings, 2277020 edges, 26769 markings/sec, 95 secs
lola: 2048714 markings, 2438889 edges, 26687 markings/sec, 100 secs
lola: 2181755 markings, 2599524 edges, 26608 markings/sec, 105 secs
lola: 2314743 markings, 2760564 edges, 26598 markings/sec, 110 secs
lola: 2445936 markings, 2920147 edges, 26239 markings/sec, 115 secs
lola: 2576662 markings, 3080261 edges, 26145 markings/sec, 120 secs
lola: 2706983 markings, 3239101 edges, 26064 markings/sec, 125 secs
lola: 2837195 markings, 3396501 edges, 26042 markings/sec, 130 secs
lola: 2967265 markings, 3554107 edges, 26014 markings/sec, 135 secs
lola: 3096769 markings, 3708917 edges, 25901 markings/sec, 140 secs
lola: 3226163 markings, 3863601 edges, 25879 markings/sec, 145 secs
lola: 3355651 markings, 4017938 edges, 25898 markings/sec, 150 secs
lola: 3484910 markings, 4171704 edges, 25852 markings/sec, 155 secs
lola: 3614028 markings, 4325441 edges, 25824 markings/sec, 160 secs
lola: 3742448 markings, 4478339 edges, 25684 markings/sec, 165 secs
lola: 3871459 markings, 4634188 edges, 25802 markings/sec, 170 secs
lola: 3999409 markings, 4785541 edges, 25590 markings/sec, 175 secs
lola: 4128905 markings, 4939616 edges, 25899 markings/sec, 180 secs
lola: 4257551 markings, 5089604 edges, 25729 markings/sec, 185 secs
lola: 4386168 markings, 5241188 edges, 25723 markings/sec, 190 secs
lola: 4514430 markings, 5393457 edges, 25652 markings/sec, 195 secs
lola: 4641240 markings, 5542616 edges, 25362 markings/sec, 200 secs
lola: 4769103 markings, 5690736 edges, 25573 markings/sec, 205 secs
lola: 4896853 markings, 5840950 edges, 25550 markings/sec, 210 secs
lola: 5022185 markings, 5988203 edges, 25066 markings/sec, 215 secs
lola: 5144586 markings, 6132281 edges, 24480 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 611836 KB
lola: time consumption: 1054 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p365)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p365)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 133681 markings, 148117 edges, 26736 markings/sec, 30 secs
lola: 265680 markings, 297008 edges, 26400 markings/sec, 35 secs
lola: 398323 markings, 446978 edges, 26529 markings/sec, 40 secs
lola: 534310 markings, 600868 edges, 27197 markings/sec, 45 secs
lola: 670265 markings, 755090 edges, 27191 markings/sec, 50 secs
lola: 807515 markings, 911820 edges, 27450 markings/sec, 55 secs
lola: 944168 markings, 1068295 edges, 27331 markings/sec, 60 secs
lola: 1081285 markings, 1226107 edges, 27423 markings/sec, 65 secs
lola: 1218204 markings, 1384287 edges, 27384 markings/sec, 70 secs
lola: 1354452 markings, 1542664 edges, 27250 markings/sec, 75 secs
lola: 1490716 markings, 1701637 edges, 27253 markings/sec, 80 secs
lola: 1626880 markings, 1859581 edges, 27233 markings/sec, 85 secs
lola: 1762645 markings, 2017189 edges, 27153 markings/sec, 90 secs
lola: 1897848 markings, 2175346 edges, 27041 markings/sec, 95 secs
lola: 2032073 markings, 2332330 edges, 26845 markings/sec, 100 secs
lola: 2166760 markings, 2490563 edges, 26937 markings/sec, 105 secs
lola: 2302153 markings, 2649553 edges, 27079 markings/sec, 110 secs
lola: 2436525 markings, 2806964 edges, 26874 markings/sec, 115 secs
lola: 2569908 markings, 2963526 edges, 26677 markings/sec, 120 secs
lola: 2702851 markings, 3119240 edges, 26589 markings/sec, 125 secs
lola: 2835856 markings, 3275425 edges, 26601 markings/sec, 130 secs
lola: 2968834 markings, 3432031 edges, 26596 markings/sec, 135 secs
lola: 3103141 markings, 3589562 edges, 26861 markings/sec, 140 secs
lola: 3236522 markings, 3745382 edges, 26676 markings/sec, 145 secs
lola: 3368845 markings, 3900150 edges, 26465 markings/sec, 150 secs
lola: 3501108 markings, 4054159 edges, 26453 markings/sec, 155 secs
lola: 3634389 markings, 4208170 edges, 26656 markings/sec, 160 secs
lola: 3767557 markings, 4362235 edges, 26634 markings/sec, 165 secs
lola: 3899697 markings, 4514829 edges, 26428 markings/sec, 170 secs
lola: 4030643 markings, 4665896 edges, 26189 markings/sec, 175 secs
lola: 4157420 markings, 4811809 edges, 25355 markings/sec, 180 secs
lola: 4283444 markings, 4957644 edges, 25205 markings/sec, 185 secs
lola: 4407694 markings, 5102258 edges, 24850 markings/sec, 190 secs
lola: 4531567 markings, 5246232 edges, 24775 markings/sec, 195 secs
lola: 4660083 markings, 5395373 edges, 25703 markings/sec, 200 secs
lola: 4790937 markings, 5549443 edges, 26171 markings/sec, 205 secs
lola: 4922105 markings, 5701757 edges, 26234 markings/sec, 210 secs
lola: 5053704 markings, 5854752 edges, 26320 markings/sec, 215 secs
lola: 5183756 markings, 6006259 edges, 26010 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 621176 KB
lola: time consumption: 1282 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p302 + p303 + p304 + p305 + p306 + p307)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p302 + p303 + p304 + p305 + p306 + p307)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 146376 markings, 157176 edges, 29275 markings/sec, 30 secs
lola: 290343 markings, 314101 edges, 28793 markings/sec, 35 secs
lola: 433881 markings, 473323 edges, 28708 markings/sec, 40 secs
lola: 576732 markings, 632949 edges, 28570 markings/sec, 45 secs
lola: 719520 markings, 792663 edges, 28558 markings/sec, 50 secs
lola: 862519 markings, 954897 edges, 28600 markings/sec, 55 secs
lola: 1002893 markings, 1114680 edges, 28075 markings/sec, 60 secs
lola: 1145304 markings, 1278189 edges, 28482 markings/sec, 65 secs
lola: 1287111 markings, 1442269 edges, 28361 markings/sec, 70 secs
lola: 1427901 markings, 1606282 edges, 28158 markings/sec, 75 secs
lola: 1565125 markings, 1766439 edges, 27445 markings/sec, 80 secs
lola: 1704064 markings, 1928589 edges, 27788 markings/sec, 85 secs
lola: 1843766 markings, 2092871 edges, 27940 markings/sec, 90 secs
lola: 1982613 markings, 2256191 edges, 27769 markings/sec, 95 secs
lola: 2120316 markings, 2418273 edges, 27541 markings/sec, 100 secs
lola: 2256075 markings, 2578784 edges, 27152 markings/sec, 105 secs
lola: 2392691 markings, 2739220 edges, 27323 markings/sec, 110 secs
lola: 2529371 markings, 2898597 edges, 27336 markings/sec, 115 secs
lola: 2666176 markings, 3059297 edges, 27361 markings/sec, 120 secs
lola: 2801877 markings, 3217965 edges, 27140 markings/sec, 125 secs
lola: 2936302 markings, 3374726 edges, 26885 markings/sec, 130 secs
lola: 3070549 markings, 3532759 edges, 26849 markings/sec, 135 secs
lola: 3204091 markings, 3688060 edges, 26708 markings/sec, 140 secs
lola: 3338369 markings, 3845080 edges, 26856 markings/sec, 145 secs
lola: 3472340 markings, 4002469 edges, 26794 markings/sec, 150 secs
lola: 3606485 markings, 4160976 edges, 26829 markings/sec, 155 secs
lola: 3739573 markings, 4316818 edges, 26618 markings/sec, 160 secs
lola: 3872938 markings, 4473644 edges, 26673 markings/sec, 165 secs
lola: 4004323 markings, 4625614 edges, 26277 markings/sec, 170 secs
lola: 4136159 markings, 4777875 edges, 26367 markings/sec, 175 secs
lola: 4268179 markings, 4933803 edges, 26404 markings/sec, 180 secs
lola: 4399137 markings, 5087992 edges, 26192 markings/sec, 185 secs
lola: 4531467 markings, 5243823 edges, 26466 markings/sec, 190 secs
lola: 4662140 markings, 5395807 edges, 26135 markings/sec, 195 secs
lola: 4793201 markings, 5550106 edges, 26212 markings/sec, 200 secs
lola: 4922949 markings, 5700417 edges, 25950 markings/sec, 205 secs
lola: 5051929 markings, 5851487 edges, 25796 markings/sec, 210 secs
lola: 5181660 markings, 6003972 edges, 25946 markings/sec, 215 secs
lola: 5310941 markings, 6155806 edges, 25856 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 630796 KB
lola: time consumption: 1510 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p511 + p512 + p513 + p514 + p515 + p516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p511 + p512 + p513 + p514 + p515 + p516)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 128828 markings, 151541 edges, 25766 markings/sec, 30 secs
lola: 257506 markings, 303203 edges, 25736 markings/sec, 35 secs
lola: 384887 markings, 453834 edges, 25476 markings/sec, 40 secs
lola: 512360 markings, 604903 edges, 25495 markings/sec, 45 secs
lola: 639563 markings, 755422 edges, 25441 markings/sec, 50 secs
lola: 766592 markings, 906330 edges, 25406 markings/sec, 55 secs
lola: 893020 markings, 1055601 edges, 25286 markings/sec, 60 secs
lola: 1019498 markings, 1206610 edges, 25296 markings/sec, 65 secs
lola: 1145333 markings, 1356711 edges, 25167 markings/sec, 70 secs
lola: 1271405 markings, 1506924 edges, 25214 markings/sec, 75 secs
lola: 1397135 markings, 1657141 edges, 25146 markings/sec, 80 secs
lola: 1522439 markings, 1806772 edges, 25061 markings/sec, 85 secs
lola: 1646519 markings, 1954572 edges, 24816 markings/sec, 90 secs
lola: 1769887 markings, 2101005 edges, 24674 markings/sec, 95 secs
lola: 1894801 markings, 2249359 edges, 24983 markings/sec, 100 secs
lola: 2017903 markings, 2397250 edges, 24620 markings/sec, 105 secs
lola: 2142431 markings, 2547905 edges, 24906 markings/sec, 110 secs
lola: 2266100 markings, 2696503 edges, 24734 markings/sec, 115 secs
lola: 2389774 markings, 2845207 edges, 24735 markings/sec, 120 secs
lola: 2513273 markings, 2992798 edges, 24700 markings/sec, 125 secs
lola: 2636494 markings, 3141649 edges, 24644 markings/sec, 130 secs
lola: 2759813 markings, 3289937 edges, 24664 markings/sec, 135 secs
lola: 2883418 markings, 3439252 edges, 24721 markings/sec, 140 secs
lola: 3007561 markings, 3589012 edges, 24829 markings/sec, 145 secs
lola: 3131776 markings, 3735960 edges, 24843 markings/sec, 150 secs
lola: 3255761 markings, 3884115 edges, 24797 markings/sec, 155 secs
lola: 3379258 markings, 4030731 edges, 24699 markings/sec, 160 secs
lola: 3503202 markings, 4176295 edges, 24789 markings/sec, 165 secs
lola: 3626982 markings, 4323143 edges, 24756 markings/sec, 170 secs
lola: 3750255 markings, 4468359 edges, 24655 markings/sec, 175 secs
lola: 3873833 markings, 4614385 edges, 24716 markings/sec, 180 secs
lola: 3998078 markings, 4758900 edges, 24849 markings/sec, 185 secs
lola: 4121500 markings, 4901818 edges, 24684 markings/sec, 190 secs
lola: 4244346 markings, 5045484 edges, 24569 markings/sec, 195 secs
lola: 4367260 markings, 5188875 edges, 24583 markings/sec, 200 secs
lola: 4489338 markings, 5330758 edges, 24416 markings/sec, 205 secs
lola: 4615180 markings, 5477175 edges, 25168 markings/sec, 210 secs
lola: 4737460 markings, 5620454 edges, 24456 markings/sec, 215 secs
lola: 4859382 markings, 5761311 edges, 24384 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 582376 KB
lola: time consumption: 1738 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p225 + p226 + p227 + p228 + p229 + p230)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p225 + p226 + p227 + p228 + p229 + p230)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 134573 markings, 154525 edges, 26915 markings/sec, 30 secs
lola: 263067 markings, 312980 edges, 25699 markings/sec, 35 secs
lola: 391014 markings, 473630 edges, 25589 markings/sec, 40 secs
lola: 520027 markings, 633598 edges, 25803 markings/sec, 45 secs
lola: 648677 markings, 794394 edges, 25730 markings/sec, 50 secs
lola: 774761 markings, 955772 edges, 25217 markings/sec, 55 secs
lola: 900724 markings, 1116610 edges, 25193 markings/sec, 60 secs
lola: 1029015 markings, 1277829 edges, 25658 markings/sec, 65 secs
lola: 1156804 markings, 1440046 edges, 25558 markings/sec, 70 secs
lola: 1284217 markings, 1600329 edges, 25483 markings/sec, 75 secs
lola: 1410625 markings, 1759904 edges, 25282 markings/sec, 80 secs
lola: 1537512 markings, 1920814 edges, 25377 markings/sec, 85 secs
lola: 1663658 markings, 2079971 edges, 25229 markings/sec, 90 secs
lola: 1790794 markings, 2239199 edges, 25427 markings/sec, 95 secs
lola: 1917758 markings, 2397949 edges, 25393 markings/sec, 100 secs
lola: 2044470 markings, 2558484 edges, 25342 markings/sec, 105 secs
lola: 2171537 markings, 2717312 edges, 25413 markings/sec, 110 secs
lola: 2288522 markings, 2865267 edges, 23397 markings/sec, 115 secs
lola: 2415157 markings, 3022448 edges, 25327 markings/sec, 120 secs
lola: 2541646 markings, 3180427 edges, 25298 markings/sec, 125 secs
lola: 2668037 markings, 3338088 edges, 25278 markings/sec, 130 secs
lola: 2794570 markings, 3496838 edges, 25307 markings/sec, 135 secs
lola: 2921249 markings, 3655809 edges, 25336 markings/sec, 140 secs
lola: 3047919 markings, 3817599 edges, 25334 markings/sec, 145 secs
lola: 3173617 markings, 3978690 edges, 25140 markings/sec, 150 secs
lola: 3299081 markings, 4139177 edges, 25093 markings/sec, 155 secs
lola: 3423848 markings, 4302070 edges, 24953 markings/sec, 160 secs
lola: 3549101 markings, 4463052 edges, 25051 markings/sec, 165 secs
lola: 3674372 markings, 4624199 edges, 25054 markings/sec, 170 secs
lola: 3799001 markings, 4784206 edges, 24926 markings/sec, 175 secs
lola: 3922863 markings, 4947507 edges, 24772 markings/sec, 180 secs
lola: 4046525 markings, 5109306 edges, 24732 markings/sec, 185 secs
lola: 4171155 markings, 5271053 edges, 24926 markings/sec, 190 secs
lola: 4295279 markings, 5432997 edges, 24825 markings/sec, 195 secs
lola: 4419172 markings, 5594243 edges, 24779 markings/sec, 200 secs
lola: 4543348 markings, 5757432 edges, 24835 markings/sec, 205 secs
lola: 4667758 markings, 5919239 edges, 24882 markings/sec, 210 secs
lola: 4791708 markings, 6082111 edges, 24790 markings/sec, 215 secs
lola: 4915290 markings, 6244343 edges, 24716 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 550152 KB
lola: time consumption: 1967 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p320 + p321 + p322 + p323 + p324 + p325)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p320 + p321 + p322 + p323 + p324 + p325)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 135604 markings, 164182 edges, 27121 markings/sec, 30 secs
lola: 267589 markings, 332736 edges, 26397 markings/sec, 35 secs
lola: 396826 markings, 502964 edges, 25847 markings/sec, 40 secs
lola: 514342 markings, 654021 edges, 23503 markings/sec, 45 secs
lola: 642965 markings, 822936 edges, 25725 markings/sec, 50 secs
lola: 770077 markings, 989373 edges, 25422 markings/sec, 55 secs
lola: 898435 markings, 1158354 edges, 25672 markings/sec, 60 secs
lola: 1025910 markings, 1328316 edges, 25495 markings/sec, 65 secs
lola: 1154067 markings, 1498172 edges, 25631 markings/sec, 70 secs
lola: 1275858 markings, 1664309 edges, 24358 markings/sec, 75 secs
lola: 1404396 markings, 1834524 edges, 25708 markings/sec, 80 secs
lola: 1533326 markings, 2005705 edges, 25786 markings/sec, 85 secs
lola: 1661144 markings, 2178088 edges, 25564 markings/sec, 90 secs
lola: 1789460 markings, 2351188 edges, 25663 markings/sec, 95 secs
lola: 1917585 markings, 2523028 edges, 25625 markings/sec, 100 secs
lola: 2046018 markings, 2694268 edges, 25687 markings/sec, 105 secs
lola: 2173527 markings, 2867189 edges, 25502 markings/sec, 110 secs
lola: 2301804 markings, 3040086 edges, 25655 markings/sec, 115 secs
lola: 2429142 markings, 3213459 edges, 25468 markings/sec, 120 secs
lola: 2556536 markings, 3387117 edges, 25479 markings/sec, 125 secs
lola: 2684692 markings, 3558582 edges, 25631 markings/sec, 130 secs
lola: 2812175 markings, 3732349 edges, 25497 markings/sec, 135 secs
lola: 2940562 markings, 3904240 edges, 25677 markings/sec, 140 secs
lola: 3068992 markings, 4075190 edges, 25686 markings/sec, 145 secs
lola: 3197733 markings, 4246028 edges, 25748 markings/sec, 150 secs
lola: 3326469 markings, 4416934 edges, 25747 markings/sec, 155 secs
lola: 3455020 markings, 4587383 edges, 25710 markings/sec, 160 secs
lola: 3583640 markings, 4758216 edges, 25724 markings/sec, 165 secs
lola: 3712620 markings, 4927393 edges, 25796 markings/sec, 170 secs
lola: 3841193 markings, 5097648 edges, 25715 markings/sec, 175 secs
lola: 3969614 markings, 5267353 edges, 25684 markings/sec, 180 secs
lola: 4098095 markings, 5437884 edges, 25696 markings/sec, 185 secs
lola: 4226961 markings, 5604180 edges, 25773 markings/sec, 190 secs
lola: 4355814 markings, 5771996 edges, 25771 markings/sec, 195 secs
lola: 4484346 markings, 5941898 edges, 25706 markings/sec, 200 secs
lola: 4612122 markings, 6113070 edges, 25555 markings/sec, 205 secs
lola: 4739032 markings, 6282632 edges, 25382 markings/sec, 210 secs
lola: 4867418 markings, 6451907 edges, 25677 markings/sec, 215 secs
lola: 4995690 markings, 6619576 edges, 25654 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 575928 KB
lola: time consumption: 2196 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p450 + p451 + p452 + p453 + p454 + p455)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p450 + p451 + p452 + p453 + p454 + p455)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 142907 markings, 158165 edges, 28581 markings/sec, 30 secs
lola: 283618 markings, 317234 edges, 28142 markings/sec, 35 secs
lola: 423219 markings, 474947 edges, 27920 markings/sec, 40 secs
lola: 562154 markings, 632253 edges, 27787 markings/sec, 45 secs
lola: 700802 markings, 790198 edges, 27730 markings/sec, 50 secs
lola: 839533 markings, 948213 edges, 27746 markings/sec, 55 secs
lola: 977820 markings, 1106995 edges, 27657 markings/sec, 60 secs
lola: 1115791 markings, 1266147 edges, 27594 markings/sec, 65 secs
lola: 1253377 markings, 1425374 edges, 27517 markings/sec, 70 secs
lola: 1390534 markings, 1584358 edges, 27431 markings/sec, 75 secs
lola: 1527575 markings, 1744573 edges, 27408 markings/sec, 80 secs
lola: 1664531 markings, 1903365 edges, 27391 markings/sec, 85 secs
lola: 1801258 markings, 2062257 edges, 27345 markings/sec, 90 secs
lola: 1937763 markings, 2221995 edges, 27301 markings/sec, 95 secs
lola: 2074146 markings, 2381669 edges, 27277 markings/sec, 100 secs
lola: 2210259 markings, 2541491 edges, 27223 markings/sec, 105 secs
lola: 2346103 markings, 2700889 edges, 27169 markings/sec, 110 secs
lola: 2481800 markings, 2860010 edges, 27139 markings/sec, 115 secs
lola: 2617341 markings, 3019080 edges, 27108 markings/sec, 120 secs
lola: 2752460 markings, 3177644 edges, 27024 markings/sec, 125 secs
lola: 2882292 markings, 3330038 edges, 25966 markings/sec, 130 secs
lola: 3017302 markings, 3488792 edges, 27002 markings/sec, 135 secs
lola: 3151966 markings, 3646645 edges, 26933 markings/sec, 140 secs
lola: 3286183 markings, 3803936 edges, 26843 markings/sec, 145 secs
lola: 3420215 markings, 3959916 edges, 26806 markings/sec, 150 secs
lola: 3553947 markings, 4115487 edges, 26746 markings/sec, 155 secs
lola: 3687392 markings, 4269867 edges, 26689 markings/sec, 160 secs
lola: 3821428 markings, 4424747 edges, 26807 markings/sec, 165 secs
lola: 3954239 markings, 4578061 edges, 26562 markings/sec, 170 secs
lola: 4086642 markings, 4730825 edges, 26481 markings/sec, 175 secs
lola: 4219724 markings, 4883768 edges, 26616 markings/sec, 180 secs
lola: 4352115 markings, 5037647 edges, 26478 markings/sec, 185 secs
lola: 4484487 markings, 5191517 edges, 26474 markings/sec, 190 secs
lola: 4616718 markings, 5344818 edges, 26446 markings/sec, 195 secs
lola: 4748811 markings, 5500241 edges, 26419 markings/sec, 200 secs
lola: 4880436 markings, 5653242 edges, 26325 markings/sec, 205 secs
lola: 5013038 markings, 5807476 edges, 26520 markings/sec, 210 secs
lola: 5144849 markings, 5960641 edges, 26362 markings/sec, 215 secs
lola: 5276265 markings, 6114047 edges, 26283 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 633504 KB
lola: time consumption: 2425 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p381 + p382 + p383 + p384 + p385 + p386 + p387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p381 + p382 + p383 + p384 + p385 + p386 + p387)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 144380 markings, 170305 edges, 28876 markings/sec, 30 secs
lola: 287495 markings, 339317 edges, 28623 markings/sec, 35 secs
lola: 429672 markings, 508183 edges, 28435 markings/sec, 40 secs
lola: 571287 markings, 676075 edges, 28323 markings/sec, 45 secs
lola: 712514 markings, 844099 edges, 28245 markings/sec, 50 secs
lola: 853267 markings, 1011395 edges, 28151 markings/sec, 55 secs
lola: 993664 markings, 1178701 edges, 28079 markings/sec, 60 secs
lola: 1128545 markings, 1339282 edges, 26976 markings/sec, 65 secs
lola: 1268433 markings, 1506821 edges, 27978 markings/sec, 70 secs
lola: 1407964 markings, 1674713 edges, 27906 markings/sec, 75 secs
lola: 1547299 markings, 1841385 edges, 27867 markings/sec, 80 secs
lola: 1686458 markings, 2009592 edges, 27832 markings/sec, 85 secs
lola: 1825206 markings, 2176367 edges, 27750 markings/sec, 90 secs
lola: 1963612 markings, 2341978 edges, 27681 markings/sec, 95 secs
lola: 2101832 markings, 2507713 edges, 27644 markings/sec, 100 secs
lola: 2239784 markings, 2674942 edges, 27590 markings/sec, 105 secs
lola: 2377561 markings, 2840698 edges, 27555 markings/sec, 110 secs
lola: 2515130 markings, 3009323 edges, 27514 markings/sec, 115 secs
lola: 2652431 markings, 3176105 edges, 27460 markings/sec, 120 secs
lola: 2789454 markings, 3341561 edges, 27405 markings/sec, 125 secs
lola: 2926402 markings, 3508463 edges, 27390 markings/sec, 130 secs
lola: 3063313 markings, 3673825 edges, 27382 markings/sec, 135 secs
lola: 3200065 markings, 3838066 edges, 27350 markings/sec, 140 secs
lola: 3336823 markings, 4001372 edges, 27352 markings/sec, 145 secs
lola: 3472746 markings, 4161515 edges, 27185 markings/sec, 150 secs
lola: 3608701 markings, 4319847 edges, 27191 markings/sec, 155 secs
lola: 3741868 markings, 4476442 edges, 26633 markings/sec, 160 secs
lola: 3867665 markings, 4627156 edges, 25159 markings/sec, 165 secs
lola: 4002976 markings, 4785015 edges, 27062 markings/sec, 170 secs
lola: 4138223 markings, 4943273 edges, 27049 markings/sec, 175 secs
lola: 4273408 markings, 5100731 edges, 27037 markings/sec, 180 secs
lola: 4408423 markings, 5258986 edges, 27003 markings/sec, 185 secs
lola: 4543482 markings, 5415707 edges, 27012 markings/sec, 190 secs
lola: 4671602 markings, 5565611 edges, 25624 markings/sec, 195 secs
lola: 4802531 markings, 5719126 edges, 26186 markings/sec, 200 secs
lola: 4925583 markings, 5863390 edges, 24610 markings/sec, 205 secs
lola: 5059109 markings, 6018233 edges, 26705 markings/sec, 210 secs
lola: 5191839 markings, 6173598 edges, 26546 markings/sec, 215 secs
lola: 5324598 markings, 6329882 edges, 26552 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 632244 KB
lola: time consumption: 2654 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268)
lola: processed formula length: 86
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 140172 markings, 160460 edges, 28034 markings/sec, 30 secs
lola: 280002 markings, 323613 edges, 27966 markings/sec, 35 secs
lola: 419218 markings, 487059 edges, 27843 markings/sec, 40 secs
lola: 557814 markings, 650271 edges, 27719 markings/sec, 45 secs
lola: 695693 markings, 811644 edges, 27576 markings/sec, 50 secs
lola: 833079 markings, 973641 edges, 27477 markings/sec, 55 secs
lola: 969833 markings, 1135689 edges, 27351 markings/sec, 60 secs
lola: 1106510 markings, 1297525 edges, 27335 markings/sec, 65 secs
lola: 1243213 markings, 1459819 edges, 27341 markings/sec, 70 secs
lola: 1379139 markings, 1620861 edges, 27185 markings/sec, 75 secs
lola: 1514418 markings, 1780356 edges, 27056 markings/sec, 80 secs
lola: 1649636 markings, 1940214 edges, 27044 markings/sec, 85 secs
lola: 1784323 markings, 2099992 edges, 26937 markings/sec, 90 secs
lola: 1918568 markings, 2259819 edges, 26849 markings/sec, 95 secs
lola: 2052222 markings, 2417997 edges, 26731 markings/sec, 100 secs
lola: 2185923 markings, 2577634 edges, 26740 markings/sec, 105 secs
lola: 2318846 markings, 2736888 edges, 26585 markings/sec, 110 secs
lola: 2451438 markings, 2894648 edges, 26518 markings/sec, 115 secs
lola: 2583968 markings, 3053279 edges, 26506 markings/sec, 120 secs
lola: 2716398 markings, 3211564 edges, 26486 markings/sec, 125 secs
lola: 2847713 markings, 3367548 edges, 26263 markings/sec, 130 secs
lola: 2979187 markings, 3522971 edges, 26295 markings/sec, 135 secs
lola: 3109553 markings, 3675425 edges, 26073 markings/sec, 140 secs
lola: 3240834 markings, 3831190 edges, 26256 markings/sec, 145 secs
lola: 3371477 markings, 3985622 edges, 26129 markings/sec, 150 secs
lola: 3501572 markings, 4138806 edges, 26019 markings/sec, 155 secs
lola: 3632407 markings, 4293943 edges, 26167 markings/sec, 160 secs
lola: 3762230 markings, 4445928 edges, 25965 markings/sec, 165 secs
lola: 3892077 markings, 4599971 edges, 25969 markings/sec, 170 secs
lola: 4022199 markings, 4754300 edges, 26024 markings/sec, 175 secs
lola: 4151476 markings, 4907320 edges, 25855 markings/sec, 180 secs
lola: 4279860 markings, 5057393 edges, 25677 markings/sec, 185 secs
lola: 4408189 markings, 5209480 edges, 25666 markings/sec, 190 secs
lola: 4536030 markings, 5360188 edges, 25568 markings/sec, 195 secs
lola: 4661005 markings, 5506015 edges, 24995 markings/sec, 200 secs
lola: 4788974 markings, 5654917 edges, 25594 markings/sec, 205 secs
lola: 4916370 markings, 5805891 edges, 25479 markings/sec, 210 secs
lola: 5041979 markings, 5953072 edges, 25122 markings/sec, 215 secs
lola: 5162390 markings, 6095485 edges, 24082 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 600028 KB
lola: time consumption: 2883 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131)
lola: processed formula length: 86
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 135204 markings, 156566 edges, 27041 markings/sec, 30 secs
lola: 269746 markings, 315060 edges, 26908 markings/sec, 35 secs
lola: 403035 markings, 471377 edges, 26658 markings/sec, 40 secs
lola: 535704 markings, 628168 edges, 26534 markings/sec, 45 secs
lola: 668728 markings, 785272 edges, 26605 markings/sec, 50 secs
lola: 802082 markings, 942710 edges, 26671 markings/sec, 55 secs
lola: 934939 markings, 1100749 edges, 26571 markings/sec, 60 secs
lola: 1067615 markings, 1259227 edges, 26535 markings/sec, 65 secs
lola: 1199730 markings, 1417594 edges, 26423 markings/sec, 70 secs
lola: 1331201 markings, 1576767 edges, 26294 markings/sec, 75 secs
lola: 1462335 markings, 1736520 edges, 26227 markings/sec, 80 secs
lola: 1593028 markings, 1893770 edges, 26139 markings/sec, 85 secs
lola: 1723455 markings, 2053067 edges, 26085 markings/sec, 90 secs
lola: 1853713 markings, 2211967 edges, 26052 markings/sec, 95 secs
lola: 1982558 markings, 2368795 edges, 25769 markings/sec, 100 secs
lola: 2110907 markings, 2525377 edges, 25670 markings/sec, 105 secs
lola: 2235191 markings, 2676708 edges, 24857 markings/sec, 110 secs
lola: 2363114 markings, 2832080 edges, 25585 markings/sec, 115 secs
lola: 2490976 markings, 2987323 edges, 25572 markings/sec, 120 secs
lola: 2618489 markings, 3142227 edges, 25503 markings/sec, 125 secs
lola: 2745655 markings, 3295962 edges, 25433 markings/sec, 130 secs
lola: 2873965 markings, 3451225 edges, 25662 markings/sec, 135 secs
lola: 3001447 markings, 3604404 edges, 25496 markings/sec, 140 secs
lola: 3128638 markings, 3756018 edges, 25438 markings/sec, 145 secs
lola: 3256027 markings, 3909260 edges, 25478 markings/sec, 150 secs
lola: 3383308 markings, 4061539 edges, 25456 markings/sec, 155 secs
lola: 3510465 markings, 4212979 edges, 25431 markings/sec, 160 secs
lola: 3637897 markings, 4367779 edges, 25486 markings/sec, 165 secs
lola: 3764445 markings, 4518074 edges, 25310 markings/sec, 170 secs
lola: 3885554 markings, 4663415 edges, 24222 markings/sec, 175 secs
lola: 4007711 markings, 4808251 edges, 24431 markings/sec, 180 secs
lola: 4128271 markings, 4952245 edges, 24112 markings/sec, 185 secs
lola: 4248606 markings, 5097795 edges, 24067 markings/sec, 190 secs
lola: 4368972 markings, 5241652 edges, 24073 markings/sec, 195 secs
lola: 4489313 markings, 5385579 edges, 24068 markings/sec, 200 secs
lola: 4607863 markings, 5526390 edges, 23710 markings/sec, 205 secs
lola: 4727916 markings, 5668480 edges, 24011 markings/sec, 210 secs
lola: 4852715 markings, 5815590 edges, 24960 markings/sec, 215 secs
lola: 4978658 markings, 5967917 edges, 25189 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 576232 KB
lola: time consumption: 3113 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p11 + p13 + p14 + p12 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p11 + p13 + p14 + p12 + p10)
lola: processed formula length: 77
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 138015 markings, 162284 edges, 27603 markings/sec, 30 secs
lola: 274760 markings, 324652 edges, 27349 markings/sec, 35 secs
lola: 411462 markings, 485907 edges, 27340 markings/sec, 40 secs
lola: 547649 markings, 646371 edges, 27237 markings/sec, 45 secs
lola: 683179 markings, 806154 edges, 27106 markings/sec, 50 secs
lola: 818260 markings, 966191 edges, 27016 markings/sec, 55 secs
lola: 952611 markings, 1126170 edges, 26870 markings/sec, 60 secs
lola: 1085885 markings, 1285616 edges, 26655 markings/sec, 65 secs
lola: 1218322 markings, 1444453 edges, 26487 markings/sec, 70 secs
lola: 1350502 markings, 1603761 edges, 26436 markings/sec, 75 secs
lola: 1483426 markings, 1764697 edges, 26585 markings/sec, 80 secs
lola: 1615150 markings, 1923272 edges, 26345 markings/sec, 85 secs
lola: 1746515 markings, 2082014 edges, 26273 markings/sec, 90 secs
lola: 1877712 markings, 2242627 edges, 26239 markings/sec, 95 secs
lola: 2008667 markings, 2403360 edges, 26191 markings/sec, 100 secs
lola: 2133510 markings, 2554623 edges, 24969 markings/sec, 105 secs
lola: 2258770 markings, 2705772 edges, 25052 markings/sec, 110 secs
lola: 2389470 markings, 2864172 edges, 26140 markings/sec, 115 secs
lola: 2520045 markings, 3023175 edges, 26115 markings/sec, 120 secs
lola: 2646603 markings, 3175106 edges, 25312 markings/sec, 125 secs
lola: 2772445 markings, 3327507 edges, 25168 markings/sec, 130 secs
lola: 2899026 markings, 3478865 edges, 25316 markings/sec, 135 secs
lola: 3027720 markings, 3634095 edges, 25739 markings/sec, 140 secs
lola: 3157074 markings, 3790080 edges, 25871 markings/sec, 145 secs
lola: 3285410 markings, 3944769 edges, 25667 markings/sec, 150 secs
lola: 3413818 markings, 4096718 edges, 25682 markings/sec, 155 secs
lola: 3541990 markings, 4249634 edges, 25634 markings/sec, 160 secs
lola: 3669212 markings, 4402071 edges, 25444 markings/sec, 165 secs
lola: 3796879 markings, 4553860 edges, 25533 markings/sec, 170 secs
lola: 3924492 markings, 4704348 edges, 25523 markings/sec, 175 secs
lola: 4051612 markings, 4854504 edges, 25424 markings/sec, 180 secs
lola: 4177100 markings, 5005413 edges, 25098 markings/sec, 185 secs
lola: 4303950 markings, 5156694 edges, 25370 markings/sec, 190 secs
lola: 4430260 markings, 5305864 edges, 25262 markings/sec, 195 secs
lola: 4555426 markings, 5457172 edges, 25033 markings/sec, 200 secs
lola: 4681658 markings, 5605129 edges, 25246 markings/sec, 205 secs
lola: 4807172 markings, 5756224 edges, 25103 markings/sec, 210 secs
lola: 4932535 markings, 5906060 edges, 25073 markings/sec, 215 secs
lola: 5056104 markings, 6052608 edges, 24714 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 600428 KB
lola: time consumption: 3341 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436)
lola: processed formula length: 296
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: 139373 markings, 159992 edges, 27875 markings/sec, 30 secs
lola: 277633 markings, 321199 edges, 27652 markings/sec, 35 secs
lola: 415081 markings, 483470 edges, 27490 markings/sec, 40 secs
lola: 551447 markings, 643188 edges, 27273 markings/sec, 45 secs
lola: 687309 markings, 803211 edges, 27172 markings/sec, 50 secs
lola: 822768 markings, 964094 edges, 27092 markings/sec, 55 secs
lola: 957682 markings, 1125833 edges, 26983 markings/sec, 60 secs
lola: 1092306 markings, 1287915 edges, 26925 markings/sec, 65 secs
lola: 1226895 markings, 1449061 edges, 26918 markings/sec, 70 secs
lola: 1361128 markings, 1610301 edges, 26847 markings/sec, 75 secs
lola: 1494996 markings, 1771941 edges, 26774 markings/sec, 80 secs
lola: 1628607 markings, 1932208 edges, 26722 markings/sec, 85 secs
lola: 1762295 markings, 2092753 edges, 26738 markings/sec, 90 secs
lola: 1895742 markings, 2254219 edges, 26689 markings/sec, 95 secs
lola: 2029062 markings, 2415523 edges, 26664 markings/sec, 100 secs
lola: 2163226 markings, 2577103 edges, 26833 markings/sec, 105 secs
lola: 2296056 markings, 2736242 edges, 26566 markings/sec, 110 secs
lola: 2429298 markings, 2897744 edges, 26648 markings/sec, 115 secs
lola: 2561996 markings, 3058950 edges, 26540 markings/sec, 120 secs
lola: 2694496 markings, 3218452 edges, 26500 markings/sec, 125 secs
lola: 2826938 markings, 3379645 edges, 26488 markings/sec, 130 secs
lola: 2959030 markings, 3539508 edges, 26418 markings/sec, 135 secs
lola: 3090942 markings, 3699397 edges, 26382 markings/sec, 140 secs
lola: 3222301 markings, 3858814 edges, 26272 markings/sec, 145 secs
lola: 3354400 markings, 4018089 edges, 26420 markings/sec, 150 secs
lola: 3486607 markings, 4177552 edges, 26441 markings/sec, 155 secs
lola: 3618945 markings, 4336284 edges, 26468 markings/sec, 160 secs
lola: 3751268 markings, 4495728 edges, 26465 markings/sec, 165 secs
lola: 3883400 markings, 4655390 edges, 26426 markings/sec, 170 secs
lola: 4015738 markings, 4813333 edges, 26468 markings/sec, 175 secs
lola: 4148283 markings, 4972018 edges, 26509 markings/sec, 180 secs
lola: 4280128 markings, 5130787 edges, 26369 markings/sec, 185 secs
lola: 4412159 markings, 5289512 edges, 26406 markings/sec, 190 secs
lola: 4544250 markings, 5447881 edges, 26418 markings/sec, 195 secs
lola: 4675709 markings, 5605472 edges, 26292 markings/sec, 200 secs
lola: 4807825 markings, 5761116 edges, 26423 markings/sec, 205 secs
lola: 4939555 markings, 5917924 edges, 26346 markings/sec, 210 secs
lola: 5070336 markings, 6070668 edges, 26156 markings/sec, 215 secs
lola: 5201805 markings, 6228364 edges, 26294 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 616348 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T06-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: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 21484 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 21484 KB
lola: time consumption: 3570 seconds
BK_STOP 1526835442744
--------------------
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="PolyORBLF-COL-S02J06T06"
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/PolyORBLF-COL-S02J06T06.tgz
mv PolyORBLF-COL-S02J06T06 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 PolyORBLF-COL-S02J06T06, 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 r124-smll-152673526800030"
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 '
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 ;