Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r121-smll-155272326100043.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
Input is PolyORBLF-COL-S02J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-smll-155272326100043
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 4.1K Feb 12 09:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 09:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 8 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 8 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 00:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 5 00:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 4 12:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 4 12:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 1 08:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 1 08:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 154K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-00
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-01
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-02
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-03
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-04
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-05
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-06
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-07
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-08
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-09
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552884314957

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J06T10 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2656/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 27008
lola: finding significant places
lola: 844 places, 1812 transitions, 786 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2543 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: MAX(p842) : MAX(p433) : MAX(p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20) : MAX(p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534) : MAX(p229) : MAX(p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626) : MAX(p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277) : MAX(p567) : MAX(p741 + p742 + p743 + p744 + p745 + p746 + p747) : MAX(p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42) : MAX(p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32) : MAX(p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32) : MAX(p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297) : MAX(p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412) : MAX(p433) : MAX(p598)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p842)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p842)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 70963 markings, 82249 edges, 14193 markings/sec, 30 secs
lola: 141112 markings, 166211 edges, 14030 markings/sec, 35 secs
lola: 211101 markings, 250647 edges, 13998 markings/sec, 40 secs
lola: 280734 markings, 335226 edges, 13927 markings/sec, 45 secs
lola: 350243 markings, 418371 edges, 13902 markings/sec, 50 secs
lola: 419547 markings, 503107 edges, 13861 markings/sec, 55 secs
lola: 488791 markings, 587855 edges, 13849 markings/sec, 60 secs
lola: 558034 markings, 672149 edges, 13849 markings/sec, 65 secs
lola: 627336 markings, 755796 edges, 13860 markings/sec, 70 secs
lola: 696439 markings, 840273 edges, 13821 markings/sec, 75 secs
lola: 765239 markings, 924484 edges, 13760 markings/sec, 80 secs
lola: 834150 markings, 1008397 edges, 13782 markings/sec, 85 secs
lola: 903120 markings, 1092627 edges, 13794 markings/sec, 90 secs
lola: 971991 markings, 1176788 edges, 13774 markings/sec, 95 secs
lola: 1040920 markings, 1260122 edges, 13786 markings/sec, 100 secs
lola: 1109764 markings, 1344001 edges, 13769 markings/sec, 105 secs
lola: 1178361 markings, 1428145 edges, 13719 markings/sec, 110 secs
lola: 1247018 markings, 1512687 edges, 13731 markings/sec, 115 secs
lola: 1315626 markings, 1596781 edges, 13722 markings/sec, 120 secs
lola: 1384251 markings, 1681550 edges, 13725 markings/sec, 125 secs
lola: 1452942 markings, 1766395 edges, 13738 markings/sec, 130 secs
lola: 1521465 markings, 1849716 edges, 13705 markings/sec, 135 secs
lola: 1590022 markings, 1933814 edges, 13711 markings/sec, 140 secs
lola: 1658546 markings, 2018868 edges, 13705 markings/sec, 145 secs
lola: 1727024 markings, 2102647 edges, 13696 markings/sec, 150 secs
lola: 1795562 markings, 2186093 edges, 13708 markings/sec, 155 secs
lola: 1861043 markings, 2266122 edges, 13096 markings/sec, 160 secs
lola: 1928161 markings, 2348290 edges, 13424 markings/sec, 165 secs
lola: 1990994 markings, 2425820 edges, 12567 markings/sec, 170 secs
lola: 2059143 markings, 2509680 edges, 13630 markings/sec, 175 secs
lola: 2127324 markings, 2593332 edges, 13636 markings/sec, 180 secs
lola: 2195474 markings, 2676921 edges, 13630 markings/sec, 185 secs
lola: 2263580 markings, 2761320 edges, 13621 markings/sec, 190 secs
lola: 2331421 markings, 2844528 edges, 13568 markings/sec, 195 secs
lola: 2399238 markings, 2928335 edges, 13563 markings/sec, 200 secs
lola: 2467218 markings, 3011883 edges, 13596 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: 379808 KB
lola: time consumption: 345 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p433)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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-S02J06T10-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 230 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p229)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p229)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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-S02J06T10-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p567)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p567)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 77495 markings, 80206 edges, 15499 markings/sec, 30 secs
lola: 154272 markings, 159830 edges, 15355 markings/sec, 35 secs
lola: 230697 markings, 239370 edges, 15285 markings/sec, 40 secs
lola: 306816 markings, 319082 edges, 15224 markings/sec, 45 secs
lola: 382643 markings, 398607 edges, 15165 markings/sec, 50 secs
lola: 458504 markings, 478070 edges, 15172 markings/sec, 55 secs
lola: 534070 markings, 557101 edges, 15113 markings/sec, 60 secs
lola: 609214 markings, 636877 edges, 15029 markings/sec, 65 secs
lola: 684151 markings, 716520 edges, 14987 markings/sec, 70 secs
lola: 753993 markings, 790137 edges, 13968 markings/sec, 75 secs
lola: 830169 markings, 871117 edges, 15235 markings/sec, 80 secs
lola: 906558 markings, 951700 edges, 15278 markings/sec, 85 secs
lola: 982416 markings, 1032623 edges, 15172 markings/sec, 90 secs
lola: 1057651 markings, 1114136 edges, 15047 markings/sec, 95 secs
lola: 1133194 markings, 1195549 edges, 15109 markings/sec, 100 secs
lola: 1205544 markings, 1273600 edges, 14470 markings/sec, 105 secs
lola: 1280885 markings, 1355517 edges, 15068 markings/sec, 110 secs
lola: 1355897 markings, 1437866 edges, 15002 markings/sec, 115 secs
lola: 1430974 markings, 1520095 edges, 15015 markings/sec, 120 secs
lola: 1505867 markings, 1602489 edges, 14979 markings/sec, 125 secs
lola: 1581428 markings, 1683752 edges, 15112 markings/sec, 130 secs
lola: 1656299 markings, 1765837 edges, 14974 markings/sec, 135 secs
lola: 1730957 markings, 1848071 edges, 14932 markings/sec, 140 secs
lola: 1805774 markings, 1930603 edges, 14963 markings/sec, 145 secs
lola: 1880563 markings, 2012572 edges, 14958 markings/sec, 150 secs
lola: 1955347 markings, 2093853 edges, 14957 markings/sec, 155 secs
lola: 2030098 markings, 2176121 edges, 14950 markings/sec, 160 secs
lola: 2104874 markings, 2258387 edges, 14955 markings/sec, 165 secs
lola: 2179340 markings, 2341781 edges, 14893 markings/sec, 170 secs
lola: 2253696 markings, 2423923 edges, 14871 markings/sec, 175 secs
lola: 2328211 markings, 2505955 edges, 14903 markings/sec, 180 secs
lola: 2400574 markings, 2588803 edges, 14473 markings/sec, 185 secs
lola: 2473310 markings, 2670795 edges, 14547 markings/sec, 190 secs
lola: 2545743 markings, 2753778 edges, 14487 markings/sec, 195 secs
lola: 2618676 markings, 2835034 edges, 14587 markings/sec, 200 secs
lola: 2690882 markings, 2917411 edges, 14441 markings/sec, 205 secs
lola: 2763349 markings, 2999933 edges, 14493 markings/sec, 210 secs
lola: 2835691 markings, 3083387 edges, 14468 markings/sec, 215 secs
lola: 2908270 markings, 3165371 edges, 14516 markings/sec, 220 secs
lola: 2980787 markings, 3247917 edges, 14503 markings/sec, 225 secs
lola: 3051675 markings, 3327316 edges, 14178 markings/sec, 230 secs
lola: 3125232 markings, 3410973 edges, 14711 markings/sec, 235 secs
lola: 3198705 markings, 3495050 edges, 14695 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 495672 KB
lola: time consumption: 593 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p433)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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-S02J06T10-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p598)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p598)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 5 markings, 4 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p741 + p742 + p743 + p744 + p745 + p746 + p747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p741 + p742 + p743 + p744 + p745 + p746 + p747)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 71774 markings, 82664 edges, 14355 markings/sec, 30 secs
lola: 142950 markings, 167679 edges, 14235 markings/sec, 35 secs
lola: 213942 markings, 252174 edges, 14198 markings/sec, 40 secs
lola: 284837 markings, 337194 edges, 14179 markings/sec, 45 secs
lola: 355743 markings, 422152 edges, 14181 markings/sec, 50 secs
lola: 426525 markings, 507067 edges, 14156 markings/sec, 55 secs
lola: 497049 markings, 592073 edges, 14105 markings/sec, 60 secs
lola: 567548 markings, 676339 edges, 14100 markings/sec, 65 secs
lola: 638105 markings, 760421 edges, 14111 markings/sec, 70 secs
lola: 708723 markings, 844825 edges, 14124 markings/sec, 75 secs
lola: 779170 markings, 929193 edges, 14089 markings/sec, 80 secs
lola: 849460 markings, 1013977 edges, 14058 markings/sec, 85 secs
lola: 919769 markings, 1098661 edges, 14062 markings/sec, 90 secs
lola: 990053 markings, 1183130 edges, 14057 markings/sec, 95 secs
lola: 1060532 markings, 1267185 edges, 14096 markings/sec, 100 secs
lola: 1130752 markings, 1351463 edges, 14044 markings/sec, 105 secs
lola: 1200989 markings, 1434808 edges, 14047 markings/sec, 110 secs
lola: 1271237 markings, 1518458 edges, 14050 markings/sec, 115 secs
lola: 1341595 markings, 1602639 edges, 14072 markings/sec, 120 secs
lola: 1411782 markings, 1686456 edges, 14037 markings/sec, 125 secs
lola: 1481823 markings, 1770721 edges, 14008 markings/sec, 130 secs
lola: 1552047 markings, 1855086 edges, 14045 markings/sec, 135 secs
lola: 1621909 markings, 1939800 edges, 13972 markings/sec, 140 secs
lola: 1691655 markings, 2024080 edges, 13949 markings/sec, 145 secs
lola: 1761702 markings, 2108068 edges, 14009 markings/sec, 150 secs
lola: 1831635 markings, 2192779 edges, 13987 markings/sec, 155 secs
lola: 1901348 markings, 2277289 edges, 13943 markings/sec, 160 secs
lola: 1971249 markings, 2361184 edges, 13980 markings/sec, 165 secs
lola: 2041305 markings, 2445154 edges, 14011 markings/sec, 170 secs
lola: 2110995 markings, 2529228 edges, 13938 markings/sec, 175 secs
lola: 2181039 markings, 2613381 edges, 14009 markings/sec, 180 secs
lola: 2251003 markings, 2697790 edges, 13993 markings/sec, 185 secs
lola: 2320663 markings, 2781827 edges, 13932 markings/sec, 190 secs
lola: 2390365 markings, 2865928 edges, 13940 markings/sec, 195 secs
lola: 2460033 markings, 2949921 edges, 13934 markings/sec, 200 secs
lola: 2529787 markings, 3033578 edges, 13951 markings/sec, 205 secs
lola: 2599496 markings, 3116910 edges, 13942 markings/sec, 210 secs
lola: 2669162 markings, 3201793 edges, 13933 markings/sec, 215 secs
lola: 2739010 markings, 3285628 edges, 13970 markings/sec, 220 secs
lola: 2808746 markings, 3369104 edges, 13947 markings/sec, 225 secs
lola: 2878669 markings, 3453066 edges, 13985 markings/sec, 230 secs
lola: 2948374 markings, 3537255 edges, 13941 markings/sec, 235 secs
lola: 3017954 markings, 3621826 edges, 13916 markings/sec, 240 secs
lola: 3087673 markings, 3705178 edges, 13944 markings/sec, 245 secs
lola: 3157458 markings, 3789395 edges, 13957 markings/sec, 250 secs
lola: 3227209 markings, 3873161 edges, 13950 markings/sec, 255 secs
lola: 3296731 markings, 3956885 edges, 13904 markings/sec, 260 secs
lola: 3366288 markings, 4040199 edges, 13911 markings/sec, 265 secs
lola: 3436040 markings, 4123917 edges, 13950 markings/sec, 270 secs
lola: 3505581 markings, 4207580 edges, 13908 markings/sec, 275 secs
lola: 3575179 markings, 4291115 edges, 13920 markings/sec, 280 secs
lola: 3644843 markings, 4374907 edges, 13933 markings/sec, 285 secs
lola: 3714361 markings, 4458912 edges, 13904 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 559964 KB
lola: time consumption: 891 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 75928 markings, 80516 edges, 15186 markings/sec, 30 secs
lola: 150890 markings, 162177 edges, 14992 markings/sec, 35 secs
lola: 225659 markings, 243391 edges, 14954 markings/sec, 40 secs
lola: 300418 markings, 324069 edges, 14952 markings/sec, 45 secs
lola: 374446 markings, 408056 edges, 14806 markings/sec, 50 secs
lola: 448826 markings, 489693 edges, 14876 markings/sec, 55 secs
lola: 522773 markings, 572734 edges, 14789 markings/sec, 60 secs
lola: 596081 markings, 655735 edges, 14662 markings/sec, 65 secs
lola: 669941 markings, 737687 edges, 14772 markings/sec, 70 secs
lola: 743680 markings, 820135 edges, 14748 markings/sec, 75 secs
lola: 817235 markings, 902659 edges, 14711 markings/sec, 80 secs
lola: 890746 markings, 984628 edges, 14702 markings/sec, 85 secs
lola: 963950 markings, 1066992 edges, 14641 markings/sec, 90 secs
lola: 1037585 markings, 1148723 edges, 14727 markings/sec, 95 secs
lola: 1110679 markings, 1232192 edges, 14619 markings/sec, 100 secs
lola: 1183816 markings, 1315795 edges, 14627 markings/sec, 105 secs
lola: 1257007 markings, 1398477 edges, 14638 markings/sec, 110 secs
lola: 1330265 markings, 1481281 edges, 14652 markings/sec, 115 secs
lola: 1403373 markings, 1564241 edges, 14622 markings/sec, 120 secs
lola: 1476466 markings, 1647810 edges, 14619 markings/sec, 125 secs
lola: 1549595 markings, 1730415 edges, 14626 markings/sec, 130 secs
lola: 1622608 markings, 1813458 edges, 14603 markings/sec, 135 secs
lola: 1695555 markings, 1896323 edges, 14589 markings/sec, 140 secs
lola: 1768767 markings, 1978243 edges, 14642 markings/sec, 145 secs
lola: 1841790 markings, 2061263 edges, 14605 markings/sec, 150 secs
lola: 1914806 markings, 2144028 edges, 14603 markings/sec, 155 secs
lola: 1987658 markings, 2226840 edges, 14570 markings/sec, 160 secs
lola: 2060725 markings, 2309506 edges, 14613 markings/sec, 165 secs
lola: 2133651 markings, 2391837 edges, 14585 markings/sec, 170 secs
lola: 2206379 markings, 2474815 edges, 14546 markings/sec, 175 secs
lola: 2278994 markings, 2558495 edges, 14523 markings/sec, 180 secs
lola: 2351760 markings, 2641350 edges, 14553 markings/sec, 185 secs
lola: 2424774 markings, 2723716 edges, 14603 markings/sec, 190 secs
lola: 2497441 markings, 2807378 edges, 14533 markings/sec, 195 secs
lola: 2570203 markings, 2891081 edges, 14552 markings/sec, 200 secs
lola: 2643268 markings, 2973572 edges, 14613 markings/sec, 205 secs
lola: 2715471 markings, 3057856 edges, 14441 markings/sec, 210 secs
lola: 2788327 markings, 3140153 edges, 14571 markings/sec, 215 secs
lola: 2860513 markings, 3224734 edges, 14437 markings/sec, 220 secs
lola: 2933354 markings, 3306550 edges, 14568 markings/sec, 225 secs
lola: 3005881 markings, 3390051 edges, 14505 markings/sec, 230 secs
lola: 3078797 markings, 3472708 edges, 14583 markings/sec, 235 secs
lola: 3150818 markings, 3557907 edges, 14404 markings/sec, 240 secs
lola: 3223519 markings, 3640826 edges, 14540 markings/sec, 245 secs
lola: 3295915 markings, 3723979 edges, 14479 markings/sec, 250 secs
lola: 3368245 markings, 3807837 edges, 14466 markings/sec, 255 secs
lola: 3440703 markings, 3892149 edges, 14492 markings/sec, 260 secs
lola: 3512943 markings, 3976164 edges, 14448 markings/sec, 265 secs
lola: 3585707 markings, 4058531 edges, 14553 markings/sec, 270 secs
lola: 3658020 markings, 4142472 edges, 14463 markings/sec, 275 secs
lola: 3730638 markings, 4225178 edges, 14524 markings/sec, 280 secs
lola: 3802884 markings, 4309550 edges, 14449 markings/sec, 285 secs
lola: 3875051 markings, 4392937 edges, 14433 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 611508 KB
lola: time consumption: 1188 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 77849 markings, 89653 edges, 15570 markings/sec, 30 secs
lola: 155140 markings, 179438 edges, 15458 markings/sec, 35 secs
lola: 232259 markings, 269259 edges, 15424 markings/sec, 40 secs
lola: 309048 markings, 358545 edges, 15358 markings/sec, 45 secs
lola: 385959 markings, 447286 edges, 15382 markings/sec, 50 secs
lola: 462647 markings, 536804 edges, 15338 markings/sec, 55 secs
lola: 539238 markings, 626286 edges, 15318 markings/sec, 60 secs
lola: 615629 markings, 715672 edges, 15278 markings/sec, 65 secs
lola: 691964 markings, 804173 edges, 15267 markings/sec, 70 secs
lola: 768082 markings, 892960 edges, 15224 markings/sec, 75 secs
lola: 844133 markings, 982098 edges, 15210 markings/sec, 80 secs
lola: 920339 markings, 1070637 edges, 15241 markings/sec, 85 secs
lola: 996540 markings, 1159977 edges, 15240 markings/sec, 90 secs
lola: 1072453 markings, 1248741 edges, 15183 markings/sec, 95 secs
lola: 1148547 markings, 1337895 edges, 15219 markings/sec, 100 secs
lola: 1224533 markings, 1426252 edges, 15197 markings/sec, 105 secs
lola: 1300396 markings, 1514245 edges, 15173 markings/sec, 110 secs
lola: 1376279 markings, 1602289 edges, 15177 markings/sec, 115 secs
lola: 1452090 markings, 1690829 edges, 15162 markings/sec, 120 secs
lola: 1527774 markings, 1780084 edges, 15137 markings/sec, 125 secs
lola: 1603423 markings, 1868752 edges, 15130 markings/sec, 130 secs
lola: 1679133 markings, 1957072 edges, 15142 markings/sec, 135 secs
lola: 1755063 markings, 2045344 edges, 15186 markings/sec, 140 secs
lola: 1830759 markings, 2134010 edges, 15139 markings/sec, 145 secs
lola: 1906498 markings, 2222232 edges, 15148 markings/sec, 150 secs
lola: 1982061 markings, 2311306 edges, 15113 markings/sec, 155 secs
lola: 2057375 markings, 2399989 edges, 15063 markings/sec, 160 secs
lola: 2132835 markings, 2488440 edges, 15092 markings/sec, 165 secs
lola: 2208337 markings, 2576987 edges, 15100 markings/sec, 170 secs
lola: 2283698 markings, 2665808 edges, 15072 markings/sec, 175 secs
lola: 2359243 markings, 2754031 edges, 15109 markings/sec, 180 secs
lola: 2434726 markings, 2841926 edges, 15097 markings/sec, 185 secs
lola: 2510226 markings, 2930575 edges, 15100 markings/sec, 190 secs
lola: 2585613 markings, 3019321 edges, 15077 markings/sec, 195 secs
lola: 2660853 markings, 3107159 edges, 15048 markings/sec, 200 secs
lola: 2736257 markings, 3195609 edges, 15081 markings/sec, 205 secs
lola: 2811454 markings, 3284185 edges, 15039 markings/sec, 210 secs
lola: 2886790 markings, 3372749 edges, 15067 markings/sec, 215 secs
lola: 2962262 markings, 3460662 edges, 15094 markings/sec, 220 secs
lola: 3037610 markings, 3548550 edges, 15070 markings/sec, 225 secs
lola: 3113064 markings, 3636770 edges, 15091 markings/sec, 230 secs
lola: 3188160 markings, 3725082 edges, 15019 markings/sec, 235 secs
lola: 3263379 markings, 3813190 edges, 15044 markings/sec, 240 secs
lola: 3338629 markings, 3902145 edges, 15050 markings/sec, 245 secs
lola: 3413976 markings, 3990166 edges, 15069 markings/sec, 250 secs
lola: 3489344 markings, 4078418 edges, 15074 markings/sec, 255 secs
lola: 3564429 markings, 4166210 edges, 15017 markings/sec, 260 secs
lola: 3639618 markings, 4254502 edges, 15038 markings/sec, 265 secs
lola: 3714939 markings, 4342817 edges, 15064 markings/sec, 270 secs
lola: 3790026 markings, 4431470 edges, 15017 markings/sec, 275 secs
lola: 3865024 markings, 4519923 edges, 15000 markings/sec, 280 secs
lola: 3940140 markings, 4608075 edges, 15023 markings/sec, 285 secs
lola: 4015296 markings, 4696550 edges, 15031 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 612208 KB
lola: time consumption: 1485 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 70843 markings, 115072 edges, 14169 markings/sec, 30 secs
lola: 140060 markings, 238049 edges, 13843 markings/sec, 35 secs
lola: 208596 markings, 363862 edges, 13707 markings/sec, 40 secs
lola: 277340 markings, 488205 edges, 13749 markings/sec, 45 secs
lola: 344567 markings, 621101 edges, 13445 markings/sec, 50 secs
lola: 412588 markings, 748313 edges, 13604 markings/sec, 55 secs
lola: 480398 markings, 876227 edges, 13562 markings/sec, 60 secs
lola: 546482 markings, 1014035 edges, 13217 markings/sec, 65 secs
lola: 613492 markings, 1145748 edges, 13402 markings/sec, 70 secs
lola: 679778 markings, 1282143 edges, 13257 markings/sec, 75 secs
lola: 745898 markings, 1420157 edges, 13224 markings/sec, 80 secs
lola: 811912 markings, 1557631 edges, 13203 markings/sec, 85 secs
lola: 876755 markings, 1703629 edges, 12969 markings/sec, 90 secs
lola: 942353 markings, 1844211 edges, 13120 markings/sec, 95 secs
lola: 1009047 markings, 1977047 edges, 13339 markings/sec, 100 secs
lola: 1074907 markings, 2114241 edges, 13172 markings/sec, 105 secs
lola: 1140433 markings, 2253413 edges, 13105 markings/sec, 110 secs
lola: 1206916 markings, 2386119 edges, 13297 markings/sec, 115 secs
lola: 1272224 markings, 2528416 edges, 13062 markings/sec, 120 secs
lola: 1336594 markings, 2673876 edges, 12874 markings/sec, 125 secs
lola: 1400598 markings, 2823546 edges, 12801 markings/sec, 130 secs
lola: 1466102 markings, 2963564 edges, 13101 markings/sec, 135 secs
lola: 1530964 markings, 3107824 edges, 12972 markings/sec, 140 secs
lola: 1596611 markings, 3245899 edges, 13129 markings/sec, 145 secs
lola: 1660789 markings, 3392092 edges, 12836 markings/sec, 150 secs
lola: 1726982 markings, 3524111 edges, 13239 markings/sec, 155 secs
lola: 1792110 markings, 3663010 edges, 13026 markings/sec, 160 secs
lola: 1857662 markings, 3801608 edges, 13110 markings/sec, 165 secs
lola: 1920995 markings, 3953697 edges, 12667 markings/sec, 170 secs
lola: 1987044 markings, 4087575 edges, 13210 markings/sec, 175 secs
lola: 2052728 markings, 4222399 edges, 13137 markings/sec, 180 secs
lola: 2116491 markings, 4369838 edges, 12753 markings/sec, 185 secs
lola: 2180599 markings, 4515354 edges, 12822 markings/sec, 190 secs
lola: 2244736 markings, 4659890 edges, 12827 markings/sec, 195 secs
lola: 2309897 markings, 4798248 edges, 13032 markings/sec, 200 secs
lola: 2374425 markings, 4938857 edges, 12906 markings/sec, 205 secs
lola: 2438406 markings, 5086664 edges, 12796 markings/sec, 210 secs
lola: 2503414 markings, 5224845 edges, 13002 markings/sec, 215 secs
lola: 2567342 markings, 5370967 edges, 12786 markings/sec, 220 secs
lola: 2632612 markings, 5508770 edges, 13054 markings/sec, 225 secs
lola: 2695397 markings, 5663276 edges, 12557 markings/sec, 230 secs
lola: 2759388 markings, 5807550 edges, 12798 markings/sec, 235 secs
lola: 2821316 markings, 5967968 edges, 12386 markings/sec, 240 secs
lola: 2885879 markings, 6110475 edges, 12913 markings/sec, 245 secs
lola: 2950516 markings, 6250336 edges, 12927 markings/sec, 250 secs
lola: 3014459 markings, 6395508 edges, 12789 markings/sec, 255 secs
lola: 3079041 markings, 6535887 edges, 12916 markings/sec, 260 secs
lola: 3143906 markings, 6675080 edges, 12973 markings/sec, 265 secs
lola: 3207758 markings, 6821390 edges, 12770 markings/sec, 270 secs
lola: 3271489 markings, 6967415 edges, 12746 markings/sec, 275 secs
lola: 3335741 markings, 7111113 edges, 12850 markings/sec, 280 secs
lola: 3400466 markings, 7249035 edges, 12945 markings/sec, 285 secs
lola: 3464864 markings, 7389872 edges, 12880 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 569596 KB
lola: time consumption: 1782 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 75764 markings, 85526 edges, 15153 markings/sec, 30 secs
lola: 145197 markings, 166815 edges, 13887 markings/sec, 35 secs
lola: 219812 markings, 254934 edges, 14923 markings/sec, 40 secs
lola: 291733 markings, 339154 edges, 14384 markings/sec, 45 secs
lola: 361745 markings, 422502 edges, 14002 markings/sec, 50 secs
lola: 434740 markings, 509561 edges, 14599 markings/sec, 55 secs
lola: 503372 markings, 590844 edges, 13726 markings/sec, 60 secs
lola: 577552 markings, 678952 edges, 14836 markings/sec, 65 secs
lola: 648551 markings, 763374 edges, 14200 markings/sec, 70 secs
lola: 722070 markings, 850618 edges, 14704 markings/sec, 75 secs
lola: 795596 markings, 938063 edges, 14705 markings/sec, 80 secs
lola: 868864 markings, 1025630 edges, 14654 markings/sec, 85 secs
lola: 934885 markings, 1103756 edges, 13204 markings/sec, 90 secs
lola: 1009720 markings, 1192151 edges, 14967 markings/sec, 95 secs
lola: 1084429 markings, 1279857 edges, 14942 markings/sec, 100 secs
lola: 1159135 markings, 1368266 edges, 14941 markings/sec, 105 secs
lola: 1233907 markings, 1457432 edges, 14954 markings/sec, 110 secs
lola: 1308488 markings, 1546304 edges, 14916 markings/sec, 115 secs
lola: 1383208 markings, 1634944 edges, 14944 markings/sec, 120 secs
lola: 1457871 markings, 1723483 edges, 14933 markings/sec, 125 secs
lola: 1532499 markings, 1811470 edges, 14926 markings/sec, 130 secs
lola: 1606914 markings, 1899866 edges, 14883 markings/sec, 135 secs
lola: 1681530 markings, 1988127 edges, 14923 markings/sec, 140 secs
lola: 1755888 markings, 2076922 edges, 14872 markings/sec, 145 secs
lola: 1830261 markings, 2165084 edges, 14875 markings/sec, 150 secs
lola: 1904606 markings, 2254113 edges, 14869 markings/sec, 155 secs
lola: 1978870 markings, 2342838 edges, 14853 markings/sec, 160 secs
lola: 2053173 markings, 2431852 edges, 14861 markings/sec, 165 secs
lola: 2127406 markings, 2521036 edges, 14847 markings/sec, 170 secs
lola: 2201703 markings, 2609545 edges, 14859 markings/sec, 175 secs
lola: 2275875 markings, 2698607 edges, 14834 markings/sec, 180 secs
lola: 2350168 markings, 2787214 edges, 14859 markings/sec, 185 secs
lola: 2424499 markings, 2876431 edges, 14866 markings/sec, 190 secs
lola: 2498689 markings, 2965344 edges, 14838 markings/sec, 195 secs
lola: 2572706 markings, 3053996 edges, 14803 markings/sec, 200 secs
lola: 2647014 markings, 3141909 edges, 14862 markings/sec, 205 secs
lola: 2721071 markings, 3230728 edges, 14811 markings/sec, 210 secs
lola: 2795283 markings, 3318972 edges, 14842 markings/sec, 215 secs
lola: 2869417 markings, 3407475 edges, 14827 markings/sec, 220 secs
lola: 2943589 markings, 3496040 edges, 14834 markings/sec, 225 secs
lola: 3017667 markings, 3584564 edges, 14816 markings/sec, 230 secs
lola: 3091946 markings, 3672961 edges, 14856 markings/sec, 235 secs
lola: 3166053 markings, 3761160 edges, 14821 markings/sec, 240 secs
lola: 3239946 markings, 3849536 edges, 14779 markings/sec, 245 secs
lola: 3314062 markings, 3937026 edges, 14823 markings/sec, 250 secs
lola: 3388028 markings, 4026134 edges, 14793 markings/sec, 255 secs
lola: 3461978 markings, 4115095 edges, 14790 markings/sec, 260 secs
lola: 3536142 markings, 4202802 edges, 14833 markings/sec, 265 secs
lola: 3610173 markings, 4291351 edges, 14806 markings/sec, 270 secs
lola: 3684316 markings, 4379332 edges, 14829 markings/sec, 275 secs
lola: 3758189 markings, 4467898 edges, 14775 markings/sec, 280 secs
lola: 3831594 markings, 4555589 edges, 14681 markings/sec, 285 secs
lola: 3904773 markings, 4642249 edges, 14636 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 589920 KB
lola: time consumption: 2079 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 70843 markings, 79622 edges, 14169 markings/sec, 30 secs
lola: 139902 markings, 160528 edges, 13812 markings/sec, 35 secs
lola: 211182 markings, 244741 edges, 14256 markings/sec, 40 secs
lola: 284920 markings, 331069 edges, 14748 markings/sec, 45 secs
lola: 358565 markings, 418671 edges, 14729 markings/sec, 50 secs
lola: 431911 markings, 506260 edges, 14669 markings/sec, 55 secs
lola: 502670 markings, 590038 edges, 14152 markings/sec, 60 secs
lola: 571463 markings, 671674 edges, 13759 markings/sec, 65 secs
lola: 645179 markings, 759201 edges, 14743 markings/sec, 70 secs
lola: 718891 markings, 846829 edges, 14742 markings/sec, 75 secs
lola: 792618 markings, 934425 edges, 14745 markings/sec, 80 secs
lola: 866108 markings, 1022278 edges, 14698 markings/sec, 85 secs
lola: 939778 markings, 1109375 edges, 14734 markings/sec, 90 secs
lola: 1013385 markings, 1196587 edges, 14721 markings/sec, 95 secs
lola: 1086982 markings, 1283054 edges, 14719 markings/sec, 100 secs
lola: 1160546 markings, 1369956 edges, 14713 markings/sec, 105 secs
lola: 1234159 markings, 1457720 edges, 14723 markings/sec, 110 secs
lola: 1307546 markings, 1545211 edges, 14677 markings/sec, 115 secs
lola: 1381066 markings, 1632545 edges, 14704 markings/sec, 120 secs
lola: 1454555 markings, 1719651 edges, 14698 markings/sec, 125 secs
lola: 1528013 markings, 1806126 edges, 14692 markings/sec, 130 secs
lola: 1601250 markings, 1893095 edges, 14647 markings/sec, 135 secs
lola: 1674648 markings, 1979820 edges, 14680 markings/sec, 140 secs
lola: 1747779 markings, 2067561 edges, 14626 markings/sec, 145 secs
lola: 1820911 markings, 2154357 edges, 14626 markings/sec, 150 secs
lola: 1894139 markings, 2241466 edges, 14646 markings/sec, 155 secs
lola: 1967147 markings, 2329021 edges, 14602 markings/sec, 160 secs
lola: 2040309 markings, 2416361 edges, 14632 markings/sec, 165 secs
lola: 2113394 markings, 2504188 edges, 14617 markings/sec, 170 secs
lola: 2186513 markings, 2591200 edges, 14624 markings/sec, 175 secs
lola: 2259501 markings, 2678668 edges, 14598 markings/sec, 180 secs
lola: 2332573 markings, 2766274 edges, 14614 markings/sec, 185 secs
lola: 2405735 markings, 2853557 edges, 14632 markings/sec, 190 secs
lola: 2478708 markings, 2941268 edges, 14595 markings/sec, 195 secs
lola: 2551553 markings, 3028696 edges, 14569 markings/sec, 200 secs
lola: 2624528 markings, 3115256 edges, 14595 markings/sec, 205 secs
lola: 2697476 markings, 3202533 edges, 14590 markings/sec, 210 secs
lola: 2770522 markings, 3289501 edges, 14609 markings/sec, 215 secs
lola: 2843469 markings, 3376602 edges, 14589 markings/sec, 220 secs
lola: 2916528 markings, 3463600 edges, 14612 markings/sec, 225 secs
lola: 2989376 markings, 3550749 edges, 14570 markings/sec, 230 secs
lola: 3062432 markings, 3637230 edges, 14611 markings/sec, 235 secs
lola: 3135415 markings, 3724417 edges, 14597 markings/sec, 240 secs
lola: 3208167 markings, 3811180 edges, 14550 markings/sec, 245 secs
lola: 3281048 markings, 3897788 edges, 14576 markings/sec, 250 secs
lola: 3353754 markings, 3985153 edges, 14541 markings/sec, 255 secs
lola: 3426637 markings, 4072543 edges, 14577 markings/sec, 260 secs
lola: 3499443 markings, 4159618 edges, 14561 markings/sec, 265 secs
lola: 3572281 markings, 4246029 edges, 14568 markings/sec, 270 secs
lola: 3645089 markings, 4332849 edges, 14562 markings/sec, 275 secs
lola: 3717948 markings, 4419644 edges, 14572 markings/sec, 280 secs
lola: 3790607 markings, 4506784 edges, 14532 markings/sec, 285 secs
lola: 3863426 markings, 4592972 edges, 14564 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 586040 KB
lola: time consumption: 2377 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 74525 markings, 94261 edges, 14905 markings/sec, 30 secs
lola: 147617 markings, 192432 edges, 14618 markings/sec, 35 secs
lola: 220074 markings, 291737 edges, 14491 markings/sec, 40 secs
lola: 292150 markings, 392039 edges, 14415 markings/sec, 45 secs
lola: 364327 markings, 491968 edges, 14435 markings/sec, 50 secs
lola: 436416 markings, 591546 edges, 14418 markings/sec, 55 secs
lola: 508185 markings, 692500 edges, 14354 markings/sec, 60 secs
lola: 579886 markings, 793415 edges, 14340 markings/sec, 65 secs
lola: 651427 markings, 894575 edges, 14308 markings/sec, 70 secs
lola: 722916 markings, 995523 edges, 14298 markings/sec, 75 secs
lola: 794457 markings, 1096195 edges, 14308 markings/sec, 80 secs
lola: 865750 markings, 1195513 edges, 14259 markings/sec, 85 secs
lola: 936855 markings, 1296467 edges, 14221 markings/sec, 90 secs
lola: 1008051 markings, 1397350 edges, 14239 markings/sec, 95 secs
lola: 1079551 markings, 1496326 edges, 14300 markings/sec, 100 secs
lola: 1150387 markings, 1598451 edges, 14167 markings/sec, 105 secs
lola: 1221202 markings, 1698778 edges, 14163 markings/sec, 110 secs
lola: 1291442 markings, 1800039 edges, 14048 markings/sec, 115 secs
lola: 1361715 markings, 1901614 edges, 14055 markings/sec, 120 secs
lola: 1432033 markings, 2002300 edges, 14064 markings/sec, 125 secs
lola: 1502115 markings, 2105202 edges, 14016 markings/sec, 130 secs
lola: 1572908 markings, 2204961 edges, 14159 markings/sec, 135 secs
lola: 1643358 markings, 2304910 edges, 14090 markings/sec, 140 secs
lola: 1713451 markings, 2406259 edges, 14019 markings/sec, 145 secs
lola: 1783634 markings, 2508564 edges, 14037 markings/sec, 150 secs
lola: 1853818 markings, 2609853 edges, 14037 markings/sec, 155 secs
lola: 1924008 markings, 2710758 edges, 14038 markings/sec, 160 secs
lola: 1994351 markings, 2810204 edges, 14069 markings/sec, 165 secs
lola: 2063946 markings, 2913926 edges, 13919 markings/sec, 170 secs
lola: 2134065 markings, 3014785 edges, 14024 markings/sec, 175 secs
lola: 2204053 markings, 3115987 edges, 13998 markings/sec, 180 secs
lola: 2274044 markings, 3217168 edges, 13998 markings/sec, 185 secs
lola: 2343871 markings, 3318614 edges, 13965 markings/sec, 190 secs
lola: 2413914 markings, 3418677 edges, 14009 markings/sec, 195 secs
lola: 2483627 markings, 3520744 edges, 13943 markings/sec, 200 secs
lola: 2553584 markings, 3622315 edges, 13991 markings/sec, 205 secs
lola: 2623549 markings, 3721019 edges, 13993 markings/sec, 210 secs
lola: 2693289 markings, 3821969 edges, 13948 markings/sec, 215 secs
lola: 2763123 markings, 3922916 edges, 13967 markings/sec, 220 secs
lola: 2832593 markings, 4025106 edges, 13894 markings/sec, 225 secs
lola: 2903015 markings, 4123125 edges, 14084 markings/sec, 230 secs
lola: 2972912 markings, 4222373 edges, 13979 markings/sec, 235 secs
lola: 3042733 markings, 4322926 edges, 13964 markings/sec, 240 secs
lola: 3112406 markings, 4423347 edges, 13935 markings/sec, 245 secs
lola: 3181930 markings, 4523370 edges, 13905 markings/sec, 250 secs
lola: 3251074 markings, 4625589 edges, 13829 markings/sec, 255 secs
lola: 3320532 markings, 4726766 edges, 13892 markings/sec, 260 secs
lola: 3389853 markings, 4827349 edges, 13864 markings/sec, 265 secs
lola: 3459347 markings, 4926539 edges, 13899 markings/sec, 270 secs
lola: 3528217 markings, 5028087 edges, 13774 markings/sec, 275 secs
lola: 3597606 markings, 5128343 edges, 13878 markings/sec, 280 secs
lola: 3666953 markings, 5227622 edges, 13869 markings/sec, 285 secs
lola: 3736188 markings, 5327916 edges, 13847 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 548404 KB
lola: time consumption: 2675 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 74006 markings, 86100 edges, 14801 markings/sec, 30 secs
lola: 147484 markings, 173381 edges, 14696 markings/sec, 35 secs
lola: 220717 markings, 260807 edges, 14647 markings/sec, 40 secs
lola: 293891 markings, 348108 edges, 14635 markings/sec, 45 secs
lola: 366026 markings, 433482 edges, 14427 markings/sec, 50 secs
lola: 434997 markings, 515846 edges, 13794 markings/sec, 55 secs
lola: 508712 markings, 603746 edges, 14743 markings/sec, 60 secs
lola: 582408 markings, 691500 edges, 14739 markings/sec, 65 secs
lola: 651112 markings, 773676 edges, 13741 markings/sec, 70 secs
lola: 720751 markings, 856970 edges, 13928 markings/sec, 75 secs
lola: 793288 markings, 943728 edges, 14507 markings/sec, 80 secs
lola: 865826 markings, 1030482 edges, 14508 markings/sec, 85 secs
lola: 937070 markings, 1115580 edges, 14249 markings/sec, 90 secs
lola: 1008339 markings, 1200705 edges, 14254 markings/sec, 95 secs
lola: 1079648 markings, 1285273 edges, 14262 markings/sec, 100 secs
lola: 1148595 markings, 1367819 edges, 13789 markings/sec, 105 secs
lola: 1221120 markings, 1454848 edges, 14505 markings/sec, 110 secs
lola: 1293564 markings, 1541161 edges, 14489 markings/sec, 115 secs
lola: 1366013 markings, 1627420 edges, 14490 markings/sec, 120 secs
lola: 1438383 markings, 1714275 edges, 14474 markings/sec, 125 secs
lola: 1507585 markings, 1797267 edges, 13840 markings/sec, 130 secs
lola: 1579967 markings, 1883619 edges, 14476 markings/sec, 135 secs
lola: 1647027 markings, 1963502 edges, 13412 markings/sec, 140 secs
lola: 1718991 markings, 2050157 edges, 14393 markings/sec, 145 secs
lola: 1790846 markings, 2136441 edges, 14371 markings/sec, 150 secs
lola: 1858299 markings, 2216390 edges, 13491 markings/sec, 155 secs
lola: 1929898 markings, 2302521 edges, 14320 markings/sec, 160 secs
lola: 2001469 markings, 2389109 edges, 14314 markings/sec, 165 secs
lola: 2073453 markings, 2474469 edges, 14397 markings/sec, 170 secs
lola: 2140737 markings, 2555641 edges, 13457 markings/sec, 175 secs
lola: 2212421 markings, 2641684 edges, 14337 markings/sec, 180 secs
lola: 2284308 markings, 2728152 edges, 14377 markings/sec, 185 secs
lola: 2356481 markings, 2815209 edges, 14435 markings/sec, 190 secs
lola: 2429037 markings, 2901880 edges, 14511 markings/sec, 195 secs
lola: 2501710 markings, 2988334 edges, 14535 markings/sec, 200 secs
lola: 2572327 markings, 3073397 edges, 14123 markings/sec, 205 secs
lola: 2643774 markings, 3159048 edges, 14289 markings/sec, 210 secs
lola: 2715193 markings, 3244829 edges, 14284 markings/sec, 215 secs
lola: 2786837 markings, 3330124 edges, 14329 markings/sec, 220 secs
lola: 2858148 markings, 3415877 edges, 14262 markings/sec, 225 secs
lola: 2929403 markings, 3500882 edges, 14251 markings/sec, 230 secs
lola: 2999556 markings, 3584968 edges, 14031 markings/sec, 235 secs
lola: 3070339 markings, 3669412 edges, 14157 markings/sec, 240 secs
lola: 3140732 markings, 3754194 edges, 14079 markings/sec, 245 secs
lola: 3211228 markings, 3837945 edges, 14099 markings/sec, 250 secs
lola: 3277286 markings, 3917897 edges, 13212 markings/sec, 255 secs
lola: 3349756 markings, 4005047 edges, 14494 markings/sec, 260 secs
lola: 3422185 markings, 4092372 edges, 14486 markings/sec, 265 secs
lola: 3494465 markings, 4179749 edges, 14456 markings/sec, 270 secs
lola: 3565590 markings, 4264128 edges, 14225 markings/sec, 275 secs
lola: 3636717 markings, 4349967 edges, 14225 markings/sec, 280 secs
lola: 3707683 markings, 4435217 edges, 14193 markings/sec, 285 secs
lola: 3778897 markings, 4520397 edges, 14243 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 573044 KB
lola: time consumption: 2973 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 76357 markings, 82097 edges, 15271 markings/sec, 30 secs
lola: 151909 markings, 163165 edges, 15110 markings/sec, 35 secs
lola: 227276 markings, 243916 edges, 15073 markings/sec, 40 secs
lola: 302178 markings, 324511 edges, 14980 markings/sec, 45 secs
lola: 376947 markings, 405045 edges, 14954 markings/sec, 50 secs
lola: 451613 markings, 487067 edges, 14933 markings/sec, 55 secs
lola: 526399 markings, 570270 edges, 14957 markings/sec, 60 secs
lola: 600785 markings, 653359 edges, 14877 markings/sec, 65 secs
lola: 675084 markings, 736074 edges, 14860 markings/sec, 70 secs
lola: 749113 markings, 819839 edges, 14806 markings/sec, 75 secs
lola: 823086 markings, 904449 edges, 14795 markings/sec, 80 secs
lola: 897175 markings, 986989 edges, 14818 markings/sec, 85 secs
lola: 970829 markings, 1071038 edges, 14731 markings/sec, 90 secs
lola: 1044433 markings, 1155409 edges, 14721 markings/sec, 95 secs
lola: 1117989 markings, 1239511 edges, 14711 markings/sec, 100 secs
lola: 1191895 markings, 1322342 edges, 14781 markings/sec, 105 secs
lola: 1265396 markings, 1406304 edges, 14700 markings/sec, 110 secs
lola: 1338794 markings, 1490722 edges, 14680 markings/sec, 115 secs
lola: 1412284 markings, 1574805 edges, 14698 markings/sec, 120 secs
lola: 1485545 markings, 1659257 edges, 14652 markings/sec, 125 secs
lola: 1559121 markings, 1742193 edges, 14715 markings/sec, 130 secs
lola: 1632579 markings, 1826497 edges, 14692 markings/sec, 135 secs
lola: 1705770 markings, 1911570 edges, 14638 markings/sec, 140 secs
lola: 1779106 markings, 1995294 edges, 14667 markings/sec, 145 secs
lola: 1852464 markings, 2078674 edges, 14672 markings/sec, 150 secs
lola: 1925915 markings, 2161627 edges, 14690 markings/sec, 155 secs
lola: 1999346 markings, 2244382 edges, 14686 markings/sec, 160 secs
lola: 2072355 markings, 2327209 edges, 14602 markings/sec, 165 secs
lola: 2145376 markings, 2411672 edges, 14604 markings/sec, 170 secs
lola: 2218446 markings, 2496103 edges, 14614 markings/sec, 175 secs
lola: 2291534 markings, 2579045 edges, 14618 markings/sec, 180 secs
lola: 2364523 markings, 2662898 edges, 14598 markings/sec, 185 secs
lola: 2437513 markings, 2746936 edges, 14598 markings/sec, 190 secs
lola: 2510680 markings, 2830940 edges, 14633 markings/sec, 195 secs
lola: 2583662 markings, 2914342 edges, 14596 markings/sec, 200 secs
lola: 2656725 markings, 2997803 edges, 14613 markings/sec, 205 secs
lola: 2729636 markings, 3081354 edges, 14582 markings/sec, 210 secs
lola: 2802478 markings, 3165233 edges, 14568 markings/sec, 215 secs
lola: 2875148 markings, 3249361 edges, 14534 markings/sec, 220 secs
lola: 2948255 markings, 3332778 edges, 14621 markings/sec, 225 secs
lola: 3020613 markings, 3415706 edges, 14472 markings/sec, 230 secs
lola: 3093137 markings, 3498210 edges, 14505 markings/sec, 235 secs
lola: 3165732 markings, 3580127 edges, 14519 markings/sec, 240 secs
lola: 3238173 markings, 3662659 edges, 14488 markings/sec, 245 secs
lola: 3310745 markings, 3745669 edges, 14514 markings/sec, 250 secs
lola: 3382921 markings, 3829300 edges, 14435 markings/sec, 255 secs
lola: 3454922 markings, 3913462 edges, 14400 markings/sec, 260 secs
lola: 3527028 markings, 3996092 edges, 14421 markings/sec, 265 secs
lola: 3599005 markings, 4079249 edges, 14395 markings/sec, 270 secs
lola: 3671175 markings, 4162114 edges, 14434 markings/sec, 275 secs
lola: 3743557 markings, 4244682 edges, 14476 markings/sec, 280 secs
lola: 3815575 markings, 4329261 edges, 14404 markings/sec, 285 secs
lola: 3887708 markings, 4412244 edges, 14427 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 607200 KB
lola: time consumption: 3271 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 71869 markings, 91737 edges, 14374 markings/sec, 30 secs
lola: 140964 markings, 186832 edges, 13819 markings/sec, 35 secs
lola: 211764 markings, 286092 edges, 14160 markings/sec, 40 secs
lola: 282206 markings, 386633 edges, 14088 markings/sec, 45 secs
lola: 352404 markings, 486029 edges, 14040 markings/sec, 50 secs
lola: 422585 markings, 585720 edges, 14036 markings/sec, 55 secs
lola: 492590 markings, 684964 edges, 14001 markings/sec, 60 secs
lola: 562451 markings, 785598 edges, 13972 markings/sec, 65 secs
lola: 626886 markings, 879905 edges, 12887 markings/sec, 70 secs
lola: 697445 markings, 980987 edges, 14112 markings/sec, 75 secs
lola: 767733 markings, 1082726 edges, 14058 markings/sec, 80 secs
lola: 838281 markings, 1181798 edges, 14110 markings/sec, 85 secs
lola: 908609 markings, 1281243 edges, 14066 markings/sec, 90 secs
lola: 978306 markings, 1380755 edges, 13939 markings/sec, 95 secs
lola: 1048174 markings, 1479015 edges, 13974 markings/sec, 100 secs
lola: 1117828 markings, 1578827 edges, 13931 markings/sec, 105 secs
lola: 1187059 markings, 1680038 edges, 13846 markings/sec, 110 secs
lola: 1256132 markings, 1782365 edges, 13815 markings/sec, 115 secs
lola: 1325401 markings, 1883507 edges, 13854 markings/sec, 120 secs
lola: 1394317 markings, 1985904 edges, 13783 markings/sec, 125 secs
lola: 1463926 markings, 2085711 edges, 13922 markings/sec, 130 secs
lola: 1533344 markings, 2184864 edges, 13884 markings/sec, 135 secs
lola: 1602626 markings, 2285793 edges, 13856 markings/sec, 140 secs
lola: 1671723 markings, 2387236 edges, 13819 markings/sec, 145 secs
lola: 1740434 markings, 2491980 edges, 13742 markings/sec, 150 secs
lola: 1809391 markings, 2593613 edges, 13791 markings/sec, 155 secs
lola: 1878148 markings, 2696650 edges, 13751 markings/sec, 160 secs
lola: 1946866 markings, 2800092 edges, 13744 markings/sec, 165 secs
lola: 2015461 markings, 2903310 edges, 13719 markings/sec, 170 secs
lola: 2084205 markings, 3005800 edges, 13749 markings/sec, 175 secs
lola: 2152695 markings, 3110052 edges, 13698 markings/sec, 180 secs
lola: 2222057 markings, 3209226 edges, 13872 markings/sec, 185 secs
lola: 2291266 markings, 3308831 edges, 13842 markings/sec, 190 secs
lola: 2360383 markings, 3409706 edges, 13823 markings/sec, 195 secs
lola: 2429315 markings, 3511370 edges, 13786 markings/sec, 200 secs
lola: 2498128 markings, 3613531 edges, 13763 markings/sec, 205 secs
lola: 2567031 markings, 3715119 edges, 13781 markings/sec, 210 secs
lola: 2635771 markings, 3818256 edges, 13748 markings/sec, 215 secs
lola: 2704387 markings, 3921459 edges, 13723 markings/sec, 220 secs
lola: 2773127 markings, 4024551 edges, 13748 markings/sec, 225 secs
lola: 2841853 markings, 4126811 edges, 13745 markings/sec, 230 secs
lola: 2910419 markings, 4230168 edges, 13713 markings/sec, 235 secs
lola: 2979234 markings, 4329880 edges, 13763 markings/sec, 240 secs
lola: 3047388 markings, 4431932 edges, 13631 markings/sec, 245 secs
lola: 3115428 markings, 4534675 edges, 13608 markings/sec, 250 secs
lola: 3183515 markings, 4636851 edges, 13617 markings/sec, 255 secs
lola: 3251837 markings, 4737074 edges, 13664 markings/sec, 260 secs
lola: 3320282 markings, 4837059 edges, 13689 markings/sec, 265 secs
lola: 3388000 markings, 4940523 edges, 13544 markings/sec, 270 secs
lola: 3456403 markings, 5041491 edges, 13681 markings/sec, 275 secs
lola: 3524734 markings, 5140173 edges, 13666 markings/sec, 280 secs
lola: 3592473 markings, 5243661 edges, 13548 markings/sec, 285 secs
lola: 3660076 markings, 5346910 edges, 13521 markings/sec, 290 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 534220 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 1
lola: memory consumption: 534220 KB
lola: time consumption: 3569 seconds

BK_STOP 1552887884302

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool win2018"
echo " Input is PolyORBLF-COL-S02J06T10, 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 r121-smll-155272326100043"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J06T10.tgz
mv PolyORBLF-COL-S02J06T10 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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