Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.1K Feb 11 06:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 11 06:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 7 05:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 7 05:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 12:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 12:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 31 07:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 07:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-00
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-01
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-02
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-03
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-04
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-05
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-06
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-07
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-08
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-09
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-10
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-11
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-12
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-13
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-14
FORMULA_NAME JoinFreeModules-PT-0200-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552874405435

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0200 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0200 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0200 @ 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: 2602/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 32032
lola: finding significant places
lola: 1001 places, 1601 transitions, 800 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1801 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0200-UpperBounds.task
lola: MAX(p737) : MAX(p39) : MAX(p816) : MAX(p326) : MAX(p832) : MAX(p741) : MAX(p742) : MAX(p36) : MAX(p264) : MAX(p631) : MAX(p948) : MAX(p182) : MAX(p788) : MAX(p319) : MAX(p208) : MAX(p375)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p737)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p737)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 311385 markings, 487292 edges, 62277 markings/sec, 0 secs
lola: 575767 markings, 1302380 edges, 52876 markings/sec, 5 secs
lola: 804377 markings, 2100570 edges, 45722 markings/sec, 10 secs
lola: 1026706 markings, 2889327 edges, 44466 markings/sec, 15 secs
lola: 1244463 markings, 3670342 edges, 43551 markings/sec, 20 secs
lola: 1460838 markings, 4449130 edges, 43275 markings/sec, 25 secs
lola: 1676411 markings, 5230630 edges, 43115 markings/sec, 30 secs
lola: 1890082 markings, 6009934 edges, 42734 markings/sec, 35 secs
lola: 2106868 markings, 6798565 edges, 43357 markings/sec, 40 secs
lola: 2322028 markings, 7584742 edges, 43032 markings/sec, 45 secs
lola: 2533930 markings, 8356040 edges, 42380 markings/sec, 50 secs
lola: 2742544 markings, 9123792 edges, 41723 markings/sec, 55 secs
lola: 2950837 markings, 9888006 edges, 41659 markings/sec, 60 secs
lola: 3157859 markings, 10651029 edges, 41404 markings/sec, 65 secs
lola: 3365862 markings, 11415261 edges, 41601 markings/sec, 70 secs
lola: 3572338 markings, 12174269 edges, 41295 markings/sec, 75 secs
lola: 3770278 markings, 12904046 edges, 39588 markings/sec, 80 secs
lola: 3958264 markings, 13599770 edges, 37597 markings/sec, 85 secs
lola: 4144734 markings, 14288101 edges, 37294 markings/sec, 90 secs
lola: 4332667 markings, 14983202 edges, 37587 markings/sec, 95 secs
lola: 4535862 markings, 15735628 edges, 40639 markings/sec, 100 secs
lola: 4739171 markings, 16488609 edges, 40662 markings/sec, 105 secs
lola: 4942362 markings, 17241311 edges, 40638 markings/sec, 110 secs
lola: 5145531 markings, 17994984 edges, 40634 markings/sec, 115 secs
lola: 5348606 markings, 18745991 edges, 40615 markings/sec, 120 secs
lola: 5552298 markings, 19500533 edges, 40738 markings/sec, 125 secs
lola: 5759254 markings, 20267927 edges, 41391 markings/sec, 130 secs
lola: 5965224 markings, 21031523 edges, 41194 markings/sec, 135 secs
lola: 6171989 markings, 21800626 edges, 41353 markings/sec, 140 secs
lola: 6378558 markings, 22569374 edges, 41314 markings/sec, 145 secs
lola: 6583960 markings, 23330483 edges, 41080 markings/sec, 150 secs
lola: 6782651 markings, 24071339 edges, 39738 markings/sec, 155 secs
lola: 6980551 markings, 24811909 edges, 39580 markings/sec, 160 secs
lola: 7180267 markings, 25553915 edges, 39943 markings/sec, 165 secs
lola: 7376679 markings, 26287497 edges, 39282 markings/sec, 170 secs
lola: 7576600 markings, 27028964 edges, 39984 markings/sec, 175 secs
lola: 7775486 markings, 27768741 edges, 39777 markings/sec, 180 secs
lola: 7974480 markings, 28505247 edges, 39799 markings/sec, 185 secs
lola: 8172299 markings, 29240491 edges, 39564 markings/sec, 190 secs
lola: 8367954 markings, 29972868 edges, 39131 markings/sec, 195 secs
lola: 8564845 markings, 30705704 edges, 39378 markings/sec, 200 secs
lola: 8760049 markings, 31436380 edges, 39041 markings/sec, 205 secs
lola: 8955616 markings, 32166800 edges, 39113 markings/sec, 210 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: 1679744 KB
lola: time consumption: 283 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p39)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 203
lola: 94246 markings, 281383 edges, 18849 markings/sec, 25 secs
lola: 325434 markings, 1053416 edges, 46238 markings/sec, 30 secs
lola: 544426 markings, 1815817 edges, 43798 markings/sec, 35 secs
lola: 759491 markings, 2573209 edges, 43013 markings/sec, 40 secs
lola: 971712 markings, 3325677 edges, 42444 markings/sec, 45 secs
lola: 1180259 markings, 4076652 edges, 41709 markings/sec, 50 secs
lola: 1384547 markings, 4816911 edges, 40858 markings/sec, 55 secs
lola: 1583735 markings, 5537205 edges, 39838 markings/sec, 60 secs
lola: 1784931 markings, 6266604 edges, 40239 markings/sec, 65 secs
lola: 1982589 markings, 6987131 edges, 39532 markings/sec, 70 secs
lola: 2181998 markings, 7719860 edges, 39882 markings/sec, 75 secs
lola: 2381239 markings, 8451011 edges, 39848 markings/sec, 80 secs
lola: 2582630 markings, 9188978 edges, 40278 markings/sec, 85 secs
lola: 2781746 markings, 9920978 edges, 39823 markings/sec, 90 secs
lola: 2980090 markings, 10654198 edges, 39669 markings/sec, 95 secs
lola: 3178246 markings, 11386157 edges, 39631 markings/sec, 100 secs
lola: 3374112 markings, 12110174 edges, 39173 markings/sec, 105 secs
lola: 3565312 markings, 12818349 edges, 38240 markings/sec, 110 secs
lola: 3756369 markings, 13528596 edges, 38211 markings/sec, 115 secs
lola: 3949142 markings, 14244618 edges, 38555 markings/sec, 120 secs
lola: 4144954 markings, 14970945 edges, 39162 markings/sec, 125 secs
lola: 4339367 markings, 15697807 edges, 38883 markings/sec, 130 secs
lola: 4534472 markings, 16424363 edges, 39021 markings/sec, 135 secs
lola: 4729531 markings, 17147933 edges, 39012 markings/sec, 140 secs
lola: 4923384 markings, 17873534 edges, 38771 markings/sec, 145 secs
lola: 5115524 markings, 18595319 edges, 38428 markings/sec, 150 secs
lola: 5309910 markings, 19318722 edges, 38877 markings/sec, 155 secs
lola: 5503931 markings, 20041333 edges, 38804 markings/sec, 160 secs
lola: 5695786 markings, 20759985 edges, 38371 markings/sec, 165 secs
lola: 5887040 markings, 21478873 edges, 38251 markings/sec, 170 secs
lola: 6082198 markings, 22212467 edges, 39032 markings/sec, 175 secs
lola: 6278794 markings, 22953044 edges, 39319 markings/sec, 180 secs
lola: 6474469 markings, 23692253 edges, 39135 markings/sec, 185 secs
lola: 6670308 markings, 24432453 edges, 39168 markings/sec, 190 secs
lola: 6867168 markings, 25170725 edges, 39372 markings/sec, 195 secs
lola: 7063238 markings, 25909431 edges, 39214 markings/sec, 200 secs
lola: 7257188 markings, 26642300 edges, 38790 markings/sec, 205 secs
lola: 7453250 markings, 27381981 edges, 39212 markings/sec, 210 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: 3026448 KB
lola: time consumption: 502 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p816)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p816)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 238414 markings, 518036 edges, 47683 markings/sec, 0 secs
lola: 590677 markings, 1350137 edges, 70453 markings/sec, 5 secs
lola: 908239 markings, 2178582 edges, 63512 markings/sec, 10 secs
lola: 1205619 markings, 3003365 edges, 59476 markings/sec, 15 secs
lola: 1492442 markings, 3821770 edges, 57365 markings/sec, 20 secs
lola: 1763967 markings, 4635950 edges, 54305 markings/sec, 25 secs
lola: 2029899 markings, 5439296 edges, 53186 markings/sec, 30 secs
lola: 2289928 markings, 6237265 edges, 52006 markings/sec, 35 secs
lola: 2539777 markings, 7036633 edges, 49970 markings/sec, 40 secs
lola: 2786989 markings, 7828432 edges, 49442 markings/sec, 45 secs
lola: 3032386 markings, 8629210 edges, 49079 markings/sec, 50 secs
lola: 3283610 markings, 9434670 edges, 50245 markings/sec, 55 secs
lola: 3530489 markings, 10242141 edges, 49376 markings/sec, 60 secs
lola: 3779491 markings, 11049604 edges, 49800 markings/sec, 65 secs
lola: 4017693 markings, 11859923 edges, 47640 markings/sec, 70 secs
lola: 4262289 markings, 12666559 edges, 48919 markings/sec, 75 secs
lola: 4500320 markings, 13469107 edges, 47606 markings/sec, 80 secs
lola: 4741088 markings, 14276539 edges, 48154 markings/sec, 85 secs
lola: 4977600 markings, 15091322 edges, 47302 markings/sec, 90 secs
lola: 5208647 markings, 15890620 edges, 46209 markings/sec, 95 secs
lola: 5447529 markings, 16698701 edges, 47776 markings/sec, 100 secs
lola: 5682910 markings, 17512066 edges, 47076 markings/sec, 105 secs
lola: 5919304 markings, 18322321 edges, 47279 markings/sec, 110 secs
lola: 6148069 markings, 19116664 edges, 45753 markings/sec, 115 secs
lola: 6374496 markings, 19903657 edges, 45285 markings/sec, 120 secs
lola: 6600753 markings, 20690125 edges, 45251 markings/sec, 125 secs
lola: 6823286 markings, 21481556 edges, 44507 markings/sec, 130 secs
lola: 7045710 markings, 22257870 edges, 44485 markings/sec, 135 secs
lola: 7268730 markings, 23045572 edges, 44604 markings/sec, 140 secs
lola: 7490709 markings, 23832503 edges, 44396 markings/sec, 145 secs
lola: 7714551 markings, 24620509 edges, 44768 markings/sec, 150 secs
lola: 7936333 markings, 25407139 edges, 44356 markings/sec, 155 secs
lola: 8158360 markings, 26192510 edges, 44405 markings/sec, 160 secs
lola: 8383896 markings, 26983192 edges, 45107 markings/sec, 165 secs
lola: 8607287 markings, 27774036 edges, 44678 markings/sec, 170 secs
lola: 8826868 markings, 28566247 edges, 43916 markings/sec, 175 secs
lola: 9047706 markings, 29358685 edges, 44168 markings/sec, 180 secs
lola: 9269884 markings, 30148179 edges, 44436 markings/sec, 185 secs
lola: 9494675 markings, 30960361 edges, 44958 markings/sec, 190 secs
lola: 9725101 markings, 31775000 edges, 46085 markings/sec, 195 secs
lola: 9942707 markings, 32568720 edges, 43521 markings/sec, 200 secs
lola: 10159542 markings, 33364116 edges, 43367 markings/sec, 205 secs
lola: 10379983 markings, 34152378 edges, 44088 markings/sec, 210 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: 1134256 KB
lola: time consumption: 721 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p326)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p326)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 202376 markings, 440008 edges, 40475 markings/sec, 0 secs
lola: 532250 markings, 1204521 edges, 65975 markings/sec, 5 secs
lola: 824356 markings, 1956665 edges, 58421 markings/sec, 10 secs
lola: 1097837 markings, 2698569 edges, 54696 markings/sec, 15 secs
lola: 1363591 markings, 3453705 edges, 53151 markings/sec, 20 secs
lola: 1619235 markings, 4203422 edges, 51129 markings/sec, 25 secs
lola: 1864937 markings, 4939338 edges, 49140 markings/sec, 30 secs
lola: 2114605 markings, 5698041 edges, 49934 markings/sec, 35 secs
lola: 2359725 markings, 6458863 edges, 49024 markings/sec, 40 secs
lola: 2599725 markings, 7224966 edges, 48000 markings/sec, 45 secs
lola: 2836605 markings, 7987710 edges, 47376 markings/sec, 50 secs
lola: 3071000 markings, 8751185 edges, 46879 markings/sec, 55 secs
lola: 3308093 markings, 9514755 edges, 47419 markings/sec, 60 secs
lola: 3541039 markings, 10278952 edges, 46589 markings/sec, 65 secs
lola: 3775932 markings, 11037703 edges, 46979 markings/sec, 70 secs
lola: 3992479 markings, 11771635 edges, 43309 markings/sec, 75 secs
lola: 4220933 markings, 12532148 edges, 45691 markings/sec, 80 secs
lola: 4449199 markings, 13293735 edges, 45653 markings/sec, 85 secs
lola: 4652059 markings, 13976856 edges, 40572 markings/sec, 90 secs
lola: 4850117 markings, 14647935 edges, 39612 markings/sec, 95 secs
lola: 5043977 markings, 15323640 edges, 38772 markings/sec, 100 secs
lola: 5260216 markings, 16061579 edges, 43248 markings/sec, 105 secs
lola: 5475090 markings, 16791395 edges, 42975 markings/sec, 110 secs
lola: 5677795 markings, 17494680 edges, 40541 markings/sec, 115 secs
lola: 5890408 markings, 18222931 edges, 42523 markings/sec, 120 secs
lola: 6094472 markings, 18935992 edges, 40813 markings/sec, 125 secs
lola: 6305283 markings, 19662015 edges, 42162 markings/sec, 130 secs
lola: 6500095 markings, 20335225 edges, 38962 markings/sec, 135 secs
lola: 6691746 markings, 21021633 edges, 38330 markings/sec, 140 secs
lola: 6899947 markings, 21741703 edges, 41640 markings/sec, 145 secs
lola: 7093712 markings, 22427966 edges, 38753 markings/sec, 150 secs
lola: 7284923 markings, 23101767 edges, 38242 markings/sec, 155 secs
lola: 7473307 markings, 23772451 edges, 37677 markings/sec, 160 secs
lola: 7678861 markings, 24496704 edges, 41111 markings/sec, 165 secs
lola: 7887163 markings, 25229147 edges, 41660 markings/sec, 170 secs
lola: 8099823 markings, 25984271 edges, 42532 markings/sec, 175 secs
lola: 8312462 markings, 26735984 edges, 42528 markings/sec, 180 secs
lola: 8526738 markings, 27485528 edges, 42855 markings/sec, 185 secs
lola: 8737921 markings, 28242769 edges, 42237 markings/sec, 190 secs
lola: 8947909 markings, 29003444 edges, 41998 markings/sec, 195 secs
lola: 9160434 markings, 29754959 edges, 42505 markings/sec, 200 secs
lola: 9369903 markings, 30506800 edges, 41894 markings/sec, 205 secs
lola: 9581370 markings, 31261104 edges, 42293 markings/sec, 210 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: 4292536 KB
lola: time consumption: 940 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p832)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p832)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 321560 markings, 504756 edges, 64312 markings/sec, 0 secs
lola: 594235 markings, 1365351 edges, 54535 markings/sec, 5 secs
lola: 836197 markings, 2212146 edges, 48392 markings/sec, 10 secs
lola: 1074787 markings, 3060618 edges, 47718 markings/sec, 15 secs
lola: 1306628 markings, 3891507 edges, 46368 markings/sec, 20 secs
lola: 1534255 markings, 4714335 edges, 45525 markings/sec, 25 secs
lola: 1759724 markings, 5534608 edges, 45094 markings/sec, 30 secs
lola: 1984396 markings, 6351716 edges, 44934 markings/sec, 35 secs
lola: 2207813 markings, 7166542 edges, 44683 markings/sec, 40 secs
lola: 2429926 markings, 7978274 edges, 44423 markings/sec, 45 secs
lola: 2649383 markings, 8779870 edges, 43891 markings/sec, 50 secs
lola: 2868388 markings, 9584367 edges, 43801 markings/sec, 55 secs
lola: 3085993 markings, 10389022 edges, 43521 markings/sec, 60 secs
lola: 3304801 markings, 11191858 edges, 43762 markings/sec, 65 secs
lola: 3522136 markings, 11990184 edges, 43467 markings/sec, 70 secs
lola: 3737493 markings, 12782108 edges, 43071 markings/sec, 75 secs
lola: 3952660 markings, 13578714 edges, 43033 markings/sec, 80 secs
lola: 4168097 markings, 14376349 edges, 43087 markings/sec, 85 secs
lola: 4384232 markings, 15172783 edges, 43227 markings/sec, 90 secs
lola: 4596195 markings, 15960857 edges, 42393 markings/sec, 95 secs
lola: 4807515 markings, 16743391 edges, 42264 markings/sec, 100 secs
lola: 5020251 markings, 17528882 edges, 42547 markings/sec, 105 secs
lola: 5234607 markings, 18321661 edges, 42871 markings/sec, 110 secs
lola: 5446153 markings, 19108423 edges, 42309 markings/sec, 115 secs
lola: 5658538 markings, 19893189 edges, 42477 markings/sec, 120 secs
lola: 5870341 markings, 20680188 edges, 42361 markings/sec, 125 secs
lola: 6082299 markings, 21466701 edges, 42392 markings/sec, 130 secs
lola: 6292255 markings, 22247486 edges, 41991 markings/sec, 135 secs
lola: 6502884 markings, 23029584 edges, 42126 markings/sec, 140 secs
lola: 6712931 markings, 23810124 edges, 42009 markings/sec, 145 secs
lola: 6920134 markings, 24585990 edges, 41441 markings/sec, 150 secs
lola: 7131617 markings, 25370239 edges, 42297 markings/sec, 155 secs
lola: 7340226 markings, 26150973 edges, 41722 markings/sec, 160 secs
lola: 7550376 markings, 26931020 edges, 42030 markings/sec, 165 secs
lola: 7760141 markings, 27711833 edges, 41953 markings/sec, 170 secs
lola: 7968931 markings, 28485186 edges, 41758 markings/sec, 175 secs
lola: 8173711 markings, 29246004 edges, 40956 markings/sec, 180 secs
lola: 8378000 markings, 30009919 edges, 40858 markings/sec, 185 secs
lola: 8581613 markings, 30768753 edges, 40723 markings/sec, 190 secs
lola: 8784336 markings, 31526122 edges, 40545 markings/sec, 195 secs
lola: 8986995 markings, 32285191 edges, 40532 markings/sec, 200 secs
lola: 9189709 markings, 33040913 edges, 40543 markings/sec, 205 secs
lola: 9382368 markings, 33760246 edges, 38532 markings/sec, 210 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: 1160556 KB
lola: time consumption: 1160 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p741)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p741)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 229251 markings, 498570 edges, 45850 markings/sec, 0 secs
lola: 566065 markings, 1288967 edges, 67363 markings/sec, 5 secs
lola: 864802 markings, 2062864 edges, 59747 markings/sec, 10 secs
lola: 1153034 markings, 2855098 edges, 57646 markings/sec, 15 secs
lola: 1430954 markings, 3647441 edges, 55584 markings/sec, 20 secs
lola: 1698253 markings, 4436735 edges, 53460 markings/sec, 25 secs
lola: 1959652 markings, 5222719 edges, 52280 markings/sec, 30 secs
lola: 2215242 markings, 6010843 edges, 51118 markings/sec, 35 secs
lola: 2465218 markings, 6801473 edges, 49995 markings/sec, 40 secs
lola: 2712783 markings, 7591322 edges, 49513 markings/sec, 45 secs
lola: 2956950 markings, 8380519 edges, 48833 markings/sec, 50 secs
lola: 3203752 markings, 9171587 edges, 49360 markings/sec, 55 secs
lola: 3446307 markings, 9962723 edges, 48511 markings/sec, 60 secs
lola: 3688261 markings, 10752799 edges, 48391 markings/sec, 65 secs
lola: 3926148 markings, 11544171 edges, 47577 markings/sec, 70 secs
lola: 4162352 markings, 12335420 edges, 47241 markings/sec, 75 secs
lola: 4398946 markings, 13124320 edges, 47319 markings/sec, 80 secs
lola: 4623123 markings, 13881789 edges, 44835 markings/sec, 85 secs
lola: 4843413 markings, 14625737 edges, 44058 markings/sec, 90 secs
lola: 5043988 markings, 15323683 edges, 40115 markings/sec, 95 secs
lola: 5245507 markings, 16012351 edges, 40304 markings/sec, 100 secs
lola: 5448935 markings, 16703406 edges, 40686 markings/sec, 105 secs
lola: 5653212 markings, 17409759 edges, 40855 markings/sec, 110 secs
lola: 5853965 markings, 18101647 edges, 40151 markings/sec, 115 secs
lola: 6064569 markings, 18828279 edges, 42121 markings/sec, 120 secs
lola: 6269335 markings, 19537434 edges, 40953 markings/sec, 125 secs
lola: 6474187 markings, 20243807 edges, 40970 markings/sec, 130 secs
lola: 6676634 markings, 20968745 edges, 40489 markings/sec, 135 secs
lola: 6914763 markings, 21795071 edges, 47626 markings/sec, 140 secs
lola: 7145379 markings, 22607848 edges, 46123 markings/sec, 145 secs
lola: 7371857 markings, 23414043 edges, 45296 markings/sec, 150 secs
lola: 7600031 markings, 24220133 edges, 45635 markings/sec, 155 secs
lola: 7827822 markings, 25020431 edges, 45558 markings/sec, 160 secs
lola: 8053779 markings, 25821701 edges, 45191 markings/sec, 165 secs
lola: 8281654 markings, 26626937 edges, 45575 markings/sec, 170 secs
lola: 8508346 markings, 27421680 edges, 45338 markings/sec, 175 secs
lola: 8736514 markings, 28237609 edges, 45634 markings/sec, 180 secs
lola: 8957113 markings, 29035701 edges, 44120 markings/sec, 185 secs
lola: 9180626 markings, 29825042 edges, 44703 markings/sec, 190 secs
lola: 9399729 markings, 30616414 edges, 43821 markings/sec, 195 secs
lola: 9622270 markings, 31403796 edges, 44508 markings/sec, 200 secs
lola: 9837430 markings, 32181118 edges, 43032 markings/sec, 205 secs
lola: 10054724 markings, 32983424 edges, 43459 markings/sec, 210 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: 1621236 KB
lola: time consumption: 1379 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p742)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p742)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 332054 markings, 521981 edges, 66411 markings/sec, 0 secs
lola: 595407 markings, 1369280 edges, 52671 markings/sec, 5 secs
lola: 836392 markings, 2212898 edges, 48197 markings/sec, 10 secs
lola: 1069449 markings, 3041435 edges, 46611 markings/sec, 15 secs
lola: 1290954 markings, 3835869 edges, 44301 markings/sec, 20 secs
lola: 1514470 markings, 4643183 edges, 44703 markings/sec, 25 secs
lola: 1734629 markings, 5442138 edges, 44032 markings/sec, 30 secs
lola: 1955641 markings, 6246435 edges, 44202 markings/sec, 35 secs
lola: 2176572 markings, 7051777 edges, 44186 markings/sec, 40 secs
lola: 2396317 markings, 7855663 edges, 43949 markings/sec, 45 secs
lola: 2610744 markings, 8638559 edges, 42885 markings/sec, 50 secs
lola: 2827160 markings, 9434191 edges, 43283 markings/sec, 55 secs
lola: 3042470 markings, 10227348 edges, 43062 markings/sec, 60 secs
lola: 3258249 markings, 11018352 edges, 43156 markings/sec, 65 secs
lola: 3472126 markings, 11804690 edges, 42775 markings/sec, 70 secs
lola: 3687472 markings, 12599466 edges, 43069 markings/sec, 75 secs
lola: 3900006 markings, 13384400 edges, 42507 markings/sec, 80 secs
lola: 4110207 markings, 14161055 edges, 42040 markings/sec, 85 secs
lola: 4321952 markings, 14943574 edges, 42349 markings/sec, 90 secs
lola: 4533178 markings, 15725484 edges, 42245 markings/sec, 95 secs
lola: 4743641 markings, 16505283 edges, 42093 markings/sec, 100 secs
lola: 4954317 markings, 17285554 edges, 42135 markings/sec, 105 secs
lola: 5163573 markings, 18061181 edges, 41851 markings/sec, 110 secs
lola: 5375387 markings, 18845334 edges, 42363 markings/sec, 115 secs
lola: 5582601 markings, 19612744 edges, 41443 markings/sec, 120 secs
lola: 5788688 markings, 20376856 edges, 41217 markings/sec, 125 secs
lola: 5994701 markings, 21141437 edges, 41203 markings/sec, 130 secs
lola: 6202526 markings, 21914566 edges, 41565 markings/sec, 135 secs
lola: 6407843 markings, 22674952 edges, 41063 markings/sec, 140 secs
lola: 6615836 markings, 23449045 edges, 41599 markings/sec, 145 secs
lola: 6818208 markings, 24203787 edges, 40474 markings/sec, 150 secs
lola: 7018280 markings, 24952363 edges, 40014 markings/sec, 155 secs
lola: 7225094 markings, 25722660 edges, 41363 markings/sec, 160 secs
lola: 7431079 markings, 26488157 edges, 41197 markings/sec, 165 secs
lola: 7635097 markings, 27245864 edges, 40804 markings/sec, 170 secs
lola: 7825043 markings, 27952923 edges, 37989 markings/sec, 175 secs
lola: 8005220 markings, 28620565 edges, 36035 markings/sec, 180 secs
lola: 8186405 markings, 29293626 edges, 36237 markings/sec, 185 secs
lola: 8376380 markings, 30004165 edges, 37995 markings/sec, 190 secs
lola: 8574748 markings, 30743050 edges, 39674 markings/sec, 195 secs
lola: 8772657 markings, 31482505 edges, 39582 markings/sec, 200 secs
lola: 8969243 markings, 32217918 edges, 39317 markings/sec, 205 secs
lola: 9165632 markings, 32952652 edges, 39278 markings/sec, 210 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: 1682204 KB
lola: time consumption: 1598 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p36)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 197356 markings, 428982 edges, 39471 markings/sec, 0 secs
lola: 522843 markings, 1181072 edges, 65097 markings/sec, 5 secs
lola: 815163 markings, 1933020 edges, 58464 markings/sec, 10 secs
lola: 1091428 markings, 2680922 edges, 55253 markings/sec, 15 secs
lola: 1352831 markings, 3422780 edges, 52281 markings/sec, 20 secs
lola: 1594985 markings, 4129491 edges, 48431 markings/sec, 25 secs
lola: 1819020 markings, 4801320 edges, 44807 markings/sec, 30 secs
lola: 2040710 markings, 5473113 edges, 44338 markings/sec, 35 secs
lola: 2257600 markings, 6142155 edges, 43378 markings/sec, 40 secs
lola: 2474747 markings, 6831062 edges, 43429 markings/sec, 45 secs
lola: 2709877 markings, 7582098 edges, 47026 markings/sec, 50 secs
lola: 2939961 markings, 8327544 edges, 46017 markings/sec, 55 secs
lola: 3169153 markings, 9062229 edges, 45838 markings/sec, 60 secs
lola: 3394041 markings, 9789489 edges, 44978 markings/sec, 65 secs
lola: 3614147 markings, 10513593 edges, 44021 markings/sec, 70 secs
lola: 3836299 markings, 11238642 edges, 44430 markings/sec, 75 secs
lola: 4050680 markings, 11962286 edges, 42876 markings/sec, 80 secs
lola: 4267758 markings, 12684584 edges, 43416 markings/sec, 85 secs
lola: 4484709 markings, 13416566 edges, 43390 markings/sec, 90 secs
lola: 4699882 markings, 14137434 edges, 43035 markings/sec, 95 secs
lola: 4909991 markings, 14856949 edges, 42022 markings/sec, 100 secs
lola: 5118869 markings, 15576264 edges, 41776 markings/sec, 105 secs
lola: 5327855 markings, 16293858 edges, 41797 markings/sec, 110 secs
lola: 5545040 markings, 17026805 edges, 43437 markings/sec, 115 secs
lola: 5740550 markings, 17709697 edges, 39102 markings/sec, 120 secs
lola: 5937829 markings, 18385467 edges, 39456 markings/sec, 125 secs
lola: 6154725 markings, 19139344 edges, 43379 markings/sec, 130 secs
lola: 6346618 markings, 19807266 edges, 38379 markings/sec, 135 secs
lola: 6524951 markings, 20420445 edges, 35667 markings/sec, 140 secs
lola: 6703978 markings, 21063279 edges, 35805 markings/sec, 145 secs
lola: 6886742 markings, 21696646 edges, 36553 markings/sec, 150 secs
lola: 7075109 markings, 22357306 edges, 37673 markings/sec, 155 secs
lola: 7256767 markings, 23001394 edges, 36332 markings/sec, 160 secs
lola: 7436043 markings, 23639434 edges, 35855 markings/sec, 165 secs
lola: 7628951 markings, 24318676 edges, 38582 markings/sec, 170 secs
lola: 7834199 markings, 25042843 edges, 41050 markings/sec, 175 secs
lola: 8037445 markings, 25766489 edges, 40649 markings/sec, 180 secs
lola: 8244385 markings, 26492064 edges, 41388 markings/sec, 185 secs
lola: 8451293 markings, 27219707 edges, 41382 markings/sec, 190 secs
lola: 8655176 markings, 27945881 edges, 40777 markings/sec, 195 secs
lola: 8856010 markings, 28672558 edges, 40167 markings/sec, 200 secs
lola: 9058951 markings, 29398138 edges, 40588 markings/sec, 205 secs
lola: 9261965 markings, 30120280 edges, 40603 markings/sec, 210 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: 3563916 KB
lola: time consumption: 1817 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p264)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 151841 markings, 469374 edges, 30368 markings/sec, 0 secs
lola: 384867 markings, 1257187 edges, 46605 markings/sec, 5 secs
lola: 609077 markings, 2039950 edges, 44842 markings/sec, 10 secs
lola: 826789 markings, 2812052 edges, 43542 markings/sec, 15 secs
lola: 1040777 markings, 3575357 edges, 42798 markings/sec, 20 secs
lola: 1251074 markings, 4334516 edges, 42059 markings/sec, 25 secs
lola: 1461038 markings, 5093818 edges, 41993 markings/sec, 30 secs
lola: 1669938 markings, 5849590 edges, 41780 markings/sec, 35 secs
lola: 1877673 markings, 6602745 edges, 41547 markings/sec, 40 secs
lola: 2086087 markings, 7367259 edges, 41683 markings/sec, 45 secs
lola: 2276192 markings, 8065502 edges, 38021 markings/sec, 50 secs
lola: 2479578 markings, 8811150 edges, 40677 markings/sec, 55 secs
lola: 2683643 markings, 9561072 edges, 40813 markings/sec, 60 secs
lola: 2883006 markings, 10295434 edges, 39873 markings/sec, 65 secs
lola: 3072104 markings, 10993147 edges, 37820 markings/sec, 70 secs
lola: 3246113 markings, 11635515 edges, 34802 markings/sec, 75 secs
lola: 3436221 markings, 12340854 edges, 38022 markings/sec, 80 secs
lola: 3611436 markings, 12988336 edges, 35043 markings/sec, 85 secs
lola: 3790017 markings, 13654298 edges, 35716 markings/sec, 90 secs
lola: 3961040 markings, 14288997 edges, 34205 markings/sec, 95 secs
lola: 4139458 markings, 14950243 edges, 35684 markings/sec, 100 secs
lola: 4310764 markings, 15589860 edges, 34261 markings/sec, 105 secs
lola: 4489986 markings, 16259103 edges, 35844 markings/sec, 110 secs
lola: 4689195 markings, 16997554 edges, 39842 markings/sec, 115 secs
lola: 4885866 markings, 17732785 edges, 39334 markings/sec, 120 secs
lola: 5082771 markings, 18472162 edges, 39381 markings/sec, 125 secs
lola: 5281822 markings, 19213831 edges, 39810 markings/sec, 130 secs
lola: 5480868 markings, 19954455 edges, 39809 markings/sec, 135 secs
lola: 5680270 markings, 20702129 edges, 39880 markings/sec, 140 secs
lola: 5879759 markings, 21451262 edges, 39898 markings/sec, 145 secs
lola: 6075841 markings, 22188002 edges, 39216 markings/sec, 150 secs
lola: 6273398 markings, 22932727 edges, 39511 markings/sec, 155 secs
lola: 6464672 markings, 23654871 edges, 38255 markings/sec, 160 secs
lola: 6660930 markings, 24396365 edges, 39252 markings/sec, 165 secs
lola: 6859538 markings, 25141888 edges, 39722 markings/sec, 170 secs
lola: 7057636 markings, 25888087 edges, 39620 markings/sec, 175 secs
lola: 7254834 markings, 26633442 edges, 39440 markings/sec, 180 secs
lola: 7452053 markings, 27377706 edges, 39444 markings/sec, 185 secs
lola: 7650108 markings, 28119854 edges, 39611 markings/sec, 190 secs
lola: 7847836 markings, 28862247 edges, 39546 markings/sec, 195 secs
lola: 8044104 markings, 29602724 edges, 39254 markings/sec, 200 secs
lola: 8238612 markings, 30338223 edges, 38902 markings/sec, 205 secs
lola: 8435388 markings, 31077359 edges, 39355 markings/sec, 210 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: 4318328 KB
lola: time consumption: 2036 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p631)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p631)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 238423 markings, 518054 edges, 47685 markings/sec, 0 secs
lola: 587895 markings, 1343285 edges, 69894 markings/sec, 5 secs
lola: 896283 markings, 2146925 edges, 61678 markings/sec, 10 secs
lola: 1158965 markings, 2871973 edges, 52536 markings/sec, 15 secs
lola: 1404796 markings, 3570524 edges, 49166 markings/sec, 20 secs
lola: 1652139 markings, 4297722 edges, 49469 markings/sec, 25 secs
lola: 1883943 markings, 4997222 edges, 46361 markings/sec, 30 secs
lola: 2121299 markings, 5718862 edges, 47471 markings/sec, 35 secs
lola: 2380496 markings, 6525072 edges, 51839 markings/sec, 40 secs
lola: 2632168 markings, 7329948 edges, 50334 markings/sec, 45 secs
lola: 2882690 markings, 8142185 edges, 50104 markings/sec, 50 secs
lola: 3132850 markings, 8950427 edges, 50032 markings/sec, 55 secs
lola: 3376241 markings, 9732600 edges, 48678 markings/sec, 60 secs
lola: 3615542 markings, 10518395 edges, 47860 markings/sec, 65 secs
lola: 3862981 markings, 11326277 edges, 49488 markings/sec, 70 secs
lola: 4102809 markings, 12138585 edges, 47966 markings/sec, 75 secs
lola: 4346350 markings, 12946378 edges, 48708 markings/sec, 80 secs
lola: 4584472 markings, 13748414 edges, 47624 markings/sec, 85 secs
lola: 4819779 markings, 14546068 edges, 47061 markings/sec, 90 secs
lola: 5036529 markings, 15299244 edges, 43350 markings/sec, 95 secs
lola: 5270488 markings, 16095821 edges, 46792 markings/sec, 100 secs
lola: 5495855 markings, 16862706 edges, 45073 markings/sec, 105 secs
lola: 5730253 markings, 17675125 edges, 46880 markings/sec, 110 secs
lola: 5965972 markings, 18481324 edges, 47144 markings/sec, 115 secs
lola: 6199568 markings, 19293916 edges, 46719 markings/sec, 120 secs
lola: 6433075 markings, 20102845 edges, 46701 markings/sec, 125 secs
lola: 6661423 markings, 20917177 edges, 45670 markings/sec, 130 secs
lola: 6895775 markings, 21727727 edges, 46870 markings/sec, 135 secs
lola: 7120574 markings, 22518942 edges, 44960 markings/sec, 140 secs
lola: 7348184 markings, 23327965 edges, 45522 markings/sec, 145 secs
lola: 7576664 markings, 24140173 edges, 45696 markings/sec, 150 secs
lola: 7805254 markings, 24941627 edges, 45718 markings/sec, 155 secs
lola: 8032403 markings, 25747987 edges, 45430 markings/sec, 160 secs
lola: 8263115 markings, 26556201 edges, 46142 markings/sec, 165 secs
lola: 8492996 markings, 27366194 edges, 45976 markings/sec, 170 secs
lola: 8715083 markings, 28161028 edges, 44417 markings/sec, 175 secs
lola: 8938965 markings, 28972901 edges, 44776 markings/sec, 180 secs
lola: 9165945 markings, 29774392 edges, 45396 markings/sec, 185 secs
lola: 9389805 markings, 30576905 edges, 44772 markings/sec, 190 secs
lola: 9614517 markings, 31376890 edges, 44942 markings/sec, 195 secs
lola: 9837488 markings, 32181300 edges, 44594 markings/sec, 200 secs
lola: 10057024 markings, 32991643 edges, 43907 markings/sec, 205 secs
lola: 10280032 markings, 33796429 edges, 44602 markings/sec, 210 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: 2432068 KB
lola: time consumption: 2256 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p948)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p948)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 291020 markings, 492153 edges, 58204 markings/sec, 0 secs
lola: 754158 markings, 1314010 edges, 92628 markings/sec, 5 secs
lola: 1218086 markings, 2128977 edges, 92786 markings/sec, 10 secs
lola: 1674132 markings, 2948143 edges, 91209 markings/sec, 15 secs
lola: 1947275 markings, 3810511 edges, 54629 markings/sec, 20 secs
lola: 2202679 markings, 4658957 edges, 51081 markings/sec, 25 secs
lola: 2449180 markings, 5498826 edges, 49300 markings/sec, 30 secs
lola: 2695345 markings, 6341537 edges, 49233 markings/sec, 35 secs
lola: 2938567 markings, 7179142 edges, 48644 markings/sec, 40 secs
lola: 3184316 markings, 8022781 edges, 49150 markings/sec, 45 secs
lola: 3422238 markings, 8861607 edges, 47584 markings/sec, 50 secs
lola: 3657657 markings, 9700087 edges, 47084 markings/sec, 55 secs
lola: 3888136 markings, 10526396 edges, 46096 markings/sec, 60 secs
lola: 4136283 markings, 11346522 edges, 49629 markings/sec, 65 secs
lola: 4368599 markings, 12186468 edges, 46463 markings/sec, 70 secs
lola: 4611548 markings, 13026151 edges, 48590 markings/sec, 75 secs
lola: 4859372 markings, 13865901 edges, 49565 markings/sec, 80 secs
lola: 5101697 markings, 14704374 edges, 48465 markings/sec, 85 secs
lola: 5336948 markings, 15540704 edges, 47050 markings/sec, 90 secs
lola: 5578208 markings, 16377667 edges, 48252 markings/sec, 95 secs
lola: 5820799 markings, 17209959 edges, 48518 markings/sec, 100 secs
lola: 6062465 markings, 18037372 edges, 48333 markings/sec, 105 secs
lola: 6293775 markings, 18864440 edges, 46262 markings/sec, 110 secs
lola: 6531012 markings, 19695862 edges, 47447 markings/sec, 115 secs
lola: 6765410 markings, 20522026 edges, 46880 markings/sec, 120 secs
lola: 7003411 markings, 21351864 edges, 47600 markings/sec, 125 secs
lola: 7245444 markings, 22178139 edges, 48407 markings/sec, 130 secs
lola: 7483486 markings, 23000342 edges, 47608 markings/sec, 135 secs
lola: 7713406 markings, 23815632 edges, 45984 markings/sec, 140 secs
lola: 7947452 markings, 24637049 edges, 46809 markings/sec, 145 secs
lola: 8180355 markings, 25460326 edges, 46581 markings/sec, 150 secs
lola: 8411476 markings, 26280850 edges, 46224 markings/sec, 155 secs
lola: 8641063 markings, 27095986 edges, 45917 markings/sec, 160 secs
lola: 8870702 markings, 27912897 edges, 45928 markings/sec, 165 secs
lola: 9101485 markings, 28734848 edges, 46157 markings/sec, 170 secs
lola: 9331681 markings, 29554227 edges, 46039 markings/sec, 175 secs
lola: 9570195 markings, 30390434 edges, 47703 markings/sec, 180 secs
lola: 9802547 markings, 31225388 edges, 46470 markings/sec, 185 secs
lola: 10036913 markings, 32064245 edges, 46873 markings/sec, 190 secs
lola: 10273426 markings, 32899899 edges, 47303 markings/sec, 195 secs
lola: 10512894 markings, 33741040 edges, 47894 markings/sec, 200 secs
lola: 10769400 markings, 34583666 edges, 51301 markings/sec, 205 secs
lola: 11086573 markings, 35426572 edges, 63435 markings/sec, 210 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: 2264756 KB
lola: time consumption: 2475 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p182)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 303369 markings, 474109 edges, 60674 markings/sec, 0 secs
lola: 574608 markings, 1298537 edges, 54248 markings/sec, 5 secs
lola: 806333 markings, 2107330 edges, 46345 markings/sec, 10 secs
lola: 1025240 markings, 2884524 edges, 43781 markings/sec, 15 secs
lola: 1244022 markings, 3669131 edges, 43756 markings/sec, 20 secs
lola: 1460983 markings, 4449689 edges, 43392 markings/sec, 25 secs
lola: 1675141 markings, 5226001 edges, 42832 markings/sec, 30 secs
lola: 1889071 markings, 6006357 edges, 42786 markings/sec, 35 secs
lola: 2103092 markings, 6784572 edges, 42804 markings/sec, 40 secs
lola: 2314953 markings, 7559079 edges, 42372 markings/sec, 45 secs
lola: 2527102 markings, 8331139 edges, 42430 markings/sec, 50 secs
lola: 2736139 markings, 9099833 edges, 41807 markings/sec, 55 secs
lola: 2945112 markings, 9867110 edges, 41795 markings/sec, 60 secs
lola: 3152586 markings, 10631559 edges, 41495 markings/sec, 65 secs
lola: 3360942 markings, 11396814 edges, 41671 markings/sec, 70 secs
lola: 3567944 markings, 12158157 edges, 41400 markings/sec, 75 secs
lola: 3774027 markings, 12918057 edges, 41217 markings/sec, 80 secs
lola: 3979186 markings, 13676790 edges, 41032 markings/sec, 85 secs
lola: 4184232 markings, 14434937 edges, 41009 markings/sec, 90 secs
lola: 4389265 markings, 15190665 edges, 41007 markings/sec, 95 secs
lola: 4589706 markings, 15937632 edges, 40088 markings/sec, 100 secs
lola: 4790650 markings, 16680395 edges, 40189 markings/sec, 105 secs
lola: 4993433 markings, 17430007 edges, 40557 markings/sec, 110 secs
lola: 5194932 markings, 18177242 edges, 40300 markings/sec, 115 secs
lola: 5397354 markings, 18926521 edges, 40484 markings/sec, 120 secs
lola: 5598726 markings, 19672056 edges, 40274 markings/sec, 125 secs
lola: 5799607 markings, 20417880 edges, 40176 markings/sec, 130 secs
lola: 5999369 markings, 21158921 edges, 39952 markings/sec, 135 secs
lola: 6198367 markings, 21898925 edges, 39800 markings/sec, 140 secs
lola: 6397346 markings, 22637539 edges, 39796 markings/sec, 145 secs
lola: 6596131 markings, 23375830 edges, 39757 markings/sec, 150 secs
lola: 6793306 markings, 24111216 edges, 39435 markings/sec, 155 secs
lola: 6990314 markings, 24848256 edges, 39402 markings/sec, 160 secs
lola: 7188497 markings, 25584558 edges, 39637 markings/sec, 165 secs
lola: 7385945 markings, 26321600 edges, 39490 markings/sec, 170 secs
lola: 7583531 markings, 27055429 edges, 39517 markings/sec, 175 secs
lola: 7780895 markings, 27788694 edges, 39473 markings/sec, 180 secs
lola: 7977918 markings, 28518055 edges, 39405 markings/sec, 185 secs
lola: 8174389 markings, 29248661 edges, 39294 markings/sec, 190 secs
lola: 8370089 markings, 29980836 edges, 39140 markings/sec, 195 secs
lola: 8565940 markings, 30709804 edges, 39170 markings/sec, 200 secs
lola: 8760978 markings, 31440000 edges, 39008 markings/sec, 205 secs
lola: 8955866 markings, 32167719 edges, 38978 markings/sec, 210 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: 5097244 KB
lola: time consumption: 2694 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p788)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p788)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 322718 markings, 547465 edges, 64544 markings/sec, 0 secs
lola: 794727 markings, 1385525 edges, 94402 markings/sec, 5 secs
lola: 1268052 markings, 2216625 edges, 94665 markings/sec, 10 secs
lola: 1710498 markings, 3053457 edges, 88489 markings/sec, 15 secs
lola: 1983349 markings, 3929772 edges, 54570 markings/sec, 20 secs
lola: 2243787 markings, 4799594 edges, 52088 markings/sec, 25 secs
lola: 2499445 markings, 5666525 edges, 51132 markings/sec, 30 secs
lola: 2749791 markings, 6533177 edges, 50069 markings/sec, 35 secs
lola: 3003759 markings, 7397772 edges, 50794 markings/sec, 40 secs
lola: 3254561 markings, 8266372 edges, 50160 markings/sec, 45 secs
lola: 3495956 markings, 9123669 edges, 48279 markings/sec, 50 secs
lola: 3736183 markings, 9979927 edges, 48045 markings/sec, 55 secs
lola: 3982916 markings, 10837663 edges, 49347 markings/sec, 60 secs
lola: 4234047 markings, 11697763 edges, 50226 markings/sec, 65 secs
lola: 4481300 markings, 12556208 edges, 49451 markings/sec, 70 secs
lola: 4729498 markings, 13416487 edges, 49640 markings/sec, 75 secs
lola: 4977239 markings, 14274516 edges, 49548 markings/sec, 80 secs
lola: 5224006 markings, 15135610 edges, 49353 markings/sec, 85 secs
lola: 5465276 markings, 15995656 edges, 48254 markings/sec, 90 secs
lola: 5716723 markings, 16854611 edges, 50289 markings/sec, 95 secs
lola: 5968872 markings, 17720346 edges, 50430 markings/sec, 100 secs
lola: 6217108 markings, 18585971 edges, 49647 markings/sec, 105 secs
lola: 6457296 markings, 19448835 edges, 48038 markings/sec, 110 secs
lola: 6704744 markings, 20314620 edges, 49490 markings/sec, 115 secs
lola: 6953225 markings, 21179940 edges, 49696 markings/sec, 120 secs
lola: 7208556 markings, 22049580 edges, 51066 markings/sec, 125 secs
lola: 7460299 markings, 22919309 edges, 50349 markings/sec, 130 secs
lola: 7703800 markings, 23780597 edges, 48700 markings/sec, 135 secs
lola: 7949467 markings, 24644253 edges, 49133 markings/sec, 140 secs
lola: 8194393 markings, 25509893 edges, 48985 markings/sec, 145 secs
lola: 8438703 markings, 26377015 edges, 48862 markings/sec, 150 secs
lola: 8682622 markings, 27243356 edges, 48784 markings/sec, 155 secs
lola: 8926050 markings, 28109322 edges, 48686 markings/sec, 160 secs
lola: 9170599 markings, 28980325 edges, 48910 markings/sec, 165 secs
lola: 9414734 markings, 29847929 edges, 48827 markings/sec, 170 secs
lola: 9662224 markings, 30716075 edges, 49498 markings/sec, 175 secs
lola: 9903658 markings, 31587647 edges, 48287 markings/sec, 180 secs
lola: 10146030 markings, 32454692 edges, 48474 markings/sec, 185 secs
lola: 10395711 markings, 33324912 edges, 49936 markings/sec, 190 secs
lola: 10643380 markings, 34199101 edges, 49534 markings/sec, 195 secs
lola: 10949643 markings, 35061084 edges, 61253 markings/sec, 200 secs
lola: 11264321 markings, 35902417 edges, 62936 markings/sec, 205 secs
lola: 11549815 markings, 36745248 edges, 57099 markings/sec, 210 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: 1332288 KB
lola: time consumption: 2913 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p319)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p319)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 168272 markings, 523092 edges, 33654 markings/sec, 0 secs
lola: 412624 markings, 1355626 edges, 48870 markings/sec, 5 secs
lola: 643809 markings, 2162153 edges, 46237 markings/sec, 10 secs
lola: 869104 markings, 2961757 edges, 45059 markings/sec, 15 secs
lola: 1092633 markings, 3761315 edges, 44706 markings/sec, 20 secs
lola: 1312029 markings, 4554542 edges, 43879 markings/sec, 25 secs
lola: 1529873 markings, 5343573 edges, 43569 markings/sec, 30 secs
lola: 1748024 markings, 6132312 edges, 43630 markings/sec, 35 secs
lola: 1963870 markings, 6918708 edges, 43169 markings/sec, 40 secs
lola: 2177080 markings, 7701629 edges, 42642 markings/sec, 45 secs
lola: 2394815 markings, 8501386 edges, 43547 markings/sec, 50 secs
lola: 2612206 markings, 9298186 edges, 43478 markings/sec, 55 secs
lola: 2819679 markings, 10061953 edges, 41495 markings/sec, 60 secs
lola: 3025994 markings, 10823647 edges, 41263 markings/sec, 65 secs
lola: 3232155 markings, 11584123 edges, 41232 markings/sec, 70 secs
lola: 3436522 markings, 12341792 edges, 40873 markings/sec, 75 secs
lola: 3638959 markings, 13090983 edges, 40487 markings/sec, 80 secs
lola: 3842624 markings, 13849702 edges, 40733 markings/sec, 85 secs
lola: 4045100 markings, 14601021 edges, 40495 markings/sec, 90 secs
lola: 4245839 markings, 15346291 edges, 40148 markings/sec, 95 secs
lola: 4446227 markings, 16096151 edges, 40078 markings/sec, 100 secs
lola: 4648247 markings, 16844356 edges, 40404 markings/sec, 105 secs
lola: 4848101 markings, 17591512 edges, 39971 markings/sec, 110 secs
lola: 5047283 markings, 18337907 edges, 39836 markings/sec, 115 secs
lola: 5246438 markings, 19080965 edges, 39831 markings/sec, 120 secs
lola: 5451178 markings, 19843631 edges, 40948 markings/sec, 125 secs
lola: 5655506 markings, 20608923 edges, 40866 markings/sec, 130 secs
lola: 5859088 markings, 21373653 edges, 40716 markings/sec, 135 secs
lola: 6062272 markings, 22136561 edges, 40637 markings/sec, 140 secs
lola: 6264194 markings, 22898226 edges, 40384 markings/sec, 145 secs
lola: 6464204 markings, 23652992 edges, 40002 markings/sec, 150 secs
lola: 6660289 markings, 24393956 edges, 39217 markings/sec, 155 secs
lola: 6856685 markings, 25131402 edges, 39279 markings/sec, 160 secs
lola: 7052347 markings, 25868230 edges, 39132 markings/sec, 165 secs
lola: 7247498 markings, 26605565 edges, 39030 markings/sec, 170 secs
lola: 7439879 markings, 27332146 edges, 38476 markings/sec, 175 secs
lola: 7633234 markings, 28057335 edges, 38671 markings/sec, 180 secs
lola: 7829050 markings, 28790721 edges, 39163 markings/sec, 185 secs
lola: 8021103 markings, 29516646 edges, 38411 markings/sec, 190 secs
lola: 8214381 markings, 30246079 edges, 38656 markings/sec, 195 secs
lola: 8412532 markings, 30991504 edges, 39630 markings/sec, 200 secs
lola: 8613553 markings, 31752673 edges, 40204 markings/sec, 205 secs
lola: 8811655 markings, 32503623 edges, 39620 markings/sec, 210 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: 4138864 KB
lola: time consumption: 3132 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p208)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p208)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 293412 markings, 496546 edges, 58682 markings/sec, 0 secs
lola: 737790 markings, 1284519 edges, 88876 markings/sec, 5 secs
lola: 1179690 markings, 2061216 edges, 88380 markings/sec, 10 secs
lola: 1618093 markings, 2834484 edges, 87681 markings/sec, 15 secs
lola: 1900433 markings, 3658931 edges, 56468 markings/sec, 20 secs
lola: 2150158 markings, 4484677 edges, 49945 markings/sec, 25 secs
lola: 2402290 markings, 5333940 edges, 50426 markings/sec, 30 secs
lola: 2649849 markings, 6178827 edges, 49512 markings/sec, 35 secs
lola: 2895158 markings, 7021851 edges, 49062 markings/sec, 40 secs
lola: 3139356 markings, 7865244 edges, 48840 markings/sec, 45 secs
lola: 3379533 markings, 8709823 edges, 48035 markings/sec, 50 secs
lola: 3608565 markings, 9524500 edges, 45806 markings/sec, 55 secs
lola: 3820657 markings, 10284746 edges, 42418 markings/sec, 60 secs
lola: 4069718 markings, 11122967 edges, 49812 markings/sec, 65 secs
lola: 4306573 markings, 11960529 edges, 47371 markings/sec, 70 secs
lola: 4545121 markings, 12783587 edges, 47710 markings/sec, 75 secs
lola: 4792261 markings, 13640192 edges, 49428 markings/sec, 80 secs
lola: 5030208 markings, 14468915 edges, 47589 markings/sec, 85 secs
lola: 5272393 markings, 15307150 edges, 48437 markings/sec, 90 secs
lola: 5510442 markings, 16144563 edges, 47610 markings/sec, 95 secs
lola: 5753251 markings, 16980946 edges, 48562 markings/sec, 100 secs
lola: 5999439 markings, 17823858 edges, 49238 markings/sec, 105 secs
lola: 6237526 markings, 18661058 edges, 47617 markings/sec, 110 secs
lola: 6470967 markings, 19494744 edges, 46688 markings/sec, 115 secs
lola: 6710292 markings, 20333667 edges, 47865 markings/sec, 120 secs
lola: 6951494 markings, 21172984 edges, 48240 markings/sec, 125 secs
lola: 7200241 markings, 22020886 edges, 49749 markings/sec, 130 secs
lola: 7443944 markings, 22865038 edges, 48741 markings/sec, 135 secs
lola: 7682893 markings, 23706712 edges, 47790 markings/sec, 140 secs
lola: 7923676 markings, 24551638 edges, 48157 markings/sec, 145 secs
lola: 8161390 markings, 25391799 edges, 47543 markings/sec, 150 secs
lola: 8397459 markings, 26231369 edges, 47214 markings/sec, 155 secs
lola: 8634288 markings, 27072291 edges, 47366 markings/sec, 160 secs
lola: 8870205 markings, 27910965 edges, 47183 markings/sec, 165 secs
lola: 9106066 markings, 28751438 edges, 47172 markings/sec, 170 secs
lola: 9342801 markings, 29593131 edges, 47347 markings/sec, 175 secs
lola: 9582217 markings, 30433970 edges, 47883 markings/sec, 180 secs
lola: 9817312 markings, 31277777 edges, 47019 markings/sec, 185 secs
lola: 10052463 markings, 32120221 edges, 47030 markings/sec, 190 secs
lola: 10291168 markings, 32962951 edges, 47741 markings/sec, 195 secs
lola: 10531047 markings, 33806363 edges, 47976 markings/sec, 200 secs
lola: 10795035 markings, 34652825 edges, 52798 markings/sec, 205 secs
lola: 11107097 markings, 35481131 edges, 62412 markings/sec, 210 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: 5683860 KB
lola: time consumption: 3351 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p375)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p375)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: 185926 markings, 546063 edges, 37185 markings/sec, 0 secs
lola: 432606 markings, 1402422 edges, 49336 markings/sec, 5 secs
lola: 659255 markings, 2251078 edges, 45330 markings/sec, 10 secs
lola: 878515 markings, 3093658 edges, 43852 markings/sec, 15 secs
lola: 1091102 markings, 3932456 edges, 42517 markings/sec, 20 secs
lola: 1299313 markings, 4766816 edges, 41642 markings/sec, 25 secs
lola: 1503274 markings, 5597508 edges, 40792 markings/sec, 30 secs
lola: 1703843 markings, 6426848 edges, 40114 markings/sec, 35 secs
lola: 1900176 markings, 7252527 edges, 39267 markings/sec, 40 secs
lola: 2096661 markings, 8075233 edges, 39297 markings/sec, 45 secs
lola: 2288655 markings, 8897282 edges, 38399 markings/sec, 50 secs
lola: 2481359 markings, 9716196 edges, 38541 markings/sec, 55 secs
lola: 2671823 markings, 10536641 edges, 38093 markings/sec, 60 secs
lola: 2861440 markings, 11356597 edges, 37923 markings/sec, 65 secs
lola: 3049185 markings, 12176580 edges, 37549 markings/sec, 70 secs
lola: 3237532 markings, 12992618 edges, 37669 markings/sec, 75 secs
lola: 3421832 markings, 13809615 edges, 36860 markings/sec, 80 secs
lola: 3606067 markings, 14623144 edges, 36847 markings/sec, 85 secs
lola: 3791922 markings, 15436957 edges, 37171 markings/sec, 90 secs
lola: 3974359 markings, 16249488 edges, 36487 markings/sec, 95 secs
lola: 4156512 markings, 17062943 edges, 36431 markings/sec, 100 secs
lola: 4334870 markings, 17874007 edges, 35672 markings/sec, 105 secs
lola: 4514829 markings, 18684795 edges, 35992 markings/sec, 110 secs
lola: 4694985 markings, 19495475 edges, 36031 markings/sec, 115 secs
lola: 4875677 markings, 20306733 edges, 36138 markings/sec, 120 secs
lola: 5054163 markings, 21114399 edges, 35697 markings/sec, 125 secs
lola: 5234141 markings, 21921727 edges, 35996 markings/sec, 130 secs
lola: 5410891 markings, 22728793 edges, 35350 markings/sec, 135 secs
lola: 5589151 markings, 23535918 edges, 35652 markings/sec, 140 secs
lola: 5762834 markings, 24341055 edges, 34737 markings/sec, 145 secs
lola: 5941783 markings, 25146836 edges, 35790 markings/sec, 150 secs
lola: 6116393 markings, 25952026 edges, 34922 markings/sec, 155 secs
lola: 6295414 markings, 26758088 edges, 35804 markings/sec, 160 secs
lola: 6466046 markings, 27563339 edges, 34126 markings/sec, 165 secs
lola: 6641797 markings, 28366751 edges, 35150 markings/sec, 170 secs
lola: 6815558 markings, 29170171 edges, 34752 markings/sec, 175 secs
lola: 6986445 markings, 29969538 edges, 34177 markings/sec, 180 secs
lola: 7161855 markings, 30771287 edges, 35082 markings/sec, 185 secs
lola: 7333914 markings, 31570963 edges, 34412 markings/sec, 190 secs
lola: 7510987 markings, 32371552 edges, 35415 markings/sec, 195 secs
lola: 7682354 markings, 33171122 edges, 34273 markings/sec, 200 secs
lola: 7853418 markings, 33969015 edges, 34213 markings/sec, 205 secs
lola: 8021945 markings, 34766361 edges, 33705 markings/sec, 210 secs
lola: SUBRESULT
lola: result: 203
lola: produced by: state space
lola: The maximum value of the given expression is 203
lola: 8032831 markings, 34815589 edges

FORMULA JoinFreeModules-PT-0200-UpperBounds-15 203 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p737)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p737)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0200-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: 203
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 203
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 203
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 203
lola: memory consumption: 55576 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 55576 KB
lola: time consumption: 3570 seconds

BK_STOP 1552877975661

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is JoinFreeModules-PT-0200, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-csrt-155246566100319"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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