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 292K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 24K 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 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K 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.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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.7K 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 113K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-0020, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526818487787

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0020 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0020 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0020 @ 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: 262/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3232
lola: finding significant places
lola: 101 places, 161 transitions, 80 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 181 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0020-UpperBounds.task
lola: MAX(p51) : MAX(p46) : MAX(p12) : MAX(p69) : MAX(p38) : MAX(p14) : MAX(p17) : MAX(p65) : MAX(p67) : MAX(p30) : MAX(p14) : MAX(p42) : MAX(p37) : MAX(p77) : MAX(p54) : MAX(p33)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p51)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 852994 markings, 3274703 edges, 170599 markings/sec, 0 secs
lola: 1680812 markings, 6476372 edges, 165564 markings/sec, 5 secs
lola: 2511141 markings, 9687234 edges, 166066 markings/sec, 10 secs
lola: 3363261 markings, 12968496 edges, 170424 markings/sec, 15 secs
lola: 4221595 markings, 16271313 edges, 171667 markings/sec, 20 secs
lola: 5048018 markings, 19468225 edges, 165285 markings/sec, 25 secs
lola: 5894523 markings, 22733995 edges, 169301 markings/sec, 30 secs
lola: 6750098 markings, 26025239 edges, 171115 markings/sec, 35 secs
lola: 7586920 markings, 29258564 edges, 167364 markings/sec, 40 secs
lola: 8435199 markings, 32525980 edges, 169656 markings/sec, 45 secs
lola: 9250725 markings, 35695002 edges, 163105 markings/sec, 50 secs
lola: 10066451 markings, 38833898 edges, 163145 markings/sec, 55 secs
lola: 10898109 markings, 42028862 edges, 166332 markings/sec, 60 secs
lola: 11721445 markings, 45216859 edges, 164667 markings/sec, 65 secs
lola: 12540212 markings, 48378032 edges, 163753 markings/sec, 70 secs
lola: 13374999 markings, 51596112 edges, 166957 markings/sec, 75 secs
lola: 14197301 markings, 54766050 edges, 164460 markings/sec, 80 secs
lola: 15033810 markings, 57992277 edges, 167302 markings/sec, 85 secs
lola: 15874090 markings, 61234639 edges, 168056 markings/sec, 90 secs
lola: 16692998 markings, 64411766 edges, 163782 markings/sec, 95 secs
lola: 17541471 markings, 67677093 edges, 169695 markings/sec, 100 secs
lola: 18366141 markings, 70852159 edges, 164934 markings/sec, 105 secs
lola: 19199186 markings, 74071984 edges, 166609 markings/sec, 110 secs
lola: 20016609 markings, 77223457 edges, 163485 markings/sec, 115 secs
lola: 20839394 markings, 80413949 edges, 164557 markings/sec, 120 secs
lola: 21664847 markings, 83587539 edges, 165091 markings/sec, 125 secs
lola: 22499758 markings, 86808201 edges, 166982 markings/sec, 130 secs
lola: 23333917 markings, 90024028 edges, 166832 markings/sec, 135 secs
lola: 24164679 markings, 93228313 edges, 166152 markings/sec, 140 secs
lola: 24992992 markings, 96430053 edges, 165663 markings/sec, 145 secs
lola: 25816152 markings, 99603160 edges, 164632 markings/sec, 150 secs
lola: 26640698 markings, 102790532 edges, 164909 markings/sec, 155 secs
lola: 27454563 markings, 105931580 edges, 162773 markings/sec, 160 secs
lola: 28292451 markings, 109145820 edges, 167578 markings/sec, 165 secs
lola: 29126890 markings, 112369470 edges, 166888 markings/sec, 170 secs
lola: 29942516 markings, 115511718 edges, 163125 markings/sec, 175 secs
lola: 30775730 markings, 118738367 edges, 166643 markings/sec, 180 secs
lola: 31622958 markings, 122016084 edges, 169446 markings/sec, 185 secs
lola: 32427275 markings, 125125452 edges, 160863 markings/sec, 190 secs
lola: 33254226 markings, 128316771 edges, 165390 markings/sec, 195 secs
lola: 34092624 markings, 131539451 edges, 167680 markings/sec, 200 secs
lola: 34932436 markings, 134798238 edges, 167962 markings/sec, 205 secs
lola: 35758401 markings, 137977042 edges, 165193 markings/sec, 210 secs
lola: 36575288 markings, 141127233 edges, 163377 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2009404 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p46)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 857992 markings, 3315067 edges, 171598 markings/sec, 0 secs
lola: 1688384 markings, 6505671 edges, 166078 markings/sec, 5 secs
lola: 2513010 markings, 9699697 edges, 164925 markings/sec, 10 secs
lola: 3353487 markings, 12939690 edges, 168095 markings/sec, 15 secs
lola: 4195507 markings, 16177990 edges, 168404 markings/sec, 20 secs
lola: 5006492 markings, 19304604 edges, 162197 markings/sec, 25 secs
lola: 5803729 markings, 22387497 edges, 159447 markings/sec, 30 secs
lola: 6624438 markings, 25540836 edges, 164142 markings/sec, 35 secs
lola: 7448285 markings, 28730375 edges, 164769 markings/sec, 40 secs
lola: 8267653 markings, 31894529 edges, 163874 markings/sec, 45 secs
lola: 9073269 markings, 34997070 edges, 161123 markings/sec, 50 secs
lola: 9869116 markings, 38058689 edges, 159169 markings/sec, 55 secs
lola: 10621919 markings, 40980527 edges, 150561 markings/sec, 60 secs
lola: 11427544 markings, 44072230 edges, 161125 markings/sec, 65 secs
lola: 12238669 markings, 47201509 edges, 162225 markings/sec, 70 secs
lola: 13069580 markings, 50416423 edges, 166182 markings/sec, 75 secs
lola: 13884760 markings, 53561306 edges, 163036 markings/sec, 80 secs
lola: 14713564 markings, 56763928 edges, 165761 markings/sec, 85 secs
lola: 15544740 markings, 59956717 edges, 166235 markings/sec, 90 secs
lola: 16369613 markings, 63149530 edges, 164975 markings/sec, 95 secs
lola: 17204038 markings, 66381010 edges, 166885 markings/sec, 100 secs
lola: 18030983 markings, 69576994 edges, 165389 markings/sec, 105 secs
lola: 18856895 markings, 72753289 edges, 165182 markings/sec, 110 secs
lola: 19666755 markings, 75875657 edges, 161972 markings/sec, 115 secs
lola: 20481371 markings, 79022285 edges, 162923 markings/sec, 120 secs
lola: 21303489 markings, 82180873 edges, 164424 markings/sec, 125 secs
lola: 22131006 markings, 85382277 edges, 165503 markings/sec, 130 secs
lola: 22949830 markings, 88538703 edges, 163765 markings/sec, 135 secs
lola: 23794167 markings, 91793716 edges, 168867 markings/sec, 140 secs
lola: 24610706 markings, 94940357 edges, 163308 markings/sec, 145 secs
lola: 25420810 markings, 98065740 edges, 162021 markings/sec, 150 secs
lola: 26250171 markings, 101276905 edges, 165872 markings/sec, 155 secs
lola: 27061180 markings, 104405789 edges, 162202 markings/sec, 160 secs
lola: 27865766 markings, 107510016 edges, 160917 markings/sec, 165 secs
lola: 28699671 markings, 110735525 edges, 166781 markings/sec, 170 secs
lola: 29523884 markings, 113904030 edges, 164843 markings/sec, 175 secs
lola: 30321708 markings, 116992918 edges, 159565 markings/sec, 180 secs
lola: 31167767 markings, 120255533 edges, 169212 markings/sec, 185 secs
lola: 31988294 markings, 123411842 edges, 164105 markings/sec, 190 secs
lola: 32786306 markings, 126513121 edges, 159602 markings/sec, 195 secs
lola: 33628570 markings, 129761849 edges, 168453 markings/sec, 200 secs
lola: 34445452 markings, 132914861 edges, 163376 markings/sec, 205 secs
lola: 35278260 markings, 136130392 edges, 166562 markings/sec, 210 secs
lola: 36092796 markings, 139275640 edges, 162907 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2047092 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 851796 markings, 3260890 edges, 170359 markings/sec, 0 secs
lola: 1692079 markings, 6492446 edges, 168057 markings/sec, 5 secs
lola: 2532629 markings, 9726392 edges, 168110 markings/sec, 10 secs
lola: 3382223 markings, 13005151 edges, 169919 markings/sec, 15 secs
lola: 4242253 markings, 16301465 edges, 172006 markings/sec, 20 secs
lola: 5081296 markings, 19526624 edges, 167809 markings/sec, 25 secs
lola: 5925878 markings, 22790498 edges, 168916 markings/sec, 30 secs
lola: 6784366 markings, 26073903 edges, 171698 markings/sec, 35 secs
lola: 7623922 markings, 29301699 edges, 167911 markings/sec, 40 secs
lola: 8469497 markings, 32562955 edges, 169115 markings/sec, 45 secs
lola: 9297879 markings, 35742441 edges, 165676 markings/sec, 50 secs
lola: 10090199 markings, 38803247 edges, 158464 markings/sec, 55 secs
lola: 10883701 markings, 41839359 edges, 158700 markings/sec, 60 secs
lola: 11657221 markings, 44817946 edges, 154704 markings/sec, 65 secs
lola: 12478512 markings, 47973693 edges, 164258 markings/sec, 70 secs
lola: 13310879 markings, 51169395 edges, 166473 markings/sec, 75 secs
lola: 14137955 markings, 54361522 edges, 165415 markings/sec, 80 secs
lola: 14975218 markings, 57581539 edges, 167453 markings/sec, 85 secs
lola: 15817561 markings, 60820194 edges, 168469 markings/sec, 90 secs
lola: 16641147 markings, 64000484 edges, 164717 markings/sec, 95 secs
lola: 17493502 markings, 67264586 edges, 170471 markings/sec, 100 secs
lola: 18321329 markings, 70461804 edges, 165565 markings/sec, 105 secs
lola: 19160590 markings, 73688971 edges, 167852 markings/sec, 110 secs
lola: 19984251 markings, 76845326 edges, 164732 markings/sec, 115 secs
lola: 20811703 markings, 80030171 edges, 165490 markings/sec, 120 secs
lola: 21631958 markings, 83198755 edges, 164051 markings/sec, 125 secs
lola: 22471069 markings, 86412070 edges, 167822 markings/sec, 130 secs
lola: 23310223 markings, 89651703 edges, 167831 markings/sec, 135 secs
lola: 24148035 markings, 92853757 edges, 167562 markings/sec, 140 secs
lola: 24980043 markings, 96054093 edges, 166402 markings/sec, 145 secs
lola: 25808866 markings, 99251595 edges, 165765 markings/sec, 150 secs
lola: 26635665 markings, 102427673 edges, 165360 markings/sec, 155 secs
lola: 27457250 markings, 105590264 edges, 164317 markings/sec, 160 secs
lola: 28295667 markings, 108813853 edges, 167683 markings/sec, 165 secs
lola: 29128753 markings, 112020810 edges, 166617 markings/sec, 170 secs
lola: 29955147 markings, 115182034 edges, 165279 markings/sec, 175 secs
lola: 30798701 markings, 118425985 edges, 168711 markings/sec, 180 secs
lola: 31633585 markings, 121663725 edges, 166977 markings/sec, 185 secs
lola: 32446944 markings, 124791033 edges, 162672 markings/sec, 190 secs
lola: 33281170 markings, 127998614 edges, 166845 markings/sec, 195 secs
lola: 34109697 markings, 131197365 edges, 165705 markings/sec, 200 secs
lola: 34950776 markings, 134444798 edges, 168216 markings/sec, 205 secs
lola: 35782186 markings, 137630146 edges, 166282 markings/sec, 210 secs
lola: 36597864 markings, 140770940 edges, 163136 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3044952 KB
lola: time consumption: 669 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 912122 markings, 3180097 edges, 182424 markings/sec, 0 secs
lola: 1840139 markings, 6408680 edges, 185603 markings/sec, 5 secs
lola: 2765832 markings, 9632506 edges, 185139 markings/sec, 10 secs
lola: 3703912 markings, 12919545 edges, 187616 markings/sec, 15 secs
lola: 4640431 markings, 16201689 edges, 187304 markings/sec, 20 secs
lola: 5584757 markings, 19494026 edges, 188865 markings/sec, 25 secs
lola: 6527053 markings, 22776960 edges, 188459 markings/sec, 30 secs
lola: 7458748 markings, 26047233 edges, 186339 markings/sec, 35 secs
lola: 8353356 markings, 29164123 edges, 178922 markings/sec, 40 secs
lola: 9260324 markings, 32333725 edges, 181394 markings/sec, 45 secs
lola: 10116635 markings, 35312550 edges, 171262 markings/sec, 50 secs
lola: 10978396 markings, 38324443 edges, 172352 markings/sec, 55 secs
lola: 11886019 markings, 41519870 edges, 181525 markings/sec, 60 secs
lola: 12792986 markings, 44691566 edges, 181393 markings/sec, 65 secs
lola: 13727746 markings, 47938215 edges, 186952 markings/sec, 70 secs
lola: 14655611 markings, 51198193 edges, 185573 markings/sec, 75 secs
lola: 15598584 markings, 54466661 edges, 188595 markings/sec, 80 secs
lola: 16509620 markings, 57647120 edges, 182207 markings/sec, 85 secs
lola: 17421301 markings, 60831767 edges, 182336 markings/sec, 90 secs
lola: 18340286 markings, 64062591 edges, 183797 markings/sec, 95 secs
lola: 19253794 markings, 67251425 edges, 182702 markings/sec, 100 secs
lola: 20177484 markings, 70498665 edges, 184738 markings/sec, 105 secs
lola: 21082978 markings, 73645634 edges, 181099 markings/sec, 110 secs
lola: 21989893 markings, 76810771 edges, 181383 markings/sec, 115 secs
lola: 22906280 markings, 80024440 edges, 183277 markings/sec, 120 secs
lola: 23843002 markings, 83277392 edges, 187344 markings/sec, 125 secs
lola: 24751076 markings, 86449197 edges, 181615 markings/sec, 130 secs
lola: 25665508 markings, 89652330 edges, 182886 markings/sec, 135 secs
lola: 26565277 markings, 92787151 edges, 179954 markings/sec, 140 secs
lola: 27471129 markings, 95952275 edges, 181170 markings/sec, 145 secs
lola: 28386735 markings, 99171140 edges, 183121 markings/sec, 150 secs
lola: 29293703 markings, 102340483 edges, 181394 markings/sec, 155 secs
lola: 30175185 markings, 105441403 edges, 176296 markings/sec, 160 secs
lola: 31121461 markings, 108723864 edges, 189255 markings/sec, 165 secs
lola: 32042548 markings, 111961734 edges, 184217 markings/sec, 170 secs
lola: 32963746 markings, 115170438 edges, 184240 markings/sec, 175 secs
lola: 33875683 markings, 118355701 edges, 182387 markings/sec, 180 secs
lola: 34797862 markings, 121567461 edges, 184436 markings/sec, 185 secs
lola: 35690438 markings, 124695298 edges, 178515 markings/sec, 190 secs
lola: 36581598 markings, 127818939 edges, 178232 markings/sec, 195 secs
lola: 37424395 markings, 130773103 edges, 168559 markings/sec, 200 secs
lola: 38190302 markings, 133448355 edges, 153181 markings/sec, 205 secs
lola: 39046161 markings, 136438824 edges, 171172 markings/sec, 210 secs
lola: 39943751 markings, 139580347 edges, 179518 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2681848 KB
lola: time consumption: 893 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p38)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 942665 markings, 3212409 edges, 188533 markings/sec, 0 secs
lola: 1874432 markings, 6402643 edges, 186353 markings/sec, 5 secs
lola: 2810586 markings, 9601981 edges, 187231 markings/sec, 10 secs
lola: 3779843 markings, 12921320 edges, 193851 markings/sec, 15 secs
lola: 4722677 markings, 16143630 edges, 188567 markings/sec, 20 secs
lola: 5681593 markings, 19415707 edges, 191783 markings/sec, 25 secs
lola: 6626206 markings, 22645194 edges, 188923 markings/sec, 30 secs
lola: 7572501 markings, 25886090 edges, 189259 markings/sec, 35 secs
lola: 8514898 markings, 29096263 edges, 188479 markings/sec, 40 secs
lola: 9454972 markings, 32309907 edges, 188015 markings/sec, 45 secs
lola: 10374141 markings, 35452769 edges, 183834 markings/sec, 50 secs
lola: 11292395 markings, 38598422 edges, 183651 markings/sec, 55 secs
lola: 12233488 markings, 41808037 edges, 188219 markings/sec, 60 secs
lola: 13175582 markings, 45024146 edges, 188419 markings/sec, 65 secs
lola: 14124859 markings, 48283281 edges, 189855 markings/sec, 70 secs
lola: 15053218 markings, 51443744 edges, 185672 markings/sec, 75 secs
lola: 15972613 markings, 54600222 edges, 183879 markings/sec, 80 secs
lola: 16914535 markings, 57812511 edges, 188384 markings/sec, 85 secs
lola: 17834678 markings, 60965835 edges, 184029 markings/sec, 90 secs
lola: 18780001 markings, 64190817 edges, 189065 markings/sec, 95 secs
lola: 19695231 markings, 67319845 edges, 183046 markings/sec, 100 secs
lola: 20616361 markings, 70462588 edges, 184226 markings/sec, 105 secs
lola: 21558364 markings, 73688516 edges, 188401 markings/sec, 110 secs
lola: 22480342 markings, 76841671 edges, 184396 markings/sec, 115 secs
lola: 23410763 markings, 80027106 edges, 186084 markings/sec, 120 secs
lola: 24320607 markings, 83125947 edges, 181969 markings/sec, 125 secs
lola: 25240917 markings, 86273434 edges, 184062 markings/sec, 130 secs
lola: 26171138 markings, 89455615 edges, 186044 markings/sec, 135 secs
lola: 27072376 markings, 92535977 edges, 180248 markings/sec, 140 secs
lola: 27993617 markings, 95690414 edges, 184248 markings/sec, 145 secs
lola: 28933486 markings, 98915822 edges, 187974 markings/sec, 150 secs
lola: 29874544 markings, 102114475 edges, 188212 markings/sec, 155 secs
lola: 30805729 markings, 105302295 edges, 186237 markings/sec, 160 secs
lola: 31737322 markings, 108489226 edges, 186319 markings/sec, 165 secs
lola: 32647685 markings, 111599121 edges, 182073 markings/sec, 170 secs
lola: 33568169 markings, 114747088 edges, 184097 markings/sec, 175 secs
lola: 34477268 markings, 117854665 edges, 181820 markings/sec, 180 secs
lola: 35393659 markings, 120986341 edges, 183278 markings/sec, 185 secs
lola: 36308131 markings, 124113409 edges, 182894 markings/sec, 190 secs
lola: 37228827 markings, 127265819 edges, 184139 markings/sec, 195 secs
lola: 38139695 markings, 130382609 edges, 182174 markings/sec, 200 secs
lola: 39073810 markings, 133577593 edges, 186823 markings/sec, 205 secs
lola: 39981372 markings, 136689036 edges, 181512 markings/sec, 210 secs
lola: 40899523 markings, 139823390 edges, 183630 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2354468 KB
lola: time consumption: 1116 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 906651 markings, 3147671 edges, 181330 markings/sec, 0 secs
lola: 1812856 markings, 6303344 edges, 181241 markings/sec, 5 secs
lola: 2715454 markings, 9456451 edges, 180520 markings/sec, 10 secs
lola: 3627247 markings, 12643609 edges, 182359 markings/sec, 15 secs
lola: 4539542 markings, 15852955 edges, 182459 markings/sec, 20 secs
lola: 5451404 markings, 19035120 edges, 182372 markings/sec, 25 secs
lola: 6278075 markings, 21913305 edges, 165334 markings/sec, 30 secs
lola: 7188726 markings, 25093855 edges, 182130 markings/sec, 35 secs
lola: 8096841 markings, 28266468 edges, 181623 markings/sec, 40 secs
lola: 8991350 markings, 31399130 edges, 178902 markings/sec, 45 secs
lola: 9880604 markings, 34490273 edges, 177851 markings/sec, 50 secs
lola: 10782987 markings, 37640524 edges, 180477 markings/sec, 55 secs
lola: 11599994 markings, 40524147 edges, 163401 markings/sec, 60 secs
lola: 12501160 markings, 43643105 edges, 180233 markings/sec, 65 secs
lola: 13365806 markings, 46688058 edges, 172929 markings/sec, 70 secs
lola: 14284947 markings, 49894723 edges, 183828 markings/sec, 75 secs
lola: 15226458 markings, 53164413 edges, 188302 markings/sec, 80 secs
lola: 16128127 markings, 56314235 edges, 180334 markings/sec, 85 secs
lola: 17012503 markings, 59419257 edges, 176875 markings/sec, 90 secs
lola: 17897841 markings, 62526280 edges, 177068 markings/sec, 95 secs
lola: 18796794 markings, 65671046 edges, 179791 markings/sec, 100 secs
lola: 19694165 markings, 68781981 edges, 179474 markings/sec, 105 secs
lola: 20600688 markings, 71948993 edges, 181305 markings/sec, 110 secs
lola: 21477410 markings, 75031754 edges, 175344 markings/sec, 115 secs
lola: 22367213 markings, 78120325 edges, 177961 markings/sec, 120 secs
lola: 23267095 markings, 81268075 edges, 179976 markings/sec, 125 secs
lola: 24159854 markings, 84396063 edges, 178552 markings/sec, 130 secs
lola: 24995351 markings, 87301926 edges, 167099 markings/sec, 135 secs
lola: 25900050 markings, 90462386 edges, 180940 markings/sec, 140 secs
lola: 26678388 markings, 93202002 edges, 155668 markings/sec, 145 secs
lola: 27570612 markings, 96298528 edges, 178445 markings/sec, 150 secs
lola: 28466002 markings, 99435534 edges, 179078 markings/sec, 155 secs
lola: 29341408 markings, 102501722 edges, 175081 markings/sec, 160 secs
lola: 30210972 markings, 105543236 edges, 173913 markings/sec, 165 secs
lola: 31117946 markings, 108711783 edges, 181395 markings/sec, 170 secs
lola: 32011567 markings, 111843414 edges, 178724 markings/sec, 175 secs
lola: 32904617 markings, 114973021 edges, 178610 markings/sec, 180 secs
lola: 33797026 markings, 118071785 edges, 178482 markings/sec, 185 secs
lola: 34687244 markings, 121190885 edges, 178044 markings/sec, 190 secs
lola: 35563527 markings, 124246752 edges, 175257 markings/sec, 195 secs
lola: 36449768 markings, 127348662 edges, 177248 markings/sec, 200 secs
lola: 37343112 markings, 130479408 edges, 178669 markings/sec, 205 secs
lola: 38215219 markings, 133516552 edges, 174421 markings/sec, 210 secs
lola: 39094524 markings, 136607825 edges, 175861 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3640388 KB
lola: time consumption: 1339 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p17)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 855142 markings, 3284142 edges, 171028 markings/sec, 0 secs
lola: 1669180 markings, 6421652 edges, 162808 markings/sec, 5 secs
lola: 2489877 markings, 9566731 edges, 164139 markings/sec, 10 secs
lola: 3316462 markings, 12755656 edges, 165317 markings/sec, 15 secs
lola: 4156866 markings, 15985830 edges, 168081 markings/sec, 20 secs
lola: 4988650 markings, 19180719 edges, 166357 markings/sec, 25 secs
lola: 5832946 markings, 22432796 edges, 168859 markings/sec, 30 secs
lola: 6686774 markings, 25702832 edges, 170766 markings/sec, 35 secs
lola: 7527286 markings, 28933287 edges, 168102 markings/sec, 40 secs
lola: 8367764 markings, 32163772 edges, 168096 markings/sec, 45 secs
lola: 9184324 markings, 35319224 edges, 163312 markings/sec, 50 secs
lola: 10001664 markings, 38458335 edges, 163468 markings/sec, 55 secs
lola: 10831171 markings, 41638667 edges, 165901 markings/sec, 60 secs
lola: 11654936 markings, 44814252 edges, 164753 markings/sec, 65 secs
lola: 12478700 markings, 47991127 edges, 164753 markings/sec, 70 secs
lola: 13317347 markings, 51197032 edges, 167729 markings/sec, 75 secs
lola: 14137452 markings, 54359508 edges, 164021 markings/sec, 80 secs
lola: 14968819 markings, 57563272 edges, 166273 markings/sec, 85 secs
lola: 15810834 markings, 60797781 edges, 168403 markings/sec, 90 secs
lola: 16628234 markings, 63952644 edges, 163480 markings/sec, 95 secs
lola: 17462658 markings, 67145978 edges, 166885 markings/sec, 100 secs
lola: 18281052 markings, 70310780 edges, 163679 markings/sec, 105 secs
lola: 19114546 markings, 73507167 edges, 166699 markings/sec, 110 secs
lola: 19926073 markings, 76638692 edges, 162305 markings/sec, 115 secs
lola: 20752954 markings, 79800625 edges, 165376 markings/sec, 120 secs
lola: 21569458 markings, 82942619 edges, 163301 markings/sec, 125 secs
lola: 22397281 markings, 86126303 edges, 165565 markings/sec, 130 secs
lola: 23226524 markings, 89323287 edges, 165849 markings/sec, 135 secs
lola: 24056118 markings, 92518029 edges, 165919 markings/sec, 140 secs
lola: 24885731 markings, 95692530 edges, 165923 markings/sec, 145 secs
lola: 25703296 markings, 98845499 edges, 163513 markings/sec, 150 secs
lola: 26525805 markings, 102009006 edges, 164502 markings/sec, 155 secs
lola: 27340909 markings, 105133119 edges, 163021 markings/sec, 160 secs
lola: 28164469 markings, 108313807 edges, 164712 markings/sec, 165 secs
lola: 28997158 markings, 111501115 edges, 166538 markings/sec, 170 secs
lola: 29804358 markings, 114603169 edges, 161440 markings/sec, 175 secs
lola: 30613784 markings, 117730412 edges, 161885 markings/sec, 180 secs
lola: 31446110 markings, 120943602 edges, 166465 markings/sec, 185 secs
lola: 32230708 markings, 123964814 edges, 156920 markings/sec, 190 secs
lola: 33033084 markings, 127044281 edges, 160475 markings/sec, 195 secs
lola: 33846990 markings, 130196191 edges, 162781 markings/sec, 200 secs
lola: 34662175 markings, 133324745 edges, 163037 markings/sec, 205 secs
lola: 35411362 markings, 136202635 edges, 149837 markings/sec, 210 secs
lola: 36225183 markings, 139359171 edges, 162764 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2934728 KB
lola: time consumption: 1562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p65)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: SUBRESULT
lola: result: 23
lola: produced by: state space
lola: The maximum value of the given expression is 23
lola: 1898 markings, 2840 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0020-UpperBounds-7 23 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p67)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 855144 markings, 3287964 edges, 171029 markings/sec, 0 secs
lola: 1694275 markings, 6510493 edges, 167826 markings/sec, 5 secs
lola: 2475392 markings, 9523726 edges, 156223 markings/sec, 10 secs
lola: 3279314 markings, 12615244 edges, 160784 markings/sec, 15 secs
lola: 4099981 markings, 15764002 edges, 164133 markings/sec, 20 secs
lola: 4893939 markings, 18804604 edges, 158792 markings/sec, 25 secs
lola: 5701753 markings, 21910565 edges, 161563 markings/sec, 30 secs
lola: 6563819 markings, 25228630 edges, 172413 markings/sec, 35 secs
lola: 7385754 markings, 28405008 edges, 164387 markings/sec, 40 secs
lola: 8165353 markings, 31399760 edges, 155920 markings/sec, 45 secs
lola: 8999778 markings, 34614711 edges, 166885 markings/sec, 50 secs
lola: 9820921 markings, 37762923 edges, 164229 markings/sec, 55 secs
lola: 10645034 markings, 40934185 edges, 164823 markings/sec, 60 secs
lola: 11444988 markings, 43995812 edges, 159991 markings/sec, 65 secs
lola: 12208398 markings, 46943436 edges, 152682 markings/sec, 70 secs
lola: 13067380 markings, 50232531 edges, 171796 markings/sec, 75 secs
lola: 13878104 markings, 53375043 edges, 162145 markings/sec, 80 secs
lola: 14716389 markings, 56597142 edges, 167657 markings/sec, 85 secs
lola: 15519897 markings, 59662057 edges, 160702 markings/sec, 90 secs
lola: 16307511 markings, 62708300 edges, 157523 markings/sec, 95 secs
lola: 17156116 markings, 65971454 edges, 169721 markings/sec, 100 secs
lola: 17961526 markings, 69064075 edges, 161082 markings/sec, 105 secs
lola: 18789119 markings, 72257517 edges, 165519 markings/sec, 110 secs
lola: 19548820 markings, 75169611 edges, 151940 markings/sec, 115 secs
lola: 20371945 markings, 78346350 edges, 164625 markings/sec, 120 secs
lola: 21142143 markings, 81310361 edges, 154040 markings/sec, 125 secs
lola: 21982988 markings, 84542064 edges, 168169 markings/sec, 130 secs
lola: 22761914 markings, 87535619 edges, 155785 markings/sec, 135 secs
lola: 23621004 markings, 90840156 edges, 171818 markings/sec, 140 secs
lola: 24397997 markings, 93838769 edges, 155399 markings/sec, 145 secs
lola: 25236599 markings, 97041190 edges, 167720 markings/sec, 150 secs
lola: 26028503 markings, 100096818 edges, 158381 markings/sec, 155 secs
lola: 26857310 markings, 103289681 edges, 165761 markings/sec, 160 secs
lola: 27633069 markings, 106274605 edges, 155152 markings/sec, 165 secs
lola: 28471399 markings, 109499448 edges, 167666 markings/sec, 170 secs
lola: 29277375 markings, 112584566 edges, 161195 markings/sec, 175 secs
lola: 30023289 markings, 115468226 edges, 149183 markings/sec, 180 secs
lola: 30815571 markings, 118503658 edges, 158456 markings/sec, 185 secs
lola: 31661279 markings, 121773289 edges, 169142 markings/sec, 190 secs
lola: 32467583 markings, 124875788 edges, 161261 markings/sec, 195 secs
lola: 33309983 markings, 128111477 edges, 168480 markings/sec, 200 secs
lola: 34135093 markings, 131296743 edges, 165022 markings/sec, 205 secs
lola: 34931997 markings, 134372329 edges, 159381 markings/sec, 210 secs
lola: 35772966 markings, 137606524 edges, 168194 markings/sec, 215 secs
lola: 36546530 markings, 140580745 edges, 154713 markings/sec, 220 secs
lola: 37371180 markings, 143737996 edges, 164930 markings/sec, 225 secs
lola: 38199022 markings, 146944564 edges, 165568 markings/sec, 230 secs
lola: 39028029 markings, 150126897 edges, 165801 markings/sec, 235 secs
lola: 39768340 markings, 153037163 edges, 148062 markings/sec, 240 secs
lola: 40624605 markings, 156319049 edges, 171253 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2300252 KB
lola: time consumption: 1813 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: SUBRESULT
lola: result: 23
lola: produced by: state space
lola: The maximum value of the given expression is 23
lola: 1898 markings, 2840 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0020-UpperBounds-9 23 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 906952 markings, 3158977 edges, 181390 markings/sec, 0 secs
lola: 1813919 markings, 6328558 edges, 181393 markings/sec, 5 secs
lola: 2720856 markings, 9492832 edges, 181387 markings/sec, 10 secs
lola: 3634692 markings, 12690030 edges, 182767 markings/sec, 15 secs
lola: 4559673 markings, 15909968 edges, 184996 markings/sec, 20 secs
lola: 5417649 markings, 18908097 edges, 171595 markings/sec, 25 secs
lola: 6346761 markings, 22142538 edges, 185822 markings/sec, 30 secs
lola: 7213383 markings, 25193540 edges, 173324 markings/sec, 35 secs
lola: 8131481 markings, 28396038 edges, 183620 markings/sec, 40 secs
lola: 9002873 markings, 31431693 edges, 174278 markings/sec, 45 secs
lola: 9928878 markings, 34680615 edges, 185201 markings/sec, 50 secs
lola: 10780365 markings, 37632091 edges, 170297 markings/sec, 55 secs
lola: 11659384 markings, 40722259 edges, 175804 markings/sec, 60 secs
lola: 12564963 markings, 43886188 edges, 181116 markings/sec, 65 secs
lola: 13488486 markings, 47102413 edges, 184705 markings/sec, 70 secs
lola: 14414170 markings, 50326225 edges, 185137 markings/sec, 75 secs
lola: 15345735 markings, 53592732 edges, 186313 markings/sec, 80 secs
lola: 16257835 markings, 56777150 edges, 182420 markings/sec, 85 secs
lola: 17160811 markings, 59932948 edges, 180595 markings/sec, 90 secs
lola: 18070810 markings, 63110770 edges, 182000 markings/sec, 95 secs
lola: 18982796 markings, 66311161 edges, 182397 markings/sec, 100 secs
lola: 19891319 markings, 69498572 edges, 181705 markings/sec, 105 secs
lola: 20812342 markings, 72708487 edges, 184205 markings/sec, 110 secs
lola: 21710055 markings, 75847450 edges, 179543 markings/sec, 115 secs
lola: 22612732 markings, 79005307 edges, 180535 markings/sec, 120 secs
lola: 23541611 markings, 82234493 edges, 185776 markings/sec, 125 secs
lola: 24452332 markings, 85414965 edges, 182144 markings/sec, 130 secs
lola: 25362003 markings, 88592756 edges, 181934 markings/sec, 135 secs
lola: 26261794 markings, 91738073 edges, 179958 markings/sec, 140 secs
lola: 27145357 markings, 94825606 edges, 176713 markings/sec, 145 secs
lola: 27991356 markings, 97773964 edges, 169200 markings/sec, 150 secs
lola: 28881836 markings, 100896431 edges, 178096 markings/sec, 155 secs
lola: 29763757 markings, 103992084 edges, 176384 markings/sec, 160 secs
lola: 30668287 markings, 107154002 edges, 180906 markings/sec, 165 secs
lola: 31589312 markings, 110362743 edges, 184205 markings/sec, 170 secs
lola: 32508853 markings, 113592190 edges, 183908 markings/sec, 175 secs
lola: 33415820 markings, 116766786 edges, 181393 markings/sec, 180 secs
lola: 34320186 markings, 119898690 edges, 180873 markings/sec, 185 secs
lola: 35229474 markings, 123083264 edges, 181858 markings/sec, 190 secs
lola: 36122305 markings, 126233273 edges, 178566 markings/sec, 195 secs
lola: 37047645 markings, 129452655 edges, 185068 markings/sec, 200 secs
lola: 37938328 markings, 132575010 edges, 178137 markings/sec, 205 secs
lola: 38842087 markings, 135710480 edges, 180752 markings/sec, 210 secs
lola: 39739702 markings, 138843900 edges, 179523 markings/sec, 215 secs
lola: 40638672 markings, 141992741 edges, 179794 markings/sec, 220 secs
lola: 41530063 markings, 145116846 edges, 178278 markings/sec, 225 secs
lola: 42451504 markings, 148325817 edges, 184288 markings/sec, 230 secs
lola: 43334612 markings, 151456732 edges, 176622 markings/sec, 235 secs
lola: 44237948 markings, 154591313 edges, 180667 markings/sec, 240 secs
lola: 45126623 markings, 157731786 edges, 177735 markings/sec, 245 secs
lola: 46026082 markings, 160878342 edges, 179892 markings/sec, 250 secs
lola: 46934643 markings, 164050895 edges, 181712 markings/sec, 255 secs
lola: 47836395 markings, 167219860 edges, 180350 markings/sec, 260 secs
lola: 48743390 markings, 170389477 edges, 181399 markings/sec, 265 secs
lola: 49634683 markings, 173509374 edges, 178259 markings/sec, 270 secs
lola: 50541967 markings, 176698482 edges, 181457 markings/sec, 275 secs
lola: 51448945 markings, 179865975 edges, 181396 markings/sec, 280 secs
lola: 52330202 markings, 182993494 edges, 176251 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4828296 KB
lola: time consumption: 2106 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p42)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 855154 markings, 3298218 edges, 171031 markings/sec, 0 secs
lola: 1694274 markings, 6510010 edges, 167824 markings/sec, 5 secs
lola: 2532962 markings, 9729819 edges, 167738 markings/sec, 10 secs
lola: 3383397 markings, 13008840 edges, 170087 markings/sec, 15 secs
lola: 4242683 markings, 16305763 edges, 171857 markings/sec, 20 secs
lola: 5078864 markings, 19514669 edges, 167236 markings/sec, 25 secs
lola: 5921040 markings, 22779945 edges, 168435 markings/sec, 30 secs
lola: 6783255 markings, 26070581 edges, 172443 markings/sec, 35 secs
lola: 7622096 markings, 29296377 edges, 167768 markings/sec, 40 secs
lola: 8469499 markings, 32566187 edges, 169481 markings/sec, 45 secs
lola: 9294372 markings, 35734357 edges, 164975 markings/sec, 50 secs
lola: 10116679 markings, 38894603 edges, 164461 markings/sec, 55 secs
lola: 10950657 markings, 42092739 edges, 166796 markings/sec, 60 secs
lola: 11776634 markings, 45281963 edges, 165195 markings/sec, 65 secs
lola: 12611212 markings, 48493250 edges, 166916 markings/sec, 70 secs
lola: 13442149 markings, 51694937 edges, 166187 markings/sec, 75 secs
lola: 14279652 markings, 54893997 edges, 167501 markings/sec, 80 secs
lola: 15113281 markings, 58100053 edges, 166726 markings/sec, 85 secs
lola: 15952578 markings, 61327170 edges, 167859 markings/sec, 90 secs
lola: 16779051 markings, 64517301 edges, 165295 markings/sec, 95 secs
lola: 17622771 markings, 67786297 edges, 168744 markings/sec, 100 secs
lola: 18455679 markings, 70964883 edges, 166582 markings/sec, 105 secs
lola: 19284726 markings, 74166155 edges, 165809 markings/sec, 110 secs
lola: 20111009 markings, 77352704 edges, 165257 markings/sec, 115 secs
lola: 20941731 markings, 80524317 edges, 166144 markings/sec, 120 secs
lola: 21759336 markings, 83688741 edges, 163521 markings/sec, 125 secs
lola: 22598469 markings, 86915328 edges, 167827 markings/sec, 130 secs
lola: 23446992 markings, 90169741 edges, 169705 markings/sec, 135 secs
lola: 24273656 markings, 93344014 edges, 165333 markings/sec, 140 secs
lola: 25103806 markings, 96530545 edges, 166030 markings/sec, 145 secs
lola: 25941125 markings, 99751964 edges, 167464 markings/sec, 150 secs
lola: 26759600 markings, 102899369 edges, 163695 markings/sec, 155 secs
lola: 27577317 markings, 106053069 edges, 163543 markings/sec, 160 secs
lola: 28421154 markings, 109296785 edges, 168767 markings/sec, 165 secs
lola: 29255936 markings, 112507235 edges, 166956 markings/sec, 170 secs
lola: 30075587 markings, 115648623 edges, 163930 markings/sec, 175 secs
lola: 30924181 markings, 118912841 edges, 169719 markings/sec, 180 secs
lola: 31751209 markings, 122123718 edges, 165406 markings/sec, 185 secs
lola: 32568835 markings, 125258662 edges, 163525 markings/sec, 190 secs
lola: 33411873 markings, 128512876 edges, 168608 markings/sec, 195 secs
lola: 34235658 markings, 131687416 edges, 164757 markings/sec, 200 secs
lola: 35075101 markings, 134927757 edges, 167889 markings/sec, 205 secs
lola: 35907010 markings, 138109685 edges, 166382 markings/sec, 210 secs
lola: 36722272 markings, 141251432 edges, 163052 markings/sec, 215 secs
lola: 37543198 markings, 144412943 edges, 164185 markings/sec, 220 secs
lola: 38385498 markings, 147663630 edges, 168460 markings/sec, 225 secs
lola: 39206354 markings, 150821626 edges, 164171 markings/sec, 230 secs
lola: 40012941 markings, 153978844 edges, 161317 markings/sec, 235 secs
lola: 40848422 markings, 157194711 edges, 167096 markings/sec, 240 secs
lola: 41668738 markings, 160338861 edges, 164063 markings/sec, 245 secs
lola: 42469729 markings, 163424584 edges, 160198 markings/sec, 250 secs
lola: 43300987 markings, 166628518 edges, 166252 markings/sec, 255 secs
lola: 44118062 markings, 169789513 edges, 163415 markings/sec, 260 secs
lola: 44938324 markings, 172960502 edges, 164052 markings/sec, 265 secs
lola: 45762130 markings, 176142087 edges, 164761 markings/sec, 270 secs
lola: 46588947 markings, 179332398 edges, 165363 markings/sec, 275 secs
lola: 47393743 markings, 182514960 edges, 160959 markings/sec, 280 secs
lola: 48214349 markings, 185680295 edges, 164121 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3301976 KB
lola: time consumption: 2398 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p37)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 844113 markings, 3236692 edges, 168823 markings/sec, 0 secs
lola: 1674274 markings, 6436818 edges, 166032 markings/sec, 5 secs
lola: 2510242 markings, 9653727 edges, 167194 markings/sec, 10 secs
lola: 3369415 markings, 12941564 edges, 171835 markings/sec, 15 secs
lola: 4227541 markings, 16253658 edges, 171625 markings/sec, 20 secs
lola: 5065224 markings, 19476145 edges, 167537 markings/sec, 25 secs
lola: 5920453 markings, 22753399 edges, 171046 markings/sec, 30 secs
lola: 6777682 markings, 26055686 edges, 171446 markings/sec, 35 secs
lola: 7621426 markings, 29294455 edges, 168749 markings/sec, 40 secs
lola: 8469505 markings, 32569603 edges, 169616 markings/sec, 45 secs
lola: 9298544 markings, 35744269 edges, 165808 markings/sec, 50 secs
lola: 10116685 markings, 38898106 edges, 163628 markings/sec, 55 secs
lola: 10953234 markings, 42102821 edges, 167310 markings/sec, 60 secs
lola: 11784703 markings, 45304082 edges, 166294 markings/sec, 65 secs
lola: 12622752 markings, 48527722 edges, 167610 markings/sec, 70 secs
lola: 13455298 markings, 51736828 edges, 166509 markings/sec, 75 secs
lola: 14293664 markings, 54960206 edges, 167673 markings/sec, 80 secs
lola: 15126974 markings, 58168320 edges, 166662 markings/sec, 85 secs
lola: 15969099 markings, 61403753 edges, 168425 markings/sec, 90 secs
lola: 16801241 markings, 64611194 edges, 166428 markings/sec, 95 secs
lola: 17653692 markings, 67886679 edges, 170490 markings/sec, 100 secs
lola: 18413454 markings, 70815494 edges, 151952 markings/sec, 105 secs
lola: 19250728 markings, 74034435 edges, 167455 markings/sec, 110 secs
lola: 20078003 markings, 77218417 edges, 165455 markings/sec, 115 secs
lola: 20908454 markings, 80398437 edges, 166090 markings/sec, 120 secs
lola: 21729879 markings, 83573093 edges, 164285 markings/sec, 125 secs
lola: 22569325 markings, 86800507 edges, 167889 markings/sec, 130 secs
lola: 23337675 markings, 89736064 edges, 153670 markings/sec, 135 secs
lola: 24117782 markings, 92739633 edges, 156021 markings/sec, 140 secs
lola: 24916976 markings, 95812481 edges, 159839 markings/sec, 145 secs
lola: 25743721 markings, 99002587 edges, 165349 markings/sec, 150 secs
lola: 26573517 markings, 102199090 edges, 165959 markings/sec, 155 secs
lola: 27360023 markings, 105217246 edges, 157301 markings/sec, 160 secs
lola: 28158543 markings, 108288639 edges, 159704 markings/sec, 165 secs
lola: 28938783 markings, 111294392 edges, 156048 markings/sec, 170 secs
lola: 29724296 markings, 114306926 edges, 157103 markings/sec, 175 secs
lola: 30556383 markings, 117512350 edges, 166417 markings/sec, 180 secs
lola: 31418959 markings, 120836950 edges, 172515 markings/sec, 185 secs
lola: 32174725 markings, 123761025 edges, 151153 markings/sec, 190 secs
lola: 32952660 markings, 126751380 edges, 155587 markings/sec, 195 secs
lola: 33802693 markings, 130011167 edges, 170007 markings/sec, 200 secs
lola: 34639197 markings, 133235573 edges, 167301 markings/sec, 205 secs
lola: 35474069 markings, 136443573 edges, 166974 markings/sec, 210 secs
lola: 36299910 markings, 139632242 edges, 165168 markings/sec, 215 secs
lola: 37124973 markings, 142792965 edges, 165013 markings/sec, 220 secs
lola: 37945282 markings, 145959344 edges, 164062 markings/sec, 225 secs
lola: 38695119 markings, 148844062 edges, 149967 markings/sec, 230 secs
lola: 39503722 markings, 152006387 edges, 161721 markings/sec, 235 secs
lola: 40343529 markings, 155236025 edges, 167961 markings/sec, 240 secs
lola: 41153510 markings, 158372636 edges, 161996 markings/sec, 245 secs
lola: 41974571 markings, 161520529 edges, 164212 markings/sec, 250 secs
lola: 42785645 markings, 164655318 edges, 162215 markings/sec, 255 secs
lola: 43609726 markings, 167835615 edges, 164816 markings/sec, 260 secs
lola: 44439084 markings, 171042793 edges, 165872 markings/sec, 265 secs
lola: 45263422 markings, 174225704 edges, 164868 markings/sec, 270 secs
lola: 46022055 markings, 177161143 edges, 151727 markings/sec, 275 secs
lola: 46786752 markings, 180110901 edges, 152939 markings/sec, 280 secs
lola: 47584601 markings, 183244113 edges, 159570 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3306056 KB
lola: time consumption: 2691 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p77)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p77)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 910404 markings, 3487645 edges, 182081 markings/sec, 0 secs
lola: 1770376 markings, 6806747 edges, 171994 markings/sec, 5 secs
lola: 2629191 markings, 10117791 edges, 171763 markings/sec, 10 secs
lola: 3522977 markings, 13532191 edges, 178757 markings/sec, 15 secs
lola: 4397293 markings, 16895969 edges, 174863 markings/sec, 20 secs
lola: 5263499 markings, 20224742 edges, 173241 markings/sec, 25 secs
lola: 6130298 markings, 23560169 edges, 173360 markings/sec, 30 secs
lola: 7010761 markings, 26966579 edges, 176093 markings/sec, 35 secs
lola: 7878996 markings, 30291817 edges, 173647 markings/sec, 40 secs
lola: 8749228 markings, 33653246 edges, 174046 markings/sec, 45 secs
lola: 9588351 markings, 36874981 edges, 167825 markings/sec, 50 secs
lola: 10448570 markings, 40166234 edges, 172044 markings/sec, 55 secs
lola: 11308118 markings, 43480767 edges, 171910 markings/sec, 60 secs
lola: 12153138 markings, 46727829 edges, 169004 markings/sec, 65 secs
lola: 13021233 markings, 50068092 edges, 173619 markings/sec, 70 secs
lola: 13872185 markings, 53326471 edges, 170190 markings/sec, 75 secs
lola: 14737483 markings, 56657740 edges, 173060 markings/sec, 80 secs
lola: 15603237 markings, 59993285 edges, 173151 markings/sec, 85 secs
lola: 16454218 markings, 63281434 edges, 170196 markings/sec, 90 secs
lola: 17335003 markings, 66657321 edges, 176157 markings/sec, 95 secs
lola: 18182184 markings, 69928549 edges, 169436 markings/sec, 100 secs
lola: 19051354 markings, 73256391 edges, 173834 markings/sec, 105 secs
lola: 19891532 markings, 76504844 edges, 168036 markings/sec, 110 secs
lola: 20749569 markings, 79791233 edges, 171607 markings/sec, 115 secs
lola: 21600862 markings, 83066903 edges, 170259 markings/sec, 120 secs
lola: 22467184 markings, 86388983 edges, 173264 markings/sec, 125 secs
lola: 23260635 markings, 89453193 edges, 158690 markings/sec, 130 secs
lola: 24119856 markings, 92768142 edges, 171844 markings/sec, 135 secs
lola: 24979313 markings, 96052048 edges, 171891 markings/sec, 140 secs
lola: 25769791 markings, 99107683 edges, 158096 markings/sec, 145 secs
lola: 26626863 markings, 102386777 edges, 171414 markings/sec, 150 secs
lola: 27474770 markings, 105651723 edges, 169581 markings/sec, 155 secs
lola: 28282859 markings, 108767632 edges, 161618 markings/sec, 160 secs
lola: 29147586 markings, 112076471 edges, 172945 markings/sec, 165 secs
lola: 29992198 markings, 115337386 edges, 168922 markings/sec, 170 secs
lola: 30819954 markings, 118512472 edges, 165551 markings/sec, 175 secs
lola: 31686041 markings, 121854914 edges, 173217 markings/sec, 180 secs
lola: 32520258 markings, 125086264 edges, 166843 markings/sec, 185 secs
lola: 33335578 markings, 128217128 edges, 163064 markings/sec, 190 secs
lola: 34186635 markings, 131506363 edges, 170211 markings/sec, 195 secs
lola: 35057229 markings, 134854170 edges, 174119 markings/sec, 200 secs
lola: 35855213 markings, 137930292 edges, 159597 markings/sec, 205 secs
lola: 36696615 markings, 141162651 edges, 168280 markings/sec, 210 secs
lola: 37551614 markings, 144435917 edges, 171000 markings/sec, 215 secs
lola: 38419004 markings, 147803452 edges, 173478 markings/sec, 220 secs
lola: 39212824 markings, 150839377 edges, 158764 markings/sec, 225 secs
lola: 40044869 markings, 154100795 edges, 166409 markings/sec, 230 secs
lola: 40911309 markings, 157435762 edges, 173288 markings/sec, 235 secs
lola: 41712941 markings, 160527407 edges, 160326 markings/sec, 240 secs
lola: 42541034 markings, 163718621 edges, 165619 markings/sec, 245 secs
lola: 43404137 markings, 167044267 edges, 172621 markings/sec, 250 secs
lola: 44200238 markings, 170116879 edges, 159220 markings/sec, 255 secs
lola: 45046391 markings, 173390681 edges, 169231 markings/sec, 260 secs
lola: 45888968 markings, 176655415 edges, 168515 markings/sec, 265 secs
lola: 46694189 markings, 179754279 edges, 161044 markings/sec, 270 secs
lola: 47522122 markings, 183004139 edges, 165587 markings/sec, 275 secs
lola: 48374852 markings, 186298938 edges, 170546 markings/sec, 280 secs
lola: 49192793 markings, 189439757 edges, 163588 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2505308 KB
lola: time consumption: 2984 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p54)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 935605 markings, 3248425 edges, 187121 markings/sec, 0 secs
lola: 1859684 markings, 6466808 edges, 184816 markings/sec, 5 secs
lola: 2773665 markings, 9683539 edges, 182796 markings/sec, 10 secs
lola: 3720281 markings, 12966892 edges, 189323 markings/sec, 15 secs
lola: 4655778 markings, 16245425 edges, 187099 markings/sec, 20 secs
lola: 5593813 markings, 19532944 edges, 187607 markings/sec, 25 secs
lola: 6532709 markings, 22792595 edges, 187779 markings/sec, 30 secs
lola: 7459865 markings, 26050917 edges, 185431 markings/sec, 35 secs
lola: 8394089 markings, 29295476 edges, 186845 markings/sec, 40 secs
lola: 9315714 markings, 32536417 edges, 184325 markings/sec, 45 secs
lola: 10246902 markings, 35776426 edges, 186238 markings/sec, 50 secs
lola: 11150848 markings, 38935601 edges, 180789 markings/sec, 55 secs
lola: 12059311 markings, 42109434 edges, 181693 markings/sec, 60 secs
lola: 12981469 markings, 45321074 edges, 184432 markings/sec, 65 secs
lola: 13897339 markings, 48543275 edges, 183174 markings/sec, 70 secs
lola: 14845344 markings, 51845534 edges, 189601 markings/sec, 75 secs
lola: 15696340 markings, 54806590 edges, 170199 markings/sec, 80 secs
lola: 16608558 markings, 57992201 edges, 182444 markings/sec, 85 secs
lola: 17517699 markings, 61168700 edges, 181828 markings/sec, 90 secs
lola: 18438463 markings, 64405142 edges, 184153 markings/sec, 95 secs
lola: 19348496 markings, 67583378 edges, 182007 markings/sec, 100 secs
lola: 20276077 markings, 70839386 edges, 185516 markings/sec, 105 secs
lola: 21178715 markings, 73997267 edges, 180528 markings/sec, 110 secs
lola: 22085651 markings, 77153896 edges, 181387 markings/sec, 115 secs
lola: 23004254 markings, 80366017 edges, 183721 markings/sec, 120 secs
lola: 23940553 markings, 83617404 edges, 187260 markings/sec, 125 secs
lola: 24844596 markings, 86777123 edges, 180809 markings/sec, 130 secs
lola: 25760958 markings, 89983486 edges, 183272 markings/sec, 135 secs
lola: 26656724 markings, 93109451 edges, 179153 markings/sec, 140 secs
lola: 27563556 markings, 96277584 edges, 181366 markings/sec, 145 secs
lola: 28482204 markings, 99503371 edges, 183730 markings/sec, 150 secs
lola: 29382857 markings, 102630046 edges, 180131 markings/sec, 155 secs
lola: 30205213 markings, 105527040 edges, 164471 markings/sec, 160 secs
lola: 31136095 markings, 108794967 edges, 186176 markings/sec, 165 secs
lola: 32022014 markings, 111871600 edges, 177184 markings/sec, 170 secs
lola: 32938086 markings, 115076273 edges, 183214 markings/sec, 175 secs
lola: 33845422 markings, 118255871 edges, 181467 markings/sec, 180 secs
lola: 34760832 markings, 121459105 edges, 183082 markings/sec, 185 secs
lola: 35563619 markings, 124250528 edges, 160557 markings/sec, 190 secs
lola: 36360259 markings, 127058296 edges, 159328 markings/sec, 195 secs
lola: 37281807 markings, 130274938 edges, 184310 markings/sec, 200 secs
lola: 38072149 markings, 133016641 edges, 158068 markings/sec, 205 secs
lola: 38977331 markings, 136179600 edges, 181036 markings/sec, 210 secs
lola: 39873782 markings, 139320341 edges, 179290 markings/sec, 215 secs
lola: 40732463 markings, 142320204 edges, 171736 markings/sec, 220 secs
lola: 41566753 markings, 145251060 edges, 166858 markings/sec, 225 secs
lola: 42401783 markings, 148152297 edges, 167006 markings/sec, 230 secs
lola: 43288803 markings, 151294798 edges, 177404 markings/sec, 235 secs
lola: 44182762 markings, 154394914 edges, 178792 markings/sec, 240 secs
lola: 45076288 markings, 157556440 edges, 178705 markings/sec, 245 secs
lola: 45983068 markings, 160724429 edges, 181356 markings/sec, 250 secs
lola: 46817324 markings, 163646845 edges, 166851 markings/sec, 255 secs
lola: 47689236 markings, 166694240 edges, 174382 markings/sec, 260 secs
lola: 48572629 markings, 169795184 edges, 176679 markings/sec, 265 secs
lola: 49466303 markings, 172925092 edges, 178735 markings/sec, 270 secs
lola: 50344856 markings, 175982167 edges, 175711 markings/sec, 275 secs
lola: 51218196 markings, 179054343 edges, 174668 markings/sec, 280 secs
lola: 52116839 markings, 182202597 edges, 179729 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3799208 KB
lola: time consumption: 3277 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p33)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0020-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: 23
lola: 927825 markings, 3157350 edges, 185565 markings/sec, 0 secs
lola: 1845702 markings, 6312515 edges, 183575 markings/sec, 5 secs
lola: 2775457 markings, 9486167 edges, 185951 markings/sec, 10 secs
lola: 3734553 markings, 12765781 edges, 191819 markings/sec, 15 secs
lola: 4670087 markings, 15954000 edges, 187107 markings/sec, 20 secs
lola: 5623110 markings, 19213960 edges, 190605 markings/sec, 25 secs
lola: 6560446 markings, 22419293 edges, 187467 markings/sec, 30 secs
lola: 7495478 markings, 25610917 edges, 187006 markings/sec, 35 secs
lola: 8427927 markings, 28799942 edges, 186490 markings/sec, 40 secs
lola: 9256390 markings, 31636187 edges, 165693 markings/sec, 45 secs
lola: 10163550 markings, 34731799 edges, 181432 markings/sec, 50 secs
lola: 11073070 markings, 37849348 edges, 181904 markings/sec, 55 secs
lola: 11944818 markings, 40825307 edges, 174350 markings/sec, 60 secs
lola: 12825228 markings, 43827808 edges, 176082 markings/sec, 65 secs
lola: 13703584 markings, 46844522 edges, 175671 markings/sec, 70 secs
lola: 14585910 markings, 49849441 edges, 176465 markings/sec, 75 secs
lola: 15505212 markings, 52996976 edges, 183860 markings/sec, 80 secs
lola: 16420989 markings, 56132286 edges, 183155 markings/sec, 85 secs
lola: 17346402 markings, 59284959 edges, 185083 markings/sec, 90 secs
lola: 18266769 markings, 62446154 edges, 184073 markings/sec, 95 secs
lola: 19182147 markings, 65574545 edges, 183076 markings/sec, 100 secs
lola: 20096477 markings, 68688006 edges, 182866 markings/sec, 105 secs
lola: 21014667 markings, 71840501 edges, 183638 markings/sec, 110 secs
lola: 21805012 markings, 74533165 edges, 158069 markings/sec, 115 secs
lola: 22719183 markings, 77659797 edges, 182834 markings/sec, 120 secs
lola: 23640808 markings, 80805472 edges, 184325 markings/sec, 125 secs
lola: 24537355 markings, 83867976 edges, 179309 markings/sec, 130 secs
lola: 25445276 markings, 86980464 edges, 181584 markings/sec, 135 secs
lola: 26286060 markings, 89843572 edges, 168157 markings/sec, 140 secs
lola: 27172525 markings, 92878116 edges, 177293 markings/sec, 145 secs
lola: 28079395 markings, 95985949 edges, 181374 markings/sec, 150 secs
lola: 29009325 markings, 99170110 edges, 185986 markings/sec, 155 secs
lola: 29935646 markings, 102332852 edges, 185264 markings/sec, 160 secs
lola: 30790111 markings, 105244262 edges, 170893 markings/sec, 165 secs
lola: 31703218 markings, 108366638 edges, 182621 markings/sec, 170 secs
lola: 32520041 markings, 111161155 edges, 163365 markings/sec, 175 secs
lola: 33391792 markings, 114141224 edges, 174350 markings/sec, 180 secs
lola: 34206989 markings, 116932194 edges, 163039 markings/sec, 185 secs
lola: 35094926 markings, 119975248 edges, 177587 markings/sec, 190 secs
lola: 35966448 markings, 122947305 edges, 174304 markings/sec, 195 secs
lola: 36853300 markings, 125985438 edges, 177370 markings/sec, 200 secs
lola: 37725103 markings, 128964710 edges, 174361 markings/sec, 205 secs
lola: 38597336 markings, 131947837 edges, 174447 markings/sec, 210 secs
lola: 39497483 markings, 135023445 edges, 180029 markings/sec, 215 secs
lola: 40390765 markings, 138083177 edges, 178656 markings/sec, 220 secs
lola: 41274623 markings, 141114196 edges, 176772 markings/sec, 225 secs
lola: 42165448 markings, 144157504 edges, 178165 markings/sec, 230 secs
lola: 43059599 markings, 147220060 edges, 178830 markings/sec, 235 secs
lola: 43965450 markings, 150318365 edges, 181170 markings/sec, 240 secs
lola: 44861726 markings, 153380370 edges, 179255 markings/sec, 245 secs
lola: 45748435 markings, 156415707 edges, 177342 markings/sec, 250 secs
lola: 46658314 markings, 159522100 edges, 181976 markings/sec, 255 secs
lola: 47549890 markings, 162573312 edges, 178315 markings/sec, 260 secs
lola: 48423012 markings, 165577451 edges, 174624 markings/sec, 265 secs
lola: 49308603 markings, 168602166 edges, 177118 markings/sec, 270 secs
lola: 50225323 markings, 171739274 edges, 183344 markings/sec, 275 secs
lola: 51091482 markings, 174726850 edges, 173232 markings/sec, 280 secs
lola: 51913384 markings, 177556250 edges, 164380 markings/sec, 285 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 23 unknown 23 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 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3131288 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 23 unknown 23 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3131288 KB
lola: time consumption: 3570 seconds

BK_STOP 1526822058223

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