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

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

=== Now, execution of the tool begins

BK_START 1496529525617


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-304: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-304 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-304-UpperBounds.task
lola: MAX(p2177) : MAX(p1937) : MAX(p1180) : MAX(p43) : MAX(p726) : MAX(p747) : MAX(p973) : MAX(p1257) : MAX(p483) : MAX(p689) : MAX(p2102) : MAX(p1111) : MAX(p2060) : MAX(p1996) : MAX(p1257) : MAX(p837)
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(p2177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 113047 markings, 144830 edges, 22609 markings/sec, 0 secs
lola: 225570 markings, 284026 edges, 22505 markings/sec, 5 secs
lola: 341737 markings, 426549 edges, 23233 markings/sec, 10 secs
lola: 461113 markings, 593377 edges, 23875 markings/sec, 15 secs
lola: 578975 markings, 749307 edges, 23572 markings/sec, 20 secs
lola: 680897 markings, 874327 edges, 20384 markings/sec, 25 secs
lola: 781083 markings, 995365 edges, 20037 markings/sec, 30 secs
lola: 885421 markings, 1135093 edges, 20868 markings/sec, 35 secs
lola: 991757 markings, 1287903 edges, 21267 markings/sec, 40 secs
lola: 1101849 markings, 1435859 edges, 22018 markings/sec, 45 secs
lola: 1219687 markings, 1588840 edges, 23568 markings/sec, 50 secs
lola: 1337113 markings, 1741350 edges, 23485 markings/sec, 55 secs
lola: 1453267 markings, 1888530 edges, 23231 markings/sec, 60 secs
lola: 1584033 markings, 2057927 edges, 26153 markings/sec, 65 secs
lola: 1702154 markings, 2206147 edges, 23624 markings/sec, 70 secs
lola: 1825129 markings, 2366536 edges, 24595 markings/sec, 75 secs
lola: 1967556 markings, 2544040 edges, 28485 markings/sec, 80 secs
lola: 2097027 markings, 2703216 edges, 25894 markings/sec, 85 secs
lola: 2226959 markings, 2861805 edges, 25986 markings/sec, 90 secs
lola: 2347335 markings, 3008789 edges, 24075 markings/sec, 95 secs
lola: 2467631 markings, 3157079 edges, 24059 markings/sec, 100 secs
lola: 2594850 markings, 3316985 edges, 25444 markings/sec, 105 secs
lola: 2711173 markings, 3463067 edges, 23265 markings/sec, 110 secs
lola: 2822584 markings, 3602180 edges, 22282 markings/sec, 115 secs
lola: 2944824 markings, 3754366 edges, 24448 markings/sec, 120 secs
lola: 3061889 markings, 3901754 edges, 23413 markings/sec, 125 secs
lola: 3179575 markings, 4049684 edges, 23537 markings/sec, 130 secs
lola: 3287991 markings, 4185565 edges, 21683 markings/sec, 135 secs
lola: 3400061 markings, 4327194 edges, 22414 markings/sec, 140 secs
lola: 3517021 markings, 4473534 edges, 23392 markings/sec, 145 secs
lola: 3645686 markings, 4630840 edges, 25733 markings/sec, 150 secs
lola: 3771238 markings, 4789296 edges, 25110 markings/sec, 155 secs
lola: 3883135 markings, 4929659 edges, 22379 markings/sec, 160 secs
lola: 3987837 markings, 5059977 edges, 20940 markings/sec, 165 secs
lola: 4099813 markings, 5200291 edges, 22395 markings/sec, 170 secs
lola: 4259782 markings, 5401552 edges, 31994 markings/sec, 175 secs
lola: 4416176 markings, 5596507 edges, 31279 markings/sec, 180 secs
lola: 4552230 markings, 5768883 edges, 27211 markings/sec, 185 secs
lola: 4670394 markings, 5918746 edges, 23633 markings/sec, 190 secs
lola: 4799551 markings, 6079002 edges, 25831 markings/sec, 195 secs
lola: 4922232 markings, 6233911 edges, 24536 markings/sec, 200 secs
lola: 5036397 markings, 6377223 edges, 22833 markings/sec, 205 secs
lola: 5137861 markings, 6504050 edges, 20293 markings/sec, 210 secs
lola: 5251339 markings, 6648052 edges, 22696 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(p1937)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 136658 markings, 286887 edges, 27332 markings/sec, 0 secs
lola: 273952 markings, 575384 edges, 27459 markings/sec, 5 secs
lola: 408421 markings, 862540 edges, 26894 markings/sec, 10 secs
lola: 546333 markings, 1158639 edges, 27582 markings/sec, 15 secs
lola: 689830 markings, 1465354 edges, 28699 markings/sec, 20 secs
lola: 827103 markings, 1761593 edges, 27455 markings/sec, 25 secs
lola: 961300 markings, 2050130 edges, 26839 markings/sec, 30 secs
lola: 1099083 markings, 2342420 edges, 27557 markings/sec, 35 secs
lola: 1232669 markings, 2627977 edges, 26717 markings/sec, 40 secs
lola: 1365653 markings, 2911980 edges, 26597 markings/sec, 45 secs
lola: 1501934 markings, 3202938 edges, 27256 markings/sec, 50 secs
lola: 1640277 markings, 3498877 edges, 27669 markings/sec, 55 secs
lola: 1777230 markings, 3789819 edges, 27391 markings/sec, 60 secs
lola: 1912081 markings, 4080180 edges, 26970 markings/sec, 65 secs
lola: 2049330 markings, 4371857 edges, 27450 markings/sec, 70 secs
lola: 2192440 markings, 4678949 edges, 28622 markings/sec, 75 secs
lola: 2328739 markings, 4972456 edges, 27260 markings/sec, 80 secs
lola: 2466649 markings, 5270977 edges, 27582 markings/sec, 85 secs
lola: 2600326 markings, 5561198 edges, 26735 markings/sec, 90 secs
lola: 2741652 markings, 5866951 edges, 28265 markings/sec, 95 secs
lola: 2872735 markings, 6147878 edges, 26217 markings/sec, 100 secs
lola: 3005089 markings, 6433459 edges, 26471 markings/sec, 105 secs
lola: 3133293 markings, 6711039 edges, 25641 markings/sec, 110 secs
lola: 3246940 markings, 6957386 edges, 22729 markings/sec, 115 secs
lola: 3367030 markings, 7216833 edges, 24018 markings/sec, 120 secs
lola: 3495054 markings, 7497667 edges, 25605 markings/sec, 125 secs
lola: 3632943 markings, 7794131 edges, 27578 markings/sec, 130 secs
lola: 3772099 markings, 8095195 edges, 27831 markings/sec, 135 secs
lola: 3916286 markings, 8406369 edges, 28837 markings/sec, 140 secs
lola: 4062003 markings, 8724528 edges, 29143 markings/sec, 145 secs
lola: 4194573 markings, 9015440 edges, 26514 markings/sec, 150 secs
lola: 4318236 markings, 9282784 edges, 24733 markings/sec, 155 secs
lola: 4450425 markings, 9571380 edges, 26438 markings/sec, 160 secs
lola: 4594850 markings, 9881925 edges, 28885 markings/sec, 165 secs
lola: 4746290 markings, 10209979 edges, 30288 markings/sec, 170 secs
lola: 4889614 markings, 10525655 edges, 28665 markings/sec, 175 secs
lola: 5024802 markings, 10819968 edges, 27038 markings/sec, 180 secs
lola: 5151884 markings, 11087037 edges, 25416 markings/sec, 185 secs
lola: 5303663 markings, 11408102 edges, 30356 markings/sec, 190 secs
lola: 5450420 markings, 11716667 edges, 29351 markings/sec, 195 secs
lola: 5593256 markings, 12019714 edges, 28567 markings/sec, 200 secs
lola: 5742304 markings, 12346358 edges, 29810 markings/sec, 205 secs
lola: 5880661 markings, 12650006 edges, 27671 markings/sec, 210 secs
lola: 6028168 markings, 12972385 edges, 29501 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(p1180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 116615 markings, 140327 edges, 23323 markings/sec, 0 secs
lola: 233616 markings, 281892 edges, 23400 markings/sec, 5 secs
lola: 353579 markings, 426258 edges, 23993 markings/sec, 10 secs
lola: 486205 markings, 586394 edges, 26525 markings/sec, 15 secs
lola: 618193 markings, 746232 edges, 26398 markings/sec, 20 secs
lola: 755286 markings, 912497 edges, 27419 markings/sec, 25 secs
lola: 903395 markings, 1092544 edges, 29622 markings/sec, 30 secs
lola: 1052595 markings, 1274441 edges, 29840 markings/sec, 35 secs
lola: 1191839 markings, 1443796 edges, 27849 markings/sec, 40 secs
lola: 1329383 markings, 1611399 edges, 27509 markings/sec, 45 secs
lola: 1452032 markings, 1761524 edges, 24530 markings/sec, 50 secs
lola: 1569756 markings, 1905404 edges, 23545 markings/sec, 55 secs
lola: 1686237 markings, 2047019 edges, 23296 markings/sec, 60 secs
lola: 1807947 markings, 2197372 edges, 24342 markings/sec, 65 secs
lola: 1919868 markings, 2337729 edges, 22384 markings/sec, 70 secs
lola: 2051017 markings, 2498501 edges, 26230 markings/sec, 75 secs
lola: 2169776 markings, 2642963 edges, 23752 markings/sec, 80 secs
lola: 2292815 markings, 2795056 edges, 24608 markings/sec, 85 secs
lola: 2410920 markings, 2942116 edges, 23621 markings/sec, 90 secs
lola: 2520033 markings, 3078488 edges, 21823 markings/sec, 95 secs
lola: 2631949 markings, 3218270 edges, 22383 markings/sec, 100 secs
lola: 2754408 markings, 3368893 edges, 24492 markings/sec, 105 secs
lola: 2869104 markings, 3507915 edges, 22939 markings/sec, 110 secs
lola: 2991454 markings, 3660968 edges, 24470 markings/sec, 115 secs
lola: 3104497 markings, 3801122 edges, 22609 markings/sec, 120 secs
lola: 3231976 markings, 3958215 edges, 25496 markings/sec, 125 secs
lola: 3362429 markings, 4117804 edges, 26091 markings/sec, 130 secs
lola: 3531282 markings, 4327047 edges, 33771 markings/sec, 135 secs
lola: 3682233 markings, 4517062 edges, 30190 markings/sec, 140 secs
lola: 3812609 markings, 4683684 edges, 26075 markings/sec, 145 secs
lola: 3955198 markings, 4864276 edges, 28518 markings/sec, 150 secs
lola: 4076637 markings, 5016500 edges, 24288 markings/sec, 155 secs
lola: 4185356 markings, 5151375 edges, 21744 markings/sec, 160 secs
lola: 4302003 markings, 5297996 edges, 23329 markings/sec, 165 secs
lola: 4416472 markings, 5441675 edges, 22894 markings/sec, 170 secs
lola: 4561985 markings, 5623114 edges, 29103 markings/sec, 175 secs
lola: 4676739 markings, 5769553 edges, 22951 markings/sec, 180 secs
lola: 4796318 markings, 5920298 edges, 23916 markings/sec, 185 secs
lola: 4920755 markings, 6079176 edges, 24887 markings/sec, 190 secs
lola: 5062561 markings, 6258094 edges, 28361 markings/sec, 195 secs
lola: 5238087 markings, 6475383 edges, 35105 markings/sec, 200 secs
lola: 5379079 markings, 6654749 edges, 28198 markings/sec, 205 secs
lola: 5531515 markings, 6848452 edges, 30487 markings/sec, 210 secs
lola: 5688552 markings, 7043304 edges, 31407 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(p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 83876 markings, 137614 edges, 16775 markings/sec, 0 secs
lola: 175269 markings, 269575 edges, 18279 markings/sec, 5 secs
lola: 267778 markings, 419755 edges, 18502 markings/sec, 10 secs
lola: 353398 markings, 560263 edges, 17124 markings/sec, 15 secs
lola: 445555 markings, 697551 edges, 18431 markings/sec, 20 secs
lola: 535020 markings, 852894 edges, 17893 markings/sec, 25 secs
lola: 622580 markings, 1021768 edges, 17512 markings/sec, 30 secs
lola: 726046 markings, 1164460 edges, 20693 markings/sec, 35 secs
lola: 821665 markings, 1313448 edges, 19124 markings/sec, 40 secs
lola: 917173 markings, 1482416 edges, 19102 markings/sec, 45 secs
lola: 1019344 markings, 1637588 edges, 20434 markings/sec, 50 secs
lola: 1124503 markings, 1777121 edges, 21032 markings/sec, 55 secs
lola: 1219757 markings, 1898140 edges, 19051 markings/sec, 60 secs
lola: 1328451 markings, 2039969 edges, 21739 markings/sec, 65 secs
lola: 1440950 markings, 2178699 edges, 22500 markings/sec, 70 secs
lola: 1550263 markings, 2312592 edges, 21863 markings/sec, 75 secs
lola: 1652323 markings, 2438418 edges, 20412 markings/sec, 80 secs
lola: 1762143 markings, 2574325 edges, 21964 markings/sec, 85 secs
lola: 1877888 markings, 2721385 edges, 23149 markings/sec, 90 secs
lola: 1985057 markings, 2856538 edges, 21434 markings/sec, 95 secs
lola: 2089037 markings, 2986065 edges, 20796 markings/sec, 100 secs
lola: 2194888 markings, 3117593 edges, 21170 markings/sec, 105 secs
lola: 2314053 markings, 3270201 edges, 23833 markings/sec, 110 secs
lola: 2426413 markings, 3411543 edges, 22472 markings/sec, 115 secs
lola: 2539780 markings, 3551652 edges, 22673 markings/sec, 120 secs
lola: 2658033 markings, 3699497 edges, 23651 markings/sec, 125 secs
lola: 2761691 markings, 3853570 edges, 20732 markings/sec, 130 secs
lola: 2871769 markings, 3990682 edges, 22016 markings/sec, 135 secs
lola: 2967395 markings, 4111865 edges, 19125 markings/sec, 140 secs
lola: 3062012 markings, 4233073 edges, 18923 markings/sec, 145 secs
lola: 3160252 markings, 4356124 edges, 19648 markings/sec, 150 secs
lola: 3266582 markings, 4487737 edges, 21266 markings/sec, 155 secs
lola: 3374907 markings, 4620585 edges, 21665 markings/sec, 160 secs
lola: 3474910 markings, 4742844 edges, 20001 markings/sec, 165 secs
lola: 3569758 markings, 4859570 edges, 18970 markings/sec, 170 secs
lola: 3668206 markings, 4983098 edges, 19690 markings/sec, 175 secs
lola: 3752595 markings, 5089969 edges, 16878 markings/sec, 180 secs
lola: 3854641 markings, 5215202 edges, 20409 markings/sec, 185 secs
lola: 3954871 markings, 5338156 edges, 20046 markings/sec, 190 secs
lola: 4045543 markings, 5448870 edges, 18134 markings/sec, 195 secs
lola: 4152368 markings, 5579975 edges, 21365 markings/sec, 200 secs
lola: 4240816 markings, 5687375 edges, 17690 markings/sec, 205 secs
lola: 4327306 markings, 5797500 edges, 17298 markings/sec, 210 secs
lola: 4423232 markings, 5915389 edges, 19185 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(p726)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 108225 markings, 140108 edges, 21645 markings/sec, 0 secs
lola: 208346 markings, 262042 edges, 20024 markings/sec, 5 secs
lola: 308857 markings, 393223 edges, 20102 markings/sec, 10 secs
lola: 425873 markings, 545414 edges, 23403 markings/sec, 15 secs
lola: 550708 markings, 711436 edges, 24967 markings/sec, 20 secs
lola: 659008 markings, 852256 edges, 21660 markings/sec, 25 secs
lola: 760027 markings, 990546 edges, 20204 markings/sec, 30 secs
lola: 865603 markings, 1133131 edges, 21115 markings/sec, 35 secs
lola: 981675 markings, 1285266 edges, 23214 markings/sec, 40 secs
lola: 1081643 markings, 1416100 edges, 19994 markings/sec, 45 secs
lola: 1194283 markings, 1554084 edges, 22528 markings/sec, 50 secs
lola: 1311493 markings, 1727634 edges, 23442 markings/sec, 55 secs
lola: 1407080 markings, 1844337 edges, 19117 markings/sec, 60 secs
lola: 1499251 markings, 1955676 edges, 18434 markings/sec, 65 secs
lola: 1598326 markings, 2081879 edges, 19815 markings/sec, 70 secs
lola: 1704035 markings, 2223383 edges, 21142 markings/sec, 75 secs
lola: 1819464 markings, 2377465 edges, 23086 markings/sec, 80 secs
lola: 1937973 markings, 2525162 edges, 23702 markings/sec, 85 secs
lola: 2049276 markings, 2662841 edges, 22261 markings/sec, 90 secs
lola: 2157884 markings, 2801753 edges, 21722 markings/sec, 95 secs
lola: 2262195 markings, 2929320 edges, 20862 markings/sec, 100 secs
lola: 2371584 markings, 3066576 edges, 21878 markings/sec, 105 secs
lola: 2477921 markings, 3196759 edges, 21267 markings/sec, 110 secs
lola: 2590328 markings, 3335023 edges, 22481 markings/sec, 115 secs
lola: 2706096 markings, 3482199 edges, 23154 markings/sec, 120 secs
lola: 2831508 markings, 3648520 edges, 25082 markings/sec, 125 secs
lola: 2956868 markings, 3804611 edges, 25072 markings/sec, 130 secs
lola: 3075729 markings, 3955061 edges, 23772 markings/sec, 135 secs
lola: 3191136 markings, 4100640 edges, 23081 markings/sec, 140 secs
lola: 3306092 markings, 4260638 edges, 22991 markings/sec, 145 secs
lola: 3418294 markings, 4398471 edges, 22440 markings/sec, 150 secs
lola: 3540304 markings, 4560818 edges, 24402 markings/sec, 155 secs
lola: 3659323 markings, 4725066 edges, 23804 markings/sec, 160 secs
lola: 3771324 markings, 4872367 edges, 22400 markings/sec, 165 secs
lola: 3904102 markings, 5040621 edges, 26556 markings/sec, 170 secs
lola: 4022929 markings, 5195888 edges, 23765 markings/sec, 175 secs
lola: 4143391 markings, 5346749 edges, 24092 markings/sec, 180 secs
lola: 4261441 markings, 5491970 edges, 23610 markings/sec, 185 secs
lola: 4376015 markings, 5631409 edges, 22915 markings/sec, 190 secs
lola: 4487553 markings, 5767426 edges, 22308 markings/sec, 195 secs
lola: 4605585 markings, 5911761 edges, 23606 markings/sec, 200 secs
lola: 4735447 markings, 6076485 edges, 25972 markings/sec, 205 secs
lola: 4882868 markings, 6260591 edges, 29484 markings/sec, 210 secs
lola: 5016779 markings, 6428791 edges, 26782 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(p747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 116146 markings, 194923 edges, 23229 markings/sec, 0 secs
lola: 246677 markings, 427384 edges, 26106 markings/sec, 5 secs
lola: 374316 markings, 647944 edges, 25528 markings/sec, 10 secs
lola: 511857 markings, 885055 edges, 27508 markings/sec, 15 secs
lola: 642014 markings, 1089283 edges, 26031 markings/sec, 20 secs
lola: 768052 markings, 1316131 edges, 25208 markings/sec, 25 secs
lola: 910358 markings, 1557656 edges, 28461 markings/sec, 30 secs
lola: 1041809 markings, 1783070 edges, 26290 markings/sec, 35 secs
lola: 1185995 markings, 2024548 edges, 28837 markings/sec, 40 secs
lola: 1338572 markings, 2281060 edges, 30515 markings/sec, 45 secs
lola: 1475267 markings, 2467302 edges, 27339 markings/sec, 50 secs
lola: 1620974 markings, 2683086 edges, 29141 markings/sec, 55 secs
lola: 1770460 markings, 2905495 edges, 29897 markings/sec, 60 secs
lola: 1913710 markings, 3107949 edges, 28650 markings/sec, 65 secs
lola: 2050114 markings, 3303778 edges, 27281 markings/sec, 70 secs
lola: 2194245 markings, 3506109 edges, 28826 markings/sec, 75 secs
lola: 2344956 markings, 3761635 edges, 30142 markings/sec, 80 secs
lola: 2485764 markings, 3944615 edges, 28162 markings/sec, 85 secs
lola: 2625741 markings, 4119572 edges, 27995 markings/sec, 90 secs
lola: 2770337 markings, 4325021 edges, 28919 markings/sec, 95 secs
lola: 2919006 markings, 4551315 edges, 29734 markings/sec, 100 secs
lola: 3062989 markings, 4764340 edges, 28797 markings/sec, 105 secs
lola: 3206644 markings, 4944522 edges, 28731 markings/sec, 110 secs
lola: 3347316 markings, 5147002 edges, 28134 markings/sec, 115 secs
lola: 3485053 markings, 5331438 edges, 27547 markings/sec, 120 secs
lola: 3616748 markings, 5510055 edges, 26339 markings/sec, 125 secs
lola: 3774820 markings, 5766947 edges, 31614 markings/sec, 130 secs
lola: 3934603 markings, 5967762 edges, 31957 markings/sec, 135 secs
lola: 4086904 markings, 6158623 edges, 30460 markings/sec, 140 secs
lola: 4230631 markings, 6350298 edges, 28745 markings/sec, 145 secs
lola: 4366311 markings, 6534247 edges, 27136 markings/sec, 150 secs
lola: 4471494 markings, 6666019 edges, 21037 markings/sec, 155 secs
lola: 4576352 markings, 6796119 edges, 20972 markings/sec, 160 secs
lola: 4689561 markings, 6938281 edges, 22642 markings/sec, 165 secs
lola: 4809953 markings, 7095343 edges, 24078 markings/sec, 170 secs
lola: 4918731 markings, 7238940 edges, 21756 markings/sec, 175 secs
lola: 5021022 markings, 7374004 edges, 20458 markings/sec, 180 secs
lola: 5136108 markings, 7557543 edges, 23017 markings/sec, 185 secs
lola: 5276786 markings, 7749968 edges, 28136 markings/sec, 190 secs
lola: 5419953 markings, 7929094 edges, 28633 markings/sec, 195 secs
lola: 5542229 markings, 8084146 edges, 24455 markings/sec, 200 secs
lola: 5674498 markings, 8276655 edges, 26454 markings/sec, 205 secs
lola: 5781004 markings, 8413914 edges, 21301 markings/sec, 210 secs
lola: 5879058 markings, 8537051 edges, 19611 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(p973)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 101558 markings, 122048 edges, 20312 markings/sec, 0 secs
lola: 198478 markings, 239122 edges, 19384 markings/sec, 5 secs
lola: 298006 markings, 359759 edges, 19906 markings/sec, 10 secs
lola: 399569 markings, 482485 edges, 20313 markings/sec, 15 secs
lola: 501632 markings, 605819 edges, 20413 markings/sec, 20 secs
lola: 608010 markings, 735003 edges, 21276 markings/sec, 25 secs
lola: 717740 markings, 866611 edges, 21946 markings/sec, 30 secs
lola: 820773 markings, 992100 edges, 20607 markings/sec, 35 secs
lola: 927914 markings, 1122598 edges, 21428 markings/sec, 40 secs
lola: 1035917 markings, 1254141 edges, 21601 markings/sec, 45 secs
lola: 1158518 markings, 1404288 edges, 24520 markings/sec, 50 secs
lola: 1262227 markings, 1530691 edges, 20742 markings/sec, 55 secs
lola: 1366599 markings, 1657896 edges, 20874 markings/sec, 60 secs
lola: 1488948 markings, 1807857 edges, 24470 markings/sec, 65 secs
lola: 1604153 markings, 1948803 edges, 23041 markings/sec, 70 secs
lola: 1715065 markings, 2084355 edges, 22182 markings/sec, 75 secs
lola: 1836369 markings, 2232692 edges, 24261 markings/sec, 80 secs
lola: 1950180 markings, 2371796 edges, 22762 markings/sec, 85 secs
lola: 2065228 markings, 2512565 edges, 23010 markings/sec, 90 secs
lola: 2184462 markings, 2658836 edges, 23847 markings/sec, 95 secs
lola: 2288165 markings, 2785750 edges, 20741 markings/sec, 100 secs
lola: 2401164 markings, 2924199 edges, 22600 markings/sec, 105 secs
lola: 2510984 markings, 3058356 edges, 21964 markings/sec, 110 secs
lola: 2636320 markings, 3211859 edges, 25067 markings/sec, 115 secs
lola: 2763653 markings, 3368096 edges, 25467 markings/sec, 120 secs
lola: 2879321 markings, 3509819 edges, 23134 markings/sec, 125 secs
lola: 2996735 markings, 3654726 edges, 23483 markings/sec, 130 secs
lola: 3117035 markings, 3802835 edges, 24060 markings/sec, 135 secs
lola: 3226123 markings, 3936419 edges, 21818 markings/sec, 140 secs
lola: 3337907 markings, 4074157 edges, 22357 markings/sec, 145 secs
lola: 3448417 markings, 4209313 edges, 22102 markings/sec, 150 secs
lola: 3558670 markings, 4344254 edges, 22051 markings/sec, 155 secs
lola: 3682621 markings, 4496690 edges, 24790 markings/sec, 160 secs
lola: 3795783 markings, 4635808 edges, 22632 markings/sec, 165 secs
lola: 3899983 markings, 4763900 edges, 20840 markings/sec, 170 secs
lola: 4017598 markings, 4908389 edges, 23523 markings/sec, 175 secs
lola: 4150223 markings, 5071635 edges, 26525 markings/sec, 180 secs
lola: 4274311 markings, 5224857 edges, 24818 markings/sec, 185 secs
lola: 4395126 markings, 5374310 edges, 24163 markings/sec, 190 secs
lola: 4506402 markings, 5511701 edges, 22255 markings/sec, 195 secs
lola: 4627185 markings, 5661592 edges, 24157 markings/sec, 200 secs
lola: 4732893 markings, 5792448 edges, 21142 markings/sec, 205 secs
lola: 4851596 markings, 5939430 edges, 23741 markings/sec, 210 secs
lola: 4980131 markings, 6099713 edges, 25707 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(p1257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 129830 markings, 155274 edges, 25966 markings/sec, 0 secs
lola: 272017 markings, 327505 edges, 28437 markings/sec, 5 secs
lola: 419276 markings, 507235 edges, 29452 markings/sec, 10 secs
lola: 572755 markings, 693701 edges, 30696 markings/sec, 15 secs
lola: 732561 markings, 887575 edges, 31961 markings/sec, 20 secs
lola: 901105 markings, 1094510 edges, 33709 markings/sec, 25 secs
lola: 1057955 markings, 1286879 edges, 31370 markings/sec, 30 secs
lola: 1217572 markings, 1482123 edges, 31923 markings/sec, 35 secs
lola: 1375082 markings, 1674853 edges, 31502 markings/sec, 40 secs
lola: 1543730 markings, 1882716 edges, 33730 markings/sec, 45 secs
lola: 1710990 markings, 2088529 edges, 33452 markings/sec, 50 secs
lola: 1854228 markings, 2263127 edges, 28648 markings/sec, 55 secs
lola: 1997365 markings, 2437424 edges, 28627 markings/sec, 60 secs
lola: 2147794 markings, 2622523 edges, 30086 markings/sec, 65 secs
lola: 2303912 markings, 2814123 edges, 31224 markings/sec, 70 secs
lola: 2455128 markings, 2997625 edges, 30243 markings/sec, 75 secs
lola: 2610764 markings, 3188768 edges, 31127 markings/sec, 80 secs
lola: 2754527 markings, 3365441 edges, 28753 markings/sec, 85 secs
lola: 2903589 markings, 3548434 edges, 29812 markings/sec, 90 secs
lola: 3053304 markings, 3731412 edges, 29943 markings/sec, 95 secs
lola: 3219494 markings, 3935793 edges, 33238 markings/sec, 100 secs
lola: 3383866 markings, 4139068 edges, 32874 markings/sec, 105 secs
lola: 3537401 markings, 4327564 edges, 30707 markings/sec, 110 secs
lola: 3674444 markings, 4495315 edges, 27409 markings/sec, 115 secs
lola: 3817994 markings, 4672353 edges, 28710 markings/sec, 120 secs
lola: 3957826 markings, 4844791 edges, 27966 markings/sec, 125 secs
lola: 4106065 markings, 5027073 edges, 29648 markings/sec, 130 secs
lola: 4255723 markings, 5210654 edges, 29932 markings/sec, 135 secs
lola: 4408560 markings, 5397676 edges, 30567 markings/sec, 140 secs
lola: 4565582 markings, 5590828 edges, 31404 markings/sec, 145 secs
lola: 4718775 markings, 5778901 edges, 30639 markings/sec, 150 secs
lola: 4857696 markings, 5948990 edges, 27784 markings/sec, 155 secs
lola: 5001145 markings, 6125270 edges, 28690 markings/sec, 160 secs
lola: 5148605 markings, 6307122 edges, 29492 markings/sec, 165 secs
lola: 5294545 markings, 6487203 edges, 29188 markings/sec, 170 secs
lola: 5440118 markings, 6665476 edges, 29115 markings/sec, 175 secs
lola: 5577290 markings, 6834284 edges, 27434 markings/sec, 180 secs
lola: 5713514 markings, 7002276 edges, 27245 markings/sec, 185 secs
lola: 5857614 markings, 7177966 edges, 28820 markings/sec, 190 secs
lola: 5996994 markings, 7348101 edges, 27876 markings/sec, 195 secs
lola: 6142726 markings, 7526822 edges, 29146 markings/sec, 200 secs
lola: 6299802 markings, 7719269 edges, 31415 markings/sec, 205 secs
lola: 6463599 markings, 7921159 edges, 32759 markings/sec, 210 secs
lola: 6628977 markings, 8124759 edges, 33076 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(p483)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 127044 markings, 152751 edges, 25409 markings/sec, 0 secs
lola: 262528 markings, 315150 edges, 27097 markings/sec, 5 secs
lola: 405316 markings, 489153 edges, 28558 markings/sec, 10 secs
lola: 549987 markings, 664750 edges, 28934 markings/sec, 15 secs
lola: 698699 markings, 846346 edges, 29742 markings/sec, 20 secs
lola: 860936 markings, 1043522 edges, 32447 markings/sec, 25 secs
lola: 1012684 markings, 1227596 edges, 30350 markings/sec, 30 secs
lola: 1161376 markings, 1410971 edges, 29738 markings/sec, 35 secs
lola: 1296706 markings, 1578347 edges, 27066 markings/sec, 40 secs
lola: 1436777 markings, 1751000 edges, 28014 markings/sec, 45 secs
lola: 1566102 markings, 1910688 edges, 25865 markings/sec, 50 secs
lola: 1709515 markings, 2085585 edges, 28683 markings/sec, 55 secs
lola: 1844470 markings, 2253009 edges, 26991 markings/sec, 60 secs
lola: 1974900 markings, 2415386 edges, 26086 markings/sec, 65 secs
lola: 2123465 markings, 2601756 edges, 29713 markings/sec, 70 secs
lola: 2262642 markings, 2775046 edges, 27835 markings/sec, 75 secs
lola: 2377700 markings, 2919783 edges, 23012 markings/sec, 80 secs
lola: 2508690 markings, 3082213 edges, 26198 markings/sec, 85 secs
lola: 2622469 markings, 3226910 edges, 22756 markings/sec, 90 secs
lola: 2731863 markings, 3361075 edges, 21879 markings/sec, 95 secs
lola: 2839984 markings, 3495201 edges, 21624 markings/sec, 100 secs
lola: 2914985 markings, 3665305 edges, 15000 markings/sec, 105 secs
lola: 3022623 markings, 3797360 edges, 21528 markings/sec, 110 secs
lola: 3098221 markings, 3957244 edges, 15120 markings/sec, 115 secs
lola: 3188905 markings, 4110352 edges, 18137 markings/sec, 120 secs
lola: 3296896 markings, 4242801 edges, 21598 markings/sec, 125 secs
lola: 3390899 markings, 4386083 edges, 18801 markings/sec, 130 secs
lola: 3469502 markings, 4552812 edges, 15721 markings/sec, 135 secs
lola: 3567995 markings, 4750535 edges, 19699 markings/sec, 140 secs
lola: 3662867 markings, 4942060 edges, 18974 markings/sec, 145 secs
lola: 3753169 markings, 5123504 edges, 18060 markings/sec, 150 secs
lola: 3835021 markings, 5286280 edges, 16370 markings/sec, 155 secs
lola: 3910950 markings, 5438800 edges, 15186 markings/sec, 160 secs
lola: 3989300 markings, 5596445 edges, 15670 markings/sec, 165 secs
lola: 4064384 markings, 5754777 edges, 15017 markings/sec, 170 secs
lola: 4138984 markings, 5928137 edges, 14920 markings/sec, 175 secs
lola: 4224596 markings, 6090921 edges, 17122 markings/sec, 180 secs
lola: 4338193 markings, 6230242 edges, 22719 markings/sec, 185 secs
lola: 4451305 markings, 6368693 edges, 22622 markings/sec, 190 secs
lola: 4565480 markings, 6508591 edges, 22835 markings/sec, 195 secs
lola: 4674403 markings, 6641448 edges, 21785 markings/sec, 200 secs
lola: 4789840 markings, 6782812 edges, 23087 markings/sec, 205 secs
lola: 4905011 markings, 6924069 edges, 23034 markings/sec, 210 secs
lola: 5012530 markings, 7055259 edges, 21504 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(p689)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 136531 markings, 165212 edges, 27306 markings/sec, 0 secs
lola: 291353 markings, 351471 edges, 30964 markings/sec, 5 secs
lola: 448590 markings, 542732 edges, 31447 markings/sec, 10 secs
lola: 605585 markings, 734543 edges, 31399 markings/sec, 15 secs
lola: 760210 markings, 923127 edges, 30925 markings/sec, 20 secs
lola: 913919 markings, 1112132 edges, 30742 markings/sec, 25 secs
lola: 1066530 markings, 1299342 edges, 30522 markings/sec, 30 secs
lola: 1220449 markings, 1488996 edges, 30784 markings/sec, 35 secs
lola: 1379634 markings, 1685047 edges, 31837 markings/sec, 40 secs
lola: 1533366 markings, 1873509 edges, 30746 markings/sec, 45 secs
lola: 1689959 markings, 2066385 edges, 31319 markings/sec, 50 secs
lola: 1836886 markings, 2247033 edges, 29385 markings/sec, 55 secs
lola: 1998242 markings, 2443733 edges, 32271 markings/sec, 60 secs
lola: 2141687 markings, 2616607 edges, 28689 markings/sec, 65 secs
lola: 2295418 markings, 2804501 edges, 30746 markings/sec, 70 secs
lola: 2451988 markings, 2995502 edges, 31314 markings/sec, 75 secs
lola: 2601088 markings, 3177637 edges, 29820 markings/sec, 80 secs
lola: 2768861 markings, 3384233 edges, 33555 markings/sec, 85 secs
lola: 2930466 markings, 3583070 edges, 32321 markings/sec, 90 secs
lola: 3088750 markings, 3777441 edges, 31657 markings/sec, 95 secs
lola: 3249256 markings, 3975735 edges, 32101 markings/sec, 100 secs
lola: 3400988 markings, 4162759 edges, 30346 markings/sec, 105 secs
lola: 3552651 markings, 4349407 edges, 30333 markings/sec, 110 secs
lola: 3708065 markings, 4541405 edges, 31083 markings/sec, 115 secs
lola: 3850071 markings, 4716814 edges, 28401 markings/sec, 120 secs
lola: 4006979 markings, 4909878 edges, 31382 markings/sec, 125 secs
lola: 4165348 markings, 5105424 edges, 31674 markings/sec, 130 secs
lola: 4324374 markings, 5302040 edges, 31805 markings/sec, 135 secs
lola: 4479793 markings, 5492590 edges, 31084 markings/sec, 140 secs
lola: 4620578 markings, 5664983 edges, 28157 markings/sec, 145 secs
lola: 4761681 markings, 5839210 edges, 28221 markings/sec, 150 secs
lola: 4902504 markings, 6012675 edges, 28165 markings/sec, 155 secs
lola: 5053421 markings, 6198961 edges, 30183 markings/sec, 160 secs
lola: 5205094 markings, 6385344 edges, 30335 markings/sec, 165 secs
lola: 5344275 markings, 6556404 edges, 27836 markings/sec, 170 secs
lola: 5494321 markings, 6740593 edges, 30009 markings/sec, 175 secs
lola: 5644656 markings, 6924758 edges, 30067 markings/sec, 180 secs
lola: 5789862 markings, 7103766 edges, 29041 markings/sec, 185 secs
lola: 5942629 markings, 7291499 edges, 30553 markings/sec, 190 secs
lola: 6090555 markings, 7473405 edges, 29585 markings/sec, 195 secs
lola: 6234079 markings, 7650081 edges, 28705 markings/sec, 200 secs
lola: 6381165 markings, 7831447 edges, 29417 markings/sec, 205 secs
lola: 6528907 markings, 8013353 edges, 29548 markings/sec, 210 secs
lola: 6678537 markings, 8197774 edges, 29926 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(p2102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 106497 markings, 128321 edges, 21299 markings/sec, 0 secs
lola: 211982 markings, 255749 edges, 21097 markings/sec, 5 secs
lola: 324064 markings, 391090 edges, 22416 markings/sec, 10 secs
lola: 437985 markings, 529296 edges, 22784 markings/sec, 15 secs
lola: 551201 markings, 667166 edges, 22643 markings/sec, 20 secs
lola: 663671 markings, 803998 edges, 22494 markings/sec, 25 secs
lola: 775536 markings, 938423 edges, 22373 markings/sec, 30 secs
lola: 885886 markings, 1072706 edges, 22070 markings/sec, 35 secs
lola: 994271 markings, 1204957 edges, 21677 markings/sec, 40 secs
lola: 1109683 markings, 1346019 edges, 23082 markings/sec, 45 secs
lola: 1216490 markings, 1475754 edges, 21361 markings/sec, 50 secs
lola: 1326131 markings, 1609801 edges, 21928 markings/sec, 55 secs
lola: 1430981 markings, 1737777 edges, 20970 markings/sec, 60 secs
lola: 1542267 markings, 1873690 edges, 22257 markings/sec, 65 secs
lola: 1656353 markings, 2012610 edges, 22817 markings/sec, 70 secs
lola: 1752992 markings, 2128330 edges, 19328 markings/sec, 75 secs
lola: 1856879 markings, 2254565 edges, 20777 markings/sec, 80 secs
lola: 1969803 markings, 2392402 edges, 22585 markings/sec, 85 secs
lola: 2095695 markings, 2546501 edges, 25178 markings/sec, 90 secs
lola: 2242347 markings, 2727358 edges, 29330 markings/sec, 95 secs
lola: 2374600 markings, 2886537 edges, 26451 markings/sec, 100 secs
lola: 2506295 markings, 3045347 edges, 26339 markings/sec, 105 secs
lola: 2632409 markings, 3198183 edges, 25223 markings/sec, 110 secs
lola: 2761698 markings, 3359834 edges, 25858 markings/sec, 115 secs
lola: 2895381 markings, 3526948 edges, 26737 markings/sec, 120 secs
lola: 3017938 markings, 3680417 edges, 24511 markings/sec, 125 secs
lola: 3146470 markings, 3839087 edges, 25706 markings/sec, 130 secs
lola: 3268331 markings, 3992757 edges, 24372 markings/sec, 135 secs
lola: 3399116 markings, 4156751 edges, 26157 markings/sec, 140 secs
lola: 3518042 markings, 4305283 edges, 23785 markings/sec, 145 secs
lola: 3637655 markings, 4457587 edges, 23923 markings/sec, 150 secs
lola: 3762137 markings, 4610099 edges, 24896 markings/sec, 155 secs
lola: 3891765 markings, 4771211 edges, 25926 markings/sec, 160 secs
lola: 4013731 markings, 4924025 edges, 24393 markings/sec, 165 secs
lola: 4125141 markings, 5062897 edges, 22282 markings/sec, 170 secs
lola: 4244085 markings, 5211447 edges, 23789 markings/sec, 175 secs
lola: 4364666 markings, 5364671 edges, 24116 markings/sec, 180 secs
lola: 4510400 markings, 5546771 edges, 29147 markings/sec, 185 secs
lola: 4649508 markings, 5720170 edges, 27822 markings/sec, 190 secs
lola: 4773989 markings, 5878495 edges, 24896 markings/sec, 195 secs
lola: 4911409 markings, 6049723 edges, 27484 markings/sec, 200 secs
lola: 5035729 markings, 6205232 edges, 24864 markings/sec, 205 secs
lola: 5152873 markings, 6352996 edges, 23429 markings/sec, 210 secs
lola: 5268469 markings, 6498064 edges, 23119 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(p1111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 106316 markings, 128039 edges, 21263 markings/sec, 0 secs
lola: 217803 markings, 262557 edges, 22297 markings/sec, 5 secs
lola: 349640 markings, 422784 edges, 26367 markings/sec, 10 secs
lola: 479963 markings, 581720 edges, 26065 markings/sec, 15 secs
lola: 605200 markings, 734324 edges, 25047 markings/sec, 20 secs
lola: 726095 markings, 881698 edges, 24179 markings/sec, 25 secs
lola: 843253 markings, 1024743 edges, 23432 markings/sec, 30 secs
lola: 963991 markings, 1173157 edges, 24148 markings/sec, 35 secs
lola: 1078120 markings, 1312113 edges, 22826 markings/sec, 40 secs
lola: 1200112 markings, 1461795 edges, 24398 markings/sec, 45 secs
lola: 1313923 markings, 1604058 edges, 22762 markings/sec, 50 secs
lola: 1436160 markings, 1754629 edges, 24447 markings/sec, 55 secs
lola: 1548786 markings, 1892062 edges, 22525 markings/sec, 60 secs
lola: 1664813 markings, 2033666 edges, 23205 markings/sec, 65 secs
lola: 1779195 markings, 2176225 edges, 22876 markings/sec, 70 secs
lola: 1882836 markings, 2305893 edges, 20728 markings/sec, 75 secs
lola: 2002455 markings, 2453772 edges, 23924 markings/sec, 80 secs
lola: 2106782 markings, 2584570 edges, 20865 markings/sec, 85 secs
lola: 2224468 markings, 2728597 edges, 23537 markings/sec, 90 secs
lola: 2330942 markings, 2857883 edges, 21295 markings/sec, 95 secs
lola: 2449118 markings, 3005832 edges, 23635 markings/sec, 100 secs
lola: 2556331 markings, 3138729 edges, 21443 markings/sec, 105 secs
lola: 2675113 markings, 3285463 edges, 23756 markings/sec, 110 secs
lola: 2788764 markings, 3422517 edges, 22730 markings/sec, 115 secs
lola: 2900123 markings, 3561999 edges, 22272 markings/sec, 120 secs
lola: 3001201 markings, 3687700 edges, 20216 markings/sec, 125 secs
lola: 3114112 markings, 3830210 edges, 22582 markings/sec, 130 secs
lola: 3272027 markings, 4026582 edges, 31583 markings/sec, 135 secs
lola: 3429668 markings, 4222826 edges, 31528 markings/sec, 140 secs
lola: 3549841 markings, 4376410 edges, 24035 markings/sec, 145 secs
lola: 3665690 markings, 4523076 edges, 23170 markings/sec, 150 secs
lola: 3792599 markings, 4683601 edges, 25382 markings/sec, 155 secs
lola: 3919832 markings, 4840585 edges, 25447 markings/sec, 160 secs
lola: 4061712 markings, 5017150 edges, 28376 markings/sec, 165 secs
lola: 4180961 markings, 5168207 edges, 23850 markings/sec, 170 secs
lola: 4284927 markings, 5303494 edges, 20793 markings/sec, 175 secs
lola: 4414614 markings, 5468135 edges, 25937 markings/sec, 180 secs
lola: 4543216 markings, 5630674 edges, 25720 markings/sec, 185 secs
lola: 4704088 markings, 5829798 edges, 32174 markings/sec, 190 secs
lola: 4838125 markings, 5999433 edges, 26807 markings/sec, 195 secs
lola: 4977821 markings, 6176538 edges, 27939 markings/sec, 200 secs
lola: 5120472 markings, 6354866 edges, 28530 markings/sec, 205 secs
lola: 5265322 markings, 6537583 edges, 28970 markings/sec, 210 secs
lola: 5406496 markings, 6715281 edges, 28235 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(p2060)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 139706 markings, 210804 edges, 27941 markings/sec, 0 secs
lola: 266169 markings, 404490 edges, 25293 markings/sec, 5 secs
lola: 410764 markings, 608797 edges, 28919 markings/sec, 10 secs
lola: 562623 markings, 800001 edges, 30372 markings/sec, 15 secs
lola: 690226 markings, 1012707 edges, 25521 markings/sec, 20 secs
lola: 794222 markings, 1218181 edges, 20799 markings/sec, 25 secs
lola: 905836 markings, 1410928 edges, 22323 markings/sec, 30 secs
lola: 1016744 markings, 1544888 edges, 22182 markings/sec, 35 secs
lola: 1125915 markings, 1676905 edges, 21834 markings/sec, 40 secs
lola: 1252775 markings, 1872292 edges, 25372 markings/sec, 45 secs
lola: 1383678 markings, 2079488 edges, 26181 markings/sec, 50 secs
lola: 1545221 markings, 2325123 edges, 32309 markings/sec, 55 secs
lola: 1685297 markings, 2529766 edges, 28015 markings/sec, 60 secs
lola: 1813523 markings, 2729204 edges, 25645 markings/sec, 65 secs
lola: 1938335 markings, 2899191 edges, 24962 markings/sec, 70 secs
lola: 2057338 markings, 3053743 edges, 23801 markings/sec, 75 secs
lola: 2185925 markings, 3212440 edges, 25717 markings/sec, 80 secs
lola: 2308679 markings, 3392450 edges, 24551 markings/sec, 85 secs
lola: 2438254 markings, 3570441 edges, 25915 markings/sec, 90 secs
lola: 2553454 markings, 3721791 edges, 23040 markings/sec, 95 secs
lola: 2683341 markings, 3919940 edges, 25977 markings/sec, 100 secs
lola: 2802569 markings, 4089676 edges, 23846 markings/sec, 105 secs
lola: 2955421 markings, 4319149 edges, 30570 markings/sec, 110 secs
lola: 3107416 markings, 4517867 edges, 30399 markings/sec, 115 secs
lola: 3243902 markings, 4717107 edges, 27297 markings/sec, 120 secs
lola: 3375844 markings, 4906800 edges, 26388 markings/sec, 125 secs
lola: 3511844 markings, 5102352 edges, 27200 markings/sec, 130 secs
lola: 3635731 markings, 5274800 edges, 24777 markings/sec, 135 secs
lola: 3750528 markings, 5440401 edges, 22959 markings/sec, 140 secs
lola: 3880758 markings, 5604337 edges, 26046 markings/sec, 145 secs
lola: 3999861 markings, 5758100 edges, 23821 markings/sec, 150 secs
lola: 4122966 markings, 5917472 edges, 24621 markings/sec, 155 secs
lola: 4237404 markings, 6078311 edges, 22888 markings/sec, 160 secs
lola: 4362893 markings, 6236660 edges, 25098 markings/sec, 165 secs
lola: 4481660 markings, 6384550 edges, 23753 markings/sec, 170 secs
lola: 4600003 markings, 6538343 edges, 23669 markings/sec, 175 secs
lola: 4718987 markings, 6697909 edges, 23797 markings/sec, 180 secs
lola: 4843667 markings, 6873304 edges, 24936 markings/sec, 185 secs
lola: 4972929 markings, 7043819 edges, 25852 markings/sec, 190 secs
lola: 5099098 markings, 7201664 edges, 25234 markings/sec, 195 secs
lola: 5231116 markings, 7366183 edges, 26404 markings/sec, 200 secs
lola: 5361267 markings, 7534947 edges, 26030 markings/sec, 205 secs
lola: 5488554 markings, 7702588 edges, 25457 markings/sec, 210 secs
lola: 5611383 markings, 7870831 edges, 24566 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(p1996)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 195581 markings, 326112 edges, 39116 markings/sec, 0 secs
lola: 393870 markings, 659208 edges, 39658 markings/sec, 5 secs
lola: 583046 markings, 973820 edges, 37835 markings/sec, 10 secs
lola: 772442 markings, 1296990 edges, 37879 markings/sec, 15 secs
lola: 963286 markings, 1622153 edges, 38169 markings/sec, 20 secs
lola: 1155925 markings, 1951047 edges, 38528 markings/sec, 25 secs
lola: 1349938 markings, 2281563 edges, 38803 markings/sec, 30 secs
lola: 1545758 markings, 2615194 edges, 39164 markings/sec, 35 secs
lola: 1735477 markings, 2936866 edges, 37944 markings/sec, 40 secs
lola: 1920543 markings, 3255857 edges, 37013 markings/sec, 45 secs
lola: 2109992 markings, 3580963 edges, 37890 markings/sec, 50 secs
lola: 2299075 markings, 3904323 edges, 37817 markings/sec, 55 secs
lola: 2488756 markings, 4229942 edges, 37936 markings/sec, 60 secs
lola: 2679424 markings, 4559669 edges, 38134 markings/sec, 65 secs
lola: 2872014 markings, 4907306 edges, 38518 markings/sec, 70 secs
lola: 3065207 markings, 5252559 edges, 38639 markings/sec, 75 secs
lola: 3249150 markings, 5585947 edges, 36789 markings/sec, 80 secs
lola: 3422811 markings, 5901114 edges, 34732 markings/sec, 85 secs
lola: 3577561 markings, 6181937 edges, 30950 markings/sec, 90 secs
lola: 3727256 markings, 6450547 edges, 29939 markings/sec, 95 secs
lola: 3866947 markings, 6703345 edges, 27938 markings/sec, 100 secs
lola: 3997352 markings, 6939988 edges, 26081 markings/sec, 105 secs
lola: 4120343 markings, 7159639 edges, 24598 markings/sec, 110 secs
lola: 4247252 markings, 7389826 edges, 25382 markings/sec, 115 secs
lola: 4378181 markings, 7629714 edges, 26186 markings/sec, 120 secs
lola: 4488499 markings, 7820813 edges, 22064 markings/sec, 125 secs
lola: 4592154 markings, 8006639 edges, 20731 markings/sec, 130 secs
lola: 4684406 markings, 8181924 edges, 18450 markings/sec, 135 secs
lola: 4781591 markings, 8356963 edges, 19437 markings/sec, 140 secs
lola: 4872746 markings, 8523405 edges, 18231 markings/sec, 145 secs
lola: 4961905 markings, 8678054 edges, 17832 markings/sec, 150 secs
lola: 5046861 markings, 8829160 edges, 16991 markings/sec, 155 secs
lola: 5123899 markings, 8975610 edges, 15408 markings/sec, 160 secs
lola: 5198394 markings, 9115296 edges, 14899 markings/sec, 165 secs
lola: 5281814 markings, 9266798 edges, 16684 markings/sec, 170 secs
lola: 5365579 markings, 9419970 edges, 16753 markings/sec, 175 secs
lola: 5473832 markings, 9607647 edges, 21651 markings/sec, 180 secs
lola: 5574424 markings, 9789526 edges, 20118 markings/sec, 185 secs
lola: 5666257 markings, 9962771 edges, 18367 markings/sec, 190 secs
lola: 5765734 markings, 10142005 edges, 19895 markings/sec, 195 secs
lola: 5853585 markings, 10299365 edges, 17570 markings/sec, 200 secs
lola: 5943689 markings, 10454171 edges, 18021 markings/sec, 205 secs
lola: 6022693 markings, 10605447 edges, 15801 markings/sec, 210 secs
lola: 6099745 markings, 10748271 edges, 15410 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(p1257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 123477 markings, 147443 edges, 24695 markings/sec, 0 secs
lola: 259732 markings, 312528 edges, 27251 markings/sec, 5 secs
lola: 397667 markings, 480921 edges, 27587 markings/sec, 10 secs
lola: 546132 markings, 661932 edges, 29693 markings/sec, 15 secs
lola: 697411 markings, 844365 edges, 30256 markings/sec, 20 secs
lola: 858369 markings, 1041719 edges, 32192 markings/sec, 25 secs
lola: 1013431 markings, 1232406 edges, 31012 markings/sec, 30 secs
lola: 1166297 markings, 1419216 edges, 30573 markings/sec, 35 secs
lola: 1313002 markings, 1599039 edges, 29341 markings/sec, 40 secs
lola: 1472127 markings, 1794185 edges, 31825 markings/sec, 45 secs
lola: 1629628 markings, 1988441 edges, 31500 markings/sec, 50 secs
lola: 1772932 markings, 2163386 edges, 28661 markings/sec, 55 secs
lola: 1909436 markings, 2330060 edges, 27301 markings/sec, 60 secs
lola: 2051752 markings, 2504311 edges, 28463 markings/sec, 65 secs
lola: 2195722 markings, 2681296 edges, 28794 markings/sec, 70 secs
lola: 2347101 markings, 2866740 edges, 30276 markings/sec, 75 secs
lola: 2486689 markings, 3036358 edges, 27918 markings/sec, 80 secs
lola: 2629314 markings, 3211234 edges, 28525 markings/sec, 85 secs
lola: 2764560 markings, 3377828 edges, 27049 markings/sec, 90 secs
lola: 2904420 markings, 3549457 edges, 27972 markings/sec, 95 secs
lola: 3051988 markings, 3729784 edges, 29514 markings/sec, 100 secs
lola: 3215688 markings, 3931096 edges, 32740 markings/sec, 105 secs
lola: 3377854 markings, 4131561 edges, 32433 markings/sec, 110 secs
lola: 3532534 markings, 4321556 edges, 30936 markings/sec, 115 secs
lola: 3669690 markings, 4489427 edges, 27431 markings/sec, 120 secs
lola: 3811548 markings, 4664365 edges, 28372 markings/sec, 125 secs
lola: 3945570 markings, 4829623 edges, 26804 markings/sec, 130 secs
lola: 4087272 markings, 5004039 edges, 28340 markings/sec, 135 secs
lola: 4230791 markings, 5180050 edges, 28704 markings/sec, 140 secs
lola: 4377377 markings, 5359130 edges, 29317 markings/sec, 145 secs
lola: 4532512 markings, 5550295 edges, 31027 markings/sec, 150 secs
lola: 4684381 markings, 5736788 edges, 30374 markings/sec, 155 secs
lola: 4827546 markings, 5911846 edges, 28633 markings/sec, 160 secs
lola: 4964485 markings, 6080245 edges, 27388 markings/sec, 165 secs
lola: 5107146 markings, 6256033 edges, 28532 markings/sec, 170 secs
lola: 5249789 markings, 6432363 edges, 28529 markings/sec, 175 secs
lola: 5390003 markings, 6603641 edges, 28043 markings/sec, 180 secs
lola: 5522027 markings, 6766420 edges, 26405 markings/sec, 185 secs
lola: 5650596 markings, 6924770 edges, 25714 markings/sec, 190 secs
lola: 5797182 markings, 7104870 edges, 29317 markings/sec, 195 secs
lola: 5930005 markings, 7265818 edges, 26565 markings/sec, 200 secs
lola: 6073503 markings, 7441874 edges, 28700 markings/sec, 205 secs
lola: 6217929 markings, 7618862 edges, 28885 markings/sec, 210 secs
lola: 6372763 markings, 7809168 edges, 30967 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(p837)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 106067 markings, 127726 edges, 21213 markings/sec, 0 secs
lola: 210789 markings, 254097 edges, 20944 markings/sec, 5 secs
lola: 318686 markings, 385177 edges, 21579 markings/sec, 10 secs
lola: 427328 markings, 515209 edges, 21728 markings/sec, 15 secs
lola: 538030 markings, 649639 edges, 22140 markings/sec, 20 secs
lola: 644721 markings, 779482 edges, 21338 markings/sec, 25 secs
lola: 757177 markings, 916704 edges, 22491 markings/sec, 30 secs
lola: 874107 markings, 1059640 edges, 23386 markings/sec, 35 secs
lola: 985155 markings, 1195367 edges, 22210 markings/sec, 40 secs
lola: 1098060 markings, 1333480 edges, 22581 markings/sec, 45 secs
lola: 1215047 markings, 1476394 edges, 23397 markings/sec, 50 secs
lola: 1332085 markings, 1619428 edges, 23408 markings/sec, 55 secs
lola: 1445476 markings, 1758110 edges, 22678 markings/sec, 60 secs
lola: 1555985 markings, 1890965 edges, 22102 markings/sec, 65 secs
lola: 1669927 markings, 2028931 edges, 22788 markings/sec, 70 secs
lola: 1790589 markings, 2176747 edges, 24132 markings/sec, 75 secs
lola: 1897012 markings, 2307213 edges, 21285 markings/sec, 80 secs
lola: 2013539 markings, 2450229 edges, 23305 markings/sec, 85 secs
lola: 2144221 markings, 2611363 edges, 26136 markings/sec, 90 secs
lola: 2258893 markings, 2751266 edges, 22934 markings/sec, 95 secs
lola: 2379297 markings, 2898442 edges, 24081 markings/sec, 100 secs
lola: 2496772 markings, 3042909 edges, 23495 markings/sec, 105 secs
lola: 2615127 markings, 3187606 edges, 23671 markings/sec, 110 secs
lola: 2728673 markings, 3324326 edges, 22709 markings/sec, 115 secs
lola: 2846040 markings, 3466498 edges, 23473 markings/sec, 120 secs
lola: 2975293 markings, 3624850 edges, 25851 markings/sec, 125 secs
lola: 3126797 markings, 3815514 edges, 30301 markings/sec, 130 secs
lola: 3279160 markings, 4005665 edges, 30473 markings/sec, 135 secs
lola: 3415444 markings, 4173930 edges, 27257 markings/sec, 140 secs
lola: 3546016 markings, 4338741 edges, 26114 markings/sec, 145 secs
lola: 3693472 markings, 4523614 edges, 29491 markings/sec, 150 secs
lola: 3830322 markings, 4694464 edges, 27370 markings/sec, 155 secs
lola: 3957137 markings, 4854039 edges, 25363 markings/sec, 160 secs
lola: 4071812 markings, 4993189 edges, 22935 markings/sec, 165 secs
lola: 4238014 markings, 5203351 edges, 33240 markings/sec, 170 secs
lola: 4401690 markings, 5407641 edges, 32735 markings/sec, 175 secs
lola: 4552902 markings, 5597631 edges, 30242 markings/sec, 180 secs
lola: 4692507 markings, 5772128 edges, 27921 markings/sec, 185 secs
lola: 4803958 markings, 5911507 edges, 22290 markings/sec, 190 secs
lola: 4914714 markings, 6050374 edges, 22151 markings/sec, 195 secs
lola: 5031866 markings, 6198105 edges, 23430 markings/sec, 200 secs
lola: 5160038 markings, 6357000 edges, 25634 markings/sec, 205 secs
lola: 5263389 markings, 6487673 edges, 20670 markings/sec, 210 secs
lola: 5367194 markings, 6617753 edges, 20761 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-304-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-304-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496533065646

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