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

--------------------
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 1496440736624


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


checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-7a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 40044 markings, 980028 edges, 8009 markings/sec, 0 secs
lola: 56926 markings, 2946469 edges, 3376 markings/sec, 5 secs
lola: 78843 markings, 4962987 edges, 4383 markings/sec, 10 secs
lola: 100386 markings, 6974120 edges, 4309 markings/sec, 15 secs
lola: 124294 markings, 8840418 edges, 4782 markings/sec, 20 secs
lola: 148866 markings, 10663948 edges, 4914 markings/sec, 25 secs
lola: 184526 markings, 11723827 edges, 7132 markings/sec, 30 secs
lola: 218867 markings, 12821531 edges, 6868 markings/sec, 35 secs
lola: 246656 markings, 14150984 edges, 5558 markings/sec, 40 secs
lola: 259716 markings, 16059462 edges, 2612 markings/sec, 45 secs
lola: 266605 markings, 18438253 edges, 1378 markings/sec, 50 secs
lola: 272219 markings, 21067103 edges, 1123 markings/sec, 55 secs
lola: 277958 markings, 23788428 edges, 1148 markings/sec, 60 secs
lola: 283733 markings, 26513964 edges, 1155 markings/sec, 65 secs
lola: 289728 markings, 29380292 edges, 1199 markings/sec, 70 secs
lola: 302201 markings, 31887875 edges, 2495 markings/sec, 75 secs
lola: 334475 markings, 33295906 edges, 6455 markings/sec, 80 secs
lola: 358220 markings, 35236508 edges, 4749 markings/sec, 85 secs
lola: 378837 markings, 37288551 edges, 4123 markings/sec, 90 secs
lola: 397504 markings, 39242841 edges, 3733 markings/sec, 95 secs
lola: 436423 markings, 40200572 edges, 7784 markings/sec, 100 secs
lola: 472756 markings, 41255763 edges, 7267 markings/sec, 105 secs
lola: 502588 markings, 42571277 edges, 5966 markings/sec, 110 secs
lola: 515805 markings, 44520159 edges, 2643 markings/sec, 115 secs
lola: 523298 markings, 46982433 edges, 1499 markings/sec, 120 secs
lola: 529319 markings, 49741746 edges, 1204 markings/sec, 125 secs
lola: 535191 markings, 52514665 edges, 1174 markings/sec, 130 secs
lola: 540997 markings, 55313540 edges, 1161 markings/sec, 135 secs
lola: 546838 markings, 58194499 edges, 1168 markings/sec, 140 secs
lola: 557862 markings, 60752999 edges, 2205 markings/sec, 145 secs
lola: 578612 markings, 62481201 edges, 4150 markings/sec, 150 secs
lola: 605086 markings, 63956319 edges, 5295 markings/sec, 155 secs
lola: 628122 markings, 65649040 edges, 4607 markings/sec, 160 secs
lola: 664856 markings, 66553327 edges, 7347 markings/sec, 165 secs
lola: 698394 markings, 67547315 edges, 6708 markings/sec, 170 secs
lola: 726130 markings, 68738347 edges, 5547 markings/sec, 175 secs
lola: 740977 markings, 70374004 edges, 2969 markings/sec, 180 secs
lola: 748690 markings, 72333508 edges, 1543 markings/sec, 185 secs
lola: 753604 markings, 74617300 edges, 983 markings/sec, 190 secs
lola: 758536 markings, 76952767 edges, 986 markings/sec, 195 secs
lola: 763484 markings, 79342441 edges, 990 markings/sec, 200 secs
lola: 768506 markings, 81766544 edges, 1004 markings/sec, 205 secs
lola: 773586 markings, 84268682 edges, 1016 markings/sec, 210 secs
lola: 778907 markings, 86871958 edges, 1064 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: 26081 markings, 1176451 edges, 5216 markings/sec, 0 secs
lola: 43154 markings, 3111164 edges, 3415 markings/sec, 5 secs
lola: 63853 markings, 5160617 edges, 4140 markings/sec, 10 secs
lola: 82793 markings, 7318209 edges, 3788 markings/sec, 15 secs
lola: 101605 markings, 9425936 edges, 3762 markings/sec, 20 secs
lola: 124085 markings, 10909546 edges, 4496 markings/sec, 25 secs
lola: 148696 markings, 12120607 edges, 4922 markings/sec, 30 secs
lola: 171001 markings, 13444766 edges, 4461 markings/sec, 35 secs
lola: 189936 markings, 14991736 edges, 3787 markings/sec, 40 secs
lola: 215819 markings, 16717064 edges, 5177 markings/sec, 45 secs
lola: 244404 markings, 18423991 edges, 5717 markings/sec, 50 secs
lola: 266549 markings, 20436262 edges, 4429 markings/sec, 55 secs
lola: 274073 markings, 23044675 edges, 1505 markings/sec, 60 secs
lola: 278359 markings, 25695989 edges, 857 markings/sec, 65 secs
lola: 282684 markings, 28456542 edges, 865 markings/sec, 70 secs
lola: 287104 markings, 31340121 edges, 884 markings/sec, 75 secs
lola: 308874 markings, 33144230 edges, 4354 markings/sec, 80 secs
lola: 328654 markings, 35190571 edges, 3956 markings/sec, 85 secs
lola: 347389 markings, 37201202 edges, 3747 markings/sec, 90 secs
lola: 367638 markings, 39285540 edges, 4050 markings/sec, 95 secs
lola: 393123 markings, 40468276 edges, 5097 markings/sec, 100 secs
lola: 416881 markings, 41758378 edges, 4752 markings/sec, 105 secs
lola: 434753 markings, 43427538 edges, 3574 markings/sec, 110 secs
lola: 462121 markings, 45174539 edges, 5474 markings/sec, 115 secs
lola: 492445 markings, 46921451 edges, 6065 markings/sec, 120 secs
lola: 515089 markings, 49038036 edges, 4529 markings/sec, 125 secs
lola: 522825 markings, 51820570 edges, 1547 markings/sec, 130 secs
lola: 527276 markings, 54706400 edges, 890 markings/sec, 135 secs
lola: 531636 markings, 57609040 edges, 872 markings/sec, 140 secs
lola: 536656 markings, 60657585 edges, 1004 markings/sec, 145 secs
lola: 559898 markings, 62142396 edges, 4648 markings/sec, 150 secs
lola: 577830 markings, 63834493 edges, 3586 markings/sec, 155 secs
lola: 594424 markings, 65675404 edges, 3319 markings/sec, 160 secs
lola: 619013 markings, 66731315 edges, 4918 markings/sec, 165 secs
lola: 640792 markings, 67917781 edges, 4356 markings/sec, 170 secs
lola: 658883 markings, 69295930 edges, 3618 markings/sec, 175 secs
lola: 680555 markings, 70886547 edges, 4334 markings/sec, 180 secs
lola: 707142 markings, 72449643 edges, 5317 markings/sec, 185 secs
lola: 733274 markings, 74026101 edges, 5226 markings/sec, 190 secs
lola: 745681 markings, 76180501 edges, 2481 markings/sec, 195 secs
lola: 750320 markings, 78507703 edges, 928 markings/sec, 200 secs
lola: 753976 markings, 80884210 edges, 731 markings/sec, 205 secs
lola: 757643 markings, 83346691 edges, 733 markings/sec, 210 secs
lola: 761425 markings, 85904828 edges, 756 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: 22702 markings, 1641422 edges, 4540 markings/sec, 0 secs
lola: 45349 markings, 3576390 edges, 4529 markings/sec, 5 secs
lola: 63177 markings, 5763488 edges, 3566 markings/sec, 10 secs
lola: 85491 markings, 7582057 edges, 4463 markings/sec, 15 secs
lola: 106693 markings, 9410242 edges, 4240 markings/sec, 20 secs
lola: 129992 markings, 11039653 edges, 4660 markings/sec, 25 secs
lola: 152746 markings, 12826456 edges, 4551 markings/sec, 30 secs
lola: 172464 markings, 14634546 edges, 3944 markings/sec, 35 secs
lola: 182299 markings, 16633927 edges, 1967 markings/sec, 40 secs
lola: 196544 markings, 18629143 edges, 2849 markings/sec, 45 secs
lola: 227320 markings, 20587024 edges, 6155 markings/sec, 50 secs
lola: 236735 markings, 22543734 edges, 1883 markings/sec, 55 secs
lola: 242906 markings, 25247317 edges, 1234 markings/sec, 60 secs
lola: 250313 markings, 28080925 edges, 1481 markings/sec, 65 secs
lola: 270295 markings, 30290644 edges, 3996 markings/sec, 70 secs
lola: 289473 markings, 32492142 edges, 3836 markings/sec, 75 secs
lola: 307376 markings, 34346023 edges, 3581 markings/sec, 80 secs
lola: 327908 markings, 36313666 edges, 4106 markings/sec, 85 secs
lola: 351820 markings, 38136203 edges, 4782 markings/sec, 90 secs
lola: 376050 markings, 39807622 edges, 4846 markings/sec, 95 secs
lola: 396506 markings, 41487295 edges, 4091 markings/sec, 100 secs
lola: 415458 markings, 43251908 edges, 3790 markings/sec, 105 secs
lola: 443081 markings, 45195232 edges, 5525 markings/sec, 110 secs
lola: 452811 markings, 47203830 edges, 1946 markings/sec, 115 secs
lola: 473306 markings, 49160907 edges, 4099 markings/sec, 120 secs
lola: 485084 markings, 51132141 edges, 2356 markings/sec, 125 secs
lola: 491252 markings, 53556685 edges, 1234 markings/sec, 130 secs
lola: 498538 markings, 56379737 edges, 1457 markings/sec, 135 secs
lola: 513759 markings, 58801449 edges, 3044 markings/sec, 140 secs
lola: 542522 markings, 60391012 edges, 5753 markings/sec, 145 secs
lola: 564112 markings, 62343012 edges, 4318 markings/sec, 150 secs
lola: 588436 markings, 63992403 edges, 4865 markings/sec, 155 secs
lola: 606550 markings, 65869840 edges, 3623 markings/sec, 160 secs
lola: 630433 markings, 67406227 edges, 4777 markings/sec, 165 secs
lola: 654988 markings, 68985569 edges, 4911 markings/sec, 170 secs
lola: 676116 markings, 70643058 edges, 4226 markings/sec, 175 secs
lola: 689222 markings, 72402457 edges, 2621 markings/sec, 180 secs
lola: 699305 markings, 74238068 edges, 2017 markings/sec, 185 secs
lola: 725779 markings, 76058188 edges, 5295 markings/sec, 190 secs
lola: 737142 markings, 77965808 edges, 2273 markings/sec, 195 secs
lola: 742561 markings, 80072982 edges, 1084 markings/sec, 200 secs
lola: 748279 markings, 82562404 edges, 1144 markings/sec, 205 secs
lola: 755255 markings, 85180490 edges, 1395 markings/sec, 210 secs
lola: 780423 markings, 87035955 edges, 5034 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: 46545 markings, 1808362 edges, 9309 markings/sec, 0 secs
lola: 87150 markings, 3872875 edges, 8121 markings/sec, 5 secs
lola: 120891 markings, 5835771 edges, 6748 markings/sec, 10 secs
lola: 168371 markings, 7409352 edges, 9496 markings/sec, 15 secs
lola: 204276 markings, 9489242 edges, 7181 markings/sec, 20 secs
lola: 255785 markings, 11023321 edges, 10302 markings/sec, 25 secs
lola: 305178 markings, 12782014 edges, 9879 markings/sec, 30 secs
lola: 341555 markings, 14656236 edges, 7275 markings/sec, 35 secs
lola: 362715 markings, 16641239 edges, 4232 markings/sec, 40 secs
lola: 387467 markings, 18655468 edges, 4950 markings/sec, 45 secs
lola: 451152 markings, 20558086 edges, 12737 markings/sec, 50 secs
lola: 470861 markings, 22516482 edges, 3942 markings/sec, 55 secs
lola: 480497 markings, 25112983 edges, 1927 markings/sec, 60 secs
lola: 497097 markings, 27955012 edges, 3320 markings/sec, 65 secs
lola: 524631 markings, 30385327 edges, 5507 markings/sec, 70 secs
lola: 566368 markings, 32003481 edges, 8347 markings/sec, 75 secs
lola: 602583 markings, 33723104 edges, 7243 markings/sec, 80 secs
lola: 636905 markings, 35618878 edges, 6864 markings/sec, 85 secs
lola: 664729 markings, 37676421 edges, 5565 markings/sec, 90 secs
lola: 691699 markings, 40078588 edges, 5394 markings/sec, 95 secs
lola: 739877 markings, 41938883 edges, 9636 markings/sec, 100 secs
lola: 777637 markings, 43813999 edges, 7552 markings/sec, 105 secs
lola: 819258 markings, 45871551 edges, 8324 markings/sec, 110 secs
lola: 838937 markings, 48358050 edges, 3936 markings/sec, 115 secs
lola: 872282 markings, 50558011 edges, 6669 markings/sec, 120 secs
lola: 906267 markings, 52782734 edges, 6797 markings/sec, 125 secs
lola: 941333 markings, 54890850 edges, 7013 markings/sec, 130 secs
lola: 981080 markings, 56853989 edges, 7949 markings/sec, 135 secs
lola: 1011611 markings, 59055082 edges, 6106 markings/sec, 140 secs
lola: 1050953 markings, 60972876 edges, 7868 markings/sec, 145 secs
lola: 1086056 markings, 63076214 edges, 7021 markings/sec, 150 secs
lola: 1118304 markings, 65172060 edges, 6450 markings/sec, 155 secs
lola: 1151035 markings, 67150005 edges, 6546 markings/sec, 160 secs
lola: 1185545 markings, 69056597 edges, 6902 markings/sec, 165 secs
lola: 1224714 markings, 70760771 edges, 7834 markings/sec, 170 secs
lola: 1257058 markings, 72740141 edges, 6469 markings/sec, 175 secs
lola: 1291585 markings, 74805082 edges, 6905 markings/sec, 180 secs
lola: 1322667 markings, 76772860 edges, 6216 markings/sec, 185 secs
lola: 1362401 markings, 78749825 edges, 7947 markings/sec, 190 secs
lola: 1394063 markings, 80537576 edges, 6332 markings/sec, 195 secs
lola: 1429726 markings, 82338798 edges, 7133 markings/sec, 200 secs
lola: 1465760 markings, 84036716 edges, 7207 markings/sec, 205 secs
lola: 1499703 markings, 86140921 edges, 6789 markings/sec, 210 secs
lola: 1549457 markings, 87613034 edges, 9951 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: 37146 markings, 1039447 edges, 7429 markings/sec, 0 secs
lola: 53761 markings, 3245244 edges, 3323 markings/sec, 5 secs
lola: 73698 markings, 5253338 edges, 3987 markings/sec, 10 secs
lola: 95333 markings, 6906537 edges, 4327 markings/sec, 15 secs
lola: 115610 markings, 8712965 edges, 4055 markings/sec, 20 secs
lola: 138920 markings, 10508957 edges, 4662 markings/sec, 25 secs
lola: 173274 markings, 11504345 edges, 6871 markings/sec, 30 secs
lola: 206363 markings, 12535417 edges, 6618 markings/sec, 35 secs
lola: 234185 markings, 13765444 edges, 5564 markings/sec, 40 secs
lola: 248984 markings, 15533709 edges, 2960 markings/sec, 45 secs
lola: 257058 markings, 17770617 edges, 1615 markings/sec, 50 secs
lola: 263694 markings, 20308426 edges, 1327 markings/sec, 55 secs
lola: 270425 markings, 22893613 edges, 1346 markings/sec, 60 secs
lola: 277289 markings, 25574407 edges, 1373 markings/sec, 65 secs
lola: 284180 markings, 28279405 edges, 1378 markings/sec, 70 secs
lola: 291296 markings, 31057679 edges, 1423 markings/sec, 75 secs
lola: 317715 markings, 32642629 edges, 5284 markings/sec, 80 secs
lola: 333787 markings, 34588005 edges, 3214 markings/sec, 85 secs
lola: 352037 markings, 36415401 edges, 3650 markings/sec, 90 secs
lola: 379291 markings, 37754820 edges, 5451 markings/sec, 95 secs
lola: 399810 markings, 39485655 edges, 4104 markings/sec, 100 secs
lola: 432982 markings, 40420705 edges, 6634 markings/sec, 105 secs
lola: 463217 markings, 41452267 edges, 6047 markings/sec, 110 secs
lola: 489650 markings, 42605787 edges, 5287 markings/sec, 115 secs
lola: 504620 markings, 44159494 edges, 2994 markings/sec, 120 secs
lola: 512312 markings, 46049867 edges, 1538 markings/sec, 125 secs
lola: 518076 markings, 48274854 edges, 1153 markings/sec, 130 secs
lola: 523873 markings, 50566108 edges, 1159 markings/sec, 135 secs
lola: 529754 markings, 52864937 edges, 1176 markings/sec, 140 secs
lola: 535702 markings, 55196309 edges, 1190 markings/sec, 145 secs
lola: 541832 markings, 57611136 edges, 1226 markings/sec, 150 secs
lola: 547987 markings, 60056293 edges, 1231 markings/sec, 155 secs
lola: 576315 markings, 61521165 edges, 5666 markings/sec, 160 secs
lola: 595773 markings, 63603419 edges, 3892 markings/sec, 165 secs
lola: 617400 markings, 65579314 edges, 4325 markings/sec, 170 secs
lola: 653651 markings, 66562264 edges, 7250 markings/sec, 175 secs
lola: 686583 markings, 67667161 edges, 6586 markings/sec, 180 secs
lola: 716376 markings, 68911648 edges, 5959 markings/sec, 185 secs
lola: 732715 markings, 70711143 edges, 3268 markings/sec, 190 secs
lola: 741283 markings, 73027945 edges, 1714 markings/sec, 195 secs
lola: 748299 markings, 75715871 edges, 1403 markings/sec, 200 secs
lola: 755321 markings, 78423666 edges, 1404 markings/sec, 205 secs
lola: 762210 markings, 81083239 edges, 1378 markings/sec, 210 secs
lola: 769392 markings, 83887893 edges, 1436 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: 17962 markings, 2027796 edges, 3592 markings/sec, 0 secs
lola: 34550 markings, 3913239 edges, 3318 markings/sec, 5 secs
lola: 49678 markings, 5645485 edges, 3026 markings/sec, 10 secs
lola: 64635 markings, 7342288 edges, 2991 markings/sec, 15 secs
lola: 78813 markings, 8940813 edges, 2836 markings/sec, 20 secs
lola: 106526 markings, 10665907 edges, 5543 markings/sec, 25 secs
lola: 130299 markings, 12327021 edges, 4755 markings/sec, 30 secs
lola: 181033 markings, 13957764 edges, 10147 markings/sec, 35 secs
lola: 218384 markings, 15663555 edges, 7470 markings/sec, 40 secs
lola: 250083 markings, 17375835 edges, 6340 markings/sec, 45 secs
lola: 281802 markings, 18975347 edges, 6344 markings/sec, 50 secs
lola: 310425 markings, 20554417 edges, 5725 markings/sec, 55 secs
lola: 340849 markings, 22016416 edges, 6085 markings/sec, 60 secs
lola: 371284 markings, 23406340 edges, 6087 markings/sec, 65 secs
lola: 382701 markings, 24926717 edges, 2283 markings/sec, 70 secs
lola: 393940 markings, 26449293 edges, 2248 markings/sec, 75 secs
lola: 405209 markings, 27958661 edges, 2254 markings/sec, 80 secs
lola: 418380 markings, 29482952 edges, 2634 markings/sec, 85 secs
lola: 432480 markings, 31106510 edges, 2820 markings/sec, 90 secs
lola: 446374 markings, 32706969 edges, 2779 markings/sec, 95 secs
lola: 461109 markings, 34393978 edges, 2947 markings/sec, 100 secs
lola: 478610 markings, 36349278 edges, 3500 markings/sec, 105 secs
lola: 495228 markings, 38291202 edges, 3324 markings/sec, 110 secs
lola: 511964 markings, 40107405 edges, 3347 markings/sec, 115 secs
lola: 527393 markings, 41976143 edges, 3086 markings/sec, 120 secs
lola: 543122 markings, 43772733 edges, 3146 markings/sec, 125 secs
lola: 557853 markings, 45465976 edges, 2946 markings/sec, 130 secs
lola: 572193 markings, 47106555 edges, 2868 markings/sec, 135 secs
lola: 587037 markings, 48727375 edges, 2969 markings/sec, 140 secs
lola: 600734 markings, 50344507 edges, 2739 markings/sec, 145 secs
lola: 612874 markings, 51976151 edges, 2428 markings/sec, 150 secs
lola: 624620 markings, 53600665 edges, 2349 markings/sec, 155 secs
lola: 637569 markings, 55236883 edges, 2590 markings/sec, 160 secs
lola: 653033 markings, 56972477 edges, 3093 markings/sec, 165 secs
lola: 667865 markings, 58699278 edges, 2966 markings/sec, 170 secs
lola: 686859 markings, 60870044 edges, 3799 markings/sec, 175 secs
lola: 705798 markings, 63048493 edges, 3788 markings/sec, 180 secs
lola: 723925 markings, 65099295 edges, 3625 markings/sec, 185 secs
lola: 741441 markings, 67108562 edges, 3503 markings/sec, 190 secs
lola: 757577 markings, 68969053 edges, 3227 markings/sec, 195 secs
lola: 773709 markings, 70778118 edges, 3226 markings/sec, 200 secs
lola: 787448 markings, 72498560 edges, 2748 markings/sec, 205 secs
lola: 799758 markings, 74072902 edges, 2462 markings/sec, 210 secs
lola: 811327 markings, 75656247 edges, 2314 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 245 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: 25309 markings, 1563262 edges, 5062 markings/sec, 0 secs
lola: 38534 markings, 3914209 edges, 2645 markings/sec, 5 secs
lola: 58230 markings, 6023026 edges, 3939 markings/sec, 10 secs
lola: 80184 markings, 7673561 edges, 4391 markings/sec, 15 secs
lola: 100303 markings, 9408286 edges, 4024 markings/sec, 20 secs
lola: 127428 markings, 10683384 edges, 5425 markings/sec, 25 secs
lola: 142951 markings, 12786373 edges, 3105 markings/sec, 30 secs
lola: 166204 markings, 14439382 edges, 4651 markings/sec, 35 secs
lola: 196403 markings, 15563625 edges, 6040 markings/sec, 40 secs
lola: 225094 markings, 16798911 edges, 5738 markings/sec, 45 secs
lola: 252701 markings, 18100841 edges, 5521 markings/sec, 50 secs
lola: 271391 markings, 19969843 edges, 3738 markings/sec, 55 secs
lola: 278067 markings, 22517580 edges, 1335 markings/sec, 60 secs
lola: 283955 markings, 25140537 edges, 1178 markings/sec, 65 secs
lola: 289696 markings, 27855371 edges, 1148 markings/sec, 70 secs
lola: 295470 markings, 30627073 edges, 1155 markings/sec, 75 secs
lola: 301407 markings, 33479492 edges, 1187 markings/sec, 80 secs
lola: 313635 markings, 35719868 edges, 2446 markings/sec, 85 secs
lola: 334127 markings, 37267961 edges, 4098 markings/sec, 90 secs
lola: 359577 markings, 38534037 edges, 5090 markings/sec, 95 secs
lola: 380562 markings, 40081468 edges, 4197 markings/sec, 100 secs
lola: 386144 markings, 42404095 edges, 1116 markings/sec, 105 secs
lola: 391512 markings, 44906959 edges, 1074 markings/sec, 110 secs
lola: 408490 markings, 46760682 edges, 3396 markings/sec, 115 secs
lola: 430309 markings, 48376839 edges, 4364 markings/sec, 120 secs
lola: 459223 markings, 49489670 edges, 5783 markings/sec, 125 secs
lola: 475167 markings, 51364223 edges, 3189 markings/sec, 130 secs
lola: 480588 markings, 53869027 edges, 1084 markings/sec, 135 secs
lola: 488317 markings, 56292183 edges, 1546 markings/sec, 140 secs
lola: 508783 markings, 57741392 edges, 4093 markings/sec, 145 secs
lola: 519756 markings, 59780249 edges, 2195 markings/sec, 150 secs
lola: 534966 markings, 61702515 edges, 3042 markings/sec, 155 secs
lola: 552427 markings, 63431184 edges, 3492 markings/sec, 160 secs
lola: 566375 markings, 65385933 edges, 2790 markings/sec, 165 secs
lola: 584721 markings, 67036364 edges, 3669 markings/sec, 170 secs
lola: 598287 markings, 68995634 edges, 2713 markings/sec, 175 secs
lola: 617214 markings, 70605377 edges, 3785 markings/sec, 180 secs
lola: 629856 markings, 72604638 edges, 2528 markings/sec, 185 secs
lola: 649459 markings, 74194115 edges, 3921 markings/sec, 190 secs
lola: 659836 markings, 76282256 edges, 2075 markings/sec, 195 secs
lola: 681306 markings, 77977734 edges, 4294 markings/sec, 200 secs
lola: 700716 markings, 79649981 edges, 3882 markings/sec, 205 secs
lola: 725879 markings, 81062525 edges, 5033 markings/sec, 210 secs
lola: 747543 markings, 82641660 edges, 4333 markings/sec, 215 secs
lola: 753407 markings, 85136600 edges, 1173 markings/sec, 220 secs
lola: 758928 markings, 87782203 edges, 1104 markings/sec, 225 secs
lola: 782745 markings, 89157718 edges, 4763 markings/sec, 230 secs
lola: 790410 markings, 91458314 edges, 1533 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 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: 46618 markings, 1815395 edges, 9324 markings/sec, 0 secs
lola: 87435 markings, 3889817 edges, 8163 markings/sec, 5 secs
lola: 122285 markings, 5881984 edges, 6970 markings/sec, 10 secs
lola: 170007 markings, 7492463 edges, 9544 markings/sec, 15 secs
lola: 207422 markings, 9552254 edges, 7483 markings/sec, 20 secs
lola: 259249 markings, 11127786 edges, 10365 markings/sec, 25 secs
lola: 308444 markings, 12920011 edges, 9839 markings/sec, 30 secs
lola: 343514 markings, 14838020 edges, 7014 markings/sec, 35 secs
lola: 365030 markings, 16853622 edges, 4303 markings/sec, 40 secs
lola: 396842 markings, 18877502 edges, 6362 markings/sec, 45 secs
lola: 453899 markings, 20852546 edges, 11411 markings/sec, 50 secs
lola: 473614 markings, 22832602 edges, 3943 markings/sec, 55 secs
lola: 483052 markings, 25630890 edges, 1888 markings/sec, 60 secs
lola: 500742 markings, 28522768 edges, 3538 markings/sec, 65 secs
lola: 535063 markings, 30687606 edges, 6864 markings/sec, 70 secs
lola: 577741 markings, 32374908 edges, 8536 markings/sec, 75 secs
lola: 607544 markings, 34199030 edges, 5961 markings/sec, 80 secs
lola: 654106 markings, 36094542 edges, 9312 markings/sec, 85 secs
lola: 668400 markings, 38425388 edges, 2859 markings/sec, 90 secs
lola: 705636 markings, 40594894 edges, 7447 markings/sec, 95 secs
lola: 755856 markings, 42478377 edges, 10044 markings/sec, 100 secs
lola: 783868 markings, 44493392 edges, 5602 markings/sec, 105 secs
lola: 828760 markings, 46563102 edges, 8978 markings/sec, 110 secs
lola: 847846 markings, 49359131 edges, 3817 markings/sec, 115 secs
lola: 888526 markings, 51265177 edges, 8136 markings/sec, 120 secs
lola: 922444 markings, 53489227 edges, 6784 markings/sec, 125 secs
lola: 955366 markings, 55712338 edges, 6584 markings/sec, 130 secs
lola: 995319 markings, 57715301 edges, 7991 markings/sec, 135 secs
lola: 1031131 markings, 59887501 edges, 7162 markings/sec, 140 secs
lola: 1064709 markings, 62049426 edges, 6716 markings/sec, 145 secs
lola: 1104614 markings, 64025243 edges, 7981 markings/sec, 150 secs
lola: 1139045 markings, 66089984 edges, 6886 markings/sec, 155 secs
lola: 1168386 markings, 68220746 edges, 5868 markings/sec, 160 secs
lola: 1209502 markings, 69944178 edges, 8223 markings/sec, 165 secs
lola: 1241281 markings, 71963627 edges, 6356 markings/sec, 170 secs
lola: 1275211 markings, 74041224 edges, 6786 markings/sec, 175 secs
lola: 1310551 markings, 75941988 edges, 7068 markings/sec, 180 secs
lola: 1348411 markings, 77969481 edges, 7572 markings/sec, 185 secs
lola: 1381782 markings, 79893006 edges, 6674 markings/sec, 190 secs
lola: 1411444 markings, 81869167 edges, 5932 markings/sec, 195 secs
lola: 1452738 markings, 83469985 edges, 8259 markings/sec, 200 secs
lola: 1490596 markings, 85378167 edges, 7572 markings/sec, 205 secs
lola: 1534452 markings, 87142558 edges, 8771 markings/sec, 210 secs
lola: 1583023 markings, 88765024 edges, 9714 markings/sec, 215 secs
lola: 1636222 markings, 90584041 edges, 10640 markings/sec, 220 secs
lola: 1670102 markings, 92466467 edges, 6776 markings/sec, 225 secs
lola: 1690162 markings, 94444624 edges, 4012 markings/sec, 230 secs
lola: 1710116 markings, 96424988 edges, 3991 markings/sec, 235 secs
lola: 1778634 markings, 98275164 edges, 13704 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: 17780 markings, 2007219 edges, 3556 markings/sec, 0 secs
lola: 34256 markings, 3878649 edges, 3295 markings/sec, 5 secs
lola: 49572 markings, 5606572 edges, 3063 markings/sec, 10 secs
lola: 63632 markings, 7230715 edges, 2812 markings/sec, 15 secs
lola: 77631 markings, 8821246 edges, 2800 markings/sec, 20 secs
lola: 105748 markings, 10583927 edges, 5623 markings/sec, 25 secs
lola: 131320 markings, 12381796 edges, 5114 markings/sec, 30 secs
lola: 181025 markings, 13957476 edges, 9941 markings/sec, 35 secs
lola: 217288 markings, 15599541 edges, 7253 markings/sec, 40 secs
lola: 245953 markings, 17249205 edges, 5733 markings/sec, 45 secs
lola: 278476 markings, 18795839 edges, 6505 markings/sec, 50 secs
lola: 305525 markings, 20295257 edges, 5410 markings/sec, 55 secs
lola: 332754 markings, 21728825 edges, 5446 markings/sec, 60 secs
lola: 370371 markings, 23167363 edges, 7523 markings/sec, 65 secs
lola: 386617 markings, 25066792 edges, 3249 markings/sec, 70 secs
lola: 403688 markings, 26996966 edges, 3414 markings/sec, 75 secs
lola: 418138 markings, 28750848 edges, 2890 markings/sec, 80 secs
lola: 430380 markings, 30390358 edges, 2448 markings/sec, 85 secs
lola: 442831 markings, 32064917 edges, 2490 markings/sec, 90 secs
lola: 455184 markings, 33718379 edges, 2471 markings/sec, 95 secs
lola: 474520 markings, 35918094 edges, 3867 markings/sec, 100 secs
lola: 493683 markings, 38077482 edges, 3833 markings/sec, 105 secs
lola: 512627 markings, 40194896 edges, 3789 markings/sec, 110 secs
lola: 530143 markings, 42293847 edges, 3503 markings/sec, 115 secs
lola: 547973 markings, 44333885 edges, 3566 markings/sec, 120 secs
lola: 564422 markings, 46221624 edges, 3290 markings/sec, 125 secs
lola: 581193 markings, 48004372 edges, 3354 markings/sec, 130 secs
lola: 596142 markings, 49841504 edges, 2990 markings/sec, 135 secs
lola: 611297 markings, 51596823 edges, 3031 markings/sec, 140 secs
lola: 626315 markings, 53311784 edges, 3004 markings/sec, 145 secs
lola: 641188 markings, 54973420 edges, 2975 markings/sec, 150 secs
lola: 652309 markings, 56437701 edges, 2224 markings/sec, 155 secs
lola: 663336 markings, 57892724 edges, 2205 markings/sec, 160 secs
lola: 674116 markings, 59371817 edges, 2156 markings/sec, 165 secs
lola: 693043 markings, 61599182 edges, 3785 markings/sec, 170 secs
lola: 711819 markings, 63760088 edges, 3755 markings/sec, 175 secs
lola: 730052 markings, 65853670 edges, 3647 markings/sec, 180 secs
lola: 748065 markings, 67892785 edges, 3603 markings/sec, 185 secs
lola: 764236 markings, 69769808 edges, 3234 markings/sec, 190 secs
lola: 780373 markings, 71576182 edges, 3227 markings/sec, 195 secs
lola: 795582 markings, 73342753 edges, 3042 markings/sec, 200 secs
lola: 810088 markings, 75015126 edges, 2901 markings/sec, 205 secs
lola: 824466 markings, 76660785 edges, 2876 markings/sec, 210 secs
lola: 837230 markings, 78164114 edges, 2553 markings/sec, 215 secs
lola: 847267 markings, 79601909 edges, 2007 markings/sec, 220 secs
lola: 857804 markings, 81012374 edges, 2107 markings/sec, 225 secs
lola: 871295 markings, 82658151 edges, 2698 markings/sec, 230 secs
lola: 889566 markings, 84776952 edges, 3654 markings/sec, 235 secs
lola: 907838 markings, 86836380 edges, 3654 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: 34718 markings, 1148295 edges, 6944 markings/sec, 0 secs
lola: 51119 markings, 3362936 edges, 3280 markings/sec, 5 secs
lola: 75573 markings, 5030591 edges, 4891 markings/sec, 10 secs
lola: 94085 markings, 7056554 edges, 3702 markings/sec, 15 secs
lola: 115062 markings, 9008096 edges, 4195 markings/sec, 20 secs
lola: 132787 markings, 11064409 edges, 3545 markings/sec, 25 secs
lola: 152093 markings, 12885936 edges, 3861 markings/sec, 30 secs
lola: 187306 markings, 13863346 edges, 7043 markings/sec, 35 secs
lola: 219220 markings, 14960363 edges, 6383 markings/sec, 40 secs
lola: 248275 markings, 16152683 edges, 5811 markings/sec, 45 secs
lola: 265028 markings, 17840001 edges, 3351 markings/sec, 50 secs
lola: 273370 markings, 20009372 edges, 1668 markings/sec, 55 secs
lola: 279968 markings, 22537528 edges, 1320 markings/sec, 60 secs
lola: 286729 markings, 25150970 edges, 1352 markings/sec, 65 secs
lola: 293623 markings, 27831506 edges, 1379 markings/sec, 70 secs
lola: 300662 markings, 30550346 edges, 1408 markings/sec, 75 secs
lola: 307708 markings, 33321649 edges, 1409 markings/sec, 80 secs
lola: 336611 markings, 34784058 edges, 5781 markings/sec, 85 secs
lola: 365635 markings, 36103680 edges, 5805 markings/sec, 90 secs
lola: 381965 markings, 38187283 edges, 3266 markings/sec, 95 secs
lola: 402254 markings, 40207128 edges, 4058 markings/sec, 100 secs
lola: 420262 markings, 42159527 edges, 3602 markings/sec, 105 secs
lola: 439334 markings, 44251120 edges, 3814 markings/sec, 110 secs
lola: 475664 markings, 45239399 edges, 7266 markings/sec, 115 secs
lola: 510420 markings, 46282530 edges, 6951 markings/sec, 120 secs
lola: 541387 markings, 47484539 edges, 6193 markings/sec, 125 secs
lola: 560069 markings, 49193301 edges, 3736 markings/sec, 130 secs
lola: 569224 markings, 51378459 edges, 1831 markings/sec, 135 secs
lola: 576349 markings, 54100205 edges, 1425 markings/sec, 140 secs
lola: 583333 markings, 56814273 edges, 1397 markings/sec, 145 secs
lola: 590484 markings, 59588463 edges, 1430 markings/sec, 150 secs
lola: 597597 markings, 62329220 edges, 1423 markings/sec, 155 secs
lola: 604666 markings, 65099857 edges, 1414 markings/sec, 160 secs
lola: 632918 markings, 66501278 edges, 5650 markings/sec, 165 secs
lola: 647367 markings, 68351919 edges, 2890 markings/sec, 170 secs
lola: 664744 markings, 70160309 edges, 3475 markings/sec, 175 secs
lola: 685511 markings, 71806492 edges, 4153 markings/sec, 180 secs
lola: 708810 markings, 73376771 edges, 4660 markings/sec, 185 secs
lola: 742628 markings, 74300952 edges, 6764 markings/sec, 190 secs
lola: 773642 markings, 75314497 edges, 6203 markings/sec, 195 secs
lola: 799647 markings, 76500391 edges, 5201 markings/sec, 200 secs
lola: 814762 markings, 78082740 edges, 3023 markings/sec, 205 secs
lola: 822485 markings, 80020909 edges, 1545 markings/sec, 210 secs
lola: 828358 markings, 82288010 edges, 1175 markings/sec, 215 secs
lola: 834333 markings, 84614207 edges, 1195 markings/sec, 220 secs
lola: 840343 markings, 86973986 edges, 1202 markings/sec, 225 secs
lola: 846481 markings, 89368034 edges, 1228 markings/sec, 230 secs
lola: 852668 markings, 91817325 edges, 1237 markings/sec, 235 secs
lola: 858925 markings, 94289530 edges, 1251 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: 17727 markings, 2001592 edges, 3545 markings/sec, 0 secs
lola: 34049 markings, 3865392 edges, 3264 markings/sec, 5 secs
lola: 48906 markings, 5547958 edges, 2971 markings/sec, 10 secs
lola: 63223 markings, 7192129 edges, 2863 markings/sec, 15 secs
lola: 77586 markings, 8812939 edges, 2873 markings/sec, 20 secs
lola: 105001 markings, 10505049 edges, 5483 markings/sec, 25 secs
lola: 127425 markings, 12171614 edges, 4485 markings/sec, 30 secs
lola: 173458 markings, 13745519 edges, 9207 markings/sec, 35 secs
lola: 215746 markings, 15511234 edges, 8458 markings/sec, 40 secs
lola: 246812 markings, 17273093 edges, 6213 markings/sec, 45 secs
lola: 280294 markings, 18907739 edges, 6696 markings/sec, 50 secs
lola: 308918 markings, 20512187 edges, 5725 markings/sec, 55 secs
lola: 340775 markings, 22014606 edges, 6371 markings/sec, 60 secs
lola: 371420 markings, 23428590 edges, 6129 markings/sec, 65 secs
lola: 384176 markings, 25130329 edges, 2551 markings/sec, 70 secs
lola: 397482 markings, 26825184 edges, 2661 markings/sec, 75 secs
lola: 409946 markings, 28488794 edges, 2493 markings/sec, 80 secs
lola: 424589 markings, 30196907 edges, 2929 markings/sec, 85 secs
lola: 440014 markings, 31974583 edges, 3085 markings/sec, 90 secs
lola: 455259 markings, 33731831 edges, 3049 markings/sec, 95 secs
lola: 473598 markings, 35819603 edges, 3668 markings/sec, 100 secs
lola: 492701 markings, 37988838 edges, 3821 markings/sec, 105 secs
lola: 509994 markings, 39988000 edges, 3459 markings/sec, 110 secs
lola: 528256 markings, 42056989 edges, 3652 markings/sec, 115 secs
lola: 546722 markings, 44062692 edges, 3693 markings/sec, 120 secs
lola: 561925 markings, 45912781 edges, 3041 markings/sec, 125 secs
lola: 578310 markings, 47805127 edges, 3277 markings/sec, 130 secs
lola: 595026 markings, 49655265 edges, 3343 markings/sec, 135 secs
lola: 607810 markings, 51308978 edges, 2557 markings/sec, 140 secs
lola: 619327 markings, 52831415 edges, 2303 markings/sec, 145 secs
lola: 630933 markings, 54324253 edges, 2321 markings/sec, 150 secs
lola: 644023 markings, 55891357 edges, 2618 markings/sec, 155 secs
lola: 657844 markings, 57521661 edges, 2764 markings/sec, 160 secs
lola: 671612 markings, 59128127 edges, 2754 markings/sec, 165 secs
lola: 688068 markings, 61070286 edges, 3291 markings/sec, 170 secs
lola: 706478 markings, 63148900 edges, 3682 markings/sec, 175 secs
lola: 723993 markings, 65190924 edges, 3503 markings/sec, 180 secs
lola: 741672 markings, 67181136 edges, 3536 markings/sec, 185 secs
lola: 758333 markings, 69137428 edges, 3332 markings/sec, 190 secs
lola: 774554 markings, 70951755 edges, 3244 markings/sec, 195 secs
lola: 790207 markings, 72763473 edges, 3131 markings/sec, 200 secs
lola: 803994 markings, 74445820 edges, 2757 markings/sec, 205 secs
lola: 815125 markings, 75929265 edges, 2226 markings/sec, 210 secs
lola: 826083 markings, 77400095 edges, 2192 markings/sec, 215 secs
lola: 837478 markings, 78856551 edges, 2279 markings/sec, 220 secs
lola: 851231 markings, 80428999 edges, 2751 markings/sec, 225 secs
lola: 864866 markings, 81986691 edges, 2727 markings/sec, 230 secs
lola: 879033 markings, 83593573 edges, 2833 markings/sec, 235 secs
lola: 896396 markings, 85638565 edges, 3473 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: 42207 markings, 854541 edges, 8441 markings/sec, 0 secs
lola: 65880 markings, 2739919 edges, 4735 markings/sec, 5 secs
lola: 86384 markings, 4684438 edges, 4101 markings/sec, 10 secs
lola: 105524 markings, 6576817 edges, 3828 markings/sec, 15 secs
lola: 132142 markings, 8252396 edges, 5324 markings/sec, 20 secs
lola: 161552 markings, 9764844 edges, 5882 markings/sec, 25 secs
lola: 178585 markings, 11807213 edges, 3407 markings/sec, 30 secs
lola: 198576 markings, 13848637 edges, 3998 markings/sec, 35 secs
lola: 234695 markings, 14917943 edges, 7224 markings/sec, 40 secs
lola: 268165 markings, 16098196 edges, 6694 markings/sec, 45 secs
lola: 291640 markings, 17660623 edges, 4695 markings/sec, 50 secs
lola: 301373 markings, 19749101 edges, 1947 markings/sec, 55 secs
lola: 307419 markings, 22441165 edges, 1209 markings/sec, 60 secs
lola: 313313 markings, 25235170 edges, 1179 markings/sec, 65 secs
lola: 319214 markings, 27999186 edges, 1180 markings/sec, 70 secs
lola: 325072 markings, 30779516 edges, 1172 markings/sec, 75 secs
lola: 330821 markings, 33587076 edges, 1150 markings/sec, 80 secs
lola: 353889 markings, 35357181 edges, 4614 markings/sec, 85 secs
lola: 370889 markings, 37335774 edges, 3400 markings/sec, 90 secs
lola: 390129 markings, 39021236 edges, 3848 markings/sec, 95 secs
lola: 414112 markings, 40556314 edges, 4797 markings/sec, 100 secs
lola: 428831 markings, 42499754 edges, 2944 markings/sec, 105 secs
lola: 445635 markings, 44470386 edges, 3361 markings/sec, 110 secs
lola: 482143 markings, 45426909 edges, 7302 markings/sec, 115 secs
lola: 515036 markings, 46486742 edges, 6579 markings/sec, 120 secs
lola: 545147 markings, 47634154 edges, 6022 markings/sec, 125 secs
lola: 562337 markings, 49234714 edges, 3438 markings/sec, 130 secs
lola: 570336 markings, 51201574 edges, 1600 markings/sec, 135 secs
lola: 575487 markings, 53582334 edges, 1030 markings/sec, 140 secs
lola: 580584 markings, 56000591 edges, 1019 markings/sec, 145 secs
lola: 585723 markings, 58453475 edges, 1028 markings/sec, 150 secs
lola: 590948 markings, 60992640 edges, 1045 markings/sec, 155 secs
lola: 596340 markings, 63545508 edges, 1078 markings/sec, 160 secs
lola: 605904 markings, 65886240 edges, 1913 markings/sec, 165 secs
lola: 629554 markings, 67420162 edges, 4730 markings/sec, 170 secs
lola: 655901 markings, 68895102 edges, 5269 markings/sec, 175 secs
lola: 673907 markings, 70605188 edges, 3601 markings/sec, 180 secs
lola: 690385 markings, 72487658 edges, 3296 markings/sec, 185 secs
lola: 721386 markings, 73698214 edges, 6200 markings/sec, 190 secs
lola: 755751 markings, 74689092 edges, 6873 markings/sec, 195 secs
lola: 786027 markings, 75795806 edges, 6055 markings/sec, 200 secs
lola: 806131 markings, 77237967 edges, 4021 markings/sec, 205 secs
lola: 815041 markings, 79074111 edges, 1782 markings/sec, 210 secs
lola: 820294 markings, 81309031 edges, 1051 markings/sec, 215 secs
lola: 825191 markings, 83627942 edges, 979 markings/sec, 220 secs
lola: 830087 markings, 85983706 edges, 979 markings/sec, 225 secs
lola: 835097 markings, 88376118 edges, 1002 markings/sec, 230 secs
lola: 840126 markings, 90807720 edges, 1006 markings/sec, 235 secs
lola: 845215 markings, 93260854 edges, 1018 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: 18232 markings, 2034206 edges, 3646 markings/sec, 0 secs
lola: 34710 markings, 3903944 edges, 3296 markings/sec, 5 secs
lola: 50140 markings, 5635248 edges, 3086 markings/sec, 10 secs
lola: 65191 markings, 7328901 edges, 3010 markings/sec, 15 secs
lola: 79997 markings, 8922104 edges, 2961 markings/sec, 20 secs
lola: 106271 markings, 10555502 edges, 5255 markings/sec, 25 secs
lola: 128433 markings, 12143354 edges, 4432 markings/sec, 30 secs
lola: 153967 markings, 13750796 edges, 5107 markings/sec, 35 secs
lola: 170797 markings, 15809247 edges, 3366 markings/sec, 40 secs
lola: 188657 markings, 17770313 edges, 3572 markings/sec, 45 secs
lola: 204106 markings, 19611166 edges, 3090 markings/sec, 50 secs
lola: 220637 markings, 21518944 edges, 3306 markings/sec, 55 secs
lola: 237439 markings, 23417558 edges, 3360 markings/sec, 60 secs
lola: 256357 markings, 25510712 edges, 3784 markings/sec, 65 secs
lola: 274807 markings, 27714231 edges, 3690 markings/sec, 70 secs
lola: 293609 markings, 29839264 edges, 3760 markings/sec, 75 secs
lola: 312183 markings, 31864053 edges, 3715 markings/sec, 80 secs
lola: 329198 markings, 33922445 edges, 3403 markings/sec, 85 secs
lola: 346624 markings, 35795007 edges, 3485 markings/sec, 90 secs
lola: 361569 markings, 37620444 edges, 2989 markings/sec, 95 secs
lola: 376965 markings, 39386147 edges, 3079 markings/sec, 100 secs
lola: 392047 markings, 41114671 edges, 3016 markings/sec, 105 secs
lola: 407873 markings, 42813536 edges, 3165 markings/sec, 110 secs
lola: 421963 markings, 44543809 edges, 2818 markings/sec, 115 secs
lola: 436737 markings, 46232263 edges, 2955 markings/sec, 120 secs
lola: 451119 markings, 47880834 edges, 2876 markings/sec, 125 secs
lola: 465887 markings, 49497065 edges, 2954 markings/sec, 130 secs
lola: 484586 markings, 51706701 edges, 3740 markings/sec, 135 secs
lola: 503319 markings, 53861034 edges, 3747 markings/sec, 140 secs
lola: 521567 markings, 55931136 edges, 3650 markings/sec, 145 secs
lola: 539409 markings, 57948283 edges, 3568 markings/sec, 150 secs
lola: 555385 markings, 59810469 edges, 3195 markings/sec, 155 secs
lola: 571568 markings, 61558404 edges, 3237 markings/sec, 160 secs
lola: 586219 markings, 63291112 edges, 2930 markings/sec, 165 secs
lola: 600193 markings, 64912768 edges, 2795 markings/sec, 170 secs
lola: 613890 markings, 66506255 edges, 2739 markings/sec, 175 secs
lola: 627746 markings, 68095762 edges, 2771 markings/sec, 180 secs
lola: 641374 markings, 69645283 edges, 2726 markings/sec, 185 secs
lola: 654706 markings, 71181757 edges, 2666 markings/sec, 190 secs
lola: 670775 markings, 72878122 edges, 3214 markings/sec, 195 secs
lola: 687617 markings, 74948362 edges, 3368 markings/sec, 200 secs
lola: 705236 markings, 76940744 edges, 3524 markings/sec, 205 secs
lola: 721837 markings, 78848474 edges, 3320 markings/sec, 210 secs
lola: 738554 markings, 80741997 edges, 3343 markings/sec, 215 secs
lola: 753329 markings, 82462139 edges, 2955 markings/sec, 220 secs
lola: 768014 markings, 84116072 edges, 2937 markings/sec, 225 secs
lola: 783112 markings, 85727019 edges, 3020 markings/sec, 230 secs
lola: 796293 markings, 87307878 edges, 2636 markings/sec, 235 secs
lola: 809599 markings, 88862390 edges, 2661 markings/sec, 240 secs
lola: 823155 markings, 90408133 edges, 2711 markings/sec, 245 secs
lola: 836273 markings, 91911482 edges, 2624 markings/sec, 250 secs
lola: 849362 markings, 93395416 edges, 2618 markings/sec, 255 secs
lola: 862603 markings, 94934001 edges, 2648 markings/sec, 260 secs
lola: 879653 markings, 96912088 edges, 3410 markings/sec, 265 secs
lola: 896792 markings, 98867243 edges, 3428 markings/sec, 270 secs
lola: 913661 markings, 100715998 edges, 3374 markings/sec, 275 secs
lola: 929449 markings, 102580755 edges, 3158 markings/sec, 280 secs
lola: 944482 markings, 104328984 edges, 3007 markings/sec, 285 secs
lola: 958573 markings, 105945166 edges, 2818 markings/sec, 290 secs
lola: 973388 markings, 107518572 edges, 2963 markings/sec, 295 secs
lola: 986886 markings, 109056921 edges, 2700 markings/sec, 300 secs
lola: 999999 markings, 110555439 edges, 2623 markings/sec, 305 secs
lola: 1012692 markings, 112048572 edges, 2539 markings/sec, 310 secs
lola: 1025677 markings, 113518853 edges, 2597 markings/sec, 315 secs
lola: 1037544 markings, 114986545 edges, 2373 markings/sec, 320 secs
lola: 1050218 markings, 116431197 edges, 2535 markings/sec, 325 secs
lola: 1065376 markings, 118040588 edges, 3032 markings/sec, 330 secs
lola: 1081447 markings, 120001343 edges, 3214 markings/sec, 335 secs
lola: 1098766 markings, 121851645 edges, 3464 markings/sec, 340 secs
lola: 1113895 markings, 123709419 edges, 3026 markings/sec, 345 secs
lola: 1129400 markings, 125498151 edges, 3101 markings/sec, 350 secs
lola: 1144720 markings, 127151311 edges, 3064 markings/sec, 355 secs
lola: 1158163 markings, 128745634 edges, 2689 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: 40196 markings, 987243 edges, 8039 markings/sec, 0 secs
lola: 57019 markings, 2987965 edges, 3365 markings/sec, 5 secs
lola: 78930 markings, 5002621 edges, 4382 markings/sec, 10 secs
lola: 100491 markings, 7013297 edges, 4312 markings/sec, 15 secs
lola: 124375 markings, 8876758 edges, 4777 markings/sec, 20 secs
lola: 150007 markings, 10690681 edges, 5126 markings/sec, 25 secs
lola: 185383 markings, 11750455 edges, 7075 markings/sec, 30 secs
lola: 219611 markings, 12838584 edges, 6846 markings/sec, 35 secs
lola: 246755 markings, 14162920 edges, 5429 markings/sec, 40 secs
lola: 259518 markings, 16017126 edges, 2553 markings/sec, 45 secs
lola: 266374 markings, 18327198 edges, 1371 markings/sec, 50 secs
lola: 271986 markings, 20955966 edges, 1122 markings/sec, 55 secs
lola: 277572 markings, 23621801 edges, 1117 markings/sec, 60 secs
lola: 283415 markings, 26356906 edges, 1169 markings/sec, 65 secs
lola: 289469 markings, 29254177 edges, 1211 markings/sec, 70 secs
lola: 300515 markings, 31857486 edges, 2209 markings/sec, 75 secs
lola: 334191 markings, 33193914 edges, 6735 markings/sec, 80 secs
lola: 357273 markings, 35196192 edges, 4616 markings/sec, 85 secs
lola: 378231 markings, 37266605 edges, 4192 markings/sec, 90 secs
lola: 397909 markings, 39257472 edges, 3936 markings/sec, 95 secs
lola: 436613 markings, 40203868 edges, 7741 markings/sec, 100 secs
lola: 472491 markings, 41247529 edges, 7176 markings/sec, 105 secs
lola: 501626 markings, 42528912 edges, 5827 markings/sec, 110 secs
lola: 515282 markings, 44407226 edges, 2731 markings/sec, 115 secs
lola: 522916 markings, 46809792 edges, 1527 markings/sec, 120 secs
lola: 528957 markings, 49564010 edges, 1208 markings/sec, 125 secs
lola: 534874 markings, 52363798 edges, 1183 markings/sec, 130 secs
lola: 540731 markings, 55182052 edges, 1171 markings/sec, 135 secs
lola: 546720 markings, 58135870 edges, 1198 markings/sec, 140 secs
lola: 558640 markings, 60771874 edges, 2384 markings/sec, 145 secs
lola: 578721 markings, 62531712 edges, 4016 markings/sec, 150 secs
lola: 605175 markings, 63996714 edges, 5291 markings/sec, 155 secs
lola: 628566 markings, 65659059 edges, 4678 markings/sec, 160 secs
lola: 665218 markings, 66567829 edges, 7330 markings/sec, 165 secs
lola: 698646 markings, 67557669 edges, 6686 markings/sec, 170 secs
lola: 725502 markings, 68714370 edges, 5371 markings/sec, 175 secs
lola: 740463 markings, 70265718 edges, 2992 markings/sec, 180 secs
lola: 748267 markings, 72141997 edges, 1561 markings/sec, 185 secs
lola: 753101 markings, 74389606 edges, 967 markings/sec, 190 secs
lola: 757982 markings, 76688407 edges, 976 markings/sec, 195 secs
lola: 762861 markings, 79044494 edges, 976 markings/sec, 200 secs
lola: 767919 markings, 81481715 edges, 1012 markings/sec, 205 secs
lola: 773003 markings, 83972667 edges, 1017 markings/sec, 210 secs
lola: 778266 markings, 86550836 edges, 1053 markings/sec, 215 secs
lola: 814162 markings, 87665019 edges, 7179 markings/sec, 220 secs
lola: 835157 markings, 89729761 edges, 4199 markings/sec, 225 secs
lola: 875062 markings, 90620035 edges, 7981 markings/sec, 230 secs
lola: 912567 markings, 91588605 edges, 7501 markings/sec, 235 secs
lola: 947065 markings, 92674092 edges, 6900 markings/sec, 240 secs
lola: 971327 markings, 94149923 edges, 4852 markings/sec, 245 secs
lola: 981609 markings, 96141072 edges, 2056 markings/sec, 250 secs
lola: 987862 markings, 98774510 edges, 1251 markings/sec, 255 secs
lola: 993625 markings, 101524739 edges, 1153 markings/sec, 260 secs
lola: 999400 markings, 104309253 edges, 1155 markings/sec, 265 secs
lola: 1005154 markings, 107084446 edges, 1151 markings/sec, 270 secs
lola: 1010980 markings, 109958546 edges, 1165 markings/sec, 275 secs
lola: 1031145 markings, 111995677 edges, 4033 markings/sec, 280 secs
lola: 1072353 markings, 112803873 edges, 8242 markings/sec, 285 secs
lola: 1113401 markings, 113671909 edges, 8210 markings/sec, 290 secs
lola: 1153225 markings, 114568965 edges, 7965 markings/sec, 295 secs
lola: 1187742 markings, 115653034 edges, 6903 markings/sec, 300 secs
lola: 1217376 markings, 116920476 edges, 5927 markings/sec, 305 secs
lola: 1231331 markings, 118791989 edges, 2791 markings/sec, 310 secs
lola: 1238973 markings, 121135328 edges, 1528 markings/sec, 315 secs
lola: 1244655 markings, 123882130 edges, 1136 markings/sec, 320 secs
lola: 1250356 markings, 126666617 edges, 1140 markings/sec, 325 secs
lola: 1256131 markings, 129513091 edges, 1155 markings/sec, 330 secs
lola: 1261961 markings, 132344738 edges, 1166 markings/sec, 335 secs
lola: 1270730 markings, 135142008 edges, 1754 markings/sec, 340 secs
lola: 1312290 markings, 135961424 edges, 8312 markings/sec, 345 secs
lola: 1352717 markings, 136784957 edges, 8085 markings/sec, 350 secs
lola: 1392422 markings, 137638387 edges, 7941 markings/sec, 355 secs
lola: 1433128 markings, 138459397 edges, 8141 markings/sec, 360 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown 1 unknown unknown
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 1496444276376

--------------------
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-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/S_CloudDeployment-PT-7a.tgz
mv S_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 S_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 r098-ebro-149488455400056"
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 ;