About the Execution of LoLA for S_SquareGrid-PT-020102
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4452.480 | 3540100.00 | 3555921.00 | 517.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-3253
Executing tool lola
Input is S_SquareGrid-PT-020102, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464000119
=====================================================================
--------------------
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 SquareGrid-PT-020102-UpperBounds-0
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-1
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-10
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-11
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-12
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-13
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-14
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-15
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-2
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-3
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-4
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-5
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-6
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-7
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-8
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496561720430
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SquareGrid-PT-020102: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_SquareGrid-PT-020102: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SquareGrid-PT-020102 @ 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: 140/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 68 places, 72 transitions, 39 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 100 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-020102-UpperBounds.task
lola: MAX(p1ol_2_1) : MAX(pb4_1_1) : MAX(pb3_2_1) : MAX(pb3_1_2) : MAX(pb4_2_2) : MAX(p1ol_1_1) : MAX(p1il_2_2) : MAX(pbl_2_1) : MAX(p1ol_1_2) : MAX(pb2_1_1) : MAX(p4il_2_2) : MAX(p3i_2_1) : MAX(p3il_2_2) : MAX(p4il_1_1) : MAX(p4il_2_1) : MAX(p3il_2_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(p1ol_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 612407 markings, 1917670 edges, 122481 markings/sec, 0 secs
lola: 1303552 markings, 3786112 edges, 138229 markings/sec, 5 secs
lola: 1942432 markings, 5634792 edges, 127776 markings/sec, 10 secs
lola: 2248184 markings, 7824613 edges, 61150 markings/sec, 15 secs
lola: 2397718 markings, 9935122 edges, 29907 markings/sec, 20 secs
lola: 2932629 markings, 11773889 edges, 106982 markings/sec, 25 secs
lola: 3269015 markings, 13382679 edges, 67277 markings/sec, 30 secs
lola: 3844037 markings, 14794104 edges, 115004 markings/sec, 35 secs
lola: 4286840 markings, 16305621 edges, 88561 markings/sec, 40 secs
lola: 4561144 markings, 18122861 edges, 54861 markings/sec, 45 secs
lola: 4631014 markings, 19723062 edges, 13974 markings/sec, 50 secs
lola: 4747496 markings, 21250104 edges, 23296 markings/sec, 55 secs
lola: 5293621 markings, 22823824 edges, 109225 markings/sec, 60 secs
lola: 5906746 markings, 24260516 edges, 122625 markings/sec, 65 secs
lola: 6493703 markings, 25546599 edges, 117391 markings/sec, 70 secs
lola: 7043050 markings, 26844292 edges, 109869 markings/sec, 75 secs
lola: 7571008 markings, 28162438 edges, 105592 markings/sec, 80 secs
lola: 8064964 markings, 29421793 edges, 98791 markings/sec, 85 secs
lola: 8522778 markings, 30653444 edges, 91563 markings/sec, 90 secs
lola: 8951450 markings, 31902646 edges, 85734 markings/sec, 95 secs
lola: 9338438 markings, 33169792 edges, 77398 markings/sec, 100 secs
lola: 9708255 markings, 34505742 edges, 73963 markings/sec, 105 secs
lola: 10035413 markings, 35930193 edges, 65432 markings/sec, 110 secs
lola: 10400169 markings, 37337656 edges, 72951 markings/sec, 115 secs
lola: 10770738 markings, 38691407 edges, 74114 markings/sec, 120 secs
lola: 11169366 markings, 40123168 edges, 79726 markings/sec, 125 secs
lola: 11613295 markings, 41595998 edges, 88786 markings/sec, 130 secs
lola: 11934330 markings, 43197967 edges, 64207 markings/sec, 135 secs
lola: 12337391 markings, 44727245 edges, 80612 markings/sec, 140 secs
lola: 12367206 markings, 46388123 edges, 5963 markings/sec, 145 secs
lola: 12371693 markings, 48081440 edges, 897 markings/sec, 150 secs
lola: 12373943 markings, 49700468 edges, 450 markings/sec, 155 secs
lola: 12375960 markings, 51198573 edges, 403 markings/sec, 160 secs
lola: 12377824 markings, 52676880 edges, 373 markings/sec, 165 secs
lola: 12381034 markings, 53982292 edges, 642 markings/sec, 170 secs
lola: 12383188 markings, 55277501 edges, 431 markings/sec, 175 secs
lola: 12384824 markings, 56584186 edges, 327 markings/sec, 180 secs
lola: 12385989 markings, 57899574 edges, 233 markings/sec, 185 secs
lola: 12387078 markings, 59218558 edges, 218 markings/sec, 190 secs
lola: 12387979 markings, 60541776 edges, 180 markings/sec, 195 secs
lola: 12475820 markings, 61839631 edges, 17568 markings/sec, 200 secs
lola: 12632990 markings, 63115709 edges, 31434 markings/sec, 205 secs
lola: 12758829 markings, 64315991 edges, 25168 markings/sec, 210 secs
lola: 12802063 markings, 65703224 edges, 8647 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(pb4_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 555723 markings, 2081729 edges, 111145 markings/sec, 0 secs
lola: 1294204 markings, 3812387 edges, 147696 markings/sec, 5 secs
lola: 1902701 markings, 5591696 edges, 121699 markings/sec, 10 secs
lola: 2188491 markings, 7690736 edges, 57158 markings/sec, 15 secs
lola: 2290722 markings, 9617373 edges, 20446 markings/sec, 20 secs
lola: 2688799 markings, 11407144 edges, 79615 markings/sec, 25 secs
lola: 2965802 markings, 13138312 edges, 55401 markings/sec, 30 secs
lola: 3223613 markings, 14873996 edges, 51562 markings/sec, 35 secs
lola: 3444788 markings, 16392299 edges, 44235 markings/sec, 40 secs
lola: 3508276 markings, 17901153 edges, 12698 markings/sec, 45 secs
lola: 4038677 markings, 19495612 edges, 106080 markings/sec, 50 secs
lola: 4389906 markings, 21190135 edges, 70246 markings/sec, 55 secs
lola: 4739878 markings, 22898564 edges, 69994 markings/sec, 60 secs
lola: 5157689 markings, 24467767 edges, 83562 markings/sec, 65 secs
lola: 5537504 markings, 25989659 edges, 75963 markings/sec, 70 secs
lola: 5898588 markings, 27699269 edges, 72217 markings/sec, 75 secs
lola: 6124105 markings, 29608969 edges, 45103 markings/sec, 80 secs
lola: 6176277 markings, 31283564 edges, 10434 markings/sec, 85 secs
lola: 6414359 markings, 32936027 edges, 47616 markings/sec, 90 secs
lola: 6620330 markings, 34623717 edges, 41194 markings/sec, 95 secs
lola: 6861820 markings, 35988023 edges, 48298 markings/sec, 100 secs
lola: 7096900 markings, 37528495 edges, 47016 markings/sec, 105 secs
lola: 7162663 markings, 39091583 edges, 13153 markings/sec, 110 secs
lola: 7414518 markings, 40621599 edges, 50371 markings/sec, 115 secs
lola: 8098824 markings, 42174225 edges, 136861 markings/sec, 120 secs
lola: 8566556 markings, 43689002 edges, 93546 markings/sec, 125 secs
lola: 9160182 markings, 45048294 edges, 118725 markings/sec, 130 secs
lola: 9764572 markings, 46509604 edges, 120878 markings/sec, 135 secs
lola: 9978818 markings, 48064567 edges, 42849 markings/sec, 140 secs
lola: 10272778 markings, 49673263 edges, 58792 markings/sec, 145 secs
lola: 10518020 markings, 51295629 edges, 49048 markings/sec, 150 secs
lola: 10969716 markings, 52879450 edges, 90339 markings/sec, 155 secs
lola: 11294355 markings, 54226725 edges, 64928 markings/sec, 160 secs
lola: 11595043 markings, 55545581 edges, 60138 markings/sec, 165 secs
lola: 11873455 markings, 56844353 edges, 55682 markings/sec, 170 secs
lola: 12138057 markings, 58127494 edges, 52920 markings/sec, 175 secs
lola: 12395324 markings, 59397222 edges, 51453 markings/sec, 180 secs
lola: 12639387 markings, 60660400 edges, 48813 markings/sec, 185 secs
lola: 12880526 markings, 61927986 edges, 48228 markings/sec, 190 secs
lola: 13114634 markings, 63188577 edges, 46822 markings/sec, 195 secs
lola: 13343640 markings, 64458027 edges, 45801 markings/sec, 200 secs
lola: 13567745 markings, 65739728 edges, 44821 markings/sec, 205 secs
lola: 13794737 markings, 67055025 edges, 45398 markings/sec, 210 secs
lola: 14022614 markings, 68403827 edges, 45575 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(pb3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 842380 markings, 1963639 edges, 168476 markings/sec, 0 secs
lola: 1486892 markings, 3661979 edges, 128902 markings/sec, 5 secs
lola: 2133833 markings, 5521048 edges, 129388 markings/sec, 10 secs
lola: 2821149 markings, 7376185 edges, 137463 markings/sec, 15 secs
lola: 3579354 markings, 9117729 edges, 151641 markings/sec, 20 secs
lola: 4335459 markings, 10684748 edges, 151221 markings/sec, 25 secs
lola: 4921157 markings, 12358163 edges, 117140 markings/sec, 30 secs
lola: 5213752 markings, 14291881 edges, 58519 markings/sec, 35 secs
lola: 5557724 markings, 16173358 edges, 68794 markings/sec, 40 secs
lola: 6014539 markings, 17810221 edges, 91363 markings/sec, 45 secs
lola: 6562213 markings, 19474628 edges, 109535 markings/sec, 50 secs
lola: 6835394 markings, 21295224 edges, 54636 markings/sec, 55 secs
lola: 7182988 markings, 22925862 edges, 69519 markings/sec, 60 secs
lola: 7471233 markings, 24552074 edges, 57649 markings/sec, 65 secs
lola: 7707868 markings, 26193951 edges, 47327 markings/sec, 70 secs
lola: 7943466 markings, 27931129 edges, 47120 markings/sec, 75 secs
lola: 8175496 markings, 29327746 edges, 46406 markings/sec, 80 secs
lola: 8432607 markings, 30904960 edges, 51422 markings/sec, 85 secs
lola: 8459760 markings, 32453892 edges, 5431 markings/sec, 90 secs
lola: 8611178 markings, 34068139 edges, 30284 markings/sec, 95 secs
lola: 8774886 markings, 35720654 edges, 32742 markings/sec, 100 secs
lola: 9207110 markings, 37659490 edges, 86445 markings/sec, 105 secs
lola: 9641922 markings, 39252714 edges, 86962 markings/sec, 110 secs
lola: 10075785 markings, 40919677 edges, 86773 markings/sec, 115 secs
lola: 10220441 markings, 42780128 edges, 28931 markings/sec, 120 secs
lola: 10321522 markings, 44605543 edges, 20216 markings/sec, 125 secs
lola: 10680259 markings, 46523327 edges, 71747 markings/sec, 130 secs
lola: 10991260 markings, 48438964 edges, 62200 markings/sec, 135 secs
lola: 11346546 markings, 49955065 edges, 71057 markings/sec, 140 secs
lola: 11703850 markings, 51587920 edges, 71461 markings/sec, 145 secs
lola: 11828505 markings, 53342803 edges, 24931 markings/sec, 150 secs
lola: 11978811 markings, 55163243 edges, 30061 markings/sec, 155 secs
lola: 12156540 markings, 57077578 edges, 35546 markings/sec, 160 secs
lola: 12533474 markings, 58818388 edges, 75387 markings/sec, 165 secs
lola: 12862281 markings, 60130502 edges, 65761 markings/sec, 170 secs
lola: 13149926 markings, 61371420 edges, 57529 markings/sec, 175 secs
lola: 13418907 markings, 62603668 edges, 53796 markings/sec, 180 secs
lola: 13677023 markings, 63832568 edges, 51623 markings/sec, 185 secs
lola: 13925957 markings, 65066721 edges, 49787 markings/sec, 190 secs
lola: 14166802 markings, 66287491 edges, 48169 markings/sec, 195 secs
lola: 14402005 markings, 67512806 edges, 47041 markings/sec, 200 secs
lola: 14633722 markings, 68771716 edges, 46343 markings/sec, 205 secs
lola: 14864135 markings, 70044145 edges, 46083 markings/sec, 210 secs
lola: 15091658 markings, 71324363 edges, 45505 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(pb3_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 421423 markings, 2219883 edges, 84285 markings/sec, 0 secs
lola: 789931 markings, 4351432 edges, 73702 markings/sec, 5 secs
lola: 1209713 markings, 6245601 edges, 83956 markings/sec, 10 secs
lola: 1387613 markings, 8357102 edges, 35580 markings/sec, 15 secs
lola: 1766582 markings, 10247464 edges, 75794 markings/sec, 20 secs
lola: 1929232 markings, 12028241 edges, 32530 markings/sec, 25 secs
lola: 2384964 markings, 14041645 edges, 91146 markings/sec, 30 secs
lola: 2705336 markings, 16097273 edges, 64074 markings/sec, 35 secs
lola: 3007858 markings, 18156687 edges, 60504 markings/sec, 40 secs
lola: 3426320 markings, 19739376 edges, 83692 markings/sec, 45 secs
lola: 3769599 markings, 21358925 edges, 68656 markings/sec, 50 secs
lola: 4129379 markings, 23078141 edges, 71956 markings/sec, 55 secs
lola: 4378512 markings, 25089882 edges, 49827 markings/sec, 60 secs
lola: 4455667 markings, 27013419 edges, 15431 markings/sec, 65 secs
lola: 4456565 markings, 28928940 edges, 180 markings/sec, 70 secs
lola: 4472076 markings, 30938054 edges, 3102 markings/sec, 75 secs
lola: 4719245 markings, 32854302 edges, 49434 markings/sec, 80 secs
lola: 5016594 markings, 34626424 edges, 59470 markings/sec, 85 secs
lola: 5392286 markings, 36445920 edges, 75138 markings/sec, 90 secs
lola: 5652264 markings, 38256433 edges, 51996 markings/sec, 95 secs
lola: 6026093 markings, 39736457 edges, 74766 markings/sec, 100 secs
lola: 6348108 markings, 41267210 edges, 64403 markings/sec, 105 secs
lola: 6685695 markings, 42891056 edges, 67517 markings/sec, 110 secs
lola: 6904587 markings, 44829789 edges, 43778 markings/sec, 115 secs
lola: 7009476 markings, 46547996 edges, 20978 markings/sec, 120 secs
lola: 7010326 markings, 48313756 edges, 170 markings/sec, 125 secs
lola: 7010793 markings, 50090294 edges, 93 markings/sec, 130 secs
lola: 7179790 markings, 51968687 edges, 33799 markings/sec, 135 secs
lola: 7537315 markings, 53897638 edges, 71505 markings/sec, 140 secs
lola: 7996289 markings, 55678595 edges, 91795 markings/sec, 145 secs
lola: 8309700 markings, 57428185 edges, 62682 markings/sec, 150 secs
lola: 8731868 markings, 59003878 edges, 84434 markings/sec, 155 secs
lola: 9026523 markings, 60880146 edges, 58931 markings/sec, 160 secs
lola: 9158351 markings, 62631687 edges, 26366 markings/sec, 165 secs
lola: 9301079 markings, 64470870 edges, 28546 markings/sec, 170 secs
lola: 9650074 markings, 66205956 edges, 69799 markings/sec, 175 secs
lola: 9928518 markings, 67852841 edges, 55689 markings/sec, 180 secs
lola: 10296817 markings, 69401446 edges, 73660 markings/sec, 185 secs
lola: 10556922 markings, 71252572 edges, 52021 markings/sec, 190 secs
lola: 10665691 markings, 72902877 edges, 21754 markings/sec, 195 secs
lola: 10728952 markings, 74671711 edges, 12652 markings/sec, 200 secs
lola: 11064605 markings, 76342725 edges, 67131 markings/sec, 205 secs
lola: 11458637 markings, 77797191 edges, 78806 markings/sec, 210 secs
lola: 11815579 markings, 79245389 edges, 71388 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(pb4_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 558657 markings, 2361545 edges, 111731 markings/sec, 0 secs
lola: 969672 markings, 4696768 edges, 82203 markings/sec, 5 secs
lola: 1380169 markings, 6854088 edges, 82099 markings/sec, 10 secs
lola: 1877813 markings, 8645089 edges, 99529 markings/sec, 15 secs
lola: 2337170 markings, 10800536 edges, 91871 markings/sec, 20 secs
lola: 2831579 markings, 12826213 edges, 98882 markings/sec, 25 secs
lola: 3060969 markings, 14992242 edges, 45878 markings/sec, 30 secs
lola: 3563042 markings, 16757255 edges, 100415 markings/sec, 35 secs
lola: 3875838 markings, 18644105 edges, 62559 markings/sec, 40 secs
lola: 4044931 markings, 20680392 edges, 33819 markings/sec, 45 secs
lola: 4217550 markings, 22742513 edges, 34524 markings/sec, 50 secs
lola: 4685385 markings, 24832600 edges, 93567 markings/sec, 55 secs
lola: 5006028 markings, 26854611 edges, 64129 markings/sec, 60 secs
lola: 5386780 markings, 28796990 edges, 76150 markings/sec, 65 secs
lola: 5846410 markings, 30555527 edges, 91926 markings/sec, 70 secs
lola: 5998789 markings, 32465863 edges, 30476 markings/sec, 75 secs
lola: 6150830 markings, 34465198 edges, 30408 markings/sec, 80 secs
lola: 6458622 markings, 36493544 edges, 61558 markings/sec, 85 secs
lola: 7002287 markings, 38230049 edges, 108733 markings/sec, 90 secs
lola: 7462829 markings, 39714707 edges, 92108 markings/sec, 95 secs
lola: 7661321 markings, 41207281 edges, 39698 markings/sec, 100 secs
lola: 7870316 markings, 42648663 edges, 41799 markings/sec, 105 secs
lola: 8199748 markings, 44260117 edges, 65886 markings/sec, 110 secs
lola: 8543056 markings, 46031064 edges, 68662 markings/sec, 115 secs
lola: 8976686 markings, 47943669 edges, 86726 markings/sec, 120 secs
lola: 9341661 markings, 49828307 edges, 72995 markings/sec, 125 secs
lola: 9598783 markings, 51695201 edges, 51424 markings/sec, 130 secs
lola: 9808267 markings, 53672397 edges, 41897 markings/sec, 135 secs
lola: 10073091 markings, 55548744 edges, 52965 markings/sec, 140 secs
lola: 10393745 markings, 57436308 edges, 64131 markings/sec, 145 secs
lola: 10618486 markings, 59503348 edges, 44948 markings/sec, 150 secs
lola: 11196400 markings, 60978537 edges, 115583 markings/sec, 155 secs
lola: 11876814 markings, 62335069 edges, 136083 markings/sec, 160 secs
lola: 12578626 markings, 63594144 edges, 140362 markings/sec, 165 secs
lola: 12859241 markings, 65216182 edges, 56123 markings/sec, 170 secs
lola: 12974089 markings, 66811357 edges, 22970 markings/sec, 175 secs
lola: 13231822 markings, 68369140 edges, 51547 markings/sec, 180 secs
lola: 13343997 markings, 69910878 edges, 22435 markings/sec, 185 secs
lola: 14059977 markings, 71195276 edges, 143196 markings/sec, 190 secs
lola: 14755546 markings, 72465037 edges, 139114 markings/sec, 195 secs
lola: 15317304 markings, 74396017 edges, 112352 markings/sec, 200 secs
lola: 15694349 markings, 76468410 edges, 75409 markings/sec, 205 secs
lola: 16073795 markings, 78402227 edges, 75889 markings/sec, 210 secs
lola: 16586417 markings, 80181195 edges, 102524 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(p1ol_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 1002154 markings, 1678060 edges, 200431 markings/sec, 0 secs
lola: 1884442 markings, 3258866 edges, 176458 markings/sec, 5 secs
lola: 2728902 markings, 4795461 edges, 168892 markings/sec, 10 secs
lola: 3546746 markings, 6301819 edges, 163569 markings/sec, 15 secs
lola: 4341426 markings, 7788339 edges, 158936 markings/sec, 20 secs
lola: 5104605 markings, 9242483 edges, 152636 markings/sec, 25 secs
lola: 5861329 markings, 10685367 edges, 151345 markings/sec, 30 secs
lola: 6606830 markings, 12114278 edges, 149100 markings/sec, 35 secs
lola: 7340852 markings, 13532303 edges, 146804 markings/sec, 40 secs
lola: 8066119 markings, 14941836 edges, 145053 markings/sec, 45 secs
lola: 8783882 markings, 16341730 edges, 143553 markings/sec, 50 secs
lola: 9492611 markings, 17731506 edges, 141746 markings/sec, 55 secs
lola: 10194283 markings, 19108026 edges, 140334 markings/sec, 60 secs
lola: 10899605 markings, 20494325 edges, 141064 markings/sec, 65 secs
lola: 11596231 markings, 21873062 edges, 139325 markings/sec, 70 secs
lola: 12296755 markings, 23252391 edges, 140105 markings/sec, 75 secs
lola: 12983270 markings, 24617562 edges, 137303 markings/sec, 80 secs
lola: 13662393 markings, 25967415 edges, 135825 markings/sec, 85 secs
lola: 14336111 markings, 27313612 edges, 134744 markings/sec, 90 secs
lola: 15006039 markings, 28658445 edges, 133986 markings/sec, 95 secs
lola: 15675331 markings, 29999654 edges, 133858 markings/sec, 100 secs
lola: 16344939 markings, 31340999 edges, 133922 markings/sec, 105 secs
lola: 17009259 markings, 32675533 edges, 132864 markings/sec, 110 secs
lola: 17668339 markings, 34004641 edges, 131816 markings/sec, 115 secs
lola: 18321280 markings, 35328245 edges, 130588 markings/sec, 120 secs
lola: 18978547 markings, 36657247 edges, 131453 markings/sec, 125 secs
lola: 19632954 markings, 37980937 edges, 130881 markings/sec, 130 secs
lola: 20282061 markings, 39302164 edges, 129821 markings/sec, 135 secs
lola: 20930946 markings, 40619808 edges, 129777 markings/sec, 140 secs
lola: 21578100 markings, 41937868 edges, 129431 markings/sec, 145 secs
lola: 22229003 markings, 43258879 edges, 130181 markings/sec, 150 secs
lola: 22866647 markings, 44564537 edges, 127529 markings/sec, 155 secs
lola: 23513311 markings, 45876015 edges, 129333 markings/sec, 160 secs
lola: 24149795 markings, 47178234 edges, 127297 markings/sec, 165 secs
lola: 24778663 markings, 48477212 edges, 125774 markings/sec, 170 secs
lola: 25412884 markings, 49776026 edges, 126844 markings/sec, 175 secs
lola: 26044695 markings, 51073746 edges, 126362 markings/sec, 180 secs
lola: 26675045 markings, 52369324 edges, 126070 markings/sec, 185 secs
lola: 27302900 markings, 53664210 edges, 125571 markings/sec, 190 secs
lola: 27929487 markings, 54952407 edges, 125317 markings/sec, 195 secs
lola: 28556481 markings, 56246203 edges, 125399 markings/sec, 200 secs
lola: 29176488 markings, 57541696 edges, 124001 markings/sec, 205 secs
lola: 29797202 markings, 58824664 edges, 124143 markings/sec, 210 secs
lola: 30413700 markings, 60104558 edges, 123300 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(p1il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 568333 markings, 2239730 edges, 113667 markings/sec, 0 secs
lola: 1109433 markings, 4332362 edges, 108220 markings/sec, 5 secs
lola: 1528137 markings, 6567849 edges, 83741 markings/sec, 10 secs
lola: 2044755 markings, 8861016 edges, 103324 markings/sec, 15 secs
lola: 2459447 markings, 10785517 edges, 82938 markings/sec, 20 secs
lola: 2886406 markings, 12626402 edges, 85392 markings/sec, 25 secs
lola: 3151579 markings, 14536158 edges, 53035 markings/sec, 30 secs
lola: 3561760 markings, 16270863 edges, 82036 markings/sec, 35 secs
lola: 3961047 markings, 18077603 edges, 79857 markings/sec, 40 secs
lola: 4224201 markings, 20094290 edges, 52631 markings/sec, 45 secs
lola: 4924326 markings, 21717077 edges, 140025 markings/sec, 50 secs
lola: 5465584 markings, 23335661 edges, 108252 markings/sec, 55 secs
lola: 5935629 markings, 25050665 edges, 94009 markings/sec, 60 secs
lola: 6253601 markings, 27002034 edges, 63594 markings/sec, 65 secs
lola: 6354696 markings, 28948742 edges, 20219 markings/sec, 70 secs
lola: 6355668 markings, 30859079 edges, 194 markings/sec, 75 secs
lola: 6395812 markings, 32905401 edges, 8029 markings/sec, 80 secs
lola: 6812025 markings, 34748207 edges, 83243 markings/sec, 85 secs
lola: 7369801 markings, 36207600 edges, 111555 markings/sec, 90 secs
lola: 7818689 markings, 37654218 edges, 89778 markings/sec, 95 secs
lola: 8211729 markings, 39193133 edges, 78608 markings/sec, 100 secs
lola: 8585916 markings, 40811263 edges, 74837 markings/sec, 105 secs
lola: 8801378 markings, 42584417 edges, 43092 markings/sec, 110 secs
lola: 8892868 markings, 44246916 edges, 18298 markings/sec, 115 secs
lola: 8893612 markings, 45943594 edges, 149 markings/sec, 120 secs
lola: 8894276 markings, 47588347 edges, 133 markings/sec, 125 secs
lola: 8959556 markings, 49412347 edges, 13056 markings/sec, 130 secs
lola: 9245377 markings, 51196447 edges, 57164 markings/sec, 135 secs
lola: 9649873 markings, 53032414 edges, 80899 markings/sec, 140 secs
lola: 9871677 markings, 54905969 edges, 44361 markings/sec, 145 secs
lola: 10160532 markings, 56668439 edges, 57771 markings/sec, 150 secs
lola: 10457329 markings, 58670127 edges, 59359 markings/sec, 155 secs
lola: 10875438 markings, 60429387 edges, 83622 markings/sec, 160 secs
lola: 11159816 markings, 62153021 edges, 56876 markings/sec, 165 secs
lola: 11312876 markings, 63921566 edges, 30612 markings/sec, 170 secs
lola: 11664344 markings, 65476039 edges, 70294 markings/sec, 175 secs
lola: 11666462 markings, 67176983 edges, 424 markings/sec, 180 secs
lola: 11898297 markings, 69011725 edges, 46367 markings/sec, 185 secs
lola: 12403149 markings, 70924842 edges, 100970 markings/sec, 190 secs
lola: 12594175 markings, 73113290 edges, 38205 markings/sec, 195 secs
lola: 13184530 markings, 75029450 edges, 118071 markings/sec, 200 secs
lola: 13381374 markings, 77113681 edges, 39369 markings/sec, 205 secs
lola: 13883658 markings, 79028395 edges, 100457 markings/sec, 210 secs
lola: 14401179 markings, 80898974 edges, 103504 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(pbl_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 546298 markings, 2030080 edges, 109260 markings/sec, 0 secs
lola: 778814 markings, 4158766 edges, 46503 markings/sec, 5 secs
lola: 1070466 markings, 6150639 edges, 58330 markings/sec, 10 secs
lola: 1480272 markings, 7987876 edges, 81961 markings/sec, 15 secs
lola: 1660283 markings, 10019001 edges, 36002 markings/sec, 20 secs
lola: 2195404 markings, 11680323 edges, 107024 markings/sec, 25 secs
lola: 2665791 markings, 13179415 edges, 94077 markings/sec, 30 secs
lola: 3028139 markings, 14844835 edges, 72470 markings/sec, 35 secs
lola: 3244456 markings, 16830439 edges, 43263 markings/sec, 40 secs
lola: 3305956 markings, 18703779 edges, 12300 markings/sec, 45 secs
lola: 3308453 markings, 20571630 edges, 499 markings/sec, 50 secs
lola: 3309396 markings, 22472704 edges, 189 markings/sec, 55 secs
lola: 3309685 markings, 24445288 edges, 58 markings/sec, 60 secs
lola: 3454501 markings, 26149892 edges, 28963 markings/sec, 65 secs
lola: 3627176 markings, 27750987 edges, 34535 markings/sec, 70 secs
lola: 3914750 markings, 29154875 edges, 57515 markings/sec, 75 secs
lola: 4032618 markings, 30698171 edges, 23574 markings/sec, 80 secs
lola: 4033429 markings, 32393700 edges, 162 markings/sec, 85 secs
lola: 4367987 markings, 34201786 edges, 66912 markings/sec, 90 secs
lola: 4557517 markings, 36094387 edges, 37906 markings/sec, 95 secs
lola: 4840276 markings, 37879819 edges, 56552 markings/sec, 100 secs
lola: 5119417 markings, 39629399 edges, 55828 markings/sec, 105 secs
lola: 5240245 markings, 41462189 edges, 24166 markings/sec, 110 secs
lola: 5588213 markings, 42935126 edges, 69594 markings/sec, 115 secs
lola: 5608329 markings, 44739634 edges, 4023 markings/sec, 120 secs
lola: 6030623 markings, 46253081 edges, 84459 markings/sec, 125 secs
lola: 6406787 markings, 47682242 edges, 75233 markings/sec, 130 secs
lola: 6724834 markings, 49074023 edges, 63609 markings/sec, 135 secs
lola: 6983975 markings, 50720288 edges, 51828 markings/sec, 140 secs
lola: 7167946 markings, 52571477 edges, 36794 markings/sec, 145 secs
lola: 7269077 markings, 54328834 edges, 20226 markings/sec, 150 secs
lola: 7271811 markings, 55978792 edges, 547 markings/sec, 155 secs
lola: 7272851 markings, 57676255 edges, 208 markings/sec, 160 secs
lola: 7273250 markings, 59426147 edges, 80 markings/sec, 165 secs
lola: 7313031 markings, 61219602 edges, 7956 markings/sec, 170 secs
lola: 7457552 markings, 62701255 edges, 28904 markings/sec, 175 secs
lola: 7585697 markings, 64133636 edges, 25629 markings/sec, 180 secs
lola: 7787215 markings, 65446492 edges, 40304 markings/sec, 185 secs
lola: 7994342 markings, 66726858 edges, 41425 markings/sec, 190 secs
lola: 7996842 markings, 68231756 edges, 500 markings/sec, 195 secs
lola: 8333412 markings, 69702609 edges, 67314 markings/sec, 200 secs
lola: 8925119 markings, 71256532 edges, 118341 markings/sec, 205 secs
lola: 9155271 markings, 73079187 edges, 46030 markings/sec, 210 secs
lola: 9654433 markings, 74472562 edges, 99832 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(p1ol_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 522622 markings, 2493162 edges, 104524 markings/sec, 0 secs
lola: 883276 markings, 4668755 edges, 72131 markings/sec, 5 secs
lola: 1405218 markings, 6735806 edges, 104388 markings/sec, 10 secs
lola: 1685612 markings, 8926844 edges, 56079 markings/sec, 15 secs
lola: 2217474 markings, 11137839 edges, 106372 markings/sec, 20 secs
lola: 2728054 markings, 13140098 edges, 102116 markings/sec, 25 secs
lola: 3285498 markings, 14805374 edges, 111489 markings/sec, 30 secs
lola: 3677256 markings, 16760989 edges, 78352 markings/sec, 35 secs
lola: 3826380 markings, 18778392 edges, 29825 markings/sec, 40 secs
lola: 3834577 markings, 20777224 edges, 1639 markings/sec, 45 secs
lola: 4065004 markings, 22867615 edges, 46085 markings/sec, 50 secs
lola: 4414579 markings, 24895511 edges, 69915 markings/sec, 55 secs
lola: 4849014 markings, 26883316 edges, 86887 markings/sec, 60 secs
lola: 5273634 markings, 28831881 edges, 84924 markings/sec, 65 secs
lola: 5822177 markings, 30417592 edges, 109709 markings/sec, 70 secs
lola: 6282435 markings, 32098157 edges, 92052 markings/sec, 75 secs
lola: 6568823 markings, 34028990 edges, 57278 markings/sec, 80 secs
lola: 6595282 markings, 35901642 edges, 5292 markings/sec, 85 secs
lola: 6645779 markings, 37788284 edges, 10099 markings/sec, 90 secs
lola: 6964649 markings, 39706664 edges, 63774 markings/sec, 95 secs
lola: 7322700 markings, 41606376 edges, 71610 markings/sec, 100 secs
lola: 7819950 markings, 43389474 edges, 99450 markings/sec, 105 secs
lola: 8285694 markings, 45221871 edges, 93149 markings/sec, 110 secs
lola: 8443180 markings, 47070416 edges, 31497 markings/sec, 115 secs
lola: 8879855 markings, 48898436 edges, 87335 markings/sec, 120 secs
lola: 9306605 markings, 50636268 edges, 85350 markings/sec, 125 secs
lola: 9729096 markings, 52452947 edges, 84498 markings/sec, 130 secs
lola: 9847495 markings, 54219953 edges, 23680 markings/sec, 135 secs
lola: 10229032 markings, 56048978 edges, 76307 markings/sec, 140 secs
lola: 10800180 markings, 57585126 edges, 114230 markings/sec, 145 secs
lola: 11283598 markings, 58900308 edges, 96684 markings/sec, 150 secs
lola: 11764327 markings, 60318700 edges, 96146 markings/sec, 155 secs
lola: 12190759 markings, 61733558 edges, 85286 markings/sec, 160 secs
lola: 12645824 markings, 63190506 edges, 91013 markings/sec, 165 secs
lola: 13098581 markings, 64689754 edges, 90551 markings/sec, 170 secs
lola: 13504956 markings, 66175089 edges, 81275 markings/sec, 175 secs
lola: 13929942 markings, 67736822 edges, 84997 markings/sec, 180 secs
lola: 13998473 markings, 69540340 edges, 13706 markings/sec, 185 secs
lola: 14376874 markings, 70910351 edges, 75680 markings/sec, 190 secs
lola: 14405996 markings, 72490006 edges, 5824 markings/sec, 195 secs
lola: 14408318 markings, 74216941 edges, 464 markings/sec, 200 secs
lola: 14409835 markings, 75852979 edges, 303 markings/sec, 205 secs
lola: 14413086 markings, 77414383 edges, 650 markings/sec, 210 secs
lola: 14420812 markings, 78977195 edges, 1545 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(pb2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 858152 markings, 1440709 edges, 171630 markings/sec, 0 secs
lola: 1622859 markings, 2828619 edges, 152941 markings/sec, 5 secs
lola: 2359239 markings, 4189005 edges, 147276 markings/sec, 10 secs
lola: 3064477 markings, 5518375 edges, 141048 markings/sec, 15 secs
lola: 3759006 markings, 6843650 edges, 138906 markings/sec, 20 secs
lola: 4439348 markings, 8155953 edges, 136068 markings/sec, 25 secs
lola: 5104811 markings, 9455359 edges, 133093 markings/sec, 30 secs
lola: 5761632 markings, 10747736 edges, 131364 markings/sec, 35 secs
lola: 6411474 markings, 12033692 edges, 129968 markings/sec, 40 secs
lola: 7058748 markings, 13323198 edges, 129455 markings/sec, 45 secs
lola: 7699814 markings, 14610663 edges, 128213 markings/sec, 50 secs
lola: 8333765 markings, 15891569 edges, 126790 markings/sec, 55 secs
lola: 8960758 markings, 17166171 edges, 125399 markings/sec, 60 secs
lola: 9586215 markings, 18438678 edges, 125091 markings/sec, 65 secs
lola: 10200756 markings, 19703589 edges, 122908 markings/sec, 70 secs
lola: 10817009 markings, 20965426 edges, 123251 markings/sec, 75 secs
lola: 11424815 markings, 22220298 edges, 121561 markings/sec, 80 secs
lola: 12028012 markings, 23472759 edges, 120639 markings/sec, 85 secs
lola: 12625186 markings, 24719568 edges, 119435 markings/sec, 90 secs
lola: 13223675 markings, 25969729 edges, 119698 markings/sec, 95 secs
lola: 13816370 markings, 27210915 edges, 118539 markings/sec, 100 secs
lola: 14406352 markings, 28448512 edges, 117996 markings/sec, 105 secs
lola: 14991928 markings, 29682440 edges, 117115 markings/sec, 110 secs
lola: 15572913 markings, 30912413 edges, 116197 markings/sec, 115 secs
lola: 16150931 markings, 32145390 edges, 115604 markings/sec, 120 secs
lola: 16729402 markings, 33377178 edges, 115694 markings/sec, 125 secs
lola: 17300206 markings, 34599197 edges, 114161 markings/sec, 130 secs
lola: 17871624 markings, 35820202 edges, 114284 markings/sec, 135 secs
lola: 18439517 markings, 37035430 edges, 113579 markings/sec, 140 secs
lola: 19012883 markings, 38260245 edges, 114673 markings/sec, 145 secs
lola: 19572345 markings, 39460693 edges, 111892 markings/sec, 150 secs
lola: 20132459 markings, 40672112 edges, 112023 markings/sec, 155 secs
lola: 20694452 markings, 41873190 edges, 112399 markings/sec, 160 secs
lola: 21251809 markings, 43074702 edges, 111471 markings/sec, 165 secs
lola: 21799780 markings, 44263052 edges, 109594 markings/sec, 170 secs
lola: 22352734 markings, 45454501 edges, 110591 markings/sec, 175 secs
lola: 22896272 markings, 46637438 edges, 108708 markings/sec, 180 secs
lola: 23447468 markings, 47829485 edges, 110239 markings/sec, 185 secs
lola: 23990534 markings, 49015967 edges, 108613 markings/sec, 190 secs
lola: 24536628 markings, 50204240 edges, 109219 markings/sec, 195 secs
lola: 25072920 markings, 51379802 edges, 107258 markings/sec, 200 secs
lola: 25609737 markings, 52556013 edges, 107363 markings/sec, 205 secs
lola: 26053960 markings, 54573793 edges, 88845 markings/sec, 210 secs
lola: 26318465 markings, 56670479 edges, 52901 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(p4il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 746225 markings, 2111374 edges, 149245 markings/sec, 0 secs
lola: 1068898 markings, 4336157 edges, 64535 markings/sec, 5 secs
lola: 1573191 markings, 6475246 edges, 100859 markings/sec, 10 secs
lola: 2063380 markings, 8670684 edges, 98038 markings/sec, 15 secs
lola: 2708500 markings, 10486328 edges, 129024 markings/sec, 20 secs
lola: 2835933 markings, 12562357 edges, 25487 markings/sec, 25 secs
lola: 3526363 markings, 14508624 edges, 138086 markings/sec, 30 secs
lola: 3919669 markings, 16467471 edges, 78661 markings/sec, 35 secs
lola: 4489260 markings, 18183168 edges, 113918 markings/sec, 40 secs
lola: 5116126 markings, 19797003 edges, 125373 markings/sec, 45 secs
lola: 5953346 markings, 21570492 edges, 167444 markings/sec, 50 secs
lola: 6549697 markings, 23475798 edges, 119270 markings/sec, 55 secs
lola: 6747436 markings, 25365986 edges, 39548 markings/sec, 60 secs
lola: 6898269 markings, 27320736 edges, 30167 markings/sec, 65 secs
lola: 7193497 markings, 29233489 edges, 59046 markings/sec, 70 secs
lola: 7384375 markings, 30926430 edges, 38176 markings/sec, 75 secs
lola: 7573645 markings, 32738037 edges, 37854 markings/sec, 80 secs
lola: 7947682 markings, 34818716 edges, 74807 markings/sec, 85 secs
lola: 8340585 markings, 36899339 edges, 78581 markings/sec, 90 secs
lola: 8747824 markings, 38967433 edges, 81448 markings/sec, 95 secs
lola: 9448135 markings, 40751554 edges, 140062 markings/sec, 100 secs
lola: 10199316 markings, 42333223 edges, 150236 markings/sec, 105 secs
lola: 10898394 markings, 43904077 edges, 139816 markings/sec, 110 secs
lola: 11539397 markings, 45470989 edges, 128201 markings/sec, 115 secs
lola: 12125422 markings, 47070243 edges, 117205 markings/sec, 120 secs
lola: 12665549 markings, 48891864 edges, 108025 markings/sec, 125 secs
lola: 13062853 markings, 50701143 edges, 79461 markings/sec, 130 secs
lola: 13361115 markings, 52386557 edges, 59652 markings/sec, 135 secs
lola: 13621908 markings, 53948199 edges, 52159 markings/sec, 140 secs
lola: 13631286 markings, 55609529 edges, 1876 markings/sec, 145 secs
lola: 13638541 markings, 57246586 edges, 1451 markings/sec, 150 secs
lola: 13652262 markings, 58940464 edges, 2744 markings/sec, 155 secs
lola: 13930509 markings, 60457960 edges, 55649 markings/sec, 160 secs
lola: 14194302 markings, 62220442 edges, 52759 markings/sec, 165 secs
lola: 14868645 markings, 63886827 edges, 134869 markings/sec, 170 secs
lola: 15484949 markings, 65606928 edges, 123261 markings/sec, 175 secs
lola: 15782010 markings, 67465061 edges, 59412 markings/sec, 180 secs
lola: 15833144 markings, 69217842 edges, 10227 markings/sec, 185 secs
lola: 16292149 markings, 70959691 edges, 91801 markings/sec, 190 secs
lola: 16904993 markings, 72600630 edges, 122569 markings/sec, 195 secs
lola: 17393999 markings, 74412193 edges, 97801 markings/sec, 200 secs
lola: 17595940 markings, 76217113 edges, 40388 markings/sec, 205 secs
lola: 17658076 markings, 77927785 edges, 12427 markings/sec, 210 secs
lola: 17868247 markings, 79709519 edges, 42034 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(p3i_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 937361 markings, 1494810 edges, 187472 markings/sec, 0 secs
lola: 1766308 markings, 2894633 edges, 165789 markings/sec, 5 secs
lola: 2564288 markings, 4268472 edges, 159596 markings/sec, 10 secs
lola: 3324079 markings, 5606536 edges, 151958 markings/sec, 15 secs
lola: 4062673 markings, 6926713 edges, 147719 markings/sec, 20 secs
lola: 4792930 markings, 8232520 edges, 146051 markings/sec, 25 secs
lola: 5490018 markings, 9508322 edges, 139418 markings/sec, 30 secs
lola: 6186013 markings, 10783915 edges, 139199 markings/sec, 35 secs
lola: 6877400 markings, 12052739 edges, 138277 markings/sec, 40 secs
lola: 7556317 markings, 13309685 edges, 135783 markings/sec, 45 secs
lola: 8225298 markings, 14555245 edges, 133796 markings/sec, 50 secs
lola: 8892108 markings, 15805461 edges, 133362 markings/sec, 55 secs
lola: 9552412 markings, 17038838 edges, 132061 markings/sec, 60 secs
lola: 10207480 markings, 18267920 edges, 131014 markings/sec, 65 secs
lola: 10847714 markings, 19478871 edges, 128047 markings/sec, 70 secs
lola: 11493279 markings, 20697412 edges, 129113 markings/sec, 75 secs
lola: 12133104 markings, 21910159 edges, 127965 markings/sec, 80 secs
lola: 12776259 markings, 23122587 edges, 128631 markings/sec, 85 secs
lola: 13413931 markings, 24463571 edges, 127534 markings/sec, 90 secs
lola: 14006511 markings, 25951971 edges, 118516 markings/sec, 95 secs
lola: 14532591 markings, 27878385 edges, 105216 markings/sec, 100 secs
lola: 14999283 markings, 29805315 edges, 93338 markings/sec, 105 secs
lola: 15361950 markings, 31639751 edges, 72533 markings/sec, 110 secs
lola: 15614585 markings, 33462886 edges, 50527 markings/sec, 115 secs
lola: 16160648 markings, 35016501 edges, 109213 markings/sec, 120 secs
lola: 16614762 markings, 36694015 edges, 90823 markings/sec, 125 secs
lola: 16900793 markings, 38620172 edges, 57206 markings/sec, 130 secs
lola: 16988149 markings, 40501897 edges, 17471 markings/sec, 135 secs
lola: 16993979 markings, 42207798 edges, 1166 markings/sec, 140 secs
lola: 17261935 markings, 43949249 edges, 53591 markings/sec, 145 secs
lola: 17648557 markings, 45771418 edges, 77324 markings/sec, 150 secs
lola: 18085993 markings, 47503559 edges, 87487 markings/sec, 155 secs
lola: 18372738 markings, 49239118 edges, 57349 markings/sec, 160 secs
lola: 18602852 markings, 50863141 edges, 46023 markings/sec, 165 secs
lola: 19110937 markings, 52355722 edges, 101617 markings/sec, 170 secs
lola: 19553787 markings, 53820991 edges, 88570 markings/sec, 175 secs
lola: 19908697 markings, 55567589 edges, 70982 markings/sec, 180 secs
lola: 20094529 markings, 57380279 edges, 37166 markings/sec, 185 secs
lola: 20106550 markings, 59004181 edges, 2404 markings/sec, 190 secs
lola: 20195309 markings, 60564330 edges, 17752 markings/sec, 195 secs
lola: 20371464 markings, 62140821 edges, 35231 markings/sec, 200 secs
lola: 20578974 markings, 63690447 edges, 41502 markings/sec, 205 secs
lola: 20876851 markings, 65088082 edges, 59575 markings/sec, 210 secs
lola: 20933698 markings, 66637851 edges, 11369 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(p3il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 463271 markings, 2261347 edges, 92654 markings/sec, 0 secs
lola: 803296 markings, 4293226 edges, 68005 markings/sec, 5 secs
lola: 1311142 markings, 6138507 edges, 101569 markings/sec, 10 secs
lola: 1626429 markings, 8149826 edges, 63057 markings/sec, 15 secs
lola: 2042262 markings, 10081426 edges, 83167 markings/sec, 20 secs
lola: 2506892 markings, 11820069 edges, 92926 markings/sec, 25 secs
lola: 3024600 markings, 13459597 edges, 103542 markings/sec, 30 secs
lola: 3378073 markings, 15318573 edges, 70695 markings/sec, 35 secs
lola: 3545033 markings, 17270380 edges, 33392 markings/sec, 40 secs
lola: 3551654 markings, 19111273 edges, 1324 markings/sec, 45 secs
lola: 3723926 markings, 21015051 edges, 34454 markings/sec, 50 secs
lola: 4125853 markings, 22881834 edges, 80385 markings/sec, 55 secs
lola: 4476671 markings, 24636649 edges, 70164 markings/sec, 60 secs
lola: 5018675 markings, 26258098 edges, 108401 markings/sec, 65 secs
lola: 5492513 markings, 27785614 edges, 94768 markings/sec, 70 secs
lola: 5821306 markings, 29485776 edges, 65759 markings/sec, 75 secs
lola: 5987682 markings, 31291345 edges, 33275 markings/sec, 80 secs
lola: 5991492 markings, 32983718 edges, 762 markings/sec, 85 secs
lola: 6094749 markings, 34755882 edges, 20651 markings/sec, 90 secs
lola: 6473663 markings, 36527103 edges, 75783 markings/sec, 95 secs
lola: 7096565 markings, 38182404 edges, 124580 markings/sec, 100 secs
lola: 7387957 markings, 39979473 edges, 58278 markings/sec, 105 secs
lola: 7578482 markings, 41816376 edges, 38105 markings/sec, 110 secs
lola: 7921621 markings, 43504407 edges, 68628 markings/sec, 115 secs
lola: 8447011 markings, 45063806 edges, 105078 markings/sec, 120 secs
lola: 8755398 markings, 46655297 edges, 61677 markings/sec, 125 secs
lola: 8886302 markings, 48315994 edges, 26181 markings/sec, 130 secs
lola: 9217013 markings, 50058669 edges, 66142 markings/sec, 135 secs
lola: 9786845 markings, 51603216 edges, 113966 markings/sec, 140 secs
lola: 10316544 markings, 53039447 edges, 105940 markings/sec, 145 secs
lola: 10794742 markings, 54450552 edges, 95640 markings/sec, 150 secs
lola: 11212729 markings, 55861092 edges, 83597 markings/sec, 155 secs
lola: 11648664 markings, 57338506 edges, 87187 markings/sec, 160 secs
lola: 12093607 markings, 58865416 edges, 88989 markings/sec, 165 secs
lola: 12514744 markings, 60343456 edges, 84227 markings/sec, 170 secs
lola: 12898274 markings, 61829281 edges, 76706 markings/sec, 175 secs
lola: 13053666 markings, 63410756 edges, 31078 markings/sec, 180 secs
lola: 13426175 markings, 64947178 edges, 74502 markings/sec, 185 secs
lola: 13450841 markings, 66626276 edges, 4933 markings/sec, 190 secs
lola: 13454389 markings, 68322773 edges, 710 markings/sec, 195 secs
lola: 13455747 markings, 69995427 edges, 272 markings/sec, 200 secs
lola: 13459174 markings, 71531737 edges, 685 markings/sec, 205 secs
lola: 13466800 markings, 73046631 edges, 1525 markings/sec, 210 secs
lola: 13479085 markings, 74597997 edges, 2457 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(p4il_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 1026551 markings, 1680550 edges, 205310 markings/sec, 0 secs
lola: 1935136 markings, 3294131 edges, 181717 markings/sec, 5 secs
lola: 2789517 markings, 4853130 edges, 170876 markings/sec, 10 secs
lola: 3604172 markings, 6383883 edges, 162931 markings/sec, 15 secs
lola: 4309298 markings, 8302346 edges, 141025 markings/sec, 20 secs
lola: 4917909 markings, 10172376 edges, 121722 markings/sec, 25 secs
lola: 5536274 markings, 11852786 edges, 123673 markings/sec, 30 secs
lola: 5936334 markings, 13876326 edges, 80012 markings/sec, 35 secs
lola: 5980826 markings, 15865029 edges, 8898 markings/sec, 40 secs
lola: 6308569 markings, 17703054 edges, 65549 markings/sec, 45 secs
lola: 6560415 markings, 19518236 edges, 50369 markings/sec, 50 secs
lola: 6800859 markings, 21302881 edges, 48089 markings/sec, 55 secs
lola: 7176485 markings, 23053914 edges, 75125 markings/sec, 60 secs
lola: 7506370 markings, 24845323 edges, 65977 markings/sec, 65 secs
lola: 8038794 markings, 26392008 edges, 106485 markings/sec, 70 secs
lola: 8491630 markings, 27975957 edges, 90567 markings/sec, 75 secs
lola: 8827340 markings, 29812747 edges, 67142 markings/sec, 80 secs
lola: 8992610 markings, 31664154 edges, 33054 markings/sec, 85 secs
lola: 9125189 markings, 33368778 edges, 26516 markings/sec, 90 secs
lola: 9428322 markings, 35048202 edges, 60627 markings/sec, 95 secs
lola: 9613129 markings, 36702117 edges, 36961 markings/sec, 100 secs
lola: 9810573 markings, 38315535 edges, 39489 markings/sec, 105 secs
lola: 9953605 markings, 40023120 edges, 28606 markings/sec, 110 secs
lola: 10630004 markings, 41534400 edges, 135280 markings/sec, 115 secs
lola: 11092684 markings, 43127106 edges, 92536 markings/sec, 120 secs
lola: 11774400 markings, 44507569 edges, 136343 markings/sec, 125 secs
lola: 12378440 markings, 45893227 edges, 120808 markings/sec, 130 secs
lola: 12941158 markings, 47415913 edges, 112544 markings/sec, 135 secs
lola: 13104892 markings, 49029888 edges, 32747 markings/sec, 140 secs
lola: 13259500 markings, 50641879 edges, 30922 markings/sec, 145 secs
lola: 13681328 markings, 52345479 edges, 84366 markings/sec, 150 secs
lola: 14110057 markings, 54243594 edges, 85746 markings/sec, 155 secs
lola: 14464992 markings, 55660447 edges, 70987 markings/sec, 160 secs
lola: 14778243 markings, 57044253 edges, 62650 markings/sec, 165 secs
lola: 15083465 markings, 58428213 edges, 61044 markings/sec, 170 secs
lola: 15374846 markings, 59813945 edges, 58276 markings/sec, 175 secs
lola: 15660668 markings, 61208828 edges, 57164 markings/sec, 180 secs
lola: 15933801 markings, 62596574 edges, 54627 markings/sec, 185 secs
lola: 16203932 markings, 64004259 edges, 54026 markings/sec, 190 secs
lola: 16464779 markings, 65404647 edges, 52169 markings/sec, 195 secs
lola: 16725998 markings, 66815626 edges, 52244 markings/sec, 200 secs
lola: 16976910 markings, 68227442 edges, 50182 markings/sec, 205 secs
lola: 17231763 markings, 69672336 edges, 50971 markings/sec, 210 secs
lola: 17484943 markings, 71135674 edges, 50636 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4il_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 954565 markings, 1440835 edges, 190913 markings/sec, 0 secs
lola: 1800979 markings, 2792183 edges, 169283 markings/sec, 5 secs
lola: 2597943 markings, 4098710 edges, 159393 markings/sec, 10 secs
lola: 3372573 markings, 5409463 edges, 154926 markings/sec, 15 secs
lola: 4123439 markings, 6680929 edges, 150173 markings/sec, 20 secs
lola: 4854877 markings, 7931009 edges, 146288 markings/sec, 25 secs
lola: 5579592 markings, 9169856 edges, 144943 markings/sec, 30 secs
lola: 6274530 markings, 10457271 edges, 138988 markings/sec, 35 secs
lola: 6975549 markings, 11673932 edges, 140204 markings/sec, 40 secs
lola: 7670149 markings, 12902033 edges, 138920 markings/sec, 45 secs
lola: 8370379 markings, 14109877 edges, 140046 markings/sec, 50 secs
lola: 8961411 markings, 16105657 edges, 118206 markings/sec, 55 secs
lola: 9342620 markings, 18107323 edges, 76242 markings/sec, 60 secs
lola: 10008539 markings, 19324735 edges, 133184 markings/sec, 65 secs
lola: 10685894 markings, 20517930 edges, 135471 markings/sec, 70 secs
lola: 11351164 markings, 21697830 edges, 133054 markings/sec, 75 secs
lola: 11952348 markings, 23502954 edges, 120237 markings/sec, 80 secs
lola: 12371578 markings, 25439370 edges, 83846 markings/sec, 85 secs
lola: 12731408 markings, 27338720 edges, 71966 markings/sec, 90 secs
lola: 12978413 markings, 29190372 edges, 49401 markings/sec, 95 secs
lola: 13541563 markings, 30726598 edges, 112630 markings/sec, 100 secs
lola: 14006441 markings, 32362680 edges, 92976 markings/sec, 105 secs
lola: 14312749 markings, 34369805 edges, 61262 markings/sec, 110 secs
lola: 14408026 markings, 36257490 edges, 19055 markings/sec, 115 secs
lola: 14429236 markings, 38000151 edges, 4242 markings/sec, 120 secs
lola: 14641719 markings, 39735997 edges, 42497 markings/sec, 125 secs
lola: 15061306 markings, 41458237 edges, 83917 markings/sec, 130 secs
lola: 15267277 markings, 43132109 edges, 41194 markings/sec, 135 secs
lola: 15658096 markings, 44893823 edges, 78164 markings/sec, 140 secs
lola: 16008941 markings, 46628905 edges, 70169 markings/sec, 145 secs
lola: 16499234 markings, 48112040 edges, 98059 markings/sec, 150 secs
lola: 16944232 markings, 49540358 edges, 89000 markings/sec, 155 secs
lola: 17308838 markings, 51195215 edges, 72921 markings/sec, 160 secs
lola: 17514660 markings, 53049996 edges, 41164 markings/sec, 165 secs
lola: 17528841 markings, 54701151 edges, 2836 markings/sec, 170 secs
lola: 17645029 markings, 56259846 edges, 23238 markings/sec, 175 secs
lola: 17960673 markings, 57761798 edges, 63129 markings/sec, 180 secs
lola: 18621102 markings, 58934189 edges, 132086 markings/sec, 185 secs
lola: 19280923 markings, 60108156 edges, 131964 markings/sec, 190 secs
lola: 19937341 markings, 61278666 edges, 131284 markings/sec, 195 secs
lola: 20591070 markings, 62450136 edges, 130746 markings/sec, 200 secs
lola: 21239536 markings, 63622958 edges, 129693 markings/sec, 205 secs
lola: 21859242 markings, 65046102 edges, 123941 markings/sec, 210 secs
lola: 22344124 markings, 66760409 edges, 96976 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(p3il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 471022 markings, 2276984 edges, 94204 markings/sec, 0 secs
lola: 820777 markings, 4388335 edges, 69951 markings/sec, 5 secs
lola: 1318458 markings, 6294820 edges, 99536 markings/sec, 10 secs
lola: 1663356 markings, 8368701 edges, 68980 markings/sec, 15 secs
lola: 2058782 markings, 10354092 edges, 79085 markings/sec, 20 secs
lola: 2593135 markings, 12077467 edges, 106871 markings/sec, 25 secs
lola: 3110823 markings, 13775990 edges, 103538 markings/sec, 30 secs
lola: 3426563 markings, 15706054 edges, 63148 markings/sec, 35 secs
lola: 3545545 markings, 17732114 edges, 23796 markings/sec, 40 secs
lola: 3555808 markings, 19558101 edges, 2053 markings/sec, 45 secs
lola: 3818013 markings, 21463721 edges, 52441 markings/sec, 50 secs
lola: 4216584 markings, 23294462 edges, 79714 markings/sec, 55 secs
lola: 4562628 markings, 25060539 edges, 69209 markings/sec, 60 secs
lola: 5121690 markings, 26582729 edges, 111812 markings/sec, 65 secs
lola: 5582070 markings, 28166929 edges, 92076 markings/sec, 70 secs
lola: 5837749 markings, 29897134 edges, 51136 markings/sec, 75 secs
lola: 5988005 markings, 31692775 edges, 30051 markings/sec, 80 secs
lola: 5995065 markings, 33411588 edges, 1412 markings/sec, 85 secs
lola: 6191832 markings, 35233769 edges, 39353 markings/sec, 90 secs
lola: 6645953 markings, 36971788 edges, 90824 markings/sec, 95 secs
lola: 7235427 markings, 38637950 edges, 117895 markings/sec, 100 secs
lola: 7437464 markings, 40455532 edges, 40407 markings/sec, 105 secs
lola: 7694736 markings, 42319531 edges, 51454 markings/sec, 110 secs
lola: 8075308 markings, 43962473 edges, 76114 markings/sec, 115 secs
lola: 8576194 markings, 45493101 edges, 100177 markings/sec, 120 secs
lola: 8777584 markings, 47088347 edges, 40278 markings/sec, 125 secs
lola: 8912322 markings, 48794599 edges, 26948 markings/sec, 130 secs
lola: 9364544 markings, 50432050 edges, 90444 markings/sec, 135 secs
lola: 9918112 markings, 51955933 edges, 110714 markings/sec, 140 secs
lola: 10434159 markings, 53392084 edges, 103209 markings/sec, 145 secs
lola: 10900250 markings, 54785735 edges, 93218 markings/sec, 150 secs
lola: 11316252 markings, 56212716 edges, 83200 markings/sec, 155 secs
lola: 11764676 markings, 57728345 edges, 89685 markings/sec, 160 secs
lola: 12206973 markings, 59260771 edges, 88459 markings/sec, 165 secs
lola: 12608626 markings, 60772314 edges, 80331 markings/sec, 170 secs
lola: 12995148 markings, 62237070 edges, 77304 markings/sec, 175 secs
lola: 13179151 markings, 63822425 edges, 36801 markings/sec, 180 secs
lola: 13445516 markings, 65470818 edges, 53273 markings/sec, 185 secs
lola: 13452742 markings, 67158507 edges, 1445 markings/sec, 190 secs
lola: 13454815 markings, 68866590 edges, 415 markings/sec, 195 secs
lola: 13456747 markings, 70520694 edges, 386 markings/sec, 200 secs
lola: 13461327 markings, 72056252 edges, 916 markings/sec, 205 secs
lola: 13470416 markings, 73583171 edges, 1818 markings/sec, 210 secs
lola: 13483916 markings, 75105095 edges, 2700 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SquareGrid-PT-020102-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496565260530
--------------------
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_SquareGrid-PT-020102"
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_SquareGrid-PT-020102.tgz
mv S_SquareGrid-PT-020102 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_SquareGrid-PT-020102, 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 r158-ebro-149443464000119"
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 ;