Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_ResAllocation-PT-R003C020, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432800092
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496440088435


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


checking for too many tokens
===========================================================================================
S_ResAllocation-PT-R003C020: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_ResAllocation-PT-R003C020 @ 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: 200/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 120 places, 80 transitions, 60 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 140 transition conflict sets
lola: TASK
lola: reading formula from ResAllocation-PT-R003C020-UpperBounds.task
lola: MAX(r_19_1) : MAX(r_0_0) : MAX(r_13_1) : MAX(r_7_2) : MAX(r_18_2) : MAX(p_14_0) : MAX(r_11_1) : MAX(p_3_2) : MAX(p_15_1) : MAX(r_6_2) : MAX(p_15_0) : MAX(r_6_1) : MAX(r_15_0) : MAX(p_8_1) : MAX(r_8_0) : MAX(p_11_2)
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(r_19_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 4285809 markings, 4537134 edges, 857162 markings/sec, 0 secs
lola: 7863386 markings, 8632471 edges, 715515 markings/sec, 5 secs
lola: 11281640 markings, 12884224 edges, 683651 markings/sec, 10 secs
lola: 14785782 markings, 17257530 edges, 700828 markings/sec, 15 secs
lola: 18077257 markings, 21760564 edges, 658295 markings/sec, 20 secs
lola: 21024339 markings, 26198298 edges, 589416 markings/sec, 25 secs
lola: 24038166 markings, 30307081 edges, 602765 markings/sec, 30 secs
lola: 26888799 markings, 34348623 edges, 570127 markings/sec, 35 secs
lola: 29536034 markings, 38595910 edges, 529447 markings/sec, 40 secs
lola: 32194505 markings, 42873277 edges, 531694 markings/sec, 45 secs
lola: 34655807 markings, 47344454 edges, 492260 markings/sec, 50 secs
lola: 36866814 markings, 51469653 edges, 442201 markings/sec, 55 secs
lola: 39329331 markings, 55631165 edges, 492503 markings/sec, 60 secs
lola: 42317570 markings, 59683548 edges, 597648 markings/sec, 65 secs
lola: 45003032 markings, 63666060 edges, 537092 markings/sec, 70 secs
lola: 47515269 markings, 68008183 edges, 502447 markings/sec, 75 secs
lola: 49964594 markings, 72617132 edges, 489865 markings/sec, 80 secs
lola: 51986171 markings, 76925218 edges, 404315 markings/sec, 85 secs
lola: 54093927 markings, 81069828 edges, 421551 markings/sec, 90 secs
lola: 55843070 markings, 84645272 edges, 349829 markings/sec, 95 secs
lola: 57855659 markings, 89024597 edges, 402518 markings/sec, 100 secs
lola: 59749583 markings, 93513248 edges, 378785 markings/sec, 105 secs
lola: 61603394 markings, 98019370 edges, 370762 markings/sec, 110 secs
lola: 63323244 markings, 102411993 edges, 343970 markings/sec, 115 secs
lola: 65063667 markings, 106793286 edges, 348085 markings/sec, 120 secs
lola: 66766352 markings, 110847677 edges, 340537 markings/sec, 125 secs
lola: 69128907 markings, 115436570 edges, 472511 markings/sec, 130 secs
lola: 71822911 markings, 119667724 edges, 538801 markings/sec, 135 secs
lola: 74242629 markings, 123942235 edges, 483944 markings/sec, 140 secs
lola: 76772113 markings, 128844407 edges, 505897 markings/sec, 145 secs
lola: 79029873 markings, 133420709 edges, 451552 markings/sec, 150 secs
lola: 81059423 markings, 137755493 edges, 405910 markings/sec, 155 secs
lola: 83277287 markings, 142370065 edges, 443573 markings/sec, 160 secs
lola: 84900367 markings, 146644309 edges, 324616 markings/sec, 165 secs
lola: 86659357 markings, 150599639 edges, 351798 markings/sec, 170 secs
lola: 88009272 markings, 154390785 edges, 269983 markings/sec, 175 secs
lola: 89808793 markings, 158108554 edges, 359904 markings/sec, 180 secs
lola: 91354491 markings, 161651347 edges, 309140 markings/sec, 185 secs
lola: 92862413 markings, 165251005 edges, 301584 markings/sec, 190 secs
lola: 94990971 markings, 169234214 edges, 425712 markings/sec, 195 secs
lola: 97124398 markings, 173507139 edges, 426685 markings/sec, 200 secs
lola: 99054289 markings, 177573539 edges, 385978 markings/sec, 205 secs
lola: 100844565 markings, 181893030 edges, 358055 markings/sec, 210 secs
lola: 102532570 markings, 186311448 edges, 337601 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(r_0_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3155985 markings, 5176748 edges, 631197 markings/sec, 0 secs
lola: 6040383 markings, 10089120 edges, 576880 markings/sec, 5 secs
lola: 8675295 markings, 14700609 edges, 526982 markings/sec, 10 secs
lola: 11203677 markings, 19309487 edges, 505676 markings/sec, 15 secs
lola: 13589501 markings, 23794234 edges, 477165 markings/sec, 20 secs
lola: 16024247 markings, 28231723 edges, 486949 markings/sec, 25 secs
lola: 18140792 markings, 32347016 edges, 423309 markings/sec, 30 secs
lola: 20086087 markings, 36237688 edges, 389059 markings/sec, 35 secs
lola: 21975199 markings, 40101167 edges, 377822 markings/sec, 40 secs
lola: 23906793 markings, 44163213 edges, 386319 markings/sec, 45 secs
lola: 26105113 markings, 48342471 edges, 439664 markings/sec, 50 secs
lola: 28118214 markings, 52411031 edges, 402620 markings/sec, 55 secs
lola: 30153690 markings, 56703124 edges, 407095 markings/sec, 60 secs
lola: 31891493 markings, 60605648 edges, 347561 markings/sec, 65 secs
lola: 33628267 markings, 64382762 edges, 347355 markings/sec, 70 secs
lola: 35317013 markings, 68343641 edges, 337749 markings/sec, 75 secs
lola: 36918857 markings, 72266098 edges, 320369 markings/sec, 80 secs
lola: 38466157 markings, 75966505 edges, 309460 markings/sec, 85 secs
lola: 40193488 markings, 79708996 edges, 345466 markings/sec, 90 secs
lola: 41934396 markings, 84180265 edges, 348182 markings/sec, 95 secs
lola: 44279251 markings, 88902580 edges, 468971 markings/sec, 100 secs
lola: 46466569 markings, 93486789 edges, 437464 markings/sec, 105 secs
lola: 48483645 markings, 97842553 edges, 403415 markings/sec, 110 secs
lola: 50329418 markings, 102120957 edges, 369155 markings/sec, 115 secs
lola: 52286339 markings, 106645536 edges, 391384 markings/sec, 120 secs
lola: 53899148 markings, 110514321 edges, 322562 markings/sec, 125 secs
lola: 55426842 markings, 114463587 edges, 305539 markings/sec, 130 secs
lola: 56749472 markings, 117985312 edges, 264526 markings/sec, 135 secs
lola: 58470284 markings, 122141327 edges, 344162 markings/sec, 140 secs
lola: 60134829 markings, 126296506 edges, 332909 markings/sec, 145 secs
lola: 61777601 markings, 130533736 edges, 328554 markings/sec, 150 secs
lola: 63308918 markings, 134647779 edges, 306263 markings/sec, 155 secs
lola: 64739627 markings, 138658079 edges, 286142 markings/sec, 160 secs
lola: 66010673 markings, 142367486 edges, 254209 markings/sec, 165 secs
lola: 67295882 markings, 146091689 edges, 257042 markings/sec, 170 secs
lola: 68538238 markings, 149566853 edges, 248471 markings/sec, 175 secs
lola: 69686395 markings, 153125949 edges, 229631 markings/sec, 180 secs
lola: 70946428 markings, 156703990 edges, 252007 markings/sec, 185 secs
lola: 72361890 markings, 160200796 edges, 283092 markings/sec, 190 secs
lola: 73556085 markings, 163388174 edges, 238839 markings/sec, 195 secs
lola: 74228058 markings, 166845726 edges, 134395 markings/sec, 200 secs
lola: 76391518 markings, 170592002 edges, 432692 markings/sec, 205 secs
lola: 78322513 markings, 174180112 edges, 386199 markings/sec, 210 secs
lola: 80140154 markings, 177752554 edges, 363528 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(r_13_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3422923 markings, 5484869 edges, 684585 markings/sec, 0 secs
lola: 5770950 markings, 10889943 edges, 469605 markings/sec, 5 secs
lola: 8063034 markings, 16112845 edges, 458417 markings/sec, 10 secs
lola: 10747437 markings, 21725172 edges, 536881 markings/sec, 15 secs
lola: 12886016 markings, 27144956 edges, 427716 markings/sec, 20 secs
lola: 14828971 markings, 32005379 edges, 388591 markings/sec, 25 secs
lola: 16945634 markings, 37043230 edges, 423333 markings/sec, 30 secs
lola: 18943387 markings, 42003574 edges, 399551 markings/sec, 35 secs
lola: 20840392 markings, 47063906 edges, 379401 markings/sec, 40 secs
lola: 23148425 markings, 52110769 edges, 461607 markings/sec, 45 secs
lola: 25687405 markings, 56997460 edges, 507796 markings/sec, 50 secs
lola: 27816056 markings, 61765633 edges, 425730 markings/sec, 55 secs
lola: 30284038 markings, 66486115 edges, 493596 markings/sec, 60 secs
lola: 31399300 markings, 71271804 edges, 223052 markings/sec, 65 secs
lola: 33402167 markings, 75937788 edges, 400573 markings/sec, 70 secs
lola: 35043570 markings, 81022253 edges, 328281 markings/sec, 75 secs
lola: 36808585 markings, 85459663 edges, 353003 markings/sec, 80 secs
lola: 38965259 markings, 89946296 edges, 431335 markings/sec, 85 secs
lola: 40778233 markings, 94661822 edges, 362595 markings/sec, 90 secs
lola: 42221424 markings, 99129505 edges, 288638 markings/sec, 95 secs
lola: 44226194 markings, 103450677 edges, 400954 markings/sec, 100 secs
lola: 45152971 markings, 107639047 edges, 185355 markings/sec, 105 secs
lola: 47505536 markings, 111875967 edges, 470513 markings/sec, 110 secs
lola: 49340867 markings, 116209265 edges, 367066 markings/sec, 115 secs
lola: 50813898 markings, 120317626 edges, 294606 markings/sec, 120 secs
lola: 52625431 markings, 124465259 edges, 362307 markings/sec, 125 secs
lola: 53932706 markings, 128469595 edges, 261455 markings/sec, 130 secs
lola: 54811621 markings, 132392172 edges, 175783 markings/sec, 135 secs
lola: 57309885 markings, 137041183 edges, 499653 markings/sec, 140 secs
lola: 59701832 markings, 141812073 edges, 478389 markings/sec, 145 secs
lola: 62096095 markings, 146566605 edges, 478853 markings/sec, 150 secs
lola: 64970022 markings, 151299026 edges, 574785 markings/sec, 155 secs
lola: 66989541 markings, 155875917 edges, 403904 markings/sec, 160 secs
lola: 68890873 markings, 160296114 edges, 380266 markings/sec, 165 secs
lola: 71830778 markings, 164787993 edges, 587981 markings/sec, 170 secs
lola: 73704331 markings, 169168973 edges, 374711 markings/sec, 175 secs
lola: 75693149 markings, 173433266 edges, 397764 markings/sec, 180 secs
lola: 77260630 markings, 177385321 edges, 313496 markings/sec, 185 secs
lola: 78734484 markings, 181345090 edges, 294771 markings/sec, 190 secs
lola: 80926806 markings, 185407944 edges, 438464 markings/sec, 195 secs
lola: 83249319 markings, 189502842 edges, 464503 markings/sec, 200 secs
lola: 85128610 markings, 193579226 edges, 375858 markings/sec, 205 secs
lola: 87367631 markings, 197874205 edges, 447804 markings/sec, 210 secs
lola: 88909237 markings, 201735938 edges, 308321 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(r_7_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 2532095 markings, 5071227 edges, 506419 markings/sec, 0 secs
lola: 5744214 markings, 9775279 edges, 642424 markings/sec, 5 secs
lola: 8884419 markings, 14499829 edges, 628041 markings/sec, 10 secs
lola: 11747368 markings, 18943901 edges, 572590 markings/sec, 15 secs
lola: 14534935 markings, 23200681 edges, 557513 markings/sec, 20 secs
lola: 16808760 markings, 27295883 edges, 454765 markings/sec, 25 secs
lola: 19516161 markings, 31817817 edges, 541480 markings/sec, 30 secs
lola: 22075506 markings, 36139362 edges, 511869 markings/sec, 35 secs
lola: 24245349 markings, 39993144 edges, 433969 markings/sec, 40 secs
lola: 27159929 markings, 44522296 edges, 582916 markings/sec, 45 secs
lola: 29760405 markings, 48816404 edges, 520095 markings/sec, 50 secs
lola: 32704349 markings, 53176714 edges, 588789 markings/sec, 55 secs
lola: 34736280 markings, 57041439 edges, 406386 markings/sec, 60 secs
lola: 37513148 markings, 61428930 edges, 555374 markings/sec, 65 secs
lola: 39606668 markings, 65218800 edges, 418704 markings/sec, 70 secs
lola: 41168351 markings, 68619706 edges, 312337 markings/sec, 75 secs
lola: 43492296 markings, 73054265 edges, 464789 markings/sec, 80 secs
lola: 45776406 markings, 77604956 edges, 456822 markings/sec, 85 secs
lola: 48450145 markings, 82451570 edges, 534748 markings/sec, 90 secs
lola: 50562941 markings, 86707943 edges, 422559 markings/sec, 95 secs
lola: 52425203 markings, 90729614 edges, 372452 markings/sec, 100 secs
lola: 54871657 markings, 95065649 edges, 489291 markings/sec, 105 secs
lola: 57084258 markings, 99227014 edges, 442520 markings/sec, 110 secs
lola: 58624640 markings, 103076187 edges, 308076 markings/sec, 115 secs
lola: 61283724 markings, 107634151 edges, 531817 markings/sec, 120 secs
lola: 63629279 markings, 111923255 edges, 469111 markings/sec, 125 secs
lola: 65608433 markings, 115812529 edges, 395831 markings/sec, 130 secs
lola: 67350076 markings, 119467229 edges, 348329 markings/sec, 135 secs
lola: 69559697 markings, 123998227 edges, 441924 markings/sec, 140 secs
lola: 71097565 markings, 127688126 edges, 307574 markings/sec, 145 secs
lola: 72583927 markings, 131073302 edges, 297272 markings/sec, 150 secs
lola: 75536375 markings, 135789554 edges, 590490 markings/sec, 155 secs
lola: 78307643 markings, 140374890 edges, 554254 markings/sec, 160 secs
lola: 81007798 markings, 144540013 edges, 540031 markings/sec, 165 secs
lola: 83402058 markings, 148806064 edges, 478852 markings/sec, 170 secs
lola: 86019492 markings, 152802736 edges, 523487 markings/sec, 175 secs
lola: 87870688 markings, 156281829 edges, 370239 markings/sec, 180 secs
lola: 89517490 markings, 159853934 edges, 329360 markings/sec, 185 secs
lola: 92249794 markings, 164092587 edges, 546461 markings/sec, 190 secs
lola: 94199430 markings, 167481540 edges, 389927 markings/sec, 195 secs
lola: 96119369 markings, 171156307 edges, 383988 markings/sec, 200 secs
lola: 98083718 markings, 174794654 edges, 392870 markings/sec, 205 secs
lola: 99907566 markings, 178443443 edges, 364770 markings/sec, 210 secs
lola: 101678739 markings, 181939237 edges, 354235 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(r_18_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 4325480 markings, 4579567 edges, 865096 markings/sec, 0 secs
lola: 7969357 markings, 8754516 edges, 728775 markings/sec, 5 secs
lola: 11341437 markings, 12951673 edges, 674416 markings/sec, 10 secs
lola: 14678841 markings, 17122495 edges, 667481 markings/sec, 15 secs
lola: 17781092 markings, 21342108 edges, 620450 markings/sec, 20 secs
lola: 20578015 markings, 25574632 edges, 559385 markings/sec, 25 secs
lola: 23637076 markings, 29757767 edges, 611812 markings/sec, 30 secs
lola: 26401254 markings, 33632508 edges, 552836 markings/sec, 35 secs
lola: 29203657 markings, 38035859 edges, 560481 markings/sec, 40 secs
lola: 31803473 markings, 42216520 edges, 519963 markings/sec, 45 secs
lola: 34398610 markings, 46847678 edges, 519027 markings/sec, 50 secs
lola: 36714758 markings, 51178982 edges, 463230 markings/sec, 55 secs
lola: 39134596 markings, 55381651 edges, 483968 markings/sec, 60 secs
lola: 42276889 markings, 59621640 edges, 628459 markings/sec, 65 secs
lola: 45130840 markings, 63871525 edges, 570790 markings/sec, 70 secs
lola: 47775124 markings, 68479754 edges, 528857 markings/sec, 75 secs
lola: 50224174 markings, 73156331 edges, 489810 markings/sec, 80 secs
lola: 52235218 markings, 77476563 edges, 402209 markings/sec, 85 secs
lola: 54406936 markings, 81690749 edges, 434344 markings/sec, 90 secs
lola: 56158601 markings, 85304607 edges, 350333 markings/sec, 95 secs
lola: 58093123 markings, 89518080 edges, 386904 markings/sec, 100 secs
lola: 59960010 markings, 94022171 edges, 373377 markings/sec, 105 secs
lola: 61785911 markings, 98519691 edges, 365180 markings/sec, 110 secs
lola: 63538486 markings, 102956691 edges, 350515 markings/sec, 115 secs
lola: 65204677 markings, 107134613 edges, 333238 markings/sec, 120 secs
lola: 66763978 markings, 110822373 edges, 311860 markings/sec, 125 secs
lola: 68873519 markings, 115048802 edges, 421908 markings/sec, 130 secs
lola: 71524681 markings, 119255079 edges, 530232 markings/sec, 135 secs
lola: 74058948 markings, 124086517 edges, 506853 markings/sec, 140 secs
lola: 76300411 markings, 128772612 edges, 448293 markings/sec, 145 secs
lola: 78253413 markings, 132967934 edges, 390600 markings/sec, 150 secs
lola: 80175959 markings, 137025844 edges, 384509 markings/sec, 155 secs
lola: 81898551 markings, 141057970 edges, 344518 markings/sec, 160 secs
lola: 83783945 markings, 144980987 edges, 377079 markings/sec, 165 secs
lola: 86087203 markings, 149101614 edges, 460652 markings/sec, 170 secs
lola: 88551601 markings, 153218845 edges, 492880 markings/sec, 175 secs
lola: 90853830 markings, 157465251 edges, 460446 markings/sec, 180 secs
lola: 92989837 markings, 161741803 edges, 427201 markings/sec, 185 secs
lola: 94833653 markings, 165784593 edges, 368763 markings/sec, 190 secs
lola: 96649182 markings, 170347370 edges, 363106 markings/sec, 195 secs
lola: 98428708 markings, 174930578 edges, 355905 markings/sec, 200 secs
lola: 100043925 markings, 179273987 edges, 323043 markings/sec, 205 secs
lola: 101634717 markings, 183593946 edges, 318158 markings/sec, 210 secs
lola: 103076579 markings, 187677209 edges, 288372 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(p_14_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 4247154 markings, 5166253 edges, 849431 markings/sec, 0 secs
lola: 8092248 markings, 10595404 edges, 769019 markings/sec, 5 secs
lola: 11819902 markings, 15924679 edges, 745531 markings/sec, 10 secs
lola: 14541391 markings, 21424002 edges, 544298 markings/sec, 15 secs
lola: 17234252 markings, 26846690 edges, 538572 markings/sec, 20 secs
lola: 20101937 markings, 31988799 edges, 573537 markings/sec, 25 secs
lola: 23112193 markings, 36908104 edges, 602051 markings/sec, 30 secs
lola: 25718796 markings, 41598735 edges, 521321 markings/sec, 35 secs
lola: 28518086 markings, 46171176 edges, 559858 markings/sec, 40 secs
lola: 30931547 markings, 50883614 edges, 482692 markings/sec, 45 secs
lola: 33331898 markings, 55536856 edges, 480070 markings/sec, 50 secs
lola: 36262140 markings, 60210352 edges, 586048 markings/sec, 55 secs
lola: 37812056 markings, 64563288 edges, 309983 markings/sec, 60 secs
lola: 40501415 markings, 69530730 edges, 537872 markings/sec, 65 secs
lola: 43047243 markings, 74769546 edges, 509166 markings/sec, 70 secs
lola: 45968068 markings, 79729641 edges, 584165 markings/sec, 75 secs
lola: 48955125 markings, 84505476 edges, 597411 markings/sec, 80 secs
lola: 51380817 markings, 89384422 edges, 485138 markings/sec, 85 secs
lola: 53109904 markings, 93994523 edges, 345817 markings/sec, 90 secs
lola: 56182966 markings, 98563975 edges, 614612 markings/sec, 95 secs
lola: 58543915 markings, 103106147 edges, 472190 markings/sec, 100 secs
lola: 61123016 markings, 107768569 edges, 515820 markings/sec, 105 secs
lola: 62745789 markings, 112120469 edges, 324555 markings/sec, 110 secs
lola: 64258595 markings, 116288892 edges, 302561 markings/sec, 115 secs
lola: 66321266 markings, 120268026 edges, 412534 markings/sec, 120 secs
lola: 69443656 markings, 124658146 edges, 624478 markings/sec, 125 secs
lola: 71560651 markings, 129273947 edges, 423399 markings/sec, 130 secs
lola: 74074990 markings, 133640975 edges, 502868 markings/sec, 135 secs
lola: 76861875 markings, 138056018 edges, 557377 markings/sec, 140 secs
lola: 79140550 markings, 142420615 edges, 455735 markings/sec, 145 secs
lola: 80681153 markings, 146751010 edges, 308121 markings/sec, 150 secs
lola: 82038146 markings, 150985840 edges, 271399 markings/sec, 155 secs
lola: 84932555 markings, 155265224 edges, 578882 markings/sec, 160 secs
lola: 88149992 markings, 159712548 edges, 643487 markings/sec, 165 secs
lola: 90044351 markings, 163976318 edges, 378872 markings/sec, 170 secs
lola: 91415261 markings, 168033811 edges, 274182 markings/sec, 175 secs
lola: 92742291 markings, 172037428 edges, 265406 markings/sec, 180 secs
lola: 93963194 markings, 175862013 edges, 244181 markings/sec, 185 secs
lola: 96986164 markings, 180261156 edges, 604594 markings/sec, 190 secs
lola: 99541517 markings, 184548369 edges, 511071 markings/sec, 195 secs
lola: 101529214 markings, 188970835 edges, 397539 markings/sec, 200 secs
lola: 103319600 markings, 193254371 edges, 358077 markings/sec, 205 secs
lola: 105031776 markings, 197130696 edges, 342435 markings/sec, 210 secs
lola: 106687137 markings, 201093808 edges, 331072 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(r_11_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3513486 markings, 5785483 edges, 702697 markings/sec, 0 secs
lola: 6396043 markings, 11056355 edges, 576511 markings/sec, 5 secs
lola: 9630531 markings, 16288312 edges, 646898 markings/sec, 10 secs
lola: 12371053 markings, 21421319 edges, 548104 markings/sec, 15 secs
lola: 14700828 markings, 26151642 edges, 465955 markings/sec, 20 secs
lola: 17262636 markings, 30790119 edges, 512362 markings/sec, 25 secs
lola: 20079833 markings, 35962180 edges, 563439 markings/sec, 30 secs
lola: 23191366 markings, 41455321 edges, 622307 markings/sec, 35 secs
lola: 25959772 markings, 46560873 edges, 553681 markings/sec, 40 secs
lola: 28515016 markings, 51317962 edges, 511049 markings/sec, 45 secs
lola: 30631670 markings, 55698666 edges, 423331 markings/sec, 50 secs
lola: 32882654 markings, 60227950 edges, 450197 markings/sec, 55 secs
lola: 35146357 markings, 64753737 edges, 452741 markings/sec, 60 secs
lola: 37018582 markings, 69016816 edges, 374445 markings/sec, 65 secs
lola: 38941729 markings, 73210387 edges, 384629 markings/sec, 70 secs
lola: 41602709 markings, 77917944 edges, 532196 markings/sec, 75 secs
lola: 43685847 markings, 82318348 edges, 416628 markings/sec, 80 secs
lola: 45584991 markings, 86373132 edges, 379829 markings/sec, 85 secs
lola: 48054201 markings, 90861672 edges, 493842 markings/sec, 90 secs
lola: 50066662 markings, 95376104 edges, 402492 markings/sec, 95 secs
lola: 52075130 markings, 99506514 edges, 401694 markings/sec, 100 secs
lola: 53926117 markings, 103486168 edges, 370197 markings/sec, 105 secs
lola: 55259197 markings, 107103968 edges, 266616 markings/sec, 110 secs
lola: 57526606 markings, 111763437 edges, 453482 markings/sec, 115 secs
lola: 59706352 markings, 116242502 edges, 435949 markings/sec, 120 secs
lola: 61876629 markings, 120686599 edges, 434055 markings/sec, 125 secs
lola: 63894645 markings, 124913296 edges, 403603 markings/sec, 130 secs
lola: 65870301 markings, 129062471 edges, 395131 markings/sec, 135 secs
lola: 67582957 markings, 132897865 edges, 342531 markings/sec, 140 secs
lola: 69363567 markings, 136842540 edges, 356122 markings/sec, 145 secs
lola: 71440109 markings, 141039904 edges, 415308 markings/sec, 150 secs
lola: 73341616 markings, 145460299 edges, 380301 markings/sec, 155 secs
lola: 75251034 markings, 149507693 edges, 381884 markings/sec, 160 secs
lola: 76942104 markings, 153418522 edges, 338214 markings/sec, 165 secs
lola: 78428772 markings, 157383069 edges, 297334 markings/sec, 170 secs
lola: 80007342 markings, 161183639 edges, 315714 markings/sec, 175 secs
lola: 81750358 markings, 165211221 edges, 348603 markings/sec, 180 secs
lola: 83700733 markings, 169312732 edges, 390075 markings/sec, 185 secs
lola: 85426525 markings, 173100310 edges, 345158 markings/sec, 190 secs
lola: 87152502 markings, 176814711 edges, 345195 markings/sec, 195 secs
lola: 89042186 markings, 180510144 edges, 377937 markings/sec, 200 secs
lola: 90512377 markings, 184359714 edges, 294038 markings/sec, 205 secs
lola: 91922431 markings, 188200390 edges, 282011 markings/sec, 210 secs
lola: 93406486 markings, 192094189 edges, 296811 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3293802 markings, 4200872 edges, 658760 markings/sec, 0 secs
lola: 5833312 markings, 8472919 edges, 507902 markings/sec, 5 secs
lola: 7667109 markings, 12470883 edges, 366759 markings/sec, 10 secs
lola: 10521839 markings, 16611109 edges, 570946 markings/sec, 15 secs
lola: 13011777 markings, 20574923 edges, 497988 markings/sec, 20 secs
lola: 15108627 markings, 24552651 edges, 419370 markings/sec, 25 secs
lola: 17530524 markings, 28602870 edges, 484379 markings/sec, 30 secs
lola: 21248363 markings, 32764979 edges, 743568 markings/sec, 35 secs
lola: 24462346 markings, 36668428 edges, 642797 markings/sec, 40 secs
lola: 27361021 markings, 40480708 edges, 579735 markings/sec, 45 secs
lola: 30298577 markings, 44447384 edges, 587511 markings/sec, 50 secs
lola: 32781695 markings, 48174957 edges, 496624 markings/sec, 55 secs
lola: 35367589 markings, 52001597 edges, 517179 markings/sec, 60 secs
lola: 38380228 markings, 56242505 edges, 602528 markings/sec, 65 secs
lola: 40707820 markings, 60367864 edges, 465518 markings/sec, 70 secs
lola: 42434323 markings, 64206608 edges, 345301 markings/sec, 75 secs
lola: 45977690 markings, 68276297 edges, 708673 markings/sec, 80 secs
lola: 49350349 markings, 72213284 edges, 674532 markings/sec, 85 secs
lola: 52363115 markings, 76125958 edges, 602553 markings/sec, 90 secs
lola: 55426416 markings, 80069659 edges, 612660 markings/sec, 95 secs
lola: 58067398 markings, 83862286 edges, 528196 markings/sec, 100 secs
lola: 60370642 markings, 87542241 edges, 460649 markings/sec, 105 secs
lola: 63417074 markings, 91655419 edges, 609286 markings/sec, 110 secs
lola: 66048896 markings, 95841788 edges, 526364 markings/sec, 115 secs
lola: 68038400 markings, 99844066 edges, 397901 markings/sec, 120 secs
lola: 70183205 markings, 103911259 edges, 428961 markings/sec, 125 secs
lola: 72903235 markings, 108109279 edges, 544006 markings/sec, 130 secs
lola: 75354029 markings, 112101627 edges, 490159 markings/sec, 135 secs
lola: 77682817 markings, 116077002 edges, 465758 markings/sec, 140 secs
lola: 79793609 markings, 119824996 edges, 422158 markings/sec, 145 secs
lola: 82029125 markings, 123657189 edges, 447103 markings/sec, 150 secs
lola: 83942827 markings, 127219098 edges, 382740 markings/sec, 155 secs
lola: 85702725 markings, 130710743 edges, 351980 markings/sec, 160 secs
lola: 87239355 markings, 134094748 edges, 307326 markings/sec, 165 secs
lola: 88499599 markings, 137781102 edges, 252049 markings/sec, 170 secs
lola: 89757236 markings, 141518193 edges, 251527 markings/sec, 175 secs
lola: 90975605 markings, 145178933 edges, 243674 markings/sec, 180 secs
lola: 92195946 markings, 148906161 edges, 244068 markings/sec, 185 secs
lola: 93394471 markings, 152612200 edges, 239705 markings/sec, 190 secs
lola: 94609248 markings, 156373192 edges, 242955 markings/sec, 195 secs
lola: 95666001 markings, 159743876 edges, 211351 markings/sec, 200 secs
lola: 96711833 markings, 163158596 edges, 209166 markings/sec, 205 secs
lola: 97809357 markings, 166698060 edges, 219505 markings/sec, 210 secs
lola: 98978501 markings, 170295246 edges, 233829 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_15_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 2789764 markings, 4560529 edges, 557953 markings/sec, 0 secs
lola: 5417654 markings, 8873048 edges, 525578 markings/sec, 5 secs
lola: 8655747 markings, 13208989 edges, 647619 markings/sec, 10 secs
lola: 11490727 markings, 17542814 edges, 566996 markings/sec, 15 secs
lola: 14203153 markings, 22353559 edges, 542485 markings/sec, 20 secs
lola: 16272834 markings, 27502741 edges, 413936 markings/sec, 25 secs
lola: 17932231 markings, 32589699 edges, 331879 markings/sec, 30 secs
lola: 21151458 markings, 37323680 edges, 643845 markings/sec, 35 secs
lola: 23997276 markings, 42147281 edges, 569164 markings/sec, 40 secs
lola: 27138778 markings, 47277492 edges, 628300 markings/sec, 45 secs
lola: 29177226 markings, 52844886 edges, 407690 markings/sec, 50 secs
lola: 30360663 markings, 58483741 edges, 236687 markings/sec, 55 secs
lola: 31571058 markings, 64234061 edges, 242079 markings/sec, 60 secs
lola: 33831970 markings, 68956010 edges, 452182 markings/sec, 65 secs
lola: 35800072 markings, 73434722 edges, 393620 markings/sec, 70 secs
lola: 36951708 markings, 78041903 edges, 230327 markings/sec, 75 secs
lola: 37929118 markings, 82931174 edges, 195482 markings/sec, 80 secs
lola: 39892137 markings, 87802436 edges, 392604 markings/sec, 85 secs
lola: 41922914 markings, 93624428 edges, 406155 markings/sec, 90 secs
lola: 44369546 markings, 98868070 edges, 489326 markings/sec, 95 secs
lola: 45582922 markings, 104307186 edges, 242675 markings/sec, 100 secs
lola: 48612325 markings, 108876291 edges, 605881 markings/sec, 105 secs
lola: 49865032 markings, 113764877 edges, 250541 markings/sec, 110 secs
lola: 50907484 markings, 118551381 edges, 208490 markings/sec, 115 secs
lola: 52684692 markings, 122698694 edges, 355442 markings/sec, 120 secs
lola: 55439061 markings, 126750651 edges, 550874 markings/sec, 125 secs
lola: 57350370 markings, 131127359 edges, 382262 markings/sec, 130 secs
lola: 58189776 markings, 134995830 edges, 167881 markings/sec, 135 secs
lola: 59020848 markings, 138896593 edges, 166214 markings/sec, 140 secs
lola: 59901495 markings, 143114743 edges, 176129 markings/sec, 145 secs
lola: 60680652 markings, 146852246 edges, 155831 markings/sec, 150 secs
lola: 61484536 markings, 150346512 edges, 160777 markings/sec, 155 secs
lola: 63527104 markings, 154443291 edges, 408514 markings/sec, 160 secs
lola: 65396901 markings, 159071819 edges, 373959 markings/sec, 165 secs
lola: 66624089 markings, 164006439 edges, 245438 markings/sec, 170 secs
lola: 68423056 markings, 168699704 edges, 359793 markings/sec, 175 secs
lola: 70587479 markings, 172913383 edges, 432885 markings/sec, 180 secs
lola: 72879127 markings, 177126332 edges, 458330 markings/sec, 185 secs
lola: 74888275 markings, 181256535 edges, 401830 markings/sec, 190 secs
lola: 76720809 markings, 185290233 edges, 366507 markings/sec, 195 secs
lola: 78277109 markings, 189570788 edges, 311260 markings/sec, 200 secs
lola: 79456424 markings, 193530256 edges, 235863 markings/sec, 205 secs
lola: 80359074 markings, 198064511 edges, 180530 markings/sec, 210 secs
lola: 81190796 markings, 202480788 edges, 166344 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_6_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 2973665 markings, 4825915 edges, 594733 markings/sec, 0 secs
lola: 6443289 markings, 9775684 edges, 693925 markings/sec, 5 secs
lola: 9397501 markings, 14513623 edges, 590842 markings/sec, 10 secs
lola: 12441644 markings, 19205609 edges, 608829 markings/sec, 15 secs
lola: 15143251 markings, 23472838 edges, 540321 markings/sec, 20 secs
lola: 17950186 markings, 27831493 edges, 561387 markings/sec, 25 secs
lola: 20141158 markings, 31939614 edges, 438194 markings/sec, 30 secs
lola: 22662556 markings, 35883945 edges, 504280 markings/sec, 35 secs
lola: 25218655 markings, 40166688 edges, 511220 markings/sec, 40 secs
lola: 27979442 markings, 44380857 edges, 552157 markings/sec, 45 secs
lola: 30407089 markings, 48227830 edges, 485529 markings/sec, 50 secs
lola: 32750692 markings, 51945934 edges, 468721 markings/sec, 55 secs
lola: 34858779 markings, 55512280 edges, 421617 markings/sec, 60 secs
lola: 37593286 markings, 59442451 edges, 546901 markings/sec, 65 secs
lola: 39130823 markings, 62662638 edges, 307507 markings/sec, 70 secs
lola: 40603749 markings, 65815939 edges, 294585 markings/sec, 75 secs
lola: 42893951 markings, 69542395 edges, 458040 markings/sec, 80 secs
lola: 45143061 markings, 73442142 edges, 449822 markings/sec, 85 secs
lola: 47791169 markings, 77758294 edges, 529622 markings/sec, 90 secs
lola: 49949114 markings, 81849180 edges, 431589 markings/sec, 95 secs
lola: 51793952 markings, 85667468 edges, 368968 markings/sec, 100 secs
lola: 54465558 markings, 89780484 edges, 534321 markings/sec, 105 secs
lola: 56598957 markings, 93481239 edges, 426680 markings/sec, 110 secs
lola: 58147343 markings, 97003185 edges, 309677 markings/sec, 115 secs
lola: 60663184 markings, 100926367 edges, 503168 markings/sec, 120 secs
lola: 63023630 markings, 104680146 edges, 472089 markings/sec, 125 secs
lola: 64928581 markings, 108173148 edges, 380990 markings/sec, 130 secs
lola: 66578129 markings, 111418638 edges, 329910 markings/sec, 135 secs
lola: 68845487 markings, 115335027 edges, 453472 markings/sec, 140 secs
lola: 70416355 markings, 118726019 edges, 314174 markings/sec, 145 secs
lola: 71610935 markings, 121902573 edges, 238916 markings/sec, 150 secs
lola: 74562865 markings, 126779015 edges, 590386 markings/sec, 155 secs
lola: 76962988 markings, 131233018 edges, 480025 markings/sec, 160 secs
lola: 79625764 markings, 135596661 edges, 532555 markings/sec, 165 secs
lola: 81609024 markings, 139579500 edges, 396652 markings/sec, 170 secs
lola: 84227115 markings, 143853709 edges, 523618 markings/sec, 175 secs
lola: 86358177 markings, 147631256 edges, 426212 markings/sec, 180 secs
lola: 88207667 markings, 151408178 edges, 369898 markings/sec, 185 secs
lola: 90280888 markings, 155188532 edges, 414644 markings/sec, 190 secs
lola: 92507033 markings, 159050801 edges, 445229 markings/sec, 195 secs
lola: 94197814 markings, 162394097 edges, 338156 markings/sec, 200 secs
lola: 96018149 markings, 165885819 edges, 364067 markings/sec, 205 secs
lola: 98071101 markings, 169595140 edges, 410590 markings/sec, 210 secs
lola: 99698065 markings, 173205527 edges, 325393 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_15_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3528993 markings, 4827505 edges, 705799 markings/sec, 0 secs
lola: 7131629 markings, 9699169 edges, 720527 markings/sec, 5 secs
lola: 9831078 markings, 14872974 edges, 539890 markings/sec, 10 secs
lola: 12318423 markings, 19363645 edges, 497469 markings/sec, 15 secs
lola: 13909046 markings, 23996118 edges, 318125 markings/sec, 20 secs
lola: 17043924 markings, 28322812 edges, 626976 markings/sec, 25 secs
lola: 19636215 markings, 32667495 edges, 518458 markings/sec, 30 secs
lola: 22470573 markings, 37281668 edges, 566872 markings/sec, 35 secs
lola: 24602711 markings, 41864193 edges, 426428 markings/sec, 40 secs
lola: 26786705 markings, 46298196 edges, 436799 markings/sec, 45 secs
lola: 28504542 markings, 51154893 edges, 343567 markings/sec, 50 secs
lola: 29767779 markings, 56210088 edges, 252647 markings/sec, 55 secs
lola: 30770859 markings, 61057492 edges, 200616 markings/sec, 60 secs
lola: 31669174 markings, 65587748 edges, 179663 markings/sec, 65 secs
lola: 32761274 markings, 70756472 edges, 218420 markings/sec, 70 secs
lola: 33719635 markings, 75458101 edges, 191672 markings/sec, 75 secs
lola: 35876415 markings, 79826265 edges, 431356 markings/sec, 80 secs
lola: 39607097 markings, 84292803 edges, 746136 markings/sec, 85 secs
lola: 41949273 markings, 89537061 edges, 468435 markings/sec, 90 secs
lola: 43100168 markings, 94652168 edges, 230179 markings/sec, 95 secs
lola: 44223690 markings, 99690943 edges, 224704 markings/sec, 100 secs
lola: 45338652 markings, 104740563 edges, 222992 markings/sec, 105 secs
lola: 46360177 markings, 109432553 edges, 204305 markings/sec, 110 secs
lola: 48108199 markings, 113905814 edges, 349604 markings/sec, 115 secs
lola: 50965292 markings, 118090405 edges, 571419 markings/sec, 120 secs
lola: 52949733 markings, 122682781 edges, 396888 markings/sec, 125 secs
lola: 53870318 markings, 126932380 edges, 184117 markings/sec, 130 secs
lola: 54846905 markings, 131547276 edges, 195317 markings/sec, 135 secs
lola: 55738393 markings, 135820982 edges, 178298 markings/sec, 140 secs
lola: 56618133 markings, 140066395 edges, 175948 markings/sec, 145 secs
lola: 59180850 markings, 144578959 edges, 512543 markings/sec, 150 secs
lola: 62499609 markings, 149239764 edges, 663752 markings/sec, 155 secs
lola: 65485654 markings, 154159393 edges, 597209 markings/sec, 160 secs
lola: 67636990 markings, 159305709 edges, 430267 markings/sec, 165 secs
lola: 69248757 markings, 164531769 edges, 322353 markings/sec, 170 secs
lola: 70834073 markings, 169329897 edges, 317063 markings/sec, 175 secs
lola: 72544131 markings, 174027913 edges, 342012 markings/sec, 180 secs
lola: 74012929 markings, 178514678 edges, 293760 markings/sec, 185 secs
lola: 75808917 markings, 183115276 edges, 359198 markings/sec, 190 secs
lola: 77878237 markings, 187724559 edges, 413864 markings/sec, 195 secs
lola: 79128380 markings, 191963889 edges, 250029 markings/sec, 200 secs
lola: 80330612 markings, 196027123 edges, 240446 markings/sec, 205 secs
lola: 81409206 markings, 199830047 edges, 215719 markings/sec, 210 secs
lola: 83636416 markings, 203879644 edges, 445442 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 2767379 markings, 5066068 edges, 553476 markings/sec, 0 secs
lola: 5951877 markings, 9809928 edges, 636900 markings/sec, 5 secs
lola: 8761349 markings, 14511368 edges, 561894 markings/sec, 10 secs
lola: 11278288 markings, 19154388 edges, 503388 markings/sec, 15 secs
lola: 13310106 markings, 23314856 edges, 406364 markings/sec, 20 secs
lola: 16208477 markings, 27925195 edges, 579674 markings/sec, 25 secs
lola: 18634138 markings, 32140768 edges, 485132 markings/sec, 30 secs
lola: 20449769 markings, 35843220 edges, 363126 markings/sec, 35 secs
lola: 22866773 markings, 40304275 edges, 483401 markings/sec, 40 secs
lola: 25244672 markings, 44840042 edges, 475580 markings/sec, 45 secs
lola: 27288216 markings, 49276816 edges, 408709 markings/sec, 50 secs
lola: 29450650 markings, 53396015 edges, 432487 markings/sec, 55 secs
lola: 31334138 markings, 57253788 edges, 376698 markings/sec, 60 secs
lola: 32902442 markings, 61001554 edges, 313661 markings/sec, 65 secs
lola: 35773865 markings, 65778993 edges, 574285 markings/sec, 70 secs
lola: 38360576 markings, 70220378 edges, 517342 markings/sec, 75 secs
lola: 40323569 markings, 74132943 edges, 392599 markings/sec, 80 secs
lola: 43027531 markings, 78108534 edges, 540792 markings/sec, 85 secs
lola: 44710922 markings, 81621105 edges, 336678 markings/sec, 90 secs
lola: 46011895 markings, 84921035 edges, 260195 markings/sec, 95 secs
lola: 48185605 markings, 88737936 edges, 434742 markings/sec, 100 secs
lola: 50488098 markings, 92945120 edges, 460499 markings/sec, 105 secs
lola: 52586413 markings, 96769390 edges, 419663 markings/sec, 110 secs
lola: 53992407 markings, 100172000 edges, 281199 markings/sec, 115 secs
lola: 55431312 markings, 103731591 edges, 287781 markings/sec, 120 secs
lola: 56618072 markings, 107143991 edges, 237352 markings/sec, 125 secs
lola: 58929670 markings, 111478549 edges, 462320 markings/sec, 130 secs
lola: 60985997 markings, 115856198 edges, 411265 markings/sec, 135 secs
lola: 62862129 markings, 120162869 edges, 375226 markings/sec, 140 secs
lola: 64926021 markings, 124694552 edges, 412778 markings/sec, 145 secs
lola: 66882330 markings, 129221700 edges, 391262 markings/sec, 150 secs
lola: 68549146 markings, 133583446 edges, 333363 markings/sec, 155 secs
lola: 70400024 markings, 137938181 edges, 370176 markings/sec, 160 secs
lola: 71716133 markings, 141857160 edges, 263222 markings/sec, 165 secs
lola: 74203681 markings, 146547686 edges, 497510 markings/sec, 170 secs
lola: 76090276 markings, 150664914 edges, 377319 markings/sec, 175 secs
lola: 77923118 markings, 154677869 edges, 366568 markings/sec, 180 secs
lola: 79320296 markings, 158486540 edges, 279436 markings/sec, 185 secs
lola: 80381878 markings, 162132015 edges, 212316 markings/sec, 190 secs
lola: 82575330 markings, 166453475 edges, 438690 markings/sec, 195 secs
lola: 84778617 markings, 170854320 edges, 440657 markings/sec, 200 secs
lola: 86749822 markings, 174949770 edges, 394241 markings/sec, 205 secs
lola: 88691325 markings, 179036453 edges, 388301 markings/sec, 210 secs
lola: 90005288 markings, 182418632 edges, 262793 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_15_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3522492 markings, 4559789 edges, 704498 markings/sec, 0 secs
lola: 6193726 markings, 9179455 edges, 534247 markings/sec, 5 secs
lola: 8197418 markings, 13758117 edges, 400738 markings/sec, 10 secs
lola: 10537003 markings, 18263464 edges, 467917 markings/sec, 15 secs
lola: 12416622 markings, 23053043 edges, 375924 markings/sec, 20 secs
lola: 14038927 markings, 28102381 edges, 324461 markings/sec, 25 secs
lola: 16241174 markings, 32745169 edges, 440449 markings/sec, 30 secs
lola: 18674638 markings, 37709819 edges, 486693 markings/sec, 35 secs
lola: 20883021 markings, 42584918 edges, 441677 markings/sec, 40 secs
lola: 23337883 markings, 47218193 edges, 490972 markings/sec, 45 secs
lola: 25093039 markings, 52033024 edges, 351031 markings/sec, 50 secs
lola: 28069312 markings, 56912491 edges, 595255 markings/sec, 55 secs
lola: 30667737 markings, 61540560 edges, 519685 markings/sec, 60 secs
lola: 32168593 markings, 66650626 edges, 300171 markings/sec, 65 secs
lola: 33404847 markings, 71631429 edges, 247251 markings/sec, 70 secs
lola: 34904980 markings, 76695558 edges, 300027 markings/sec, 75 secs
lola: 36103294 markings, 81419862 edges, 239663 markings/sec, 80 secs
lola: 38064949 markings, 86248677 edges, 392331 markings/sec, 85 secs
lola: 39980573 markings, 90961107 edges, 383125 markings/sec, 90 secs
lola: 41328042 markings, 95573013 edges, 269494 markings/sec, 95 secs
lola: 42345330 markings, 100050175 edges, 203458 markings/sec, 100 secs
lola: 43269911 markings, 104713253 edges, 184916 markings/sec, 105 secs
lola: 44371720 markings, 109276340 edges, 220362 markings/sec, 110 secs
lola: 45366656 markings, 114158434 edges, 198987 markings/sec, 115 secs
lola: 48495832 markings, 118645918 edges, 625835 markings/sec, 120 secs
lola: 51203367 markings, 123119666 edges, 541507 markings/sec, 125 secs
lola: 53364511 markings, 127835838 edges, 432229 markings/sec, 130 secs
lola: 55798511 markings, 132540975 edges, 486800 markings/sec, 135 secs
lola: 57915335 markings, 137104582 edges, 423365 markings/sec, 140 secs
lola: 59803038 markings, 141685570 edges, 377541 markings/sec, 145 secs
lola: 61338808 markings, 146167035 edges, 307154 markings/sec, 150 secs
lola: 64428628 markings, 150610823 edges, 617964 markings/sec, 155 secs
lola: 66964590 markings, 155182517 edges, 507192 markings/sec, 160 secs
lola: 69025603 markings, 159959475 edges, 412203 markings/sec, 165 secs
lola: 70822255 markings, 164681952 edges, 359330 markings/sec, 170 secs
lola: 73299273 markings, 169326152 edges, 495404 markings/sec, 175 secs
lola: 75315253 markings, 173785505 edges, 403196 markings/sec, 180 secs
lola: 77195846 markings, 179042133 edges, 376119 markings/sec, 185 secs
lola: 78799535 markings, 183926145 edges, 320738 markings/sec, 190 secs
lola: 80174102 markings, 188943983 edges, 274913 markings/sec, 195 secs
lola: 81271424 markings, 194186686 edges, 219464 markings/sec, 200 secs
lola: 82129839 markings, 198427381 edges, 171683 markings/sec, 205 secs
lola: 83021364 markings, 202897780 edges, 178305 markings/sec, 210 secs
lola: 83915810 markings, 207555969 edges, 178889 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_8_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3858211 markings, 5064102 edges, 771642 markings/sec, 0 secs
lola: 6993214 markings, 9361761 edges, 627001 markings/sec, 5 secs
lola: 10058949 markings, 13627333 edges, 613147 markings/sec, 10 secs
lola: 13070132 markings, 17960773 edges, 602237 markings/sec, 15 secs
lola: 16283276 markings, 22509973 edges, 642629 markings/sec, 20 secs
lola: 19311784 markings, 26788694 edges, 605702 markings/sec, 25 secs
lola: 21992262 markings, 31066728 edges, 536096 markings/sec, 30 secs
lola: 25136549 markings, 35704363 edges, 628857 markings/sec, 35 secs
lola: 28149167 markings, 40050522 edges, 602524 markings/sec, 40 secs
lola: 30554012 markings, 43982518 edges, 480969 markings/sec, 45 secs
lola: 33195699 markings, 48045781 edges, 528337 markings/sec, 50 secs
lola: 35699224 markings, 52067270 edges, 500705 markings/sec, 55 secs
lola: 38500017 markings, 56649274 edges, 560159 markings/sec, 60 secs
lola: 41555406 markings, 61421847 edges, 611078 markings/sec, 65 secs
lola: 44516654 markings, 65986135 edges, 592250 markings/sec, 70 secs
lola: 47382290 markings, 70545364 edges, 573127 markings/sec, 75 secs
lola: 49971306 markings, 74627083 edges, 517803 markings/sec, 80 secs
lola: 52217692 markings, 78742793 edges, 449277 markings/sec, 85 secs
lola: 55082637 markings, 83368289 edges, 572989 markings/sec, 90 secs
lola: 57828929 markings, 87730771 edges, 549258 markings/sec, 95 secs
lola: 60437537 markings, 91974190 edges, 521722 markings/sec, 100 secs
lola: 62678734 markings, 95984595 edges, 448239 markings/sec, 105 secs
lola: 64311475 markings, 99481662 edges, 326548 markings/sec, 110 secs
lola: 66636116 markings, 103485834 edges, 464928 markings/sec, 115 secs
lola: 69459567 markings, 108088836 edges, 564690 markings/sec, 120 secs
lola: 72260855 markings, 112524117 edges, 560258 markings/sec, 125 secs
lola: 74791076 markings, 116800027 edges, 506044 markings/sec, 130 secs
lola: 77392466 markings, 120797624 edges, 520278 markings/sec, 135 secs
lola: 79794276 markings, 124763404 edges, 480362 markings/sec, 140 secs
lola: 81663326 markings, 128344921 edges, 373810 markings/sec, 145 secs
lola: 84294436 markings, 132377198 edges, 526222 markings/sec, 150 secs
lola: 86891283 markings, 136501664 edges, 519369 markings/sec, 155 secs
lola: 89125498 markings, 140592100 edges, 446843 markings/sec, 160 secs
lola: 91139700 markings, 144389703 edges, 402840 markings/sec, 165 secs
lola: 93219161 markings, 148288662 edges, 415892 markings/sec, 170 secs
lola: 95306826 markings, 152085447 edges, 417533 markings/sec, 175 secs
lola: 97509788 markings, 155916999 edges, 440592 markings/sec, 180 secs
lola: 99907390 markings, 160042672 edges, 479520 markings/sec, 185 secs
lola: 101748974 markings, 163406939 edges, 368317 markings/sec, 190 secs
lola: 103628947 markings, 166929210 edges, 375995 markings/sec, 195 secs
lola: 105685496 markings, 170787503 edges, 411310 markings/sec, 200 secs
lola: 107687988 markings, 174423954 edges, 400498 markings/sec, 205 secs
lola: 109861834 markings, 178558120 edges, 434769 markings/sec, 210 secs
lola: 111992025 markings, 182321513 edges, 426038 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_8_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3653969 markings, 5196711 edges, 730794 markings/sec, 0 secs
lola: 6946621 markings, 9980869 edges, 658530 markings/sec, 5 secs
lola: 9851916 markings, 14619657 edges, 581059 markings/sec, 10 secs
lola: 12593284 markings, 18972709 edges, 548274 markings/sec, 15 secs
lola: 15693477 markings, 23799458 edges, 620039 markings/sec, 20 secs
lola: 18484035 markings, 28237883 edges, 558112 markings/sec, 25 secs
lola: 21259291 markings, 32613401 edges, 555051 markings/sec, 30 secs
lola: 23656721 markings, 36965177 edges, 479486 markings/sec, 35 secs
lola: 26423190 markings, 41604978 edges, 553294 markings/sec, 40 secs
lola: 28877120 markings, 45753811 edges, 490786 markings/sec, 45 secs
lola: 31268472 markings, 49757672 edges, 478270 markings/sec, 50 secs
lola: 33395959 markings, 53609429 edges, 425497 markings/sec, 55 secs
lola: 35643283 markings, 57484409 edges, 449465 markings/sec, 60 secs
lola: 37921777 markings, 61504352 edges, 455699 markings/sec, 65 secs
lola: 39639754 markings, 65063926 edges, 343595 markings/sec, 70 secs
lola: 42640199 markings, 69964281 edges, 600089 markings/sec, 75 secs
lola: 45547765 markings, 74753521 edges, 581513 markings/sec, 80 secs
lola: 48379631 markings, 79328034 edges, 566373 markings/sec, 85 secs
lola: 50998890 markings, 83907329 edges, 523852 markings/sec, 90 secs
lola: 53443395 markings, 88128035 edges, 488901 markings/sec, 95 secs
lola: 55827484 markings, 92227747 edges, 476818 markings/sec, 100 secs
lola: 57801268 markings, 96180189 edges, 394757 markings/sec, 105 secs
lola: 60277886 markings, 100497750 edges, 495324 markings/sec, 110 secs
lola: 62568288 markings, 104399255 edges, 458080 markings/sec, 115 secs
lola: 65119697 markings, 108509557 edges, 510282 markings/sec, 120 secs
lola: 66887391 markings, 112251976 edges, 353539 markings/sec, 125 secs
lola: 68740335 markings, 115968828 edges, 370589 markings/sec, 130 secs
lola: 69966633 markings, 119097784 edges, 245260 markings/sec, 135 secs
lola: 71948348 markings, 123000458 edges, 396343 markings/sec, 140 secs
lola: 74300402 markings, 127473352 edges, 470411 markings/sec, 145 secs
lola: 76459209 markings, 131848131 edges, 431761 markings/sec, 150 secs
lola: 78837988 markings, 136189583 edges, 475756 markings/sec, 155 secs
lola: 80800585 markings, 140223627 edges, 392519 markings/sec, 160 secs
lola: 83326116 markings, 144560493 edges, 505106 markings/sec, 165 secs
lola: 85620514 markings, 148978665 edges, 458880 markings/sec, 170 secs
lola: 87499902 markings, 153002030 edges, 375878 markings/sec, 175 secs
lola: 89489829 markings, 156979310 edges, 397985 markings/sec, 180 secs
lola: 91772762 markings, 161032241 edges, 456587 markings/sec, 185 secs
lola: 93909859 markings, 165167043 edges, 427419 markings/sec, 190 secs
lola: 95920409 markings, 169216084 edges, 402110 markings/sec, 195 secs
lola: 97559729 markings, 172909770 edges, 327864 markings/sec, 200 secs
lola: 99225761 markings, 176615465 edges, 333206 markings/sec, 205 secs
lola: 100926713 markings, 180541982 edges, 340190 markings/sec, 210 secs
lola: 102901563 markings, 184501456 edges, 394970 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_11_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 0 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: 3992294 markings, 5534020 edges, 798459 markings/sec, 0 secs
lola: 7814594 markings, 10803558 edges, 764460 markings/sec, 5 secs
lola: 11259005 markings, 15792161 edges, 688882 markings/sec, 10 secs
lola: 15041214 markings, 21202662 edges, 756442 markings/sec, 15 secs
lola: 18592022 markings, 26232413 edges, 710162 markings/sec, 20 secs
lola: 21663907 markings, 31127505 edges, 614377 markings/sec, 25 secs
lola: 24705827 markings, 35907386 edges, 608384 markings/sec, 30 secs
lola: 28034448 markings, 40798683 edges, 665724 markings/sec, 35 secs
lola: 31105229 markings, 45637992 edges, 614156 markings/sec, 40 secs
lola: 34176005 markings, 50429316 edges, 614155 markings/sec, 45 secs
lola: 36853460 markings, 54974951 edges, 535491 markings/sec, 50 secs
lola: 40048982 markings, 59879128 edges, 639104 markings/sec, 55 secs
lola: 43213354 markings, 64795952 edges, 632874 markings/sec, 60 secs
lola: 46096267 markings, 69468345 edges, 576583 markings/sec, 65 secs
lola: 48836746 markings, 73879760 edges, 548096 markings/sec, 70 secs
lola: 51444263 markings, 78038144 edges, 521503 markings/sec, 75 secs
lola: 53774467 markings, 82152970 edges, 466041 markings/sec, 80 secs
lola: 56375188 markings, 86419613 edges, 520144 markings/sec, 85 secs
lola: 59172464 markings, 90581030 edges, 559455 markings/sec, 90 secs
lola: 61630936 markings, 94979851 edges, 491694 markings/sec, 95 secs
lola: 63637342 markings, 98825733 edges, 401281 markings/sec, 100 secs
lola: 65602135 markings, 102694666 edges, 392959 markings/sec, 105 secs
lola: 68566395 markings, 107505872 edges, 592852 markings/sec, 110 secs
lola: 70915220 markings, 111711761 edges, 469765 markings/sec, 115 secs
lola: 73310671 markings, 115844215 edges, 479090 markings/sec, 120 secs
lola: 75853979 markings, 119976373 edges, 508662 markings/sec, 125 secs
lola: 78698767 markings, 124419429 edges, 568958 markings/sec, 130 secs
lola: 80758992 markings, 128178373 edges, 412045 markings/sec, 135 secs
lola: 83340691 markings, 132486382 edges, 516340 markings/sec, 140 secs
lola: 85958616 markings, 136682898 edges, 523585 markings/sec, 145 secs
lola: 88277872 markings, 140448889 edges, 463851 markings/sec, 150 secs
lola: 90277752 markings, 144286529 edges, 399976 markings/sec, 155 secs
lola: 92570794 markings, 148381549 edges, 458608 markings/sec, 160 secs
lola: 94442159 markings, 152148773 edges, 374273 markings/sec, 165 secs
lola: 97016761 markings, 156458693 edges, 514920 markings/sec, 170 secs
lola: 99153779 markings, 160290707 edges, 427404 markings/sec, 175 secs
lola: 101375764 markings, 164159848 edges, 444397 markings/sec, 180 secs
lola: 103343698 markings, 167873030 edges, 393587 markings/sec, 185 secs
lola: 105337024 markings, 171668968 edges, 398665 markings/sec, 190 secs
lola: 107377689 markings, 175379227 edges, 408133 markings/sec, 195 secs
lola: 109284636 markings, 178940300 edges, 381389 markings/sec, 200 secs
lola: 111230931 markings, 182445530 edges, 389259 markings/sec, 205 secs
lola: 113077433 markings, 186101670 edges, 369300 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA ResAllocation-PT-R003C020-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C020-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496443628596

--------------------
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_ResAllocation-PT-R003C020"
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_ResAllocation-PT-R003C020.tgz
mv S_ResAllocation-PT-R003C020 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_ResAllocation-PT-R003C020, 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 r148-csrt-149443432800092"
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 ;