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 CloudReconfiguration-PT-307, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961200056
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496530214499


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-307: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-307 @ 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: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-307-UpperBounds.task
lola: MAX(p371) : MAX(p387) : MAX(p993) : MAX(p604) : MAX(p694) : MAX(p1343) : MAX(p22) : MAX(p1535) : MAX(p1782) : MAX(p258) : MAX(p1461) : MAX(p2412) : MAX(p2257) : MAX(p1666) : MAX(p591) : MAX(p1166)
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(p371)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 81347 markings, 118034 edges, 16269 markings/sec, 0 secs
lola: 161483 markings, 267512 edges, 16027 markings/sec, 5 secs
lola: 239506 markings, 414381 edges, 15605 markings/sec, 10 secs
lola: 324625 markings, 551047 edges, 17024 markings/sec, 15 secs
lola: 412374 markings, 703298 edges, 17550 markings/sec, 20 secs
lola: 489233 markings, 844308 edges, 15372 markings/sec, 25 secs
lola: 558390 markings, 994857 edges, 13831 markings/sec, 30 secs
lola: 632140 markings, 1155879 edges, 14750 markings/sec, 35 secs
lola: 724525 markings, 1299685 edges, 18477 markings/sec, 40 secs
lola: 814036 markings, 1444560 edges, 17902 markings/sec, 45 secs
lola: 903225 markings, 1582501 edges, 17838 markings/sec, 50 secs
lola: 975914 markings, 1727368 edges, 14538 markings/sec, 55 secs
lola: 1056752 markings, 1879769 edges, 16168 markings/sec, 60 secs
lola: 1141476 markings, 2044345 edges, 16945 markings/sec, 65 secs
lola: 1219641 markings, 2208099 edges, 15633 markings/sec, 70 secs
lola: 1311313 markings, 2359099 edges, 18334 markings/sec, 75 secs
lola: 1392797 markings, 2519830 edges, 16297 markings/sec, 80 secs
lola: 1474859 markings, 2687500 edges, 16412 markings/sec, 85 secs
lola: 1559893 markings, 2877303 edges, 17007 markings/sec, 90 secs
lola: 1639156 markings, 3060926 edges, 15853 markings/sec, 95 secs
lola: 1727062 markings, 3216972 edges, 17581 markings/sec, 100 secs
lola: 1816015 markings, 3342123 edges, 17791 markings/sec, 105 secs
lola: 1899794 markings, 3508646 edges, 16756 markings/sec, 110 secs
lola: 1988546 markings, 3675000 edges, 17750 markings/sec, 115 secs
lola: 2070389 markings, 3846625 edges, 16369 markings/sec, 120 secs
lola: 2159165 markings, 4051530 edges, 17755 markings/sec, 125 secs
lola: 2241356 markings, 4237883 edges, 16438 markings/sec, 130 secs
lola: 2321499 markings, 4416455 edges, 16029 markings/sec, 135 secs
lola: 2402558 markings, 4598641 edges, 16212 markings/sec, 140 secs
lola: 2488730 markings, 4775288 edges, 17234 markings/sec, 145 secs
lola: 2562013 markings, 4940581 edges, 14657 markings/sec, 150 secs
lola: 2638189 markings, 5081484 edges, 15235 markings/sec, 155 secs
lola: 2720845 markings, 5267160 edges, 16531 markings/sec, 160 secs
lola: 2797692 markings, 5431978 edges, 15369 markings/sec, 165 secs
lola: 2880289 markings, 5593838 edges, 16519 markings/sec, 170 secs
lola: 2966070 markings, 5778513 edges, 17156 markings/sec, 175 secs
lola: 3049250 markings, 5965282 edges, 16636 markings/sec, 180 secs
lola: 3133124 markings, 6142982 edges, 16775 markings/sec, 185 secs
lola: 3211335 markings, 6321332 edges, 15642 markings/sec, 190 secs
lola: 3288415 markings, 6478004 edges, 15416 markings/sec, 195 secs
lola: 3370125 markings, 6596611 edges, 16342 markings/sec, 200 secs
lola: 3443436 markings, 6733316 edges, 14662 markings/sec, 205 secs
lola: 3516591 markings, 6882986 edges, 14631 markings/sec, 210 secs
lola: 3593019 markings, 7038521 edges, 15286 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(p387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 82476 markings, 122082 edges, 16495 markings/sec, 0 secs
lola: 161964 markings, 270359 edges, 15898 markings/sec, 5 secs
lola: 236840 markings, 412903 edges, 14975 markings/sec, 10 secs
lola: 318034 markings, 544021 edges, 16239 markings/sec, 15 secs
lola: 400286 markings, 685456 edges, 16450 markings/sec, 20 secs
lola: 471505 markings, 813867 edges, 14244 markings/sec, 25 secs
lola: 539347 markings, 962684 edges, 13568 markings/sec, 30 secs
lola: 613674 markings, 1130654 edges, 14865 markings/sec, 35 secs
lola: 699605 markings, 1294980 edges, 17186 markings/sec, 40 secs
lola: 792329 markings, 1433720 edges, 18545 markings/sec, 45 secs
lola: 884276 markings, 1578929 edges, 18389 markings/sec, 50 secs
lola: 969271 markings, 1757886 edges, 16999 markings/sec, 55 secs
lola: 1046792 markings, 1929760 edges, 15504 markings/sec, 60 secs
lola: 1130003 markings, 2103393 edges, 16642 markings/sec, 65 secs
lola: 1214879 markings, 2278915 edges, 16975 markings/sec, 70 secs
lola: 1302919 markings, 2419549 edges, 17608 markings/sec, 75 secs
lola: 1392497 markings, 2587186 edges, 17916 markings/sec, 80 secs
lola: 1482739 markings, 2751128 edges, 18048 markings/sec, 85 secs
lola: 1573831 markings, 2941182 edges, 18218 markings/sec, 90 secs
lola: 1659844 markings, 3113400 edges, 17203 markings/sec, 95 secs
lola: 1742187 markings, 3299703 edges, 16469 markings/sec, 100 secs
lola: 1826414 markings, 3472943 edges, 16845 markings/sec, 105 secs
lola: 1912713 markings, 3626126 edges, 17260 markings/sec, 110 secs
lola: 2001044 markings, 3760252 edges, 17666 markings/sec, 115 secs
lola: 2090172 markings, 3933372 edges, 17826 markings/sec, 120 secs
lola: 2187722 markings, 4067803 edges, 19510 markings/sec, 125 secs
lola: 2259832 markings, 4229446 edges, 14422 markings/sec, 130 secs
lola: 2348711 markings, 4407196 edges, 17776 markings/sec, 135 secs
lola: 2431532 markings, 4563653 edges, 16564 markings/sec, 140 secs
lola: 2523514 markings, 4702796 edges, 18396 markings/sec, 145 secs
lola: 2606967 markings, 4861124 edges, 16691 markings/sec, 150 secs
lola: 2680728 markings, 5011756 edges, 14752 markings/sec, 155 secs
lola: 2755755 markings, 5185262 edges, 15005 markings/sec, 160 secs
lola: 2834328 markings, 5325474 edges, 15715 markings/sec, 165 secs
lola: 2913600 markings, 5485916 edges, 15854 markings/sec, 170 secs
lola: 2993586 markings, 5666586 edges, 15997 markings/sec, 175 secs
lola: 3073752 markings, 5796610 edges, 16033 markings/sec, 180 secs
lola: 3149186 markings, 5933551 edges, 15087 markings/sec, 185 secs
lola: 3229647 markings, 6117184 edges, 16092 markings/sec, 190 secs
lola: 3313218 markings, 6309416 edges, 16714 markings/sec, 195 secs
lola: 3394650 markings, 6463155 edges, 16286 markings/sec, 200 secs
lola: 3478369 markings, 6645595 edges, 16744 markings/sec, 205 secs
lola: 3562136 markings, 6821103 edges, 16753 markings/sec, 210 secs
lola: 3651943 markings, 7015303 edges, 17961 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(p993)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 104734 markings, 125773 edges, 20947 markings/sec, 0 secs
lola: 217504 markings, 260948 edges, 22554 markings/sec, 5 secs
lola: 327855 markings, 394909 edges, 22070 markings/sec, 10 secs
lola: 441984 markings, 533248 edges, 22826 markings/sec, 15 secs
lola: 554982 markings, 670213 edges, 22600 markings/sec, 20 secs
lola: 683516 markings, 827587 edges, 25707 markings/sec, 25 secs
lola: 815147 markings, 989011 edges, 26326 markings/sec, 30 secs
lola: 936713 markings, 1136540 edges, 24313 markings/sec, 35 secs
lola: 1052945 markings, 1276355 edges, 23246 markings/sec, 40 secs
lola: 1165709 markings, 1413456 edges, 22553 markings/sec, 45 secs
lola: 1291177 markings, 1566750 edges, 25094 markings/sec, 50 secs
lola: 1416559 markings, 1719625 edges, 25076 markings/sec, 55 secs
lola: 1545468 markings, 1877885 edges, 25782 markings/sec, 60 secs
lola: 1667658 markings, 2026779 edges, 24438 markings/sec, 65 secs
lola: 1796447 markings, 2183378 edges, 25758 markings/sec, 70 secs
lola: 1915337 markings, 2326814 edges, 23778 markings/sec, 75 secs
lola: 2043385 markings, 2481360 edges, 25610 markings/sec, 80 secs
lola: 2168776 markings, 2632381 edges, 25078 markings/sec, 85 secs
lola: 2283397 markings, 2771141 edges, 22924 markings/sec, 90 secs
lola: 2410628 markings, 2926552 edges, 25446 markings/sec, 95 secs
lola: 2527735 markings, 3073523 edges, 23421 markings/sec, 100 secs
lola: 2645222 markings, 3219834 edges, 23497 markings/sec, 105 secs
lola: 2785273 markings, 3393622 edges, 28010 markings/sec, 110 secs
lola: 2935316 markings, 3580848 edges, 30009 markings/sec, 115 secs
lola: 3082185 markings, 3764083 edges, 29374 markings/sec, 120 secs
lola: 3186282 markings, 3894968 edges, 20819 markings/sec, 125 secs
lola: 3310960 markings, 4051255 edges, 24936 markings/sec, 130 secs
lola: 3430739 markings, 4197573 edges, 23956 markings/sec, 135 secs
lola: 3545870 markings, 4341925 edges, 23026 markings/sec, 140 secs
lola: 3651408 markings, 4473061 edges, 21108 markings/sec, 145 secs
lola: 3765124 markings, 4618766 edges, 22743 markings/sec, 150 secs
lola: 3905645 markings, 4793900 edges, 28104 markings/sec, 155 secs
lola: 4046967 markings, 4971968 edges, 28264 markings/sec, 160 secs
lola: 4158311 markings, 5113838 edges, 22269 markings/sec, 165 secs
lola: 4279557 markings, 5267296 edges, 24249 markings/sec, 170 secs
lola: 4389061 markings, 5403595 edges, 21901 markings/sec, 175 secs
lola: 4536719 markings, 5584998 edges, 29532 markings/sec, 180 secs
lola: 4679669 markings, 5764618 edges, 28590 markings/sec, 185 secs
lola: 4801742 markings, 5917641 edges, 24415 markings/sec, 190 secs
lola: 4908542 markings, 6051340 edges, 21360 markings/sec, 195 secs
lola: 5009323 markings, 6177271 edges, 20156 markings/sec, 200 secs
lola: 5120701 markings, 6316813 edges, 22276 markings/sec, 205 secs
lola: 5247368 markings, 6476543 edges, 25333 markings/sec, 210 secs
lola: 5404752 markings, 6674465 edges, 31477 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(p604)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 135178 markings, 161894 edges, 27036 markings/sec, 0 secs
lola: 282193 markings, 338900 edges, 29403 markings/sec, 5 secs
lola: 432928 markings, 521906 edges, 30147 markings/sec, 10 secs
lola: 589082 markings, 712608 edges, 31231 markings/sec, 15 secs
lola: 741953 markings, 900851 edges, 30574 markings/sec, 20 secs
lola: 899468 markings, 1093420 edges, 31503 markings/sec, 25 secs
lola: 1062453 markings, 1293003 edges, 32597 markings/sec, 30 secs
lola: 1223730 markings, 1490406 edges, 32255 markings/sec, 35 secs
lola: 1375713 markings, 1676578 edges, 30397 markings/sec, 40 secs
lola: 1539184 markings, 1876775 edges, 32694 markings/sec, 45 secs
lola: 1724717 markings, 2103848 edges, 37107 markings/sec, 50 secs
lola: 1867965 markings, 2277852 edges, 28650 markings/sec, 55 secs
lola: 2003657 markings, 2442498 edges, 27138 markings/sec, 60 secs
lola: 2160739 markings, 2634231 edges, 31416 markings/sec, 65 secs
lola: 2306106 markings, 2813014 edges, 29073 markings/sec, 70 secs
lola: 2440051 markings, 2976438 edges, 26789 markings/sec, 75 secs
lola: 2573036 markings, 3140180 edges, 26597 markings/sec, 80 secs
lola: 2709160 markings, 3307618 edges, 27225 markings/sec, 85 secs
lola: 2840581 markings, 3469692 edges, 26284 markings/sec, 90 secs
lola: 2980790 markings, 3642571 edges, 28042 markings/sec, 95 secs
lola: 3121851 markings, 3816247 edges, 28212 markings/sec, 100 secs
lola: 3265673 markings, 3993780 edges, 28764 markings/sec, 105 secs
lola: 3405439 markings, 4164665 edges, 27953 markings/sec, 110 secs
lola: 3545778 markings, 4337556 edges, 28068 markings/sec, 115 secs
lola: 3682778 markings, 4506457 edges, 27400 markings/sec, 120 secs
lola: 3812204 markings, 4663350 edges, 25885 markings/sec, 125 secs
lola: 3942663 markings, 4822896 edges, 26092 markings/sec, 130 secs
lola: 4073282 markings, 4983494 edges, 26124 markings/sec, 135 secs
lola: 4207469 markings, 5148486 edges, 26837 markings/sec, 140 secs
lola: 4329602 markings, 5297818 edges, 24427 markings/sec, 145 secs
lola: 4463802 markings, 5461037 edges, 26840 markings/sec, 150 secs
lola: 4593556 markings, 5619496 edges, 25951 markings/sec, 155 secs
lola: 4728841 markings, 5786157 edges, 27057 markings/sec, 160 secs
lola: 4866019 markings, 5954958 edges, 27436 markings/sec, 165 secs
lola: 4990555 markings, 6108722 edges, 24907 markings/sec, 170 secs
lola: 5115600 markings, 6263103 edges, 25009 markings/sec, 175 secs
lola: 5244451 markings, 6421576 edges, 25770 markings/sec, 180 secs
lola: 5393456 markings, 6604494 edges, 29801 markings/sec, 185 secs
lola: 5533314 markings, 6776121 edges, 27972 markings/sec, 190 secs
lola: 5669829 markings, 6943900 edges, 27303 markings/sec, 195 secs
lola: 5810877 markings, 7117102 edges, 28210 markings/sec, 200 secs
lola: 5941001 markings, 7276389 edges, 26025 markings/sec, 205 secs
lola: 6069051 markings, 7434100 edges, 25610 markings/sec, 210 secs
lola: 6203175 markings, 7599778 edges, 26825 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(p694)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 135405 markings, 162278 edges, 27081 markings/sec, 0 secs
lola: 282940 markings, 339215 edges, 29507 markings/sec, 5 secs
lola: 438882 markings, 528495 edges, 31188 markings/sec, 10 secs
lola: 595000 markings, 719619 edges, 31224 markings/sec, 15 secs
lola: 753224 markings, 913385 edges, 31645 markings/sec, 20 secs
lola: 938407 markings, 1140703 edges, 37037 markings/sec, 25 secs
lola: 1096265 markings, 1333008 edges, 31572 markings/sec, 30 secs
lola: 1224444 markings, 1486980 edges, 25636 markings/sec, 35 secs
lola: 1364052 markings, 1655273 edges, 27922 markings/sec, 40 secs
lola: 1498696 markings, 1819151 edges, 26929 markings/sec, 45 secs
lola: 1641396 markings, 1994832 edges, 28540 markings/sec, 50 secs
lola: 1776622 markings, 2158275 edges, 27045 markings/sec, 55 secs
lola: 1905696 markings, 2314362 edges, 25815 markings/sec, 60 secs
lola: 2030665 markings, 2466170 edges, 24994 markings/sec, 65 secs
lola: 2167770 markings, 2633898 edges, 27421 markings/sec, 70 secs
lola: 2304926 markings, 2802744 edges, 27431 markings/sec, 75 secs
lola: 2435994 markings, 2963402 edges, 26214 markings/sec, 80 secs
lola: 2575037 markings, 3134114 edges, 27809 markings/sec, 85 secs
lola: 2710531 markings, 3300070 edges, 27099 markings/sec, 90 secs
lola: 2848961 markings, 3471166 edges, 27686 markings/sec, 95 secs
lola: 2998014 markings, 3653327 edges, 29811 markings/sec, 100 secs
lola: 3135150 markings, 3821105 edges, 27427 markings/sec, 105 secs
lola: 3273870 markings, 3992056 edges, 27744 markings/sec, 110 secs
lola: 3411341 markings, 4160723 edges, 27494 markings/sec, 115 secs
lola: 3535047 markings, 4309949 edges, 24741 markings/sec, 120 secs
lola: 3661978 markings, 4465712 edges, 25386 markings/sec, 125 secs
lola: 3797331 markings, 4632604 edges, 27071 markings/sec, 130 secs
lola: 3930549 markings, 4797031 edges, 26644 markings/sec, 135 secs
lola: 4060370 markings, 4957206 edges, 25964 markings/sec, 140 secs
lola: 4193462 markings, 5120276 edges, 26618 markings/sec, 145 secs
lola: 4328612 markings, 5285860 edges, 27030 markings/sec, 150 secs
lola: 4474996 markings, 5463477 edges, 29277 markings/sec, 155 secs
lola: 4642886 markings, 5664178 edges, 33578 markings/sec, 160 secs
lola: 4764947 markings, 5812648 edges, 24412 markings/sec, 165 secs
lola: 4904311 markings, 5981927 edges, 27873 markings/sec, 170 secs
lola: 5031613 markings, 6138943 edges, 25460 markings/sec, 175 secs
lola: 5170542 markings, 6309475 edges, 27786 markings/sec, 180 secs
lola: 5302386 markings, 6471874 edges, 26369 markings/sec, 185 secs
lola: 5439577 markings, 6641205 edges, 27438 markings/sec, 190 secs
lola: 5571341 markings, 6803952 edges, 26353 markings/sec, 195 secs
lola: 5707098 markings, 6971184 edges, 27151 markings/sec, 200 secs
lola: 5852413 markings, 7149408 edges, 29063 markings/sec, 205 secs
lola: 5987365 markings, 7315234 edges, 26990 markings/sec, 210 secs
lola: 6123988 markings, 7483828 edges, 27325 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(p1343)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 58072 markings, 132610 edges, 11614 markings/sec, 0 secs
lola: 115252 markings, 296677 edges, 11436 markings/sec, 5 secs
lola: 168763 markings, 470896 edges, 10702 markings/sec, 10 secs
lola: 217219 markings, 623191 edges, 9691 markings/sec, 15 secs
lola: 266953 markings, 773231 edges, 9947 markings/sec, 20 secs
lola: 319401 markings, 914748 edges, 10490 markings/sec, 25 secs
lola: 370755 markings, 1049847 edges, 10271 markings/sec, 30 secs
lola: 419790 markings, 1189251 edges, 9807 markings/sec, 35 secs
lola: 469477 markings, 1327366 edges, 9937 markings/sec, 40 secs
lola: 519863 markings, 1475257 edges, 10077 markings/sec, 45 secs
lola: 566182 markings, 1633172 edges, 9264 markings/sec, 50 secs
lola: 612467 markings, 1779728 edges, 9257 markings/sec, 55 secs
lola: 657728 markings, 1909659 edges, 9052 markings/sec, 60 secs
lola: 702778 markings, 2036452 edges, 9010 markings/sec, 65 secs
lola: 748445 markings, 2169590 edges, 9133 markings/sec, 70 secs
lola: 796694 markings, 2300067 edges, 9650 markings/sec, 75 secs
lola: 845172 markings, 2424328 edges, 9696 markings/sec, 80 secs
lola: 889193 markings, 2562309 edges, 8804 markings/sec, 85 secs
lola: 932030 markings, 2697099 edges, 8567 markings/sec, 90 secs
lola: 980095 markings, 2820736 edges, 9613 markings/sec, 95 secs
lola: 1026178 markings, 2951384 edges, 9217 markings/sec, 100 secs
lola: 1074361 markings, 3068116 edges, 9637 markings/sec, 105 secs
lola: 1118317 markings, 3199911 edges, 8791 markings/sec, 110 secs
lola: 1161261 markings, 3339787 edges, 8589 markings/sec, 115 secs
lola: 1206505 markings, 3475084 edges, 9049 markings/sec, 120 secs
lola: 1254096 markings, 3602266 edges, 9518 markings/sec, 125 secs
lola: 1302718 markings, 3732681 edges, 9724 markings/sec, 130 secs
lola: 1347132 markings, 3866881 edges, 8883 markings/sec, 135 secs
lola: 1393455 markings, 4009834 edges, 9265 markings/sec, 140 secs
lola: 1439566 markings, 4143297 edges, 9222 markings/sec, 145 secs
lola: 1487260 markings, 4263663 edges, 9539 markings/sec, 150 secs
lola: 1534073 markings, 4403636 edges, 9363 markings/sec, 155 secs
lola: 1581003 markings, 4534870 edges, 9386 markings/sec, 160 secs
lola: 1629103 markings, 4663677 edges, 9620 markings/sec, 165 secs
lola: 1682057 markings, 4787186 edges, 10591 markings/sec, 170 secs
lola: 1732956 markings, 4928764 edges, 10180 markings/sec, 175 secs
lola: 1781020 markings, 5078319 edges, 9613 markings/sec, 180 secs
lola: 1826474 markings, 5198860 edges, 9091 markings/sec, 185 secs
lola: 1870945 markings, 5347652 edges, 8894 markings/sec, 190 secs
lola: 1916744 markings, 5480032 edges, 9160 markings/sec, 195 secs
lola: 1965572 markings, 5609643 edges, 9766 markings/sec, 200 secs
lola: 2017176 markings, 5740142 edges, 10321 markings/sec, 205 secs
lola: 2064092 markings, 5879724 edges, 9383 markings/sec, 210 secs
lola: 2113226 markings, 6014187 edges, 9827 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(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 112893 markings, 134359 edges, 22579 markings/sec, 0 secs
lola: 221897 markings, 264670 edges, 21801 markings/sec, 5 secs
lola: 322536 markings, 386220 edges, 20128 markings/sec, 10 secs
lola: 434601 markings, 522254 edges, 22413 markings/sec, 15 secs
lola: 547514 markings, 655681 edges, 22583 markings/sec, 20 secs
lola: 661801 markings, 790459 edges, 22857 markings/sec, 25 secs
lola: 782170 markings, 935541 edges, 24074 markings/sec, 30 secs
lola: 894811 markings, 1072003 edges, 22528 markings/sec, 35 secs
lola: 1016298 markings, 1218015 edges, 24297 markings/sec, 40 secs
lola: 1148597 markings, 1379982 edges, 26460 markings/sec, 45 secs
lola: 1274074 markings, 1533540 edges, 25095 markings/sec, 50 secs
lola: 1394980 markings, 1679588 edges, 24181 markings/sec, 55 secs
lola: 1524192 markings, 1836422 edges, 25842 markings/sec, 60 secs
lola: 1662531 markings, 2005727 edges, 27668 markings/sec, 65 secs
lola: 1780247 markings, 2146500 edges, 23543 markings/sec, 70 secs
lola: 1905154 markings, 2293798 edges, 24981 markings/sec, 75 secs
lola: 2031444 markings, 2444209 edges, 25258 markings/sec, 80 secs
lola: 2147082 markings, 2583862 edges, 23128 markings/sec, 85 secs
lola: 2264623 markings, 2726170 edges, 23508 markings/sec, 90 secs
lola: 2400563 markings, 2892237 edges, 27188 markings/sec, 95 secs
lola: 2535631 markings, 3054862 edges, 27014 markings/sec, 100 secs
lola: 2659032 markings, 3204554 edges, 24680 markings/sec, 105 secs
lola: 2783194 markings, 3354298 edges, 24832 markings/sec, 110 secs
lola: 2898790 markings, 3493956 edges, 23119 markings/sec, 115 secs
lola: 3035604 markings, 3660889 edges, 27363 markings/sec, 120 secs
lola: 3156987 markings, 3807878 edges, 24277 markings/sec, 125 secs
lola: 3284069 markings, 3962948 edges, 25416 markings/sec, 130 secs
lola: 3400654 markings, 4103980 edges, 23317 markings/sec, 135 secs
lola: 3522555 markings, 4251461 edges, 24380 markings/sec, 140 secs
lola: 3638929 markings, 4392039 edges, 23275 markings/sec, 145 secs
lola: 3767814 markings, 4548410 edges, 25777 markings/sec, 150 secs
lola: 3888317 markings, 4695303 edges, 24101 markings/sec, 155 secs
lola: 4042289 markings, 4887453 edges, 30794 markings/sec, 160 secs
lola: 4192176 markings, 5074139 edges, 29977 markings/sec, 165 secs
lola: 4322495 markings, 5236993 edges, 26064 markings/sec, 170 secs
lola: 4439062 markings, 5382818 edges, 23313 markings/sec, 175 secs
lola: 4559552 markings, 5532684 edges, 24098 markings/sec, 180 secs
lola: 4709286 markings, 5719943 edges, 29947 markings/sec, 185 secs
lola: 4824709 markings, 5863926 edges, 23085 markings/sec, 190 secs
lola: 4937196 markings, 6002211 edges, 22497 markings/sec, 195 secs
lola: 5092369 markings, 6196351 edges, 31035 markings/sec, 200 secs
lola: 5239048 markings, 6380240 edges, 29336 markings/sec, 205 secs
lola: 5373803 markings, 6551281 edges, 26951 markings/sec, 210 secs
lola: 5491269 markings, 6699274 edges, 23493 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(p1535)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 128474 markings, 206151 edges, 25695 markings/sec, 0 secs
lola: 278335 markings, 445010 edges, 29972 markings/sec, 5 secs
lola: 424722 markings, 681691 edges, 29277 markings/sec, 10 secs
lola: 590110 markings, 949202 edges, 33078 markings/sec, 15 secs
lola: 732255 markings, 1168562 edges, 28429 markings/sec, 20 secs
lola: 889842 markings, 1420559 edges, 31517 markings/sec, 25 secs
lola: 1050585 markings, 1678624 edges, 32149 markings/sec, 30 secs
lola: 1213600 markings, 1925126 edges, 32603 markings/sec, 35 secs
lola: 1379047 markings, 2186282 edges, 33089 markings/sec, 40 secs
lola: 1531969 markings, 2430479 edges, 30584 markings/sec, 45 secs
lola: 1700617 markings, 2697518 edges, 33730 markings/sec, 50 secs
lola: 1861146 markings, 2959427 edges, 32106 markings/sec, 55 secs
lola: 2029501 markings, 3223409 edges, 33671 markings/sec, 60 secs
lola: 2178966 markings, 3467061 edges, 29893 markings/sec, 65 secs
lola: 2354481 markings, 3749296 edges, 35103 markings/sec, 70 secs
lola: 2518646 markings, 4009446 edges, 32833 markings/sec, 75 secs
lola: 2671204 markings, 4257115 edges, 30512 markings/sec, 80 secs
lola: 2814256 markings, 4491788 edges, 28610 markings/sec, 85 secs
lola: 2962796 markings, 4730843 edges, 29708 markings/sec, 90 secs
lola: 3078314 markings, 4949501 edges, 23104 markings/sec, 95 secs
lola: 3247096 markings, 5220528 edges, 33756 markings/sec, 100 secs
lola: 3385558 markings, 5469067 edges, 27692 markings/sec, 105 secs
lola: 3549323 markings, 5753266 edges, 32753 markings/sec, 110 secs
lola: 3696491 markings, 6007272 edges, 29434 markings/sec, 115 secs
lola: 3798030 markings, 6141639 edges, 20308 markings/sec, 120 secs
lola: 3885188 markings, 6246917 edges, 17432 markings/sec, 125 secs
lola: 3971307 markings, 6351003 edges, 17224 markings/sec, 130 secs
lola: 4084361 markings, 6518010 edges, 22611 markings/sec, 135 secs
lola: 4196299 markings, 6683658 edges, 22388 markings/sec, 140 secs
lola: 4345533 markings, 6933124 edges, 29847 markings/sec, 145 secs
lola: 4506971 markings, 7205983 edges, 32288 markings/sec, 150 secs
lola: 4646507 markings, 7441069 edges, 27907 markings/sec, 155 secs
lola: 4757867 markings, 7621930 edges, 22272 markings/sec, 160 secs
lola: 4904973 markings, 7860055 edges, 29421 markings/sec, 165 secs
lola: 5084505 markings, 8156638 edges, 35906 markings/sec, 170 secs
lola: 5259366 markings, 8433323 edges, 34972 markings/sec, 175 secs
lola: 5436553 markings, 8723123 edges, 35437 markings/sec, 180 secs
lola: 5570102 markings, 8947910 edges, 26710 markings/sec, 185 secs
lola: 5705040 markings, 9162368 edges, 26988 markings/sec, 190 secs
lola: 5847613 markings, 9386155 edges, 28515 markings/sec, 195 secs
lola: 5965762 markings, 9565500 edges, 23630 markings/sec, 200 secs
lola: 6066786 markings, 9688952 edges, 20205 markings/sec, 205 secs
lola: 6171095 markings, 9817410 edges, 20862 markings/sec, 210 secs
lola: 6281546 markings, 9991990 edges, 22090 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(p1782)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 111113 markings, 133484 edges, 22223 markings/sec, 0 secs
lola: 221506 markings, 266295 edges, 22079 markings/sec, 5 secs
lola: 341522 markings, 409864 edges, 24003 markings/sec, 10 secs
lola: 456925 markings, 549639 edges, 23081 markings/sec, 15 secs
lola: 564778 markings, 680063 edges, 21571 markings/sec, 20 secs
lola: 683224 markings, 823889 edges, 23689 markings/sec, 25 secs
lola: 808173 markings, 976253 edges, 24990 markings/sec, 30 secs
lola: 922854 markings, 1115860 edges, 22936 markings/sec, 35 secs
lola: 1054500 markings, 1276815 edges, 26329 markings/sec, 40 secs
lola: 1172326 markings, 1420053 edges, 23565 markings/sec, 45 secs
lola: 1297978 markings, 1573930 edges, 25130 markings/sec, 50 secs
lola: 1430291 markings, 1735754 edges, 26463 markings/sec, 55 secs
lola: 1560573 markings, 1893875 edges, 26056 markings/sec, 60 secs
lola: 1702151 markings, 2067833 edges, 28316 markings/sec, 65 secs
lola: 1826969 markings, 2220639 edges, 24964 markings/sec, 70 secs
lola: 1960983 markings, 2385150 edges, 26803 markings/sec, 75 secs
lola: 2075709 markings, 2525068 edges, 22945 markings/sec, 80 secs
lola: 2193487 markings, 2668050 edges, 23556 markings/sec, 85 secs
lola: 2329857 markings, 2835485 edges, 27274 markings/sec, 90 secs
lola: 2449279 markings, 2980562 edges, 23884 markings/sec, 95 secs
lola: 2575511 markings, 3135381 edges, 25246 markings/sec, 100 secs
lola: 2720732 markings, 3313457 edges, 29044 markings/sec, 105 secs
lola: 2872349 markings, 3500023 edges, 30323 markings/sec, 110 secs
lola: 2995969 markings, 3650619 edges, 24724 markings/sec, 115 secs
lola: 3117276 markings, 3797967 edges, 24261 markings/sec, 120 secs
lola: 3259203 markings, 3971768 edges, 28385 markings/sec, 125 secs
lola: 3404087 markings, 4149066 edges, 28977 markings/sec, 130 secs
lola: 3522583 markings, 4289845 edges, 23699 markings/sec, 135 secs
lola: 3639955 markings, 4432786 edges, 23474 markings/sec, 140 secs
lola: 3740734 markings, 4555780 edges, 20156 markings/sec, 145 secs
lola: 3863430 markings, 4705978 edges, 24539 markings/sec, 150 secs
lola: 3983886 markings, 4851978 edges, 24091 markings/sec, 155 secs
lola: 4108934 markings, 5003306 edges, 25010 markings/sec, 160 secs
lola: 4223743 markings, 5143178 edges, 22962 markings/sec, 165 secs
lola: 4335269 markings, 5279291 edges, 22305 markings/sec, 170 secs
lola: 4458343 markings, 5429959 edges, 24615 markings/sec, 175 secs
lola: 4579106 markings, 5576867 edges, 24153 markings/sec, 180 secs
lola: 4711653 markings, 5740028 edges, 26509 markings/sec, 185 secs
lola: 4836904 markings, 5891671 edges, 25050 markings/sec, 190 secs
lola: 4968103 markings, 6051593 edges, 26240 markings/sec, 195 secs
lola: 5123285 markings, 6242396 edges, 31036 markings/sec, 200 secs
lola: 5271977 markings, 6424911 edges, 29738 markings/sec, 205 secs
lola: 5400006 markings, 6581709 edges, 25606 markings/sec, 210 secs
lola: 5519942 markings, 6727698 edges, 23987 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(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 87898 markings, 130149 edges, 17580 markings/sec, 0 secs
lola: 170853 markings, 282280 edges, 16591 markings/sec, 5 secs
lola: 243458 markings, 420623 edges, 14521 markings/sec, 10 secs
lola: 323728 markings, 550658 edges, 16054 markings/sec, 15 secs
lola: 406350 markings, 680557 edges, 16524 markings/sec, 20 secs
lola: 492645 markings, 822261 edges, 17259 markings/sec, 25 secs
lola: 582067 markings, 947964 edges, 17884 markings/sec, 30 secs
lola: 667051 markings, 1069969 edges, 16997 markings/sec, 35 secs
lola: 741535 markings, 1205993 edges, 14897 markings/sec, 40 secs
lola: 821623 markings, 1344349 edges, 16018 markings/sec, 45 secs
lola: 887156 markings, 1487664 edges, 13107 markings/sec, 50 secs
lola: 958483 markings, 1642782 edges, 14265 markings/sec, 55 secs
lola: 1030576 markings, 1789641 edges, 14419 markings/sec, 60 secs
lola: 1111247 markings, 1966907 edges, 16134 markings/sec, 65 secs
lola: 1193390 markings, 2108710 edges, 16429 markings/sec, 70 secs
lola: 1275918 markings, 2280086 edges, 16506 markings/sec, 75 secs
lola: 1356995 markings, 2433009 edges, 16215 markings/sec, 80 secs
lola: 1440441 markings, 2557669 edges, 16689 markings/sec, 85 secs
lola: 1522041 markings, 2723604 edges, 16320 markings/sec, 90 secs
lola: 1599939 markings, 2877958 edges, 15580 markings/sec, 95 secs
lola: 1680817 markings, 3052273 edges, 16176 markings/sec, 100 secs
lola: 1763303 markings, 3219944 edges, 16497 markings/sec, 105 secs
lola: 1853886 markings, 3363834 edges, 18117 markings/sec, 110 secs
lola: 1932762 markings, 3510940 edges, 15775 markings/sec, 115 secs
lola: 2006157 markings, 3660160 edges, 14679 markings/sec, 120 secs
lola: 2083954 markings, 3815142 edges, 15559 markings/sec, 125 secs
lola: 2165399 markings, 3962288 edges, 16289 markings/sec, 130 secs
lola: 2240460 markings, 4102561 edges, 15012 markings/sec, 135 secs
lola: 2322614 markings, 4216903 edges, 16431 markings/sec, 140 secs
lola: 2399197 markings, 4352553 edges, 15317 markings/sec, 145 secs
lola: 2474442 markings, 4495580 edges, 15049 markings/sec, 150 secs
lola: 2547074 markings, 4638531 edges, 14526 markings/sec, 155 secs
lola: 2626331 markings, 4757981 edges, 15851 markings/sec, 160 secs
lola: 2700416 markings, 4907721 edges, 14817 markings/sec, 165 secs
lola: 2775430 markings, 5075228 edges, 15003 markings/sec, 170 secs
lola: 2861739 markings, 5244093 edges, 17262 markings/sec, 175 secs
lola: 2941258 markings, 5404594 edges, 15904 markings/sec, 180 secs
lola: 3015869 markings, 5551390 edges, 14922 markings/sec, 185 secs
lola: 3091276 markings, 5698529 edges, 15081 markings/sec, 190 secs
lola: 3175808 markings, 5875376 edges, 16906 markings/sec, 195 secs
lola: 3269279 markings, 6005744 edges, 18694 markings/sec, 200 secs
lola: 3357057 markings, 6159302 edges, 17556 markings/sec, 205 secs
lola: 3444147 markings, 6312305 edges, 17418 markings/sec, 210 secs
lola: 3526089 markings, 6482634 edges, 16388 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(p1461)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 139015 markings, 223483 edges, 27803 markings/sec, 0 secs
lola: 277423 markings, 445354 edges, 27682 markings/sec, 5 secs
lola: 429817 markings, 685893 edges, 30479 markings/sec, 10 secs
lola: 568105 markings, 910253 edges, 27658 markings/sec, 15 secs
lola: 703819 markings, 1128437 edges, 27143 markings/sec, 20 secs
lola: 856986 markings, 1372048 edges, 30633 markings/sec, 25 secs
lola: 1006326 markings, 1608442 edges, 29868 markings/sec, 30 secs
lola: 1171369 markings, 1863375 edges, 33009 markings/sec, 35 secs
lola: 1319641 markings, 2096473 edges, 29654 markings/sec, 40 secs
lola: 1478838 markings, 2341321 edges, 31839 markings/sec, 45 secs
lola: 1629102 markings, 2575877 edges, 30053 markings/sec, 50 secs
lola: 1790849 markings, 2838072 edges, 32349 markings/sec, 55 secs
lola: 1937741 markings, 3065485 edges, 29378 markings/sec, 60 secs
lola: 2054861 markings, 3252375 edges, 23424 markings/sec, 65 secs
lola: 2212908 markings, 3501543 edges, 31609 markings/sec, 70 secs
lola: 2369160 markings, 3746786 edges, 31250 markings/sec, 75 secs
lola: 2533190 markings, 4002753 edges, 32806 markings/sec, 80 secs
lola: 2696790 markings, 4257685 edges, 32720 markings/sec, 85 secs
lola: 2871223 markings, 4532123 edges, 34887 markings/sec, 90 secs
lola: 3052963 markings, 4819545 edges, 36348 markings/sec, 95 secs
lola: 3205706 markings, 5063154 edges, 30549 markings/sec, 100 secs
lola: 3358570 markings, 5308892 edges, 30573 markings/sec, 105 secs
lola: 3514355 markings, 5560171 edges, 31157 markings/sec, 110 secs
lola: 3680316 markings, 5823829 edges, 33192 markings/sec, 115 secs
lola: 3816011 markings, 6050549 edges, 27139 markings/sec, 120 secs
lola: 3978133 markings, 6308229 edges, 32424 markings/sec, 125 secs
lola: 4110845 markings, 6544612 edges, 26542 markings/sec, 130 secs
lola: 4254809 markings, 6772318 edges, 28793 markings/sec, 135 secs
lola: 4399997 markings, 6999468 edges, 29038 markings/sec, 140 secs
lola: 4544530 markings, 7225511 edges, 28907 markings/sec, 145 secs
lola: 4687634 markings, 7452195 edges, 28621 markings/sec, 150 secs
lola: 4837329 markings, 7687765 edges, 29939 markings/sec, 155 secs
lola: 5009646 markings, 7969989 edges, 34463 markings/sec, 160 secs
lola: 5184178 markings, 8252867 edges, 34906 markings/sec, 165 secs
lola: 5354521 markings, 8528419 edges, 34069 markings/sec, 170 secs
lola: 5490801 markings, 8770372 edges, 27256 markings/sec, 175 secs
lola: 5654238 markings, 9033913 edges, 32687 markings/sec, 180 secs
lola: 5798654 markings, 9265119 edges, 28883 markings/sec, 185 secs
lola: 5940562 markings, 9490228 edges, 28382 markings/sec, 190 secs
lola: 6076545 markings, 9722411 edges, 27197 markings/sec, 195 secs
lola: 6242660 markings, 9996030 edges, 33223 markings/sec, 200 secs
lola: 6399656 markings, 10246756 edges, 31399 markings/sec, 205 secs
lola: 6551905 markings, 10485803 edges, 30450 markings/sec, 210 secs
lola: 6693358 markings, 10722990 edges, 28291 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(p2412)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 106140 markings, 127317 edges, 21228 markings/sec, 0 secs
lola: 218009 markings, 262857 edges, 22374 markings/sec, 5 secs
lola: 333760 markings, 402110 edges, 23150 markings/sec, 10 secs
lola: 448535 markings, 539864 edges, 22955 markings/sec, 15 secs
lola: 570183 markings, 687723 edges, 24330 markings/sec, 20 secs
lola: 700395 markings, 844621 edges, 26042 markings/sec, 25 secs
lola: 833956 markings, 1006203 edges, 26712 markings/sec, 30 secs
lola: 977933 markings, 1180593 edges, 28795 markings/sec, 35 secs
lola: 1121549 markings, 1354083 edges, 28723 markings/sec, 40 secs
lola: 1278025 markings, 1548660 edges, 31295 markings/sec, 45 secs
lola: 1428961 markings, 1736980 edges, 30187 markings/sec, 50 secs
lola: 1580385 markings, 1924766 edges, 30285 markings/sec, 55 secs
lola: 1703931 markings, 2075850 edges, 24709 markings/sec, 60 secs
lola: 1822915 markings, 2223887 edges, 23797 markings/sec, 65 secs
lola: 1935385 markings, 2364555 edges, 22494 markings/sec, 70 secs
lola: 2061508 markings, 2522624 edges, 25225 markings/sec, 75 secs
lola: 2191482 markings, 2686210 edges, 25995 markings/sec, 80 secs
lola: 2346387 markings, 2880251 edges, 30981 markings/sec, 85 secs
lola: 2488349 markings, 3058369 edges, 28392 markings/sec, 90 secs
lola: 2623963 markings, 3228528 edges, 27123 markings/sec, 95 secs
lola: 2747575 markings, 3381324 edges, 24722 markings/sec, 100 secs
lola: 2854394 markings, 3515082 edges, 21364 markings/sec, 105 secs
lola: 2964855 markings, 3653404 edges, 22092 markings/sec, 110 secs
lola: 3084139 markings, 3806026 edges, 23857 markings/sec, 115 secs
lola: 3193726 markings, 3944391 edges, 21917 markings/sec, 120 secs
lola: 3351654 markings, 4140724 edges, 31586 markings/sec, 125 secs
lola: 3514742 markings, 4344099 edges, 32618 markings/sec, 130 secs
lola: 3655556 markings, 4522339 edges, 28163 markings/sec, 135 secs
lola: 3780852 markings, 4674915 edges, 25059 markings/sec, 140 secs
lola: 3895995 markings, 4818181 edges, 23029 markings/sec, 145 secs
lola: 4000248 markings, 4948248 edges, 20851 markings/sec, 150 secs
lola: 4109753 markings, 5085403 edges, 21901 markings/sec, 155 secs
lola: 4230234 markings, 5239358 edges, 24096 markings/sec, 160 secs
lola: 4355030 markings, 5397142 edges, 24959 markings/sec, 165 secs
lola: 4489613 markings, 5565521 edges, 26917 markings/sec, 170 secs
lola: 4645418 markings, 5760398 edges, 31161 markings/sec, 175 secs
lola: 4781650 markings, 5932506 edges, 27246 markings/sec, 180 secs
lola: 4908637 markings, 6094862 edges, 25397 markings/sec, 185 secs
lola: 5032410 markings, 6251475 edges, 24755 markings/sec, 190 secs
lola: 5141227 markings, 6387415 edges, 21763 markings/sec, 195 secs
lola: 5244952 markings, 6516732 edges, 20745 markings/sec, 200 secs
lola: 5360137 markings, 6662953 edges, 23037 markings/sec, 205 secs
lola: 5483782 markings, 6822966 edges, 24729 markings/sec, 210 secs
lola: 5592686 markings, 6961895 edges, 21781 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(p2257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 127982 markings, 214789 edges, 25596 markings/sec, 0 secs
lola: 234960 markings, 403677 edges, 21396 markings/sec, 5 secs
lola: 335822 markings, 593976 edges, 20172 markings/sec, 10 secs
lola: 423817 markings, 779936 edges, 17599 markings/sec, 15 secs
lola: 527554 markings, 953881 edges, 20747 markings/sec, 20 secs
lola: 633335 markings, 1081663 edges, 21156 markings/sec, 25 secs
lola: 742683 markings, 1270094 edges, 21870 markings/sec, 30 secs
lola: 853372 markings, 1467352 edges, 22138 markings/sec, 35 secs
lola: 959539 markings, 1645361 edges, 21233 markings/sec, 40 secs
lola: 1065368 markings, 1822497 edges, 21166 markings/sec, 45 secs
lola: 1175205 markings, 2002001 edges, 21967 markings/sec, 50 secs
lola: 1287297 markings, 2206064 edges, 22418 markings/sec, 55 secs
lola: 1380591 markings, 2394782 edges, 18659 markings/sec, 60 secs
lola: 1479007 markings, 2570022 edges, 19683 markings/sec, 65 secs
lola: 1589492 markings, 2759938 edges, 22097 markings/sec, 70 secs
lola: 1698138 markings, 2967820 edges, 21729 markings/sec, 75 secs
lola: 1800181 markings, 3162756 edges, 20409 markings/sec, 80 secs
lola: 1887792 markings, 3335985 edges, 17522 markings/sec, 85 secs
lola: 1978917 markings, 3525093 edges, 18225 markings/sec, 90 secs
lola: 2085749 markings, 3727207 edges, 21366 markings/sec, 95 secs
lola: 2195357 markings, 3923863 edges, 21922 markings/sec, 100 secs
lola: 2327079 markings, 4159072 edges, 26344 markings/sec, 105 secs
lola: 2439734 markings, 4366061 edges, 22531 markings/sec, 110 secs
lola: 2555039 markings, 4532734 edges, 23061 markings/sec, 115 secs
lola: 2706917 markings, 4742037 edges, 30376 markings/sec, 120 secs
lola: 2843371 markings, 4922275 edges, 27291 markings/sec, 125 secs
lola: 2970197 markings, 5084081 edges, 25365 markings/sec, 130 secs
lola: 3090798 markings, 5241756 edges, 24120 markings/sec, 135 secs
lola: 3206623 markings, 5394458 edges, 23165 markings/sec, 140 secs
lola: 3332824 markings, 5590483 edges, 25240 markings/sec, 145 secs
lola: 3452029 markings, 5800970 edges, 23841 markings/sec, 150 secs
lola: 3585354 markings, 5972070 edges, 26665 markings/sec, 155 secs
lola: 3704708 markings, 6121694 edges, 23871 markings/sec, 160 secs
lola: 3827132 markings, 6276168 edges, 24485 markings/sec, 165 secs
lola: 3945720 markings, 6427919 edges, 23718 markings/sec, 170 secs
lola: 4061044 markings, 6619162 edges, 23065 markings/sec, 175 secs
lola: 4165464 markings, 6795864 edges, 20884 markings/sec, 180 secs
lola: 4291077 markings, 6954354 edges, 25123 markings/sec, 185 secs
lola: 4404488 markings, 7096782 edges, 22682 markings/sec, 190 secs
lola: 4519807 markings, 7240826 edges, 23064 markings/sec, 195 secs
lola: 4630295 markings, 7384377 edges, 22098 markings/sec, 200 secs
lola: 4754036 markings, 7542157 edges, 24748 markings/sec, 205 secs
lola: 4903993 markings, 7728876 edges, 29991 markings/sec, 210 secs
lola: 5060407 markings, 7924076 edges, 31283 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1666)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 110750 markings, 133311 edges, 22150 markings/sec, 0 secs
lola: 227742 markings, 274888 edges, 23398 markings/sec, 5 secs
lola: 351614 markings, 425447 edges, 24774 markings/sec, 10 secs
lola: 472723 markings, 572831 edges, 24222 markings/sec, 15 secs
lola: 584899 markings, 708865 edges, 22435 markings/sec, 20 secs
lola: 698910 markings, 847094 edges, 22802 markings/sec, 25 secs
lola: 818929 markings, 991918 edges, 24004 markings/sec, 30 secs
lola: 950520 markings, 1153415 edges, 26318 markings/sec, 35 secs
lola: 1062677 markings, 1290272 edges, 22431 markings/sec, 40 secs
lola: 1189069 markings, 1444800 edges, 25278 markings/sec, 45 secs
lola: 1289253 markings, 1566277 edges, 20037 markings/sec, 50 secs
lola: 1399584 markings, 1700348 edges, 22066 markings/sec, 55 secs
lola: 1523394 markings, 1852208 edges, 24762 markings/sec, 60 secs
lola: 1643170 markings, 1998007 edges, 23955 markings/sec, 65 secs
lola: 1757819 markings, 2137593 edges, 22930 markings/sec, 70 secs
lola: 1865716 markings, 2269028 edges, 21579 markings/sec, 75 secs
lola: 1968354 markings, 2393121 edges, 20528 markings/sec, 80 secs
lola: 2090736 markings, 2542734 edges, 24476 markings/sec, 85 secs
lola: 2209361 markings, 2687347 edges, 23725 markings/sec, 90 secs
lola: 2336808 markings, 2843850 edges, 25489 markings/sec, 95 secs
lola: 2454040 markings, 2987094 edges, 23446 markings/sec, 100 secs
lola: 2567012 markings, 3124783 edges, 22594 markings/sec, 105 secs
lola: 2678695 markings, 3261165 edges, 22337 markings/sec, 110 secs
lola: 2820866 markings, 3435698 edges, 28434 markings/sec, 115 secs
lola: 2948412 markings, 3591896 edges, 25509 markings/sec, 120 secs
lola: 3059985 markings, 3727555 edges, 22315 markings/sec, 125 secs
lola: 3180974 markings, 3874821 edges, 24198 markings/sec, 130 secs
lola: 3317534 markings, 4042496 edges, 27312 markings/sec, 135 secs
lola: 3457239 markings, 4215051 edges, 27941 markings/sec, 140 secs
lola: 3577541 markings, 4362358 edges, 24060 markings/sec, 145 secs
lola: 3685382 markings, 4494291 edges, 21568 markings/sec, 150 secs
lola: 3794516 markings, 4627941 edges, 21827 markings/sec, 155 secs
lola: 3896613 markings, 4752492 edges, 20419 markings/sec, 160 secs
lola: 3991682 markings, 4868187 edges, 19014 markings/sec, 165 secs
lola: 4100837 markings, 5001966 edges, 21831 markings/sec, 170 secs
lola: 4189037 markings, 5109028 edges, 17640 markings/sec, 175 secs
lola: 4290952 markings, 5232542 edges, 20383 markings/sec, 180 secs
lola: 4402555 markings, 5368143 edges, 22321 markings/sec, 185 secs
lola: 4545276 markings, 5543462 edges, 28544 markings/sec, 190 secs
lola: 4668415 markings, 5694013 edges, 24628 markings/sec, 195 secs
lola: 4781732 markings, 5832479 edges, 22663 markings/sec, 200 secs
lola: 4892940 markings, 5968499 edges, 22242 markings/sec, 205 secs
lola: 5007949 markings, 6109027 edges, 23002 markings/sec, 210 secs
lola: 5127778 markings, 6255048 edges, 23966 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p591)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 128708 markings, 155380 edges, 25742 markings/sec, 0 secs
lola: 265631 markings, 319623 edges, 27385 markings/sec, 5 secs
lola: 405664 markings, 487731 edges, 28007 markings/sec, 10 secs
lola: 555358 markings, 669806 edges, 29939 markings/sec, 15 secs
lola: 711257 markings, 859888 edges, 31180 markings/sec, 20 secs
lola: 866671 markings, 1049815 edges, 31083 markings/sec, 25 secs
lola: 1028616 markings, 1247609 edges, 32389 markings/sec, 30 secs
lola: 1183099 markings, 1436329 edges, 30897 markings/sec, 35 secs
lola: 1327101 markings, 1612502 edges, 28800 markings/sec, 40 secs
lola: 1480982 markings, 1801014 edges, 30776 markings/sec, 45 secs
lola: 1656338 markings, 2015854 edges, 35071 markings/sec, 50 secs
lola: 1793168 markings, 2182226 edges, 27366 markings/sec, 55 secs
lola: 1908241 markings, 2320972 edges, 23015 markings/sec, 60 secs
lola: 2029041 markings, 2467652 edges, 24160 markings/sec, 65 secs
lola: 2160494 markings, 2629657 edges, 26291 markings/sec, 70 secs
lola: 2307493 markings, 2806834 edges, 29400 markings/sec, 75 secs
lola: 2435192 markings, 2963691 edges, 25540 markings/sec, 80 secs
lola: 2567915 markings, 3126619 edges, 26545 markings/sec, 85 secs
lola: 2696110 markings, 3284288 edges, 25639 markings/sec, 90 secs
lola: 2823507 markings, 3440512 edges, 25479 markings/sec, 95 secs
lola: 2950021 markings, 3593174 edges, 25303 markings/sec, 100 secs
lola: 3079957 markings, 3753381 edges, 25987 markings/sec, 105 secs
lola: 3218602 markings, 3922214 edges, 27729 markings/sec, 110 secs
lola: 3354837 markings, 4089443 edges, 27247 markings/sec, 115 secs
lola: 3499487 markings, 4264607 edges, 28930 markings/sec, 120 secs
lola: 3621922 markings, 4413394 edges, 24487 markings/sec, 125 secs
lola: 3752149 markings, 4573744 edges, 26045 markings/sec, 130 secs
lola: 3886515 markings, 4738994 edges, 26873 markings/sec, 135 secs
lola: 4015338 markings, 4897534 edges, 25765 markings/sec, 140 secs
lola: 4150178 markings, 5063973 edges, 26968 markings/sec, 145 secs
lola: 4282204 markings, 5225982 edges, 26405 markings/sec, 150 secs
lola: 4406401 markings, 5377750 edges, 24839 markings/sec, 155 secs
lola: 4523598 markings, 5519962 edges, 23439 markings/sec, 160 secs
lola: 4641200 markings, 5662896 edges, 23520 markings/sec, 165 secs
lola: 4772013 markings, 5823411 edges, 26163 markings/sec, 170 secs
lola: 4890953 markings, 5968884 edges, 23788 markings/sec, 175 secs
lola: 5018682 markings, 6125942 edges, 25546 markings/sec, 180 secs
lola: 5145924 markings, 6283145 edges, 25448 markings/sec, 185 secs
lola: 5269166 markings, 6435036 edges, 24648 markings/sec, 190 secs
lola: 5397702 markings, 6593219 edges, 25707 markings/sec, 195 secs
lola: 5532779 markings, 6759601 edges, 27015 markings/sec, 200 secs
lola: 5658991 markings, 6915067 edges, 25242 markings/sec, 205 secs
lola: 5777018 markings, 7060666 edges, 23605 markings/sec, 210 secs
lola: 5888393 markings, 7197337 edges, 22275 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(p1166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 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: 103969 markings, 125227 edges, 20794 markings/sec, 0 secs
lola: 214090 markings, 258312 edges, 22024 markings/sec, 5 secs
lola: 320841 markings, 387148 edges, 21350 markings/sec, 10 secs
lola: 430162 markings, 518473 edges, 21864 markings/sec, 15 secs
lola: 540773 markings, 652498 edges, 22122 markings/sec, 20 secs
lola: 670987 markings, 810928 edges, 26043 markings/sec, 25 secs
lola: 804679 markings, 973307 edges, 26738 markings/sec, 30 secs
lola: 934446 markings, 1130908 edges, 25953 markings/sec, 35 secs
lola: 1064677 markings, 1289561 edges, 26046 markings/sec, 40 secs
lola: 1184764 markings, 1436059 edges, 24017 markings/sec, 45 secs
lola: 1297164 markings, 1572627 edges, 22480 markings/sec, 50 secs
lola: 1419039 markings, 1722043 edges, 24375 markings/sec, 55 secs
lola: 1532938 markings, 1864354 edges, 22780 markings/sec, 60 secs
lola: 1654021 markings, 2013821 edges, 24217 markings/sec, 65 secs
lola: 1763637 markings, 2147464 edges, 21923 markings/sec, 70 secs
lola: 1879501 markings, 2288996 edges, 23173 markings/sec, 75 secs
lola: 1993763 markings, 2432613 edges, 22852 markings/sec, 80 secs
lola: 2099881 markings, 2564160 edges, 21224 markings/sec, 85 secs
lola: 2214165 markings, 2706028 edges, 22857 markings/sec, 90 secs
lola: 2332494 markings, 2850435 edges, 23666 markings/sec, 95 secs
lola: 2447731 markings, 2990928 edges, 23047 markings/sec, 100 secs
lola: 2564969 markings, 3135441 edges, 23448 markings/sec, 105 secs
lola: 2677696 markings, 3276627 edges, 22545 markings/sec, 110 secs
lola: 2797706 markings, 3424772 edges, 24002 markings/sec, 115 secs
lola: 2912537 markings, 3566170 edges, 22966 markings/sec, 120 secs
lola: 3025969 markings, 3704609 edges, 22686 markings/sec, 125 secs
lola: 3135775 markings, 3839335 edges, 21961 markings/sec, 130 secs
lola: 3245593 markings, 3976968 edges, 21964 markings/sec, 135 secs
lola: 3354619 markings, 4113218 edges, 21805 markings/sec, 140 secs
lola: 3465297 markings, 4251252 edges, 22136 markings/sec, 145 secs
lola: 3611727 markings, 4429753 edges, 29286 markings/sec, 150 secs
lola: 3760916 markings, 4616761 edges, 29838 markings/sec, 155 secs
lola: 3888695 markings, 4779319 edges, 25556 markings/sec, 160 secs
lola: 4029546 markings, 4957318 edges, 28170 markings/sec, 165 secs
lola: 4167808 markings, 5128337 edges, 27652 markings/sec, 170 secs
lola: 4310083 markings, 5310306 edges, 28455 markings/sec, 175 secs
lola: 4451854 markings, 5486117 edges, 28354 markings/sec, 180 secs
lola: 4587459 markings, 5656351 edges, 27121 markings/sec, 185 secs
lola: 4713184 markings, 5816489 edges, 25145 markings/sec, 190 secs
lola: 4845133 markings, 5984696 edges, 26390 markings/sec, 195 secs
lola: 4976710 markings, 6151338 edges, 26315 markings/sec, 200 secs
lola: 5096909 markings, 6306447 edges, 24040 markings/sec, 205 secs
lola: 5253201 markings, 6499592 edges, 31258 markings/sec, 210 secs
lola: 5408409 markings, 6695398 edges, 31042 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 CloudReconfiguration-PT-307-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-307-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496533754502

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