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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 300K
-rw-r--r-- 1 mcc users 3.4K Feb 12 09:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 12 09:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 8 09:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 8 09:32 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.6K Feb 5 00:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 12:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 12:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 08:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 08:06 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-S02J04T06-UpperBounds-00
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-01
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-02
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-03
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-04
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-05
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-06
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-07
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-08
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-09
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J04T06-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552866167887

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S02J04T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S02J04T06 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J04T06 @ 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: 1396/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 15232
lola: finding significant places
lola: 476 places, 920 transitions, 430 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1243 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J04T06-UpperBounds.task
lola: MAX(p111 + p112 + p113 + p114 + p115 + p116) : MAX(p355) : MAX(p279) : MAX(p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462) : MAX(p156 + p157 + p158 + p159 + p160 + p161) : MAX(p56) : MAX(p445 + p446 + p447 + p448 + p449 + p450) : MAX(p61 + p60 + p59 + p58 + p57 + p62) : MAX(p412) : MAX(p168 + p169 + p170 + p171 + p172 + p173) : MAX(p1 + p2 + p3 + p4 + p5 + p6) : MAX(p41 + p42 + p43 + p44 + p45 + p46) : MAX(p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410) : MAX(p41 + p42 + p43 + p44 + p45 + p46) : MAX(p281 + p280) : MAX(p149)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p355)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 179867 markings, 205241 edges, 35973 markings/sec, 30 secs
lola: 357160 markings, 417402 edges, 35459 markings/sec, 35 secs
lola: 533133 markings, 631160 edges, 35195 markings/sec, 40 secs
lola: 706384 markings, 844681 edges, 34650 markings/sec, 45 secs
lola: 881602 markings, 1062932 edges, 35044 markings/sec, 50 secs
lola: 1056383 markings, 1282762 edges, 34956 markings/sec, 55 secs
lola: 1230477 markings, 1502173 edges, 34819 markings/sec, 60 secs
lola: 1404344 markings, 1721967 edges, 34773 markings/sec, 65 secs
lola: 1577982 markings, 1944007 edges, 34728 markings/sec, 70 secs
lola: 1751454 markings, 2164090 edges, 34694 markings/sec, 75 secs
lola: 1924465 markings, 2387167 edges, 34602 markings/sec, 80 secs
lola: 2091595 markings, 2598391 edges, 33426 markings/sec, 85 secs
lola: 2251703 markings, 2798082 edges, 32022 markings/sec, 90 secs
lola: 2424438 markings, 3018286 edges, 34547 markings/sec, 95 secs
lola: 2597020 markings, 3235214 edges, 34516 markings/sec, 100 secs
lola: 2768689 markings, 3456928 edges, 34334 markings/sec, 105 secs
lola: 2940215 markings, 3679304 edges, 34305 markings/sec, 110 secs
lola: 3111200 markings, 3899451 edges, 34197 markings/sec, 115 secs
lola: 3282532 markings, 4116839 edges, 34266 markings/sec, 120 secs
lola: 3453666 markings, 4340427 edges, 34227 markings/sec, 125 secs
lola: 3624441 markings, 4558837 edges, 34155 markings/sec, 130 secs
lola: 3795053 markings, 4779274 edges, 34122 markings/sec, 135 secs
lola: 3966043 markings, 5003118 edges, 34198 markings/sec, 140 secs
lola: 4136553 markings, 5217151 edges, 34102 markings/sec, 145 secs
lola: 4306190 markings, 5438264 edges, 33927 markings/sec, 150 secs
lola: 4476311 markings, 5661169 edges, 34024 markings/sec, 155 secs
lola: 4646359 markings, 5881323 edges, 34010 markings/sec, 160 secs
lola: 4815964 markings, 6102721 edges, 33921 markings/sec, 165 secs
lola: 4985973 markings, 6319631 edges, 34002 markings/sec, 170 secs
lola: 5155837 markings, 6540872 edges, 33973 markings/sec, 175 secs
lola: 5324913 markings, 6764453 edges, 33815 markings/sec, 180 secs
lola: 5494425 markings, 6981467 edges, 33902 markings/sec, 185 secs
lola: 5664349 markings, 7201275 edges, 33985 markings/sec, 190 secs
lola: 5833592 markings, 7421790 edges, 33849 markings/sec, 195 secs
lola: 6002262 markings, 7640948 edges, 33734 markings/sec, 200 secs
lola: 6171934 markings, 7860774 edges, 33934 markings/sec, 205 secs
lola: 6341280 markings, 8082617 edges, 33869 markings/sec, 210 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: 704152 KB
lola: time consumption: 326 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p279)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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
check_solution: Constraint R2 = 4.64143700043e-310 is above its equality of -1
check_solution: Constraint R16 = 4.64143700466e-310 is above its equality of -1
check_solution: Constraint R21 = 1 is above its equality of 0
check_solution: Constraint R22 = 0.0416666666667 is above its equality of 0
check_solution: Constraint R27 = 0.976822345979 is above its equality of 0
check_solution: Constraint R93 = 0 is above its equality of -1
check_solution: Constraint R94 = 0 is above its equality of -1
check_solution: Constraint R95 = 0 is above its equality of -1
check_solution: Constraint R96 = 0 is above its equality of -1
check_solution: Constraint R97 = 0 is above its equality of -1

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

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================lola: subprocess 2 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p56)
lola:
processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 95 markings, 94 edges
lola: ========================================
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-5 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 3 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p412)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p412)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 173504 markings, 200984 edges, 34701 markings/sec, 30 secs
lola: 341514 markings, 397418 edges, 33602 markings/sec, 35 secs
lola: 520148 markings, 607283 edges, 35727 markings/sec, 40 secs
lola: 698364 markings, 816464 edges, 35643 markings/sec, 45 secs
lola: 875911 markings, 1026763 edges, 35509 markings/sec, 50 secs
lola: 1052964 markings, 1236018 edges, 35411 markings/sec, 55 secs
lola: 1229906 markings, 1447858 edges, 35388 markings/sec, 60 secs
lola: 1406975 markings, 1660318 edges, 35414 markings/sec, 65 secs
lola: 1583689 markings, 1872974 edges, 35343 markings/sec, 70 secs
lola: 1760518 markings, 2085453 edges, 35366 markings/sec, 75 secs
lola: 1936883 markings, 2295992 edges, 35273 markings/sec, 80 secs
lola: 2112954 markings, 2507100 edges, 35214 markings/sec, 85 secs
lola: 2288933 markings, 2717616 edges, 35196 markings/sec, 90 secs
lola: 2464787 markings, 2929537 edges, 35171 markings/sec, 95 secs
lola: 2640360 markings, 3140672 edges, 35115 markings/sec, 100 secs
lola: 2814874 markings, 3349789 edges, 34903 markings/sec, 105 secs
lola: 2989435 markings, 3559963 edges, 34912 markings/sec, 110 secs
lola: 3163700 markings, 3770119 edges, 34853 markings/sec, 115 secs
lola: 3337489 markings, 3977776 edges, 34758 markings/sec, 120 secs
lola: 3510906 markings, 4185257 edges, 34683 markings/sec, 125 secs
lola: 3683631 markings, 4391135 edges, 34545 markings/sec, 130 secs
lola: 3856778 markings, 4599888 edges, 34629 markings/sec, 135 secs
lola: 4029220 markings, 4805213 edges, 34488 markings/sec, 140 secs
lola: 4201457 markings, 5010021 edges, 34447 markings/sec, 145 secs
lola: 4374215 markings, 5216619 edges, 34552 markings/sec, 150 secs
lola: 4544713 markings, 5420560 edges, 34100 markings/sec, 155 secs
lola: 4715956 markings, 5623841 edges, 34249 markings/sec, 160 secs
lola: 4887115 markings, 5827862 edges, 34232 markings/sec, 165 secs
lola: 5058284 markings, 6033340 edges, 34234 markings/sec, 170 secs
lola: 5229191 markings, 6237901 edges, 34181 markings/sec, 175 secs
lola: 5398260 markings, 6441781 edges, 33814 markings/sec, 180 secs
lola: 5562548 markings, 6639129 edges, 32858 markings/sec, 185 secs
lola: 5721956 markings, 6831283 edges, 31882 markings/sec, 190 secs
lola: 5891865 markings, 7035443 edges, 33982 markings/sec, 195 secs
lola: 6061248 markings, 7238509 edges, 33877 markings/sec, 200 secs
lola: 6231292 markings, 7444720 edges, 34009 markings/sec, 205 secs
lola: 6399926 markings, 7646629 edges, 33727 markings/sec, 210 secs
lola: 6568666 markings, 7848902 edges, 33748 markings/sec, 215 secs
lola: 6737356 markings, 8049080 edges, 33738 markings/sec, 220 secs
lola: 6906052 markings, 8250378 edges, 33739 markings/sec, 225 secs
lola: 7073666 markings, 8450230 edges, 33523 markings/sec, 230 secs
lola: 7240903 markings, 8647892 edges, 33447 markings/sec, 235 secs
lola: 7407695 markings, 8845510 edges, 33358 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 752812 KB
lola: time consumption: 580 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p149)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 178362 markings, 198760 edges, 35672 markings/sec, 30 secs
lola: 355921 markings, 399037 edges, 35512 markings/sec, 35 secs
lola: 532757 markings, 600385 edges, 35367 markings/sec, 40 secs
lola: 709264 markings, 801426 edges, 35301 markings/sec, 45 secs
lola: 885658 markings, 1001924 edges, 35279 markings/sec, 50 secs
lola: 1061670 markings, 1203088 edges, 35202 markings/sec, 55 secs
lola: 1237101 markings, 1405283 edges, 35086 markings/sec, 60 secs
lola: 1404389 markings, 1599902 edges, 33458 markings/sec, 65 secs
lola: 1579385 markings, 1802205 edges, 34999 markings/sec, 70 secs
lola: 1754029 markings, 2004623 edges, 34929 markings/sec, 75 secs
lola: 1921320 markings, 2197435 edges, 33458 markings/sec, 80 secs
lola: 2095987 markings, 2399271 edges, 34933 markings/sec, 85 secs
lola: 2270291 markings, 2602036 edges, 34861 markings/sec, 90 secs
lola: 2444445 markings, 2803413 edges, 34831 markings/sec, 95 secs
lola: 2618693 markings, 3004976 edges, 34850 markings/sec, 100 secs
lola: 2792488 markings, 3205447 edges, 34759 markings/sec, 105 secs
lola: 2965504 markings, 3405118 edges, 34603 markings/sec, 110 secs
lola: 3138325 markings, 3604954 edges, 34564 markings/sec, 115 secs
lola: 3310719 markings, 3804711 edges, 34479 markings/sec, 120 secs
lola: 3482777 markings, 4004026 edges, 34412 markings/sec, 125 secs
lola: 3654611 markings, 4204032 edges, 34367 markings/sec, 130 secs
lola: 3826300 markings, 4404674 edges, 34338 markings/sec, 135 secs
lola: 3997768 markings, 4605675 edges, 34294 markings/sec, 140 secs
lola: 4169108 markings, 4805618 edges, 34268 markings/sec, 145 secs
lola: 4340040 markings, 5004274 edges, 34186 markings/sec, 150 secs
lola: 4510593 markings, 5202495 edges, 34111 markings/sec, 155 secs
lola: 4680742 markings, 5402366 edges, 34030 markings/sec, 160 secs
lola: 4850371 markings, 5601435 edges, 33926 markings/sec, 165 secs
lola: 5019783 markings, 5799751 edges, 33882 markings/sec, 170 secs
lola: 5188235 markings, 5996795 edges, 33690 markings/sec, 175 secs
lola: 5356638 markings, 6194445 edges, 33681 markings/sec, 180 secs
lola: 5525874 markings, 6393913 edges, 33847 markings/sec, 185 secs
lola: 5693068 markings, 6592850 edges, 33439 markings/sec, 190 secs
lola: 5860046 markings, 6791787 edges, 33396 markings/sec, 195 secs
lola: 6026654 markings, 6990738 edges, 33322 markings/sec, 200 secs
lola: 6194364 markings, 7189111 edges, 33542 markings/sec, 205 secs
lola: 6360526 markings, 7387055 edges, 33232 markings/sec, 210 secs
lola: 6525916 markings, 7586202 edges, 33078 markings/sec, 215 secs
lola: 6692156 markings, 7784021 edges, 33248 markings/sec, 220 secs
lola: 6855272 markings, 7978007 edges, 32623 markings/sec, 225 secs
lola: 7020343 markings, 8176032 edges, 33014 markings/sec, 230 secs
lola: 7187548 markings, 8374089 edges, 33441 markings/sec, 235 secs
lola: 7354421 markings, 8571931 edges, 33375 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 757172 KB
lola: time consumption: 829 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p281 + p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p281 + p280)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-14 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p61 + p60 + p59 + p58 + p57 + p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61 + p60 + p59 + p58 + p57 + p62)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 134875 markings, 156887 edges, 26975 markings/sec, 0 secs
lola: 295355 markings, 346747 edges, 32096 markings/sec, 5 secs
lola: 455464 markings, 536784 edges, 32022 markings/sec, 10 secs
lola: 615201 markings, 726013 edges, 31947 markings/sec, 15 secs
lola: 774282 markings, 914469 edges, 31816 markings/sec, 20 secs
lola: 933410 markings, 1104652 edges, 31826 markings/sec, 25 secs
lola: 1092250 markings, 1294289 edges, 31768 markings/sec, 30 secs
lola: 1250933 markings, 1485249 edges, 31737 markings/sec, 35 secs
lola: 1409069 markings, 1676288 edges, 31627 markings/sec, 40 secs
lola: 1567139 markings, 1868183 edges, 31614 markings/sec, 45 secs
lola: 1710946 markings, 2042813 edges, 28761 markings/sec, 50 secs
lola: 1863215 markings, 2227139 edges, 30454 markings/sec, 55 secs
lola: 2015423 markings, 2411420 edges, 30442 markings/sec, 60 secs
lola: 2161454 markings, 2587897 edges, 29206 markings/sec, 65 secs
lola: 2318020 markings, 2779660 edges, 31313 markings/sec, 70 secs
lola: 2474219 markings, 2969763 edges, 31240 markings/sec, 75 secs
lola: 2629729 markings, 3158656 edges, 31102 markings/sec, 80 secs
lola: 2785594 markings, 3347235 edges, 31173 markings/sec, 85 secs
lola: 2941275 markings, 3534707 edges, 31136 markings/sec, 90 secs
lola: 3096657 markings, 3721315 edges, 31076 markings/sec, 95 secs
lola: 3251295 markings, 3906338 edges, 30928 markings/sec, 100 secs
lola: 3405565 markings, 4090872 edges, 30854 markings/sec, 105 secs
lola: 3560058 markings, 4275578 edges, 30899 markings/sec, 110 secs
lola: 3713752 markings, 4460845 edges, 30739 markings/sec, 115 secs
lola: 3866924 markings, 4643951 edges, 30634 markings/sec, 120 secs
lola: 4019544 markings, 4827064 edges, 30524 markings/sec, 125 secs
lola: 4172032 markings, 5010257 edges, 30498 markings/sec, 130 secs
lola: 4324964 markings, 5194067 edges, 30586 markings/sec, 135 secs
lola: 4477121 markings, 5377594 edges, 30431 markings/sec, 140 secs
lola: 4628628 markings, 5559414 edges, 30301 markings/sec, 145 secs
lola: 4780852 markings, 5742403 edges, 30445 markings/sec, 150 secs
lola: 4932028 markings, 5924910 edges, 30235 markings/sec, 155 secs
lola: 5083404 markings, 6107969 edges, 30275 markings/sec, 160 secs
lola: 5234779 markings, 6291298 edges, 30275 markings/sec, 165 secs
lola: 5385285 markings, 6471993 edges, 30101 markings/sec, 170 secs
lola: 5536879 markings, 6655781 edges, 30319 markings/sec, 175 secs
lola: 5687330 markings, 6837187 edges, 30090 markings/sec, 180 secs
lola: 5836919 markings, 7016792 edges, 29918 markings/sec, 185 secs
lola: 5987311 markings, 7199576 edges, 30078 markings/sec, 190 secs
lola: 6137067 markings, 7380156 edges, 29951 markings/sec, 195 secs
lola: 6285736 markings, 7559830 edges, 29734 markings/sec, 200 secs
lola: 6433153 markings, 7736556 edges, 29483 markings/sec, 205 secs
lola: 6579512 markings, 7911981 edges, 29272 markings/sec, 210 secs
lola: 6727214 markings, 8091289 edges, 29540 markings/sec, 215 secs
lola: 6874946 markings, 8268117 edges, 29546 markings/sec, 220 secs
lola: 7022952 markings, 8447257 edges, 29601 markings/sec, 225 secs
lola: 7161831 markings, 8613582 edges, 27776 markings/sec, 230 secs
lola: 7308811 markings, 8788571 edges, 29396 markings/sec, 235 secs
lola: 7455298 markings, 8964077 edges, 29297 markings/sec, 240 secs
lola: 7602252 markings, 9139493 edges, 29391 markings/sec, 245 secs
lola: 7748999 markings, 9316165 edges, 29349 markings/sec, 250 secs
lola: 7896054 markings, 9493909 edges, 29411 markings/sec, 255 secs
lola: 8039512 markings, 9667209 edges, 28692 markings/sec, 260 secs
lola: 8185552 markings, 9845532 edges, 29208 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown 2 unknown
lola: memory consumption: 803988 KB
lola: time consumption: 1103 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p156 + p157 + p158 + p159 + p160 + p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p156 + p157 + p158 + p159 + p160 + p161)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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-S02J04T06-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p168 + p169 + p170 + p171 + p172 + p173)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p168 + p169 + p170 + p171 + p172 + p173)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 138575 markings, 160866 edges, 27715 markings/sec, 0 secs
lola: 297699 markings, 348472 edges, 31825 markings/sec, 5 secs
lola: 449681 markings, 529190 edges, 30396 markings/sec, 10 secs
lola: 608901 markings, 716856 edges, 31844 markings/sec, 15 secs
lola: 767776 markings, 904834 edges, 31775 markings/sec, 20 secs
lola: 926233 markings, 1093621 edges, 31691 markings/sec, 25 secs
lola: 1084445 markings, 1282516 edges, 31642 markings/sec, 30 secs
lola: 1242243 markings, 1472218 edges, 31560 markings/sec, 35 secs
lola: 1399863 markings, 1662713 edges, 31524 markings/sec, 40 secs
lola: 1556928 markings, 1853958 edges, 31413 markings/sec, 45 secs
lola: 1713726 markings, 2043467 edges, 31360 markings/sec, 50 secs
lola: 1870363 markings, 2233651 edges, 31327 markings/sec, 55 secs
lola: 2026798 markings, 2422478 edges, 31287 markings/sec, 60 secs
lola: 2183066 markings, 2612384 edges, 31254 markings/sec, 65 secs
lola: 2338359 markings, 2800272 edges, 31059 markings/sec, 70 secs
lola: 2493131 markings, 2987351 edges, 30954 markings/sec, 75 secs
lola: 2648230 markings, 3174800 edges, 31020 markings/sec, 80 secs
lola: 2802274 markings, 3361890 edges, 30809 markings/sec, 85 secs
lola: 2956728 markings, 3548071 edges, 30891 markings/sec, 90 secs
lola: 3110270 markings, 3733574 edges, 30708 markings/sec, 95 secs
lola: 3262953 markings, 3916240 edges, 30537 markings/sec, 100 secs
lola: 3415604 markings, 4097144 edges, 30530 markings/sec, 105 secs
lola: 3568346 markings, 4279064 edges, 30548 markings/sec, 110 secs
lola: 3721209 markings, 4463263 edges, 30573 markings/sec, 115 secs
lola: 3873147 markings, 4646775 edges, 30388 markings/sec, 120 secs
lola: 4024940 markings, 4828085 edges, 30359 markings/sec, 125 secs
lola: 4176680 markings, 5010430 edges, 30348 markings/sec, 130 secs
lola: 4328453 markings, 5193130 edges, 30355 markings/sec, 135 secs
lola: 4479255 markings, 5372182 edges, 30160 markings/sec, 140 secs
lola: 4630524 markings, 5555288 edges, 30254 markings/sec, 145 secs
lola: 4780374 markings, 5735808 edges, 29970 markings/sec, 150 secs
lola: 4931213 markings, 5917711 edges, 30168 markings/sec, 155 secs
lola: 5081154 markings, 6098223 edges, 29988 markings/sec, 160 secs
lola: 5230688 markings, 6276115 edges, 29907 markings/sec, 165 secs
lola: 5380631 markings, 6456766 edges, 29989 markings/sec, 170 secs
lola: 5531247 markings, 6638362 edges, 30123 markings/sec, 175 secs
lola: 5681195 markings, 6817320 edges, 29990 markings/sec, 180 secs
lola: 5830216 markings, 6996142 edges, 29804 markings/sec, 185 secs
lola: 5979310 markings, 7175236 edges, 29819 markings/sec, 190 secs
lola: 6127071 markings, 7351643 edges, 29552 markings/sec, 195 secs
lola: 6274257 markings, 7529269 edges, 29437 markings/sec, 200 secs
lola: 6422123 markings, 7705627 edges, 29573 markings/sec, 205 secs
lola: 6568658 markings, 7880180 edges, 29307 markings/sec, 210 secs
lola: 6714612 markings, 8055391 edges, 29191 markings/sec, 215 secs
lola: 6861713 markings, 8233365 edges, 29420 markings/sec, 220 secs
lola: 7008094 markings, 8412063 edges, 29276 markings/sec, 225 secs
lola: 7154279 markings, 8590407 edges, 29237 markings/sec, 230 secs
lola: 7299816 markings, 8765594 edges, 29107 markings/sec, 235 secs
lola: 7444970 markings, 8939467 edges, 29031 markings/sec, 240 secs
lola: 7589826 markings, 9115327 edges, 28971 markings/sec, 245 secs
lola: 7736092 markings, 9293089 edges, 29253 markings/sec, 250 secs
lola: 7881256 markings, 9468815 edges, 29033 markings/sec, 255 secs
lola: 8026877 markings, 9644787 edges, 29124 markings/sec, 260 secs
lola: 8171637 markings, 9819952 edges, 28952 markings/sec, 265 secs
lola: 8317442 markings, 9995857 edges, 29161 markings/sec, 270 secs
lola: 8462627 markings, 10169762 edges, 29037 markings/sec, 275 secs
lola: 8607774 markings, 10345556 edges, 29029 markings/sec, 280 secs
lola: 8749476 markings, 10518947 edges, 28340 markings/sec, 285 secs
lola: 8893536 markings, 10697518 edges, 28812 markings/sec, 290 secs
lola: 9036683 markings, 10874702 edges, 28629 markings/sec, 295 secs
lola: 9177834 markings, 11050923 edges, 28230 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 6 unknown unknown unknown unknown unknown unknown unknown unknown 2 unknown
lola: memory consumption: 874732 KB
lola: time consumption: 1412 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1 + p2 + p3 + p4 + p5 + p6)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 3 markings, 2 edges

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p41 + p42 + p43 + p44 + p45 + p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p41 + p42 + p43 + p44 + p45 + p46)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 150632 markings, 174317 edges, 30126 markings/sec, 0 secs
lola: 326225 markings, 379844 edges, 35119 markings/sec, 5 secs
lola: 501299 markings, 585199 edges, 35015 markings/sec, 10 secs
lola: 675873 markings, 789626 edges, 34915 markings/sec, 15 secs
lola: 849628 markings, 995809 edges, 34751 markings/sec, 20 secs
lola: 1023152 markings, 1200804 edges, 34705 markings/sec, 25 secs
lola: 1196296 markings, 1407406 edges, 34629 markings/sec, 30 secs
lola: 1369544 markings, 1615301 edges, 34650 markings/sec, 35 secs
lola: 1542594 markings, 1823675 edges, 34610 markings/sec, 40 secs
lola: 1715772 markings, 2031901 edges, 34636 markings/sec, 45 secs
lola: 1888791 markings, 2238221 edges, 34604 markings/sec, 50 secs
lola: 2061574 markings, 2445415 edges, 34557 markings/sec, 55 secs
lola: 2233957 markings, 2651706 edges, 34477 markings/sec, 60 secs
lola: 2406314 markings, 2858962 edges, 34471 markings/sec, 65 secs
lola: 2577615 markings, 3065537 edges, 34260 markings/sec, 70 secs
lola: 2748508 markings, 3270091 edges, 34179 markings/sec, 75 secs
lola: 2919092 markings, 3475547 edges, 34117 markings/sec, 80 secs
lola: 3089603 markings, 3680584 edges, 34102 markings/sec, 85 secs
lola: 3259719 markings, 3884839 edges, 34023 markings/sec, 90 secs
lola: 3429694 markings, 4087996 edges, 33995 markings/sec, 95 secs
lola: 3599663 markings, 4291200 edges, 33994 markings/sec, 100 secs
lola: 3769577 markings, 4494526 edges, 33983 markings/sec, 105 secs
lola: 3939554 markings, 4698502 edges, 33995 markings/sec, 110 secs
lola: 4109294 markings, 4901350 edges, 33948 markings/sec, 115 secs
lola: 4278677 markings, 5101834 edges, 33877 markings/sec, 120 secs
lola: 4447192 markings, 5304628 edges, 33703 markings/sec, 125 secs
lola: 4616648 markings, 5505992 edges, 33891 markings/sec, 130 secs
lola: 4785567 markings, 5707256 edges, 33784 markings/sec, 135 secs
lola: 4954370 markings, 5908354 edges, 33761 markings/sec, 140 secs
lola: 5122957 markings, 6110554 edges, 33717 markings/sec, 145 secs
lola: 5291398 markings, 6312639 edges, 33688 markings/sec, 150 secs
lola: 5459615 markings, 6515096 edges, 33643 markings/sec, 155 secs
lola: 5627356 markings, 6717306 edges, 33548 markings/sec, 160 secs
lola: 5795626 markings, 6919215 edges, 33654 markings/sec, 165 secs
lola: 5963698 markings, 7121127 edges, 33614 markings/sec, 170 secs
lola: 6131487 markings, 7324088 edges, 33558 markings/sec, 175 secs
lola: 6299114 markings, 7525660 edges, 33525 markings/sec, 180 secs
lola: 6466056 markings, 7725176 edges, 33388 markings/sec, 185 secs
lola: 6633515 markings, 7926705 edges, 33492 markings/sec, 190 secs
lola: 6800657 markings, 8124896 edges, 33428 markings/sec, 195 secs
lola: 6967834 markings, 8324388 edges, 33435 markings/sec, 200 secs
lola: 7134034 markings, 8521959 edges, 33240 markings/sec, 205 secs
lola: 7299928 markings, 8718592 edges, 33179 markings/sec, 210 secs
lola: 7465648 markings, 8914309 edges, 33144 markings/sec, 215 secs
lola: 7630934 markings, 9109772 edges, 33057 markings/sec, 220 secs
lola: 7796512 markings, 9304498 edges, 33116 markings/sec, 225 secs
lola: 7962099 markings, 9500286 edges, 33117 markings/sec, 230 secs
lola: 8128118 markings, 9699055 edges, 33204 markings/sec, 235 secs
lola: 8292589 markings, 9897659 edges, 32894 markings/sec, 240 secs
lola: 8457222 markings, 10096350 edges, 32927 markings/sec, 245 secs
lola: 8621115 markings, 10296306 edges, 32779 markings/sec, 250 secs
lola: 8785677 markings, 10493909 edges, 32912 markings/sec, 255 secs
lola: 8950560 markings, 10693144 edges, 32977 markings/sec, 260 secs
lola: 9114229 markings, 10890371 edges, 32734 markings/sec, 265 secs
lola: 9273811 markings, 11083491 edges, 31916 markings/sec, 270 secs
lola: 9438161 markings, 11281512 edges, 32870 markings/sec, 275 secs
lola: 9600894 markings, 11475858 edges, 32547 markings/sec, 280 secs
lola: 9761851 markings, 11675073 edges, 32191 markings/sec, 285 secs
lola: 9923931 markings, 11873432 edges, 32416 markings/sec, 290 secs
lola: 10086587 markings, 12069064 edges, 32531 markings/sec, 295 secs
lola: 10245868 markings, 12264867 edges, 31856 markings/sec, 300 secs
lola: 10405488 markings, 12462575 edges, 31924 markings/sec, 305 secs
lola: 10567128 markings, 12661176 edges, 32328 markings/sec, 310 secs
lola: 10729633 markings, 12855878 edges, 32501 markings/sec, 315 secs
lola: 10891412 markings, 13054055 edges, 32356 markings/sec, 320 secs
lola: 11052711 markings, 13250741 edges, 32260 markings/sec, 325 secs
lola: 11214153 markings, 13447850 edges, 32288 markings/sec, 330 secs
lola: 11377514 markings, 13646364 edges, 32672 markings/sec, 335 secs
lola: 11535669 markings, 13843586 edges, 31631 markings/sec, 340 secs
lola: 11678857 markings, 14015424 edges, 28638 markings/sec, 345 secs
lola: 11833206 markings, 14203446 edges, 30870 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 6 unknown unknown unknown unknown 1 unknown unknown unknown 2 unknown
lola: memory consumption: 1082716 KB
lola: time consumption: 1774 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p41 + p42 + p43 + p44 + p45 + p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p41 + p42 + p43 + p44 + p45 + p46)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 157256 markings, 181903 edges, 31451 markings/sec, 0 secs
lola: 331572 markings, 386094 edges, 34863 markings/sec, 5 secs
lola: 505031 markings, 589611 edges, 34692 markings/sec, 10 secs
lola: 665761 markings, 777644 edges, 32146 markings/sec, 15 secs
lola: 824744 markings, 966464 edges, 31797 markings/sec, 20 secs
lola: 997826 markings, 1171237 edges, 34616 markings/sec, 25 secs
lola: 1169622 markings, 1375454 edges, 34359 markings/sec, 30 secs
lola: 1341773 markings, 1581713 edges, 34430 markings/sec, 35 secs
lola: 1513720 markings, 1788915 edges, 34389 markings/sec, 40 secs
lola: 1685591 markings, 1995521 edges, 34374 markings/sec, 45 secs
lola: 1857349 markings, 2200813 edges, 34352 markings/sec, 50 secs
lola: 2029100 markings, 2406094 edges, 34350 markings/sec, 55 secs
lola: 2200543 markings, 2611079 edges, 34289 markings/sec, 60 secs
lola: 2371891 markings, 2817338 edges, 34270 markings/sec, 65 secs
lola: 2543237 markings, 3024301 edges, 34269 markings/sec, 70 secs
lola: 2714188 markings, 3228472 edges, 34190 markings/sec, 75 secs
lola: 2884394 markings, 3433107 edges, 34041 markings/sec, 80 secs
lola: 3054669 markings, 3638675 edges, 34055 markings/sec, 85 secs
lola: 3224641 markings, 3842706 edges, 33994 markings/sec, 90 secs
lola: 3394899 markings, 4046482 edges, 34052 markings/sec, 95 secs
lola: 3564694 markings, 4249662 edges, 33959 markings/sec, 100 secs
lola: 3734584 markings, 4451905 edges, 33978 markings/sec, 105 secs
lola: 3904438 markings, 4656889 edges, 33971 markings/sec, 110 secs
lola: 4074166 markings, 4858935 edges, 33946 markings/sec, 115 secs
lola: 4243228 markings, 5060064 edges, 33812 markings/sec, 120 secs
lola: 4412397 markings, 5262999 edges, 33834 markings/sec, 125 secs
lola: 4580653 markings, 5463083 edges, 33651 markings/sec, 130 secs
lola: 4749146 markings, 5663720 edges, 33699 markings/sec, 135 secs
lola: 4917741 markings, 5864528 edges, 33719 markings/sec, 140 secs
lola: 5078815 markings, 6057306 edges, 32215 markings/sec, 145 secs
lola: 5247004 markings, 6259262 edges, 33638 markings/sec, 150 secs
lola: 5415104 markings, 6462328 edges, 33620 markings/sec, 155 secs
lola: 5578262 markings, 6657755 edges, 32632 markings/sec, 160 secs
lola: 5746504 markings, 6860660 edges, 33648 markings/sec, 165 secs
lola: 5914845 markings, 7062856 edges, 33668 markings/sec, 170 secs
lola: 6082641 markings, 7264638 edges, 33559 markings/sec, 175 secs
lola: 6250400 markings, 7467130 edges, 33552 markings/sec, 180 secs
lola: 6404354 markings, 7651923 edges, 30791 markings/sec, 185 secs
lola: 6571513 markings, 7852157 edges, 33432 markings/sec, 190 secs
lola: 6738836 markings, 8050777 edges, 33465 markings/sec, 195 secs
lola: 6906154 markings, 8250490 edges, 33464 markings/sec, 200 secs
lola: 7072490 markings, 8448765 edges, 33267 markings/sec, 205 secs
lola: 7238668 markings, 8645328 edges, 33236 markings/sec, 210 secs
lola: 7404517 markings, 8841731 edges, 33170 markings/sec, 215 secs
lola: 7570413 markings, 9038971 edges, 33179 markings/sec, 220 secs
lola: 7735942 markings, 9233314 edges, 33106 markings/sec, 225 secs
lola: 7901878 markings, 9429162 edges, 33187 markings/sec, 230 secs
lola: 8067732 markings, 9625943 edges, 33171 markings/sec, 235 secs
lola: 8233521 markings, 9825040 edges, 33158 markings/sec, 240 secs
lola: 8396878 markings, 10024048 edges, 32671 markings/sec, 245 secs
lola: 8561255 markings, 10224228 edges, 32875 markings/sec, 250 secs
lola: 8725745 markings, 10422068 edges, 32898 markings/sec, 255 secs
lola: 8891097 markings, 10620618 edges, 33070 markings/sec, 260 secs
lola: 9055168 markings, 10817659 edges, 32814 markings/sec, 265 secs
lola: 9214276 markings, 11012536 edges, 31822 markings/sec, 270 secs
lola: 9378408 markings, 11208967 edges, 32826 markings/sec, 275 secs
lola: 9542443 markings, 11405778 edges, 32807 markings/sec, 280 secs
lola: 9702204 markings, 11598845 edges, 31952 markings/sec, 285 secs
lola: 9862591 markings, 11797674 edges, 32077 markings/sec, 290 secs
lola: 10024686 markings, 11994996 edges, 32419 markings/sec, 295 secs
lola: 10184713 markings, 12188753 edges, 32005 markings/sec, 300 secs
lola: 10342280 markings, 12386434 edges, 31513 markings/sec, 305 secs
lola: 10503346 markings, 12583373 edges, 32213 markings/sec, 310 secs
lola: 10665547 markings, 12779895 edges, 32440 markings/sec, 315 secs
lola: 10827591 markings, 12976235 edges, 32409 markings/sec, 320 secs
lola: 10989585 markings, 13174208 edges, 32399 markings/sec, 325 secs
lola: 11150134 markings, 13370826 edges, 32110 markings/sec, 330 secs
lola: 11314262 markings, 13569567 edges, 32826 markings/sec, 335 secs
lola: 11476243 markings, 13767112 edges, 32396 markings/sec, 340 secs
lola: 11637422 markings, 13966103 edges, 32236 markings/sec, 345 secs
lola: 11801497 markings, 14163686 edges, 32815 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 6 unknown unknown unknown unknown 1 unknown unknown unknown 2 unknown
lola: memory consumption: 1080716 KB
lola: time consumption: 2133 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p111 + p112 + p113 + p114 + p115 + p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p111 + p112 + p113 + p114 + p115 + p116)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 15 markings, 14 edges

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 478 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p445 + p446 + p447 + p448 + p449 + p450)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p445 + p446 + p447 + p448 + p449 + p450)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 63 markings, 62 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 716 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410)
lola: processed formula length: 86
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 2
lola: 140216 markings, 155907 edges, 28043 markings/sec, 0 secs
lola: 320295 markings, 356446 edges, 36016 markings/sec, 5 secs
lola: 495181 markings, 555128 edges, 34977 markings/sec, 10 secs
lola: 675690 markings, 761221 edges, 36102 markings/sec, 15 secs
lola: 855760 markings, 966244 edges, 36014 markings/sec, 20 secs
lola: 1035368 markings, 1172395 edges, 35922 markings/sec, 25 secs
lola: 1214875 markings, 1378590 edges, 35901 markings/sec, 30 secs
lola: 1393706 markings, 1585836 edges, 35766 markings/sec, 35 secs
lola: 1572395 markings, 1792378 edges, 35738 markings/sec, 40 secs
lola: 1750642 markings, 1998548 edges, 35649 markings/sec, 45 secs
lola: 1928713 markings, 2204236 edges, 35614 markings/sec, 50 secs
lola: 2106645 markings, 2409631 edges, 35586 markings/sec, 55 secs
lola: 2284436 markings, 2616557 edges, 35558 markings/sec, 60 secs
lola: 2461777 markings, 2821317 edges, 35468 markings/sec, 65 secs
lola: 2638881 markings, 3025793 edges, 35421 markings/sec, 70 secs
lola: 2815881 markings, 3231592 edges, 35400 markings/sec, 75 secs
lola: 2992837 markings, 3436145 edges, 35391 markings/sec, 80 secs
lola: 3168702 markings, 3641664 edges, 35173 markings/sec, 85 secs
lola: 3344798 markings, 3847210 edges, 35219 markings/sec, 90 secs
lola: 3520099 markings, 4053569 edges, 35060 markings/sec, 95 secs
lola: 3695083 markings, 4260588 edges, 34997 markings/sec, 100 secs
lola: 3869860 markings, 4466071 edges, 34955 markings/sec, 105 secs
lola: 4044880 markings, 4671705 edges, 35004 markings/sec, 110 secs
lola: 4219759 markings, 4876980 edges, 34976 markings/sec, 115 secs
lola: 4392854 markings, 5082114 edges, 34619 markings/sec, 120 secs
lola: 4564373 markings, 5286154 edges, 34304 markings/sec, 125 secs
lola: 4736518 markings, 5489368 edges, 34429 markings/sec, 130 secs
lola: 4908515 markings, 5693924 edges, 34399 markings/sec, 135 secs
lola: 5079700 markings, 5896435 edges, 34237 markings/sec, 140 secs
lola: 5251112 markings, 6100299 edges, 34282 markings/sec, 145 secs
lola: 5422471 markings, 6302446 edges, 34272 markings/sec, 150 secs
lola: 5592987 markings, 6504645 edges, 34103 markings/sec, 155 secs
lola: 5763122 markings, 6708694 edges, 34027 markings/sec, 160 secs
lola: 5934151 markings, 6913978 edges, 34206 markings/sec, 165 secs
lola: 6104170 markings, 7117483 edges, 34004 markings/sec, 170 secs
lola: 6274523 markings, 7322622 edges, 34071 markings/sec, 175 secs
lola: 6443828 markings, 7531147 edges, 33861 markings/sec, 180 secs
lola: 6613022 markings, 7738331 edges, 33839 markings/sec, 185 secs
lola: 6775676 markings, 7937346 edges, 32531 markings/sec, 190 secs
lola: 6940286 markings, 8136608 edges, 32922 markings/sec, 195 secs
lola: 7095089 markings, 8329496 edges, 30961 markings/sec, 200 secs
lola: 7265012 markings, 8535343 edges, 33985 markings/sec, 205 secs
lola: 7433150 markings, 8741109 edges, 33628 markings/sec, 210 secs
lola: 7600717 markings, 8944298 edges, 33513 markings/sec, 215 secs
lola: 7767101 markings, 9151573 edges, 33277 markings/sec, 220 secs
lola: 7935434 markings, 9356997 edges, 33667 markings/sec, 225 secs
lola: 8103200 markings, 9560704 edges, 33553 markings/sec, 230 secs
lola: 8270739 markings, 9765546 edges, 33508 markings/sec, 235 secs
lola: 8442180 markings, 9976513 edges, 34288 markings/sec, 240 secs
lola: 8611596 markings, 10183222 edges, 33883 markings/sec, 245 secs
lola: 8777534 markings, 10383880 edges, 33188 markings/sec, 250 secs
lola: 8942709 markings, 10589030 edges, 33035 markings/sec, 255 secs
lola: 9109273 markings, 10792653 edges, 33313 markings/sec, 260 secs
lola: 9277067 markings, 10994733 edges, 33559 markings/sec, 265 secs
lola: 9443166 markings, 11199420 edges, 33220 markings/sec, 270 secs
lola: 9609057 markings, 11404150 edges, 33178 markings/sec, 275 secs
lola: 9770156 markings, 11605063 edges, 32220 markings/sec, 280 secs
lola: 9934135 markings, 11804853 edges, 32796 markings/sec, 285 secs
lola: 10098137 markings, 12004014 edges, 32800 markings/sec, 290 secs
lola: 10260260 markings, 12209705 edges, 32425 markings/sec, 295 secs
lola: 10423599 markings, 12410037 edges, 32668 markings/sec, 300 secs
lola: 10588871 markings, 12615694 edges, 33054 markings/sec, 305 secs
lola: 10752287 markings, 12816397 edges, 32683 markings/sec, 310 secs
lola: 10914892 markings, 13018433 edges, 32521 markings/sec, 315 secs
lola: 11080802 markings, 13223524 edges, 33182 markings/sec, 320 secs
lola: 11247516 markings, 13429875 edges, 33343 markings/sec, 325 secs
lola: 11411557 markings, 13633796 edges, 32808 markings/sec, 330 secs
lola: 11577483 markings, 13836968 edges, 33185 markings/sec, 335 secs
lola: 11742284 markings, 14041440 edges, 32960 markings/sec, 340 secs
lola: 11905635 markings, 14244581 edges, 32670 markings/sec, 345 secs
lola: 12071554 markings, 14450633 edges, 33184 markings/sec, 350 secs
lola: 12236988 markings, 14656955 edges, 33087 markings/sec, 355 secs
lola: 12403532 markings, 14862360 edges, 33309 markings/sec, 360 secs
lola: 12569246 markings, 15069249 edges, 33143 markings/sec, 365 secs
lola: 12732769 markings, 15278239 edges, 32705 markings/sec, 370 secs
lola: 12897418 markings, 15482232 edges, 32930 markings/sec, 375 secs
lola: 13063278 markings, 15689886 edges, 33172 markings/sec, 380 secs
lola: 13230877 markings, 15899541 edges, 33520 markings/sec, 385 secs
lola: 13392957 markings, 16109356 edges, 32416 markings/sec, 390 secs
lola: 13557266 markings, 16315403 edges, 32862 markings/sec, 395 secs
lola: 13719306 markings, 16521109 edges, 32408 markings/sec, 400 secs
lola: 13880384 markings, 16717919 edges, 32216 markings/sec, 405 secs
lola: 14040209 markings, 16921143 edges, 31965 markings/sec, 410 secs
lola: 14202888 markings, 17126583 edges, 32536 markings/sec, 415 secs
lola: 14361155 markings, 17323756 edges, 31653 markings/sec, 420 secs
lola: 14525313 markings, 17527843 edges, 32832 markings/sec, 425 secs
lola: 14688670 markings, 17731140 edges, 32671 markings/sec, 430 secs
lola: 14850439 markings, 17938374 edges, 32354 markings/sec, 435 secs
lola: 15013606 markings, 18147522 edges, 32633 markings/sec, 440 secs
lola: 15172749 markings, 18344732 edges, 31829 markings/sec, 445 secs
lola: 15334253 markings, 18554154 edges, 32301 markings/sec, 450 secs
lola: 15497928 markings, 18759486 edges, 32735 markings/sec, 455 secs
lola: 15659540 markings, 18970718 edges, 32322 markings/sec, 460 secs
lola: 15820237 markings, 19180561 edges, 32139 markings/sec, 465 secs
lola: 15967497 markings, 19368655 edges, 29452 markings/sec, 470 secs
lola: 16125654 markings, 19575785 edges, 31631 markings/sec, 475 secs
lola: 16290492 markings, 19782032 edges, 32968 markings/sec, 480 secs
lola: 16451167 markings, 19991185 edges, 32135 markings/sec, 485 secs
lola: 16613824 markings, 20192110 edges, 32531 markings/sec, 490 secs
lola: 16775765 markings, 20397565 edges, 32388 markings/sec, 495 secs
lola: 16935760 markings, 20596564 edges, 31999 markings/sec, 500 secs
lola: 17092173 markings, 20803924 edges, 31283 markings/sec, 505 secs
lola: 17249446 markings, 21008261 edges, 31455 markings/sec, 510 secs
lola: 17411479 markings, 21216642 edges, 32407 markings/sec, 515 secs
lola: 17576277 markings, 21424985 edges, 32960 markings/sec, 520 secs
lola: 17740513 markings, 21634582 edges, 32847 markings/sec, 525 secs
lola: 17899845 markings, 21837712 edges, 31866 markings/sec, 530 secs
lola: 18061824 markings, 22039585 edges, 32396 markings/sec, 535 secs
lola: 18223571 markings, 22245102 edges, 32349 markings/sec, 540 secs
lola: 18383054 markings, 22454043 edges, 31897 markings/sec, 545 secs
lola: 18545443 markings, 22661458 edges, 32478 markings/sec, 550 secs
lola: 18706120 markings, 22878230 edges, 32135 markings/sec, 555 secs
lola: 18870093 markings, 23087620 edges, 32795 markings/sec, 560 secs
lola: 19031166 markings, 23297499 edges, 32215 markings/sec, 565 secs
lola: 19193106 markings, 23503643 edges, 32388 markings/sec, 570 secs
lola: 19351981 markings, 23709891 edges, 31775 markings/sec, 575 secs
lola: 19512801 markings, 23916288 edges, 32164 markings/sec, 580 secs
lola: 19675103 markings, 24129583 edges, 32460 markings/sec, 585 secs
lola: 19838027 markings, 24332241 edges, 32585 markings/sec, 590 secs
lola: 20000049 markings, 24537163 edges, 32404 markings/sec, 595 secs
lola: 20164886 markings, 24744409 edges, 32967 markings/sec, 600 secs
lola: 20329280 markings, 24951632 edges, 32879 markings/sec, 605 secs
lola: 20489452 markings, 25166206 edges, 32034 markings/sec, 610 secs
lola: 20655468 markings, 25371689 edges, 33203 markings/sec, 615 secs
lola: 20815390 markings, 25578353 edges, 31984 markings/sec, 620 secs
lola: 20980511 markings, 25783893 edges, 33024 markings/sec, 625 secs
lola: 21138450 markings, 25995571 edges, 31588 markings/sec, 630 secs
lola: 21295896 markings, 26197635 edges, 31489 markings/sec, 635 secs
lola: 21457215 markings, 26407598 edges, 32264 markings/sec, 640 secs
lola: 21617999 markings, 26616163 edges, 32157 markings/sec, 645 secs
lola: 21778049 markings, 26826456 edges, 32010 markings/sec, 650 secs
lola: 21937981 markings, 27034680 edges, 31986 markings/sec, 655 secs
lola: 22098716 markings, 27245396 edges, 32147 markings/sec, 660 secs
lola: 22260319 markings, 27457571 edges, 32321 markings/sec, 665 secs
lola: 22424368 markings, 27667457 edges, 32810 markings/sec, 670 secs
lola: 22586421 markings, 27870375 edges, 32411 markings/sec, 675 secs
lola: 22742140 markings, 28070696 edges, 31144 markings/sec, 680 secs
lola: 22903098 markings, 28276552 edges, 32192 markings/sec, 685 secs
lola: 23064223 markings, 28489226 edges, 32225 markings/sec, 690 secs
lola: 23221651 markings, 28696658 edges, 31486 markings/sec, 695 secs
lola: 23385567 markings, 28901283 edges, 32783 markings/sec, 700 secs
lola: 23544305 markings, 29106851 edges, 31748 markings/sec, 705 secs
lola: 23706208 markings, 29317700 edges, 32381 markings/sec, 710 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 1 unknown 1 6 1 unknown unknown unknown 1 unknown unknown unknown 2 unknown
lola: memory consumption: 1824308 KB
lola: time consumption: 2852 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 717 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462)
lola: processed formula length: 86
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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-S02J04T06-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p355)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J04T06-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: 179534 markings, 204886 edges, 35907 markings/sec, 30 secs
lola: 356498 markings, 416651 edges, 35393 markings/sec, 35 secs
lola: 531997 markings, 629627 edges, 35100 markings/sec, 40 secs
lola: 706519 markings, 844833 edges, 34904 markings/sec, 45 secs
lola: 880529 markings, 1061779 edges, 34802 markings/sec, 50 secs
lola: 1053943 markings, 1279620 edges, 34683 markings/sec, 55 secs
lola: 1226889 markings, 1497396 edges, 34589 markings/sec, 60 secs
lola: 1399538 markings, 1715604 edges, 34530 markings/sec, 65 secs
lola: 1571997 markings, 1936273 edges, 34492 markings/sec, 70 secs
lola: 1744162 markings, 2154850 edges, 34433 markings/sec, 75 secs
lola: 1915920 markings, 2375692 edges, 34352 markings/sec, 80 secs
lola: 2087594 markings, 2593348 edges, 34335 markings/sec, 85 secs
lola: 2259605 markings, 2808534 edges, 34402 markings/sec, 90 secs
lola: 2431289 markings, 3026836 edges, 34337 markings/sec, 95 secs
lola: 2602558 markings, 3243090 edges, 34254 markings/sec, 100 secs
lola: 2773160 markings, 3462633 edges, 34120 markings/sec, 105 secs
lola: 2943445 markings, 3683442 edges, 34057 markings/sec, 110 secs
lola: 3113310 markings, 3901933 edges, 33973 markings/sec, 115 secs
lola: 3283524 markings, 4118181 edges, 34043 markings/sec, 120 secs
lola: 3453349 markings, 4340013 edges, 33965 markings/sec, 125 secs
lola: 3622969 markings, 4556827 edges, 33924 markings/sec, 130 secs
lola: 3792286 markings, 4776132 edges, 33863 markings/sec, 135 secs
lola: 3961933 markings, 4997851 edges, 33929 markings/sec, 140 secs
lola: 4131508 markings, 5210269 edges, 33915 markings/sec, 145 secs
lola: 4299885 markings, 5429483 edges, 33675 markings/sec, 150 secs
lola: 4468852 markings, 5652045 edges, 33793 markings/sec, 155 secs
lola: 4639213 markings, 5871898 edges, 34072 markings/sec, 160 secs
lola: 4809999 markings, 6094338 edges, 34157 markings/sec, 165 secs
lola: 4981078 markings, 6313466 edges, 34216 markings/sec, 170 secs
lola: 5134299 markings, 6512960 edges, 30644 markings/sec, 175 secs
lola: 5304668 markings, 6737317 edges, 34074 markings/sec, 180 secs
lola: 5475282 markings, 6955665 edges, 34123 markings/sec, 185 secs
lola: 5646544 markings, 7177900 edges, 34252 markings/sec, 190 secs
lola: 5816345 markings, 7401684 edges, 33960 markings/sec, 195 secs
lola: 5986892 markings, 7620721 edges, 34109 markings/sec, 200 secs
lola: 6157632 markings, 7842263 edges, 34148 markings/sec, 205 secs
lola: 6328051 markings, 8065150 edges, 34084 markings/sec, 210 secs
lola: 6498169 markings, 8290874 edges, 34024 markings/sec, 215 secs
lola: 6668943 markings, 8513336 edges, 34155 markings/sec, 220 secs
lola: 6839306 markings, 8731872 edges, 34073 markings/sec, 225 secs
lola: 7008233 markings, 8958332 edges, 33785 markings/sec, 230 secs
lola: 7179242 markings, 9175893 edges, 34202 markings/sec, 235 secs
lola: 7349200 markings, 9399573 edges, 33992 markings/sec, 240 secs
lola: 7518429 markings, 9617285 edges, 33846 markings/sec, 245 secs
lola: 7686414 markings, 9839263 edges, 33597 markings/sec, 250 secs
lola: 7854746 markings, 10059351 edges, 33666 markings/sec, 255 secs
lola: 8023888 markings, 10278942 edges, 33828 markings/sec, 260 secs
lola: 8193022 markings, 10493306 edges, 33827 markings/sec, 265 secs
lola: 8361511 markings, 10715688 edges, 33698 markings/sec, 270 secs
lola: 8529671 markings, 10938160 edges, 33632 markings/sec, 275 secs
lola: 8697959 markings, 11153636 edges, 33658 markings/sec, 280 secs
lola: 8867133 markings, 11366433 edges, 33835 markings/sec, 285 secs
lola: 9035065 markings, 11576245 edges, 33586 markings/sec, 290 secs
lola: 9202863 markings, 11789580 edges, 33560 markings/sec, 295 secs
lola: 9370087 markings, 12005440 edges, 33445 markings/sec, 300 secs
lola: 9537192 markings, 12223059 edges, 33421 markings/sec, 305 secs
lola: 9704365 markings, 12439935 edges, 33435 markings/sec, 310 secs
lola: 9870849 markings, 12652119 edges, 33297 markings/sec, 315 secs
lola: 10036979 markings, 12870382 edges, 33226 markings/sec, 320 secs
lola: 10203887 markings, 13084849 edges, 33382 markings/sec, 325 secs
lola: 10371004 markings, 13298080 edges, 33423 markings/sec, 330 secs
lola: 10537219 markings, 13513506 edges, 33243 markings/sec, 335 secs
lola: 10704073 markings, 13726126 edges, 33371 markings/sec, 340 secs
lola: 10870672 markings, 13937171 edges, 33320 markings/sec, 345 secs
lola: 11035067 markings, 14144984 edges, 32879 markings/sec, 350 secs
lola: 11199274 markings, 14356176 edges, 32841 markings/sec, 355 secs
lola: 11365154 markings, 14565785 edges, 33176 markings/sec, 360 secs
lola: 11529629 markings, 14779273 edges, 32895 markings/sec, 365 secs
lola: 11693559 markings, 14987164 edges, 32786 markings/sec, 370 secs
lola: 11858618 markings, 15201435 edges, 33012 markings/sec, 375 secs
lola: 12022148 markings, 15409913 edges, 32706 markings/sec, 380 secs
lola: 12187121 markings, 15621519 edges, 32995 markings/sec, 385 secs
lola: 12350509 markings, 15832036 edges, 32678 markings/sec, 390 secs
lola: 12515735 markings, 16040322 edges, 33045 markings/sec, 395 secs
lola: 12679277 markings, 16246597 edges, 32708 markings/sec, 400 secs
lola: 12843484 markings, 16456966 edges, 32841 markings/sec, 405 secs
lola: 13005587 markings, 16663938 edges, 32421 markings/sec, 410 secs
lola: 13168242 markings, 16867866 edges, 32531 markings/sec, 415 secs
lola: 13332939 markings, 17072365 edges, 32939 markings/sec, 420 secs
lola: 13495123 markings, 17280224 edges, 32437 markings/sec, 425 secs
lola: 13656507 markings, 17492276 edges, 32277 markings/sec, 430 secs
lola: 13807659 markings, 17690647 edges, 30230 markings/sec, 435 secs
lola: 13961001 markings, 17881481 edges, 30668 markings/sec, 440 secs
lola: 14124938 markings, 18089684 edges, 32787 markings/sec, 445 secs
lola: 14291415 markings, 18296685 edges, 33295 markings/sec, 450 secs
lola: 14452794 markings, 18502430 edges, 32276 markings/sec, 455 secs
lola: 14611479 markings, 18712231 edges, 31737 markings/sec, 460 secs
lola: 14774013 markings, 18916415 edges, 32507 markings/sec, 465 secs
lola: 14937076 markings, 19119201 edges, 32613 markings/sec, 470 secs
lola: 15100954 markings, 19323897 edges, 32776 markings/sec, 475 secs
lola: 15257663 markings, 19522052 edges, 31342 markings/sec, 480 secs
lola: 15414280 markings, 19725229 edges, 31323 markings/sec, 485 secs
lola: 15572234 markings, 19925583 edges, 31591 markings/sec, 490 secs
lola: 15731732 markings, 20131507 edges, 31900 markings/sec, 495 secs
lola: 15893979 markings, 20341960 edges, 32449 markings/sec, 500 secs
lola: 16058288 markings, 20548319 edges, 32862 markings/sec, 505 secs
lola: 16222184 markings, 20755420 edges, 32779 markings/sec, 510 secs
lola: 16382307 markings, 20969344 edges, 32025 markings/sec, 515 secs
lola: 16544522 markings, 21177680 edges, 32443 markings/sec, 520 secs
lola: 16703718 markings, 21386810 edges, 31839 markings/sec, 525 secs
lola: 16866633 markings, 21601262 edges, 32583 markings/sec, 530 secs
lola: 17023330 markings, 21806003 edges, 31339 markings/sec, 535 secs
lola: 17181480 markings, 22012577 edges, 31630 markings/sec, 540 secs
lola: 17339927 markings, 22216845 edges, 31689 markings/sec, 545 secs
lola: 17500031 markings, 22420135 edges, 32021 markings/sec, 550 secs
lola: 17653252 markings, 22627856 edges, 30644 markings/sec, 555 secs
lola: 17803349 markings, 22840059 edges, 30019 markings/sec, 560 secs
lola: 17953150 markings, 23050949 edges, 29960 markings/sec, 565 secs
lola: 18110222 markings, 23263823 edges, 31414 markings/sec, 570 secs
lola: 18268723 markings, 23471627 edges, 31700 markings/sec, 575 secs
lola: 18424508 markings, 23683078 edges, 31157 markings/sec, 580 secs
lola: 18582908 markings, 23898903 edges, 31680 markings/sec, 585 secs
lola: 18739931 markings, 24107763 edges, 31405 markings/sec, 590 secs
lola: 18900772 markings, 24314834 edges, 32168 markings/sec, 595 secs
lola: 19061215 markings, 24518463 edges, 32089 markings/sec, 600 secs
lola: 19223097 markings, 24721526 edges, 32376 markings/sec, 605 secs
lola: 19384947 markings, 24926493 edges, 32370 markings/sec, 610 secs
lola: 19544698 markings, 25130648 edges, 31950 markings/sec, 615 secs
lola: 19703117 markings, 25342170 edges, 31684 markings/sec, 620 secs
lola: 19859987 markings, 25548406 edges, 31374 markings/sec, 625 secs
lola: 20025715 markings, 25752074 edges, 33146 markings/sec, 630 secs
lola: 20190669 markings, 25961391 edges, 32991 markings/sec, 635 secs
lola: 20355913 markings, 26168056 edges, 33049 markings/sec, 640 secs
lola: 20519784 markings, 26377856 edges, 32774 markings/sec, 645 secs
lola: 20684372 markings, 26585470 edges, 32918 markings/sec, 650 secs
lola: 20843570 markings, 26804740 edges, 31840 markings/sec, 655 secs
lola: 21003525 markings, 27019973 edges, 31991 markings/sec, 660 secs
lola: 21163222 markings, 27230378 edges, 31939 markings/sec, 665 secs
lola: 21321094 markings, 27438376 edges, 31574 markings/sec, 670 secs
lola: 21476968 markings, 27653955 edges, 31175 markings/sec, 675 secs
lola: 21634548 markings, 27862270 edges, 31516 markings/sec, 680 secs
lola: 21791989 markings, 28076285 edges, 31488 markings/sec, 685 secs
lola: 21945536 markings, 28281830 edges, 30709 markings/sec, 690 secs
lola: 22094340 markings, 28490364 edges, 29761 markings/sec, 695 secs
lola: 22246368 markings, 28700428 edges, 30406 markings/sec, 700 secs
lola: 22403473 markings, 28915999 edges, 31421 markings/sec, 705 secs
lola: 22558489 markings, 29129860 edges, 31003 markings/sec, 710 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 1 6 1 unknown unknown unknown 1 unknown unknown unknown 2 unknown
lola:
preliminary result: 1 unknown 1 1 1 6 1 unknown unknown unknown 1 unknown unknown unknown 2 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 1 6 1 unknown unknown unknown 1 unknown unknown unknown 2 unknown
lola: memory consumption: 1903460 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 1 6 1 unknown unknown unknown 1 unknown unknown unknown 2 unknown
lola: memory consumption: 1903460 KB
lola: time consumption: 3569 seconds

BK_STOP 1552869737263

--------------------
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-S02J04T06"
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-S02J04T06, 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-155272326100028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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