fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r268-smll-152749145300128
Last Updated
June 26, 2018

About the Execution of LoLA for ASLink-PT-08a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1691.180 3570338.00 3620809.00 7953.40 ? ? ? ? ? ? 1 ? ? 1 1 1 1 1 ? 1 normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 932K
-rw-r--r-- 1 mcc users 3.1K May 29 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 29 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 28 11:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 28 11:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 09:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 28 09:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 07:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.5K May 27 05:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 27 05:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 26 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 26 06:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 757K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-08a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145300128

=====================================================================

--------------------
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-08a-UpperBounds-00
FORMULA_NAME ASLink-PT-08a-UpperBounds-01
FORMULA_NAME ASLink-PT-08a-UpperBounds-02
FORMULA_NAME ASLink-PT-08a-UpperBounds-03
FORMULA_NAME ASLink-PT-08a-UpperBounds-04
FORMULA_NAME ASLink-PT-08a-UpperBounds-05
FORMULA_NAME ASLink-PT-08a-UpperBounds-06
FORMULA_NAME ASLink-PT-08a-UpperBounds-07
FORMULA_NAME ASLink-PT-08a-UpperBounds-08
FORMULA_NAME ASLink-PT-08a-UpperBounds-09
FORMULA_NAME ASLink-PT-08a-UpperBounds-10
FORMULA_NAME ASLink-PT-08a-UpperBounds-11
FORMULA_NAME ASLink-PT-08a-UpperBounds-12
FORMULA_NAME ASLink-PT-08a-UpperBounds-13
FORMULA_NAME ASLink-PT-08a-UpperBounds-14
FORMULA_NAME ASLink-PT-08a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527888989285

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-08a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-08a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-08a @ 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: 4442/65536 symbol table entries, 221 collisions
lola: preprocessing...
lola: Size of bit vector: 1796
lola: finding significant places
lola: 1796 places, 2646 transitions, 1450 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2984 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-08a-UpperBounds.task
lola: MAX(p757) : MAX(p1217) : MAX(p448) : MAX(p48) : MAX(p30) : MAX(p46) : MAX(p748) : MAX(p500) : MAX(p133) : MAX(p1020) : MAX(p1754) : MAX(p167) : MAX(p744) : MAX(p1458) : MAX(p261) : MAX(p1175)
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(p757)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p757)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 67466 markings, 77339 edges, 13493 markings/sec, 0 secs
lola: 143841 markings, 177900 edges, 15275 markings/sec, 5 secs
lola: 221461 markings, 284052 edges, 15524 markings/sec, 10 secs
lola: 300304 markings, 387372 edges, 15769 markings/sec, 15 secs
lola: 378441 markings, 493620 edges, 15627 markings/sec, 20 secs
lola: 456824 markings, 596312 edges, 15677 markings/sec, 25 secs
lola: 535315 markings, 691487 edges, 15698 markings/sec, 30 secs
lola: 610291 markings, 779251 edges, 14995 markings/sec, 35 secs
lola: 687206 markings, 879203 edges, 15383 markings/sec, 40 secs
lola: 764735 markings, 978662 edges, 15506 markings/sec, 45 secs
lola: 842569 markings, 1076518 edges, 15567 markings/sec, 50 secs
lola: 920378 markings, 1175619 edges, 15562 markings/sec, 55 secs
lola: 998233 markings, 1268664 edges, 15571 markings/sec, 60 secs
lola: 1077273 markings, 1364977 edges, 15808 markings/sec, 65 secs
lola: 1156348 markings, 1461145 edges, 15815 markings/sec, 70 secs
lola: 1235363 markings, 1557036 edges, 15803 markings/sec, 75 secs
lola: 1313104 markings, 1653096 edges, 15548 markings/sec, 80 secs
lola: 1393086 markings, 1748263 edges, 15996 markings/sec, 85 secs
lola: 1470791 markings, 1846403 edges, 15541 markings/sec, 90 secs
lola: 1550021 markings, 1942989 edges, 15846 markings/sec, 95 secs
lola: 1628886 markings, 2039307 edges, 15773 markings/sec, 100 secs
lola: 1707660 markings, 2140596 edges, 15755 markings/sec, 105 secs
lola: 1787406 markings, 2246980 edges, 15949 markings/sec, 110 secs
lola: 1867299 markings, 2349831 edges, 15979 markings/sec, 115 secs
lola: 1945823 markings, 2451020 edges, 15705 markings/sec, 120 secs
lola: 2024859 markings, 2556963 edges, 15807 markings/sec, 125 secs
lola: 2104669 markings, 2659211 edges, 15962 markings/sec, 130 secs
lola: 2182367 markings, 2760423 edges, 15540 markings/sec, 135 secs
lola: 2261384 markings, 2866504 edges, 15803 markings/sec, 140 secs
lola: 2341069 markings, 2964625 edges, 15937 markings/sec, 145 secs
lola: 2421359 markings, 3060891 edges, 16058 markings/sec, 150 secs
lola: 2498684 markings, 3154796 edges, 15465 markings/sec, 155 secs
lola: 2580240 markings, 3263207 edges, 16311 markings/sec, 160 secs
lola: 2660659 markings, 3376983 edges, 16084 markings/sec, 165 secs
lola: 2738886 markings, 3474896 edges, 15645 markings/sec, 170 secs
lola: 2819091 markings, 3571685 edges, 16041 markings/sec, 175 secs
lola: 2901793 markings, 3671835 edges, 16540 markings/sec, 180 secs
lola: 2981411 markings, 3768106 edges, 15924 markings/sec, 185 secs
lola: 3060809 markings, 3863881 edges, 15880 markings/sec, 190 secs
lola: 3143200 markings, 3963727 edges, 16478 markings/sec, 195 secs
lola: 3221576 markings, 4058669 edges, 15675 markings/sec, 200 secs
lola: 3298448 markings, 4152547 edges, 15374 markings/sec, 205 secs
lola: 3374899 markings, 4250851 edges, 15290 markings/sec, 210 secs
lola: 3458723 markings, 4354192 edges, 16765 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 254108 KB
lola: time consumption: 245 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1217)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1217)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 83796 markings, 94851 edges, 16759 markings/sec, 30 secs
lola: 168714 markings, 191095 edges, 16984 markings/sec, 35 secs
lola: 250028 markings, 289828 edges, 16263 markings/sec, 40 secs
lola: 337822 markings, 382992 edges, 17559 markings/sec, 45 secs
lola: 418771 markings, 481463 edges, 16190 markings/sec, 50 secs
lola: 502577 markings, 578806 edges, 16761 markings/sec, 55 secs
lola: 600828 markings, 678904 edges, 19650 markings/sec, 60 secs
lola: 698733 markings, 780285 edges, 19581 markings/sec, 65 secs
lola: 795541 markings, 878962 edges, 19362 markings/sec, 70 secs
lola: 892384 markings, 978113 edges, 19369 markings/sec, 75 secs
lola: 989880 markings, 1078067 edges, 19499 markings/sec, 80 secs
lola: 1087052 markings, 1177732 edges, 19434 markings/sec, 85 secs
lola: 1183894 markings, 1278161 edges, 19368 markings/sec, 90 secs
lola: 1278592 markings, 1381264 edges, 18940 markings/sec, 95 secs
lola: 1375230 markings, 1482001 edges, 19328 markings/sec, 100 secs
lola: 1470400 markings, 1581025 edges, 19034 markings/sec, 105 secs
lola: 1565081 markings, 1679450 edges, 18936 markings/sec, 110 secs
lola: 1659238 markings, 1777335 edges, 18831 markings/sec, 115 secs
lola: 1752794 markings, 1878014 edges, 18711 markings/sec, 120 secs
lola: 1849723 markings, 1978366 edges, 19386 markings/sec, 125 secs
lola: 1945866 markings, 2078129 edges, 19229 markings/sec, 130 secs
lola: 2041679 markings, 2177934 edges, 19163 markings/sec, 135 secs
lola: 2138196 markings, 2278805 edges, 19303 markings/sec, 140 secs
lola: 2234036 markings, 2379669 edges, 19168 markings/sec, 145 secs
lola: 2328143 markings, 2479773 edges, 18821 markings/sec, 150 secs
lola: 2424671 markings, 2579593 edges, 19306 markings/sec, 155 secs
lola: 2520450 markings, 2679099 edges, 19156 markings/sec, 160 secs
lola: 2615903 markings, 2778534 edges, 19091 markings/sec, 165 secs
lola: 2711953 markings, 2878894 edges, 19210 markings/sec, 170 secs
lola: 2807471 markings, 2979360 edges, 19104 markings/sec, 175 secs
lola: 2901212 markings, 3079216 edges, 18748 markings/sec, 180 secs
lola: 2997732 markings, 3178810 edges, 19304 markings/sec, 185 secs
lola: 3093409 markings, 3278396 edges, 19135 markings/sec, 190 secs
lola: 3188770 markings, 3377736 edges, 19072 markings/sec, 195 secs
lola: 3284643 markings, 3477882 edges, 19175 markings/sec, 200 secs
lola: 3379499 markings, 3580264 edges, 18971 markings/sec, 205 secs
lola: 3474038 markings, 3685182 edges, 18908 markings/sec, 210 secs
lola: 3571777 markings, 3785519 edges, 19548 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 617596 KB
lola: time consumption: 466 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p448)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p448)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 142302 markings, 175314 edges, 28460 markings/sec, 0 secs
lola: 323299 markings, 413494 edges, 36199 markings/sec, 5 secs
lola: 500559 markings, 645774 edges, 35452 markings/sec, 10 secs
lola: 691221 markings, 890531 edges, 38132 markings/sec, 15 secs
lola: 872406 markings, 1124106 edges, 36237 markings/sec, 20 secs
lola: 1058340 markings, 1352808 edges, 37187 markings/sec, 25 secs
lola: 1252031 markings, 1583111 edges, 38738 markings/sec, 30 secs
lola: 1442370 markings, 1832776 edges, 38068 markings/sec, 35 secs
lola: 1631875 markings, 2074146 edges, 37901 markings/sec, 40 secs
lola: 1802982 markings, 2304234 edges, 34221 markings/sec, 45 secs
lola: 1969287 markings, 2524813 edges, 33261 markings/sec, 50 secs
lola: 2173755 markings, 2766537 edges, 40894 markings/sec, 55 secs
lola: 2381881 markings, 3008415 edges, 41625 markings/sec, 60 secs
lola: 2587486 markings, 3247931 edges, 41121 markings/sec, 65 secs
lola: 2794354 markings, 3485553 edges, 41374 markings/sec, 70 secs
lola: 3000108 markings, 3725429 edges, 41151 markings/sec, 75 secs
lola: 3197945 markings, 3971007 edges, 39567 markings/sec, 80 secs
lola: 3386811 markings, 4215986 edges, 37773 markings/sec, 85 secs
lola: 3581501 markings, 4464152 edges, 38938 markings/sec, 90 secs
lola: 3770457 markings, 4712072 edges, 37791 markings/sec, 95 secs
lola: 3966549 markings, 4963631 edges, 39218 markings/sec, 100 secs
lola: 4153579 markings, 5206254 edges, 37406 markings/sec, 105 secs
lola: 4350132 markings, 5458395 edges, 39311 markings/sec, 110 secs
lola: 4543770 markings, 5693148 edges, 38728 markings/sec, 115 secs
lola: 4718938 markings, 5917501 edges, 35034 markings/sec, 120 secs
lola: 4892409 markings, 6159191 edges, 34694 markings/sec, 125 secs
lola: 5082972 markings, 6426188 edges, 38113 markings/sec, 130 secs
lola: 5230697 markings, 6620541 edges, 29545 markings/sec, 135 secs
lola: 5417922 markings, 6865928 edges, 37445 markings/sec, 140 secs
lola: 5583397 markings, 7083022 edges, 33095 markings/sec, 145 secs
lola: 5749333 markings, 7300622 edges, 33187 markings/sec, 150 secs
lola: 5935494 markings, 7545432 edges, 37232 markings/sec, 155 secs
lola: 6134457 markings, 7781680 edges, 39793 markings/sec, 160 secs
lola: 6356611 markings, 8035906 edges, 44431 markings/sec, 165 secs
lola: 6578642 markings, 8290053 edges, 44406 markings/sec, 170 secs
lola: 6794935 markings, 8540670 edges, 43259 markings/sec, 175 secs
lola: 7003310 markings, 8790694 edges, 41675 markings/sec, 180 secs
lola: 7208122 markings, 9030101 edges, 40962 markings/sec, 185 secs
lola: 7414828 markings, 9269679 edges, 41341 markings/sec, 190 secs
lola: 7620115 markings, 9508639 edges, 41057 markings/sec, 195 secs
lola: 7830240 markings, 9752663 edges, 42025 markings/sec, 200 secs
lola: 8039824 markings, 10004881 edges, 41917 markings/sec, 205 secs
lola: 8248240 markings, 10248402 edges, 41683 markings/sec, 210 secs
lola: 8455363 markings, 10490851 edges, 41425 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 431316 KB
lola: time consumption: 687 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p48)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 58661 markings, 61489 edges, 11732 markings/sec, 30 secs
lola: 117747 markings, 126119 edges, 11817 markings/sec, 35 secs
lola: 218519 markings, 255608 edges, 20154 markings/sec, 40 secs
lola: 336219 markings, 403545 edges, 23540 markings/sec, 45 secs
lola: 453386 markings, 560945 edges, 23433 markings/sec, 50 secs
lola: 574151 markings, 719085 edges, 24153 markings/sec, 55 secs
lola: 689289 markings, 873309 edges, 23028 markings/sec, 60 secs
lola: 809936 markings, 1028610 edges, 24129 markings/sec, 65 secs
lola: 924576 markings, 1185130 edges, 22928 markings/sec, 70 secs
lola: 1044505 markings, 1337616 edges, 23986 markings/sec, 75 secs
lola: 1160739 markings, 1484951 edges, 23247 markings/sec, 80 secs
lola: 1250468 markings, 1585678 edges, 17946 markings/sec, 85 secs
lola: 1311218 markings, 1649715 edges, 12150 markings/sec, 90 secs
lola: 1422203 markings, 1790179 edges, 22197 markings/sec, 95 secs
lola: 1539512 markings, 1944227 edges, 23462 markings/sec, 100 secs
lola: 1657434 markings, 2089306 edges, 23584 markings/sec, 105 secs
lola: 1776931 markings, 2252499 edges, 23899 markings/sec, 110 secs
lola: 1894459 markings, 2412871 edges, 23506 markings/sec, 115 secs
lola: 2017860 markings, 2570968 edges, 24680 markings/sec, 120 secs
lola: 2135132 markings, 2731384 edges, 23454 markings/sec, 125 secs
lola: 2247609 markings, 2872850 edges, 22495 markings/sec, 130 secs
lola: 2332758 markings, 2966988 edges, 17030 markings/sec, 135 secs
lola: 2392791 markings, 3029148 edges, 12007 markings/sec, 140 secs
lola: 2453275 markings, 3091552 edges, 12097 markings/sec, 145 secs
lola: 2513827 markings, 3153267 edges, 12110 markings/sec, 150 secs
lola: 2573118 markings, 3213671 edges, 11858 markings/sec, 155 secs
lola: 2630342 markings, 3271933 edges, 11445 markings/sec, 160 secs
lola: 2690757 markings, 3333555 edges, 12083 markings/sec, 165 secs
lola: 2749861 markings, 3394054 edges, 11821 markings/sec, 170 secs
lola: 2810323 markings, 3455916 edges, 12092 markings/sec, 175 secs
lola: 2869035 markings, 3515839 edges, 11742 markings/sec, 180 secs
lola: 2929590 markings, 3577965 edges, 12111 markings/sec, 185 secs
lola: 2991263 markings, 3641517 edges, 12335 markings/sec, 190 secs
lola: 3053076 markings, 3705063 edges, 12363 markings/sec, 195 secs
lola: 3113533 markings, 3766914 edges, 12091 markings/sec, 200 secs
lola: 3174068 markings, 3828856 edges, 12107 markings/sec, 205 secs
lola: 3235473 markings, 3892152 edges, 12281 markings/sec, 210 secs
lola: 3297070 markings, 3955473 edges, 12319 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 484540 KB
lola: time consumption: 909 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 61526 markings, 142830 edges, 12305 markings/sec, 30 secs
lola: 131643 markings, 342882 edges, 14023 markings/sec, 35 secs
lola: 208917 markings, 522710 edges, 15455 markings/sec, 40 secs
lola: 280680 markings, 731342 edges, 14353 markings/sec, 45 secs
lola: 350830 markings, 945514 edges, 14030 markings/sec, 50 secs
lola: 418656 markings, 1164604 edges, 13565 markings/sec, 55 secs
lola: 488609 markings, 1378239 edges, 13991 markings/sec, 60 secs
lola: 555753 markings, 1592441 edges, 13429 markings/sec, 65 secs
lola: 606998 markings, 1711024 edges, 10249 markings/sec, 70 secs
lola: 658462 markings, 1836300 edges, 10293 markings/sec, 75 secs
lola: 710689 markings, 1966394 edges, 10445 markings/sec, 80 secs
lola: 762848 markings, 2097735 edges, 10432 markings/sec, 85 secs
lola: 814870 markings, 2228293 edges, 10404 markings/sec, 90 secs
lola: 864554 markings, 2359179 edges, 9937 markings/sec, 95 secs
lola: 924717 markings, 2503535 edges, 12033 markings/sec, 100 secs
lola: 988358 markings, 2712161 edges, 12728 markings/sec, 105 secs
lola: 1050672 markings, 2925247 edges, 12463 markings/sec, 110 secs
lola: 1112774 markings, 3137675 edges, 12420 markings/sec, 115 secs
lola: 1179987 markings, 3343765 edges, 13443 markings/sec, 120 secs
lola: 1254189 markings, 3545797 edges, 14840 markings/sec, 125 secs
lola: 1329677 markings, 3743320 edges, 15098 markings/sec, 130 secs
lola: 1404551 markings, 3940566 edges, 14975 markings/sec, 135 secs
lola: 1477846 markings, 4137961 edges, 14659 markings/sec, 140 secs
lola: 1545910 markings, 4310552 edges, 13613 markings/sec, 145 secs
lola: 1619745 markings, 4523566 edges, 14767 markings/sec, 150 secs
lola: 1685557 markings, 4755736 edges, 13162 markings/sec, 155 secs
lola: 1750148 markings, 4986172 edges, 12918 markings/sec, 160 secs
lola: 1816131 markings, 5217558 edges, 13197 markings/sec, 165 secs
lola: 1882330 markings, 5448388 edges, 13240 markings/sec, 170 secs
lola: 1946780 markings, 5678964 edges, 12890 markings/sec, 175 secs
lola: 2014167 markings, 5904120 edges, 13477 markings/sec, 180 secs
lola: 2086320 markings, 6117165 edges, 14431 markings/sec, 185 secs
lola: 2151252 markings, 6347186 edges, 12986 markings/sec, 190 secs
lola: 2215122 markings, 6576613 edges, 12774 markings/sec, 195 secs
lola: 2281269 markings, 6806723 edges, 13229 markings/sec, 200 secs
lola: 2346847 markings, 7035980 edges, 13116 markings/sec, 205 secs
lola: 2411084 markings, 7265455 edges, 12847 markings/sec, 210 secs
lola: 2478155 markings, 7489068 edges, 13414 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 388300 KB
lola: time consumption: 1130 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p46)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 59059 markings, 61949 edges, 11812 markings/sec, 30 secs
lola: 118433 markings, 126926 edges, 11875 markings/sec, 35 secs
lola: 220781 markings, 258771 edges, 20470 markings/sec, 40 secs
lola: 339815 markings, 408081 edges, 23807 markings/sec, 45 secs
lola: 458379 markings, 567282 edges, 23713 markings/sec, 50 secs
lola: 579704 markings, 726082 edges, 24265 markings/sec, 55 secs
lola: 695968 markings, 881978 edges, 23253 markings/sec, 60 secs
lola: 818097 markings, 1040144 edges, 24426 markings/sec, 65 secs
lola: 933926 markings, 1196989 edges, 23166 markings/sec, 70 secs
lola: 1054170 markings, 1349888 edges, 24049 markings/sec, 75 secs
lola: 1174375 markings, 1501092 edges, 24041 markings/sec, 80 secs
lola: 1256408 markings, 1591754 edges, 16407 markings/sec, 85 secs
lola: 1318207 markings, 1657897 edges, 12360 markings/sec, 90 secs
lola: 1436134 markings, 1808493 edges, 23585 markings/sec, 95 secs
lola: 1554346 markings, 1962883 edges, 23642 markings/sec, 100 secs
lola: 1673550 markings, 2109577 edges, 23841 markings/sec, 105 secs
lola: 1794567 markings, 2274927 edges, 24203 markings/sec, 110 secs
lola: 1913205 markings, 2437543 edges, 23728 markings/sec, 115 secs
lola: 2037377 markings, 2596229 edges, 24834 markings/sec, 120 secs
lola: 2156050 markings, 2757886 edges, 23735 markings/sec, 125 secs
lola: 2272746 markings, 2902027 edges, 23339 markings/sec, 130 secs
lola: 2344266 markings, 2978791 edges, 14304 markings/sec, 135 secs
lola: 2404479 markings, 3041490 edges, 12043 markings/sec, 140 secs
lola: 2465482 markings, 3103950 edges, 12201 markings/sec, 145 secs
lola: 2526711 markings, 3166492 edges, 12246 markings/sec, 150 secs
lola: 2585683 markings, 3226442 edges, 11794 markings/sec, 155 secs
lola: 2644138 markings, 3285994 edges, 11691 markings/sec, 160 secs
lola: 2705400 markings, 3348662 edges, 12252 markings/sec, 165 secs
lola: 2764891 markings, 3409389 edges, 11898 markings/sec, 170 secs
lola: 2825223 markings, 3470940 edges, 12066 markings/sec, 175 secs
lola: 2885090 markings, 3532220 edges, 11973 markings/sec, 180 secs
lola: 2946589 markings, 3595615 edges, 12300 markings/sec, 185 secs
lola: 3009074 markings, 3659831 edges, 12497 markings/sec, 190 secs
lola: 3071555 markings, 3724142 edges, 12496 markings/sec, 195 secs
lola: 3132040 markings, 3785795 edges, 12097 markings/sec, 200 secs
lola: 3193376 markings, 3848750 edges, 12267 markings/sec, 205 secs
lola: 3255538 markings, 3912779 edges, 12432 markings/sec, 210 secs
lola: 3317772 markings, 3976753 edges, 12447 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 487036 KB
lola: time consumption: 1351 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p748)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p748)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola:
FORMULA ASLink-PT-08a-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================lola: subprocess 7 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p500)
lola: ========================================
lola: SUBTASK

lola: computing bound of an expression
lola: processed formula: MAX(p500)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 67722 markings, 76207 edges, 13544 markings/sec, 30 secs
lola: 134482 markings, 154866 edges, 13352 markings/sec, 35 secs
lola: 205807 markings, 231935 edges, 14265 markings/sec, 40 secs
lola: 272685 markings, 313998 edges, 13376 markings/sec, 45 secs
lola: 343685 markings, 391040 edges, 14200 markings/sec, 50 secs
lola: 410391 markings, 472611 edges, 13341 markings/sec, 55 secs
lola: 481087 markings, 549519 edges, 14139 markings/sec, 60 secs
lola: 552445 markings, 629493 edges, 14272 markings/sec, 65 secs
lola: 628233 markings, 706996 edges, 15158 markings/sec, 70 secs
lola: 704211 markings, 785895 edges, 15196 markings/sec, 75 secs
lola: 776727 markings, 859836 edges, 14503 markings/sec, 80 secs
lola: 848468 markings, 933149 edges, 14348 markings/sec, 85 secs
lola: 924027 markings, 1010535 edges, 15112 markings/sec, 90 secs
lola: 998535 markings, 1086929 edges, 14902 markings/sec, 95 secs
lola: 1073102 markings, 1163360 edges, 14913 markings/sec, 100 secs
lola: 1148100 markings, 1240243 edges, 15000 markings/sec, 105 secs
lola: 1221462 markings, 1319084 edges, 14672 markings/sec, 110 secs
lola: 1295353 markings, 1399148 edges, 14778 markings/sec, 115 secs
lola: 1369497 markings, 1476185 edges, 14829 markings/sec, 120 secs
lola: 1440679 markings, 1550338 edges, 14236 markings/sec, 125 secs
lola: 1511720 markings, 1623704 edges, 14208 markings/sec, 130 secs
lola: 1582433 markings, 1697177 edges, 14143 markings/sec, 135 secs
lola: 1652774 markings, 1770720 edges, 14068 markings/sec, 140 secs
lola: 1722829 markings, 1846044 edges, 14011 markings/sec, 145 secs
lola: 1796621 markings, 1923556 edges, 14758 markings/sec, 150 secs
lola: 1871551 markings, 2001113 edges, 14986 markings/sec, 155 secs
lola: 1945361 markings, 2077604 edges, 14762 markings/sec, 160 secs
lola: 2018719 markings, 2154396 edges, 14672 markings/sec, 165 secs
lola: 2093457 markings, 2231821 edges, 14948 markings/sec, 170 secs
lola: 2168782 markings, 2311422 edges, 15065 markings/sec, 175 secs
lola: 2241288 markings, 2387217 edges, 14501 markings/sec, 180 secs
lola: 2311580 markings, 2462635 edges, 14058 markings/sec, 185 secs
lola: 2385877 markings, 2539560 edges, 14859 markings/sec, 190 secs
lola: 2459810 markings, 2616417 edges, 14787 markings/sec, 195 secs
lola: 2534041 markings, 2693037 edges, 14846 markings/sec, 200 secs
lola: 2607030 markings, 2769431 edges, 14598 markings/sec, 205 secs
lola: 2681603 markings, 2847072 edges, 14915 markings/sec, 210 secs
lola: 2756228 markings, 2926254 edges, 14925 markings/sec, 215 secs
lola: 2828189 markings, 3000763 edges, 14392 markings/sec, 220 secs
lola: 2898318 markings, 3076250 edges, 14026 markings/sec, 225 secs
lola: 2972806 markings, 3153179 edges, 14898 markings/sec, 230 secs
lola: 3045879 markings, 3229717 edges, 14615 markings/sec, 235 secs
lola: 3120468 markings, 3306462 edges, 14918 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 545576 KB
lola: time consumption: 1597 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p133)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p133)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 108148 markings, 142619 edges, 21630 markings/sec, 0 secs
lola: 243583 markings, 324999 edges, 27087 markings/sec, 5 secs
lola: 365313 markings, 518112 edges, 24346 markings/sec, 10 secs
lola: 484978 markings, 734584 edges, 23933 markings/sec, 15 secs
lola: 616051 markings, 941475 edges, 26215 markings/sec, 20 secs
lola: 749040 markings, 1161192 edges, 26598 markings/sec, 25 secs
lola: 880978 markings, 1384346 edges, 26388 markings/sec, 30 secs
lola: 1012430 markings, 1606884 edges, 26290 markings/sec, 35 secs
lola: 1144172 markings, 1827304 edges, 26348 markings/sec, 40 secs
lola: 1282818 markings, 2041845 edges, 27729 markings/sec, 45 secs
lola: 1425797 markings, 2255527 edges, 28596 markings/sec, 50 secs
lola: 1557715 markings, 2475804 edges, 26384 markings/sec, 55 secs
lola: 1692640 markings, 2703766 edges, 26985 markings/sec, 60 secs
lola: 1831013 markings, 2923314 edges, 27675 markings/sec, 65 secs
lola: 1967279 markings, 3153320 edges, 27253 markings/sec, 70 secs
lola: 2102465 markings, 3375739 edges, 27037 markings/sec, 75 secs
lola: 2243028 markings, 3604252 edges, 28113 markings/sec, 80 secs
lola: 2375594 markings, 3809593 edges, 26513 markings/sec, 85 secs
lola: 2516159 markings, 3997063 edges, 28113 markings/sec, 90 secs
lola: 2658217 markings, 4189765 edges, 28412 markings/sec, 95 secs
lola: 2794772 markings, 4380360 edges, 27311 markings/sec, 100 secs
lola: 2910774 markings, 4564742 edges, 23200 markings/sec, 105 secs
lola: 3030408 markings, 4719058 edges, 23927 markings/sec, 110 secs
lola: 3162841 markings, 4889647 edges, 26487 markings/sec, 115 secs
lola: 3295795 markings, 5062550 edges, 26591 markings/sec, 120 secs
lola: 3428425 markings, 5235038 edges, 26526 markings/sec, 125 secs
lola: 3560343 markings, 5406612 edges, 26384 markings/sec, 130 secs
lola: 3684726 markings, 5592585 edges, 24877 markings/sec, 135 secs
lola: 3818068 markings, 5809893 edges, 26668 markings/sec, 140 secs
lola: 3952238 markings, 6024925 edges, 26834 markings/sec, 145 secs
lola: 4079415 markings, 6212138 edges, 25435 markings/sec, 150 secs
lola: 4213806 markings, 6424922 edges, 26878 markings/sec, 155 secs
lola: 4345932 markings, 6641421 edges, 26425 markings/sec, 160 secs
lola: 4471846 markings, 6828336 edges, 25183 markings/sec, 165 secs
lola: 4606028 markings, 7034513 edges, 26836 markings/sec, 170 secs
lola: 4736519 markings, 7247144 edges, 26098 markings/sec, 175 secs
lola: 4867067 markings, 7431169 edges, 26110 markings/sec, 180 secs
lola: 4997280 markings, 7613694 edges, 26043 markings/sec, 185 secs
lola: 5117235 markings, 7772471 edges, 23991 markings/sec, 190 secs
lola: 5253679 markings, 7968469 edges, 27289 markings/sec, 195 secs
lola: 5381069 markings, 8136130 edges, 25478 markings/sec, 200 secs
lola: 5506579 markings, 8311545 edges, 25102 markings/sec, 205 secs
lola: 5635295 markings, 8483889 edges, 25743 markings/sec, 210 secs
lola: 5756165 markings, 8648118 edges, 24174 markings/sec, 215 secs
lola: 5885959 markings, 8826639 edges, 25959 markings/sec, 220 secs
lola: 6025846 markings, 9008280 edges, 27977 markings/sec, 225 secs
lola: 6165790 markings, 9193521 edges, 27989 markings/sec, 230 secs
lola: 6305990 markings, 9376085 edges, 28040 markings/sec, 235 secs
lola: 6444734 markings, 9559569 edges, 27749 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 756804 KB
lola: time consumption: 1843 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1020)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1020)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 51 markings, 50 edges
lola: ========================================

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

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

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

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

FORMULA ASLink-PT-08a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 862 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p261)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p261)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 121600 markings, 162069 edges, 24320 markings/sec, 0 secs
lola: 257301 markings, 345593 edges, 27140 markings/sec, 5 secs
lola: 404663 markings, 549340 edges, 29472 markings/sec, 10 secs
lola: 554057 markings, 753850 edges, 29879 markings/sec, 15 secs
lola: 716032 markings, 972835 edges, 32395 markings/sec, 20 secs
lola: 871495 markings, 1188225 edges, 31093 markings/sec, 25 secs
lola: 1022346 markings, 1394074 edges, 30170 markings/sec, 30 secs
lola: 1190405 markings, 1621630 edges, 33612 markings/sec, 35 secs
lola: 1357294 markings, 1846134 edges, 33378 markings/sec, 40 secs
lola: 1524420 markings, 2071983 edges, 33425 markings/sec, 45 secs
lola: 1672794 markings, 2273186 edges, 29675 markings/sec, 50 secs
lola: 1810741 markings, 2462980 edges, 27589 markings/sec, 55 secs
lola: 1950920 markings, 2657866 edges, 28036 markings/sec, 60 secs
lola: 2107492 markings, 2867277 edges, 31314 markings/sec, 65 secs
lola: 2289362 markings, 3075847 edges, 36374 markings/sec, 70 secs
lola: 2470059 markings, 3312139 edges, 36139 markings/sec, 75 secs
lola: 2650881 markings, 3560389 edges, 36164 markings/sec, 80 secs
lola: 2831773 markings, 3808430 edges, 36178 markings/sec, 85 secs
lola: 2992560 markings, 4020947 edges, 32157 markings/sec, 90 secs
lola: 3160482 markings, 4234896 edges, 33584 markings/sec, 95 secs
lola: 3312152 markings, 4419418 edges, 30334 markings/sec, 100 secs
lola: 3499505 markings, 4636764 edges, 37471 markings/sec, 105 secs
lola: 3697707 markings, 4862200 edges, 39640 markings/sec, 110 secs
lola: 3892842 markings, 5090148 edges, 39027 markings/sec, 115 secs
lola: 4087951 markings, 5312343 edges, 39022 markings/sec, 120 secs
lola: 4282798 markings, 5540081 edges, 38969 markings/sec, 125 secs
lola: 4468047 markings, 5751675 edges, 37050 markings/sec, 130 secs
lola: 4661478 markings, 5977210 edges, 38686 markings/sec, 135 secs
lola: 4853445 markings, 6196740 edges, 38393 markings/sec, 140 secs
lola: 5035541 markings, 6441982 edges, 36419 markings/sec, 145 secs
lola: 5188979 markings, 6649550 edges, 30688 markings/sec, 150 secs
lola: 5382424 markings, 6908706 edges, 38689 markings/sec, 155 secs
lola: 5574851 markings, 7165416 edges, 38485 markings/sec, 160 secs
lola: 5754618 markings, 7414581 edges, 35953 markings/sec, 165 secs
lola: 5921844 markings, 7639203 edges, 33445 markings/sec, 170 secs
lola: 6115773 markings, 7899904 edges, 38786 markings/sec, 175 secs
lola: 6306007 markings, 8154464 edges, 38047 markings/sec, 180 secs
lola: 6481266 markings, 8396859 edges, 35052 markings/sec, 185 secs
lola: 6656366 markings, 8632208 edges, 35020 markings/sec, 190 secs
lola: 6849960 markings, 8889779 edges, 38719 markings/sec, 195 secs
lola: 7024405 markings, 9125940 edges, 34889 markings/sec, 200 secs
lola: 7172138 markings, 9316610 edges, 29547 markings/sec, 205 secs
lola: 7330523 markings, 9515465 edges, 31677 markings/sec, 210 secs
lola: 7486051 markings, 9711931 edges, 31106 markings/sec, 215 secs
lola: 7661200 markings, 9963570 edges, 35030 markings/sec, 220 secs
lola: 7845274 markings, 10225778 edges, 36815 markings/sec, 225 secs
lola: 8004131 markings, 10415459 edges, 31771 markings/sec, 230 secs
lola: 8151723 markings, 10605531 edges, 29518 markings/sec, 235 secs
lola: 8314202 markings, 10808622 edges, 32496 markings/sec, 240 secs
lola: 8449284 markings, 10974564 edges, 27016 markings/sec, 245 secs
lola: 8606945 markings, 11179926 edges, 31532 markings/sec, 250 secs
lola: 8774016 markings, 11380957 edges, 33414 markings/sec, 255 secs
lola: 8970079 markings, 11610582 edges, 39213 markings/sec, 260 secs
lola: 9167899 markings, 11827845 edges, 39564 markings/sec, 265 secs
lola: 9364963 markings, 12054168 edges, 39413 markings/sec, 270 secs
lola: 9558301 markings, 12280178 edges, 38668 markings/sec, 275 secs
lola: 9747961 markings, 12495806 edges, 37932 markings/sec, 280 secs
lola: 9938661 markings, 12712729 edges, 38140 markings/sec, 285 secs
lola: 10125511 markings, 12944618 edges, 37370 markings/sec, 290 secs
lola: 10317897 markings, 13168023 edges, 38477 markings/sec, 295 secs
lola: 10506187 markings, 13377137 edges, 37658 markings/sec, 300 secs
lola: 10699916 markings, 13600050 edges, 38746 markings/sec, 305 secs
lola: 10884075 markings, 13810308 edges, 36832 markings/sec, 310 secs
lola: 11074893 markings, 14034098 edges, 38164 markings/sec, 315 secs
lola: 11263281 markings, 14248574 edges, 37678 markings/sec, 320 secs
lola: 11453049 markings, 14482606 edges, 37954 markings/sec, 325 secs
lola: 11641850 markings, 14704558 edges, 37760 markings/sec, 330 secs
lola: 11831686 markings, 14915150 edges, 37967 markings/sec, 335 secs
lola: 11996784 markings, 15107266 edges, 33020 markings/sec, 340 secs
lola: 12183077 markings, 15315282 edges, 37259 markings/sec, 345 secs
lola: 12373927 markings, 15537006 edges, 38170 markings/sec, 350 secs
lola: 12560593 markings, 15752587 edges, 37333 markings/sec, 355 secs
lola: 12749643 markings, 15975715 edges, 37810 markings/sec, 360 secs
lola: 12936562 markings, 16197238 edges, 37384 markings/sec, 365 secs
lola: 13127946 markings, 16419764 edges, 38277 markings/sec, 370 secs
lola: 13316008 markings, 16639269 edges, 37612 markings/sec, 375 secs
lola: 13502918 markings, 16847060 edges, 37382 markings/sec, 380 secs
lola: 13693025 markings, 17065782 edges, 38021 markings/sec, 385 secs
lola: 13863797 markings, 17300165 edges, 34154 markings/sec, 390 secs
lola: 14027562 markings, 17524823 edges, 32753 markings/sec, 395 secs
lola: 14212022 markings, 17776134 edges, 36892 markings/sec, 400 secs
lola: 14380778 markings, 18008857 edges, 33751 markings/sec, 405 secs
lola: 14537027 markings, 18221979 edges, 31250 markings/sec, 410 secs
lola: 14731765 markings, 18478388 edges, 38948 markings/sec, 415 secs
lola: 14919853 markings, 18723718 edges, 37618 markings/sec, 420 secs
lola: 15110904 markings, 18972552 edges, 38210 markings/sec, 425 secs
lola: 15301739 markings, 19224872 edges, 38167 markings/sec, 430 secs
lola: 15473636 markings, 19458453 edges, 34379 markings/sec, 435 secs
lola: 15632618 markings, 19677561 edges, 31796 markings/sec, 440 secs
lola: 15819483 markings, 19932639 edges, 37373 markings/sec, 445 secs
lola: 15995989 markings, 20174556 edges, 35301 markings/sec, 450 secs
lola: 16150251 markings, 20385140 edges, 30852 markings/sec, 455 secs
lola: 16332367 markings, 20626530 edges, 36423 markings/sec, 460 secs
lola: 16521053 markings, 20871679 edges, 37737 markings/sec, 465 secs
lola: 16711457 markings, 21123434 edges, 38081 markings/sec, 470 secs
lola: 16901301 markings, 21374611 edges, 37969 markings/sec, 475 secs
lola: 17075050 markings, 21604043 edges, 34750 markings/sec, 480 secs
lola: 17241105 markings, 21834741 edges, 33211 markings/sec, 485 secs
lola: 17418266 markings, 22075084 edges, 35432 markings/sec, 490 secs
lola: 17601930 markings, 22325900 edges, 36733 markings/sec, 495 secs
lola: 17757792 markings, 22541076 edges, 31172 markings/sec, 500 secs
lola: 17929180 markings, 22769730 edges, 34278 markings/sec, 505 secs
lola: 18122503 markings, 23025056 edges, 38665 markings/sec, 510 secs
lola: 18317349 markings, 23281722 edges, 38969 markings/sec, 515 secs
lola: 18516562 markings, 23542678 edges, 39843 markings/sec, 520 secs
lola: 18696107 markings, 23780289 edges, 35909 markings/sec, 525 secs
lola: 18838201 markings, 23969416 edges, 28419 markings/sec, 530 secs
lola: 18993595 markings, 24166895 edges, 31079 markings/sec, 535 secs
lola: 19140991 markings, 24364013 edges, 29479 markings/sec, 540 secs
lola: 19308404 markings, 24568458 edges, 33483 markings/sec, 545 secs
lola: 19455067 markings, 24761251 edges, 29333 markings/sec, 550 secs
lola: 19609928 markings, 24951439 edges, 30972 markings/sec, 555 secs
lola: 19787522 markings, 25197713 edges, 35519 markings/sec, 560 secs
lola: 19971661 markings, 25448163 edges, 36828 markings/sec, 565 secs
lola: 20152060 markings, 25698983 edges, 36080 markings/sec, 570 secs
lola: 20324774 markings, 25934311 edges, 34543 markings/sec, 575 secs
lola: 20472216 markings, 26113630 edges, 29488 markings/sec, 580 secs
lola: 20630668 markings, 26327317 edges, 31690 markings/sec, 585 secs
lola: 20791399 markings, 26520636 edges, 32146 markings/sec, 590 secs
lola: 20956622 markings, 26734596 edges, 33045 markings/sec, 595 secs
lola: 21129875 markings, 26960792 edges, 34651 markings/sec, 600 secs
lola: 21296528 markings, 27166584 edges, 33331 markings/sec, 605 secs
lola: 21439824 markings, 27344252 edges, 28659 markings/sec, 610 secs
lola: 21596025 markings, 27553073 edges, 31240 markings/sec, 615 secs
lola: 21758043 markings, 27753270 edges, 32404 markings/sec, 620 secs
lola: 21926327 markings, 27970052 edges, 33657 markings/sec, 625 secs
lola: 22083982 markings, 28179368 edges, 31531 markings/sec, 630 secs
lola: 22265106 markings, 28395147 edges, 36225 markings/sec, 635 secs
lola: 22473856 markings, 28631335 edges, 41750 markings/sec, 640 secs
lola: 22683854 markings, 28872634 edges, 42000 markings/sec, 645 secs
lola: 22893009 markings, 29103118 edges, 41831 markings/sec, 650 secs
lola: 23101960 markings, 29332470 edges, 41790 markings/sec, 655 secs
lola: 23311316 markings, 29574875 edges, 41871 markings/sec, 660 secs
lola: 23518088 markings, 29804916 edges, 41354 markings/sec, 665 secs
lola: 23723280 markings, 30039821 edges, 41038 markings/sec, 670 secs
lola: 23921297 markings, 30269680 edges, 39603 markings/sec, 675 secs
lola: 24117641 markings, 30492724 edges, 39269 markings/sec, 680 secs
lola: 24325360 markings, 30743130 edges, 41544 markings/sec, 685 secs
lola: 24534948 markings, 30984842 edges, 41918 markings/sec, 690 secs
lola: 24739706 markings, 31219403 edges, 40952 markings/sec, 695 secs
lola: 24944221 markings, 31457493 edges, 40903 markings/sec, 700 secs
lola: 25145241 markings, 31702741 edges, 40204 markings/sec, 705 secs
lola: 25345117 markings, 31927348 edges, 39975 markings/sec, 710 secs
lola: 25551213 markings, 32164937 edges, 41219 markings/sec, 715 secs
lola: 25744669 markings, 32381961 edges, 38691 markings/sec, 720 secs
lola: 25948743 markings, 32607082 edges, 40815 markings/sec, 725 secs
lola: 26153647 markings, 32842284 edges, 40981 markings/sec, 730 secs
lola: 26345788 markings, 33061902 edges, 38428 markings/sec, 735 secs
lola: 26548698 markings, 33296428 edges, 40582 markings/sec, 740 secs
lola: 26748846 markings, 33521942 edges, 40030 markings/sec, 745 secs
lola: 26945585 markings, 33745261 edges, 39348 markings/sec, 750 secs
lola: 27149550 markings, 33995570 edges, 40793 markings/sec, 755 secs
lola: 27354085 markings, 34230156 edges, 40907 markings/sec, 760 secs
lola: 27559368 markings, 34463024 edges, 41057 markings/sec, 765 secs
lola: 27766107 markings, 34695588 edges, 41348 markings/sec, 770 secs
lola: 27968842 markings, 34927720 edges, 40547 markings/sec, 775 secs
lola: 28164765 markings, 35173780 edges, 39185 markings/sec, 780 secs
lola: 28370535 markings, 35400414 edges, 41154 markings/sec, 785 secs
lola: 28573634 markings, 35635879 edges, 40620 markings/sec, 790 secs
lola: 28771555 markings, 35860004 edges, 39584 markings/sec, 795 secs
lola: 28974970 markings, 36094861 edges, 40683 markings/sec, 800 secs
lola: 29169340 markings, 36312883 edges, 38874 markings/sec, 805 secs
lola: 29371650 markings, 36536618 edges, 40462 markings/sec, 810 secs
lola: 29575654 markings, 36770211 edges, 40801 markings/sec, 815 secs
lola: 29772708 markings, 36999710 edges, 39411 markings/sec, 820 secs
lola: 29971694 markings, 37233687 edges, 39797 markings/sec, 825 secs
lola: 30181043 markings, 37487994 edges, 41870 markings/sec, 830 secs
lola: 30390448 markings, 37719087 edges, 41881 markings/sec, 835 secs
lola: 30598612 markings, 37957745 edges, 41633 markings/sec, 840 secs
lola: 30802675 markings, 38194531 edges, 40813 markings/sec, 845 secs
lola: 31004284 markings, 38443195 edges, 40322 markings/sec, 850 secs
lola: 31206983 markings, 38669408 edges, 40540 markings/sec, 855 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 1 1 1 1 unknown unknown
lola: memory consumption: 1532020 KB
lola: time consumption: 2708 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 862 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1175)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 82 markings, 81 edges
lola: ========================================

FORMULA ASLink-PT-08a-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p757)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p757)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 70410 markings, 80803 edges, 14082 markings/sec, 0 secs
lola: 148124 markings, 184619 edges, 15543 markings/sec, 5 secs
lola: 226661 markings, 290591 edges, 15707 markings/sec, 10 secs
lola: 306317 markings, 394702 edges, 15931 markings/sec, 15 secs
lola: 384017 markings, 501433 edges, 15540 markings/sec, 20 secs
lola: 462960 markings, 603765 edges, 15789 markings/sec, 25 secs
lola: 541560 markings, 699422 edges, 15720 markings/sec, 30 secs
lola: 617119 markings, 789062 edges, 15112 markings/sec, 35 secs
lola: 694829 markings, 888585 edges, 15542 markings/sec, 40 secs
lola: 772477 markings, 988034 edges, 15530 markings/sec, 45 secs
lola: 850272 markings, 1085707 edges, 15559 markings/sec, 50 secs
lola: 928701 markings, 1185698 edges, 15686 markings/sec, 55 secs
lola: 1007806 markings, 1280088 edges, 15821 markings/sec, 60 secs
lola: 1086568 markings, 1375298 edges, 15752 markings/sec, 65 secs
lola: 1166229 markings, 1472676 edges, 15932 markings/sec, 70 secs
lola: 1245129 markings, 1568278 edges, 15780 markings/sec, 75 secs
lola: 1324535 markings, 1666602 edges, 15881 markings/sec, 80 secs
lola: 1403892 markings, 1763322 edges, 15871 markings/sec, 85 secs
lola: 1481923 markings, 1860361 edges, 15606 markings/sec, 90 secs
lola: 1561917 markings, 1956880 edges, 15999 markings/sec, 95 secs
lola: 1641073 markings, 2054371 edges, 15831 markings/sec, 100 secs
lola: 1720471 markings, 2156814 edges, 15880 markings/sec, 105 secs
lola: 1801267 markings, 2265898 edges, 16159 markings/sec, 110 secs
lola: 1882676 markings, 2370240 edges, 16282 markings/sec, 115 secs
lola: 1963025 markings, 2473862 edges, 16070 markings/sec, 120 secs
lola: 2043508 markings, 2582473 edges, 16097 markings/sec, 125 secs
lola: 2124094 markings, 2685913 edges, 16117 markings/sec, 130 secs
lola: 2204601 markings, 2788723 edges, 16101 markings/sec, 135 secs
lola: 2284248 markings, 2896490 edges, 15929 markings/sec, 140 secs
lola: 2364861 markings, 2992567 edges, 16123 markings/sec, 145 secs
lola: 2446072 markings, 3090019 edges, 16242 markings/sec, 150 secs
lola: 2521653 markings, 3182426 edges, 15116 markings/sec, 155 secs
lola: 2599170 markings, 3288325 edges, 15503 markings/sec, 160 secs
lola: 2673712 markings, 3396211 edges, 14908 markings/sec, 165 secs
lola: 2750340 markings, 3488752 edges, 15326 markings/sec, 170 secs
lola: 2826688 markings, 3580976 edges, 15270 markings/sec, 175 secs
lola: 2905545 markings, 3676419 edges, 15771 markings/sec, 180 secs
lola: 2982133 markings, 3769009 edges, 15318 markings/sec, 185 secs
lola: 3058030 markings, 3860599 edges, 15179 markings/sec, 190 secs
lola: 3136428 markings, 3955502 edges, 15680 markings/sec, 195 secs
lola: 3212027 markings, 4047927 edges, 15120 markings/sec, 200 secs
lola: 3285788 markings, 4137756 edges, 14752 markings/sec, 205 secs
lola: 3359597 markings, 4225789 edges, 14762 markings/sec, 210 secs
lola: 3438419 markings, 4330491 edges, 15764 markings/sec, 215 secs
lola: 3514475 markings, 4426842 edges, 15211 markings/sec, 220 secs
lola: 3594926 markings, 4521238 edges, 16090 markings/sec, 225 secs
lola: 3672178 markings, 4614856 edges, 15450 markings/sec, 230 secs
lola: 3749969 markings, 4710466 edges, 15558 markings/sec, 235 secs
lola: 3829263 markings, 4803788 edges, 15859 markings/sec, 240 secs
lola: 3904806 markings, 4899515 edges, 15109 markings/sec, 245 secs
lola: 3977681 markings, 4991284 edges, 14575 markings/sec, 250 secs
lola: 4052120 markings, 5080048 edges, 14888 markings/sec, 255 secs
lola: 4124682 markings, 5178596 edges, 14512 markings/sec, 260 secs
lola: 4204961 markings, 5273738 edges, 16056 markings/sec, 265 secs
lola: 4281008 markings, 5370051 edges, 15209 markings/sec, 270 secs
lola: 4361441 markings, 5465404 edges, 16087 markings/sec, 275 secs
lola: 4437446 markings, 5561792 edges, 15201 markings/sec, 280 secs
lola: 4517847 markings, 5657138 edges, 16080 markings/sec, 285 secs
lola: 4593215 markings, 5752738 edges, 15074 markings/sec, 290 secs
lola: 4667472 markings, 5844308 edges, 14851 markings/sec, 295 secs
lola: 4741340 markings, 5934264 edges, 14774 markings/sec, 300 secs
lola: 4814911 markings, 6022012 edges, 14714 markings/sec, 305 secs
lola: 4893350 markings, 6126758 edges, 15688 markings/sec, 310 secs
lola: 4969655 markings, 6223560 edges, 15261 markings/sec, 315 secs
lola: 5050380 markings, 6318782 edges, 16145 markings/sec, 320 secs
lola: 5127287 markings, 6414199 edges, 15381 markings/sec, 325 secs
lola: 5206026 markings, 6509206 edges, 15748 markings/sec, 330 secs
lola: 5284712 markings, 6602116 edges, 15737 markings/sec, 335 secs
lola: 5360572 markings, 6698863 edges, 15172 markings/sec, 340 secs
lola: 5435193 markings, 6796618 edges, 14924 markings/sec, 345 secs
lola: 5512170 markings, 6901384 edges, 15395 markings/sec, 350 secs
lola: 5589456 markings, 6998667 edges, 15457 markings/sec, 355 secs
lola: 5666189 markings, 7097983 edges, 15347 markings/sec, 360 secs
lola: 5742934 markings, 7200011 edges, 15349 markings/sec, 365 secs
lola: 5819701 markings, 7301781 edges, 15353 markings/sec, 370 secs
lola: 5898698 markings, 7402630 edges, 15799 markings/sec, 375 secs
lola: 5974656 markings, 7499772 edges, 15192 markings/sec, 380 secs
lola: 6051500 markings, 7603138 edges, 15369 markings/sec, 385 secs
lola: 6129508 markings, 7702858 edges, 15602 markings/sec, 390 secs
lola: 6206565 markings, 7801141 edges, 15411 markings/sec, 395 secs
lola: 6284261 markings, 7903534 edges, 15539 markings/sec, 400 secs
lola: 6361321 markings, 8006559 edges, 15412 markings/sec, 405 secs
lola: 6440054 markings, 8108997 edges, 15747 markings/sec, 410 secs
lola: 6516258 markings, 8206089 edges, 15241 markings/sec, 415 secs
lola: 6593431 markings, 8307848 edges, 15435 markings/sec, 420 secs
lola: 6670470 markings, 8408170 edges, 15408 markings/sec, 425 secs
lola: 6747263 markings, 8505295 edges, 15359 markings/sec, 430 secs
lola: 6824797 markings, 8607043 edges, 15507 markings/sec, 435 secs
lola: 6901652 markings, 8709116 edges, 15371 markings/sec, 440 secs
lola: 6978713 markings, 8810723 edges, 15412 markings/sec, 445 secs
lola: 7055675 markings, 8903520 edges, 15392 markings/sec, 450 secs
lola: 7132952 markings, 8993434 edges, 15455 markings/sec, 455 secs
lola: 7211137 markings, 9088113 edges, 15637 markings/sec, 460 secs
lola: 7286577 markings, 9177588 edges, 15088 markings/sec, 465 secs
lola: 7367383 markings, 9277203 edges, 16161 markings/sec, 470 secs
lola: 7442547 markings, 9367440 edges, 15033 markings/sec, 475 secs
lola: 7525584 markings, 9469997 edges, 16607 markings/sec, 480 secs
lola: 7609123 markings, 9580791 edges, 16708 markings/sec, 485 secs
lola: 7691243 markings, 9691817 edges, 16424 markings/sec, 490 secs
lola: 7772561 markings, 9801856 edges, 16264 markings/sec, 495 secs
lola: 7852142 markings, 9895915 edges, 15916 markings/sec, 500 secs
lola: 7937568 markings, 9998382 edges, 17085 markings/sec, 505 secs
lola: 8015075 markings, 10094492 edges, 15501 markings/sec, 510 secs
lola: 8098163 markings, 10194420 edges, 16618 markings/sec, 515 secs
lola: 8182853 markings, 10296900 edges, 16938 markings/sec, 520 secs
lola: 8266965 markings, 10398555 edges, 16822 markings/sec, 525 secs
lola: 8348180 markings, 10495022 edges, 16243 markings/sec, 530 secs
lola: 8426493 markings, 10588620 edges, 15663 markings/sec, 535 secs
lola: 8505775 markings, 10686930 edges, 15856 markings/sec, 540 secs
lola: 8580543 markings, 10776689 edges, 14954 markings/sec, 545 secs
lola: 8661246 markings, 10873996 edges, 16141 markings/sec, 550 secs
lola: 8741996 markings, 10971542 edges, 16150 markings/sec, 555 secs
lola: 8821298 markings, 11067168 edges, 15860 markings/sec, 560 secs
lola: 8897101 markings, 11159487 edges, 15161 markings/sec, 565 secs
lola: 8972225 markings, 11250950 edges, 15025 markings/sec, 570 secs
lola: 9049814 markings, 11346991 edges, 15518 markings/sec, 575 secs
lola: 9130418 markings, 11449541 edges, 16121 markings/sec, 580 secs
lola: 9209580 markings, 11549501 edges, 15832 markings/sec, 585 secs
lola: 9291373 markings, 11645295 edges, 16359 markings/sec, 590 secs
lola: 9368886 markings, 11743326 edges, 15503 markings/sec, 595 secs
lola: 9446712 markings, 11834481 edges, 15565 markings/sec, 600 secs
lola: 9521257 markings, 11929043 edges, 14909 markings/sec, 605 secs
lola: 9599976 markings, 12035167 edges, 15744 markings/sec, 610 secs
lola: 9681986 markings, 12133508 edges, 16402 markings/sec, 615 secs
lola: 9761797 markings, 12226948 edges, 15962 markings/sec, 620 secs
lola: 9838989 markings, 12325599 edges, 15438 markings/sec, 625 secs
lola: 9921787 markings, 12422669 edges, 16560 markings/sec, 630 secs
lola: 10002546 markings, 12519422 edges, 16152 markings/sec, 635 secs
lola: 10082242 markings, 12612728 edges, 15939 markings/sec, 640 secs
lola: 10159120 markings, 12710943 edges, 15376 markings/sec, 645 secs
lola: 10242519 markings, 12808918 edges, 16680 markings/sec, 650 secs
lola: 10322218 markings, 12904312 edges, 15940 markings/sec, 655 secs
lola: 10401493 markings, 12997115 edges, 15855 markings/sec, 660 secs
lola: 10477965 markings, 13094797 edges, 15294 markings/sec, 665 secs
lola: 10551703 markings, 13187508 edges, 14748 markings/sec, 670 secs
lola: 10626515 markings, 13276701 edges, 14962 markings/sec, 675 secs
lola: 10699179 markings, 13375165 edges, 14533 markings/sec, 680 secs
lola: 10776735 markings, 13465998 edges, 15511 markings/sec, 685 secs
lola: 10852040 markings, 13561454 edges, 15061 markings/sec, 690 secs
lola: 10929803 markings, 13652543 edges, 15553 markings/sec, 695 secs
lola: 11004784 markings, 13747614 edges, 14996 markings/sec, 700 secs
lola: 11082380 markings, 13838511 edges, 15519 markings/sec, 705 secs
lola: 11156836 markings, 13932964 edges, 14891 markings/sec, 710 secs
lola: 11235930 markings, 14040235 edges, 15819 markings/sec, 715 secs
lola: 11316814 markings, 14137665 edges, 16177 markings/sec, 720 secs
lola: 11396521 markings, 14231164 edges, 15941 markings/sec, 725 secs
lola: 11473605 markings, 14329612 edges, 15417 markings/sec, 730 secs
lola: 11557590 markings, 14429264 edges, 16797 markings/sec, 735 secs
lola: 11636534 markings, 14523895 edges, 15789 markings/sec, 740 secs
lola: 11715757 markings, 14619119 edges, 15845 markings/sec, 745 secs
lola: 11792868 markings, 14715212 edges, 15422 markings/sec, 750 secs
lola: 11877726 markings, 14816255 edges, 16972 markings/sec, 755 secs
lola: 11955227 markings, 14908945 edges, 15500 markings/sec, 760 secs
lola: 12033004 markings, 15008876 edges, 15555 markings/sec, 765 secs
lola: 12109650 markings, 15099435 edges, 15329 markings/sec, 770 secs
lola: 12183848 markings, 15191302 edges, 14840 markings/sec, 775 secs
lola: 12257567 markings, 15281086 edges, 14744 markings/sec, 780 secs
lola: 12333273 markings, 15381186 edges, 15141 markings/sec, 785 secs
lola: 12407799 markings, 15476024 edges, 14905 markings/sec, 790 secs
lola: 12486246 markings, 15567640 edges, 15689 markings/sec, 795 secs
lola: 12560782 markings, 15662450 edges, 14907 markings/sec, 800 secs
lola: 12638648 markings, 15753400 edges, 15573 markings/sec, 805 secs
lola: 12713400 markings, 15846389 edges, 14950 markings/sec, 810 secs
lola: 12787697 markings, 15943671 edges, 14859 markings/sec, 815 secs
lola: 12871533 markings, 16048817 edges, 16767 markings/sec, 820 secs
lola: 12950263 markings, 16142995 edges, 15746 markings/sec, 825 secs
lola: 13029496 markings, 16242687 edges, 15847 markings/sec, 830 secs
lola: 13108793 markings, 16337104 edges, 15859 markings/sec, 835 secs
lola: 13193142 markings, 16437748 edges, 16870 markings/sec, 840 secs
lola: 13271776 markings, 16531438 edges, 15727 markings/sec, 845 secs
lola: 13350038 markings, 16631760 edges, 15652 markings/sec, 850 secs
lola: 13430962 markings, 16726682 edges, 16185 markings/sec, 855 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 1 1 1 1 unknown 1
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 1 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 1 1 1 1 unknown 1
lola: memory consumption: 855384 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown 1 1 1 1 1 unknown 1
lola: memory consumption: 855552 KB
lola: time consumption: 3570 seconds

BK_STOP 1527892559623

--------------------
content from stderr:

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-08a"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is ASLink-PT-08a, 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 r268-smll-152749145300128"
echo "====================================================================="
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 ;