fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r188-blw3-149581034400155
Last Updated
June 27, 2017

About the Execution of LoLA for FlexibleBarrier-PT-20b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
534.880 3540217.00 3546651.00 1620.00 ? ? 1 ? ? ? ? ? ? ? ? ? ? ? ? ? normal

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 ;