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

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

=== Now, execution of the tool begins

BK_START 1496497278393


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-20b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-20b @ 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: 11565/65536 symbol table entries, 3169 collisions
lola: preprocessing...
lola: finding significant places
lola: 5372 places, 6193 transitions, 5350 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6235 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-20b-UpperBounds.task
lola: MAX(p3916) : MAX(p2616) : MAX(p5312) : MAX(p5120) : MAX(p284) : MAX(p1281) : MAX(p4490) : MAX(p3172) : MAX(p2777) : MAX(p1528) : MAX(p2719) : MAX(p1447) : MAX(p2995) : MAX(p377) : MAX(p2187) : MAX(p3818)
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(p3916)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31577 markings, 62486 edges, 6315 markings/sec, 0 secs
lola: 63257 markings, 125223 edges, 6336 markings/sec, 5 secs
lola: 95127 markings, 188103 edges, 6374 markings/sec, 10 secs
lola: 126681 markings, 250640 edges, 6311 markings/sec, 15 secs
lola: 158335 markings, 313281 edges, 6331 markings/sec, 20 secs
lola: 189944 markings, 375877 edges, 6322 markings/sec, 25 secs
lola: 221554 markings, 438474 edges, 6322 markings/sec, 30 secs
lola: 253080 markings, 500981 edges, 6305 markings/sec, 35 secs
lola: 284386 markings, 563250 edges, 6261 markings/sec, 40 secs
lola: 315921 markings, 625765 edges, 6307 markings/sec, 45 secs
lola: 347968 markings, 688836 edges, 6409 markings/sec, 50 secs
lola: 379367 markings, 752725 edges, 6280 markings/sec, 55 secs
lola: 403995 markings, 847075 edges, 4926 markings/sec, 60 secs
lola: 429244 markings, 942516 edges, 5050 markings/sec, 65 secs
lola: 454208 markings, 1037568 edges, 4993 markings/sec, 70 secs
lola: 479415 markings, 1133568 edges, 5041 markings/sec, 75 secs
lola: 504598 markings, 1229458 edges, 5037 markings/sec, 80 secs
lola: 529436 markings, 1312868 edges, 4968 markings/sec, 85 secs
lola: 551402 markings, 1416596 edges, 4393 markings/sec, 90 secs
lola: 574440 markings, 1517436 edges, 4608 markings/sec, 95 secs
lola: 597659 markings, 1617827 edges, 4644 markings/sec, 100 secs
lola: 618622 markings, 1733102 edges, 4193 markings/sec, 105 secs
lola: 642022 markings, 1821432 edges, 4680 markings/sec, 110 secs
lola: 666648 markings, 1896671 edges, 4925 markings/sec, 115 secs
lola: 701542 markings, 1966605 edges, 6979 markings/sec, 120 secs
lola: 738737 markings, 2034647 edges, 7439 markings/sec, 125 secs
lola: 776450 markings, 2104059 edges, 7543 markings/sec, 130 secs
lola: 815383 markings, 2173413 edges, 7787 markings/sec, 135 secs
lola: 852573 markings, 2242966 edges, 7438 markings/sec, 140 secs
lola: 880863 markings, 2318799 edges, 5658 markings/sec, 145 secs
lola: 908683 markings, 2393942 edges, 5564 markings/sec, 150 secs
lola: 936288 markings, 2457444 edges, 5521 markings/sec, 155 secs
lola: 964077 markings, 2521829 edges, 5558 markings/sec, 160 secs
lola: 991746 markings, 2585862 edges, 5534 markings/sec, 165 secs
lola: 1019579 markings, 2649865 edges, 5567 markings/sec, 170 secs
lola: 1047485 markings, 2714038 edges, 5581 markings/sec, 175 secs
lola: 1075154 markings, 2778159 edges, 5534 markings/sec, 180 secs
lola: 1103029 markings, 2842640 edges, 5575 markings/sec, 185 secs
lola: 1131280 markings, 2907539 edges, 5650 markings/sec, 190 secs
lola: 1158831 markings, 2976167 edges, 5510 markings/sec, 195 secs
lola: 1184861 markings, 3048956 edges, 5206 markings/sec, 200 secs
lola: 1211120 markings, 3122093 edges, 5252 markings/sec, 205 secs
lola: 1237319 markings, 3196533 edges, 5240 markings/sec, 210 secs
lola: 1262082 markings, 3279260 edges, 4953 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(p2616)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31548 markings, 62428 edges, 6310 markings/sec, 0 secs
lola: 63160 markings, 125104 edges, 6322 markings/sec, 5 secs
lola: 95431 markings, 188445 edges, 6454 markings/sec, 10 secs
lola: 127300 markings, 251326 edges, 6374 markings/sec, 15 secs
lola: 157185 markings, 311209 edges, 5977 markings/sec, 20 secs
lola: 184988 markings, 365129 edges, 5561 markings/sec, 25 secs
lola: 216843 markings, 428338 edges, 6371 markings/sec, 30 secs
lola: 248560 markings, 491241 edges, 6343 markings/sec, 35 secs
lola: 279913 markings, 553378 edges, 6271 markings/sec, 40 secs
lola: 311406 markings, 615785 edges, 6299 markings/sec, 45 secs
lola: 342986 markings, 678390 edges, 6316 markings/sec, 50 secs
lola: 374616 markings, 741112 edges, 6326 markings/sec, 55 secs
lola: 399379 markings, 828724 edges, 4953 markings/sec, 60 secs
lola: 423858 markings, 921922 edges, 4896 markings/sec, 65 secs
lola: 448608 markings, 1016146 edges, 4950 markings/sec, 70 secs
lola: 473459 markings, 1110728 edges, 4970 markings/sec, 75 secs
lola: 498493 markings, 1206054 edges, 5007 markings/sec, 80 secs
lola: 521064 markings, 1287611 edges, 4514 markings/sec, 85 secs
lola: 544051 markings, 1382998 edges, 4597 markings/sec, 90 secs
lola: 566847 markings, 1480910 edges, 4559 markings/sec, 95 secs
lola: 589844 markings, 1581922 edges, 4599 markings/sec, 100 secs
lola: 609807 markings, 1689287 edges, 3993 markings/sec, 105 secs
lola: 632374 markings, 1786876 edges, 4513 markings/sec, 110 secs
lola: 656770 markings, 1867285 edges, 4879 markings/sec, 115 secs
lola: 686766 markings, 1939765 edges, 5999 markings/sec, 120 secs
lola: 723704 markings, 2008829 edges, 7388 markings/sec, 125 secs
lola: 761310 markings, 2076464 edges, 7521 markings/sec, 130 secs
lola: 800011 markings, 2145498 edges, 7740 markings/sec, 135 secs
lola: 837748 markings, 2215638 edges, 7547 markings/sec, 140 secs
lola: 870028 markings, 2287927 edges, 6456 markings/sec, 145 secs
lola: 897644 markings, 2366861 edges, 5523 markings/sec, 150 secs
lola: 924961 markings, 2431509 edges, 5463 markings/sec, 155 secs
lola: 952579 markings, 2495435 edges, 5524 markings/sec, 160 secs
lola: 980252 markings, 2559095 edges, 5535 markings/sec, 165 secs
lola: 1007959 markings, 2622822 edges, 5541 markings/sec, 170 secs
lola: 1035783 markings, 2687263 edges, 5565 markings/sec, 175 secs
lola: 1063599 markings, 2751616 edges, 5563 markings/sec, 180 secs
lola: 1090363 markings, 2813320 edges, 5353 markings/sec, 185 secs
lola: 1118352 markings, 2877652 edges, 5598 markings/sec, 190 secs
lola: 1146531 markings, 2942434 edges, 5636 markings/sec, 195 secs
lola: 1172517 markings, 3014289 edges, 5197 markings/sec, 200 secs
lola: 1199098 markings, 3088523 edges, 5316 markings/sec, 205 secs
lola: 1225665 markings, 3162690 edges, 5313 markings/sec, 210 secs
lola: 1251225 markings, 3239300 edges, 5112 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(p5312)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 28916 markings, 66782 edges, 5783 markings/sec, 0 secs
lola: 57952 markings, 129675 edges, 5807 markings/sec, 5 secs
lola: 89677 markings, 192523 edges, 6345 markings/sec, 10 secs
lola: 121417 markings, 255416 edges, 6348 markings/sec, 15 secs
lola: 153066 markings, 318108 edges, 6330 markings/sec, 20 secs
lola: 180293 markings, 371007 edges, 5445 markings/sec, 25 secs
lola: 211842 markings, 433329 edges, 6310 markings/sec, 30 secs
lola: 243442 markings, 496187 edges, 6320 markings/sec, 35 secs
lola: 275039 markings, 558832 edges, 6319 markings/sec, 40 secs
lola: 306786 markings, 621741 edges, 6349 markings/sec, 45 secs
lola: 338518 markings, 684618 edges, 6346 markings/sec, 50 secs
lola: 370345 markings, 747689 edges, 6365 markings/sec, 55 secs
lola: 402201 markings, 810837 edges, 6371 markings/sec, 60 secs
lola: 426987 markings, 903749 edges, 4957 markings/sec, 65 secs
lola: 451790 markings, 1001952 edges, 4961 markings/sec, 70 secs
lola: 476699 markings, 1100285 edges, 4982 markings/sec, 75 secs
lola: 501615 markings, 1198758 edges, 4983 markings/sec, 80 secs
lola: 526796 markings, 1287797 edges, 5036 markings/sec, 85 secs
lola: 551688 markings, 1373714 edges, 4978 markings/sec, 90 secs
lola: 575325 markings, 1479242 edges, 4727 markings/sec, 95 secs
lola: 598972 markings, 1587463 edges, 4729 markings/sec, 100 secs
lola: 621619 markings, 1703934 edges, 4529 markings/sec, 105 secs
lola: 644225 markings, 1814489 edges, 4521 markings/sec, 110 secs
lola: 668919 markings, 1897946 edges, 4939 markings/sec, 115 secs
lola: 694389 markings, 1969643 edges, 5094 markings/sec, 120 secs
lola: 722935 markings, 2025196 edges, 5709 markings/sec, 125 secs
lola: 753803 markings, 2086179 edges, 6174 markings/sec, 130 secs
lola: 784724 markings, 2147289 edges, 6184 markings/sec, 135 secs
lola: 815872 markings, 2208897 edges, 6230 markings/sec, 140 secs
lola: 847195 markings, 2270900 edges, 6265 markings/sec, 145 secs
lola: 878437 markings, 2332687 edges, 6248 markings/sec, 150 secs
lola: 909750 markings, 2394644 edges, 6263 markings/sec, 155 secs
lola: 941269 markings, 2457484 edges, 6304 markings/sec, 160 secs
lola: 972983 markings, 2520515 edges, 6343 markings/sec, 165 secs
lola: 1004743 markings, 2583267 edges, 6352 markings/sec, 170 secs
lola: 1037235 markings, 2646187 edges, 6498 markings/sec, 175 secs
lola: 1067955 markings, 2709840 edges, 6144 markings/sec, 180 secs
lola: 1092361 markings, 2806033 edges, 4881 markings/sec, 185 secs
lola: 1116970 markings, 2903619 edges, 4922 markings/sec, 190 secs
lola: 1141823 markings, 3001851 edges, 4971 markings/sec, 195 secs
lola: 1166748 markings, 3100318 edges, 4985 markings/sec, 200 secs
lola: 1191952 markings, 3186639 edges, 5041 markings/sec, 205 secs
lola: 1216883 markings, 3273490 edges, 4986 markings/sec, 210 secs
lola: 1240015 markings, 3381158 edges, 4626 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(p5120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31192 markings, 61671 edges, 6238 markings/sec, 0 secs
lola: 63657 markings, 124200 edges, 6493 markings/sec, 5 secs
lola: 94893 markings, 186996 edges, 6247 markings/sec, 10 secs
lola: 126044 markings, 249458 edges, 6230 markings/sec, 15 secs
lola: 157065 markings, 311666 edges, 6204 markings/sec, 20 secs
lola: 188292 markings, 374388 edges, 6245 markings/sec, 25 secs
lola: 220838 markings, 438731 edges, 6509 markings/sec, 30 secs
lola: 252395 markings, 501945 edges, 6311 markings/sec, 35 secs
lola: 283708 markings, 564744 edges, 6263 markings/sec, 40 secs
lola: 314880 markings, 627248 edges, 6234 markings/sec, 45 secs
lola: 346296 markings, 691067 edges, 6283 markings/sec, 50 secs
lola: 377485 markings, 756083 edges, 6238 markings/sec, 55 secs
lola: 401894 markings, 852227 edges, 4882 markings/sec, 60 secs
lola: 426314 markings, 949562 edges, 4884 markings/sec, 65 secs
lola: 450768 markings, 1045850 edges, 4891 markings/sec, 70 secs
lola: 475264 markings, 1143577 edges, 4899 markings/sec, 75 secs
lola: 499317 markings, 1242026 edges, 4811 markings/sec, 80 secs
lola: 522322 markings, 1336055 edges, 4601 markings/sec, 85 secs
lola: 545890 markings, 1431005 edges, 4714 markings/sec, 90 secs
lola: 569406 markings, 1527746 edges, 4703 markings/sec, 95 secs
lola: 592824 markings, 1614021 edges, 4684 markings/sec, 100 secs
lola: 612539 markings, 1738214 edges, 3943 markings/sec, 105 secs
lola: 637426 markings, 1808334 edges, 4977 markings/sec, 110 secs
lola: 662413 markings, 1884885 edges, 4997 markings/sec, 115 secs
lola: 687547 markings, 1957788 edges, 5027 markings/sec, 120 secs
lola: 712605 markings, 2032868 edges, 5012 markings/sec, 125 secs
lola: 742744 markings, 2095538 edges, 6028 markings/sec, 130 secs
lola: 773435 markings, 2157029 edges, 6138 markings/sec, 135 secs
lola: 804061 markings, 2218431 edges, 6125 markings/sec, 140 secs
lola: 834692 markings, 2281231 edges, 6126 markings/sec, 145 secs
lola: 866738 markings, 2343025 edges, 6409 markings/sec, 150 secs
lola: 897303 markings, 2404336 edges, 6113 markings/sec, 155 secs
lola: 927842 markings, 2465464 edges, 6108 markings/sec, 160 secs
lola: 958386 markings, 2526645 edges, 6109 markings/sec, 165 secs
lola: 989180 markings, 2588348 edges, 6159 markings/sec, 170 secs
lola: 1019508 markings, 2649079 edges, 6066 markings/sec, 175 secs
lola: 1047139 markings, 2704131 edges, 5526 markings/sec, 180 secs
lola: 1077896 markings, 2765793 edges, 6151 markings/sec, 185 secs
lola: 1104047 markings, 2845620 edges, 5230 markings/sec, 190 secs
lola: 1127690 markings, 2938890 edges, 4729 markings/sec, 195 secs
lola: 1151452 markings, 3032676 edges, 4752 markings/sec, 200 secs
lola: 1175257 markings, 3126635 edges, 4761 markings/sec, 205 secs
lola: 1199057 markings, 3222049 edges, 4760 markings/sec, 210 secs
lola: 1221976 markings, 3315464 edges, 4584 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(p284)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 29586 markings, 57494 edges, 5917 markings/sec, 0 secs
lola: 61374 markings, 120536 edges, 6358 markings/sec, 5 secs
lola: 93219 markings, 183724 edges, 6369 markings/sec, 10 secs
lola: 125033 markings, 246922 edges, 6363 markings/sec, 15 secs
lola: 156449 markings, 309146 edges, 6283 markings/sec, 20 secs
lola: 188389 markings, 372663 edges, 6388 markings/sec, 25 secs
lola: 219765 markings, 434784 edges, 6275 markings/sec, 30 secs
lola: 250828 markings, 496094 edges, 6213 markings/sec, 35 secs
lola: 281615 markings, 557085 edges, 6157 markings/sec, 40 secs
lola: 312629 markings, 618476 edges, 6203 markings/sec, 45 secs
lola: 343786 markings, 680201 edges, 6231 markings/sec, 50 secs
lola: 374958 markings, 742001 edges, 6234 markings/sec, 55 secs
lola: 399273 markings, 828789 edges, 4863 markings/sec, 60 secs
lola: 423475 markings, 921131 edges, 4840 markings/sec, 65 secs
lola: 447990 markings, 1014552 edges, 4903 markings/sec, 70 secs
lola: 472683 markings, 1108639 edges, 4939 markings/sec, 75 secs
lola: 497496 markings, 1203122 edges, 4963 markings/sec, 80 secs
lola: 520807 markings, 1304804 edges, 4662 markings/sec, 85 secs
lola: 543442 markings, 1400132 edges, 4527 markings/sec, 90 secs
lola: 566486 markings, 1493410 edges, 4609 markings/sec, 95 secs
lola: 589589 markings, 1588989 edges, 4621 markings/sec, 100 secs
lola: 610948 markings, 1694511 edges, 4272 markings/sec, 105 secs
lola: 633256 markings, 1791092 edges, 4462 markings/sec, 110 secs
lola: 657264 markings, 1869056 edges, 4802 markings/sec, 115 secs
lola: 683305 markings, 1935123 edges, 5208 markings/sec, 120 secs
lola: 719839 markings, 2001224 edges, 7307 markings/sec, 125 secs
lola: 757847 markings, 2069083 edges, 7602 markings/sec, 130 secs
lola: 795158 markings, 2136988 edges, 7462 markings/sec, 135 secs
lola: 832241 markings, 2205872 edges, 7417 markings/sec, 140 secs
lola: 866078 markings, 2275853 edges, 6767 markings/sec, 145 secs
lola: 891935 markings, 2352453 edges, 5171 markings/sec, 150 secs
lola: 919818 markings, 2419900 edges, 5577 markings/sec, 155 secs
lola: 946971 markings, 2482415 edges, 5431 markings/sec, 160 secs
lola: 974123 markings, 2544955 edges, 5430 markings/sec, 165 secs
lola: 1001450 markings, 2607831 edges, 5465 markings/sec, 170 secs
lola: 1028635 markings, 2670427 edges, 5437 markings/sec, 175 secs
lola: 1055915 markings, 2733913 edges, 5456 markings/sec, 180 secs
lola: 1083274 markings, 2797097 edges, 5472 markings/sec, 185 secs
lola: 1110596 markings, 2859957 edges, 5464 markings/sec, 190 secs
lola: 1137967 markings, 2922949 edges, 5474 markings/sec, 195 secs
lola: 1162552 markings, 2986507 edges, 4917 markings/sec, 200 secs
lola: 1188260 markings, 3058178 edges, 5142 markings/sec, 205 secs
lola: 1214220 markings, 3130855 edges, 5192 markings/sec, 210 secs
lola: 1239694 markings, 3205744 edges, 5095 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(p1281)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31661 markings, 62641 edges, 6332 markings/sec, 0 secs
lola: 63893 markings, 125913 edges, 6446 markings/sec, 5 secs
lola: 96468 markings, 189548 edges, 6515 markings/sec, 10 secs
lola: 128456 markings, 252553 edges, 6398 markings/sec, 15 secs
lola: 155294 markings, 306626 edges, 5368 markings/sec, 20 secs
lola: 187009 markings, 369545 edges, 6343 markings/sec, 25 secs
lola: 218632 markings, 432234 edges, 6325 markings/sec, 30 secs
lola: 250336 markings, 495129 edges, 6341 markings/sec, 35 secs
lola: 282070 markings, 558063 edges, 6347 markings/sec, 40 secs
lola: 313751 markings, 620920 edges, 6336 markings/sec, 45 secs
lola: 345443 markings, 683760 edges, 6338 markings/sec, 50 secs
lola: 377153 markings, 746648 edges, 6342 markings/sec, 55 secs
lola: 398398 markings, 824871 edges, 4249 markings/sec, 60 secs
lola: 423017 markings, 918625 edges, 4924 markings/sec, 65 secs
lola: 448029 markings, 1013947 edges, 5002 markings/sec, 70 secs
lola: 473104 markings, 1109094 edges, 5015 markings/sec, 75 secs
lola: 494527 markings, 1190694 edges, 4285 markings/sec, 80 secs
lola: 519359 markings, 1280726 edges, 4966 markings/sec, 85 secs
lola: 544623 markings, 1359144 edges, 5053 markings/sec, 90 secs
lola: 567161 markings, 1462997 edges, 4508 markings/sec, 95 secs
lola: 589838 markings, 1567660 edges, 4535 markings/sec, 100 secs
lola: 611794 markings, 1678236 edges, 4391 markings/sec, 105 secs
lola: 633005 markings, 1788248 edges, 4242 markings/sec, 110 secs
lola: 657424 markings, 1869290 edges, 4884 markings/sec, 115 secs
lola: 687393 markings, 1941483 edges, 5994 markings/sec, 120 secs
lola: 724369 markings, 2009788 edges, 7395 markings/sec, 125 secs
lola: 762626 markings, 2078000 edges, 7651 markings/sec, 130 secs
lola: 800615 markings, 2147194 edges, 7598 markings/sec, 135 secs
lola: 838347 markings, 2216476 edges, 7546 markings/sec, 140 secs
lola: 870826 markings, 2289947 edges, 6496 markings/sec, 145 secs
lola: 900167 markings, 2366856 edges, 5868 markings/sec, 150 secs
lola: 928526 markings, 2429796 edges, 5672 markings/sec, 155 secs
lola: 955866 markings, 2494516 edges, 5468 markings/sec, 160 secs
lola: 983291 markings, 2558537 edges, 5485 markings/sec, 165 secs
lola: 1010784 markings, 2622631 edges, 5499 markings/sec, 170 secs
lola: 1038341 markings, 2686837 edges, 5511 markings/sec, 175 secs
lola: 1065892 markings, 2752033 edges, 5510 markings/sec, 180 secs
lola: 1093539 markings, 2816500 edges, 5529 markings/sec, 185 secs
lola: 1121261 markings, 2881082 edges, 5544 markings/sec, 190 secs
lola: 1149041 markings, 2946245 edges, 5556 markings/sec, 195 secs
lola: 1171819 markings, 3008280 edges, 4556 markings/sec, 200 secs
lola: 1198128 markings, 3081993 edges, 5262 markings/sec, 205 secs
lola: 1224576 markings, 3156163 edges, 5290 markings/sec, 210 secs
lola: 1249447 markings, 3239377 edges, 4974 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(p4490)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 29569 markings, 55927 edges, 5914 markings/sec, 0 secs
lola: 58431 markings, 113594 edges, 5772 markings/sec, 5 secs
lola: 89428 markings, 175708 edges, 6199 markings/sec, 10 secs
lola: 120370 markings, 238088 edges, 6188 markings/sec, 15 secs
lola: 149688 markings, 296526 edges, 5864 markings/sec, 20 secs
lola: 178638 markings, 354247 edges, 5790 markings/sec, 25 secs
lola: 209823 markings, 417722 edges, 6237 markings/sec, 30 secs
lola: 242062 markings, 480407 edges, 6448 markings/sec, 35 secs
lola: 273149 markings, 542761 edges, 6217 markings/sec, 40 secs
lola: 304279 markings, 605147 edges, 6226 markings/sec, 45 secs
lola: 335439 markings, 667621 edges, 6232 markings/sec, 50 secs
lola: 366581 markings, 730348 edges, 6228 markings/sec, 55 secs
lola: 393127 markings, 815377 edges, 5309 markings/sec, 60 secs
lola: 417366 markings, 911893 edges, 4848 markings/sec, 65 secs
lola: 441767 markings, 1007930 edges, 4880 markings/sec, 70 secs
lola: 466102 markings, 1105098 edges, 4867 markings/sec, 75 secs
lola: 490667 markings, 1201751 edges, 4913 markings/sec, 80 secs
lola: 513483 markings, 1297184 edges, 4563 markings/sec, 85 secs
lola: 536493 markings, 1390359 edges, 4602 markings/sec, 90 secs
lola: 559596 markings, 1486120 edges, 4621 markings/sec, 95 secs
lola: 582814 markings, 1578834 edges, 4644 markings/sec, 100 secs
lola: 606519 markings, 1656719 edges, 4741 markings/sec, 105 secs
lola: 626803 markings, 1774103 edges, 4057 markings/sec, 110 secs
lola: 651560 markings, 1849597 edges, 4951 markings/sec, 115 secs
lola: 676503 markings, 1923271 edges, 4989 markings/sec, 120 secs
lola: 701197 markings, 1997211 edges, 4939 markings/sec, 125 secs
lola: 729387 markings, 2067512 edges, 5638 markings/sec, 130 secs
lola: 760038 markings, 2129118 edges, 6130 markings/sec, 135 secs
lola: 790808 markings, 2190703 edges, 6154 markings/sec, 140 secs
lola: 821577 markings, 2252356 edges, 6154 markings/sec, 145 secs
lola: 852363 markings, 2314048 edges, 6157 markings/sec, 150 secs
lola: 883178 markings, 2375802 edges, 6163 markings/sec, 155 secs
lola: 913964 markings, 2437856 edges, 6157 markings/sec, 160 secs
lola: 946469 markings, 2501572 edges, 6501 markings/sec, 165 secs
lola: 977994 markings, 2565018 edges, 6305 markings/sec, 170 secs
lola: 1009614 markings, 2628464 edges, 6324 markings/sec, 175 secs
lola: 1039428 markings, 2688109 edges, 5963 markings/sec, 180 secs
lola: 1068948 markings, 2747147 edges, 5904 markings/sec, 185 secs
lola: 1098218 markings, 2820380 edges, 5854 markings/sec, 190 secs
lola: 1122365 markings, 2915346 edges, 4829 markings/sec, 195 secs
lola: 1146675 markings, 3011101 edges, 4862 markings/sec, 200 secs
lola: 1171168 markings, 3108851 edges, 4899 markings/sec, 205 secs
lola: 1195925 markings, 3206243 edges, 4951 markings/sec, 210 secs
lola: 1219518 markings, 3302141 edges, 4719 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(p3172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31874 markings, 63041 edges, 6375 markings/sec, 0 secs
lola: 63262 markings, 124690 edges, 6278 markings/sec, 5 secs
lola: 94722 markings, 186250 edges, 6292 markings/sec, 10 secs
lola: 126409 markings, 249113 edges, 6337 markings/sec, 15 secs
lola: 155662 markings, 306650 edges, 5851 markings/sec, 20 secs
lola: 186984 markings, 368708 edges, 6264 markings/sec, 25 secs
lola: 218130 markings, 430404 edges, 6229 markings/sec, 30 secs
lola: 249444 markings, 492446 edges, 6263 markings/sec, 35 secs
lola: 280797 markings, 554534 edges, 6271 markings/sec, 40 secs
lola: 312027 markings, 616376 edges, 6246 markings/sec, 45 secs
lola: 343061 markings, 678793 edges, 6207 markings/sec, 50 secs
lola: 373643 markings, 740722 edges, 6116 markings/sec, 55 secs
lola: 400498 markings, 823311 edges, 5371 markings/sec, 60 secs
lola: 425202 markings, 917434 edges, 4941 markings/sec, 65 secs
lola: 449923 markings, 1012219 edges, 4944 markings/sec, 70 secs
lola: 474837 markings, 1106231 edges, 4983 markings/sec, 75 secs
lola: 499691 markings, 1200838 edges, 4971 markings/sec, 80 secs
lola: 523137 markings, 1301037 edges, 4689 markings/sec, 85 secs
lola: 546206 markings, 1394971 edges, 4614 markings/sec, 90 secs
lola: 569423 markings, 1490480 edges, 4643 markings/sec, 95 secs
lola: 592812 markings, 1586963 edges, 4678 markings/sec, 100 secs
lola: 615117 markings, 1684603 edges, 4461 markings/sec, 105 secs
lola: 636369 markings, 1793019 edges, 4250 markings/sec, 110 secs
lola: 660528 markings, 1876029 edges, 4832 markings/sec, 115 secs
lola: 685245 markings, 1951635 edges, 4943 markings/sec, 120 secs
lola: 713496 markings, 2016649 edges, 5650 markings/sec, 125 secs
lola: 743610 markings, 2076025 edges, 6023 markings/sec, 130 secs
lola: 773785 markings, 2135692 edges, 6035 markings/sec, 135 secs
lola: 804034 markings, 2195544 edges, 6050 markings/sec, 140 secs
lola: 833991 markings, 2255505 edges, 5991 markings/sec, 145 secs
lola: 863679 markings, 2315961 edges, 5938 markings/sec, 150 secs
lola: 894435 markings, 2375530 edges, 6151 markings/sec, 155 secs
lola: 925112 markings, 2436072 edges, 6135 markings/sec, 160 secs
lola: 955813 markings, 2496841 edges, 6140 markings/sec, 165 secs
lola: 986517 markings, 2557612 edges, 6141 markings/sec, 170 secs
lola: 1017278 markings, 2618529 edges, 6152 markings/sec, 175 secs
lola: 1047988 markings, 2679301 edges, 6142 markings/sec, 180 secs
lola: 1077530 markings, 2740352 edges, 5908 markings/sec, 185 secs
lola: 1101484 markings, 2830771 edges, 4791 markings/sec, 190 secs
lola: 1125555 markings, 2922381 edges, 4814 markings/sec, 195 secs
lola: 1149728 markings, 3014382 edges, 4835 markings/sec, 200 secs
lola: 1173968 markings, 3107070 edges, 4848 markings/sec, 205 secs
lola: 1198330 markings, 3200013 edges, 4872 markings/sec, 210 secs
lola: 1220148 markings, 3294221 edges, 4364 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(p2777)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31303 markings, 61606 edges, 6261 markings/sec, 0 secs
lola: 62773 markings, 123741 edges, 6294 markings/sec, 5 secs
lola: 94261 markings, 185621 edges, 6298 markings/sec, 10 secs
lola: 125691 markings, 247890 edges, 6286 markings/sec, 15 secs
lola: 157998 markings, 312005 edges, 6461 markings/sec, 20 secs
lola: 189894 markings, 375252 edges, 6379 markings/sec, 25 secs
lola: 221677 markings, 438271 edges, 6357 markings/sec, 30 secs
lola: 253450 markings, 501248 edges, 6355 markings/sec, 35 secs
lola: 285204 markings, 564189 edges, 6351 markings/sec, 40 secs
lola: 317045 markings, 627325 edges, 6368 markings/sec, 45 secs
lola: 349385 markings, 691543 edges, 6468 markings/sec, 50 secs
lola: 381814 markings, 755942 edges, 6486 markings/sec, 55 secs
lola: 410421 markings, 839255 edges, 5721 markings/sec, 60 secs
lola: 436993 markings, 907919 edges, 5314 markings/sec, 65 secs
lola: 461933 markings, 1001242 edges, 4988 markings/sec, 70 secs
lola: 486232 markings, 1103165 edges, 4860 markings/sec, 75 secs
lola: 510792 markings, 1206437 edges, 4912 markings/sec, 80 secs
lola: 535469 markings, 1309228 edges, 4935 markings/sec, 85 secs
lola: 559271 markings, 1409386 edges, 4760 markings/sec, 90 secs
lola: 578886 markings, 1501057 edges, 3923 markings/sec, 95 secs
lola: 601785 markings, 1606919 edges, 4580 markings/sec, 100 secs
lola: 623689 markings, 1715143 edges, 4381 markings/sec, 105 secs
lola: 646071 markings, 1828105 edges, 4476 markings/sec, 110 secs
lola: 671894 markings, 1913786 edges, 5165 markings/sec, 115 secs
lola: 699320 markings, 1988243 edges, 5485 markings/sec, 120 secs
lola: 730549 markings, 2050047 edges, 6246 markings/sec, 125 secs
lola: 761866 markings, 2111998 edges, 6263 markings/sec, 130 secs
lola: 792586 markings, 2172897 edges, 6144 markings/sec, 135 secs
lola: 822948 markings, 2234430 edges, 6072 markings/sec, 140 secs
lola: 854401 markings, 2297229 edges, 6291 markings/sec, 145 secs
lola: 886338 markings, 2360624 edges, 6387 markings/sec, 150 secs
lola: 918277 markings, 2424023 edges, 6388 markings/sec, 155 secs
lola: 949974 markings, 2487073 edges, 6339 markings/sec, 160 secs
lola: 981812 markings, 2550244 edges, 6368 markings/sec, 165 secs
lola: 1013803 markings, 2613702 edges, 6398 markings/sec, 170 secs
lola: 1045554 markings, 2676688 edges, 6350 markings/sec, 175 secs
lola: 1077563 markings, 2740166 edges, 6402 markings/sec, 180 secs
lola: 1105776 markings, 2822478 edges, 5643 markings/sec, 185 secs
lola: 1132088 markings, 2891612 edges, 5262 markings/sec, 190 secs
lola: 1155916 markings, 2982644 edges, 4766 markings/sec, 195 secs
lola: 1175395 markings, 3063669 edges, 3896 markings/sec, 200 secs
lola: 1199004 markings, 3162825 edges, 4722 markings/sec, 205 secs
lola: 1223332 markings, 3264444 edges, 4866 markings/sec, 210 secs
lola: 1247632 markings, 3366078 edges, 4860 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(p1528)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 32620 markings, 63312 edges, 6524 markings/sec, 0 secs
lola: 65222 markings, 127602 edges, 6520 markings/sec, 5 secs
lola: 97134 markings, 191641 edges, 6382 markings/sec, 10 secs
lola: 128779 markings, 255198 edges, 6329 markings/sec, 15 secs
lola: 162003 markings, 320827 edges, 6645 markings/sec, 20 secs
lola: 194012 markings, 385191 edges, 6402 markings/sec, 25 secs
lola: 226042 markings, 449502 edges, 6406 markings/sec, 30 secs
lola: 257963 markings, 515057 edges, 6384 markings/sec, 35 secs
lola: 291420 markings, 579890 edges, 6691 markings/sec, 40 secs
lola: 323509 markings, 644296 edges, 6418 markings/sec, 45 secs
lola: 355610 markings, 708776 edges, 6420 markings/sec, 50 secs
lola: 384821 markings, 784681 edges, 5842 markings/sec, 55 secs
lola: 409868 markings, 884318 edges, 5009 markings/sec, 60 secs
lola: 434840 markings, 982480 edges, 4994 markings/sec, 65 secs
lola: 459748 markings, 1081607 edges, 4982 markings/sec, 70 secs
lola: 484677 markings, 1180844 edges, 4986 markings/sec, 75 secs
lola: 508336 markings, 1278712 edges, 4732 markings/sec, 80 secs
lola: 531566 markings, 1372394 edges, 4646 markings/sec, 85 secs
lola: 555092 markings, 1469492 edges, 4705 markings/sec, 90 secs
lola: 578918 markings, 1566445 edges, 4765 markings/sec, 95 secs
lola: 602862 markings, 1648398 edges, 4789 markings/sec, 100 secs
lola: 623790 markings, 1768789 edges, 4186 markings/sec, 105 secs
lola: 649574 markings, 1844635 edges, 5157 markings/sec, 110 secs
lola: 672534 markings, 1915147 edges, 4592 markings/sec, 115 secs
lola: 698222 markings, 1989447 edges, 5138 markings/sec, 120 secs
lola: 725706 markings, 2063332 edges, 5497 markings/sec, 125 secs
lola: 758245 markings, 2126193 edges, 6508 markings/sec, 130 secs
lola: 789476 markings, 2188643 edges, 6246 markings/sec, 135 secs
lola: 820471 markings, 2250803 edges, 6199 markings/sec, 140 secs
lola: 851504 markings, 2312993 edges, 6207 markings/sec, 145 secs
lola: 882853 markings, 2375968 edges, 6270 markings/sec, 150 secs
lola: 914326 markings, 2439712 edges, 6295 markings/sec, 155 secs
lola: 946805 markings, 2503232 edges, 6496 markings/sec, 160 secs
lola: 978290 markings, 2566389 edges, 6297 markings/sec, 165 secs
lola: 1009857 markings, 2629722 edges, 6313 markings/sec, 170 secs
lola: 1040861 markings, 2691906 edges, 6201 markings/sec, 175 secs
lola: 1073668 markings, 2756764 edges, 6561 markings/sec, 180 secs
lola: 1101087 markings, 2833591 edges, 5484 markings/sec, 185 secs
lola: 1125475 markings, 2929495 edges, 4878 markings/sec, 190 secs
lola: 1149883 markings, 3027070 edges, 4882 markings/sec, 195 secs
lola: 1174536 markings, 3123898 edges, 4931 markings/sec, 200 secs
lola: 1199209 markings, 3222327 edges, 4935 markings/sec, 205 secs
lola: 1222648 markings, 3317173 edges, 4688 markings/sec, 210 secs
lola: 1245452 markings, 3412241 edges, 4561 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(p2719)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1447)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 32179 markings, 63202 edges, 6436 markings/sec, 0 secs
lola: 64626 markings, 126702 edges, 6489 markings/sec, 5 secs
lola: 97059 markings, 190188 edges, 6487 markings/sec, 10 secs
lola: 129111 markings, 253347 edges, 6410 markings/sec, 15 secs
lola: 161027 markings, 316665 edges, 6383 markings/sec, 20 secs
lola: 193023 markings, 380324 edges, 6399 markings/sec, 25 secs
lola: 224812 markings, 443479 edges, 6358 markings/sec, 30 secs
lola: 256675 markings, 506746 edges, 6373 markings/sec, 35 secs
lola: 288542 markings, 570063 edges, 6373 markings/sec, 40 secs
lola: 320445 markings, 633376 edges, 6381 markings/sec, 45 secs
lola: 352223 markings, 696421 edges, 6356 markings/sec, 50 secs
lola: 382209 markings, 763901 edges, 5997 markings/sec, 55 secs
lola: 407067 markings, 857591 edges, 4972 markings/sec, 60 secs
lola: 431931 markings, 952232 edges, 4973 markings/sec, 65 secs
lola: 457226 markings, 1048534 edges, 5059 markings/sec, 70 secs
lola: 480607 markings, 1137478 edges, 4676 markings/sec, 75 secs
lola: 505736 markings, 1235138 edges, 5026 markings/sec, 80 secs
lola: 531408 markings, 1316406 edges, 5134 markings/sec, 85 secs
lola: 555410 markings, 1407055 edges, 4800 markings/sec, 90 secs
lola: 578243 markings, 1512490 edges, 4567 markings/sec, 95 secs
lola: 601366 markings, 1620360 edges, 4625 markings/sec, 100 secs
lola: 622050 markings, 1743004 edges, 4137 markings/sec, 105 secs
lola: 645855 markings, 1834357 edges, 4761 markings/sec, 110 secs
lola: 670749 markings, 1909378 edges, 4979 markings/sec, 115 secs
lola: 707965 markings, 1978719 edges, 7443 markings/sec, 120 secs
lola: 745449 markings, 2047744 edges, 7497 markings/sec, 125 secs
lola: 784391 markings, 2116871 edges, 7788 markings/sec, 130 secs
lola: 822044 markings, 2187285 edges, 7531 markings/sec, 135 secs
lola: 859715 markings, 2257154 edges, 7534 markings/sec, 140 secs
lola: 886590 markings, 2335989 edges, 5375 markings/sec, 145 secs
lola: 917491 markings, 2404589 edges, 6180 markings/sec, 150 secs
lola: 945069 markings, 2468902 edges, 5516 markings/sec, 155 secs
lola: 972684 markings, 2533228 edges, 5523 markings/sec, 160 secs
lola: 1000326 markings, 2598116 edges, 5528 markings/sec, 165 secs
lola: 1028037 markings, 2663252 edges, 5542 markings/sec, 170 secs
lola: 1055749 markings, 2727812 edges, 5542 markings/sec, 175 secs
lola: 1083556 markings, 2792563 edges, 5561 markings/sec, 180 secs
lola: 1111341 markings, 2858288 edges, 5557 markings/sec, 185 secs
lola: 1139192 markings, 2923190 edges, 5570 markings/sec, 190 secs
lola: 1166369 markings, 2992671 edges, 5435 markings/sec, 195 secs
lola: 1192778 markings, 3066769 edges, 5282 markings/sec, 200 secs
lola: 1219359 markings, 3141454 edges, 5316 markings/sec, 205 secs
lola: 1244788 markings, 3223118 edges, 5086 markings/sec, 210 secs
lola: 1270093 markings, 3307258 edges, 5061 markings/sec, 215 secs
lola: 1296975 markings, 3373368 edges, 5376 markings/sec, 220 secs
lola: 1330496 markings, 3442045 edges, 6704 markings/sec, 225 secs
lola: 1367451 markings, 3511118 edges, 7391 markings/sec, 230 secs
lola: 1405369 markings, 3579086 edges, 7584 markings/sec, 235 secs
lola: 1443948 markings, 3648361 edges, 7716 markings/sec, 240 secs
lola: 1481687 markings, 3718104 edges, 7548 markings/sec, 245 secs
lola: 1510862 markings, 3792399 edges, 5835 markings/sec, 250 secs
lola: 1540706 markings, 3864295 edges, 5969 markings/sec, 255 secs
lola: 1568598 markings, 3928925 edges, 5578 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2995)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 40455 markings, 73232 edges, 8091 markings/sec, 0 secs
lola: 82329 markings, 150014 edges, 8375 markings/sec, 5 secs
lola: 121615 markings, 220822 edges, 7857 markings/sec, 10 secs
lola: 163924 markings, 297498 edges, 8462 markings/sec, 15 secs
lola: 202679 markings, 376334 edges, 7751 markings/sec, 20 secs
lola: 234513 markings, 457933 edges, 6367 markings/sec, 25 secs
lola: 264241 markings, 534771 edges, 5946 markings/sec, 30 secs
lola: 294669 markings, 607100 edges, 6086 markings/sec, 35 secs
lola: 325267 markings, 678787 edges, 6120 markings/sec, 40 secs
lola: 355848 markings, 751464 edges, 6116 markings/sec, 45 secs
lola: 386511 markings, 823783 edges, 6133 markings/sec, 50 secs
lola: 417204 markings, 896212 edges, 6139 markings/sec, 55 secs
lola: 447914 markings, 968965 edges, 6142 markings/sec, 60 secs
lola: 478576 markings, 1040992 edges, 6132 markings/sec, 65 secs
lola: 507888 markings, 1118095 edges, 5862 markings/sec, 70 secs
lola: 536797 markings, 1201635 edges, 5782 markings/sec, 75 secs
lola: 565938 markings, 1286420 edges, 5828 markings/sec, 80 secs
lola: 592931 markings, 1382917 edges, 5399 markings/sec, 85 secs
lola: 622358 markings, 1458933 edges, 5885 markings/sec, 90 secs
lola: 654005 markings, 1530651 edges, 6329 markings/sec, 95 secs
lola: 689205 markings, 1599797 edges, 7040 markings/sec, 100 secs
lola: 723301 markings, 1668939 edges, 6819 markings/sec, 105 secs
lola: 758514 markings, 1738445 edges, 7043 markings/sec, 110 secs
lola: 793034 markings, 1807766 edges, 6904 markings/sec, 115 secs
lola: 827948 markings, 1877370 edges, 6983 markings/sec, 120 secs
lola: 863298 markings, 1947193 edges, 7070 markings/sec, 125 secs
lola: 897486 markings, 2016535 edges, 6838 markings/sec, 130 secs
lola: 933056 markings, 2086867 edges, 7114 markings/sec, 135 secs
lola: 967247 markings, 2156154 edges, 6838 markings/sec, 140 secs
lola: 998554 markings, 2238630 edges, 6261 markings/sec, 145 secs
lola: 1027667 markings, 2320340 edges, 5823 markings/sec, 150 secs
lola: 1059021 markings, 2391987 edges, 6271 markings/sec, 155 secs
lola: 1083755 markings, 2500542 edges, 4947 markings/sec, 160 secs
lola: 1108465 markings, 2609432 edges, 4942 markings/sec, 165 secs
lola: 1130878 markings, 2707764 edges, 4483 markings/sec, 170 secs
lola: 1155323 markings, 2816124 edges, 4889 markings/sec, 175 secs
lola: 1179879 markings, 2929271 edges, 4911 markings/sec, 180 secs
lola: 1204647 markings, 3042919 edges, 4954 markings/sec, 185 secs
lola: 1227275 markings, 3167652 edges, 4526 markings/sec, 190 secs
lola: 1253662 markings, 3261515 edges, 5277 markings/sec, 195 secs
lola: 1282810 markings, 3339595 edges, 5830 markings/sec, 200 secs
lola: 1315625 markings, 3410555 edges, 6563 markings/sec, 205 secs
lola: 1347524 markings, 3488423 edges, 6380 markings/sec, 210 secs
lola: 1379908 markings, 3567903 edges, 6477 markings/sec, 215 secs
lola: 1414686 markings, 3639447 edges, 6956 markings/sec, 220 secs
lola: 1449748 markings, 3710540 edges, 7012 markings/sec, 225 secs
lola: 1485564 markings, 3782105 edges, 7163 markings/sec, 230 secs
lola: 1520419 markings, 3853352 edges, 6971 markings/sec, 235 secs
lola: 1554785 markings, 3923465 edges, 6873 markings/sec, 240 secs
lola: 1589057 markings, 3993375 edges, 6854 markings/sec, 245 secs
lola: 1621230 markings, 4058518 edges, 6435 markings/sec, 250 secs
lola: 1655475 markings, 4128340 edges, 6849 markings/sec, 255 secs
lola: 1684030 markings, 4224237 edges, 5711 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p377)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 34010 markings, 65460 edges, 6802 markings/sec, 0 secs
lola: 66248 markings, 130513 edges, 6448 markings/sec, 5 secs
lola: 98678 markings, 196407 edges, 6486 markings/sec, 10 secs
lola: 132996 markings, 263480 edges, 6864 markings/sec, 15 secs
lola: 165473 markings, 329051 edges, 6495 markings/sec, 20 secs
lola: 198183 markings, 395834 edges, 6542 markings/sec, 25 secs
lola: 232499 markings, 462707 edges, 6863 markings/sec, 30 secs
lola: 265453 markings, 529237 edges, 6591 markings/sec, 35 secs
lola: 299059 markings, 595774 edges, 6721 markings/sec, 40 secs
lola: 332375 markings, 662657 edges, 6663 markings/sec, 45 secs
lola: 364851 markings, 728680 edges, 6495 markings/sec, 50 secs
lola: 391169 markings, 819672 edges, 5264 markings/sec, 55 secs
lola: 421206 markings, 887291 edges, 6007 markings/sec, 60 secs
lola: 446453 markings, 985909 edges, 5049 markings/sec, 65 secs
lola: 471656 markings, 1091326 edges, 5041 markings/sec, 70 secs
lola: 496920 markings, 1197199 edges, 5053 markings/sec, 75 secs
lola: 521939 markings, 1302021 edges, 5004 markings/sec, 80 secs
lola: 545790 markings, 1408789 edges, 4770 markings/sec, 85 secs
lola: 569822 markings, 1518750 edges, 4806 markings/sec, 90 secs
lola: 593443 markings, 1629628 edges, 4724 markings/sec, 95 secs
lola: 615627 markings, 1745101 edges, 4437 markings/sec, 100 secs
lola: 641670 markings, 1823691 edges, 5209 markings/sec, 105 secs
lola: 667908 markings, 1900629 edges, 5248 markings/sec, 110 secs
lola: 699723 markings, 1968557 edges, 6363 markings/sec, 115 secs
lola: 731467 markings, 2032958 edges, 6349 markings/sec, 120 secs
lola: 764630 markings, 2097895 edges, 6633 markings/sec, 125 secs
lola: 797591 markings, 2164120 edges, 6592 markings/sec, 130 secs
lola: 830264 markings, 2230582 edges, 6535 markings/sec, 135 secs
lola: 864118 markings, 2296579 edges, 6771 markings/sec, 140 secs
lola: 896747 markings, 2362497 edges, 6526 markings/sec, 145 secs
lola: 929550 markings, 2429532 edges, 6561 markings/sec, 150 secs
lola: 963818 markings, 2496244 edges, 6854 markings/sec, 155 secs
lola: 996300 markings, 2561771 edges, 6496 markings/sec, 160 secs
lola: 1028806 markings, 2627677 edges, 6501 markings/sec, 165 secs
lola: 1056270 markings, 2713327 edges, 5493 markings/sec, 170 secs
lola: 1086332 markings, 2786884 edges, 6012 markings/sec, 175 secs
lola: 1112328 markings, 2874714 edges, 5199 markings/sec, 180 secs
lola: 1137159 markings, 2978179 edges, 4966 markings/sec, 185 secs
lola: 1162199 markings, 3082989 edges, 5008 markings/sec, 190 secs
lola: 1187331 markings, 3188200 edges, 5026 markings/sec, 195 secs
lola: 1211123 markings, 3291620 edges, 4758 markings/sec, 200 secs
lola: 1234554 markings, 3399902 edges, 4686 markings/sec, 205 secs
lola: 1258619 markings, 3509321 edges, 4813 markings/sec, 210 secs
lola: 1280688 markings, 3625285 edges, 4414 markings/sec, 215 secs
lola: 1305882 markings, 3713239 edges, 5039 markings/sec, 220 secs
lola: 1331853 markings, 3791616 edges, 5194 markings/sec, 225 secs
lola: 1361718 markings, 3863414 edges, 5973 markings/sec, 230 secs
lola: 1394078 markings, 3929182 edges, 6472 markings/sec, 235 secs
lola: 1427033 markings, 3993780 edges, 6591 markings/sec, 240 secs
lola: 1459250 markings, 4058260 edges, 6443 markings/sec, 245 secs
lola: 1491047 markings, 4122244 edges, 6359 markings/sec, 250 secs
lola: 1522901 markings, 4187230 edges, 6371 markings/sec, 255 secs
lola: 1556102 markings, 4251506 edges, 6640 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31486 markings, 62275 edges, 6297 markings/sec, 0 secs
lola: 63443 markings, 125422 edges, 6391 markings/sec, 5 secs
lola: 94910 markings, 187864 edges, 6293 markings/sec, 10 secs
lola: 127044 markings, 251027 edges, 6427 markings/sec, 15 secs
lola: 160443 markings, 315557 edges, 6680 markings/sec, 20 secs
lola: 192986 markings, 380447 edges, 6509 markings/sec, 25 secs
lola: 225271 markings, 444619 edges, 6457 markings/sec, 30 secs
lola: 257558 markings, 508810 edges, 6457 markings/sec, 35 secs
lola: 289673 markings, 572568 edges, 6423 markings/sec, 40 secs
lola: 321984 markings, 636780 edges, 6462 markings/sec, 45 secs
lola: 354271 markings, 700925 edges, 6457 markings/sec, 50 secs
lola: 384462 markings, 771811 edges, 6038 markings/sec, 55 secs
lola: 409485 markings, 867605 edges, 5005 markings/sec, 60 secs
lola: 434981 markings, 963992 edges, 5099 markings/sec, 65 secs
lola: 460490 markings, 1061130 edges, 5102 markings/sec, 70 secs
lola: 483554 markings, 1148846 edges, 4613 markings/sec, 75 secs
lola: 508022 markings, 1245847 edges, 4894 markings/sec, 80 secs
lola: 533790 markings, 1324004 edges, 5154 markings/sec, 85 secs
lola: 556890 markings, 1415280 edges, 4620 markings/sec, 90 secs
lola: 576560 markings, 1505388 edges, 3934 markings/sec, 95 secs
lola: 598388 markings, 1606530 edges, 4366 markings/sec, 100 secs
lola: 618690 markings, 1723576 edges, 4060 markings/sec, 105 secs
lola: 641953 markings, 1821154 edges, 4653 markings/sec, 110 secs
lola: 666722 markings, 1896740 edges, 4954 markings/sec, 115 secs
lola: 697674 markings, 1963851 edges, 6190 markings/sec, 120 secs
lola: 729371 markings, 2026717 edges, 6339 markings/sec, 125 secs
lola: 761488 markings, 2090564 edges, 6423 markings/sec, 130 secs
lola: 793092 markings, 2153212 edges, 6321 markings/sec, 135 secs
lola: 824843 markings, 2216199 edges, 6350 markings/sec, 140 secs
lola: 857263 markings, 2280635 edges, 6484 markings/sec, 145 secs
lola: 889421 markings, 2344499 edges, 6432 markings/sec, 150 secs
lola: 921351 markings, 2407870 edges, 6386 markings/sec, 155 secs
lola: 953233 markings, 2471141 edges, 6376 markings/sec, 160 secs
lola: 985156 markings, 2534496 edges, 6385 markings/sec, 165 secs
lola: 1016983 markings, 2597653 edges, 6365 markings/sec, 170 secs
lola: 1048903 markings, 2661001 edges, 6384 markings/sec, 175 secs
lola: 1073632 markings, 2751408 edges, 4946 markings/sec, 180 secs
lola: 1098247 markings, 2845122 edges, 4923 markings/sec, 185 secs
lola: 1123355 markings, 2941605 edges, 5022 markings/sec, 190 secs
lola: 1148857 markings, 3037664 edges, 5100 markings/sec, 195 secs
lola: 1174160 markings, 3134020 edges, 5061 markings/sec, 200 secs
lola: 1199585 markings, 3219987 edges, 5085 markings/sec, 205 secs
lola: 1224484 markings, 3308322 edges, 4980 markings/sec, 210 secs
lola: 1244649 markings, 3401263 edges, 4033 markings/sec, 215 secs
lola: 1267681 markings, 3507483 edges, 4606 markings/sec, 220 secs
lola: 1289537 markings, 3625802 edges, 4371 markings/sec, 225 secs
lola: 1312395 markings, 3730742 edges, 4572 markings/sec, 230 secs
lola: 1337720 markings, 3807789 edges, 5065 markings/sec, 235 secs
lola: 1368323 markings, 3875860 edges, 6121 markings/sec, 240 secs
lola: 1399778 markings, 3938290 edges, 6291 markings/sec, 245 secs
lola: 1431607 markings, 4001124 edges, 6366 markings/sec, 250 secs
lola: 1463796 markings, 4064909 edges, 6438 markings/sec, 255 secs
lola: 1495457 markings, 4127712 edges, 6332 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3818)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 672 bytes per marking, with 26 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: 31237 markings, 61165 edges, 6247 markings/sec, 0 secs
lola: 62680 markings, 123327 edges, 6289 markings/sec, 5 secs
lola: 94033 markings, 185301 edges, 6271 markings/sec, 10 secs
lola: 125444 markings, 247490 edges, 6282 markings/sec, 15 secs
lola: 156717 markings, 309450 edges, 6255 markings/sec, 20 secs
lola: 188139 markings, 371683 edges, 6284 markings/sec, 25 secs
lola: 219747 markings, 434320 edges, 6322 markings/sec, 30 secs
lola: 251309 markings, 496864 edges, 6312 markings/sec, 35 secs
lola: 282606 markings, 558833 edges, 6259 markings/sec, 40 secs
lola: 313894 markings, 620766 edges, 6258 markings/sec, 45 secs
lola: 345550 markings, 683524 edges, 6331 markings/sec, 50 secs
lola: 376899 markings, 745539 edges, 6270 markings/sec, 55 secs
lola: 402013 markings, 831002 edges, 5023 markings/sec, 60 secs
lola: 426484 markings, 924560 edges, 4894 markings/sec, 65 secs
lola: 451317 markings, 1019112 edges, 4967 markings/sec, 70 secs
lola: 476260 markings, 1114360 edges, 4989 markings/sec, 75 secs
lola: 501080 markings, 1209402 edges, 4964 markings/sec, 80 secs
lola: 524638 markings, 1309549 edges, 4712 markings/sec, 85 secs
lola: 547460 markings, 1408106 edges, 4564 markings/sec, 90 secs
lola: 570695 markings, 1503020 edges, 4647 markings/sec, 95 secs
lola: 593996 markings, 1599388 edges, 4660 markings/sec, 100 secs
lola: 615661 markings, 1705708 edges, 4333 markings/sec, 105 secs
lola: 638313 markings, 1799615 edges, 4530 markings/sec, 110 secs
lola: 662005 markings, 1883100 edges, 4738 markings/sec, 115 secs
lola: 690085 markings, 1954696 edges, 5616 markings/sec, 120 secs
lola: 727007 markings, 2021327 edges, 7384 markings/sec, 125 secs
lola: 764658 markings, 2088666 edges, 7530 markings/sec, 130 secs
lola: 801785 markings, 2156621 edges, 7425 markings/sec, 135 secs
lola: 838960 markings, 2225335 edges, 7435 markings/sec, 140 secs
lola: 872755 markings, 2295630 edges, 6759 markings/sec, 145 secs
lola: 899102 markings, 2372808 edges, 5269 markings/sec, 150 secs
lola: 927255 markings, 2441149 edges, 5631 markings/sec, 155 secs
lola: 954513 markings, 2503893 edges, 5452 markings/sec, 160 secs
lola: 981964 markings, 2567073 edges, 5490 markings/sec, 165 secs
lola: 1009463 markings, 2630428 edges, 5500 markings/sec, 170 secs
lola: 1036976 markings, 2694456 edges, 5503 markings/sec, 175 secs
lola: 1064722 markings, 2758352 edges, 5549 markings/sec, 180 secs
lola: 1092177 markings, 2821497 edges, 5491 markings/sec, 185 secs
lola: 1119731 markings, 2884894 edges, 5511 markings/sec, 190 secs
lola: 1147345 markings, 2949031 edges, 5523 markings/sec, 195 secs
lola: 1174050 markings, 3019813 edges, 5341 markings/sec, 200 secs
lola: 1199682 markings, 3091218 edges, 5126 markings/sec, 205 secs
lola: 1225215 markings, 3162558 edges, 5107 markings/sec, 210 secs
lola: 1250163 markings, 3237402 edges, 4990 markings/sec, 215 secs
lola: 1274354 markings, 3321368 edges, 4838 markings/sec, 220 secs
lola: 1301200 markings, 3387393 edges, 5369 markings/sec, 225 secs
lola: 1332751 markings, 3455702 edges, 6310 markings/sec, 230 secs
lola: 1369374 markings, 3521937 edges, 7325 markings/sec, 235 secs
lola: 1406232 markings, 3588491 edges, 7372 markings/sec, 240 secs
lola: 1444085 markings, 3656077 edges, 7571 markings/sec, 245 secs
lola: 1481344 markings, 3723783 edges, 7452 markings/sec, 250 secs
lola: 1511842 markings, 3796201 edges, 6100 markings/sec, 255 secs
lola: 1539732 markings, 3874373 edges, 5578 markings/sec, 260 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-20b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496500818610

--------------------
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-20b"
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-20b.tgz
mv FlexibleBarrier-PT-20b 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-20b, 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-149581034400155"
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 ;