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 208K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 116 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 354 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rwxr-xr-x 1 mcc users 46K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is NeighborGrid-PT-d3n3m1t11, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469200219
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527021587104

info: Time: 3600 - MCC
===========================================================================================
prep: translating NeighborGrid-PT-d3n3m1t11 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating NeighborGrid-PT-d3n3m1t11 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ NeighborGrid-PT-d3n3m1t11 @ 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: 189/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 162 transitions, 26 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 27 transition conflict sets
lola: TASK
lola: reading formula from NeighborGrid-PT-d3n3m1t11-UpperBounds.task
lola: MAX(p_2_0_1) : MAX(p_2_2_2) : MAX(p_1_0_2) : MAX(p_2_0_0) : MAX(p_2_0_2) : MAX(p_2_2_1) : MAX(p_2_0_1) : MAX(p_0_1_1) : MAX(p_1_0_2) : MAX(p_1_1_2) : MAX(p_2_2_1) : MAX(p_1_1_1) : MAX(p_2_1_0) : MAX(p_0_2_0) : MAX(p_2_2_2) : MAX(p_2_0_1)
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(p_2_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_0_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1324422 markings, 3634507 edges, 264884 markings/sec, 0 secs
lola: 2605719 markings, 7184689 edges, 256259 markings/sec, 5 secs
lola: 3916058 markings, 10860300 edges, 262068 markings/sec, 10 secs
lola: 5094144 markings, 14192339 edges, 235617 markings/sec, 15 secs
lola: 6280953 markings, 17530333 edges, 237362 markings/sec, 20 secs
lola: 7440209 markings, 20776983 edges, 231851 markings/sec, 25 secs
lola: 8607183 markings, 24036448 edges, 233395 markings/sec, 30 secs
lola: 9760879 markings, 27281798 edges, 230739 markings/sec, 35 secs
lola: 11012989 markings, 30782621 edges, 250422 markings/sec, 40 secs
lola: 12202196 markings, 34072991 edges, 237841 markings/sec, 45 secs
lola: 13306583 markings, 37136073 edges, 220877 markings/sec, 50 secs
lola: 14413574 markings, 40220197 edges, 221398 markings/sec, 55 secs
lola: 15529508 markings, 43378776 edges, 223187 markings/sec, 60 secs
lola: 16848182 markings, 47064058 edges, 263735 markings/sec, 65 secs
lola: 18183423 markings, 50743581 edges, 267048 markings/sec, 70 secs
lola: 19551632 markings, 54580270 edges, 273642 markings/sec, 75 secs
lola: 20871017 markings, 58269668 edges, 263877 markings/sec, 80 secs
lola: 22174104 markings, 61957067 edges, 260617 markings/sec, 85 secs
lola: 23362167 markings, 65354764 edges, 237613 markings/sec, 90 secs
lola: 24679013 markings, 69056461 edges, 263369 markings/sec, 95 secs
lola: 25972726 markings, 72701731 edges, 258743 markings/sec, 100 secs
lola: 27165684 markings, 76029382 edges, 238592 markings/sec, 105 secs
lola: 28427555 markings, 79558852 edges, 252374 markings/sec, 110 secs
lola: 29746221 markings, 83224715 edges, 263733 markings/sec, 115 secs
lola: 30959157 markings, 86628329 edges, 242587 markings/sec, 120 secs
lola: 32071647 markings, 89787473 edges, 222498 markings/sec, 125 secs
lola: 33195828 markings, 92983054 edges, 224836 markings/sec, 130 secs
lola: 34306304 markings, 96153069 edges, 222095 markings/sec, 135 secs
lola: 35503247 markings, 99556188 edges, 239389 markings/sec, 140 secs
lola: 36693560 markings, 102907610 edges, 238063 markings/sec, 145 secs
lola: 37969939 markings, 106456336 edges, 255276 markings/sec, 150 secs
lola: 39213691 markings, 109986337 edges, 248750 markings/sec, 155 secs
lola: 40463468 markings, 113482090 edges, 249955 markings/sec, 160 secs
lola: 41619395 markings, 116741352 edges, 231185 markings/sec, 165 secs
lola: 42749802 markings, 119929879 edges, 226081 markings/sec, 170 secs
lola: 43823170 markings, 122939708 edges, 214674 markings/sec, 175 secs
lola: 44859818 markings, 125844199 edges, 207330 markings/sec, 180 secs
lola: 45938085 markings, 128857114 edges, 215653 markings/sec, 185 secs
lola: 47136458 markings, 132224562 edges, 239675 markings/sec, 190 secs
lola: 48264391 markings, 135495461 edges, 225587 markings/sec, 195 secs
lola: 49308212 markings, 138444618 edges, 208764 markings/sec, 200 secs
lola: 50473264 markings, 141713636 edges, 233010 markings/sec, 205 secs
lola: 51512519 markings, 144635868 edges, 207851 markings/sec, 210 secs
lola: 52605063 markings, 147699553 edges, 218509 markings/sec, 215 secs
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(p_2_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_2_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1543380 markings, 3786622 edges, 308676 markings/sec, 0 secs
lola: 3006136 markings, 7382348 edges, 292551 markings/sec, 5 secs
lola: 4428399 markings, 10919346 edges, 284453 markings/sec, 10 secs
lola: 5735373 markings, 14274626 edges, 261395 markings/sec, 15 secs
lola: 7076368 markings, 17608379 edges, 268199 markings/sec, 20 secs
lola: 8461981 markings, 20995097 edges, 277123 markings/sec, 25 secs
lola: 9745907 markings, 24194441 edges, 256785 markings/sec, 30 secs
lola: 11033930 markings, 27389854 edges, 257605 markings/sec, 35 secs
lola: 12285732 markings, 30530834 edges, 250360 markings/sec, 40 secs
lola: 13666351 markings, 34030496 edges, 276124 markings/sec, 45 secs
lola: 15111685 markings, 37595502 edges, 289067 markings/sec, 50 secs
lola: 16570445 markings, 41156883 edges, 291752 markings/sec, 55 secs
lola: 17969400 markings, 44606972 edges, 279791 markings/sec, 60 secs
lola: 19380896 markings, 48058703 edges, 282299 markings/sec, 65 secs
lola: 20739551 markings, 51453671 edges, 271731 markings/sec, 70 secs
lola: 22082317 markings, 54834273 edges, 268553 markings/sec, 75 secs
lola: 23428784 markings, 58192426 edges, 269293 markings/sec, 80 secs
lola: 24801252 markings, 61638395 edges, 274494 markings/sec, 85 secs
lola: 26148183 markings, 65055824 edges, 269386 markings/sec, 90 secs
lola: 27506193 markings, 68496722 edges, 271602 markings/sec, 95 secs
lola: 28866996 markings, 71958614 edges, 272161 markings/sec, 100 secs
lola: 30287030 markings, 75500303 edges, 284007 markings/sec, 105 secs
lola: 31697864 markings, 78967488 edges, 282167 markings/sec, 110 secs
lola: 33106247 markings, 82411060 edges, 281677 markings/sec, 115 secs
lola: 34475286 markings, 85805447 edges, 273808 markings/sec, 120 secs
lola: 35862377 markings, 89310905 edges, 277418 markings/sec, 125 secs
lola: 37161159 markings, 92657865 edges, 259756 markings/sec, 130 secs
lola: 38503525 markings, 96099577 edges, 268473 markings/sec, 135 secs
lola: 39839409 markings, 99565584 edges, 267177 markings/sec, 140 secs
lola: 41163412 markings, 103006615 edges, 264801 markings/sec, 145 secs
lola: 42485502 markings, 106448588 edges, 264418 markings/sec, 150 secs
lola: 43735284 markings, 109758326 edges, 249956 markings/sec, 155 secs
lola: 44998125 markings, 113057769 edges, 252568 markings/sec, 160 secs
lola: 46287350 markings, 116498967 edges, 257845 markings/sec, 165 secs
lola: 47580486 markings, 119938941 edges, 258627 markings/sec, 170 secs
lola: 48949062 markings, 123432177 edges, 273715 markings/sec, 175 secs
lola: 50332418 markings, 126990303 edges, 276671 markings/sec, 180 secs
lola: 51741973 markings, 130541181 edges, 281911 markings/sec, 185 secs
lola: 52406030 markings, 132190862 edges, 132811 markings/sec, 190 secs
lola: 52446496 markings, 132292948 edges, 8093 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_1_0_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_1_0_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1411082 markings, 3840627 edges, 282216 markings/sec, 0 secs
lola: 2743100 markings, 7517769 edges, 266404 markings/sec, 5 secs
lola: 4034598 markings, 11104773 edges, 258300 markings/sec, 10 secs
lola: 5318884 markings, 14632413 edges, 256857 markings/sec, 15 secs
lola: 6575069 markings, 18146459 edges, 251237 markings/sec, 20 secs
lola: 7803897 markings, 21581684 edges, 245766 markings/sec, 25 secs
lola: 8993145 markings, 24908894 edges, 237850 markings/sec, 30 secs
lola: 10159858 markings, 28105633 edges, 233343 markings/sec, 35 secs
lola: 11368946 markings, 31407555 edges, 241818 markings/sec, 40 secs
lola: 12637830 markings, 34867181 edges, 253777 markings/sec, 45 secs
lola: 13909170 markings, 38428072 edges, 254268 markings/sec, 50 secs
lola: 15087221 markings, 41781141 edges, 235610 markings/sec, 55 secs
lola: 16234557 markings, 44879362 edges, 229467 markings/sec, 60 secs
lola: 17370066 markings, 48022367 edges, 227102 markings/sec, 65 secs
lola: 18546934 markings, 51220506 edges, 235374 markings/sec, 70 secs
lola: 19623675 markings, 54254111 edges, 215348 markings/sec, 75 secs
lola: SUBRESULT
lola: result: 27
lola: produced by: state space
lola: The maximum value of the given expression is 27
lola: 19682809 markings, 54413311 edges

FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-2 27 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_0_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_0_0)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1448814 markings, 3471173 edges, 289763 markings/sec, 0 secs
lola: 2761254 markings, 6634728 edges, 262488 markings/sec, 5 secs
lola: 4046401 markings, 9819992 edges, 257029 markings/sec, 10 secs
lola: 5302098 markings, 12805472 edges, 251139 markings/sec, 15 secs
lola: 6574603 markings, 15978252 edges, 254501 markings/sec, 20 secs
lola: 7862938 markings, 19114514 edges, 257667 markings/sec, 25 secs
lola: 9116789 markings, 22285221 edges, 250770 markings/sec, 30 secs
lola: 10387223 markings, 25373961 edges, 254087 markings/sec, 35 secs
lola: 11653077 markings, 28403540 edges, 253171 markings/sec, 40 secs
lola: 12896564 markings, 31397758 edges, 248697 markings/sec, 45 secs
lola: 14150903 markings, 34508961 edges, 250868 markings/sec, 50 secs
lola: 15297169 markings, 37316980 edges, 229253 markings/sec, 55 secs
lola: 16409469 markings, 40115570 edges, 222460 markings/sec, 60 secs
lola: 17502351 markings, 42817889 edges, 218576 markings/sec, 65 secs
lola: 18568179 markings, 45443361 edges, 213166 markings/sec, 70 secs
lola: 19731517 markings, 48159045 edges, 232668 markings/sec, 75 secs
lola: 20978179 markings, 51155796 edges, 249332 markings/sec, 80 secs
lola: 22204887 markings, 54163390 edges, 245342 markings/sec, 85 secs
lola: 23434643 markings, 57174845 edges, 245951 markings/sec, 90 secs
lola: 24597737 markings, 60097533 edges, 232619 markings/sec, 95 secs
lola: 25826212 markings, 63122779 edges, 245695 markings/sec, 100 secs
lola: 27026163 markings, 66072199 edges, 239990 markings/sec, 105 secs
lola: 28249955 markings, 69083318 edges, 244758 markings/sec, 110 secs
lola: 29445152 markings, 71963634 edges, 239039 markings/sec, 115 secs
lola: 30598402 markings, 74802651 edges, 230650 markings/sec, 120 secs
lola: 31949145 markings, 77989068 edges, 270149 markings/sec, 125 secs
lola: 33381123 markings, 81413851 edges, 286396 markings/sec, 130 secs
lola: 34769244 markings, 84730436 edges, 277624 markings/sec, 135 secs
lola: 36144432 markings, 88017456 edges, 275038 markings/sec, 140 secs
lola: 37517015 markings, 91395729 edges, 274517 markings/sec, 145 secs
lola: 38832052 markings, 94617151 edges, 263007 markings/sec, 150 secs
lola: 40214655 markings, 98015477 edges, 276521 markings/sec, 155 secs
lola: 41541583 markings, 101207991 edges, 265386 markings/sec, 160 secs
lola: 42783293 markings, 104310539 edges, 248342 markings/sec, 165 secs
lola: 43970886 markings, 107267346 edges, 237519 markings/sec, 170 secs
lola: 45246714 markings, 110402470 edges, 255166 markings/sec, 175 secs
lola: 46190164 markings, 112729276 edges, 188690 markings/sec, 180 secs
lola: 46227012 markings, 112814124 edges, 7370 markings/sec, 185 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_0_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_0_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1361946 markings, 3837370 edges, 272389 markings/sec, 0 secs
lola: 2591767 markings, 7287326 edges, 245964 markings/sec, 5 secs
lola: 3954586 markings, 11139195 edges, 272564 markings/sec, 10 secs
lola: 5210519 markings, 14731647 edges, 251187 markings/sec, 15 secs
lola: 6461472 markings, 18412844 edges, 250191 markings/sec, 20 secs
lola: 7691015 markings, 21973382 edges, 245909 markings/sec, 25 secs
lola: 8957478 markings, 25531792 edges, 253293 markings/sec, 30 secs
lola: 10269603 markings, 29277422 edges, 262425 markings/sec, 35 secs
lola: 11492403 markings, 32756094 edges, 244560 markings/sec, 40 secs
lola: 12707436 markings, 36188925 edges, 243007 markings/sec, 45 secs
lola: 13947916 markings, 39745771 edges, 248096 markings/sec, 50 secs
lola: 15135990 markings, 43175362 edges, 237615 markings/sec, 55 secs
lola: 16182488 markings, 46159793 edges, 209300 markings/sec, 60 secs
lola: 17221483 markings, 49122622 edges, 207799 markings/sec, 65 secs
lola: 18301636 markings, 52193299 edges, 216031 markings/sec, 70 secs
lola: 19425463 markings, 55379440 edges, 224765 markings/sec, 75 secs
lola: 20521474 markings, 58506142 edges, 219202 markings/sec, 80 secs
lola: 21623552 markings, 61729452 edges, 220416 markings/sec, 85 secs
lola: 22890656 markings, 65355745 edges, 253421 markings/sec, 90 secs
lola: 24070873 markings, 68732527 edges, 236043 markings/sec, 95 secs
lola: 25213857 markings, 71972483 edges, 228597 markings/sec, 100 secs
lola: 26373733 markings, 75355112 edges, 231975 markings/sec, 105 secs
lola: 27596284 markings, 78845248 edges, 244510 markings/sec, 110 secs
lola: 28816974 markings, 82311432 edges, 244138 markings/sec, 115 secs
lola: 30010235 markings, 85743891 edges, 238652 markings/sec, 120 secs
lola: 31233711 markings, 89243036 edges, 244695 markings/sec, 125 secs
lola: 32469680 markings, 92818011 edges, 247194 markings/sec, 130 secs
lola: 33748691 markings, 96501054 edges, 255802 markings/sec, 135 secs
lola: 34998498 markings, 100093673 edges, 249961 markings/sec, 140 secs
lola: 36150069 markings, 103446516 edges, 230314 markings/sec, 145 secs
lola: 37344416 markings, 106859766 edges, 238869 markings/sec, 150 secs
lola: 38545353 markings, 110258854 edges, 240187 markings/sec, 155 secs
lola: 39669006 markings, 113440953 edges, 224731 markings/sec, 160 secs
lola: 40832762 markings, 116793703 edges, 232751 markings/sec, 165 secs
lola: 42143498 markings, 120492203 edges, 262147 markings/sec, 170 secs
lola: 43420442 markings, 124171549 edges, 255389 markings/sec, 175 secs
lola: 44698050 markings, 127842782 edges, 255522 markings/sec, 180 secs
lola: 45988954 markings, 131550066 edges, 258181 markings/sec, 185 secs
lola: 47240387 markings, 135135287 edges, 250287 markings/sec, 190 secs
lola: 48482882 markings, 138718526 edges, 248499 markings/sec, 195 secs
lola: 49651990 markings, 142074281 edges, 233822 markings/sec, 200 secs
lola: 50830208 markings, 145392822 edges, 235644 markings/sec, 205 secs
lola: 51946159 markings, 148603056 edges, 223190 markings/sec, 210 secs
lola: 53071092 markings, 151810318 edges, 224987 markings/sec, 215 secs
lola: 54176274 markings, 155056749 edges, 221036 markings/sec, 220 secs
lola: 55316577 markings, 158326073 edges, 228061 markings/sec, 225 secs
lola: 56428071 markings, 161474673 edges, 222299 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_2_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1182656 markings, 3223590 edges, 236531 markings/sec, 0 secs
lola: 2333912 markings, 6407586 edges, 230251 markings/sec, 5 secs
lola: 3418049 markings, 9439003 edges, 216827 markings/sec, 10 secs
lola: 4502468 markings, 12434225 edges, 216884 markings/sec, 15 secs
lola: 5564726 markings, 15380461 edges, 212452 markings/sec, 20 secs
lola: 6640406 markings, 18347992 edges, 215136 markings/sec, 25 secs
lola: 7705612 markings, 21326068 edges, 213041 markings/sec, 30 secs
lola: 8783722 markings, 24308503 edges, 215622 markings/sec, 35 secs
lola: 9901723 markings, 27402430 edges, 223600 markings/sec, 40 secs
lola: 10964873 markings, 30381677 edges, 212630 markings/sec, 45 secs
lola: 12082431 markings, 33494076 edges, 223512 markings/sec, 50 secs
lola: 13140835 markings, 36491871 edges, 211681 markings/sec, 55 secs
lola: 14256903 markings, 39582420 edges, 223214 markings/sec, 60 secs
lola: 15399515 markings, 42737566 edges, 228522 markings/sec, 65 secs
lola: 16500090 markings, 45780262 edges, 220115 markings/sec, 70 secs
lola: 17584424 markings, 48802338 edges, 216867 markings/sec, 75 secs
lola: 18587333 markings, 51684359 edges, 200582 markings/sec, 80 secs
lola: 19647312 markings, 54652090 edges, 211996 markings/sec, 85 secs
lola: 20681365 markings, 57621532 edges, 206811 markings/sec, 90 secs
lola: 21777806 markings, 60696722 edges, 219288 markings/sec, 95 secs
lola: 22889643 markings, 63799465 edges, 222367 markings/sec, 100 secs
lola: 23949186 markings, 66754864 edges, 211909 markings/sec, 105 secs
lola: 25054487 markings, 69810921 edges, 221060 markings/sec, 110 secs
lola: 26142737 markings, 72847708 edges, 217650 markings/sec, 115 secs
lola: 27157616 markings, 75703774 edges, 202976 markings/sec, 120 secs
lola: 28245664 markings, 78716871 edges, 217610 markings/sec, 125 secs
lola: 29254744 markings, 81590681 edges, 201816 markings/sec, 130 secs
lola: 30194961 markings, 84378808 edges, 188043 markings/sec, 135 secs
lola: 31178456 markings, 87234925 edges, 196699 markings/sec, 140 secs
lola: 32220048 markings, 90110235 edges, 208318 markings/sec, 145 secs
lola: 33179379 markings, 92933119 edges, 191866 markings/sec, 150 secs
lola: 34218755 markings, 95851195 edges, 207875 markings/sec, 155 secs
lola: 35235742 markings, 98700891 edges, 203397 markings/sec, 160 secs
lola: 36234533 markings, 101484927 edges, 199758 markings/sec, 165 secs
lola: 37287172 markings, 104404909 edges, 210528 markings/sec, 170 secs
lola: 38299436 markings, 107250869 edges, 202453 markings/sec, 175 secs
lola: 39339398 markings, 110180229 edges, 207992 markings/sec, 180 secs
lola: 40322535 markings, 113080930 edges, 196627 markings/sec, 185 secs
lola: 41351114 markings, 115983645 edges, 205716 markings/sec, 190 secs
lola: 42368277 markings, 118906034 edges, 203433 markings/sec, 195 secs
lola: 43323789 markings, 121636228 edges, 191102 markings/sec, 200 secs
lola: 44337084 markings, 124536270 edges, 202659 markings/sec, 205 secs
lola: 45280679 markings, 127310952 edges, 188719 markings/sec, 210 secs
lola: 46346719 markings, 130308406 edges, 213208 markings/sec, 215 secs
lola: 47302667 markings, 133168206 edges, 191190 markings/sec, 220 secs
lola: 48302324 markings, 135976378 edges, 199931 markings/sec, 225 secs
lola: 49296143 markings, 138816868 edges, 198764 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_0_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1429875 markings, 3919028 edges, 285975 markings/sec, 0 secs
lola: 2815657 markings, 7774519 edges, 277156 markings/sec, 5 secs
lola: 4140614 markings, 11498823 edges, 264991 markings/sec, 10 secs
lola: 5413992 markings, 15088644 edges, 254676 markings/sec, 15 secs
lola: 6705697 markings, 18732745 edges, 258341 markings/sec, 20 secs
lola: 8004724 markings, 22349078 edges, 259805 markings/sec, 25 secs
lola: 9247427 markings, 25843625 edges, 248541 markings/sec, 30 secs
lola: 10613489 markings, 29664625 edges, 273212 markings/sec, 35 secs
lola: 11991305 markings, 33485067 edges, 275563 markings/sec, 40 secs
lola: 13257587 markings, 37000761 edges, 253256 markings/sec, 45 secs
lola: 14475570 markings, 40401618 edges, 243597 markings/sec, 50 secs
lola: 15740336 markings, 43971857 edges, 252953 markings/sec, 55 secs
lola: 17055440 markings, 47644118 edges, 263021 markings/sec, 60 secs
lola: 18353572 markings, 51219676 edges, 259626 markings/sec, 65 secs
lola: 19698974 markings, 54990604 edges, 269080 markings/sec, 70 secs
lola: 21049790 markings, 58774193 edges, 270163 markings/sec, 75 secs
lola: 22343778 markings, 62446714 edges, 258798 markings/sec, 80 secs
lola: 23645940 markings, 66166580 edges, 260432 markings/sec, 85 secs
lola: 25020830 markings, 70022567 edges, 274978 markings/sec, 90 secs
lola: 26302744 markings, 73616110 edges, 256383 markings/sec, 95 secs
lola: 27510332 markings, 77000759 edges, 241518 markings/sec, 100 secs
lola: 28829458 markings, 80686486 edges, 263825 markings/sec, 105 secs
lola: 30105327 markings, 84236233 edges, 255174 markings/sec, 110 secs
lola: 31252150 markings, 87455686 edges, 229365 markings/sec, 115 secs
lola: 32375208 markings, 90657456 edges, 224612 markings/sec, 120 secs
lola: 33474089 markings, 93767705 edges, 219776 markings/sec, 125 secs
lola: 34582918 markings, 96959405 edges, 221766 markings/sec, 130 secs
lola: 35768016 markings, 100300024 edges, 237020 markings/sec, 135 secs
lola: 37014621 markings, 103792262 edges, 249321 markings/sec, 140 secs
lola: 38309325 markings, 107421118 edges, 258941 markings/sec, 145 secs
lola: 39554951 markings, 110938468 edges, 249125 markings/sec, 150 secs
lola: 40779093 markings, 114363422 edges, 244828 markings/sec, 155 secs
lola: 41949411 markings, 117667569 edges, 234064 markings/sec, 160 secs
lola: 43071078 markings, 120828942 edges, 224333 markings/sec, 165 secs
lola: 44169743 markings, 123929160 edges, 219733 markings/sec, 170 secs
lola: 45328053 markings, 127156231 edges, 231662 markings/sec, 175 secs
lola: 46429829 markings, 130240116 edges, 220355 markings/sec, 180 secs
lola: 47530706 markings, 133355742 edges, 220175 markings/sec, 185 secs
lola: 48548627 markings, 136306467 edges, 203584 markings/sec, 190 secs
lola: 49609590 markings, 139283944 edges, 212193 markings/sec, 195 secs
lola: 50753152 markings, 142498501 edges, 228712 markings/sec, 200 secs
lola: 51766878 markings, 145351163 edges, 202745 markings/sec, 205 secs
lola: 52848377 markings, 148371523 edges, 216300 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_0_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_0_1_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1489894 markings, 3391005 edges, 297979 markings/sec, 0 secs
lola: 2964529 markings, 6732287 edges, 294927 markings/sec, 5 secs
lola: 4443100 markings, 10099464 edges, 295714 markings/sec, 10 secs
lola: 5764769 markings, 13199276 edges, 264334 markings/sec, 15 secs
lola: 7156334 markings, 16401931 edges, 278313 markings/sec, 20 secs
lola: 8472476 markings, 19471192 edges, 263228 markings/sec, 25 secs
lola: 9743657 markings, 22473738 edges, 254236 markings/sec, 30 secs
lola: 11032057 markings, 25462329 edges, 257680 markings/sec, 35 secs
lola: 12267580 markings, 28390795 edges, 247105 markings/sec, 40 secs
lola: 13602199 markings, 31470203 edges, 266924 markings/sec, 45 secs
lola: 14882602 markings, 34466217 edges, 256081 markings/sec, 50 secs
lola: 16140545 markings, 37478473 edges, 251589 markings/sec, 55 secs
lola: 17388045 markings, 40525765 edges, 249500 markings/sec, 60 secs
lola: 18727337 markings, 43658447 edges, 267858 markings/sec, 65 secs
lola: 20037255 markings, 46669866 edges, 261984 markings/sec, 70 secs
lola: 21213393 markings, 49407958 edges, 235228 markings/sec, 75 secs
lola: 22374277 markings, 52122598 edges, 232177 markings/sec, 80 secs
lola: 23532755 markings, 54825699 edges, 231696 markings/sec, 85 secs
lola: 24826958 markings, 57856033 edges, 258841 markings/sec, 90 secs
lola: 26159992 markings, 60984650 edges, 266607 markings/sec, 95 secs
lola: 27476851 markings, 64029852 edges, 263372 markings/sec, 100 secs
lola: 28772293 markings, 67069599 edges, 259088 markings/sec, 105 secs
lola: 30037952 markings, 70031724 edges, 253132 markings/sec, 110 secs
lola: 31281831 markings, 72970810 edges, 248776 markings/sec, 115 secs
lola: 32548911 markings, 75965282 edges, 253416 markings/sec, 120 secs
lola: 33805932 markings, 78926600 edges, 251404 markings/sec, 125 secs
lola: 35094368 markings, 81993232 edges, 257687 markings/sec, 130 secs
lola: 36371142 markings, 85023656 edges, 255355 markings/sec, 135 secs
lola: 37691500 markings, 88163190 edges, 264072 markings/sec, 140 secs
lola: 39002162 markings, 91261577 edges, 262132 markings/sec, 145 secs
lola: 40337534 markings, 94354735 edges, 267074 markings/sec, 150 secs
lola: 41653650 markings, 97448070 edges, 263223 markings/sec, 155 secs
lola: 42891545 markings, 100419744 edges, 247579 markings/sec, 160 secs
lola: 44217706 markings, 103513876 edges, 265232 markings/sec, 165 secs
lola: 45474510 markings, 106536361 edges, 251361 markings/sec, 170 secs
lola: 46772926 markings, 109619076 edges, 259683 markings/sec, 175 secs
lola: 48014050 markings, 112642965 edges, 248225 markings/sec, 180 secs
lola: 49232148 markings, 115573818 edges, 243620 markings/sec, 185 secs
lola: 50510490 markings, 118622007 edges, 255668 markings/sec, 190 secs
lola: 51879491 markings, 121786025 edges, 273800 markings/sec, 195 secs
lola: 53307347 markings, 125031725 edges, 285571 markings/sec, 200 secs
lola: 54684037 markings, 128201297 edges, 275338 markings/sec, 205 secs
lola: 55910407 markings, 131096422 edges, 245274 markings/sec, 210 secs
lola: 57136118 markings, 133973974 edges, 245142 markings/sec, 215 secs
lola: 58417686 markings, 136974059 edges, 256314 markings/sec, 220 secs
lola: 59546643 markings, 139704792 edges, 225791 markings/sec, 225 secs
lola: 60761499 markings, 142532519 edges, 242971 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 242 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_1_0_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_1_0_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1399756 markings, 3809616 edges, 279951 markings/sec, 0 secs
lola: 2621248 markings, 7182820 edges, 244298 markings/sec, 5 secs
lola: 3763551 markings, 10363570 edges, 228461 markings/sec, 10 secs
lola: 4978820 markings, 13694943 edges, 243054 markings/sec, 15 secs
lola: 6130069 markings, 16894049 edges, 230250 markings/sec, 20 secs
lola: 7199067 markings, 19855152 edges, 213800 markings/sec, 25 secs
lola: 8220457 markings, 22728688 edges, 204278 markings/sec, 30 secs
lola: 9293825 markings, 25717703 edges, 214674 markings/sec, 35 secs
lola: 10484959 markings, 29005239 edges, 238227 markings/sec, 40 secs
lola: 11697685 markings, 32319560 edges, 242545 markings/sec, 45 secs
lola: 12979057 markings, 35814454 edges, 256274 markings/sec, 50 secs
lola: 14190152 markings, 39213288 edges, 242219 markings/sec, 55 secs
lola: 15283017 markings, 42296479 edges, 218573 markings/sec, 60 secs
lola: 16396908 markings, 45339555 edges, 222778 markings/sec, 65 secs
lola: 17483980 markings, 48335513 edges, 217414 markings/sec, 70 secs
lola: 18663099 markings, 51535506 edges, 235824 markings/sec, 75 secs
lola: SUBRESULT
lola: result: 27
lola: produced by: state space
lola: The maximum value of the given expression is 27
lola: 19682809 markings, 54413311 edges
lola: ========================================

FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-8 27 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_1_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_1_1_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1289903 markings, 2982883 edges, 257981 markings/sec, 0 secs
lola: 2508846 markings, 5849863 edges, 243789 markings/sec, 5 secs
lola: 3719220 markings, 8777972 edges, 242075 markings/sec, 10 secs
lola: 4761536 markings, 11330405 edges, 208463 markings/sec, 15 secs
lola: 5846847 markings, 14019857 edges, 217062 markings/sec, 20 secs
lola: 6921224 markings, 16643684 edges, 214875 markings/sec, 25 secs
lola: 7968996 markings, 19183664 edges, 209554 markings/sec, 30 secs
lola: 8975389 markings, 21746234 edges, 201279 markings/sec, 35 secs
lola: 10023019 markings, 24322658 edges, 209526 markings/sec, 40 secs
lola: 11092064 markings, 26908040 edges, 213809 markings/sec, 45 secs
lola: 12196108 markings, 29657940 edges, 220809 markings/sec, 50 secs
lola: 13239887 markings, 32241341 edges, 208756 markings/sec, 55 secs
lola: 14325352 markings, 34889637 edges, 217093 markings/sec, 60 secs
lola: 15509623 markings, 37801221 edges, 236854 markings/sec, 65 secs
lola: 16617855 markings, 40587577 edges, 221646 markings/sec, 70 secs
lola: 17626165 markings, 43157421 edges, 201662 markings/sec, 75 secs
lola: 18683076 markings, 45758417 edges, 211382 markings/sec, 80 secs
lola: 19663620 markings, 48168408 edges, 196109 markings/sec, 85 secs
lola: 20624304 markings, 50600496 edges, 192137 markings/sec, 90 secs
lola: 21578948 markings, 52958880 edges, 190929 markings/sec, 95 secs
lola: 22524281 markings, 55328277 edges, 189067 markings/sec, 100 secs
lola: 23458667 markings, 57766612 edges, 186877 markings/sec, 105 secs
lola: 24525831 markings, 60398577 edges, 213433 markings/sec, 110 secs
lola: 25652184 markings, 63108608 edges, 225271 markings/sec, 115 secs
lola: 26827506 markings, 65898978 edges, 235064 markings/sec, 120 secs
lola: 27949587 markings, 68575466 edges, 224416 markings/sec, 125 secs
lola: 28975582 markings, 71277855 edges, 205199 markings/sec, 130 secs
lola: 30078852 markings, 73930112 edges, 220654 markings/sec, 135 secs
lola: 31113539 markings, 76439492 edges, 206937 markings/sec, 140 secs
lola: 32014095 markings, 78679092 edges, 180111 markings/sec, 145 secs
lola: 32884123 markings, 80872749 edges, 174006 markings/sec, 150 secs
lola: 33926461 markings, 83402819 edges, 208468 markings/sec, 155 secs
lola: 34870291 markings, 85826715 edges, 188766 markings/sec, 160 secs
lola: 35842768 markings, 88238659 edges, 194495 markings/sec, 165 secs
lola: 36739566 markings, 90527544 edges, 179360 markings/sec, 170 secs
lola: 37689772 markings, 92989002 edges, 190041 markings/sec, 175 secs
lola: 38678274 markings, 95443690 edges, 197700 markings/sec, 180 secs
lola: 39648639 markings, 98017166 edges, 194073 markings/sec, 185 secs
lola: 40613066 markings, 100530990 edges, 192885 markings/sec, 190 secs
lola: 41586080 markings, 102946229 edges, 194603 markings/sec, 195 secs
lola: 42632558 markings, 105530571 edges, 209296 markings/sec, 200 secs
lola: 43598830 markings, 108035413 edges, 193254 markings/sec, 205 secs
lola: 44642776 markings, 110587242 edges, 208789 markings/sec, 210 secs
lola: 45697549 markings, 113195960 edges, 210955 markings/sec, 215 secs
lola: 46719305 markings, 115811551 edges, 204351 markings/sec, 220 secs
lola: 47914365 markings, 118612395 edges, 239012 markings/sec, 225 secs
lola: 48939000 markings, 121167342 edges, 204927 markings/sec, 230 secs
lola: 49904615 markings, 123684265 edges, 193123 markings/sec, 235 secs
lola: 50976787 markings, 126282474 edges, 214434 markings/sec, 240 secs
lola: 51902170 markings, 128748253 edges, 185077 markings/sec, 245 secs
lola: 52798398 markings, 131011101 edges, 179246 markings/sec, 250 secs
lola: 53761716 markings, 133426780 edges, 192664 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_2_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1213306 markings, 3312997 edges, 242661 markings/sec, 0 secs
lola: 2357680 markings, 6472724 edges, 228875 markings/sec, 5 secs
lola: 3434978 markings, 9490146 edges, 215460 markings/sec, 10 secs
lola: 4515824 markings, 12470410 edges, 216169 markings/sec, 15 secs
lola: 5593305 markings, 15457771 edges, 215496 markings/sec, 20 secs
lola: 6657297 markings, 18393964 edges, 212798 markings/sec, 25 secs
lola: 7729319 markings, 21388305 edges, 214404 markings/sec, 30 secs
lola: 8709359 markings, 24093647 edges, 196008 markings/sec, 35 secs
lola: 9700316 markings, 26858534 edges, 198191 markings/sec, 40 secs
lola: 10729535 markings, 29723339 edges, 205844 markings/sec, 45 secs
lola: 11779549 markings, 32659423 edges, 210003 markings/sec, 50 secs
lola: 12857964 markings, 35708901 edges, 215683 markings/sec, 55 secs
lola: 13923074 markings, 38664611 edges, 213022 markings/sec, 60 secs
lola: 14952995 markings, 41501520 edges, 205984 markings/sec, 65 secs
lola: 15947349 markings, 44266118 edges, 198871 markings/sec, 70 secs
lola: 16910814 markings, 46954116 edges, 192693 markings/sec, 75 secs
lola: 17896313 markings, 49688395 edges, 197100 markings/sec, 80 secs
lola: 18823307 markings, 52339989 edges, 185399 markings/sec, 85 secs
lola: 19863188 markings, 55258248 edges, 207976 markings/sec, 90 secs
lola: 20924505 markings, 58281057 edges, 212263 markings/sec, 95 secs
lola: 22067459 markings, 61488809 edges, 228591 markings/sec, 100 secs
lola: 23149429 markings, 64549497 edges, 216394 markings/sec, 105 secs
lola: 24280715 markings, 67675833 edges, 226257 markings/sec, 110 secs
lola: 25412132 markings, 70798287 edges, 226283 markings/sec, 115 secs
lola: 26497659 markings, 73882440 edges, 217105 markings/sec, 120 secs
lola: 27549457 markings, 76791724 edges, 210360 markings/sec, 125 secs
lola: 28641779 markings, 79836862 edges, 218464 markings/sec, 130 secs
lola: 29644622 markings, 82768069 edges, 200569 markings/sec, 135 secs
lola: 30659014 markings, 85678599 edges, 202878 markings/sec, 140 secs
lola: 31647460 markings, 88552196 edges, 197689 markings/sec, 145 secs
lola: 32720355 markings, 91554242 edges, 214579 markings/sec, 150 secs
lola: 33758621 markings, 94543984 edges, 207653 markings/sec, 155 secs
lola: 34741841 markings, 97308718 edges, 196644 markings/sec, 160 secs
lola: 35670894 markings, 99920583 edges, 185811 markings/sec, 165 secs
lola: 36602850 markings, 102507251 edges, 186391 markings/sec, 170 secs
lola: 37554746 markings, 105181999 edges, 190379 markings/sec, 175 secs
lola: 38521878 markings, 107871825 edges, 193426 markings/sec, 180 secs
lola: 39449706 markings, 110512341 edges, 185566 markings/sec, 185 secs
lola: 40328573 markings, 113097975 edges, 175773 markings/sec, 190 secs
lola: 41288917 markings, 115807235 edges, 192069 markings/sec, 195 secs
lola: 42224211 markings, 118467512 edges, 187059 markings/sec, 200 secs
lola: 43125057 markings, 121081522 edges, 180169 markings/sec, 205 secs
lola: 44139281 markings, 123959975 edges, 202845 markings/sec, 210 secs
lola: 45125291 markings, 126854258 edges, 197202 markings/sec, 215 secs
lola: 46205582 markings, 129915187 edges, 216058 markings/sec, 220 secs
lola: 47187653 markings, 132801518 edges, 196414 markings/sec, 225 secs
lola: 48213083 markings, 135725528 edges, 205086 markings/sec, 230 secs
lola: 49239290 markings, 138657119 edges, 205241 markings/sec, 235 secs
lola: 50220915 markings, 141570630 edges, 196325 markings/sec, 240 secs
lola: 51200569 markings, 144450242 edges, 195931 markings/sec, 245 secs
lola: 52233762 markings, 147421101 edges, 206639 markings/sec, 250 secs
lola: 53244741 markings, 150366369 edges, 202196 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_1_1_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1464279 markings, 3476487 edges, 292856 markings/sec, 0 secs
lola: 2719505 markings, 6537005 edges, 251045 markings/sec, 5 secs
lola: 3915106 markings, 9487061 edges, 239120 markings/sec, 10 secs
lola: 4988634 markings, 12112832 edges, 214706 markings/sec, 15 secs
lola: 6052405 markings, 14716233 edges, 212754 markings/sec, 20 secs
lola: 7149993 markings, 17388542 edges, 219518 markings/sec, 25 secs
lola: 8427997 markings, 20448645 edges, 255601 markings/sec, 30 secs
lola: 9694228 markings, 23490923 edges, 253246 markings/sec, 35 secs
lola: 10934934 markings, 26462881 edges, 248141 markings/sec, 40 secs
lola: 12186722 markings, 29471253 edges, 250358 markings/sec, 45 secs
lola: 13498861 markings, 32620007 edges, 262428 markings/sec, 50 secs
lola: 14773786 markings, 35672487 edges, 254985 markings/sec, 55 secs
lola: 16016033 markings, 38634995 edges, 248449 markings/sec, 60 secs
lola: 17195602 markings, 41505682 edges, 235914 markings/sec, 65 secs
lola: 18319463 markings, 44283568 edges, 224772 markings/sec, 70 secs
lola: 19489397 markings, 47093366 edges, 233987 markings/sec, 75 secs
lola: 20668316 markings, 49923760 edges, 235784 markings/sec, 80 secs
lola: 21838928 markings, 52726935 edges, 234122 markings/sec, 85 secs
lola: 23030366 markings, 55585816 edges, 238288 markings/sec, 90 secs
lola: 24241946 markings, 58499698 edges, 242316 markings/sec, 95 secs
lola: 25445871 markings, 61384685 edges, 240785 markings/sec, 100 secs
lola: 26694387 markings, 64365557 edges, 249703 markings/sec, 105 secs
lola: 27864629 markings, 67173063 edges, 234048 markings/sec, 110 secs
lola: 29052994 markings, 69994925 edges, 237673 markings/sec, 115 secs
lola: 30208596 markings, 72805935 edges, 231120 markings/sec, 120 secs
lola: 31304838 markings, 75497780 edges, 219248 markings/sec, 125 secs
lola: 32380449 markings, 78126985 edges, 215122 markings/sec, 130 secs
lola: 33476368 markings, 80813496 edges, 219184 markings/sec, 135 secs
lola: 34615315 markings, 83548951 edges, 227789 markings/sec, 140 secs
lola: 35668810 markings, 86145353 edges, 210699 markings/sec, 145 secs
lola: 36836204 markings, 88960325 edges, 233479 markings/sec, 150 secs
lola: 38018443 markings, 91792197 edges, 236448 markings/sec, 155 secs
lola: 39215801 markings, 94662741 edges, 239472 markings/sec, 160 secs
lola: 40414001 markings, 97538854 edges, 239640 markings/sec, 165 secs
lola: 41635665 markings, 100466883 edges, 244333 markings/sec, 170 secs
lola: 42869180 markings, 103427637 edges, 246703 markings/sec, 175 secs
lola: 44070627 markings, 106304419 edges, 240289 markings/sec, 180 secs
lola: 45238959 markings, 109091243 edges, 233666 markings/sec, 185 secs
lola: 46408150 markings, 111905876 edges, 233838 markings/sec, 190 secs
lola: 47619257 markings, 114782094 edges, 242221 markings/sec, 195 secs
lola: 48771698 markings, 117568956 edges, 230488 markings/sec, 200 secs
lola: 49837569 markings, 120219179 edges, 213174 markings/sec, 205 secs
lola: 50912506 markings, 122879630 edges, 214987 markings/sec, 210 secs
lola: 52026788 markings, 125601337 edges, 222856 markings/sec, 215 secs
lola: 53127900 markings, 128235724 edges, 220222 markings/sec, 220 secs
lola: 54204149 markings, 130827652 edges, 215250 markings/sec, 225 secs
lola: 55311879 markings, 133484812 edges, 221546 markings/sec, 230 secs
lola: 56447493 markings, 136204500 edges, 227123 markings/sec, 235 secs
lola: 57576813 markings, 138907775 edges, 225864 markings/sec, 240 secs
lola: 58710512 markings, 141619518 edges, 226740 markings/sec, 245 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_1_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_1_0)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1267097 markings, 2788702 edges, 253419 markings/sec, 0 secs
lola: 2381024 markings, 5520610 edges, 222785 markings/sec, 5 secs
lola: 3567739 markings, 8456314 edges, 237343 markings/sec, 10 secs
lola: 4764277 markings, 11443977 edges, 239308 markings/sec, 15 secs
lola: 6002549 markings, 14443882 edges, 247654 markings/sec, 20 secs
lola: 7215076 markings, 17443483 edges, 242505 markings/sec, 25 secs
lola: 8471166 markings, 20536026 edges, 251218 markings/sec, 30 secs
lola: 9698003 markings, 23576259 edges, 245367 markings/sec, 35 secs
lola: 10899916 markings, 26553184 edges, 240383 markings/sec, 40 secs
lola: 12120541 markings, 29491333 edges, 244125 markings/sec, 45 secs
lola: 13290044 markings, 32380621 edges, 233901 markings/sec, 50 secs
lola: 14498970 markings, 35270937 edges, 241785 markings/sec, 55 secs
lola: 15652315 markings, 38205226 edges, 230669 markings/sec, 60 secs
lola: 16847407 markings, 41228192 edges, 239018 markings/sec, 65 secs
lola: 18044143 markings, 44134066 edges, 239347 markings/sec, 70 secs
lola: 19231663 markings, 47057490 edges, 237504 markings/sec, 75 secs
lola: 20412364 markings, 49894712 edges, 236140 markings/sec, 80 secs
lola: 21562013 markings, 52744680 edges, 229930 markings/sec, 85 secs
lola: 22680589 markings, 55605377 edges, 223715 markings/sec, 90 secs
lola: 23822939 markings, 58431194 edges, 228470 markings/sec, 95 secs
lola: 24966946 markings, 61276897 edges, 228801 markings/sec, 100 secs
lola: 26174743 markings, 64212916 edges, 241559 markings/sec, 105 secs
lola: 27338933 markings, 67066893 edges, 232838 markings/sec, 110 secs
lola: 28492376 markings, 69850417 edges, 230689 markings/sec, 115 secs
lola: 29661382 markings, 72787575 edges, 233801 markings/sec, 120 secs
lola: 30868058 markings, 75744861 edges, 241335 markings/sec, 125 secs
lola: 32050872 markings, 78607185 edges, 236563 markings/sec, 130 secs
lola: 33152469 markings, 81366909 edges, 220319 markings/sec, 135 secs
lola: 34277910 markings, 84190598 edges, 225088 markings/sec, 140 secs
lola: 35480928 markings, 87080199 edges, 240604 markings/sec, 145 secs
lola: 36665109 markings, 89955713 edges, 236836 markings/sec, 150 secs
lola: 37799966 markings, 92801305 edges, 226971 markings/sec, 155 secs
lola: 39014619 markings, 95783770 edges, 242931 markings/sec, 160 secs
lola: 40190633 markings, 98695992 edges, 235203 markings/sec, 165 secs
lola: 41377185 markings, 101600389 edges, 237310 markings/sec, 170 secs
lola: 42546757 markings, 104517003 edges, 233914 markings/sec, 175 secs
lola: 43690518 markings, 107365349 edges, 228752 markings/sec, 180 secs
lola: 44868480 markings, 110275452 edges, 235592 markings/sec, 185 secs
lola: 46015593 markings, 113113016 edges, 229423 markings/sec, 190 secs
lola: 47082037 markings, 115876277 edges, 213289 markings/sec, 195 secs
lola: 48204575 markings, 118688542 edges, 224508 markings/sec, 200 secs
lola: 49291366 markings, 121488485 edges, 217358 markings/sec, 205 secs
lola: 50439476 markings, 124327772 edges, 229622 markings/sec, 210 secs
lola: 51564008 markings, 127168558 edges, 224906 markings/sec, 215 secs
lola: 52727308 markings, 130056698 edges, 232660 markings/sec, 220 secs
lola: 53946694 markings, 133066816 edges, 243877 markings/sec, 225 secs
lola: 55136282 markings, 136049471 edges, 237918 markings/sec, 230 secs
lola: 56358891 markings, 139057904 edges, 244522 markings/sec, 235 secs
lola: 57546155 markings, 142009853 edges, 237453 markings/sec, 240 secs
lola: 58722094 markings, 144902494 edges, 235188 markings/sec, 245 secs
lola: 59899392 markings, 147851656 edges, 235460 markings/sec, 250 secs
lola: 60965904 markings, 150558799 edges, 213302 markings/sec, 255 secs
lola: 62078063 markings, 153370226 edges, 222432 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_0_2_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_0_2_0)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1357014 markings, 3391760 edges, 271403 markings/sec, 0 secs
lola: 2681648 markings, 6714678 edges, 264927 markings/sec, 5 secs
lola: 3971553 markings, 9971437 edges, 257981 markings/sec, 10 secs
lola: 5274482 markings, 13244957 edges, 260586 markings/sec, 15 secs
lola: 6572490 markings, 16515090 edges, 259602 markings/sec, 20 secs
lola: 7841294 markings, 19728031 edges, 253761 markings/sec, 25 secs
lola: 9091656 markings, 22944346 edges, 250072 markings/sec, 30 secs
lola: 10335476 markings, 26198191 edges, 248764 markings/sec, 35 secs
lola: 11598071 markings, 29468744 edges, 252519 markings/sec, 40 secs
lola: 12898329 markings, 32784070 edges, 260052 markings/sec, 45 secs
lola: 14158659 markings, 36062989 edges, 252066 markings/sec, 50 secs
lola: 15396252 markings, 39253482 edges, 247519 markings/sec, 55 secs
lola: 16685216 markings, 42529938 edges, 257793 markings/sec, 60 secs
lola: 17977209 markings, 45813004 edges, 258399 markings/sec, 65 secs
lola: 19263082 markings, 49016072 edges, 257175 markings/sec, 70 secs
lola: 20541244 markings, 52264532 edges, 255632 markings/sec, 75 secs
lola: 21795322 markings, 55522769 edges, 250816 markings/sec, 80 secs
lola: 23058859 markings, 58835651 edges, 252707 markings/sec, 85 secs
lola: 24340504 markings, 62149228 edges, 256329 markings/sec, 90 secs
lola: 25596499 markings, 65356123 edges, 251199 markings/sec, 95 secs
lola: 26862285 markings, 68636988 edges, 253157 markings/sec, 100 secs
lola: 28117934 markings, 71927759 edges, 251130 markings/sec, 105 secs
lola: 29366070 markings, 75239834 edges, 249627 markings/sec, 110 secs
lola: 30615925 markings, 78535222 edges, 249971 markings/sec, 115 secs
lola: 31862050 markings, 81781099 edges, 249225 markings/sec, 120 secs
lola: 33046476 markings, 84922281 edges, 236885 markings/sec, 125 secs
lola: 34249393 markings, 88083541 edges, 240583 markings/sec, 130 secs
lola: 35496008 markings, 91331350 edges, 249323 markings/sec, 135 secs
lola: 36778610 markings, 94682450 edges, 256520 markings/sec, 140 secs
lola: 38075088 markings, 97969242 edges, 259296 markings/sec, 145 secs
lola: 39335315 markings, 101162289 edges, 252045 markings/sec, 150 secs
lola: 40607769 markings, 104453354 edges, 254491 markings/sec, 155 secs
lola: 41877472 markings, 107712813 edges, 253941 markings/sec, 160 secs
lola: 43172755 markings, 111112192 edges, 259057 markings/sec, 165 secs
lola: 44437217 markings, 114364896 edges, 252892 markings/sec, 170 secs
lola: 45674577 markings, 117576304 edges, 247472 markings/sec, 175 secs
lola: 46929175 markings, 120872919 edges, 250920 markings/sec, 180 secs
lola: 48121659 markings, 124012503 edges, 238497 markings/sec, 185 secs
lola: 49354051 markings, 127154223 edges, 246478 markings/sec, 190 secs
lola: 50626330 markings, 130440963 edges, 254456 markings/sec, 195 secs
lola: 51921880 markings, 133801508 edges, 259110 markings/sec, 200 secs
lola: 53225425 markings, 137138519 edges, 260709 markings/sec, 205 secs
lola: 54448570 markings, 140382920 edges, 244629 markings/sec, 210 secs
lola: 55701865 markings, 143705558 edges, 250659 markings/sec, 215 secs
lola: 56932828 markings, 146981480 edges, 246193 markings/sec, 220 secs
lola: 58150732 markings, 150195579 edges, 243581 markings/sec, 225 secs
lola: 59434859 markings, 153486385 edges, 256825 markings/sec, 230 secs
lola: 60740769 markings, 156868817 edges, 261182 markings/sec, 235 secs
lola: 61995369 markings, 160135326 edges, 250920 markings/sec, 240 secs
lola: 63250961 markings, 163317617 edges, 251118 markings/sec, 245 secs
lola: 64491929 markings, 166593972 edges, 248194 markings/sec, 250 secs
lola: 64779419 markings, 167384931 edges, 57498 markings/sec, 255 secs
lola: 64795052 markings, 167428854 edges, 3127 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 266 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_2_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1595200 markings, 3913091 edges, 319040 markings/sec, 0 secs
lola: 3104877 markings, 7624409 edges, 301935 markings/sec, 5 secs
lola: 4572743 markings, 11283735 edges, 293573 markings/sec, 10 secs
lola: 5991973 markings, 14933196 edges, 283846 markings/sec, 15 secs
lola: 7471799 markings, 18568234 edges, 295965 markings/sec, 20 secs
lola: 8956934 markings, 22220933 edges, 297027 markings/sec, 25 secs
lola: 10413334 markings, 25845937 edges, 291280 markings/sec, 30 secs
lola: 11836379 markings, 29395852 edges, 284609 markings/sec, 35 secs
lola: 13221592 markings, 32881700 edges, 277043 markings/sec, 40 secs
lola: 14635512 markings, 36437170 edges, 282784 markings/sec, 45 secs
lola: 16055080 markings, 39899269 edges, 283914 markings/sec, 50 secs
lola: 17391568 markings, 43178674 edges, 267298 markings/sec, 55 secs
lola: 18774871 markings, 46569899 edges, 276661 markings/sec, 60 secs
lola: 20168073 markings, 50027709 edges, 278640 markings/sec, 65 secs
lola: 21552424 markings, 53511306 edges, 276870 markings/sec, 70 secs
lola: 22934320 markings, 56978839 edges, 276379 markings/sec, 75 secs
lola: 24317390 markings, 60415902 edges, 276614 markings/sec, 80 secs
lola: 25616336 markings, 63697991 edges, 259789 markings/sec, 85 secs
lola: 26826175 markings, 66774456 edges, 241968 markings/sec, 90 secs
lola: 28113997 markings, 70040610 edges, 257564 markings/sec, 95 secs
lola: 29346445 markings, 73176838 edges, 246490 markings/sec, 100 secs
lola: 30654959 markings, 76399558 edges, 261703 markings/sec, 105 secs
lola: 31880565 markings, 79412246 edges, 245121 markings/sec, 110 secs
lola: 33183704 markings, 82605573 edges, 260628 markings/sec, 115 secs
lola: 34470461 markings, 85793559 edges, 257351 markings/sec, 120 secs
lola: 35717947 markings, 88944530 edges, 249497 markings/sec, 125 secs
lola: 36962155 markings, 92145904 edges, 248842 markings/sec, 130 secs
lola: 38221471 markings, 95372448 edges, 251863 markings/sec, 135 secs
lola: 39419233 markings, 98469311 edges, 239552 markings/sec, 140 secs
lola: 40717204 markings, 101840216 edges, 259594 markings/sec, 145 secs
lola: 42043780 markings, 105289823 edges, 265315 markings/sec, 150 secs
lola: 43344605 markings, 108732342 edges, 260165 markings/sec, 155 secs
lola: 44648362 markings, 112126438 edges, 260751 markings/sec, 160 secs
lola: 45957595 markings, 115610110 edges, 261847 markings/sec, 165 secs
lola: 47223783 markings, 118986106 edges, 253238 markings/sec, 170 secs
lola: 48444736 markings, 122204696 edges, 244191 markings/sec, 175 secs
lola: 49825353 markings, 125726470 edges, 276123 markings/sec, 180 secs
lola: 51198308 markings, 129158224 edges, 274591 markings/sec, 185 secs
lola: 52397587 markings, 132184513 edges, 239856 markings/sec, 190 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_0_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1406462 markings, 3856882 edges, 281292 markings/sec, 0 secs
lola: 2736391 markings, 7552308 edges, 265986 markings/sec, 5 secs
lola: 3977697 markings, 11035391 edges, 248261 markings/sec, 10 secs
lola: 5137829 markings, 14314489 edges, 232026 markings/sec, 15 secs
lola: 6396607 markings, 17854898 edges, 251756 markings/sec, 20 secs
lola: 7649070 markings, 21362673 edges, 250493 markings/sec, 25 secs
lola: 8916464 markings, 24914308 edges, 253479 markings/sec, 30 secs
lola: 10254913 markings, 28657280 edges, 267690 markings/sec, 35 secs
lola: 11660867 markings, 32565421 edges, 281191 markings/sec, 40 secs
lola: 12959054 markings, 36169236 edges, 259637 markings/sec, 45 secs
lola: 14242983 markings, 39752070 edges, 256786 markings/sec, 50 secs
lola: 15529394 markings, 43378457 edges, 257282 markings/sec, 55 secs
lola: 16854262 markings, 47080443 edges, 264974 markings/sec, 60 secs
lola: 18190087 markings, 50762138 edges, 267165 markings/sec, 65 secs
lola: 19543698 markings, 54559827 edges, 270722 markings/sec, 70 secs
lola: 20872702 markings, 58274118 edges, 265801 markings/sec, 75 secs
lola: 22218163 markings, 62084557 edges, 269092 markings/sec, 80 secs
lola: 23464623 markings, 65649063 edges, 249292 markings/sec, 85 secs
lola: 24824407 markings, 69469975 edges, 271957 markings/sec, 90 secs
lola: 26146669 markings, 73184039 edges, 264452 markings/sec, 95 secs
lola: 27268365 markings, 76315985 edges, 224339 markings/sec, 100 secs
lola: 28418829 markings, 79534337 edges, 230093 markings/sec, 105 secs
lola: 29609670 markings, 82842829 edges, 238168 markings/sec, 110 secs
lola: 30809280 markings, 86215818 edges, 239922 markings/sec, 115 secs
lola: 31968711 markings, 89494472 edges, 231886 markings/sec, 120 secs
lola: 33073266 markings, 92632777 edges, 220911 markings/sec, 125 secs
lola: 34240182 markings, 95957661 edges, 233383 markings/sec, 130 secs
lola: 35454681 markings, 99422011 edges, 242900 markings/sec, 135 secs
lola: 36714725 markings, 102966773 edges, 252009 markings/sec, 140 secs
lola: 38028299 markings, 106625983 edges, 262715 markings/sec, 145 secs
lola: 39266214 markings, 110138851 edges, 247583 markings/sec, 150 secs
lola: 40541633 markings, 113698610 edges, 255084 markings/sec, 155 secs
lola: 41726779 markings, 117047434 edges, 237029 markings/sec, 160 secs
lola: 42887378 markings, 120311768 edges, 232120 markings/sec, 165 secs
lola: 44034383 markings, 123541425 edges, 229401 markings/sec, 170 secs
lola: 45204080 markings, 126809454 edges, 233939 markings/sec, 175 secs
lola: 46467001 markings, 130343980 edges, 252584 markings/sec, 180 secs
lola: 47722840 markings, 133916457 edges, 251168 markings/sec, 185 secs
lola: 48831220 markings, 137100594 edges, 221676 markings/sec, 190 secs
lola: 49978246 markings, 140324821 edges, 229405 markings/sec, 195 secs
lola: 51109264 markings, 143510600 edges, 226204 markings/sec, 200 secs
lola: 52196820 markings, 146564889 edges, 217511 markings/sec, 205 secs
lola: 52896281 markings, 148503510 edges, 139892 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p_2_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p_2_0_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file NeighborGrid-PT-d3n3m1t11-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: 27
lola: 1447495 markings, 3967797 edges, 289499 markings/sec, 0 secs
lola: 2843647 markings, 7858264 edges, 279230 markings/sec, 5 secs
lola: 4187016 markings, 11631563 edges, 268674 markings/sec, 10 secs
lola: 5529745 markings, 15419395 edges, 268546 markings/sec, 15 secs
lola: 6854355 markings, 19140448 edges, 264922 markings/sec, 20 secs
lola: 8195914 markings, 22894837 edges, 268312 markings/sec, 25 secs
lola: 9500902 markings, 26555532 edges, 260998 markings/sec, 30 secs
lola: 10831646 markings, 30277947 edges, 266149 markings/sec, 35 secs
lola: 12070743 markings, 33703219 edges, 247819 markings/sec, 40 secs
lola: 13182966 markings, 36794596 edges, 222445 markings/sec, 45 secs
lola: 14349829 markings, 40048470 edges, 233373 markings/sec, 50 secs
lola: 15632494 markings, 43664047 edges, 256533 markings/sec, 55 secs
lola: 17002606 markings, 47497241 edges, 274022 markings/sec, 60 secs
lola: 18357799 markings, 51230402 edges, 271039 markings/sec, 65 secs
lola: 19672872 markings, 54917294 edges, 263015 markings/sec, 70 secs
lola: 20887196 markings, 58314363 edges, 242865 markings/sec, 75 secs
lola: 22077908 markings, 61683064 edges, 238142 markings/sec, 80 secs
lola: 23283560 markings, 65127325 edges, 241130 markings/sec, 85 secs
lola: 24500969 markings, 68550950 edges, 243482 markings/sec, 90 secs
lola: 25683880 markings, 71887975 edges, 236582 markings/sec, 95 secs
lola: 26842945 markings, 75118835 edges, 231813 markings/sec, 100 secs
lola: 28052528 markings, 78502070 edges, 241917 markings/sec, 105 secs
lola: 29405268 markings, 82275284 edges, 270548 markings/sec, 110 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 27 unknown unknown unknown unknown unknown 27 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 13072 KB
lola: time consumption: 3570 seconds

BK_STOP 1527025157705

--------------------
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="NeighborGrid-PT-d3n3m1t11"
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/NeighborGrid-PT-d3n3m1t11.tgz
mv NeighborGrid-PT-d3n3m1t11 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 NeighborGrid-PT-d3n3m1t11, 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 r112-csrt-152666469200219"
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 ;