About the Execution of LoLA for CloudReconfiguration-PT-312
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1390.000 | 3539911.00 | 3550799.00 | 175.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is CloudReconfiguration-PT-312, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961300101
=====================================================================
--------------------
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-312-UpperBounds-0
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-1
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-15
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-2
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-3
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-4
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-5
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-6
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-7
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-8
FORMULA_NAME CloudReconfiguration-PT-312-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496532273425
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
CloudReconfiguration-PT-312: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-312: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-312 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-312-UpperBounds.task
lola: MAX(p2446) : MAX(p594) : MAX(p1211) : MAX(p2325) : MAX(p1671) : MAX(p910) : MAX(p756) : MAX(p811) : MAX(p879) : MAX(p2253) : MAX(p823) : MAX(p1690) : MAX(p1004) : MAX(p2557) : MAX(p1329) : MAX(p2249)
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(p2446)
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 11 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: 106181 markings, 127701 edges, 21236 markings/sec, 0 secs
lola: 214980 markings, 259729 edges, 21760 markings/sec, 5 secs
lola: 343860 markings, 416325 edges, 25776 markings/sec, 10 secs
lola: 461333 markings, 556327 edges, 23495 markings/sec, 15 secs
lola: 571316 markings, 687424 edges, 21997 markings/sec, 20 secs
lola: 698953 markings, 841105 edges, 25527 markings/sec, 25 secs
lola: 823686 markings, 993057 edges, 24947 markings/sec, 30 secs
lola: 949008 markings, 1145313 edges, 25064 markings/sec, 35 secs
lola: 1066309 markings, 1285691 edges, 23460 markings/sec, 40 secs
lola: 1175515 markings, 1417845 edges, 21841 markings/sec, 45 secs
lola: 1291080 markings, 1557879 edges, 23113 markings/sec, 50 secs
lola: 1405360 markings, 1696603 edges, 22856 markings/sec, 55 secs
lola: 1543009 markings, 1865519 edges, 27530 markings/sec, 60 secs
lola: 1658755 markings, 2006181 edges, 23149 markings/sec, 65 secs
lola: 1788659 markings, 2166003 edges, 25981 markings/sec, 70 secs
lola: 1912427 markings, 2317660 edges, 24754 markings/sec, 75 secs
lola: 2054733 markings, 2493958 edges, 28461 markings/sec, 80 secs
lola: 2170615 markings, 2634502 edges, 23176 markings/sec, 85 secs
lola: 2288188 markings, 2777719 edges, 23515 markings/sec, 90 secs
lola: 2424089 markings, 2943978 edges, 27180 markings/sec, 95 secs
lola: 2534023 markings, 3077702 edges, 21987 markings/sec, 100 secs
lola: 2652945 markings, 3221371 edges, 23784 markings/sec, 105 secs
lola: 2805400 markings, 3406870 edges, 30491 markings/sec, 110 secs
lola: 2931842 markings, 3563152 edges, 25288 markings/sec, 115 secs
lola: 3071009 markings, 3734897 edges, 27833 markings/sec, 120 secs
lola: 3230159 markings, 3930252 edges, 31830 markings/sec, 125 secs
lola: 3381854 markings, 4116421 edges, 30339 markings/sec, 130 secs
lola: 3514782 markings, 4280784 edges, 26586 markings/sec, 135 secs
lola: 3681946 markings, 4485519 edges, 33433 markings/sec, 140 secs
lola: 3834406 markings, 4675575 edges, 30492 markings/sec, 145 secs
lola: 3985402 markings, 4863075 edges, 30199 markings/sec, 150 secs
lola: 4125655 markings, 5037283 edges, 28051 markings/sec, 155 secs
lola: 4270451 markings, 5218031 edges, 28959 markings/sec, 160 secs
lola: 4390623 markings, 5364167 edges, 24034 markings/sec, 165 secs
lola: 4487339 markings, 5479372 edges, 19343 markings/sec, 170 secs
lola: 4612957 markings, 5633021 edges, 25124 markings/sec, 175 secs
lola: 4735712 markings, 5782854 edges, 24551 markings/sec, 180 secs
lola: 4877670 markings, 5959524 edges, 28392 markings/sec, 185 secs
lola: 5006277 markings, 6117663 edges, 25721 markings/sec, 190 secs
lola: 5137904 markings, 6279107 edges, 26325 markings/sec, 195 secs
lola: 5277682 markings, 6451796 edges, 27956 markings/sec, 200 secs
lola: 5401000 markings, 6602877 edges, 24664 markings/sec, 205 secs
lola: 5537852 markings, 6770935 edges, 27370 markings/sec, 210 secs
lola: 5680468 markings, 6948577 edges, 28523 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(p594)
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 11 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: 128436 markings, 153697 edges, 25687 markings/sec, 0 secs
lola: 272899 markings, 327717 edges, 28893 markings/sec, 5 secs
lola: 424550 markings, 512350 edges, 30330 markings/sec, 10 secs
lola: 578470 markings, 699855 edges, 30784 markings/sec, 15 secs
lola: 726434 markings, 881984 edges, 29593 markings/sec, 20 secs
lola: 880662 markings, 1070821 edges, 30846 markings/sec, 25 secs
lola: 1040844 markings, 1266977 edges, 32036 markings/sec, 30 secs
lola: 1200940 markings, 1463108 edges, 32019 markings/sec, 35 secs
lola: 1357016 markings, 1654187 edges, 31215 markings/sec, 40 secs
lola: 1516405 markings, 1849238 edges, 31878 markings/sec, 45 secs
lola: 1702405 markings, 2077256 edges, 37200 markings/sec, 50 secs
lola: 1848252 markings, 2254189 edges, 29169 markings/sec, 55 secs
lola: 1978330 markings, 2411734 edges, 26016 markings/sec, 60 secs
lola: 2129827 markings, 2596691 edges, 30299 markings/sec, 65 secs
lola: 2273938 markings, 2773898 edges, 28822 markings/sec, 70 secs
lola: 2404750 markings, 2933612 edges, 26162 markings/sec, 75 secs
lola: 2534584 markings, 3093430 edges, 25967 markings/sec, 80 secs
lola: 2665156 markings, 3254129 edges, 26114 markings/sec, 85 secs
lola: 2795280 markings, 3414547 edges, 26025 markings/sec, 90 secs
lola: 2927478 markings, 3577481 edges, 26440 markings/sec, 95 secs
lola: 3066870 markings, 3749058 edges, 27878 markings/sec, 100 secs
lola: 3200834 markings, 3914290 edges, 26793 markings/sec, 105 secs
lola: 3339834 markings, 4085264 edges, 27800 markings/sec, 110 secs
lola: 3477832 markings, 4254909 edges, 27600 markings/sec, 115 secs
lola: 3615192 markings, 4423841 edges, 27472 markings/sec, 120 secs
lola: 3736463 markings, 4571407 edges, 24254 markings/sec, 125 secs
lola: 3872686 markings, 4738088 edges, 27245 markings/sec, 130 secs
lola: 3998940 markings, 4892890 edges, 25251 markings/sec, 135 secs
lola: 4126901 markings, 5050566 edges, 25592 markings/sec, 140 secs
lola: 4254134 markings, 5206227 edges, 25447 markings/sec, 145 secs
lola: 4387466 markings, 5369769 edges, 26666 markings/sec, 150 secs
lola: 4512705 markings, 5521935 edges, 25048 markings/sec, 155 secs
lola: 4638233 markings, 5675512 edges, 25106 markings/sec, 160 secs
lola: 4769556 markings, 5837353 edges, 26265 markings/sec, 165 secs
lola: 4901736 markings, 6000016 edges, 26436 markings/sec, 170 secs
lola: 5030741 markings, 6159416 edges, 25801 markings/sec, 175 secs
lola: 5153356 markings, 6310515 edges, 24523 markings/sec, 180 secs
lola: 5289362 markings, 6477773 edges, 27201 markings/sec, 185 secs
lola: 5428882 markings, 6648999 edges, 27904 markings/sec, 190 secs
lola: 5563056 markings, 6813472 edges, 26835 markings/sec, 195 secs
lola: 5692365 markings, 6972926 edges, 25862 markings/sec, 200 secs
lola: 5820909 markings, 7130552 edges, 25709 markings/sec, 205 secs
lola: 5943713 markings, 7280920 edges, 24561 markings/sec, 210 secs
lola: 6065501 markings, 7430948 edges, 24358 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(p1211)
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 11 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: 93488 markings, 180946 edges, 18698 markings/sec, 0 secs
lola: 185962 markings, 348278 edges, 18495 markings/sec, 5 secs
lola: 288598 markings, 532304 edges, 20527 markings/sec, 10 secs
lola: 389972 markings, 727725 edges, 20275 markings/sec, 15 secs
lola: 482201 markings, 915808 edges, 18446 markings/sec, 20 secs
lola: 598679 markings, 1118277 edges, 23296 markings/sec, 25 secs
lola: 706259 markings, 1312344 edges, 21516 markings/sec, 30 secs
lola: 816208 markings, 1506598 edges, 21990 markings/sec, 35 secs
lola: 918587 markings, 1700039 edges, 20476 markings/sec, 40 secs
lola: 1020798 markings, 1898725 edges, 20442 markings/sec, 45 secs
lola: 1126776 markings, 2101581 edges, 21196 markings/sec, 50 secs
lola: 1239535 markings, 2305159 edges, 22552 markings/sec, 55 secs
lola: 1350756 markings, 2513659 edges, 22244 markings/sec, 60 secs
lola: 1462491 markings, 2731693 edges, 22347 markings/sec, 65 secs
lola: 1555131 markings, 2915608 edges, 18528 markings/sec, 70 secs
lola: 1653040 markings, 3112679 edges, 19582 markings/sec, 75 secs
lola: 1743504 markings, 3298207 edges, 18093 markings/sec, 80 secs
lola: 1832567 markings, 3481373 edges, 17813 markings/sec, 85 secs
lola: 1937606 markings, 3681220 edges, 21008 markings/sec, 90 secs
lola: 2044718 markings, 3892220 edges, 21422 markings/sec, 95 secs
lola: 2150803 markings, 4096509 edges, 21217 markings/sec, 100 secs
lola: 2245681 markings, 4290776 edges, 18976 markings/sec, 105 secs
lola: 2349347 markings, 4475239 edges, 20733 markings/sec, 110 secs
lola: 2449620 markings, 4671619 edges, 20055 markings/sec, 115 secs
lola: 2546098 markings, 4863368 edges, 19296 markings/sec, 120 secs
lola: 2660836 markings, 5085953 edges, 22948 markings/sec, 125 secs
lola: 2777720 markings, 5309029 edges, 23377 markings/sec, 130 secs
lola: 2881240 markings, 5516206 edges, 20704 markings/sec, 135 secs
lola: 2975253 markings, 5713657 edges, 18803 markings/sec, 140 secs
lola: 3080627 markings, 5911600 edges, 21075 markings/sec, 145 secs
lola: 3187213 markings, 6110742 edges, 21317 markings/sec, 150 secs
lola: 3292183 markings, 6318596 edges, 20994 markings/sec, 155 secs
lola: 3397866 markings, 6527948 edges, 21137 markings/sec, 160 secs
lola: 3506435 markings, 6730098 edges, 21714 markings/sec, 165 secs
lola: 3604007 markings, 6944993 edges, 19514 markings/sec, 170 secs
lola: 3713634 markings, 7146846 edges, 21925 markings/sec, 175 secs
lola: 3824751 markings, 7357647 edges, 22223 markings/sec, 180 secs
lola: 3922464 markings, 7539650 edges, 19543 markings/sec, 185 secs
lola: 4014808 markings, 7713648 edges, 18469 markings/sec, 190 secs
lola: 4108573 markings, 7885756 edges, 18753 markings/sec, 195 secs
lola: 4201084 markings, 8058341 edges, 18502 markings/sec, 200 secs
lola: 4298004 markings, 8243806 edges, 19384 markings/sec, 205 secs
lola: 4408787 markings, 8441576 edges, 22157 markings/sec, 210 secs
lola: 4509325 markings, 8636310 edges, 20108 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(p2325)
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 11 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: 109918 markings, 131657 edges, 21984 markings/sec, 0 secs
lola: 228553 markings, 272902 edges, 23727 markings/sec, 5 secs
lola: 333967 markings, 400264 edges, 21083 markings/sec, 10 secs
lola: 446736 markings, 537404 edges, 22554 markings/sec, 15 secs
lola: 576700 markings, 693798 edges, 25993 markings/sec, 20 secs
lola: 711620 markings, 856165 edges, 26984 markings/sec, 25 secs
lola: 853686 markings, 1027781 edges, 28413 markings/sec, 30 secs
lola: 999254 markings, 1204933 edges, 29114 markings/sec, 35 secs
lola: 1163530 markings, 1410608 edges, 32855 markings/sec, 40 secs
lola: 1313374 markings, 1597121 edges, 29969 markings/sec, 45 secs
lola: 1462593 markings, 1784000 edges, 29844 markings/sec, 50 secs
lola: 1580433 markings, 1930959 edges, 23568 markings/sec, 55 secs
lola: 1706584 markings, 2087508 edges, 25230 markings/sec, 60 secs
lola: 1825997 markings, 2236683 edges, 23883 markings/sec, 65 secs
lola: 1939319 markings, 2377990 edges, 22664 markings/sec, 70 secs
lola: 2082226 markings, 2554721 edges, 28581 markings/sec, 75 secs
lola: 2238560 markings, 2750408 edges, 31267 markings/sec, 80 secs
lola: 2376056 markings, 2924509 edges, 27499 markings/sec, 85 secs
lola: 2494630 markings, 3074208 edges, 23715 markings/sec, 90 secs
lola: 2603583 markings, 3210431 edges, 21791 markings/sec, 95 secs
lola: 2720678 markings, 3357437 edges, 23419 markings/sec, 100 secs
lola: 2839636 markings, 3509855 edges, 23792 markings/sec, 105 secs
lola: 2955926 markings, 3656062 edges, 23258 markings/sec, 110 secs
lola: 3098613 markings, 3829588 edges, 28537 markings/sec, 115 secs
lola: 3265056 markings, 4037594 edges, 33289 markings/sec, 120 secs
lola: 3415620 markings, 4225920 edges, 30113 markings/sec, 125 secs
lola: 3539030 markings, 4382927 edges, 24682 markings/sec, 130 secs
lola: 3644918 markings, 4514673 edges, 21178 markings/sec, 135 secs
lola: 3748858 markings, 4644119 edges, 20788 markings/sec, 140 secs
lola: 3866135 markings, 4790950 edges, 23455 markings/sec, 145 secs
lola: 3983593 markings, 4940071 edges, 23492 markings/sec, 150 secs
lola: 4102435 markings, 5091109 edges, 23768 markings/sec, 155 secs
lola: 4223890 markings, 5241905 edges, 24291 markings/sec, 160 secs
lola: 4373456 markings, 5428390 edges, 29913 markings/sec, 165 secs
lola: 4524194 markings, 5615997 edges, 30148 markings/sec, 170 secs
lola: 4653397 markings, 5781855 edges, 25841 markings/sec, 175 secs
lola: 4761436 markings, 5919254 edges, 21608 markings/sec, 180 secs
lola: 4864783 markings, 6048346 edges, 20669 markings/sec, 185 secs
lola: 4971488 markings, 6181765 edges, 21341 markings/sec, 190 secs
lola: 5081347 markings, 6323509 edges, 21972 markings/sec, 195 secs
lola: 5218813 markings, 6498850 edges, 27493 markings/sec, 200 secs
lola: 5322254 markings, 6631940 edges, 20688 markings/sec, 205 secs
lola: 5442380 markings, 6783396 edges, 24025 markings/sec, 210 secs
lola: 5571552 markings, 6947774 edges, 25834 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(p1671)
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 11 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: 58800 markings, 159683 edges, 11760 markings/sec, 0 secs
lola: 114105 markings, 340773 edges, 11061 markings/sec, 5 secs
lola: 193124 markings, 514622 edges, 15804 markings/sec, 10 secs
lola: 298093 markings, 640966 edges, 20994 markings/sec, 15 secs
lola: 414921 markings, 782633 edges, 23366 markings/sec, 20 secs
lola: 525557 markings, 916106 edges, 22127 markings/sec, 25 secs
lola: 639588 markings, 1054394 edges, 22806 markings/sec, 30 secs
lola: 756913 markings, 1196849 edges, 23465 markings/sec, 35 secs
lola: 881784 markings, 1349326 edges, 24974 markings/sec, 40 secs
lola: 1003556 markings, 1498144 edges, 24354 markings/sec, 45 secs
lola: 1119963 markings, 1637380 edges, 23281 markings/sec, 50 secs
lola: 1241195 markings, 1784084 edges, 24246 markings/sec, 55 secs
lola: 1372423 markings, 1944143 edges, 26246 markings/sec, 60 secs
lola: 1478412 markings, 2073186 edges, 21198 markings/sec, 65 secs
lola: 1621066 markings, 2247428 edges, 28531 markings/sec, 70 secs
lola: 1747600 markings, 2402070 edges, 25307 markings/sec, 75 secs
lola: 1867018 markings, 2547561 edges, 23884 markings/sec, 80 secs
lola: 1995698 markings, 2704234 edges, 25736 markings/sec, 85 secs
lola: 2119976 markings, 2856357 edges, 24856 markings/sec, 90 secs
lola: 2238371 markings, 3000983 edges, 23679 markings/sec, 95 secs
lola: 2367151 markings, 3159007 edges, 25756 markings/sec, 100 secs
lola: 2477565 markings, 3293755 edges, 22083 markings/sec, 105 secs
lola: 2588249 markings, 3428384 edges, 22137 markings/sec, 110 secs
lola: 2696053 markings, 3560266 edges, 21561 markings/sec, 115 secs
lola: 2822498 markings, 3714367 edges, 25289 markings/sec, 120 secs
lola: 2941901 markings, 3859948 edges, 23881 markings/sec, 125 secs
lola: 3073414 markings, 4021596 edges, 26303 markings/sec, 130 secs
lola: 3196888 markings, 4172499 edges, 24695 markings/sec, 135 secs
lola: 3308800 markings, 4308762 edges, 22382 markings/sec, 140 secs
lola: 3431193 markings, 4458442 edges, 24479 markings/sec, 145 secs
lola: 3536970 markings, 4587972 edges, 21155 markings/sec, 150 secs
lola: 3663165 markings, 4742890 edges, 25239 markings/sec, 155 secs
lola: 3767883 markings, 4868932 edges, 20944 markings/sec, 160 secs
lola: 3872622 markings, 4995032 edges, 20948 markings/sec, 165 secs
lola: 4015514 markings, 5170644 edges, 28578 markings/sec, 170 secs
lola: 4149461 markings, 5335285 edges, 26789 markings/sec, 175 secs
lola: 4286108 markings, 5502833 edges, 27329 markings/sec, 180 secs
lola: 4423562 markings, 5671837 edges, 27491 markings/sec, 185 secs
lola: 4536401 markings, 5810034 edges, 22568 markings/sec, 190 secs
lola: 4657671 markings, 5958367 edges, 24254 markings/sec, 195 secs
lola: 4791593 markings, 6122639 edges, 26784 markings/sec, 200 secs
lola: 4910068 markings, 6267623 edges, 23695 markings/sec, 205 secs
lola: 5021789 markings, 6403166 edges, 22344 markings/sec, 210 secs
lola: 5155650 markings, 6567781 edges, 26772 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(p910)
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 11 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: 106614 markings, 128211 edges, 21323 markings/sec, 0 secs
lola: 211129 markings, 254402 edges, 20903 markings/sec, 5 secs
lola: 320382 markings, 386862 edges, 21851 markings/sec, 10 secs
lola: 438405 markings, 527482 edges, 23605 markings/sec, 15 secs
lola: 544547 markings, 656163 edges, 21228 markings/sec, 20 secs
lola: 642157 markings, 774070 edges, 19522 markings/sec, 25 secs
lola: 744881 markings, 898744 edges, 20545 markings/sec, 30 secs
lola: 856205 markings, 1033869 edges, 22265 markings/sec, 35 secs
lola: 975218 markings, 1179208 edges, 23803 markings/sec, 40 secs
lola: 1086292 markings, 1314756 edges, 22215 markings/sec, 45 secs
lola: 1211446 markings, 1467828 edges, 25031 markings/sec, 50 secs
lola: 1333871 markings, 1617370 edges, 24485 markings/sec, 55 secs
lola: 1444194 markings, 1751599 edges, 22065 markings/sec, 60 secs
lola: 1580406 markings, 1918031 edges, 27242 markings/sec, 65 secs
lola: 1708881 markings, 2078025 edges, 25695 markings/sec, 70 secs
lola: 1831473 markings, 2225463 edges, 24518 markings/sec, 75 secs
lola: 1952652 markings, 2371793 edges, 24236 markings/sec, 80 secs
lola: 2078433 markings, 2524112 edges, 25156 markings/sec, 85 secs
lola: 2243974 markings, 2731867 edges, 33108 markings/sec, 90 secs
lola: 2390859 markings, 2914935 edges, 29377 markings/sec, 95 secs
lola: 2531383 markings, 3089970 edges, 28105 markings/sec, 100 secs
lola: 2662456 markings, 3254948 edges, 26215 markings/sec, 105 secs
lola: 2820506 markings, 3453005 edges, 31610 markings/sec, 110 secs
lola: 2964859 markings, 3633539 edges, 28871 markings/sec, 115 secs
lola: 3103500 markings, 3806310 edges, 27728 markings/sec, 120 secs
lola: 3243920 markings, 3979405 edges, 28084 markings/sec, 125 secs
lola: 3419351 markings, 4198390 edges, 35086 markings/sec, 130 secs
lola: 3574897 markings, 4392907 edges, 31109 markings/sec, 135 secs
lola: 3690426 markings, 4538498 edges, 23106 markings/sec, 140 secs
lola: 3824323 markings, 4704314 edges, 26779 markings/sec, 145 secs
lola: 3939272 markings, 4846699 edges, 22990 markings/sec, 150 secs
lola: 4042078 markings, 4975395 edges, 20561 markings/sec, 155 secs
lola: 4152216 markings, 5112616 edges, 22028 markings/sec, 160 secs
lola: 4271356 markings, 5264520 edges, 23828 markings/sec, 165 secs
lola: 4409254 markings, 5438771 edges, 27580 markings/sec, 170 secs
lola: 4571623 markings, 5643666 edges, 32474 markings/sec, 175 secs
lola: 4722612 markings, 5833262 edges, 30198 markings/sec, 180 secs
lola: 4854623 markings, 6002312 edges, 26402 markings/sec, 185 secs
lola: 4961431 markings, 6133232 edges, 21362 markings/sec, 190 secs
lola: 5067339 markings, 6265659 edges, 21182 markings/sec, 195 secs
lola: 5165943 markings, 6388388 edges, 19721 markings/sec, 200 secs
lola: 5280447 markings, 6534961 edges, 22901 markings/sec, 205 secs
lola: 5395802 markings, 6682103 edges, 23071 markings/sec, 210 secs
lola: 5494915 markings, 6808758 edges, 19823 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(p756)
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 11 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: 96193 markings, 184227 edges, 19239 markings/sec, 0 secs
lola: 193433 markings, 386767 edges, 19448 markings/sec, 5 secs
lola: 285809 markings, 586756 edges, 18475 markings/sec, 10 secs
lola: 389536 markings, 804456 edges, 20745 markings/sec, 15 secs
lola: 516960 markings, 1027249 edges, 25485 markings/sec, 20 secs
lola: 652384 markings, 1283600 edges, 27085 markings/sec, 25 secs
lola: 774108 markings, 1516141 edges, 24345 markings/sec, 30 secs
lola: 880015 markings, 1734880 edges, 21181 markings/sec, 35 secs
lola: 1005493 markings, 1982645 edges, 25096 markings/sec, 40 secs
lola: 1116218 markings, 2219054 edges, 22145 markings/sec, 45 secs
lola: 1221837 markings, 2437347 edges, 21124 markings/sec, 50 secs
lola: 1347038 markings, 2675863 edges, 25040 markings/sec, 55 secs
lola: 1459989 markings, 2911025 edges, 22590 markings/sec, 60 secs
lola: 1566124 markings, 3147361 edges, 21227 markings/sec, 65 secs
lola: 1681889 markings, 3414369 edges, 23153 markings/sec, 70 secs
lola: 1807361 markings, 3707751 edges, 25094 markings/sec, 75 secs
lola: 1939587 markings, 4017777 edges, 26445 markings/sec, 80 secs
lola: 2093477 markings, 4324394 edges, 30778 markings/sec, 85 secs
lola: 2215170 markings, 4595479 edges, 24339 markings/sec, 90 secs
lola: 2333579 markings, 4870526 edges, 23682 markings/sec, 95 secs
lola: 2455764 markings, 5140171 edges, 24437 markings/sec, 100 secs
lola: 2569353 markings, 5379172 edges, 22718 markings/sec, 105 secs
lola: 2679166 markings, 5614129 edges, 21963 markings/sec, 110 secs
lola: 2811314 markings, 5924896 edges, 26430 markings/sec, 115 secs
lola: 2938355 markings, 6180919 edges, 25408 markings/sec, 120 secs
lola: 3052143 markings, 6403405 edges, 22758 markings/sec, 125 secs
lola: 3175182 markings, 6632252 edges, 24608 markings/sec, 130 secs
lola: 3300763 markings, 6861172 edges, 25116 markings/sec, 135 secs
lola: 3418331 markings, 7117557 edges, 23514 markings/sec, 140 secs
lola: 3531301 markings, 7376905 edges, 22594 markings/sec, 145 secs
lola: 3645488 markings, 7596982 edges, 22837 markings/sec, 150 secs
lola: 3759142 markings, 7826733 edges, 22731 markings/sec, 155 secs
lola: 3880155 markings, 8090243 edges, 24203 markings/sec, 160 secs
lola: 4005584 markings, 8328579 edges, 25086 markings/sec, 165 secs
lola: 4108318 markings, 8548431 edges, 20547 markings/sec, 170 secs
lola: 4239346 markings, 8792281 edges, 26206 markings/sec, 175 secs
lola: 4360495 markings, 9044686 edges, 24230 markings/sec, 180 secs
lola: 4483194 markings, 9310611 edges, 24540 markings/sec, 185 secs
lola: 4605202 markings, 9591522 edges, 24402 markings/sec, 190 secs
lola: 4723938 markings, 9865748 edges, 23747 markings/sec, 195 secs
lola: 4864280 markings, 10134980 edges, 28068 markings/sec, 200 secs
lola: 4980966 markings, 10394560 edges, 23337 markings/sec, 205 secs
lola: 5083553 markings, 10621355 edges, 20517 markings/sec, 210 secs
lola: 5212146 markings, 10880928 edges, 25719 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(p811)
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 11 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: 109310 markings, 204307 edges, 21862 markings/sec, 0 secs
lola: 213617 markings, 409747 edges, 20861 markings/sec, 5 secs
lola: 326074 markings, 631338 edges, 22491 markings/sec, 10 secs
lola: 449702 markings, 859686 edges, 24726 markings/sec, 15 secs
lola: 571266 markings, 1055555 edges, 24313 markings/sec, 20 secs
lola: 684863 markings, 1253860 edges, 22719 markings/sec, 25 secs
lola: 801124 markings, 1487099 edges, 23252 markings/sec, 30 secs
lola: 924086 markings, 1726376 edges, 24592 markings/sec, 35 secs
lola: 1048361 markings, 1966658 edges, 24855 markings/sec, 40 secs
lola: 1184482 markings, 2214412 edges, 27224 markings/sec, 45 secs
lola: 1307297 markings, 2444258 edges, 24563 markings/sec, 50 secs
lola: 1426866 markings, 2672475 edges, 23914 markings/sec, 55 secs
lola: 1542707 markings, 2910725 edges, 23168 markings/sec, 60 secs
lola: 1654853 markings, 3138546 edges, 22429 markings/sec, 65 secs
lola: 1780012 markings, 3400827 edges, 25032 markings/sec, 70 secs
lola: 1903752 markings, 3658688 edges, 24748 markings/sec, 75 secs
lola: 2034842 markings, 3941542 edges, 26218 markings/sec, 80 secs
lola: 2168161 markings, 4212156 edges, 26664 markings/sec, 85 secs
lola: 2302321 markings, 4424455 edges, 26832 markings/sec, 90 secs
lola: 2414839 markings, 4602703 edges, 22504 markings/sec, 95 secs
lola: 2554976 markings, 4858989 edges, 28027 markings/sec, 100 secs
lola: 2692207 markings, 5123045 edges, 27446 markings/sec, 105 secs
lola: 2820499 markings, 5353912 edges, 25658 markings/sec, 110 secs
lola: 2938561 markings, 5599684 edges, 23612 markings/sec, 115 secs
lola: 3074399 markings, 5848261 edges, 27168 markings/sec, 120 secs
lola: 3196192 markings, 6104328 edges, 24359 markings/sec, 125 secs
lola: 3338204 markings, 6330575 edges, 28402 markings/sec, 130 secs
lola: 3474937 markings, 6581669 edges, 27347 markings/sec, 135 secs
lola: 3602383 markings, 6841415 edges, 25489 markings/sec, 140 secs
lola: 3718815 markings, 7063682 edges, 23286 markings/sec, 145 secs
lola: 3842008 markings, 7307727 edges, 24639 markings/sec, 150 secs
lola: 3970336 markings, 7561826 edges, 25666 markings/sec, 155 secs
lola: 4107876 markings, 7816920 edges, 27508 markings/sec, 160 secs
lola: 4230057 markings, 8056684 edges, 24436 markings/sec, 165 secs
lola: 4360911 markings, 8317133 edges, 26171 markings/sec, 170 secs
lola: 4480318 markings, 8551705 edges, 23881 markings/sec, 175 secs
lola: 4603753 markings, 8778009 edges, 24687 markings/sec, 180 secs
lola: 4716984 markings, 9009158 edges, 22646 markings/sec, 185 secs
lola: 4841244 markings, 9262589 edges, 24852 markings/sec, 190 secs
lola: 4945067 markings, 9482903 edges, 20765 markings/sec, 195 secs
lola: 5074605 markings, 9764788 edges, 25908 markings/sec, 200 secs
lola: 5217736 markings, 10029159 edges, 28626 markings/sec, 205 secs
lola: 5396038 markings, 10299622 edges, 35660 markings/sec, 210 secs
lola: 5528993 markings, 10545300 edges, 26591 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(p879)
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 11 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: 115061 markings, 205695 edges, 23012 markings/sec, 0 secs
lola: 239434 markings, 424965 edges, 24875 markings/sec, 5 secs
lola: 369916 markings, 665867 edges, 26096 markings/sec, 10 secs
lola: 522684 markings, 925845 edges, 30554 markings/sec, 15 secs
lola: 666303 markings, 1144810 edges, 28724 markings/sec, 20 secs
lola: 809013 markings, 1368885 edges, 28542 markings/sec, 25 secs
lola: 955658 markings, 1592073 edges, 29329 markings/sec, 30 secs
lola: 1091836 markings, 1799608 edges, 27236 markings/sec, 35 secs
lola: 1224360 markings, 1986093 edges, 26505 markings/sec, 40 secs
lola: 1353256 markings, 2173723 edges, 25779 markings/sec, 45 secs
lola: 1482336 markings, 2357154 edges, 25816 markings/sec, 50 secs
lola: 1614494 markings, 2540912 edges, 26432 markings/sec, 55 secs
lola: 1742804 markings, 2720876 edges, 25662 markings/sec, 60 secs
lola: 1869572 markings, 2894210 edges, 25354 markings/sec, 65 secs
lola: 2000432 markings, 3084193 edges, 26172 markings/sec, 70 secs
lola: 2129592 markings, 3267412 edges, 25832 markings/sec, 75 secs
lola: 2260652 markings, 3441688 edges, 26212 markings/sec, 80 secs
lola: 2383547 markings, 3611794 edges, 24579 markings/sec, 85 secs
lola: 2499120 markings, 3766925 edges, 23115 markings/sec, 90 secs
lola: 2648313 markings, 3999453 edges, 29839 markings/sec, 95 secs
lola: 2770155 markings, 4151883 edges, 24368 markings/sec, 100 secs
lola: 2879276 markings, 4287131 edges, 21824 markings/sec, 105 secs
lola: 3005544 markings, 4451645 edges, 25254 markings/sec, 110 secs
lola: 3159238 markings, 4660624 edges, 30739 markings/sec, 115 secs
lola: 3313576 markings, 4853528 edges, 30868 markings/sec, 120 secs
lola: 3439322 markings, 5020942 edges, 25149 markings/sec, 125 secs
lola: 3586356 markings, 5211092 edges, 29407 markings/sec, 130 secs
lola: 3726294 markings, 5397827 edges, 27988 markings/sec, 135 secs
lola: 3849754 markings, 5568358 edges, 24692 markings/sec, 140 secs
lola: 3961611 markings, 5708006 edges, 22371 markings/sec, 145 secs
lola: 4068455 markings, 5842334 edges, 21369 markings/sec, 150 secs
lola: 4180316 markings, 5988360 edges, 22372 markings/sec, 155 secs
lola: 4301414 markings, 6169725 edges, 24220 markings/sec, 160 secs
lola: 4437624 markings, 6341092 edges, 27242 markings/sec, 165 secs
lola: 4558834 markings, 6493614 edges, 24242 markings/sec, 170 secs
lola: 4685597 markings, 6710692 edges, 25353 markings/sec, 175 secs
lola: 4809222 markings, 6882074 edges, 24725 markings/sec, 180 secs
lola: 4933897 markings, 7059618 edges, 24935 markings/sec, 185 secs
lola: 5072018 markings, 7270684 edges, 27624 markings/sec, 190 secs
lola: 5246907 markings, 7530750 edges, 34978 markings/sec, 195 secs
lola: 5406358 markings, 7730428 edges, 31890 markings/sec, 200 secs
lola: 5558536 markings, 7979332 edges, 30436 markings/sec, 205 secs
lola: 5725933 markings, 8245250 edges, 33479 markings/sec, 210 secs
lola: 5893425 markings, 8502950 edges, 33498 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(p2253)
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 11 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: 126392 markings, 174628 edges, 25278 markings/sec, 0 secs
lola: 245500 markings, 320429 edges, 23822 markings/sec, 5 secs
lola: 390954 markings, 510711 edges, 29091 markings/sec, 10 secs
lola: 535928 markings, 711749 edges, 28995 markings/sec, 15 secs
lola: 668046 markings, 876132 edges, 26424 markings/sec, 20 secs
lola: 827462 markings, 1085117 edges, 31883 markings/sec, 25 secs
lola: 954611 markings, 1253158 edges, 25430 markings/sec, 30 secs
lola: 1092820 markings, 1426632 edges, 27642 markings/sec, 35 secs
lola: 1230082 markings, 1602512 edges, 27452 markings/sec, 40 secs
lola: 1371649 markings, 1783396 edges, 28313 markings/sec, 45 secs
lola: 1525169 markings, 2002250 edges, 30704 markings/sec, 50 secs
lola: 1645312 markings, 2153848 edges, 24029 markings/sec, 55 secs
lola: 1787821 markings, 2344217 edges, 28502 markings/sec, 60 secs
lola: 1940468 markings, 2544361 edges, 30529 markings/sec, 65 secs
lola: 2067344 markings, 2698983 edges, 25375 markings/sec, 70 secs
lola: 2182680 markings, 2842544 edges, 23067 markings/sec, 75 secs
lola: 2309193 markings, 3017727 edges, 25303 markings/sec, 80 secs
lola: 2463123 markings, 3211800 edges, 30786 markings/sec, 85 secs
lola: 2644177 markings, 3446073 edges, 36211 markings/sec, 90 secs
lola: 2801461 markings, 3657665 edges, 31457 markings/sec, 95 secs
lola: 2983594 markings, 3910331 edges, 36427 markings/sec, 100 secs
lola: 3149547 markings, 4128321 edges, 33191 markings/sec, 105 secs
lola: 3329898 markings, 4363864 edges, 36070 markings/sec, 110 secs
lola: 3516289 markings, 4619399 edges, 37278 markings/sec, 115 secs
lola: 3724814 markings, 4895750 edges, 41705 markings/sec, 120 secs
lola: 3886993 markings, 5115260 edges, 32436 markings/sec, 125 secs
lola: 4029026 markings, 5319026 edges, 28407 markings/sec, 130 secs
lola: 4259566 markings, 5630303 edges, 46108 markings/sec, 135 secs
lola: 4413771 markings, 5848541 edges, 30841 markings/sec, 140 secs
lola: 4556760 markings, 6073767 edges, 28598 markings/sec, 145 secs
lola: 4702982 markings, 6264855 edges, 29244 markings/sec, 150 secs
lola: 4870544 markings, 6491743 edges, 33512 markings/sec, 155 secs
lola: 5049678 markings, 6737556 edges, 35827 markings/sec, 160 secs
lola: 5262190 markings, 7028485 edges, 42502 markings/sec, 165 secs
lola: 5453767 markings, 7299493 edges, 38315 markings/sec, 170 secs
lola: 5570383 markings, 7513063 edges, 23323 markings/sec, 175 secs
lola: 5712588 markings, 7728863 edges, 28441 markings/sec, 180 secs
lola: 5869371 markings, 7927420 edges, 31357 markings/sec, 185 secs
lola: 5999775 markings, 8088935 edges, 26081 markings/sec, 190 secs
lola: 6134112 markings, 8254608 edges, 26867 markings/sec, 195 secs
lola: 6259194 markings, 8409270 edges, 25016 markings/sec, 200 secs
lola: 6392897 markings, 8587410 edges, 26741 markings/sec, 205 secs
lola: 6520949 markings, 8747842 edges, 25610 markings/sec, 210 secs
lola: 6650073 markings, 8910524 edges, 25825 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(p823)
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 11 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: 96900 markings, 185921 edges, 19380 markings/sec, 0 secs
lola: 194807 markings, 369681 edges, 19581 markings/sec, 5 secs
lola: 297824 markings, 574001 edges, 20603 markings/sec, 10 secs
lola: 395882 markings, 769288 edges, 19612 markings/sec, 15 secs
lola: 477045 markings, 944543 edges, 16233 markings/sec, 20 secs
lola: 582493 markings, 1138249 edges, 21090 markings/sec, 25 secs
lola: 689626 markings, 1373114 edges, 21427 markings/sec, 30 secs
lola: 809465 markings, 1651849 edges, 23968 markings/sec, 35 secs
lola: 921694 markings, 1912160 edges, 22446 markings/sec, 40 secs
lola: 1030065 markings, 2162292 edges, 21674 markings/sec, 45 secs
lola: 1135727 markings, 2407278 edges, 21132 markings/sec, 50 secs
lola: 1240415 markings, 2652002 edges, 20938 markings/sec, 55 secs
lola: 1341187 markings, 2883027 edges, 20154 markings/sec, 60 secs
lola: 1451836 markings, 3137581 edges, 22130 markings/sec, 65 secs
lola: 1569383 markings, 3415083 edges, 23509 markings/sec, 70 secs
lola: 1683812 markings, 3685249 edges, 22886 markings/sec, 75 secs
lola: 1796616 markings, 3952669 edges, 22561 markings/sec, 80 secs
lola: 1905966 markings, 4212870 edges, 21870 markings/sec, 85 secs
lola: 2009832 markings, 4457111 edges, 20773 markings/sec, 90 secs
lola: 2110329 markings, 4692485 edges, 20099 markings/sec, 95 secs
lola: 2217878 markings, 4944204 edges, 21510 markings/sec, 100 secs
lola: 2327316 markings, 5199748 edges, 21888 markings/sec, 105 secs
lola: 2428237 markings, 5434385 edges, 20184 markings/sec, 110 secs
lola: 2537902 markings, 5691436 edges, 21933 markings/sec, 115 secs
lola: 2645045 markings, 5937701 edges, 21429 markings/sec, 120 secs
lola: 2753519 markings, 6192341 edges, 21695 markings/sec, 125 secs
lola: 2875052 markings, 6473003 edges, 24307 markings/sec, 130 secs
lola: 2985185 markings, 6729701 edges, 22027 markings/sec, 135 secs
lola: 3101022 markings, 7004318 edges, 23167 markings/sec, 140 secs
lola: 3215524 markings, 7276451 edges, 22900 markings/sec, 145 secs
lola: 3311361 markings, 7503498 edges, 19167 markings/sec, 150 secs
lola: 3412414 markings, 7742882 edges, 20211 markings/sec, 155 secs
lola: 3519474 markings, 7994460 edges, 21412 markings/sec, 160 secs
lola: 3617831 markings, 8228202 edges, 19671 markings/sec, 165 secs
lola: 3713739 markings, 8456268 edges, 19182 markings/sec, 170 secs
lola: 3808885 markings, 8681532 edges, 19029 markings/sec, 175 secs
lola: 3903190 markings, 8906346 edges, 18861 markings/sec, 180 secs
lola: 3998126 markings, 9132047 edges, 18987 markings/sec, 185 secs
lola: 4082896 markings, 9335321 edges, 16954 markings/sec, 190 secs
lola: 4181816 markings, 9569405 edges, 19784 markings/sec, 195 secs
lola: 4282889 markings, 9807947 edges, 20215 markings/sec, 200 secs
lola: 4379795 markings, 10041098 edges, 19381 markings/sec, 205 secs
lola: 4474335 markings, 10268216 edges, 18908 markings/sec, 210 secs
lola: 4602271 markings, 10546911 edges, 25587 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(p1690)
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 11 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: 58135 markings, 170040 edges, 11627 markings/sec, 0 secs
lola: 116937 markings, 325207 edges, 11760 markings/sec, 5 secs
lola: 173015 markings, 459482 edges, 11216 markings/sec, 10 secs
lola: 223613 markings, 624483 edges, 10120 markings/sec, 15 secs
lola: 269423 markings, 780887 edges, 9162 markings/sec, 20 secs
lola: 319215 markings, 948821 edges, 9958 markings/sec, 25 secs
lola: 366464 markings, 1109834 edges, 9450 markings/sec, 30 secs
lola: 416877 markings, 1279722 edges, 10083 markings/sec, 35 secs
lola: 467130 markings, 1439529 edges, 10051 markings/sec, 40 secs
lola: 577470 markings, 1572554 edges, 22068 markings/sec, 45 secs
lola: 684708 markings, 1702070 edges, 21448 markings/sec, 50 secs
lola: 776545 markings, 1812523 edges, 18367 markings/sec, 55 secs
lola: 890242 markings, 1951085 edges, 22739 markings/sec, 60 secs
lola: 997379 markings, 2081052 edges, 21427 markings/sec, 65 secs
lola: 1108993 markings, 2217346 edges, 22323 markings/sec, 70 secs
lola: 1213233 markings, 2344087 edges, 20848 markings/sec, 75 secs
lola: 1308702 markings, 2459785 edges, 19094 markings/sec, 80 secs
lola: 1419508 markings, 2595156 edges, 22161 markings/sec, 85 secs
lola: 1525015 markings, 2723709 edges, 21101 markings/sec, 90 secs
lola: 1653159 markings, 2880216 edges, 25629 markings/sec, 95 secs
lola: 1768254 markings, 3020993 edges, 23019 markings/sec, 100 secs
lola: 1888157 markings, 3168230 edges, 23981 markings/sec, 105 secs
lola: 1997643 markings, 3302521 edges, 21897 markings/sec, 110 secs
lola: 2113534 markings, 3443531 edges, 23178 markings/sec, 115 secs
lola: 2249306 markings, 3610337 edges, 27154 markings/sec, 120 secs
lola: 2401685 markings, 3797361 edges, 30476 markings/sec, 125 secs
lola: 2521681 markings, 3944336 edges, 23999 markings/sec, 130 secs
lola: 2661439 markings, 4116497 edges, 27952 markings/sec, 135 secs
lola: 2779072 markings, 4260051 edges, 23527 markings/sec, 140 secs
lola: 2911133 markings, 4422443 edges, 26412 markings/sec, 145 secs
lola: 3026087 markings, 4563117 edges, 22991 markings/sec, 150 secs
lola: 3157034 markings, 4723102 edges, 26189 markings/sec, 155 secs
lola: 3271105 markings, 4859945 edges, 22814 markings/sec, 160 secs
lola: 3373930 markings, 4984410 edges, 20565 markings/sec, 165 secs
lola: 3504129 markings, 5144210 edges, 26040 markings/sec, 170 secs
lola: 3642805 markings, 5314320 edges, 27735 markings/sec, 175 secs
lola: 3768931 markings, 5469395 edges, 25225 markings/sec, 180 secs
lola: 3895731 markings, 5625087 edges, 25360 markings/sec, 185 secs
lola: 4017686 markings, 5774518 edges, 24391 markings/sec, 190 secs
lola: 4132263 markings, 5915061 edges, 22915 markings/sec, 195 secs
lola: 4246790 markings, 6055000 edges, 22905 markings/sec, 200 secs
lola: 4381365 markings, 6219929 edges, 26915 markings/sec, 205 secs
lola: 4528037 markings, 6400567 edges, 29334 markings/sec, 210 secs
lola: 4662984 markings, 6566265 edges, 26989 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(p1004)
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 11 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: 109791 markings, 132364 edges, 21958 markings/sec, 0 secs
lola: 229543 markings, 276392 edges, 23950 markings/sec, 5 secs
lola: 348886 markings, 420441 edges, 23869 markings/sec, 10 secs
lola: 481346 markings, 581675 edges, 26492 markings/sec, 15 secs
lola: 605076 markings, 731802 edges, 24746 markings/sec, 20 secs
lola: 723884 markings, 874895 edges, 23762 markings/sec, 25 secs
lola: 853295 markings, 1032961 edges, 25882 markings/sec, 30 secs
lola: 981853 markings, 1189390 edges, 25712 markings/sec, 35 secs
lola: 1106140 markings, 1340730 edges, 24857 markings/sec, 40 secs
lola: 1227314 markings, 1489198 edges, 24235 markings/sec, 45 secs
lola: 1371780 markings, 1666149 edges, 28893 markings/sec, 50 secs
lola: 1508101 markings, 1833410 edges, 27264 markings/sec, 55 secs
lola: 1632163 markings, 1983330 edges, 24812 markings/sec, 60 secs
lola: 1753468 markings, 2130734 edges, 24261 markings/sec, 65 secs
lola: 1882841 markings, 2288303 edges, 25875 markings/sec, 70 secs
lola: 2008244 markings, 2442354 edges, 25081 markings/sec, 75 secs
lola: 2136215 markings, 2599550 edges, 25594 markings/sec, 80 secs
lola: 2262421 markings, 2753383 edges, 25241 markings/sec, 85 secs
lola: 2384510 markings, 2900717 edges, 24418 markings/sec, 90 secs
lola: 2510395 markings, 3052218 edges, 25177 markings/sec, 95 secs
lola: 2637741 markings, 3206363 edges, 25469 markings/sec, 100 secs
lola: 2753844 markings, 3347179 edges, 23221 markings/sec, 105 secs
lola: 2871427 markings, 3494189 edges, 23517 markings/sec, 110 secs
lola: 2981332 markings, 3631381 edges, 21981 markings/sec, 115 secs
lola: 3121915 markings, 3805883 edges, 28117 markings/sec, 120 secs
lola: 3283844 markings, 4008049 edges, 32386 markings/sec, 125 secs
lola: 3444739 markings, 4208128 edges, 32179 markings/sec, 130 secs
lola: 3554375 markings, 4345963 edges, 21927 markings/sec, 135 secs
lola: 3681117 markings, 4505470 edges, 25348 markings/sec, 140 secs
lola: 3794530 markings, 4643588 edges, 22683 markings/sec, 145 secs
lola: 3904965 markings, 4782247 edges, 22087 markings/sec, 150 secs
lola: 4006453 markings, 4908354 edges, 20298 markings/sec, 155 secs
lola: 4115176 markings, 5046328 edges, 21745 markings/sec, 160 secs
lola: 4259146 markings, 5226940 edges, 28794 markings/sec, 165 secs
lola: 4404810 markings, 5409368 edges, 29133 markings/sec, 170 secs
lola: 4523351 markings, 5560684 edges, 23708 markings/sec, 175 secs
lola: 4637273 markings, 5705250 edges, 22784 markings/sec, 180 secs
lola: 4758090 markings, 5856649 edges, 24163 markings/sec, 185 secs
lola: 4886581 markings, 6012565 edges, 25698 markings/sec, 190 secs
lola: 5001502 markings, 6156370 edges, 22984 markings/sec, 195 secs
lola: 5107826 markings, 6288870 edges, 21265 markings/sec, 200 secs
lola: 5222127 markings, 6432248 edges, 22860 markings/sec, 205 secs
lola: 5364935 markings, 6613263 edges, 28562 markings/sec, 210 secs
lola: 5536060 markings, 6826911 edges, 34225 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(p2557)
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 11 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: 115522 markings, 139202 edges, 23104 markings/sec, 0 secs
lola: 225354 markings, 271840 edges, 21966 markings/sec, 5 secs
lola: 336107 markings, 405752 edges, 22151 markings/sec, 10 secs
lola: 442507 markings, 533575 edges, 21280 markings/sec, 15 secs
lola: 546890 markings, 658374 edges, 20877 markings/sec, 20 secs
lola: 643236 markings, 773192 edges, 19269 markings/sec, 25 secs
lola: 743953 markings, 894629 edges, 20143 markings/sec, 30 secs
lola: 848598 markings, 1021418 edges, 20929 markings/sec, 35 secs
lola: 960902 markings, 1157619 edges, 22461 markings/sec, 40 secs
lola: 1078274 markings, 1300411 edges, 23474 markings/sec, 45 secs
lola: 1193103 markings, 1439582 edges, 22966 markings/sec, 50 secs
lola: 1316311 markings, 1589636 edges, 24642 markings/sec, 55 secs
lola: 1430745 markings, 1729004 edges, 22887 markings/sec, 60 secs
lola: 1539792 markings, 1860952 edges, 21809 markings/sec, 65 secs
lola: 1649449 markings, 1993425 edges, 21931 markings/sec, 70 secs
lola: 1764863 markings, 2133694 edges, 23083 markings/sec, 75 secs
lola: 1892729 markings, 2290258 edges, 25573 markings/sec, 80 secs
lola: 2012503 markings, 2436507 edges, 23955 markings/sec, 85 secs
lola: 2110447 markings, 2553638 edges, 19589 markings/sec, 90 secs
lola: 2210437 markings, 2673686 edges, 19998 markings/sec, 95 secs
lola: 2311909 markings, 2796274 edges, 20294 markings/sec, 100 secs
lola: 2438292 markings, 2950658 edges, 25277 markings/sec, 105 secs
lola: 2572925 markings, 3112541 edges, 26927 markings/sec, 110 secs
lola: 2735834 markings, 3314754 edges, 32582 markings/sec, 115 secs
lola: 2883213 markings, 3496299 edges, 29476 markings/sec, 120 secs
lola: 3003923 markings, 3642230 edges, 24142 markings/sec, 125 secs
lola: 3122205 markings, 3786228 edges, 23656 markings/sec, 130 secs
lola: 3238808 markings, 3932244 edges, 23321 markings/sec, 135 secs
lola: 3358722 markings, 4080572 edges, 23983 markings/sec, 140 secs
lola: 3474847 markings, 4225811 edges, 23225 markings/sec, 145 secs
lola: 3592524 markings, 4374550 edges, 23535 markings/sec, 150 secs
lola: 3729414 markings, 4543641 edges, 27378 markings/sec, 155 secs
lola: 3886565 markings, 4740161 edges, 31430 markings/sec, 160 secs
lola: 4024558 markings, 4913692 edges, 27599 markings/sec, 165 secs
lola: 4143535 markings, 5062787 edges, 23795 markings/sec, 170 secs
lola: 4279760 markings, 5235671 edges, 27245 markings/sec, 175 secs
lola: 4407611 markings, 5395785 edges, 25570 markings/sec, 180 secs
lola: 4524722 markings, 5545331 edges, 23422 markings/sec, 185 secs
lola: 4647524 markings, 5699236 edges, 24560 markings/sec, 190 secs
lola: 4798256 markings, 5884658 edges, 30146 markings/sec, 195 secs
lola: 4967356 markings, 6095857 edges, 33820 markings/sec, 200 secs
lola: 5112860 markings, 6280822 edges, 29101 markings/sec, 205 secs
lola: 5247211 markings, 6446561 edges, 26870 markings/sec, 210 secs
lola: 5372509 markings, 6602606 edges, 25060 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(p1329)
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 11 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: 137013 markings, 165639 edges, 27403 markings/sec, 0 secs
lola: 291856 markings, 354322 edges, 30969 markings/sec, 5 secs
lola: 440071 markings, 534976 edges, 29643 markings/sec, 10 secs
lola: 602769 markings, 734353 edges, 32540 markings/sec, 15 secs
lola: 758698 markings, 924897 edges, 31186 markings/sec, 20 secs
lola: 910031 markings, 1109860 edges, 30267 markings/sec, 25 secs
lola: 1060038 markings, 1293605 edges, 30001 markings/sec, 30 secs
lola: 1210261 markings, 1476946 edges, 30045 markings/sec, 35 secs
lola: 1363773 markings, 1664750 edges, 30702 markings/sec, 40 secs
lola: 1522261 markings, 1859452 edges, 31698 markings/sec, 45 secs
lola: 1681831 markings, 2054794 edges, 31914 markings/sec, 50 secs
lola: 1835668 markings, 2243860 edges, 30767 markings/sec, 55 secs
lola: 1976186 markings, 2415821 edges, 28104 markings/sec, 60 secs
lola: 2123555 markings, 2596347 edges, 29474 markings/sec, 65 secs
lola: 2271035 markings, 2776747 edges, 29496 markings/sec, 70 secs
lola: 2428620 markings, 2969596 edges, 31517 markings/sec, 75 secs
lola: 2590055 markings, 3167468 edges, 32287 markings/sec, 80 secs
lola: 2750757 markings, 3364598 edges, 32140 markings/sec, 85 secs
lola: 2907428 markings, 3556628 edges, 31334 markings/sec, 90 secs
lola: 3069344 markings, 3756257 edges, 32383 markings/sec, 95 secs
lola: 3223875 markings, 3944419 edges, 30906 markings/sec, 100 secs
lola: 3381514 markings, 4138154 edges, 31528 markings/sec, 105 secs
lola: 3535874 markings, 4327911 edges, 30872 markings/sec, 110 secs
lola: 3698279 markings, 4528021 edges, 32481 markings/sec, 115 secs
lola: 3856316 markings, 4722380 edges, 31607 markings/sec, 120 secs
lola: 4008926 markings, 4909330 edges, 30522 markings/sec, 125 secs
lola: 4164026 markings, 5098291 edges, 31020 markings/sec, 130 secs
lola: 4321247 markings, 5291316 edges, 31444 markings/sec, 135 secs
lola: 4476814 markings, 5482335 edges, 31113 markings/sec, 140 secs
lola: 4635088 markings, 5677250 edges, 31655 markings/sec, 145 secs
lola: 4798061 markings, 5877746 edges, 32595 markings/sec, 150 secs
lola: 4954486 markings, 6069705 edges, 31285 markings/sec, 155 secs
lola: 5103216 markings, 6253124 edges, 29746 markings/sec, 160 secs
lola: 5245837 markings, 6428890 edges, 28524 markings/sec, 165 secs
lola: 5396667 markings, 6613566 edges, 30166 markings/sec, 170 secs
lola: 5544349 markings, 6795866 edges, 29536 markings/sec, 175 secs
lola: 5687559 markings, 6971544 edges, 28642 markings/sec, 180 secs
lola: 5828356 markings, 7145861 edges, 28159 markings/sec, 185 secs
lola: 5979677 markings, 7331824 edges, 30264 markings/sec, 190 secs
lola: 6123172 markings, 7508185 edges, 28699 markings/sec, 195 secs
lola: 6255594 markings, 7670761 edges, 26484 markings/sec, 200 secs
lola: 6402692 markings, 7851659 edges, 29420 markings/sec, 205 secs
lola: 6560002 markings, 8045010 edges, 31462 markings/sec, 210 secs
lola: 6716753 markings, 8236927 edges, 31350 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(p2249)
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 11 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: 120638 markings, 163778 edges, 24128 markings/sec, 0 secs
lola: 232485 markings, 298890 edges, 22369 markings/sec, 5 secs
lola: 352687 markings, 453117 edges, 24040 markings/sec, 10 secs
lola: 490592 markings, 649111 edges, 27581 markings/sec, 15 secs
lola: 622356 markings, 842611 edges, 26353 markings/sec, 20 secs
lola: 726413 markings, 974976 edges, 20811 markings/sec, 25 secs
lola: 833977 markings, 1105212 edges, 21513 markings/sec, 30 secs
lola: 943035 markings, 1238740 edges, 21812 markings/sec, 35 secs
lola: 1053012 markings, 1373579 edges, 21995 markings/sec, 40 secs
lola: 1165645 markings, 1513297 edges, 22527 markings/sec, 45 secs
lola: 1293110 markings, 1670996 edges, 25493 markings/sec, 50 secs
lola: 1425088 markings, 1833370 edges, 26396 markings/sec, 55 secs
lola: 1551496 markings, 1995644 edges, 25282 markings/sec, 60 secs
lola: 1678512 markings, 2154630 edges, 25403 markings/sec, 65 secs
lola: 1814327 markings, 2323274 edges, 27163 markings/sec, 70 secs
lola: 1933362 markings, 2468482 edges, 23807 markings/sec, 75 secs
lola: 2063280 markings, 2632098 edges, 25984 markings/sec, 80 secs
lola: 2181156 markings, 2778582 edges, 23575 markings/sec, 85 secs
lola: 2314355 markings, 2962282 edges, 26640 markings/sec, 90 secs
lola: 2434369 markings, 3114619 edges, 24003 markings/sec, 95 secs
lola: 2555143 markings, 3268022 edges, 24155 markings/sec, 100 secs
lola: 2686096 markings, 3440379 edges, 26191 markings/sec, 105 secs
lola: 2816117 markings, 3605180 edges, 26004 markings/sec, 110 secs
lola: 2947201 markings, 3771094 edges, 26217 markings/sec, 115 secs
lola: 3089006 markings, 3953265 edges, 28361 markings/sec, 120 secs
lola: 3220718 markings, 4136582 edges, 26342 markings/sec, 125 secs
lola: 3359873 markings, 4319090 edges, 27831 markings/sec, 130 secs
lola: 3496558 markings, 4510409 edges, 27337 markings/sec, 135 secs
lola: 3626738 markings, 4679848 edges, 26036 markings/sec, 140 secs
lola: 3748385 markings, 4851375 edges, 24329 markings/sec, 145 secs
lola: 3889789 markings, 5046870 edges, 28281 markings/sec, 150 secs
lola: 4014619 markings, 5214359 edges, 24966 markings/sec, 155 secs
lola: 4126824 markings, 5360331 edges, 22441 markings/sec, 160 secs
lola: 4243753 markings, 5505058 edges, 23386 markings/sec, 165 secs
lola: 4361239 markings, 5669901 edges, 23497 markings/sec, 170 secs
lola: 4473778 markings, 5813248 edges, 22508 markings/sec, 175 secs
lola: 4587449 markings, 5964811 edges, 22734 markings/sec, 180 secs
lola: 4690794 markings, 6105954 edges, 20669 markings/sec, 185 secs
lola: 4802889 markings, 6244183 edges, 22419 markings/sec, 190 secs
lola: 4910592 markings, 6381696 edges, 21541 markings/sec, 195 secs
lola: 5050518 markings, 6601790 edges, 27985 markings/sec, 200 secs
lola: 5186954 markings, 6777529 edges, 27287 markings/sec, 205 secs
lola: 5352698 markings, 6997044 edges, 33149 markings/sec, 210 secs
lola: 5514734 markings, 7223084 edges, 32407 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-312-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-312-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496535813336
--------------------
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-312"
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-312.tgz
mv CloudReconfiguration-PT-312 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-312, 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-149580961300101"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;