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

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

=== Now, execution of the tool begins

BK_START 1496534211705


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-318: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-318 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-318-UpperBounds.task
lola: MAX(p166) : MAX(p1744) : MAX(p1259) : MAX(p1018) : MAX(p114) : MAX(p1889) : MAX(p1068) : MAX(p513) : MAX(p0) : MAX(p2333) : MAX(p265) : MAX(p731) : MAX(p2425) : MAX(p744) : MAX(p1294) : MAX(p799)
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(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 94440 markings, 115098 edges, 18888 markings/sec, 0 secs
lola: 184082 markings, 224101 edges, 17928 markings/sec, 5 secs
lola: 282622 markings, 346978 edges, 19708 markings/sec, 10 secs
lola: 371943 markings, 456703 edges, 17864 markings/sec, 15 secs
lola: 467281 markings, 574977 edges, 19068 markings/sec, 20 secs
lola: 561753 markings, 692111 edges, 18894 markings/sec, 25 secs
lola: 642100 markings, 789859 edges, 16069 markings/sec, 30 secs
lola: 734811 markings, 905193 edges, 18542 markings/sec, 35 secs
lola: 829009 markings, 1023089 edges, 18840 markings/sec, 40 secs
lola: 920814 markings, 1138500 edges, 18361 markings/sec, 45 secs
lola: 1000853 markings, 1235989 edges, 16008 markings/sec, 50 secs
lola: 1080883 markings, 1333405 edges, 16006 markings/sec, 55 secs
lola: 1169061 markings, 1440432 edges, 17636 markings/sec, 60 secs
lola: 1264049 markings, 1558317 edges, 18998 markings/sec, 65 secs
lola: 1367368 markings, 1690445 edges, 20664 markings/sec, 70 secs
lola: 1469061 markings, 1818950 edges, 20339 markings/sec, 75 secs
lola: 1565722 markings, 1940978 edges, 19332 markings/sec, 80 secs
lola: 1659756 markings, 2059797 edges, 18807 markings/sec, 85 secs
lola: 1745975 markings, 2166326 edges, 17244 markings/sec, 90 secs
lola: 1847582 markings, 2297917 edges, 20321 markings/sec, 95 secs
lola: 1946764 markings, 2424826 edges, 19836 markings/sec, 100 secs
lola: 2043067 markings, 2545923 edges, 19261 markings/sec, 105 secs
lola: 2138478 markings, 2668460 edges, 19082 markings/sec, 110 secs
lola: 2219770 markings, 2768632 edges, 16258 markings/sec, 115 secs
lola: 2313264 markings, 2882106 edges, 18699 markings/sec, 120 secs
lola: 2419738 markings, 3017481 edges, 21295 markings/sec, 125 secs
lola: 2526795 markings, 3154564 edges, 21411 markings/sec, 130 secs
lola: 2636615 markings, 3291047 edges, 21964 markings/sec, 135 secs
lola: 2740315 markings, 3420800 edges, 20740 markings/sec, 140 secs
lola: 2833711 markings, 3536198 edges, 18679 markings/sec, 145 secs
lola: 2923711 markings, 3646511 edges, 18000 markings/sec, 150 secs
lola: 3010920 markings, 3754466 edges, 17442 markings/sec, 155 secs
lola: 3118428 markings, 3893294 edges, 21502 markings/sec, 160 secs
lola: 3225282 markings, 4028919 edges, 21371 markings/sec, 165 secs
lola: 3329753 markings, 4160260 edges, 20894 markings/sec, 170 secs
lola: 3430115 markings, 4285223 edges, 20072 markings/sec, 175 secs
lola: 3532279 markings, 4416497 edges, 20433 markings/sec, 180 secs
lola: 3614284 markings, 4518674 edges, 16401 markings/sec, 185 secs
lola: 3709764 markings, 4635847 edges, 19096 markings/sec, 190 secs
lola: 3772768 markings, 4712881 edges, 12601 markings/sec, 195 secs
lola: 3859446 markings, 4824502 edges, 17336 markings/sec, 200 secs
lola: 3947110 markings, 4931874 edges, 17533 markings/sec, 205 secs
lola: 4006541 markings, 5004031 edges, 11886 markings/sec, 210 secs
lola: 4108556 markings, 5135600 edges, 20403 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(p1744)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 112414 markings, 135273 edges, 22483 markings/sec, 0 secs
lola: 221128 markings, 266112 edges, 21743 markings/sec, 5 secs
lola: 338195 markings, 406633 edges, 23413 markings/sec, 10 secs
lola: 463426 markings, 557273 edges, 25046 markings/sec, 15 secs
lola: 582663 markings, 701086 edges, 23847 markings/sec, 20 secs
lola: 709671 markings, 855269 edges, 25402 markings/sec, 25 secs
lola: 848183 markings, 1023926 edges, 27702 markings/sec, 30 secs
lola: 979454 markings, 1188364 edges, 26254 markings/sec, 35 secs
lola: 1112068 markings, 1354560 edges, 26523 markings/sec, 40 secs
lola: 1267243 markings, 1548841 edges, 31035 markings/sec, 45 secs
lola: 1406158 markings, 1723484 edges, 27783 markings/sec, 50 secs
lola: 1545053 markings, 1897797 edges, 27779 markings/sec, 55 secs
lola: 1674395 markings, 2058257 edges, 25868 markings/sec, 60 secs
lola: 1815249 markings, 2233887 edges, 28171 markings/sec, 65 secs
lola: 1948463 markings, 2401753 edges, 26643 markings/sec, 70 secs
lola: 2083219 markings, 2573450 edges, 26951 markings/sec, 75 secs
lola: 2211015 markings, 2733923 edges, 25559 markings/sec, 80 secs
lola: 2333574 markings, 2887918 edges, 24512 markings/sec, 85 secs
lola: 2471022 markings, 3064655 edges, 27490 markings/sec, 90 secs
lola: 2595273 markings, 3222639 edges, 24850 markings/sec, 95 secs
lola: 2719582 markings, 3372808 edges, 24862 markings/sec, 100 secs
lola: 2875826 markings, 3566589 edges, 31249 markings/sec, 105 secs
lola: 3034760 markings, 3766458 edges, 31787 markings/sec, 110 secs
lola: 3200556 markings, 3978272 edges, 33159 markings/sec, 115 secs
lola: 3352788 markings, 4169986 edges, 30446 markings/sec, 120 secs
lola: 3475425 markings, 4323787 edges, 24527 markings/sec, 125 secs
lola: 3585647 markings, 4460891 edges, 22044 markings/sec, 130 secs
lola: 3705549 markings, 4611990 edges, 23980 markings/sec, 135 secs
lola: 3837397 markings, 4779636 edges, 26370 markings/sec, 140 secs
lola: 3940945 markings, 4909757 edges, 20710 markings/sec, 145 secs
lola: 4077266 markings, 5083122 edges, 27264 markings/sec, 150 secs
lola: 4221356 markings, 5263942 edges, 28818 markings/sec, 155 secs
lola: 4360484 markings, 5443285 edges, 27826 markings/sec, 160 secs
lola: 4481629 markings, 5595651 edges, 24229 markings/sec, 165 secs
lola: 4605823 markings, 5750987 edges, 24839 markings/sec, 170 secs
lola: 4722913 markings, 5898473 edges, 23418 markings/sec, 175 secs
lola: 4828876 markings, 6030213 edges, 21193 markings/sec, 180 secs
lola: 4945495 markings, 6178441 edges, 23324 markings/sec, 185 secs
lola: 5074937 markings, 6348072 edges, 25888 markings/sec, 190 secs
lola: 5180850 markings, 6483982 edges, 21183 markings/sec, 195 secs
lola: 5280018 markings, 6611398 edges, 19834 markings/sec, 200 secs
lola: 5406900 markings, 6774542 edges, 25376 markings/sec, 205 secs
lola: 5519954 markings, 6920736 edges, 22611 markings/sec, 210 secs
lola: 5636954 markings, 7067203 edges, 23400 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(p1259)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 143034 markings, 172424 edges, 28607 markings/sec, 0 secs
lola: 297814 markings, 361905 edges, 30956 markings/sec, 5 secs
lola: 453024 markings, 551719 edges, 31042 markings/sec, 10 secs
lola: 632376 markings, 771500 edges, 35870 markings/sec, 15 secs
lola: 794672 markings, 970805 edges, 32459 markings/sec, 20 secs
lola: 926947 markings, 1133881 edges, 26455 markings/sec, 25 secs
lola: 1058144 markings, 1295350 edges, 26239 markings/sec, 30 secs
lola: 1224389 markings, 1500627 edges, 33249 markings/sec, 35 secs
lola: 1397092 markings, 1714040 edges, 34541 markings/sec, 40 secs
lola: 1521197 markings, 1864178 edges, 24821 markings/sec, 45 secs
lola: 1656779 markings, 2029682 edges, 27116 markings/sec, 50 secs
lola: 1806484 markings, 2208032 edges, 29941 markings/sec, 55 secs
lola: 1942000 markings, 2373291 edges, 27103 markings/sec, 60 secs
lola: 2075755 markings, 2536617 edges, 26751 markings/sec, 65 secs
lola: 2218006 markings, 2710176 edges, 28450 markings/sec, 70 secs
lola: 2356150 markings, 2880143 edges, 27629 markings/sec, 75 secs
lola: 2505574 markings, 3063533 edges, 29885 markings/sec, 80 secs
lola: 2650256 markings, 3241296 edges, 28936 markings/sec, 85 secs
lola: 2789069 markings, 3411083 edges, 27763 markings/sec, 90 secs
lola: 2933807 markings, 3589159 edges, 28948 markings/sec, 95 secs
lola: 3070913 markings, 3756975 edges, 27421 markings/sec, 100 secs
lola: 3206388 markings, 3923236 edges, 27095 markings/sec, 105 secs
lola: 3340064 markings, 4086429 edges, 26735 markings/sec, 110 secs
lola: 3476784 markings, 4253756 edges, 27344 markings/sec, 115 secs
lola: 3614076 markings, 4422273 edges, 27458 markings/sec, 120 secs
lola: 3755173 markings, 4593640 edges, 28219 markings/sec, 125 secs
lola: 3912210 markings, 4784767 edges, 31407 markings/sec, 130 secs
lola: 4069284 markings, 4979525 edges, 31415 markings/sec, 135 secs
lola: 4225008 markings, 5171550 edges, 31145 markings/sec, 140 secs
lola: 4392167 markings, 5378698 edges, 33432 markings/sec, 145 secs
lola: 4559606 markings, 5585601 edges, 33488 markings/sec, 150 secs
lola: 4730451 markings, 5795793 edges, 34169 markings/sec, 155 secs
lola: 4891539 markings, 5994252 edges, 32218 markings/sec, 160 secs
lola: 5035709 markings, 6171893 edges, 28834 markings/sec, 165 secs
lola: 5177857 markings, 6345425 edges, 28430 markings/sec, 170 secs
lola: 5326921 markings, 6528498 edges, 29813 markings/sec, 175 secs
lola: 5458879 markings, 6690778 edges, 26392 markings/sec, 180 secs
lola: 5599277 markings, 6862952 edges, 28080 markings/sec, 185 secs
lola: 5729802 markings, 7021021 edges, 26105 markings/sec, 190 secs
lola: 5853646 markings, 7171828 edges, 24769 markings/sec, 195 secs
lola: 5984070 markings, 7331638 edges, 26085 markings/sec, 200 secs
lola: 6112647 markings, 7489615 edges, 25715 markings/sec, 205 secs
lola: 6234495 markings, 7637633 edges, 24370 markings/sec, 210 secs
lola: 6358902 markings, 7790573 edges, 24881 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(p1018)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 107794 markings, 129375 edges, 21559 markings/sec, 0 secs
lola: 217852 markings, 262139 edges, 22012 markings/sec, 5 secs
lola: 343971 markings, 416135 edges, 25224 markings/sec, 10 secs
lola: 470999 markings, 573839 edges, 25406 markings/sec, 15 secs
lola: 584270 markings, 712830 edges, 22654 markings/sec, 20 secs
lola: 703517 markings, 861848 edges, 23849 markings/sec, 25 secs
lola: 803207 markings, 983244 edges, 19938 markings/sec, 30 secs
lola: 915036 markings, 1121922 edges, 22366 markings/sec, 35 secs
lola: 1030731 markings, 1267194 edges, 23139 markings/sec, 40 secs
lola: 1135856 markings, 1397512 edges, 21025 markings/sec, 45 secs
lola: 1227436 markings, 1509065 edges, 18316 markings/sec, 50 secs
lola: 1333719 markings, 1638449 edges, 21257 markings/sec, 55 secs
lola: 1446059 markings, 1777234 edges, 22468 markings/sec, 60 secs
lola: 1577261 markings, 1945804 edges, 26240 markings/sec, 65 secs
lola: 1708153 markings, 2109076 edges, 26178 markings/sec, 70 secs
lola: 1825978 markings, 2259473 edges, 23565 markings/sec, 75 secs
lola: 1932389 markings, 2390907 edges, 21282 markings/sec, 80 secs
lola: 2054787 markings, 2549283 edges, 24480 markings/sec, 85 secs
lola: 2172941 markings, 2699248 edges, 23631 markings/sec, 90 secs
lola: 2285787 markings, 2843727 edges, 22569 markings/sec, 95 secs
lola: 2390615 markings, 2973920 edges, 20966 markings/sec, 100 secs
lola: 2503033 markings, 3110497 edges, 22484 markings/sec, 105 secs
lola: 2649693 markings, 3297016 edges, 29332 markings/sec, 110 secs
lola: 2796988 markings, 3482733 edges, 29459 markings/sec, 115 secs
lola: 2936915 markings, 3657716 edges, 27985 markings/sec, 120 secs
lola: 3046473 markings, 3793377 edges, 21912 markings/sec, 125 secs
lola: 3145204 markings, 3913587 edges, 19746 markings/sec, 130 secs
lola: 3265797 markings, 4067550 edges, 24119 markings/sec, 135 secs
lola: 3397341 markings, 4235509 edges, 26309 markings/sec, 140 secs
lola: 3524771 markings, 4395197 edges, 25486 markings/sec, 145 secs
lola: 3639126 markings, 4538461 edges, 22871 markings/sec, 150 secs
lola: 3757832 markings, 4689473 edges, 23741 markings/sec, 155 secs
lola: 3876361 markings, 4835877 edges, 23706 markings/sec, 160 secs
lola: 3954968 markings, 4932234 edges, 15721 markings/sec, 165 secs
lola: 4060874 markings, 5067238 edges, 21181 markings/sec, 170 secs
lola: 4157485 markings, 5185207 edges, 19322 markings/sec, 175 secs
lola: 4274119 markings, 5333681 edges, 23327 markings/sec, 180 secs
lola: 4399079 markings, 5488505 edges, 24992 markings/sec, 185 secs
lola: 4496601 markings, 5607621 edges, 19504 markings/sec, 190 secs
lola: 4604041 markings, 5741924 edges, 21488 markings/sec, 195 secs
lola: 4701073 markings, 5863850 edges, 19406 markings/sec, 200 secs
lola: 4806154 markings, 5994213 edges, 21016 markings/sec, 205 secs
lola: 4898783 markings, 6107210 edges, 18526 markings/sec, 210 secs
lola: 4992183 markings, 6225279 edges, 18680 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(p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 92430 markings, 148898 edges, 18486 markings/sec, 0 secs
lola: 183030 markings, 302847 edges, 18120 markings/sec, 5 secs
lola: 280815 markings, 462574 edges, 19557 markings/sec, 10 secs
lola: 386441 markings, 623797 edges, 21125 markings/sec, 15 secs
lola: 470295 markings, 758151 edges, 16771 markings/sec, 20 secs
lola: 567322 markings, 877029 edges, 19405 markings/sec, 25 secs
lola: 659310 markings, 989778 edges, 18398 markings/sec, 30 secs
lola: 756501 markings, 1111875 edges, 19438 markings/sec, 35 secs
lola: 845204 markings, 1219747 edges, 17741 markings/sec, 40 secs
lola: 939693 markings, 1338271 edges, 18898 markings/sec, 45 secs
lola: 1029928 markings, 1448437 edges, 18047 markings/sec, 50 secs
lola: 1112361 markings, 1548985 edges, 16487 markings/sec, 55 secs
lola: 1204817 markings, 1665479 edges, 18491 markings/sec, 60 secs
lola: 1298774 markings, 1782638 edges, 18791 markings/sec, 65 secs
lola: 1390004 markings, 1896315 edges, 18246 markings/sec, 70 secs
lola: 1469891 markings, 1993776 edges, 15977 markings/sec, 75 secs
lola: 1546402 markings, 2087030 edges, 15302 markings/sec, 80 secs
lola: 1630034 markings, 2188531 edges, 16726 markings/sec, 85 secs
lola: 1717049 markings, 2296567 edges, 17403 markings/sec, 90 secs
lola: 1816739 markings, 2424258 edges, 19938 markings/sec, 95 secs
lola: 1913187 markings, 2546103 edges, 19290 markings/sec, 100 secs
lola: 2008120 markings, 2664920 edges, 18987 markings/sec, 105 secs
lola: 2099032 markings, 2780943 edges, 18182 markings/sec, 110 secs
lola: 2184588 markings, 2885469 edges, 17111 markings/sec, 115 secs
lola: 2282564 markings, 3013390 edges, 19595 markings/sec, 120 secs
lola: 2376608 markings, 3134162 edges, 18809 markings/sec, 125 secs
lola: 2466538 markings, 3247080 edges, 17986 markings/sec, 130 secs
lola: 2558047 markings, 3364927 edges, 18302 markings/sec, 135 secs
lola: 2637299 markings, 3462128 edges, 15850 markings/sec, 140 secs
lola: 2727800 markings, 3572050 edges, 18100 markings/sec, 145 secs
lola: 2825509 markings, 3696025 edges, 19542 markings/sec, 150 secs
lola: 2931923 markings, 3831500 edges, 21283 markings/sec, 155 secs
lola: 3037790 markings, 3963778 edges, 21173 markings/sec, 160 secs
lola: 3139008 markings, 4090701 edges, 20244 markings/sec, 165 secs
lola: 3229855 markings, 4202761 edges, 18169 markings/sec, 170 secs
lola: 3313341 markings, 4305726 edges, 16697 markings/sec, 175 secs
lola: 3395895 markings, 4406439 edges, 16511 markings/sec, 180 secs
lola: 3491574 markings, 4529097 edges, 19136 markings/sec, 185 secs
lola: 3589380 markings, 4655887 edges, 19561 markings/sec, 190 secs
lola: 3685137 markings, 4775743 edges, 19151 markings/sec, 195 secs
lola: 3778447 markings, 4892167 edges, 18662 markings/sec, 200 secs
lola: 3861598 markings, 4995534 edges, 16630 markings/sec, 205 secs
lola: 3962750 markings, 5126087 edges, 20230 markings/sec, 210 secs
lola: 4044587 markings, 5227433 edges, 16367 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(p1889)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 95698 markings, 132438 edges, 19140 markings/sec, 0 secs
lola: 202338 markings, 260440 edges, 21328 markings/sec, 5 secs
lola: 324686 markings, 408264 edges, 24470 markings/sec, 10 secs
lola: 452317 markings, 562931 edges, 25526 markings/sec, 15 secs
lola: 573788 markings, 709537 edges, 24294 markings/sec, 20 secs
lola: 696452 markings, 857603 edges, 24533 markings/sec, 25 secs
lola: 823268 markings, 1013351 edges, 25363 markings/sec, 30 secs
lola: 945643 markings, 1166574 edges, 24475 markings/sec, 35 secs
lola: 1064509 markings, 1315332 edges, 23773 markings/sec, 40 secs
lola: 1190742 markings, 1468951 edges, 25247 markings/sec, 45 secs
lola: 1312652 markings, 1619659 edges, 24382 markings/sec, 50 secs
lola: 1423827 markings, 1759181 edges, 22235 markings/sec, 55 secs
lola: 1538369 markings, 1902811 edges, 22908 markings/sec, 60 secs
lola: 1659195 markings, 2056458 edges, 24165 markings/sec, 65 secs
lola: 1799687 markings, 2232259 edges, 28098 markings/sec, 70 secs
lola: 1934634 markings, 2401884 edges, 26989 markings/sec, 75 secs
lola: 2070145 markings, 2573984 edges, 27102 markings/sec, 80 secs
lola: 2190195 markings, 2720361 edges, 24010 markings/sec, 85 secs
lola: 2305507 markings, 2863170 edges, 23062 markings/sec, 90 secs
lola: 2433914 markings, 3025115 edges, 25681 markings/sec, 95 secs
lola: 2558572 markings, 3184322 edges, 24932 markings/sec, 100 secs
lola: 2679715 markings, 3339308 edges, 24229 markings/sec, 105 secs
lola: 2793918 markings, 3483814 edges, 22841 markings/sec, 110 secs
lola: 2899564 markings, 3616536 edges, 21129 markings/sec, 115 secs
lola: 2998712 markings, 3739840 edges, 19830 markings/sec, 120 secs
lola: 3110871 markings, 3881145 edges, 22432 markings/sec, 125 secs
lola: 3227665 markings, 4027140 edges, 23359 markings/sec, 130 secs
lola: 3331016 markings, 4158977 edges, 20670 markings/sec, 135 secs
lola: 3448010 markings, 4302186 edges, 23399 markings/sec, 140 secs
lola: 3612408 markings, 4508013 edges, 32880 markings/sec, 145 secs
lola: 3768425 markings, 4705129 edges, 31203 markings/sec, 150 secs
lola: 3914219 markings, 4891738 edges, 29159 markings/sec, 155 secs
lola: 4048503 markings, 5062544 edges, 26857 markings/sec, 160 secs
lola: 4155104 markings, 5196152 edges, 21320 markings/sec, 165 secs
lola: 4253731 markings, 5319765 edges, 19725 markings/sec, 170 secs
lola: 4354815 markings, 5446400 edges, 20217 markings/sec, 175 secs
lola: 4474059 markings, 5601748 edges, 23849 markings/sec, 180 secs
lola: 4580303 markings, 5734561 edges, 21249 markings/sec, 185 secs
lola: 4712471 markings, 5901611 edges, 26434 markings/sec, 190 secs
lola: 4855531 markings, 6082069 edges, 28612 markings/sec, 195 secs
lola: 4993188 markings, 6258922 edges, 27531 markings/sec, 200 secs
lola: 5128142 markings, 6432681 edges, 26991 markings/sec, 205 secs
lola: 5272849 markings, 6618245 edges, 28941 markings/sec, 210 secs
lola: 5375234 markings, 6749924 edges, 20477 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(p1068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 112857 markings, 135645 edges, 22571 markings/sec, 0 secs
lola: 223282 markings, 268867 edges, 22085 markings/sec, 5 secs
lola: 347969 markings, 421040 edges, 24937 markings/sec, 10 secs
lola: 466894 markings, 566804 edges, 23785 markings/sec, 15 secs
lola: 587008 markings, 715674 edges, 24023 markings/sec, 20 secs
lola: 700723 markings, 856612 edges, 22743 markings/sec, 25 secs
lola: 808989 markings, 990107 edges, 21653 markings/sec, 30 secs
lola: 911087 markings, 1115338 edges, 20420 markings/sec, 35 secs
lola: 1027831 markings, 1261803 edges, 23349 markings/sec, 40 secs
lola: 1142139 markings, 1405015 edges, 22862 markings/sec, 45 secs
lola: 1237809 markings, 1521511 edges, 19134 markings/sec, 50 secs
lola: 1333202 markings, 1637765 edges, 19079 markings/sec, 55 secs
lola: 1438207 markings, 1765160 edges, 21001 markings/sec, 60 secs
lola: 1565466 markings, 1927147 edges, 25452 markings/sec, 65 secs
lola: 1687760 markings, 2082256 edges, 24459 markings/sec, 70 secs
lola: 1810441 markings, 2238198 edges, 24536 markings/sec, 75 secs
lola: 1922054 markings, 2376595 edges, 22323 markings/sec, 80 secs
lola: 2031597 markings, 2516345 edges, 21909 markings/sec, 85 secs
lola: 2147184 markings, 2665411 edges, 23117 markings/sec, 90 secs
lola: 2264163 markings, 2812086 edges, 23396 markings/sec, 95 secs
lola: 2374994 markings, 2954350 edges, 22166 markings/sec, 100 secs
lola: 2473339 markings, 3074200 edges, 19669 markings/sec, 105 secs
lola: 2589387 markings, 3217358 edges, 23210 markings/sec, 110 secs
lola: 2736821 markings, 3406350 edges, 29487 markings/sec, 115 secs
lola: 2882020 markings, 3588125 edges, 29040 markings/sec, 120 secs
lola: 3010528 markings, 3748194 edges, 25702 markings/sec, 125 secs
lola: 3125224 markings, 3888804 edges, 22939 markings/sec, 130 secs
lola: 3233635 markings, 4022387 edges, 21682 markings/sec, 135 secs
lola: 3367438 markings, 4195528 edges, 26761 markings/sec, 140 secs
lola: 3500706 markings, 4364085 edges, 26654 markings/sec, 145 secs
lola: 3629959 markings, 4524970 edges, 25851 markings/sec, 150 secs
lola: 3757179 markings, 4687430 edges, 25444 markings/sec, 155 secs
lola: 3871722 markings, 4829508 edges, 22909 markings/sec, 160 secs
lola: 3979258 markings, 4960877 edges, 21507 markings/sec, 165 secs
lola: 4079967 markings, 5090029 edges, 20142 markings/sec, 170 secs
lola: 4189653 markings, 5224185 edges, 21937 markings/sec, 175 secs
lola: 4287317 markings, 5347537 edges, 19533 markings/sec, 180 secs
lola: 4424753 markings, 5519478 edges, 27487 markings/sec, 185 secs
lola: 4517511 markings, 5632645 edges, 18552 markings/sec, 190 secs
lola: 4630011 markings, 5772989 edges, 22500 markings/sec, 195 secs
lola: 4733703 markings, 5902681 edges, 20738 markings/sec, 200 secs
lola: 4830388 markings, 6023289 edges, 19337 markings/sec, 205 secs
lola: 4930140 markings, 6145054 edges, 19950 markings/sec, 210 secs
lola: 5030368 markings, 6271233 edges, 20046 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(p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 151792 markings, 183975 edges, 30358 markings/sec, 0 secs
lola: 284426 markings, 347549 edges, 26527 markings/sec, 5 secs
lola: 404038 markings, 495030 edges, 23922 markings/sec, 10 secs
lola: 513276 markings, 629408 edges, 21848 markings/sec, 15 secs
lola: 632715 markings, 777930 edges, 23888 markings/sec, 20 secs
lola: 738396 markings, 909838 edges, 21136 markings/sec, 25 secs
lola: 854950 markings, 1052587 edges, 23311 markings/sec, 30 secs
lola: 960044 markings, 1180058 edges, 21019 markings/sec, 35 secs
lola: 1081127 markings, 1330521 edges, 24217 markings/sec, 40 secs
lola: 1186407 markings, 1462441 edges, 21056 markings/sec, 45 secs
lola: 1305740 markings, 1613615 edges, 23867 markings/sec, 50 secs
lola: 1416387 markings, 1751460 edges, 22129 markings/sec, 55 secs
lola: 1533465 markings, 1896319 edges, 23416 markings/sec, 60 secs
lola: 1647463 markings, 2036140 edges, 22800 markings/sec, 65 secs
lola: 1730260 markings, 2208377 edges, 16559 markings/sec, 70 secs
lola: 1842337 markings, 2354699 edges, 22415 markings/sec, 75 secs
lola: 1924596 markings, 2526102 edges, 16452 markings/sec, 80 secs
lola: 2025177 markings, 2688072 edges, 20116 markings/sec, 85 secs
lola: 2135214 markings, 2823034 edges, 22007 markings/sec, 90 secs
lola: 2224000 markings, 2969484 edges, 17757 markings/sec, 95 secs
lola: 2316578 markings, 3158309 edges, 18516 markings/sec, 100 secs
lola: 2420622 markings, 3363013 edges, 20809 markings/sec, 105 secs
lola: 2515206 markings, 3544850 edges, 18917 markings/sec, 110 secs
lola: 2596273 markings, 3705333 edges, 16213 markings/sec, 115 secs
lola: 2667052 markings, 3843900 edges, 14156 markings/sec, 120 secs
lola: 2727100 markings, 3961744 edges, 12010 markings/sec, 125 secs
lola: 2780760 markings, 4067399 edges, 10732 markings/sec, 130 secs
lola: 2833934 markings, 4171817 edges, 10635 markings/sec, 135 secs
lola: 2904462 markings, 4319970 edges, 14106 markings/sec, 140 secs
lola: 2981081 markings, 4506947 edges, 15324 markings/sec, 145 secs
lola: 3086912 markings, 4671965 edges, 21166 markings/sec, 150 secs
lola: 3203559 markings, 4815034 edges, 23329 markings/sec, 155 secs
lola: 3311863 markings, 4947133 edges, 21661 markings/sec, 160 secs
lola: 3428363 markings, 5090341 edges, 23300 markings/sec, 165 secs
lola: 3537066 markings, 5222417 edges, 21741 markings/sec, 170 secs
lola: 3653748 markings, 5365810 edges, 23336 markings/sec, 175 secs
lola: 3769724 markings, 5508059 edges, 23195 markings/sec, 180 secs
lola: 3883869 markings, 5647647 edges, 22829 markings/sec, 185 secs
lola: 3997731 markings, 5788941 edges, 22772 markings/sec, 190 secs
lola: 4103077 markings, 5921732 edges, 21069 markings/sec, 195 secs
lola: 4213456 markings, 6062621 edges, 22076 markings/sec, 200 secs
lola: 4322104 markings, 6195634 edges, 21730 markings/sec, 205 secs
lola: 4427448 markings, 6327919 edges, 21069 markings/sec, 210 secs
lola: 4511123 markings, 6496781 edges, 16735 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(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 99318 markings, 119350 edges, 19864 markings/sec, 0 secs
lola: 210460 markings, 253557 edges, 22228 markings/sec, 5 secs
lola: 351181 markings, 428525 edges, 28144 markings/sec, 10 secs
lola: 481467 markings, 588242 edges, 26057 markings/sec, 15 secs
lola: 591871 markings, 725320 edges, 22081 markings/sec, 20 secs
lola: 704217 markings, 865650 edges, 22469 markings/sec, 25 secs
lola: 806406 markings, 990593 edges, 20438 markings/sec, 30 secs
lola: 914463 markings, 1125393 edges, 21611 markings/sec, 35 secs
lola: 1022044 markings, 1259923 edges, 21516 markings/sec, 40 secs
lola: 1130014 markings, 1395314 edges, 21594 markings/sec, 45 secs
lola: 1229230 markings, 1516210 edges, 19843 markings/sec, 50 secs
lola: 1332904 markings, 1641667 edges, 20735 markings/sec, 55 secs
lola: 1452994 markings, 1789808 edges, 24018 markings/sec, 60 secs
lola: 1581183 markings, 1953842 edges, 25638 markings/sec, 65 secs
lola: 1706616 markings, 2111153 edges, 25087 markings/sec, 70 secs
lola: 1823571 markings, 2260858 edges, 23391 markings/sec, 75 secs
lola: 1931794 markings, 2392184 edges, 21645 markings/sec, 80 secs
lola: 2056410 markings, 2553902 edges, 24923 markings/sec, 85 secs
lola: 2181630 markings, 2712320 edges, 25044 markings/sec, 90 secs
lola: 2301738 markings, 2864869 edges, 24022 markings/sec, 95 secs
lola: 2419452 markings, 3012323 edges, 23543 markings/sec, 100 secs
lola: 2537328 markings, 3155066 edges, 23575 markings/sec, 105 secs
lola: 2680505 markings, 3337257 edges, 28635 markings/sec, 110 secs
lola: 2821707 markings, 3515354 edges, 28240 markings/sec, 115 secs
lola: 2959072 markings, 3687307 edges, 27473 markings/sec, 120 secs
lola: 3069108 markings, 3823280 edges, 22007 markings/sec, 125 secs
lola: 3181184 markings, 3959597 edges, 22415 markings/sec, 130 secs
lola: 3306414 markings, 4118277 edges, 25046 markings/sec, 135 secs
lola: 3438585 markings, 4287389 edges, 26434 markings/sec, 140 secs
lola: 3562559 markings, 4442959 edges, 24795 markings/sec, 145 secs
lola: 3678101 markings, 4586764 edges, 23108 markings/sec, 150 secs
lola: 3802435 markings, 4745925 edges, 24867 markings/sec, 155 secs
lola: 3935242 markings, 4908958 edges, 26561 markings/sec, 160 secs
lola: 4018739 markings, 5012391 edges, 16699 markings/sec, 165 secs
lola: 4152940 markings, 5186178 edges, 26840 markings/sec, 170 secs
lola: 4285865 markings, 5351170 edges, 26585 markings/sec, 175 secs
lola: 4366838 markings, 5449433 edges, 16195 markings/sec, 180 secs
lola: 4473704 markings, 5580017 edges, 21373 markings/sec, 185 secs
lola: 4584626 markings, 5717035 edges, 22184 markings/sec, 190 secs
lola: 4702429 markings, 5863789 edges, 23561 markings/sec, 195 secs
lola: 4782254 markings, 5964680 edges, 15965 markings/sec, 200 secs
lola: 4894385 markings, 6101926 edges, 22426 markings/sec, 205 secs
lola: 5007634 markings, 6241995 edges, 22650 markings/sec, 210 secs
lola: 5107505 markings, 6372574 edges, 19974 markings/sec, 215 secs
lola: 5221658 markings, 6512395 edges, 22831 markings/sec, 220 secs
lola: 5313613 markings, 6624354 edges, 18391 markings/sec, 225 secs
lola: 5413150 markings, 6746874 edges, 19907 markings/sec, 230 secs
lola: 5530278 markings, 6892007 edges, 23426 markings/sec, 235 secs
lola: 5634493 markings, 7022086 edges, 20843 markings/sec, 240 secs
lola: 5740228 markings, 7152607 edges, 21147 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 86319 markings, 124701 edges, 17264 markings/sec, 0 secs
lola: 171559 markings, 312959 edges, 17048 markings/sec, 5 secs
lola: 256986 markings, 504662 edges, 17085 markings/sec, 10 secs
lola: 341699 markings, 681499 edges, 16943 markings/sec, 15 secs
lola: 425719 markings, 858480 edges, 16804 markings/sec, 20 secs
lola: 513119 markings, 1035917 edges, 17480 markings/sec, 25 secs
lola: 601758 markings, 1236172 edges, 17728 markings/sec, 30 secs
lola: 686332 markings, 1432532 edges, 16915 markings/sec, 35 secs
lola: 770099 markings, 1612707 edges, 16753 markings/sec, 40 secs
lola: 852003 markings, 1790726 edges, 16381 markings/sec, 45 secs
lola: 930075 markings, 1970175 edges, 15614 markings/sec, 50 secs
lola: 1009855 markings, 2147282 edges, 15956 markings/sec, 55 secs
lola: 1086642 markings, 2318641 edges, 15357 markings/sec, 60 secs
lola: 1163772 markings, 2491438 edges, 15426 markings/sec, 65 secs
lola: 1239315 markings, 2662176 edges, 15109 markings/sec, 70 secs
lola: 1326361 markings, 2849753 edges, 17409 markings/sec, 75 secs
lola: 1410184 markings, 3031089 edges, 16765 markings/sec, 80 secs
lola: 1490334 markings, 3203626 edges, 16030 markings/sec, 85 secs
lola: 1570431 markings, 3383368 edges, 16019 markings/sec, 90 secs
lola: 1649301 markings, 3558915 edges, 15774 markings/sec, 95 secs
lola: 1727126 markings, 3729811 edges, 15565 markings/sec, 100 secs
lola: 1802975 markings, 3903963 edges, 15170 markings/sec, 105 secs
lola: 1883474 markings, 4082017 edges, 16100 markings/sec, 110 secs
lola: 1965271 markings, 4268544 edges, 16359 markings/sec, 115 secs
lola: 2045411 markings, 4446696 edges, 16028 markings/sec, 120 secs
lola: 2124219 markings, 4615076 edges, 15762 markings/sec, 125 secs
lola: 2198504 markings, 4778001 edges, 14857 markings/sec, 130 secs
lola: 2278824 markings, 4954724 edges, 16064 markings/sec, 135 secs
lola: 2353236 markings, 5125208 edges, 14882 markings/sec, 140 secs
lola: 2425326 markings, 5279952 edges, 14418 markings/sec, 145 secs
lola: 2496364 markings, 5438327 edges, 14208 markings/sec, 150 secs
lola: 2571080 markings, 5605579 edges, 14943 markings/sec, 155 secs
lola: 2639617 markings, 5769325 edges, 13707 markings/sec, 160 secs
lola: 2715973 markings, 5939699 edges, 15271 markings/sec, 165 secs
lola: 2790661 markings, 6095208 edges, 14938 markings/sec, 170 secs
lola: 2869246 markings, 6265624 edges, 15717 markings/sec, 175 secs
lola: 2940943 markings, 6427460 edges, 14339 markings/sec, 180 secs
lola: 3012473 markings, 6587902 edges, 14306 markings/sec, 185 secs
lola: 3087402 markings, 6752276 edges, 14986 markings/sec, 190 secs
lola: 3156613 markings, 6911420 edges, 13842 markings/sec, 195 secs
lola: 3225278 markings, 7066046 edges, 13733 markings/sec, 200 secs
lola: 3296197 markings, 7222719 edges, 14184 markings/sec, 205 secs
lola: 3368640 markings, 7383892 edges, 14489 markings/sec, 210 secs
lola: 3443015 markings, 7549332 edges, 14875 markings/sec, 215 secs
lola: 3519907 markings, 7719574 edges, 15378 markings/sec, 220 secs
lola: 3593961 markings, 7891716 edges, 14811 markings/sec, 225 secs
lola: 3670604 markings, 8061222 edges, 15329 markings/sec, 230 secs
lola: 3745858 markings, 8230070 edges, 15051 markings/sec, 235 secs
lola: 3821223 markings, 8409435 edges, 15073 markings/sec, 240 secs
lola: 3901183 markings, 8558259 edges, 15992 markings/sec, 245 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 253 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 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 109754 markings, 131541 edges, 21951 markings/sec, 0 secs
lola: 226632 markings, 273864 edges, 23376 markings/sec, 5 secs
lola: 345289 markings, 418732 edges, 23731 markings/sec, 10 secs
lola: 470417 markings, 574548 edges, 25026 markings/sec, 15 secs
lola: 583951 markings, 714638 edges, 22707 markings/sec, 20 secs
lola: 700579 markings, 858952 edges, 23326 markings/sec, 25 secs
lola: 802083 markings, 982961 edges, 20301 markings/sec, 30 secs
lola: 918765 markings, 1129472 edges, 23336 markings/sec, 35 secs
lola: 1032547 markings, 1271838 edges, 22756 markings/sec, 40 secs
lola: 1132046 markings, 1393482 edges, 19900 markings/sec, 45 secs
lola: 1228536 markings, 1510970 edges, 19298 markings/sec, 50 secs
lola: 1333308 markings, 1638059 edges, 20954 markings/sec, 55 secs
lola: 1456891 markings, 1794282 edges, 24717 markings/sec, 60 secs
lola: 1580725 markings, 1952323 edges, 24767 markings/sec, 65 secs
lola: 1701445 markings, 2104934 edges, 24144 markings/sec, 70 secs
lola: 1813310 markings, 2244797 edges, 22373 markings/sec, 75 secs
lola: 1929707 markings, 2392545 edges, 23279 markings/sec, 80 secs
lola: 2050033 markings, 2547826 edges, 24065 markings/sec, 85 secs
lola: 2170520 markings, 2698803 edges, 24097 markings/sec, 90 secs
lola: 2281013 markings, 2840892 edges, 22099 markings/sec, 95 secs
lola: 2378692 markings, 2959665 edges, 19536 markings/sec, 100 secs
lola: 2494495 markings, 3102874 edges, 23161 markings/sec, 105 secs
lola: 2636919 markings, 3285075 edges, 28485 markings/sec, 110 secs
lola: 2778268 markings, 3461721 edges, 28270 markings/sec, 115 secs
lola: 2904709 markings, 3619693 edges, 25288 markings/sec, 120 secs
lola: 3013337 markings, 3753402 edges, 21726 markings/sec, 125 secs
lola: 3121476 markings, 3885389 edges, 21628 markings/sec, 130 secs
lola: 3260361 markings, 4064490 edges, 27777 markings/sec, 135 secs
lola: 3394764 markings, 4234721 edges, 26881 markings/sec, 140 secs
lola: 3522528 markings, 4394755 edges, 25553 markings/sec, 145 secs
lola: 3643784 markings, 4549410 edges, 24251 markings/sec, 150 secs
lola: 3761070 markings, 4695368 edges, 23457 markings/sec, 155 secs
lola: 3870700 markings, 4829423 edges, 21926 markings/sec, 160 secs
lola: 3949551 markings, 4930806 edges, 15770 markings/sec, 165 secs
lola: 4065805 markings, 5074213 edges, 23251 markings/sec, 170 secs
lola: 4139300 markings, 5163405 edges, 14699 markings/sec, 175 secs
lola: 4274405 markings, 5336595 edges, 27021 markings/sec, 180 secs
lola: 4372741 markings, 5456817 edges, 19667 markings/sec, 185 secs
lola: 4475635 markings, 5583009 edges, 20579 markings/sec, 190 secs
lola: 4573491 markings, 5705680 edges, 19571 markings/sec, 195 secs
lola: 4662402 markings, 5817864 edges, 17782 markings/sec, 200 secs
lola: 4768648 markings, 5949075 edges, 21249 markings/sec, 205 secs
lola: 4859776 markings, 6060332 edges, 18226 markings/sec, 210 secs
lola: 4943024 markings, 6166150 edges, 16650 markings/sec, 215 secs
lola: 5063797 markings, 6319977 edges, 24155 markings/sec, 220 secs
lola: 5147120 markings, 6421364 edges, 16665 markings/sec, 225 secs
lola: 5249304 markings, 6546471 edges, 20437 markings/sec, 230 secs
lola: 5335616 markings, 6651657 edges, 17262 markings/sec, 235 secs
lola: 5437429 markings, 6779226 edges, 20363 markings/sec, 240 secs
lola: 5531843 markings, 6897057 edges, 18883 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2425)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 100711 markings, 120821 edges, 20142 markings/sec, 0 secs
lola: 221716 markings, 266631 edges, 24201 markings/sec, 5 secs
lola: 356244 markings, 433436 edges, 26906 markings/sec, 10 secs
lola: 493288 markings, 604578 edges, 27409 markings/sec, 15 secs
lola: 612902 markings, 750703 edges, 23923 markings/sec, 20 secs
lola: 720167 markings, 884215 edges, 21453 markings/sec, 25 secs
lola: 838693 markings, 1031317 edges, 23705 markings/sec, 30 secs
lola: 951747 markings, 1170488 edges, 22611 markings/sec, 35 secs
lola: 1058390 markings, 1303022 edges, 21329 markings/sec, 40 secs
lola: 1179271 markings, 1453580 edges, 24176 markings/sec, 45 secs
lola: 1295026 markings, 1598368 edges, 23151 markings/sec, 50 secs
lola: 1398426 markings, 1724498 edges, 20680 markings/sec, 55 secs
lola: 1507194 markings, 1856159 edges, 21754 markings/sec, 60 secs
lola: 1624177 markings, 2002774 edges, 23397 markings/sec, 65 secs
lola: 1752330 markings, 2166189 edges, 25631 markings/sec, 70 secs
lola: 1880581 markings, 2325619 edges, 25650 markings/sec, 75 secs
lola: 2003440 markings, 2481256 edges, 24572 markings/sec, 80 secs
lola: 2119080 markings, 2625557 edges, 23128 markings/sec, 85 secs
lola: 2239588 markings, 2782584 edges, 24102 markings/sec, 90 secs
lola: 2364448 markings, 2938993 edges, 24972 markings/sec, 95 secs
lola: 2483771 markings, 3090991 edges, 23865 markings/sec, 100 secs
lola: 2595065 markings, 3225609 edges, 22259 markings/sec, 105 secs
lola: 2726287 markings, 3390701 edges, 26244 markings/sec, 110 secs
lola: 2875704 markings, 3580185 edges, 29883 markings/sec, 115 secs
lola: 3025661 markings, 3767600 edges, 29991 markings/sec, 120 secs
lola: 3146235 markings, 3916132 edges, 24115 markings/sec, 125 secs
lola: 3261134 markings, 4056237 edges, 22980 markings/sec, 130 secs
lola: 3387628 markings, 4217172 edges, 25299 markings/sec, 135 secs
lola: 3523216 markings, 4389980 edges, 27118 markings/sec, 140 secs
lola: 3653620 markings, 4553279 edges, 26081 markings/sec, 145 secs
lola: 3774054 markings, 4704374 edges, 24087 markings/sec, 150 secs
lola: 3899049 markings, 4862589 edges, 24999 markings/sec, 155 secs
lola: 4024979 markings, 5017393 edges, 25186 markings/sec, 160 secs
lola: 4104572 markings, 5114948 edges, 15919 markings/sec, 165 secs
lola: 4216040 markings, 5253996 edges, 22294 markings/sec, 170 secs
lola: 4292572 markings, 5346918 edges, 15306 markings/sec, 175 secs
lola: 4414046 markings, 5498122 edges, 24295 markings/sec, 180 secs
lola: 4502571 markings, 5606372 edges, 17705 markings/sec, 185 secs
lola: 4649538 markings, 5793960 edges, 29393 markings/sec, 190 secs
lola: 4756330 markings, 5926566 edges, 21358 markings/sec, 195 secs
lola: 4859791 markings, 6055993 edges, 20692 markings/sec, 200 secs
lola: 4954374 markings, 6174578 edges, 18917 markings/sec, 205 secs
lola: 5044616 markings, 6284567 edges, 18048 markings/sec, 210 secs
lola: 5148777 markings, 6414676 edges, 20832 markings/sec, 215 secs
lola: 5264619 markings, 6564238 edges, 23168 markings/sec, 220 secs
lola: 5362426 markings, 6683561 edges, 19561 markings/sec, 225 secs
lola: 5465689 markings, 6809702 edges, 20653 markings/sec, 230 secs
lola: 5555296 markings, 6918844 edges, 17921 markings/sec, 235 secs
lola: 5664455 markings, 7054178 edges, 21832 markings/sec, 240 secs
lola: 5770367 markings, 7186527 edges, 21182 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p744)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 121538 markings, 216032 edges, 24308 markings/sec, 0 secs
lola: 243079 markings, 433430 edges, 24308 markings/sec, 5 secs
lola: 370879 markings, 648180 edges, 25560 markings/sec, 10 secs
lola: 520090 markings, 900765 edges, 29842 markings/sec, 15 secs
lola: 644533 markings, 1104513 edges, 24889 markings/sec, 20 secs
lola: 767646 markings, 1280521 edges, 24623 markings/sec, 25 secs
lola: 896758 markings, 1479561 edges, 25822 markings/sec, 30 secs
lola: 1026271 markings, 1674824 edges, 25903 markings/sec, 35 secs
lola: 1144017 markings, 1846576 edges, 23549 markings/sec, 40 secs
lola: 1257789 markings, 2008686 edges, 22754 markings/sec, 45 secs
lola: 1373524 markings, 2178258 edges, 23147 markings/sec, 50 secs
lola: 1481289 markings, 2331049 edges, 21553 markings/sec, 55 secs
lola: 1601485 markings, 2500730 edges, 24039 markings/sec, 60 secs
lola: 1718504 markings, 2663072 edges, 23404 markings/sec, 65 secs
lola: 1835753 markings, 2824781 edges, 23450 markings/sec, 70 secs
lola: 1956423 markings, 2990218 edges, 24134 markings/sec, 75 secs
lola: 2074999 markings, 3152305 edges, 23715 markings/sec, 80 secs
lola: 2196776 markings, 3316511 edges, 24355 markings/sec, 85 secs
lola: 2319597 markings, 3493870 edges, 24564 markings/sec, 90 secs
lola: 2437411 markings, 3651405 edges, 23563 markings/sec, 95 secs
lola: 2556108 markings, 3827585 edges, 23739 markings/sec, 100 secs
lola: 2675033 markings, 4000345 edges, 23785 markings/sec, 105 secs
lola: 2814721 markings, 4177662 edges, 27938 markings/sec, 110 secs
lola: 2950876 markings, 4348420 edges, 27231 markings/sec, 115 secs
lola: 3070293 markings, 4513603 edges, 23883 markings/sec, 120 secs
lola: 3205264 markings, 4681379 edges, 26994 markings/sec, 125 secs
lola: 3313685 markings, 4817152 edges, 21684 markings/sec, 130 secs
lola: 3410741 markings, 4937577 edges, 19411 markings/sec, 135 secs
lola: 3515274 markings, 5067746 edges, 20907 markings/sec, 140 secs
lola: 3650210 markings, 5248245 edges, 26987 markings/sec, 145 secs
lola: 3742331 markings, 5363735 edges, 18424 markings/sec, 150 secs
lola: 3846403 markings, 5505329 edges, 20814 markings/sec, 155 secs
lola: 3968295 markings, 5678444 edges, 24378 markings/sec, 160 secs
lola: 4099747 markings, 5843014 edges, 26290 markings/sec, 165 secs
lola: 4206839 markings, 5979402 edges, 21418 markings/sec, 170 secs
lola: 4325271 markings, 6134479 edges, 23686 markings/sec, 175 secs
lola: 4427748 markings, 6263416 edges, 20495 markings/sec, 180 secs
lola: 4520908 markings, 6379201 edges, 18632 markings/sec, 185 secs
lola: 4616447 markings, 6498805 edges, 19108 markings/sec, 190 secs
lola: 4740015 markings, 6662618 edges, 24714 markings/sec, 195 secs
lola: 4833622 markings, 6781324 edges, 18721 markings/sec, 200 secs
lola: 4952007 markings, 6939364 edges, 23677 markings/sec, 205 secs
lola: 5068703 markings, 7111387 edges, 23339 markings/sec, 210 secs
lola: 5204617 markings, 7320310 edges, 27183 markings/sec, 215 secs
lola: 5351800 markings, 7505706 edges, 29437 markings/sec, 220 secs
lola: 5476726 markings, 7663242 edges, 24985 markings/sec, 225 secs
lola: 5622994 markings, 7916884 edges, 29254 markings/sec, 230 secs
lola: 5763067 markings, 8127734 edges, 28015 markings/sec, 235 secs
lola: 5909066 markings, 8359271 edges, 29200 markings/sec, 240 secs
lola: 6049530 markings, 8559825 edges, 28093 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 135111 markings, 162908 edges, 27022 markings/sec, 0 secs
lola: 250218 markings, 302565 edges, 23021 markings/sec, 5 secs
lola: 363354 markings, 439787 edges, 22627 markings/sec, 10 secs
lola: 500976 markings, 607253 edges, 27524 markings/sec, 15 secs
lola: 641173 markings, 777654 edges, 28039 markings/sec, 20 secs
lola: 764245 markings, 927545 edges, 24614 markings/sec, 25 secs
lola: 900774 markings, 1093789 edges, 27306 markings/sec, 30 secs
lola: 1033777 markings, 1255537 edges, 26601 markings/sec, 35 secs
lola: 1195881 markings, 1453145 edges, 32421 markings/sec, 40 secs
lola: 1344606 markings, 1634088 edges, 29745 markings/sec, 45 secs
lola: 1485971 markings, 1806597 edges, 28273 markings/sec, 50 secs
lola: 1639778 markings, 1994093 edges, 30761 markings/sec, 55 secs
lola: 1798033 markings, 2186810 edges, 31651 markings/sec, 60 secs
lola: 1964286 markings, 2389633 edges, 33251 markings/sec, 65 secs
lola: 2125313 markings, 2585647 edges, 32205 markings/sec, 70 secs
lola: 2301299 markings, 2800243 edges, 35197 markings/sec, 75 secs
lola: 2438716 markings, 2967888 edges, 27483 markings/sec, 80 secs
lola: 2573875 markings, 3133271 edges, 27032 markings/sec, 85 secs
lola: 2726089 markings, 3319089 edges, 30443 markings/sec, 90 secs
lola: 2883350 markings, 3510881 edges, 31452 markings/sec, 95 secs
lola: 3034670 markings, 3695543 edges, 30264 markings/sec, 100 secs
lola: 3142368 markings, 3827908 edges, 21540 markings/sec, 105 secs
lola: 3243986 markings, 3953159 edges, 20324 markings/sec, 110 secs
lola: 3355861 markings, 4090641 edges, 22375 markings/sec, 115 secs
lola: 3471789 markings, 4232877 edges, 23186 markings/sec, 120 secs
lola: 3587502 markings, 4374605 edges, 23143 markings/sec, 125 secs
lola: 3714492 markings, 4530619 edges, 25398 markings/sec, 130 secs
lola: 3832931 markings, 4676055 edges, 23688 markings/sec, 135 secs
lola: 3964560 markings, 4837935 edges, 26326 markings/sec, 140 secs
lola: 4119442 markings, 5027921 edges, 30976 markings/sec, 145 secs
lola: 4260855 markings, 5201546 edges, 28283 markings/sec, 150 secs
lola: 4404641 markings, 5378596 edges, 28757 markings/sec, 155 secs
lola: 4554658 markings, 5563131 edges, 30003 markings/sec, 160 secs
lola: 4711412 markings, 5755888 edges, 31351 markings/sec, 165 secs
lola: 4876650 markings, 5959187 edges, 33048 markings/sec, 170 secs
lola: 5020634 markings, 6136237 edges, 28797 markings/sec, 175 secs
lola: 5181727 markings, 6333976 edges, 32219 markings/sec, 180 secs
lola: 5317560 markings, 6501194 edges, 27167 markings/sec, 185 secs
lola: 5428431 markings, 6637396 edges, 22174 markings/sec, 190 secs
lola: 5573491 markings, 6815947 edges, 29012 markings/sec, 195 secs
lola: 5712819 markings, 6986804 edges, 27866 markings/sec, 200 secs
lola: 5863135 markings, 7170797 edges, 30063 markings/sec, 205 secs
lola: 5983158 markings, 7316616 edges, 24005 markings/sec, 210 secs
lola: 6075387 markings, 7428773 edges, 18446 markings/sec, 215 secs
lola: 6167551 markings, 7541100 edges, 18433 markings/sec, 220 secs
lola: 6259251 markings, 7652896 edges, 18340 markings/sec, 225 secs
lola: 6346676 markings, 7759837 edges, 17485 markings/sec, 230 secs
lola: 6447808 markings, 7882846 edges, 20226 markings/sec, 235 secs
lola: 6547012 markings, 8003521 edges, 19841 markings/sec, 240 secs
lola: 6637432 markings, 8114031 edges, 18084 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p799)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 130601 markings, 221241 edges, 26120 markings/sec, 0 secs
lola: 268482 markings, 453758 edges, 27576 markings/sec, 5 secs
lola: 406433 markings, 685436 edges, 27590 markings/sec, 10 secs
lola: 536488 markings, 898077 edges, 26011 markings/sec, 15 secs
lola: 656588 markings, 1097463 edges, 24020 markings/sec, 20 secs
lola: 783656 markings, 1310999 edges, 25414 markings/sec, 25 secs
lola: 916670 markings, 1531320 edges, 26603 markings/sec, 30 secs
lola: 1027694 markings, 1675235 edges, 22205 markings/sec, 35 secs
lola: 1151152 markings, 1826129 edges, 24692 markings/sec, 40 secs
lola: 1275764 markings, 1980536 edges, 24922 markings/sec, 45 secs
lola: 1393040 markings, 2124536 edges, 23455 markings/sec, 50 secs
lola: 1516157 markings, 2278341 edges, 24623 markings/sec, 55 secs
lola: 1621144 markings, 2406219 edges, 20997 markings/sec, 60 secs
lola: 1736555 markings, 2549572 edges, 23082 markings/sec, 65 secs
lola: 1854426 markings, 2697212 edges, 23574 markings/sec, 70 secs
lola: 1962373 markings, 2830925 edges, 21589 markings/sec, 75 secs
lola: 2057966 markings, 2947368 edges, 19119 markings/sec, 80 secs
lola: 2162114 markings, 3073945 edges, 20830 markings/sec, 85 secs
lola: 2279949 markings, 3221662 edges, 23567 markings/sec, 90 secs
lola: 2409032 markings, 3386664 edges, 25817 markings/sec, 95 secs
lola: 2535938 markings, 3544825 edges, 25381 markings/sec, 100 secs
lola: 2651752 markings, 3691961 edges, 23163 markings/sec, 105 secs
lola: 2761576 markings, 3828735 edges, 21965 markings/sec, 110 secs
lola: 2884239 markings, 3988130 edges, 24533 markings/sec, 115 secs
lola: 3007927 markings, 4143623 edges, 24738 markings/sec, 120 secs
lola: 3125228 markings, 4294137 edges, 23460 markings/sec, 125 secs
lola: 3228410 markings, 4420970 edges, 20636 markings/sec, 130 secs
lola: 3343279 markings, 4561548 edges, 22974 markings/sec, 135 secs
lola: 3496099 markings, 4756854 edges, 30564 markings/sec, 140 secs
lola: 3633502 markings, 4929198 edges, 27481 markings/sec, 145 secs
lola: 3761025 markings, 5088941 edges, 25505 markings/sec, 150 secs
lola: 3867582 markings, 5220127 edges, 21311 markings/sec, 155 secs
lola: 3975999 markings, 5352363 edges, 21683 markings/sec, 160 secs
lola: 4106841 markings, 5520641 edges, 26168 markings/sec, 165 secs
lola: 4236627 markings, 5685418 edges, 25957 markings/sec, 170 secs
lola: 4363464 markings, 5844108 edges, 25367 markings/sec, 175 secs
lola: 4480323 markings, 5993134 edges, 23372 markings/sec, 180 secs
lola: 4603988 markings, 6147072 edges, 24733 markings/sec, 185 secs
lola: 4723060 markings, 6293886 edges, 23814 markings/sec, 190 secs
lola: 4809788 markings, 6404430 edges, 17346 markings/sec, 195 secs
lola: 4932749 markings, 6556344 edges, 24592 markings/sec, 200 secs
lola: 5003705 markings, 6642502 edges, 14191 markings/sec, 205 secs
lola: 5138212 markings, 6814887 edges, 26901 markings/sec, 210 secs
lola: 5239501 markings, 6938717 edges, 20258 markings/sec, 215 secs
lola: 5345819 markings, 7069183 edges, 21264 markings/sec, 220 secs
lola: 5447413 markings, 7196431 edges, 20319 markings/sec, 225 secs
lola: 5531176 markings, 7302391 edges, 16753 markings/sec, 230 secs
lola: 5637333 markings, 7433355 edges, 21231 markings/sec, 235 secs
lola: 5728873 markings, 7545109 edges, 18308 markings/sec, 240 secs
lola: 5817598 markings, 7658406 edges, 17745 markings/sec, 245 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 1 unknown unknown unknown unknown unknown unknown unknown
FORMULA CloudReconfiguration-PT-318-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-318-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496537751547

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