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 5.8M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 5.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-1000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900289
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526857117663

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-1000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-1000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-1000 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13002/65536 symbol table entries, 4014 collisions
lola: preprocessing...
lola: Size of bit vector: 160032
lola: finding significant places
lola: 5001 places, 8001 transitions, 4000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9001 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-1000-UpperBounds.task
lola: MAX(p859) : MAX(p4850) : MAX(p2576) : MAX(p4213) : MAX(p1201) : MAX(p4038) : MAX(p3321) : MAX(p3817) : MAX(p2952) : MAX(p361) : MAX(p3803) : MAX(p2381) : MAX(p2702) : MAX(p4266) : MAX(p1938) : MAX(p197)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p859)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p859)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 29693 markings, 78350 edges, 5939 markings/sec, 30 secs
lola: 56752 markings, 160551 edges, 5412 markings/sec, 35 secs
lola: 82966 markings, 242714 edges, 5243 markings/sec, 40 secs
lola: 108595 markings, 324895 edges, 5126 markings/sec, 45 secs
lola: 133837 markings, 407078 edges, 5048 markings/sec, 50 secs
lola: 158232 markings, 489237 edges, 4879 markings/sec, 55 secs
lola: 183159 markings, 571385 edges, 4985 markings/sec, 60 secs
lola: 208134 markings, 653522 edges, 4995 markings/sec, 65 secs
lola: 232770 markings, 735623 edges, 4927 markings/sec, 70 secs
lola: 257097 markings, 817743 edges, 4865 markings/sec, 75 secs
lola: 281442 markings, 899875 edges, 4869 markings/sec, 80 secs
lola: 305562 markings, 981978 edges, 4824 markings/sec, 85 secs
lola: 329345 markings, 1064064 edges, 4757 markings/sec, 90 secs
lola: 353124 markings, 1146152 edges, 4756 markings/sec, 95 secs
lola: 376850 markings, 1228204 edges, 4745 markings/sec, 100 secs
lola: 400635 markings, 1310267 edges, 4757 markings/sec, 105 secs
lola: 424623 markings, 1392323 edges, 4798 markings/sec, 110 secs
lola: 448033 markings, 1474378 edges, 4682 markings/sec, 115 secs
lola: 471964 markings, 1556381 edges, 4786 markings/sec, 120 secs
lola: 495555 markings, 1638413 edges, 4718 markings/sec, 125 secs
lola: 518860 markings, 1720439 edges, 4661 markings/sec, 130 secs
lola: 542045 markings, 1802424 edges, 4637 markings/sec, 135 secs
lola: 565438 markings, 1884431 edges, 4679 markings/sec, 140 secs
lola: 588721 markings, 1966405 edges, 4657 markings/sec, 145 secs
lola: 611946 markings, 2048367 edges, 4645 markings/sec, 150 secs
lola: 635248 markings, 2130368 edges, 4660 markings/sec, 155 secs
lola: 658413 markings, 2212360 edges, 4633 markings/sec, 160 secs
lola: 681639 markings, 2294307 edges, 4645 markings/sec, 165 secs
lola: 704902 markings, 2376293 edges, 4653 markings/sec, 170 secs
lola: 728327 markings, 2458254 edges, 4685 markings/sec, 175 secs
lola: 751673 markings, 2540183 edges, 4669 markings/sec, 180 secs
lola: 774724 markings, 2622145 edges, 4610 markings/sec, 185 secs
lola: 797913 markings, 2704099 edges, 4638 markings/sec, 190 secs
lola: 820583 markings, 2786032 edges, 4534 markings/sec, 195 secs
lola: 843404 markings, 2867978 edges, 4564 markings/sec, 200 secs
lola: 866565 markings, 2949894 edges, 4632 markings/sec, 205 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: 132240 KB
lola: time consumption: 379 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4850)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4850)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 30706 markings, 69673 edges, 6141 markings/sec, 30 secs
lola: 59984 markings, 150822 edges, 5856 markings/sec, 35 secs
lola: 85940 markings, 227150 edges, 5191 markings/sec, 40 secs
lola: 112270 markings, 307757 edges, 5266 markings/sec, 45 secs
lola: 138117 markings, 388290 edges, 5169 markings/sec, 50 secs
lola: 163463 markings, 468818 edges, 5069 markings/sec, 55 secs
lola: 186741 markings, 545137 edges, 4656 markings/sec, 60 secs
lola: 210663 markings, 625827 edges, 4784 markings/sec, 65 secs
lola: 234643 markings, 706455 edges, 4796 markings/sec, 70 secs
lola: 258639 markings, 787029 edges, 4799 markings/sec, 75 secs
lola: 282271 markings, 867600 edges, 4726 markings/sec, 80 secs
lola: 305735 markings, 948137 edges, 4693 markings/sec, 85 secs
lola: 327208 markings, 1023934 edges, 4295 markings/sec, 90 secs
lola: 350565 markings, 1104170 edges, 4671 markings/sec, 95 secs
lola: 371961 markings, 1180114 edges, 4279 markings/sec, 100 secs
lola: 394009 markings, 1260436 edges, 4410 markings/sec, 105 secs
lola: 415274 markings, 1336256 edges, 4253 markings/sec, 110 secs
lola: 437587 markings, 1416350 edges, 4463 markings/sec, 115 secs
lola: 458877 markings, 1496481 edges, 4258 markings/sec, 120 secs
lola: 479139 markings, 1572278 edges, 4052 markings/sec, 125 secs
lola: 500806 markings, 1652441 edges, 4333 markings/sec, 130 secs
lola: 521322 markings, 1729936 edges, 4103 markings/sec, 135 secs
lola: 543064 markings, 1809018 edges, 4348 markings/sec, 140 secs
lola: 565079 markings, 1889033 edges, 4403 markings/sec, 145 secs
lola: 586497 markings, 1969077 edges, 4284 markings/sec, 150 secs
lola: 606747 markings, 2046626 edges, 4050 markings/sec, 155 secs
lola: 626270 markings, 2122278 edges, 3905 markings/sec, 160 secs
lola: 646697 markings, 2198008 edges, 4085 markings/sec, 165 secs
lola: 666547 markings, 2273679 edges, 3970 markings/sec, 170 secs
lola: 687122 markings, 2350174 edges, 4115 markings/sec, 175 secs
lola: 708222 markings, 2430125 edges, 4220 markings/sec, 180 secs
lola: 728771 markings, 2510130 edges, 4110 markings/sec, 185 secs
lola: 749187 markings, 2590125 edges, 4083 markings/sec, 190 secs
lola: 769128 markings, 2670131 edges, 3988 markings/sec, 195 secs
lola: 791141 markings, 2750136 edges, 4403 markings/sec, 200 secs
lola: 812020 markings, 2830169 edges, 4176 markings/sec, 205 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: 1641488 KB
lola: time consumption: 591 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2576)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2576)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 37147 markings, 75083 edges, 7429 markings/sec, 30 secs
lola: 74010 markings, 156238 edges, 7373 markings/sec, 35 secs
lola: 110856 markings, 237221 edges, 7369 markings/sec, 40 secs
lola: 147178 markings, 318124 edges, 7264 markings/sec, 45 secs
lola: 183830 markings, 398953 edges, 7330 markings/sec, 50 secs
lola: 220599 markings, 479739 edges, 7354 markings/sec, 55 secs
lola: 257367 markings, 560467 edges, 7354 markings/sec, 60 secs
lola: 294132 markings, 641112 edges, 7353 markings/sec, 65 secs
lola: 330074 markings, 721774 edges, 7188 markings/sec, 70 secs
lola: 365553 markings, 802445 edges, 7096 markings/sec, 75 secs
lola: 401771 markings, 883073 edges, 7244 markings/sec, 80 secs
lola: 437314 markings, 963545 edges, 7109 markings/sec, 85 secs
lola: 473162 markings, 1044148 edges, 7170 markings/sec, 90 secs
lola: 509018 markings, 1124707 edges, 7171 markings/sec, 95 secs
lola: 545115 markings, 1205289 edges, 7219 markings/sec, 100 secs
lola: 581249 markings, 1285863 edges, 7227 markings/sec, 105 secs
lola: 616709 markings, 1366444 edges, 7092 markings/sec, 110 secs
lola: 651426 markings, 1447047 edges, 6943 markings/sec, 115 secs
lola: 687524 markings, 1527624 edges, 7220 markings/sec, 120 secs
lola: 723529 markings, 1608180 edges, 7201 markings/sec, 125 secs
lola: 760529 markings, 1688782 edges, 7400 markings/sec, 130 secs
lola: 796378 markings, 1769388 edges, 7170 markings/sec, 135 secs
lola: 831893 markings, 1849954 edges, 7103 markings/sec, 140 secs
lola: 867923 markings, 1930522 edges, 7206 markings/sec, 145 secs
lola: 903254 markings, 2011124 edges, 7066 markings/sec, 150 secs
lola: 939358 markings, 2091679 edges, 7221 markings/sec, 155 secs
lola: 975226 markings, 2172224 edges, 7174 markings/sec, 160 secs
lola: 1009999 markings, 2252774 edges, 6955 markings/sec, 165 secs
lola: 1046228 markings, 2333262 edges, 7246 markings/sec, 170 secs
lola: 1082387 markings, 2413746 edges, 7232 markings/sec, 175 secs
lola: 1118146 markings, 2494297 edges, 7152 markings/sec, 180 secs
lola: 1154380 markings, 2574834 edges, 7247 markings/sec, 185 secs
lola: 1189500 markings, 2655327 edges, 7024 markings/sec, 190 secs
lola: 1225920 markings, 2735735 edges, 7284 markings/sec, 195 secs
lola: 1261136 markings, 2816127 edges, 7043 markings/sec, 200 secs
lola: 1296523 markings, 2896543 edges, 7077 markings/sec, 205 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: 1031088 KB
lola: time consumption: 803 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4213)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4213)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 48541 markings, 66511 edges, 9708 markings/sec, 30 secs
lola: 100355 markings, 139921 edges, 10363 markings/sec, 35 secs
lola: 151682 markings, 213169 edges, 10265 markings/sec, 40 secs
lola: 197297 markings, 286150 edges, 9123 markings/sec, 45 secs
lola: 246380 markings, 365037 edges, 9817 markings/sec, 50 secs
lola: 291847 markings, 438480 edges, 9093 markings/sec, 55 secs
lola: 339874 markings, 517546 edges, 9605 markings/sec, 60 secs
lola: 382383 markings, 590834 edges, 8502 markings/sec, 65 secs
lola: 427263 markings, 669624 edges, 8976 markings/sec, 70 secs
lola: 469884 markings, 742833 edges, 8524 markings/sec, 75 secs
lola: 509254 markings, 812386 edges, 7874 markings/sec, 80 secs
lola: 551861 markings, 885439 edges, 8521 markings/sec, 85 secs
lola: 593095 markings, 958399 edges, 8247 markings/sec, 90 secs
lola: 634901 markings, 1031324 edges, 8361 markings/sec, 95 secs
lola: 679101 markings, 1109834 edges, 8840 markings/sec, 100 secs
lola: 720093 markings, 1182737 edges, 8198 markings/sec, 105 secs
lola: 760695 markings, 1255653 edges, 8120 markings/sec, 110 secs
lola: 805663 markings, 1334212 edges, 8994 markings/sec, 115 secs
lola: 850256 markings, 1412765 edges, 8919 markings/sec, 120 secs
lola: 891595 markings, 1485643 edges, 8268 markings/sec, 125 secs
lola: 936127 markings, 1564068 edges, 8906 markings/sec, 130 secs
lola: 977513 markings, 1636996 edges, 8277 markings/sec, 135 secs
lola: 1021720 markings, 1715442 edges, 8841 markings/sec, 140 secs
lola: 1062673 markings, 1788319 edges, 8191 markings/sec, 145 secs
lola: 1103752 markings, 1861239 edges, 8216 markings/sec, 150 secs
lola: 1145219 markings, 1934089 edges, 8293 markings/sec, 155 secs
lola: 1187070 markings, 2006962 edges, 8370 markings/sec, 160 secs
lola: 1232372 markings, 2085369 edges, 9060 markings/sec, 165 secs
lola: 1273384 markings, 2158197 edges, 8202 markings/sec, 170 secs
lola: 1314627 markings, 2231087 edges, 8249 markings/sec, 175 secs
lola: 1356576 markings, 2303944 edges, 8390 markings/sec, 180 secs
lola: 1398577 markings, 2378317 edges, 8400 markings/sec, 185 secs
lola: 1440204 markings, 2451183 edges, 8325 markings/sec, 190 secs
lola: 1481247 markings, 2523953 edges, 8209 markings/sec, 195 secs
lola: 1522731 markings, 2596901 edges, 8297 markings/sec, 200 secs
lola: 1564199 markings, 2669671 edges, 8294 markings/sec, 205 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: 5021456 KB
lola: time consumption: 1015 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1201)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 37081 markings, 74937 edges, 7416 markings/sec, 30 secs
lola: 73879 markings, 155924 edges, 7360 markings/sec, 35 secs
lola: 110674 markings, 236851 edges, 7359 markings/sec, 40 secs
lola: 144375 markings, 311842 edges, 6740 markings/sec, 45 secs
lola: 180666 markings, 392283 edges, 7258 markings/sec, 50 secs
lola: 214931 markings, 467338 edges, 6853 markings/sec, 55 secs
lola: 251726 markings, 547954 edges, 7359 markings/sec, 60 secs
lola: 288209 markings, 628518 edges, 7297 markings/sec, 65 secs
lola: 322032 markings, 703298 edges, 6765 markings/sec, 70 secs
lola: 357151 markings, 783564 edges, 7024 markings/sec, 75 secs
lola: 390890 markings, 858357 edges, 6748 markings/sec, 80 secs
lola: 426314 markings, 938846 edges, 7085 markings/sec, 85 secs
lola: 458559 markings, 1010996 edges, 6449 markings/sec, 90 secs
lola: 489304 markings, 1080553 edges, 6149 markings/sec, 95 secs
lola: 524466 markings, 1159524 edges, 7032 markings/sec, 100 secs
lola: 560111 markings, 1239125 edges, 7129 markings/sec, 105 secs
lola: 595474 markings, 1318768 edges, 7073 markings/sec, 110 secs
lola: 628468 markings, 1393692 edges, 6599 markings/sec, 115 secs
lola: 663556 markings, 1474291 edges, 7018 markings/sec, 120 secs
lola: 699252 markings, 1553692 edges, 7139 markings/sec, 125 secs
lola: 734754 markings, 1633195 edges, 7100 markings/sec, 130 secs
lola: 771174 markings, 1712681 edges, 7284 markings/sec, 135 secs
lola: 806123 markings, 1792336 edges, 6990 markings/sec, 140 secs
lola: 841504 markings, 1872004 edges, 7076 markings/sec, 145 secs
lola: 877259 markings, 1951633 edges, 7151 markings/sec, 150 secs
lola: 912228 markings, 2031218 edges, 6994 markings/sec, 155 secs
lola: 948016 markings, 2110876 edges, 7158 markings/sec, 160 secs
lola: 983411 markings, 2190509 edges, 7079 markings/sec, 165 secs
lola: 1018040 markings, 2270155 edges, 6926 markings/sec, 170 secs
lola: 1053369 markings, 2349805 edges, 7066 markings/sec, 175 secs
lola: 1089113 markings, 2429548 edges, 7149 markings/sec, 180 secs
lola: 1124720 markings, 2509332 edges, 7121 markings/sec, 185 secs
lola: 1160615 markings, 2589114 edges, 7179 markings/sec, 190 secs
lola: 1195472 markings, 2668869 edges, 6971 markings/sec, 195 secs
lola: 1231461 markings, 2748622 edges, 7198 markings/sec, 200 secs
lola: 1266425 markings, 2828319 edges, 6993 markings/sec, 205 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: 1133436 KB
lola: time consumption: 1227 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4038)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4038)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 52589 markings, 72200 edges, 10518 markings/sec, 30 secs
lola: 107759 markings, 150474 edges, 11034 markings/sec, 35 secs
lola: 161457 markings, 228883 edges, 10740 markings/sec, 40 secs
lola: 210179 markings, 307075 edges, 9744 markings/sec, 45 secs
lola: 258897 markings, 385293 edges, 9744 markings/sec, 50 secs
lola: 307450 markings, 463538 edges, 9711 markings/sec, 55 secs
lola: 352016 markings, 538592 edges, 8913 markings/sec, 60 secs
lola: 397764 markings, 618316 edges, 9150 markings/sec, 65 secs
lola: 443534 markings, 697867 edges, 9154 markings/sec, 70 secs
lola: 488452 markings, 775728 edges, 8984 markings/sec, 75 secs
lola: 532906 markings, 853489 edges, 8891 markings/sec, 80 secs
lola: 578062 markings, 931319 edges, 9031 markings/sec, 85 secs
lola: 622434 markings, 1009125 edges, 8874 markings/sec, 90 secs
lola: 666645 markings, 1086974 edges, 8842 markings/sec, 95 secs
lola: 710191 markings, 1165331 edges, 8709 markings/sec, 100 secs
lola: 754044 markings, 1243941 edges, 8771 markings/sec, 105 secs
lola: 796655 markings, 1318273 edges, 8522 markings/sec, 110 secs
lola: 841606 markings, 1397517 edges, 8990 markings/sec, 115 secs
lola: 885743 markings, 1475193 edges, 8827 markings/sec, 120 secs
lola: 929873 markings, 1552839 edges, 8826 markings/sec, 125 secs
lola: 973734 markings, 1630397 edges, 8772 markings/sec, 130 secs
lola: 1017365 markings, 1707966 edges, 8726 markings/sec, 135 secs
lola: 1061218 markings, 1785636 edges, 8771 markings/sec, 140 secs
lola: 1102994 markings, 1859932 edges, 8355 markings/sec, 145 secs
lola: 1147921 markings, 1939051 edges, 8985 markings/sec, 150 secs
lola: 1193608 markings, 2018191 edges, 9137 markings/sec, 155 secs
lola: 1238323 markings, 2096222 edges, 8943 markings/sec, 160 secs
lola: 1282174 markings, 2173724 edges, 8770 markings/sec, 165 secs
lola: 1326471 markings, 2251359 edges, 8859 markings/sec, 170 secs
lola: 1370815 markings, 2328959 edges, 8869 markings/sec, 175 secs
lola: 1415092 markings, 2406626 edges, 8855 markings/sec, 180 secs
lola: 1458826 markings, 2484316 edges, 8747 markings/sec, 185 secs
lola: 1502615 markings, 2562007 edges, 8758 markings/sec, 190 secs
lola: 1547091 markings, 2639735 edges, 8895 markings/sec, 195 secs
lola: 1589335 markings, 2713444 edges, 8449 markings/sec, 200 secs
lola: 1634241 markings, 2791364 edges, 8981 markings/sec, 205 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: 4016464 KB
lola: time consumption: 1440 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3321)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3321)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 37645 markings, 76192 edges, 7529 markings/sec, 30 secs
lola: 73997 markings, 156208 edges, 7270 markings/sec, 35 secs
lola: 110220 markings, 235999 edges, 7245 markings/sec, 40 secs
lola: 145990 markings, 315640 edges, 7154 markings/sec, 45 secs
lola: 181467 markings, 394244 edges, 7095 markings/sec, 50 secs
lola: 214876 markings, 467181 edges, 6682 markings/sec, 55 secs
lola: 250370 markings, 544680 edges, 7099 markings/sec, 60 secs
lola: 285342 markings, 622125 edges, 6994 markings/sec, 65 secs
lola: 320311 markings, 699554 edges, 6994 markings/sec, 70 secs
lola: 352107 markings, 772330 edges, 6359 markings/sec, 75 secs
lola: 386879 markings, 849684 edges, 6954 markings/sec, 80 secs
lola: 421051 markings, 927041 edges, 6834 markings/sec, 85 secs
lola: 455569 markings, 1004426 edges, 6904 markings/sec, 90 secs
lola: 487778 markings, 1077202 edges, 6442 markings/sec, 95 secs
lola: 519865 markings, 1149163 edges, 6417 markings/sec, 100 secs
lola: 555190 markings, 1228313 edges, 7065 markings/sec, 105 secs
lola: 590571 markings, 1307486 edges, 7076 markings/sec, 110 secs
lola: 625431 markings, 1386607 edges, 6972 markings/sec, 115 secs
lola: 656397 markings, 1458602 edges, 6193 markings/sec, 120 secs
lola: 689147 markings, 1531284 edges, 6550 markings/sec, 125 secs
lola: 723733 markings, 1608638 edges, 6917 markings/sec, 130 secs
lola: 759254 markings, 1686051 edges, 7104 markings/sec, 135 secs
lola: 793706 markings, 1763473 edges, 6890 markings/sec, 140 secs
lola: 827792 markings, 1840924 edges, 6817 markings/sec, 145 secs
lola: 862226 markings, 1918338 edges, 6887 markings/sec, 150 secs
lola: 896615 markings, 1995850 edges, 6878 markings/sec, 155 secs
lola: 930999 markings, 2073349 edges, 6877 markings/sec, 160 secs
lola: 965715 markings, 2150890 edges, 6943 markings/sec, 165 secs
lola: 997484 markings, 2223694 edges, 6354 markings/sec, 170 secs
lola: 1032923 markings, 2302905 edges, 7088 markings/sec, 175 secs
lola: 1067841 markings, 2381998 edges, 6984 markings/sec, 180 secs
lola: 1103935 markings, 2461213 edges, 7219 markings/sec, 185 secs
lola: 1138195 markings, 2538691 edges, 6852 markings/sec, 190 secs
lola: 1171965 markings, 2616234 edges, 6754 markings/sec, 195 secs
lola: 1204244 markings, 2688981 edges, 6456 markings/sec, 200 secs
lola: 1239426 markings, 2766446 edges, 7036 markings/sec, 205 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: 3226740 KB
lola: time consumption: 1652 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3817)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3817)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 49401 markings, 75318 edges, 9880 markings/sec, 30 secs
lola: 97470 markings, 154383 edges, 9614 markings/sec, 35 secs
lola: 145599 markings, 233376 edges, 9626 markings/sec, 40 secs
lola: 193545 markings, 312317 edges, 9589 markings/sec, 45 secs
lola: 241608 markings, 391242 edges, 9613 markings/sec, 50 secs
lola: 289764 markings, 470156 edges, 9631 markings/sec, 55 secs
lola: 337619 markings, 549015 edges, 9571 markings/sec, 60 secs
lola: 385658 markings, 627933 edges, 9608 markings/sec, 65 secs
lola: 433748 markings, 706843 edges, 9618 markings/sec, 70 secs
lola: 481802 markings, 785733 edges, 9611 markings/sec, 75 secs
lola: 529800 markings, 864702 edges, 9600 markings/sec, 80 secs
lola: 577870 markings, 943666 edges, 9614 markings/sec, 85 secs
lola: 626064 markings, 1022743 edges, 9639 markings/sec, 90 secs
lola: 674239 markings, 1101881 edges, 9635 markings/sec, 95 secs
lola: 722478 markings, 1181185 edges, 9648 markings/sec, 100 secs
lola: 770860 markings, 1260703 edges, 9676 markings/sec, 105 secs
lola: 824488 markings, 1339593 edges, 10726 markings/sec, 110 secs
lola: 879961 markings, 1418863 edges, 11095 markings/sec, 115 secs
lola: 935783 markings, 1498513 edges, 11164 markings/sec, 120 secs
lola: 991544 markings, 1578072 edges, 11152 markings/sec, 125 secs
lola: 1047149 markings, 1657590 edges, 11121 markings/sec, 130 secs
lola: 1102839 markings, 1737003 edges, 11138 markings/sec, 135 secs
lola: 1158637 markings, 1816484 edges, 11160 markings/sec, 140 secs
lola: 1207673 markings, 1895953 edges, 9807 markings/sec, 145 secs
lola: 1255959 markings, 1975219 edges, 9657 markings/sec, 150 secs
lola: 1304059 markings, 2054473 edges, 9620 markings/sec, 155 secs
lola: 1352323 markings, 2133710 edges, 9653 markings/sec, 160 secs
lola: 1400267 markings, 2212554 edges, 9589 markings/sec, 165 secs
lola: 1448418 markings, 2291690 edges, 9630 markings/sec, 170 secs
lola: 1496824 markings, 2371071 edges, 9681 markings/sec, 175 secs
lola: 1545142 markings, 2450529 edges, 9664 markings/sec, 180 secs
lola: 1593483 markings, 2530029 edges, 9668 markings/sec, 185 secs
lola: 1641961 markings, 2609556 edges, 9696 markings/sec, 190 secs
lola: 1690388 markings, 2689162 edges, 9685 markings/sec, 195 secs
lola: 1738895 markings, 2768903 edges, 9701 markings/sec, 200 secs
lola: 1787556 markings, 2848922 edges, 9732 markings/sec, 205 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: 1774136 KB
lola: time consumption: 1865 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2952)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2952)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 46746 markings, 71057 edges, 9349 markings/sec, 30 secs
lola: 95488 markings, 151011 edges, 9748 markings/sec, 35 secs
lola: 140953 markings, 225784 edges, 9093 markings/sec, 40 secs
lola: 190248 markings, 306825 edges, 9859 markings/sec, 45 secs
lola: 239663 markings, 387857 edges, 9883 markings/sec, 50 secs
lola: 288968 markings, 468885 edges, 9861 markings/sec, 55 secs
lola: 338163 markings, 549857 edges, 9839 markings/sec, 60 secs
lola: 387562 markings, 630877 edges, 9880 markings/sec, 65 secs
lola: 436824 markings, 711881 edges, 9852 markings/sec, 70 secs
lola: 486127 markings, 792889 edges, 9861 markings/sec, 75 secs
lola: 535435 markings, 873926 edges, 9862 markings/sec, 80 secs
lola: 584736 markings, 954970 edges, 9860 markings/sec, 85 secs
lola: 634140 markings, 1036030 edges, 9881 markings/sec, 90 secs
lola: 683446 markings, 1117106 edges, 9861 markings/sec, 95 secs
lola: 732855 markings, 1198235 edges, 9882 markings/sec, 100 secs
lola: 782125 markings, 1279212 edges, 9854 markings/sec, 105 secs
lola: 838735 markings, 1360007 edges, 11322 markings/sec, 110 secs
lola: 895450 markings, 1440791 edges, 11343 markings/sec, 115 secs
lola: 952023 markings, 1521597 edges, 11315 markings/sec, 120 secs
lola: 1008609 markings, 1602389 edges, 11317 markings/sec, 125 secs
lola: 1065225 markings, 1683223 edges, 11323 markings/sec, 130 secs
lola: 1121863 markings, 1764077 edges, 11328 markings/sec, 135 secs
lola: 1176477 markings, 1844893 edges, 10923 markings/sec, 140 secs
lola: 1225795 markings, 1925834 edges, 9864 markings/sec, 145 secs
lola: 1275083 markings, 2006802 edges, 9858 markings/sec, 150 secs
lola: 1324257 markings, 2087709 edges, 9835 markings/sec, 155 secs
lola: 1373604 markings, 2168686 edges, 9869 markings/sec, 160 secs
lola: 1422535 markings, 2249186 edges, 9786 markings/sec, 165 secs
lola: 1471349 markings, 2329287 edges, 9763 markings/sec, 170 secs
lola: 1520254 markings, 2409624 edges, 9781 markings/sec, 175 secs
lola: 1569127 markings, 2489955 edges, 9775 markings/sec, 180 secs
lola: 1618385 markings, 2570861 edges, 9852 markings/sec, 185 secs
lola: 1667588 markings, 2651816 edges, 9841 markings/sec, 190 secs
lola: 1716856 markings, 2732759 edges, 9854 markings/sec, 195 secs
lola: 1766126 markings, 2813695 edges, 9854 markings/sec, 200 secs
lola: 1815392 markings, 2894696 edges, 9853 markings/sec, 205 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: 2965656 KB
lola: time consumption: 2078 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p361)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p361)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 37510 markings, 75935 edges, 7502 markings/sec, 30 secs
lola: 73694 markings, 155532 edges, 7237 markings/sec, 35 secs
lola: 109875 markings, 235036 edges, 7236 markings/sec, 40 secs
lola: 143407 markings, 309715 edges, 6706 markings/sec, 45 secs
lola: 179249 markings, 389072 edges, 7168 markings/sec, 50 secs
lola: 213308 markings, 463653 edges, 6812 markings/sec, 55 secs
lola: 250094 markings, 544079 edges, 7357 markings/sec, 60 secs
lola: 286294 markings, 624454 edges, 7240 markings/sec, 65 secs
lola: 322663 markings, 704792 edges, 7274 markings/sec, 70 secs
lola: 357341 markings, 783898 edges, 6936 markings/sec, 75 secs
lola: 390863 markings, 858277 edges, 6704 markings/sec, 80 secs
lola: 426129 markings, 938511 edges, 7053 markings/sec, 85 secs
lola: 461280 markings, 1017535 edges, 7030 markings/sec, 90 secs
lola: 494363 markings, 1091811 edges, 6617 markings/sec, 95 secs
lola: 529644 markings, 1170733 edges, 7056 markings/sec, 100 secs
lola: 565142 markings, 1249721 edges, 7100 markings/sec, 105 secs
lola: 599881 markings, 1328674 edges, 6948 markings/sec, 110 secs
lola: 632415 markings, 1402922 edges, 6507 markings/sec, 115 secs
lola: 666864 markings, 1481848 edges, 6890 markings/sec, 120 secs
lola: 700119 markings, 1556017 edges, 6651 markings/sec, 125 secs
lola: 731912 markings, 1626942 edges, 6359 markings/sec, 130 secs
lola: 763185 markings, 1695134 edges, 6255 markings/sec, 135 secs
lola: 798594 markings, 1774065 edges, 7082 markings/sec, 140 secs
lola: 830672 markings, 1847471 edges, 6416 markings/sec, 145 secs
lola: 866529 markings, 1927462 edges, 7171 markings/sec, 150 secs
lola: 900966 markings, 2006307 edges, 6887 markings/sec, 155 secs
lola: 935044 markings, 2082090 edges, 6816 markings/sec, 160 secs
lola: 970457 markings, 2162037 edges, 7083 markings/sec, 165 secs
lola: 1004555 markings, 2240862 edges, 6820 markings/sec, 170 secs
lola: 1040398 markings, 2319665 edges, 7169 markings/sec, 175 secs
lola: 1073094 markings, 2393773 edges, 6539 markings/sec, 180 secs
lola: 1109342 markings, 2473750 edges, 7250 markings/sec, 185 secs
lola: 1145211 markings, 2553757 edges, 7174 markings/sec, 190 secs
lola: 1179225 markings, 2632606 edges, 6803 markings/sec, 195 secs
lola: 1214680 markings, 2711399 edges, 7091 markings/sec, 200 secs
lola: 1247731 markings, 2785516 edges, 6610 markings/sec, 205 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: 2118720 KB
lola: time consumption: 2291 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3803)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3803)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 53047 markings, 72897 edges, 10609 markings/sec, 30 secs
lola: 109039 markings, 152247 edges, 11198 markings/sec, 35 secs
lola: 161008 markings, 228170 edges, 10394 markings/sec, 40 secs
lola: 211017 markings, 308455 edges, 10002 markings/sec, 45 secs
lola: 261104 markings, 388797 edges, 10017 markings/sec, 50 secs
lola: 310945 markings, 469257 edges, 9968 markings/sec, 55 secs
lola: 357759 markings, 548650 edges, 9363 markings/sec, 60 secs
lola: 403441 markings, 627868 edges, 9136 markings/sec, 65 secs
lola: 446842 markings, 703841 edges, 8680 markings/sec, 70 secs
lola: 493250 markings, 784120 edges, 9282 markings/sec, 75 secs
lola: 538993 markings, 864314 edges, 9149 markings/sec, 80 secs
lola: 585244 markings, 944530 edges, 9250 markings/sec, 85 secs
lola: 631179 markings, 1024689 edges, 9187 markings/sec, 90 secs
lola: 676615 markings, 1104799 edges, 9087 markings/sec, 95 secs
lola: 719516 markings, 1181750 edges, 8580 markings/sec, 100 secs
lola: 761838 markings, 1257598 edges, 8464 markings/sec, 105 secs
lola: 805267 markings, 1333464 edges, 8686 markings/sec, 110 secs
lola: 850720 markings, 1413599 edges, 9091 markings/sec, 115 secs
lola: 896187 markings, 1493740 edges, 9093 markings/sec, 120 secs
lola: 941658 markings, 1573865 edges, 9094 markings/sec, 125 secs
lola: 986971 markings, 1654072 edges, 9063 markings/sec, 130 secs
lola: 1032558 markings, 1734271 edges, 9117 markings/sec, 135 secs
lola: 1076335 markings, 1812361 edges, 8755 markings/sec, 140 secs
lola: 1117071 markings, 1884592 edges, 8147 markings/sec, 145 secs
lola: 1161471 markings, 1962607 edges, 8880 markings/sec, 150 secs
lola: 1206664 markings, 2040702 edges, 9039 markings/sec, 155 secs
lola: 1251335 markings, 2118850 edges, 8934 markings/sec, 160 secs
lola: 1295533 markings, 2196998 edges, 8840 markings/sec, 165 secs
lola: 1339817 markings, 2274150 edges, 8857 markings/sec, 170 secs
lola: 1383836 markings, 2351689 edges, 8804 markings/sec, 175 secs
lola: 1427113 markings, 2427346 edges, 8655 markings/sec, 180 secs
lola: 1471948 markings, 2507411 edges, 8967 markings/sec, 185 secs
lola: 1515973 markings, 2585490 edges, 8805 markings/sec, 190 secs
lola: 1560638 markings, 2663600 edges, 8933 markings/sec, 195 secs
lola: 1604290 markings, 2739349 edges, 8730 markings/sec, 200 secs
lola: 1648964 markings, 2817376 edges, 8935 markings/sec, 205 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: 1656008 KB
lola: time consumption: 2505 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2381)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2381)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 37059 markings, 74861 edges, 7412 markings/sec, 30 secs
lola: 73838 markings, 155823 edges, 7356 markings/sec, 35 secs
lola: 110596 markings, 236685 edges, 7352 markings/sec, 40 secs
lola: 146887 markings, 317451 edges, 7258 markings/sec, 45 secs
lola: 183351 markings, 398120 edges, 7293 markings/sec, 50 secs
lola: 220119 markings, 478717 edges, 7354 markings/sec, 55 secs
lola: 256842 markings, 559256 edges, 7345 markings/sec, 60 secs
lola: 293484 markings, 639628 edges, 7328 markings/sec, 65 secs
lola: 329304 markings, 720048 edges, 7164 markings/sec, 70 secs
lola: 364682 markings, 800435 edges, 7076 markings/sec, 75 secs
lola: 400655 markings, 880766 edges, 7195 markings/sec, 80 secs
lola: 436259 markings, 961098 edges, 7121 markings/sec, 85 secs
lola: 471911 markings, 1041419 edges, 7130 markings/sec, 90 secs
lola: 507535 markings, 1121670 edges, 7125 markings/sec, 95 secs
lola: 543421 markings, 1201860 edges, 7177 markings/sec, 100 secs
lola: 579265 markings, 1281717 edges, 7169 markings/sec, 105 secs
lola: 614815 markings, 1361929 edges, 7110 markings/sec, 110 secs
lola: 649311 markings, 1442136 edges, 6899 markings/sec, 115 secs
lola: 684975 markings, 1522332 edges, 7133 markings/sec, 120 secs
lola: 720837 markings, 1602484 edges, 7172 markings/sec, 125 secs
lola: 757547 markings, 1682674 edges, 7342 markings/sec, 130 secs
lola: 793478 markings, 1762883 edges, 7186 markings/sec, 135 secs
lola: 828772 markings, 1843045 edges, 7059 markings/sec, 140 secs
lola: 864407 markings, 1923217 edges, 7127 markings/sec, 145 secs
lola: 899744 markings, 2003400 edges, 7067 markings/sec, 150 secs
lola: 935710 markings, 2083572 edges, 7193 markings/sec, 155 secs
lola: 971243 markings, 2163703 edges, 7107 markings/sec, 160 secs
lola: 1006085 markings, 2243880 edges, 6968 markings/sec, 165 secs
lola: 1042384 markings, 2324038 edges, 7260 markings/sec, 170 secs
lola: 1078049 markings, 2404127 edges, 7133 markings/sec, 175 secs
lola: 1113821 markings, 2484278 edges, 7154 markings/sec, 180 secs
lola: 1149952 markings, 2564515 edges, 7226 markings/sec, 185 secs
lola: 1184675 markings, 2644704 edges, 6945 markings/sec, 190 secs
lola: 1220799 markings, 2724878 edges, 7225 markings/sec, 195 secs
lola: 1256315 markings, 2805013 edges, 7103 markings/sec, 200 secs
lola: 1291495 markings, 2885129 edges, 7036 markings/sec, 205 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: 1848016 KB
lola: time consumption: 2717 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2702)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2702)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 50611 markings, 77189 edges, 10122 markings/sec, 30 secs
lola: 100017 markings, 158506 edges, 9881 markings/sec, 35 secs
lola: 149459 markings, 239752 edges, 9888 markings/sec, 40 secs
lola: 198015 markings, 319620 edges, 9711 markings/sec, 45 secs
lola: 244736 markings, 396372 edges, 9344 markings/sec, 50 secs
lola: 293167 markings, 475737 edges, 9686 markings/sec, 55 secs
lola: 341288 markings, 555029 edges, 9624 markings/sec, 60 secs
lola: 389577 markings, 634314 edges, 9658 markings/sec, 65 secs
lola: 437818 markings, 713561 edges, 9648 markings/sec, 70 secs
lola: 486227 markings, 793043 edges, 9682 markings/sec, 75 secs
lola: 534621 markings, 872591 edges, 9679 markings/sec, 80 secs
lola: 580569 markings, 948071 edges, 9190 markings/sec, 85 secs
lola: 628890 markings, 1027488 edges, 9664 markings/sec, 90 secs
lola: 677410 markings, 1107119 edges, 9704 markings/sec, 95 secs
lola: 725905 markings, 1186855 edges, 9699 markings/sec, 100 secs
lola: 774565 markings, 1266786 edges, 9732 markings/sec, 105 secs
lola: 826089 markings, 1341854 edges, 10305 markings/sec, 110 secs
lola: 881346 markings, 1420726 edges, 11051 markings/sec, 115 secs
lola: 936348 markings, 1499151 edges, 11000 markings/sec, 120 secs
lola: 991006 markings, 1577240 edges, 10932 markings/sec, 125 secs
lola: 1042178 markings, 1650358 edges, 10234 markings/sec, 130 secs
lola: 1097007 markings, 1728486 edges, 10966 markings/sec, 135 secs
lola: 1151570 markings, 1806637 edges, 10913 markings/sec, 140 secs
lola: 1201001 markings, 1885019 edges, 9886 markings/sec, 145 secs
lola: 1248543 markings, 1963256 edges, 9508 markings/sec, 150 secs
lola: 1294139 markings, 2037910 edges, 9119 markings/sec, 155 secs
lola: 1342802 markings, 2117963 edges, 9733 markings/sec, 160 secs
lola: 1388062 markings, 2192514 edges, 9052 markings/sec, 165 secs
lola: 1434903 markings, 2269402 edges, 9368 markings/sec, 170 secs
lola: 1482957 markings, 2348270 edges, 9611 markings/sec, 175 secs
lola: 1530941 markings, 2427126 edges, 9597 markings/sec, 180 secs
lola: 1578912 markings, 2505998 edges, 9594 markings/sec, 185 secs
lola: 1626925 markings, 2584916 edges, 9603 markings/sec, 190 secs
lola: 1672486 markings, 2659700 edges, 9112 markings/sec, 195 secs
lola: 1721512 markings, 2740427 edges, 9805 markings/sec, 200 secs
lola: 1768441 markings, 2817570 edges, 9386 markings/sec, 205 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: 608516 KB
lola: time consumption: 2930 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4266)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4266)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 36799 markings, 74328 edges, 7360 markings/sec, 30 secs
lola: 72208 markings, 152408 edges, 7082 markings/sec, 35 secs
lola: 107846 markings, 230112 edges, 7128 markings/sec, 40 secs
lola: 142510 markings, 307625 edges, 6933 markings/sec, 45 secs
lola: 177590 markings, 385030 edges, 7016 markings/sec, 50 secs
lola: 212680 markings, 462328 edges, 7018 markings/sec, 55 secs
lola: 248127 markings, 539508 edges, 7089 markings/sec, 60 secs
lola: 282839 markings, 616584 edges, 6942 markings/sec, 65 secs
lola: 317821 markings, 693657 edges, 6996 markings/sec, 70 secs
lola: 351374 markings, 770703 edges, 6711 markings/sec, 75 secs
lola: 383711 markings, 842556 edges, 6467 markings/sec, 80 secs
lola: 418720 markings, 921295 edges, 7002 markings/sec, 85 secs
lola: 453426 markings, 999914 edges, 6941 markings/sec, 90 secs
lola: 488379 markings, 1078532 edges, 6991 markings/sec, 95 secs
lola: 523487 markings, 1157213 edges, 7022 markings/sec, 100 secs
lola: 558764 markings, 1235877 edges, 7055 markings/sec, 105 secs
lola: 593635 markings, 1314384 edges, 6974 markings/sec, 110 secs
lola: 628074 markings, 1393005 edges, 6888 markings/sec, 115 secs
lola: 662273 markings, 1471601 edges, 6840 markings/sec, 120 secs
lola: 697628 markings, 1550226 edges, 7071 markings/sec, 125 secs
lola: 732020 markings, 1627339 edges, 6878 markings/sec, 130 secs
lola: 767222 markings, 1704223 edges, 7040 markings/sec, 135 secs
lola: 800155 markings, 1777990 edges, 6587 markings/sec, 140 secs
lola: 834595 markings, 1856534 edges, 6888 markings/sec, 145 secs
lola: 869172 markings, 1933372 edges, 6915 markings/sec, 150 secs
lola: 901285 markings, 2007154 edges, 6423 markings/sec, 155 secs
lola: 935861 markings, 2083919 edges, 6915 markings/sec, 160 secs
lola: 968759 markings, 2157668 edges, 6580 markings/sec, 165 secs
lola: 1002608 markings, 2236179 edges, 6770 markings/sec, 170 secs
lola: 1038000 markings, 2314717 edges, 7078 markings/sec, 175 secs
lola: 1071873 markings, 2390976 edges, 6775 markings/sec, 180 secs
lola: 1105324 markings, 2464668 edges, 6690 markings/sec, 185 secs
lola: 1140239 markings, 2543084 edges, 6983 markings/sec, 190 secs
lola: 1174356 markings, 2621533 edges, 6823 markings/sec, 195 secs
lola: 1204214 markings, 2688881 edges, 5972 markings/sec, 200 secs
lola: 1237972 markings, 2763190 edges, 6752 markings/sec, 205 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: 3951756 KB
lola: time consumption: 3143 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1938)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1938)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 53309 markings, 73298 edges, 10662 markings/sec, 30 secs
lola: 104548 markings, 145867 edges, 10248 markings/sec, 35 secs
lola: 157705 markings, 222831 edges, 10631 markings/sec, 40 secs
lola: 205526 markings, 299487 edges, 9564 markings/sec, 45 secs
lola: 253213 markings, 376296 edges, 9537 markings/sec, 50 secs
lola: 301064 markings, 453176 edges, 9570 markings/sec, 55 secs
lola: 347408 markings, 530432 edges, 9269 markings/sec, 60 secs
lola: 391598 markings, 607449 edges, 8838 markings/sec, 65 secs
lola: 434462 markings, 682476 edges, 8573 markings/sec, 70 secs
lola: 479969 markings, 760903 edges, 9101 markings/sec, 75 secs
lola: 524562 markings, 839334 edges, 8919 markings/sec, 80 secs
lola: 569654 markings, 916591 edges, 9018 markings/sec, 85 secs
lola: 612881 markings, 993174 edges, 8645 markings/sec, 90 secs
lola: 656858 markings, 1069728 edges, 8795 markings/sec, 95 secs
lola: 699561 markings, 1146148 edges, 8541 markings/sec, 100 secs
lola: 742036 markings, 1222636 edges, 8495 markings/sec, 105 secs
lola: 785597 markings, 1299044 edges, 8712 markings/sec, 110 secs
lola: 826930 markings, 1372126 edges, 8267 markings/sec, 115 secs
lola: 871752 markings, 1450233 edges, 8964 markings/sec, 120 secs
lola: 914901 markings, 1526465 edges, 8630 markings/sec, 125 secs
lola: 958400 markings, 1602740 edges, 8700 markings/sec, 130 secs
lola: 999298 markings, 1675723 edges, 8180 markings/sec, 135 secs
lola: 1042168 markings, 1751959 edges, 8574 markings/sec, 140 secs
lola: 1085273 markings, 1828261 edges, 8621 markings/sec, 145 secs
lola: 1126435 markings, 1901263 edges, 8232 markings/sec, 150 secs
lola: 1170016 markings, 1977632 edges, 8716 markings/sec, 155 secs
lola: 1212469 markings, 2050681 edges, 8491 markings/sec, 160 secs
lola: 1256978 markings, 2128753 edges, 8902 markings/sec, 165 secs
lola: 1301084 markings, 2206981 edges, 8821 markings/sec, 170 secs
lola: 1344794 markings, 2283288 edges, 8742 markings/sec, 175 secs
lola: 1386106 markings, 2356242 edges, 8262 markings/sec, 180 secs
lola: 1431011 markings, 2434401 edges, 8981 markings/sec, 185 secs
lola: 1474770 markings, 2512451 edges, 8752 markings/sec, 190 secs
lola: 1519083 markings, 2590588 edges, 8863 markings/sec, 195 secs
lola: 1562497 markings, 2666868 edges, 8683 markings/sec, 200 secs
lola: 1604440 markings, 2739670 edges, 8389 markings/sec, 205 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: 5282336 KB
lola: time consumption: 3356 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p197)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-1000-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: 49066 markings, 74801 edges, 9813 markings/sec, 30 secs
lola: 96977 markings, 153622 edges, 9582 markings/sec, 35 secs
lola: 144954 markings, 232379 edges, 9595 markings/sec, 40 secs
lola: 192861 markings, 311062 edges, 9581 markings/sec, 45 secs
lola: 240678 markings, 389645 edges, 9563 markings/sec, 50 secs
lola: 288555 markings, 468246 edges, 9575 markings/sec, 55 secs
lola: 336498 markings, 546940 edges, 9589 markings/sec, 60 secs
lola: 384297 markings, 625506 edges, 9560 markings/sec, 65 secs
lola: 432038 markings, 704021 edges, 9548 markings/sec, 70 secs
lola: 479838 markings, 782605 edges, 9560 markings/sec, 75 secs
lola: 527793 markings, 861340 edges, 9591 markings/sec, 80 secs
lola: 575746 markings, 940150 edges, 9591 markings/sec, 85 secs
lola: 623710 markings, 1018900 edges, 9593 markings/sec, 90 secs
lola: 671670 markings, 1097738 edges, 9592 markings/sec, 95 secs
lola: 719738 markings, 1176694 edges, 9614 markings/sec, 100 secs
lola: 767788 markings, 1255659 edges, 9610 markings/sec, 105 secs
lola: 820561 markings, 1334034 edges, 10555 markings/sec, 110 secs
lola: 874836 markings, 1411486 edges, 10855 markings/sec, 115 secs
lola: 928874 markings, 1488628 edges, 10808 markings/sec, 120 secs
lola: 982672 markings, 1565539 edges, 10760 markings/sec, 125 secs
lola: 1036708 markings, 1642413 edges, 10807 markings/sec, 130 secs
lola: 1090436 markings, 1719314 edges, 10746 markings/sec, 135 secs
lola: 1144554 markings, 1796327 edges, 10824 markings/sec, 140 secs
lola: 1194031 markings, 1873497 edges, 9895 markings/sec, 145 secs
lola: 1240962 markings, 1950687 edges, 9386 markings/sec, 150 secs
lola: 1287844 markings, 2027771 edges, 9376 markings/sec, 155 secs
lola: 1334788 markings, 2104784 edges, 9389 markings/sec, 160 secs
lola: 1381565 markings, 2181756 edges, 9355 markings/sec, 165 secs
lola: 1428478 markings, 2258744 edges, 9383 markings/sec, 170 secs
lola: 1475322 markings, 2335777 edges, 9369 markings/sec, 175 secs
lola: 1522085 markings, 2412698 edges, 9353 markings/sec, 180 secs
lola: 1568923 markings, 2489639 edges, 9368 markings/sec, 185 secs
lola: 1615916 markings, 2566756 edges, 9399 markings/sec, 190 secs
lola: 1662791 markings, 2643920 edges, 9375 markings/sec, 195 secs
lola: 1709881 markings, 2721263 edges, 9418 markings/sec, 200 secs
lola: 1756957 markings, 2798574 edges, 9415 markings/sec, 205 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: 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: 3951288 KB
lola: time consumption: 3569 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: 3951288 KB
lola: time consumption: 3569 seconds

BK_STOP 1526860687481

--------------------
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-1000"
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-1000.tgz
mv JoinFreeModules-PT-1000 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-1000, 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-152658630900289"
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 ;