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-155246565700088.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-18b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565700088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.7K Feb 11 01:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 11 01:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 6 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 23:07 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.5K Feb 4 23:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 08:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 08:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 31 01:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 31 01:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 1.2M 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-18b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-18b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552863362427

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-18b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-18b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-18b @ 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: 9407/65536 symbol table entries, 2286 collisions
lola: preprocessing...
lola: Size of bit vector: 4370
lola: finding significant places
lola: 4370 places, 5037 transitions, 4350 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5075 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-18b-UpperBounds.task
lola: MAX(p432) : MAX(p700) : MAX(p2201) : MAX(p3952) : MAX(p3270) : MAX(p1367) : MAX(p953) : MAX(p1918) : MAX(p4205) : MAX(p3037) : MAX(p3333) : MAX(p4302) : MAX(p4259) : MAX(p752) : MAX(p1640) : MAX(p1686)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p432)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p432)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 42 markings, 41 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-18b-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(p700)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p700)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 49 markings, 48 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-18b-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(p2201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2201)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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
lola: ========================================

FORMULA FlexibleBarrier-PT-18b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3952)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3952)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 17603 markings, 31924 edges, 3521 markings/sec, 0 secs
lola: 48776 markings, 88977 edges, 6235 markings/sec, 5 secs
lola: 80030 markings, 145970 edges, 6251 markings/sec, 10 secs
lola: 110074 markings, 202906 edges, 6009 markings/sec, 15 secs
lola: 141228 markings, 259389 edges, 6231 markings/sec, 20 secs
lola: 172942 markings, 317353 edges, 6343 markings/sec, 25 secs
lola: 203938 markings, 375382 edges, 6199 markings/sec, 30 secs
lola: 234718 markings, 431895 edges, 6156 markings/sec, 35 secs
lola: 265254 markings, 487311 edges, 6107 markings/sec, 40 secs
lola: 289373 markings, 565417 edges, 4824 markings/sec, 45 secs
lola: 313554 markings, 651859 edges, 4836 markings/sec, 50 secs
lola: 337334 markings, 736861 edges, 4756 markings/sec, 55 secs
lola: 361371 markings, 822273 edges, 4807 markings/sec, 60 secs
lola: 383833 markings, 909332 edges, 4492 markings/sec, 65 secs
lola: 406713 markings, 989331 edges, 4576 markings/sec, 70 secs
lola: 430038 markings, 1072571 edges, 4665 markings/sec, 75 secs
lola: 452306 markings, 1164166 edges, 4454 markings/sec, 80 secs
lola: 474554 markings, 1255717 edges, 4450 markings/sec, 85 secs
lola: 496964 markings, 1341424 edges, 4482 markings/sec, 90 secs
lola: 522779 markings, 1414712 edges, 5163 markings/sec, 95 secs
lola: 554757 markings, 1475093 edges, 6396 markings/sec, 100 secs
lola: 587870 markings, 1535836 edges, 6623 markings/sec, 105 secs
lola: 621318 markings, 1597397 edges, 6690 markings/sec, 110 secs
lola: 654855 markings, 1659229 edges, 6707 markings/sec, 115 secs
lola: 688434 markings, 1721066 edges, 6716 markings/sec, 120 secs
lola: 722008 markings, 1782954 edges, 6715 markings/sec, 125 secs
lola: 755540 markings, 1844717 edges, 6706 markings/sec, 130 secs
lola: 788219 markings, 1904744 edges, 6536 markings/sec, 135 secs
lola: 812654 markings, 1987589 edges, 4887 markings/sec, 140 secs
lola: 836708 markings, 2072960 edges, 4811 markings/sec, 145 secs
lola: 860662 markings, 2159003 edges, 4791 markings/sec, 150 secs
lola: 882646 markings, 2236846 edges, 4397 markings/sec, 155 secs
lola: 903454 markings, 2316179 edges, 4162 markings/sec, 160 secs
lola: 923997 markings, 2392272 edges, 4109 markings/sec, 165 secs
lola: 945709 markings, 2465627 edges, 4342 markings/sec, 170 secs
lola: 966004 markings, 2547667 edges, 4059 markings/sec, 175 secs
lola: 985971 markings, 2630251 edges, 3993 markings/sec, 180 secs
lola: 1006805 markings, 2709471 edges, 4167 markings/sec, 185 secs
lola: 1027952 markings, 2785340 edges, 4229 markings/sec, 190 secs
lola: 1055784 markings, 2850602 edges, 5566 markings/sec, 195 secs
lola: 1088959 markings, 2911648 edges, 6635 markings/sec, 200 secs
lola: 1122383 markings, 2973204 edges, 6685 markings/sec, 205 secs
lola: 1154022 markings, 3030856 edges, 6328 markings/sec, 210 secs
lola: 1183862 markings, 3087064 edges, 5968 markings/sec, 215 secs
lola: 1214904 markings, 3143763 edges, 6208 markings/sec, 220 secs
lola: 1245728 markings, 3200733 edges, 6165 markings/sec, 225 secs
lola: 1277916 markings, 3261212 edges, 6438 markings/sec, 230 secs
lola: 1308181 markings, 3315831 edges, 6053 markings/sec, 235 secs
lola: 1331753 markings, 3394704 edges, 4714 markings/sec, 240 secs
lola: 1354542 markings, 3476026 edges, 4558 markings/sec, 245 secs
lola: 1376878 markings, 3555301 edges, 4467 markings/sec, 250 secs
lola: 1399670 markings, 3636663 edges, 4558 markings/sec, 255 secs
lola: 1421375 markings, 3714256 edges, 4341 markings/sec, 260 secs
lola: 1441036 markings, 3794961 edges, 3932 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 875112 KB
lola: time consumption: 285 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3270)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3270)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 44 markings, 43 edges

FORMULA FlexibleBarrier-PT-18b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1367)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1367)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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-18b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p953)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p953)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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-18b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1918)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1918)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 37 markings, 36 edges

FORMULA FlexibleBarrier-PT-18b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4205)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 15954 markings, 30324 edges, 3191 markings/sec, 0 secs
lola: 45115 markings, 88674 edges, 5832 markings/sec, 5 secs
lola: 72054 markings, 153324 edges, 5388 markings/sec, 10 secs
lola: 100386 markings, 220259 edges, 5666 markings/sec, 15 secs
lola: 131771 markings, 281881 edges, 6277 markings/sec, 20 secs
lola: 162019 markings, 342114 edges, 6050 markings/sec, 25 secs
lola: 192229 markings, 401593 edges, 6042 markings/sec, 30 secs
lola: 222043 markings, 460689 edges, 5963 markings/sec, 35 secs
lola: 251412 markings, 519014 edges, 5874 markings/sec, 40 secs
lola: 281503 markings, 577937 edges, 6018 markings/sec, 45 secs
lola: 307440 markings, 646782 edges, 5187 markings/sec, 50 secs
lola: 330396 markings, 728648 edges, 4591 markings/sec, 55 secs
lola: 352439 markings, 806965 edges, 4409 markings/sec, 60 secs
lola: 375128 markings, 887988 edges, 4538 markings/sec, 65 secs
lola: 397170 markings, 966917 edges, 4408 markings/sec, 70 secs
lola: 418366 markings, 1056572 edges, 4239 markings/sec, 75 secs
lola: 440433 markings, 1151766 edges, 4413 markings/sec, 80 secs
lola: 462932 markings, 1246658 edges, 4500 markings/sec, 85 secs
lola: 483738 markings, 1345424 edges, 4161 markings/sec, 90 secs
lola: 504324 markings, 1442166 edges, 4117 markings/sec, 95 secs
lola: 528517 markings, 1522528 edges, 4839 markings/sec, 100 secs
lola: 559032 markings, 1590419 edges, 6103 markings/sec, 105 secs
lola: 590958 markings, 1654833 edges, 6385 markings/sec, 110 secs
lola: 619321 markings, 1730070 edges, 5673 markings/sec, 115 secs
lola: 652280 markings, 1797763 edges, 6592 markings/sec, 120 secs
lola: 685662 markings, 1863019 edges, 6676 markings/sec, 125 secs
lola: 717859 markings, 1927984 edges, 6439 markings/sec, 130 secs
lola: 751284 markings, 1993717 edges, 6685 markings/sec, 135 secs
lola: 784660 markings, 2059453 edges, 6675 markings/sec, 140 secs
lola: 816845 markings, 2124558 edges, 6437 markings/sec, 145 secs
lola: 846049 markings, 2200566 edges, 5841 markings/sec, 150 secs
lola: 870671 markings, 2288480 edges, 4924 markings/sec, 155 secs
lola: 895460 markings, 2376756 edges, 4958 markings/sec, 160 secs
lola: 920028 markings, 2464464 edges, 4914 markings/sec, 165 secs
lola: 943644 markings, 2549993 edges, 4723 markings/sec, 170 secs
lola: 964281 markings, 2642491 edges, 4127 markings/sec, 175 secs
lola: 983846 markings, 2725729 edges, 3913 markings/sec, 180 secs
lola: 1003774 markings, 2811581 edges, 3986 markings/sec, 185 secs
lola: 1022193 markings, 2898604 edges, 3684 markings/sec, 190 secs
lola: 1040489 markings, 2982092 edges, 3659 markings/sec, 195 secs
lola: 1061258 markings, 3056817 edges, 4154 markings/sec, 200 secs
lola: 1087201 markings, 3121191 edges, 5189 markings/sec, 205 secs
lola: 1118266 markings, 3183519 edges, 6213 markings/sec, 210 secs
lola: 1147242 markings, 3252091 edges, 5795 markings/sec, 215 secs
lola: 1175897 markings, 3320873 edges, 5731 markings/sec, 220 secs
lola: 1208408 markings, 3383973 edges, 6502 markings/sec, 225 secs
lola: 1240969 markings, 3447717 edges, 6512 markings/sec, 230 secs
lola: 1272592 markings, 3511069 edges, 6325 markings/sec, 235 secs
lola: 1305454 markings, 3575900 edges, 6572 markings/sec, 240 secs
lola: 1337337 markings, 3639125 edges, 6377 markings/sec, 245 secs
lola: 1369903 markings, 3703566 edges, 6513 markings/sec, 250 secs
lola: 1394227 markings, 3788035 edges, 4865 markings/sec, 255 secs
lola: 1418853 markings, 3876482 edges, 4925 markings/sec, 260 secs
lola: 1443386 markings, 3963400 edges, 4907 markings/sec, 265 secs
lola: 1468011 markings, 4051853 edges, 4925 markings/sec, 270 secs
lola: 1490265 markings, 4142299 edges, 4451 markings/sec, 275 secs
lola: 1512064 markings, 4236394 edges, 4360 markings/sec, 280 secs
lola: 1533949 markings, 4330940 edges, 4377 markings/sec, 285 secs
lola: 1554706 markings, 4429135 edges, 4151 markings/sec, 290 secs
lola: 1576944 markings, 4514295 edges, 4448 markings/sec, 295 secs
lola: 1598436 markings, 4605533 edges, 4298 markings/sec, 300 secs
lola: 1626583 markings, 4674389 edges, 5629 markings/sec, 305 secs
lola: 1658953 markings, 4737913 edges, 6474 markings/sec, 310 secs
lola: 1687860 markings, 4806936 edges, 5781 markings/sec, 315 secs
lola: 1717658 markings, 4877288 edges, 5960 markings/sec, 320 secs
lola: 1749598 markings, 4940901 edges, 6388 markings/sec, 325 secs
lola: 1781689 markings, 5004063 edges, 6418 markings/sec, 330 secs
lola: 1814278 markings, 5068142 edges, 6518 markings/sec, 335 secs
lola: 1845530 markings, 5130708 edges, 6250 markings/sec, 340 secs
lola: 1877435 markings, 5193329 edges, 6381 markings/sec, 345 secs
lola: 1908456 markings, 5255544 edges, 6204 markings/sec, 350 secs
lola: 1931802 markings, 5338738 edges, 4669 markings/sec, 355 secs
lola: 1955886 markings, 5424729 edges, 4817 markings/sec, 360 secs
lola: 1980311 markings, 5511359 edges, 4885 markings/sec, 365 secs
lola: 2004454 markings, 5597985 edges, 4829 markings/sec, 370 secs
lola: 2026604 markings, 5686740 edges, 4430 markings/sec, 375 secs
lola: 2046964 markings, 5776125 edges, 4072 markings/sec, 380 secs
lola: 2066864 markings, 5860144 edges, 3980 markings/sec, 385 secs
lola: 2085752 markings, 5946661 edges, 3778 markings/sec, 390 secs
lola: 2104847 markings, 6027957 edges, 3819 markings/sec, 395 secs
lola: 2122725 markings, 6113598 edges, 3576 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 490444 KB
lola: time consumption: 701 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3037)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3037)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 16805 markings, 30455 edges, 3361 markings/sec, 0 secs
lola: 49656 markings, 89767 edges, 6570 markings/sec, 5 secs
lola: 84339 markings, 153406 edges, 6937 markings/sec, 10 secs
lola: 119893 markings, 217511 edges, 7111 markings/sec, 15 secs
lola: 155312 markings, 281532 edges, 7084 markings/sec, 20 secs
lola: 190019 markings, 344953 edges, 6941 markings/sec, 25 secs
lola: 224685 markings, 408485 edges, 6933 markings/sec, 30 secs
lola: 259354 markings, 471827 edges, 6934 markings/sec, 35 secs
lola: 287033 markings, 550064 edges, 5536 markings/sec, 40 secs
lola: 311716 markings, 638212 edges, 4937 markings/sec, 45 secs
lola: 336526 markings, 726482 edges, 4962 markings/sec, 50 secs
lola: 360628 markings, 812394 edges, 4820 markings/sec, 55 secs
lola: 383311 markings, 904069 edges, 4537 markings/sec, 60 secs
lola: 407551 markings, 982191 edges, 4848 markings/sec, 65 secs
lola: 430842 markings, 1067735 edges, 4658 markings/sec, 70 secs
lola: 453294 markings, 1160108 edges, 4490 markings/sec, 75 secs
lola: 475618 markings, 1251463 edges, 4465 markings/sec, 80 secs
lola: 498244 markings, 1337742 edges, 4525 markings/sec, 85 secs
lola: 523703 markings, 1407509 edges, 5092 markings/sec, 90 secs
lola: 553801 markings, 1463437 edges, 6020 markings/sec, 95 secs
lola: 585275 markings, 1520336 edges, 6295 markings/sec, 100 secs
lola: 618043 markings, 1579905 edges, 6554 markings/sec, 105 secs
lola: 652645 markings, 1643174 edges, 6920 markings/sec, 110 secs
lola: 687383 markings, 1706688 edges, 6948 markings/sec, 115 secs
lola: 722121 markings, 1770196 edges, 6948 markings/sec, 120 secs
lola: 756752 markings, 1833490 edges, 6926 markings/sec, 125 secs
lola: 790201 markings, 1894442 edges, 6690 markings/sec, 130 secs
lola: 815164 markings, 1980096 edges, 4993 markings/sec, 135 secs
lola: 839904 markings, 2068932 edges, 4948 markings/sec, 140 secs
lola: 864815 markings, 2157721 edges, 4982 markings/sec, 145 secs
lola: 889348 markings, 2245366 edges, 4907 markings/sec, 150 secs
lola: 911246 markings, 2339037 edges, 4380 markings/sec, 155 secs
lola: 936991 markings, 2412644 edges, 5149 markings/sec, 160 secs
lola: 959242 markings, 2503086 edges, 4450 markings/sec, 165 secs
lola: 981876 markings, 2595897 edges, 4527 markings/sec, 170 secs
lola: 1005266 markings, 2681927 edges, 4678 markings/sec, 175 secs
lola: 1027994 markings, 2768137 edges, 4546 markings/sec, 180 secs
lola: 1057553 markings, 2836268 edges, 5912 markings/sec, 185 secs
lola: 1091541 markings, 2898441 edges, 6798 markings/sec, 190 secs
lola: 1125387 markings, 2960202 edges, 6769 markings/sec, 195 secs
lola: 1159066 markings, 3021399 edges, 6736 markings/sec, 200 secs
lola: 1193007 markings, 3083314 edges, 6788 markings/sec, 205 secs
lola: 1225002 markings, 3141279 edges, 6399 markings/sec, 210 secs
lola: 1256765 markings, 3198656 edges, 6353 markings/sec, 215 secs
lola: 1287114 markings, 3255013 edges, 6070 markings/sec, 220 secs
lola: 1316059 markings, 3313365 edges, 5789 markings/sec, 225 secs
lola: 1338175 markings, 3392622 edges, 4423 markings/sec, 230 secs
lola: 1360451 markings, 3472331 edges, 4455 markings/sec, 235 secs
lola: 1383045 markings, 3553041 edges, 4519 markings/sec, 240 secs
lola: 1405212 markings, 3632004 edges, 4433 markings/sec, 245 secs
lola: 1427081 markings, 3722573 edges, 4374 markings/sec, 250 secs
lola: 1452981 markings, 3801839 edges, 5180 markings/sec, 255 secs
lola: 1476343 markings, 3892701 edges, 4672 markings/sec, 260 secs
lola: 1499451 markings, 3987062 edges, 4622 markings/sec, 265 secs
lola: 1522586 markings, 4076841 edges, 4627 markings/sec, 270 secs
lola: 1545476 markings, 4164014 edges, 4578 markings/sec, 275 secs
lola: 1575423 markings, 4234294 edges, 5989 markings/sec, 280 secs
lola: 1609519 markings, 4296500 edges, 6819 markings/sec, 285 secs
lola: 1644322 markings, 4360165 edges, 6961 markings/sec, 290 secs
lola: 1678941 markings, 4423441 edges, 6924 markings/sec, 295 secs
lola: 1713854 markings, 4487694 edges, 6983 markings/sec, 300 secs
lola: 1750269 markings, 4552596 edges, 7283 markings/sec, 305 secs
lola: 1785687 markings, 4617382 edges, 7084 markings/sec, 310 secs
lola: 1819891 markings, 4679953 edges, 6841 markings/sec, 315 secs
lola: 1848145 markings, 4758542 edges, 5651 markings/sec, 320 secs
lola: 1873270 markings, 4848171 edges, 5025 markings/sec, 325 secs
lola: 1898168 markings, 4936732 edges, 4980 markings/sec, 330 secs
lola: 1922751 markings, 5024650 edges, 4917 markings/sec, 335 secs
lola: 1945811 markings, 5118873 edges, 4612 markings/sec, 340 secs
lola: 1971371 markings, 5198180 edges, 5112 markings/sec, 345 secs
lola: 1994888 markings, 5287737 edges, 4703 markings/sec, 350 secs
lola: 2017889 markings, 5382383 edges, 4600 markings/sec, 355 secs
lola: 2041249 markings, 5474772 edges, 4672 markings/sec, 360 secs
lola: 2064537 markings, 5562455 edges, 4658 markings/sec, 365 secs
lola: 2093774 markings, 5633122 edges, 5847 markings/sec, 370 secs
lola: 2128461 markings, 5696613 edges, 6937 markings/sec, 375 secs
lola: 2163308 markings, 5760490 edges, 6969 markings/sec, 380 secs
lola: 2197228 markings, 5822367 edges, 6784 markings/sec, 385 secs
lola: 2231274 markings, 5884467 edges, 6809 markings/sec, 390 secs
lola: 2266312 markings, 5948574 edges, 7008 markings/sec, 395 secs
lola: 2301443 markings, 6012902 edges, 7026 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1324764 KB
lola: time consumption: 1110 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 410 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3333)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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-18b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 491 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4302)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 37 markings, 36 edges

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

FORMULA FlexibleBarrier-PT-18b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 817 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p752)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p752)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: ========================================
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: 56 markings, 55 edges

FORMULA FlexibleBarrier-PT-18b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1225 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1640)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1640)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: ========================================
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

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

FORMULA FlexibleBarrier-PT-18b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p3952)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3952)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-18b-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: 15126 markings, 26982 edges, 3025 markings/sec, 0 secs
lola: 46625 markings, 84446 edges, 6300 markings/sec, 5 secs
lola: 79683 markings, 145302 edges, 6612 markings/sec, 10 secs
lola: 109843 markings, 202365 edges, 6032 markings/sec, 15 secs
lola: 141019 markings, 258955 edges, 6235 markings/sec, 20 secs
lola: 174090 markings, 319785 edges, 6614 markings/sec, 25 secs
lola: 208747 markings, 383838 edges, 6931 markings/sec, 30 secs
lola: 243166 markings, 447484 edges, 6884 markings/sec, 35 secs
lola: 274626 markings, 513144 edges, 6292 markings/sec, 40 secs
lola: 299376 markings, 601003 edges, 4950 markings/sec, 45 secs
lola: 323919 markings, 688989 edges, 4909 markings/sec, 50 secs
lola: 348990 markings, 777802 edges, 5014 markings/sec, 55 secs
lola: 373662 markings, 866553 edges, 4934 markings/sec, 60 secs
lola: 396062 markings, 959969 edges, 4480 markings/sec, 65 secs
lola: 421396 markings, 1036712 edges, 5067 markings/sec, 70 secs
lola: 443765 markings, 1128798 edges, 4474 markings/sec, 75 secs
lola: 466219 markings, 1221218 edges, 4491 markings/sec, 80 secs
lola: 488413 markings, 1313245 edges, 4439 markings/sec, 85 secs
lola: 512837 markings, 1389666 edges, 4885 markings/sec, 90 secs
lola: 544186 markings, 1454947 edges, 6270 markings/sec, 95 secs
lola: 577985 markings, 1517299 edges, 6760 markings/sec, 100 secs
lola: 611790 markings, 1579588 edges, 6761 markings/sec, 105 secs
lola: 645700 markings, 1642162 edges, 6782 markings/sec, 110 secs
lola: 679428 markings, 1704341 edges, 6746 markings/sec, 115 secs
lola: 712968 markings, 1766144 edges, 6708 markings/sec, 120 secs
lola: 746487 markings, 1827928 edges, 6704 markings/sec, 125 secs
lola: 779661 markings, 1888974 edges, 6635 markings/sec, 130 secs
lola: 805951 markings, 1963702 edges, 5258 markings/sec, 135 secs
lola: 830431 markings, 2050690 edges, 4896 markings/sec, 140 secs
lola: 855129 markings, 2139141 edges, 4940 markings/sec, 145 secs
lola: 879758 markings, 2226686 edges, 4926 markings/sec, 150 secs
lola: 903031 markings, 2312702 edges, 4655 markings/sec, 155 secs
lola: 925574 markings, 2396482 edges, 4509 markings/sec, 160 secs
lola: 949133 markings, 2478799 edges, 4712 markings/sec, 165 secs
lola: 971017 markings, 2568988 edges, 4377 markings/sec, 170 secs
lola: 992961 markings, 2659617 edges, 4389 markings/sec, 175 secs
lola: 1014914 markings, 2745165 edges, 4391 markings/sec, 180 secs
lola: 1039647 markings, 2819275 edges, 4947 markings/sec, 185 secs
lola: 1072483 markings, 2881352 edges, 6567 markings/sec, 190 secs
lola: 1105651 markings, 2942389 edges, 6634 markings/sec, 195 secs
lola: 1139192 markings, 3004196 edges, 6708 markings/sec, 200 secs
lola: 1173255 markings, 3067095 edges, 6813 markings/sec, 205 secs
lola: 1207440 markings, 3130201 edges, 6837 markings/sec, 210 secs
lola: 1241969 markings, 3194002 edges, 6906 markings/sec, 215 secs
lola: 1276042 markings, 3256880 edges, 6815 markings/sec, 220 secs
lola: 1309174 markings, 3317864 edges, 6626 markings/sec, 225 secs
lola: 1334226 markings, 3403126 edges, 5010 markings/sec, 230 secs
lola: 1358914 markings, 3491726 edges, 4938 markings/sec, 235 secs
lola: 1383845 markings, 3580201 edges, 4986 markings/sec, 240 secs
lola: 1408608 markings, 3668985 edges, 4953 markings/sec, 245 secs
lola: 1430697 markings, 3760460 edges, 4418 markings/sec, 250 secs
lola: 1455504 markings, 3836243 edges, 4961 markings/sec, 255 secs
lola: 1477580 markings, 3923212 edges, 4415 markings/sec, 260 secs
lola: 1499737 markings, 4014320 edges, 4431 markings/sec, 265 secs
lola: 1522803 markings, 4103693 edges, 4613 markings/sec, 270 secs
lola: 1545522 markings, 4190265 edges, 4544 markings/sec, 275 secs
lola: 1574604 markings, 4259314 edges, 5816 markings/sec, 280 secs
lola: 1607796 markings, 4320366 edges, 6638 markings/sec, 285 secs
lola: 1640327 markings, 4380151 edges, 6506 markings/sec, 290 secs
lola: 1673767 markings, 4442014 edges, 6688 markings/sec, 295 secs
lola: 1707863 markings, 4504805 edges, 6819 markings/sec, 300 secs
lola: 1741915 markings, 4567478 edges, 6810 markings/sec, 305 secs
lola: 1775869 markings, 4630120 edges, 6791 markings/sec, 310 secs
lola: 1808694 markings, 4691167 edges, 6565 markings/sec, 315 secs
lola: 1838857 markings, 4758698 edges, 6033 markings/sec, 320 secs
lola: 1863432 markings, 4846671 edges, 4915 markings/sec, 325 secs
lola: 1888103 markings, 4934362 edges, 4934 markings/sec, 330 secs
lola: 1912057 markings, 5020301 edges, 4791 markings/sec, 335 secs
lola: 1936769 markings, 5108026 edges, 4942 markings/sec, 340 secs
lola: 1958499 markings, 5198792 edges, 4346 markings/sec, 345 secs
lola: 1983595 markings, 5275691 edges, 5019 markings/sec, 350 secs
lola: 2005678 markings, 5366264 edges, 4417 markings/sec, 355 secs
lola: 2028108 markings, 5459323 edges, 4486 markings/sec, 360 secs
lola: 2049558 markings, 5548561 edges, 4290 markings/sec, 365 secs
lola: 2073785 markings, 5624916 edges, 4845 markings/sec, 370 secs
lola: 2105199 markings, 5690485 edges, 6283 markings/sec, 375 secs
lola: 2138920 markings, 5752625 edges, 6744 markings/sec, 380 secs
lola: 2172892 markings, 5815359 edges, 6794 markings/sec, 385 secs
lola: 2206679 markings, 5877620 edges, 6757 markings/sec, 390 secs
lola: 2240925 markings, 5940879 edges, 6849 markings/sec, 395 secs
lola: 2274910 markings, 6003611 edges, 6797 markings/sec, 400 secs
lola: 2309285 markings, 6067104 edges, 6875 markings/sec, 405 secs
lola: 2342616 markings, 6128482 edges, 6666 markings/sec, 410 secs
lola: 2369481 markings, 6207247 edges, 5373 markings/sec, 415 secs
lola: 2394176 markings, 6295159 edges, 4939 markings/sec, 420 secs
lola: 2418474 markings, 6381644 edges, 4860 markings/sec, 425 secs
lola: 2442671 markings, 6468372 edges, 4839 markings/sec, 430 secs
lola: 2465448 markings, 6554440 edges, 4555 markings/sec, 435 secs
lola: 2488533 markings, 6637048 edges, 4617 markings/sec, 440 secs
lola: 2512247 markings, 6721462 edges, 4743 markings/sec, 445 secs
lola: 2534719 markings, 6813917 edges, 4494 markings/sec, 450 secs
lola: 2557309 markings, 6906905 edges, 4518 markings/sec, 455 secs
lola: 2580172 markings, 6994231 edges, 4573 markings/sec, 460 secs
lola: 2607117 markings, 7067895 edges, 5389 markings/sec, 465 secs
lola: 2640949 markings, 7130292 edges, 6766 markings/sec, 470 secs
lola: 2675021 markings, 7193350 edges, 6814 markings/sec, 475 secs
lola: 2709174 markings, 7256411 edges, 6831 markings/sec, 480 secs
lola: 2743233 markings, 7319269 edges, 6812 markings/sec, 485 secs
lola: 2777707 markings, 7382990 edges, 6895 markings/sec, 490 secs
lola: 2811816 markings, 7445916 edges, 6822 markings/sec, 495 secs
lola: 2845547 markings, 7508100 edges, 6746 markings/sec, 500 secs
lola: 2876856 markings, 7572499 edges, 6262 markings/sec, 505 secs
lola: 2901470 markings, 7660186 edges, 4923 markings/sec, 510 secs
lola: 2926048 markings, 7747932 edges, 4916 markings/sec, 515 secs
lola: 2950254 markings, 7834325 edges, 4841 markings/sec, 520 secs
lola: 2974931 markings, 7921893 edges, 4935 markings/sec, 525 secs
lola: 2996459 markings, 8015582 edges, 4306 markings/sec, 530 secs
lola: 3022758 markings, 8090476 edges, 5260 markings/sec, 535 secs
lola: 3044807 markings, 8183303 edges, 4410 markings/sec, 540 secs
lola: 3067626 markings, 8276865 edges, 4564 markings/sec, 545 secs
lola: 3089899 markings, 8368913 edges, 4455 markings/sec, 550 secs
lola: 3113832 markings, 8445687 edges, 4787 markings/sec, 555 secs
lola: 3142616 markings, 8507682 edges, 5757 markings/sec, 560 secs
lola: 3174590 markings, 8568003 edges, 6395 markings/sec, 565 secs
lola: 3207723 markings, 8629000 edges, 6627 markings/sec, 570 secs
lola: 3240656 markings, 8689342 edges, 6587 markings/sec, 575 secs
lola: 3270717 markings, 8743968 edges, 6012 markings/sec, 580 secs
lola: 3300817 markings, 8800691 edges, 6020 markings/sec, 585 secs
lola: 3331712 markings, 8856868 edges, 6179 markings/sec, 590 secs
lola: 3361912 markings, 8912512 edges, 6040 markings/sec, 595 secs
lola: 3392020 markings, 8968320 edges, 6022 markings/sec, 600 secs
lola: 3416299 markings, 9051751 edges, 4856 markings/sec, 605 secs
lola: 3440367 markings, 9137927 edges, 4814 markings/sec, 610 secs
lola: 3464561 markings, 9224213 edges, 4839 markings/sec, 615 secs
lola: 3489210 markings, 9311843 edges, 4930 markings/sec, 620 secs
lola: 3511604 markings, 9404163 edges, 4479 markings/sec, 625 secs
lola: 3536393 markings, 9481396 edges, 4958 markings/sec, 630 secs
lola: 3558828 markings, 9568285 edges, 4487 markings/sec, 635 secs
lola: 3580746 markings, 9658527 edges, 4384 markings/sec, 640 secs
lola: 3602688 markings, 9746076 edges, 4388 markings/sec, 645 secs
lola: 3624994 markings, 9830442 edges, 4461 markings/sec, 650 secs
lola: 3651663 markings, 9899717 edges, 5334 markings/sec, 655 secs
lola: 3684868 markings, 9960801 edges, 6641 markings/sec, 660 secs
lola: 3718659 markings, 10023136 edges, 6758 markings/sec, 665 secs
lola: 3752354 markings, 10085206 edges, 6739 markings/sec, 670 secs
lola: 3786288 markings, 10147816 edges, 6787 markings/sec, 675 secs
lola: 3819785 markings, 10209527 edges, 6699 markings/sec, 680 secs
lola: 3853261 markings, 10271207 edges, 6695 markings/sec, 685 secs
lola: 3886371 markings, 10332097 edges, 6622 markings/sec, 690 secs
lola: 3917640 markings, 10395296 edges, 6254 markings/sec, 695 secs
lola: 3941985 markings, 10482800 edges, 4869 markings/sec, 700 secs
lola: 3966650 markings, 10570198 edges, 4933 markings/sec, 705 secs
lola: 3991057 markings, 10657867 edges, 4881 markings/sec, 710 secs
lola: 4015392 markings, 10744413 edges, 4867 markings/sec, 715 secs
lola: 4036358 markings, 10835388 edges, 4193 markings/sec, 720 secs
lola: 4061123 markings, 10906860 edges, 4953 markings/sec, 725 secs
lola: 4082921 markings, 10995566 edges, 4360 markings/sec, 730 secs
lola: 4105463 markings, 11087840 edges, 4508 markings/sec, 735 secs
lola: 4128948 markings, 11173718 edges, 4697 markings/sec, 740 secs
lola: 4151648 markings, 11260019 edges, 4540 markings/sec, 745 secs
lola: 4178304 markings, 11332638 edges, 5331 markings/sec, 750 secs
lola: 4206597 markings, 11407302 edges, 5659 markings/sec, 755 secs
lola: 4234871 markings, 11483718 edges, 5655 markings/sec, 760 secs
lola: 4263116 markings, 11559691 edges, 5649 markings/sec, 765 secs
lola: 4291511 markings, 11635338 edges, 5679 markings/sec, 770 secs
lola: 4320014 markings, 11711154 edges, 5701 markings/sec, 775 secs
lola: 4348630 markings, 11786914 edges, 5723 markings/sec, 780 secs
lola: 4377312 markings, 11862818 edges, 5736 markings/sec, 785 secs
lola: 4405568 markings, 11937852 edges, 5651 markings/sec, 790 secs
lola: 4434430 markings, 12014055 edges, 5772 markings/sec, 795 secs
lola: 4463090 markings, 12089917 edges, 5732 markings/sec, 800 secs
lola: 4491208 markings, 12164813 edges, 5624 markings/sec, 805 secs
lola: 4519526 markings, 12240025 edges, 5664 markings/sec, 810 secs
lola: 4547898 markings, 12315348 edges, 5674 markings/sec, 815 secs
lola: 4575301 markings, 12388847 edges, 5481 markings/sec, 820 secs
lola: 4602685 markings, 12462426 edges, 5477 markings/sec, 825 secs
lola: 4629811 markings, 12538035 edges, 5425 markings/sec, 830 secs
lola: 4651069 markings, 12636595 edges, 4252 markings/sec, 835 secs
lola: 4672752 markings, 12733845 edges, 4337 markings/sec, 840 secs
lola: 4694481 markings, 12834744 edges, 4346 markings/sec, 845 secs
lola: 4716078 markings, 12935754 edges, 4319 markings/sec, 850 secs
lola: 4737821 markings, 13036436 edges, 4349 markings/sec, 855 secs
lola: 4759667 markings, 13135012 edges, 4369 markings/sec, 860 secs
lola: 4780787 markings, 13233873 edges, 4224 markings/sec, 865 secs
lola: 4800732 markings, 13329602 edges, 3989 markings/sec, 870 secs
lola: 4821375 markings, 13429910 edges, 4129 markings/sec, 875 secs
lola: 4841057 markings, 13533119 edges, 3936 markings/sec, 880 secs
lola: 4858334 markings, 13639595 edges, 3455 markings/sec, 885 secs
lola: 4873001 markings, 13757538 edges, 2933 markings/sec, 890 secs
lola: 4890294 markings, 13864311 edges, 3459 markings/sec, 895 secs
lola: 4912487 markings, 13939938 edges, 4439 markings/sec, 900 secs
lola: 4934261 markings, 14023171 edges, 4355 markings/sec, 905 secs
lola: 4959019 markings, 14100011 edges, 4952 markings/sec, 910 secs
lola: 4986962 markings, 14170926 edges, 5589 markings/sec, 915 secs
lola: 5014626 markings, 14244616 edges, 5533 markings/sec, 920 secs
lola: 5042424 markings, 14318670 edges, 5560 markings/sec, 925 secs
lola: 5070349 markings, 14392725 edges, 5585 markings/sec, 930 secs
lola: 5098315 markings, 14466270 edges, 5593 markings/sec, 935 secs
lola: 5126305 markings, 14540423 edges, 5598 markings/sec, 940 secs
lola: 5154383 markings, 14615282 edges, 5616 markings/sec, 945 secs
lola: 5182497 markings, 14690292 edges, 5623 markings/sec, 950 secs
lola: 5210585 markings, 14765414 edges, 5618 markings/sec, 955 secs
lola: 5238717 markings, 14840840 edges, 5626 markings/sec, 960 secs
lola: 5266863 markings, 14916392 edges, 5629 markings/sec, 965 secs
lola: 5295150 markings, 14991879 edges, 5657 markings/sec, 970 secs
lola: 5323512 markings, 15067500 edges, 5672 markings/sec, 975 secs
lola: 5351381 markings, 15141640 edges, 5574 markings/sec, 980 secs
lola: 5378859 markings, 15213125 edges, 5496 markings/sec, 985 secs
lola: 5406001 markings, 15284970 edges, 5428 markings/sec, 990 secs
lola: 5427118 markings, 15379374 edges, 4223 markings/sec, 995 secs
lola: 5448782 markings, 15479317 edges, 4333 markings/sec, 1000 secs
lola: 5470344 markings, 15580049 edges, 4312 markings/sec, 1005 secs
lola: 5491626 markings, 15678437 edges, 4256 markings/sec, 1010 secs
lola: 5512867 markings, 15774554 edges, 4248 markings/sec, 1015 secs
lola: 5534847 markings, 15876208 edges, 4396 markings/sec, 1020 secs
lola: 5555661 markings, 15973843 edges, 4163 markings/sec, 1025 secs
lola: 5574420 markings, 16060473 edges, 3752 markings/sec, 1030 secs
lola: 5592969 markings, 16151093 edges, 3710 markings/sec, 1035 secs
lola: 5611219 markings, 16241110 edges, 3650 markings/sec, 1040 secs
lola: 5627871 markings, 16340613 edges, 3330 markings/sec, 1045 secs
lola: 5643945 markings, 16436271 edges, 3215 markings/sec, 1050 secs
lola: 5656184 markings, 16549234 edges, 2448 markings/sec, 1055 secs
lola: 5673870 markings, 16639722 edges, 3537 markings/sec, 1060 secs
lola: 5694710 markings, 16713055 edges, 4168 markings/sec, 1065 secs
lola: 5714570 markings, 16789799 edges, 3972 markings/sec, 1070 secs
lola: 5739973 markings, 16859447 edges, 5081 markings/sec, 1075 secs
lola: 5768526 markings, 16912874 edges, 5711 markings/sec, 1080 secs
lola: 5800251 markings, 16970964 edges, 6345 markings/sec, 1085 secs
lola: 5833001 markings, 17031021 edges, 6550 markings/sec, 1090 secs
lola: 5862973 markings, 17087714 edges, 5994 markings/sec, 1095 secs
lola: 5893753 markings, 17143487 edges, 6156 markings/sec, 1100 secs
lola: 5924585 markings, 17199654 edges, 6166 markings/sec, 1105 secs
lola: 5954820 markings, 17256500 edges, 6047 markings/sec, 1110 secs
lola: 5984816 markings, 17310934 edges, 5999 markings/sec, 1115 secs
lola: 6009268 markings, 17376723 edges, 4890 markings/sec, 1120 secs
lola: 6030960 markings, 17454114 edges, 4338 markings/sec, 1125 secs
lola: 6052750 markings, 17531581 edges, 4358 markings/sec, 1130 secs
lola: 6074692 markings, 17610190 edges, 4388 markings/sec, 1135 secs
lola: 6097942 markings, 17693164 edges, 4650 markings/sec, 1140 secs
lola: 6118714 markings, 17780162 edges, 4154 markings/sec, 1145 secs
lola: 6142876 markings, 17852800 edges, 4832 markings/sec, 1150 secs
lola: 6164219 markings, 17937992 edges, 4269 markings/sec, 1155 secs
lola: 6185649 markings, 18026351 edges, 4286 markings/sec, 1160 secs
lola: 6207389 markings, 18111678 edges, 4348 markings/sec, 1165 secs
lola: 6229742 markings, 18196659 edges, 4471 markings/sec, 1170 secs
lola: 6255960 markings, 18264239 edges, 5244 markings/sec, 1175 secs
lola: 6288458 markings, 18323881 edges, 6500 markings/sec, 1180 secs
lola: 6321330 markings, 18384291 edges, 6574 markings/sec, 1185 secs
lola: 6354079 markings, 18444498 edges, 6550 markings/sec, 1190 secs
lola: 6386919 markings, 18504797 edges, 6568 markings/sec, 1195 secs
lola: 6420236 markings, 18565991 edges, 6663 markings/sec, 1200 secs
lola: 6452906 markings, 18626652 edges, 6534 markings/sec, 1205 secs
lola: 6484947 markings, 18687132 edges, 6408 markings/sec, 1210 secs
lola: 6516956 markings, 18745321 edges, 6402 markings/sec, 1215 secs
lola: 6540863 markings, 18828000 edges, 4781 markings/sec, 1220 secs
lola: 6564672 markings, 18913292 edges, 4762 markings/sec, 1225 secs
lola: 6588743 markings, 18999189 edges, 4814 markings/sec, 1230 secs
lola: 6612969 markings, 19085206 edges, 4845 markings/sec, 1235 secs
lola: 6634901 markings, 19175982 edges, 4386 markings/sec, 1240 secs
lola: 6659207 markings, 19252193 edges, 4861 markings/sec, 1245 secs
lola: 6681518 markings, 19336796 edges, 4462 markings/sec, 1250 secs
lola: 6703030 markings, 19425472 edges, 4302 markings/sec, 1255 secs
lola: 6724999 markings, 19514221 edges, 4394 markings/sec, 1260 secs
lola: 6746466 markings, 19597153 edges, 4293 markings/sec, 1265 secs
lola: 6771577 markings, 19666218 edges, 5022 markings/sec, 1270 secs
lola: 6802607 markings, 19725171 edges, 6206 markings/sec, 1275 secs
lola: 6835083 markings, 19784416 edges, 6495 markings/sec, 1280 secs
lola: 6867724 markings, 19844380 edges, 6528 markings/sec, 1285 secs
lola: 6900361 markings, 19904331 edges, 6527 markings/sec, 1290 secs
lola: 6933227 markings, 19964615 edges, 6573 markings/sec, 1295 secs
lola: 6966030 markings, 20024753 edges, 6561 markings/sec, 1300 secs
lola: 6998579 markings, 20085486 edges, 6510 markings/sec, 1305 secs
lola: 7029741 markings, 20143476 edges, 6232 markings/sec, 1310 secs
lola: 7055403 markings, 20218672 edges, 5132 markings/sec, 1315 secs
lola: 7078786 markings, 20302529 edges, 4677 markings/sec, 1320 secs
lola: 7102314 markings, 20386544 edges, 4706 markings/sec, 1325 secs
lola: 7125914 markings, 20470712 edges, 4720 markings/sec, 1330 secs
lola: 7148927 markings, 20552603 edges, 4603 markings/sec, 1335 secs
lola: 7169233 markings, 20635014 edges, 4061 markings/sec, 1340 secs
lola: 7192301 markings, 20708503 edges, 4614 markings/sec, 1345 secs
lola: 7212689 markings, 20792811 edges, 4078 markings/sec, 1350 secs
lola: 7233601 markings, 20879567 edges, 4182 markings/sec, 1355 secs
lola: 7254718 markings, 20959524 edges, 4223 markings/sec, 1360 secs
lola: 7275445 markings, 21034098 edges, 4145 markings/sec, 1365 secs
lola: 7301261 markings, 21095567 edges, 5163 markings/sec, 1370 secs
lola: 7330587 markings, 21150560 edges, 5865 markings/sec, 1375 secs
lola: 7362536 markings, 21209103 edges, 6390 markings/sec, 1380 secs
lola: 7394612 markings, 21267774 edges, 6415 markings/sec, 1385 secs
lola: 7426563 markings, 21326707 edges, 6390 markings/sec, 1390 secs
lola: 7457811 markings, 21385285 edges, 6250 markings/sec, 1395 secs
lola: 7490065 markings, 21444440 edges, 6451 markings/sec, 1400 secs
lola: 7522193 markings, 21503312 edges, 6426 markings/sec, 1405 secs
lola: 7552758 markings, 21559972 edges, 6113 markings/sec, 1410 secs
lola: 7576983 markings, 21635157 edges, 4845 markings/sec, 1415 secs
lola: 7600360 markings, 21718546 edges, 4675 markings/sec, 1420 secs
lola: 7624041 markings, 21802784 edges, 4736 markings/sec, 1425 secs
lola: 7647708 markings, 21886979 edges, 4733 markings/sec, 1430 secs
lola: 7670942 markings, 21970540 edges, 4647 markings/sec, 1435 secs
lola: 7692284 markings, 22053968 edges, 4268 markings/sec, 1440 secs
lola: 7715454 markings, 22132007 edges, 4634 markings/sec, 1445 secs
lola: 7736754 markings, 22219637 edges, 4260 markings/sec, 1450 secs
lola: 7758250 markings, 22307947 edges, 4299 markings/sec, 1455 secs
lola: 7779251 markings, 22393312 edges, 4200 markings/sec, 1460 secs
lola: 7803143 markings, 22466954 edges, 4778 markings/sec, 1465 secs
lola: 7833058 markings, 22529249 edges, 5983 markings/sec, 1470 secs
lola: 7865460 markings, 22588713 edges, 6480 markings/sec, 1475 secs
lola: 7897974 markings, 22648341 edges, 6503 markings/sec, 1480 secs
lola: 7930473 markings, 22708230 edges, 6500 markings/sec, 1485 secs
lola: 7962003 markings, 22767978 edges, 6306 markings/sec, 1490 secs
lola: 7994587 markings, 22827354 edges, 6517 markings/sec, 1495 secs
lola: 8027245 markings, 22887323 edges, 6532 markings/sec, 1500 secs
lola: 8059287 markings, 22945901 edges, 6408 markings/sec, 1505 secs
lola: 8087820 markings, 23012830 edges, 5707 markings/sec, 1510 secs
lola: 8110845 markings, 23094953 edges, 4605 markings/sec, 1515 secs
lola: 8134265 markings, 23178339 edges, 4684 markings/sec, 1520 secs
lola: 8157824 markings, 23262186 edges, 4712 markings/sec, 1525 secs
lola: 8181305 markings, 23345958 edges, 4696 markings/sec, 1530 secs
lola: 8201751 markings, 23434174 edges, 4089 markings/sec, 1535 secs
lola: 8226200 markings, 23505779 edges, 4890 markings/sec, 1540 secs
lola: 8247374 markings, 23591011 edges, 4235 markings/sec, 1545 secs
lola: 8268717 markings, 23678772 edges, 4269 markings/sec, 1550 secs
lola: 8290597 markings, 23763534 edges, 4376 markings/sec, 1555 secs
lola: 8312173 markings, 23846393 edges, 4315 markings/sec, 1560 secs
lola: 8337575 markings, 23912155 edges, 5080 markings/sec, 1565 secs
lola: 8368314 markings, 23968081 edges, 6148 markings/sec, 1570 secs
lola: 8400176 markings, 24026749 edges, 6372 markings/sec, 1575 secs
lola: 8431414 markings, 24085433 edges, 6248 markings/sec, 1580 secs
lola: 8464063 markings, 24145393 edges, 6530 markings/sec, 1585 secs
lola: 8496894 markings, 24205735 edges, 6566 markings/sec, 1590 secs
lola: 8529525 markings, 24265650 edges, 6526 markings/sec, 1595 secs
lola: 8562577 markings, 24326323 edges, 6610 markings/sec, 1600 secs
lola: 8593866 markings, 24384592 edges, 6258 markings/sec, 1605 secs
lola: 8618623 markings, 24461543 edges, 4951 markings/sec, 1610 secs
lola: 8642110 markings, 24545141 edges, 4697 markings/sec, 1615 secs
lola: 8665686 markings, 24629082 edges, 4715 markings/sec, 1620 secs
lola: 8689391 markings, 24713537 edges, 4741 markings/sec, 1625 secs
lola: 8712424 markings, 24797802 edges, 4607 markings/sec, 1630 secs
lola: 8733962 markings, 24880154 edges, 4308 markings/sec, 1635 secs
lola: 8757012 markings, 24958945 edges, 4610 markings/sec, 1640 secs
lola: 8778320 markings, 25046048 edges, 4262 markings/sec, 1645 secs
lola: 8799951 markings, 25135125 edges, 4326 markings/sec, 1650 secs
lola: 8821017 markings, 25220737 edges, 4213 markings/sec, 1655 secs
lola: 8845184 markings, 25293705 edges, 4833 markings/sec, 1660 secs
lola: 8875186 markings, 25355927 edges, 6000 markings/sec, 1665 secs
lola: 8907788 markings, 25415812 edges, 6520 markings/sec, 1670 secs
lola: 8938812 markings, 25472505 edges, 6205 markings/sec, 1675 secs
lola: 8968345 markings, 25527774 edges, 5907 markings/sec, 1680 secs
lola: 8998878 markings, 25583253 edges, 6107 markings/sec, 1685 secs
lola: 9028703 markings, 25639696 edges, 5965 markings/sec, 1690 secs
lola: 9059846 markings, 25696195 edges, 6229 markings/sec, 1695 secs
lola: 9090719 markings, 25752359 edges, 6175 markings/sec, 1700 secs
lola: 9120668 markings, 25808720 edges, 5990 markings/sec, 1705 secs
lola: 9144319 markings, 25891650 edges, 4730 markings/sec, 1710 secs
lola: 9168210 markings, 25977414 edges, 4778 markings/sec, 1715 secs
lola: 9191898 markings, 26061792 edges, 4738 markings/sec, 1720 secs
lola: 9215664 markings, 26146307 edges, 4753 markings/sec, 1725 secs
lola: 9236969 markings, 26235438 edges, 4261 markings/sec, 1730 secs
lola: 9260630 markings, 26309496 edges, 4732 markings/sec, 1735 secs
lola: 9282865 markings, 26392219 edges, 4447 markings/sec, 1740 secs
lola: 9304400 markings, 26481009 edges, 4307 markings/sec, 1745 secs
lola: 9326051 markings, 26570086 edges, 4330 markings/sec, 1750 secs
lola: 9347868 markings, 26653390 edges, 4363 markings/sec, 1755 secs
lola: 9372666 markings, 26725527 edges, 4960 markings/sec, 1760 secs
lola: 9404814 markings, 26785119 edges, 6430 markings/sec, 1765 secs
lola: 9437583 markings, 26845311 edges, 6554 markings/sec, 1770 secs
lola: 9470581 markings, 26905972 edges, 6600 markings/sec, 1775 secs
lola: 9503020 markings, 26965558 edges, 6488 markings/sec, 1780 secs
lola: 9536818 markings, 27027837 edges, 6760 markings/sec, 1785 secs
lola: 9570936 markings, 27090844 edges, 6824 markings/sec, 1790 secs
lola: 9604785 markings, 27153265 edges, 6770 markings/sec, 1795 secs
lola: 9637279 markings, 27212838 edges, 6499 markings/sec, 1800 secs
lola: 9661792 markings, 27293246 edges, 4903 markings/sec, 1805 secs
lola: 9685556 markings, 27378233 edges, 4753 markings/sec, 1810 secs
lola: 9708535 markings, 27460219 edges, 4596 markings/sec, 1815 secs
lola: 9732392 markings, 27545110 edges, 4771 markings/sec, 1820 secs
lola: 9754949 markings, 27631506 edges, 4511 markings/sec, 1825 secs
lola: 9777317 markings, 27711022 edges, 4474 markings/sec, 1830 secs
lola: 9800278 markings, 27791746 edges, 4592 markings/sec, 1835 secs
lola: 9821615 markings, 27879623 edges, 4267 markings/sec, 1840 secs
lola: 9843480 markings, 27969373 edges, 4373 markings/sec, 1845 secs
lola: 9864933 markings, 28054419 edges, 4291 markings/sec, 1850 secs
lola: 9889199 markings, 28127138 edges, 4853 markings/sec, 1855 secs
lola: 9920988 markings, 28188339 edges, 6358 markings/sec, 1860 secs
lola: 9952202 markings, 28246792 edges, 6243 markings/sec, 1865 secs
lola: 9983879 markings, 28305144 edges, 6335 markings/sec, 1870 secs
lola: 10016503 markings, 28365064 edges, 6525 markings/sec, 1875 secs
lola: 10049066 markings, 28424854 edges, 6513 markings/sec, 1880 secs
lola: 10082020 markings, 28485341 edges, 6591 markings/sec, 1885 secs
lola: 10115020 markings, 28545967 edges, 6600 markings/sec, 1890 secs
lola: 10146036 markings, 28604819 edges, 6203 markings/sec, 1895 secs
lola: 10173606 markings, 28674547 edges, 5514 markings/sec, 1900 secs
lola: 10197125 markings, 28758294 edges, 4704 markings/sec, 1905 secs
lola: 10220698 markings, 28842171 edges, 4715 markings/sec, 1910 secs
lola: 10244318 markings, 28926120 edges, 4724 markings/sec, 1915 secs
lola: 10267750 markings, 29010451 edges, 4686 markings/sec, 1920 secs
lola: 10288397 markings, 29097318 edges, 4129 markings/sec, 1925 secs
lola: 10312982 markings, 29170189 edges, 4917 markings/sec, 1930 secs
lola: 10333885 markings, 29257967 edges, 4181 markings/sec, 1935 secs
lola: 10355431 markings, 29346180 edges, 4309 markings/sec, 1940 secs
lola: 10377676 markings, 29427901 edges, 4449 markings/sec, 1945 secs
lola: 10399531 markings, 29509931 edges, 4371 markings/sec, 1950 secs
lola: 10427513 markings, 29575442 edges, 5596 markings/sec, 1955 secs
lola: 10459949 markings, 29634951 edges, 6487 markings/sec, 1960 secs
lola: 10492539 markings, 29694715 edges, 6518 markings/sec, 1965 secs
lola: 10525149 markings, 29754621 edges, 6522 markings/sec, 1970 secs
lola: 10556731 markings, 29814444 edges, 6316 markings/sec, 1975 secs
lola: 10589514 markings, 29874496 edges, 6557 markings/sec, 1980 secs
lola: 10622403 markings, 29934927 edges, 6578 markings/sec, 1985 secs
lola: 10655030 markings, 29994850 edges, 6525 markings/sec, 1990 secs
lola: 10685446 markings, 30055398 edges, 6083 markings/sec, 1995 secs
lola: 10708609 markings, 30137951 edges, 4633 markings/sec, 2000 secs
lola: 10731969 markings, 30221165 edges, 4672 markings/sec, 2005 secs
lola: 10755499 markings, 30305535 edges, 4706 markings/sec, 2010 secs
lola: 10779088 markings, 30389892 edges, 4718 markings/sec, 2015 secs
lola: 10800310 markings, 30477804 edges, 4244 markings/sec, 2020 secs
lola: 10824129 markings, 30552075 edges, 4764 markings/sec, 2025 secs
lola: 10845882 markings, 30634760 edges, 4351 markings/sec, 2030 secs
lola: 10866676 markings, 30720044 edges, 4159 markings/sec, 2035 secs
lola: 10887776 markings, 30807118 edges, 4220 markings/sec, 2040 secs
lola: 10909423 markings, 30889918 edges, 4329 markings/sec, 2045 secs
lola: 10933686 markings, 30961776 edges, 4853 markings/sec, 2050 secs
lola: 10965876 markings, 31020764 edges, 6438 markings/sec, 2055 secs
lola: 10998400 markings, 31080472 edges, 6505 markings/sec, 2060 secs
lola: 11031044 markings, 31140416 edges, 6529 markings/sec, 2065 secs
lola: 11063839 markings, 31200608 edges, 6559 markings/sec, 2070 secs
lola: 11096784 markings, 31261007 edges, 6589 markings/sec, 2075 secs
lola: 11129212 markings, 31321609 edges, 6486 markings/sec, 2080 secs
lola: 11161636 markings, 31382501 edges, 6485 markings/sec, 2085 secs
lola: 11193698 markings, 31440819 edges, 6412 markings/sec, 2090 secs
lola: 11219496 markings, 31515688 edges, 5160 markings/sec, 2095 secs
lola: 11243053 markings, 31599697 edges, 4711 markings/sec, 2100 secs
lola: 11266575 markings, 31683996 edges, 4704 markings/sec, 2105 secs
lola: 11290160 markings, 31768241 edges, 4717 markings/sec, 2110 secs
lola: 11313598 markings, 31851568 edges, 4688 markings/sec, 2115 secs
lola: 11334611 markings, 31935959 edges, 4203 markings/sec, 2120 secs
lola: 11358125 markings, 32012619 edges, 4703 markings/sec, 2125 secs
lola: 11379386 markings, 32100158 edges, 4252 markings/sec, 2130 secs
lola: 11400966 markings, 32188799 edges, 4316 markings/sec, 2135 secs
lola: 11421949 markings, 32275512 edges, 4197 markings/sec, 2140 secs
lola: 11445486 markings, 32349808 edges, 4707 markings/sec, 2145 secs
lola: 11475414 markings, 32412172 edges, 5986 markings/sec, 2150 secs
lola: 11507919 markings, 32471845 edges, 6501 markings/sec, 2155 secs
lola: 11540042 markings, 32531379 edges, 6425 markings/sec, 2160 secs
lola: 11572026 markings, 32591452 edges, 6397 markings/sec, 2165 secs
lola: 11604916 markings, 32651557 edges, 6578 markings/sec, 2170 secs
lola: 11637837 markings, 32712102 edges, 6584 markings/sec, 2175 secs
lola: 11670872 markings, 32772884 edges, 6607 markings/sec, 2180 secs
lola: 11703276 markings, 32832171 edges, 6481 markings/sec, 2185 secs
lola: 11731531 markings, 32898047 edges, 5651 markings/sec, 2190 secs
lola: 11754950 markings, 32981584 edges, 4684 markings/sec, 2195 secs
lola: 11778567 markings, 33065587 edges, 4723 markings/sec, 2200 secs
lola: 11802314 markings, 33150082 edges, 4749 markings/sec, 2205 secs
lola: 11825935 markings, 33234391 edges, 4724 markings/sec, 2210 secs
lola: 11846226 markings, 33324208 edges, 4058 markings/sec, 2215 secs
lola: 11871216 markings, 33395108 edges, 4998 markings/sec, 2220 secs
lola: 11892360 markings, 33481636 edges, 4229 markings/sec, 2225 secs
lola: 11913933 markings, 33569869 edges, 4315 markings/sec, 2230 secs
lola: 11936042 markings, 33654039 edges, 4422 markings/sec, 2235 secs
lola: 11957577 markings, 33738036 edges, 4307 markings/sec, 2240 secs
lola: 11985050 markings, 33804033 edges, 5495 markings/sec, 2245 secs
lola: 12016377 markings, 33863034 edges, 6265 markings/sec, 2250 secs
lola: 12049042 markings, 33922827 edges, 6533 markings/sec, 2255 secs
lola: 12081796 markings, 33983003 edges, 6551 markings/sec, 2260 secs
lola: 12114656 markings, 34043407 edges, 6572 markings/sec, 2265 secs
lola: 12147649 markings, 34103973 edges, 6599 markings/sec, 2270 secs
lola: 12180588 markings, 34164604 edges, 6588 markings/sec, 2275 secs
lola: 12211834 markings, 34223398 edges, 6249 markings/sec, 2280 secs
lola: 12242521 markings, 34279481 edges, 6137 markings/sec, 2285 secs
lola: 12265364 markings, 34357589 edges, 4569 markings/sec, 2290 secs
lola: 12287783 markings, 34437528 edges, 4484 markings/sec, 2295 secs
lola: 12310486 markings, 34518134 edges, 4541 markings/sec, 2300 secs
lola: 12332830 markings, 34597811 edges, 4469 markings/sec, 2305 secs
lola: 12355552 markings, 34679212 edges, 4544 markings/sec, 2310 secs
lola: 12374676 markings, 34757480 edges, 3825 markings/sec, 2315 secs
lola: 12397971 markings, 34831640 edges, 4659 markings/sec, 2320 secs
lola: 12418295 markings, 34915547 edges, 4065 markings/sec, 2325 secs
lola: 12438551 markings, 34999059 edges, 4051 markings/sec, 2330 secs
lola: 12459576 markings, 35075094 edges, 4205 markings/sec, 2335 secs
lola: 12480568 markings, 35155510 edges, 4198 markings/sec, 2340 secs
lola: 12508431 markings, 35221909 edges, 5573 markings/sec, 2345 secs
lola: 12541267 markings, 35282159 edges, 6567 markings/sec, 2350 secs
lola: 12573988 markings, 35342171 edges, 6544 markings/sec, 2355 secs
lola: 12606551 markings, 35402827 edges, 6513 markings/sec, 2360 secs
lola: 12639311 markings, 35464077 edges, 6552 markings/sec, 2365 secs
lola: 12672516 markings, 35525711 edges, 6641 markings/sec, 2370 secs
lola: 12705921 markings, 35586753 edges, 6681 markings/sec, 2375 secs
lola: 12738825 markings, 35647282 edges, 6581 markings/sec, 2380 secs
lola: 12769291 markings, 35710577 edges, 6093 markings/sec, 2385 secs
lola: 12793080 markings, 35795385 edges, 4758 markings/sec, 2390 secs
lola: 12816991 markings, 35880381 edges, 4782 markings/sec, 2395 secs
lola: 12841111 markings, 35966663 edges, 4824 markings/sec, 2400 secs
lola: 12864640 markings, 36050815 edges, 4706 markings/sec, 2405 secs
lola: 12884095 markings, 36132276 edges, 3891 markings/sec, 2410 secs
lola: 12908231 markings, 36206747 edges, 4827 markings/sec, 2415 secs
lola: 12929611 markings, 36289940 edges, 4276 markings/sec, 2420 secs
lola: 12949416 markings, 36371172 edges, 3961 markings/sec, 2425 secs
lola: 12969853 markings, 36455235 edges, 4087 markings/sec, 2430 secs
lola: 12988644 markings, 36529241 edges, 3758 markings/sec, 2435 secs
lola: 13011866 markings, 36598765 edges, 4644 markings/sec, 2440 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1 1 1 1
lola: lola:
preliminary result: 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1 1 1 1 caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1 1 1 1
lola: memory consumption: 6939996 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 unknown unknown 1 1 1 1 1 1
lola: memory consumption: 6940364 KB
lola: time consumption: 3570 seconds

BK_STOP 1552866933162

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

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18b.tgz
mv FlexibleBarrier-PT-18b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;