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 FlexibleBarrier-PT-22b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034400173
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496500806871


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-22b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-22b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13947/65536 symbol table entries, 4218 collisions
lola: preprocessing...
lola: finding significant places
lola: 6478 places, 7469 transitions, 6454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 7515 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-22b-UpperBounds.task
lola: MAX(p4975) : MAX(p3532) : MAX(p3812) : MAX(p934) : MAX(p4377) : MAX(p4915) : MAX(p2818) : MAX(p1380) : MAX(p1709) : MAX(p2640) : MAX(p2938) : MAX(p1697) : MAX(p1994) : MAX(p278) : MAX(p2353) : MAX(p2781)
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(p4975)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 25003 markings, 60893 edges, 5001 markings/sec, 0 secs
lola: 48218 markings, 122973 edges, 4643 markings/sec, 5 secs
lola: 71824 markings, 175443 edges, 4721 markings/sec, 10 secs
lola: 97249 markings, 230124 edges, 5085 markings/sec, 15 secs
lola: 122314 markings, 282695 edges, 5013 markings/sec, 20 secs
lola: 148063 markings, 334906 edges, 5150 markings/sec, 25 secs
lola: 174052 markings, 387649 edges, 5198 markings/sec, 30 secs
lola: 200719 markings, 441410 edges, 5333 markings/sec, 35 secs
lola: 226703 markings, 494318 edges, 5197 markings/sec, 40 secs
lola: 252162 markings, 546564 edges, 5092 markings/sec, 45 secs
lola: 279097 markings, 600919 edges, 5387 markings/sec, 50 secs
lola: 302206 markings, 649169 edges, 4622 markings/sec, 55 secs
lola: 329327 markings, 703353 edges, 5424 markings/sec, 60 secs
lola: 356422 markings, 758049 edges, 5419 markings/sec, 65 secs
lola: 383600 markings, 812699 edges, 5436 markings/sec, 70 secs
lola: 409152 markings, 866231 edges, 5110 markings/sec, 75 secs
lola: 436292 markings, 920886 edges, 5428 markings/sec, 80 secs
lola: 463430 markings, 975668 edges, 5428 markings/sec, 85 secs
lola: 489974 markings, 1029857 edges, 5309 markings/sec, 90 secs
lola: 512417 markings, 1075365 edges, 4489 markings/sec, 95 secs
lola: 532531 markings, 1156002 edges, 4023 markings/sec, 100 secs
lola: 551991 markings, 1246345 edges, 3892 markings/sec, 105 secs
lola: 571503 markings, 1336968 edges, 3902 markings/sec, 110 secs
lola: 590745 markings, 1427320 edges, 3848 markings/sec, 115 secs
lola: 610433 markings, 1518165 edges, 3938 markings/sec, 120 secs
lola: 629991 markings, 1607893 edges, 3912 markings/sec, 125 secs
lola: 648899 markings, 1699203 edges, 3782 markings/sec, 130 secs
lola: 667606 markings, 1789496 edges, 3741 markings/sec, 135 secs
lola: 686789 markings, 1878521 edges, 3837 markings/sec, 140 secs
lola: 704994 markings, 1976387 edges, 3641 markings/sec, 145 secs
lola: 726301 markings, 2063315 edges, 4261 markings/sec, 150 secs
lola: 748535 markings, 2130263 edges, 4447 markings/sec, 155 secs
lola: 773159 markings, 2194503 edges, 4925 markings/sec, 160 secs
lola: 794889 markings, 2248549 edges, 4346 markings/sec, 165 secs
lola: 819480 markings, 2306658 edges, 4918 markings/sec, 170 secs
lola: 842601 markings, 2361193 edges, 4624 markings/sec, 175 secs
lola: 866006 markings, 2414654 edges, 4681 markings/sec, 180 secs
lola: 890792 markings, 2471429 edges, 4957 markings/sec, 185 secs
lola: 915598 markings, 2527420 edges, 4961 markings/sec, 190 secs
lola: 940462 markings, 2583538 edges, 4973 markings/sec, 195 secs
lola: 965375 markings, 2639804 edges, 4983 markings/sec, 200 secs
lola: 990287 markings, 2696065 edges, 4982 markings/sec, 205 secs
lola: 1015216 markings, 2752342 edges, 4986 markings/sec, 210 secs
lola: 1040192 markings, 2808741 edges, 4995 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(p3532)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 28077 markings, 53605 edges, 5615 markings/sec, 0 secs
lola: 54237 markings, 106076 edges, 5232 markings/sec, 5 secs
lola: 80485 markings, 158976 edges, 5250 markings/sec, 10 secs
lola: 108154 markings, 212068 edges, 5534 markings/sec, 15 secs
lola: 134254 markings, 264440 edges, 5220 markings/sec, 20 secs
lola: 160332 markings, 317259 edges, 5216 markings/sec, 25 secs
lola: 188222 markings, 370558 edges, 5578 markings/sec, 30 secs
lola: 214307 markings, 422877 edges, 5217 markings/sec, 35 secs
lola: 240357 markings, 475649 edges, 5210 markings/sec, 40 secs
lola: 268259 markings, 528978 edges, 5580 markings/sec, 45 secs
lola: 294365 markings, 581349 edges, 5221 markings/sec, 50 secs
lola: 316744 markings, 625535 edges, 4476 markings/sec, 55 secs
lola: 343201 markings, 679218 edges, 5291 markings/sec, 60 secs
lola: 371432 markings, 733220 edges, 5646 markings/sec, 65 secs
lola: 397797 markings, 786172 edges, 5273 markings/sec, 70 secs
lola: 424253 markings, 839099 edges, 5291 markings/sec, 75 secs
lola: 452113 markings, 893078 edges, 5572 markings/sec, 80 secs
lola: 478252 markings, 945511 edges, 5228 markings/sec, 85 secs
lola: 498882 markings, 1024203 edges, 4126 markings/sec, 90 secs
lola: 518942 markings, 1106648 edges, 4012 markings/sec, 95 secs
lola: 539567 markings, 1189397 edges, 4125 markings/sec, 100 secs
lola: 560257 markings, 1273778 edges, 4138 markings/sec, 105 secs
lola: 581027 markings, 1357868 edges, 4154 markings/sec, 110 secs
lola: 601571 markings, 1441589 edges, 4109 markings/sec, 115 secs
lola: 622382 markings, 1525953 edges, 4162 markings/sec, 120 secs
lola: 643045 markings, 1607475 edges, 4133 markings/sec, 125 secs
lola: 663815 markings, 1682674 edges, 4154 markings/sec, 130 secs
lola: 684380 markings, 1754651 edges, 4113 markings/sec, 135 secs
lola: 703604 markings, 1847893 edges, 3845 markings/sec, 140 secs
lola: 722917 markings, 1942050 edges, 3863 markings/sec, 145 secs
lola: 742383 markings, 2036443 edges, 3893 markings/sec, 150 secs
lola: 759866 markings, 2144735 edges, 3497 markings/sec, 155 secs
lola: 779380 markings, 2230117 edges, 3903 markings/sec, 160 secs
lola: 800381 markings, 2296121 edges, 4200 markings/sec, 165 secs
lola: 823567 markings, 2356981 edges, 4637 markings/sec, 170 secs
lola: 849522 markings, 2409529 edges, 5191 markings/sec, 175 secs
lola: 877262 markings, 2462518 edges, 5548 markings/sec, 180 secs
lola: 903156 markings, 2514414 edges, 5179 markings/sec, 185 secs
lola: 928921 markings, 2566478 edges, 5153 markings/sec, 190 secs
lola: 956312 markings, 2618256 edges, 5478 markings/sec, 195 secs
lola: 982122 markings, 2670476 edges, 5162 markings/sec, 200 secs
lola: 1007853 markings, 2722018 edges, 5146 markings/sec, 205 secs
lola: 1034818 markings, 2774353 edges, 5393 markings/sec, 210 secs
lola: 1055899 markings, 2817736 edges, 4216 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(p3812)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 28431 markings, 54175 edges, 5686 markings/sec, 0 secs
lola: 54955 markings, 107459 edges, 5305 markings/sec, 5 secs
lola: 82694 markings, 161325 edges, 5548 markings/sec, 10 secs
lola: 109439 markings, 214694 edges, 5349 markings/sec, 15 secs
lola: 135835 markings, 267691 edges, 5279 markings/sec, 20 secs
lola: 163889 markings, 321585 edges, 5611 markings/sec, 25 secs
lola: 190334 markings, 374989 edges, 5289 markings/sec, 30 secs
lola: 216528 markings, 428017 edges, 5239 markings/sec, 35 secs
lola: 244719 markings, 481909 edges, 5638 markings/sec, 40 secs
lola: 271094 markings, 534989 edges, 5275 markings/sec, 45 secs
lola: 297448 markings, 588546 edges, 5271 markings/sec, 50 secs
lola: 325838 markings, 642827 edges, 5678 markings/sec, 55 secs
lola: 352593 markings, 696615 edges, 5351 markings/sec, 60 secs
lola: 380935 markings, 751098 edges, 5668 markings/sec, 65 secs
lola: 407608 markings, 805045 edges, 5335 markings/sec, 70 secs
lola: 434303 markings, 859148 edges, 5339 markings/sec, 75 secs
lola: 462689 markings, 913549 edges, 5677 markings/sec, 80 secs
lola: 486829 markings, 974435 edges, 4828 markings/sec, 85 secs
lola: 507506 markings, 1058504 edges, 4135 markings/sec, 90 secs
lola: 528108 markings, 1142182 edges, 4120 markings/sec, 95 secs
lola: 549086 markings, 1227320 edges, 4196 markings/sec, 100 secs
lola: 570155 markings, 1313079 edges, 4214 markings/sec, 105 secs
lola: 591167 markings, 1398374 edges, 4202 markings/sec, 110 secs
lola: 612339 markings, 1484301 edges, 4234 markings/sec, 115 secs
lola: 633737 markings, 1565316 edges, 4280 markings/sec, 120 secs
lola: 654871 markings, 1641765 edges, 4227 markings/sec, 125 secs
lola: 675953 markings, 1712495 edges, 4216 markings/sec, 130 secs
lola: 695283 markings, 1806380 edges, 3866 markings/sec, 135 secs
lola: 714886 markings, 1900468 edges, 3921 markings/sec, 140 secs
lola: 734529 markings, 1995333 edges, 3929 markings/sec, 145 secs
lola: 752988 markings, 2098412 edges, 3692 markings/sec, 150 secs
lola: 771473 markings, 2198346 edges, 3697 markings/sec, 155 secs
lola: 792215 markings, 2272891 edges, 4148 markings/sec, 160 secs
lola: 813507 markings, 2335242 edges, 4258 markings/sec, 165 secs
lola: 840455 markings, 2389331 edges, 5390 markings/sec, 170 secs
lola: 863344 markings, 2435084 edges, 4578 markings/sec, 175 secs
lola: 888550 markings, 2486152 edges, 5041 markings/sec, 180 secs
lola: 915470 markings, 2539088 edges, 5384 markings/sec, 185 secs
lola: 941068 markings, 2590673 edges, 5120 markings/sec, 190 secs
lola: 964276 markings, 2637361 edges, 4642 markings/sec, 195 secs
lola: 991672 markings, 2691016 edges, 5479 markings/sec, 200 secs
lola: 1017946 markings, 2744430 edges, 5255 markings/sec, 205 secs
lola: 1045938 markings, 2799355 edges, 5598 markings/sec, 210 secs
lola: 1072283 markings, 2852972 edges, 5269 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(p934)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 28523 markings, 54448 edges, 5705 markings/sec, 0 secs
lola: 55244 markings, 108147 edges, 5344 markings/sec, 5 secs
lola: 83179 markings, 161846 edges, 5587 markings/sec, 10 secs
lola: 110066 markings, 216164 edges, 5377 markings/sec, 15 secs
lola: 136529 markings, 272415 edges, 5293 markings/sec, 20 secs
lola: 163353 markings, 334697 edges, 5365 markings/sec, 25 secs
lola: 191021 markings, 389156 edges, 5534 markings/sec, 30 secs
lola: 217747 markings, 442935 edges, 5345 markings/sec, 35 secs
lola: 246149 markings, 497690 edges, 5680 markings/sec, 40 secs
lola: 272540 markings, 550822 edges, 5278 markings/sec, 45 secs
lola: 298804 markings, 604177 edges, 5253 markings/sec, 50 secs
lola: 326906 markings, 657813 edges, 5620 markings/sec, 55 secs
lola: 353082 markings, 710338 edges, 5235 markings/sec, 60 secs
lola: 380287 markings, 764604 edges, 5441 markings/sec, 65 secs
lola: 408225 markings, 819047 edges, 5588 markings/sec, 70 secs
lola: 434814 markings, 872458 edges, 5318 markings/sec, 75 secs
lola: 463048 markings, 926589 edges, 5647 markings/sec, 80 secs
lola: 484520 markings, 1001214 edges, 4294 markings/sec, 85 secs
lola: 505110 markings, 1086767 edges, 4118 markings/sec, 90 secs
lola: 525881 markings, 1173692 edges, 4154 markings/sec, 95 secs
lola: 546751 markings, 1260958 edges, 4174 markings/sec, 100 secs
lola: 567735 markings, 1348529 edges, 4197 markings/sec, 105 secs
lola: 588483 markings, 1435286 edges, 4150 markings/sec, 110 secs
lola: 608744 markings, 1522642 edges, 4052 markings/sec, 115 secs
lola: 630561 markings, 1591519 edges, 4363 markings/sec, 120 secs
lola: 651247 markings, 1666672 edges, 4137 markings/sec, 125 secs
lola: 670710 markings, 1759747 edges, 3893 markings/sec, 130 secs
lola: 690199 markings, 1855075 edges, 3898 markings/sec, 135 secs
lola: 709868 markings, 1948297 edges, 3934 markings/sec, 140 secs
lola: 727479 markings, 2061837 edges, 3522 markings/sec, 145 secs
lola: 747651 markings, 2140710 edges, 4034 markings/sec, 150 secs
lola: 768802 markings, 2205026 edges, 4230 markings/sec, 155 secs
lola: 794059 markings, 2264042 edges, 5051 markings/sec, 160 secs
lola: 820251 markings, 2316710 edges, 5238 markings/sec, 165 secs
lola: 846103 markings, 2368963 edges, 5170 markings/sec, 170 secs
lola: 874046 markings, 2422322 edges, 5589 markings/sec, 175 secs
lola: 900263 markings, 2475058 edges, 5243 markings/sec, 180 secs
lola: 925963 markings, 2533918 edges, 5140 markings/sec, 185 secs
lola: 952315 markings, 2591696 edges, 5270 markings/sec, 190 secs
lola: 980047 markings, 2645481 edges, 5546 markings/sec, 195 secs
lola: 1006472 markings, 2698538 edges, 5285 markings/sec, 200 secs
lola: 1034289 markings, 2752266 edges, 5563 markings/sec, 205 secs
lola: 1061494 markings, 2806982 edges, 5441 markings/sec, 210 secs
lola: 1087277 markings, 2858629 edges, 5157 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(p4377)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 27721 markings, 53045 edges, 5544 markings/sec, 0 secs
lola: 53613 markings, 104697 edges, 5178 markings/sec, 5 secs
lola: 79092 markings, 155876 edges, 5096 markings/sec, 10 secs
lola: 105803 markings, 206876 edges, 5342 markings/sec, 15 secs
lola: 132458 markings, 260614 edges, 5331 markings/sec, 20 secs
lola: 158255 markings, 312039 edges, 5159 markings/sec, 25 secs
lola: 184736 markings, 364210 edges, 5296 markings/sec, 30 secs
lola: 211497 markings, 416929 edges, 5352 markings/sec, 35 secs
lola: 237305 markings, 468374 edges, 5162 markings/sec, 40 secs
lola: 263198 markings, 520851 edges, 5179 markings/sec, 45 secs
lola: 290464 markings, 573066 edges, 5453 markings/sec, 50 secs
lola: 316055 markings, 624077 edges, 5118 markings/sec, 55 secs
lola: 342492 markings, 677306 edges, 5287 markings/sec, 60 secs
lola: 370201 markings, 730681 edges, 5542 markings/sec, 65 secs
lola: 396485 markings, 783324 edges, 5257 markings/sec, 70 secs
lola: 422587 markings, 835851 edges, 5220 markings/sec, 75 secs
lola: 450062 markings, 888395 edges, 5495 markings/sec, 80 secs
lola: 475670 markings, 939944 edges, 5122 markings/sec, 85 secs
lola: 496186 markings, 1014350 edges, 4103 markings/sec, 90 secs
lola: 516206 markings, 1095474 edges, 4004 markings/sec, 95 secs
lola: 536284 markings, 1176707 edges, 4016 markings/sec, 100 secs
lola: 556632 markings, 1258949 edges, 4070 markings/sec, 105 secs
lola: 576712 markings, 1341526 edges, 4016 markings/sec, 110 secs
lola: 596564 markings, 1421932 edges, 3970 markings/sec, 115 secs
lola: 617299 markings, 1505620 edges, 4147 markings/sec, 120 secs
lola: 637182 markings, 1592251 edges, 3977 markings/sec, 125 secs
lola: 656174 markings, 1686508 edges, 3798 markings/sec, 130 secs
lola: 675742 markings, 1769335 edges, 3914 markings/sec, 135 secs
lola: 695516 markings, 1853132 edges, 3955 markings/sec, 140 secs
lola: 715229 markings, 1937756 edges, 3943 markings/sec, 145 secs
lola: 735054 markings, 2022623 edges, 3965 markings/sec, 150 secs
lola: 753159 markings, 2117206 edges, 3621 markings/sec, 155 secs
lola: 772267 markings, 2204436 edges, 3822 markings/sec, 160 secs
lola: 792568 markings, 2273926 edges, 4060 markings/sec, 165 secs
lola: 813309 markings, 2334778 edges, 4148 markings/sec, 170 secs
lola: 839418 markings, 2388311 edges, 5222 markings/sec, 175 secs
lola: 865922 markings, 2440297 edges, 5301 markings/sec, 180 secs
lola: 891464 markings, 2491212 edges, 5108 markings/sec, 185 secs
lola: 916919 markings, 2542250 edges, 5091 markings/sec, 190 secs
lola: 942510 markings, 2592308 edges, 5118 markings/sec, 195 secs
lola: 968995 markings, 2644343 edges, 5297 markings/sec, 200 secs
lola: 994460 markings, 2695090 edges, 5093 markings/sec, 205 secs
lola: 1020116 markings, 2746687 edges, 5131 markings/sec, 210 secs
lola: 1047233 markings, 2798127 edges, 5423 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(p4915)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 27734 markings, 52828 edges, 5547 markings/sec, 0 secs
lola: 53846 markings, 105134 edges, 5222 markings/sec, 5 secs
lola: 75964 markings, 148762 edges, 4424 markings/sec, 10 secs
lola: 101952 markings, 200943 edges, 5198 markings/sec, 15 secs
lola: 128481 markings, 253343 edges, 5306 markings/sec, 20 secs
lola: 154675 markings, 316884 edges, 5239 markings/sec, 25 secs
lola: 180641 markings, 368902 edges, 5193 markings/sec, 30 secs
lola: 206620 markings, 421440 edges, 5196 markings/sec, 35 secs
lola: 234249 markings, 474361 edges, 5526 markings/sec, 40 secs
lola: 260303 markings, 526504 edges, 5211 markings/sec, 45 secs
lola: 286333 markings, 578630 edges, 5206 markings/sec, 50 secs
lola: 313937 markings, 631705 edges, 5521 markings/sec, 55 secs
lola: 339975 markings, 684115 edges, 5208 markings/sec, 60 secs
lola: 365994 markings, 736231 edges, 5204 markings/sec, 65 secs
lola: 393395 markings, 789033 edges, 5480 markings/sec, 70 secs
lola: 419658 markings, 841763 edges, 5253 markings/sec, 75 secs
lola: 445646 markings, 893801 edges, 5198 markings/sec, 80 secs
lola: 471695 markings, 948592 edges, 5210 markings/sec, 85 secs
lola: 491564 markings, 1031688 edges, 3974 markings/sec, 90 secs
lola: 511523 markings, 1114351 edges, 3992 markings/sec, 95 secs
lola: 531758 markings, 1199092 edges, 4047 markings/sec, 100 secs
lola: 552011 markings, 1283914 edges, 4051 markings/sec, 105 secs
lola: 568762 markings, 1354053 edges, 3350 markings/sec, 110 secs
lola: 589089 markings, 1439110 edges, 4065 markings/sec, 115 secs
lola: 608925 markings, 1523778 edges, 3967 markings/sec, 120 secs
lola: 627632 markings, 1618511 edges, 3741 markings/sec, 125 secs
lola: 647088 markings, 1702309 edges, 3891 markings/sec, 130 secs
lola: 666715 markings, 1784727 edges, 3925 markings/sec, 135 secs
lola: 686309 markings, 1869469 edges, 3919 markings/sec, 140 secs
lola: 705744 markings, 1955006 edges, 3887 markings/sec, 145 secs
lola: 724544 markings, 2042650 edges, 3760 markings/sec, 150 secs
lola: 743493 markings, 2126674 edges, 3790 markings/sec, 155 secs
lola: 763985 markings, 2191157 edges, 4098 markings/sec, 160 secs
lola: 786571 markings, 2250209 edges, 4517 markings/sec, 165 secs
lola: 812034 markings, 2301638 edges, 5093 markings/sec, 170 secs
lola: 839364 markings, 2353900 edges, 5466 markings/sec, 175 secs
lola: 865019 markings, 2405195 edges, 5131 markings/sec, 180 secs
lola: 891066 markings, 2457360 edges, 5209 markings/sec, 185 secs
lola: 916230 markings, 2514448 edges, 5033 markings/sec, 190 secs
lola: 942817 markings, 2571117 edges, 5317 markings/sec, 195 secs
lola: 968659 markings, 2623034 edges, 5168 markings/sec, 200 secs
lola: 994331 markings, 2674428 edges, 5134 markings/sec, 205 secs
lola: 1020028 markings, 2726477 edges, 5139 markings/sec, 210 secs
lola: 1047706 markings, 2779296 edges, 5536 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(p2818)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 24991 markings, 62000 edges, 4998 markings/sec, 0 secs
lola: 48261 markings, 123157 edges, 4654 markings/sec, 5 secs
lola: 69036 markings, 168056 edges, 4155 markings/sec, 10 secs
lola: 94267 markings, 223617 edges, 5046 markings/sec, 15 secs
lola: 119061 markings, 275525 edges, 4959 markings/sec, 20 secs
lola: 144405 markings, 327484 edges, 5069 markings/sec, 25 secs
lola: 171058 markings, 381180 edges, 5331 markings/sec, 30 secs
lola: 197807 markings, 435208 edges, 5350 markings/sec, 35 secs
lola: 223712 markings, 489349 edges, 5181 markings/sec, 40 secs
lola: 250548 markings, 543172 edges, 5367 markings/sec, 45 secs
lola: 272757 markings, 589434 edges, 4442 markings/sec, 50 secs
lola: 299564 markings, 642927 edges, 5361 markings/sec, 55 secs
lola: 326269 markings, 696731 edges, 5341 markings/sec, 60 secs
lola: 351738 markings, 750153 edges, 5094 markings/sec, 65 secs
lola: 378544 markings, 803783 edges, 5361 markings/sec, 70 secs
lola: 405425 markings, 858004 edges, 5376 markings/sec, 75 secs
lola: 432022 markings, 911471 edges, 5319 markings/sec, 80 secs
lola: 457491 markings, 964548 edges, 5094 markings/sec, 85 secs
lola: 484445 markings, 1018930 edges, 5391 markings/sec, 90 secs
lola: 511478 markings, 1073472 edges, 5407 markings/sec, 95 secs
lola: 531237 markings, 1151325 edges, 3952 markings/sec, 100 secs
lola: 550372 markings, 1240322 edges, 3827 markings/sec, 105 secs
lola: 569489 markings, 1329146 edges, 3823 markings/sec, 110 secs
lola: 588560 markings, 1417842 edges, 3814 markings/sec, 115 secs
lola: 607680 markings, 1506632 edges, 3824 markings/sec, 120 secs
lola: 626909 markings, 1596229 edges, 3846 markings/sec, 125 secs
lola: 645572 markings, 1684933 edges, 3733 markings/sec, 130 secs
lola: 664279 markings, 1774298 edges, 3741 markings/sec, 135 secs
lola: 683046 markings, 1862925 edges, 3753 markings/sec, 140 secs
lola: 701585 markings, 1949319 edges, 3708 markings/sec, 145 secs
lola: 719882 markings, 2041149 edges, 3659 markings/sec, 150 secs
lola: 740088 markings, 2104994 edges, 4041 markings/sec, 155 secs
lola: 760419 markings, 2165212 edges, 4066 markings/sec, 160 secs
lola: 781138 markings, 2227061 edges, 4144 markings/sec, 165 secs
lola: 801795 markings, 2290610 edges, 4131 markings/sec, 170 secs
lola: 823061 markings, 2352817 edges, 4253 markings/sec, 175 secs
lola: 848390 markings, 2415842 edges, 5066 markings/sec, 180 secs
lola: 871302 markings, 2478229 edges, 4582 markings/sec, 185 secs
lola: 894543 markings, 2529727 edges, 4648 markings/sec, 190 secs
lola: 918932 markings, 2583219 edges, 4878 markings/sec, 195 secs
lola: 943905 markings, 2635149 edges, 4995 markings/sec, 200 secs
lola: 968893 markings, 2686348 edges, 4998 markings/sec, 205 secs
lola: 995329 markings, 2739556 edges, 5287 markings/sec, 210 secs
lola: 1019893 markings, 2791089 edges, 4913 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(p1380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 27804 markings, 52773 edges, 5561 markings/sec, 0 secs
lola: 54090 markings, 105585 edges, 5257 markings/sec, 5 secs
lola: 80197 markings, 158582 edges, 5221 markings/sec, 10 secs
lola: 108198 markings, 212028 edges, 5600 markings/sec, 15 secs
lola: 134217 markings, 263167 edges, 5204 markings/sec, 20 secs
lola: 159315 markings, 326920 edges, 5020 markings/sec, 25 secs
lola: 186186 markings, 379952 edges, 5374 markings/sec, 30 secs
lola: 213436 markings, 433388 edges, 5450 markings/sec, 35 secs
lola: 239933 markings, 486609 edges, 5299 markings/sec, 40 secs
lola: 267780 markings, 540117 edges, 5569 markings/sec, 45 secs
lola: 294432 markings, 593907 edges, 5330 markings/sec, 50 secs
lola: 320738 markings, 646701 edges, 5261 markings/sec, 55 secs
lola: 348970 markings, 701139 edges, 5646 markings/sec, 60 secs
lola: 375057 markings, 753612 edges, 5217 markings/sec, 65 secs
lola: 397761 markings, 798502 edges, 4541 markings/sec, 70 secs
lola: 423598 markings, 850279 edges, 5167 markings/sec, 75 secs
lola: 451106 markings, 902874 edges, 5502 markings/sec, 80 secs
lola: 474915 markings, 960439 edges, 4762 markings/sec, 85 secs
lola: 494622 markings, 1043111 edges, 3941 markings/sec, 90 secs
lola: 514366 markings, 1125998 edges, 3949 markings/sec, 95 secs
lola: 534612 markings, 1209969 edges, 4049 markings/sec, 100 secs
lola: 554780 markings, 1294293 edges, 4034 markings/sec, 105 secs
lola: 574974 markings, 1378735 edges, 4039 markings/sec, 110 secs
lola: 595670 markings, 1465274 edges, 4139 markings/sec, 115 secs
lola: 616114 markings, 1546883 edges, 4089 markings/sec, 120 secs
lola: 636946 markings, 1611740 edges, 4166 markings/sec, 125 secs
lola: 656403 markings, 1692487 edges, 3891 markings/sec, 130 secs
lola: 675293 markings, 1782994 edges, 3778 markings/sec, 135 secs
lola: 694222 markings, 1872598 edges, 3786 markings/sec, 140 secs
lola: 712902 markings, 1966856 edges, 3736 markings/sec, 145 secs
lola: 730401 markings, 2074462 edges, 3500 markings/sec, 150 secs
lola: 750540 markings, 2150219 edges, 4028 markings/sec, 155 secs
lola: 771516 markings, 2212526 edges, 4195 markings/sec, 160 secs
lola: 796846 markings, 2270212 edges, 5066 markings/sec, 165 secs
lola: 822747 markings, 2322147 edges, 5180 markings/sec, 170 secs
lola: 850381 markings, 2375135 edges, 5527 markings/sec, 175 secs
lola: 876574 markings, 2427948 edges, 5239 markings/sec, 180 secs
lola: 902624 markings, 2480203 edges, 5210 markings/sec, 185 secs
lola: 927640 markings, 2542781 edges, 5003 markings/sec, 190 secs
lola: 955537 markings, 2596530 edges, 5579 markings/sec, 195 secs
lola: 981668 markings, 2648996 edges, 5226 markings/sec, 200 secs
lola: 1007643 markings, 2701536 edges, 5195 markings/sec, 205 secs
lola: 1034277 markings, 2752259 edges, 5327 markings/sec, 210 secs
lola: 1060922 markings, 2805712 edges, 5329 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(p1709)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 28620 markings, 55119 edges, 5724 markings/sec, 0 secs
lola: 55533 markings, 109831 edges, 5383 markings/sec, 5 secs
lola: 79758 markings, 159050 edges, 4845 markings/sec, 10 secs
lola: 107773 markings, 212988 edges, 5603 markings/sec, 15 secs
lola: 134711 markings, 267047 edges, 5388 markings/sec, 20 secs
lola: 160549 markings, 332232 edges, 5168 markings/sec, 25 secs
lola: 189180 markings, 388011 edges, 5726 markings/sec, 30 secs
lola: 215903 markings, 442444 edges, 5345 markings/sec, 35 secs
lola: 243496 markings, 497619 edges, 5519 markings/sec, 40 secs
lola: 269464 markings, 548522 edges, 5194 markings/sec, 45 secs
lola: 293688 markings, 597319 edges, 4845 markings/sec, 50 secs
lola: 320051 markings, 650830 edges, 5273 markings/sec, 55 secs
lola: 347442 markings, 704467 edges, 5478 markings/sec, 60 secs
lola: 374118 markings, 758110 edges, 5335 markings/sec, 65 secs
lola: 397682 markings, 805366 edges, 4713 markings/sec, 70 secs
lola: 423276 markings, 857133 edges, 5119 markings/sec, 75 secs
lola: 450488 markings, 910357 edges, 5442 markings/sec, 80 secs
lola: 475033 markings, 969509 edges, 4909 markings/sec, 85 secs
lola: 495533 markings, 1055234 edges, 4100 markings/sec, 90 secs
lola: 515939 markings, 1141655 edges, 4081 markings/sec, 95 secs
lola: 536285 markings, 1226742 edges, 4069 markings/sec, 100 secs
lola: 556653 markings, 1311945 edges, 4074 markings/sec, 105 secs
lola: 577069 markings, 1397265 edges, 4083 markings/sec, 110 secs
lola: 597468 markings, 1482559 edges, 4080 markings/sec, 115 secs
lola: 617602 markings, 1565961 edges, 4027 markings/sec, 120 secs
lola: 638562 markings, 1631458 edges, 4192 markings/sec, 125 secs
lola: 658414 markings, 1712698 edges, 3970 markings/sec, 130 secs
lola: 677468 markings, 1804797 edges, 3811 markings/sec, 135 secs
lola: 696571 markings, 1897155 edges, 3821 markings/sec, 140 secs
lola: 715449 markings, 1993807 edges, 3776 markings/sec, 145 secs
lola: 733989 markings, 2099219 edges, 3708 markings/sec, 150 secs
lola: 754807 markings, 2177759 edges, 4164 markings/sec, 155 secs
lola: 776164 markings, 2240925 edges, 4271 markings/sec, 160 secs
lola: 802568 markings, 2296155 edges, 5281 markings/sec, 165 secs
lola: 829092 markings, 2347948 edges, 5305 markings/sec, 170 secs
lola: 853792 markings, 2397796 edges, 4940 markings/sec, 175 secs
lola: 880042 markings, 2451011 edges, 5250 markings/sec, 180 secs
lola: 906655 markings, 2504250 edges, 5323 markings/sec, 185 secs
lola: 933272 markings, 2568467 edges, 5323 markings/sec, 190 secs
lola: 959747 markings, 2622269 edges, 5295 markings/sec, 195 secs
lola: 986417 markings, 2676453 edges, 5334 markings/sec, 200 secs
lola: 1014352 markings, 2730802 edges, 5587 markings/sec, 205 secs
lola: 1040770 markings, 2784411 edges, 5284 markings/sec, 210 secs
lola: 1068763 markings, 2839125 edges, 5599 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(p2640)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 25745 markings, 56411 edges, 5149 markings/sec, 0 secs
lola: 48235 markings, 120136 edges, 4498 markings/sec, 5 secs
lola: 73192 markings, 176074 edges, 4991 markings/sec, 10 secs
lola: 98537 markings, 228529 edges, 5069 markings/sec, 15 secs
lola: 124481 markings, 281824 edges, 5189 markings/sec, 20 secs
lola: 151061 markings, 334983 edges, 5316 markings/sec, 25 secs
lola: 178020 markings, 388728 edges, 5392 markings/sec, 30 secs
lola: 203532 markings, 441486 edges, 5102 markings/sec, 35 secs
lola: 230518 markings, 495121 edges, 5397 markings/sec, 40 secs
lola: 257376 markings, 548648 edges, 5372 markings/sec, 45 secs
lola: 279085 markings, 592776 edges, 4342 markings/sec, 50 secs
lola: 306272 markings, 647048 edges, 5437 markings/sec, 55 secs
lola: 331332 markings, 699129 edges, 5012 markings/sec, 60 secs
lola: 358450 markings, 752714 edges, 5424 markings/sec, 65 secs
lola: 385341 markings, 806291 edges, 5378 markings/sec, 70 secs
lola: 410806 markings, 859304 edges, 5093 markings/sec, 75 secs
lola: 437726 markings, 912469 edges, 5384 markings/sec, 80 secs
lola: 464584 markings, 965962 edges, 5372 markings/sec, 85 secs
lola: 484286 markings, 1014046 edges, 3940 markings/sec, 90 secs
lola: 504567 markings, 1095947 edges, 4056 markings/sec, 95 secs
lola: 524784 markings, 1179812 edges, 4043 markings/sec, 100 secs
lola: 544932 markings, 1264822 edges, 4030 markings/sec, 105 secs
lola: 565151 markings, 1349432 edges, 4044 markings/sec, 110 secs
lola: 585384 markings, 1434601 edges, 4047 markings/sec, 115 secs
lola: 605708 markings, 1519866 edges, 4065 markings/sec, 120 secs
lola: 626101 markings, 1589501 edges, 4079 markings/sec, 125 secs
lola: 641790 markings, 1660713 edges, 3138 markings/sec, 130 secs
lola: 660712 markings, 1750150 edges, 3784 markings/sec, 135 secs
lola: 679576 markings, 1841227 edges, 3773 markings/sec, 140 secs
lola: 698058 markings, 1930075 edges, 3696 markings/sec, 145 secs
lola: 715836 markings, 2032579 edges, 3556 markings/sec, 150 secs
lola: 736739 markings, 2093987 edges, 4181 markings/sec, 155 secs
lola: 757580 markings, 2157573 edges, 4168 markings/sec, 160 secs
lola: 778555 markings, 2221275 edges, 4195 markings/sec, 165 secs
lola: 799127 markings, 2281378 edges, 4114 markings/sec, 170 secs
lola: 819911 markings, 2342772 edges, 4157 markings/sec, 175 secs
lola: 845112 markings, 2398105 edges, 5040 markings/sec, 180 secs
lola: 869650 markings, 2457872 edges, 4908 markings/sec, 185 secs
lola: 888749 markings, 2511708 edges, 3820 markings/sec, 190 secs
lola: 912443 markings, 2562957 edges, 4739 markings/sec, 195 secs
lola: 937198 markings, 2617067 edges, 4951 markings/sec, 200 secs
lola: 963607 markings, 2670075 edges, 5282 markings/sec, 205 secs
lola: 990047 markings, 2723196 edges, 5288 markings/sec, 210 secs
lola: 1014994 markings, 2775078 edges, 4989 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(p2938)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 31011 markings, 53494 edges, 6202 markings/sec, 0 secs
lola: 57552 markings, 103248 edges, 5308 markings/sec, 5 secs
lola: 83966 markings, 156205 edges, 5283 markings/sec, 10 secs
lola: 110288 markings, 210330 edges, 5264 markings/sec, 15 secs
lola: 137404 markings, 268813 edges, 5423 markings/sec, 20 secs
lola: 162551 markings, 323790 edges, 5029 markings/sec, 25 secs
lola: 188929 markings, 376789 edges, 5276 markings/sec, 30 secs
lola: 217080 markings, 431329 edges, 5630 markings/sec, 35 secs
lola: 243520 markings, 484408 edges, 5288 markings/sec, 40 secs
lola: 268208 markings, 533901 edges, 4938 markings/sec, 45 secs
lola: 296034 markings, 587474 edges, 5565 markings/sec, 50 secs
lola: 322354 markings, 640306 edges, 5264 markings/sec, 55 secs
lola: 348805 markings, 694428 edges, 5290 markings/sec, 60 secs
lola: 376866 markings, 747734 edges, 5612 markings/sec, 65 secs
lola: 403213 markings, 800675 edges, 5269 markings/sec, 70 secs
lola: 431243 markings, 855022 edges, 5606 markings/sec, 75 secs
lola: 457691 markings, 908008 edges, 5290 markings/sec, 80 secs
lola: 483357 markings, 959845 edges, 5133 markings/sec, 85 secs
lola: 506839 markings, 1016252 edges, 4696 markings/sec, 90 secs
lola: 532668 markings, 1106955 edges, 5166 markings/sec, 95 secs
lola: 558879 markings, 1189732 edges, 5242 markings/sec, 100 secs
lola: 585562 markings, 1296542 edges, 5337 markings/sec, 105 secs
lola: 612178 markings, 1403595 edges, 5323 markings/sec, 110 secs
lola: 639152 markings, 1511089 edges, 5395 markings/sec, 115 secs
lola: 666170 markings, 1619122 edges, 5404 markings/sec, 120 secs
lola: 690993 markings, 1716648 edges, 4965 markings/sec, 125 secs
lola: 714203 markings, 1827162 edges, 4642 markings/sec, 130 secs
lola: 737449 markings, 1939484 edges, 4649 markings/sec, 135 secs
lola: 756964 markings, 2072709 edges, 3903 markings/sec, 140 secs
lola: 784101 markings, 2127689 edges, 5427 markings/sec, 145 secs
lola: 809767 markings, 2178959 edges, 5133 markings/sec, 150 secs
lola: 835380 markings, 2230317 edges, 5123 markings/sec, 155 secs
lola: 861364 markings, 2282118 edges, 5197 markings/sec, 160 secs
lola: 885181 markings, 2335714 edges, 4763 markings/sec, 165 secs
lola: 911943 markings, 2393451 edges, 5352 markings/sec, 170 secs
lola: 937904 markings, 2445535 edges, 5192 markings/sec, 175 secs
lola: 965610 markings, 2499453 edges, 5541 markings/sec, 180 secs
lola: 991216 markings, 2550333 edges, 5121 markings/sec, 185 secs
lola: 1016824 markings, 2601642 edges, 5122 markings/sec, 190 secs
lola: 1042188 markings, 2653129 edges, 5073 markings/sec, 195 secs
lola: 1069302 markings, 2704603 edges, 5423 markings/sec, 200 secs
lola: 1092350 markings, 2750305 edges, 4610 markings/sec, 205 secs
lola: 1118616 markings, 2803055 edges, 5253 markings/sec, 210 secs
lola: 1146618 markings, 2857363 edges, 5600 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(p1697)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 28496 markings, 54396 edges, 5699 markings/sec, 0 secs
lola: 53501 markings, 104334 edges, 5001 markings/sec, 5 secs
lola: 80166 markings, 158549 edges, 5333 markings/sec, 10 secs
lola: 108618 markings, 212995 edges, 5690 markings/sec, 15 secs
lola: 135336 markings, 266686 edges, 5344 markings/sec, 20 secs
lola: 163493 markings, 320743 edges, 5631 markings/sec, 25 secs
lola: 190336 markings, 375084 edges, 5369 markings/sec, 30 secs
lola: 216993 markings, 429179 edges, 5331 markings/sec, 35 secs
lola: 245337 markings, 483470 edges, 5669 markings/sec, 40 secs
lola: 271466 markings, 535900 edges, 5226 markings/sec, 45 secs
lola: 298593 markings, 590133 edges, 5425 markings/sec, 50 secs
lola: 326247 markings, 643811 edges, 5531 markings/sec, 55 secs
lola: 352750 markings, 697052 edges, 5301 markings/sec, 60 secs
lola: 380394 markings, 750521 edges, 5529 markings/sec, 65 secs
lola: 407101 markings, 804002 edges, 5341 markings/sec, 70 secs
lola: 433376 markings, 856733 edges, 5255 markings/sec, 75 secs
lola: 461151 markings, 909942 edges, 5555 markings/sec, 80 secs
lola: 482515 markings, 982874 edges, 4273 markings/sec, 85 secs
lola: 502719 markings, 1068060 edges, 4041 markings/sec, 90 secs
lola: 522615 markings, 1151229 edges, 3979 markings/sec, 95 secs
lola: 543183 markings, 1236321 edges, 4114 markings/sec, 100 secs
lola: 563574 markings, 1321465 edges, 4078 markings/sec, 105 secs
lola: 583920 markings, 1406506 edges, 4069 markings/sec, 110 secs
lola: 603424 markings, 1488017 edges, 3901 markings/sec, 115 secs
lola: 624196 markings, 1560607 edges, 4154 markings/sec, 120 secs
lola: 644945 markings, 1627085 edges, 4150 markings/sec, 125 secs
lola: 663850 markings, 1716449 edges, 3781 markings/sec, 130 secs
lola: 682369 markings, 1805563 edges, 3704 markings/sec, 135 secs
lola: 701924 markings, 1898609 edges, 3911 markings/sec, 140 secs
lola: 720434 markings, 1998239 edges, 3702 markings/sec, 145 secs
lola: 738894 markings, 2097896 edges, 3692 markings/sec, 150 secs
lola: 759298 markings, 2161803 edges, 4081 markings/sec, 155 secs
lola: 781714 markings, 2225355 edges, 4483 markings/sec, 160 secs
lola: 807517 markings, 2277285 edges, 5161 markings/sec, 165 secs
lola: 833288 markings, 2328905 edges, 5154 markings/sec, 170 secs
lola: 860354 markings, 2381887 edges, 5413 markings/sec, 175 secs
lola: 887232 markings, 2435004 edges, 5376 markings/sec, 180 secs
lola: 909615 markings, 2479193 edges, 4477 markings/sec, 185 secs
lola: 935915 markings, 2531969 edges, 5260 markings/sec, 190 secs
lola: 963059 markings, 2585467 edges, 5429 markings/sec, 195 secs
lola: 990540 markings, 2639544 edges, 5496 markings/sec, 200 secs
lola: 1017146 markings, 2692988 edges, 5321 markings/sec, 205 secs
lola: 1045497 markings, 2747506 edges, 5670 markings/sec, 210 secs
lola: 1071731 markings, 2800481 edges, 5247 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(p1994)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 28133 markings, 53914 edges, 5627 markings/sec, 0 secs
lola: 54422 markings, 106404 edges, 5258 markings/sec, 5 secs
lola: 81392 markings, 159943 edges, 5394 markings/sec, 10 secs
lola: 108763 markings, 213597 edges, 5474 markings/sec, 15 secs
lola: 134888 markings, 265744 edges, 5225 markings/sec, 20 secs
lola: 161608 markings, 318641 edges, 5344 markings/sec, 25 secs
lola: 188875 markings, 372185 edges, 5453 markings/sec, 30 secs
lola: 215220 markings, 424764 edges, 5269 markings/sec, 35 secs
lola: 242553 markings, 478118 edges, 5467 markings/sec, 40 secs
lola: 269154 markings, 531096 edges, 5320 markings/sec, 45 secs
lola: 295597 markings, 583910 edges, 5289 markings/sec, 50 secs
lola: 323874 markings, 638212 edges, 5655 markings/sec, 55 secs
lola: 349868 markings, 690940 edges, 5199 markings/sec, 60 secs
lola: 372735 markings, 736203 edges, 4573 markings/sec, 65 secs
lola: 399380 markings, 789742 edges, 5329 markings/sec, 70 secs
lola: 427582 markings, 844443 edges, 5640 markings/sec, 75 secs
lola: 453461 markings, 896070 edges, 5176 markings/sec, 80 secs
lola: 478917 markings, 946798 edges, 5091 markings/sec, 85 secs
lola: 498837 markings, 1024318 edges, 3984 markings/sec, 90 secs
lola: 518903 markings, 1106405 edges, 4013 markings/sec, 95 secs
lola: 538884 markings, 1187707 edges, 3996 markings/sec, 100 secs
lola: 559315 markings, 1270236 edges, 4086 markings/sec, 105 secs
lola: 580135 markings, 1355507 edges, 4164 markings/sec, 110 secs
lola: 601025 markings, 1439817 edges, 4178 markings/sec, 115 secs
lola: 621735 markings, 1524516 edges, 4142 markings/sec, 120 secs
lola: 641524 markings, 1614330 edges, 3958 markings/sec, 125 secs
lola: 660729 markings, 1705829 edges, 3841 markings/sec, 130 secs
lola: 680658 markings, 1791401 edges, 3986 markings/sec, 135 secs
lola: 700698 markings, 1877626 edges, 4008 markings/sec, 140 secs
lola: 720917 markings, 1963568 edges, 4044 markings/sec, 145 secs
lola: 740199 markings, 2057266 edges, 3856 markings/sec, 150 secs
lola: 759521 markings, 2143937 edges, 3864 markings/sec, 155 secs
lola: 779031 markings, 2228994 edges, 3902 markings/sec, 160 secs
lola: 800147 markings, 2295379 edges, 4223 markings/sec, 165 secs
lola: 823403 markings, 2356575 edges, 4651 markings/sec, 170 secs
lola: 849491 markings, 2409461 edges, 5218 markings/sec, 175 secs
lola: 876911 markings, 2461996 edges, 5484 markings/sec, 180 secs
lola: 899438 markings, 2506539 edges, 4505 markings/sec, 185 secs
lola: 925495 markings, 2558538 edges, 5211 markings/sec, 190 secs
lola: 951458 markings, 2610781 edges, 5193 markings/sec, 195 secs
lola: 979114 markings, 2663694 edges, 5531 markings/sec, 200 secs
lola: 1005036 markings, 2715933 edges, 5184 markings/sec, 205 secs
lola: 1031015 markings, 2767927 edges, 5196 markings/sec, 210 secs
lola: 1058619 markings, 2820678 edges, 5521 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p278)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 26252 markings, 49059 edges, 5250 markings/sec, 0 secs
lola: 50405 markings, 97891 edges, 4831 markings/sec, 5 secs
lola: 76704 markings, 150411 edges, 5260 markings/sec, 10 secs
lola: 102887 markings, 203508 edges, 5237 markings/sec, 15 secs
lola: 130703 markings, 256917 edges, 5563 markings/sec, 20 secs
lola: 156759 markings, 308909 edges, 5211 markings/sec, 25 secs
lola: 182905 markings, 361828 edges, 5229 markings/sec, 30 secs
lola: 210692 markings, 415213 edges, 5557 markings/sec, 35 secs
lola: 236590 markings, 466910 edges, 5180 markings/sec, 40 secs
lola: 262572 markings, 519114 edges, 5196 markings/sec, 45 secs
lola: 290345 markings, 572576 edges, 5555 markings/sec, 50 secs
lola: 316610 markings, 625269 edges, 5253 markings/sec, 55 secs
lola: 342854 markings, 678025 edges, 5249 markings/sec, 60 secs
lola: 370980 markings, 732532 edges, 5625 markings/sec, 65 secs
lola: 397541 markings, 785577 edges, 5312 markings/sec, 70 secs
lola: 424112 markings, 838952 edges, 5314 markings/sec, 75 secs
lola: 452022 markings, 893059 edges, 5582 markings/sec, 80 secs
lola: 478330 markings, 945589 edges, 5262 markings/sec, 85 secs
lola: 499050 markings, 1025227 edges, 4144 markings/sec, 90 secs
lola: 519400 markings, 1108810 edges, 4070 markings/sec, 95 secs
lola: 539681 markings, 1190830 edges, 4056 markings/sec, 100 secs
lola: 558786 markings, 1268418 edges, 3821 markings/sec, 105 secs
lola: 579627 markings, 1352708 edges, 4168 markings/sec, 110 secs
lola: 600457 markings, 1437859 edges, 4166 markings/sec, 115 secs
lola: 621074 markings, 1521040 edges, 4123 markings/sec, 120 secs
lola: 639218 markings, 1604654 edges, 3629 markings/sec, 125 secs
lola: 658226 markings, 1698243 edges, 3802 markings/sec, 130 secs
lola: 678074 markings, 1783153 edges, 3970 markings/sec, 135 secs
lola: 697712 markings, 1867697 edges, 3928 markings/sec, 140 secs
lola: 717705 markings, 1952877 edges, 3999 markings/sec, 145 secs
lola: 737498 markings, 2042827 edges, 3959 markings/sec, 150 secs
lola: 756784 markings, 2130081 edges, 3857 markings/sec, 155 secs
lola: 775797 markings, 2218809 edges, 3803 markings/sec, 160 secs
lola: 796677 markings, 2284585 edges, 4176 markings/sec, 165 secs
lola: 819560 markings, 2348456 edges, 4577 markings/sec, 170 secs
lola: 845832 markings, 2400905 edges, 5254 markings/sec, 175 secs
lola: 871536 markings, 2452574 edges, 5141 markings/sec, 180 secs
lola: 898713 markings, 2504343 edges, 5435 markings/sec, 185 secs
lola: 924687 markings, 2556834 edges, 5195 markings/sec, 190 secs
lola: 950698 markings, 2608741 edges, 5202 markings/sec, 195 secs
lola: 977223 markings, 2660678 edges, 5305 markings/sec, 200 secs
lola: 1002751 markings, 2711099 edges, 5106 markings/sec, 205 secs
lola: 1028709 markings, 2762869 edges, 5192 markings/sec, 210 secs
lola: 1054641 markings, 2815030 edges, 5186 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 23161 markings, 23181 edges, 4632 markings/sec, 0 secs
lola: 44579 markings, 44648 edges, 4284 markings/sec, 5 secs
lola: 68468 markings, 68613 edges, 4778 markings/sec, 10 secs
lola: 91816 markings, 92019 edges, 4670 markings/sec, 15 secs
lola: 114658 markings, 114933 edges, 4568 markings/sec, 20 secs
lola: 138495 markings, 138850 edges, 4767 markings/sec, 25 secs
lola: 161716 markings, 162190 edges, 4644 markings/sec, 30 secs
lola: 185613 markings, 186165 edges, 4779 markings/sec, 35 secs
lola: 208549 markings, 209298 edges, 4587 markings/sec, 40 secs
lola: 228574 markings, 229392 edges, 4005 markings/sec, 45 secs
lola: 251791 markings, 252698 edges, 4643 markings/sec, 50 secs
lola: 275011 markings, 276027 edges, 4644 markings/sec, 55 secs
lola: 298084 markings, 299204 edges, 4615 markings/sec, 60 secs
lola: 321719 markings, 322951 edges, 4727 markings/sec, 65 secs
lola: 344950 markings, 346293 edges, 4646 markings/sec, 70 secs
lola: 368222 markings, 369713 edges, 4654 markings/sec, 75 secs
lola: 391465 markings, 393072 edges, 4649 markings/sec, 80 secs
lola: 411910 markings, 413611 edges, 4089 markings/sec, 85 secs
lola: 435297 markings, 437347 edges, 4677 markings/sec, 90 secs
lola: 458466 markings, 460627 edges, 4634 markings/sec, 95 secs
lola: 481596 markings, 483852 edges, 4626 markings/sec, 100 secs
lola: 504793 markings, 507154 edges, 4639 markings/sec, 105 secs
lola: 528046 markings, 530509 edges, 4651 markings/sec, 110 secs
lola: 551351 markings, 553937 edges, 4661 markings/sec, 115 secs
lola: 574237 markings, 576994 edges, 4577 markings/sec, 120 secs
lola: 596778 markings, 599623 edges, 4508 markings/sec, 125 secs
lola: 619579 markings, 622562 edges, 4560 markings/sec, 130 secs
lola: 642338 markings, 645446 edges, 4552 markings/sec, 135 secs
lola: 664467 markings, 667696 edges, 4426 markings/sec, 140 secs
lola: 687003 markings, 690397 edges, 4507 markings/sec, 145 secs
lola: 710387 markings, 713874 edges, 4677 markings/sec, 150 secs
lola: 733016 markings, 736638 edges, 4526 markings/sec, 155 secs
lola: 756345 markings, 760128 edges, 4666 markings/sec, 160 secs
lola: 776295 markings, 780229 edges, 3990 markings/sec, 165 secs
lola: 798931 markings, 803074 edges, 4527 markings/sec, 170 secs
lola: 822306 markings, 826557 edges, 4675 markings/sec, 175 secs
lola: 845111 markings, 849500 edges, 4561 markings/sec, 180 secs
lola: 869310 markings, 873832 edges, 4840 markings/sec, 185 secs
lola: 892756 markings, 897405 edges, 4689 markings/sec, 190 secs
lola: 915987 markings, 921155 edges, 4646 markings/sec, 195 secs
lola: 938730 markings, 943991 edges, 4549 markings/sec, 200 secs
lola: 961362 markings, 966763 edges, 4526 markings/sec, 205 secs
lola: 984607 markings, 990135 edges, 4649 markings/sec, 210 secs
lola: 1008410 markings, 1014068 edges, 4761 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2781)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 808 bytes per marking, with 10 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: 27573 markings, 51757 edges, 5515 markings/sec, 0 secs
lola: 53604 markings, 104305 edges, 5206 markings/sec, 5 secs
lola: 81043 markings, 158510 edges, 5488 markings/sec, 10 secs
lola: 106863 markings, 210517 edges, 5164 markings/sec, 15 secs
lola: 134106 markings, 263995 edges, 5449 markings/sec, 20 secs
lola: 159765 markings, 315975 edges, 5132 markings/sec, 25 secs
lola: 185768 markings, 368980 edges, 5201 markings/sec, 30 secs
lola: 212817 markings, 421753 edges, 5410 markings/sec, 35 secs
lola: 238397 markings, 474797 edges, 5116 markings/sec, 40 secs
lola: 265764 markings, 527301 edges, 5473 markings/sec, 45 secs
lola: 291717 markings, 580648 edges, 5191 markings/sec, 50 secs
lola: 319139 markings, 633768 edges, 5484 markings/sec, 55 secs
lola: 345111 markings, 686538 edges, 5194 markings/sec, 60 secs
lola: 372419 markings, 740038 edges, 5462 markings/sec, 65 secs
lola: 398337 markings, 792334 edges, 5184 markings/sec, 70 secs
lola: 425927 markings, 846791 edges, 5518 markings/sec, 75 secs
lola: 452048 markings, 899508 edges, 5224 markings/sec, 80 secs
lola: 472500 markings, 981866 edges, 4090 markings/sec, 85 secs
lola: 492667 markings, 1066167 edges, 4033 markings/sec, 90 secs
lola: 512874 markings, 1150467 edges, 4041 markings/sec, 95 secs
lola: 533140 markings, 1235354 edges, 4053 markings/sec, 100 secs
lola: 553559 markings, 1321692 edges, 4084 markings/sec, 105 secs
lola: 574078 markings, 1407083 edges, 4104 markings/sec, 110 secs
lola: 594241 markings, 1493292 edges, 4033 markings/sec, 115 secs
lola: 614042 markings, 1577901 edges, 3960 markings/sec, 120 secs
lola: 633910 markings, 1660432 edges, 3974 markings/sec, 125 secs
lola: 653727 markings, 1745461 edges, 3963 markings/sec, 130 secs
lola: 673752 markings, 1829600 edges, 4005 markings/sec, 135 secs
lola: 693926 markings, 1906492 edges, 4035 markings/sec, 140 secs
lola: 711424 markings, 2012906 edges, 3500 markings/sec, 145 secs
lola: 732253 markings, 2079843 edges, 4166 markings/sec, 150 secs
lola: 752349 markings, 2140470 edges, 4019 markings/sec, 155 secs
lola: 769623 markings, 2192094 edges, 3455 markings/sec, 160 secs
lola: 789736 markings, 2254141 edges, 4023 markings/sec, 165 secs
lola: 809739 markings, 2311689 edges, 4001 markings/sec, 170 secs
lola: 832434 markings, 2371129 edges, 4539 markings/sec, 175 secs
lola: 858403 markings, 2424283 edges, 5194 markings/sec, 180 secs
lola: 886110 markings, 2478027 edges, 5541 markings/sec, 185 secs
lola: 911842 markings, 2530637 edges, 5146 markings/sec, 190 secs
lola: 939230 markings, 2583947 edges, 5478 markings/sec, 195 secs
lola: 965381 markings, 2636944 edges, 5230 markings/sec, 200 secs
lola: 992789 markings, 2690802 edges, 5482 markings/sec, 205 secs
lola: 1018752 markings, 2743206 edges, 5193 markings/sec, 210 secs
lola: 1046298 markings, 2797551 edges, 5509 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-22b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496504346109

--------------------
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="FlexibleBarrier-PT-22b"
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/FlexibleBarrier-PT-22b.tgz
mv FlexibleBarrier-PT-22b 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 FlexibleBarrier-PT-22b, 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 r188-blw3-149581034400173"
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 ;