Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246565700100.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is FlexibleBarrier-PT-22b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565700100
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 3.4K Feb 11 01:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 11 01:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 7 00:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 7 00:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 3 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 31 01:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 31 01:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 1.8M 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 FlexibleBarrier-PT-22b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-22b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552863568012

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-22b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-22b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-22b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13947/65536 symbol table entries, 4218 collisions
lola: preprocessing...
lola: Size of bit vector: 6478
lola: finding significant places
lola: 6478 places, 7469 transitions, 6454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 7515 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-22b-UpperBounds.task
lola: MAX(p5611) : MAX(p672) : MAX(p6464) : MAX(p3266) : MAX(p4072) : MAX(p4547) : MAX(p718) : MAX(p696) : MAX(p3839) : MAX(p2511) : MAX(p1750) : MAX(p884) : MAX(p4488) : MAX(p3168) : MAX(p1036) : MAX(p5479)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5611)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: Structural Bound: 1
lola: 19250 markings, 36601 edges, 3850 markings/sec, 5 secs
lola: 38952 markings, 74980 edges, 3940 markings/sec, 10 secs
lola: 57057 markings, 112803 edges, 3621 markings/sec, 15 secs
lola: 77022 markings, 151061 edges, 3993 markings/sec, 20 secs
lola: 97650 markings, 191457 edges, 4126 markings/sec, 25 secs
lola: 117032 markings, 229301 edges, 3876 markings/sec, 30 secs
lola: 135968 markings, 272649 edges, 3787 markings/sec, 35 secs
lola: 154851 markings, 317274 edges, 3777 markings/sec, 40 secs
lola: 172918 markings, 355021 edges, 3613 markings/sec, 45 secs
lola: 193060 markings, 393666 edges, 4028 markings/sec, 50 secs
lola: 212834 markings, 432210 edges, 3955 markings/sec, 55 secs
lola: 231723 markings, 470312 edges, 3778 markings/sec, 60 secs
lola: 251398 markings, 509366 edges, 3935 markings/sec, 65 secs
lola: 271955 markings, 549599 edges, 4111 markings/sec, 70 secs
lola: 291586 markings, 587998 edges, 3926 markings/sec, 75 secs
lola: 309892 markings, 625924 edges, 3661 markings/sec, 80 secs
lola: 329551 markings, 663682 edges, 3932 markings/sec, 85 secs
lola: 349882 markings, 703417 edges, 4066 markings/sec, 90 secs
lola: 368846 markings, 741953 edges, 3793 markings/sec, 95 secs
lola: 388456 markings, 780617 edges, 3922 markings/sec, 100 secs
lola: 408577 markings, 819920 edges, 4024 markings/sec, 105 secs
lola: 428266 markings, 857990 edges, 3938 markings/sec, 110 secs
lola: 446350 markings, 895344 edges, 3617 markings/sec, 115 secs
lola: 465815 markings, 933220 edges, 3893 markings/sec, 120 secs
lola: 480168 markings, 983448 edges, 2871 markings/sec, 125 secs
lola: 493735 markings, 1040262 edges, 2713 markings/sec, 130 secs
lola: 506491 markings, 1093908 edges, 2551 markings/sec, 135 secs
lola: 519416 markings, 1148274 edges, 2585 markings/sec, 140 secs
lola: 532427 markings, 1202317 edges, 2602 markings/sec, 145 secs
lola: 546153 markings, 1259758 edges, 2745 markings/sec, 150 secs
lola: 560599 markings, 1320367 edges, 2889 markings/sec, 155 secs
lola: 575136 markings, 1380866 edges, 2907 markings/sec, 160 secs
lola: 589689 markings, 1441395 edges, 2911 markings/sec, 165 secs
lola: 604210 markings, 1502066 edges, 2904 markings/sec, 170 secs
lola: 617753 markings, 1564271 edges, 2709 markings/sec, 175 secs
lola: 630410 markings, 1629995 edges, 2531 markings/sec, 180 secs
lola: 644429 markings, 1689757 edges, 2804 markings/sec, 185 secs
lola: 658468 markings, 1749643 edges, 2808 markings/sec, 190 secs
lola: 672470 markings, 1809805 edges, 2800 markings/sec, 195 secs
lola: 686474 markings, 1870007 edges, 2801 markings/sec, 200 secs
lola: 700512 markings, 1930124 edges, 2808 markings/sec, 205 secs
lola: 713179 markings, 1993109 edges, 2533 markings/sec, 210 secs
lola: 726783 markings, 2054401 edges, 2721 markings/sec, 215 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: 374596 KB
lola: time consumption: 234 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p672)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p672)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 62 markings, 61 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-22b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6464)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6464)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges

FORMULA FlexibleBarrier-PT-22b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3266)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3266)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 54 markings, 53 edges

FORMULA FlexibleBarrier-PT-22b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4072)
lola: ========================================
lola: lola: ========================================
SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4072)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 33 markings, 32 edges

FORMULA FlexibleBarrier-PT-22b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4547)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4547)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: Structural Bound: 1
lola: 19958 markings, 38160 edges, 3992 markings/sec, 5 secs
lola: 40952 markings, 79475 edges, 4199 markings/sec, 10 secs
lola: 61970 markings, 120824 edges, 4204 markings/sec, 15 secs
lola: 79676 markings, 157150 edges, 3541 markings/sec, 20 secs
lola: 99089 markings, 194671 edges, 3883 markings/sec, 25 secs
lola: 118284 markings, 231705 edges, 3839 markings/sec, 30 secs
lola: 135934 markings, 268192 edges, 3530 markings/sec, 35 secs
lola: 155098 markings, 305379 edges, 3833 markings/sec, 40 secs
lola: 174257 markings, 342581 edges, 3832 markings/sec, 45 secs
lola: 193984 markings, 383344 edges, 3945 markings/sec, 50 secs
lola: 214978 markings, 424250 edges, 4199 markings/sec, 55 secs
lola: 235924 markings, 465461 edges, 4189 markings/sec, 60 secs
lola: 256860 markings, 506645 edges, 4187 markings/sec, 65 secs
lola: 277799 markings, 547057 edges, 4188 markings/sec, 70 secs
lola: 297189 markings, 588033 edges, 3878 markings/sec, 75 secs
lola: 318368 markings, 628960 edges, 4236 markings/sec, 80 secs
lola: 339380 markings, 670304 edges, 4202 markings/sec, 85 secs
lola: 360373 markings, 711610 edges, 4199 markings/sec, 90 secs
lola: 381556 markings, 752922 edges, 4237 markings/sec, 95 secs
lola: 401158 markings, 793573 edges, 3920 markings/sec, 100 secs
lola: 421902 markings, 834115 edges, 4149 markings/sec, 105 secs
lola: 442738 markings, 874951 edges, 4167 markings/sec, 110 secs
lola: 463676 markings, 916131 edges, 4188 markings/sec, 115 secs
lola: 482347 markings, 957709 edges, 3734 markings/sec, 120 secs
lola: 496200 markings, 1014366 edges, 2771 markings/sec, 125 secs
lola: 510531 markings, 1071640 edges, 2866 markings/sec, 130 secs
lola: 524746 markings, 1129841 edges, 2843 markings/sec, 135 secs
lola: 539039 markings, 1188284 edges, 2859 markings/sec, 140 secs
lola: 553451 markings, 1247026 edges, 2882 markings/sec, 145 secs
lola: 568004 markings, 1305159 edges, 2911 markings/sec, 150 secs
lola: 582444 markings, 1364144 edges, 2888 markings/sec, 155 secs
lola: 596806 markings, 1422815 edges, 2872 markings/sec, 160 secs
lola: 611219 markings, 1481683 edges, 2883 markings/sec, 165 secs
lola: 625687 markings, 1540658 edges, 2894 markings/sec, 170 secs
lola: 639141 markings, 1602608 edges, 2691 markings/sec, 175 secs
lola: 651728 markings, 1667472 edges, 2517 markings/sec, 180 secs
lola: 665521 markings, 1726911 edges, 2759 markings/sec, 185 secs
lola: 679570 markings, 1785829 edges, 2810 markings/sec, 190 secs
lola: 693472 markings, 1845648 edges, 2780 markings/sec, 195 secs
lola: 707294 markings, 1905853 edges, 2764 markings/sec, 200 secs
lola: 721440 markings, 1964998 edges, 2829 markings/sec, 205 secs
lola: 735422 markings, 2025057 edges, 2796 markings/sec, 210 secs
lola: 747360 markings, 2090179 edges, 2388 markings/sec, 215 secs
lola: 760803 markings, 2147338 edges, 2689 markings/sec, 220 secs
lola: 773427 markings, 2210606 edges, 2525 markings/sec, 225 secs
lola: 787318 markings, 2256741 edges, 2778 markings/sec, 230 secs
lola: 801503 markings, 2299588 edges, 2837 markings/sec, 235 secs
lola: 815920 markings, 2342352 edges, 2883 markings/sec, 240 secs
lola: 836491 markings, 2382960 edges, 4114 markings/sec, 245 secs
lola: 857446 markings, 2423911 edges, 4191 markings/sec, 250 secs
lola: 878010 markings, 2464316 edges, 4113 markings/sec, 255 secs
lola: 898553 markings, 2503806 edges, 4109 markings/sec, 260 secs
lola: 917352 markings, 2543267 edges, 3760 markings/sec, 265 secs
lola: 937810 markings, 2583024 edges, 4092 markings/sec, 270 secs
lola: 958472 markings, 2623637 edges, 4132 markings/sec, 275 secs
lola: 979069 markings, 2663599 edges, 4119 markings/sec, 280 secs
lola: 997997 markings, 2703402 edges, 3786 markings/sec, 285 secs
lola: 1018541 markings, 2742915 edges, 4109 markings/sec, 290 secs
lola: 1038894 markings, 2782868 edges, 4071 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 328536 KB
lola: time consumption: 549 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p718)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p718)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 57 markings, 56 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-22b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p696)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p696)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 69 markings, 68 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-22b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3839)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3839)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 11 markings, 10 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-22b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2511)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2511)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 40 markings, 39 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-22b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1750)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1750)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 38 markings, 37 edges

FORMULA FlexibleBarrier-PT-22b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 601 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p884)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p884)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 45 markings, 44 edges

FORMULA FlexibleBarrier-PT-22b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 750 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4488)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4488)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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

FORMULA FlexibleBarrier-PT-22b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 999 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3168)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 7966 markings, 14356 edges, 1593 markings/sec, 0 secs
lola: 29342 markings, 56467 edges, 4275 markings/sec, 5 secs
lola: 50486 markings, 98090 edges, 4229 markings/sec, 10 secs
lola: 68972 markings, 136247 edges, 3697 markings/sec, 15 secs
lola: 88519 markings, 173857 edges, 3909 markings/sec, 20 secs
lola: 107966 markings, 211905 edges, 3889 markings/sec, 25 secs
lola: 127329 markings, 250734 edges, 3873 markings/sec, 30 secs
lola: 147602 markings, 291377 edges, 4055 markings/sec, 35 secs
lola: 168532 markings, 332230 edges, 4186 markings/sec, 40 secs
lola: 189433 markings, 373344 edges, 4180 markings/sec, 45 secs
lola: 210347 markings, 414486 edges, 4183 markings/sec, 50 secs
lola: 230520 markings, 454840 edges, 4035 markings/sec, 55 secs
lola: 250694 markings, 495535 edges, 4035 markings/sec, 60 secs
lola: 271626 markings, 536317 edges, 4186 markings/sec, 65 secs
lola: 292969 markings, 578378 edges, 4269 markings/sec, 70 secs
lola: 314471 markings, 620731 edges, 4300 markings/sec, 75 secs
lola: 335841 markings, 662556 edges, 4274 markings/sec, 80 secs
lola: 356841 markings, 704507 edges, 4200 markings/sec, 85 secs
lola: 377343 markings, 746737 edges, 4100 markings/sec, 90 secs
lola: 398980 markings, 788686 edges, 4327 markings/sec, 95 secs
lola: 420258 markings, 830504 edges, 4256 markings/sec, 100 secs
lola: 441727 markings, 872810 edges, 4294 markings/sec, 105 secs
lola: 463102 markings, 914931 edges, 4275 markings/sec, 110 secs
lola: 482414 markings, 957984 edges, 3862 markings/sec, 115 secs
lola: 496913 markings, 1017167 edges, 2900 markings/sec, 120 secs
lola: 511465 markings, 1076457 edges, 2910 markings/sec, 125 secs
lola: 526148 markings, 1135071 edges, 2937 markings/sec, 130 secs
lola: 539207 markings, 1188916 edges, 2612 markings/sec, 135 secs
lola: 552603 markings, 1242653 edges, 2679 markings/sec, 140 secs
lola: 565656 markings, 1296484 edges, 2611 markings/sec, 145 secs
lola: 578914 markings, 1349692 edges, 2652 markings/sec, 150 secs
lola: 591973 markings, 1403541 edges, 2612 markings/sec, 155 secs
lola: 605447 markings, 1457596 edges, 2695 markings/sec, 160 secs
lola: 618640 markings, 1511939 edges, 2639 markings/sec, 165 secs
lola: 631859 markings, 1565017 edges, 2644 markings/sec, 170 secs
lola: 644268 markings, 1629887 edges, 2482 markings/sec, 175 secs
lola: 657927 markings, 1692536 edges, 2732 markings/sec, 180 secs
lola: 671858 markings, 1753867 edges, 2786 markings/sec, 185 secs
lola: 685545 markings, 1812372 edges, 2737 markings/sec, 190 secs
lola: 699799 markings, 1871728 edges, 2851 markings/sec, 195 secs
lola: 713784 markings, 1933496 edges, 2797 markings/sec, 200 secs
lola: 727997 markings, 1993132 edges, 2843 markings/sec, 205 secs
lola: 740306 markings, 2058041 edges, 2462 markings/sec, 210 secs
lola: 753462 markings, 2118081 edges, 2631 markings/sec, 215 secs
lola: 768430 markings, 2169689 edges, 2994 markings/sec, 220 secs
lola: 780870 markings, 2234723 edges, 2488 markings/sec, 225 secs
lola: 796493 markings, 2284000 edges, 3125 markings/sec, 230 secs
lola: 812548 markings, 2332422 edges, 3211 markings/sec, 235 secs
lola: 833399 markings, 2376166 edges, 4170 markings/sec, 240 secs
lola: 854571 markings, 2417846 edges, 4234 markings/sec, 245 secs
lola: 875902 markings, 2459364 edges, 4266 markings/sec, 250 secs
lola: 895564 markings, 2500442 edges, 3932 markings/sec, 255 secs
lola: 916730 markings, 2541853 edges, 4233 markings/sec, 260 secs
lola: 937979 markings, 2583370 edges, 4250 markings/sec, 265 secs
lola: 959201 markings, 2625173 edges, 4244 markings/sec, 270 secs
lola: 980397 markings, 2666923 edges, 4239 markings/sec, 275 secs
lola: 1001708 markings, 2708112 edges, 4262 markings/sec, 280 secs
lola: 1021277 markings, 2749467 edges, 3914 markings/sec, 285 secs
lola: 1042588 markings, 2790926 edges, 4262 markings/sec, 290 secs
lola: 1063871 markings, 2832582 edges, 4257 markings/sec, 295 secs
lola: 1085056 markings, 2874296 edges, 4237 markings/sec, 300 secs
lola: 1106251 markings, 2916021 edges, 4239 markings/sec, 305 secs
lola: 1127771 markings, 2957934 edges, 4304 markings/sec, 310 secs
lola: 1148165 markings, 2999741 edges, 4079 markings/sec, 315 secs
lola: 1169097 markings, 3041596 edges, 4186 markings/sec, 320 secs
lola: 1190605 markings, 3083579 edges, 4302 markings/sec, 325 secs
lola: 1212006 markings, 3125711 edges, 4280 markings/sec, 330 secs
lola: 1233497 markings, 3168078 edges, 4298 markings/sec, 335 secs
lola: 1253793 markings, 3207407 edges, 4059 markings/sec, 340 secs
lola: 1271706 markings, 3244524 edges, 3583 markings/sec, 345 secs
lola: 1291246 markings, 3282459 edges, 3908 markings/sec, 350 secs
lola: 1305771 markings, 3332832 edges, 2905 markings/sec, 355 secs
lola: 1318708 markings, 3385786 edges, 2587 markings/sec, 360 secs
lola: 1331705 markings, 3438490 edges, 2599 markings/sec, 365 secs
lola: 1345486 markings, 3494787 edges, 2756 markings/sec, 370 secs
lola: 1360213 markings, 3553707 edges, 2945 markings/sec, 375 secs
lola: 1374810 markings, 3613249 edges, 2919 markings/sec, 380 secs
lola: 1389424 markings, 3672846 edges, 2923 markings/sec, 385 secs
lola: 1403655 markings, 3731063 edges, 2846 markings/sec, 390 secs
lola: 1417887 markings, 3789136 edges, 2846 markings/sec, 395 secs
lola: 1432299 markings, 3846770 edges, 2882 markings/sec, 400 secs
lola: 1446574 markings, 3905100 edges, 2855 markings/sec, 405 secs
lola: 1459317 markings, 3970731 edges, 2549 markings/sec, 410 secs
lola: 1472603 markings, 4032960 edges, 2657 markings/sec, 415 secs
lola: 1486558 markings, 4093036 edges, 2791 markings/sec, 420 secs
lola: 1500553 markings, 4153576 edges, 2799 markings/sec, 425 secs
lola: 1514780 markings, 4212998 edges, 2845 markings/sec, 430 secs
lola: 1528768 markings, 4273846 edges, 2798 markings/sec, 435 secs
lola: 1542962 markings, 4334342 edges, 2839 markings/sec, 440 secs
lola: 1555631 markings, 4401106 edges, 2534 markings/sec, 445 secs
lola: 1569077 markings, 4461332 edges, 2689 markings/sec, 450 secs
lola: 1584172 markings, 4515164 edges, 3019 markings/sec, 455 secs
lola: 1597046 markings, 4579925 edges, 2575 markings/sec, 460 secs
lola: 1612876 markings, 4629537 edges, 3166 markings/sec, 465 secs
lola: 1628875 markings, 4678084 edges, 3200 markings/sec, 470 secs
lola: 1650014 markings, 4720871 edges, 4228 markings/sec, 475 secs
lola: 1671330 markings, 4762872 edges, 4263 markings/sec, 480 secs
lola: 1692292 markings, 4804095 edges, 4192 markings/sec, 485 secs
lola: 1712867 markings, 4844277 edges, 4115 markings/sec, 490 secs
lola: 1732400 markings, 4884668 edges, 3907 markings/sec, 495 secs
lola: 1753238 markings, 4925232 edges, 4168 markings/sec, 500 secs
lola: 1773990 markings, 4966033 edges, 4150 markings/sec, 505 secs
lola: 1794763 markings, 5006862 edges, 4155 markings/sec, 510 secs
lola: 1815278 markings, 5047551 edges, 4103 markings/sec, 515 secs
lola: 1835302 markings, 5088358 edges, 4005 markings/sec, 520 secs
lola: 1856108 markings, 5128841 edges, 4161 markings/sec, 525 secs
lola: 1876847 markings, 5169609 edges, 4148 markings/sec, 530 secs
lola: 1897595 markings, 5210397 edges, 4150 markings/sec, 535 secs
lola: 1917223 markings, 5250322 edges, 3926 markings/sec, 540 secs
lola: 1937865 markings, 5291201 edges, 4128 markings/sec, 545 secs
lola: 1958870 markings, 5332220 edges, 4201 markings/sec, 550 secs
lola: 1979829 markings, 5373468 edges, 4192 markings/sec, 555 secs
lola: 2000809 markings, 5414728 edges, 4196 markings/sec, 560 secs
lola: 2021298 markings, 5455365 edges, 4098 markings/sec, 565 secs
lola: 2041572 markings, 5496664 edges, 4055 markings/sec, 570 secs
lola: 2063073 markings, 5538646 edges, 4300 markings/sec, 575 secs
lola: 2084404 markings, 5580659 edges, 4266 markings/sec, 580 secs
lola: 2105373 markings, 5621916 edges, 4194 markings/sec, 585 secs
lola: 2120991 markings, 5674810 edges, 3124 markings/sec, 590 secs
lola: 2135505 markings, 5734056 edges, 2903 markings/sec, 595 secs
lola: 2149671 markings, 5792036 edges, 2833 markings/sec, 600 secs
lola: 2163973 markings, 5849156 edges, 2860 markings/sec, 605 secs
lola: 2178199 markings, 5907293 edges, 2845 markings/sec, 610 secs
lola: 2192780 markings, 5966799 edges, 2916 markings/sec, 615 secs
lola: 2207423 markings, 6026495 edges, 2929 markings/sec, 620 secs
lola: 2221873 markings, 6085517 edges, 2890 markings/sec, 625 secs
lola: 2236295 markings, 6143187 edges, 2884 markings/sec, 630 secs
lola: 2250577 markings, 6201462 edges, 2856 markings/sec, 635 secs
lola: 2264796 markings, 6260642 edges, 2844 markings/sec, 640 secs
lola: 2277068 markings, 6327739 edges, 2454 markings/sec, 645 secs
lola: 2290887 markings, 6388760 edges, 2764 markings/sec, 650 secs
lola: 2304972 markings, 6448911 edges, 2817 markings/sec, 655 secs
lola: 2319148 markings, 6508958 edges, 2835 markings/sec, 660 secs
lola: 2333157 markings, 6570204 edges, 2802 markings/sec, 665 secs
lola: 2347549 markings, 6630035 edges, 2878 markings/sec, 670 secs
lola: 2361583 markings, 6691877 edges, 2807 markings/sec, 675 secs
lola: 2373768 markings, 6759537 edges, 2437 markings/sec, 680 secs
lola: 2387763 markings, 6818893 edges, 2799 markings/sec, 685 secs
lola: 2401027 markings, 6881729 edges, 2653 markings/sec, 690 secs
lola: 2415979 markings, 6934988 edges, 2990 markings/sec, 695 secs
lola: 2431955 markings, 6983425 edges, 3195 markings/sec, 700 secs
lola: 2449626 markings, 7031181 edges, 3534 markings/sec, 705 secs
lola: 2470493 markings, 7072225 edges, 4173 markings/sec, 710 secs
lola: 2490623 markings, 7114045 edges, 4026 markings/sec, 715 secs
lola: 2512019 markings, 7155380 edges, 4279 markings/sec, 720 secs
lola: 2533244 markings, 7197174 edges, 4245 markings/sec, 725 secs
lola: 2554509 markings, 7239046 edges, 4253 markings/sec, 730 secs
lola: 2575703 markings, 7280784 edges, 4239 markings/sec, 735 secs
lola: 2596825 markings, 7321904 edges, 4224 markings/sec, 740 secs
lola: 2616617 markings, 7363438 edges, 3958 markings/sec, 745 secs
lola: 2637998 markings, 7404754 edges, 4276 markings/sec, 750 secs
lola: 2659141 markings, 7446375 edges, 4229 markings/sec, 755 secs
lola: 2679876 markings, 7487135 edges, 4147 markings/sec, 760 secs
lola: 2701047 markings, 7528632 edges, 4234 markings/sec, 765 secs
lola: 2721424 markings, 7569739 edges, 4075 markings/sec, 770 secs
lola: 2742104 markings, 7611390 edges, 4136 markings/sec, 775 secs
lola: 2763572 markings, 7653286 edges, 4294 markings/sec, 780 secs
lola: 2784996 markings, 7695500 edges, 4285 markings/sec, 785 secs
lola: 2806461 markings, 7737799 edges, 4293 markings/sec, 790 secs
lola: 2827920 markings, 7780093 edges, 4292 markings/sec, 795 secs
lola: 2849507 markings, 7822131 edges, 4317 markings/sec, 800 secs
lola: 2870010 markings, 7864053 edges, 4101 markings/sec, 805 secs
lola: 2890712 markings, 7905558 edges, 4140 markings/sec, 810 secs
lola: 2911928 markings, 7946914 edges, 4243 markings/sec, 815 secs
lola: 2930369 markings, 7993774 edges, 3688 markings/sec, 820 secs
lola: 2944976 markings, 8052487 edges, 2921 markings/sec, 825 secs
lola: 2959545 markings, 8111474 edges, 2914 markings/sec, 830 secs
lola: 2974050 markings, 8170668 edges, 2901 markings/sec, 835 secs
lola: 2988628 markings, 8230185 edges, 2916 markings/sec, 840 secs
lola: 3003224 markings, 8289727 edges, 2919 markings/sec, 845 secs
lola: 3017829 markings, 8349254 edges, 2921 markings/sec, 850 secs
lola: 3032556 markings, 8408489 edges, 2945 markings/sec, 855 secs
lola: 3047250 markings, 8467858 edges, 2939 markings/sec, 860 secs
lola: 3061883 markings, 8527592 edges, 2927 markings/sec, 865 secs
lola: 3076517 markings, 8587250 edges, 2927 markings/sec, 870 secs
lola: 3089246 markings, 8651400 edges, 2546 markings/sec, 875 secs
lola: 3101921 markings, 8713537 edges, 2535 markings/sec, 880 secs
lola: 3115675 markings, 8771667 edges, 2751 markings/sec, 885 secs
lola: 3129842 markings, 8831750 edges, 2833 markings/sec, 890 secs
lola: 3143824 markings, 8892798 edges, 2796 markings/sec, 895 secs
lola: 3157929 markings, 8951970 edges, 2821 markings/sec, 900 secs
lola: 3172046 markings, 9013064 edges, 2823 markings/sec, 905 secs
lola: 3184998 markings, 9077979 edges, 2590 markings/sec, 910 secs
lola: 3198229 markings, 9140787 edges, 2646 markings/sec, 915 secs
lola: 3213545 markings, 9193449 edges, 3063 markings/sec, 920 secs
lola: 3225920 markings, 9258532 edges, 2475 markings/sec, 925 secs
lola: 3241110 markings, 9305982 edges, 3038 markings/sec, 930 secs
lola: 3255418 markings, 9349476 edges, 2862 markings/sec, 935 secs
lola: 3273335 markings, 9390188 edges, 3583 markings/sec, 940 secs
lola: 3292839 markings, 9429033 edges, 3901 markings/sec, 945 secs
lola: 3314232 markings, 9471185 edges, 4279 markings/sec, 950 secs
lola: 3335581 markings, 9513246 edges, 4270 markings/sec, 955 secs
lola: 3356892 markings, 9555219 edges, 4262 markings/sec, 960 secs
lola: 3378332 markings, 9596882 edges, 4288 markings/sec, 965 secs
lola: 3398414 markings, 9638533 edges, 4016 markings/sec, 970 secs
lola: 3419541 markings, 9680355 edges, 4225 markings/sec, 975 secs
lola: 3440968 markings, 9722161 edges, 4285 markings/sec, 980 secs
lola: 3462290 markings, 9764169 edges, 4264 markings/sec, 985 secs
lola: 3483626 markings, 9806192 edges, 4267 markings/sec, 990 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown unknown unknown
lola: memory consumption: 1046132 KB
lola: time consumption: 1571 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 999 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1036)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1036)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: 8337 markings, 15291 edges, 1667 markings/sec, 0 secs
lola: 29458 markings, 57253 edges, 4224 markings/sec, 5 secs
lola: 50690 markings, 99436 edges, 4246 markings/sec, 10 secs
lola: 71781 markings, 140736 edges, 4218 markings/sec, 15 secs
lola: 91506 markings, 182675 edges, 3945 markings/sec, 20 secs
lola: 112850 markings, 224380 edges, 4269 markings/sec, 25 secs
lola: 134006 markings, 266309 edges, 4231 markings/sec, 30 secs
lola: 153082 markings, 315863 edges, 3815 markings/sec, 35 secs
lola: 172504 markings, 356497 edges, 3884 markings/sec, 40 secs
lola: 193289 markings, 397371 edges, 4157 markings/sec, 45 secs
lola: 214443 markings, 439380 edges, 4231 markings/sec, 50 secs
lola: 235610 markings, 481443 edges, 4233 markings/sec, 55 secs
lola: 256926 markings, 522864 edges, 4263 markings/sec, 60 secs
lola: 276652 markings, 564783 edges, 3945 markings/sec, 65 secs
lola: 297751 markings, 606331 edges, 4220 markings/sec, 70 secs
lola: 318886 markings, 648315 edges, 4227 markings/sec, 75 secs
lola: 340060 markings, 690368 edges, 4235 markings/sec, 80 secs
lola: 361275 markings, 732513 edges, 4243 markings/sec, 85 secs
lola: 382686 markings, 774125 edges, 4282 markings/sec, 90 secs
lola: 402336 markings, 816148 edges, 3930 markings/sec, 95 secs
lola: 423587 markings, 857769 edges, 4250 markings/sec, 100 secs
lola: 444752 markings, 899803 edges, 4233 markings/sec, 105 secs
lola: 466031 markings, 942112 edges, 4256 markings/sec, 110 secs
lola: 481269 markings, 997027 edges, 3048 markings/sec, 115 secs
lola: 495554 markings, 1056839 edges, 2857 markings/sec, 120 secs
lola: 509983 markings, 1116543 edges, 2886 markings/sec, 125 secs
lola: 524008 markings, 1177134 edges, 2805 markings/sec, 130 secs
lola: 538135 markings, 1236074 edges, 2825 markings/sec, 135 secs
lola: 552106 markings, 1294345 edges, 2794 markings/sec, 140 secs
lola: 565814 markings, 1351672 edges, 2742 markings/sec, 145 secs
lola: 580423 markings, 1412457 edges, 2922 markings/sec, 150 secs
lola: 594937 markings, 1473038 edges, 2903 markings/sec, 155 secs
lola: 609361 markings, 1534192 edges, 2885 markings/sec, 160 secs
lola: 621732 markings, 1602383 edges, 2474 markings/sec, 165 secs
lola: 635709 markings, 1662517 edges, 2795 markings/sec, 170 secs
lola: 649691 markings, 1722961 edges, 2796 markings/sec, 175 secs
lola: 663699 markings, 1783385 edges, 2802 markings/sec, 180 secs
lola: 677723 markings, 1843807 edges, 2805 markings/sec, 185 secs
lola: 691786 markings, 1904267 edges, 2813 markings/sec, 190 secs
lola: 705024 markings, 1968302 edges, 2648 markings/sec, 195 secs
lola: 717956 markings, 2032709 edges, 2586 markings/sec, 200 secs
lola: 732971 markings, 2085028 edges, 3003 markings/sec, 205 secs
lola: 746165 markings, 2148205 edges, 2639 markings/sec, 210 secs
lola: 761853 markings, 2197646 edges, 3138 markings/sec, 215 secs
lola: 777333 markings, 2244844 edges, 3096 markings/sec, 220 secs
lola: 797565 markings, 2285800 edges, 4046 markings/sec, 225 secs
lola: 818474 markings, 2327301 edges, 4182 markings/sec, 230 secs
lola: 839517 markings, 2368373 edges, 4209 markings/sec, 235 secs
lola: 859320 markings, 2409815 edges, 3961 markings/sec, 240 secs
lola: 880066 markings, 2450999 edges, 4149 markings/sec, 245 secs
lola: 900964 markings, 2492485 edges, 4180 markings/sec, 250 secs
lola: 920495 markings, 2537514 edges, 3906 markings/sec, 255 secs
lola: 939692 markings, 2583454 edges, 3839 markings/sec, 260 secs
lola: 960921 markings, 2624925 edges, 4246 markings/sec, 265 secs
lola: 982055 markings, 2666851 edges, 4227 markings/sec, 270 secs
lola: 1003197 markings, 2708873 edges, 4228 markings/sec, 275 secs
lola: 1024406 markings, 2750500 edges, 4242 markings/sec, 280 secs
lola: 1044679 markings, 2792113 edges, 4055 markings/sec, 285 secs
lola: 1065255 markings, 2833967 edges, 4115 markings/sec, 290 secs
lola: 1086384 markings, 2875526 edges, 4226 markings/sec, 295 secs
lola: 1107565 markings, 2917607 edges, 4236 markings/sec, 300 secs
lola: 1128854 markings, 2959934 edges, 4258 markings/sec, 305 secs
lola: 1150295 markings, 3002075 edges, 4288 markings/sec, 310 secs
lola: 1170946 markings, 3044097 edges, 4130 markings/sec, 315 secs
lola: 1191499 markings, 3086323 edges, 4111 markings/sec, 320 secs
lola: 1213040 markings, 3128762 edges, 4308 markings/sec, 325 secs
lola: 1234479 markings, 3171397 edges, 4288 markings/sec, 330 secs
lola: 1253079 markings, 3218740 edges, 3720 markings/sec, 335 secs
lola: 1267496 markings, 3278800 edges, 2883 markings/sec, 340 secs
lola: 1281986 markings, 3339143 edges, 2898 markings/sec, 345 secs
lola: 1296249 markings, 3400225 edges, 2853 markings/sec, 350 secs
lola: 1310764 markings, 3460671 edges, 2903 markings/sec, 355 secs
lola: 1325261 markings, 3521125 edges, 2899 markings/sec, 360 secs
lola: 1339657 markings, 3582086 edges, 2879 markings/sec, 365 secs
lola: 1354202 markings, 3642656 edges, 2909 markings/sec, 370 secs
lola: 1368773 markings, 3703260 edges, 2914 markings/sec, 375 secs
lola: 1383305 markings, 3763780 edges, 2906 markings/sec, 380 secs
lola: 1396580 markings, 3828652 edges, 2655 markings/sec, 385 secs
lola: 1409406 markings, 3892204 edges, 2565 markings/sec, 390 secs
lola: 1421983 markings, 3945601 edges, 2515 markings/sec, 395 secs
lola: 1434561 markings, 3999077 edges, 2516 markings/sec, 400 secs
lola: 1447154 markings, 4052611 edges, 2519 markings/sec, 405 secs
lola: 1459657 markings, 4106615 edges, 2501 markings/sec, 410 secs
lola: 1472062 markings, 4161230 edges, 2481 markings/sec, 415 secs
lola: 1484331 markings, 4225744 edges, 2454 markings/sec, 420 secs
lola: 1497731 markings, 4285750 edges, 2680 markings/sec, 425 secs
lola: 1511463 markings, 4334242 edges, 2746 markings/sec, 430 secs
lola: 1522496 markings, 4390752 edges, 2207 markings/sec, 435 secs
lola: 1537020 markings, 4435765 edges, 2905 markings/sec, 440 secs
lola: 1551061 markings, 4478995 edges, 2808 markings/sec, 445 secs
lola: 1567759 markings, 4519243 edges, 3340 markings/sec, 450 secs
lola: 1587128 markings, 4557037 edges, 3874 markings/sec, 455 secs
lola: 1606337 markings, 4594194 edges, 3842 markings/sec, 460 secs
lola: 1624004 markings, 4631094 edges, 3533 markings/sec, 465 secs
lola: 1643096 markings, 4668689 edges, 3818 markings/sec, 470 secs
lola: 1661691 markings, 4705771 edges, 3719 markings/sec, 475 secs
lola: 1680092 markings, 4742987 edges, 3680 markings/sec, 480 secs
lola: 1699116 markings, 4786761 edges, 3805 markings/sec, 485 secs
lola: 1718228 markings, 4832723 edges, 3822 markings/sec, 490 secs
lola: 1739479 markings, 4874240 edges, 4250 markings/sec, 495 secs
lola: 1760627 markings, 4916180 edges, 4230 markings/sec, 500 secs
lola: 1781817 markings, 4958274 edges, 4238 markings/sec, 505 secs
lola: 1803019 markings, 5000341 edges, 4240 markings/sec, 510 secs
lola: 1823018 markings, 5040908 edges, 4000 markings/sec, 515 secs
lola: 1843547 markings, 5082700 edges, 4106 markings/sec, 520 secs
lola: 1864598 markings, 5124116 edges, 4210 markings/sec, 525 secs
lola: 1885683 markings, 5165999 edges, 4217 markings/sec, 530 secs
lola: 1906976 markings, 5208313 edges, 4259 markings/sec, 535 secs
lola: 1928382 markings, 5250306 edges, 4281 markings/sec, 540 secs
lola: 1948340 markings, 5291735 edges, 3992 markings/sec, 545 secs
lola: 1969282 markings, 5333832 edges, 4188 markings/sec, 550 secs
lola: 1990611 markings, 5375963 edges, 4266 markings/sec, 555 secs
lola: 2011967 markings, 5418426 edges, 4271 markings/sec, 560 secs
lola: 2030569 markings, 5463258 edges, 3720 markings/sec, 565 secs
lola: 2044603 markings, 5522482 edges, 2807 markings/sec, 570 secs
lola: 2058632 markings, 5581292 edges, 2806 markings/sec, 575 secs
lola: 2072590 markings, 5640386 edges, 2792 markings/sec, 580 secs
lola: 2086612 markings, 5699430 edges, 2804 markings/sec, 585 secs
lola: 2100664 markings, 5758322 edges, 2810 markings/sec, 590 secs
lola: 2114744 markings, 5817373 edges, 2816 markings/sec, 595 secs
lola: 2128869 markings, 5876287 edges, 2825 markings/sec, 600 secs
lola: 2143003 markings, 5935202 edges, 2827 markings/sec, 605 secs
lola: 2157149 markings, 5994217 edges, 2829 markings/sec, 610 secs
lola: 2170437 markings, 6059411 edges, 2658 markings/sec, 615 secs
lola: 2183217 markings, 6121040 edges, 2556 markings/sec, 620 secs
lola: 2196869 markings, 6179066 edges, 2730 markings/sec, 625 secs
lola: 2210440 markings, 6237910 edges, 2714 markings/sec, 630 secs
lola: 2224001 markings, 6296840 edges, 2712 markings/sec, 635 secs
lola: 2237767 markings, 6354556 edges, 2753 markings/sec, 640 secs
lola: 2251378 markings, 6413202 edges, 2722 markings/sec, 645 secs
lola: 2263327 markings, 6479312 edges, 2390 markings/sec, 650 secs
lola: 2276814 markings, 6536916 edges, 2697 markings/sec, 655 secs
lola: 2291040 markings, 6589822 edges, 2845 markings/sec, 660 secs
lola: 2303977 markings, 6650399 edges, 2587 markings/sec, 665 secs
lola: 2319171 markings, 6697397 edges, 3039 markings/sec, 670 secs
lola: 2334546 markings, 6744588 edges, 3075 markings/sec, 675 secs
lola: 2355229 markings, 6785574 edges, 4137 markings/sec, 680 secs
lola: 2376210 markings, 6827187 edges, 4196 markings/sec, 685 secs
lola: 2397147 markings, 6868778 edges, 4187 markings/sec, 690 secs
lola: 2415059 markings, 6906301 edges, 3582 markings/sec, 695 secs
lola: 2433967 markings, 6942680 edges, 3782 markings/sec, 700 secs
lola: 2453620 markings, 6981030 edges, 3931 markings/sec, 705 secs
lola: 2470866 markings, 7020522 edges, 3449 markings/sec, 710 secs
lola: 2488893 markings, 7063506 edges, 3605 markings/sec, 715 secs
lola: 2506705 markings, 7100838 edges, 3562 markings/sec, 720 secs
lola: 2527718 markings, 7142583 edges, 4203 markings/sec, 725 secs
lola: 2548851 markings, 7184586 edges, 4227 markings/sec, 730 secs
lola: 2569972 markings, 7226501 edges, 4224 markings/sec, 735 secs
lola: 2590970 markings, 7267960 edges, 4200 markings/sec, 740 secs
lola: 2610891 markings, 7310016 edges, 3984 markings/sec, 745 secs
lola: 2632220 markings, 7351632 edges, 4266 markings/sec, 750 secs
lola: 2653460 markings, 7393854 edges, 4248 markings/sec, 755 secs
lola: 2674714 markings, 7436046 edges, 4251 markings/sec, 760 secs
lola: 2695991 markings, 7478326 edges, 4255 markings/sec, 765 secs
lola: 2716729 markings, 7519407 edges, 4148 markings/sec, 770 secs
lola: 2735960 markings, 7559215 edges, 3846 markings/sec, 775 secs
lola: 2756410 markings, 7599533 edges, 4090 markings/sec, 780 secs
lola: 2777749 markings, 7641989 edges, 4268 markings/sec, 785 secs
lola: 2798864 markings, 7683898 edges, 4223 markings/sec, 790 secs
lola: 2814278 markings, 7735076 edges, 3083 markings/sec, 795 secs
lola: 2828538 markings, 7794451 edges, 2852 markings/sec, 800 secs
lola: 2842976 markings, 7854541 edges, 2888 markings/sec, 805 secs
lola: 2857225 markings, 7915691 edges, 2850 markings/sec, 810 secs
lola: 2871643 markings, 7975826 edges, 2884 markings/sec, 815 secs
lola: 2885936 markings, 8036415 edges, 2859 markings/sec, 820 secs
lola: 2900481 markings, 8096932 edges, 2909 markings/sec, 825 secs
lola: 2914658 markings, 8156107 edges, 2835 markings/sec, 830 secs
lola: 2929265 markings, 8216819 edges, 2921 markings/sec, 835 secs
lola: 2943712 markings, 8277663 edges, 2889 markings/sec, 840 secs
lola: 2955825 markings, 8346034 edges, 2423 markings/sec, 845 secs
lola: 2969786 markings, 8406005 edges, 2792 markings/sec, 850 secs
lola: 2983838 markings, 8465489 edges, 2810 markings/sec, 855 secs
lola: 2997823 markings, 8524989 edges, 2797 markings/sec, 860 secs
lola: 3011849 markings, 8584915 edges, 2805 markings/sec, 865 secs
lola: 3025812 markings, 8645029 edges, 2793 markings/sec, 870 secs
lola: 3039050 markings, 8705761 edges, 2648 markings/sec, 875 secs
lola: 3051420 markings, 8771950 edges, 2474 markings/sec, 880 secs
lola: 3065763 markings, 8823846 edges, 2869 markings/sec, 885 secs
lola: 3078737 markings, 8887084 edges, 2595 markings/sec, 890 secs
lola: 3094439 markings, 8936092 edges, 3140 markings/sec, 895 secs
lola: 3110078 markings, 8984045 edges, 3128 markings/sec, 900 secs
lola: 3130216 markings, 9027213 edges, 4028 markings/sec, 905 secs
lola: 3151191 markings, 9067952 edges, 4195 markings/sec, 910 secs
lola: 3170168 markings, 9108587 edges, 3795 markings/sec, 915 secs
lola: 3190771 markings, 9148711 edges, 4121 markings/sec, 920 secs
lola: 3211453 markings, 9189705 edges, 4136 markings/sec, 925 secs
lola: 3231729 markings, 9229174 edges, 4055 markings/sec, 930 secs
lola: 3249682 markings, 9270714 edges, 3591 markings/sec, 935 secs
lola: 3268724 markings, 9316363 edges, 3808 markings/sec, 940 secs
lola: 3287854 markings, 9355228 edges, 3826 markings/sec, 945 secs
lola: 3307958 markings, 9395511 edges, 4021 markings/sec, 950 secs
lola: 3328578 markings, 9436381 edges, 4124 markings/sec, 955 secs
lola: 3349113 markings, 9477072 edges, 4107 markings/sec, 960 secs
lola: 3368562 markings, 9515965 edges, 3890 markings/sec, 965 secs
lola: 3388489 markings, 9556679 edges, 3985 markings/sec, 970 secs
lola: 3409641 markings, 9598500 edges, 4230 markings/sec, 975 secs
lola: 3430494 markings, 9639865 edges, 4171 markings/sec, 980 secs
lola: 3451252 markings, 9681029 edges, 4152 markings/sec, 985 secs
lola: 3470998 markings, 9721204 edges, 3949 markings/sec, 990 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown unknown unknown
lola: memory consumption: 1653860 KB
lola: time consumption: 2570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1000 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5479)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-22b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p5611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5611)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-22b-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: Structural Bound: 1
lola: 16798 markings, 31297 edges, 3360 markings/sec, 5 secs
lola: 34358 markings, 67888 edges, 3512 markings/sec, 10 secs
lola: 54486 markings, 106531 edges, 4026 markings/sec, 15 secs
lola: 73757 markings, 143962 edges, 3854 markings/sec, 20 secs
lola: 91328 markings, 180633 edges, 3514 markings/sec, 25 secs
lola: 111190 markings, 218670 edges, 3972 markings/sec, 30 secs
lola: 130210 markings, 256171 edges, 3804 markings/sec, 35 secs
lola: 147599 markings, 299838 edges, 3478 markings/sec, 40 secs
lola: 167153 markings, 341794 edges, 3911 markings/sec, 45 secs
lola: 188422 markings, 383588 edges, 4254 markings/sec, 50 secs
lola: 207766 markings, 423863 edges, 3869 markings/sec, 55 secs
lola: 228952 markings, 465016 edges, 4237 markings/sec, 60 secs
lola: 250513 markings, 507439 edges, 4312 markings/sec, 65 secs
lola: 272255 markings, 550247 edges, 4348 markings/sec, 70 secs
lola: 293767 markings, 592566 edges, 4302 markings/sec, 75 secs
lola: 315082 markings, 634443 edges, 4263 markings/sec, 80 secs
lola: 336595 markings, 676369 edges, 4303 markings/sec, 85 secs
lola: 356770 markings, 718625 edges, 4035 markings/sec, 90 secs
lola: 378444 markings, 761585 edges, 4335 markings/sec, 95 secs
lola: 400169 markings, 803853 edges, 4345 markings/sec, 100 secs
lola: 421220 markings, 845166 edges, 4210 markings/sec, 105 secs
lola: 441899 markings, 885660 edges, 4136 markings/sec, 110 secs
lola: 463143 markings, 927399 edges, 4249 markings/sec, 115 secs
lola: 479223 markings, 979844 edges, 3216 markings/sec, 120 secs
lola: 493581 markings, 1039657 edges, 2872 markings/sec, 125 secs
lola: 508100 markings, 1100041 edges, 2904 markings/sec, 130 secs
lola: 522420 markings, 1160716 edges, 2864 markings/sec, 135 secs
lola: 536964 markings, 1221460 edges, 2909 markings/sec, 140 secs
lola: 551472 markings, 1281832 edges, 2902 markings/sec, 145 secs
lola: 565694 markings, 1341138 edges, 2844 markings/sec, 150 secs
lola: 580096 markings, 1401259 edges, 2880 markings/sec, 155 secs
lola: 594366 markings, 1461508 edges, 2854 markings/sec, 160 secs
lola: 608708 markings, 1522955 edges, 2868 markings/sec, 165 secs
lola: 621042 markings, 1591134 edges, 2467 markings/sec, 170 secs
lola: 635057 markings, 1651220 edges, 2803 markings/sec, 175 secs
lola: 649153 markings, 1711170 edges, 2819 markings/sec, 180 secs
lola: 663279 markings, 1770798 edges, 2825 markings/sec, 185 secs
lola: 677501 markings, 1830328 edges, 2844 markings/sec, 190 secs
lola: 691675 markings, 1890734 edges, 2835 markings/sec, 195 secs
lola: 705332 markings, 1953838 edges, 2731 markings/sec, 200 secs
lola: 719088 markings, 2017614 edges, 2751 markings/sec, 205 secs
lola: 733606 markings, 2074992 edges, 2904 markings/sec, 210 secs
lola: 746876 markings, 2137802 edges, 2654 markings/sec, 215 secs
lola: 762700 markings, 2187070 edges, 3165 markings/sec, 220 secs
lola: 778251 markings, 2234928 edges, 3110 markings/sec, 225 secs
lola: 799143 markings, 2275318 edges, 4178 markings/sec, 230 secs
lola: 820313 markings, 2316889 edges, 4234 markings/sec, 235 secs
lola: 841731 markings, 2359002 edges, 4284 markings/sec, 240 secs
lola: 863150 markings, 2401094 edges, 4284 markings/sec, 245 secs
lola: 884555 markings, 2442940 edges, 4281 markings/sec, 250 secs
lola: 904424 markings, 2484707 edges, 3974 markings/sec, 255 secs
lola: 924890 markings, 2531270 edges, 4093 markings/sec, 260 secs
lola: 945225 markings, 2576546 edges, 4067 markings/sec, 265 secs
lola: 966110 markings, 2617221 edges, 4177 markings/sec, 270 secs
lola: 985337 markings, 2657701 edges, 3845 markings/sec, 275 secs
lola: 1006658 markings, 2698972 edges, 4264 markings/sec, 280 secs
lola: 1027747 markings, 2740358 edges, 4218 markings/sec, 285 secs
lola: 1048790 markings, 2781651 edges, 4209 markings/sec, 290 secs
lola: 1070264 markings, 2823877 edges, 4295 markings/sec, 295 secs
lola: 1091504 markings, 2865537 edges, 4248 markings/sec, 300 secs
lola: 1111506 markings, 2907538 edges, 4000 markings/sec, 305 secs
lola: 1133133 markings, 2949456 edges, 4325 markings/sec, 310 secs
lola: 1154654 markings, 2991770 edges, 4304 markings/sec, 315 secs
lola: 1176252 markings, 3034267 edges, 4320 markings/sec, 320 secs
lola: 1198087 markings, 3077284 edges, 4367 markings/sec, 325 secs
lola: 1219840 markings, 3120112 edges, 4351 markings/sec, 330 secs
lola: 1241308 markings, 3162335 edges, 4294 markings/sec, 335 secs
lola: 1257369 markings, 3214636 edges, 3212 markings/sec, 340 secs
lola: 1271755 markings, 3274551 edges, 2877 markings/sec, 345 secs
lola: 1285992 markings, 3333843 edges, 2847 markings/sec, 350 secs
lola: 1300011 markings, 3392370 edges, 2804 markings/sec, 355 secs
lola: 1314299 markings, 3452943 edges, 2858 markings/sec, 360 secs
lola: 1328645 markings, 3512856 edges, 2869 markings/sec, 365 secs
lola: 1343029 markings, 3572794 edges, 2877 markings/sec, 370 secs
lola: 1357483 markings, 3632926 edges, 2891 markings/sec, 375 secs
lola: 1371954 markings, 3693221 edges, 2894 markings/sec, 380 secs
lola: 1386100 markings, 3754158 edges, 2829 markings/sec, 385 secs
lola: 1398404 markings, 3821490 edges, 2461 markings/sec, 390 secs
lola: 1412233 markings, 3880853 edges, 2766 markings/sec, 395 secs
lola: 1426159 markings, 3940360 edges, 2785 markings/sec, 400 secs
lola: 1440057 markings, 4000145 edges, 2780 markings/sec, 405 secs
lola: 1454033 markings, 4059788 edges, 2795 markings/sec, 410 secs
lola: 1468128 markings, 4118972 edges, 2819 markings/sec, 415 secs
lola: 1481895 markings, 4180254 edges, 2753 markings/sec, 420 secs
lola: 1494711 markings, 4242692 edges, 2563 markings/sec, 425 secs
lola: 1508252 markings, 4302164 edges, 2708 markings/sec, 430 secs
lola: 1521823 markings, 4362098 edges, 2714 markings/sec, 435 secs
lola: 1537830 markings, 4412275 edges, 3201 markings/sec, 440 secs
lola: 1553765 markings, 4460652 edges, 3187 markings/sec, 445 secs
lola: 1574565 markings, 4504301 edges, 4160 markings/sec, 450 secs
lola: 1595880 markings, 4546185 edges, 4263 markings/sec, 455 secs
lola: 1617260 markings, 4588081 edges, 4276 markings/sec, 460 secs
lola: 1637051 markings, 4629290 edges, 3958 markings/sec, 465 secs
lola: 1658240 markings, 4670701 edges, 4238 markings/sec, 470 secs
lola: 1679736 markings, 4712911 edges, 4299 markings/sec, 475 secs
lola: 1699775 markings, 4758390 edges, 4008 markings/sec, 480 secs
lola: 1719950 markings, 4805045 edges, 4035 markings/sec, 485 secs
lola: 1740583 markings, 4847233 edges, 4127 markings/sec, 490 secs
lola: 1762253 markings, 4889314 edges, 4334 markings/sec, 495 secs
lola: 1783870 markings, 4931852 edges, 4323 markings/sec, 500 secs
lola: 1805494 markings, 4974417 edges, 4325 markings/sec, 505 secs
lola: 1826972 markings, 5016649 edges, 4296 markings/sec, 510 secs
lola: 1848517 markings, 5059020 edges, 4309 markings/sec, 515 secs
lola: 1870236 markings, 5101539 edges, 4344 markings/sec, 520 secs
lola: 1890427 markings, 5143607 edges, 4038 markings/sec, 525 secs
lola: 1911871 markings, 5186159 edges, 4289 markings/sec, 530 secs
lola: 1933544 markings, 5228302 edges, 4335 markings/sec, 535 secs
lola: 1955302 markings, 5271143 edges, 4352 markings/sec, 540 secs
lola: 1976750 markings, 5313320 edges, 4290 markings/sec, 545 secs
lola: 1998311 markings, 5355738 edges, 4312 markings/sec, 550 secs
lola: 2019613 markings, 5397603 edges, 4260 markings/sec, 555 secs
lola: 2035548 markings, 5449503 edges, 3187 markings/sec, 560 secs
lola: 2049841 markings, 5509059 edges, 2859 markings/sec, 565 secs
lola: 2064173 markings, 5568762 edges, 2866 markings/sec, 570 secs
lola: 2077978 markings, 5626435 edges, 2761 markings/sec, 575 secs
lola: 2091476 markings, 5682986 edges, 2700 markings/sec, 580 secs
lola: 2105185 markings, 5740288 edges, 2742 markings/sec, 585 secs
lola: 2119587 markings, 5800427 edges, 2880 markings/sec, 590 secs
lola: 2134160 markings, 5862100 edges, 2915 markings/sec, 595 secs
lola: 2149117 markings, 5924200 edges, 2991 markings/sec, 600 secs
lola: 2163992 markings, 5986117 edges, 2975 markings/sec, 605 secs
lola: 2176507 markings, 6054612 edges, 2503 markings/sec, 610 secs
lola: 2190476 markings, 6115977 edges, 2794 markings/sec, 615 secs
lola: 2204680 markings, 6176173 edges, 2841 markings/sec, 620 secs
lola: 2219146 markings, 6237911 edges, 2893 markings/sec, 625 secs
lola: 2233724 markings, 6299678 edges, 2916 markings/sec, 630 secs
lola: 2247869 markings, 6360394 edges, 2829 markings/sec, 635 secs
lola: 2261737 markings, 6423795 edges, 2774 markings/sec, 640 secs
lola: 2275317 markings, 6486824 edges, 2716 markings/sec, 645 secs
lola: 2289706 markings, 6544365 edges, 2878 markings/sec, 650 secs
lola: 2303013 markings, 6606660 edges, 2661 markings/sec, 655 secs
lola: 2317894 markings, 6653227 edges, 2976 markings/sec, 660 secs
lola: 2332727 markings, 6698078 edges, 2967 markings/sec, 665 secs
lola: 2351920 markings, 6737502 edges, 3839 markings/sec, 670 secs
lola: 2370473 markings, 6774803 edges, 3711 markings/sec, 675 secs
lola: 2389814 markings, 6813206 edges, 3868 markings/sec, 680 secs
lola: 2411100 markings, 6855040 edges, 4257 markings/sec, 685 secs
lola: 2432406 markings, 6896900 edges, 4261 markings/sec, 690 secs
lola: 2453471 markings, 6938136 edges, 4213 markings/sec, 695 secs
lola: 2472231 markings, 6983418 edges, 3752 markings/sec, 700 secs
lola: 2492642 markings, 7029305 edges, 4082 markings/sec, 705 secs
lola: 2514043 markings, 7071380 edges, 4280 markings/sec, 710 secs
lola: 2535489 markings, 7113551 edges, 4289 markings/sec, 715 secs
lola: 2556927 markings, 7155457 edges, 4288 markings/sec, 720 secs
lola: 2576625 markings, 7196956 edges, 3940 markings/sec, 725 secs
lola: 2598151 markings, 7238671 edges, 4305 markings/sec, 730 secs
lola: 2619601 markings, 7280819 edges, 4290 markings/sec, 735 secs
lola: 2640779 markings, 7322414 edges, 4236 markings/sec, 740 secs
lola: 2661853 markings, 7363799 edges, 4215 markings/sec, 745 secs
lola: 2682716 markings, 7404190 edges, 4173 markings/sec, 750 secs
lola: 2701111 markings, 7442446 edges, 3679 markings/sec, 755 secs
lola: 2720376 markings, 7479866 edges, 3853 markings/sec, 760 secs
lola: 2739842 markings, 7517324 edges, 3893 markings/sec, 765 secs
lola: 2757765 markings, 7554484 edges, 3585 markings/sec, 770 secs
lola: 2776974 markings, 7591799 edges, 3842 markings/sec, 775 secs
lola: 2796397 markings, 7629889 edges, 3885 markings/sec, 780 secs
lola: 2811687 markings, 7675381 edges, 3058 markings/sec, 785 secs
lola: 2824588 markings, 7729639 edges, 2580 markings/sec, 790 secs
lola: 2837399 markings, 7783492 edges, 2562 markings/sec, 795 secs
lola: 2850494 markings, 7838448 edges, 2619 markings/sec, 800 secs
lola: 2863791 markings, 7893761 edges, 2659 markings/sec, 805 secs
lola: 2877478 markings, 7950996 edges, 2737 markings/sec, 810 secs
lola: 2891637 markings, 8010529 edges, 2832 markings/sec, 815 secs
lola: 2905071 markings, 8066463 edges, 2687 markings/sec, 820 secs
lola: 2918661 markings, 8123340 edges, 2718 markings/sec, 825 secs
lola: 2932079 markings, 8179229 edges, 2684 markings/sec, 830 secs
lola: 2945080 markings, 8234636 edges, 2600 markings/sec, 835 secs
lola: 2955619 markings, 8296030 edges, 2108 markings/sec, 840 secs
lola: 2967828 markings, 8348132 edges, 2442 markings/sec, 845 secs
lola: 2980385 markings, 8401268 edges, 2511 markings/sec, 850 secs
lola: 2993069 markings, 8454730 edges, 2537 markings/sec, 855 secs
lola: 3005643 markings, 8508280 edges, 2515 markings/sec, 860 secs
lola: 3018287 markings, 8561355 edges, 2529 markings/sec, 865 secs
lola: 3030653 markings, 8614267 edges, 2473 markings/sec, 870 secs
lola: 3042583 markings, 8668073 edges, 2386 markings/sec, 875 secs
lola: 3054081 markings, 8724289 edges, 2300 markings/sec, 880 secs
lola: 3066347 markings, 8775626 edges, 2453 markings/sec, 885 secs
lola: 3077914 markings, 8831115 edges, 2313 markings/sec, 890 secs
lola: 3092635 markings, 8877443 edges, 2944 markings/sec, 895 secs
lola: 3107220 markings, 8921294 edges, 2917 markings/sec, 900 secs
lola: 3123794 markings, 8961536 edges, 3315 markings/sec, 905 secs
lola: 3143130 markings, 8998587 edges, 3867 markings/sec, 910 secs
lola: 3162383 markings, 9035955 edges, 3851 markings/sec, 915 secs
lola: 3180618 markings, 9073529 edges, 3647 markings/sec, 920 secs
lola: 3200268 markings, 9111678 edges, 3930 markings/sec, 925 secs
lola: 3219573 markings, 9149139 edges, 3861 markings/sec, 930 secs
lola: 3237335 markings, 9185607 edges, 3552 markings/sec, 935 secs
lola: 3254781 markings, 9226250 edges, 3489 markings/sec, 940 secs
lola: 3272256 markings, 9267419 edges, 3495 markings/sec, 945 secs
lola: 3291829 markings, 9305518 edges, 3915 markings/sec, 950 secs
lola: 3310679 markings, 9343145 edges, 3770 markings/sec, 955 secs
lola: 3329976 markings, 9381773 edges, 3859 markings/sec, 960 secs
lola: 3350080 markings, 9421013 edges, 4021 markings/sec, 965 secs
lola: 3369538 markings, 9458606 edges, 3892 markings/sec, 970 secs
lola: 3387909 markings, 9496729 edges, 3674 markings/sec, 975 secs
lola: 3407361 markings, 9534415 edges, 3890 markings/sec, 980 secs
lola: 3426789 markings, 9571935 edges, 3886 markings/sec, 985 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown unknown 1
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown unknown 1
lola: memory consumption: 1483312 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown unknown 1
lola: memory consumption: 1483312 KB
lola: time consumption: 3570 seconds

BK_STOP 1552867138462

--------------------
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="FlexibleBarrier-PT-22b"
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-3954"
echo " Executing tool win2018"
echo " Input is FlexibleBarrier-PT-22b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-csrt-155246565700100"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-22b.tgz
mv FlexibleBarrier-PT-22b 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 ;