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 3.0M
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-0500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900282
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526849032530

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0500 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0500 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0500 @ 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: 6502/65536 symbol table entries, 1048 collisions
lola: preprocessing...
lola: Size of bit vector: 80032
lola: finding significant places
lola: 2501 places, 4001 transitions, 2000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4501 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0500-UpperBounds.task
lola: MAX(p534) : MAX(p1620) : MAX(p1459) : MAX(p2226) : MAX(p511) : MAX(p1634) : MAX(p1479) : MAX(p2399) : MAX(p1116) : MAX(p1098) : MAX(p1700) : MAX(p215) : MAX(p1806) : MAX(p2155) : MAX(p1161) : MAX(p1511)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p534)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p534)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 58653 markings, 168258 edges, 11731 markings/sec, 30 secs
lola: 112244 markings, 338400 edges, 10718 markings/sec, 35 secs
lola: 163661 markings, 507976 edges, 10283 markings/sec, 40 secs
lola: 214570 markings, 677373 edges, 10182 markings/sec, 45 secs
lola: 264700 markings, 846982 edges, 10026 markings/sec, 50 secs
lola: 314423 markings, 1016485 edges, 9945 markings/sec, 55 secs
lola: 363411 markings, 1185929 edges, 9798 markings/sec, 60 secs
lola: 412160 markings, 1355058 edges, 9750 markings/sec, 65 secs
lola: 461149 markings, 1524162 edges, 9798 markings/sec, 70 secs
lola: 509893 markings, 1693284 edges, 9749 markings/sec, 75 secs
lola: 557722 markings, 1862416 edges, 9566 markings/sec, 80 secs
lola: 606332 markings, 2031422 edges, 9722 markings/sec, 85 secs
lola: 654748 markings, 2200328 edges, 9683 markings/sec, 90 secs
lola: 703059 markings, 2369194 edges, 9662 markings/sec, 95 secs
lola: 747954 markings, 2528959 edges, 8979 markings/sec, 100 secs
lola: 794782 markings, 2696453 edges, 9366 markings/sec, 105 secs
lola: 841531 markings, 2864111 edges, 9350 markings/sec, 110 secs
lola: 889227 markings, 3031870 edges, 9539 markings/sec, 115 secs
lola: 936211 markings, 3199718 edges, 9397 markings/sec, 120 secs
lola: 983486 markings, 3367672 edges, 9455 markings/sec, 125 secs
lola: 1030770 markings, 3535630 edges, 9457 markings/sec, 130 secs
lola: 1077084 markings, 3703545 edges, 9263 markings/sec, 135 secs
lola: 1123824 markings, 3871552 edges, 9348 markings/sec, 140 secs
lola: 1170555 markings, 4039453 edges, 9346 markings/sec, 145 secs
lola: 1215594 markings, 4200818 edges, 9008 markings/sec, 150 secs
lola: 1262197 markings, 4368395 edges, 9321 markings/sec, 155 secs
lola: 1308951 markings, 4535959 edges, 9351 markings/sec, 160 secs
lola: 1355595 markings, 4703538 edges, 9329 markings/sec, 165 secs
lola: 1401742 markings, 4871057 edges, 9229 markings/sec, 170 secs
lola: 1447957 markings, 5038573 edges, 9243 markings/sec, 175 secs
lola: 1493950 markings, 5205977 edges, 9199 markings/sec, 180 secs
lola: 1540353 markings, 5373457 edges, 9281 markings/sec, 185 secs
lola: 1586078 markings, 5540801 edges, 9145 markings/sec, 190 secs
lola: 1632362 markings, 5708238 edges, 9257 markings/sec, 195 secs
lola: 1678690 markings, 5875439 edges, 9266 markings/sec, 200 secs
lola: 1724674 markings, 6042672 edges, 9197 markings/sec, 205 secs
lola: 1770085 markings, 6209833 edges, 9082 markings/sec, 210 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: 1157688 KB
lola: time consumption: 311 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1620)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1620)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 28686 markings, 66042 edges, 5737 markings/sec, 0 secs
lola: 88215 markings, 236262 edges, 11906 markings/sec, 5 secs
lola: 142899 markings, 406037 edges, 10937 markings/sec, 10 secs
lola: 195425 markings, 575725 edges, 10505 markings/sec, 15 secs
lola: 245381 markings, 745274 edges, 9991 markings/sec, 20 secs
lola: 295766 markings, 914393 edges, 10077 markings/sec, 25 secs
lola: 344086 markings, 1083600 edges, 9664 markings/sec, 30 secs
lola: 391192 markings, 1252769 edges, 9421 markings/sec, 35 secs
lola: 438386 markings, 1421860 edges, 9439 markings/sec, 40 secs
lola: 483411 markings, 1591063 edges, 9005 markings/sec, 45 secs
lola: 529400 markings, 1759883 edges, 9198 markings/sec, 50 secs
lola: 574998 markings, 1928211 edges, 9120 markings/sec, 55 secs
lola: 618926 markings, 2096490 edges, 8786 markings/sec, 60 secs
lola: 663329 markings, 2264374 edges, 8881 markings/sec, 65 secs
lola: 707998 markings, 2431889 edges, 8934 markings/sec, 70 secs
lola: 751033 markings, 2599696 edges, 8607 markings/sec, 75 secs
lola: 794413 markings, 2767273 edges, 8676 markings/sec, 80 secs
lola: 838115 markings, 2934539 edges, 8740 markings/sec, 85 secs
lola: 881026 markings, 3101962 edges, 8582 markings/sec, 90 secs
lola: 923579 markings, 3269188 edges, 8511 markings/sec, 95 secs
lola: 966218 markings, 3436652 edges, 8528 markings/sec, 100 secs
lola: 1008621 markings, 3604081 edges, 8481 markings/sec, 105 secs
lola: 1051082 markings, 3771528 edges, 8492 markings/sec, 110 secs
lola: 1093321 markings, 3939094 edges, 8448 markings/sec, 115 secs
lola: 1134788 markings, 4106543 edges, 8293 markings/sec, 120 secs
lola: 1178153 markings, 4274072 edges, 8673 markings/sec, 125 secs
lola: 1219642 markings, 4441997 edges, 8298 markings/sec, 130 secs
lola: 1261234 markings, 4609623 edges, 8318 markings/sec, 135 secs
lola: 1302407 markings, 4777322 edges, 8235 markings/sec, 140 secs
lola: 1343588 markings, 4945111 edges, 8236 markings/sec, 145 secs
lola: 1385040 markings, 5112702 edges, 8290 markings/sec, 150 secs
lola: 1426291 markings, 5280397 edges, 8250 markings/sec, 155 secs
lola: 1467436 markings, 5448245 edges, 8229 markings/sec, 160 secs
lola: 1505401 markings, 5604223 edges, 7593 markings/sec, 165 secs
lola: 1545301 markings, 5770266 edges, 7980 markings/sec, 170 secs
lola: 1586339 markings, 5935742 edges, 8208 markings/sec, 175 secs
lola: 1625411 markings, 6101641 edges, 7814 markings/sec, 180 secs
lola: 1665409 markings, 6267294 edges, 8000 markings/sec, 185 secs
lola: 1705868 markings, 6432910 edges, 8092 markings/sec, 190 secs
lola: 1745810 markings, 6598313 edges, 7988 markings/sec, 195 secs
lola: 1782388 markings, 6753358 edges, 7316 markings/sec, 200 secs
lola: 1820453 markings, 6918057 edges, 7613 markings/sec, 205 secs
lola: 1861296 markings, 7085220 edges, 8169 markings/sec, 210 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: 1271268 KB
lola: time consumption: 528 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1459)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1459)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 26991 markings, 71418 edges, 5398 markings/sec, 0 secs
lola: 82698 markings, 243324 edges, 11141 markings/sec, 5 secs
lola: 135581 markings, 414689 edges, 10577 markings/sec, 10 secs
lola: 187459 markings, 585977 edges, 10376 markings/sec, 15 secs
lola: 238111 markings, 757271 edges, 10130 markings/sec, 20 secs
lola: 288752 markings, 928259 edges, 10128 markings/sec, 25 secs
lola: 338613 markings, 1099117 edges, 9972 markings/sec, 30 secs
lola: 387402 markings, 1269656 edges, 9758 markings/sec, 35 secs
lola: 436713 markings, 1439976 edges, 9862 markings/sec, 40 secs
lola: 486173 markings, 1610347 edges, 9892 markings/sec, 45 secs
lola: 534743 markings, 1780656 edges, 9714 markings/sec, 50 secs
lola: 583245 markings, 1950840 edges, 9700 markings/sec, 55 secs
lola: 631829 markings, 2120934 edges, 9717 markings/sec, 60 secs
lola: 680456 markings, 2291025 edges, 9725 markings/sec, 65 secs
lola: 728613 markings, 2461069 edges, 9631 markings/sec, 70 secs
lola: 776690 markings, 2630986 edges, 9615 markings/sec, 75 secs
lola: 824150 markings, 2800834 edges, 9492 markings/sec, 80 secs
lola: 871732 markings, 2970588 edges, 9516 markings/sec, 85 secs
lola: 919215 markings, 3140208 edges, 9497 markings/sec, 90 secs
lola: 967242 markings, 3309789 edges, 9605 markings/sec, 95 secs
lola: 1014991 markings, 3479365 edges, 9550 markings/sec, 100 secs
lola: 1062145 markings, 3648880 edges, 9431 markings/sec, 105 secs
lola: 1109024 markings, 3818295 edges, 9376 markings/sec, 110 secs
lola: 1156375 markings, 3987680 edges, 9470 markings/sec, 115 secs
lola: 1203535 markings, 4157005 edges, 9432 markings/sec, 120 secs
lola: 1250443 markings, 4326320 edges, 9382 markings/sec, 125 secs
lola: 1297765 markings, 4495699 edges, 9464 markings/sec, 130 secs
lola: 1345046 markings, 4665049 edges, 9456 markings/sec, 135 secs
lola: 1391477 markings, 4834201 edges, 9286 markings/sec, 140 secs
lola: 1438257 markings, 5003361 edges, 9356 markings/sec, 145 secs
lola: 1484696 markings, 5172455 edges, 9288 markings/sec, 150 secs
lola: 1531559 markings, 5341551 edges, 9373 markings/sec, 155 secs
lola: 1577847 markings, 5510550 edges, 9258 markings/sec, 160 secs
lola: 1624461 markings, 5679500 edges, 9323 markings/sec, 165 secs
lola: 1671237 markings, 5848416 edges, 9355 markings/sec, 170 secs
lola: 1717653 markings, 6017290 edges, 9283 markings/sec, 175 secs
lola: 1763740 markings, 6186037 edges, 9217 markings/sec, 180 secs
lola: 1809682 markings, 6354906 edges, 9188 markings/sec, 185 secs
lola: 1855504 markings, 6523596 edges, 9164 markings/sec, 190 secs
lola: 1901762 markings, 6692303 edges, 9252 markings/sec, 195 secs
lola: 1947723 markings, 6861031 edges, 9192 markings/sec, 200 secs
lola: 1994069 markings, 7029678 edges, 9269 markings/sec, 205 secs
lola: 2040187 markings, 7198357 edges, 9224 markings/sec, 210 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: 532984 KB
lola: time consumption: 745 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2226)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2226)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 34354 markings, 68882 edges, 6871 markings/sec, 0 secs
lola: 110980 markings, 237461 edges, 15325 markings/sec, 5 secs
lola: 186803 markings, 405714 edges, 15165 markings/sec, 10 secs
lola: 263703 markings, 573880 edges, 15380 markings/sec, 15 secs
lola: 338669 markings, 741685 edges, 14993 markings/sec, 20 secs
lola: 413455 markings, 909245 edges, 14957 markings/sec, 25 secs
lola: 487576 markings, 1076754 edges, 14824 markings/sec, 30 secs
lola: 562427 markings, 1244045 edges, 14970 markings/sec, 35 secs
lola: 635884 markings, 1410971 edges, 14691 markings/sec, 40 secs
lola: 709927 markings, 1577586 edges, 14809 markings/sec, 45 secs
lola: 784936 markings, 1744399 edges, 15002 markings/sec, 50 secs
lola: 858975 markings, 1911017 edges, 14808 markings/sec, 55 secs
lola: 933087 markings, 2077737 edges, 14822 markings/sec, 60 secs
lola: 1006423 markings, 2244480 edges, 14667 markings/sec, 65 secs
lola: 1081213 markings, 2411209 edges, 14958 markings/sec, 70 secs
lola: 1155759 markings, 2577986 edges, 14909 markings/sec, 75 secs
lola: 1229638 markings, 2744597 edges, 14776 markings/sec, 80 secs
lola: 1303050 markings, 2911138 edges, 14682 markings/sec, 85 secs
lola: 1377556 markings, 3077855 edges, 14901 markings/sec, 90 secs
lola: 1450114 markings, 3244257 edges, 14512 markings/sec, 95 secs
lola: 1524191 markings, 3410749 edges, 14815 markings/sec, 100 secs
lola: 1597265 markings, 3577125 edges, 14615 markings/sec, 105 secs
lola: 1667506 markings, 3743421 edges, 14048 markings/sec, 110 secs
lola: 1737080 markings, 3909761 edges, 13915 markings/sec, 115 secs
lola: 1805895 markings, 4076150 edges, 13763 markings/sec, 120 secs
lola: 1874031 markings, 4242419 edges, 13627 markings/sec, 125 secs
lola: 1941223 markings, 4408772 edges, 13438 markings/sec, 130 secs
lola: 2009893 markings, 4574999 edges, 13734 markings/sec, 135 secs
lola: 2079019 markings, 4741242 edges, 13825 markings/sec, 140 secs
lola: 2145901 markings, 4901682 edges, 13376 markings/sec, 145 secs
lola: 2213326 markings, 5067929 edges, 13485 markings/sec, 150 secs
lola: 2280559 markings, 5233477 edges, 13447 markings/sec, 155 secs
lola: 2348325 markings, 5399582 edges, 13553 markings/sec, 160 secs
lola: 2415899 markings, 5565581 edges, 13515 markings/sec, 165 secs
lola: 2482325 markings, 5731491 edges, 13285 markings/sec, 170 secs
lola: 2549381 markings, 5897525 edges, 13411 markings/sec, 175 secs
lola: 2614560 markings, 6063640 edges, 13036 markings/sec, 180 secs
lola: 2681757 markings, 6229563 edges, 13439 markings/sec, 185 secs
lola: 2750669 markings, 6395629 edges, 13782 markings/sec, 190 secs
lola: 2816273 markings, 6561855 edges, 13121 markings/sec, 195 secs
lola: 2879411 markings, 6728031 edges, 12628 markings/sec, 200 secs
lola: 2941431 markings, 6894275 edges, 12404 markings/sec, 205 secs
lola: 3004953 markings, 7060733 edges, 12704 markings/sec, 210 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: 3500340 KB
lola: time consumption: 962 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p511)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p511)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 31293 markings, 62111 edges, 6259 markings/sec, 0 secs
lola: 108366 markings, 231596 edges, 15415 markings/sec, 5 secs
lola: 184544 markings, 400649 edges, 15236 markings/sec, 10 secs
lola: 261656 markings, 569443 edges, 15422 markings/sec, 15 secs
lola: 336934 markings, 737913 edges, 15056 markings/sec, 20 secs
lola: 412059 markings, 906115 edges, 15025 markings/sec, 25 secs
lola: 486470 markings, 1074155 edges, 14882 markings/sec, 30 secs
lola: 561432 markings, 1242138 edges, 14992 markings/sec, 35 secs
lola: 635367 markings, 1410015 edges, 14787 markings/sec, 40 secs
lola: 703283 markings, 1563075 edges, 13583 markings/sec, 45 secs
lola: 774509 markings, 1720180 edges, 14245 markings/sec, 50 secs
lola: 848247 markings, 1887559 edges, 14748 markings/sec, 55 secs
lola: 919296 markings, 2047773 edges, 14210 markings/sec, 60 secs
lola: 994007 markings, 2215298 edges, 14942 markings/sec, 65 secs
lola: 1068109 markings, 2382704 edges, 14820 markings/sec, 70 secs
lola: 1143634 markings, 2550257 edges, 15105 markings/sec, 75 secs
lola: 1217527 markings, 2717736 edges, 14779 markings/sec, 80 secs
lola: 1291463 markings, 2885060 edges, 14787 markings/sec, 85 secs
lola: 1366073 markings, 3052410 edges, 14922 markings/sec, 90 secs
lola: 1439552 markings, 3219436 edges, 14696 markings/sec, 95 secs
lola: 1513042 markings, 3386300 edges, 14698 markings/sec, 100 secs
lola: 1586867 markings, 3553233 edges, 14765 markings/sec, 105 secs
lola: 1657583 markings, 3720070 edges, 14143 markings/sec, 110 secs
lola: 1727319 markings, 3886690 edges, 13947 markings/sec, 115 secs
lola: 1796398 markings, 4053334 edges, 13816 markings/sec, 120 secs
lola: 1864918 markings, 4219986 edges, 13704 markings/sec, 125 secs
lola: 1932478 markings, 4386618 edges, 13512 markings/sec, 130 secs
lola: 2001560 markings, 4553262 edges, 13816 markings/sec, 135 secs
lola: 2070136 markings, 4720008 edges, 13715 markings/sec, 140 secs
lola: 2139974 markings, 4886673 edges, 13968 markings/sec, 145 secs
lola: 2207434 markings, 5053590 edges, 13492 markings/sec, 150 secs
lola: 2274718 markings, 5220442 edges, 13457 markings/sec, 155 secs
lola: 2343702 markings, 5387240 edges, 13797 markings/sec, 160 secs
lola: 2411291 markings, 5554170 edges, 13518 markings/sec, 165 secs
lola: 2478277 markings, 5720773 edges, 13397 markings/sec, 170 secs
lola: 2544846 markings, 5887565 edges, 13314 markings/sec, 175 secs
lola: 2611048 markings, 6054509 edges, 13240 markings/sec, 180 secs
lola: 2678450 markings, 6221246 edges, 13480 markings/sec, 185 secs
lola: 2747599 markings, 6388230 edges, 13830 markings/sec, 190 secs
lola: 2813959 markings, 6555221 edges, 13272 markings/sec, 195 secs
lola: 2877086 markings, 6722161 edges, 12625 markings/sec, 200 secs
lola: 2939575 markings, 6889138 edges, 12498 markings/sec, 205 secs
lola: 3003537 markings, 7056373 edges, 12792 markings/sec, 210 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: 1983696 KB
lola: time consumption: 1179 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1634)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1634)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: Structural Bound: 503
lola: 58759 markings, 168619 edges, 11752 markings/sec, 10 secs
lola: 112158 markings, 338074 edges, 10680 markings/sec, 15 secs
lola: 163466 markings, 507389 edges, 10262 markings/sec, 20 secs
lola: 214372 markings, 676639 edges, 10181 markings/sec, 25 secs
lola: 264307 markings, 845901 edges, 9987 markings/sec, 30 secs
lola: 314018 markings, 1015131 edges, 9942 markings/sec, 35 secs
lola: 362971 markings, 1184393 edges, 9791 markings/sec, 40 secs
lola: 411743 markings, 1353573 edges, 9754 markings/sec, 45 secs
lola: 460715 markings, 1522708 edges, 9794 markings/sec, 50 secs
lola: 509428 markings, 1691556 edges, 9743 markings/sec, 55 secs
lola: 553622 markings, 1847581 edges, 8839 markings/sec, 60 secs
lola: 601824 markings, 2015825 edges, 9640 markings/sec, 65 secs
lola: 650229 markings, 2184013 edges, 9681 markings/sec, 70 secs
lola: 698207 markings, 2352152 edges, 9596 markings/sec, 75 secs
lola: 745443 markings, 2520183 edges, 9447 markings/sec, 80 secs
lola: 792481 markings, 2688192 edges, 9408 markings/sec, 85 secs
lola: 839361 markings, 2856099 edges, 9376 markings/sec, 90 secs
lola: 885052 markings, 3017149 edges, 9138 markings/sec, 95 secs
lola: 932264 markings, 3185910 edges, 9442 markings/sec, 100 secs
lola: 979820 markings, 3354676 edges, 9511 markings/sec, 105 secs
lola: 1027271 markings, 3523417 edges, 9490 markings/sec, 110 secs
lola: 1073911 markings, 3692123 edges, 9328 markings/sec, 115 secs
lola: 1120946 markings, 3860752 edges, 9407 markings/sec, 120 secs
lola: 1167848 markings, 4029447 edges, 9380 markings/sec, 125 secs
lola: 1214797 markings, 4198230 edges, 9390 markings/sec, 130 secs
lola: 1261782 markings, 4366912 edges, 9397 markings/sec, 135 secs
lola: 1308904 markings, 4535777 edges, 9424 markings/sec, 140 secs
lola: 1355892 markings, 4704669 edges, 9398 markings/sec, 145 secs
lola: 1402409 markings, 4873445 edges, 9303 markings/sec, 150 secs
lola: 1448957 markings, 5041836 edges, 9310 markings/sec, 155 secs
lola: 1495046 markings, 5210095 edges, 9218 markings/sec, 160 secs
lola: 1541691 markings, 5378086 edges, 9329 markings/sec, 165 secs
lola: 1587628 markings, 5545886 edges, 9187 markings/sec, 170 secs
lola: 1633824 markings, 5713594 edges, 9239 markings/sec, 175 secs
lola: 1680291 markings, 5881353 edges, 9293 markings/sec, 180 secs
lola: 1726465 markings, 6049051 edges, 9235 markings/sec, 185 secs
lola: 1771923 markings, 6216782 edges, 9092 markings/sec, 190 secs
lola: 1817629 markings, 6384683 edges, 9141 markings/sec, 195 secs
lola: 1863365 markings, 6552637 edges, 9147 markings/sec, 200 secs
lola: 1909525 markings, 6720639 edges, 9232 markings/sec, 205 secs
lola: 1955372 markings, 6888786 edges, 9169 markings/sec, 210 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: 1514160 KB
lola: time consumption: 1396 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1479)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 27490 markings, 72969 edges, 5498 markings/sec, 0 secs
lola: 82974 markings, 244268 edges, 11097 markings/sec, 5 secs
lola: 135686 markings, 415121 edges, 10542 markings/sec, 10 secs
lola: 187337 markings, 585625 edges, 10330 markings/sec, 15 secs
lola: 236571 markings, 751842 edges, 9847 markings/sec, 20 secs
lola: 286891 markings, 922141 edges, 10064 markings/sec, 25 secs
lola: 336586 markings, 1092273 edges, 9939 markings/sec, 30 secs
lola: 385284 markings, 1262227 edges, 9740 markings/sec, 35 secs
lola: 434506 markings, 1432036 edges, 9844 markings/sec, 40 secs
lola: 483678 markings, 1601712 edges, 9834 markings/sec, 45 secs
lola: 532029 markings, 1771412 edges, 9670 markings/sec, 50 secs
lola: 580547 markings, 1941091 edges, 9704 markings/sec, 55 secs
lola: 628882 markings, 2110689 edges, 9667 markings/sec, 60 secs
lola: 677453 markings, 2280334 edges, 9714 markings/sec, 65 secs
lola: 725394 markings, 2450009 edges, 9588 markings/sec, 70 secs
lola: 773528 markings, 2619567 edges, 9627 markings/sec, 75 secs
lola: 820850 markings, 2789086 edges, 9464 markings/sec, 80 secs
lola: 868298 markings, 2958621 edges, 9490 markings/sec, 85 secs
lola: 915718 markings, 3128139 edges, 9484 markings/sec, 90 secs
lola: 963760 markings, 3297576 edges, 9608 markings/sec, 95 secs
lola: 1011508 markings, 3467004 edges, 9550 markings/sec, 100 secs
lola: 1058602 markings, 3636082 edges, 9419 markings/sec, 105 secs
lola: 1105497 markings, 3805305 edges, 9379 markings/sec, 110 secs
lola: 1152800 markings, 3974452 edges, 9461 markings/sec, 115 secs
lola: 1199846 markings, 4143557 edges, 9409 markings/sec, 120 secs
lola: 1246630 markings, 4312626 edges, 9357 markings/sec, 125 secs
lola: 1293828 markings, 4481666 edges, 9440 markings/sec, 130 secs
lola: 1341119 markings, 4650843 edges, 9458 markings/sec, 135 secs
lola: 1387590 markings, 4819775 edges, 9294 markings/sec, 140 secs
lola: 1434323 markings, 4988738 edges, 9347 markings/sec, 145 secs
lola: 1480585 markings, 5157696 edges, 9252 markings/sec, 150 secs
lola: 1527487 markings, 5326596 edges, 9380 markings/sec, 155 secs
lola: 1573784 markings, 5495467 edges, 9259 markings/sec, 160 secs
lola: 1620363 markings, 5664290 edges, 9316 markings/sec, 165 secs
lola: 1666985 markings, 5832922 edges, 9324 markings/sec, 170 secs
lola: 1713419 markings, 6001620 edges, 9287 markings/sec, 175 secs
lola: 1759586 markings, 6170431 edges, 9233 markings/sec, 180 secs
lola: 1805302 markings, 6339157 edges, 9143 markings/sec, 185 secs
lola: 1851175 markings, 6507758 edges, 9175 markings/sec, 190 secs
lola: 1897415 markings, 6676447 edges, 9248 markings/sec, 195 secs
lola: 1943385 markings, 6845051 edges, 9194 markings/sec, 200 secs
lola: 1989621 markings, 7013689 edges, 9247 markings/sec, 205 secs
lola: 2035927 markings, 7182303 edges, 9261 markings/sec, 210 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: 507336 KB
lola: time consumption: 1614 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2399)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2399)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 58833 markings, 168850 edges, 11767 markings/sec, 30 secs
lola: 112258 markings, 338454 edges, 10685 markings/sec, 35 secs
lola: 163496 markings, 507512 edges, 10248 markings/sec, 40 secs
lola: 214240 markings, 676209 edges, 10149 markings/sec, 45 secs
lola: 263943 markings, 844637 edges, 9941 markings/sec, 50 secs
lola: 313362 markings, 1012816 edges, 9884 markings/sec, 55 secs
lola: 362010 markings, 1180913 edges, 9730 markings/sec, 60 secs
lola: 410350 markings, 1348723 edges, 9668 markings/sec, 65 secs
lola: 458924 markings, 1516504 edges, 9715 markings/sec, 70 secs
lola: 507206 markings, 1683912 edges, 9656 markings/sec, 75 secs
lola: 554702 markings, 1851467 edges, 9499 markings/sec, 80 secs
lola: 602725 markings, 2018989 edges, 9605 markings/sec, 85 secs
lola: 650947 markings, 2186475 edges, 9644 markings/sec, 90 secs
lola: 698706 markings, 2353923 edges, 9552 markings/sec, 95 secs
lola: 745802 markings, 2521360 edges, 9419 markings/sec, 100 secs
lola: 792616 markings, 2688615 edges, 9363 markings/sec, 105 secs
lola: 839286 markings, 2855806 edges, 9334 markings/sec, 110 secs
lola: 886694 markings, 3022973 edges, 9482 markings/sec, 115 secs
lola: 933443 markings, 3189955 edges, 9350 markings/sec, 120 secs
lola: 980430 markings, 3356950 edges, 9397 markings/sec, 125 secs
lola: 1027393 markings, 3523857 edges, 9393 markings/sec, 130 secs
lola: 1073572 markings, 3690729 edges, 9236 markings/sec, 135 secs
lola: 1120032 markings, 3857488 edges, 9292 markings/sec, 140 secs
lola: 1166490 markings, 4024382 edges, 9292 markings/sec, 145 secs
lola: 1212915 markings, 4191281 edges, 9285 markings/sec, 150 secs
lola: 1259317 markings, 4357933 edges, 9280 markings/sec, 155 secs
lola: 1305742 markings, 4524486 edges, 9285 markings/sec, 160 secs
lola: 1352284 markings, 4691002 edges, 9308 markings/sec, 165 secs
lola: 1397901 markings, 4857151 edges, 9123 markings/sec, 170 secs
lola: 1443834 markings, 5023300 edges, 9187 markings/sec, 175 secs
lola: 1489365 markings, 5189451 edges, 9106 markings/sec, 180 secs
lola: 1535492 markings, 5355772 edges, 9225 markings/sec, 185 secs
lola: 1581006 markings, 5522019 edges, 9103 markings/sec, 190 secs
lola: 1626915 markings, 5688346 edges, 9182 markings/sec, 195 secs
lola: 1672845 markings, 5854501 edges, 9186 markings/sec, 200 secs
lola: 1718624 markings, 6020700 edges, 9156 markings/sec, 205 secs
lola: 1763982 markings, 6187027 edges, 9072 markings/sec, 210 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: 1634228 KB
lola: time consumption: 1831 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1116)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 32847 markings, 65587 edges, 6569 markings/sec, 0 secs
lola: 109853 markings, 234975 edges, 15401 markings/sec, 5 secs
lola: 186045 markings, 403890 edges, 15238 markings/sec, 10 secs
lola: 263049 markings, 572508 edges, 15401 markings/sec, 15 secs
lola: 338322 markings, 740880 edges, 15055 markings/sec, 20 secs
lola: 413337 markings, 908984 edges, 15003 markings/sec, 25 secs
lola: 487665 markings, 1076967 edges, 14866 markings/sec, 30 secs
lola: 562755 markings, 1244737 edges, 15018 markings/sec, 35 secs
lola: 636524 markings, 1412475 edges, 14754 markings/sec, 40 secs
lola: 710995 markings, 1580182 edges, 14894 markings/sec, 45 secs
lola: 786594 markings, 1747868 edges, 15120 markings/sec, 50 secs
lola: 861028 markings, 1915386 edges, 14887 markings/sec, 55 secs
lola: 935440 markings, 2082912 edges, 14882 markings/sec, 60 secs
lola: 1008936 markings, 2250301 edges, 14699 markings/sec, 65 secs
lola: 1084021 markings, 2417625 edges, 15017 markings/sec, 70 secs
lola: 1158864 markings, 2585093 edges, 14969 markings/sec, 75 secs
lola: 1232963 markings, 2752393 edges, 14820 markings/sec, 80 secs
lola: 1306716 markings, 2919591 edges, 14751 markings/sec, 85 secs
lola: 1381707 markings, 3086971 edges, 14998 markings/sec, 90 secs
lola: 1454485 markings, 3254075 edges, 14556 markings/sec, 95 secs
lola: 1528864 markings, 3421258 edges, 14876 markings/sec, 100 secs
lola: 1601862 markings, 3588292 edges, 14600 markings/sec, 105 secs
lola: 1672571 markings, 3755042 edges, 14142 markings/sec, 110 secs
lola: 1742186 markings, 3921728 edges, 13923 markings/sec, 115 secs
lola: 1810782 markings, 4088494 edges, 13719 markings/sec, 120 secs
lola: 1879372 markings, 4255130 edges, 13718 markings/sec, 125 secs
lola: 1946843 markings, 4421843 edges, 13494 markings/sec, 130 secs
lola: 2015636 markings, 4588481 edges, 13759 markings/sec, 135 secs
lola: 2085592 markings, 4755138 edges, 13991 markings/sec, 140 secs
lola: 2154477 markings, 4921886 edges, 13777 markings/sec, 145 secs
lola: 2221735 markings, 5088743 edges, 13452 markings/sec, 150 secs
lola: 2289495 markings, 5255514 edges, 13552 markings/sec, 155 secs
lola: 2358802 markings, 5422365 edges, 13861 markings/sec, 160 secs
lola: 2424997 markings, 5589177 edges, 13239 markings/sec, 165 secs
lola: 2492546 markings, 5755920 edges, 13510 markings/sec, 170 secs
lola: 2559587 markings, 5922811 edges, 13408 markings/sec, 175 secs
lola: 2625449 markings, 6089869 edges, 13172 markings/sec, 180 secs
lola: 2693286 markings, 6256746 edges, 13567 markings/sec, 185 secs
lola: 2760855 markings, 6423728 edges, 13514 markings/sec, 190 secs
lola: 2826854 markings, 6590855 edges, 13200 markings/sec, 195 secs
lola: 2890322 markings, 6757858 edges, 12694 markings/sec, 200 secs
lola: 2952773 markings, 6924886 edges, 12490 markings/sec, 205 secs
lola: 3017236 markings, 7092171 edges, 12893 markings/sec, 210 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: 2314860 KB
lola: time consumption: 2048 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1098)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1098)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 43584 markings, 60717 edges, 8717 markings/sec, 0 secs
lola: 151917 markings, 228845 edges, 21667 markings/sec, 5 secs
lola: 250515 markings, 397160 edges, 19720 markings/sec, 10 secs
lola: 346749 markings, 564888 edges, 19247 markings/sec, 15 secs
lola: 442907 markings, 732395 edges, 19232 markings/sec, 20 secs
lola: 537539 markings, 899535 edges, 18926 markings/sec, 25 secs
lola: 631575 markings, 1066537 edges, 18807 markings/sec, 30 secs
lola: 726590 markings, 1233386 edges, 19003 markings/sec, 35 secs
lola: 821027 markings, 1400019 edges, 18887 markings/sec, 40 secs
lola: 914661 markings, 1566595 edges, 18727 markings/sec, 45 secs
lola: 1009102 markings, 1733086 edges, 18888 markings/sec, 50 secs
lola: 1104829 markings, 1899532 edges, 19145 markings/sec, 55 secs
lola: 1199481 markings, 2065845 edges, 18930 markings/sec, 60 secs
lola: 1293875 markings, 2232158 edges, 18879 markings/sec, 65 secs
lola: 1387849 markings, 2398378 edges, 18795 markings/sec, 70 secs
lola: 1483491 markings, 2564574 edges, 19128 markings/sec, 75 secs
lola: 1578962 markings, 2730813 edges, 19094 markings/sec, 80 secs
lola: 1674123 markings, 2896985 edges, 19032 markings/sec, 85 secs
lola: 1770019 markings, 3062972 edges, 19179 markings/sec, 90 secs
lola: 1864873 markings, 3229054 edges, 18971 markings/sec, 95 secs
lola: 1960439 markings, 3395202 edges, 19113 markings/sec, 100 secs
lola: 2055616 markings, 3561385 edges, 19035 markings/sec, 105 secs
lola: 2151566 markings, 3727623 edges, 19190 markings/sec, 110 secs
lola: 2247339 markings, 3893800 edges, 19155 markings/sec, 115 secs
lola: 2343756 markings, 4059935 edges, 19283 markings/sec, 120 secs
lola: 2438836 markings, 4226027 edges, 19016 markings/sec, 125 secs
lola: 2535534 markings, 4392536 edges, 19340 markings/sec, 130 secs
lola: 2630371 markings, 4558658 edges, 18967 markings/sec, 135 secs
lola: 2727338 markings, 4724719 edges, 19393 markings/sec, 140 secs
lola: 2822737 markings, 4890747 edges, 19080 markings/sec, 145 secs
lola: 2918623 markings, 5056715 edges, 19177 markings/sec, 150 secs
lola: 3013413 markings, 5222652 edges, 18958 markings/sec, 155 secs
lola: 3109436 markings, 5388392 edges, 19205 markings/sec, 160 secs
lola: 3206081 markings, 5554243 edges, 19329 markings/sec, 165 secs
lola: 3301969 markings, 5720061 edges, 19178 markings/sec, 170 secs
lola: 3396839 markings, 5885820 edges, 18974 markings/sec, 175 secs
lola: 3492145 markings, 6051566 edges, 19061 markings/sec, 180 secs
lola: 3589384 markings, 6217270 edges, 19448 markings/sec, 185 secs
lola: 3685655 markings, 6382975 edges, 19254 markings/sec, 190 secs
lola: 3781587 markings, 6548566 edges, 19186 markings/sec, 195 secs
lola: 3878257 markings, 6714148 edges, 19334 markings/sec, 200 secs
lola: 3973800 markings, 6879713 edges, 19109 markings/sec, 205 secs
lola: 4071296 markings, 7044923 edges, 19499 markings/sec, 210 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: 3622432 KB
lola: time consumption: 2265 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1700)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1700)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 28436 markings, 65503 edges, 5687 markings/sec, 0 secs
lola: 87858 markings, 234927 edges, 11884 markings/sec, 5 secs
lola: 142204 markings, 403465 edges, 10869 markings/sec, 10 secs
lola: 194071 markings, 571616 edges, 10373 markings/sec, 15 secs
lola: 243769 markings, 739596 edges, 9940 markings/sec, 20 secs
lola: 293603 markings, 907372 edges, 9967 markings/sec, 25 secs
lola: 341322 markings, 1075134 edges, 9544 markings/sec, 30 secs
lola: 388381 markings, 1242558 edges, 9412 markings/sec, 35 secs
lola: 435203 markings, 1410123 edges, 9364 markings/sec, 40 secs
lola: 477069 markings, 1567231 edges, 8373 markings/sec, 45 secs
lola: 521933 markings, 1733806 edges, 8973 markings/sec, 50 secs
lola: 567632 markings, 1900150 edges, 9140 markings/sec, 55 secs
lola: 611099 markings, 2066706 edges, 8693 markings/sec, 60 secs
lola: 655109 markings, 2232972 edges, 8802 markings/sec, 65 secs
lola: 698817 markings, 2398790 edges, 8742 markings/sec, 70 secs
lola: 742278 markings, 2564012 edges, 8692 markings/sec, 75 secs
lola: 784904 markings, 2729283 edges, 8525 markings/sec, 80 secs
lola: 827702 markings, 2894429 edges, 8560 markings/sec, 85 secs
lola: 869914 markings, 3059668 edges, 8442 markings/sec, 90 secs
lola: 912427 markings, 3224944 edges, 8503 markings/sec, 95 secs
lola: 954282 markings, 3390214 edges, 8371 markings/sec, 100 secs
lola: 996890 markings, 3555205 edges, 8522 markings/sec, 105 secs
lola: 1038404 markings, 3720442 edges, 8303 markings/sec, 110 secs
lola: 1079842 markings, 3885766 edges, 8288 markings/sec, 115 secs
lola: 1120533 markings, 4048706 edges, 8138 markings/sec, 120 secs
lola: 1162115 markings, 4213014 edges, 8316 markings/sec, 125 secs
lola: 1204496 markings, 4378360 edges, 8476 markings/sec, 130 secs
lola: 1244656 markings, 4544033 edges, 8032 markings/sec, 135 secs
lola: 1285558 markings, 4709508 edges, 8180 markings/sec, 140 secs
lola: 1325601 markings, 4875193 edges, 8009 markings/sec, 145 secs
lola: 1366844 markings, 5040062 edges, 8249 markings/sec, 150 secs
lola: 1407802 markings, 5205161 edges, 8192 markings/sec, 155 secs
lola: 1448161 markings, 5370496 edges, 8072 markings/sec, 160 secs
lola: 1488553 markings, 5535683 edges, 8078 markings/sec, 165 secs
lola: 1528800 markings, 5701050 edges, 8049 markings/sec, 170 secs
lola: 1568794 markings, 5865971 edges, 7999 markings/sec, 175 secs
lola: 1609640 markings, 6030682 edges, 8169 markings/sec, 180 secs
lola: 1647958 markings, 6196060 edges, 7664 markings/sec, 185 secs
lola: 1688111 markings, 6361075 edges, 8031 markings/sec, 190 secs
lola: 1728414 markings, 6526274 edges, 8061 markings/sec, 195 secs
lola: 1767923 markings, 6690621 edges, 7902 markings/sec, 200 secs
lola: 1805414 markings, 6853483 edges, 7498 markings/sec, 205 secs
lola: 1843801 markings, 7016193 edges, 7677 markings/sec, 210 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: 1753756 KB
lola: time consumption: 2483 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p215)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 23863 markings, 53158 edges, 4773 markings/sec, 0 secs
lola: 83418 markings, 221570 edges, 11911 markings/sec, 5 secs
lola: 137909 markings, 389677 edges, 10898 markings/sec, 10 secs
lola: 189848 markings, 557712 edges, 10388 markings/sec, 15 secs
lola: 239816 markings, 725708 edges, 9994 markings/sec, 20 secs
lola: 289557 markings, 893708 edges, 9948 markings/sec, 25 secs
lola: 337627 markings, 1061709 edges, 9614 markings/sec, 30 secs
lola: 384966 markings, 1229723 edges, 9468 markings/sec, 35 secs
lola: 431761 markings, 1397774 edges, 9359 markings/sec, 40 secs
lola: 476718 markings, 1565752 edges, 8991 markings/sec, 45 secs
lola: 521846 markings, 1733641 edges, 9026 markings/sec, 50 secs
lola: 567983 markings, 1901627 edges, 9227 markings/sec, 55 secs
lola: 611902 markings, 2069704 edges, 8784 markings/sec, 60 secs
lola: 649063 markings, 2210577 edges, 7432 markings/sec, 65 secs
lola: 693680 markings, 2378369 edges, 8923 markings/sec, 70 secs
lola: 737759 markings, 2546293 edges, 8816 markings/sec, 75 secs
lola: 780735 markings, 2714190 edges, 8595 markings/sec, 80 secs
lola: 824283 markings, 2882026 edges, 8710 markings/sec, 85 secs
lola: 867466 markings, 3049898 edges, 8637 markings/sec, 90 secs
lola: 910819 markings, 3217738 edges, 8671 markings/sec, 95 secs
lola: 953132 markings, 3385587 edges, 8463 markings/sec, 100 secs
lola: 996382 markings, 3553406 edges, 8650 markings/sec, 105 secs
lola: 1038675 markings, 3721280 edges, 8459 markings/sec, 110 secs
lola: 1080643 markings, 3889009 edges, 8394 markings/sec, 115 secs
lola: 1122701 markings, 4056787 edges, 8412 markings/sec, 120 secs
lola: 1165410 markings, 4224628 edges, 8542 markings/sec, 125 secs
lola: 1207883 markings, 4392372 edges, 8495 markings/sec, 130 secs
lola: 1248872 markings, 4560279 edges, 8198 markings/sec, 135 secs
lola: 1289921 markings, 4727978 edges, 8210 markings/sec, 140 secs
lola: 1330976 markings, 4895588 edges, 8211 markings/sec, 145 secs
lola: 1372382 markings, 5063119 edges, 8281 markings/sec, 150 secs
lola: 1414295 markings, 5230764 edges, 8383 markings/sec, 155 secs
lola: 1454892 markings, 5398223 edges, 8119 markings/sec, 160 secs
lola: 1496247 markings, 5566041 edges, 8271 markings/sec, 165 secs
lola: 1537031 markings, 5733698 edges, 8157 markings/sec, 170 secs
lola: 1576040 markings, 5894241 edges, 7802 markings/sec, 175 secs
lola: 1616507 markings, 6061971 edges, 8093 markings/sec, 180 secs
lola: 1655598 markings, 6229852 edges, 7818 markings/sec, 185 secs
lola: 1697129 markings, 6397685 edges, 8306 markings/sec, 190 secs
lola: 1738244 markings, 6565349 edges, 8223 markings/sec, 195 secs
lola: 1777641 markings, 6733215 edges, 7879 markings/sec, 200 secs
lola: 1816458 markings, 6901058 edges, 7763 markings/sec, 205 secs
lola: 1857204 markings, 7068839 edges, 8149 markings/sec, 210 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: 2307140 KB
lola: time consumption: 2700 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1806)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1806)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 32630 markings, 65113 edges, 6526 markings/sec, 0 secs
lola: 109420 markings, 234019 edges, 15358 markings/sec, 5 secs
lola: 185460 markings, 402607 edges, 15208 markings/sec, 10 secs
lola: 262409 markings, 571093 edges, 15390 markings/sec, 15 secs
lola: 337427 markings, 739022 edges, 15004 markings/sec, 20 secs
lola: 412348 markings, 906903 edges, 14984 markings/sec, 25 secs
lola: 486740 markings, 1074808 edges, 14878 markings/sec, 30 secs
lola: 561508 markings, 1242346 edges, 14954 markings/sec, 35 secs
lola: 635285 markings, 1409805 edges, 14755 markings/sec, 40 secs
lola: 709836 markings, 1577299 edges, 14910 markings/sec, 45 secs
lola: 785141 markings, 1744856 edges, 15061 markings/sec, 50 secs
lola: 859526 markings, 1912193 edges, 14877 markings/sec, 55 secs
lola: 933675 markings, 2079388 edges, 14830 markings/sec, 60 secs
lola: 1007201 markings, 2246325 edges, 14705 markings/sec, 65 secs
lola: 1082036 markings, 2413209 edges, 14967 markings/sec, 70 secs
lola: 1156813 markings, 2580419 edges, 14955 markings/sec, 75 secs
lola: 1230884 markings, 2747459 edges, 14814 markings/sec, 80 secs
lola: 1304399 markings, 2914220 edges, 14703 markings/sec, 85 secs
lola: 1379027 markings, 3081250 edges, 14926 markings/sec, 90 secs
lola: 1451678 markings, 3247798 edges, 14530 markings/sec, 95 secs
lola: 1525937 markings, 3414393 edges, 14852 markings/sec, 100 secs
lola: 1598762 markings, 3580898 edges, 14565 markings/sec, 105 secs
lola: 1669237 markings, 3747268 edges, 14095 markings/sec, 110 secs
lola: 1738770 markings, 3913590 edges, 13907 markings/sec, 115 secs
lola: 1807323 markings, 4079899 edges, 13711 markings/sec, 120 secs
lola: 1875692 markings, 4246107 edges, 13674 markings/sec, 125 secs
lola: 1942352 markings, 4411288 edges, 13332 markings/sec, 130 secs
lola: 2010390 markings, 4575896 edges, 13608 markings/sec, 135 secs
lola: 2078658 markings, 4740467 edges, 13654 markings/sec, 140 secs
lola: 2148024 markings, 4906335 edges, 13873 markings/sec, 145 secs
lola: 2215260 markings, 5072359 edges, 13447 markings/sec, 150 secs
lola: 2282303 markings, 5238247 edges, 13409 markings/sec, 155 secs
lola: 2350550 markings, 5403882 edges, 13649 markings/sec, 160 secs
lola: 2417519 markings, 5569705 edges, 13394 markings/sec, 165 secs
lola: 2484007 markings, 5735308 edges, 13298 markings/sec, 170 secs
lola: 2550869 markings, 5901055 edges, 13372 markings/sec, 175 secs
lola: 2615931 markings, 6066942 edges, 13012 markings/sec, 180 secs
lola: 2682768 markings, 6232618 edges, 13367 markings/sec, 185 secs
lola: 2751664 markings, 6398121 edges, 13779 markings/sec, 190 secs
lola: 2816852 markings, 6563785 edges, 13038 markings/sec, 195 secs
lola: 2879840 markings, 6729337 edges, 12598 markings/sec, 200 secs
lola: 2941618 markings, 6894838 edges, 12356 markings/sec, 205 secs
lola: 3004906 markings, 7060521 edges, 12658 markings/sec, 210 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: 3856008 KB
lola: time consumption: 2917 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2155)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2155)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 29289 markings, 67612 edges, 5858 markings/sec, 0 secs
lola: 88159 markings, 236045 edges, 11774 markings/sec, 5 secs
lola: 142351 markings, 404169 edges, 10838 markings/sec, 10 secs
lola: 194328 markings, 572183 edges, 10395 markings/sec, 15 secs
lola: 243921 markings, 740090 edges, 9919 markings/sec, 20 secs
lola: 293782 markings, 908023 edges, 9972 markings/sec, 25 secs
lola: 341597 markings, 1075822 edges, 9563 markings/sec, 30 secs
lola: 388638 markings, 1243516 edges, 9408 markings/sec, 35 secs
lola: 435541 markings, 1411271 edges, 9381 markings/sec, 40 secs
lola: 480242 markings, 1578903 edges, 8940 markings/sec, 45 secs
lola: 525390 markings, 1746491 edges, 9030 markings/sec, 50 secs
lola: 571449 markings, 1914008 edges, 9212 markings/sec, 55 secs
lola: 615148 markings, 2081617 edges, 8740 markings/sec, 60 secs
lola: 659179 markings, 2248938 edges, 8806 markings/sec, 65 secs
lola: 703872 markings, 2416260 edges, 8939 markings/sec, 70 secs
lola: 746937 markings, 2583650 edges, 8613 markings/sec, 75 secs
lola: 790724 markings, 2750886 edges, 8757 markings/sec, 80 secs
lola: 834015 markings, 2918148 edges, 8658 markings/sec, 85 secs
lola: 876545 markings, 3085415 edges, 8506 markings/sec, 90 secs
lola: 919453 markings, 3252597 edges, 8582 markings/sec, 95 secs
lola: 961854 markings, 3419739 edges, 8480 markings/sec, 100 secs
lola: 1004626 markings, 3586863 edges, 8554 markings/sec, 105 secs
lola: 1046631 markings, 3753844 edges, 8401 markings/sec, 110 secs
lola: 1088951 markings, 3920828 edges, 8464 markings/sec, 115 secs
lola: 1130334 markings, 4087856 edges, 8277 markings/sec, 120 secs
lola: 1173239 markings, 4254780 edges, 8581 markings/sec, 125 secs
lola: 1214730 markings, 4421765 edges, 8298 markings/sec, 130 secs
lola: 1256247 markings, 4588736 edges, 8303 markings/sec, 135 secs
lola: 1297121 markings, 4755679 edges, 8175 markings/sec, 140 secs
lola: 1337892 markings, 4922663 edges, 8154 markings/sec, 145 secs
lola: 1379229 markings, 5089489 edges, 8267 markings/sec, 150 secs
lola: 1420600 markings, 5256470 edges, 8274 markings/sec, 155 secs
lola: 1461397 markings, 5423241 edges, 8159 markings/sec, 160 secs
lola: 1501602 markings, 5590110 edges, 8041 markings/sec, 165 secs
lola: 1542119 markings, 5756911 edges, 8103 markings/sec, 170 secs
lola: 1583408 markings, 5923561 edges, 8258 markings/sec, 175 secs
lola: 1622962 markings, 6090377 edges, 7911 markings/sec, 180 secs
lola: 1663000 markings, 6257195 edges, 8008 markings/sec, 185 secs
lola: 1703402 markings, 6423875 edges, 8080 markings/sec, 190 secs
lola: 1744136 markings, 6590486 edges, 8147 markings/sec, 195 secs
lola: 1783267 markings, 6757224 edges, 7826 markings/sec, 200 secs
lola: 1822032 markings, 6923989 edges, 7753 markings/sec, 205 secs
lola: 1862509 markings, 7090724 edges, 8095 markings/sec, 210 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: 2394396 KB
lola: time consumption: 3134 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1161)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 32630 markings, 65111 edges, 6526 markings/sec, 0 secs
lola: 109915 markings, 235157 edges, 15457 markings/sec, 5 secs
lola: 186274 markings, 404516 edges, 15272 markings/sec, 10 secs
lola: 263530 markings, 573484 edges, 15451 markings/sec, 15 secs
lola: 338816 markings, 741973 edges, 15057 markings/sec, 20 secs
lola: 413835 markings, 910206 edges, 15004 markings/sec, 25 secs
lola: 488200 markings, 1078263 edges, 14873 markings/sec, 30 secs
lola: 563447 markings, 1246105 edges, 15049 markings/sec, 35 secs
lola: 637072 markings, 1413839 edges, 14725 markings/sec, 40 secs
lola: 711476 markings, 1581231 edges, 14881 markings/sec, 45 secs
lola: 786983 markings, 1748856 edges, 15101 markings/sec, 50 secs
lola: 861361 markings, 1916301 edges, 14876 markings/sec, 55 secs
lola: 935744 markings, 2083688 edges, 14877 markings/sec, 60 secs
lola: 1009254 markings, 2250901 edges, 14702 markings/sec, 65 secs
lola: 1084181 markings, 2418065 edges, 14985 markings/sec, 70 secs
lola: 1158969 markings, 2585374 edges, 14958 markings/sec, 75 secs
lola: 1233028 markings, 2752564 edges, 14812 markings/sec, 80 secs
lola: 1306728 markings, 2919611 edges, 14740 markings/sec, 85 secs
lola: 1381697 markings, 3086950 edges, 14994 markings/sec, 90 secs
lola: 1454454 markings, 3254002 edges, 14551 markings/sec, 95 secs
lola: 1528833 markings, 3421161 edges, 14876 markings/sec, 100 secs
lola: 1601860 markings, 3588282 edges, 14605 markings/sec, 105 secs
lola: 1672572 markings, 3755044 edges, 14142 markings/sec, 110 secs
lola: 1742204 markings, 3921794 edges, 13926 markings/sec, 115 secs
lola: 1810880 markings, 4088742 edges, 13735 markings/sec, 120 secs
lola: 1879597 markings, 4255546 edges, 13743 markings/sec, 125 secs
lola: 1947059 markings, 4422276 edges, 13492 markings/sec, 130 secs
lola: 2015873 markings, 4589032 edges, 13763 markings/sec, 135 secs
lola: 2085883 markings, 4755778 edges, 14002 markings/sec, 140 secs
lola: 2154694 markings, 4922648 edges, 13762 markings/sec, 145 secs
lola: 2222070 markings, 5089505 edges, 13475 markings/sec, 150 secs
lola: 2289927 markings, 5256251 edges, 13571 markings/sec, 155 secs
lola: 2358539 markings, 5421802 edges, 13722 markings/sec, 160 secs
lola: 2424051 markings, 5586405 edges, 13102 markings/sec, 165 secs
lola: 2491670 markings, 5752863 edges, 13524 markings/sec, 170 secs
lola: 2558271 markings, 5919692 edges, 13320 markings/sec, 175 secs
lola: 2624260 markings, 6086728 edges, 13198 markings/sec, 180 secs
lola: 2691650 markings, 6253387 edges, 13478 markings/sec, 185 secs
lola: 2759570 markings, 6420254 edges, 13584 markings/sec, 190 secs
lola: 2825400 markings, 6587244 edges, 13166 markings/sec, 195 secs
lola: 2888682 markings, 6754058 edges, 12656 markings/sec, 200 secs
lola: 2951488 markings, 6920777 edges, 12561 markings/sec, 205 secs
lola: 3015056 markings, 7087927 edges, 12714 markings/sec, 210 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: 2121088 KB
lola: time consumption: 3352 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1511)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1511)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 33010 markings, 66000 edges, 6602 markings/sec, 0 secs
lola: 111002 markings, 237517 edges, 15598 markings/sec, 5 secs
lola: 188035 markings, 408608 edges, 15407 markings/sec, 10 secs
lola: 266082 markings, 579398 edges, 15609 markings/sec, 15 secs
lola: 342335 markings, 750021 edges, 15251 markings/sec, 20 secs
lola: 418469 markings, 920527 edges, 15227 markings/sec, 25 secs
lola: 493945 markings, 1090917 edges, 15095 markings/sec, 30 secs
lola: 570268 markings, 1261182 edges, 15265 markings/sec, 35 secs
lola: 644561 markings, 1431380 edges, 14859 markings/sec, 40 secs
lola: 720376 markings, 1601443 edges, 15163 markings/sec, 45 secs
lola: 797480 markings, 1771529 edges, 15421 markings/sec, 50 secs
lola: 872652 markings, 1941547 edges, 15034 markings/sec, 55 secs
lola: 948166 markings, 2111414 edges, 15103 markings/sec, 60 secs
lola: 1023202 markings, 2281075 edges, 15007 markings/sec, 65 secs
lola: 1099172 markings, 2450805 edges, 15194 markings/sec, 70 secs
lola: 1173877 markings, 2620592 edges, 14941 markings/sec, 75 secs
lola: 1249944 markings, 2790277 edges, 15213 markings/sec, 80 secs
lola: 1324969 markings, 2959951 edges, 15005 markings/sec, 85 secs
lola: 1400964 markings, 3129619 edges, 15199 markings/sec, 90 secs
lola: 1475471 markings, 3299165 edges, 14901 markings/sec, 95 secs
lola: 1549828 markings, 3468654 edges, 14871 markings/sec, 100 secs
lola: 1623053 markings, 3638179 edges, 14645 markings/sec, 105 secs
lola: 1694468 markings, 3807603 edges, 14283 markings/sec, 110 secs
lola: 1765079 markings, 3976990 edges, 14122 markings/sec, 115 secs
lola: 1834519 markings, 4146452 edges, 13888 markings/sec, 120 secs
lola: 1904106 markings, 4315841 edges, 13917 markings/sec, 125 secs
lola: 1973818 markings, 4484705 edges, 13942 markings/sec, 130 secs
lola: 2042819 markings, 4654131 edges, 13800 markings/sec, 135 secs
lola: 2114105 markings, 4823460 edges, 14257 markings/sec, 140 secs
lola: 2183122 markings, 4992768 edges, 13803 markings/sec, 145 secs
lola: 2252296 markings, 5162062 edges, 13835 markings/sec, 150 secs
lola: 2320599 markings, 5331456 edges, 13661 markings/sec, 155 secs
lola: 2389494 markings, 5500821 edges, 13779 markings/sec, 160 secs
lola: 2457000 markings, 5670113 edges, 13501 markings/sec, 165 secs
lola: 2524218 markings, 5839254 edges, 13444 markings/sec, 170 secs
lola: 2593083 markings, 6008545 edges, 13773 markings/sec, 175 secs
lola: 2659625 markings, 6177903 edges, 13308 markings/sec, 180 secs
lola: 2730036 markings, 6347078 edges, 14082 markings/sec, 185 secs
lola: 2798146 markings, 6516492 edges, 13622 markings/sec, 190 secs
lola: 2863095 markings, 6685812 edges, 12990 markings/sec, 195 secs
lola: 2927371 markings, 6855197 edges, 12855 markings/sec, 200 secs
lola: 2990632 markings, 7024709 edges, 12652 markings/sec, 205 secs
lola: 3056972 markings, 7193982 edges, 13268 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 430228 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 430228 KB
lola: time consumption: 3570 seconds

BK_STOP 1526852602950

--------------------
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="JoinFreeModules-PT-0500"
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/JoinFreeModules-PT-0500.tgz
mv JoinFreeModules-PT-0500 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 JoinFreeModules-PT-0500, 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 r100-smll-152658630900282"
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 ;