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

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

=== Now, execution of the tool begins

BK_START 1496534492638


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-319: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-319 @ 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: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-319-UpperBounds.task
lola: MAX(p1970) : MAX(p1465) : MAX(p425) : MAX(p627) : MAX(p1008) : MAX(p2278) : MAX(p167) : MAX(p507) : MAX(p365) : MAX(p1177) : MAX(p1326) : MAX(p1691) : MAX(p157) : MAX(p755) : MAX(p2216) : MAX(p1574)
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(p1970)
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 9 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: 152812 markings, 295358 edges, 30562 markings/sec, 0 secs
lola: 303194 markings, 594184 edges, 30076 markings/sec, 5 secs
lola: 450826 markings, 885755 edges, 29526 markings/sec, 10 secs
lola: 614357 markings, 1209108 edges, 32706 markings/sec, 15 secs
lola: 774908 markings, 1525273 edges, 32110 markings/sec, 20 secs
lola: 930867 markings, 1831509 edges, 31192 markings/sec, 25 secs
lola: 1079145 markings, 2125309 edges, 29656 markings/sec, 30 secs
lola: 1229689 markings, 2421096 edges, 30109 markings/sec, 35 secs
lola: 1380580 markings, 2718637 edges, 30178 markings/sec, 40 secs
lola: 1531388 markings, 3016597 edges, 30162 markings/sec, 45 secs
lola: 1680885 markings, 3310365 edges, 29899 markings/sec, 50 secs
lola: 1823886 markings, 3594251 edges, 28600 markings/sec, 55 secs
lola: 1964372 markings, 3873708 edges, 28097 markings/sec, 60 secs
lola: 2117823 markings, 4176584 edges, 30690 markings/sec, 65 secs
lola: 2268113 markings, 4477847 edges, 30058 markings/sec, 70 secs
lola: 2418599 markings, 4779165 edges, 30097 markings/sec, 75 secs
lola: 2566369 markings, 5081654 edges, 29554 markings/sec, 80 secs
lola: 2698915 markings, 5371684 edges, 26509 markings/sec, 85 secs
lola: 2830027 markings, 5649681 edges, 26222 markings/sec, 90 secs
lola: 2964614 markings, 5934447 edges, 26917 markings/sec, 95 secs
lola: 3083655 markings, 6170669 edges, 23808 markings/sec, 100 secs
lola: 3198723 markings, 6409715 edges, 23014 markings/sec, 105 secs
lola: 3307950 markings, 6648004 edges, 21845 markings/sec, 110 secs
lola: 3409968 markings, 6868302 edges, 20404 markings/sec, 115 secs
lola: 3516824 markings, 7091333 edges, 21371 markings/sec, 120 secs
lola: 3622828 markings, 7316903 edges, 21201 markings/sec, 125 secs
lola: 3715960 markings, 7507441 edges, 18626 markings/sec, 130 secs
lola: 3807364 markings, 7688116 edges, 18281 markings/sec, 135 secs
lola: 3897803 markings, 7876300 edges, 18088 markings/sec, 140 secs
lola: 3988316 markings, 8064839 edges, 18103 markings/sec, 145 secs
lola: 4071997 markings, 8249081 edges, 16736 markings/sec, 150 secs
lola: 4153366 markings, 8423933 edges, 16274 markings/sec, 155 secs
lola: 4237991 markings, 8600217 edges, 16925 markings/sec, 160 secs
lola: 4325372 markings, 8788574 edges, 17476 markings/sec, 165 secs
lola: 4400930 markings, 8946543 edges, 15112 markings/sec, 170 secs
lola: 4476018 markings, 9095889 edges, 15018 markings/sec, 175 secs
lola: 4550390 markings, 9245291 edges, 14874 markings/sec, 180 secs
lola: 4627075 markings, 9403883 edges, 15337 markings/sec, 185 secs
lola: 4701163 markings, 9561164 edges, 14818 markings/sec, 190 secs
lola: 4769572 markings, 9713058 edges, 13682 markings/sec, 195 secs
lola: 4838060 markings, 9860638 edges, 13698 markings/sec, 200 secs
lola: 4904184 markings, 10001843 edges, 13225 markings/sec, 205 secs
lola: 4978362 markings, 10153455 edges, 14836 markings/sec, 210 secs
lola: 5047706 markings, 10304891 edges, 13869 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(p1465)
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 9 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: 111957 markings, 206184 edges, 22391 markings/sec, 0 secs
lola: 244397 markings, 443063 edges, 26488 markings/sec, 5 secs
lola: 389327 markings, 670868 edges, 28986 markings/sec, 10 secs
lola: 527913 markings, 883322 edges, 27717 markings/sec, 15 secs
lola: 661976 markings, 1067796 edges, 26813 markings/sec, 20 secs
lola: 787098 markings, 1232285 edges, 25024 markings/sec, 25 secs
lola: 905254 markings, 1393693 edges, 23631 markings/sec, 30 secs
lola: 1025156 markings, 1546566 edges, 23980 markings/sec, 35 secs
lola: 1143676 markings, 1710266 edges, 23704 markings/sec, 40 secs
lola: 1257344 markings, 1861251 edges, 22734 markings/sec, 45 secs
lola: 1367057 markings, 2012901 edges, 21943 markings/sec, 50 secs
lola: 1476314 markings, 2162563 edges, 21851 markings/sec, 55 secs
lola: 1574574 markings, 2294997 edges, 19652 markings/sec, 60 secs
lola: 1680697 markings, 2437581 edges, 21225 markings/sec, 65 secs
lola: 1794035 markings, 2589232 edges, 22668 markings/sec, 70 secs
lola: 1910993 markings, 2743484 edges, 23392 markings/sec, 75 secs
lola: 2026935 markings, 2901314 edges, 23188 markings/sec, 80 secs
lola: 2133308 markings, 3043195 edges, 21275 markings/sec, 85 secs
lola: 2242928 markings, 3185114 edges, 21924 markings/sec, 90 secs
lola: 2344860 markings, 3326392 edges, 20386 markings/sec, 95 secs
lola: 2461726 markings, 3508293 edges, 23373 markings/sec, 100 secs
lola: 2592831 markings, 3695975 edges, 26221 markings/sec, 105 secs
lola: 2725420 markings, 3864077 edges, 26518 markings/sec, 110 secs
lola: 2848141 markings, 4018168 edges, 24544 markings/sec, 115 secs
lola: 2968977 markings, 4177425 edges, 24167 markings/sec, 120 secs
lola: 3097685 markings, 4346474 edges, 25742 markings/sec, 125 secs
lola: 3228469 markings, 4515171 edges, 26157 markings/sec, 130 secs
lola: 3337117 markings, 4654110 edges, 21730 markings/sec, 135 secs
lola: 3464296 markings, 4827536 edges, 25436 markings/sec, 140 secs
lola: 3584045 markings, 4979406 edges, 23950 markings/sec, 145 secs
lola: 3697610 markings, 5129813 edges, 22713 markings/sec, 150 secs
lola: 3830991 markings, 5325139 edges, 26676 markings/sec, 155 secs
lola: 3960226 markings, 5503180 edges, 25847 markings/sec, 160 secs
lola: 4110969 markings, 5732846 edges, 30149 markings/sec, 165 secs
lola: 4274002 markings, 5966308 edges, 32607 markings/sec, 170 secs
lola: 4404123 markings, 6131154 edges, 26024 markings/sec, 175 secs
lola: 4537912 markings, 6323932 edges, 26758 markings/sec, 180 secs
lola: 4702291 markings, 6587381 edges, 32876 markings/sec, 185 secs
lola: 4855887 markings, 6815283 edges, 30719 markings/sec, 190 secs
lola: 4996388 markings, 7014197 edges, 28100 markings/sec, 195 secs
lola: 5152570 markings, 7248154 edges, 31236 markings/sec, 200 secs
lola: 5306756 markings, 7482644 edges, 30837 markings/sec, 205 secs
lola: 5436547 markings, 7647342 edges, 25958 markings/sec, 210 secs
lola: 5562654 markings, 7806401 edges, 25221 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(p425)
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 9 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: 134530 markings, 162349 edges, 26906 markings/sec, 0 secs
lola: 266032 markings, 324722 edges, 26300 markings/sec, 5 secs
lola: 379788 markings, 465140 edges, 22751 markings/sec, 10 secs
lola: 490195 markings, 600390 edges, 22081 markings/sec, 15 secs
lola: 601154 markings, 738276 edges, 22192 markings/sec, 20 secs
lola: 708240 markings, 872096 edges, 21417 markings/sec, 25 secs
lola: 820143 markings, 1010428 edges, 22381 markings/sec, 30 secs
lola: 918359 markings, 1130194 edges, 19643 markings/sec, 35 secs
lola: 1030205 markings, 1267404 edges, 22369 markings/sec, 40 secs
lola: 1136465 markings, 1398921 edges, 21252 markings/sec, 45 secs
lola: 1240824 markings, 1534566 edges, 20872 markings/sec, 50 secs
lola: 1354426 markings, 1673857 edges, 22720 markings/sec, 55 secs
lola: 1467511 markings, 1815876 edges, 22617 markings/sec, 60 secs
lola: 1566742 markings, 1937549 edges, 19846 markings/sec, 65 secs
lola: 1669051 markings, 2063157 edges, 20462 markings/sec, 70 secs
lola: 1742477 markings, 2230046 edges, 14685 markings/sec, 75 secs
lola: 1843550 markings, 2356731 edges, 20215 markings/sec, 80 secs
lola: 1920851 markings, 2510006 edges, 15460 markings/sec, 85 secs
lola: 2014948 markings, 2676046 edges, 18819 markings/sec, 90 secs
lola: 2115834 markings, 2799748 edges, 20177 markings/sec, 95 secs
lola: 2208796 markings, 2928567 edges, 18592 markings/sec, 100 secs
lola: 2286031 markings, 3095293 edges, 15447 markings/sec, 105 secs
lola: 2385633 markings, 3296378 edges, 19920 markings/sec, 110 secs
lola: 2476111 markings, 3480042 edges, 18096 markings/sec, 115 secs
lola: 2557109 markings, 3644495 edges, 16200 markings/sec, 120 secs
lola: 2626133 markings, 3785208 edges, 13805 markings/sec, 125 secs
lola: 2690015 markings, 3914785 edges, 12776 markings/sec, 130 secs
lola: 2737937 markings, 4012514 edges, 9584 markings/sec, 135 secs
lola: 2788518 markings, 4115615 edges, 10116 markings/sec, 140 secs
lola: 2832696 markings, 4205311 edges, 8836 markings/sec, 145 secs
lola: 2892119 markings, 4329002 edges, 11885 markings/sec, 150 secs
lola: 2969657 markings, 4496977 edges, 15508 markings/sec, 155 secs
lola: 3040485 markings, 4666332 edges, 14166 markings/sec, 160 secs
lola: 3144766 markings, 4794287 edges, 20856 markings/sec, 165 secs
lola: 3249452 markings, 4922683 edges, 20937 markings/sec, 170 secs
lola: 3350447 markings, 5045986 edges, 20199 markings/sec, 175 secs
lola: 3457504 markings, 5177405 edges, 21411 markings/sec, 180 secs
lola: 3564392 markings, 5307527 edges, 21378 markings/sec, 185 secs
lola: 3669968 markings, 5437059 edges, 21115 markings/sec, 190 secs
lola: 3775172 markings, 5566093 edges, 21041 markings/sec, 195 secs
lola: 3876944 markings, 5690419 edges, 20354 markings/sec, 200 secs
lola: 3986836 markings, 5826745 edges, 21978 markings/sec, 205 secs
lola: 4088041 markings, 5953536 edges, 20241 markings/sec, 210 secs
lola: 4190818 markings, 6086213 edges, 20555 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(p627)
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 9 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: 142261 markings, 237650 edges, 28452 markings/sec, 0 secs
lola: 266778 markings, 462694 edges, 24903 markings/sec, 5 secs
lola: 394497 markings, 682775 edges, 25544 markings/sec, 10 secs
lola: 517991 markings, 910017 edges, 24699 markings/sec, 15 secs
lola: 647873 markings, 1137550 edges, 25976 markings/sec, 20 secs
lola: 761660 markings, 1338727 edges, 22757 markings/sec, 25 secs
lola: 900501 markings, 1573558 edges, 27768 markings/sec, 30 secs
lola: 1051244 markings, 1829594 edges, 30149 markings/sec, 35 secs
lola: 1203599 markings, 2088948 edges, 30471 markings/sec, 40 secs
lola: 1354718 markings, 2346046 edges, 30224 markings/sec, 45 secs
lola: 1505437 markings, 2602257 edges, 30144 markings/sec, 50 secs
lola: 1653196 markings, 2852368 edges, 29552 markings/sec, 55 secs
lola: 1786473 markings, 3087311 edges, 26655 markings/sec, 60 secs
lola: 1928778 markings, 3339116 edges, 28461 markings/sec, 65 secs
lola: 2043959 markings, 3558934 edges, 23036 markings/sec, 70 secs
lola: 2169868 markings, 3795920 edges, 25182 markings/sec, 75 secs
lola: 2304323 markings, 4039130 edges, 26891 markings/sec, 80 secs
lola: 2431290 markings, 4266884 edges, 25393 markings/sec, 85 secs
lola: 2569933 markings, 4511714 edges, 27729 markings/sec, 90 secs
lola: 2689778 markings, 4738701 edges, 23969 markings/sec, 95 secs
lola: 2809646 markings, 4955495 edges, 23974 markings/sec, 100 secs
lola: 2927481 markings, 5162605 edges, 23567 markings/sec, 105 secs
lola: 3052571 markings, 5387717 edges, 25018 markings/sec, 110 secs
lola: 3154884 markings, 5578456 edges, 20463 markings/sec, 115 secs
lola: 3271212 markings, 5789283 edges, 23266 markings/sec, 120 secs
lola: 3393328 markings, 6014019 edges, 24423 markings/sec, 125 secs
lola: 3498157 markings, 6203648 edges, 20966 markings/sec, 130 secs
lola: 3595006 markings, 6383771 edges, 19370 markings/sec, 135 secs
lola: 3691177 markings, 6564566 edges, 19234 markings/sec, 140 secs
lola: 3775259 markings, 6725755 edges, 16816 markings/sec, 145 secs
lola: 3901478 markings, 6957624 edges, 25244 markings/sec, 150 secs
lola: 4026182 markings, 7183056 edges, 24941 markings/sec, 155 secs
lola: 4168430 markings, 7432715 edges, 28450 markings/sec, 160 secs
lola: 4289390 markings, 7646205 edges, 24192 markings/sec, 165 secs
lola: 4400577 markings, 7851135 edges, 22237 markings/sec, 170 secs
lola: 4507710 markings, 8060265 edges, 21427 markings/sec, 175 secs
lola: 4633449 markings, 8287010 edges, 25148 markings/sec, 180 secs
lola: 4771235 markings, 8524066 edges, 27557 markings/sec, 185 secs
lola: 4896885 markings, 8748117 edges, 25130 markings/sec, 190 secs
lola: 5008832 markings, 8961598 edges, 22389 markings/sec, 195 secs
lola: 5116842 markings, 9170949 edges, 21602 markings/sec, 200 secs
lola: 5214060 markings, 9359055 edges, 19444 markings/sec, 205 secs
lola: 5330602 markings, 9576097 edges, 23308 markings/sec, 210 secs
lola: 5474084 markings, 9826856 edges, 28696 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(p1008)
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 9 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: 101151 markings, 121507 edges, 20230 markings/sec, 0 secs
lola: 203833 markings, 245221 edges, 20536 markings/sec, 5 secs
lola: 320186 markings, 387005 edges, 23271 markings/sec, 10 secs
lola: 435472 markings, 527794 edges, 23057 markings/sec, 15 secs
lola: 556157 markings, 678163 edges, 24137 markings/sec, 20 secs
lola: 662857 markings, 809313 edges, 21340 markings/sec, 25 secs
lola: 774250 markings, 947874 edges, 22279 markings/sec, 30 secs
lola: 865908 markings, 1059394 edges, 18332 markings/sec, 35 secs
lola: 982314 markings, 1205760 edges, 23281 markings/sec, 40 secs
lola: 1091577 markings, 1341780 edges, 21853 markings/sec, 45 secs
lola: 1189361 markings, 1462384 edges, 19557 markings/sec, 50 secs
lola: 1279321 markings, 1571991 edges, 17992 markings/sec, 55 secs
lola: 1378351 markings, 1692332 edges, 19806 markings/sec, 60 secs
lola: 1489810 markings, 1831262 edges, 22292 markings/sec, 65 secs
lola: 1621668 markings, 2000552 edges, 26372 markings/sec, 70 secs
lola: 1750899 markings, 2161496 edges, 25846 markings/sec, 75 secs
lola: 1865722 markings, 2307552 edges, 22965 markings/sec, 80 secs
lola: 1977193 markings, 2445786 edges, 22294 markings/sec, 85 secs
lola: 2100830 markings, 2606477 edges, 24727 markings/sec, 90 secs
lola: 2226894 markings, 2765198 edges, 25213 markings/sec, 95 secs
lola: 2343265 markings, 2914669 edges, 23274 markings/sec, 100 secs
lola: 2447347 markings, 3042625 edges, 20816 markings/sec, 105 secs
lola: 2558830 markings, 3178390 edges, 22297 markings/sec, 110 secs
lola: 2712995 markings, 3375610 edges, 30833 markings/sec, 115 secs
lola: 2860098 markings, 3560258 edges, 29421 markings/sec, 120 secs
lola: 2991959 markings, 3725134 edges, 26372 markings/sec, 125 secs
lola: 3103664 markings, 3862574 edges, 22341 markings/sec, 130 secs
lola: 3212166 markings, 3995010 edges, 21700 markings/sec, 135 secs
lola: 3350667 markings, 4174086 edges, 27700 markings/sec, 140 secs
lola: 3489344 markings, 4349947 edges, 27735 markings/sec, 145 secs
lola: 3613011 markings, 4504174 edges, 24733 markings/sec, 150 secs
lola: 3730378 markings, 4654053 edges, 23473 markings/sec, 155 secs
lola: 3843053 markings, 4794350 edges, 22535 markings/sec, 160 secs
lola: 3952065 markings, 4927759 edges, 21802 markings/sec, 165 secs
lola: 4032441 markings, 5030724 edges, 16075 markings/sec, 170 secs
lola: 4150125 markings, 5176120 edges, 23537 markings/sec, 175 secs
lola: 4222352 markings, 5263782 edges, 14445 markings/sec, 180 secs
lola: 4354052 markings, 5432718 edges, 26340 markings/sec, 185 secs
lola: 4456170 markings, 5557603 edges, 20424 markings/sec, 190 secs
lola: 4560959 markings, 5686056 edges, 20958 markings/sec, 195 secs
lola: 4667660 markings, 5819693 edges, 21340 markings/sec, 200 secs
lola: 4755347 markings, 5930613 edges, 17537 markings/sec, 205 secs
lola: 4865485 markings, 6066168 edges, 22028 markings/sec, 210 secs
lola: 4970914 markings, 6195118 edges, 21086 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(p2278)
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 9 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: 123256 markings, 243269 edges, 24651 markings/sec, 0 secs
lola: 243772 markings, 523868 edges, 24103 markings/sec, 5 secs
lola: 371231 markings, 768741 edges, 25492 markings/sec, 10 secs
lola: 501984 markings, 988077 edges, 26151 markings/sec, 15 secs
lola: 594149 markings, 1198463 edges, 18433 markings/sec, 20 secs
lola: 678707 markings, 1396073 edges, 16912 markings/sec, 25 secs
lola: 787998 markings, 1603808 edges, 21858 markings/sec, 30 secs
lola: 890660 markings, 1767487 edges, 20532 markings/sec, 35 secs
lola: 971377 markings, 1953967 edges, 16143 markings/sec, 40 secs
lola: 1046725 markings, 2130111 edges, 15070 markings/sec, 45 secs
lola: 1156577 markings, 2322562 edges, 21970 markings/sec, 50 secs
lola: 1263310 markings, 2496426 edges, 21347 markings/sec, 55 secs
lola: 1363473 markings, 2654904 edges, 20033 markings/sec, 60 secs
lola: 1442503 markings, 2814685 edges, 15806 markings/sec, 65 secs
lola: 1505612 markings, 2962699 edges, 12622 markings/sec, 70 secs
lola: 1566208 markings, 3104478 edges, 12119 markings/sec, 75 secs
lola: 1681233 markings, 3272180 edges, 23005 markings/sec, 80 secs
lola: 1782003 markings, 3426059 edges, 20154 markings/sec, 85 secs
lola: 1871347 markings, 3575670 edges, 17869 markings/sec, 90 secs
lola: 1951467 markings, 3702363 edges, 16024 markings/sec, 95 secs
lola: 2034306 markings, 3827071 edges, 16568 markings/sec, 100 secs
lola: 2122451 markings, 3951430 edges, 17629 markings/sec, 105 secs
lola: 2211579 markings, 4080972 edges, 17826 markings/sec, 110 secs
lola: 2303800 markings, 4210716 edges, 18444 markings/sec, 115 secs
lola: 2392075 markings, 4341356 edges, 17655 markings/sec, 120 secs
lola: 2500209 markings, 4483606 edges, 21627 markings/sec, 125 secs
lola: 2609215 markings, 4633536 edges, 21801 markings/sec, 130 secs
lola: 2749423 markings, 4813115 edges, 28042 markings/sec, 135 secs
lola: 2891239 markings, 4990480 edges, 28363 markings/sec, 140 secs
lola: 3022283 markings, 5154045 edges, 26209 markings/sec, 145 secs
lola: 3130592 markings, 5297497 edges, 21662 markings/sec, 150 secs
lola: 3235388 markings, 5440210 edges, 20959 markings/sec, 155 secs
lola: 3352291 markings, 5597919 edges, 23381 markings/sec, 160 secs
lola: 3486331 markings, 5769824 edges, 26808 markings/sec, 165 secs
lola: 3621188 markings, 5938952 edges, 26971 markings/sec, 170 secs
lola: 3744713 markings, 6094915 edges, 24705 markings/sec, 175 secs
lola: 3873934 markings, 6263466 edges, 25844 markings/sec, 180 secs
lola: 4013760 markings, 6445608 edges, 27965 markings/sec, 185 secs
lola: 4148825 markings, 6630322 edges, 27013 markings/sec, 190 secs
lola: 4230831 markings, 6762033 edges, 16401 markings/sec, 195 secs
lola: 4308622 markings, 6895603 edges, 15558 markings/sec, 200 secs
lola: 4414393 markings, 7048244 edges, 21154 markings/sec, 205 secs
lola: 4488287 markings, 7166082 edges, 14779 markings/sec, 210 secs
lola: 4591139 markings, 7320366 edges, 20570 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(p167)
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 9 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: 93100 markings, 113372 edges, 18620 markings/sec, 0 secs
lola: 180014 markings, 219120 edges, 17383 markings/sec, 5 secs
lola: 278218 markings, 341446 edges, 19641 markings/sec, 10 secs
lola: 370466 markings, 454888 edges, 18450 markings/sec, 15 secs
lola: 464143 markings, 571088 edges, 18735 markings/sec, 20 secs
lola: 556181 markings, 685393 edges, 18408 markings/sec, 25 secs
lola: 632985 markings, 778749 edges, 15361 markings/sec, 30 secs
lola: 719359 markings, 886173 edges, 17275 markings/sec, 35 secs
lola: 811456 markings, 1001353 edges, 18419 markings/sec, 40 secs
lola: 901627 markings, 1114561 edges, 18034 markings/sec, 45 secs
lola: 984957 markings, 1216587 edges, 16666 markings/sec, 50 secs
lola: 1061621 markings, 1309858 edges, 15333 markings/sec, 55 secs
lola: 1147392 markings, 1414278 edges, 17154 markings/sec, 60 secs
lola: 1232412 markings, 1518170 edges, 17004 markings/sec, 65 secs
lola: 1336556 markings, 1651008 edges, 20829 markings/sec, 70 secs
lola: 1434181 markings, 1775590 edges, 19525 markings/sec, 75 secs
lola: 1534753 markings, 1901254 edges, 20114 markings/sec, 80 secs
lola: 1629091 markings, 2022549 edges, 18868 markings/sec, 85 secs
lola: 1716471 markings, 2129172 edges, 17476 markings/sec, 90 secs
lola: 1812696 markings, 2252730 edges, 19245 markings/sec, 95 secs
lola: 1908802 markings, 2377802 edges, 19221 markings/sec, 100 secs
lola: 2007050 markings, 2500222 edges, 19650 markings/sec, 105 secs
lola: 2097176 markings, 2616488 edges, 18025 markings/sec, 110 secs
lola: 2186512 markings, 2728164 edges, 17867 markings/sec, 115 secs
lola: 2277404 markings, 2838638 edges, 18178 markings/sec, 120 secs
lola: 2366600 markings, 2949424 edges, 17839 markings/sec, 125 secs
lola: 2477907 markings, 3091481 edges, 22261 markings/sec, 130 secs
lola: 2584102 markings, 3225510 edges, 21239 markings/sec, 135 secs
lola: 2688821 markings, 3356664 edges, 20944 markings/sec, 140 secs
lola: 2778764 markings, 3468608 edges, 17989 markings/sec, 145 secs
lola: 2866390 markings, 3576795 edges, 17525 markings/sec, 150 secs
lola: 2949519 markings, 3677918 edges, 16626 markings/sec, 155 secs
lola: 3041115 markings, 3792453 edges, 18319 markings/sec, 160 secs
lola: 3139358 markings, 3920212 edges, 19649 markings/sec, 165 secs
lola: 3243652 markings, 4052276 edges, 20859 markings/sec, 170 secs
lola: 3346779 markings, 4181313 edges, 20625 markings/sec, 175 secs
lola: 3441726 markings, 4299563 edges, 18989 markings/sec, 180 secs
lola: 3541537 markings, 4428182 edges, 19962 markings/sec, 185 secs
lola: 3626607 markings, 4533785 edges, 17014 markings/sec, 190 secs
lola: 3721017 markings, 4649464 edges, 18882 markings/sec, 195 secs
lola: 3787174 markings, 4732205 edges, 13231 markings/sec, 200 secs
lola: 3877457 markings, 4846589 edges, 18057 markings/sec, 205 secs
lola: 3960724 markings, 4948401 edges, 16653 markings/sec, 210 secs
lola: 4028292 markings, 5031398 edges, 13514 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(p507)
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 9 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: 133153 markings, 160252 edges, 26631 markings/sec, 0 secs
lola: 263371 markings, 320937 edges, 26044 markings/sec, 5 secs
lola: 374269 markings, 457388 edges, 22180 markings/sec, 10 secs
lola: 485030 markings, 593573 edges, 22152 markings/sec, 15 secs
lola: 594132 markings, 728365 edges, 21820 markings/sec, 20 secs
lola: 705484 markings, 867384 edges, 22270 markings/sec, 25 secs
lola: 818766 markings, 1007887 edges, 22656 markings/sec, 30 secs
lola: 923397 markings, 1135643 edges, 20926 markings/sec, 35 secs
lola: 1034841 markings, 1271929 edges, 22289 markings/sec, 40 secs
lola: 1143377 markings, 1406332 edges, 21707 markings/sec, 45 secs
lola: 1249639 markings, 1543456 edges, 21252 markings/sec, 50 secs
lola: 1366539 markings, 1687678 edges, 23380 markings/sec, 55 secs
lola: 1477916 markings, 1827589 edges, 22275 markings/sec, 60 secs
lola: 1585045 markings, 1958965 edges, 21426 markings/sec, 65 secs
lola: 1692773 markings, 2096098 edges, 21546 markings/sec, 70 secs
lola: 1771320 markings, 2266981 edges, 15709 markings/sec, 75 secs
lola: 1878683 markings, 2401464 edges, 21473 markings/sec, 80 secs
lola: 1953382 markings, 2563281 edges, 14940 markings/sec, 85 secs
lola: 2048690 markings, 2716438 edges, 19062 markings/sec, 90 secs
lola: 2154718 markings, 2846452 edges, 21206 markings/sec, 95 secs
lola: 2246727 markings, 2993567 edges, 18402 markings/sec, 100 secs
lola: 2339807 markings, 3185215 edges, 18616 markings/sec, 105 secs
lola: 2442006 markings, 3387702 edges, 20440 markings/sec, 110 secs
lola: 2536016 markings, 3570532 edges, 18802 markings/sec, 115 secs
lola: 2617830 markings, 3733204 edges, 16363 markings/sec, 120 secs
lola: 2692150 markings, 3880595 edges, 14864 markings/sec, 125 secs
lola: 2758267 markings, 4011222 edges, 13223 markings/sec, 130 secs
lola: 2813502 markings, 4120085 edges, 11047 markings/sec, 135 secs
lola: 2867886 markings, 4228504 edges, 10877 markings/sec, 140 secs
lola: 2939552 markings, 4380873 edges, 14333 markings/sec, 145 secs
lola: 3012707 markings, 4560343 edges, 14631 markings/sec, 150 secs
lola: 3116767 markings, 4718105 edges, 20812 markings/sec, 155 secs
lola: 3227471 markings, 4853886 edges, 22141 markings/sec, 160 secs
lola: 3334327 markings, 4984215 edges, 21371 markings/sec, 165 secs
lola: 3446612 markings, 5122239 edges, 22457 markings/sec, 170 secs
lola: 3552145 markings, 5250563 edges, 21107 markings/sec, 175 secs
lola: 3667197 markings, 5391829 edges, 23010 markings/sec, 180 secs
lola: 3780681 markings, 5531020 edges, 22697 markings/sec, 185 secs
lola: 3887384 markings, 5661373 edges, 21341 markings/sec, 190 secs
lola: 4001467 markings, 5802866 edges, 22817 markings/sec, 195 secs
lola: 4105798 markings, 5933792 edges, 20866 markings/sec, 200 secs
lola: 4209336 markings, 6067160 edges, 20708 markings/sec, 205 secs
lola: 4321991 markings, 6205332 edges, 22531 markings/sec, 210 secs
lola: 4430268 markings, 6339295 edges, 21655 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(p365)
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 9 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: 82627 markings, 124873 edges, 16525 markings/sec, 0 secs
lola: 165917 markings, 311750 edges, 16658 markings/sec, 5 secs
lola: 249744 markings, 502278 edges, 16765 markings/sec, 10 secs
lola: 339730 markings, 680683 edges, 17997 markings/sec, 15 secs
lola: 426772 markings, 868159 edges, 17408 markings/sec, 20 secs
lola: 514959 markings, 1062902 edges, 17637 markings/sec, 25 secs
lola: 608356 markings, 1276280 edges, 18679 markings/sec, 30 secs
lola: 702967 markings, 1479125 edges, 18922 markings/sec, 35 secs
lola: 786993 markings, 1665500 edges, 16805 markings/sec, 40 secs
lola: 869983 markings, 1854221 edges, 16598 markings/sec, 45 secs
lola: 949623 markings, 2033530 edges, 15928 markings/sec, 50 secs
lola: 1029019 markings, 2212063 edges, 15879 markings/sec, 55 secs
lola: 1109125 markings, 2392430 edges, 16021 markings/sec, 60 secs
lola: 1186463 markings, 2572024 edges, 15468 markings/sec, 65 secs
lola: 1266962 markings, 2737602 edges, 16100 markings/sec, 70 secs
lola: 1348036 markings, 2921112 edges, 16215 markings/sec, 75 secs
lola: 1428751 markings, 3104879 edges, 16143 markings/sec, 80 secs
lola: 1501962 markings, 3269648 edges, 14642 markings/sec, 85 secs
lola: 1574011 markings, 3430105 edges, 14410 markings/sec, 90 secs
lola: 1645629 markings, 3595072 edges, 14324 markings/sec, 95 secs
lola: 1718999 markings, 3759083 edges, 14674 markings/sec, 100 secs
lola: 1789166 markings, 3921142 edges, 14033 markings/sec, 105 secs
lola: 1862401 markings, 4084672 edges, 14647 markings/sec, 110 secs
lola: 1937356 markings, 4254128 edges, 14991 markings/sec, 115 secs
lola: 2011887 markings, 4406829 edges, 14906 markings/sec, 120 secs
lola: 2080000 markings, 4565855 edges, 13623 markings/sec, 125 secs
lola: 2154871 markings, 4733514 edges, 14974 markings/sec, 130 secs
lola: 2229587 markings, 4901307 edges, 14943 markings/sec, 135 secs
lola: 2305783 markings, 5067964 edges, 15239 markings/sec, 140 secs
lola: 2380353 markings, 5236321 edges, 14914 markings/sec, 145 secs
lola: 2451900 markings, 5396493 edges, 14309 markings/sec, 150 secs
lola: 2523475 markings, 5564024 edges, 14315 markings/sec, 155 secs
lola: 2595253 markings, 5728478 edges, 14356 markings/sec, 160 secs
lola: 2668326 markings, 5889509 edges, 14615 markings/sec, 165 secs
lola: 2737320 markings, 6039845 edges, 13799 markings/sec, 170 secs
lola: 2806237 markings, 6192206 edges, 13783 markings/sec, 175 secs
lola: 2874829 markings, 6347789 edges, 13718 markings/sec, 180 secs
lola: 2945051 markings, 6505188 edges, 14044 markings/sec, 185 secs
lola: 3011657 markings, 6659596 edges, 13321 markings/sec, 190 secs
lola: 3079096 markings, 6811150 edges, 13488 markings/sec, 195 secs
lola: 3150220 markings, 6971034 edges, 14225 markings/sec, 200 secs
lola: 3224634 markings, 7136743 edges, 14883 markings/sec, 205 secs
lola: 3299791 markings, 7308314 edges, 15031 markings/sec, 210 secs
lola: 3378145 markings, 7484165 edges, 15671 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(p1177)
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 9 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: 113132 markings, 135843 edges, 22626 markings/sec, 0 secs
lola: 227763 markings, 274167 edges, 22926 markings/sec, 5 secs
lola: 354598 markings, 428686 edges, 25367 markings/sec, 10 secs
lola: 482712 markings, 585763 edges, 25623 markings/sec, 15 secs
lola: 609243 markings, 742426 edges, 25306 markings/sec, 20 secs
lola: 734856 markings, 899188 edges, 25123 markings/sec, 25 secs
lola: 847470 markings, 1036622 edges, 22523 markings/sec, 30 secs
lola: 961493 markings, 1177794 edges, 22805 markings/sec, 35 secs
lola: 1085242 markings, 1333027 edges, 24750 markings/sec, 40 secs
lola: 1196662 markings, 1471038 edges, 22284 markings/sec, 45 secs
lola: 1293009 markings, 1588474 edges, 19269 markings/sec, 50 secs
lola: 1399738 markings, 1718217 edges, 21346 markings/sec, 55 secs
lola: 1517156 markings, 1864536 edges, 23484 markings/sec, 60 secs
lola: 1650444 markings, 2035400 edges, 26658 markings/sec, 65 secs
lola: 1781206 markings, 2198313 edges, 26152 markings/sec, 70 secs
lola: 1893171 markings, 2340731 edges, 22393 markings/sec, 75 secs
lola: 2007334 markings, 2482822 edges, 22833 markings/sec, 80 secs
lola: 2131851 markings, 2644780 edges, 24903 markings/sec, 85 secs
lola: 2259588 markings, 2805492 edges, 25547 markings/sec, 90 secs
lola: 2375117 markings, 2953321 edges, 23106 markings/sec, 95 secs
lola: 2473638 markings, 3074413 edges, 19704 markings/sec, 100 secs
lola: 2580742 markings, 3204612 edges, 21421 markings/sec, 105 secs
lola: 2732901 markings, 3398789 edges, 30432 markings/sec, 110 secs
lola: 2875263 markings, 3578367 edges, 28472 markings/sec, 115 secs
lola: 3010477 markings, 3747489 edges, 27043 markings/sec, 120 secs
lola: 3119690 markings, 3881922 edges, 21843 markings/sec, 125 secs
lola: 3227832 markings, 4013821 edges, 21628 markings/sec, 130 secs
lola: 3369422 markings, 4195750 edges, 28318 markings/sec, 135 secs
lola: 3513483 markings, 4378896 edges, 28812 markings/sec, 140 secs
lola: 3648812 markings, 4547685 edges, 27066 markings/sec, 145 secs
lola: 3784319 markings, 4720599 edges, 27101 markings/sec, 150 secs
lola: 3904039 markings, 4868713 edges, 23944 markings/sec, 155 secs
lola: 4003837 markings, 4990466 edges, 19960 markings/sec, 160 secs
lola: 4114093 markings, 5131466 edges, 22051 markings/sec, 165 secs
lola: 4216286 markings, 5256264 edges, 20439 markings/sec, 170 secs
lola: 4321343 markings, 5389956 edges, 21011 markings/sec, 175 secs
lola: 4452465 markings, 5553045 edges, 26224 markings/sec, 180 secs
lola: 4546622 markings, 5667907 edges, 18831 markings/sec, 185 secs
lola: 4655033 markings, 5803286 edges, 21682 markings/sec, 190 secs
lola: 4754574 markings, 5928071 edges, 19908 markings/sec, 195 secs
lola: 4853964 markings, 6051771 edges, 19878 markings/sec, 200 secs
lola: 4945873 markings, 6163907 edges, 18382 markings/sec, 205 secs
lola: 5040930 markings, 6283201 edges, 19011 markings/sec, 210 secs
lola: 5160342 markings, 6436372 edges, 23882 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(p1326)
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 9 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: 52405 markings, 133375 edges, 10481 markings/sec, 0 secs
lola: 102458 markings, 273635 edges, 10011 markings/sec, 5 secs
lola: 155708 markings, 429935 edges, 10650 markings/sec, 10 secs
lola: 205795 markings, 593466 edges, 10017 markings/sec, 15 secs
lola: 252198 markings, 739548 edges, 9281 markings/sec, 20 secs
lola: 298239 markings, 880753 edges, 9208 markings/sec, 25 secs
lola: 345147 markings, 1015835 edges, 9382 markings/sec, 30 secs
lola: 393464 markings, 1142535 edges, 9663 markings/sec, 35 secs
lola: 442075 markings, 1269389 edges, 9722 markings/sec, 40 secs
lola: 487263 markings, 1399192 edges, 9038 markings/sec, 45 secs
lola: 533281 markings, 1530067 edges, 9204 markings/sec, 50 secs
lola: 580647 markings, 1673071 edges, 9473 markings/sec, 55 secs
lola: 623284 markings, 1818306 edges, 8527 markings/sec, 60 secs
lola: 670079 markings, 1964701 edges, 9359 markings/sec, 65 secs
lola: 718454 markings, 2095586 edges, 9675 markings/sec, 70 secs
lola: 766571 markings, 2237944 edges, 9623 markings/sec, 75 secs
lola: 816233 markings, 2375372 edges, 9932 markings/sec, 80 secs
lola: 865658 markings, 2511751 edges, 9885 markings/sec, 85 secs
lola: 916639 markings, 2648999 edges, 10196 markings/sec, 90 secs
lola: 964476 markings, 2800196 edges, 9567 markings/sec, 95 secs
lola: 1013215 markings, 2940280 edges, 9748 markings/sec, 100 secs
lola: 1063965 markings, 3081025 edges, 10150 markings/sec, 105 secs
lola: 1115271 markings, 3210885 edges, 10261 markings/sec, 110 secs
lola: 1162273 markings, 3345899 edges, 9400 markings/sec, 115 secs
lola: 1209474 markings, 3492653 edges, 9440 markings/sec, 120 secs
lola: 1257102 markings, 3636409 edges, 9526 markings/sec, 125 secs
lola: 1308323 markings, 3774497 edges, 10244 markings/sec, 130 secs
lola: 1361447 markings, 3914151 edges, 10625 markings/sec, 135 secs
lola: 1410142 markings, 4061957 edges, 9739 markings/sec, 140 secs
lola: 1461074 markings, 4222530 edges, 10186 markings/sec, 145 secs
lola: 1511134 markings, 4358664 edges, 10012 markings/sec, 150 secs
lola: 1560871 markings, 4491718 edges, 9947 markings/sec, 155 secs
lola: 1609785 markings, 4634293 edges, 9783 markings/sec, 160 secs
lola: 1658342 markings, 4770600 edges, 9711 markings/sec, 165 secs
lola: 1710531 markings, 4901976 edges, 10438 markings/sec, 170 secs
lola: 1764918 markings, 5038433 edges, 10877 markings/sec, 175 secs
lola: 1818156 markings, 5191847 edges, 10648 markings/sec, 180 secs
lola: 1868407 markings, 5333271 edges, 10050 markings/sec, 185 secs
lola: 1916452 markings, 5488147 edges, 9609 markings/sec, 190 secs
lola: 1966098 markings, 5640514 edges, 9929 markings/sec, 195 secs
lola: 2016702 markings, 5776645 edges, 10121 markings/sec, 200 secs
lola: 2071448 markings, 5911805 edges, 10949 markings/sec, 205 secs
lola: 2120988 markings, 6062067 edges, 9908 markings/sec, 210 secs
lola: 2172732 markings, 6202408 edges, 10349 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(p1691)
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 9 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: 116448 markings, 140290 edges, 23290 markings/sec, 0 secs
lola: 256501 markings, 309659 edges, 28011 markings/sec, 5 secs
lola: 385886 markings, 466860 edges, 25877 markings/sec, 10 secs
lola: 514838 markings, 624367 edges, 25790 markings/sec, 15 secs
lola: 645406 markings, 784019 edges, 26114 markings/sec, 20 secs
lola: 773886 markings, 940708 edges, 25696 markings/sec, 25 secs
lola: 907211 markings, 1103383 edges, 26665 markings/sec, 30 secs
lola: 1043267 markings, 1273339 edges, 27211 markings/sec, 35 secs
lola: 1176949 markings, 1439191 edges, 26736 markings/sec, 40 secs
lola: 1305157 markings, 1596027 edges, 25642 markings/sec, 45 secs
lola: 1434678 markings, 1754786 edges, 25904 markings/sec, 50 secs
lola: 1562990 markings, 1915900 edges, 25662 markings/sec, 55 secs
lola: 1687505 markings, 2071521 edges, 24903 markings/sec, 60 secs
lola: 1815310 markings, 2230560 edges, 25561 markings/sec, 65 secs
lola: 1930087 markings, 2369590 edges, 22955 markings/sec, 70 secs
lola: 2056384 markings, 2523631 edges, 25259 markings/sec, 75 secs
lola: 2172521 markings, 2669169 edges, 23227 markings/sec, 80 secs
lola: 2286717 markings, 2812727 edges, 22839 markings/sec, 85 secs
lola: 2412164 markings, 2968778 edges, 25089 markings/sec, 90 secs
lola: 2529021 markings, 3116153 edges, 23371 markings/sec, 95 secs
lola: 2677389 markings, 3301823 edges, 29674 markings/sec, 100 secs
lola: 2812616 markings, 3471929 edges, 27045 markings/sec, 105 secs
lola: 2952947 markings, 3650817 edges, 28066 markings/sec, 110 secs
lola: 3084132 markings, 3817879 edges, 26237 markings/sec, 115 secs
lola: 3198034 markings, 3956481 edges, 22780 markings/sec, 120 secs
lola: 3314362 markings, 4103033 edges, 23266 markings/sec, 125 secs
lola: 3419078 markings, 4233235 edges, 20943 markings/sec, 130 secs
lola: 3533665 markings, 4378915 edges, 22917 markings/sec, 135 secs
lola: 3674069 markings, 4557141 edges, 28081 markings/sec, 140 secs
lola: 3801142 markings, 4717252 edges, 25415 markings/sec, 145 secs
lola: 3930351 markings, 4884355 edges, 25842 markings/sec, 150 secs
lola: 4049605 markings, 5036290 edges, 23851 markings/sec, 155 secs
lola: 4172824 markings, 5193886 edges, 24644 markings/sec, 160 secs
lola: 4318066 markings, 5377135 edges, 29048 markings/sec, 165 secs
lola: 4470612 markings, 5568608 edges, 30509 markings/sec, 170 secs
lola: 4620134 markings, 5759653 edges, 29904 markings/sec, 175 secs
lola: 4774491 markings, 5956007 edges, 30871 markings/sec, 180 secs
lola: 4924296 markings, 6143283 edges, 29961 markings/sec, 185 secs
lola: 5075277 markings, 6336012 edges, 30196 markings/sec, 190 secs
lola: 5226327 markings, 6525338 edges, 30210 markings/sec, 195 secs
lola: 5370780 markings, 6709656 edges, 28891 markings/sec, 200 secs
lola: 5522104 markings, 6903634 edges, 30265 markings/sec, 205 secs
lola: 5663998 markings, 7086419 edges, 28379 markings/sec, 210 secs
lola: 5795834 markings, 7256085 edges, 26367 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(p157)
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 9 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: 97594 markings, 118847 edges, 19519 markings/sec, 0 secs
lola: 194907 markings, 237272 edges, 19463 markings/sec, 5 secs
lola: 300987 markings, 369769 edges, 21216 markings/sec, 10 secs
lola: 393667 markings, 483226 edges, 18536 markings/sec, 15 secs
lola: 497699 markings, 613710 edges, 20806 markings/sec, 20 secs
lola: 594372 markings, 731572 edges, 19335 markings/sec, 25 secs
lola: 684153 markings, 841598 edges, 17956 markings/sec, 30 secs
lola: 781343 markings, 964099 edges, 19438 markings/sec, 35 secs
lola: 881925 markings, 1089502 edges, 20116 markings/sec, 40 secs
lola: 969097 markings, 1197079 edges, 17434 markings/sec, 45 secs
lola: 1050082 markings, 1295777 edges, 16197 markings/sec, 50 secs
lola: 1134258 markings, 1398207 edges, 16835 markings/sec, 55 secs
lola: 1222766 markings, 1505669 edges, 17702 markings/sec, 60 secs
lola: 1328603 markings, 1640187 edges, 21167 markings/sec, 65 secs
lola: 1426745 markings, 1766335 edges, 19628 markings/sec, 70 secs
lola: 1528086 markings, 1892383 edges, 20268 markings/sec, 75 secs
lola: 1623838 markings, 2016082 edges, 19150 markings/sec, 80 secs
lola: 1711279 markings, 2122683 edges, 17488 markings/sec, 85 secs
lola: 1807311 markings, 2246117 edges, 19206 markings/sec, 90 secs
lola: 1910483 markings, 2379771 edges, 20634 markings/sec, 95 secs
lola: 2016618 markings, 2512462 edges, 21227 markings/sec, 100 secs
lola: 2115777 markings, 2639592 edges, 19832 markings/sec, 105 secs
lola: 2206085 markings, 2751822 edges, 18062 markings/sec, 110 secs
lola: 2304739 markings, 2871677 edges, 19731 markings/sec, 115 secs
lola: 2405181 markings, 2999259 edges, 20088 markings/sec, 120 secs
lola: 2517151 markings, 3142264 edges, 22394 markings/sec, 125 secs
lola: 2627883 markings, 3279993 edges, 22146 markings/sec, 130 secs
lola: 2732379 markings, 3410962 edges, 20899 markings/sec, 135 secs
lola: 2828703 markings, 3530027 edges, 19265 markings/sec, 140 secs
lola: 2918403 markings, 3639977 edges, 17940 markings/sec, 145 secs
lola: 3002193 markings, 3742274 edges, 16758 markings/sec, 150 secs
lola: 3102305 markings, 3872331 edges, 20022 markings/sec, 155 secs
lola: 3198907 markings, 3996076 edges, 19320 markings/sec, 160 secs
lola: 3295155 markings, 4116836 edges, 19250 markings/sec, 165 secs
lola: 3387135 markings, 4231900 edges, 18396 markings/sec, 170 secs
lola: 3481436 markings, 4351889 edges, 18860 markings/sec, 175 secs
lola: 3578564 markings, 4473812 edges, 19426 markings/sec, 180 secs
lola: 3674066 markings, 4591920 edges, 19100 markings/sec, 185 secs
lola: 3756659 markings, 4692668 edges, 16519 markings/sec, 190 secs
lola: 3837977 markings, 4797999 edges, 16264 markings/sec, 195 secs
lola: 3937235 markings, 4919804 edges, 19852 markings/sec, 200 secs
lola: 4002272 markings, 4998730 edges, 13007 markings/sec, 205 secs
lola: 4098753 markings, 5123156 edges, 19296 markings/sec, 210 secs
lola: 4199591 markings, 5248139 edges, 20168 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(p755)
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 9 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: 102762 markings, 123142 edges, 20552 markings/sec, 0 secs
lola: 210747 markings, 254444 edges, 21597 markings/sec, 5 secs
lola: 320953 markings, 388745 edges, 22041 markings/sec, 10 secs
lola: 441010 markings, 539277 edges, 24011 markings/sec, 15 secs
lola: 545206 markings, 666193 edges, 20839 markings/sec, 20 secs
lola: 656106 markings, 804791 edges, 22180 markings/sec, 25 secs
lola: 747675 markings, 916222 edges, 18314 markings/sec, 30 secs
lola: 849821 markings, 1042973 edges, 20429 markings/sec, 35 secs
lola: 961902 markings, 1183442 edges, 22416 markings/sec, 40 secs
lola: 1068834 markings, 1316647 edges, 21386 markings/sec, 45 secs
lola: 1157327 markings, 1424309 edges, 17699 markings/sec, 50 secs
lola: 1248695 markings, 1535582 edges, 18274 markings/sec, 55 secs
lola: 1347189 markings, 1655150 edges, 19699 markings/sec, 60 secs
lola: 1468657 markings, 1810450 edges, 24294 markings/sec, 65 secs
lola: 1584841 markings, 1957601 edges, 23237 markings/sec, 70 secs
lola: 1701816 markings, 2105740 edges, 23395 markings/sec, 75 secs
lola: 1806077 markings, 2236057 edges, 20852 markings/sec, 80 secs
lola: 1909325 markings, 2365558 edges, 20650 markings/sec, 85 secs
lola: 2019681 markings, 2509812 edges, 22071 markings/sec, 90 secs
lola: 2134304 markings, 2653170 edges, 22925 markings/sec, 95 secs
lola: 2240613 markings, 2789688 edges, 21262 markings/sec, 100 secs
lola: 2336352 markings, 2908454 edges, 19148 markings/sec, 105 secs
lola: 2439496 markings, 3033729 edges, 20629 markings/sec, 110 secs
lola: 2567288 markings, 3195124 edges, 25558 markings/sec, 115 secs
lola: 2698588 markings, 3362485 edges, 26260 markings/sec, 120 secs
lola: 2828342 markings, 3525078 edges, 25951 markings/sec, 125 secs
lola: 2947546 markings, 3672666 edges, 23841 markings/sec, 130 secs
lola: 3052929 markings, 3801770 edges, 21077 markings/sec, 135 secs
lola: 3164690 markings, 3940753 edges, 22352 markings/sec, 140 secs
lola: 3290747 markings, 4105041 edges, 25211 markings/sec, 145 secs
lola: 3419514 markings, 4266234 edges, 25753 markings/sec, 150 secs
lola: 3540283 markings, 4416737 edges, 24154 markings/sec, 155 secs
lola: 3661872 markings, 4572509 edges, 24318 markings/sec, 160 secs
lola: 3771646 markings, 4708466 edges, 21955 markings/sec, 165 secs
lola: 3876311 markings, 4836332 edges, 20933 markings/sec, 170 secs
lola: 3973020 markings, 4960564 edges, 19342 markings/sec, 175 secs
lola: 4082181 markings, 5094190 edges, 21832 markings/sec, 180 secs
lola: 4169292 markings, 5202252 edges, 17422 markings/sec, 185 secs
lola: 4301499 markings, 5369969 edges, 26441 markings/sec, 190 secs
lola: 4393187 markings, 5481859 edges, 18338 markings/sec, 195 secs
lola: 4500546 markings, 5615559 edges, 21472 markings/sec, 200 secs
lola: 4611437 markings, 5753442 edges, 22178 markings/sec, 205 secs
lola: 4688547 markings, 5851005 edges, 15422 markings/sec, 210 secs
lola: 4791721 markings, 5977146 edges, 20635 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(p2216)
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 9 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: 97335 markings, 192224 edges, 19467 markings/sec, 0 secs
lola: 181273 markings, 364711 edges, 16788 markings/sec, 5 secs
lola: 293968 markings, 571905 edges, 22539 markings/sec, 10 secs
lola: 406254 markings, 776681 edges, 22457 markings/sec, 15 secs
lola: 515476 markings, 986829 edges, 21844 markings/sec, 20 secs
lola: 630094 markings, 1185686 edges, 22924 markings/sec, 25 secs
lola: 738367 markings, 1361137 edges, 21655 markings/sec, 30 secs
lola: 829042 markings, 1537154 edges, 18135 markings/sec, 35 secs
lola: 931948 markings, 1709348 edges, 20581 markings/sec, 40 secs
lola: 1025351 markings, 1882763 edges, 18681 markings/sec, 45 secs
lola: 1109257 markings, 2038771 edges, 16781 markings/sec, 50 secs
lola: 1183826 markings, 2198643 edges, 14914 markings/sec, 55 secs
lola: 1296657 markings, 2346447 edges, 22566 markings/sec, 60 secs
lola: 1380060 markings, 2501905 edges, 16681 markings/sec, 65 secs
lola: 1471340 markings, 2647972 edges, 18256 markings/sec, 70 secs
lola: 1559602 markings, 2793992 edges, 17652 markings/sec, 75 secs
lola: 1645409 markings, 2930124 edges, 17161 markings/sec, 80 secs
lola: 1732799 markings, 3065450 edges, 17478 markings/sec, 85 secs
lola: 1821438 markings, 3201198 edges, 17728 markings/sec, 90 secs
lola: 1906891 markings, 3337487 edges, 17091 markings/sec, 95 secs
lola: 1997924 markings, 3470971 edges, 18207 markings/sec, 100 secs
lola: 2086113 markings, 3608509 edges, 17638 markings/sec, 105 secs
lola: 2178147 markings, 3744400 edges, 18407 markings/sec, 110 secs
lola: 2289925 markings, 3897371 edges, 22356 markings/sec, 115 secs
lola: 2404881 markings, 4060979 edges, 22991 markings/sec, 120 secs
lola: 2544721 markings, 4240947 edges, 27968 markings/sec, 125 secs
lola: 2688052 markings, 4419838 edges, 28666 markings/sec, 130 secs
lola: 2821802 markings, 4586361 edges, 26750 markings/sec, 135 secs
lola: 2937261 markings, 4743331 edges, 23092 markings/sec, 140 secs
lola: 3076881 markings, 4921683 edges, 27924 markings/sec, 145 secs
lola: 3211913 markings, 5091876 edges, 27006 markings/sec, 150 secs
lola: 3340624 markings, 5254128 edges, 25742 markings/sec, 155 secs
lola: 3463424 markings, 5407291 edges, 24560 markings/sec, 160 secs
lola: 3594795 markings, 5575751 edges, 26274 markings/sec, 165 secs
lola: 3730123 markings, 5749566 edges, 27066 markings/sec, 170 secs
lola: 3865985 markings, 5923401 edges, 27172 markings/sec, 175 secs
lola: 3976888 markings, 6086144 edges, 22181 markings/sec, 180 secs
lola: 4054814 markings, 6223316 edges, 15585 markings/sec, 185 secs
lola: 4158842 markings, 6379653 edges, 20806 markings/sec, 190 secs
lola: 4236974 markings, 6509808 edges, 15626 markings/sec, 195 secs
lola: 4310124 markings, 6635811 edges, 14630 markings/sec, 200 secs
lola: 4411631 markings, 6779307 edges, 20301 markings/sec, 205 secs
lola: 4496847 markings, 6909954 edges, 17043 markings/sec, 210 secs
lola: 4604409 markings, 7049008 edges, 21512 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(p1574)
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 9 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: 103682 markings, 124417 edges, 20736 markings/sec, 0 secs
lola: 198017 markings, 238318 edges, 18867 markings/sec, 5 secs
lola: 298215 markings, 359905 edges, 20040 markings/sec, 10 secs
lola: 410030 markings, 495660 edges, 22363 markings/sec, 15 secs
lola: 538357 markings, 653789 edges, 25665 markings/sec, 20 secs
lola: 661987 markings, 806287 edges, 24726 markings/sec, 25 secs
lola: 799314 markings, 977959 edges, 27465 markings/sec, 30 secs
lola: 920208 markings, 1125627 edges, 24179 markings/sec, 35 secs
lola: 1047404 markings, 1285383 edges, 25439 markings/sec, 40 secs
lola: 1171404 markings, 1439565 edges, 24800 markings/sec, 45 secs
lola: 1269849 markings, 1558374 edges, 19689 markings/sec, 50 secs
lola: 1376622 markings, 1687979 edges, 21355 markings/sec, 55 secs
lola: 1497585 markings, 1839263 edges, 24193 markings/sec, 60 secs
lola: 1632793 markings, 2011316 edges, 27042 markings/sec, 65 secs
lola: 1754278 markings, 2165231 edges, 24297 markings/sec, 70 secs
lola: 1867039 markings, 2304069 edges, 22552 markings/sec, 75 secs
lola: 1994266 markings, 2468928 edges, 25445 markings/sec, 80 secs
lola: 2119935 markings, 2628170 edges, 25134 markings/sec, 85 secs
lola: 2233644 markings, 2774484 edges, 22742 markings/sec, 90 secs
lola: 2340042 markings, 2903720 edges, 21280 markings/sec, 95 secs
lola: 2474368 markings, 3073113 edges, 26865 markings/sec, 100 secs
lola: 2634356 markings, 3276282 edges, 31998 markings/sec, 105 secs
lola: 2775789 markings, 3454614 edges, 28287 markings/sec, 110 secs
lola: 2894244 markings, 3603772 edges, 23691 markings/sec, 115 secs
lola: 2999170 markings, 3731715 edges, 20985 markings/sec, 120 secs
lola: 3136255 markings, 3908222 edges, 27417 markings/sec, 125 secs
lola: 3271574 markings, 4080042 edges, 27064 markings/sec, 130 secs
lola: 3396815 markings, 4238384 edges, 25048 markings/sec, 135 secs
lola: 3521567 markings, 4398171 edges, 24950 markings/sec, 140 secs
lola: 3626011 markings, 4527180 edges, 20889 markings/sec, 145 secs
lola: 3745812 markings, 4674017 edges, 23960 markings/sec, 150 secs
lola: 3830111 markings, 4780670 edges, 16860 markings/sec, 155 secs
lola: 3937566 markings, 4917499 edges, 21491 markings/sec, 160 secs
lola: 4021948 markings, 5023352 edges, 16876 markings/sec, 165 secs
lola: 4137103 markings, 5165572 edges, 23031 markings/sec, 170 secs
lola: 4225614 markings, 5276102 edges, 17702 markings/sec, 175 secs
lola: 4340294 markings, 5419722 edges, 22936 markings/sec, 180 secs
lola: 4451944 markings, 5559210 edges, 22330 markings/sec, 185 secs
lola: 4537832 markings, 5668327 edges, 17178 markings/sec, 190 secs
lola: 4657668 markings, 5816901 edges, 23967 markings/sec, 195 secs
lola: 4757754 markings, 5944528 edges, 20017 markings/sec, 200 secs
lola: 4873937 markings, 6090410 edges, 23237 markings/sec, 205 secs
lola: 4963792 markings, 6204521 edges, 17971 markings/sec, 210 secs
lola: 5054389 markings, 6317550 edges, 18119 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-319-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-319-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496538032477

--------------------
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-319"
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-319.tgz
mv CloudReconfiguration-PT-319 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-319, 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-149580961500164"
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 ;