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.1M
-rw-r--r-- 1 mcc users 4.2K May 29 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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.4K May 28 09:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K May 28 07:39 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:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 27 05:09 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.4K May 26 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 920K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-10a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145400164
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527932777423

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-10a 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-10a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-10a @ 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: 5378/65536 symbol table entries, 460 collisions
lola: preprocessing...
lola: Size of bit vector: 2186
lola: finding significant places
lola: 2186 places, 3192 transitions, 1764 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3596 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-10a-UpperBounds.task
lola: MAX(p1224) : MAX(p1024) : MAX(p836) : MAX(p1493) : MAX(p517) : MAX(p1655) : MAX(p2002) : MAX(p1250) : MAX(p992) : MAX(p592) : MAX(p162) : MAX(p50) : MAX(p359) : MAX(p1402) : MAX(p316) : MAX(p743)
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(p1224)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1224)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 97301 markings, 134755 edges, 19460 markings/sec, 0 secs
lola: 204246 markings, 284722 edges, 21389 markings/sec, 5 secs
lola: 305908 markings, 439905 edges, 20332 markings/sec, 10 secs
lola: 411471 markings, 600934 edges, 21113 markings/sec, 15 secs
lola: 513886 markings, 761725 edges, 20483 markings/sec, 20 secs
lola: 621801 markings, 930489 edges, 21583 markings/sec, 25 secs
lola: 729632 markings, 1098785 edges, 21566 markings/sec, 30 secs
lola: 834927 markings, 1269815 edges, 21059 markings/sec, 35 secs
lola: 949586 markings, 1443903 edges, 22932 markings/sec, 40 secs
lola: 1053942 markings, 1612392 edges, 20871 markings/sec, 45 secs
lola: 1165114 markings, 1784050 edges, 22234 markings/sec, 50 secs
lola: 1272772 markings, 1950624 edges, 21532 markings/sec, 55 secs
lola: 1377737 markings, 2120319 edges, 20993 markings/sec, 60 secs
lola: 1487693 markings, 2289216 edges, 21991 markings/sec, 65 secs
lola: 1595986 markings, 2462191 edges, 21659 markings/sec, 70 secs
lola: 1707759 markings, 2635221 edges, 22355 markings/sec, 75 secs
lola: 1822590 markings, 2813154 edges, 22966 markings/sec, 80 secs
lola: 1933044 markings, 2986429 edges, 22091 markings/sec, 85 secs
lola: 2043093 markings, 3158235 edges, 22010 markings/sec, 90 secs
lola: 2148626 markings, 3329528 edges, 21107 markings/sec, 95 secs
lola: 2264924 markings, 3507255 edges, 23260 markings/sec, 100 secs
lola: 2372708 markings, 3680797 edges, 21557 markings/sec, 105 secs
lola: 2486450 markings, 3855580 edges, 22748 markings/sec, 110 secs
lola: 2599610 markings, 4031223 edges, 22632 markings/sec, 115 secs
lola: 2713486 markings, 4211084 edges, 22775 markings/sec, 120 secs
lola: 2829132 markings, 4390723 edges, 23129 markings/sec, 125 secs
lola: 2938672 markings, 4567443 edges, 21908 markings/sec, 130 secs
lola: 3055696 markings, 4747381 edges, 23405 markings/sec, 135 secs
lola: 3167233 markings, 4925914 edges, 22307 markings/sec, 140 secs
lola: 3280687 markings, 5101230 edges, 22691 markings/sec, 145 secs
lola: 3395455 markings, 5280650 edges, 22954 markings/sec, 150 secs
lola: 3507967 markings, 5456125 edges, 22502 markings/sec, 155 secs
lola: 3621141 markings, 5631605 edges, 22635 markings/sec, 160 secs
lola: 3732915 markings, 5812895 edges, 22355 markings/sec, 165 secs
lola: 3852568 markings, 5996757 edges, 23931 markings/sec, 170 secs
lola: 3969518 markings, 6184430 edges, 23390 markings/sec, 175 secs
lola: 4089751 markings, 6367446 edges, 24047 markings/sec, 180 secs
lola: 4204781 markings, 6553337 edges, 23006 markings/sec, 185 secs
lola: 4325731 markings, 6740631 edges, 24190 markings/sec, 190 secs
lola: 4447730 markings, 6932687 edges, 24400 markings/sec, 195 secs
lola: 4562514 markings, 7110890 edges, 22957 markings/sec, 200 secs
lola: 4677172 markings, 7288750 edges, 22932 markings/sec, 205 secs
lola: 4792527 markings, 7473602 edges, 23071 markings/sec, 210 secs
lola: 4914477 markings, 7661885 edges, 24390 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: 555096 KB
lola: time consumption: 249 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(p1024)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1024)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 82003 markings, 99850 edges, 16401 markings/sec, 30 secs
lola: 161390 markings, 197063 edges, 15877 markings/sec, 35 secs
lola: 241012 markings, 294575 edges, 15924 markings/sec, 40 secs
lola: 320423 markings, 391826 edges, 15882 markings/sec, 45 secs
lola: 399643 markings, 488812 edges, 15844 markings/sec, 50 secs
lola: 478634 markings, 585507 edges, 15798 markings/sec, 55 secs
lola: 557850 markings, 682479 edges, 15843 markings/sec, 60 secs
lola: 636842 markings, 779301 edges, 15798 markings/sec, 65 secs
lola: 714888 markings, 874918 edges, 15609 markings/sec, 70 secs
lola: 792833 markings, 970326 edges, 15589 markings/sec, 75 secs
lola: 870915 markings, 1065938 edges, 15616 markings/sec, 80 secs
lola: 949344 markings, 1162042 edges, 15686 markings/sec, 85 secs
lola: 1027618 markings, 1257881 edges, 15655 markings/sec, 90 secs
lola: 1105796 markings, 1353548 edges, 15636 markings/sec, 95 secs
lola: 1183717 markings, 1449078 edges, 15584 markings/sec, 100 secs
lola: 1262103 markings, 1545059 edges, 15677 markings/sec, 105 secs
lola: 1340316 markings, 1640798 edges, 15643 markings/sec, 110 secs
lola: 1418457 markings, 1736478 edges, 15628 markings/sec, 115 secs
lola: 1496418 markings, 1832006 edges, 15592 markings/sec, 120 secs
lola: 1574693 markings, 1927854 edges, 15655 markings/sec, 125 secs
lola: 1653147 markings, 2023852 edges, 15691 markings/sec, 130 secs
lola: 1731398 markings, 2119775 edges, 15650 markings/sec, 135 secs
lola: 1809518 markings, 2215462 edges, 15624 markings/sec, 140 secs
lola: 1886795 markings, 2309983 edges, 15455 markings/sec, 145 secs
lola: 1965182 markings, 2406080 edges, 15677 markings/sec, 150 secs
lola: 2043485 markings, 2501976 edges, 15661 markings/sec, 155 secs
lola: 2121522 markings, 2597494 edges, 15607 markings/sec, 160 secs
lola: 2200351 markings, 2693970 edges, 15766 markings/sec, 165 secs
lola: 2278411 markings, 2789687 edges, 15612 markings/sec, 170 secs
lola: 2356380 markings, 2885153 edges, 15594 markings/sec, 175 secs
lola: 2434832 markings, 2981176 edges, 15690 markings/sec, 180 secs
lola: 2515046 markings, 3079430 edges, 16043 markings/sec, 185 secs
lola: 2594339 markings, 3176486 edges, 15859 markings/sec, 190 secs
lola: 2675305 markings, 3275691 edges, 16193 markings/sec, 195 secs
lola: 2755032 markings, 3373326 edges, 15945 markings/sec, 200 secs
lola: 2833608 markings, 3469522 edges, 15715 markings/sec, 205 secs
lola: 2911773 markings, 3565335 edges, 15633 markings/sec, 210 secs
lola: 2989783 markings, 3660837 edges, 15602 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: 413504 KB
lola: time consumption: 470 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(p836)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p836)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 280 markings, 279 edges
lola: ========================================

FORMULA ASLink-PT-10a-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1493)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1493)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 88806 markings, 108929 edges, 17761 markings/sec, 0 secs
lola: 189822 markings, 233689 edges, 20203 markings/sec, 5 secs
lola: 290010 markings, 358199 edges, 20038 markings/sec, 10 secs
lola: 395635 markings, 490755 edges, 21125 markings/sec, 15 secs
lola: 491940 markings, 619711 edges, 19261 markings/sec, 20 secs
lola: 572089 markings, 740150 edges, 16030 markings/sec, 25 secs
lola: 672037 markings, 873973 edges, 19990 markings/sec, 30 secs
lola: 768477 markings, 1002337 edges, 19288 markings/sec, 35 secs
lola: 864738 markings, 1132712 edges, 19252 markings/sec, 40 secs
lola: 966068 markings, 1265136 edges, 20266 markings/sec, 45 secs
lola: 1055778 markings, 1390251 edges, 17942 markings/sec, 50 secs
lola: 1155090 markings, 1523270 edges, 19862 markings/sec, 55 secs
lola: 1232194 markings, 1642183 edges, 15421 markings/sec, 60 secs
lola: 1309942 markings, 1761557 edges, 15550 markings/sec, 65 secs
lola: 1392522 markings, 1889557 edges, 16516 markings/sec, 70 secs
lola: 1453485 markings, 1985789 edges, 12193 markings/sec, 75 secs
lola: 1552605 markings, 2119254 edges, 19824 markings/sec, 80 secs
lola: 1650328 markings, 2253693 edges, 19545 markings/sec, 85 secs
lola: 1753364 markings, 2387884 edges, 20607 markings/sec, 90 secs
lola: 1842048 markings, 2518067 edges, 17737 markings/sec, 95 secs
lola: 1936955 markings, 2651096 edges, 18981 markings/sec, 100 secs
lola: 2031877 markings, 2779580 edges, 18984 markings/sec, 105 secs
lola: 2132821 markings, 2914078 edges, 20189 markings/sec, 110 secs
lola: 2235793 markings, 3049691 edges, 20594 markings/sec, 115 secs
lola: 2343466 markings, 3188527 edges, 21535 markings/sec, 120 secs
lola: 2442134 markings, 3323252 edges, 19734 markings/sec, 125 secs
lola: 2535811 markings, 3456332 edges, 18735 markings/sec, 130 secs
lola: 2636944 markings, 3591183 edges, 20227 markings/sec, 135 secs
lola: 2739549 markings, 3728533 edges, 20521 markings/sec, 140 secs
lola: 2841001 markings, 3863147 edges, 20290 markings/sec, 145 secs
lola: 2943067 markings, 3998597 edges, 20413 markings/sec, 150 secs
lola: 3044615 markings, 4134437 edges, 20310 markings/sec, 155 secs
lola: 3144984 markings, 4269393 edges, 20074 markings/sec, 160 secs
lola: 3247068 markings, 4406848 edges, 20417 markings/sec, 165 secs
lola: 3349942 markings, 4542482 edges, 20575 markings/sec, 170 secs
lola: 3453261 markings, 4679763 edges, 20664 markings/sec, 175 secs
lola: 3556792 markings, 4816894 edges, 20706 markings/sec, 180 secs
lola: 3664078 markings, 4956310 edges, 21457 markings/sec, 185 secs
lola: 3776248 markings, 5096860 edges, 22434 markings/sec, 190 secs
lola: 3887668 markings, 5236539 edges, 22284 markings/sec, 195 secs
lola: 3997623 markings, 5375318 edges, 21991 markings/sec, 200 secs
lola: 4079717 markings, 5501233 edges, 16419 markings/sec, 205 secs
lola: 4161943 markings, 5627351 edges, 16445 markings/sec, 210 secs
lola: 4244262 markings, 5753611 edges, 16464 markings/sec, 215 secs
lola: 4326728 markings, 5880084 edges, 16493 markings/sec, 220 secs
lola: 4408987 markings, 6006223 edges, 16452 markings/sec, 225 secs
lola: 4505928 markings, 6139286 edges, 19388 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: 992036 KB
lola: time consumption: 708 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p517)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p517)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 43736 markings, 53826 edges, 8747 markings/sec, 30 secs
lola: 87018 markings, 107162 edges, 8656 markings/sec, 35 secs
lola: 130016 markings, 160152 edges, 8600 markings/sec, 40 secs
lola: 171351 markings, 211100 edges, 8267 markings/sec, 45 secs
lola: 212446 markings, 261729 edges, 8219 markings/sec, 50 secs
lola: 253504 markings, 312308 edges, 8212 markings/sec, 55 secs
lola: 294894 markings, 363320 edges, 8278 markings/sec, 60 secs
lola: 337614 markings, 416023 edges, 8544 markings/sec, 65 secs
lola: 379445 markings, 467579 edges, 8366 markings/sec, 70 secs
lola: 421026 markings, 518831 edges, 8316 markings/sec, 75 secs
lola: 462749 markings, 570251 edges, 8345 markings/sec, 80 secs
lola: 504426 markings, 621582 edges, 8335 markings/sec, 85 secs
lola: 546021 markings, 672822 edges, 8319 markings/sec, 90 secs
lola: 587664 markings, 724119 edges, 8329 markings/sec, 95 secs
lola: 628519 markings, 774516 edges, 8171 markings/sec, 100 secs
lola: 668539 markings, 823855 edges, 8004 markings/sec, 105 secs
lola: 708517 markings, 873060 edges, 7996 markings/sec, 110 secs
lola: 748771 markings, 922724 edges, 8051 markings/sec, 115 secs
lola: 789139 markings, 972484 edges, 8074 markings/sec, 120 secs
lola: 829528 markings, 1022231 edges, 8078 markings/sec, 125 secs
lola: 869943 markings, 1071992 edges, 8083 markings/sec, 130 secs
lola: 910296 markings, 1121803 edges, 8071 markings/sec, 135 secs
lola: 950607 markings, 1171476 edges, 8062 markings/sec, 140 secs
lola: 990894 markings, 1221090 edges, 8057 markings/sec, 145 secs
lola: 1031319 markings, 1270890 edges, 8085 markings/sec, 150 secs
lola: 1072410 markings, 1321558 edges, 8218 markings/sec, 155 secs
lola: 1114397 markings, 1373260 edges, 8397 markings/sec, 160 secs
lola: 1155100 markings, 1423467 edges, 8141 markings/sec, 165 secs
lola: 1196524 markings, 1474517 edges, 8285 markings/sec, 170 secs
lola: 1238575 markings, 1526296 edges, 8410 markings/sec, 175 secs
lola: 1280610 markings, 1578137 edges, 8407 markings/sec, 180 secs
lola: 1322575 markings, 1629877 edges, 8393 markings/sec, 185 secs
lola: 1364438 markings, 1681471 edges, 8373 markings/sec, 190 secs
lola: 1405923 markings, 1732608 edges, 8297 markings/sec, 195 secs
lola: 1447341 markings, 1783666 edges, 8284 markings/sec, 200 secs
lola: 1488729 markings, 1834673 edges, 8278 markings/sec, 205 secs
lola: 1528713 markings, 1883896 edges, 7997 markings/sec, 210 secs
lola: 1568542 markings, 1933013 edges, 7966 markings/sec, 215 secs
lola: 1608451 markings, 1982205 edges, 7982 markings/sec, 220 secs
lola: 1648338 markings, 2031277 edges, 7977 markings/sec, 225 secs
lola: 1688161 markings, 2080443 edges, 7965 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: 227140 KB
lola: time consumption: 946 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1655)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1655)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges

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

FORMULA ASLink-PT-10a-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 291 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1250)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 85081 markings, 103561 edges, 17016 markings/sec, 30 secs
lola: 169860 markings, 207366 edges, 16956 markings/sec, 35 secs
lola: 251427 markings, 307289 edges, 16313 markings/sec, 40 secs
lola: 332827 markings, 407003 edges, 16280 markings/sec, 45 secs
lola: 414010 markings, 506448 edges, 16237 markings/sec, 50 secs
lola: 498024 markings, 609292 edges, 16803 markings/sec, 55 secs
lola: 582853 markings, 713124 edges, 16966 markings/sec, 60 secs
lola: 667435 markings, 816769 edges, 16916 markings/sec, 65 secs
lola: 751926 markings, 920265 edges, 16898 markings/sec, 70 secs
lola: 836202 markings, 1023457 edges, 16855 markings/sec, 75 secs
lola: 920959 markings, 1127173 edges, 16951 markings/sec, 80 secs
lola: 1005304 markings, 1230584 edges, 16869 markings/sec, 85 secs
lola: 1089446 markings, 1333599 edges, 16828 markings/sec, 90 secs
lola: 1173400 markings, 1436325 edges, 16791 markings/sec, 95 secs
lola: 1257820 markings, 1539806 edges, 16884 markings/sec, 100 secs
lola: 1342271 markings, 1643232 edges, 16890 markings/sec, 105 secs
lola: 1425799 markings, 1745451 edges, 16706 markings/sec, 110 secs
lola: 1509252 markings, 1847736 edges, 16691 markings/sec, 115 secs
lola: 1591330 markings, 1948131 edges, 16416 markings/sec, 120 secs
lola: 1673355 markings, 2048680 edges, 16405 markings/sec, 125 secs
lola: 1755192 markings, 2148926 edges, 16367 markings/sec, 130 secs
lola: 1836815 markings, 2248814 edges, 16325 markings/sec, 135 secs
lola: 1917734 markings, 2347877 edges, 16184 markings/sec, 140 secs
lola: 1998816 markings, 2447245 edges, 16216 markings/sec, 145 secs
lola: 2079730 markings, 2546353 edges, 16183 markings/sec, 150 secs
lola: 2160926 markings, 2645812 edges, 16239 markings/sec, 155 secs
lola: 2242621 markings, 2745804 edges, 16339 markings/sec, 160 secs
lola: 2324103 markings, 2845572 edges, 16296 markings/sec, 165 secs
lola: 2405407 markings, 2945188 edges, 16261 markings/sec, 170 secs
lola: 2486595 markings, 3044645 edges, 16238 markings/sec, 175 secs
lola: 2568118 markings, 3144464 edges, 16305 markings/sec, 180 secs
lola: 2649426 markings, 3243930 edges, 16262 markings/sec, 185 secs
lola: 2730491 markings, 3343267 edges, 16213 markings/sec, 190 secs
lola: 2812179 markings, 3443357 edges, 16338 markings/sec, 195 secs
lola: 2893565 markings, 3543037 edges, 16277 markings/sec, 200 secs
lola: 2974694 markings, 3642338 edges, 16226 markings/sec, 205 secs
lola: 3055625 markings, 3741393 edges, 16186 markings/sec, 210 secs
lola: 3136883 markings, 3840978 edges, 16252 markings/sec, 215 secs
lola: 3218033 markings, 3940375 edges, 16230 markings/sec, 220 secs
lola: 3298919 markings, 4039445 edges, 16177 markings/sec, 225 secs
lola: 3380225 markings, 4139015 edges, 16261 markings/sec, 230 secs
lola: 3464536 markings, 4242270 edges, 16862 markings/sec, 235 secs
lola: 3548667 markings, 4345248 edges, 16826 markings/sec, 240 secs
lola: 3632523 markings, 4447975 edges, 16771 markings/sec, 245 secs
lola: 3716466 markings, 4550795 edges, 16789 markings/sec, 250 secs
lola: 3800715 markings, 4653916 edges, 16850 markings/sec, 255 secs
lola: 3882004 markings, 4753514 edges, 16258 markings/sec, 260 secs
lola: 3965758 markings, 4855999 edges, 16751 markings/sec, 265 secs
lola: 4049371 markings, 4958487 edges, 16723 markings/sec, 270 secs
lola: 4133045 markings, 5060912 edges, 16735 markings/sec, 275 secs
lola: 4216452 markings, 5163116 edges, 16681 markings/sec, 280 secs
lola: 4299762 markings, 5265102 edges, 16662 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 607236 KB
lola: time consumption: 1239 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 291 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p992)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p992)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 8 markings, 7 edges

FORMULA ASLink-PT-10a-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p592)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p592)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 62345 markings, 75632 edges, 12469 markings/sec, 30 secs
lola: 122530 markings, 149286 edges, 12037 markings/sec, 35 secs
lola: 182065 markings, 222229 edges, 11907 markings/sec, 40 secs
lola: 240854 markings, 294237 edges, 11758 markings/sec, 45 secs
lola: 299651 markings, 366179 edges, 11759 markings/sec, 50 secs
lola: 358291 markings, 438083 edges, 11728 markings/sec, 55 secs
lola: 416894 markings, 509728 edges, 11721 markings/sec, 60 secs
lola: 475405 markings, 581493 edges, 11702 markings/sec, 65 secs
lola: 533838 markings, 652938 edges, 11687 markings/sec, 70 secs
lola: 592165 markings, 724487 edges, 11665 markings/sec, 75 secs
lola: 648565 markings, 793562 edges, 11280 markings/sec, 80 secs
lola: 704785 markings, 862402 edges, 11244 markings/sec, 85 secs
lola: 760986 markings, 931164 edges, 11240 markings/sec, 90 secs
lola: 817159 markings, 999928 edges, 11235 markings/sec, 95 secs
lola: 873260 markings, 1068676 edges, 11220 markings/sec, 100 secs
lola: 929297 markings, 1137336 edges, 11207 markings/sec, 105 secs
lola: 985535 markings, 1206212 edges, 11248 markings/sec, 110 secs
lola: 1041695 markings, 1275001 edges, 11232 markings/sec, 115 secs
lola: 1097822 markings, 1343746 edges, 11225 markings/sec, 120 secs
lola: 1153873 markings, 1412379 edges, 11210 markings/sec, 125 secs
lola: 1209886 markings, 1480918 edges, 11203 markings/sec, 130 secs
lola: 1265821 markings, 1549371 edges, 11187 markings/sec, 135 secs
lola: 1321909 markings, 1618101 edges, 11218 markings/sec, 140 secs
lola: 1378013 markings, 1686839 edges, 11221 markings/sec, 145 secs
lola: 1434113 markings, 1755576 edges, 11220 markings/sec, 150 secs
lola: 1490351 markings, 1824451 edges, 11248 markings/sec, 155 secs
lola: 1546966 markings, 1893790 edges, 11323 markings/sec, 160 secs
lola: 1603406 markings, 1962858 edges, 11288 markings/sec, 165 secs
lola: 1660046 markings, 2032191 edges, 11328 markings/sec, 170 secs
lola: 1716692 markings, 2101613 edges, 11329 markings/sec, 175 secs
lola: 1773393 markings, 2171078 edges, 11340 markings/sec, 180 secs
lola: 1829980 markings, 2240383 edges, 11317 markings/sec, 185 secs
lola: 1886508 markings, 2309560 edges, 11306 markings/sec, 190 secs
lola: 1942969 markings, 2378662 edges, 11292 markings/sec, 195 secs
lola: 1999574 markings, 2448040 edges, 11321 markings/sec, 200 secs
lola: 2056250 markings, 2517483 edges, 11335 markings/sec, 205 secs
lola: 2112941 markings, 2586912 edges, 11338 markings/sec, 210 secs
lola: 2169527 markings, 2656151 edges, 11317 markings/sec, 215 secs
lola: 2226045 markings, 2725347 edges, 11304 markings/sec, 220 secs
lola: 2281796 markings, 2793635 edges, 11150 markings/sec, 225 secs
lola: 2337460 markings, 2861823 edges, 11133 markings/sec, 230 secs
lola: 2392968 markings, 2929793 edges, 11102 markings/sec, 235 secs
lola: 2448455 markings, 2997760 edges, 11097 markings/sec, 240 secs
lola: 2503882 markings, 3065651 edges, 11085 markings/sec, 245 secs
lola: 2559274 markings, 3133490 edges, 11078 markings/sec, 250 secs
lola: 2614793 markings, 3201470 edges, 11104 markings/sec, 255 secs
lola: 2670225 markings, 3269367 edges, 11086 markings/sec, 260 secs
lola: 2725654 markings, 3337250 edges, 11086 markings/sec, 265 secs
lola: 2781047 markings, 3405081 edges, 11079 markings/sec, 270 secs
lola: 2836390 markings, 3472862 edges, 11069 markings/sec, 275 secs
lola: 2891669 markings, 3540548 edges, 11056 markings/sec, 280 secs
lola: 2947099 markings, 3608443 edges, 11086 markings/sec, 285 secs
lola: 3002518 markings, 3676303 edges, 11084 markings/sec, 290 secs
lola: 3057948 markings, 3744182 edges, 11086 markings/sec, 295 secs
lola: 3113250 markings, 3811911 edges, 11060 markings/sec, 300 secs
lola: 3168457 markings, 3879514 edges, 11041 markings/sec, 305 secs
lola: 3224886 markings, 3948651 edges, 11286 markings/sec, 310 secs
lola: 3282722 markings, 4019448 edges, 11567 markings/sec, 315 secs
lola: 3340662 markings, 4090406 edges, 11588 markings/sec, 320 secs
lola: 3398638 markings, 4161444 edges, 11595 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 435816 KB
lola: time consumption: 1572 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p162)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 5 markings, 4 edges
lola: ========================================

FORMULA ASLink-PT-10a-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 399 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p50)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 56683 markings, 68924 edges, 11337 markings/sec, 30 secs
lola: 111764 markings, 136365 edges, 11016 markings/sec, 35 secs
lola: 166496 markings, 203380 edges, 10946 markings/sec, 40 secs
lola: 220544 markings, 269546 edges, 10810 markings/sec, 45 secs
lola: 274534 markings, 335584 edges, 10798 markings/sec, 50 secs
lola: 328422 markings, 401693 edges, 10778 markings/sec, 55 secs
lola: 382303 markings, 467691 edges, 10776 markings/sec, 60 secs
lola: 436063 markings, 533488 edges, 10752 markings/sec, 65 secs
lola: 489825 markings, 599244 edges, 10752 markings/sec, 70 secs
lola: 543451 markings, 665033 edges, 10725 markings/sec, 75 secs
lola: 596970 markings, 730561 edges, 10704 markings/sec, 80 secs
lola: 649562 markings, 794886 edges, 10518 markings/sec, 85 secs
lola: 702040 markings, 859247 edges, 10496 markings/sec, 90 secs
lola: 754477 markings, 923360 edges, 10487 markings/sec, 95 secs
lola: 806848 markings, 987608 edges, 10474 markings/sec, 100 secs
lola: 859217 markings, 1051641 edges, 10474 markings/sec, 105 secs
lola: 911507 markings, 1115770 edges, 10458 markings/sec, 110 secs
lola: 963938 markings, 1179894 edges, 10486 markings/sec, 115 secs
lola: 1016344 markings, 1244173 edges, 10481 markings/sec, 120 secs
lola: 1068765 markings, 1308292 edges, 10484 markings/sec, 125 secs
lola: 1121076 markings, 1372432 edges, 10462 markings/sec, 130 secs
lola: 1173406 markings, 1436438 edges, 10466 markings/sec, 135 secs
lola: 1225641 markings, 1500490 edges, 10447 markings/sec, 140 secs
lola: 1277901 markings, 1564411 edges, 10452 markings/sec, 145 secs
lola: 1330364 markings, 1628734 edges, 10493 markings/sec, 150 secs
lola: 1382719 markings, 1692784 edges, 10471 markings/sec, 155 secs
lola: 1435036 markings, 1756919 edges, 10463 markings/sec, 160 secs
lola: 1487295 markings, 1820853 edges, 10452 markings/sec, 165 secs
lola: 1539536 markings, 1884897 edges, 10448 markings/sec, 170 secs
lola: 1591717 markings, 1948726 edges, 10436 markings/sec, 175 secs
lola: 1643959 markings, 2012785 edges, 10448 markings/sec, 180 secs
lola: 1696423 markings, 2076961 edges, 10493 markings/sec, 185 secs
lola: 1748813 markings, 2141188 edges, 10478 markings/sec, 190 secs
lola: 1801137 markings, 2205214 edges, 10465 markings/sec, 195 secs
lola: 1853435 markings, 2269326 edges, 10460 markings/sec, 200 secs
lola: 1905632 markings, 2333177 edges, 10439 markings/sec, 205 secs
lola: 1957802 markings, 2397130 edges, 10434 markings/sec, 210 secs
lola: 2010198 markings, 2461228 edges, 10479 markings/sec, 215 secs
lola: 2062604 markings, 2525484 edges, 10481 markings/sec, 220 secs
lola: 2115021 markings, 2589608 edges, 10483 markings/sec, 225 secs
lola: 2167294 markings, 2653682 edges, 10455 markings/sec, 230 secs
lola: 2219600 markings, 2717681 edges, 10461 markings/sec, 235 secs
lola: 2271117 markings, 2780818 edges, 10303 markings/sec, 240 secs
lola: 2322513 markings, 2843697 edges, 10279 markings/sec, 245 secs
lola: 2373926 markings, 2906694 edges, 10283 markings/sec, 250 secs
lola: 2425244 markings, 2969585 edges, 10264 markings/sec, 255 secs
lola: 2476631 markings, 3032409 edges, 10277 markings/sec, 260 secs
lola: 2527918 markings, 3095285 edges, 10257 markings/sec, 265 secs
lola: 2579204 markings, 3158128 edges, 10257 markings/sec, 270 secs
lola: 2630598 markings, 3220945 edges, 10279 markings/sec, 275 secs
lola: 2681939 markings, 3283932 edges, 10268 markings/sec, 280 secs
lola: 2733248 markings, 3346778 edges, 10262 markings/sec, 285 secs
lola: 2784541 markings, 3409482 edges, 10259 markings/sec, 290 secs
lola: 2835756 markings, 3472305 edges, 10243 markings/sec, 295 secs
lola: 2886834 markings, 3534866 edges, 10216 markings/sec, 300 secs
lola: 2937930 markings, 3597353 edges, 10219 markings/sec, 305 secs
lola: 2988989 markings, 3659938 edges, 10212 markings/sec, 310 secs
lola: 3040003 markings, 3722438 edges, 10203 markings/sec, 315 secs
lola: 3090954 markings, 3784809 edges, 10190 markings/sec, 320 secs
lola: 3141962 markings, 3847234 edges, 10202 markings/sec, 325 secs
lola: 3193342 markings, 3910237 edges, 10276 markings/sec, 330 secs
lola: 3245252 markings, 3973732 edges, 10382 markings/sec, 335 secs
lola: 3297237 markings, 4037449 edges, 10397 markings/sec, 340 secs
lola: 3349210 markings, 4101086 edges, 10395 markings/sec, 345 secs
lola: 3401231 markings, 4164786 edges, 10404 markings/sec, 350 secs
lola: 3453121 markings, 4228369 edges, 10378 markings/sec, 355 secs
lola: 3505030 markings, 4291875 edges, 10382 markings/sec, 360 secs
lola: 3557063 markings, 4355681 edges, 10407 markings/sec, 365 secs
lola: 3609070 markings, 4419253 edges, 10401 markings/sec, 370 secs
lola: 3661059 markings, 4483015 edges, 10398 markings/sec, 375 secs
lola: 3712492 markings, 4545958 edges, 10287 markings/sec, 380 secs
lola: 3763753 markings, 4608744 edges, 10252 markings/sec, 385 secs
lola: 3815667 markings, 4672366 edges, 10383 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 492288 KB
lola: time consumption: 1972 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 399 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p359)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p359)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 5 markings, 4 edges
lola: ========================================

FORMULA ASLink-PT-10a-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 532 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1402)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1402)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 111295 markings, 135866 edges, 22259 markings/sec, 30 secs
lola: 222671 markings, 272277 edges, 22275 markings/sec, 35 secs
lola: 333790 markings, 408356 edges, 22224 markings/sec, 40 secs
lola: 444488 markings, 543930 edges, 22140 markings/sec, 45 secs
lola: 554560 markings, 678710 edges, 22014 markings/sec, 50 secs
lola: 664887 markings, 813826 edges, 22065 markings/sec, 55 secs
lola: 775209 markings, 948918 edges, 22064 markings/sec, 60 secs
lola: 885151 markings, 1083545 edges, 21988 markings/sec, 65 secs
lola: 995329 markings, 1218454 edges, 22036 markings/sec, 70 secs
lola: 1105332 markings, 1353139 edges, 22001 markings/sec, 75 secs
lola: 1214721 markings, 1487134 edges, 21878 markings/sec, 80 secs
lola: 1324445 markings, 1621557 edges, 21945 markings/sec, 85 secs
lola: 1434246 markings, 1756019 edges, 21960 markings/sec, 90 secs
lola: 1543683 markings, 1890043 edges, 21887 markings/sec, 95 secs
lola: 1653206 markings, 2024132 edges, 21905 markings/sec, 100 secs
lola: 1763353 markings, 2158975 edges, 22029 markings/sec, 105 secs
lola: 1872912 markings, 2293189 edges, 21912 markings/sec, 110 secs
lola: 1982253 markings, 2427147 edges, 21868 markings/sec, 115 secs
lola: 2092514 markings, 2562168 edges, 22052 markings/sec, 120 secs
lola: 2201129 markings, 2695150 edges, 21723 markings/sec, 125 secs
lola: 2310241 markings, 2828718 edges, 21822 markings/sec, 130 secs
lola: 2419586 markings, 2962739 edges, 21869 markings/sec, 135 secs
lola: 2528683 markings, 3096340 edges, 21819 markings/sec, 140 secs
lola: 2638122 markings, 3230323 edges, 21888 markings/sec, 145 secs
lola: 2747282 markings, 3363922 edges, 21832 markings/sec, 150 secs
lola: 2856081 markings, 3497283 edges, 21760 markings/sec, 155 secs
lola: 2965134 markings, 3630815 edges, 21811 markings/sec, 160 secs
lola: 3074073 markings, 3764169 edges, 21788 markings/sec, 165 secs
lola: 3182767 markings, 3897345 edges, 21739 markings/sec, 170 secs
lola: 3291580 markings, 4030612 edges, 21763 markings/sec, 175 secs
lola: 3400723 markings, 4164238 edges, 21829 markings/sec, 180 secs
lola: 3509731 markings, 4297688 edges, 21802 markings/sec, 185 secs
lola: 3619196 markings, 4431839 edges, 21893 markings/sec, 190 secs
lola: 3728161 markings, 4565267 edges, 21793 markings/sec, 195 secs
lola: 3836829 markings, 4698285 edges, 21734 markings/sec, 200 secs
lola: 3946001 markings, 4832004 edges, 21834 markings/sec, 205 secs
lola: 4054717 markings, 4965191 edges, 21743 markings/sec, 210 secs
lola: 4163200 markings, 5097991 edges, 21697 markings/sec, 215 secs
lola: 4272010 markings, 5231251 edges, 21762 markings/sec, 220 secs
lola: 4380545 markings, 5364214 edges, 21707 markings/sec, 225 secs
lola: 4488962 markings, 5496915 edges, 21683 markings/sec, 230 secs
lola: 4597504 markings, 5629909 edges, 21708 markings/sec, 235 secs
lola: 4706313 markings, 5763174 edges, 21762 markings/sec, 240 secs
lola: 4815090 markings, 5896320 edges, 21755 markings/sec, 245 secs
lola: 4923982 markings, 6029710 edges, 21778 markings/sec, 250 secs
lola: 5032581 markings, 6162731 edges, 21720 markings/sec, 255 secs
lola: 5141038 markings, 6295481 edges, 21691 markings/sec, 260 secs
lola: 5249844 markings, 6428778 edges, 21761 markings/sec, 265 secs
lola: 5358235 markings, 6561530 edges, 21678 markings/sec, 270 secs
lola: 5466369 markings, 6693852 edges, 21627 markings/sec, 275 secs
lola: 5574812 markings, 6826784 edges, 21689 markings/sec, 280 secs
lola: 5682957 markings, 6959166 edges, 21629 markings/sec, 285 secs
lola: 5790961 markings, 7091479 edges, 21601 markings/sec, 290 secs
lola: 5899331 markings, 7224187 edges, 21674 markings/sec, 295 secs
lola: 6007797 markings, 7356927 edges, 21693 markings/sec, 300 secs
lola: 6116290 markings, 7489908 edges, 21699 markings/sec, 305 secs
lola: 6224728 markings, 7622677 edges, 21688 markings/sec, 310 secs
lola: 6332820 markings, 7755030 edges, 21618 markings/sec, 315 secs
lola: 6440931 markings, 7887456 edges, 21622 markings/sec, 320 secs
lola: 6549390 markings, 8020197 edges, 21692 markings/sec, 325 secs
lola: 6657449 markings, 8152640 edges, 21612 markings/sec, 330 secs
lola: 6765292 markings, 8284658 edges, 21569 markings/sec, 335 secs
lola: 6873415 markings, 8417127 edges, 21625 markings/sec, 340 secs
lola: 6981150 markings, 8549032 edges, 21547 markings/sec, 345 secs
lola: 7088688 markings, 8680761 edges, 21508 markings/sec, 350 secs
lola: 7196852 markings, 8813182 edges, 21633 markings/sec, 355 secs
lola: 7305026 markings, 8945631 edges, 21635 markings/sec, 360 secs
lola: 7413326 markings, 9078316 edges, 21660 markings/sec, 365 secs
lola: 7521470 markings, 9210682 edges, 21629 markings/sec, 370 secs
lola: 7629286 markings, 9342815 edges, 21563 markings/sec, 375 secs
lola: 7737132 markings, 9474797 edges, 21569 markings/sec, 380 secs
lola: 7844877 markings, 9606823 edges, 21549 markings/sec, 385 secs
lola: 7952371 markings, 9738386 edges, 21499 markings/sec, 390 secs
lola: 8059732 markings, 9869936 edges, 21472 markings/sec, 395 secs
lola: 8167814 markings, 10002243 edges, 21616 markings/sec, 400 secs
lola: 8275640 markings, 10134368 edges, 21565 markings/sec, 405 secs
lola: 8385214 markings, 10268543 edges, 21915 markings/sec, 410 secs
lola: 8495207 markings, 10403232 edges, 21999 markings/sec, 415 secs
lola: 8604692 markings, 10537280 edges, 21897 markings/sec, 420 secs
lola: 8714308 markings, 10671464 edges, 21923 markings/sec, 425 secs
lola: 8823718 markings, 10805552 edges, 21882 markings/sec, 430 secs
lola: 8932912 markings, 10939279 edges, 21839 markings/sec, 435 secs
lola: 9042233 markings, 11073142 edges, 21864 markings/sec, 440 secs
lola: 9151632 markings, 11207050 edges, 21880 markings/sec, 445 secs
lola: 9260581 markings, 11340555 edges, 21790 markings/sec, 450 secs
lola: 9369601 markings, 11474072 edges, 21804 markings/sec, 455 secs
lola: 9479016 markings, 11608048 edges, 21883 markings/sec, 460 secs
lola: 9587955 markings, 11741369 edges, 21788 markings/sec, 465 secs
lola: 9697193 markings, 11875258 edges, 21848 markings/sec, 470 secs
lola: 9806121 markings, 12008671 edges, 21786 markings/sec, 475 secs
lola: 9914875 markings, 12141784 edges, 21751 markings/sec, 480 secs
lola: 10023862 markings, 12275272 edges, 21797 markings/sec, 485 secs
lola: 10132637 markings, 12408527 edges, 21755 markings/sec, 490 secs
lola: 10241185 markings, 12541408 edges, 21710 markings/sec, 495 secs
lola: 10350043 markings, 12674725 edges, 21772 markings/sec, 500 secs
lola: 10458697 markings, 12807836 edges, 21731 markings/sec, 505 secs
lola: 10567209 markings, 12940676 edges, 21702 markings/sec, 510 secs
lola: 10675789 markings, 13073671 edges, 21716 markings/sec, 515 secs
lola: 10784660 markings, 13207042 edges, 21774 markings/sec, 520 secs
lola: 10893332 markings, 13340073 edges, 21734 markings/sec, 525 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown
lola: memory consumption: 1265964 KB
lola: time consumption: 2504 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 533 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p316)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 39435 markings, 48387 edges, 7887 markings/sec, 0 secs
lola: 84774 markings, 104001 edges, 9068 markings/sec, 5 secs
lola: 129775 markings, 159320 edges, 9000 markings/sec, 10 secs
lola: 174513 markings, 214296 edges, 8948 markings/sec, 15 secs
lola: 219335 markings, 269380 edges, 8964 markings/sec, 20 secs
lola: 264166 markings, 324430 edges, 8966 markings/sec, 25 secs
lola: 308983 markings, 379411 edges, 8963 markings/sec, 30 secs
lola: 353470 markings, 434029 edges, 8897 markings/sec, 35 secs
lola: 398122 markings, 488904 edges, 8930 markings/sec, 40 secs
lola: 442768 markings, 543774 edges, 8929 markings/sec, 45 secs
lola: 486868 markings, 597957 edges, 8820 markings/sec, 50 secs
lola: 530509 markings, 651531 edges, 8728 markings/sec, 55 secs
lola: 574194 markings, 705170 edges, 8737 markings/sec, 60 secs
lola: 617847 markings, 758788 edges, 8731 markings/sec, 65 secs
lola: 661675 markings, 812599 edges, 8766 markings/sec, 70 secs
lola: 704376 markings, 865118 edges, 8540 markings/sec, 75 secs
lola: 748192 markings, 918942 edges, 8763 markings/sec, 80 secs
lola: 792168 markings, 972959 edges, 8795 markings/sec, 85 secs
lola: 836048 markings, 1026870 edges, 8776 markings/sec, 90 secs
lola: 879758 markings, 1080556 edges, 8742 markings/sec, 95 secs
lola: 923407 markings, 1134169 edges, 8730 markings/sec, 100 secs
lola: 966949 markings, 1187650 edges, 8708 markings/sec, 105 secs
lola: 1010485 markings, 1241102 edges, 8707 markings/sec, 110 secs
lola: 1054328 markings, 1294949 edges, 8769 markings/sec, 115 secs
lola: 1098172 markings, 1348801 edges, 8769 markings/sec, 120 secs
lola: 1141979 markings, 1402620 edges, 8761 markings/sec, 125 secs
lola: 1185793 markings, 1456404 edges, 8763 markings/sec, 130 secs
lola: 1229579 markings, 1510186 edges, 8757 markings/sec, 135 secs
lola: 1273313 markings, 1563894 edges, 8747 markings/sec, 140 secs
lola: 1316861 markings, 1617357 edges, 8710 markings/sec, 145 secs
lola: 1359030 markings, 1669226 edges, 8434 markings/sec, 150 secs
lola: 1398994 markings, 1718266 edges, 7993 markings/sec, 155 secs
lola: 1443349 markings, 1772716 edges, 8871 markings/sec, 160 secs
lola: 1487695 markings, 1827175 edges, 8869 markings/sec, 165 secs
lola: 1529930 markings, 1879156 edges, 8447 markings/sec, 170 secs
lola: 1573543 markings, 1932728 edges, 8723 markings/sec, 175 secs
lola: 1616707 markings, 1985717 edges, 8633 markings/sec, 180 secs
lola: 1659593 markings, 2038370 edges, 8577 markings/sec, 185 secs
lola: 1703764 markings, 2092614 edges, 8834 markings/sec, 190 secs
lola: 1748357 markings, 2147408 edges, 8919 markings/sec, 195 secs
lola: 1792859 markings, 2202091 edges, 8900 markings/sec, 200 secs
lola: 1837183 markings, 2256531 edges, 8865 markings/sec, 205 secs
lola: 1881553 markings, 2311050 edges, 8874 markings/sec, 210 secs
lola: 1925860 markings, 2365467 edges, 8861 markings/sec, 215 secs
lola: 1970163 markings, 2419867 edges, 8861 markings/sec, 220 secs
lola: 2014424 markings, 2474228 edges, 8852 markings/sec, 225 secs
lola: 2058705 markings, 2528596 edges, 8856 markings/sec, 230 secs
lola: 2102971 markings, 2582947 edges, 8853 markings/sec, 235 secs
lola: 2147264 markings, 2637331 edges, 8859 markings/sec, 240 secs
lola: 2191468 markings, 2691603 edges, 8841 markings/sec, 245 secs
lola: 2235674 markings, 2745902 edges, 8841 markings/sec, 250 secs
lola: 2279823 markings, 2800138 edges, 8830 markings/sec, 255 secs
lola: 2324029 markings, 2854456 edges, 8841 markings/sec, 260 secs
lola: 2368327 markings, 2908867 edges, 8860 markings/sec, 265 secs
lola: 2412610 markings, 2963276 edges, 8857 markings/sec, 270 secs
lola: 2456845 markings, 3017613 edges, 8847 markings/sec, 275 secs
lola: 2501089 markings, 3071978 edges, 8849 markings/sec, 280 secs
lola: 2545219 markings, 3126176 edges, 8826 markings/sec, 285 secs
lola: 2589349 markings, 3180391 edges, 8826 markings/sec, 290 secs
lola: 2633680 markings, 3234863 edges, 8866 markings/sec, 295 secs
lola: 2677992 markings, 3289286 edges, 8862 markings/sec, 300 secs
lola: 2722313 markings, 3343722 edges, 8864 markings/sec, 305 secs
lola: 2766617 markings, 3398140 edges, 8861 markings/sec, 310 secs
lola: 2810969 markings, 3452614 edges, 8870 markings/sec, 315 secs
lola: 2855295 markings, 3507053 edges, 8865 markings/sec, 320 secs
lola: 2899616 markings, 3561469 edges, 8864 markings/sec, 325 secs
lola: 2943854 markings, 3615786 edges, 8848 markings/sec, 330 secs
lola: 2988168 markings, 3670187 edges, 8863 markings/sec, 335 secs
lola: 3032383 markings, 3724476 edges, 8843 markings/sec, 340 secs
lola: 3076600 markings, 3778793 edges, 8843 markings/sec, 345 secs
lola: 3120831 markings, 3833139 edges, 8846 markings/sec, 350 secs
lola: 3165081 markings, 3887509 edges, 8850 markings/sec, 355 secs
lola: 3209258 markings, 3941777 edges, 8835 markings/sec, 360 secs
lola: 3253545 markings, 3996192 edges, 8857 markings/sec, 365 secs
lola: 3297799 markings, 4050552 edges, 8851 markings/sec, 370 secs
lola: 3341980 markings, 4104824 edges, 8836 markings/sec, 375 secs
lola: 3386244 markings, 4159194 edges, 8853 markings/sec, 380 secs
lola: 3430486 markings, 4213561 edges, 8848 markings/sec, 385 secs
lola: 3474664 markings, 4267813 edges, 8836 markings/sec, 390 secs
lola: 3518873 markings, 4322126 edges, 8842 markings/sec, 395 secs
lola: 3562999 markings, 4376310 edges, 8825 markings/sec, 400 secs
lola: 3607152 markings, 4430553 edges, 8831 markings/sec, 405 secs
lola: 3651426 markings, 4484936 edges, 8855 markings/sec, 410 secs
lola: 3695609 markings, 4539213 edges, 8837 markings/sec, 415 secs
lola: 3739818 markings, 4593501 edges, 8842 markings/sec, 420 secs
lola: 3783961 markings, 4647731 edges, 8829 markings/sec, 425 secs
lola: 3828142 markings, 4701982 edges, 8836 markings/sec, 430 secs
lola: 3872433 markings, 4756362 edges, 8858 markings/sec, 435 secs
lola: 3916737 markings, 4810758 edges, 8861 markings/sec, 440 secs
lola: 3961035 markings, 4865138 edges, 8860 markings/sec, 445 secs
lola: 4005326 markings, 4919518 edges, 8858 markings/sec, 450 secs
lola: 4049550 markings, 4973860 edges, 8845 markings/sec, 455 secs
lola: 4093701 markings, 5028100 edges, 8830 markings/sec, 460 secs
lola: 4137954 markings, 5082472 edges, 8851 markings/sec, 465 secs
lola: 4182225 markings, 5136872 edges, 8854 markings/sec, 470 secs
lola: 4226320 markings, 5191020 edges, 8819 markings/sec, 475 secs
lola: 4270446 markings, 5245232 edges, 8825 markings/sec, 480 secs
lola: 4314524 markings, 5299363 edges, 8816 markings/sec, 485 secs
lola: 4358641 markings, 5353563 edges, 8823 markings/sec, 490 secs
lola: 4401724 markings, 5406448 edges, 8617 markings/sec, 495 secs
lola: 4443546 markings, 5457886 edges, 8364 markings/sec, 500 secs
lola: 4486519 markings, 5510666 edges, 8595 markings/sec, 505 secs
lola: 4529730 markings, 5563699 edges, 8642 markings/sec, 510 secs
lola: 4572764 markings, 5616518 edges, 8607 markings/sec, 515 secs
lola: 4615436 markings, 5668987 edges, 8534 markings/sec, 520 secs
lola: 4658228 markings, 5721568 edges, 8558 markings/sec, 525 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown
lola: memory consumption: 584972 KB
lola: time consumption: 3037 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 533 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p743)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p743)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 118809 markings, 172343 edges, 23762 markings/sec, 0 secs
lola: 252568 markings, 365216 edges, 26752 markings/sec, 5 secs
lola: 385244 markings, 556375 edges, 26535 markings/sec, 10 secs
lola: 516846 markings, 746693 edges, 26320 markings/sec, 15 secs
lola: 663677 markings, 988023 edges, 29366 markings/sec, 20 secs
lola: 796164 markings, 1178896 edges, 26497 markings/sec, 25 secs
lola: 927861 markings, 1368950 edges, 26339 markings/sec, 30 secs
lola: 1058257 markings, 1556914 edges, 26079 markings/sec, 35 secs
lola: 1198654 markings, 1779641 edges, 28079 markings/sec, 40 secs
lola: 1334444 markings, 1985017 edges, 27158 markings/sec, 45 secs
lola: 1466546 markings, 2175353 edges, 26420 markings/sec, 50 secs
lola: 1597431 markings, 2364450 edges, 26177 markings/sec, 55 secs
lola: 1727277 markings, 2551984 edges, 25969 markings/sec, 60 secs
lola: 1872019 markings, 2790026 edges, 28948 markings/sec, 65 secs
lola: 2000876 markings, 2975996 edges, 25771 markings/sec, 70 secs
lola: 2128731 markings, 3160379 edges, 25571 markings/sec, 75 secs
lola: 2256947 markings, 3345337 edges, 25643 markings/sec, 80 secs
lola: 2388358 markings, 3543625 edges, 26282 markings/sec, 85 secs
lola: 2508725 markings, 3775105 edges, 24073 markings/sec, 90 secs
lola: 2602301 markings, 3978128 edges, 18715 markings/sec, 95 secs
lola: 2731790 markings, 4165927 edges, 25898 markings/sec, 100 secs
lola: 2861825 markings, 4353765 edges, 26007 markings/sec, 105 secs
lola: 2991222 markings, 4540586 edges, 25879 markings/sec, 110 secs
lola: 3119970 markings, 4728275 edges, 25750 markings/sec, 115 secs
lola: 3264389 markings, 4963920 edges, 28884 markings/sec, 120 secs
lola: 3394444 markings, 5151783 edges, 26011 markings/sec, 125 secs
lola: 3524599 markings, 5339157 edges, 26031 markings/sec, 130 secs
lola: 3654315 markings, 5526279 edges, 25943 markings/sec, 135 secs
lola: 3796247 markings, 5755983 edges, 28386 markings/sec, 140 secs
lola: 3925989 markings, 5948100 edges, 25948 markings/sec, 145 secs
lola: 4053692 markings, 6132247 edges, 25541 markings/sec, 150 secs
lola: 4180840 markings, 6315510 edges, 25430 markings/sec, 155 secs
lola: 4306411 markings, 6496851 edges, 25114 markings/sec, 160 secs
lola: 4449036 markings, 6731830 edges, 28525 markings/sec, 165 secs
lola: 4577736 markings, 6917548 edges, 25740 markings/sec, 170 secs
lola: 4705846 markings, 7102334 edges, 25622 markings/sec, 175 secs
lola: 4833268 markings, 7286073 edges, 25484 markings/sec, 180 secs
lola: 4962081 markings, 7477248 edges, 25763 markings/sec, 185 secs
lola: 5103027 markings, 7704826 edges, 28189 markings/sec, 190 secs
lola: 5229873 markings, 7887825 edges, 25369 markings/sec, 195 secs
lola: 5356567 markings, 8071013 edges, 25339 markings/sec, 200 secs
lola: 5482320 markings, 8252069 edges, 25151 markings/sec, 205 secs
lola: 5619221 markings, 8470708 edges, 27380 markings/sec, 210 secs
lola: 5751816 markings, 8670444 edges, 26519 markings/sec, 215 secs
lola: 5880110 markings, 8855524 edges, 25659 markings/sec, 220 secs
lola: 6007268 markings, 9038808 edges, 25432 markings/sec, 225 secs
lola: 6133186 markings, 9220980 edges, 25184 markings/sec, 230 secs
lola: 6276796 markings, 9456432 edges, 28722 markings/sec, 235 secs
lola: 6402447 markings, 9638759 edges, 25130 markings/sec, 240 secs
lola: 6528364 markings, 9820300 edges, 25183 markings/sec, 245 secs
lola: 6653836 markings, 10001380 edges, 25094 markings/sec, 250 secs
lola: 6777844 markings, 10180063 edges, 24802 markings/sec, 255 secs
lola: 6920151 markings, 10415107 edges, 28461 markings/sec, 260 secs
lola: 7048407 markings, 10600127 edges, 25651 markings/sec, 265 secs
lola: 7174528 markings, 10781766 edges, 25224 markings/sec, 270 secs
lola: 7299792 markings, 10962904 edges, 25053 markings/sec, 275 secs
lola: 7432819 markings, 11168649 edges, 26605 markings/sec, 280 secs
lola: 7567350 markings, 11378213 edges, 26906 markings/sec, 285 secs
lola: 7693158 markings, 11559655 edges, 25162 markings/sec, 290 secs
lola: 7817612 markings, 11739212 edges, 24891 markings/sec, 295 secs
lola: 7941746 markings, 11918562 edges, 24827 markings/sec, 300 secs
lola: 8082102 markings, 12148046 edges, 28071 markings/sec, 305 secs
lola: 8211691 markings, 12337474 edges, 25918 markings/sec, 310 secs
lola: 8339939 markings, 12522613 edges, 25650 markings/sec, 315 secs
lola: 8467299 markings, 12706252 edges, 25472 markings/sec, 320 secs
lola: 8593006 markings, 12887240 edges, 25141 markings/sec, 325 secs
lola: 8735467 markings, 13122525 edges, 28492 markings/sec, 330 secs
lola: 8861690 markings, 13304325 edges, 25245 markings/sec, 335 secs
lola: 8986299 markings, 13484431 edges, 24922 markings/sec, 340 secs
lola: 9110498 markings, 13663793 edges, 24840 markings/sec, 345 secs
lola: 9235033 markings, 13846228 edges, 24907 markings/sec, 350 secs
lola: 9377034 markings, 14077574 edges, 28400 markings/sec, 355 secs
lola: 9504429 markings, 14261232 edges, 25479 markings/sec, 360 secs
lola: 9630649 markings, 14443496 edges, 25244 markings/sec, 365 secs
lola: 9755996 markings, 14624295 edges, 25069 markings/sec, 370 secs
lola: 9892101 markings, 14839552 edges, 27221 markings/sec, 375 secs
lola: 10023452 markings, 15039441 edges, 26270 markings/sec, 380 secs
lola: 10148692 markings, 15220539 edges, 25048 markings/sec, 385 secs
lola: 10272858 markings, 15399432 edges, 24833 markings/sec, 390 secs
lola: 10395889 markings, 15576780 edges, 24606 markings/sec, 395 secs
lola: 10536422 markings, 15808099 edges, 28107 markings/sec, 400 secs
lola: 10666180 markings, 15996321 edges, 25952 markings/sec, 405 secs
lola: 10794288 markings, 16181113 edges, 25622 markings/sec, 410 secs
lola: 10921857 markings, 16365042 edges, 25514 markings/sec, 415 secs
lola: 11047973 markings, 16547526 edges, 25223 markings/sec, 420 secs
lola: 11191046 markings, 16782931 edges, 28615 markings/sec, 425 secs
lola: 11317501 markings, 16965603 edges, 25291 markings/sec, 430 secs
lola: 11443200 markings, 17146924 edges, 25140 markings/sec, 435 secs
lola: 11568194 markings, 17327411 edges, 24999 markings/sec, 440 secs
lola: 11697006 markings, 17521941 edges, 25762 markings/sec, 445 secs
lola: 11835207 markings, 17742078 edges, 27640 markings/sec, 450 secs
lola: 11963506 markings, 17927171 edges, 25660 markings/sec, 455 secs
lola: 12090226 markings, 18109759 edges, 25344 markings/sec, 460 secs
lola: 12215558 markings, 18291002 edges, 25066 markings/sec, 465 secs
lola: 12356385 markings, 18519407 edges, 28165 markings/sec, 470 secs
lola: 12483386 markings, 18706735 edges, 25400 markings/sec, 475 secs
lola: 12608886 markings, 18887397 edges, 25100 markings/sec, 480 secs
lola: 12733067 markings, 19066823 edges, 24836 markings/sec, 485 secs
lola: 12855977 markings, 19244229 edges, 24582 markings/sec, 490 secs
lola: 12997645 markings, 19476581 edges, 28334 markings/sec, 495 secs
lola: 13125075 markings, 19661973 edges, 25486 markings/sec, 500 secs
lola: 13254093 markings, 19848200 edges, 25804 markings/sec, 505 secs
lola: 13383308 markings, 20034661 edges, 25843 markings/sec, 510 secs
lola: 13510203 markings, 20219170 edges, 25379 markings/sec, 515 secs
lola: 13653440 markings, 20453346 edges, 28647 markings/sec, 520 secs
lola: 13776239 markings, 20630500 edges, 24560 markings/sec, 525 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown
lola: memory consumption: 1010636 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 1 unknown unknown 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown
lola: memory consumption: 1010636 KB
lola: time consumption: 3570 seconds

BK_STOP 1527936347721

--------------------
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-10a"
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-10a.tgz
mv ASLink-PT-10a 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-10a, 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-152749145400164"
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 ;