Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 282K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
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 r100-smll-152658630900261
=====================================================================

--------------------
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 1526824524561

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(p38) : MAX(p184) : MAX(p144) : MAX(p134) : MAX(p137) : MAX(p80) : MAX(p246) : MAX(p42) : MAX(p200) : MAX(p59) : MAX(p210) : MAX(p32) : MAX(p8) : MAX(p227) : MAX(p65) : MAX(p106)
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(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p38)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-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: 511024 markings, 1624381 edges, 102205 markings/sec, 0 secs
lola: 966474 markings, 3211788 edges, 91090 markings/sec, 5 secs
lola: 1400393 markings, 4810625 edges, 86784 markings/sec, 10 secs
lola: 1818314 markings, 6423077 edges, 83584 markings/sec, 15 secs
lola: 2318411 markings, 8028180 edges, 100019 markings/sec, 20 secs
lola: 2770437 markings, 9603001 edges, 90405 markings/sec, 25 secs
lola: 3221999 markings, 11206299 edges, 90312 markings/sec, 30 secs
lola: 3622771 markings, 12782585 edges, 80154 markings/sec, 35 secs
lola: 4123273 markings, 14384246 edges, 100100 markings/sec, 40 secs
lola: 4574403 markings, 15952633 edges, 90226 markings/sec, 45 secs
lola: 5007376 markings, 17536482 edges, 86595 markings/sec, 50 secs
lola: 5423982 markings, 19101572 edges, 83321 markings/sec, 55 secs
lola: 5922792 markings, 20664781 edges, 99762 markings/sec, 60 secs
lola: 6359217 markings, 22246045 edges, 87285 markings/sec, 65 secs
lola: 6783106 markings, 23814990 edges, 84778 markings/sec, 70 secs
lola: 7225200 markings, 25394079 edges, 88419 markings/sec, 75 secs
lola: 7701038 markings, 26952686 edges, 95168 markings/sec, 80 secs
lola: 8127927 markings, 28525439 edges, 85378 markings/sec, 85 secs
lola: 8522160 markings, 30001208 edges, 78847 markings/sec, 90 secs
lola: 9014217 markings, 31570997 edges, 98411 markings/sec, 95 secs
lola: 9445714 markings, 33133999 edges, 86299 markings/sec, 100 secs
lola: 9855726 markings, 34691628 edges, 82002 markings/sec, 105 secs
lola: 10324646 markings, 36258136 edges, 93784 markings/sec, 110 secs
lola: 10774918 markings, 37808240 edges, 90054 markings/sec, 115 secs
lola: 11200210 markings, 39369382 edges, 85058 markings/sec, 120 secs
lola: 11621460 markings, 40916406 edges, 84250 markings/sec, 125 secs
lola: 12100324 markings, 42464250 edges, 95773 markings/sec, 130 secs
lola: 12534509 markings, 44025800 edges, 86837 markings/sec, 135 secs
lola: 12924419 markings, 45566702 edges, 77982 markings/sec, 140 secs
lola: 13422913 markings, 47123845 edges, 99699 markings/sec, 145 secs
lola: 13846777 markings, 48661213 edges, 84773 markings/sec, 150 secs
lola: 14274660 markings, 50229557 edges, 85577 markings/sec, 155 secs
lola: 14720632 markings, 51770307 edges, 89194 markings/sec, 160 secs
lola: 15167042 markings, 53302910 edges, 89282 markings/sec, 165 secs
lola: 15602697 markings, 54855157 edges, 87131 markings/sec, 170 secs
lola: 16016326 markings, 56403468 edges, 82726 markings/sec, 175 secs
lola: 16507236 markings, 57954638 edges, 98182 markings/sec, 180 secs
lola: 16915827 markings, 59492726 edges, 81718 markings/sec, 185 secs
lola: 17313574 markings, 61039119 edges, 79549 markings/sec, 190 secs
lola: 17812466 markings, 62579060 edges, 99778 markings/sec, 195 secs
lola: 18219706 markings, 64088762 edges, 81448 markings/sec, 200 secs
lola: 18633356 markings, 65617843 edges, 82730 markings/sec, 205 secs
lola: 19105792 markings, 67144320 edges, 94487 markings/sec, 210 secs
lola: 19529222 markings, 68672197 edges, 84686 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: 813580 KB
lola: time consumption: 224 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(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p184)
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: 478943 markings, 1593706 edges, 95789 markings/sec, 0 secs
lola: 935912 markings, 3145772 edges, 91394 markings/sec, 5 secs
lola: 1162605 markings, 4662429 edges, 45339 markings/sec, 10 secs
lola: 1567908 markings, 6216765 edges, 81061 markings/sec, 15 secs
lola: 2032861 markings, 7781602 edges, 92991 markings/sec, 20 secs
lola: 2325195 markings, 9304526 edges, 58467 markings/sec, 25 secs
lola: 2663217 markings, 10837677 edges, 67604 markings/sec, 30 secs
lola: 3118774 markings, 12393179 edges, 91111 markings/sec, 35 secs
lola: 3487555 markings, 13968792 edges, 73756 markings/sec, 40 secs
lola: 3778520 markings, 15512191 edges, 58193 markings/sec, 45 secs
lola: 4224165 markings, 17053377 edges, 89129 markings/sec, 50 secs
lola: 4648282 markings, 18631654 edges, 84823 markings/sec, 55 secs
lola: 4885301 markings, 20157657 edges, 47404 markings/sec, 60 secs
lola: 5333463 markings, 21702972 edges, 89632 markings/sec, 65 secs
lola: 5780462 markings, 23251653 edges, 89400 markings/sec, 70 secs
lola: 5974204 markings, 24752227 edges, 38748 markings/sec, 75 secs
lola: 6420359 markings, 26275311 edges, 89231 markings/sec, 80 secs
lola: 6866601 markings, 27815509 edges, 89248 markings/sec, 85 secs
lola: 7054185 markings, 29334310 edges, 37517 markings/sec, 90 secs
lola: 7509005 markings, 30873574 edges, 90964 markings/sec, 95 secs
lola: 7957364 markings, 32404651 edges, 89672 markings/sec, 100 secs
lola: 8138556 markings, 33906122 edges, 36238 markings/sec, 105 secs
lola: 8586653 markings, 35451468 edges, 89619 markings/sec, 110 secs
lola: 9047157 markings, 37009658 edges, 92101 markings/sec, 115 secs
lola: 9301170 markings, 38569339 edges, 50803 markings/sec, 120 secs
lola: 9697667 markings, 40146949 edges, 79299 markings/sec, 125 secs
lola: 10131074 markings, 41608057 edges, 86681 markings/sec, 130 secs
lola: 10463377 markings, 43058199 edges, 66461 markings/sec, 135 secs
lola: 10739854 markings, 44562277 edges, 55295 markings/sec, 140 secs
lola: 11185272 markings, 46101045 edges, 89084 markings/sec, 145 secs
lola: 11623364 markings, 47683212 edges, 87618 markings/sec, 150 secs
lola: 11854290 markings, 49236489 edges, 46185 markings/sec, 155 secs
lola: 12305754 markings, 50793730 edges, 90293 markings/sec, 160 secs
lola: 12757733 markings, 52361166 edges, 90396 markings/sec, 165 secs
lola: 12965771 markings, 53908927 edges, 41608 markings/sec, 170 secs
lola: 13418131 markings, 55458507 edges, 90472 markings/sec, 175 secs
lola: 13873518 markings, 57034972 edges, 91077 markings/sec, 180 secs
lola: 14080783 markings, 58602963 edges, 41453 markings/sec, 185 secs
lola: 14541699 markings, 60168849 edges, 92183 markings/sec, 190 secs
lola: 14995316 markings, 61733525 edges, 90723 markings/sec, 195 secs
lola: 15191802 markings, 63286136 edges, 39297 markings/sec, 200 secs
lola: 15652368 markings, 64844722 edges, 92113 markings/sec, 205 secs
lola: 16109284 markings, 66406479 edges, 91383 markings/sec, 210 secs
lola: 16297492 markings, 67962681 edges, 37642 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: 2015536 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(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p144)
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: 472504 markings, 1573231 edges, 94501 markings/sec, 0 secs
lola: 942021 markings, 3165970 edges, 93903 markings/sec, 5 secs
lola: 1162619 markings, 4717831 edges, 44120 markings/sec, 10 secs
lola: 1600519 markings, 6315089 edges, 87580 markings/sec, 15 secs
lola: 2071143 markings, 7905173 edges, 94125 markings/sec, 20 secs
lola: 2325245 markings, 9462885 edges, 50820 markings/sec, 25 secs
lola: 2725874 markings, 11053992 edges, 80126 markings/sec, 30 secs
lola: 3198065 markings, 12640253 edges, 94438 markings/sec, 35 secs
lola: 3487860 markings, 14196462 edges, 57959 markings/sec, 40 secs
lola: 3848086 markings, 15772913 edges, 72045 markings/sec, 45 secs
lola: 4318128 markings, 17355715 edges, 94008 markings/sec, 50 secs
lola: 4650458 markings, 18940031 edges, 66466 markings/sec, 55 secs
lola: 4982133 markings, 20514701 edges, 66335 markings/sec, 60 secs
lola: 5436123 markings, 22071610 edges, 90798 markings/sec, 65 secs
lola: 5812750 markings, 23642667 edges, 75325 markings/sec, 70 secs
lola: 6097700 markings, 25190330 edges, 56990 markings/sec, 75 secs
lola: 6517095 markings, 26632167 edges, 83879 markings/sec, 80 secs
lola: 6970294 markings, 28219246 edges, 90640 markings/sec, 85 secs
lola: 7188594 markings, 29780090 edges, 43660 markings/sec, 90 secs
lola: 7641571 markings, 31340297 edges, 90595 markings/sec, 95 secs
lola: 8096057 markings, 32916181 edges, 90897 markings/sec, 100 secs
lola: 8305724 markings, 34474669 edges, 41933 markings/sec, 105 secs
lola: 8760841 markings, 36031700 edges, 91023 markings/sec, 110 secs
lola: 9215918 markings, 37605695 edges, 91015 markings/sec, 115 secs
lola: 9384904 markings, 39053295 edges, 33797 markings/sec, 120 secs
lola: 9839132 markings, 40591338 edges, 90846 markings/sec, 125 secs
lola: 10292807 markings, 42141687 edges, 90735 markings/sec, 130 secs
lola: 10463862 markings, 43582749 edges, 34211 markings/sec, 135 secs
lola: 10913962 markings, 45158992 edges, 90020 markings/sec, 140 secs
lola: 11337053 markings, 46596392 edges, 84618 markings/sec, 145 secs
lola: 11626381 markings, 48040489 edges, 57866 markings/sec, 150 secs
lola: 11922958 markings, 49488378 edges, 59315 markings/sec, 155 secs
lola: 12341552 markings, 50927802 edges, 83719 markings/sec, 160 secs
lola: 12784482 markings, 52493591 edges, 88586 markings/sec, 165 secs
lola: 12967299 markings, 53913681 edges, 36563 markings/sec, 170 secs
lola: 13389323 markings, 55354914 edges, 84405 markings/sec, 175 secs
lola: 13810191 markings, 56799682 edges, 84174 markings/sec, 180 secs
lola: 13962746 markings, 58234976 edges, 30511 markings/sec, 185 secs
lola: 14397417 markings, 59696773 edges, 86934 markings/sec, 190 secs
lola: 14854954 markings, 61245269 edges, 91507 markings/sec, 195 secs
lola: 15114396 markings, 62677742 edges, 51888 markings/sec, 200 secs
lola: 15431960 markings, 64118275 edges, 63513 markings/sec, 205 secs
lola: 15849264 markings, 65555003 edges, 83461 markings/sec, 210 secs
lola: 16270959 markings, 67017594 edges, 84339 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: 2372924 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(p134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p134)
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: 442875 markings, 1479584 edges, 88575 markings/sec, 0 secs
lola: 915653 markings, 3078152 edges, 94556 markings/sec, 5 secs
lola: 1162595 markings, 4644122 edges, 49388 markings/sec, 10 secs
lola: 1548089 markings, 6164053 edges, 77099 markings/sec, 15 secs
lola: 2025571 markings, 7757826 edges, 95496 markings/sec, 20 secs
lola: 2325183 markings, 9278771 edges, 59922 markings/sec, 25 secs
lola: 2649835 markings, 10787279 edges, 64930 markings/sec, 30 secs
lola: 3111339 markings, 12371611 edges, 92301 markings/sec, 35 secs
lola: 3487511 markings, 13955183 edges, 75234 markings/sec, 40 secs
lola: 3762586 markings, 15452868 edges, 55015 markings/sec, 45 secs
lola: 4204387 markings, 16978249 edges, 88360 markings/sec, 50 secs
lola: 4644469 markings, 18511088 edges, 88016 markings/sec, 55 secs
lola: 4860350 markings, 20068069 edges, 43176 markings/sec, 60 secs
lola: 5297259 markings, 21567770 edges, 87382 markings/sec, 65 secs
lola: 5751721 markings, 23143211 edges, 90892 markings/sec, 70 secs
lola: 5929568 markings, 24606267 edges, 35569 markings/sec, 75 secs
lola: 6352022 markings, 26042340 edges, 84491 markings/sec, 80 secs
lola: 6788956 markings, 27533785 edges, 87387 markings/sec, 85 secs
lola: 6975902 markings, 29062415 edges, 37389 markings/sec, 90 secs
lola: 7416908 markings, 30577874 edges, 88201 markings/sec, 95 secs
lola: 7818698 markings, 31946712 edges, 80358 markings/sec, 100 secs
lola: 8138431 markings, 33502467 edges, 63947 markings/sec, 105 secs
lola: 8466278 markings, 35052672 edges, 65569 markings/sec, 110 secs
lola: 8913625 markings, 36596055 edges, 89469 markings/sec, 115 secs
lola: 9300168 markings, 38180485 edges, 77309 markings/sec, 120 secs
lola: 9585150 markings, 39740574 edges, 56996 markings/sec, 125 secs
lola: 9997137 markings, 41155396 edges, 82397 markings/sec, 130 secs
lola: 10449319 markings, 42723244 edges, 90436 markings/sec, 135 secs
lola: 10652766 markings, 44248907 edges, 40689 markings/sec, 140 secs
lola: 11103352 markings, 45795469 edges, 90117 markings/sec, 145 secs
lola: 11554392 markings, 47356521 edges, 90208 markings/sec, 150 secs
lola: 11751144 markings, 48887408 edges, 39350 markings/sec, 155 secs
lola: 12208380 markings, 50439685 edges, 91447 markings/sec, 160 secs
lola: 12642769 markings, 51931073 edges, 86878 markings/sec, 165 secs
lola: 12789182 markings, 53353909 edges, 29283 markings/sec, 170 secs
lola: 13234771 markings, 54846100 edges, 89118 markings/sec, 175 secs
lola: 13670999 markings, 56325055 edges, 87246 markings/sec, 180 secs
lola: 13951748 markings, 57865576 edges, 56150 markings/sec, 185 secs
lola: 14311616 markings, 59427715 edges, 71974 markings/sec, 190 secs
lola: 14773937 markings, 60986238 edges, 92464 markings/sec, 195 secs
lola: 15114227 markings, 62528535 edges, 68058 markings/sec, 200 secs
lola: 15416168 markings, 64059763 edges, 60388 markings/sec, 205 secs
lola: 15817608 markings, 65435175 edges, 80288 markings/sec, 210 secs
lola: 16269878 markings, 67005258 edges, 90454 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: 2424140 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(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-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: 371654 markings, 1408244 edges, 74331 markings/sec, 0 secs
lola: 638633 markings, 2986630 edges, 53396 markings/sec, 5 secs
lola: 1087918 markings, 4593603 edges, 89857 markings/sec, 10 secs
lola: 1482061 markings, 6187812 edges, 78829 markings/sec, 15 secs
lola: 1766485 markings, 7755593 edges, 56885 markings/sec, 20 secs
lola: 2212445 markings, 9366848 edges, 89192 markings/sec, 25 secs
lola: 2592398 markings, 10958534 edges, 75991 markings/sec, 30 secs
lola: 2896279 markings, 12532893 edges, 60776 markings/sec, 35 secs
lola: 3351740 markings, 14140960 edges, 91092 markings/sec, 40 secs
lola: 3702105 markings, 15719165 edges, 70073 markings/sec, 45 secs
lola: 4019110 markings, 17284930 edges, 63401 markings/sec, 50 secs
lola: 4479415 markings, 18895726 edges, 92061 markings/sec, 55 secs
lola: 4811737 markings, 20470963 edges, 66464 markings/sec, 60 secs
lola: 5138242 markings, 22021247 edges, 65301 markings/sec, 65 secs
lola: 5594592 markings, 23614477 edges, 91270 markings/sec, 70 secs
lola: 5921229 markings, 25173567 edges, 65327 markings/sec, 75 secs
lola: 6244804 markings, 26710405 edges, 64715 markings/sec, 80 secs
lola: 6701969 markings, 28307931 edges, 91433 markings/sec, 85 secs
lola: 7030714 markings, 29871127 edges, 65749 markings/sec, 90 secs
lola: 7354496 markings, 31411677 edges, 64756 markings/sec, 95 secs
lola: 7809334 markings, 33001380 edges, 90968 markings/sec, 100 secs
lola: 8140165 markings, 34555478 edges, 66166 markings/sec, 105 secs
lola: 8455580 markings, 36081122 edges, 63083 markings/sec, 110 secs
lola: 8910005 markings, 37674197 edges, 90885 markings/sec, 115 secs
lola: 9249615 markings, 39240500 edges, 67922 markings/sec, 120 secs
lola: 9563235 markings, 40773373 edges, 62724 markings/sec, 125 secs
lola: 10013352 markings, 42355609 edges, 90023 markings/sec, 130 secs
lola: 10359022 markings, 43909683 edges, 69134 markings/sec, 135 secs
lola: 10662300 markings, 45433544 edges, 60656 markings/sec, 140 secs
lola: 11102241 markings, 47014353 edges, 87988 markings/sec, 145 secs
lola: 11468368 markings, 48570732 edges, 73225 markings/sec, 150 secs
lola: 11760967 markings, 50091988 edges, 58520 markings/sec, 155 secs
lola: 12196390 markings, 51662091 edges, 87085 markings/sec, 160 secs
lola: 12577263 markings, 53216250 edges, 76175 markings/sec, 165 secs
lola: 12853396 markings, 54729298 edges, 55227 markings/sec, 170 secs
lola: 13292128 markings, 56296282 edges, 87746 markings/sec, 175 secs
lola: 13686169 markings, 57863039 edges, 78808 markings/sec, 180 secs
lola: 13952850 markings, 59391950 edges, 53336 markings/sec, 185 secs
lola: 14390102 markings, 60951871 edges, 87450 markings/sec, 190 secs
lola: 14795011 markings, 62511962 edges, 80982 markings/sec, 195 secs
lola: 15046264 markings, 64032686 edges, 50251 markings/sec, 200 secs
lola: 15483542 markings, 65590113 edges, 87456 markings/sec, 205 secs
lola: 15902990 markings, 67153731 edges, 83890 markings/sec, 210 secs
lola: 16139840 markings, 68674330 edges, 47370 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: 2352268 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(p80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p80)
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-5 53 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p246)
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: 356540 markings, 1503608 edges, 71308 markings/sec, 0 secs
lola: 817187 markings, 3119290 edges, 92129 markings/sec, 5 secs
lola: 1143626 markings, 4732756 edges, 65288 markings/sec, 10 secs
lola: 1634018 markings, 6333882 edges, 98078 markings/sec, 15 secs
lola: 1964320 markings, 7942836 edges, 66060 markings/sec, 20 secs
lola: 2407798 markings, 9554498 edges, 88696 markings/sec, 25 secs
lola: 2765451 markings, 11156329 edges, 71531 markings/sec, 30 secs
lola: 3117038 markings, 12766707 edges, 70317 markings/sec, 35 secs
lola: 3605121 markings, 14359991 edges, 97617 markings/sec, 40 secs
lola: 3930103 markings, 15962276 edges, 64996 markings/sec, 45 secs
lola: 4420500 markings, 17586425 edges, 98079 markings/sec, 50 secs
lola: 4749253 markings, 19182295 edges, 65751 markings/sec, 55 secs
lola: 5170904 markings, 20791884 edges, 84330 markings/sec, 60 secs
lola: 5563915 markings, 22391369 edges, 78602 markings/sec, 65 secs
lola: 5875016 markings, 23964770 edges, 62220 markings/sec, 70 secs
lola: 6383894 markings, 25573025 edges, 101776 markings/sec, 75 secs
lola: 6707037 markings, 27166089 edges, 64629 markings/sec, 80 secs
lola: 7184675 markings, 28759571 edges, 95528 markings/sec, 85 secs
lola: 7514979 markings, 30354967 edges, 66061 markings/sec, 90 secs
lola: 7928212 markings, 31926744 edges, 82647 markings/sec, 95 secs
lola: 8317871 markings, 33524592 edges, 77932 markings/sec, 100 secs
lola: 8632449 markings, 35125623 edges, 62916 markings/sec, 105 secs
lola: 9138925 markings, 36707487 edges, 101295 markings/sec, 110 secs
lola: 9464442 markings, 38308237 edges, 65103 markings/sec, 115 secs
lola: 9938785 markings, 39885921 edges, 94869 markings/sec, 120 secs
lola: 10264557 markings, 41468561 edges, 65154 markings/sec, 125 secs
lola: 10685517 markings, 43063534 edges, 84192 markings/sec, 130 secs
lola: 11061248 markings, 44632991 edges, 75146 markings/sec, 135 secs
lola: 11389335 markings, 46222157 edges, 65617 markings/sec, 140 secs
lola: 11879674 markings, 47794216 edges, 98068 markings/sec, 145 secs
lola: 12192755 markings, 49359632 edges, 62616 markings/sec, 150 secs
lola: 12677627 markings, 50952243 edges, 96974 markings/sec, 155 secs
lola: 12996708 markings, 52521348 edges, 63816 markings/sec, 160 secs
lola: 13436544 markings, 54107604 edges, 87967 markings/sec, 165 secs
lola: 13781083 markings, 55685578 edges, 68908 markings/sec, 170 secs
lola: 14143584 markings, 57235497 edges, 72500 markings/sec, 175 secs
lola: 14600518 markings, 58818598 edges, 91387 markings/sec, 180 secs
lola: 14913822 markings, 60394531 edges, 62661 markings/sec, 185 secs
lola: 15395936 markings, 61955760 edges, 96423 markings/sec, 190 secs
lola: 15715779 markings, 63534287 edges, 63969 markings/sec, 195 secs
lola: 16173128 markings, 65085623 edges, 91470 markings/sec, 200 secs
lola: 16497705 markings, 66646103 edges, 64915 markings/sec, 205 secs
lola: 16893924 markings, 68228760 edges, 79244 markings/sec, 210 secs
lola: 17295389 markings, 69778207 edges, 80293 markings/sec, 215 secs
lola: 17596886 markings, 71359359 edges, 60299 markings/sec, 220 secs
lola: 18099235 markings, 72915111 edges, 100470 markings/sec, 225 secs
lola: 18407778 markings, 74462674 edges, 61709 markings/sec, 230 secs
lola: 18885494 markings, 76035070 edges, 95543 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1336292 KB
lola: time consumption: 1362 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p42)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-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: 373439 markings, 1558426 edges, 74688 markings/sec, 0 secs
lola: 685635 markings, 3164952 edges, 62439 markings/sec, 5 secs
lola: 1144985 markings, 4776498 edges, 91870 markings/sec, 10 secs
lola: 1483271 markings, 6370837 edges, 67657 markings/sec, 15 secs
lola: 1820659 markings, 7962191 edges, 67478 markings/sec, 20 secs
lola: 2285519 markings, 9576275 edges, 92972 markings/sec, 25 secs
lola: 2592866 markings, 11166462 edges, 61469 markings/sec, 30 secs
lola: 2951715 markings, 12761090 edges, 71770 markings/sec, 35 secs
lola: 3422433 markings, 14367926 edges, 94144 markings/sec, 40 secs
lola: 3702381 markings, 15949097 edges, 55990 markings/sec, 45 secs
lola: 4079354 markings, 17535713 edges, 75395 markings/sec, 50 secs
lola: 4562927 markings, 19173138 edges, 96715 markings/sec, 55 secs
lola: 4811875 markings, 20769969 edges, 49790 markings/sec, 60 secs
lola: 5235572 markings, 22357269 edges, 84739 markings/sec, 65 secs
lola: 5698176 markings, 23962563 edges, 92521 markings/sec, 70 secs
lola: 5922650 markings, 25548224 edges, 44895 markings/sec, 75 secs
lola: 6366135 markings, 27127093 edges, 88697 markings/sec, 80 secs
lola: 6827695 markings, 28733582 edges, 92312 markings/sec, 85 secs
lola: 7033133 markings, 30319989 edges, 41088 markings/sec, 90 secs
lola: 7497263 markings, 31899026 edges, 92826 markings/sec, 95 secs
lola: 7955078 markings, 33498083 edges, 91563 markings/sec, 100 secs
lola: 8172108 markings, 35080407 edges, 43406 markings/sec, 105 secs
lola: 8622124 markings, 36651000 edges, 90003 markings/sec, 110 secs
lola: 9080774 markings, 38256577 edges, 91730 markings/sec, 115 secs
lola: 9302251 markings, 39846469 edges, 44295 markings/sec, 120 secs
lola: 9752610 markings, 41423628 edges, 90072 markings/sec, 125 secs
lola: 10207496 markings, 43018979 edges, 90977 markings/sec, 130 secs
lola: 10427558 markings, 44598455 edges, 44012 markings/sec, 135 secs
lola: 10875853 markings, 46172058 edges, 89659 markings/sec, 140 secs
lola: 11329596 markings, 47766164 edges, 90749 markings/sec, 145 secs
lola: 11550525 markings, 49343461 edges, 44186 markings/sec, 150 secs
lola: 11997174 markings, 50913158 edges, 89330 markings/sec, 155 secs
lola: 12447163 markings, 52495928 edges, 89998 markings/sec, 160 secs
lola: 12665661 markings, 54062975 edges, 43700 markings/sec, 165 secs
lola: 13111087 markings, 55628672 edges, 89085 markings/sec, 170 secs
lola: 13563200 markings, 57220547 edges, 90423 markings/sec, 175 secs
lola: 13784676 markings, 58794742 edges, 44295 markings/sec, 180 secs
lola: 14228369 markings, 60356548 edges, 88739 markings/sec, 185 secs
lola: 14677818 markings, 61939718 edges, 89890 markings/sec, 190 secs
lola: 14897802 markings, 63507186 edges, 43997 markings/sec, 195 secs
lola: 15340093 markings, 65064886 edges, 88458 markings/sec, 200 secs
lola: 15789380 markings, 66648018 edges, 89857 markings/sec, 205 secs
lola: 16008844 markings, 68212598 edges, 43893 markings/sec, 210 secs
lola: 16450286 markings, 69767552 edges, 88288 markings/sec, 215 secs
lola: 16897373 markings, 71342440 edges, 89417 markings/sec, 220 secs
lola: 17114684 markings, 72900815 edges, 43462 markings/sec, 225 secs
lola: 17554677 markings, 74450032 edges, 87999 markings/sec, 230 secs
lola: 18003693 markings, 76031211 edges, 89803 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1144276 KB
lola: time consumption: 1608 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p200)
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: SUBRESULT
lola: result: 53
lola: produced by: state space
lola: The maximum value of the given expression is 53
lola: 39251 markings, 95956 edges

FORMULA JoinFreeModules-PT-0050-UpperBounds-8 53 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
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: 446701 markings, 1492099 edges, 89340 markings/sec, 0 secs
lola: 924871 markings, 3109043 edges, 95634 markings/sec, 5 secs
lola: 1162619 markings, 4723856 edges, 47550 markings/sec, 10 secs
lola: 1606631 markings, 6333933 edges, 88802 markings/sec, 15 secs
lola: 2083057 markings, 7944962 edges, 95285 markings/sec, 20 secs
lola: 2325272 markings, 9565209 edges, 48443 markings/sec, 25 secs
lola: 2766428 markings, 11175565 edges, 88231 markings/sec, 30 secs
lola: 3243018 markings, 12786445 edges, 95318 markings/sec, 35 secs
lola: 3487917 markings, 14398436 edges, 48980 markings/sec, 40 secs
lola: 3921264 markings, 16002186 edges, 86669 markings/sec, 45 secs
lola: 4400857 markings, 17621201 edges, 95919 markings/sec, 50 secs
lola: 4650581 markings, 19276352 edges, 49945 markings/sec, 55 secs
lola: 5099823 markings, 20902830 edges, 89848 markings/sec, 60 secs
lola: 5573405 markings, 22504859 edges, 94716 markings/sec, 65 secs
lola: 5813235 markings, 24124933 edges, 47966 markings/sec, 70 secs
lola: 6257664 markings, 25738039 edges, 88886 markings/sec, 75 secs
lola: 6728796 markings, 27331235 edges, 94226 markings/sec, 80 secs
lola: 6975879 markings, 28950395 edges, 49417 markings/sec, 85 secs
lola: 7412261 markings, 30563873 edges, 87276 markings/sec, 90 secs
lola: 7883454 markings, 32155680 edges, 94239 markings/sec, 95 secs
lola: 8138529 markings, 33765447 edges, 51015 markings/sec, 100 secs
lola: 8560867 markings, 35371063 edges, 84468 markings/sec, 105 secs
lola: 9031228 markings, 36957566 edges, 94072 markings/sec, 110 secs
lola: 9301170 markings, 38576766 edges, 53988 markings/sec, 115 secs
lola: 9713297 markings, 40191578 edges, 82425 markings/sec, 120 secs
lola: 10185397 markings, 41780570 edges, 94420 markings/sec, 125 secs
lola: 10463816 markings, 43390269 edges, 55684 markings/sec, 130 secs
lola: 10859197 markings, 44994686 edges, 79076 markings/sec, 135 secs
lola: 11331206 markings, 46577490 edges, 94402 markings/sec, 140 secs
lola: 11626451 markings, 48188946 edges, 59049 markings/sec, 145 secs
lola: 12003469 markings, 49792410 edges, 75404 markings/sec, 150 secs
lola: 12477527 markings, 51375769 edges, 94812 markings/sec, 155 secs
lola: 12789089 markings, 52978147 edges, 62312 markings/sec, 160 secs
lola: 13146985 markings, 54569246 edges, 71579 markings/sec, 165 secs
lola: 13613119 markings, 56141304 edges, 93227 markings/sec, 170 secs
lola: 13951694 markings, 57747192 edges, 67715 markings/sec, 175 secs
lola: 14290353 markings, 59346792 edges, 67732 markings/sec, 180 secs
lola: 14753680 markings, 60924624 edges, 92665 markings/sec, 185 secs
lola: 15114224 markings, 62522563 edges, 72109 markings/sec, 190 secs
lola: 15430327 markings, 64111777 edges, 63221 markings/sec, 195 secs
lola: 15882386 markings, 65680761 edges, 90412 markings/sec, 200 secs
lola: 16276090 markings, 67281559 edges, 78741 markings/sec, 205 secs
lola: 16568548 markings, 68872832 edges, 58492 markings/sec, 210 secs
lola: 17022116 markings, 70443966 edges, 90714 markings/sec, 215 secs
lola: 17437745 markings, 72037000 edges, 83126 markings/sec, 220 secs
lola: 17703482 markings, 73620841 edges, 53147 markings/sec, 225 secs
lola: 18155976 markings, 75185693 edges, 90499 markings/sec, 230 secs
lola: 18599222 markings, 76781043 edges, 88649 markings/sec, 235 secs
lola: 18838838 markings, 78371764 edges, 47923 markings/sec, 240 secs
lola: 19293137 markings, 79941522 edges, 90860 markings/sec, 245 secs
lola: 19749694 markings, 81525393 edges, 91311 markings/sec, 250 secs
lola: 19969906 markings, 83109046 edges, 44042 markings/sec, 255 secs
lola: 20424079 markings, 84673124 edges, 90835 markings/sec, 260 secs
lola: 20879332 markings, 86251472 edges, 91051 markings/sec, 265 secs
lola: 21096179 markings, 87836666 edges, 43369 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1703804 KB
lola: time consumption: 1888 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p210)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p210)
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: 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-10 53 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p32)
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: 373160 markings, 1543397 edges, 74632 markings/sec, 0 secs
lola: 687706 markings, 3172343 edges, 62909 markings/sec, 5 secs
lola: 1154772 markings, 4807179 edges, 93413 markings/sec, 10 secs
lola: 1483335 markings, 6420742 edges, 65713 markings/sec, 15 secs
lola: 1837905 markings, 8038554 edges, 70914 markings/sec, 20 secs
lola: 2316071 markings, 9678379 edges, 95633 markings/sec, 25 secs
lola: 2592897 markings, 11287130 edges, 55365 markings/sec, 30 secs
lola: 3002747 markings, 12912543 edges, 81970 markings/sec, 35 secs
lola: 3472594 markings, 14538886 edges, 93969 markings/sec, 40 secs
lola: 3703671 markings, 16138259 edges, 46215 markings/sec, 45 secs
lola: 4157797 markings, 17761796 edges, 90825 markings/sec, 50 secs
lola: 4631431 markings, 19414889 edges, 94727 markings/sec, 55 secs
lola: 4858065 markings, 21025164 edges, 45327 markings/sec, 60 secs
lola: 5317878 markings, 22633713 edges, 91963 markings/sec, 65 secs
lola: 5780108 markings, 24257265 edges, 92446 markings/sec, 70 secs
lola: 6008285 markings, 25859648 edges, 45635 markings/sec, 75 secs
lola: 6464779 markings, 27464444 edges, 91299 markings/sec, 80 secs
lola: 6924251 markings, 29086056 edges, 91894 markings/sec, 85 secs
lola: 7156426 markings, 30690508 edges, 46435 markings/sec, 90 secs
lola: 7610112 markings, 32293878 edges, 90737 markings/sec, 95 secs
lola: 8066369 markings, 33906038 edges, 91251 markings/sec, 100 secs
lola: 8297576 markings, 35500051 edges, 46241 markings/sec, 105 secs
lola: 8748701 markings, 37101057 edges, 90225 markings/sec, 110 secs
lola: 9206146 markings, 38722617 edges, 91489 markings/sec, 115 secs
lola: 9442140 markings, 40325245 edges, 47199 markings/sec, 120 secs
lola: 9893486 markings, 41929397 edges, 90269 markings/sec, 125 secs
lola: 10342792 markings, 43543383 edges, 89861 markings/sec, 130 secs
lola: 10580889 markings, 45130905 edges, 47619 markings/sec, 135 secs
lola: 11031383 markings, 46735476 edges, 90099 markings/sec, 140 secs
lola: 11465019 markings, 48349759 edges, 86727 markings/sec, 145 secs
lola: 11717515 markings, 49930578 edges, 50499 markings/sec, 150 secs
lola: 12165152 markings, 51528404 edges, 89527 markings/sec, 155 secs
lola: 12576214 markings, 53132017 edges, 82212 markings/sec, 160 secs
lola: 12846191 markings, 54703306 edges, 53995 markings/sec, 165 secs
lola: 13295946 markings, 56312238 edges, 89951 markings/sec, 170 secs
lola: 13686820 markings, 57926649 edges, 78175 markings/sec, 175 secs
lola: 13982895 markings, 59504062 edges, 59215 markings/sec, 180 secs
lola: 14427423 markings, 61109990 edges, 88906 markings/sec, 185 secs
lola: 14796953 markings, 62707005 edges, 73906 markings/sec, 190 secs
lola: 15110563 markings, 64274561 edges, 62722 markings/sec, 195 secs
lola: 15569999 markings, 65885397 edges, 91887 markings/sec, 200 secs
lola: 15906630 markings, 67477645 edges, 67326 markings/sec, 205 secs
lola: 16238165 markings, 69043392 edges, 66307 markings/sec, 210 secs
lola: 16699076 markings, 70648256 edges, 92182 markings/sec, 215 secs
lola: 17016191 markings, 72230803 edges, 63423 markings/sec, 220 secs
lola: 17358869 markings, 73786558 edges, 68536 markings/sec, 225 secs
lola: 17823607 markings, 75397439 edges, 92948 markings/sec, 230 secs
lola: 18125721 markings, 76987751 edges, 60423 markings/sec, 235 secs
lola: 18481577 markings, 78549934 edges, 71171 markings/sec, 240 secs
lola: 18949291 markings, 80152143 edges, 93543 markings/sec, 245 secs
lola: 19235222 markings, 81728297 edges, 57186 markings/sec, 250 secs
lola: 19597717 markings, 83284513 edges, 72499 markings/sec, 255 secs
lola: 20069418 markings, 84888224 edges, 94340 markings/sec, 260 secs
lola: 20344720 markings, 86460214 edges, 55060 markings/sec, 265 secs
lola: 20712764 markings, 88013475 edges, 73609 markings/sec, 270 secs
lola: 21183208 markings, 89603253 edges, 94089 markings/sec, 275 secs
lola: 21454209 markings, 91166627 edges, 54200 markings/sec, 280 secs
lola: 21822116 markings, 92713050 edges, 73581 markings/sec, 285 secs
lola: 22299911 markings, 94327942 edges, 95559 markings/sec, 290 secs
lola: 22563699 markings, 95914824 edges, 52758 markings/sec, 295 secs
lola: 22965754 markings, 97493729 edges, 80411 markings/sec, 300 secs
lola: 23427416 markings, 99089488 edges, 92332 markings/sec, 305 secs
lola: 23673188 markings, 100641583 edges, 49154 markings/sec, 310 secs
lola: 24078860 markings, 102204995 edges, 81134 markings/sec, 315 secs
lola: 24535796 markings, 103785890 edges, 91387 markings/sec, 320 secs
lola: 24782677 markings, 105334016 edges, 49376 markings/sec, 325 secs
lola: 25184644 markings, 106894084 edges, 80393 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown 53 unknown unknown unknown unknown unknown
lola: memory consumption: 1694572 KB
lola: time consumption: 2225 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
lola: processed formula length: 7
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: 470049 markings, 1475749 edges, 94010 markings/sec, 0 secs
lola: 1443555 markings, 2859225 edges, 194701 markings/sec, 5 secs
lola: 2443308 markings, 4193172 edges, 199951 markings/sec, 10 secs
lola: 3437404 markings, 5521686 edges, 198819 markings/sec, 15 secs
lola: 4434907 markings, 6849187 edges, 199501 markings/sec, 20 secs
lola: 5411727 markings, 8149031 edges, 195364 markings/sec, 25 secs
lola: 6341392 markings, 9385708 edges, 185933 markings/sec, 30 secs
lola: 7265900 markings, 10619741 edges, 184902 markings/sec, 35 secs
lola: 8200557 markings, 11862959 edges, 186931 markings/sec, 40 secs
lola: 9095972 markings, 13058964 edges, 179083 markings/sec, 45 secs
lola: 10004698 markings, 14271510 edges, 181745 markings/sec, 50 secs
lola: 10983885 markings, 15572628 edges, 195837 markings/sec, 55 secs
lola: 11929165 markings, 16832781 edges, 189056 markings/sec, 60 secs
lola: 12815996 markings, 18015048 edges, 177366 markings/sec, 65 secs
lola: 13704365 markings, 19200288 edges, 177674 markings/sec, 70 secs
lola: 14620684 markings, 20418924 edges, 183264 markings/sec, 75 secs
lola: 15548900 markings, 21652500 edges, 185643 markings/sec, 80 secs
lola: 16442747 markings, 22842145 edges, 178769 markings/sec, 85 secs
lola: 17334009 markings, 24027911 edges, 178252 markings/sec, 90 secs
lola: 18227437 markings, 25218304 edges, 178686 markings/sec, 95 secs
lola: 19136076 markings, 26427881 edges, 181728 markings/sec, 100 secs
lola: 20043354 markings, 27632548 edges, 181456 markings/sec, 105 secs
lola: 20930406 markings, 28812673 edges, 177410 markings/sec, 110 secs
lola: 21798010 markings, 29971537 edges, 173521 markings/sec, 115 secs
lola: 22655762 markings, 31114586 edges, 171550 markings/sec, 120 secs
lola: 23557256 markings, 32312506 edges, 180299 markings/sec, 125 secs
lola: 24451927 markings, 33505499 edges, 178934 markings/sec, 130 secs
lola: 25315260 markings, 34656605 edges, 172667 markings/sec, 135 secs
lola: 26205673 markings, 35839694 edges, 178083 markings/sec, 140 secs
lola: 27093887 markings, 37024654 edges, 177643 markings/sec, 145 secs
lola: 27992202 markings, 38220588 edges, 179663 markings/sec, 150 secs
lola: 28863740 markings, 39381814 edges, 174308 markings/sec, 155 secs
lola: 29757304 markings, 40575531 edges, 178713 markings/sec, 160 secs
lola: 30663726 markings, 41786360 edges, 181284 markings/sec, 165 secs
lola: 31537081 markings, 42952758 edges, 174671 markings/sec, 170 secs
lola: 32420544 markings, 44132206 edges, 176693 markings/sec, 175 secs
lola: 33305075 markings, 45315601 edges, 176906 markings/sec, 180 secs
lola: 34164788 markings, 46465566 edges, 171943 markings/sec, 185 secs
lola: 35059797 markings, 47660854 edges, 179002 markings/sec, 190 secs
lola: 35928457 markings, 48819561 edges, 173732 markings/sec, 195 secs
lola: 36800853 markings, 49987153 edges, 174479 markings/sec, 200 secs
lola: 37681081 markings, 51165390 edges, 176046 markings/sec, 205 secs
lola: 38576466 markings, 52369496 edges, 179077 markings/sec, 210 secs
lola: 39460766 markings, 53554176 edges, 176860 markings/sec, 215 secs
lola: 40362525 markings, 54763486 edges, 180352 markings/sec, 220 secs
lola: 41245930 markings, 55952650 edges, 176681 markings/sec, 225 secs
lola: 42149274 markings, 57155858 edges, 180669 markings/sec, 230 secs
lola: 43011371 markings, 58304205 edges, 172419 markings/sec, 235 secs
lola: 43884271 markings, 59472265 edges, 174580 markings/sec, 240 secs
lola: 44750913 markings, 60630008 edges, 173328 markings/sec, 245 secs
lola: 45618068 markings, 61800494 edges, 173431 markings/sec, 250 secs
lola: 46512875 markings, 63001857 edges, 178961 markings/sec, 255 secs
lola: 47423901 markings, 64221387 edges, 182205 markings/sec, 260 secs
lola: 48305035 markings, 65403448 edges, 176227 markings/sec, 265 secs
lola: 49184431 markings, 66585612 edges, 175879 markings/sec, 270 secs
lola: 50042246 markings, 67739130 edges, 171563 markings/sec, 275 secs
lola: 50926780 markings, 68918585 edges, 176907 markings/sec, 280 secs
lola: 51814343 markings, 70113240 edges, 177513 markings/sec, 285 secs
lola: 52685770 markings, 71282360 edges, 174285 markings/sec, 290 secs
lola: 53494892 markings, 72366492 edges, 161824 markings/sec, 295 secs
lola: 54311914 markings, 73459566 edges, 163404 markings/sec, 300 secs
lola: 55155258 markings, 74593133 edges, 168669 markings/sec, 305 secs
lola: 55991939 markings, 75723771 edges, 167336 markings/sec, 310 secs
lola: 56845474 markings, 76873972 edges, 170707 markings/sec, 315 secs
lola: 57682762 markings, 77992945 edges, 167458 markings/sec, 320 secs
lola: 58532534 markings, 79129090 edges, 169954 markings/sec, 325 secs
lola: 59372223 markings, 80263293 edges, 167938 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown 53 unknown unknown unknown unknown unknown
lola: memory consumption: 6797532 KB
lola: time consumption: 2561 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p227)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p227)
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: 373652 markings, 1622735 edges, 74730 markings/sec, 0 secs
lola: 696400 markings, 3205078 edges, 64550 markings/sec, 5 secs
lola: 1157193 markings, 4815082 edges, 92159 markings/sec, 10 secs
lola: 1483321 markings, 6402509 edges, 65226 markings/sec, 15 secs
lola: 1822729 markings, 7969847 edges, 67882 markings/sec, 20 secs
lola: 2287741 markings, 9583281 edges, 93002 markings/sec, 25 secs
lola: 2592865 markings, 11165511 edges, 61025 markings/sec, 30 secs
lola: 2946795 markings, 12735945 edges, 70786 markings/sec, 35 secs
lola: 3415023 markings, 14343375 edges, 93646 markings/sec, 40 secs
lola: 3702376 markings, 15918861 edges, 57471 markings/sec, 45 secs
lola: 4065274 markings, 17482397 edges, 72580 markings/sec, 50 secs
lola: 4538274 markings, 19089713 edges, 94600 markings/sec, 55 secs
lola: 4811874 markings, 20655122 edges, 54720 markings/sec, 60 secs
lola: 5181860 markings, 22219405 edges, 73997 markings/sec, 65 secs
lola: 5650480 markings, 23799510 edges, 93724 markings/sec, 70 secs
lola: 5921363 markings, 25354744 edges, 54177 markings/sec, 75 secs
lola: 6288984 markings, 26907696 edges, 73524 markings/sec, 80 secs
lola: 6757433 markings, 28490987 edges, 93690 markings/sec, 85 secs
lola: 7030848 markings, 30046992 edges, 54683 markings/sec, 90 secs
lola: 7397147 markings, 31600993 edges, 73260 markings/sec, 95 secs
lola: 7862785 markings, 33177154 edges, 93128 markings/sec, 100 secs
lola: 8140332 markings, 34724022 edges, 55509 markings/sec, 105 secs
lola: 8500023 markings, 36267049 edges, 71938 markings/sec, 110 secs
lola: 8964561 markings, 37851624 edges, 92908 markings/sec, 115 secs
lola: 9249819 markings, 39411313 edges, 57052 markings/sec, 120 secs
lola: 9608821 markings, 40963593 edges, 71800 markings/sec, 125 secs
lola: 10069849 markings, 42537937 edges, 92206 markings/sec, 130 secs
lola: 10359298 markings, 44086541 edges, 57890 markings/sec, 135 secs
lola: 10711177 markings, 45628073 edges, 70376 markings/sec, 140 secs
lola: 11168778 markings, 47202508 edges, 91520 markings/sec, 145 secs
lola: 11468776 markings, 48750167 edges, 60000 markings/sec, 150 secs
lola: 11812162 markings, 50288006 edges, 68677 markings/sec, 155 secs
lola: 12263719 markings, 51855383 edges, 90311 markings/sec, 160 secs
lola: 12578191 markings, 53397316 edges, 62894 markings/sec, 165 secs
lola: 12904987 markings, 54924638 edges, 65359 markings/sec, 170 secs
lola: 13360691 markings, 56515506 edges, 91141 markings/sec, 175 secs
lola: 13686797 markings, 57923038 edges, 65221 markings/sec, 180 secs
lola: 13968830 markings, 59451355 edges, 56407 markings/sec, 185 secs
lola: 14407546 markings, 61022565 edges, 87743 markings/sec, 190 secs
lola: 14795984 markings, 62593088 edges, 77688 markings/sec, 195 secs
lola: 15068279 markings, 64115116 edges, 54459 markings/sec, 200 secs
lola: 15507151 markings, 65681744 edges, 87774 markings/sec, 205 secs
lola: 15904924 markings, 67254472 edges, 79555 markings/sec, 210 secs
lola: 16168452 markings, 68779020 edges, 52706 markings/sec, 215 secs
lola: 16605033 markings, 70337292 edges, 87316 markings/sec, 220 secs
lola: 17013807 markings, 71903955 edges, 81755 markings/sec, 225 secs
lola: 17261874 markings, 73420171 edges, 49613 markings/sec, 230 secs
lola: 17698872 markings, 74977140 edges, 87400 markings/sec, 235 secs
lola: 18121968 markings, 76555297 edges, 84619 markings/sec, 240 secs
lola: 18359933 markings, 78078824 edges, 47593 markings/sec, 245 secs
lola: 18795348 markings, 79627811 edges, 87083 markings/sec, 250 secs
lola: 19227970 markings, 81193921 edges, 86524 markings/sec, 255 secs
lola: 19451414 markings, 82713462 edges, 44689 markings/sec, 260 secs
lola: 19886570 markings, 84259918 edges, 87031 markings/sec, 265 secs
lola: 20323449 markings, 85821441 edges, 87376 markings/sec, 270 secs
lola: 20541101 markings, 87343244 edges, 43530 markings/sec, 275 secs
lola: 20974059 markings, 88880599 edges, 86592 markings/sec, 280 secs
lola: 21412671 markings, 90433674 edges, 87722 markings/sec, 285 secs
lola: 21625539 markings, 91953878 edges, 42574 markings/sec, 290 secs
lola: 22059463 markings, 93492582 edges, 86785 markings/sec, 295 secs
lola: 22504206 markings, 95063977 edges, 88949 markings/sec, 300 secs
lola: 22721459 markings, 96605913 edges, 43451 markings/sec, 305 secs
lola: 23158746 markings, 98155039 edges, 87457 markings/sec, 310 secs
lola: 23594197 markings, 99692172 edges, 87090 markings/sec, 315 secs
lola: 23801689 markings, 101205066 edges, 41498 markings/sec, 320 secs
lola: 24233906 markings, 102730962 edges, 86443 markings/sec, 325 secs
lola: 24666888 markings, 104256170 edges, 86596 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown 53 unknown unknown unknown unknown unknown
lola: memory consumption: 2337796 KB
lola: time consumption: 2898 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p65)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-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-14 53 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 672 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p106)
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: 356254 markings, 1489406 edges, 71251 markings/sec, 0 secs
lola: 798874 markings, 3063130 edges, 88524 markings/sec, 5 secs
lola: 1114500 markings, 4650010 edges, 63125 markings/sec, 10 secs
lola: 1601373 markings, 6218349 edges, 97375 markings/sec, 15 secs
lola: 1917243 markings, 7784509 edges, 63174 markings/sec, 20 secs
lola: 2386439 markings, 9374362 edges, 93839 markings/sec, 25 secs
lola: 2710631 markings, 10934261 edges, 64838 markings/sec, 30 secs
lola: 3107310 markings, 12521283 edges, 79336 markings/sec, 35 secs
lola: 3516027 markings, 14088407 edges, 81743 markings/sec, 40 secs
lola: 3807540 markings, 15634850 edges, 58303 markings/sec, 45 secs
lola: 4311511 markings, 17201963 edges, 100794 markings/sec, 50 secs
lola: 4620262 markings, 18750448 edges, 61750 markings/sec, 55 secs
lola: 5091439 markings, 20299200 edges, 94235 markings/sec, 60 secs
lola: 5405025 markings, 21849636 edges, 62717 markings/sec, 65 secs
lola: 5846754 markings, 23378801 edges, 88346 markings/sec, 70 secs
lola: 6168165 markings, 24912454 edges, 64282 markings/sec, 75 secs
lola: 6554698 markings, 26464327 edges, 77307 markings/sec, 80 secs
lola: 6952832 markings, 27989082 edges, 79627 markings/sec, 85 secs
lola: 7253696 markings, 29539508 edges, 60173 markings/sec, 90 secs
lola: 7739270 markings, 31066614 edges, 97115 markings/sec, 95 secs
lola: 8033418 markings, 32577416 edges, 58830 markings/sec, 100 secs
lola: 8512195 markings, 34134936 edges, 95755 markings/sec, 105 secs
lola: 8818910 markings, 35667182 edges, 61343 markings/sec, 110 secs
lola: 9277154 markings, 37215968 edges, 91649 markings/sec, 115 secs
lola: 9595318 markings, 38754174 edges, 63633 markings/sec, 120 secs
lola: 9995693 markings, 40267707 edges, 80075 markings/sec, 125 secs
lola: 10351498 markings, 41803287 edges, 71161 markings/sec, 130 secs
lola: 10698022 markings, 43337535 edges, 69305 markings/sec, 135 secs
lola: 11142933 markings, 44857732 edges, 88982 markings/sec, 140 secs
lola: 11443584 markings, 46403838 edges, 60130 markings/sec, 145 secs
lola: 11917251 markings, 47919551 edges, 94733 markings/sec, 150 secs
lola: 12214133 markings, 49425540 edges, 59376 markings/sec, 155 secs
lola: 12683313 markings, 50971909 edges, 93836 markings/sec, 160 secs
lola: 12989579 markings, 52495990 edges, 61253 markings/sec, 165 secs
lola: 13431247 markings, 54037707 edges, 88334 markings/sec, 170 secs
lola: 13752170 markings, 55561076 edges, 64185 markings/sec, 175 secs
lola: 14136339 markings, 57077626 edges, 76834 markings/sec, 180 secs
lola: 14529947 markings, 58615132 edges, 78722 markings/sec, 185 secs
lola: 14835973 markings, 60136675 edges, 61205 markings/sec, 190 secs
lola: 15308084 markings, 61661838 edges, 94422 markings/sec, 195 secs
lola: 15608322 markings, 63194787 edges, 60048 markings/sec, 200 secs
lola: 16075965 markings, 64707933 edges, 93529 markings/sec, 205 secs
lola: 16374664 markings, 66218302 edges, 59740 markings/sec, 210 secs
lola: 16835313 markings, 67756283 edges, 92130 markings/sec, 215 secs
lola: 17142846 markings, 69270233 edges, 61507 markings/sec, 220 secs
lola: 17571768 markings, 70797897 edges, 85784 markings/sec, 225 secs
lola: 17896586 markings, 72303834 edges, 64964 markings/sec, 230 secs
lola: 18272604 markings, 73808861 edges, 75204 markings/sec, 235 secs
lola: 18668849 markings, 75335370 edges, 79249 markings/sec, 240 secs
lola: 18971959 markings, 76848875 edges, 60622 markings/sec, 245 secs
lola: 19438847 markings, 78358111 edges, 93378 markings/sec, 250 secs
lola: 19735600 markings, 79883228 edges, 59351 markings/sec, 255 secs
lola: 20200821 markings, 81384115 edges, 93044 markings/sec, 260 secs
lola: 20497604 markings, 82888556 edges, 59357 markings/sec, 265 secs
lola: 20962378 markings, 84428877 edges, 92955 markings/sec, 270 secs
lola: 21267163 markings, 85941726 edges, 60957 markings/sec, 275 secs
lola: 21704703 markings, 87476483 edges, 87508 markings/sec, 280 secs
lola: 22024810 markings, 88989026 edges, 64021 markings/sec, 285 secs
lola: 22407759 markings, 90484421 edges, 76590 markings/sec, 290 secs
lola: 22785421 markings, 91999179 edges, 75532 markings/sec, 295 secs
lola: 23106234 markings, 93502991 edges, 64163 markings/sec, 300 secs
lola: 23551995 markings, 94999936 edges, 89152 markings/sec, 305 secs
lola: 23837147 markings, 96506126 edges, 57030 markings/sec, 310 secs
lola: 24307525 markings, 97998969 edges, 94076 markings/sec, 315 secs
lola: 24598380 markings, 99490961 edges, 58171 markings/sec, 320 secs
lola: 25063883 markings, 101013644 edges, 93101 markings/sec, 325 secs
lola: 25361786 markings, 102515091 edges, 59581 markings/sec, 330 secs
lola: 25810116 markings, 104021537 edges, 89666 markings/sec, 335 secs
lola: 26116101 markings, 105523699 edges, 61197 markings/sec, 340 secs
lola: 26533532 markings, 107018480 edges, 83486 markings/sec, 345 secs
lola: 26858335 markings, 108516806 edges, 64961 markings/sec, 350 secs
lola: 27234628 markings, 110025446 edges, 75259 markings/sec, 355 secs
lola: 27617371 markings, 111513476 edges, 76549 markings/sec, 360 secs
lola: 27932011 markings, 113015165 edges, 62928 markings/sec, 365 secs
lola: 28380328 markings, 114507386 edges, 89663 markings/sec, 370 secs
lola: 28654117 markings, 115984564 edges, 54758 markings/sec, 375 secs
lola: 29137407 markings, 117512276 edges, 96658 markings/sec, 380 secs
lola: 29435312 markings, 119024835 edges, 59581 markings/sec, 385 secs
lola: 29895094 markings, 120533159 edges, 91956 markings/sec, 390 secs
lola: 30196098 markings, 122043773 edges, 60201 markings/sec, 395 secs
lola: 30643045 markings, 123550025 edges, 89389 markings/sec, 400 secs
lola: 30949693 markings, 125051990 edges, 61330 markings/sec, 405 secs
lola: 31361422 markings, 126565427 edges, 82346 markings/sec, 410 secs
lola: 31693555 markings, 128053752 edges, 66427 markings/sec, 415 secs
lola: 32062044 markings, 129561171 edges, 73698 markings/sec, 420 secs
lola: 32462704 markings, 131064087 edges, 80132 markings/sec, 425 secs
lola: 32758398 markings, 132550649 edges, 59139 markings/sec, 430 secs
lola: 33226747 markings, 134071604 edges, 93670 markings/sec, 435 secs
lola: 33518475 markings, 135582574 edges, 58346 markings/sec, 440 secs
lola: 33983825 markings, 137081543 edges, 93070 markings/sec, 445 secs
lola: 34280868 markings, 138587105 edges, 59409 markings/sec, 450 secs
lola: 34734093 markings, 140080703 edges, 90645 markings/sec, 455 secs
lola: 35030660 markings, 141572750 edges, 59313 markings/sec, 460 secs
lola: 35474396 markings, 143079397 edges, 88747 markings/sec, 465 secs
lola: 35777857 markings, 144560496 edges, 60692 markings/sec, 470 secs
lola: 36186595 markings, 146063154 edges, 81748 markings/sec, 475 secs
lola: 36518514 markings, 147550197 edges, 66384 markings/sec, 480 secs
lola: 36885296 markings, 149029860 edges, 73356 markings/sec, 485 secs
lola: 37279787 markings, 150540685 edges, 78898 markings/sec, 490 secs
lola: 37583588 markings, 152040281 edges, 60760 markings/sec, 495 secs
lola: 38042484 markings, 153539483 edges, 91779 markings/sec, 500 secs
lola: 38327634 markings, 155037854 edges, 57030 markings/sec, 505 secs
lola: 38794892 markings, 156531915 edges, 93452 markings/sec, 510 secs
lola: 39084870 markings, 158018106 edges, 57996 markings/sec, 515 secs
lola: 39546931 markings, 159533895 edges, 92412 markings/sec, 520 secs
lola: 39843858 markings, 161030840 edges, 59385 markings/sec, 525 secs
lola: 40291833 markings, 162538308 edges, 89595 markings/sec, 530 secs
lola: 40596122 markings, 164033245 edges, 60858 markings/sec, 535 secs
lola: 41009586 markings, 165518833 edges, 82693 markings/sec, 540 secs
lola: 41334315 markings, 167011916 edges, 64946 markings/sec, 545 secs
lola: 41710614 markings, 168529802 edges, 75260 markings/sec, 550 secs
lola: 42094978 markings, 170012725 edges, 76873 markings/sec, 555 secs
lola: 42407723 markings, 171503975 edges, 62549 markings/sec, 560 secs
lola: 42853125 markings, 172992877 edges, 89080 markings/sec, 565 secs
lola: 43118823 markings, 174455136 edges, 53140 markings/sec, 570 secs
lola: 43596264 markings, 175950879 edges, 95488 markings/sec, 575 secs
lola: 43879009 markings, 177423317 edges, 56549 markings/sec, 580 secs
lola: 44334286 markings, 178898743 edges, 91055 markings/sec, 585 secs
lola: 44623070 markings, 180376369 edges, 57757 markings/sec, 590 secs
lola: 45069235 markings, 181844999 edges, 89233 markings/sec, 595 secs
lola: 45358470 markings, 183314548 edges, 57847 markings/sec, 600 secs
lola: 45808341 markings, 184830596 edges, 89974 markings/sec, 605 secs
lola: 46112009 markings, 186321072 edges, 60734 markings/sec, 610 secs
lola: 46526190 markings, 187843357 edges, 82836 markings/sec, 615 secs
lola: 46861830 markings, 189348424 edges, 67128 markings/sec, 620 secs
lola: 47227903 markings, 190854433 edges, 73215 markings/sec, 625 secs
lola: 47636295 markings, 192367331 edges, 81678 markings/sec, 630 secs
lola: 47924192 markings, 193874126 edges, 57579 markings/sec, 635 secs
lola: 48399448 markings, 195376334 edges, 95051 markings/sec, 640 secs
lola: 48692119 markings, 196886114 edges, 58534 markings/sec, 645 secs
lola: 49153977 markings, 198378270 edges, 92372 markings/sec, 650 secs
lola: 49449514 markings, 199878663 edges, 59107 markings/sec, 655 secs
lola: 49908513 markings, 201392030 edges, 91800 markings/sec, 660 secs
lola: 50206503 markings, 202888933 edges, 59598 markings/sec, 665 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown 53 unknown unknown unknown 53 unknown
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown 53 unknown unknown unknown 53 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown 53 unknown unknown unknown 53 unknown
lola: memory consumption: 7410808 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown 53 unknown unknown 53 unknown 53 unknown unknown unknown 53 unknown
lola: memory consumption: 7411072 KB
lola: time consumption: 3570 seconds

BK_STOP 1526828095451

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-0050"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0050.tgz
mv JoinFreeModules-PT-0050 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is JoinFreeModules-PT-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 r100-smll-152658630900261"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;