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 CloudDeployment-PT-7b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308800065
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494617539062


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CloudDeployment-PT-7b @ 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: 22023/65536 symbol table entries, 8095 collisions
lola: preprocessing...
lola: finding significant places
lola: 2271 places, 19752 transitions, 2242 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3555 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-7b-UpperBounds.task
lola: MAX(p871) : MAX(p1734) : MAX(p653) : MAX(p1096) : MAX(p1177) : MAX(p135) : MAX(p571) : MAX(p553) : MAX(p918) : MAX(p218) : MAX(p2171) : MAX(p1504) : MAX(p155) : MAX(p945) : MAX(p1624) : MAX(p573)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p871)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44189 markings, 128187 edges, 8838 markings/sec, 0 secs
lola: 95755 markings, 220226 edges, 10313 markings/sec, 5 secs
lola: 150460 markings, 292682 edges, 10941 markings/sec, 10 secs
lola: 202153 markings, 388345 edges, 10339 markings/sec, 15 secs
lola: 254008 markings, 483568 edges, 10371 markings/sec, 20 secs
lola: 304814 markings, 578223 edges, 10161 markings/sec, 25 secs
lola: 355415 markings, 673053 edges, 10120 markings/sec, 30 secs
lola: 406133 markings, 772748 edges, 10144 markings/sec, 35 secs
lola: 457358 markings, 860466 edges, 10245 markings/sec, 40 secs
lola: 505859 markings, 970561 edges, 9700 markings/sec, 45 secs
lola: 556099 markings, 1068740 edges, 10048 markings/sec, 50 secs
lola: 606796 markings, 1164199 edges, 10139 markings/sec, 55 secs
lola: 660739 markings, 1247915 edges, 10789 markings/sec, 60 secs
lola: 713877 markings, 1333814 edges, 10628 markings/sec, 65 secs
lola: 769488 markings, 1414761 edges, 11122 markings/sec, 70 secs
lola: 824222 markings, 1499196 edges, 10947 markings/sec, 75 secs
lola: 879544 markings, 1582666 edges, 11064 markings/sec, 80 secs
lola: 934378 markings, 1663790 edges, 10967 markings/sec, 85 secs
lola: 990072 markings, 1745016 edges, 11139 markings/sec, 90 secs
lola: 1045935 markings, 1826561 edges, 11173 markings/sec, 95 secs
lola: 1100802 markings, 1908459 edges, 10973 markings/sec, 100 secs
lola: 1156095 markings, 1990803 edges, 11059 markings/sec, 105 secs
lola: 1211652 markings, 2072146 edges, 11111 markings/sec, 110 secs
lola: 1266355 markings, 2155087 edges, 10941 markings/sec, 115 secs
lola: 1321098 markings, 2237915 edges, 10949 markings/sec, 120 secs
lola: 1375342 markings, 2322915 edges, 10849 markings/sec, 125 secs
lola: 1430098 markings, 2408832 edges, 10951 markings/sec, 130 secs
lola: 1483771 markings, 2494913 edges, 10735 markings/sec, 135 secs
lola: 1537122 markings, 2582099 edges, 10670 markings/sec, 140 secs
lola: 1589892 markings, 2671320 edges, 10554 markings/sec, 145 secs
lola: 1641311 markings, 2764015 edges, 10284 markings/sec, 150 secs
lola: 1691873 markings, 2859900 edges, 10112 markings/sec, 155 secs
lola: 1740060 markings, 2963426 edges, 9637 markings/sec, 160 secs
lola: 1786663 markings, 3071104 edges, 9321 markings/sec, 165 secs
lola: 1831973 markings, 3184471 edges, 9062 markings/sec, 170 secs
lola: 1878112 markings, 3291337 edges, 9228 markings/sec, 175 secs
lola: 1925548 markings, 3398952 edges, 9487 markings/sec, 180 secs
lola: 1972899 markings, 3508025 edges, 9470 markings/sec, 185 secs
lola: 2017717 markings, 3623248 edges, 8964 markings/sec, 190 secs
lola: 2067018 markings, 3725529 edges, 9860 markings/sec, 195 secs
lola: 2112706 markings, 3837001 edges, 9138 markings/sec, 200 secs
lola: 2160981 markings, 3946922 edges, 9655 markings/sec, 205 secs
lola: 2200956 markings, 4078916 edges, 7995 markings/sec, 210 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(p1734)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 46303 markings, 131892 edges, 9261 markings/sec, 0 secs
lola: 90893 markings, 264634 edges, 8918 markings/sec, 5 secs
lola: 137996 markings, 362377 edges, 9421 markings/sec, 10 secs
lola: 188907 markings, 460358 edges, 10182 markings/sec, 15 secs
lola: 237556 markings, 558097 edges, 9730 markings/sec, 20 secs
lola: 286537 markings, 669711 edges, 9796 markings/sec, 25 secs
lola: 334681 markings, 772852 edges, 9629 markings/sec, 30 secs
lola: 382558 markings, 877514 edges, 9575 markings/sec, 35 secs
lola: 429524 markings, 985113 edges, 9393 markings/sec, 40 secs
lola: 479330 markings, 1088327 edges, 9961 markings/sec, 45 secs
lola: 526716 markings, 1201238 edges, 9477 markings/sec, 50 secs
lola: 575491 markings, 1301676 edges, 9755 markings/sec, 55 secs
lola: 622604 markings, 1415645 edges, 9423 markings/sec, 60 secs
lola: 670366 markings, 1515034 edges, 9552 markings/sec, 65 secs
lola: 718515 markings, 1628319 edges, 9630 markings/sec, 70 secs
lola: 766622 markings, 1722575 edges, 9621 markings/sec, 75 secs
lola: 815003 markings, 1835776 edges, 9676 markings/sec, 80 secs
lola: 864045 markings, 1927460 edges, 9808 markings/sec, 85 secs
lola: 914126 markings, 2027336 edges, 10016 markings/sec, 90 secs
lola: 963234 markings, 2113949 edges, 9822 markings/sec, 95 secs
lola: 1012908 markings, 2214402 edges, 9935 markings/sec, 100 secs
lola: 1061573 markings, 2305007 edges, 9733 markings/sec, 105 secs
lola: 1111307 markings, 2403354 edges, 9947 markings/sec, 110 secs
lola: 1159349 markings, 2489818 edges, 9608 markings/sec, 115 secs
lola: 1207836 markings, 2588205 edges, 9697 markings/sec, 120 secs
lola: 1255443 markings, 2680825 edges, 9521 markings/sec, 125 secs
lola: 1303512 markings, 2770425 edges, 9614 markings/sec, 130 secs
lola: 1351552 markings, 2865001 edges, 9608 markings/sec, 135 secs
lola: 1398250 markings, 2948094 edges, 9340 markings/sec, 140 secs
lola: 1443450 markings, 3033547 edges, 9040 markings/sec, 145 secs
lola: 1487906 markings, 3129181 edges, 8891 markings/sec, 150 secs
lola: 1535256 markings, 3203434 edges, 9470 markings/sec, 155 secs
lola: 1582765 markings, 3294749 edges, 9502 markings/sec, 160 secs
lola: 1629509 markings, 3404532 edges, 9349 markings/sec, 165 secs
lola: 1675892 markings, 3514192 edges, 9277 markings/sec, 170 secs
lola: 1723890 markings, 3608737 edges, 9600 markings/sec, 175 secs
lola: 1769474 markings, 3725375 edges, 9117 markings/sec, 180 secs
lola: 1816941 markings, 3827217 edges, 9493 markings/sec, 185 secs
lola: 1863431 markings, 3916432 edges, 9298 markings/sec, 190 secs
lola: 1917162 markings, 3995854 edges, 10746 markings/sec, 195 secs
lola: 1970420 markings, 4077270 edges, 10652 markings/sec, 200 secs
lola: 2023904 markings, 4158804 edges, 10697 markings/sec, 205 secs
lola: 2076019 markings, 4241789 edges, 10423 markings/sec, 210 secs
lola: 2128720 markings, 4324052 edges, 10540 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(p653)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 63695 markings, 84087 edges, 12739 markings/sec, 0 secs
lola: 111599 markings, 153720 edges, 9581 markings/sec, 5 secs
lola: 157466 markings, 225437 edges, 9173 markings/sec, 10 secs
lola: 206193 markings, 310220 edges, 9745 markings/sec, 15 secs
lola: 251169 markings, 417726 edges, 8995 markings/sec, 20 secs
lola: 292159 markings, 560507 edges, 8198 markings/sec, 25 secs
lola: 350040 markings, 652581 edges, 11576 markings/sec, 30 secs
lola: 411679 markings, 727561 edges, 12328 markings/sec, 35 secs
lola: 472310 markings, 803011 edges, 12126 markings/sec, 40 secs
lola: 530155 markings, 905414 edges, 11569 markings/sec, 45 secs
lola: 587539 markings, 1007063 edges, 11477 markings/sec, 50 secs
lola: 620996 markings, 1077340 edges, 6691 markings/sec, 55 secs
lola: 659869 markings, 1160519 edges, 7775 markings/sec, 60 secs
lola: 723379 markings, 1247339 edges, 12702 markings/sec, 65 secs
lola: 779692 markings, 1329439 edges, 11263 markings/sec, 70 secs
lola: 827603 markings, 1390905 edges, 9582 markings/sec, 75 secs
lola: 876119 markings, 1454225 edges, 9703 markings/sec, 80 secs
lola: 928512 markings, 1520541 edges, 10479 markings/sec, 85 secs
lola: 982269 markings, 1588414 edges, 10751 markings/sec, 90 secs
lola: 1034060 markings, 1655949 edges, 10358 markings/sec, 95 secs
lola: 1086707 markings, 1722938 edges, 10529 markings/sec, 100 secs
lola: 1136375 markings, 1791923 edges, 9934 markings/sec, 105 secs
lola: 1183314 markings, 1862715 edges, 9388 markings/sec, 110 secs
lola: 1229441 markings, 1932225 edges, 9225 markings/sec, 115 secs
lola: 1278781 markings, 2002213 edges, 9868 markings/sec, 120 secs
lola: 1327976 markings, 2072477 edges, 9839 markings/sec, 125 secs
lola: 1378313 markings, 2142159 edges, 10067 markings/sec, 130 secs
lola: 1423644 markings, 2212408 edges, 9066 markings/sec, 135 secs
lola: 1467674 markings, 2270748 edges, 8806 markings/sec, 140 secs
lola: 1510209 markings, 2328908 edges, 8507 markings/sec, 145 secs
lola: 1552176 markings, 2399750 edges, 8393 markings/sec, 150 secs
lola: 1604129 markings, 2469124 edges, 10391 markings/sec, 155 secs
lola: 1646843 markings, 2555413 edges, 8543 markings/sec, 160 secs
lola: 1695524 markings, 2630890 edges, 9736 markings/sec, 165 secs
lola: 1748368 markings, 2698326 edges, 10569 markings/sec, 170 secs
lola: 1800941 markings, 2766712 edges, 10515 markings/sec, 175 secs
lola: 1852508 markings, 2835508 edges, 10313 markings/sec, 180 secs
lola: 1903657 markings, 2905093 edges, 10230 markings/sec, 185 secs
lola: 1952064 markings, 2977072 edges, 9681 markings/sec, 190 secs
lola: 1998887 markings, 3046023 edges, 9365 markings/sec, 195 secs
lola: 2046098 markings, 3111861 edges, 9442 markings/sec, 200 secs
lola: 2090855 markings, 3189584 edges, 8951 markings/sec, 205 secs
lola: 2138618 markings, 3251791 edges, 9553 markings/sec, 210 secs
lola: 2186001 markings, 3313362 edges, 9477 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(p1096)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 57472 markings, 102228 edges, 11494 markings/sec, 0 secs
lola: 102082 markings, 202830 edges, 8922 markings/sec, 5 secs
lola: 148768 markings, 303915 edges, 9337 markings/sec, 10 secs
lola: 193108 markings, 403389 edges, 8868 markings/sec, 15 secs
lola: 236435 markings, 502698 edges, 8665 markings/sec, 20 secs
lola: 279177 markings, 601638 edges, 8548 markings/sec, 25 secs
lola: 320151 markings, 661432 edges, 8195 markings/sec, 30 secs
lola: 362565 markings, 729481 edges, 8483 markings/sec, 35 secs
lola: 406411 markings, 815759 edges, 8769 markings/sec, 40 secs
lola: 448497 markings, 903957 edges, 8417 markings/sec, 45 secs
lola: 490173 markings, 992931 edges, 8335 markings/sec, 50 secs
lola: 531389 markings, 1083839 edges, 8243 markings/sec, 55 secs
lola: 572654 markings, 1175454 edges, 8253 markings/sec, 60 secs
lola: 612775 markings, 1270501 edges, 8024 markings/sec, 65 secs
lola: 653048 markings, 1362264 edges, 8055 markings/sec, 70 secs
lola: 693573 markings, 1451191 edges, 8105 markings/sec, 75 secs
lola: 734858 markings, 1540443 edges, 8257 markings/sec, 80 secs
lola: 777059 markings, 1627874 edges, 8440 markings/sec, 85 secs
lola: 817445 markings, 1718655 edges, 8077 markings/sec, 90 secs
lola: 856302 markings, 1818345 edges, 7771 markings/sec, 95 secs
lola: 896941 markings, 1906335 edges, 8128 markings/sec, 100 secs
lola: 938728 markings, 1992966 edges, 8357 markings/sec, 105 secs
lola: 979747 markings, 2081321 edges, 8204 markings/sec, 110 secs
lola: 1020780 markings, 2174766 edges, 8207 markings/sec, 115 secs
lola: 1060909 markings, 2267431 edges, 8026 markings/sec, 120 secs
lola: 1099777 markings, 2361953 edges, 7774 markings/sec, 125 secs
lola: 1141944 markings, 2447890 edges, 8433 markings/sec, 130 secs
lola: 1182145 markings, 2538801 edges, 8040 markings/sec, 135 secs
lola: 1224340 markings, 2624709 edges, 8439 markings/sec, 140 secs
lola: 1264816 markings, 2715387 edges, 8095 markings/sec, 145 secs
lola: 1303466 markings, 2813326 edges, 7730 markings/sec, 150 secs
lola: 1344614 markings, 2904170 edges, 8230 markings/sec, 155 secs
lola: 1386364 markings, 2992126 edges, 8350 markings/sec, 160 secs
lola: 1427336 markings, 3080402 edges, 8194 markings/sec, 165 secs
lola: 1468377 markings, 3172829 edges, 8208 markings/sec, 170 secs
lola: 1508377 markings, 3265766 edges, 8000 markings/sec, 175 secs
lola: 1547386 markings, 3360921 edges, 7802 markings/sec, 180 secs
lola: 1589456 markings, 3447407 edges, 8414 markings/sec, 185 secs
lola: 1629900 markings, 3536787 edges, 8089 markings/sec, 190 secs
lola: 1671146 markings, 3624190 edges, 8249 markings/sec, 195 secs
lola: 1711591 markings, 3713580 edges, 8089 markings/sec, 200 secs
lola: 1752472 markings, 3804443 edges, 8176 markings/sec, 205 secs
lola: 1791815 markings, 3901824 edges, 7869 markings/sec, 210 secs
lola: 1832314 markings, 3991073 edges, 8100 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(p1177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 55267 markings, 103046 edges, 11053 markings/sec, 0 secs
lola: 155441 markings, 238010 edges, 20035 markings/sec, 5 secs
lola: 243888 markings, 350404 edges, 17689 markings/sec, 10 secs
lola: 317974 markings, 455933 edges, 14817 markings/sec, 15 secs
lola: 383071 markings, 566550 edges, 13019 markings/sec, 20 secs
lola: 451145 markings, 664717 edges, 13615 markings/sec, 25 secs
lola: 509442 markings, 748853 edges, 11659 markings/sec, 30 secs
lola: 568443 markings, 834332 edges, 11800 markings/sec, 35 secs
lola: 637274 markings, 932624 edges, 13766 markings/sec, 40 secs
lola: 714718 markings, 1039351 edges, 15489 markings/sec, 45 secs
lola: 792289 markings, 1151719 edges, 15514 markings/sec, 50 secs
lola: 866177 markings, 1258189 edges, 14778 markings/sec, 55 secs
lola: 923219 markings, 1344350 edges, 11408 markings/sec, 60 secs
lola: 979608 markings, 1442409 edges, 11278 markings/sec, 65 secs
lola: 1036412 markings, 1536832 edges, 11361 markings/sec, 70 secs
lola: 1093518 markings, 1622797 edges, 11421 markings/sec, 75 secs
lola: 1149845 markings, 1721725 edges, 11265 markings/sec, 80 secs
lola: 1217314 markings, 1824121 edges, 13494 markings/sec, 85 secs
lola: 1288301 markings, 1921861 edges, 14197 markings/sec, 90 secs
lola: 1344500 markings, 2024030 edges, 11240 markings/sec, 95 secs
lola: 1414924 markings, 2128723 edges, 14085 markings/sec, 100 secs
lola: 1471732 markings, 2238148 edges, 11362 markings/sec, 105 secs
lola: 1543379 markings, 2338134 edges, 14329 markings/sec, 110 secs
lola: 1610398 markings, 2450475 edges, 13404 markings/sec, 115 secs
lola: 1685007 markings, 2552036 edges, 14922 markings/sec, 120 secs
lola: 1741406 markings, 2653428 edges, 11280 markings/sec, 125 secs
lola: 1799300 markings, 2737332 edges, 11579 markings/sec, 130 secs
lola: 1872840 markings, 2839934 edges, 14708 markings/sec, 135 secs
lola: 1945087 markings, 2939752 edges, 14449 markings/sec, 140 secs
lola: 2002082 markings, 3043910 edges, 11399 markings/sec, 145 secs
lola: 2073007 markings, 3150340 edges, 14185 markings/sec, 150 secs
lola: 2131703 markings, 3262257 edges, 11739 markings/sec, 155 secs
lola: 2199857 markings, 3361027 edges, 13631 markings/sec, 160 secs
lola: 2274886 markings, 3481005 edges, 15006 markings/sec, 165 secs
lola: 2340349 markings, 3581170 edges, 13093 markings/sec, 170 secs
lola: 2410056 markings, 3692429 edges, 13941 markings/sec, 175 secs
lola: 2498943 markings, 3809673 edges, 17777 markings/sec, 180 secs
lola: 2550491 markings, 3909133 edges, 10310 markings/sec, 185 secs
lola: 2631514 markings, 4016537 edges, 16205 markings/sec, 190 secs
lola: 2685913 markings, 4117571 edges, 10880 markings/sec, 195 secs
lola: 2757973 markings, 4224801 edges, 14412 markings/sec, 200 secs
lola: 2820111 markings, 4339503 edges, 12428 markings/sec, 205 secs
lola: 2880371 markings, 4432536 edges, 12052 markings/sec, 210 secs
lola: 2947399 markings, 4540097 edges, 13406 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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 55452 markings, 91833 edges, 11090 markings/sec, 0 secs
lola: 116126 markings, 179116 edges, 12135 markings/sec, 5 secs
lola: 168303 markings, 292483 edges, 10435 markings/sec, 10 secs
lola: 217520 markings, 414854 edges, 9843 markings/sec, 15 secs
lola: 275370 markings, 517756 edges, 11570 markings/sec, 20 secs
lola: 319429 markings, 657215 edges, 8812 markings/sec, 25 secs
lola: 372985 markings, 773109 edges, 10711 markings/sec, 30 secs
lola: 430539 markings, 878003 edges, 11511 markings/sec, 35 secs
lola: 469186 markings, 1033083 edges, 7729 markings/sec, 40 secs
lola: 527806 markings, 1133279 edges, 11724 markings/sec, 45 secs
lola: 585308 markings, 1243059 edges, 11500 markings/sec, 50 secs
lola: 623988 markings, 1401060 edges, 7736 markings/sec, 55 secs
lola: 683430 markings, 1494662 edges, 11888 markings/sec, 60 secs
lola: 739643 markings, 1606638 edges, 11243 markings/sec, 65 secs
lola: 778022 markings, 1761026 edges, 7676 markings/sec, 70 secs
lola: 837080 markings, 1851676 edges, 11812 markings/sec, 75 secs
lola: 891998 markings, 1966862 edges, 10984 markings/sec, 80 secs
lola: 932984 markings, 2119156 edges, 8197 markings/sec, 85 secs
lola: 993030 markings, 2212732 edges, 12009 markings/sec, 90 secs
lola: 1044246 markings, 2338359 edges, 10243 markings/sec, 95 secs
lola: 1089079 markings, 2484374 edges, 8967 markings/sec, 100 secs
lola: 1146668 markings, 2586890 edges, 11518 markings/sec, 105 secs
lola: 1196806 markings, 2714438 edges, 10028 markings/sec, 110 secs
lola: 1245465 markings, 2851745 edges, 9732 markings/sec, 115 secs
lola: 1299651 markings, 2969154 edges, 10837 markings/sec, 120 secs
lola: 1348000 markings, 3108912 edges, 9670 markings/sec, 125 secs
lola: 1393140 markings, 3258351 edges, 9028 markings/sec, 130 secs
lola: 1447579 markings, 3374216 edges, 10888 markings/sec, 135 secs
lola: 1496640 markings, 3512459 edges, 9812 markings/sec, 140 secs
lola: 1540528 markings, 3664475 edges, 8778 markings/sec, 145 secs
lola: 1595051 markings, 3778171 edges, 10905 markings/sec, 150 secs
lola: 1644767 markings, 3913832 edges, 9943 markings/sec, 155 secs
lola: 1687037 markings, 4069630 edges, 8454 markings/sec, 160 secs
lola: 1742092 markings, 4181090 edges, 11011 markings/sec, 165 secs
lola: 1792498 markings, 4315628 edges, 10081 markings/sec, 170 secs
lola: 1833374 markings, 4474856 edges, 8175 markings/sec, 175 secs
lola: 1888667 markings, 4584369 edges, 11059 markings/sec, 180 secs
lola: 1940815 markings, 4711732 edges, 10430 markings/sec, 185 secs
lola: 1979263 markings, 4879766 edges, 7690 markings/sec, 190 secs
lola: 2036051 markings, 4988095 edges, 11358 markings/sec, 195 secs
lola: 2089184 markings, 5113355 edges, 10627 markings/sec, 200 secs
lola: 2125216 markings, 5288060 edges, 7206 markings/sec, 205 secs
lola: 2185072 markings, 5386041 edges, 11971 markings/sec, 210 secs
lola: 2239264 markings, 5505829 edges, 10838 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(p571)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44670 markings, 66026 edges, 8934 markings/sec, 0 secs
lola: 90077 markings, 137715 edges, 9081 markings/sec, 5 secs
lola: 134356 markings, 220352 edges, 8856 markings/sec, 10 secs
lola: 179078 markings, 306368 edges, 8944 markings/sec, 15 secs
lola: 223221 markings, 393719 edges, 8829 markings/sec, 20 secs
lola: 262833 markings, 491523 edges, 7922 markings/sec, 25 secs
lola: 304709 markings, 581144 edges, 8375 markings/sec, 30 secs
lola: 346955 markings, 669419 edges, 8449 markings/sec, 35 secs
lola: 388747 markings, 757270 edges, 8358 markings/sec, 40 secs
lola: 433042 markings, 837171 edges, 8859 markings/sec, 45 secs
lola: 478270 markings, 908281 edges, 9046 markings/sec, 50 secs
lola: 522057 markings, 988403 edges, 8757 markings/sec, 55 secs
lola: 566532 markings, 1074629 edges, 8895 markings/sec, 60 secs
lola: 611195 markings, 1157532 edges, 8933 markings/sec, 65 secs
lola: 649829 markings, 1256680 edges, 7727 markings/sec, 70 secs
lola: 691413 markings, 1346820 edges, 8317 markings/sec, 75 secs
lola: 733281 markings, 1434898 edges, 8374 markings/sec, 80 secs
lola: 774907 markings, 1522309 edges, 8325 markings/sec, 85 secs
lola: 818982 markings, 1608359 edges, 8815 markings/sec, 90 secs
lola: 869228 markings, 1687813 edges, 10049 markings/sec, 95 secs
lola: 914467 markings, 1775480 edges, 9048 markings/sec, 100 secs
lola: 954799 markings, 1896522 edges, 8066 markings/sec, 105 secs
lola: 998023 markings, 1994982 edges, 8645 markings/sec, 110 secs
lola: 1042033 markings, 2090800 edges, 8802 markings/sec, 115 secs
lola: 1085859 markings, 2185756 edges, 8765 markings/sec, 120 secs
lola: 1132041 markings, 2275206 edges, 9236 markings/sec, 125 secs
lola: 1181383 markings, 2353972 edges, 9868 markings/sec, 130 secs
lola: 1225417 markings, 2446556 edges, 8807 markings/sec, 135 secs
lola: 1265684 markings, 2563674 edges, 8053 markings/sec, 140 secs
lola: 1308463 markings, 2661629 edges, 8556 markings/sec, 145 secs
lola: 1352122 markings, 2757109 edges, 8732 markings/sec, 150 secs
lola: 1395910 markings, 2850305 edges, 8758 markings/sec, 155 secs
lola: 1442431 markings, 2937074 edges, 9304 markings/sec, 160 secs
lola: 1491398 markings, 3015774 edges, 9793 markings/sec, 165 secs
lola: 1534925 markings, 3109309 edges, 8705 markings/sec, 170 secs
lola: 1575122 markings, 3225878 edges, 8039 markings/sec, 175 secs
lola: 1617620 markings, 3323643 edges, 8500 markings/sec, 180 secs
lola: 1661346 markings, 3417731 edges, 8745 markings/sec, 185 secs
lola: 1704327 markings, 3511661 edges, 8596 markings/sec, 190 secs
lola: 1744955 markings, 3596901 edges, 8126 markings/sec, 195 secs
lola: 1785382 markings, 3676353 edges, 8085 markings/sec, 200 secs
lola: 1830848 markings, 3768724 edges, 9093 markings/sec, 205 secs
lola: 1878287 markings, 3864440 edges, 9488 markings/sec, 210 secs
lola: 1926386 markings, 3961743 edges, 9620 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(p553)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 46414 markings, 88389 edges, 9283 markings/sec, 0 secs
lola: 89289 markings, 176815 edges, 8575 markings/sec, 5 secs
lola: 137212 markings, 257500 edges, 9585 markings/sec, 10 secs
lola: 180102 markings, 354580 edges, 8578 markings/sec, 15 secs
lola: 225199 markings, 461541 edges, 9019 markings/sec, 20 secs
lola: 270859 markings, 562411 edges, 9132 markings/sec, 25 secs
lola: 313591 markings, 684436 edges, 8546 markings/sec, 30 secs
lola: 360462 markings, 771775 edges, 9374 markings/sec, 35 secs
lola: 403385 markings, 893803 edges, 8585 markings/sec, 40 secs
lola: 450095 markings, 1003531 edges, 9342 markings/sec, 45 secs
lola: 494065 markings, 1121016 edges, 8794 markings/sec, 50 secs
lola: 537529 markings, 1248964 edges, 8693 markings/sec, 55 secs
lola: 582911 markings, 1335691 edges, 9076 markings/sec, 60 secs
lola: 624855 markings, 1455364 edges, 8389 markings/sec, 65 secs
lola: 670260 markings, 1560883 edges, 9081 markings/sec, 70 secs
lola: 712809 markings, 1674510 edges, 8510 markings/sec, 75 secs
lola: 754421 markings, 1802077 edges, 8322 markings/sec, 80 secs
lola: 800076 markings, 1888157 edges, 9131 markings/sec, 85 secs
lola: 842000 markings, 2007536 edges, 8385 markings/sec, 90 secs
lola: 887677 markings, 2112943 edges, 9135 markings/sec, 95 secs
lola: 930141 markings, 2225938 edges, 8493 markings/sec, 100 secs
lola: 972090 markings, 2347878 edges, 8390 markings/sec, 105 secs
lola: 1017160 markings, 2439137 edges, 9014 markings/sec, 110 secs
lola: 1059937 markings, 2549599 edges, 8555 markings/sec, 115 secs
lola: 1105221 markings, 2659704 edges, 9057 markings/sec, 120 secs
lola: 1146709 markings, 2777163 edges, 8298 markings/sec, 125 secs
lola: 1189553 markings, 2895539 edges, 8569 markings/sec, 130 secs
lola: 1233988 markings, 2991869 edges, 8887 markings/sec, 135 secs
lola: 1277146 markings, 3099735 edges, 8632 markings/sec, 140 secs
lola: 1322034 markings, 3208819 edges, 8978 markings/sec, 145 secs
lola: 1363143 markings, 3328955 edges, 8222 markings/sec, 150 secs
lola: 1407074 markings, 3441546 edges, 8786 markings/sec, 155 secs
lola: 1450423 markings, 3544730 edges, 8670 markings/sec, 160 secs
lola: 1494495 markings, 3648330 edges, 8814 markings/sec, 165 secs
lola: 1539073 markings, 3759629 edges, 8916 markings/sec, 170 secs
lola: 1580771 markings, 3883926 edges, 8340 markings/sec, 175 secs
lola: 1624823 markings, 3995949 edges, 8810 markings/sec, 180 secs
lola: 1667941 markings, 4103434 edges, 8624 markings/sec, 185 secs
lola: 1714187 markings, 4187223 edges, 9249 markings/sec, 190 secs
lola: 1759275 markings, 4280152 edges, 9018 markings/sec, 195 secs
lola: 1807167 markings, 4380905 edges, 9578 markings/sec, 200 secs
lola: 1850190 markings, 4496215 edges, 8605 markings/sec, 205 secs
lola: 1896757 markings, 4601622 edges, 9313 markings/sec, 210 secs
lola: 1941694 markings, 4707701 edges, 8987 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(p918)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44036 markings, 127648 edges, 8807 markings/sec, 0 secs
lola: 95215 markings, 219602 edges, 10236 markings/sec, 5 secs
lola: 150504 markings, 292756 edges, 11058 markings/sec, 10 secs
lola: 201996 markings, 388026 edges, 10298 markings/sec, 15 secs
lola: 253176 markings, 481761 edges, 10236 markings/sec, 20 secs
lola: 304090 markings, 577043 edges, 10183 markings/sec, 25 secs
lola: 354367 markings, 670990 edges, 10055 markings/sec, 30 secs
lola: 404490 markings, 767937 edges, 10025 markings/sec, 35 secs
lola: 455881 markings, 853351 edges, 10278 markings/sec, 40 secs
lola: 504161 markings, 960929 edges, 9656 markings/sec, 45 secs
lola: 553217 markings, 1061519 edges, 9811 markings/sec, 50 secs
lola: 603034 markings, 1158302 edges, 9963 markings/sec, 55 secs
lola: 656563 markings, 1240898 edges, 10706 markings/sec, 60 secs
lola: 708983 markings, 1326357 edges, 10484 markings/sec, 65 secs
lola: 764303 markings, 1406194 edges, 11064 markings/sec, 70 secs
lola: 818222 markings, 1490785 edges, 10784 markings/sec, 75 secs
lola: 873464 markings, 1573462 edges, 11048 markings/sec, 80 secs
lola: 928716 markings, 1655296 edges, 11050 markings/sec, 85 secs
lola: 984531 markings, 1736878 edges, 11163 markings/sec, 90 secs
lola: 1041613 markings, 1819890 edges, 11416 markings/sec, 95 secs
lola: 1097294 markings, 1902998 edges, 11136 markings/sec, 100 secs
lola: 1153282 markings, 1986610 edges, 11198 markings/sec, 105 secs
lola: 1209636 markings, 2069198 edges, 11271 markings/sec, 110 secs
lola: 1264997 markings, 2153007 edges, 11072 markings/sec, 115 secs
lola: 1320310 markings, 2236615 edges, 11063 markings/sec, 120 secs
lola: 1375281 markings, 2322831 edges, 10994 markings/sec, 125 secs
lola: 1430614 markings, 2409613 edges, 11067 markings/sec, 130 secs
lola: 1485056 markings, 2496837 edges, 10888 markings/sec, 135 secs
lola: 1539079 markings, 2585268 edges, 10805 markings/sec, 140 secs
lola: 1592672 markings, 2675535 edges, 10719 markings/sec, 145 secs
lola: 1644394 markings, 2769862 edges, 10344 markings/sec, 150 secs
lola: 1695881 markings, 2867131 edges, 10297 markings/sec, 155 secs
lola: 1744199 markings, 2973778 edges, 9664 markings/sec, 160 secs
lola: 1791543 markings, 3083162 edges, 9469 markings/sec, 165 secs
lola: 1837392 markings, 3197866 edges, 9170 markings/sec, 170 secs
lola: 1884437 markings, 3305478 edges, 9409 markings/sec, 175 secs
lola: 1932968 markings, 3412394 edges, 9706 markings/sec, 180 secs
lola: 1978854 markings, 3526894 edges, 9177 markings/sec, 185 secs
lola: 2025757 markings, 3636409 edges, 9381 markings/sec, 190 secs
lola: 2074881 markings, 3738933 edges, 9825 markings/sec, 195 secs
lola: 2120892 markings, 3851679 edges, 9202 markings/sec, 200 secs
lola: 2167515 markings, 3967444 edges, 9325 markings/sec, 205 secs
lola: 2207319 markings, 4100776 edges, 7961 markings/sec, 210 secs
lola: 2246660 markings, 4242984 edges, 7868 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(p218)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44154 markings, 75351 edges, 8831 markings/sec, 0 secs
lola: 89023 markings, 164479 edges, 8974 markings/sec, 5 secs
lola: 133307 markings, 251461 edges, 8857 markings/sec, 10 secs
lola: 177850 markings, 345214 edges, 8909 markings/sec, 15 secs
lola: 220647 markings, 449469 edges, 8559 markings/sec, 20 secs
lola: 264064 markings, 536738 edges, 8683 markings/sec, 25 secs
lola: 308101 markings, 637524 edges, 8807 markings/sec, 30 secs
lola: 350905 markings, 729191 edges, 8561 markings/sec, 35 secs
lola: 394319 markings, 830177 edges, 8683 markings/sec, 40 secs
lola: 437272 markings, 924435 edges, 8591 markings/sec, 45 secs
lola: 481591 markings, 1016043 edges, 8864 markings/sec, 50 secs
lola: 523860 markings, 1120733 edges, 8454 markings/sec, 55 secs
lola: 567483 markings, 1205620 edges, 8725 markings/sec, 60 secs
lola: 611152 markings, 1306505 edges, 8734 markings/sec, 65 secs
lola: 653405 markings, 1399807 edges, 8451 markings/sec, 70 secs
lola: 696817 markings, 1500697 edges, 8682 markings/sec, 75 secs
lola: 740581 markings, 1591872 edges, 8753 markings/sec, 80 secs
lola: 786136 markings, 1673729 edges, 9111 markings/sec, 85 secs
lola: 830459 markings, 1762897 edges, 8865 markings/sec, 90 secs
lola: 874676 markings, 1842168 edges, 8843 markings/sec, 95 secs
lola: 919178 markings, 1932713 edges, 8900 markings/sec, 100 secs
lola: 963309 markings, 2010383 edges, 8826 markings/sec, 105 secs
lola: 1008155 markings, 2098790 edges, 8969 markings/sec, 110 secs
lola: 1052269 markings, 2175695 edges, 8823 markings/sec, 115 secs
lola: 1095434 markings, 2262789 edges, 8633 markings/sec, 120 secs
lola: 1138273 markings, 2352840 edges, 8568 markings/sec, 125 secs
lola: 1181864 markings, 2427310 edges, 8718 markings/sec, 130 secs
lola: 1224590 markings, 2512262 edges, 8545 markings/sec, 135 secs
lola: 1267260 markings, 2600502 edges, 8534 markings/sec, 140 secs
lola: 1309842 markings, 2671153 edges, 8516 markings/sec, 145 secs
lola: 1351429 markings, 2749646 edges, 8317 markings/sec, 150 secs
lola: 1391689 markings, 2838702 edges, 8052 markings/sec, 155 secs
lola: 1434797 markings, 2904286 edges, 8622 markings/sec, 160 secs
lola: 1476892 markings, 2985319 edges, 8419 markings/sec, 165 secs
lola: 1517858 markings, 3077654 edges, 8193 markings/sec, 170 secs
lola: 1558905 markings, 3175763 edges, 8209 markings/sec, 175 secs
lola: 1600687 markings, 3263627 edges, 8356 markings/sec, 180 secs
lola: 1641374 markings, 3353288 edges, 8137 markings/sec, 185 secs
lola: 1682067 markings, 3453682 edges, 8139 markings/sec, 190 secs
lola: 1723531 markings, 3540622 edges, 8293 markings/sec, 195 secs
lola: 1764423 markings, 3622080 edges, 8178 markings/sec, 200 secs
lola: 1811980 markings, 3691813 edges, 9511 markings/sec, 205 secs
lola: 1858981 markings, 3763598 edges, 9400 markings/sec, 210 secs
lola: 1905850 markings, 3835708 edges, 9374 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(p2171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 40773 markings, 61338 edges, 8155 markings/sec, 0 secs
lola: 82070 markings, 124556 edges, 8259 markings/sec, 5 secs
lola: 122578 markings, 198488 edges, 8102 markings/sec, 10 secs
lola: 164112 markings, 277355 edges, 8307 markings/sec, 15 secs
lola: 205442 markings, 355029 edges, 8266 markings/sec, 20 secs
lola: 240610 markings, 444160 edges, 7034 markings/sec, 25 secs
lola: 279012 markings, 525403 edges, 7680 markings/sec, 30 secs
lola: 317543 markings, 605864 edges, 7706 markings/sec, 35 secs
lola: 355580 markings, 685743 edges, 7607 markings/sec, 40 secs
lola: 393034 markings, 766202 edges, 7491 markings/sec, 45 secs
lola: 433815 markings, 838349 edges, 8156 markings/sec, 50 secs
lola: 475752 markings, 905503 edges, 8387 markings/sec, 55 secs
lola: 515461 markings, 976033 edges, 7942 markings/sec, 60 secs
lola: 555671 markings, 1052748 edges, 8042 markings/sec, 65 secs
lola: 597190 markings, 1130760 edges, 8304 markings/sec, 70 secs
lola: 633252 markings, 1216817 edges, 7212 markings/sec, 75 secs
lola: 671292 markings, 1300503 edges, 7608 markings/sec, 80 secs
lola: 709070 markings, 1382418 edges, 7556 markings/sec, 85 secs
lola: 747329 markings, 1462361 edges, 7652 markings/sec, 90 secs
lola: 784934 markings, 1542849 edges, 7521 markings/sec, 95 secs
lola: 827363 markings, 1621367 edges, 8486 markings/sec, 100 secs
lola: 873093 markings, 1695435 edges, 9146 markings/sec, 105 secs
lola: 914832 markings, 1776728 edges, 8348 markings/sec, 110 secs
lola: 951849 markings, 1890561 edges, 7403 markings/sec, 115 secs
lola: 991667 markings, 1981560 edges, 7964 markings/sec, 120 secs
lola: 1032696 markings, 2068903 edges, 8206 markings/sec, 125 secs
lola: 1072315 markings, 2158486 edges, 7924 markings/sec, 130 secs
lola: 1112275 markings, 2246790 edges, 7992 markings/sec, 135 secs
lola: 1159480 markings, 2321015 edges, 9441 markings/sec, 140 secs
lola: 1202749 markings, 2395042 edges, 8654 markings/sec, 145 secs
lola: 1241607 markings, 2490769 edges, 7772 markings/sec, 150 secs
lola: 1279879 markings, 2595020 edges, 7654 markings/sec, 155 secs
lola: 1319610 markings, 2686448 edges, 7946 markings/sec, 160 secs
lola: 1359701 markings, 2773964 edges, 8018 markings/sec, 165 secs
lola: 1399853 markings, 2861397 edges, 8030 markings/sec, 170 secs
lola: 1442314 markings, 2942670 edges, 8492 markings/sec, 175 secs
lola: 1488680 markings, 3017645 edges, 9273 markings/sec, 180 secs
lola: 1530631 markings, 3095464 edges, 8390 markings/sec, 185 secs
lola: 1567355 markings, 3209296 edges, 7345 markings/sec, 190 secs
lola: 1607201 markings, 3299664 edges, 7969 markings/sec, 195 secs
lola: 1648186 markings, 3385782 edges, 8197 markings/sec, 200 secs
lola: 1687223 markings, 3477576 edges, 7807 markings/sec, 205 secs
lola: 1727074 markings, 3565027 edges, 7970 markings/sec, 210 secs
lola: 1765014 markings, 3640343 edges, 7588 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(p1504)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 43868 markings, 128564 edges, 8774 markings/sec, 0 secs
lola: 87829 markings, 256759 edges, 8792 markings/sec, 5 secs
lola: 139566 markings, 348319 edges, 10347 markings/sec, 10 secs
lola: 195300 markings, 422424 edges, 11147 markings/sec, 15 secs
lola: 247201 markings, 519308 edges, 10380 markings/sec, 20 secs
lola: 299178 markings, 614473 edges, 10395 markings/sec, 25 secs
lola: 350697 markings, 710903 edges, 10304 markings/sec, 30 secs
lola: 401798 markings, 809585 edges, 10220 markings/sec, 35 secs
lola: 453281 markings, 905623 edges, 10297 markings/sec, 40 secs
lola: 503080 markings, 998480 edges, 9960 markings/sec, 45 secs
lola: 552247 markings, 1106530 edges, 9833 markings/sec, 50 secs
lola: 603401 markings, 1201154 edges, 10231 markings/sec, 55 secs
lola: 654452 markings, 1297249 edges, 10210 markings/sec, 60 secs
lola: 707801 markings, 1380935 edges, 10670 markings/sec, 65 secs
lola: 760503 markings, 1466204 edges, 10540 markings/sec, 70 secs
lola: 815428 markings, 1547498 edges, 10985 markings/sec, 75 secs
lola: 870280 markings, 1630688 edges, 10970 markings/sec, 80 secs
lola: 925614 markings, 1714168 edges, 11067 markings/sec, 85 secs
lola: 981076 markings, 1796355 edges, 11092 markings/sec, 90 secs
lola: 1037265 markings, 1878399 edges, 11238 markings/sec, 95 secs
lola: 1093945 markings, 1961061 edges, 11336 markings/sec, 100 secs
lola: 1149530 markings, 2043745 edges, 11117 markings/sec, 105 secs
lola: 1205652 markings, 2127477 edges, 11224 markings/sec, 110 secs
lola: 1261809 markings, 2209784 edges, 11231 markings/sec, 115 secs
lola: 1317045 markings, 2293888 edges, 11047 markings/sec, 120 secs
lola: 1372677 markings, 2377992 edges, 11126 markings/sec, 125 secs
lola: 1427669 markings, 2464532 edges, 10998 markings/sec, 130 secs
lola: 1482863 markings, 2551903 edges, 11039 markings/sec, 135 secs
lola: 1537618 markings, 2639795 edges, 10951 markings/sec, 140 secs
lola: 1591185 markings, 2729148 edges, 10713 markings/sec, 145 secs
lola: 1644739 markings, 2819739 edges, 10711 markings/sec, 150 secs
lola: 1697264 markings, 2915297 edges, 10505 markings/sec, 155 secs
lola: 1747642 markings, 3015971 edges, 10076 markings/sec, 160 secs
lola: 1794761 markings, 3127893 edges, 9424 markings/sec, 165 secs
lola: 1842218 markings, 3238969 edges, 9491 markings/sec, 170 secs
lola: 1889865 markings, 3349697 edges, 9529 markings/sec, 175 secs
lola: 1936284 markings, 3459178 edges, 9284 markings/sec, 180 secs
lola: 1985152 markings, 3565064 edges, 9774 markings/sec, 185 secs
lola: 2031136 markings, 3680256 edges, 9197 markings/sec, 190 secs
lola: 2081160 markings, 3785698 edges, 10005 markings/sec, 195 secs
lola: 2131316 markings, 3887106 edges, 10031 markings/sec, 200 secs
lola: 2178944 markings, 3999365 edges, 9526 markings/sec, 205 secs
lola: 2222106 markings, 4124315 edges, 8632 markings/sec, 210 secs
lola: 2261391 markings, 4266288 edges, 7857 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(p155)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 56246 markings, 92881 edges, 11249 markings/sec, 0 secs
lola: 117166 markings, 180447 edges, 12184 markings/sec, 5 secs
lola: 169157 markings, 294789 edges, 10398 markings/sec, 10 secs
lola: 218903 markings, 417103 edges, 9949 markings/sec, 15 secs
lola: 277122 markings, 521783 edges, 11644 markings/sec, 20 secs
lola: 320138 markings, 665026 edges, 8603 markings/sec, 25 secs
lola: 375592 markings, 776931 edges, 11091 markings/sec, 30 secs
lola: 433299 markings, 883356 edges, 11541 markings/sec, 35 secs
lola: 470022 markings, 1044031 edges, 7345 markings/sec, 40 secs
lola: 530229 markings, 1136828 edges, 12041 markings/sec, 45 secs
lola: 586715 markings, 1247764 edges, 11297 markings/sec, 50 secs
lola: 625630 markings, 1403186 edges, 7783 markings/sec, 55 secs
lola: 684304 markings, 1495935 edges, 11735 markings/sec, 60 secs
lola: 739932 markings, 1607443 edges, 11126 markings/sec, 65 secs
lola: 778912 markings, 1762226 edges, 7796 markings/sec, 70 secs
lola: 838653 markings, 1853872 edges, 11948 markings/sec, 75 secs
lola: 892890 markings, 1969326 edges, 10847 markings/sec, 80 secs
lola: 933911 markings, 2120391 edges, 8204 markings/sec, 85 secs
lola: 993532 markings, 2213683 edges, 11924 markings/sec, 90 secs
lola: 1044363 markings, 2338690 edges, 10166 markings/sec, 95 secs
lola: 1088884 markings, 2484083 edges, 8904 markings/sec, 100 secs
lola: 1146339 markings, 2585493 edges, 11491 markings/sec, 105 secs
lola: 1196234 markings, 2712239 edges, 9979 markings/sec, 110 secs
lola: 1244027 markings, 2849347 edges, 9559 markings/sec, 115 secs
lola: 1298061 markings, 2965708 edges, 10807 markings/sec, 120 secs
lola: 1346344 markings, 3104445 edges, 9657 markings/sec, 125 secs
lola: 1390689 markings, 3254120 edges, 8869 markings/sec, 130 secs
lola: 1444810 markings, 3368167 edges, 10824 markings/sec, 135 secs
lola: 1494052 markings, 3503916 edges, 9848 markings/sec, 140 secs
lola: 1536410 markings, 3657837 edges, 8472 markings/sec, 145 secs
lola: 1590985 markings, 3769327 edges, 10915 markings/sec, 150 secs
lola: 1641136 markings, 3902925 edges, 10030 markings/sec, 155 secs
lola: 1681401 markings, 4060853 edges, 8053 markings/sec, 160 secs
lola: 1737216 markings, 4168946 edges, 11163 markings/sec, 165 secs
lola: 1787944 markings, 4299183 edges, 10146 markings/sec, 170 secs
lola: 1826104 markings, 4463814 edges, 7632 markings/sec, 175 secs
lola: 1881928 markings, 4570132 edges, 11165 markings/sec, 180 secs
lola: 1934872 markings, 4691961 edges, 10589 markings/sec, 185 secs
lola: 1969664 markings, 4865772 edges, 6958 markings/sec, 190 secs
lola: 2027059 markings, 4969639 edges, 11479 markings/sec, 195 secs
lola: 2080580 markings, 5088789 edges, 10704 markings/sec, 200 secs
lola: 2114355 markings, 5270032 edges, 6755 markings/sec, 205 secs
lola: 2172929 markings, 5366815 edges, 11715 markings/sec, 210 secs
lola: 2230240 markings, 5478635 edges, 11462 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p945)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 78330 markings, 86995 edges, 15666 markings/sec, 0 secs
lola: 154622 markings, 183452 edges, 15258 markings/sec, 5 secs
lola: 231283 markings, 280571 edges, 15332 markings/sec, 10 secs
lola: 308715 markings, 368529 edges, 15486 markings/sec, 15 secs
lola: 382890 markings, 469001 edges, 14835 markings/sec, 20 secs
lola: 460907 markings, 558367 edges, 15603 markings/sec, 25 secs
lola: 536593 markings, 652832 edges, 15137 markings/sec, 30 secs
lola: 610813 markings, 742084 edges, 14844 markings/sec, 35 secs
lola: 686601 markings, 838559 edges, 15158 markings/sec, 40 secs
lola: 764286 markings, 936106 edges, 15537 markings/sec, 45 secs
lola: 843753 markings, 1023455 edges, 15893 markings/sec, 50 secs
lola: 914261 markings, 1124473 edges, 14102 markings/sec, 55 secs
lola: 993721 markings, 1213942 edges, 15892 markings/sec, 60 secs
lola: 1065976 markings, 1306884 edges, 14451 markings/sec, 65 secs
lola: 1142972 markings, 1404035 edges, 15399 markings/sec, 70 secs
lola: 1218108 markings, 1494779 edges, 15027 markings/sec, 75 secs
lola: 1292342 markings, 1595400 edges, 14847 markings/sec, 80 secs
lola: 1371173 markings, 1683169 edges, 15766 markings/sec, 85 secs
lola: 1449958 markings, 1771248 edges, 15757 markings/sec, 90 secs
lola: 1528610 markings, 1860051 edges, 15730 markings/sec, 95 secs
lola: 1607562 markings, 1949377 edges, 15790 markings/sec, 100 secs
lola: 1686882 markings, 2039658 edges, 15864 markings/sec, 105 secs
lola: 1765821 markings, 2129877 edges, 15788 markings/sec, 110 secs
lola: 1845501 markings, 2220707 edges, 15936 markings/sec, 115 secs
lola: 1924760 markings, 2311835 edges, 15852 markings/sec, 120 secs
lola: 2003142 markings, 2402462 edges, 15676 markings/sec, 125 secs
lola: 2081793 markings, 2492692 edges, 15730 markings/sec, 130 secs
lola: 2159659 markings, 2581967 edges, 15573 markings/sec, 135 secs
lola: 2237455 markings, 2671643 edges, 15559 markings/sec, 140 secs
lola: 2316519 markings, 2763470 edges, 15813 markings/sec, 145 secs
lola: 2394914 markings, 2855032 edges, 15679 markings/sec, 150 secs
lola: 2474208 markings, 2947782 edges, 15859 markings/sec, 155 secs
lola: 2552122 markings, 3039287 edges, 15583 markings/sec, 160 secs
lola: 2630927 markings, 3131831 edges, 15761 markings/sec, 165 secs
lola: 2708704 markings, 3223813 edges, 15555 markings/sec, 170 secs
lola: 2785960 markings, 3315163 edges, 15451 markings/sec, 175 secs
lola: 2863085 markings, 3406761 edges, 15425 markings/sec, 180 secs
lola: 2940133 markings, 3499407 edges, 15410 markings/sec, 185 secs
lola: 3017381 markings, 3592210 edges, 15450 markings/sec, 190 secs
lola: 3093380 markings, 3684254 edges, 15200 markings/sec, 195 secs
lola: 3168965 markings, 3778678 edges, 15117 markings/sec, 200 secs
lola: 3243785 markings, 3873918 edges, 14964 markings/sec, 205 secs
lola: 3316541 markings, 3973089 edges, 14551 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1624)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 64859 markings, 96098 edges, 12972 markings/sec, 0 secs
lola: 132276 markings, 197259 edges, 13483 markings/sec, 5 secs
lola: 191233 markings, 289959 edges, 11791 markings/sec, 10 secs
lola: 248408 markings, 379249 edges, 11435 markings/sec, 15 secs
lola: 316545 markings, 490100 edges, 13627 markings/sec, 20 secs
lola: 376262 markings, 595890 edges, 11943 markings/sec, 25 secs
lola: 441059 markings, 711978 edges, 12959 markings/sec, 30 secs
lola: 508183 markings, 822309 edges, 13425 markings/sec, 35 secs
lola: 577468 markings, 934889 edges, 13857 markings/sec, 40 secs
lola: 643736 markings, 1037753 edges, 13254 markings/sec, 45 secs
lola: 714953 markings, 1153263 edges, 14243 markings/sec, 50 secs
lola: 782180 markings, 1284015 edges, 13445 markings/sec, 55 secs
lola: 850997 markings, 1415964 edges, 13763 markings/sec, 60 secs
lola: 921527 markings, 1540303 edges, 14106 markings/sec, 65 secs
lola: 1000336 markings, 1661700 edges, 15762 markings/sec, 70 secs
lola: 1075919 markings, 1786323 edges, 15117 markings/sec, 75 secs
lola: 1156360 markings, 1909116 edges, 16088 markings/sec, 80 secs
lola: 1235085 markings, 2031649 edges, 15745 markings/sec, 85 secs
lola: 1304178 markings, 2154056 edges, 13819 markings/sec, 90 secs
lola: 1386697 markings, 2279697 edges, 16504 markings/sec, 95 secs
lola: 1458516 markings, 2403970 edges, 14364 markings/sec, 100 secs
lola: 1518483 markings, 2525966 edges, 11993 markings/sec, 105 secs
lola: 1581136 markings, 2651460 edges, 12531 markings/sec, 110 secs
lola: 1645513 markings, 2778036 edges, 12875 markings/sec, 115 secs
lola: 1697098 markings, 2908245 edges, 10317 markings/sec, 120 secs
lola: 1747569 markings, 3069323 edges, 10094 markings/sec, 125 secs
lola: 1797590 markings, 3225538 edges, 10004 markings/sec, 130 secs
lola: 1847190 markings, 3404384 edges, 9920 markings/sec, 135 secs
lola: 1904592 markings, 3514903 edges, 11480 markings/sec, 140 secs
lola: 1970414 markings, 3622028 edges, 13164 markings/sec, 145 secs
lola: 2035324 markings, 3728274 edges, 12982 markings/sec, 150 secs
lola: 2091729 markings, 3836646 edges, 11281 markings/sec, 155 secs
lola: 2159967 markings, 3963027 edges, 13648 markings/sec, 160 secs
lola: 2228427 markings, 4093810 edges, 13692 markings/sec, 165 secs
lola: 2293217 markings, 4214764 edges, 12958 markings/sec, 170 secs
lola: 2363664 markings, 4338880 edges, 14089 markings/sec, 175 secs
lola: 2431387 markings, 4458168 edges, 13545 markings/sec, 180 secs
lola: 2489673 markings, 4577737 edges, 11657 markings/sec, 185 secs
lola: 2543207 markings, 4716867 edges, 10707 markings/sec, 190 secs
lola: 2594572 markings, 4862904 edges, 10273 markings/sec, 195 secs
lola: 2658306 markings, 4968685 edges, 12747 markings/sec, 200 secs
lola: 2713783 markings, 5078890 edges, 11095 markings/sec, 205 secs
lola: 2782273 markings, 5188462 edges, 13698 markings/sec, 210 secs
lola: 2851601 markings, 5305618 edges, 13866 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 49680 markings, 92731 edges, 9936 markings/sec, 0 secs
lola: 99108 markings, 181199 edges, 9886 markings/sec, 5 secs
lola: 148869 markings, 270407 edges, 9952 markings/sec, 10 secs
lola: 196703 markings, 368511 edges, 9567 markings/sec, 15 secs
lola: 247790 markings, 463323 edges, 10217 markings/sec, 20 secs
lola: 293973 markings, 562187 edges, 9237 markings/sec, 25 secs
lola: 344135 markings, 644658 edges, 10032 markings/sec, 30 secs
lola: 390117 markings, 744099 edges, 9196 markings/sec, 35 secs
lola: 436388 markings, 845224 edges, 9254 markings/sec, 40 secs
lola: 480161 markings, 960027 edges, 8755 markings/sec, 45 secs
lola: 532254 markings, 1044081 edges, 10419 markings/sec, 50 secs
lola: 576179 markings, 1147520 edges, 8785 markings/sec, 55 secs
lola: 628097 markings, 1228031 edges, 10384 markings/sec, 60 secs
lola: 671666 markings, 1333085 edges, 8714 markings/sec, 65 secs
lola: 724946 markings, 1406861 edges, 10656 markings/sec, 70 secs
lola: 777047 markings, 1484469 edges, 10420 markings/sec, 75 secs
lola: 829890 markings, 1561833 edges, 10569 markings/sec, 80 secs
lola: 882992 markings, 1641974 edges, 10620 markings/sec, 85 secs
lola: 935494 markings, 1723588 edges, 10500 markings/sec, 90 secs
lola: 988969 markings, 1804426 edges, 10695 markings/sec, 95 secs
lola: 1041988 markings, 1886192 edges, 10604 markings/sec, 100 secs
lola: 1096074 markings, 1969156 edges, 10817 markings/sec, 105 secs
lola: 1148447 markings, 2052753 edges, 10475 markings/sec, 110 secs
lola: 1200407 markings, 2137700 edges, 10392 markings/sec, 115 secs
lola: 1251627 markings, 2225882 edges, 10244 markings/sec, 120 secs
lola: 1303550 markings, 2314708 edges, 10385 markings/sec, 125 secs
lola: 1354217 markings, 2404373 edges, 10133 markings/sec, 130 secs
lola: 1399526 markings, 2513729 edges, 9062 markings/sec, 135 secs
lola: 1444400 markings, 2622392 edges, 8975 markings/sec, 140 secs
lola: 1493125 markings, 2721553 edges, 9745 markings/sec, 145 secs
lola: 1542117 markings, 2823716 edges, 9798 markings/sec, 150 secs
lola: 1594493 markings, 2920666 edges, 10475 markings/sec, 155 secs
lola: 1647035 markings, 3021034 edges, 10508 markings/sec, 160 secs
lola: 1698652 markings, 3123158 edges, 10323 markings/sec, 165 secs
lola: 1749602 markings, 3218155 edges, 10190 markings/sec, 170 secs
lola: 1800727 markings, 3320556 edges, 10225 markings/sec, 175 secs
lola: 1845164 markings, 3417028 edges, 8887 markings/sec, 180 secs
lola: 1883686 markings, 3524665 edges, 7704 markings/sec, 185 secs
lola: 1925828 markings, 3631181 edges, 8428 markings/sec, 190 secs
lola: 1973731 markings, 3737854 edges, 9581 markings/sec, 195 secs
lola: 2016154 markings, 3844246 edges, 8485 markings/sec, 200 secs
lola: 2057933 markings, 3949389 edges, 8356 markings/sec, 205 secs
lola: 2100937 markings, 4055354 edges, 8601 markings/sec, 210 secs
lola: 2148660 markings, 4156588 edges, 9545 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 CloudDeployment-PT-7b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494621079154

--------------------
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="CloudDeployment-PT-7b"
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/CloudDeployment-PT-7b.tgz
mv CloudDeployment-PT-7b 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 CloudDeployment-PT-7b, 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 r018-ebro-149436308800065"
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 ;