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-155246566100322.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-0500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246566100322
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 3.6K Feb 11 07:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 11 07:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 7 06:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 7 06:59 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.5K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 12:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 12:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 31 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 31 08:01 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 2.9M 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-0500-UpperBounds-00
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-01
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-02
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-03
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-04
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-05
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-06
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-07
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-08
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-09
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-10
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-11
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-12
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-13
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-14
FORMULA_NAME JoinFreeModules-PT-0500-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552875265205

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0500 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0500 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0500 @ 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: 6502/65536 symbol table entries, 1048 collisions
lola: preprocessing...
lola: Size of bit vector: 80032
lola: finding significant places
lola: 2501 places, 4001 transitions, 2000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4501 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0500-UpperBounds.task
lola: MAX(p1922) : MAX(p1513) : MAX(p1907) : MAX(p1721) : MAX(p2276) : MAX(p518) : MAX(p1955) : MAX(p215) : MAX(p1399) : MAX(p2316) : MAX(p1781) : MAX(p1787) : MAX(p1279) : MAX(p203) : MAX(p1668) : MAX(p1664)
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(p1922)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1922)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 111357 markings, 180197 edges, 22271 markings/sec, 0 secs
lola: 315691 markings, 493534 edges, 40867 markings/sec, 5 secs
lola: 499386 markings, 792320 edges, 36739 markings/sec, 10 secs
lola: 685106 markings, 1079529 edges, 37144 markings/sec, 15 secs
lola: 877118 markings, 1374551 edges, 38402 markings/sec, 20 secs
lola: 1052501 markings, 1662704 edges, 35077 markings/sec, 25 secs
lola: 1255616 markings, 1956217 edges, 40623 markings/sec, 30 secs
lola: 1435583 markings, 2252006 edges, 35993 markings/sec, 35 secs
lola: 1625495 markings, 2542916 edges, 37982 markings/sec, 40 secs
lola: 1817792 markings, 2839877 edges, 38459 markings/sec, 45 secs
lola: 2002317 markings, 3140623 edges, 36905 markings/sec, 50 secs
lola: 2183003 markings, 3438984 edges, 36137 markings/sec, 55 secs
lola: 2290254 markings, 3730084 edges, 21450 markings/sec, 60 secs
lola: 2373678 markings, 4006304 edges, 16685 markings/sec, 65 secs
lola: 2465601 markings, 4298511 edges, 18385 markings/sec, 70 secs
lola: 2552465 markings, 4596293 edges, 17373 markings/sec, 75 secs
lola: 2636629 markings, 4886431 edges, 16833 markings/sec, 80 secs
lola: 2719387 markings, 5174110 edges, 16552 markings/sec, 85 secs
lola: 2795706 markings, 5447069 edges, 15264 markings/sec, 90 secs
lola: 2876808 markings, 5732217 edges, 16220 markings/sec, 95 secs
lola: 2961276 markings, 6024565 edges, 16894 markings/sec, 100 secs
lola: 3041674 markings, 6316521 edges, 16080 markings/sec, 105 secs
lola: 3123676 markings, 6608446 edges, 16400 markings/sec, 110 secs
lola: 3200956 markings, 6881521 edges, 15456 markings/sec, 115 secs
lola: 3281434 markings, 7172917 edges, 16096 markings/sec, 120 secs
lola: 3363427 markings, 7463738 edges, 16399 markings/sec, 125 secs
lola: 3440132 markings, 7738946 edges, 15341 markings/sec, 130 secs
lola: 3514938 markings, 8011659 edges, 14961 markings/sec, 135 secs
lola: 3595297 markings, 8292331 edges, 16072 markings/sec, 140 secs
lola: 3675397 markings, 8582169 edges, 16020 markings/sec, 145 secs
lola: 3757138 markings, 8876247 edges, 16348 markings/sec, 150 secs
lola: 3842550 markings, 9171177 edges, 17082 markings/sec, 155 secs
lola: 3922458 markings, 9462961 edges, 15982 markings/sec, 160 secs
lola: 4001725 markings, 9753274 edges, 15853 markings/sec, 165 secs
lola: 4081788 markings, 10041747 edges, 16013 markings/sec, 170 secs
lola: 4162200 markings, 10328357 edges, 16082 markings/sec, 175 secs
lola: 4243118 markings, 10617188 edges, 16184 markings/sec, 180 secs
lola: 4321073 markings, 10905630 edges, 15591 markings/sec, 185 secs
lola: 4399017 markings, 11193097 edges, 15589 markings/sec, 190 secs
lola: 4478447 markings, 11480691 edges, 15886 markings/sec, 195 secs
lola: 4557209 markings, 11768131 edges, 15752 markings/sec, 200 secs
lola: 4636833 markings, 12055236 edges, 15925 markings/sec, 205 secs
lola: 4714830 markings, 12342278 edges, 15599 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: 7327924 KB
lola: time consumption: 282 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(p1513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1513)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 131602 markings, 196221 edges, 26320 markings/sec, 0 secs
lola: 326225 markings, 528590 edges, 38925 markings/sec, 5 secs
lola: 511685 markings, 852849 edges, 37092 markings/sec, 10 secs
lola: 698378 markings, 1183875 edges, 37339 markings/sec, 15 secs
lola: 886717 markings, 1516887 edges, 37668 markings/sec, 20 secs
lola: 1075787 markings, 1848658 edges, 37814 markings/sec, 25 secs
lola: 1265040 markings, 2180938 edges, 37851 markings/sec, 30 secs
lola: 1453998 markings, 2513254 edges, 37792 markings/sec, 35 secs
lola: 1644869 markings, 2845691 edges, 38174 markings/sec, 40 secs
lola: 1832350 markings, 3172552 edges, 37496 markings/sec, 45 secs
lola: 2019829 markings, 3498294 edges, 37496 markings/sec, 50 secs
lola: 2209717 markings, 3828460 edges, 37978 markings/sec, 55 secs
lola: 2397147 markings, 4152542 edges, 37486 markings/sec, 60 secs
lola: 2579632 markings, 4471099 edges, 36497 markings/sec, 65 secs
lola: 2766361 markings, 4793092 edges, 37346 markings/sec, 70 secs
lola: 2951057 markings, 5113651 edges, 36939 markings/sec, 75 secs
lola: 3134676 markings, 5431379 edges, 36724 markings/sec, 80 secs
lola: 3323695 markings, 5758289 edges, 37804 markings/sec, 85 secs
lola: 3511884 markings, 6085173 edges, 37638 markings/sec, 90 secs
lola: 3702322 markings, 6412340 edges, 38088 markings/sec, 95 secs
lola: 3893075 markings, 6740598 edges, 38151 markings/sec, 100 secs
lola: 4084715 markings, 7068017 edges, 38328 markings/sec, 105 secs
lola: 4274578 markings, 7396609 edges, 37973 markings/sec, 110 secs
lola: 4463310 markings, 7723683 edges, 37746 markings/sec, 115 secs
lola: 4652335 markings, 8049601 edges, 37805 markings/sec, 120 secs
lola: 4841049 markings, 8374650 edges, 37743 markings/sec, 125 secs
lola: 5028345 markings, 8695129 edges, 37459 markings/sec, 130 secs
lola: 5216955 markings, 9021126 edges, 37722 markings/sec, 135 secs
lola: 5391833 markings, 9319893 edges, 34976 markings/sec, 140 secs
lola: 5562790 markings, 9614918 edges, 34191 markings/sec, 145 secs
lola: 5734080 markings, 9910101 edges, 34258 markings/sec, 150 secs
lola: 5917994 markings, 10225729 edges, 36783 markings/sec, 155 secs
lola: 6088749 markings, 10519172 edges, 34151 markings/sec, 160 secs
lola: 6259759 markings, 10812616 edges, 34202 markings/sec, 165 secs
lola: 6431419 markings, 11111553 edges, 34332 markings/sec, 170 secs
lola: 6606558 markings, 11410846 edges, 35028 markings/sec, 175 secs
lola: 6780651 markings, 11711783 edges, 34819 markings/sec, 180 secs
lola: 6956256 markings, 12011814 edges, 35121 markings/sec, 185 secs
lola: 7130942 markings, 12310831 edges, 34937 markings/sec, 190 secs
lola: 7304499 markings, 12606936 edges, 34711 markings/sec, 195 secs
lola: 7480002 markings, 12909390 edges, 35101 markings/sec, 200 secs
lola: 7654290 markings, 13207582 edges, 34858 markings/sec, 205 secs
lola: 7828330 markings, 13503984 edges, 34808 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: 1055988 KB
lola: time consumption: 501 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(p1907)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1907)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 102242 markings, 165179 edges, 20448 markings/sec, 0 secs
lola: 289716 markings, 453173 edges, 37495 markings/sec, 5 secs
lola: 463529 markings, 736379 edges, 34763 markings/sec, 10 secs
lola: 646950 markings, 1016783 edges, 36684 markings/sec, 15 secs
lola: 827161 markings, 1300449 edges, 36042 markings/sec, 20 secs
lola: 1012207 markings, 1596485 edges, 37009 markings/sec, 25 secs
lola: 1218410 markings, 1902693 edges, 41241 markings/sec, 30 secs
lola: 1411526 markings, 2212462 edges, 38623 markings/sec, 35 secs
lola: 1609523 markings, 2516665 edges, 39599 markings/sec, 40 secs
lola: 1803287 markings, 2819221 edges, 38753 markings/sec, 45 secs
lola: 1992530 markings, 3124541 edges, 37849 markings/sec, 50 secs
lola: 2178148 markings, 3430986 edges, 37124 markings/sec, 55 secs
lola: 2295567 markings, 3743017 edges, 23484 markings/sec, 60 secs
lola: 2389300 markings, 4053213 edges, 18747 markings/sec, 65 secs
lola: 2483190 markings, 4360429 edges, 18778 markings/sec, 70 secs
lola: 2573038 markings, 4669047 edges, 17970 markings/sec, 75 secs
lola: 2662538 markings, 4978701 edges, 17900 markings/sec, 80 secs
lola: 2751861 markings, 5290615 edges, 17865 markings/sec, 85 secs
lola: 2838864 markings, 5596813 edges, 17401 markings/sec, 90 secs
lola: 2924864 markings, 5903634 edges, 17200 markings/sec, 95 secs
lola: 3011897 markings, 6208066 edges, 17407 markings/sec, 100 secs
lola: 3096658 markings, 6513344 edges, 16952 markings/sec, 105 secs
lola: 3183353 markings, 6818119 edges, 17339 markings/sec, 110 secs
lola: 3267716 markings, 7123690 edges, 16873 markings/sec, 115 secs
lola: 3353152 markings, 7426328 edges, 17087 markings/sec, 120 secs
lola: 3436411 markings, 7725623 edges, 16652 markings/sec, 125 secs
lola: 3517984 markings, 8022580 edges, 16315 markings/sec, 130 secs
lola: 3601877 markings, 8315799 edges, 16779 markings/sec, 135 secs
lola: 3680666 markings, 8601823 edges, 15758 markings/sec, 140 secs
lola: 3758546 markings, 8881528 edges, 15576 markings/sec, 145 secs
lola: 3843080 markings, 9173080 edges, 16907 markings/sec, 150 secs
lola: 3919710 markings, 9452962 edges, 15326 markings/sec, 155 secs
lola: 3996996 markings, 9736046 edges, 15457 markings/sec, 160 secs
lola: 4073427 markings, 10011187 edges, 15286 markings/sec, 165 secs
lola: 4154800 markings, 10301499 edges, 16275 markings/sec, 170 secs
lola: 4236336 markings, 10592632 edges, 16307 markings/sec, 175 secs
lola: 4315035 markings, 10883313 edges, 15740 markings/sec, 180 secs
lola: 4393838 markings, 11174210 edges, 15761 markings/sec, 185 secs
lola: 4470693 markings, 11451340 edges, 15371 markings/sec, 190 secs
lola: 4544795 markings, 11723734 edges, 14820 markings/sec, 195 secs
lola: 4620682 markings, 11994935 edges, 15177 markings/sec, 200 secs
lola: 4693800 markings, 12264239 edges, 14624 markings/sec, 205 secs
lola: 4768777 markings, 12536032 edges, 14995 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: 7457816 KB
lola: time consumption: 720 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(p1721)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1721)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 78489 markings, 166069 edges, 15698 markings/sec, 0 secs
lola: 215595 markings, 468823 edges, 27421 markings/sec, 5 secs
lola: 350069 markings, 767681 edges, 26895 markings/sec, 10 secs
lola: 482929 markings, 1066070 edges, 26572 markings/sec, 15 secs
lola: 611585 markings, 1354788 edges, 25731 markings/sec, 20 secs
lola: 742423 markings, 1649942 edges, 26168 markings/sec, 25 secs
lola: 859735 markings, 1912527 edges, 23462 markings/sec, 30 secs
lola: 988559 markings, 2202589 edges, 25765 markings/sec, 35 secs
lola: 1118855 markings, 2495929 edges, 26059 markings/sec, 40 secs
lola: 1240730 markings, 2769413 edges, 24375 markings/sec, 45 secs
lola: 1362233 markings, 3043832 edges, 24301 markings/sec, 50 secs
lola: 1484943 markings, 3320658 edges, 24542 markings/sec, 55 secs
lola: 1606654 markings, 3599675 edges, 24342 markings/sec, 60 secs
lola: 1727597 markings, 3887392 edges, 24189 markings/sec, 65 secs
lola: 1846877 markings, 4176377 edges, 23856 markings/sec, 70 secs
lola: 1965328 markings, 4465013 edges, 23690 markings/sec, 75 secs
lola: 2085758 markings, 4755377 edges, 24086 markings/sec, 80 secs
lola: 2202661 markings, 5042770 edges, 23381 markings/sec, 85 secs
lola: 2320497 markings, 5331193 edges, 23567 markings/sec, 90 secs
lola: 2438425 markings, 5623101 edges, 23586 markings/sec, 95 secs
lola: 2556721 markings, 5916118 edges, 23659 markings/sec, 100 secs
lola: 2672938 markings, 6209084 edges, 23243 markings/sec, 105 secs
lola: 2796299 markings, 6512066 edges, 24672 markings/sec, 110 secs
lola: 2908939 markings, 6807518 edges, 22528 markings/sec, 115 secs
lola: 3022115 markings, 7105553 edges, 22635 markings/sec, 120 secs
lola: 3136726 markings, 7399603 edges, 22922 markings/sec, 125 secs
lola: 3244169 markings, 7687247 edges, 21489 markings/sec, 130 secs
lola: 3352037 markings, 7967967 edges, 21574 markings/sec, 135 secs
lola: 3459907 markings, 8251433 edges, 21574 markings/sec, 140 secs
lola: 3569152 markings, 8535734 edges, 21849 markings/sec, 145 secs
lola: 3678984 markings, 8827334 edges, 21966 markings/sec, 150 secs
lola: 3789608 markings, 9123344 edges, 22125 markings/sec, 155 secs
lola: 3895148 markings, 9400090 edges, 21108 markings/sec, 160 secs
lola: 3996493 markings, 9669442 edges, 20269 markings/sec, 165 secs
lola: 4099349 markings, 9941185 edges, 20571 markings/sec, 170 secs
lola: 4198911 markings, 10215836 edges, 19912 markings/sec, 175 secs
lola: 4297907 markings, 10486774 edges, 19799 markings/sec, 180 secs
lola: 4397103 markings, 10763159 edges, 19839 markings/sec, 185 secs
lola: 4508331 markings, 11073124 edges, 22246 markings/sec, 190 secs
lola: 4619407 markings, 11376487 edges, 22215 markings/sec, 195 secs
lola: 4727423 markings, 11677386 edges, 21603 markings/sec, 200 secs
lola: 4836866 markings, 11979712 edges, 21889 markings/sec, 205 secs
lola: 4942532 markings, 12273784 edges, 21133 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: 5116288 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(p2276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2276)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 79716 markings, 168791 edges, 15943 markings/sec, 0 secs
lola: 216427 markings, 470670 edges, 27342 markings/sec, 5 secs
lola: 352140 markings, 772415 edges, 27143 markings/sec, 10 secs
lola: 486092 markings, 1073269 edges, 26790 markings/sec, 15 secs
lola: 619895 markings, 1373989 edges, 26761 markings/sec, 20 secs
lola: 753410 markings, 1674090 edges, 26703 markings/sec, 25 secs
lola: 886922 markings, 1973987 edges, 26702 markings/sec, 30 secs
lola: 1023719 markings, 2282518 edges, 27359 markings/sec, 35 secs
lola: 1158969 markings, 2585376 edges, 27050 markings/sec, 40 secs
lola: 1290104 markings, 2881948 edges, 26227 markings/sec, 45 secs
lola: 1416191 markings, 3164345 edges, 25217 markings/sec, 50 secs
lola: 1542602 markings, 3452629 edges, 25282 markings/sec, 55 secs
lola: 1666264 markings, 3740053 edges, 24732 markings/sec, 60 secs
lola: 1779356 markings, 4013142 edges, 22618 markings/sec, 65 secs
lola: 1900451 markings, 4307669 edges, 24219 markings/sec, 70 secs
lola: 2021007 markings, 4601603 edges, 24111 markings/sec, 75 secs
lola: 2144310 markings, 4897928 edges, 24661 markings/sec, 80 secs
lola: 2256215 markings, 5172873 edges, 22381 markings/sec, 85 secs
lola: 2368964 markings, 5447036 edges, 22550 markings/sec, 90 secs
lola: 2476292 markings, 5715818 edges, 21466 markings/sec, 95 secs
lola: 2583526 markings, 5984192 edges, 21447 markings/sec, 100 secs
lola: 2695389 markings, 6261750 edges, 22373 markings/sec, 105 secs
lola: 2804634 markings, 6532973 edges, 21849 markings/sec, 110 secs
lola: 2909321 markings, 6808882 edges, 20937 markings/sec, 115 secs
lola: 3013825 markings, 7084871 edges, 20901 markings/sec, 120 secs
lola: 3118015 markings, 7349843 edges, 20838 markings/sec, 125 secs
lola: 3226794 markings, 7641340 edges, 21756 markings/sec, 130 secs
lola: 3343183 markings, 7943364 edges, 23278 markings/sec, 135 secs
lola: 3459437 markings, 8250450 edges, 23251 markings/sec, 140 secs
lola: 3578251 markings, 8559784 edges, 23763 markings/sec, 145 secs
lola: 3696722 markings, 8873438 edges, 23694 markings/sec, 150 secs
lola: 3814025 markings, 9188369 edges, 23461 markings/sec, 155 secs
lola: 3929605 markings, 9492973 edges, 23116 markings/sec, 160 secs
lola: 4047601 markings, 9803664 edges, 23599 markings/sec, 165 secs
lola: 4161734 markings, 10112966 edges, 22827 markings/sec, 170 secs
lola: 4270250 markings, 10411625 edges, 21703 markings/sec, 175 secs
lola: 4379472 markings, 10716137 edges, 21844 markings/sec, 180 secs
lola: 4484777 markings, 11005430 edges, 21061 markings/sec, 185 secs
lola: 4594392 markings, 11308898 edges, 21923 markings/sec, 190 secs
lola: 4702538 markings, 11612283 edges, 21629 markings/sec, 195 secs
lola: 4808270 markings, 11901615 edges, 21146 markings/sec, 200 secs
lola: 4912244 markings, 12190870 edges, 20795 markings/sec, 205 secs
lola: 5012587 markings, 12466235 edges, 20069 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: 5676116 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(p518)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p518)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 111256 markings, 163343 edges, 22251 markings/sec, 0 secs
lola: 279786 markings, 448952 edges, 33706 markings/sec, 5 secs
lola: 443837 markings, 734017 edges, 32810 markings/sec, 10 secs
lola: 602644 markings, 1015967 edges, 31761 markings/sec, 15 secs
lola: 760648 markings, 1293124 edges, 31601 markings/sec, 20 secs
lola: 938250 markings, 1607963 edges, 35520 markings/sec, 25 secs
lola: 1126028 markings, 1936991 edges, 37556 markings/sec, 30 secs
lola: 1310083 markings, 2260812 edges, 36811 markings/sec, 35 secs
lola: 1492604 markings, 2580857 edges, 36504 markings/sec, 40 secs
lola: 1677584 markings, 2903392 edges, 36996 markings/sec, 45 secs
lola: 1865292 markings, 3229616 edges, 37542 markings/sec, 50 secs
lola: 2055708 markings, 3561566 edges, 38083 markings/sec, 55 secs
lola: 2220639 markings, 3847620 edges, 32986 markings/sec, 60 secs
lola: 2400207 markings, 4158083 edges, 35914 markings/sec, 65 secs
lola: 2561771 markings, 4438921 edges, 32313 markings/sec, 70 secs
lola: 2747446 markings, 4759659 edges, 37135 markings/sec, 75 secs
lola: 2933754 markings, 5083270 edges, 37262 markings/sec, 80 secs
lola: 3121855 markings, 5409912 edges, 37620 markings/sec, 85 secs
lola: 3301418 markings, 5718944 edges, 35913 markings/sec, 90 secs
lola: 3473598 markings, 6020152 edges, 34436 markings/sec, 95 secs
lola: 3662516 markings, 6342398 edges, 37784 markings/sec, 100 secs
lola: 3852977 markings, 6670279 edges, 38092 markings/sec, 105 secs
lola: 4043439 markings, 6997881 edges, 38092 markings/sec, 110 secs
lola: 4233568 markings, 7325627 edges, 38026 markings/sec, 115 secs
lola: 4419044 markings, 7646625 edges, 37095 markings/sec, 120 secs
lola: 4604961 markings, 7968589 edges, 37183 markings/sec, 125 secs
lola: 4794270 markings, 8293455 edges, 37862 markings/sec, 130 secs
lola: 4975890 markings, 8604915 edges, 36324 markings/sec, 135 secs
lola: 5161054 markings, 8924427 edges, 37033 markings/sec, 140 secs
lola: 5343481 markings, 9236155 edges, 36485 markings/sec, 145 secs
lola: 5529423 markings, 9558349 edges, 37188 markings/sec, 150 secs
lola: 5721170 markings, 9887372 edges, 38349 markings/sec, 155 secs
lola: 5908154 markings, 10208729 edges, 37397 markings/sec, 160 secs
lola: 6093575 markings, 10527381 edges, 37084 markings/sec, 165 secs
lola: 6277239 markings, 10843572 edges, 36733 markings/sec, 170 secs
lola: 6461337 markings, 11162229 edges, 36820 markings/sec, 175 secs
lola: 6645941 markings, 11479607 edges, 36921 markings/sec, 180 secs
lola: 6834998 markings, 11804490 edges, 37811 markings/sec, 185 secs
lola: 7016527 markings, 12114624 edges, 36306 markings/sec, 190 secs
lola: 7190707 markings, 12412734 edges, 34836 markings/sec, 195 secs
lola: 7358520 markings, 12700452 edges, 33563 markings/sec, 200 secs
lola: 7541971 markings, 13015394 edges, 36690 markings/sec, 205 secs
lola: 7739039 markings, 13352160 edges, 39414 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: 5088948 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(p1955)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1955)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 77854 markings, 205265 edges, 15571 markings/sec, 0 secs
lola: 179160 markings, 521981 edges, 20261 markings/sec, 5 secs
lola: 277518 markings, 853068 edges, 19672 markings/sec, 10 secs
lola: 372179 markings, 1183650 edges, 18932 markings/sec, 15 secs
lola: 461313 markings, 1507726 edges, 17827 markings/sec, 20 secs
lola: 549851 markings, 1835097 edges, 17708 markings/sec, 25 secs
lola: 634549 markings, 2156377 edges, 16940 markings/sec, 30 secs
lola: 719234 markings, 2476481 edges, 16937 markings/sec, 35 secs
lola: 799204 markings, 2785116 edges, 15994 markings/sec, 40 secs
lola: 881998 markings, 3105332 edges, 16559 markings/sec, 45 secs
lola: 964963 markings, 3431597 edges, 16593 markings/sec, 50 secs
lola: 1047494 markings, 3757676 edges, 16506 markings/sec, 55 secs
lola: 1129178 markings, 4083377 edges, 16337 markings/sec, 60 secs
lola: 1211665 markings, 4408524 edges, 16497 markings/sec, 65 secs
lola: 1291017 markings, 4731795 edges, 15870 markings/sec, 70 secs
lola: 1370866 markings, 5057309 edges, 15970 markings/sec, 75 secs
lola: 1449396 markings, 5374961 edges, 15706 markings/sec, 80 secs
lola: 1527527 markings, 5695644 edges, 15626 markings/sec, 85 secs
lola: 1607288 markings, 6020768 edges, 15952 markings/sec, 90 secs
lola: 1684905 markings, 6347070 edges, 15523 markings/sec, 95 secs
lola: 1763930 markings, 6672831 edges, 15805 markings/sec, 100 secs
lola: 1839149 markings, 6997967 edges, 15044 markings/sec, 105 secs
lola: 1918158 markings, 7324944 edges, 15802 markings/sec, 110 secs
lola: 1994358 markings, 7640343 edges, 15240 markings/sec, 115 secs
lola: 2066554 markings, 7946742 edges, 14439 markings/sec, 120 secs
lola: 2142883 markings, 8270300 edges, 15266 markings/sec, 125 secs
lola: 2218368 markings, 8597523 edges, 15097 markings/sec, 130 secs
lola: 2294840 markings, 8924356 edges, 15294 markings/sec, 135 secs
lola: 2371644 markings, 9242729 edges, 15361 markings/sec, 140 secs
lola: 2447046 markings, 9569933 edges, 15080 markings/sec, 145 secs
lola: 2522113 markings, 9896142 edges, 15013 markings/sec, 150 secs
lola: 2595937 markings, 10216194 edges, 14765 markings/sec, 155 secs
lola: 2672463 markings, 10537691 edges, 15305 markings/sec, 160 secs
lola: 2744391 markings, 10850513 edges, 14386 markings/sec, 165 secs
lola: 2818481 markings, 11170671 edges, 14818 markings/sec, 170 secs
lola: 2892131 markings, 11489237 edges, 14730 markings/sec, 175 secs
lola: 2966192 markings, 11806090 edges, 14812 markings/sec, 180 secs
lola: 3039214 markings, 12127520 edges, 14604 markings/sec, 185 secs
lola: 3113333 markings, 12450050 edges, 14824 markings/sec, 190 secs
lola: 3188680 markings, 12776644 edges, 15069 markings/sec, 195 secs
lola: 3262949 markings, 13101682 edges, 14854 markings/sec, 200 secs
lola: 3335613 markings, 13427590 edges, 14533 markings/sec, 205 secs
lola: 3410126 markings, 13753784 edges, 14903 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: 5180224 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(p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p215)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 79601 markings, 210172 edges, 15920 markings/sec, 0 secs
lola: 186657 markings, 547336 edges, 21411 markings/sec, 5 secs
lola: 283871 markings, 874312 edges, 19443 markings/sec, 10 secs
lola: 376722 markings, 1200018 edges, 18570 markings/sec, 15 secs
lola: 467652 markings, 1531708 edges, 18186 markings/sec, 20 secs
lola: 557405 markings, 1863694 edges, 17951 markings/sec, 25 secs
lola: 644634 markings, 2192985 edges, 17446 markings/sec, 30 secs
lola: 727794 markings, 2508925 edges, 16632 markings/sec, 35 secs
lola: 810743 markings, 2827855 edges, 16590 markings/sec, 40 secs
lola: 893587 markings, 3149728 edges, 16569 markings/sec, 45 secs
lola: 975085 markings, 3471683 edges, 16300 markings/sec, 50 secs
lola: 1057926 markings, 3799836 edges, 16568 markings/sec, 55 secs
lola: 1141644 markings, 4131037 edges, 16744 markings/sec, 60 secs
lola: 1224414 markings, 4461963 edges, 16554 markings/sec, 65 secs
lola: 1306336 markings, 4793190 edges, 16384 markings/sec, 70 secs
lola: 1388278 markings, 5124267 edges, 16388 markings/sec, 75 secs
lola: 1468781 markings, 5454274 edges, 16101 markings/sec, 80 secs
lola: 1548726 markings, 5786473 edges, 15989 markings/sec, 85 secs
lola: 1629337 markings, 6117942 edges, 16122 markings/sec, 90 secs
lola: 1709827 markings, 6449617 edges, 16098 markings/sec, 95 secs
lola: 1789056 markings, 6780599 edges, 15846 markings/sec, 100 secs
lola: 1867240 markings, 7111613 edges, 15637 markings/sec, 105 secs
lola: 1944519 markings, 7433940 edges, 15456 markings/sec, 110 secs
lola: 2023842 markings, 7764531 edges, 15865 markings/sec, 115 secs
lola: 2102380 markings, 8095264 edges, 15708 markings/sec, 120 secs
lola: 2179420 markings, 8426294 edges, 15408 markings/sec, 125 secs
lola: 2256410 markings, 8756941 edges, 15398 markings/sec, 130 secs
lola: 2333920 markings, 9087513 edges, 15502 markings/sec, 135 secs
lola: 2411703 markings, 9417655 edges, 15557 markings/sec, 140 secs
lola: 2489677 markings, 9747818 edges, 15595 markings/sec, 145 secs
lola: 2564533 markings, 10077353 edges, 14971 markings/sec, 150 secs
lola: 2641261 markings, 10406247 edges, 15346 markings/sec, 155 secs
lola: 2716337 markings, 10727391 edges, 15015 markings/sec, 160 secs
lola: 2790287 markings, 11049078 edges, 14790 markings/sec, 165 secs
lola: 2866552 markings, 11376732 edges, 15253 markings/sec, 170 secs
lola: 2942021 markings, 11706054 edges, 15094 markings/sec, 175 secs
lola: 3018226 markings, 12035969 edges, 15241 markings/sec, 180 secs
lola: 3093466 markings, 12365999 edges, 15048 markings/sec, 185 secs
lola: 3169645 markings, 12695896 edges, 15236 markings/sec, 190 secs
lola: 3245667 markings, 13025638 edges, 15204 markings/sec, 195 secs
lola: 3318858 markings, 13355408 edges, 14638 markings/sec, 200 secs
lola: 3394802 markings, 13685502 edges, 15189 markings/sec, 205 secs
lola: 3470615 markings, 14015843 edges, 15163 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: 4315508 KB
lola: time consumption: 1818 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(p1399)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1399)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 79121 markings, 231963 edges, 15824 markings/sec, 0 secs
lola: 189809 markings, 593822 edges, 22138 markings/sec, 5 secs
lola: 295753 markings, 951720 edges, 21189 markings/sec, 10 secs
lola: 398522 markings, 1307605 edges, 20554 markings/sec, 15 secs
lola: 501435 markings, 1663828 edges, 20583 markings/sec, 20 secs
lola: 600451 markings, 2010901 edges, 19803 markings/sec, 25 secs
lola: 701560 markings, 2363822 edges, 20222 markings/sec, 30 secs
lola: 800601 markings, 2717167 edges, 19808 markings/sec, 35 secs
lola: 899850 markings, 3070713 edges, 19850 markings/sec, 40 secs
lola: 999577 markings, 3424153 edges, 19945 markings/sec, 45 secs
lola: 1097416 markings, 3776051 edges, 19568 markings/sec, 50 secs
lola: 1195617 markings, 4128518 edges, 19640 markings/sec, 55 secs
lola: 1293245 markings, 4479730 edges, 19526 markings/sec, 60 secs
lola: 1390262 markings, 4829814 edges, 19403 markings/sec, 65 secs
lola: 1486835 markings, 5180313 edges, 19315 markings/sec, 70 secs
lola: 1583198 markings, 5530251 edges, 19273 markings/sec, 75 secs
lola: 1680065 markings, 5880438 edges, 19373 markings/sec, 80 secs
lola: 1775652 markings, 6230339 edges, 19117 markings/sec, 85 secs
lola: 1870601 markings, 6579008 edges, 18990 markings/sec, 90 secs
lola: 1966351 markings, 6928363 edges, 19150 markings/sec, 95 secs
lola: 2062019 markings, 7277742 edges, 19134 markings/sec, 100 secs
lola: 2157375 markings, 7627355 edges, 19071 markings/sec, 105 secs
lola: 2252178 markings, 7974562 edges, 18961 markings/sec, 110 secs
lola: 2346543 markings, 8321020 edges, 18873 markings/sec, 115 secs
lola: 2441217 markings, 8668375 edges, 18935 markings/sec, 120 secs
lola: 2536507 markings, 9017156 edges, 19058 markings/sec, 125 secs
lola: 2631186 markings, 9365889 edges, 18936 markings/sec, 130 secs
lola: 2723297 markings, 9704185 edges, 18422 markings/sec, 135 secs
lola: 2814673 markings, 10041274 edges, 18275 markings/sec, 140 secs
lola: 2908941 markings, 10385488 edges, 18854 markings/sec, 145 secs
lola: 3004963 markings, 10743309 edges, 19204 markings/sec, 150 secs
lola: 3102353 markings, 11103055 edges, 19478 markings/sec, 155 secs
lola: 3200181 markings, 11464489 edges, 19566 markings/sec, 160 secs
lola: 3297383 markings, 11826706 edges, 19440 markings/sec, 165 secs
lola: 3395108 markings, 12188517 edges, 19545 markings/sec, 170 secs
lola: 3492928 markings, 12550269 edges, 19564 markings/sec, 175 secs
lola: 3589989 markings, 12911361 edges, 19412 markings/sec, 180 secs
lola: 3686571 markings, 13271023 edges, 19316 markings/sec, 185 secs
lola: 3783591 markings, 13632540 edges, 19404 markings/sec, 190 secs
lola: 3880832 markings, 13993591 edges, 19448 markings/sec, 195 secs
lola: 3978266 markings, 14354865 edges, 19487 markings/sec, 200 secs
lola: 4075442 markings, 14715879 edges, 19435 markings/sec, 205 secs
lola: 4173010 markings, 15076424 edges, 19514 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: 1571408 KB
lola: time consumption: 2037 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(p2316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2316)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 102025 markings, 217357 edges, 20405 markings/sec, 0 secs
lola: 258122 markings, 562193 edges, 31219 markings/sec, 5 secs
lola: 413072 markings, 908448 edges, 30990 markings/sec, 10 secs
lola: 567066 markings, 1253858 edges, 30799 markings/sec, 15 secs
lola: 718601 markings, 1597460 edges, 30307 markings/sec, 20 secs
lola: 870377 markings, 1936325 edges, 30355 markings/sec, 25 secs
lola: 1023618 markings, 2282165 edges, 30648 markings/sec, 30 secs
lola: 1179150 markings, 2632475 edges, 31106 markings/sec, 35 secs
lola: 1334871 markings, 2981152 edges, 31144 markings/sec, 40 secs
lola: 1488540 markings, 3328915 edges, 30734 markings/sec, 45 secs
lola: 1639396 markings, 3677414 edges, 30171 markings/sec, 50 secs
lola: 1784577 markings, 4025588 edges, 29036 markings/sec, 55 secs
lola: 1927002 markings, 4373020 edges, 28485 markings/sec, 60 secs
lola: 2070282 markings, 4720505 edges, 28656 markings/sec, 65 secs
lola: 2212794 markings, 5066378 edges, 28502 markings/sec, 70 secs
lola: 2354682 markings, 5413936 edges, 28378 markings/sec, 75 secs
lola: 2494463 markings, 5760501 edges, 27956 markings/sec, 80 secs
lola: 2632690 markings, 6106836 edges, 27645 markings/sec, 85 secs
lola: 2772712 markings, 6453876 edges, 28004 markings/sec, 90 secs
lola: 2906389 markings, 6799990 edges, 26735 markings/sec, 95 secs
lola: 3038147 markings, 7145805 edges, 26352 markings/sec, 100 secs
lola: 3171061 markings, 7491930 edges, 26583 markings/sec, 105 secs
lola: 3303925 markings, 7838224 edges, 26573 markings/sec, 110 secs
lola: 3434276 markings, 8183920 edges, 26070 markings/sec, 115 secs
lola: 3566967 markings, 8529928 edges, 26538 markings/sec, 120 secs
lola: 3697672 markings, 8876456 edges, 26141 markings/sec, 125 secs
lola: 3827398 markings, 9222678 edges, 25945 markings/sec, 130 secs
lola: 3956747 markings, 9568591 edges, 25870 markings/sec, 135 secs
lola: 4086328 markings, 9906032 edges, 25916 markings/sec, 140 secs
lola: 4208978 markings, 10245289 edges, 24530 markings/sec, 145 secs
lola: 4334490 markings, 10591415 edges, 25102 markings/sec, 150 secs
lola: 4460909 markings, 10937203 edges, 25284 markings/sec, 155 secs
lola: 4585467 markings, 11282005 edges, 24912 markings/sec, 160 secs
lola: 4708950 markings, 11628500 edges, 24697 markings/sec, 165 secs
lola: 4835348 markings, 11975367 edges, 25280 markings/sec, 170 secs
lola: 4959578 markings, 12319613 edges, 24846 markings/sec, 175 secs
lola: 5084043 markings, 12656954 edges, 24893 markings/sec, 180 secs
lola: 5213816 markings, 13018261 edges, 25955 markings/sec, 185 secs
lola: 5339847 markings, 13373916 edges, 25206 markings/sec, 190 secs
lola: 5467346 markings, 13730321 edges, 25500 markings/sec, 195 secs
lola: 5594311 markings, 14085534 edges, 25393 markings/sec, 200 secs
lola: 5715623 markings, 14429468 edges, 24262 markings/sec, 205 secs
lola: 5843777 markings, 14787725 edges, 25631 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: 6012708 KB
lola: time consumption: 2256 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1781)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1781)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 114131 markings, 244807 edges, 22826 markings/sec, 0 secs
lola: 279947 markings, 610077 edges, 33163 markings/sec, 5 secs
lola: 441841 markings, 973823 edges, 32379 markings/sec, 10 secs
lola: 602807 markings, 1335250 edges, 32193 markings/sec, 15 secs
lola: 762139 markings, 1692440 edges, 31866 markings/sec, 20 secs
lola: 921041 markings, 2051407 edges, 31780 markings/sec, 25 secs
lola: 1080188 markings, 2408877 edges, 31829 markings/sec, 30 secs
lola: 1239723 markings, 2767078 edges, 31907 markings/sec, 35 secs
lola: 1398711 markings, 3124776 edges, 31798 markings/sec, 40 secs
lola: 1553787 markings, 3477160 edges, 31015 markings/sec, 45 secs
lola: 1705433 markings, 3832992 edges, 30329 markings/sec, 50 secs
lola: 1851292 markings, 4187630 edges, 29172 markings/sec, 55 secs
lola: 1995801 markings, 4539068 edges, 28902 markings/sec, 60 secs
lola: 2140941 markings, 4889650 edges, 29028 markings/sec, 65 secs
lola: 2283083 markings, 5240230 edges, 28428 markings/sec, 70 secs
lola: 2425328 markings, 5590072 edges, 28449 markings/sec, 75 secs
lola: 2564398 markings, 5935630 edges, 27814 markings/sec, 80 secs
lola: 2703994 markings, 6282859 edges, 27919 markings/sec, 85 secs
lola: 2839401 markings, 6623328 edges, 27081 markings/sec, 90 secs
lola: 2966373 markings, 6961720 edges, 25394 markings/sec, 95 secs
lola: 3105654 markings, 7317233 edges, 27856 markings/sec, 100 secs
lola: 3238449 markings, 7672571 edges, 26559 markings/sec, 105 secs
lola: 3375170 markings, 8029388 edges, 27344 markings/sec, 110 secs
lola: 3510034 markings, 8383328 edges, 26973 markings/sec, 115 secs
lola: 3646075 markings, 8739759 edges, 27208 markings/sec, 120 secs
lola: 3778964 markings, 9095605 edges, 26578 markings/sec, 125 secs
lola: 3914194 markings, 9451154 edges, 27046 markings/sec, 130 secs
lola: 4048549 markings, 9806514 edges, 26871 markings/sec, 135 secs
lola: 4179054 markings, 10161887 edges, 26101 markings/sec, 140 secs
lola: 4307940 markings, 10515928 edges, 25777 markings/sec, 145 secs
lola: 4436311 markings, 10870416 edges, 25674 markings/sec, 150 secs
lola: 4563659 markings, 11224470 edges, 25470 markings/sec, 155 secs
lola: 4690648 markings, 11579399 edges, 25398 markings/sec, 160 secs
lola: 4819961 markings, 11933500 edges, 25863 markings/sec, 165 secs
lola: 4947917 markings, 12286875 edges, 25591 markings/sec, 170 secs
lola: 5078110 markings, 12639805 edges, 26039 markings/sec, 175 secs
lola: 5203631 markings, 12992721 edges, 25104 markings/sec, 180 secs
lola: 5331016 markings, 13346238 edges, 25477 markings/sec, 185 secs
lola: 5457267 markings, 13700400 edges, 25250 markings/sec, 190 secs
lola: 5583144 markings, 14053545 edges, 25175 markings/sec, 195 secs
lola: 5706958 markings, 14407403 edges, 24763 markings/sec, 200 secs
lola: 5833888 markings, 14760406 edges, 25386 markings/sec, 205 secs
lola: 5958766 markings, 15112381 edges, 24976 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: 7188628 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(p1787)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1787)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 137963 markings, 223845 edges, 27593 markings/sec, 0 secs
lola: 371660 markings, 585450 edges, 46739 markings/sec, 5 secs
lola: 614924 markings, 964211 edges, 48653 markings/sec, 10 secs
lola: 857105 markings, 1343156 edges, 48436 markings/sec, 15 secs
lola: 1091318 markings, 1720159 edges, 46843 markings/sec, 20 secs
lola: 1339993 markings, 2094814 edges, 49735 markings/sec, 25 secs
lola: 1580079 markings, 2468305 edges, 48017 markings/sec, 30 secs
lola: 1818380 markings, 2840758 edges, 47660 markings/sec, 35 secs
lola: 2046040 markings, 3213927 edges, 45532 markings/sec, 40 secs
lola: 2246164 markings, 3589233 edges, 40025 markings/sec, 45 secs
lola: 2362183 markings, 3965954 edges, 23204 markings/sec, 50 secs
lola: 2477515 markings, 4340335 edges, 23066 markings/sec, 55 secs
lola: 2585600 markings, 4713743 edges, 21617 markings/sec, 60 secs
lola: 2694585 markings, 5086285 edges, 21797 markings/sec, 65 secs
lola: 2798922 markings, 5458477 edges, 20867 markings/sec, 70 secs
lola: 2903926 markings, 5828988 edges, 21001 markings/sec, 75 secs
lola: 3009641 markings, 6199739 edges, 21143 markings/sec, 80 secs
lola: 3113151 markings, 6569916 edges, 20702 markings/sec, 85 secs
lola: 3217083 markings, 6939668 edges, 20786 markings/sec, 90 secs
lola: 3319723 markings, 7308921 edges, 20528 markings/sec, 95 secs
lola: 3423305 markings, 7677812 edges, 20716 markings/sec, 100 secs
lola: 3524601 markings, 8046349 edges, 20259 markings/sec, 105 secs
lola: 3628827 markings, 8414164 edges, 20845 markings/sec, 110 secs
lola: 3730478 markings, 8781263 edges, 20330 markings/sec, 115 secs
lola: 3836146 markings, 9148515 edges, 21134 markings/sec, 120 secs
lola: 3936664 markings, 9514325 edges, 20104 markings/sec, 125 secs
lola: 4037389 markings, 9880360 edges, 20145 markings/sec, 130 secs
lola: 4138647 markings, 10246027 edges, 20252 markings/sec, 135 secs
lola: 4241628 markings, 10611574 edges, 20596 markings/sec, 140 secs
lola: 4340713 markings, 10976511 edges, 19817 markings/sec, 145 secs
lola: 4440354 markings, 11341067 edges, 19928 markings/sec, 150 secs
lola: 4539859 markings, 11705265 edges, 19901 markings/sec, 155 secs
lola: 4640602 markings, 12069225 edges, 20149 markings/sec, 160 secs
lola: 4740566 markings, 12432792 edges, 19993 markings/sec, 165 secs
lola: 4839767 markings, 12795929 edges, 19840 markings/sec, 170 secs
lola: 4939516 markings, 13159473 edges, 19950 markings/sec, 175 secs
lola: 5037587 markings, 13522648 edges, 19614 markings/sec, 180 secs
lola: 5136952 markings, 13885229 edges, 19873 markings/sec, 185 secs
lola: 5235821 markings, 14247798 edges, 19774 markings/sec, 190 secs
lola: 5334532 markings, 14610045 edges, 19742 markings/sec, 195 secs
lola: 5432301 markings, 14972026 edges, 19554 markings/sec, 200 secs
lola: 5530157 markings, 15333264 edges, 19571 markings/sec, 205 secs
lola: 5628279 markings, 15694537 edges, 19624 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: 6939712 KB
lola: time consumption: 2695 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1279)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 87000 markings, 257441 edges, 17400 markings/sec, 0 secs
lola: 206815 markings, 651481 edges, 23963 markings/sec, 5 secs
lola: 320877 markings, 1038722 edges, 22812 markings/sec, 10 secs
lola: 429317 markings, 1414892 edges, 21688 markings/sec, 15 secs
lola: 541758 markings, 1805494 edges, 22488 markings/sec, 20 secs
lola: 653163 markings, 2194642 edges, 22281 markings/sec, 25 secs
lola: 763352 markings, 2583052 edges, 22038 markings/sec, 30 secs
lola: 871654 markings, 2970337 edges, 21660 markings/sec, 35 secs
lola: 979653 markings, 3354060 edges, 21600 markings/sec, 40 secs
lola: 1086852 markings, 3738915 edges, 21440 markings/sec, 45 secs
lola: 1194374 markings, 4124069 edges, 21504 markings/sec, 50 secs
lola: 1300232 markings, 4504875 edges, 21172 markings/sec, 55 secs
lola: 1406957 markings, 4889507 edges, 21345 markings/sec, 60 secs
lola: 1512821 markings, 5273910 edges, 21173 markings/sec, 65 secs
lola: 1612680 markings, 5636422 edges, 19972 markings/sec, 70 secs
lola: 1712908 markings, 5999743 edges, 20046 markings/sec, 75 secs
lola: 1816276 markings, 6379642 edges, 20674 markings/sec, 80 secs
lola: 1916318 markings, 6745719 edges, 20008 markings/sec, 85 secs
lola: 2014711 markings, 7104713 edges, 19679 markings/sec, 90 secs
lola: 2113544 markings, 7468338 edges, 19767 markings/sec, 95 secs
lola: 2215023 markings, 7839595 edges, 20296 markings/sec, 100 secs
lola: 2317031 markings, 8212128 edges, 20402 markings/sec, 105 secs
lola: 2417737 markings, 8582413 edges, 20141 markings/sec, 110 secs
lola: 2518432 markings, 8951304 edges, 20139 markings/sec, 115 secs
lola: 2618377 markings, 9318901 edges, 19989 markings/sec, 120 secs
lola: 2718403 markings, 9686716 edges, 20005 markings/sec, 125 secs
lola: 2817112 markings, 10050161 edges, 19742 markings/sec, 130 secs
lola: 2919058 markings, 10423210 edges, 20389 markings/sec, 135 secs
lola: 3020559 markings, 10800794 edges, 20300 markings/sec, 140 secs
lola: 3118056 markings, 11160636 edges, 19499 markings/sec, 145 secs
lola: 3220432 markings, 11540349 edges, 20475 markings/sec, 150 secs
lola: 3323016 markings, 11921801 edges, 20517 markings/sec, 155 secs
lola: 3426035 markings, 12302696 edges, 20604 markings/sec, 160 secs
lola: 3525667 markings, 12672586 edges, 19926 markings/sec, 165 secs
lola: 3627105 markings, 13049332 edges, 20288 markings/sec, 170 secs
lola: 3722668 markings, 13405001 edges, 19113 markings/sec, 175 secs
lola: 3822706 markings, 13778413 edges, 20008 markings/sec, 180 secs
lola: 3923693 markings, 14151959 edges, 20197 markings/sec, 185 secs
lola: 4024796 markings, 14528786 edges, 20221 markings/sec, 190 secs
lola: 4127437 markings, 14908024 edges, 20528 markings/sec, 195 secs
lola: 4229290 markings, 15286882 edges, 20371 markings/sec, 200 secs
lola: 4322327 markings, 15633419 edges, 18607 markings/sec, 205 secs
lola: 4421224 markings, 16004256 edges, 19779 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: 2390268 KB
lola: time consumption: 2913 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p203)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p203)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 142325 markings, 213592 edges, 28465 markings/sec, 0 secs
lola: 329613 markings, 534719 edges, 37458 markings/sec, 5 secs
lola: 511652 markings, 852786 edges, 36408 markings/sec, 10 secs
lola: 686113 markings, 1162497 edges, 34892 markings/sec, 15 secs
lola: 880508 markings, 1505265 edges, 38879 markings/sec, 20 secs
lola: 1072056 markings, 1841860 edges, 38310 markings/sec, 25 secs
lola: 1261839 markings, 2175406 edges, 37957 markings/sec, 30 secs
lola: 1460323 markings, 2524215 edges, 39697 markings/sec, 35 secs
lola: 1656217 markings, 2865113 edges, 39179 markings/sec, 40 secs
lola: 1862989 markings, 3225773 edges, 41354 markings/sec, 45 secs
lola: 2070607 markings, 3587351 edges, 41524 markings/sec, 50 secs
lola: 2277614 markings, 3945853 edges, 41401 markings/sec, 55 secs
lola: 2483147 markings, 4301894 edges, 41107 markings/sec, 60 secs
lola: 2685339 markings, 4653055 edges, 40438 markings/sec, 65 secs
lola: 2885154 markings, 4999289 edges, 39963 markings/sec, 70 secs
lola: 3088538 markings, 5351885 edges, 40677 markings/sec, 75 secs
lola: 3290872 markings, 5701006 edges, 40467 markings/sec, 80 secs
lola: 3496175 markings, 6058662 edges, 41061 markings/sec, 85 secs
lola: 3706168 markings, 6418570 edges, 41999 markings/sec, 90 secs
lola: 3914046 markings, 6777293 edges, 41576 markings/sec, 95 secs
lola: 4124192 markings, 7136662 edges, 42029 markings/sec, 100 secs
lola: 4332308 markings, 7496294 edges, 41623 markings/sec, 105 secs
lola: 4539333 markings, 7855421 edges, 41405 markings/sec, 110 secs
lola: 4748284 markings, 8214256 edges, 41790 markings/sec, 115 secs
lola: 4957316 markings, 8573399 edges, 41806 markings/sec, 120 secs
lola: 5165397 markings, 8932128 edges, 41616 markings/sec, 125 secs
lola: 5375002 markings, 9290822 edges, 41921 markings/sec, 130 secs
lola: 5582551 markings, 9648590 edges, 41510 markings/sec, 135 secs
lola: 5790001 markings, 10006721 edges, 41490 markings/sec, 140 secs
lola: 5998789 markings, 10364439 edges, 41758 markings/sec, 145 secs
lola: 6205933 markings, 10720958 edges, 41429 markings/sec, 150 secs
lola: 6411718 markings, 11077123 edges, 41157 markings/sec, 155 secs
lola: 6619870 markings, 11433995 edges, 41630 markings/sec, 160 secs
lola: 6826847 markings, 11790401 edges, 41395 markings/sec, 165 secs
lola: 7035389 markings, 12146609 edges, 41708 markings/sec, 170 secs
lola: 7243549 markings, 12503064 edges, 41632 markings/sec, 175 secs
lola: 7450601 markings, 12858840 edges, 41410 markings/sec, 180 secs
lola: 7658552 markings, 13214833 edges, 41590 markings/sec, 185 secs
lola: 7867932 markings, 13570438 edges, 41876 markings/sec, 190 secs
lola: 8076455 markings, 13925763 edges, 41705 markings/sec, 195 secs
lola: 8282562 markings, 14280355 edges, 41221 markings/sec, 200 secs
lola: 8489291 markings, 14635268 edges, 41346 markings/sec, 205 secs
lola: 8697191 markings, 14990510 edges, 41580 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: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1668)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1668)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: 503
lola: 164464 markings, 249480 edges, 32893 markings/sec, 0 secs
lola: 383846 markings, 630072 edges, 43876 markings/sec, 5 secs
lola: 598563 markings, 1008889 edges, 42943 markings/sec, 10 secs
lola: 813845 markings, 1387065 edges, 43056 markings/sec, 15 secs
lola: 1026583 markings, 1763701 edges, 42548 markings/sec, 20 secs
lola: 1240807 markings, 2138837 edges, 42845 markings/sec, 25 secs
lola: 1453581 markings, 2512514 edges, 42555 markings/sec, 30 secs
lola: 1667192 markings, 2884738 edges, 42722 markings/sec, 35 secs
lola: 1880724 markings, 3255899 edges, 42706 markings/sec, 40 secs
lola: 2092947 markings, 3626273 edges, 42445 markings/sec, 45 secs
lola: 2306942 markings, 3996232 edges, 42799 markings/sec, 50 secs
lola: 2520051 markings, 4365865 edges, 42622 markings/sec, 55 secs
lola: 2733579 markings, 4735590 edges, 42706 markings/sec, 60 secs
lola: 2946037 markings, 5104776 edges, 42492 markings/sec, 65 secs
lola: 3159227 markings, 5473668 edges, 42638 markings/sec, 70 secs
lola: 3372726 markings, 5842586 edges, 42700 markings/sec, 75 secs
lola: 3585686 markings, 6210800 edges, 42592 markings/sec, 80 secs
lola: 3799246 markings, 6578690 edges, 42712 markings/sec, 85 secs
lola: 4013058 markings, 6946720 edges, 42762 markings/sec, 90 secs
lola: 4226991 markings, 7314150 edges, 42787 markings/sec, 95 secs
lola: 4438961 markings, 7681456 edges, 42394 markings/sec, 100 secs
lola: 4651679 markings, 8048499 edges, 42544 markings/sec, 105 secs
lola: 4860481 markings, 8407679 edges, 41760 markings/sec, 110 secs
lola: 5069510 markings, 8766572 edges, 41806 markings/sec, 115 secs
lola: 5282787 markings, 9132656 edges, 42655 markings/sec, 120 secs
lola: 5494944 markings, 9498461 edges, 42431 markings/sec, 125 secs
lola: 5707298 markings, 9863813 edges, 42471 markings/sec, 130 secs
lola: 5920739 markings, 10230163 edges, 42688 markings/sec, 135 secs
lola: 6130043 markings, 10589825 edges, 41861 markings/sec, 140 secs
lola: 6341505 markings, 10955129 edges, 42292 markings/sec, 145 secs
lola: 6553839 markings, 11320645 edges, 42467 markings/sec, 150 secs
lola: 6765598 markings, 11685357 edges, 42352 markings/sec, 155 secs
lola: 6978844 markings, 12050193 edges, 42649 markings/sec, 160 secs
lola: 7191911 markings, 12414946 edges, 42613 markings/sec, 165 secs
lola: 7404387 markings, 12779122 edges, 42495 markings/sec, 170 secs
lola: 7615960 markings, 13143330 edges, 42315 markings/sec, 175 secs
lola: 7830606 markings, 13507829 edges, 42929 markings/sec, 180 secs
lola: 8044878 markings, 13872199 edges, 42854 markings/sec, 185 secs
lola: 8256588 markings, 14236241 edges, 42342 markings/sec, 190 secs
lola: 8468922 markings, 14599822 edges, 42467 markings/sec, 195 secs
lola: 8681092 markings, 14963425 edges, 42434 markings/sec, 200 secs
lola: 8892890 markings, 15326945 edges, 42360 markings/sec, 205 secs
lola: 9105637 markings, 15690462 edges, 42549 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: 7863584 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(p1664)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1664)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0500-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: Structural Bound: 503
lola: 119625 markings, 362074 edges, 23925 markings/sec, 5 secs
lola: 234065 markings, 743325 edges, 22888 markings/sec, 10 secs
lola: 345627 markings, 1123611 edges, 22312 markings/sec, 15 secs
lola: 455220 markings, 1503918 edges, 21919 markings/sec, 20 secs
lola: 563863 markings, 1883492 edges, 21729 markings/sec, 25 secs
lola: 672120 markings, 2261921 edges, 21651 markings/sec, 30 secs
lola: 779492 markings, 2641277 edges, 21474 markings/sec, 35 secs
lola: 886012 markings, 3020704 edges, 21304 markings/sec, 40 secs
lola: 992086 markings, 3398183 edges, 21215 markings/sec, 45 secs
lola: 1097391 markings, 3775956 edges, 21061 markings/sec, 50 secs
lola: 1202488 markings, 4153247 edges, 21019 markings/sec, 55 secs
lola: 1304767 markings, 4520996 edges, 20456 markings/sec, 60 secs
lola: 1403188 markings, 4876148 edges, 19684 markings/sec, 65 secs
lola: 1505093 markings, 5245849 edges, 20381 markings/sec, 70 secs
lola: 1607592 markings, 5617165 edges, 20500 markings/sec, 75 secs
lola: 1709144 markings, 5986161 edges, 20310 markings/sec, 80 secs
lola: 1809570 markings, 6354490 edges, 20085 markings/sec, 85 secs
lola: 1911613 markings, 6728377 edges, 20409 markings/sec, 90 secs
lola: 2014899 markings, 7105266 edges, 20657 markings/sec, 95 secs
lola: 2117560 markings, 7482220 edges, 20532 markings/sec, 100 secs
lola: 2219834 markings, 7857675 edges, 20455 markings/sec, 105 secs
lola: 2322936 markings, 8233979 edges, 20620 markings/sec, 110 secs
lola: 2425359 markings, 8610216 edges, 20485 markings/sec, 115 secs
lola: 2528062 markings, 8986755 edges, 20541 markings/sec, 120 secs
lola: 2630249 markings, 9362523 edges, 20437 markings/sec, 125 secs
lola: 2732622 markings, 9738420 edges, 20475 markings/sec, 130 secs
lola: 2834778 markings, 10114883 edges, 20431 markings/sec, 135 secs
lola: 2937220 markings, 10490347 edges, 20488 markings/sec, 140 secs
lola: 3038057 markings, 10865429 edges, 20167 markings/sec, 145 secs
lola: 3139633 markings, 11240853 edges, 20315 markings/sec, 150 secs
lola: 3240879 markings, 11616311 edges, 20249 markings/sec, 155 secs
lola: 3341725 markings, 11991476 edges, 20169 markings/sec, 160 secs
lola: 3442844 markings, 12365117 edges, 20224 markings/sec, 165 secs
lola: 3543647 markings, 12739626 edges, 20161 markings/sec, 170 secs
lola: 3644558 markings, 13114373 edges, 20182 markings/sec, 175 secs
lola: 3745124 markings, 13489372 edges, 20113 markings/sec, 180 secs
lola: 3845374 markings, 13862267 edges, 20050 markings/sec, 185 secs
lola: 3946044 markings, 14233532 edges, 20134 markings/sec, 190 secs
lola: 4046268 markings, 14607364 edges, 20045 markings/sec, 195 secs
lola: 4147196 markings, 14981549 edges, 20186 markings/sec, 200 secs
lola: 4247659 markings, 15355562 edges, 20093 markings/sec, 205 secs
lola: 4348044 markings, 15730005 edges, 20077 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: 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: 3746168 KB
lola: time consumption: 3570 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: 3746212 KB
lola: time consumption: 3570 seconds

BK_STOP 1552878835983

--------------------
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-0500"
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-0500, 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-155246566100322"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0500.tgz
mv JoinFreeModules-PT-0500 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 ;