About the Execution of LoLA for FlexibleBarrier-PT-10b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5386.070 | 3570568.00 | 3688298.00 | 496.80 | ? 1 1 1 1 1 ? 1 1 1 1 1 1 1 ? 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
................
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 374K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-10b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998100149
=====================================================================
--------------------
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-10b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-10b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526653812696
info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-10b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-10b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-10b @ 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: 3015/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1402
lola: finding significant places
lola: 1402 places, 1613 transitions, 1390 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1635 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-10b-UpperBounds.task
lola: MAX(p74) : MAX(p1133) : MAX(p1138) : MAX(p1212) : MAX(p569) : MAX(p847) : MAX(p129) : MAX(p799) : MAX(p919) : MAX(p1087) : MAX(p78) : MAX(p175) : MAX(p1359) : MAX(p1324) : MAX(p600) : MAX(p848)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p74)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 133129 markings, 284726 edges, 26626 markings/sec, 0 secs
lola: 267686 markings, 596914 edges, 26911 markings/sec, 5 secs
lola: 400458 markings, 911015 edges, 26554 markings/sec, 10 secs
lola: 529542 markings, 1228068 edges, 25817 markings/sec, 15 secs
lola: 666178 markings, 1528001 edges, 27327 markings/sec, 20 secs
lola: 794600 markings, 1824667 edges, 25684 markings/sec, 25 secs
lola: 925634 markings, 2137047 edges, 26207 markings/sec, 30 secs
lola: 1055635 markings, 2451098 edges, 26000 markings/sec, 35 secs
lola: 1191926 markings, 2756493 edges, 27258 markings/sec, 40 secs
lola: 1328545 markings, 3068661 edges, 27324 markings/sec, 45 secs
lola: 1460753 markings, 3380688 edges, 26442 markings/sec, 50 secs
lola: 1593259 markings, 3693859 edges, 26501 markings/sec, 55 secs
lola: 1722602 markings, 4012325 edges, 25869 markings/sec, 60 secs
lola: 1862089 markings, 4314166 edges, 27897 markings/sec, 65 secs
lola: 1995942 markings, 4626139 edges, 26771 markings/sec, 70 secs
lola: 2129223 markings, 4939723 edges, 26656 markings/sec, 75 secs
lola: 2256717 markings, 5257914 edges, 25499 markings/sec, 80 secs
lola: 2395488 markings, 5558264 edges, 27754 markings/sec, 85 secs
lola: 2530685 markings, 5871102 edges, 27039 markings/sec, 90 secs
lola: 2663737 markings, 6186892 edges, 26610 markings/sec, 95 secs
lola: 2793795 markings, 6499880 edges, 26012 markings/sec, 100 secs
lola: 2927526 markings, 6809440 edges, 26746 markings/sec, 105 secs
lola: 3039075 markings, 7162758 edges, 22310 markings/sec, 110 secs
lola: 3152211 markings, 7512902 edges, 22627 markings/sec, 115 secs
lola: 3264172 markings, 7868604 edges, 22392 markings/sec, 120 secs
lola: 3371627 markings, 8227125 edges, 21491 markings/sec, 125 secs
lola: 3484700 markings, 8577361 edges, 22615 markings/sec, 130 secs
lola: 3597645 markings, 8934145 edges, 22589 markings/sec, 135 secs
lola: 3706605 markings, 9298038 edges, 21792 markings/sec, 140 secs
lola: 3820689 markings, 9652552 edges, 22817 markings/sec, 145 secs
lola: 3934404 markings, 10010503 edges, 22743 markings/sec, 150 secs
lola: 4044224 markings, 10375929 edges, 21964 markings/sec, 155 secs
lola: 4157699 markings, 10731667 edges, 22695 markings/sec, 160 secs
lola: 4272110 markings, 11090236 edges, 22882 markings/sec, 165 secs
lola: 4382830 markings, 11455794 edges, 22144 markings/sec, 170 secs
lola: 4484521 markings, 11836594 edges, 20338 markings/sec, 175 secs
lola: 4580861 markings, 12226043 edges, 19268 markings/sec, 180 secs
lola: 4682910 markings, 12602991 edges, 20410 markings/sec, 185 secs
lola: 4781136 markings, 12989851 edges, 19645 markings/sec, 190 secs
lola: 4884924 markings, 13365911 edges, 20758 markings/sec, 195 secs
lola: 4986107 markings, 13734551 edges, 20237 markings/sec, 200 secs
lola: 5081201 markings, 14083079 edges, 19019 markings/sec, 205 secs
lola: 5178251 markings, 14417944 edges, 19410 markings/sec, 210 secs
lola: 5274616 markings, 14774536 edges, 19273 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: 919984 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1133)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1133)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 7 markings, 6 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1138)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 7 markings, 6 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1212)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1212)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 23 markings, 22 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p569)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p569)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 22 markings, 21 edges
FORMULA FlexibleBarrier-PT-10b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p847)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p847)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 10 markings, 9 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p129)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 137885 markings, 301124 edges, 27577 markings/sec, 0 secs
lola: 276893 markings, 620251 edges, 27802 markings/sec, 5 secs
lola: 413286 markings, 943080 edges, 27279 markings/sec, 10 secs
lola: 550408 markings, 1264875 edges, 27424 markings/sec, 15 secs
lola: 684191 markings, 1591833 edges, 26757 markings/sec, 20 secs
lola: 826190 markings, 1904296 edges, 28400 markings/sec, 25 secs
lola: 964199 markings, 2223220 edges, 27602 markings/sec, 30 secs
lola: 1100570 markings, 2545541 edges, 27274 markings/sec, 35 secs
lola: 1231276 markings, 2859529 edges, 26141 markings/sec, 40 secs
lola: 1369046 markings, 3187335 edges, 27554 markings/sec, 45 secs
lola: 1512757 markings, 3502872 edges, 28742 markings/sec, 50 secs
lola: 1652222 markings, 3827604 edges, 27893 markings/sec, 55 secs
lola: 1789883 markings, 4152256 edges, 27532 markings/sec, 60 secs
lola: 1922157 markings, 4471595 edges, 26455 markings/sec, 65 secs
lola: 2058793 markings, 4787049 edges, 27327 markings/sec, 70 secs
lola: 2157742 markings, 5007585 edges, 19790 markings/sec, 75 secs
lola: 2294341 markings, 5324490 edges, 27320 markings/sec, 80 secs
lola: 2423515 markings, 5646726 edges, 25835 markings/sec, 85 secs
lola: 2563089 markings, 5953441 edges, 27915 markings/sec, 90 secs
lola: 2699432 markings, 6267336 edges, 27269 markings/sec, 95 secs
lola: 2834452 markings, 6586984 edges, 27004 markings/sec, 100 secs
lola: 2968039 markings, 6905859 edges, 26717 markings/sec, 105 secs
lola: 3102544 markings, 7226235 edges, 26901 markings/sec, 110 secs
lola: 3216654 markings, 7574688 edges, 22822 markings/sec, 115 secs
lola: 3314315 markings, 7882362 edges, 19532 markings/sec, 120 secs
lola: 3409096 markings, 8163937 edges, 18956 markings/sec, 125 secs
lola: 3519387 markings, 8527001 edges, 22058 markings/sec, 130 secs
lola: 3632931 markings, 8882974 edges, 22709 markings/sec, 135 secs
lola: 3746611 markings, 9238386 edges, 22736 markings/sec, 140 secs
lola: 3860391 markings, 9592178 edges, 22756 markings/sec, 145 secs
lola: 3972676 markings, 9941428 edges, 22457 markings/sec, 150 secs
lola: 4050641 markings, 10194359 edges, 15593 markings/sec, 155 secs
lola: 4166035 markings, 10552610 edges, 23079 markings/sec, 160 secs
lola: 4276797 markings, 10897307 edges, 22152 markings/sec, 165 secs
lola: 4391163 markings, 11253003 edges, 22873 markings/sec, 170 secs
lola: 4504551 markings, 11610033 edges, 22678 markings/sec, 175 secs
lola: 4615838 markings, 11959379 edges, 22257 markings/sec, 180 secs
lola: 4726458 markings, 12309015 edges, 22124 markings/sec, 185 secs
lola: 4839005 markings, 12686166 edges, 22509 markings/sec, 190 secs
lola: 4936073 markings, 13059328 edges, 19414 markings/sec, 195 secs
lola: 5034110 markings, 13468070 edges, 19607 markings/sec, 200 secs
lola: 5137184 markings, 13867168 edges, 20615 markings/sec, 205 secs
lola: 5233242 markings, 14279180 edges, 19212 markings/sec, 210 secs
lola: 5332888 markings, 14646447 edges, 19929 markings/sec, 215 secs
lola: 5438112 markings, 15045925 edges, 21045 markings/sec, 220 secs
lola: 5543423 markings, 15446990 edges, 21062 markings/sec, 225 secs
lola: 5648815 markings, 15848478 edges, 21078 markings/sec, 230 secs
lola: 5754714 markings, 16248316 edges, 21180 markings/sec, 235 secs
lola: 5860460 markings, 16647769 edges, 21149 markings/sec, 240 secs
lola: 5965954 markings, 17049182 edges, 21099 markings/sec, 245 secs
lola: 6071644 markings, 17450270 edges, 21138 markings/sec, 250 secs
lola: 6177427 markings, 17852480 edges, 21157 markings/sec, 255 secs
lola: 6281962 markings, 18251411 edges, 20907 markings/sec, 260 secs
lola: 6379939 markings, 18663431 edges, 19595 markings/sec, 265 secs
lola: 6473149 markings, 19043613 edges, 18642 markings/sec, 270 secs
lola: 6572517 markings, 19453616 edges, 19874 markings/sec, 275 secs
lola: 6673181 markings, 19862929 edges, 20133 markings/sec, 280 secs
lola: 6767421 markings, 20270036 edges, 18848 markings/sec, 285 secs
lola: 6869019 markings, 20650728 edges, 20320 markings/sec, 290 secs
lola: 6966920 markings, 21020437 edges, 19580 markings/sec, 295 secs
lola: 7060533 markings, 21405079 edges, 18723 markings/sec, 300 secs
lola: 7154932 markings, 21787414 edges, 18880 markings/sec, 305 secs
lola: 7194616 markings, 22280014 edges, 7937 markings/sec, 310 secs
lola: 7295057 markings, 22681341 edges, 20088 markings/sec, 315 secs
lola: 7394653 markings, 23085423 edges, 19919 markings/sec, 320 secs
lola: 7501910 markings, 23478059 edges, 21451 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 400448 KB
lola: time consumption: 559 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p799)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p799)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 16 markings, 15 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-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(p919)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p919)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 9 markings, 8 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-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(p1087)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1087)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-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(p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p78)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 41 markings, 40 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 602 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p175)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 41 markings, 40 edges
FORMULA FlexibleBarrier-PT-10b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 752 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1359)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 28 markings, 27 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1003 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1324)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1324)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 23 markings, 22 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1504 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p600)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p600)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 138808 markings, 302432 edges, 27762 markings/sec, 0 secs
lola: 279952 markings, 627046 edges, 28229 markings/sec, 5 secs
lola: 418316 markings, 954264 edges, 27673 markings/sec, 10 secs
lola: 558092 markings, 1278262 edges, 27955 markings/sec, 15 secs
lola: 692054 markings, 1612004 edges, 26792 markings/sec, 20 secs
lola: 836430 markings, 1928975 edges, 28875 markings/sec, 25 secs
lola: 977273 markings, 2252210 edges, 28169 markings/sec, 30 secs
lola: 1115195 markings, 2578005 edges, 27584 markings/sec, 35 secs
lola: 1255708 markings, 2902553 edges, 28103 markings/sec, 40 secs
lola: 1389010 markings, 3235724 edges, 26660 markings/sec, 45 secs
lola: 1532817 markings, 3552896 edges, 28761 markings/sec, 50 secs
lola: 1673972 markings, 3875782 edges, 28231 markings/sec, 55 secs
lola: 1811926 markings, 4201544 edges, 27591 markings/sec, 60 secs
lola: 1952127 markings, 4525868 edges, 28040 markings/sec, 65 secs
lola: 2086136 markings, 4859085 edges, 26802 markings/sec, 70 secs
lola: 2229521 markings, 5177161 edges, 28677 markings/sec, 75 secs
lola: 2370501 markings, 5500227 edges, 28196 markings/sec, 80 secs
lola: 2509436 markings, 5827224 edges, 27787 markings/sec, 85 secs
lola: 2649504 markings, 6152724 edges, 28014 markings/sec, 90 secs
lola: 2784352 markings, 6483986 edges, 26970 markings/sec, 95 secs
lola: 2926707 markings, 6804505 edges, 28471 markings/sec, 100 secs
lola: 3068335 markings, 7127520 edges, 28326 markings/sec, 105 secs
lola: 3191094 markings, 7478942 edges, 24552 markings/sec, 110 secs
lola: 3304479 markings, 7839904 edges, 22677 markings/sec, 115 secs
lola: 3414839 markings, 8206445 edges, 22072 markings/sec, 120 secs
lola: 3528018 markings, 8565490 edges, 22636 markings/sec, 125 secs
lola: 3641489 markings, 8924102 edges, 22694 markings/sec, 130 secs
lola: 3736848 markings, 9228003 edges, 19072 markings/sec, 135 secs
lola: 3848931 markings, 9582039 edges, 22417 markings/sec, 140 secs
lola: 3962852 markings, 9939377 edges, 22784 markings/sec, 145 secs
lola: 4077555 markings, 10298885 edges, 22941 markings/sec, 150 secs
lola: 4192657 markings, 10658522 edges, 23020 markings/sec, 155 secs
lola: 4306537 markings, 11020879 edges, 22776 markings/sec, 160 secs
lola: 4420287 markings, 11382854 edges, 22750 markings/sec, 165 secs
lola: 4530749 markings, 11750087 edges, 22092 markings/sec, 170 secs
lola: 4645427 markings, 12112700 edges, 22936 markings/sec, 175 secs
lola: 4757959 markings, 12468538 edges, 22506 markings/sec, 180 secs
lola: 4870358 markings, 12850408 edges, 22480 markings/sec, 185 secs
lola: 4973107 markings, 13250153 edges, 20550 markings/sec, 190 secs
lola: 5071278 markings, 13659774 edges, 19634 markings/sec, 195 secs
lola: 5169859 markings, 14065284 edges, 19716 markings/sec, 200 secs
lola: 5271290 markings, 14459548 edges, 20286 markings/sec, 205 secs
lola: 5373274 markings, 14861223 edges, 20397 markings/sec, 210 secs
lola: 5478188 markings, 15258259 edges, 20983 markings/sec, 215 secs
lola: 5582806 markings, 15658434 edges, 20924 markings/sec, 220 secs
lola: 5687681 markings, 16059883 edges, 20975 markings/sec, 225 secs
lola: 5796113 markings, 16452287 edges, 21686 markings/sec, 230 secs
lola: 5900709 markings, 16855920 edges, 20919 markings/sec, 235 secs
lola: 6005186 markings, 17259324 edges, 20895 markings/sec, 240 secs
lola: 6111566 markings, 17662119 edges, 21276 markings/sec, 245 secs
lola: 6215280 markings, 18060727 edges, 20743 markings/sec, 250 secs
lola: 6315479 markings, 18465518 edges, 20040 markings/sec, 255 secs
lola: 6413096 markings, 18878995 edges, 19523 markings/sec, 260 secs
lola: 6514795 markings, 19282971 edges, 20340 markings/sec, 265 secs
lola: 6611863 markings, 19701610 edges, 19414 markings/sec, 270 secs
lola: 6704202 markings, 20130497 edges, 18468 markings/sec, 275 secs
lola: 6801352 markings, 20521081 edges, 19430 markings/sec, 280 secs
lola: 6905210 markings, 20897259 edges, 20772 markings/sec, 285 secs
lola: 7011258 markings, 21275127 edges, 21210 markings/sec, 290 secs
lola: 7113811 markings, 21641964 edges, 20511 markings/sec, 295 secs
lola: 7183151 markings, 22077175 edges, 13868 markings/sec, 300 secs
lola: 7240344 markings, 22560757 edges, 11439 markings/sec, 305 secs
lola: 7338843 markings, 22971434 edges, 19700 markings/sec, 310 secs
lola: 7442102 markings, 23371497 edges, 20652 markings/sec, 315 secs
lola: 7551095 markings, 23757218 edges, 21799 markings/sec, 320 secs
lola: 7658945 markings, 24141612 edges, 21570 markings/sec, 325 secs
lola: 7765884 markings, 24511385 edges, 21388 markings/sec, 330 secs
lola: 7872626 markings, 24861741 edges, 21348 markings/sec, 335 secs
lola: 7977214 markings, 25211326 edges, 20918 markings/sec, 340 secs
lola: 8083248 markings, 25584992 edges, 21207 markings/sec, 345 secs
lola: 8224096 markings, 25893647 edges, 28170 markings/sec, 350 secs
lola: 8360292 markings, 26210290 edges, 27239 markings/sec, 355 secs
lola: 8494564 markings, 26526979 edges, 26854 markings/sec, 360 secs
lola: 8628533 markings, 26845011 edges, 26794 markings/sec, 365 secs
lola: 8760601 markings, 27162702 edges, 26414 markings/sec, 370 secs
lola: 8892036 markings, 27482100 edges, 26287 markings/sec, 375 secs
lola: 9031386 markings, 27787470 edges, 27870 markings/sec, 380 secs
lola: 9166558 markings, 28101867 edges, 27034 markings/sec, 385 secs
lola: 9300000 markings, 28418551 edges, 26688 markings/sec, 390 secs
lola: 9434975 markings, 28733793 edges, 26995 markings/sec, 395 secs
lola: 9563944 markings, 29056410 edges, 25794 markings/sec, 400 secs
lola: 9702200 markings, 29363246 edges, 27651 markings/sec, 405 secs
lola: 9838142 markings, 29678787 edges, 27188 markings/sec, 410 secs
lola: 9972909 markings, 29994899 edges, 26953 markings/sec, 415 secs
lola: 10103462 markings, 30306714 edges, 26111 markings/sec, 420 secs
lola: 10236649 markings, 30623553 edges, 26637 markings/sec, 425 secs
lola: 10367530 markings, 30944616 edges, 26176 markings/sec, 430 secs
lola: 10506309 markings, 31248860 edges, 27756 markings/sec, 435 secs
lola: 10622175 markings, 31519453 edges, 23173 markings/sec, 440 secs
lola: 10756213 markings, 31838470 edges, 26808 markings/sec, 445 secs
lola: 10884385 markings, 32169968 edges, 25634 markings/sec, 450 secs
lola: 10996544 markings, 32520250 edges, 22432 markings/sec, 455 secs
lola: 11109597 markings, 32878690 edges, 22611 markings/sec, 460 secs
lola: 11219585 markings, 33245225 edges, 21998 markings/sec, 465 secs
lola: 11331539 markings, 33595893 edges, 22391 markings/sec, 470 secs
lola: 11446353 markings, 33954687 edges, 22963 markings/sec, 475 secs
lola: 11556328 markings, 34323418 edges, 21995 markings/sec, 480 secs
lola: 11668384 markings, 34676697 edges, 22411 markings/sec, 485 secs
lola: 11783859 markings, 35036117 edges, 23095 markings/sec, 490 secs
lola: 11896716 markings, 35400238 edges, 22571 markings/sec, 495 secs
lola: 12006667 markings, 35761205 edges, 21990 markings/sec, 500 secs
lola: 12122557 markings, 36122501 edges, 23178 markings/sec, 505 secs
lola: 12237302 markings, 36485433 edges, 22949 markings/sec, 510 secs
lola: 12339300 markings, 36873661 edges, 20400 markings/sec, 515 secs
lola: 12439071 markings, 37266103 edges, 19954 markings/sec, 520 secs
lola: 12540362 markings, 37654662 edges, 20258 markings/sec, 525 secs
lola: 12640340 markings, 38045957 edges, 19996 markings/sec, 530 secs
lola: 12745644 markings, 38429443 edges, 21061 markings/sec, 535 secs
lola: 12851117 markings, 38813335 edges, 21095 markings/sec, 540 secs
lola: 12956449 markings, 39197524 edges, 21066 markings/sec, 545 secs
lola: 13061952 markings, 39581978 edges, 21101 markings/sec, 550 secs
lola: 13167843 markings, 39967667 edges, 21178 markings/sec, 555 secs
lola: 13273730 markings, 40353198 edges, 21177 markings/sec, 560 secs
lola: 13380039 markings, 40740350 edges, 21262 markings/sec, 565 secs
lola: 13485398 markings, 41123418 edges, 21072 markings/sec, 570 secs
lola: 13588233 markings, 41502823 edges, 20567 markings/sec, 575 secs
lola: 13687352 markings, 41901091 edges, 19824 markings/sec, 580 secs
lola: 13786079 markings, 42300214 edges, 19745 markings/sec, 585 secs
lola: 13882474 markings, 42670371 edges, 19279 markings/sec, 590 secs
lola: 13982288 markings, 43071175 edges, 19963 markings/sec, 595 secs
lola: 14079564 markings, 43464376 edges, 19455 markings/sec, 600 secs
lola: 14182189 markings, 43828291 edges, 20525 markings/sec, 605 secs
lola: 14286485 markings, 44189862 edges, 20859 markings/sec, 610 secs
lola: 14391189 markings, 44539129 edges, 20941 markings/sec, 615 secs
lola: 14438938 markings, 45011822 edges, 9550 markings/sec, 620 secs
lola: 14511604 markings, 45464111 edges, 14533 markings/sec, 625 secs
lola: 14615100 markings, 45848442 edges, 20699 markings/sec, 630 secs
lola: 14718384 markings, 46232091 edges, 20657 markings/sec, 635 secs
lola: 14829508 markings, 46597456 edges, 22225 markings/sec, 640 secs
lola: 14936553 markings, 46954637 edges, 21409 markings/sec, 645 secs
lola: 15049413 markings, 47308084 edges, 22572 markings/sec, 650 secs
lola: 15175883 markings, 47622603 edges, 25294 markings/sec, 655 secs
lola: 15312646 markings, 47920995 edges, 27353 markings/sec, 660 secs
lola: 15444504 markings, 48227542 edges, 26372 markings/sec, 665 secs
lola: 15574135 markings, 48536068 edges, 25926 markings/sec, 670 secs
lola: 15704564 markings, 48844671 edges, 26086 markings/sec, 675 secs
lola: 15830422 markings, 49158478 edges, 25172 markings/sec, 680 secs
lola: 15967212 markings, 49456775 edges, 27358 markings/sec, 685 secs
lola: 16099058 markings, 49763312 edges, 26369 markings/sec, 690 secs
lola: 16228675 markings, 50071808 edges, 25923 markings/sec, 695 secs
lola: 16359252 markings, 50380714 edges, 26115 markings/sec, 700 secs
lola: 16485325 markings, 50695029 edges, 25215 markings/sec, 705 secs
lola: 16622107 markings, 50993749 edges, 27356 markings/sec, 710 secs
lola: 16754414 markings, 51300604 edges, 26461 markings/sec, 715 secs
lola: 16884481 markings, 51609960 edges, 26013 markings/sec, 720 secs
lola: 17014951 markings, 51918773 edges, 26094 markings/sec, 725 secs
lola: 17141193 markings, 52233748 edges, 25248 markings/sec, 730 secs
lola: 17277824 markings, 52532743 edges, 27326 markings/sec, 735 secs
lola: 17409684 markings, 52838253 edges, 26372 markings/sec, 740 secs
lola: 17538413 markings, 53144519 edges, 25746 markings/sec, 745 secs
lola: 17668368 markings, 53452999 edges, 25991 markings/sec, 750 secs
lola: 17798895 markings, 53777509 edges, 26105 markings/sec, 755 secs
lola: 17911543 markings, 54130465 edges, 22530 markings/sec, 760 secs
lola: 18024756 markings, 54482708 edges, 22643 markings/sec, 765 secs
lola: 18135517 markings, 54839606 edges, 22152 markings/sec, 770 secs
lola: 18239061 markings, 55182943 edges, 20709 markings/sec, 775 secs
lola: 18348520 markings, 55526858 edges, 21892 markings/sec, 780 secs
lola: 18462677 markings, 55881253 edges, 22831 markings/sec, 785 secs
lola: 18573100 markings, 56247551 edges, 22085 markings/sec, 790 secs
lola: 18685499 markings, 56607795 edges, 22480 markings/sec, 795 secs
lola: 18800122 markings, 56965379 edges, 22925 markings/sec, 800 secs
lola: 18910306 markings, 57314933 edges, 22037 markings/sec, 805 secs
lola: 19020848 markings, 57682879 edges, 22108 markings/sec, 810 secs
lola: 19135882 markings, 58042739 edges, 23007 markings/sec, 815 secs
lola: 19242909 markings, 58404683 edges, 21405 markings/sec, 820 secs
lola: 19340133 markings, 58802876 edges, 19445 markings/sec, 825 secs
lola: 19439931 markings, 59190205 edges, 19960 markings/sec, 830 secs
lola: 19540316 markings, 59574287 edges, 20077 markings/sec, 835 secs
lola: 19643498 markings, 59955567 edges, 20636 markings/sec, 840 secs
lola: 19748305 markings, 60337921 edges, 20961 markings/sec, 845 secs
lola: 19853123 markings, 60721524 edges, 20964 markings/sec, 850 secs
lola: 19958257 markings, 61105571 edges, 21027 markings/sec, 855 secs
lola: 20063512 markings, 61490539 edges, 21051 markings/sec, 860 secs
lola: 20169282 markings, 61874724 edges, 21154 markings/sec, 865 secs
lola: 20275231 markings, 62259498 edges, 21190 markings/sec, 870 secs
lola: 20381023 markings, 62644351 edges, 21158 markings/sec, 875 secs
lola: 20483877 markings, 63019133 edges, 20571 markings/sec, 880 secs
lola: 20581150 markings, 63415559 edges, 19455 markings/sec, 885 secs
lola: 20682474 markings, 63803213 edges, 20265 markings/sec, 890 secs
lola: 20780900 markings, 64199576 edges, 19685 markings/sec, 895 secs
lola: 20879777 markings, 64597568 edges, 19775 markings/sec, 900 secs
lola: 20978124 markings, 64987562 edges, 19669 markings/sec, 905 secs
lola: 21078842 markings, 65351466 edges, 20144 markings/sec, 910 secs
lola: 21181731 markings, 65712057 edges, 20578 markings/sec, 915 secs
lola: 21279863 markings, 66069135 edges, 19626 markings/sec, 920 secs
lola: 21364746 markings, 66453129 edges, 16977 markings/sec, 925 secs
lola: 21404289 markings, 66961055 edges, 7909 markings/sec, 930 secs
lola: 21503243 markings, 67351877 edges, 19791 markings/sec, 935 secs
lola: 21605457 markings, 67735805 edges, 20443 markings/sec, 940 secs
lola: 21714010 markings, 68094989 edges, 21711 markings/sec, 945 secs
lola: 21819938 markings, 68455638 edges, 21186 markings/sec, 950 secs
lola: 21927763 markings, 68810540 edges, 21565 markings/sec, 955 secs
lola: 22055191 markings, 69133268 edges, 25486 markings/sec, 960 secs
lola: 22185611 markings, 69443279 edges, 26084 markings/sec, 965 secs
lola: 22316731 markings, 69751579 edges, 26224 markings/sec, 970 secs
lola: 22441931 markings, 70066998 edges, 25040 markings/sec, 975 secs
lola: 22578673 markings, 70365549 edges, 27348 markings/sec, 980 secs
lola: 22711222 markings, 70672710 edges, 26510 markings/sec, 985 secs
lola: 22841315 markings, 70981575 edges, 26019 markings/sec, 990 secs
lola: 22972250 markings, 71289638 edges, 26187 markings/sec, 995 secs
lola: 23097309 markings, 71604507 edges, 25012 markings/sec, 1000 secs
lola: 23233783 markings, 71903034 edges, 27295 markings/sec, 1005 secs
lola: 23366648 markings, 72210147 edges, 26573 markings/sec, 1010 secs
lola: 23496746 markings, 72519543 edges, 26020 markings/sec, 1015 secs
lola: 23628461 markings, 72827669 edges, 26343 markings/sec, 1020 secs
lola: 23753136 markings, 73143602 edges, 24935 markings/sec, 1025 secs
lola: 23889871 markings, 73441662 edges, 27347 markings/sec, 1030 secs
lola: 24022746 markings, 73749544 edges, 26575 markings/sec, 1035 secs
lola: 24152988 markings, 74058785 edges, 26048 markings/sec, 1040 secs
lola: 24284289 markings, 74366414 edges, 26260 markings/sec, 1045 secs
lola: 24407649 markings, 74679288 edges, 24672 markings/sec, 1050 secs
lola: 24543190 markings, 74975100 edges, 27108 markings/sec, 1055 secs
lola: 24677929 markings, 75287492 edges, 26948 markings/sec, 1060 secs
lola: 24796983 markings, 75629244 edges, 23811 markings/sec, 1065 secs
lola: 24904925 markings, 75991288 edges, 21588 markings/sec, 1070 secs
lola: 25017111 markings, 76344204 edges, 22437 markings/sec, 1075 secs
lola: 25130610 markings, 76698689 edges, 22700 markings/sec, 1080 secs
lola: 25242356 markings, 77054316 edges, 22349 markings/sec, 1085 secs
lola: 25351866 markings, 77418291 edges, 21902 markings/sec, 1090 secs
lola: 25465950 markings, 77774665 edges, 22817 markings/sec, 1095 secs
lola: 25579946 markings, 78132995 edges, 22799 markings/sec, 1100 secs
lola: 25689244 markings, 78499099 edges, 21860 markings/sec, 1105 secs
lola: 25803522 markings, 78857462 edges, 22856 markings/sec, 1110 secs
lola: 25918737 markings, 79214950 edges, 23043 markings/sec, 1115 secs
lola: 26029382 markings, 79584185 edges, 22129 markings/sec, 1120 secs
lola: 26141336 markings, 79949722 edges, 22391 markings/sec, 1125 secs
lola: 26243541 markings, 80333735 edges, 20441 markings/sec, 1130 secs
lola: 26341854 markings, 80725511 edges, 19663 markings/sec, 1135 secs
lola: 26439966 markings, 81116285 edges, 19622 markings/sec, 1140 secs
lola: 26541410 markings, 81500195 edges, 20289 markings/sec, 1145 secs
lola: 26645991 markings, 81881622 edges, 20916 markings/sec, 1150 secs
lola: 26750529 markings, 82263719 edges, 20908 markings/sec, 1155 secs
lola: 26856526 markings, 82643391 edges, 21199 markings/sec, 1160 secs
lola: 26963578 markings, 83021706 edges, 21410 markings/sec, 1165 secs
lola: 27069497 markings, 83404345 edges, 21184 markings/sec, 1170 secs
lola: 27174708 markings, 83789629 edges, 21042 markings/sec, 1175 secs
lola: 27280334 markings, 84174466 edges, 21125 markings/sec, 1180 secs
lola: 27383922 markings, 84554211 edges, 20718 markings/sec, 1185 secs
lola: 27482783 markings, 84937443 edges, 19772 markings/sec, 1190 secs
lola: 27580947 markings, 85332447 edges, 19633 markings/sec, 1195 secs
lola: 27679372 markings, 85728556 edges, 19685 markings/sec, 1200 secs
lola: 27780960 markings, 86117531 edges, 20318 markings/sec, 1205 secs
lola: 27879320 markings, 86515975 edges, 19672 markings/sec, 1210 secs
lola: 27976438 markings, 86890426 edges, 19424 markings/sec, 1215 secs
lola: 28077316 markings, 87251478 edges, 20176 markings/sec, 1220 secs
lola: 28180206 markings, 87605531 edges, 20578 markings/sec, 1225 secs
lola: 28280722 markings, 87960779 edges, 20103 markings/sec, 1230 secs
lola: 28312780 markings, 88467935 edges, 6412 markings/sec, 1235 secs
lola: 28403025 markings, 88875706 edges, 18049 markings/sec, 1240 secs
lola: 28501813 markings, 89266538 edges, 19758 markings/sec, 1245 secs
lola: 28608602 markings, 89631940 edges, 21358 markings/sec, 1250 secs
lola: 28713744 markings, 90005134 edges, 21028 markings/sec, 1255 secs
lola: 28824865 markings, 90348564 edges, 22224 markings/sec, 1260 secs
lola: 28941457 markings, 90691702 edges, 23318 markings/sec, 1265 secs
lola: 29069927 markings, 91003236 edges, 25694 markings/sec, 1270 secs
lola: 29201303 markings, 91308969 edges, 26275 markings/sec, 1275 secs
lola: 29336043 markings, 91613733 edges, 26948 markings/sec, 1280 secs
lola: 29467520 markings, 91921842 edges, 26295 markings/sec, 1285 secs
lola: 29597262 markings, 92231210 edges, 25948 markings/sec, 1290 secs
lola: 29725328 markings, 92540105 edges, 25613 markings/sec, 1295 secs
lola: 29856048 markings, 92846340 edges, 26144 markings/sec, 1300 secs
lola: 29990691 markings, 93149804 edges, 26929 markings/sec, 1305 secs
lola: 30122116 markings, 93457707 edges, 26285 markings/sec, 1310 secs
lola: 30252146 markings, 93767769 edges, 26006 markings/sec, 1315 secs
lola: 30380731 markings, 94077990 edges, 25717 markings/sec, 1320 secs
lola: 30505884 markings, 94361003 edges, 25031 markings/sec, 1325 secs
lola: 30638818 markings, 94669338 edges, 26587 markings/sec, 1330 secs
lola: 30769670 markings, 94978305 edges, 26170 markings/sec, 1335 secs
lola: 30900504 markings, 95287640 edges, 26167 markings/sec, 1340 secs
lola: 31027602 markings, 95600413 edges, 25420 markings/sec, 1345 secs
lola: 31161688 markings, 95900857 edges, 26817 markings/sec, 1350 secs
lola: 31293804 markings, 96206301 edges, 26423 markings/sec, 1355 secs
lola: 31423270 markings, 96511642 edges, 25893 markings/sec, 1360 secs
lola: 31554134 markings, 96821976 edges, 26173 markings/sec, 1365 secs
lola: 31672845 markings, 97123109 edges, 23742 markings/sec, 1370 secs
lola: 31785119 markings, 97475538 edges, 22455 markings/sec, 1375 secs
lola: 31898006 markings, 97826169 edges, 22577 markings/sec, 1380 secs
lola: 32007239 markings, 98184639 edges, 21847 markings/sec, 1385 secs
lola: 32117285 markings, 98543363 edges, 22009 markings/sec, 1390 secs
lola: 32230993 markings, 98897186 edges, 22742 markings/sec, 1395 secs
lola: 32343623 markings, 99253063 edges, 22526 markings/sec, 1400 secs
lola: 32452934 markings, 99618108 edges, 21862 markings/sec, 1405 secs
lola: 32566499 markings, 99974265 edges, 22713 markings/sec, 1410 secs
lola: 32680632 markings, 100329113 edges, 22827 markings/sec, 1415 secs
lola: 32788733 markings, 100682823 edges, 21620 markings/sec, 1420 secs
lola: 32900309 markings, 101046560 edges, 22315 markings/sec, 1425 secs
lola: 33015577 markings, 101405476 edges, 23054 markings/sec, 1430 secs
lola: 33119890 markings, 101783318 edges, 20863 markings/sec, 1435 secs
lola: 33219385 markings, 102172197 edges, 19899 markings/sec, 1440 secs
lola: 33318582 markings, 102558060 edges, 19839 markings/sec, 1445 secs
lola: 33415459 markings, 102948463 edges, 19375 markings/sec, 1450 secs
lola: 33521690 markings, 103323086 edges, 21246 markings/sec, 1455 secs
lola: 33622001 markings, 103684255 edges, 20062 markings/sec, 1460 secs
lola: 33725202 markings, 104062233 edges, 20640 markings/sec, 1465 secs
lola: 33829635 markings, 104444238 edges, 20887 markings/sec, 1470 secs
lola: 33934196 markings, 104827030 edges, 20912 markings/sec, 1475 secs
lola: 34037320 markings, 105202056 edges, 20625 markings/sec, 1480 secs
lola: 34136753 markings, 105565486 edges, 19887 markings/sec, 1485 secs
lola: 34238574 markings, 105938052 edges, 20364 markings/sec, 1490 secs
lola: 34335862 markings, 106294679 edges, 19458 markings/sec, 1495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown unknown
lola: memory consumption: 1956768 KB
lola: time consumption: 2065 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p848)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p848)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 27 markings, 26 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-10b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p74)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-10b-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: 134826 markings, 289303 edges, 26965 markings/sec, 0 secs
lola: 271043 markings, 604388 edges, 27243 markings/sec, 5 secs
lola: 405145 markings, 923621 edges, 26820 markings/sec, 10 secs
lola: 537078 markings, 1241811 edges, 26387 markings/sec, 15 secs
lola: 672775 markings, 1549289 edges, 27139 markings/sec, 20 secs
lola: 809517 markings, 1859086 edges, 27348 markings/sec, 25 secs
lola: 942743 markings, 2173199 edges, 26645 markings/sec, 30 secs
lola: 1076262 markings, 2486821 edges, 26704 markings/sec, 35 secs
lola: 1204944 markings, 2805935 edges, 25736 markings/sec, 40 secs
lola: 1345169 markings, 3109779 edges, 28045 markings/sec, 45 secs
lola: 1477431 markings, 3417474 edges, 26452 markings/sec, 50 secs
lola: 1608752 markings, 3726572 edges, 26264 markings/sec, 55 secs
lola: 1733686 markings, 4040765 edges, 24987 markings/sec, 60 secs
lola: 1870103 markings, 4334821 edges, 27283 markings/sec, 65 secs
lola: 2001084 markings, 4637362 edges, 26196 markings/sec, 70 secs
lola: 2131813 markings, 4946008 edges, 26146 markings/sec, 75 secs
lola: 2257467 markings, 5258941 edges, 25131 markings/sec, 80 secs
lola: 2395976 markings, 5559496 edges, 27702 markings/sec, 85 secs
lola: 2530411 markings, 5870457 edges, 26887 markings/sec, 90 secs
lola: 2663287 markings, 6186139 edges, 26575 markings/sec, 95 secs
lola: 2794965 markings, 6501577 edges, 26336 markings/sec, 100 secs
lola: 2927769 markings, 6810836 edges, 26561 markings/sec, 105 secs
lola: 3038804 markings, 7161748 edges, 22207 markings/sec, 110 secs
lola: 3151697 markings, 7511467 edges, 22579 markings/sec, 115 secs
lola: 3263543 markings, 7866384 edges, 22369 markings/sec, 120 secs
lola: 3371694 markings, 8227311 edges, 21630 markings/sec, 125 secs
lola: 3485019 markings, 8578626 edges, 22665 markings/sec, 130 secs
lola: 3597040 markings, 8931997 edges, 22404 markings/sec, 135 secs
lola: 3705934 markings, 9296226 edges, 21779 markings/sec, 140 secs
lola: 3820109 markings, 9650428 edges, 22835 markings/sec, 145 secs
lola: 3933339 markings, 10006934 edges, 22646 markings/sec, 150 secs
lola: 4043811 markings, 10369609 edges, 22094 markings/sec, 155 secs
lola: 4156560 markings, 10729153 edges, 22550 markings/sec, 160 secs
lola: 4270772 markings, 11086450 edges, 22842 markings/sec, 165 secs
lola: 4381965 markings, 11447807 edges, 22239 markings/sec, 170 secs
lola: 4482055 markings, 11827047 edges, 20018 markings/sec, 175 secs
lola: 4578218 markings, 12215907 edges, 19233 markings/sec, 180 secs
lola: 4679684 markings, 12592631 edges, 20293 markings/sec, 185 secs
lola: 4777666 markings, 12977036 edges, 19596 markings/sec, 190 secs
lola: 4881106 markings, 13353256 edges, 20688 markings/sec, 195 secs
lola: 4984615 markings, 13729654 edges, 20702 markings/sec, 200 secs
lola: 5087956 markings, 14105744 edges, 20668 markings/sec, 205 secs
lola: 5191310 markings, 14481190 edges, 20671 markings/sec, 210 secs
lola: 5295018 markings, 14858310 edges, 20742 markings/sec, 215 secs
lola: 5399841 markings, 15235541 edges, 20965 markings/sec, 220 secs
lola: 5507530 markings, 15606988 edges, 21538 markings/sec, 225 secs
lola: 5611194 markings, 15986085 edges, 20733 markings/sec, 230 secs
lola: 5707360 markings, 16375748 edges, 19233 markings/sec, 235 secs
lola: 5806972 markings, 16759603 edges, 19922 markings/sec, 240 secs
lola: 5907332 markings, 17142057 edges, 20072 markings/sec, 245 secs
lola: 6004625 markings, 17536089 edges, 19459 markings/sec, 250 secs
lola: 6105682 markings, 17917515 edges, 20211 markings/sec, 255 secs
lola: 6201780 markings, 18302880 edges, 19220 markings/sec, 260 secs
lola: 6303554 markings, 18665766 edges, 20355 markings/sec, 265 secs
lola: 6402269 markings, 19005912 edges, 19743 markings/sec, 270 secs
lola: 6506880 markings, 19347897 edges, 20922 markings/sec, 275 secs
lola: 6585843 markings, 19730000 edges, 15793 markings/sec, 280 secs
lola: 6620940 markings, 20248775 edges, 7019 markings/sec, 285 secs
lola: 6719004 markings, 20634688 edges, 19613 markings/sec, 290 secs
lola: 6822271 markings, 21011023 edges, 20653 markings/sec, 295 secs
lola: 6925514 markings, 21380799 edges, 20649 markings/sec, 300 secs
lola: 7027832 markings, 21745642 edges, 20464 markings/sec, 305 secs
lola: 7133478 markings, 22111716 edges, 21129 markings/sec, 310 secs
lola: 7238450 markings, 22440534 edges, 20994 markings/sec, 315 secs
lola: 7336641 markings, 22771200 edges, 19638 markings/sec, 320 secs
lola: 7442067 markings, 23120733 edges, 21085 markings/sec, 325 secs
lola: 7561712 markings, 23425987 edges, 23929 markings/sec, 330 secs
lola: 7684983 markings, 23714720 edges, 24654 markings/sec, 335 secs
lola: 7812553 markings, 24035861 edges, 25514 markings/sec, 340 secs
lola: 7953408 markings, 24340943 edges, 28171 markings/sec, 345 secs
lola: 8084521 markings, 24644274 edges, 26223 markings/sec, 350 secs
lola: 8211069 markings, 24942808 edges, 25310 markings/sec, 355 secs
lola: 8332227 markings, 25246577 edges, 24232 markings/sec, 360 secs
lola: 8467127 markings, 25537382 edges, 26980 markings/sec, 365 secs
lola: 8595419 markings, 25836561 edges, 25658 markings/sec, 370 secs
lola: 8723924 markings, 26136984 edges, 25701 markings/sec, 375 secs
lola: 8846933 markings, 26445862 edges, 24602 markings/sec, 380 secs
lola: 8982830 markings, 26738881 edges, 27179 markings/sec, 385 secs
lola: 9112122 markings, 27040929 edges, 25858 markings/sec, 390 secs
lola: 9241620 markings, 27344838 edges, 25900 markings/sec, 395 secs
lola: 9366422 markings, 27656099 edges, 24960 markings/sec, 400 secs
lola: 9503455 markings, 27952519 edges, 27407 markings/sec, 405 secs
lola: 9634625 markings, 28258373 edges, 26234 markings/sec, 410 secs
lola: 9766222 markings, 28565962 edges, 26319 markings/sec, 415 secs
lola: 9891326 markings, 28880673 edges, 25021 markings/sec, 420 secs
lola: 10029820 markings, 29180506 edges, 27699 markings/sec, 425 secs
lola: 10163041 markings, 29489007 edges, 26644 markings/sec, 430 secs
lola: 10295213 markings, 29801765 edges, 26434 markings/sec, 435 secs
lola: 10421080 markings, 30121231 edges, 25173 markings/sec, 440 secs
lola: 10533998 markings, 30471385 edges, 22584 markings/sec, 445 secs
lola: 10645707 markings, 30825403 edges, 22342 markings/sec, 450 secs
lola: 10753784 markings, 31186197 edges, 21615 markings/sec, 455 secs
lola: 10867292 markings, 31538439 edges, 22702 markings/sec, 460 secs
lola: 10980023 markings, 31893682 edges, 22546 markings/sec, 465 secs
lola: 11089129 markings, 32256186 edges, 21821 markings/sec, 470 secs
lola: 11202241 markings, 32611421 edges, 22622 markings/sec, 475 secs
lola: 11315505 markings, 32966566 edges, 22653 markings/sec, 480 secs
lola: 11425525 markings, 33320449 edges, 22004 markings/sec, 485 secs
lola: 11534658 markings, 33680316 edges, 21827 markings/sec, 490 secs
lola: 11648256 markings, 34031946 edges, 22720 markings/sec, 495 secs
lola: 11757703 markings, 34382301 edges, 21889 markings/sec, 500 secs
lola: 11866833 markings, 34749500 edges, 21826 markings/sec, 505 secs
lola: 11967533 markings, 35128729 edges, 20140 markings/sec, 510 secs
lola: 12064620 markings, 35512739 edges, 19417 markings/sec, 515 secs
lola: 12161395 markings, 35895408 edges, 19355 markings/sec, 520 secs
lola: 12263824 markings, 36268115 edges, 20486 markings/sec, 525 secs
lola: 12366637 markings, 36644014 edges, 20563 markings/sec, 530 secs
lola: 12469627 markings, 37021216 edges, 20598 markings/sec, 535 secs
lola: 12573391 markings, 37397491 edges, 20753 markings/sec, 540 secs
lola: 12677109 markings, 37773720 edges, 20744 markings/sec, 545 secs
lola: 12780575 markings, 38150256 edges, 20693 markings/sec, 550 secs
lola: 12884381 markings, 38527480 edges, 20761 markings/sec, 555 secs
lola: 12988178 markings, 38905372 edges, 20759 markings/sec, 560 secs
lola: 13091211 markings, 39280972 edges, 20607 markings/sec, 565 secs
lola: 13190037 markings, 39660687 edges, 19765 markings/sec, 570 secs
lola: 13285079 markings, 40022649 edges, 19008 markings/sec, 575 secs
lola: 13378773 markings, 40404314 edges, 18739 markings/sec, 580 secs
lola: 13478569 markings, 40786549 edges, 19959 markings/sec, 585 secs
lola: 13574548 markings, 41155842 edges, 19196 markings/sec, 590 secs
lola: 13665851 markings, 41526054 edges, 18261 markings/sec, 595 secs
lola: 13763017 markings, 41875299 edges, 19433 markings/sec, 600 secs
lola: 13861115 markings, 42207938 edges, 19620 markings/sec, 605 secs
lola: 13965064 markings, 42549230 edges, 20790 markings/sec, 610 secs
lola: 14051007 markings, 42908909 edges, 17189 markings/sec, 615 secs
lola: 14075555 markings, 43434952 edges, 4910 markings/sec, 620 secs
lola: 14177118 markings, 43807480 edges, 20313 markings/sec, 625 secs
lola: 14275809 markings, 44189844 edges, 19738 markings/sec, 630 secs
lola: 14377517 markings, 44562336 edges, 20342 markings/sec, 635 secs
lola: 14479475 markings, 44927639 edges, 20392 markings/sec, 640 secs
lola: 14584978 markings, 45297167 edges, 21101 markings/sec, 645 secs
lola: 14690750 markings, 45622003 edges, 21154 markings/sec, 650 secs
lola: 14786524 markings, 45955564 edges, 19155 markings/sec, 655 secs
lola: 14893763 markings, 46299706 edges, 21448 markings/sec, 660 secs
lola: 15009245 markings, 46614821 edges, 23096 markings/sec, 665 secs
lola: 15126122 markings, 46901705 edges, 23375 markings/sec, 670 secs
lola: 15262313 markings, 47207566 edges, 27238 markings/sec, 675 secs
lola: 15398208 markings, 47517612 edges, 27179 markings/sec, 680 secs
lola: 15527949 markings, 47824284 edges, 25948 markings/sec, 685 secs
lola: 15651452 markings, 48122917 edges, 24701 markings/sec, 690 secs
lola: 15781355 markings, 48415401 edges, 25981 markings/sec, 695 secs
lola: 15911304 markings, 48713083 edges, 25990 markings/sec, 700 secs
lola: 16037203 markings, 49013588 edges, 25180 markings/sec, 705 secs
lola: 16160647 markings, 49316498 edges, 24689 markings/sec, 710 secs
lola: 16294376 markings, 49609398 edges, 26746 markings/sec, 715 secs
lola: 16424424 markings, 49910134 edges, 26010 markings/sec, 720 secs
lola: 16552167 markings, 50212975 edges, 25549 markings/sec, 725 secs
lola: 16676143 markings, 50520605 edges, 24795 markings/sec, 730 secs
lola: 16811867 markings, 50815490 edges, 27145 markings/sec, 735 secs
lola: 16942923 markings, 51118811 edges, 26211 markings/sec, 740 secs
lola: 17072141 markings, 51425010 edges, 25844 markings/sec, 745 secs
lola: 17189802 markings, 51720719 edges, 23532 markings/sec, 750 secs
lola: 17321846 markings, 52003748 edges, 26409 markings/sec, 755 secs
lola: 17453279 markings, 52310037 edges, 26287 markings/sec, 760 secs
lola: 17584658 markings, 52618062 edges, 26276 markings/sec, 765 secs
lola: 17709885 markings, 52933044 edges, 25045 markings/sec, 770 secs
lola: 17848716 markings, 53232989 edges, 27766 markings/sec, 775 secs
lola: 17961355 markings, 53577755 edges, 22528 markings/sec, 780 secs
lola: 18070303 markings, 53932957 edges, 21790 markings/sec, 785 secs
lola: 18182953 markings, 54281793 edges, 22530 markings/sec, 790 secs
lola: 18293433 markings, 54634906 edges, 22096 markings/sec, 795 secs
lola: 18401139 markings, 54992229 edges, 21541 markings/sec, 800 secs
lola: 18513688 markings, 55340823 edges, 22510 markings/sec, 805 secs
lola: 18625227 markings, 55695207 edges, 22308 markings/sec, 810 secs
lola: 18733369 markings, 56056136 edges, 21628 markings/sec, 815 secs
lola: 18846779 markings, 56406956 edges, 22682 markings/sec, 820 secs
lola: 18959214 markings, 56762503 edges, 22487 markings/sec, 825 secs
lola: 19067959 markings, 57125841 edges, 21749 markings/sec, 830 secs
lola: 19181855 markings, 57479209 edges, 22779 markings/sec, 835 secs
lola: 19294856 markings, 57835212 edges, 22600 markings/sec, 840 secs
lola: 19395632 markings, 58210938 edges, 20155 markings/sec, 845 secs
lola: 19493919 markings, 58592200 edges, 19657 markings/sec, 850 secs
lola: 19591535 markings, 58971802 edges, 19523 markings/sec, 855 secs
lola: 19686572 markings, 59353163 edges, 19007 markings/sec, 860 secs
lola: 19792099 markings, 59718147 edges, 21105 markings/sec, 865 secs
lola: 19894811 markings, 60092005 edges, 20542 markings/sec, 870 secs
lola: 19997308 markings, 60467037 edges, 20499 markings/sec, 875 secs
lola: 20099813 markings, 60842963 edges, 20501 markings/sec, 880 secs
lola: 20203244 markings, 61216584 edges, 20686 markings/sec, 885 secs
lola: 20306243 markings, 61591876 edges, 20600 markings/sec, 890 secs
lola: 20409349 markings, 61967161 edges, 20621 markings/sec, 895 secs
lola: 20512682 markings, 62342719 edges, 20667 markings/sec, 900 secs
lola: 20613762 markings, 62712797 edges, 20216 markings/sec, 905 secs
lola: 20709431 markings, 63100205 edges, 19134 markings/sec, 910 secs
lola: 20809036 markings, 63476598 edges, 19921 markings/sec, 915 secs
lola: 20904893 markings, 63864895 edges, 19171 markings/sec, 920 secs
lola: 21004074 markings, 64245323 edges, 19836 markings/sec, 925 secs
lola: 21098638 markings, 64630211 edges, 18913 markings/sec, 930 secs
lola: 21198520 markings, 64991149 edges, 19976 markings/sec, 935 secs
lola: 21298420 markings, 65323282 edges, 19980 markings/sec, 940 secs
lola: 21397780 markings, 65671383 edges, 19872 markings/sec, 945 secs
lola: 21503538 markings, 65991107 edges, 21152 markings/sec, 950 secs
lola: 21527853 markings, 66495068 edges, 4863 markings/sec, 955 secs
lola: 21606863 markings, 66913342 edges, 15802 markings/sec, 960 secs
lola: 21705327 markings, 67289443 edges, 19693 markings/sec, 965 secs
lola: 21807371 markings, 67668451 edges, 20409 markings/sec, 970 secs
lola: 21911910 markings, 68020467 edges, 20908 markings/sec, 975 secs
lola: 22016014 markings, 68385054 edges, 20821 markings/sec, 980 secs
lola: 22117578 markings, 68726274 edges, 20313 markings/sec, 985 secs
lola: 22214069 markings, 69060762 edges, 19298 markings/sec, 990 secs
lola: 22319216 markings, 69392054 edges, 21029 markings/sec, 995 secs
lola: 22424149 markings, 69737727 edges, 20987 markings/sec, 1000 secs
lola: 22548628 markings, 70014202 edges, 24896 markings/sec, 1005 secs
lola: 22678115 markings, 70313817 edges, 25897 markings/sec, 1010 secs
lola: 22810574 markings, 70629354 edges, 26492 markings/sec, 1015 secs
lola: 22940437 markings, 70943857 edges, 25973 markings/sec, 1020 secs
lola: 23071570 markings, 71233652 edges, 26227 markings/sec, 1025 secs
lola: 23200188 markings, 71530658 edges, 25724 markings/sec, 1030 secs
lola: 23326227 markings, 71829300 edges, 25208 markings/sec, 1035 secs
lola: 23447434 markings, 72132660 edges, 24241 markings/sec, 1040 secs
lola: 23582009 markings, 72424008 edges, 26915 markings/sec, 1045 secs
lola: 23711311 markings, 72723425 edges, 25860 markings/sec, 1050 secs
lola: 23838924 markings, 73022597 edges, 25523 markings/sec, 1055 secs
lola: 23961279 markings, 73330113 edges, 24471 markings/sec, 1060 secs
lola: 24097176 markings, 73623249 edges, 27179 markings/sec, 1065 secs
lola: 24227206 markings, 73925980 edges, 26006 markings/sec, 1070 secs
lola: 24357032 markings, 74230295 edges, 25965 markings/sec, 1075 secs
lola: 24481255 markings, 74542143 edges, 24845 markings/sec, 1080 secs
lola: 24618302 markings, 74838295 edges, 27409 markings/sec, 1085 secs
lola: 24749615 markings, 75143515 edges, 26263 markings/sec, 1090 secs
lola: 24880493 markings, 75451635 edges, 26176 markings/sec, 1095 secs
lola: 25005148 markings, 75764628 edges, 24931 markings/sec, 1100 secs
lola: 25143405 markings, 76063095 edges, 27651 markings/sec, 1105 secs
lola: 25276866 markings, 76371898 edges, 26692 markings/sec, 1110 secs
lola: 25392375 markings, 76688790 edges, 23102 markings/sec, 1115 secs
lola: 25499682 markings, 77030857 edges, 21461 markings/sec, 1120 secs
lola: 25607143 markings, 77389712 edges, 21492 markings/sec, 1125 secs
lola: 25719727 markings, 77738474 edges, 22517 markings/sec, 1130 secs
lola: 25831748 markings, 78091745 edges, 22404 markings/sec, 1135 secs
lola: 25940949 markings, 78449798 edges, 21840 markings/sec, 1140 secs
lola: 26051555 markings, 78805633 edges, 22121 markings/sec, 1145 secs
lola: 26164659 markings, 79157164 edges, 22621 markings/sec, 1150 secs
lola: 26275838 markings, 79513117 edges, 22236 markings/sec, 1155 secs
lola: 26385016 markings, 79874833 edges, 21836 markings/sec, 1160 secs
lola: 26498720 markings, 80226290 edges, 22741 markings/sec, 1165 secs
lola: 26610729 markings, 80584379 edges, 22402 markings/sec, 1170 secs
lola: 26720183 markings, 80946476 edges, 21891 markings/sec, 1175 secs
lola: 26829697 markings, 81308294 edges, 21903 markings/sec, 1180 secs
lola: 26926018 markings, 81692800 edges, 19264 markings/sec, 1185 secs
lola: 27027204 markings, 82065535 edges, 20237 markings/sec, 1190 secs
lola: 27121813 markings, 82453236 edges, 18922 markings/sec, 1195 secs
lola: 27221982 markings, 82828416 edges, 20034 markings/sec, 1200 secs
lola: 27324448 markings, 83201183 edges, 20493 markings/sec, 1205 secs
lola: 27427344 markings, 83574920 edges, 20579 markings/sec, 1210 secs
lola: 27533955 markings, 83940105 edges, 21322 markings/sec, 1215 secs
lola: 27636685 markings, 84316011 edges, 20546 markings/sec, 1220 secs
lola: 27739607 markings, 84691925 edges, 20584 markings/sec, 1225 secs
lola: 27842665 markings, 85069388 edges, 20612 markings/sec, 1230 secs
lola: 27945974 markings, 85446466 edges, 20662 markings/sec, 1235 secs
lola: 28048362 markings, 85815911 edges, 20478 markings/sec, 1240 secs
lola: 28143640 markings, 86203130 edges, 19056 markings/sec, 1245 secs
lola: 28242685 markings, 86582220 edges, 19809 markings/sec, 1250 secs
lola: 28342063 markings, 86961176 edges, 19876 markings/sec, 1255 secs
lola: 28438059 markings, 87352161 edges, 19199 markings/sec, 1260 secs
lola: 28537564 markings, 87729522 edges, 19901 markings/sec, 1265 secs
lola: 28634141 markings, 88099662 edges, 19315 markings/sec, 1270 secs
lola: 28733468 markings, 88449123 edges, 19865 markings/sec, 1275 secs
lola: 28830809 markings, 88787420 edges, 19468 markings/sec, 1280 secs
lola: 28929831 markings, 89127052 edges, 19804 markings/sec, 1285 secs
lola: 28994813 markings, 89533265 edges, 12996 markings/sec, 1290 secs
lola: 29043399 markings, 90013215 edges, 9717 markings/sec, 1295 secs
lola: 29140030 markings, 90395876 edges, 19326 markings/sec, 1300 secs
lola: 29242779 markings, 90769439 edges, 20550 markings/sec, 1305 secs
lola: 29345568 markings, 91133749 edges, 20558 markings/sec, 1310 secs
lola: 29447507 markings, 91497469 edges, 20388 markings/sec, 1315 secs
lola: 29551651 markings, 91853159 edges, 20829 markings/sec, 1320 secs
lola: 29654333 markings, 92182530 edges, 20536 markings/sec, 1325 secs
lola: 29752275 markings, 92512444 edges, 19588 markings/sec, 1330 secs
lola: 29855200 markings, 92864784 edges, 20585 markings/sec, 1335 secs
lola: 29978617 markings, 93156900 edges, 24683 markings/sec, 1340 secs
lola: 30101376 markings, 93448394 edges, 24552 markings/sec, 1345 secs
lola: 30230151 markings, 93765049 edges, 25755 markings/sec, 1350 secs
lola: 30368855 markings, 94069721 edges, 27741 markings/sec, 1355 secs
lola: 30487215 markings, 94343940 edges, 23672 markings/sec, 1360 secs
lola: 30607228 markings, 94626557 edges, 24003 markings/sec, 1365 secs
lola: 30728817 markings, 94930502 edges, 24318 markings/sec, 1370 secs
lola: 30863075 markings, 95219589 edges, 26852 markings/sec, 1375 secs
lola: 30990164 markings, 95518545 edges, 25418 markings/sec, 1380 secs
lola: 31115684 markings, 95818256 edges, 25104 markings/sec, 1385 secs
lola: 31242291 markings, 96121002 edges, 25321 markings/sec, 1390 secs
lola: 31376243 markings, 96415280 edges, 26790 markings/sec, 1395 secs
lola: 31503959 markings, 96717177 edges, 25543 markings/sec, 1400 secs
lola: 31630703 markings, 97021694 edges, 25349 markings/sec, 1405 secs
lola: 31760788 markings, 97322341 edges, 26017 markings/sec, 1410 secs
lola: 31894639 markings, 97623162 edges, 26770 markings/sec, 1415 secs
lola: 32023804 markings, 97928945 edges, 25833 markings/sec, 1420 secs
lola: 32152073 markings, 98236622 edges, 25654 markings/sec, 1425 secs
lola: 32281970 markings, 98541291 edges, 25979 markings/sec, 1430 secs
lola: 32417668 markings, 98842563 edges, 27140 markings/sec, 1435 secs
lola: 32548748 markings, 99151307 edges, 26216 markings/sec, 1440 secs
lola: 32679220 markings, 99461314 edges, 26094 markings/sec, 1445 secs
lola: 32806964 markings, 99774423 edges, 25549 markings/sec, 1450 secs
lola: 32918698 markings, 100120669 edges, 22347 markings/sec, 1455 secs
lola: 33030969 markings, 100468432 edges, 22454 markings/sec, 1460 secs
lola: 33141799 markings, 100821994 edges, 22166 markings/sec, 1465 secs
lola: 33249622 markings, 101180413 edges, 21565 markings/sec, 1470 secs
lola: 33362171 markings, 101529309 edges, 22510 markings/sec, 1475 secs
lola: 33473762 markings, 101882448 edges, 22318 markings/sec, 1480 secs
lola: 33581993 markings, 102244072 edges, 21646 markings/sec, 1485 secs
lola: 33695194 markings, 102595130 edges, 22640 markings/sec, 1490 secs
lola: 33807942 markings, 102950302 edges, 22550 markings/sec, 1495 secs
lola: 33917688 markings, 103310448 edges, 21949 markings/sec, 1500 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: unknown 1 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown 1
lola:
preliminary result: unknown 1 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown 1
lola: memory consumption: 5299984 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 1 unknown 1 1 1 1 1 1 1 unknown 1
lola: memory consumption: 5299984 KB
lola: time consumption: 3571 seconds
BK_STOP 1526657383264
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-10b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-10b.tgz
mv FlexibleBarrier-PT-10b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-10b, 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-blw7-152649998100149"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;