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

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

=== Now, execution of the tool begins

BK_START 1496529691537


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-306: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-306 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-306-UpperBounds.task
lola: MAX(p2226) : MAX(p680) : MAX(p1547) : MAX(p2548) : MAX(p1188) : MAX(p1070) : MAX(p1981) : MAX(p792) : MAX(p921) : MAX(p2497) : MAX(p793) : MAX(p38) : MAX(p1114) : MAX(p1520) : MAX(p289) : MAX(p255)
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(p2226)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 102195 markings, 122639 edges, 20439 markings/sec, 0 secs
lola: 202939 markings, 244341 edges, 20149 markings/sec, 5 secs
lola: 308402 markings, 371840 edges, 21093 markings/sec, 10 secs
lola: 404214 markings, 487565 edges, 19162 markings/sec, 15 secs
lola: 507956 markings, 613957 edges, 20748 markings/sec, 20 secs
lola: 619351 markings, 747059 edges, 22279 markings/sec, 25 secs
lola: 736721 markings, 890125 edges, 23474 markings/sec, 30 secs
lola: 843363 markings, 1019477 edges, 21328 markings/sec, 35 secs
lola: 956382 markings, 1156642 edges, 22604 markings/sec, 40 secs
lola: 1067060 markings, 1291717 edges, 22136 markings/sec, 45 secs
lola: 1182867 markings, 1433709 edges, 23161 markings/sec, 50 secs
lola: 1291064 markings, 1565142 edges, 21639 markings/sec, 55 secs
lola: 1397014 markings, 1694700 edges, 21190 markings/sec, 60 secs
lola: 1504557 markings, 1826244 edges, 21509 markings/sec, 65 secs
lola: 1621496 markings, 1969403 edges, 23388 markings/sec, 70 secs
lola: 1732712 markings, 2104425 edges, 22243 markings/sec, 75 secs
lola: 1838765 markings, 2231994 edges, 21211 markings/sec, 80 secs
lola: 1954044 markings, 2373334 edges, 23056 markings/sec, 85 secs
lola: 2059120 markings, 2498441 edges, 21015 markings/sec, 90 secs
lola: 2156959 markings, 2618135 edges, 19568 markings/sec, 95 secs
lola: 2261409 markings, 2746049 edges, 20890 markings/sec, 100 secs
lola: 2371940 markings, 2881437 edges, 22106 markings/sec, 105 secs
lola: 2479874 markings, 3013814 edges, 21587 markings/sec, 110 secs
lola: 2607865 markings, 3171344 edges, 25598 markings/sec, 115 secs
lola: 2721585 markings, 3311250 edges, 22744 markings/sec, 120 secs
lola: 2833402 markings, 3449072 edges, 22363 markings/sec, 125 secs
lola: 2953542 markings, 3597593 edges, 24028 markings/sec, 130 secs
lola: 3075589 markings, 3747062 edges, 24409 markings/sec, 135 secs
lola: 3206693 markings, 3908895 edges, 26221 markings/sec, 140 secs
lola: 3320790 markings, 4049137 edges, 22819 markings/sec, 145 secs
lola: 3444456 markings, 4198819 edges, 24733 markings/sec, 150 secs
lola: 3546038 markings, 4324373 edges, 20316 markings/sec, 155 secs
lola: 3674211 markings, 4481901 edges, 25635 markings/sec, 160 secs
lola: 3817874 markings, 4660951 edges, 28733 markings/sec, 165 secs
lola: 3938144 markings, 4807516 edges, 24054 markings/sec, 170 secs
lola: 4059770 markings, 4954198 edges, 24325 markings/sec, 175 secs
lola: 4170515 markings, 5088329 edges, 22149 markings/sec, 180 secs
lola: 4290026 markings, 5237740 edges, 23902 markings/sec, 185 secs
lola: 4407225 markings, 5384427 edges, 23440 markings/sec, 190 secs
lola: 4527394 markings, 5533918 edges, 24034 markings/sec, 195 secs
lola: 4637134 markings, 5666692 edges, 21948 markings/sec, 200 secs
lola: 4752445 markings, 5813919 edges, 23062 markings/sec, 205 secs
lola: 4861823 markings, 5951231 edges, 21876 markings/sec, 210 secs
lola: 4968629 markings, 6083690 edges, 21361 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(p680)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 137697 markings, 166461 edges, 27539 markings/sec, 0 secs
lola: 286945 markings, 345847 edges, 29850 markings/sec, 5 secs
lola: 445038 markings, 537906 edges, 31619 markings/sec, 10 secs
lola: 600323 markings, 727524 edges, 31057 markings/sec, 15 secs
lola: 753893 markings, 914856 edges, 30714 markings/sec, 20 secs
lola: 916631 markings, 1114821 edges, 32548 markings/sec, 25 secs
lola: 1082777 markings, 1318542 edges, 33229 markings/sec, 30 secs
lola: 1247017 markings, 1520618 edges, 32848 markings/sec, 35 secs
lola: 1413563 markings, 1725390 edges, 33309 markings/sec, 40 secs
lola: 1570278 markings, 1918551 edges, 31343 markings/sec, 45 secs
lola: 1724406 markings, 2107450 edges, 30826 markings/sec, 50 secs
lola: 1881548 markings, 2300180 edges, 31428 markings/sec, 55 secs
lola: 2042533 markings, 2495357 edges, 32197 markings/sec, 60 secs
lola: 2189111 markings, 2673012 edges, 29316 markings/sec, 65 secs
lola: 2351526 markings, 2872057 edges, 32483 markings/sec, 70 secs
lola: 2502037 markings, 3055396 edges, 30102 markings/sec, 75 secs
lola: 2664741 markings, 3254747 edges, 32541 markings/sec, 80 secs
lola: 2829145 markings, 3456981 edges, 32881 markings/sec, 85 secs
lola: 2992842 markings, 3657711 edges, 32739 markings/sec, 90 secs
lola: 3157502 markings, 3860802 edges, 32932 markings/sec, 95 secs
lola: 3324263 markings, 4067063 edges, 33352 markings/sec, 100 secs
lola: 3468479 markings, 4244212 edges, 28843 markings/sec, 105 secs
lola: 3619803 markings, 4430738 edges, 30265 markings/sec, 110 secs
lola: 3766541 markings, 4612160 edges, 29348 markings/sec, 115 secs
lola: 3912635 markings, 4792340 edges, 29219 markings/sec, 120 secs
lola: 4067947 markings, 4983620 edges, 31062 markings/sec, 125 secs
lola: 4236469 markings, 5192143 edges, 33704 markings/sec, 130 secs
lola: 4390806 markings, 5381440 edges, 30867 markings/sec, 135 secs
lola: 4542384 markings, 5567634 edges, 30316 markings/sec, 140 secs
lola: 4689533 markings, 5748811 edges, 29430 markings/sec, 145 secs
lola: 4829884 markings, 5921462 edges, 28070 markings/sec, 150 secs
lola: 4974948 markings, 6100524 edges, 29013 markings/sec, 155 secs
lola: 5132414 markings, 6294344 edges, 31493 markings/sec, 160 secs
lola: 5269358 markings, 6462419 edges, 27389 markings/sec, 165 secs
lola: 5421967 markings, 6650061 edges, 30522 markings/sec, 170 secs
lola: 5566694 markings, 6827698 edges, 28945 markings/sec, 175 secs
lola: 5717139 markings, 7012436 edges, 30089 markings/sec, 180 secs
lola: 5871403 markings, 7201732 edges, 30853 markings/sec, 185 secs
lola: 6020573 markings, 7385625 edges, 29834 markings/sec, 190 secs
lola: 6172595 markings, 7572564 edges, 30404 markings/sec, 195 secs
lola: 6333790 markings, 7771251 edges, 32239 markings/sec, 200 secs
lola: 6482340 markings, 7953794 edges, 29710 markings/sec, 205 secs
lola: 6641279 markings, 8151006 edges, 31788 markings/sec, 210 secs
lola: 6785344 markings, 8327824 edges, 28813 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(p1547)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 108461 markings, 185315 edges, 21692 markings/sec, 0 secs
lola: 224936 markings, 413016 edges, 23295 markings/sec, 5 secs
lola: 332724 markings, 621841 edges, 21558 markings/sec, 10 secs
lola: 458570 markings, 840021 edges, 25169 markings/sec, 15 secs
lola: 577892 markings, 1044846 edges, 23864 markings/sec, 20 secs
lola: 701375 markings, 1277204 edges, 24697 markings/sec, 25 secs
lola: 828100 markings, 1516505 edges, 25345 markings/sec, 30 secs
lola: 961453 markings, 1744990 edges, 26671 markings/sec, 35 secs
lola: 1086516 markings, 1985627 edges, 25013 markings/sec, 40 secs
lola: 1207822 markings, 2210775 edges, 24261 markings/sec, 45 secs
lola: 1324783 markings, 2435277 edges, 23392 markings/sec, 50 secs
lola: 1458587 markings, 2685568 edges, 26761 markings/sec, 55 secs
lola: 1593087 markings, 2930839 edges, 26900 markings/sec, 60 secs
lola: 1707291 markings, 3152089 edges, 22841 markings/sec, 65 secs
lola: 1824681 markings, 3344993 edges, 23478 markings/sec, 70 secs
lola: 1954900 markings, 3538458 edges, 26044 markings/sec, 75 secs
lola: 2083531 markings, 3757265 edges, 25726 markings/sec, 80 secs
lola: 2209236 markings, 3985284 edges, 25141 markings/sec, 85 secs
lola: 2336114 markings, 4223690 edges, 25376 markings/sec, 90 secs
lola: 2454031 markings, 4417968 edges, 23583 markings/sec, 95 secs
lola: 2578466 markings, 4603104 edges, 24887 markings/sec, 100 secs
lola: 2692177 markings, 4809619 edges, 22742 markings/sec, 105 secs
lola: 2830186 markings, 5053547 edges, 27602 markings/sec, 110 secs
lola: 2963012 markings, 5296765 edges, 26565 markings/sec, 115 secs
lola: 3096129 markings, 5529337 edges, 26623 markings/sec, 120 secs
lola: 3208607 markings, 5739276 edges, 22496 markings/sec, 125 secs
lola: 3338389 markings, 5993626 edges, 25956 markings/sec, 130 secs
lola: 3443042 markings, 6205139 edges, 20931 markings/sec, 135 secs
lola: 3573675 markings, 6445236 edges, 26127 markings/sec, 140 secs
lola: 3704065 markings, 6698333 edges, 26078 markings/sec, 145 secs
lola: 3833153 markings, 6928897 edges, 25818 markings/sec, 150 secs
lola: 3963802 markings, 7168034 edges, 26130 markings/sec, 155 secs
lola: 4098806 markings, 7425530 edges, 27001 markings/sec, 160 secs
lola: 4206710 markings, 7622454 edges, 21581 markings/sec, 165 secs
lola: 4291655 markings, 7725050 edges, 16989 markings/sec, 170 secs
lola: 4375999 markings, 7826920 edges, 16869 markings/sec, 175 secs
lola: 4477009 markings, 7983534 edges, 20202 markings/sec, 180 secs
lola: 4575634 markings, 8116319 edges, 19725 markings/sec, 185 secs
lola: 4688613 markings, 8281229 edges, 22596 markings/sec, 190 secs
lola: 4795523 markings, 8447894 edges, 21382 markings/sec, 195 secs
lola: 4908312 markings, 8656979 edges, 22558 markings/sec, 200 secs
lola: 5035761 markings, 8885688 edges, 25490 markings/sec, 205 secs
lola: 5157569 markings, 9120086 edges, 24362 markings/sec, 210 secs
lola: 5259870 markings, 9266438 edges, 20460 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(p2548)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 95769 markings, 115329 edges, 19154 markings/sec, 0 secs
lola: 194614 markings, 234755 edges, 19769 markings/sec, 5 secs
lola: 290232 markings, 350283 edges, 19124 markings/sec, 10 secs
lola: 391764 markings, 473505 edges, 20306 markings/sec, 15 secs
lola: 494829 markings, 598400 edges, 20613 markings/sec, 20 secs
lola: 594945 markings, 718427 edges, 20023 markings/sec, 25 secs
lola: 704196 markings, 850140 edges, 21850 markings/sec, 30 secs
lola: 854065 markings, 1032382 edges, 29974 markings/sec, 35 secs
lola: 998486 markings, 1208015 edges, 28884 markings/sec, 40 secs
lola: 1140673 markings, 1381657 edges, 28437 markings/sec, 45 secs
lola: 1287612 markings, 1560556 edges, 29388 markings/sec, 50 secs
lola: 1419710 markings, 1722317 edges, 26420 markings/sec, 55 secs
lola: 1566635 markings, 1903232 edges, 29385 markings/sec, 60 secs
lola: 1711844 markings, 2083963 edges, 29042 markings/sec, 65 secs
lola: 1844787 markings, 2246124 edges, 26589 markings/sec, 70 secs
lola: 1986966 markings, 2422020 edges, 28436 markings/sec, 75 secs
lola: 2132670 markings, 2605093 edges, 29141 markings/sec, 80 secs
lola: 2270349 markings, 2773492 edges, 27536 markings/sec, 85 secs
lola: 2400174 markings, 2931621 edges, 25965 markings/sec, 90 secs
lola: 2533498 markings, 3097266 edges, 26665 markings/sec, 95 secs
lola: 2690099 markings, 3292874 edges, 31320 markings/sec, 100 secs
lola: 2823893 markings, 3457713 edges, 26759 markings/sec, 105 secs
lola: 2950072 markings, 3611791 edges, 25236 markings/sec, 110 secs
lola: 3077873 markings, 3767859 edges, 25560 markings/sec, 115 secs
lola: 3229781 markings, 3956075 edges, 30382 markings/sec, 120 secs
lola: 3384959 markings, 4150031 edges, 31036 markings/sec, 125 secs
lola: 3523015 markings, 4321158 edges, 27611 markings/sec, 130 secs
lola: 3658804 markings, 4486417 edges, 27158 markings/sec, 135 secs
lola: 3771368 markings, 4625287 edges, 22513 markings/sec, 140 secs
lola: 3872099 markings, 4749808 edges, 20146 markings/sec, 145 secs
lola: 3979246 markings, 4883604 edges, 21429 markings/sec, 150 secs
lola: 4102394 markings, 5040564 edges, 24630 markings/sec, 155 secs
lola: 4205811 markings, 5171222 edges, 20683 markings/sec, 160 secs
lola: 4312587 markings, 5305019 edges, 21355 markings/sec, 165 secs
lola: 4422043 markings, 5440815 edges, 21891 markings/sec, 170 secs
lola: 4527277 markings, 5576006 edges, 21047 markings/sec, 175 secs
lola: 4620753 markings, 5692910 edges, 18695 markings/sec, 180 secs
lola: 4720047 markings, 5816322 edges, 19859 markings/sec, 185 secs
lola: 4827186 markings, 5951031 edges, 21428 markings/sec, 190 secs
lola: 4945803 markings, 6102458 edges, 23723 markings/sec, 195 secs
lola: 5039266 markings, 6221634 edges, 18693 markings/sec, 200 secs
lola: 5122925 markings, 6328127 edges, 16732 markings/sec, 205 secs
lola: 5215161 markings, 6444823 edges, 18447 markings/sec, 210 secs
lola: 5305808 markings, 6561760 edges, 18129 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(p1188)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 125217 markings, 175162 edges, 25043 markings/sec, 0 secs
lola: 247987 markings, 337410 edges, 24554 markings/sec, 5 secs
lola: 383903 markings, 515974 edges, 27183 markings/sec, 10 secs
lola: 517191 markings, 696321 edges, 26658 markings/sec, 15 secs
lola: 648061 markings, 866710 edges, 26174 markings/sec, 20 secs
lola: 779955 markings, 1045308 edges, 26379 markings/sec, 25 secs
lola: 911280 markings, 1214543 edges, 26265 markings/sec, 30 secs
lola: 1040210 markings, 1382356 edges, 25786 markings/sec, 35 secs
lola: 1156527 markings, 1538513 edges, 23263 markings/sec, 40 secs
lola: 1282778 markings, 1709758 edges, 25250 markings/sec, 45 secs
lola: 1409995 markings, 1880521 edges, 25443 markings/sec, 50 secs
lola: 1534940 markings, 2038152 edges, 24989 markings/sec, 55 secs
lola: 1658929 markings, 2194920 edges, 24798 markings/sec, 60 secs
lola: 1786314 markings, 2358248 edges, 25477 markings/sec, 65 secs
lola: 1928240 markings, 2542673 edges, 28385 markings/sec, 70 secs
lola: 2078450 markings, 2751306 edges, 30042 markings/sec, 75 secs
lola: 2223785 markings, 2946051 edges, 29067 markings/sec, 80 secs
lola: 2358958 markings, 3118549 edges, 27035 markings/sec, 85 secs
lola: 2490113 markings, 3282438 edges, 26231 markings/sec, 90 secs
lola: 2615539 markings, 3437143 edges, 25085 markings/sec, 95 secs
lola: 2735362 markings, 3585677 edges, 23965 markings/sec, 100 secs
lola: 2856355 markings, 3735294 edges, 24199 markings/sec, 105 secs
lola: 2979962 markings, 3890281 edges, 24721 markings/sec, 110 secs
lola: 3095668 markings, 4033653 edges, 23141 markings/sec, 115 secs
lola: 3225507 markings, 4196446 edges, 25968 markings/sec, 120 secs
lola: 3378247 markings, 4385242 edges, 30548 markings/sec, 125 secs
lola: 3529595 markings, 4574002 edges, 30270 markings/sec, 130 secs
lola: 3662464 markings, 4741279 edges, 26574 markings/sec, 135 secs
lola: 3771793 markings, 4879114 edges, 21866 markings/sec, 140 secs
lola: 3893215 markings, 5029617 edges, 24284 markings/sec, 145 secs
lola: 4037878 markings, 5210072 edges, 28933 markings/sec, 150 secs
lola: 4152718 markings, 5353717 edges, 22968 markings/sec, 155 secs
lola: 4264456 markings, 5493993 edges, 22348 markings/sec, 160 secs
lola: 4370198 markings, 5625309 edges, 21148 markings/sec, 165 secs
lola: 4479915 markings, 5765353 edges, 21943 markings/sec, 170 secs
lola: 4616175 markings, 5937366 edges, 27252 markings/sec, 175 secs
lola: 4731459 markings, 6083847 edges, 23057 markings/sec, 180 secs
lola: 4858878 markings, 6245145 edges, 25484 markings/sec, 185 secs
lola: 4991323 markings, 6408942 edges, 26489 markings/sec, 190 secs
lola: 5109739 markings, 6557123 edges, 23683 markings/sec, 195 secs
lola: 5217081 markings, 6690362 edges, 21468 markings/sec, 200 secs
lola: 5329279 markings, 6831277 edges, 22440 markings/sec, 205 secs
lola: 5461569 markings, 7000676 edges, 26458 markings/sec, 210 secs
lola: 5625966 markings, 7204165 edges, 32879 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(p1070)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 108411 markings, 129899 edges, 21682 markings/sec, 0 secs
lola: 215542 markings, 259740 edges, 21426 markings/sec, 5 secs
lola: 329969 markings, 396246 edges, 22885 markings/sec, 10 secs
lola: 448048 markings, 538580 edges, 23616 markings/sec, 15 secs
lola: 558651 markings, 672801 edges, 22121 markings/sec, 20 secs
lola: 671614 markings, 809487 edges, 22593 markings/sec, 25 secs
lola: 792537 markings, 954895 edges, 24185 markings/sec, 30 secs
lola: 906414 markings, 1091728 edges, 22775 markings/sec, 35 secs
lola: 1026508 markings, 1236220 edges, 24019 markings/sec, 40 secs
lola: 1148511 markings, 1383222 edges, 24401 markings/sec, 45 secs
lola: 1269490 markings, 1530997 edges, 24196 markings/sec, 50 secs
lola: 1417230 markings, 1714389 edges, 29548 markings/sec, 55 secs
lola: 1553231 markings, 1883060 edges, 27200 markings/sec, 60 secs
lola: 1685292 markings, 2047792 edges, 26412 markings/sec, 65 secs
lola: 1802051 markings, 2193925 edges, 23352 markings/sec, 70 secs
lola: 1911969 markings, 2330134 edges, 21984 markings/sec, 75 secs
lola: 2033572 markings, 2482270 edges, 24321 markings/sec, 80 secs
lola: 2144197 markings, 2620251 edges, 22125 markings/sec, 85 secs
lola: 2265451 markings, 2770487 edges, 24251 markings/sec, 90 secs
lola: 2411150 markings, 2951971 edges, 29140 markings/sec, 95 secs
lola: 2540995 markings, 3114816 edges, 25969 markings/sec, 100 secs
lola: 2672171 markings, 3278407 edges, 26235 markings/sec, 105 secs
lola: 2787477 markings, 3423304 edges, 23061 markings/sec, 110 secs
lola: 2891338 markings, 3552201 edges, 20772 markings/sec, 115 secs
lola: 2999492 markings, 3689086 edges, 21631 markings/sec, 120 secs
lola: 3110148 markings, 3830831 edges, 22131 markings/sec, 125 secs
lola: 3232242 markings, 3981956 edges, 24419 markings/sec, 130 secs
lola: 3385874 markings, 4171606 edges, 30726 markings/sec, 135 secs
lola: 3545890 markings, 4370471 edges, 32003 markings/sec, 140 secs
lola: 3681942 markings, 4543711 edges, 27210 markings/sec, 145 secs
lola: 3822254 markings, 4720315 edges, 28062 markings/sec, 150 secs
lola: 3942481 markings, 4868511 edges, 24045 markings/sec, 155 secs
lola: 4051616 markings, 5004896 edges, 21827 markings/sec, 160 secs
lola: 4160411 markings, 5141190 edges, 21759 markings/sec, 165 secs
lola: 4279789 markings, 5292282 edges, 23876 markings/sec, 170 secs
lola: 4408550 markings, 5454744 edges, 25752 markings/sec, 175 secs
lola: 4565998 markings, 5650127 edges, 31490 markings/sec, 180 secs
lola: 4706955 markings, 5827826 edges, 28191 markings/sec, 185 secs
lola: 4820761 markings, 5972714 edges, 22761 markings/sec, 190 secs
lola: 4952671 markings, 6138761 edges, 26382 markings/sec, 195 secs
lola: 5068237 markings, 6281749 edges, 23113 markings/sec, 200 secs
lola: 5171900 markings, 6411155 edges, 20733 markings/sec, 205 secs
lola: 5273800 markings, 6538789 edges, 20380 markings/sec, 210 secs
lola: 5384611 markings, 6681410 edges, 22162 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(p1981)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 7 will run for 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p792)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 107873 markings, 217413 edges, 21575 markings/sec, 0 secs
lola: 198556 markings, 409787 edges, 18137 markings/sec, 5 secs
lola: 315390 markings, 636701 edges, 23367 markings/sec, 10 secs
lola: 456278 markings, 890714 edges, 28178 markings/sec, 15 secs
lola: 565729 markings, 1096868 edges, 21890 markings/sec, 20 secs
lola: 671193 markings, 1292975 edges, 21093 markings/sec, 25 secs
lola: 779507 markings, 1507490 edges, 21663 markings/sec, 30 secs
lola: 888493 markings, 1724254 edges, 21797 markings/sec, 35 secs
lola: 1003669 markings, 1958159 edges, 23035 markings/sec, 40 secs
lola: 1127772 markings, 2197003 edges, 24821 markings/sec, 45 secs
lola: 1258027 markings, 2442539 edges, 26051 markings/sec, 50 secs
lola: 1395501 markings, 2731908 edges, 27495 markings/sec, 55 secs
lola: 1530055 markings, 3015908 edges, 26911 markings/sec, 60 secs
lola: 1678992 markings, 3282979 edges, 29787 markings/sec, 65 secs
lola: 1794608 markings, 3512191 edges, 23123 markings/sec, 70 secs
lola: 1924269 markings, 3742022 edges, 25932 markings/sec, 75 secs
lola: 2074939 markings, 4008252 edges, 30134 markings/sec, 80 secs
lola: 2179279 markings, 4206992 edges, 20868 markings/sec, 85 secs
lola: 2283827 markings, 4406010 edges, 20910 markings/sec, 90 secs
lola: 2397664 markings, 4626868 edges, 22767 markings/sec, 95 secs
lola: 2507000 markings, 4841897 edges, 21867 markings/sec, 100 secs
lola: 2640306 markings, 5097110 edges, 26661 markings/sec, 105 secs
lola: 2760924 markings, 5354823 edges, 24124 markings/sec, 110 secs
lola: 2894111 markings, 5624046 edges, 26637 markings/sec, 115 secs
lola: 3017440 markings, 5876117 edges, 24666 markings/sec, 120 secs
lola: 3169211 markings, 6144143 edges, 30354 markings/sec, 125 secs
lola: 3304030 markings, 6386313 edges, 26964 markings/sec, 130 secs
lola: 3414720 markings, 6613626 edges, 22138 markings/sec, 135 secs
lola: 3545628 markings, 6899857 edges, 26182 markings/sec, 140 secs
lola: 3700881 markings, 7193848 edges, 31051 markings/sec, 145 secs
lola: 3854967 markings, 7486467 edges, 30817 markings/sec, 150 secs
lola: 3991691 markings, 7763750 edges, 27345 markings/sec, 155 secs
lola: 4134825 markings, 8036702 edges, 28627 markings/sec, 160 secs
lola: 4292882 markings, 8342570 edges, 31611 markings/sec, 165 secs
lola: 4442316 markings, 8632620 edges, 29887 markings/sec, 170 secs
lola: 4552224 markings, 8856120 edges, 21982 markings/sec, 175 secs
lola: 4687904 markings, 9151745 edges, 27136 markings/sec, 180 secs
lola: 4828150 markings, 9458990 edges, 28049 markings/sec, 185 secs
lola: 4971828 markings, 9762265 edges, 28736 markings/sec, 190 secs
lola: 5112875 markings, 10047419 edges, 28209 markings/sec, 195 secs
lola: 5248824 markings, 10289542 edges, 27190 markings/sec, 200 secs
lola: 5388472 markings, 10484396 edges, 27930 markings/sec, 205 secs
lola: 5522344 markings, 10699428 edges, 26774 markings/sec, 210 secs
lola: 5649096 markings, 10890601 edges, 25350 markings/sec, 215 secs
lola: 5776799 markings, 11083016 edges, 25541 markings/sec, 220 secs
lola: 5898766 markings, 11261554 edges, 24393 markings/sec, 225 secs
lola: 6036320 markings, 11466246 edges, 27511 markings/sec, 230 secs
lola: 6190468 markings, 11699153 edges, 30830 markings/sec, 235 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p921)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 117233 markings, 156295 edges, 23447 markings/sec, 0 secs
lola: 224263 markings, 285681 edges, 21406 markings/sec, 5 secs
lola: 338781 markings, 431336 edges, 22904 markings/sec, 10 secs
lola: 475359 markings, 616479 edges, 27316 markings/sec, 15 secs
lola: 590268 markings, 767827 edges, 22982 markings/sec, 20 secs
lola: 709187 markings, 923664 edges, 23784 markings/sec, 25 secs
lola: 830885 markings, 1077802 edges, 24340 markings/sec, 30 secs
lola: 957488 markings, 1242302 edges, 25321 markings/sec, 35 secs
lola: 1072330 markings, 1383929 edges, 22968 markings/sec, 40 secs
lola: 1196436 markings, 1535984 edges, 24821 markings/sec, 45 secs
lola: 1310607 markings, 1678996 edges, 22834 markings/sec, 50 secs
lola: 1436260 markings, 1841574 edges, 25131 markings/sec, 55 secs
lola: 1552151 markings, 1993685 edges, 23178 markings/sec, 60 secs
lola: 1673596 markings, 2147848 edges, 24289 markings/sec, 65 secs
lola: 1800739 markings, 2312691 edges, 25429 markings/sec, 70 secs
lola: 1930021 markings, 2479434 edges, 25856 markings/sec, 75 secs
lola: 2055284 markings, 2656644 edges, 25053 markings/sec, 80 secs
lola: 2177705 markings, 2826188 edges, 24484 markings/sec, 85 secs
lola: 2314480 markings, 2995047 edges, 27355 markings/sec, 90 secs
lola: 2442315 markings, 3152299 edges, 25567 markings/sec, 95 secs
lola: 2560899 markings, 3296499 edges, 23717 markings/sec, 100 secs
lola: 2680403 markings, 3442770 edges, 23901 markings/sec, 105 secs
lola: 2807256 markings, 3601096 edges, 25371 markings/sec, 110 secs
lola: 2955448 markings, 3786948 edges, 29638 markings/sec, 115 secs
lola: 3096522 markings, 3963462 edges, 28215 markings/sec, 120 secs
lola: 3223131 markings, 4120710 edges, 25322 markings/sec, 125 secs
lola: 3346345 markings, 4275989 edges, 24643 markings/sec, 130 secs
lola: 3486591 markings, 4452320 edges, 28049 markings/sec, 135 secs
lola: 3619953 markings, 4618607 edges, 26672 markings/sec, 140 secs
lola: 3750286 markings, 4784287 edges, 26067 markings/sec, 145 secs
lola: 3873972 markings, 4936114 edges, 24737 markings/sec, 150 secs
lola: 3999036 markings, 5093979 edges, 25013 markings/sec, 155 secs
lola: 4156721 markings, 5290927 edges, 31537 markings/sec, 160 secs
lola: 4302721 markings, 5474028 edges, 29200 markings/sec, 165 secs
lola: 4449713 markings, 5658041 edges, 29398 markings/sec, 170 secs
lola: 4591447 markings, 5834411 edges, 28347 markings/sec, 175 secs
lola: 4707376 markings, 5979650 edges, 23186 markings/sec, 180 secs
lola: 4809064 markings, 6105738 edges, 20338 markings/sec, 185 secs
lola: 4917874 markings, 6241796 edges, 21762 markings/sec, 190 secs
lola: 5040068 markings, 6398063 edges, 24439 markings/sec, 195 secs
lola: 5172045 markings, 6567170 edges, 26395 markings/sec, 200 secs
lola: 5336150 markings, 6772179 edges, 32821 markings/sec, 205 secs
lola: 5480553 markings, 6954224 edges, 28881 markings/sec, 210 secs
lola: 5610695 markings, 7118362 edges, 26028 markings/sec, 215 secs
lola: 5728724 markings, 7263928 edges, 23606 markings/sec, 220 secs
lola: 5837236 markings, 7400087 edges, 21702 markings/sec, 225 secs
lola: 5939893 markings, 7527484 edges, 20531 markings/sec, 230 secs
lola: 6050134 markings, 7667568 edges, 22048 markings/sec, 235 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2497)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 112207 markings, 135171 edges, 22441 markings/sec, 0 secs
lola: 222112 markings, 267290 edges, 21981 markings/sec, 5 secs
lola: 332280 markings, 398585 edges, 22034 markings/sec, 10 secs
lola: 442459 markings, 530549 edges, 22036 markings/sec, 15 secs
lola: 557185 markings, 669649 edges, 22945 markings/sec, 20 secs
lola: 676811 markings, 814740 edges, 23925 markings/sec, 25 secs
lola: 786725 markings, 947736 edges, 21983 markings/sec, 30 secs
lola: 901395 markings, 1087265 edges, 22934 markings/sec, 35 secs
lola: 1005563 markings, 1212482 edges, 20834 markings/sec, 40 secs
lola: 1104948 markings, 1330878 edges, 19877 markings/sec, 45 secs
lola: 1207281 markings, 1453305 edges, 20467 markings/sec, 50 secs
lola: 1340961 markings, 1616641 edges, 26736 markings/sec, 55 secs
lola: 1458748 markings, 1759120 edges, 23557 markings/sec, 60 secs
lola: 1602238 markings, 1931544 edges, 28698 markings/sec, 65 secs
lola: 1745756 markings, 2104040 edges, 28704 markings/sec, 70 secs
lola: 1893400 markings, 2282513 edges, 29529 markings/sec, 75 secs
lola: 2050751 markings, 2475873 edges, 31470 markings/sec, 80 secs
lola: 2216834 markings, 2683279 edges, 33217 markings/sec, 85 secs
lola: 2374135 markings, 2879491 edges, 31460 markings/sec, 90 secs
lola: 2513090 markings, 3053650 edges, 27791 markings/sec, 95 secs
lola: 2648499 markings, 3222010 edges, 27082 markings/sec, 100 secs
lola: 2784967 markings, 3391614 edges, 27294 markings/sec, 105 secs
lola: 2913929 markings, 3553393 edges, 25792 markings/sec, 110 secs
lola: 3035677 markings, 3702920 edges, 24350 markings/sec, 115 secs
lola: 3164744 markings, 3864874 edges, 25813 markings/sec, 120 secs
lola: 3323659 markings, 4064474 edges, 31783 markings/sec, 125 secs
lola: 3478936 markings, 4258295 edges, 31055 markings/sec, 130 secs
lola: 3622673 markings, 4440272 edges, 28747 markings/sec, 135 secs
lola: 3747881 markings, 4597670 edges, 25042 markings/sec, 140 secs
lola: 3871709 markings, 4755932 edges, 24766 markings/sec, 145 secs
lola: 4006443 markings, 4921345 edges, 26947 markings/sec, 150 secs
lola: 4180816 markings, 5138666 edges, 34875 markings/sec, 155 secs
lola: 4349423 markings, 5347978 edges, 33721 markings/sec, 160 secs
lola: 4486592 markings, 5521923 edges, 27434 markings/sec, 165 secs
lola: 4605767 markings, 5670434 edges, 23835 markings/sec, 170 secs
lola: 4733548 markings, 5832620 edges, 25556 markings/sec, 175 secs
lola: 4862778 markings, 5993222 edges, 25846 markings/sec, 180 secs
lola: 4989167 markings, 6152043 edges, 25278 markings/sec, 185 secs
lola: 5118683 markings, 6316264 edges, 25903 markings/sec, 190 secs
lola: 5265287 markings, 6497135 edges, 29321 markings/sec, 195 secs
lola: 5427540 markings, 6699924 edges, 32451 markings/sec, 200 secs
lola: 5562303 markings, 6873517 edges, 26953 markings/sec, 205 secs
lola: 5706091 markings, 7057219 edges, 28758 markings/sec, 210 secs
lola: 5820098 markings, 7198678 edges, 22801 markings/sec, 215 secs
lola: 5935418 markings, 7342990 edges, 23064 markings/sec, 220 secs
lola: 6057529 markings, 7497863 edges, 24422 markings/sec, 225 secs
lola: 6184424 markings, 7662019 edges, 25379 markings/sec, 230 secs
lola: 6299967 markings, 7809171 edges, 23109 markings/sec, 235 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p793)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 117704 markings, 216460 edges, 23541 markings/sec, 0 secs
lola: 247134 markings, 437239 edges, 25886 markings/sec, 5 secs
lola: 389203 markings, 682915 edges, 28414 markings/sec, 10 secs
lola: 532479 markings, 915575 edges, 28655 markings/sec, 15 secs
lola: 667412 markings, 1118245 edges, 26987 markings/sec, 20 secs
lola: 799241 markings, 1316736 edges, 26366 markings/sec, 25 secs
lola: 927294 markings, 1496489 edges, 25611 markings/sec, 30 secs
lola: 1047543 markings, 1664164 edges, 24050 markings/sec, 35 secs
lola: 1169017 markings, 1830073 edges, 24295 markings/sec, 40 secs
lola: 1285946 markings, 1989415 edges, 23386 markings/sec, 45 secs
lola: 1403179 markings, 2148108 edges, 23447 markings/sec, 50 secs
lola: 1519278 markings, 2307479 edges, 23220 markings/sec, 55 secs
lola: 1639745 markings, 2467118 edges, 24093 markings/sec, 60 secs
lola: 1759781 markings, 2620151 edges, 24007 markings/sec, 65 secs
lola: 1880168 markings, 2782199 edges, 24077 markings/sec, 70 secs
lola: 2002842 markings, 2943674 edges, 24535 markings/sec, 75 secs
lola: 2119501 markings, 3103480 edges, 23332 markings/sec, 80 secs
lola: 2227216 markings, 3241060 edges, 21543 markings/sec, 85 secs
lola: 2346486 markings, 3414392 edges, 23854 markings/sec, 90 secs
lola: 2455478 markings, 3550991 edges, 21798 markings/sec, 95 secs
lola: 2551208 markings, 3669688 edges, 19146 markings/sec, 100 secs
lola: 2654946 markings, 3798932 edges, 20748 markings/sec, 105 secs
lola: 2761757 markings, 3954268 edges, 21362 markings/sec, 110 secs
lola: 2867110 markings, 4093566 edges, 21071 markings/sec, 115 secs
lola: 3003096 markings, 4274652 edges, 27197 markings/sec, 120 secs
lola: 3150754 markings, 4459135 edges, 29532 markings/sec, 125 secs
lola: 3273351 markings, 4616159 edges, 24519 markings/sec, 130 secs
lola: 3398431 markings, 4783574 edges, 25016 markings/sec, 135 secs
lola: 3515151 markings, 4928132 edges, 23344 markings/sec, 140 secs
lola: 3612989 markings, 5051062 edges, 19568 markings/sec, 145 secs
lola: 3698462 markings, 5157620 edges, 17095 markings/sec, 150 secs
lola: 3785746 markings, 5266177 edges, 17457 markings/sec, 155 secs
lola: 3908468 markings, 5424529 edges, 24544 markings/sec, 160 secs
lola: 3995835 markings, 5534592 edges, 17473 markings/sec, 165 secs
lola: 4111405 markings, 5697526 edges, 23114 markings/sec, 170 secs
lola: 4251329 markings, 5873755 edges, 27985 markings/sec, 175 secs
lola: 4376694 markings, 6030922 edges, 25073 markings/sec, 180 secs
lola: 4495898 markings, 6198944 edges, 23841 markings/sec, 185 secs
lola: 4616593 markings, 6358801 edges, 24139 markings/sec, 190 secs
lola: 4735370 markings, 6514184 edges, 23755 markings/sec, 195 secs
lola: 4885414 markings, 6752379 edges, 30009 markings/sec, 200 secs
lola: 5037577 markings, 6942977 edges, 30433 markings/sec, 205 secs
lola: 5170124 markings, 7109406 edges, 26509 markings/sec, 210 secs
lola: 5329007 markings, 7368075 edges, 31777 markings/sec, 215 secs
lola: 5479146 markings, 7585245 edges, 30028 markings/sec, 220 secs
lola: 5621489 markings, 7775776 edges, 28469 markings/sec, 225 secs
lola: 5769345 markings, 7984427 edges, 29571 markings/sec, 230 secs
lola: 5920664 markings, 8221526 edges, 30264 markings/sec, 235 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 88212 markings, 143267 edges, 17642 markings/sec, 0 secs
lola: 185177 markings, 279387 edges, 19393 markings/sec, 5 secs
lola: 279916 markings, 431403 edges, 18948 markings/sec, 10 secs
lola: 374785 markings, 596677 edges, 18974 markings/sec, 15 secs
lola: 477789 markings, 741735 edges, 20601 markings/sec, 20 secs
lola: 567951 markings, 898575 edges, 18032 markings/sec, 25 secs
lola: 663271 markings, 1067028 edges, 19064 markings/sec, 30 secs
lola: 749983 markings, 1209538 edges, 17342 markings/sec, 35 secs
lola: 858944 markings, 1346520 edges, 21792 markings/sec, 40 secs
lola: 956276 markings, 1510433 edges, 19466 markings/sec, 45 secs
lola: 1052260 markings, 1646502 edges, 19197 markings/sec, 50 secs
lola: 1159990 markings, 1790499 edges, 21546 markings/sec, 55 secs
lola: 1256693 markings, 1954514 edges, 19341 markings/sec, 60 secs
lola: 1347854 markings, 2095543 edges, 18232 markings/sec, 65 secs
lola: 1439335 markings, 2262623 edges, 18296 markings/sec, 70 secs
lola: 1544688 markings, 2416639 edges, 21071 markings/sec, 75 secs
lola: 1646899 markings, 2565247 edges, 20442 markings/sec, 80 secs
lola: 1735596 markings, 2675013 edges, 17739 markings/sec, 85 secs
lola: 1820284 markings, 2779958 edges, 16938 markings/sec, 90 secs
lola: 1912661 markings, 2928276 edges, 18475 markings/sec, 95 secs
lola: 2012697 markings, 3062895 edges, 20007 markings/sec, 100 secs
lola: 2112198 markings, 3194306 edges, 19900 markings/sec, 105 secs
lola: 2212736 markings, 3340719 edges, 20108 markings/sec, 110 secs
lola: 2314239 markings, 3490211 edges, 20301 markings/sec, 115 secs
lola: 2404558 markings, 3624773 edges, 18064 markings/sec, 120 secs
lola: 2504179 markings, 3755619 edges, 19924 markings/sec, 125 secs
lola: 2597377 markings, 3893539 edges, 18640 markings/sec, 130 secs
lola: 2693472 markings, 4023891 edges, 19219 markings/sec, 135 secs
lola: 2782709 markings, 4165797 edges, 17847 markings/sec, 140 secs
lola: 2871049 markings, 4317272 edges, 17668 markings/sec, 145 secs
lola: 2958359 markings, 4458718 edges, 17462 markings/sec, 150 secs
lola: 3047895 markings, 4584276 edges, 17907 markings/sec, 155 secs
lola: 3134756 markings, 4728615 edges, 17372 markings/sec, 160 secs
lola: 3214236 markings, 4888800 edges, 15896 markings/sec, 165 secs
lola: 3292803 markings, 5053044 edges, 15713 markings/sec, 170 secs
lola: 3383037 markings, 5183717 edges, 18047 markings/sec, 175 secs
lola: 3479239 markings, 5319453 edges, 19240 markings/sec, 180 secs
lola: 3578277 markings, 5468986 edges, 19808 markings/sec, 185 secs
lola: 3678686 markings, 5605254 edges, 20082 markings/sec, 190 secs
lola: 3773551 markings, 5770704 edges, 18973 markings/sec, 195 secs
lola: 3876989 markings, 5913175 edges, 20688 markings/sec, 200 secs
lola: 3974858 markings, 6046674 edges, 19574 markings/sec, 205 secs
lola: 4075411 markings, 6189977 edges, 20111 markings/sec, 210 secs
lola: 4164179 markings, 6309510 edges, 17754 markings/sec, 215 secs
lola: 4257813 markings, 6429349 edges, 18727 markings/sec, 220 secs
lola: 4345054 markings, 6555311 edges, 17448 markings/sec, 225 secs
lola: 4436190 markings, 6680692 edges, 18227 markings/sec, 230 secs
lola: 4532445 markings, 6835580 edges, 19251 markings/sec, 235 secs
lola: 4634961 markings, 6992224 edges, 20503 markings/sec, 240 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 98806 markings, 118600 edges, 19761 markings/sec, 0 secs
lola: 199201 markings, 239585 edges, 20079 markings/sec, 5 secs
lola: 299406 markings, 360905 edges, 20041 markings/sec, 10 secs
lola: 400851 markings, 481583 edges, 20289 markings/sec, 15 secs
lola: 505416 markings, 606892 edges, 20913 markings/sec, 20 secs
lola: 609516 markings, 731117 edges, 20820 markings/sec, 25 secs
lola: 717890 markings, 862817 edges, 21675 markings/sec, 30 secs
lola: 829759 markings, 998648 edges, 22374 markings/sec, 35 secs
lola: 937488 markings, 1128343 edges, 21546 markings/sec, 40 secs
lola: 1062431 markings, 1278659 edges, 24989 markings/sec, 45 secs
lola: 1180443 markings, 1420356 edges, 23602 markings/sec, 50 secs
lola: 1296360 markings, 1560094 edges, 23183 markings/sec, 55 secs
lola: 1407640 markings, 1694229 edges, 22256 markings/sec, 60 secs
lola: 1528784 markings, 1844661 edges, 24229 markings/sec, 65 secs
lola: 1632959 markings, 1974363 edges, 20835 markings/sec, 70 secs
lola: 1744393 markings, 2113074 edges, 22287 markings/sec, 75 secs
lola: 1884145 markings, 2288153 edges, 27950 markings/sec, 80 secs
lola: 2041238 markings, 2482690 edges, 31419 markings/sec, 85 secs
lola: 2181414 markings, 2658343 edges, 28035 markings/sec, 90 secs
lola: 2298341 markings, 2805420 edges, 23385 markings/sec, 95 secs
lola: 2400454 markings, 2931318 edges, 20423 markings/sec, 100 secs
lola: 2520952 markings, 3080525 edges, 24100 markings/sec, 105 secs
lola: 2671763 markings, 3268016 edges, 30162 markings/sec, 110 secs
lola: 2802601 markings, 3434235 edges, 26168 markings/sec, 115 secs
lola: 2917062 markings, 3578004 edges, 22892 markings/sec, 120 secs
lola: 3023103 markings, 3710866 edges, 21208 markings/sec, 125 secs
lola: 3130107 markings, 3844443 edges, 21401 markings/sec, 130 secs
lola: 3262114 markings, 4013413 edges, 26401 markings/sec, 135 secs
lola: 3366277 markings, 4147006 edges, 20833 markings/sec, 140 secs
lola: 3485467 markings, 4290913 edges, 23838 markings/sec, 145 secs
lola: 3638863 markings, 4479698 edges, 30679 markings/sec, 150 secs
lola: 3802890 markings, 4684380 edges, 32805 markings/sec, 155 secs
lola: 3937757 markings, 4857290 edges, 26973 markings/sec, 160 secs
lola: 4059013 markings, 5009355 edges, 24251 markings/sec, 165 secs
lola: 4164584 markings, 5140447 edges, 21114 markings/sec, 170 secs
lola: 4277506 markings, 5280902 edges, 22584 markings/sec, 175 secs
lola: 4407270 markings, 5446272 edges, 25953 markings/sec, 180 secs
lola: 4561361 markings, 5640828 edges, 30818 markings/sec, 185 secs
lola: 4680092 markings, 5787226 edges, 23746 markings/sec, 190 secs
lola: 4827533 markings, 5970362 edges, 29488 markings/sec, 195 secs
lola: 4989825 markings, 6173363 edges, 32458 markings/sec, 200 secs
lola: 5113401 markings, 6333055 edges, 24715 markings/sec, 205 secs
lola: 5249976 markings, 6507456 edges, 27315 markings/sec, 210 secs
lola: 5362792 markings, 6648704 edges, 22563 markings/sec, 215 secs
lola: 5466285 markings, 6777420 edges, 20699 markings/sec, 220 secs
lola: 5573357 markings, 6912713 edges, 21414 markings/sec, 225 secs
lola: 5693602 markings, 7068334 edges, 24049 markings/sec, 230 secs
lola: 5800652 markings, 7205263 edges, 21410 markings/sec, 235 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1520)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 124118 markings, 159204 edges, 24824 markings/sec, 0 secs
lola: 228676 markings, 285450 edges, 20912 markings/sec, 5 secs
lola: 345317 markings, 434581 edges, 23328 markings/sec, 10 secs
lola: 470175 markings, 593191 edges, 24972 markings/sec, 15 secs
lola: 604882 markings, 767597 edges, 26941 markings/sec, 20 secs
lola: 730628 markings, 921724 edges, 25149 markings/sec, 25 secs
lola: 856135 markings, 1078165 edges, 25101 markings/sec, 30 secs
lola: 988178 markings, 1244174 edges, 26409 markings/sec, 35 secs
lola: 1120966 markings, 1406920 edges, 26558 markings/sec, 40 secs
lola: 1249291 markings, 1568404 edges, 25665 markings/sec, 45 secs
lola: 1373431 markings, 1722681 edges, 24828 markings/sec, 50 secs
lola: 1514569 markings, 1905343 edges, 28228 markings/sec, 55 secs
lola: 1643962 markings, 2066894 edges, 25879 markings/sec, 60 secs
lola: 1771534 markings, 2228237 edges, 25514 markings/sec, 65 secs
lola: 1898830 markings, 2392703 edges, 25459 markings/sec, 70 secs
lola: 2020760 markings, 2547068 edges, 24386 markings/sec, 75 secs
lola: 2153028 markings, 2716315 edges, 26454 markings/sec, 80 secs
lola: 2273885 markings, 2865762 edges, 24171 markings/sec, 85 secs
lola: 2399475 markings, 3023836 edges, 25118 markings/sec, 90 secs
lola: 2529123 markings, 3187912 edges, 25930 markings/sec, 95 secs
lola: 2660604 markings, 3354189 edges, 26296 markings/sec, 100 secs
lola: 2796817 markings, 3525501 edges, 27243 markings/sec, 105 secs
lola: 2928842 markings, 3689368 edges, 26405 markings/sec, 110 secs
lola: 3051293 markings, 3843146 edges, 24490 markings/sec, 115 secs
lola: 3181666 markings, 4007512 edges, 26075 markings/sec, 120 secs
lola: 3280092 markings, 4127675 edges, 19685 markings/sec, 125 secs
lola: 3373031 markings, 4239932 edges, 18588 markings/sec, 130 secs
lola: 3470262 markings, 4357800 edges, 19446 markings/sec, 135 secs
lola: 3598094 markings, 4520653 edges, 25566 markings/sec, 140 secs
lola: 3729102 markings, 4683339 edges, 26202 markings/sec, 145 secs
lola: 3859636 markings, 4850976 edges, 26107 markings/sec, 150 secs
lola: 3978664 markings, 4997776 edges, 23806 markings/sec, 155 secs
lola: 4122496 markings, 5182400 edges, 28766 markings/sec, 160 secs
lola: 4234536 markings, 5322093 edges, 22408 markings/sec, 165 secs
lola: 4368665 markings, 5489373 edges, 26826 markings/sec, 170 secs
lola: 4508176 markings, 5667355 edges, 27902 markings/sec, 175 secs
lola: 4631302 markings, 5818368 edges, 24625 markings/sec, 180 secs
lola: 4753002 markings, 5971859 edges, 24340 markings/sec, 185 secs
lola: 4860355 markings, 6103338 edges, 21471 markings/sec, 190 secs
lola: 4979901 markings, 6252753 edges, 23909 markings/sec, 195 secs
lola: 5087747 markings, 6385904 edges, 21569 markings/sec, 200 secs
lola: 5193511 markings, 6517087 edges, 21153 markings/sec, 205 secs
lola: 5301628 markings, 6653065 edges, 21623 markings/sec, 210 secs
lola: 5406819 markings, 6781676 edges, 21038 markings/sec, 215 secs
lola: 5533872 markings, 6944773 edges, 25411 markings/sec, 220 secs
lola: 5644866 markings, 7084752 edges, 22199 markings/sec, 225 secs
lola: 5754386 markings, 7227636 edges, 21904 markings/sec, 230 secs
lola: 5883535 markings, 7392452 edges, 25830 markings/sec, 235 secs
lola: 6016410 markings, 7562060 edges, 26575 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p289)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 88720 markings, 130760 edges, 17744 markings/sec, 0 secs
lola: 174907 markings, 288087 edges, 17237 markings/sec, 5 secs
lola: 252591 markings, 433897 edges, 15537 markings/sec, 10 secs
lola: 336163 markings, 566660 edges, 16714 markings/sec, 15 secs
lola: 419702 markings, 703665 edges, 16708 markings/sec, 20 secs
lola: 505450 markings, 837660 edges, 17150 markings/sec, 25 secs
lola: 596462 markings, 965431 edges, 18202 markings/sec, 30 secs
lola: 695342 markings, 1108531 edges, 19776 markings/sec, 35 secs
lola: 779488 markings, 1261771 edges, 16829 markings/sec, 40 secs
lola: 876226 markings, 1398434 edges, 19348 markings/sec, 45 secs
lola: 961439 markings, 1538603 edges, 17043 markings/sec, 50 secs
lola: 1045331 markings, 1678216 edges, 16778 markings/sec, 55 secs
lola: 1131193 markings, 1840705 edges, 17172 markings/sec, 60 secs
lola: 1214997 markings, 2002919 edges, 16761 markings/sec, 65 secs
lola: 1291520 markings, 2154975 edges, 15305 markings/sec, 70 secs
lola: 1371574 markings, 2331060 edges, 16011 markings/sec, 75 secs
lola: 1457789 markings, 2516873 edges, 17243 markings/sec, 80 secs
lola: 1546362 markings, 2713203 edges, 17715 markings/sec, 85 secs
lola: 1627924 markings, 2884537 edges, 16312 markings/sec, 90 secs
lola: 1715426 markings, 3064168 edges, 17500 markings/sec, 95 secs
lola: 1807032 markings, 3236332 edges, 18321 markings/sec, 100 secs
lola: 1894588 markings, 3425151 edges, 17511 markings/sec, 105 secs
lola: 1979998 markings, 3598323 edges, 17082 markings/sec, 110 secs
lola: 2080933 markings, 3769823 edges, 20187 markings/sec, 115 secs
lola: 2165175 markings, 3945591 edges, 16848 markings/sec, 120 secs
lola: 2264682 markings, 4095436 edges, 19901 markings/sec, 125 secs
lola: 2357599 markings, 4290979 edges, 18583 markings/sec, 130 secs
lola: 2449619 markings, 4485356 edges, 18404 markings/sec, 135 secs
lola: 2547122 markings, 4679884 edges, 19501 markings/sec, 140 secs
lola: 2643317 markings, 4821795 edges, 19239 markings/sec, 145 secs
lola: 2741542 markings, 5016189 edges, 19645 markings/sec, 150 secs
lola: 2832807 markings, 5182588 edges, 18253 markings/sec, 155 secs
lola: 2925382 markings, 5325965 edges, 18515 markings/sec, 160 secs
lola: 3009856 markings, 5487804 edges, 16895 markings/sec, 165 secs
lola: 3092015 markings, 5649026 edges, 16432 markings/sec, 170 secs
lola: 3181281 markings, 5785914 edges, 17853 markings/sec, 175 secs
lola: 3279811 markings, 5966182 edges, 19706 markings/sec, 180 secs
lola: 3371444 markings, 6157493 edges, 18327 markings/sec, 185 secs
lola: 3456788 markings, 6312947 edges, 17069 markings/sec, 190 secs
lola: 3535694 markings, 6464504 edges, 15781 markings/sec, 195 secs
lola: 3614729 markings, 6610109 edges, 15807 markings/sec, 200 secs
lola: 3693920 markings, 6761138 edges, 15838 markings/sec, 205 secs
lola: 3779916 markings, 6929225 edges, 17199 markings/sec, 210 secs
lola: 3862765 markings, 7097895 edges, 16570 markings/sec, 215 secs
lola: 3940537 markings, 7248685 edges, 15554 markings/sec, 220 secs
lola: 4026201 markings, 7411870 edges, 17133 markings/sec, 225 secs
lola: 4129398 markings, 7582691 edges, 20639 markings/sec, 230 secs
lola: 4215747 markings, 7747637 edges, 17270 markings/sec, 235 secs
lola: 4297566 markings, 7914105 edges, 16364 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p255)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 85949 markings, 127690 edges, 17190 markings/sec, 0 secs
lola: 159881 markings, 265910 edges, 14786 markings/sec, 5 secs
lola: 237082 markings, 411554 edges, 15440 markings/sec, 10 secs
lola: 318158 markings, 543710 edges, 16215 markings/sec, 15 secs
lola: 400135 markings, 683488 edges, 16395 markings/sec, 20 secs
lola: 472362 markings, 812378 edges, 14445 markings/sec, 25 secs
lola: 540619 markings, 962169 edges, 13651 markings/sec, 30 secs
lola: 620865 markings, 1107691 edges, 16049 markings/sec, 35 secs
lola: 711533 markings, 1244920 edges, 18134 markings/sec, 40 secs
lola: 800065 markings, 1381851 edges, 17706 markings/sec, 45 secs
lola: 871095 markings, 1537327 edges, 14206 markings/sec, 50 secs
lola: 951369 markings, 1718454 edges, 16055 markings/sec, 55 secs
lola: 1024984 markings, 1876294 edges, 14723 markings/sec, 60 secs
lola: 1108003 markings, 2061495 edges, 16604 markings/sec, 65 secs
lola: 1192164 markings, 2236565 edges, 16832 markings/sec, 70 secs
lola: 1273518 markings, 2401049 edges, 16271 markings/sec, 75 secs
lola: 1346836 markings, 2564284 edges, 14664 markings/sec, 80 secs
lola: 1432850 markings, 2688002 edges, 17203 markings/sec, 85 secs
lola: 1516251 markings, 2828701 edges, 16680 markings/sec, 90 secs
lola: 1593287 markings, 2993112 edges, 15407 markings/sec, 95 secs
lola: 1683148 markings, 3140718 edges, 17972 markings/sec, 100 secs
lola: 1768208 markings, 3304104 edges, 17012 markings/sec, 105 secs
lola: 1845171 markings, 3473406 edges, 15393 markings/sec, 110 secs
lola: 1919601 markings, 3621799 edges, 14886 markings/sec, 115 secs
lola: 2005036 markings, 3774142 edges, 17087 markings/sec, 120 secs
lola: 2077061 markings, 3934047 edges, 14405 markings/sec, 125 secs
lola: 2157128 markings, 4083046 edges, 16013 markings/sec, 130 secs
lola: 2232609 markings, 4244573 edges, 15096 markings/sec, 135 secs
lola: 2309168 markings, 4421507 edges, 15312 markings/sec, 140 secs
lola: 2389167 markings, 4599787 edges, 16000 markings/sec, 145 secs
lola: 2476501 markings, 4756904 edges, 17467 markings/sec, 150 secs
lola: 2558704 markings, 4883601 edges, 16441 markings/sec, 155 secs
lola: 2631341 markings, 5034063 edges, 14527 markings/sec, 160 secs
lola: 2722412 markings, 5190024 edges, 18214 markings/sec, 165 secs
lola: 2811681 markings, 5373332 edges, 17854 markings/sec, 170 secs
lola: 2892064 markings, 5542762 edges, 16077 markings/sec, 175 secs
lola: 2976340 markings, 5735137 edges, 16855 markings/sec, 180 secs
lola: 3061501 markings, 5919360 edges, 17032 markings/sec, 185 secs
lola: 3144078 markings, 6062586 edges, 16515 markings/sec, 190 secs
lola: 3234022 markings, 6211726 edges, 17989 markings/sec, 195 secs
lola: 3313576 markings, 6346243 edges, 15911 markings/sec, 200 secs
lola: 3400901 markings, 6470639 edges, 17465 markings/sec, 205 secs
lola: 3486046 markings, 6611725 edges, 17029 markings/sec, 210 secs
lola: 3567613 markings, 6788578 edges, 16313 markings/sec, 215 secs
lola: 3647660 markings, 6939622 edges, 16009 markings/sec, 220 secs
lola: 3729714 markings, 7117430 edges, 16411 markings/sec, 225 secs
lola: 3815480 markings, 7290903 edges, 17153 markings/sec, 230 secs
lola: 3888880 markings, 7437838 edges, 14680 markings/sec, 235 secs
lola: 3966069 markings, 7583666 edges, 15438 markings/sec, 240 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 0 unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA CloudReconfiguration-PT-306-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-6 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-306-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496533231253

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