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-155225030000055.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-09b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-smll-155225030000055
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.5K Feb 9 05:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 9 05:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 02:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 5 02:01 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.7K Feb 4 22:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 22:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 09:54 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 1.3M 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-09b-UpperBounds-00
FORMULA_NAME ASLink-PT-09b-UpperBounds-01
FORMULA_NAME ASLink-PT-09b-UpperBounds-02
FORMULA_NAME ASLink-PT-09b-UpperBounds-03
FORMULA_NAME ASLink-PT-09b-UpperBounds-04
FORMULA_NAME ASLink-PT-09b-UpperBounds-05
FORMULA_NAME ASLink-PT-09b-UpperBounds-06
FORMULA_NAME ASLink-PT-09b-UpperBounds-07
FORMULA_NAME ASLink-PT-09b-UpperBounds-08
FORMULA_NAME ASLink-PT-09b-UpperBounds-09
FORMULA_NAME ASLink-PT-09b-UpperBounds-10
FORMULA_NAME ASLink-PT-09b-UpperBounds-11
FORMULA_NAME ASLink-PT-09b-UpperBounds-12
FORMULA_NAME ASLink-PT-09b-UpperBounds-13
FORMULA_NAME ASLink-PT-09b-UpperBounds-14
FORMULA_NAME ASLink-PT-09b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552318981097

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-09b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-09b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-09b @ 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: 8946/65536 symbol table entries, 2188 collisions
lola: preprocessing...
lola: Size of bit vector: 4014
lola: finding significant places
lola: 4014 places, 4932 transitions, 3620 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6956 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-09b-UpperBounds.task
lola: MAX(p1540) : MAX(p2408) : MAX(p1298) : MAX(p1144) : MAX(p2575) : MAX(p513) : MAX(p1785) : MAX(p2679) : MAX(p2571) : MAX(p1390) : MAX(p1673) : MAX(p1882) : MAX(p3850) : MAX(p2131) : MAX(p1546) : MAX(p585)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1540)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1540)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 20 markings, 19 edges
lola: ========================================

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

FORMULA ASLink-PT-09b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1298)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1298)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 383 markings, 382 edges

FORMULA ASLink-PT-09b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1144)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 26 markings, 25 edges

FORMULA ASLink-PT-09b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
========================================
lola: ...considering subproblem: MAX(p2575)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2575)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 97907 markings, 104887 edges, 19581 markings/sec, 30 secs
lola: 170723 markings, 180457 edges, 14563 markings/sec, 35 secs
lola: 243660 markings, 255860 edges, 14587 markings/sec, 40 secs
lola: 315631 markings, 330587 edges, 14394 markings/sec, 45 secs
lola: 387485 markings, 405288 edges, 14371 markings/sec, 50 secs
lola: 460135 markings, 480390 edges, 14530 markings/sec, 55 secs
lola: 532242 markings, 555159 edges, 14421 markings/sec, 60 secs
lola: 604923 markings, 629315 edges, 14536 markings/sec, 65 secs
lola: 674710 markings, 700230 edges, 13957 markings/sec, 70 secs
lola: 747369 markings, 774520 edges, 14532 markings/sec, 75 secs
lola: 819805 markings, 848911 edges, 14487 markings/sec, 80 secs
lola: 892228 markings, 923243 edges, 14485 markings/sec, 85 secs
lola: 964744 markings, 997629 edges, 14503 markings/sec, 90 secs
lola: 1037116 markings, 1071308 edges, 14474 markings/sec, 95 secs
lola: 1108978 markings, 1145131 edges, 14372 markings/sec, 100 secs
lola: 1180685 markings, 1218836 edges, 14341 markings/sec, 105 secs
lola: 1250238 markings, 1290286 edges, 13911 markings/sec, 110 secs
lola: 1323920 markings, 1365241 edges, 14736 markings/sec, 115 secs
lola: 1397134 markings, 1440464 edges, 14643 markings/sec, 120 secs
lola: 1470254 markings, 1515604 edges, 14624 markings/sec, 125 secs
lola: 1543330 markings, 1590713 edges, 14615 markings/sec, 130 secs
lola: 1616828 markings, 1665916 edges, 14700 markings/sec, 135 secs
lola: 1690015 markings, 1741347 edges, 14637 markings/sec, 140 secs
lola: 1763240 markings, 1816692 edges, 14645 markings/sec, 145 secs
lola: 1836226 markings, 1892012 edges, 14597 markings/sec, 150 secs
lola: 1909174 markings, 1967237 edges, 14590 markings/sec, 155 secs
lola: 1982718 markings, 2042700 edges, 14709 markings/sec, 160 secs
lola: 2056332 markings, 2118600 edges, 14723 markings/sec, 165 secs
lola: 2129936 markings, 2194345 edges, 14721 markings/sec, 170 secs
lola: 2203358 markings, 2269986 edges, 14684 markings/sec, 175 secs
lola: 2276589 markings, 2345632 edges, 14646 markings/sec, 180 secs
lola: 2350761 markings, 2421675 edges, 14834 markings/sec, 185 secs
lola: 2425321 markings, 2497362 edges, 14912 markings/sec, 190 secs
lola: 2499497 markings, 2573368 edges, 14835 markings/sec, 195 secs
lola: 2573471 markings, 2649324 edges, 14795 markings/sec, 200 secs
lola: 2647432 markings, 2725251 edges, 14792 markings/sec, 205 secs
lola: 2721599 markings, 2801094 edges, 14833 markings/sec, 210 secs
lola: 2795652 markings, 2876733 edges, 14811 markings/sec, 215 secs
lola: 2869384 markings, 2952506 edges, 14746 markings/sec, 220 secs
lola: 2943096 markings, 3028237 edges, 14742 markings/sec, 225 secs
lola: 3016874 markings, 3104072 edges, 14756 markings/sec, 230 secs
lola: 3091000 markings, 3179441 edges, 14825 markings/sec, 235 secs
lola: 3164683 markings, 3255140 edges, 14737 markings/sec, 240 secs
lola: 3238245 markings, 3330768 edges, 14712 markings/sec, 245 secs
lola: 3311925 markings, 3406467 edges, 14736 markings/sec, 250 secs
lola: 3385775 markings, 3482104 edges, 14770 markings/sec, 255 secs
lola: 3459392 markings, 3558009 edges, 14723 markings/sec, 260 secs
lola: 3532959 markings, 3633749 edges, 14713 markings/sec, 265 secs
lola: 3606512 markings, 3709505 edges, 14711 markings/sec, 270 secs
lola: 3679851 markings, 3785297 edges, 14668 markings/sec, 275 secs
lola: 3754037 markings, 3861363 edges, 14837 markings/sec, 280 secs
lola: 3828048 markings, 3937504 edges, 14802 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 587124 KB
lola: time consumption: 333 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p513)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 507 markings, 506 edges

FORMULA ASLink-PT-09b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1785)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1785)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6514 markings, 6820 edges

FORMULA ASLink-PT-09b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================lola: subprocess 7 will run for 358 seconds at most (--localtimelimit=0)

lola: ========================================
lola: ...considering subproblem: MAX(p2679)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2679)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================

FORMULA ASLink-PT-09b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 403 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2571)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2571)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 42270 markings, 80561 edges, 8454 markings/sec, 0 secs
lola: 105544 markings, 198322 edges, 12655 markings/sec, 5 secs
lola: 170190 markings, 315612 edges, 12929 markings/sec, 10 secs
lola: 222016 markings, 439946 edges, 10365 markings/sec, 15 secs
lola: 260940 markings, 568775 edges, 7785 markings/sec, 20 secs
lola: 304889 markings, 707218 edges, 8790 markings/sec, 25 secs
lola: 351308 markings, 847520 edges, 9284 markings/sec, 30 secs
lola: 420596 markings, 963999 edges, 13858 markings/sec, 35 secs
lola: 494598 markings, 1076798 edges, 14800 markings/sec, 40 secs
lola: 562565 markings, 1193322 edges, 13593 markings/sec, 45 secs
lola: 633728 markings, 1308082 edges, 14233 markings/sec, 50 secs
lola: 699541 markings, 1425915 edges, 13163 markings/sec, 55 secs
lola: 773731 markings, 1538048 edges, 14838 markings/sec, 60 secs
lola: 841691 markings, 1654555 edges, 13592 markings/sec, 65 secs
lola: 912188 markings, 1769324 edges, 14099 markings/sec, 70 secs
lola: 977902 markings, 1885768 edges, 13143 markings/sec, 75 secs
lola: 1050311 markings, 1998530 edges, 14482 markings/sec, 80 secs
lola: 1119578 markings, 2113656 edges, 13853 markings/sec, 85 secs
lola: 1188476 markings, 2229234 edges, 13780 markings/sec, 90 secs
lola: 1256512 markings, 2344757 edges, 13607 markings/sec, 95 secs
lola: 1324016 markings, 2460102 edges, 13501 markings/sec, 100 secs
lola: 1389524 markings, 2576606 edges, 13102 markings/sec, 105 secs
lola: 1440204 markings, 2710415 edges, 10136 markings/sec, 110 secs
lola: 1485574 markings, 2849471 edges, 9074 markings/sec, 115 secs
lola: 1529784 markings, 2989244 edges, 8842 markings/sec, 120 secs
lola: 1573670 markings, 3129240 edges, 8777 markings/sec, 125 secs
lola: 1618388 markings, 3269119 edges, 8944 markings/sec, 130 secs
lola: 1662360 markings, 3409313 edges, 8794 markings/sec, 135 secs
lola: 1707301 markings, 3548610 edges, 8988 markings/sec, 140 secs
lola: 1751113 markings, 3688467 edges, 8762 markings/sec, 145 secs
lola: 1794823 markings, 3828478 edges, 8742 markings/sec, 150 secs
lola: 1836327 markings, 3969010 edges, 8301 markings/sec, 155 secs
lola: 1880104 markings, 4109082 edges, 8755 markings/sec, 160 secs
lola: 1926451 markings, 4248992 edges, 9269 markings/sec, 165 secs
lola: 1996159 markings, 4364435 edges, 13942 markings/sec, 170 secs
lola: 2069680 markings, 4476796 edges, 14704 markings/sec, 175 secs
lola: 2137348 markings, 4592816 edges, 13534 markings/sec, 180 secs
lola: 2208278 markings, 4707130 edges, 14186 markings/sec, 185 secs
lola: 2273590 markings, 4824145 edges, 13062 markings/sec, 190 secs
lola: 2347252 markings, 4935329 edges, 14732 markings/sec, 195 secs
lola: 2414671 markings, 5050888 edges, 13484 markings/sec, 200 secs
lola: 2484643 markings, 5165077 edges, 13994 markings/sec, 205 secs
lola: 2550264 markings, 5280895 edges, 13124 markings/sec, 210 secs
lola: 2621799 markings, 5393081 edges, 14307 markings/sec, 215 secs
lola: 2690827 markings, 5507036 edges, 13806 markings/sec, 220 secs
lola: 2759174 markings, 5621702 edges, 13669 markings/sec, 225 secs
lola: 2826892 markings, 5736188 edges, 13544 markings/sec, 230 secs
lola: 2893156 markings, 5851179 edges, 13253 markings/sec, 235 secs
lola: 2958773 markings, 5966372 edges, 13123 markings/sec, 240 secs
lola: 3010247 markings, 6097838 edges, 10295 markings/sec, 245 secs
lola: 3056111 markings, 6235937 edges, 9173 markings/sec, 250 secs
lola: 3100449 markings, 6374952 edges, 8868 markings/sec, 255 secs
lola: 3142923 markings, 6514593 edges, 8495 markings/sec, 260 secs
lola: 3188147 markings, 6652953 edges, 9045 markings/sec, 265 secs
lola: 3232159 markings, 6791866 edges, 8802 markings/sec, 270 secs
lola: 3275377 markings, 6930787 edges, 8644 markings/sec, 275 secs
lola: 3319882 markings, 7069052 edges, 8901 markings/sec, 280 secs
lola: 3363590 markings, 7207744 edges, 8742 markings/sec, 285 secs
lola: 3404808 markings, 7347108 edges, 8244 markings/sec, 290 secs
lola: 3447507 markings, 7486263 edges, 8540 markings/sec, 295 secs
lola: 3493829 markings, 7625379 edges, 9264 markings/sec, 300 secs
lola: 3558754 markings, 7744118 edges, 12985 markings/sec, 305 secs
lola: 3632266 markings, 7855185 edges, 14702 markings/sec, 310 secs
lola: 3699552 markings, 7970558 edges, 13457 markings/sec, 315 secs
lola: 3770087 markings, 8084435 edges, 14107 markings/sec, 320 secs
lola: 3835359 markings, 8201113 edges, 13054 markings/sec, 325 secs
lola: 3908046 markings, 8312798 edges, 14537 markings/sec, 330 secs
lola: 3976419 markings, 8427829 edges, 13675 markings/sec, 335 secs
lola: 4045363 markings, 8542677 edges, 13789 markings/sec, 340 secs
lola: 4112323 markings, 8657569 edges, 13392 markings/sec, 345 secs
lola: 4181798 markings, 8771024 edges, 13895 markings/sec, 350 secs
lola: 4252071 markings, 8883894 edges, 14055 markings/sec, 355 secs
lola: 4319926 markings, 8998571 edges, 13571 markings/sec, 360 secs
lola: 4387845 markings, 9110849 edges, 13584 markings/sec, 365 secs
lola: 4453124 markings, 9226221 edges, 13056 markings/sec, 370 secs
lola: 4519206 markings, 9341156 edges, 13216 markings/sec, 375 secs
lola: 4574493 markings, 9466983 edges, 11057 markings/sec, 380 secs
lola: 4620800 markings, 9603890 edges, 9261 markings/sec, 385 secs
lola: 4665160 markings, 9743124 edges, 8872 markings/sec, 390 secs
lola: 4706128 markings, 9883578 edges, 8194 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1082464 KB
lola: time consumption: 749 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 403 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1390)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1390)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 479 markings, 478 edges

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

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

FORMULA ASLink-PT-09b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 703 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3850)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3850)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 9632 markings, 45011 edges, 1926 markings/sec, 0 secs
lola: 26839 markings, 137333 edges, 3441 markings/sec, 5 secs
lola: 42596 markings, 235951 edges, 3151 markings/sec, 10 secs
lola: 57997 markings, 334087 edges, 3080 markings/sec, 15 secs
lola: 74548 markings, 429888 edges, 3310 markings/sec, 20 secs
lola: 90126 markings, 528624 edges, 3116 markings/sec, 25 secs
lola: 104150 markings, 632462 edges, 2805 markings/sec, 30 secs
lola: 118191 markings, 733204 edges, 2808 markings/sec, 35 secs
lola: 134126 markings, 831371 edges, 3187 markings/sec, 40 secs
lola: 149776 markings, 929710 edges, 3130 markings/sec, 45 secs
lola: 164660 markings, 1031341 edges, 2977 markings/sec, 50 secs
lola: 180898 markings, 1131466 edges, 3248 markings/sec, 55 secs
lola: 195977 markings, 1233707 edges, 3016 markings/sec, 60 secs
lola: 210392 markings, 1337411 edges, 2883 markings/sec, 65 secs
lola: 224165 markings, 1444096 edges, 2755 markings/sec, 70 secs
lola: 238680 markings, 1550005 edges, 2903 markings/sec, 75 secs
lola: 252574 markings, 1658395 edges, 2779 markings/sec, 80 secs
lola: 268055 markings, 1754855 edges, 3096 markings/sec, 85 secs
lola: 283292 markings, 1853259 edges, 3047 markings/sec, 90 secs
lola: 297550 markings, 1956008 edges, 2852 markings/sec, 95 secs
lola: 311311 markings, 2058649 edges, 2752 markings/sec, 100 secs
lola: 326437 markings, 2158649 edges, 3025 markings/sec, 105 secs
lola: 340612 markings, 2261675 edges, 2835 markings/sec, 110 secs
lola: 353230 markings, 2369056 edges, 2524 markings/sec, 115 secs
lola: 366813 markings, 2474936 edges, 2717 markings/sec, 120 secs
lola: 379807 markings, 2583280 edges, 2599 markings/sec, 125 secs
lola: 395194 markings, 2684884 edges, 3077 markings/sec, 130 secs
lola: 409093 markings, 2791649 edges, 2780 markings/sec, 135 secs
lola: 422943 markings, 2898691 edges, 2770 markings/sec, 140 secs
lola: 437593 markings, 3005119 edges, 2930 markings/sec, 145 secs
lola: 451393 markings, 3112816 edges, 2760 markings/sec, 150 secs
lola: 464752 markings, 3221659 edges, 2672 markings/sec, 155 secs
lola: 477587 markings, 3332888 edges, 2567 markings/sec, 160 secs
lola: 490818 markings, 3444063 edges, 2646 markings/sec, 165 secs
lola: 503887 markings, 3556435 edges, 2614 markings/sec, 170 secs
lola: 518543 markings, 3658418 edges, 2931 markings/sec, 175 secs
lola: 533993 markings, 3755590 edges, 3090 markings/sec, 180 secs
lola: 547870 markings, 3858907 edges, 2775 markings/sec, 185 secs
lola: 562162 markings, 3959828 edges, 2858 markings/sec, 190 secs
lola: 577170 markings, 4060786 edges, 3002 markings/sec, 195 secs
lola: 591070 markings, 4164019 edges, 2780 markings/sec, 200 secs
lola: 604357 markings, 4269118 edges, 2657 markings/sec, 205 secs
lola: 617764 markings, 4375790 edges, 2681 markings/sec, 210 secs
lola: 630399 markings, 4483401 edges, 2527 markings/sec, 215 secs
lola: 645386 markings, 4586011 edges, 2997 markings/sec, 220 secs
lola: 659562 markings, 4691587 edges, 2835 markings/sec, 225 secs
lola: 673388 markings, 4798736 edges, 2765 markings/sec, 230 secs
lola: 688374 markings, 4904626 edges, 2997 markings/sec, 235 secs
lola: 702266 markings, 5013188 edges, 2778 markings/sec, 240 secs
lola: 715865 markings, 5121140 edges, 2720 markings/sec, 245 secs
lola: 728649 markings, 5232714 edges, 2557 markings/sec, 250 secs
lola: 741500 markings, 5344605 edges, 2570 markings/sec, 255 secs
lola: 754788 markings, 5456119 edges, 2658 markings/sec, 260 secs
lola: 768640 markings, 5563735 edges, 2770 markings/sec, 265 secs
lola: 782529 markings, 5666962 edges, 2778 markings/sec, 270 secs
lola: 795742 markings, 5771942 edges, 2643 markings/sec, 275 secs
lola: 809127 markings, 5878433 edges, 2677 markings/sec, 280 secs
lola: 821834 markings, 5986353 edges, 2541 markings/sec, 285 secs
lola: 835526 markings, 6091385 edges, 2738 markings/sec, 290 secs
lola: 848616 markings, 6198870 edges, 2618 markings/sec, 295 secs
lola: 860423 markings, 6309493 edges, 2361 markings/sec, 300 secs
lola: 872896 markings, 6420111 edges, 2495 markings/sec, 305 secs
lola: 884629 markings, 6532214 edges, 2347 markings/sec, 310 secs
lola: 898432 markings, 6639744 edges, 2761 markings/sec, 315 secs
lola: 911642 markings, 6749173 edges, 2642 markings/sec, 320 secs
lola: 924403 markings, 6860651 edges, 2552 markings/sec, 325 secs
lola: 937834 markings, 6971335 edges, 2686 markings/sec, 330 secs
lola: 950770 markings, 7084137 edges, 2587 markings/sec, 335 secs
lola: 963226 markings, 7195891 edges, 2491 markings/sec, 340 secs
lola: 975460 markings, 7309423 edges, 2447 markings/sec, 345 secs
lola: 987320 markings, 7424556 edges, 2372 markings/sec, 350 secs
lola: 999700 markings, 7539271 edges, 2476 markings/sec, 355 secs
lola: 1011771 markings, 7655278 edges, 2414 markings/sec, 360 secs
lola: 1026091 markings, 7760931 edges, 2864 markings/sec, 365 secs
lola: 1041833 markings, 7860259 edges, 3148 markings/sec, 370 secs
lola: 1055901 markings, 7965475 edges, 2814 markings/sec, 375 secs
lola: 1070506 markings, 8068319 edges, 2921 markings/sec, 380 secs
lola: 1085797 markings, 8171340 edges, 3058 markings/sec, 385 secs
lola: 1099994 markings, 8276612 edges, 2839 markings/sec, 390 secs
lola: 1113461 markings, 8383624 edges, 2693 markings/sec, 395 secs
lola: 1127099 markings, 8492257 edges, 2728 markings/sec, 400 secs
lola: 1140084 markings, 8602267 edges, 2597 markings/sec, 405 secs
lola: 1155417 markings, 8706640 edges, 3067 markings/sec, 410 secs
lola: 1169795 markings, 8814346 edges, 2876 markings/sec, 415 secs
lola: 1183873 markings, 8923194 edges, 2816 markings/sec, 420 secs
lola: 1198931 markings, 9031297 edges, 3012 markings/sec, 425 secs
lola: 1213098 markings, 9140965 edges, 2833 markings/sec, 430 secs
lola: 1226703 markings, 9251127 edges, 2721 markings/sec, 435 secs
lola: 1239628 markings, 9363992 edges, 2585 markings/sec, 440 secs
lola: 1252810 markings, 9477265 edges, 2636 markings/sec, 445 secs
lola: 1266223 markings, 9591794 edges, 2683 markings/sec, 450 secs
lola: 1280626 markings, 9699330 edges, 2881 markings/sec, 455 secs
lola: 1295188 markings, 9804998 edges, 2912 markings/sec, 460 secs
lola: 1308088 markings, 9915088 edges, 2580 markings/sec, 465 secs
lola: 1321863 markings, 10023674 edges, 2755 markings/sec, 470 secs
lola: 1335748 markings, 10133701 edges, 2777 markings/sec, 475 secs
lola: 1348229 markings, 10236676 edges, 2496 markings/sec, 480 secs
lola: 1361460 markings, 10346774 edges, 2646 markings/sec, 485 secs
lola: 1373428 markings, 10460827 edges, 2394 markings/sec, 490 secs
lola: 1385872 markings, 10572794 edges, 2489 markings/sec, 495 secs
lola: 1398670 markings, 10686337 edges, 2560 markings/sec, 500 secs
lola: 1412830 markings, 10794883 edges, 2832 markings/sec, 505 secs
lola: 1425694 markings, 10907863 edges, 2573 markings/sec, 510 secs
lola: 1438587 markings, 11020819 edges, 2579 markings/sec, 515 secs
lola: 1452392 markings, 11133220 edges, 2761 markings/sec, 520 secs
lola: 1465459 markings, 11247354 edges, 2613 markings/sec, 525 secs
lola: 1478230 markings, 11360917 edges, 2554 markings/sec, 530 secs
lola: 1490147 markings, 11478091 edges, 2383 markings/sec, 535 secs
lola: 1501992 markings, 11595155 edges, 2369 markings/sec, 540 secs
lola: 1514762 markings, 11711367 edges, 2554 markings/sec, 545 secs
lola: 1527394 markings, 11828262 edges, 2526 markings/sec, 550 secs
lola: 1541386 markings, 11932197 edges, 2798 markings/sec, 555 secs
lola: 1555534 markings, 12037906 edges, 2830 markings/sec, 560 secs
lola: 1568938 markings, 12147068 edges, 2681 markings/sec, 565 secs
lola: 1581801 markings, 12255853 edges, 2573 markings/sec, 570 secs
lola: 1596019 markings, 12363146 edges, 2844 markings/sec, 575 secs
lola: 1609104 markings, 12473267 edges, 2617 markings/sec, 580 secs
lola: 1621470 markings, 12584538 edges, 2473 markings/sec, 585 secs
lola: 1634095 markings, 12697325 edges, 2525 markings/sec, 590 secs
lola: 1645925 markings, 12810910 edges, 2366 markings/sec, 595 secs
lola: 1659880 markings, 12921201 edges, 2791 markings/sec, 600 secs
lola: 1673399 markings, 13031803 edges, 2704 markings/sec, 605 secs
lola: 1686393 markings, 13144531 edges, 2599 markings/sec, 610 secs
lola: 1699867 markings, 13257255 edges, 2695 markings/sec, 615 secs
lola: 1712988 markings, 13371976 edges, 2624 markings/sec, 620 secs
lola: 1725749 markings, 13485057 edges, 2552 markings/sec, 625 secs
lola: 1738153 markings, 13600273 edges, 2481 markings/sec, 630 secs
lola: 1750187 markings, 13717119 edges, 2407 markings/sec, 635 secs
lola: 1762713 markings, 13833702 edges, 2505 markings/sec, 640 secs
lola: 1774904 markings, 13951683 edges, 2438 markings/sec, 645 secs
lola: 1788121 markings, 14063018 edges, 2643 markings/sec, 650 secs
lola: 1801320 markings, 14172936 edges, 2640 markings/sec, 655 secs
lola: 1813475 markings, 14284551 edges, 2431 markings/sec, 660 secs
lola: 1826079 markings, 14397137 edges, 2521 markings/sec, 665 secs
lola: 1837981 markings, 14510820 edges, 2380 markings/sec, 670 secs
lola: 1851053 markings, 14622101 edges, 2614 markings/sec, 675 secs
lola: 1863141 markings, 14736244 edges, 2418 markings/sec, 680 secs
lola: 1874694 markings, 14850984 edges, 2311 markings/sec, 685 secs
lola: 1886330 markings, 14967709 edges, 2327 markings/sec, 690 secs
lola: 1897547 markings, 15083502 edges, 2243 markings/sec, 695 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 143740 KB
lola: time consumption: 1458 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2131)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 16962 markings, 42237 edges, 3392 markings/sec, 0 secs
lola: 39372 markings, 115809 edges, 4482 markings/sec, 5 secs
lola: 60342 markings, 193731 edges, 4194 markings/sec, 10 secs
lola: 80047 markings, 275071 edges, 3941 markings/sec, 15 secs
lola: 98211 markings, 352367 edges, 3633 markings/sec, 20 secs
lola: 119043 markings, 430492 edges, 4166 markings/sec, 25 secs
lola: 137396 markings, 517995 edges, 3671 markings/sec, 30 secs
lola: 158446 markings, 596037 edges, 4210 markings/sec, 35 secs
lola: 176971 markings, 683018 edges, 3705 markings/sec, 40 secs
lola: 198055 markings, 760928 edges, 4217 markings/sec, 45 secs
lola: 217196 markings, 845381 edges, 3828 markings/sec, 50 secs
lola: 235616 markings, 933583 edges, 3684 markings/sec, 55 secs
lola: 254013 markings, 1022017 edges, 3679 markings/sec, 60 secs
lola: 270639 markings, 1116623 edges, 3325 markings/sec, 65 secs
lola: 288950 markings, 1205151 edges, 3662 markings/sec, 70 secs
lola: 306220 markings, 1297313 edges, 3454 markings/sec, 75 secs
lola: 324057 markings, 1387990 edges, 3567 markings/sec, 80 secs
lola: 342557 markings, 1476132 edges, 3700 markings/sec, 85 secs
lola: 359603 markings, 1569318 edges, 3409 markings/sec, 90 secs
lola: 380580 markings, 1647181 edges, 4195 markings/sec, 95 secs
lola: 399071 markings, 1734371 edges, 3698 markings/sec, 100 secs
lola: 417852 markings, 1821138 edges, 3756 markings/sec, 105 secs
lola: 435340 markings, 1912160 edges, 3498 markings/sec, 110 secs
lola: 452829 markings, 2004128 edges, 3498 markings/sec, 115 secs
lola: 471244 markings, 2092067 edges, 3683 markings/sec, 120 secs
lola: 487601 markings, 2187587 edges, 3271 markings/sec, 125 secs
lola: 506218 markings, 2275195 edges, 3723 markings/sec, 130 secs
lola: 523803 markings, 2366173 edges, 3517 markings/sec, 135 secs
lola: 542269 markings, 2454208 edges, 3693 markings/sec, 140 secs
lola: 563123 markings, 2532402 edges, 4171 markings/sec, 145 secs
lola: 580856 markings, 2620901 edges, 3547 markings/sec, 150 secs
lola: 599229 markings, 2709529 edges, 3675 markings/sec, 155 secs
lola: 616585 markings, 2801456 edges, 3471 markings/sec, 160 secs
lola: 634292 markings, 2892675 edges, 3541 markings/sec, 165 secs
lola: 653091 markings, 2981321 edges, 3760 markings/sec, 170 secs
lola: 669712 markings, 3076969 edges, 3324 markings/sec, 175 secs
lola: 688282 markings, 3166630 edges, 3714 markings/sec, 180 secs
lola: 705781 markings, 3260039 edges, 3500 markings/sec, 185 secs
lola: 725742 markings, 3344049 edges, 3992 markings/sec, 190 secs
lola: 745876 markings, 3426909 edges, 4027 markings/sec, 195 secs
lola: 764641 markings, 3515820 edges, 3753 markings/sec, 200 secs
lola: 783356 markings, 3604476 edges, 3743 markings/sec, 205 secs
lola: 799718 markings, 3702707 edges, 3272 markings/sec, 210 secs
lola: 818831 markings, 3790188 edges, 3823 markings/sec, 215 secs
lola: 836241 markings, 3883263 edges, 3482 markings/sec, 220 secs
lola: 854200 markings, 3975740 edges, 3592 markings/sec, 225 secs
lola: 873009 markings, 4064492 edges, 3762 markings/sec, 230 secs
lola: 889453 markings, 4161439 edges, 3289 markings/sec, 235 secs
lola: 910596 markings, 4240576 edges, 4229 markings/sec, 240 secs
lola: 929933 markings, 4326605 edges, 3867 markings/sec, 245 secs
lola: 948826 markings, 4414752 edges, 3779 markings/sec, 250 secs
lola: 966638 markings, 4506281 edges, 3562 markings/sec, 255 secs
lola: 984125 markings, 4599601 edges, 3497 markings/sec, 260 secs
lola: 1002833 markings, 4688231 edges, 3742 markings/sec, 265 secs
lola: 1019520 markings, 4784326 edges, 3337 markings/sec, 270 secs
lola: 1038222 markings, 4873520 edges, 3740 markings/sec, 275 secs
lola: 1056052 markings, 4965295 edges, 3566 markings/sec, 280 secs
lola: 1073542 markings, 5058053 edges, 3498 markings/sec, 285 secs
lola: 1092159 markings, 5146630 edges, 3723 markings/sec, 290 secs
lola: 1108736 markings, 5243024 edges, 3315 markings/sec, 295 secs
lola: 1125760 markings, 5338707 edges, 3405 markings/sec, 300 secs
lola: 1142170 markings, 5436326 edges, 3282 markings/sec, 305 secs
lola: 1157291 markings, 5538987 edges, 3024 markings/sec, 310 secs
lola: 1174107 markings, 5633461 edges, 3363 markings/sec, 315 secs
lola: 1187939 markings, 5719636 edges, 2766 markings/sec, 320 secs
lola: 1203577 markings, 5820806 edges, 3128 markings/sec, 325 secs
lola: 1220256 markings, 5918477 edges, 3336 markings/sec, 330 secs
lola: 1236149 markings, 6018489 edges, 3179 markings/sec, 335 secs
lola: 1253389 markings, 6113603 edges, 3448 markings/sec, 340 secs
lola: 1272167 markings, 6202522 edges, 3756 markings/sec, 345 secs
lola: 1288418 markings, 6300302 edges, 3250 markings/sec, 350 secs
lola: 1305473 markings, 6395596 edges, 3411 markings/sec, 355 secs
lola: 1321457 markings, 6494419 edges, 3197 markings/sec, 360 secs
lola: 1337145 markings, 6595247 edges, 3138 markings/sec, 365 secs
lola: 1353686 markings, 6692971 edges, 3308 markings/sec, 370 secs
lola: 1369583 markings, 6792709 edges, 3179 markings/sec, 375 secs
lola: 1385833 markings, 6891673 edges, 3250 markings/sec, 380 secs
lola: 1402605 markings, 6988420 edges, 3354 markings/sec, 385 secs
lola: 1417748 markings, 7090999 edges, 3029 markings/sec, 390 secs
lola: 1435962 markings, 7182384 edges, 3643 markings/sec, 395 secs
lola: 1453999 markings, 7273887 edges, 3607 markings/sec, 400 secs
lola: 1470845 markings, 7370477 edges, 3369 markings/sec, 405 secs
lola: 1487380 markings, 7468083 edges, 3307 markings/sec, 410 secs
lola: 1503217 markings, 7567999 edges, 3167 markings/sec, 415 secs
lola: 1519476 markings, 7666921 edges, 3252 markings/sec, 420 secs
lola: 1536213 markings, 7763402 edges, 3347 markings/sec, 425 secs
lola: 1551293 markings, 7865963 edges, 3016 markings/sec, 430 secs
lola: 1567906 markings, 7963596 edges, 3323 markings/sec, 435 secs
lola: 1584723 markings, 8060422 edges, 3363 markings/sec, 440 secs
lola: 1599706 markings, 8163744 edges, 2997 markings/sec, 445 secs
lola: 1618733 markings, 8251960 edges, 3805 markings/sec, 450 secs
lola: 1636168 markings, 8345677 edges, 3487 markings/sec, 455 secs
lola: 1653062 markings, 8442159 edges, 3379 markings/sec, 460 secs
lola: 1669839 markings, 8538537 edges, 3355 markings/sec, 465 secs
lola: 1684867 markings, 8641122 edges, 3006 markings/sec, 470 secs
lola: 1701503 markings, 8738205 edges, 3327 markings/sec, 475 secs
lola: 1718172 markings, 8835103 edges, 3334 markings/sec, 480 secs
lola: 1733018 markings, 8938527 edges, 2969 markings/sec, 485 secs
lola: 1750176 markings, 9034034 edges, 3432 markings/sec, 490 secs
lola: 1766145 markings, 9133471 edges, 3194 markings/sec, 495 secs
lola: 1783471 markings, 9227871 edges, 3465 markings/sec, 500 secs
lola: 1804653 markings, 9306927 edges, 4236 markings/sec, 505 secs
lola: 1822810 markings, 9397093 edges, 3631 markings/sec, 510 secs
lola: 1841512 markings, 9485871 edges, 3740 markings/sec, 515 secs
lola: 1858982 markings, 9578775 edges, 3494 markings/sec, 520 secs
lola: 1876778 markings, 9670968 edges, 3559 markings/sec, 525 secs
lola: 1895574 markings, 9759126 edges, 3759 markings/sec, 530 secs
lola: 1912229 markings, 9855264 edges, 3331 markings/sec, 535 secs
lola: 1930760 markings, 9944909 edges, 3706 markings/sec, 540 secs
lola: 1948306 markings, 10038064 edges, 3509 markings/sec, 545 secs
lola: 1966397 markings, 10129654 edges, 3618 markings/sec, 550 secs
lola: 1984998 markings, 10219290 edges, 3720 markings/sec, 555 secs
lola: 2001527 markings, 10316743 edges, 3306 markings/sec, 560 secs
lola: 2018399 markings, 10413296 edges, 3374 markings/sec, 565 secs
lola: 2034210 markings, 10513048 edges, 3162 markings/sec, 570 secs
lola: 2050292 markings, 10612618 edges, 3216 markings/sec, 575 secs
lola: 2067021 markings, 10709468 edges, 3346 markings/sec, 580 secs
lola: 2082308 markings, 10811373 edges, 3057 markings/sec, 585 secs
lola: 2098532 markings, 10910311 edges, 3245 markings/sec, 590 secs
lola: 2115711 markings, 11005808 edges, 3436 markings/sec, 595 secs
lola: 2130419 markings, 11109862 edges, 2942 markings/sec, 600 secs
lola: 2149405 markings, 11198165 edges, 3797 markings/sec, 605 secs
lola: 2166947 markings, 11290986 edges, 3508 markings/sec, 610 secs
lola: 2183636 markings, 11386038 edges, 3338 markings/sec, 615 secs
lola: 2197954 markings, 11470605 edges, 2864 markings/sec, 620 secs
lola: 2213665 markings, 11570846 edges, 3142 markings/sec, 625 secs
lola: 2229903 markings, 11669598 edges, 3248 markings/sec, 630 secs
lola: 2246655 markings, 11765944 edges, 3350 markings/sec, 635 secs
lola: 2261690 markings, 11868475 edges, 3007 markings/sec, 640 secs
lola: 2278340 markings, 11965805 edges, 3330 markings/sec, 645 secs
lola: 2295048 markings, 12062763 edges, 3342 markings/sec, 650 secs
lola: 2310047 markings, 12165783 edges, 3000 markings/sec, 655 secs
lola: 2329053 markings, 12253877 edges, 3801 markings/sec, 660 secs
lola: 2346469 markings, 12347342 edges, 3483 markings/sec, 665 secs
lola: 2363313 markings, 12443814 edges, 3369 markings/sec, 670 secs
lola: 2380111 markings, 12539931 edges, 3360 markings/sec, 675 secs
lola: 2395094 markings, 12642521 edges, 2997 markings/sec, 680 secs
lola: 2411710 markings, 12739251 edges, 3323 markings/sec, 685 secs
lola: 2428334 markings, 12836107 edges, 3325 markings/sec, 690 secs
lola: 2443171 markings, 12939464 edges, 2967 markings/sec, 695 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 316992 KB
lola: time consumption: 2162 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1546)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1546)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 38707 markings, 74470 edges, 7741 markings/sec, 0 secs
lola: 104964 markings, 197127 edges, 13251 markings/sec, 5 secs
lola: 172165 markings, 319905 edges, 13440 markings/sec, 10 secs
lola: 225166 markings, 451077 edges, 10600 markings/sec, 15 secs
lola: 267992 markings, 589990 edges, 8565 markings/sec, 20 secs
lola: 313460 markings, 731331 edges, 9094 markings/sec, 25 secs
lola: 365079 markings, 871688 edges, 10324 markings/sec, 30 secs
lola: 441194 markings, 993019 edges, 15223 markings/sec, 35 secs
lola: 516465 markings, 1114344 edges, 15054 markings/sec, 40 secs
lola: 589452 markings, 1237114 edges, 14597 markings/sec, 45 secs
lola: 662361 markings, 1359872 edges, 14582 markings/sec, 50 secs
lola: 736134 markings, 1481794 edges, 14755 markings/sec, 55 secs
lola: 811367 markings, 1602861 edges, 15047 markings/sec, 60 secs
lola: 884266 markings, 1725379 edges, 14580 markings/sec, 65 secs
lola: 957956 markings, 1849555 edges, 14738 markings/sec, 70 secs
lola: 1032814 markings, 1973137 edges, 14972 markings/sec, 75 secs
lola: 1109216 markings, 2096053 edges, 15280 markings/sec, 80 secs
lola: 1183234 markings, 2220520 edges, 14804 markings/sec, 85 secs
lola: 1256525 markings, 2344597 edges, 14658 markings/sec, 90 secs
lola: 1328999 markings, 2468539 edges, 14495 markings/sec, 95 secs
lola: 1399208 markings, 2593016 edges, 14042 markings/sec, 100 secs
lola: 1450184 markings, 2736495 edges, 10195 markings/sec, 105 secs
lola: 1495770 markings, 2882229 edges, 9117 markings/sec, 110 secs
lola: 1540953 markings, 3028509 edges, 9037 markings/sec, 115 secs
lola: 1589101 markings, 3173208 edges, 9630 markings/sec, 120 secs
lola: 1634462 markings, 3319065 edges, 9072 markings/sec, 125 secs
lola: 1678409 markings, 3465093 edges, 8789 markings/sec, 130 secs
lola: 1726920 markings, 3609287 edges, 9702 markings/sec, 135 secs
lola: 1773014 markings, 3754812 edges, 9219 markings/sec, 140 secs
lola: 1815824 markings, 3900713 edges, 8562 markings/sec, 145 secs
lola: 1858722 markings, 4046038 edges, 8580 markings/sec, 150 secs
lola: 1908415 markings, 4191392 edges, 9939 markings/sec, 155 secs
lola: 1972387 markings, 4324740 edges, 12794 markings/sec, 160 secs
lola: 2051977 markings, 4446094 edges, 15918 markings/sec, 165 secs
lola: 2124731 markings, 4570827 edges, 14551 markings/sec, 170 secs
lola: 2201237 markings, 4694154 edges, 15301 markings/sec, 175 secs
lola: 2271480 markings, 4820417 edges, 14049 markings/sec, 180 secs
lola: 2350870 markings, 4941446 edges, 15878 markings/sec, 185 secs
lola: 2423507 markings, 5065981 edges, 14527 markings/sec, 190 secs
lola: 2499761 markings, 5189064 edges, 15251 markings/sec, 195 secs
lola: 2569784 markings, 5314679 edges, 14005 markings/sec, 200 secs
lola: 2649053 markings, 5435550 edges, 15854 markings/sec, 205 secs
lola: 2721583 markings, 5559894 edges, 14506 markings/sec, 210 secs
lola: 2797551 markings, 5682733 edges, 15194 markings/sec, 215 secs
lola: 2867627 markings, 5807864 edges, 14015 markings/sec, 220 secs
lola: 2938910 markings, 5931754 edges, 14257 markings/sec, 225 secs
lola: 2999199 markings, 6064879 edges, 12058 markings/sec, 230 secs
lola: 3047670 markings, 6208475 edges, 9694 markings/sec, 235 secs
lola: 3094095 markings, 6353504 edges, 9285 markings/sec, 240 secs
lola: 3137273 markings, 6499382 edges, 8636 markings/sec, 245 secs
lola: 3185320 markings, 6643264 edges, 9609 markings/sec, 250 secs
lola: 3231287 markings, 6788109 edges, 9193 markings/sec, 255 secs
lola: 3276279 markings, 6932863 edges, 8998 markings/sec, 260 secs
lola: 3322524 markings, 7077242 edges, 9249 markings/sec, 265 secs
lola: 3367808 markings, 7222021 edges, 9057 markings/sec, 270 secs
lola: 3410572 markings, 7367105 edges, 8553 markings/sec, 275 secs
lola: 3455793 markings, 7512121 edges, 9044 markings/sec, 280 secs
lola: 3505260 markings, 7656394 edges, 9893 markings/sec, 285 secs
lola: 3582160 markings, 7779201 edges, 15380 markings/sec, 290 secs
lola: 3659174 markings, 7901483 edges, 15403 markings/sec, 295 secs
lola: 3732943 markings, 8025560 edges, 14754 markings/sec, 300 secs
lola: 3806791 markings, 8149556 edges, 14770 markings/sec, 305 secs
lola: 3880629 markings, 8273140 edges, 14768 markings/sec, 310 secs
lola: 3957140 markings, 8395273 edges, 15302 markings/sec, 315 secs
lola: 4030795 markings, 8519115 edges, 14731 markings/sec, 320 secs
lola: 4104252 markings, 8642605 edges, 14691 markings/sec, 325 secs
lola: 4178168 markings, 8765654 edges, 14783 markings/sec, 330 secs
lola: 4254441 markings, 8887792 edges, 15255 markings/sec, 335 secs
lola: 4327539 markings, 9010778 edges, 14620 markings/sec, 340 secs
lola: 4400735 markings, 9133855 edges, 14639 markings/sec, 345 secs
lola: 4471987 markings, 9256286 edges, 14250 markings/sec, 350 secs
lola: 4541516 markings, 9378935 edges, 13906 markings/sec, 355 secs
lola: 4593047 markings, 9518827 edges, 10306 markings/sec, 360 secs
lola: 4638928 markings, 9662177 edges, 9176 markings/sec, 365 secs
lola: 4684040 markings, 9806329 edges, 9022 markings/sec, 370 secs
lola: 4730882 markings, 9949263 edges, 9368 markings/sec, 375 secs
lola: 4775485 markings, 10093343 edges, 8921 markings/sec, 380 secs
lola: 4819885 markings, 10238166 edges, 8880 markings/sec, 385 secs
lola: 4867803 markings, 10381501 edges, 9584 markings/sec, 390 secs
lola: 4912566 markings, 10525365 edges, 8953 markings/sec, 395 secs
lola: 4955980 markings, 10669644 edges, 8683 markings/sec, 400 secs
lola: 4998486 markings, 10813390 edges, 8501 markings/sec, 405 secs
lola: 5046132 markings, 10957150 edges, 9529 markings/sec, 410 secs
lola: 5095027 markings, 11097464 edges, 9779 markings/sec, 415 secs
lola: 5144674 markings, 11230936 edges, 9929 markings/sec, 420 secs
lola: 5195017 markings, 11365335 edges, 10069 markings/sec, 425 secs
lola: 5248150 markings, 11501092 edges, 10627 markings/sec, 430 secs
lola: 5290335 markings, 11646121 edges, 8437 markings/sec, 435 secs
lola: 5328052 markings, 11796862 edges, 7543 markings/sec, 440 secs
lola: 5365700 markings, 11947272 edges, 7530 markings/sec, 445 secs
lola: 5403872 markings, 12097121 edges, 7634 markings/sec, 450 secs
lola: 5450687 markings, 12242916 edges, 9363 markings/sec, 455 secs
lola: 5499068 markings, 12387856 edges, 9676 markings/sec, 460 secs
lola: 5546940 markings, 12532677 edges, 9574 markings/sec, 465 secs
lola: 5596523 markings, 12677693 edges, 9917 markings/sec, 470 secs
lola: 5645115 markings, 12823195 edges, 9718 markings/sec, 475 secs
lola: 5696156 markings, 12964871 edges, 10208 markings/sec, 480 secs
lola: 5753932 markings, 13093488 edges, 11555 markings/sec, 485 secs
lola: 5803668 markings, 13233029 edges, 9947 markings/sec, 490 secs
lola: 5876643 markings, 13355774 edges, 14595 markings/sec, 495 secs
lola: 5949281 markings, 13478173 edges, 14528 markings/sec, 500 secs
lola: 6020658 markings, 13601050 edges, 14275 markings/sec, 505 secs
lola: 6092917 markings, 13723262 edges, 14452 markings/sec, 510 secs
lola: 6154780 markings, 13852503 edges, 12373 markings/sec, 515 secs
lola: 6199258 markings, 13996357 edges, 8896 markings/sec, 520 secs
lola: 6243669 markings, 14140126 edges, 8882 markings/sec, 525 secs
lola: 6286366 markings, 14284158 edges, 8539 markings/sec, 530 secs
lola: 6342461 markings, 14420271 edges, 11219 markings/sec, 535 secs
lola: 6415529 markings, 14542465 edges, 14614 markings/sec, 540 secs
lola: 6487316 markings, 14664836 edges, 14357 markings/sec, 545 secs
lola: 6560064 markings, 14786452 edges, 14550 markings/sec, 550 secs
lola: 6630326 markings, 14909424 edges, 14052 markings/sec, 555 secs
lola: 6687666 markings, 15041925 edges, 11468 markings/sec, 560 secs
lola: 6731632 markings, 15185121 edges, 8793 markings/sec, 565 secs
lola: 6775639 markings, 15328331 edges, 8801 markings/sec, 570 secs
lola: 6817553 markings, 15471834 edges, 8383 markings/sec, 575 secs
lola: 6880432 markings, 15602915 edges, 12576 markings/sec, 580 secs
lola: 6951185 markings, 15725898 edges, 14151 markings/sec, 585 secs
lola: 7023674 markings, 15847582 edges, 14498 markings/sec, 590 secs
lola: 7095622 markings, 15968817 edges, 14390 markings/sec, 595 secs
lola: 7165791 markings, 16090587 edges, 14034 markings/sec, 600 secs
lola: 7218144 markings, 16226663 edges, 10471 markings/sec, 605 secs
lola: 7262122 markings, 16369789 edges, 8796 markings/sec, 610 secs
lola: 7305985 markings, 16512650 edges, 8773 markings/sec, 615 secs
lola: 7348800 markings, 16656031 edges, 8563 markings/sec, 620 secs
lola: 7396359 markings, 16793092 edges, 9512 markings/sec, 625 secs
lola: 7441109 markings, 16935521 edges, 8950 markings/sec, 630 secs
lola: 7479349 markings, 17084729 edges, 7648 markings/sec, 635 secs
lola: 7526307 markings, 17230049 edges, 9392 markings/sec, 640 secs
lola: 7577609 markings, 17371336 edges, 10260 markings/sec, 645 secs
lola: 7634758 markings, 17500279 edges, 11430 markings/sec, 650 secs
lola: 7684994 markings, 17639338 edges, 10047 markings/sec, 655 secs
lola: 7758006 markings, 17762085 edges, 14602 markings/sec, 660 secs
lola: 7830624 markings, 17884449 edges, 14524 markings/sec, 665 secs
lola: 7902194 markings, 18007261 edges, 14314 markings/sec, 670 secs
lola: 7974244 markings, 18129559 edges, 14410 markings/sec, 675 secs
lola: 8035738 markings, 18259224 edges, 12299 markings/sec, 680 secs
lola: 8080184 markings, 18403082 edges, 8889 markings/sec, 685 secs
lola: 8124631 markings, 18546856 edges, 8889 markings/sec, 690 secs
lola: 8167023 markings, 18691107 edges, 8478 markings/sec, 695 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 1584148 KB
lola: time consumption: 2866 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p585)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p585)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges
lola: ========================================

FORMULA ASLink-PT-09b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p2575)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2575)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 98192 markings, 105179 edges, 19638 markings/sec, 30 secs
lola: 172282 markings, 182093 edges, 14818 markings/sec, 35 secs
lola: 246220 markings, 258555 edges, 14788 markings/sec, 40 secs
lola: 320133 markings, 335206 edges, 14783 markings/sec, 45 secs
lola: 394000 markings, 411957 edges, 14773 markings/sec, 50 secs
lola: 467785 markings, 488471 edges, 14757 markings/sec, 55 secs
lola: 541695 markings, 564786 edges, 14782 markings/sec, 60 secs
lola: 615803 markings, 640430 edges, 14822 markings/sec, 65 secs
lola: 689853 markings, 715527 edges, 14810 markings/sec, 70 secs
lola: 763544 markings, 791147 edges, 14738 markings/sec, 75 secs
lola: 837032 markings, 866574 edges, 14698 markings/sec, 80 secs
lola: 910451 markings, 941974 edges, 14684 markings/sec, 85 secs
lola: 984166 markings, 1017219 edges, 14743 markings/sec, 90 secs
lola: 1057674 markings, 1092407 edges, 14702 markings/sec, 95 secs
lola: 1130873 markings, 1167634 edges, 14640 markings/sec, 100 secs
lola: 1203946 markings, 1242726 edges, 14615 markings/sec, 105 secs
lola: 1277222 markings, 1317973 edges, 14655 markings/sec, 110 secs
lola: 1350786 markings, 1392848 edges, 14713 markings/sec, 115 secs
lola: 1423868 markings, 1467939 edges, 14616 markings/sec, 120 secs
lola: 1496750 markings, 1542854 edges, 14576 markings/sec, 125 secs
lola: 1569835 markings, 1617943 edges, 14617 markings/sec, 130 secs
lola: 1643175 markings, 1693050 edges, 14668 markings/sec, 135 secs
lola: 1716186 markings, 1768332 edges, 14602 markings/sec, 140 secs
lola: 1789167 markings, 1843474 edges, 14596 markings/sec, 145 secs
lola: 1862111 markings, 1918600 edges, 14589 markings/sec, 150 secs
lola: 1934780 markings, 1993694 edges, 14534 markings/sec, 155 secs
lola: 2008456 markings, 2069248 edges, 14735 markings/sec, 160 secs
lola: 2081901 markings, 2144836 edges, 14689 markings/sec, 165 secs
lola: 2155113 markings, 2220371 edges, 14642 markings/sec, 170 secs
lola: 2228361 markings, 2295791 edges, 14650 markings/sec, 175 secs
lola: 2301235 markings, 2371120 edges, 14575 markings/sec, 180 secs
lola: 2375574 markings, 2447023 edges, 14868 markings/sec, 185 secs
lola: 2449872 markings, 2522426 edges, 14860 markings/sec, 190 secs
lola: 2523757 markings, 2598299 edges, 14777 markings/sec, 195 secs
lola: 2597628 markings, 2674131 edges, 14774 markings/sec, 200 secs
lola: 2671476 markings, 2749925 edges, 14770 markings/sec, 205 secs
lola: 2745613 markings, 2825345 edges, 14827 markings/sec, 210 secs
lola: 2819332 markings, 2901044 edges, 14744 markings/sec, 215 secs
lola: 2892857 markings, 2976596 edges, 14705 markings/sec, 220 secs
lola: 2966301 markings, 3052088 edges, 14689 markings/sec, 225 secs
lola: 3040183 markings, 3127562 edges, 14776 markings/sec, 230 secs
lola: 3113889 markings, 3202953 edges, 14741 markings/sec, 235 secs
lola: 3187301 markings, 3278384 edges, 14682 markings/sec, 240 secs
lola: 3260685 markings, 3353804 edges, 14677 markings/sec, 245 secs
lola: 3334162 markings, 3429284 edges, 14695 markings/sec, 250 secs
lola: 3407818 markings, 3504845 edges, 14731 markings/sec, 255 secs
lola: 3481345 markings, 3580406 edges, 14705 markings/sec, 260 secs
lola: 3554494 markings, 3656019 edges, 14630 markings/sec, 265 secs
lola: 3627842 markings, 3731532 edges, 14670 markings/sec, 270 secs
lola: 3701181 markings, 3807180 edges, 14668 markings/sec, 275 secs
lola: 3775205 markings, 3883182 edges, 14805 markings/sec, 280 secs
lola: 3849088 markings, 3959164 edges, 14777 markings/sec, 285 secs
lola: 3922551 markings, 4035087 edges, 14693 markings/sec, 290 secs
lola: 3996158 markings, 4110891 edges, 14721 markings/sec, 295 secs
lola: 4069877 markings, 4186755 edges, 14744 markings/sec, 300 secs
lola: 4144096 markings, 4262386 edges, 14844 markings/sec, 305 secs
lola: 4218128 markings, 4337827 edges, 14806 markings/sec, 310 secs
lola: 4291899 markings, 4413546 edges, 14754 markings/sec, 315 secs
lola: 4365546 markings, 4489154 edges, 14729 markings/sec, 320 secs
lola: 4439354 markings, 4564938 edges, 14762 markings/sec, 325 secs
lola: 4513259 markings, 4640074 edges, 14781 markings/sec, 330 secs
lola: 4586709 markings, 4715579 edges, 14690 markings/sec, 335 secs
lola: 4660058 markings, 4790941 edges, 14670 markings/sec, 340 secs
lola: 4733529 markings, 4866455 edges, 14694 markings/sec, 345 secs
lola: 4807332 markings, 4941511 edges, 14761 markings/sec, 350 secs
lola: 4880765 markings, 5016983 edges, 14687 markings/sec, 355 secs
lola: 4954105 markings, 5092325 edges, 14668 markings/sec, 360 secs
lola: 5027320 markings, 5167581 edges, 14643 markings/sec, 365 secs
lola: 5100918 markings, 5242900 edges, 14720 markings/sec, 370 secs
lola: 5174221 markings, 5318425 edges, 14661 markings/sec, 375 secs
lola: 5247496 markings, 5393808 edges, 14655 markings/sec, 380 secs
lola: 5320602 markings, 5469288 edges, 14621 markings/sec, 385 secs
lola: 5393682 markings, 5544627 edges, 14616 markings/sec, 390 secs
lola: 5467314 markings, 5620186 edges, 14726 markings/sec, 395 secs
lola: 5540960 markings, 5696109 edges, 14729 markings/sec, 400 secs
lola: 5614593 markings, 5771872 edges, 14727 markings/sec, 405 secs
lola: 5688042 markings, 5847573 edges, 14690 markings/sec, 410 secs
lola: 5761308 markings, 5923230 edges, 14653 markings/sec, 415 secs
lola: 5835159 markings, 5998969 edges, 14770 markings/sec, 420 secs
lola: 5909304 markings, 6074279 edges, 14829 markings/sec, 425 secs
lola: 5983134 markings, 6149880 edges, 14766 markings/sec, 430 secs
lola: 6056692 markings, 6225410 edges, 14712 markings/sec, 435 secs
lola: 6130243 markings, 6300917 edges, 14710 markings/sec, 440 secs
lola: 6204013 markings, 6376387 edges, 14754 markings/sec, 445 secs
lola: 6277647 markings, 6451554 edges, 14727 markings/sec, 450 secs
lola: 6350936 markings, 6526847 edges, 14658 markings/sec, 455 secs
lola: 6424186 markings, 6602097 edges, 14650 markings/sec, 460 secs
lola: 6497503 markings, 6677477 edges, 14663 markings/sec, 465 secs
lola: 6571184 markings, 6752364 edges, 14736 markings/sec, 470 secs
lola: 6644358 markings, 6827585 edges, 14635 markings/sec, 475 secs
lola: 6717384 markings, 6902620 edges, 14605 markings/sec, 480 secs
lola: 6790524 markings, 6977794 edges, 14628 markings/sec, 485 secs
lola: 6863958 markings, 7052986 edges, 14687 markings/sec, 490 secs
lola: 6937053 markings, 7128328 edges, 14619 markings/sec, 495 secs
lola: 7010135 markings, 7203585 edges, 14616 markings/sec, 500 secs
lola: 7083124 markings, 7278727 edges, 14598 markings/sec, 505 secs
lola: 7155858 markings, 7353906 edges, 14547 markings/sec, 510 secs
lola: 7229564 markings, 7429484 edges, 14741 markings/sec, 515 secs
lola: 7303091 markings, 7505326 edges, 14705 markings/sec, 520 secs
lola: 7376538 markings, 7580920 edges, 14689 markings/sec, 525 secs
lola: 7449922 markings, 7656506 edges, 14677 markings/sec, 530 secs
lola: 7523032 markings, 7732067 edges, 14622 markings/sec, 535 secs
lola: 7596961 markings, 7807662 edges, 14786 markings/sec, 540 secs
lola: 7671077 markings, 7882819 edges, 14823 markings/sec, 545 secs
lola: 7744630 markings, 7958325 edges, 14711 markings/sec, 550 secs
lola: 7818117 markings, 8033776 edges, 14697 markings/sec, 555 secs
lola: 7891559 markings, 8109188 edges, 14688 markings/sec, 560 secs
lola: 7965364 markings, 8184400 edges, 14761 markings/sec, 565 secs
lola: 8038769 markings, 8259623 edges, 14681 markings/sec, 570 secs
lola: 8111721 markings, 8334615 edges, 14590 markings/sec, 575 secs
lola: 8184814 markings, 8409707 edges, 14619 markings/sec, 580 secs
lola: 8258181 markings, 8484860 edges, 14673 markings/sec, 585 secs
lola: 8331655 markings, 8559821 edges, 14695 markings/sec, 590 secs
lola: 8404796 markings, 8634951 edges, 14628 markings/sec, 595 secs
lola: 8477663 markings, 8709845 edges, 14573 markings/sec, 600 secs
lola: 8550594 markings, 8784789 edges, 14586 markings/sec, 605 secs
lola: 8623631 markings, 8859635 edges, 14607 markings/sec, 610 secs
lola: 8696551 markings, 8934671 edges, 14584 markings/sec, 615 secs
lola: 8769430 markings, 9009898 edges, 14576 markings/sec, 620 secs
lola: 8842454 markings, 9085065 edges, 14605 markings/sec, 625 secs
lola: 8914871 markings, 9159921 edges, 14483 markings/sec, 630 secs
lola: 8988267 markings, 9235142 edges, 14679 markings/sec, 635 secs
lola: 9061662 markings, 9310598 edges, 14679 markings/sec, 640 secs
lola: 9134861 markings, 9386218 edges, 14640 markings/sec, 645 secs
lola: 9207962 markings, 9461504 edges, 14620 markings/sec, 650 secs
lola: 9280702 markings, 9536615 edges, 14548 markings/sec, 655 secs
lola: 9354262 markings, 9611696 edges, 14712 markings/sec, 660 secs
lola: 9427920 markings, 9686486 edges, 14732 markings/sec, 665 secs
lola: 9501012 markings, 9761541 edges, 14618 markings/sec, 670 secs
lola: 9574326 markings, 9836814 edges, 14663 markings/sec, 675 secs
lola: 9647754 markings, 9912194 edges, 14686 markings/sec, 680 secs
lola: 9721334 markings, 9987000 edges, 14716 markings/sec, 685 secs
lola: 9794291 markings, 10061959 edges, 14591 markings/sec, 690 secs
lola: 9867065 markings, 10136719 edges, 14555 markings/sec, 695 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 unknown unknown unknown 1
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 unknown unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 unknown unknown unknown 1
lola: memory consumption: 1339384 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 1 1 unknown 1 1 1 unknown unknown unknown 1
lola: memory consumption: 1339384 KB
lola: time consumption: 3570 seconds

BK_STOP 1552322551565

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

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