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 CloudDeployment-PT-7a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308800056
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494616466374


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CloudDeployment-PT-7a @ 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: 1438/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 264 places, 1174 transitions, 222 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1029 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-7a-UpperBounds.task
lola: MAX(p11) : MAX(p35) : MAX(p113) : MAX(p223) : MAX(p125) : MAX(p137) : MAX(p262) : MAX(p178) : MAX(p215) : MAX(p83) : MAX(p181) : MAX(p194) : MAX(p180) : MAX(p172) : MAX(p52) : MAX(p39)
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(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 39422 markings, 962311 edges, 7884 markings/sec, 0 secs
lola: 56670 markings, 2834444 edges, 3450 markings/sec, 5 secs
lola: 78455 markings, 4795555 edges, 4357 markings/sec, 10 secs
lola: 99682 markings, 6714305 edges, 4245 markings/sec, 15 secs
lola: 122885 markings, 8599660 edges, 4641 markings/sec, 20 secs
lola: 144740 markings, 10557026 edges, 4371 markings/sec, 25 secs
lola: 180559 markings, 11594650 edges, 7164 markings/sec, 30 secs
lola: 214678 markings, 12675638 edges, 6824 markings/sec, 35 secs
lola: 242987 markings, 13967320 edges, 5662 markings/sec, 40 secs
lola: 258112 markings, 15720609 edges, 3025 markings/sec, 45 secs
lola: 265666 markings, 18007535 edges, 1511 markings/sec, 50 secs
lola: 271210 markings, 20600641 edges, 1109 markings/sec, 55 secs
lola: 276882 markings, 23297255 edges, 1134 markings/sec, 60 secs
lola: 282648 markings, 26005573 edges, 1153 markings/sec, 65 secs
lola: 288558 markings, 28803564 edges, 1182 markings/sec, 70 secs
lola: 294591 markings, 31705760 edges, 1207 markings/sec, 75 secs
lola: 331146 markings, 32869337 edges, 7311 markings/sec, 80 secs
lola: 351344 markings, 35004560 edges, 4040 markings/sec, 85 secs
lola: 371883 markings, 37068173 edges, 4108 markings/sec, 90 secs
lola: 389150 markings, 39062706 edges, 3453 markings/sec, 95 secs
lola: 428703 markings, 40005426 edges, 7911 markings/sec, 100 secs
lola: 465980 markings, 41021614 edges, 7455 markings/sec, 105 secs
lola: 496327 markings, 42319393 edges, 6069 markings/sec, 110 secs
lola: 513820 markings, 44105174 edges, 3499 markings/sec, 115 secs
lola: 522131 markings, 46455148 edges, 1662 markings/sec, 120 secs
lola: 528194 markings, 49240527 edges, 1213 markings/sec, 125 secs
lola: 534128 markings, 52017102 edges, 1187 markings/sec, 130 secs
lola: 539928 markings, 54796249 edges, 1160 markings/sec, 135 secs
lola: 545838 markings, 57696355 edges, 1182 markings/sec, 140 secs
lola: 551652 markings, 60556693 edges, 1163 markings/sec, 145 secs
lola: 577578 markings, 62046629 edges, 5185 markings/sec, 150 secs
lola: 603132 markings, 63602495 edges, 5111 markings/sec, 155 secs
lola: 621370 markings, 65489069 edges, 3648 markings/sec, 160 secs
lola: 658513 markings, 66386632 edges, 7429 markings/sec, 165 secs
lola: 692333 markings, 67376131 edges, 6764 markings/sec, 170 secs
lola: 722467 markings, 68475658 edges, 6027 markings/sec, 175 secs
lola: 739169 markings, 70018747 edges, 3340 markings/sec, 180 secs
lola: 747767 markings, 71911992 edges, 1720 markings/sec, 185 secs
lola: 752645 markings, 74174989 edges, 976 markings/sec, 190 secs
lola: 757586 markings, 76494269 edges, 988 markings/sec, 195 secs
lola: 762492 markings, 78864593 edges, 981 markings/sec, 200 secs
lola: 767504 markings, 81284627 edges, 1002 markings/sec, 205 secs
lola: 772591 markings, 83766284 edges, 1017 markings/sec, 210 secs
lola: 777840 markings, 86344094 edges, 1050 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(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 27293 markings, 1256167 edges, 5459 markings/sec, 0 secs
lola: 43406 markings, 3270863 edges, 3223 markings/sec, 5 secs
lola: 64161 markings, 5339928 edges, 4151 markings/sec, 10 secs
lola: 83083 markings, 7493576 edges, 3784 markings/sec, 15 secs
lola: 101886 markings, 9605841 edges, 3761 markings/sec, 20 secs
lola: 125597 markings, 10972606 edges, 4742 markings/sec, 25 secs
lola: 149974 markings, 12201026 edges, 4875 markings/sec, 30 secs
lola: 172131 markings, 13532969 edges, 4431 markings/sec, 35 secs
lola: 190792 markings, 15093598 edges, 3732 markings/sec, 40 secs
lola: 217401 markings, 16806689 edges, 5322 markings/sec, 45 secs
lola: 245915 markings, 18513121 edges, 5703 markings/sec, 50 secs
lola: 267081 markings, 20553094 edges, 4233 markings/sec, 55 secs
lola: 274270 markings, 23170642 edges, 1438 markings/sec, 60 secs
lola: 278656 markings, 25883247 edges, 877 markings/sec, 65 secs
lola: 283041 markings, 28694827 edges, 877 markings/sec, 70 secs
lola: 287506 markings, 31600639 edges, 893 markings/sec, 75 secs
lola: 311556 markings, 33315104 edges, 4810 markings/sec, 80 secs
lola: 330698 markings, 35303095 edges, 3828 markings/sec, 85 secs
lola: 349644 markings, 37288607 edges, 3789 markings/sec, 90 secs
lola: 369550 markings, 39391412 edges, 3981 markings/sec, 95 secs
lola: 395097 markings, 40568175 edges, 5109 markings/sec, 100 secs
lola: 418644 markings, 41864222 edges, 4709 markings/sec, 105 secs
lola: 436624 markings, 43561633 edges, 3596 markings/sec, 110 secs
lola: 464317 markings, 45300450 edges, 5539 markings/sec, 115 secs
lola: 494411 markings, 47044257 edges, 6019 markings/sec, 120 secs
lola: 515857 markings, 49213998 edges, 4289 markings/sec, 125 secs
lola: 523077 markings, 51985676 edges, 1444 markings/sec, 130 secs
lola: 527518 markings, 54864329 edges, 888 markings/sec, 135 secs
lola: 531830 markings, 57739773 edges, 862 markings/sec, 140 secs
lola: 537526 markings, 60687289 edges, 1139 markings/sec, 145 secs
lola: 560060 markings, 62213512 edges, 4507 markings/sec, 150 secs
lola: 578432 markings, 63873257 edges, 3674 markings/sec, 155 secs
lola: 594912 markings, 65698073 edges, 3296 markings/sec, 160 secs
lola: 619506 markings, 66753887 edges, 4919 markings/sec, 165 secs
lola: 641251 markings, 67939802 edges, 4349 markings/sec, 170 secs
lola: 659153 markings, 69332365 edges, 3580 markings/sec, 175 secs
lola: 681005 markings, 70914693 edges, 4370 markings/sec, 180 secs
lola: 707523 markings, 72473053 edges, 5304 markings/sec, 185 secs
lola: 733523 markings, 74042859 edges, 5200 markings/sec, 190 secs
lola: 745789 markings, 76204531 edges, 2453 markings/sec, 195 secs
lola: 750354 markings, 78528775 edges, 913 markings/sec, 200 secs
lola: 753996 markings, 80897188 edges, 728 markings/sec, 205 secs
lola: 757627 markings, 83336465 edges, 726 markings/sec, 210 secs
lola: 761365 markings, 85864053 edges, 748 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(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 22727 markings, 1646189 edges, 4545 markings/sec, 0 secs
lola: 45473 markings, 3583243 edges, 4549 markings/sec, 5 secs
lola: 63224 markings, 5774030 edges, 3550 markings/sec, 10 secs
lola: 85581 markings, 7597948 edges, 4471 markings/sec, 15 secs
lola: 107013 markings, 9426421 edges, 4286 markings/sec, 20 secs
lola: 130123 markings, 11061312 edges, 4622 markings/sec, 25 secs
lola: 152950 markings, 12844240 edges, 4565 markings/sec, 30 secs
lola: 172587 markings, 14657830 edges, 3927 markings/sec, 35 secs
lola: 182427 markings, 16659202 edges, 1968 markings/sec, 40 secs
lola: 197191 markings, 18662068 edges, 2953 markings/sec, 45 secs
lola: 227481 markings, 20635941 edges, 6058 markings/sec, 50 secs
lola: 236804 markings, 22599776 edges, 1865 markings/sec, 55 secs
lola: 243159 markings, 25348765 edges, 1271 markings/sec, 60 secs
lola: 250609 markings, 28202257 edges, 1490 markings/sec, 65 secs
lola: 271307 markings, 30379418 edges, 4140 markings/sec, 70 secs
lola: 289971 markings, 32604917 edges, 3733 markings/sec, 75 secs
lola: 307747 markings, 34478707 edges, 3555 markings/sec, 80 secs
lola: 328293 markings, 36443412 edges, 4109 markings/sec, 85 secs
lola: 353784 markings, 38238543 edges, 5098 markings/sec, 90 secs
lola: 377160 markings, 39901249 edges, 4675 markings/sec, 95 secs
lola: 397835 markings, 41571112 edges, 4135 markings/sec, 100 secs
lola: 416016 markings, 43346169 edges, 3636 markings/sec, 105 secs
lola: 443589 markings, 45295920 edges, 5515 markings/sec, 110 secs
lola: 453328 markings, 47306026 edges, 1948 markings/sec, 115 secs
lola: 475322 markings, 49273275 edges, 4399 markings/sec, 120 secs
lola: 485639 markings, 51248357 edges, 2063 markings/sec, 125 secs
lola: 491757 markings, 53752613 edges, 1224 markings/sec, 130 secs
lola: 499155 markings, 56603407 edges, 1480 markings/sec, 135 secs
lola: 516266 markings, 58916247 edges, 3422 markings/sec, 140 secs
lola: 543378 markings, 60552488 edges, 5422 markings/sec, 145 secs
lola: 566791 markings, 62516491 edges, 4683 markings/sec, 150 secs
lola: 590370 markings, 64152657 edges, 4716 markings/sec, 155 secs
lola: 608674 markings, 65981522 edges, 3661 markings/sec, 160 secs
lola: 632121 markings, 67521941 edges, 4689 markings/sec, 165 secs
lola: 656790 markings, 69119656 edges, 4934 markings/sec, 170 secs
lola: 678602 markings, 70785710 edges, 4362 markings/sec, 175 secs
lola: 690073 markings, 72561172 edges, 2294 markings/sec, 180 secs
lola: 700089 markings, 74394311 edges, 2003 markings/sec, 185 secs
lola: 728482 markings, 76218744 edges, 5679 markings/sec, 190 secs
lola: 737977 markings, 78133629 edges, 1899 markings/sec, 195 secs
lola: 743022 markings, 80324196 edges, 1009 markings/sec, 200 secs
lola: 749071 markings, 82851143 edges, 1210 markings/sec, 205 secs
lola: 756206 markings, 85498965 edges, 1427 markings/sec, 210 secs
lola: 783474 markings, 87179732 edges, 5454 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(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 46123 markings, 1779713 edges, 9225 markings/sec, 0 secs
lola: 86481 markings, 3844542 edges, 8072 markings/sec, 5 secs
lola: 119742 markings, 5807233 edges, 6652 markings/sec, 10 secs
lola: 167496 markings, 7366089 edges, 9551 markings/sec, 15 secs
lola: 202998 markings, 9461835 edges, 7100 markings/sec, 20 secs
lola: 254533 markings, 10991523 edges, 10307 markings/sec, 25 secs
lola: 304388 markings, 12752000 edges, 9971 markings/sec, 30 secs
lola: 341213 markings, 14625119 edges, 7365 markings/sec, 35 secs
lola: 362461 markings, 16617430 edges, 4250 markings/sec, 40 secs
lola: 386994 markings, 18644295 edges, 4907 markings/sec, 45 secs
lola: 451173 markings, 20560193 edges, 12836 markings/sec, 50 secs
lola: 471026 markings, 22533606 edges, 3971 markings/sec, 55 secs
lola: 480817 markings, 25176742 edges, 1958 markings/sec, 60 secs
lola: 497891 markings, 28049383 edges, 3415 markings/sec, 65 secs
lola: 526003 markings, 30467533 edges, 5622 markings/sec, 70 secs
lola: 568241 markings, 32084582 edges, 8448 markings/sec, 75 secs
lola: 603727 markings, 33825986 edges, 7097 markings/sec, 80 secs
lola: 641331 markings, 35726224 edges, 7521 markings/sec, 85 secs
lola: 665535 markings, 37872790 edges, 4841 markings/sec, 90 secs
lola: 693794 markings, 40308029 edges, 5652 markings/sec, 95 secs
lola: 746753 markings, 42117531 edges, 10592 markings/sec, 100 secs
lola: 779989 markings, 44036700 edges, 6647 markings/sec, 105 secs
lola: 824707 markings, 46141590 edges, 8944 markings/sec, 110 secs
lola: 841301 markings, 48775195 edges, 3319 markings/sec, 115 secs
lola: 875208 markings, 50852755 edges, 6781 markings/sec, 120 secs
lola: 912349 markings, 53081423 edges, 7428 markings/sec, 125 secs
lola: 947407 markings, 55207040 edges, 7012 markings/sec, 130 secs
lola: 986088 markings, 57170883 edges, 7736 markings/sec, 135 secs
lola: 1018222 markings, 59369398 edges, 6427 markings/sec, 140 secs
lola: 1053257 markings, 61417040 edges, 7007 markings/sec, 145 secs
lola: 1093935 markings, 63359632 edges, 8136 markings/sec, 150 secs
lola: 1125261 markings, 65467886 edges, 6265 markings/sec, 155 secs
lola: 1157071 markings, 67481712 edges, 6362 markings/sec, 160 secs
lola: 1194279 markings, 69285435 edges, 7442 markings/sec, 165 secs
lola: 1227349 markings, 71118358 edges, 6614 markings/sec, 170 secs
lola: 1263895 markings, 73078388 edges, 7309 markings/sec, 175 secs
lola: 1295707 markings, 75135449 edges, 6362 markings/sec, 180 secs
lola: 1326638 markings, 77175286 edges, 6186 markings/sec, 185 secs
lola: 1365527 markings, 79085429 edges, 7778 markings/sec, 190 secs
lola: 1399167 markings, 80835509 edges, 6728 markings/sec, 195 secs
lola: 1437650 markings, 82555793 edges, 7697 markings/sec, 200 secs
lola: 1472153 markings, 84310563 edges, 6901 markings/sec, 205 secs
lola: 1506186 markings, 86358535 edges, 6807 markings/sec, 210 secs
lola: 1556720 markings, 87845258 edges, 10107 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(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 37109 markings, 1026617 edges, 7422 markings/sec, 0 secs
lola: 53278 markings, 3230784 edges, 3234 markings/sec, 5 secs
lola: 73600 markings, 5216980 edges, 4064 markings/sec, 10 secs
lola: 95212 markings, 6862091 edges, 4322 markings/sec, 15 secs
lola: 115372 markings, 8643872 edges, 4032 markings/sec, 20 secs
lola: 137800 markings, 10481088 edges, 4486 markings/sec, 25 secs
lola: 172198 markings, 11473074 edges, 6880 markings/sec, 30 secs
lola: 205374 markings, 12500582 edges, 6635 markings/sec, 35 secs
lola: 233424 markings, 13720811 edges, 5610 markings/sec, 40 secs
lola: 248639 markings, 15460143 edges, 3043 markings/sec, 45 secs
lola: 256723 markings, 17659506 edges, 1617 markings/sec, 50 secs
lola: 263272 markings, 20146564 edges, 1310 markings/sec, 55 secs
lola: 269896 markings, 22689410 edges, 1325 markings/sec, 60 secs
lola: 276654 markings, 25327190 edges, 1352 markings/sec, 65 secs
lola: 283488 markings, 28006106 edges, 1367 markings/sec, 70 secs
lola: 290456 markings, 30721128 edges, 1394 markings/sec, 75 secs
lola: 314889 markings, 32425305 edges, 4887 markings/sec, 80 secs
lola: 329306 markings, 34448557 edges, 2883 markings/sec, 85 secs
lola: 351072 markings, 36050433 edges, 4353 markings/sec, 90 secs
lola: 377637 markings, 37451784 edges, 5313 markings/sec, 95 secs
lola: 394278 markings, 39343899 edges, 3328 markings/sec, 100 secs
lola: 427746 markings, 40265157 edges, 6694 markings/sec, 105 secs
lola: 458326 markings, 41279862 edges, 6116 markings/sec, 110 secs
lola: 485318 markings, 42406162 edges, 5398 markings/sec, 115 secs
lola: 503082 markings, 43850168 edges, 3553 markings/sec, 120 secs
lola: 511210 markings, 45647290 edges, 1626 markings/sec, 125 secs
lola: 516885 markings, 47808664 edges, 1135 markings/sec, 130 secs
lola: 522530 markings, 50038257 edges, 1129 markings/sec, 135 secs
lola: 528316 markings, 52294744 edges, 1157 markings/sec, 140 secs
lola: 534151 markings, 54594790 edges, 1167 markings/sec, 145 secs
lola: 540160 markings, 56944459 edges, 1202 markings/sec, 150 secs
lola: 546199 markings, 59342162 edges, 1208 markings/sec, 155 secs
lola: 567308 markings, 61095112 edges, 4222 markings/sec, 160 secs
lola: 585746 markings, 63251035 edges, 3688 markings/sec, 165 secs
lola: 606230 markings, 65302169 edges, 4097 markings/sec, 170 secs
lola: 643199 markings, 66259230 edges, 7394 markings/sec, 175 secs
lola: 677411 markings, 67313720 edges, 6842 markings/sec, 180 secs
lola: 708388 markings, 68505177 edges, 6195 markings/sec, 185 secs
lola: 729701 markings, 70113527 edges, 4263 markings/sec, 190 secs
lola: 739167 markings, 72252406 edges, 1893 markings/sec, 195 secs
lola: 746255 markings, 74928255 edges, 1418 markings/sec, 200 secs
lola: 753252 markings, 77628402 edges, 1399 markings/sec, 205 secs
lola: 760283 markings, 80334534 edges, 1406 markings/sec, 210 secs
lola: 767381 markings, 83095175 edges, 1420 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 18114 markings, 2050356 edges, 3623 markings/sec, 0 secs
lola: 35288 markings, 3986759 edges, 3435 markings/sec, 5 secs
lola: 50481 markings, 5735043 edges, 3039 markings/sec, 10 secs
lola: 65794 markings, 7467354 edges, 3063 markings/sec, 15 secs
lola: 82034 markings, 9115053 edges, 3248 markings/sec, 20 secs
lola: 108518 markings, 10875311 edges, 5297 markings/sec, 25 secs
lola: 135057 markings, 12582914 edges, 5308 markings/sec, 30 secs
lola: 191442 markings, 14248608 edges, 11277 markings/sec, 35 secs
lola: 223212 markings, 15980394 edges, 6354 markings/sec, 40 secs
lola: 256940 markings, 17664181 edges, 6746 markings/sec, 45 secs
lola: 285652 markings, 19290480 edges, 5742 markings/sec, 50 secs
lola: 316959 markings, 20829870 edges, 6261 markings/sec, 55 secs
lola: 350683 markings, 22288110 edges, 6745 markings/sec, 60 secs
lola: 374049 markings, 23659298 edges, 4673 markings/sec, 65 secs
lola: 385391 markings, 25189534 edges, 2268 markings/sec, 70 secs
lola: 395974 markings, 26710031 edges, 2117 markings/sec, 75 secs
lola: 407002 markings, 28208384 edges, 2206 markings/sec, 80 secs
lola: 420760 markings, 29776573 edges, 2752 markings/sec, 85 secs
lola: 435082 markings, 31403502 edges, 2864 markings/sec, 90 secs
lola: 449547 markings, 33005003 edges, 2893 markings/sec, 95 secs
lola: 465009 markings, 34782829 edges, 3092 markings/sec, 100 secs
lola: 481950 markings, 36775902 edges, 3388 markings/sec, 105 secs
lola: 499434 markings, 38718007 edges, 3497 markings/sec, 110 secs
lola: 515189 markings, 40574281 edges, 3151 markings/sec, 115 secs
lola: 531188 markings, 42408949 edges, 3200 markings/sec, 120 secs
lola: 547514 markings, 44228196 edges, 3265 markings/sec, 125 secs
lola: 561781 markings, 45909800 edges, 2853 markings/sec, 130 secs
lola: 576370 markings, 47566479 edges, 2918 markings/sec, 135 secs
lola: 590632 markings, 49210658 edges, 2852 markings/sec, 140 secs
lola: 603917 markings, 50828637 edges, 2657 markings/sec, 145 secs
lola: 615995 markings, 52444871 edges, 2416 markings/sec, 150 secs
lola: 628447 markings, 54049324 edges, 2490 markings/sec, 155 secs
lola: 642236 markings, 55758276 edges, 2758 markings/sec, 160 secs
lola: 657822 markings, 57502342 edges, 3117 markings/sec, 165 secs
lola: 673600 markings, 59348247 edges, 3156 markings/sec, 170 secs
lola: 692938 markings, 61570196 edges, 3868 markings/sec, 175 secs
lola: 711778 markings, 63726107 edges, 3768 markings/sec, 180 secs
lola: 730001 markings, 65771342 edges, 3645 markings/sec, 185 secs
lola: 747506 markings, 67764997 edges, 3501 markings/sec, 190 secs
lola: 763292 markings, 69625401 edges, 3157 markings/sec, 195 secs
lola: 779334 markings, 71452561 edges, 3208 markings/sec, 200 secs
lola: 791841 markings, 73079245 edges, 2501 markings/sec, 205 secs
lola: 803495 markings, 74654910 edges, 2331 markings/sec, 210 secs
lola: 815721 markings, 76204843 edges, 2445 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(p262)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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 7 will run for 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p178)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 25421 markings, 1583929 edges, 5084 markings/sec, 0 secs
lola: 38924 markings, 3927993 edges, 2701 markings/sec, 5 secs
lola: 58342 markings, 6075912 edges, 3884 markings/sec, 10 secs
lola: 80322 markings, 7729698 edges, 4396 markings/sec, 15 secs
lola: 101249 markings, 9434325 edges, 4185 markings/sec, 20 secs
lola: 127603 markings, 10753980 edges, 5271 markings/sec, 25 secs
lola: 143156 markings, 12852618 edges, 3111 markings/sec, 30 secs
lola: 166847 markings, 14467189 edges, 4738 markings/sec, 35 secs
lola: 197042 markings, 15590138 edges, 6039 markings/sec, 40 secs
lola: 225687 markings, 16825757 edges, 5729 markings/sec, 45 secs
lola: 253206 markings, 18127174 edges, 5504 markings/sec, 50 secs
lola: 271659 markings, 20005398 edges, 3691 markings/sec, 55 secs
lola: 278135 markings, 22543569 edges, 1295 markings/sec, 60 secs
lola: 283987 markings, 25157333 edges, 1170 markings/sec, 65 secs
lola: 289702 markings, 27858797 edges, 1143 markings/sec, 70 secs
lola: 295446 markings, 30614757 edges, 1149 markings/sec, 75 secs
lola: 301365 markings, 33459112 edges, 1184 markings/sec, 80 secs
lola: 313608 markings, 35707412 edges, 2449 markings/sec, 85 secs
lola: 334118 markings, 37264320 edges, 4102 markings/sec, 90 secs
lola: 359724 markings, 38539826 edges, 5121 markings/sec, 95 secs
lola: 380612 markings, 40098319 edges, 4178 markings/sec, 100 secs
lola: 386256 markings, 42457013 edges, 1129 markings/sec, 105 secs
lola: 391616 markings, 44956575 edges, 1072 markings/sec, 110 secs
lola: 408701 markings, 46821583 edges, 3417 markings/sec, 115 secs
lola: 431238 markings, 48405764 edges, 4507 markings/sec, 120 secs
lola: 460249 markings, 49535235 edges, 5802 markings/sec, 125 secs
lola: 475355 markings, 51446146 edges, 3021 markings/sec, 130 secs
lola: 480763 markings, 53952949 edges, 1082 markings/sec, 135 secs
lola: 489280 markings, 56324456 edges, 1703 markings/sec, 140 secs
lola: 509012 markings, 57835877 edges, 3946 markings/sec, 145 secs
lola: 521146 markings, 59839932 edges, 2427 markings/sec, 150 secs
lola: 535270 markings, 61849344 edges, 2825 markings/sec, 155 secs
lola: 554182 markings, 63491221 edges, 3782 markings/sec, 160 secs
lola: 567389 markings, 65473715 edges, 2641 markings/sec, 165 secs
lola: 586314 markings, 67099177 edges, 3785 markings/sec, 170 secs
lola: 599654 markings, 69075720 edges, 2668 markings/sec, 175 secs
lola: 618870 markings, 70693161 edges, 3843 markings/sec, 180 secs
lola: 630264 markings, 72751342 edges, 2279 markings/sec, 185 secs
lola: 650322 markings, 74342461 edges, 4012 markings/sec, 190 secs
lola: 660225 markings, 76459819 edges, 1981 markings/sec, 195 secs
lola: 683552 markings, 78075984 edges, 4665 markings/sec, 200 secs
lola: 703191 markings, 79755781 edges, 3928 markings/sec, 205 secs
lola: 728347 markings, 81175695 edges, 5031 markings/sec, 210 secs
lola: 748183 markings, 82863720 edges, 3967 markings/sec, 215 secs
lola: 753911 markings, 85374983 edges, 1146 markings/sec, 220 secs
lola: 761106 markings, 87929026 edges, 1439 markings/sec, 225 secs
lola: 784348 markings, 89343797 edges, 4648 markings/sec, 230 secs
lola: 792905 markings, 91587506 edges, 1711 markings/sec, 235 secs
lola: 808824 markings, 93391501 edges, 3184 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 46426 markings, 1790116 edges, 9285 markings/sec, 0 secs
lola: 86978 markings, 3865566 edges, 8110 markings/sec, 5 secs
lola: 121441 markings, 5849068 edges, 6893 markings/sec, 10 secs
lola: 169149 markings, 7445212 edges, 9542 markings/sec, 15 secs
lola: 206304 markings, 9526484 edges, 7431 markings/sec, 20 secs
lola: 258121 markings, 11090005 edges, 10363 markings/sec, 25 secs
lola: 307300 markings, 12879466 edges, 9836 markings/sec, 30 secs
lola: 343053 markings, 14796668 edges, 7151 markings/sec, 35 secs
lola: 364596 markings, 16813124 edges, 4309 markings/sec, 40 secs
lola: 395354 markings, 18845049 edges, 6152 markings/sec, 45 secs
lola: 453551 markings, 20819352 edges, 11639 markings/sec, 50 secs
lola: 473478 markings, 22802729 edges, 3985 markings/sec, 55 secs
lola: 482900 markings, 25601976 edges, 1884 markings/sec, 60 secs
lola: 500528 markings, 28493714 edges, 3526 markings/sec, 65 secs
lola: 534601 markings, 30673711 edges, 6815 markings/sec, 70 secs
lola: 577061 markings, 32357785 edges, 8492 markings/sec, 75 secs
lola: 607258 markings, 34174933 edges, 6039 markings/sec, 80 secs
lola: 653882 markings, 36055085 edges, 9325 markings/sec, 85 secs
lola: 668048 markings, 38381505 edges, 2833 markings/sec, 90 secs
lola: 704583 markings, 40568754 edges, 7307 markings/sec, 95 secs
lola: 754984 markings, 42455474 edges, 10080 markings/sec, 100 secs
lola: 783630 markings, 44471863 edges, 5729 markings/sec, 105 secs
lola: 828634 markings, 46550140 edges, 9001 markings/sec, 110 secs
lola: 847695 markings, 49354007 edges, 3812 markings/sec, 115 secs
lola: 888174 markings, 51257035 edges, 8096 markings/sec, 120 secs
lola: 922294 markings, 53475290 edges, 6824 markings/sec, 125 secs
lola: 955184 markings, 55671570 edges, 6578 markings/sec, 130 secs
lola: 994960 markings, 57676174 edges, 7955 markings/sec, 135 secs
lola: 1030172 markings, 59854120 edges, 7042 markings/sec, 140 secs
lola: 1062932 markings, 62005607 edges, 6552 markings/sec, 145 secs
lola: 1102591 markings, 63976584 edges, 7932 markings/sec, 150 secs
lola: 1138438 markings, 66029328 edges, 7169 markings/sec, 155 secs
lola: 1166966 markings, 68152838 edges, 5706 markings/sec, 160 secs
lola: 1207787 markings, 69872240 edges, 8164 markings/sec, 165 secs
lola: 1239855 markings, 71865713 edges, 6414 markings/sec, 170 secs
lola: 1272631 markings, 73980367 edges, 6555 markings/sec, 175 secs
lola: 1309584 markings, 75847284 edges, 7391 markings/sec, 180 secs
lola: 1345555 markings, 77866424 edges, 7194 markings/sec, 185 secs
lola: 1379598 markings, 79812019 edges, 6809 markings/sec, 190 secs
lola: 1408926 markings, 81771122 edges, 5866 markings/sec, 195 secs
lola: 1451881 markings, 83349609 edges, 8591 markings/sec, 200 secs
lola: 1489436 markings, 85246607 edges, 7511 markings/sec, 205 secs
lola: 1531222 markings, 87044121 edges, 8357 markings/sec, 210 secs
lola: 1579348 markings, 88651468 edges, 9625 markings/sec, 215 secs
lola: 1633471 markings, 90450220 edges, 10825 markings/sec, 220 secs
lola: 1668501 markings, 92323923 edges, 7006 markings/sec, 225 secs
lola: 1688496 markings, 94299955 edges, 3999 markings/sec, 230 secs
lola: 1709280 markings, 96239670 edges, 4157 markings/sec, 235 secs
lola: 1773293 markings, 98117631 edges, 12803 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 18000 markings, 2029758 edges, 3600 markings/sec, 0 secs
lola: 34522 markings, 3912277 edges, 3304 markings/sec, 5 secs
lola: 49748 markings, 5637272 edges, 3045 markings/sec, 10 secs
lola: 63979 markings, 7266854 edges, 2846 markings/sec, 15 secs
lola: 77921 markings, 8852600 edges, 2788 markings/sec, 20 secs
lola: 106162 markings, 10627407 edges, 5648 markings/sec, 25 secs
lola: 132120 markings, 12425019 edges, 5192 markings/sec, 30 secs
lola: 182884 markings, 14006105 edges, 10153 markings/sec, 35 secs
lola: 218206 markings, 15656042 edges, 7064 markings/sec, 40 secs
lola: 248504 markings, 17320362 edges, 6060 markings/sec, 45 secs
lola: 279679 markings, 18870999 edges, 6235 markings/sec, 50 secs
lola: 306345 markings, 20381149 edges, 5333 markings/sec, 55 secs
lola: 334627 markings, 21817855 edges, 5656 markings/sec, 60 secs
lola: 371241 markings, 23299580 edges, 7323 markings/sec, 65 secs
lola: 388553 markings, 25178265 edges, 3462 markings/sec, 70 secs
lola: 404914 markings, 27144099 edges, 3272 markings/sec, 75 secs
lola: 419014 markings, 28863283 edges, 2820 markings/sec, 80 secs
lola: 431404 markings, 30525994 edges, 2478 markings/sec, 85 secs
lola: 443900 markings, 32199239 edges, 2499 markings/sec, 90 secs
lola: 457652 markings, 33853867 edges, 2750 markings/sec, 95 secs
lola: 476251 markings, 36121013 edges, 3720 markings/sec, 100 secs
lola: 495221 markings, 38291185 edges, 3794 markings/sec, 105 secs
lola: 513979 markings, 40418529 edges, 3752 markings/sec, 110 secs
lola: 532421 markings, 42459868 edges, 3688 markings/sec, 115 secs
lola: 549735 markings, 44529383 edges, 3463 markings/sec, 120 secs
lola: 566516 markings, 46376497 edges, 3356 markings/sec, 125 secs
lola: 582073 markings, 48227183 edges, 3111 markings/sec, 130 secs
lola: 597729 markings, 50027558 edges, 3131 markings/sec, 135 secs
lola: 612881 markings, 51776076 edges, 3030 markings/sec, 140 secs
lola: 628434 markings, 53514380 edges, 3111 markings/sec, 145 secs
lola: 642026 markings, 55168776 edges, 2718 markings/sec, 150 secs
lola: 653112 markings, 56650220 edges, 2217 markings/sec, 155 secs
lola: 664113 markings, 58115994 edges, 2200 markings/sec, 160 secs
lola: 676672 markings, 59704948 edges, 2512 markings/sec, 165 secs
lola: 695806 markings, 61930090 edges, 3827 markings/sec, 170 secs
lola: 714946 markings, 64062089 edges, 3828 markings/sec, 175 secs
lola: 733350 markings, 66131641 edges, 3681 markings/sec, 180 secs
lola: 750648 markings, 68208318 edges, 3460 markings/sec, 185 secs
lola: 767177 markings, 70045345 edges, 3306 markings/sec, 190 secs
lola: 782671 markings, 71874331 edges, 3099 markings/sec, 195 secs
lola: 797856 markings, 73604833 edges, 3037 markings/sec, 200 secs
lola: 813318 markings, 75260638 edges, 3092 markings/sec, 205 secs
lola: 827164 markings, 76954348 edges, 2769 markings/sec, 210 secs
lola: 838679 markings, 78436766 edges, 2303 markings/sec, 215 secs
lola: 849533 markings, 79850394 edges, 2171 markings/sec, 220 secs
lola: 860495 markings, 81243814 edges, 2192 markings/sec, 225 secs
lola: 874763 markings, 83072745 edges, 2854 markings/sec, 230 secs
lola: 893441 markings, 85167265 edges, 3736 markings/sec, 235 secs
lola: 911755 markings, 87208253 edges, 3663 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p181)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 34952 markings, 1157752 edges, 6990 markings/sec, 0 secs
lola: 51367 markings, 3369690 edges, 3283 markings/sec, 5 secs
lola: 75621 markings, 5048511 edges, 4851 markings/sec, 10 secs
lola: 94126 markings, 7071061 edges, 3701 markings/sec, 15 secs
lola: 115181 markings, 9034363 edges, 4211 markings/sec, 20 secs
lola: 132909 markings, 11107417 edges, 3546 markings/sec, 25 secs
lola: 153037 markings, 12911560 edges, 4026 markings/sec, 30 secs
lola: 188706 markings, 13893978 edges, 7134 markings/sec, 35 secs
lola: 220700 markings, 15013055 edges, 6399 markings/sec, 40 secs
lola: 249749 markings, 16223802 edges, 5810 markings/sec, 45 secs
lola: 265673 markings, 17959157 edges, 3185 markings/sec, 50 secs
lola: 273776 markings, 20167808 edges, 1621 markings/sec, 55 secs
lola: 280376 markings, 22694923 edges, 1320 markings/sec, 60 secs
lola: 287113 markings, 25299031 edges, 1347 markings/sec, 65 secs
lola: 294019 markings, 27986484 edges, 1381 markings/sec, 70 secs
lola: 301059 markings, 30707255 edges, 1408 markings/sec, 75 secs
lola: 308102 markings, 33472213 edges, 1409 markings/sec, 80 secs
lola: 338796 markings, 34832321 edges, 6139 markings/sec, 85 secs
lola: 366233 markings, 36226441 edges, 5487 markings/sec, 90 secs
lola: 384158 markings, 38257729 edges, 3585 markings/sec, 95 secs
lola: 404762 markings, 40268462 edges, 4121 markings/sec, 100 secs
lola: 422017 markings, 42272500 edges, 3451 markings/sec, 105 secs
lola: 441814 markings, 44306351 edges, 3959 markings/sec, 110 secs
lola: 477822 markings, 45296288 edges, 7202 markings/sec, 115 secs
lola: 512283 markings, 46334250 edges, 6892 markings/sec, 120 secs
lola: 543031 markings, 47529754 edges, 6150 markings/sec, 125 secs
lola: 560441 markings, 49270520 edges, 3482 markings/sec, 130 secs
lola: 569425 markings, 51448913 edges, 1797 markings/sec, 135 secs
lola: 576496 markings, 54154956 edges, 1414 markings/sec, 140 secs
lola: 583410 markings, 56845629 edges, 1383 markings/sec, 145 secs
lola: 590532 markings, 59607091 edges, 1424 markings/sec, 150 secs
lola: 597651 markings, 62351460 edges, 1424 markings/sec, 155 secs
lola: 604776 markings, 65141899 edges, 1425 markings/sec, 160 secs
lola: 633761 markings, 66529769 edges, 5797 markings/sec, 165 secs
lola: 647606 markings, 68446683 edges, 2769 markings/sec, 170 secs
lola: 665062 markings, 70282230 edges, 3491 markings/sec, 175 secs
lola: 685902 markings, 71955318 edges, 4168 markings/sec, 180 secs
lola: 711554 markings, 73439972 edges, 5130 markings/sec, 185 secs
lola: 745708 markings, 74372246 edges, 6831 markings/sec, 190 secs
lola: 776350 markings, 75422461 edges, 6128 markings/sec, 195 secs
lola: 802054 markings, 76639951 edges, 5141 markings/sec, 200 secs
lola: 815753 markings, 78289316 edges, 2740 markings/sec, 205 secs
lola: 823182 markings, 80285110 edges, 1486 markings/sec, 210 secs
lola: 829099 markings, 82569541 edges, 1183 markings/sec, 215 secs
lola: 835101 markings, 84918626 edges, 1200 markings/sec, 220 secs
lola: 841144 markings, 87295239 edges, 1209 markings/sec, 225 secs
lola: 847315 markings, 89702501 edges, 1234 markings/sec, 230 secs
lola: 853600 markings, 92178414 edges, 1257 markings/sec, 235 secs
lola: 861250 markings, 94626142 edges, 1530 markings/sec, 240 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(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 17905 markings, 2019544 edges, 3581 markings/sec, 0 secs
lola: 34422 markings, 3902979 edges, 3303 markings/sec, 5 secs
lola: 49229 markings, 5591216 edges, 2961 markings/sec, 10 secs
lola: 64057 markings, 7272059 edges, 2966 markings/sec, 15 secs
lola: 78297 markings, 8909910 edges, 2848 markings/sec, 20 secs
lola: 106227 markings, 10633773 edges, 5586 markings/sec, 25 secs
lola: 130061 markings, 12313535 edges, 4767 markings/sec, 30 secs
lola: 179860 markings, 13923470 edges, 9960 markings/sec, 35 secs
lola: 218674 markings, 15682860 edges, 7763 markings/sec, 40 secs
lola: 250829 markings, 17454414 edges, 6431 markings/sec, 45 secs
lola: 283739 markings, 19088872 edges, 6582 markings/sec, 50 secs
lola: 312556 markings, 20690002 edges, 5763 markings/sec, 55 secs
lola: 347284 markings, 22193916 edges, 6946 markings/sec, 60 secs
lola: 373293 markings, 23598739 edges, 5202 markings/sec, 65 secs
lola: 386235 markings, 25356317 edges, 2588 markings/sec, 70 secs
lola: 398877 markings, 27074206 edges, 2528 markings/sec, 75 secs
lola: 411535 markings, 28699746 edges, 2532 markings/sec, 80 secs
lola: 426581 markings, 30429194 edges, 3009 markings/sec, 85 secs
lola: 442541 markings, 32216212 edges, 3192 markings/sec, 90 secs
lola: 458275 markings, 34011858 edges, 3147 markings/sec, 95 secs
lola: 476332 markings, 36133942 edges, 3611 markings/sec, 100 secs
lola: 495381 markings, 38309864 edges, 3810 markings/sec, 105 secs
lola: 513042 markings, 40282091 edges, 3532 markings/sec, 110 secs
lola: 530761 markings, 42359210 edges, 3544 markings/sec, 115 secs
lola: 548739 markings, 44408028 edges, 3596 markings/sec, 120 secs
lola: 564361 markings, 46210224 edges, 3124 markings/sec, 125 secs
lola: 581305 markings, 48090631 edges, 3389 markings/sec, 130 secs
lola: 597257 markings, 49972238 edges, 3190 markings/sec, 135 secs
lola: 609501 markings, 51574692 edges, 2449 markings/sec, 140 secs
lola: 620988 markings, 53115570 edges, 2297 markings/sec, 145 secs
lola: 632508 markings, 54627228 edges, 2304 markings/sec, 150 secs
lola: 645908 markings, 56228370 edges, 2680 markings/sec, 155 secs
lola: 659980 markings, 57858417 edges, 2814 markings/sec, 160 secs
lola: 674060 markings, 59464861 edges, 2816 markings/sec, 165 secs
lola: 692180 markings, 61480368 edges, 3624 markings/sec, 170 secs
lola: 710066 markings, 63592884 edges, 3577 markings/sec, 175 secs
lola: 728121 markings, 65622560 edges, 3611 markings/sec, 180 secs
lola: 745323 markings, 67616461 edges, 3440 markings/sec, 185 secs
lola: 762513 markings, 69557048 edges, 3438 markings/sec, 190 secs
lola: 778191 markings, 71403421 edges, 3136 markings/sec, 195 secs
lola: 794899 markings, 73180038 edges, 3342 markings/sec, 200 secs
lola: 807623 markings, 74805572 edges, 2545 markings/sec, 205 secs
lola: 818186 markings, 76318267 edges, 2113 markings/sec, 210 secs
lola: 829033 markings, 77805038 edges, 2169 markings/sec, 215 secs
lola: 841305 markings, 79333088 edges, 2454 markings/sec, 220 secs
lola: 855157 markings, 80914538 edges, 2770 markings/sec, 225 secs
lola: 868817 markings, 82485312 edges, 2732 markings/sec, 230 secs
lola: 885215 markings, 84223748 edges, 3280 markings/sec, 235 secs
lola: 902299 markings, 86306917 edges, 3417 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 41542 markings, 841049 edges, 8308 markings/sec, 0 secs
lola: 65798 markings, 2702927 edges, 4851 markings/sec, 5 secs
lola: 86046 markings, 4670114 edges, 4050 markings/sec, 10 secs
lola: 104981 markings, 6565529 edges, 3787 markings/sec, 15 secs
lola: 132037 markings, 8207268 edges, 5411 markings/sec, 20 secs
lola: 160822 markings, 9749830 edges, 5757 markings/sec, 25 secs
lola: 178066 markings, 11766164 edges, 3449 markings/sec, 30 secs
lola: 197490 markings, 13819891 edges, 3885 markings/sec, 35 secs
lola: 233550 markings, 14879762 edges, 7212 markings/sec, 40 secs
lola: 267018 markings, 16046044 edges, 6694 markings/sec, 45 secs
lola: 291011 markings, 17571258 edges, 4799 markings/sec, 50 secs
lola: 300987 markings, 19610786 edges, 1995 markings/sec, 55 secs
lola: 307038 markings, 22259963 edges, 1210 markings/sec, 60 secs
lola: 312849 markings, 25014526 edges, 1162 markings/sec, 65 secs
lola: 318603 markings, 27743419 edges, 1151 markings/sec, 70 secs
lola: 324447 markings, 30471991 edges, 1169 markings/sec, 75 secs
lola: 330137 markings, 33256803 edges, 1138 markings/sec, 80 secs
lola: 351434 markings, 35127367 edges, 4259 markings/sec, 85 secs
lola: 370051 markings, 36964735 edges, 3723 markings/sec, 90 secs
lola: 389246 markings, 38699067 edges, 3839 markings/sec, 95 secs
lola: 408774 markings, 40395898 edges, 3906 markings/sec, 100 secs
lola: 423048 markings, 42316025 edges, 2855 markings/sec, 105 secs
lola: 439394 markings, 44288921 edges, 3269 markings/sec, 110 secs
lola: 475553 markings, 45258172 edges, 7232 markings/sec, 115 secs
lola: 509549 markings, 46286025 edges, 6799 markings/sec, 120 secs
lola: 539803 markings, 47427635 edges, 6051 markings/sec, 125 secs
lola: 560593 markings, 48898979 edges, 4158 markings/sec, 130 secs
lola: 569309 markings, 50787162 edges, 1743 markings/sec, 135 secs
lola: 574523 markings, 53131705 edges, 1043 markings/sec, 140 secs
lola: 579583 markings, 55529041 edges, 1012 markings/sec, 145 secs
lola: 584684 markings, 57961859 edges, 1020 markings/sec, 150 secs
lola: 589860 markings, 60458889 edges, 1035 markings/sec, 155 secs
lola: 595174 markings, 62983769 edges, 1063 markings/sec, 160 secs
lola: 600495 markings, 65537145 edges, 1064 markings/sec, 165 secs
lola: 627693 markings, 66928682 edges, 5440 markings/sec, 170 secs
lola: 647090 markings, 68703401 edges, 3879 markings/sec, 175 secs
lola: 672733 markings, 70061984 edges, 5129 markings/sec, 180 secs
lola: 689066 markings, 71909865 edges, 3267 markings/sec, 185 secs
lola: 712958 markings, 73464756 edges, 4778 markings/sec, 190 secs
lola: 747295 markings, 74455829 edges, 6867 markings/sec, 195 secs
lola: 778813 markings, 75524145 edges, 6304 markings/sec, 200 secs
lola: 802746 markings, 76833948 edges, 4787 markings/sec, 205 secs
lola: 813060 markings, 78606091 edges, 2063 markings/sec, 210 secs
lola: 819038 markings, 80721018 edges, 1196 markings/sec, 215 secs
lola: 823898 markings, 83010022 edges, 972 markings/sec, 220 secs
lola: 828834 markings, 85383562 edges, 987 markings/sec, 225 secs
lola: 833785 markings, 87753602 edges, 990 markings/sec, 230 secs
lola: 838818 markings, 90178827 edges, 1007 markings/sec, 235 secs
lola: 843884 markings, 92620902 edges, 1013 markings/sec, 240 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(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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 14 will run for 369 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 18243 markings, 2039293 edges, 3649 markings/sec, 0 secs
lola: 34636 markings, 3899807 edges, 3279 markings/sec, 5 secs
lola: 50034 markings, 5620942 edges, 3080 markings/sec, 10 secs
lola: 64975 markings, 7310917 edges, 2988 markings/sec, 15 secs
lola: 79581 markings, 8899249 edges, 2921 markings/sec, 20 secs
lola: 106050 markings, 10532366 edges, 5294 markings/sec, 25 secs
lola: 127962 markings, 12117991 edges, 4382 markings/sec, 30 secs
lola: 153389 markings, 13733127 edges, 5085 markings/sec, 35 secs
lola: 170525 markings, 15774605 edges, 3427 markings/sec, 40 secs
lola: 188563 markings, 17705492 edges, 3608 markings/sec, 45 secs
lola: 203573 markings, 19547790 edges, 3002 markings/sec, 50 secs
lola: 220196 markings, 21460451 edges, 3325 markings/sec, 55 secs
lola: 237128 markings, 23340327 edges, 3386 markings/sec, 60 secs
lola: 254834 markings, 25422120 edges, 3541 markings/sec, 65 secs
lola: 273695 markings, 27581802 edges, 3772 markings/sec, 70 secs
lola: 292309 markings, 29685047 edges, 3723 markings/sec, 75 secs
lola: 309930 markings, 31726218 edges, 3524 markings/sec, 80 secs
lola: 327773 markings, 33728843 edges, 3569 markings/sec, 85 secs
lola: 344200 markings, 35639552 edges, 3285 markings/sec, 90 secs
lola: 360410 markings, 37394538 edges, 3242 markings/sec, 95 secs
lola: 375164 markings, 39178748 edges, 2951 markings/sec, 100 secs
lola: 389895 markings, 40862496 edges, 2946 markings/sec, 105 secs
lola: 404710 markings, 42576732 edges, 2963 markings/sec, 110 secs
lola: 420141 markings, 44251360 edges, 3086 markings/sec, 115 secs
lola: 434677 markings, 45943979 edges, 2907 markings/sec, 120 secs
lola: 448927 markings, 47591862 edges, 2850 markings/sec, 125 secs
lola: 462864 markings, 49227310 edges, 2787 markings/sec, 130 secs
lola: 481339 markings, 51330142 edges, 3695 markings/sec, 135 secs
lola: 500414 markings, 53456150 edges, 3815 markings/sec, 140 secs
lola: 518590 markings, 55518247 edges, 3635 markings/sec, 145 secs
lola: 535921 markings, 57571150 edges, 3466 markings/sec, 150 secs
lola: 552583 markings, 59446674 edges, 3332 markings/sec, 155 secs
lola: 567450 markings, 61180418 edges, 2973 markings/sec, 160 secs
lola: 582610 markings, 62924496 edges, 3032 markings/sec, 165 secs
lola: 596458 markings, 64521131 edges, 2770 markings/sec, 170 secs
lola: 610868 markings, 66094756 edges, 2882 markings/sec, 175 secs
lola: 625030 markings, 67673239 edges, 2832 markings/sec, 180 secs
lola: 638266 markings, 69235410 edges, 2647 markings/sec, 185 secs
lola: 651761 markings, 70782063 edges, 2699 markings/sec, 190 secs
lola: 665402 markings, 72390731 edges, 2728 markings/sec, 195 secs
lola: 683714 markings, 74380585 edges, 3662 markings/sec, 200 secs
lola: 700559 markings, 76420942 edges, 3369 markings/sec, 205 secs
lola: 717667 markings, 78332202 edges, 3422 markings/sec, 210 secs
lola: 733874 markings, 80229591 edges, 3241 markings/sec, 215 secs
lola: 749760 markings, 81983948 edges, 3177 markings/sec, 220 secs
lola: 763941 markings, 83663538 edges, 2836 markings/sec, 225 secs
lola: 778273 markings, 85312561 edges, 2866 markings/sec, 230 secs
lola: 791962 markings, 86882361 edges, 2738 markings/sec, 235 secs
lola: 805508 markings, 88436840 edges, 2709 markings/sec, 240 secs
lola: 818973 markings, 89975469 edges, 2693 markings/sec, 245 secs
lola: 832320 markings, 91506095 edges, 2669 markings/sec, 250 secs
lola: 845476 markings, 93007270 edges, 2631 markings/sec, 255 secs
lola: 858425 markings, 94486383 edges, 2590 markings/sec, 260 secs
lola: 875601 markings, 96391672 edges, 3435 markings/sec, 265 secs
lola: 892402 markings, 98373511 edges, 3360 markings/sec, 270 secs
lola: 909391 markings, 100276185 edges, 3398 markings/sec, 275 secs
lola: 925282 markings, 102137373 edges, 3178 markings/sec, 280 secs
lola: 941486 markings, 103931738 edges, 3241 markings/sec, 285 secs
lola: 955560 markings, 105570182 edges, 2815 markings/sec, 290 secs
lola: 969486 markings, 107191019 edges, 2785 markings/sec, 295 secs
lola: 983114 markings, 108753436 edges, 2726 markings/sec, 300 secs
lola: 996316 markings, 110265957 edges, 2640 markings/sec, 305 secs
lola: 1009448 markings, 111761269 edges, 2626 markings/sec, 310 secs
lola: 1022416 markings, 113257201 edges, 2594 markings/sec, 315 secs
lola: 1035210 markings, 114716237 edges, 2559 markings/sec, 320 secs
lola: 1048042 markings, 116154518 edges, 2566 markings/sec, 325 secs
lola: 1061437 markings, 117706405 edges, 2679 markings/sec, 330 secs
lola: 1079009 markings, 119587201 edges, 3514 markings/sec, 335 secs
lola: 1094711 markings, 121530317 edges, 3140 markings/sec, 340 secs
lola: 1111374 markings, 123320898 edges, 3333 markings/sec, 345 secs
lola: 1126547 markings, 125146959 edges, 3035 markings/sec, 350 secs
lola: 1141292 markings, 126858928 edges, 2949 markings/sec, 355 secs
lola: 1155115 markings, 128437227 edges, 2765 markings/sec, 360 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 369 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 2 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: 40490 markings, 1007761 edges, 8098 markings/sec, 0 secs
lola: 57098 markings, 3025066 edges, 3322 markings/sec, 5 secs
lola: 79038 markings, 5048148 edges, 4388 markings/sec, 10 secs
lola: 100579 markings, 7050538 edges, 4308 markings/sec, 15 secs
lola: 124461 markings, 8907902 edges, 4776 markings/sec, 20 secs
lola: 150354 markings, 10700911 edges, 5179 markings/sec, 25 secs
lola: 185764 markings, 11761000 edges, 7082 markings/sec, 30 secs
lola: 220047 markings, 12848579 edges, 6857 markings/sec, 35 secs
lola: 246947 markings, 14186982 edges, 5380 markings/sec, 40 secs
lola: 259705 markings, 16057529 edges, 2552 markings/sec, 45 secs
lola: 266599 markings, 18434945 edges, 1379 markings/sec, 50 secs
lola: 272250 markings, 21082517 edges, 1130 markings/sec, 55 secs
lola: 277996 markings, 23805952 edges, 1149 markings/sec, 60 secs
lola: 283788 markings, 26540591 edges, 1158 markings/sec, 65 secs
lola: 289835 markings, 29432832 edges, 1209 markings/sec, 70 secs
lola: 302860 markings, 31899409 edges, 2605 markings/sec, 75 secs
lola: 334657 markings, 33361626 edges, 6359 markings/sec, 80 secs
lola: 359519 markings, 35275158 edges, 4972 markings/sec, 85 secs
lola: 380019 markings, 37355029 edges, 4100 markings/sec, 90 secs
lola: 400371 markings, 39317919 edges, 4070 markings/sec, 95 secs
lola: 439392 markings, 40263248 edges, 7804 markings/sec, 100 secs
lola: 474824 markings, 41337631 edges, 7086 markings/sec, 105 secs
lola: 503899 markings, 42655477 edges, 5815 markings/sec, 110 secs
lola: 516182 markings, 44590343 edges, 2457 markings/sec, 115 secs
lola: 523454 markings, 47050001 edges, 1454 markings/sec, 120 secs
lola: 529413 markings, 49786468 edges, 1192 markings/sec, 125 secs
lola: 535289 markings, 52565727 edges, 1175 markings/sec, 130 secs
lola: 541119 markings, 55373912 edges, 1166 markings/sec, 135 secs
lola: 547018 markings, 58285472 edges, 1180 markings/sec, 140 secs
lola: 560338 markings, 60805427 edges, 2664 markings/sec, 145 secs
lola: 578863 markings, 62601579 edges, 3705 markings/sec, 150 secs
lola: 605254 markings, 64033425 edges, 5278 markings/sec, 155 secs
lola: 628616 markings, 65660642 edges, 4672 markings/sec, 160 secs
lola: 665078 markings, 66560170 edges, 7292 markings/sec, 165 secs
lola: 698249 markings, 67543577 edges, 6634 markings/sec, 170 secs
lola: 725471 markings, 68711214 edges, 5444 markings/sec, 175 secs
lola: 740453 markings, 70263496 edges, 2996 markings/sec, 180 secs
lola: 748269 markings, 72142452 edges, 1563 markings/sec, 185 secs
lola: 753095 markings, 74386261 edges, 965 markings/sec, 190 secs
lola: 757947 markings, 76671660 edges, 970 markings/sec, 195 secs
lola: 762784 markings, 79007821 edges, 967 markings/sec, 200 secs
lola: 767763 markings, 81404335 edges, 996 markings/sec, 205 secs
lola: 772799 markings, 83868578 edges, 1007 markings/sec, 210 secs
lola: 777962 markings, 86398958 edges, 1033 markings/sec, 215 secs
lola: 811762 markings, 87615500 edges, 6760 markings/sec, 220 secs
lola: 834751 markings, 89545880 edges, 4598 markings/sec, 225 secs
lola: 872510 markings, 90567370 edges, 7552 markings/sec, 230 secs
lola: 910006 markings, 91523940 edges, 7499 markings/sec, 235 secs
lola: 944675 markings, 92583924 edges, 6934 markings/sec, 240 secs
lola: 970042 markings, 94000046 edges, 5073 markings/sec, 245 secs
lola: 980752 markings, 95947112 edges, 2142 markings/sec, 250 secs
lola: 987243 markings, 98479748 edges, 1298 markings/sec, 255 secs
lola: 992904 markings, 101168927 edges, 1132 markings/sec, 260 secs
lola: 998570 markings, 103903122 edges, 1133 markings/sec, 265 secs
lola: 1004230 markings, 106623775 edges, 1132 markings/sec, 270 secs
lola: 1009949 markings, 109465898 edges, 1144 markings/sec, 275 secs
lola: 1022854 markings, 111836232 edges, 2581 markings/sec, 280 secs
lola: 1064010 markings, 112630311 edges, 8231 markings/sec, 285 secs
lola: 1105390 markings, 113486568 edges, 8276 markings/sec, 290 secs
lola: 1145086 markings, 114394141 edges, 7939 markings/sec, 295 secs
lola: 1181561 markings, 115408367 edges, 7295 markings/sec, 300 secs
lola: 1212501 markings, 116631999 edges, 6188 markings/sec, 305 secs
lola: 1229365 markings, 118389133 edges, 3373 markings/sec, 310 secs
lola: 1237816 markings, 120600416 edges, 1690 markings/sec, 315 secs
lola: 1243460 markings, 123311889 edges, 1129 markings/sec, 320 secs
lola: 1249129 markings, 126073079 edges, 1134 markings/sec, 325 secs
lola: 1254877 markings, 128891791 edges, 1150 markings/sec, 330 secs
lola: 1260645 markings, 131688504 edges, 1154 markings/sec, 335 secs
lola: 1266557 markings, 134603011 edges, 1182 markings/sec, 340 secs
lola: 1302732 markings, 135761685 edges, 7235 markings/sec, 345 secs
lola: 1342939 markings, 136601516 edges, 8041 markings/sec, 350 secs
lola: 1383668 markings, 137426533 edges, 8146 markings/sec, 355 secs
lola: 1423837 markings, 138271594 edges, 8034 markings/sec, 360 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudDeployment-PT-7a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494620006577

--------------------
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="CloudDeployment-PT-7a"
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/CloudDeployment-PT-7a.tgz
mv CloudDeployment-PT-7a 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 CloudDeployment-PT-7a, 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 r018-ebro-149436308800056"
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 ;