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 '
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 ;