Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r110-oct2-155272242300148.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 PermAdmissibility-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242300148
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 952K
-rw-r--r-- 1 mcc users 5.9K Feb 12 04:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 12 04:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 8 03:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 8 03:14 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.9K Feb 5 00:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 4 07:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 4 07:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 32K Feb 1 02:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 117K Feb 1 02:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 484K 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 PermAdmissibility-PT-10-UpperBounds-00
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-01
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-02
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-03
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-04
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-05
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-06
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-07
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-08
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-09
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-10
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-11
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-12
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-13
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-14
FORMULA_NAME PermAdmissibility-PT-10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553039089110

info: Time: 3600 - MCC
===========================================================================================
prep: translating PermAdmissibility-PT-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PermAdmissibility-PT-10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PermAdmissibility-PT-10 @ 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: 760/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5376
lola: finding significant places
lola: 168 places, 592 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 820 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-PT-10-UpperBounds.task
lola: MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7) : MAX(c11) : MAX(aux5_0 + aux5_1 + aux5_4 + aux5_5) : MAX(c7) : MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7) : MAX(c8) : MAX(c14) : MAX(c7) : MAX(out8_7) : MAX(aux11_5) : MAX(out5_7) : MAX(aux11_0) : MAX(aux9_0) : MAX(c18) : MAX(aux15_1) : MAX(out4_4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c11)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 61 markings, 60 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-1 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c7)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 20 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-3 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c8)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 31 markings, 30 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-5 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 91 markings, 90 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-6 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c7)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 21 markings, 20 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-7 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out8_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out8_7)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 161 markings, 160 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-8 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux11_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux11_5)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 71 markings, 70 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-9 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out5_7)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 151 markings, 150 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-10 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux11_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux11_0)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: 1103052 markings, 3264165 edges, 220610 markings/sec, 0 secs
lola: 2145860 markings, 6501431 edges, 208562 markings/sec, 5 secs
lola: 3216949 markings, 9785600 edges, 214218 markings/sec, 10 secs
lola: 4156805 markings, 13079219 edges, 187971 markings/sec, 15 secs
lola: 5119087 markings, 16284769 edges, 192456 markings/sec, 20 secs
lola: 6085249 markings, 19536387 edges, 193232 markings/sec, 25 secs
lola: 7076271 markings, 22828259 edges, 198204 markings/sec, 30 secs
lola: 8069116 markings, 25990986 edges, 198569 markings/sec, 35 secs
lola: 8974286 markings, 29041114 edges, 181034 markings/sec, 40 secs
lola: 9979375 markings, 32240641 edges, 201018 markings/sec, 45 secs
lola: 10941629 markings, 35423533 edges, 192451 markings/sec, 50 secs
lola: 11995688 markings, 38589972 edges, 210812 markings/sec, 55 secs
lola: 12909395 markings, 41856514 edges, 182741 markings/sec, 60 secs
lola: 13835629 markings, 45010458 edges, 185247 markings/sec, 65 secs
lola: 14606916 markings, 48255036 edges, 154257 markings/sec, 70 secs
lola: 15558380 markings, 51336251 edges, 190293 markings/sec, 75 secs
lola: 16442274 markings, 54531604 edges, 176779 markings/sec, 80 secs
lola: 17292078 markings, 57704046 edges, 169961 markings/sec, 85 secs
lola: 18131141 markings, 60877568 edges, 167813 markings/sec, 90 secs
lola: 18865219 markings, 64031340 edges, 146816 markings/sec, 95 secs
lola: 19697682 markings, 67247618 edges, 166493 markings/sec, 100 secs
lola: 20586244 markings, 70477144 edges, 177712 markings/sec, 105 secs
lola: 21451739 markings, 73734001 edges, 173099 markings/sec, 110 secs
lola: 22313130 markings, 77022587 edges, 172278 markings/sec, 115 secs
lola: 23197928 markings, 80142439 edges, 176960 markings/sec, 120 secs
lola: 24007496 markings, 83096683 edges, 161914 markings/sec, 125 secs
lola: 24772679 markings, 86068776 edges, 153037 markings/sec, 130 secs
lola: 25663787 markings, 89182041 edges, 178222 markings/sec, 135 secs
lola: 26533936 markings, 92358317 edges, 174030 markings/sec, 140 secs
lola: 27350143 markings, 95530639 edges, 163241 markings/sec, 145 secs
lola: 28169745 markings, 98582047 edges, 163920 markings/sec, 150 secs
lola: 29121407 markings, 101789820 edges, 190332 markings/sec, 155 secs
lola: 29901187 markings, 104926686 edges, 155956 markings/sec, 160 secs
lola: 30727199 markings, 108199951 edges, 165202 markings/sec, 165 secs
lola: 31571237 markings, 111322769 edges, 168808 markings/sec, 170 secs
lola: 32351047 markings, 114293845 edges, 155962 markings/sec, 175 secs
lola: 33234394 markings, 117357809 edges, 176669 markings/sec, 180 secs
lola: 34198591 markings, 120501710 edges, 192839 markings/sec, 185 secs
lola: 35050961 markings, 123629218 edges, 170474 markings/sec, 190 secs
lola: 35866404 markings, 126727878 edges, 163089 markings/sec, 195 secs
lola: 36621373 markings, 129957387 edges, 150994 markings/sec, 200 secs
lola: 37455007 markings, 133011255 edges, 166727 markings/sec, 205 secs
lola: 38179658 markings, 136154948 edges, 144930 markings/sec, 210 secs
lola: 38912692 markings, 139231648 edges, 146607 markings/sec, 215 secs
lola: 39633708 markings, 142246163 edges, 144203 markings/sec, 220 secs
lola: 40384364 markings, 145432019 edges, 150131 markings/sec, 225 secs
lola: 41002076 markings, 148479210 edges, 123542 markings/sec, 230 secs
lola: 41628023 markings, 151623394 edges, 125189 markings/sec, 235 secs
lola: 42461978 markings, 154813681 edges, 166791 markings/sec, 240 secs
lola: 43179307 markings, 158049892 edges, 143466 markings/sec, 245 secs
lola: 43999764 markings, 161323467 edges, 164091 markings/sec, 250 secs
lola: 44787698 markings, 164614419 edges, 157587 markings/sec, 255 secs
lola: 45615555 markings, 167651578 edges, 165571 markings/sec, 260 secs
lola: 46327563 markings, 170596487 edges, 142402 markings/sec, 265 secs
lola: 46975808 markings, 173562434 edges, 129649 markings/sec, 270 secs
lola: 47768361 markings, 176600338 edges, 158511 markings/sec, 275 secs
lola: 48581178 markings, 179738474 edges, 162563 markings/sec, 280 secs
lola: 49302634 markings, 182863354 edges, 144291 markings/sec, 285 secs
lola: 50034281 markings, 186123122 edges, 146329 markings/sec, 290 secs
lola: 50756146 markings, 189115380 edges, 144373 markings/sec, 295 secs
lola: 51443238 markings, 192303137 edges, 137418 markings/sec, 300 secs
lola: 52093446 markings, 195307220 edges, 130042 markings/sec, 305 secs
lola: 52719918 markings, 198459724 edges, 125294 markings/sec, 310 secs
lola: 53386537 markings, 201640876 edges, 133324 markings/sec, 315 secs
lola: 54005639 markings, 204571217 edges, 123820 markings/sec, 320 secs
lola: 54706122 markings, 207609579 edges, 140097 markings/sec, 325 secs
lola: 55552150 markings, 210734716 edges, 169206 markings/sec, 330 secs
lola: 56322699 markings, 213869616 edges, 154110 markings/sec, 335 secs
lola: 56969032 markings, 217029102 edges, 129267 markings/sec, 340 secs
lola: 57725499 markings, 220309343 edges, 151293 markings/sec, 345 secs
lola: 58524345 markings, 223519054 edges, 159769 markings/sec, 350 secs
lola: 59218218 markings, 226480776 edges, 138775 markings/sec, 355 secs
lola: 59957982 markings, 229653877 edges, 147953 markings/sec, 360 secs
lola: 60646502 markings, 232720700 edges, 137704 markings/sec, 365 secs
lola: 61295318 markings, 235885555 edges, 129763 markings/sec, 370 secs
lola: 62115511 markings, 239066709 edges, 164039 markings/sec, 375 secs
lola: 63113926 markings, 242278914 edges, 199683 markings/sec, 380 secs
lola: 64055250 markings, 245521291 edges, 188265 markings/sec, 385 secs
lola: 64873062 markings, 248804486 edges, 163562 markings/sec, 390 secs
lola: 65753018 markings, 251948143 edges, 175991 markings/sec, 395 secs
lola: 66588355 markings, 255129451 edges, 167067 markings/sec, 400 secs
lola: 67438320 markings, 258338398 edges, 169993 markings/sec, 405 secs
lola: 68289198 markings, 261542220 edges, 170176 markings/sec, 410 secs
lola: 69171623 markings, 264735612 edges, 176485 markings/sec, 415 secs
lola: 70073225 markings, 267943257 edges, 180320 markings/sec, 420 secs
lola: 70924043 markings, 271025369 edges, 170164 markings/sec, 425 secs
lola: 71717679 markings, 274059136 edges, 158727 markings/sec, 430 secs
lola: 72629187 markings, 277140114 edges, 182302 markings/sec, 435 secs
lola: 73449934 markings, 280284174 edges, 164149 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 unknown 10 unknown 10 10 10 10 10 10 unknown unknown unknown unknown unknown
lola: memory consumption: 3710180 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux9_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux9_0)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: 1101883 markings, 3855706 edges, 220377 markings/sec, 0 secs
lola: 2020129 markings, 7435357 edges, 183649 markings/sec, 5 secs
lola: 2876621 markings, 10959555 edges, 171298 markings/sec, 10 secs
lola: 3690076 markings, 14354325 edges, 162691 markings/sec, 15 secs
lola: 4597143 markings, 17864370 edges, 181413 markings/sec, 20 secs
lola: 5440441 markings, 21373244 edges, 168660 markings/sec, 25 secs
lola: 6196179 markings, 24677712 edges, 151148 markings/sec, 30 secs
lola: 6974031 markings, 28026638 edges, 155570 markings/sec, 35 secs
lola: 7648462 markings, 31288840 edges, 134886 markings/sec, 40 secs
lola: 8273737 markings, 34572251 edges, 125055 markings/sec, 45 secs
lola: 9023787 markings, 37834330 edges, 150010 markings/sec, 50 secs
lola: 9706810 markings, 41007177 edges, 136605 markings/sec, 55 secs
lola: 10336888 markings, 44235193 edges, 126016 markings/sec, 60 secs
lola: 10983821 markings, 47455488 edges, 129387 markings/sec, 65 secs
lola: 11910563 markings, 51065876 edges, 185348 markings/sec, 70 secs
lola: 12738909 markings, 54545945 edges, 165669 markings/sec, 75 secs
lola: 13507394 markings, 58010647 edges, 153697 markings/sec, 80 secs
lola: 14312429 markings, 61570444 edges, 161007 markings/sec, 85 secs
lola: 15107742 markings, 65162254 edges, 159063 markings/sec, 90 secs
lola: 15820414 markings, 68596119 edges, 142534 markings/sec, 95 secs
lola: 16471776 markings, 71900558 edges, 130272 markings/sec, 100 secs
lola: 17034308 markings, 75071072 edges, 112506 markings/sec, 105 secs
lola: 17662179 markings, 78134192 edges, 125574 markings/sec, 110 secs
lola: 18290616 markings, 81426395 edges, 125687 markings/sec, 115 secs
lola: 18760869 markings, 84536724 edges, 94051 markings/sec, 120 secs
lola: 19474655 markings, 87724557 edges, 142757 markings/sec, 125 secs
lola: 20117112 markings, 90970798 edges, 128491 markings/sec, 130 secs
lola: 20837324 markings, 94365182 edges, 144042 markings/sec, 135 secs
lola: 21541088 markings, 97878092 edges, 140753 markings/sec, 140 secs
lola: 22045623 markings, 101184597 edges, 100907 markings/sec, 145 secs
lola: 22743577 markings, 104265291 edges, 139591 markings/sec, 150 secs
lola: 23445275 markings, 106938373 edges, 140340 markings/sec, 155 secs
lola: 24163692 markings, 109765615 edges, 143683 markings/sec, 160 secs
lola: 24886300 markings, 112579126 edges, 144522 markings/sec, 165 secs
lola: 25584974 markings, 115363153 edges, 139735 markings/sec, 170 secs
lola: 26251846 markings, 118219957 edges, 133374 markings/sec, 175 secs
lola: 26970154 markings, 121093443 edges, 143662 markings/sec, 180 secs
lola: 27581939 markings, 123643853 edges, 122357 markings/sec, 185 secs
lola: 28132391 markings, 126265261 edges, 110090 markings/sec, 190 secs
lola: 28831367 markings, 129147322 edges, 139795 markings/sec, 195 secs
lola: 29431157 markings, 131971037 edges, 119958 markings/sec, 200 secs
lola: 30168840 markings, 134946400 edges, 147537 markings/sec, 205 secs
lola: 30908665 markings, 138019902 edges, 147965 markings/sec, 210 secs
lola: 31587092 markings, 140953144 edges, 135685 markings/sec, 215 secs
lola: 32230188 markings, 143837368 edges, 128619 markings/sec, 220 secs
lola: 32922503 markings, 147015787 edges, 138463 markings/sec, 225 secs
lola: 33564409 markings, 150043125 edges, 128381 markings/sec, 230 secs
lola: 34225193 markings, 153013821 edges, 132157 markings/sec, 235 secs
lola: 34854514 markings, 156031204 edges, 125864 markings/sec, 240 secs
lola: 35491879 markings, 158982932 edges, 127473 markings/sec, 245 secs
lola: 36095759 markings, 162036971 edges, 120776 markings/sec, 250 secs
lola: 36696339 markings, 165039753 edges, 120116 markings/sec, 255 secs
lola: 37374021 markings, 168052584 edges, 135536 markings/sec, 260 secs
lola: 38001171 markings, 171037611 edges, 125430 markings/sec, 265 secs
lola: 38669267 markings, 174142617 edges, 133619 markings/sec, 270 secs
lola: 39266702 markings, 177252774 edges, 119487 markings/sec, 275 secs
lola: 39833507 markings, 180343094 edges, 113361 markings/sec, 280 secs
lola: 40474773 markings, 183410582 edges, 128253 markings/sec, 285 secs
lola: 41095082 markings, 186535500 edges, 124062 markings/sec, 290 secs
lola: 41670025 markings, 189642264 edges, 114989 markings/sec, 295 secs
lola: 42256584 markings, 192730546 edges, 117312 markings/sec, 300 secs
lola: 43049363 markings, 196066533 edges, 158556 markings/sec, 305 secs
lola: 43846149 markings, 199403397 edges, 159357 markings/sec, 310 secs
lola: 44585336 markings, 202669771 edges, 147837 markings/sec, 315 secs
lola: 45325461 markings, 205976327 edges, 148025 markings/sec, 320 secs
lola: 45934148 markings, 209082617 edges, 121737 markings/sec, 325 secs
lola: 46595202 markings, 211886434 edges, 132211 markings/sec, 330 secs
lola: 47253664 markings, 214842863 edges, 131692 markings/sec, 335 secs
lola: 47860107 markings, 217795937 edges, 121289 markings/sec, 340 secs
lola: 48384516 markings, 220663362 edges, 104882 markings/sec, 345 secs
lola: 49112129 markings, 223848965 edges, 145523 markings/sec, 350 secs
lola: 49710068 markings, 226716889 edges, 119588 markings/sec, 355 secs
lola: 50236757 markings, 229628533 edges, 105338 markings/sec, 360 secs
lola: 50803578 markings, 232255397 edges, 113364 markings/sec, 365 secs
lola: 51336710 markings, 234948416 edges, 106626 markings/sec, 370 secs
lola: 51847415 markings, 237615095 edges, 102141 markings/sec, 375 secs
lola: 52326703 markings, 240454299 edges, 95858 markings/sec, 380 secs
lola: 52730430 markings, 243132021 edges, 80745 markings/sec, 385 secs
lola: 53277227 markings, 245682706 edges, 109359 markings/sec, 390 secs
lola: 53823010 markings, 248225159 edges, 109157 markings/sec, 395 secs
lola: 54281610 markings, 250788725 edges, 91720 markings/sec, 400 secs
lola: 54781482 markings, 253404586 edges, 99974 markings/sec, 405 secs
lola: 55273404 markings, 256155733 edges, 98384 markings/sec, 410 secs
lola: 55689970 markings, 258850196 edges, 83313 markings/sec, 415 secs
lola: 56088130 markings, 261511471 edges, 79632 markings/sec, 420 secs
lola: 56495054 markings, 264033411 edges, 81385 markings/sec, 425 secs
lola: 57085166 markings, 266564983 edges, 118022 markings/sec, 430 secs
lola: 57633115 markings, 269153095 edges, 109590 markings/sec, 435 secs
lola: 58161989 markings, 271854898 edges, 105775 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 unknown 10 unknown 10 10 10 10 10 10 unknown unknown unknown unknown unknown
lola: memory consumption: 2590988 KB
lola: time consumption: 893 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c18)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 131 markings, 130 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-13 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux15_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux15_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 102 markings, 101 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out4_4)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: 689388 markings, 1632534 edges, 137878 markings/sec, 0 secs
lola: 1272599 markings, 3160141 edges, 116642 markings/sec, 5 secs
lola: 1851874 markings, 4543607 edges, 115855 markings/sec, 10 secs
lola: 2474906 markings, 6077808 edges, 124606 markings/sec, 15 secs
lola: 3082518 markings, 7625163 edges, 121522 markings/sec, 20 secs
lola: 3666551 markings, 9229250 edges, 116807 markings/sec, 25 secs
lola: 4299184 markings, 10860025 edges, 126527 markings/sec, 30 secs
lola: 4935792 markings, 12475660 edges, 127322 markings/sec, 35 secs
lola: 5509885 markings, 13878829 edges, 114819 markings/sec, 40 secs
lola: 6119151 markings, 15444065 edges, 121853 markings/sec, 45 secs
lola: 6701869 markings, 16991615 edges, 116544 markings/sec, 50 secs
lola: 7349473 markings, 18591571 edges, 129521 markings/sec, 55 secs
lola: 7976796 markings, 20176231 edges, 125465 markings/sec, 60 secs
lola: 8600799 markings, 21760895 edges, 124801 markings/sec, 65 secs
lola: 9210975 markings, 23474525 edges, 122035 markings/sec, 70 secs
lola: 9749685 markings, 25110861 edges, 107742 markings/sec, 75 secs
lola: 10307260 markings, 26726949 edges, 111515 markings/sec, 80 secs
lola: 10859524 markings, 28426370 edges, 110453 markings/sec, 85 secs
lola: 11391695 markings, 30131182 edges, 106434 markings/sec, 90 secs
lola: 11928061 markings, 31853133 edges, 107273 markings/sec, 95 secs
lola: 12472400 markings, 33598759 edges, 108868 markings/sec, 100 secs
lola: 13029740 markings, 35335156 edges, 111468 markings/sec, 105 secs
lola: 13564616 markings, 36926593 edges, 106975 markings/sec, 110 secs
lola: 14098066 markings, 38593226 edges, 106690 markings/sec, 115 secs
lola: 14647129 markings, 40388491 edges, 109813 markings/sec, 120 secs
lola: 15241716 markings, 42028577 edges, 118917 markings/sec, 125 secs
lola: 15812025 markings, 43663842 edges, 114062 markings/sec, 130 secs
lola: 16375782 markings, 45440143 edges, 112751 markings/sec, 135 secs
lola: 16946213 markings, 47096172 edges, 114086 markings/sec, 140 secs
lola: 17491845 markings, 48931186 edges, 109126 markings/sec, 145 secs
lola: 18008504 markings, 50781995 edges, 103332 markings/sec, 150 secs
lola: 18519523 markings, 52628963 edges, 102204 markings/sec, 155 secs
lola: 19046183 markings, 54451055 edges, 105332 markings/sec, 160 secs
lola: 19481756 markings, 56563647 edges, 87115 markings/sec, 165 secs
lola: 19945756 markings, 58492288 edges, 92800 markings/sec, 170 secs
lola: 20407394 markings, 60458145 edges, 92328 markings/sec, 175 secs
lola: 20904011 markings, 62330490 edges, 99323 markings/sec, 180 secs
lola: 21401154 markings, 64155587 edges, 99429 markings/sec, 185 secs
lola: 21894628 markings, 65967727 edges, 98695 markings/sec, 190 secs
lola: 22406469 markings, 67749124 edges, 102368 markings/sec, 195 secs
lola: 22844767 markings, 69730636 edges, 87660 markings/sec, 200 secs
lola: 23263633 markings, 71753560 edges, 83773 markings/sec, 205 secs
lola: 23694632 markings, 73706166 edges, 86200 markings/sec, 210 secs
lola: 24109425 markings, 75716322 edges, 82959 markings/sec, 215 secs
lola: 24662144 markings, 77534341 edges, 110544 markings/sec, 220 secs
lola: 25089005 markings, 79613223 edges, 85372 markings/sec, 225 secs
lola: 25541432 markings, 81577399 edges, 90485 markings/sec, 230 secs
lola: 26099488 markings, 83314091 edges, 111611 markings/sec, 235 secs
lola: 26574050 markings, 85236317 edges, 94912 markings/sec, 240 secs
lola: 26995090 markings, 87218136 edges, 84208 markings/sec, 245 secs
lola: 27429032 markings, 89218705 edges, 86788 markings/sec, 250 secs
lola: 27842271 markings, 91394690 edges, 82648 markings/sec, 255 secs
lola: 28255110 markings, 93514290 edges, 82568 markings/sec, 260 secs
lola: 28672644 markings, 95536670 edges, 83507 markings/sec, 265 secs
lola: 29089398 markings, 97636296 edges, 83351 markings/sec, 270 secs
lola: 29521231 markings, 99734930 edges, 86367 markings/sec, 275 secs
lola: 29992193 markings, 101654890 edges, 94192 markings/sec, 280 secs
lola: 30580663 markings, 103073596 edges, 117694 markings/sec, 285 secs
lola: 31185302 markings, 104586192 edges, 120928 markings/sec, 290 secs
lola: 31744344 markings, 106203043 edges, 111808 markings/sec, 295 secs
lola: 32275166 markings, 107868701 edges, 106164 markings/sec, 300 secs
lola: 32758314 markings, 109704819 edges, 96630 markings/sec, 305 secs
lola: 33229300 markings, 111515584 edges, 94197 markings/sec, 310 secs
lola: 33656116 markings, 113418523 edges, 85363 markings/sec, 315 secs
lola: 34088363 markings, 115289651 edges, 86449 markings/sec, 320 secs
lola: 34577918 markings, 117060354 edges, 97911 markings/sec, 325 secs
lola: 35096062 markings, 118725026 edges, 103629 markings/sec, 330 secs
lola: 35608200 markings, 120426765 edges, 102428 markings/sec, 335 secs
lola: 36116646 markings, 122044795 edges, 101689 markings/sec, 340 secs
lola: 36565018 markings, 123970685 edges, 89674 markings/sec, 345 secs
lola: 37116804 markings, 125718536 edges, 110357 markings/sec, 350 secs
lola: 37655839 markings, 127509292 edges, 107807 markings/sec, 355 secs
lola: 38139687 markings, 129352816 edges, 96770 markings/sec, 360 secs
lola: 38675325 markings, 131171720 edges, 107128 markings/sec, 365 secs
lola: 39143603 markings, 133042084 edges, 93656 markings/sec, 370 secs
lola: 39711723 markings, 134651493 edges, 113624 markings/sec, 375 secs
lola: 40195113 markings, 136434383 edges, 96678 markings/sec, 380 secs
lola: 40656734 markings, 138295728 edges, 92324 markings/sec, 385 secs
lola: 41196024 markings, 139849709 edges, 107858 markings/sec, 390 secs
lola: 41650955 markings, 141651590 edges, 90986 markings/sec, 395 secs
lola: 42070591 markings, 143582443 edges, 83927 markings/sec, 400 secs
lola: 42597819 markings, 145109867 edges, 105446 markings/sec, 405 secs
lola: 43019924 markings, 146990390 edges, 84421 markings/sec, 410 secs
lola: 43525553 markings, 148500582 edges, 101126 markings/sec, 415 secs
lola: 43921798 markings, 150359585 edges, 79249 markings/sec, 420 secs
lola: 44424048 markings, 152256443 edges, 100450 markings/sec, 425 secs
lola: 44930151 markings, 154121630 edges, 101221 markings/sec, 430 secs
lola: 45373664 markings, 156062500 edges, 88703 markings/sec, 435 secs
lola: 45930193 markings, 157877220 edges, 111306 markings/sec, 440 secs
lola: 46423123 markings, 159552306 edges, 98586 markings/sec, 445 secs
lola: 46869389 markings, 161269575 edges, 89253 markings/sec, 450 secs
lola: 47408650 markings, 163127138 edges, 107852 markings/sec, 455 secs
lola: 47972853 markings, 164855694 edges, 112841 markings/sec, 460 secs
lola: 48429322 markings, 166515195 edges, 91294 markings/sec, 465 secs
lola: 48880771 markings, 168326997 edges, 90290 markings/sec, 470 secs
lola: 49392042 markings, 170095186 edges, 102254 markings/sec, 475 secs
lola: 49897560 markings, 171743227 edges, 101104 markings/sec, 480 secs
lola: 50378139 markings, 173457641 edges, 96116 markings/sec, 485 secs
lola: 50854541 markings, 175090159 edges, 95280 markings/sec, 490 secs
lola: 51300155 markings, 176766352 edges, 89123 markings/sec, 495 secs
lola: 51764996 markings, 178672594 edges, 92968 markings/sec, 500 secs
lola: 52244240 markings, 180323320 edges, 95849 markings/sec, 505 secs
lola: 52770695 markings, 182107291 edges, 105291 markings/sec, 510 secs
lola: 53316811 markings, 183847192 edges, 109223 markings/sec, 515 secs
lola: 53821239 markings, 185577129 edges, 100886 markings/sec, 520 secs
lola: 54381891 markings, 187100132 edges, 112130 markings/sec, 525 secs
lola: 54975759 markings, 188581805 edges, 118774 markings/sec, 530 secs
lola: 55522616 markings, 190141349 edges, 109371 markings/sec, 535 secs
lola: 56050225 markings, 191675792 edges, 105522 markings/sec, 540 secs
lola: 56574001 markings, 193312107 edges, 104755 markings/sec, 545 secs
lola: 57030149 markings, 195102311 edges, 91230 markings/sec, 550 secs
lola: 57481559 markings, 196946825 edges, 90282 markings/sec, 555 secs
lola: 57949667 markings, 198707391 edges, 93622 markings/sec, 560 secs
lola: 58402378 markings, 200527648 edges, 90542 markings/sec, 565 secs
lola: 58840088 markings, 202350306 edges, 87542 markings/sec, 570 secs
lola: 59264177 markings, 204186761 edges, 84818 markings/sec, 575 secs
lola: 59686683 markings, 206071848 edges, 84501 markings/sec, 580 secs
lola: 60171655 markings, 207853457 edges, 96994 markings/sec, 585 secs
lola: 60761687 markings, 209285631 edges, 118006 markings/sec, 590 secs
lola: 61302392 markings, 210841478 edges, 108141 markings/sec, 595 secs
lola: 61836029 markings, 212401376 edges, 106727 markings/sec, 600 secs
lola: 62319871 markings, 214137479 edges, 96768 markings/sec, 605 secs
lola: 62782563 markings, 215955646 edges, 92538 markings/sec, 610 secs
lola: 63230996 markings, 217744470 edges, 89687 markings/sec, 615 secs
lola: 63658451 markings, 219564509 edges, 85491 markings/sec, 620 secs
lola: 64065125 markings, 221441743 edges, 81335 markings/sec, 625 secs
lola: 64475457 markings, 223290978 edges, 82066 markings/sec, 630 secs
lola: 64874355 markings, 225251223 edges, 79780 markings/sec, 635 secs
lola: 65411054 markings, 226720109 edges, 107340 markings/sec, 640 secs
lola: 65891477 markings, 228321170 edges, 96085 markings/sec, 645 secs
lola: 66345975 markings, 230049268 edges, 90900 markings/sec, 650 secs
lola: 66800368 markings, 231763094 edges, 90879 markings/sec, 655 secs
lola: 67264607 markings, 233406704 edges, 92848 markings/sec, 660 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10 unknown 10 unknown 10 10 10 10 10 10 unknown unknown 10 10 unknown
lola: memory consumption: 2503972 KB
lola: time consumption: 1562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux5_0 + aux5_1 + aux5_4 + aux5_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux5_0 + aux5_1 + aux5_4 + aux5_5)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 11 markings, 10 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-2 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1004 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: processed formula length: 74
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 141 markings, 140 edges
lola: ========================================

FORMULA PermAdmissibility-PT-10-UpperBounds-4 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2008 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7)
lola: processed formula length: 74
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 51 markings, 50 edges

FORMULA PermAdmissibility-PT-10-UpperBounds-0 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
lola: ...considering subproblem: MAX(aux11_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(aux11_0)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PermAdmissibility-PT-10-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: 10
lola: 1118268 markings, 3330198 edges, 223654 markings/sec, 0 secs
lola: 2190357 markings, 6620029 edges, 214418 markings/sec, 5 secs
lola: 3262983 markings, 9932129 edges, 214525 markings/sec, 10 secs
lola: 4210644 markings, 13254032 edges, 189532 markings/sec, 15 secs
lola: 5177767 markings, 16479039 edges, 193425 markings/sec, 20 secs
lola: 6163405 markings, 19809016 edges, 197128 markings/sec, 25 secs
lola: 7167886 markings, 23146887 edges, 200896 markings/sec, 30 secs
lola: 8178594 markings, 26325785 edges, 202142 markings/sec, 35 secs
lola: 9071203 markings, 29329631 edges, 178522 markings/sec, 40 secs
lola: 10084261 markings, 32587574 edges, 202612 markings/sec, 45 secs
lola: 11044519 markings, 35776041 edges, 192052 markings/sec, 50 secs
lola: 12137015 markings, 39028345 edges, 218499 markings/sec, 55 secs
lola: 13045560 markings, 42323512 edges, 181709 markings/sec, 60 secs
lola: 13967479 markings, 45527545 edges, 184384 markings/sec, 65 secs
lola: 14716953 markings, 48816901 edges, 149895 markings/sec, 70 secs
lola: 15699007 markings, 51911590 edges, 196411 markings/sec, 75 secs
lola: 16611906 markings, 55192182 edges, 182580 markings/sec, 80 secs
lola: 17481892 markings, 58363711 edges, 173997 markings/sec, 85 secs
lola: 18271395 markings, 61572927 edges, 157901 markings/sec, 90 secs
lola: 19005046 markings, 64667454 edges, 146730 markings/sec, 95 secs
lola: 19887802 markings, 67912457 edges, 176551 markings/sec, 100 secs
lola: 20743048 markings, 71165668 edges, 171049 markings/sec, 105 secs
lola: 21644766 markings, 74470642 edges, 180344 markings/sec, 110 secs
lola: 22507559 markings, 77790416 edges, 172559 markings/sec, 115 secs
lola: 23368670 markings, 80757708 edges, 172222 markings/sec, 120 secs
lola: 24155624 markings, 83633453 edges, 157391 markings/sec, 125 secs
lola: 24882761 markings, 86467991 edges, 145427 markings/sec, 130 secs
lola: 25776912 markings, 89585536 edges, 178830 markings/sec, 135 secs
lola: 26642550 markings, 92752215 edges, 173128 markings/sec, 140 secs
lola: 27459867 markings, 95962438 edges, 163463 markings/sec, 145 secs
lola: 28293015 markings, 98929991 edges, 166630 markings/sec, 150 secs
lola: 29199750 markings, 102107565 edges, 181347 markings/sec, 155 secs
lola: 29950426 markings, 105178057 edges, 150135 markings/sec, 160 secs
lola: 30794723 markings, 108451346 edges, 168859 markings/sec, 165 secs
lola: 31604552 markings, 111446575 edges, 161966 markings/sec, 170 secs
lola: 32397423 markings, 114476107 edges, 158574 markings/sec, 175 secs
lola: 33327317 markings, 117652955 edges, 185979 markings/sec, 180 secs
lola: 34291195 markings, 120825975 edges, 192776 markings/sec, 185 secs
lola: 35152207 markings, 124013657 edges, 172202 markings/sec, 190 secs
lola: 35967993 markings, 127219451 edges, 163157 markings/sec, 195 secs
lola: 36776135 markings, 130458977 edges, 161628 markings/sec, 200 secs
lola: 37598060 markings, 133688464 edges, 164385 markings/sec, 205 secs
lola: 38356229 markings, 136884059 edges, 151634 markings/sec, 210 secs
lola: 39106129 markings, 140011788 edges, 149980 markings/sec, 215 secs
lola: 39881509 markings, 143205246 edges, 155076 markings/sec, 220 secs
lola: 40582834 markings, 146462094 edges, 140265 markings/sec, 225 secs
lola: 41270274 markings, 149716588 edges, 137488 markings/sec, 230 secs
lola: 42019320 markings, 153018010 edges, 149809 markings/sec, 235 secs
lola: 42816390 markings, 156261668 edges, 159414 markings/sec, 240 secs
lola: 43584593 markings, 159594647 edges, 153641 markings/sec, 245 secs
lola: 44381970 markings, 162923871 edges, 159475 markings/sec, 250 secs
lola: 45223507 markings, 166212563 edges, 168307 markings/sec, 255 secs
lola: 45990606 markings, 169156950 edges, 153420 markings/sec, 260 secs
lola: 46704338 markings, 172179926 edges, 142746 markings/sec, 265 secs
lola: 47374193 markings, 175187203 edges, 133971 markings/sec, 270 secs
lola: 48227688 markings, 178353999 edges, 170699 markings/sec, 275 secs
lola: 49003000 markings, 181542389 edges, 155062 markings/sec, 280 secs
lola: 49722497 markings, 184817997 edges, 143899 markings/sec, 285 secs
lola: 50502209 markings, 187951947 edges, 155942 markings/sec, 290 secs
lola: 51200498 markings, 191171490 edges, 139658 markings/sec, 295 secs
lola: 51880011 markings, 194334978 edges, 135903 markings/sec, 300 secs
lola: 52518629 markings, 197520860 edges, 127724 markings/sec, 305 secs
lola: 53201792 markings, 200767000 edges, 136633 markings/sec, 310 secs
lola: 53826228 markings, 203749731 edges, 124887 markings/sec, 315 secs
lola: 54475375 markings, 206849129 edges, 129829 markings/sec, 320 secs
lola: 55380264 markings, 210021461 edges, 180978 markings/sec, 325 secs
lola: 56161318 markings, 213223252 edges, 156211 markings/sec, 330 secs
lola: 56848379 markings, 216429513 edges, 137412 markings/sec, 335 secs
lola: 57588024 markings, 219721288 edges, 147929 markings/sec, 340 secs
lola: 58396738 markings, 223041334 edges, 161743 markings/sec, 345 secs
lola: 59088709 markings, 226020736 edges, 138394 markings/sec, 350 secs
lola: 59858283 markings, 229229333 edges, 153915 markings/sec, 355 secs
lola: 60577008 markings, 232401424 edges, 143745 markings/sec, 360 secs
lola: 61243110 markings, 235627814 edges, 133220 markings/sec, 365 secs
lola: 62038185 markings, 238828358 edges, 159015 markings/sec, 370 secs
lola: 63048216 markings, 242074698 edges, 202006 markings/sec, 375 secs
lola: 64011310 markings, 245359658 edges, 192619 markings/sec, 380 secs
lola: 64833514 markings, 248686117 edges, 164441 markings/sec, 385 secs
lola: 65739991 markings, 251893599 edges, 181295 markings/sec, 390 secs
lola: 66590000 markings, 255133293 edges, 170002 markings/sec, 395 secs
lola: 67455717 markings, 258387065 edges, 173143 markings/sec, 400 secs
lola: 68314323 markings, 261637848 edges, 171721 markings/sec, 405 secs
lola: 69197894 markings, 264850044 edges, 176714 markings/sec, 410 secs
lola: 70115323 markings, 268079803 edges, 183486 markings/sec, 415 secs
lola: 70968171 markings, 271205690 edges, 170570 markings/sec, 420 secs
lola: 71781430 markings, 274287871 edges, 162652 markings/sec, 425 secs
lola: 72708154 markings, 277433443 edges, 185345 markings/sec, 430 secs
lola: 73539685 markings, 280623228 edges, 166306 markings/sec, 435 secs
lola: 74420213 markings, 283814363 edges, 176106 markings/sec, 440 secs
lola: 75289783 markings, 286914480 edges, 173914 markings/sec, 445 secs
lola: 76125622 markings, 290240360 edges, 167168 markings/sec, 450 secs
lola: 76934687 markings, 293548987 edges, 161813 markings/sec, 455 secs
lola: 77745333 markings, 296810645 edges, 162129 markings/sec, 460 secs
lola: 78542314 markings, 299990033 edges, 159396 markings/sec, 465 secs
lola: 79326009 markings, 303263907 edges, 156739 markings/sec, 470 secs
lola: 80017071 markings, 306545430 edges, 138212 markings/sec, 475 secs
lola: 80690244 markings, 309803694 edges, 134635 markings/sec, 480 secs
lola: 81355892 markings, 313002456 edges, 133130 markings/sec, 485 secs
lola: 82294698 markings, 316120033 edges, 187761 markings/sec, 490 secs
lola: 83115266 markings, 319294707 edges, 164114 markings/sec, 495 secs
lola: 84004016 markings, 322442705 edges, 177750 markings/sec, 500 secs
lola: 84789927 markings, 325463373 edges, 157182 markings/sec, 505 secs
lola: 85496981 markings, 328591937 edges, 141411 markings/sec, 510 secs
lola: 86219276 markings, 331724906 edges, 144459 markings/sec, 515 secs
lola: 87053181 markings, 334818072 edges, 166781 markings/sec, 520 secs
lola: 87840025 markings, 337952209 edges, 157369 markings/sec, 525 secs
lola: 88620255 markings, 341200658 edges, 156046 markings/sec, 530 secs
lola: 89438418 markings, 344430056 edges, 163633 markings/sec, 535 secs
lola: 90227045 markings, 347647397 edges, 157725 markings/sec, 540 secs
lola: 90897146 markings, 350911204 edges, 134020 markings/sec, 545 secs
lola: 91787926 markings, 354173390 edges, 178156 markings/sec, 550 secs
lola: 92640504 markings, 357399879 edges, 170516 markings/sec, 555 secs
lola: 93501139 markings, 360563080 edges, 172127 markings/sec, 560 secs
lola: 94276449 markings, 363819526 edges, 155062 markings/sec, 565 secs
lola: 95085626 markings, 367045292 edges, 161835 markings/sec, 570 secs
lola: 95854387 markings, 370203624 edges, 153752 markings/sec, 575 secs
lola: 96629261 markings, 373447162 edges, 154975 markings/sec, 580 secs
lola: 97512985 markings, 376672413 edges, 176745 markings/sec, 585 secs
lola: 98379854 markings, 379888280 edges, 173374 markings/sec, 590 secs
lola: 99177879 markings, 383167793 edges, 159605 markings/sec, 595 secs
lola: 99973829 markings, 386399183 edges, 159190 markings/sec, 600 secs
lola: 100777638 markings, 389602841 edges, 160762 markings/sec, 605 secs
lola: 101596685 markings, 392868643 edges, 163809 markings/sec, 610 secs
lola: 102393803 markings, 396163663 edges, 159424 markings/sec, 615 secs
lola: 103281087 markings, 399398932 edges, 177457 markings/sec, 620 secs
lola: 104114276 markings, 402470556 edges, 166638 markings/sec, 625 secs
lola: 104903858 markings, 405460103 edges, 157916 markings/sec, 630 secs
lola: 105715879 markings, 408421980 edges, 162404 markings/sec, 635 secs
lola: 106502080 markings, 411465947 edges, 157240 markings/sec, 640 secs
lola: 107208849 markings, 414533477 edges, 141354 markings/sec, 645 secs
lola: 107960252 markings, 417463385 edges, 150281 markings/sec, 650 secs
lola: 108631331 markings, 420230133 edges, 134216 markings/sec, 655 secs
lola: 109380517 markings, 423183752 edges, 149837 markings/sec, 660 secs
lola: 110127656 markings, 426215620 edges, 149428 markings/sec, 665 secs
lola: 110883869 markings, 429205468 edges, 151243 markings/sec, 670 secs
lola: 111625957 markings, 432158671 edges, 148418 markings/sec, 675 secs
lola: 112542223 markings, 435371297 edges, 183253 markings/sec, 680 secs
lola: 113388960 markings, 438554287 edges, 169347 markings/sec, 685 secs
lola: 114257873 markings, 441687574 edges, 173783 markings/sec, 690 secs
lola: 115072894 markings, 444780364 edges, 163004 markings/sec, 695 secs
lola: 115830544 markings, 447955807 edges, 151530 markings/sec, 700 secs
lola: 116566038 markings, 451065135 edges, 147099 markings/sec, 705 secs
lola: 117329450 markings, 454127193 edges, 152682 markings/sec, 710 secs
lola: 118113031 markings, 457210064 edges, 156716 markings/sec, 715 secs
lola: 118874528 markings, 460377549 edges, 152299 markings/sec, 720 secs
lola: 119712378 markings, 463566886 edges, 167570 markings/sec, 725 secs
lola: 120494568 markings, 466754584 edges, 156438 markings/sec, 730 secs
lola: 121322896 markings, 469763417 edges, 165666 markings/sec, 735 secs
lola: 122036337 markings, 472672416 edges, 142688 markings/sec, 740 secs
lola: 122772021 markings, 475598176 edges, 147137 markings/sec, 745 secs
lola: 123656911 markings, 478720805 edges, 176978 markings/sec, 750 secs
lola: 124503448 markings, 481762075 edges, 169307 markings/sec, 755 secs
lola: 125243476 markings, 484804241 edges, 148006 markings/sec, 760 secs
lola: 125856336 markings, 487761915 edges, 122572 markings/sec, 765 secs
lola: 126659176 markings, 490862574 edges, 160568 markings/sec, 770 secs
lola: 127473569 markings, 494020497 edges, 162879 markings/sec, 775 secs
lola: 128261476 markings, 497041301 edges, 157581 markings/sec, 780 secs
lola: 129010654 markings, 500125417 edges, 149836 markings/sec, 785 secs
lola: 129722551 markings, 503256812 edges, 142379 markings/sec, 790 secs
lola: 130404721 markings, 506257055 edges, 136434 markings/sec, 795 secs
lola: 131097070 markings, 509105847 edges, 138470 markings/sec, 800 secs
lola: 131766726 markings, 512004552 edges, 133931 markings/sec, 805 secs
lola: 132383468 markings, 514874712 edges, 123348 markings/sec, 810 secs
lola: 132938580 markings, 517702410 edges, 111022 markings/sec, 815 secs
lola: 133730812 markings, 520714436 edges, 158446 markings/sec, 820 secs
lola: 134419000 markings, 523650200 edges, 137638 markings/sec, 825 secs
lola: 135111400 markings, 526557406 edges, 138480 markings/sec, 830 secs
lola: 135859273 markings, 529690578 edges, 149575 markings/sec, 835 secs
lola: 136590179 markings, 532865472 edges, 146181 markings/sec, 840 secs
lola: 137320445 markings, 535979342 edges, 146053 markings/sec, 845 secs
lola: 138032119 markings, 538893041 edges, 142335 markings/sec, 850 secs
lola: 138766438 markings, 541885374 edges, 146864 markings/sec, 855 secs
lola: 139453031 markings, 544934541 edges, 137319 markings/sec, 860 secs
lola: 140100649 markings, 548047174 edges, 129524 markings/sec, 865 secs
lola: 140649762 markings, 551101267 edges, 109823 markings/sec, 870 secs
lola: 141317304 markings, 554106058 edges, 133508 markings/sec, 875 secs
lola: 141920708 markings, 557088418 edges, 120681 markings/sec, 880 secs
lola: 142685743 markings, 560135038 edges, 153007 markings/sec, 885 secs
lola: 143412964 markings, 563096310 edges, 145444 markings/sec, 890 secs
lola: 144115537 markings, 566115921 edges, 140515 markings/sec, 895 secs
lola: 144788332 markings, 569070297 edges, 134559 markings/sec, 900 secs
lola: 145534168 markings, 572129611 edges, 149167 markings/sec, 905 secs
lola: 146160399 markings, 575165428 edges, 125246 markings/sec, 910 secs
lola: 146955298 markings, 578296385 edges, 158980 markings/sec, 915 secs
lola: 147740927 markings, 581478301 edges, 157126 markings/sec, 920 secs
lola: 148432335 markings, 584648901 edges, 138282 markings/sec, 925 secs
lola: 149129362 markings, 587672241 edges, 139405 markings/sec, 930 secs
lola: 149879738 markings, 590883475 edges, 150075 markings/sec, 935 secs
lola: 150589315 markings, 594066680 edges, 141915 markings/sec, 940 secs
lola: 151317107 markings, 596789534 edges, 145558 markings/sec, 945 secs
lola: 151991173 markings, 599485282 edges, 134813 markings/sec, 950 secs
lola: 152622864 markings, 602186442 edges, 126338 markings/sec, 955 secs
lola: 153215081 markings, 604833492 edges, 118443 markings/sec, 960 secs
lola: 153857828 markings, 607540876 edges, 128549 markings/sec, 965 secs
lola: 154536650 markings, 610365748 edges, 135764 markings/sec, 970 secs
lola: 155097343 markings, 613091438 edges, 112139 markings/sec, 975 secs
lola: 155730083 markings, 615770044 edges, 126548 markings/sec, 980 secs
lola: 156348833 markings, 618483283 edges, 123750 markings/sec, 985 secs
lola: 157126897 markings, 621396309 edges, 155613 markings/sec, 990 secs
lola: 157864980 markings, 624431383 edges, 147617 markings/sec, 995 secs
lola: 158576383 markings, 627457444 edges, 142281 markings/sec, 1000 secs
lola: 159265462 markings, 630477926 edges, 137816 markings/sec, 1005 secs
lola: 159977133 markings, 633506856 edges, 142334 markings/sec, 1010 secs
lola: 160703042 markings, 636591350 edges, 145182 markings/sec, 1015 secs
lola: 161336679 markings, 639636711 edges, 126727 markings/sec, 1020 secs
lola: 162111650 markings, 642791516 edges, 154994 markings/sec, 1025 secs
lola: 162850359 markings, 645944180 edges, 147742 markings/sec, 1030 secs
lola: 163514101 markings, 648730431 edges, 132748 markings/sec, 1035 secs
lola: 164169678 markings, 651576371 edges, 131115 markings/sec, 1040 secs
lola: 165025997 markings, 654763121 edges, 171264 markings/sec, 1045 secs
lola: 165808195 markings, 657990248 edges, 156440 markings/sec, 1050 secs
lola: 166631141 markings, 661211952 edges, 164589 markings/sec, 1055 secs
lola: 167405329 markings, 664312534 edges, 154838 markings/sec, 1060 secs
lola: 168169082 markings, 667418626 edges, 152751 markings/sec, 1065 secs
lola: 168901982 markings, 670589466 edges, 146580 markings/sec, 1070 secs
lola: 169603708 markings, 673588897 edges, 140345 markings/sec, 1075 secs
lola: 170284422 markings, 676781213 edges, 136143 markings/sec, 1080 secs
lola: 170927827 markings, 679804929 edges, 128681 markings/sec, 1085 secs
lola: 171481098 markings, 682916148 edges, 110654 markings/sec, 1090 secs
lola: 172196945 markings, 686124739 edges, 143169 markings/sec, 1095 secs
lola: 172885431 markings, 689241091 edges, 137697 markings/sec, 1100 secs
lola: 173610360 markings, 692476694 edges, 144986 markings/sec, 1105 secs
lola: 174333669 markings, 695710671 edges, 144662 markings/sec, 1110 secs
lola: 175089437 markings, 698769109 edges, 151154 markings/sec, 1115 secs
lola: 175755625 markings, 701662442 edges, 133238 markings/sec, 1120 secs
lola: 176351596 markings, 704500375 edges, 119194 markings/sec, 1125 secs
lola: 177096380 markings, 707594614 edges, 148957 markings/sec, 1130 secs
lola: 177822305 markings, 710686707 edges, 145185 markings/sec, 1135 secs
lola: 178471701 markings, 713840123 edges, 129879 markings/sec, 1140 secs
lola: 179151891 markings, 716843920 edges, 136038 markings/sec, 1145 secs
lola: 179790989 markings, 719950975 edges, 127820 markings/sec, 1150 secs
lola: 180371707 markings, 722924035 edges, 116144 markings/sec, 1155 secs
lola: 180947772 markings, 726005008 edges, 115213 markings/sec, 1160 secs
lola: 181527892 markings, 728950104 edges, 116024 markings/sec, 1165 secs
lola: 182091972 markings, 731872676 edges, 112816 markings/sec, 1170 secs
lola: 182854021 markings, 734902658 edges, 152410 markings/sec, 1175 secs
lola: 183612254 markings, 738024398 edges, 151647 markings/sec, 1180 secs
lola: 184235309 markings, 741138550 edges, 124611 markings/sec, 1185 secs
lola: 184976729 markings, 744342605 edges, 148284 markings/sec, 1190 secs
lola: 185665250 markings, 747285441 edges, 137704 markings/sec, 1195 secs
lola: 186382114 markings, 750380531 edges, 143373 markings/sec, 1200 secs
lola: 187034029 markings, 753439914 edges, 130383 markings/sec, 1205 secs
lola: 187654871 markings, 756491922 edges, 124168 markings/sec, 1210 secs
lola: 188340136 markings, 759462431 edges, 137053 markings/sec, 1215 secs
lola: 189096482 markings, 762615358 edges, 151269 markings/sec, 1220 secs
lola: 189811297 markings, 765585981 edges, 142963 markings/sec, 1225 secs
lola: 190519537 markings, 768644224 edges, 141648 markings/sec, 1230 secs
lola: 191151611 markings, 771678449 edges, 126415 markings/sec, 1235 secs
lola: 191853894 markings, 774700196 edges, 140457 markings/sec, 1240 secs
lola: 192573080 markings, 777674355 edges, 143837 markings/sec, 1245 secs
lola: 193361542 markings, 780805182 edges, 157692 markings/sec, 1250 secs
lola: 194096510 markings, 783846896 edges, 146994 markings/sec, 1255 secs
lola: 194765270 markings, 786914150 edges, 133752 markings/sec, 1260 secs
lola: 195406989 markings, 790028217 edges, 128344 markings/sec, 1265 secs
lola: 196101087 markings, 793185355 edges, 138820 markings/sec, 1270 secs
lola: 196734892 markings, 796021520 edges, 126761 markings/sec, 1275 secs
lola: 197427219 markings, 799092055 edges, 138465 markings/sec, 1280 secs
lola: 198054287 markings, 802071006 edges, 125414 markings/sec, 1285 secs
lola: 198613396 markings, 804987352 edges, 111822 markings/sec, 1290 secs
lola: 199304493 markings, 808015158 edges, 138219 markings/sec, 1295 secs
lola: 200022028 markings, 811132354 edges, 143507 markings/sec, 1300 secs
lola: 200667241 markings, 814132679 edges, 129043 markings/sec, 1305 secs
lola: 201426021 markings, 817153528 edges, 151756 markings/sec, 1310 secs
lola: 202089641 markings, 820077624 edges, 132724 markings/sec, 1315 secs
lola: 202765693 markings, 823219974 edges, 135210 markings/sec, 1320 secs
lola: 203441637 markings, 826264599 edges, 135189 markings/sec, 1325 secs
lola: 204039091 markings, 829260489 edges, 119491 markings/sec, 1330 secs
lola: 204692185 markings, 832324416 edges, 130619 markings/sec, 1335 secs
lola: 205368162 markings, 835390492 edges, 135195 markings/sec, 1340 secs
lola: 206052047 markings, 838443832 edges, 136777 markings/sec, 1345 secs
lola: 206777380 markings, 841494234 edges, 145067 markings/sec, 1350 secs
lola: 207358102 markings, 844238990 edges, 116144 markings/sec, 1355 secs
lola: 208028382 markings, 847077640 edges, 134056 markings/sec, 1360 secs
lola: 208667872 markings, 850132178 edges, 127898 markings/sec, 1365 secs
lola: 209362306 markings, 853178410 edges, 138887 markings/sec, 1370 secs
lola: 210084865 markings, 856282194 edges, 144512 markings/sec, 1375 secs
lola: 210700617 markings, 859368497 edges, 123150 markings/sec, 1380 secs
lola: 211338812 markings, 862485948 edges, 127639 markings/sec, 1385 secs
lola: 212002307 markings, 865554355 edges, 132699 markings/sec, 1390 secs
lola: 212618060 markings, 868488070 edges, 123151 markings/sec, 1395 secs
lola: 213228269 markings, 871480805 edges, 122042 markings/sec, 1400 secs
lola: 213913464 markings, 874705718 edges, 137039 markings/sec, 1405 secs
lola: 214580353 markings, 877859072 edges, 133378 markings/sec, 1410 secs
lola: 215172635 markings, 881010927 edges, 118456 markings/sec, 1415 secs
lola: 215697139 markings, 884060977 edges, 104901 markings/sec, 1420 secs
lola: 216263341 markings, 887105973 edges, 113240 markings/sec, 1425 secs
lola: 216817017 markings, 890221154 edges, 110735 markings/sec, 1430 secs
lola: 217389839 markings, 893450988 edges, 114564 markings/sec, 1435 secs
lola: 218039383 markings, 896491033 edges, 129909 markings/sec, 1440 secs
lola: 218610225 markings, 899603010 edges, 114168 markings/sec, 1445 secs
lola: 219258060 markings, 902811093 edges, 129567 markings/sec, 1450 secs
lola: 219863419 markings, 905901652 edges, 121072 markings/sec, 1455 secs
lola: 220484486 markings, 909077267 edges, 124213 markings/sec, 1460 secs
lola: 221101818 markings, 912046733 edges, 123466 markings/sec, 1465 secs
lola: 221708243 markings, 914926833 edges, 121285 markings/sec, 1470 secs
lola: 222221533 markings, 917739589 edges, 102658 markings/sec, 1475 secs
lola: 222763511 markings, 920622502 edges, 108396 markings/sec, 1480 secs
lola: 223389699 markings, 923656614 edges, 125238 markings/sec, 1485 secs
lola: 224036070 markings, 926717836 edges, 129274 markings/sec, 1490 secs
lola: 224601266 markings, 929809013 edges, 113039 markings/sec, 1495 secs
lola: 225203703 markings, 932991347 edges, 120487 markings/sec, 1500 secs
lola: 225787770 markings, 935942429 edges, 116813 markings/sec, 1505 secs
lola: 226351566 markings, 939035183 edges, 112759 markings/sec, 1510 secs
lola: 226880927 markings, 942048427 edges, 105872 markings/sec, 1515 secs
lola: 227412319 markings, 945028205 edges, 106278 markings/sec, 1520 secs
lola: 227923600 markings, 948051632 edges, 102256 markings/sec, 1525 secs
lola: 228429957 markings, 950929314 edges, 101271 markings/sec, 1530 secs
lola: 228893525 markings, 953575489 edges, 92714 markings/sec, 1535 secs
lola: 229376415 markings, 956299042 edges, 96578 markings/sec, 1540 secs
lola: 229894035 markings, 959258069 edges, 103524 markings/sec, 1545 secs
lola: 230474174 markings, 961998992 edges, 116028 markings/sec, 1550 secs
lola: 231059117 markings, 964930967 edges, 116989 markings/sec, 1555 secs
lola: 231622122 markings, 967625420 edges, 112601 markings/sec, 1560 secs
lola: 232218548 markings, 970481180 edges, 119285 markings/sec, 1565 secs
lola: 232786573 markings, 973437874 edges, 113605 markings/sec, 1570 secs
lola: 233327537 markings, 976294159 edges, 108193 markings/sec, 1575 secs
lola: 233824984 markings, 979392462 edges, 99489 markings/sec, 1580 secs
lola: 234413267 markings, 982314156 edges, 117657 markings/sec, 1585 secs
lola: 234978214 markings, 985124019 edges, 112989 markings/sec, 1590 secs
lola: 235517349 markings, 988085891 edges, 107827 markings/sec, 1595 secs
lola: 236050699 markings, 990892385 edges, 106670 markings/sec, 1600 secs
lola: 236574871 markings, 993860930 edges, 104834 markings/sec, 1605 secs
lola: 237160707 markings, 996885233 edges, 117167 markings/sec, 1610 secs
lola: 237711866 markings, 999945811 edges, 110232 markings/sec, 1615 secs
lola: 238283804 markings, 1002955302 edges, 114388 markings/sec, 1620 secs
lola: 238845897 markings, 1005926149 edges, 112419 markings/sec, 1625 secs
lola: 239366018 markings, 1009053542 edges, 104024 markings/sec, 1630 secs
lola: 240193283 markings, 1012216255 edges, 165453 markings/sec, 1635 secs
lola: 241122336 markings, 1015414563 edges, 185811 markings/sec, 1640 secs
lola: 242046825 markings, 1018514565 edges, 184898 markings/sec, 1645 secs
lola: 242969579 markings, 1021657146 edges, 184551 markings/sec, 1650 secs
lola: 243814489 markings, 1024931050 edges, 168982 markings/sec, 1655 secs
lola: 244652370 markings, 1028119750 edges, 167576 markings/sec, 1660 secs
lola: 245354430 markings, 1031361677 edges, 140412 markings/sec, 1665 secs
lola: 246144244 markings, 1034480868 edges, 157963 markings/sec, 1670 secs
lola: 246919769 markings, 1037544942 edges, 155105 markings/sec, 1675 secs
lola: 247746681 markings, 1040646291 edges, 165382 markings/sec, 1680 secs
lola: 248508547 markings, 1043752188 edges, 152373 markings/sec, 1685 secs
lola: 249178836 markings, 1046844295 edges, 134058 markings/sec, 1690 secs
lola: 250010160 markings, 1050019910 edges, 166265 markings/sec, 1695 secs
lola: 250784051 markings, 1053207415 edges, 154778 markings/sec, 1700 secs
lola: 251507771 markings, 1056470724 edges, 144744 markings/sec, 1705 secs
lola: 252395586 markings, 1059580668 edges, 177563 markings/sec, 1710 secs
lola: 253153297 markings, 1062650696 edges, 151542 markings/sec, 1715 secs
lola: 253905318 markings, 1065776899 edges, 150404 markings/sec, 1720 secs
lola: 254750099 markings, 1068906663 edges, 168956 markings/sec, 1725 secs
lola: 255499745 markings, 1071932456 edges, 149929 markings/sec, 1730 secs
lola: 256296246 markings, 1075071621 edges, 159300 markings/sec, 1735 secs
lola: 257059141 markings, 1078188459 edges, 152579 markings/sec, 1740 secs
lola: 257947813 markings, 1081247529 edges, 177734 markings/sec, 1745 secs
lola: 258744294 markings, 1084352147 edges, 159296 markings/sec, 1750 secs
lola: 259446185 markings, 1087190000 edges, 140378 markings/sec, 1755 secs
lola: 260135488 markings, 1090059507 edges, 137861 markings/sec, 1760 secs
lola: 260883057 markings, 1093054286 edges, 149514 markings/sec, 1765 secs
lola: 261580754 markings, 1095875701 edges, 139539 markings/sec, 1770 secs
lola: 262432994 markings, 1098881498 edges, 170448 markings/sec, 1775 secs
lola: 263287569 markings, 1102005138 edges, 170915 markings/sec, 1780 secs
lola: 264020147 markings, 1105054142 edges, 146516 markings/sec, 1785 secs
lola: 264749194 markings, 1108066483 edges, 145809 markings/sec, 1790 secs
lola: 265513544 markings, 1111195481 edges, 152870 markings/sec, 1795 secs
lola: 266303654 markings, 1114264939 edges, 158022 markings/sec, 1800 secs
lola: 267120355 markings, 1117319949 edges, 163340 markings/sec, 1805 secs
lola: 267813583 markings, 1120191055 edges, 138646 markings/sec, 1810 secs
lola: 268618938 markings, 1123219142 edges, 161071 markings/sec, 1815 secs
lola: 269462756 markings, 1126472513 edges, 168764 markings/sec, 1820 secs
lola: 270222537 markings, 1129769344 edges, 151956 markings/sec, 1825 secs
lola: 270958520 markings, 1132947679 edges, 147197 markings/sec, 1830 secs
lola: 271675082 markings, 1136076942 edges, 143312 markings/sec, 1835 secs
lola: 272358021 markings, 1139254314 edges, 136588 markings/sec, 1840 secs
lola: 273028848 markings, 1142509550 edges, 134165 markings/sec, 1845 secs
lola: 273798507 markings, 1145681293 edges, 153932 markings/sec, 1850 secs
lola: 274532697 markings, 1148867354 edges, 146838 markings/sec, 1855 secs
lola: 275254248 markings, 1152015219 edges, 144310 markings/sec, 1860 secs
lola: 275983913 markings, 1155263505 edges, 145933 markings/sec, 1865 secs
lola: 276721717 markings, 1158372796 edges, 147561 markings/sec, 1870 secs
lola: 277382006 markings, 1161378972 edges, 132058 markings/sec, 1875 secs
lola: 278089869 markings, 1164382667 edges, 141573 markings/sec, 1880 secs
lola: 278854408 markings, 1167579221 edges, 152908 markings/sec, 1885 secs
lola: 279538804 markings, 1170703015 edges, 136879 markings/sec, 1890 secs
lola: 280276371 markings, 1173860076 edges, 147513 markings/sec, 1895 secs
lola: 280964585 markings, 1176805387 edges, 137643 markings/sec, 1900 secs
lola: 281626411 markings, 1180084767 edges, 132365 markings/sec, 1905 secs
lola: 282229222 markings, 1183213636 edges, 120562 markings/sec, 1910 secs
lola: 282835104 markings, 1186392178 edges, 121176 markings/sec, 1915 secs
lola: 283444369 markings, 1189512017 edges, 121853 markings/sec, 1920 secs
lola: 284014626 markings, 1192638632 edges, 114051 markings/sec, 1925 secs
lola: 284589286 markings, 1195662989 edges, 114932 markings/sec, 1930 secs
lola: 285181735 markings, 1198715491 edges, 118490 markings/sec, 1935 secs
lola: 285859227 markings, 1201756709 edges, 135498 markings/sec, 1940 secs
lola: 286730620 markings, 1204900738 edges, 174279 markings/sec, 1945 secs
lola: 287579336 markings, 1207922391 edges, 169743 markings/sec, 1950 secs
lola: 288368513 markings, 1211097807 edges, 157835 markings/sec, 1955 secs
lola: 289125254 markings, 1214193200 edges, 151348 markings/sec, 1960 secs
lola: 289846014 markings, 1217162510 edges, 144152 markings/sec, 1965 secs
lola: 290552829 markings, 1220125314 edges, 141363 markings/sec, 1970 secs
lola: 291158355 markings, 1223032052 edges, 121105 markings/sec, 1975 secs
lola: 291879322 markings, 1226109957 edges, 144193 markings/sec, 1980 secs
lola: 292663638 markings, 1229285204 edges, 156863 markings/sec, 1985 secs
lola: 293478015 markings, 1232423318 edges, 162875 markings/sec, 1990 secs
lola: 294266086 markings, 1235403988 edges, 157614 markings/sec, 1995 secs
lola: 295048656 markings, 1238492010 edges, 156514 markings/sec, 2000 secs
lola: time limit reached - aborting
lola:
preliminary result: 20 10 20 10 10 10 10 10 10 10 10 unknown unknown 10 10 unknown
lola:
preliminary result: 20 10 20 10 10 10 10 10 10 10 10 unknown unknown 10 10 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 20 10 20 10 10 10 10 10 10 10 10 unknown unknown 10 10 unknown
lola: memory consumption: 19220 KB
lola: time consumption: 3570 seconds

BK_STOP 1553042659699

--------------------
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="PermAdmissibility-PT-10"
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 PermAdmissibility-PT-10, 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 r110-oct2-155272242300148"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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