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-155272326100037.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-S02J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-smll-155272326100037
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 4.4K Feb 12 09:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 12 09:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 8 09:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 8 09:35 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.8K Feb 5 00:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 12:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 4 12:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 1 08:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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-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 1552877051683

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 @ 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: 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: LP says that atomic proposition is always false: (p226 <= 0)
lola: MAX(p220 + p221 + p222 + p223 + p224 + p225) : MAX(p346 + p347 + p348 + p349 + p350 + p351) : MAX(p467) : MAX(p283 + p284 + p285 + p286 + p287 + p288) : MAX(p353 + p354 + p355 + p356 + p357 + p358) : MAX(p226) : MAX(p0) : MAX(p30 + p31 + p32 + p33 + p34 + p35) : MAX(p220 + p221 + p222 + p223 + p224 + p225) : MAX(p474) : MAX(p19 + p20 + p21 + p22 + p23 + p24) : MAX(p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263) : MAX(p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135) : MAX(p458 + p459 + p460 + p461 + p462 + p463) : MAX(p264 + p265 + p266 + p267 + p268 + p269) : MAX(p289 + p290 + p291 + p292 + p293 + p294)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p226)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p226)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
check_solution: Constraint R1 = 6.90269846084e-310 is below its lower bound 1
check_solution: Constraint R2 = 4.68719229466e-310 is above its equality of -1
check_solution: Constraint R16 = 0 is above its equality of -1
check_solution: Constraint R23 = 0 is above its equality of -1
check_solution: Constraint R55 = 0 is above its equality of -1
check_solution: Constraint R56 = 0 is above its equality of -1
check_solution: Constraint R57 = 0 is above its equality of -1
check_solution: Constraint R58 = 0 is above its equality of -1
check_solution: Constraint R59 = 0 is above its equality of -1
check_solution: Constraint R60 = 0 is above its equality of -1

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

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-5 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p467)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p467)
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: 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-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
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: 143776 markings, 167576 edges, 28755 markings/sec, 30 secs
lola: 286356 markings, 336556 edges, 28516 markings/sec, 35 secs
lola: 428817 markings, 506155 edges, 28492 markings/sec, 40 secs
lola: 571106 markings, 674209 edges, 28458 markings/sec, 45 secs
lola: 712797 markings, 842162 edges, 28338 markings/sec, 50 secs
lola: 854330 markings, 1009788 edges, 28307 markings/sec, 55 secs
lola: 995482 markings, 1178717 edges, 28230 markings/sec, 60 secs
lola: 1136587 markings, 1347865 edges, 28221 markings/sec, 65 secs
lola: 1277431 markings, 1517715 edges, 28169 markings/sec, 70 secs
lola: 1418160 markings, 1688490 edges, 28146 markings/sec, 75 secs
lola: 1558655 markings, 1859562 edges, 28099 markings/sec, 80 secs
lola: 1698985 markings, 2030291 edges, 28066 markings/sec, 85 secs
lola: 1839142 markings, 2199081 edges, 28031 markings/sec, 90 secs
lola: 1979037 markings, 2368353 edges, 27979 markings/sec, 95 secs
lola: 2119176 markings, 2539144 edges, 28028 markings/sec, 100 secs
lola: 2258796 markings, 2707330 edges, 27924 markings/sec, 105 secs
lola: 2398427 markings, 2876088 edges, 27926 markings/sec, 110 secs
lola: 2537754 markings, 3044961 edges, 27865 markings/sec, 115 secs
lola: 2676826 markings, 3212732 edges, 27814 markings/sec, 120 secs
lola: 2815636 markings, 3379813 edges, 27762 markings/sec, 125 secs
lola: 2954632 markings, 3547267 edges, 27799 markings/sec, 130 secs
lola: 3093032 markings, 3713534 edges, 27680 markings/sec, 135 secs
lola: 3231266 markings, 3879150 edges, 27647 markings/sec, 140 secs
lola: 3369281 markings, 4043096 edges, 27603 markings/sec, 145 secs
lola: 3506717 markings, 4205686 edges, 27487 markings/sec, 150 secs
lola: 3644294 markings, 4369471 edges, 27515 markings/sec, 155 secs
lola: 3781849 markings, 4532735 edges, 27511 markings/sec, 160 secs
lola: 3919064 markings, 4695345 edges, 27443 markings/sec, 165 secs
lola: 4055898 markings, 4856602 edges, 27367 markings/sec, 170 secs
lola: 4192920 markings, 5019804 edges, 27404 markings/sec, 175 secs
lola: 4329291 markings, 5182228 edges, 27274 markings/sec, 180 secs
lola: 4465517 markings, 5343508 edges, 27245 markings/sec, 185 secs
lola: 4602589 markings, 5509731 edges, 27414 markings/sec, 190 secs
lola: 4738915 markings, 5673808 edges, 27265 markings/sec, 195 secs
lola: 4875277 markings, 5838566 edges, 27272 markings/sec, 200 secs
lola: 5010935 markings, 5999139 edges, 27132 markings/sec, 205 secs
lola: 5147241 markings, 6161155 edges, 27261 markings/sec, 210 secs
lola: 5282780 markings, 6323224 edges, 27108 markings/sec, 215 secs
lola: 5418702 markings, 6484092 edges, 27184 markings/sec, 220 secs
lola: 5554567 markings, 6647312 edges, 27173 markings/sec, 225 secs
lola: 5690299 markings, 6811390 edges, 27146 markings/sec, 230 secs
lola: 5825815 markings, 6972971 edges, 27103 markings/sec, 235 secs
lola: 5961477 markings, 7135319 edges, 27132 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 678484 KB
lola: time consumption: 319 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p474)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p474)
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: 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-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p353 + p354 + p355 + p356 + p357 + p358)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p353 + p354 + p355 + p356 + p357 + p358)
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: Structural Bound: 4
lola: 132004 markings, 156478 edges, 26401 markings/sec, 0 secs
lola: 274844 markings, 326731 edges, 28568 markings/sec, 5 secs
lola: 417045 markings, 498343 edges, 28440 markings/sec, 10 secs
lola: 559079 markings, 667566 edges, 28407 markings/sec, 15 secs
lola: 700672 markings, 836962 edges, 28319 markings/sec, 20 secs
lola: 841843 markings, 1006908 edges, 28234 markings/sec, 25 secs
lola: 983073 markings, 1176785 edges, 28246 markings/sec, 30 secs
lola: 1123927 markings, 1347495 edges, 28171 markings/sec, 35 secs
lola: 1264854 markings, 1517423 edges, 28185 markings/sec, 40 secs
lola: 1405338 markings, 1687475 edges, 28097 markings/sec, 45 secs
lola: 1545741 markings, 1857472 edges, 28081 markings/sec, 50 secs
lola: 1685856 markings, 2027911 edges, 28023 markings/sec, 55 secs
lola: 1825560 markings, 2197108 edges, 27941 markings/sec, 60 secs
lola: 1965149 markings, 2365675 edges, 27918 markings/sec, 65 secs
lola: 2104916 markings, 2533650 edges, 27953 markings/sec, 70 secs
lola: 2244458 markings, 2701951 edges, 27908 markings/sec, 75 secs
lola: 2383558 markings, 2870369 edges, 27820 markings/sec, 80 secs
lola: 2513624 markings, 3025918 edges, 26013 markings/sec, 85 secs
lola: 2651592 markings, 3192199 edges, 27594 markings/sec, 90 secs
lola: 2789504 markings, 3359141 edges, 27582 markings/sec, 95 secs
lola: 2927289 markings, 3524011 edges, 27557 markings/sec, 100 secs
lola: 3057000 markings, 3679163 edges, 25942 markings/sec, 105 secs
lola: 3190355 markings, 3837354 edges, 26671 markings/sec, 110 secs
lola: 3329254 markings, 4004140 edges, 27780 markings/sec, 115 secs
lola: 3467353 markings, 4166866 edges, 27620 markings/sec, 120 secs
lola: 3604661 markings, 4329291 edges, 27462 markings/sec, 125 secs
lola: 3741028 markings, 4489650 edges, 27273 markings/sec, 130 secs
lola: 3877530 markings, 4652467 edges, 27300 markings/sec, 135 secs
lola: 4014095 markings, 4816079 edges, 27313 markings/sec, 140 secs
lola: 4150188 markings, 4977050 edges, 27219 markings/sec, 145 secs
lola: 4287340 markings, 5142304 edges, 27430 markings/sec, 150 secs
lola: 4414543 markings, 5293643 edges, 25441 markings/sec, 155 secs
lola: 4552083 markings, 5456572 edges, 27508 markings/sec, 160 secs
lola: 4689412 markings, 5617684 edges, 27466 markings/sec, 165 secs
lola: 4826892 markings, 5779679 edges, 27496 markings/sec, 170 secs
lola: 4961881 markings, 5937918 edges, 26998 markings/sec, 175 secs
lola: 5096702 markings, 6099077 edges, 26964 markings/sec, 180 secs
lola: 5231053 markings, 6257180 edges, 26870 markings/sec, 185 secs
lola: 5356144 markings, 6405848 edges, 25018 markings/sec, 190 secs
lola: 5491307 markings, 6567485 edges, 27033 markings/sec, 195 secs
lola: 5626962 markings, 6726695 edges, 27131 markings/sec, 200 secs
lola: 5762981 markings, 6887263 edges, 27204 markings/sec, 205 secs
lola: 5898758 markings, 7049671 edges, 27155 markings/sec, 210 secs
lola: 6034172 markings, 7209886 edges, 27083 markings/sec, 215 secs
lola: 6169396 markings, 7369650 edges, 27045 markings/sec, 220 secs
lola: 6304743 markings, 7529080 edges, 27069 markings/sec, 225 secs
lola: 6439453 markings, 7688463 edges, 26942 markings/sec, 230 secs
lola: 6573843 markings, 7848196 edges, 26878 markings/sec, 235 secs
lola: 6707947 markings, 8007756 edges, 26821 markings/sec, 240 secs
lola: 6842267 markings, 8166161 edges, 26864 markings/sec, 245 secs
lola: 6976617 markings, 8324201 edges, 26870 markings/sec, 250 secs
lola: 7108626 markings, 8481495 edges, 26402 markings/sec, 255 secs
lola: 7241631 markings, 8641669 edges, 26601 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 10 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown 10 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 797872 KB
lola: time consumption: 590 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p346 + p347 + p348 + p349 + p350 + p351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p346 + p347 + p348 + p349 + p350 + p351)
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: 143127 markings, 166564 edges, 28625 markings/sec, 30 secs
lola: 283382 markings, 337939 edges, 28051 markings/sec, 35 secs
lola: 422252 markings, 511884 edges, 27774 markings/sec, 40 secs
lola: 560786 markings, 688583 edges, 27707 markings/sec, 45 secs
lola: 699441 markings, 863893 edges, 27731 markings/sec, 50 secs
lola: 838316 markings, 1035712 edges, 27775 markings/sec, 55 secs
lola: 976408 markings, 1205394 edges, 27618 markings/sec, 60 secs
lola: 1113451 markings, 1376071 edges, 27409 markings/sec, 65 secs
lola: 1250372 markings, 1547544 edges, 27384 markings/sec, 70 secs
lola: 1387394 markings, 1720509 edges, 27404 markings/sec, 75 secs
lola: 1523928 markings, 1893890 edges, 27307 markings/sec, 80 secs
lola: 1660538 markings, 2071599 edges, 27322 markings/sec, 85 secs
lola: 1796919 markings, 2245857 edges, 27276 markings/sec, 90 secs
lola: 1933484 markings, 2419088 edges, 27313 markings/sec, 95 secs
lola: 2070433 markings, 2589476 edges, 27390 markings/sec, 100 secs
lola: 2207533 markings, 2761741 edges, 27420 markings/sec, 105 secs
lola: 2343874 markings, 2935028 edges, 27268 markings/sec, 110 secs
lola: 2480655 markings, 3107026 edges, 27356 markings/sec, 115 secs
lola: 2616990 markings, 3278722 edges, 27267 markings/sec, 120 secs
lola: 2746608 markings, 3444744 edges, 25924 markings/sec, 125 secs
lola: 2880907 markings, 3618166 edges, 26860 markings/sec, 130 secs
lola: 3015531 markings, 3789151 edges, 26925 markings/sec, 135 secs
lola: 3149740 markings, 3961920 edges, 26842 markings/sec, 140 secs
lola: 3283805 markings, 4133926 edges, 26813 markings/sec, 145 secs
lola: 3417674 markings, 4309295 edges, 26774 markings/sec, 150 secs
lola: 3551467 markings, 4486558 edges, 26759 markings/sec, 155 secs
lola: 3685237 markings, 4658509 edges, 26754 markings/sec, 160 secs
lola: 3818857 markings, 4834386 edges, 26724 markings/sec, 165 secs
lola: 3952797 markings, 5009912 edges, 26788 markings/sec, 170 secs
lola: 4086310 markings, 5186483 edges, 26703 markings/sec, 175 secs
lola: 4218931 markings, 5358111 edges, 26524 markings/sec, 180 secs
lola: 4352275 markings, 5531279 edges, 26669 markings/sec, 185 secs
lola: 4484960 markings, 5706355 edges, 26537 markings/sec, 190 secs
lola: 4615792 markings, 5878947 edges, 26166 markings/sec, 195 secs
lola: 4747415 markings, 6054155 edges, 26325 markings/sec, 200 secs
lola: 4879020 markings, 6229877 edges, 26321 markings/sec, 205 secs
lola: 5010812 markings, 6404988 edges, 26358 markings/sec, 210 secs
lola: 5140540 markings, 6580183 edges, 25946 markings/sec, 215 secs
lola: 5272494 markings, 6754601 edges, 26391 markings/sec, 220 secs
lola: 5403236 markings, 6931416 edges, 26148 markings/sec, 225 secs
lola: 5533094 markings, 7105460 edges, 25972 markings/sec, 230 secs
lola: 5664570 markings, 7280800 edges, 26295 markings/sec, 235 secs
lola: 5797183 markings, 7458908 edges, 26523 markings/sec, 240 secs
lola: 5929447 markings, 7635460 edges, 26453 markings/sec, 245 secs
lola: 6060794 markings, 7812965 edges, 26269 markings/sec, 250 secs
lola: 6191923 markings, 7988393 edges, 26226 markings/sec, 255 secs
lola: 6324196 markings, 8163707 edges, 26455 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 10 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown 10 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 660936 KB
lola: time consumption: 860 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p220 + p221 + p222 + p223 + p224 + p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p220 + p221 + p222 + p223 + p224 + p225)
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: Structural Bound: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 2660 markings, 3594 edges

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-0 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30 + p31 + p32 + p33 + p34 + p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30 + p31 + p32 + p33 + p34 + p35)
lola: processed formula length: 38
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: 144353 markings, 166563 edges, 28871 markings/sec, 30 secs
lola: 287479 markings, 335991 edges, 28625 markings/sec, 35 secs
lola: 430192 markings, 507663 edges, 28543 markings/sec, 40 secs
lola: 572482 markings, 679683 edges, 28458 markings/sec, 45 secs
lola: 714507 markings, 852016 edges, 28405 markings/sec, 50 secs
lola: 856146 markings, 1025271 edges, 28328 markings/sec, 55 secs
lola: 997870 markings, 1197045 edges, 28345 markings/sec, 60 secs
lola: 1139251 markings, 1370552 edges, 28276 markings/sec, 65 secs
lola: 1280262 markings, 1545220 edges, 28202 markings/sec, 70 secs
lola: 1421795 markings, 1717755 edges, 28307 markings/sec, 75 secs
lola: 1562772 markings, 1891963 edges, 28195 markings/sec, 80 secs
lola: 1703840 markings, 2065279 edges, 28214 markings/sec, 85 secs
lola: 1844659 markings, 2238005 edges, 28164 markings/sec, 90 secs
lola: 1984864 markings, 2413169 edges, 28041 markings/sec, 95 secs
lola: 2125185 markings, 2588956 edges, 28064 markings/sec, 100 secs
lola: 2265237 markings, 2764847 edges, 28010 markings/sec, 105 secs
lola: 2405277 markings, 2940159 edges, 28008 markings/sec, 110 secs
lola: 2545344 markings, 3116076 edges, 28013 markings/sec, 115 secs
lola: 2685190 markings, 3292918 edges, 27969 markings/sec, 120 secs
lola: 2825020 markings, 3469376 edges, 27966 markings/sec, 125 secs
lola: 2964397 markings, 3647702 edges, 27875 markings/sec, 130 secs
lola: 3094009 markings, 3812853 edges, 25922 markings/sec, 135 secs
lola: 3233254 markings, 3988974 edges, 27849 markings/sec, 140 secs
lola: 3372405 markings, 4165680 edges, 27830 markings/sec, 145 secs
lola: 3511478 markings, 4343140 edges, 27815 markings/sec, 150 secs
lola: 3639613 markings, 4508787 edges, 25627 markings/sec, 155 secs
lola: 3767333 markings, 4673536 edges, 25544 markings/sec, 160 secs
lola: 3905257 markings, 4850708 edges, 27585 markings/sec, 165 secs
lola: 4043240 markings, 5029444 edges, 27597 markings/sec, 170 secs
lola: 4171078 markings, 5194079 edges, 25568 markings/sec, 175 secs
lola: 4309534 markings, 5374864 edges, 27691 markings/sec, 180 secs
lola: 4448064 markings, 5552264 edges, 27706 markings/sec, 185 secs
lola: 4586344 markings, 5729701 edges, 27656 markings/sec, 190 secs
lola: 4713852 markings, 5894904 edges, 25502 markings/sec, 195 secs
lola: 4851851 markings, 6070479 edges, 27600 markings/sec, 200 secs
lola: 4979320 markings, 6236066 edges, 25494 markings/sec, 205 secs
lola: 5117468 markings, 6413253 edges, 27630 markings/sec, 210 secs
lola: 5244706 markings, 6574548 edges, 25448 markings/sec, 215 secs
lola: 5382083 markings, 6753401 edges, 27475 markings/sec, 220 secs
lola: 5510341 markings, 6917637 edges, 25652 markings/sec, 225 secs
lola: 5648073 markings, 7097007 edges, 27546 markings/sec, 230 secs
lola: 5769586 markings, 7252167 edges, 24303 markings/sec, 235 secs
lola: 5906797 markings, 7428938 edges, 27442 markings/sec, 240 secs
lola: 6044034 markings, 7605279 edges, 27447 markings/sec, 245 secs
lola: 6181366 markings, 7776066 edges, 27466 markings/sec, 250 secs
lola: 6308583 markings, 7935250 edges, 25443 markings/sec, 255 secs
lola: 6435332 markings, 8095654 edges, 25350 markings/sec, 260 secs
lola: 6561410 markings, 8253494 edges, 25216 markings/sec, 265 secs
lola: 6688666 markings, 8414213 edges, 25451 markings/sec, 270 secs
lola: 6814932 markings, 8571446 edges, 25253 markings/sec, 275 secs
lola: 6941280 markings, 8726448 edges, 25270 markings/sec, 280 secs
lola: 7078200 markings, 8899335 edges, 27384 markings/sec, 285 secs
lola: 7214778 markings, 9074228 edges, 27316 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 779828 KB
lola: time consumption: 1161 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p220 + p221 + p222 + p223 + p224 + p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p220 + p221 + p222 + p223 + p224 + p225)
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: Structural Bound: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 2660 markings, 3594 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-8 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p283 + p284 + p285 + p286 + p287 + p288)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p283 + p284 + p285 + p286 + p287 + p288)
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: Structural Bound: 4
lola: 113514 markings, 134237 edges, 22703 markings/sec, 0 secs
lola: 256737 markings, 304900 edges, 28645 markings/sec, 5 secs
lola: 399200 markings, 477170 edges, 28493 markings/sec, 10 secs
lola: 541439 markings, 649481 edges, 28448 markings/sec, 15 secs
lola: 683418 markings, 820524 edges, 28396 markings/sec, 20 secs
lola: 825045 markings, 991342 edges, 28325 markings/sec, 25 secs
lola: 966498 markings, 1162623 edges, 28291 markings/sec, 30 secs
lola: 1107808 markings, 1333416 edges, 28262 markings/sec, 35 secs
lola: 1248962 markings, 1502422 edges, 28231 markings/sec, 40 secs
lola: 1389794 markings, 1671668 edges, 28166 markings/sec, 45 secs
lola: 1530550 markings, 1841791 edges, 28151 markings/sec, 50 secs
lola: 1671019 markings, 2010623 edges, 28094 markings/sec, 55 secs
lola: 1811091 markings, 2180006 edges, 28014 markings/sec, 60 secs
lola: 1951281 markings, 2349790 edges, 28038 markings/sec, 65 secs
lola: 2091138 markings, 2517759 edges, 27971 markings/sec, 70 secs
lola: 2230914 markings, 2686812 edges, 27955 markings/sec, 75 secs
lola: 2370662 markings, 2855936 edges, 27950 markings/sec, 80 secs
lola: 2510276 markings, 3024772 edges, 27923 markings/sec, 85 secs
lola: 2649580 markings, 3193400 edges, 27861 markings/sec, 90 secs
lola: 2788744 markings, 3360918 edges, 27833 markings/sec, 95 secs
lola: 2927881 markings, 3527792 edges, 27827 markings/sec, 100 secs
lola: 3066325 markings, 3692008 edges, 27689 markings/sec, 105 secs
lola: 3204775 markings, 3856959 edges, 27690 markings/sec, 110 secs
lola: 3342903 markings, 4018704 edges, 27626 markings/sec, 115 secs
lola: 3480419 markings, 4180406 edges, 27503 markings/sec, 120 secs
lola: 3618307 markings, 4344321 edges, 27578 markings/sec, 125 secs
lola: 3755834 markings, 4506454 edges, 27505 markings/sec, 130 secs
lola: 3893282 markings, 4668944 edges, 27490 markings/sec, 135 secs
lola: 4030622 markings, 4832067 edges, 27468 markings/sec, 140 secs
lola: 4167721 markings, 4992778 edges, 27420 markings/sec, 145 secs
lola: 4304709 markings, 5155050 edges, 27398 markings/sec, 150 secs
lola: 4441401 markings, 5316173 edges, 27338 markings/sec, 155 secs
lola: 4577957 markings, 5478264 edges, 27311 markings/sec, 160 secs
lola: 4713407 markings, 5636675 edges, 27090 markings/sec, 165 secs
lola: 4849426 markings, 5796726 edges, 27204 markings/sec, 170 secs
lola: 4978103 markings, 5948631 edges, 25735 markings/sec, 175 secs
lola: 5113850 markings, 6109751 edges, 27149 markings/sec, 180 secs
lola: 5248956 markings, 6269502 edges, 27021 markings/sec, 185 secs
lola: 5383728 markings, 6427738 edges, 26954 markings/sec, 190 secs
lola: 5518442 markings, 6586871 edges, 26943 markings/sec, 195 secs
lola: 5653980 markings, 6746458 edges, 27108 markings/sec, 200 secs
lola: 5788718 markings, 6902872 edges, 26948 markings/sec, 205 secs
lola: 5923107 markings, 7060492 edges, 26878 markings/sec, 210 secs
lola: 6057828 markings, 7220038 edges, 26944 markings/sec, 215 secs
lola: 6192338 markings, 7377676 edges, 26902 markings/sec, 220 secs
lola: 6320495 markings, 7528107 edges, 25631 markings/sec, 225 secs
lola: 6455306 markings, 7687459 edges, 26962 markings/sec, 230 secs
lola: 6590299 markings, 7846478 edges, 26999 markings/sec, 235 secs
lola: 6724961 markings, 8006144 edges, 26932 markings/sec, 240 secs
lola: 6859176 markings, 8163867 edges, 26843 markings/sec, 245 secs
lola: 6993094 markings, 8320598 edges, 26784 markings/sec, 250 secs
lola: 7127264 markings, 8479487 edges, 26834 markings/sec, 255 secs
lola: 7261100 markings, 8636564 edges, 26767 markings/sec, 260 secs
lola: 7394572 markings, 8795873 edges, 26694 markings/sec, 265 secs
lola: 7528317 markings, 8955175 edges, 26749 markings/sec, 270 secs
lola: 7661929 markings, 9114133 edges, 26722 markings/sec, 275 secs
lola: 7795548 markings, 9271385 edges, 26724 markings/sec, 280 secs
lola: 7920165 markings, 9417990 edges, 24923 markings/sec, 285 secs
lola: 8054000 markings, 9576964 edges, 26767 markings/sec, 290 secs
lola: 8187543 markings, 9735447 edges, 26709 markings/sec, 295 secs
lola: 8313562 markings, 9885196 edges, 25204 markings/sec, 300 secs
lola: 8446337 markings, 10042394 edges, 26555 markings/sec, 305 secs
lola: 8578684 markings, 10200863 edges, 26469 markings/sec, 310 secs
lola: 8710975 markings, 10359495 edges, 26458 markings/sec, 315 secs
lola: 8843548 markings, 10519146 edges, 26515 markings/sec, 320 secs
lola: 8972854 markings, 10684866 edges, 25861 markings/sec, 325 secs
lola: 9102821 markings, 10852467 edges, 25993 markings/sec, 330 secs
lola: 9235559 markings, 11012366 edges, 26548 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown 6 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 962160 KB
lola: time consumption: 1505 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19 + p20 + p21 + p22 + p23 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19 + p20 + p21 + p22 + p23 + p24)
lola: processed formula length: 38
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

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p458 + p459 + p460 + p461 + p462 + p463)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p458 + p459 + p460 + p461 + p462 + p463)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 70 markings, 69 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p264 + p265 + p266 + p267 + p268 + p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p264 + p265 + p266 + p267 + p268 + p269)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 18 markings, 17 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 687 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p289 + p290 + p291 + p292 + p293 + p294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p289 + p290 + p291 + p292 + p293 + p294)
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: Structural Bound: 4
lola: 138452 markings, 161308 edges, 27690 markings/sec, 0 secs
lola: 283754 markings, 333453 edges, 29060 markings/sec, 5 secs
lola: 428901 markings, 506260 edges, 29029 markings/sec, 10 secs
lola: 573903 markings, 677577 edges, 29000 markings/sec, 15 secs
lola: 718343 markings, 848788 edges, 28888 markings/sec, 20 secs
lola: 862542 markings, 1019593 edges, 28840 markings/sec, 25 secs
lola: 1006600 markings, 1192099 edges, 28812 markings/sec, 30 secs
lola: 1150363 markings, 1364461 edges, 28753 markings/sec, 35 secs
lola: 1293819 markings, 1537726 edges, 28691 markings/sec, 40 secs
lola: 1437250 markings, 1711831 edges, 28686 markings/sec, 45 secs
lola: 1580411 markings, 1886358 edges, 28632 markings/sec, 50 secs
lola: 1723448 markings, 2059686 edges, 28607 markings/sec, 55 secs
lola: 1866200 markings, 2232188 edges, 28550 markings/sec, 60 secs
lola: 2008918 markings, 2405390 edges, 28544 markings/sec, 65 secs
lola: 2151630 markings, 2578311 edges, 28542 markings/sec, 70 secs
lola: 2293983 markings, 2750114 edges, 28471 markings/sec, 75 secs
lola: 2436422 markings, 2922099 edges, 28488 markings/sec, 80 secs
lola: 2578419 markings, 3094447 edges, 28399 markings/sec, 85 secs
lola: 2719978 markings, 3263887 edges, 28312 markings/sec, 90 secs
lola: 2861630 markings, 3435040 edges, 28330 markings/sec, 95 secs
lola: 3003108 markings, 3604971 edges, 28296 markings/sec, 100 secs
lola: 3144215 markings, 3774875 edges, 28221 markings/sec, 105 secs
lola: 3285009 markings, 3942596 edges, 28159 markings/sec, 110 secs
lola: 3425639 markings, 4110203 edges, 28126 markings/sec, 115 secs
lola: 3565870 markings, 4276279 edges, 28046 markings/sec, 120 secs
lola: 3706254 markings, 4442561 edges, 28077 markings/sec, 125 secs
lola: 3846213 markings, 4607957 edges, 27992 markings/sec, 130 secs
lola: 3985931 markings, 4773891 edges, 27944 markings/sec, 135 secs
lola: 4125561 markings, 4938972 edges, 27926 markings/sec, 140 secs
lola: 4265161 markings, 5105483 edges, 27920 markings/sec, 145 secs
lola: 4404167 markings, 5271223 edges, 27801 markings/sec, 150 secs
lola: 4543653 markings, 5438642 edges, 27897 markings/sec, 155 secs
lola: 4682962 markings, 5606494 edges, 27862 markings/sec, 160 secs
lola: 4821990 markings, 5773483 edges, 27806 markings/sec, 165 secs
lola: 4960983 markings, 5941993 edges, 27799 markings/sec, 170 secs
lola: 5099565 markings, 6105423 edges, 27716 markings/sec, 175 secs
lola: 5237805 markings, 6269777 edges, 27648 markings/sec, 180 secs
lola: 5376080 markings, 6432633 edges, 27655 markings/sec, 185 secs
lola: 5514962 markings, 6599517 edges, 27776 markings/sec, 190 secs
lola: 5653297 markings, 6766688 edges, 27667 markings/sec, 195 secs
lola: 5791613 markings, 6931702 edges, 27663 markings/sec, 200 secs
lola: 5930006 markings, 7096864 edges, 27679 markings/sec, 205 secs
lola: 6068013 markings, 7262794 edges, 27601 markings/sec, 210 secs
lola: 6204877 markings, 7424565 edges, 27373 markings/sec, 215 secs
lola: 6341932 markings, 7588157 edges, 27411 markings/sec, 220 secs
lola: 6479009 markings, 7751497 edges, 27415 markings/sec, 225 secs
lola: 6614983 markings, 7910236 edges, 27195 markings/sec, 230 secs
lola: 6751824 markings, 8071935 edges, 27368 markings/sec, 235 secs
lola: 6888332 markings, 8235917 edges, 27302 markings/sec, 240 secs
lola: 7025077 markings, 8398896 edges, 27349 markings/sec, 245 secs
lola: 7160661 markings, 8561487 edges, 27117 markings/sec, 250 secs
lola: 7296888 markings, 8724257 edges, 27245 markings/sec, 255 secs
lola: 7433107 markings, 8885157 edges, 27244 markings/sec, 260 secs
lola: 7569534 markings, 9049537 edges, 27285 markings/sec, 265 secs
lola: 7705250 markings, 9212500 edges, 27143 markings/sec, 270 secs
lola: 7840955 markings, 9374998 edges, 27141 markings/sec, 275 secs
lola: 7976882 markings, 9536431 edges, 27185 markings/sec, 280 secs
lola: 8112389 markings, 9697692 edges, 27101 markings/sec, 285 secs
lola: 8247962 markings, 9861014 edges, 27115 markings/sec, 290 secs
lola: 8383129 markings, 10023640 edges, 27033 markings/sec, 295 secs
lola: 8518825 markings, 10187449 edges, 27139 markings/sec, 300 secs
lola: 8654186 markings, 10350052 edges, 27072 markings/sec, 305 secs
lola: 8789793 markings, 10511570 edges, 27121 markings/sec, 310 secs
lola: 8925483 markings, 10673487 edges, 27138 markings/sec, 315 secs
lola: 9061580 markings, 10836501 edges, 27219 markings/sec, 320 secs
lola: 9196642 markings, 11000401 edges, 27012 markings/sec, 325 secs
lola: 9329222 markings, 11159791 edges, 26516 markings/sec, 330 secs
lola: 9464357 markings, 11321472 edges, 27027 markings/sec, 335 secs
lola: 9598540 markings, 11485155 edges, 26837 markings/sec, 340 secs
lola: 9729645 markings, 11645237 edges, 26221 markings/sec, 345 secs
lola: 9862419 markings, 11811648 edges, 26555 markings/sec, 350 secs
lola: 9994077 markings, 11973183 edges, 26332 markings/sec, 355 secs
lola: 10127628 markings, 12137069 edges, 26710 markings/sec, 360 secs
lola: 10261594 markings, 12301952 edges, 26793 markings/sec, 365 secs
lola: 10395775 markings, 12469702 edges, 26836 markings/sec, 370 secs
lola: 10530831 markings, 12631308 edges, 27011 markings/sec, 375 secs
lola: 10665756 markings, 12795353 edges, 26985 markings/sec, 380 secs
lola: 10800482 markings, 12956262 edges, 26945 markings/sec, 385 secs
lola: 10933982 markings, 13120308 edges, 26700 markings/sec, 390 secs
lola: 11067091 markings, 13292706 edges, 26622 markings/sec, 395 secs
lola: 11200195 markings, 13454997 edges, 26621 markings/sec, 400 secs
lola: 11332650 markings, 13621685 edges, 26491 markings/sec, 405 secs
lola: 11465961 markings, 13782695 edges, 26662 markings/sec, 410 secs
lola: 11597732 markings, 13947142 edges, 26354 markings/sec, 415 secs
lola: 11730524 markings, 14115204 edges, 26558 markings/sec, 420 secs
lola: 11863816 markings, 14282988 edges, 26658 markings/sec, 425 secs
lola: 11994549 markings, 14452522 edges, 26147 markings/sec, 430 secs
lola: 12125960 markings, 14620419 edges, 26282 markings/sec, 435 secs
lola: 12255118 markings, 14784195 edges, 25832 markings/sec, 440 secs
lola: 12386932 markings, 14946214 edges, 26363 markings/sec, 445 secs
lola: 12517639 markings, 15112644 edges, 26141 markings/sec, 450 secs
lola: 12648644 markings, 15275210 edges, 26201 markings/sec, 455 secs
lola: 12778516 markings, 15444553 edges, 25974 markings/sec, 460 secs
lola: 12906916 markings, 15624192 edges, 25680 markings/sec, 465 secs
lola: 13035928 markings, 15796158 edges, 25802 markings/sec, 470 secs
lola: 13161971 markings, 15983986 edges, 25209 markings/sec, 475 secs
lola: 13292628 markings, 16152354 edges, 26131 markings/sec, 480 secs
lola: 13420887 markings, 16323293 edges, 25652 markings/sec, 485 secs
lola: 13551333 markings, 16488326 edges, 26089 markings/sec, 490 secs
lola: 13680678 markings, 16666537 edges, 25869 markings/sec, 495 secs
lola: 13812144 markings, 16831342 edges, 26293 markings/sec, 500 secs
lola: 13942257 markings, 16992419 edges, 26023 markings/sec, 505 secs
lola: 14071632 markings, 17149804 edges, 25875 markings/sec, 510 secs
lola: 14200275 markings, 17316042 edges, 25729 markings/sec, 515 secs
lola: 14332746 markings, 17481697 edges, 26494 markings/sec, 520 secs
lola: 14464470 markings, 17657606 edges, 26345 markings/sec, 525 secs
lola: 14596927 markings, 17822170 edges, 26491 markings/sec, 530 secs
lola: 14726229 markings, 17989270 edges, 25860 markings/sec, 535 secs
lola: 14854749 markings, 18166849 edges, 25704 markings/sec, 540 secs
lola: 14980749 markings, 18351122 edges, 25200 markings/sec, 545 secs
lola: 15109564 markings, 18520961 edges, 25763 markings/sec, 550 secs
lola: 15240316 markings, 18687029 edges, 26150 markings/sec, 555 secs
lola: 15370135 markings, 18862453 edges, 25964 markings/sec, 560 secs
lola: 15500015 markings, 19025089 edges, 25976 markings/sec, 565 secs
lola: 15629145 markings, 19193611 edges, 25826 markings/sec, 570 secs
lola: 15755841 markings, 19369527 edges, 25339 markings/sec, 575 secs
lola: 15881357 markings, 19552016 edges, 25103 markings/sec, 580 secs
lola: 16007011 markings, 19734182 edges, 25131 markings/sec, 585 secs
lola: 16133936 markings, 19908817 edges, 25385 markings/sec, 590 secs
lola: 16265239 markings, 20066216 edges, 26261 markings/sec, 595 secs
lola: 16395880 markings, 20229935 edges, 26128 markings/sec, 600 secs
lola: 16524843 markings, 20389176 edges, 25793 markings/sec, 605 secs
lola: 16655552 markings, 20556348 edges, 26142 markings/sec, 610 secs
lola: 16787433 markings, 20729777 edges, 26376 markings/sec, 615 secs
lola: 16919706 markings, 20900403 edges, 26455 markings/sec, 620 secs
lola: 17050280 markings, 21082699 edges, 26115 markings/sec, 625 secs
lola: 17176534 markings, 21279791 edges, 25251 markings/sec, 630 secs
lola: 17304476 markings, 21448177 edges, 25588 markings/sec, 635 secs
lola: 17435971 markings, 21609235 edges, 26299 markings/sec, 640 secs
lola: 17565673 markings, 21769756 edges, 25940 markings/sec, 645 secs
lola: 17697179 markings, 21931818 edges, 26301 markings/sec, 650 secs
lola: 17825838 markings, 22103193 edges, 25732 markings/sec, 655 secs
lola: 17957154 markings, 22271230 edges, 26263 markings/sec, 660 secs
lola: 18088344 markings, 22451173 edges, 26238 markings/sec, 665 secs
lola: 18218763 markings, 22630063 edges, 26084 markings/sec, 670 secs
lola: 18347616 markings, 22818737 edges, 25771 markings/sec, 675 secs
lola: 18478350 markings, 22982401 edges, 26147 markings/sec, 680 secs
lola: local time limit reached - aborting
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown 6 1 1 unknown unknown 1 1 unknown
lola: memory consumption: 1676156 KB
lola: time consumption: 2195 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 687 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 61 markings, 60 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1374 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 48 markings, 47 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T06-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
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: 144109 markings, 167975 edges, 28822 markings/sec, 30 secs
lola: 287055 markings, 337409 edges, 28589 markings/sec, 35 secs
lola: 429910 markings, 507414 edges, 28571 markings/sec, 40 secs
lola: 572519 markings, 675946 edges, 28522 markings/sec, 45 secs
lola: 714606 markings, 844270 edges, 28417 markings/sec, 50 secs
lola: 856518 markings, 1012484 edges, 28382 markings/sec, 55 secs
lola: 998396 markings, 1182123 edges, 28376 markings/sec, 60 secs
lola: 1139928 markings, 1351904 edges, 28306 markings/sec, 65 secs
lola: 1281149 markings, 1522288 edges, 28244 markings/sec, 70 secs
lola: 1422381 markings, 1693590 edges, 28246 markings/sec, 75 secs
lola: 1563317 markings, 1865322 edges, 28187 markings/sec, 80 secs
lola: 1704137 markings, 2036573 edges, 28164 markings/sec, 85 secs
lola: 1844644 markings, 2205696 edges, 28101 markings/sec, 90 secs
lola: 1985006 markings, 2375671 edges, 28072 markings/sec, 95 secs
lola: 2125476 markings, 2546901 edges, 28094 markings/sec, 100 secs
lola: 2265547 markings, 2715267 edges, 28014 markings/sec, 105 secs
lola: 2405719 markings, 2884787 edges, 28034 markings/sec, 110 secs
lola: 2545513 markings, 3054378 edges, 27959 markings/sec, 115 secs
lola: 2684966 markings, 3222454 edges, 27891 markings/sec, 120 secs
lola: 2824289 markings, 3390357 edges, 27865 markings/sec, 125 secs
lola: 2963690 markings, 3557734 edges, 27880 markings/sec, 130 secs
lola: 3102479 markings, 3724598 edges, 27758 markings/sec, 135 secs
lola: 3241265 markings, 3890952 edges, 27757 markings/sec, 140 secs
lola: 3379589 markings, 4055180 edges, 27665 markings/sec, 145 secs
lola: 3517614 markings, 4218498 edges, 27605 markings/sec, 150 secs
lola: 3655677 markings, 4383120 edges, 27613 markings/sec, 155 secs
lola: 3793658 markings, 4546776 edges, 27596 markings/sec, 160 secs
lola: 3931346 markings, 4709351 edges, 27538 markings/sec, 165 secs
lola: 4068784 markings, 4871647 edges, 27488 markings/sec, 170 secs
lola: 4206318 markings, 5035471 edges, 27507 markings/sec, 175 secs
lola: 4343201 markings, 5198975 edges, 27377 markings/sec, 180 secs
lola: 4480047 markings, 5360227 edges, 27369 markings/sec, 185 secs
lola: 4617630 markings, 5527607 edges, 27517 markings/sec, 190 secs
lola: 4754552 markings, 5692327 edges, 27384 markings/sec, 195 secs
lola: 4891246 markings, 5857427 edges, 27339 markings/sec, 200 secs
lola: 5027381 markings, 6018968 edges, 27227 markings/sec, 205 secs
lola: 5164317 markings, 6181825 edges, 27387 markings/sec, 210 secs
lola: 5300260 markings, 6344127 edges, 27189 markings/sec, 215 secs
lola: 5436819 markings, 6506408 edges, 27312 markings/sec, 220 secs
lola: 5573120 markings, 6669478 edges, 27260 markings/sec, 225 secs
lola: 5709280 markings, 6833944 edges, 27232 markings/sec, 230 secs
lola: 5845532 markings, 6996316 edges, 27250 markings/sec, 235 secs
lola: 5981615 markings, 7159174 edges, 27217 markings/sec, 240 secs
lola: 6116735 markings, 7320002 edges, 27024 markings/sec, 245 secs
lola: 6251527 markings, 7478995 edges, 26958 markings/sec, 250 secs
lola: 6386623 markings, 7641248 edges, 27019 markings/sec, 255 secs
lola: 6520392 markings, 7799266 edges, 26754 markings/sec, 260 secs
lola: 6655041 markings, 7957963 edges, 26930 markings/sec, 265 secs
lola: 6789301 markings, 8117000 edges, 26852 markings/sec, 270 secs
lola: 6923722 markings, 8276615 edges, 26884 markings/sec, 275 secs
lola: 7057985 markings, 8439521 edges, 26853 markings/sec, 280 secs
lola: 7191581 markings, 8598613 edges, 26719 markings/sec, 285 secs
lola: 7325811 markings, 8758862 edges, 26846 markings/sec, 290 secs
lola: 7459602 markings, 8916896 edges, 26758 markings/sec, 295 secs
lola: 7594021 markings, 9079478 edges, 26884 markings/sec, 300 secs
lola: 7727348 markings, 9239148 edges, 26665 markings/sec, 305 secs
lola: 7860870 markings, 9398439 edges, 26704 markings/sec, 310 secs
lola: 7994971 markings, 9557230 edges, 26820 markings/sec, 315 secs
lola: 8128099 markings, 9716842 edges, 26626 markings/sec, 320 secs
lola: 8261511 markings, 9877303 edges, 26682 markings/sec, 325 secs
lola: 8394453 markings, 10037319 edges, 26588 markings/sec, 330 secs
lola: 8528101 markings, 10198950 edges, 26730 markings/sec, 335 secs
lola: 8661262 markings, 10358094 edges, 26632 markings/sec, 340 secs
lola: 8794898 markings, 10517136 edges, 26727 markings/sec, 345 secs
lola: 8928426 markings, 10677138 edges, 26706 markings/sec, 350 secs
lola: 9062387 markings, 10837389 edges, 26792 markings/sec, 355 secs
lola: 9195458 markings, 10999045 edges, 26614 markings/sec, 360 secs
lola: 9325888 markings, 11155749 edges, 26086 markings/sec, 365 secs
lola: 9458898 markings, 11314717 edges, 26602 markings/sec, 370 secs
lola: 9590968 markings, 11476058 edges, 26414 markings/sec, 375 secs
lola: 9720474 markings, 11632560 edges, 25901 markings/sec, 380 secs
lola: 9851180 markings, 11797987 edges, 26141 markings/sec, 385 secs
lola: 9980648 markings, 11957293 edges, 25894 markings/sec, 390 secs
lola: 10112240 markings, 12118459 edges, 26318 markings/sec, 395 secs
lola: 10244552 markings, 12281149 edges, 26462 markings/sec, 400 secs
lola: 10377058 markings, 12447125 edges, 26501 markings/sec, 405 secs
lola: 10510197 markings, 12607038 edges, 26628 markings/sec, 410 secs
lola: 10643465 markings, 12768217 edges, 26654 markings/sec, 415 secs
lola: 10776382 markings, 12928476 edges, 26583 markings/sec, 420 secs
lola: 10908694 markings, 13087714 edges, 26462 markings/sec, 425 secs
lola: 11040295 markings, 13257557 edges, 26320 markings/sec, 430 secs
lola: 11172449 markings, 13421970 edges, 26431 markings/sec, 435 secs
lola: 11302902 markings, 13586138 edges, 26091 markings/sec, 440 secs
lola: 11434436 markings, 13745002 edges, 26307 markings/sec, 445 secs
lola: 11566052 markings, 13909102 edges, 26323 markings/sec, 450 secs
lola: 11696810 markings, 14074488 edges, 26152 markings/sec, 455 secs
lola: 11829069 markings, 14241016 edges, 26452 markings/sec, 460 secs
lola: 11958377 markings, 14406460 edges, 25862 markings/sec, 465 secs
lola: 12087978 markings, 14574870 edges, 25920 markings/sec, 470 secs
lola: 12216362 markings, 14728889 edges, 25677 markings/sec, 475 secs
lola: 12345764 markings, 14893357 edges, 25880 markings/sec, 480 secs
lola: 12473773 markings, 15059508 edges, 25602 markings/sec, 485 secs
lola: 12603509 markings, 15220740 edges, 25947 markings/sec, 490 secs
lola: 12732210 markings, 15384591 edges, 25740 markings/sec, 495 secs
lola: 12860725 markings, 15550889 edges, 25703 markings/sec, 500 secs
lola: 12986222 markings, 15730196 edges, 25099 markings/sec, 505 secs
lola: 13111024 markings, 15912967 edges, 24960 markings/sec, 510 secs
lola: 13237950 markings, 16086913 edges, 25385 markings/sec, 515 secs
lola: 13367799 markings, 16247108 edges, 25970 markings/sec, 520 secs
lola: 13495008 markings, 16416345 edges, 25442 markings/sec, 525 secs
lola: 13623107 markings, 16586831 edges, 25620 markings/sec, 530 secs
lola: 13751379 markings, 16753694 edges, 25654 markings/sec, 535 secs
lola: 13878977 markings, 16914336 edges, 25520 markings/sec, 540 secs
lola: 14007917 markings, 17071683 edges, 25788 markings/sec, 545 secs
lola: 14135352 markings, 17235054 edges, 25487 markings/sec, 550 secs
lola: 14265080 markings, 17394829 edges, 25946 markings/sec, 555 secs
lola: 14395852 markings, 17564707 edges, 26154 markings/sec, 560 secs
lola: 14527355 markings, 17738392 edges, 26301 markings/sec, 565 secs
lola: 14655907 markings, 17899949 edges, 25710 markings/sec, 570 secs
lola: 14784025 markings, 18069579 edges, 25624 markings/sec, 575 secs
lola: 14910220 markings, 18247695 edges, 25239 markings/sec, 580 secs
lola: 15035364 markings, 18425134 edges, 25029 markings/sec, 585 secs
lola: 15164929 markings, 18590173 edges, 25913 markings/sec, 590 secs
lola: 15294046 markings, 18762784 edges, 25823 markings/sec, 595 secs
lola: 15422616 markings, 18932380 edges, 25714 markings/sec, 600 secs
lola: 15552173 markings, 19091698 edges, 25911 markings/sec, 605 secs
lola: 15680573 markings, 19260442 edges, 25680 markings/sec, 610 secs
lola: 15805980 markings, 19440231 edges, 25081 markings/sec, 615 secs
lola: 15930620 markings, 19622840 edges, 24928 markings/sec, 620 secs
lola: 16055742 markings, 19803309 edges, 25024 markings/sec, 625 secs
lola: 16183483 markings, 19967665 edges, 25548 markings/sec, 630 secs
lola: 16315050 markings, 20126217 edges, 26313 markings/sec, 635 secs
lola: 16443810 markings, 20288408 edges, 25752 markings/sec, 640 secs
lola: 16572775 markings, 20450047 edges, 25793 markings/sec, 645 secs
lola: 16703516 markings, 20621708 edges, 26148 markings/sec, 650 secs
lola: 16834717 markings, 20791892 edges, 26240 markings/sec, 655 secs
lola: 16965657 markings, 20964433 edges, 26188 markings/sec, 660 secs
lola: 17095277 markings, 21143617 edges, 25924 markings/sec, 665 secs
lola: 17220056 markings, 21336568 edges, 24956 markings/sec, 670 secs
lola: 17349691 markings, 21501586 edges, 25927 markings/sec, 675 secs
lola: 17481130 markings, 21665630 edges, 26288 markings/sec, 680 secs
lola: 17610266 markings, 21824164 edges, 25827 markings/sec, 685 secs
lola: 17741032 markings, 21990119 edges, 26153 markings/sec, 690 secs
lola: 17869388 markings, 22158155 edges, 25671 markings/sec, 695 secs
lola: 18001133 markings, 22327202 edges, 26349 markings/sec, 700 secs
lola: 18131828 markings, 22508516 edges, 26139 markings/sec, 705 secs
lola: 18261438 markings, 22690394 edges, 25922 markings/sec, 710 secs
lola: 18390069 markings, 22875781 edges, 25726 markings/sec, 715 secs
lola: 18520127 markings, 23041255 edges, 26012 markings/sec, 720 secs
lola: 18649825 markings, 23207487 edges, 25940 markings/sec, 725 secs
lola: 18778102 markings, 23372137 edges, 25655 markings/sec, 730 secs
lola: 18905005 markings, 23535095 edges, 25381 markings/sec, 735 secs
lola: 19033384 markings, 23696994 edges, 25676 markings/sec, 740 secs
lola: 19161102 markings, 23869205 edges, 25544 markings/sec, 745 secs
lola: 19290261 markings, 24042312 edges, 25832 markings/sec, 750 secs
lola: 19419694 markings, 24198989 edges, 25887 markings/sec, 755 secs
lola: 19547112 markings, 24361505 edges, 25484 markings/sec, 760 secs
lola: 19674610 markings, 24529374 edges, 25500 markings/sec, 765 secs
lola: 19802409 markings, 24699500 edges, 25560 markings/sec, 770 secs
lola: 19929523 markings, 24870780 edges, 25423 markings/sec, 775 secs
lola: 20057224 markings, 25041124 edges, 25540 markings/sec, 780 secs
lola: 20185250 markings, 25198193 edges, 25605 markings/sec, 785 secs
lola: 20312756 markings, 25361022 edges, 25501 markings/sec, 790 secs
lola: 20441073 markings, 25521681 edges, 25663 markings/sec, 795 secs
lola: 20568415 markings, 25681432 edges, 25468 markings/sec, 800 secs
lola: 20696438 markings, 25845235 edges, 25605 markings/sec, 805 secs
lola: 20823807 markings, 26019524 edges, 25474 markings/sec, 810 secs
lola: 20949877 markings, 26199784 edges, 25214 markings/sec, 815 secs
lola: 21081198 markings, 26365815 edges, 26264 markings/sec, 820 secs
lola: 21210980 markings, 26547977 edges, 25956 markings/sec, 825 secs
lola: 21341622 markings, 26724793 edges, 26128 markings/sec, 830 secs
lola: 21470710 markings, 26908297 edges, 25818 markings/sec, 835 secs
lola: 21601319 markings, 27075736 edges, 26122 markings/sec, 840 secs
lola: 21731486 markings, 27239728 edges, 26033 markings/sec, 845 secs
lola: 21858416 markings, 27407700 edges, 25386 markings/sec, 850 secs
lola: 21986067 markings, 27576943 edges, 25530 markings/sec, 855 secs
lola: 22113763 markings, 27745872 edges, 25539 markings/sec, 860 secs
lola: 22241888 markings, 27912912 edges, 25625 markings/sec, 865 secs
lola: 22369457 markings, 28081633 edges, 25514 markings/sec, 870 secs
lola: 22495923 markings, 28256574 edges, 25293 markings/sec, 875 secs
lola: 22621762 markings, 28431564 edges, 25168 markings/sec, 880 secs
lola: 22749759 markings, 28601177 edges, 25599 markings/sec, 885 secs
lola: 22873808 markings, 28786206 edges, 24810 markings/sec, 890 secs
lola: 23003474 markings, 28950430 edges, 25933 markings/sec, 895 secs
lola: 23133415 markings, 29112824 edges, 25988 markings/sec, 900 secs
lola: 23259053 markings, 29291665 edges, 25128 markings/sec, 905 secs
lola: 23381771 markings, 29483643 edges, 24544 markings/sec, 910 secs
lola: 23509298 markings, 29654030 edges, 25505 markings/sec, 915 secs
lola: 23638984 markings, 29827961 edges, 25937 markings/sec, 920 secs
lola: 23766999 markings, 30015387 edges, 25603 markings/sec, 925 secs
lola: 23896928 markings, 30186427 edges, 25986 markings/sec, 930 secs
lola: 24024690 markings, 30344306 edges, 25552 markings/sec, 935 secs
lola: 24153636 markings, 30508154 edges, 25789 markings/sec, 940 secs
lola: 24281414 markings, 30681414 edges, 25556 markings/sec, 945 secs
lola: 24409428 markings, 30851470 edges, 25603 markings/sec, 950 secs
lola: 24539910 markings, 31027806 edges, 26096 markings/sec, 955 secs
lola: 24666578 markings, 31212845 edges, 25334 markings/sec, 960 secs
lola: 24795394 markings, 31378433 edges, 25763 markings/sec, 965 secs
lola: 24920656 markings, 31559839 edges, 25052 markings/sec, 970 secs
lola: 25045738 markings, 31740718 edges, 25016 markings/sec, 975 secs
lola: 25170382 markings, 31925409 edges, 24929 markings/sec, 980 secs
lola: 25296416 markings, 32100435 edges, 25207 markings/sec, 985 secs
lola: 25420868 markings, 32282897 edges, 24890 markings/sec, 990 secs
lola: 25545493 markings, 32468667 edges, 24925 markings/sec, 995 secs
lola: 25671419 markings, 32646053 edges, 25185 markings/sec, 1000 secs
lola: 25794205 markings, 32841197 edges, 24557 markings/sec, 1005 secs
lola: 25914563 markings, 33045335 edges, 24072 markings/sec, 1010 secs
lola: 26036655 markings, 33241213 edges, 24418 markings/sec, 1015 secs
lola: 26167628 markings, 33407947 edges, 26195 markings/sec, 1020 secs
lola: 26298602 markings, 33580347 edges, 26195 markings/sec, 1025 secs
lola: 26428507 markings, 33759821 edges, 25981 markings/sec, 1030 secs
lola: 26558657 markings, 33933550 edges, 26030 markings/sec, 1035 secs
lola: 26683359 markings, 34111551 edges, 24940 markings/sec, 1040 secs
lola: 26809684 markings, 34295062 edges, 25265 markings/sec, 1045 secs
lola: 26936163 markings, 34479771 edges, 25296 markings/sec, 1050 secs
lola: 27058704 markings, 34684373 edges, 24508 markings/sec, 1055 secs
lola: 27184649 markings, 34857047 edges, 25189 markings/sec, 1060 secs
lola: 27308180 markings, 35018512 edges, 24706 markings/sec, 1065 secs
lola: 27436668 markings, 35196667 edges, 25698 markings/sec, 1070 secs
lola: 27563819 markings, 35383461 edges, 25430 markings/sec, 1075 secs
lola: 27690783 markings, 35573182 edges, 25393 markings/sec, 1080 secs
lola: 27816762 markings, 35768695 edges, 25196 markings/sec, 1085 secs
lola: 27944516 markings, 35948326 edges, 25551 markings/sec, 1090 secs
lola: 28071294 markings, 36135081 edges, 25356 markings/sec, 1095 secs
lola: 28199890 markings, 36313747 edges, 25719 markings/sec, 1100 secs
lola: 28326935 markings, 36493753 edges, 25409 markings/sec, 1105 secs
lola: 28454800 markings, 36672763 edges, 25573 markings/sec, 1110 secs
lola: 28582317 markings, 36851821 edges, 25503 markings/sec, 1115 secs
lola: 28709470 markings, 37026351 edges, 25431 markings/sec, 1120 secs
lola: 28835686 markings, 37210560 edges, 25243 markings/sec, 1125 secs
lola: 28962223 markings, 37398741 edges, 25307 markings/sec, 1130 secs
lola: 29086883 markings, 37595672 edges, 24932 markings/sec, 1135 secs
lola: 29213776 markings, 37763804 edges, 25379 markings/sec, 1140 secs
lola: 29340018 markings, 37936046 edges, 25248 markings/sec, 1145 secs
lola: 29462826 markings, 38118645 edges, 24562 markings/sec, 1150 secs
lola: 29592286 markings, 38286412 edges, 25892 markings/sec, 1155 secs
lola: 29717468 markings, 38463221 edges, 25036 markings/sec, 1160 secs
lola: 29841609 markings, 38642373 edges, 24828 markings/sec, 1165 secs
lola: 29968535 markings, 38798685 edges, 25385 markings/sec, 1170 secs
lola: 30094942 markings, 38961423 edges, 25281 markings/sec, 1175 secs
lola: 30221149 markings, 39128030 edges, 25241 markings/sec, 1180 secs
lola: 30351094 markings, 39298287 edges, 25989 markings/sec, 1185 secs
lola: 30481404 markings, 39471927 edges, 26062 markings/sec, 1190 secs
lola: 30606981 markings, 39664750 edges, 25115 markings/sec, 1195 secs
lola: 30737653 markings, 39832471 edges, 26134 markings/sec, 1200 secs
lola: 30866942 markings, 40006421 edges, 25858 markings/sec, 1205 secs
lola: 30994563 markings, 40182811 edges, 25524 markings/sec, 1210 secs
lola: 31119330 markings, 40360906 edges, 24953 markings/sec, 1215 secs
lola: 31244159 markings, 40532493 edges, 24966 markings/sec, 1220 secs
lola: 31369571 markings, 40707872 edges, 25082 markings/sec, 1225 secs
lola: 31496403 markings, 40895466 edges, 25366 markings/sec, 1230 secs
lola: 31623548 markings, 41076440 edges, 25429 markings/sec, 1235 secs
lola: 31753755 markings, 41240507 edges, 26041 markings/sec, 1240 secs
lola: 31881626 markings, 41426109 edges, 25574 markings/sec, 1245 secs
lola: 32008431 markings, 41585996 edges, 25361 markings/sec, 1250 secs
lola: 32135020 markings, 41750062 edges, 25318 markings/sec, 1255 secs
lola: 32262121 markings, 41917812 edges, 25420 markings/sec, 1260 secs
lola: 32388172 markings, 42083533 edges, 25210 markings/sec, 1265 secs
lola: 32511344 markings, 42266518 edges, 24634 markings/sec, 1270 secs
lola: 32635793 markings, 42445186 edges, 24890 markings/sec, 1275 secs
lola: 32762521 markings, 42610958 edges, 25346 markings/sec, 1280 secs
lola: 32885060 markings, 42796642 edges, 24508 markings/sec, 1285 secs
lola: 33010655 markings, 42972012 edges, 25119 markings/sec, 1290 secs
lola: 33137438 markings, 43135544 edges, 25357 markings/sec, 1295 secs
lola: 33262227 markings, 43312139 edges, 24958 markings/sec, 1300 secs
lola: 33386847 markings, 43488653 edges, 24924 markings/sec, 1305 secs
lola: 33511005 markings, 43667848 edges, 24832 markings/sec, 1310 secs
lola: 33634693 markings, 43847372 edges, 24738 markings/sec, 1315 secs
lola: 33758554 markings, 44027525 edges, 24772 markings/sec, 1320 secs
lola: 33881950 markings, 44209660 edges, 24679 markings/sec, 1325 secs
lola: 34002994 markings, 44400660 edges, 24209 markings/sec, 1330 secs
lola: 34125322 markings, 44587133 edges, 24466 markings/sec, 1335 secs
lola: 34243525 markings, 44788703 edges, 23641 markings/sec, 1340 secs
lola: 34365376 markings, 44973299 edges, 24370 markings/sec, 1345 secs
lola: 34492832 markings, 45129835 edges, 25491 markings/sec, 1350 secs
lola: 34619954 markings, 45286786 edges, 25424 markings/sec, 1355 secs
lola: 34745004 markings, 45464188 edges, 25010 markings/sec, 1360 secs
lola: 34871566 markings, 45638790 edges, 25312 markings/sec, 1365 secs
lola: time limit reached - aborting
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown 6 1 1 1 1 1 1 unknown
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown 6 1 1 1 1 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown 6 1 1 1 1 1 1 unknown
lola: memory consumption: 2946596 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 6 unknown 1 unknown unknown 10 unknown unknown 6 1 1 1 1 1 1 unknown
lola: memory consumption: 2946596 KB
lola: time consumption: 3569 seconds

BK_STOP 1552880621339

--------------------
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-S02J06T06"
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-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 r121-smll-155272326100037"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J06T06.tgz
mv PolyORBLF-COL-S02J06T06 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 ;