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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 3.4K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.2K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.2K 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 6.9K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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 15K 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 279K 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-02a-UpperBounds-00
FORMULA_NAME ASLink-PT-02a-UpperBounds-01
FORMULA_NAME ASLink-PT-02a-UpperBounds-02
FORMULA_NAME ASLink-PT-02a-UpperBounds-03
FORMULA_NAME ASLink-PT-02a-UpperBounds-04
FORMULA_NAME ASLink-PT-02a-UpperBounds-05
FORMULA_NAME ASLink-PT-02a-UpperBounds-06
FORMULA_NAME ASLink-PT-02a-UpperBounds-07
FORMULA_NAME ASLink-PT-02a-UpperBounds-08
FORMULA_NAME ASLink-PT-02a-UpperBounds-09
FORMULA_NAME ASLink-PT-02a-UpperBounds-10
FORMULA_NAME ASLink-PT-02a-UpperBounds-11
FORMULA_NAME ASLink-PT-02a-UpperBounds-12
FORMULA_NAME ASLink-PT-02a-UpperBounds-13
FORMULA_NAME ASLink-PT-02a-UpperBounds-14
FORMULA_NAME ASLink-PT-02a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552260646541

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-02a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-02a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-02a @ 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: 1634/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 626
lola: finding significant places
lola: 626 places, 1008 transitions, 508 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1148 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-02a-UpperBounds.task
lola: MAX(p545) : MAX(p79) : MAX(p243) : MAX(p234) : MAX(p503) : MAX(p625) : MAX(p272) : MAX(p443) : MAX(p609) : MAX(p509) : MAX(p446) : MAX(p398) : MAX(p83) : MAX(p353) : MAX(p136) : MAX(p516)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p545)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p545)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 113 markings, 112 edges
lola: ========================================

FORMULA ASLink-PT-02a-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(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p79)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 172440 markings, 447357 edges, 34488 markings/sec, 30 secs
lola: 356102 markings, 960999 edges, 36732 markings/sec, 35 secs
lola: 539261 markings, 1463840 edges, 36632 markings/sec, 40 secs
lola: 721747 markings, 1950544 edges, 36497 markings/sec, 45 secs
lola: 905525 markings, 2481193 edges, 36756 markings/sec, 50 secs
lola: 1086200 markings, 2953682 edges, 36135 markings/sec, 55 secs
lola: 1268257 markings, 3486411 edges, 36411 markings/sec, 60 secs
lola: 1448830 markings, 3994299 edges, 36115 markings/sec, 65 secs
lola: 1629581 markings, 4469120 edges, 36150 markings/sec, 70 secs
lola: 1810937 markings, 4996443 edges, 36271 markings/sec, 75 secs
lola: 1988841 markings, 5511622 edges, 35581 markings/sec, 80 secs
lola: 2138585 markings, 6057748 edges, 29949 markings/sec, 85 secs
lola: 2295967 markings, 6652074 edges, 31476 markings/sec, 90 secs
lola: 2452425 markings, 7233622 edges, 31292 markings/sec, 95 secs
lola: 2609558 markings, 7838413 edges, 31427 markings/sec, 100 secs
lola: 2765765 markings, 8412984 edges, 31241 markings/sec, 105 secs
lola: 2922246 markings, 9023843 edges, 31296 markings/sec, 110 secs
lola: 3076908 markings, 9572932 edges, 30932 markings/sec, 115 secs
lola: 3233610 markings, 10186350 edges, 31340 markings/sec, 120 secs
lola: 3388946 markings, 10794309 edges, 31067 markings/sec, 125 secs
lola: 3543300 markings, 11323908 edges, 30871 markings/sec, 130 secs
lola: 3700050 markings, 11934220 edges, 31350 markings/sec, 135 secs
lola: 3855818 markings, 12540647 edges, 31154 markings/sec, 140 secs
lola: 4000033 markings, 13079948 edges, 28843 markings/sec, 145 secs
lola: 4155940 markings, 13664517 edges, 31181 markings/sec, 150 secs
lola: 4312570 markings, 14259375 edges, 31326 markings/sec, 155 secs
lola: 4468751 markings, 14837462 edges, 31236 markings/sec, 160 secs
lola: 4623010 markings, 15417156 edges, 30852 markings/sec, 165 secs
lola: 4780482 markings, 16013165 edges, 31494 markings/sec, 170 secs
lola: 4935774 markings, 16611772 edges, 31058 markings/sec, 175 secs
lola: 5091077 markings, 17175658 edges, 31061 markings/sec, 180 secs
lola: 5246802 markings, 17785169 edges, 31145 markings/sec, 185 secs
lola: 5401849 markings, 18370609 edges, 31009 markings/sec, 190 secs
lola: 5557446 markings, 18926562 edges, 31119 markings/sec, 195 secs
lola: 5713520 markings, 19534171 edges, 31215 markings/sec, 200 secs
lola: 5868902 markings, 20138968 edges, 31076 markings/sec, 205 secs
lola: 6013833 markings, 20670888 edges, 28986 markings/sec, 210 secs
lola: 6170173 markings, 21246335 edges, 31268 markings/sec, 215 secs
lola: 6325642 markings, 21840470 edges, 31094 markings/sec, 220 secs
lola: 6481938 markings, 22436244 edges, 31259 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 483348 KB
lola: time consumption: 271 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p243)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p243)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 228612 markings, 360405 edges, 45722 markings/sec, 30 secs
lola: 460465 markings, 716445 edges, 46371 markings/sec, 35 secs
lola: 676606 markings, 1070457 edges, 43228 markings/sec, 40 secs
lola: 865817 markings, 1430376 edges, 37842 markings/sec, 45 secs
lola: 1102422 markings, 1783700 edges, 47321 markings/sec, 50 secs
lola: 1315754 markings, 2137858 edges, 42666 markings/sec, 55 secs
lola: 1502195 markings, 2498897 edges, 37288 markings/sec, 60 secs
lola: 1742142 markings, 2849701 edges, 47989 markings/sec, 65 secs
lola: 1954291 markings, 3205374 edges, 42430 markings/sec, 70 secs
lola: 2142045 markings, 3565484 edges, 37551 markings/sec, 75 secs
lola: 2335960 markings, 3942540 edges, 38783 markings/sec, 80 secs
lola: 2514456 markings, 4367748 edges, 35699 markings/sec, 85 secs
lola: 2728199 markings, 4754642 edges, 42749 markings/sec, 90 secs
lola: 2920730 markings, 5152605 edges, 38506 markings/sec, 95 secs
lola: 3135761 markings, 5504778 edges, 43006 markings/sec, 100 secs
lola: 3331002 markings, 5912092 edges, 39048 markings/sec, 105 secs
lola: 3538416 markings, 6302525 edges, 41483 markings/sec, 110 secs
lola: 3763212 markings, 6678072 edges, 44959 markings/sec, 115 secs
lola: 3964875 markings, 7070497 edges, 40333 markings/sec, 120 secs
lola: 4177913 markings, 7452066 edges, 42608 markings/sec, 125 secs
lola: 4413810 markings, 7811756 edges, 47179 markings/sec, 130 secs
lola: 4617034 markings, 8201048 edges, 40645 markings/sec, 135 secs
lola: 4817791 markings, 8593106 edges, 40151 markings/sec, 140 secs
lola: 5060577 markings, 8946020 edges, 48557 markings/sec, 145 secs
lola: 5267496 markings, 9332296 edges, 41384 markings/sec, 150 secs
lola: 5475861 markings, 9709551 edges, 41673 markings/sec, 155 secs
lola: 5679839 markings, 10090335 edges, 40796 markings/sec, 160 secs
lola: 5926247 markings, 10435204 edges, 49282 markings/sec, 165 secs
lola: 6136359 markings, 10812999 edges, 42022 markings/sec, 170 secs
lola: 6352320 markings, 11179901 edges, 43192 markings/sec, 175 secs
lola: 6557375 markings, 11559256 edges, 41011 markings/sec, 180 secs
lola: 6774595 markings, 11926393 edges, 43444 markings/sec, 185 secs
lola: 7005544 markings, 12259057 edges, 46190 markings/sec, 190 secs
lola: 7204437 markings, 12605054 edges, 39779 markings/sec, 195 secs
lola: 7424074 markings, 13005499 edges, 43927 markings/sec, 200 secs
lola: 7626090 markings, 13437597 edges, 40403 markings/sec, 205 secs
lola: 7849188 markings, 13806636 edges, 44620 markings/sec, 210 secs
lola: 8068936 markings, 14177947 edges, 43950 markings/sec, 215 secs
lola: 8284005 markings, 14552569 edges, 43014 markings/sec, 220 secs
lola: 8497472 markings, 14924408 edges, 42693 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 598732 KB
lola: time consumption: 506 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p234)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p234)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 234203 markings, 367464 edges, 46841 markings/sec, 30 secs
lola: 471457 markings, 734738 edges, 47451 markings/sec, 35 secs
lola: 691705 markings, 1097058 edges, 44050 markings/sec, 40 secs
lola: 892225 markings, 1463363 edges, 40104 markings/sec, 45 secs
lola: 1128667 markings, 1830306 edges, 47288 markings/sec, 50 secs
lola: 1345975 markings, 2187723 edges, 43462 markings/sec, 55 secs
lola: 1541108 markings, 2547976 edges, 39027 markings/sec, 60 secs
lola: 1774304 markings, 2906050 edges, 46639 markings/sec, 65 secs
lola: 1990547 markings, 3261985 edges, 43249 markings/sec, 70 secs
lola: 2171498 markings, 3624217 edges, 36190 markings/sec, 75 secs
lola: 2362788 markings, 4023524 edges, 38258 markings/sec, 80 secs
lola: 2549969 markings, 4437478 edges, 37436 markings/sec, 85 secs
lola: 2764786 markings, 4827741 edges, 42963 markings/sec, 90 secs
lola: 2957456 markings, 5231147 edges, 38534 markings/sec, 95 secs
lola: 3178711 markings, 5613519 edges, 44251 markings/sec, 100 secs
lola: 3379755 markings, 6004732 edges, 40209 markings/sec, 105 secs
lola: 3601672 markings, 6380969 edges, 44383 markings/sec, 110 secs
lola: 3809271 markings, 6766303 edges, 41520 markings/sec, 115 secs
lola: 4014783 markings, 7151202 edges, 41102 markings/sec, 120 secs
lola: 4240078 markings, 7528580 edges, 45059 markings/sec, 125 secs
lola: 4457371 markings, 7910213 edges, 43459 markings/sec, 130 secs
lola: 4661356 markings, 8301945 edges, 40797 markings/sec, 135 secs
lola: 4864356 markings, 8691691 edges, 40600 markings/sec, 140 secs
lola: 5119237 markings, 9040633 edges, 50976 markings/sec, 145 secs
lola: 5326844 markings, 9429039 edges, 41521 markings/sec, 150 secs
lola: 5532914 markings, 9814126 edges, 41214 markings/sec, 155 secs
lola: 5740976 markings, 10196959 edges, 41612 markings/sec, 160 secs
lola: 5994418 markings, 10544943 edges, 50688 markings/sec, 165 secs
lola: 6200596 markings, 10930959 edges, 41236 markings/sec, 170 secs
lola: 6408325 markings, 11311334 edges, 41546 markings/sec, 175 secs
lola: 6620464 markings, 11685884 edges, 42428 markings/sec, 180 secs
lola: 6867266 markings, 12038903 edges, 49360 markings/sec, 185 secs
lola: 7077398 markings, 12379243 edges, 42026 markings/sec, 190 secs
lola: 7280580 markings, 12738461 edges, 40636 markings/sec, 195 secs
lola: 7496354 markings, 13165383 edges, 43155 markings/sec, 200 secs
lola: 7701912 markings, 13572404 edges, 41112 markings/sec, 205 secs
lola: 7926083 markings, 13950664 edges, 44834 markings/sec, 210 secs
lola: 8148254 markings, 14325355 edges, 44434 markings/sec, 215 secs
lola: 8369708 markings, 14699409 edges, 44291 markings/sec, 220 secs
lola: 8582505 markings, 15080894 edges, 42559 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 604664 KB
lola: time consumption: 741 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p503)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p503)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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

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

FORMULA ASLink-PT-02a-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p443)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p443)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: Structural Bound: 4294967295
lola: 68 markings, 67 edges, 14 markings/sec, 25 secs
lola: 295926 markings, 425867 edges, 59172 markings/sec, 30 secs
lola: 553188 markings, 859230 edges, 51452 markings/sec, 35 secs
lola: 780010 markings, 1287284 edges, 45364 markings/sec, 40 secs
lola: 1068078 markings, 1718931 edges, 57614 markings/sec, 45 secs
lola: 1325187 markings, 2142698 edges, 51422 markings/sec, 50 secs
lola: 1582867 markings, 2568370 edges, 51536 markings/sec, 55 secs
lola: 1837696 markings, 3003848 edges, 50966 markings/sec, 60 secs
lola: 2067881 markings, 3427560 edges, 46037 markings/sec, 65 secs
lola: 2290462 markings, 3873269 edges, 44516 markings/sec, 70 secs
lola: 2502651 markings, 4360485 edges, 42438 markings/sec, 75 secs
lola: 2753726 markings, 4817719 edges, 50215 markings/sec, 80 secs
lola: 3002033 markings, 5276215 edges, 49661 markings/sec, 85 secs
lola: 3241902 markings, 5733319 edges, 47974 markings/sec, 90 secs
lola: 3479012 markings, 6192575 edges, 47422 markings/sec, 95 secs
lola: 3737271 markings, 6636362 edges, 51652 markings/sec, 100 secs
lola: 3979727 markings, 7080938 edges, 48491 markings/sec, 105 secs
lola: 4244228 markings, 7513417 edges, 52900 markings/sec, 110 secs
lola: 4487694 markings, 7959046 edges, 48693 markings/sec, 115 secs
lola: 4728522 markings, 8401104 edges, 48166 markings/sec, 120 secs
lola: 4996277 markings, 8828623 edges, 53551 markings/sec, 125 secs
lola: 5238498 markings, 9272905 edges, 48444 markings/sec, 130 secs
lola: 5478821 markings, 9713389 edges, 48065 markings/sec, 135 secs
lola: 5729801 markings, 10145796 edges, 50196 markings/sec, 140 secs
lola: 6013725 markings, 10562284 edges, 56785 markings/sec, 145 secs
lola: 6256264 markings, 11007177 edges, 48508 markings/sec, 150 secs
lola: 6497429 markings, 11448968 edges, 48233 markings/sec, 155 secs
lola: 6764391 markings, 11876219 edges, 53392 markings/sec, 160 secs
lola: 7007566 markings, 12249574 edges, 48635 markings/sec, 165 secs
lola: 7227224 markings, 12627426 edges, 43932 markings/sec, 170 secs
lola: 7485822 markings, 13049597 edges, 51720 markings/sec, 175 secs
lola: 7737479 markings, 13488662 edges, 50331 markings/sec, 180 secs
lola: 7992254 markings, 13919756 edges, 50955 markings/sec, 185 secs
lola: 8237681 markings, 14356749 edges, 49085 markings/sec, 190 secs
lola: 8452096 markings, 14824356 edges, 42883 markings/sec, 195 secs
lola: 8678372 markings, 15276420 edges, 45255 markings/sec, 200 secs
lola: 8904712 markings, 15744163 edges, 45268 markings/sec, 205 secs
lola: 9122465 markings, 16227345 edges, 43551 markings/sec, 210 secs
lola: 9333511 markings, 16713081 edges, 42209 markings/sec, 215 secs
lola: 9553935 markings, 17183613 edges, 44085 markings/sec, 220 secs
lola: 9791811 markings, 17636763 edges, 47575 markings/sec, 225 secs
lola: 10060728 markings, 18080443 edges, 53783 markings/sec, 230 secs
lola: 10282927 markings, 18541320 edges, 44440 markings/sec, 235 secs
lola: 10515549 markings, 19016860 edges, 46524 markings/sec, 240 secs
lola: 10744909 markings, 19483478 edges, 45872 markings/sec, 245 secs
lola: 10967856 markings, 19944488 edges, 44589 markings/sec, 250 secs
lola: 11191049 markings, 20403293 edges, 44639 markings/sec, 255 secs
lola: 11474021 markings, 20828675 edges, 56594 markings/sec, 260 secs
lola: 11734117 markings, 21269781 edges, 52019 markings/sec, 265 secs
lola: 11931198 markings, 21658254 edges, 39416 markings/sec, 270 secs
lola: 12160409 markings, 22126387 edges, 45842 markings/sec, 275 secs
lola: 12397393 markings, 22598914 edges, 47397 markings/sec, 280 secs
lola: 12623033 markings, 23056269 edges, 45128 markings/sec, 285 secs
lola: 12858177 markings, 23502870 edges, 47029 markings/sec, 290 secs
lola: 13092089 markings, 23944913 edges, 46782 markings/sec, 295 secs
lola: 13364586 markings, 24370329 edges, 54499 markings/sec, 300 secs
lola: 13650806 markings, 24797507 edges, 57244 markings/sec, 305 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 969260 KB
lola: time consumption: 1056 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p609)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p609)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 9 markings, 8 edges
lola: ========================================

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

FORMULA ASLink-PT-02a-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p446)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p446)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 301702 markings, 435506 edges, 60340 markings/sec, 30 secs
lola: 562998 markings, 876790 edges, 52259 markings/sec, 35 secs
lola: 799134 markings, 1311315 edges, 47227 markings/sec, 40 secs
lola: 1071630 markings, 1725028 edges, 54499 markings/sec, 45 secs
lola: 1334682 markings, 2167466 edges, 52610 markings/sec, 50 secs
lola: 1608051 markings, 2613606 edges, 54674 markings/sec, 55 secs
lola: 1873619 markings, 3062112 edges, 53114 markings/sec, 60 secs
lola: 2105361 markings, 3502101 edges, 46348 markings/sec, 65 secs
lola: 2337215 markings, 3981599 edges, 46371 markings/sec, 70 secs
lola: 2583836 markings, 4467733 edges, 49324 markings/sec, 75 secs
lola: 2820038 markings, 4956298 edges, 47240 markings/sec, 80 secs
lola: 3091861 markings, 5421131 edges, 54365 markings/sec, 85 secs
lola: 3327129 markings, 5906432 edges, 47054 markings/sec, 90 secs
lola: 3601981 markings, 6365576 edges, 54970 markings/sec, 95 secs
lola: 3848582 markings, 6840870 edges, 49320 markings/sec, 100 secs
lola: 4094997 markings, 7313061 edges, 49283 markings/sec, 105 secs
lola: 4377622 markings, 7767464 edges, 56525 markings/sec, 110 secs
lola: 4625908 markings, 8235214 edges, 49657 markings/sec, 115 secs
lola: 4895281 markings, 8692241 edges, 53875 markings/sec, 120 secs
lola: 5169326 markings, 9146941 edges, 54809 markings/sec, 125 secs
lola: 5419098 markings, 9610666 edges, 49954 markings/sec, 130 secs
lola: 5669191 markings, 10071925 edges, 50019 markings/sec, 135 secs
lola: 5978429 markings, 10505930 edges, 61848 markings/sec, 140 secs
lola: 6231767 markings, 10967511 edges, 50668 markings/sec, 145 secs
lola: 6483480 markings, 11426608 edges, 50343 markings/sec, 150 secs
lola: 6760794 markings, 11871874 edges, 55463 markings/sec, 155 secs
lola: 7012655 markings, 12259176 edges, 50372 markings/sec, 160 secs
lola: 7235815 markings, 12643211 edges, 44632 markings/sec, 165 secs
lola: 7503401 markings, 13088813 edges, 53517 markings/sec, 170 secs
lola: 7768067 markings, 13541114 edges, 52933 markings/sec, 175 secs
lola: 8036844 markings, 13991027 edges, 53755 markings/sec, 180 secs
lola: 8283131 markings, 14449829 edges, 49257 markings/sec, 185 secs
lola: 8505047 markings, 14932298 edges, 44383 markings/sec, 190 secs
lola: 8751400 markings, 15397103 edges, 49271 markings/sec, 195 secs
lola: 8969511 markings, 15893252 edges, 43622 markings/sec, 200 secs
lola: 9198852 markings, 16401675 edges, 45868 markings/sec, 205 secs
lola: 9420962 markings, 16894796 edges, 44422 markings/sec, 210 secs
lola: 9640976 markings, 17381404 edges, 44003 markings/sec, 215 secs
lola: 9937484 markings, 17828971 edges, 59302 markings/sec, 220 secs
lola: 10173086 markings, 18307758 edges, 47120 markings/sec, 225 secs
lola: 10408682 markings, 18790089 edges, 47119 markings/sec, 230 secs
lola: 10641095 markings, 19294296 edges, 46483 markings/sec, 235 secs
lola: 10875036 markings, 19767340 edges, 46788 markings/sec, 240 secs
lola: 11120225 markings, 20232531 edges, 49038 markings/sec, 245 secs
lola: 11369167 markings, 20696125 edges, 49788 markings/sec, 250 secs
lola: 11665173 markings, 21144717 edges, 59201 markings/sec, 255 secs
lola: 11909370 markings, 21610190 edges, 48839 markings/sec, 260 secs
lola: 12147587 markings, 22091118 edges, 47643 markings/sec, 265 secs
lola: 12391330 markings, 22582880 edges, 48749 markings/sec, 270 secs
lola: 12624009 markings, 23059635 edges, 46536 markings/sec, 275 secs
lola: 12869144 markings, 23522734 edges, 49027 markings/sec, 280 secs
lola: 13110963 markings, 23981891 edges, 48364 markings/sec, 285 secs
lola: 13404646 markings, 24420032 edges, 58737 markings/sec, 290 secs
lola: 13687316 markings, 24871031 edges, 56534 markings/sec, 295 secs
lola: 13937147 markings, 25330389 edges, 49966 markings/sec, 300 secs
lola: 14181898 markings, 25799260 edges, 48950 markings/sec, 305 secs
lola: 14424736 markings, 26289276 edges, 48568 markings/sec, 310 secs
lola: 14672181 markings, 26756693 edges, 49489 markings/sec, 315 secs
lola: 14917013 markings, 27220159 edges, 48966 markings/sec, 320 secs
lola: 15167859 markings, 27674008 edges, 50169 markings/sec, 325 secs
lola: 15409756 markings, 28130992 edges, 48379 markings/sec, 330 secs
lola: 15700045 markings, 28565639 edges, 58058 markings/sec, 335 secs
lola: 16007298 markings, 29001610 edges, 61451 markings/sec, 340 secs
lola: 16254012 markings, 29462424 edges, 49343 markings/sec, 345 secs
lola: 16501202 markings, 29917551 edges, 49438 markings/sec, 350 secs
lola: 16750924 markings, 30395806 edges, 49944 markings/sec, 355 secs
lola: 17008961 markings, 30871088 edges, 51607 markings/sec, 360 secs
lola: 17257179 markings, 31332216 edges, 49644 markings/sec, 365 secs
lola: 17499863 markings, 31792122 edges, 48537 markings/sec, 370 secs
lola: 17751632 markings, 32245328 edges, 50354 markings/sec, 375 secs
lola: 18018350 markings, 32682964 edges, 53344 markings/sec, 380 secs
lola: 18266769 markings, 33133973 edges, 49684 markings/sec, 385 secs
lola: 18595523 markings, 33553264 edges, 65751 markings/sec, 390 secs
lola: 18867417 markings, 34004739 edges, 54379 markings/sec, 395 secs
lola: 19114885 markings, 34460393 edges, 49494 markings/sec, 400 secs
lola: 19359882 markings, 34910985 edges, 48999 markings/sec, 405 secs
lola: 19614228 markings, 35384261 edges, 50869 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1359864 KB
lola: time consumption: 1475 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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
lola: ========================================

FORMULA ASLink-PT-02a-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 523 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p83)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 174879 markings, 454671 edges, 34976 markings/sec, 30 secs
lola: 361217 markings, 976332 edges, 37268 markings/sec, 35 secs
lola: 546985 markings, 1487029 edges, 37154 markings/sec, 40 secs
lola: 732193 markings, 1981841 edges, 37042 markings/sec, 45 secs
lola: 918414 markings, 2519842 edges, 37244 markings/sec, 50 secs
lola: 1102110 markings, 3001391 edges, 36739 markings/sec, 55 secs
lola: 1286454 markings, 3540997 edges, 36869 markings/sec, 60 secs
lola: 1469978 markings, 4041798 edges, 36705 markings/sec, 65 secs
lola: 1653642 markings, 4541287 edges, 36733 markings/sec, 70 secs
lola: 1839402 markings, 5068540 edges, 37152 markings/sec, 75 secs
lola: 2008354 markings, 5575187 edges, 33790 markings/sec, 80 secs
lola: 2165168 markings, 6160935 edges, 31363 markings/sec, 85 secs
lola: 2325337 markings, 6764327 edges, 32034 markings/sec, 90 secs
lola: 2484797 markings, 7355568 edges, 31892 markings/sec, 95 secs
lola: 2642243 markings, 7952462 edges, 31489 markings/sec, 100 secs
lola: 2802460 markings, 8554999 edges, 32043 markings/sec, 105 secs
lola: 2960204 markings, 9163399 edges, 31549 markings/sec, 110 secs
lola: 3117662 markings, 9735896 edges, 31492 markings/sec, 115 secs
lola: 3276764 markings, 10353941 edges, 31820 markings/sec, 120 secs
lola: 3433354 markings, 10944702 edges, 31318 markings/sec, 125 secs
lola: 3590755 markings, 11513638 edges, 31480 markings/sec, 130 secs
lola: 3749414 markings, 12131616 edges, 31732 markings/sec, 135 secs
lola: 3906805 markings, 12744522 edges, 31478 markings/sec, 140 secs
lola: 4053211 markings, 13275356 edges, 29281 markings/sec, 145 secs
lola: 4211910 markings, 13867125 edges, 31740 markings/sec, 150 secs
lola: 4368608 markings, 14455327 edges, 31340 markings/sec, 155 secs
lola: 4528838 markings, 15070216 edges, 32046 markings/sec, 160 secs
lola: 4685333 markings, 15642930 edges, 31299 markings/sec, 165 secs
lola: 4843858 markings, 16256415 edges, 31705 markings/sec, 170 secs
lola: 4997896 markings, 16824653 edges, 30808 markings/sec, 175 secs
lola: 5157448 markings, 17427901 edges, 31910 markings/sec, 180 secs
lola: 5313947 markings, 18040483 edges, 31300 markings/sec, 185 secs
lola: 5467526 markings, 18592719 edges, 30716 markings/sec, 190 secs
lola: 5625235 markings, 19197654 edges, 31542 markings/sec, 195 secs
lola: 5783085 markings, 19806374 edges, 31570 markings/sec, 200 secs
lola: 5937120 markings, 20399084 edges, 30807 markings/sec, 205 secs
lola: 6086168 markings, 20940274 edges, 29810 markings/sec, 210 secs
lola: 6243335 markings, 21533720 edges, 31433 markings/sec, 215 secs
lola: 6399714 markings, 22114982 edges, 31276 markings/sec, 220 secs
lola: 6556586 markings, 22721448 edges, 31374 markings/sec, 225 secs
lola: 6711931 markings, 23294765 edges, 31069 markings/sec, 230 secs
lola: 6868732 markings, 23901934 edges, 31360 markings/sec, 235 secs
lola: 7023834 markings, 24452849 edges, 31020 markings/sec, 240 secs
lola: 7179725 markings, 25063025 edges, 31178 markings/sec, 245 secs
lola: 7334826 markings, 25670013 edges, 31020 markings/sec, 250 secs
lola: 7489992 markings, 26202885 edges, 31033 markings/sec, 255 secs
lola: 7646406 markings, 26811884 edges, 31283 markings/sec, 260 secs
lola: 7801971 markings, 27417415 edges, 31113 markings/sec, 265 secs
lola: 7942018 markings, 27983855 edges, 28009 markings/sec, 270 secs
lola: 8079055 markings, 28631333 edges, 27407 markings/sec, 275 secs
lola: 8216430 markings, 29286086 edges, 27475 markings/sec, 280 secs
lola: 8353369 markings, 29926564 edges, 27388 markings/sec, 285 secs
lola: 8490800 markings, 30598507 edges, 27486 markings/sec, 290 secs
lola: 8626636 markings, 31224419 edges, 27167 markings/sec, 295 secs
lola: 8763377 markings, 31897752 edges, 27348 markings/sec, 300 secs
lola: 8899697 markings, 32551393 edges, 27264 markings/sec, 305 secs
lola: 9036430 markings, 33183165 edges, 27347 markings/sec, 310 secs
lola: 9173038 markings, 33852846 edges, 27322 markings/sec, 315 secs
lola: 9309167 markings, 34520101 edges, 27226 markings/sec, 320 secs
lola: 9445058 markings, 35115206 edges, 27178 markings/sec, 325 secs
lola: 9580608 markings, 35788764 edges, 27110 markings/sec, 330 secs
lola: 9716399 markings, 36451655 edges, 27158 markings/sec, 335 secs
lola: 9851739 markings, 37111713 edges, 27068 markings/sec, 340 secs
lola: 9994146 markings, 37643085 edges, 28481 markings/sec, 345 secs
lola: 10151281 markings, 38238466 edges, 31427 markings/sec, 350 secs
lola: 10308053 markings, 38816162 edges, 31354 markings/sec, 355 secs
lola: 10465476 markings, 39430589 edges, 31485 markings/sec, 360 secs
lola: 10620119 markings, 39995932 edges, 30929 markings/sec, 365 secs
lola: 10777301 markings, 40604041 edges, 31436 markings/sec, 370 secs
lola: 10929071 markings, 41161744 edges, 30354 markings/sec, 375 secs
lola: 11087224 markings, 41760802 edges, 31631 markings/sec, 380 secs
lola: 11242295 markings, 42367721 edges, 31014 markings/sec, 385 secs
lola: 11393432 markings, 42910380 edges, 30227 markings/sec, 390 secs
lola: 11549363 markings, 43507943 edges, 31186 markings/sec, 395 secs
lola: 11704943 markings, 44112551 edges, 31116 markings/sec, 400 secs
lola: 11860501 markings, 44704706 edges, 31112 markings/sec, 405 secs
lola: 12009630 markings, 45236142 edges, 29826 markings/sec, 410 secs
lola: 12168464 markings, 45836247 edges, 31767 markings/sec, 415 secs
lola: 12326506 markings, 46424179 edges, 31608 markings/sec, 420 secs
lola: 12485289 markings, 47041490 edges, 31757 markings/sec, 425 secs
lola: 12641819 markings, 47616927 edges, 31306 markings/sec, 430 secs
lola: 12800573 markings, 48231308 edges, 31751 markings/sec, 435 secs
lola: 12956478 markings, 48785441 edges, 31181 markings/sec, 440 secs
lola: 13113894 markings, 49401766 edges, 31483 markings/sec, 445 secs
lola: 13270464 markings, 50014639 edges, 31314 markings/sec, 450 secs
lola: 13426045 markings, 50549133 edges, 31116 markings/sec, 455 secs
lola: 13583673 markings, 51162929 edges, 31526 markings/sec, 460 secs
lola: 13740535 markings, 51773717 edges, 31372 markings/sec, 465 secs
lola: 13886371 markings, 52314099 edges, 29167 markings/sec, 470 secs
lola: 14044712 markings, 52908297 edges, 31668 markings/sec, 475 secs
lola: 14203522 markings, 53511502 edges, 31762 markings/sec, 480 secs
lola: 14361391 markings, 54096324 edges, 31574 markings/sec, 485 secs
lola: 14517433 markings, 54679634 edges, 31208 markings/sec, 490 secs
lola: 14675828 markings, 55282941 edges, 31679 markings/sec, 495 secs
lola: 14833012 markings, 55886096 edges, 31437 markings/sec, 500 secs
lola: 14989656 markings, 56458290 edges, 31329 markings/sec, 505 secs
lola: 15148732 markings, 57069739 edges, 31815 markings/sec, 510 secs
lola: 15303718 markings, 57656835 edges, 30997 markings/sec, 515 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown unknown unknown
lola: memory consumption: 1088092 KB
lola: time consumption: 1998 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 524 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p353)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 555 markings, 715 edges

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

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

FORMULA ASLink-PT-02a-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p79)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-02a-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: 172686 markings, 448116 edges, 34537 markings/sec, 30 secs
lola: 347085 markings, 934018 edges, 34880 markings/sec, 35 secs
lola: 531036 markings, 1439188 edges, 36790 markings/sec, 40 secs
lola: 714033 markings, 1927348 edges, 36599 markings/sec, 45 secs
lola: 898558 markings, 2460312 edges, 36905 markings/sec, 50 secs
lola: 1079619 markings, 2933970 edges, 36212 markings/sec, 55 secs
lola: 1262542 markings, 3469274 edges, 36585 markings/sec, 60 secs
lola: 1444087 markings, 3981639 edges, 36309 markings/sec, 65 secs
lola: 1625624 markings, 4457269 edges, 36307 markings/sec, 70 secs
lola: 1798626 markings, 4959575 edges, 34600 markings/sec, 75 secs
lola: 1980983 markings, 5487630 edges, 36471 markings/sec, 80 secs
lola: 2129610 markings, 6021849 edges, 29725 markings/sec, 85 secs
lola: 2287642 markings, 6618755 edges, 31606 markings/sec, 90 secs
lola: 2444702 markings, 7202724 edges, 31412 markings/sec, 95 secs
lola: 2602495 markings, 7815215 edges, 31559 markings/sec, 100 secs
lola: 2758521 markings, 8389521 edges, 31205 markings/sec, 105 secs
lola: 2916370 markings, 9000290 edges, 31570 markings/sec, 110 secs
lola: 3071487 markings, 9551269 edges, 31023 markings/sec, 115 secs
lola: 3228685 markings, 10166718 edges, 31440 markings/sec, 120 secs
lola: 3384382 markings, 10776072 edges, 31139 markings/sec, 125 secs
lola: 3539141 markings, 11307277 edges, 30952 markings/sec, 130 secs
lola: 3696666 markings, 11920676 edges, 31505 markings/sec, 135 secs
lola: 3852544 markings, 12527511 edges, 31176 markings/sec, 140 secs
lola: 3997147 markings, 13068798 edges, 28921 markings/sec, 145 secs
lola: 4153659 markings, 13656303 edges, 31302 markings/sec, 150 secs
lola: 4310847 markings, 14252469 edges, 31438 markings/sec, 155 secs
lola: 4467748 markings, 14833469 edges, 31380 markings/sec, 160 secs
lola: 4622728 markings, 15416215 edges, 30996 markings/sec, 165 secs
lola: 4780426 markings, 16012947 edges, 31540 markings/sec, 170 secs
lola: 4935617 markings, 16611158 edges, 31038 markings/sec, 175 secs
lola: 5089240 markings, 17168371 edges, 30725 markings/sec, 180 secs
lola: 5242439 markings, 17767707 edges, 30640 markings/sec, 185 secs
lola: 5395204 markings, 18346550 edges, 30553 markings/sec, 190 secs
lola: 5548142 markings, 18889314 edges, 30588 markings/sec, 195 secs
lola: 5702095 markings, 19488496 edges, 30791 markings/sec, 200 secs
lola: 5855203 markings, 20084209 edges, 30622 markings/sec, 205 secs
lola: 5997812 markings, 20607932 edges, 28522 markings/sec, 210 secs
lola: 6127836 markings, 21099597 edges, 26005 markings/sec, 215 secs
lola: 6282163 markings, 21683812 edges, 30865 markings/sec, 220 secs
lola: 6435913 markings, 22252217 edges, 30750 markings/sec, 225 secs
lola: 6587969 markings, 22829629 edges, 30411 markings/sec, 230 secs
lola: 6744419 markings, 23415048 edges, 31290 markings/sec, 235 secs
lola: 6898753 markings, 24018403 edges, 30867 markings/sec, 240 secs
lola: 7052987 markings, 24569415 edges, 30847 markings/sec, 245 secs
lola: 7203789 markings, 25159253 edges, 30160 markings/sec, 250 secs
lola: 7356897 markings, 25746015 edges, 30622 markings/sec, 255 secs
lola: 7508892 markings, 26278439 edges, 30399 markings/sec, 260 secs
lola: 7645259 markings, 26807251 edges, 27273 markings/sec, 265 secs
lola: 7799434 markings, 27407267 edges, 30835 markings/sec, 270 secs
lola: 7939428 markings, 27972173 edges, 27999 markings/sec, 275 secs
lola: 8074778 markings, 28609938 edges, 27070 markings/sec, 280 secs
lola: 8211299 markings, 29260439 edges, 27304 markings/sec, 285 secs
lola: 8347441 markings, 29896952 edges, 27228 markings/sec, 290 secs
lola: 8484085 markings, 30564928 edges, 27329 markings/sec, 295 secs
lola: 8619194 markings, 31187278 edges, 27022 markings/sec, 300 secs
lola: 8754698 markings, 31854363 edges, 27101 markings/sec, 305 secs
lola: 8889448 markings, 32504528 edges, 26950 markings/sec, 310 secs
lola: 9024443 markings, 33123268 edges, 26999 markings/sec, 315 secs
lola: 9159567 markings, 33785504 edges, 27025 markings/sec, 320 secs
lola: 9294076 markings, 34444678 edges, 26902 markings/sec, 325 secs
lola: 9426301 markings, 35040708 edges, 26445 markings/sec, 330 secs
lola: 9562276 markings, 35697794 edges, 27195 markings/sec, 335 secs
lola: 9697321 markings, 36356271 edges, 27009 markings/sec, 340 secs
lola: 9831870 markings, 37012421 edges, 26910 markings/sec, 345 secs
lola: 9969551 markings, 37559953 edges, 27536 markings/sec, 350 secs
lola: 10125800 markings, 38136562 edges, 31250 markings/sec, 355 secs
lola: 10280832 markings, 38725973 edges, 31006 markings/sec, 360 secs
lola: 10437577 markings, 39322301 edges, 31349 markings/sec, 365 secs
lola: 10591729 markings, 39882398 edges, 30830 markings/sec, 370 secs
lola: 10746832 markings, 40492402 edges, 31021 markings/sec, 375 secs
lola: 10899872 markings, 41061900 edges, 30608 markings/sec, 380 secs
lola: 11054274 markings, 41642316 edges, 30880 markings/sec, 385 secs
lola: 11210259 markings, 42239694 edges, 31197 markings/sec, 390 secs
lola: 11361449 markings, 42802602 edges, 30238 markings/sec, 395 secs
lola: 11515665 markings, 43373244 edges, 30843 markings/sec, 400 secs
lola: 11669890 markings, 43973503 edges, 30845 markings/sec, 405 secs
lola: 11823465 markings, 44571062 edges, 30715 markings/sec, 410 secs
lola: 11969990 markings, 45086212 edges, 29305 markings/sec, 415 secs
lola: 12128051 markings, 45682750 edges, 31612 markings/sec, 420 secs
lola: 12285455 markings, 46263417 edges, 31481 markings/sec, 425 secs
lola: 12443406 markings, 46879564 edges, 31590 markings/sec, 430 secs
lola: 12599118 markings, 47449151 edges, 31142 markings/sec, 435 secs
lola: 12756909 markings, 48059699 edges, 31558 markings/sec, 440 secs
lola: 12909686 markings, 48621287 edges, 30555 markings/sec, 445 secs
lola: 13068424 markings, 49222864 edges, 31748 markings/sec, 450 secs
lola: 13224219 markings, 49832642 edges, 31159 markings/sec, 455 secs
lola: 13376475 markings, 50378651 edges, 30451 markings/sec, 460 secs
lola: 13532974 markings, 50979671 edges, 31300 markings/sec, 465 secs
lola: 13689692 markings, 51584028 edges, 31344 markings/sec, 470 secs
lola: 13843527 markings, 52176470 edges, 30767 markings/sec, 475 secs
lola: 13991493 markings, 52708273 edges, 29593 markings/sec, 480 secs
lola: 14148244 markings, 53300045 edges, 31350 markings/sec, 485 secs
lola: 14304269 markings, 53879872 edges, 31205 markings/sec, 490 secs
lola: 14460900 markings, 54491187 edges, 31326 markings/sec, 495 secs
lola: 14615913 markings, 55057947 edges, 31003 markings/sec, 500 secs
lola: 14772738 markings, 55664665 edges, 31365 markings/sec, 505 secs
lola: 14927128 markings, 56212707 edges, 30878 markings/sec, 510 secs
lola: 15059869 markings, 56730345 edges, 26548 markings/sec, 515 secs
lola: 15214945 markings, 57337224 edges, 31015 markings/sec, 520 secs
lola: 15366084 markings, 57872143 edges, 30228 markings/sec, 525 secs
lola: 15523604 markings, 58475931 edges, 31504 markings/sec, 530 secs
lola: 15679809 markings, 59076358 edges, 31241 markings/sec, 535 secs
lola: 15830616 markings, 59659688 edges, 30161 markings/sec, 540 secs
lola: 15979129 markings, 60200505 edges, 29703 markings/sec, 545 secs
lola: 16135366 markings, 60790205 edges, 31247 markings/sec, 550 secs
lola: 16290935 markings, 61368266 edges, 31114 markings/sec, 555 secs
lola: 16446970 markings, 61972086 edges, 31207 markings/sec, 560 secs
lola: 16601561 markings, 62542279 edges, 30918 markings/sec, 565 secs
lola: 16757771 markings, 63146462 edges, 31242 markings/sec, 570 secs
lola: 16911785 markings, 63693023 edges, 30803 markings/sec, 575 secs
lola: 17067184 markings, 64301233 edges, 31080 markings/sec, 580 secs
lola: 17221435 markings, 64904818 edges, 30850 markings/sec, 585 secs
lola: 17375113 markings, 65431744 edges, 30736 markings/sec, 590 secs
lola: 17530661 markings, 66037247 edges, 31110 markings/sec, 595 secs
lola: 17685023 markings, 66638051 edges, 30872 markings/sec, 600 secs
lola: 17838454 markings, 67182595 edges, 30686 markings/sec, 605 secs
lola: 17982902 markings, 67493903 edges, 28890 markings/sec, 610 secs
lola: 18124952 markings, 67823566 edges, 28410 markings/sec, 615 secs
lola: 18264838 markings, 68186701 edges, 27977 markings/sec, 620 secs
lola: 18439180 markings, 68669992 edges, 34868 markings/sec, 625 secs
lola: 18611601 markings, 69186886 edges, 34484 markings/sec, 630 secs
lola: 18775756 markings, 69595400 edges, 32831 markings/sec, 635 secs
lola: 18957434 markings, 70152921 edges, 36336 markings/sec, 640 secs
lola: 19138842 markings, 70703779 edges, 36282 markings/sec, 645 secs
lola: 19319423 markings, 71253376 edges, 36116 markings/sec, 650 secs
lola: 19495212 markings, 71810501 edges, 35158 markings/sec, 655 secs
lola: 19672567 markings, 72273626 edges, 35471 markings/sec, 660 secs
lola: 19849519 markings, 72716514 edges, 35390 markings/sec, 665 secs
lola: 20036889 markings, 73260366 edges, 37474 markings/sec, 670 secs
lola: 20216083 markings, 73822200 edges, 35839 markings/sec, 675 secs
lola: 20402067 markings, 74364194 edges, 37197 markings/sec, 680 secs
lola: 20580286 markings, 74924081 edges, 35644 markings/sec, 685 secs
lola: 20758102 markings, 75484804 edges, 35563 markings/sec, 690 secs
lola: 20942504 markings, 76022140 edges, 36880 markings/sec, 695 secs
lola: 21119282 markings, 76577124 edges, 35356 markings/sec, 700 secs
lola: 21297612 markings, 77073872 edges, 35666 markings/sec, 705 secs
lola: 21473359 markings, 77526870 edges, 35149 markings/sec, 710 secs
lola: 21647417 markings, 77975477 edges, 34812 markings/sec, 715 secs
lola: 21840231 markings, 78456168 edges, 38563 markings/sec, 720 secs
lola: 22019624 markings, 79015795 edges, 35879 markings/sec, 725 secs
lola: 22198665 markings, 79577572 edges, 35808 markings/sec, 730 secs
lola: 22378077 markings, 80134116 edges, 35882 markings/sec, 735 secs
lola: 22566858 markings, 80662393 edges, 37756 markings/sec, 740 secs
lola: 22744965 markings, 81220564 edges, 35621 markings/sec, 745 secs
lola: 22922957 markings, 81775510 edges, 35598 markings/sec, 750 secs
lola: 23110628 markings, 82301672 edges, 37534 markings/sec, 755 secs
lola: 23288577 markings, 82854538 edges, 35590 markings/sec, 760 secs
lola: 23465453 markings, 83410113 edges, 35375 markings/sec, 765 secs
lola: 23642049 markings, 83961236 edges, 35319 markings/sec, 770 secs
lola: 23821040 markings, 84428057 edges, 35798 markings/sec, 775 secs
lola: 23998376 markings, 84872365 edges, 35467 markings/sec, 780 secs
lola: 24172617 markings, 85319390 edges, 34848 markings/sec, 785 secs
lola: 24341227 markings, 85752863 edges, 33722 markings/sec, 790 secs
lola: 24544094 markings, 86249177 edges, 40573 markings/sec, 795 secs
lola: 24723306 markings, 86809221 edges, 35842 markings/sec, 800 secs
lola: 24902119 markings, 87367288 edges, 35763 markings/sec, 805 secs
lola: 25080788 markings, 87925127 edges, 35734 markings/sec, 810 secs
lola: 25232768 markings, 88396755 edges, 30396 markings/sec, 815 secs
lola: 25426440 markings, 88910087 edges, 38734 markings/sec, 820 secs
lola: 25604321 markings, 89465344 edges, 35576 markings/sec, 825 secs
lola: 25782376 markings, 90021056 edges, 35611 markings/sec, 830 secs
lola: 25960045 markings, 90575024 edges, 35534 markings/sec, 835 secs
lola: 26137564 markings, 91126998 edges, 35504 markings/sec, 840 secs
lola: 26330174 markings, 91636456 edges, 38522 markings/sec, 845 secs
lola: 26507224 markings, 92189939 edges, 35410 markings/sec, 850 secs
lola: 26684156 markings, 92741896 edges, 35386 markings/sec, 855 secs
lola: 26860866 markings, 93290286 edges, 35342 markings/sec, 860 secs
lola: 27036997 markings, 93840874 edges, 35226 markings/sec, 865 secs
lola: 27217347 markings, 94300220 edges, 36070 markings/sec, 870 secs
lola: 27391462 markings, 94756901 edges, 34823 markings/sec, 875 secs
lola: 27568157 markings, 95187099 edges, 35339 markings/sec, 880 secs
lola: 27744289 markings, 95622604 edges, 35226 markings/sec, 885 secs
lola: 27915532 markings, 96074851 edges, 34249 markings/sec, 890 secs
lola: 28118166 markings, 96517040 edges, 40527 markings/sec, 895 secs
lola: 28297994 markings, 97074088 edges, 35966 markings/sec, 900 secs
lola: 28476090 markings, 97631803 edges, 35619 markings/sec, 905 secs
lola: 28654817 markings, 98186164 edges, 35745 markings/sec, 910 secs
lola: 28833477 markings, 98739537 edges, 35732 markings/sec, 915 secs
lola: 29010851 markings, 99293539 edges, 35475 markings/sec, 920 secs
lola: 29195831 markings, 99828318 edges, 36996 markings/sec, 925 secs
lola: 29387063 markings, 100345171 edges, 38246 markings/sec, 930 secs
lola: 29564984 markings, 100897147 edges, 35584 markings/sec, 935 secs
lola: 29742955 markings, 101449434 edges, 35594 markings/sec, 940 secs
lola: 29920022 markings, 102002451 edges, 35413 markings/sec, 945 secs
lola: 30097158 markings, 102552080 edges, 35427 markings/sec, 950 secs
lola: 30274485 markings, 103101507 edges, 35465 markings/sec, 955 secs
lola: 30470914 markings, 103596107 edges, 39286 markings/sec, 960 secs
lola: 30648419 markings, 104145840 edges, 35501 markings/sec, 965 secs
lola: 30824036 markings, 104695983 edges, 35123 markings/sec, 970 secs
lola: 30999786 markings, 105240476 edges, 35150 markings/sec, 975 secs
lola: 31175750 markings, 105786731 edges, 35193 markings/sec, 980 secs
lola: 31350925 markings, 106334077 edges, 35035 markings/sec, 985 secs
lola: 31528673 markings, 106858751 edges, 35550 markings/sec, 990 secs
lola: 31706773 markings, 107274644 edges, 35620 markings/sec, 995 secs
lola: 31880529 markings, 107733727 edges, 34751 markings/sec, 1000 secs
lola: 32057670 markings, 108148558 edges, 35428 markings/sec, 1005 secs
lola: 32229201 markings, 108601559 edges, 34306 markings/sec, 1010 secs
lola: 32405179 markings, 109012780 edges, 35196 markings/sec, 1015 secs
lola: 32570059 markings, 109448969 edges, 32976 markings/sec, 1020 secs
lola: 32783584 markings, 109907860 edges, 42705 markings/sec, 1025 secs
lola: 32962461 markings, 110462477 edges, 35775 markings/sec, 1030 secs
lola: 33139774 markings, 111012609 edges, 35463 markings/sec, 1035 secs
lola: 33316397 markings, 111561049 edges, 35325 markings/sec, 1040 secs
lola: 33494553 markings, 112113654 edges, 35631 markings/sec, 1045 secs
lola: 33672344 markings, 112664679 edges, 35558 markings/sec, 1050 secs
lola: 33848857 markings, 113213131 edges, 35303 markings/sec, 1055 secs
lola: 34026188 markings, 113762232 edges, 35466 markings/sec, 1060 secs
lola: 34224212 markings, 114258419 edges, 39605 markings/sec, 1065 secs
lola: 34406234 markings, 114794201 edges, 36404 markings/sec, 1070 secs
lola: 34583426 markings, 115344753 edges, 35438 markings/sec, 1075 secs
lola: 34760485 markings, 115894370 edges, 35412 markings/sec, 1080 secs
lola: 34937432 markings, 116442951 edges, 35389 markings/sec, 1085 secs
lola: 35114236 markings, 116991948 edges, 35361 markings/sec, 1090 secs
lola: 35290819 markings, 117539830 edges, 35317 markings/sec, 1095 secs
lola: 35467292 markings, 118086876 edges, 35295 markings/sec, 1100 secs
lola: 35661100 markings, 118587118 edges, 38762 markings/sec, 1105 secs
lola: 35845469 markings, 119109818 edges, 36874 markings/sec, 1110 secs
lola: 35996292 markings, 119576698 edges, 30165 markings/sec, 1115 secs
lola: 36171546 markings, 120122661 edges, 35051 markings/sec, 1120 secs
lola: 36347182 markings, 120671394 edges, 35127 markings/sec, 1125 secs
lola: 36522141 markings, 121213344 edges, 34992 markings/sec, 1130 secs
lola: 36695754 markings, 121752385 edges, 34723 markings/sec, 1135 secs
lola: 36868731 markings, 122289510 edges, 34595 markings/sec, 1140 secs
lola: 37044654 markings, 122823642 edges, 35185 markings/sec, 1145 secs
lola: 37192800 markings, 123304984 edges, 29629 markings/sec, 1150 secs
lola: 37345260 markings, 123874140 edges, 30492 markings/sec, 1155 secs
lola: 37496263 markings, 124443460 edges, 30201 markings/sec, 1160 secs
lola: 37650228 markings, 125029540 edges, 30793 markings/sec, 1165 secs
lola: 37800077 markings, 125575540 edges, 29970 markings/sec, 1170 secs
lola: 37951852 markings, 126172211 edges, 30355 markings/sec, 1175 secs
lola: 38101715 markings, 126731571 edges, 29973 markings/sec, 1180 secs
lola: 38252606 markings, 127295322 edges, 30178 markings/sec, 1185 secs
lola: 38405755 markings, 127881376 edges, 30630 markings/sec, 1190 secs
lola: 38553927 markings, 128439887 edges, 29634 markings/sec, 1195 secs
lola: 38704535 markings, 128988474 edges, 30122 markings/sec, 1200 secs
lola: 38856446 markings, 129579437 edges, 30382 markings/sec, 1205 secs
lola: 39006422 markings, 130162691 edges, 29995 markings/sec, 1210 secs
lola: 39145813 markings, 130672416 edges, 27878 markings/sec, 1215 secs
lola: 39296724 markings, 131227577 edges, 30182 markings/sec, 1220 secs
lola: 39448475 markings, 131812689 edges, 30350 markings/sec, 1225 secs
lola: 39602046 markings, 132390287 edges, 30714 markings/sec, 1230 secs
lola: 39750455 markings, 132938831 edges, 29682 markings/sec, 1235 secs
lola: 39903520 markings, 133525004 edges, 30613 markings/sec, 1240 secs
lola: 40054520 markings, 134103619 edges, 30200 markings/sec, 1245 secs
lola: 40206198 markings, 134655804 edges, 30336 markings/sec, 1250 secs
lola: 40356823 markings, 135244984 edges, 30125 markings/sec, 1255 secs
lola: 40508224 markings, 135817636 edges, 30280 markings/sec, 1260 secs
lola: 40659523 markings, 136354551 edges, 30260 markings/sec, 1265 secs
lola: 40812396 markings, 136949347 edges, 30575 markings/sec, 1270 secs
lola: 40963032 markings, 137535229 edges, 30127 markings/sec, 1275 secs
lola: 41124488 markings, 138042336 edges, 32291 markings/sec, 1280 secs
lola: 41282930 markings, 138439335 edges, 31688 markings/sec, 1285 secs
lola: 41463151 markings, 138943143 edges, 36044 markings/sec, 1290 secs
lola: 41643735 markings, 139484177 edges, 36117 markings/sec, 1295 secs
lola: 41826044 markings, 139970371 edges, 36462 markings/sec, 1300 secs
lola: 42008283 markings, 140517219 edges, 36448 markings/sec, 1305 secs
lola: 42189523 markings, 141052661 edges, 36248 markings/sec, 1310 secs
lola: 42371225 markings, 141515317 edges, 36340 markings/sec, 1315 secs
lola: 42553804 markings, 142058059 edges, 36516 markings/sec, 1320 secs
lola: 42735393 markings, 142597908 edges, 36318 markings/sec, 1325 secs
lola: 42914505 markings, 143131886 edges, 35822 markings/sec, 1330 secs
lola: 43093039 markings, 143571911 edges, 35707 markings/sec, 1335 secs
lola: 43275784 markings, 144113748 edges, 36549 markings/sec, 1340 secs
lola: 43458050 markings, 144649786 edges, 36453 markings/sec, 1345 secs
lola: 43639573 markings, 145184362 edges, 36305 markings/sec, 1350 secs
lola: 43817132 markings, 145725509 edges, 35512 markings/sec, 1355 secs
lola: 43995234 markings, 146168536 edges, 35620 markings/sec, 1360 secs
lola: 44178529 markings, 146657325 edges, 36659 markings/sec, 1365 secs
lola: 44357566 markings, 147203168 edges, 35807 markings/sec, 1370 secs
lola: 44540160 markings, 147734530 edges, 36519 markings/sec, 1375 secs
lola: 44721830 markings, 148263862 edges, 36334 markings/sec, 1380 secs
lola: 44899020 markings, 148803715 edges, 35438 markings/sec, 1385 secs
lola: 45076875 markings, 149294965 edges, 35571 markings/sec, 1390 secs
lola: 45252861 markings, 149727543 edges, 35197 markings/sec, 1395 secs
lola: 45438040 markings, 150235375 edges, 37036 markings/sec, 1400 secs
lola: 45616219 markings, 150778988 edges, 35636 markings/sec, 1405 secs
lola: 45799121 markings, 151304656 edges, 36580 markings/sec, 1410 secs
lola: 45950084 markings, 151765229 edges, 30193 markings/sec, 1415 secs
lola: 46132000 markings, 152287802 edges, 36383 markings/sec, 1420 secs
lola: 46308368 markings, 152825275 edges, 35274 markings/sec, 1425 secs
lola: 46486048 markings, 153344774 edges, 35536 markings/sec, 1430 secs
lola: 46686713 markings, 153854422 edges, 40133 markings/sec, 1435 secs
lola: 46948273 markings, 154408749 edges, 52312 markings/sec, 1440 secs
lola: 47208536 markings, 154960883 edges, 52053 markings/sec, 1445 secs
lola: 47467133 markings, 155512504 edges, 51719 markings/sec, 1450 secs
lola: 47727080 markings, 156064217 edges, 51989 markings/sec, 1455 secs
lola: 47984479 markings, 156621148 edges, 51480 markings/sec, 1460 secs
lola: 48243668 markings, 157163938 edges, 51838 markings/sec, 1465 secs
lola: 48502052 markings, 157719209 edges, 51677 markings/sec, 1470 secs
lola: 48761681 markings, 158277677 edges, 51926 markings/sec, 1475 secs
lola: 48955209 markings, 158718553 edges, 38706 markings/sec, 1480 secs
lola: 49126571 markings, 159185389 edges, 34272 markings/sec, 1485 secs
lola: 49295194 markings, 159672814 edges, 33725 markings/sec, 1490 secs
lola: 49462405 markings, 160155958 edges, 33442 markings/sec, 1495 secs
lola: 49631439 markings, 160634025 edges, 33807 markings/sec, 1500 secs
lola: 49796671 markings, 161133070 edges, 33046 markings/sec, 1505 secs
lola: 49964988 markings, 161616437 edges, 33663 markings/sec, 1510 secs
lola: 50132639 markings, 162097104 edges, 33530 markings/sec, 1515 secs
lola: 50295743 markings, 162589198 edges, 32621 markings/sec, 1520 secs
lola: 50466571 markings, 163065204 edges, 34166 markings/sec, 1525 secs
lola: 50631237 markings, 163563904 edges, 32933 markings/sec, 1530 secs
lola: 50801113 markings, 164040572 edges, 33975 markings/sec, 1535 secs
lola: 50964901 markings, 164536675 edges, 32758 markings/sec, 1540 secs
lola: 51129067 markings, 165028784 edges, 32833 markings/sec, 1545 secs
lola: 51296555 markings, 165504013 edges, 33498 markings/sec, 1550 secs
lola: 51458670 markings, 165995567 edges, 32423 markings/sec, 1555 secs
lola: 51631630 markings, 166463150 edges, 34592 markings/sec, 1560 secs
lola: 51795859 markings, 166962198 edges, 32846 markings/sec, 1565 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown 1 1 1 unknown 1 1 unknown 1 unknown 1 1 1
lola:
preliminary result: 1 unknown unknown unknown 1 1 1 unknown 1 1 unknown 1 unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown unknown 1 1 1 unknown 1 1 unknown 1 unknown 1 1 1
lola: memory consumption: 3629284 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown unknown 1 1 1 unknown 1 1 unknown 1 unknown 1 1 1
lola: memory consumption: 3629460 KB
lola: time consumption: 3570 seconds

BK_STOP 1552264217014

--------------------
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-02a"
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-02a, 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-155225030000010"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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