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 236K
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.4K 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 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 57K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-0010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900247
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526814681003

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0010 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0010 @ 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: 132/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1632
lola: finding significant places
lola: 51 places, 81 transitions, 40 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 91 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0010-UpperBounds.task
lola: MAX(p44) : MAX(p4) : MAX(p10) : MAX(p5) : MAX(p40) : MAX(p16) : MAX(p47) : MAX(p37) : MAX(p41) : MAX(p13) : MAX(p11) : MAX(p11) : MAX(p15) : MAX(p2) : MAX(p40) : MAX(p40)
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(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1650800 markings, 4827113 edges, 330160 markings/sec, 0 secs
lola: 3247137 markings, 10061314 edges, 319267 markings/sec, 5 secs
lola: 4485889 markings, 15273993 edges, 247750 markings/sec, 10 secs
lola: 6198092 markings, 20354844 edges, 342441 markings/sec, 15 secs
lola: 7757584 markings, 25442461 edges, 311898 markings/sec, 20 secs
lola: 9368303 markings, 30362567 edges, 322144 markings/sec, 25 secs
lola: 10704650 markings, 35223539 edges, 267269 markings/sec, 30 secs
lola: 12033223 markings, 40113498 edges, 265715 markings/sec, 35 secs
lola: 13674723 markings, 45047032 edges, 328300 markings/sec, 40 secs
lola: 15169647 markings, 49891638 edges, 298985 markings/sec, 45 secs
lola: 16712231 markings, 54614728 edges, 308517 markings/sec, 50 secs
lola: 17993070 markings, 59273359 edges, 256168 markings/sec, 55 secs
lola: 19620627 markings, 64148898 edges, 325511 markings/sec, 60 secs
lola: 21179208 markings, 69104407 edges, 311716 markings/sec, 65 secs
lola: 22730558 markings, 73908174 edges, 310270 markings/sec, 70 secs
lola: 24233804 markings, 78594825 edges, 300649 markings/sec, 75 secs
lola: 25395105 markings, 83307393 edges, 232260 markings/sec, 80 secs
lola: 26868399 markings, 88096955 edges, 294659 markings/sec, 85 secs
lola: 28383670 markings, 92925730 edges, 303054 markings/sec, 90 secs
lola: 29933758 markings, 97667490 edges, 310018 markings/sec, 95 secs
lola: 31469622 markings, 102400947 edges, 307173 markings/sec, 100 secs
lola: 32933535 markings, 107065795 edges, 292783 markings/sec, 105 secs
lola: 34408015 markings, 111609649 edges, 294896 markings/sec, 110 secs
lola: 35628245 markings, 116142203 edges, 244046 markings/sec, 115 secs
lola: 36896312 markings, 120830242 edges, 253613 markings/sec, 120 secs
lola: 38428788 markings, 125539709 edges, 306495 markings/sec, 125 secs
lola: 39703621 markings, 130234882 edges, 254967 markings/sec, 130 secs
lola: 41332118 markings, 135056232 edges, 325699 markings/sec, 135 secs
lola: 42847121 markings, 139911209 edges, 303001 markings/sec, 140 secs
lola: 44379041 markings, 144615760 edges, 306384 markings/sec, 145 secs
lola: 45836141 markings, 149244799 edges, 291420 markings/sec, 150 secs
lola: 47175908 markings, 153972238 edges, 267953 markings/sec, 155 secs
lola: 48822461 markings, 158918664 edges, 329311 markings/sec, 160 secs
lola: 50321475 markings, 163777031 edges, 299803 markings/sec, 165 secs
lola: 51753919 markings, 168336187 edges, 286489 markings/sec, 170 secs
lola: 53165090 markings, 172888719 edges, 282234 markings/sec, 175 secs
lola: 54260791 markings, 177479171 edges, 219140 markings/sec, 180 secs
lola: 55734443 markings, 181883377 edges, 294730 markings/sec, 185 secs
lola: 56943632 markings, 186012530 edges, 241838 markings/sec, 190 secs
lola: 58000860 markings, 190444188 edges, 211446 markings/sec, 195 secs
lola: 59609059 markings, 195299641 edges, 321640 markings/sec, 200 secs
lola: 61127127 markings, 200198611 edges, 303614 markings/sec, 205 secs
lola: 62720429 markings, 204983190 edges, 318660 markings/sec, 210 secs
lola: 64221663 markings, 209766818 edges, 300247 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: 2712992 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1703381 markings, 3359344 edges, 340676 markings/sec, 0 secs
lola: 2904730 markings, 6824372 edges, 240270 markings/sec, 5 secs
lola: 3751014 markings, 10614223 edges, 169257 markings/sec, 10 secs
lola: 3965280 markings, 14317267 edges, 42853 markings/sec, 15 secs
lola: 4011286 markings, 17901543 edges, 9201 markings/sec, 20 secs
lola: 4381522 markings, 21532332 edges, 74047 markings/sec, 25 secs
lola: 5915120 markings, 24799560 edges, 306720 markings/sec, 30 secs
lola: 6997943 markings, 27981778 edges, 216565 markings/sec, 35 secs
lola: 7813764 markings, 31409278 edges, 163164 markings/sec, 40 secs
lola: 9195291 markings, 34823864 edges, 276305 markings/sec, 45 secs
lola: 10362433 markings, 37962438 edges, 233428 markings/sec, 50 secs
lola: 11333316 markings, 41159800 edges, 194177 markings/sec, 55 secs
lola: 12398944 markings, 44672838 edges, 213126 markings/sec, 60 secs
lola: 13737887 markings, 47744432 edges, 267789 markings/sec, 65 secs
lola: 14755430 markings, 50766338 edges, 203509 markings/sec, 70 secs
lola: 15505822 markings, 54017712 edges, 150078 markings/sec, 75 secs
lola: 16839216 markings, 57255826 edges, 266679 markings/sec, 80 secs
lola: 17947576 markings, 60225434 edges, 221672 markings/sec, 85 secs
lola: 18903684 markings, 63232939 edges, 191222 markings/sec, 90 secs
lola: 19502882 markings, 66498313 edges, 119840 markings/sec, 95 secs
lola: 20983560 markings, 69408252 edges, 296136 markings/sec, 100 secs
lola: 21972871 markings, 72172010 edges, 197862 markings/sec, 105 secs
lola: 22839926 markings, 75046927 edges, 173411 markings/sec, 110 secs
lola: 23319699 markings, 78265675 edges, 95955 markings/sec, 115 secs
lola: 23380356 markings, 81151803 edges, 12131 markings/sec, 120 secs
lola: 23416711 markings, 83892932 edges, 7271 markings/sec, 125 secs
lola: 23444462 markings, 86618971 edges, 5550 markings/sec, 130 secs
lola: 24678849 markings, 89585284 edges, 246877 markings/sec, 135 secs
lola: 25748431 markings, 92369021 edges, 213916 markings/sec, 140 secs
lola: 26650592 markings, 95149015 edges, 180432 markings/sec, 145 secs
lola: 27295806 markings, 98307606 edges, 129043 markings/sec, 150 secs
lola: 27405033 markings, 101342426 edges, 21845 markings/sec, 155 secs
lola: 27441798 markings, 104124536 edges, 7353 markings/sec, 160 secs
lola: 27472995 markings, 106839046 edges, 6239 markings/sec, 165 secs
lola: 28359708 markings, 109798061 edges, 177343 markings/sec, 170 secs
lola: 29558024 markings, 112672279 edges, 239663 markings/sec, 175 secs
lola: 30508005 markings, 115504077 edges, 189996 markings/sec, 180 secs
lola: 31236784 markings, 118503649 edges, 145756 markings/sec, 185 secs
lola: 32356678 markings, 121489643 edges, 223979 markings/sec, 190 secs
lola: 33895627 markings, 124504566 edges, 307790 markings/sec, 195 secs
lola: 34896866 markings, 127349507 edges, 200248 markings/sec, 200 secs
lola: 35739514 markings, 130300118 edges, 168530 markings/sec, 205 secs
lola: 36372150 markings, 133302128 edges, 126527 markings/sec, 210 secs
lola: 37395725 markings, 135923994 edges, 204715 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: 2659412 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: SUBRESULT
lola: result: 13
lola: produced by: state space
lola: The maximum value of the given expression is 13
lola: 1431 markings, 3250 edges
lola:
FORMULA JoinFreeModules-PT-0010-UpperBounds-2 13 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 240 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-0010-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: 13
lola: SUBRESULT
lola: result: 13
lola: produced by: state space
lola: The maximum value of the given expression is 13
lola: 1431 markings, 3249 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0010-UpperBounds-3 13 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p40)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: SUBRESULT
lola: result: 13
lola: produced by: state space
lola: The maximum value of the given expression is 13
lola: 1431 markings, 3249 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0010-UpperBounds-4 13 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1627127 markings, 4968223 edges, 325425 markings/sec, 0 secs
lola: 3187376 markings, 10181799 edges, 312050 markings/sec, 5 secs
lola: 4587849 markings, 15365909 edges, 280095 markings/sec, 10 secs
lola: 6198803 markings, 20449910 edges, 322191 markings/sec, 15 secs
lola: 7717104 markings, 25529231 edges, 303660 markings/sec, 20 secs
lola: 9291085 markings, 30501872 edges, 314796 markings/sec, 25 secs
lola: 10698970 markings, 35426593 edges, 281577 markings/sec, 30 secs
lola: 12109707 markings, 40311473 edges, 282147 markings/sec, 35 secs
lola: 13630791 markings, 45135174 edges, 304217 markings/sec, 40 secs
lola: 15061838 markings, 49924071 edges, 286209 markings/sec, 45 secs
lola: 16534853 markings, 54585537 edges, 294603 markings/sec, 50 secs
lola: 17881807 markings, 59232757 edges, 269391 markings/sec, 55 secs
lola: 19445848 markings, 64086439 edges, 312808 markings/sec, 60 secs
lola: 20943718 markings, 69010537 edges, 299574 markings/sec, 65 secs
lola: 22222591 markings, 73941228 edges, 255775 markings/sec, 70 secs
lola: 23768607 markings, 78801407 edges, 309203 markings/sec, 75 secs
lola: 25153997 markings, 83590115 edges, 277078 markings/sec, 80 secs
lola: 26712501 markings, 87942115 edges, 311701 markings/sec, 85 secs
lola: 28304569 markings, 91612713 edges, 318414 markings/sec, 90 secs
lola: 29318576 markings, 95577286 edges, 202801 markings/sec, 95 secs
lola: 29650480 markings, 99544217 edges, 66381 markings/sec, 100 secs
lola: 29714880 markings, 103368243 edges, 12880 markings/sec, 105 secs
lola: 29916477 markings, 107406377 edges, 40319 markings/sec, 110 secs
lola: 31450712 markings, 112108505 edges, 306847 markings/sec, 115 secs
lola: 32866092 markings, 116837669 edges, 283076 markings/sec, 120 secs
lola: 34340095 markings, 121497178 edges, 294801 markings/sec, 125 secs
lola: 35785161 markings, 126141751 edges, 289013 markings/sec, 130 secs
lola: 37163617 markings, 130734813 edges, 275691 markings/sec, 135 secs
lola: 38576765 markings, 135216312 edges, 282630 markings/sec, 140 secs
lola: 39849673 markings, 139685772 edges, 254582 markings/sec, 145 secs
lola: 41410396 markings, 143941509 edges, 312145 markings/sec, 150 secs
lola: 42976038 markings, 148518520 edges, 313128 markings/sec, 155 secs
lola: 44425038 markings, 153242841 edges, 289800 markings/sec, 160 secs
lola: 45630629 markings, 158020208 edges, 241118 markings/sec, 165 secs
lola: 47094044 markings, 162544982 edges, 292683 markings/sec, 170 secs
lola: 48439158 markings, 167063305 edges, 269023 markings/sec, 175 secs
lola: 49880215 markings, 171757341 edges, 288211 markings/sec, 180 secs
lola: 51383142 markings, 176562489 edges, 300585 markings/sec, 185 secs
lola: 52803800 markings, 181296762 edges, 284132 markings/sec, 190 secs
lola: 54238985 markings, 185858931 edges, 287037 markings/sec, 195 secs
lola: 55559603 markings, 190426246 edges, 264124 markings/sec, 200 secs
lola: 57086014 markings, 194691183 edges, 305282 markings/sec, 205 secs
lola: 58740072 markings, 198450783 edges, 330812 markings/sec, 210 secs
lola: 59746326 markings, 202545381 edges, 201251 markings/sec, 215 secs
lola: 60045373 markings, 206623953 edges, 59809 markings/sec, 220 secs
lola: 60113061 markings, 210535931 edges, 13538 markings/sec, 225 secs
lola: 60621199 markings, 214464583 edges, 101628 markings/sec, 230 secs
lola: 62152782 markings, 217907832 edges, 306317 markings/sec, 235 secs
lola: 63367295 markings, 221512129 edges, 242903 markings/sec, 240 secs
lola: 63934235 markings, 225486471 edges, 113388 markings/sec, 245 secs
lola: 63991591 markings, 229091126 edges, 11471 markings/sec, 250 secs
lola: 64042283 markings, 232699968 edges, 10138 markings/sec, 255 secs
lola: 64960073 markings, 236981383 edges, 183558 markings/sec, 260 secs
lola: 66418296 markings, 241608835 edges, 291645 markings/sec, 265 secs
lola: 67790137 markings, 246224550 edges, 274368 markings/sec, 270 secs
lola: 69250040 markings, 250759770 edges, 291981 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3060348 KB
lola: time consumption: 731 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p47)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1904128 markings, 3694239 edges, 380826 markings/sec, 0 secs
lola: 2728929 markings, 6733417 edges, 164960 markings/sec, 5 secs
lola: 3416306 markings, 9951061 edges, 137475 markings/sec, 10 secs
lola: 3877433 markings, 13126278 edges, 92225 markings/sec, 15 secs
lola: 3934176 markings, 16105523 edges, 11349 markings/sec, 20 secs
lola: 3940809 markings, 19508226 edges, 1327 markings/sec, 25 secs
lola: 3969630 markings, 23409377 edges, 5764 markings/sec, 30 secs
lola: 5738286 markings, 26769239 edges, 353731 markings/sec, 35 secs
lola: 6588065 markings, 29698417 edges, 169956 markings/sec, 40 secs
lola: 7181915 markings, 32563135 edges, 118770 markings/sec, 45 secs
lola: 7791347 markings, 35349221 edges, 121886 markings/sec, 50 secs
lola: 9545721 markings, 38689741 edges, 350875 markings/sec, 55 secs
lola: 10453272 markings, 41675391 edges, 181510 markings/sec, 60 secs
lola: 11094774 markings, 44983062 edges, 128300 markings/sec, 65 secs
lola: 12012191 markings, 48096714 edges, 183483 markings/sec, 70 secs
lola: 13449573 markings, 50949229 edges, 287476 markings/sec, 75 secs
lola: 14224799 markings, 53493627 edges, 155045 markings/sec, 80 secs
lola: 14773808 markings, 56084861 edges, 109802 markings/sec, 85 secs
lola: 15327298 markings, 58683032 edges, 110698 markings/sec, 90 secs
lola: 16678966 markings, 61539700 edges, 270334 markings/sec, 95 secs
lola: 17716533 markings, 64136335 edges, 207513 markings/sec, 100 secs
lola: 18317738 markings, 66638145 edges, 120241 markings/sec, 105 secs
lola: 18851929 markings, 69208082 edges, 106838 markings/sec, 110 secs
lola: 19452135 markings, 71736619 edges, 120041 markings/sec, 115 secs
lola: 20908199 markings, 74393842 edges, 291213 markings/sec, 120 secs
lola: 21768357 markings, 76840403 edges, 172032 markings/sec, 125 secs
lola: 22386888 markings, 79556691 edges, 123706 markings/sec, 130 secs
lola: 22970334 markings, 82369959 edges, 116689 markings/sec, 135 secs
lola: 23269261 markings, 85172278 edges, 59785 markings/sec, 140 secs
lola: 23315894 markings, 87635453 edges, 9327 markings/sec, 145 secs
lola: 23321677 markings, 90071912 edges, 1157 markings/sec, 150 secs
lola: 23323509 markings, 92625656 edges, 366 markings/sec, 155 secs
lola: 23607624 markings, 95421823 edges, 56823 markings/sec, 160 secs
lola: 25142086 markings, 98486305 edges, 306892 markings/sec, 165 secs
lola: 26019727 markings, 101504210 edges, 175528 markings/sec, 170 secs
lola: 26764123 markings, 104999654 edges, 148879 markings/sec, 175 secs
lola: 27215798 markings, 108585344 edges, 90335 markings/sec, 180 secs
lola: 27255886 markings, 111545178 edges, 8018 markings/sec, 185 secs
lola: 27260699 markings, 114390245 edges, 963 markings/sec, 190 secs
lola: 27261976 markings, 117391519 edges, 255 markings/sec, 195 secs
lola: 28470909 markings, 120392617 edges, 241787 markings/sec, 200 secs
lola: 29449563 markings, 122869547 edges, 195731 markings/sec, 205 secs
lola: 30027574 markings, 125247175 edges, 115602 markings/sec, 210 secs
lola: 30530727 markings, 127668726 edges, 100631 markings/sec, 215 secs
lola: 31046463 markings, 130062471 edges, 103147 markings/sec, 220 secs
lola: 32479329 markings, 132681838 edges, 286573 markings/sec, 225 secs
lola: 33985795 markings, 135488681 edges, 301293 markings/sec, 230 secs
lola: 34797325 markings, 137927842 edges, 162306 markings/sec, 235 secs
lola: 35329487 markings, 140387193 edges, 106432 markings/sec, 240 secs
lola: 35858866 markings, 142866484 edges, 105876 markings/sec, 245 secs
lola: 36558974 markings, 145294242 edges, 140022 markings/sec, 250 secs
lola: 37359180 markings, 147594275 edges, 160041 markings/sec, 255 secs
lola: 37938992 markings, 150145416 edges, 115962 markings/sec, 260 secs
lola: 38489155 markings, 152733692 edges, 110033 markings/sec, 265 secs
lola: 38874009 markings, 155411616 edges, 76971 markings/sec, 270 secs
lola: 38912309 markings, 157753598 edges, 7660 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2663304 KB
lola: time consumption: 1014 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p37)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1702314 markings, 5311671 edges, 340463 markings/sec, 0 secs
lola: 3213559 markings, 10577013 edges, 302249 markings/sec, 5 secs
lola: 4592397 markings, 15805838 edges, 275768 markings/sec, 10 secs
lola: 6199414 markings, 20933844 edges, 321403 markings/sec, 15 secs
lola: 7688395 markings, 26049773 edges, 297796 markings/sec, 20 secs
lola: 9244181 markings, 31026016 edges, 311157 markings/sec, 25 secs
lola: 10574711 markings, 35965142 edges, 266106 markings/sec, 30 secs
lola: 11981977 markings, 40968698 edges, 281453 markings/sec, 35 secs
lola: 13532347 markings, 45969499 edges, 310074 markings/sec, 40 secs
lola: 14830429 markings, 50966366 edges, 259616 markings/sec, 45 secs
lola: 16273670 markings, 55952879 edges, 288648 markings/sec, 50 secs
lola: 17719419 markings, 60781272 edges, 289150 markings/sec, 55 secs
lola: 19177626 markings, 65762528 edges, 291641 markings/sec, 60 secs
lola: 20769805 markings, 70892275 edges, 318436 markings/sec, 65 secs
lola: 22252074 markings, 75936680 edges, 296454 markings/sec, 70 secs
lola: 23762355 markings, 80782906 edges, 302056 markings/sec, 75 secs
lola: 25050915 markings, 85635049 edges, 257712 markings/sec, 80 secs
lola: 26436176 markings, 90544167 edges, 277052 markings/sec, 85 secs
lola: 27939908 markings, 95416053 edges, 300746 markings/sec, 90 secs
lola: 29212464 markings, 100322052 edges, 254511 markings/sec, 95 secs
lola: 30679585 markings, 105281461 edges, 293424 markings/sec, 100 secs
lola: 32188855 markings, 110272621 edges, 301854 markings/sec, 105 secs
lola: 33402778 markings, 115266969 edges, 242785 markings/sec, 110 secs
lola: 34957042 markings, 120179706 edges, 310853 markings/sec, 115 secs
lola: 36383964 markings, 125064082 edges, 285384 markings/sec, 120 secs
lola: 37854223 markings, 129861546 edges, 294052 markings/sec, 125 secs
lola: 39275163 markings, 134543881 edges, 284188 markings/sec, 130 secs
lola: 40473399 markings, 139217546 edges, 239647 markings/sec, 135 secs
lola: 41923320 markings, 144112155 edges, 289984 markings/sec, 140 secs
lola: 43376087 markings, 148984282 edges, 290553 markings/sec, 145 secs
lola: 44834731 markings, 153946013 edges, 291729 markings/sec, 150 secs
lola: 46393219 markings, 158974755 edges, 311698 markings/sec, 155 secs
lola: 47681042 markings, 163974483 edges, 257565 markings/sec, 160 secs
lola: 49093165 markings, 168830250 edges, 282425 markings/sec, 165 secs
lola: 50512841 markings, 173552750 edges, 283935 markings/sec, 170 secs
lola: 51939856 markings, 178465982 edges, 285403 markings/sec, 175 secs
lola: 53532360 markings, 183597735 edges, 318501 markings/sec, 180 secs
lola: 55012101 markings, 188638743 edges, 295948 markings/sec, 185 secs
lola: 56513080 markings, 193455347 edges, 300196 markings/sec, 190 secs
lola: 57801262 markings, 198263633 edges, 257636 markings/sec, 195 secs
lola: 59141656 markings, 203056055 edges, 268079 markings/sec, 200 secs
lola: 60591882 markings, 207756966 edges, 290045 markings/sec, 205 secs
lola: 61863051 markings, 212536464 edges, 254234 markings/sec, 210 secs
lola: 63194338 markings, 217252734 edges, 266257 markings/sec, 215 secs
lola: 64598010 markings, 221770479 edges, 280734 markings/sec, 220 secs
lola: 65780379 markings, 226276690 edges, 236474 markings/sec, 225 secs
lola: 67115335 markings, 231026379 edges, 266991 markings/sec, 230 secs
lola: 68626069 markings, 235901318 edges, 302147 markings/sec, 235 secs
lola: 69918422 markings, 240758684 edges, 258471 markings/sec, 240 secs
lola: 71280989 markings, 245548484 edges, 272513 markings/sec, 245 secs
lola: 72633660 markings, 249960769 edges, 270534 markings/sec, 250 secs
lola: 73808220 markings, 254081228 edges, 234912 markings/sec, 255 secs
lola: 75065091 markings, 257987609 edges, 251374 markings/sec, 260 secs
lola: 76393237 markings, 262644267 edges, 265629 markings/sec, 265 secs
lola: 77584870 markings, 267439771 edges, 238327 markings/sec, 270 secs
lola: 79153784 markings, 272290795 edges, 313783 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2859272 KB
lola: time consumption: 1298 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p41)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1555522 markings, 4747069 edges, 311104 markings/sec, 0 secs
lola: 3132652 markings, 9984875 edges, 315426 markings/sec, 5 secs
lola: 4527170 markings, 15184927 edges, 278904 markings/sec, 10 secs
lola: 6136743 markings, 20262816 edges, 321915 markings/sec, 15 secs
lola: 7652313 markings, 25335522 edges, 303114 markings/sec, 20 secs
lola: 9210553 markings, 30246639 edges, 311648 markings/sec, 25 secs
lola: 10606924 markings, 35099210 edges, 279274 markings/sec, 30 secs
lola: 12009027 markings, 40008411 edges, 280421 markings/sec, 35 secs
lola: 13568694 markings, 44938856 edges, 311933 markings/sec, 40 secs
lola: 14939806 markings, 49890116 edges, 274222 markings/sec, 45 secs
lola: 16384301 markings, 54783180 edges, 288899 markings/sec, 50 secs
lola: 17846823 markings, 59527852 edges, 292504 markings/sec, 55 secs
lola: 19302649 markings, 64423477 edges, 291165 markings/sec, 60 secs
lola: 20894582 markings, 69459167 edges, 318387 markings/sec, 65 secs
lola: 22379938 markings, 74431380 edges, 297071 markings/sec, 70 secs
lola: 23874261 markings, 79172534 edges, 298865 markings/sec, 75 secs
lola: 25248409 markings, 83916941 edges, 274830 markings/sec, 80 secs
lola: 26603838 markings, 88694451 edges, 271086 markings/sec, 85 secs
lola: 28100715 markings, 93454676 edges, 299375 markings/sec, 90 secs
lola: 29432034 markings, 98238332 edges, 266264 markings/sec, 95 secs
lola: 30873524 markings, 103104322 edges, 288298 markings/sec, 100 secs
lola: 32404625 markings, 108009324 edges, 306220 markings/sec, 105 secs
lola: 33655234 markings, 112946026 edges, 250122 markings/sec, 110 secs
lola: 35213313 markings, 117748003 edges, 311616 markings/sec, 115 secs
lola: 36671880 markings, 122552608 edges, 291713 markings/sec, 120 secs
lola: 38128076 markings, 127258294 edges, 291239 markings/sec, 125 secs
lola: 39568319 markings, 131852548 edges, 288049 markings/sec, 130 secs
lola: 40809061 markings, 136447119 edges, 248148 markings/sec, 135 secs
lola: 42240820 markings, 141221407 edges, 286352 markings/sec, 140 secs
lola: 43705397 markings, 145971077 edges, 292915 markings/sec, 145 secs
lola: 45147079 markings, 150826174 edges, 288336 markings/sec, 150 secs
lola: 46705610 markings, 155754598 edges, 311706 markings/sec, 155 secs
lola: 48073954 markings, 160679731 edges, 273669 markings/sec, 160 secs
lola: 49462490 markings, 165411176 edges, 277707 markings/sec, 165 secs
lola: 50900628 markings, 170028008 edges, 287628 markings/sec, 170 secs
lola: 52303275 markings, 174829075 edges, 280529 markings/sec, 175 secs
lola: 53897514 markings, 179862279 edges, 318848 markings/sec, 180 secs
lola: 55383997 markings, 184847355 edges, 297297 markings/sec, 185 secs
lola: 56884548 markings, 189545639 edges, 300110 markings/sec, 190 secs
lola: 58248848 markings, 194248885 edges, 272860 markings/sec, 195 secs
lola: 59543003 markings, 198908354 edges, 258831 markings/sec, 200 secs
lola: 60985514 markings, 203499766 edges, 288502 markings/sec, 205 secs
lola: 62318081 markings, 208140973 edges, 266513 markings/sec, 210 secs
lola: 63620185 markings, 212728961 edges, 260421 markings/sec, 215 secs
lola: 65010610 markings, 217146330 edges, 278085 markings/sec, 220 secs
lola: 66252009 markings, 221555273 edges, 248280 markings/sec, 225 secs
lola: 67578259 markings, 226192268 edges, 265250 markings/sec, 230 secs
lola: 69122512 markings, 231073730 edges, 308851 markings/sec, 235 secs
lola: 70575519 markings, 235944772 edges, 290601 markings/sec, 240 secs
lola: 72097324 markings, 240711894 edges, 304361 markings/sec, 245 secs
lola: 73526046 markings, 245490839 edges, 285744 markings/sec, 250 secs
lola: 74784189 markings, 250157750 edges, 251629 markings/sec, 255 secs
lola: 76199441 markings, 254645819 edges, 283050 markings/sec, 260 secs
lola: 77465221 markings, 259124440 edges, 253156 markings/sec, 265 secs
lola: 78797166 markings, 263789112 edges, 266389 markings/sec, 270 secs
lola: 80265578 markings, 268442615 edges, 293682 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3038260 KB
lola: time consumption: 1582 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p13)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1670582 markings, 4864206 edges, 334116 markings/sec, 0 secs
lola: 3277409 markings, 10021511 edges, 321365 markings/sec, 5 secs
lola: 4700857 markings, 15004223 edges, 284690 markings/sec, 10 secs
lola: 6280256 markings, 19839004 edges, 315880 markings/sec, 15 secs
lola: 8125074 markings, 24368327 edges, 368964 markings/sec, 20 secs
lola: 9724153 markings, 28172325 edges, 319816 markings/sec, 25 secs
lola: 10785501 markings, 32278531 edges, 212270 markings/sec, 30 secs
lola: 11104487 markings, 36320669 edges, 63797 markings/sec, 35 secs
lola: 11181556 markings, 40073644 edges, 15414 markings/sec, 40 secs
lola: 11643703 markings, 44131576 edges, 92429 markings/sec, 45 secs
lola: 13175024 markings, 48803893 edges, 306264 markings/sec, 50 secs
lola: 14638258 markings, 53430473 edges, 292647 markings/sec, 55 secs
lola: 16210150 markings, 57854920 edges, 314378 markings/sec, 60 secs
lola: 17788218 markings, 62550317 edges, 315614 markings/sec, 65 secs
lola: 19354794 markings, 67176903 edges, 313315 markings/sec, 70 secs
lola: 20943447 markings, 70407638 edges, 317731 markings/sec, 75 secs
lola: 22080768 markings, 73833667 edges, 227464 markings/sec, 80 secs
lola: 22764956 markings, 77415785 edges, 136838 markings/sec, 85 secs
lola: 22969219 markings, 80820642 edges, 40853 markings/sec, 90 secs
lola: 23027773 markings, 84060651 edges, 11711 markings/sec, 95 secs
lola: 23551562 markings, 87371699 edges, 104758 markings/sec, 100 secs
lola: 25056009 markings, 90797085 edges, 300889 markings/sec, 105 secs
lola: 26213102 markings, 94399122 edges, 231419 markings/sec, 110 secs
lola: 26750747 markings, 98185852 edges, 107529 markings/sec, 115 secs
lola: 26888610 markings, 101675856 edges, 27573 markings/sec, 120 secs
lola: 26927509 markings, 105025184 edges, 7780 markings/sec, 125 secs
lola: 27898414 markings, 109148927 edges, 194181 markings/sec, 130 secs
lola: 29356914 markings, 113685723 edges, 291700 markings/sec, 135 secs
lola: 30636910 markings, 118149300 edges, 255999 markings/sec, 140 secs
lola: 32033797 markings, 122556223 edges, 279377 markings/sec, 145 secs
lola: 33459794 markings, 127034488 edges, 285199 markings/sec, 150 secs
lola: 35107243 markings, 130872669 edges, 329490 markings/sec, 155 secs
lola: 36332621 markings, 133857918 edges, 245076 markings/sec, 160 secs
lola: 37337715 markings, 137018038 edges, 201019 markings/sec, 165 secs
lola: 37910942 markings, 140368296 edges, 114645 markings/sec, 170 secs
lola: 38056869 markings, 143453591 edges, 29185 markings/sec, 175 secs
lola: 38111870 markings, 146404780 edges, 11000 markings/sec, 180 secs
lola: 38239803 markings, 149413729 edges, 25587 markings/sec, 185 secs
lola: 39996931 markings, 153682991 edges, 351426 markings/sec, 190 secs
lola: 41449946 markings, 158239035 edges, 290603 markings/sec, 195 secs
lola: 42610545 markings, 162697415 edges, 232120 markings/sec, 200 secs
lola: 44411172 markings, 166954479 edges, 360125 markings/sec, 205 secs
lola: 45899634 markings, 171585068 edges, 297692 markings/sec, 210 secs
lola: 47579752 markings, 175565068 edges, 336024 markings/sec, 215 secs
lola: 48889408 markings, 178595461 edges, 261931 markings/sec, 220 secs
lola: 49853371 markings, 181839459 edges, 192793 markings/sec, 225 secs
lola: 50349719 markings, 185186433 edges, 99270 markings/sec, 230 secs
lola: 50552914 markings, 188365015 edges, 40639 markings/sec, 235 secs
lola: 50607228 markings, 191382439 edges, 10863 markings/sec, 240 secs
lola: 50950252 markings, 194442135 edges, 68605 markings/sec, 245 secs
lola: 52361802 markings, 197375910 edges, 282310 markings/sec, 250 secs
lola: 53449913 markings, 200491664 edges, 217622 markings/sec, 255 secs
lola: 54156269 markings, 203799009 edges, 141271 markings/sec, 260 secs
lola: 54412092 markings, 207004707 edges, 51165 markings/sec, 265 secs
lola: 54484155 markings, 209961824 edges, 14413 markings/sec, 270 secs
lola: 54509480 markings, 212879295 edges, 5065 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2505812 KB
lola: time consumption: 1866 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1541943 markings, 4706566 edges, 308389 markings/sec, 0 secs
lola: 3088792 markings, 9842911 edges, 309370 markings/sec, 5 secs
lola: 4424142 markings, 14869884 edges, 267070 markings/sec, 10 secs
lola: 5949280 markings, 19679199 edges, 305028 markings/sec, 15 secs
lola: 7425661 markings, 24451253 edges, 295276 markings/sec, 20 secs
lola: 9201257 markings, 28155445 edges, 355119 markings/sec, 25 secs
lola: 10511003 markings, 31908682 edges, 261949 markings/sec, 30 secs
lola: 11100095 markings, 35989853 edges, 117818 markings/sec, 35 secs
lola: 11157308 markings, 39623772 edges, 11443 markings/sec, 40 secs
lola: 11209365 markings, 43289962 edges, 10411 markings/sec, 45 secs
lola: 12141404 markings, 47618588 edges, 186408 markings/sec, 50 secs
lola: 13605650 markings, 52266632 edges, 292849 markings/sec, 55 secs
lola: 15103055 markings, 56565794 edges, 299481 markings/sec, 60 secs
lola: 16635583 markings, 60617519 edges, 306506 markings/sec, 65 secs
lola: 18015920 markings, 64999413 edges, 276067 markings/sec, 70 secs
lola: 19574251 markings, 69635919 edges, 311666 markings/sec, 75 secs
lola: 21343528 markings, 73524251 edges, 353855 markings/sec, 80 secs
lola: 22557177 markings, 77600192 edges, 242730 markings/sec, 85 secs
lola: 22977218 markings, 81809014 edges, 84008 markings/sec, 90 secs
lola: 23047804 markings, 85818690 edges, 14117 markings/sec, 95 secs
lola: 23317383 markings, 89885029 edges, 53916 markings/sec, 100 secs
lola: 24928809 markings, 93372288 edges, 322285 markings/sec, 105 secs
lola: 26233526 markings, 96902872 edges, 260943 markings/sec, 110 secs
lola: 26868517 markings, 100871176 edges, 126998 markings/sec, 115 secs
lola: 26929562 markings, 104444826 edges, 12209 markings/sec, 120 secs
lola: 26985035 markings, 108039865 edges, 11095 markings/sec, 125 secs
lola: 27691541 markings, 112180086 edges, 141301 markings/sec, 130 secs
lola: 29135532 markings, 116753779 edges, 288798 markings/sec, 135 secs
lola: 30485483 markings, 121316834 edges, 269990 markings/sec, 140 secs
lola: 31956850 markings, 125811553 edges, 294273 markings/sec, 145 secs
lola: 33326079 markings, 130330978 edges, 273846 markings/sec, 150 secs
lola: 34935252 markings, 134174133 edges, 321835 markings/sec, 155 secs
lola: 36424982 markings, 137604597 edges, 297946 markings/sec, 160 secs
lola: 37301018 markings, 141392984 edges, 175207 markings/sec, 165 secs
lola: 37586296 markings, 145119389 edges, 57056 markings/sec, 170 secs
lola: 37645447 markings, 148661883 edges, 11830 markings/sec, 175 secs
lola: 37678649 markings, 152292950 edges, 6640 markings/sec, 180 secs
lola: 39315218 markings, 156147329 edges, 327314 markings/sec, 185 secs
lola: 40779266 markings, 160749346 edges, 292810 markings/sec, 190 secs
lola: 42148729 markings, 165354953 edges, 273893 markings/sec, 195 secs
lola: 43560289 markings, 169448703 edges, 282312 markings/sec, 200 secs
lola: 45088149 markings, 173803184 edges, 305572 markings/sec, 205 secs
lola: 46546624 markings, 178490889 edges, 291695 markings/sec, 210 secs
lola: 48105200 markings, 182641836 edges, 311715 markings/sec, 215 secs
lola: 49600759 markings, 186024105 edges, 299112 markings/sec, 220 secs
lola: 50654347 markings, 189645714 edges, 210718 markings/sec, 225 secs
lola: 51111399 markings, 193456616 edges, 91410 markings/sec, 230 secs
lola: 51171060 markings, 197004903 edges, 11932 markings/sec, 235 secs
lola: 51219470 markings, 200590059 edges, 9682 markings/sec, 240 secs
lola: 52349556 markings, 203908354 edges, 226017 markings/sec, 245 secs
lola: 53703015 markings, 207004454 edges, 270692 markings/sec, 250 secs
lola: 54612993 markings, 210394711 edges, 181996 markings/sec, 255 secs
lola: 55022882 markings, 213913116 edges, 81978 markings/sec, 260 secs
lola: 55077479 markings, 217117162 edges, 10919 markings/sec, 265 secs
lola: 55127192 markings, 220343735 edges, 9943 markings/sec, 270 secs
lola: 55897876 markings, 223654577 edges, 154137 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2681040 KB
lola: time consumption: 2150 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1564701 markings, 4775505 edges, 312940 markings/sec, 0 secs
lola: 3106026 markings, 9903039 edges, 308265 markings/sec, 5 secs
lola: 4440508 markings, 14920029 edges, 266896 markings/sec, 10 secs
lola: 5963812 markings, 19722886 edges, 304661 markings/sec, 15 secs
lola: 7443430 markings, 24478759 edges, 295924 markings/sec, 20 secs
lola: 9111318 markings, 27956098 edges, 333578 markings/sec, 25 secs
lola: 10486904 markings, 31798057 edges, 275117 markings/sec, 30 secs
lola: 11099606 markings, 35960336 edges, 122540 markings/sec, 35 secs
lola: 11159925 markings, 39838429 edges, 12064 markings/sec, 40 secs
lola: 11211412 markings, 43763046 edges, 10297 markings/sec, 45 secs
lola: 12358891 markings, 48274386 edges, 229496 markings/sec, 50 secs
lola: 13815452 markings, 52950340 edges, 291312 markings/sec, 55 secs
lola: 15378563 markings, 57117321 edges, 312622 markings/sec, 60 secs
lola: 16932240 markings, 61515792 edges, 310735 markings/sec, 65 secs
lola: 18409199 markings, 66256941 edges, 295392 markings/sec, 70 secs
lola: 20085755 markings, 70660392 edges, 335311 markings/sec, 75 secs
lola: 21776671 markings, 74526429 edges, 338183 markings/sec, 80 secs
lola: 22740905 markings, 78717245 edges, 192847 markings/sec, 85 secs
lola: 22997215 markings, 82837230 edges, 51262 markings/sec, 90 secs
lola: 23065225 markings, 86828046 edges, 13602 markings/sec, 95 secs
lola: 23796829 markings, 90765812 edges, 146321 markings/sec, 100 secs
lola: 25308752 markings, 94227947 edges, 302385 markings/sec, 105 secs
lola: 26405095 markings, 97907251 edges, 219269 markings/sec, 110 secs
lola: 26886315 markings, 101735432 edges, 96244 markings/sec, 115 secs
lola: 26943373 markings, 105301536 edges, 11412 markings/sec, 120 secs
lola: 26989721 markings, 108919050 edges, 9270 markings/sec, 125 secs
lola: 28043901 markings, 113247520 edges, 210836 markings/sec, 130 secs
lola: 29470519 markings, 117819412 edges, 285324 markings/sec, 135 secs
lola: 30824999 markings, 122354608 edges, 270896 markings/sec, 140 secs
lola: 32256448 markings, 126838266 edges, 286290 markings/sec, 145 secs
lola: 33609901 markings, 131329348 edges, 270691 markings/sec, 150 secs
lola: 35269919 markings, 134927283 edges, 332004 markings/sec, 155 secs
lola: 36694144 markings, 138368368 edges, 284845 markings/sec, 160 secs
lola: 37436815 markings, 142251001 edges, 148534 markings/sec, 165 secs
lola: 37599608 markings, 145878004 edges, 32559 markings/sec, 170 secs
lola: 37659503 markings, 149409370 edges, 11979 markings/sec, 175 secs
lola: 38036222 markings, 153049365 edges, 75344 markings/sec, 180 secs
lola: 39626087 markings, 157087703 edges, 317973 markings/sec, 185 secs
lola: 41075430 markings, 161682384 edges, 289869 markings/sec, 190 secs
lola: 42394402 markings, 166286259 edges, 263794 markings/sec, 195 secs
lola: 43850628 markings, 170081919 edges, 291245 markings/sec, 200 secs
lola: 45373340 markings, 174696970 edges, 304542 markings/sec, 205 secs
lola: 46793561 markings, 179362883 edges, 284044 markings/sec, 210 secs
lola: 48392354 markings, 183264000 edges, 319759 markings/sec, 215 secs
lola: 49714166 markings, 186288429 edges, 264362 markings/sec, 220 secs
lola: 50662843 markings, 189710229 edges, 189735 markings/sec, 225 secs
lola: 51107204 markings, 193129925 edges, 88872 markings/sec, 230 secs
lola: 51160592 markings, 196319562 edges, 10678 markings/sec, 235 secs
lola: 51212204 markings, 199512563 edges, 10322 markings/sec, 240 secs
lola: 51834458 markings, 202806281 edges, 124451 markings/sec, 245 secs
lola: 53054163 markings, 205516893 edges, 243941 markings/sec, 250 secs
lola: 54213583 markings, 208446200 edges, 231884 markings/sec, 255 secs
lola: 54865709 markings, 211928503 edges, 130425 markings/sec, 260 secs
lola: 55038743 markings, 215021298 edges, 34607 markings/sec, 265 secs
lola: 55091760 markings, 218024033 edges, 10603 markings/sec, 270 secs
lola: 55132507 markings, 221266821 edges, 8149 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2637316 KB
lola: time consumption: 2434 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: SUBRESULT
lola: result: 13
lola: produced by: state space
lola: The maximum value of the given expression is 13
lola: 1431 markings, 3249 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0010-UpperBounds-12 13 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1792591 markings, 3398896 edges, 358518 markings/sec, 0 secs
lola: 2763533 markings, 6911368 edges, 194188 markings/sec, 5 secs
lola: 3622728 markings, 10961864 edges, 171839 markings/sec, 10 secs
lola: 3927540 markings, 14916593 edges, 60962 markings/sec, 15 secs
lola: 3939277 markings, 18012585 edges, 2347 markings/sec, 20 secs
lola: 3941738 markings, 21304093 edges, 492 markings/sec, 25 secs
lola: 4927260 markings, 24975112 edges, 197104 markings/sec, 30 secs
lola: 6183458 markings, 28054824 edges, 251240 markings/sec, 35 secs
lola: 6993362 markings, 31578180 edges, 161981 markings/sec, 40 secs
lola: 7762139 markings, 35235558 edges, 153755 markings/sec, 45 secs
lola: 9501147 markings, 38580574 edges, 347802 markings/sec, 50 secs
lola: 10484399 markings, 41823233 edges, 196650 markings/sec, 55 secs
lola: 11234025 markings, 45534285 edges, 149925 markings/sec, 60 secs
lola: 12565595 markings, 49029880 edges, 266314 markings/sec, 65 secs
lola: 13813989 markings, 51973653 edges, 249679 markings/sec, 70 secs
lola: 14582921 markings, 55247092 edges, 153786 markings/sec, 75 secs
lola: 15323391 markings, 58667880 edges, 148094 markings/sec, 80 secs
lola: 16846421 markings, 61882241 edges, 304606 markings/sec, 85 secs
lola: 17897576 markings, 64732051 edges, 210231 markings/sec, 90 secs
lola: 18627207 markings, 68066610 edges, 145926 markings/sec, 95 secs
lola: 19337758 markings, 71444721 edges, 142110 markings/sec, 100 secs
lola: 20916302 markings, 74412575 edges, 315709 markings/sec, 105 secs
lola: 21862330 markings, 77173066 edges, 189206 markings/sec, 110 secs
lola: 22557738 markings, 80400612 edges, 139082 markings/sec, 115 secs
lola: 23247192 markings, 83751301 edges, 137891 markings/sec, 120 secs
lola: 23312486 markings, 86940947 edges, 13059 markings/sec, 125 secs
lola: 23321185 markings, 89677811 edges, 1740 markings/sec, 130 secs
lola: 23323464 markings, 92515263 edges, 456 markings/sec, 135 secs
lola: 23695636 markings, 95560368 edges, 74434 markings/sec, 140 secs
lola: 25140188 markings, 98481818 edges, 288910 markings/sec, 145 secs
lola: 26001678 markings, 101390290 edges, 172298 markings/sec, 150 secs
lola: 26701350 markings, 104716780 edges, 139934 markings/sec, 155 secs
lola: 27210233 markings, 108183625 edges, 101777 markings/sec, 160 secs
lola: 27254587 markings, 111180415 edges, 8871 markings/sec, 165 secs
lola: 27260352 markings, 113982538 edges, 1153 markings/sec, 170 secs
lola: 27261885 markings, 116894238 edges, 307 markings/sec, 175 secs
lola: 28261633 markings, 119988966 edges, 199950 markings/sec, 180 secs
lola: 29410085 markings, 122745366 edges, 229690 markings/sec, 185 secs
lola: 30126237 markings, 125757969 edges, 143230 markings/sec, 190 secs
lola: 30812087 markings, 128910956 edges, 137170 markings/sec, 195 secs
lola: 32067083 markings, 131935307 edges, 250999 markings/sec, 200 secs
lola: 33729862 markings, 134898128 edges, 332556 markings/sec, 205 secs
lola: 34722460 markings, 137622839 edges, 198520 markings/sec, 210 secs
lola: 35416085 markings, 140781913 edges, 138725 markings/sec, 215 secs
lola: 36088206 markings, 143992756 edges, 134424 markings/sec, 220 secs
lola: 37077994 markings, 146680997 edges, 197958 markings/sec, 225 secs
lola: 37785603 markings, 149472594 edges, 141522 markings/sec, 230 secs
lola: 38438135 markings, 152487326 edges, 130506 markings/sec, 235 secs
lola: 38876867 markings, 155683844 edges, 87746 markings/sec, 240 secs
lola: 38915532 markings, 158413925 edges, 7733 markings/sec, 245 secs
lola: 39041827 markings, 161028355 edges, 25259 markings/sec, 250 secs
lola: 40914660 markings, 164171293 edges, 374567 markings/sec, 255 secs
lola: 42187654 markings, 167028676 edges, 254599 markings/sec, 260 secs
lola: 42957237 markings, 170072803 edges, 153917 markings/sec, 265 secs
lola: 43655652 markings, 173326248 edges, 139683 markings/sec, 270 secs
lola: 44948169 markings, 176512525 edges, 258503 markings/sec, 275 secs
lola: 46131181 markings, 179306996 edges, 236602 markings/sec, 280 secs
lola: 46863125 markings, 182355748 edges, 146389 markings/sec, 285 secs
lola: 47559287 markings, 185559425 edges, 139232 markings/sec, 290 secs
lola: 48835605 markings, 188610787 edges, 255264 markings/sec, 295 secs
lola: 49953354 markings, 191255198 edges, 223550 markings/sec, 300 secs
lola: 50668811 markings, 194105179 edges, 143091 markings/sec, 305 secs
lola: 51328912 markings, 197152115 edges, 132020 markings/sec, 310 secs
lola: 51745015 markings, 200368930 edges, 83221 markings/sec, 315 secs
lola: 51796802 markings, 203118114 edges, 10357 markings/sec, 320 secs
lola: 51802468 markings, 205710049 edges, 1133 markings/sec, 325 secs
lola: 51804115 markings, 208404116 edges, 329 markings/sec, 330 secs
lola: 52355053 markings, 211230572 edges, 110188 markings/sec, 335 secs
lola: 53593596 markings, 213787726 edges, 247709 markings/sec, 340 secs
lola: 54378497 markings, 216311213 edges, 156980 markings/sec, 345 secs
lola: 55010511 markings, 219291088 edges, 126403 markings/sec, 350 secs
lola: 55650346 markings, 222354894 edges, 127967 markings/sec, 355 secs
lola: 55728659 markings, 225356628 edges, 15663 markings/sec, 360 secs
lola: 55738665 markings, 227819415 edges, 2001 markings/sec, 365 secs
lola: 55741529 markings, 230357583 edges, 573 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown 13 unknown unknown unknown
lola: memory consumption: 3844856 KB
lola: time consumption: 2812 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p40)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: SUBRESULT
lola: result: 13
lola: produced by: state space
lola: The maximum value of the given expression is 13
lola: 1431 markings, 3249 edges

FORMULA JoinFreeModules-PT-0010-UpperBounds-14 13 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 757 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p40)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: SUBRESULT
lola: result: 13
lola: produced by: state space
lola: The maximum value of the given expression is 13
lola: 1431 markings, 3249 edges

FORMULA JoinFreeModules-PT-0010-UpperBounds-15 13 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0010-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: 13
lola: 1628533 markings, 4753166 edges, 325707 markings/sec, 0 secs
lola: 3229793 markings, 9997416 edges, 320252 markings/sec, 5 secs
lola: 4461605 markings, 15205470 edges, 246362 markings/sec, 10 secs
lola: 6177241 markings, 20286424 edges, 343127 markings/sec, 15 secs
lola: 7735298 markings, 25378894 edges, 311611 markings/sec, 20 secs
lola: 9251309 markings, 29953102 edges, 303202 markings/sec, 25 secs
lola: 10616280 markings, 34845383 edges, 272994 markings/sec, 30 secs
lola: 11910273 markings, 39759070 edges, 258799 markings/sec, 35 secs
lola: 13560891 markings, 44692650 edges, 330124 markings/sec, 40 secs
lola: 15075034 markings, 49620209 edges, 302829 markings/sec, 45 secs
lola: 16649361 markings, 54421026 edges, 314865 markings/sec, 50 secs
lola: 17979792 markings, 59192116 edges, 266086 markings/sec, 55 secs
lola: 19625048 markings, 64161194 edges, 329051 markings/sec, 60 secs
lola: 21216368 markings, 69219331 edges, 318264 markings/sec, 65 secs
lola: 22808265 markings, 74139745 edges, 318379 markings/sec, 70 secs
lola: 24322663 markings, 78968012 edges, 302880 markings/sec, 75 secs
lola: 25510840 markings, 83812467 edges, 237635 markings/sec, 80 secs
lola: 27064335 markings, 88714293 edges, 310699 markings/sec, 85 secs
lola: 28614538 markings, 93634195 edges, 310041 markings/sec, 90 secs
lola: 30206227 markings, 98459034 edges, 318338 markings/sec, 95 secs
lola: 31719577 markings, 103283219 edges, 302670 markings/sec, 100 secs
lola: 33253475 markings, 108021226 edges, 306780 markings/sec, 105 secs
lola: 34759092 markings, 112675097 edges, 301123 markings/sec, 110 secs
lola: 35918528 markings, 117325944 edges, 231887 markings/sec, 115 secs
lola: 37340679 markings, 122158716 edges, 284430 markings/sec, 120 secs
lola: 38882182 markings, 126966139 edges, 308301 markings/sec, 125 secs
lola: 40229470 markings, 131819343 edges, 269458 markings/sec, 130 secs
lola: 41894631 markings, 136752315 edges, 333032 markings/sec, 135 secs
lola: 43394956 markings, 141680801 edges, 300065 markings/sec, 140 secs
lola: 44978943 markings, 146448428 edges, 316797 markings/sec, 145 secs
lola: 46303586 markings, 151184667 edges, 264929 markings/sec, 150 secs
lola: 47921705 markings, 156124750 edges, 323624 markings/sec, 155 secs
lola: 49511030 markings, 161190603 edges, 317865 markings/sec, 160 secs
lola: 51067369 markings, 165975556 edges, 311268 markings/sec, 165 secs
lola: 52509492 markings, 170661915 edges, 288425 markings/sec, 170 secs
lola: 53757173 markings, 175368392 edges, 249536 markings/sec, 175 secs
lola: 55107720 markings, 179983772 edges, 270109 markings/sec, 180 secs
lola: 56556778 markings, 184466250 edges, 289812 markings/sec, 185 secs
lola: 57675306 markings, 188955226 edges, 223706 markings/sec, 190 secs
lola: 59064775 markings, 193673163 edges, 277894 markings/sec, 195 secs
lola: 60652583 markings, 198573384 edges, 317562 markings/sec, 200 secs
lola: 62181819 markings, 203396990 edges, 305847 markings/sec, 205 secs
lola: 63754898 markings, 208183142 edges, 314616 markings/sec, 210 secs
lola: 65230191 markings, 212926911 edges, 295059 markings/sec, 215 secs
lola: 66729663 markings, 217528397 edges, 299894 markings/sec, 220 secs
lola: 67972870 markings, 222106347 edges, 248641 markings/sec, 225 secs
lola: 69216954 markings, 226756086 edges, 248817 markings/sec, 230 secs
lola: 70787544 markings, 231418486 edges, 314118 markings/sec, 235 secs
lola: 72194607 markings, 236077224 edges, 281413 markings/sec, 240 secs
lola: 73710124 markings, 240600166 edges, 303103 markings/sec, 245 secs
lola: 75010165 markings, 245090893 edges, 260008 markings/sec, 250 secs
lola: 76442395 markings, 249716347 edges, 286446 markings/sec, 255 secs
lola: 78001669 markings, 254478327 edges, 311855 markings/sec, 260 secs
lola: 79457197 markings, 259152662 edges, 291106 markings/sec, 265 secs
lola: 80930687 markings, 263683436 edges, 294698 markings/sec, 270 secs
lola: 82164542 markings, 268230677 edges, 246771 markings/sec, 275 secs
lola: 83373943 markings, 272778509 edges, 241880 markings/sec, 280 secs
lola: 84826068 markings, 277227767 edges, 290425 markings/sec, 285 secs
lola: 86069672 markings, 281635097 edges, 248721 markings/sec, 290 secs
lola: 87593618 markings, 286337561 edges, 304789 markings/sec, 295 secs
lola: 89131464 markings, 291209954 edges, 307569 markings/sec, 300 secs
lola: 90688837 markings, 295997532 edges, 311475 markings/sec, 305 secs
lola: 92246644 markings, 300772875 edges, 311561 markings/sec, 310 secs
lola: 93723025 markings, 305492229 edges, 295276 markings/sec, 315 secs
lola: 95216090 markings, 310090368 edges, 298613 markings/sec, 320 secs
lola: 96452835 markings, 314671857 edges, 247349 markings/sec, 325 secs
lola: 97708023 markings, 319320449 edges, 251038 markings/sec, 330 secs
lola: 99228645 markings, 323988697 edges, 304124 markings/sec, 335 secs
lola: 100493880 markings, 328665574 edges, 253047 markings/sec, 340 secs
lola: 102130493 markings, 333508955 edges, 327323 markings/sec, 345 secs
lola: 103598643 markings, 338189599 edges, 293630 markings/sec, 350 secs
lola: 105139511 markings, 342951650 edges, 308174 markings/sec, 355 secs
lola: 106539001 markings, 347320925 edges, 279898 markings/sec, 360 secs
lola: 107847773 markings, 352060486 edges, 261754 markings/sec, 365 secs
lola: 109527132 markings, 357029108 edges, 335872 markings/sec, 370 secs
lola: 110947660 markings, 361734796 edges, 284106 markings/sec, 375 secs
lola: 112344439 markings, 366122328 edges, 279356 markings/sec, 380 secs
lola: 113805217 markings, 370737189 edges, 292156 markings/sec, 385 secs
lola: 114867517 markings, 375380784 edges, 212460 markings/sec, 390 secs
lola: 116239663 markings, 379518826 edges, 274429 markings/sec, 395 secs
lola: 117553881 markings, 383833149 edges, 262844 markings/sec, 400 secs
lola: 118671540 markings, 388160643 edges, 223532 markings/sec, 405 secs
lola: 120238794 markings, 391829904 edges, 313451 markings/sec, 410 secs
lola: 121357722 markings, 394859764 edges, 223786 markings/sec, 415 secs
lola: 122248564 markings, 397783199 edges, 178168 markings/sec, 420 secs
lola: 122748472 markings, 400736929 edges, 99982 markings/sec, 425 secs
lola: 122818867 markings, 403701013 edges, 14079 markings/sec, 430 secs
lola: 122861155 markings, 406954149 edges, 8458 markings/sec, 435 secs
lola: 122998775 markings, 410503484 edges, 27524 markings/sec, 440 secs
lola: 124620511 markings, 415241622 edges, 324347 markings/sec, 445 secs
lola: 126007231 markings, 419774904 edges, 277344 markings/sec, 450 secs
lola: 127558682 markings, 424418353 edges, 310290 markings/sec, 455 secs
lola: 129021422 markings, 429079875 edges, 292548 markings/sec, 460 secs
lola: 130424506 markings, 433423431 edges, 280617 markings/sec, 465 secs
lola: 131878025 markings, 437893009 edges, 290704 markings/sec, 470 secs
lola: 132980629 markings, 442111196 edges, 220521 markings/sec, 475 secs
lola: 134139725 markings, 446437599 edges, 231819 markings/sec, 480 secs
lola: 135591103 markings, 450745435 edges, 290276 markings/sec, 485 secs
lola: 136797571 markings, 454811261 edges, 241294 markings/sec, 490 secs
lola: 138216002 markings, 459026421 edges, 283686 markings/sec, 495 secs
lola: 139582428 markings, 463394321 edges, 273285 markings/sec, 500 secs
lola: 140819631 markings, 467822997 edges, 247441 markings/sec, 505 secs
lola: 142373578 markings, 472421881 edges, 310789 markings/sec, 510 secs
lola: 143758816 markings, 477035533 edges, 277048 markings/sec, 515 secs
lola: 145232377 markings, 481421286 edges, 294712 markings/sec, 520 secs
lola: 146559721 markings, 485817917 edges, 265469 markings/sec, 525 secs
lola: 147641545 markings, 490234307 edges, 216365 markings/sec, 530 secs
lola: 149085703 markings, 494759893 edges, 288832 markings/sec, 535 secs
lola: 150513663 markings, 499319109 edges, 285592 markings/sec, 540 secs
lola: 151976078 markings, 503807383 edges, 292483 markings/sec, 545 secs
lola: 153441608 markings, 508282494 edges, 293106 markings/sec, 550 secs
lola: 154814541 markings, 512723909 edges, 274587 markings/sec, 555 secs
lola: 156230553 markings, 517045775 edges, 283202 markings/sec, 560 secs
lola: 157451437 markings, 521346806 edges, 244177 markings/sec, 565 secs
lola: 158520353 markings, 525751860 edges, 213783 markings/sec, 570 secs
lola: 160066300 markings, 530356717 edges, 309189 markings/sec, 575 secs
lola: 161404035 markings, 534964521 edges, 267547 markings/sec, 580 secs
lola: 162817661 markings, 539534060 edges, 282725 markings/sec, 585 secs
lola: 164321268 markings, 544113974 edges, 300721 markings/sec, 590 secs
lola: 165725448 markings, 548650966 edges, 280836 markings/sec, 595 secs
lola: 167159425 markings, 553047594 edges, 286795 markings/sec, 600 secs
lola: 168393379 markings, 557421258 edges, 246791 markings/sec, 605 secs
lola: 169861254 markings, 561967833 edges, 293575 markings/sec, 610 secs
lola: 171369853 markings, 566644628 edges, 301720 markings/sec, 615 secs
lola: 172786845 markings, 571141899 edges, 283398 markings/sec, 620 secs
lola: 174132902 markings, 575480219 edges, 269211 markings/sec, 625 secs
lola: 175424397 markings, 579828758 edges, 258299 markings/sec, 630 secs
lola: 176482785 markings, 584136962 edges, 211678 markings/sec, 635 secs
lola: 177857736 markings, 588257482 edges, 274990 markings/sec, 640 secs
lola: 179063985 markings, 592377630 edges, 241250 markings/sec, 645 secs
lola: 180077313 markings, 596503625 edges, 202666 markings/sec, 650 secs
lola: 181797875 markings, 600723837 edges, 344112 markings/sec, 655 secs
lola: 183383121 markings, 605496150 edges, 317049 markings/sec, 660 secs
lola: 184850198 markings, 610260202 edges, 293415 markings/sec, 665 secs
lola: 186426784 markings, 614924446 edges, 315317 markings/sec, 670 secs
lola: 187836903 markings, 619607123 edges, 282024 markings/sec, 675 secs
lola: 189350719 markings, 624109906 edges, 302763 markings/sec, 680 secs
lola: 190670898 markings, 628582524 edges, 264036 markings/sec, 685 secs
lola: 191729113 markings, 633075614 edges, 211643 markings/sec, 690 secs
lola: 193257530 markings, 637636436 edges, 305683 markings/sec, 695 secs
lola: 194692307 markings, 642210148 edges, 286955 markings/sec, 700 secs
lola: 196140597 markings, 646684752 edges, 289658 markings/sec, 705 secs
lola: 197568802 markings, 651080901 edges, 285641 markings/sec, 710 secs
lola: 198735185 markings, 655497448 edges, 233277 markings/sec, 715 secs
lola: 200318110 markings, 660122454 edges, 316585 markings/sec, 720 secs
lola: 201737451 markings, 664786742 edges, 283868 markings/sec, 725 secs
lola: 203210136 markings, 669232495 edges, 294537 markings/sec, 730 secs
lola: 204609491 markings, 673652986 edges, 279871 markings/sec, 735 secs
lola: 205711358 markings, 678100314 edges, 220373 markings/sec, 740 secs
lola: 206989401 markings, 682417507 edges, 255609 markings/sec, 745 secs
lola: 208365716 markings, 686662835 edges, 275263 markings/sec, 750 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown 13 unknown 13 13
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown 13 unknown 13 13
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown 13 unknown 13 13
lola: memory consumption: 8637864 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 13 13 13 unknown unknown unknown unknown unknown unknown unknown 13 unknown 13 13
lola: memory consumption: 8638112 KB
lola: time consumption: 3570 seconds

BK_STOP 1526818252039

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