About the Execution of LoLA for NeighborGrid-PT-d3n3m1t11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12696.200 | 3540226.00 | 3545156.00 | 9088.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 NeighborGrid-PT-d3n3m1t11, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-149581172200020
=====================================================================
--------------------
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 NeighborGrid-PT-d3n3m1t11-UpperBounds-0
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-1
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-10
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-11
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-12
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-13
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-14
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-15
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-2
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-3
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-4
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-5
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-6
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-7
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-8
FORMULA_NAME NeighborGrid-PT-d3n3m1t11-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496294530998
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
NeighborGrid-PT-d3n3m1t11: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
NeighborGrid-PT-d3n3m1t11: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ NeighborGrid-PT-d3n3m1t11 @ 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: 189/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: finding significant places
lola: 27 places, 162 transitions, 26 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 27 transition conflict sets
lola: TASK
lola: reading formula from NeighborGrid-PT-d3n3m1t11-UpperBounds.task
lola: MAX(p_0_0_1) : MAX(p_2_1_1) : MAX(p_0_1_1) : MAX(p_1_1_1) : MAX(p_0_2_2) : MAX(p_2_1_2) : MAX(p_1_0_1) : MAX(p_0_0_2) : MAX(p_1_1_2) : MAX(p_2_1_1) : MAX(p_1_2_1) : MAX(p_1_2_2) : MAX(p_1_2_1) : MAX(p_1_2_2) : MAX(p_2_1_2) : MAX(p_1_0_2)
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(p_0_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 792205 markings, 2126309 edges, 158441 markings/sec, 0 secs
lola: 1677018 markings, 4480187 edges, 176963 markings/sec, 5 secs
lola: 2522145 markings, 6766537 edges, 169025 markings/sec, 10 secs
lola: 3362232 markings, 9031281 edges, 168017 markings/sec, 15 secs
lola: 4194475 markings, 11272742 edges, 166449 markings/sec, 20 secs
lola: 4982205 markings, 13411711 edges, 157546 markings/sec, 25 secs
lola: 5764556 markings, 15534962 edges, 156470 markings/sec, 30 secs
lola: 6550501 markings, 17665047 edges, 157189 markings/sec, 35 secs
lola: 7303090 markings, 19705731 edges, 150518 markings/sec, 40 secs
lola: 8109596 markings, 21884519 edges, 161301 markings/sec, 45 secs
lola: 8916978 markings, 24058570 edges, 161476 markings/sec, 50 secs
lola: 9722208 markings, 26224434 edges, 161046 markings/sec, 55 secs
lola: 10504236 markings, 28319973 edges, 156406 markings/sec, 60 secs
lola: 11279766 markings, 30387445 edges, 155106 markings/sec, 65 secs
lola: 12045626 markings, 32411284 edges, 153172 markings/sec, 70 secs
lola: 12827705 markings, 34488322 edges, 156416 markings/sec, 75 secs
lola: 13596132 markings, 36571326 edges, 153685 markings/sec, 80 secs
lola: 14369500 markings, 38654811 edges, 154674 markings/sec, 85 secs
lola: 15138753 markings, 40737678 edges, 153851 markings/sec, 90 secs
lola: 15929551 markings, 42875741 edges, 158160 markings/sec, 95 secs
lola: 16718172 markings, 44995399 edges, 157724 markings/sec, 100 secs
lola: 17488274 markings, 47083089 edges, 154020 markings/sec, 105 secs
lola: 18289711 markings, 49246118 edges, 160287 markings/sec, 110 secs
lola: 19087346 markings, 51408996 edges, 159527 markings/sec, 115 secs
lola: 19880299 markings, 53541933 edges, 158591 markings/sec, 120 secs
lola: 20656453 markings, 55655717 edges, 155231 markings/sec, 125 secs
lola: 21392187 markings, 57670391 edges, 147147 markings/sec, 130 secs
lola: 22150940 markings, 59720125 edges, 151751 markings/sec, 135 secs
lola: 22898403 markings, 61725892 edges, 149493 markings/sec, 140 secs
lola: 23637452 markings, 63727829 edges, 147810 markings/sec, 145 secs
lola: 24402874 markings, 65795468 edges, 153084 markings/sec, 150 secs
lola: 25162490 markings, 67856100 edges, 151923 markings/sec, 155 secs
lola: 25907967 markings, 69880105 edges, 149095 markings/sec, 160 secs
lola: 26657675 markings, 71912219 edges, 149942 markings/sec, 165 secs
lola: 27405281 markings, 73933732 edges, 149521 markings/sec, 170 secs
lola: 28150471 markings, 75951804 edges, 149038 markings/sec, 175 secs
lola: 28881472 markings, 77903139 edges, 146200 markings/sec, 180 secs
lola: 29664804 markings, 80012547 edges, 156666 markings/sec, 185 secs
lola: 30425726 markings, 82061610 edges, 152184 markings/sec, 190 secs
lola: 31195769 markings, 84150690 edges, 154009 markings/sec, 195 secs
lola: 31961757 markings, 86222355 edges, 153198 markings/sec, 200 secs
lola: 32699593 markings, 88244476 edges, 147567 markings/sec, 205 secs
lola: 33462891 markings, 90310778 edges, 152660 markings/sec, 210 secs
lola: 34207835 markings, 92340544 edges, 148989 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(p_2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 933814 markings, 2330276 edges, 186763 markings/sec, 0 secs
lola: 1798832 markings, 4507242 edges, 173004 markings/sec, 5 secs
lola: 2597919 markings, 6644602 edges, 159817 markings/sec, 10 secs
lola: 3422222 markings, 8807701 edges, 164861 markings/sec, 15 secs
lola: 4299032 markings, 11073502 edges, 175362 markings/sec, 20 secs
lola: 5105290 markings, 13239911 edges, 161252 markings/sec, 25 secs
lola: 5905766 markings, 15429287 edges, 160095 markings/sec, 30 secs
lola: 6717492 markings, 17566887 edges, 162345 markings/sec, 35 secs
lola: 7483932 markings, 19770080 edges, 153288 markings/sec, 40 secs
lola: 8269348 markings, 21821154 edges, 157083 markings/sec, 45 secs
lola: 9001618 markings, 23937260 edges, 146454 markings/sec, 50 secs
lola: 9862802 markings, 26081173 edges, 172237 markings/sec, 55 secs
lola: 10733758 markings, 28349671 edges, 174191 markings/sec, 60 secs
lola: 11563416 markings, 30630629 edges, 165932 markings/sec, 65 secs
lola: 12419628 markings, 32980239 edges, 171242 markings/sec, 70 secs
lola: 13248597 markings, 35081850 edges, 165794 markings/sec, 75 secs
lola: 14052985 markings, 37216152 edges, 160878 markings/sec, 80 secs
lola: 14799451 markings, 39106279 edges, 149293 markings/sec, 85 secs
lola: 15554303 markings, 41048289 edges, 150970 markings/sec, 90 secs
lola: 16329713 markings, 42998282 edges, 155082 markings/sec, 95 secs
lola: 17123900 markings, 45169759 edges, 158837 markings/sec, 100 secs
lola: 17872718 markings, 47202560 edges, 149764 markings/sec, 105 secs
lola: 18571737 markings, 49165614 edges, 139804 markings/sec, 110 secs
lola: 19290587 markings, 51033411 edges, 143770 markings/sec, 115 secs
lola: 20011275 markings, 52894303 edges, 144138 markings/sec, 120 secs
lola: 20741176 markings, 54820335 edges, 145980 markings/sec, 125 secs
lola: 21473678 markings, 56875626 edges, 146500 markings/sec, 130 secs
lola: 22184583 markings, 58789278 edges, 142181 markings/sec, 135 secs
lola: 22914470 markings, 60639438 edges, 145977 markings/sec, 140 secs
lola: 23663084 markings, 62617752 edges, 149723 markings/sec, 145 secs
lola: 24433178 markings, 64584375 edges, 154019 markings/sec, 150 secs
lola: 25146921 markings, 66459383 edges, 142749 markings/sec, 155 secs
lola: 25859081 markings, 68344870 edges, 142432 markings/sec, 160 secs
lola: 26579953 markings, 70307098 edges, 144174 markings/sec, 165 secs
lola: 27291346 markings, 72168226 edges, 142279 markings/sec, 170 secs
lola: 28018578 markings, 74049919 edges, 145446 markings/sec, 175 secs
lola: 28750906 markings, 75971116 edges, 146466 markings/sec, 180 secs
lola: 29456076 markings, 77804691 edges, 141034 markings/sec, 185 secs
lola: 30120907 markings, 79612931 edges, 132966 markings/sec, 190 secs
lola: 30660962 markings, 80975575 edges, 108011 markings/sec, 195 secs
lola: 31187958 markings, 82363202 edges, 105399 markings/sec, 200 secs
lola: 31722758 markings, 83750492 edges, 106960 markings/sec, 205 secs
lola: 32256276 markings, 85144890 edges, 106704 markings/sec, 210 secs
lola: 32782342 markings, 86525657 edges, 105213 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(p_0_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 944109 markings, 2123579 edges, 188822 markings/sec, 0 secs
lola: 1839534 markings, 4191356 edges, 179085 markings/sec, 5 secs
lola: 2728185 markings, 6202612 edges, 177730 markings/sec, 10 secs
lola: 3615998 markings, 8204201 edges, 177563 markings/sec, 15 secs
lola: 4504294 markings, 10237727 edges, 177659 markings/sec, 20 secs
lola: 5375673 markings, 12297394 edges, 174276 markings/sec, 25 secs
lola: 6270959 markings, 14373869 edges, 179057 markings/sec, 30 secs
lola: 7120951 markings, 16314580 edges, 169998 markings/sec, 35 secs
lola: 7959629 markings, 18276932 edges, 167736 markings/sec, 40 secs
lola: 8869643 markings, 20401021 edges, 182003 markings/sec, 45 secs
lola: 9747277 markings, 22482067 edges, 175527 markings/sec, 50 secs
lola: 10628247 markings, 24513643 edges, 176194 markings/sec, 55 secs
lola: 11490534 markings, 26525128 edges, 172457 markings/sec, 60 secs
lola: 12369272 markings, 28626066 edges, 175748 markings/sec, 65 secs
lola: 13251005 markings, 30658416 edges, 176347 markings/sec, 70 secs
lola: 14142602 markings, 32719213 edges, 178319 markings/sec, 75 secs
lola: 15021109 markings, 34795351 edges, 175701 markings/sec, 80 secs
lola: 15884811 markings, 36843924 edges, 172740 markings/sec, 85 secs
lola: 16703701 markings, 38908564 edges, 163778 markings/sec, 90 secs
lola: 17552258 markings, 40914218 edges, 169711 markings/sec, 95 secs
lola: 18458756 markings, 43031423 edges, 181300 markings/sec, 100 secs
lola: 19341588 markings, 45059042 edges, 176566 markings/sec, 105 secs
lola: 20208139 markings, 47065560 edges, 173310 markings/sec, 110 secs
lola: 21070697 markings, 49077245 edges, 172512 markings/sec, 115 secs
lola: 21921392 markings, 51070660 edges, 170139 markings/sec, 120 secs
lola: 22759434 markings, 53008948 edges, 167608 markings/sec, 125 secs
lola: 23592824 markings, 54960594 edges, 166678 markings/sec, 130 secs
lola: 24438492 markings, 56925864 edges, 169134 markings/sec, 135 secs
lola: 25285389 markings, 58956544 edges, 169379 markings/sec, 140 secs
lola: 26163279 markings, 60992375 edges, 175578 markings/sec, 145 secs
lola: 27039090 markings, 63000890 edges, 175162 markings/sec, 150 secs
lola: 27890252 markings, 65024030 edges, 170232 markings/sec, 155 secs
lola: 28772728 markings, 67070939 edges, 176495 markings/sec, 160 secs
lola: 29637578 markings, 69074942 edges, 172970 markings/sec, 165 secs
lola: 30475200 markings, 71081322 edges, 167524 markings/sec, 170 secs
lola: 31341155 markings, 73102332 edges, 173191 markings/sec, 175 secs
lola: 32182760 markings, 75094342 edges, 168321 markings/sec, 180 secs
lola: 33036786 markings, 77132361 edges, 170805 markings/sec, 185 secs
lola: 33890786 markings, 79120318 edges, 170800 markings/sec, 190 secs
lola: 34726815 markings, 81137640 edges, 167206 markings/sec, 195 secs
lola: 35582343 markings, 83144088 edges, 171106 markings/sec, 200 secs
lola: 36416919 markings, 85138599 edges, 166915 markings/sec, 205 secs
lola: 37293314 markings, 87232677 edges, 175279 markings/sec, 210 secs
lola: 38131599 markings, 89239659 edges, 167657 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(p_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 847717 markings, 2019772 edges, 169543 markings/sec, 0 secs
lola: 1664125 markings, 3953053 edges, 163282 markings/sec, 5 secs
lola: 2386692 markings, 5722900 edges, 144513 markings/sec, 10 secs
lola: 3109309 markings, 7487419 edges, 144523 markings/sec, 15 secs
lola: 3774807 markings, 9129440 edges, 133100 markings/sec, 20 secs
lola: 4439619 markings, 10787046 edges, 132962 markings/sec, 25 secs
lola: 5212174 markings, 12652510 edges, 154511 markings/sec, 30 secs
lola: 5942712 markings, 14450562 edges, 146108 markings/sec, 35 secs
lola: 6668587 markings, 16232992 edges, 145175 markings/sec, 40 secs
lola: 7429931 markings, 18053387 edges, 152269 markings/sec, 45 secs
lola: 8156946 markings, 19803744 edges, 145403 markings/sec, 50 secs
lola: 8902180 markings, 21588658 edges, 149047 markings/sec, 55 secs
lola: 9629763 markings, 23341134 edges, 145517 markings/sec, 60 secs
lola: 10374331 markings, 25123966 edges, 148914 markings/sec, 65 secs
lola: 11097058 markings, 26862558 edges, 144545 markings/sec, 70 secs
lola: 11831943 markings, 28625268 edges, 146977 markings/sec, 75 secs
lola: 12559756 markings, 30372787 edges, 145563 markings/sec, 80 secs
lola: 13275721 markings, 32077327 edges, 143193 markings/sec, 85 secs
lola: 13964824 markings, 33728601 edges, 137821 markings/sec, 90 secs
lola: 14653690 markings, 35378217 edges, 137773 markings/sec, 95 secs
lola: 15313562 markings, 36957315 edges, 131974 markings/sec, 100 secs
lola: 15944871 markings, 38462836 edges, 126262 markings/sec, 105 secs
lola: 16621489 markings, 40079968 edges, 135324 markings/sec, 110 secs
lola: 17271530 markings, 41686472 edges, 130008 markings/sec, 115 secs
lola: 17940496 markings, 43344725 edges, 133793 markings/sec, 120 secs
lola: 18591951 markings, 44932362 edges, 130291 markings/sec, 125 secs
lola: 19226141 markings, 46464716 edges, 126838 markings/sec, 130 secs
lola: 19862689 markings, 47984946 edges, 127310 markings/sec, 135 secs
lola: 20497054 markings, 49511268 edges, 126873 markings/sec, 140 secs
lola: 21135220 markings, 51038731 edges, 127633 markings/sec, 145 secs
lola: 21765907 markings, 52557339 edges, 126137 markings/sec, 150 secs
lola: 22409695 markings, 54096144 edges, 128758 markings/sec, 155 secs
lola: 23056575 markings, 55645951 edges, 129376 markings/sec, 160 secs
lola: 23687940 markings, 57172067 edges, 126273 markings/sec, 165 secs
lola: 24327865 markings, 58699679 edges, 127985 markings/sec, 170 secs
lola: 24963673 markings, 60230411 edges, 127162 markings/sec, 175 secs
lola: 25600262 markings, 61761245 edges, 127318 markings/sec, 180 secs
lola: 26259869 markings, 63335167 edges, 131921 markings/sec, 185 secs
lola: 26902892 markings, 64871383 edges, 128605 markings/sec, 190 secs
lola: 27543119 markings, 66406954 edges, 128045 markings/sec, 195 secs
lola: 28167576 markings, 67888952 edges, 124891 markings/sec, 200 secs
lola: 28795772 markings, 69385137 edges, 125639 markings/sec, 205 secs
lola: 29384848 markings, 70792164 edges, 117815 markings/sec, 210 secs
lola: 29995645 markings, 72268200 edges, 122159 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(p_0_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 931261 markings, 2311046 edges, 186252 markings/sec, 0 secs
lola: 1852614 markings, 4631145 edges, 184271 markings/sec, 5 secs
lola: 2758046 markings, 6919908 edges, 181086 markings/sec, 10 secs
lola: 3617248 markings, 9185159 edges, 171840 markings/sec, 15 secs
lola: 4447304 markings, 11399506 edges, 166011 markings/sec, 20 secs
lola: 5250314 markings, 13602208 edges, 160602 markings/sec, 25 secs
lola: 6089428 markings, 15755432 edges, 167823 markings/sec, 30 secs
lola: 6938084 markings, 17926257 edges, 169731 markings/sec, 35 secs
lola: 7750603 markings, 20025053 edges, 162504 markings/sec, 40 secs
lola: 8583702 markings, 22207203 edges, 166620 markings/sec, 45 secs
lola: 9437313 markings, 24429145 edges, 170722 markings/sec, 50 secs
lola: 10290553 markings, 26630066 edges, 170648 markings/sec, 55 secs
lola: 11139362 markings, 28820554 edges, 169762 markings/sec, 60 secs
lola: 11993665 markings, 31024803 edges, 170861 markings/sec, 65 secs
lola: 12840158 markings, 33210582 edges, 169299 markings/sec, 70 secs
lola: 13690967 markings, 35407003 edges, 170162 markings/sec, 75 secs
lola: 14533711 markings, 37609672 edges, 168549 markings/sec, 80 secs
lola: 15319481 markings, 39774450 edges, 157154 markings/sec, 85 secs
lola: 16121296 markings, 41857721 edges, 160363 markings/sec, 90 secs
lola: 16915334 markings, 44020191 edges, 158808 markings/sec, 95 secs
lola: 17748917 markings, 46222213 edges, 166717 markings/sec, 100 secs
lola: 18463149 markings, 48102323 edges, 142846 markings/sec, 105 secs
lola: 19296733 markings, 50261575 edges, 166717 markings/sec, 110 secs
lola: 20150061 markings, 52426752 edges, 170666 markings/sec, 115 secs
lola: 20994775 markings, 54615201 edges, 168943 markings/sec, 120 secs
lola: 21767661 markings, 56664247 edges, 154577 markings/sec, 125 secs
lola: 22583762 markings, 58828274 edges, 163220 markings/sec, 130 secs
lola: 23364237 markings, 60908468 edges, 156095 markings/sec, 135 secs
lola: 24143820 markings, 62913593 edges, 155917 markings/sec, 140 secs
lola: 24960010 markings, 65073355 edges, 163238 markings/sec, 145 secs
lola: 25740885 markings, 67126543 edges, 156175 markings/sec, 150 secs
lola: 26589540 markings, 69282657 edges, 169731 markings/sec, 155 secs
lola: 27444343 markings, 71434349 edges, 170961 markings/sec, 160 secs
lola: 28285543 markings, 73572104 edges, 168240 markings/sec, 165 secs
lola: 29117712 markings, 75747572 edges, 166434 markings/sec, 170 secs
lola: 29946285 markings, 77906356 edges, 165715 markings/sec, 175 secs
lola: 30772823 markings, 80065894 edges, 165308 markings/sec, 180 secs
lola: 31590266 markings, 82199332 edges, 163489 markings/sec, 185 secs
lola: 32413745 markings, 84332353 edges, 164696 markings/sec, 190 secs
lola: 33243155 markings, 86490451 edges, 165882 markings/sec, 195 secs
lola: 34061359 markings, 88645484 edges, 163641 markings/sec, 200 secs
lola: 34883112 markings, 90772768 edges, 164351 markings/sec, 205 secs
lola: 35703720 markings, 92937527 edges, 164122 markings/sec, 210 secs
lola: 36542931 markings, 95114666 edges, 167842 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(p_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 854808 markings, 2709405 edges, 170962 markings/sec, 0 secs
lola: 1704981 markings, 5375867 edges, 170035 markings/sec, 5 secs
lola: 2550601 markings, 7984004 edges, 169124 markings/sec, 10 secs
lola: 3389998 markings, 10586263 edges, 167879 markings/sec, 15 secs
lola: 4195784 markings, 13092389 edges, 161157 markings/sec, 20 secs
lola: 4949080 markings, 15464705 edges, 150659 markings/sec, 25 secs
lola: 5731989 markings, 17885722 edges, 156582 markings/sec, 30 secs
lola: 6466429 markings, 20244202 edges, 146888 markings/sec, 35 secs
lola: 7154915 markings, 22480955 edges, 137697 markings/sec, 40 secs
lola: 7830386 markings, 24667937 edges, 135094 markings/sec, 45 secs
lola: 8538625 markings, 26940081 edges, 141648 markings/sec, 50 secs
lola: 9254322 markings, 29273238 edges, 143139 markings/sec, 55 secs
lola: 10088631 markings, 31868530 edges, 166862 markings/sec, 60 secs
lola: 10878205 markings, 34424845 edges, 157915 markings/sec, 65 secs
lola: 11534993 markings, 36593967 edges, 131358 markings/sec, 70 secs
lola: 12210623 markings, 38797228 edges, 135126 markings/sec, 75 secs
lola: 12852813 markings, 40896738 edges, 128438 markings/sec, 80 secs
lola: 13575855 markings, 43131623 edges, 144608 markings/sec, 85 secs
lola: 14286863 markings, 45370865 edges, 142202 markings/sec, 90 secs
lola: 15041783 markings, 47707571 edges, 150984 markings/sec, 95 secs
lola: 15750003 markings, 49931734 edges, 141644 markings/sec, 100 secs
lola: 16435602 markings, 52128897 edges, 137120 markings/sec, 105 secs
lola: 17065910 markings, 54186154 edges, 126062 markings/sec, 110 secs
lola: 17695189 markings, 56253612 edges, 125856 markings/sec, 115 secs
lola: 18374912 markings, 58416306 edges, 135945 markings/sec, 120 secs
lola: 18983855 markings, 60421776 edges, 121789 markings/sec, 125 secs
lola: 19714877 markings, 62739871 edges, 146204 markings/sec, 130 secs
lola: 20415294 markings, 64954344 edges, 140083 markings/sec, 135 secs
lola: 21054238 markings, 67011442 edges, 127789 markings/sec, 140 secs
lola: 21688373 markings, 69008023 edges, 126827 markings/sec, 145 secs
lola: 22467987 markings, 71355829 edges, 155923 markings/sec, 150 secs
lola: 23152557 markings, 73489130 edges, 136914 markings/sec, 155 secs
lola: 23768710 markings, 75453608 edges, 123231 markings/sec, 160 secs
lola: 24470472 markings, 77592187 edges, 140352 markings/sec, 165 secs
lola: 25082513 markings, 79556385 edges, 122408 markings/sec, 170 secs
lola: 25703890 markings, 81538884 edges, 124275 markings/sec, 175 secs
lola: 26271094 markings, 83396276 edges, 113441 markings/sec, 180 secs
lola: 26868344 markings, 85327134 edges, 119450 markings/sec, 185 secs
lola: 27487820 markings, 87312340 edges, 123895 markings/sec, 190 secs
lola: 28110510 markings, 89334909 edges, 124538 markings/sec, 195 secs
lola: 28809211 markings, 91511011 edges, 139740 markings/sec, 200 secs
lola: 29473431 markings, 93659700 edges, 132844 markings/sec, 205 secs
lola: 30136888 markings, 95814260 edges, 132691 markings/sec, 210 secs
lola: 30739651 markings, 97769701 edges, 120553 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(p_1_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 675641 markings, 1943413 edges, 135128 markings/sec, 0 secs
lola: 1295081 markings, 3729107 edges, 123888 markings/sec, 5 secs
lola: 1867601 markings, 5440590 edges, 114504 markings/sec, 10 secs
lola: 2448398 markings, 7159881 edges, 116159 markings/sec, 15 secs
lola: 2990876 markings, 8827763 edges, 108496 markings/sec, 20 secs
lola: 3519216 markings, 10424497 edges, 105668 markings/sec, 25 secs
lola: 4019513 markings, 11924203 edges, 100059 markings/sec, 30 secs
lola: 4577420 markings, 13604796 edges, 111581 markings/sec, 35 secs
lola: 5113022 markings, 15243759 edges, 107120 markings/sec, 40 secs
lola: 5651335 markings, 16870115 edges, 107663 markings/sec, 45 secs
lola: 6194840 markings, 18485539 edges, 108701 markings/sec, 50 secs
lola: 6683153 markings, 20020002 edges, 97663 markings/sec, 55 secs
lola: 7227910 markings, 21670082 edges, 108951 markings/sec, 60 secs
lola: 7743707 markings, 23244109 edges, 103159 markings/sec, 65 secs
lola: 8225563 markings, 24710133 edges, 96371 markings/sec, 70 secs
lola: 8719586 markings, 26254579 edges, 98805 markings/sec, 75 secs
lola: 9235761 markings, 27821525 edges, 103235 markings/sec, 80 secs
lola: 9713051 markings, 29312783 edges, 95458 markings/sec, 85 secs
lola: 10215716 markings, 30899622 edges, 100533 markings/sec, 90 secs
lola: 10736056 markings, 32493663 edges, 104068 markings/sec, 95 secs
lola: 11209455 markings, 33930507 edges, 94680 markings/sec, 100 secs
lola: 11683616 markings, 35374157 edges, 94832 markings/sec, 105 secs
lola: 12177692 markings, 36894307 edges, 98815 markings/sec, 110 secs
lola: 12669055 markings, 38369234 edges, 98273 markings/sec, 115 secs
lola: 13126582 markings, 39732099 edges, 91505 markings/sec, 120 secs
lola: 13624564 markings, 41262660 edges, 99596 markings/sec, 125 secs
lola: 14081967 markings, 42723264 edges, 91481 markings/sec, 130 secs
lola: 14588190 markings, 44300210 edges, 101245 markings/sec, 135 secs
lola: 15050159 markings, 45718877 edges, 92394 markings/sec, 140 secs
lola: 15524609 markings, 47187852 edges, 94890 markings/sec, 145 secs
lola: 16028191 markings, 48732120 edges, 100716 markings/sec, 150 secs
lola: 16456043 markings, 50114716 edges, 85570 markings/sec, 155 secs
lola: 16949949 markings, 51619752 edges, 98781 markings/sec, 160 secs
lola: 17459171 markings, 53165392 edges, 101844 markings/sec, 165 secs
lola: 17938849 markings, 54640867 edges, 95936 markings/sec, 170 secs
lola: 18413532 markings, 56107893 edges, 94937 markings/sec, 175 secs
lola: 18849673 markings, 57462709 edges, 87228 markings/sec, 180 secs
lola: 19286742 markings, 58810220 edges, 87414 markings/sec, 185 secs
lola: 19803219 markings, 60363049 edges, 103295 markings/sec, 190 secs
lola: 20260512 markings, 61759306 edges, 91459 markings/sec, 195 secs
lola: 20722753 markings, 63176002 edges, 92448 markings/sec, 200 secs
lola: 21195073 markings, 64630453 edges, 94464 markings/sec, 205 secs
lola: 21611979 markings, 65956651 edges, 83381 markings/sec, 210 secs
lola: 22068505 markings, 67404578 edges, 91305 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(p_0_0_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 886627 markings, 2544268 edges, 177325 markings/sec, 0 secs
lola: 1752512 markings, 5021714 edges, 173177 markings/sec, 5 secs
lola: 2580900 markings, 7386912 edges, 165678 markings/sec, 10 secs
lola: 3392537 markings, 9737926 edges, 162327 markings/sec, 15 secs
lola: 4207770 markings, 12120609 edges, 163047 markings/sec, 20 secs
lola: 5013891 markings, 14488794 edges, 161224 markings/sec, 25 secs
lola: 5846268 markings, 16914319 edges, 166475 markings/sec, 30 secs
lola: 6671386 markings, 19373484 edges, 165024 markings/sec, 35 secs
lola: 7495997 markings, 21835801 edges, 164922 markings/sec, 40 secs
lola: 8316434 markings, 24283472 edges, 164087 markings/sec, 45 secs
lola: 9143028 markings, 26726380 edges, 165319 markings/sec, 50 secs
lola: 9964182 markings, 29157375 edges, 164231 markings/sec, 55 secs
lola: 10754318 markings, 31619251 edges, 158027 markings/sec, 60 secs
lola: 11560357 markings, 34069647 edges, 161208 markings/sec, 65 secs
lola: 12349325 markings, 36474219 edges, 157794 markings/sec, 70 secs
lola: 13157272 markings, 38823210 edges, 161589 markings/sec, 75 secs
lola: 13931305 markings, 41222068 edges, 154807 markings/sec, 80 secs
lola: 14782091 markings, 43702774 edges, 170157 markings/sec, 85 secs
lola: 15602723 markings, 46149189 edges, 164126 markings/sec, 90 secs
lola: 16424799 markings, 48585726 edges, 164415 markings/sec, 95 secs
lola: 17226753 markings, 50905313 edges, 160391 markings/sec, 100 secs
lola: 18001435 markings, 53229061 edges, 154936 markings/sec, 105 secs
lola: 18767492 markings, 55543221 edges, 153211 markings/sec, 110 secs
lola: 19546236 markings, 57840900 edges, 155749 markings/sec, 115 secs
lola: 20327252 markings, 60176455 edges, 156203 markings/sec, 120 secs
lola: 21079588 markings, 62526481 edges, 150467 markings/sec, 125 secs
lola: 21836771 markings, 64895493 edges, 151437 markings/sec, 130 secs
lola: 22641572 markings, 67346789 edges, 160960 markings/sec, 135 secs
lola: 23396354 markings, 69784387 edges, 150956 markings/sec, 140 secs
lola: 24171773 markings, 72210680 edges, 155084 markings/sec, 145 secs
lola: 24918636 markings, 74582503 edges, 149373 markings/sec, 150 secs
lola: 25691838 markings, 77009521 edges, 154640 markings/sec, 155 secs
lola: 26480480 markings, 79379792 edges, 157728 markings/sec, 160 secs
lola: 27276136 markings, 81780971 edges, 159131 markings/sec, 165 secs
lola: 28073358 markings, 84122461 edges, 159444 markings/sec, 170 secs
lola: 28888195 markings, 86494289 edges, 162967 markings/sec, 175 secs
lola: 29684154 markings, 88874331 edges, 159192 markings/sec, 180 secs
lola: 30465356 markings, 91246460 edges, 156240 markings/sec, 185 secs
lola: 31255932 markings, 93553629 edges, 158115 markings/sec, 190 secs
lola: 32012508 markings, 95853617 edges, 151315 markings/sec, 195 secs
lola: 32811840 markings, 98202362 edges, 159866 markings/sec, 200 secs
lola: 33599379 markings, 100564227 edges, 157508 markings/sec, 205 secs
lola: 34422045 markings, 102977992 edges, 164533 markings/sec, 210 secs
lola: 35221702 markings, 105348826 edges, 159931 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(p_1_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 851643 markings, 1958630 edges, 170329 markings/sec, 0 secs
lola: 1632865 markings, 3778930 edges, 156244 markings/sec, 5 secs
lola: 2388257 markings, 5553783 edges, 151078 markings/sec, 10 secs
lola: 3156665 markings, 7398417 edges, 153682 markings/sec, 15 secs
lola: 3880527 markings, 9179014 edges, 144772 markings/sec, 20 secs
lola: 4573619 markings, 10861453 edges, 138618 markings/sec, 25 secs
lola: 5328305 markings, 12742071 edges, 150937 markings/sec, 30 secs
lola: 6045546 markings, 14503969 edges, 143448 markings/sec, 35 secs
lola: 6753053 markings, 16244285 edges, 141501 markings/sec, 40 secs
lola: 7435762 markings, 17900726 edges, 136542 markings/sec, 45 secs
lola: 8121654 markings, 19543685 edges, 137178 markings/sec, 50 secs
lola: 8772491 markings, 21206584 edges, 130167 markings/sec, 55 secs
lola: 9435895 markings, 22864161 edges, 132681 markings/sec, 60 secs
lola: 10078674 markings, 24450990 edges, 128556 markings/sec, 65 secs
lola: 10719213 markings, 26008888 edges, 128108 markings/sec, 70 secs
lola: 11343341 markings, 27511382 edges, 124826 markings/sec, 75 secs
lola: 11948566 markings, 29010441 edges, 121045 markings/sec, 80 secs
lola: 12548045 markings, 30535077 edges, 119896 markings/sec, 85 secs
lola: 13110229 markings, 31899738 edges, 112437 markings/sec, 90 secs
lola: 13664713 markings, 33289072 edges, 110897 markings/sec, 95 secs
lola: 14296435 markings, 34820907 edges, 126344 markings/sec, 100 secs
lola: 15000495 markings, 36539873 edges, 140812 markings/sec, 105 secs
lola: 15700689 markings, 38260719 edges, 140039 markings/sec, 110 secs
lola: 16358422 markings, 39907425 edges, 131547 markings/sec, 115 secs
lola: 16926309 markings, 41424542 edges, 113577 markings/sec, 120 secs
lola: 17594029 markings, 43080267 edges, 133544 markings/sec, 125 secs
lola: 18244685 markings, 44674631 edges, 130131 markings/sec, 130 secs
lola: 18865461 markings, 46196803 edges, 124155 markings/sec, 135 secs
lola: 19511590 markings, 47794719 edges, 129226 markings/sec, 140 secs
lola: 20133768 markings, 49318238 edges, 124436 markings/sec, 145 secs
lola: 20693237 markings, 50782545 edges, 111894 markings/sec, 150 secs
lola: 21320458 markings, 52325266 edges, 125444 markings/sec, 155 secs
lola: 21891953 markings, 53794499 edges, 114299 markings/sec, 160 secs
lola: 22477310 markings, 55208903 edges, 117071 markings/sec, 165 secs
lola: 23023252 markings, 56597566 edges, 109188 markings/sec, 170 secs
lola: 23575270 markings, 58085976 edges, 110404 markings/sec, 175 secs
lola: 24207189 markings, 59624022 edges, 126384 markings/sec, 180 secs
lola: 24775756 markings, 61034403 edges, 113713 markings/sec, 185 secs
lola: 25459420 markings, 62652809 edges, 136733 markings/sec, 190 secs
lola: 26086125 markings, 64168384 edges, 125341 markings/sec, 195 secs
lola: 26795455 markings, 65821234 edges, 141866 markings/sec, 200 secs
lola: 27437939 markings, 67363184 edges, 128497 markings/sec, 205 secs
lola: 28053287 markings, 68836543 edges, 123070 markings/sec, 210 secs
lola: 28681562 markings, 70489841 edges, 125655 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(p_2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 888011 markings, 2213286 edges, 177602 markings/sec, 0 secs
lola: 1719453 markings, 4321713 edges, 166288 markings/sec, 5 secs
lola: 2486111 markings, 6334684 edges, 153332 markings/sec, 10 secs
lola: 3262705 markings, 8350012 edges, 155319 markings/sec, 15 secs
lola: 4132356 markings, 10606010 edges, 173930 markings/sec, 20 secs
lola: 4949847 markings, 12763859 edges, 163498 markings/sec, 25 secs
lola: 5729860 markings, 14928872 edges, 156003 markings/sec, 30 secs
lola: 6521749 markings, 17060323 edges, 158378 markings/sec, 35 secs
lola: 7277071 markings, 19145705 edges, 151064 markings/sec, 40 secs
lola: 8042928 markings, 21236898 edges, 153171 markings/sec, 45 secs
lola: 8728409 markings, 23146028 edges, 137096 markings/sec, 50 secs
lola: 9403098 markings, 24954107 edges, 134938 markings/sec, 55 secs
lola: 10277688 markings, 27141954 edges, 174918 markings/sec, 60 secs
lola: 11127244 markings, 29434819 edges, 169911 markings/sec, 65 secs
lola: 11976075 markings, 31728015 edges, 169766 markings/sec, 70 secs
lola: 12833511 markings, 33981339 edges, 171487 markings/sec, 75 secs
lola: 13601374 markings, 36073342 edges, 153573 markings/sec, 80 secs
lola: 14363673 markings, 38067639 edges, 152460 markings/sec, 85 secs
lola: 15163187 markings, 40026663 edges, 159903 markings/sec, 90 secs
lola: 15894407 markings, 41886546 edges, 146244 markings/sec, 95 secs
lola: 16682536 markings, 43956086 edges, 157626 markings/sec, 100 secs
lola: 17442373 markings, 46068190 edges, 151967 markings/sec, 105 secs
lola: 18184117 markings, 48073949 edges, 148349 markings/sec, 110 secs
lola: 18893024 markings, 49950274 edges, 141781 markings/sec, 115 secs
lola: 19636834 markings, 51938649 edges, 148762 markings/sec, 120 secs
lola: 20344773 markings, 53818023 edges, 141588 markings/sec, 125 secs
lola: 21098047 markings, 55885250 edges, 150655 markings/sec, 130 secs
lola: 21835192 markings, 57885550 edges, 147429 markings/sec, 135 secs
lola: 22588750 markings, 59808387 edges, 150712 markings/sec, 140 secs
lola: 23347645 markings, 61727450 edges, 151779 markings/sec, 145 secs
lola: 24102774 markings, 63750834 edges, 151026 markings/sec, 150 secs
lola: 24852950 markings, 65713895 edges, 150035 markings/sec, 155 secs
lola: 25588019 markings, 67617352 edges, 147014 markings/sec, 160 secs
lola: 26310044 markings, 69595644 edges, 144405 markings/sec, 165 secs
lola: 27041092 markings, 71548019 edges, 146210 markings/sec, 170 secs
lola: 27791708 markings, 73433635 edges, 150123 markings/sec, 175 secs
lola: 28548158 markings, 75428582 edges, 151290 markings/sec, 180 secs
lola: 29267859 markings, 77327945 edges, 143940 markings/sec, 185 secs
lola: 29993406 markings, 79263436 edges, 145109 markings/sec, 190 secs
lola: 30723106 markings, 81142989 edges, 145940 markings/sec, 195 secs
lola: 31454079 markings, 83008411 edges, 146195 markings/sec, 200 secs
lola: 32164560 markings, 84914953 edges, 142096 markings/sec, 205 secs
lola: 32894466 markings, 86808940 edges, 145981 markings/sec, 210 secs
lola: 33630276 markings, 88692869 edges, 147162 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(p_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 746599 markings, 1991562 edges, 149320 markings/sec, 0 secs
lola: 1453870 markings, 3879033 edges, 141454 markings/sec, 5 secs
lola: 2124869 markings, 5661091 edges, 134200 markings/sec, 10 secs
lola: 2797762 markings, 7516992 edges, 134579 markings/sec, 15 secs
lola: 3489624 markings, 9364649 edges, 138372 markings/sec, 20 secs
lola: 4169651 markings, 11155977 edges, 136005 markings/sec, 25 secs
lola: 4790537 markings, 12898241 edges, 124177 markings/sec, 30 secs
lola: 5413389 markings, 14597095 edges, 124570 markings/sec, 35 secs
lola: 6017568 markings, 16324674 edges, 120836 markings/sec, 40 secs
lola: 6600832 markings, 18009748 edges, 116653 markings/sec, 45 secs
lola: 7231069 markings, 19774775 edges, 126047 markings/sec, 50 secs
lola: 7871419 markings, 21552684 edges, 128070 markings/sec, 55 secs
lola: 8585083 markings, 23439269 edges, 142733 markings/sec, 60 secs
lola: 9269662 markings, 25260819 edges, 136916 markings/sec, 65 secs
lola: 9905162 markings, 27003178 edges, 127100 markings/sec, 70 secs
lola: 10511674 markings, 28659508 edges, 121302 markings/sec, 75 secs
lola: 11103428 markings, 30334614 edges, 118351 markings/sec, 80 secs
lola: 11679678 markings, 31976731 edges, 115250 markings/sec, 85 secs
lola: 12317066 markings, 33732010 edges, 127478 markings/sec, 90 secs
lola: 12948179 markings, 35443652 edges, 126223 markings/sec, 95 secs
lola: 13635335 markings, 37254160 edges, 137431 markings/sec, 100 secs
lola: 14273551 markings, 38997617 edges, 127643 markings/sec, 105 secs
lola: 14846726 markings, 40652450 edges, 114635 markings/sec, 110 secs
lola: 15415896 markings, 42294136 edges, 113834 markings/sec, 115 secs
lola: 15947470 markings, 43848917 edges, 106315 markings/sec, 120 secs
lola: 16460372 markings, 45399056 edges, 102580 markings/sec, 125 secs
lola: 17094179 markings, 47130807 edges, 126761 markings/sec, 130 secs
lola: 17712219 markings, 48835292 edges, 123608 markings/sec, 135 secs
lola: 18231887 markings, 50377155 edges, 103934 markings/sec, 140 secs
lola: 18814139 markings, 52025081 edges, 116450 markings/sec, 145 secs
lola: 19369052 markings, 53632784 edges, 110983 markings/sec, 150 secs
lola: 19885331 markings, 55161630 edges, 103256 markings/sec, 155 secs
lola: 20517819 markings, 56900206 edges, 126498 markings/sec, 160 secs
lola: 21025873 markings, 58395071 edges, 101611 markings/sec, 165 secs
lola: 21585639 markings, 60038963 edges, 111953 markings/sec, 170 secs
lola: 22163219 markings, 61696458 edges, 115516 markings/sec, 175 secs
lola: 22698522 markings, 63286127 edges, 107061 markings/sec, 180 secs
lola: 23243291 markings, 64871808 edges, 108954 markings/sec, 185 secs
lola: 23794242 markings, 66447158 edges, 110190 markings/sec, 190 secs
lola: 24337921 markings, 68027529 edges, 108736 markings/sec, 195 secs
lola: 24943133 markings, 69731604 edges, 121042 markings/sec, 200 secs
lola: 25607216 markings, 71491683 edges, 132817 markings/sec, 205 secs
lola: 26193450 markings, 73124762 edges, 117247 markings/sec, 210 secs
lola: 26738883 markings, 74718741 edges, 109087 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(p_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 767073 markings, 2466424 edges, 153415 markings/sec, 0 secs
lola: 1499468 markings, 4824217 edges, 146479 markings/sec, 5 secs
lola: 2233102 markings, 7183899 edges, 146727 markings/sec, 10 secs
lola: 2978523 markings, 9557314 edges, 149084 markings/sec, 15 secs
lola: 3685681 markings, 11848294 edges, 141432 markings/sec, 20 secs
lola: 4410648 markings, 14169794 edges, 144993 markings/sec, 25 secs
lola: 5052127 markings, 16245408 edges, 128296 markings/sec, 30 secs
lola: 5690785 markings, 18341776 edges, 127732 markings/sec, 35 secs
lola: 6360065 markings, 20540041 edges, 133856 markings/sec, 40 secs
lola: 7007429 markings, 22647202 edges, 129473 markings/sec, 45 secs
lola: 7664557 markings, 24776817 edges, 131426 markings/sec, 50 secs
lola: 8373737 markings, 27036370 edges, 141836 markings/sec, 55 secs
lola: 9054914 markings, 29229704 edges, 136235 markings/sec, 60 secs
lola: 9690579 markings, 31292361 edges, 127133 markings/sec, 65 secs
lola: 10376902 markings, 33515805 edges, 137265 markings/sec, 70 secs
lola: 11008202 markings, 35515699 edges, 126260 markings/sec, 75 secs
lola: 11669694 markings, 37637441 edges, 132298 markings/sec, 80 secs
lola: 12270827 markings, 39611131 edges, 120227 markings/sec, 85 secs
lola: 12820896 markings, 41488599 edges, 110014 markings/sec, 90 secs
lola: 13439740 markings, 43456661 edges, 123769 markings/sec, 95 secs
lola: 14032619 markings, 45380145 edges, 118576 markings/sec, 100 secs
lola: 14628155 markings, 47336668 edges, 119107 markings/sec, 105 secs
lola: 15240011 markings, 49296629 edges, 122371 markings/sec, 110 secs
lola: 15899189 markings, 51393698 edges, 131836 markings/sec, 115 secs
lola: 16489730 markings, 53284472 edges, 118108 markings/sec, 120 secs
lola: 17071835 markings, 55232859 edges, 116421 markings/sec, 125 secs
lola: 17652900 markings, 57181856 edges, 116213 markings/sec, 130 secs
lola: 18359562 markings, 59442774 edges, 141332 markings/sec, 135 secs
lola: 19032810 markings, 61624758 edges, 134650 markings/sec, 140 secs
lola: 19660541 markings, 63655256 edges, 125546 markings/sec, 145 secs
lola: 20271341 markings, 65670628 edges, 122160 markings/sec, 150 secs
lola: 20921402 markings, 67765810 edges, 130012 markings/sec, 155 secs
lola: 21564643 markings, 69828822 edges, 128648 markings/sec, 160 secs
lola: 22211077 markings, 71922571 edges, 129287 markings/sec, 165 secs
lola: 22909610 markings, 74160264 edges, 139707 markings/sec, 170 secs
lola: 23601414 markings, 76349532 edges, 138361 markings/sec, 175 secs
lola: 24206129 markings, 78362150 edges, 120943 markings/sec, 180 secs
lola: 24819109 markings, 80362853 edges, 122596 markings/sec, 185 secs
lola: 25462038 markings, 82457987 edges, 128586 markings/sec, 190 secs
lola: 26128000 markings, 84569749 edges, 133192 markings/sec, 195 secs
lola: 26742583 markings, 86587363 edges, 122917 markings/sec, 200 secs
lola: 27424181 markings, 88778765 edges, 136320 markings/sec, 205 secs
lola: 28110799 markings, 90983806 edges, 137324 markings/sec, 210 secs
lola: 28831638 markings, 93301737 edges, 144168 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(p_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 745392 markings, 1988438 edges, 149078 markings/sec, 0 secs
lola: 1444879 markings, 3855372 edges, 139897 markings/sec, 5 secs
lola: 2107947 markings, 5614125 edges, 132614 markings/sec, 10 secs
lola: 2767824 markings, 7436323 edges, 131975 markings/sec, 15 secs
lola: 3451976 markings, 9267196 edges, 136830 markings/sec, 20 secs
lola: 4126226 markings, 11042992 edges, 134850 markings/sec, 25 secs
lola: 4730084 markings, 12738048 edges, 120772 markings/sec, 30 secs
lola: 5354696 markings, 14429390 edges, 124922 markings/sec, 35 secs
lola: 5939941 markings, 16101675 edges, 117049 markings/sec, 40 secs
lola: 6517542 markings, 17757520 edges, 115520 markings/sec, 45 secs
lola: 7093471 markings, 19407938 edges, 115186 markings/sec, 50 secs
lola: 7713053 markings, 21137765 edges, 123916 markings/sec, 55 secs
lola: 8435577 markings, 23045045 edges, 144505 markings/sec, 60 secs
lola: 9122528 markings, 24868254 edges, 137390 markings/sec, 65 secs
lola: 9743170 markings, 26526856 edges, 124128 markings/sec, 70 secs
lola: 10264493 markings, 27985378 edges, 104265 markings/sec, 75 secs
lola: 10805300 markings, 29480709 edges, 108161 markings/sec, 80 secs
lola: 11323075 markings, 30931838 edges, 103555 markings/sec, 85 secs
lola: 11806880 markings, 32315754 edges, 96761 markings/sec, 90 secs
lola: 12363694 markings, 33875667 edges, 111363 markings/sec, 95 secs
lola: 12884924 markings, 35275609 edges, 104246 markings/sec, 100 secs
lola: 13473948 markings, 36831951 edges, 117805 markings/sec, 105 secs
lola: 14047777 markings, 38355391 edges, 114766 markings/sec, 110 secs
lola: 14557454 markings, 39814621 edges, 101935 markings/sec, 115 secs
lola: 15051876 markings, 41253967 edges, 98884 markings/sec, 120 secs
lola: 15520771 markings, 42599139 edges, 93779 markings/sec, 125 secs
lola: 15984035 markings, 43958143 edges, 92653 markings/sec, 130 secs
lola: 16429602 markings, 45304854 edges, 89113 markings/sec, 135 secs
lola: 16921173 markings, 46680693 edges, 98314 markings/sec, 140 secs
lola: 17500653 markings, 48213665 edges, 115896 markings/sec, 145 secs
lola: 17949817 markings, 49541395 edges, 89833 markings/sec, 150 secs
lola: 18453533 markings, 50979420 edges, 100743 markings/sec, 155 secs
lola: 18923245 markings, 52334698 edges, 93942 markings/sec, 160 secs
lola: 19385364 markings, 53682383 edges, 92424 markings/sec, 165 secs
lola: 19841551 markings, 55043908 edges, 91237 markings/sec, 170 secs
lola: 20364607 markings, 56499902 edges, 104611 markings/sec, 175 secs
lola: 20870572 markings, 57941109 edges, 101193 markings/sec, 180 secs
lola: 21347827 markings, 59346720 edges, 95451 markings/sec, 185 secs
lola: 21819214 markings, 60745460 edges, 94277 markings/sec, 190 secs
lola: 22334629 markings, 62186467 edges, 103083 markings/sec, 195 secs
lola: 22768526 markings, 63481052 edges, 86779 markings/sec, 200 secs
lola: 23234751 markings, 64847202 edges, 93245 markings/sec, 205 secs
lola: 23693911 markings, 66152403 edges, 91832 markings/sec, 210 secs
lola: 24177775 markings, 67568491 edges, 96773 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 794706 markings, 2552268 edges, 158941 markings/sec, 0 secs
lola: 1547587 markings, 4990200 edges, 150576 markings/sec, 5 secs
lola: 2312214 markings, 7434035 edges, 152925 markings/sec, 10 secs
lola: 3076013 markings, 9870489 edges, 152760 markings/sec, 15 secs
lola: 3803264 markings, 12226274 edges, 145450 markings/sec, 20 secs
lola: 4554928 markings, 14625724 edges, 150333 markings/sec, 25 secs
lola: 5205770 markings, 16751601 edges, 130168 markings/sec, 30 secs
lola: 5871403 markings, 18951840 edges, 133127 markings/sec, 35 secs
lola: 6573135 markings, 21229421 edges, 140346 markings/sec, 40 secs
lola: 7257134 markings, 23446651 edges, 136800 markings/sec, 45 secs
lola: 7944761 markings, 25668746 edges, 137525 markings/sec, 50 secs
lola: 8687906 markings, 28030409 edges, 148629 markings/sec, 55 secs
lola: 9365410 markings, 30243456 edges, 135501 markings/sec, 60 secs
lola: 10061644 markings, 32480358 edges, 139247 markings/sec, 65 secs
lola: 10750136 markings, 34699339 edges, 137698 markings/sec, 70 secs
lola: 11412137 markings, 36804091 edges, 132400 markings/sec, 75 secs
lola: 12056703 markings, 38917617 edges, 128913 markings/sec, 80 secs
lola: 12640165 markings, 40898115 edges, 116692 markings/sec, 85 secs
lola: 13275209 markings, 42922190 edges, 127009 markings/sec, 90 secs
lola: 13898021 markings, 44949157 edges, 124562 markings/sec, 95 secs
lola: 14520986 markings, 46979609 edges, 124593 markings/sec, 100 secs
lola: 15151538 markings, 49013196 edges, 126110 markings/sec, 105 secs
lola: 15832923 markings, 51179374 edges, 136277 markings/sec, 110 secs
lola: 16457833 markings, 53181425 edges, 124982 markings/sec, 115 secs
lola: 17063005 markings, 55205052 edges, 121034 markings/sec, 120 secs
lola: 17667702 markings, 57233755 edges, 120939 markings/sec, 125 secs
lola: 18402285 markings, 59577555 edges, 146917 markings/sec, 130 secs
lola: 19095033 markings, 61827170 edges, 138550 markings/sec, 135 secs
lola: 19749495 markings, 63952816 edges, 130892 markings/sec, 140 secs
lola: 20401006 markings, 66088193 edges, 130302 markings/sec, 145 secs
lola: 21076925 markings, 68254231 edges, 135184 markings/sec, 150 secs
lola: 21739464 markings, 70387007 edges, 132508 markings/sec, 155 secs
lola: 22404257 markings, 72532931 edges, 132959 markings/sec, 160 secs
lola: 23119758 markings, 74827231 edges, 143100 markings/sec, 165 secs
lola: 23794468 markings, 76983188 edges, 134942 markings/sec, 170 secs
lola: 24402842 markings, 79013112 edges, 121675 markings/sec, 175 secs
lola: 25030493 markings, 81059033 edges, 125530 markings/sec, 180 secs
lola: 25698909 markings, 83211305 edges, 133683 markings/sec, 185 secs
lola: 26367437 markings, 85361342 edges, 133706 markings/sec, 190 secs
lola: 27020360 markings, 87480618 edges, 130585 markings/sec, 195 secs
lola: 27720571 markings, 89722806 edges, 140042 markings/sec, 200 secs
lola: 28417881 markings, 91989127 edges, 139462 markings/sec, 205 secs
lola: 29151832 markings, 94346847 edges, 146790 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 806521 markings, 2555012 edges, 161304 markings/sec, 0 secs
lola: 1657450 markings, 5224741 edges, 170186 markings/sec, 5 secs
lola: 2501834 markings, 7836730 edges, 168877 markings/sec, 10 secs
lola: 3343293 markings, 10446371 edges, 168292 markings/sec, 15 secs
lola: 4152884 markings, 12957356 edges, 161918 markings/sec, 20 secs
lola: 4903877 markings, 15324954 edges, 150199 markings/sec, 25 secs
lola: 5686787 markings, 17738878 edges, 156582 markings/sec, 30 secs
lola: 6421417 markings, 20096933 edges, 146926 markings/sec, 35 secs
lola: 7123799 markings, 22371946 edges, 140476 markings/sec, 40 secs
lola: 7811064 markings, 24603974 edges, 137453 markings/sec, 45 secs
lola: 8531492 markings, 26918068 edges, 144086 markings/sec, 50 secs
lola: 9242330 markings, 29233674 edges, 142168 markings/sec, 55 secs
lola: 10068192 markings, 31805428 edges, 165172 markings/sec, 60 secs
lola: 10850771 markings, 34334343 edges, 156516 markings/sec, 65 secs
lola: 11520960 markings, 36548184 edges, 134038 markings/sec, 70 secs
lola: 12209776 markings, 38794370 edges, 137763 markings/sec, 75 secs
lola: 12864875 markings, 40931384 edges, 131020 markings/sec, 80 secs
lola: 13596773 markings, 43196065 edges, 146380 markings/sec, 85 secs
lola: 14313643 markings, 45460673 edges, 143374 markings/sec, 90 secs
lola: 15079329 markings, 47824174 edges, 153137 markings/sec, 95 secs
lola: 15790921 markings, 50058439 edges, 142318 markings/sec, 100 secs
lola: 16488520 markings, 52308035 edges, 139520 markings/sec, 105 secs
lola: 17126788 markings, 54386432 edges, 127654 markings/sec, 110 secs
lola: 17767748 markings, 56487963 edges, 128192 markings/sec, 115 secs
lola: 18462548 markings, 58708127 edges, 138960 markings/sec, 120 secs
lola: 19084125 markings, 60748184 edges, 124315 markings/sec, 125 secs
lola: 19843557 markings, 63144880 edges, 151886 markings/sec, 130 secs
lola: 20545237 markings, 65352127 edges, 140336 markings/sec, 135 secs
lola: 21165772 markings, 67372360 edges, 124107 markings/sec, 140 secs
lola: 21863557 markings, 69532919 edges, 139557 markings/sec, 145 secs
lola: 22624521 markings, 71829182 edges, 152193 markings/sec, 150 secs
lola: 23305747 markings, 73972019 edges, 136245 markings/sec, 155 secs
lola: 23939051 markings, 75968551 edges, 126661 markings/sec, 160 secs
lola: 24636035 markings, 78110688 edges, 139397 markings/sec, 165 secs
lola: 25263796 markings, 80126452 edges, 125552 markings/sec, 170 secs
lola: 25861282 markings, 82055222 edges, 119497 markings/sec, 175 secs
lola: 26449025 markings, 83953943 edges, 117549 markings/sec, 180 secs
lola: 27028611 markings, 85862596 edges, 115917 markings/sec, 185 secs
lola: 27672978 markings, 87913066 edges, 128873 markings/sec, 190 secs
lola: 28285245 markings, 89912554 edges, 122453 markings/sec, 195 secs
lola: 29017097 markings, 92177601 edges, 146370 markings/sec, 200 secs
lola: 29688440 markings, 94355868 edges, 134269 markings/sec, 205 secs
lola: 30316635 markings, 96414889 edges, 125639 markings/sec, 210 secs
lola: 30932794 markings, 98398250 edges, 123232 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_1_0_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 806746 markings, 2174335 edges, 161349 markings/sec, 0 secs
lola: 1560634 markings, 4262321 edges, 150778 markings/sec, 5 secs
lola: 2276749 markings, 6228188 edges, 143223 markings/sec, 10 secs
lola: 2998239 markings, 8214588 edges, 144298 markings/sec, 15 secs
lola: 3661976 markings, 10090172 edges, 132747 markings/sec, 20 secs
lola: 4307279 markings, 11863726 edges, 129061 markings/sec, 25 secs
lola: 4974747 markings, 13683221 edges, 133494 markings/sec, 30 secs
lola: 5646979 markings, 15536397 edges, 134446 markings/sec, 35 secs
lola: 6284428 markings, 17362421 edges, 127490 markings/sec, 40 secs
lola: 6945671 markings, 19167821 edges, 132249 markings/sec, 45 secs
lola: 7557067 markings, 20855809 edges, 122279 markings/sec, 50 secs
lola: 8151082 markings, 22541621 edges, 118803 markings/sec, 55 secs
lola: 8769585 markings, 24304272 edges, 123701 markings/sec, 60 secs
lola: 9343124 markings, 25858030 edges, 114708 markings/sec, 65 secs
lola: 9939797 markings, 27499529 edges, 119335 markings/sec, 70 secs
lola: 10610784 markings, 29347687 edges, 134197 markings/sec, 75 secs
lola: 11264054 markings, 31131164 edges, 130654 markings/sec, 80 secs
lola: 11892155 markings, 32854332 edges, 125620 markings/sec, 85 secs
lola: 12631218 markings, 34850281 edges, 147813 markings/sec, 90 secs
lola: 13360032 markings, 36871434 edges, 145763 markings/sec, 95 secs
lola: 14014321 markings, 38720907 edges, 130858 markings/sec, 100 secs
lola: 14655473 markings, 40572601 edges, 128230 markings/sec, 105 secs
lola: 15249330 markings, 42207238 edges, 118771 markings/sec, 110 secs
lola: 15826146 markings, 43765588 edges, 115363 markings/sec, 115 secs
lola: 16400212 markings, 45349457 edges, 114813 markings/sec, 120 secs
lola: 16976453 markings, 46946123 edges, 115248 markings/sec, 125 secs
lola: 17583338 markings, 48623258 edges, 121377 markings/sec, 130 secs
lola: 18206626 markings, 50314403 edges, 124658 markings/sec, 135 secs
lola: 18893704 markings, 52166145 edges, 137416 markings/sec, 140 secs
lola: 19469843 markings, 53824958 edges, 115228 markings/sec, 145 secs
lola: 20059605 markings, 55414736 edges, 117952 markings/sec, 150 secs
lola: 20643709 markings, 57061601 edges, 116821 markings/sec, 155 secs
lola: 21172951 markings, 58562249 edges, 105848 markings/sec, 160 secs
lola: 21722566 markings, 60084767 edges, 109923 markings/sec, 165 secs
lola: 22308373 markings, 61714082 edges, 117161 markings/sec, 170 secs
lola: 22864192 markings, 63246593 edges, 111164 markings/sec, 175 secs
lola: 23405892 markings, 64754531 edges, 108340 markings/sec, 180 secs
lola: 24025178 markings, 66456295 edges, 123857 markings/sec, 185 secs
lola: 24671709 markings, 68234008 edges, 129306 markings/sec, 190 secs
lola: 25347013 markings, 70088522 edges, 135061 markings/sec, 195 secs
lola: 25996998 markings, 71943526 edges, 129997 markings/sec, 200 secs
lola: 26562030 markings, 73550685 edges, 113006 markings/sec, 205 secs
lola: 27217711 markings, 75359509 edges, 131136 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d3n3m1t11-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496298071224
--------------------
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="NeighborGrid-PT-d3n3m1t11"
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/NeighborGrid-PT-d3n3m1t11.tgz
mv NeighborGrid-PT-d3n3m1t11 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 NeighborGrid-PT-d3n3m1t11, 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 r208-smll-149581172200020"
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 ;