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.r011-smll-155225030000028.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-3957
Executing tool win2018
Input is ASLink-PT-05a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-smll-155225030000028
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 676K
-rw-r--r-- 1 mcc users 4.5K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.2K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 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 516K 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 ASLink-PT-05a-UpperBounds-00
FORMULA_NAME ASLink-PT-05a-UpperBounds-01
FORMULA_NAME ASLink-PT-05a-UpperBounds-02
FORMULA_NAME ASLink-PT-05a-UpperBounds-03
FORMULA_NAME ASLink-PT-05a-UpperBounds-04
FORMULA_NAME ASLink-PT-05a-UpperBounds-05
FORMULA_NAME ASLink-PT-05a-UpperBounds-06
FORMULA_NAME ASLink-PT-05a-UpperBounds-07
FORMULA_NAME ASLink-PT-05a-UpperBounds-08
FORMULA_NAME ASLink-PT-05a-UpperBounds-09
FORMULA_NAME ASLink-PT-05a-UpperBounds-10
FORMULA_NAME ASLink-PT-05a-UpperBounds-11
FORMULA_NAME ASLink-PT-05a-UpperBounds-12
FORMULA_NAME ASLink-PT-05a-UpperBounds-13
FORMULA_NAME ASLink-PT-05a-UpperBounds-14
FORMULA_NAME ASLink-PT-05a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552282550610

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-05a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-05a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-05a @ 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: 3038/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1211
lola: finding significant places
lola: 1211 places, 1827 transitions, 979 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2066 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-05a-UpperBounds.task
lola: MAX(p339) : MAX(p1088) : MAX(p791) : MAX(p59) : MAX(p993) : MAX(p799) : MAX(p603) : MAX(p586) : MAX(p712) : MAX(p179) : MAX(p897) : MAX(p1194) : MAX(p1025) : MAX(p914) : MAX(p795) : MAX(p532)
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(p339)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p339)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 6 markings, 5 edges
lola: ========================================

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

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

FORMULA ASLink-PT-05a-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(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 200563 markings, 286982 edges, 40113 markings/sec, 0 secs
lola: 428025 markings, 613884 edges, 45492 markings/sec, 5 secs
lola: 657607 markings, 939034 edges, 45916 markings/sec, 10 secs
lola: 882499 markings, 1260946 edges, 44978 markings/sec, 15 secs
lola: 1114455 markings, 1588874 edges, 46391 markings/sec, 20 secs
lola: 1356214 markings, 1932310 edges, 48352 markings/sec, 25 secs
lola: 1588678 markings, 2260786 edges, 46493 markings/sec, 30 secs
lola: 1830543 markings, 2602951 edges, 48373 markings/sec, 35 secs
lola: 2073901 markings, 2949678 edges, 48672 markings/sec, 40 secs
lola: 2280179 markings, 3272221 edges, 41256 markings/sec, 45 secs
lola: 2493002 markings, 3609662 edges, 42565 markings/sec, 50 secs
lola: 2709721 markings, 3957878 edges, 43344 markings/sec, 55 secs
lola: 2927966 markings, 4304055 edges, 43649 markings/sec, 60 secs
lola: 3146150 markings, 4646743 edges, 43637 markings/sec, 65 secs
lola: 3366829 markings, 4995873 edges, 44136 markings/sec, 70 secs
lola: 3590801 markings, 5350876 edges, 44794 markings/sec, 75 secs
lola: 3807727 markings, 5688233 edges, 43385 markings/sec, 80 secs
lola: 4034294 markings, 6048945 edges, 45313 markings/sec, 85 secs
lola: 4260026 markings, 6406994 edges, 45146 markings/sec, 90 secs
lola: 4495830 markings, 6715282 edges, 47161 markings/sec, 95 secs
lola: 4743127 markings, 7028158 edges, 49459 markings/sec, 100 secs
lola: 4970399 markings, 7347262 edges, 45454 markings/sec, 105 secs
lola: 5197593 markings, 7677476 edges, 45439 markings/sec, 110 secs
lola: 5420529 markings, 8004445 edges, 44587 markings/sec, 115 secs
lola: 5654635 markings, 8296312 edges, 46821 markings/sec, 120 secs
lola: 5872376 markings, 8618186 edges, 43548 markings/sec, 125 secs
lola: 6095814 markings, 8949929 edges, 44688 markings/sec, 130 secs
lola: 6317499 markings, 9279574 edges, 44337 markings/sec, 135 secs
lola: 6542282 markings, 9608770 edges, 44957 markings/sec, 140 secs
lola: 6761488 markings, 9897716 edges, 43841 markings/sec, 145 secs
lola: 7000729 markings, 10197700 edges, 47848 markings/sec, 150 secs
lola: 7259272 markings, 10518372 edges, 51709 markings/sec, 155 secs
lola: 7514239 markings, 10836213 edges, 50993 markings/sec, 160 secs
lola: 7770056 markings, 11153735 edges, 51163 markings/sec, 165 secs
lola: 8023611 markings, 11468868 edges, 50711 markings/sec, 170 secs
lola: 8230338 markings, 11771943 edges, 41345 markings/sec, 175 secs
lola: 8447865 markings, 12084004 edges, 43505 markings/sec, 180 secs
lola: 8683434 markings, 12422538 edges, 47114 markings/sec, 185 secs
lola: 8919758 markings, 12759945 edges, 47265 markings/sec, 190 secs
lola: 9154116 markings, 13094174 edges, 46872 markings/sec, 195 secs
lola: 9387385 markings, 13431040 edges, 46654 markings/sec, 200 secs
lola: 9612101 markings, 13763537 edges, 44943 markings/sec, 205 secs
lola: 9842061 markings, 14093385 edges, 45992 markings/sec, 210 secs
lola: 10089289 markings, 14448602 edges, 49446 markings/sec, 215 secs
lola: 10326652 markings, 14787063 edges, 47473 markings/sec, 220 secs
lola: 10550860 markings, 15118058 edges, 44842 markings/sec, 225 secs
lola: 10792493 markings, 15465759 edges, 48327 markings/sec, 230 secs
lola: 11036535 markings, 15811692 edges, 48808 markings/sec, 235 secs
lola: 11261045 markings, 16143038 edges, 44902 markings/sec, 240 secs
lola: 11492302 markings, 16475950 edges, 46251 markings/sec, 245 secs
lola: 11734573 markings, 16822114 edges, 48454 markings/sec, 250 secs
lola: 11968364 markings, 17137242 edges, 46758 markings/sec, 255 secs
lola: 12192966 markings, 17438306 edges, 44920 markings/sec, 260 secs
lola: 12425716 markings, 17771292 edges, 46550 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: 744060 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(p993)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p993)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================

FORMULA ASLink-PT-05a-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p799)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p799)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 112838 markings, 218355 edges, 22568 markings/sec, 0 secs
lola: 232510 markings, 455783 edges, 23934 markings/sec, 5 secs
lola: 348258 markings, 688838 edges, 23150 markings/sec, 10 secs
lola: 452948 markings, 911408 edges, 20938 markings/sec, 15 secs
lola: 561187 markings, 1138328 edges, 21648 markings/sec, 20 secs
lola: 670368 markings, 1366221 edges, 21836 markings/sec, 25 secs
lola: 778827 markings, 1592858 edges, 21692 markings/sec, 30 secs
lola: 873898 markings, 1792471 edges, 19014 markings/sec, 35 secs
lola: 986483 markings, 2023083 edges, 22517 markings/sec, 40 secs
lola: 1093192 markings, 2248334 edges, 21342 markings/sec, 45 secs
lola: 1201708 markings, 2474704 edges, 21703 markings/sec, 50 secs
lola: 1316054 markings, 2706525 edges, 22869 markings/sec, 55 secs
lola: 1418768 markings, 2926055 edges, 20543 markings/sec, 60 secs
lola: 1528173 markings, 3153320 edges, 21881 markings/sec, 65 secs
lola: 1644395 markings, 3386725 edges, 23244 markings/sec, 70 secs
lola: 1746596 markings, 3605864 edges, 20440 markings/sec, 75 secs
lola: 1863092 markings, 3839596 edges, 23299 markings/sec, 80 secs
lola: 1969399 markings, 4061658 edges, 21261 markings/sec, 85 secs
lola: 2099560 markings, 4315553 edges, 26032 markings/sec, 90 secs
lola: 2243530 markings, 4585160 edges, 28794 markings/sec, 95 secs
lola: 2367715 markings, 4837741 edges, 24837 markings/sec, 100 secs
lola: 2511263 markings, 5106449 edges, 28710 markings/sec, 105 secs
lola: 2655445 markings, 5375986 edges, 28836 markings/sec, 110 secs
lola: 2805600 markings, 5650554 edges, 30031 markings/sec, 115 secs
lola: 2949129 markings, 5920720 edges, 28706 markings/sec, 120 secs
lola: 3091810 markings, 6190407 edges, 28536 markings/sec, 125 secs
lola: 3226531 markings, 6455368 edges, 26944 markings/sec, 130 secs
lola: 3364876 markings, 6721452 edges, 27669 markings/sec, 135 secs
lola: 3506284 markings, 6989797 edges, 28282 markings/sec, 140 secs
lola: 3648020 markings, 7258821 edges, 28347 markings/sec, 145 secs
lola: 3765414 markings, 7500348 edges, 23479 markings/sec, 150 secs
lola: 3899759 markings, 7762917 edges, 26869 markings/sec, 155 secs
lola: 4041134 markings, 8030328 edges, 28275 markings/sec, 160 secs
lola: 4176621 markings, 8293919 edges, 27097 markings/sec, 165 secs
lola: 4316783 markings, 8560839 edges, 28032 markings/sec, 170 secs
lola: 4455232 markings, 8826434 edges, 27690 markings/sec, 175 secs
lola: 4576127 markings, 9081342 edges, 24179 markings/sec, 180 secs
lola: 4709846 markings, 9341897 edges, 26744 markings/sec, 185 secs
lola: 4847432 markings, 9605802 edges, 27517 markings/sec, 190 secs
lola: 4983937 markings, 9868731 edges, 27301 markings/sec, 195 secs
lola: 5117098 markings, 10128775 edges, 26632 markings/sec, 200 secs
lola: 5254696 markings, 10392712 edges, 27520 markings/sec, 205 secs
lola: 5392744 markings, 10657652 edges, 27610 markings/sec, 210 secs
lola: 5527703 markings, 10919105 edges, 26992 markings/sec, 215 secs
lola: 5648043 markings, 11173469 edges, 24068 markings/sec, 220 secs
lola: 5788490 markings, 11439589 edges, 28089 markings/sec, 225 secs
lola: 5914457 markings, 11698318 edges, 25193 markings/sec, 230 secs
lola: 6058633 markings, 11966577 edges, 28835 markings/sec, 235 secs
lola: 6201254 markings, 12236354 edges, 28524 markings/sec, 240 secs
lola: 6344990 markings, 12506324 edges, 28747 markings/sec, 245 secs
lola: 6481179 markings, 12772827 edges, 27238 markings/sec, 250 secs
lola: 6619010 markings, 13040475 edges, 27566 markings/sec, 255 secs
lola: 6761312 markings, 13309451 edges, 28460 markings/sec, 260 secs
lola: 6898332 markings, 13575498 edges, 27404 markings/sec, 265 secs
lola: 7033768 markings, 13840115 edges, 27087 markings/sec, 270 secs
lola: 7174500 markings, 14105116 edges, 28146 markings/sec, 275 secs
lola: 7310561 markings, 14368756 edges, 27212 markings/sec, 280 secs
lola: 7436415 markings, 14626145 edges, 25171 markings/sec, 285 secs
lola: 7571580 markings, 14888128 edges, 27033 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 678800 KB
lola: time consumption: 583 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p603)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p603)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================

FORMULA ASLink-PT-05a-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p586)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p586)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 136753 markings, 159717 edges, 27351 markings/sec, 30 secs
lola: 253105 markings, 374136 edges, 23270 markings/sec, 35 secs
lola: 363238 markings, 583684 edges, 22027 markings/sec, 40 secs
lola: 492007 markings, 763683 edges, 25754 markings/sec, 45 secs
lola: 603165 markings, 976663 edges, 22232 markings/sec, 50 secs
lola: 724166 markings, 1164941 edges, 24200 markings/sec, 55 secs
lola: 846422 markings, 1366169 edges, 24451 markings/sec, 60 secs
lola: 949567 markings, 1592306 edges, 20629 markings/sec, 65 secs
lola: 1083262 markings, 1754074 edges, 26739 markings/sec, 70 secs
lola: 1200356 markings, 1968011 edges, 23419 markings/sec, 75 secs
lola: 1309104 markings, 2179363 edges, 21750 markings/sec, 80 secs
lola: 1438437 markings, 2357969 edges, 25867 markings/sec, 85 secs
lola: 1550303 markings, 2570085 edges, 22373 markings/sec, 90 secs
lola: 1670261 markings, 2761249 edges, 23992 markings/sec, 95 secs
lola: 1793098 markings, 2960889 edges, 24567 markings/sec, 100 secs
lola: 1896921 markings, 3186037 edges, 20765 markings/sec, 105 secs
lola: 2029369 markings, 3347759 edges, 26490 markings/sec, 110 secs
lola: 2146362 markings, 3561507 edges, 23399 markings/sec, 115 secs
lola: 2270639 markings, 3800102 edges, 24855 markings/sec, 120 secs
lola: 2474957 markings, 4052908 edges, 40864 markings/sec, 125 secs
lola: 2674315 markings, 4311379 edges, 39872 markings/sec, 130 secs
lola: 2871744 markings, 4575924 edges, 39486 markings/sec, 135 secs
lola: 3075333 markings, 4828189 edges, 40718 markings/sec, 140 secs
lola: 3269807 markings, 5100030 edges, 38895 markings/sec, 145 secs
lola: 3475909 markings, 5354848 edges, 41220 markings/sec, 150 secs
lola: 3678899 markings, 5610350 edges, 40598 markings/sec, 155 secs
lola: 3866460 markings, 5941644 edges, 37512 markings/sec, 160 secs
lola: 4040133 markings, 6269956 edges, 34735 markings/sec, 165 secs
lola: 4309647 markings, 6598183 edges, 53903 markings/sec, 170 secs
lola: 4612290 markings, 6963937 edges, 60529 markings/sec, 175 secs
lola: 4830654 markings, 7270487 edges, 43673 markings/sec, 180 secs
lola: 5125326 markings, 7642615 edges, 58934 markings/sec, 185 secs
lola: 5417594 markings, 8013317 edges, 58454 markings/sec, 190 secs
lola: 5626790 markings, 8272582 edges, 41839 markings/sec, 195 secs
lola: 5832390 markings, 8528042 edges, 41120 markings/sec, 200 secs
lola: 6003927 markings, 8872986 edges, 34307 markings/sec, 205 secs
lola: 6208544 markings, 9154783 edges, 40923 markings/sec, 210 secs
lola: 6414420 markings, 9432285 edges, 41175 markings/sec, 215 secs
lola: 6633899 markings, 9709519 edges, 43896 markings/sec, 220 secs
lola: 6851506 markings, 9984086 edges, 43521 markings/sec, 225 secs
lola: 7065921 markings, 10264061 edges, 42883 markings/sec, 230 secs
lola: 7272448 markings, 10523367 edges, 41305 markings/sec, 235 secs
lola: 7485507 markings, 10808854 edges, 42612 markings/sec, 240 secs
lola: 7702869 markings, 11083102 edges, 43472 markings/sec, 245 secs
lola: 7919413 markings, 11356461 edges, 43309 markings/sec, 250 secs
lola: 8129281 markings, 11629999 edges, 41974 markings/sec, 255 secs
lola: 8332641 markings, 11901985 edges, 40672 markings/sec, 260 secs
lola: 8548410 markings, 12173657 edges, 43154 markings/sec, 265 secs
lola: 8763870 markings, 12447867 edges, 43092 markings/sec, 270 secs
lola: 8977936 markings, 12723681 edges, 42813 markings/sec, 275 secs
lola: 9171707 markings, 13025909 edges, 38754 markings/sec, 280 secs
lola: 9353127 markings, 13349623 edges, 36284 markings/sec, 285 secs
lola: 9535120 markings, 13671396 edges, 36399 markings/sec, 290 secs
lola: 9720944 markings, 13982571 edges, 37165 markings/sec, 295 secs
lola: 9925497 markings, 14235491 edges, 40911 markings/sec, 300 secs
lola: 10122299 markings, 14494603 edges, 39360 markings/sec, 305 secs
lola: 10283424 markings, 14837688 edges, 32225 markings/sec, 310 secs
lola: 10494110 markings, 15102571 edges, 42137 markings/sec, 315 secs
lola: 10701861 markings, 15382489 edges, 41550 markings/sec, 320 secs
lola: 10920029 markings, 15657765 edges, 43634 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 747568 KB
lola: time consumption: 915 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p712)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p712)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 112700 markings, 218036 edges, 22540 markings/sec, 0 secs
lola: 232930 markings, 456736 edges, 24046 markings/sec, 5 secs
lola: 349427 markings, 691492 edges, 23299 markings/sec, 10 secs
lola: 454450 markings, 916241 edges, 21005 markings/sec, 15 secs
lola: 565253 markings, 1145889 edges, 22161 markings/sec, 20 secs
lola: 674459 markings, 1374266 edges, 21841 markings/sec, 25 secs
lola: 777251 markings, 1589700 edges, 20558 markings/sec, 30 secs
lola: 888792 markings, 1820422 edges, 22308 markings/sec, 35 secs
lola: 993467 markings, 2044218 edges, 20935 markings/sec, 40 secs
lola: 1107755 markings, 2277702 edges, 22858 markings/sec, 45 secs
lola: 1218319 markings, 2506902 edges, 22113 markings/sec, 50 secs
lola: 1332342 markings, 2738830 edges, 22805 markings/sec, 55 secs
lola: 1431291 markings, 2956762 edges, 19790 markings/sec, 60 secs
lola: 1546856 markings, 3189968 edges, 23113 markings/sec, 65 secs
lola: 1663197 markings, 3423853 edges, 23268 markings/sec, 70 secs
lola: 1767962 markings, 3646128 edges, 20953 markings/sec, 75 secs
lola: 1882923 markings, 3878979 edges, 22992 markings/sec, 80 secs
lola: 1990186 markings, 4102968 edges, 21453 markings/sec, 85 secs
lola: 2113514 markings, 4342705 edges, 24666 markings/sec, 90 secs
lola: 2251004 markings, 4607003 edges, 27498 markings/sec, 95 secs
lola: 2386255 markings, 4869757 edges, 27050 markings/sec, 100 secs
lola: 2527856 markings, 5136315 edges, 28320 markings/sec, 105 secs
lola: 2672715 markings, 5406195 edges, 28972 markings/sec, 110 secs
lola: 2819685 markings, 5676222 edges, 29394 markings/sec, 115 secs
lola: 2961437 markings, 5945366 edges, 28350 markings/sec, 120 secs
lola: 3105726 markings, 6216005 edges, 28858 markings/sec, 125 secs
lola: 3238468 markings, 6479721 edges, 26548 markings/sec, 130 secs
lola: 3379788 markings, 6748290 edges, 28264 markings/sec, 135 secs
lola: 3520391 markings, 7015925 edges, 28121 markings/sec, 140 secs
lola: 3659927 markings, 7283546 edges, 27907 markings/sec, 145 secs
lola: 3784736 markings, 7541854 edges, 24962 markings/sec, 150 secs
lola: 3924975 markings, 7808718 edges, 28048 markings/sec, 155 secs
lola: 4062963 markings, 8074443 edges, 27598 markings/sec, 160 secs
lola: 4202145 markings, 8341021 edges, 27836 markings/sec, 165 secs
lola: 4340616 markings, 8606106 edges, 27694 markings/sec, 170 secs
lola: 4470999 markings, 8858120 edges, 26077 markings/sec, 175 secs
lola: 4582406 markings, 9095357 edges, 22281 markings/sec, 180 secs
lola: 4720435 markings, 9360257 edges, 27606 markings/sec, 185 secs
lola: 4851874 markings, 9615838 edges, 26288 markings/sec, 190 secs
lola: 4988685 markings, 9877987 edges, 27362 markings/sec, 195 secs
lola: 5113394 markings, 10120402 edges, 24942 markings/sec, 200 secs
lola: 5251512 markings, 10385539 edges, 27624 markings/sec, 205 secs
lola: 5381272 markings, 10639339 edges, 25952 markings/sec, 210 secs
lola: 5517338 markings, 10899815 edges, 27213 markings/sec, 215 secs
lola: 5641457 markings, 11145434 edges, 24824 markings/sec, 220 secs
lola: 5769906 markings, 11405226 edges, 25690 markings/sec, 225 secs
lola: 5896176 markings, 11664627 edges, 25254 markings/sec, 230 secs
lola: 6040454 markings, 11933448 edges, 28856 markings/sec, 235 secs
lola: 6184384 markings, 12203968 edges, 28786 markings/sec, 240 secs
lola: 6327725 markings, 12473317 edges, 28668 markings/sec, 245 secs
lola: 6463898 markings, 12740204 edges, 27235 markings/sec, 250 secs
lola: 6605996 markings, 13010692 edges, 28420 markings/sec, 255 secs
lola: 6746966 markings, 13279719 edges, 28194 markings/sec, 260 secs
lola: 6882351 markings, 13545595 edges, 27077 markings/sec, 265 secs
lola: 7018607 markings, 13812300 edges, 27251 markings/sec, 270 secs
lola: 7163015 markings, 14082188 edges, 28882 markings/sec, 275 secs
lola: 7299657 markings, 14348374 edges, 27328 markings/sec, 280 secs
lola: 7427002 markings, 14607875 edges, 25469 markings/sec, 285 secs
lola: 7564599 markings, 14873605 edges, 27519 markings/sec, 290 secs
lola: 7698843 markings, 15137716 edges, 26849 markings/sec, 295 secs
lola: 7842347 markings, 15407467 edges, 28701 markings/sec, 300 secs
lola: 7980338 markings, 15674446 edges, 27598 markings/sec, 305 secs
lola: 8112809 markings, 15938095 edges, 26494 markings/sec, 310 secs
lola: 8247242 markings, 16202163 edges, 26887 markings/sec, 315 secs
lola: 8381279 markings, 16465515 edges, 26807 markings/sec, 320 secs
lola: 8523388 markings, 16733313 edges, 28422 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 758180 KB
lola: time consumption: 1246 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p179)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p179)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 104901 markings, 237676 edges, 20980 markings/sec, 0 secs
lola: 222764 markings, 509514 edges, 23573 markings/sec, 5 secs
lola: 346230 markings, 811307 edges, 24693 markings/sec, 10 secs
lola: 466411 markings, 1091357 edges, 24036 markings/sec, 15 secs
lola: 580956 markings, 1368981 edges, 22909 markings/sec, 20 secs
lola: 703891 markings, 1669923 edges, 24587 markings/sec, 25 secs
lola: 822728 markings, 1943013 edges, 23767 markings/sec, 30 secs
lola: 941291 markings, 2233795 edges, 23713 markings/sec, 35 secs
lola: 1062197 markings, 2516512 edges, 24181 markings/sec, 40 secs
lola: 1181934 markings, 2805180 edges, 23947 markings/sec, 45 secs
lola: 1304007 markings, 3103939 edges, 24415 markings/sec, 50 secs
lola: 1421700 markings, 3374441 edges, 23539 markings/sec, 55 secs
lola: 1545525 markings, 3677247 edges, 24765 markings/sec, 60 secs
lola: 1666529 markings, 3965515 edges, 24201 markings/sec, 65 secs
lola: 1783983 markings, 4243555 edges, 23491 markings/sec, 70 secs
lola: 1903291 markings, 4534183 edges, 23862 markings/sec, 75 secs
lola: 2020382 markings, 4854439 edges, 23418 markings/sec, 80 secs
lola: 2150457 markings, 5196969 edges, 26015 markings/sec, 85 secs
lola: 2279929 markings, 5439650 edges, 25894 markings/sec, 90 secs
lola: 2388978 markings, 5689130 edges, 21810 markings/sec, 95 secs
lola: 2503754 markings, 5952845 edges, 22955 markings/sec, 100 secs
lola: 2624452 markings, 6248541 edges, 24140 markings/sec, 105 secs
lola: 2738047 markings, 6520449 edges, 22719 markings/sec, 110 secs
lola: 2852910 markings, 6791970 edges, 22973 markings/sec, 115 secs
lola: 2971490 markings, 7082634 edges, 23716 markings/sec, 120 secs
lola: 3085590 markings, 7344942 edges, 22820 markings/sec, 125 secs
lola: 3205702 markings, 7639249 edges, 24022 markings/sec, 130 secs
lola: 3322185 markings, 7913109 edges, 23297 markings/sec, 135 secs
lola: 3437233 markings, 8189602 edges, 23010 markings/sec, 140 secs
lola: 3554705 markings, 8477867 edges, 23494 markings/sec, 145 secs
lola: 3668139 markings, 8738498 edges, 22687 markings/sec, 150 secs
lola: 3787166 markings, 9030285 edges, 23805 markings/sec, 155 secs
lola: 3901537 markings, 9292427 edges, 22874 markings/sec, 160 secs
lola: 4014108 markings, 9570388 edges, 22514 markings/sec, 165 secs
lola: 4128300 markings, 9846060 edges, 22838 markings/sec, 170 secs
lola: 4244411 markings, 10145018 edges, 23222 markings/sec, 175 secs
lola: 4358715 markings, 10464040 edges, 22861 markings/sec, 180 secs
lola: 4489478 markings, 10731643 edges, 26153 markings/sec, 185 secs
lola: 4601905 markings, 10972685 edges, 22485 markings/sec, 190 secs
lola: 4716269 markings, 11239139 edges, 22873 markings/sec, 195 secs
lola: 4836496 markings, 11533503 edges, 24045 markings/sec, 200 secs
lola: 4951100 markings, 11796851 edges, 22921 markings/sec, 205 secs
lola: 5070706 markings, 12090073 edges, 23921 markings/sec, 210 secs
lola: 5186465 markings, 12363745 edges, 23152 markings/sec, 215 secs
lola: 5302943 markings, 12642327 edges, 23296 markings/sec, 220 secs
lola: 5422533 markings, 12935389 edges, 23918 markings/sec, 225 secs
lola: 5536376 markings, 13196756 edges, 22769 markings/sec, 230 secs
lola: 5655151 markings, 13488272 edges, 23755 markings/sec, 235 secs
lola: 5769055 markings, 13752088 edges, 22781 markings/sec, 240 secs
lola: 5885802 markings, 14036580 edges, 23349 markings/sec, 245 secs
lola: 6004768 markings, 14327447 edges, 23793 markings/sec, 250 secs
lola: 6117878 markings, 14588092 edges, 22622 markings/sec, 255 secs
lola: 6235843 markings, 14877504 edges, 23593 markings/sec, 260 secs
lola: 6346489 markings, 15132026 edges, 22129 markings/sec, 265 secs
lola: 6465934 markings, 15436287 edges, 23889 markings/sec, 270 secs
lola: 6583582 markings, 15754872 edges, 23530 markings/sec, 275 secs
lola: 6705673 markings, 16048556 edges, 24418 markings/sec, 280 secs
lola: 6824189 markings, 16282971 edges, 23703 markings/sec, 285 secs
lola: 6932617 markings, 16533944 edges, 21686 markings/sec, 290 secs
lola: 7047511 markings, 16805346 edges, 22979 markings/sec, 295 secs
lola: 7161676 markings, 17078569 edges, 22833 markings/sec, 300 secs
lola: 7278417 markings, 17365405 edges, 23348 markings/sec, 305 secs
lola: 7389322 markings, 17620039 edges, 22181 markings/sec, 310 secs
lola: 7505559 markings, 17905497 edges, 23247 markings/sec, 315 secs
lola: 7616612 markings, 18161115 edges, 22211 markings/sec, 320 secs
lola: 7729807 markings, 18439291 edges, 22639 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 482376 KB
lola: time consumption: 1578 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p897)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p897)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 193 markings, 192 edges

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

FORMULA ASLink-PT-05a-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1025)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1025)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 884 markings, 892 edges
lola: ========================================

FORMULA ASLink-PT-05a-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 663 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p914)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p914)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 4 markings, 3 edges

FORMULA ASLink-PT-05a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 995 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p795)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p795)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 2 markings, 1 edges

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

FORMULA ASLink-PT-05a-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-05a-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: 192599 markings, 275555 edges, 38520 markings/sec, 0 secs
lola: 422061 markings, 604680 edges, 45892 markings/sec, 5 secs
lola: 653642 markings, 932880 edges, 46316 markings/sec, 10 secs
lola: 892408 markings, 1275409 edges, 47753 markings/sec, 15 secs
lola: 1123981 markings, 1601896 edges, 46315 markings/sec, 20 secs
lola: 1363968 markings, 1944539 edges, 47997 markings/sec, 25 secs
lola: 1594813 markings, 2269311 edges, 46169 markings/sec, 30 secs
lola: 1831130 markings, 2603894 edges, 47263 markings/sec, 35 secs
lola: 2069474 markings, 2943964 edges, 47669 markings/sec, 40 secs
lola: 2272394 markings, 3260600 edges, 40584 markings/sec, 45 secs
lola: 2466558 markings, 3569414 edges, 38833 markings/sec, 50 secs
lola: 2683007 markings, 3917517 edges, 43290 markings/sec, 55 secs
lola: 2899029 markings, 4256719 edges, 43204 markings/sec, 60 secs
lola: 3116924 markings, 4601653 edges, 43579 markings/sec, 65 secs
lola: 3336336 markings, 4946203 edges, 43882 markings/sec, 70 secs
lola: 3558185 markings, 5301228 edges, 44370 markings/sec, 75 secs
lola: 3773921 markings, 5632964 edges, 43147 markings/sec, 80 secs
lola: 3997349 markings, 5991268 edges, 44686 markings/sec, 85 secs
lola: 4223207 markings, 6349357 edges, 45172 markings/sec, 90 secs
lola: 4452401 markings, 6661637 edges, 45839 markings/sec, 95 secs
lola: 4696984 markings, 6971324 edges, 48917 markings/sec, 100 secs
lola: 4930292 markings, 7288414 edges, 46662 markings/sec, 105 secs
lola: 5147825 markings, 7603279 edges, 43507 markings/sec, 110 secs
lola: 5369888 markings, 7930014 edges, 44413 markings/sec, 115 secs
lola: 5602701 markings, 8225847 edges, 46563 markings/sec, 120 secs
lola: 5820229 markings, 8538762 edges, 43506 markings/sec, 125 secs
lola: 6030525 markings, 8854501 edges, 42059 markings/sec, 130 secs
lola: 6251096 markings, 9181542 edges, 44114 markings/sec, 135 secs
lola: 6469264 markings, 9506872 edges, 43634 markings/sec, 140 secs
lola: 6684099 markings, 9799009 edges, 42967 markings/sec, 145 secs
lola: 6902921 markings, 10075693 edges, 43764 markings/sec, 150 secs
lola: 7159846 markings, 10393030 edges, 51385 markings/sec, 155 secs
lola: 7415820 markings, 10711007 edges, 51195 markings/sec, 160 secs
lola: 7669559 markings, 11025264 edges, 50748 markings/sec, 165 secs
lola: 7923145 markings, 11342432 edges, 50717 markings/sec, 170 secs
lola: 8146005 markings, 11649033 edges, 44572 markings/sec, 175 secs
lola: 8346989 markings, 11941294 edges, 40197 markings/sec, 180 secs
lola: 8583603 markings, 12278399 edges, 47323 markings/sec, 185 secs
lola: 8817966 markings, 12614469 edges, 46873 markings/sec, 190 secs
lola: 9051698 markings, 12948386 edges, 46746 markings/sec, 195 secs
lola: 9282482 markings, 13280613 edges, 46157 markings/sec, 200 secs
lola: 9513299 markings, 13612415 edges, 46163 markings/sec, 205 secs
lola: 9734678 markings, 13941644 edges, 44276 markings/sec, 210 secs
lola: 9974810 markings, 14282635 edges, 48026 markings/sec, 215 secs
lola: 10216080 markings, 14633859 edges, 48254 markings/sec, 220 secs
lola: 10444725 markings, 14968328 edges, 45729 markings/sec, 225 secs
lola: 10675054 markings, 15296678 edges, 46066 markings/sec, 230 secs
lola: 10915917 markings, 15645128 edges, 48173 markings/sec, 235 secs
lola: 11148447 markings, 15975935 edges, 46506 markings/sec, 240 secs
lola: 11368288 markings, 16295836 edges, 43968 markings/sec, 245 secs
lola: 11610881 markings, 16645244 edges, 48519 markings/sec, 250 secs
lola: 11852925 markings, 16984210 edges, 48409 markings/sec, 255 secs
lola: 12075228 markings, 17277571 edges, 44461 markings/sec, 260 secs
lola: 12301128 markings, 17596651 edges, 45180 markings/sec, 265 secs
lola: 12519885 markings, 17894655 edges, 43751 markings/sec, 270 secs
lola: 12744636 markings, 18192024 edges, 44950 markings/sec, 275 secs
lola: 12961564 markings, 18483298 edges, 43386 markings/sec, 280 secs
lola: 13226436 markings, 18813333 edges, 52974 markings/sec, 285 secs
lola: 13499275 markings, 19151191 edges, 54568 markings/sec, 290 secs
lola: 13761134 markings, 19481419 edges, 52372 markings/sec, 295 secs
lola: 14020760 markings, 19809053 edges, 51925 markings/sec, 300 secs
lola: 14283207 markings, 20133063 edges, 52489 markings/sec, 305 secs
lola: 14545473 markings, 20464009 edges, 52453 markings/sec, 310 secs
lola: 14806870 markings, 20788142 edges, 52279 markings/sec, 315 secs
lola: 15066477 markings, 21121753 edges, 51921 markings/sec, 320 secs
lola: 15321352 markings, 21437835 edges, 50975 markings/sec, 325 secs
lola: 15584046 markings, 21764599 edges, 52539 markings/sec, 330 secs
lola: 15842004 markings, 22084474 edges, 51592 markings/sec, 335 secs
lola: 16105294 markings, 22421292 edges, 52658 markings/sec, 340 secs
lola: 16366444 markings, 22744653 edges, 52230 markings/sec, 345 secs
lola: 16606557 markings, 23062452 edges, 48023 markings/sec, 350 secs
lola: 16811864 markings, 23359867 edges, 41061 markings/sec, 355 secs
lola: 17037684 markings, 23714066 edges, 45164 markings/sec, 360 secs
lola: 17240201 markings, 24001248 edges, 40503 markings/sec, 365 secs
lola: 17442146 markings, 24294261 edges, 40389 markings/sec, 370 secs
lola: 17649663 markings, 24595593 edges, 41503 markings/sec, 375 secs
lola: 17896654 markings, 24937297 edges, 49398 markings/sec, 380 secs
lola: 18149296 markings, 25287259 edges, 50528 markings/sec, 385 secs
lola: 18388915 markings, 25631980 edges, 47924 markings/sec, 390 secs
lola: 18628067 markings, 25975905 edges, 47830 markings/sec, 395 secs
lola: 18873120 markings, 26308764 edges, 49011 markings/sec, 400 secs
lola: 19114666 markings, 26640658 edges, 48309 markings/sec, 405 secs
lola: 19338933 markings, 26961529 edges, 44853 markings/sec, 410 secs
lola: 19576756 markings, 27307087 edges, 47565 markings/sec, 415 secs
lola: 19826659 markings, 27649060 edges, 49981 markings/sec, 420 secs
lola: 20067999 markings, 27980838 edges, 48268 markings/sec, 425 secs
lola: 20291898 markings, 28301520 edges, 44780 markings/sec, 430 secs
lola: 20528682 markings, 28644218 edges, 47357 markings/sec, 435 secs
lola: 20776884 markings, 28986428 edges, 49640 markings/sec, 440 secs
lola: 21021773 markings, 29321998 edges, 48978 markings/sec, 445 secs
lola: 21253279 markings, 29656992 edges, 46301 markings/sec, 450 secs
lola: 21464810 markings, 29972623 edges, 42306 markings/sec, 455 secs
lola: 21692097 markings, 30309634 edges, 45457 markings/sec, 460 secs
lola: 21928315 markings, 30639816 edges, 47244 markings/sec, 465 secs
lola: 22160190 markings, 30973361 edges, 46375 markings/sec, 470 secs
lola: 22415074 markings, 31332100 edges, 50977 markings/sec, 475 secs
lola: 22669126 markings, 31691482 edges, 50810 markings/sec, 480 secs
lola: 22918764 markings, 32031606 edges, 49928 markings/sec, 485 secs
lola: 23127218 markings, 32345864 edges, 41691 markings/sec, 490 secs
lola: 23370161 markings, 32700551 edges, 48589 markings/sec, 495 secs
lola: 23604646 markings, 33032373 edges, 46897 markings/sec, 500 secs
lola: 23842562 markings, 33371915 edges, 47583 markings/sec, 505 secs
lola: 24092916 markings, 33726796 edges, 50071 markings/sec, 510 secs
lola: 24332258 markings, 34064961 edges, 47868 markings/sec, 515 secs
lola: 24583412 markings, 34408750 edges, 50231 markings/sec, 520 secs
lola: 24802184 markings, 34736359 edges, 43754 markings/sec, 525 secs
lola: 25021595 markings, 35059200 edges, 43882 markings/sec, 530 secs
lola: 25261441 markings, 35395852 edges, 47969 markings/sec, 535 secs
lola: 25472458 markings, 35696474 edges, 42203 markings/sec, 540 secs
lola: 25717702 markings, 36044386 edges, 49049 markings/sec, 545 secs
lola: 25967612 markings, 36393475 edges, 49982 markings/sec, 550 secs
lola: 26210820 markings, 36741984 edges, 48642 markings/sec, 555 secs
lola: 26452155 markings, 37054955 edges, 48267 markings/sec, 560 secs
lola: 26675861 markings, 37355720 edges, 44741 markings/sec, 565 secs
lola: 26893479 markings, 37647395 edges, 43524 markings/sec, 570 secs
lola: 27125833 markings, 37980594 edges, 46471 markings/sec, 575 secs
lola: 27365757 markings, 38317875 edges, 47985 markings/sec, 580 secs
lola: 27578418 markings, 38605598 edges, 42532 markings/sec, 585 secs
lola: 27805389 markings, 38909127 edges, 45394 markings/sec, 590 secs
lola: 28036728 markings, 39214485 edges, 46268 markings/sec, 595 secs
lola: 28253485 markings, 39505044 edges, 43351 markings/sec, 600 secs
lola: 28478063 markings, 39812423 edges, 44916 markings/sec, 605 secs
lola: 28730826 markings, 40134421 edges, 50553 markings/sec, 610 secs
lola: 29007206 markings, 40479103 edges, 55276 markings/sec, 615 secs
lola: 29284139 markings, 40824245 edges, 55387 markings/sec, 620 secs
lola: 29560173 markings, 41168323 edges, 55207 markings/sec, 625 secs
lola: 29822671 markings, 41493430 edges, 52500 markings/sec, 630 secs
lola: 30089046 markings, 41834895 edges, 53275 markings/sec, 635 secs
lola: 30366075 markings, 42176501 edges, 55406 markings/sec, 640 secs
lola: 30631205 markings, 42516074 edges, 53026 markings/sec, 645 secs
lola: 30901301 markings, 42852173 edges, 54019 markings/sec, 650 secs
lola: 31158498 markings, 43163143 edges, 51439 markings/sec, 655 secs
lola: 31424206 markings, 43491118 edges, 53142 markings/sec, 660 secs
lola: 31692837 markings, 43827137 edges, 53726 markings/sec, 665 secs
lola: 31951995 markings, 44148711 edges, 51832 markings/sec, 670 secs
lola: 32227412 markings, 44499050 edges, 55083 markings/sec, 675 secs
lola: 32497791 markings, 44834250 edges, 54076 markings/sec, 680 secs
lola: 32763382 markings, 45175738 edges, 53118 markings/sec, 685 secs
lola: 33035076 markings, 45512168 edges, 54339 markings/sec, 690 secs
lola: 33305062 markings, 45849062 edges, 53997 markings/sec, 695 secs
lola: 33572169 markings, 46173788 edges, 53421 markings/sec, 700 secs
lola: 33832958 markings, 46503231 edges, 52158 markings/sec, 705 secs
lola: 34098592 markings, 46838588 edges, 53127 markings/sec, 710 secs
lola: 34371647 markings, 47182840 edges, 54611 markings/sec, 715 secs
lola: 34639647 markings, 47526387 edges, 53600 markings/sec, 720 secs
lola: 34907781 markings, 47860812 edges, 53627 markings/sec, 725 secs
lola: 35175010 markings, 48185455 edges, 53446 markings/sec, 730 secs
lola: 35439609 markings, 48513541 edges, 52920 markings/sec, 735 secs
lola: 35700021 markings, 48844926 edges, 52082 markings/sec, 740 secs
lola: 35910006 markings, 49155822 edges, 41997 markings/sec, 745 secs
lola: 36120503 markings, 49460400 edges, 42099 markings/sec, 750 secs
lola: 36340116 markings, 49783372 edges, 43923 markings/sec, 755 secs
lola: 36565981 markings, 50128844 edges, 45173 markings/sec, 760 secs
lola: 36777151 markings, 50435133 edges, 42234 markings/sec, 765 secs
lola: 36987292 markings, 50742035 edges, 42028 markings/sec, 770 secs
lola: 37211397 markings, 51071762 edges, 44821 markings/sec, 775 secs
lola: 37392808 markings, 51330198 edges, 36282 markings/sec, 780 secs
lola: 37597099 markings, 51624235 edges, 40858 markings/sec, 785 secs
lola: 37813833 markings, 51943948 edges, 43347 markings/sec, 790 secs
lola: 38051050 markings, 52272679 edges, 47443 markings/sec, 795 secs
lola: 38310188 markings, 52631787 edges, 51828 markings/sec, 800 secs
lola: 38571453 markings, 52987642 edges, 52253 markings/sec, 805 secs
lola: 38830306 markings, 53341896 edges, 51771 markings/sec, 810 secs
lola: 39075730 markings, 53692540 edges, 49085 markings/sec, 815 secs
lola: 39322143 markings, 54043911 edges, 49283 markings/sec, 820 secs
lola: 39574821 markings, 54396788 edges, 50536 markings/sec, 825 secs
lola: 39827011 markings, 54752440 edges, 50438 markings/sec, 830 secs
lola: 40078861 markings, 55095586 edges, 50370 markings/sec, 835 secs
lola: 40336042 markings, 55441633 edges, 51436 markings/sec, 840 secs
lola: 40588061 markings, 55787893 edges, 50404 markings/sec, 845 secs
lola: 40839639 markings, 56121043 edges, 50316 markings/sec, 850 secs
lola: 41084931 markings, 56467317 edges, 49058 markings/sec, 855 secs
lola: 41326131 markings, 56816545 edges, 48240 markings/sec, 860 secs
lola: 41581791 markings, 57170268 edges, 51132 markings/sec, 865 secs
lola: 41832913 markings, 57519786 edges, 50224 markings/sec, 870 secs
lola: 42084331 markings, 57870266 edges, 50284 markings/sec, 875 secs
lola: 42341482 markings, 58219343 edges, 51430 markings/sec, 880 secs
lola: 42593243 markings, 58565450 edges, 50352 markings/sec, 885 secs
lola: 42845344 markings, 58901653 edges, 50420 markings/sec, 890 secs
lola: 43089628 markings, 59247100 edges, 48857 markings/sec, 895 secs
lola: 43331302 markings, 59596503 edges, 48335 markings/sec, 900 secs
lola: 43586190 markings, 59949570 edges, 50978 markings/sec, 905 secs
lola: 43836819 markings, 60298403 edges, 50126 markings/sec, 910 secs
lola: 44087332 markings, 60647613 edges, 50103 markings/sec, 915 secs
lola: 44342632 markings, 60994509 edges, 51060 markings/sec, 920 secs
lola: 44592590 markings, 61337835 edges, 49992 markings/sec, 925 secs
lola: 44842806 markings, 61671448 edges, 50043 markings/sec, 930 secs
lola: 45079959 markings, 62008768 edges, 47431 markings/sec, 935 secs
lola: 45306398 markings, 62349831 edges, 45288 markings/sec, 940 secs
lola: 45547429 markings, 62702759 edges, 48206 markings/sec, 945 secs
lola: 45783005 markings, 63045735 edges, 47115 markings/sec, 950 secs
lola: 46034979 markings, 63410327 edges, 50395 markings/sec, 955 secs
lola: 46283240 markings, 63767256 edges, 49652 markings/sec, 960 secs
lola: 46525373 markings, 64101730 edges, 48427 markings/sec, 965 secs
lola: 46762042 markings, 64437852 edges, 47334 markings/sec, 970 secs
lola: 47023690 markings, 64813506 edges, 52330 markings/sec, 975 secs
lola: 47280448 markings, 65171963 edges, 51352 markings/sec, 980 secs
lola: 47538349 markings, 65533817 edges, 51580 markings/sec, 985 secs
lola: 47801453 markings, 65897747 edges, 52621 markings/sec, 990 secs
lola: 48047876 markings, 66235084 edges, 49285 markings/sec, 995 secs
lola: 48270978 markings, 66568617 edges, 44620 markings/sec, 1000 secs
lola: 48510866 markings, 66924096 edges, 47978 markings/sec, 1005 secs
lola: 48745197 markings, 67261016 edges, 46866 markings/sec, 1010 secs
lola: 48995660 markings, 67625224 edges, 50093 markings/sec, 1015 secs
lola: 49246784 markings, 67984177 edges, 50225 markings/sec, 1020 secs
lola: 49482394 markings, 68311418 edges, 47122 markings/sec, 1025 secs
lola: 49711051 markings, 68640126 edges, 45731 markings/sec, 1030 secs
lola: 49971862 markings, 69012124 edges, 52162 markings/sec, 1035 secs
lola: 50225184 markings, 69366498 edges, 50664 markings/sec, 1040 secs
lola: 50484392 markings, 69727041 edges, 51842 markings/sec, 1045 secs
lola: 50742907 markings, 70090097 edges, 51703 markings/sec, 1050 secs
lola: 50997343 markings, 70431896 edges, 50887 markings/sec, 1055 secs
lola: 51213603 markings, 70759188 edges, 43252 markings/sec, 1060 secs
lola: 51453278 markings, 71108242 edges, 47935 markings/sec, 1065 secs
lola: 51681852 markings, 71444132 edges, 45715 markings/sec, 1070 secs
lola: 51932936 markings, 71803998 edges, 50217 markings/sec, 1075 secs
lola: 52181537 markings, 72167593 edges, 49720 markings/sec, 1080 secs
lola: 52421952 markings, 72496628 edges, 48083 markings/sec, 1085 secs
lola: 52644194 markings, 72818080 edges, 44448 markings/sec, 1090 secs
lola: 52895492 markings, 73174619 edges, 50260 markings/sec, 1095 secs
lola: 53148887 markings, 73528451 edges, 50679 markings/sec, 1100 secs
lola: 53406319 markings, 73888876 edges, 51486 markings/sec, 1105 secs
lola: 53661815 markings, 74250705 edges, 51099 markings/sec, 1110 secs
lola: 53908317 markings, 74588427 edges, 49300 markings/sec, 1115 secs
lola: 54153845 markings, 74900078 edges, 49106 markings/sec, 1120 secs
lola: 54371435 markings, 75206760 edges, 43518 markings/sec, 1125 secs
lola: 54596215 markings, 75503154 edges, 44956 markings/sec, 1130 secs
lola: 54814584 markings, 75807791 edges, 43674 markings/sec, 1135 secs
lola: 55046693 markings, 76124001 edges, 46422 markings/sec, 1140 secs
lola: 55291644 markings, 76468438 edges, 48990 markings/sec, 1145 secs
lola: 55529656 markings, 76806774 edges, 47602 markings/sec, 1150 secs
lola: 55753380 markings, 77106609 edges, 44745 markings/sec, 1155 secs
lola: 55973881 markings, 77411236 edges, 44100 markings/sec, 1160 secs
lola: 56195672 markings, 77710829 edges, 44358 markings/sec, 1165 secs
lola: 56440557 markings, 78040558 edges, 48977 markings/sec, 1170 secs
lola: 56674380 markings, 78358823 edges, 46765 markings/sec, 1175 secs
lola: 56896040 markings, 78651294 edges, 44332 markings/sec, 1180 secs
lola: 57113901 markings, 78955271 edges, 43572 markings/sec, 1185 secs
lola: 57341811 markings, 79256623 edges, 45582 markings/sec, 1190 secs
lola: 57573651 markings, 79577254 edges, 46368 markings/sec, 1195 secs
lola: 57817235 markings, 79895777 edges, 48717 markings/sec, 1200 secs
lola: 58096971 markings, 80238218 edges, 55947 markings/sec, 1205 secs
lola: 58380278 markings, 80589194 edges, 56661 markings/sec, 1210 secs
lola: 58655038 markings, 80934616 edges, 54952 markings/sec, 1215 secs
lola: 58934687 markings, 81275959 edges, 55930 markings/sec, 1220 secs
lola: 59204568 markings, 81612052 edges, 53976 markings/sec, 1225 secs
lola: 59465278 markings, 81943232 edges, 52142 markings/sec, 1230 secs
lola: 59742159 markings, 82288044 edges, 55376 markings/sec, 1235 secs
lola: 60012819 markings, 82629309 edges, 54132 markings/sec, 1240 secs
lola: 60294199 markings, 82982948 edges, 56276 markings/sec, 1245 secs
lola: 60575772 markings, 83332215 edges, 56315 markings/sec, 1250 secs
lola: 60856744 markings, 83680433 edges, 56194 markings/sec, 1255 secs
lola: 61128200 markings, 84031135 edges, 54291 markings/sec, 1260 secs
lola: 61397497 markings, 84358575 edges, 53859 markings/sec, 1265 secs
lola: 61668198 markings, 84692744 edges, 54140 markings/sec, 1270 secs
lola: 61938922 markings, 85022663 edges, 54145 markings/sec, 1275 secs
lola: 62204156 markings, 85349594 edges, 53047 markings/sec, 1280 secs
lola: 62474508 markings, 85689466 edges, 54070 markings/sec, 1285 secs
lola: 62737810 markings, 86015190 edges, 52660 markings/sec, 1290 secs
lola: 63004279 markings, 86354856 edges, 53294 markings/sec, 1295 secs
lola: 63279339 markings, 86696362 edges, 55012 markings/sec, 1300 secs
lola: 63555248 markings, 87048233 edges, 55182 markings/sec, 1305 secs
lola: 63832992 markings, 87394061 edges, 55549 markings/sec, 1310 secs
lola: 64112880 markings, 87741390 edges, 55978 markings/sec, 1315 secs
lola: 64392607 markings, 88087499 edges, 55945 markings/sec, 1320 secs
lola: 64657885 markings, 88423201 edges, 53056 markings/sec, 1325 secs
lola: 64932317 markings, 88767659 edges, 54886 markings/sec, 1330 secs
lola: 65201081 markings, 89095560 edges, 53753 markings/sec, 1335 secs
lola: 65473729 markings, 89433927 edges, 54530 markings/sec, 1340 secs
lola: 65741268 markings, 89760634 edges, 53508 markings/sec, 1345 secs
lola: 66006106 markings, 90093798 edges, 52968 markings/sec, 1350 secs
lola: 66269346 markings, 90427879 edges, 52648 markings/sec, 1355 secs
lola: 66542398 markings, 90764984 edges, 54610 markings/sec, 1360 secs
lola: 66812083 markings, 91105187 edges, 53937 markings/sec, 1365 secs
lola: 67092593 markings, 91457785 edges, 56102 markings/sec, 1370 secs
lola: 67373009 markings, 91805580 edges, 56083 markings/sec, 1375 secs
lola: 67652368 markings, 92151914 edges, 55872 markings/sec, 1380 secs
lola: 67921784 markings, 92500257 edges, 53883 markings/sec, 1385 secs
lola: 68190731 markings, 92828756 edges, 53789 markings/sec, 1390 secs
lola: 68459233 markings, 93161621 edges, 53700 markings/sec, 1395 secs
lola: 68728280 markings, 93495212 edges, 53809 markings/sec, 1400 secs
lola: 68991690 markings, 93819260 edges, 52682 markings/sec, 1405 secs
lola: 69260405 markings, 94155209 edges, 53743 markings/sec, 1410 secs
lola: 69485555 markings, 94467599 edges, 45030 markings/sec, 1415 secs
lola: 69700299 markings, 94788588 edges, 42949 markings/sec, 1420 secs
lola: 69910661 markings, 95094398 edges, 42072 markings/sec, 1425 secs
lola: 70117262 markings, 95404739 edges, 41320 markings/sec, 1430 secs
lola: 70339252 markings, 95723929 edges, 44398 markings/sec, 1435 secs
lola: 70570812 markings, 96074401 edges, 46312 markings/sec, 1440 secs
lola: 70797928 markings, 96420005 edges, 45423 markings/sec, 1445 secs
lola: 71016275 markings, 96732670 edges, 43669 markings/sec, 1450 secs
lola: 71223492 markings, 97042401 edges, 41443 markings/sec, 1455 secs
lola: 71446543 markings, 97368275 edges, 44610 markings/sec, 1460 secs
lola: 71666055 markings, 97684883 edges, 43902 markings/sec, 1465 secs
lola: 71892728 markings, 98021139 edges, 45335 markings/sec, 1470 secs
lola: 72105544 markings, 98319173 edges, 42563 markings/sec, 1475 secs
lola: 72312518 markings, 98629005 edges, 41395 markings/sec, 1480 secs
lola: 72535242 markings, 98954738 edges, 44545 markings/sec, 1485 secs
lola: 72751537 markings, 99266612 edges, 43259 markings/sec, 1490 secs
lola: 72970731 markings, 99589482 edges, 43839 markings/sec, 1495 secs
lola: 73210153 markings, 99916261 edges, 47884 markings/sec, 1500 secs
lola: 73472525 markings, 100272455 edges, 52474 markings/sec, 1505 secs
lola: 73734418 markings, 100632144 edges, 52379 markings/sec, 1510 secs
lola: 73992890 markings, 100990868 edges, 51694 markings/sec, 1515 secs
lola: 74254505 markings, 101344463 edges, 52323 markings/sec, 1520 secs
lola: 74504654 markings, 101694547 edges, 50030 markings/sec, 1525 secs
lola: 74743504 markings, 102037466 edges, 47770 markings/sec, 1530 secs
lola: 75002612 markings, 102401600 edges, 51822 markings/sec, 1535 secs
lola: 75254889 markings, 102752949 edges, 50455 markings/sec, 1540 secs
lola: 75513357 markings, 103117300 edges, 51694 markings/sec, 1545 secs
lola: 75782213 markings, 103481229 edges, 53771 markings/sec, 1550 secs
lola: 76038398 markings, 103838291 edges, 51237 markings/sec, 1555 secs
lola: 76301351 markings, 104197477 edges, 52591 markings/sec, 1560 secs
lola: 76553708 markings, 104536210 edges, 50471 markings/sec, 1565 secs
lola: 76810624 markings, 104893250 edges, 51383 markings/sec, 1570 secs
lola: 77063633 markings, 105223524 edges, 50602 markings/sec, 1575 secs
lola: 77319806 markings, 105577665 edges, 51235 markings/sec, 1580 secs
lola: 77570988 markings, 105905648 edges, 50236 markings/sec, 1585 secs
lola: 77824827 markings, 106256464 edges, 50768 markings/sec, 1590 secs
lola: 78064577 markings, 106599404 edges, 47950 markings/sec, 1595 secs
lola: 78312135 markings, 106955911 edges, 49512 markings/sec, 1600 secs
lola: 78567196 markings, 107309142 edges, 51012 markings/sec, 1605 secs
lola: 78821712 markings, 107668793 edges, 50903 markings/sec, 1610 secs
lola: 79084305 markings, 108029707 edges, 52519 markings/sec, 1615 secs
lola: 79349442 markings, 108385425 edges, 53027 markings/sec, 1620 secs
lola: 79610406 markings, 108742954 edges, 52193 markings/sec, 1625 secs
lola: 79865524 markings, 109098895 edges, 51024 markings/sec, 1630 secs
lola: 80120186 markings, 109441162 edges, 50932 markings/sec, 1635 secs
lola: 80377171 markings, 109786108 edges, 51397 markings/sec, 1640 secs
lola: 80630478 markings, 110130752 edges, 50661 markings/sec, 1645 secs
lola: 80883919 markings, 110468950 edges, 50688 markings/sec, 1650 secs
lola: 81136290 markings, 110817355 edges, 50474 markings/sec, 1655 secs
lola: 81378609 markings, 111162830 edges, 48464 markings/sec, 1660 secs
lola: 81622805 markings, 111512527 edges, 48839 markings/sec, 1665 secs
lola: 81875733 markings, 111866613 edges, 50586 markings/sec, 1670 secs
lola: 82127656 markings, 112218770 edges, 50385 markings/sec, 1675 secs
lola: 82392003 markings, 112583083 edges, 52869 markings/sec, 1680 secs
lola: 82654300 markings, 112942429 edges, 52459 markings/sec, 1685 secs
lola: 82916983 markings, 113299526 edges, 52537 markings/sec, 1690 secs
lola: 83171459 markings, 113659714 edges, 50895 markings/sec, 1695 secs
lola: 83424364 markings, 113998363 edges, 50581 markings/sec, 1700 secs
lola: 83679496 markings, 114347402 edges, 51026 markings/sec, 1705 secs
lola: 83931158 markings, 114683216 edges, 50332 markings/sec, 1710 secs
lola: 84183369 markings, 115024908 edges, 50442 markings/sec, 1715 secs
lola: 84434223 markings, 115362362 edges, 50171 markings/sec, 1720 secs
lola: 84670557 markings, 115698695 edges, 47267 markings/sec, 1725 secs
lola: 84898792 markings, 116038086 edges, 45647 markings/sec, 1730 secs
lola: 85137975 markings, 116392032 edges, 47837 markings/sec, 1735 secs
lola: 85374086 markings, 116732358 edges, 47222 markings/sec, 1740 secs
lola: 85623041 markings, 117096953 edges, 49791 markings/sec, 1745 secs
lola: 85871886 markings, 117454644 edges, 49769 markings/sec, 1750 secs
lola: 86103125 markings, 117790989 edges, 46248 markings/sec, 1755 secs
lola: 86361940 markings, 118163927 edges, 51763 markings/sec, 1760 secs
lola: 86618300 markings, 118532248 edges, 51272 markings/sec, 1765 secs
lola: 86874538 markings, 118897775 edges, 51248 markings/sec, 1770 secs
lola: 87124808 markings, 119238414 edges, 50054 markings/sec, 1775 secs
lola: 87353654 markings, 119571865 edges, 45769 markings/sec, 1780 secs
lola: 87596805 markings, 119917817 edges, 48630 markings/sec, 1785 secs
lola: 87861305 markings, 120295409 edges, 52900 markings/sec, 1790 secs
lola: 88123885 markings, 120654196 edges, 52516 markings/sec, 1795 secs
lola: 88389235 markings, 121031000 edges, 53070 markings/sec, 1800 secs
lola: 88643830 markings, 121390688 edges, 50919 markings/sec, 1805 secs
lola: 88913637 markings, 121767510 edges, 53961 markings/sec, 1810 secs
lola: 89164797 markings, 122111076 edges, 50232 markings/sec, 1815 secs
lola: 89411050 markings, 122448948 edges, 49251 markings/sec, 1820 secs
lola: 89637775 markings, 122789681 edges, 45345 markings/sec, 1825 secs
lola: 89877745 markings, 123139474 edges, 47994 markings/sec, 1830 secs
lola: 90111114 markings, 123481641 edges, 46674 markings/sec, 1835 secs
lola: 90362972 markings, 123840099 edges, 50372 markings/sec, 1840 secs
lola: 90605281 markings, 124191981 edges, 48462 markings/sec, 1845 secs
lola: 90842675 markings, 124535596 edges, 47479 markings/sec, 1850 secs
lola: 91087363 markings, 124885706 edges, 48938 markings/sec, 1855 secs
lola: 91343013 markings, 125252971 edges, 51130 markings/sec, 1860 secs
lola: 91587737 markings, 125605208 edges, 48945 markings/sec, 1865 secs
lola: 91831654 markings, 125937085 edges, 48783 markings/sec, 1870 secs
lola: 92058496 markings, 126268395 edges, 45368 markings/sec, 1875 secs
lola: 92300232 markings, 126612340 edges, 48347 markings/sec, 1880 secs
lola: 92550801 markings, 126969928 edges, 50114 markings/sec, 1885 secs
lola: 92810942 markings, 127325194 edges, 52028 markings/sec, 1890 secs
lola: 93073285 markings, 127698398 edges, 52469 markings/sec, 1895 secs
lola: 93327117 markings, 128054784 edges, 50766 markings/sec, 1900 secs
lola: 93594561 markings, 128429807 edges, 53489 markings/sec, 1905 secs
lola: 93841775 markings, 128769271 edges, 49443 markings/sec, 1910 secs
lola: 94088774 markings, 129106665 edges, 49400 markings/sec, 1915 secs
lola: 94316162 markings, 129445841 edges, 45478 markings/sec, 1920 secs
lola: 94556815 markings, 129794256 edges, 48131 markings/sec, 1925 secs
lola: 94787772 markings, 130135352 edges, 46191 markings/sec, 1930 secs
lola: 95038306 markings, 130495426 edges, 50107 markings/sec, 1935 secs
lola: 95282441 markings, 130848606 edges, 48827 markings/sec, 1940 secs
lola: 95516393 markings, 131187660 edges, 46790 markings/sec, 1945 secs
lola: 95772034 markings, 131554457 edges, 51128 markings/sec, 1950 secs
lola: 96026567 markings, 131919116 edges, 50907 markings/sec, 1955 secs
lola: 96279916 markings, 132283796 edges, 50670 markings/sec, 1960 secs
lola: 96519642 markings, 132609247 edges, 47945 markings/sec, 1965 secs
lola: 96744305 markings, 132936681 edges, 44933 markings/sec, 1970 secs
lola: 96982912 markings, 133275471 edges, 47721 markings/sec, 1975 secs
lola: 97241100 markings, 133645388 edges, 51638 markings/sec, 1980 secs
lola: 97499847 markings, 133996463 edges, 51749 markings/sec, 1985 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown 1 1 1 1 1 1
lola: memory consumption: 5243560 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown 1 1 1 1 1 1
lola: memory consumption: 5243716 KB
lola: time consumption: 3570 seconds

BK_STOP 1552286121204

--------------------
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="ASLink-PT-05a"
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-3957"
echo " Executing tool win2018"
echo " Input is ASLink-PT-05a, 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 r011-smll-155225030000028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05a.tgz
mv ASLink-PT-05a 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 ;