About the Execution of LoLA for ASLink-PT-07b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
978.330 | 3570244.00 | 3619713.00 | 8058.90 | ? ? 1 ? 1 1 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 1.3M
-rw-r--r-- 1 mcc users 5.0K May 29 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 31K May 29 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 28 11:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.4K May 28 09:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K 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.6K May 27 05:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K 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 3.1K May 26 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K 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 1.1M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-07b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145300119
=====================================================================
--------------------
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-07b-UpperBounds-00
FORMULA_NAME ASLink-PT-07b-UpperBounds-01
FORMULA_NAME ASLink-PT-07b-UpperBounds-02
FORMULA_NAME ASLink-PT-07b-UpperBounds-03
FORMULA_NAME ASLink-PT-07b-UpperBounds-04
FORMULA_NAME ASLink-PT-07b-UpperBounds-05
FORMULA_NAME ASLink-PT-07b-UpperBounds-06
FORMULA_NAME ASLink-PT-07b-UpperBounds-07
FORMULA_NAME ASLink-PT-07b-UpperBounds-08
FORMULA_NAME ASLink-PT-07b-UpperBounds-09
FORMULA_NAME ASLink-PT-07b-UpperBounds-10
FORMULA_NAME ASLink-PT-07b-UpperBounds-11
FORMULA_NAME ASLink-PT-07b-UpperBounds-12
FORMULA_NAME ASLink-PT-07b-UpperBounds-13
FORMULA_NAME ASLink-PT-07b-UpperBounds-14
FORMULA_NAME ASLink-PT-07b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1527878063511
info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-07b 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-07b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-07b @ 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: 7208/65536 symbol table entries, 1355 collisions
lola: preprocessing...
lola: Size of bit vector: 3222
lola: finding significant places
lola: 3222 places, 3986 transitions, 2906 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5636 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-07b-UpperBounds.task
lola: MAX(p3074) : MAX(p2861) : MAX(p3187) : MAX(p401) : MAX(p2158) : MAX(p791) : MAX(p1092) : MAX(p2365) : MAX(p2271) : MAX(p1783) : MAX(p2801) : MAX(p1653) : MAX(p3152) : MAX(p1543) : MAX(p3059) : MAX(p2205)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3074)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3074)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 17989 markings, 89075 edges, 3598 markings/sec, 0 secs
lola: 38245 markings, 210957 edges, 4051 markings/sec, 5 secs
lola: 58863 markings, 332925 edges, 4124 markings/sec, 10 secs
lola: 78136 markings, 458605 edges, 3855 markings/sec, 15 secs
lola: 96347 markings, 588696 edges, 3642 markings/sec, 20 secs
lola: 116555 markings, 715632 edges, 4042 markings/sec, 25 secs
lola: 136530 markings, 844682 edges, 3995 markings/sec, 30 secs
lola: 157191 markings, 975863 edges, 4132 markings/sec, 35 secs
lola: 176433 markings, 1108112 edges, 3848 markings/sec, 40 secs
lola: 194061 markings, 1245807 edges, 3526 markings/sec, 45 secs
lola: 212956 markings, 1383784 edges, 3779 markings/sec, 50 secs
lola: 233204 markings, 1508635 edges, 4050 markings/sec, 55 secs
lola: 251606 markings, 1637744 edges, 3680 markings/sec, 60 secs
lola: 270350 markings, 1767089 edges, 3749 markings/sec, 65 secs
lola: 288514 markings, 1897409 edges, 3633 markings/sec, 70 secs
lola: 305446 markings, 2034593 edges, 3386 markings/sec, 75 secs
lola: 322631 markings, 2172332 edges, 3437 markings/sec, 80 secs
lola: 341790 markings, 2306239 edges, 3832 markings/sec, 85 secs
lola: 360414 markings, 2444806 edges, 3725 markings/sec, 90 secs
lola: 378942 markings, 2584474 edges, 3706 markings/sec, 95 secs
lola: 395961 markings, 2725768 edges, 3404 markings/sec, 100 secs
lola: 413104 markings, 2869761 edges, 3429 markings/sec, 105 secs
lola: 430106 markings, 3015471 edges, 3400 markings/sec, 110 secs
lola: 450660 markings, 3139495 edges, 4111 markings/sec, 115 secs
lola: 469094 markings, 3270375 edges, 3687 markings/sec, 120 secs
lola: 488012 markings, 3400891 edges, 3784 markings/sec, 125 secs
lola: 506086 markings, 3533185 edges, 3615 markings/sec, 130 secs
lola: 522996 markings, 3670238 edges, 3382 markings/sec, 135 secs
lola: 540838 markings, 3806674 edges, 3568 markings/sec, 140 secs
lola: 559408 markings, 3942417 edges, 3714 markings/sec, 145 secs
lola: 578227 markings, 4080007 edges, 3764 markings/sec, 150 secs
lola: 596469 markings, 4219634 edges, 3648 markings/sec, 155 secs
lola: 613470 markings, 4361839 edges, 3400 markings/sec, 160 secs
lola: 630677 markings, 4504887 edges, 3441 markings/sec, 165 secs
lola: 648193 markings, 4648728 edges, 3503 markings/sec, 170 secs
lola: 666425 markings, 4780024 edges, 3646 markings/sec, 175 secs
lola: 683309 markings, 4916894 edges, 3377 markings/sec, 180 secs
lola: 700548 markings, 5054081 edges, 3448 markings/sec, 185 secs
lola: 717366 markings, 5191024 edges, 3364 markings/sec, 190 secs
lola: 732825 markings, 5332725 edges, 3092 markings/sec, 195 secs
lola: 748311 markings, 5474177 edges, 3097 markings/sec, 200 secs
lola: 766389 markings, 5613636 edges, 3616 markings/sec, 205 secs
lola: 782753 markings, 5756614 edges, 3273 markings/sec, 210 secs
lola: 800121 markings, 5900822 edges, 3474 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: 65904 KB
lola: time consumption: 230 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2861)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2861)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 113715 markings, 119101 edges, 22743 markings/sec, 30 secs
lola: 230043 markings, 238142 edges, 23266 markings/sec, 35 secs
lola: 347024 markings, 355914 edges, 23396 markings/sec, 40 secs
lola: 460429 markings, 476543 edges, 22681 markings/sec, 45 secs
lola: 573896 markings, 597313 edges, 22693 markings/sec, 50 secs
lola: 687270 markings, 718010 edges, 22675 markings/sec, 55 secs
lola: 803544 markings, 836321 edges, 23255 markings/sec, 60 secs
lola: 916618 markings, 956966 edges, 22615 markings/sec, 65 secs
lola: 1030882 markings, 1077028 edges, 22853 markings/sec, 70 secs
lola: 1146454 markings, 1196523 edges, 23114 markings/sec, 75 secs
lola: 1259953 markings, 1317655 edges, 22700 markings/sec, 80 secs
lola: 1376717 markings, 1437368 edges, 23353 markings/sec, 85 secs
lola: 1494558 markings, 1556153 edges, 23568 markings/sec, 90 secs
lola: 1612693 markings, 1675207 edges, 23627 markings/sec, 95 secs
lola: 1730418 markings, 1793730 edges, 23545 markings/sec, 100 secs
lola: 1848186 markings, 1912599 edges, 23554 markings/sec, 105 secs
lola: 1965754 markings, 2030876 edges, 23514 markings/sec, 110 secs
lola: 2083141 markings, 2149264 edges, 23477 markings/sec, 115 secs
lola: 2200572 markings, 2267513 edges, 23486 markings/sec, 120 secs
lola: 2317430 markings, 2385317 edges, 23372 markings/sec, 125 secs
lola: 2434735 markings, 2503504 edges, 23461 markings/sec, 130 secs
lola: 2551874 markings, 2621456 edges, 23428 markings/sec, 135 secs
lola: 2668993 markings, 2739665 edges, 23424 markings/sec, 140 secs
lola: 2786867 markings, 2858251 edges, 23575 markings/sec, 145 secs
lola: 2904407 markings, 2976568 edges, 23508 markings/sec, 150 secs
lola: 3022008 markings, 3094992 edges, 23520 markings/sec, 155 secs
lola: 3139621 markings, 3213369 edges, 23523 markings/sec, 160 secs
lola: 3256989 markings, 3331484 edges, 23474 markings/sec, 165 secs
lola: 3374393 markings, 3449690 edges, 23481 markings/sec, 170 secs
lola: 3491815 markings, 3567930 edges, 23484 markings/sec, 175 secs
lola: 3609060 markings, 3685899 edges, 23449 markings/sec, 180 secs
lola: 3726055 markings, 3803660 edges, 23399 markings/sec, 185 secs
lola: 3843045 markings, 3921451 edges, 23398 markings/sec, 190 secs
lola: 3961210 markings, 4040411 edges, 23633 markings/sec, 195 secs
lola: 4078417 markings, 4158358 edges, 23441 markings/sec, 200 secs
lola: 4196465 markings, 4277182 edges, 23610 markings/sec, 205 secs
lola: 4314796 markings, 4396351 edges, 23666 markings/sec, 210 secs
lola: 4433189 markings, 4515487 edges, 23679 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: 297752 KB
lola: time consumption: 452 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3187)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 28 markings, 27 edges
lola: ========================================
FORMULA ASLink-PT-07b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p401)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p401)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 45306 markings, 45975 edges, 9061 markings/sec, 0 secs
lola: 91305 markings, 112959 edges, 9200 markings/sec, 5 secs
lola: 132182 markings, 199323 edges, 8175 markings/sec, 10 secs
lola: 184976 markings, 278367 edges, 10559 markings/sec, 15 secs
lola: 237826 markings, 357523 edges, 10570 markings/sec, 20 secs
lola: 290612 markings, 436839 edges, 10557 markings/sec, 25 secs
lola: 343414 markings, 516150 edges, 10560 markings/sec, 30 secs
lola: 384018 markings, 603816 edges, 8121 markings/sec, 35 secs
lola: 434557 markings, 687067 edges, 10108 markings/sec, 40 secs
lola: 487637 markings, 766573 edges, 10616 markings/sec, 45 secs
lola: 540820 markings, 846387 edges, 10637 markings/sec, 50 secs
lola: 593884 markings, 926078 edges, 10613 markings/sec, 55 secs
lola: 640856 markings, 1007361 edges, 9394 markings/sec, 60 secs
lola: 684805 markings, 1096766 edges, 8790 markings/sec, 65 secs
lola: 737911 markings, 1176342 edges, 10621 markings/sec, 70 secs
lola: 791058 markings, 1255984 edges, 10629 markings/sec, 75 secs
lola: 840008 markings, 1323366 edges, 9790 markings/sec, 80 secs
lola: 879030 markings, 1414132 edges, 7804 markings/sec, 85 secs
lola: 931712 markings, 1493029 edges, 10536 markings/sec, 90 secs
lola: 984348 markings, 1571881 edges, 10527 markings/sec, 95 secs
lola: 1037070 markings, 1650946 edges, 10544 markings/sec, 100 secs
lola: 1089640 markings, 1729953 edges, 10514 markings/sec, 105 secs
lola: 1137197 markings, 1810724 edges, 9511 markings/sec, 110 secs
lola: 1179494 markings, 1900921 edges, 8459 markings/sec, 115 secs
lola: 1232461 markings, 1980352 edges, 10593 markings/sec, 120 secs
lola: 1285404 markings, 2059624 edges, 10589 markings/sec, 125 secs
lola: 1336840 markings, 2128613 edges, 10287 markings/sec, 130 secs
lola: 1376442 markings, 2213438 edges, 7920 markings/sec, 135 secs
lola: 1425964 markings, 2296715 edges, 9904 markings/sec, 140 secs
lola: 1478528 markings, 2375442 edges, 10513 markings/sec, 145 secs
lola: 1530329 markings, 2454855 edges, 10360 markings/sec, 150 secs
lola: 1580453 markings, 2512874 edges, 10025 markings/sec, 155 secs
lola: 1619981 markings, 2591703 edges, 7906 markings/sec, 160 secs
lola: 1658873 markings, 2678903 edges, 7778 markings/sec, 165 secs
lola: 1691661 markings, 2782882 edges, 6558 markings/sec, 170 secs
lola: 1742266 markings, 2864367 edges, 10121 markings/sec, 175 secs
lola: 1794653 markings, 2942858 edges, 10477 markings/sec, 180 secs
lola: 1841892 markings, 3017095 edges, 9448 markings/sec, 185 secs
lola: 1881550 markings, 3110536 edges, 7932 markings/sec, 190 secs
lola: 1933730 markings, 3188710 edges, 10436 markings/sec, 195 secs
lola: 1985975 markings, 3266946 edges, 10449 markings/sec, 200 secs
lola: 2027326 markings, 3345889 edges, 8270 markings/sec, 205 secs
lola: 2072596 markings, 3434237 edges, 9054 markings/sec, 210 secs
lola: 2124654 markings, 3512214 edges, 10412 markings/sec, 215 secs
lola: 2171598 markings, 3593203 edges, 9389 markings/sec, 220 secs
lola: 2209344 markings, 3680008 edges, 7549 markings/sec, 225 secs
lola: 2245660 markings, 3774684 edges, 7263 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 237116 KB
lola: time consumption: 692 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2158)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 163 markings, 162 edges
lola: ========================================
FORMULA ASLink-PT-07b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p791)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p791)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 26 markings, 25 edges
FORMULA ASLink-PT-07b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1092)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1092)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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
FORMULA ASLink-PT-07b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2365)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2365)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 21 markings, 20 edges
lola: ========================================
FORMULA ASLink-PT-07b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2271)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2271)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 18 markings, 17 edges
FORMULA ASLink-PT-07b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 410 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1783)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1783)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 20229 markings, 74378 edges, 4046 markings/sec, 0 secs
lola: 60754 markings, 178425 edges, 8105 markings/sec, 5 secs
lola: 101356 markings, 281582 edges, 8120 markings/sec, 10 secs
lola: 139783 markings, 386104 edges, 7685 markings/sec, 15 secs
lola: 179965 markings, 489434 edges, 8036 markings/sec, 20 secs
lola: 222062 markings, 592578 edges, 8419 markings/sec, 25 secs
lola: 259734 markings, 700584 edges, 7534 markings/sec, 30 secs
lola: 296664 markings, 809763 edges, 7386 markings/sec, 35 secs
lola: 334445 markings, 918342 edges, 7556 markings/sec, 40 secs
lola: 377011 markings, 1020980 edges, 8513 markings/sec, 45 secs
lola: 412946 markings, 1130887 edges, 7187 markings/sec, 50 secs
lola: 450985 markings, 1239231 edges, 7608 markings/sec, 55 secs
lola: 491065 markings, 1345771 edges, 8016 markings/sec, 60 secs
lola: 530916 markings, 1452210 edges, 7970 markings/sec, 65 secs
lola: 581703 markings, 1532450 edges, 10157 markings/sec, 70 secs
lola: 632726 markings, 1612674 edges, 10205 markings/sec, 75 secs
lola: 680822 markings, 1699158 edges, 9619 markings/sec, 80 secs
lola: 725110 markings, 1794871 edges, 8858 markings/sec, 85 secs
lola: 770655 markings, 1887815 edges, 9109 markings/sec, 90 secs
lola: 811966 markings, 1986060 edges, 8262 markings/sec, 95 secs
lola: 847294 markings, 2090245 edges, 7066 markings/sec, 100 secs
lola: 879469 markings, 2205429 edges, 6435 markings/sec, 105 secs
lola: 909392 markings, 2326754 edges, 5985 markings/sec, 110 secs
lola: 946957 markings, 2436309 edges, 7513 markings/sec, 115 secs
lola: 985256 markings, 2544780 edges, 7660 markings/sec, 120 secs
lola: 1021489 markings, 2658233 edges, 7247 markings/sec, 125 secs
lola: 1054490 markings, 2778813 edges, 6600 markings/sec, 130 secs
lola: 1088202 markings, 2896774 edges, 6742 markings/sec, 135 secs
lola: 1120194 markings, 3018126 edges, 6398 markings/sec, 140 secs
lola: 1151015 markings, 3139572 edges, 6164 markings/sec, 145 secs
lola: 1179030 markings, 3267726 edges, 5603 markings/sec, 150 secs
lola: 1205626 markings, 3399119 edges, 5319 markings/sec, 155 secs
lola: 1239206 markings, 3515929 edges, 6716 markings/sec, 160 secs
lola: 1274308 markings, 3622484 edges, 7020 markings/sec, 165 secs
lola: 1307985 markings, 3730624 edges, 6735 markings/sec, 170 secs
lola: 1341564 markings, 3838713 edges, 6716 markings/sec, 175 secs
lola: 1375067 markings, 3946830 edges, 6701 markings/sec, 180 secs
lola: 1408555 markings, 4054660 edges, 6698 markings/sec, 185 secs
lola: 1441949 markings, 4162402 edges, 6679 markings/sec, 190 secs
lola: 1475267 markings, 4270060 edges, 6664 markings/sec, 195 secs
lola: 1508501 markings, 4378361 edges, 6647 markings/sec, 200 secs
lola: 1541981 markings, 4486133 edges, 6696 markings/sec, 205 secs
lola: 1575449 markings, 4594247 edges, 6694 markings/sec, 210 secs
lola: 1617256 markings, 4694026 edges, 8361 markings/sec, 215 secs
lola: 1658918 markings, 4793884 edges, 8332 markings/sec, 220 secs
lola: 1700520 markings, 4893709 edges, 8320 markings/sec, 225 secs
lola: 1744203 markings, 4991947 edges, 8737 markings/sec, 230 secs
lola: 1794778 markings, 5085187 edges, 10115 markings/sec, 235 secs
lola: 1845219 markings, 5178769 edges, 10088 markings/sec, 240 secs
lola: 1895187 markings, 5272778 edges, 9994 markings/sec, 245 secs
lola: 1934956 markings, 5375062 edges, 7954 markings/sec, 250 secs
lola: 1974612 markings, 5477917 edges, 7931 markings/sec, 255 secs
lola: 2014383 markings, 5580536 edges, 7954 markings/sec, 260 secs
lola: 2053476 markings, 5683457 edges, 7819 markings/sec, 265 secs
lola: 2090200 markings, 5789203 edges, 7345 markings/sec, 270 secs
lola: 2123937 markings, 5896945 edges, 6747 markings/sec, 275 secs
lola: 2157171 markings, 6005220 edges, 6647 markings/sec, 280 secs
lola: 2190839 markings, 6113195 edges, 6734 markings/sec, 285 secs
lola: 2224338 markings, 6221273 edges, 6700 markings/sec, 290 secs
lola: 2257776 markings, 6328974 edges, 6688 markings/sec, 295 secs
lola: 2291202 markings, 6436621 edges, 6685 markings/sec, 300 secs
lola: 2324628 markings, 6544375 edges, 6685 markings/sec, 305 secs
lola: 2358030 markings, 6652232 edges, 6680 markings/sec, 310 secs
lola: 2391463 markings, 6759947 edges, 6687 markings/sec, 315 secs
lola: 2430483 markings, 6862655 edges, 7804 markings/sec, 320 secs
lola: 2472215 markings, 6962544 edges, 8346 markings/sec, 325 secs
lola: 2513769 markings, 7062055 edges, 8311 markings/sec, 330 secs
lola: 2555424 markings, 7161647 edges, 8331 markings/sec, 335 secs
lola: 2605031 markings, 7255604 edges, 9921 markings/sec, 340 secs
lola: 2655287 markings, 7348826 edges, 10051 markings/sec, 345 secs
lola: 2705213 markings, 7442772 edges, 9985 markings/sec, 350 secs
lola: 2748630 markings, 7541877 edges, 8683 markings/sec, 355 secs
lola: 2786801 markings, 7645629 edges, 7634 markings/sec, 360 secs
lola: 2825230 markings, 7749302 edges, 7686 markings/sec, 365 secs
lola: 2864454 markings, 7852144 edges, 7845 markings/sec, 370 secs
lola: 2920614 markings, 7941780 edges, 11232 markings/sec, 375 secs
lola: 2979993 markings, 8029560 edges, 11876 markings/sec, 380 secs
lola: 3038648 markings, 8118678 edges, 11731 markings/sec, 385 secs
lola: 3096429 markings, 8209295 edges, 11556 markings/sec, 390 secs
lola: 3155915 markings, 8297666 edges, 11897 markings/sec, 395 secs
lola: 3215234 markings, 8385340 edges, 11864 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 352312 KB
lola: time consumption: 1106 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 410 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2801)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2801)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 60 markings, 59 edges
lola: ========================================
FORMULA ASLink-PT-07b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 492 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1653)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1653)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 9 markings, 8 edges
lola: ========================================
FORMULA ASLink-PT-07b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 615 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3152)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3152)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 17 markings, 16 edges
lola: ========================================
FORMULA ASLink-PT-07b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 820 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1543)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1543)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 39268 markings, 96701 edges, 7854 markings/sec, 0 secs
lola: 103155 markings, 218782 edges, 12777 markings/sec, 5 secs
lola: 171305 markings, 343211 edges, 13630 markings/sec, 10 secs
lola: 235262 markings, 469427 edges, 12791 markings/sec, 15 secs
lola: 298908 markings, 593260 edges, 12729 markings/sec, 20 secs
lola: 361309 markings, 717132 edges, 12480 markings/sec, 25 secs
lola: 419806 markings, 842941 edges, 11699 markings/sec, 30 secs
lola: 485806 markings, 969310 edges, 13200 markings/sec, 35 secs
lola: 546147 markings, 1067739 edges, 12068 markings/sec, 40 secs
lola: 598970 markings, 1160028 edges, 10565 markings/sec, 45 secs
lola: 640671 markings, 1262822 edges, 8340 markings/sec, 50 secs
lola: 692493 markings, 1365866 edges, 10364 markings/sec, 55 secs
lola: 728921 markings, 1478704 edges, 7286 markings/sec, 60 secs
lola: 767262 markings, 1592591 edges, 7668 markings/sec, 65 secs
lola: 808316 markings, 1704905 edges, 8211 markings/sec, 70 secs
lola: 840664 markings, 1826746 edges, 6470 markings/sec, 75 secs
lola: 879136 markings, 1947987 edges, 7694 markings/sec, 80 secs
lola: 911007 markings, 2075221 edges, 6374 markings/sec, 85 secs
lola: 949510 markings, 2204370 edges, 7701 markings/sec, 90 secs
lola: 1003751 markings, 2322813 edges, 10848 markings/sec, 95 secs
lola: 1056380 markings, 2441122 edges, 10526 markings/sec, 100 secs
lola: 1110113 markings, 2560039 edges, 10747 markings/sec, 105 secs
lola: 1162003 markings, 2677957 edges, 10378 markings/sec, 110 secs
lola: 1214428 markings, 2795574 edges, 10485 markings/sec, 115 secs
lola: 1268276 markings, 2913771 edges, 10770 markings/sec, 120 secs
lola: 1322386 markings, 3032605 edges, 10822 markings/sec, 125 secs
lola: 1400627 markings, 3156351 edges, 15648 markings/sec, 130 secs
lola: 1478338 markings, 3279881 edges, 15542 markings/sec, 135 secs
lola: 1555984 markings, 3403200 edges, 15529 markings/sec, 140 secs
lola: 1619686 markings, 3523441 edges, 12740 markings/sec, 145 secs
lola: 1682466 markings, 3644371 edges, 12556 markings/sec, 150 secs
lola: 1743165 markings, 3764702 edges, 12140 markings/sec, 155 secs
lola: 1794540 markings, 3882888 edges, 10275 markings/sec, 160 secs
lola: 1848524 markings, 4001462 edges, 10797 markings/sec, 165 secs
lola: 1902288 markings, 4120460 edges, 10753 markings/sec, 170 secs
lola: 1954396 markings, 4238643 edges, 10422 markings/sec, 175 secs
lola: 2006550 markings, 4356388 edges, 10431 markings/sec, 180 secs
lola: 2060381 markings, 4474444 edges, 10766 markings/sec, 185 secs
lola: 2123938 markings, 4595473 edges, 12711 markings/sec, 190 secs
lola: 2201712 markings, 4719051 edges, 15555 markings/sec, 195 secs
lola: 2279581 markings, 4842695 edges, 15574 markings/sec, 200 secs
lola: 2354830 markings, 4965459 edges, 15050 markings/sec, 205 secs
lola: 2416856 markings, 5086021 edges, 12405 markings/sec, 210 secs
lola: 2476146 markings, 5205787 edges, 11858 markings/sec, 215 secs
lola: 2516234 markings, 5310337 edges, 8018 markings/sec, 220 secs
lola: 2643647 markings, 5464968 edges, 25483 markings/sec, 225 secs
lola: 2772934 markings, 5620762 edges, 25857 markings/sec, 230 secs
lola: 2900500 markings, 5776249 edges, 25513 markings/sec, 235 secs
lola: 3030339 markings, 5932449 edges, 25968 markings/sec, 240 secs
lola: 3159035 markings, 6087518 edges, 25739 markings/sec, 245 secs
lola: 3287014 markings, 6243418 edges, 25596 markings/sec, 250 secs
lola: 3414830 markings, 6399142 edges, 25563 markings/sec, 255 secs
lola: 3450285 markings, 6517980 edges, 7091 markings/sec, 260 secs
lola: 3492298 markings, 6629807 edges, 8403 markings/sec, 265 secs
lola: 3530546 markings, 6745105 edges, 7650 markings/sec, 270 secs
lola: 3564686 markings, 6867357 edges, 6828 markings/sec, 275 secs
lola: 3602657 markings, 6989854 edges, 7594 markings/sec, 280 secs
lola: 3632310 markings, 7119434 edges, 5931 markings/sec, 285 secs
lola: 3679238 markings, 7246819 edges, 9386 markings/sec, 290 secs
lola: 3732031 markings, 7365519 edges, 10559 markings/sec, 295 secs
lola: 3785987 markings, 7485292 edges, 10791 markings/sec, 300 secs
lola: 3838465 markings, 7604210 edges, 10496 markings/sec, 305 secs
lola: 3890954 markings, 7722543 edges, 10498 markings/sec, 310 secs
lola: 3944952 markings, 7841238 edges, 10800 markings/sec, 315 secs
lola: 3998494 markings, 7960642 edges, 10708 markings/sec, 320 secs
lola: 4060282 markings, 8081328 edges, 12358 markings/sec, 325 secs
lola: 4139013 markings, 8206102 edges, 15746 markings/sec, 330 secs
lola: 4216527 markings, 8329893 edges, 15503 markings/sec, 335 secs
lola: 4293723 markings, 8453968 edges, 15439 markings/sec, 340 secs
lola: 4355071 markings, 8574716 edges, 12270 markings/sec, 345 secs
lola: 4415647 markings, 8695352 edges, 12115 markings/sec, 350 secs
lola: 4474869 markings, 8815800 edges, 11844 markings/sec, 355 secs
lola: 4527312 markings, 8934686 edges, 10489 markings/sec, 360 secs
lola: 4581380 markings, 9053706 edges, 10814 markings/sec, 365 secs
lola: 4634873 markings, 9173139 edges, 10699 markings/sec, 370 secs
lola: 4686389 markings, 9291308 edges, 10303 markings/sec, 375 secs
lola: 4739762 markings, 9409820 edges, 10675 markings/sec, 380 secs
lola: 4793884 markings, 9528578 edges, 10824 markings/sec, 385 secs
lola: 4866502 markings, 9652247 edges, 14524 markings/sec, 390 secs
lola: 4944787 markings, 9776420 edges, 15657 markings/sec, 395 secs
lola: 5023087 markings, 9900634 edges, 15660 markings/sec, 400 secs
lola: 5091429 markings, 10022542 edges, 13668 markings/sec, 405 secs
lola: 5151930 markings, 10143366 edges, 12100 markings/sec, 410 secs
lola: 5209054 markings, 10258388 edges, 11425 markings/sec, 415 secs
lola: 5278163 markings, 10380968 edges, 13822 markings/sec, 420 secs
lola: 5407589 markings, 10536306 edges, 25885 markings/sec, 425 secs
lola: 5536256 markings, 10692285 edges, 25733 markings/sec, 430 secs
lola: 5664328 markings, 10847949 edges, 25614 markings/sec, 435 secs
lola: 5794247 markings, 11003996 edges, 25984 markings/sec, 440 secs
lola: 5923222 markings, 11159626 edges, 25795 markings/sec, 445 secs
lola: 6050314 markings, 11315197 edges, 25418 markings/sec, 450 secs
lola: 6146273 markings, 11457493 edges, 19192 markings/sec, 455 secs
lola: 6179819 markings, 11573650 edges, 6709 markings/sec, 460 secs
lola: 6223410 markings, 11684452 edges, 8718 markings/sec, 465 secs
lola: 6257098 markings, 11803400 edges, 6738 markings/sec, 470 secs
lola: 6293518 markings, 11925912 edges, 7284 markings/sec, 475 secs
lola: 6329859 markings, 12049144 edges, 7268 markings/sec, 480 secs
lola: 6356908 markings, 12181890 edges, 5410 markings/sec, 485 secs
lola: 6412437 markings, 12303159 edges, 11106 markings/sec, 490 secs
lola: 6464849 markings, 12421905 edges, 10482 markings/sec, 495 secs
lola: 6518990 markings, 12541280 edges, 10828 markings/sec, 500 secs
lola: 6570712 markings, 12659632 edges, 10344 markings/sec, 505 secs
lola: 6624639 markings, 12778057 edges, 10785 markings/sec, 510 secs
lola: 6678410 markings, 12896316 edges, 10754 markings/sec, 515 secs
lola: 6731500 markings, 13014994 edges, 10618 markings/sec, 520 secs
lola: 6782818 markings, 13133059 edges, 10264 markings/sec, 525 secs
lola: 6861103 markings, 13257467 edges, 15657 markings/sec, 530 secs
lola: 6939579 markings, 13381911 edges, 15695 markings/sec, 535 secs
lola: 7017024 markings, 13505385 edges, 15489 markings/sec, 540 secs
lola: 7089404 markings, 13627903 edges, 14476 markings/sec, 545 secs
lola: 7152353 markings, 13748868 edges, 12590 markings/sec, 550 secs
lola: 7213746 markings, 13869663 edges, 12279 markings/sec, 555 secs
lola: 7257003 markings, 13984446 edges, 8651 markings/sec, 560 secs
lola: 7316586 markings, 14076206 edges, 11917 markings/sec, 565 secs
lola: 7364110 markings, 14169359 edges, 9505 markings/sec, 570 secs
lola: 7408372 markings, 14272017 edges, 8852 markings/sec, 575 secs
lola: 7458986 markings, 14374035 edges, 10123 markings/sec, 580 secs
lola: 7489238 markings, 14490229 edges, 6050 markings/sec, 585 secs
lola: 7532271 markings, 14599087 edges, 8607 markings/sec, 590 secs
lola: 7568076 markings, 14714733 edges, 7161 markings/sec, 595 secs
lola: 7602940 markings, 14836341 edges, 6973 markings/sec, 600 secs
lola: 7640012 markings, 14958173 edges, 7414 markings/sec, 605 secs
lola: 7667077 markings, 15089275 edges, 5413 markings/sec, 610 secs
lola: 7720433 markings, 15210225 edges, 10671 markings/sec, 615 secs
lola: 7773124 markings, 15327689 edges, 10538 markings/sec, 620 secs
lola: 7826699 markings, 15445895 edges, 10715 markings/sec, 625 secs
lola: 7878173 markings, 15563144 edges, 10295 markings/sec, 630 secs
lola: 7930399 markings, 15680038 edges, 10445 markings/sec, 635 secs
lola: 7983762 markings, 15797446 edges, 10673 markings/sec, 640 secs
lola: 8036525 markings, 15915013 edges, 10553 markings/sec, 645 secs
lola: 8105553 markings, 16036430 edges, 13806 markings/sec, 650 secs
lola: 8182417 markings, 16159116 edges, 15373 markings/sec, 655 secs
lola: 8260548 markings, 16282182 edges, 15626 markings/sec, 660 secs
lola: 8328113 markings, 16402800 edges, 13513 markings/sec, 665 secs
lola: 8390294 markings, 16522466 edges, 12436 markings/sec, 670 secs
lola: 8450533 markings, 16642277 edges, 12048 markings/sec, 675 secs
lola: 8503653 markings, 16759888 edges, 10624 markings/sec, 680 secs
lola: 8556520 markings, 16877925 edges, 10573 markings/sec, 685 secs
lola: 8607302 markings, 16994789 edges, 10156 markings/sec, 690 secs
lola: 8660889 markings, 17112036 edges, 10717 markings/sec, 695 secs
lola: 8713654 markings, 17229933 edges, 10553 markings/sec, 700 secs
lola: 8764116 markings, 17346562 edges, 10092 markings/sec, 705 secs
lola: 8832781 markings, 17467663 edges, 13733 markings/sec, 710 secs
lola: 8910865 markings, 17590891 edges, 15617 markings/sec, 715 secs
lola: 8987578 markings, 17713366 edges, 15343 markings/sec, 720 secs
lola: 9057474 markings, 17833363 edges, 13979 markings/sec, 725 secs
lola: 9119262 markings, 17951648 edges, 12358 markings/sec, 730 secs
lola: 9167316 markings, 18059191 edges, 9611 markings/sec, 735 secs
lola: 9263252 markings, 18196310 edges, 19187 markings/sec, 740 secs
lola: 9390523 markings, 18349136 edges, 25454 markings/sec, 745 secs
lola: 9516426 markings, 18502505 edges, 25181 markings/sec, 750 secs
lola: 9643596 markings, 18656050 edges, 25434 markings/sec, 755 secs
lola: 9770395 markings, 18808714 edges, 25360 markings/sec, 760 secs
lola: 9896693 markings, 18962084 edges, 25260 markings/sec, 765 secs
lola: 10021996 markings, 19115031 edges, 25061 markings/sec, 770 secs
lola: 10064151 markings, 19234446 edges, 8431 markings/sec, 775 secs
lola: 10104756 markings, 19344741 edges, 8121 markings/sec, 780 secs
lola: 10142231 markings, 19457815 edges, 7495 markings/sec, 785 secs
lola: 10175977 markings, 19578027 edges, 6749 markings/sec, 790 secs
lola: 10213257 markings, 19698522 edges, 7456 markings/sec, 795 secs
lola: 10241484 markings, 19826791 edges, 5645 markings/sec, 800 secs
lola: 10289655 markings, 19949808 edges, 9634 markings/sec, 805 secs
lola: 10342066 markings, 20066867 edges, 10482 markings/sec, 810 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown unknown unknown
lola: memory consumption: 813796 KB
lola: time consumption: 1929 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 820 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3059)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3059)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 18276 markings, 90478 edges, 3655 markings/sec, 0 secs
lola: 38884 markings, 215239 edges, 4122 markings/sec, 5 secs
lola: 59918 markings, 339824 edges, 4207 markings/sec, 10 secs
lola: 79414 markings, 468526 edges, 3899 markings/sec, 15 secs
lola: 98192 markings, 602198 edges, 3756 markings/sec, 20 secs
lola: 119895 markings, 733104 edges, 4341 markings/sec, 25 secs
lola: 139854 markings, 868245 edges, 3992 markings/sec, 30 secs
lola: 161223 markings, 1004527 edges, 4274 markings/sec, 35 secs
lola: 180462 markings, 1141978 edges, 3848 markings/sec, 40 secs
lola: 199704 markings, 1283166 edges, 3848 markings/sec, 45 secs
lola: 219442 markings, 1422890 edges, 3948 markings/sec, 50 secs
lola: 239510 markings, 1552086 edges, 4014 markings/sec, 55 secs
lola: 258199 markings, 1686281 edges, 3738 markings/sec, 60 secs
lola: 277512 markings, 1819497 edges, 3863 markings/sec, 65 secs
lola: 295509 markings, 1956260 edges, 3599 markings/sec, 70 secs
lola: 312770 markings, 2096006 edges, 3452 markings/sec, 75 secs
lola: 331843 markings, 2234023 edges, 3815 markings/sec, 80 secs
lola: 350712 markings, 2373463 edges, 3774 markings/sec, 85 secs
lola: 369857 markings, 2515085 edges, 3829 markings/sec, 90 secs
lola: 388223 markings, 2657359 edges, 3673 markings/sec, 95 secs
lola: 404450 markings, 2797501 edges, 3245 markings/sec, 100 secs
lola: 420433 markings, 2928992 edges, 3197 markings/sec, 105 secs
lola: 438821 markings, 3067722 edges, 3678 markings/sec, 110 secs
lola: 458542 markings, 3198235 edges, 3944 markings/sec, 115 secs
lola: 477247 markings, 3332862 edges, 3741 markings/sec, 120 secs
lola: 496628 markings, 3466513 edges, 3876 markings/sec, 125 secs
lola: 514412 markings, 3604908 edges, 3557 markings/sec, 130 secs
lola: 531692 markings, 3744831 edges, 3456 markings/sec, 135 secs
lola: 551801 markings, 3881467 edges, 4022 markings/sec, 140 secs
lola: 569789 markings, 4022571 edges, 3598 markings/sec, 145 secs
lola: 589308 markings, 4164380 edges, 3904 markings/sec, 150 secs
lola: 607354 markings, 4306660 edges, 3609 markings/sec, 155 secs
lola: 623966 markings, 4453387 edges, 3322 markings/sec, 160 secs
lola: 641866 markings, 4600416 edges, 3580 markings/sec, 165 secs
lola: 660231 markings, 4737856 edges, 3673 markings/sec, 170 secs
lola: 677822 markings, 4876301 edges, 3518 markings/sec, 175 secs
lola: 695064 markings, 5015927 edges, 3448 markings/sec, 180 secs
lola: 712664 markings, 5155159 edges, 3520 markings/sec, 185 secs
lola: 728877 markings, 5298150 edges, 3243 markings/sec, 190 secs
lola: 744908 markings, 5442362 edges, 3206 markings/sec, 195 secs
lola: 762518 markings, 5585820 edges, 3522 markings/sec, 200 secs
lola: 779877 markings, 5730564 edges, 3472 markings/sec, 205 secs
lola: 797446 markings, 5876535 edges, 3514 markings/sec, 210 secs
lola: 814087 markings, 6023799 edges, 3328 markings/sec, 215 secs
lola: 830066 markings, 6173597 edges, 3196 markings/sec, 220 secs
lola: 846138 markings, 6323414 edges, 3214 markings/sec, 225 secs
lola: 862498 markings, 6475174 edges, 3272 markings/sec, 230 secs
lola: 883381 markings, 6605189 edges, 4177 markings/sec, 235 secs
lola: 902555 markings, 6741507 edges, 3835 markings/sec, 240 secs
lola: 922174 markings, 6877514 edges, 3924 markings/sec, 245 secs
lola: 940485 markings, 7016594 edges, 3662 markings/sec, 250 secs
lola: 958037 markings, 7158432 edges, 3510 markings/sec, 255 secs
lola: 977250 markings, 7299140 edges, 3843 markings/sec, 260 secs
lola: 996638 markings, 7441349 edges, 3878 markings/sec, 265 secs
lola: 1016105 markings, 7585990 edges, 3893 markings/sec, 270 secs
lola: 1034911 markings, 7730915 edges, 3761 markings/sec, 275 secs
lola: 1051914 markings, 7879113 edges, 3401 markings/sec, 280 secs
lola: 1069848 markings, 8029178 edges, 3587 markings/sec, 285 secs
lola: 1088418 markings, 8170905 edges, 3714 markings/sec, 290 secs
lola: 1106492 markings, 8311396 edges, 3615 markings/sec, 295 secs
lola: 1124069 markings, 8453708 edges, 3515 markings/sec, 300 secs
lola: 1142069 markings, 8595398 edges, 3600 markings/sec, 305 secs
lola: 1158784 markings, 8740427 edges, 3343 markings/sec, 310 secs
lola: 1174989 markings, 8887160 edges, 3241 markings/sec, 315 secs
lola: 1192701 markings, 9033022 edges, 3542 markings/sec, 320 secs
lola: 1210380 markings, 9179571 edges, 3536 markings/sec, 325 secs
lola: 1228042 markings, 9327814 edges, 3532 markings/sec, 330 secs
lola: 1245053 markings, 9477015 edges, 3402 markings/sec, 335 secs
lola: 1261325 markings, 9629360 edges, 3254 markings/sec, 340 secs
lola: 1277639 markings, 9781727 edges, 3263 markings/sec, 345 secs
lola: 1294347 markings, 9934051 edges, 3342 markings/sec, 350 secs
lola: 1313195 markings, 10070277 edges, 3770 markings/sec, 355 secs
lola: 1330648 markings, 10211751 edges, 3491 markings/sec, 360 secs
lola: 1348587 markings, 10353136 edges, 3588 markings/sec, 365 secs
lola: 1365859 markings, 10495156 edges, 3454 markings/sec, 370 secs
lola: 1381896 markings, 10641781 edges, 3207 markings/sec, 375 secs
lola: 1397858 markings, 10788668 edges, 3192 markings/sec, 380 secs
lola: 1416395 markings, 10932443 edges, 3707 markings/sec, 385 secs
lola: 1433295 markings, 11080886 edges, 3380 markings/sec, 390 secs
lola: 1451231 markings, 11229875 edges, 3587 markings/sec, 395 secs
lola: 1468141 markings, 11378519 edges, 3382 markings/sec, 400 secs
lola: 1483635 markings, 11530342 edges, 3099 markings/sec, 405 secs
lola: 1500126 markings, 11683429 edges, 3298 markings/sec, 410 secs
lola: 1517013 markings, 11829819 edges, 3377 markings/sec, 415 secs
lola: 1533760 markings, 11973455 edges, 3349 markings/sec, 420 secs
lola: 1549863 markings, 12119445 edges, 3221 markings/sec, 425 secs
lola: 1566489 markings, 12265312 edges, 3325 markings/sec, 430 secs
lola: 1582299 markings, 12412470 edges, 3162 markings/sec, 435 secs
lola: 1597141 markings, 12563060 edges, 2968 markings/sec, 440 secs
lola: 1611800 markings, 12713552 edges, 2932 markings/sec, 445 secs
lola: 1628140 markings, 12854079 edges, 3268 markings/sec, 450 secs
lola: 1643629 markings, 13004704 edges, 3098 markings/sec, 455 secs
lola: 1659851 markings, 13156187 edges, 3244 markings/sec, 460 secs
lola: 1675365 markings, 13307155 edges, 3103 markings/sec, 465 secs
lola: 1690165 markings, 13460712 edges, 2960 markings/sec, 470 secs
lola: 1704947 markings, 13615436 edges, 2956 markings/sec, 475 secs
lola: 1719879 markings, 13771235 edges, 2986 markings/sec, 480 secs
lola: 1752146 markings, 13913131 edges, 6453 markings/sec, 485 secs
lola: 1782049 markings, 14051536 edges, 5981 markings/sec, 490 secs
lola: 1806316 markings, 14189301 edges, 4853 markings/sec, 495 secs
lola: 1830124 markings, 14333347 edges, 4762 markings/sec, 500 secs
lola: 1861963 markings, 14475229 edges, 6368 markings/sec, 505 secs
lola: 1892108 markings, 14615194 edges, 6029 markings/sec, 510 secs
lola: 1917154 markings, 14750621 edges, 5009 markings/sec, 515 secs
lola: 1940981 markings, 14893628 edges, 4765 markings/sec, 520 secs
lola: 1970954 markings, 15037406 edges, 5995 markings/sec, 525 secs
lola: 2002065 markings, 15179587 edges, 6222 markings/sec, 530 secs
lola: 2028074 markings, 15312072 edges, 5202 markings/sec, 535 secs
lola: 2051932 markings, 15455200 edges, 4772 markings/sec, 540 secs
lola: 2080266 markings, 15600243 edges, 5667 markings/sec, 545 secs
lola: 2111900 markings, 15741385 edges, 6327 markings/sec, 550 secs
lola: 2138718 markings, 15874170 edges, 5364 markings/sec, 555 secs
lola: 2162504 markings, 16015137 edges, 4757 markings/sec, 560 secs
lola: 2188663 markings, 16162096 edges, 5232 markings/sec, 565 secs
lola: 2221421 markings, 16300464 edges, 6552 markings/sec, 570 secs
lola: 2254867 markings, 16437278 edges, 6689 markings/sec, 575 secs
lola: 2285443 markings, 16580542 edges, 6115 markings/sec, 580 secs
lola: 2319268 markings, 16717203 edges, 6765 markings/sec, 585 secs
lola: 2349593 markings, 16860547 edges, 6065 markings/sec, 590 secs
lola: 2383694 markings, 16997613 edges, 6820 markings/sec, 595 secs
lola: 2413745 markings, 17141166 edges, 6010 markings/sec, 600 secs
lola: 2440709 markings, 17274728 edges, 5393 markings/sec, 605 secs
lola: 2464601 markings, 17416430 edges, 4778 markings/sec, 610 secs
lola: 2490856 markings, 17563651 edges, 5251 markings/sec, 615 secs
lola: 2523607 markings, 17702362 edges, 6550 markings/sec, 620 secs
lola: 2551112 markings, 17836457 edges, 5501 markings/sec, 625 secs
lola: 2575254 markings, 17976018 edges, 4828 markings/sec, 630 secs
lola: 2597768 markings, 18124099 edges, 4503 markings/sec, 635 secs
lola: 2632683 markings, 18262265 edges, 6983 markings/sec, 640 secs
lola: 2666266 markings, 18400672 edges, 6717 markings/sec, 645 secs
lola: 2697806 markings, 18544726 edges, 6308 markings/sec, 650 secs
lola: 2731408 markings, 18683922 edges, 6720 markings/sec, 655 secs
lola: 2762404 markings, 18827875 edges, 6199 markings/sec, 660 secs
lola: 2796169 markings, 18966188 edges, 6753 markings/sec, 665 secs
lola: 2826788 markings, 19110509 edges, 6124 markings/sec, 670 secs
lola: 2854562 markings, 19246003 edges, 5555 markings/sec, 675 secs
lola: 2878907 markings, 19388058 edges, 4869 markings/sec, 680 secs
lola: 2903940 markings, 19537560 edges, 5007 markings/sec, 685 secs
lola: 2937960 markings, 19678197 edges, 6804 markings/sec, 690 secs
lola: 2966296 markings, 19814799 edges, 5667 markings/sec, 695 secs
lola: 2990855 markings, 19955656 edges, 4912 markings/sec, 700 secs
lola: 3013037 markings, 20105684 edges, 4436 markings/sec, 705 secs
lola: 3048937 markings, 20246703 edges, 7180 markings/sec, 710 secs
lola: 3082589 markings, 20385287 edges, 6730 markings/sec, 715 secs
lola: 3113904 markings, 20528555 edges, 6263 markings/sec, 720 secs
lola: 3147495 markings, 20667349 edges, 6718 markings/sec, 725 secs
lola: 3178361 markings, 20811279 edges, 6173 markings/sec, 730 secs
lola: 3212300 markings, 20949851 edges, 6788 markings/sec, 735 secs
lola: 3243056 markings, 21094738 edges, 6151 markings/sec, 740 secs
lola: 3268923 markings, 21224983 edges, 5173 markings/sec, 745 secs
lola: 3293207 markings, 21356986 edges, 4857 markings/sec, 750 secs
lola: 3315029 markings, 21494374 edges, 4364 markings/sec, 755 secs
lola: 3337311 markings, 21629678 edges, 4456 markings/sec, 760 secs
lola: 3358836 markings, 21769457 edges, 4305 markings/sec, 765 secs
lola: 3378207 markings, 21913325 edges, 3874 markings/sec, 770 secs
lola: 3400250 markings, 22051848 edges, 4409 markings/sec, 775 secs
lola: 3422160 markings, 22194215 edges, 4382 markings/sec, 780 secs
lola: 3441940 markings, 22340700 edges, 3956 markings/sec, 785 secs
lola: 3462346 markings, 22484848 edges, 4081 markings/sec, 790 secs
lola: 3482151 markings, 22633601 edges, 3961 markings/sec, 795 secs
lola: 3500746 markings, 22782652 edges, 3719 markings/sec, 800 secs
lola: 3528988 markings, 22930104 edges, 5648 markings/sec, 805 secs
lola: 3560534 markings, 23073803 edges, 6309 markings/sec, 810 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown unknown unknown
lola: memory consumption: 209244 KB
lola: time consumption: 2749 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 821 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2205)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 18 markings, 17 edges
lola: ========================================
FORMULA ASLink-PT-07b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p3074)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3074)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07b-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: 18099 markings, 89549 edges, 3620 markings/sec, 0 secs
lola: 38459 markings, 212241 edges, 4072 markings/sec, 5 secs
lola: 59157 markings, 334835 edges, 4140 markings/sec, 10 secs
lola: 78462 markings, 461268 edges, 3861 markings/sec, 15 secs
lola: 96780 markings, 591622 edges, 3664 markings/sec, 20 secs
lola: 117223 markings, 719239 edges, 4089 markings/sec, 25 secs
lola: 137130 markings, 848791 edges, 3981 markings/sec, 30 secs
lola: 157857 markings, 980226 edges, 4145 markings/sec, 35 secs
lola: 177006 markings, 1112710 edges, 3830 markings/sec, 40 secs
lola: 194704 markings, 1250564 edges, 3540 markings/sec, 45 secs
lola: 213529 markings, 1388523 edges, 3765 markings/sec, 50 secs
lola: 234006 markings, 1512982 edges, 4095 markings/sec, 55 secs
lola: 252398 markings, 1642970 edges, 3678 markings/sec, 60 secs
lola: 271219 markings, 1772844 edges, 3764 markings/sec, 65 secs
lola: 289356 markings, 1903712 edges, 3627 markings/sec, 70 secs
lola: 306147 markings, 2039836 edges, 3358 markings/sec, 75 secs
lola: 323425 markings, 2176493 edges, 3456 markings/sec, 80 secs
lola: 342068 markings, 2308763 edges, 3729 markings/sec, 85 secs
lola: 360478 markings, 2445233 edges, 3682 markings/sec, 90 secs
lola: 378767 markings, 2583007 edges, 3658 markings/sec, 95 secs
lola: 395605 markings, 2722122 edges, 3368 markings/sec, 100 secs
lola: 412363 markings, 2864457 edges, 3352 markings/sec, 105 secs
lola: 429277 markings, 3007616 edges, 3383 markings/sec, 110 secs
lola: 449548 markings, 3132268 edges, 4054 markings/sec, 115 secs
lola: 467929 markings, 3262063 edges, 3676 markings/sec, 120 secs
lola: 486729 markings, 3391924 edges, 3760 markings/sec, 125 secs
lola: 504865 markings, 3523024 edges, 3627 markings/sec, 130 secs
lola: 521667 markings, 3659167 edges, 3360 markings/sec, 135 secs
lola: 539016 markings, 3795642 edges, 3470 markings/sec, 140 secs
lola: 557580 markings, 3928208 edges, 3713 markings/sec, 145 secs
lola: 576067 markings, 4064594 edges, 3697 markings/sec, 150 secs
lola: 594306 markings, 4202566 edges, 3648 markings/sec, 155 secs
lola: 611124 markings, 4341716 edges, 3364 markings/sec, 160 secs
lola: 627900 markings, 4483943 edges, 3355 markings/sec, 165 secs
lola: 644805 markings, 4627210 edges, 3381 markings/sec, 170 secs
lola: 663289 markings, 4758070 edges, 3697 markings/sec, 175 secs
lola: 679386 markings, 4888390 edges, 3219 markings/sec, 180 secs
lola: 696632 markings, 5028036 edges, 3449 markings/sec, 185 secs
lola: 714224 markings, 5167260 edges, 3518 markings/sec, 190 secs
lola: 730317 markings, 5310649 edges, 3219 markings/sec, 195 secs
lola: 746130 markings, 5454987 edges, 3163 markings/sec, 200 secs
lola: 764160 markings, 5597764 edges, 3606 markings/sec, 205 secs
lola: 781228 markings, 5742239 edges, 3414 markings/sec, 210 secs
lola: 798761 markings, 5888334 edges, 3507 markings/sec, 215 secs
lola: 815269 markings, 6035202 edges, 3302 markings/sec, 220 secs
lola: 831355 markings, 6184488 edges, 3217 markings/sec, 225 secs
lola: 847342 markings, 6334399 edges, 3197 markings/sec, 230 secs
lola: 864106 markings, 6483744 edges, 3353 markings/sec, 235 secs
lola: 884796 markings, 6615134 edges, 4138 markings/sec, 240 secs
lola: 903899 markings, 6752258 edges, 3821 markings/sec, 245 secs
lola: 923596 markings, 6888695 edges, 3939 markings/sec, 250 secs
lola: 941965 markings, 7028264 edges, 3674 markings/sec, 255 secs
lola: 959547 markings, 7170810 edges, 3516 markings/sec, 260 secs
lola: 979245 markings, 7311810 edges, 3940 markings/sec, 265 secs
lola: 998213 markings, 7454437 edges, 3794 markings/sec, 270 secs
lola: 1017880 markings, 7599286 edges, 3933 markings/sec, 275 secs
lola: 1036526 markings, 7743833 edges, 3729 markings/sec, 280 secs
lola: 1053363 markings, 7892551 edges, 3367 markings/sec, 285 secs
lola: 1071494 markings, 8042538 edges, 3626 markings/sec, 290 secs
lola: 1090165 markings, 8183507 edges, 3734 markings/sec, 295 secs
lola: 1108213 markings, 8324700 edges, 3610 markings/sec, 300 secs
lola: 1125822 markings, 8467215 edges, 3522 markings/sec, 305 secs
lola: 1143773 markings, 8609075 edges, 3590 markings/sec, 310 secs
lola: 1160245 markings, 8754702 edges, 3294 markings/sec, 315 secs
lola: 1176450 markings, 8901500 edges, 3241 markings/sec, 320 secs
lola: 1194673 markings, 9047397 edges, 3645 markings/sec, 325 secs
lola: 1212120 markings, 9194762 edges, 3489 markings/sec, 330 secs
lola: 1229921 markings, 9344019 edges, 3560 markings/sec, 335 secs
lola: 1246876 markings, 9493643 edges, 3391 markings/sec, 340 secs
lola: 1263194 markings, 9645616 edges, 3264 markings/sec, 345 secs
lola: 1279501 markings, 9798792 edges, 3261 markings/sec, 350 secs
lola: 1296568 markings, 9949448 edges, 3413 markings/sec, 355 secs
lola: 1315298 markings, 10087457 edges, 3746 markings/sec, 360 secs
lola: 1332881 markings, 10229785 edges, 3517 markings/sec, 365 secs
lola: 1350944 markings, 10372040 edges, 3613 markings/sec, 370 secs
lola: 1367926 markings, 10513838 edges, 3396 markings/sec, 375 secs
lola: 1383688 markings, 10657040 edges, 3152 markings/sec, 380 secs
lola: 1399621 markings, 10801202 edges, 3187 markings/sec, 385 secs
lola: 1417407 markings, 10941836 edges, 3557 markings/sec, 390 secs
lola: 1434086 markings, 11087337 edges, 3336 markings/sec, 395 secs
lola: 1451614 markings, 11232988 edges, 3506 markings/sec, 400 secs
lola: 1468137 markings, 11378311 edges, 3305 markings/sec, 405 secs
lola: 1483343 markings, 11527164 edges, 3041 markings/sec, 410 secs
lola: 1499527 markings, 11677216 edges, 3237 markings/sec, 415 secs
lola: 1516009 markings, 11821654 edges, 3296 markings/sec, 420 secs
lola: 1532566 markings, 11961906 edges, 3311 markings/sec, 425 secs
lola: 1548421 markings, 12104877 edges, 3171 markings/sec, 430 secs
lola: 1564643 markings, 12248232 edges, 3244 markings/sec, 435 secs
lola: 1580226 markings, 12391943 edges, 3117 markings/sec, 440 secs
lola: 1594591 markings, 12539602 edges, 2873 markings/sec, 445 secs
lola: 1609029 markings, 12686208 edges, 2888 markings/sec, 450 secs
lola: 1625522 markings, 12832386 edges, 3299 markings/sec, 455 secs
lola: 1641206 markings, 12980011 edges, 3137 markings/sec, 460 secs
lola: 1656510 markings, 13123746 edges, 3061 markings/sec, 465 secs
lola: 1672460 markings, 13277271 edges, 3190 markings/sec, 470 secs
lola: 1687505 markings, 13431464 edges, 3009 markings/sec, 475 secs
lola: 1702147 markings, 13588316 edges, 2928 markings/sec, 480 secs
lola: 1717531 markings, 13745333 edges, 3077 markings/sec, 485 secs
lola: 1747240 markings, 13891197 edges, 5942 markings/sec, 490 secs
lola: 1777956 markings, 14032942 edges, 6143 markings/sec, 495 secs
lola: 1803251 markings, 14170163 edges, 5059 markings/sec, 500 secs
lola: 1827438 markings, 14315541 edges, 4837 markings/sec, 505 secs
lola: 1858360 markings, 14460533 edges, 6184 markings/sec, 510 secs
lola: 1889503 markings, 14603373 edges, 6229 markings/sec, 515 secs
lola: 1915204 markings, 14738651 edges, 5140 markings/sec, 520 secs
lola: 1939295 markings, 14883402 edges, 4818 markings/sec, 525 secs
lola: 1969105 markings, 15029457 edges, 5962 markings/sec, 530 secs
lola: 2000476 markings, 15173086 edges, 6274 markings/sec, 535 secs
lola: 2027220 markings, 15306734 edges, 5349 markings/sec, 540 secs
lola: 2051203 markings, 15450868 edges, 4797 markings/sec, 545 secs
lola: 2079166 markings, 15594850 edges, 5593 markings/sec, 550 secs
lola: 2109522 markings, 15729362 edges, 6071 markings/sec, 555 secs
lola: 2136997 markings, 15864126 edges, 5495 markings/sec, 560 secs
lola: 2161226 markings, 16006420 edges, 4846 markings/sec, 565 secs
lola: 2186764 markings, 16155675 edges, 5108 markings/sec, 570 secs
lola: 2220344 markings, 16295923 edges, 6716 markings/sec, 575 secs
lola: 2254312 markings, 16434295 edges, 6794 markings/sec, 580 secs
lola: 2285076 markings, 16578877 edges, 6153 markings/sec, 585 secs
lola: 2319274 markings, 16717136 edges, 6840 markings/sec, 590 secs
lola: 2349816 markings, 16861731 edges, 6108 markings/sec, 595 secs
lola: 2384122 markings, 16999830 edges, 6861 markings/sec, 600 secs
lola: 2414488 markings, 17144784 edges, 6073 markings/sec, 605 secs
lola: 2441094 markings, 17277137 edges, 5321 markings/sec, 610 secs
lola: 2464821 markings, 17417769 edges, 4745 markings/sec, 615 secs
lola: 2490959 markings, 17563926 edges, 5228 markings/sec, 620 secs
lola: 2523530 markings, 17701718 edges, 6514 markings/sec, 625 secs
lola: 2550886 markings, 17835036 edges, 5471 markings/sec, 630 secs
lola: 2574937 markings, 17973701 edges, 4810 markings/sec, 635 secs
lola: 2596767 markings, 18121302 edges, 4366 markings/sec, 640 secs
lola: 2631702 markings, 18258897 edges, 6987 markings/sec, 645 secs
lola: 2664765 markings, 18395214 edges, 6613 markings/sec, 650 secs
lola: 2695992 markings, 18535229 edges, 6245 markings/sec, 655 secs
lola: 2728619 markings, 18672461 edges, 6525 markings/sec, 660 secs
lola: 2759348 markings, 18812874 edges, 6146 markings/sec, 665 secs
lola: 2792088 markings, 18949912 edges, 6548 markings/sec, 670 secs
lola: 2822870 markings, 19090583 edges, 6156 markings/sec, 675 secs
lola: 2850658 markings, 19225678 edges, 5558 markings/sec, 680 secs
lola: 2875028 markings, 19363671 edges, 4874 markings/sec, 685 secs
lola: 2897163 markings, 19510219 edges, 4427 markings/sec, 690 secs
lola: 2931442 markings, 19649065 edges, 6856 markings/sec, 695 secs
lola: 2960497 markings, 19784196 edges, 5811 markings/sec, 700 secs
lola: 2984623 markings, 19921239 edges, 4825 markings/sec, 705 secs
lola: 3007775 markings, 20065981 edges, 4630 markings/sec, 710 secs
lola: 3040598 markings, 20205923 edges, 6565 markings/sec, 715 secs
lola: 3072367 markings, 20344972 edges, 6354 markings/sec, 720 secs
lola: 3103864 markings, 20484336 edges, 6299 markings/sec, 725 secs
lola: 3136052 markings, 20622294 edges, 6438 markings/sec, 730 secs
lola: 3167651 markings, 20761881 edges, 6320 markings/sec, 735 secs
lola: 3199735 markings, 20899806 edges, 6417 markings/sec, 740 secs
lola: 3231105 markings, 21039060 edges, 6274 markings/sec, 745 secs
lola: 3258990 markings, 21174624 edges, 5577 markings/sec, 750 secs
lola: 3283097 markings, 21300586 edges, 4821 markings/sec, 755 secs
lola: 3305429 markings, 21431601 edges, 4466 markings/sec, 760 secs
lola: 3327317 markings, 21565966 edges, 4378 markings/sec, 765 secs
lola: 3348411 markings, 21701829 edges, 4219 markings/sec, 770 secs
lola: 3368345 markings, 21839152 edges, 3987 markings/sec, 775 secs
lola: 3388504 markings, 21980279 edges, 4032 markings/sec, 780 secs
lola: 3410457 markings, 22118300 edges, 4391 markings/sec, 785 secs
lola: 3431113 markings, 22259369 edges, 4131 markings/sec, 790 secs
lola: 3450997 markings, 22405117 edges, 3977 markings/sec, 795 secs
lola: 3471084 markings, 22547878 edges, 4017 markings/sec, 800 secs
lola: 3489784 markings, 22694311 edges, 3740 markings/sec, 805 secs
lola: 3507741 markings, 22845008 edges, 3591 markings/sec, 810 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown unknown 1
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown unknown 1
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown unknown 1
lola: memory consumption: 207584 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 23256 KB
lola: time consumption: 3570 seconds
BK_STOP 1527881633755
--------------------
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-07b"
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-07b.tgz
mv ASLink-PT-07b 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-07b, 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-152749145300119"
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 '
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 ;