About the Execution of LoLA for RERS17pb113-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 400.800 | 3570757.00 | 3722161.00 | 696.50 | [undef] | Cannot compute |
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 15M
-rw-r--r-- 1 mcc users 3.0K May 30 21:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 30 21:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 29 16:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 29 16:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.4K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 28 08:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 28 08:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.2K May 28 06:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 28 06:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:30 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:30 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.6K May 27 04:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 27 04:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 2 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 15M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is RERS17pb113-PT-9, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749170000452
=====================================================================
--------------------
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 RERS17pb113-PT-1-UpperBounds-00
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-01
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-02
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-03
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-04
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-05
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-06
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-07
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-08
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-09
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-10
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-11
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-12
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-13
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-14
FORMULA_NAME RERS17pb113-PT-1-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1527799257313
info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb113-PT-9 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb113-PT-9 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ RERS17pb113-PT-9 @ 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: 31992/65536 symbol table entries, 6831 collisions
lola: preprocessing...
lola: Size of bit vector: 639
lola: finding significant places
lola: 639 places, 31353 transitions, 614 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 47274 transition conflict sets
lola: TASK
lola: reading formula from RERS17pb113-PT-1-UpperBounds.task
lola: MAX(p138) : MAX(p586) : MAX(p55) : MAX(p521) : MAX(p69) : MAX(p574) : MAX(p279) : MAX(p333) : MAX(p388) : MAX(p545) : MAX(p601) : MAX(p145) : MAX(p455) : MAX(p158) : MAX(p590) : MAX(p576)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p138)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 906 markings, 905 edges, 181 markings/sec, 30 secs
lola: 1849 markings, 1895 edges, 189 markings/sec, 35 secs
lola: 2777 markings, 5713 edges, 186 markings/sec, 40 secs
lola: 3689 markings, 10290 edges, 182 markings/sec, 45 secs
lola: 4568 markings, 15094 edges, 176 markings/sec, 50 secs
lola: 5431 markings, 19681 edges, 173 markings/sec, 55 secs
lola: 6300 markings, 24864 edges, 174 markings/sec, 60 secs
lola: 7160 markings, 30004 edges, 172 markings/sec, 65 secs
lola: 8040 markings, 35731 edges, 176 markings/sec, 70 secs
lola: 8964 markings, 40578 edges, 185 markings/sec, 75 secs
lola: 9876 markings, 45936 edges, 182 markings/sec, 80 secs
lola: 10765 markings, 51839 edges, 178 markings/sec, 85 secs
lola: 11639 markings, 57347 edges, 175 markings/sec, 90 secs
lola: 12468 markings, 63160 edges, 166 markings/sec, 95 secs
lola: 13371 markings, 69346 edges, 181 markings/sec, 100 secs
lola: 14278 markings, 75812 edges, 181 markings/sec, 105 secs
lola: 15153 markings, 80581 edges, 175 markings/sec, 110 secs
lola: 16031 markings, 86022 edges, 176 markings/sec, 115 secs
lola: 16898 markings, 91266 edges, 173 markings/sec, 120 secs
lola: 17799 markings, 97490 edges, 180 markings/sec, 125 secs
lola: 18725 markings, 102996 edges, 185 markings/sec, 130 secs
lola: 19583 markings, 107882 edges, 172 markings/sec, 135 secs
lola: 20446 markings, 113357 edges, 173 markings/sec, 140 secs
lola: 21346 markings, 119124 edges, 180 markings/sec, 145 secs
lola: 22307 markings, 125963 edges, 192 markings/sec, 150 secs
lola: 23232 markings, 130892 edges, 185 markings/sec, 155 secs
lola: 24139 markings, 136260 edges, 181 markings/sec, 160 secs
lola: 25080 markings, 142120 edges, 188 markings/sec, 165 secs
lola: 25933 markings, 147894 edges, 171 markings/sec, 170 secs
lola: 26790 markings, 153661 edges, 171 markings/sec, 175 secs
lola: 27654 markings, 159286 edges, 173 markings/sec, 180 secs
lola: 28516 markings, 165565 edges, 172 markings/sec, 185 secs
lola: 29388 markings, 170060 edges, 174 markings/sec, 190 secs
lola: 30236 markings, 175156 edges, 170 markings/sec, 195 secs
lola: 31138 markings, 180677 edges, 180 markings/sec, 200 secs
lola: 32016 markings, 186741 edges, 176 markings/sec, 205 secs
lola: 32873 markings, 192464 edges, 171 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: 119300 KB
lola: time consumption: 312 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(p586)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p586)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 881 markings, 880 edges, 176 markings/sec, 30 secs
lola: 1845 markings, 1922 edges, 193 markings/sec, 35 secs
lola: 2742 markings, 2886 edges, 179 markings/sec, 40 secs
lola: 3617 markings, 6132 edges, 175 markings/sec, 45 secs
lola: 4501 markings, 10485 edges, 177 markings/sec, 50 secs
lola: 5390 markings, 14764 edges, 178 markings/sec, 55 secs
lola: 6268 markings, 19063 edges, 176 markings/sec, 60 secs
lola: 7113 markings, 23193 edges, 169 markings/sec, 65 secs
lola: 7964 markings, 27010 edges, 170 markings/sec, 70 secs
lola: 8796 markings, 31575 edges, 166 markings/sec, 75 secs
lola: 9659 markings, 35814 edges, 173 markings/sec, 80 secs
lola: 10520 markings, 39766 edges, 172 markings/sec, 85 secs
lola: 11371 markings, 44875 edges, 170 markings/sec, 90 secs
lola: 12231 markings, 50015 edges, 172 markings/sec, 95 secs
lola: 13091 markings, 54974 edges, 172 markings/sec, 100 secs
lola: 13952 markings, 60145 edges, 172 markings/sec, 105 secs
lola: 14832 markings, 64961 edges, 176 markings/sec, 110 secs
lola: 15704 markings, 70569 edges, 174 markings/sec, 115 secs
lola: 16583 markings, 75814 edges, 176 markings/sec, 120 secs
lola: 17459 markings, 80122 edges, 175 markings/sec, 125 secs
lola: 18335 markings, 85159 edges, 175 markings/sec, 130 secs
lola: 19215 markings, 89446 edges, 176 markings/sec, 135 secs
lola: 20089 markings, 93834 edges, 175 markings/sec, 140 secs
lola: 20962 markings, 97725 edges, 175 markings/sec, 145 secs
lola: 21857 markings, 103024 edges, 179 markings/sec, 150 secs
lola: 22743 markings, 107935 edges, 177 markings/sec, 155 secs
lola: 23617 markings, 113319 edges, 175 markings/sec, 160 secs
lola: 24485 markings, 118360 edges, 174 markings/sec, 165 secs
lola: 25383 markings, 123239 edges, 180 markings/sec, 170 secs
lola: 26302 markings, 129027 edges, 184 markings/sec, 175 secs
lola: 27226 markings, 134442 edges, 185 markings/sec, 180 secs
lola: 28141 markings, 139320 edges, 183 markings/sec, 185 secs
lola: 29017 markings, 145417 edges, 175 markings/sec, 190 secs
lola: 29876 markings, 151301 edges, 172 markings/sec, 195 secs
lola: 30734 markings, 157040 edges, 172 markings/sec, 200 secs
lola: 31604 markings, 163017 edges, 174 markings/sec, 205 secs
lola: 32466 markings, 168567 edges, 172 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: 119292 KB
lola: time consumption: 529 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(p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p55)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 930 markings, 929 edges, 186 markings/sec, 30 secs
lola: 1881 markings, 1920 edges, 190 markings/sec, 35 secs
lola: 2745 markings, 2901 edges, 173 markings/sec, 40 secs
lola: 3663 markings, 3907 edges, 184 markings/sec, 45 secs
lola: 4577 markings, 7080 edges, 183 markings/sec, 50 secs
lola: 5446 markings, 11415 edges, 174 markings/sec, 55 secs
lola: 6311 markings, 15592 edges, 173 markings/sec, 60 secs
lola: 7180 markings, 20240 edges, 174 markings/sec, 65 secs
lola: 8072 markings, 25836 edges, 178 markings/sec, 70 secs
lola: 8996 markings, 30655 edges, 185 markings/sec, 75 secs
lola: 9955 markings, 36410 edges, 192 markings/sec, 80 secs
lola: 10884 markings, 41749 edges, 186 markings/sec, 85 secs
lola: 11774 markings, 47386 edges, 178 markings/sec, 90 secs
lola: 12665 markings, 53829 edges, 178 markings/sec, 95 secs
lola: 13547 markings, 59174 edges, 176 markings/sec, 100 secs
lola: 14453 markings, 64231 edges, 181 markings/sec, 105 secs
lola: 15402 markings, 68971 edges, 190 markings/sec, 110 secs
lola: 16355 markings, 73938 edges, 191 markings/sec, 115 secs
lola: 17321 markings, 79615 edges, 193 markings/sec, 120 secs
lola: 18272 markings, 86174 edges, 190 markings/sec, 125 secs
lola: 19171 markings, 91440 edges, 180 markings/sec, 130 secs
lola: 20053 markings, 96811 edges, 176 markings/sec, 135 secs
lola: 21045 markings, 103004 edges, 198 markings/sec, 140 secs
lola: 22046 markings, 109896 edges, 200 markings/sec, 145 secs
lola: 23053 markings, 117824 edges, 201 markings/sec, 150 secs
lola: 24053 markings, 124726 edges, 200 markings/sec, 155 secs
lola: 25026 markings, 131855 edges, 195 markings/sec, 160 secs
lola: 25993 markings, 138391 edges, 193 markings/sec, 165 secs
lola: 26924 markings, 144735 edges, 186 markings/sec, 170 secs
lola: 27797 markings, 149978 edges, 175 markings/sec, 175 secs
lola: 28678 markings, 154210 edges, 176 markings/sec, 180 secs
lola: 29564 markings, 158931 edges, 177 markings/sec, 185 secs
lola: 30448 markings, 164621 edges, 177 markings/sec, 190 secs
lola: 31321 markings, 169483 edges, 175 markings/sec, 195 secs
lola: 32197 markings, 175317 edges, 175 markings/sec, 200 secs
lola: 33075 markings, 181076 edges, 176 markings/sec, 205 secs
lola: 33963 markings, 187375 edges, 178 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: 119516 KB
lola: time consumption: 746 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(p521)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p521)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 883 markings, 882 edges, 177 markings/sec, 30 secs
lola: 1784 markings, 1787 edges, 180 markings/sec, 35 secs
lola: 2677 markings, 2680 edges, 179 markings/sec, 40 secs
lola: 3577 markings, 3580 edges, 180 markings/sec, 45 secs
lola: 4465 markings, 4468 edges, 178 markings/sec, 50 secs
lola: 5341 markings, 5344 edges, 175 markings/sec, 55 secs
lola: 6225 markings, 6244 edges, 177 markings/sec, 60 secs
lola: 7123 markings, 7165 edges, 180 markings/sec, 65 secs
lola: 8048 markings, 8142 edges, 185 markings/sec, 70 secs
lola: 8962 markings, 9227 edges, 183 markings/sec, 75 secs
lola: 9877 markings, 12839 edges, 183 markings/sec, 80 secs
lola: 10767 markings, 16875 edges, 178 markings/sec, 85 secs
lola: 11641 markings, 21305 edges, 175 markings/sec, 90 secs
lola: 12512 markings, 25514 edges, 174 markings/sec, 95 secs
lola: 13376 markings, 30544 edges, 173 markings/sec, 100 secs
lola: 14256 markings, 34896 edges, 176 markings/sec, 105 secs
lola: 15136 markings, 39613 edges, 176 markings/sec, 110 secs
lola: 16020 markings, 44746 edges, 177 markings/sec, 115 secs
lola: 16895 markings, 49871 edges, 175 markings/sec, 120 secs
lola: 17760 markings, 55398 edges, 173 markings/sec, 125 secs
lola: 18619 markings, 61812 edges, 172 markings/sec, 130 secs
lola: 19494 markings, 66092 edges, 175 markings/sec, 135 secs
lola: 20358 markings, 71326 edges, 173 markings/sec, 140 secs
lola: 21259 markings, 75753 edges, 180 markings/sec, 145 secs
lola: 22136 markings, 80647 edges, 175 markings/sec, 150 secs
lola: 22990 markings, 85754 edges, 171 markings/sec, 155 secs
lola: 23850 markings, 90835 edges, 172 markings/sec, 160 secs
lola: 24727 markings, 96171 edges, 175 markings/sec, 165 secs
lola: 25588 markings, 101720 edges, 172 markings/sec, 170 secs
lola: 26437 markings, 107788 edges, 170 markings/sec, 175 secs
lola: 27282 markings, 113004 edges, 169 markings/sec, 180 secs
lola: 28133 markings, 118271 edges, 170 markings/sec, 185 secs
lola: 28973 markings, 123657 edges, 168 markings/sec, 190 secs
lola: 29823 markings, 129875 edges, 170 markings/sec, 195 secs
lola: 30681 markings, 135847 edges, 172 markings/sec, 200 secs
lola: 31545 markings, 142232 edges, 173 markings/sec, 205 secs
lola: 32387 markings, 148426 edges, 168 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: 119556 KB
lola: time consumption: 963 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 860 markings, 859 edges, 172 markings/sec, 30 secs
lola: 1729 markings, 1728 edges, 174 markings/sec, 35 secs
lola: 2606 markings, 5037 edges, 175 markings/sec, 40 secs
lola: 3480 markings, 8909 edges, 175 markings/sec, 45 secs
lola: 4352 markings, 13410 edges, 174 markings/sec, 50 secs
lola: 5227 markings, 17974 edges, 175 markings/sec, 55 secs
lola: 6113 markings, 22955 edges, 177 markings/sec, 60 secs
lola: 6995 markings, 27948 edges, 176 markings/sec, 65 secs
lola: 7879 markings, 33180 edges, 177 markings/sec, 70 secs
lola: 8762 markings, 37482 edges, 177 markings/sec, 75 secs
lola: 9636 markings, 42751 edges, 175 markings/sec, 80 secs
lola: 10501 markings, 46312 edges, 173 markings/sec, 85 secs
lola: 11377 markings, 50646 edges, 175 markings/sec, 90 secs
lola: 12270 markings, 55238 edges, 179 markings/sec, 95 secs
lola: 13152 markings, 59885 edges, 176 markings/sec, 100 secs
lola: 14044 markings, 65039 edges, 178 markings/sec, 105 secs
lola: 14931 markings, 70123 edges, 177 markings/sec, 110 secs
lola: 15818 markings, 75926 edges, 177 markings/sec, 115 secs
lola: 16701 markings, 80865 edges, 177 markings/sec, 120 secs
lola: 17587 markings, 85918 edges, 177 markings/sec, 125 secs
lola: 18472 markings, 91210 edges, 177 markings/sec, 130 secs
lola: 19339 markings, 97009 edges, 173 markings/sec, 135 secs
lola: 20238 markings, 102776 edges, 180 markings/sec, 140 secs
lola: 21142 markings, 108940 edges, 181 markings/sec, 145 secs
lola: 22033 markings, 116023 edges, 178 markings/sec, 150 secs
lola: 22925 markings, 121079 edges, 178 markings/sec, 155 secs
lola: 23818 markings, 127171 edges, 179 markings/sec, 160 secs
lola: 24711 markings, 133107 edges, 179 markings/sec, 165 secs
lola: 25605 markings, 138319 edges, 179 markings/sec, 170 secs
lola: 26512 markings, 144180 edges, 181 markings/sec, 175 secs
lola: 27400 markings, 149791 edges, 178 markings/sec, 180 secs
lola: 28291 markings, 155884 edges, 178 markings/sec, 185 secs
lola: 29171 markings, 161954 edges, 176 markings/sec, 190 secs
lola: 30046 markings, 168693 edges, 175 markings/sec, 195 secs
lola: 30923 markings, 173735 edges, 175 markings/sec, 200 secs
lola: 31877 markings, 179025 edges, 191 markings/sec, 205 secs
lola: 32765 markings, 183819 edges, 178 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: 119544 KB
lola: time consumption: 1180 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(p574)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p574)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 859 markings, 858 edges, 172 markings/sec, 30 secs
lola: 1730 markings, 1729 edges, 174 markings/sec, 35 secs
lola: 2592 markings, 4970 edges, 172 markings/sec, 40 secs
lola: 3457 markings, 9196 edges, 173 markings/sec, 45 secs
lola: 4325 markings, 13859 edges, 174 markings/sec, 50 secs
lola: 5164 markings, 18407 edges, 168 markings/sec, 55 secs
lola: 6021 markings, 22621 edges, 171 markings/sec, 60 secs
lola: 6896 markings, 27712 edges, 175 markings/sec, 65 secs
lola: 7819 markings, 32562 edges, 185 markings/sec, 70 secs
lola: 8758 markings, 37439 edges, 188 markings/sec, 75 secs
lola: 9693 markings, 42615 edges, 187 markings/sec, 80 secs
lola: 10560 markings, 46983 edges, 173 markings/sec, 85 secs
lola: 11430 markings, 51635 edges, 174 markings/sec, 90 secs
lola: 12307 markings, 56607 edges, 175 markings/sec, 95 secs
lola: 13184 markings, 61069 edges, 175 markings/sec, 100 secs
lola: 14057 markings, 66222 edges, 175 markings/sec, 105 secs
lola: 14924 markings, 71173 edges, 173 markings/sec, 110 secs
lola: 15793 markings, 77262 edges, 174 markings/sec, 115 secs
lola: 16659 markings, 82027 edges, 173 markings/sec, 120 secs
lola: 17515 markings, 87393 edges, 171 markings/sec, 125 secs
lola: 18378 markings, 92927 edges, 173 markings/sec, 130 secs
lola: 19267 markings, 98861 edges, 178 markings/sec, 135 secs
lola: 20210 markings, 104585 edges, 189 markings/sec, 140 secs
lola: 21153 markings, 110771 edges, 189 markings/sec, 145 secs
lola: 22105 markings, 116267 edges, 190 markings/sec, 150 secs
lola: 23075 markings, 122821 edges, 194 markings/sec, 155 secs
lola: 24032 markings, 128460 edges, 191 markings/sec, 160 secs
lola: 24972 markings, 133720 edges, 188 markings/sec, 165 secs
lola: 25909 markings, 138436 edges, 187 markings/sec, 170 secs
lola: 26856 markings, 143005 edges, 189 markings/sec, 175 secs
lola: 27807 markings, 148045 edges, 190 markings/sec, 180 secs
lola: 28750 markings, 153734 edges, 189 markings/sec, 185 secs
lola: 29668 markings, 159353 edges, 184 markings/sec, 190 secs
lola: 30541 markings, 165320 edges, 175 markings/sec, 195 secs
lola: 31400 markings, 170581 edges, 172 markings/sec, 200 secs
lola: 32271 markings, 174705 edges, 174 markings/sec, 205 secs
lola: 33136 markings, 178746 edges, 173 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: 119320 KB
lola: time consumption: 1397 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(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p279)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 855 markings, 854 edges, 171 markings/sec, 30 secs
lola: 1776 markings, 1775 edges, 184 markings/sec, 35 secs
lola: 2615 markings, 2625 edges, 168 markings/sec, 40 secs
lola: 3471 markings, 3492 edges, 171 markings/sec, 45 secs
lola: 4329 markings, 5462 edges, 172 markings/sec, 50 secs
lola: 5187 markings, 8916 edges, 172 markings/sec, 55 secs
lola: 6051 markings, 12321 edges, 173 markings/sec, 60 secs
lola: 6932 markings, 15617 edges, 176 markings/sec, 65 secs
lola: 7846 markings, 20214 edges, 183 markings/sec, 70 secs
lola: 8761 markings, 24643 edges, 183 markings/sec, 75 secs
lola: 9657 markings, 28991 edges, 179 markings/sec, 80 secs
lola: 10571 markings, 32873 edges, 183 markings/sec, 85 secs
lola: 11492 markings, 37720 edges, 184 markings/sec, 90 secs
lola: 12428 markings, 42647 edges, 187 markings/sec, 95 secs
lola: 13337 markings, 47612 edges, 182 markings/sec, 100 secs
lola: 14197 markings, 52274 edges, 172 markings/sec, 105 secs
lola: 15061 markings, 57060 edges, 173 markings/sec, 110 secs
lola: 15923 markings, 61682 edges, 172 markings/sec, 115 secs
lola: 16785 markings, 65934 edges, 172 markings/sec, 120 secs
lola: 17732 markings, 70499 edges, 189 markings/sec, 125 secs
lola: 18681 markings, 74795 edges, 190 markings/sec, 130 secs
lola: 19589 markings, 78983 edges, 182 markings/sec, 135 secs
lola: 20496 markings, 83506 edges, 181 markings/sec, 140 secs
lola: 21365 markings, 88574 edges, 174 markings/sec, 145 secs
lola: 22230 markings, 92730 edges, 173 markings/sec, 150 secs
lola: 23098 markings, 96768 edges, 174 markings/sec, 155 secs
lola: 23975 markings, 100817 edges, 175 markings/sec, 160 secs
lola: 24871 markings, 104837 edges, 179 markings/sec, 165 secs
lola: 25783 markings, 109042 edges, 182 markings/sec, 170 secs
lola: 26680 markings, 114006 edges, 179 markings/sec, 175 secs
lola: 27593 markings, 118650 edges, 183 markings/sec, 180 secs
lola: 28536 markings, 123336 edges, 189 markings/sec, 185 secs
lola: 29495 markings, 128218 edges, 192 markings/sec, 190 secs
lola: 30456 markings, 133846 edges, 192 markings/sec, 195 secs
lola: 31421 markings, 139753 edges, 193 markings/sec, 200 secs
lola: 32263 markings, 144954 edges, 168 markings/sec, 205 secs
lola: 33130 markings, 150113 edges, 173 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: 119272 KB
lola: time consumption: 1614 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(p333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p333)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 967 markings, 966 edges, 193 markings/sec, 30 secs
lola: 1958 markings, 2241 edges, 198 markings/sec, 35 secs
lola: 2846 markings, 5574 edges, 178 markings/sec, 40 secs
lola: 3759 markings, 9055 edges, 183 markings/sec, 45 secs
lola: 4680 markings, 12696 edges, 184 markings/sec, 50 secs
lola: 5632 markings, 16489 edges, 190 markings/sec, 55 secs
lola: 6625 markings, 20604 edges, 199 markings/sec, 60 secs
lola: 7567 markings, 25359 edges, 188 markings/sec, 65 secs
lola: 8499 markings, 29889 edges, 186 markings/sec, 70 secs
lola: 9430 markings, 34743 edges, 186 markings/sec, 75 secs
lola: 10385 markings, 38739 edges, 191 markings/sec, 80 secs
lola: 11354 markings, 42589 edges, 194 markings/sec, 85 secs
lola: 12242 markings, 46843 edges, 178 markings/sec, 90 secs
lola: 13129 markings, 51334 edges, 177 markings/sec, 95 secs
lola: 14018 markings, 55718 edges, 178 markings/sec, 100 secs
lola: 14973 markings, 60364 edges, 191 markings/sec, 105 secs
lola: 15968 markings, 65717 edges, 199 markings/sec, 110 secs
lola: 16915 markings, 71434 edges, 189 markings/sec, 115 secs
lola: 17845 markings, 76870 edges, 186 markings/sec, 120 secs
lola: 18806 markings, 82718 edges, 192 markings/sec, 125 secs
lola: 19760 markings, 87506 edges, 191 markings/sec, 130 secs
lola: 20747 markings, 92332 edges, 197 markings/sec, 135 secs
lola: 21743 markings, 97631 edges, 199 markings/sec, 140 secs
lola: 22717 markings, 102330 edges, 195 markings/sec, 145 secs
lola: 23695 markings, 107182 edges, 196 markings/sec, 150 secs
lola: 24671 markings, 112975 edges, 195 markings/sec, 155 secs
lola: 25631 markings, 117611 edges, 192 markings/sec, 160 secs
lola: 26551 markings, 122116 edges, 184 markings/sec, 165 secs
lola: 27444 markings, 126840 edges, 179 markings/sec, 170 secs
lola: 28323 markings, 131765 edges, 176 markings/sec, 175 secs
lola: 29218 markings, 136249 edges, 179 markings/sec, 180 secs
lola: 30188 markings, 141082 edges, 194 markings/sec, 185 secs
lola: 31165 markings, 145531 edges, 195 markings/sec, 190 secs
lola: 32096 markings, 150884 edges, 186 markings/sec, 195 secs
lola: 33009 markings, 155344 edges, 183 markings/sec, 200 secs
lola: 33918 markings, 159333 edges, 182 markings/sec, 205 secs
lola: 34859 markings, 164404 edges, 188 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: 119300 KB
lola: time consumption: 1831 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(p388)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p388)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 929 markings, 928 edges, 186 markings/sec, 30 secs
lola: 1879 markings, 1902 edges, 190 markings/sec, 35 secs
lola: 2768 markings, 2915 edges, 178 markings/sec, 40 secs
lola: 3685 markings, 3906 edges, 183 markings/sec, 45 secs
lola: 4591 markings, 4934 edges, 181 markings/sec, 50 secs
lola: 5490 markings, 5918 edges, 180 markings/sec, 55 secs
lola: 6387 markings, 6906 edges, 179 markings/sec, 60 secs
lola: 7290 markings, 7911 edges, 181 markings/sec, 65 secs
lola: 8174 markings, 8910 edges, 177 markings/sec, 70 secs
lola: 9149 markings, 10040 edges, 195 markings/sec, 75 secs
lola: 10105 markings, 11129 edges, 191 markings/sec, 80 secs
lola: 11033 markings, 12197 edges, 186 markings/sec, 85 secs
lola: 11958 markings, 13256 edges, 185 markings/sec, 90 secs
lola: 12946 markings, 14447 edges, 198 markings/sec, 95 secs
lola: 13936 markings, 15677 edges, 198 markings/sec, 100 secs
lola: 14933 markings, 16870 edges, 199 markings/sec, 105 secs
lola: 15885 markings, 18074 edges, 190 markings/sec, 110 secs
lola: 16789 markings, 19112 edges, 181 markings/sec, 115 secs
lola: 17662 markings, 20170 edges, 175 markings/sec, 120 secs
lola: 18543 markings, 21219 edges, 176 markings/sec, 125 secs
lola: 19409 markings, 22289 edges, 173 markings/sec, 130 secs
lola: 20274 markings, 23327 edges, 173 markings/sec, 135 secs
lola: 21139 markings, 24369 edges, 173 markings/sec, 140 secs
lola: 22016 markings, 25336 edges, 175 markings/sec, 145 secs
lola: 22860 markings, 28708 edges, 169 markings/sec, 150 secs
lola: 23718 markings, 32889 edges, 172 markings/sec, 155 secs
lola: 24580 markings, 36994 edges, 172 markings/sec, 160 secs
lola: 25434 markings, 41260 edges, 171 markings/sec, 165 secs
lola: 26296 markings, 45039 edges, 172 markings/sec, 170 secs
lola: 27164 markings, 49110 edges, 174 markings/sec, 175 secs
lola: 28025 markings, 54219 edges, 172 markings/sec, 180 secs
lola: 28857 markings, 58884 edges, 166 markings/sec, 185 secs
lola: 29646 markings, 63277 edges, 158 markings/sec, 190 secs
lola: 30433 markings, 68088 edges, 157 markings/sec, 195 secs
lola: 31240 markings, 72195 edges, 161 markings/sec, 200 secs
lola: 32049 markings, 76514 edges, 162 markings/sec, 205 secs
lola: 32847 markings, 80872 edges, 160 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: 120076 KB
lola: time consumption: 2048 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(p545)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p545)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 791 markings, 790 edges, 158 markings/sec, 30 secs
lola: 1652 markings, 1651 edges, 172 markings/sec, 35 secs
lola: 2542 markings, 4441 edges, 178 markings/sec, 40 secs
lola: 3351 markings, 8211 edges, 162 markings/sec, 45 secs
lola: 4169 markings, 12296 edges, 164 markings/sec, 50 secs
lola: 5101 markings, 16671 edges, 186 markings/sec, 55 secs
lola: 6053 markings, 22219 edges, 190 markings/sec, 60 secs
lola: 6998 markings, 27171 edges, 189 markings/sec, 65 secs
lola: 7985 markings, 32183 edges, 197 markings/sec, 70 secs
lola: 8942 markings, 38001 edges, 191 markings/sec, 75 secs
lola: 9835 markings, 43006 edges, 179 markings/sec, 80 secs
lola: 10698 markings, 48312 edges, 173 markings/sec, 85 secs
lola: 11573 markings, 54681 edges, 175 markings/sec, 90 secs
lola: 12425 markings, 58600 edges, 170 markings/sec, 95 secs
lola: 13283 markings, 63000 edges, 172 markings/sec, 100 secs
lola: 14160 markings, 68206 edges, 175 markings/sec, 105 secs
lola: 15059 markings, 73323 edges, 180 markings/sec, 110 secs
lola: 15947 markings, 78985 edges, 178 markings/sec, 115 secs
lola: 16796 markings, 85066 edges, 170 markings/sec, 120 secs
lola: 17691 markings, 90354 edges, 179 markings/sec, 125 secs
lola: 18582 markings, 96180 edges, 178 markings/sec, 130 secs
lola: 19459 markings, 101809 edges, 175 markings/sec, 135 secs
lola: 20300 markings, 107746 edges, 168 markings/sec, 140 secs
lola: 21131 markings, 113671 edges, 166 markings/sec, 145 secs
lola: 21923 markings, 119865 edges, 158 markings/sec, 150 secs
lola: 22764 markings, 124104 edges, 168 markings/sec, 155 secs
lola: 23636 markings, 129165 edges, 174 markings/sec, 160 secs
lola: 24528 markings, 134792 edges, 178 markings/sec, 165 secs
lola: 25419 markings, 139875 edges, 178 markings/sec, 170 secs
lola: 26328 markings, 146152 edges, 182 markings/sec, 175 secs
lola: 27262 markings, 152490 edges, 187 markings/sec, 180 secs
lola: 28218 markings, 158279 edges, 191 markings/sec, 185 secs
lola: 29171 markings, 164711 edges, 191 markings/sec, 190 secs
lola: 30121 markings, 171484 edges, 190 markings/sec, 195 secs
lola: 31054 markings, 178353 edges, 187 markings/sec, 200 secs
lola: 31976 markings, 185858 edges, 184 markings/sec, 205 secs
lola: 32875 markings, 191533 edges, 180 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: 119372 KB
lola: time consumption: 2266 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p601)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p601)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 888 markings, 887 edges, 178 markings/sec, 30 secs
lola: 1838 markings, 1876 edges, 190 markings/sec, 35 secs
lola: 2765 markings, 5679 edges, 185 markings/sec, 40 secs
lola: 3687 markings, 10330 edges, 184 markings/sec, 45 secs
lola: 4623 markings, 15578 edges, 187 markings/sec, 50 secs
lola: 5504 markings, 19963 edges, 176 markings/sec, 55 secs
lola: 6346 markings, 24233 edges, 168 markings/sec, 60 secs
lola: 7138 markings, 28647 edges, 158 markings/sec, 65 secs
lola: 7886 markings, 32831 edges, 150 markings/sec, 70 secs
lola: 8630 markings, 36619 edges, 149 markings/sec, 75 secs
lola: 9469 markings, 41183 edges, 168 markings/sec, 80 secs
lola: 10335 markings, 45649 edges, 173 markings/sec, 85 secs
lola: 11215 markings, 49794 edges, 176 markings/sec, 90 secs
lola: 11956 markings, 54223 edges, 148 markings/sec, 95 secs
lola: 12709 markings, 58765 edges, 151 markings/sec, 100 secs
lola: 13504 markings, 64317 edges, 159 markings/sec, 105 secs
lola: 14337 markings, 68788 edges, 167 markings/sec, 110 secs
lola: 15232 markings, 74370 edges, 179 markings/sec, 115 secs
lola: 16092 markings, 79792 edges, 172 markings/sec, 120 secs
lola: 16971 markings, 85535 edges, 176 markings/sec, 125 secs
lola: 17847 markings, 90846 edges, 175 markings/sec, 130 secs
lola: 18738 markings, 96626 edges, 178 markings/sec, 135 secs
lola: 19617 markings, 101110 edges, 176 markings/sec, 140 secs
lola: 20497 markings, 105405 edges, 176 markings/sec, 145 secs
lola: 21307 markings, 109637 edges, 162 markings/sec, 150 secs
lola: 22221 markings, 114181 edges, 183 markings/sec, 155 secs
lola: 23143 markings, 119442 edges, 184 markings/sec, 160 secs
lola: 24055 markings, 124632 edges, 182 markings/sec, 165 secs
lola: 24976 markings, 130664 edges, 184 markings/sec, 170 secs
lola: 25864 markings, 136460 edges, 178 markings/sec, 175 secs
lola: 26756 markings, 141547 edges, 178 markings/sec, 180 secs
lola: 27660 markings, 147045 edges, 181 markings/sec, 185 secs
lola: 28583 markings, 151910 edges, 185 markings/sec, 190 secs
lola: 29461 markings, 155892 edges, 176 markings/sec, 195 secs
lola: 30350 markings, 160400 edges, 178 markings/sec, 200 secs
lola: 31255 markings, 165432 edges, 181 markings/sec, 205 secs
lola: 32176 markings, 170582 edges, 184 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: 119248 KB
lola: time consumption: 2483 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(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p145)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 917 markings, 916 edges, 183 markings/sec, 30 secs
lola: 1848 markings, 1892 edges, 186 markings/sec, 35 secs
lola: 2775 markings, 2881 edges, 185 markings/sec, 40 secs
lola: 3638 markings, 3819 edges, 173 markings/sec, 45 secs
lola: 4557 markings, 4844 edges, 184 markings/sec, 50 secs
lola: 5459 markings, 5847 edges, 180 markings/sec, 55 secs
lola: 6363 markings, 6764 edges, 181 markings/sec, 60 secs
lola: 7234 markings, 7734 edges, 174 markings/sec, 65 secs
lola: 8094 markings, 8693 edges, 172 markings/sec, 70 secs
lola: 9013 markings, 9771 edges, 184 markings/sec, 75 secs
lola: 9942 markings, 10873 edges, 186 markings/sec, 80 secs
lola: 10846 markings, 11957 edges, 181 markings/sec, 85 secs
lola: 11782 markings, 13057 edges, 187 markings/sec, 90 secs
lola: 12730 markings, 14246 edges, 190 markings/sec, 95 secs
lola: 13648 markings, 15400 edges, 184 markings/sec, 100 secs
lola: 14496 markings, 16440 edges, 170 markings/sec, 105 secs
lola: 15351 markings, 17537 edges, 171 markings/sec, 110 secs
lola: 16212 markings, 18653 edges, 172 markings/sec, 115 secs
lola: 17100 markings, 19745 edges, 178 markings/sec, 120 secs
lola: 18026 markings, 20932 edges, 185 markings/sec, 125 secs
lola: 18900 markings, 21991 edges, 175 markings/sec, 130 secs
lola: 19828 markings, 23231 edges, 186 markings/sec, 135 secs
lola: 20715 markings, 24379 edges, 177 markings/sec, 140 secs
lola: 21644 markings, 25535 edges, 186 markings/sec, 145 secs
lola: 22594 markings, 26703 edges, 190 markings/sec, 150 secs
lola: 23530 markings, 27926 edges, 187 markings/sec, 155 secs
lola: 24462 markings, 29068 edges, 186 markings/sec, 160 secs
lola: 25401 markings, 30227 edges, 188 markings/sec, 165 secs
lola: 26326 markings, 31371 edges, 185 markings/sec, 170 secs
lola: 27255 markings, 32485 edges, 186 markings/sec, 175 secs
lola: 28168 markings, 33584 edges, 183 markings/sec, 180 secs
lola: 29093 markings, 34792 edges, 185 markings/sec, 185 secs
lola: 30018 markings, 35897 edges, 185 markings/sec, 190 secs
lola: 30973 markings, 37099 edges, 191 markings/sec, 195 secs
lola: 31893 markings, 38358 edges, 184 markings/sec, 200 secs
lola: 32811 markings, 39528 edges, 184 markings/sec, 205 secs
lola: 33766 markings, 40642 edges, 191 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: 120548 KB
lola: time consumption: 2700 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(p455)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p455)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 907 markings, 906 edges, 181 markings/sec, 30 secs
lola: 1824 markings, 1823 edges, 183 markings/sec, 35 secs
lola: 2756 markings, 2755 edges, 186 markings/sec, 40 secs
lola: 3738 markings, 3737 edges, 196 markings/sec, 45 secs
lola: 4741 markings, 4777 edges, 201 markings/sec, 50 secs
lola: 5740 markings, 5838 edges, 200 markings/sec, 55 secs
lola: 6731 markings, 6896 edges, 198 markings/sec, 60 secs
lola: 7722 markings, 7952 edges, 198 markings/sec, 65 secs
lola: 8729 markings, 9042 edges, 201 markings/sec, 70 secs
lola: 9692 markings, 10087 edges, 193 markings/sec, 75 secs
lola: 10633 markings, 11111 edges, 188 markings/sec, 80 secs
lola: 11536 markings, 12099 edges, 181 markings/sec, 85 secs
lola: 12317 markings, 12946 edges, 156 markings/sec, 90 secs
lola: 13114 markings, 13788 edges, 159 markings/sec, 95 secs
lola: 13899 markings, 14618 edges, 157 markings/sec, 100 secs
lola: 14801 markings, 15541 edges, 180 markings/sec, 105 secs
lola: 15651 markings, 16397 edges, 170 markings/sec, 110 secs
lola: 16496 markings, 17260 edges, 169 markings/sec, 115 secs
lola: 17371 markings, 18173 edges, 175 markings/sec, 120 secs
lola: 18253 markings, 19099 edges, 176 markings/sec, 125 secs
lola: 19174 markings, 20020 edges, 184 markings/sec, 130 secs
lola: 20118 markings, 20964 edges, 189 markings/sec, 135 secs
lola: 20994 markings, 21840 edges, 175 markings/sec, 140 secs
lola: 21953 markings, 22799 edges, 192 markings/sec, 145 secs
lola: 22935 markings, 23781 edges, 196 markings/sec, 150 secs
lola: 23873 markings, 24719 edges, 188 markings/sec, 155 secs
lola: 24800 markings, 25646 edges, 185 markings/sec, 160 secs
lola: 25747 markings, 26593 edges, 189 markings/sec, 165 secs
lola: 26700 markings, 27546 edges, 191 markings/sec, 170 secs
lola: 27599 markings, 28445 edges, 180 markings/sec, 175 secs
lola: 28503 markings, 29349 edges, 181 markings/sec, 180 secs
lola: 29397 markings, 30246 edges, 179 markings/sec, 185 secs
lola: 30272 markings, 31122 edges, 175 markings/sec, 190 secs
lola: 31083 markings, 31936 edges, 162 markings/sec, 195 secs
lola: 31924 markings, 32785 edges, 168 markings/sec, 200 secs
lola: 32824 markings, 33690 edges, 180 markings/sec, 205 secs
lola: 33809 markings, 34677 edges, 197 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: 120668 KB
lola: time consumption: 2917 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(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 861 markings, 860 edges, 172 markings/sec, 30 secs
lola: 1729 markings, 1728 edges, 174 markings/sec, 35 secs
lola: 2625 markings, 4227 edges, 179 markings/sec, 40 secs
lola: 3537 markings, 7798 edges, 182 markings/sec, 45 secs
lola: 4408 markings, 10785 edges, 174 markings/sec, 50 secs
lola: 5298 markings, 13993 edges, 178 markings/sec, 55 secs
lola: 6169 markings, 17612 edges, 174 markings/sec, 60 secs
lola: 7052 markings, 21881 edges, 177 markings/sec, 65 secs
lola: 7958 markings, 25833 edges, 181 markings/sec, 70 secs
lola: 8856 markings, 29831 edges, 180 markings/sec, 75 secs
lola: 9656 markings, 32980 edges, 160 markings/sec, 80 secs
lola: 10500 markings, 36212 edges, 169 markings/sec, 85 secs
lola: 11271 markings, 39549 edges, 154 markings/sec, 90 secs
lola: 12055 markings, 42495 edges, 157 markings/sec, 95 secs
lola: 12796 markings, 45212 edges, 148 markings/sec, 100 secs
lola: 13643 markings, 48699 edges, 169 markings/sec, 105 secs
lola: 14529 markings, 52999 edges, 177 markings/sec, 110 secs
lola: 15407 markings, 56944 edges, 176 markings/sec, 115 secs
lola: 16235 markings, 60790 edges, 166 markings/sec, 120 secs
lola: 17115 markings, 65387 edges, 176 markings/sec, 125 secs
lola: 17973 markings, 70355 edges, 172 markings/sec, 130 secs
lola: 18798 markings, 74832 edges, 165 markings/sec, 135 secs
lola: 19639 markings, 79464 edges, 168 markings/sec, 140 secs
lola: 20502 markings, 83647 edges, 173 markings/sec, 145 secs
lola: 21344 markings, 87718 edges, 168 markings/sec, 150 secs
lola: 22167 markings, 92128 edges, 165 markings/sec, 155 secs
lola: 22955 markings, 95846 edges, 158 markings/sec, 160 secs
lola: 23830 markings, 99774 edges, 175 markings/sec, 165 secs
lola: 24712 markings, 103872 edges, 176 markings/sec, 170 secs
lola: 25580 markings, 107728 edges, 174 markings/sec, 175 secs
lola: 26416 markings, 112455 edges, 167 markings/sec, 180 secs
lola: 27238 markings, 116913 edges, 164 markings/sec, 185 secs
lola: 28025 markings, 120961 edges, 157 markings/sec, 190 secs
lola: 28855 markings, 125154 edges, 166 markings/sec, 195 secs
lola: 29669 markings, 128946 edges, 163 markings/sec, 200 secs
lola: 30534 markings, 133693 edges, 173 markings/sec, 205 secs
lola: 31322 markings, 137726 edges, 158 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: 118984 KB
lola: time consumption: 3134 seconds
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(p590)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p590)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 918 markings, 917 edges, 184 markings/sec, 30 secs
lola: 1851 markings, 1850 edges, 187 markings/sec, 35 secs
lola: 2759 markings, 2758 edges, 182 markings/sec, 40 secs
lola: 3605 markings, 3643 edges, 169 markings/sec, 45 secs
lola: 4408 markings, 6022 edges, 161 markings/sec, 50 secs
lola: 5201 markings, 9778 edges, 159 markings/sec, 55 secs
lola: 5976 markings, 13614 edges, 155 markings/sec, 60 secs
lola: 6640 markings, 17389 edges, 133 markings/sec, 65 secs
lola: 7350 markings, 20825 edges, 142 markings/sec, 70 secs
lola: 8047 markings, 24611 edges, 139 markings/sec, 75 secs
lola: 8755 markings, 28668 edges, 142 markings/sec, 80 secs
lola: 9569 markings, 34216 edges, 163 markings/sec, 85 secs
lola: 10404 markings, 38486 edges, 167 markings/sec, 90 secs
lola: 11245 markings, 43250 edges, 168 markings/sec, 95 secs
lola: 12079 markings, 48190 edges, 167 markings/sec, 100 secs
lola: 12904 markings, 53520 edges, 165 markings/sec, 105 secs
lola: 13729 markings, 58838 edges, 165 markings/sec, 110 secs
lola: 14562 markings, 64500 edges, 167 markings/sec, 115 secs
lola: 15397 markings, 70883 edges, 167 markings/sec, 120 secs
lola: 16215 markings, 74917 edges, 164 markings/sec, 125 secs
lola: 17009 markings, 78923 edges, 159 markings/sec, 130 secs
lola: 17840 markings, 83782 edges, 166 markings/sec, 135 secs
lola: 18555 markings, 88277 edges, 143 markings/sec, 140 secs
lola: 19375 markings, 93464 edges, 164 markings/sec, 145 secs
lola: 20212 markings, 98842 edges, 167 markings/sec, 150 secs
lola: 21037 markings, 104548 edges, 165 markings/sec, 155 secs
lola: 21779 markings, 110241 edges, 148 markings/sec, 160 secs
lola: 22569 markings, 115163 edges, 158 markings/sec, 165 secs
lola: 23296 markings, 120036 edges, 145 markings/sec, 170 secs
lola: 24109 markings, 125748 edges, 163 markings/sec, 175 secs
lola: 24911 markings, 131952 edges, 160 markings/sec, 180 secs
lola: 25692 markings, 137339 edges, 156 markings/sec, 185 secs
lola: 26530 markings, 143906 edges, 168 markings/sec, 190 secs
lola: 27379 markings, 150883 edges, 170 markings/sec, 195 secs
lola: 28232 markings, 156977 edges, 171 markings/sec, 200 secs
lola: 29064 markings, 161167 edges, 166 markings/sec, 205 secs
lola: 29932 markings, 166206 edges, 174 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: 119396 KB
lola: time consumption: 3352 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p576)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p576)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file RERS17pb113-PT-1-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: 859 markings, 858 edges, 172 markings/sec, 30 secs
lola: 1682 markings, 1681 edges, 165 markings/sec, 35 secs
lola: 2461 markings, 2460 edges, 156 markings/sec, 40 secs
lola: 3277 markings, 3286 edges, 163 markings/sec, 45 secs
lola: 4078 markings, 4146 edges, 160 markings/sec, 50 secs
lola: 4883 markings, 5031 edges, 161 markings/sec, 55 secs
lola: 5642 markings, 5862 edges, 152 markings/sec, 60 secs
lola: 6395 markings, 6666 edges, 151 markings/sec, 65 secs
lola: 7234 markings, 7697 edges, 168 markings/sec, 70 secs
lola: 8126 markings, 9205 edges, 178 markings/sec, 75 secs
lola: 9032 markings, 13089 edges, 181 markings/sec, 80 secs
lola: 9945 markings, 17748 edges, 183 markings/sec, 85 secs
lola: 10873 markings, 22782 edges, 186 markings/sec, 90 secs
lola: 11846 markings, 27681 edges, 195 markings/sec, 95 secs
lola: 12796 markings, 33180 edges, 190 markings/sec, 100 secs
lola: 13690 markings, 38951 edges, 179 markings/sec, 105 secs
lola: 14553 markings, 43080 edges, 173 markings/sec, 110 secs
lola: 15415 markings, 48078 edges, 172 markings/sec, 115 secs
lola: 16303 markings, 53751 edges, 178 markings/sec, 120 secs
lola: 17212 markings, 59255 edges, 182 markings/sec, 125 secs
lola: 18094 markings, 65066 edges, 176 markings/sec, 130 secs
lola: 18984 markings, 71142 edges, 178 markings/sec, 135 secs
lola: 19819 markings, 76946 edges, 167 markings/sec, 140 secs
lola: 20686 markings, 81359 edges, 173 markings/sec, 145 secs
lola: 21552 markings, 86390 edges, 173 markings/sec, 150 secs
lola: 22434 markings, 92081 edges, 176 markings/sec, 155 secs
lola: 23293 markings, 97475 edges, 172 markings/sec, 160 secs
lola: 24163 markings, 103054 edges, 174 markings/sec, 165 secs
lola: 25059 markings, 109352 edges, 179 markings/sec, 170 secs
lola: 25960 markings, 115322 edges, 180 markings/sec, 175 secs
lola: 26853 markings, 121140 edges, 179 markings/sec, 180 secs
lola: 27756 markings, 127508 edges, 181 markings/sec, 185 secs
lola: 28663 markings, 134267 edges, 181 markings/sec, 190 secs
lola: 29565 markings, 140427 edges, 180 markings/sec, 195 secs
lola: 30460 markings, 147310 edges, 179 markings/sec, 200 secs
lola: 31332 markings, 154818 edges, 174 markings/sec, 205 secs
lola: 32194 markings, 159748 edges, 172 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: 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:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 119648 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 119648 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
BK_STOP 1527802828070
--------------------
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="RERS17pb113-PT-9"
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/RERS17pb113-PT-9.tgz
mv RERS17pb113-PT-9 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 RERS17pb113-PT-9, 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 r280-csrt-152749170000452"
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 '
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 ;