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 ;