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-155246566100316.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-0100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246566100316
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 3.5K Feb 11 06:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 11 06:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 7 05:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 05:21 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.6K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 31 06:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 31 06:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 566K 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-0100-UpperBounds-00
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-01
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-02
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-03
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-04
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-05
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-06
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-07
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-08
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-09
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-10
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-11
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-12
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-13
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-14
FORMULA_NAME JoinFreeModules-PT-0100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552874212359

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0100 @ 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: 1302/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16032
lola: finding significant places
lola: 501 places, 801 transitions, 400 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 901 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0100-UpperBounds.task
lola: MAX(p402) : MAX(p416) : MAX(p489) : MAX(p407) : MAX(p426) : MAX(p5) : MAX(p465) : MAX(p391) : MAX(p354) : MAX(p422) : MAX(p132) : MAX(p372) : MAX(p137) : MAX(p358) : MAX(p167) : MAX(p387)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p402)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p402)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 453032 markings, 1393212 edges, 90606 markings/sec, 0 secs
lola: 836177 markings, 2759552 edges, 76629 markings/sec, 5 secs
lola: 1194813 markings, 4057387 edges, 71727 markings/sec, 10 secs
lola: 1539181 markings, 5329248 edges, 68874 markings/sec, 15 secs
lola: 1908870 markings, 6710395 edges, 73938 markings/sec, 20 secs
lola: 2269132 markings, 8070455 edges, 72052 markings/sec, 25 secs
lola: 2613809 markings, 9374666 edges, 68935 markings/sec, 30 secs
lola: 2969732 markings, 10731756 edges, 71185 markings/sec, 35 secs
lola: 3332296 markings, 12127467 edges, 72513 markings/sec, 40 secs
lola: 3685744 markings, 13523495 edges, 70690 markings/sec, 45 secs
lola: 4044278 markings, 14930940 edges, 71707 markings/sec, 50 secs
lola: 4391125 markings, 16343794 edges, 69369 markings/sec, 55 secs
lola: 4760289 markings, 17815793 edges, 73833 markings/sec, 60 secs
lola: 4982220 markings, 19326642 edges, 44386 markings/sec, 65 secs
lola: 4983727 markings, 20647582 edges, 301 markings/sec, 70 secs
lola: 4990993 markings, 21894452 edges, 1453 markings/sec, 75 secs
lola: 4994175 markings, 23139496 edges, 636 markings/sec, 80 secs
lola: 4996414 markings, 24379226 edges, 448 markings/sec, 85 secs
lola: 4997870 markings, 25589567 edges, 291 markings/sec, 90 secs
lola: 4998485 markings, 26777797 edges, 123 markings/sec, 95 secs
lola: 4998509 markings, 27956298 edges, 5 markings/sec, 100 secs
lola: 5001129 markings, 29378445 edges, 524 markings/sec, 105 secs
lola: 5456089 markings, 30867221 edges, 90992 markings/sec, 110 secs
lola: 5854331 markings, 32288252 edges, 79648 markings/sec, 115 secs
lola: 6243304 markings, 33696444 edges, 77795 markings/sec, 120 secs
lola: 6606553 markings, 35041105 edges, 72650 markings/sec, 125 secs
lola: 6963932 markings, 36379172 edges, 71476 markings/sec, 130 secs
lola: 7323775 markings, 37739690 edges, 71969 markings/sec, 135 secs
lola: 7640077 markings, 38939525 edges, 63260 markings/sec, 140 secs
lola: 7963714 markings, 40168532 edges, 64727 markings/sec, 145 secs
lola: 8273457 markings, 41370170 edges, 61949 markings/sec, 150 secs
lola: 8605664 markings, 42652395 edges, 66441 markings/sec, 155 secs
lola: 8932864 markings, 43946718 edges, 65440 markings/sec, 160 secs
lola: 9261468 markings, 45245708 edges, 65721 markings/sec, 165 secs
lola: 9591168 markings, 46561581 edges, 65940 markings/sec, 170 secs
lola: 9905457 markings, 47939167 edges, 62858 markings/sec, 175 secs
lola: 10295731 markings, 49238122 edges, 78055 markings/sec, 180 secs
lola: 10656150 markings, 50514470 edges, 72084 markings/sec, 185 secs
lola: 11003249 markings, 51760779 edges, 69420 markings/sec, 190 secs
lola: 11344951 markings, 53011199 edges, 68340 markings/sec, 195 secs
lola: 11691705 markings, 54301778 edges, 69351 markings/sec, 200 secs
lola: 12031589 markings, 55579799 edges, 67977 markings/sec, 205 secs
lola: 12369372 markings, 56854689 edges, 67557 markings/sec, 210 secs
lola: 12713754 markings, 58163501 edges, 68876 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: 1466276 KB
lola: time consumption: 225 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(p416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p416)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 551006 markings, 1467824 edges, 110201 markings/sec, 0 secs
lola: 1004782 markings, 2946224 edges, 90755 markings/sec, 5 secs
lola: 1429741 markings, 4405533 edges, 84992 markings/sec, 10 secs
lola: 1850021 markings, 5893820 edges, 84056 markings/sec, 15 secs
lola: 2258884 markings, 7381434 edges, 81773 markings/sec, 20 secs
lola: 2653741 markings, 8846106 edges, 78971 markings/sec, 25 secs
lola: 3057272 markings, 10345117 edges, 80706 markings/sec, 30 secs
lola: 3471015 markings, 11901239 edges, 82749 markings/sec, 35 secs
lola: 3866186 markings, 13474687 edges, 79034 markings/sec, 40 secs
lola: 4191278 markings, 15051906 edges, 65018 markings/sec, 45 secs
lola: 4359192 markings, 16577762 edges, 33583 markings/sec, 50 secs
lola: 4546056 markings, 18087106 edges, 37373 markings/sec, 55 secs
lola: 4706180 markings, 19571150 edges, 32025 markings/sec, 60 secs
lola: 4814454 markings, 21051170 edges, 21655 markings/sec, 65 secs
lola: 5035320 markings, 22572133 edges, 44173 markings/sec, 70 secs
lola: 5540440 markings, 24051809 edges, 101024 markings/sec, 75 secs
lola: 5981624 markings, 25516498 edges, 88237 markings/sec, 80 secs
lola: 6400912 markings, 26970972 edges, 83858 markings/sec, 85 secs
lola: 6807177 markings, 28422422 edges, 81253 markings/sec, 90 secs
lola: 7197472 markings, 29844540 edges, 78059 markings/sec, 95 secs
lola: 7543661 markings, 31131372 edges, 69238 markings/sec, 100 secs
lola: 7891678 markings, 32422492 edges, 69603 markings/sec, 105 secs
lola: 8261537 markings, 33794326 edges, 73972 markings/sec, 110 secs
lola: 8607104 markings, 35148060 edges, 69113 markings/sec, 115 secs
lola: 8909408 markings, 36504859 edges, 60461 markings/sec, 120 secs
lola: 9107117 markings, 37803219 edges, 39542 markings/sec, 125 secs
lola: 9586780 markings, 39254680 edges, 95933 markings/sec, 130 secs
lola: 10047998 markings, 40725331 edges, 92244 markings/sec, 135 secs
lola: 10472806 markings, 42173912 edges, 84962 markings/sec, 140 secs
lola: 10884292 markings, 43622751 edges, 82297 markings/sec, 145 secs
lola: 11284623 markings, 45072599 edges, 80066 markings/sec, 150 secs
lola: 11678480 markings, 46526193 edges, 78771 markings/sec, 155 secs
lola: 12074562 markings, 47995380 edges, 79216 markings/sec, 160 secs
lola: 12468960 markings, 49464919 edges, 78880 markings/sec, 165 secs
lola: 12864029 markings, 50992966 edges, 79014 markings/sec, 170 secs
lola: 13214545 markings, 52547986 edges, 70103 markings/sec, 175 secs
lola: 13407733 markings, 54037346 edges, 38638 markings/sec, 180 secs
lola: 13599972 markings, 55520096 edges, 38448 markings/sec, 185 secs
lola: 13768564 markings, 56955535 edges, 33718 markings/sec, 190 secs
lola: 13895826 markings, 58382930 edges, 25452 markings/sec, 195 secs
lola: 13981924 markings, 59839470 edges, 17220 markings/sec, 200 secs
lola: 14416431 markings, 61341950 edges, 86901 markings/sec, 205 secs
lola: 14881076 markings, 62811995 edges, 92929 markings/sec, 210 secs
lola: 15312409 markings, 64279733 edges, 86267 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: 1334656 KB
lola: time consumption: 448 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(p489)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p489)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 479144 markings, 1584487 edges, 95829 markings/sec, 0 secs
lola: 927810 markings, 3169257 edges, 89733 markings/sec, 5 secs
lola: 1362135 markings, 4730897 edges, 86865 markings/sec, 10 secs
lola: 1788749 markings, 6277211 edges, 85323 markings/sec, 15 secs
lola: 2215080 markings, 7834530 edges, 85266 markings/sec, 20 secs
lola: 2628738 markings, 9358363 edges, 82732 markings/sec, 25 secs
lola: 3044793 markings, 10925151 edges, 83211 markings/sec, 30 secs
lola: 3456211 markings, 12492786 edges, 82284 markings/sec, 35 secs
lola: 3853928 markings, 14015661 edges, 79543 markings/sec, 40 secs
lola: 4244502 markings, 15525518 edges, 78115 markings/sec, 45 secs
lola: 4634284 markings, 17043458 edges, 77956 markings/sec, 50 secs
lola: 5026486 markings, 18588900 edges, 78440 markings/sec, 55 secs
lola: 5478446 markings, 20127425 edges, 90392 markings/sec, 60 secs
lola: 5909140 markings, 21636589 edges, 86139 markings/sec, 65 secs
lola: 6318292 markings, 23094041 edges, 81830 markings/sec, 70 secs
lola: 6728370 markings, 24577279 edges, 82016 markings/sec, 75 secs
lola: 7129915 markings, 26047432 edges, 80309 markings/sec, 80 secs
lola: 7526878 markings, 27500706 edges, 79393 markings/sec, 85 secs
lola: 7921644 markings, 28963666 edges, 78953 markings/sec, 90 secs
lola: 8307559 markings, 30427602 edges, 77183 markings/sec, 95 secs
lola: 8686868 markings, 31875351 edges, 75862 markings/sec, 100 secs
lola: 9068284 markings, 33343973 edges, 76283 markings/sec, 105 secs
lola: 9442098 markings, 34789175 edges, 74763 markings/sec, 110 secs
lola: 9815527 markings, 36247556 edges, 74686 markings/sec, 115 secs
lola: 10186802 markings, 37706929 edges, 74255 markings/sec, 120 secs
lola: 10655358 markings, 39269911 edges, 93711 markings/sec, 125 secs
lola: 11085815 markings, 40788287 edges, 86091 markings/sec, 130 secs
lola: 11497647 markings, 42264246 edges, 82366 markings/sec, 135 secs
lola: 11897509 markings, 43716654 edges, 79972 markings/sec, 140 secs
lola: 12296564 markings, 45170798 edges, 79811 markings/sec, 145 secs
lola: 12687381 markings, 46601867 edges, 78163 markings/sec, 150 secs
lola: 13062345 markings, 48000192 edges, 74993 markings/sec, 155 secs
lola: 13429744 markings, 49394861 edges, 73480 markings/sec, 160 secs
lola: 13804542 markings, 50822178 edges, 74960 markings/sec, 165 secs
lola: 14182472 markings, 52275518 edges, 75586 markings/sec, 170 secs
lola: 14554976 markings, 53718160 edges, 74501 markings/sec, 175 secs
lola: 14928740 markings, 55174774 edges, 74753 markings/sec, 180 secs
lola: 15300223 markings, 56641472 edges, 74297 markings/sec, 185 secs
lola: 15370947 markings, 58043683 edges, 14145 markings/sec, 190 secs
lola: 15375373 markings, 59373797 edges, 885 markings/sec, 195 secs
lola: 15378705 markings, 60695033 edges, 666 markings/sec, 200 secs
lola: 15379698 markings, 62004482 edges, 199 markings/sec, 205 secs
lola: 15380210 markings, 63317091 edges, 102 markings/sec, 210 secs
lola: 15380460 markings, 64635715 edges, 50 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: 1104224 KB
lola: time consumption: 671 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p407)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p407)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 487608 markings, 1516411 edges, 97522 markings/sec, 0 secs
lola: 916925 markings, 3051083 edges, 85863 markings/sec, 5 secs
lola: 1321630 markings, 4522516 edges, 80941 markings/sec, 10 secs
lola: 1701868 markings, 5934984 edges, 76048 markings/sec, 15 secs
lola: 2072344 markings, 7327918 edges, 74095 markings/sec, 20 secs
lola: 2444664 markings, 8735548 edges, 74464 markings/sec, 25 secs
lola: 2815092 markings, 10143644 edges, 74086 markings/sec, 30 secs
lola: 3182573 markings, 11542855 edges, 73496 markings/sec, 35 secs
lola: 3535933 markings, 12937651 edges, 70672 markings/sec, 40 secs
lola: 3892571 markings, 14332889 edges, 71328 markings/sec, 45 secs
lola: 4237921 markings, 15726410 edges, 69070 markings/sec, 50 secs
lola: 4589832 markings, 17141374 edges, 70382 markings/sec, 55 secs
lola: 4929705 markings, 18663222 edges, 67975 markings/sec, 60 secs
lola: 4983009 markings, 20059075 edges, 10661 markings/sec, 65 secs
lola: 4987832 markings, 21359986 edges, 965 markings/sec, 70 secs
lola: 4993129 markings, 22630445 edges, 1059 markings/sec, 75 secs
lola: 4995388 markings, 23866715 edges, 452 markings/sec, 80 secs
lola: 4997333 markings, 25098269 edges, 389 markings/sec, 85 secs
lola: 4998399 markings, 26349839 edges, 213 markings/sec, 90 secs
lola: 4998509 markings, 27658078 edges, 22 markings/sec, 95 secs
lola: 5001059 markings, 29095102 edges, 510 markings/sec, 100 secs
lola: 5373378 markings, 30578643 edges, 74464 markings/sec, 105 secs
lola: 5782715 markings, 32031911 edges, 81867 markings/sec, 110 secs
lola: 6173239 markings, 33442168 edges, 78105 markings/sec, 115 secs
lola: 6552390 markings, 34839921 edges, 75830 markings/sec, 120 secs
lola: 6923811 markings, 36229021 edges, 74284 markings/sec, 125 secs
lola: 7288615 markings, 37607500 edges, 72961 markings/sec, 130 secs
lola: 7651511 markings, 38982826 edges, 72579 markings/sec, 135 secs
lola: 8013961 markings, 40360653 edges, 72490 markings/sec, 140 secs
lola: 8374728 markings, 41765104 edges, 72153 markings/sec, 145 secs
lola: 8737514 markings, 43163590 edges, 72557 markings/sec, 150 secs
lola: 9086302 markings, 44553900 edges, 69758 markings/sec, 155 secs
lola: 9442396 markings, 45973248 edges, 71219 markings/sec, 160 secs
lola: 9808610 markings, 47421073 edges, 73243 markings/sec, 165 secs
lola: 10201125 markings, 48910254 edges, 78503 markings/sec, 170 secs
lola: 10619701 markings, 50384742 edges, 83715 markings/sec, 175 secs
lola: 11030708 markings, 51859543 edges, 82201 markings/sec, 180 secs
lola: 11422857 markings, 53301238 edges, 78430 markings/sec, 185 secs
lola: 11803338 markings, 54720500 edges, 76096 markings/sec, 190 secs
lola: 12172817 markings, 56114119 edges, 73896 markings/sec, 195 secs
lola: 12540414 markings, 57502219 edges, 73519 markings/sec, 200 secs
lola: 12904685 markings, 58889466 edges, 72854 markings/sec, 205 secs
lola: 13263940 markings, 60266371 edges, 71851 markings/sec, 210 secs
lola: 13611405 markings, 61641772 edges, 69493 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: 1523520 KB
lola: time consumption: 894 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(p426)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p426)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 553738 markings, 1476196 edges, 110748 markings/sec, 0 secs
lola: 1016057 markings, 2983552 edges, 92464 markings/sec, 5 secs
lola: 1466895 markings, 4535992 edges, 90168 markings/sec, 10 secs
lola: 1906989 markings, 6100861 edges, 88019 markings/sec, 15 secs
lola: 2331022 markings, 7643477 edges, 84807 markings/sec, 20 secs
lola: 2743341 markings, 9176398 edges, 82464 markings/sec, 25 secs
lola: 3152113 markings, 10698179 edges, 81754 markings/sec, 30 secs
lola: 3557930 markings, 12240660 edges, 81163 markings/sec, 35 secs
lola: 3945256 markings, 13838487 edges, 77465 markings/sec, 40 secs
lola: 4202902 markings, 15375390 edges, 51529 markings/sec, 45 secs
lola: 4393309 markings, 16855592 edges, 38081 markings/sec, 50 secs
lola: 4581982 markings, 18377131 edges, 37735 markings/sec, 55 secs
lola: 4734262 markings, 19898252 edges, 30456 markings/sec, 60 secs
lola: 4830856 markings, 21370149 edges, 19319 markings/sec, 65 secs
lola: 5164890 markings, 22917405 edges, 66807 markings/sec, 70 secs
lola: 5648233 markings, 24400180 edges, 96669 markings/sec, 75 secs
lola: 6083999 markings, 25868642 edges, 87153 markings/sec, 80 secs
lola: 6506049 markings, 27340074 edges, 84410 markings/sec, 85 secs
lola: 6902662 markings, 28769745 edges, 79323 markings/sec, 90 secs
lola: 7292044 markings, 30190427 edges, 77876 markings/sec, 95 secs
lola: 7680268 markings, 31636070 edges, 77645 markings/sec, 100 secs
lola: 8025430 markings, 32925776 edges, 69032 markings/sec, 105 secs
lola: 8381594 markings, 34279708 edges, 71233 markings/sec, 110 secs
lola: 8718729 markings, 35615028 edges, 67427 markings/sec, 115 secs
lola: 9010249 markings, 36933336 edges, 58304 markings/sec, 120 secs
lola: 9242822 markings, 38319140 edges, 46515 markings/sec, 125 secs
lola: 9703254 markings, 39609621 edges, 92086 markings/sec, 130 secs
lola: 10131371 markings, 41006143 edges, 85623 markings/sec, 135 secs
lola: 10506477 markings, 42290859 edges, 75021 markings/sec, 140 secs
lola: 10874737 markings, 43590085 edges, 73652 markings/sec, 145 secs
lola: 11240221 markings, 44911068 edges, 73097 markings/sec, 150 secs
lola: 11583976 markings, 46167924 edges, 68751 markings/sec, 155 secs
lola: 11922016 markings, 47428645 edges, 67608 markings/sec, 160 secs
lola: 12288193 markings, 48793750 edges, 73235 markings/sec, 165 secs
lola: 12634052 markings, 50104357 edges, 69172 markings/sec, 170 secs
lola: 12974823 markings, 51443848 edges, 68154 markings/sec, 175 secs
lola: 13263041 markings, 52753802 edges, 57644 markings/sec, 180 secs
lola: 13430964 markings, 54142189 edges, 33585 markings/sec, 185 secs
lola: 13604757 markings, 55541639 edges, 34759 markings/sec, 190 secs
lola: 13756402 markings, 56887422 edges, 30329 markings/sec, 195 secs
lola: 13887140 markings, 58243041 edges, 26148 markings/sec, 200 secs
lola: 13970904 markings, 59583469 edges, 16753 markings/sec, 205 secs
lola: 14299052 markings, 61003746 edges, 65630 markings/sec, 210 secs
lola: 14763843 markings, 62425993 edges, 92958 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: 1238152 KB
lola: time consumption: 1117 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(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 403193 markings, 1298127 edges, 80639 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges

FORMULA JoinFreeModules-PT-0100-UpperBounds-5 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p465)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p465)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 461993 markings, 1513145 edges, 92399 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges

FORMULA JoinFreeModules-PT-0100-UpperBounds-6 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p391)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p391)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 530123 markings, 1402033 edges, 106025 markings/sec, 0 secs
lola: 968276 markings, 2819931 edges, 87631 markings/sec, 5 secs
lola: 1378493 markings, 4226258 edges, 82043 markings/sec, 10 secs
lola: 1783077 markings, 5652673 edges, 80917 markings/sec, 15 secs
lola: 2172252 markings, 7063965 edges, 77835 markings/sec, 20 secs
lola: 2559343 markings, 8494724 edges, 77418 markings/sec, 25 secs
lola: 2948635 markings, 9937593 edges, 77858 markings/sec, 30 secs
lola: 3322240 markings, 11325991 edges, 74721 markings/sec, 35 secs
lola: 3703034 markings, 12802338 edges, 76159 markings/sec, 40 secs
lola: 4047505 markings, 14321345 edges, 68894 markings/sec, 45 secs
lola: 4258693 markings, 15808916 edges, 42238 markings/sec, 50 secs
lola: 4445471 markings, 17237081 edges, 37356 markings/sec, 55 secs
lola: 4611702 markings, 18660894 edges, 33246 markings/sec, 60 secs
lola: 4743256 markings, 20063658 edges, 26311 markings/sec, 65 secs
lola: 4832345 markings, 21430726 edges, 17818 markings/sec, 70 secs
lola: 5111305 markings, 22768933 edges, 55792 markings/sec, 75 secs
lola: 5574881 markings, 24160982 edges, 92715 markings/sec, 80 secs
lola: 6000403 markings, 25580665 edges, 85104 markings/sec, 85 secs
lola: 6407963 markings, 26994945 edges, 81512 markings/sec, 90 secs
lola: 6805713 markings, 28416462 edges, 79550 markings/sec, 95 secs
lola: 7197324 markings, 29843936 edges, 78322 markings/sec, 100 secs
lola: 7584321 markings, 31281291 edges, 77399 markings/sec, 105 secs
lola: 7973821 markings, 32731910 edges, 77900 markings/sec, 110 secs
lola: 8358558 markings, 34187011 edges, 76947 markings/sec, 115 secs
lola: 8731645 markings, 35672642 edges, 74617 markings/sec, 120 secs
lola: 9048759 markings, 37126803 edges, 63423 markings/sec, 125 secs
lola: 9343014 markings, 38565938 edges, 58851 markings/sec, 130 secs
lola: 9820784 markings, 39981457 edges, 95554 markings/sec, 135 secs
lola: 10226600 markings, 41330135 edges, 81163 markings/sec, 140 secs
lola: 10628904 markings, 42718318 edges, 80461 markings/sec, 145 secs
lola: 11023112 markings, 44122017 edges, 78842 markings/sec, 150 secs
lola: 11413206 markings, 45543032 edges, 78019 markings/sec, 155 secs
lola: 11798712 markings, 46972916 edges, 77101 markings/sec, 160 secs
lola: 12185542 markings, 48411674 edges, 77366 markings/sec, 165 secs
lola: 12570125 markings, 49852203 edges, 76917 markings/sec, 170 secs
lola: 12950351 markings, 51335346 edges, 76045 markings/sec, 175 secs
lola: 13276251 markings, 52810379 edges, 65180 markings/sec, 180 secs
lola: 13448612 markings, 54231249 edges, 34472 markings/sec, 185 secs
lola: 13623542 markings, 55629440 edges, 34986 markings/sec, 190 secs
lola: 13770464 markings, 57001890 edges, 29384 markings/sec, 195 secs
lola: 13895791 markings, 58360523 edges, 25065 markings/sec, 200 secs
lola: 13978068 markings, 59705977 edges, 16455 markings/sec, 205 secs
lola: 14330042 markings, 61090458 edges, 70395 markings/sec, 210 secs
lola: 14764637 markings, 62428556 edges, 86919 markings/sec, 215 secs
lola: 15169797 markings, 63789133 edges, 81032 markings/sec, 220 secs
lola: 15551514 markings, 65114848 edges, 76343 markings/sec, 225 secs
lola: 15924745 markings, 66448314 edges, 74646 markings/sec, 230 secs
lola: 16292810 markings, 67788295 edges, 73613 markings/sec, 235 secs
lola: 16661218 markings, 69158145 edges, 73682 markings/sec, 240 secs
lola: 17032026 markings, 70535255 edges, 74162 markings/sec, 245 secs
lola: 17406398 markings, 71926185 edges, 74874 markings/sec, 250 secs
lola: 17779977 markings, 73386684 edges, 74716 markings/sec, 255 secs
lola: 18094694 markings, 74809666 edges, 62943 markings/sec, 260 secs
lola: 18271321 markings, 76175907 edges, 35325 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1846032 KB
lola: time consumption: 1399 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p354)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p354)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 450053 markings, 1483764 edges, 90011 markings/sec, 0 secs
lola: 855302 markings, 2911419 edges, 81050 markings/sec, 5 secs
lola: 1239218 markings, 4285579 edges, 76783 markings/sec, 10 secs
lola: 1619608 markings, 5662262 edges, 76078 markings/sec, 15 secs
lola: 1991615 markings, 7021119 edges, 74401 markings/sec, 20 secs
lola: 2354525 markings, 8343432 edges, 72582 markings/sec, 25 secs
lola: 2708560 markings, 9657970 edges, 70807 markings/sec, 30 secs
lola: 3057126 markings, 10972843 edges, 69713 markings/sec, 35 secs
lola: 3402371 markings, 12286925 edges, 69049 markings/sec, 40 secs
lola: 3745540 markings, 13597472 edges, 68634 markings/sec, 45 secs
lola: 4085538 markings, 14912423 edges, 68000 markings/sec, 50 secs
lola: 4427209 markings, 16236445 edges, 68334 markings/sec, 55 secs
lola: 4765441 markings, 17557543 edges, 67646 markings/sec, 60 secs
lola: 5114702 markings, 18939809 edges, 69852 markings/sec, 65 secs
lola: 5549148 markings, 20369616 edges, 86889 markings/sec, 70 secs
lola: 5920174 markings, 21676005 edges, 74205 markings/sec, 75 secs
lola: 6255399 markings, 22869761 edges, 67045 markings/sec, 80 secs
lola: 6584459 markings, 24056307 edges, 65812 markings/sec, 85 secs
lola: 6913297 markings, 25253775 edges, 65768 markings/sec, 90 secs
lola: 7247025 markings, 26476483 edges, 66746 markings/sec, 95 secs
lola: 7588761 markings, 27724612 edges, 68347 markings/sec, 100 secs
lola: 7927332 markings, 28984269 edges, 67714 markings/sec, 105 secs
lola: 8257895 markings, 30237140 edges, 66113 markings/sec, 110 secs
lola: 8583705 markings, 31484798 edges, 65162 markings/sec, 115 secs
lola: 8905666 markings, 32716468 edges, 64392 markings/sec, 120 secs
lola: 9229535 markings, 33966871 edges, 64774 markings/sec, 125 secs
lola: 9545074 markings, 35189761 edges, 63108 markings/sec, 130 secs
lola: 9852730 markings, 36394137 edges, 61531 markings/sec, 135 secs
lola: 10160255 markings, 37601668 edges, 61505 markings/sec, 140 secs
lola: 10554218 markings, 38923125 edges, 78793 markings/sec, 145 secs
lola: 10914968 markings, 40181740 edges, 72150 markings/sec, 150 secs
lola: 11264561 markings, 41424685 edges, 69919 markings/sec, 155 secs
lola: 11611672 markings, 42676156 edges, 69422 markings/sec, 160 secs
lola: 11964240 markings, 43959531 edges, 70514 markings/sec, 165 secs
lola: 12316022 markings, 45241942 edges, 70356 markings/sec, 170 secs
lola: 12659207 markings, 46497998 edges, 68637 markings/sec, 175 secs
lola: 13000029 markings, 47763478 edges, 68164 markings/sec, 180 secs
lola: 13334279 markings, 49031385 edges, 66850 markings/sec, 185 secs
lola: 13665294 markings, 50290057 edges, 66203 markings/sec, 190 secs
lola: 13974531 markings, 51473987 edges, 61847 markings/sec, 195 secs
lola: 14303169 markings, 52741937 edges, 65728 markings/sec, 200 secs
lola: 14634214 markings, 54025757 edges, 66209 markings/sec, 205 secs
lola: 14966897 markings, 55324328 edges, 66537 markings/sec, 210 secs
lola: 15299246 markings, 56637391 edges, 66470 markings/sec, 215 secs
lola: 15370167 markings, 57918080 edges, 14184 markings/sec, 220 secs
lola: 15374927 markings, 59128142 edges, 952 markings/sec, 225 secs
lola: 15378329 markings, 60304009 edges, 680 markings/sec, 230 secs
lola: 15379420 markings, 61457058 edges, 218 markings/sec, 235 secs
lola: 15380051 markings, 62603775 edges, 126 markings/sec, 240 secs
lola: 15380277 markings, 63720033 edges, 45 markings/sec, 245 secs
lola: 15380492 markings, 64833304 edges, 43 markings/sec, 250 secs
lola: 15380719 markings, 65922053 edges, 45 markings/sec, 255 secs
lola: 15380989 markings, 66999925 edges, 54 markings/sec, 260 secs
lola: 15381259 markings, 68240901 edges, 54 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2521520 KB
lola: time consumption: 1670 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p422)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p422)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 476331 markings, 1476809 edges, 95266 markings/sec, 0 secs
lola: 882304 markings, 2925998 edges, 81195 markings/sec, 5 secs
lola: 1278312 markings, 4365044 edges, 79202 markings/sec, 10 secs
lola: 1662442 markings, 5788855 edges, 76826 markings/sec, 15 secs
lola: 2042880 markings, 7216813 edges, 76088 markings/sec, 20 secs
lola: 2411768 markings, 8610502 edges, 73778 markings/sec, 25 secs
lola: 2781454 markings, 10015159 edges, 73937 markings/sec, 30 secs
lola: 3153760 markings, 11431645 edges, 74461 markings/sec, 35 secs
lola: 3496634 markings, 12783028 edges, 68575 markings/sec, 40 secs
lola: 3848206 markings, 14151373 edges, 70314 markings/sec, 45 secs
lola: 4197590 markings, 15561591 edges, 69877 markings/sec, 50 secs
lola: 4549962 markings, 16978480 edges, 70474 markings/sec, 55 secs
lola: 4891140 markings, 18444839 edges, 68236 markings/sec, 60 secs
lola: 4982771 markings, 19881994 edges, 18326 markings/sec, 65 secs
lola: 4986885 markings, 21180943 edges, 823 markings/sec, 70 secs
lola: 4992430 markings, 22399010 edges, 1109 markings/sec, 75 secs
lola: 4994817 markings, 23529983 edges, 477 markings/sec, 80 secs
lola: 4996807 markings, 24655390 edges, 398 markings/sec, 85 secs
lola: 4998106 markings, 25816563 edges, 260 markings/sec, 90 secs
lola: 4998499 markings, 27103866 edges, 79 markings/sec, 95 secs
lola: 4998509 markings, 28445579 edges, 2 markings/sec, 100 secs
lola: 5165671 markings, 29861614 edges, 33432 markings/sec, 105 secs
lola: 5569747 markings, 31267269 edges, 80815 markings/sec, 110 secs
lola: 5949156 markings, 32629503 edges, 75882 markings/sec, 115 secs
lola: 6321152 markings, 33982686 edges, 74399 markings/sec, 120 secs
lola: 6686684 markings, 35338944 edges, 73106 markings/sec, 125 secs
lola: 7048269 markings, 36695852 edges, 72317 markings/sec, 130 secs
lola: 7411048 markings, 38069008 edges, 72556 markings/sec, 135 secs
lola: 7769238 markings, 39427680 edges, 71638 markings/sec, 140 secs
lola: 8113061 markings, 40741644 edges, 68765 markings/sec, 145 secs
lola: 8421002 markings, 41942706 edges, 61588 markings/sec, 150 secs
lola: 8732757 markings, 43140975 edges, 62351 markings/sec, 155 secs
lola: 9038483 markings, 44362226 edges, 61145 markings/sec, 160 secs
lola: 9348077 markings, 45597038 edges, 61919 markings/sec, 165 secs
lola: 9694522 markings, 46966049 edges, 69289 markings/sec, 170 secs
lola: 10058050 markings, 48434303 edges, 72706 markings/sec, 175 secs
lola: 10493132 markings, 49933843 edges, 87016 markings/sec, 180 secs
lola: 10897737 markings, 51380777 edges, 80921 markings/sec, 185 secs
lola: 11284889 markings, 52789631 edges, 77430 markings/sec, 190 secs
lola: 11660299 markings, 54184098 edges, 75082 markings/sec, 195 secs
lola: 12028001 markings, 55565519 edges, 73540 markings/sec, 200 secs
lola: 12389248 markings, 56931672 edges, 72249 markings/sec, 205 secs
lola: 12747464 markings, 58292381 edges, 71643 markings/sec, 210 secs
lola: 13105519 markings, 59656470 edges, 71611 markings/sec, 215 secs
lola: 13455157 markings, 61029919 edges, 69928 markings/sec, 220 secs
lola: 13805521 markings, 62392675 edges, 70073 markings/sec, 225 secs
lola: 14135639 markings, 63728506 edges, 66024 markings/sec, 230 secs
lola: 14478468 markings, 65103650 edges, 68566 markings/sec, 235 secs
lola: 14825247 markings, 66545816 edges, 69356 markings/sec, 240 secs
lola: 14948472 markings, 67935965 edges, 24645 markings/sec, 245 secs
lola: 14952165 markings, 69147178 edges, 739 markings/sec, 250 secs
lola: 14957162 markings, 70330238 edges, 999 markings/sec, 255 secs
lola: 14960175 markings, 71512864 edges, 603 markings/sec, 260 secs
lola: 14962138 markings, 72612039 edges, 393 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1508020 KB
lola: time consumption: 1941 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p132)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p132)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 420241 markings, 1278580 edges, 84048 markings/sec, 0 secs
lola: 771835 markings, 2529102 edges, 70319 markings/sec, 5 secs
lola: 1110048 markings, 3747967 edges, 67643 markings/sec, 10 secs
lola: 1433682 markings, 4937596 edges, 64727 markings/sec, 15 secs
lola: 1757309 markings, 6143092 edges, 64725 markings/sec, 20 secs
lola: 2083241 markings, 7369952 edges, 65186 markings/sec, 25 secs
lola: 2395206 markings, 8547552 edges, 62393 markings/sec, 30 secs
lola: 2707091 markings, 9730335 edges, 62377 markings/sec, 35 secs
lola: 3022934 markings, 10933120 edges, 63169 markings/sec, 40 secs
lola: 3330393 markings, 12118755 edges, 61492 markings/sec, 45 secs
lola: 3638236 markings, 13339261 edges, 61569 markings/sec, 50 secs
lola: 3955232 markings, 14582251 edges, 63399 markings/sec, 55 secs
lola: 4269262 markings, 15849167 edges, 62806 markings/sec, 60 secs
lola: 4591108 markings, 17146423 edges, 64369 markings/sec, 65 secs
lola: 4906634 markings, 18532978 edges, 63105 markings/sec, 70 secs
lola: 4982736 markings, 19811574 edges, 15220 markings/sec, 75 secs
lola: 4986403 markings, 20960084 edges, 733 markings/sec, 80 secs
lola: 4991440 markings, 22090184 edges, 1007 markings/sec, 85 secs
lola: 4994314 markings, 23226200 edges, 575 markings/sec, 90 secs
lola: 4996351 markings, 24352755 edges, 407 markings/sec, 95 secs
lola: 4997777 markings, 25470413 edges, 285 markings/sec, 100 secs
lola: 4998467 markings, 26614413 edges, 138 markings/sec, 105 secs
lola: 4998509 markings, 27791010 edges, 8 markings/sec, 110 secs
lola: 5000751 markings, 29073652 edges, 448 markings/sec, 115 secs
lola: 5349113 markings, 30493372 edges, 69672 markings/sec, 120 secs
lola: 5746428 markings, 31900356 edges, 79463 markings/sec, 125 secs
lola: 6125129 markings, 33265275 edges, 75740 markings/sec, 130 secs
lola: 6471284 markings, 34538291 edges, 69231 markings/sec, 135 secs
lola: 6792239 markings, 35733091 edges, 64191 markings/sec, 140 secs
lola: 7101292 markings, 36895685 edges, 61811 markings/sec, 145 secs
lola: 7407123 markings, 38053943 edges, 61166 markings/sec, 150 secs
lola: 7714831 markings, 39221892 edges, 61542 markings/sec, 155 secs
lola: 8024315 markings, 40402696 edges, 61897 markings/sec, 160 secs
lola: 8334234 markings, 41608980 edges, 61984 markings/sec, 165 secs
lola: 8630115 markings, 42743289 edges, 59176 markings/sec, 170 secs
lola: 8915922 markings, 43879080 edges, 57161 markings/sec, 175 secs
lola: 9228522 markings, 45111073 edges, 62520 markings/sec, 180 secs
lola: 9556358 markings, 46419733 edges, 65567 markings/sec, 185 secs
lola: 9883363 markings, 47816047 edges, 65401 markings/sec, 190 secs
lola: 10304634 markings, 49269029 edges, 84254 markings/sec, 195 secs
lola: 10704275 markings, 50686144 edges, 79928 markings/sec, 200 secs
lola: 11086342 markings, 52061572 edges, 76413 markings/sec, 205 secs
lola: 11451177 markings, 53405309 edges, 72967 markings/sec, 210 secs
lola: 11808968 markings, 54741739 edges, 71558 markings/sec, 215 secs
lola: 12146988 markings, 56014795 edges, 67604 markings/sec, 220 secs
lola: 12459662 markings, 57197588 edges, 62535 markings/sec, 225 secs
lola: 12768215 markings, 58370941 edges, 61711 markings/sec, 230 secs
lola: 13077730 markings, 59549894 edges, 61903 markings/sec, 235 secs
lola: 13376328 markings, 60711525 edges, 59720 markings/sec, 240 secs
lola: 13673398 markings, 61879927 edges, 59414 markings/sec, 245 secs
lola: 13973686 markings, 63064125 edges, 60058 markings/sec, 250 secs
lola: 14266472 markings, 64251895 edges, 58557 markings/sec, 255 secs
lola: 14560528 markings, 65437303 edges, 58811 markings/sec, 260 secs
lola: 14850519 markings, 66685653 edges, 57998 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4154012 KB
lola: time consumption: 2212 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p372)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p372)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 431629 markings, 1318163 edges, 86326 markings/sec, 0 secs
lola: 802546 markings, 2638821 edges, 74183 markings/sec, 5 secs
lola: 1155355 markings, 3914071 edges, 70562 markings/sec, 10 secs
lola: 1498372 markings, 5178128 edges, 68603 markings/sec, 15 secs
lola: 1839038 markings, 6449846 edges, 68133 markings/sec, 20 secs
lola: 2184636 markings, 7751956 edges, 69120 markings/sec, 25 secs
lola: 2566838 markings, 9196171 edges, 76440 markings/sec, 30 secs
lola: 2941061 markings, 10621560 edges, 74845 markings/sec, 35 secs
lola: 3305294 markings, 12019663 edges, 72847 markings/sec, 40 secs
lola: 3652393 markings, 13393010 edges, 69420 markings/sec, 45 secs
lola: 4012650 markings, 14807429 edges, 72051 markings/sec, 50 secs
lola: 4370785 markings, 16262507 edges, 71627 markings/sec, 55 secs
lola: 4754126 markings, 17789927 edges, 76668 markings/sec, 60 secs
lola: 4982220 markings, 19330195 edges, 45619 markings/sec, 65 secs
lola: 4986280 markings, 20725768 edges, 812 markings/sec, 70 secs
lola: 4991255 markings, 22022637 edges, 995 markings/sec, 75 secs
lola: 4994480 markings, 23300661 edges, 645 markings/sec, 80 secs
lola: 4996693 markings, 24570429 edges, 443 markings/sec, 85 secs
lola: 4998138 markings, 25870917 edges, 289 markings/sec, 90 secs
lola: 4998509 markings, 27191189 edges, 74 markings/sec, 95 secs
lola: 4998509 markings, 28505080 edges, 0 markings/sec, 100 secs
lola: 5153250 markings, 29819965 edges, 30948 markings/sec, 105 secs
lola: 5588002 markings, 31333631 edges, 86950 markings/sec, 110 secs
lola: 5952937 markings, 32643550 edges, 72987 markings/sec, 115 secs
lola: 6346153 markings, 34074860 edges, 78643 markings/sec, 120 secs
lola: 6732937 markings, 35511932 edges, 77357 markings/sec, 125 secs
lola: 7105650 markings, 36912342 edges, 74543 markings/sec, 130 secs
lola: 7473833 markings, 38305052 edges, 73637 markings/sec, 135 secs
lola: 7843878 markings, 39710688 edges, 74009 markings/sec, 140 secs
lola: 8206456 markings, 41109307 edges, 72516 markings/sec, 145 secs
lola: 8567478 markings, 42506969 edges, 72204 markings/sec, 150 secs
lola: 8913264 markings, 43866734 edges, 69157 markings/sec, 155 secs
lola: 9258885 markings, 45236731 edges, 69124 markings/sec, 160 secs
lola: 9614737 markings, 46652381 edges, 71170 markings/sec, 165 secs
lola: 9939549 markings, 48128511 edges, 64962 markings/sec, 170 secs
lola: 10411697 markings, 49644617 edges, 94430 markings/sec, 175 secs
lola: 10828214 markings, 51130849 edges, 83303 markings/sec, 180 secs
lola: 11221966 markings, 52559007 edges, 78750 markings/sec, 185 secs
lola: 11605522 markings, 53981663 edges, 76711 markings/sec, 190 secs
lola: 11981633 markings, 55391509 edges, 75222 markings/sec, 195 secs
lola: 12333466 markings, 56720662 edges, 70367 markings/sec, 200 secs
lola: 12648445 markings, 57914438 edges, 62996 markings/sec, 205 secs
lola: 12949665 markings, 59060680 edges, 60244 markings/sec, 210 secs
lola: 13250945 markings, 60216547 edges, 60256 markings/sec, 215 secs
lola: 13540568 markings, 61372769 edges, 57925 markings/sec, 220 secs
lola: 13844968 markings, 62552458 edges, 60880 markings/sec, 225 secs
lola: 14126003 markings, 63690766 edges, 56207 markings/sec, 230 secs
lola: 14428006 markings, 64902517 edges, 60401 markings/sec, 235 secs
lola: 14774287 markings, 66279451 edges, 69256 markings/sec, 240 secs
lola: 14948273 markings, 67738944 edges, 34797 markings/sec, 245 secs
lola: 14952127 markings, 69054865 edges, 771 markings/sec, 250 secs
lola: 14957162 markings, 70331934 edges, 1007 markings/sec, 255 secs
lola: 14960367 markings, 71592054 edges, 641 markings/sec, 260 secs
lola: 14962507 markings, 72842485 edges, 428 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2001584 KB
lola: time consumption: 2484 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p137)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 486969 markings, 1514132 edges, 97394 markings/sec, 0 secs
lola: 908517 markings, 3020111 edges, 84310 markings/sec, 5 secs
lola: 1309013 markings, 4476227 edges, 80099 markings/sec, 10 secs
lola: 1697640 markings, 5919038 edges, 77725 markings/sec, 15 secs
lola: 2075209 markings, 7338926 edges, 75514 markings/sec, 20 secs
lola: 2441452 markings, 8724153 edges, 73249 markings/sec, 25 secs
lola: 2803331 markings, 10098365 edges, 72376 markings/sec, 30 secs
lola: 3168944 markings, 11490571 edges, 73123 markings/sec, 35 secs
lola: 3519521 markings, 12872200 edges, 70115 markings/sec, 40 secs
lola: 3874213 markings, 14253516 edges, 70938 markings/sec, 45 secs
lola: 4218749 markings, 15647686 edges, 68907 markings/sec, 50 secs
lola: 4566097 markings, 17041434 edges, 69470 markings/sec, 55 secs
lola: 4913563 markings, 18572270 edges, 69493 markings/sec, 60 secs
lola: 4982933 markings, 19974275 edges, 13874 markings/sec, 65 secs
lola: 4987081 markings, 21235611 edges, 830 markings/sec, 70 secs
lola: 4992651 markings, 22484547 edges, 1114 markings/sec, 75 secs
lola: 4995147 markings, 23719067 edges, 499 markings/sec, 80 secs
lola: 4997156 markings, 24935452 edges, 402 markings/sec, 85 secs
lola: 4998349 markings, 26162472 edges, 239 markings/sec, 90 secs
lola: 4998509 markings, 27432540 edges, 32 markings/sec, 95 secs
lola: 4998509 markings, 28814981 edges, 0 markings/sec, 100 secs
lola: 5305502 markings, 30341850 edges, 61399 markings/sec, 105 secs
lola: 5736163 markings, 31863841 edges, 86132 markings/sec, 110 secs
lola: 6143874 markings, 33334631 edges, 81542 markings/sec, 115 secs
lola: 6542101 markings, 34801629 edges, 79645 markings/sec, 120 secs
lola: 6926167 markings, 36237345 edges, 76813 markings/sec, 125 secs
lola: 7302791 markings, 37661144 edges, 75325 markings/sec, 130 secs
lola: 7675573 markings, 39074385 edges, 74556 markings/sec, 135 secs
lola: 8043671 markings, 40477396 edges, 73620 markings/sec, 140 secs
lola: 8406677 markings, 41885111 edges, 72601 markings/sec, 145 secs
lola: 8765917 markings, 43275338 edges, 71848 markings/sec, 150 secs
lola: 9120791 markings, 44687014 edges, 70975 markings/sec, 155 secs
lola: 9481462 markings, 46126116 edges, 72134 markings/sec, 160 secs
lola: 9850699 markings, 47635573 edges, 73847 markings/sec, 165 secs
lola: 10285304 markings, 49201751 edges, 86921 markings/sec, 170 secs
lola: 10719425 markings, 50741133 edges, 86824 markings/sec, 175 secs
lola: 11128385 markings, 52216797 edges, 81792 markings/sec, 180 secs
lola: 11525924 markings, 53684245 edges, 79508 markings/sec, 185 secs
lola: 11878711 markings, 55002314 edges, 70557 markings/sec, 190 secs
lola: 12238357 markings, 56360260 edges, 71929 markings/sec, 195 secs
lola: 12594282 markings, 57705745 edges, 71185 markings/sec, 200 secs
lola: 12956981 markings, 59089552 edges, 72540 markings/sec, 205 secs
lola: 13305698 markings, 60435504 edges, 69743 markings/sec, 210 secs
lola: 13640795 markings, 61761195 edges, 67019 markings/sec, 215 secs
lola: 13981914 markings, 63096290 edges, 68224 markings/sec, 220 secs
lola: 14324572 markings, 64491836 edges, 68532 markings/sec, 225 secs
lola: 14700917 markings, 65989593 edges, 75269 markings/sec, 230 secs
lola: 14947973 markings, 67538380 edges, 49411 markings/sec, 235 secs
lola: 14949423 markings, 68890994 edges, 290 markings/sec, 240 secs
lola: 14956826 markings, 70172367 edges, 1481 markings/sec, 245 secs
lola: 14960063 markings, 71444972 edges, 647 markings/sec, 250 secs
lola: 14962337 markings, 72707918 edges, 455 markings/sec, 255 secs
lola: 14963871 markings, 73985390 edges, 307 markings/sec, 260 secs
lola: 14964323 markings, 75286685 edges, 90 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4106076 KB
lola: time consumption: 2755 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p358)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p358)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 640302 markings, 1590341 edges, 128060 markings/sec, 0 secs
lola: 1133564 markings, 3245883 edges, 98652 markings/sec, 5 secs
lola: 1656129 markings, 4759323 edges, 104513 markings/sec, 10 secs
lola: 2260438 markings, 6176282 edges, 120862 markings/sec, 15 secs
lola: 2466748 markings, 7612203 edges, 41262 markings/sec, 20 secs
lola: 2851236 markings, 9087025 edges, 76898 markings/sec, 25 secs
lola: 3339723 markings, 10560460 edges, 97697 markings/sec, 30 secs
lola: 3780310 markings, 12038362 edges, 88117 markings/sec, 35 secs
lola: 4286416 markings, 13470675 edges, 101221 markings/sec, 40 secs
lola: 4868193 markings, 14835946 edges, 116355 markings/sec, 45 secs
lola: 5468054 markings, 16334216 edges, 119972 markings/sec, 50 secs
lola: 5929658 markings, 17851545 edges, 92321 markings/sec, 55 secs
lola: 6401674 markings, 19433091 edges, 94403 markings/sec, 60 secs
lola: 6992793 markings, 20921886 edges, 118224 markings/sec, 65 secs
lola: 7582882 markings, 22418358 edges, 118018 markings/sec, 70 secs
lola: 8173082 markings, 23981424 edges, 118040 markings/sec, 75 secs
lola: 8639568 markings, 25551956 edges, 93297 markings/sec, 80 secs
lola: 9174522 markings, 27092611 edges, 106991 markings/sec, 85 secs
lola: 9812652 markings, 28575119 edges, 127626 markings/sec, 90 secs
lola: 9983926 markings, 30057094 edges, 34255 markings/sec, 95 secs
lola: 10456754 markings, 31595470 edges, 94566 markings/sec, 100 secs
lola: 10942523 markings, 33185249 edges, 97154 markings/sec, 105 secs
lola: 11417206 markings, 34775981 edges, 94937 markings/sec, 110 secs
lola: 12003229 markings, 36279776 edges, 117205 markings/sec, 115 secs
lola: 12563520 markings, 37775173 edges, 112058 markings/sec, 120 secs
lola: 13191368 markings, 39344611 edges, 125570 markings/sec, 125 secs
lola: 13661796 markings, 40922829 edges, 94086 markings/sec, 130 secs
lola: 14192026 markings, 42478290 edges, 106046 markings/sec, 135 secs
lola: 14798984 markings, 43904403 edges, 121392 markings/sec, 140 secs
lola: 15378328 markings, 45310411 edges, 115869 markings/sec, 145 secs
lola: 15822933 markings, 46764091 edges, 88921 markings/sec, 150 secs
lola: 16282529 markings, 48325217 edges, 91919 markings/sec, 155 secs
lola: 16871190 markings, 49849818 edges, 117732 markings/sec, 160 secs
lola: 17439755 markings, 51352787 edges, 113713 markings/sec, 165 secs
lola: 17535955 markings, 52839166 edges, 19240 markings/sec, 170 secs
lola: 18124473 markings, 54412872 edges, 117704 markings/sec, 175 secs
lola: 18597685 markings, 55988367 edges, 94642 markings/sec, 180 secs
lola: 19099890 markings, 57560189 edges, 100441 markings/sec, 185 secs
lola: 19717448 markings, 59059984 edges, 123512 markings/sec, 190 secs
lola: 20359836 markings, 60581180 edges, 128478 markings/sec, 195 secs
lola: 20851178 markings, 62157340 edges, 98268 markings/sec, 200 secs
lola: 21319520 markings, 63749273 edges, 93668 markings/sec, 205 secs
lola: 21902979 markings, 65270883 edges, 116692 markings/sec, 210 secs
lola: 22480371 markings, 66782014 edges, 115478 markings/sec, 215 secs
lola: 23110619 markings, 68349119 edges, 126050 markings/sec, 220 secs
lola: 23583706 markings, 69930530 edges, 94617 markings/sec, 225 secs
lola: 24105853 markings, 71483913 edges, 104429 markings/sec, 230 secs
lola: 24727207 markings, 72951311 edges, 124271 markings/sec, 235 secs
lola: 24962688 markings, 74428121 edges, 47096 markings/sec, 240 secs
lola: 25363378 markings, 75958788 edges, 80138 markings/sec, 245 secs
lola: 25872316 markings, 77521027 edges, 101788 markings/sec, 250 secs
lola: 26336511 markings, 79085981 edges, 92839 markings/sec, 255 secs
lola: 26899727 markings, 80602925 edges, 112643 markings/sec, 260 secs
lola: 27521362 markings, 82098415 edges, 124327 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3324964 KB
lola: time consumption: 3026 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p167)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 462627 markings, 1427961 edges, 92525 markings/sec, 0 secs
lola: 881429 markings, 2923048 edges, 83760 markings/sec, 5 secs
lola: 1287760 markings, 4399346 edges, 81266 markings/sec, 10 secs
lola: 1680806 markings, 5856708 edges, 78609 markings/sec, 15 secs
lola: 2066797 markings, 7307388 edges, 77198 markings/sec, 20 secs
lola: 2445022 markings, 8737098 edges, 75645 markings/sec, 25 secs
lola: 2810779 markings, 10126715 edges, 73151 markings/sec, 30 secs
lola: 3173725 markings, 11509154 edges, 72589 markings/sec, 35 secs
lola: 3533194 markings, 12927507 edges, 71894 markings/sec, 40 secs
lola: 3896356 markings, 14346416 edges, 72632 markings/sec, 45 secs
lola: 4250109 markings, 15773169 edges, 70751 markings/sec, 50 secs
lola: 4613797 markings, 17236409 edges, 72738 markings/sec, 55 secs
lola: 4948692 markings, 18769415 edges, 66979 markings/sec, 60 secs
lola: 4983100 markings, 20145465 edges, 6882 markings/sec, 65 secs
lola: 4987914 markings, 21419749 edges, 963 markings/sec, 70 secs
lola: 4993219 markings, 22664709 edges, 1061 markings/sec, 75 secs
lola: 4995417 markings, 23885881 edges, 440 markings/sec, 80 secs
lola: 4997368 markings, 25126542 edges, 390 markings/sec, 85 secs
lola: 4998425 markings, 26412838 edges, 211 markings/sec, 90 secs
lola: 4998509 markings, 27747877 edges, 17 markings/sec, 95 secs
lola: 5001060 markings, 29205539 edges, 510 markings/sec, 100 secs
lola: 5425218 markings, 30757665 edges, 84832 markings/sec, 105 secs
lola: 5851173 markings, 32276564 edges, 85191 markings/sec, 110 secs
lola: 6275177 markings, 33813978 edges, 84801 markings/sec, 115 secs
lola: 6692659 markings, 35361355 edges, 83496 markings/sec, 120 secs
lola: 7099023 markings, 36887098 edges, 81273 markings/sec, 125 secs
lola: 7492677 markings, 38376842 edges, 78731 markings/sec, 130 secs
lola: 7890476 markings, 39888802 edges, 79560 markings/sec, 135 secs
lola: 8278736 markings, 41388861 edges, 77652 markings/sec, 140 secs
lola: 8633202 markings, 42754362 edges, 70893 markings/sec, 145 secs
lola: 8995302 markings, 44190325 edges, 72420 markings/sec, 150 secs
lola: 9374762 markings, 45703147 edges, 75892 markings/sec, 155 secs
lola: 9769154 markings, 47262988 edges, 78878 markings/sec, 160 secs
lola: 10189952 markings, 48872027 edges, 84160 markings/sec, 165 secs
lola: 10654706 markings, 50509466 edges, 92951 markings/sec, 170 secs
lola: 11095088 markings, 52094060 edges, 88076 markings/sec, 175 secs
lola: 11519053 markings, 53658188 edges, 84793 markings/sec, 180 secs
lola: 11929224 markings, 55194060 edges, 82034 markings/sec, 185 secs
lola: 12333366 markings, 56720287 edges, 80828 markings/sec, 190 secs
lola: 12732596 markings, 58233636 edges, 79846 markings/sec, 195 secs
lola: 13130620 markings, 59751307 edges, 79605 markings/sec, 200 secs
lola: 13511080 markings, 61253505 edges, 76092 markings/sec, 205 secs
lola: 13895792 markings, 62758362 edges, 76942 markings/sec, 210 secs
lola: 14272040 markings, 64276878 edges, 75250 markings/sec, 215 secs
lola: 14661845 markings, 65839224 edges, 77961 markings/sec, 220 secs
lola: 14947871 markings, 67470734 edges, 57205 markings/sec, 225 secs
lola: 14949424 markings, 68906335 edges, 311 markings/sec, 230 secs
lola: 14957071 markings, 70269747 edges, 1529 markings/sec, 235 secs
lola: 14960312 markings, 71581479 edges, 648 markings/sec, 240 secs
lola: 14962608 markings, 72909285 edges, 459 markings/sec, 245 secs
lola: 14964068 markings, 74241725 edges, 292 markings/sec, 250 secs
lola: 14964339 markings, 75632550 edges, 54 markings/sec, 255 secs
lola: 14964339 markings, 77140480 edges, 0 markings/sec, 260 secs
lola: 15314714 markings, 78769035 edges, 70075 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3974636 KB
lola: time consumption: 3298 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p387)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 555623 markings, 1759018 edges, 111125 markings/sec, 0 secs
lola: 1042735 markings, 3503351 edges, 97422 markings/sec, 5 secs
lola: 1502356 markings, 5192432 edges, 91924 markings/sec, 10 secs
lola: 1952941 markings, 6878586 edges, 90117 markings/sec, 15 secs
lola: 2395266 markings, 8547794 edges, 88465 markings/sec, 20 secs
lola: 2832326 markings, 10209776 edges, 87412 markings/sec, 25 secs
lola: 3266610 markings, 11867520 edges, 86857 markings/sec, 30 secs
lola: 3681374 markings, 13507865 edges, 82953 markings/sec, 35 secs
lola: 4098650 markings, 15152983 edges, 83455 markings/sec, 40 secs
lola: 4513502 markings, 16830719 edges, 82970 markings/sec, 45 secs
lola: 4917000 markings, 18591258 edges, 80700 markings/sec, 50 secs
lola: 4983162 markings, 20240880 edges, 13232 markings/sec, 55 secs
lola: 4990146 markings, 21750881 edges, 1397 markings/sec, 60 secs
lola: 4994360 markings, 23240203 edges, 843 markings/sec, 65 secs
lola: 4996905 markings, 24718552 edges, 509 markings/sec, 70 secs
lola: 4998365 markings, 26212717 edges, 292 markings/sec, 75 secs
lola: 4998509 markings, 27766627 edges, 29 markings/sec, 80 secs
lola: 5001130 markings, 29447339 edges, 524 markings/sec, 85 secs
lola: 5540497 markings, 31163340 edges, 107873 markings/sec, 90 secs
lola: 6008101 markings, 32843752 edges, 93521 markings/sec, 95 secs
lola: 6457722 markings, 34487302 edges, 89924 markings/sec, 100 secs
lola: 6824191 markings, 35853166 edges, 73294 markings/sec, 105 secs
lola: 7193015 markings, 37247066 edges, 73765 markings/sec, 110 secs
lola: 7551868 markings, 38601524 edges, 71771 markings/sec, 115 secs
lola: 7911730 markings, 39972972 edges, 71972 markings/sec, 120 secs
lola: 8267956 markings, 41349145 edges, 71245 markings/sec, 125 secs
lola: 8623173 markings, 42717619 edges, 71043 markings/sec, 130 secs
lola: 8968536 markings, 44084895 edges, 69073 markings/sec, 135 secs
lola: 9319047 markings, 45475985 edges, 70102 markings/sec, 140 secs
lola: 9674746 markings, 46888452 edges, 71140 markings/sec, 145 secs
lola: 10020684 markings, 48361779 edges, 69188 markings/sec, 150 secs
lola: 10471499 markings, 49856651 edges, 90163 markings/sec, 155 secs
lola: 10877117 markings, 51306697 edges, 81124 markings/sec, 160 secs
lola: 11303129 markings, 52857281 edges, 85202 markings/sec, 165 secs
lola: 11738502 markings, 54478699 edges, 87075 markings/sec, 170 secs
lola: 12163200 markings, 56077214 edges, 84940 markings/sec, 175 secs
lola: 12582075 markings, 57660020 edges, 83775 markings/sec, 180 secs
lola: 12996430 markings, 59239196 edges, 82871 markings/sec, 185 secs
lola: 13398297 markings, 60795436 edges, 80373 markings/sec, 190 secs
lola: 13796707 markings, 62360485 edges, 79682 markings/sec, 195 secs
lola: 14183067 markings, 63918436 edges, 77272 markings/sec, 200 secs
lola: 14584239 markings, 65531062 edges, 80234 markings/sec, 205 secs
lola: 14946248 markings, 67224334 edges, 72402 markings/sec, 210 secs
lola: 14949259 markings, 68761008 edges, 602 markings/sec, 215 secs
lola: 14956856 markings, 70193596 edges, 1519 markings/sec, 220 secs
lola: 14960402 markings, 71612468 edges, 709 markings/sec, 225 secs
lola: 14962741 markings, 73001364 edges, 468 markings/sec, 230 secs
lola: 14964174 markings, 74423676 edges, 287 markings/sec, 235 secs
lola: 14964339 markings, 75909774 edges, 33 markings/sec, 240 secs
lola: 14966890 markings, 77492515 edges, 510 markings/sec, 245 secs
lola: 15429855 markings, 79171643 edges, 92593 markings/sec, 250 secs
lola: 15892986 markings, 80826335 edges, 92626 markings/sec, 255 secs
lola: 16340810 markings, 82456388 edges, 89565 markings/sec, 260 secs
lola: 16767217 markings, 84044307 edges, 85281 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1991412 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p402)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p402)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 24712 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 18980 KB
lola: time consumption: 3570 seconds

BK_STOP 1552877782609

--------------------
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-0100"
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-0100, 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-155246566100316"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0100.tgz
mv JoinFreeModules-PT-0100 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 ;