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

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

=== Now, execution of the tool begins

BK_START 1494626264879


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S04J04T08 @ 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: 4724/65536 symbol table entries, 918 collisions
lola: preprocessing...
lola: finding significant places
lola: 712 places, 4012 transitions, 658 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2451 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T08-UpperBounds.task
lola: MAX(p349) : MAX(p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620) : MAX(p83 + p84 + p85 + p86) : MAX(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357) : MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447) : MAX(p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563) : MAX(p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134) : MAX(p646) : MAX(p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620) : MAX(p169) : MAX(p266) : MAX(p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7) : MAX(p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214) : MAX(p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274) : MAX(p175 + p176 + p177 + p178 + p179)
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(p349)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 26560 markings, 27806 edges, 5312 markings/sec, 0 secs
lola: 53117 markings, 56206 edges, 5311 markings/sec, 5 secs
lola: 79576 markings, 84495 edges, 5292 markings/sec, 10 secs
lola: 106012 markings, 113325 edges, 5287 markings/sec, 15 secs
lola: 132521 markings, 142167 edges, 5302 markings/sec, 20 secs
lola: 159005 markings, 171683 edges, 5297 markings/sec, 25 secs
lola: 185366 markings, 200975 edges, 5272 markings/sec, 30 secs
lola: 211860 markings, 230239 edges, 5299 markings/sec, 35 secs
lola: 238260 markings, 259680 edges, 5280 markings/sec, 40 secs
lola: 264573 markings, 288977 edges, 5263 markings/sec, 45 secs
lola: 290849 markings, 318450 edges, 5255 markings/sec, 50 secs
lola: 317126 markings, 348194 edges, 5255 markings/sec, 55 secs
lola: 343167 markings, 378123 edges, 5208 markings/sec, 60 secs
lola: 369582 markings, 408451 edges, 5283 markings/sec, 65 secs
lola: 395797 markings, 438692 edges, 5243 markings/sec, 70 secs
lola: 422321 markings, 469378 edges, 5305 markings/sec, 75 secs
lola: 448789 markings, 499445 edges, 5294 markings/sec, 80 secs
lola: 475325 markings, 530228 edges, 5307 markings/sec, 85 secs
lola: 501773 markings, 560584 edges, 5290 markings/sec, 90 secs
lola: 528317 markings, 590813 edges, 5309 markings/sec, 95 secs
lola: 554638 markings, 621847 edges, 5264 markings/sec, 100 secs
lola: 581044 markings, 652719 edges, 5281 markings/sec, 105 secs
lola: 607681 markings, 684019 edges, 5327 markings/sec, 110 secs
lola: 633961 markings, 714510 edges, 5256 markings/sec, 115 secs
lola: 660303 markings, 744909 edges, 5268 markings/sec, 120 secs
lola: 686687 markings, 775654 edges, 5277 markings/sec, 125 secs
lola: 712972 markings, 806825 edges, 5257 markings/sec, 130 secs
lola: 739413 markings, 837095 edges, 5288 markings/sec, 135 secs
lola: 765636 markings, 867799 edges, 5245 markings/sec, 140 secs
lola: 791904 markings, 898683 edges, 5254 markings/sec, 145 secs
lola: 818412 markings, 929232 edges, 5302 markings/sec, 150 secs
lola: 844592 markings, 959703 edges, 5236 markings/sec, 155 secs
lola: 870939 markings, 990172 edges, 5269 markings/sec, 160 secs
lola: 897180 markings, 1020930 edges, 5248 markings/sec, 165 secs
lola: 923458 markings, 1052352 edges, 5256 markings/sec, 170 secs
lola: 949911 markings, 1083098 edges, 5291 markings/sec, 175 secs
lola: 976219 markings, 1113679 edges, 5262 markings/sec, 180 secs
lola: 1002558 markings, 1144219 edges, 5268 markings/sec, 185 secs
lola: 1028909 markings, 1175161 edges, 5270 markings/sec, 190 secs
lola: 1055073 markings, 1206140 edges, 5233 markings/sec, 195 secs
lola: 1081345 markings, 1236580 edges, 5254 markings/sec, 200 secs
lola: 1107553 markings, 1266688 edges, 5242 markings/sec, 205 secs
lola: 1133905 markings, 1297330 edges, 5270 markings/sec, 210 secs
lola: 1160181 markings, 1328784 edges, 5255 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(p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24721 markings, 25550 edges, 4944 markings/sec, 0 secs
lola: 49396 markings, 50808 edges, 4935 markings/sec, 5 secs
lola: 73905 markings, 76254 edges, 4902 markings/sec, 10 secs
lola: 98406 markings, 101956 edges, 4900 markings/sec, 15 secs
lola: 122839 markings, 127620 edges, 4887 markings/sec, 20 secs
lola: 146942 markings, 152624 edges, 4821 markings/sec, 25 secs
lola: 171263 markings, 178498 edges, 4864 markings/sec, 30 secs
lola: 195469 markings, 204111 edges, 4841 markings/sec, 35 secs
lola: 219586 markings, 229319 edges, 4823 markings/sec, 40 secs
lola: 243655 markings, 254830 edges, 4814 markings/sec, 45 secs
lola: 267676 markings, 280475 edges, 4804 markings/sec, 50 secs
lola: 291956 markings, 306666 edges, 4856 markings/sec, 55 secs
lola: 316024 markings, 332188 edges, 4814 markings/sec, 60 secs
lola: 340073 markings, 357991 edges, 4810 markings/sec, 65 secs
lola: 364145 markings, 383504 edges, 4814 markings/sec, 70 secs
lola: 388107 markings, 409221 edges, 4792 markings/sec, 75 secs
lola: 412180 markings, 435308 edges, 4815 markings/sec, 80 secs
lola: 436113 markings, 461290 edges, 4787 markings/sec, 85 secs
lola: 460193 markings, 487621 edges, 4816 markings/sec, 90 secs
lola: 484278 markings, 514177 edges, 4817 markings/sec, 95 secs
lola: 508159 markings, 540918 edges, 4776 markings/sec, 100 secs
lola: 531966 markings, 567063 edges, 4761 markings/sec, 105 secs
lola: 555873 markings, 594599 edges, 4781 markings/sec, 110 secs
lola: 579637 markings, 621660 edges, 4753 markings/sec, 115 secs
lola: 603628 markings, 648948 edges, 4798 markings/sec, 120 secs
lola: 627717 markings, 677145 edges, 4818 markings/sec, 125 secs
lola: 651511 markings, 703592 edges, 4759 markings/sec, 130 secs
lola: 675398 markings, 731354 edges, 4777 markings/sec, 135 secs
lola: 699431 markings, 758180 edges, 4807 markings/sec, 140 secs
lola: 723181 markings, 785500 edges, 4750 markings/sec, 145 secs
lola: 747041 markings, 812358 edges, 4772 markings/sec, 150 secs
lola: 770977 markings, 840178 edges, 4787 markings/sec, 155 secs
lola: 794874 markings, 867006 edges, 4779 markings/sec, 160 secs
lola: 818667 markings, 893945 edges, 4759 markings/sec, 165 secs
lola: 842407 markings, 921208 edges, 4748 markings/sec, 170 secs
lola: 866074 markings, 949480 edges, 4733 markings/sec, 175 secs
lola: 889764 markings, 976172 edges, 4738 markings/sec, 180 secs
lola: 913433 markings, 1002892 edges, 4734 markings/sec, 185 secs
lola: 937253 markings, 1030104 edges, 4764 markings/sec, 190 secs
lola: 961147 markings, 1058147 edges, 4779 markings/sec, 195 secs
lola: 984932 markings, 1084800 edges, 4757 markings/sec, 200 secs
lola: 1008696 markings, 1111732 edges, 4753 markings/sec, 205 secs
lola: 1032452 markings, 1139123 edges, 4751 markings/sec, 210 secs
lola: 1056141 markings, 1165393 edges, 4738 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(p83 + p84 + p85 + p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24664 markings, 25960 edges, 4933 markings/sec, 0 secs
lola: 49082 markings, 52874 edges, 4884 markings/sec, 5 secs
lola: 73401 markings, 80322 edges, 4864 markings/sec, 10 secs
lola: 97845 markings, 106882 edges, 4889 markings/sec, 15 secs
lola: 122181 markings, 134484 edges, 4867 markings/sec, 20 secs
lola: 146286 markings, 163151 edges, 4821 markings/sec, 25 secs
lola: 170474 markings, 192187 edges, 4838 markings/sec, 30 secs
lola: 194437 markings, 221242 edges, 4793 markings/sec, 35 secs
lola: 218639 markings, 249496 edges, 4840 markings/sec, 40 secs
lola: 242570 markings, 279249 edges, 4786 markings/sec, 45 secs
lola: 266637 markings, 307855 edges, 4813 markings/sec, 50 secs
lola: 290571 markings, 337172 edges, 4787 markings/sec, 55 secs
lola: 314494 markings, 365751 edges, 4785 markings/sec, 60 secs
lola: 338291 markings, 395948 edges, 4759 markings/sec, 65 secs
lola: 362306 markings, 424832 edges, 4803 markings/sec, 70 secs
lola: 386243 markings, 453519 edges, 4787 markings/sec, 75 secs
lola: 409936 markings, 482778 edges, 4739 markings/sec, 80 secs
lola: 433686 markings, 512333 edges, 4750 markings/sec, 85 secs
lola: 457465 markings, 541588 edges, 4756 markings/sec, 90 secs
lola: 481307 markings, 571061 edges, 4768 markings/sec, 95 secs
lola: 505079 markings, 599716 edges, 4754 markings/sec, 100 secs
lola: 528727 markings, 630107 edges, 4730 markings/sec, 105 secs
lola: 552250 markings, 660499 edges, 4705 markings/sec, 110 secs
lola: 575980 markings, 689762 edges, 4746 markings/sec, 115 secs
lola: 599707 markings, 719157 edges, 4745 markings/sec, 120 secs
lola: 623346 markings, 748769 edges, 4728 markings/sec, 125 secs
lola: 647150 markings, 777904 edges, 4761 markings/sec, 130 secs
lola: 670705 markings, 808065 edges, 4711 markings/sec, 135 secs
lola: 694434 markings, 837093 edges, 4746 markings/sec, 140 secs
lola: 718059 markings, 866203 edges, 4725 markings/sec, 145 secs
lola: 741712 markings, 896073 edges, 4731 markings/sec, 150 secs
lola: 765499 markings, 925564 edges, 4757 markings/sec, 155 secs
lola: 789250 markings, 955272 edges, 4750 markings/sec, 160 secs
lola: 813038 markings, 984436 edges, 4758 markings/sec, 165 secs
lola: 836771 markings, 1014317 edges, 4747 markings/sec, 170 secs
lola: 860501 markings, 1043826 edges, 4746 markings/sec, 175 secs
lola: 884357 markings, 1073206 edges, 4771 markings/sec, 180 secs
lola: 908085 markings, 1102884 edges, 4746 markings/sec, 185 secs
lola: 931787 markings, 1132487 edges, 4740 markings/sec, 190 secs
lola: 955566 markings, 1161554 edges, 4756 markings/sec, 195 secs
lola: 979316 markings, 1190419 edges, 4750 markings/sec, 200 secs
lola: 1003156 markings, 1219935 edges, 4768 markings/sec, 205 secs
lola: 1027415 markings, 1250190 edges, 4852 markings/sec, 210 secs
lola: 1051792 markings, 1281232 edges, 4875 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(p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24751 markings, 26047 edges, 4950 markings/sec, 0 secs
lola: 49339 markings, 53149 edges, 4918 markings/sec, 5 secs
lola: 73841 markings, 80819 edges, 4900 markings/sec, 10 secs
lola: 98474 markings, 107540 edges, 4927 markings/sec, 15 secs
lola: 122963 markings, 135359 edges, 4898 markings/sec, 20 secs
lola: 147230 markings, 164218 edges, 4853 markings/sec, 25 secs
lola: 171557 markings, 192938 edges, 4865 markings/sec, 30 secs
lola: 195916 markings, 222483 edges, 4872 markings/sec, 35 secs
lola: 220215 markings, 252084 edges, 4860 markings/sec, 40 secs
lola: 244226 markings, 282098 edges, 4802 markings/sec, 45 secs
lola: 268448 markings, 311712 edges, 4844 markings/sec, 50 secs
lola: 292597 markings, 340926 edges, 4830 markings/sec, 55 secs
lola: 316729 markings, 370008 edges, 4826 markings/sec, 60 secs
lola: 340752 markings, 399804 edges, 4805 markings/sec, 65 secs
lola: 364902 markings, 428811 edges, 4830 markings/sec, 70 secs
lola: 388814 markings, 459416 edges, 4782 markings/sec, 75 secs
lola: 412689 markings, 490668 edges, 4775 markings/sec, 80 secs
lola: 436753 markings, 520110 edges, 4813 markings/sec, 85 secs
lola: 460934 markings, 548949 edges, 4836 markings/sec, 90 secs
lola: 484913 markings, 578363 edges, 4796 markings/sec, 95 secs
lola: 508986 markings, 607680 edges, 4815 markings/sec, 100 secs
lola: 533055 markings, 636912 edges, 4814 markings/sec, 105 secs
lola: 557182 markings, 665422 edges, 4825 markings/sec, 110 secs
lola: 581158 markings, 694934 edges, 4795 markings/sec, 115 secs
lola: 605182 markings, 723635 edges, 4805 markings/sec, 120 secs
lola: 629199 markings, 752392 edges, 4803 markings/sec, 125 secs
lola: 652883 markings, 782967 edges, 4737 markings/sec, 130 secs
lola: 676854 markings, 811655 edges, 4794 markings/sec, 135 secs
lola: 700618 markings, 841240 edges, 4753 markings/sec, 140 secs
lola: 724486 markings, 870416 edges, 4774 markings/sec, 145 secs
lola: 748318 markings, 898838 edges, 4766 markings/sec, 150 secs
lola: 772200 markings, 928053 edges, 4776 markings/sec, 155 secs
lola: 795801 markings, 957801 edges, 4720 markings/sec, 160 secs
lola: 819534 markings, 987786 edges, 4747 markings/sec, 165 secs
lola: 843423 markings, 1016366 edges, 4778 markings/sec, 170 secs
lola: 867131 markings, 1046395 edges, 4742 markings/sec, 175 secs
lola: 890827 markings, 1076211 edges, 4739 markings/sec, 180 secs
lola: 914487 markings, 1106000 edges, 4732 markings/sec, 185 secs
lola: 938370 markings, 1134471 edges, 4777 markings/sec, 190 secs
lola: 962124 markings, 1163347 edges, 4751 markings/sec, 195 secs
lola: 985965 markings, 1192332 edges, 4768 markings/sec, 200 secs
lola: 1009708 markings, 1221837 edges, 4749 markings/sec, 205 secs
lola: 1033486 markings, 1250855 edges, 4756 markings/sec, 210 secs
lola: 1057246 markings, 1280244 edges, 4752 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(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 23370 markings, 25344 edges, 4674 markings/sec, 0 secs
lola: 46765 markings, 51525 edges, 4679 markings/sec, 5 secs
lola: 70108 markings, 77074 edges, 4669 markings/sec, 10 secs
lola: 93511 markings, 103987 edges, 4681 markings/sec, 15 secs
lola: 116816 markings, 130277 edges, 4661 markings/sec, 20 secs
lola: 140163 markings, 156288 edges, 4669 markings/sec, 25 secs
lola: 163440 markings, 182901 edges, 4655 markings/sec, 30 secs
lola: 186778 markings, 210462 edges, 4668 markings/sec, 35 secs
lola: 210214 markings, 237788 edges, 4687 markings/sec, 40 secs
lola: 233636 markings, 266342 edges, 4684 markings/sec, 45 secs
lola: 256993 markings, 294078 edges, 4671 markings/sec, 50 secs
lola: 280292 markings, 320760 edges, 4660 markings/sec, 55 secs
lola: 303609 markings, 348692 edges, 4663 markings/sec, 60 secs
lola: 326892 markings, 375820 edges, 4657 markings/sec, 65 secs
lola: 350156 markings, 402523 edges, 4653 markings/sec, 70 secs
lola: 373407 markings, 429933 edges, 4650 markings/sec, 75 secs
lola: 396692 markings, 456141 edges, 4657 markings/sec, 80 secs
lola: 419937 markings, 482521 edges, 4649 markings/sec, 85 secs
lola: 443209 markings, 509309 edges, 4654 markings/sec, 90 secs
lola: 466444 markings, 538773 edges, 4647 markings/sec, 95 secs
lola: 489739 markings, 566428 edges, 4659 markings/sec, 100 secs
lola: 513003 markings, 594650 edges, 4653 markings/sec, 105 secs
lola: 536172 markings, 622235 edges, 4634 markings/sec, 110 secs
lola: 559334 markings, 649534 edges, 4632 markings/sec, 115 secs
lola: 582477 markings, 675892 edges, 4629 markings/sec, 120 secs
lola: 605719 markings, 703488 edges, 4648 markings/sec, 125 secs
lola: 628903 markings, 730836 edges, 4637 markings/sec, 130 secs
lola: 652034 markings, 757728 edges, 4626 markings/sec, 135 secs
lola: 675126 markings, 784828 edges, 4618 markings/sec, 140 secs
lola: 698250 markings, 811676 edges, 4625 markings/sec, 145 secs
lola: 721393 markings, 837371 edges, 4629 markings/sec, 150 secs
lola: 744571 markings, 866607 edges, 4636 markings/sec, 155 secs
lola: 767649 markings, 895528 edges, 4616 markings/sec, 160 secs
lola: 790822 markings, 920440 edges, 4635 markings/sec, 165 secs
lola: 813842 markings, 947997 edges, 4604 markings/sec, 170 secs
lola: 836895 markings, 975622 edges, 4611 markings/sec, 175 secs
lola: 860009 markings, 1003224 edges, 4623 markings/sec, 180 secs
lola: 883119 markings, 1029120 edges, 4622 markings/sec, 185 secs
lola: 906252 markings, 1056109 edges, 4627 markings/sec, 190 secs
lola: 929295 markings, 1082705 edges, 4609 markings/sec, 195 secs
lola: 952404 markings, 1111191 edges, 4622 markings/sec, 200 secs
lola: 975534 markings, 1138862 edges, 4626 markings/sec, 205 secs
lola: 998589 markings, 1166178 edges, 4611 markings/sec, 210 secs
lola: 1021750 markings, 1192947 edges, 4632 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(p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24583 markings, 25879 edges, 4917 markings/sec, 0 secs
lola: 48928 markings, 52716 edges, 4869 markings/sec, 5 secs
lola: 73197 markings, 80054 edges, 4854 markings/sec, 10 secs
lola: 97584 markings, 106611 edges, 4877 markings/sec, 15 secs
lola: 121851 markings, 134135 edges, 4853 markings/sec, 20 secs
lola: 145893 markings, 162679 edges, 4808 markings/sec, 25 secs
lola: 170017 markings, 191248 edges, 4825 markings/sec, 30 secs
lola: 194146 markings, 220522 edges, 4826 markings/sec, 35 secs
lola: 218268 markings, 249517 edges, 4824 markings/sec, 40 secs
lola: 242022 markings, 279486 edges, 4751 markings/sec, 45 secs
lola: 266023 markings, 308726 edges, 4800 markings/sec, 50 secs
lola: 290073 markings, 337131 edges, 4810 markings/sec, 55 secs
lola: 314108 markings, 366112 edges, 4807 markings/sec, 60 secs
lola: 337802 markings, 396653 edges, 4739 markings/sec, 65 secs
lola: 361660 markings, 425807 edges, 4772 markings/sec, 70 secs
lola: 385419 markings, 455828 edges, 4752 markings/sec, 75 secs
lola: 409333 markings, 485421 edges, 4783 markings/sec, 80 secs
lola: 433336 markings, 513564 edges, 4801 markings/sec, 85 secs
lola: 457192 markings, 542106 edges, 4771 markings/sec, 90 secs
lola: 481133 markings, 570713 edges, 4788 markings/sec, 95 secs
lola: 504863 markings, 600572 edges, 4746 markings/sec, 100 secs
lola: 528790 markings, 629247 edges, 4785 markings/sec, 105 secs
lola: 552904 markings, 658209 edges, 4823 markings/sec, 110 secs
lola: 577814 markings, 688906 edges, 4982 markings/sec, 115 secs
lola: 602845 markings, 719536 edges, 5006 markings/sec, 120 secs
lola: 627437 markings, 751762 edges, 4918 markings/sec, 125 secs
lola: 652338 markings, 782786 edges, 4980 markings/sec, 130 secs
lola: 676949 markings, 814974 edges, 4922 markings/sec, 135 secs
lola: 701817 markings, 845504 edges, 4974 markings/sec, 140 secs
lola: 726704 markings, 875368 edges, 4977 markings/sec, 145 secs
lola: 751557 markings, 905837 edges, 4971 markings/sec, 150 secs
lola: 776431 markings, 936056 edges, 4975 markings/sec, 155 secs
lola: 801227 markings, 967024 edges, 4959 markings/sec, 160 secs
lola: 826057 markings, 997499 edges, 4966 markings/sec, 165 secs
lola: 850788 markings, 1027966 edges, 4946 markings/sec, 170 secs
lola: 875689 markings, 1058267 edges, 4980 markings/sec, 175 secs
lola: 900552 markings, 1088826 edges, 4973 markings/sec, 180 secs
lola: 925479 markings, 1119587 edges, 4985 markings/sec, 185 secs
lola: 950472 markings, 1149535 edges, 4999 markings/sec, 190 secs
lola: 975262 markings, 1179808 edges, 4958 markings/sec, 195 secs
lola: 999987 markings, 1210130 edges, 4945 markings/sec, 200 secs
lola: 1024993 markings, 1239802 edges, 5001 markings/sec, 205 secs
lola: 1049914 markings, 1269975 edges, 4984 markings/sec, 210 secs
lola: 1074591 markings, 1301257 edges, 4935 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(p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 23567 markings, 27215 edges, 4713 markings/sec, 0 secs
lola: 47079 markings, 54521 edges, 4702 markings/sec, 5 secs
lola: 70449 markings, 82455 edges, 4674 markings/sec, 10 secs
lola: 93910 markings, 110529 edges, 4692 markings/sec, 15 secs
lola: 117257 markings, 138651 edges, 4669 markings/sec, 20 secs
lola: 140622 markings, 166703 edges, 4673 markings/sec, 25 secs
lola: 164010 markings, 193257 edges, 4678 markings/sec, 30 secs
lola: 187343 markings, 220520 edges, 4667 markings/sec, 35 secs
lola: 210598 markings, 248403 edges, 4651 markings/sec, 40 secs
lola: 233921 markings, 276329 edges, 4665 markings/sec, 45 secs
lola: 257160 markings, 304314 edges, 4648 markings/sec, 50 secs
lola: 280415 markings, 332215 edges, 4651 markings/sec, 55 secs
lola: 303677 markings, 358890 edges, 4652 markings/sec, 60 secs
lola: 326928 markings, 386250 edges, 4650 markings/sec, 65 secs
lola: 350099 markings, 414445 edges, 4634 markings/sec, 70 secs
lola: 373334 markings, 442367 edges, 4647 markings/sec, 75 secs
lola: 396520 markings, 470705 edges, 4637 markings/sec, 80 secs
lola: 419680 markings, 499050 edges, 4632 markings/sec, 85 secs
lola: 442907 markings, 525686 edges, 4645 markings/sec, 90 secs
lola: 466144 markings, 552383 edges, 4647 markings/sec, 95 secs
lola: 489392 markings, 579683 edges, 4650 markings/sec, 100 secs
lola: 512472 markings, 607697 edges, 4616 markings/sec, 105 secs
lola: 535644 markings, 635917 edges, 4634 markings/sec, 110 secs
lola: 558813 markings, 664088 edges, 4634 markings/sec, 115 secs
lola: 581881 markings, 692443 edges, 4614 markings/sec, 120 secs
lola: 605075 markings, 719871 edges, 4639 markings/sec, 125 secs
lola: 628289 markings, 746218 edges, 4643 markings/sec, 130 secs
lola: 651459 markings, 773972 edges, 4634 markings/sec, 135 secs
lola: 674596 markings, 801781 edges, 4627 markings/sec, 140 secs
lola: 697796 markings, 829806 edges, 4640 markings/sec, 145 secs
lola: 721021 markings, 856978 edges, 4645 markings/sec, 150 secs
lola: 744225 markings, 884014 edges, 4641 markings/sec, 155 secs
lola: 767424 markings, 910885 edges, 4640 markings/sec, 160 secs
lola: 790542 markings, 939469 edges, 4624 markings/sec, 165 secs
lola: 813732 markings, 967333 edges, 4638 markings/sec, 170 secs
lola: 836850 markings, 995632 edges, 4624 markings/sec, 175 secs
lola: 859981 markings, 1023349 edges, 4626 markings/sec, 180 secs
lola: 883103 markings, 1051701 edges, 4624 markings/sec, 185 secs
lola: 906287 markings, 1079668 edges, 4637 markings/sec, 190 secs
lola: 929453 markings, 1107126 edges, 4633 markings/sec, 195 secs
lola: 952571 markings, 1134906 edges, 4624 markings/sec, 200 secs
lola: 975694 markings, 1162928 edges, 4625 markings/sec, 205 secs
lola: 998829 markings, 1191496 edges, 4627 markings/sec, 210 secs
lola: 1021941 markings, 1219811 edges, 4622 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(p646)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24435 markings, 30215 edges, 4887 markings/sec, 0 secs
lola: 48563 markings, 61839 edges, 4826 markings/sec, 5 secs
lola: 72641 markings, 92443 edges, 4816 markings/sec, 10 secs
lola: 96531 markings, 125193 edges, 4778 markings/sec, 15 secs
lola: 120404 markings, 157092 edges, 4775 markings/sec, 20 secs
lola: 144075 markings, 189883 edges, 4734 markings/sec, 25 secs
lola: 167764 markings, 222718 edges, 4738 markings/sec, 30 secs
lola: 191173 markings, 256047 edges, 4682 markings/sec, 35 secs
lola: 214899 markings, 288805 edges, 4745 markings/sec, 40 secs
lola: 238521 markings, 322755 edges, 4724 markings/sec, 45 secs
lola: 262134 markings, 355108 edges, 4723 markings/sec, 50 secs
lola: 285772 markings, 387723 edges, 4728 markings/sec, 55 secs
lola: 309359 markings, 421009 edges, 4717 markings/sec, 60 secs
lola: 333081 markings, 454289 edges, 4744 markings/sec, 65 secs
lola: 356814 markings, 487685 edges, 4747 markings/sec, 70 secs
lola: 380298 markings, 522235 edges, 4697 markings/sec, 75 secs
lola: 403748 markings, 556650 edges, 4690 markings/sec, 80 secs
lola: 427222 markings, 590749 edges, 4695 markings/sec, 85 secs
lola: 450730 markings, 623706 edges, 4702 markings/sec, 90 secs
lola: 474075 markings, 656707 edges, 4669 markings/sec, 95 secs
lola: 497667 markings, 688868 edges, 4718 markings/sec, 100 secs
lola: 520974 markings, 723293 edges, 4661 markings/sec, 105 secs
lola: 544388 markings, 756875 edges, 4683 markings/sec, 110 secs
lola: 567786 markings, 790501 edges, 4680 markings/sec, 115 secs
lola: 591306 markings, 824386 edges, 4704 markings/sec, 120 secs
lola: 614548 markings, 859469 edges, 4648 markings/sec, 125 secs
lola: 637815 markings, 893506 edges, 4653 markings/sec, 130 secs
lola: 661544 markings, 928301 edges, 4746 markings/sec, 135 secs
lola: 684318 markings, 961451 edges, 4555 markings/sec, 140 secs
lola: 705557 markings, 993141 edges, 4248 markings/sec, 145 secs
lola: 726610 markings, 1024633 edges, 4211 markings/sec, 150 secs
lola: 747849 markings, 1055780 edges, 4248 markings/sec, 155 secs
lola: 771880 markings, 1088716 edges, 4806 markings/sec, 160 secs
lola: 795831 markings, 1124355 edges, 4790 markings/sec, 165 secs
lola: 820157 markings, 1160368 edges, 4865 markings/sec, 170 secs
lola: 844111 markings, 1196266 edges, 4791 markings/sec, 175 secs
lola: 868030 markings, 1231832 edges, 4784 markings/sec, 180 secs
lola: 892060 markings, 1267583 edges, 4806 markings/sec, 185 secs
lola: 916139 markings, 1301917 edges, 4816 markings/sec, 190 secs
lola: 940097 markings, 1336859 edges, 4792 markings/sec, 195 secs
lola: 964351 markings, 1370992 edges, 4851 markings/sec, 200 secs
lola: 988305 markings, 1406661 edges, 4791 markings/sec, 205 secs
lola: 1012258 markings, 1442464 edges, 4791 markings/sec, 210 secs
lola: 1036216 markings, 1477912 edges, 4792 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(p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24566 markings, 25394 edges, 4913 markings/sec, 0 secs
lola: 49995 markings, 51413 edges, 5086 markings/sec, 5 secs
lola: 75412 markings, 77814 edges, 5083 markings/sec, 10 secs
lola: 100053 markings, 103770 edges, 4928 markings/sec, 15 secs
lola: 125595 markings, 130479 edges, 5108 markings/sec, 20 secs
lola: 150909 markings, 156867 edges, 5063 markings/sec, 25 secs
lola: 176207 markings, 183764 edges, 5060 markings/sec, 30 secs
lola: 201316 markings, 210162 edges, 5022 markings/sec, 35 secs
lola: 226284 markings, 236309 edges, 4994 markings/sec, 40 secs
lola: 251216 markings, 263043 edges, 4986 markings/sec, 45 secs
lola: 276353 markings, 289680 edges, 5027 markings/sec, 50 secs
lola: 301483 markings, 316975 edges, 5026 markings/sec, 55 secs
lola: 326449 markings, 343363 edges, 4993 markings/sec, 60 secs
lola: 351494 markings, 370314 edges, 5009 markings/sec, 65 secs
lola: 376411 markings, 396517 edges, 4983 markings/sec, 70 secs
lola: 401373 markings, 423495 edges, 4992 markings/sec, 75 secs
lola: 426289 markings, 450661 edges, 4983 markings/sec, 80 secs
lola: 451262 markings, 477827 edges, 4995 markings/sec, 85 secs
lola: 476311 markings, 505470 edges, 5010 markings/sec, 90 secs
lola: 501224 markings, 533433 edges, 4983 markings/sec, 95 secs
lola: 525964 markings, 560304 edges, 4948 markings/sec, 100 secs
lola: 550850 markings, 588100 edges, 4977 markings/sec, 105 secs
lola: 575493 markings, 617295 edges, 4929 markings/sec, 110 secs
lola: 600385 markings, 645274 edges, 4978 markings/sec, 115 secs
lola: 625382 markings, 674598 edges, 4999 markings/sec, 120 secs
lola: 650088 markings, 701979 edges, 4941 markings/sec, 125 secs
lola: 674928 markings, 730736 edges, 4968 markings/sec, 130 secs
lola: 699853 markings, 758723 edges, 4985 markings/sec, 135 secs
lola: 724585 markings, 787055 edges, 4946 markings/sec, 140 secs
lola: 749314 markings, 815058 edges, 4946 markings/sec, 145 secs
lola: 774230 markings, 843900 edges, 4983 markings/sec, 150 secs
lola: 799002 markings, 871835 edges, 4954 markings/sec, 155 secs
lola: 823649 markings, 899722 edges, 4929 markings/sec, 160 secs
lola: 848265 markings, 928117 edges, 4923 markings/sec, 165 secs
lola: 872939 markings, 957409 edges, 4935 markings/sec, 170 secs
lola: 897512 markings, 984927 edges, 4915 markings/sec, 175 secs
lola: 922035 markings, 1012419 edges, 4905 markings/sec, 180 secs
lola: 946875 markings, 1041405 edges, 4968 markings/sec, 185 secs
lola: 970431 markings, 1068542 edges, 4711 markings/sec, 190 secs
lola: 995413 markings, 1096903 edges, 4996 markings/sec, 195 secs
lola: 1020259 markings, 1124840 edges, 4969 markings/sec, 200 secs
lola: 1045045 markings, 1152869 edges, 4957 markings/sec, 205 secs
lola: 1069738 markings, 1181479 edges, 4939 markings/sec, 210 secs
lola: 1094587 markings, 1208481 edges, 4970 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(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 16262 markings, 20245 edges, 3252 markings/sec, 0 secs
lola: 40778 markings, 53524 edges, 4903 markings/sec, 5 secs
lola: 65514 markings, 86760 edges, 4947 markings/sec, 10 secs
lola: 90563 markings, 121465 edges, 5010 markings/sec, 15 secs
lola: 115986 markings, 157108 edges, 5085 markings/sec, 20 secs
lola: 141207 markings, 192760 edges, 5044 markings/sec, 25 secs
lola: 166313 markings, 228653 edges, 5021 markings/sec, 30 secs
lola: 191420 markings, 263803 edges, 5021 markings/sec, 35 secs
lola: 216424 markings, 299772 edges, 5001 markings/sec, 40 secs
lola: 241441 markings, 336214 edges, 5003 markings/sec, 45 secs
lola: 266539 markings, 371756 edges, 5020 markings/sec, 50 secs
lola: 291472 markings, 408507 edges, 4987 markings/sec, 55 secs
lola: 316368 markings, 444836 edges, 4979 markings/sec, 60 secs
lola: 341343 markings, 480916 edges, 4995 markings/sec, 65 secs
lola: 366306 markings, 518140 edges, 4993 markings/sec, 70 secs
lola: 391244 markings, 555342 edges, 4988 markings/sec, 75 secs
lola: 416179 markings, 592639 edges, 4987 markings/sec, 80 secs
lola: 441072 markings, 629207 edges, 4979 markings/sec, 85 secs
lola: 466054 markings, 665444 edges, 4996 markings/sec, 90 secs
lola: 490918 markings, 702213 edges, 4973 markings/sec, 95 secs
lola: 515897 markings, 738570 edges, 4996 markings/sec, 100 secs
lola: 540723 markings, 775219 edges, 4965 markings/sec, 105 secs
lola: 565552 markings, 811937 edges, 4966 markings/sec, 110 secs
lola: 590371 markings, 847889 edges, 4964 markings/sec, 115 secs
lola: 615179 markings, 884287 edges, 4962 markings/sec, 120 secs
lola: 639816 markings, 921510 edges, 4927 markings/sec, 125 secs
lola: 664636 markings, 956824 edges, 4964 markings/sec, 130 secs
lola: 689495 markings, 993192 edges, 4972 markings/sec, 135 secs
lola: 714147 markings, 1028862 edges, 4930 markings/sec, 140 secs
lola: 738448 markings, 1064576 edges, 4860 markings/sec, 145 secs
lola: 763224 markings, 1101294 edges, 4955 markings/sec, 150 secs
lola: 788199 markings, 1137661 edges, 4995 markings/sec, 155 secs
lola: 813135 markings, 1174101 edges, 4987 markings/sec, 160 secs
lola: 837884 markings, 1210330 edges, 4950 markings/sec, 165 secs
lola: 862478 markings, 1247142 edges, 4919 markings/sec, 170 secs
lola: 887182 markings, 1283203 edges, 4941 markings/sec, 175 secs
lola: 911973 markings, 1320314 edges, 4958 markings/sec, 180 secs
lola: 933767 markings, 1353806 edges, 4359 markings/sec, 185 secs
lola: 957611 markings, 1387600 edges, 4769 markings/sec, 190 secs
lola: 982651 markings, 1425961 edges, 5008 markings/sec, 195 secs
lola: 1007740 markings, 1464184 edges, 5018 markings/sec, 200 secs
lola: 1032741 markings, 1503104 edges, 5000 markings/sec, 205 secs
lola: 1057897 markings, 1540449 edges, 5031 markings/sec, 210 secs
lola: 1082980 markings, 1578940 edges, 5017 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(p266)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24667 markings, 27432 edges, 4933 markings/sec, 0 secs
lola: 50125 markings, 57265 edges, 5092 markings/sec, 5 secs
lola: 75377 markings, 86970 edges, 5050 markings/sec, 10 secs
lola: 100599 markings, 117161 edges, 5044 markings/sec, 15 secs
lola: 125865 markings, 146762 edges, 5053 markings/sec, 20 secs
lola: 151086 markings, 177527 edges, 5044 markings/sec, 25 secs
lola: 176213 markings, 208077 edges, 5025 markings/sec, 30 secs
lola: 201313 markings, 238631 edges, 5020 markings/sec, 35 secs
lola: 226367 markings, 270326 edges, 5011 markings/sec, 40 secs
lola: 251426 markings, 301838 edges, 5012 markings/sec, 45 secs
lola: 276485 markings, 334770 edges, 5012 markings/sec, 50 secs
lola: 301484 markings, 366179 edges, 5000 markings/sec, 55 secs
lola: 326435 markings, 398102 edges, 4990 markings/sec, 60 secs
lola: 351435 markings, 430280 edges, 5000 markings/sec, 65 secs
lola: 376435 markings, 462243 edges, 5000 markings/sec, 70 secs
lola: 401431 markings, 494188 edges, 4999 markings/sec, 75 secs
lola: 424905 markings, 524303 edges, 4695 markings/sec, 80 secs
lola: 447302 markings, 553767 edges, 4479 markings/sec, 85 secs
lola: 472203 markings, 585829 edges, 4980 markings/sec, 90 secs
lola: 497079 markings, 621535 edges, 4975 markings/sec, 95 secs
lola: 520312 markings, 650931 edges, 4647 markings/sec, 100 secs
lola: 545317 markings, 685381 edges, 5001 markings/sec, 105 secs
lola: 570524 markings, 717285 edges, 5041 markings/sec, 110 secs
lola: 595618 markings, 749863 edges, 5019 markings/sec, 115 secs
lola: 620773 markings, 784341 edges, 5031 markings/sec, 120 secs
lola: 645950 markings, 817844 edges, 5035 markings/sec, 125 secs
lola: 671042 markings, 853212 edges, 5018 markings/sec, 130 secs
lola: 696136 markings, 885335 edges, 5019 markings/sec, 135 secs
lola: 721176 markings, 918221 edges, 5008 markings/sec, 140 secs
lola: 746260 markings, 951069 edges, 5017 markings/sec, 145 secs
lola: 771245 markings, 983301 edges, 4997 markings/sec, 150 secs
lola: 796236 markings, 1016652 edges, 4998 markings/sec, 155 secs
lola: 821306 markings, 1050353 edges, 5014 markings/sec, 160 secs
lola: 846272 markings, 1083402 edges, 4993 markings/sec, 165 secs
lola: 871296 markings, 1117267 edges, 5005 markings/sec, 170 secs
lola: 896254 markings, 1150186 edges, 4992 markings/sec, 175 secs
lola: 921242 markings, 1183268 edges, 4998 markings/sec, 180 secs
lola: 946331 markings, 1215261 edges, 5018 markings/sec, 185 secs
lola: 971427 markings, 1248652 edges, 5019 markings/sec, 190 secs
lola: 996396 markings, 1281151 edges, 4994 markings/sec, 195 secs
lola: 1021340 markings, 1314258 edges, 4989 markings/sec, 200 secs
lola: 1046336 markings, 1347009 edges, 4999 markings/sec, 205 secs
lola: 1071290 markings, 1379865 edges, 4991 markings/sec, 210 secs
lola: 1096302 markings, 1412330 edges, 5002 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(p24 + p25 + p26 + p27 + 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 2632 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: 24645 markings, 30431 edges, 4929 markings/sec, 0 secs
lola: 49932 markings, 63534 edges, 5057 markings/sec, 5 secs
lola: 75160 markings, 96475 edges, 5046 markings/sec, 10 secs
lola: 100279 markings, 130198 edges, 5024 markings/sec, 15 secs
lola: 125276 markings, 163365 edges, 4999 markings/sec, 20 secs
lola: 150070 markings, 198077 edges, 4959 markings/sec, 25 secs
lola: 174893 markings, 232859 edges, 4965 markings/sec, 30 secs
lola: 199549 markings, 267597 edges, 4931 markings/sec, 35 secs
lola: 224405 markings, 302178 edges, 4971 markings/sec, 40 secs
lola: 249140 markings, 337057 edges, 4947 markings/sec, 45 secs
lola: 272903 markings, 369150 edges, 4753 markings/sec, 50 secs
lola: 297568 markings, 403883 edges, 4933 markings/sec, 55 secs
lola: 322338 markings, 439460 edges, 4954 markings/sec, 60 secs
lola: 347204 markings, 474217 edges, 4973 markings/sec, 65 secs
lola: 372003 markings, 509987 edges, 4960 markings/sec, 70 secs
lola: 396659 markings, 546793 edges, 4931 markings/sec, 75 secs
lola: 421307 markings, 581758 edges, 4930 markings/sec, 80 secs
lola: 445933 markings, 617058 edges, 4925 markings/sec, 85 secs
lola: 470469 markings, 651638 edges, 4907 markings/sec, 90 secs
lola: 495180 markings, 685807 edges, 4942 markings/sec, 95 secs
lola: 519687 markings, 721302 edges, 4901 markings/sec, 100 secs
lola: 544269 markings, 756732 edges, 4916 markings/sec, 105 secs
lola: 568861 markings, 791954 edges, 4918 markings/sec, 110 secs
lola: 593456 markings, 828078 edges, 4919 markings/sec, 115 secs
lola: 617955 markings, 863970 edges, 4900 markings/sec, 120 secs
lola: 642377 markings, 900191 edges, 4884 markings/sec, 125 secs
lola: 666952 markings, 936056 edges, 4915 markings/sec, 130 secs
lola: 691477 markings, 972151 edges, 4905 markings/sec, 135 secs
lola: 715975 markings, 1009633 edges, 4900 markings/sec, 140 secs
lola: 740396 markings, 1044577 edges, 4884 markings/sec, 145 secs
lola: 764985 markings, 1079072 edges, 4918 markings/sec, 150 secs
lola: 789490 markings, 1115383 edges, 4901 markings/sec, 155 secs
lola: 813958 markings, 1151126 edges, 4894 markings/sec, 160 secs
lola: 838336 markings, 1187915 edges, 4876 markings/sec, 165 secs
lola: 862581 markings, 1224292 edges, 4849 markings/sec, 170 secs
lola: 887110 markings, 1260048 edges, 4906 markings/sec, 175 secs
lola: 911553 markings, 1295120 edges, 4889 markings/sec, 180 secs
lola: 935920 markings, 1330394 edges, 4873 markings/sec, 185 secs
lola: 960497 markings, 1365370 edges, 4915 markings/sec, 190 secs
lola: 984793 markings, 1401599 edges, 4859 markings/sec, 195 secs
lola: 1009062 markings, 1437424 edges, 4854 markings/sec, 200 secs
lola: 1033435 markings, 1474275 edges, 4875 markings/sec, 205 secs
lola: 1057567 markings, 1510554 edges, 4826 markings/sec, 210 secs
lola: 1081821 markings, 1546047 edges, 4851 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 26458 markings, 27630 edges, 5292 markings/sec, 0 secs
lola: 52728 markings, 56168 edges, 5254 markings/sec, 5 secs
lola: 78542 markings, 84874 edges, 5163 markings/sec, 10 secs
lola: 103667 markings, 112619 edges, 5025 markings/sec, 15 secs
lola: 128655 markings, 140879 edges, 4998 markings/sec, 20 secs
lola: 153659 markings, 168454 edges, 5001 markings/sec, 25 secs
lola: 178572 markings, 196396 edges, 4983 markings/sec, 30 secs
lola: 203568 markings, 224245 edges, 4999 markings/sec, 35 secs
lola: 228492 markings, 252262 edges, 4985 markings/sec, 40 secs
lola: 253255 markings, 281143 edges, 4953 markings/sec, 45 secs
lola: 278046 markings, 309776 edges, 4958 markings/sec, 50 secs
lola: 302669 markings, 338796 edges, 4925 markings/sec, 55 secs
lola: 327256 markings, 367733 edges, 4917 markings/sec, 60 secs
lola: 351852 markings, 396333 edges, 4919 markings/sec, 65 secs
lola: 376418 markings, 425803 edges, 4913 markings/sec, 70 secs
lola: 401050 markings, 454194 edges, 4926 markings/sec, 75 secs
lola: 425774 markings, 483343 edges, 4945 markings/sec, 80 secs
lola: 450292 markings, 512199 edges, 4904 markings/sec, 85 secs
lola: 474993 markings, 541822 edges, 4940 markings/sec, 90 secs
lola: 499611 markings, 570957 edges, 4924 markings/sec, 95 secs
lola: 524026 markings, 599819 edges, 4883 markings/sec, 100 secs
lola: 548523 markings, 628441 edges, 4899 markings/sec, 105 secs
lola: 572997 markings, 658757 edges, 4895 markings/sec, 110 secs
lola: 597554 markings, 687438 edges, 4911 markings/sec, 115 secs
lola: 621919 markings, 716979 edges, 4873 markings/sec, 120 secs
lola: 646378 markings, 746357 edges, 4892 markings/sec, 125 secs
lola: 671539 markings, 775869 edges, 5032 markings/sec, 130 secs
lola: 696987 markings, 806383 edges, 5090 markings/sec, 135 secs
lola: 722404 markings, 837367 edges, 5083 markings/sec, 140 secs
lola: 747833 markings, 867385 edges, 5086 markings/sec, 145 secs
lola: 773138 markings, 898042 edges, 5061 markings/sec, 150 secs
lola: 798631 markings, 929052 edges, 5099 markings/sec, 155 secs
lola: 824051 markings, 959266 edges, 5084 markings/sec, 160 secs
lola: 849482 markings, 990264 edges, 5086 markings/sec, 165 secs
lola: 874932 markings, 1019056 edges, 5090 markings/sec, 170 secs
lola: 900187 markings, 1049626 edges, 5051 markings/sec, 175 secs
lola: 925532 markings, 1078991 edges, 5069 markings/sec, 180 secs
lola: 950867 markings, 1108455 edges, 5067 markings/sec, 185 secs
lola: 976134 markings, 1139153 edges, 5053 markings/sec, 190 secs
lola: 1001447 markings, 1169874 edges, 5063 markings/sec, 195 secs
lola: 1026828 markings, 1200226 edges, 5076 markings/sec, 200 secs
lola: 1052196 markings, 1231764 edges, 5074 markings/sec, 205 secs
lola: 1077527 markings, 1262620 edges, 5066 markings/sec, 210 secs
lola: 1102736 markings, 1293245 edges, 5042 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(p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 25511 markings, 27176 edges, 5102 markings/sec, 0 secs
lola: 50953 markings, 55152 edges, 5088 markings/sec, 5 secs
lola: 76321 markings, 83695 edges, 5074 markings/sec, 10 secs
lola: 101668 markings, 112329 edges, 5069 markings/sec, 15 secs
lola: 126780 markings, 142062 edges, 5022 markings/sec, 20 secs
lola: 151893 markings, 172856 edges, 5023 markings/sec, 25 secs
lola: 176989 markings, 203304 edges, 5019 markings/sec, 30 secs
lola: 202113 markings, 233887 edges, 5025 markings/sec, 35 secs
lola: 227116 markings, 265016 edges, 5001 markings/sec, 40 secs
lola: 252211 markings, 295993 edges, 5019 markings/sec, 45 secs
lola: 277313 markings, 326841 edges, 5020 markings/sec, 50 secs
lola: 302405 markings, 357227 edges, 5018 markings/sec, 55 secs
lola: 327486 markings, 389448 edges, 5016 markings/sec, 60 secs
lola: 352448 markings, 421184 edges, 4992 markings/sec, 65 secs
lola: 376763 markings, 451842 edges, 4863 markings/sec, 70 secs
lola: 401851 markings, 483676 edges, 5018 markings/sec, 75 secs
lola: 426810 markings, 514256 edges, 4992 markings/sec, 80 secs
lola: 450817 markings, 544368 edges, 4801 markings/sec, 85 secs
lola: 475764 markings, 575323 edges, 4989 markings/sec, 90 secs
lola: 501036 markings, 606670 edges, 5054 markings/sec, 95 secs
lola: 526287 markings, 639010 edges, 5050 markings/sec, 100 secs
lola: 551301 markings, 670920 edges, 5003 markings/sec, 105 secs
lola: 576303 markings, 702329 edges, 5000 markings/sec, 110 secs
lola: 601403 markings, 733599 edges, 5020 markings/sec, 115 secs
lola: 626489 markings, 764771 edges, 5017 markings/sec, 120 secs
lola: 651467 markings, 796167 edges, 4996 markings/sec, 125 secs
lola: 676516 markings, 827287 edges, 5010 markings/sec, 130 secs
lola: 701451 markings, 858660 edges, 4987 markings/sec, 135 secs
lola: 726513 markings, 890244 edges, 5012 markings/sec, 140 secs
lola: 751575 markings, 921727 edges, 5012 markings/sec, 145 secs
lola: 776631 markings, 953112 edges, 5011 markings/sec, 150 secs
lola: 801733 markings, 984929 edges, 5020 markings/sec, 155 secs
lola: 826718 markings, 1016751 edges, 4997 markings/sec, 160 secs
lola: 851698 markings, 1048104 edges, 4996 markings/sec, 165 secs
lola: 876351 markings, 1080834 edges, 4931 markings/sec, 170 secs
lola: 901299 markings, 1112366 edges, 4990 markings/sec, 175 secs
lola: 926172 markings, 1144244 edges, 4975 markings/sec, 180 secs
lola: 950975 markings, 1176206 edges, 4961 markings/sec, 185 secs
lola: 975871 markings, 1207845 edges, 4979 markings/sec, 190 secs
lola: 1000891 markings, 1238419 edges, 5004 markings/sec, 195 secs
lola: 1025781 markings, 1269643 edges, 4978 markings/sec, 200 secs
lola: 1050519 markings, 1301896 edges, 4948 markings/sec, 205 secs
lola: 1075502 markings, 1333711 edges, 4997 markings/sec, 210 secs
lola: 1100335 markings, 1365366 edges, 4967 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(p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 26255 markings, 27415 edges, 5251 markings/sec, 0 secs
lola: 52287 markings, 55695 edges, 5206 markings/sec, 5 secs
lola: 78148 markings, 84400 edges, 5172 markings/sec, 10 secs
lola: 104049 markings, 113039 edges, 5180 markings/sec, 15 secs
lola: 129505 markings, 141796 edges, 5091 markings/sec, 20 secs
lola: 154210 markings, 169065 edges, 4941 markings/sec, 25 secs
lola: 178830 markings, 196658 edges, 4924 markings/sec, 30 secs
lola: 203543 markings, 224213 edges, 4943 markings/sec, 35 secs
lola: 228175 markings, 251894 edges, 4926 markings/sec, 40 secs
lola: 252876 markings, 280736 edges, 4940 markings/sec, 45 secs
lola: 278018 markings, 309746 edges, 5028 markings/sec, 50 secs
lola: 302447 markings, 338571 edges, 4886 markings/sec, 55 secs
lola: 326173 markings, 366446 edges, 4745 markings/sec, 60 secs
lola: 350395 markings, 394737 edges, 4844 markings/sec, 65 secs
lola: 375640 markings, 424874 edges, 5049 markings/sec, 70 secs
lola: 400936 markings, 453993 edges, 5059 markings/sec, 75 secs
lola: 426319 markings, 483918 edges, 5077 markings/sec, 80 secs
lola: 451542 markings, 513633 edges, 5045 markings/sec, 85 secs
lola: 476830 markings, 544039 edges, 5058 markings/sec, 90 secs
lola: 502018 markings, 573508 edges, 5038 markings/sec, 95 secs
lola: 527017 markings, 603450 edges, 5000 markings/sec, 100 secs
lola: 552137 markings, 632545 edges, 5024 markings/sec, 105 secs
lola: 577137 markings, 663374 edges, 5000 markings/sec, 110 secs
lola: 602248 markings, 692847 edges, 5022 markings/sec, 115 secs
lola: 627209 markings, 723037 edges, 4992 markings/sec, 120 secs
lola: 652175 markings, 752971 edges, 4993 markings/sec, 125 secs
lola: 677222 markings, 782952 edges, 5009 markings/sec, 130 secs
lola: 702151 markings, 813105 edges, 4986 markings/sec, 135 secs
lola: 727174 markings, 842900 edges, 5005 markings/sec, 140 secs
lola: 752235 markings, 872673 edges, 5012 markings/sec, 145 secs
lola: 777187 markings, 903048 edges, 4990 markings/sec, 150 secs
lola: 802324 markings, 933052 edges, 5027 markings/sec, 155 secs
lola: 827329 markings, 963449 edges, 5001 markings/sec, 160 secs
lola: 852452 markings, 993767 edges, 5025 markings/sec, 165 secs
lola: 877501 markings, 1022061 edges, 5010 markings/sec, 170 secs
lola: 902391 markings, 1052289 edges, 4978 markings/sec, 175 secs
lola: 927344 markings, 1081507 edges, 4991 markings/sec, 180 secs
lola: 952377 markings, 1110302 edges, 5007 markings/sec, 185 secs
lola: 977273 markings, 1140521 edges, 4979 markings/sec, 190 secs
lola: 1002219 markings, 1170680 edges, 4989 markings/sec, 195 secs
lola: 1027252 markings, 1200686 edges, 5007 markings/sec, 200 secs
lola: 1052249 markings, 1231819 edges, 4999 markings/sec, 205 secs
lola: 1077225 markings, 1262176 edges, 4995 markings/sec, 210 secs
lola: 1102100 markings, 1292497 edges, 4975 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(p175 + p176 + p177 + p178 + p179)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24822 markings, 27620 edges, 4964 markings/sec, 0 secs
lola: 50509 markings, 57767 edges, 5137 markings/sec, 5 secs
lola: 76181 markings, 87925 edges, 5134 markings/sec, 10 secs
lola: 101830 markings, 118594 edges, 5130 markings/sec, 15 secs
lola: 127504 markings, 148716 edges, 5135 markings/sec, 20 secs
lola: 153114 markings, 179827 edges, 5122 markings/sec, 25 secs
lola: 178676 markings, 211024 edges, 5112 markings/sec, 30 secs
lola: 204189 markings, 242531 edges, 5103 markings/sec, 35 secs
lola: 229645 markings, 274574 edges, 5091 markings/sec, 40 secs
lola: 255141 markings, 306529 edges, 5099 markings/sec, 45 secs
lola: 280659 markings, 339976 edges, 5104 markings/sec, 50 secs
lola: 306120 markings, 371938 edges, 5092 markings/sec, 55 secs
lola: 331607 markings, 404628 edges, 5097 markings/sec, 60 secs
lola: 357164 markings, 438010 edges, 5111 markings/sec, 65 secs
lola: 382685 markings, 470159 edges, 5104 markings/sec, 70 secs
lola: 408210 markings, 503049 edges, 5105 markings/sec, 75 secs
lola: 433675 markings, 535608 edges, 5093 markings/sec, 80 secs
lola: 459076 markings, 569127 edges, 5080 markings/sec, 85 secs
lola: 484543 markings, 603998 edges, 5093 markings/sec, 90 secs
lola: 510059 markings, 637787 edges, 5103 markings/sec, 95 secs
lola: 535477 markings, 670394 edges, 5084 markings/sec, 100 secs
lola: 560893 markings, 704967 edges, 5083 markings/sec, 105 secs
lola: 586306 markings, 738273 edges, 5083 markings/sec, 110 secs
lola: 611790 markings, 772796 edges, 5097 markings/sec, 115 secs
lola: 637250 markings, 806095 edges, 5092 markings/sec, 120 secs
lola: 662633 markings, 841145 edges, 5077 markings/sec, 125 secs
lola: 688016 markings, 874902 edges, 5077 markings/sec, 130 secs
lola: 713346 markings, 908009 edges, 5066 markings/sec, 135 secs
lola: 738680 markings, 941157 edges, 5067 markings/sec, 140 secs
lola: 763999 markings, 973506 edges, 5064 markings/sec, 145 secs
lola: 789274 markings, 1007308 edges, 5055 markings/sec, 150 secs
lola: 814568 markings, 1040767 edges, 5059 markings/sec, 155 secs
lola: 839829 markings, 1075126 edges, 5052 markings/sec, 160 secs
lola: 865012 markings, 1108874 edges, 5037 markings/sec, 165 secs
lola: 890353 markings, 1142527 edges, 5068 markings/sec, 170 secs
lola: 915588 markings, 1175627 edges, 5047 markings/sec, 175 secs
lola: 940942 markings, 1208630 edges, 5071 markings/sec, 180 secs
lola: 966374 markings, 1242161 edges, 5086 markings/sec, 185 secs
lola: 991566 markings, 1274855 edges, 5038 markings/sec, 190 secs
lola: 1016793 markings, 1308348 edges, 5045 markings/sec, 195 secs
lola: 1042016 markings, 1341584 edges, 5045 markings/sec, 200 secs
lola: 1067265 markings, 1374479 edges, 5050 markings/sec, 205 secs
lola: 1092586 markings, 1407443 edges, 5064 markings/sec, 210 secs
lola: 1117723 markings, 1440410 edges, 5027 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494629805005

--------------------
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-S04J04T08"
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-S04J04T08.tgz
mv PolyORBLF-COL-S04J04T08 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-S04J04T08, 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-149440869800326"
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 ;