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-3253
Executing tool lola
Input is S_CloudDeployment-PT-6b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455400047
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496439438590


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


checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-6b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_CloudDeployment-PT-6b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8692/65536 symbol table entries, 2115 collisions
lola: preprocessing...
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2833 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6b-UpperBounds.task
lola: MAX(p316) : MAX(p1692) : MAX(p1484) : MAX(p1886) : MAX(p1737) : MAX(p802) : MAX(p358) : MAX(p757) : MAX(p764) : MAX(p205) : MAX(p996) : MAX(p348) : MAX(p1090) : MAX(p1489) : MAX(p645) : MAX(p1374)
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(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 94575 markings, 121863 edges, 18915 markings/sec, 0 secs
lola: 190748 markings, 254258 edges, 19235 markings/sec, 5 secs
lola: 313769 markings, 391214 edges, 24604 markings/sec, 10 secs
lola: 404908 markings, 540421 edges, 18228 markings/sec, 15 secs
lola: 528717 markings, 678640 edges, 24762 markings/sec, 20 secs
lola: 617891 markings, 828057 edges, 17835 markings/sec, 25 secs
lola: 743645 markings, 965010 edges, 25151 markings/sec, 30 secs
lola: 835835 markings, 1095126 edges, 18438 markings/sec, 35 secs
lola: 962143 markings, 1232151 edges, 25262 markings/sec, 40 secs
lola: 1044899 markings, 1399107 edges, 16551 markings/sec, 45 secs
lola: 1170413 markings, 1538560 edges, 25103 markings/sec, 50 secs
lola: 1260512 markings, 1684864 edges, 18020 markings/sec, 55 secs
lola: 1384105 markings, 1824503 edges, 24719 markings/sec, 60 secs
lola: 1481968 markings, 1953323 edges, 19573 markings/sec, 65 secs
lola: 1600453 markings, 2088795 edges, 23697 markings/sec, 70 secs
lola: 1699341 markings, 2230083 edges, 19778 markings/sec, 75 secs
lola: 1811852 markings, 2372535 edges, 22502 markings/sec, 80 secs
lola: 1923965 markings, 2509606 edges, 22423 markings/sec, 85 secs
lola: 2013911 markings, 2663985 edges, 17989 markings/sec, 90 secs
lola: 2093556 markings, 2827035 edges, 15929 markings/sec, 95 secs
lola: 2171803 markings, 2992775 edges, 15649 markings/sec, 100 secs
lola: 2270329 markings, 3150658 edges, 19705 markings/sec, 105 secs
lola: 2397535 markings, 3286969 edges, 25441 markings/sec, 110 secs
lola: 2524981 markings, 3423589 edges, 25489 markings/sec, 115 secs
lola: 2652677 markings, 3561237 edges, 25539 markings/sec, 120 secs
lola: 2768269 markings, 3700288 edges, 23118 markings/sec, 125 secs
lola: 2862187 markings, 3848201 edges, 18784 markings/sec, 130 secs
lola: 2980345 markings, 3984861 edges, 23632 markings/sec, 135 secs
lola: 3071050 markings, 4132696 edges, 18141 markings/sec, 140 secs
lola: 3192597 markings, 4267855 edges, 24309 markings/sec, 145 secs
lola: 3280186 markings, 4415479 edges, 17518 markings/sec, 150 secs
lola: 3404021 markings, 4550717 edges, 24767 markings/sec, 155 secs
lola: 3506302 markings, 4687410 edges, 20456 markings/sec, 160 secs
lola: 3617915 markings, 4814594 edges, 22323 markings/sec, 165 secs
lola: 3719256 markings, 4953010 edges, 20268 markings/sec, 170 secs
lola: 3831097 markings, 5077863 edges, 22368 markings/sec, 175 secs
lola: 3934011 markings, 5215479 edges, 20583 markings/sec, 180 secs
lola: 4042549 markings, 5342558 edges, 21708 markings/sec, 185 secs
lola: 4151029 markings, 5469692 edges, 21696 markings/sec, 190 secs
lola: 4247355 markings, 5606319 edges, 19265 markings/sec, 195 secs
lola: 4350211 markings, 5727856 edges, 20571 markings/sec, 200 secs
lola: 4453747 markings, 5856325 edges, 20707 markings/sec, 205 secs
lola: 4548599 markings, 5990208 edges, 18970 markings/sec, 210 secs
lola: 4638285 markings, 6123785 edges, 17937 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(p1692)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 56178 markings, 83120 edges, 11236 markings/sec, 0 secs
lola: 110567 markings, 173722 edges, 10878 markings/sec, 5 secs
lola: 165001 markings, 272929 edges, 10887 markings/sec, 10 secs
lola: 214963 markings, 388501 edges, 9992 markings/sec, 15 secs
lola: 268543 markings, 469360 edges, 10716 markings/sec, 20 secs
lola: 322086 markings, 558375 edges, 10709 markings/sec, 25 secs
lola: 376505 markings, 657362 edges, 10884 markings/sec, 30 secs
lola: 426546 markings, 772899 edges, 10008 markings/sec, 35 secs
lola: 480564 markings, 856616 edges, 10804 markings/sec, 40 secs
lola: 533355 markings, 957216 edges, 10558 markings/sec, 45 secs
lola: 587880 markings, 1049596 edges, 10905 markings/sec, 50 secs
lola: 638939 markings, 1158834 edges, 10212 markings/sec, 55 secs
lola: 693865 markings, 1246422 edges, 10985 markings/sec, 60 secs
lola: 745154 markings, 1359470 edges, 10258 markings/sec, 65 secs
lola: 799244 markings, 1451392 edges, 10818 markings/sec, 70 secs
lola: 851420 markings, 1549327 edges, 10435 markings/sec, 75 secs
lola: 902243 markings, 1666206 edges, 10165 markings/sec, 80 secs
lola: 957060 markings, 1755888 edges, 10963 markings/sec, 85 secs
lola: 1008782 markings, 1868134 edges, 10344 markings/sec, 90 secs
lola: 1063403 markings, 1957056 edges, 10924 markings/sec, 95 secs
lola: 1112931 markings, 2079300 edges, 9906 markings/sec, 100 secs
lola: 1167518 markings, 2169638 edges, 10917 markings/sec, 105 secs
lola: 1221667 markings, 2270277 edges, 10830 markings/sec, 110 secs
lola: 1276458 markings, 2359994 edges, 10958 markings/sec, 115 secs
lola: 1333225 markings, 2437483 edges, 11353 markings/sec, 120 secs
lola: 1388394 markings, 2530484 edges, 11034 markings/sec, 125 secs
lola: 1444050 markings, 2615412 edges, 11131 markings/sec, 130 secs
lola: 1500417 markings, 2693943 edges, 11273 markings/sec, 135 secs
lola: 1553988 markings, 2794335 edges, 10714 markings/sec, 140 secs
lola: 1607699 markings, 2892577 edges, 10742 markings/sec, 145 secs
lola: 1659925 markings, 3001316 edges, 10445 markings/sec, 150 secs
lola: 1714583 markings, 3092786 edges, 10932 markings/sec, 155 secs
lola: 1770606 markings, 3172807 edges, 11205 markings/sec, 160 secs
lola: 1826655 markings, 3253706 edges, 11210 markings/sec, 165 secs
lola: 1880710 markings, 3344394 edges, 10811 markings/sec, 170 secs
lola: 1935404 markings, 3433335 edges, 10939 markings/sec, 175 secs
lola: 1990517 markings, 3519081 edges, 11023 markings/sec, 180 secs
lola: 2045069 markings, 3607501 edges, 10910 markings/sec, 185 secs
lola: 2099382 markings, 3705369 edges, 10863 markings/sec, 190 secs
lola: 2154082 markings, 3794124 edges, 10940 markings/sec, 195 secs
lola: 2209531 markings, 3878509 edges, 11090 markings/sec, 200 secs
lola: 2264080 markings, 3968962 edges, 10910 markings/sec, 205 secs
lola: 2320088 markings, 4050328 edges, 11202 markings/sec, 210 secs
lola: 2373222 markings, 4153586 edges, 10627 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(p1484)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 86934 markings, 130413 edges, 17387 markings/sec, 0 secs
lola: 171368 markings, 262413 edges, 16887 markings/sec, 5 secs
lola: 252244 markings, 426181 edges, 16175 markings/sec, 10 secs
lola: 336563 markings, 580127 edges, 16864 markings/sec, 15 secs
lola: 419994 markings, 717107 edges, 16686 markings/sec, 20 secs
lola: 498133 markings, 884076 edges, 15628 markings/sec, 25 secs
lola: 580647 markings, 1042879 edges, 16503 markings/sec, 30 secs
lola: 664797 markings, 1165606 edges, 16830 markings/sec, 35 secs
lola: 743629 markings, 1311723 edges, 15766 markings/sec, 40 secs
lola: 824941 markings, 1488162 edges, 16262 markings/sec, 45 secs
lola: 909068 markings, 1626424 edges, 16825 markings/sec, 50 secs
lola: 984368 markings, 1792992 edges, 15060 markings/sec, 55 secs
lola: 1064391 markings, 1978047 edges, 16005 markings/sec, 60 secs
lola: 1147663 markings, 2115771 edges, 16654 markings/sec, 65 secs
lola: 1227771 markings, 2254550 edges, 16022 markings/sec, 70 secs
lola: 1305116 markings, 2431593 edges, 15469 markings/sec, 75 secs
lola: 1387045 markings, 2582529 edges, 16386 markings/sec, 80 secs
lola: 1469089 markings, 2715983 edges, 16409 markings/sec, 85 secs
lola: 1547009 markings, 2880313 edges, 15584 markings/sec, 90 secs
lola: 1627266 markings, 3048562 edges, 16051 markings/sec, 95 secs
lola: 1710998 markings, 3176001 edges, 16746 markings/sec, 100 secs
lola: 1787242 markings, 3337601 edges, 15249 markings/sec, 105 secs
lola: 1868707 markings, 3509965 edges, 16293 markings/sec, 110 secs
lola: 1952232 markings, 3640250 edges, 16705 markings/sec, 115 secs
lola: 2028579 markings, 3791540 edges, 15269 markings/sec, 120 secs
lola: 2110152 markings, 3968167 edges, 16315 markings/sec, 125 secs
lola: 2193202 markings, 4107011 edges, 16610 markings/sec, 130 secs
lola: 2273870 markings, 4244712 edges, 16134 markings/sec, 135 secs
lola: 2351157 markings, 4423412 edges, 15457 markings/sec, 140 secs
lola: 2434518 markings, 4572263 edges, 16672 markings/sec, 145 secs
lola: 2516532 markings, 4705458 edges, 16403 markings/sec, 150 secs
lola: 2593646 markings, 4872838 edges, 15423 markings/sec, 155 secs
lola: 2674818 markings, 5041597 edges, 16234 markings/sec, 160 secs
lola: 2759116 markings, 5171783 edges, 16860 markings/sec, 165 secs
lola: 2836866 markings, 5332180 edges, 15550 markings/sec, 170 secs
lola: 2918371 markings, 5508744 edges, 16301 markings/sec, 175 secs
lola: 3003002 markings, 5640391 edges, 16926 markings/sec, 180 secs
lola: 3079892 markings, 5794920 edges, 15378 markings/sec, 185 secs
lola: 3163286 markings, 5965351 edges, 16679 markings/sec, 190 secs
lola: 3257914 markings, 6077977 edges, 18926 markings/sec, 195 secs
lola: 3339760 markings, 6239134 edges, 16369 markings/sec, 200 secs
lola: 3425834 markings, 6390959 edges, 17215 markings/sec, 205 secs
lola: 3504324 markings, 6548721 edges, 15698 markings/sec, 210 secs
lola: 3587994 markings, 6664848 edges, 16734 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(p1886)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 80669 markings, 142825 edges, 16134 markings/sec, 0 secs
lola: 158204 markings, 293218 edges, 15507 markings/sec, 5 secs
lola: 235171 markings, 440800 edges, 15393 markings/sec, 10 secs
lola: 311483 markings, 587874 edges, 15262 markings/sec, 15 secs
lola: 389780 markings, 724073 edges, 15659 markings/sec, 20 secs
lola: 468551 markings, 863631 edges, 15754 markings/sec, 25 secs
lola: 545490 markings, 1006181 edges, 15388 markings/sec, 30 secs
lola: 622152 markings, 1148288 edges, 15332 markings/sec, 35 secs
lola: 700048 markings, 1289512 edges, 15579 markings/sec, 40 secs
lola: 782948 markings, 1413323 edges, 16580 markings/sec, 45 secs
lola: 861950 markings, 1557571 edges, 15800 markings/sec, 50 secs
lola: 939090 markings, 1705736 edges, 15428 markings/sec, 55 secs
lola: 1017211 markings, 1855535 edges, 15624 markings/sec, 60 secs
lola: 1093180 markings, 2007338 edges, 15194 markings/sec, 65 secs
lola: 1170649 markings, 2154965 edges, 15494 markings/sec, 70 secs
lola: 1247730 markings, 2301030 edges, 15416 markings/sec, 75 secs
lola: 1322182 markings, 2454013 edges, 14890 markings/sec, 80 secs
lola: 1399496 markings, 2601393 edges, 15463 markings/sec, 85 secs
lola: 1477608 markings, 2748048 edges, 15622 markings/sec, 90 secs
lola: 1555928 markings, 2896270 edges, 15664 markings/sec, 95 secs
lola: 1633610 markings, 3032568 edges, 15536 markings/sec, 100 secs
lola: 1712132 markings, 3177999 edges, 15704 markings/sec, 105 secs
lola: 1790606 markings, 3323422 edges, 15695 markings/sec, 110 secs
lola: 1869020 markings, 3468374 edges, 15683 markings/sec, 115 secs
lola: 1948300 markings, 3613668 edges, 15856 markings/sec, 120 secs
lola: 2026292 markings, 3765126 edges, 15598 markings/sec, 125 secs
lola: 2104663 markings, 3914832 edges, 15674 markings/sec, 130 secs
lola: 2182484 markings, 4067574 edges, 15564 markings/sec, 135 secs
lola: 2259978 markings, 4221940 edges, 15499 markings/sec, 140 secs
lola: 2337326 markings, 4376852 edges, 15470 markings/sec, 145 secs
lola: 2414332 markings, 4530658 edges, 15401 markings/sec, 150 secs
lola: 2490874 markings, 4684595 edges, 15308 markings/sec, 155 secs
lola: 2565686 markings, 4844257 edges, 14962 markings/sec, 160 secs
lola: 2642326 markings, 4999376 edges, 15328 markings/sec, 165 secs
lola: 2719334 markings, 5153392 edges, 15402 markings/sec, 170 secs
lola: 2795768 markings, 5306011 edges, 15287 markings/sec, 175 secs
lola: 2873119 markings, 5460836 edges, 15470 markings/sec, 180 secs
lola: 2950494 markings, 5614136 edges, 15475 markings/sec, 185 secs
lola: 3027636 markings, 5768778 edges, 15428 markings/sec, 190 secs
lola: 3105661 markings, 5924873 edges, 15605 markings/sec, 195 secs
lola: 3183340 markings, 6079358 edges, 15536 markings/sec, 200 secs
lola: 3260105 markings, 6236762 edges, 15353 markings/sec, 205 secs
lola: 3337636 markings, 6383615 edges, 15506 markings/sec, 210 secs
lola: 3415570 markings, 6527954 edges, 15587 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(p1737)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 79438 markings, 82816 edges, 15888 markings/sec, 0 secs
lola: 154640 markings, 170568 edges, 15040 markings/sec, 5 secs
lola: 217314 markings, 263767 edges, 12535 markings/sec, 10 secs
lola: 278929 markings, 376238 edges, 12323 markings/sec, 15 secs
lola: 342735 markings, 479418 edges, 12761 markings/sec, 20 secs
lola: 409202 markings, 577980 edges, 13293 markings/sec, 25 secs
lola: 472797 markings, 683612 edges, 12719 markings/sec, 30 secs
lola: 523627 markings, 804415 edges, 10166 markings/sec, 35 secs
lola: 569540 markings, 950820 edges, 9183 markings/sec, 40 secs
lola: 620505 markings, 1077625 edges, 10193 markings/sec, 45 secs
lola: 670177 markings, 1212707 edges, 9934 markings/sec, 50 secs
lola: 719354 markings, 1360301 edges, 9835 markings/sec, 55 secs
lola: 761446 markings, 1549131 edges, 8418 markings/sec, 60 secs
lola: 808675 markings, 1714778 edges, 9446 markings/sec, 65 secs
lola: 861015 markings, 1845233 edges, 10468 markings/sec, 70 secs
lola: 918239 markings, 1967919 edges, 11445 markings/sec, 75 secs
lola: 971306 markings, 2098950 edges, 10613 markings/sec, 80 secs
lola: 1023533 markings, 2230164 edges, 10445 markings/sec, 85 secs
lola: 1096536 markings, 2317152 edges, 14601 markings/sec, 90 secs
lola: 1156043 markings, 2414635 edges, 11901 markings/sec, 95 secs
lola: 1219503 markings, 2523014 edges, 12692 markings/sec, 100 secs
lola: 1282590 markings, 2627063 edges, 12617 markings/sec, 105 secs
lola: 1347567 markings, 2724686 edges, 12995 markings/sec, 110 secs
lola: 1410267 markings, 2830417 edges, 12540 markings/sec, 115 secs
lola: 1459032 markings, 2954578 edges, 9753 markings/sec, 120 secs
lola: 1504645 markings, 3097294 edges, 9123 markings/sec, 125 secs
lola: 1555143 markings, 3221553 edges, 10100 markings/sec, 130 secs
lola: 1603928 markings, 3356970 edges, 9757 markings/sec, 135 secs
lola: 1652286 markings, 3504904 edges, 9672 markings/sec, 140 secs
lola: 1692649 markings, 3700744 edges, 8073 markings/sec, 145 secs
lola: 1742159 markings, 3853549 edges, 9902 markings/sec, 150 secs
lola: 1794683 markings, 3984018 edges, 10505 markings/sec, 155 secs
lola: 1850592 markings, 4109544 edges, 11182 markings/sec, 160 secs
lola: 1904303 markings, 4237567 edges, 10742 markings/sec, 165 secs
lola: 1957760 markings, 4366831 edges, 10691 markings/sec, 170 secs
lola: 2031074 markings, 4454047 edges, 14663 markings/sec, 175 secs
lola: 2100477 markings, 4544790 edges, 13881 markings/sec, 180 secs
lola: 2160374 markings, 4646390 edges, 11979 markings/sec, 185 secs
lola: 2221975 markings, 4756979 edges, 12320 markings/sec, 190 secs
lola: 2286798 markings, 4856425 edges, 12965 markings/sec, 195 secs
lola: 2342129 markings, 4964902 edges, 11066 markings/sec, 200 secs
lola: 2388421 markings, 5086845 edges, 9258 markings/sec, 205 secs
lola: 2434120 markings, 5221339 edges, 9140 markings/sec, 210 secs
lola: 2485211 markings, 5342827 edges, 10218 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(p802)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 67963 markings, 118734 edges, 13593 markings/sec, 0 secs
lola: 135321 markings, 227959 edges, 13472 markings/sec, 5 secs
lola: 194749 markings, 399270 edges, 11886 markings/sec, 10 secs
lola: 260725 markings, 534703 edges, 13195 markings/sec, 15 secs
lola: 329513 markings, 635751 edges, 13758 markings/sec, 20 secs
lola: 388983 markings, 810467 edges, 11894 markings/sec, 25 secs
lola: 458674 markings, 929723 edges, 13938 markings/sec, 30 secs
lola: 531054 markings, 1047024 edges, 14476 markings/sec, 35 secs
lola: 597546 markings, 1197338 edges, 13298 markings/sec, 40 secs
lola: 668724 markings, 1309367 edges, 14236 markings/sec, 45 secs
lola: 731740 markings, 1458520 edges, 12603 markings/sec, 50 secs
lola: 802797 markings, 1572415 edges, 14211 markings/sec, 55 secs
lola: 872186 markings, 1697140 edges, 13878 markings/sec, 60 secs
lola: 938443 markings, 1840926 edges, 13251 markings/sec, 65 secs
lola: 1006590 markings, 1959801 edges, 13629 markings/sec, 70 secs
lola: 1070649 markings, 2109365 edges, 12812 markings/sec, 75 secs
lola: 1142480 markings, 2221422 edges, 14366 markings/sec, 80 secs
lola: 1211824 markings, 2346527 edges, 13869 markings/sec, 85 secs
lola: 1283139 markings, 2460269 edges, 14263 markings/sec, 90 secs
lola: 1351723 markings, 2586718 edges, 13717 markings/sec, 95 secs
lola: 1416326 markings, 2716590 edges, 12921 markings/sec, 100 secs
lola: 1480943 markings, 2844163 edges, 12923 markings/sec, 105 secs
lola: 1544947 markings, 2979046 edges, 12801 markings/sec, 110 secs
lola: 1612210 markings, 3104460 edges, 13453 markings/sec, 115 secs
lola: 1682983 markings, 3208064 edges, 14155 markings/sec, 120 secs
lola: 1749742 markings, 3346280 edges, 13352 markings/sec, 125 secs
lola: 1820503 markings, 3461743 edges, 14152 markings/sec, 130 secs
lola: 1894197 markings, 3560201 edges, 14739 markings/sec, 135 secs
lola: 1967659 markings, 3660728 edges, 14692 markings/sec, 140 secs
lola: 2038532 markings, 3770528 edges, 14175 markings/sec, 145 secs
lola: 2108113 markings, 3870366 edges, 13916 markings/sec, 150 secs
lola: 2176464 markings, 3981376 edges, 13670 markings/sec, 155 secs
lola: 2241803 markings, 4131124 edges, 13068 markings/sec, 160 secs
lola: 2307597 markings, 4271797 edges, 13159 markings/sec, 165 secs
lola: 2370770 markings, 4425677 edges, 12635 markings/sec, 170 secs
lola: 2434696 markings, 4565920 edges, 12785 markings/sec, 175 secs
lola: 2497058 markings, 4713366 edges, 12472 markings/sec, 180 secs
lola: 2559593 markings, 4864588 edges, 12507 markings/sec, 185 secs
lola: 2627379 markings, 4982555 edges, 13557 markings/sec, 190 secs
lola: 2700859 markings, 5087507 edges, 14696 markings/sec, 195 secs
lola: 2769825 markings, 5213085 edges, 13793 markings/sec, 200 secs
lola: 2844610 markings, 5311361 edges, 14957 markings/sec, 205 secs
lola: 2919893 markings, 5409509 edges, 15057 markings/sec, 210 secs
lola: 2993615 markings, 5507736 edges, 14744 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(p358)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 63743 markings, 158442 edges, 12749 markings/sec, 0 secs
lola: 127582 markings, 298922 edges, 12768 markings/sec, 5 secs
lola: 192519 markings, 417700 edges, 12987 markings/sec, 10 secs
lola: 255269 markings, 561937 edges, 12550 markings/sec, 15 secs
lola: 316414 markings, 729720 edges, 12229 markings/sec, 20 secs
lola: 376724 markings, 921385 edges, 12062 markings/sec, 25 secs
lola: 431418 markings, 1130079 edges, 10939 markings/sec, 30 secs
lola: 491348 markings, 1299685 edges, 11986 markings/sec, 35 secs
lola: 553621 markings, 1450514 edges, 12455 markings/sec, 40 secs
lola: 614665 markings, 1607831 edges, 12209 markings/sec, 45 secs
lola: 673933 markings, 1774538 edges, 11854 markings/sec, 50 secs
lola: 734678 markings, 1927490 edges, 12149 markings/sec, 55 secs
lola: 792639 markings, 2097096 edges, 11592 markings/sec, 60 secs
lola: 852923 markings, 2249281 edges, 12057 markings/sec, 65 secs
lola: 911343 markings, 2412798 edges, 11684 markings/sec, 70 secs
lola: 970220 markings, 2570870 edges, 11775 markings/sec, 75 secs
lola: 1028256 markings, 2746561 edges, 11607 markings/sec, 80 secs
lola: 1084438 markings, 2950126 edges, 11236 markings/sec, 85 secs
lola: 1142822 markings, 3117754 edges, 11677 markings/sec, 90 secs
lola: 1200542 markings, 3269503 edges, 11544 markings/sec, 95 secs
lola: 1256860 markings, 3452192 edges, 11264 markings/sec, 100 secs
lola: 1311304 markings, 3656876 edges, 10889 markings/sec, 105 secs
lola: 1364785 markings, 3879691 edges, 10696 markings/sec, 110 secs
lola: 1415266 markings, 4113789 edges, 10096 markings/sec, 115 secs
lola: 1464142 markings, 4340803 edges, 9775 markings/sec, 120 secs
lola: 1518754 markings, 4540409 edges, 10922 markings/sec, 125 secs
lola: 1575001 markings, 4718059 edges, 11249 markings/sec, 130 secs
lola: 1627015 markings, 4928265 edges, 10403 markings/sec, 135 secs
lola: 1680599 markings, 5126899 edges, 10717 markings/sec, 140 secs
lola: 1735022 markings, 5310815 edges, 10885 markings/sec, 145 secs
lola: 1786314 markings, 5513772 edges, 10258 markings/sec, 150 secs
lola: 1839922 markings, 5696097 edges, 10722 markings/sec, 155 secs
lola: 1890641 markings, 5899753 edges, 10144 markings/sec, 160 secs
lola: 1943458 markings, 6089409 edges, 10563 markings/sec, 165 secs
lola: 1994467 markings, 6281573 edges, 10202 markings/sec, 170 secs
lola: 2050346 markings, 6438193 edges, 11176 markings/sec, 175 secs
lola: 2107415 markings, 6573520 edges, 11414 markings/sec, 180 secs
lola: 2165217 markings, 6684582 edges, 11560 markings/sec, 185 secs
lola: 2222608 markings, 6794942 edges, 11478 markings/sec, 190 secs
lola: 2278408 markings, 6940874 edges, 11160 markings/sec, 195 secs
lola: 2333406 markings, 7096783 edges, 11000 markings/sec, 200 secs
lola: 2387926 markings, 7268134 edges, 10904 markings/sec, 205 secs
lola: 2436939 markings, 7463419 edges, 9803 markings/sec, 210 secs
lola: 2491949 markings, 7613158 edges, 11002 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(p757)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 78685 markings, 102886 edges, 15737 markings/sec, 0 secs
lola: 139440 markings, 199937 edges, 12151 markings/sec, 5 secs
lola: 199771 markings, 308722 edges, 12066 markings/sec, 10 secs
lola: 255323 markings, 434142 edges, 11110 markings/sec, 15 secs
lola: 316156 markings, 524424 edges, 12167 markings/sec, 20 secs
lola: 375737 markings, 622670 edges, 11916 markings/sec, 25 secs
lola: 434550 markings, 736536 edges, 11763 markings/sec, 30 secs
lola: 489566 markings, 855625 edges, 11003 markings/sec, 35 secs
lola: 551027 markings, 944662 edges, 12292 markings/sec, 40 secs
lola: 608461 markings, 1058387 edges, 11487 markings/sec, 45 secs
lola: 665857 markings, 1178189 edges, 11479 markings/sec, 50 secs
lola: 725720 markings, 1277841 edges, 11973 markings/sec, 55 secs
lola: 782762 markings, 1397321 edges, 11408 markings/sec, 60 secs
lola: 842390 markings, 1500619 edges, 11926 markings/sec, 65 secs
lola: 898764 markings, 1619282 edges, 11275 markings/sec, 70 secs
lola: 957093 markings, 1733853 edges, 11666 markings/sec, 75 secs
lola: 1015681 markings, 1847488 edges, 11718 markings/sec, 80 secs
lola: 1074337 markings, 1960915 edges, 11731 markings/sec, 85 secs
lola: 1132753 markings, 2063337 edges, 11683 markings/sec, 90 secs
lola: 1189659 markings, 2188287 edges, 11381 markings/sec, 95 secs
lola: 1250272 markings, 2294190 edges, 12123 markings/sec, 100 secs
lola: 1310954 markings, 2394676 edges, 12136 markings/sec, 105 secs
lola: 1373703 markings, 2483380 edges, 12550 markings/sec, 110 secs
lola: 1434128 markings, 2591336 edges, 12085 markings/sec, 115 secs
lola: 1496827 markings, 2678589 edges, 12540 markings/sec, 120 secs
lola: 1559648 markings, 2766286 edges, 12564 markings/sec, 125 secs
lola: 1616863 markings, 2887476 edges, 11443 markings/sec, 130 secs
lola: 1675847 markings, 3000250 edges, 11797 markings/sec, 135 secs
lola: 1735463 markings, 3108447 edges, 11923 markings/sec, 140 secs
lola: 1797310 markings, 3199670 edges, 12369 markings/sec, 145 secs
lola: 1859982 markings, 3288835 edges, 12534 markings/sec, 150 secs
lola: 1920138 markings, 3388349 edges, 12031 markings/sec, 155 secs
lola: 1980894 markings, 3487024 edges, 12151 markings/sec, 160 secs
lola: 2041490 markings, 3584388 edges, 12119 markings/sec, 165 secs
lola: 2102808 markings, 3679285 edges, 12264 markings/sec, 170 secs
lola: 2162401 markings, 3788847 edges, 11919 markings/sec, 175 secs
lola: 2223229 markings, 3885341 edges, 12166 markings/sec, 180 secs
lola: 2283674 markings, 3985052 edges, 12089 markings/sec, 185 secs
lola: 2345912 markings, 4074976 edges, 12448 markings/sec, 190 secs
lola: 2405575 markings, 4180708 edges, 11933 markings/sec, 195 secs
lola: 2463757 markings, 4298636 edges, 11636 markings/sec, 200 secs
lola: 2520907 markings, 4413053 edges, 11430 markings/sec, 205 secs
lola: 2575528 markings, 4535306 edges, 10924 markings/sec, 210 secs
lola: 2634583 markings, 4644128 edges, 11811 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(p764)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 101613 markings, 143221 edges, 20323 markings/sec, 0 secs
lola: 201786 markings, 277196 edges, 20035 markings/sec, 5 secs
lola: 301064 markings, 404132 edges, 19856 markings/sec, 10 secs
lola: 394285 markings, 546553 edges, 18644 markings/sec, 15 secs
lola: 469076 markings, 722865 edges, 14958 markings/sec, 20 secs
lola: 562397 markings, 871064 edges, 18664 markings/sec, 25 secs
lola: 660534 markings, 1007854 edges, 19627 markings/sec, 30 secs
lola: 760330 markings, 1134671 edges, 19959 markings/sec, 35 secs
lola: 853754 markings, 1274044 edges, 18685 markings/sec, 40 secs
lola: 930034 markings, 1452471 edges, 15256 markings/sec, 45 secs
lola: 1030764 markings, 1595972 edges, 20146 markings/sec, 50 secs
lola: 1134722 markings, 1731969 edges, 20792 markings/sec, 55 secs
lola: 1238948 markings, 1872772 edges, 20845 markings/sec, 60 secs
lola: 1341433 markings, 2016866 edges, 20497 markings/sec, 65 secs
lola: 1438024 markings, 2162166 edges, 19318 markings/sec, 70 secs
lola: 1529932 markings, 2310811 edges, 18382 markings/sec, 75 secs
lola: 1631312 markings, 2448272 edges, 20276 markings/sec, 80 secs
lola: 1724281 markings, 2595200 edges, 18594 markings/sec, 85 secs
lola: 1810940 markings, 2749990 edges, 17332 markings/sec, 90 secs
lola: 1915073 markings, 2883792 edges, 20827 markings/sec, 95 secs
lola: 2018980 markings, 3020777 edges, 20781 markings/sec, 100 secs
lola: 2118171 markings, 3157106 edges, 19838 markings/sec, 105 secs
lola: 2217167 markings, 3304885 edges, 19799 markings/sec, 110 secs
lola: 2302569 markings, 3454484 edges, 17080 markings/sec, 115 secs
lola: 2402085 markings, 3593255 edges, 19903 markings/sec, 120 secs
lola: 2504913 markings, 3730168 edges, 20566 markings/sec, 125 secs
lola: 2589951 markings, 3883554 edges, 17008 markings/sec, 130 secs
lola: 2682215 markings, 4024825 edges, 18453 markings/sec, 135 secs
lola: 2788565 markings, 4159956 edges, 21270 markings/sec, 140 secs
lola: 2884448 markings, 4310876 edges, 19177 markings/sec, 145 secs
lola: 2987134 markings, 4448730 edges, 20537 markings/sec, 150 secs
lola: 3093099 markings, 4583245 edges, 21193 markings/sec, 155 secs
lola: 3201856 markings, 4721861 edges, 21751 markings/sec, 160 secs
lola: 3293862 markings, 4877010 edges, 18401 markings/sec, 165 secs
lola: 3399188 markings, 5013536 edges, 21065 markings/sec, 170 secs
lola: 3498876 markings, 5145072 edges, 19938 markings/sec, 175 secs
lola: 3588800 markings, 5295232 edges, 17985 markings/sec, 180 secs
lola: 3676523 markings, 5445360 edges, 17545 markings/sec, 185 secs
lola: 3776620 markings, 5576775 edges, 20019 markings/sec, 190 secs
lola: 3866291 markings, 5727208 edges, 17934 markings/sec, 195 secs
lola: 3954588 markings, 5878140 edges, 17659 markings/sec, 200 secs
lola: 4061349 markings, 6010999 edges, 21352 markings/sec, 205 secs
lola: 4167118 markings, 6142891 edges, 21154 markings/sec, 210 secs
lola: 4271954 markings, 6276331 edges, 20967 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(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 67660 markings, 87294 edges, 13532 markings/sec, 0 secs
lola: 122009 markings, 166552 edges, 10870 markings/sec, 5 secs
lola: 174154 markings, 258400 edges, 10429 markings/sec, 10 secs
lola: 225310 markings, 357812 edges, 10231 markings/sec, 15 secs
lola: 273765 markings, 464266 edges, 9691 markings/sec, 20 secs
lola: 327116 markings, 540030 edges, 10670 markings/sec, 25 secs
lola: 378811 markings, 627195 edges, 10339 markings/sec, 30 secs
lola: 429666 markings, 728751 edges, 10171 markings/sec, 35 secs
lola: 477859 markings, 835660 edges, 9639 markings/sec, 40 secs
lola: 530406 markings, 914175 edges, 10509 markings/sec, 45 secs
lola: 580177 markings, 1013386 edges, 9954 markings/sec, 50 secs
lola: 632442 markings, 1103856 edges, 10453 markings/sec, 55 secs
lola: 681212 markings, 1208120 edges, 9754 markings/sec, 60 secs
lola: 734125 markings, 1292004 edges, 10583 markings/sec, 65 secs
lola: 783549 markings, 1399758 edges, 9885 markings/sec, 70 secs
lola: 835039 markings, 1490854 edges, 10298 markings/sec, 75 secs
lola: 886375 markings, 1578416 edges, 10267 markings/sec, 80 secs
lola: 933847 markings, 1698333 edges, 9494 markings/sec, 85 secs
lola: 986972 markings, 1781276 edges, 10625 markings/sec, 90 secs
lola: 1036278 markings, 1889725 edges, 9861 markings/sec, 95 secs
lola: 1088321 markings, 1979326 edges, 10409 markings/sec, 100 secs
lola: 1138002 markings, 2080555 edges, 9936 markings/sec, 105 secs
lola: 1188059 markings, 2185928 edges, 10011 markings/sec, 110 secs
lola: 1241467 markings, 2269763 edges, 10682 markings/sec, 115 secs
lola: 1292538 markings, 2368776 edges, 10214 markings/sec, 120 secs
lola: 1346273 markings, 2446665 edges, 10747 markings/sec, 125 secs
lola: 1400764 markings, 2521300 edges, 10898 markings/sec, 130 secs
lola: 1452380 markings, 2616497 edges, 10323 markings/sec, 135 secs
lola: 1506150 markings, 2690973 edges, 10754 markings/sec, 140 secs
lola: 1560046 markings, 2766845 edges, 10779 markings/sec, 145 secs
lola: 1610701 markings, 2867604 edges, 10131 markings/sec, 150 secs
lola: 1661857 markings, 2965212 edges, 10231 markings/sec, 155 secs
lola: 1712072 markings, 3073194 edges, 10043 markings/sec, 160 secs
lola: 1765394 markings, 3153407 edges, 10664 markings/sec, 165 secs
lola: 1819191 markings, 3229751 edges, 10759 markings/sec, 170 secs
lola: 1872873 markings, 3307437 edges, 10736 markings/sec, 175 secs
lola: 1924816 markings, 3395348 edges, 10389 markings/sec, 180 secs
lola: 1977503 markings, 3481344 edges, 10537 markings/sec, 185 secs
lola: 2030497 markings, 3564111 edges, 10599 markings/sec, 190 secs
lola: 2082950 markings, 3648904 edges, 10491 markings/sec, 195 secs
lola: 2135375 markings, 3741226 edges, 10485 markings/sec, 200 secs
lola: 2187617 markings, 3829591 edges, 10448 markings/sec, 205 secs
lola: 2240704 markings, 3911216 edges, 10617 markings/sec, 210 secs
lola: 2293016 markings, 3998098 edges, 10462 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(p996)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p348)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 50505 markings, 141807 edges, 10101 markings/sec, 0 secs
lola: 97847 markings, 307806 edges, 9468 markings/sec, 5 secs
lola: 146430 markings, 464813 edges, 9717 markings/sec, 10 secs
lola: 197692 markings, 576980 edges, 10252 markings/sec, 15 secs
lola: 248612 markings, 714764 edges, 10184 markings/sec, 20 secs
lola: 289678 markings, 936119 edges, 8213 markings/sec, 25 secs
lola: 333638 markings, 1095261 edges, 8792 markings/sec, 30 secs
lola: 382534 markings, 1222317 edges, 9779 markings/sec, 35 secs
lola: 425297 markings, 1379078 edges, 8553 markings/sec, 40 secs
lola: 469907 markings, 1529396 edges, 8922 markings/sec, 45 secs
lola: 514529 markings, 1680765 edges, 8924 markings/sec, 50 secs
lola: 557488 markings, 1827717 edges, 8592 markings/sec, 55 secs
lola: 599407 markings, 1972740 edges, 8384 markings/sec, 60 secs
lola: 647063 markings, 2110599 edges, 9531 markings/sec, 65 secs
lola: 694213 markings, 2275471 edges, 9430 markings/sec, 70 secs
lola: 742584 markings, 2431173 edges, 9674 markings/sec, 75 secs
lola: 792639 markings, 2544813 edges, 10011 markings/sec, 80 secs
lola: 843138 markings, 2679674 edges, 10100 markings/sec, 85 secs
lola: 887926 markings, 2862763 edges, 8958 markings/sec, 90 secs
lola: 926735 markings, 3053584 edges, 7762 markings/sec, 95 secs
lola: 975677 markings, 3182539 edges, 9788 markings/sec, 100 secs
lola: 1018491 markings, 3337359 edges, 8563 markings/sec, 105 secs
lola: 1063044 markings, 3489219 edges, 8911 markings/sec, 110 secs
lola: 1107336 markings, 3635194 edges, 8858 markings/sec, 115 secs
lola: 1150069 markings, 3785663 edges, 8547 markings/sec, 120 secs
lola: 1191195 markings, 3926907 edges, 8225 markings/sec, 125 secs
lola: 1238826 markings, 4081863 edges, 9526 markings/sec, 130 secs
lola: 1287791 markings, 4239505 edges, 9793 markings/sec, 135 secs
lola: 1341119 markings, 4359633 edges, 10666 markings/sec, 140 secs
lola: 1390226 markings, 4493305 edges, 9821 markings/sec, 145 secs
lola: 1430068 markings, 4717877 edges, 7968 markings/sec, 150 secs
lola: 1475796 markings, 4865783 edges, 9146 markings/sec, 155 secs
lola: 1525108 markings, 5014200 edges, 9862 markings/sec, 160 secs
lola: 1573598 markings, 5175330 edges, 9698 markings/sec, 165 secs
lola: 1620528 markings, 5362535 edges, 9386 markings/sec, 170 secs
lola: 1669579 markings, 5541838 edges, 9810 markings/sec, 175 secs
lola: 1719931 markings, 5701475 edges, 10070 markings/sec, 180 secs
lola: 1767961 markings, 5877536 edges, 9606 markings/sec, 185 secs
lola: 1810579 markings, 6089539 edges, 8524 markings/sec, 190 secs
lola: 1858097 markings, 6270622 edges, 9504 markings/sec, 195 secs
lola: 1908400 markings, 6421971 edges, 10061 markings/sec, 200 secs
lola: 1960361 markings, 6586238 edges, 10392 markings/sec, 205 secs
lola: 2015249 markings, 6759606 edges, 10978 markings/sec, 210 secs
lola: 2062909 markings, 6936797 edges, 9532 markings/sec, 215 secs
lola: 2114056 markings, 7084987 edges, 10229 markings/sec, 220 secs
lola: 2163015 markings, 7266156 edges, 9792 markings/sec, 225 secs
lola: 2211847 markings, 7437558 edges, 9766 markings/sec, 230 secs
lola: 2258836 markings, 7611330 edges, 9398 markings/sec, 235 secs
lola: 2307053 markings, 7789776 edges, 9643 markings/sec, 240 secs
lola: 2354241 markings, 7973488 edges, 9438 markings/sec, 245 secs
lola: 2405960 markings, 8149243 edges, 10344 markings/sec, 250 secs
lola: 2465479 markings, 8318017 edges, 11904 markings/sec, 255 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 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1090)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 81525 markings, 94485 edges, 16305 markings/sec, 0 secs
lola: 163247 markings, 194368 edges, 16344 markings/sec, 5 secs
lola: 245043 markings, 290510 edges, 16359 markings/sec, 10 secs
lola: 325789 markings, 393782 edges, 16149 markings/sec, 15 secs
lola: 406433 markings, 493679 edges, 16129 markings/sec, 20 secs
lola: 486228 markings, 592604 edges, 15959 markings/sec, 25 secs
lola: 565123 markings, 691378 edges, 15779 markings/sec, 30 secs
lola: 644069 markings, 790092 edges, 15789 markings/sec, 35 secs
lola: 723024 markings, 889344 edges, 15791 markings/sec, 40 secs
lola: 803397 markings, 988555 edges, 16075 markings/sec, 45 secs
lola: 883708 markings, 1087798 edges, 16062 markings/sec, 50 secs
lola: 965453 markings, 1184632 edges, 16349 markings/sec, 55 secs
lola: 1029551 markings, 1274476 edges, 12820 markings/sec, 60 secs
lola: 1083318 markings, 1372839 edges, 10753 markings/sec, 65 secs
lola: 1135656 markings, 1470024 edges, 10468 markings/sec, 70 secs
lola: 1183692 markings, 1568240 edges, 9607 markings/sec, 75 secs
lola: 1232599 markings, 1664285 edges, 9781 markings/sec, 80 secs
lola: 1304423 markings, 1753875 edges, 14365 markings/sec, 85 secs
lola: 1375153 markings, 1845145 edges, 14146 markings/sec, 90 secs
lola: 1458790 markings, 1942641 edges, 16727 markings/sec, 95 secs
lola: 1546723 markings, 2043001 edges, 17587 markings/sec, 100 secs
lola: 1635299 markings, 2143869 edges, 17715 markings/sec, 105 secs
lola: 1724030 markings, 2245538 edges, 17746 markings/sec, 110 secs
lola: 1810999 markings, 2345395 edges, 17394 markings/sec, 115 secs
lola: 1899654 markings, 2446364 edges, 17731 markings/sec, 120 secs
lola: 1987664 markings, 2546897 edges, 17602 markings/sec, 125 secs
lola: 2076437 markings, 2648008 edges, 17755 markings/sec, 130 secs
lola: 2165305 markings, 2749106 edges, 17774 markings/sec, 135 secs
lola: 2254405 markings, 2850438 edges, 17820 markings/sec, 140 secs
lola: 2343046 markings, 2951586 edges, 17728 markings/sec, 145 secs
lola: 2431976 markings, 3052979 edges, 17786 markings/sec, 150 secs
lola: 2521048 markings, 3154675 edges, 17814 markings/sec, 155 secs
lola: 2609259 markings, 3255705 edges, 17642 markings/sec, 160 secs
lola: 2697215 markings, 3356873 edges, 17591 markings/sec, 165 secs
lola: 2785055 markings, 3457679 edges, 17568 markings/sec, 170 secs
lola: 2873661 markings, 3558972 edges, 17721 markings/sec, 175 secs
lola: 2961320 markings, 3660541 edges, 17532 markings/sec, 180 secs
lola: 3049318 markings, 3762283 edges, 17600 markings/sec, 185 secs
lola: 3137057 markings, 3865293 edges, 17548 markings/sec, 190 secs
lola: 3225390 markings, 3967044 edges, 17667 markings/sec, 195 secs
lola: 3312901 markings, 4069046 edges, 17502 markings/sec, 200 secs
lola: 3378814 markings, 4185023 edges, 13183 markings/sec, 205 secs
lola: 3458742 markings, 4283914 edges, 15986 markings/sec, 210 secs
lola: 3539498 markings, 4383346 edges, 16151 markings/sec, 215 secs
lola: 3620318 markings, 4482692 edges, 16164 markings/sec, 220 secs
lola: 3701117 markings, 4581970 edges, 16160 markings/sec, 225 secs
lola: 3782632 markings, 4678225 edges, 16303 markings/sec, 230 secs
lola: 3864633 markings, 4774093 edges, 16400 markings/sec, 235 secs
lola: 3942103 markings, 4885082 edges, 15494 markings/sec, 240 secs
lola: 4021502 markings, 4985888 edges, 15880 markings/sec, 245 secs
lola: 4101729 markings, 5084608 edges, 16045 markings/sec, 250 secs
lola: 4182105 markings, 5183437 edges, 16075 markings/sec, 255 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1489)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 86944 markings, 130420 edges, 17389 markings/sec, 0 secs
lola: 171843 markings, 263011 edges, 16980 markings/sec, 5 secs
lola: 252444 markings, 426434 edges, 16120 markings/sec, 10 secs
lola: 336655 markings, 580237 edges, 16842 markings/sec, 15 secs
lola: 420706 markings, 718347 edges, 16810 markings/sec, 20 secs
lola: 499550 markings, 887162 edges, 15769 markings/sec, 25 secs
lola: 582712 markings, 1045396 edges, 16632 markings/sec, 30 secs
lola: 667084 markings, 1169553 edges, 16874 markings/sec, 35 secs
lola: 746627 markings, 1316507 edges, 15909 markings/sec, 40 secs
lola: 827884 markings, 1495213 edges, 16251 markings/sec, 45 secs
lola: 912348 markings, 1632885 edges, 16893 markings/sec, 50 secs
lola: 987496 markings, 1799997 edges, 15030 markings/sec, 55 secs
lola: 1067945 markings, 1982378 edges, 16090 markings/sec, 60 secs
lola: 1150840 markings, 2120316 edges, 16579 markings/sec, 65 secs
lola: 1230225 markings, 2260667 edges, 15877 markings/sec, 70 secs
lola: 1307605 markings, 2439999 edges, 15476 markings/sec, 75 secs
lola: 1390100 markings, 2586519 edges, 16499 markings/sec, 80 secs
lola: 1472100 markings, 2720866 edges, 16400 markings/sec, 85 secs
lola: 1549214 markings, 2887088 edges, 15423 markings/sec, 90 secs
lola: 1629932 markings, 3052574 edges, 16144 markings/sec, 95 secs
lola: 1712342 markings, 3178223 edges, 16482 markings/sec, 100 secs
lola: 1788658 markings, 3339475 edges, 15263 markings/sec, 105 secs
lola: 1869816 markings, 3513073 edges, 16232 markings/sec, 110 secs
lola: 1953538 markings, 3642082 edges, 16744 markings/sec, 115 secs
lola: 2029926 markings, 3793660 edges, 15278 markings/sec, 120 secs
lola: 2111168 markings, 3969931 edges, 16248 markings/sec, 125 secs
lola: 2193811 markings, 4108943 edges, 16529 markings/sec, 130 secs
lola: 2274380 markings, 4246057 edges, 16114 markings/sec, 135 secs
lola: 2351810 markings, 4424356 edges, 15486 markings/sec, 140 secs
lola: 2434838 markings, 4572829 edges, 16606 markings/sec, 145 secs
lola: 2516613 markings, 4705636 edges, 16355 markings/sec, 150 secs
lola: 2593316 markings, 4871139 edges, 15341 markings/sec, 155 secs
lola: 2673582 markings, 5040015 edges, 16053 markings/sec, 160 secs
lola: 2757426 markings, 5168885 edges, 16769 markings/sec, 165 secs
lola: 2834821 markings, 5327432 edges, 15479 markings/sec, 170 secs
lola: 2915570 markings, 5503390 edges, 16150 markings/sec, 175 secs
lola: 2999590 markings, 5635555 edges, 16804 markings/sec, 180 secs
lola: 3076766 markings, 5784447 edges, 15435 markings/sec, 185 secs
lola: 3158088 markings, 5959743 edges, 16264 markings/sec, 190 secs
lola: 3252153 markings, 6070238 edges, 18813 markings/sec, 195 secs
lola: 3333485 markings, 6229363 edges, 16266 markings/sec, 200 secs
lola: 3419739 markings, 6377113 edges, 17251 markings/sec, 205 secs
lola: 3496647 markings, 6540297 edges, 15382 markings/sec, 210 secs
lola: 3581632 markings, 6648909 edges, 16997 markings/sec, 215 secs
lola: 3657325 markings, 6814888 edges, 15139 markings/sec, 220 secs
lola: 3736628 markings, 6993123 edges, 15861 markings/sec, 225 secs
lola: 3808894 markings, 7184407 edges, 14453 markings/sec, 230 secs
lola: 3890646 markings, 7326985 edges, 16350 markings/sec, 235 secs
lola: 3964561 markings, 7498250 edges, 14783 markings/sec, 240 secs
lola: 4046658 markings, 7640499 edges, 16419 markings/sec, 245 secs
lola: 4120301 markings, 7812212 edges, 14729 markings/sec, 250 secs
lola: 4202515 markings, 7953423 edges, 16443 markings/sec, 255 secs
lola: 4274986 markings, 8119178 edges, 14494 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p645)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 109064 markings, 132484 edges, 21813 markings/sec, 0 secs
lola: 217558 markings, 266067 edges, 21699 markings/sec, 5 secs
lola: 329825 markings, 383678 edges, 22453 markings/sec, 10 secs
lola: 439700 markings, 505914 edges, 21975 markings/sec, 15 secs
lola: 546530 markings, 638784 edges, 21366 markings/sec, 20 secs
lola: 647418 markings, 790639 edges, 20178 markings/sec, 25 secs
lola: 748856 markings, 947836 edges, 20288 markings/sec, 30 secs
lola: 855741 markings, 1085167 edges, 21377 markings/sec, 35 secs
lola: 964055 markings, 1221890 edges, 21663 markings/sec, 40 secs
lola: 1074342 markings, 1349532 edges, 22057 markings/sec, 45 secs
lola: 1186130 markings, 1468466 edges, 22358 markings/sec, 50 secs
lola: 1295600 markings, 1593689 edges, 21894 markings/sec, 55 secs
lola: 1401734 markings, 1727670 edges, 21227 markings/sec, 60 secs
lola: 1497715 markings, 1904219 edges, 19196 markings/sec, 65 secs
lola: 1604958 markings, 2037174 edges, 21449 markings/sec, 70 secs
lola: 1715665 markings, 2170243 edges, 22141 markings/sec, 75 secs
lola: 1826857 markings, 2297458 edges, 22238 markings/sec, 80 secs
lola: 1941445 markings, 2421039 edges, 22918 markings/sec, 85 secs
lola: 2051102 markings, 2553654 edges, 21931 markings/sec, 90 secs
lola: 2162952 markings, 2687228 edges, 22370 markings/sec, 95 secs
lola: 2272621 markings, 2822610 edges, 21934 markings/sec, 100 secs
lola: 2374360 markings, 2970485 edges, 20348 markings/sec, 105 secs
lola: 2484344 markings, 3097585 edges, 21997 markings/sec, 110 secs
lola: 2593794 markings, 3226311 edges, 21890 markings/sec, 115 secs
lola: 2705830 markings, 3349703 edges, 22407 markings/sec, 120 secs
lola: 2807791 markings, 3495818 edges, 20392 markings/sec, 125 secs
lola: 2912929 markings, 3633338 edges, 21028 markings/sec, 130 secs
lola: 3019162 markings, 3767421 edges, 21247 markings/sec, 135 secs
lola: 3129219 markings, 3889215 edges, 22011 markings/sec, 140 secs
lola: 3239658 markings, 4014095 edges, 22088 markings/sec, 145 secs
lola: 3346262 markings, 4143221 edges, 21321 markings/sec, 150 secs
lola: 3457645 markings, 4277150 edges, 22277 markings/sec, 155 secs
lola: 3567710 markings, 4410192 edges, 22013 markings/sec, 160 secs
lola: 3670948 markings, 4554595 edges, 20648 markings/sec, 165 secs
lola: 3778952 markings, 4685752 edges, 21601 markings/sec, 170 secs
lola: 3887447 markings, 4815119 edges, 21699 markings/sec, 175 secs
lola: 3998736 markings, 4939839 edges, 22258 markings/sec, 180 secs
lola: 4099709 markings, 5090933 edges, 20195 markings/sec, 185 secs
lola: 4207940 markings, 5221700 edges, 21646 markings/sec, 190 secs
lola: 4313646 markings, 5357270 edges, 21141 markings/sec, 195 secs
lola: 4424711 markings, 5482235 edges, 22213 markings/sec, 200 secs
lola: 4539008 markings, 5609125 edges, 22859 markings/sec, 205 secs
lola: 4645550 markings, 5751519 edges, 21308 markings/sec, 210 secs
lola: 4755325 markings, 5880807 edges, 21955 markings/sec, 215 secs
lola: 4864947 markings, 6002363 edges, 21924 markings/sec, 220 secs
lola: 4977278 markings, 6125600 edges, 22466 markings/sec, 225 secs
lola: 5090629 markings, 6252562 edges, 22670 markings/sec, 230 secs
lola: 5196185 markings, 6399102 edges, 21111 markings/sec, 235 secs
lola: 5305686 markings, 6531814 edges, 21900 markings/sec, 240 secs
lola: 5416866 markings, 6651838 edges, 22236 markings/sec, 245 secs
lola: 5526843 markings, 6776400 edges, 21995 markings/sec, 250 secs
lola: 5629230 markings, 6926219 edges, 20477 markings/sec, 255 secs
lola: 5737828 markings, 7051011 edges, 21720 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1374)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 105130 markings, 128374 edges, 21026 markings/sec, 0 secs
lola: 220366 markings, 263914 edges, 23047 markings/sec, 5 secs
lola: 325376 markings, 402465 edges, 21002 markings/sec, 10 secs
lola: 430867 markings, 536849 edges, 21098 markings/sec, 15 secs
lola: 545428 markings, 676344 edges, 22912 markings/sec, 20 secs
lola: 648683 markings, 808850 edges, 20651 markings/sec, 25 secs
lola: 760061 markings, 946700 edges, 22276 markings/sec, 30 secs
lola: 862974 markings, 1073290 edges, 20583 markings/sec, 35 secs
lola: 932190 markings, 1180067 edges, 13843 markings/sec, 40 secs
lola: 992081 markings, 1290067 edges, 11978 markings/sec, 45 secs
lola: 1046907 markings, 1397528 edges, 10965 markings/sec, 50 secs
lola: 1104112 markings, 1509844 edges, 11441 markings/sec, 55 secs
lola: 1190194 markings, 1622400 edges, 17216 markings/sec, 60 secs
lola: 1287627 markings, 1744263 edges, 19487 markings/sec, 65 secs
lola: 1417598 markings, 1893350 edges, 25994 markings/sec, 70 secs
lola: 1545672 markings, 2041260 edges, 25615 markings/sec, 75 secs
lola: 1674367 markings, 2189437 edges, 25739 markings/sec, 80 secs
lola: 1804299 markings, 2338703 edges, 25986 markings/sec, 85 secs
lola: 1934136 markings, 2487931 edges, 25967 markings/sec, 90 secs
lola: 2062307 markings, 2635802 edges, 25634 markings/sec, 95 secs
lola: 2189980 markings, 2782923 edges, 25535 markings/sec, 100 secs
lola: 2316874 markings, 2929246 edges, 25379 markings/sec, 105 secs
lola: 2441688 markings, 3073584 edges, 24963 markings/sec, 110 secs
lola: 2566210 markings, 3217521 edges, 24904 markings/sec, 115 secs
lola: 2689086 markings, 3359715 edges, 24575 markings/sec, 120 secs
lola: 2807738 markings, 3501122 edges, 23730 markings/sec, 125 secs
lola: 2917654 markings, 3640340 edges, 21983 markings/sec, 130 secs
lola: 3007359 markings, 3780591 edges, 17941 markings/sec, 135 secs
lola: 3110514 markings, 3911966 edges, 20631 markings/sec, 140 secs
lola: 3214225 markings, 4043917 edges, 20742 markings/sec, 145 secs
lola: 3327284 markings, 4177874 edges, 22612 markings/sec, 150 secs
lola: 3426424 markings, 4316084 edges, 19828 markings/sec, 155 secs
lola: 3538147 markings, 4455379 edges, 22345 markings/sec, 160 secs
lola: 3638890 markings, 4584740 edges, 20149 markings/sec, 165 secs
lola: 3748038 markings, 4717509 edges, 21830 markings/sec, 170 secs
lola: 3860836 markings, 4851830 edges, 22560 markings/sec, 175 secs
lola: 3963065 markings, 4987521 edges, 20446 markings/sec, 180 secs
lola: 4076405 markings, 5125777 edges, 22668 markings/sec, 185 secs
lola: 4178436 markings, 5255982 edges, 20406 markings/sec, 190 secs
lola: 4283841 markings, 5389513 edges, 21081 markings/sec, 195 secs
lola: 4396605 markings, 5527764 edges, 22553 markings/sec, 200 secs
lola: 4500992 markings, 5657987 edges, 20877 markings/sec, 205 secs
lola: 4576333 markings, 5760456 edges, 15068 markings/sec, 210 secs
lola: 4637213 markings, 5870455 edges, 12176 markings/sec, 215 secs
lola: 4691526 markings, 5986823 edges, 10863 markings/sec, 220 secs
lola: 4746380 markings, 6093428 edges, 10971 markings/sec, 225 secs
lola: 4828974 markings, 6206839 edges, 16519 markings/sec, 230 secs
lola: 4917901 markings, 6320854 edges, 17785 markings/sec, 235 secs
lola: 5047154 markings, 6469220 edges, 25851 markings/sec, 240 secs
lola: 5175016 markings, 6616271 edges, 25572 markings/sec, 245 secs
lola: 5298278 markings, 6758729 edges, 24652 markings/sec, 250 secs
lola: 5426403 markings, 6905899 edges, 25625 markings/sec, 255 secs
lola: 5553299 markings, 7051682 edges, 25379 markings/sec, 260 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudDeployment-PT-6b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496442978284

--------------------
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="S_CloudDeployment-PT-6b"
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/S_CloudDeployment-PT-6b.tgz
mv S_CloudDeployment-PT-6b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_CloudDeployment-PT-6b, 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 r098-ebro-149488455400047"
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 ;