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

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

=== Now, execution of the tool begins

BK_START 1496531429738


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-310: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-310 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-310-UpperBounds.task
lola: MAX(p1656) : MAX(p1340) : MAX(p181) : MAX(p213) : MAX(p2380) : MAX(p2279) : MAX(p1954) : MAX(p2166) : MAX(p2150) : MAX(p2434) : MAX(p1346) : MAX(p2321) : MAX(p405) : MAX(p2265) : MAX(p1153) : MAX(p2161)
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(p1656)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 133820 markings, 161076 edges, 26764 markings/sec, 0 secs
lola: 262787 markings, 316656 edges, 25793 markings/sec, 5 secs
lola: 407408 markings, 492067 edges, 28924 markings/sec, 10 secs
lola: 558603 markings, 677863 edges, 30239 markings/sec, 15 secs
lola: 697448 markings, 851689 edges, 27769 markings/sec, 20 secs
lola: 839630 markings, 1028220 edges, 28436 markings/sec, 25 secs
lola: 981861 markings, 1204934 edges, 28446 markings/sec, 30 secs
lola: 1135900 markings, 1398876 edges, 30808 markings/sec, 35 secs
lola: 1287220 markings, 1588938 edges, 30264 markings/sec, 40 secs
lola: 1441230 markings, 1781676 edges, 30802 markings/sec, 45 secs
lola: 1578823 markings, 1954053 edges, 27519 markings/sec, 50 secs
lola: 1717765 markings, 2130417 edges, 27788 markings/sec, 55 secs
lola: 1864308 markings, 2314729 edges, 29309 markings/sec, 60 secs
lola: 2017062 markings, 2507812 edges, 30551 markings/sec, 65 secs
lola: 2157924 markings, 2686874 edges, 28172 markings/sec, 70 secs
lola: 2306181 markings, 2877858 edges, 29651 markings/sec, 75 secs
lola: 2435874 markings, 3034585 edges, 25939 markings/sec, 80 secs
lola: 2599422 markings, 3239561 edges, 32710 markings/sec, 85 secs
lola: 2754573 markings, 3436028 edges, 31030 markings/sec, 90 secs
lola: 2888639 markings, 3603868 edges, 26813 markings/sec, 95 secs
lola: 3000869 markings, 3744175 edges, 22446 markings/sec, 100 secs
lola: 3129371 markings, 3905716 edges, 25700 markings/sec, 105 secs
lola: 3273377 markings, 4087933 edges, 28801 markings/sec, 110 secs
lola: 3421839 markings, 4275553 edges, 29692 markings/sec, 115 secs
lola: 3534806 markings, 4418365 edges, 22593 markings/sec, 120 secs
lola: 3687453 markings, 4614304 edges, 30529 markings/sec, 125 secs
lola: 3815444 markings, 4770984 edges, 25598 markings/sec, 130 secs
lola: 3971187 markings, 4968013 edges, 31149 markings/sec, 135 secs
lola: 4124656 markings, 5162474 edges, 30694 markings/sec, 140 secs
lola: 4267563 markings, 5345990 edges, 28581 markings/sec, 145 secs
lola: 4393463 markings, 5504100 edges, 25180 markings/sec, 150 secs
lola: 4514501 markings, 5655292 edges, 24208 markings/sec, 155 secs
lola: 4644221 markings, 5822996 edges, 25944 markings/sec, 160 secs
lola: 4798090 markings, 6022339 edges, 30774 markings/sec, 165 secs
lola: 4919254 markings, 6178534 edges, 24233 markings/sec, 170 secs
lola: 5032081 markings, 6321489 edges, 22565 markings/sec, 175 secs
lola: 5182759 markings, 6515254 edges, 30136 markings/sec, 180 secs
lola: 5284816 markings, 6644690 edges, 20411 markings/sec, 185 secs
lola: 5408596 markings, 6801348 edges, 24756 markings/sec, 190 secs
lola: 5544652 markings, 6975034 edges, 27211 markings/sec, 195 secs
lola: 5683579 markings, 7153060 edges, 27785 markings/sec, 200 secs
lola: 5799500 markings, 7296399 edges, 23184 markings/sec, 205 secs
lola: 5913525 markings, 7439299 edges, 22805 markings/sec, 210 secs
lola: 6018939 markings, 7570412 edges, 21083 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(p1340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 163236 markings, 199474 edges, 32647 markings/sec, 0 secs
lola: 316243 markings, 386823 edges, 30601 markings/sec, 5 secs
lola: 490758 markings, 600897 edges, 34903 markings/sec, 10 secs
lola: 680768 markings, 835754 edges, 38002 markings/sec, 15 secs
lola: 832553 markings, 1023405 edges, 30357 markings/sec, 20 secs
lola: 970761 markings, 1194267 edges, 27642 markings/sec, 25 secs
lola: 1143700 markings, 1408300 edges, 34588 markings/sec, 30 secs
lola: 1326217 markings, 1638287 edges, 36503 markings/sec, 35 secs
lola: 1428976 markings, 1797399 edges, 20552 markings/sec, 40 secs
lola: 1556021 markings, 1961608 edges, 25409 markings/sec, 45 secs
lola: 1690376 markings, 2135273 edges, 26871 markings/sec, 50 secs
lola: 1817769 markings, 2300878 edges, 25479 markings/sec, 55 secs
lola: 1951427 markings, 2470257 edges, 26732 markings/sec, 60 secs
lola: 2075307 markings, 2627908 edges, 24776 markings/sec, 65 secs
lola: 2201286 markings, 2787355 edges, 25196 markings/sec, 70 secs
lola: 2328508 markings, 2949651 edges, 25444 markings/sec, 75 secs
lola: 2458449 markings, 3113433 edges, 25988 markings/sec, 80 secs
lola: 2591563 markings, 3279971 edges, 26623 markings/sec, 85 secs
lola: 2725050 markings, 3448380 edges, 26697 markings/sec, 90 secs
lola: 2858584 markings, 3615629 edges, 26707 markings/sec, 95 secs
lola: 2996922 markings, 3789174 edges, 27668 markings/sec, 100 secs
lola: 3136290 markings, 3964351 edges, 27874 markings/sec, 105 secs
lola: 3270064 markings, 4132859 edges, 26755 markings/sec, 110 secs
lola: 3412497 markings, 4309598 edges, 28487 markings/sec, 115 secs
lola: 3549326 markings, 4480716 edges, 27366 markings/sec, 120 secs
lola: 3687974 markings, 4654213 edges, 27730 markings/sec, 125 secs
lola: 3816879 markings, 4815470 edges, 25781 markings/sec, 130 secs
lola: 3949131 markings, 4982459 edges, 26450 markings/sec, 135 secs
lola: 4077910 markings, 5146050 edges, 25756 markings/sec, 140 secs
lola: 4212959 markings, 5318941 edges, 27010 markings/sec, 145 secs
lola: 4354541 markings, 5494309 edges, 28316 markings/sec, 150 secs
lola: 4500094 markings, 5674820 edges, 29111 markings/sec, 155 secs
lola: 4649230 markings, 5857869 edges, 29827 markings/sec, 160 secs
lola: 4796084 markings, 6038397 edges, 29371 markings/sec, 165 secs
lola: 4927423 markings, 6203959 edges, 26268 markings/sec, 170 secs
lola: 5074853 markings, 6387605 edges, 29486 markings/sec, 175 secs
lola: 5224210 markings, 6574463 edges, 29871 markings/sec, 180 secs
lola: 5364030 markings, 6751414 edges, 27964 markings/sec, 185 secs
lola: 5497592 markings, 6923293 edges, 26712 markings/sec, 190 secs
lola: 5642623 markings, 7102332 edges, 29006 markings/sec, 195 secs
lola: 5790770 markings, 7285073 edges, 29629 markings/sec, 200 secs
lola: 5930397 markings, 7463625 edges, 27925 markings/sec, 205 secs
lola: 6057858 markings, 7624213 edges, 25492 markings/sec, 210 secs
lola: 6176263 markings, 7773639 edges, 23681 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(p181)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 106668 markings, 129980 edges, 21334 markings/sec, 0 secs
lola: 211158 markings, 257559 edges, 20898 markings/sec, 5 secs
lola: 321792 markings, 396275 edges, 22127 markings/sec, 10 secs
lola: 419939 markings, 515781 edges, 19629 markings/sec, 15 secs
lola: 522702 markings, 644400 edges, 20553 markings/sec, 20 secs
lola: 612959 markings, 754287 edges, 18051 markings/sec, 25 secs
lola: 704906 markings, 867688 edges, 18389 markings/sec, 30 secs
lola: 798437 markings, 985274 edges, 18706 markings/sec, 35 secs
lola: 889196 markings, 1099153 edges, 18152 markings/sec, 40 secs
lola: 973454 markings, 1202487 edges, 16852 markings/sec, 45 secs
lola: 1052874 markings, 1299274 edges, 15884 markings/sec, 50 secs
lola: 1138157 markings, 1402962 edges, 17057 markings/sec, 55 secs
lola: 1227379 markings, 1511392 edges, 17844 markings/sec, 60 secs
lola: 1334817 markings, 1648686 edges, 21488 markings/sec, 65 secs
lola: 1438271 markings, 1780782 edges, 20691 markings/sec, 70 secs
lola: 1537478 markings, 1904761 edges, 19841 markings/sec, 75 secs
lola: 1631487 markings, 2025471 edges, 18802 markings/sec, 80 secs
lola: 1718774 markings, 2131974 edges, 17457 markings/sec, 85 secs
lola: 1814742 markings, 2255254 edges, 19194 markings/sec, 90 secs
lola: 1913882 markings, 2384178 edges, 19828 markings/sec, 95 secs
lola: 2011943 markings, 2506575 edges, 19612 markings/sec, 100 secs
lola: 2103415 markings, 2624299 edges, 18294 markings/sec, 105 secs
lola: 2190873 markings, 2733440 edges, 17492 markings/sec, 110 secs
lola: 2281268 markings, 2843294 edges, 18079 markings/sec, 115 secs
lola: 2376647 markings, 2961682 edges, 19076 markings/sec, 120 secs
lola: 2492276 markings, 3109043 edges, 23126 markings/sec, 125 secs
lola: 2605110 markings, 3251521 edges, 22567 markings/sec, 130 secs
lola: 2713521 markings, 3387540 edges, 21682 markings/sec, 135 secs
lola: 2812490 markings, 3510249 edges, 19794 markings/sec, 140 secs
lola: 2906269 markings, 3625187 edges, 18756 markings/sec, 145 secs
lola: 2995057 markings, 3733666 edges, 17758 markings/sec, 150 secs
lola: 3108048 markings, 3879912 edges, 22598 markings/sec, 155 secs
lola: 3217179 markings, 4018861 edges, 21826 markings/sec, 160 secs
lola: 3320730 markings, 4149188 edges, 20710 markings/sec, 165 secs
lola: 3419626 markings, 4272051 edges, 19779 markings/sec, 170 secs
lola: 3525292 markings, 4407732 edges, 21133 markings/sec, 175 secs
lola: 3619999 markings, 4525692 edges, 18941 markings/sec, 180 secs
lola: 3722715 markings, 4651521 edges, 20543 markings/sec, 185 secs
lola: 3793495 markings, 4740559 edges, 14156 markings/sec, 190 secs
lola: 3897058 markings, 4870648 edges, 20713 markings/sec, 195 secs
lola: 3978233 markings, 4969666 edges, 16235 markings/sec, 200 secs
lola: 4067527 markings, 5083525 edges, 17859 markings/sec, 205 secs
lola: 4176275 markings, 5219609 edges, 21750 markings/sec, 210 secs
lola: 4258733 markings, 5320110 edges, 16492 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(p213)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 96657 markings, 201819 edges, 19331 markings/sec, 0 secs
lola: 196580 markings, 428969 edges, 19985 markings/sec, 5 secs
lola: 292709 markings, 636935 edges, 19226 markings/sec, 10 secs
lola: 387185 markings, 843016 edges, 18895 markings/sec, 15 secs
lola: 481821 markings, 1053832 edges, 18927 markings/sec, 20 secs
lola: 575215 markings, 1259529 edges, 18679 markings/sec, 25 secs
lola: 667412 markings, 1466821 edges, 18439 markings/sec, 30 secs
lola: 757147 markings, 1668882 edges, 17947 markings/sec, 35 secs
lola: 845109 markings, 1867298 edges, 17592 markings/sec, 40 secs
lola: 930988 markings, 2066114 edges, 17176 markings/sec, 45 secs
lola: 1016485 markings, 2249402 edges, 17099 markings/sec, 50 secs
lola: 1101294 markings, 2435669 edges, 16962 markings/sec, 55 secs
lola: 1188202 markings, 2633790 edges, 17382 markings/sec, 60 secs
lola: 1273532 markings, 2827468 edges, 17066 markings/sec, 65 secs
lola: 1357723 markings, 3017456 edges, 16838 markings/sec, 70 secs
lola: 1442565 markings, 3208609 edges, 16968 markings/sec, 75 secs
lola: 1528050 markings, 3405544 edges, 17097 markings/sec, 80 secs
lola: 1616836 markings, 3606698 edges, 17757 markings/sec, 85 secs
lola: 1704626 markings, 3805808 edges, 17558 markings/sec, 90 secs
lola: 1791794 markings, 4001702 edges, 17434 markings/sec, 95 secs
lola: 1879034 markings, 4188765 edges, 17448 markings/sec, 100 secs
lola: 1965468 markings, 4386254 edges, 17287 markings/sec, 105 secs
lola: 2051513 markings, 4578029 edges, 17209 markings/sec, 110 secs
lola: 2137572 markings, 4770185 edges, 17212 markings/sec, 115 secs
lola: 2220901 markings, 4958869 edges, 16666 markings/sec, 120 secs
lola: 2309899 markings, 5154686 edges, 17800 markings/sec, 125 secs
lola: 2395712 markings, 5355092 edges, 17163 markings/sec, 130 secs
lola: 2481550 markings, 5549521 edges, 17168 markings/sec, 135 secs
lola: 2567772 markings, 5741717 edges, 17244 markings/sec, 140 secs
lola: 2651065 markings, 5925585 edges, 16659 markings/sec, 145 secs
lola: 2730466 markings, 6106498 edges, 15880 markings/sec, 150 secs
lola: 2809750 markings, 6285940 edges, 15857 markings/sec, 155 secs
lola: 2886822 markings, 6462748 edges, 15414 markings/sec, 160 secs
lola: 2962379 markings, 6632325 edges, 15111 markings/sec, 165 secs
lola: 3037653 markings, 6802223 edges, 15055 markings/sec, 170 secs
lola: 3118651 markings, 6985911 edges, 16200 markings/sec, 175 secs
lola: 3200331 markings, 7171359 edges, 16336 markings/sec, 180 secs
lola: 3283864 markings, 7360894 edges, 16707 markings/sec, 185 secs
lola: 3368893 markings, 7553781 edges, 17006 markings/sec, 190 secs
lola: 3454089 markings, 7747498 edges, 17039 markings/sec, 195 secs
lola: 3540597 markings, 7955093 edges, 17302 markings/sec, 200 secs
lola: 3630058 markings, 8126127 edges, 17892 markings/sec, 205 secs
lola: 3712798 markings, 8312179 edges, 16548 markings/sec, 210 secs
lola: 3795514 markings, 8500644 edges, 16543 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(p2380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 112130 markings, 134413 edges, 22426 markings/sec, 0 secs
lola: 215507 markings, 258612 edges, 20675 markings/sec, 5 secs
lola: 323451 markings, 390412 edges, 21589 markings/sec, 10 secs
lola: 425468 markings, 521115 edges, 20403 markings/sec, 15 secs
lola: 529519 markings, 659404 edges, 20810 markings/sec, 20 secs
lola: 645222 markings, 805979 edges, 23141 markings/sec, 25 secs
lola: 748646 markings, 937981 edges, 20685 markings/sec, 30 secs
lola: 845203 markings, 1062946 edges, 19311 markings/sec, 35 secs
lola: 947318 markings, 1192643 edges, 20423 markings/sec, 40 secs
lola: 1062778 markings, 1339473 edges, 23092 markings/sec, 45 secs
lola: 1184307 markings, 1492580 edges, 24306 markings/sec, 50 secs
lola: 1319002 markings, 1660241 edges, 26939 markings/sec, 55 secs
lola: 1436717 markings, 1809761 edges, 23543 markings/sec, 60 secs
lola: 1550403 markings, 1956195 edges, 22737 markings/sec, 65 secs
lola: 1654551 markings, 2091525 edges, 20830 markings/sec, 70 secs
lola: 1772435 markings, 2240221 edges, 23577 markings/sec, 75 secs
lola: 1884394 markings, 2382917 edges, 22392 markings/sec, 80 secs
lola: 2007118 markings, 2536744 edges, 24545 markings/sec, 85 secs
lola: 2101721 markings, 2689937 edges, 18921 markings/sec, 90 secs
lola: 2227508 markings, 2851772 edges, 25157 markings/sec, 95 secs
lola: 2372675 markings, 3034165 edges, 29033 markings/sec, 100 secs
lola: 2522826 markings, 3222896 edges, 30030 markings/sec, 105 secs
lola: 2654072 markings, 3385028 edges, 26249 markings/sec, 110 secs
lola: 2784656 markings, 3546301 edges, 26117 markings/sec, 115 secs
lola: 2934625 markings, 3736434 edges, 29994 markings/sec, 120 secs
lola: 3073944 markings, 3911299 edges, 27864 markings/sec, 125 secs
lola: 3190385 markings, 4064816 edges, 23288 markings/sec, 130 secs
lola: 3309223 markings, 4221707 edges, 23768 markings/sec, 135 secs
lola: 3445793 markings, 4398688 edges, 27314 markings/sec, 140 secs
lola: 3549939 markings, 4571119 edges, 20829 markings/sec, 145 secs
lola: 3719715 markings, 4784721 edges, 33955 markings/sec, 150 secs
lola: 3854893 markings, 4960489 edges, 27036 markings/sec, 155 secs
lola: 4001183 markings, 5152123 edges, 29258 markings/sec, 160 secs
lola: 4156532 markings, 5346270 edges, 31070 markings/sec, 165 secs
lola: 4307200 markings, 5543038 edges, 30134 markings/sec, 170 secs
lola: 4463170 markings, 5739175 edges, 31194 markings/sec, 175 secs
lola: 4606558 markings, 5921621 edges, 28678 markings/sec, 180 secs
lola: 4737248 markings, 6092144 edges, 26138 markings/sec, 185 secs
lola: 4881333 markings, 6279884 edges, 28817 markings/sec, 190 secs
lola: 5028004 markings, 6472764 edges, 29334 markings/sec, 195 secs
lola: 5156449 markings, 6632125 edges, 25689 markings/sec, 200 secs
lola: 5275812 markings, 6783822 edges, 23873 markings/sec, 205 secs
lola: 5410779 markings, 6958412 edges, 26993 markings/sec, 210 secs
lola: 5525050 markings, 7108657 edges, 22854 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(p2279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 120956 markings, 209668 edges, 24191 markings/sec, 0 secs
lola: 233119 markings, 467170 edges, 22433 markings/sec, 5 secs
lola: 348935 markings, 691078 edges, 23163 markings/sec, 10 secs
lola: 469474 markings, 901540 edges, 24108 markings/sec, 15 secs
lola: 570475 markings, 1103038 edges, 20200 markings/sec, 20 secs
lola: 655465 markings, 1299619 edges, 16998 markings/sec, 25 secs
lola: 758308 markings, 1501818 edges, 20569 markings/sec, 30 secs
lola: 863161 markings, 1667735 edges, 20971 markings/sec, 35 secs
lola: 940752 markings, 1833349 edges, 15518 markings/sec, 40 secs
lola: 1010211 markings, 1993187 edges, 13892 markings/sec, 45 secs
lola: 1094062 markings, 2165545 edges, 16770 markings/sec, 50 secs
lola: 1213300 markings, 2325950 edges, 23848 markings/sec, 55 secs
lola: 1300135 markings, 2481740 edges, 17367 markings/sec, 60 secs
lola: 1385230 markings, 2624083 edges, 17019 markings/sec, 65 secs
lola: 1446204 markings, 2763234 edges, 12195 markings/sec, 70 secs
lola: 1504663 markings, 2898469 edges, 11692 markings/sec, 75 secs
lola: 1578609 markings, 3043496 edges, 14789 markings/sec, 80 secs
lola: 1700586 markings, 3196463 edges, 24395 markings/sec, 85 secs
lola: 1770702 markings, 3335272 edges, 14023 markings/sec, 90 secs
lola: 1864120 markings, 3473038 edges, 18684 markings/sec, 95 secs
lola: 1943486 markings, 3593509 edges, 15873 markings/sec, 100 secs
lola: 2027704 markings, 3714411 edges, 16844 markings/sec, 105 secs
lola: 2115736 markings, 3836157 edges, 17606 markings/sec, 110 secs
lola: 2204001 markings, 3962818 edges, 17653 markings/sec, 115 secs
lola: 2286330 markings, 4081353 edges, 16466 markings/sec, 120 secs
lola: 2367906 markings, 4196528 edges, 16315 markings/sec, 125 secs
lola: 2469738 markings, 4330127 edges, 20366 markings/sec, 130 secs
lola: 2574221 markings, 4470653 edges, 20897 markings/sec, 135 secs
lola: 2700622 markings, 4633095 edges, 25280 markings/sec, 140 secs
lola: 2835761 markings, 4801942 edges, 27028 markings/sec, 145 secs
lola: 2966248 markings, 4965380 edges, 26097 markings/sec, 150 secs
lola: 3067946 markings, 5099291 edges, 20340 markings/sec, 155 secs
lola: 3170546 markings, 5234261 edges, 20520 markings/sec, 160 secs
lola: 3266103 markings, 5366539 edges, 19111 markings/sec, 165 secs
lola: 3385855 markings, 5521027 edges, 23950 markings/sec, 170 secs
lola: 3506769 markings, 5673595 edges, 24183 markings/sec, 175 secs
lola: 3626248 markings, 5823034 edges, 23896 markings/sec, 180 secs
lola: 3738498 markings, 5969957 edges, 22450 markings/sec, 185 secs
lola: 3872848 markings, 6142619 edges, 26870 markings/sec, 190 secs
lola: 4008401 markings, 6317550 edges, 27111 markings/sec, 195 secs
lola: 4123631 markings, 6480653 edges, 23046 markings/sec, 200 secs
lola: 4196589 markings, 6600366 edges, 14592 markings/sec, 205 secs
lola: 4283410 markings, 6742420 edges, 17364 markings/sec, 210 secs
lola: 4371767 markings, 6866519 edges, 17671 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(p1954)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 155033 markings, 315612 edges, 31007 markings/sec, 0 secs
lola: 305164 markings, 623831 edges, 30026 markings/sec, 5 secs
lola: 444406 markings, 918274 edges, 27848 markings/sec, 10 secs
lola: 587929 markings, 1217988 edges, 28705 markings/sec, 15 secs
lola: 718500 markings, 1483721 edges, 26114 markings/sec, 20 secs
lola: 839156 markings, 1736305 edges, 24131 markings/sec, 25 secs
lola: 947996 markings, 1966081 edges, 21768 markings/sec, 30 secs
lola: 1060692 markings, 2202157 edges, 22539 markings/sec, 35 secs
lola: 1165138 markings, 2418032 edges, 20889 markings/sec, 40 secs
lola: 1261182 markings, 2612886 edges, 19209 markings/sec, 45 secs
lola: 1352453 markings, 2804090 edges, 18254 markings/sec, 50 secs
lola: 1440714 markings, 2989985 edges, 17652 markings/sec, 55 secs
lola: 1530208 markings, 3177721 edges, 17899 markings/sec, 60 secs
lola: 1625867 markings, 3377273 edges, 19132 markings/sec, 65 secs
lola: 1707834 markings, 3546349 edges, 16393 markings/sec, 70 secs
lola: 1792708 markings, 3718725 edges, 16975 markings/sec, 75 secs
lola: 1873956 markings, 3888479 edges, 16250 markings/sec, 80 secs
lola: 1951984 markings, 4052422 edges, 15606 markings/sec, 85 secs
lola: 2026196 markings, 4209076 edges, 14842 markings/sec, 90 secs
lola: 2104283 markings, 4371442 edges, 15617 markings/sec, 95 secs
lola: 2178138 markings, 4528042 edges, 14771 markings/sec, 100 secs
lola: 2248168 markings, 4672873 edges, 14006 markings/sec, 105 secs
lola: 2313555 markings, 4808923 edges, 13077 markings/sec, 110 secs
lola: 2381053 markings, 4946757 edges, 13500 markings/sec, 115 secs
lola: 2443826 markings, 5077543 edges, 12555 markings/sec, 120 secs
lola: 2507984 markings, 5209372 edges, 12832 markings/sec, 125 secs
lola: 2569180 markings, 5336323 edges, 12239 markings/sec, 130 secs
lola: 2628727 markings, 5460577 edges, 11909 markings/sec, 135 secs
lola: 2689569 markings, 5585834 edges, 12168 markings/sec, 140 secs
lola: 2752711 markings, 5714557 edges, 12628 markings/sec, 145 secs
lola: 2811100 markings, 5836623 edges, 11678 markings/sec, 150 secs
lola: 2867350 markings, 5955402 edges, 11250 markings/sec, 155 secs
lola: 2930809 markings, 6084291 edges, 12692 markings/sec, 160 secs
lola: 2988503 markings, 6205973 edges, 11539 markings/sec, 165 secs
lola: 3046147 markings, 6326933 edges, 11529 markings/sec, 170 secs
lola: 3102084 markings, 6443076 edges, 11187 markings/sec, 175 secs
lola: 3155708 markings, 6552514 edges, 10725 markings/sec, 180 secs
lola: 3205770 markings, 6656513 edges, 10012 markings/sec, 185 secs
lola: 3259618 markings, 6766262 edges, 10770 markings/sec, 190 secs
lola: 3307782 markings, 6868273 edges, 9633 markings/sec, 195 secs
lola: 3356716 markings, 6969359 edges, 9787 markings/sec, 200 secs
lola: 3406536 markings, 7072127 edges, 9964 markings/sec, 205 secs
lola: 3454399 markings, 7171248 edges, 9573 markings/sec, 210 secs
lola: 3502073 markings, 7269481 edges, 9535 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(p2166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 105310 markings, 126504 edges, 21062 markings/sec, 0 secs
lola: 215375 markings, 259491 edges, 22013 markings/sec, 5 secs
lola: 320706 markings, 386673 edges, 21066 markings/sec, 10 secs
lola: 443105 markings, 535352 edges, 24480 markings/sec, 15 secs
lola: 578011 markings, 703257 edges, 26981 markings/sec, 20 secs
lola: 700001 markings, 858009 edges, 24398 markings/sec, 25 secs
lola: 820554 markings, 1010360 edges, 24111 markings/sec, 30 secs
lola: 937958 markings, 1153883 edges, 23481 markings/sec, 35 secs
lola: 1061941 markings, 1310888 edges, 24797 markings/sec, 40 secs
lola: 1181552 markings, 1462418 edges, 23922 markings/sec, 45 secs
lola: 1280980 markings, 1583063 edges, 19886 markings/sec, 50 secs
lola: 1379246 markings, 1702224 edges, 19653 markings/sec, 55 secs
lola: 1483998 markings, 1829855 edges, 20950 markings/sec, 60 secs
lola: 1580840 markings, 1947598 edges, 19368 markings/sec, 65 secs
lola: 1682907 markings, 2071105 edges, 20413 markings/sec, 70 secs
lola: 1796398 markings, 2214732 edges, 22698 markings/sec, 75 secs
lola: 1914627 markings, 2365433 edges, 23646 markings/sec, 80 secs
lola: 2043984 markings, 2527096 edges, 25871 markings/sec, 85 secs
lola: 2147325 markings, 2655856 edges, 20668 markings/sec, 90 secs
lola: 2255749 markings, 2794200 edges, 21685 markings/sec, 95 secs
lola: 2360453 markings, 2921593 edges, 20941 markings/sec, 100 secs
lola: 2468736 markings, 3058413 edges, 21657 markings/sec, 105 secs
lola: 2572716 markings, 3193336 edges, 20796 markings/sec, 110 secs
lola: 2682179 markings, 3330283 edges, 21893 markings/sec, 115 secs
lola: 2785429 markings, 3459913 edges, 20650 markings/sec, 120 secs
lola: 2888859 markings, 3588566 edges, 20686 markings/sec, 125 secs
lola: 3004573 markings, 3737373 edges, 23143 markings/sec, 130 secs
lola: 3119915 markings, 3878743 edges, 23068 markings/sec, 135 secs
lola: 3219672 markings, 4000601 edges, 19951 markings/sec, 140 secs
lola: 3321678 markings, 4131794 edges, 20401 markings/sec, 145 secs
lola: 3440103 markings, 4280027 edges, 23685 markings/sec, 150 secs
lola: 3549899 markings, 4414376 edges, 21959 markings/sec, 155 secs
lola: 3654540 markings, 4543370 edges, 20928 markings/sec, 160 secs
lola: 3756253 markings, 4667609 edges, 20343 markings/sec, 165 secs
lola: 3867023 markings, 4804994 edges, 22154 markings/sec, 170 secs
lola: 3978627 markings, 4944934 edges, 22321 markings/sec, 175 secs
lola: 4091503 markings, 5085021 edges, 22575 markings/sec, 180 secs
lola: 4196389 markings, 5216040 edges, 20977 markings/sec, 185 secs
lola: 4318757 markings, 5371105 edges, 24474 markings/sec, 190 secs
lola: 4425979 markings, 5505431 edges, 21444 markings/sec, 195 secs
lola: 4518743 markings, 5618272 edges, 18553 markings/sec, 200 secs
lola: 4633400 markings, 5758599 edges, 22931 markings/sec, 205 secs
lola: 4746888 markings, 5898664 edges, 22698 markings/sec, 210 secs
lola: 4866567 markings, 6047577 edges, 23936 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(p2150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 111189 markings, 133529 edges, 22238 markings/sec, 0 secs
lola: 245837 markings, 318685 edges, 26930 markings/sec, 5 secs
lola: 392807 markings, 513594 edges, 29394 markings/sec, 10 secs
lola: 524443 markings, 693905 edges, 26327 markings/sec, 15 secs
lola: 656881 markings, 861393 edges, 26488 markings/sec, 20 secs
lola: 773571 markings, 1019512 edges, 23338 markings/sec, 25 secs
lola: 894352 markings, 1173112 edges, 24156 markings/sec, 30 secs
lola: 1001999 markings, 1306908 edges, 21529 markings/sec, 35 secs
lola: 1098935 markings, 1426803 edges, 19387 markings/sec, 40 secs
lola: 1199108 markings, 1552012 edges, 20035 markings/sec, 45 secs
lola: 1302342 markings, 1679153 edges, 20647 markings/sec, 50 secs
lola: 1408924 markings, 1810421 edges, 21316 markings/sec, 55 secs
lola: 1523507 markings, 1950466 edges, 22917 markings/sec, 60 secs
lola: 1644381 markings, 2103584 edges, 24175 markings/sec, 65 secs
lola: 1758759 markings, 2249553 edges, 22876 markings/sec, 70 secs
lola: 1873945 markings, 2393813 edges, 23037 markings/sec, 75 secs
lola: 1991378 markings, 2539911 edges, 23487 markings/sec, 80 secs
lola: 2108468 markings, 2689673 edges, 23418 markings/sec, 85 secs
lola: 2219563 markings, 2826084 edges, 22219 markings/sec, 90 secs
lola: 2339130 markings, 2978371 edges, 23913 markings/sec, 95 secs
lola: 2456479 markings, 3129454 edges, 23470 markings/sec, 100 secs
lola: 2565667 markings, 3266479 edges, 21838 markings/sec, 105 secs
lola: 2670735 markings, 3397021 edges, 21014 markings/sec, 110 secs
lola: 2774479 markings, 3528876 edges, 20749 markings/sec, 115 secs
lola: 2891633 markings, 3676965 edges, 23431 markings/sec, 120 secs
lola: 3017342 markings, 3834563 edges, 25142 markings/sec, 125 secs
lola: 3151488 markings, 4006480 edges, 26829 markings/sec, 130 secs
lola: 3254348 markings, 4139113 edges, 20572 markings/sec, 135 secs
lola: 3366475 markings, 4280542 edges, 22425 markings/sec, 140 secs
lola: 3477175 markings, 4423402 edges, 22140 markings/sec, 145 secs
lola: 3598792 markings, 4578529 edges, 24323 markings/sec, 150 secs
lola: 3713953 markings, 4725556 edges, 23032 markings/sec, 155 secs
lola: 3834292 markings, 4880981 edges, 24068 markings/sec, 160 secs
lola: 3933776 markings, 5008317 edges, 19897 markings/sec, 165 secs
lola: 4053876 markings, 5162944 edges, 24020 markings/sec, 170 secs
lola: 4162037 markings, 5298813 edges, 21632 markings/sec, 175 secs
lola: 4271940 markings, 5440306 edges, 21981 markings/sec, 180 secs
lola: 4386228 markings, 5586284 edges, 22858 markings/sec, 185 secs
lola: 4495954 markings, 5726303 edges, 21945 markings/sec, 190 secs
lola: 4611269 markings, 5873235 edges, 23063 markings/sec, 195 secs
lola: 4733185 markings, 6030240 edges, 24383 markings/sec, 200 secs
lola: 4830872 markings, 6156549 edges, 19537 markings/sec, 205 secs
lola: 4940750 markings, 6291337 edges, 21976 markings/sec, 210 secs
lola: 5060520 markings, 6446049 edges, 23954 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(p2434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 118203 markings, 141590 edges, 23641 markings/sec, 0 secs
lola: 263087 markings, 320581 edges, 28977 markings/sec, 5 secs
lola: 404568 markings, 495874 edges, 28296 markings/sec, 10 secs
lola: 540724 markings, 662886 edges, 27231 markings/sec, 15 secs
lola: 653502 markings, 803162 edges, 22556 markings/sec, 20 secs
lola: 775466 markings, 954514 edges, 24393 markings/sec, 25 secs
lola: 886623 markings, 1090520 edges, 22231 markings/sec, 30 secs
lola: 995305 markings, 1226194 edges, 21736 markings/sec, 35 secs
lola: 1118798 markings, 1380175 edges, 24699 markings/sec, 40 secs
lola: 1230840 markings, 1519469 edges, 22408 markings/sec, 45 secs
lola: 1351563 markings, 1666993 edges, 24145 markings/sec, 50 secs
lola: 1477904 markings, 1821313 edges, 25268 markings/sec, 55 secs
lola: 1610099 markings, 1982591 edges, 26439 markings/sec, 60 secs
lola: 1745301 markings, 2149841 edges, 27040 markings/sec, 65 secs
lola: 1884754 markings, 2328125 edges, 27891 markings/sec, 70 secs
lola: 2020118 markings, 2498936 edges, 27073 markings/sec, 75 secs
lola: 2137302 markings, 2644430 edges, 23437 markings/sec, 80 secs
lola: 2258354 markings, 2793484 edges, 24210 markings/sec, 85 secs
lola: 2391173 markings, 2964967 edges, 26564 markings/sec, 90 secs
lola: 2512133 markings, 3118179 edges, 24192 markings/sec, 95 secs
lola: 2623655 markings, 3256814 edges, 22304 markings/sec, 100 secs
lola: 2740049 markings, 3405364 edges, 23279 markings/sec, 105 secs
lola: 2853441 markings, 3543023 edges, 22678 markings/sec, 110 secs
lola: 2985021 markings, 3706273 edges, 26316 markings/sec, 115 secs
lola: 3132844 markings, 3895967 edges, 29565 markings/sec, 120 secs
lola: 3283512 markings, 4084090 edges, 30134 markings/sec, 125 secs
lola: 3415468 markings, 4246394 edges, 26391 markings/sec, 130 secs
lola: 3537282 markings, 4397831 edges, 24363 markings/sec, 135 secs
lola: 3663515 markings, 4552177 edges, 25247 markings/sec, 140 secs
lola: 3787530 markings, 4704012 edges, 24803 markings/sec, 145 secs
lola: 3925508 markings, 4879945 edges, 27596 markings/sec, 150 secs
lola: 4056957 markings, 5047134 edges, 26290 markings/sec, 155 secs
lola: 4173863 markings, 5193582 edges, 23381 markings/sec, 160 secs
lola: 4305909 markings, 5361248 edges, 26409 markings/sec, 165 secs
lola: 4426401 markings, 5508046 edges, 24098 markings/sec, 170 secs
lola: 4546339 markings, 5655059 edges, 23988 markings/sec, 175 secs
lola: 4655658 markings, 5788767 edges, 21864 markings/sec, 180 secs
lola: 4736081 markings, 5887986 edges, 16085 markings/sec, 185 secs
lola: 4859340 markings, 6041548 edges, 24652 markings/sec, 190 secs
lola: 4932521 markings, 6134529 edges, 14636 markings/sec, 195 secs
lola: 5041781 markings, 6269752 edges, 21852 markings/sec, 200 secs
lola: 5169873 markings, 6426803 edges, 25618 markings/sec, 205 secs
lola: 5245151 markings, 6518490 edges, 15056 markings/sec, 210 secs
lola: 5365162 markings, 6665494 edges, 24002 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(p1346)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 175712 markings, 214718 edges, 35142 markings/sec, 0 secs
lola: 334953 markings, 409713 edges, 31848 markings/sec, 5 secs
lola: 521548 markings, 638252 edges, 37319 markings/sec, 10 secs
lola: 700784 markings, 860503 edges, 35847 markings/sec, 15 secs
lola: 837715 markings, 1029830 edges, 27386 markings/sec, 20 secs
lola: 965650 markings, 1187936 edges, 25587 markings/sec, 25 secs
lola: 1135477 markings, 1398066 edges, 33965 markings/sec, 30 secs
lola: 1322907 markings, 1630340 edges, 37486 markings/sec, 35 secs
lola: 1423749 markings, 1790812 edges, 20168 markings/sec, 40 secs
lola: 1550073 markings, 1954301 edges, 25265 markings/sec, 45 secs
lola: 1684706 markings, 2127174 edges, 26927 markings/sec, 50 secs
lola: 1812427 markings, 2291439 edges, 25544 markings/sec, 55 secs
lola: 1939714 markings, 2454955 edges, 25457 markings/sec, 60 secs
lola: 2067603 markings, 2617363 edges, 25578 markings/sec, 65 secs
lola: 2192234 markings, 2776469 edges, 24926 markings/sec, 70 secs
lola: 2318651 markings, 2937887 edges, 25283 markings/sec, 75 secs
lola: 2444281 markings, 3096374 edges, 25126 markings/sec, 80 secs
lola: 2577164 markings, 3262516 edges, 26577 markings/sec, 85 secs
lola: 2696719 markings, 3413970 edges, 23911 markings/sec, 90 secs
lola: 2820863 markings, 3567844 edges, 24829 markings/sec, 95 secs
lola: 2945587 markings, 3725940 edges, 24945 markings/sec, 100 secs
lola: 3086245 markings, 3900829 edges, 28132 markings/sec, 105 secs
lola: 3219760 markings, 4068510 edges, 26703 markings/sec, 110 secs
lola: 3351732 markings, 4233961 edges, 26394 markings/sec, 115 secs
lola: 3486894 markings, 4403096 edges, 27032 markings/sec, 120 secs
lola: 3615902 markings, 4562866 edges, 25802 markings/sec, 125 secs
lola: 3739822 markings, 4720022 edges, 24784 markings/sec, 130 secs
lola: 3868861 markings, 4881546 edges, 25808 markings/sec, 135 secs
lola: 3995512 markings, 5044150 edges, 25330 markings/sec, 140 secs
lola: 4119325 markings, 5202005 edges, 24763 markings/sec, 145 secs
lola: 4251897 markings, 5367300 edges, 26514 markings/sec, 150 secs
lola: 4380898 markings, 5527451 edges, 25800 markings/sec, 155 secs
lola: 4511356 markings, 5689337 edges, 26092 markings/sec, 160 secs
lola: 4645391 markings, 5853713 edges, 26807 markings/sec, 165 secs
lola: 4784913 markings, 6025569 edges, 27904 markings/sec, 170 secs
lola: 4915295 markings, 6187694 edges, 26076 markings/sec, 175 secs
lola: 5053495 markings, 6361758 edges, 27640 markings/sec, 180 secs
lola: 5196012 markings, 6538085 edges, 28503 markings/sec, 185 secs
lola: 5325000 markings, 6702303 edges, 25798 markings/sec, 190 secs
lola: 5447926 markings, 6859530 edges, 24585 markings/sec, 195 secs
lola: 5576607 markings, 7021316 edges, 25736 markings/sec, 200 secs
lola: 5711688 markings, 7188271 edges, 27016 markings/sec, 205 secs
lola: 5845123 markings, 7354699 edges, 26687 markings/sec, 210 secs
lola: 5976561 markings, 7521470 edges, 26288 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(p2321)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 137977 markings, 166869 edges, 27595 markings/sec, 0 secs
lola: 284094 markings, 348364 edges, 29223 markings/sec, 5 secs
lola: 434261 markings, 533156 edges, 30033 markings/sec, 10 secs
lola: 551023 markings, 678015 edges, 23352 markings/sec, 15 secs
lola: 674780 markings, 831943 edges, 24751 markings/sec, 20 secs
lola: 787563 markings, 970867 edges, 22557 markings/sec, 25 secs
lola: 902228 markings, 1113772 edges, 22933 markings/sec, 30 secs
lola: 1024376 markings, 1266915 edges, 24430 markings/sec, 35 secs
lola: 1130292 markings, 1396888 edges, 21183 markings/sec, 40 secs
lola: 1231052 markings, 1518991 edges, 20152 markings/sec, 45 secs
lola: 1341621 markings, 1652783 edges, 22114 markings/sec, 50 secs
lola: 1476489 markings, 1825549 edges, 26974 markings/sec, 55 secs
lola: 1608586 markings, 1991682 edges, 26419 markings/sec, 60 secs
lola: 1738056 markings, 2157432 edges, 25894 markings/sec, 65 secs
lola: 1850042 markings, 2293476 edges, 22397 markings/sec, 70 secs
lola: 1981227 markings, 2463123 edges, 26237 markings/sec, 75 secs
lola: 2110137 markings, 2626359 edges, 25782 markings/sec, 80 secs
lola: 2232522 markings, 2782984 edges, 24477 markings/sec, 85 secs
lola: 2345022 markings, 2922024 edges, 22500 markings/sec, 90 secs
lola: 2469676 markings, 3074055 edges, 24931 markings/sec, 95 secs
lola: 2620089 markings, 3266049 edges, 30083 markings/sec, 100 secs
lola: 2759922 markings, 3441754 edges, 27967 markings/sec, 105 secs
lola: 2886767 markings, 3600572 edges, 25369 markings/sec, 110 secs
lola: 2988127 markings, 3725078 edges, 20272 markings/sec, 115 secs
lola: 3089994 markings, 3848751 edges, 20373 markings/sec, 120 secs
lola: 3214643 markings, 4008319 edges, 24930 markings/sec, 125 secs
lola: 3342512 markings, 4170900 edges, 25574 markings/sec, 130 secs
lola: 3461966 markings, 4320743 edges, 23891 markings/sec, 135 secs
lola: 3584201 markings, 4473187 edges, 24447 markings/sec, 140 secs
lola: 3715341 markings, 4640024 edges, 26228 markings/sec, 145 secs
lola: 3847654 markings, 4802516 edges, 26463 markings/sec, 150 secs
lola: 3928481 markings, 4903332 edges, 16165 markings/sec, 155 secs
lola: 4049430 markings, 5054629 edges, 24190 markings/sec, 160 secs
lola: 4133547 markings, 5156949 edges, 16823 markings/sec, 165 secs
lola: 4255990 markings, 5313663 edges, 24489 markings/sec, 170 secs
lola: 4372218 markings, 5457006 edges, 23246 markings/sec, 175 secs
lola: 4472576 markings, 5579710 edges, 20072 markings/sec, 180 secs
lola: 4584972 markings, 5720293 edges, 22479 markings/sec, 185 secs
lola: 4679598 markings, 5839279 edges, 18925 markings/sec, 190 secs
lola: 4792189 markings, 5978031 edges, 22518 markings/sec, 195 secs
lola: 4899706 markings, 6109516 edges, 21503 markings/sec, 200 secs
lola: 4995874 markings, 6233829 edges, 19234 markings/sec, 205 secs
lola: 5120452 markings, 6389804 edges, 24916 markings/sec, 210 secs
lola: 5206120 markings, 6493876 edges, 17134 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(p405)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 132262 markings, 159222 edges, 26452 markings/sec, 0 secs
lola: 269159 markings, 328239 edges, 27379 markings/sec, 5 secs
lola: 385856 markings, 472090 edges, 23339 markings/sec, 10 secs
lola: 497288 markings, 608818 edges, 22286 markings/sec, 15 secs
lola: 606778 markings, 745026 edges, 21898 markings/sec, 20 secs
lola: 712683 markings, 876631 edges, 21181 markings/sec, 25 secs
lola: 823182 markings, 1013938 edges, 22100 markings/sec, 30 secs
lola: 925939 markings, 1139281 edges, 20551 markings/sec, 35 secs
lola: 1036780 markings, 1275199 edges, 22168 markings/sec, 40 secs
lola: 1142129 markings, 1405555 edges, 21070 markings/sec, 45 secs
lola: 1246059 markings, 1540652 edges, 20786 markings/sec, 50 secs
lola: 1361313 markings, 1681952 edges, 23051 markings/sec, 55 secs
lola: 1470384 markings, 1818993 edges, 21814 markings/sec, 60 secs
lola: 1572716 markings, 1944529 edges, 20466 markings/sec, 65 secs
lola: 1677800 markings, 2073514 edges, 21017 markings/sec, 70 secs
lola: 1754199 markings, 2246750 edges, 15280 markings/sec, 75 secs
lola: 1859552 markings, 2375987 edges, 21071 markings/sec, 80 secs
lola: 1937839 markings, 2538889 edges, 15657 markings/sec, 85 secs
lola: 2031606 markings, 2696113 edges, 18753 markings/sec, 90 secs
lola: 2136490 markings, 2824728 edges, 20977 markings/sec, 95 secs
lola: 2228121 markings, 2962493 edges, 18326 markings/sec, 100 secs
lola: 2314624 markings, 3143784 edges, 17301 markings/sec, 105 secs
lola: 2410589 markings, 3338722 edges, 19193 markings/sec, 110 secs
lola: 2493803 markings, 3506576 edges, 16643 markings/sec, 115 secs
lola: 2567991 markings, 3655662 edges, 14838 markings/sec, 120 secs
lola: 2630925 markings, 3783681 edges, 12587 markings/sec, 125 secs
lola: 2689189 markings, 3900756 edges, 11653 markings/sec, 130 secs
lola: 2744124 markings, 4012505 edges, 10987 markings/sec, 135 secs
lola: 2791791 markings, 4108944 edges, 9533 markings/sec, 140 secs
lola: 2837907 markings, 4202253 edges, 9223 markings/sec, 145 secs
lola: 2894198 markings, 4319774 edges, 11258 markings/sec, 150 secs
lola: 2971442 markings, 4488956 edges, 15449 markings/sec, 155 secs
lola: 3048445 markings, 4660409 edges, 15401 markings/sec, 160 secs
lola: 3153991 markings, 4789928 edges, 21109 markings/sec, 165 secs
lola: 3261569 markings, 4921926 edges, 21516 markings/sec, 170 secs
lola: 3371155 markings, 5055823 edges, 21917 markings/sec, 175 secs
lola: 3474513 markings, 5182394 edges, 20672 markings/sec, 180 secs
lola: 3581216 markings, 5312458 edges, 21341 markings/sec, 185 secs
lola: 3688588 markings, 5444196 edges, 21474 markings/sec, 190 secs
lola: 3797444 markings, 5577774 edges, 21771 markings/sec, 195 secs
lola: 3907487 markings, 5712509 edges, 22009 markings/sec, 200 secs
lola: 4011842 markings, 5842026 edges, 20871 markings/sec, 205 secs
lola: 4114668 markings, 5971621 edges, 20565 markings/sec, 210 secs
lola: 4220415 markings, 6106880 edges, 21149 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(p2265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 118681 markings, 206615 edges, 23736 markings/sec, 0 secs
lola: 224526 markings, 387572 edges, 21169 markings/sec, 5 secs
lola: 338524 markings, 577681 edges, 22800 markings/sec, 10 secs
lola: 472205 markings, 787823 edges, 26736 markings/sec, 15 secs
lola: 598599 markings, 968821 edges, 25279 markings/sec, 20 secs
lola: 714624 markings, 1131235 edges, 23205 markings/sec, 25 secs
lola: 832867 markings, 1340694 edges, 23649 markings/sec, 30 secs
lola: 943595 markings, 1540073 edges, 22146 markings/sec, 35 secs
lola: 1061588 markings, 1688377 edges, 23599 markings/sec, 40 secs
lola: 1169500 markings, 1834847 edges, 21582 markings/sec, 45 secs
lola: 1272450 markings, 2017332 edges, 20590 markings/sec, 50 secs
lola: 1369335 markings, 2196917 edges, 19377 markings/sec, 55 secs
lola: 1483148 markings, 2341376 edges, 22763 markings/sec, 60 secs
lola: 1594846 markings, 2484708 edges, 22340 markings/sec, 65 secs
lola: 1688119 markings, 2609956 edges, 18655 markings/sec, 70 secs
lola: 1779045 markings, 2729268 edges, 18185 markings/sec, 75 secs
lola: 1873687 markings, 2856129 edges, 18928 markings/sec, 80 secs
lola: 1969154 markings, 2985858 edges, 19093 markings/sec, 85 secs
lola: 2066429 markings, 3110804 edges, 19455 markings/sec, 90 secs
lola: 2170898 markings, 3243423 edges, 20894 markings/sec, 95 secs
lola: 2292645 markings, 3397251 edges, 24349 markings/sec, 100 secs
lola: 2430796 markings, 3574066 edges, 27630 markings/sec, 105 secs
lola: 2570197 markings, 3748263 edges, 27880 markings/sec, 110 secs
lola: 2689038 markings, 3897243 edges, 23768 markings/sec, 115 secs
lola: 2801059 markings, 4035518 edges, 22404 markings/sec, 120 secs
lola: 2902511 markings, 4164622 edges, 20290 markings/sec, 125 secs
lola: 3009922 markings, 4305336 edges, 21482 markings/sec, 130 secs
lola: 3119371 markings, 4447333 edges, 21890 markings/sec, 135 secs
lola: 3237734 markings, 4595565 edges, 23673 markings/sec, 140 secs
lola: 3349192 markings, 4734420 edges, 22292 markings/sec, 145 secs
lola: 3451996 markings, 4867602 edges, 20561 markings/sec, 150 secs
lola: 3560324 markings, 5009049 edges, 21666 markings/sec, 155 secs
lola: 3680273 markings, 5171266 edges, 23990 markings/sec, 160 secs
lola: 3765836 markings, 5296609 edges, 17113 markings/sec, 165 secs
lola: 3854893 markings, 5424575 edges, 17811 markings/sec, 170 secs
lola: 3989192 markings, 5597733 edges, 26860 markings/sec, 175 secs
lola: 4094540 markings, 5745018 edges, 21070 markings/sec, 180 secs
lola: 4168907 markings, 5852289 edges, 14873 markings/sec, 185 secs
lola: 4267203 markings, 5993927 edges, 19659 markings/sec, 190 secs
lola: 4351415 markings, 6114762 edges, 16842 markings/sec, 195 secs
lola: 4455060 markings, 6259729 edges, 20729 markings/sec, 200 secs
lola: 4548110 markings, 6406759 edges, 18610 markings/sec, 205 secs
lola: 4651043 markings, 6543971 edges, 20587 markings/sec, 210 secs
lola: 4732119 markings, 6667021 edges, 16215 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(p1153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 127818 markings, 155820 edges, 25564 markings/sec, 0 secs
lola: 248718 markings, 303997 edges, 24180 markings/sec, 5 secs
lola: 372185 markings, 456907 edges, 24693 markings/sec, 10 secs
lola: 492688 markings, 607228 edges, 24101 markings/sec, 15 secs
lola: 609694 markings, 750207 edges, 23401 markings/sec, 20 secs
lola: 727123 markings, 895566 edges, 23486 markings/sec, 25 secs
lola: 855044 markings, 1055895 edges, 25584 markings/sec, 30 secs
lola: 971229 markings, 1199681 edges, 23237 markings/sec, 35 secs
lola: 1070667 markings, 1320850 edges, 19888 markings/sec, 40 secs
lola: 1176679 markings, 1449606 edges, 21202 markings/sec, 45 secs
lola: 1297436 markings, 1601976 edges, 24151 markings/sec, 50 secs
lola: 1434077 markings, 1775299 edges, 27328 markings/sec, 55 secs
lola: 1576144 markings, 1953976 edges, 28413 markings/sec, 60 secs
lola: 1701369 markings, 2110688 edges, 25045 markings/sec, 65 secs
lola: 1831199 markings, 2276398 edges, 25966 markings/sec, 70 secs
lola: 1969264 markings, 2452565 edges, 27613 markings/sec, 75 secs
lola: 2096345 markings, 2614309 edges, 25416 markings/sec, 80 secs
lola: 2215749 markings, 2763625 edges, 23881 markings/sec, 85 secs
lola: 2334061 markings, 2907327 edges, 23662 markings/sec, 90 secs
lola: 2490629 markings, 3106870 edges, 31314 markings/sec, 95 secs
lola: 2643195 markings, 3298982 edges, 30513 markings/sec, 100 secs
lola: 2777993 markings, 3467498 edges, 26960 markings/sec, 105 secs
lola: 2893795 markings, 3609937 edges, 23160 markings/sec, 110 secs
lola: 3013358 markings, 3756974 edges, 23913 markings/sec, 115 secs
lola: 3159903 markings, 3947351 edges, 29309 markings/sec, 120 secs
lola: 3308130 markings, 4132871 edges, 29645 markings/sec, 125 secs
lola: 3443173 markings, 4301252 edges, 27009 markings/sec, 130 secs
lola: 3578791 markings, 4474068 edges, 27124 markings/sec, 135 secs
lola: 3715138 markings, 4642276 edges, 27269 markings/sec, 140 secs
lola: 3800836 markings, 4749454 edges, 17140 markings/sec, 145 secs
lola: 3939981 markings, 4923143 edges, 27829 markings/sec, 150 secs
lola: 4019059 markings, 5019132 edges, 15816 markings/sec, 155 secs
lola: 4168351 markings, 5209746 edges, 29858 markings/sec, 160 secs
lola: 4273055 markings, 5337600 edges, 20941 markings/sec, 165 secs
lola: 4395176 markings, 5489528 edges, 24424 markings/sec, 170 secs
lola: 4510665 markings, 5633814 edges, 23098 markings/sec, 175 secs
lola: 4614506 markings, 5763293 edges, 20768 markings/sec, 180 secs
lola: 4720476 markings, 5892690 edges, 21194 markings/sec, 185 secs
lola: 4820900 markings, 6019819 edges, 20085 markings/sec, 190 secs
lola: 4963796 markings, 6200590 edges, 28579 markings/sec, 195 secs
lola: 5045645 markings, 6299784 edges, 16370 markings/sec, 200 secs
lola: 5160374 markings, 6440131 edges, 22946 markings/sec, 205 secs
lola: 5273646 markings, 6579999 edges, 22654 markings/sec, 210 secs
lola: 5385996 markings, 6720582 edges, 22470 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(p2161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 120249 markings, 144104 edges, 24050 markings/sec, 0 secs
lola: 265016 markings, 321779 edges, 28953 markings/sec, 5 secs
lola: 409382 markings, 500843 edges, 28873 markings/sec, 10 secs
lola: 532433 markings, 655616 edges, 24610 markings/sec, 15 secs
lola: 653950 markings, 805328 edges, 24303 markings/sec, 20 secs
lola: 772704 markings, 953547 edges, 23751 markings/sec, 25 secs
lola: 891808 markings, 1104747 edges, 23821 markings/sec, 30 secs
lola: 996596 markings, 1233573 edges, 20958 markings/sec, 35 secs
lola: 1099066 markings, 1357882 edges, 20494 markings/sec, 40 secs
lola: 1204963 markings, 1486686 edges, 21179 markings/sec, 45 secs
lola: 1314322 markings, 1619310 edges, 21872 markings/sec, 50 secs
lola: 1431360 markings, 1761103 edges, 23408 markings/sec, 55 secs
lola: 1557020 markings, 1919281 edges, 25132 markings/sec, 60 secs
lola: 1684601 markings, 2081476 edges, 25516 markings/sec, 65 secs
lola: 1798162 markings, 2223426 edges, 22712 markings/sec, 70 secs
lola: 1909531 markings, 2362382 edges, 22274 markings/sec, 75 secs
lola: 2027663 markings, 2512536 edges, 23626 markings/sec, 80 secs
lola: 2142117 markings, 2651855 edges, 22891 markings/sec, 85 secs
lola: 2263873 markings, 2806467 edges, 24351 markings/sec, 90 secs
lola: 2388164 markings, 2966145 edges, 24858 markings/sec, 95 secs
lola: 2506309 markings, 3114249 edges, 23629 markings/sec, 100 secs
lola: 2618325 markings, 3253957 edges, 22403 markings/sec, 105 secs
lola: 2727574 markings, 3393673 edges, 21850 markings/sec, 110 secs
lola: 2843422 markings, 3536878 edges, 23170 markings/sec, 115 secs
lola: 2963773 markings, 3685049 edges, 24070 markings/sec, 120 secs
lola: 3052519 markings, 3797725 edges, 17749 markings/sec, 125 secs
lola: 3185232 markings, 3964578 edges, 26543 markings/sec, 130 secs
lola: 3311009 markings, 4119336 edges, 25155 markings/sec, 135 secs
lola: 3415156 markings, 4247569 edges, 20829 markings/sec, 140 secs
lola: 3524453 markings, 4381020 edges, 21859 markings/sec, 145 secs
lola: 3642991 markings, 4528206 edges, 23708 markings/sec, 150 secs
lola: 3747731 markings, 4659483 edges, 20948 markings/sec, 155 secs
lola: 3861327 markings, 4800158 edges, 22719 markings/sec, 160 secs
lola: 3967082 markings, 4933929 edges, 21151 markings/sec, 165 secs
lola: 4086772 markings, 5084501 edges, 23938 markings/sec, 170 secs
lola: 4191173 markings, 5214778 edges, 20880 markings/sec, 175 secs
lola: 4316227 markings, 5371358 edges, 25011 markings/sec, 180 secs
lola: 4417546 markings, 5494552 edges, 20264 markings/sec, 185 secs
lola: 4536308 markings, 5639659 edges, 23752 markings/sec, 190 secs
lola: 4663256 markings, 5797045 edges, 25390 markings/sec, 195 secs
lola: 4772110 markings, 5933606 edges, 21771 markings/sec, 200 secs
lola: 4890563 markings, 6079359 edges, 23691 markings/sec, 205 secs
lola: 5008506 markings, 6225875 edges, 23589 markings/sec, 210 secs
lola: 5112974 markings, 6357464 edges, 20894 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-310-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-310-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496534969585

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