fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r118-blw7-149441649800038
Last Updated
June 27, 2017

About the Execution of LoLA for S_HypertorusGrid-PT-d3k3p2b06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9375.220 3540253.00 3550461.00 212.60 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

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)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_HypertorusGrid-PT-d3k3p2b06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649800038
=====================================================================


--------------------
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 HypertorusGrid-PT-d3k3p2b06-UpperBounds-0
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-1
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-10
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-11
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-12
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-13
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-14
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-15
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-2
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-3
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-4
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-5
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-6
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-7
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-8
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496348939017


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_HypertorusGrid-PT-d3k3p2b06: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_HypertorusGrid-PT-d3k3p2b06: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_HypertorusGrid-PT-d3k3p2b06 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1485/65536 symbol table entries, 20 collisions
lola: preprocessing...
lola: finding significant places
lola: 513 places, 972 transitions, 323 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1161 transition conflict sets
lola: TASK
lola: reading formula from HypertorusGrid-PT-d3k3p2b06-UpperBounds.task
lola: MAX(pbl_2_3_3) : MAX(pbl_2_1_2) : MAX(pil_d1_n1_3_2_3) : MAX(pb_d2_n1_3_3_2) : MAX(pb_d3_n1_1_1_1) : MAX(pi_d3_n1_3_1_1) : MAX(pi_d3_n1_1_1_1) : MAX(pb_d3_n2_3_1_3) : MAX(pb_d2_n2_1_2_1) : MAX(pi_d2_n1_3_3_1) : MAX(pi_d3_n1_1_3_1) : MAX(pi_d1_n1_2_1_1) : MAX(pb_d3_n2_3_2_3) : MAX(pi_d3_n1_3_1_1) : MAX(pb_d3_n2_2_2_1) : MAX(pb_d2_n1_1_3_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_2_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 243073 markings, 987037 edges, 48615 markings/sec, 0 secs
lola: 448527 markings, 1879758 edges, 41091 markings/sec, 5 secs
lola: 532908 markings, 3011499 edges, 16876 markings/sec, 10 secs
lola: 729739 markings, 4172721 edges, 39366 markings/sec, 15 secs
lola: 931397 markings, 5050445 edges, 40332 markings/sec, 20 secs
lola: 988948 markings, 6269779 edges, 11510 markings/sec, 25 secs
lola: 1164129 markings, 7278703 edges, 35036 markings/sec, 30 secs
lola: 1335102 markings, 8162308 edges, 34195 markings/sec, 35 secs
lola: 1449560 markings, 9102740 edges, 22892 markings/sec, 40 secs
lola: 1539595 markings, 10206544 edges, 18007 markings/sec, 45 secs
lola: 1727784 markings, 11086053 edges, 37638 markings/sec, 50 secs
lola: 1884908 markings, 11871623 edges, 31425 markings/sec, 55 secs
lola: 1922356 markings, 12933219 edges, 7490 markings/sec, 60 secs
lola: 2083912 markings, 13867304 edges, 32311 markings/sec, 65 secs
lola: 2244936 markings, 14670682 edges, 32205 markings/sec, 70 secs
lola: 2328662 markings, 15497359 edges, 16745 markings/sec, 75 secs
lola: 2411891 markings, 16540656 edges, 16646 markings/sec, 80 secs
lola: 2588495 markings, 17359708 edges, 35321 markings/sec, 85 secs
lola: 2742208 markings, 18071058 edges, 30743 markings/sec, 90 secs
lola: 2778140 markings, 19144428 edges, 7186 markings/sec, 95 secs
lola: 2979387 markings, 20152109 edges, 40249 markings/sec, 100 secs
lola: 3201418 markings, 21214792 edges, 44406 markings/sec, 105 secs
lola: 3374482 markings, 21948710 edges, 34613 markings/sec, 110 secs
lola: 3471519 markings, 22873973 edges, 19407 markings/sec, 115 secs
lola: 3592575 markings, 23863217 edges, 24211 markings/sec, 120 secs
lola: 3659567 markings, 24955463 edges, 13398 markings/sec, 125 secs
lola: 3829307 markings, 25919346 edges, 33948 markings/sec, 130 secs
lola: 3999964 markings, 26657965 edges, 34131 markings/sec, 135 secs
lola: 4061765 markings, 27632220 edges, 12360 markings/sec, 140 secs
lola: 4190763 markings, 28660987 edges, 25800 markings/sec, 145 secs
lola: 4347966 markings, 29446319 edges, 31441 markings/sec, 150 secs
lola: 4461647 markings, 30229949 edges, 22736 markings/sec, 155 secs
lola: 4538186 markings, 31437975 edges, 15308 markings/sec, 160 secs
lola: 4747064 markings, 32444140 edges, 41776 markings/sec, 165 secs
lola: 4957457 markings, 33446712 edges, 42079 markings/sec, 170 secs
lola: 5130525 markings, 34263999 edges, 34614 markings/sec, 175 secs
lola: 5196432 markings, 35410240 edges, 13181 markings/sec, 180 secs
lola: 5324076 markings, 36310739 edges, 25529 markings/sec, 185 secs
lola: 5434219 markings, 37491181 edges, 22029 markings/sec, 190 secs
lola: 5612011 markings, 38245915 edges, 35558 markings/sec, 195 secs
lola: 5709483 markings, 39005699 edges, 19494 markings/sec, 200 secs
lola: 5791639 markings, 40051044 edges, 16431 markings/sec, 205 secs
lola: 5976102 markings, 40858719 edges, 36893 markings/sec, 210 secs
lola: 6085888 markings, 41770010 edges, 21957 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 414973 markings, 773865 edges, 82995 markings/sec, 0 secs
lola: 785054 markings, 1472309 edges, 74016 markings/sec, 5 secs
lola: 1114346 markings, 2062403 edges, 65858 markings/sec, 10 secs
lola: 1393847 markings, 2622917 edges, 55900 markings/sec, 15 secs
lola: 1560103 markings, 3681518 edges, 33251 markings/sec, 20 secs
lola: 1929849 markings, 4403253 edges, 73949 markings/sec, 25 secs
lola: 2280945 markings, 5070191 edges, 70219 markings/sec, 30 secs
lola: 2576285 markings, 5570630 edges, 59068 markings/sec, 35 secs
lola: 2842433 markings, 6320830 edges, 53230 markings/sec, 40 secs
lola: 3095676 markings, 7332351 edges, 50649 markings/sec, 45 secs
lola: 3477201 markings, 8081457 edges, 76305 markings/sec, 50 secs
lola: 3833037 markings, 8704829 edges, 71167 markings/sec, 55 secs
lola: 4154177 markings, 9325824 edges, 64228 markings/sec, 60 secs
lola: 4341626 markings, 10435994 edges, 37490 markings/sec, 65 secs
lola: 4715697 markings, 11182518 edges, 74814 markings/sec, 70 secs
lola: 5066253 markings, 11809186 edges, 70111 markings/sec, 75 secs
lola: 5377661 markings, 12369458 edges, 62282 markings/sec, 80 secs
lola: 5561381 markings, 13350147 edges, 36744 markings/sec, 85 secs
lola: 5865618 markings, 14073031 edges, 60847 markings/sec, 90 secs
lola: 6184819 markings, 14694741 edges, 63840 markings/sec, 95 secs
lola: 6480217 markings, 15203789 edges, 59080 markings/sec, 100 secs
lola: 6762913 markings, 15744758 edges, 56539 markings/sec, 105 secs
lola: 6868697 markings, 16682609 edges, 21157 markings/sec, 110 secs
lola: 7221748 markings, 17392758 edges, 70610 markings/sec, 115 secs
lola: 7550056 markings, 18029760 edges, 65662 markings/sec, 120 secs
lola: 7842423 markings, 18515781 edges, 58473 markings/sec, 125 secs
lola: 8103313 markings, 19047784 edges, 52178 markings/sec, 130 secs
lola: 8278558 markings, 20124426 edges, 35049 markings/sec, 135 secs
lola: 8631207 markings, 20796411 edges, 70530 markings/sec, 140 secs
lola: 8962262 markings, 21395381 edges, 66211 markings/sec, 145 secs
lola: 9237098 markings, 21904828 edges, 54967 markings/sec, 150 secs
lola: 9389917 markings, 22667112 edges, 30564 markings/sec, 155 secs
lola: 9629494 markings, 23423751 edges, 47915 markings/sec, 160 secs
lola: 9946700 markings, 24027724 edges, 63441 markings/sec, 165 secs
lola: 10227869 markings, 24520556 edges, 56234 markings/sec, 170 secs
lola: 10498637 markings, 25038064 edges, 54154 markings/sec, 175 secs
lola: 10635754 markings, 26053710 edges, 27423 markings/sec, 180 secs
lola: 11006529 markings, 26764792 edges, 74155 markings/sec, 185 secs
lola: 11338316 markings, 27372280 edges, 66357 markings/sec, 190 secs
lola: 11651352 markings, 27947456 edges, 62607 markings/sec, 195 secs
lola: 11814261 markings, 29025297 edges, 32582 markings/sec, 200 secs
lola: 12166486 markings, 29694896 edges, 70445 markings/sec, 205 secs
lola: 12469362 markings, 30256151 edges, 60575 markings/sec, 210 secs
lola: 12734854 markings, 30727305 edges, 53098 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d1_n1_3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 349247 markings, 773922 edges, 69849 markings/sec, 0 secs
lola: 578695 markings, 1639996 edges, 45890 markings/sec, 5 secs
lola: 698170 markings, 2599604 edges, 23895 markings/sec, 10 secs
lola: 798954 markings, 3688251 edges, 20157 markings/sec, 15 secs
lola: 1005094 markings, 4500621 edges, 41228 markings/sec, 20 secs
lola: 1152936 markings, 5304912 edges, 29568 markings/sec, 25 secs
lola: 1205341 markings, 6412518 edges, 10481 markings/sec, 30 secs
lola: 1409046 markings, 7275701 edges, 40741 markings/sec, 35 secs
lola: 1598189 markings, 8139689 edges, 37829 markings/sec, 40 secs
lola: 1665362 markings, 9380763 edges, 13435 markings/sec, 45 secs
lola: 1875615 markings, 10231883 edges, 42051 markings/sec, 50 secs
lola: 2034419 markings, 11018518 edges, 31761 markings/sec, 55 secs
lola: 2064417 markings, 12075022 edges, 6000 markings/sec, 60 secs
lola: 2283082 markings, 12986476 edges, 43733 markings/sec, 65 secs
lola: 2460987 markings, 13831367 edges, 35581 markings/sec, 70 secs
lola: 2538369 markings, 15084571 edges, 15476 markings/sec, 75 secs
lola: 2731051 markings, 15850966 edges, 38536 markings/sec, 80 secs
lola: 2878889 markings, 16715263 edges, 29568 markings/sec, 85 secs
lola: 2959496 markings, 17885244 edges, 16121 markings/sec, 90 secs
lola: 3175635 markings, 18690756 edges, 43228 markings/sec, 95 secs
lola: 3287452 markings, 19645662 edges, 22363 markings/sec, 100 secs
lola: 3410670 markings, 20798074 edges, 24644 markings/sec, 105 secs
lola: 3602425 markings, 21469304 edges, 38351 markings/sec, 110 secs
lola: 3686430 markings, 22361244 edges, 16801 markings/sec, 115 secs
lola: 3790116 markings, 23416413 edges, 20737 markings/sec, 120 secs
lola: 3972775 markings, 24046444 edges, 36532 markings/sec, 125 secs
lola: 4076141 markings, 24908912 edges, 20673 markings/sec, 130 secs
lola: 4134948 markings, 25827039 edges, 11761 markings/sec, 135 secs
lola: 4291559 markings, 26460206 edges, 31322 markings/sec, 140 secs
lola: 4450779 markings, 27060984 edges, 31844 markings/sec, 145 secs
lola: 4458328 markings, 28190967 edges, 1510 markings/sec, 150 secs
lola: 4651117 markings, 28978008 edges, 38558 markings/sec, 155 secs
lola: 4827899 markings, 29751021 edges, 35356 markings/sec, 160 secs
lola: 4847899 markings, 30776794 edges, 4000 markings/sec, 165 secs
lola: 5048651 markings, 31558339 edges, 40150 markings/sec, 170 secs
lola: 5223812 markings, 32304039 edges, 35032 markings/sec, 175 secs
lola: 5249918 markings, 33435209 edges, 5221 markings/sec, 180 secs
lola: 5440065 markings, 34165046 edges, 38029 markings/sec, 185 secs
lola: 5574261 markings, 34973025 edges, 26839 markings/sec, 190 secs
lola: 5628771 markings, 35974730 edges, 10902 markings/sec, 195 secs
lola: 5801186 markings, 36636778 edges, 34483 markings/sec, 200 secs
lola: 5944190 markings, 37379638 edges, 28601 markings/sec, 205 secs
lola: 5987048 markings, 38435322 edges, 8572 markings/sec, 210 secs
lola: 6167413 markings, 39104296 edges, 36073 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n1_3_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 1034489 markings, 1040095 edges, 206898 markings/sec, 0 secs
lola: 2023892 markings, 2032722 edges, 197881 markings/sec, 5 secs
lola: 3113022 markings, 3129709 edges, 217826 markings/sec, 10 secs
lola: 4009724 markings, 4085315 edges, 179340 markings/sec, 15 secs
lola: 4895958 markings, 5039709 edges, 177247 markings/sec, 20 secs
lola: 5690550 markings, 5888278 edges, 158918 markings/sec, 25 secs
lola: 6570501 markings, 6838216 edges, 175990 markings/sec, 30 secs
lola: 7371474 markings, 7695977 edges, 160195 markings/sec, 35 secs
lola: 8301412 markings, 8704701 edges, 185988 markings/sec, 40 secs
lola: 9251931 markings, 9733479 edges, 190104 markings/sec, 45 secs
lola: 10193128 markings, 10749612 edges, 188239 markings/sec, 50 secs
lola: 11011306 markings, 11622523 edges, 163636 markings/sec, 55 secs
lola: 11787610 markings, 12465450 edges, 155261 markings/sec, 60 secs
lola: 12577727 markings, 13335757 edges, 158023 markings/sec, 65 secs
lola: 13407502 markings, 14201558 edges, 165955 markings/sec, 70 secs
lola: 14157680 markings, 14992669 edges, 150036 markings/sec, 75 secs
lola: 14827126 markings, 15704663 edges, 133889 markings/sec, 80 secs
lola: 15567978 markings, 16492870 edges, 148170 markings/sec, 85 secs
lola: 16336698 markings, 17311926 edges, 153744 markings/sec, 90 secs
lola: 17036213 markings, 18066116 edges, 139903 markings/sec, 95 secs
lola: 17743891 markings, 18836605 edges, 141536 markings/sec, 100 secs
lola: 18376646 markings, 19556035 edges, 126551 markings/sec, 105 secs
lola: 18738675 markings, 20486983 edges, 72406 markings/sec, 110 secs
lola: 19394357 markings, 21189922 edges, 131136 markings/sec, 115 secs
lola: 20118406 markings, 21967379 edges, 144810 markings/sec, 120 secs
lola: 20777462 markings, 22665560 edges, 131811 markings/sec, 125 secs
lola: 21462623 markings, 23399662 edges, 137032 markings/sec, 130 secs
lola: 22256650 markings, 24258418 edges, 158805 markings/sec, 135 secs
lola: 23062558 markings, 25132848 edges, 161182 markings/sec, 140 secs
lola: 23945028 markings, 26084799 edges, 176494 markings/sec, 145 secs
lola: 24810849 markings, 27022250 edges, 173164 markings/sec, 150 secs
lola: 25666598 markings, 27948226 edges, 171150 markings/sec, 155 secs
lola: 26413850 markings, 28746869 edges, 149450 markings/sec, 160 secs
lola: 27190879 markings, 29591592 edges, 155406 markings/sec, 165 secs
lola: 27996341 markings, 30465985 edges, 161092 markings/sec, 170 secs
lola: 28761254 markings, 31264634 edges, 152983 markings/sec, 175 secs
lola: 29467029 markings, 32008820 edges, 141155 markings/sec, 180 secs
lola: 30121973 markings, 32705971 edges, 130989 markings/sec, 185 secs
lola: 30800473 markings, 33426303 edges, 135700 markings/sec, 190 secs
lola: 31512881 markings, 34185744 edges, 142482 markings/sec, 195 secs
lola: 32220831 markings, 34946334 edges, 141590 markings/sec, 200 secs
lola: 32927149 markings, 35713815 edges, 141264 markings/sec, 205 secs
lola: 33638834 markings, 36509951 edges, 142337 markings/sec, 210 secs
lola: 33992097 markings, 37395395 edges, 70653 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 562132 markings, 854799 edges, 112426 markings/sec, 0 secs
lola: 1084228 markings, 1714141 edges, 104419 markings/sec, 5 secs
lola: 1610262 markings, 2586488 edges, 105207 markings/sec, 10 secs
lola: 2093677 markings, 3298248 edges, 96683 markings/sec, 15 secs
lola: 2554729 markings, 4002912 edges, 92210 markings/sec, 20 secs
lola: 2751213 markings, 5066014 edges, 39297 markings/sec, 25 secs
lola: 3186792 markings, 5876060 edges, 87116 markings/sec, 30 secs
lola: 3683029 markings, 6676693 edges, 99247 markings/sec, 35 secs
lola: 4141150 markings, 7434453 edges, 91624 markings/sec, 40 secs
lola: 4558245 markings, 8136451 edges, 83419 markings/sec, 45 secs
lola: 5001186 markings, 8764756 edges, 88588 markings/sec, 50 secs
lola: 5400778 markings, 9389698 edges, 79918 markings/sec, 55 secs
lola: 5558346 markings, 10327412 edges, 31514 markings/sec, 60 secs
lola: 5934026 markings, 11125002 edges, 75136 markings/sec, 65 secs
lola: 6379679 markings, 11846029 edges, 89131 markings/sec, 70 secs
lola: 6828452 markings, 12586644 edges, 89755 markings/sec, 75 secs
lola: 7247016 markings, 13213202 edges, 83713 markings/sec, 80 secs
lola: 7648863 markings, 13818841 edges, 80369 markings/sec, 85 secs
lola: 7912071 markings, 14638062 edges, 52642 markings/sec, 90 secs
lola: 8193179 markings, 15554894 edges, 56222 markings/sec, 95 secs
lola: 8643603 markings, 16304037 edges, 90085 markings/sec, 100 secs
lola: 9142972 markings, 17109965 edges, 99874 markings/sec, 105 secs
lola: 9563000 markings, 17799256 edges, 84006 markings/sec, 110 secs
lola: 9984253 markings, 18401222 edges, 84251 markings/sec, 115 secs
lola: 10372244 markings, 19025775 edges, 77598 markings/sec, 120 secs
lola: 10496067 markings, 20094950 edges, 24765 markings/sec, 125 secs
lola: 11021592 markings, 20942502 edges, 105105 markings/sec, 130 secs
lola: 11526622 markings, 21775414 edges, 101006 markings/sec, 135 secs
lola: 12007755 markings, 22564241 edges, 96227 markings/sec, 140 secs
lola: 12455414 markings, 23225370 edges, 89532 markings/sec, 145 secs
lola: 12866074 markings, 23869228 edges, 82132 markings/sec, 150 secs
lola: 12997334 markings, 24844951 edges, 26252 markings/sec, 155 secs
lola: 13487655 markings, 25745969 edges, 98064 markings/sec, 160 secs
lola: 14033140 markings, 26647267 edges, 109097 markings/sec, 165 secs
lola: 14511300 markings, 27435394 edges, 95632 markings/sec, 170 secs
lola: 14998806 markings, 28140976 edges, 97501 markings/sec, 175 secs
lola: 15386278 markings, 28963945 edges, 77494 markings/sec, 180 secs
lola: 15556943 markings, 29951688 edges, 34133 markings/sec, 185 secs
lola: 15997439 markings, 30672244 edges, 88099 markings/sec, 190 secs
lola: 16467727 markings, 31446484 edges, 94058 markings/sec, 195 secs
lola: 16881361 markings, 32137782 edges, 82727 markings/sec, 200 secs
lola: 17307640 markings, 32735530 edges, 85256 markings/sec, 205 secs
lola: 17706493 markings, 33363365 edges, 79771 markings/sec, 210 secs
lola: 17825050 markings, 34377879 edges, 23711 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d3_n1_3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 964469 markings, 978453 edges, 192894 markings/sec, 0 secs
lola: 1890344 markings, 1939582 edges, 185175 markings/sec, 5 secs
lola: 2736771 markings, 2828993 edges, 169285 markings/sec, 10 secs
lola: 3609732 markings, 3733000 edges, 174592 markings/sec, 15 secs
lola: 4484738 markings, 4650753 edges, 175001 markings/sec, 20 secs
lola: 5342185 markings, 5569831 edges, 171489 markings/sec, 25 secs
lola: 6155783 markings, 6396685 edges, 162720 markings/sec, 30 secs
lola: 6986864 markings, 7263067 edges, 166216 markings/sec, 35 secs
lola: 7739143 markings, 8045745 edges, 150456 markings/sec, 40 secs
lola: 8507782 markings, 8846998 edges, 153728 markings/sec, 45 secs
lola: 9246203 markings, 9614654 edges, 147684 markings/sec, 50 secs
lola: 10045303 markings, 10447517 edges, 159820 markings/sec, 55 secs
lola: 10817811 markings, 11251093 edges, 154502 markings/sec, 60 secs
lola: 11605692 markings, 12071699 edges, 157576 markings/sec, 65 secs
lola: 12385797 markings, 12884276 edges, 156021 markings/sec, 70 secs
lola: 13168389 markings, 13685532 edges, 156518 markings/sec, 75 secs
lola: 13930552 markings, 14475825 edges, 152433 markings/sec, 80 secs
lola: 14751469 markings, 15346714 edges, 164183 markings/sec, 85 secs
lola: 15611570 markings, 16225868 edges, 172020 markings/sec, 90 secs
lola: 16430207 markings, 17090588 edges, 163727 markings/sec, 95 secs
lola: 17267014 markings, 17962608 edges, 167361 markings/sec, 100 secs
lola: 18046004 markings, 18781505 edges, 155798 markings/sec, 105 secs
lola: 18834504 markings, 19610200 edges, 157700 markings/sec, 110 secs
lola: 19679865 markings, 20493898 edges, 169072 markings/sec, 115 secs
lola: 20576875 markings, 21424359 edges, 179402 markings/sec, 120 secs
lola: 21442763 markings, 22325826 edges, 173178 markings/sec, 125 secs
lola: 22223900 markings, 23136707 edges, 156227 markings/sec, 130 secs
lola: 22984178 markings, 23928498 edges, 152056 markings/sec, 135 secs
lola: 23755801 markings, 24733962 edges, 154325 markings/sec, 140 secs
lola: 24564542 markings, 25573117 edges, 161748 markings/sec, 145 secs
lola: 25374986 markings, 26416026 edges, 162089 markings/sec, 150 secs
lola: 26192268 markings, 27268549 edges, 163456 markings/sec, 155 secs
lola: 26934920 markings, 28039843 edges, 148530 markings/sec, 160 secs
lola: 27668401 markings, 28804387 edges, 146696 markings/sec, 165 secs
lola: 28415168 markings, 29584755 edges, 149353 markings/sec, 170 secs
lola: 29186726 markings, 30385519 edges, 154312 markings/sec, 175 secs
lola: 29958140 markings, 31189152 edges, 154283 markings/sec, 180 secs
lola: 30738893 markings, 32004292 edges, 156151 markings/sec, 185 secs
lola: 31631199 markings, 32928577 edges, 178461 markings/sec, 190 secs
lola: 32491532 markings, 33837400 edges, 172067 markings/sec, 195 secs
lola: 33354922 markings, 34737472 edges, 172678 markings/sec, 200 secs
lola: 34192209 markings, 35606213 edges, 167457 markings/sec, 205 secs
lola: 34907782 markings, 36352611 edges, 143115 markings/sec, 210 secs
lola: 35627268 markings, 37103178 edges, 143897 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d3_n1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 315822 markings, 836356 edges, 63164 markings/sec, 0 secs
lola: 592482 markings, 1572690 edges, 55332 markings/sec, 5 secs
lola: 756528 markings, 2620161 edges, 32809 markings/sec, 10 secs
lola: 1053013 markings, 3470555 edges, 59297 markings/sec, 15 secs
lola: 1304937 markings, 4166663 edges, 50385 markings/sec, 20 secs
lola: 1501202 markings, 5265511 edges, 39253 markings/sec, 25 secs
lola: 1792022 markings, 6051196 edges, 58164 markings/sec, 30 secs
lola: 1982587 markings, 7165887 edges, 38113 markings/sec, 35 secs
lola: 2283142 markings, 8012897 edges, 60111 markings/sec, 40 secs
lola: 2529914 markings, 8697514 edges, 49354 markings/sec, 45 secs
lola: 2696491 markings, 9730125 edges, 33315 markings/sec, 50 secs
lola: 2956827 markings, 10453597 edges, 52067 markings/sec, 55 secs
lola: 3139478 markings, 11316150 edges, 36530 markings/sec, 60 secs
lola: 3373566 markings, 12195666 edges, 46818 markings/sec, 65 secs
lola: 3587311 markings, 12758219 edges, 42749 markings/sec, 70 secs
lola: 3720268 markings, 13693812 edges, 26591 markings/sec, 75 secs
lola: 4018410 markings, 14560499 edges, 59628 markings/sec, 80 secs
lola: 4275104 markings, 15294798 edges, 51339 markings/sec, 85 secs
lola: 4454539 markings, 16344025 edges, 35887 markings/sec, 90 secs
lola: 4720500 markings, 17058472 edges, 53192 markings/sec, 95 secs
lola: 4864677 markings, 18060091 edges, 28835 markings/sec, 100 secs
lola: 5114800 markings, 18748542 edges, 50025 markings/sec, 105 secs
lola: 5334495 markings, 19345059 edges, 43939 markings/sec, 110 secs
lola: 5447295 markings, 20250494 edges, 22560 markings/sec, 115 secs
lola: 5700724 markings, 20956838 edges, 50686 markings/sec, 120 secs
lola: 5891918 markings, 21767015 edges, 38239 markings/sec, 125 secs
lola: 6118264 markings, 22698381 edges, 45269 markings/sec, 130 secs
lola: 6380448 markings, 23406772 edges, 52437 markings/sec, 135 secs
lola: 6540552 markings, 24445962 edges, 32021 markings/sec, 140 secs
lola: 6776029 markings, 25066830 edges, 47095 markings/sec, 145 secs
lola: 6899504 markings, 25920325 edges, 24695 markings/sec, 150 secs
lola: 7079149 markings, 26517192 edges, 35929 markings/sec, 155 secs
lola: 7275181 markings, 27027505 edges, 39206 markings/sec, 160 secs
lola: 7382214 markings, 27827366 edges, 21407 markings/sec, 165 secs
lola: 7602126 markings, 28548353 edges, 43982 markings/sec, 170 secs
lola: 7815907 markings, 29106933 edges, 42756 markings/sec, 175 secs
lola: 7955165 markings, 30087842 edges, 27852 markings/sec, 180 secs
lola: 8204657 markings, 30748040 edges, 49898 markings/sec, 185 secs
lola: 8326444 markings, 31680084 edges, 24357 markings/sec, 190 secs
lola: 8533289 markings, 32264027 edges, 41369 markings/sec, 195 secs
lola: 8739204 markings, 32818582 edges, 41183 markings/sec, 200 secs
lola: 8841096 markings, 33673512 edges, 20378 markings/sec, 205 secs
lola: 9054827 markings, 34239641 edges, 42746 markings/sec, 210 secs
lola: 9199302 markings, 34950508 edges, 28895 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n2_3_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 495103 markings, 753545 edges, 99021 markings/sec, 0 secs
lola: 908451 markings, 1458622 edges, 82670 markings/sec, 5 secs
lola: 1308883 markings, 2207955 edges, 80086 markings/sec, 10 secs
lola: 1696028 markings, 2907694 edges, 77429 markings/sec, 15 secs
lola: 2078479 markings, 3558138 edges, 76490 markings/sec, 20 secs
lola: 2416836 markings, 4143722 edges, 67671 markings/sec, 25 secs
lola: 2667670 markings, 5030919 edges, 50167 markings/sec, 30 secs
lola: 2981962 markings, 5862059 edges, 62858 markings/sec, 35 secs
lola: 3374618 markings, 6529766 edges, 78531 markings/sec, 40 secs
lola: 3727232 markings, 7198334 edges, 70523 markings/sec, 45 secs
lola: 4080919 markings, 7820602 edges, 70737 markings/sec, 50 secs
lola: 4473830 markings, 8515917 edges, 78582 markings/sec, 55 secs
lola: 4843531 markings, 9144764 edges, 73940 markings/sec, 60 secs
lola: 5180023 markings, 9903945 edges, 67298 markings/sec, 65 secs
lola: 5361653 markings, 10803804 edges, 36326 markings/sec, 70 secs
lola: 5748538 markings, 11449288 edges, 77377 markings/sec, 75 secs
lola: 6138242 markings, 12137006 edges, 77941 markings/sec, 80 secs
lola: 6486796 markings, 12802097 edges, 69711 markings/sec, 85 secs
lola: 6855239 markings, 13453983 edges, 73689 markings/sec, 90 secs
lola: 7165685 markings, 13972943 edges, 62089 markings/sec, 95 secs
lola: 7505305 markings, 14583440 edges, 67924 markings/sec, 100 secs
lola: 7657906 markings, 15381376 edges, 30520 markings/sec, 105 secs
lola: 7946532 markings, 16078192 edges, 57725 markings/sec, 110 secs
lola: 8347496 markings, 16761057 edges, 80193 markings/sec, 115 secs
lola: 8738563 markings, 17504913 edges, 78213 markings/sec, 120 secs
lola: 9132588 markings, 18213566 edges, 78805 markings/sec, 125 secs
lola: 9493160 markings, 18818516 edges, 72114 markings/sec, 130 secs
lola: 9829301 markings, 19408030 edges, 67228 markings/sec, 135 secs
lola: 10065226 markings, 20166321 edges, 47185 markings/sec, 140 secs
lola: 10249791 markings, 20885912 edges, 36913 markings/sec, 145 secs
lola: 10625442 markings, 21530765 edges, 75130 markings/sec, 150 secs
lola: 10988615 markings, 22204453 edges, 72635 markings/sec, 155 secs
lola: 11319082 markings, 22790485 edges, 66093 markings/sec, 160 secs
lola: 11686350 markings, 23443389 edges, 73454 markings/sec, 165 secs
lola: 12023451 markings, 24013416 edges, 67420 markings/sec, 170 secs
lola: 12360884 markings, 24646354 edges, 67487 markings/sec, 175 secs
lola: 12463467 markings, 25541281 edges, 20517 markings/sec, 180 secs
lola: 12920664 markings, 26316412 edges, 91439 markings/sec, 185 secs
lola: 13344662 markings, 27120248 edges, 84800 markings/sec, 190 secs
lola: 13765290 markings, 27864521 edges, 84126 markings/sec, 195 secs
lola: 14171737 markings, 28556811 edges, 81289 markings/sec, 200 secs
lola: 14559565 markings, 29243238 edges, 77566 markings/sec, 205 secs
lola: 14732690 markings, 30272487 edges, 34625 markings/sec, 210 secs
lola: 15178229 markings, 31051448 edges, 89108 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n2_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 460877 markings, 718206 edges, 92175 markings/sec, 0 secs
lola: 917527 markings, 1456447 edges, 91330 markings/sec, 5 secs
lola: 1330590 markings, 2104072 edges, 82613 markings/sec, 10 secs
lola: 1716667 markings, 2711402 edges, 77215 markings/sec, 15 secs
lola: 1970062 markings, 3690707 edges, 50679 markings/sec, 20 secs
lola: 2426536 markings, 4428907 edges, 91295 markings/sec, 25 secs
lola: 2867316 markings, 5144396 edges, 88156 markings/sec, 30 secs
lola: 3277384 markings, 5769370 edges, 82014 markings/sec, 35 secs
lola: 3508801 markings, 6729396 edges, 46283 markings/sec, 40 secs
lola: 3916987 markings, 7457057 edges, 81637 markings/sec, 45 secs
lola: 4305262 markings, 8156586 edges, 77655 markings/sec, 50 secs
lola: 4677926 markings, 8799792 edges, 74533 markings/sec, 55 secs
lola: 5047531 markings, 9394312 edges, 73921 markings/sec, 60 secs
lola: 5247502 markings, 10263981 edges, 39994 markings/sec, 65 secs
lola: 5630934 markings, 10974946 edges, 76686 markings/sec, 70 secs
lola: 6056765 markings, 11664405 edges, 85166 markings/sec, 75 secs
lola: 6445833 markings, 12287138 edges, 77814 markings/sec, 80 secs
lola: 6818632 markings, 12851632 edges, 74560 markings/sec, 85 secs
lola: 7016084 markings, 13754706 edges, 39490 markings/sec, 90 secs
lola: 7433338 markings, 14427594 edges, 83451 markings/sec, 95 secs
lola: 7846921 markings, 15104352 edges, 82717 markings/sec, 100 secs
lola: 8236757 markings, 15700069 edges, 77967 markings/sec, 105 secs
lola: 8579071 markings, 16328988 edges, 68463 markings/sec, 110 secs
lola: 8829696 markings, 17239674 edges, 50125 markings/sec, 115 secs
lola: 9245769 markings, 17899474 edges, 83215 markings/sec, 120 secs
lola: 9621636 markings, 18505997 edges, 75173 markings/sec, 125 secs
lola: 9987782 markings, 19060970 edges, 73229 markings/sec, 130 secs
lola: 10202090 markings, 19854294 edges, 42862 markings/sec, 135 secs
lola: 10567657 markings, 20586334 edges, 73113 markings/sec, 140 secs
lola: 10976442 markings, 21267530 edges, 81757 markings/sec, 145 secs
lola: 11362334 markings, 21849845 edges, 77178 markings/sec, 150 secs
lola: 11723333 markings, 22426362 edges, 72200 markings/sec, 155 secs
lola: 11955622 markings, 23374663 edges, 46458 markings/sec, 160 secs
lola: 12400318 markings, 24096456 edges, 88939 markings/sec, 165 secs
lola: 12801675 markings, 24740000 edges, 80271 markings/sec, 170 secs
lola: 13181916 markings, 25315547 edges, 76048 markings/sec, 175 secs
lola: 13398279 markings, 26253640 edges, 43273 markings/sec, 180 secs
lola: 13807816 markings, 26919745 edges, 81907 markings/sec, 185 secs
lola: 14191526 markings, 27524661 edges, 76742 markings/sec, 190 secs
lola: 14548750 markings, 28070134 edges, 71445 markings/sec, 195 secs
lola: 14787391 markings, 28790155 edges, 47728 markings/sec, 200 secs
lola: 15097773 markings, 29550925 edges, 62076 markings/sec, 205 secs
lola: 15484781 markings, 30178356 edges, 77402 markings/sec, 210 secs
lola: 15848965 markings, 30736747 edges, 72837 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d2_n1_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 746144 markings, 786078 edges, 149229 markings/sec, 0 secs
lola: 1448647 markings, 1531456 edges, 140501 markings/sec, 5 secs
lola: 2111326 markings, 2256010 edges, 132536 markings/sec, 10 secs
lola: 2772628 markings, 2959108 edges, 132260 markings/sec, 15 secs
lola: 3391704 markings, 3629454 edges, 123815 markings/sec, 20 secs
lola: 4004843 markings, 4297676 edges, 122628 markings/sec, 25 secs
lola: 4612769 markings, 4950881 edges, 121585 markings/sec, 30 secs
lola: 5201918 markings, 5584863 edges, 117830 markings/sec, 35 secs
lola: 5739897 markings, 6186906 edges, 107596 markings/sec, 40 secs
lola: 6326252 markings, 6813664 edges, 117271 markings/sec, 45 secs
lola: 6980796 markings, 7513866 edges, 130909 markings/sec, 50 secs
lola: 7592154 markings, 8172198 edges, 122272 markings/sec, 55 secs
lola: 8230435 markings, 8875052 edges, 127656 markings/sec, 60 secs
lola: 8870416 markings, 9562919 edges, 127996 markings/sec, 65 secs
lola: 9551584 markings, 10308774 edges, 136234 markings/sec, 70 secs
lola: 10226640 markings, 11033952 edges, 135011 markings/sec, 75 secs
lola: 10834954 markings, 11679207 edges, 121663 markings/sec, 80 secs
lola: 11499029 markings, 12410375 edges, 132815 markings/sec, 85 secs
lola: 12152137 markings, 13106113 edges, 130622 markings/sec, 90 secs
lola: 12796520 markings, 13788519 edges, 128877 markings/sec, 95 secs
lola: 13407242 markings, 14439961 edges, 122144 markings/sec, 100 secs
lola: 14018491 markings, 15068317 edges, 122250 markings/sec, 105 secs
lola: 14675668 markings, 15774672 edges, 131435 markings/sec, 110 secs
lola: 15281585 markings, 16443813 edges, 121183 markings/sec, 115 secs
lola: 15879834 markings, 17067595 edges, 119650 markings/sec, 120 secs
lola: 16513814 markings, 17764976 edges, 126796 markings/sec, 125 secs
lola: 17081556 markings, 18373313 edges, 113548 markings/sec, 130 secs
lola: 17649134 markings, 18962770 edges, 113516 markings/sec, 135 secs
lola: 18218098 markings, 19556823 edges, 113793 markings/sec, 140 secs
lola: 18767069 markings, 20132214 edges, 109794 markings/sec, 145 secs
lola: 19311389 markings, 20702699 edges, 108864 markings/sec, 150 secs
lola: 19851512 markings, 21270928 edges, 108025 markings/sec, 155 secs
lola: 20385112 markings, 21833858 edges, 106720 markings/sec, 160 secs
lola: 20916176 markings, 22394370 edges, 106213 markings/sec, 165 secs
lola: 21444289 markings, 22954208 edges, 105623 markings/sec, 170 secs
lola: 21975295 markings, 23519317 edges, 106201 markings/sec, 175 secs
lola: 22501835 markings, 24081437 edges, 105308 markings/sec, 180 secs
lola: 23010723 markings, 24627801 edges, 101778 markings/sec, 185 secs
lola: 23527648 markings, 25177686 edges, 103385 markings/sec, 190 secs
lola: 24034580 markings, 25720280 edges, 101386 markings/sec, 195 secs
lola: 24538148 markings, 26263055 edges, 100714 markings/sec, 200 secs
lola: 25047152 markings, 26811331 edges, 101801 markings/sec, 205 secs
lola: 25566159 markings, 27371363 edges, 103801 markings/sec, 210 secs
lola: 26074617 markings, 27920140 edges, 101692 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d3_n1_1_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 244071 markings, 1083899 edges, 48814 markings/sec, 0 secs
lola: 382187 markings, 2235764 edges, 27623 markings/sec, 5 secs
lola: 558709 markings, 3415901 edges, 35304 markings/sec, 10 secs
lola: 751068 markings, 4277276 edges, 38472 markings/sec, 15 secs
lola: 844490 markings, 5532261 edges, 18684 markings/sec, 20 secs
lola: 1055560 markings, 6457121 edges, 42214 markings/sec, 25 secs
lola: 1185135 markings, 7470979 edges, 25915 markings/sec, 30 secs
lola: 1312953 markings, 8632536 edges, 25564 markings/sec, 35 secs
lola: 1487691 markings, 9562643 edges, 34948 markings/sec, 40 secs
lola: 1561841 markings, 10756839 edges, 14830 markings/sec, 45 secs
lola: 1739508 markings, 11703058 edges, 35533 markings/sec, 50 secs
lola: 1904331 markings, 12398386 edges, 32965 markings/sec, 55 secs
lola: 1949018 markings, 13463906 edges, 8937 markings/sec, 60 secs
lola: 2135364 markings, 14333667 edges, 37269 markings/sec, 65 secs
lola: 2314099 markings, 15110369 edges, 35747 markings/sec, 70 secs
lola: 2376240 markings, 16239444 edges, 12428 markings/sec, 75 secs
lola: 2553667 markings, 17045840 edges, 35485 markings/sec, 80 secs
lola: 2709735 markings, 17789755 edges, 31214 markings/sec, 85 secs
lola: 2777516 markings, 18877917 edges, 13556 markings/sec, 90 secs
lola: 2968678 markings, 19718729 edges, 38232 markings/sec, 95 secs
lola: 3088334 markings, 20535431 edges, 23931 markings/sec, 100 secs
lola: 3178782 markings, 21544148 edges, 18090 markings/sec, 105 secs
lola: 3351610 markings, 22277045 edges, 34566 markings/sec, 110 secs
lola: 3456072 markings, 23108858 edges, 20892 markings/sec, 115 secs
lola: 3561058 markings, 24098927 edges, 20997 markings/sec, 120 secs
lola: 3767680 markings, 25003286 edges, 41324 markings/sec, 125 secs
lola: 3833351 markings, 26171259 edges, 13134 markings/sec, 130 secs
lola: 4063125 markings, 27159495 edges, 45955 markings/sec, 135 secs
lola: 4165140 markings, 28301462 edges, 20403 markings/sec, 140 secs
lola: 4350900 markings, 29332687 edges, 37152 markings/sec, 145 secs
lola: 4504526 markings, 30258272 edges, 30725 markings/sec, 150 secs
lola: 4598594 markings, 31298664 edges, 18814 markings/sec, 155 secs
lola: 4778536 markings, 32058523 edges, 35988 markings/sec, 160 secs
lola: 4840851 markings, 33061871 edges, 12463 markings/sec, 165 secs
lola: 4994272 markings, 33917339 edges, 30684 markings/sec, 170 secs
lola: 5148080 markings, 34574562 edges, 30762 markings/sec, 175 secs
lola: 5167848 markings, 35467209 edges, 3954 markings/sec, 180 secs
lola: 5331225 markings, 36234477 edges, 32675 markings/sec, 185 secs
lola: 5477254 markings, 36900839 edges, 29206 markings/sec, 190 secs
lola: 5518489 markings, 37929708 edges, 8247 markings/sec, 195 secs
lola: 5738399 markings, 38866514 edges, 43982 markings/sec, 200 secs
lola: 5826561 markings, 40135480 edges, 17632 markings/sec, 205 secs
lola: 6045822 markings, 41071595 edges, 43852 markings/sec, 210 secs
lola: 6139811 markings, 42376851 edges, 18798 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d1_n1_2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 654679 markings, 998949 edges, 130936 markings/sec, 0 secs
lola: 1302914 markings, 2020251 edges, 129647 markings/sec, 5 secs
lola: 1900319 markings, 2979069 edges, 119481 markings/sec, 10 secs
lola: 2480517 markings, 3854889 edges, 116040 markings/sec, 15 secs
lola: 2868501 markings, 5054651 edges, 77597 markings/sec, 20 secs
lola: 3509364 markings, 6073222 edges, 128173 markings/sec, 25 secs
lola: 4137067 markings, 7081528 edges, 125541 markings/sec, 30 secs
lola: 4719059 markings, 8028136 edges, 116398 markings/sec, 35 secs
lola: 5275692 markings, 8854768 edges, 111327 markings/sec, 40 secs
lola: 5604253 markings, 9940934 edges, 65712 markings/sec, 45 secs
lola: 6121175 markings, 10786143 edges, 103384 markings/sec, 50 secs
lola: 6678485 markings, 11665612 edges, 111462 markings/sec, 55 secs
lola: 7196435 markings, 12523602 edges, 103590 markings/sec, 60 secs
lola: 7721014 markings, 13279354 edges, 104916 markings/sec, 65 secs
lola: 7975032 markings, 14353781 edges, 50804 markings/sec, 70 secs
lola: 8543034 markings, 15269700 edges, 113600 markings/sec, 75 secs
lola: 9084841 markings, 16138905 edges, 108361 markings/sec, 80 secs
lola: 9663488 markings, 17057551 edges, 115729 markings/sec, 85 secs
lola: 10266140 markings, 18021319 edges, 120530 markings/sec, 90 secs
lola: 10842104 markings, 18915538 edges, 115193 markings/sec, 95 secs
lola: 11220782 markings, 19961924 edges, 75736 markings/sec, 100 secs
lola: 11719613 markings, 20905437 edges, 99766 markings/sec, 105 secs
lola: 12244250 markings, 21773219 edges, 104927 markings/sec, 110 secs
lola: 12776523 markings, 22533028 edges, 106455 markings/sec, 115 secs
lola: 13092768 markings, 23645134 edges, 63249 markings/sec, 120 secs
lola: 13704036 markings, 24646679 edges, 122254 markings/sec, 125 secs
lola: 14241740 markings, 25502693 edges, 107541 markings/sec, 130 secs
lola: 14742054 markings, 26305199 edges, 100063 markings/sec, 135 secs
lola: 15331762 markings, 27259412 edges, 117942 markings/sec, 140 secs
lola: 15864446 markings, 28134091 edges, 106537 markings/sec, 145 secs
lola: 16430555 markings, 29047293 edges, 113222 markings/sec, 150 secs
lola: 17042600 markings, 30061764 edges, 122409 markings/sec, 155 secs
lola: 17650922 markings, 31068443 edges, 121664 markings/sec, 160 secs
lola: 18280775 markings, 32081252 edges, 125971 markings/sec, 165 secs
lola: 18875717 markings, 32974278 edges, 118988 markings/sec, 170 secs
lola: 19234419 markings, 34166161 edges, 71740 markings/sec, 175 secs
lola: 19728132 markings, 35019160 edges, 98743 markings/sec, 180 secs
lola: 20206941 markings, 35866766 edges, 95762 markings/sec, 185 secs
lola: 20677020 markings, 36601015 edges, 94016 markings/sec, 190 secs
lola: 20969258 markings, 37739596 edges, 58448 markings/sec, 195 secs
lola: 21561521 markings, 38690776 edges, 118453 markings/sec, 200 secs
lola: 22149305 markings, 39569453 edges, 117557 markings/sec, 205 secs
lola: 22510582 markings, 40769344 edges, 72255 markings/sec, 210 secs
lola: 23053442 markings, 41722713 edges, 108572 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n2_3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 879284 markings, 892814 edges, 175857 markings/sec, 0 secs
lola: 1705827 markings, 1756667 edges, 165309 markings/sec, 5 secs
lola: 2529969 markings, 2616691 edges, 164828 markings/sec, 10 secs
lola: 3398120 markings, 3501726 edges, 173630 markings/sec, 15 secs
lola: 4247590 markings, 4386668 edges, 169894 markings/sec, 20 secs
lola: 5083971 markings, 5258265 edges, 167276 markings/sec, 25 secs
lola: 5895406 markings, 6104857 edges, 162287 markings/sec, 30 secs
lola: 6698821 markings, 6943449 edges, 160683 markings/sec, 35 secs
lola: 7525819 markings, 7806884 edges, 165400 markings/sec, 40 secs
lola: 8363048 markings, 8690177 edges, 167446 markings/sec, 45 secs
lola: 9174362 markings, 9532428 edges, 162263 markings/sec, 50 secs
lola: 9969668 markings, 10362693 edges, 159061 markings/sec, 55 secs
lola: 10747552 markings, 11175165 edges, 155577 markings/sec, 60 secs
lola: 11476576 markings, 11938078 edges, 145805 markings/sec, 65 secs
lola: 12216820 markings, 12712575 edges, 148049 markings/sec, 70 secs
lola: 12915778 markings, 13445212 edges, 139792 markings/sec, 75 secs
lola: 13639130 markings, 14202517 edges, 144670 markings/sec, 80 secs
lola: 14455970 markings, 15054619 edges, 163368 markings/sec, 85 secs
lola: 15213159 markings, 15846389 edges, 151438 markings/sec, 90 secs
lola: 16012608 markings, 16680715 edges, 159890 markings/sec, 95 secs
lola: 16803071 markings, 17507605 edges, 158093 markings/sec, 100 secs
lola: 17601365 markings, 18340963 edges, 159659 markings/sec, 105 secs
lola: 18384492 markings, 19141795 edges, 156625 markings/sec, 110 secs
lola: 19170126 markings, 19978948 edges, 157127 markings/sec, 115 secs
lola: 19963462 markings, 20807745 edges, 158667 markings/sec, 120 secs
lola: 20772639 markings, 21651832 edges, 161835 markings/sec, 125 secs
lola: 21485511 markings, 22398780 edges, 142574 markings/sec, 130 secs
lola: 22134445 markings, 23080362 edges, 129787 markings/sec, 135 secs
lola: 22821594 markings, 23801661 edges, 137430 markings/sec, 140 secs
lola: 23561488 markings, 24575268 edges, 147979 markings/sec, 145 secs
lola: 24308689 markings, 25340316 edges, 149440 markings/sec, 150 secs
lola: 25044472 markings, 26094104 edges, 147157 markings/sec, 155 secs
lola: 25767280 markings, 26835351 edges, 144562 markings/sec, 160 secs
lola: 26495061 markings, 27582698 edges, 145556 markings/sec, 165 secs
lola: 27209075 markings, 28316030 edges, 142803 markings/sec, 170 secs
lola: 27942758 markings, 29072808 edges, 146737 markings/sec, 175 secs
lola: 28636488 markings, 29788943 edges, 138746 markings/sec, 180 secs
lola: 29352610 markings, 30526394 edges, 143224 markings/sec, 185 secs
lola: 30048786 markings, 31244977 edges, 139235 markings/sec, 190 secs
lola: 30757145 markings, 31976313 edges, 141672 markings/sec, 195 secs
lola: 31442751 markings, 32684230 edges, 137121 markings/sec, 200 secs
lola: 32138745 markings, 33403220 edges, 139199 markings/sec, 205 secs
lola: 32806403 markings, 34092991 edges, 133532 markings/sec, 210 secs
lola: 33440393 markings, 34749488 edges, 126798 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d3_n1_3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 908187 markings, 920627 edges, 181637 markings/sec, 0 secs
lola: 1736093 markings, 1781339 edges, 165581 markings/sec, 5 secs
lola: 2498824 markings, 2578342 edges, 152546 markings/sec, 10 secs
lola: 3329218 markings, 3443622 edges, 166079 markings/sec, 15 secs
lola: 4120514 markings, 4275108 edges, 158259 markings/sec, 20 secs
lola: 4999872 markings, 5199024 edges, 175872 markings/sec, 25 secs
lola: 5787053 markings, 6020793 edges, 157436 markings/sec, 30 secs
lola: 6616364 markings, 6883760 edges, 165862 markings/sec, 35 secs
lola: 7341478 markings, 7639529 edges, 145023 markings/sec, 40 secs
lola: 8076158 markings, 8406709 edges, 146936 markings/sec, 45 secs
lola: 8832201 markings, 9195114 edges, 151209 markings/sec, 50 secs
lola: 9593670 markings, 9969360 edges, 152294 markings/sec, 55 secs
lola: 10357373 markings, 10766760 edges, 152741 markings/sec, 60 secs
lola: 11132028 markings, 11572560 edges, 154931 markings/sec, 65 secs
lola: 11895555 markings, 12368438 edges, 152705 markings/sec, 70 secs
lola: 12642058 markings, 13143992 edges, 149301 markings/sec, 75 secs
lola: 13409400 markings, 13943058 edges, 153468 markings/sec, 80 secs
lola: 14160045 markings, 14726576 edges, 150129 markings/sec, 85 secs
lola: 14940725 markings, 15538118 edges, 156136 markings/sec, 90 secs
lola: 15744914 markings, 16374407 edges, 160838 markings/sec, 95 secs
lola: 16573769 markings, 17236997 edges, 165771 markings/sec, 100 secs
lola: 17381499 markings, 18079172 edges, 161546 markings/sec, 105 secs
lola: 18132767 markings, 18870033 edges, 150254 markings/sec, 110 secs
lola: 18861527 markings, 19637933 edges, 145752 markings/sec, 115 secs
lola: 19697019 markings, 20511370 edges, 167098 markings/sec, 120 secs
lola: 20583827 markings, 21431364 edges, 177362 markings/sec, 125 secs
lola: 21450512 markings, 22333735 edges, 173337 markings/sec, 130 secs
lola: 22240108 markings, 23153282 edges, 157919 markings/sec, 135 secs
lola: 22993501 markings, 23937965 edges, 150679 markings/sec, 140 secs
lola: 23711530 markings, 24688483 edges, 143606 markings/sec, 145 secs
lola: 24499474 markings, 25506606 edges, 157589 markings/sec, 150 secs
lola: 25322481 markings, 26362575 edges, 164601 markings/sec, 155 secs
lola: 26139773 markings, 27214826 edges, 163458 markings/sec, 160 secs
lola: 26837534 markings, 27940614 edges, 139552 markings/sec, 165 secs
lola: 27503831 markings, 28636466 edges, 133259 markings/sec, 170 secs
lola: 28212564 markings, 29377467 edges, 141747 markings/sec, 175 secs
lola: 28896621 markings, 30090559 edges, 136811 markings/sec, 180 secs
lola: 29581636 markings, 30805536 edges, 137003 markings/sec, 185 secs
lola: 30317616 markings, 31573467 edges, 147196 markings/sec, 190 secs
lola: 31071266 markings, 32358435 edges, 150730 markings/sec, 195 secs
lola: 31877808 markings, 33186037 edges, 161308 markings/sec, 200 secs
lola: 32712704 markings, 34065127 edges, 166979 markings/sec, 205 secs
lola: 33501405 markings, 34886802 edges, 157740 markings/sec, 210 secs
lola: 34271642 markings, 35686458 edges, 154047 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n2_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 465785 markings, 696026 edges, 93157 markings/sec, 0 secs
lola: 900072 markings, 1431579 edges, 86857 markings/sec, 5 secs
lola: 1340839 markings, 2140542 edges, 88153 markings/sec, 10 secs
lola: 1764992 markings, 2750121 edges, 84831 markings/sec, 15 secs
lola: 2166920 markings, 3346846 edges, 80386 markings/sec, 20 secs
lola: 2548587 markings, 3942923 edges, 76333 markings/sec, 25 secs
lola: 2716453 markings, 4804329 edges, 33573 markings/sec, 30 secs
lola: 2878394 markings, 5695625 edges, 32388 markings/sec, 35 secs
lola: 3321940 markings, 6433372 edges, 88709 markings/sec, 40 secs
lola: 3717354 markings, 7104966 edges, 79083 markings/sec, 45 secs
lola: 4104126 markings, 7685466 edges, 77354 markings/sec, 50 secs
lola: 4477071 markings, 8210184 edges, 74589 markings/sec, 55 secs
lola: 4813969 markings, 8716120 edges, 67380 markings/sec, 60 secs
lola: 5152462 markings, 9259125 edges, 67699 markings/sec, 65 secs
lola: 5279716 markings, 10171968 edges, 25451 markings/sec, 70 secs
lola: 5499458 markings, 11032082 edges, 43948 markings/sec, 75 secs
lola: 5930091 markings, 11721462 edges, 86127 markings/sec, 80 secs
lola: 6337087 markings, 12399602 edges, 81399 markings/sec, 85 secs
lola: 6719251 markings, 12977294 edges, 76433 markings/sec, 90 secs
lola: 7081328 markings, 13651428 edges, 72415 markings/sec, 95 secs
lola: 7307346 markings, 14660964 edges, 45204 markings/sec, 100 secs
lola: 7768117 markings, 15405396 edges, 92154 markings/sec, 105 secs
lola: 8207402 markings, 16122994 edges, 87857 markings/sec, 110 secs
lola: 8619338 markings, 16755637 edges, 82387 markings/sec, 115 secs
lola: 8920546 markings, 17515676 edges, 60242 markings/sec, 120 secs
lola: 9124268 markings, 18309350 edges, 40744 markings/sec, 125 secs
lola: 9528598 markings, 18990876 edges, 80866 markings/sec, 130 secs
lola: 9913952 markings, 19646138 edges, 77071 markings/sec, 135 secs
lola: 10271744 markings, 20190088 edges, 71558 markings/sec, 140 secs
lola: 10598896 markings, 20643558 edges, 65430 markings/sec, 145 secs
lola: 10915538 markings, 21118063 edges, 63328 markings/sec, 150 secs
lola: 11245743 markings, 21626457 edges, 66041 markings/sec, 155 secs
lola: 11475297 markings, 22365979 edges, 45911 markings/sec, 160 secs
lola: 11509696 markings, 23266911 edges, 6880 markings/sec, 165 secs
lola: 11896043 markings, 23914556 edges, 77269 markings/sec, 170 secs
lola: 12251341 markings, 24509167 edges, 71060 markings/sec, 175 secs
lola: 12549221 markings, 24973027 edges, 59576 markings/sec, 180 secs
lola: 12871289 markings, 25429211 edges, 64414 markings/sec, 185 secs
lola: 13183875 markings, 25888329 edges, 62517 markings/sec, 190 secs
lola: 13502092 markings, 26370592 edges, 63643 markings/sec, 195 secs
lola: 13806562 markings, 26904193 edges, 60894 markings/sec, 200 secs
lola: 13842940 markings, 27733468 edges, 7276 markings/sec, 205 secs
lola: 14073729 markings, 28523775 edges, 46158 markings/sec, 210 secs
lola: 14503924 markings, 29248171 edges, 86039 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n1_1_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 unused bits
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: 475282 markings, 704007 edges, 95056 markings/sec, 0 secs
lola: 880148 markings, 1354822 edges, 80973 markings/sec, 5 secs
lola: 1303284 markings, 2065666 edges, 84627 markings/sec, 10 secs
lola: 1729061 markings, 2713101 edges, 85155 markings/sec, 15 secs
lola: 2120233 markings, 3270790 edges, 78234 markings/sec, 20 secs
lola: 2471423 markings, 3827216 edges, 70238 markings/sec, 25 secs
lola: 2833502 markings, 4411673 edges, 72416 markings/sec, 30 secs
lola: 3078512 markings, 5136263 edges, 49002 markings/sec, 35 secs
lola: 3152814 markings, 6111349 edges, 14860 markings/sec, 40 secs
lola: 3579217 markings, 6823743 edges, 85281 markings/sec, 45 secs
lola: 3987090 markings, 7491710 edges, 81575 markings/sec, 50 secs
lola: 4397501 markings, 8163627 edges, 82082 markings/sec, 55 secs
lola: 4834137 markings, 8783584 edges, 87327 markings/sec, 60 secs
lola: 5205558 markings, 9339466 edges, 74284 markings/sec, 65 secs
lola: 5573930 markings, 9929586 edges, 73674 markings/sec, 70 secs
lola: 5903389 markings, 10467267 edges, 65892 markings/sec, 75 secs
lola: 6016220 markings, 11412963 edges, 22566 markings/sec, 80 secs
lola: 6238259 markings, 12201416 edges, 44408 markings/sec, 85 secs
lola: 6625283 markings, 12821737 edges, 77405 markings/sec, 90 secs
lola: 7018587 markings, 13491772 edges, 78661 markings/sec, 95 secs
lola: 7442677 markings, 14160509 edges, 84818 markings/sec, 100 secs
lola: 7835119 markings, 14705360 edges, 78488 markings/sec, 105 secs
lola: 8213936 markings, 15291575 edges, 75763 markings/sec, 110 secs
lola: 8585117 markings, 15889726 edges, 74236 markings/sec, 115 secs
lola: 8862424 markings, 16592745 edges, 55461 markings/sec, 120 secs
lola: 8882746 markings, 17402801 edges, 4064 markings/sec, 125 secs
lola: 9186478 markings, 18053353 edges, 60746 markings/sec, 130 secs
lola: 9568819 markings, 18685568 edges, 76468 markings/sec, 135 secs
lola: 9958792 markings, 19337645 edges, 77995 markings/sec, 140 secs
lola: 10378089 markings, 19960314 edges, 83859 markings/sec, 145 secs
lola: 10744927 markings, 20489888 edges, 73368 markings/sec, 150 secs
lola: 11065203 markings, 20998054 edges, 64055 markings/sec, 155 secs
lola: 11428124 markings, 21585675 edges, 72584 markings/sec, 160 secs
lola: 11664005 markings, 22257089 edges, 47176 markings/sec, 165 secs
lola: 11682821 markings, 23193739 edges, 3763 markings/sec, 170 secs
lola: 12155423 markings, 23950820 edges, 94520 markings/sec, 175 secs
lola: 12619735 markings, 24733424 edges, 92862 markings/sec, 180 secs
lola: 13116889 markings, 25481028 edges, 99431 markings/sec, 185 secs
lola: 13565942 markings, 26135732 edges, 89811 markings/sec, 190 secs
lola: 13974045 markings, 26786003 edges, 81621 markings/sec, 195 secs
lola: 14329862 markings, 27370514 edges, 71163 markings/sec, 200 secs
lola: 14420142 markings, 28322491 edges, 18056 markings/sec, 205 secs
lola: 14676071 markings, 29120461 edges, 51186 markings/sec, 210 secs
lola: 15131228 markings, 29860806 edges, 91031 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496352479270

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="S_HypertorusGrid-PT-d3k3p2b06"
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/S_HypertorusGrid-PT-d3k3p2b06.tgz
mv S_HypertorusGrid-PT-d3k3p2b06 execution

# this is for BenchKit: explicit launching of the test

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