Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r044-smll-155229658700022.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3817
Executing tool win2018
Input is CloudDeployment-PT-5b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r044-smll-155229658700022
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 4.0K Feb 9 08:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 9 08:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 07:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 07:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 4 23:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 2 01:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 2 01:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 29 15:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 15:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 CloudDeployment-PT-5b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552340692580

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-5b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-5b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-5b @ 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: 4657/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: Size of bit vector: 1525
lola: finding significant places
lola: 1525 places, 3132 transitions, 1504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2183 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-5b-UpperBounds.task
lola: MAX(p431) : MAX(p4) : MAX(p142) : MAX(p1435) : MAX(p105) : MAX(p269) : MAX(p79) : MAX(p544) : MAX(p470) : MAX(p231) : MAX(p1075) : MAX(p803) : MAX(p887) : MAX(p1357) : MAX(p1409) : MAX(p1115)
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(p431)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p431)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 75 markings, 74 edges
lola: ========================================

FORMULA CloudDeployment-PT-5b-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(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================

FORMULA CloudDeployment-PT-5b-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(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p142)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 64559 markings, 141951 edges, 12912 markings/sec, 0 secs
lola: 137394 markings, 320531 edges, 14567 markings/sec, 5 secs
lola: 212421 markings, 493834 edges, 15005 markings/sec, 10 secs
lola: 307333 markings, 634458 edges, 18982 markings/sec, 15 secs
lola: 381337 markings, 825223 edges, 14801 markings/sec, 20 secs
lola: 470518 markings, 985702 edges, 17836 markings/sec, 25 secs
lola: 538848 markings, 1185916 edges, 13666 markings/sec, 30 secs
lola: 625831 markings, 1348852 edges, 17397 markings/sec, 35 secs
lola: 695029 markings, 1545238 edges, 13840 markings/sec, 40 secs
lola: 777064 markings, 1715207 edges, 16407 markings/sec, 45 secs
lola: 851745 markings, 1902254 edges, 14936 markings/sec, 50 secs
lola: 926362 markings, 2084825 edges, 14923 markings/sec, 55 secs
lola: 1005860 markings, 2260837 edges, 15900 markings/sec, 60 secs
lola: 1073603 markings, 2459318 edges, 13549 markings/sec, 65 secs
lola: 1160614 markings, 2620469 edges, 17402 markings/sec, 70 secs
lola: 1222579 markings, 2835243 edges, 12393 markings/sec, 75 secs
lola: 1311210 markings, 2989750 edges, 17726 markings/sec, 80 secs
lola: 1376632 markings, 3198102 edges, 13084 markings/sec, 85 secs
lola: 1460193 markings, 3364950 edges, 16712 markings/sec, 90 secs
lola: 1517779 markings, 3588795 edges, 11517 markings/sec, 95 secs
lola: 1602822 markings, 3752093 edges, 17009 markings/sec, 100 secs
lola: 1659938 markings, 3975389 edges, 11423 markings/sec, 105 secs
lola: 1743460 markings, 4141204 edges, 16704 markings/sec, 110 secs
lola: 1804613 markings, 4354049 edges, 12231 markings/sec, 115 secs
lola: 1884953 markings, 4528588 edges, 16068 markings/sec, 120 secs
lola: 1949166 markings, 4732728 edges, 12843 markings/sec, 125 secs
lola: 2024588 markings, 4918805 edges, 15084 markings/sec, 130 secs
lola: 2093148 markings, 5112131 edges, 13712 markings/sec, 135 secs
lola: 2163442 markings, 5307877 edges, 14059 markings/sec, 140 secs
lola: 2236193 markings, 5497826 edges, 14550 markings/sec, 145 secs
lola: 2306008 markings, 5693323 edges, 13963 markings/sec, 150 secs
lola: 2385345 markings, 5869727 edges, 15867 markings/sec, 155 secs
lola: 2457887 markings, 6061642 edges, 14508 markings/sec, 160 secs
lola: 2529794 markings, 6250975 edges, 14381 markings/sec, 165 secs
lola: 2598186 markings, 6450369 edges, 13678 markings/sec, 170 secs
lola: 2673047 markings, 6633764 edges, 14972 markings/sec, 175 secs
lola: 2737855 markings, 6839107 edges, 12962 markings/sec, 180 secs
lola: 2816015 markings, 7015274 edges, 15632 markings/sec, 185 secs
lola: 2877709 markings, 7226830 edges, 12339 markings/sec, 190 secs
lola: 2958242 markings, 7399890 edges, 16107 markings/sec, 195 secs
lola: 3016358 markings, 7616669 edges, 11623 markings/sec, 200 secs
lola: 3100413 markings, 7785465 edges, 16811 markings/sec, 205 secs
lola: 3155482 markings, 8007498 edges, 11014 markings/sec, 210 secs
lola: 3241352 markings, 8173070 edges, 17174 markings/sec, 215 secs
lola: 3294732 markings, 8398023 edges, 10676 markings/sec, 220 secs
lola: 3385751 markings, 8549711 edges, 18204 markings/sec, 225 secs
lola: 3448396 markings, 8758705 edges, 12529 markings/sec, 230 secs
lola: 3532643 markings, 8924487 edges, 16849 markings/sec, 235 secs
lola: 3586881 markings, 9148253 edges, 10848 markings/sec, 240 secs
lola: 3672767 markings, 9308528 edges, 17177 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 223716 KB
lola: time consumption: 258 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1435)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1435)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 27 markings, 26 edges
lola: ========================================

FORMULA CloudDeployment-PT-5b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p105)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 66461 markings, 148180 edges, 13292 markings/sec, 0 secs
lola: 140310 markings, 327233 edges, 14770 markings/sec, 5 secs
lola: 216089 markings, 501756 edges, 15156 markings/sec, 10 secs
lola: 312724 markings, 643828 edges, 19327 markings/sec, 15 secs
lola: 386704 markings, 834626 edges, 14796 markings/sec, 20 secs
lola: 475787 markings, 998352 edges, 17817 markings/sec, 25 secs
lola: 545681 markings, 1196080 edges, 13979 markings/sec, 30 secs
lola: 630428 markings, 1365114 edges, 16949 markings/sec, 35 secs
lola: 703604 markings, 1557509 edges, 14635 markings/sec, 40 secs
lola: 781692 markings, 1738522 edges, 15618 markings/sec, 45 secs
lola: 861512 markings, 1918427 edges, 15964 markings/sec, 50 secs
lola: 930441 markings, 2120112 edges, 13786 markings/sec, 55 secs
lola: 1015949 markings, 2278735 edges, 17102 markings/sec, 60 secs
lola: 1077579 markings, 2491634 edges, 12326 markings/sec, 65 secs
lola: 1169144 markings, 2636914 edges, 18313 markings/sec, 70 secs
lola: 1230970 markings, 2849622 edges, 12365 markings/sec, 75 secs
lola: 1318788 markings, 3005076 edges, 17564 markings/sec, 80 secs
lola: 1384264 markings, 3210928 edges, 13095 markings/sec, 85 secs
lola: 1462778 markings, 3370962 edges, 15703 markings/sec, 90 secs
lola: 1521440 markings, 3597454 edges, 11732 markings/sec, 95 secs
lola: 1606293 markings, 3761715 edges, 16971 markings/sec, 100 secs
lola: 1662757 markings, 3988016 edges, 11293 markings/sec, 105 secs
lola: 1748125 markings, 4151242 edges, 17074 markings/sec, 110 secs
lola: 1806320 markings, 4371663 edges, 11639 markings/sec, 115 secs
lola: 1889636 markings, 4539848 edges, 16663 markings/sec, 120 secs
lola: 1951051 markings, 4752994 edges, 12283 markings/sec, 125 secs
lola: 2031110 markings, 4930496 edges, 16012 markings/sec, 130 secs
lola: 2095857 markings, 5134552 edges, 12949 markings/sec, 135 secs
lola: 2171466 markings, 5321683 edges, 15122 markings/sec, 140 secs
lola: 2240472 markings, 5519750 edges, 13801 markings/sec, 145 secs
lola: 2315076 markings, 5707572 edges, 14921 markings/sec, 150 secs
lola: 2389415 markings, 5893881 edges, 14868 markings/sec, 155 secs
lola: 2463240 markings, 6071279 edges, 14765 markings/sec, 160 secs
lola: 2532999 markings, 6267679 edges, 13952 markings/sec, 165 secs
lola: 2605000 markings, 6461819 edges, 14400 markings/sec, 170 secs
lola: 2677352 markings, 6651596 edges, 14470 markings/sec, 175 secs
lola: 2735226 markings, 6834629 edges, 11575 markings/sec, 180 secs
lola: 2814854 markings, 7010851 edges, 15926 markings/sec, 185 secs
lola: 2876353 markings, 7224590 edges, 12300 markings/sec, 190 secs
lola: 2948647 markings, 7372917 edges, 14459 markings/sec, 195 secs
lola: 3004151 markings, 7597687 edges, 11101 markings/sec, 200 secs
lola: 3091327 markings, 7760718 edges, 17435 markings/sec, 205 secs
lola: 3143540 markings, 7989856 edges, 10443 markings/sec, 210 secs
lola: 3224267 markings, 8133481 edges, 16145 markings/sec, 215 secs
lola: 3278013 markings, 8366901 edges, 10749 markings/sec, 220 secs
lola: 3363342 markings, 8504097 edges, 17066 markings/sec, 225 secs
lola: 3426126 markings, 8716485 edges, 12557 markings/sec, 230 secs
lola: 3505915 markings, 8865617 edges, 15958 markings/sec, 235 secs
lola: 3567841 markings, 9078733 edges, 12385 markings/sec, 240 secs
lola: 3647797 markings, 9255115 edges, 15991 markings/sec, 245 secs
lola: 3710320 markings, 9438936 edges, 12505 markings/sec, 250 secs
lola: 3781333 markings, 9632452 edges, 14203 markings/sec, 255 secs
lola: 3854214 markings, 9821223 edges, 14576 markings/sec, 260 secs
lola: 3922288 markings, 10021500 edges, 13615 markings/sec, 265 secs
lola: 3997687 markings, 10205082 edges, 15080 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 237680 KB
lola: time consumption: 534 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p269)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 377 markings, 405 edges
lola: ========================================

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

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

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

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

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

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

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

FORMULA CloudDeployment-PT-5b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1010 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1357)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 60 markings, 59 edges

FORMULA CloudDeployment-PT-5b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1409)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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 CloudDeployment-PT-5b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 3030 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1115)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 72 markings, 72 edges

FORMULA CloudDeployment-PT-5b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p142)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-5b-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: 66681 markings, 148521 edges, 13336 markings/sec, 0 secs
lola: 140064 markings, 326887 edges, 14677 markings/sec, 5 secs
lola: 215756 markings, 500529 edges, 15138 markings/sec, 10 secs
lola: 312634 markings, 643677 edges, 19376 markings/sec, 15 secs
lola: 386868 markings, 834863 edges, 14847 markings/sec, 20 secs
lola: 476192 markings, 999103 edges, 17865 markings/sec, 25 secs
lola: 546146 markings, 1196811 edges, 13991 markings/sec, 30 secs
lola: 630978 markings, 1366521 edges, 16966 markings/sec, 35 secs
lola: 700968 markings, 1553755 edges, 13998 markings/sec, 40 secs
lola: 780247 markings, 1728708 edges, 15856 markings/sec, 45 secs
lola: 855491 markings, 1908297 edges, 15049 markings/sec, 50 secs
lola: 928652 markings, 2103901 edges, 14632 markings/sec, 55 secs
lola: 1006814 markings, 2262358 edges, 15632 markings/sec, 60 secs
lola: 1073817 markings, 2461454 edges, 13401 markings/sec, 65 secs
lola: 1156355 markings, 2613400 edges, 16508 markings/sec, 70 secs
lola: 1219747 markings, 2830444 edges, 12678 markings/sec, 75 secs
lola: 1309496 markings, 2986608 edges, 17950 markings/sec, 80 secs
lola: 1376080 markings, 3197056 edges, 13317 markings/sec, 85 secs
lola: 1460725 markings, 3366121 edges, 16929 markings/sec, 90 secs
lola: 1513814 markings, 3581722 edges, 10618 markings/sec, 95 secs
lola: 1594155 markings, 3733426 edges, 16068 markings/sec, 100 secs
lola: 1656907 markings, 3946109 edges, 12550 markings/sec, 105 secs
lola: 1736075 markings, 4127048 edges, 15834 markings/sec, 110 secs
lola: 1802416 markings, 4332588 edges, 13268 markings/sec, 115 secs
lola: 1879905 markings, 4518566 edges, 15498 markings/sec, 120 secs
lola: 1947544 markings, 4719862 edges, 13528 markings/sec, 125 secs
lola: 2021612 markings, 4913547 edges, 14814 markings/sec, 130 secs
lola: 2092220 markings, 5107175 edges, 14122 markings/sec, 135 secs
lola: 2162658 markings, 5306474 edges, 14088 markings/sec, 140 secs
lola: 2236223 markings, 5498044 edges, 14713 markings/sec, 145 secs
lola: 2306949 markings, 5694705 edges, 14145 markings/sec, 150 secs
lola: 2385782 markings, 5872931 edges, 15767 markings/sec, 155 secs
lola: 2459961 markings, 6065287 edges, 14836 markings/sec, 160 secs
lola: 2531440 markings, 6257388 edges, 14296 markings/sec, 165 secs
lola: 2601362 markings, 6455629 edges, 13984 markings/sec, 170 secs
lola: 2675136 markings, 6642273 edges, 14755 markings/sec, 175 secs
lola: 2741026 markings, 6847436 edges, 13178 markings/sec, 180 secs
lola: 2816792 markings, 7018842 edges, 15153 markings/sec, 185 secs
lola: 2880011 markings, 7230471 edges, 12644 markings/sec, 190 secs
lola: 2960145 markings, 7406036 edges, 16027 markings/sec, 195 secs
lola: 3020156 markings, 7622735 edges, 12002 markings/sec, 200 secs
lola: 3103463 markings, 7794751 edges, 16661 markings/sec, 205 secs
lola: 3160992 markings, 8015874 edges, 11506 markings/sec, 210 secs
lola: 3240177 markings, 8170055 edges, 15837 markings/sec, 215 secs
lola: 3291050 markings, 8390185 edges, 10175 markings/sec, 220 secs
lola: 3380827 markings, 8538461 edges, 17955 markings/sec, 225 secs
lola: 3441540 markings, 8748081 edges, 12143 markings/sec, 230 secs
lola: 3523800 markings, 8905404 edges, 16452 markings/sec, 235 secs
lola: 3577989 markings, 9127894 edges, 10838 markings/sec, 240 secs
lola: 3660485 markings, 9282506 edges, 16499 markings/sec, 245 secs
lola: 3716072 markings, 9493767 edges, 11117 markings/sec, 250 secs
lola: 3799122 markings, 9663436 edges, 16610 markings/sec, 255 secs
lola: 3861052 markings, 9873414 edges, 12386 markings/sec, 260 secs
lola: 3937414 markings, 10050519 edges, 15272 markings/sec, 265 secs
lola: 4003700 markings, 10237146 edges, 13257 markings/sec, 270 secs
lola: 4071095 markings, 10426574 edges, 13479 markings/sec, 275 secs
lola: 4145050 markings, 10612165 edges, 14791 markings/sec, 280 secs
lola: 4206999 markings, 10811847 edges, 12390 markings/sec, 285 secs
lola: 4283539 markings, 10976202 edges, 15308 markings/sec, 290 secs
lola: 4342578 markings, 11192171 edges, 11808 markings/sec, 295 secs
lola: 4430170 markings, 11354918 edges, 17518 markings/sec, 300 secs
lola: 4496592 markings, 11558473 edges, 13284 markings/sec, 305 secs
lola: 4575369 markings, 11735961 edges, 15755 markings/sec, 310 secs
lola: 4636876 markings, 11948719 edges, 12301 markings/sec, 315 secs
lola: 4718911 markings, 12119925 edges, 16407 markings/sec, 320 secs
lola: 4776830 markings, 12339671 edges, 11584 markings/sec, 325 secs
lola: 4861460 markings, 12506082 edges, 16926 markings/sec, 330 secs
lola: 4917238 markings, 12729376 edges, 11156 markings/sec, 335 secs
lola: 5002156 markings, 12892782 edges, 16984 markings/sec, 340 secs
lola: 5055066 markings, 13122867 edges, 10582 markings/sec, 345 secs
lola: 5144359 markings, 13280592 edges, 17859 markings/sec, 350 secs
lola: 5195168 markings, 13512593 edges, 10162 markings/sec, 355 secs
lola: 5284504 markings, 13669570 edges, 17867 markings/sec, 360 secs
lola: 5334433 markings, 13899877 edges, 9986 markings/sec, 365 secs
lola: 5424179 markings, 14043945 edges, 17949 markings/sec, 370 secs
lola: 5484884 markings, 14253779 edges, 12141 markings/sec, 375 secs
lola: 5568671 markings, 14411137 edges, 16757 markings/sec, 380 secs
lola: 5626498 markings, 14623169 edges, 11565 markings/sec, 385 secs
lola: 5706722 markings, 14790589 edges, 16045 markings/sec, 390 secs
lola: 5770056 markings, 14988605 edges, 12667 markings/sec, 395 secs
lola: 5842422 markings, 15172030 edges, 14473 markings/sec, 400 secs
lola: 5912607 markings, 15357225 edges, 14037 markings/sec, 405 secs
lola: 5978731 markings, 15553704 edges, 13225 markings/sec, 410 secs
lola: 6053658 markings, 15729602 edges, 14985 markings/sec, 415 secs
lola: 6115152 markings, 15935960 edges, 12299 markings/sec, 420 secs
lola: 6193206 markings, 16105930 edges, 15611 markings/sec, 425 secs
lola: 6250162 markings, 16321211 edges, 11391 markings/sec, 430 secs
lola: 6332596 markings, 16484113 edges, 16487 markings/sec, 435 secs
lola: 6386374 markings, 16702888 edges, 10756 markings/sec, 440 secs
lola: 6475170 markings, 16855868 edges, 17759 markings/sec, 445 secs
lola: 6536784 markings, 17064409 edges, 12323 markings/sec, 450 secs
lola: 6619445 markings, 17227759 edges, 16532 markings/sec, 455 secs
lola: 6675446 markings, 17450204 edges, 11200 markings/sec, 460 secs
lola: 6759527 markings, 17609410 edges, 16816 markings/sec, 465 secs
lola: 6812635 markings, 17836424 edges, 10622 markings/sec, 470 secs
lola: 6898018 markings, 17991961 edges, 17077 markings/sec, 475 secs
lola: 6951549 markings, 18218962 edges, 10706 markings/sec, 480 secs
lola: 7036644 markings, 18375736 edges, 17019 markings/sec, 485 secs
lola: 7095513 markings, 18588115 edges, 11774 markings/sec, 490 secs
lola: 7175313 markings, 18759707 edges, 15960 markings/sec, 495 secs
lola: 7239317 markings, 18957952 edges, 12801 markings/sec, 500 secs
lola: 7311596 markings, 19145291 edges, 14456 markings/sec, 505 secs
lola: 7381876 markings, 19334156 edges, 14056 markings/sec, 510 secs
lola: 7442987 markings, 19543932 edges, 12222 markings/sec, 515 secs
lola: 7530405 markings, 19704238 edges, 17484 markings/sec, 520 secs
lola: 7596534 markings, 19906292 edges, 13226 markings/sec, 525 secs
lola: 7678034 markings, 20080321 edges, 16300 markings/sec, 530 secs
lola: 7737281 markings, 20293963 edges, 11849 markings/sec, 535 secs
lola: 7818593 markings, 20464114 edges, 16262 markings/sec, 540 secs
lola: 7875000 markings, 20684126 edges, 11281 markings/sec, 545 secs
lola: 7958727 markings, 20847490 edges, 16745 markings/sec, 550 secs
lola: 8013966 markings, 21071124 edges, 11048 markings/sec, 555 secs
lola: 8098256 markings, 21232525 edges, 16858 markings/sec, 560 secs
lola: 8154090 markings, 21453386 edges, 11167 markings/sec, 565 secs
lola: 8236885 markings, 21618096 edges, 16559 markings/sec, 570 secs
lola: 8298126 markings, 21826371 edges, 12248 markings/sec, 575 secs
lola: 8376599 markings, 22004117 edges, 15695 markings/sec, 580 secs
lola: 8441957 markings, 22204558 edges, 13072 markings/sec, 585 secs
lola: 8515040 markings, 22397601 edges, 14617 markings/sec, 590 secs
lola: 8585018 markings, 22589973 edges, 13996 markings/sec, 595 secs
lola: 8650915 markings, 22794310 edges, 13179 markings/sec, 600 secs
lola: 8722648 markings, 22987920 edges, 14347 markings/sec, 605 secs
lola: 8779292 markings, 23208874 edges, 11329 markings/sec, 610 secs
lola: 8854020 markings, 23393356 edges, 14946 markings/sec, 615 secs
lola: 8903355 markings, 23629062 edges, 9867 markings/sec, 620 secs
lola: 8981024 markings, 23804119 edges, 15534 markings/sec, 625 secs
lola: 9043806 markings, 24011771 edges, 12556 markings/sec, 630 secs
lola: 9108815 markings, 24216656 edges, 13002 markings/sec, 635 secs
lola: 9179822 markings, 24408980 edges, 14201 markings/sec, 640 secs
lola: 9237525 markings, 24627258 edges, 11541 markings/sec, 645 secs
lola: 9310514 markings, 24811997 edges, 14598 markings/sec, 650 secs
lola: 9360142 markings, 25046622 edges, 9926 markings/sec, 655 secs
lola: 9439268 markings, 25220487 edges, 15825 markings/sec, 660 secs
lola: 9498287 markings, 25439869 edges, 11804 markings/sec, 665 secs
lola: 9572196 markings, 25632766 edges, 14782 markings/sec, 670 secs
lola: 9642003 markings, 25827615 edges, 13961 markings/sec, 675 secs
lola: 9708793 markings, 26032820 edges, 13358 markings/sec, 680 secs
lola: 9780600 markings, 26228193 edges, 14361 markings/sec, 685 secs
lola: 9839116 markings, 26449707 edges, 11703 markings/sec, 690 secs
lola: 9913205 markings, 26636874 edges, 14818 markings/sec, 695 secs
lola: 9964319 markings, 26872257 edges, 10223 markings/sec, 700 secs
lola: 10042481 markings, 27049006 edges, 15632 markings/sec, 705 secs
lola: 10102114 markings, 27264180 edges, 11927 markings/sec, 710 secs
lola: 10170073 markings, 27466549 edges, 13592 markings/sec, 715 secs
lola: 10240935 markings, 27661582 edges, 14172 markings/sec, 720 secs
lola: 10301749 markings, 27877747 edges, 12163 markings/sec, 725 secs
lola: 10374032 markings, 28067151 edges, 14457 markings/sec, 730 secs
lola: 10427319 markings, 28299911 edges, 10657 markings/sec, 735 secs
lola: 10504951 markings, 28479086 edges, 15526 markings/sec, 740 secs
lola: 10557837 markings, 28711757 edges, 10577 markings/sec, 745 secs
lola: 10638582 markings, 28888520 edges, 16149 markings/sec, 750 secs
lola: 10703773 markings, 29090659 edges, 13038 markings/sec, 755 secs
lola: 10772896 markings, 29290256 edges, 13825 markings/sec, 760 secs
lola: 10843720 markings, 29486152 edges, 14165 markings/sec, 765 secs
lola: 10903490 markings, 29703777 edges, 11954 markings/sec, 770 secs
lola: 10976875 markings, 29893907 edges, 14677 markings/sec, 775 secs
lola: 11029457 markings, 30122784 edges, 10516 markings/sec, 780 secs
lola: 11106127 markings, 30300885 edges, 15334 markings/sec, 785 secs
lola: 11160753 markings, 30526707 edges, 10925 markings/sec, 790 secs
lola: 11233658 markings, 30717095 edges, 14581 markings/sec, 795 secs
lola: 11301557 markings, 30916357 edges, 13580 markings/sec, 800 secs
lola: 11363609 markings, 31129274 edges, 12410 markings/sec, 805 secs
lola: 11435556 markings, 31318746 edges, 14389 markings/sec, 810 secs
lola: 11490714 markings, 31546800 edges, 11032 markings/sec, 815 secs
lola: 11567957 markings, 31728339 edges, 15449 markings/sec, 820 secs
lola: 11615662 markings, 31969428 edges, 9541 markings/sec, 825 secs
lola: 11701052 markings, 32133148 edges, 17078 markings/sec, 830 secs
lola: 11762406 markings, 32342594 edges, 12271 markings/sec, 835 secs
lola: 11833633 markings, 32536401 edges, 14245 markings/sec, 840 secs
lola: 11902598 markings, 32733729 edges, 13793 markings/sec, 845 secs
lola: 11963191 markings, 32948446 edges, 12119 markings/sec, 850 secs
lola: 12036549 markings, 33137442 edges, 14672 markings/sec, 855 secs
lola: 12089803 markings, 33364815 edges, 10651 markings/sec, 860 secs
lola: 12166059 markings, 33543431 edges, 15251 markings/sec, 865 secs
lola: 12217814 markings, 33774734 edges, 10351 markings/sec, 870 secs
lola: 12293249 markings, 33957665 edges, 15087 markings/sec, 875 secs
lola: 12360055 markings, 34157734 edges, 13361 markings/sec, 880 secs
lola: 12421646 markings, 34370110 edges, 12318 markings/sec, 885 secs
lola: 12493607 markings, 34558716 edges, 14392 markings/sec, 890 secs
lola: 12549229 markings, 34785016 edges, 11124 markings/sec, 895 secs
lola: 12625772 markings, 34966582 edges, 15309 markings/sec, 900 secs
lola: 12671998 markings, 35209291 edges, 9245 markings/sec, 905 secs
lola: 12758044 markings, 35370486 edges, 17209 markings/sec, 910 secs
lola: 12818754 markings, 35580571 edges, 12142 markings/sec, 915 secs
lola: 12890670 markings, 35771916 edges, 14383 markings/sec, 920 secs
lola: 12959303 markings, 35969402 edges, 13727 markings/sec, 925 secs
lola: 13020029 markings, 36183487 edges, 12145 markings/sec, 930 secs
lola: 13092979 markings, 36371973 edges, 14590 markings/sec, 935 secs
lola: 13145908 markings, 36599097 edges, 10586 markings/sec, 940 secs
lola: 13222218 markings, 36776350 edges, 15262 markings/sec, 945 secs
lola: 13273595 markings, 37007026 edges, 10275 markings/sec, 950 secs
lola: 13348656 markings, 37189714 edges, 15012 markings/sec, 955 secs
lola: 13415494 markings, 37388700 edges, 13368 markings/sec, 960 secs
lola: 13477139 markings, 37600392 edges, 12329 markings/sec, 965 secs
lola: 13549002 markings, 37788543 edges, 14373 markings/sec, 970 secs
lola: 13603507 markings, 38015993 edges, 10901 markings/sec, 975 secs
lola: 13680723 markings, 38195615 edges, 15443 markings/sec, 980 secs
lola: 13727331 markings, 38435656 edges, 9322 markings/sec, 985 secs
lola: 13813427 markings, 38600375 edges, 17219 markings/sec, 990 secs
lola: 13874905 markings, 38813079 edges, 12296 markings/sec, 995 secs
lola: 13947746 markings, 39006536 edges, 14568 markings/sec, 1000 secs
lola: 14017481 markings, 39206654 edges, 13947 markings/sec, 1005 secs
lola: 14080177 markings, 39420976 edges, 12539 markings/sec, 1010 secs
lola: 14152252 markings, 39614721 edges, 14415 markings/sec, 1015 secs
lola: 14207922 markings, 39843258 edges, 11134 markings/sec, 1020 secs
lola: 14285100 markings, 40024062 edges, 15436 markings/sec, 1025 secs
lola: 14332067 markings, 40268355 edges, 9393 markings/sec, 1030 secs
lola: 14412861 markings, 40440330 edges, 16159 markings/sec, 1035 secs
lola: 14475225 markings, 40652562 edges, 12473 markings/sec, 1040 secs
lola: 14542292 markings, 40857340 edges, 13413 markings/sec, 1045 secs
lola: 14613511 markings, 41050396 edges, 14244 markings/sec, 1050 secs
lola: 14671627 markings, 41269908 edges, 11623 markings/sec, 1055 secs
lola: 14745938 markings, 41454843 edges, 14862 markings/sec, 1060 secs
lola: 14792753 markings, 41698937 edges, 9363 markings/sec, 1065 secs
lola: 14878374 markings, 41856861 edges, 17124 markings/sec, 1070 secs
lola: 14952625 markings, 42043488 edges, 14850 markings/sec, 1075 secs
lola: 15029330 markings, 42229918 edges, 15341 markings/sec, 1080 secs
lola: 15097934 markings, 42426593 edges, 13721 markings/sec, 1085 secs
lola: 15170991 markings, 42617658 edges, 14611 markings/sec, 1090 secs
lola: 15241777 markings, 42808723 edges, 14157 markings/sec, 1095 secs
lola: 15309920 markings, 43007441 edges, 13629 markings/sec, 1100 secs
lola: 15384836 markings, 43192182 edges, 14983 markings/sec, 1105 secs
lola: 15451640 markings, 43394614 edges, 13361 markings/sec, 1110 secs
lola: 15527798 markings, 43575119 edges, 15232 markings/sec, 1115 secs
lola: 15590528 markings, 43783226 edges, 12546 markings/sec, 1120 secs
lola: 15669221 markings, 43960806 edges, 15739 markings/sec, 1125 secs
lola: 15728962 markings, 44173424 edges, 11948 markings/sec, 1130 secs
lola: 15811461 markings, 44347484 edges, 16500 markings/sec, 1135 secs
lola: 15869612 markings, 44567539 edges, 11630 markings/sec, 1140 secs
lola: 15950365 markings, 44742119 edges, 16151 markings/sec, 1145 secs
lola: 16010018 markings, 44961577 edges, 11931 markings/sec, 1150 secs
lola: 16085833 markings, 45143852 edges, 15163 markings/sec, 1155 secs
lola: 16139836 markings, 45373995 edges, 10801 markings/sec, 1160 secs
lola: 16214379 markings, 45560049 edges, 14909 markings/sec, 1165 secs
lola: 16281566 markings, 45761481 edges, 13437 markings/sec, 1170 secs
lola: 16344202 markings, 45973044 edges, 12527 markings/sec, 1175 secs
lola: 16416345 markings, 46165338 edges, 14429 markings/sec, 1180 secs
lola: 16472110 markings, 46387915 edges, 11153 markings/sec, 1185 secs
lola: 16547955 markings, 46570664 edges, 15169 markings/sec, 1190 secs
lola: 16595534 markings, 46809983 edges, 9516 markings/sec, 1195 secs
lola: 16675319 markings, 46982205 edges, 15957 markings/sec, 1200 secs
lola: 16737495 markings, 47191826 edges, 12435 markings/sec, 1205 secs
lola: 16804644 markings, 47395749 edges, 13430 markings/sec, 1210 secs
lola: 16874580 markings, 47592025 edges, 13987 markings/sec, 1215 secs
lola: 16932799 markings, 47814033 edges, 11644 markings/sec, 1220 secs
lola: 17011185 markings, 47988123 edges, 15677 markings/sec, 1225 secs
lola: 17070791 markings, 48204716 edges, 11921 markings/sec, 1230 secs
lola: 17145626 markings, 48385675 edges, 14967 markings/sec, 1235 secs
lola: 17196600 markings, 48617764 edges, 10195 markings/sec, 1240 secs
lola: 17273085 markings, 48798547 edges, 15297 markings/sec, 1245 secs
lola: 17338495 markings, 49001100 edges, 13082 markings/sec, 1250 secs
lola: 17401725 markings, 49210846 edges, 12646 markings/sec, 1255 secs
lola: 17473603 markings, 49402377 edges, 14376 markings/sec, 1260 secs
lola: 17529298 markings, 49623975 edges, 11139 markings/sec, 1265 secs
lola: 17604954 markings, 49806219 edges, 15131 markings/sec, 1270 secs
lola: 17651819 markings, 50045251 edges, 9373 markings/sec, 1275 secs
lola: 17731828 markings, 50216625 edges, 16002 markings/sec, 1280 secs
lola: 17793494 markings, 50425169 edges, 12333 markings/sec, 1285 secs
lola: 17860238 markings, 50628314 edges, 13349 markings/sec, 1290 secs
lola: 17930111 markings, 50822872 edges, 13975 markings/sec, 1295 secs
lola: 17987447 markings, 51044506 edges, 11467 markings/sec, 1300 secs
lola: 18066446 markings, 51216197 edges, 15800 markings/sec, 1305 secs
lola: 18124580 markings, 51434812 edges, 11627 markings/sec, 1310 secs
lola: 18199534 markings, 51613898 edges, 14991 markings/sec, 1315 secs
lola: 18251659 markings, 51841678 edges, 10425 markings/sec, 1320 secs
lola: 18320594 markings, 52013792 edges, 13787 markings/sec, 1325 secs
lola: 18389398 markings, 52210455 edges, 13761 markings/sec, 1330 secs
lola: 18449468 markings, 52424737 edges, 12014 markings/sec, 1335 secs
lola: 18523014 markings, 52612893 edges, 14709 markings/sec, 1340 secs
lola: 18575388 markings, 52840354 edges, 10475 markings/sec, 1345 secs
lola: 18651855 markings, 53017285 edges, 15293 markings/sec, 1350 secs
lola: 18703878 markings, 53246290 edges, 10405 markings/sec, 1355 secs
lola: 18779136 markings, 53430109 edges, 15052 markings/sec, 1360 secs
lola: 18841486 markings, 53615729 edges, 12470 markings/sec, 1365 secs
lola: 18901883 markings, 53823128 edges, 12079 markings/sec, 1370 secs
lola: 18969163 markings, 53998679 edges, 13456 markings/sec, 1375 secs
lola: 19017724 markings, 54236876 edges, 9712 markings/sec, 1380 secs
lola: 19101855 markings, 54397763 edges, 16826 markings/sec, 1385 secs
lola: 19157614 markings, 54617525 edges, 11152 markings/sec, 1390 secs
lola: 19233671 markings, 54795299 edges, 15211 markings/sec, 1395 secs
lola: 19299332 markings, 54995687 edges, 13132 markings/sec, 1400 secs
lola: 19361694 markings, 55206756 edges, 12472 markings/sec, 1405 secs
lola: 19434042 markings, 55397204 edges, 14470 markings/sec, 1410 secs
lola: 19485324 markings, 55613100 edges, 10256 markings/sec, 1415 secs
lola: 19561296 markings, 55791352 edges, 15194 markings/sec, 1420 secs
lola: 19610141 markings, 56025910 edges, 9769 markings/sec, 1425 secs
lola: 19680878 markings, 56190545 edges, 14147 markings/sec, 1430 secs
lola: 19748763 markings, 56388046 edges, 13577 markings/sec, 1435 secs
lola: 19809186 markings, 56597289 edges, 12085 markings/sec, 1440 secs
lola: 19880378 markings, 56781198 edges, 14238 markings/sec, 1445 secs
lola: 19925593 markings, 57001722 edges, 9043 markings/sec, 1450 secs
lola: 20001580 markings, 57167165 edges, 15197 markings/sec, 1455 secs
lola: 20058372 markings, 57386124 edges, 11358 markings/sec, 1460 secs
lola: 20132913 markings, 57572577 edges, 14908 markings/sec, 1465 secs
lola: 20201448 markings, 57764259 edges, 13707 markings/sec, 1470 secs
lola: 20266214 markings, 57968140 edges, 12953 markings/sec, 1475 secs
lola: 20337381 markings, 58155338 edges, 14233 markings/sec, 1480 secs
lola: 20388845 markings, 58374946 edges, 10293 markings/sec, 1485 secs
lola: 20464901 markings, 58552244 edges, 15211 markings/sec, 1490 secs
lola: 20514763 markings, 58783892 edges, 9972 markings/sec, 1495 secs
lola: 20589946 markings, 58962858 edges, 15037 markings/sec, 1500 secs
lola: 20656495 markings, 59161452 edges, 13310 markings/sec, 1505 secs
lola: 20717946 markings, 59371824 edges, 12290 markings/sec, 1510 secs
lola: 20789905 markings, 59559095 edges, 14392 markings/sec, 1515 secs
lola: 20841781 markings, 59783981 edges, 10375 markings/sec, 1520 secs
lola: 20918501 markings, 59959604 edges, 15344 markings/sec, 1525 secs
lola: 20967171 markings, 60192675 edges, 9734 markings/sec, 1530 secs
lola: 21044233 markings, 60369602 edges, 15412 markings/sec, 1535 secs
lola: 21108689 markings, 60570259 edges, 12891 markings/sec, 1540 secs
lola: 21172056 markings, 60776604 edges, 12673 markings/sec, 1545 secs
lola: 21248448 markings, 60957119 edges, 15278 markings/sec, 1550 secs
lola: 21311158 markings, 61169931 edges, 12542 markings/sec, 1555 secs
lola: 21385523 markings, 61357520 edges, 14873 markings/sec, 1560 secs
lola: 21435507 markings, 61593175 edges, 9997 markings/sec, 1565 secs
lola: 21514124 markings, 61768430 edges, 15723 markings/sec, 1570 secs
lola: 21569142 markings, 61994274 edges, 11004 markings/sec, 1575 secs
lola: 21641628 markings, 62185992 edges, 14497 markings/sec, 1580 secs
lola: 21710828 markings, 62383378 edges, 13840 markings/sec, 1585 secs
lola: 21772645 markings, 62597331 edges, 12363 markings/sec, 1590 secs
lola: 21845140 markings, 62788515 edges, 14499 markings/sec, 1595 secs
lola: 21898603 markings, 63019312 edges, 10693 markings/sec, 1600 secs
lola: 21976585 markings, 63195825 edges, 15596 markings/sec, 1605 secs
lola: 22024305 markings, 63436934 edges, 9544 markings/sec, 1610 secs
lola: 22104421 markings, 63611544 edges, 16023 markings/sec, 1615 secs
lola: 22167480 markings, 63822697 edges, 12612 markings/sec, 1620 secs
lola: 22229422 markings, 64031505 edges, 12388 markings/sec, 1625 secs
lola: 22318833 markings, 64191884 edges, 17882 markings/sec, 1630 secs
lola: 22384884 markings, 64397107 edges, 13210 markings/sec, 1635 secs
lola: 22466417 markings, 64573479 edges, 16307 markings/sec, 1640 secs
lola: 22525852 markings, 64788497 edges, 11887 markings/sec, 1645 secs
lola: 22609153 markings, 64958432 edges, 16660 markings/sec, 1650 secs
lola: 22665489 markings, 65178936 edges, 11267 markings/sec, 1655 secs
lola: 22749546 markings, 65343767 edges, 16811 markings/sec, 1660 secs
lola: 22806004 markings, 65568333 edges, 11292 markings/sec, 1665 secs
lola: 22891630 markings, 65732662 edges, 17125 markings/sec, 1670 secs
lola: 22946680 markings, 65962460 edges, 11010 markings/sec, 1675 secs
lola: 23033392 markings, 66124829 edges, 17342 markings/sec, 1680 secs
lola: 23088016 markings, 66357390 edges, 10925 markings/sec, 1685 secs
lola: 23176270 markings, 66518741 edges, 17651 markings/sec, 1690 secs
lola: 23231154 markings, 66751700 edges, 10977 markings/sec, 1695 secs
lola: 23317531 markings, 66921074 edges, 17275 markings/sec, 1700 secs
lola: 23379282 markings, 67137837 edges, 12350 markings/sec, 1705 secs
lola: 23454363 markings, 67330195 edges, 15016 markings/sec, 1710 secs
lola: 23522759 markings, 67535442 edges, 13679 markings/sec, 1715 secs
lola: 23586712 markings, 67749963 edges, 12791 markings/sec, 1720 secs
lola: 23659226 markings, 67946278 edges, 14503 markings/sec, 1725 secs
lola: 23718029 markings, 68169302 edges, 11761 markings/sec, 1730 secs
lola: 23792974 markings, 68356168 edges, 14989 markings/sec, 1735 secs
lola: 23842092 markings, 68591581 edges, 9824 markings/sec, 1740 secs
lola: 23921203 markings, 68766914 edges, 15822 markings/sec, 1745 secs
lola: 23980289 markings, 68982574 edges, 11817 markings/sec, 1750 secs
lola: 24051241 markings, 69183412 edges, 14190 markings/sec, 1755 secs
lola: 24120279 markings, 69384792 edges, 13808 markings/sec, 1760 secs
lola: 24182652 markings, 69601350 edges, 12475 markings/sec, 1765 secs
lola: 24255687 markings, 69796671 edges, 14607 markings/sec, 1770 secs
lola: 24309798 markings, 70029996 edges, 10822 markings/sec, 1775 secs
lola: 24392978 markings, 70200193 edges, 16636 markings/sec, 1780 secs
lola: 24450881 markings, 70425291 edges, 11581 markings/sec, 1785 secs
lola: 24528619 markings, 70605107 edges, 15548 markings/sec, 1790 secs
lola: 24585560 markings, 70827966 edges, 11388 markings/sec, 1795 secs
lola: 24657704 markings, 71024187 edges, 14429 markings/sec, 1800 secs
lola: 24726410 markings, 71225665 edges, 13741 markings/sec, 1805 secs
lola: 24789155 markings, 71440070 edges, 12549 markings/sec, 1810 secs
lola: 24862642 markings, 71633431 edges, 14697 markings/sec, 1815 secs
lola: 24918069 markings, 71860254 edges, 11085 markings/sec, 1820 secs
lola: 24995677 markings, 72043550 edges, 15522 markings/sec, 1825 secs
lola: 25042972 markings, 72286883 edges, 9459 markings/sec, 1830 secs
lola: 25124592 markings, 72459327 edges, 16324 markings/sec, 1835 secs
lola: 25185683 markings, 72671669 edges, 12218 markings/sec, 1840 secs
lola: 25254162 markings, 72873911 edges, 13696 markings/sec, 1845 secs
lola: 25323898 markings, 73071523 edges, 13947 markings/sec, 1850 secs
lola: 25383176 markings, 73291593 edges, 11856 markings/sec, 1855 secs
lola: 25462908 markings, 73466639 edges, 15946 markings/sec, 1860 secs
lola: 25521231 markings, 73685497 edges, 11665 markings/sec, 1865 secs
lola: 25597390 markings, 73867504 edges, 15232 markings/sec, 1870 secs
lola: 25645102 markings, 74105541 edges, 9542 markings/sec, 1875 secs
lola: 25724327 markings, 74280720 edges, 15845 markings/sec, 1880 secs
lola: 25787770 markings, 74488583 edges, 12689 markings/sec, 1885 secs
lola: 25850470 markings, 74688251 edges, 12540 markings/sec, 1890 secs
lola: 25920688 markings, 74873252 edges, 14044 markings/sec, 1895 secs
lola: 25975074 markings, 75095907 edges, 10877 markings/sec, 1900 secs
lola: 26051389 markings, 75275424 edges, 15263 markings/sec, 1905 secs
lola: 26097234 markings, 75510899 edges, 9169 markings/sec, 1910 secs
lola: 26176041 markings, 75682914 edges, 15761 markings/sec, 1915 secs
lola: 26239634 markings, 75886619 edges, 12719 markings/sec, 1920 secs
lola: 26304004 markings, 76091366 edges, 12874 markings/sec, 1925 secs
lola: 26374412 markings, 76282458 edges, 14082 markings/sec, 1930 secs
lola: 26422412 markings, 76498570 edges, 9600 markings/sec, 1935 secs
lola: 26505176 markings, 76662506 edges, 16553 markings/sec, 1940 secs
lola: 26558483 markings, 76886759 edges, 10661 markings/sec, 1945 secs
lola: 26635775 markings, 77058659 edges, 15458 markings/sec, 1950 secs
lola: 26694577 markings, 77267155 edges, 11760 markings/sec, 1955 secs
lola: 26756667 markings, 77457878 edges, 12418 markings/sec, 1960 secs
lola: 26828227 markings, 77647019 edges, 14312 markings/sec, 1965 secs
lola: 26884021 markings, 77867015 edges, 11159 markings/sec, 1970 secs
lola: 26958862 markings, 78049082 edges, 14968 markings/sec, 1975 secs
lola: 27005026 markings, 78287621 edges, 9233 markings/sec, 1980 secs
lola: 27085038 markings, 78456915 edges, 16002 markings/sec, 1985 secs
lola: 27146211 markings, 78664997 edges, 12235 markings/sec, 1990 secs
lola: 27211054 markings, 78868224 edges, 12969 markings/sec, 1995 secs
lola: 27277488 markings, 79041134 edges, 13287 markings/sec, 2000 secs
lola: 27331591 markings, 79266472 edges, 10821 markings/sec, 2005 secs
lola: 27408349 markings, 79444833 edges, 15352 markings/sec, 2010 secs
lola: 27454182 markings, 79680007 edges, 9167 markings/sec, 2015 secs
lola: 27538075 markings, 79841579 edges, 16779 markings/sec, 2020 secs
lola: 27597566 markings, 80028624 edges, 11898 markings/sec, 2025 secs
lola: 27663672 markings, 80226323 edges, 13221 markings/sec, 2030 secs
lola: 27733862 markings, 80413672 edges, 14038 markings/sec, 2035 secs
lola: 27788882 markings, 80631030 edges, 11004 markings/sec, 2040 secs
lola: 27859104 markings, 80798117 edges, 14044 markings/sec, 2045 secs
lola: 27906841 markings, 81032504 edges, 9547 markings/sec, 2050 secs
lola: 27984057 markings, 81208339 edges, 15443 markings/sec, 2055 secs
lola: 28045243 markings, 81392193 edges, 12237 markings/sec, 2060 secs
lola: 28105230 markings, 81604359 edges, 11997 markings/sec, 2065 secs
lola: 28177180 markings, 81785070 edges, 14390 markings/sec, 2070 secs
lola: 28220740 markings, 82005774 edges, 8712 markings/sec, 2075 secs
lola: 28300123 markings, 82175150 edges, 15877 markings/sec, 2080 secs
lola: 28355515 markings, 82392174 edges, 11078 markings/sec, 2085 secs
lola: 28425875 markings, 82584673 edges, 14072 markings/sec, 2090 secs
lola: 28494217 markings, 82778858 edges, 13668 markings/sec, 2095 secs
lola: 28551999 markings, 82997918 edges, 11556 markings/sec, 2100 secs
lola: 28632355 markings, 83170769 edges, 16071 markings/sec, 2105 secs
lola: 28690871 markings, 83389986 edges, 11703 markings/sec, 2110 secs
lola: 28767118 markings, 83569226 edges, 15249 markings/sec, 2115 secs
lola: 28811789 markings, 83788848 edges, 8934 markings/sec, 2120 secs
lola: 28887165 markings, 83968141 edges, 15075 markings/sec, 2125 secs
lola: 28951431 markings, 84154340 edges, 12853 markings/sec, 2130 secs
lola: 29011308 markings, 84363665 edges, 11975 markings/sec, 2135 secs
lola: 29082404 markings, 84549520 edges, 14219 markings/sec, 2140 secs
lola: 29132197 markings, 84780032 edges, 9959 markings/sec, 2145 secs
lola: 29210592 markings, 84951737 edges, 15679 markings/sec, 2150 secs
lola: 29261450 markings, 85161351 edges, 10172 markings/sec, 2155 secs
lola: 29332315 markings, 85355090 edges, 14173 markings/sec, 2160 secs
lola: 29402082 markings, 85551010 edges, 13953 markings/sec, 2165 secs
lola: 29459308 markings, 85759907 edges, 11445 markings/sec, 2170 secs
lola: 29532719 markings, 85947046 edges, 14682 markings/sec, 2175 secs
lola: 29574103 markings, 86178341 edges, 8277 markings/sec, 2180 secs
lola: 29661090 markings, 86332877 edges, 17397 markings/sec, 2185 secs
lola: 29735421 markings, 86518738 edges, 14866 markings/sec, 2190 secs
lola: 29811351 markings, 86706347 edges, 15186 markings/sec, 2195 secs
lola: 29880597 markings, 86901072 edges, 13849 markings/sec, 2200 secs
lola: 29953166 markings, 87092676 edges, 14514 markings/sec, 2205 secs
lola: 30024086 markings, 87282507 edges, 14184 markings/sec, 2210 secs
lola: 30090923 markings, 87483474 edges, 13367 markings/sec, 2215 secs
lola: 30166911 markings, 87665581 edges, 15198 markings/sec, 2220 secs
lola: 30232745 markings, 87869726 edges, 13167 markings/sec, 2225 secs
lola: 30309955 markings, 88047942 edges, 15442 markings/sec, 2230 secs
lola: 30372006 markings, 88258108 edges, 12410 markings/sec, 2235 secs
lola: 30451380 markings, 88433925 edges, 15875 markings/sec, 2240 secs
lola: 30504458 markings, 88639355 edges, 10616 markings/sec, 2245 secs
lola: 30583703 markings, 88793418 edges, 15849 markings/sec, 2250 secs
lola: 30637637 markings, 89024715 edges, 10787 markings/sec, 2255 secs
lola: 30715508 markings, 89176672 edges, 15574 markings/sec, 2260 secs
lola: 30772587 markings, 89394524 edges, 11416 markings/sec, 2265 secs
lola: 30844764 markings, 89568558 edges, 14435 markings/sec, 2270 secs
lola: 30913438 markings, 89771960 edges, 13735 markings/sec, 2275 secs
lola: 30976573 markings, 89986337 edges, 12627 markings/sec, 2280 secs
lola: 31049625 markings, 90180870 edges, 14610 markings/sec, 2285 secs
lola: 31106391 markings, 90404901 edges, 11353 markings/sec, 2290 secs
lola: 31182382 markings, 90590873 edges, 15198 markings/sec, 2295 secs
lola: 31231478 markings, 90830246 edges, 9819 markings/sec, 2300 secs
lola: 31312160 markings, 91005830 edges, 16136 markings/sec, 2305 secs
lola: 31371818 markings, 91222566 edges, 11932 markings/sec, 2310 secs
lola: 31442060 markings, 91422714 edges, 14048 markings/sec, 2315 secs
lola: 31511451 markings, 91621998 edges, 13878 markings/sec, 2320 secs
lola: 31566920 markings, 91826497 edges, 11094 markings/sec, 2325 secs
lola: 31640234 markings, 92013542 edges, 14663 markings/sec, 2330 secs
lola: 31689029 markings, 92252186 edges, 9759 markings/sec, 2335 secs
lola: 31770610 markings, 92406923 edges, 16316 markings/sec, 2340 secs
lola: 31827594 markings, 92620297 edges, 11397 markings/sec, 2345 secs
lola: 31896617 markings, 92792796 edges, 13805 markings/sec, 2350 secs
lola: 31965243 markings, 92988444 edges, 13725 markings/sec, 2355 secs
lola: 32025498 markings, 93202654 edges, 12051 markings/sec, 2360 secs
lola: 32095421 markings, 93380774 edges, 13985 markings/sec, 2365 secs
lola: 32146259 markings, 93610649 edges, 10168 markings/sec, 2370 secs
lola: 32223659 markings, 93785869 edges, 15480 markings/sec, 2375 secs
lola: 32278854 markings, 94007743 edges, 11039 markings/sec, 2380 secs
lola: 32349791 markings, 94200494 edges, 14187 markings/sec, 2385 secs
lola: 32418808 markings, 94396660 edges, 13803 markings/sec, 2390 secs
lola: 32479451 markings, 94609397 edges, 12129 markings/sec, 2395 secs
lola: 32551843 markings, 94797143 edges, 14478 markings/sec, 2400 secs
lola: 32604039 markings, 95028400 edges, 10439 markings/sec, 2405 secs
lola: 32681714 markings, 95204410 edges, 15535 markings/sec, 2410 secs
lola: 32732660 markings, 95437478 edges, 10189 markings/sec, 2415 secs
lola: 32814146 markings, 95608652 edges, 16297 markings/sec, 2420 secs
lola: 32878091 markings, 95809556 edges, 12789 markings/sec, 2425 secs
lola: 32945657 markings, 96008513 edges, 13513 markings/sec, 2430 secs
lola: 33016478 markings, 96199044 edges, 14164 markings/sec, 2435 secs
lola: 33074748 markings, 96416385 edges, 11654 markings/sec, 2440 secs
lola: 33148673 markings, 96602692 edges, 14785 markings/sec, 2445 secs
lola: 33197140 markings, 96836611 edges, 9693 markings/sec, 2450 secs
lola: 33275676 markings, 97008655 edges, 15707 markings/sec, 2455 secs
lola: 33333135 markings, 97224484 edges, 11492 markings/sec, 2460 secs
lola: 33400814 markings, 97423002 edges, 13536 markings/sec, 2465 secs
lola: 33471654 markings, 97614299 edges, 14168 markings/sec, 2470 secs
lola: 33530810 markings, 97829507 edges, 11831 markings/sec, 2475 secs
lola: 33603214 markings, 98014537 edges, 14481 markings/sec, 2480 secs
lola: 33652655 markings, 98251082 edges, 9888 markings/sec, 2485 secs
lola: 33731974 markings, 98422767 edges, 15864 markings/sec, 2490 secs
lola: 33786630 markings, 98645046 edges, 10931 markings/sec, 2495 secs
lola: 33863602 markings, 98825806 edges, 15394 markings/sec, 2500 secs
lola: 33930558 markings, 99020311 edges, 13391 markings/sec, 2505 secs
lola: 33995750 markings, 99223121 edges, 13038 markings/sec, 2510 secs
lola: 34067044 markings, 99411796 edges, 14259 markings/sec, 2515 secs
lola: 34121356 markings, 99633248 edges, 10862 markings/sec, 2520 secs
lola: 34197423 markings, 99812393 edges, 15213 markings/sec, 2525 secs
lola: 34243329 markings, 100050768 edges, 9181 markings/sec, 2530 secs
lola: 34322442 markings, 100221891 edges, 15823 markings/sec, 2535 secs
lola: 34385562 markings, 100425973 edges, 12624 markings/sec, 2540 secs
lola: 34448861 markings, 100631421 edges, 12660 markings/sec, 2545 secs
lola: 34520483 markings, 100820097 edges, 14324 markings/sec, 2550 secs
lola: 34574783 markings, 101042693 edges, 10860 markings/sec, 2555 secs
lola: 34650463 markings, 101220614 edges, 15136 markings/sec, 2560 secs
lola: 34695794 markings, 101460190 edges, 9066 markings/sec, 2565 secs
lola: 34776966 markings, 101628454 edges, 16234 markings/sec, 2570 secs
lola: 34838396 markings, 101837139 edges, 12286 markings/sec, 2575 secs
lola: 34906662 markings, 102034978 edges, 13653 markings/sec, 2580 secs
lola: 34979405 markings, 102215925 edges, 14549 markings/sec, 2585 secs
lola: 35040220 markings, 102426601 edges, 12163 markings/sec, 2590 secs
lola: 35112893 markings, 102611843 edges, 14535 markings/sec, 2595 secs
lola: 35162040 markings, 102841678 edges, 9829 markings/sec, 2600 secs
lola: 35239604 markings, 103013372 edges, 15513 markings/sec, 2605 secs
lola: 35294968 markings, 103231369 edges, 11073 markings/sec, 2610 secs
lola: 35363505 markings, 103425460 edges, 13707 markings/sec, 2615 secs
lola: 35433433 markings, 103616105 edges, 13986 markings/sec, 2620 secs
lola: 35491397 markings, 103830828 edges, 11593 markings/sec, 2625 secs
lola: 35565221 markings, 104015039 edges, 14765 markings/sec, 2630 secs
lola: 35612666 markings, 104248327 edges, 9489 markings/sec, 2635 secs
lola: 35692095 markings, 104416578 edges, 15886 markings/sec, 2640 secs
lola: 35747130 markings, 104633525 edges, 11007 markings/sec, 2645 secs
lola: 35817532 markings, 104825750 edges, 14080 markings/sec, 2650 secs
lola: 35885857 markings, 105019265 edges, 13665 markings/sec, 2655 secs
lola: 35943246 markings, 105238206 edges, 11478 markings/sec, 2660 secs
lola: 36023914 markings, 105408817 edges, 16134 markings/sec, 2665 secs
lola: 36081244 markings, 105629326 edges, 11466 markings/sec, 2670 secs
lola: 36156397 markings, 105804088 edges, 15031 markings/sec, 2675 secs
lola: 36203687 markings, 106034979 edges, 9458 markings/sec, 2680 secs
lola: 36279237 markings, 106210091 edges, 15110 markings/sec, 2685 secs
lola: 36344361 markings, 106407898 edges, 13025 markings/sec, 2690 secs
lola: 36405858 markings, 106612559 edges, 12299 markings/sec, 2695 secs
lola: 36476782 markings, 106798387 edges, 14185 markings/sec, 2700 secs
lola: 36526617 markings, 107026273 edges, 9967 markings/sec, 2705 secs
lola: 36603767 markings, 107195105 edges, 15430 markings/sec, 2710 secs
lola: 36654368 markings, 107420257 edges, 10120 markings/sec, 2715 secs
lola: 36726050 markings, 107604386 edges, 14336 markings/sec, 2720 secs
lola: 36794717 markings, 107795145 edges, 13733 markings/sec, 2725 secs
lola: 36853966 markings, 108005659 edges, 11850 markings/sec, 2730 secs
lola: 36925324 markings, 108190293 edges, 14272 markings/sec, 2735 secs
lola: 36969347 markings, 108429630 edges, 8805 markings/sec, 2740 secs
lola: 37055671 markings, 108579464 edges, 17265 markings/sec, 2745 secs
lola: 37127476 markings, 108763792 edges, 14361 markings/sec, 2750 secs
lola: 37202207 markings, 108946543 edges, 14946 markings/sec, 2755 secs
lola: 37271122 markings, 109135316 edges, 13783 markings/sec, 2760 secs
lola: 37340823 markings, 109326443 edges, 13940 markings/sec, 2765 secs
lola: 37412426 markings, 109508370 edges, 14321 markings/sec, 2770 secs
lola: 37474950 markings, 109709643 edges, 12505 markings/sec, 2775 secs
lola: 37552476 markings, 109883258 edges, 15505 markings/sec, 2780 secs
lola: 37612544 markings, 110090706 edges, 12014 markings/sec, 2785 secs
lola: 37692494 markings, 110258841 edges, 15990 markings/sec, 2790 secs
lola: 37746847 markings, 110474716 edges, 10871 markings/sec, 2795 secs
lola: 37830017 markings, 110635932 edges, 16634 markings/sec, 2800 secs
lola: 37880459 markings, 110859138 edges, 10088 markings/sec, 2805 secs
lola: 37960477 markings, 111000792 edges, 16004 markings/sec, 2810 secs
lola: 38013332 markings, 111222631 edges, 10571 markings/sec, 2815 secs
lola: 38097009 markings, 111392323 edges, 16735 markings/sec, 2820 secs
lola: 38159936 markings, 111598628 edges, 12585 markings/sec, 2825 secs
lola: 38224258 markings, 111778552 edges, 12864 markings/sec, 2830 secs
lola: 38290871 markings, 111955116 edges, 13323 markings/sec, 2835 secs
lola: 38346909 markings, 112176598 edges, 11208 markings/sec, 2840 secs
lola: 38422274 markings, 112358885 edges, 15073 markings/sec, 2845 secs
lola: 38469017 markings, 112597223 edges, 9349 markings/sec, 2850 secs
lola: 38548462 markings, 112768476 edges, 15889 markings/sec, 2855 secs
lola: 38610389 markings, 112975962 edges, 12385 markings/sec, 2860 secs
lola: 38673668 markings, 113177028 edges, 12656 markings/sec, 2865 secs
lola: 38742416 markings, 113354821 edges, 13750 markings/sec, 2870 secs
lola: 38796701 markings, 113579476 edges, 10857 markings/sec, 2875 secs
lola: 38873053 markings, 113758443 edges, 15270 markings/sec, 2880 secs
lola: 38919422 markings, 113996908 edges, 9274 markings/sec, 2885 secs
lola: 38995264 markings, 114159582 edges, 15168 markings/sec, 2890 secs
lola: 39058635 markings, 114355520 edges, 12674 markings/sec, 2895 secs
lola: 39123311 markings, 114566334 edges, 12935 markings/sec, 2900 secs
lola: 39199063 markings, 114748761 edges, 15150 markings/sec, 2905 secs
lola: 39261889 markings, 114960673 edges, 12565 markings/sec, 2910 secs
lola: 39335615 markings, 115150762 edges, 14745 markings/sec, 2915 secs
lola: 39378277 markings, 115368349 edges, 8532 markings/sec, 2920 secs
lola: 39452671 markings, 115531218 edges, 14879 markings/sec, 2925 secs
lola: 39514602 markings, 115733070 edges, 12386 markings/sec, 2930 secs
lola: 39578446 markings, 115938975 edges, 12769 markings/sec, 2935 secs
lola: 39650084 markings, 116129145 edges, 14328 markings/sec, 2940 secs
lola: 39705540 markings, 116350471 edges, 11091 markings/sec, 2945 secs
lola: 39780843 markings, 116531835 edges, 15061 markings/sec, 2950 secs
lola: 39826583 markings, 116772255 edges, 9148 markings/sec, 2955 secs
lola: 39907489 markings, 116939765 edges, 16181 markings/sec, 2960 secs
lola: 39968440 markings, 117148549 edges, 12190 markings/sec, 2965 secs
lola: 40034932 markings, 117350621 edges, 13298 markings/sec, 2970 secs
lola: 40104892 markings, 117543133 edges, 13992 markings/sec, 2975 secs
lola: 40161021 markings, 117765705 edges, 11226 markings/sec, 2980 secs
lola: 40241345 markings, 117933871 edges, 16065 markings/sec, 2985 secs
lola: 40297246 markings, 118155995 edges, 11180 markings/sec, 2990 secs
lola: 40373062 markings, 118331171 edges, 15163 markings/sec, 2995 secs
lola: 40425655 markings, 118556518 edges, 10519 markings/sec, 3000 secs
lola: 40498454 markings, 118743157 edges, 14560 markings/sec, 3005 secs
lola: 40565865 markings, 118939762 edges, 13482 markings/sec, 3010 secs
lola: 40626309 markings, 119151782 edges, 12089 markings/sec, 3015 secs
lola: 40699343 markings, 119338363 edges, 14607 markings/sec, 3020 secs
lola: 40750568 markings, 119566200 edges, 10245 markings/sec, 3025 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2112748 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2112952 KB
lola: time consumption: 3570 seconds

BK_STOP 1552344263088

--------------------
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="CloudDeployment-PT-5b"
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-3817"
echo " Executing tool win2018"
echo " Input is CloudDeployment-PT-5b, 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 r044-smll-155229658700022"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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