About the Execution of LoLA for CloudReconfiguration-PT-401
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1606.590 | 3540014.00 | 3550905.00 | 232.50 | ? ? ? ? ? ? 1 ? ? ? ? ? ? ? ? ? | 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-401, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961500182
=====================================================================
--------------------
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-401-UpperBounds-0
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-1
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-15
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-2
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-3
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-4
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-5
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-6
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-7
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-8
FORMULA_NAME CloudReconfiguration-PT-401-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496535109448
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
CloudReconfiguration-PT-401: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-401: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-401 @ 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: 7817/65536 symbol table entries, 1515 collisions
lola: preprocessing...
lola: finding significant places
lola: 3554 places, 4263 transitions, 3549 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3718 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-401-UpperBounds.task
lola: MAX(p2163) : MAX(p1772) : MAX(p731) : MAX(p3211) : MAX(p2135) : MAX(p3091) : MAX(p1076) : MAX(p2522) : MAX(p1980) : MAX(p268) : MAX(p2005) : MAX(p223) : MAX(p546) : MAX(p63) : MAX(p0) : MAX(p2187)
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(p2163)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 91557 markings, 108920 edges, 18311 markings/sec, 0 secs
lola: 185398 markings, 221416 edges, 18768 markings/sec, 5 secs
lola: 282254 markings, 338328 edges, 19371 markings/sec, 10 secs
lola: 377426 markings, 453011 edges, 19034 markings/sec, 15 secs
lola: 468962 markings, 562987 edges, 18307 markings/sec, 20 secs
lola: 562654 markings, 676254 edges, 18738 markings/sec, 25 secs
lola: 663095 markings, 797831 edges, 20088 markings/sec, 30 secs
lola: 762150 markings, 916375 edges, 19811 markings/sec, 35 secs
lola: 867388 markings, 1044688 edges, 21048 markings/sec, 40 secs
lola: 977507 markings, 1179637 edges, 22024 markings/sec, 45 secs
lola: 1090843 markings, 1318502 edges, 22667 markings/sec, 50 secs
lola: 1200940 markings, 1455232 edges, 22019 markings/sec, 55 secs
lola: 1297709 markings, 1574647 edges, 19354 markings/sec, 60 secs
lola: 1394963 markings, 1693692 edges, 19451 markings/sec, 65 secs
lola: 1482812 markings, 1801442 edges, 17570 markings/sec, 70 secs
lola: 1563156 markings, 1900301 edges, 16069 markings/sec, 75 secs
lola: 1644970 markings, 2000670 edges, 16363 markings/sec, 80 secs
lola: 1730199 markings, 2105688 edges, 17046 markings/sec, 85 secs
lola: 1820680 markings, 2216408 edges, 18096 markings/sec, 90 secs
lola: 1902286 markings, 2315776 edges, 16321 markings/sec, 95 secs
lola: 1982107 markings, 2414604 edges, 15964 markings/sec, 100 secs
lola: 2080451 markings, 2534161 edges, 19669 markings/sec, 105 secs
lola: 2184580 markings, 2661174 edges, 20826 markings/sec, 110 secs
lola: 2292660 markings, 2794692 edges, 21616 markings/sec, 115 secs
lola: 2398445 markings, 2926764 edges, 21157 markings/sec, 120 secs
lola: 2496261 markings, 3046533 edges, 19563 markings/sec, 125 secs
lola: 2595159 markings, 3169204 edges, 19780 markings/sec, 130 secs
lola: 2696960 markings, 3293533 edges, 20360 markings/sec, 135 secs
lola: 2797183 markings, 3417162 edges, 20045 markings/sec, 140 secs
lola: 2894467 markings, 3536423 edges, 19457 markings/sec, 145 secs
lola: 2990101 markings, 3653910 edges, 19127 markings/sec, 150 secs
lola: 3086509 markings, 3775306 edges, 19282 markings/sec, 155 secs
lola: 3166619 markings, 3874010 edges, 16022 markings/sec, 160 secs
lola: 3254975 markings, 3982148 edges, 17671 markings/sec, 165 secs
lola: 3347383 markings, 4094650 edges, 18482 markings/sec, 170 secs
lola: 3460666 markings, 4232791 edges, 22657 markings/sec, 175 secs
lola: 3573870 markings, 4372393 edges, 22641 markings/sec, 180 secs
lola: 3685491 markings, 4510574 edges, 22324 markings/sec, 185 secs
lola: 3784234 markings, 4633599 edges, 19749 markings/sec, 190 secs
lola: 3882835 markings, 4756705 edges, 19720 markings/sec, 195 secs
lola: 3976665 markings, 4871671 edges, 18766 markings/sec, 200 secs
lola: 4068048 markings, 4984976 edges, 18277 markings/sec, 205 secs
lola: 4160507 markings, 5096500 edges, 18492 markings/sec, 210 secs
lola: 4249021 markings, 5205084 edges, 17703 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(p1772)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 98700 markings, 145157 edges, 19740 markings/sec, 0 secs
lola: 210655 markings, 321061 edges, 22391 markings/sec, 5 secs
lola: 310196 markings, 499895 edges, 19908 markings/sec, 10 secs
lola: 404490 markings, 631033 edges, 18859 markings/sec, 15 secs
lola: 496959 markings, 744310 edges, 18494 markings/sec, 20 secs
lola: 595353 markings, 888278 edges, 19679 markings/sec, 25 secs
lola: 693041 markings, 1028987 edges, 19538 markings/sec, 30 secs
lola: 789201 markings, 1169280 edges, 19232 markings/sec, 35 secs
lola: 882532 markings, 1297143 edges, 18666 markings/sec, 40 secs
lola: 980385 markings, 1436157 edges, 19571 markings/sec, 45 secs
lola: 1079110 markings, 1575583 edges, 19745 markings/sec, 50 secs
lola: 1172940 markings, 1708871 edges, 18766 markings/sec, 55 secs
lola: 1279236 markings, 1855373 edges, 21259 markings/sec, 60 secs
lola: 1379298 markings, 2023258 edges, 20012 markings/sec, 65 secs
lola: 1476495 markings, 2165674 edges, 19439 markings/sec, 70 secs
lola: 1578647 markings, 2291365 edges, 20430 markings/sec, 75 secs
lola: 1679550 markings, 2415960 edges, 20181 markings/sec, 80 secs
lola: 1777728 markings, 2554157 edges, 19636 markings/sec, 85 secs
lola: 1879262 markings, 2693815 edges, 20307 markings/sec, 90 secs
lola: 1978108 markings, 2829444 edges, 19769 markings/sec, 95 secs
lola: 2072096 markings, 2977902 edges, 18798 markings/sec, 100 secs
lola: 2164933 markings, 3147410 edges, 18567 markings/sec, 105 secs
lola: 2251925 markings, 3256694 edges, 17398 markings/sec, 110 secs
lola: 2354604 markings, 3383291 edges, 20536 markings/sec, 115 secs
lola: 2453510 markings, 3506347 edges, 19781 markings/sec, 120 secs
lola: 2548852 markings, 3623766 edges, 19068 markings/sec, 125 secs
lola: 2646962 markings, 3743804 edges, 19622 markings/sec, 130 secs
lola: 2741239 markings, 3873747 edges, 18855 markings/sec, 135 secs
lola: 2853137 markings, 4026190 edges, 22380 markings/sec, 140 secs
lola: 2965421 markings, 4216019 edges, 22457 markings/sec, 145 secs
lola: 3071777 markings, 4408297 edges, 21271 markings/sec, 150 secs
lola: 3175465 markings, 4537293 edges, 20738 markings/sec, 155 secs
lola: 3285679 markings, 4673957 edges, 22043 markings/sec, 160 secs
lola: 3391844 markings, 4804070 edges, 21233 markings/sec, 165 secs
lola: 3494750 markings, 4931350 edges, 20581 markings/sec, 170 secs
lola: 3598347 markings, 5084751 edges, 20719 markings/sec, 175 secs
lola: 3701993 markings, 5216183 edges, 20729 markings/sec, 180 secs
lola: 3805074 markings, 5353525 edges, 20616 markings/sec, 185 secs
lola: 3879638 markings, 5448953 edges, 14913 markings/sec, 190 secs
lola: 3972547 markings, 5605901 edges, 18582 markings/sec, 195 secs
lola: 4070105 markings, 5739044 edges, 19512 markings/sec, 200 secs
lola: 4177683 markings, 5871524 edges, 21516 markings/sec, 205 secs
lola: 4276764 markings, 5993626 edges, 19816 markings/sec, 210 secs
lola: 4374622 markings, 6113992 edges, 19572 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(p731)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 109379 markings, 130928 edges, 21876 markings/sec, 0 secs
lola: 220256 markings, 265357 edges, 22175 markings/sec, 5 secs
lola: 322585 markings, 390140 edges, 20466 markings/sec, 10 secs
lola: 418839 markings, 505502 edges, 19251 markings/sec, 15 secs
lola: 516978 markings, 625935 edges, 19628 markings/sec, 20 secs
lola: 616110 markings, 747685 edges, 19826 markings/sec, 25 secs
lola: 708329 markings, 860151 edges, 18444 markings/sec, 30 secs
lola: 795768 markings, 967151 edges, 17488 markings/sec, 35 secs
lola: 896051 markings, 1089686 edges, 20057 markings/sec, 40 secs
lola: 994828 markings, 1209613 edges, 19755 markings/sec, 45 secs
lola: 1093052 markings, 1329701 edges, 19645 markings/sec, 50 secs
lola: 1184516 markings, 1439692 edges, 18293 markings/sec, 55 secs
lola: 1287911 markings, 1566484 edges, 20679 markings/sec, 60 secs
lola: 1378361 markings, 1677416 edges, 18090 markings/sec, 65 secs
lola: 1464735 markings, 1783190 edges, 17275 markings/sec, 70 secs
lola: 1546897 markings, 1884076 edges, 16432 markings/sec, 75 secs
lola: 1635479 markings, 1993903 edges, 17716 markings/sec, 80 secs
lola: 1735221 markings, 2117475 edges, 19948 markings/sec, 85 secs
lola: 1836437 markings, 2241429 edges, 20243 markings/sec, 90 secs
lola: 1937544 markings, 2365257 edges, 20221 markings/sec, 95 secs
lola: 2023185 markings, 2472145 edges, 17128 markings/sec, 100 secs
lola: 2127973 markings, 2600496 edges, 20958 markings/sec, 105 secs
lola: 2215034 markings, 2707183 edges, 17412 markings/sec, 110 secs
lola: 2296287 markings, 2806625 edges, 16251 markings/sec, 115 secs
lola: 2377699 markings, 2908283 edges, 16282 markings/sec, 120 secs
lola: 2466458 markings, 3016965 edges, 17752 markings/sec, 125 secs
lola: 2564232 markings, 3136858 edges, 19555 markings/sec, 130 secs
lola: 2659636 markings, 3253429 edges, 19081 markings/sec, 135 secs
lola: 2749045 markings, 3362354 edges, 17882 markings/sec, 140 secs
lola: 2835960 markings, 3466889 edges, 17383 markings/sec, 145 secs
lola: 2935594 markings, 3589061 edges, 19927 markings/sec, 150 secs
lola: 3020955 markings, 3691879 edges, 17072 markings/sec, 155 secs
lola: 3105696 markings, 3793662 edges, 16948 markings/sec, 160 secs
lola: 3206113 markings, 3916778 edges, 20083 markings/sec, 165 secs
lola: 3300309 markings, 4031874 edges, 18839 markings/sec, 170 secs
lola: 3390561 markings, 4142180 edges, 18050 markings/sec, 175 secs
lola: 3478416 markings, 4247712 edges, 17571 markings/sec, 180 secs
lola: 3577459 markings, 4369141 edges, 19809 markings/sec, 185 secs
lola: 3664251 markings, 4476311 edges, 17358 markings/sec, 190 secs
lola: 3750788 markings, 4583265 edges, 17307 markings/sec, 195 secs
lola: 3835115 markings, 4689188 edges, 16865 markings/sec, 200 secs
lola: 3928891 markings, 4804948 edges, 18755 markings/sec, 205 secs
lola: 4020906 markings, 4917380 edges, 18403 markings/sec, 210 secs
lola: 4121856 markings, 5041175 edges, 20190 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(p3211)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 103055 markings, 126358 edges, 20611 markings/sec, 0 secs
lola: 212914 markings, 260601 edges, 21972 markings/sec, 5 secs
lola: 316476 markings, 388894 edges, 20712 markings/sec, 10 secs
lola: 412361 markings, 505859 edges, 19177 markings/sec, 15 secs
lola: 509700 markings, 626101 edges, 19468 markings/sec, 20 secs
lola: 602356 markings, 740021 edges, 18531 markings/sec, 25 secs
lola: 690457 markings, 847342 edges, 17620 markings/sec, 30 secs
lola: 778719 markings, 954775 edges, 17652 markings/sec, 35 secs
lola: 873501 markings, 1071806 edges, 18956 markings/sec, 40 secs
lola: 960707 markings, 1178179 edges, 17441 markings/sec, 45 secs
lola: 1051729 markings, 1292382 edges, 18204 markings/sec, 50 secs
lola: 1139436 markings, 1399620 edges, 17541 markings/sec, 55 secs
lola: 1223809 markings, 1504020 edges, 16875 markings/sec, 60 secs
lola: 1302104 markings, 1599874 edges, 15659 markings/sec, 65 secs
lola: 1382676 markings, 1698262 edges, 16114 markings/sec, 70 secs
lola: 1465214 markings, 1800607 edges, 16508 markings/sec, 75 secs
lola: 1562127 markings, 1918951 edges, 19383 markings/sec, 80 secs
lola: 1655978 markings, 2033841 edges, 18770 markings/sec, 85 secs
lola: 1758453 markings, 2160905 edges, 20495 markings/sec, 90 secs
lola: 1855105 markings, 2280508 edges, 19330 markings/sec, 95 secs
lola: 1948314 markings, 2394712 edges, 18642 markings/sec, 100 secs
lola: 2044130 markings, 2512073 edges, 19163 markings/sec, 105 secs
lola: 2132033 markings, 2621581 edges, 17581 markings/sec, 110 secs
lola: 2214894 markings, 2723896 edges, 16572 markings/sec, 115 secs
lola: 2302571 markings, 2830545 edges, 17535 markings/sec, 120 secs
lola: 2397838 markings, 2947440 edges, 19053 markings/sec, 125 secs
lola: 2495126 markings, 3066977 edges, 19458 markings/sec, 130 secs
lola: 2605185 markings, 3203426 edges, 22012 markings/sec, 135 secs
lola: 2712057 markings, 3334571 edges, 21374 markings/sec, 140 secs
lola: 2819656 markings, 3467484 edges, 21520 markings/sec, 145 secs
lola: 2916581 markings, 3587380 edges, 19385 markings/sec, 150 secs
lola: 3014036 markings, 3708749 edges, 19491 markings/sec, 155 secs
lola: 3104223 markings, 3821819 edges, 18037 markings/sec, 160 secs
lola: 3193438 markings, 3932521 edges, 17843 markings/sec, 165 secs
lola: 3277967 markings, 4035965 edges, 16906 markings/sec, 170 secs
lola: 3360393 markings, 4137676 edges, 16485 markings/sec, 175 secs
lola: 3439103 markings, 4234168 edges, 15742 markings/sec, 180 secs
lola: 3520011 markings, 4333264 edges, 16182 markings/sec, 185 secs
lola: 3602931 markings, 4435515 edges, 16584 markings/sec, 190 secs
lola: 3685469 markings, 4539279 edges, 16508 markings/sec, 195 secs
lola: 3762372 markings, 4634342 edges, 15381 markings/sec, 200 secs
lola: 3852412 markings, 4744171 edges, 18008 markings/sec, 205 secs
lola: 3936252 markings, 4846860 edges, 16768 markings/sec, 210 secs
lola: 4040196 markings, 4974670 edges, 20789 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(p2135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 92841 markings, 110370 edges, 18568 markings/sec, 0 secs
lola: 187833 markings, 224430 edges, 18998 markings/sec, 5 secs
lola: 287118 markings, 344435 edges, 19857 markings/sec, 10 secs
lola: 380024 markings, 457410 edges, 18581 markings/sec, 15 secs
lola: 469871 markings, 566132 edges, 17969 markings/sec, 20 secs
lola: 562381 markings, 678606 edges, 18502 markings/sec, 25 secs
lola: 657534 markings, 794186 edges, 19031 markings/sec, 30 secs
lola: 752261 markings, 909649 edges, 18945 markings/sec, 35 secs
lola: 848597 markings, 1026824 edges, 19267 markings/sec, 40 secs
lola: 936218 markings, 1132890 edges, 17524 markings/sec, 45 secs
lola: 1023128 markings, 1238271 edges, 17382 markings/sec, 50 secs
lola: 1110444 markings, 1345133 edges, 17463 markings/sec, 55 secs
lola: 1193745 markings, 1448136 edges, 16660 markings/sec, 60 secs
lola: 1275142 markings, 1547891 edges, 16279 markings/sec, 65 secs
lola: 1358564 markings, 1650027 edges, 16684 markings/sec, 70 secs
lola: 1446013 markings, 1756649 edges, 17490 markings/sec, 75 secs
lola: 1537059 markings, 1866429 edges, 18209 markings/sec, 80 secs
lola: 1630611 markings, 1980221 edges, 18710 markings/sec, 85 secs
lola: 1726681 markings, 2099058 edges, 19214 markings/sec, 90 secs
lola: 1820927 markings, 2214601 edges, 18849 markings/sec, 95 secs
lola: 1917841 markings, 2333412 edges, 19383 markings/sec, 100 secs
lola: 2009023 markings, 2444556 edges, 18236 markings/sec, 105 secs
lola: 2091588 markings, 2545456 edges, 16513 markings/sec, 110 secs
lola: 2184663 markings, 2658728 edges, 18615 markings/sec, 115 secs
lola: 2288709 markings, 2786455 edges, 20809 markings/sec, 120 secs
lola: 2396386 markings, 2918893 edges, 21535 markings/sec, 125 secs
lola: 2498836 markings, 3045185 edges, 20490 markings/sec, 130 secs
lola: 2591678 markings, 3160846 edges, 18568 markings/sec, 135 secs
lola: 2680342 markings, 3271741 edges, 17733 markings/sec, 140 secs
lola: 2772808 markings, 3385747 edges, 18493 markings/sec, 145 secs
lola: 2859472 markings, 3493642 edges, 17333 markings/sec, 150 secs
lola: 2943835 markings, 3595099 edges, 16873 markings/sec, 155 secs
lola: 3031245 markings, 3701529 edges, 17482 markings/sec, 160 secs
lola: 3114330 markings, 3804165 edges, 16617 markings/sec, 165 secs
lola: 3192799 markings, 3899956 edges, 15694 markings/sec, 170 secs
lola: 3272522 markings, 3997591 edges, 15945 markings/sec, 175 secs
lola: 3357241 markings, 4102336 edges, 16944 markings/sec, 180 secs
lola: 3442601 markings, 4207730 edges, 17072 markings/sec, 185 secs
lola: 3539901 markings, 4328004 edges, 19460 markings/sec, 190 secs
lola: 3636907 markings, 4447085 edges, 19401 markings/sec, 195 secs
lola: 3742365 markings, 4577153 edges, 21092 markings/sec, 200 secs
lola: 3841699 markings, 4700707 edges, 19867 markings/sec, 205 secs
lola: 3929236 markings, 4810913 edges, 17507 markings/sec, 210 secs
lola: 4017259 markings, 4919917 edges, 17605 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(p3091)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 117838 markings, 157870 edges, 23568 markings/sec, 0 secs
lola: 229710 markings, 322508 edges, 22374 markings/sec, 5 secs
lola: 350816 markings, 476304 edges, 24221 markings/sec, 10 secs
lola: 462973 markings, 628651 edges, 22431 markings/sec, 15 secs
lola: 567538 markings, 761993 edges, 20913 markings/sec, 20 secs
lola: 673376 markings, 896801 edges, 21168 markings/sec, 25 secs
lola: 777669 markings, 1026896 edges, 20859 markings/sec, 30 secs
lola: 876102 markings, 1151685 edges, 19687 markings/sec, 35 secs
lola: 969290 markings, 1273188 edges, 18638 markings/sec, 40 secs
lola: 1061036 markings, 1392207 edges, 18349 markings/sec, 45 secs
lola: 1158944 markings, 1517811 edges, 19582 markings/sec, 50 secs
lola: 1244096 markings, 1629314 edges, 17030 markings/sec, 55 secs
lola: 1330215 markings, 1759567 edges, 17224 markings/sec, 60 secs
lola: 1420294 markings, 1870191 edges, 18016 markings/sec, 65 secs
lola: 1504024 markings, 1973645 edges, 16746 markings/sec, 70 secs
lola: 1581823 markings, 2068455 edges, 15560 markings/sec, 75 secs
lola: 1660530 markings, 2164953 edges, 15741 markings/sec, 80 secs
lola: 1744807 markings, 2270629 edges, 16855 markings/sec, 85 secs
lola: 1849226 markings, 2400218 edges, 20884 markings/sec, 90 secs
lola: 1940925 markings, 2524189 edges, 18340 markings/sec, 95 secs
lola: 2042605 markings, 2656063 edges, 20336 markings/sec, 100 secs
lola: 2138909 markings, 2774450 edges, 19261 markings/sec, 105 secs
lola: 2231505 markings, 2888153 edges, 18519 markings/sec, 110 secs
lola: 2324015 markings, 3001559 edges, 18502 markings/sec, 115 secs
lola: 2411571 markings, 3111961 edges, 17511 markings/sec, 120 secs
lola: 2489723 markings, 3208289 edges, 15630 markings/sec, 125 secs
lola: 2577718 markings, 3318405 edges, 17599 markings/sec, 130 secs
lola: 2666120 markings, 3426562 edges, 17680 markings/sec, 135 secs
lola: 2751958 markings, 3537253 edges, 17168 markings/sec, 140 secs
lola: 2856917 markings, 3666261 edges, 20992 markings/sec, 145 secs
lola: 2957776 markings, 3790848 edges, 20172 markings/sec, 150 secs
lola: 3056644 markings, 3912443 edges, 19774 markings/sec, 155 secs
lola: 3155931 markings, 4034907 edges, 19857 markings/sec, 160 secs
lola: 3239056 markings, 4138898 edges, 16625 markings/sec, 165 secs
lola: 3323408 markings, 4245268 edges, 16870 markings/sec, 170 secs
lola: 3415590 markings, 4360066 edges, 18436 markings/sec, 175 secs
lola: 3507622 markings, 4474674 edges, 18406 markings/sec, 180 secs
lola: 3587468 markings, 4575027 edges, 15969 markings/sec, 185 secs
lola: 3674116 markings, 4705684 edges, 17330 markings/sec, 190 secs
lola: 3762136 markings, 4813779 edges, 17604 markings/sec, 195 secs
lola: 3843730 markings, 4914758 edges, 16319 markings/sec, 200 secs
lola: 3919852 markings, 5007517 edges, 15224 markings/sec, 205 secs
lola: 3994337 markings, 5098603 edges, 14897 markings/sec, 210 secs
lola: 4072182 markings, 5195076 edges, 15569 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(p1076)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 87007 markings, 104452 edges, 17401 markings/sec, 0 secs
lola: 174678 markings, 210453 edges, 17534 markings/sec, 5 secs
lola: 265813 markings, 321243 edges, 18227 markings/sec, 10 secs
lola: 350455 markings, 423660 edges, 16928 markings/sec, 15 secs
lola: 434772 markings, 525844 edges, 16863 markings/sec, 20 secs
lola: 522252 markings, 631614 edges, 17496 markings/sec, 25 secs
lola: 613845 markings, 742732 edges, 18319 markings/sec, 30 secs
lola: 706587 markings, 855463 edges, 18548 markings/sec, 35 secs
lola: 799235 markings, 966899 edges, 18530 markings/sec, 40 secs
lola: 897050 markings, 1086472 edges, 19563 markings/sec, 45 secs
lola: 1003569 markings, 1218589 edges, 21304 markings/sec, 50 secs
lola: 1106309 markings, 1344644 edges, 20548 markings/sec, 55 secs
lola: 1211016 markings, 1473993 edges, 20941 markings/sec, 60 secs
lola: 1307599 markings, 1592439 edges, 19317 markings/sec, 65 secs
lola: 1413236 markings, 1723377 edges, 21127 markings/sec, 70 secs
lola: 1502098 markings, 1831805 edges, 17772 markings/sec, 75 secs
lola: 1589111 markings, 1938559 edges, 17403 markings/sec, 80 secs
lola: 1670095 markings, 2038221 edges, 16197 markings/sec, 85 secs
lola: 1751840 markings, 2138403 edges, 16349 markings/sec, 90 secs
lola: 1838989 markings, 2245942 edges, 17430 markings/sec, 95 secs
lola: 1927754 markings, 2354203 edges, 17753 markings/sec, 100 secs
lola: 2008291 markings, 2453032 edges, 16107 markings/sec, 105 secs
lola: 2090054 markings, 2553582 edges, 16353 markings/sec, 110 secs
lola: 2190062 markings, 2675956 edges, 20002 markings/sec, 115 secs
lola: 2293304 markings, 2804381 edges, 20648 markings/sec, 120 secs
lola: 2391166 markings, 2924723 edges, 19572 markings/sec, 125 secs
lola: 2488949 markings, 3045497 edges, 19557 markings/sec, 130 secs
lola: 2583025 markings, 3161904 edges, 18815 markings/sec, 135 secs
lola: 2676340 markings, 3277996 edges, 18663 markings/sec, 140 secs
lola: 2765859 markings, 3387155 edges, 17904 markings/sec, 145 secs
lola: 2856572 markings, 3499522 edges, 18143 markings/sec, 150 secs
lola: 2944160 markings, 3606745 edges, 17518 markings/sec, 155 secs
lola: 3033480 markings, 3716097 edges, 17864 markings/sec, 160 secs
lola: 3124566 markings, 3829630 edges, 18217 markings/sec, 165 secs
lola: 3210926 markings, 3937623 edges, 17272 markings/sec, 170 secs
lola: 3286559 markings, 4031586 edges, 15127 markings/sec, 175 secs
lola: 3375328 markings, 4139303 edges, 17754 markings/sec, 180 secs
lola: 3472910 markings, 4258941 edges, 19516 markings/sec, 185 secs
lola: 3584158 markings, 4396961 edges, 22250 markings/sec, 190 secs
lola: 3692835 markings, 4530168 edges, 21735 markings/sec, 195 secs
lola: 3802206 markings, 4665388 edges, 21874 markings/sec, 200 secs
lola: 3897679 markings, 4783290 edges, 19095 markings/sec, 205 secs
lola: 3991134 markings, 4899631 edges, 18691 markings/sec, 210 secs
lola: 4080025 markings, 5008939 edges, 17778 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(p2522)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 92844 markings, 111098 edges, 18569 markings/sec, 0 secs
lola: 183746 markings, 220983 edges, 18180 markings/sec, 5 secs
lola: 278523 markings, 336298 edges, 18955 markings/sec, 10 secs
lola: 364486 markings, 440130 edges, 17193 markings/sec, 15 secs
lola: 451127 markings, 545264 edges, 17328 markings/sec, 20 secs
lola: 538844 markings, 651424 edges, 17543 markings/sec, 25 secs
lola: 632811 markings, 765329 edges, 18793 markings/sec, 30 secs
lola: 727949 markings, 880734 edges, 19028 markings/sec, 35 secs
lola: 820185 markings, 991950 edges, 18447 markings/sec, 40 secs
lola: 919697 markings, 1113880 edges, 19902 markings/sec, 45 secs
lola: 1022191 markings, 1240977 edges, 20499 markings/sec, 50 secs
lola: 1120957 markings, 1362084 edges, 19753 markings/sec, 55 secs
lola: 1224687 markings, 1490341 edges, 20746 markings/sec, 60 secs
lola: 1321124 markings, 1608827 edges, 19287 markings/sec, 65 secs
lola: 1424421 markings, 1737147 edges, 20659 markings/sec, 70 secs
lola: 1513608 markings, 1845559 edges, 17837 markings/sec, 75 secs
lola: 1601783 markings, 1954135 edges, 17635 markings/sec, 80 secs
lola: 1685224 markings, 2056145 edges, 16688 markings/sec, 85 secs
lola: 1769191 markings, 2159090 edges, 16793 markings/sec, 90 secs
lola: 1852666 markings, 2262311 edges, 16695 markings/sec, 95 secs
lola: 1937139 markings, 2365470 edges, 16895 markings/sec, 100 secs
lola: 2015221 markings, 2461379 edges, 15616 markings/sec, 105 secs
lola: 2095263 markings, 2559478 edges, 16008 markings/sec, 110 secs
lola: 2196343 markings, 2683242 edges, 20216 markings/sec, 115 secs
lola: 2298415 markings, 2810261 edges, 20414 markings/sec, 120 secs
lola: 2397728 markings, 2932311 edges, 19863 markings/sec, 125 secs
lola: 2497457 markings, 3055757 edges, 19946 markings/sec, 130 secs
lola: 2591790 markings, 3172586 edges, 18867 markings/sec, 135 secs
lola: 2685594 markings, 3288786 edges, 18761 markings/sec, 140 secs
lola: 2779681 markings, 3403710 edges, 18817 markings/sec, 145 secs
lola: 2876229 markings, 3523210 edges, 19310 markings/sec, 150 secs
lola: 2969151 markings, 3637204 edges, 18584 markings/sec, 155 secs
lola: 3061355 markings, 3750212 edges, 18441 markings/sec, 160 secs
lola: 3154600 markings, 3866964 edges, 18649 markings/sec, 165 secs
lola: 3238131 markings, 3970710 edges, 16706 markings/sec, 170 secs
lola: 3319982 markings, 4072009 edges, 16370 markings/sec, 175 secs
lola: 3409663 markings, 4181011 edges, 17936 markings/sec, 180 secs
lola: 3518681 markings, 4315165 edges, 21804 markings/sec, 185 secs
lola: 3628245 markings, 4450325 edges, 21913 markings/sec, 190 secs
lola: 3737297 markings, 4584832 edges, 21810 markings/sec, 195 secs
lola: 3846182 markings, 4719112 edges, 21777 markings/sec, 200 secs
lola: 3942124 markings, 4839615 edges, 19188 markings/sec, 205 secs
lola: 4029281 markings, 4945833 edges, 17431 markings/sec, 210 secs
lola: 4116802 markings, 5052745 edges, 17504 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(p1980)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 100106 markings, 119385 edges, 20021 markings/sec, 0 secs
lola: 207255 markings, 248726 edges, 21430 markings/sec, 5 secs
lola: 305638 markings, 367773 edges, 19677 markings/sec, 10 secs
lola: 405202 markings, 488529 edges, 19913 markings/sec, 15 secs
lola: 503718 markings, 608820 edges, 19703 markings/sec, 20 secs
lola: 601853 markings, 728151 edges, 19627 markings/sec, 25 secs
lola: 704241 markings, 853051 edges, 20478 markings/sec, 30 secs
lola: 807196 markings, 978114 edges, 20591 markings/sec, 35 secs
lola: 911784 markings, 1105798 edges, 20918 markings/sec, 40 secs
lola: 1014451 markings, 1230918 edges, 20533 markings/sec, 45 secs
lola: 1111065 markings, 1348094 edges, 19323 markings/sec, 50 secs
lola: 1208712 markings, 1467100 edges, 19529 markings/sec, 55 secs
lola: 1303592 markings, 1582652 edges, 18976 markings/sec, 60 secs
lola: 1394238 markings, 1694465 edges, 18129 markings/sec, 65 secs
lola: 1479184 markings, 1798342 edges, 16989 markings/sec, 70 secs
lola: 1565260 markings, 1904211 edges, 17215 markings/sec, 75 secs
lola: 1657776 markings, 2016488 edges, 18503 markings/sec, 80 secs
lola: 1759741 markings, 2140596 edges, 20393 markings/sec, 85 secs
lola: 1854876 markings, 2256009 edges, 19027 markings/sec, 90 secs
lola: 1960765 markings, 2385973 edges, 21178 markings/sec, 95 secs
lola: 2061453 markings, 2509702 edges, 20138 markings/sec, 100 secs
lola: 2162234 markings, 2633067 edges, 20156 markings/sec, 105 secs
lola: 2254120 markings, 2746732 edges, 18377 markings/sec, 110 secs
lola: 2339138 markings, 2850665 edges, 17004 markings/sec, 115 secs
lola: 2429050 markings, 2958170 edges, 17982 markings/sec, 120 secs
lola: 2537742 markings, 3091646 edges, 21738 markings/sec, 125 secs
lola: 2643934 markings, 3222083 edges, 21238 markings/sec, 130 secs
lola: 2742438 markings, 3344410 edges, 19701 markings/sec, 135 secs
lola: 2831486 markings, 3453525 edges, 17810 markings/sec, 140 secs
lola: 2936513 markings, 3582487 edges, 21005 markings/sec, 145 secs
lola: 3041698 markings, 3712150 edges, 21037 markings/sec, 150 secs
lola: 3135172 markings, 3828413 edges, 18695 markings/sec, 155 secs
lola: 3225903 markings, 3939726 edges, 18146 markings/sec, 160 secs
lola: 3311618 markings, 4045185 edges, 17143 markings/sec, 165 secs
lola: 3393271 markings, 4145368 edges, 16331 markings/sec, 170 secs
lola: 3475929 markings, 4247209 edges, 16532 markings/sec, 175 secs
lola: 3569452 markings, 4362287 edges, 18705 markings/sec, 180 secs
lola: 3668298 markings, 4485883 edges, 19769 markings/sec, 185 secs
lola: 3755581 markings, 4590922 edges, 17457 markings/sec, 190 secs
lola: 3841039 markings, 4694638 edges, 17092 markings/sec, 195 secs
lola: 3946887 markings, 4825479 edges, 21170 markings/sec, 200 secs
lola: 4047284 markings, 4948792 edges, 20079 markings/sec, 205 secs
lola: 4150671 markings, 5076005 edges, 20677 markings/sec, 210 secs
lola: 4245546 markings, 5194614 edges, 18975 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(p268)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 105408 markings, 126371 edges, 21082 markings/sec, 0 secs
lola: 213033 markings, 257787 edges, 21525 markings/sec, 5 secs
lola: 320378 markings, 387943 edges, 21469 markings/sec, 10 secs
lola: 422801 markings, 512837 edges, 20485 markings/sec, 15 secs
lola: 524167 markings, 636152 edges, 20273 markings/sec, 20 secs
lola: 623391 markings, 756728 edges, 19845 markings/sec, 25 secs
lola: 729967 markings, 886711 edges, 21315 markings/sec, 30 secs
lola: 842883 markings, 1025088 edges, 22583 markings/sec, 35 secs
lola: 951578 markings, 1158455 edges, 21739 markings/sec, 40 secs
lola: 1058908 markings, 1289810 edges, 21466 markings/sec, 45 secs
lola: 1167984 markings, 1423928 edges, 21815 markings/sec, 50 secs
lola: 1272520 markings, 1550842 edges, 20907 markings/sec, 55 secs
lola: 1378600 markings, 1679220 edges, 21216 markings/sec, 60 secs
lola: 1497710 markings, 1825673 edges, 23822 markings/sec, 65 secs
lola: 1608083 markings, 1961483 edges, 22075 markings/sec, 70 secs
lola: 1716803 markings, 2094640 edges, 21744 markings/sec, 75 secs
lola: 1829004 markings, 2232189 edges, 22440 markings/sec, 80 secs
lola: 1936761 markings, 2365590 edges, 21551 markings/sec, 85 secs
lola: 2037908 markings, 2491414 edges, 20229 markings/sec, 90 secs
lola: 2139419 markings, 2615437 edges, 20302 markings/sec, 95 secs
lola: 2240481 markings, 2742167 edges, 20212 markings/sec, 100 secs
lola: 2349317 markings, 2876296 edges, 21767 markings/sec, 105 secs
lola: 2459217 markings, 3010287 edges, 21980 markings/sec, 110 secs
lola: 2557734 markings, 3133616 edges, 19703 markings/sec, 115 secs
lola: 2656441 markings, 3255506 edges, 19741 markings/sec, 120 secs
lola: 2759814 markings, 3382270 edges, 20675 markings/sec, 125 secs
lola: 2863162 markings, 3508036 edges, 20670 markings/sec, 130 secs
lola: 2955327 markings, 3619276 edges, 18433 markings/sec, 135 secs
lola: 3061712 markings, 3749676 edges, 21277 markings/sec, 140 secs
lola: 3156011 markings, 3861919 edges, 18860 markings/sec, 145 secs
lola: 3255804 markings, 3983538 edges, 19959 markings/sec, 150 secs
lola: 3366217 markings, 4118950 edges, 22083 markings/sec, 155 secs
lola: 3474756 markings, 4251432 edges, 21708 markings/sec, 160 secs
lola: 3568845 markings, 4364605 edges, 18818 markings/sec, 165 secs
lola: 3667811 markings, 4485940 edges, 19793 markings/sec, 170 secs
lola: 3771844 markings, 4614278 edges, 20807 markings/sec, 175 secs
lola: 3861379 markings, 4725121 edges, 17907 markings/sec, 180 secs
lola: 3950399 markings, 4836723 edges, 17804 markings/sec, 185 secs
lola: 4055690 markings, 4965777 edges, 21058 markings/sec, 190 secs
lola: 4155746 markings, 5088453 edges, 20011 markings/sec, 195 secs
lola: 4254652 markings, 5207657 edges, 19781 markings/sec, 200 secs
lola: 4348889 markings, 5322536 edges, 18847 markings/sec, 205 secs
lola: 4451153 markings, 5446863 edges, 20453 markings/sec, 210 secs
lola: 4541470 markings, 5554359 edges, 18063 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(p2005)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 100464 markings, 126577 edges, 20093 markings/sec, 0 secs
lola: 203618 markings, 257896 edges, 20631 markings/sec, 5 secs
lola: 301762 markings, 381894 edges, 19629 markings/sec, 10 secs
lola: 395118 markings, 497743 edges, 18671 markings/sec, 15 secs
lola: 488184 markings, 612743 edges, 18613 markings/sec, 20 secs
lola: 580899 markings, 728054 edges, 18543 markings/sec, 25 secs
lola: 684141 markings, 856319 edges, 20648 markings/sec, 30 secs
lola: 792465 markings, 991143 edges, 21665 markings/sec, 35 secs
lola: 888522 markings, 1108954 edges, 19211 markings/sec, 40 secs
lola: 1003515 markings, 1249814 edges, 22999 markings/sec, 45 secs
lola: 1113996 markings, 1385131 edges, 22096 markings/sec, 50 secs
lola: 1220571 markings, 1516438 edges, 21315 markings/sec, 55 secs
lola: 1315990 markings, 1634967 edges, 19084 markings/sec, 60 secs
lola: 1416096 markings, 1761156 edges, 20021 markings/sec, 65 secs
lola: 1506241 markings, 1872091 edges, 18029 markings/sec, 70 secs
lola: 1591310 markings, 1977225 edges, 17014 markings/sec, 75 secs
lola: 1669907 markings, 2073304 edges, 15719 markings/sec, 80 secs
lola: 1753844 markings, 2176160 edges, 16787 markings/sec, 85 secs
lola: 1839867 markings, 2282227 edges, 17205 markings/sec, 90 secs
lola: 1930552 markings, 2393315 edges, 18137 markings/sec, 95 secs
lola: 2007255 markings, 2487798 edges, 15341 markings/sec, 100 secs
lola: 2089597 markings, 2589174 edges, 16468 markings/sec, 105 secs
lola: 2190600 markings, 2715801 edges, 20201 markings/sec, 110 secs
lola: 2289615 markings, 2837027 edges, 19803 markings/sec, 115 secs
lola: 2388611 markings, 2958451 edges, 19799 markings/sec, 120 secs
lola: 2485814 markings, 3080127 edges, 19441 markings/sec, 125 secs
lola: 2580811 markings, 3204470 edges, 18999 markings/sec, 130 secs
lola: 2674442 markings, 3320979 edges, 18726 markings/sec, 135 secs
lola: 2767145 markings, 3434599 edges, 18541 markings/sec, 140 secs
lola: 2861642 markings, 3551620 edges, 18899 markings/sec, 145 secs
lola: 2953595 markings, 3664376 edges, 18391 markings/sec, 150 secs
lola: 3045626 markings, 3777186 edges, 18406 markings/sec, 155 secs
lola: 3139753 markings, 3894092 edges, 18825 markings/sec, 160 secs
lola: 3223864 markings, 4000011 edges, 16822 markings/sec, 165 secs
lola: 3299683 markings, 4094466 edges, 15164 markings/sec, 170 secs
lola: 3393172 markings, 4210478 edges, 18698 markings/sec, 175 secs
lola: 3505734 markings, 4351722 edges, 22512 markings/sec, 180 secs
lola: 3623944 markings, 4496189 edges, 23642 markings/sec, 185 secs
lola: 3738195 markings, 4636883 edges, 22850 markings/sec, 190 secs
lola: 3851040 markings, 4776369 edges, 22569 markings/sec, 195 secs
lola: 3949254 markings, 4900090 edges, 19643 markings/sec, 200 secs
lola: 4044677 markings, 5018137 edges, 19085 markings/sec, 205 secs
lola: 4148665 markings, 5147336 edges, 20798 markings/sec, 210 secs
lola: 4241277 markings, 5263093 edges, 18522 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(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 95009 markings, 114131 edges, 19002 markings/sec, 0 secs
lola: 189922 markings, 228970 edges, 18983 markings/sec, 5 secs
lola: 286111 markings, 345868 edges, 19238 markings/sec, 10 secs
lola: 372795 markings, 450878 edges, 17337 markings/sec, 15 secs
lola: 460659 markings, 557041 edges, 17573 markings/sec, 20 secs
lola: 550799 markings, 666284 edges, 18028 markings/sec, 25 secs
lola: 644184 markings, 779551 edges, 18677 markings/sec, 30 secs
lola: 740691 markings, 896238 edges, 19301 markings/sec, 35 secs
lola: 837417 markings, 1013392 edges, 19345 markings/sec, 40 secs
lola: 945816 markings, 1146585 edges, 21680 markings/sec, 45 secs
lola: 1056595 markings, 1283333 edges, 22156 markings/sec, 50 secs
lola: 1162795 markings, 1414170 edges, 21240 markings/sec, 55 secs
lola: 1265760 markings, 1540700 edges, 20593 markings/sec, 60 secs
lola: 1370890 markings, 1671191 edges, 21026 markings/sec, 65 secs
lola: 1468276 markings, 1790739 edges, 19477 markings/sec, 70 secs
lola: 1561140 markings, 1904169 edges, 18573 markings/sec, 75 secs
lola: 1647470 markings, 2010627 edges, 17266 markings/sec, 80 secs
lola: 1729117 markings, 2110715 edges, 16329 markings/sec, 85 secs
lola: 1811975 markings, 2212797 edges, 16572 markings/sec, 90 secs
lola: 1902842 markings, 2324158 edges, 18173 markings/sec, 95 secs
lola: 1984130 markings, 2423187 edges, 16258 markings/sec, 100 secs
lola: 2060872 markings, 2517849 edges, 15348 markings/sec, 105 secs
lola: 2152595 markings, 2629772 edges, 18345 markings/sec, 110 secs
lola: 2255590 markings, 2757047 edges, 20599 markings/sec, 115 secs
lola: 2358059 markings, 2883367 edges, 20494 markings/sec, 120 secs
lola: 2458317 markings, 3006930 edges, 20052 markings/sec, 125 secs
lola: 2549777 markings, 3120695 edges, 18292 markings/sec, 130 secs
lola: 2652106 markings, 3247855 edges, 20466 markings/sec, 135 secs
lola: 2748757 markings, 3366182 edges, 19330 markings/sec, 140 secs
lola: 2848294 markings, 3489169 edges, 19907 markings/sec, 145 secs
lola: 2942046 markings, 3604048 edges, 18750 markings/sec, 150 secs
lola: 3037656 markings, 3721362 edges, 19122 markings/sec, 155 secs
lola: 3136580 markings, 3844511 edges, 19785 markings/sec, 160 secs
lola: 3225420 markings, 3955529 edges, 17768 markings/sec, 165 secs
lola: 3307883 markings, 4057813 edges, 16493 markings/sec, 170 secs
lola: 3403266 markings, 4173589 edges, 19077 markings/sec, 175 secs
lola: 3516082 markings, 4312307 edges, 22563 markings/sec, 180 secs
lola: 3633564 markings, 4457057 edges, 23496 markings/sec, 185 secs
lola: 3747369 markings, 4597405 edges, 22761 markings/sec, 190 secs
lola: 3856144 markings, 4732262 edges, 21755 markings/sec, 195 secs
lola: 3958804 markings, 4860412 edges, 20532 markings/sec, 200 secs
lola: 4042505 markings, 4962294 edges, 16740 markings/sec, 205 secs
lola: 4134231 markings, 5074357 edges, 18345 markings/sec, 210 secs
lola: 4222106 markings, 5181942 edges, 17575 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(p546)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 103300 markings, 123899 edges, 20660 markings/sec, 0 secs
lola: 203938 markings, 245830 edges, 20128 markings/sec, 5 secs
lola: 308317 markings, 372506 edges, 20876 markings/sec, 10 secs
lola: 406109 markings, 491015 edges, 19558 markings/sec, 15 secs
lola: 503267 markings, 608344 edges, 19432 markings/sec, 20 secs
lola: 595280 markings, 719980 edges, 18403 markings/sec, 25 secs
lola: 689939 markings, 835056 edges, 18932 markings/sec, 30 secs
lola: 785849 markings, 950655 edges, 19182 markings/sec, 35 secs
lola: 880044 markings, 1065394 edges, 18839 markings/sec, 40 secs
lola: 987774 markings, 1198679 edges, 21546 markings/sec, 45 secs
lola: 1092219 markings, 1327350 edges, 20889 markings/sec, 50 secs
lola: 1196459 markings, 1455968 edges, 20848 markings/sec, 55 secs
lola: 1295137 markings, 1577278 edges, 19736 markings/sec, 60 secs
lola: 1399487 markings, 1706316 edges, 20870 markings/sec, 65 secs
lola: 1491106 markings, 1818247 edges, 18324 markings/sec, 70 secs
lola: 1586001 markings, 1934587 edges, 18979 markings/sec, 75 secs
lola: 1675757 markings, 2044883 edges, 17951 markings/sec, 80 secs
lola: 1766995 markings, 2156616 edges, 18248 markings/sec, 85 secs
lola: 1861870 markings, 2273818 edges, 18975 markings/sec, 90 secs
lola: 1954946 markings, 2387030 edges, 18615 markings/sec, 95 secs
lola: 2041652 markings, 2494212 edges, 17341 markings/sec, 100 secs
lola: 2139082 markings, 2613179 edges, 19486 markings/sec, 105 secs
lola: 2252954 markings, 2753691 edges, 22774 markings/sec, 110 secs
lola: 2361696 markings, 2887959 edges, 21748 markings/sec, 115 secs
lola: 2470549 markings, 3022282 edges, 21771 markings/sec, 120 secs
lola: 2572025 markings, 3148070 edges, 20295 markings/sec, 125 secs
lola: 2676318 markings, 3277775 edges, 20859 markings/sec, 130 secs
lola: 2777125 markings, 3400720 edges, 20161 markings/sec, 135 secs
lola: 2879918 markings, 3527804 edges, 20559 markings/sec, 140 secs
lola: 2979088 markings, 3649459 edges, 19834 markings/sec, 145 secs
lola: 3078214 markings, 3771322 edges, 19825 markings/sec, 150 secs
lola: 3177346 markings, 3896040 edges, 19826 markings/sec, 155 secs
lola: 3264474 markings, 4003585 edges, 17426 markings/sec, 160 secs
lola: 3358347 markings, 4118527 edges, 18775 markings/sec, 165 secs
lola: 3465291 markings, 4249578 edges, 21389 markings/sec, 170 secs
lola: 3584464 markings, 4397124 edges, 23835 markings/sec, 175 secs
lola: 3702078 markings, 4541376 edges, 23523 markings/sec, 180 secs
lola: 3819613 markings, 4686433 edges, 23507 markings/sec, 185 secs
lola: 3919131 markings, 4811235 edges, 19904 markings/sec, 190 secs
lola: 4014875 markings, 4928531 edges, 19149 markings/sec, 195 secs
lola: 4107877 markings, 5042118 edges, 18600 markings/sec, 200 secs
lola: 4202002 markings, 5157068 edges, 18825 markings/sec, 205 secs
lola: 4292915 markings, 5269384 edges, 18183 markings/sec, 210 secs
lola: 4378874 markings, 5374742 edges, 17192 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(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 91101 markings, 109394 edges, 18220 markings/sec, 0 secs
lola: 173592 markings, 209092 edges, 16498 markings/sec, 5 secs
lola: 267971 markings, 323800 edges, 18876 markings/sec, 10 secs
lola: 346386 markings, 418707 edges, 15683 markings/sec, 15 secs
lola: 429646 markings, 519654 edges, 16652 markings/sec, 20 secs
lola: 511814 markings, 618815 edges, 16434 markings/sec, 25 secs
lola: 596412 markings, 721534 edges, 16920 markings/sec, 30 secs
lola: 683885 markings, 827777 edges, 17495 markings/sec, 35 secs
lola: 774275 markings, 937001 edges, 18078 markings/sec, 40 secs
lola: 856873 markings, 1037175 edges, 16520 markings/sec, 45 secs
lola: 959412 markings, 1163198 edges, 20508 markings/sec, 50 secs
lola: 1057471 markings, 1284376 edges, 19612 markings/sec, 55 secs
lola: 1149666 markings, 1397478 edges, 18439 markings/sec, 60 secs
lola: 1246701 markings, 1517701 edges, 19407 markings/sec, 65 secs
lola: 1342660 markings, 1635879 edges, 19192 markings/sec, 70 secs
lola: 1441277 markings, 1758393 edges, 19723 markings/sec, 75 secs
lola: 1526209 markings, 1861214 edges, 16986 markings/sec, 80 secs
lola: 1607372 markings, 1961533 edges, 16233 markings/sec, 85 secs
lola: 1681048 markings, 2051446 edges, 14735 markings/sec, 90 secs
lola: 1760953 markings, 2149466 edges, 15981 markings/sec, 95 secs
lola: 1845550 markings, 2253938 edges, 16919 markings/sec, 100 secs
lola: 1931627 markings, 2358896 edges, 17215 markings/sec, 105 secs
lola: 2011389 markings, 2456948 edges, 15952 markings/sec, 110 secs
lola: 2092110 markings, 2555984 edges, 16144 markings/sec, 115 secs
lola: 2195140 markings, 2682066 edges, 20606 markings/sec, 120 secs
lola: 2298249 markings, 2810401 edges, 20622 markings/sec, 125 secs
lola: 2396682 markings, 2931339 edges, 19687 markings/sec, 130 secs
lola: 2495041 markings, 3053127 edges, 19672 markings/sec, 135 secs
lola: 2590766 markings, 3171695 edges, 19145 markings/sec, 140 secs
lola: 2685597 markings, 3289141 edges, 18966 markings/sec, 145 secs
lola: 2779905 markings, 3404200 edges, 18862 markings/sec, 150 secs
lola: 2875625 markings, 3522815 edges, 19144 markings/sec, 155 secs
lola: 2965793 markings, 3633439 edges, 18034 markings/sec, 160 secs
lola: 3058145 markings, 3746624 edges, 18470 markings/sec, 165 secs
lola: 3153192 markings, 3865813 edges, 19009 markings/sec, 170 secs
lola: 3236236 markings, 3968765 edges, 16609 markings/sec, 175 secs
lola: 3319014 markings, 4071091 edges, 16556 markings/sec, 180 secs
lola: 3408747 markings, 4180175 edges, 17947 markings/sec, 185 secs
lola: 3519518 markings, 4316529 edges, 22154 markings/sec, 190 secs
lola: 3630529 markings, 4453384 edges, 22202 markings/sec, 195 secs
lola: 3740946 markings, 4589636 edges, 22083 markings/sec, 200 secs
lola: 3848084 markings, 4722084 edges, 21428 markings/sec, 205 secs
lola: 3944594 markings, 4842991 edges, 19302 markings/sec, 210 secs
lola: 4030168 markings, 4947220 edges, 17115 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(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 444 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 95556 markings, 113679 edges, 19111 markings/sec, 0 secs
lola: 198327 markings, 238042 edges, 20554 markings/sec, 5 secs
lola: 304024 markings, 365511 edges, 21139 markings/sec, 10 secs
lola: 410574 markings, 495067 edges, 21310 markings/sec, 15 secs
lola: 514991 markings, 622251 edges, 20883 markings/sec, 20 secs
lola: 614681 markings, 743051 edges, 19938 markings/sec, 25 secs
lola: 717017 markings, 868023 edges, 20467 markings/sec, 30 secs
lola: 818393 markings, 991291 edges, 20275 markings/sec, 35 secs
lola: 919999 markings, 1114703 edges, 20321 markings/sec, 40 secs
lola: 1014603 markings, 1229761 edges, 18921 markings/sec, 45 secs
lola: 1100366 markings, 1333895 edges, 17153 markings/sec, 50 secs
lola: 1190260 markings, 1444052 edges, 17979 markings/sec, 55 secs
lola: 1279252 markings, 1552661 edges, 17798 markings/sec, 60 secs
lola: 1365014 markings, 1658454 edges, 17152 markings/sec, 65 secs
lola: 1454962 markings, 1768777 edges, 17990 markings/sec, 70 secs
lola: 1546696 markings, 1880475 edges, 18347 markings/sec, 75 secs
lola: 1644400 markings, 1999630 edges, 19541 markings/sec, 80 secs
lola: 1744438 markings, 2121052 edges, 20008 markings/sec, 85 secs
lola: 1843918 markings, 2242352 edges, 19896 markings/sec, 90 secs
lola: 1946629 markings, 2369137 edges, 20542 markings/sec, 95 secs
lola: 2036302 markings, 2478716 edges, 17935 markings/sec, 100 secs
lola: 2117832 markings, 2578384 edges, 16306 markings/sec, 105 secs
lola: 2198493 markings, 2677823 edges, 16132 markings/sec, 110 secs
lola: 2286859 markings, 2785657 edges, 17673 markings/sec, 115 secs
lola: 2378933 markings, 2898502 edges, 18415 markings/sec, 120 secs
lola: 2458919 markings, 2994785 edges, 15997 markings/sec, 125 secs
lola: 2558142 markings, 3116758 edges, 19845 markings/sec, 130 secs
lola: 2646305 markings, 3224546 edges, 17633 markings/sec, 135 secs
lola: 2733388 markings, 3330303 edges, 17417 markings/sec, 140 secs
lola: 2817680 markings, 3434638 edges, 16858 markings/sec, 145 secs
lola: 2897305 markings, 3532231 edges, 15925 markings/sec, 150 secs
lola: 2980813 markings, 3634643 edges, 16702 markings/sec, 155 secs
lola: 3079680 markings, 3755787 edges, 19773 markings/sec, 160 secs
lola: 3168405 markings, 3863702 edges, 17745 markings/sec, 165 secs
lola: 3251501 markings, 3963855 edges, 16619 markings/sec, 170 secs
lola: 3337579 markings, 4068492 edges, 17216 markings/sec, 175 secs
lola: 3421426 markings, 4171816 edges, 16769 markings/sec, 180 secs
lola: 3501842 markings, 4270368 edges, 16083 markings/sec, 185 secs
lola: 3582116 markings, 4368770 edges, 16055 markings/sec, 190 secs
lola: 3665318 markings, 4471060 edges, 16640 markings/sec, 195 secs
lola: 3744361 markings, 4568975 edges, 15809 markings/sec, 200 secs
lola: 3841581 markings, 4684329 edges, 19444 markings/sec, 205 secs
lola: 3954989 markings, 4823650 edges, 22682 markings/sec, 210 secs
lola: 4067429 markings, 4962347 edges, 22488 markings/sec, 215 secs
lola: 4155495 markings, 5072299 edges, 17613 markings/sec, 220 secs
lola: 4236565 markings, 5174036 edges, 16214 markings/sec, 225 secs
lola: 4333711 markings, 5294679 edges, 19429 markings/sec, 230 secs
lola: 4433595 markings, 5417933 edges, 19977 markings/sec, 235 secs
lola: 4522746 markings, 5527179 edges, 17830 markings/sec, 240 secs
lola: 4617076 markings, 5643268 edges, 18866 markings/sec, 245 secs
lola: 4713281 markings, 5763055 edges, 19241 markings/sec, 250 secs
lola: 4806328 markings, 5876847 edges, 18609 markings/sec, 255 secs
lola: 4903765 markings, 5996608 edges, 19487 markings/sec, 260 secs
lola: 5008193 markings, 6125687 edges, 20886 markings/sec, 265 secs
lola: 5094769 markings, 6233807 edges, 17315 markings/sec, 270 secs
lola: 5173838 markings, 6332553 edges, 15814 markings/sec, 275 secs
lola: 5267860 markings, 6448388 edges, 18804 markings/sec, 280 secs
lola: 5355996 markings, 6558890 edges, 17627 markings/sec, 285 secs
lola: 5446090 markings, 6670497 edges, 18019 markings/sec, 290 secs
lola: 5545561 markings, 6794042 edges, 19894 markings/sec, 295 secs
lola: 5638475 markings, 6911086 edges, 18583 markings/sec, 300 secs
lola: 5746291 markings, 7040158 edges, 21563 markings/sec, 305 secs
lola: 5861088 markings, 7181112 edges, 22959 markings/sec, 310 secs
lola: 5969445 markings, 7314886 edges, 21671 markings/sec, 315 secs
lola: 6060733 markings, 7428772 edges, 18258 markings/sec, 320 secs
lola: 6150644 markings, 7541259 edges, 17982 markings/sec, 325 secs
lola: 6257727 markings, 7674081 edges, 21417 markings/sec, 330 secs
lola: 6365899 markings, 7807674 edges, 21634 markings/sec, 335 secs
lola: 6471951 markings, 7937614 edges, 21210 markings/sec, 340 secs
lola: 6580947 markings, 8072995 edges, 21799 markings/sec, 345 secs
lola: 6684059 markings, 8201666 edges, 20622 markings/sec, 350 secs
lola: 6793269 markings, 8334200 edges, 21842 markings/sec, 355 secs
lola: 6907784 markings, 8475047 edges, 22903 markings/sec, 360 secs
lola: 7008905 markings, 8600596 edges, 20224 markings/sec, 365 secs
lola: 7098416 markings, 8712634 edges, 17902 markings/sec, 370 secs
lola: 7200429 markings, 8838817 edges, 20403 markings/sec, 375 secs
lola: 7299232 markings, 8962605 edges, 19761 markings/sec, 380 secs
lola: 7401913 markings, 9089736 edges, 20536 markings/sec, 385 secs
lola: 7503093 markings, 9217007 edges, 20236 markings/sec, 390 secs
lola: 7605270 markings, 9344099 edges, 20435 markings/sec, 395 secs
lola: 7706835 markings, 9470460 edges, 20313 markings/sec, 400 secs
lola: 7787197 markings, 9571464 edges, 16072 markings/sec, 405 secs
lola: 7866976 markings, 9669962 edges, 15956 markings/sec, 410 secs
lola: 7956459 markings, 9778926 edges, 17897 markings/sec, 415 secs
lola: 8043000 markings, 9888160 edges, 17308 markings/sec, 420 secs
lola: 8119193 markings, 9982997 edges, 15239 markings/sec, 425 secs
lola: 8195590 markings, 10076938 edges, 15279 markings/sec, 430 secs
lola: 8282549 markings, 10184143 edges, 17392 markings/sec, 435 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 1 unknown
FORMULA CloudReconfiguration-PT-401-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-401-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496538649462
--------------------
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-401"
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-401.tgz
mv CloudReconfiguration-PT-401 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-401, 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-149580961500182"
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 ;