Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246566100313.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is JoinFreeModules-PT-0050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246566100313
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 3.3K Feb 11 06:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 11 06:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 7 05:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 7 05:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 00:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Feb 5 00:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 31 06:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 31 06:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 282K Mar 10 17:31 model.pnml

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

=== Now, execution of the tool begins

BK_START 1552873995249

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0050 @ 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: 652/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8032
lola: finding significant places
lola: 251 places, 401 transitions, 200 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 451 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0050-UpperBounds.task
lola: MAX(p214) : MAX(p131) : MAX(p58) : MAX(p77) : MAX(p44) : MAX(p91) : MAX(p52) : MAX(p241) : MAX(p118) : MAX(p72) : MAX(p177) : MAX(p45) : MAX(p138) : MAX(p237) : MAX(p143) : MAX(p99)
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(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p214)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 698159 markings, 2357951 edges, 139632 markings/sec, 0 secs
lola: 1162619 markings, 4721454 edges, 92892 markings/sec, 5 secs
lola: 1877671 markings, 7271544 edges, 143010 markings/sec, 10 secs
lola: 2361816 markings, 9801901 edges, 96829 markings/sec, 15 secs
lola: 3101168 markings, 12344659 edges, 147870 markings/sec, 20 secs
lola: 3582725 markings, 14834873 edges, 96311 markings/sec, 25 secs
lola: 4320322 markings, 17362422 edges, 147519 markings/sec, 30 secs
lola: 4812927 markings, 19906251 edges, 98521 markings/sec, 35 secs
lola: 5546442 markings, 22415977 edges, 146703 markings/sec, 40 secs
lola: 6007308 markings, 24863564 edges, 92173 markings/sec, 45 secs
lola: 6742314 markings, 27375958 edges, 147001 markings/sec, 50 secs
lola: 7207346 markings, 29847121 edges, 93006 markings/sec, 55 secs
lola: 7939792 markings, 32343226 edges, 146489 markings/sec, 60 secs
lola: 8396835 markings, 34795086 edges, 91409 markings/sec, 65 secs
lola: 9132601 markings, 37299707 edges, 147153 markings/sec, 70 secs
lola: 9589003 markings, 39755203 edges, 91280 markings/sec, 75 secs
lola: 10323107 markings, 42250734 edges, 146821 markings/sec, 80 secs
lola: 10774528 markings, 44690004 edges, 90284 markings/sec, 85 secs
lola: 11512351 markings, 47200136 edges, 147565 markings/sec, 90 secs
lola: 11961194 markings, 49630523 edges, 89769 markings/sec, 95 secs
lola: 12694155 markings, 52121685 edges, 146592 markings/sec, 100 secs
lola: 13141205 markings, 54546614 edges, 89410 markings/sec, 105 secs
lola: 13871967 markings, 57029048 edges, 146152 markings/sec, 110 secs
lola: 14318749 markings, 59455266 edges, 89356 markings/sec, 115 secs
lola: 15026175 markings, 61847934 edges, 141485 markings/sec, 120 secs
lola: 15418266 markings, 64067598 edges, 78418 markings/sec, 125 secs
lola: 16087702 markings, 66330802 edges, 133887 markings/sec, 130 secs
lola: 16476689 markings, 68538915 edges, 77797 markings/sec, 135 secs
lola: 17200580 markings, 71013956 edges, 144778 markings/sec, 140 secs
lola: 17655314 markings, 73446178 edges, 90947 markings/sec, 145 secs
lola: 18376821 markings, 75909844 edges, 144301 markings/sec, 150 secs
lola: 18795234 markings, 78216897 edges, 83683 markings/sec, 155 secs
lola: 19447048 markings, 80459365 edges, 130363 markings/sec, 160 secs
lola: 19825348 markings, 82635041 edges, 75660 markings/sec, 165 secs
lola: 20501291 markings, 84963007 edges, 135189 markings/sec, 170 secs
lola: 20949822 markings, 87370488 edges, 89706 markings/sec, 175 secs
lola: 21661602 markings, 89804878 edges, 142356 markings/sec, 180 secs
lola: 22090402 markings, 92110684 edges, 85760 markings/sec, 185 secs
lola: 22788758 markings, 94521822 edges, 139671 markings/sec, 190 secs
lola: 23257994 markings, 97024878 edges, 93847 markings/sec, 195 secs
lola: 24004472 markings, 99572705 edges, 149296 markings/sec, 200 secs
lola: 24427598 markings, 101893794 edges, 84625 markings/sec, 205 secs
lola: 25096978 markings, 104159138 edges, 133876 markings/sec, 210 secs
lola: 25578299 markings, 106398488 edges, 96264 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: 2728432 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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p131)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 589814 markings, 2386500 edges, 117963 markings/sec, 0 secs
lola: 1133980 markings, 4704474 edges, 108833 markings/sec, 5 secs
lola: 1732058 markings, 7014465 edges, 119616 markings/sec, 10 secs
lola: 2407032 markings, 9531546 edges, 134995 markings/sec, 15 secs
lola: 3072110 markings, 12142349 edges, 133016 markings/sec, 20 secs
lola: 3717220 markings, 14744493 edges, 129022 markings/sec, 25 secs
lola: 4353200 markings, 17341508 edges, 127196 markings/sec, 30 secs
lola: 4925851 markings, 19749247 edges, 114530 markings/sec, 35 secs
lola: 5507468 markings, 22250958 edges, 116323 markings/sec, 40 secs
lola: 6137270 markings, 24787141 edges, 125960 markings/sec, 45 secs
lola: 6754940 markings, 27324540 edges, 123534 markings/sec, 50 secs
lola: 7365536 markings, 29855537 edges, 122119 markings/sec, 55 secs
lola: 7943032 markings, 32326986 edges, 115499 markings/sec, 60 secs
lola: 8621386 markings, 34785239 edges, 135671 markings/sec, 65 secs
lola: 9253500 markings, 37121769 edges, 126423 markings/sec, 70 secs
lola: 9845131 markings, 39549571 edges, 118326 markings/sec, 75 secs
lola: 10425909 markings, 41989866 edges, 116156 markings/sec, 80 secs
lola: 10997146 markings, 44426819 edges, 114247 markings/sec, 85 secs
lola: 11622141 markings, 46964789 edges, 124999 markings/sec, 90 secs
lola: 12224614 markings, 49459226 edges, 120495 markings/sec, 95 secs
lola: 12800532 markings, 51920983 edges, 115184 markings/sec, 100 secs
lola: 13449087 markings, 54340266 edges, 129711 markings/sec, 105 secs
lola: 14107762 markings, 56745505 edges, 131735 markings/sec, 110 secs
lola: 14683660 markings, 59091941 edges, 115180 markings/sec, 115 secs
lola: 15237328 markings, 61448839 edges, 110734 markings/sec, 120 secs
lola: 15788039 markings, 63784256 edges, 110142 markings/sec, 125 secs
lola: 16370793 markings, 66205463 edges, 116551 markings/sec, 130 secs
lola: 16903232 markings, 68459730 edges, 106488 markings/sec, 135 secs
lola: 17558776 markings, 70692503 edges, 131109 markings/sec, 140 secs
lola: 18088278 markings, 72879050 edges, 105900 markings/sec, 145 secs
lola: 18602476 markings, 75161045 edges, 102840 markings/sec, 150 secs
lola: 19183772 markings, 77533090 edges, 116259 markings/sec, 155 secs
lola: 19781588 markings, 80018555 edges, 119563 markings/sec, 160 secs
lola: 20350514 markings, 82415404 edges, 113785 markings/sec, 165 secs
lola: 21025450 markings, 84838855 edges, 134987 markings/sec, 170 secs
lola: 21620234 markings, 87097099 edges, 118957 markings/sec, 175 secs
lola: 22129141 markings, 89299438 edges, 101781 markings/sec, 180 secs
lola: 22638954 markings, 91488587 edges, 101963 markings/sec, 185 secs
lola: 23144216 markings, 93712108 edges, 101052 markings/sec, 190 secs
lola: 23786294 markings, 96053673 edges, 128416 markings/sec, 195 secs
lola: 24415768 markings, 98385414 edges, 125895 markings/sec, 200 secs
lola: 24980962 markings, 100731769 edges, 113039 markings/sec, 205 secs
lola: 25543570 markings, 103143063 edges, 112522 markings/sec, 210 secs
lola: 26135971 markings, 105594404 edges, 118480 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: 3508752 KB
lola: time consumption: 447 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p58)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 770247 markings, 2633728 edges, 154049 markings/sec, 0 secs
lola: 1542893 markings, 5253824 edges, 154529 markings/sec, 5 secs
lola: 2287935 markings, 7859888 edges, 149008 markings/sec, 10 secs
lola: 3017340 markings, 10471180 edges, 145881 markings/sec, 15 secs
lola: 3745668 markings, 13067823 edges, 145666 markings/sec, 20 secs
lola: 4461625 markings, 15627127 edges, 143191 markings/sec, 25 secs
lola: 5167490 markings, 18190479 edges, 141173 markings/sec, 30 secs
lola: 5936318 markings, 20747065 edges, 153766 markings/sec, 35 secs
lola: 6662756 markings, 23311208 edges, 145288 markings/sec, 40 secs
lola: 7372023 markings, 25851371 edges, 141853 markings/sec, 45 secs
lola: 8080955 markings, 28389108 edges, 141786 markings/sec, 50 secs
lola: 8779491 markings, 30926179 edges, 139707 markings/sec, 55 secs
lola: 9547788 markings, 33482460 edges, 153659 markings/sec, 60 secs
lola: 10283821 markings, 36036007 edges, 147207 markings/sec, 65 secs
lola: 11007153 markings, 38631550 edges, 144666 markings/sec, 70 secs
lola: 11715404 markings, 41160142 edges, 141650 markings/sec, 75 secs
lola: 12398806 markings, 43679557 edges, 136680 markings/sec, 80 secs
lola: 13164567 markings, 46196473 edges, 153152 markings/sec, 85 secs
lola: 13860518 markings, 48698954 edges, 139190 markings/sec, 90 secs
lola: 14558113 markings, 51199401 edges, 139519 markings/sec, 95 secs
lola: 15241484 markings, 53685471 edges, 136674 markings/sec, 100 secs
lola: 15998408 markings, 56179366 edges, 151385 markings/sec, 105 secs
lola: 16618134 markings, 58471048 edges, 123945 markings/sec, 110 secs
lola: 17297574 markings, 60764720 edges, 135888 markings/sec, 115 secs
lola: 17926151 markings, 63045615 edges, 125715 markings/sec, 120 secs
lola: 18598889 markings, 65531818 edges, 134548 markings/sec, 125 secs
lola: 19355304 markings, 68017937 edges, 151283 markings/sec, 130 secs
lola: 20050421 markings, 70526375 edges, 139023 markings/sec, 135 secs
lola: 20752687 markings, 73037428 edges, 140453 markings/sec, 140 secs
lola: 21441749 markings, 75529762 edges, 137812 markings/sec, 145 secs
lola: 22209210 markings, 78083741 edges, 153492 markings/sec, 150 secs
lola: 22936066 markings, 80673426 edges, 145371 markings/sec, 155 secs
lola: 23657234 markings, 83249529 edges, 144234 markings/sec, 160 secs
lola: 24384449 markings, 85836349 edges, 145443 markings/sec, 165 secs
lola: 25102393 markings, 88433757 edges, 143589 markings/sec, 170 secs
lola: 25829563 markings, 91011419 edges, 145434 markings/sec, 175 secs
lola: 26595000 markings, 93519408 edges, 153087 markings/sec, 180 secs
lola: 27286807 markings, 96010263 edges, 138361 markings/sec, 185 secs
lola: 27977100 markings, 98488723 edges, 138059 markings/sec, 190 secs
lola: 28671707 markings, 100973802 edges, 138921 markings/sec, 195 secs
lola: 29413157 markings, 103472632 edges, 148290 markings/sec, 200 secs
lola: 30100996 markings, 105963951 edges, 137568 markings/sec, 205 secs
lola: 30778312 markings, 108446178 edges, 135463 markings/sec, 210 secs
lola: 31513536 markings, 110948504 edges, 147045 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: 1573108 KB
lola: time consumption: 670 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(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-0050-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: 53
lola: 527222 markings, 2583883 edges, 105444 markings/sec, 0 secs
lola: 1263906 markings, 5174608 edges, 147337 markings/sec, 5 secs
lola: 1749500 markings, 7692419 edges, 97119 markings/sec, 10 secs
lola: 2484360 markings, 10278179 edges, 146972 markings/sec, 15 secs
lola: 2959387 markings, 12800742 edges, 95005 markings/sec, 20 secs
lola: 3684156 markings, 15332919 edges, 144954 markings/sec, 25 secs
lola: 4186777 markings, 17858473 edges, 100524 markings/sec, 30 secs
lola: 4811472 markings, 20383955 edges, 124939 markings/sec, 35 secs
lola: 5392666 markings, 22898748 edges, 116239 markings/sec, 40 secs
lola: 5921364 markings, 25375920 edges, 105740 markings/sec, 45 secs
lola: 6585390 markings, 27904336 edges, 132805 markings/sec, 50 secs
lola: 7059112 markings, 30369327 edges, 94744 markings/sec, 55 secs
lola: 7765158 markings, 32895894 edges, 141209 markings/sec, 60 secs
lola: 8253188 markings, 35347578 edges, 97606 markings/sec, 65 secs
lola: 8971561 markings, 37874964 edges, 143675 markings/sec, 70 secs
lola: 9445236 markings, 40336694 edges, 94735 markings/sec, 75 secs
lola: 10154987 markings, 42830112 edges, 141950 markings/sec, 80 secs
lola: 10621808 markings, 45280127 edges, 93364 markings/sec, 85 secs
lola: 11338334 markings, 47797913 edges, 143305 markings/sec, 90 secs
lola: 11786149 markings, 50189429 edges, 89563 markings/sec, 95 secs
lola: 12498878 markings, 52687514 edges, 142546 markings/sec, 100 secs
lola: 12945235 markings, 55106007 edges, 89271 markings/sec, 105 secs
lola: 13671082 markings, 57643458 edges, 145169 markings/sec, 110 secs
lola: 14153553 markings, 60098607 edges, 96494 markings/sec, 115 secs
lola: 14795925 markings, 62587884 edges, 128474 markings/sec, 120 secs
lola: 15333862 markings, 65042931 edges, 107587 markings/sec, 125 secs
lola: 15906547 markings, 67441473 edges, 114537 markings/sec, 130 secs
lola: 16476440 markings, 69862061 edges, 113979 markings/sec, 135 secs
lola: 17016221 markings, 72261876 edges, 107956 markings/sec, 140 secs
lola: 17630544 markings, 74725248 edges, 122865 markings/sec, 145 secs
lola: 18125743 markings, 77175653 edges, 99040 markings/sec, 150 secs
lola: 18804123 markings, 79661362 edges, 135676 markings/sec, 155 secs
lola: 19265157 markings, 82077675 edges, 92207 markings/sec, 160 secs
lola: 19962656 markings, 84563279 edges, 139500 markings/sec, 165 secs
lola: 20434438 markings, 86972609 edges, 94356 markings/sec, 170 secs
lola: 21135691 markings, 89445110 edges, 140251 markings/sec, 175 secs
lola: 21596916 markings, 91853228 edges, 92245 markings/sec, 180 secs
lola: 22301946 markings, 94334920 edges, 141006 markings/sec, 185 secs
lola: 22769064 markings, 96775704 edges, 93424 markings/sec, 190 secs
lola: 23483003 markings, 99284843 edges, 142788 markings/sec, 195 secs
lola: 23962920 markings, 101786601 edges, 95983 markings/sec, 200 secs
lola: 24689370 markings, 104339008 edges, 145290 markings/sec, 205 secs
lola: 25155054 markings, 106834302 edges, 93137 markings/sec, 210 secs
lola: 25880372 markings, 109371989 edges, 145064 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: 3070268 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(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 795359 markings, 2697387 edges, 159072 markings/sec, 0 secs
lola: 1273105 markings, 5184353 edges, 95549 markings/sec, 5 secs
lola: 2073161 markings, 7911489 edges, 160011 markings/sec, 10 secs
lola: 2599925 markings, 10602146 edges, 105353 markings/sec, 15 secs
lola: 3396928 markings, 13330740 edges, 159401 markings/sec, 20 secs
lola: 3927788 markings, 16022457 edges, 106172 markings/sec, 25 secs
lola: 4650105 markings, 18803237 edges, 144463 markings/sec, 30 secs
lola: 5282739 markings, 21515505 edges, 126527 markings/sec, 35 secs
lola: 5813243 markings, 24170012 edges, 106101 markings/sec, 40 secs
lola: 6572763 markings, 26843293 edges, 151904 markings/sec, 45 secs
lola: 7108764 markings, 29511320 edges, 107200 markings/sec, 50 secs
lola: 7888531 markings, 32172256 edges, 155953 markings/sec, 55 secs
lola: 8400710 markings, 34809407 edges, 102436 markings/sec, 60 secs
lola: 9175059 markings, 37453910 edges, 154870 markings/sec, 65 secs
lola: 9679577 markings, 40096035 edges, 100904 markings/sec, 70 secs
lola: 10456700 markings, 42752142 edges, 155425 markings/sec, 75 secs
lola: 10979674 markings, 45369397 edges, 104595 markings/sec, 80 secs
lola: 11626346 markings, 48022332 edges, 129334 markings/sec, 85 secs
lola: 12267587 markings, 50652145 edges, 128248 markings/sec, 90 secs
lola: 12789161 markings, 53264755 edges, 104315 markings/sec, 95 secs
lola: 13529942 markings, 55876079 edges, 148156 markings/sec, 100 secs
lola: 14061184 markings, 58538328 edges, 106248 markings/sec, 105 secs
lola: 14838050 markings, 61189910 edges, 155373 markings/sec, 110 secs
lola: 15345296 markings, 63799626 edges, 101449 markings/sec, 115 secs
lola: 16122235 markings, 66453011 edges, 155388 markings/sec, 120 secs
lola: 16621719 markings, 69071404 edges, 99897 markings/sec, 125 secs
lola: 17394605 markings, 71711259 edges, 154577 markings/sec, 130 secs
lola: 17882493 markings, 74239429 edges, 97578 markings/sec, 135 secs
lola: 18599472 markings, 76798905 edges, 143396 markings/sec, 140 secs
lola: 19123265 markings, 79340368 edges, 104759 markings/sec, 145 secs
lola: 19764711 markings, 81878214 edges, 128289 markings/sec, 150 secs
lola: 20349362 markings, 84402824 edges, 116930 markings/sec, 155 secs
lola: 20927670 markings, 86954743 edges, 115662 markings/sec, 160 secs
lola: 21575712 markings, 89482423 edges, 129608 markings/sec, 165 secs
lola: 22090381 markings, 91995378 edges, 102934 markings/sec, 170 secs
lola: 22788546 markings, 94521075 edges, 139633 markings/sec, 175 secs
lola: 23270601 markings, 97058866 edges, 96411 markings/sec, 180 secs
lola: 24018819 markings, 99628102 edges, 149644 markings/sec, 185 secs
lola: 24512252 markings, 102152818 edges, 98687 markings/sec, 190 secs
lola: 25257972 markings, 104705369 edges, 149144 markings/sec, 195 secs
lola: 25747108 markings, 107240512 edges, 97827 markings/sec, 200 secs
lola: 26496550 markings, 109802025 edges, 149888 markings/sec, 205 secs
lola: 26993367 markings, 112384554 edges, 99363 markings/sec, 210 secs
lola: 27757142 markings, 114989692 edges, 152755 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: 1846864 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(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 612124 markings, 2465380 edges, 122425 markings/sec, 0 secs
lola: 1213055 markings, 4949754 edges, 120186 markings/sec, 5 secs
lola: 1792328 markings, 7405580 edges, 115855 markings/sec, 10 secs
lola: 2425086 markings, 9886495 edges, 126552 markings/sec, 15 secs
lola: 3101306 markings, 12393557 edges, 135244 markings/sec, 20 secs
lola: 3745361 markings, 14863052 edges, 128811 markings/sec, 25 secs
lola: 4344338 markings, 17311984 edges, 119795 markings/sec, 30 secs
lola: 4942107 markings, 19798197 edges, 119554 markings/sec, 35 secs
lola: 5504018 markings, 22228708 edges, 112382 markings/sec, 40 secs
lola: 6099722 markings, 24653608 edges, 119141 markings/sec, 45 secs
lola: 6694215 markings, 27125142 edges, 118899 markings/sec, 50 secs
lola: 7279819 markings, 29623590 edges, 117121 markings/sec, 55 secs
lola: 7937279 markings, 32105387 edges, 131492 markings/sec, 60 secs
lola: 8611548 markings, 34615261 edges, 134854 markings/sec, 65 secs
lola: 9252710 markings, 37117139 edges, 128232 markings/sec, 70 secs
lola: 9848742 markings, 39561472 edges, 119206 markings/sec, 75 secs
lola: 10443889 markings, 42042915 edges, 119029 markings/sec, 80 secs
lola: 11016615 markings, 44503562 edges, 114545 markings/sec, 85 secs
lola: 11594863 markings, 46871653 edges, 115650 markings/sec, 90 secs
lola: 12183553 markings, 49331742 edges, 117738 markings/sec, 95 secs
lola: 12768193 markings, 51811381 edges, 116928 markings/sec, 100 secs
lola: 13429464 markings, 54019540 edges, 132254 markings/sec, 105 secs
lola: 13961047 markings, 56195029 edges, 106317 markings/sec, 110 secs
lola: 14450025 markings, 58376809 edges, 97796 markings/sec, 115 secs
lola: 15045780 markings, 60813501 edges, 119151 markings/sec, 120 secs
lola: 15613178 markings, 63209009 edges, 113480 markings/sec, 125 secs
lola: 16206816 markings, 65486832 edges, 118728 markings/sec, 130 secs
lola: 16858227 markings, 67849689 edges, 130282 markings/sec, 135 secs
lola: 17412206 markings, 70137348 edges, 110796 markings/sec, 140 secs
lola: 17942919 markings, 72461865 edges, 106143 markings/sec, 145 secs
lola: 18462570 markings, 74640745 edges, 103930 markings/sec, 150 secs
lola: 18971108 markings, 76814854 edges, 101708 markings/sec, 155 secs
lola: 19638999 markings, 79139329 edges, 133578 markings/sec, 160 secs
lola: 20184233 markings, 81328521 edges, 109047 markings/sec, 165 secs
lola: 20663963 markings, 83484693 edges, 95946 markings/sec, 170 secs
lola: 21175858 markings, 85638168 edges, 102379 markings/sec, 175 secs
lola: 21729287 markings, 87997461 edges, 110686 markings/sec, 180 secs
lola: 22400928 markings, 90364734 edges, 134328 markings/sec, 185 secs
lola: 23034493 markings, 92803073 edges, 126713 markings/sec, 190 secs
lola: 23600880 markings, 95155898 edges, 113277 markings/sec, 195 secs
lola: 24160781 markings, 97562394 edges, 111980 markings/sec, 200 secs
lola: 24743367 markings, 99973968 edges, 116517 markings/sec, 205 secs
lola: 25328213 markings, 102404022 edges, 116969 markings/sec, 210 secs
lola: 25886616 markings, 104820498 edges, 111681 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: 3685736 KB
lola: time consumption: 1340 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(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 575355 markings, 2755036 edges, 115071 markings/sec, 0 secs
lola: 1344281 markings, 5463833 edges, 153785 markings/sec, 5 secs
lola: 1870239 markings, 8150593 edges, 105192 markings/sec, 10 secs
lola: 2591318 markings, 10867028 edges, 144216 markings/sec, 15 secs
lola: 3191285 markings, 13562035 edges, 119993 markings/sec, 20 secs
lola: 3718092 markings, 16240073 edges, 105361 markings/sec, 25 secs
lola: 4513215 markings, 19005243 edges, 159025 markings/sec, 30 secs
lola: 5034240 markings, 21632147 edges, 104205 markings/sec, 35 secs
lola: 5789952 markings, 24293219 edges, 151142 markings/sec, 40 secs
lola: 6288036 markings, 26902613 edges, 99617 markings/sec, 45 secs
lola: 7028187 markings, 29572243 edges, 148030 markings/sec, 50 secs
lola: 7580331 markings, 32186249 edges, 110429 markings/sec, 55 secs
lola: 8140342 markings, 34777025 edges, 112002 markings/sec, 60 secs
lola: 8832755 markings, 37412814 edges, 138483 markings/sec, 65 secs
lola: 9358714 markings, 40033794 edges, 105192 markings/sec, 70 secs
lola: 10109894 markings, 42673140 edges, 150236 markings/sec, 75 secs
lola: 10595726 markings, 45185194 edges, 97166 markings/sec, 80 secs
lola: 11339098 markings, 47800757 edges, 148674 markings/sec, 85 secs
lola: 11828804 markings, 50369282 edges, 97941 markings/sec, 90 secs
lola: 12571172 markings, 52993245 edges, 148474 markings/sec, 95 secs
lola: 13094814 markings, 55572592 edges, 104728 markings/sec, 100 secs
lola: 13687762 markings, 58181227 edges, 118590 markings/sec, 105 secs
lola: 14349605 markings, 60798298 edges, 132369 markings/sec, 110 secs
lola: 14854625 markings, 63363917 edges, 101004 markings/sec, 115 secs
lola: 15604533 markings, 65996511 edges, 149982 markings/sec, 120 secs
lola: 16104737 markings, 68547679 edges, 100041 markings/sec, 125 secs
lola: 16847569 markings, 71160089 edges, 148566 markings/sec, 130 secs
lola: 17340521 markings, 73716759 edges, 98590 markings/sec, 135 secs
lola: 18082240 markings, 76325632 edges, 148344 markings/sec, 140 secs
lola: 18586408 markings, 78882907 edges, 100834 markings/sec, 145 secs
lola: 19234404 markings, 81439446 edges, 129599 markings/sec, 150 secs
lola: 19816609 markings, 84004888 edges, 116441 markings/sec, 155 secs
lola: 20344721 markings, 86520802 edges, 105622 markings/sec, 160 secs
lola: 21035608 markings, 89109310 edges, 138177 markings/sec, 165 secs
lola: 21532583 markings, 91635077 edges, 99395 markings/sec, 170 secs
lola: 22274226 markings, 94241204 edges, 148329 markings/sec, 175 secs
lola: 22775141 markings, 96797232 edges, 100183 markings/sec, 180 secs
lola: 23513695 markings, 99394810 edges, 147711 markings/sec, 185 secs
lola: 24004714 markings, 101945890 edges, 98204 markings/sec, 190 secs
lola: 24746237 markings, 104554981 edges, 148305 markings/sec, 195 secs
lola: 25248820 markings, 107102796 edges, 100517 markings/sec, 200 secs
lola: 25891725 markings, 109673803 edges, 128581 markings/sec, 205 secs
lola: 26484652 markings, 112247004 edges, 118585 markings/sec, 210 secs
lola: 27001657 markings, 114811016 edges, 103401 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: 1827156 KB
lola: time consumption: 1563 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(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 641049 markings, 2569797 edges, 128210 markings/sec, 0 secs
lola: 1298962 markings, 5242082 edges, 131583 markings/sec, 5 secs
lola: 1951374 markings, 7898934 edges, 130482 markings/sec, 10 secs
lola: 2579603 markings, 10480908 edges, 125646 markings/sec, 15 secs
lola: 3231477 markings, 13148512 edges, 130375 markings/sec, 20 secs
lola: 3886218 markings, 15831744 edges, 130948 markings/sec, 25 secs
lola: 4536511 markings, 18514396 edges, 130059 markings/sec, 30 secs
lola: 5185539 markings, 21162012 edges, 129806 markings/sec, 35 secs
lola: 5871190 markings, 23790757 edges, 137130 markings/sec, 40 secs
lola: 6553393 markings, 26430726 edges, 136441 markings/sec, 45 secs
lola: 7235144 markings, 29075031 edges, 136350 markings/sec, 50 secs
lola: 7907576 markings, 31693359 edges, 134486 markings/sec, 55 secs
lola: 8563514 markings, 34332576 edges, 131188 markings/sec, 60 secs
lola: 9213858 markings, 36964045 edges, 130069 markings/sec, 65 secs
lola: 9855456 markings, 39583817 edges, 128320 markings/sec, 70 secs
lola: 10497347 markings, 42211267 edges, 128378 markings/sec, 75 secs
lola: 11131049 markings, 44821815 edges, 126740 markings/sec, 80 secs
lola: 11756708 markings, 47432874 edges, 125132 markings/sec, 85 secs
lola: 12369538 markings, 49967396 edges, 122566 markings/sec, 90 secs
lola: 12978195 markings, 52458298 edges, 121731 markings/sec, 95 secs
lola: 13508235 markings, 54751486 edges, 106008 markings/sec, 100 secs
lola: 14132896 markings, 57011796 edges, 124932 markings/sec, 105 secs
lola: 14738342 markings, 59282904 edges, 121089 markings/sec, 110 secs
lola: 15280723 markings, 61576195 edges, 108476 markings/sec, 115 secs
lola: 15808017 markings, 63858949 edges, 105459 markings/sec, 120 secs
lola: 16371498 markings, 66207818 edges, 112696 markings/sec, 125 secs
lola: 16904179 markings, 68523756 edges, 106536 markings/sec, 130 secs
lola: 17572530 markings, 70820369 edges, 133670 markings/sec, 135 secs
lola: 18152651 markings, 73095158 edges, 116024 markings/sec, 140 secs
lola: 18800786 markings, 75741744 edges, 129627 markings/sec, 145 secs
lola: 19444427 markings, 78375921 edges, 128728 markings/sec, 150 secs
lola: 20071386 markings, 80971556 edges, 125392 markings/sec, 155 secs
lola: 20687931 markings, 83578523 edges, 123309 markings/sec, 160 secs
lola: 21334130 markings, 86198634 edges, 129240 markings/sec, 165 secs
lola: 21977747 markings, 88802153 edges, 128723 markings/sec, 170 secs
lola: 22622753 markings, 91434306 edges, 129001 markings/sec, 175 secs
lola: 23253816 markings, 94026569 edges, 126213 markings/sec, 180 secs
lola: 23901389 markings, 96682436 edges, 129515 markings/sec, 185 secs
lola: 24517629 markings, 99270686 edges, 123248 markings/sec, 190 secs
lola: 25174687 markings, 101873033 edges, 131412 markings/sec, 195 secs
lola: 25855245 markings, 104449157 edges, 136112 markings/sec, 200 secs
lola: 26533793 markings, 107029614 edges, 135710 markings/sec, 205 secs
lola: 27182425 markings, 109568699 edges, 129726 markings/sec, 210 secs
lola: 27817937 markings, 112143919 edges, 127102 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: 2058864 KB
lola: time consumption: 1786 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p118)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 770378 markings, 2644311 edges, 154076 markings/sec, 0 secs
lola: 1544699 markings, 5320569 edges, 154864 markings/sec, 5 secs
lola: 2316520 markings, 7969290 edges, 154364 markings/sec, 10 secs
lola: 3074257 markings, 10619393 edges, 151547 markings/sec, 15 secs
lola: 3775648 markings, 13160339 edges, 140278 markings/sec, 20 secs
lola: 4475605 markings, 15664584 edges, 139991 markings/sec, 25 secs
lola: 5167493 markings, 18193041 edges, 138378 markings/sec, 30 secs
lola: 5936038 markings, 20739069 edges, 153709 markings/sec, 35 secs
lola: 6657691 markings, 23297424 edges, 144331 markings/sec, 40 secs
lola: 7369494 markings, 25843656 edges, 142361 markings/sec, 45 secs
lola: 8077254 markings, 28380521 edges, 141552 markings/sec, 50 secs
lola: 8776465 markings, 30883869 edges, 139842 markings/sec, 55 secs
lola: 9545971 markings, 33432835 edges, 153901 markings/sec, 60 secs
lola: 10255046 markings, 35957776 edges, 141815 markings/sec, 65 secs
lola: 10955232 markings, 38472433 edges, 140037 markings/sec, 70 secs
lola: 11641944 markings, 41003106 edges, 137342 markings/sec, 75 secs
lola: 12393687 markings, 43528055 edges, 150349 markings/sec, 80 secs
lola: 13105178 markings, 46019345 edges, 142298 markings/sec, 85 secs
lola: 13799089 markings, 48514842 edges, 138782 markings/sec, 90 secs
lola: 14470390 markings, 51010137 edges, 134260 markings/sec, 95 secs
lola: 15234315 markings, 53499647 edges, 152785 markings/sec, 100 secs
lola: 15940586 markings, 56031009 edges, 141254 markings/sec, 105 secs
lola: 16645173 markings, 58551545 edges, 140917 markings/sec, 110 secs
lola: 17362332 markings, 61133538 edges, 143432 markings/sec, 115 secs
lola: 18078366 markings, 63682310 edges, 143207 markings/sec, 120 secs
lola: 18845561 markings, 66205203 edges, 153439 markings/sec, 125 secs
lola: 19544207 markings, 68710989 edges, 139729 markings/sec, 130 secs
lola: 20244273 markings, 71220654 edges, 140013 markings/sec, 135 secs
lola: 20921686 markings, 73688035 edges, 135483 markings/sec, 140 secs
lola: 21673277 markings, 76178764 edges, 150318 markings/sec, 145 secs
lola: 22362866 markings, 78683040 edges, 137918 markings/sec, 150 secs
lola: 23022970 markings, 81118894 edges, 132021 markings/sec, 155 secs
lola: 23763066 markings, 83619514 edges, 148019 markings/sec, 160 secs
lola: 24472825 markings, 86098801 edges, 141952 markings/sec, 165 secs
lola: 25151694 markings, 88545293 edges, 135774 markings/sec, 170 secs
lola: 25825966 markings, 90940130 edges, 134854 markings/sec, 175 secs
lola: 26457517 markings, 93114585 edges, 126310 markings/sec, 180 secs
lola: 27089995 markings, 95281510 edges, 126496 markings/sec, 185 secs
lola: 27651152 markings, 97473627 edges, 112231 markings/sec, 190 secs
lola: 28400084 markings, 99893098 edges, 149786 markings/sec, 195 secs
lola: 29055608 markings, 102290913 edges, 131105 markings/sec, 200 secs
lola: 29705618 markings, 104685171 edges, 130002 markings/sec, 205 secs
lola: 30434329 markings, 107063215 edges, 145742 markings/sec, 210 secs
lola: 31073565 markings, 109406149 edges, 127847 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: 3995156 KB
lola: time consumption: 2009 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p72)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 504319 markings, 2505267 edges, 100864 markings/sec, 0 secs
lola: 1239988 markings, 5091505 edges, 147134 markings/sec, 5 secs
lola: 1724405 markings, 7600064 edges, 96883 markings/sec, 10 secs
lola: 2463161 markings, 10198286 edges, 147751 markings/sec, 15 secs
lola: 2946484 markings, 12734472 edges, 96665 markings/sec, 20 secs
lola: 3626435 markings, 15098009 edges, 135990 markings/sec, 25 secs
lola: 4046534 markings, 17390223 edges, 84020 markings/sec, 30 secs
lola: 4719679 markings, 19737970 edges, 134629 markings/sec, 35 secs
lola: 5137230 markings, 22017579 edges, 83510 markings/sec, 40 secs
lola: 5846095 markings, 24500851 edges, 141773 markings/sec, 45 secs
lola: 6348709 markings, 27069097 edges, 100523 markings/sec, 50 secs
lola: 7028647 markings, 29622385 edges, 135988 markings/sec, 55 secs
lola: 7542244 markings, 32052870 edges, 102719 markings/sec, 60 secs
lola: 8140165 markings, 34554783 edges, 119584 markings/sec, 65 secs
lola: 8739800 markings, 37067744 edges, 119927 markings/sec, 70 secs
lola: 9249831 markings, 39570046 edges, 102006 markings/sec, 75 secs
lola: 9941090 markings, 42108006 edges, 138252 markings/sec, 80 secs
lola: 10423380 markings, 44584620 edges, 96458 markings/sec, 85 secs
lola: 11161152 markings, 47177753 edges, 147554 markings/sec, 90 secs
lola: 11639219 markings, 49647919 edges, 95613 markings/sec, 95 secs
lola: 12358995 markings, 52178319 edges, 143955 markings/sec, 100 secs
lola: 12828380 markings, 54636379 edges, 93877 markings/sec, 105 secs
lola: 13573609 markings, 57258944 edges, 149046 markings/sec, 110 secs
lola: 14052496 markings, 59794294 edges, 95777 markings/sec, 115 secs
lola: 14730244 markings, 62133290 edges, 135550 markings/sec, 120 secs
lola: 15218082 markings, 64650652 edges, 97568 markings/sec, 125 secs
lola: 15905493 markings, 67295652 edges, 137482 markings/sec, 130 secs
lola: 16360241 markings, 69458617 edges, 90950 markings/sec, 135 secs
lola: 16990183 markings, 71696314 edges, 125988 markings/sec, 140 secs
lola: 17382400 markings, 73903073 edges, 78443 markings/sec, 145 secs
lola: 18054802 markings, 76219422 edges, 134480 markings/sec, 150 secs
lola: 18462169 markings, 78463587 edges, 81473 markings/sec, 155 secs
lola: 19114564 markings, 80736404 edges, 130479 markings/sec, 160 secs
lola: 19516899 markings, 82954945 edges, 80467 markings/sec, 165 secs
lola: 20236160 markings, 85482855 edges, 143852 markings/sec, 170 secs
lola: 20710396 markings, 88001259 edges, 94847 markings/sec, 175 secs
lola: 21443499 markings, 90576658 edges, 146621 markings/sec, 180 secs
lola: 21950732 markings, 93104966 edges, 101447 markings/sec, 185 secs
lola: 22563574 markings, 95688949 edges, 122568 markings/sec, 190 secs
lola: 23192852 markings, 98280514 edges, 125856 markings/sec, 195 secs
lola: 23674523 markings, 100806122 edges, 96334 markings/sec, 200 secs
lola: 24413087 markings, 103413106 edges, 147713 markings/sec, 205 secs
lola: 24920818 markings, 105938226 edges, 101546 markings/sec, 210 secs
lola: 25656567 markings, 108524732 edges, 147150 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: 2743240 KB
lola: time consumption: 2232 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p177)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 533813 markings, 2606873 edges, 106763 markings/sec, 0 secs
lola: 1293528 markings, 5279924 edges, 151943 markings/sec, 5 secs
lola: 1802280 markings, 7892089 edges, 101750 markings/sec, 10 secs
lola: 2564147 markings, 10579832 edges, 152373 markings/sec, 15 secs
lola: 3091141 markings, 13205857 edges, 105399 markings/sec, 20 secs
lola: 3702353 markings, 15852132 edges, 122242 markings/sec, 25 secs
lola: 4366941 markings, 18505383 edges, 132918 markings/sec, 30 secs
lola: 4888266 markings, 21123855 edges, 104265 markings/sec, 35 secs
lola: 5647254 markings, 23788281 edges, 151798 markings/sec, 40 secs
lola: 6113035 markings, 26221901 edges, 93156 markings/sec, 45 secs
lola: 6864877 markings, 28867528 edges, 150368 markings/sec, 50 secs
lola: 7364241 markings, 31448910 edges, 99873 markings/sec, 55 secs
lola: 8088520 markings, 33990906 edges, 144856 markings/sec, 60 secs
lola: 8546827 markings, 36403457 edges, 91661 markings/sec, 65 secs
lola: 9219050 markings, 38773053 edges, 134445 markings/sec, 70 secs
lola: 9683927 markings, 41192521 edges, 92975 markings/sec, 75 secs
lola: 10334608 markings, 43501370 edges, 130136 markings/sec, 80 secs
lola: 10770281 markings, 45818281 edges, 87135 markings/sec, 85 secs
lola: 11414965 markings, 48083264 edges, 128937 markings/sec, 90 secs
lola: 11832416 markings, 50388018 edges, 83490 markings/sec, 95 secs
lola: 12508439 markings, 52721787 edges, 135205 markings/sec, 100 secs
lola: 12949225 markings, 55126509 edges, 88157 markings/sec, 105 secs
lola: 13685882 markings, 57850602 edges, 147331 markings/sec, 110 secs
lola: 14258438 markings, 60464721 edges, 114511 markings/sec, 115 secs
lola: 14798560 markings, 63125251 edges, 108024 markings/sec, 120 secs
lola: 15538982 markings, 65813544 edges, 148084 markings/sec, 125 secs
lola: 16079347 markings, 68456705 edges, 108073 markings/sec, 130 secs
lola: 16843450 markings, 71145362 edges, 152821 markings/sec, 135 secs
lola: 17354438 markings, 73769671 edges, 102198 markings/sec, 140 secs
lola: 18115411 markings, 76478014 edges, 152195 markings/sec, 145 secs
lola: 18651293 markings, 79104967 edges, 107176 markings/sec, 150 secs
lola: 19235227 markings, 81755994 edges, 116787 markings/sec, 155 secs
lola: 19927266 markings, 84414091 edges, 138408 markings/sec, 160 secs
lola: 20459449 markings, 87057021 edges, 106437 markings/sec, 165 secs
lola: 21216520 markings, 89716185 edges, 151414 markings/sec, 170 secs
lola: 21727386 markings, 92324415 edges, 102173 markings/sec, 175 secs
lola: 22496114 markings, 95033327 edges, 153746 markings/sec, 180 secs
lola: 23023449 markings, 97681142 edges, 105467 markings/sec, 185 secs
lola: 23672954 markings, 100337592 edges, 129901 markings/sec, 190 secs
lola: 24303999 markings, 102988084 edges, 126209 markings/sec, 195 secs
lola: 24805878 markings, 105559594 edges, 100376 markings/sec, 200 secs
lola: 25574725 markings, 108249785 edges, 153769 markings/sec, 205 secs
lola: 26087073 markings, 110839375 edges, 102470 markings/sec, 210 secs
lola: 26849231 markings, 113521251 edges, 152432 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: 3279120 KB
lola: time consumption: 2456 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p45)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: SUBRESULT
lola: result: 53
lola: produced by: state space
lola: The maximum value of the given expression is 53
lola: 39251 markings, 95956 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0050-UpperBounds-11 53 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p138)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 773492 markings, 2706608 edges, 154698 markings/sec, 0 secs
lola: 1524830 markings, 5158369 edges, 150268 markings/sec, 5 secs
lola: 2151583 markings, 7472128 edges, 125351 markings/sec, 10 secs
lola: 2839674 markings, 9915576 edges, 137618 markings/sec, 15 secs
lola: 3504452 markings, 12215245 edges, 132956 markings/sec, 20 secs
lola: 4136981 markings, 14593483 edges, 126506 markings/sec, 25 secs
lola: 4901697 markings, 17231937 edges, 152943 markings/sec, 30 secs
lola: 5674176 markings, 19859391 edges, 154496 markings/sec, 35 secs
lola: 6446334 markings, 22511799 edges, 154432 markings/sec, 40 secs
lola: 7194239 markings, 25134304 edges, 149581 markings/sec, 45 secs
lola: 7900581 markings, 27684924 edges, 141268 markings/sec, 50 secs
lola: 8615297 markings, 30232812 edges, 142943 markings/sec, 55 secs
lola: 9351940 markings, 32869608 edges, 147329 markings/sec, 60 secs
lola: 10074708 markings, 35498656 edges, 144554 markings/sec, 65 secs
lola: 10845462 markings, 38119290 edges, 154151 markings/sec, 70 secs
lola: 11609047 markings, 40713727 edges, 152717 markings/sec, 75 secs
lola: 12329727 markings, 43286041 edges, 144136 markings/sec, 80 secs
lola: 12994980 markings, 45698463 edges, 133051 markings/sec, 85 secs
lola: 13694185 markings, 48261338 edges, 139841 markings/sec, 90 secs
lola: 14453375 markings, 50741495 edges, 151838 markings/sec, 95 secs
lola: 15177784 markings, 53331012 edges, 144882 markings/sec, 100 secs
lola: 15912598 markings, 55948809 edges, 146963 markings/sec, 105 secs
lola: 16645748 markings, 58553256 edges, 146630 markings/sec, 110 secs
lola: 17375561 markings, 61158578 edges, 145963 markings/sec, 115 secs
lola: 18084408 markings, 63750375 edges, 141769 markings/sec, 120 secs
lola: 18850807 markings, 66363761 edges, 153280 markings/sec, 125 secs
lola: 19608945 markings, 68891320 edges, 151628 markings/sec, 130 secs
lola: 20329710 markings, 71469937 edges, 144153 markings/sec, 135 secs
lola: 21050792 markings, 74047967 edges, 144216 markings/sec, 140 secs
lola: 21774851 markings, 76628554 edges, 144812 markings/sec, 145 secs
lola: 22482435 markings, 79233071 edges, 141517 markings/sec, 150 secs
lola: 23246296 markings, 81832533 edges, 152772 markings/sec, 155 secs
lola: 24010794 markings, 84427350 edges, 152900 markings/sec, 160 secs
lola: 24736557 markings, 87015499 edges, 145153 markings/sec, 165 secs
lola: 25463777 markings, 89612873 edges, 145444 markings/sec, 170 secs
lola: 26185831 markings, 92183552 edges, 144411 markings/sec, 175 secs
lola: 26882776 markings, 94752178 edges, 139389 markings/sec, 180 secs
lola: 27640039 markings, 97305847 edges, 151453 markings/sec, 185 secs
lola: 28398935 markings, 99888927 edges, 151779 markings/sec, 190 secs
lola: 29109751 markings, 102456425 edges, 142163 markings/sec, 195 secs
lola: 29827414 markings, 105012927 edges, 143533 markings/sec, 200 secs
lola: 30531681 markings, 107563839 edges, 140853 markings/sec, 205 secs
lola: 31251776 markings, 110091512 edges, 144019 markings/sec, 210 secs
lola: 32022194 markings, 112657300 edges, 154084 markings/sec, 215 secs
lola: 32749173 markings, 115232787 edges, 145396 markings/sec, 220 secs
lola: 33463489 markings, 117795472 edges, 142863 markings/sec, 225 secs
lola: 34188546 markings, 120375672 edges, 145011 markings/sec, 230 secs
lola: 34895789 markings, 122963730 edges, 141449 markings/sec, 235 secs
lola: 35647076 markings, 125554372 edges, 150257 markings/sec, 240 secs
lola: 36408358 markings, 128126771 edges, 152256 markings/sec, 245 secs
lola: 37125179 markings, 130688780 edges, 143364 markings/sec, 250 secs
lola: 37842245 markings, 133254274 edges, 143413 markings/sec, 255 secs
lola: 38552805 markings, 135808492 edges, 142112 markings/sec, 260 secs
lola: 39267712 markings, 138361582 edges, 142981 markings/sec, 265 secs
lola: 40030178 markings, 140897382 edges, 152493 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown
lola: memory consumption: 4728496 KB
lola: time consumption: 2734 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p237)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p237)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 606269 markings, 2867108 edges, 121254 markings/sec, 0 secs
lola: 1406146 markings, 5692678 edges, 159975 markings/sec, 5 secs
lola: 1976956 markings, 8489348 edges, 114162 markings/sec, 10 secs
lola: 2592897 markings, 11280203 edges, 123188 markings/sec, 15 secs
lola: 3328204 markings, 14099438 edges, 147061 markings/sec, 20 secs
lola: 3905153 markings, 16860965 edges, 115390 markings/sec, 25 secs
lola: 4705834 markings, 19687560 edges, 160136 markings/sec, 30 secs
lola: 5255534 markings, 22423174 edges, 109940 markings/sec, 35 secs
lola: 5921166 markings, 25146093 edges, 133126 markings/sec, 40 secs
lola: 6583329 markings, 27896819 edges, 132433 markings/sec, 45 secs
lola: 7132893 markings, 30610073 edges, 109913 markings/sec, 50 secs
lola: 7917198 markings, 33363314 edges, 156861 markings/sec, 55 secs
lola: 8450672 markings, 36062141 edges, 106695 markings/sec, 60 secs
lola: 9230723 markings, 38829634 edges, 156010 markings/sec, 65 secs
lola: 9785718 markings, 41538907 edges, 110999 markings/sec, 70 secs
lola: 10359320 markings, 44227985 edges, 114720 markings/sec, 75 secs
lola: 11089726 markings, 46976228 edges, 146081 markings/sec, 80 secs
lola: 11645854 markings, 49671609 edges, 111226 markings/sec, 85 secs
lola: 12423416 markings, 52408969 edges, 155512 markings/sec, 90 secs
lola: 12941662 markings, 55087429 edges, 103649 markings/sec, 95 secs
lola: 13685881 markings, 57849477 edges, 148844 markings/sec, 100 secs
lola: 14281762 markings, 60549034 edges, 119176 markings/sec, 105 secs
lola: 14807741 markings, 63234695 edges, 105196 markings/sec, 110 secs
lola: 15593219 markings, 65959868 edges, 157096 markings/sec, 115 secs
lola: 16131888 markings, 68644642 edges, 107734 markings/sec, 120 secs
lola: 16905140 markings, 71371825 edges, 154650 markings/sec, 125 secs
lola: 17436068 markings, 74048133 edges, 106186 markings/sec, 130 secs
lola: 18125300 markings, 76767696 edges, 137846 markings/sec, 135 secs
lola: 18748680 markings, 79456864 edges, 124676 markings/sec, 140 secs
lola: 19277032 markings, 82114687 edges, 105670 markings/sec, 145 secs
lola: 20050703 markings, 84825492 edges, 154734 markings/sec, 150 secs
lola: 20577667 markings, 87474866 edges, 105393 markings/sec, 155 secs
lola: 21341113 markings, 90165117 edges, 152689 markings/sec, 160 secs
lola: 21859673 markings, 92803710 edges, 103712 markings/sec, 165 secs
lola: 22562549 markings, 95517352 edges, 140575 markings/sec, 170 secs
lola: 23175766 markings, 98217898 edges, 122643 markings/sec, 175 secs
lola: 23703898 markings, 100881299 edges, 105626 markings/sec, 180 secs
lola: 24479851 markings, 103597051 edges, 155191 markings/sec, 185 secs
lola: 25012595 markings, 106264927 edges, 106549 markings/sec, 190 secs
lola: 25779642 markings, 108968928 edges, 153409 markings/sec, 195 secs
lola: 26303415 markings, 111623275 edges, 104755 markings/sec, 200 secs
lola: 27000665 markings, 114327036 edges, 139450 markings/sec, 205 secs
lola: 27609591 markings, 117004710 edges, 121785 markings/sec, 210 secs
lola: 28129536 markings, 119651378 edges, 103989 markings/sec, 215 secs
lola: 28905587 markings, 122358181 edges, 155210 markings/sec, 220 secs
lola: 29432661 markings, 125001215 edges, 105415 markings/sec, 225 secs
lola: 30197127 markings, 127693708 edges, 152893 markings/sec, 230 secs
lola: 30699903 markings, 130325182 edges, 100555 markings/sec, 235 secs
lola: 31438123 markings, 133083251 edges, 147644 markings/sec, 240 secs
lola: 32039753 markings, 135776560 edges, 120326 markings/sec, 245 secs
lola: 32550435 markings, 138407559 edges, 102136 markings/sec, 250 secs
lola: 33315832 markings, 141071610 edges, 153079 markings/sec, 255 secs
lola: 33848651 markings, 143723585 edges, 106564 markings/sec, 260 secs
lola: 34609870 markings, 146403025 edges, 152244 markings/sec, 265 secs
lola: 35120445 markings, 149037068 edges, 102115 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown
lola: memory consumption: 3089792 KB
lola: time consumption: 3012 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p143)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 773948 markings, 2711762 edges, 154790 markings/sec, 0 secs
lola: 1549440 markings, 5452363 edges, 155098 markings/sec, 5 secs
lola: 2323798 markings, 8171655 edges, 154872 markings/sec, 10 secs
lola: 3097347 markings, 10888384 edges, 154710 markings/sec, 15 secs
lola: 3870554 markings, 13573278 edges, 154641 markings/sec, 20 secs
lola: 4644050 markings, 16240913 edges, 154699 markings/sec, 25 secs
lola: 5417237 markings, 18903762 edges, 154637 markings/sec, 30 secs
lola: 6177993 markings, 21564323 edges, 152151 markings/sec, 35 secs
lola: 6927495 markings, 24224452 edges, 149900 markings/sec, 40 secs
lola: 7674131 markings, 26879082 edges, 149327 markings/sec, 45 secs
lola: 8418150 markings, 29528402 edges, 148804 markings/sec, 50 secs
lola: 9161978 markings, 32163360 edges, 148766 markings/sec, 55 secs
lola: 9917079 markings, 34834755 edges, 151020 markings/sec, 60 secs
lola: 10660786 markings, 37479551 edges, 148741 markings/sec, 65 secs
lola: 11387121 markings, 40123122 edges, 145267 markings/sec, 70 secs
lola: 12141316 markings, 42757023 edges, 150839 markings/sec, 75 secs
lola: 12914405 markings, 45402561 edges, 154618 markings/sec, 80 secs
lola: 13682825 markings, 48029500 edges, 153684 markings/sec, 85 secs
lola: 14426838 markings, 50663494 edges, 148803 markings/sec, 90 secs
lola: 15157271 markings, 53278177 edges, 146087 markings/sec, 95 secs
lola: 15906406 markings, 55929553 edges, 149827 markings/sec, 100 secs
lola: 16648653 markings, 58562244 edges, 148449 markings/sec, 105 secs
lola: 17392435 markings, 61200788 edges, 148756 markings/sec, 110 secs
lola: 18117724 markings, 63830654 edges, 145058 markings/sec, 115 secs
lola: 18857422 markings, 66470961 edges, 147940 markings/sec, 120 secs
lola: 19625795 markings, 69093792 edges, 153675 markings/sec, 125 secs
lola: 20398329 markings, 71723076 edges, 154507 markings/sec, 130 secs
lola: 21156361 markings, 74339824 edges, 151606 markings/sec, 135 secs
lola: 21885072 markings, 76949636 edges, 145742 markings/sec, 140 secs
lola: 22624684 markings, 79585956 edges, 147922 markings/sec, 145 secs
lola: 23367425 markings, 82217686 edges, 148548 markings/sec, 150 secs
lola: 24104980 markings, 84837878 edges, 147511 markings/sec, 155 secs
lola: 24827881 markings, 87462713 edges, 144580 markings/sec, 160 secs
lola: 25572291 markings, 90094245 edges, 148882 markings/sec, 165 secs
lola: 26345141 markings, 92724757 edges, 154570 markings/sec, 170 secs
lola: 27105565 markings, 95334444 edges, 152085 markings/sec, 175 secs
lola: 27836627 markings, 97942646 edges, 146212 markings/sec, 180 secs
lola: 28574378 markings, 100572174 edges, 147550 markings/sec, 185 secs
lola: 29312428 markings, 103189915 edges, 147610 markings/sec, 190 secs
lola: 30046520 markings, 105801415 edges, 146818 markings/sec, 195 secs
lola: 30755935 markings, 108408257 edges, 141883 markings/sec, 200 secs
lola: 31516664 markings, 111034410 edges, 152146 markings/sec, 205 secs
lola: 32287815 markings, 113645769 edges, 154230 markings/sec, 210 secs
lola: 33036224 markings, 116248912 edges, 149682 markings/sec, 215 secs
lola: 33759505 markings, 118846558 edges, 144656 markings/sec, 220 secs
lola: 34499144 markings, 121469040 edges, 147928 markings/sec, 225 secs
lola: 35231815 markings, 124073165 edges, 146534 markings/sec, 230 secs
lola: 35962336 markings, 126696604 edges, 146104 markings/sec, 235 secs
lola: 36683792 markings, 129307117 edges, 144291 markings/sec, 240 secs
lola: 37451722 markings, 131925430 edges, 153586 markings/sec, 245 secs
lola: 38223729 markings, 134525681 edges, 154401 markings/sec, 250 secs
lola: 38968459 markings, 137135595 edges, 148946 markings/sec, 255 secs
lola: 39686600 markings, 139718264 edges, 143628 markings/sec, 260 secs
lola: 40410148 markings, 142294679 edges, 144710 markings/sec, 265 secs
lola: 41123244 markings, 144866837 edges, 142619 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown
lola: memory consumption: 4775172 KB
lola: time consumption: 3291 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p99)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0050-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: 53
lola: 814567 markings, 2700996 edges, 162913 markings/sec, 0 secs
lola: 2330615 markings, 5343719 edges, 303210 markings/sec, 5 secs
lola: 3742375 markings, 7879508 edges, 282352 markings/sec, 10 secs
lola: 5104639 markings, 10369609 edges, 272453 markings/sec, 15 secs
lola: 6482387 markings, 12875449 edges, 275550 markings/sec, 20 secs
lola: 7818194 markings, 15341291 edges, 267161 markings/sec, 25 secs
lola: 9191373 markings, 17837539 edges, 274636 markings/sec, 30 secs
lola: 10439301 markings, 20224871 edges, 249586 markings/sec, 35 secs
lola: 11686430 markings, 22612789 edges, 249426 markings/sec, 40 secs
lola: 12943511 markings, 24975567 edges, 251416 markings/sec, 45 secs
lola: 14182787 markings, 27354447 edges, 247855 markings/sec, 50 secs
lola: 15434952 markings, 29735581 edges, 250433 markings/sec, 55 secs
lola: 16673928 markings, 32104752 edges, 247795 markings/sec, 60 secs
lola: 17881933 markings, 34444397 edges, 241601 markings/sec, 65 secs
lola: 19018215 markings, 36726424 edges, 227256 markings/sec, 70 secs
lola: 20225883 markings, 39072084 edges, 241534 markings/sec, 75 secs
lola: 21428631 markings, 41410715 edges, 240550 markings/sec, 80 secs
lola: 22639804 markings, 43770025 edges, 242235 markings/sec, 85 secs
lola: 23791956 markings, 46058838 edges, 230430 markings/sec, 90 secs
lola: 24900974 markings, 48305279 edges, 221804 markings/sec, 95 secs
lola: 26043931 markings, 50575073 edges, 228591 markings/sec, 100 secs
lola: 27093936 markings, 52759537 edges, 210001 markings/sec, 105 secs
lola: 28248751 markings, 55032894 edges, 230963 markings/sec, 110 secs
lola: 29372311 markings, 57288002 edges, 224712 markings/sec, 115 secs
lola: 30477272 markings, 59509227 edges, 220992 markings/sec, 120 secs
lola: 31563904 markings, 61718395 edges, 217326 markings/sec, 125 secs
lola: 32717776 markings, 63996693 edges, 230774 markings/sec, 130 secs
lola: 33834666 markings, 66245311 edges, 223378 markings/sec, 135 secs
lola: 34933925 markings, 68468508 edges, 219852 markings/sec, 140 secs
lola: 36100742 markings, 70759870 edges, 233363 markings/sec, 145 secs
lola: 37296562 markings, 73084171 edges, 239164 markings/sec, 150 secs
lola: 38391910 markings, 75315836 edges, 219070 markings/sec, 155 secs
lola: 39588111 markings, 77662192 edges, 239240 markings/sec, 160 secs
lola: 40653687 markings, 79884467 edges, 213115 markings/sec, 165 secs
lola: 41748779 markings, 82141014 edges, 219018 markings/sec, 170 secs
lola: 42872175 markings, 84421365 edges, 224679 markings/sec, 175 secs
lola: 44003379 markings, 86696775 edges, 226241 markings/sec, 180 secs
lola: 45158518 markings, 88985850 edges, 231028 markings/sec, 185 secs
lola: 46280534 markings, 91227691 edges, 224403 markings/sec, 190 secs
lola: 47367605 markings, 93436432 edges, 217414 markings/sec, 195 secs
lola: 48422621 markings, 95618017 edges, 211003 markings/sec, 200 secs
lola: 49446846 markings, 97755167 edges, 204845 markings/sec, 205 secs
lola: 50393625 markings, 99808608 edges, 189356 markings/sec, 210 secs
lola: 51432324 markings, 101959351 edges, 207740 markings/sec, 215 secs
lola: 52485626 markings, 104120657 edges, 210660 markings/sec, 220 secs
lola: 53546569 markings, 106289712 edges, 212189 markings/sec, 225 secs
lola: 54490461 markings, 108349110 edges, 188778 markings/sec, 230 secs
lola: 55542616 markings, 110541700 edges, 210431 markings/sec, 235 secs
lola: 56543403 markings, 112676515 edges, 200157 markings/sec, 240 secs
lola: 57482605 markings, 114731335 edges, 187840 markings/sec, 245 secs
lola: 58496420 markings, 116864989 edges, 202763 markings/sec, 250 secs
lola: 59534561 markings, 119022528 edges, 207628 markings/sec, 255 secs
lola: 60549218 markings, 121157960 edges, 202931 markings/sec, 260 secs
lola: 61510680 markings, 123238247 edges, 192292 markings/sec, 265 secs
lola: 62531198 markings, 125388241 edges, 204104 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown
lola: memory consumption: 11903840 KB
lola: time consumption: 3570 seconds

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

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-0050"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is JoinFreeModules-PT-0050, 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 r088-csrt-155246566100313"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0050.tgz
mv JoinFreeModules-PT-0050 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;