About the Execution of 2018-Gold for FlexibleBarrier-PT-14b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1945.190 | 3570357.00 | 3629801.00 | 377.60 | 1 1 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
Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246565700076.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-14b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565700076
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 892K
-rw-r--r-- 1 mcc users 3.9K Feb 11 00:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 11 00:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 22:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 6 22:22 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:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 08:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 01:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 01:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 726K 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-14b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-14b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552863337009
info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-14b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-14b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-14b @ 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: 5763/65536 symbol table entries, 697 collisions
lola: preprocessing...
lola: Size of bit vector: 2678
lola: finding significant places
lola: 2678 places, 3085 transitions, 2662 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3115 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-14b-UpperBounds.task
lola: MAX(p2607) : MAX(p1730) : MAX(p1681) : MAX(p1107) : MAX(p698) : MAX(p849) : MAX(p639) : MAX(p2237) : MAX(p224) : MAX(p419) : MAX(p51) : MAX(p1497) : MAX(p1670) : MAX(p1739) : MAX(p735) : MAX(p2257)
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(p2607)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2607)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 59 markings, 58 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1730)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1730)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1681)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1681)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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
FORMULA FlexibleBarrier-PT-14b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1107)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1107)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 24 markings, 23 edges
FORMULA FlexibleBarrier-PT-14b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p698)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p698)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 36 markings, 35 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p849)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p849)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 109 markings, 108 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p639)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p639)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 34 markings, 33 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2237)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2237)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 43 markings, 42 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p224)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p224)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 49696 markings, 98221 edges, 9939 markings/sec, 0 secs
lola: 109893 markings, 217368 edges, 12039 markings/sec, 5 secs
lola: 164365 markings, 325769 edges, 10894 markings/sec, 10 secs
lola: 210315 markings, 468365 edges, 9190 markings/sec, 15 secs
lola: 251663 markings, 606913 edges, 8270 markings/sec, 20 secs
lola: 287126 markings, 755683 edges, 7093 markings/sec, 25 secs
lola: 327367 markings, 913015 edges, 8048 markings/sec, 30 secs
lola: 369000 markings, 1050882 edges, 8327 markings/sec, 35 secs
lola: 423172 markings, 1158773 edges, 10834 markings/sec, 40 secs
lola: 477696 markings, 1266837 edges, 10905 markings/sec, 45 secs
lola: 528371 markings, 1383175 edges, 10135 markings/sec, 50 secs
lola: 573134 markings, 1512107 edges, 8953 markings/sec, 55 secs
lola: 613588 markings, 1652310 edges, 8091 markings/sec, 60 secs
lola: 650302 markings, 1802349 edges, 7343 markings/sec, 65 secs
lola: 686666 markings, 1945187 edges, 7273 markings/sec, 70 secs
lola: 731249 markings, 2088458 edges, 8917 markings/sec, 75 secs
lola: 793416 markings, 2211822 edges, 12433 markings/sec, 80 secs
lola: 855907 markings, 2335914 edges, 12498 markings/sec, 85 secs
lola: 910996 markings, 2473164 edges, 11018 markings/sec, 90 secs
lola: 957280 markings, 2625912 edges, 9257 markings/sec, 95 secs
lola: 999440 markings, 2793886 edges, 8432 markings/sec, 100 secs
lola: 1041012 markings, 2957755 edges, 8314 markings/sec, 105 secs
lola: 1086940 markings, 3112393 edges, 9186 markings/sec, 110 secs
lola: 1148043 markings, 3234973 edges, 12221 markings/sec, 115 secs
lola: 1209842 markings, 3356972 edges, 12360 markings/sec, 120 secs
lola: 1264351 markings, 3484558 edges, 10902 markings/sec, 125 secs
lola: 1308704 markings, 3631360 edges, 8871 markings/sec, 130 secs
lola: 1351205 markings, 3796680 edges, 8500 markings/sec, 135 secs
lola: 1392871 markings, 3961218 edges, 8333 markings/sec, 140 secs
lola: 1435568 markings, 4121197 edges, 8539 markings/sec, 145 secs
lola: 1497199 markings, 4245659 edges, 12326 markings/sec, 150 secs
lola: 1559300 markings, 4368969 edges, 12420 markings/sec, 155 secs
lola: 1617669 markings, 4500523 edges, 11674 markings/sec, 160 secs
lola: 1664396 markings, 4650775 edges, 9345 markings/sec, 165 secs
lola: 1707478 markings, 4816102 edges, 8616 markings/sec, 170 secs
lola: 1748605 markings, 4981490 edges, 8225 markings/sec, 175 secs
lola: 1789052 markings, 5135560 edges, 8089 markings/sec, 180 secs
lola: 1842309 markings, 5249111 edges, 10651 markings/sec, 185 secs
lola: 1896840 markings, 5356933 edges, 10906 markings/sec, 190 secs
lola: 1952648 markings, 5470991 edges, 11162 markings/sec, 195 secs
lola: 1998468 markings, 5598748 edges, 9164 markings/sec, 200 secs
lola: 2040403 markings, 5737705 edges, 8387 markings/sec, 205 secs
lola: 2076363 markings, 5885836 edges, 7192 markings/sec, 210 secs
lola: 2115139 markings, 6039008 edges, 7755 markings/sec, 215 secs
lola: 2152241 markings, 6178561 edges, 7420 markings/sec, 220 secs
lola: 2209156 markings, 6295732 edges, 11383 markings/sec, 225 secs
lola: 2265185 markings, 6406990 edges, 11206 markings/sec, 230 secs
lola: 2320969 markings, 6526278 edges, 11157 markings/sec, 235 secs
lola: 2366003 markings, 6657871 edges, 9007 markings/sec, 240 secs
lola: 2407069 markings, 6793146 edges, 8213 markings/sec, 245 secs
lola: 2442372 markings, 6942235 edges, 7061 markings/sec, 250 secs
lola: 2478939 markings, 7086252 edges, 7313 markings/sec, 255 secs
lola: 2520585 markings, 7232315 edges, 8329 markings/sec, 260 secs
lola: 2574947 markings, 7340254 edges, 10872 markings/sec, 265 secs
lola: 2631862 markings, 7453273 edges, 11383 markings/sec, 270 secs
lola: 2684545 markings, 7573624 edges, 10537 markings/sec, 275 secs
lola: 2728845 markings, 7701247 edges, 8860 markings/sec, 280 secs
lola: 2769704 markings, 7842315 edges, 8172 markings/sec, 285 secs
lola: 2805569 markings, 7989298 edges, 7173 markings/sec, 290 secs
lola: 2842148 markings, 8132743 edges, 7316 markings/sec, 295 secs
lola: 2883032 markings, 8270153 edges, 8177 markings/sec, 300 secs
lola: 2941258 markings, 8385806 edges, 11645 markings/sec, 305 secs
lola: 2995781 markings, 8493553 edges, 10905 markings/sec, 310 secs
lola: 3047084 markings, 8611575 edges, 10261 markings/sec, 315 secs
lola: 3090190 markings, 8739562 edges, 8621 markings/sec, 320 secs
lola: 3131103 markings, 8882212 edges, 8183 markings/sec, 325 secs
lola: 3168197 markings, 9033121 edges, 7419 markings/sec, 330 secs
lola: 3206885 markings, 9182648 edges, 7738 markings/sec, 335 secs
lola: 3249193 markings, 9315610 edges, 8462 markings/sec, 340 secs
lola: 3305021 markings, 9426722 edges, 11166 markings/sec, 345 secs
lola: 3359439 markings, 9534505 edges, 10884 markings/sec, 350 secs
lola: 3410205 markings, 9650934 edges, 10153 markings/sec, 355 secs
lola: 3453277 markings, 9783412 edges, 8614 markings/sec, 360 secs
lola: 3494106 markings, 9936401 edges, 8166 markings/sec, 365 secs
lola: 3531183 markings, 10079167 edges, 7415 markings/sec, 370 secs
lola: 3567035 markings, 10227284 edges, 7170 markings/sec, 375 secs
lola: 3610384 markings, 10350839 edges, 8670 markings/sec, 380 secs
lola: 3665373 markings, 10459547 edges, 10998 markings/sec, 385 secs
lola: 3725788 markings, 10580140 edges, 12083 markings/sec, 390 secs
lola: 3781366 markings, 10711927 edges, 11116 markings/sec, 395 secs
lola: 3827135 markings, 10863272 edges, 9154 markings/sec, 400 secs
lola: 3868930 markings, 11026856 edges, 8359 markings/sec, 405 secs
lola: 3909649 markings, 11188724 edges, 8144 markings/sec, 410 secs
lola: 3951479 markings, 11344599 edges, 8366 markings/sec, 415 secs
lola: 4011846 markings, 11466179 edges, 12073 markings/sec, 420 secs
lola: 4072205 markings, 11586863 edges, 12072 markings/sec, 425 secs
lola: 4129351 markings, 11715491 edges, 11429 markings/sec, 430 secs
lola: 4176799 markings, 11862900 edges, 9490 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 301580 KB
lola: time consumption: 451 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p419)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p419)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p51)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 35 markings, 34 edges
FORMULA FlexibleBarrier-PT-14b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1497)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1497)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 29 markings, 28 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1670)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1670)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 35 markings, 34 edges
lola:
FORMULA FlexibleBarrier-PT-14b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 13 will run for 1038 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1739)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1739)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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-14b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1558 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p735)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p735)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 29 markings, 28 edges
FORMULA FlexibleBarrier-PT-14b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 3115 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2257)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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
lola: ========================================
FORMULA FlexibleBarrier-PT-14b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p224)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p224)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-14b-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: 48976 markings, 97218 edges, 9795 markings/sec, 0 secs
lola: 110206 markings, 217994 edges, 12246 markings/sec, 5 secs
lola: 169961 markings, 339620 edges, 11951 markings/sec, 10 secs
lola: 216670 markings, 488985 edges, 9342 markings/sec, 15 secs
lola: 259713 markings, 649297 edges, 8609 markings/sec, 20 secs
lola: 300953 markings, 809615 edges, 8248 markings/sec, 25 secs
lola: 340376 markings, 973847 edges, 7885 markings/sec, 30 secs
lola: 394405 markings, 1102197 edges, 10806 markings/sec, 35 secs
lola: 450303 markings, 1213133 edges, 11180 markings/sec, 40 secs
lola: 505360 markings, 1321826 edges, 11011 markings/sec, 45 secs
lola: 552326 markings, 1443398 edges, 9393 markings/sec, 50 secs
lola: 593040 markings, 1578107 edges, 8143 markings/sec, 55 secs
lola: 629977 markings, 1724189 edges, 7387 markings/sec, 60 secs
lola: 666045 markings, 1868343 edges, 7214 markings/sec, 65 secs
lola: 705680 markings, 2024534 edges, 7927 markings/sec, 70 secs
lola: 762078 markings, 2149383 edges, 11280 markings/sec, 75 secs
lola: 822215 markings, 2269013 edges, 12027 markings/sec, 80 secs
lola: 880560 markings, 2392891 edges, 11669 markings/sec, 85 secs
lola: 929782 markings, 2534941 edges, 9844 markings/sec, 90 secs
lola: 974247 markings, 2688129 edges, 8893 markings/sec, 95 secs
lola: 1014106 markings, 2851275 edges, 7972 markings/sec, 100 secs
lola: 1053224 markings, 3016257 edges, 7824 markings/sec, 105 secs
lola: 1104375 markings, 3147465 edges, 10230 markings/sec, 110 secs
lola: 1164747 markings, 3267333 edges, 12074 markings/sec, 115 secs
lola: 1224659 markings, 3386522 edges, 11982 markings/sec, 120 secs
lola: 1275659 markings, 3522339 edges, 10200 markings/sec, 125 secs
lola: 1320795 markings, 3671015 edges, 9027 markings/sec, 130 secs
lola: 1361265 markings, 3836389 edges, 8094 markings/sec, 135 secs
lola: 1402272 markings, 3995667 edges, 8201 markings/sec, 140 secs
lola: 1444722 markings, 4142180 edges, 8490 markings/sec, 145 secs
lola: 1504635 markings, 4260428 edges, 11983 markings/sec, 150 secs
lola: 1565097 markings, 4380166 edges, 12092 markings/sec, 155 secs
lola: 1621157 markings, 4508278 edges, 11212 markings/sec, 160 secs
lola: 1666709 markings, 4658526 edges, 9110 markings/sec, 165 secs
lola: 1708484 markings, 4820683 edges, 8355 markings/sec, 170 secs
lola: 1748803 markings, 4982120 edges, 8064 markings/sec, 175 secs
lola: 1789675 markings, 5138156 edges, 8174 markings/sec, 180 secs
lola: 1846820 markings, 5258211 edges, 11429 markings/sec, 185 secs
lola: 1906654 markings, 5376895 edges, 11967 markings/sec, 190 secs
lola: 1963937 markings, 5501369 edges, 11457 markings/sec, 195 secs
lola: 2012404 markings, 5645434 edges, 9693 markings/sec, 200 secs
lola: 2055729 markings, 5802974 edges, 8665 markings/sec, 205 secs
lola: 2096544 markings, 5963690 edges, 8163 markings/sec, 210 secs
lola: 2135839 markings, 6128175 edges, 7859 markings/sec, 215 secs
lola: 2189434 markings, 6256576 edges, 10719 markings/sec, 220 secs
lola: 2249622 markings, 6375966 edges, 12038 markings/sec, 225 secs
lola: 2309583 markings, 6495304 edges, 11992 markings/sec, 230 secs
lola: 2358263 markings, 6632391 edges, 9736 markings/sec, 235 secs
lola: 2402791 markings, 6779562 edges, 8906 markings/sec, 240 secs
lola: 2442475 markings, 6942458 edges, 7937 markings/sec, 245 secs
lola: 2480825 markings, 7092355 edges, 7670 markings/sec, 250 secs
lola: 2519236 markings, 7229626 edges, 7682 markings/sec, 255 secs
lola: 2573225 markings, 7336377 edges, 10798 markings/sec, 260 secs
lola: 2630840 markings, 7451239 edges, 11523 markings/sec, 265 secs
lola: 2687517 markings, 7579266 edges, 11335 markings/sec, 270 secs
lola: 2735163 markings, 7721704 edges, 9529 markings/sec, 275 secs
lola: 2776763 markings, 7877062 edges, 8320 markings/sec, 280 secs
lola: 2816678 markings, 8032996 edges, 7983 markings/sec, 285 secs
lola: 2854959 markings, 8192883 edges, 7656 markings/sec, 290 secs
lola: 2907877 markings, 8319528 edges, 10584 markings/sec, 295 secs
lola: 2967891 markings, 8438086 edges, 12003 markings/sec, 300 secs
lola: 3026801 markings, 8555634 edges, 11782 markings/sec, 305 secs
lola: 3075783 markings, 8691777 edges, 9796 markings/sec, 310 secs
lola: 3119930 markings, 8837539 edges, 8829 markings/sec, 315 secs
lola: 3158549 markings, 8996509 edges, 7724 markings/sec, 320 secs
lola: 3198174 markings, 9151370 edges, 7925 markings/sec, 325 secs
lola: 3241062 markings, 9299782 edges, 8578 markings/sec, 330 secs
lola: 3301301 markings, 9418915 edges, 12048 markings/sec, 335 secs
lola: 3360650 markings, 9537615 edges, 11870 markings/sec, 340 secs
lola: 3417057 markings, 9664551 edges, 11281 markings/sec, 345 secs
lola: 3462247 markings, 9813088 edges, 9038 markings/sec, 350 secs
lola: 3503784 markings, 9973233 edges, 8307 markings/sec, 355 secs
lola: 3541612 markings, 10125388 edges, 7566 markings/sec, 360 secs
lola: 3577330 markings, 10268728 edges, 7144 markings/sec, 365 secs
lola: 3626327 markings, 10382491 edges, 9799 markings/sec, 370 secs
lola: 3681185 markings, 10491425 edges, 10972 markings/sec, 375 secs
lola: 3739884 markings, 10608108 edges, 11740 markings/sec, 380 secs
lola: 3790323 markings, 10741239 edges, 10088 markings/sec, 385 secs
lola: 3834625 markings, 10887846 edges, 8860 markings/sec, 390 secs
lola: 3874195 markings, 11047430 edges, 7914 markings/sec, 395 secs
lola: 3913634 markings, 11204288 edges, 7888 markings/sec, 400 secs
lola: 3955227 markings, 11353559 edges, 8319 markings/sec, 405 secs
lola: 4013431 markings, 11469332 edges, 11641 markings/sec, 410 secs
lola: 4072432 markings, 11587286 edges, 11800 markings/sec, 415 secs
lola: 4129000 markings, 11714617 edges, 11314 markings/sec, 420 secs
lola: 4175704 markings, 11858979 edges, 9341 markings/sec, 425 secs
lola: 4218014 markings, 12019607 edges, 8462 markings/sec, 430 secs
lola: 4258622 markings, 12179997 edges, 8122 markings/sec, 435 secs
lola: 4298627 markings, 12340679 edges, 8001 markings/sec, 440 secs
lola: 4354103 markings, 12464403 edges, 11095 markings/sec, 445 secs
lola: 4414301 markings, 12583509 edges, 12040 markings/sec, 450 secs
lola: 4472374 markings, 12707254 edges, 11615 markings/sec, 455 secs
lola: 4522221 markings, 12848562 edges, 9969 markings/sec, 460 secs
lola: 4566755 markings, 13002236 edges, 8907 markings/sec, 465 secs
lola: 4606894 markings, 13165491 edges, 8028 markings/sec, 470 secs
lola: 4646112 markings, 13330872 edges, 7844 markings/sec, 475 secs
lola: 4693269 markings, 13456165 edges, 9431 markings/sec, 480 secs
lola: 4747695 markings, 13563867 edges, 10885 markings/sec, 485 secs
lola: 4801759 markings, 13671057 edges, 10813 markings/sec, 490 secs
lola: 4852004 markings, 13786475 edges, 10049 markings/sec, 495 secs
lola: 4893224 markings, 13918706 edges, 8244 markings/sec, 500 secs
lola: 4931285 markings, 14061563 edges, 7612 markings/sec, 505 secs
lola: 4968874 markings, 14207247 edges, 7518 markings/sec, 510 secs
lola: 5004489 markings, 14352933 edges, 7123 markings/sec, 515 secs
lola: 5050244 markings, 14482646 edges, 9151 markings/sec, 520 secs
lola: 5110663 markings, 14602590 edges, 12084 markings/sec, 525 secs
lola: 5170733 markings, 14722152 edges, 12014 markings/sec, 530 secs
lola: 5222901 markings, 14852534 edges, 10434 markings/sec, 535 secs
lola: 5267381 markings, 14999506 edges, 8896 markings/sec, 540 secs
lola: 5308481 markings, 15162255 edges, 8220 markings/sec, 545 secs
lola: 5348665 markings, 15322684 edges, 8037 markings/sec, 550 secs
lola: 5389197 markings, 15472538 edges, 8106 markings/sec, 555 secs
lola: 5447443 markings, 15589727 edges, 11649 markings/sec, 560 secs
lola: 5506458 markings, 15706717 edges, 11803 markings/sec, 565 secs
lola: 5561813 markings, 15831814 edges, 11071 markings/sec, 570 secs
lola: 5609595 markings, 15974335 edges, 9556 markings/sec, 575 secs
lola: 5652108 markings, 16133965 edges, 8503 markings/sec, 580 secs
lola: 5693398 markings, 16294072 edges, 8258 markings/sec, 585 secs
lola: 5732701 markings, 16456770 edges, 7861 markings/sec, 590 secs
lola: 5787974 markings, 16583879 edges, 11055 markings/sec, 595 secs
lola: 5847826 markings, 16703282 edges, 11970 markings/sec, 600 secs
lola: 5906648 markings, 16824430 edges, 11764 markings/sec, 605 secs
lola: 5956592 markings, 16965033 edges, 9989 markings/sec, 610 secs
lola: 6001777 markings, 17117672 edges, 9037 markings/sec, 615 secs
lola: 6041582 markings, 17281572 edges, 7961 markings/sec, 620 secs
lola: 6082309 markings, 17440648 edges, 8145 markings/sec, 625 secs
lola: 6130051 markings, 17582055 edges, 9548 markings/sec, 630 secs
lola: 6190340 markings, 17701052 edges, 12058 markings/sec, 635 secs
lola: 6250654 markings, 17820716 edges, 12063 markings/sec, 640 secs
lola: 6303376 markings, 17955508 edges, 10544 markings/sec, 645 secs
lola: 6348824 markings, 18105651 edges, 9090 markings/sec, 650 secs
lola: 6389603 markings, 18269393 edges, 8156 markings/sec, 655 secs
lola: 6430250 markings, 18430112 edges, 8129 markings/sec, 660 secs
lola: 6471413 markings, 18577348 edges, 8233 markings/sec, 665 secs
lola: 6530599 markings, 18695013 edges, 11837 markings/sec, 670 secs
lola: 6590713 markings, 18814227 edges, 12023 markings/sec, 675 secs
lola: 6647225 markings, 18941707 edges, 11302 markings/sec, 680 secs
lola: 6691890 markings, 19083771 edges, 8933 markings/sec, 685 secs
lola: 6729814 markings, 19226680 edges, 7585 markings/sec, 690 secs
lola: 6766299 markings, 19369062 edges, 7297 markings/sec, 695 secs
lola: 6803306 markings, 19525879 edges, 7401 markings/sec, 700 secs
lola: 6848674 markings, 19645063 edges, 9074 markings/sec, 705 secs
lola: 6902868 markings, 19752257 edges, 10839 markings/sec, 710 secs
lola: 6958283 markings, 19862306 edges, 11083 markings/sec, 715 secs
lola: 7013673 markings, 19990999 edges, 11078 markings/sec, 720 secs
lola: 7058941 markings, 20140847 edges, 9054 markings/sec, 725 secs
lola: 7100542 markings, 20303382 edges, 8320 markings/sec, 730 secs
lola: 7140282 markings, 20461553 edges, 7948 markings/sec, 735 secs
lola: 7180045 markings, 20613837 edges, 7953 markings/sec, 740 secs
lola: 7236323 markings, 20733378 edges, 11256 markings/sec, 745 secs
lola: 7295380 markings, 20849823 edges, 11811 markings/sec, 750 secs
lola: 7351640 markings, 20976722 edges, 11252 markings/sec, 755 secs
lola: 7401054 markings, 21115458 edges, 9883 markings/sec, 760 secs
lola: 7445110 markings, 21269805 edges, 8811 markings/sec, 765 secs
lola: 7485213 markings, 21433034 edges, 8021 markings/sec, 770 secs
lola: 7524249 markings, 21598044 edges, 7807 markings/sec, 775 secs
lola: 7572918 markings, 21734857 edges, 9734 markings/sec, 780 secs
lola: 7623615 markings, 21871618 edges, 10139 markings/sec, 785 secs
lola: 7675440 markings, 22008636 edges, 10365 markings/sec, 790 secs
lola: 7725739 markings, 22147942 edges, 10060 markings/sec, 795 secs
lola: 7777839 markings, 22283421 edges, 10420 markings/sec, 800 secs
lola: 7828535 markings, 22424757 edges, 10139 markings/sec, 805 secs
lola: 7868174 markings, 22587617 edges, 7928 markings/sec, 810 secs
lola: 7908248 markings, 22754599 edges, 8015 markings/sec, 815 secs
lola: 7944091 markings, 22932820 edges, 7169 markings/sec, 820 secs
lola: 7978248 markings, 23113298 edges, 6831 markings/sec, 825 secs
lola: 8008386 markings, 23302290 edges, 6028 markings/sec, 830 secs
lola: 8052978 markings, 23445423 edges, 8918 markings/sec, 835 secs
lola: 8102286 markings, 23579801 edges, 9862 markings/sec, 840 secs
lola: 8152667 markings, 23712478 edges, 10076 markings/sec, 845 secs
lola: 8201729 markings, 23847912 edges, 9812 markings/sec, 850 secs
lola: 8252590 markings, 23980345 edges, 10172 markings/sec, 855 secs
lola: 8302293 markings, 24117931 edges, 9941 markings/sec, 860 secs
lola: 8344397 markings, 24274307 edges, 8421 markings/sec, 865 secs
lola: 8382789 markings, 24435270 edges, 7678 markings/sec, 870 secs
lola: 8419472 markings, 24603281 edges, 7337 markings/sec, 875 secs
lola: 8451413 markings, 24781375 edges, 6388 markings/sec, 880 secs
lola: 8481568 markings, 24964789 edges, 6031 markings/sec, 885 secs
lola: 8519496 markings, 25123317 edges, 7586 markings/sec, 890 secs
lola: 8578178 markings, 25239462 edges, 11736 markings/sec, 895 secs
lola: 8636532 markings, 25355384 edges, 11671 markings/sec, 900 secs
lola: 8691517 markings, 25480161 edges, 10997 markings/sec, 905 secs
lola: 8738121 markings, 25620023 edges, 9321 markings/sec, 910 secs
lola: 8779591 markings, 25774833 edges, 8294 markings/sec, 915 secs
lola: 8820490 markings, 25933746 edges, 8180 markings/sec, 920 secs
lola: 8859642 markings, 26096951 edges, 7830 markings/sec, 925 secs
lola: 8913762 markings, 26224537 edges, 10824 markings/sec, 930 secs
lola: 8973461 markings, 26342550 edges, 11940 markings/sec, 935 secs
lola: 9033086 markings, 26462824 edges, 11925 markings/sec, 940 secs
lola: 9082316 markings, 26601556 edges, 9846 markings/sec, 945 secs
lola: 9126584 markings, 26747658 edges, 8854 markings/sec, 950 secs
lola: 9165006 markings, 26908513 edges, 7684 markings/sec, 955 secs
lola: 9205365 markings, 27065902 edges, 8072 markings/sec, 960 secs
lola: 9247515 markings, 27218484 edges, 8430 markings/sec, 965 secs
lola: 9292135 markings, 27366137 edges, 8924 markings/sec, 970 secs
lola: 9330699 markings, 27523807 edges, 7713 markings/sec, 975 secs
lola: 9367594 markings, 27683939 edges, 7379 markings/sec, 980 secs
lola: 9406782 markings, 27840842 edges, 7838 markings/sec, 985 secs
lola: 9451289 markings, 27988261 edges, 8901 markings/sec, 990 secs
lola: 9489790 markings, 28156279 edges, 7700 markings/sec, 995 secs
lola: 9529556 markings, 28317654 edges, 7953 markings/sec, 1000 secs
lola: 9570413 markings, 28477102 edges, 8171 markings/sec, 1005 secs
lola: 9613931 markings, 28631307 edges, 8704 markings/sec, 1010 secs
lola: 9651940 markings, 28797156 edges, 7602 markings/sec, 1015 secs
lola: 9689245 markings, 28963170 edges, 7461 markings/sec, 1020 secs
lola: 9733629 markings, 29112176 edges, 8877 markings/sec, 1025 secs
lola: 9774494 markings, 29274131 edges, 8173 markings/sec, 1030 secs
lola: 9813309 markings, 29437552 edges, 7763 markings/sec, 1035 secs
lola: 9851850 markings, 29597938 edges, 7708 markings/sec, 1040 secs
lola: 9896907 markings, 29746494 edges, 9011 markings/sec, 1045 secs
lola: 9935955 markings, 29911562 edges, 7810 markings/sec, 1050 secs
lola: 9974471 markings, 30069892 edges, 7703 markings/sec, 1055 secs
lola: 10014335 markings, 30229860 edges, 7973 markings/sec, 1060 secs
lola: 10059522 markings, 30379725 edges, 9037 markings/sec, 1065 secs
lola: 10097336 markings, 30548193 edges, 7563 markings/sec, 1070 secs
lola: 10136582 markings, 30710728 edges, 7849 markings/sec, 1075 secs
lola: 10178444 markings, 30867554 edges, 8372 markings/sec, 1080 secs
lola: 10221119 markings, 31024184 edges, 8535 markings/sec, 1085 secs
lola: 10259646 markings, 31188731 edges, 7705 markings/sec, 1090 secs
lola: 10297023 markings, 31355361 edges, 7475 markings/sec, 1095 secs
lola: 10342217 markings, 31504226 edges, 9039 markings/sec, 1100 secs
lola: 10381847 markings, 31664302 edges, 7926 markings/sec, 1105 secs
lola: 10420229 markings, 31825741 edges, 7676 markings/sec, 1110 secs
lola: 10459547 markings, 31987436 edges, 7864 markings/sec, 1115 secs
lola: 10504810 markings, 32137054 edges, 9053 markings/sec, 1120 secs
lola: 10543754 markings, 32302811 edges, 7789 markings/sec, 1125 secs
lola: 10582592 markings, 32464355 edges, 7768 markings/sec, 1130 secs
lola: 10623238 markings, 32623872 edges, 8129 markings/sec, 1135 secs
lola: 10667744 markings, 32776780 edges, 8901 markings/sec, 1140 secs
lola: 10706202 markings, 32944054 edges, 7692 markings/sec, 1145 secs
lola: 10744080 markings, 33111744 edges, 7576 markings/sec, 1150 secs
lola: 10787635 markings, 33262366 edges, 8711 markings/sec, 1155 secs
lola: 10828693 markings, 33421567 edges, 8212 markings/sec, 1160 secs
lola: 10867996 markings, 33583043 edges, 7861 markings/sec, 1165 secs
lola: 10905752 markings, 33747847 edges, 7551 markings/sec, 1170 secs
lola: 10950912 markings, 33897349 edges, 9032 markings/sec, 1175 secs
lola: 10991062 markings, 34062377 edges, 8030 markings/sec, 1180 secs
lola: 11030271 markings, 34224625 edges, 7842 markings/sec, 1185 secs
lola: 11069768 markings, 34385263 edges, 7899 markings/sec, 1190 secs
lola: 11115043 markings, 34534980 edges, 9055 markings/sec, 1195 secs
lola: 11153483 markings, 34702726 edges, 7688 markings/sec, 1200 secs
lola: 11193082 markings, 34862896 edges, 7920 markings/sec, 1205 secs
lola: 11233837 markings, 35022794 edges, 8151 markings/sec, 1210 secs
lola: 11277568 markings, 35177475 edges, 8746 markings/sec, 1215 secs
lola: 11315317 markings, 35342532 edges, 7550 markings/sec, 1220 secs
lola: 11352200 markings, 35505921 edges, 7377 markings/sec, 1225 secs
lola: 11395545 markings, 35652421 edges, 8669 markings/sec, 1230 secs
lola: 11436526 markings, 35813730 edges, 8196 markings/sec, 1235 secs
lola: 11475487 markings, 35977492 edges, 7792 markings/sec, 1240 secs
lola: 11514046 markings, 36139283 edges, 7712 markings/sec, 1245 secs
lola: 11558904 markings, 36287936 edges, 8972 markings/sec, 1250 secs
lola: 11598509 markings, 36452891 edges, 7921 markings/sec, 1255 secs
lola: 11637877 markings, 36615059 edges, 7874 markings/sec, 1260 secs
lola: 11677804 markings, 36775677 edges, 7985 markings/sec, 1265 secs
lola: 11722505 markings, 36923612 edges, 8940 markings/sec, 1270 secs
lola: 11760078 markings, 37089955 edges, 7515 markings/sec, 1275 secs
lola: 11795167 markings, 37234801 edges, 7018 markings/sec, 1280 secs
lola: 11831400 markings, 37378702 edges, 7247 markings/sec, 1285 secs
lola: 11872222 markings, 37513782 edges, 8164 markings/sec, 1290 secs
lola: 11910750 markings, 37683431 edges, 7706 markings/sec, 1295 secs
lola: 11951097 markings, 37844217 edges, 8069 markings/sec, 1300 secs
lola: 11992049 markings, 38005230 edges, 8190 markings/sec, 1305 secs
lola: 12035388 markings, 38162012 edges, 8668 markings/sec, 1310 secs
lola: 12074111 markings, 38327736 edges, 7745 markings/sec, 1315 secs
lola: 12111716 markings, 38496127 edges, 7521 markings/sec, 1320 secs
lola: 12157021 markings, 38645427 edges, 9061 markings/sec, 1325 secs
lola: 12197870 markings, 38810641 edges, 8170 markings/sec, 1330 secs
lola: 12236975 markings, 38974718 edges, 7821 markings/sec, 1335 secs
lola: 12276702 markings, 39136498 edges, 7945 markings/sec, 1340 secs
lola: 12320586 markings, 39281498 edges, 8777 markings/sec, 1345 secs
lola: 12359814 markings, 39449292 edges, 7846 markings/sec, 1350 secs
lola: 12399203 markings, 39611952 edges, 7878 markings/sec, 1355 secs
lola: 12436711 markings, 39778717 edges, 7502 markings/sec, 1360 secs
lola: 12475718 markings, 39941383 edges, 7801 markings/sec, 1365 secs
lola: 12514210 markings, 40110643 edges, 7698 markings/sec, 1370 secs
lola: 12547261 markings, 40292607 edges, 6610 markings/sec, 1375 secs
lola: 12578564 markings, 40477929 edges, 6261 markings/sec, 1380 secs
lola: 12612416 markings, 40647725 edges, 6770 markings/sec, 1385 secs
lola: 12650365 markings, 40804567 edges, 7590 markings/sec, 1390 secs
lola: 12689216 markings, 40969720 edges, 7770 markings/sec, 1395 secs
lola: 12723147 markings, 41149320 edges, 6786 markings/sec, 1400 secs
lola: 12756888 markings, 41328014 edges, 6748 markings/sec, 1405 secs
lola: 12789941 markings, 41510009 edges, 6611 markings/sec, 1410 secs
lola: 12835108 markings, 41659484 edges, 9033 markings/sec, 1415 secs
lola: 12873899 markings, 41827276 edges, 7758 markings/sec, 1420 secs
lola: 12913387 markings, 41988920 edges, 7898 markings/sec, 1425 secs
lola: 12954481 markings, 42148925 edges, 8219 markings/sec, 1430 secs
lola: 12998764 markings, 42304194 edges, 8857 markings/sec, 1435 secs
lola: 13037293 markings, 42471942 edges, 7706 markings/sec, 1440 secs
lola: 13074895 markings, 42639302 edges, 7520 markings/sec, 1445 secs
lola: 13110403 markings, 42814393 edges, 7102 markings/sec, 1450 secs
lola: 13143739 markings, 42992135 edges, 6667 markings/sec, 1455 secs
lola: 13177188 markings, 43154810 edges, 6690 markings/sec, 1460 secs
lola: 13209552 markings, 43325358 edges, 6473 markings/sec, 1465 secs
lola: 13243301 markings, 43487892 edges, 6750 markings/sec, 1470 secs
lola: 13275512 markings, 43658773 edges, 6442 markings/sec, 1475 secs
lola: 13309009 markings, 43818077 edges, 6699 markings/sec, 1480 secs
lola: 13340168 markings, 43985103 edges, 6232 markings/sec, 1485 secs
lola: 13373439 markings, 44143290 edges, 6654 markings/sec, 1490 secs
lola: 13405303 markings, 44314568 edges, 6373 markings/sec, 1495 secs
lola: 13438128 markings, 44484532 edges, 6565 markings/sec, 1500 secs
lola: 13471550 markings, 44648934 edges, 6684 markings/sec, 1505 secs
lola: 13503788 markings, 44821216 edges, 6448 markings/sec, 1510 secs
lola: 13537437 markings, 44985867 edges, 6730 markings/sec, 1515 secs
lola: 13570260 markings, 45157899 edges, 6565 markings/sec, 1520 secs
lola: 13604352 markings, 45322553 edges, 6818 markings/sec, 1525 secs
lola: 13636983 markings, 45495487 edges, 6526 markings/sec, 1530 secs
lola: 13671762 markings, 45659583 edges, 6956 markings/sec, 1535 secs
lola: 13704096 markings, 45833475 edges, 6467 markings/sec, 1540 secs
lola: 13737481 markings, 46005069 edges, 6677 markings/sec, 1545 secs
lola: 13771156 markings, 46172102 edges, 6735 markings/sec, 1550 secs
lola: 13803933 markings, 46346448 edges, 6555 markings/sec, 1555 secs
lola: 13838068 markings, 46514171 edges, 6827 markings/sec, 1560 secs
lola: 13870706 markings, 46685013 edges, 6528 markings/sec, 1565 secs
lola: 13904233 markings, 46846841 edges, 6705 markings/sec, 1570 secs
lola: 13937006 markings, 47019873 edges, 6555 markings/sec, 1575 secs
lola: 13971988 markings, 47185336 edges, 6996 markings/sec, 1580 secs
lola: 14004458 markings, 47359988 edges, 6494 markings/sec, 1585 secs
lola: 14037910 markings, 47531554 edges, 6690 markings/sec, 1590 secs
lola: 14071757 markings, 47699193 edges, 6769 markings/sec, 1595 secs
lola: 14104577 markings, 47875822 edges, 6564 markings/sec, 1600 secs
lola: 14139162 markings, 48044232 edges, 6917 markings/sec, 1605 secs
lola: 14172840 markings, 48219764 edges, 6736 markings/sec, 1610 secs
lola: 14207886 markings, 48387831 edges, 7009 markings/sec, 1615 secs
lola: 14241050 markings, 48564248 edges, 6633 markings/sec, 1620 secs
lola: 14275984 markings, 48733792 edges, 6987 markings/sec, 1625 secs
lola: 14309479 markings, 48908406 edges, 6699 markings/sec, 1630 secs
lola: 14343028 markings, 49085109 edges, 6710 markings/sec, 1635 secs
lola: 14377356 markings, 49253993 edges, 6866 markings/sec, 1640 secs
lola: 14410927 markings, 49430673 edges, 6714 markings/sec, 1645 secs
lola: 14446190 markings, 49600983 edges, 7053 markings/sec, 1650 secs
lola: 14479853 markings, 49778288 edges, 6733 markings/sec, 1655 secs
lola: 14515426 markings, 49948921 edges, 7115 markings/sec, 1660 secs
lola: 14549071 markings, 50126646 edges, 6729 markings/sec, 1665 secs
lola: 14583106 markings, 50305309 edges, 6807 markings/sec, 1670 secs
lola: 14618255 markings, 50479120 edges, 7030 markings/sec, 1675 secs
lola: 14652417 markings, 50657290 edges, 6832 markings/sec, 1680 secs
lola: 14692037 markings, 50815188 edges, 7924 markings/sec, 1685 secs
lola: 14728446 markings, 50985208 edges, 7282 markings/sec, 1690 secs
lola: 14766251 markings, 51151338 edges, 7561 markings/sec, 1695 secs
lola: 14804001 markings, 51316223 edges, 7550 markings/sec, 1700 secs
lola: 14839710 markings, 51489773 edges, 7142 markings/sec, 1705 secs
lola: 14877844 markings, 51652041 edges, 7627 markings/sec, 1710 secs
lola: 14910312 markings, 51832296 edges, 6494 markings/sec, 1715 secs
lola: 14939490 markings, 52022516 edges, 5836 markings/sec, 1720 secs
lola: 14970071 markings, 52206429 edges, 6116 markings/sec, 1725 secs
lola: 15000037 markings, 52393980 edges, 5993 markings/sec, 1730 secs
lola: 15026464 markings, 52592722 edges, 5285 markings/sec, 1735 secs
lola: 15054683 markings, 52754294 edges, 5644 markings/sec, 1740 secs
lola: 15088557 markings, 52895418 edges, 6775 markings/sec, 1745 secs
lola: 15118617 markings, 53051335 edges, 6012 markings/sec, 1750 secs
lola: 15149460 markings, 53202485 edges, 6169 markings/sec, 1755 secs
lola: 15179835 markings, 53355674 edges, 6075 markings/sec, 1760 secs
lola: 15214689 markings, 53510617 edges, 6971 markings/sec, 1765 secs
lola: 15241966 markings, 53701002 edges, 5455 markings/sec, 1770 secs
lola: 15269415 markings, 53878002 edges, 5490 markings/sec, 1775 secs
lola: 15294192 markings, 54039799 edges, 4955 markings/sec, 1780 secs
lola: 15320980 markings, 54213816 edges, 5358 markings/sec, 1785 secs
lola: 15347704 markings, 54381516 edges, 5345 markings/sec, 1790 secs
lola: 15371991 markings, 54557370 edges, 4857 markings/sec, 1795 secs
lola: 15397126 markings, 54732648 edges, 5027 markings/sec, 1800 secs
lola: 15421708 markings, 54898292 edges, 4916 markings/sec, 1805 secs
lola: 15446306 markings, 55063481 edges, 4920 markings/sec, 1810 secs
lola: 15471344 markings, 55227285 edges, 5008 markings/sec, 1815 secs
lola: 15496684 markings, 55390753 edges, 5068 markings/sec, 1820 secs
lola: 15521556 markings, 55556652 edges, 4974 markings/sec, 1825 secs
lola: 15548741 markings, 55732805 edges, 5437 markings/sec, 1830 secs
lola: 15577451 markings, 55915965 edges, 5742 markings/sec, 1835 secs
lola: 15605121 markings, 56104868 edges, 5534 markings/sec, 1840 secs
lola: 15632110 markings, 56295234 edges, 5398 markings/sec, 1845 secs
lola: 15660824 markings, 56480849 edges, 5743 markings/sec, 1850 secs
lola: 15689679 markings, 56666240 edges, 5771 markings/sec, 1855 secs
lola: 15718397 markings, 56847657 edges, 5744 markings/sec, 1860 secs
lola: 15745532 markings, 57038504 edges, 5427 markings/sec, 1865 secs
lola: 15772390 markings, 57227435 edges, 5372 markings/sec, 1870 secs
lola: 15798087 markings, 57419771 edges, 5139 markings/sec, 1875 secs
lola: 15818331 markings, 57624669 edges, 4049 markings/sec, 1880 secs
lola: 15848533 markings, 57785310 edges, 6040 markings/sec, 1885 secs
lola: 15879974 markings, 57938639 edges, 6288 markings/sec, 1890 secs
lola: 15899675 markings, 58138780 edges, 3940 markings/sec, 1895 secs
lola: 15922990 markings, 58334264 edges, 4663 markings/sec, 1900 secs
lola: 15949017 markings, 58523776 edges, 5205 markings/sec, 1905 secs
lola: 15976190 markings, 58701363 edges, 5435 markings/sec, 1910 secs
lola: 16005553 markings, 58868731 edges, 5873 markings/sec, 1915 secs
lola: 16035051 markings, 59034169 edges, 5900 markings/sec, 1920 secs
lola: 16066854 markings, 59194711 edges, 6361 markings/sec, 1925 secs
lola: 16099589 markings, 59355081 edges, 6547 markings/sec, 1930 secs
lola: 16134134 markings, 59513267 edges, 6909 markings/sec, 1935 secs
lola: 16173012 markings, 59659480 edges, 7776 markings/sec, 1940 secs
lola: 16184172 markings, 59885017 edges, 2232 markings/sec, 1945 secs
lola: 16185627 markings, 60145216 edges, 291 markings/sec, 1950 secs
lola: 16207386 markings, 60349292 edges, 4352 markings/sec, 1955 secs
lola: 16237384 markings, 60532620 edges, 6000 markings/sec, 1960 secs
lola: 16264575 markings, 60699833 edges, 5438 markings/sec, 1965 secs
lola: 16294695 markings, 60848206 edges, 6024 markings/sec, 1970 secs
lola: 16324255 markings, 61002251 edges, 5912 markings/sec, 1975 secs
lola: 16357966 markings, 61166377 edges, 6742 markings/sec, 1980 secs
lola: 16391983 markings, 61329747 edges, 6803 markings/sec, 1985 secs
lola: 16425525 markings, 61492096 edges, 6708 markings/sec, 1990 secs
lola: 16462135 markings, 61648641 edges, 7322 markings/sec, 1995 secs
lola: 16495499 markings, 61819544 edges, 6673 markings/sec, 2000 secs
lola: 16528785 markings, 61986929 edges, 6657 markings/sec, 2005 secs
lola: 16561736 markings, 62151533 edges, 6590 markings/sec, 2010 secs
lola: 16597675 markings, 62308995 edges, 7188 markings/sec, 2015 secs
lola: 16634419 markings, 62473410 edges, 7349 markings/sec, 2020 secs
lola: 16669251 markings, 62647823 edges, 6966 markings/sec, 2025 secs
lola: 16704620 markings, 62823061 edges, 7074 markings/sec, 2030 secs
lola: 16742353 markings, 62985438 edges, 7547 markings/sec, 2035 secs
lola: 16785017 markings, 63113223 edges, 8533 markings/sec, 2040 secs
lola: 16825356 markings, 63234311 edges, 8068 markings/sec, 2045 secs
lola: 16867482 markings, 63360040 edges, 8425 markings/sec, 2050 secs
lola: 16906864 markings, 63492748 edges, 7876 markings/sec, 2055 secs
lola: 16940014 markings, 63631524 edges, 6630 markings/sec, 2060 secs
lola: 16972908 markings, 63773146 edges, 6579 markings/sec, 2065 secs
lola: 17005960 markings, 63943014 edges, 6610 markings/sec, 2070 secs
lola: 17040032 markings, 64111233 edges, 6814 markings/sec, 2075 secs
lola: 17073295 markings, 64279238 edges, 6653 markings/sec, 2080 secs
lola: 17117385 markings, 64423789 edges, 8818 markings/sec, 2085 secs
lola: 17163699 markings, 64562654 edges, 9263 markings/sec, 2090 secs
lola: 17210336 markings, 64701324 edges, 9327 markings/sec, 2095 secs
lola: 17254538 markings, 64847716 edges, 8840 markings/sec, 2100 secs
lola: 17294642 markings, 65002081 edges, 8021 markings/sec, 2105 secs
lola: 17332770 markings, 65166454 edges, 7626 markings/sec, 2110 secs
lola: 17367056 markings, 65341977 edges, 6857 markings/sec, 2115 secs
lola: 17400521 markings, 65506274 edges, 6693 markings/sec, 2120 secs
lola: 17432560 markings, 65670052 edges, 6408 markings/sec, 2125 secs
lola: 17485041 markings, 65800227 edges, 10496 markings/sec, 2130 secs
lola: 17543286 markings, 65916333 edges, 11649 markings/sec, 2135 secs
lola: 17599994 markings, 66030148 edges, 11342 markings/sec, 2140 secs
lola: 17647277 markings, 66162358 edges, 9457 markings/sec, 2145 secs
lola: 17690293 markings, 66304664 edges, 8603 markings/sec, 2150 secs
lola: 17728989 markings, 66463841 edges, 7739 markings/sec, 2155 secs
lola: 17768103 markings, 66617095 edges, 7823 markings/sec, 2160 secs
lola: 17809681 markings, 66763031 edges, 8316 markings/sec, 2165 secs
lola: 17869032 markings, 66880783 edges, 11870 markings/sec, 2170 secs
lola: 17927215 markings, 66996408 edges, 11637 markings/sec, 2175 secs
lola: 17983163 markings, 67122608 edges, 11190 markings/sec, 2180 secs
lola: 18027943 markings, 67264855 edges, 8956 markings/sec, 2185 secs
lola: 18068646 markings, 67419130 edges, 8141 markings/sec, 2190 secs
lola: 18108450 markings, 67575073 edges, 7961 markings/sec, 2195 secs
lola: 18146757 markings, 67732924 edges, 7661 markings/sec, 2200 secs
lola: 18200908 markings, 67857449 edges, 10830 markings/sec, 2205 secs
lola: 18259749 markings, 67974897 edges, 11768 markings/sec, 2210 secs
lola: 18316378 markings, 68097196 edges, 11326 markings/sec, 2215 secs
lola: 18365550 markings, 68224346 edges, 9834 markings/sec, 2220 secs
lola: 18407720 markings, 68363965 edges, 8434 markings/sec, 2225 secs
lola: 18446016 markings, 68520546 edges, 7659 markings/sec, 2230 secs
lola: 18485397 markings, 68675778 edges, 7876 markings/sec, 2235 secs
lola: 18527113 markings, 68823975 edges, 8343 markings/sec, 2240 secs
lola: 18585930 markings, 68941019 edges, 11763 markings/sec, 2245 secs
lola: 18645523 markings, 69059107 edges, 11919 markings/sec, 2250 secs
lola: 18701222 markings, 69185416 edges, 11140 markings/sec, 2255 secs
lola: 18745286 markings, 69323530 edges, 8813 markings/sec, 2260 secs
lola: 18785175 markings, 69474515 edges, 7978 markings/sec, 2265 secs
lola: 18825020 markings, 69628607 edges, 7969 markings/sec, 2270 secs
lola: 18861381 markings, 69782717 edges, 7272 markings/sec, 2275 secs
lola: 18910511 markings, 69903783 edges, 9826 markings/sec, 2280 secs
lola: 18968668 markings, 70018392 edges, 11631 markings/sec, 2285 secs
lola: 19023693 markings, 70130074 edges, 11005 markings/sec, 2290 secs
lola: 19074699 markings, 70256628 edges, 10201 markings/sec, 2295 secs
lola: 19117376 markings, 70397384 edges, 8535 markings/sec, 2300 secs
lola: 19156601 markings, 70551746 edges, 7845 markings/sec, 2305 secs
lola: 19193168 markings, 70699817 edges, 7313 markings/sec, 2310 secs
lola: 19231995 markings, 70849587 edges, 7765 markings/sec, 2315 secs
lola: 19288513 markings, 70972221 edges, 11304 markings/sec, 2320 secs
lola: 19347017 markings, 71088726 edges, 11701 markings/sec, 2325 secs
lola: 19401631 markings, 71212483 edges, 10923 markings/sec, 2330 secs
lola: 19450466 markings, 71342511 edges, 9767 markings/sec, 2335 secs
lola: 19491147 markings, 71476896 edges, 8136 markings/sec, 2340 secs
lola: 19525016 markings, 71619103 edges, 6774 markings/sec, 2345 secs
lola: 19559452 markings, 71756706 edges, 6887 markings/sec, 2350 secs
lola: 19594303 markings, 71890630 edges, 6970 markings/sec, 2355 secs
lola: 19645142 markings, 71998171 edges, 10168 markings/sec, 2360 secs
lola: 19699486 markings, 72106913 edges, 10869 markings/sec, 2365 secs
lola: 19751346 markings, 72217084 edges, 10372 markings/sec, 2370 secs
lola: 19798300 markings, 72335846 edges, 9391 markings/sec, 2375 secs
lola: 19837796 markings, 72466665 edges, 7899 markings/sec, 2380 secs
lola: 19873772 markings, 72610201 edges, 7195 markings/sec, 2385 secs
lola: 19909037 markings, 72752085 edges, 7053 markings/sec, 2390 secs
lola: 19944879 markings, 72895671 edges, 7168 markings/sec, 2395 secs
lola: 19999651 markings, 73020674 edges, 10954 markings/sec, 2400 secs
lola: 20057623 markings, 73135845 edges, 11594 markings/sec, 2405 secs
lola: 20113981 markings, 73258300 edges, 11272 markings/sec, 2410 secs
lola: 20165339 markings, 73392931 edges, 10272 markings/sec, 2415 secs
lola: 20210869 markings, 73543592 edges, 9106 markings/sec, 2420 secs
lola: 20250356 markings, 73708097 edges, 7897 markings/sec, 2425 secs
lola: 20290572 markings, 73863235 edges, 8043 markings/sec, 2430 secs
lola: 20336753 markings, 74008199 edges, 9236 markings/sec, 2435 secs
lola: 20396920 markings, 74128008 edges, 12033 markings/sec, 2440 secs
lola: 20457938 markings, 74248884 edges, 12204 markings/sec, 2445 secs
lola: 20512107 markings, 74383484 edges, 10834 markings/sec, 2450 secs
lola: 20556031 markings, 74528446 edges, 8785 markings/sec, 2455 secs
lola: 20595904 markings, 74686274 edges, 7975 markings/sec, 2460 secs
lola: 20635628 markings, 74843442 edges, 7945 markings/sec, 2465 secs
lola: 20676634 markings, 74998021 edges, 8201 markings/sec, 2470 secs
lola: 20735271 markings, 75118049 edges, 11727 markings/sec, 2475 secs
lola: 20795777 markings, 75237876 edges, 12101 markings/sec, 2480 secs
lola: 20851760 markings, 75364659 edges, 11197 markings/sec, 2485 secs
lola: 20898490 markings, 75504362 edges, 9346 markings/sec, 2490 secs
lola: 20940001 markings, 75659347 edges, 8302 markings/sec, 2495 secs
lola: 20979374 markings, 75812123 edges, 7875 markings/sec, 2500 secs
lola: 21017003 markings, 75971535 edges, 7526 markings/sec, 2505 secs
lola: 21068719 markings, 76097528 edges, 10343 markings/sec, 2510 secs
lola: 21127960 markings, 76215663 edges, 11848 markings/sec, 2515 secs
lola: 21185428 markings, 76338128 edges, 11494 markings/sec, 2520 secs
lola: 21237798 markings, 76469637 edges, 10474 markings/sec, 2525 secs
lola: 21282205 markings, 76616126 edges, 8881 markings/sec, 2530 secs
lola: 21321746 markings, 76777055 edges, 7908 markings/sec, 2535 secs
lola: 21361532 markings, 76934004 edges, 7957 markings/sec, 2540 secs
lola: 21404321 markings, 77082752 edges, 8558 markings/sec, 2545 secs
lola: 21464104 markings, 77201302 edges, 11957 markings/sec, 2550 secs
lola: 21525037 markings, 77322932 edges, 12187 markings/sec, 2555 secs
lola: 21581793 markings, 77450989 edges, 11351 markings/sec, 2560 secs
lola: 21626015 markings, 77596522 edges, 8844 markings/sec, 2565 secs
lola: 21667035 markings, 77755218 edges, 8204 markings/sec, 2570 secs
lola: 21706710 markings, 77914752 edges, 7935 markings/sec, 2575 secs
lola: 21748017 markings, 78073299 edges, 8261 markings/sec, 2580 secs
lola: 21805336 markings, 78197115 edges, 11464 markings/sec, 2585 secs
lola: 21866160 markings, 78317852 edges, 12165 markings/sec, 2590 secs
lola: 21923385 markings, 78447116 edges, 11445 markings/sec, 2595 secs
lola: 21973104 markings, 78588314 edges, 9944 markings/sec, 2600 secs
lola: 22016620 markings, 78746060 edges, 8703 markings/sec, 2605 secs
lola: 22057572 markings, 78907626 edges, 8190 markings/sec, 2610 secs
lola: 22096287 markings, 79070420 edges, 7743 markings/sec, 2615 secs
lola: 22148749 markings, 79197146 edges, 10492 markings/sec, 2620 secs
lola: 22207504 markings, 79313939 edges, 11751 markings/sec, 2625 secs
lola: 22265248 markings, 79436504 edges, 11549 markings/sec, 2630 secs
lola: 22317274 markings, 79569925 edges, 10405 markings/sec, 2635 secs
lola: 22362009 markings, 79717406 edges, 8947 markings/sec, 2640 secs
lola: 22401560 markings, 79879123 edges, 7910 markings/sec, 2645 secs
lola: 22441671 markings, 80035726 edges, 8022 markings/sec, 2650 secs
lola: 22485337 markings, 80183046 edges, 8733 markings/sec, 2655 secs
lola: 22544377 markings, 80300921 edges, 11808 markings/sec, 2660 secs
lola: 22603962 markings, 80419119 edges, 11917 markings/sec, 2665 secs
lola: 22659657 markings, 80545731 edges, 11139 markings/sec, 2670 secs
lola: 22704496 markings, 80693463 edges, 8968 markings/sec, 2675 secs
lola: 22746681 markings, 80855485 edges, 8437 markings/sec, 2680 secs
lola: 22786001 markings, 81014344 edges, 7864 markings/sec, 2685 secs
lola: 22825991 markings, 81168201 edges, 7998 markings/sec, 2690 secs
lola: 22882797 markings, 81291091 edges, 11361 markings/sec, 2695 secs
lola: 22942116 markings, 81408919 edges, 11864 markings/sec, 2700 secs
lola: 22997573 markings, 81534772 edges, 11091 markings/sec, 2705 secs
lola: 23047596 markings, 81671238 edges, 10005 markings/sec, 2710 secs
lola: 23091159 markings, 81821867 edges, 8713 markings/sec, 2715 secs
lola: 23130415 markings, 81982339 edges, 7851 markings/sec, 2720 secs
lola: 23168889 markings, 82145336 edges, 7695 markings/sec, 2725 secs
lola: 23219369 markings, 82277587 edges, 10096 markings/sec, 2730 secs
lola: 23278526 markings, 82395164 edges, 11831 markings/sec, 2735 secs
lola: 23337371 markings, 82515006 edges, 11769 markings/sec, 2740 secs
lola: 23389991 markings, 82647410 edges, 10524 markings/sec, 2745 secs
lola: 23434363 markings, 82793932 edges, 8874 markings/sec, 2750 secs
lola: 23474506 markings, 82954757 edges, 8029 markings/sec, 2755 secs
lola: 23514175 markings, 83113088 edges, 7934 markings/sec, 2760 secs
lola: 23555974 markings, 83263904 edges, 8360 markings/sec, 2765 secs
lola: 23615680 markings, 83382727 edges, 11941 markings/sec, 2770 secs
lola: 23675324 markings, 83501762 edges, 11929 markings/sec, 2775 secs
lola: 23731238 markings, 83628625 edges, 11183 markings/sec, 2780 secs
lola: 23777644 markings, 83772564 edges, 9281 markings/sec, 2785 secs
lola: 23820732 markings, 83935363 edges, 8618 markings/sec, 2790 secs
lola: 23861615 markings, 84099337 edges, 8177 markings/sec, 2795 secs
lola: 23902709 markings, 84259357 edges, 8219 markings/sec, 2800 secs
lola: 23960552 markings, 84385698 edges, 11569 markings/sec, 2805 secs
lola: 24021978 markings, 84507664 edges, 12285 markings/sec, 2810 secs
lola: 24078846 markings, 84636008 edges, 11374 markings/sec, 2815 secs
lola: 24128431 markings, 84775524 edges, 9917 markings/sec, 2820 secs
lola: 24172485 markings, 84934185 edges, 8811 markings/sec, 2825 secs
lola: 24213354 markings, 85096975 edges, 8174 markings/sec, 2830 secs
lola: 24253208 markings, 85263191 edges, 7971 markings/sec, 2835 secs
lola: 24303055 markings, 85401177 edges, 9969 markings/sec, 2840 secs
lola: 24354559 markings, 85541404 edges, 10301 markings/sec, 2845 secs
lola: 24406617 markings, 85681001 edges, 10412 markings/sec, 2850 secs
lola: 24459231 markings, 85819552 edges, 10523 markings/sec, 2855 secs
lola: 24510154 markings, 85960133 edges, 10185 markings/sec, 2860 secs
lola: 24560582 markings, 86103621 edges, 10086 markings/sec, 2865 secs
lola: 24600439 markings, 86269654 edges, 7971 markings/sec, 2870 secs
lola: 24640748 markings, 86437563 edges, 8062 markings/sec, 2875 secs
lola: 24675650 markings, 86616796 edges, 6980 markings/sec, 2880 secs
lola: 24709956 markings, 86796949 edges, 6861 markings/sec, 2885 secs
lola: 24742200 markings, 86984972 edges, 6449 markings/sec, 2890 secs
lola: 24789438 markings, 87129361 edges, 9448 markings/sec, 2895 secs
lola: 24840501 markings, 87268412 edges, 10213 markings/sec, 2900 secs
lola: 24891552 markings, 87403484 edges, 10210 markings/sec, 2905 secs
lola: 24942026 markings, 87540331 edges, 10095 markings/sec, 2910 secs
lola: 24993179 markings, 87676130 edges, 10231 markings/sec, 2915 secs
lola: 25042867 markings, 87817133 edges, 9938 markings/sec, 2920 secs
lola: 25081769 markings, 87978168 edges, 7780 markings/sec, 2925 secs
lola: 25122300 markings, 88145133 edges, 8106 markings/sec, 2930 secs
lola: 25157871 markings, 88324433 edges, 7114 markings/sec, 2935 secs
lola: 25191649 markings, 88501638 edges, 6756 markings/sec, 2940 secs
lola: 25221429 markings, 88689722 edges, 5956 markings/sec, 2945 secs
lola: 25270983 markings, 88830200 edges, 9911 markings/sec, 2950 secs
lola: 25331912 markings, 88951018 edges, 12186 markings/sec, 2955 secs
lola: 25389509 markings, 89073730 edges, 11519 markings/sec, 2960 secs
lola: 25442574 markings, 89204974 edges, 10613 markings/sec, 2965 secs
lola: 25487052 markings, 89351944 edges, 8896 markings/sec, 2970 secs
lola: 25527897 markings, 89516447 edges, 8169 markings/sec, 2975 secs
lola: 25568981 markings, 89677676 edges, 8217 markings/sec, 2980 secs
lola: 25611831 markings, 89826009 edges, 8570 markings/sec, 2985 secs
lola: 25672304 markings, 89945281 edges, 12095 markings/sec, 2990 secs
lola: 25732938 markings, 90065130 edges, 12127 markings/sec, 2995 secs
lola: 25788585 markings, 90192639 edges, 11129 markings/sec, 3000 secs
lola: 25832224 markings, 90336326 edges, 8728 markings/sec, 3005 secs
lola: 25871504 markings, 90487307 edges, 7856 markings/sec, 3010 secs
lola: 25908858 markings, 90633983 edges, 7471 markings/sec, 3015 secs
lola: 25943989 markings, 90781004 edges, 7026 markings/sec, 3020 secs
lola: 25991228 markings, 90896872 edges, 9448 markings/sec, 3025 secs
lola: 26045501 markings, 91004506 edges, 10855 markings/sec, 3030 secs
lola: 26104884 markings, 91124104 edges, 11877 markings/sec, 3035 secs
lola: 26157905 markings, 91256808 edges, 10604 markings/sec, 3040 secs
lola: 26202157 markings, 91402889 edges, 8850 markings/sec, 3045 secs
lola: 26242404 markings, 91564365 edges, 8049 markings/sec, 3050 secs
lola: 26282418 markings, 91722818 edges, 8003 markings/sec, 3055 secs
lola: 26323832 markings, 91876130 edges, 8283 markings/sec, 3060 secs
lola: 26383922 markings, 91994673 edges, 12018 markings/sec, 3065 secs
lola: 26443881 markings, 92113765 edges, 11992 markings/sec, 3070 secs
lola: 26499554 markings, 92240066 edges, 11135 markings/sec, 3075 secs
lola: 26546184 markings, 92384071 edges, 9326 markings/sec, 3080 secs
lola: 26588121 markings, 92542347 edges, 8387 markings/sec, 3085 secs
lola: 26627985 markings, 92698587 edges, 7973 markings/sec, 3090 secs
lola: 26666047 markings, 92855905 edges, 7612 markings/sec, 3095 secs
lola: 26709825 markings, 92996281 edges, 8756 markings/sec, 3100 secs
lola: 26750140 markings, 93128886 edges, 8063 markings/sec, 3105 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1
lola: memory consumption: 1779144 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1
lola: memory consumption: 1779144 KB
lola: time consumption: 3570 seconds
BK_STOP 1552866907366
--------------------
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-14b"
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-14b, 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-155246565700076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-14b.tgz
mv FlexibleBarrier-PT-14b 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 '
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 ;