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 PolyORBLF-COL-S06J04T04, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900371
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494650546819


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S06J04T04 @ 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: 7448/65536 symbol table entries, 2235 collisions
lola: preprocessing...
lola: finding significant places
lola: 454 places, 6994 transitions, 404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1823 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T04-UpperBounds.task
lola: MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414) : MAX(p391 + p392 + p393 + p394) : MAX(p443) : MAX(p37 + p36 + p35 + p34 + p33 + p32) : MAX(p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300) : MAX(p71) : MAX(p51 + p52 + p53 + p54) : MAX(p105) : MAX(p242) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23) : MAX(p66) : MAX(p170) : MAX(p28 + p29 + p30 + p31) : MAX(p280) : MAX(p444) : MAX(p450 + p451 + p452 + p453)
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(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 10491 markings, 35030 edges, 2098 markings/sec, 0 secs
lola: 21559 markings, 69480 edges, 2214 markings/sec, 5 secs
lola: 39168 markings, 113642 edges, 3522 markings/sec, 10 secs
lola: 57261 markings, 162272 edges, 3619 markings/sec, 15 secs
lola: 68398 markings, 194387 edges, 2227 markings/sec, 20 secs
lola: 79060 markings, 226841 edges, 2132 markings/sec, 25 secs
lola: 98287 markings, 271964 edges, 3845 markings/sec, 30 secs
lola: 128266 markings, 339565 edges, 5996 markings/sec, 35 secs
lola: 143404 markings, 378575 edges, 3028 markings/sec, 40 secs
lola: 183418 markings, 461067 edges, 8003 markings/sec, 45 secs
lola: 219015 markings, 533334 edges, 7119 markings/sec, 50 secs
lola: 254284 markings, 607739 edges, 7054 markings/sec, 55 secs
lola: 297833 markings, 699983 edges, 8710 markings/sec, 60 secs
lola: 320721 markings, 751776 edges, 4578 markings/sec, 65 secs
lola: 352585 markings, 819515 edges, 6373 markings/sec, 70 secs
lola: 375983 markings, 871628 edges, 4680 markings/sec, 75 secs
lola: 417661 markings, 957974 edges, 8336 markings/sec, 80 secs
lola: 459350 markings, 1044321 edges, 8338 markings/sec, 85 secs
lola: 490876 markings, 1115359 edges, 6305 markings/sec, 90 secs
lola: 534383 markings, 1207192 edges, 8701 markings/sec, 95 secs
lola: 565176 markings, 1274445 edges, 6159 markings/sec, 100 secs
lola: 606223 markings, 1360833 edges, 8209 markings/sec, 105 secs
lola: 645735 markings, 1446492 edges, 7902 markings/sec, 110 secs
lola: 680804 markings, 1519447 edges, 7014 markings/sec, 115 secs
lola: 717762 markings, 1598100 edges, 7392 markings/sec, 120 secs
lola: 728735 markings, 1622863 edges, 2195 markings/sec, 125 secs
lola: 765799 markings, 1699717 edges, 7413 markings/sec, 130 secs
lola: 801675 markings, 1775128 edges, 7175 markings/sec, 135 secs
lola: 835475 markings, 1848128 edges, 6760 markings/sec, 140 secs
lola: 866610 markings, 1915869 edges, 6227 markings/sec, 145 secs
lola: 895150 markings, 1978989 edges, 5708 markings/sec, 150 secs
lola: 937181 markings, 2067355 edges, 8406 markings/sec, 155 secs
lola: 964245 markings, 2126444 edges, 5413 markings/sec, 160 secs
lola: 1002129 markings, 2206610 edges, 7577 markings/sec, 165 secs
lola: 1038177 markings, 2284630 edges, 7210 markings/sec, 170 secs
lola: 1077787 markings, 2368876 edges, 7922 markings/sec, 175 secs
lola: 1095355 markings, 2410102 edges, 3514 markings/sec, 180 secs
lola: 1139466 markings, 2503488 edges, 8822 markings/sec, 185 secs
lola: 1182426 markings, 2595695 edges, 8592 markings/sec, 190 secs
lola: 1212558 markings, 2657994 edges, 6026 markings/sec, 195 secs
lola: 1242776 markings, 2723165 edges, 6044 markings/sec, 200 secs
lola: 1277990 markings, 2797505 edges, 7043 markings/sec, 205 secs
lola: 1319311 markings, 2885417 edges, 8264 markings/sec, 210 secs
lola: 1362046 markings, 2975829 edges, 8547 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(p391 + p392 + p393 + p394)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 14169 markings, 19299 edges, 2834 markings/sec, 0 secs
lola: 28580 markings, 37359 edges, 2882 markings/sec, 5 secs
lola: 42661 markings, 56541 edges, 2816 markings/sec, 10 secs
lola: 56046 markings, 79770 edges, 2677 markings/sec, 15 secs
lola: 69401 markings, 101404 edges, 2671 markings/sec, 20 secs
lola: 83650 markings, 121953 edges, 2850 markings/sec, 25 secs
lola: 98095 markings, 141826 edges, 2889 markings/sec, 30 secs
lola: 112065 markings, 162644 edges, 2794 markings/sec, 35 secs
lola: 125933 markings, 184054 edges, 2774 markings/sec, 40 secs
lola: 139930 markings, 204647 edges, 2799 markings/sec, 45 secs
lola: 154074 markings, 226763 edges, 2829 markings/sec, 50 secs
lola: 168249 markings, 247986 edges, 2835 markings/sec, 55 secs
lola: 182812 markings, 268529 edges, 2913 markings/sec, 60 secs
lola: 197529 markings, 288583 edges, 2943 markings/sec, 65 secs
lola: 211456 markings, 310558 edges, 2785 markings/sec, 70 secs
lola: 225780 markings, 330857 edges, 2865 markings/sec, 75 secs
lola: 240221 markings, 351111 edges, 2888 markings/sec, 80 secs
lola: 254886 markings, 372420 edges, 2933 markings/sec, 85 secs
lola: 269213 markings, 391965 edges, 2865 markings/sec, 90 secs
lola: 282663 markings, 414742 edges, 2690 markings/sec, 95 secs
lola: 296339 markings, 433066 edges, 2735 markings/sec, 100 secs
lola: 310384 markings, 453573 edges, 2809 markings/sec, 105 secs
lola: 324098 markings, 473255 edges, 2743 markings/sec, 110 secs
lola: 338294 markings, 492987 edges, 2839 markings/sec, 115 secs
lola: 352447 markings, 512414 edges, 2831 markings/sec, 120 secs
lola: 366161 markings, 530609 edges, 2743 markings/sec, 125 secs
lola: 380817 markings, 550340 edges, 2931 markings/sec, 130 secs
lola: 395476 markings, 570452 edges, 2932 markings/sec, 135 secs
lola: 410005 markings, 591315 edges, 2906 markings/sec, 140 secs
lola: 424254 markings, 612403 edges, 2850 markings/sec, 145 secs
lola: 438775 markings, 634272 edges, 2904 markings/sec, 150 secs
lola: 453379 markings, 657125 edges, 2921 markings/sec, 155 secs
lola: 467965 markings, 681089 edges, 2917 markings/sec, 160 secs
lola: 482376 markings, 703350 edges, 2882 markings/sec, 165 secs
lola: 496960 markings, 726523 edges, 2917 markings/sec, 170 secs
lola: 510956 markings, 749050 edges, 2799 markings/sec, 175 secs
lola: 525671 markings, 770486 edges, 2943 markings/sec, 180 secs
lola: 539973 markings, 792973 edges, 2860 markings/sec, 185 secs
lola: 554297 markings, 815507 edges, 2865 markings/sec, 190 secs
lola: 568951 markings, 838615 edges, 2931 markings/sec, 195 secs
lola: 583759 markings, 857568 edges, 2962 markings/sec, 200 secs
lola: 598110 markings, 880019 edges, 2870 markings/sec, 205 secs
lola: 612826 markings, 899602 edges, 2943 markings/sec, 210 secs
lola: 627684 markings, 919545 edges, 2972 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(p443)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 10079 markings, 33182 edges, 2016 markings/sec, 0 secs
lola: 28616 markings, 71923 edges, 3707 markings/sec, 5 secs
lola: 39285 markings, 102986 edges, 2134 markings/sec, 10 secs
lola: 49334 markings, 131906 edges, 2010 markings/sec, 15 secs
lola: 65520 markings, 166027 edges, 3237 markings/sec, 20 secs
lola: 76198 markings, 196982 edges, 2136 markings/sec, 25 secs
lola: 86904 markings, 226389 edges, 2141 markings/sec, 30 secs
lola: 109238 markings, 267496 edges, 4467 markings/sec, 35 secs
lola: 121339 markings, 292280 edges, 2420 markings/sec, 40 secs
lola: 135922 markings, 328019 edges, 2917 markings/sec, 45 secs
lola: 149771 markings, 359193 edges, 2770 markings/sec, 50 secs
lola: 163293 markings, 394161 edges, 2704 markings/sec, 55 secs
lola: 185973 markings, 440647 edges, 4536 markings/sec, 60 secs
lola: 219490 markings, 502650 edges, 6703 markings/sec, 65 secs
lola: 248342 markings, 551911 edges, 5770 markings/sec, 70 secs
lola: 267599 markings, 588277 edges, 3851 markings/sec, 75 secs
lola: 281924 markings, 619591 edges, 2865 markings/sec, 80 secs
lola: 295854 markings, 652266 edges, 2786 markings/sec, 85 secs
lola: 319334 markings, 692856 edges, 4696 markings/sec, 90 secs
lola: 353876 markings, 762346 edges, 6908 markings/sec, 95 secs
lola: 373511 markings, 800916 edges, 3927 markings/sec, 100 secs
lola: 391687 markings, 838033 edges, 3635 markings/sec, 105 secs
lola: 423760 markings, 889098 edges, 6415 markings/sec, 110 secs
lola: 440257 markings, 926857 edges, 3299 markings/sec, 115 secs
lola: 450675 markings, 958921 edges, 2084 markings/sec, 120 secs
lola: 469616 markings, 996438 edges, 3788 markings/sec, 125 secs
lola: 493976 markings, 1039897 edges, 4872 markings/sec, 130 secs
lola: 533187 markings, 1118801 edges, 7842 markings/sec, 135 secs
lola: 567398 markings, 1184367 edges, 6842 markings/sec, 140 secs
lola: 593319 markings, 1233689 edges, 5184 markings/sec, 145 secs
lola: 619231 markings, 1288498 edges, 5182 markings/sec, 150 secs
lola: 647043 markings, 1349998 edges, 5562 markings/sec, 155 secs
lola: 686400 markings, 1427762 edges, 7871 markings/sec, 160 secs
lola: 716463 markings, 1488426 edges, 6013 markings/sec, 165 secs
lola: 748806 markings, 1553542 edges, 6469 markings/sec, 170 secs
lola: 779335 markings, 1607948 edges, 6106 markings/sec, 175 secs
lola: 819238 markings, 1691835 edges, 7981 markings/sec, 180 secs
lola: 849734 markings, 1753052 edges, 6099 markings/sec, 185 secs
lola: 873521 markings, 1799959 edges, 4757 markings/sec, 190 secs
lola: 910750 markings, 1878612 edges, 7446 markings/sec, 195 secs
lola: 931058 markings, 1919569 edges, 4062 markings/sec, 200 secs
lola: 969111 markings, 1990914 edges, 7611 markings/sec, 205 secs
lola: 1007088 markings, 2067729 edges, 7595 markings/sec, 210 secs
lola: 1033923 markings, 2116014 edges, 5367 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(p37 + p36 + p35 + p34 + p33 + p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 18632 markings, 38759 edges, 3726 markings/sec, 0 secs
lola: 51272 markings, 79990 edges, 6528 markings/sec, 5 secs
lola: 83544 markings, 119970 edges, 6454 markings/sec, 10 secs
lola: 115801 markings, 160144 edges, 6451 markings/sec, 15 secs
lola: 148038 markings, 200292 edges, 6447 markings/sec, 20 secs
lola: 180231 markings, 240490 edges, 6439 markings/sec, 25 secs
lola: 212716 markings, 281109 edges, 6497 markings/sec, 30 secs
lola: 245040 markings, 321900 edges, 6465 markings/sec, 35 secs
lola: 278480 markings, 365193 edges, 6688 markings/sec, 40 secs
lola: 311293 markings, 407155 edges, 6563 markings/sec, 45 secs
lola: 344357 markings, 449831 edges, 6613 markings/sec, 50 secs
lola: 376748 markings, 491183 edges, 6478 markings/sec, 55 secs
lola: 409813 markings, 533508 edges, 6613 markings/sec, 60 secs
lola: 441490 markings, 574000 edges, 6335 markings/sec, 65 secs
lola: 475480 markings, 619119 edges, 6798 markings/sec, 70 secs
lola: 509107 markings, 663118 edges, 6725 markings/sec, 75 secs
lola: 540521 markings, 703735 edges, 6283 markings/sec, 80 secs
lola: 574017 markings, 748284 edges, 6699 markings/sec, 85 secs
lola: 608545 markings, 795152 edges, 6906 markings/sec, 90 secs
lola: 642735 markings, 841395 edges, 6838 markings/sec, 95 secs
lola: 675187 markings, 883925 edges, 6490 markings/sec, 100 secs
lola: 708768 markings, 929637 edges, 6716 markings/sec, 105 secs
lola: 740133 markings, 970329 edges, 6273 markings/sec, 110 secs
lola: 773757 markings, 1014622 edges, 6725 markings/sec, 115 secs
lola: 809121 markings, 1063776 edges, 7073 markings/sec, 120 secs
lola: 847024 markings, 1130697 edges, 7581 markings/sec, 125 secs
lola: 884428 markings, 1193971 edges, 7481 markings/sec, 130 secs
lola: 915932 markings, 1235238 edges, 6301 markings/sec, 135 secs
lola: 949705 markings, 1280197 edges, 6755 markings/sec, 140 secs
lola: 982738 markings, 1323991 edges, 6607 markings/sec, 145 secs
lola: 1024473 markings, 1412077 edges, 8347 markings/sec, 150 secs
lola: 1060352 markings, 1463109 edges, 7176 markings/sec, 155 secs
lola: 1098402 markings, 1518111 edges, 7610 markings/sec, 160 secs
lola: 1133734 markings, 1567305 edges, 7066 markings/sec, 165 secs
lola: 1167745 markings, 1614581 edges, 6802 markings/sec, 170 secs
lola: 1207770 markings, 1673124 edges, 8005 markings/sec, 175 secs
lola: 1247822 markings, 1741190 edges, 8010 markings/sec, 180 secs
lola: 1281423 markings, 1789959 edges, 6720 markings/sec, 185 secs
lola: 1319851 markings, 1856353 edges, 7686 markings/sec, 190 secs
lola: 1356814 markings, 1920338 edges, 7393 markings/sec, 195 secs
lola: 1395803 markings, 1988992 edges, 7798 markings/sec, 200 secs
lola: 1427805 markings, 2031577 edges, 6400 markings/sec, 205 secs
lola: 1465899 markings, 2101640 edges, 7619 markings/sec, 210 secs
lola: 1503064 markings, 2164494 edges, 7433 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(p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 23954 markings, 26534 edges, 4791 markings/sec, 0 secs
lola: 48464 markings, 53590 edges, 4902 markings/sec, 5 secs
lola: 72819 markings, 80047 edges, 4871 markings/sec, 10 secs
lola: 97108 markings, 106507 edges, 4858 markings/sec, 15 secs
lola: 121469 markings, 133037 edges, 4872 markings/sec, 20 secs
lola: 145717 markings, 159367 edges, 4850 markings/sec, 25 secs
lola: 170095 markings, 185917 edges, 4876 markings/sec, 30 secs
lola: 194734 markings, 212965 edges, 4928 markings/sec, 35 secs
lola: 219049 markings, 239713 edges, 4863 markings/sec, 40 secs
lola: 243258 markings, 266126 edges, 4842 markings/sec, 45 secs
lola: 267731 markings, 292996 edges, 4895 markings/sec, 50 secs
lola: 291708 markings, 319404 edges, 4795 markings/sec, 55 secs
lola: 315984 markings, 346268 edges, 4855 markings/sec, 60 secs
lola: 339890 markings, 372652 edges, 4781 markings/sec, 65 secs
lola: 363945 markings, 399197 edges, 4811 markings/sec, 70 secs
lola: 387697 markings, 425824 edges, 4750 markings/sec, 75 secs
lola: 411614 markings, 452079 edges, 4783 markings/sec, 80 secs
lola: 434711 markings, 477733 edges, 4619 markings/sec, 85 secs
lola: 458195 markings, 504166 edges, 4697 markings/sec, 90 secs
lola: 482023 markings, 530049 edges, 4766 markings/sec, 95 secs
lola: 505884 markings, 556452 edges, 4772 markings/sec, 100 secs
lola: 529559 markings, 582496 edges, 4735 markings/sec, 105 secs
lola: 553309 markings, 608681 edges, 4750 markings/sec, 110 secs
lola: 576464 markings, 634868 edges, 4631 markings/sec, 115 secs
lola: 600175 markings, 661763 edges, 4742 markings/sec, 120 secs
lola: 623705 markings, 687575 edges, 4706 markings/sec, 125 secs
lola: 647890 markings, 714875 edges, 4837 markings/sec, 130 secs
lola: 672096 markings, 741760 edges, 4841 markings/sec, 135 secs
lola: 696365 markings, 768785 edges, 4854 markings/sec, 140 secs
lola: 720659 markings, 796698 edges, 4859 markings/sec, 145 secs
lola: 743804 markings, 822267 edges, 4629 markings/sec, 150 secs
lola: 768711 markings, 850903 edges, 4981 markings/sec, 155 secs
lola: 792329 markings, 876703 edges, 4724 markings/sec, 160 secs
lola: 815863 markings, 902629 edges, 4707 markings/sec, 165 secs
lola: 840350 markings, 930897 edges, 4897 markings/sec, 170 secs
lola: 863970 markings, 957439 edges, 4724 markings/sec, 175 secs
lola: 886996 markings, 983251 edges, 4605 markings/sec, 180 secs
lola: 910195 markings, 1009196 edges, 4640 markings/sec, 185 secs
lola: 934523 markings, 1036786 edges, 4866 markings/sec, 190 secs
lola: 958092 markings, 1062681 edges, 4714 markings/sec, 195 secs
lola: 982407 markings, 1090620 edges, 4863 markings/sec, 200 secs
lola: 1006967 markings, 1119644 edges, 4912 markings/sec, 205 secs
lola: 1031589 markings, 1148239 edges, 4924 markings/sec, 210 secs
lola: 1054579 markings, 1173323 edges, 4598 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(p71)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 28071 markings, 30936 edges, 5614 markings/sec, 0 secs
lola: 55800 markings, 61119 edges, 5546 markings/sec, 5 secs
lola: 83907 markings, 91828 edges, 5621 markings/sec, 10 secs
lola: 111803 markings, 122222 edges, 5579 markings/sec, 15 secs
lola: 139668 markings, 152653 edges, 5573 markings/sec, 20 secs
lola: 167636 markings, 183128 edges, 5594 markings/sec, 25 secs
lola: 195589 markings, 213565 edges, 5591 markings/sec, 30 secs
lola: 223696 markings, 244318 edges, 5621 markings/sec, 35 secs
lola: 251726 markings, 274941 edges, 5606 markings/sec, 40 secs
lola: 279940 markings, 305743 edges, 5643 markings/sec, 45 secs
lola: 308302 markings, 336563 edges, 5672 markings/sec, 50 secs
lola: 336753 markings, 368135 edges, 5690 markings/sec, 55 secs
lola: 365209 markings, 399248 edges, 5691 markings/sec, 60 secs
lola: 393673 markings, 430331 edges, 5693 markings/sec, 65 secs
lola: 422475 markings, 462852 edges, 5760 markings/sec, 70 secs
lola: 450617 markings, 493609 edges, 5628 markings/sec, 75 secs
lola: 479523 markings, 526033 edges, 5781 markings/sec, 80 secs
lola: 508197 markings, 557596 edges, 5735 markings/sec, 85 secs
lola: 536281 markings, 588292 edges, 5617 markings/sec, 90 secs
lola: 565647 markings, 621399 edges, 5873 markings/sec, 95 secs
lola: 593798 markings, 652252 edges, 5630 markings/sec, 100 secs
lola: 622025 markings, 683167 edges, 5645 markings/sec, 105 secs
lola: 650665 markings, 714687 edges, 5728 markings/sec, 110 secs
lola: 679695 markings, 747275 edges, 5806 markings/sec, 115 secs
lola: 707873 markings, 778086 edges, 5636 markings/sec, 120 secs
lola: 736162 markings, 809006 edges, 5658 markings/sec, 125 secs
lola: 765319 markings, 841532 edges, 5831 markings/sec, 130 secs
lola: 794983 markings, 875306 edges, 5933 markings/sec, 135 secs
lola: 824458 markings, 908854 edges, 5895 markings/sec, 140 secs
lola: 853198 markings, 941200 edges, 5748 markings/sec, 145 secs
lola: 881775 markings, 972363 edges, 5715 markings/sec, 150 secs
lola: 910210 markings, 1003540 edges, 5687 markings/sec, 155 secs
lola: 938422 markings, 1034576 edges, 5642 markings/sec, 160 secs
lola: 967494 markings, 1067092 edges, 5814 markings/sec, 165 secs
lola: 997534 markings, 1101762 edges, 6008 markings/sec, 170 secs
lola: 1026281 markings, 1134131 edges, 5749 markings/sec, 175 secs
lola: 1055795 markings, 1167211 edges, 5903 markings/sec, 180 secs
lola: 1084383 markings, 1199708 edges, 5718 markings/sec, 185 secs
lola: 1113578 markings, 1232894 edges, 5839 markings/sec, 190 secs
lola: 1142204 markings, 1264276 edges, 5725 markings/sec, 195 secs
lola: 1170642 markings, 1296193 edges, 5688 markings/sec, 200 secs
lola: 1199663 markings, 1328811 edges, 5804 markings/sec, 205 secs
lola: 1229386 markings, 1362667 edges, 5945 markings/sec, 210 secs
lola: 1259245 markings, 1397266 edges, 5972 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(p51 + p52 + p53 + p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 25837 markings, 41423 edges, 5167 markings/sec, 0 secs
lola: 58297 markings, 84557 edges, 6492 markings/sec, 5 secs
lola: 90657 markings, 127814 edges, 6472 markings/sec, 10 secs
lola: 122564 markings, 170246 edges, 6381 markings/sec, 15 secs
lola: 154842 markings, 213794 edges, 6456 markings/sec, 20 secs
lola: 186220 markings, 255476 edges, 6276 markings/sec, 25 secs
lola: 218743 markings, 299248 edges, 6505 markings/sec, 30 secs
lola: 250622 markings, 341427 edges, 6376 markings/sec, 35 secs
lola: 283454 markings, 385433 edges, 6566 markings/sec, 40 secs
lola: 319178 markings, 439385 edges, 7145 markings/sec, 45 secs
lola: 352300 markings, 494594 edges, 6624 markings/sec, 50 secs
lola: 383945 markings, 536355 edges, 6329 markings/sec, 55 secs
lola: 415601 markings, 579200 edges, 6331 markings/sec, 60 secs
lola: 447939 markings, 622990 edges, 6468 markings/sec, 65 secs
lola: 480007 markings, 665967 edges, 6414 markings/sec, 70 secs
lola: 496191 markings, 696940 edges, 3237 markings/sec, 75 secs
lola: 516949 markings, 731072 edges, 4152 markings/sec, 80 secs
lola: 547429 markings, 770949 edges, 6096 markings/sec, 85 secs
lola: 578270 markings, 812220 edges, 6168 markings/sec, 90 secs
lola: 609591 markings, 854168 edges, 6264 markings/sec, 95 secs
lola: 641479 markings, 897631 edges, 6378 markings/sec, 100 secs
lola: 672905 markings, 941073 edges, 6285 markings/sec, 105 secs
lola: 709490 markings, 1007270 edges, 7317 markings/sec, 110 secs
lola: 741427 markings, 1051052 edges, 6387 markings/sec, 115 secs
lola: 772493 markings, 1092529 edges, 6213 markings/sec, 120 secs
lola: 808068 markings, 1151407 edges, 7115 markings/sec, 125 secs
lola: 842229 markings, 1208257 edges, 6832 markings/sec, 130 secs
lola: 879722 markings, 1278450 edges, 7499 markings/sec, 135 secs
lola: 911893 markings, 1332483 edges, 6434 markings/sec, 140 secs
lola: 949236 markings, 1404275 edges, 7469 markings/sec, 145 secs
lola: 985515 markings, 1470922 edges, 7256 markings/sec, 150 secs
lola: 1023057 markings, 1547273 edges, 7508 markings/sec, 155 secs
lola: 1058500 markings, 1610463 edges, 7089 markings/sec, 160 secs
lola: 1089923 markings, 1653439 edges, 6285 markings/sec, 165 secs
lola: 1122639 markings, 1698814 edges, 6543 markings/sec, 170 secs
lola: 1159410 markings, 1765455 edges, 7354 markings/sec, 175 secs
lola: 1195441 markings, 1830070 edges, 7206 markings/sec, 180 secs
lola: 1227391 markings, 1873152 edges, 6390 markings/sec, 185 secs
lola: 1266429 markings, 1947470 edges, 7808 markings/sec, 190 secs
lola: 1303184 markings, 2016086 edges, 7351 markings/sec, 195 secs
lola: 1339591 markings, 2081309 edges, 7281 markings/sec, 200 secs
lola: 1377514 markings, 2157005 edges, 7585 markings/sec, 205 secs
lola: 1413326 markings, 2221702 edges, 7162 markings/sec, 210 secs
lola: 1445592 markings, 2266429 edges, 6453 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(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 12444 markings, 20157 edges, 2489 markings/sec, 0 secs
lola: 22915 markings, 49759 edges, 2094 markings/sec, 5 secs
lola: 34243 markings, 77088 edges, 2266 markings/sec, 10 secs
lola: 45714 markings, 105678 edges, 2294 markings/sec, 15 secs
lola: 57388 markings, 135101 edges, 2335 markings/sec, 20 secs
lola: 69053 markings, 160053 edges, 2333 markings/sec, 25 secs
lola: 81826 markings, 183650 edges, 2555 markings/sec, 30 secs
lola: 94124 markings, 207478 edges, 2460 markings/sec, 35 secs
lola: 106606 markings, 230380 edges, 2496 markings/sec, 40 secs
lola: 118854 markings, 253659 edges, 2450 markings/sec, 45 secs
lola: 130803 markings, 278233 edges, 2390 markings/sec, 50 secs
lola: 141931 markings, 303675 edges, 2226 markings/sec, 55 secs
lola: 154085 markings, 326423 edges, 2431 markings/sec, 60 secs
lola: 165618 markings, 350935 edges, 2307 markings/sec, 65 secs
lola: 177329 markings, 374373 edges, 2342 markings/sec, 70 secs
lola: 190543 markings, 393981 edges, 2643 markings/sec, 75 secs
lola: 204418 markings, 412690 edges, 2775 markings/sec, 80 secs
lola: 218130 markings, 431189 edges, 2742 markings/sec, 85 secs
lola: 230395 markings, 453652 edges, 2453 markings/sec, 90 secs
lola: 244080 markings, 472692 edges, 2737 markings/sec, 95 secs
lola: 257895 markings, 493173 edges, 2763 markings/sec, 100 secs
lola: 272210 markings, 512035 edges, 2863 markings/sec, 105 secs
lola: 286552 markings, 531018 edges, 2868 markings/sec, 110 secs
lola: 300606 markings, 548687 edges, 2811 markings/sec, 115 secs
lola: 314892 markings, 567596 edges, 2857 markings/sec, 120 secs
lola: 329370 markings, 585638 edges, 2896 markings/sec, 125 secs
lola: 343510 markings, 604174 edges, 2828 markings/sec, 130 secs
lola: 354266 markings, 632946 edges, 2151 markings/sec, 135 secs
lola: 368022 markings, 652574 edges, 2751 markings/sec, 140 secs
lola: 382005 markings, 672066 edges, 2797 markings/sec, 145 secs
lola: 395985 markings, 691127 edges, 2796 markings/sec, 150 secs
lola: 410467 markings, 709763 edges, 2896 markings/sec, 155 secs
lola: 423713 markings, 732340 edges, 2649 markings/sec, 160 secs
lola: 437325 markings, 751807 edges, 2722 markings/sec, 165 secs
lola: 450043 markings, 774031 edges, 2544 markings/sec, 170 secs
lola: 462023 markings, 799293 edges, 2396 markings/sec, 175 secs
lola: 476066 markings, 819053 edges, 2809 markings/sec, 180 secs
lola: 490241 markings, 838883 edges, 2835 markings/sec, 185 secs
lola: 504307 markings, 859127 edges, 2813 markings/sec, 190 secs
lola: 517758 markings, 881950 edges, 2690 markings/sec, 195 secs
lola: 531180 markings, 905684 edges, 2684 markings/sec, 200 secs
lola: 545726 markings, 923457 edges, 2909 markings/sec, 205 secs
lola: 559825 markings, 941820 edges, 2820 markings/sec, 210 secs
lola: 573977 markings, 960398 edges, 2830 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(p242)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 33448 markings, 47583 edges, 6690 markings/sec, 0 secs
lola: 66059 markings, 93305 edges, 6522 markings/sec, 5 secs
lola: 99835 markings, 141701 edges, 6755 markings/sec, 10 secs
lola: 132816 markings, 187899 edges, 6596 markings/sec, 15 secs
lola: 165314 markings, 232935 edges, 6500 markings/sec, 20 secs
lola: 197479 markings, 277460 edges, 6433 markings/sec, 25 secs
lola: 231060 markings, 325088 edges, 6716 markings/sec, 30 secs
lola: 264910 markings, 372891 edges, 6770 markings/sec, 35 secs
lola: 296572 markings, 415746 edges, 6332 markings/sec, 40 secs
lola: 327755 markings, 458212 edges, 6237 markings/sec, 45 secs
lola: 356817 markings, 496358 edges, 5812 markings/sec, 50 secs
lola: 386157 markings, 538560 edges, 5868 markings/sec, 55 secs
lola: 416829 markings, 580390 edges, 6134 markings/sec, 60 secs
lola: 446955 markings, 620938 edges, 6025 markings/sec, 65 secs
lola: 468952 markings, 656144 edges, 4399 markings/sec, 70 secs
lola: 498111 markings, 694510 edges, 5832 markings/sec, 75 secs
lola: 529668 markings, 737022 edges, 6311 markings/sec, 80 secs
lola: 558859 markings, 775084 edges, 5838 markings/sec, 85 secs
lola: 585790 markings, 813125 edges, 5386 markings/sec, 90 secs
lola: 605911 markings, 844158 edges, 4024 markings/sec, 95 secs
lola: 642616 markings, 910010 edges, 7341 markings/sec, 100 secs
lola: 673802 markings, 952889 edges, 6237 markings/sec, 105 secs
lola: 709929 markings, 1017031 edges, 7225 markings/sec, 110 secs
lola: 741290 markings, 1059611 edges, 6272 markings/sec, 115 secs
lola: 769915 markings, 1097349 edges, 5725 markings/sec, 120 secs
lola: 797931 markings, 1133772 edges, 5603 markings/sec, 125 secs
lola: 826026 markings, 1170483 edges, 5619 markings/sec, 130 secs
lola: 863378 markings, 1241242 edges, 7470 markings/sec, 135 secs
lola: 896487 markings, 1297690 edges, 6622 markings/sec, 140 secs
lola: 926624 markings, 1338996 edges, 6027 markings/sec, 145 secs
lola: 956941 markings, 1380626 edges, 6063 markings/sec, 150 secs
lola: 979379 markings, 1415197 edges, 4488 markings/sec, 155 secs
lola: 1008189 markings, 1453952 edges, 5762 markings/sec, 160 secs
lola: 1038188 markings, 1494400 edges, 6000 markings/sec, 165 secs
lola: 1067683 markings, 1533953 edges, 5899 markings/sec, 170 secs
lola: 1103478 markings, 1599348 edges, 7159 markings/sec, 175 secs
lola: 1135580 markings, 1650534 edges, 6420 markings/sec, 180 secs
lola: 1164508 markings, 1689369 edges, 5786 markings/sec, 185 secs
lola: 1192622 markings, 1726473 edges, 5623 markings/sec, 190 secs
lola: 1220921 markings, 1763827 edges, 5660 markings/sec, 195 secs
lola: 1248968 markings, 1800292 edges, 5609 markings/sec, 200 secs
lola: 1274106 markings, 1835082 edges, 5028 markings/sec, 205 secs
lola: 1296355 markings, 1870835 edges, 4450 markings/sec, 210 secs
lola: 1325272 markings, 1912146 edges, 5783 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 22360 markings, 24595 edges, 4472 markings/sec, 0 secs
lola: 44674 markings, 48839 edges, 4463 markings/sec, 5 secs
lola: 66977 markings, 73106 edges, 4461 markings/sec, 10 secs
lola: 89318 markings, 97428 edges, 4468 markings/sec, 15 secs
lola: 111674 markings, 121762 edges, 4471 markings/sec, 20 secs
lola: 134018 markings, 146077 edges, 4469 markings/sec, 25 secs
lola: 156405 markings, 170525 edges, 4477 markings/sec, 30 secs
lola: 178830 markings, 194941 edges, 4485 markings/sec, 35 secs
lola: 201170 markings, 219524 edges, 4468 markings/sec, 40 secs
lola: 223641 markings, 244459 edges, 4494 markings/sec, 45 secs
lola: 246005 markings, 268754 edges, 4473 markings/sec, 50 secs
lola: 268374 markings, 293093 edges, 4474 markings/sec, 55 secs
lola: 290749 markings, 317558 edges, 4475 markings/sec, 60 secs
lola: 313172 markings, 342203 edges, 4485 markings/sec, 65 secs
lola: 335575 markings, 366563 edges, 4481 markings/sec, 70 secs
lola: 357989 markings, 391289 edges, 4483 markings/sec, 75 secs
lola: 380489 markings, 416261 edges, 4500 markings/sec, 80 secs
lola: 403059 markings, 441760 edges, 4514 markings/sec, 85 secs
lola: 425675 markings, 467029 edges, 4523 markings/sec, 90 secs
lola: 448105 markings, 491314 edges, 4486 markings/sec, 95 secs
lola: 470461 markings, 515809 edges, 4471 markings/sec, 100 secs
lola: 492983 markings, 541103 edges, 4504 markings/sec, 105 secs
lola: 515360 markings, 565715 edges, 4475 markings/sec, 110 secs
lola: 537745 markings, 590189 edges, 4477 markings/sec, 115 secs
lola: 560204 markings, 615769 edges, 4492 markings/sec, 120 secs
lola: 582622 markings, 640648 edges, 4484 markings/sec, 125 secs
lola: 605359 markings, 666640 edges, 4547 markings/sec, 130 secs
lola: 628016 markings, 692389 edges, 4531 markings/sec, 135 secs
lola: 650340 markings, 716997 edges, 4465 markings/sec, 140 secs
lola: 672848 markings, 741732 edges, 4502 markings/sec, 145 secs
lola: 695329 markings, 767309 edges, 4496 markings/sec, 150 secs
lola: 717834 markings, 792737 edges, 4501 markings/sec, 155 secs
lola: 740424 markings, 818414 edges, 4518 markings/sec, 160 secs
lola: 763125 markings, 843924 edges, 4540 markings/sec, 165 secs
lola: 785594 markings, 869385 edges, 4494 markings/sec, 170 secs
lola: 808064 markings, 894043 edges, 4494 markings/sec, 175 secs
lola: 830619 markings, 919527 edges, 4511 markings/sec, 180 secs
lola: 853269 markings, 945471 edges, 4530 markings/sec, 185 secs
lola: 875785 markings, 970514 edges, 4503 markings/sec, 190 secs
lola: 898333 markings, 996806 edges, 4510 markings/sec, 195 secs
lola: 920765 markings, 1021330 edges, 4486 markings/sec, 200 secs
lola: 943309 markings, 1046892 edges, 4509 markings/sec, 205 secs
lola: 965754 markings, 1071393 edges, 4489 markings/sec, 210 secs
lola: 988166 markings, 1096014 edges, 4482 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(p66)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 24093 markings, 26716 edges, 4819 markings/sec, 0 secs
lola: 48313 markings, 53432 edges, 4844 markings/sec, 5 secs
lola: 72324 markings, 79484 edges, 4802 markings/sec, 10 secs
lola: 96328 markings, 105606 edges, 4801 markings/sec, 15 secs
lola: 120317 markings, 131774 edges, 4798 markings/sec, 20 secs
lola: 144243 markings, 157738 edges, 4785 markings/sec, 25 secs
lola: 168291 markings, 183830 edges, 4810 markings/sec, 30 secs
lola: 192497 markings, 210492 edges, 4841 markings/sec, 35 secs
lola: 216582 markings, 236912 edges, 4817 markings/sec, 40 secs
lola: 240578 markings, 263003 edges, 4799 markings/sec, 45 secs
lola: 264816 markings, 289731 edges, 4848 markings/sec, 50 secs
lola: 289069 markings, 316384 edges, 4851 markings/sec, 55 secs
lola: 314186 markings, 344055 edges, 5023 markings/sec, 60 secs
lola: 338941 markings, 371333 edges, 4951 markings/sec, 65 secs
lola: 363831 markings, 398818 edges, 4978 markings/sec, 70 secs
lola: 389008 markings, 427284 edges, 5035 markings/sec, 75 secs
lola: 413560 markings, 454002 edges, 4910 markings/sec, 80 secs
lola: 437889 markings, 480977 edges, 4866 markings/sec, 85 secs
lola: 462516 markings, 508560 edges, 4925 markings/sec, 90 secs
lola: 485230 markings, 533159 edges, 4543 markings/sec, 95 secs
lola: 509634 markings, 560193 edges, 4881 markings/sec, 100 secs
lola: 534546 markings, 587451 edges, 4982 markings/sec, 105 secs
lola: 559385 markings, 615248 edges, 4968 markings/sec, 110 secs
lola: 584262 markings, 643762 edges, 4975 markings/sec, 115 secs
lola: 608875 markings, 670962 edges, 4923 markings/sec, 120 secs
lola: 633582 markings, 698811 edges, 4941 markings/sec, 125 secs
lola: 658710 markings, 726956 edges, 5026 markings/sec, 130 secs
lola: 683717 markings, 754490 edges, 5001 markings/sec, 135 secs
lola: 709476 markings, 784000 edges, 5152 markings/sec, 140 secs
lola: 733945 markings, 811213 edges, 4894 markings/sec, 145 secs
lola: 759259 markings, 840004 edges, 5063 markings/sec, 150 secs
lola: 784202 markings, 867431 edges, 4989 markings/sec, 155 secs
lola: 809194 markings, 895117 edges, 4998 markings/sec, 160 secs
lola: 834678 markings, 923965 edges, 5097 markings/sec, 165 secs
lola: 860015 markings, 952691 edges, 5067 markings/sec, 170 secs
lola: 884884 markings, 980658 edges, 4974 markings/sec, 175 secs
lola: 909496 markings, 1008010 edges, 4922 markings/sec, 180 secs
lola: 935051 markings, 1036823 edges, 5111 markings/sec, 185 secs
lola: 960212 markings, 1064872 edges, 5032 markings/sec, 190 secs
lola: 985728 markings, 1093857 edges, 5103 markings/sec, 195 secs
lola: 1012475 markings, 1126096 edges, 5349 markings/sec, 200 secs
lola: 1037845 markings, 1154588 edges, 5074 markings/sec, 205 secs
lola: 1062183 markings, 1181388 edges, 4868 markings/sec, 210 secs
lola: 1087231 markings, 1209348 edges, 5010 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 24719 markings, 27506 edges, 4944 markings/sec, 0 secs
lola: 49535 markings, 54947 edges, 4963 markings/sec, 5 secs
lola: 74234 markings, 81872 edges, 4940 markings/sec, 10 secs
lola: 98731 markings, 108621 edges, 4899 markings/sec, 15 secs
lola: 123360 markings, 135406 edges, 4926 markings/sec, 20 secs
lola: 147791 markings, 162066 edges, 4886 markings/sec, 25 secs
lola: 172064 markings, 188567 edges, 4855 markings/sec, 30 secs
lola: 196637 markings, 215761 edges, 4915 markings/sec, 35 secs
lola: 221085 markings, 242814 edges, 4890 markings/sec, 40 secs
lola: 245551 markings, 269500 edges, 4893 markings/sec, 45 secs
lola: 269266 markings, 295613 edges, 4743 markings/sec, 50 secs
lola: 293559 markings, 322729 edges, 4859 markings/sec, 55 secs
lola: 318192 markings, 350050 edges, 4927 markings/sec, 60 secs
lola: 342511 markings, 377028 edges, 4864 markings/sec, 65 secs
lola: 366849 markings, 404072 edges, 4868 markings/sec, 70 secs
lola: 391493 markings, 432181 edges, 4929 markings/sec, 75 secs
lola: 415424 markings, 458285 edges, 4786 markings/sec, 80 secs
lola: 439220 markings, 484784 edges, 4759 markings/sec, 85 secs
lola: 463416 markings, 512089 edges, 4839 markings/sec, 90 secs
lola: 487734 markings, 538601 edges, 4864 markings/sec, 95 secs
lola: 511666 markings, 565274 edges, 4786 markings/sec, 100 secs
lola: 536157 markings, 592368 edges, 4898 markings/sec, 105 secs
lola: 560510 markings, 619896 edges, 4871 markings/sec, 110 secs
lola: 585059 markings, 648414 edges, 4910 markings/sec, 115 secs
lola: 609156 markings, 675284 edges, 4819 markings/sec, 120 secs
lola: 633451 markings, 703038 edges, 4859 markings/sec, 125 secs
lola: 658196 markings, 730842 edges, 4949 markings/sec, 130 secs
lola: 682819 markings, 758255 edges, 4925 markings/sec, 135 secs
lola: 707720 markings, 786645 edges, 4980 markings/sec, 140 secs
lola: 732029 markings, 814356 edges, 4862 markings/sec, 145 secs
lola: 756565 markings, 841982 edges, 4907 markings/sec, 150 secs
lola: 780963 markings, 869577 edges, 4880 markings/sec, 155 secs
lola: 804623 markings, 895778 edges, 4732 markings/sec, 160 secs
lola: 829266 markings, 923860 edges, 4929 markings/sec, 165 secs
lola: 853702 markings, 951533 edges, 4887 markings/sec, 170 secs
lola: 878087 markings, 978754 edges, 4877 markings/sec, 175 secs
lola: 901843 markings, 1005669 edges, 4751 markings/sec, 180 secs
lola: 926452 markings, 1033514 edges, 4922 markings/sec, 185 secs
lola: 951368 markings, 1061810 edges, 4983 markings/sec, 190 secs
lola: 975829 markings, 1089626 edges, 4892 markings/sec, 195 secs
lola: 1001403 markings, 1120187 edges, 5115 markings/sec, 200 secs
lola: 1027191 markings, 1150782 edges, 5158 markings/sec, 205 secs
lola: 1051248 markings, 1177254 edges, 4811 markings/sec, 210 secs
lola: 1075144 markings, 1203869 edges, 4779 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p28 + p29 + p30 + p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 33740 markings, 48079 edges, 6748 markings/sec, 0 secs
lola: 66176 markings, 93422 edges, 6487 markings/sec, 5 secs
lola: 100031 markings, 141918 edges, 6771 markings/sec, 10 secs
lola: 133072 markings, 188208 edges, 6608 markings/sec, 15 secs
lola: 165860 markings, 233630 edges, 6558 markings/sec, 20 secs
lola: 198583 markings, 279209 edges, 6545 markings/sec, 25 secs
lola: 232127 markings, 326536 edges, 6709 markings/sec, 30 secs
lola: 266416 markings, 375143 edges, 6858 markings/sec, 35 secs
lola: 297478 markings, 416656 edges, 6212 markings/sec, 40 secs
lola: 329367 markings, 460438 edges, 6378 markings/sec, 45 secs
lola: 358460 markings, 498395 edges, 5819 markings/sec, 50 secs
lola: 387777 markings, 540902 edges, 5863 markings/sec, 55 secs
lola: 418709 markings, 582945 edges, 6186 markings/sec, 60 secs
lola: 449208 markings, 623938 edges, 6100 markings/sec, 65 secs
lola: 470488 markings, 657750 edges, 4256 markings/sec, 70 secs
lola: 500767 markings, 698255 edges, 6056 markings/sec, 75 secs
lola: 531836 markings, 739729 edges, 6214 markings/sec, 80 secs
lola: 561414 markings, 778658 edges, 5916 markings/sec, 85 secs
lola: 586534 markings, 814664 edges, 5024 markings/sec, 90 secs
lola: 607100 markings, 845824 edges, 4113 markings/sec, 95 secs
lola: 644433 markings, 912674 edges, 7467 markings/sec, 100 secs
lola: 676937 markings, 959567 edges, 6501 markings/sec, 105 secs
lola: 711406 markings, 1018655 edges, 6894 markings/sec, 110 secs
lola: 742133 markings, 1060622 edges, 6145 markings/sec, 115 secs
lola: 770470 markings, 1097943 edges, 5667 markings/sec, 120 secs
lola: 798966 markings, 1134812 edges, 5699 markings/sec, 125 secs
lola: 828238 markings, 1173092 edges, 5854 markings/sec, 130 secs
lola: 867556 markings, 1251019 edges, 7864 markings/sec, 135 secs
lola: 900993 markings, 1303983 edges, 6687 markings/sec, 140 secs
lola: 932338 markings, 1346451 edges, 6269 markings/sec, 145 secs
lola: 963301 markings, 1388940 edges, 6193 markings/sec, 150 secs
lola: 986725 markings, 1425417 edges, 4685 markings/sec, 155 secs
lola: 1017557 markings, 1467344 edges, 6166 markings/sec, 160 secs
lola: 1047866 markings, 1507267 edges, 6062 markings/sec, 165 secs
lola: 1078685 markings, 1549470 edges, 6164 markings/sec, 170 secs
lola: 1117967 markings, 1627031 edges, 7856 markings/sec, 175 secs
lola: 1147742 markings, 1666400 edges, 5955 markings/sec, 180 secs
lola: 1178018 markings, 1707607 edges, 6055 markings/sec, 185 secs
lola: 1206775 markings, 1744962 edges, 5751 markings/sec, 190 secs
lola: 1235732 markings, 1783193 edges, 5791 markings/sec, 195 secs
lola: 1263961 markings, 1819450 edges, 5646 markings/sec, 200 secs
lola: 1289134 markings, 1858292 edges, 5035 markings/sec, 205 secs
lola: 1313492 markings, 1894647 edges, 4872 markings/sec, 210 secs
lola: 1348387 markings, 1957473 edges, 6979 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 33624 markings, 47855 edges, 6725 markings/sec, 0 secs
lola: 66126 markings, 93372 edges, 6500 markings/sec, 5 secs
lola: 99913 markings, 141779 edges, 6757 markings/sec, 10 secs
lola: 132940 markings, 188076 edges, 6605 markings/sec, 15 secs
lola: 165379 markings, 233053 edges, 6488 markings/sec, 20 secs
lola: 197593 markings, 277614 edges, 6443 markings/sec, 25 secs
lola: 231177 markings, 325225 edges, 6717 markings/sec, 30 secs
lola: 265129 markings, 373230 edges, 6790 markings/sec, 35 secs
lola: 296615 markings, 415790 edges, 6297 markings/sec, 40 secs
lola: 327795 markings, 458273 edges, 6236 markings/sec, 45 secs
lola: 356810 markings, 496350 edges, 5803 markings/sec, 50 secs
lola: 386080 markings, 537975 edges, 5854 markings/sec, 55 secs
lola: 416300 markings, 579731 edges, 6044 markings/sec, 60 secs
lola: 445316 markings, 618623 edges, 5803 markings/sec, 65 secs
lola: 466692 markings, 652865 edges, 4275 markings/sec, 70 secs
lola: 496207 markings, 692210 edges, 5903 markings/sec, 75 secs
lola: 526856 markings, 733539 edges, 6130 markings/sec, 80 secs
lola: 554385 markings, 769193 edges, 5506 markings/sec, 85 secs
lola: 584254 markings, 808824 edges, 5974 markings/sec, 90 secs
lola: 601627 markings, 838385 edges, 3475 markings/sec, 95 secs
lola: 637578 markings, 902617 edges, 7190 markings/sec, 100 secs
lola: 669101 markings, 946078 edges, 6305 markings/sec, 105 secs
lola: 704070 markings, 1009152 edges, 6994 markings/sec, 110 secs
lola: 733284 markings, 1048163 edges, 5843 markings/sec, 115 secs
lola: 762933 markings, 1088257 edges, 5930 markings/sec, 120 secs
lola: 790171 markings, 1122985 edges, 5448 markings/sec, 125 secs
lola: 816811 markings, 1157513 edges, 5328 markings/sec, 130 secs
lola: 851168 markings, 1219434 edges, 6871 markings/sec, 135 secs
lola: 887385 markings, 1285601 edges, 7243 markings/sec, 140 secs
lola: 915928 markings, 1323790 edges, 5709 markings/sec, 145 secs
lola: 946092 markings, 1365309 edges, 6033 markings/sec, 150 secs
lola: 969797 markings, 1402359 edges, 4741 markings/sec, 155 secs
lola: 996998 markings, 1438667 edges, 5440 markings/sec, 160 secs
lola: 1027034 markings, 1479916 edges, 6007 markings/sec, 165 secs
lola: 1056856 markings, 1519962 edges, 5964 markings/sec, 170 secs
lola: 1086265 markings, 1561045 edges, 5882 markings/sec, 175 secs
lola: 1123371 markings, 1634355 edges, 7421 markings/sec, 180 secs
lola: 1151276 markings, 1671131 edges, 5581 markings/sec, 185 secs
lola: 1179742 markings, 1709426 edges, 5693 markings/sec, 190 secs
lola: 1207653 markings, 1745985 edges, 5582 markings/sec, 195 secs
lola: 1236447 markings, 1783952 edges, 5759 markings/sec, 200 secs
lola: 1265034 markings, 1820994 edges, 5717 markings/sec, 205 secs
lola: 1289853 markings, 1859109 edges, 4964 markings/sec, 210 secs
lola: 1314555 markings, 1896197 edges, 4940 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p444)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 22759 markings, 32233 edges, 4552 markings/sec, 0 secs
lola: 39808 markings, 53424 edges, 3410 markings/sec, 5 secs
lola: 56694 markings, 74365 edges, 3377 markings/sec, 10 secs
lola: 73545 markings, 95231 edges, 3370 markings/sec, 15 secs
lola: 90393 markings, 116102 edges, 3370 markings/sec, 20 secs
lola: 107333 markings, 137316 edges, 3388 markings/sec, 25 secs
lola: 124111 markings, 158061 edges, 3356 markings/sec, 30 secs
lola: 140987 markings, 179083 edges, 3375 markings/sec, 35 secs
lola: 157579 markings, 199507 edges, 3318 markings/sec, 40 secs
lola: 174646 markings, 220924 edges, 3413 markings/sec, 45 secs
lola: 191613 markings, 242458 edges, 3393 markings/sec, 50 secs
lola: 214926 markings, 271723 edges, 4663 markings/sec, 55 secs
lola: 242678 markings, 307078 edges, 5550 markings/sec, 60 secs
lola: 270860 markings, 343357 edges, 5636 markings/sec, 65 secs
lola: 298621 markings, 378704 edges, 5552 markings/sec, 70 secs
lola: 326330 markings, 414401 edges, 5542 markings/sec, 75 secs
lola: 354200 markings, 450513 edges, 5574 markings/sec, 80 secs
lola: 382358 markings, 486709 edges, 5632 markings/sec, 85 secs
lola: 410427 markings, 523134 edges, 5614 markings/sec, 90 secs
lola: 437655 markings, 558415 edges, 5446 markings/sec, 95 secs
lola: 466228 markings, 596004 edges, 5715 markings/sec, 100 secs
lola: 493803 markings, 632319 edges, 5515 markings/sec, 105 secs
lola: 520870 markings, 667753 edges, 5413 markings/sec, 110 secs
lola: 548921 markings, 704975 edges, 5610 markings/sec, 115 secs
lola: 578346 markings, 747644 edges, 5885 markings/sec, 120 secs
lola: 610286 markings, 802857 edges, 6388 markings/sec, 125 secs
lola: 637184 markings, 836961 edges, 5380 markings/sec, 130 secs
lola: 665410 markings, 873769 edges, 5645 markings/sec, 135 secs
lola: 695272 markings, 914511 edges, 5972 markings/sec, 140 secs
lola: 723218 markings, 951440 edges, 5589 markings/sec, 145 secs
lola: 752072 markings, 989740 edges, 5771 markings/sec, 150 secs
lola: 780380 markings, 1027557 edges, 5662 markings/sec, 155 secs
lola: 809601 markings, 1067441 edges, 5844 markings/sec, 160 secs
lola: 838507 markings, 1106137 edges, 5781 markings/sec, 165 secs
lola: 868734 markings, 1147926 edges, 6045 markings/sec, 170 secs
lola: 900049 markings, 1192519 edges, 6263 markings/sec, 175 secs
lola: 930443 markings, 1234553 edges, 6079 markings/sec, 180 secs
lola: 957857 markings, 1270362 edges, 5483 markings/sec, 185 secs
lola: 985744 markings, 1307821 edges, 5577 markings/sec, 190 secs
lola: 1016926 markings, 1352616 edges, 6236 markings/sec, 195 secs
lola: 1052378 markings, 1414740 edges, 7090 markings/sec, 200 secs
lola: 1090629 markings, 1484384 edges, 7650 markings/sec, 205 secs
lola: 1127173 markings, 1551616 edges, 7309 markings/sec, 210 secs
lola: 1157271 markings, 1593326 edges, 6020 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p450 + p451 + p452 + p453)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1616 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 14118 markings, 19092 edges, 2824 markings/sec, 0 secs
lola: 28702 markings, 37490 edges, 2917 markings/sec, 5 secs
lola: 42692 markings, 56585 edges, 2798 markings/sec, 10 secs
lola: 56006 markings, 79729 edges, 2663 markings/sec, 15 secs
lola: 69285 markings, 101280 edges, 2656 markings/sec, 20 secs
lola: 83374 markings, 121655 edges, 2818 markings/sec, 25 secs
lola: 97652 markings, 141337 edges, 2856 markings/sec, 30 secs
lola: 111635 markings, 161704 edges, 2797 markings/sec, 35 secs
lola: 125218 markings, 183135 edges, 2717 markings/sec, 40 secs
lola: 139223 markings, 203158 edges, 2801 markings/sec, 45 secs
lola: 153077 markings, 225295 edges, 2771 markings/sec, 50 secs
lola: 167081 markings, 246745 edges, 2801 markings/sec, 55 secs
lola: 181538 markings, 266219 edges, 2891 markings/sec, 60 secs
lola: 196011 markings, 286372 edges, 2895 markings/sec, 65 secs
lola: 210274 markings, 307442 edges, 2853 markings/sec, 70 secs
lola: 224040 markings, 328933 edges, 2753 markings/sec, 75 secs
lola: 238348 markings, 348084 edges, 2862 markings/sec, 80 secs
lola: 252826 markings, 368907 edges, 2896 markings/sec, 85 secs
lola: 267144 markings, 388602 edges, 2864 markings/sec, 90 secs
lola: 280433 markings, 411565 edges, 2658 markings/sec, 95 secs
lola: 294532 markings, 430852 edges, 2820 markings/sec, 100 secs
lola: 309061 markings, 451789 edges, 2906 markings/sec, 105 secs
lola: 323222 markings, 471523 edges, 2832 markings/sec, 110 secs
lola: 337802 markings, 492337 edges, 2916 markings/sec, 115 secs
lola: 352382 markings, 512348 edges, 2916 markings/sec, 120 secs
lola: 366954 markings, 531670 edges, 2914 markings/sec, 125 secs
lola: 381301 markings, 550906 edges, 2869 markings/sec, 130 secs
lola: 395631 markings, 571044 edges, 2866 markings/sec, 135 secs
lola: 409315 markings, 590419 edges, 2737 markings/sec, 140 secs
lola: 422883 markings, 609812 edges, 2714 markings/sec, 145 secs
lola: 437008 markings, 631613 edges, 2825 markings/sec, 150 secs
lola: 451350 markings, 654010 edges, 2868 markings/sec, 155 secs
lola: 465669 markings, 677786 edges, 2864 markings/sec, 160 secs
lola: 480028 markings, 699620 edges, 2872 markings/sec, 165 secs
lola: 494247 markings, 722686 edges, 2844 markings/sec, 170 secs
lola: 508278 markings, 744243 edges, 2806 markings/sec, 175 secs
lola: 522497 markings, 765316 edges, 2844 markings/sec, 180 secs
lola: 536630 markings, 788048 edges, 2827 markings/sec, 185 secs
lola: 550669 markings, 809602 edges, 2808 markings/sec, 190 secs
lola: 564987 markings, 831941 edges, 2864 markings/sec, 195 secs
lola: 579526 markings, 851172 edges, 2908 markings/sec, 200 secs
lola: 593513 markings, 873776 edges, 2797 markings/sec, 205 secs
lola: 608141 markings, 893788 edges, 2926 markings/sec, 210 secs
lola: 622704 markings, 912937 edges, 2913 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T04-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494654086740

--------------------
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="PolyORBLF-COL-S06J04T04"
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/PolyORBLF-COL-S06J04T04.tgz
mv PolyORBLF-COL-S06J04T04 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 PolyORBLF-COL-S06J04T04, 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 r048-smll-149440869900371"
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 ;