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 1.3M
-rw-r--r-- 1 mcc users 3.5K 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 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
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 r100-smll-152658630900275
=====================================================================

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

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 @ 3569 seconds
lola: LoLA will run for 3569 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(p519) : MAX(p227) : MAX(p208) : MAX(p591) : MAX(p231) : MAX(p144) : MAX(p969) : MAX(p287) : MAX(p587) : MAX(p214) : MAX(p340) : MAX(p67) : MAX(p883) : MAX(p477) : MAX(p440) : MAX(p895)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p519)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p519)
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: 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: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 144582 markings, 445502 edges, 28916 markings/sec, 30 secs
lola: 276532 markings, 887804 edges, 26390 markings/sec, 35 secs
lola: 404736 markings, 1327345 edges, 25641 markings/sec, 40 secs
lola: 529434 markings, 1763582 edges, 24940 markings/sec, 45 secs
lola: 654265 markings, 2198518 edges, 24966 markings/sec, 50 secs
lola: 776524 markings, 2632482 edges, 24452 markings/sec, 55 secs
lola: 897497 markings, 3063063 edges, 24195 markings/sec, 60 secs
lola: 1017730 markings, 3492186 edges, 24047 markings/sec, 65 secs
lola: 1137525 markings, 3922882 edges, 23959 markings/sec, 70 secs
lola: 1256371 markings, 4353613 edges, 23769 markings/sec, 75 secs
lola: 1375578 markings, 4784418 edges, 23841 markings/sec, 80 secs
lola: 1493961 markings, 5214058 edges, 23677 markings/sec, 85 secs
lola: 1612960 markings, 5644027 edges, 23800 markings/sec, 90 secs
lola: 1731834 markings, 6073542 edges, 23775 markings/sec, 95 secs
lola: 1850153 markings, 6502917 edges, 23664 markings/sec, 100 secs
lola: 1967247 markings, 6931306 edges, 23419 markings/sec, 105 secs
lola: 2084036 markings, 7359779 edges, 23358 markings/sec, 110 secs
lola: 2200810 markings, 7788330 edges, 23355 markings/sec, 115 secs
lola: 2316721 markings, 8214852 edges, 23182 markings/sec, 120 secs
lola: 2433203 markings, 8641540 edges, 23296 markings/sec, 125 secs
lola: 2550021 markings, 9069169 edges, 23364 markings/sec, 130 secs
lola: 2666129 markings, 9495749 edges, 23222 markings/sec, 135 secs
lola: 2781993 markings, 9921880 edges, 23173 markings/sec, 140 secs
lola: 2897238 markings, 10347370 edges, 23049 markings/sec, 145 secs
lola: 3012385 markings, 10773068 edges, 23029 markings/sec, 150 secs
lola: 3127591 markings, 11198630 edges, 23041 markings/sec, 155 secs
lola: 3242887 markings, 11623850 edges, 23059 markings/sec, 160 secs
lola: 3357423 markings, 12048724 edges, 22907 markings/sec, 165 secs
lola: 3471724 markings, 12472448 edges, 22860 markings/sec, 170 secs
lola: 3585941 markings, 12894560 edges, 22843 markings/sec, 175 secs
lola: 3699734 markings, 13318465 edges, 22759 markings/sec, 180 secs
lola: 3813892 markings, 13742450 edges, 22832 markings/sec, 185 secs
lola: 3927499 markings, 14165996 edges, 22721 markings/sec, 190 secs
lola: 4041807 markings, 14588558 edges, 22862 markings/sec, 195 secs
lola: 4155658 markings, 15010466 edges, 22770 markings/sec, 200 secs
lola: 4269014 markings, 15432535 edges, 22671 markings/sec, 205 secs
lola: 4381614 markings, 15854929 edges, 22520 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: 1467024 KB
lola: time consumption: 314 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p227)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p227)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-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: 105165 markings, 164406 edges, 21033 markings/sec, 0 secs
lola: 363746 markings, 594238 edges, 51716 markings/sec, 5 secs
lola: 496737 markings, 1032144 edges, 26598 markings/sec, 10 secs
lola: 622897 markings, 1465595 edges, 25232 markings/sec, 15 secs
lola: 746348 markings, 1896640 edges, 24690 markings/sec, 20 secs
lola: 867387 markings, 2323790 edges, 24208 markings/sec, 25 secs
lola: 987903 markings, 2751649 edges, 24103 markings/sec, 30 secs
lola: 1107741 markings, 3178559 edges, 23968 markings/sec, 35 secs
lola: 1226280 markings, 3603790 edges, 23708 markings/sec, 40 secs
lola: 1344502 markings, 4027578 edges, 23644 markings/sec, 45 secs
lola: 1460792 markings, 4448943 edges, 23258 markings/sec, 50 secs
lola: 1576779 markings, 4869444 edges, 23197 markings/sec, 55 secs
lola: 1692396 markings, 5290107 edges, 23123 markings/sec, 60 secs
lola: 1807641 markings, 5710466 edges, 23049 markings/sec, 65 secs
lola: 1923395 markings, 6130667 edges, 23151 markings/sec, 70 secs
lola: 2038890 markings, 6550149 edges, 23099 markings/sec, 75 secs
lola: 2153452 markings, 6968922 edges, 22912 markings/sec, 80 secs
lola: 2268375 markings, 7387051 edges, 22985 markings/sec, 85 secs
lola: 2382492 markings, 7804780 edges, 22823 markings/sec, 90 secs
lola: 2497200 markings, 8222149 edges, 22942 markings/sec, 95 secs
lola: 2610961 markings, 8639354 edges, 22752 markings/sec, 100 secs
lola: 2724278 markings, 9055893 edges, 22663 markings/sec, 105 secs
lola: 2837308 markings, 9471435 edges, 22606 markings/sec, 110 secs
lola: 2949920 markings, 9884687 edges, 22522 markings/sec, 115 secs
lola: 3059103 markings, 10288923 edges, 21837 markings/sec, 120 secs
lola: 3169540 markings, 10694259 edges, 22087 markings/sec, 125 secs
lola: 3280623 markings, 11101183 edges, 22217 markings/sec, 130 secs
lola: 3391122 markings, 11508316 edges, 22100 markings/sec, 135 secs
lola: 3501627 markings, 11913659 edges, 22101 markings/sec, 140 secs
lola: 3611579 markings, 12319544 edges, 21990 markings/sec, 145 secs
lola: 3723907 markings, 12732575 edges, 22466 markings/sec, 150 secs
lola: 3835816 markings, 13146735 edges, 22382 markings/sec, 155 secs
lola: 3947856 markings, 13560480 edges, 22408 markings/sec, 160 secs
lola: 4059732 markings, 13974187 edges, 22375 markings/sec, 165 secs
lola: 4170820 markings, 14386681 edges, 22218 markings/sec, 170 secs
lola: 4283103 markings, 14801127 edges, 22457 markings/sec, 175 secs
lola: 4395954 markings, 15215502 edges, 22570 markings/sec, 180 secs
lola: 4506741 markings, 15629360 edges, 22157 markings/sec, 185 secs
lola: 4618870 markings, 16044456 edges, 22426 markings/sec, 190 secs
lola: 4731004 markings, 16458208 edges, 22427 markings/sec, 195 secs
lola: 4842849 markings, 16873091 edges, 22369 markings/sec, 200 secs
lola: 4954482 markings, 17286093 edges, 22327 markings/sec, 205 secs
lola: 5066094 markings, 17699753 edges, 22322 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: 2708576 KB
lola: time consumption: 531 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 217 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: 89342 markings, 139570 edges, 17868 markings/sec, 0 secs
lola: 335762 markings, 570436 edges, 49284 markings/sec, 5 secs
lola: 575847 markings, 996121 edges, 48017 markings/sec, 10 secs
lola: 813395 markings, 1418695 edges, 47510 markings/sec, 15 secs
lola: 1054357 markings, 1840860 edges, 48192 markings/sec, 20 secs
lola: 1293814 markings, 2261895 edges, 47891 markings/sec, 25 secs
lola: 1532594 markings, 2682661 edges, 47756 markings/sec, 30 secs
lola: 1728579 markings, 3109486 edges, 39197 markings/sec, 35 secs
lola: 1863776 markings, 3541472 edges, 27039 markings/sec, 40 secs
lola: 1996516 markings, 3971877 edges, 26548 markings/sec, 45 secs
lola: 2127207 markings, 4408010 edges, 26138 markings/sec, 50 secs
lola: 2257089 markings, 4843491 edges, 25976 markings/sec, 55 secs
lola: 2385707 markings, 5278894 edges, 25724 markings/sec, 60 secs
lola: 2514017 markings, 5714416 edges, 25662 markings/sec, 65 secs
lola: 2642311 markings, 6150531 edges, 25659 markings/sec, 70 secs
lola: 2766414 markings, 6587130 edges, 24821 markings/sec, 75 secs
lola: 2895129 markings, 7021763 edges, 25743 markings/sec, 80 secs
lola: 3020608 markings, 7457166 edges, 25096 markings/sec, 85 secs
lola: 3147421 markings, 7893405 edges, 25363 markings/sec, 90 secs
lola: 3271925 markings, 8328137 edges, 24901 markings/sec, 95 secs
lola: 3394428 markings, 8762256 edges, 24501 markings/sec, 100 secs
lola: 3516065 markings, 9194737 edges, 24327 markings/sec, 105 secs
lola: 3637382 markings, 9627211 edges, 24263 markings/sec, 110 secs
lola: 3757270 markings, 10055953 edges, 23978 markings/sec, 115 secs
lola: 3876294 markings, 10482880 edges, 23805 markings/sec, 120 secs
lola: 4006524 markings, 10916086 edges, 26046 markings/sec, 125 secs
lola: 4137100 markings, 11349156 edges, 26115 markings/sec, 130 secs
lola: 4256513 markings, 11779598 edges, 23883 markings/sec, 135 secs
lola: 4374615 markings, 12207548 edges, 23620 markings/sec, 140 secs
lola: 4505088 markings, 12640252 edges, 26095 markings/sec, 145 secs
lola: 4625176 markings, 13070523 edges, 24018 markings/sec, 150 secs
lola: 4754855 markings, 13502977 edges, 25936 markings/sec, 155 secs
lola: 4878914 markings, 13934865 edges, 24812 markings/sec, 160 secs
lola: 5001801 markings, 14365692 edges, 24577 markings/sec, 165 secs
lola: 5129820 markings, 14798957 edges, 25604 markings/sec, 170 secs
lola: 5250896 markings, 15231866 edges, 24215 markings/sec, 175 secs
lola: 5370158 markings, 15661918 edges, 23852 markings/sec, 180 secs
lola: 5495737 markings, 16095732 edges, 25116 markings/sec, 185 secs
lola: 5620899 markings, 16527417 edges, 25032 markings/sec, 190 secs
lola: 5747716 markings, 16960285 edges, 25363 markings/sec, 195 secs
lola: 5874782 markings, 17394232 edges, 25413 markings/sec, 200 secs
lola: 6001206 markings, 17829785 edges, 25285 markings/sec, 205 secs
lola: 6128134 markings, 18263240 edges, 25386 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: 3133960 KB
lola: time consumption: 748 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p591)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p591)
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: 71893 markings, 151794 edges, 14379 markings/sec, 0 secs
lola: 254078 markings, 553062 edges, 36437 markings/sec, 5 secs
lola: 444305 markings, 988573 edges, 38045 markings/sec, 10 secs
lola: 618762 markings, 1422237 edges, 34891 markings/sec, 15 secs
lola: 785645 markings, 1854748 edges, 33377 markings/sec, 20 secs
lola: 948367 markings, 2286728 edges, 32544 markings/sec, 25 secs
lola: 1104959 markings, 2718464 edges, 31318 markings/sec, 30 secs
lola: 1257782 markings, 3150129 edges, 30565 markings/sec, 35 secs
lola: 1409228 markings, 3582412 edges, 30289 markings/sec, 40 secs
lola: 1556902 markings, 4014330 edges, 29535 markings/sec, 45 secs
lola: 1701574 markings, 4446033 edges, 28934 markings/sec, 50 secs
lola: 1844349 markings, 4877055 edges, 28555 markings/sec, 55 secs
lola: 1987821 markings, 5308374 edges, 28694 markings/sec, 60 secs
lola: 2128435 markings, 5739153 edges, 28123 markings/sec, 65 secs
lola: 2267482 markings, 6170682 edges, 27809 markings/sec, 70 secs
lola: 2404897 markings, 6603496 edges, 27483 markings/sec, 75 secs
lola: 2539014 markings, 7034404 edges, 26823 markings/sec, 80 secs
lola: 2674145 markings, 7463747 edges, 27026 markings/sec, 85 secs
lola: 2807086 markings, 7894960 edges, 26588 markings/sec, 90 secs
lola: 2939996 markings, 8327694 edges, 26582 markings/sec, 95 secs
lola: 3073680 markings, 8759982 edges, 26737 markings/sec, 100 secs
lola: 3209954 markings, 9191536 edges, 27255 markings/sec, 105 secs
lola: 3342746 markings, 9623713 edges, 26558 markings/sec, 110 secs
lola: 3473125 markings, 10053490 edges, 26076 markings/sec, 115 secs
lola: 3604949 markings, 10484057 edges, 26365 markings/sec, 120 secs
lola: 3738204 markings, 10913700 edges, 26651 markings/sec, 125 secs
lola: 3868147 markings, 11342749 edges, 25989 markings/sec, 130 secs
lola: 3993567 markings, 11775212 edges, 25084 markings/sec, 135 secs
lola: 4122978 markings, 12205329 edges, 25882 markings/sec, 140 secs
lola: 4252657 markings, 12635291 edges, 25936 markings/sec, 145 secs
lola: 4381769 markings, 13067101 edges, 25822 markings/sec, 150 secs
lola: 4509261 markings, 13499115 edges, 25498 markings/sec, 155 secs
lola: 4638506 markings, 13931211 edges, 25849 markings/sec, 160 secs
lola: 4766291 markings, 14363035 edges, 25557 markings/sec, 165 secs
lola: 4893822 markings, 14795150 edges, 25506 markings/sec, 170 secs
lola: 5016147 markings, 15230632 edges, 24465 markings/sec, 175 secs
lola: 5142964 markings, 15661711 edges, 25363 markings/sec, 180 secs
lola: 5269903 markings, 16093687 edges, 25388 markings/sec, 185 secs
lola: 5396877 markings, 16524762 edges, 25395 markings/sec, 190 secs
lola: 5522961 markings, 16954426 edges, 25217 markings/sec, 195 secs
lola: 5646894 markings, 17385385 edges, 24787 markings/sec, 200 secs
lola: 5770836 markings, 17816717 edges, 24788 markings/sec, 205 secs
lola: 5897522 markings, 18247510 edges, 25337 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: 1581020 KB
lola: time consumption: 965 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p231)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p231)
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: 65689 markings, 138386 edges, 13138 markings/sec, 0 secs
lola: 249559 markings, 542907 edges, 36774 markings/sec, 5 secs
lola: 424281 markings, 940823 edges, 34944 markings/sec, 10 secs
lola: 585103 markings, 1336299 edges, 32164 markings/sec, 15 secs
lola: 739245 markings, 1731061 edges, 30828 markings/sec, 20 secs
lola: 888032 markings, 2124839 edges, 29757 markings/sec, 25 secs
lola: 1031826 markings, 2517775 edges, 28759 markings/sec, 30 secs
lola: 1172706 markings, 2910979 edges, 28176 markings/sec, 35 secs
lola: 1311241 markings, 3303746 edges, 27707 markings/sec, 40 secs
lola: 1450225 markings, 3702940 edges, 27797 markings/sec, 45 secs
lola: 1590501 markings, 4116209 edges, 28055 markings/sec, 50 secs
lola: 1728505 markings, 4529015 edges, 27601 markings/sec, 55 secs
lola: 1865452 markings, 4940861 edges, 27389 markings/sec, 60 secs
lola: 2001560 markings, 5353833 edges, 27222 markings/sec, 65 secs
lola: 2137444 markings, 5766220 edges, 27177 markings/sec, 70 secs
lola: 2269869 markings, 6177848 edges, 26485 markings/sec, 75 secs
lola: 2401114 markings, 6591694 edges, 26249 markings/sec, 80 secs
lola: 2529888 markings, 7005316 edges, 25755 markings/sec, 85 secs
lola: 2659894 markings, 7417495 edges, 26001 markings/sec, 90 secs
lola: 2787695 markings, 7830556 edges, 25560 markings/sec, 95 secs
lola: 2914171 markings, 8243835 edges, 25295 markings/sec, 100 secs
lola: 3040996 markings, 8657533 edges, 25365 markings/sec, 105 secs
lola: 3171683 markings, 9070246 edges, 26137 markings/sec, 110 secs
lola: 3299604 markings, 9486753 edges, 25584 markings/sec, 115 secs
lola: 3425940 markings, 9894099 edges, 25267 markings/sec, 120 secs
lola: 3543818 markings, 10288116 edges, 23576 markings/sec, 125 secs
lola: 3666329 markings, 10680663 edges, 24502 markings/sec, 130 secs
lola: 3786455 markings, 11074354 edges, 24025 markings/sec, 135 secs
lola: 3905187 markings, 11469584 edges, 23746 markings/sec, 140 secs
lola: 4019807 markings, 11866884 edges, 22924 markings/sec, 145 secs
lola: 4139428 markings, 12262943 edges, 23924 markings/sec, 150 secs
lola: 4259438 markings, 12657555 edges, 24002 markings/sec, 155 secs
lola: 4377737 markings, 13052446 edges, 23660 markings/sec, 160 secs
lola: 4493648 markings, 13447388 edges, 23182 markings/sec, 165 secs
lola: 4611359 markings, 13841599 edges, 23542 markings/sec, 170 secs
lola: 4728637 markings, 14235016 edges, 23456 markings/sec, 175 secs
lola: 4844563 markings, 14629770 edges, 23185 markings/sec, 180 secs
lola: 4958726 markings, 15027109 edges, 22833 markings/sec, 185 secs
lola: 5072971 markings, 15421809 edges, 22849 markings/sec, 190 secs
lola: 5188067 markings, 15814948 edges, 23019 markings/sec, 195 secs
lola: 5303703 markings, 16208944 edges, 23127 markings/sec, 200 secs
lola: 5419654 markings, 16601340 edges, 23190 markings/sec, 205 secs
lola: 5534818 markings, 16994100 edges, 23033 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: 2828620 KB
lola: time consumption: 1182 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p144)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-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: 51893 markings, 147336 edges, 10379 markings/sec, 0 secs
lola: 186433 markings, 584435 edges, 26908 markings/sec, 5 secs
lola: 314935 markings, 1017488 edges, 25700 markings/sec, 10 secs
lola: 438962 markings, 1448086 edges, 24805 markings/sec, 15 secs
lola: 562044 markings, 1876574 edges, 24616 markings/sec, 20 secs
lola: 678911 markings, 2285854 edges, 23373 markings/sec, 25 secs
lola: 799208 markings, 2713193 edges, 24059 markings/sec, 30 secs
lola: 919154 markings, 3139515 edges, 23989 markings/sec, 35 secs
lola: 1036718 markings, 3560592 edges, 23513 markings/sec, 40 secs
lola: 1153564 markings, 3980494 edges, 23369 markings/sec, 45 secs
lola: 1270376 markings, 4404054 edges, 23362 markings/sec, 50 secs
lola: 1387581 markings, 4827619 edges, 23441 markings/sec, 55 secs
lola: 1502793 markings, 5246493 edges, 23042 markings/sec, 60 secs
lola: 1618285 markings, 5663089 edges, 23098 markings/sec, 65 secs
lola: 1733383 markings, 6079374 edges, 23020 markings/sec, 70 secs
lola: 1850098 markings, 6502727 edges, 23343 markings/sec, 75 secs
lola: 1965681 markings, 6925587 edges, 23117 markings/sec, 80 secs
lola: 2080820 markings, 7348160 edges, 23028 markings/sec, 85 secs
lola: 2194916 markings, 7767148 edges, 22819 markings/sec, 90 secs
lola: 2309781 markings, 8189291 edges, 22973 markings/sec, 95 secs
lola: 2424768 markings, 8610778 edges, 22997 markings/sec, 100 secs
lola: 2540107 markings, 9031864 edges, 23068 markings/sec, 105 secs
lola: 2653308 markings, 9448548 edges, 22640 markings/sec, 110 secs
lola: 2767432 markings, 9868684 edges, 22825 markings/sec, 115 secs
lola: 2881073 markings, 10288829 edges, 22728 markings/sec, 120 secs
lola: 2994982 markings, 10709188 edges, 22782 markings/sec, 125 secs
lola: 3109111 markings, 11129874 edges, 22826 markings/sec, 130 secs
lola: 3222698 markings, 11549824 edges, 22717 markings/sec, 135 secs
lola: 3335874 markings, 11969418 edges, 22635 markings/sec, 140 secs
lola: 3448828 markings, 12388601 edges, 22591 markings/sec, 145 secs
lola: 3562393 markings, 12807257 edges, 22713 markings/sec, 150 secs
lola: 3674910 markings, 13225274 edges, 22503 markings/sec, 155 secs
lola: 3786818 markings, 13642275 edges, 22382 markings/sec, 160 secs
lola: 3898615 markings, 14058427 edges, 22359 markings/sec, 165 secs
lola: 4011036 markings, 14474437 edges, 22484 markings/sec, 170 secs
lola: 4123292 markings, 14890741 edges, 22451 markings/sec, 175 secs
lola: 4235184 markings, 15306297 edges, 22378 markings/sec, 180 secs
lola: 4345864 markings, 15721502 edges, 22136 markings/sec, 185 secs
lola: 4457333 markings, 16137387 edges, 22294 markings/sec, 190 secs
lola: 4569274 markings, 16553276 edges, 22388 markings/sec, 195 secs
lola: 4680905 markings, 16966375 edges, 22326 markings/sec, 200 secs
lola: 4791776 markings, 17379093 edges, 22174 markings/sec, 205 secs
lola: 4900829 markings, 17788768 edges, 21811 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: 2890604 KB
lola: time consumption: 1399 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p969)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p969)
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: 59955 markings, 171907 edges, 11991 markings/sec, 0 secs
lola: 195084 markings, 613914 edges, 27026 markings/sec, 5 secs
lola: 322854 markings, 1044575 edges, 25554 markings/sec, 10 secs
lola: 447542 markings, 1478195 edges, 24938 markings/sec, 15 secs
lola: 573149 markings, 1915081 edges, 25121 markings/sec, 20 secs
lola: 697084 markings, 2350133 edges, 24787 markings/sec, 25 secs
lola: 819090 markings, 2784363 edges, 24401 markings/sec, 30 secs
lola: 941174 markings, 3217785 edges, 24417 markings/sec, 35 secs
lola: 1061476 markings, 3650300 edges, 24060 markings/sec, 40 secs
lola: 1180703 markings, 4078139 edges, 23845 markings/sec, 45 secs
lola: 1297274 markings, 4501194 edges, 23314 markings/sec, 50 secs
lola: 1415167 markings, 4928537 edges, 23579 markings/sec, 55 secs
lola: 1530039 markings, 5344078 edges, 22974 markings/sec, 60 secs
lola: 1647540 markings, 5769034 edges, 23500 markings/sec, 65 secs
lola: 1761989 markings, 6183706 edges, 22890 markings/sec, 70 secs
lola: 1879035 markings, 6607706 edges, 23409 markings/sec, 75 secs
lola: 1995088 markings, 7033077 edges, 23211 markings/sec, 80 secs
lola: 2111949 markings, 7462016 edges, 23372 markings/sec, 85 secs
lola: 2225741 markings, 7878734 edges, 22758 markings/sec, 90 secs
lola: 2341087 markings, 8304256 edges, 23069 markings/sec, 95 secs
lola: 2454963 markings, 8721509 edges, 22775 markings/sec, 100 secs
lola: 2569302 markings, 9139565 edges, 22868 markings/sec, 105 secs
lola: 2683238 markings, 9559459 edges, 22787 markings/sec, 110 secs
lola: 2797410 markings, 9979411 edges, 22834 markings/sec, 115 secs
lola: 2911391 markings, 10399370 edges, 22796 markings/sec, 120 secs
lola: 3026719 markings, 10826357 edges, 23066 markings/sec, 125 secs
lola: 3142849 markings, 11253850 edges, 23226 markings/sec, 130 secs
lola: 3258408 markings, 11681577 edges, 23112 markings/sec, 135 secs
lola: 3373817 markings, 12109133 edges, 23082 markings/sec, 140 secs
lola: 3489253 markings, 12536502 edges, 23087 markings/sec, 145 secs
lola: 3604314 markings, 12962303 edges, 23012 markings/sec, 150 secs
lola: 3717773 markings, 13385604 edges, 22692 markings/sec, 155 secs
lola: 3832460 markings, 13811758 edges, 22937 markings/sec, 160 secs
lola: 3947567 markings, 14238610 edges, 23021 markings/sec, 165 secs
lola: 4062096 markings, 14664559 edges, 22906 markings/sec, 170 secs
lola: 4177152 markings, 15090934 edges, 23011 markings/sec, 175 secs
lola: 4291353 markings, 15516648 edges, 22840 markings/sec, 180 secs
lola: 4405036 markings, 15941993 edges, 22737 markings/sec, 185 secs
lola: 4519212 markings, 16366884 edges, 22835 markings/sec, 190 secs
lola: 4634613 markings, 16793037 edges, 23080 markings/sec, 195 secs
lola: 4748739 markings, 17218843 edges, 22825 markings/sec, 200 secs
lola: 4862274 markings, 17644933 edges, 22707 markings/sec, 205 secs
lola: 4975814 markings, 18070341 edges, 22708 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: 1592032 KB
lola: time consumption: 1616 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p287)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p287)
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: 106420 markings, 166473 edges, 21284 markings/sec, 0 secs
lola: 363119 markings, 592280 edges, 51340 markings/sec, 5 secs
lola: 491939 markings, 1016783 edges, 25764 markings/sec, 10 secs
lola: 613498 markings, 1432513 edges, 24312 markings/sec, 15 secs
lola: 729235 markings, 1836944 edges, 23147 markings/sec, 20 secs
lola: 843582 markings, 2239116 edges, 22869 markings/sec, 25 secs
lola: 956844 markings, 2640088 edges, 22652 markings/sec, 30 secs
lola: 1066088 markings, 3029549 edges, 21849 markings/sec, 35 secs
lola: 1182914 markings, 3448458 edges, 23365 markings/sec, 40 secs
lola: 1303013 markings, 3879032 edges, 24020 markings/sec, 45 secs
lola: 1421667 markings, 4308571 edges, 23731 markings/sec, 50 secs
lola: 1540191 markings, 4736316 edges, 23705 markings/sec, 55 secs
lola: 1658620 markings, 5164819 edges, 23686 markings/sec, 60 secs
lola: 1775453 markings, 5592977 edges, 23367 markings/sec, 65 secs
lola: 1893013 markings, 6020525 edges, 23512 markings/sec, 70 secs
lola: 2010917 markings, 6447540 edges, 23581 markings/sec, 75 secs
lola: 2127517 markings, 6874198 edges, 23320 markings/sec, 80 secs
lola: 2244383 markings, 7299510 edges, 23373 markings/sec, 85 secs
lola: 2360976 markings, 7725822 edges, 23319 markings/sec, 90 secs
lola: 2477375 markings, 8151135 edges, 23280 markings/sec, 95 secs
lola: 2594063 markings, 8576362 edges, 23338 markings/sec, 100 secs
lola: 2709717 markings, 9001230 edges, 23131 markings/sec, 105 secs
lola: 2824914 markings, 9426011 edges, 23039 markings/sec, 110 secs
lola: 2940608 markings, 9850149 edges, 23139 markings/sec, 115 secs
lola: 3055261 markings, 10274248 edges, 22931 markings/sec, 120 secs
lola: 3170498 markings, 10697731 edges, 23047 markings/sec, 125 secs
lola: 3285899 markings, 11121013 edges, 23080 markings/sec, 130 secs
lola: 3401067 markings, 11544886 edges, 23034 markings/sec, 135 secs
lola: 3516162 markings, 11967986 edges, 23019 markings/sec, 140 secs
lola: 3631101 markings, 12390638 edges, 22988 markings/sec, 145 secs
lola: 3745693 markings, 12812853 edges, 22918 markings/sec, 150 secs
lola: 3859789 markings, 13235911 edges, 22819 markings/sec, 155 secs
lola: 3974200 markings, 13658196 edges, 22882 markings/sec, 160 secs
lola: 4088451 markings, 14080024 edges, 22850 markings/sec, 165 secs
lola: 4202618 markings, 14501548 edges, 22833 markings/sec, 170 secs
lola: 4316163 markings, 14922543 edges, 22709 markings/sec, 175 secs
lola: 4430027 markings, 15343657 edges, 22773 markings/sec, 180 secs
lola: 4543723 markings, 15765019 edges, 22739 markings/sec, 185 secs
lola: 4656997 markings, 16184625 edges, 22655 markings/sec, 190 secs
lola: 4769983 markings, 16603975 edges, 22597 markings/sec, 195 secs
lola: 4883304 markings, 17023483 edges, 22664 markings/sec, 200 secs
lola: 4996666 markings, 17442018 edges, 22672 markings/sec, 205 secs
lola: 5109145 markings, 17860905 edges, 22496 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: 2530468 KB
lola: time consumption: 1833 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p587)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p587)
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: 100100 markings, 156073 edges, 20020 markings/sec, 0 secs
lola: 362254 markings, 589668 edges, 52431 markings/sec, 5 secs
lola: 497178 markings, 1033473 edges, 26985 markings/sec, 10 secs
lola: 625414 markings, 1474173 edges, 25647 markings/sec, 15 secs
lola: 751070 markings, 1912132 edges, 25131 markings/sec, 20 secs
lola: 874202 markings, 2348168 edges, 24626 markings/sec, 25 secs
lola: 996558 markings, 2783069 edges, 24471 markings/sec, 30 secs
lola: 1118270 markings, 3216556 edges, 24342 markings/sec, 35 secs
lola: 1238692 markings, 3649378 edges, 24084 markings/sec, 40 secs
lola: 1358993 markings, 4081477 edges, 24060 markings/sec, 45 secs
lola: 1478255 markings, 4512170 edges, 23852 markings/sec, 50 secs
lola: 1597352 markings, 4942445 edges, 23819 markings/sec, 55 secs
lola: 1715176 markings, 5372282 edges, 23565 markings/sec, 60 secs
lola: 1832650 markings, 5801340 edges, 23495 markings/sec, 65 secs
lola: 1951247 markings, 6230287 edges, 23719 markings/sec, 70 secs
lola: 2068721 markings, 6658218 edges, 23495 markings/sec, 75 secs
lola: 2185498 markings, 7084571 edges, 23355 markings/sec, 80 secs
lola: 2301662 markings, 7510862 edges, 23233 markings/sec, 85 secs
lola: 2418373 markings, 7936353 edges, 23342 markings/sec, 90 secs
lola: 2535557 markings, 8361675 edges, 23437 markings/sec, 95 secs
lola: 2651180 markings, 8786811 edges, 23125 markings/sec, 100 secs
lola: 2766609 markings, 9211487 edges, 23086 markings/sec, 105 secs
lola: 2882855 markings, 9637525 edges, 23249 markings/sec, 110 secs
lola: 2998183 markings, 10062603 edges, 23066 markings/sec, 115 secs
lola: 3113229 markings, 10487981 edges, 23009 markings/sec, 120 secs
lola: 3229171 markings, 10912671 edges, 23188 markings/sec, 125 secs
lola: 3344547 markings, 11336661 edges, 23075 markings/sec, 130 secs
lola: 3459923 markings, 11760153 edges, 23075 markings/sec, 135 secs
lola: 3574708 markings, 12183112 edges, 22957 markings/sec, 140 secs
lola: 3689440 markings, 12606559 edges, 22946 markings/sec, 145 secs
lola: 3804149 markings, 13030376 edges, 22942 markings/sec, 150 secs
lola: 3918701 markings, 13453943 edges, 22910 markings/sec, 155 secs
lola: 4033700 markings, 13876999 edges, 23000 markings/sec, 160 secs
lola: 4147866 markings, 14300084 edges, 22833 markings/sec, 165 secs
lola: 4262035 markings, 14723386 edges, 22834 markings/sec, 170 secs
lola: 4377020 markings, 15146468 edges, 22997 markings/sec, 175 secs
lola: 4490564 markings, 15568961 edges, 22709 markings/sec, 180 secs
lola: 4604700 markings, 15992370 edges, 22827 markings/sec, 185 secs
lola: 4718897 markings, 16413662 edges, 22839 markings/sec, 190 secs
lola: 4832630 markings, 16837068 edges, 22747 markings/sec, 195 secs
lola: 4947034 markings, 17258990 edges, 22881 markings/sec, 200 secs
lola: 5061121 markings, 17681167 edges, 22817 markings/sec, 205 secs
lola: 5174902 markings, 18103111 edges, 22756 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: 1502196 KB
lola: time consumption: 2050 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p214)
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: 52426 markings, 148989 edges, 10485 markings/sec, 0 secs
lola: 178700 markings, 558087 edges, 25255 markings/sec, 5 secs
lola: 299130 markings, 962722 edges, 24086 markings/sec, 10 secs
lola: 418951 markings, 1377623 edges, 23964 markings/sec, 15 secs
lola: 542544 markings, 1809385 edges, 24719 markings/sec, 20 secs
lola: 665913 markings, 2239598 edges, 24674 markings/sec, 25 secs
lola: 777055 markings, 2634436 edges, 22228 markings/sec, 30 secs
lola: 888239 markings, 3030561 edges, 22237 markings/sec, 35 secs
lola: 1001111 markings, 3432000 edges, 22574 markings/sec, 40 secs
lola: 1114452 markings, 3839361 edges, 22668 markings/sec, 45 secs
lola: 1231860 markings, 4264098 edges, 23482 markings/sec, 50 secs
lola: 1348792 markings, 4688740 edges, 23386 markings/sec, 55 secs
lola: 1466278 markings, 5112829 edges, 23497 markings/sec, 60 secs
lola: 1583628 markings, 5536798 edges, 23470 markings/sec, 65 secs
lola: 1693812 markings, 5936269 edges, 22037 markings/sec, 70 secs
lola: 1809163 markings, 6354585 edges, 23070 markings/sec, 75 secs
lola: 1920039 markings, 6757373 edges, 22175 markings/sec, 80 secs
lola: 2033963 markings, 7175808 edges, 22785 markings/sec, 85 secs
lola: 2147810 markings, 7593452 edges, 22769 markings/sec, 90 secs
lola: 2261542 markings, 8011302 edges, 22746 markings/sec, 95 secs
lola: 2371007 markings, 8413412 edges, 21893 markings/sec, 100 secs
lola: 2484828 markings, 8829971 edges, 22764 markings/sec, 105 secs
lola: 2596817 markings, 9241393 edges, 22398 markings/sec, 110 secs
lola: 2706173 markings, 9643540 edges, 21871 markings/sec, 115 secs
lola: 2818595 markings, 10058102 edges, 22484 markings/sec, 120 secs
lola: 2927052 markings, 10457864 edges, 21691 markings/sec, 125 secs
lola: 3035465 markings, 10858283 edges, 21683 markings/sec, 130 secs
lola: 3144372 markings, 11259455 edges, 21781 markings/sec, 135 secs
lola: 3252481 markings, 11659440 edges, 21622 markings/sec, 140 secs
lola: 3360329 markings, 12059103 edges, 21570 markings/sec, 145 secs
lola: 3467754 markings, 12457979 edges, 21485 markings/sec, 150 secs
lola: 3575847 markings, 12857166 edges, 21619 markings/sec, 155 secs
lola: 3682990 markings, 13255485 edges, 21429 markings/sec, 160 secs
lola: 3789720 markings, 13653264 edges, 21346 markings/sec, 165 secs
lola: 3896792 markings, 14051407 edges, 21414 markings/sec, 170 secs
lola: 4004187 markings, 14449095 edges, 21479 markings/sec, 175 secs
lola: 4111265 markings, 14847178 edges, 21416 markings/sec, 180 secs
lola: 4218411 markings, 15244216 edges, 21429 markings/sec, 185 secs
lola: 4324184 markings, 15640853 edges, 21155 markings/sec, 190 secs
lola: 4430472 markings, 16037124 edges, 21258 markings/sec, 195 secs
lola: 4537173 markings, 16434403 edges, 21340 markings/sec, 200 secs
lola: 4644875 markings, 16831643 edges, 21540 markings/sec, 205 secs
lola: 4751314 markings, 17228161 edges, 21288 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: 2588104 KB
lola: time consumption: 2268 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p340)
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: 65439 markings, 168727 edges, 13088 markings/sec, 0 secs
lola: 202790 markings, 601987 edges, 27470 markings/sec, 5 secs
lola: 328915 markings, 1032976 edges, 25225 markings/sec, 10 secs
lola: 448625 markings, 1462007 edges, 23942 markings/sec, 15 secs
lola: 564177 markings, 1889652 edges, 23110 markings/sec, 20 secs
lola: 677151 markings, 2316607 edges, 22595 markings/sec, 25 secs
lola: 788106 markings, 2742350 edges, 22191 markings/sec, 30 secs
lola: 897946 markings, 3167529 edges, 21968 markings/sec, 35 secs
lola: 1005253 markings, 3592201 edges, 21461 markings/sec, 40 secs
lola: 1111949 markings, 4016297 edges, 21339 markings/sec, 45 secs
lola: 1218799 markings, 4440101 edges, 21370 markings/sec, 50 secs
lola: 1323318 markings, 4866969 edges, 20904 markings/sec, 55 secs
lola: 1429373 markings, 5295247 edges, 21211 markings/sec, 60 secs
lola: 1533937 markings, 5723226 edges, 20913 markings/sec, 65 secs
lola: 1636152 markings, 6150851 edges, 20443 markings/sec, 70 secs
lola: 1740765 markings, 6577972 edges, 20923 markings/sec, 75 secs
lola: 1840547 markings, 7005009 edges, 19956 markings/sec, 80 secs
lola: 1943679 markings, 7431828 edges, 20626 markings/sec, 85 secs
lola: 2044912 markings, 7858018 edges, 20247 markings/sec, 90 secs
lola: 2145909 markings, 8284227 edges, 20199 markings/sec, 95 secs
lola: 2244763 markings, 8710176 edges, 19771 markings/sec, 100 secs
lola: 2345574 markings, 9135976 edges, 20162 markings/sec, 105 secs
lola: 2444559 markings, 9561849 edges, 19797 markings/sec, 110 secs
lola: 2542885 markings, 9987113 edges, 19665 markings/sec, 115 secs
lola: 2642033 markings, 10412379 edges, 19830 markings/sec, 120 secs
lola: 2741164 markings, 10837281 edges, 19826 markings/sec, 125 secs
lola: 2839320 markings, 11262579 edges, 19631 markings/sec, 130 secs
lola: 2936953 markings, 11686873 edges, 19527 markings/sec, 135 secs
lola: 3035340 markings, 12111567 edges, 19677 markings/sec, 140 secs
lola: 3133121 markings, 12536048 edges, 19556 markings/sec, 145 secs
lola: 3230637 markings, 12960801 edges, 19503 markings/sec, 150 secs
lola: 3325223 markings, 13384579 edges, 18917 markings/sec, 155 secs
lola: 3421748 markings, 13809103 edges, 19305 markings/sec, 160 secs
lola: 3517944 markings, 14232830 edges, 19239 markings/sec, 165 secs
lola: 3613601 markings, 14656157 edges, 19131 markings/sec, 170 secs
lola: 3709270 markings, 15077697 edges, 19134 markings/sec, 175 secs
lola: 3804474 markings, 15498513 edges, 19041 markings/sec, 180 secs
lola: 3898372 markings, 15918781 edges, 18780 markings/sec, 185 secs
lola: 3994157 markings, 16338599 edges, 19157 markings/sec, 190 secs
lola: 4086280 markings, 16759199 edges, 18425 markings/sec, 195 secs
lola: 4182593 markings, 17179180 edges, 19263 markings/sec, 200 secs
lola: 4276337 markings, 17597971 edges, 18749 markings/sec, 205 secs
lola: 4367658 markings, 18018343 edges, 18264 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: 1903556 KB
lola: time consumption: 2484 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p67)
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: 99420 markings, 154964 edges, 19884 markings/sec, 0 secs
lola: 356220 markings, 571968 edges, 51360 markings/sec, 5 secs
lola: 483101 markings, 986502 edges, 25376 markings/sec, 10 secs
lola: 602555 markings, 1394309 edges, 23891 markings/sec, 15 secs
lola: 718424 markings, 1798354 edges, 23174 markings/sec, 20 secs
lola: 832665 markings, 2200482 edges, 22848 markings/sec, 25 secs
lola: 945881 markings, 2600718 edges, 22643 markings/sec, 30 secs
lola: 1057784 markings, 2999731 edges, 22381 markings/sec, 35 secs
lola: 1168761 markings, 3397327 edges, 22195 markings/sec, 40 secs
lola: 1279289 markings, 3794344 edges, 22106 markings/sec, 45 secs
lola: 1389117 markings, 4190407 edges, 21966 markings/sec, 50 secs
lola: 1498250 markings, 4585258 edges, 21827 markings/sec, 55 secs
lola: 1607325 markings, 4979483 edges, 21815 markings/sec, 60 secs
lola: 1715436 markings, 5373179 edges, 21622 markings/sec, 65 secs
lola: 1823095 markings, 5766226 edges, 21532 markings/sec, 70 secs
lola: 1931754 markings, 6159288 edges, 21732 markings/sec, 75 secs
lola: 2039337 markings, 6551748 edges, 21517 markings/sec, 80 secs
lola: 2146430 markings, 6943397 edges, 21419 markings/sec, 85 secs
lola: 2253980 markings, 7334569 edges, 21510 markings/sec, 90 secs
lola: 2360849 markings, 7725350 edges, 21374 markings/sec, 95 secs
lola: 2449482 markings, 8049721 edges, 17727 markings/sec, 100 secs
lola: 2556752 markings, 8439936 edges, 21454 markings/sec, 105 secs
lola: 2666730 markings, 8842742 edges, 21996 markings/sec, 110 secs
lola: 2777114 markings, 9249590 edges, 22077 markings/sec, 115 secs
lola: 2887841 markings, 9656165 edges, 22145 markings/sec, 120 secs
lola: 2998077 markings, 10062194 edges, 22047 markings/sec, 125 secs
lola: 3107561 markings, 10467954 edges, 21897 markings/sec, 130 secs
lola: 3218529 markings, 10874001 edges, 22194 markings/sec, 135 secs
lola: 3328763 markings, 11280235 edges, 22047 markings/sec, 140 secs
lola: 3439396 markings, 11686218 edges, 22127 markings/sec, 145 secs
lola: 3549858 markings, 12091408 edges, 22092 markings/sec, 150 secs
lola: 3659464 markings, 12495780 edges, 21921 markings/sec, 155 secs
lola: 3769161 markings, 12900088 edges, 21939 markings/sec, 160 secs
lola: 3878634 markings, 13304507 edges, 21895 markings/sec, 165 secs
lola: 3987334 markings, 13707819 edges, 21740 markings/sec, 170 secs
lola: 4092358 markings, 14094360 edges, 21005 markings/sec, 175 secs
lola: 4196661 markings, 14479657 edges, 20861 markings/sec, 180 secs
lola: 4300227 markings, 14864629 edges, 20713 markings/sec, 185 secs
lola: 4405137 markings, 15249861 edges, 20982 markings/sec, 190 secs
lola: 4508164 markings, 15634792 edges, 20605 markings/sec, 195 secs
lola: 4612556 markings, 16021138 edges, 20878 markings/sec, 200 secs
lola: 4721540 markings, 16423824 edges, 21797 markings/sec, 205 secs
lola: 4826380 markings, 16813558 edges, 20968 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: 2602340 KB
lola: time consumption: 2701 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p883)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p883)
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: 102846 markings, 163255 edges, 20569 markings/sec, 0 secs
lola: 345986 markings, 588761 edges, 48628 markings/sec, 5 secs
lola: 594984 markings, 1030339 edges, 49800 markings/sec, 10 secs
lola: 842472 markings, 1470189 edges, 49498 markings/sec, 15 secs
lola: 1076826 markings, 1880819 edges, 46871 markings/sec, 20 secs
lola: 1311749 markings, 2292785 edges, 46985 markings/sec, 25 secs
lola: 1543964 markings, 2702780 edges, 46443 markings/sec, 30 secs
lola: 1734375 markings, 3127509 edges, 38082 markings/sec, 35 secs
lola: 1874978 markings, 3576347 edges, 28121 markings/sec, 40 secs
lola: 2011705 markings, 4024679 edges, 27345 markings/sec, 45 secs
lola: 2146566 markings, 4472609 edges, 26972 markings/sec, 50 secs
lola: 2278870 markings, 4918548 edges, 26461 markings/sec, 55 secs
lola: 2409497 markings, 5359182 edges, 26125 markings/sec, 60 secs
lola: 2539109 markings, 5798485 edges, 25922 markings/sec, 65 secs
lola: 2666544 markings, 6238340 edges, 25487 markings/sec, 70 secs
lola: 2793520 markings, 6677654 edges, 25395 markings/sec, 75 secs
lola: 2921136 markings, 7116267 edges, 25523 markings/sec, 80 secs
lola: 3047425 markings, 7555907 edges, 25258 markings/sec, 85 secs
lola: 3176834 markings, 7996373 edges, 25882 markings/sec, 90 secs
lola: 3302727 markings, 8437120 edges, 25179 markings/sec, 95 secs
lola: 3426663 markings, 8877408 edges, 24787 markings/sec, 100 secs
lola: 3550441 markings, 9317387 edges, 24756 markings/sec, 105 secs
lola: 3671566 markings, 9748990 edges, 24225 markings/sec, 110 secs
lola: 3792383 markings, 10182073 edges, 24163 markings/sec, 115 secs
lola: 3913529 markings, 10615461 edges, 24229 markings/sec, 120 secs
lola: 4048515 markings, 11054032 edges, 26997 markings/sec, 125 secs
lola: 4177308 markings, 11492595 edges, 25759 markings/sec, 130 secs
lola: 4297601 markings, 11930681 edges, 24059 markings/sec, 135 secs
lola: 4423451 markings, 12367591 edges, 25170 markings/sec, 140 secs
lola: 4550691 markings, 12805540 edges, 25448 markings/sec, 145 secs
lola: 4677287 markings, 13243924 edges, 25319 markings/sec, 150 secs
lola: 4804668 markings, 13682280 edges, 25476 markings/sec, 155 secs
lola: 4932297 markings, 14117871 edges, 25526 markings/sec, 160 secs
lola: 5055345 markings, 14552863 edges, 24610 markings/sec, 165 secs
lola: 5183762 markings, 14989498 edges, 25683 markings/sec, 170 secs
lola: 5300957 markings, 15412063 edges, 23439 markings/sec, 175 secs
lola: 5416899 markings, 15830629 edges, 23188 markings/sec, 180 secs
lola: 5538112 markings, 16240524 edges, 24243 markings/sec, 185 secs
lola: 5665567 markings, 16684952 edges, 25491 markings/sec, 190 secs
lola: 5796458 markings, 17130859 edges, 26178 markings/sec, 195 secs
lola: 5920124 markings, 17557564 edges, 24733 markings/sec, 200 secs
lola: 6052770 markings, 18004919 edges, 26529 markings/sec, 205 secs
lola: 6179843 markings, 18450556 edges, 25415 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: 334920 KB
lola: time consumption: 2918 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p477)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p477)
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: 109211 markings, 171091 edges, 21842 markings/sec, 0 secs
lola: 367773 markings, 605060 edges, 51712 markings/sec, 5 secs
lola: 501479 markings, 1048215 edges, 26741 markings/sec, 10 secs
lola: 629258 markings, 1487874 edges, 25556 markings/sec, 15 secs
lola: 754476 markings, 1924565 edges, 25044 markings/sec, 20 secs
lola: 877330 markings, 2359477 edges, 24571 markings/sec, 25 secs
lola: 999494 markings, 2792847 edges, 24433 markings/sec, 30 secs
lola: 1120672 markings, 3225064 edges, 24236 markings/sec, 35 secs
lola: 1240634 markings, 3656617 edges, 23992 markings/sec, 40 secs
lola: 1360589 markings, 4087305 edges, 23991 markings/sec, 45 secs
lola: 1479720 markings, 4517469 edges, 23826 markings/sec, 50 secs
lola: 1598554 markings, 4947040 edges, 23767 markings/sec, 55 secs
lola: 1716207 markings, 5376035 edges, 23531 markings/sec, 60 secs
lola: 1833508 markings, 5804334 edges, 23460 markings/sec, 65 secs
lola: 1951920 markings, 6232623 edges, 23682 markings/sec, 70 secs
lola: 2069143 markings, 6659851 edges, 23445 markings/sec, 75 secs
lola: 2186051 markings, 7086740 edges, 23382 markings/sec, 80 secs
lola: 2298126 markings, 7497578 edges, 22415 markings/sec, 85 secs
lola: 2414837 markings, 7923645 edges, 23342 markings/sec, 90 secs
lola: 2531986 markings, 8349082 edges, 23430 markings/sec, 95 secs
lola: 2647841 markings, 8774484 edges, 23171 markings/sec, 100 secs
lola: 2763253 markings, 9198943 edges, 23082 markings/sec, 105 secs
lola: 2878949 markings, 9623563 edges, 23139 markings/sec, 110 secs
lola: 2994026 markings, 10047490 edges, 23015 markings/sec, 115 secs
lola: 3108704 markings, 10471955 edges, 22936 markings/sec, 120 secs
lola: 3224474 markings, 10895537 edges, 23154 markings/sec, 125 secs
lola: 3339740 markings, 11318918 edges, 23053 markings/sec, 130 secs
lola: 3454930 markings, 11742122 edges, 23038 markings/sec, 135 secs
lola: 3569788 markings, 12164790 edges, 22972 markings/sec, 140 secs
lola: 3683886 markings, 12586907 edges, 22820 markings/sec, 145 secs
lola: 3798397 markings, 13008475 edges, 22902 markings/sec, 150 secs
lola: 3912108 markings, 13430042 edges, 22742 markings/sec, 155 secs
lola: 4026472 markings, 13851116 edges, 22873 markings/sec, 160 secs
lola: 4140359 markings, 14272014 edges, 22777 markings/sec, 165 secs
lola: 4253902 markings, 14692978 edges, 22709 markings/sec, 170 secs
lola: 4367900 markings, 15113873 edges, 22800 markings/sec, 175 secs
lola: 4480167 markings, 15529802 edges, 22453 markings/sec, 180 secs
lola: 4591817 markings, 15945362 edges, 22330 markings/sec, 185 secs
lola: 4705676 markings, 16364694 edges, 22772 markings/sec, 190 secs
lola: 4819126 markings, 16786309 edges, 22690 markings/sec, 195 secs
lola: 4932923 markings, 17206442 edges, 22759 markings/sec, 200 secs
lola: 5046549 markings, 17626462 edges, 22725 markings/sec, 205 secs
lola: 5157535 markings, 18039976 edges, 22197 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: 1882900 KB
lola: time consumption: 3135 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p440)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p440)
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: 65009 markings, 167650 edges, 13002 markings/sec, 0 secs
lola: 201496 markings, 597248 edges, 27297 markings/sec, 5 secs
lola: 326073 markings, 1023635 edges, 24915 markings/sec, 10 secs
lola: 444939 markings, 1448618 edges, 23773 markings/sec, 15 secs
lola: 559654 markings, 1873462 edges, 22943 markings/sec, 20 secs
lola: 671770 markings, 2297567 edges, 22423 markings/sec, 25 secs
lola: 782454 markings, 2721373 edges, 22137 markings/sec, 30 secs
lola: 891789 markings, 3144391 edges, 21867 markings/sec, 35 secs
lola: 998635 markings, 3563247 edges, 21369 markings/sec, 40 secs
lola: 1104309 markings, 3984605 edges, 21135 markings/sec, 45 secs
lola: 1211028 markings, 4407623 edges, 21344 markings/sec, 50 secs
lola: 1308634 markings, 4804392 edges, 19521 markings/sec, 55 secs
lola: 1406408 markings, 5201094 edges, 19555 markings/sec, 60 secs
lola: 1503242 markings, 5597323 edges, 19367 markings/sec, 65 secs
lola: 1600057 markings, 5993000 edges, 19363 markings/sec, 70 secs
lola: 1694553 markings, 6389109 edges, 18899 markings/sec, 75 secs
lola: 1789291 markings, 6783060 edges, 18948 markings/sec, 80 secs
lola: 1883694 markings, 7180949 edges, 18881 markings/sec, 85 secs
lola: 1985488 markings, 7606328 edges, 20359 markings/sec, 90 secs
lola: 2078133 markings, 7996158 edges, 18529 markings/sec, 95 secs
lola: 2170468 markings, 8391594 edges, 18467 markings/sec, 100 secs
lola: 2270084 markings, 8815581 edges, 19923 markings/sec, 105 secs
lola: 2362773 markings, 9204826 edges, 18538 markings/sec, 110 secs
lola: 2448997 markings, 9580351 edges, 17245 markings/sec, 115 secs
lola: 2544714 markings, 9996503 edges, 19143 markings/sec, 120 secs
lola: 2632798 markings, 10371572 edges, 17617 markings/sec, 125 secs
lola: 2722350 markings, 10754019 edges, 17910 markings/sec, 130 secs
lola: 2812897 markings, 11146165 edges, 18109 markings/sec, 135 secs
lola: 2909160 markings, 11565977 edges, 19253 markings/sec, 140 secs
lola: 3000619 markings, 11956264 edges, 18292 markings/sec, 145 secs
lola: 3095124 markings, 12374992 edges, 18901 markings/sec, 150 secs
lola: 3192730 markings, 12794080 edges, 19521 markings/sec, 155 secs
lola: 3280802 markings, 13184660 edges, 17614 markings/sec, 160 secs
lola: 3376298 markings, 13602222 edges, 19099 markings/sec, 165 secs
lola: 3470797 markings, 14018731 edges, 18900 markings/sec, 170 secs
lola: 3563553 markings, 14435219 edges, 18551 markings/sec, 175 secs
lola: 3657997 markings, 14851119 edges, 18889 markings/sec, 180 secs
lola: 3752628 markings, 15267538 edges, 18926 markings/sec, 185 secs
lola: 3847195 markings, 15687723 edges, 18913 markings/sec, 190 secs
lola: 3934997 markings, 16077077 edges, 17560 markings/sec, 195 secs
lola: 4027929 markings, 16492270 edges, 18586 markings/sec, 200 secs
lola: 4120325 markings, 16908760 edges, 18479 markings/sec, 205 secs
lola: 4215040 markings, 17323316 edges, 18943 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: 1564632 KB
lola: time consumption: 3352 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p895)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p895)
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: 54236 markings, 137188 edges, 10847 markings/sec, 0 secs
lola: 198498 markings, 587261 edges, 28852 markings/sec, 5 secs
lola: 329713 markings, 1035591 edges, 26243 markings/sec, 10 secs
lola: 454006 markings, 1482188 edges, 24859 markings/sec, 15 secs
lola: 574411 markings, 1927522 edges, 24081 markings/sec, 20 secs
lola: 691504 markings, 2371683 edges, 23419 markings/sec, 25 secs
lola: 806977 markings, 2815176 edges, 23095 markings/sec, 30 secs
lola: 920383 markings, 3257562 edges, 22681 markings/sec, 35 secs
lola: 1032967 markings, 3698758 edges, 22517 markings/sec, 40 secs
lola: 1143420 markings, 4138964 edges, 22091 markings/sec, 45 secs
lola: 1253193 markings, 4579037 edges, 21955 markings/sec, 50 secs
lola: 1360763 markings, 5018790 edges, 21514 markings/sec, 55 secs
lola: 1469362 markings, 5458377 edges, 21720 markings/sec, 60 secs
lola: 1576276 markings, 5896965 edges, 21383 markings/sec, 65 secs
lola: 1681547 markings, 6335248 edges, 21054 markings/sec, 70 secs
lola: 1786832 markings, 6772746 edges, 21057 markings/sec, 75 secs
lola: 1890657 markings, 7210216 edges, 20765 markings/sec, 80 secs
lola: 1995659 markings, 7647080 edges, 21000 markings/sec, 85 secs
lola: 2099142 markings, 8083938 edges, 20697 markings/sec, 90 secs
lola: 2200026 markings, 8521136 edges, 20177 markings/sec, 95 secs
lola: 2302688 markings, 8957265 edges, 20532 markings/sec, 100 secs
lola: 2405324 markings, 9392860 edges, 20527 markings/sec, 105 secs
lola: 2506519 markings, 9828022 edges, 20239 markings/sec, 110 secs
lola: 2605827 markings, 10261375 edges, 19862 markings/sec, 115 secs
lola: 2707260 markings, 10689392 edges, 20287 markings/sec, 120 secs
lola: 2806057 markings, 11118393 edges, 19759 markings/sec, 125 secs
lola: 2904956 markings, 11547799 edges, 19780 markings/sec, 130 secs
lola: 3004940 markings, 11976074 edges, 19997 markings/sec, 135 secs
lola: 3101943 markings, 12404523 edges, 19401 markings/sec, 140 secs
lola: 3201900 markings, 12832412 edges, 19991 markings/sec, 145 secs
lola: 3297638 markings, 13261917 edges, 19148 markings/sec, 150 secs
lola: 3391408 markings, 13673000 edges, 18754 markings/sec, 155 secs
lola: 3488651 markings, 14100594 edges, 19449 markings/sec, 160 secs
lola: 3584551 markings, 14529029 edges, 19180 markings/sec, 165 secs
lola: 3674853 markings, 14920051 edges, 18060 markings/sec, 170 secs
lola: 3771618 markings, 15352868 edges, 19353 markings/sec, 175 secs
lola: 3867709 markings, 15784384 edges, 19218 markings/sec, 180 secs
lola: 3966151 markings, 16215271 edges, 19688 markings/sec, 185 secs
lola: 4061298 markings, 16649868 edges, 19029 markings/sec, 190 secs
lola: 4160932 markings, 17080124 edges, 19927 markings/sec, 195 secs
lola: 4256848 markings, 17511131 edges, 19183 markings/sec, 200 secs
lola: 4350453 markings, 17944734 edges, 18721 markings/sec, 205 secs
lola: 4446871 markings, 18375280 edges, 19284 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 315980 KB
lola: time consumption: 3569 seconds
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 unknown
lola: memory consumption: 315980 KB
lola: time consumption: 3569 seconds

BK_STOP 1526843120184

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is JoinFreeModules-PT-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 r100-smll-152658630900275"
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 ;