About the Execution of LoLA for S_PolyORBLF-COL-S04J04T08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1530.480 | 3539472.00 | 3547291.00 | 12202.40 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
........................................................................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-COL-S04J04T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681400326
=====================================================================
--------------------
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 1496389527971
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S04J04T08: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S04J04T08: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S04J04T08 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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(p426) : MAX(p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454) : MAX(p523 + p522 + p521 + p520) : MAX(p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416) : MAX(p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462) : MAX(p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576) : MAX(p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425) : MAX(p695) : MAX(p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454) : MAX(p160) : MAX(p259) : MAX(p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531) : MAX(p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249) : MAX(p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131) : MAX(p84 + p83 + p82 + p81 + p80 + p79 + p78 + p85) : MAX(p46 + p47 + p48 + p49 + p50)
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(p426)
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: 26636 markings, 27623 edges, 5327 markings/sec, 0 secs
lola: 53146 markings, 55817 edges, 5302 markings/sec, 5 secs
lola: 79339 markings, 84308 edges, 5239 markings/sec, 10 secs
lola: 105576 markings, 112950 edges, 5247 markings/sec, 15 secs
lola: 131973 markings, 141787 edges, 5279 markings/sec, 20 secs
lola: 158476 markings, 171408 edges, 5301 markings/sec, 25 secs
lola: 184969 markings, 200895 edges, 5299 markings/sec, 30 secs
lola: 211459 markings, 230928 edges, 5298 markings/sec, 35 secs
lola: 238076 markings, 261855 edges, 5323 markings/sec, 40 secs
lola: 264478 markings, 293916 edges, 5280 markings/sec, 45 secs
lola: 290817 markings, 323887 edges, 5268 markings/sec, 50 secs
lola: 317192 markings, 357603 edges, 5275 markings/sec, 55 secs
lola: 343533 markings, 388215 edges, 5268 markings/sec, 60 secs
lola: 369902 markings, 421078 edges, 5274 markings/sec, 65 secs
lola: 396189 markings, 458874 edges, 5257 markings/sec, 70 secs
lola: 422706 markings, 490577 edges, 5303 markings/sec, 75 secs
lola: 449194 markings, 520930 edges, 5298 markings/sec, 80 secs
lola: 475566 markings, 554248 edges, 5274 markings/sec, 85 secs
lola: 502101 markings, 586837 edges, 5307 markings/sec, 90 secs
lola: 528485 markings, 618587 edges, 5277 markings/sec, 95 secs
lola: 554913 markings, 652837 edges, 5286 markings/sec, 100 secs
lola: 581345 markings, 684316 edges, 5286 markings/sec, 105 secs
lola: 607764 markings, 716642 edges, 5284 markings/sec, 110 secs
lola: 634320 markings, 746790 edges, 5311 markings/sec, 115 secs
lola: 660768 markings, 777337 edges, 5290 markings/sec, 120 secs
lola: 687322 markings, 810372 edges, 5311 markings/sec, 125 secs
lola: 713651 markings, 843453 edges, 5266 markings/sec, 130 secs
lola: 739984 markings, 876136 edges, 5267 markings/sec, 135 secs
lola: 766225 markings, 907798 edges, 5248 markings/sec, 140 secs
lola: 792720 markings, 941389 edges, 5299 markings/sec, 145 secs
lola: 818950 markings, 972652 edges, 5246 markings/sec, 150 secs
lola: 845251 markings, 1005366 edges, 5260 markings/sec, 155 secs
lola: 871469 markings, 1046660 edges, 5244 markings/sec, 160 secs
lola: 897885 markings, 1077495 edges, 5283 markings/sec, 165 secs
lola: 924288 markings, 1109105 edges, 5281 markings/sec, 170 secs
lola: 950633 markings, 1140130 edges, 5269 markings/sec, 175 secs
lola: 976931 markings, 1171538 edges, 5260 markings/sec, 180 secs
lola: 1003264 markings, 1202677 edges, 5267 markings/sec, 185 secs
lola: 1029557 markings, 1233378 edges, 5259 markings/sec, 190 secs
lola: 1055798 markings, 1265903 edges, 5248 markings/sec, 195 secs
lola: 1082052 markings, 1297993 edges, 5251 markings/sec, 200 secs
lola: 1108348 markings, 1328958 edges, 5259 markings/sec, 205 secs
lola: 1134554 markings, 1360248 edges, 5241 markings/sec, 210 secs
lola: 1160871 markings, 1390145 edges, 5263 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(p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454)
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: 25367 markings, 25620 edges, 5073 markings/sec, 0 secs
lola: 50567 markings, 51405 edges, 5040 markings/sec, 5 secs
lola: 75965 markings, 77662 edges, 5080 markings/sec, 10 secs
lola: 100971 markings, 103515 edges, 5001 markings/sec, 15 secs
lola: 125885 markings, 129341 edges, 4983 markings/sec, 20 secs
lola: 150957 markings, 155480 edges, 5014 markings/sec, 25 secs
lola: 176038 markings, 181752 edges, 5016 markings/sec, 30 secs
lola: 200980 markings, 208253 edges, 4988 markings/sec, 35 secs
lola: 226183 markings, 235627 edges, 5041 markings/sec, 40 secs
lola: 251168 markings, 261745 edges, 4997 markings/sec, 45 secs
lola: 276259 markings, 288627 edges, 5018 markings/sec, 50 secs
lola: 301318 markings, 315085 edges, 5012 markings/sec, 55 secs
lola: 326142 markings, 342153 edges, 4965 markings/sec, 60 secs
lola: 350921 markings, 369457 edges, 4956 markings/sec, 65 secs
lola: 375689 markings, 396730 edges, 4954 markings/sec, 70 secs
lola: 400604 markings, 423860 edges, 4983 markings/sec, 75 secs
lola: 425587 markings, 451978 edges, 4997 markings/sec, 80 secs
lola: 450372 markings, 479490 edges, 4957 markings/sec, 85 secs
lola: 475152 markings, 506800 edges, 4956 markings/sec, 90 secs
lola: 499675 markings, 533699 edges, 4905 markings/sec, 95 secs
lola: 524366 markings, 560788 edges, 4938 markings/sec, 100 secs
lola: 548755 markings, 588209 edges, 4878 markings/sec, 105 secs
lola: 573541 markings, 615328 edges, 4957 markings/sec, 110 secs
lola: 597839 markings, 643767 edges, 4860 markings/sec, 115 secs
lola: 622274 markings, 671849 edges, 4887 markings/sec, 120 secs
lola: 646603 markings, 699727 edges, 4866 markings/sec, 125 secs
lola: 671119 markings, 726946 edges, 4903 markings/sec, 130 secs
lola: 695846 markings, 754644 edges, 4945 markings/sec, 135 secs
lola: 720355 markings, 781416 edges, 4902 markings/sec, 140 secs
lola: 744697 markings, 810055 edges, 4868 markings/sec, 145 secs
lola: 769164 markings, 836002 edges, 4893 markings/sec, 150 secs
lola: 793583 markings, 863343 edges, 4884 markings/sec, 155 secs
lola: 818064 markings, 891229 edges, 4896 markings/sec, 160 secs
lola: 842505 markings, 919219 edges, 4888 markings/sec, 165 secs
lola: 866976 markings, 946432 edges, 4894 markings/sec, 170 secs
lola: 891072 markings, 975359 edges, 4819 markings/sec, 175 secs
lola: 915603 markings, 1002181 edges, 4906 markings/sec, 180 secs
lola: 940099 markings, 1030325 edges, 4899 markings/sec, 185 secs
lola: 964416 markings, 1057780 edges, 4863 markings/sec, 190 secs
lola: 988824 markings, 1085176 edges, 4882 markings/sec, 195 secs
lola: 1013407 markings, 1112117 edges, 4917 markings/sec, 200 secs
lola: 1037706 markings, 1139441 edges, 4860 markings/sec, 205 secs
lola: 1062042 markings, 1167205 edges, 4867 markings/sec, 210 secs
lola: 1086516 markings, 1195080 edges, 4895 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(p523 + p522 + p521 + p520)
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: 23928 markings, 25445 edges, 4786 markings/sec, 0 secs
lola: 47773 markings, 51803 edges, 4769 markings/sec, 5 secs
lola: 71516 markings, 79065 edges, 4749 markings/sec, 10 secs
lola: 95208 markings, 106096 edges, 4738 markings/sec, 15 secs
lola: 118926 markings, 133894 edges, 4744 markings/sec, 20 secs
lola: 142645 markings, 161859 edges, 4744 markings/sec, 25 secs
lola: 166404 markings, 190570 edges, 4752 markings/sec, 30 secs
lola: 190160 markings, 220403 edges, 4751 markings/sec, 35 secs
lola: 213708 markings, 249109 edges, 4710 markings/sec, 40 secs
lola: 237560 markings, 282671 edges, 4770 markings/sec, 45 secs
lola: 261176 markings, 312657 edges, 4723 markings/sec, 50 secs
lola: 284785 markings, 342353 edges, 4722 markings/sec, 55 secs
lola: 308277 markings, 370895 edges, 4698 markings/sec, 60 secs
lola: 331900 markings, 400942 edges, 4725 markings/sec, 65 secs
lola: 355409 markings, 429437 edges, 4702 markings/sec, 70 secs
lola: 378966 markings, 458157 edges, 4711 markings/sec, 75 secs
lola: 402354 markings, 487306 edges, 4678 markings/sec, 80 secs
lola: 425872 markings, 516245 edges, 4704 markings/sec, 85 secs
lola: 449607 markings, 546308 edges, 4747 markings/sec, 90 secs
lola: 473166 markings, 575405 edges, 4712 markings/sec, 95 secs
lola: 496701 markings, 604891 edges, 4707 markings/sec, 100 secs
lola: 520267 markings, 633767 edges, 4713 markings/sec, 105 secs
lola: 543945 markings, 664028 edges, 4736 markings/sec, 110 secs
lola: 567488 markings, 693885 edges, 4709 markings/sec, 115 secs
lola: 590943 markings, 722747 edges, 4691 markings/sec, 120 secs
lola: 614949 markings, 754904 edges, 4801 markings/sec, 125 secs
lola: 639486 markings, 785535 edges, 4907 markings/sec, 130 secs
lola: 663963 markings, 816643 edges, 4895 markings/sec, 135 secs
lola: 687449 markings, 846991 edges, 4697 markings/sec, 140 secs
lola: 710960 markings, 877108 edges, 4702 markings/sec, 145 secs
lola: 734488 markings, 908283 edges, 4706 markings/sec, 150 secs
lola: 757950 markings, 937413 edges, 4692 markings/sec, 155 secs
lola: 781429 markings, 966142 edges, 4696 markings/sec, 160 secs
lola: 804842 markings, 995379 edges, 4683 markings/sec, 165 secs
lola: 828249 markings, 1023878 edges, 4681 markings/sec, 170 secs
lola: 851739 markings, 1054044 edges, 4698 markings/sec, 175 secs
lola: 875065 markings, 1084116 edges, 4665 markings/sec, 180 secs
lola: 898483 markings, 1112936 edges, 4684 markings/sec, 185 secs
lola: 922146 markings, 1143437 edges, 4733 markings/sec, 190 secs
lola: 945761 markings, 1174769 edges, 4723 markings/sec, 195 secs
lola: 969008 markings, 1204434 edges, 4649 markings/sec, 200 secs
lola: 992411 markings, 1234152 edges, 4681 markings/sec, 205 secs
lola: 1015895 markings, 1266002 edges, 4697 markings/sec, 210 secs
lola: 1039308 markings, 1295897 edges, 4683 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(p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416)
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: 23972 markings, 25342 edges, 4794 markings/sec, 0 secs
lola: 48012 markings, 51782 edges, 4808 markings/sec, 5 secs
lola: 71894 markings, 78800 edges, 4776 markings/sec, 10 secs
lola: 95738 markings, 106327 edges, 4769 markings/sec, 15 secs
lola: 119567 markings, 133995 edges, 4766 markings/sec, 20 secs
lola: 143429 markings, 162927 edges, 4772 markings/sec, 25 secs
lola: 167246 markings, 191484 edges, 4763 markings/sec, 30 secs
lola: 190957 markings, 220127 edges, 4742 markings/sec, 35 secs
lola: 214690 markings, 248886 edges, 4747 markings/sec, 40 secs
lola: 238426 markings, 277352 edges, 4747 markings/sec, 45 secs
lola: 262095 markings, 306062 edges, 4734 markings/sec, 50 secs
lola: 285714 markings, 336487 edges, 4724 markings/sec, 55 secs
lola: 309250 markings, 367915 edges, 4707 markings/sec, 60 secs
lola: 332787 markings, 396750 edges, 4707 markings/sec, 65 secs
lola: 356307 markings, 427965 edges, 4704 markings/sec, 70 secs
lola: 379833 markings, 456832 edges, 4705 markings/sec, 75 secs
lola: 403227 markings, 486637 edges, 4679 markings/sec, 80 secs
lola: 426623 markings, 514670 edges, 4679 markings/sec, 85 secs
lola: 450084 markings, 544464 edges, 4692 markings/sec, 90 secs
lola: 473655 markings, 574851 edges, 4714 markings/sec, 95 secs
lola: 497174 markings, 604145 edges, 4704 markings/sec, 100 secs
lola: 520730 markings, 633611 edges, 4711 markings/sec, 105 secs
lola: 544161 markings, 662407 edges, 4686 markings/sec, 110 secs
lola: 567564 markings, 691909 edges, 4681 markings/sec, 115 secs
lola: 591009 markings, 721752 edges, 4689 markings/sec, 120 secs
lola: 614440 markings, 753531 edges, 4686 markings/sec, 125 secs
lola: 638003 markings, 786699 edges, 4713 markings/sec, 130 secs
lola: 661589 markings, 820393 edges, 4717 markings/sec, 135 secs
lola: 685062 markings, 851171 edges, 4695 markings/sec, 140 secs
lola: 708498 markings, 880729 edges, 4687 markings/sec, 145 secs
lola: 732047 markings, 913603 edges, 4710 markings/sec, 150 secs
lola: 755563 markings, 945075 edges, 4703 markings/sec, 155 secs
lola: 778830 markings, 976004 edges, 4653 markings/sec, 160 secs
lola: 802354 markings, 1007843 edges, 4705 markings/sec, 165 secs
lola: 825578 markings, 1036561 edges, 4645 markings/sec, 170 secs
lola: 848757 markings, 1064776 edges, 4636 markings/sec, 175 secs
lola: 872149 markings, 1095247 edges, 4678 markings/sec, 180 secs
lola: 895513 markings, 1123958 edges, 4673 markings/sec, 185 secs
lola: 918801 markings, 1151763 edges, 4658 markings/sec, 190 secs
lola: 942105 markings, 1180158 edges, 4661 markings/sec, 195 secs
lola: 965330 markings, 1208093 edges, 4645 markings/sec, 200 secs
lola: 988676 markings, 1237241 edges, 4669 markings/sec, 205 secs
lola: 1011964 markings, 1266624 edges, 4658 markings/sec, 210 secs
lola: 1035383 markings, 1298526 edges, 4684 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(p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462)
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: 23265 markings, 24230 edges, 4653 markings/sec, 0 secs
lola: 46365 markings, 48817 edges, 4620 markings/sec, 5 secs
lola: 69338 markings, 74227 edges, 4595 markings/sec, 10 secs
lola: 93110 markings, 101530 edges, 4754 markings/sec, 15 secs
lola: 116761 markings, 129830 edges, 4730 markings/sec, 20 secs
lola: 140328 markings, 158502 edges, 4713 markings/sec, 25 secs
lola: 163800 markings, 187416 edges, 4694 markings/sec, 30 secs
lola: 187392 markings, 215907 edges, 4718 markings/sec, 35 secs
lola: 210883 markings, 245622 edges, 4698 markings/sec, 40 secs
lola: 234626 markings, 273331 edges, 4749 markings/sec, 45 secs
lola: 258163 markings, 301702 edges, 4707 markings/sec, 50 secs
lola: 281668 markings, 330728 edges, 4701 markings/sec, 55 secs
lola: 305142 markings, 359667 edges, 4695 markings/sec, 60 secs
lola: 328541 markings, 389111 edges, 4680 markings/sec, 65 secs
lola: 351758 markings, 418819 edges, 4643 markings/sec, 70 secs
lola: 375107 markings, 448209 edges, 4670 markings/sec, 75 secs
lola: 398497 markings, 478189 edges, 4678 markings/sec, 80 secs
lola: 421978 markings, 507985 edges, 4696 markings/sec, 85 secs
lola: 445406 markings, 538063 edges, 4686 markings/sec, 90 secs
lola: 468732 markings, 568361 edges, 4665 markings/sec, 95 secs
lola: 492028 markings, 598567 edges, 4659 markings/sec, 100 secs
lola: 515358 markings, 628659 edges, 4666 markings/sec, 105 secs
lola: 538749 markings, 658657 edges, 4678 markings/sec, 110 secs
lola: 562387 markings, 687071 edges, 4728 markings/sec, 115 secs
lola: 585741 markings, 717164 edges, 4671 markings/sec, 120 secs
lola: 609154 markings, 747109 edges, 4683 markings/sec, 125 secs
lola: 632700 markings, 776223 edges, 4709 markings/sec, 130 secs
lola: 656267 markings, 805143 edges, 4713 markings/sec, 135 secs
lola: 679398 markings, 836695 edges, 4626 markings/sec, 140 secs
lola: 702779 markings, 867187 edges, 4676 markings/sec, 145 secs
lola: 726288 markings, 896256 edges, 4702 markings/sec, 150 secs
lola: 749686 markings, 926609 edges, 4680 markings/sec, 155 secs
lola: 772995 markings, 957248 edges, 4662 markings/sec, 160 secs
lola: 796354 markings, 988547 edges, 4672 markings/sec, 165 secs
lola: 819541 markings, 1019406 edges, 4637 markings/sec, 170 secs
lola: 842726 markings, 1050794 edges, 4637 markings/sec, 175 secs
lola: 866195 markings, 1080546 edges, 4694 markings/sec, 180 secs
lola: 889528 markings, 1111758 edges, 4667 markings/sec, 185 secs
lola: 912770 markings, 1142872 edges, 4648 markings/sec, 190 secs
lola: 936106 markings, 1172949 edges, 4667 markings/sec, 195 secs
lola: 959362 markings, 1204063 edges, 4651 markings/sec, 200 secs
lola: 982730 markings, 1234974 edges, 4674 markings/sec, 205 secs
lola: 1006021 markings, 1265385 edges, 4658 markings/sec, 210 secs
lola: 1029384 markings, 1294771 edges, 4673 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(p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576)
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: 15426 markings, 16110 edges, 3085 markings/sec, 0 secs
lola: 30801 markings, 32900 edges, 3075 markings/sec, 5 secs
lola: 46153 markings, 49928 edges, 3070 markings/sec, 10 secs
lola: 61467 markings, 67151 edges, 3063 markings/sec, 15 secs
lola: 76678 markings, 84664 edges, 3042 markings/sec, 20 secs
lola: 91948 markings, 102207 edges, 3054 markings/sec, 25 secs
lola: 107149 markings, 119706 edges, 3040 markings/sec, 30 secs
lola: 122452 markings, 137760 edges, 3061 markings/sec, 35 secs
lola: 137706 markings, 155761 edges, 3051 markings/sec, 40 secs
lola: 152945 markings, 174099 edges, 3048 markings/sec, 45 secs
lola: 168282 markings, 192399 edges, 3067 markings/sec, 50 secs
lola: 183494 markings, 211517 edges, 3042 markings/sec, 55 secs
lola: 198700 markings, 229833 edges, 3041 markings/sec, 60 secs
lola: 213849 markings, 248560 edges, 3030 markings/sec, 65 secs
lola: 229012 markings, 266814 edges, 3033 markings/sec, 70 secs
lola: 244360 markings, 288075 edges, 3070 markings/sec, 75 secs
lola: 259487 markings, 306168 edges, 3025 markings/sec, 80 secs
lola: 274825 markings, 327850 edges, 3068 markings/sec, 85 secs
lola: 290216 markings, 349254 edges, 3078 markings/sec, 90 secs
lola: 305489 markings, 368726 edges, 3055 markings/sec, 95 secs
lola: 320621 markings, 387569 edges, 3026 markings/sec, 100 secs
lola: 335825 markings, 406543 edges, 3041 markings/sec, 105 secs
lola: 351001 markings, 425765 edges, 3035 markings/sec, 110 secs
lola: 366147 markings, 444125 edges, 3029 markings/sec, 115 secs
lola: 381410 markings, 463459 edges, 3053 markings/sec, 120 secs
lola: 396676 markings, 483506 edges, 3053 markings/sec, 125 secs
lola: 411847 markings, 501850 edges, 3034 markings/sec, 130 secs
lola: 427002 markings, 520552 edges, 3031 markings/sec, 135 secs
lola: 442121 markings, 539264 edges, 3024 markings/sec, 140 secs
lola: 457319 markings, 558853 edges, 3040 markings/sec, 145 secs
lola: 472642 markings, 579297 edges, 3065 markings/sec, 150 secs
lola: 487740 markings, 599185 edges, 3020 markings/sec, 155 secs
lola: 502725 markings, 617946 edges, 2997 markings/sec, 160 secs
lola: 517785 markings, 636589 edges, 3012 markings/sec, 165 secs
lola: 536181 markings, 659999 edges, 3679 markings/sec, 170 secs
lola: 560430 markings, 693003 edges, 4850 markings/sec, 175 secs
lola: 585591 markings, 726820 edges, 5032 markings/sec, 180 secs
lola: 610817 markings, 762641 edges, 5045 markings/sec, 185 secs
lola: 635904 markings, 795642 edges, 5017 markings/sec, 190 secs
lola: 660942 markings, 827703 edges, 5008 markings/sec, 195 secs
lola: 685934 markings, 858389 edges, 4998 markings/sec, 200 secs
lola: 710934 markings, 890518 edges, 5000 markings/sec, 205 secs
lola: 736181 markings, 926149 edges, 5049 markings/sec, 210 secs
lola: 761061 markings, 958427 edges, 4976 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(p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425)
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: 24208 markings, 27657 edges, 4842 markings/sec, 0 secs
lola: 47915 markings, 57241 edges, 4741 markings/sec, 5 secs
lola: 71355 markings, 87322 edges, 4688 markings/sec, 10 secs
lola: 94925 markings, 116779 edges, 4714 markings/sec, 15 secs
lola: 118370 markings, 147253 edges, 4689 markings/sec, 20 secs
lola: 141700 markings, 177457 edges, 4666 markings/sec, 25 secs
lola: 165058 markings, 208151 edges, 4672 markings/sec, 30 secs
lola: 188223 markings, 238637 edges, 4633 markings/sec, 35 secs
lola: 211432 markings, 268744 edges, 4642 markings/sec, 40 secs
lola: 234573 markings, 299208 edges, 4628 markings/sec, 45 secs
lola: 257703 markings, 330113 edges, 4626 markings/sec, 50 secs
lola: 280815 markings, 360539 edges, 4622 markings/sec, 55 secs
lola: 304007 markings, 390640 edges, 4638 markings/sec, 60 secs
lola: 327064 markings, 421392 edges, 4611 markings/sec, 65 secs
lola: 350293 markings, 451145 edges, 4646 markings/sec, 70 secs
lola: 373450 markings, 481414 edges, 4631 markings/sec, 75 secs
lola: 396465 markings, 511967 edges, 4603 markings/sec, 80 secs
lola: 419474 markings, 542524 edges, 4602 markings/sec, 85 secs
lola: 442279 markings, 573243 edges, 4561 markings/sec, 90 secs
lola: 465327 markings, 604406 edges, 4610 markings/sec, 95 secs
lola: 488395 markings, 635227 edges, 4614 markings/sec, 100 secs
lola: 511155 markings, 667309 edges, 4552 markings/sec, 105 secs
lola: 533932 markings, 699275 edges, 4555 markings/sec, 110 secs
lola: 557026 markings, 729152 edges, 4619 markings/sec, 115 secs
lola: 580172 markings, 758458 edges, 4629 markings/sec, 120 secs
lola: 603101 markings, 789351 edges, 4586 markings/sec, 125 secs
lola: 625999 markings, 820700 edges, 4580 markings/sec, 130 secs
lola: 648861 markings, 852410 edges, 4572 markings/sec, 135 secs
lola: 671628 markings, 885228 edges, 4553 markings/sec, 140 secs
lola: 694463 markings, 916935 edges, 4567 markings/sec, 145 secs
lola: 717357 markings, 948370 edges, 4579 markings/sec, 150 secs
lola: 739973 markings, 980309 edges, 4523 markings/sec, 155 secs
lola: 762947 markings, 1010617 edges, 4595 markings/sec, 160 secs
lola: 785930 markings, 1041677 edges, 4597 markings/sec, 165 secs
lola: 808746 markings, 1074199 edges, 4563 markings/sec, 170 secs
lola: 831661 markings, 1106187 edges, 4583 markings/sec, 175 secs
lola: 854366 markings, 1138377 edges, 4541 markings/sec, 180 secs
lola: 876957 markings, 1170517 edges, 4518 markings/sec, 185 secs
lola: 899754 markings, 1200831 edges, 4559 markings/sec, 190 secs
lola: 922282 markings, 1233424 edges, 4506 markings/sec, 195 secs
lola: 945143 markings, 1264375 edges, 4572 markings/sec, 200 secs
lola: 967780 markings, 1297042 edges, 4527 markings/sec, 205 secs
lola: 990559 markings, 1329066 edges, 4556 markings/sec, 210 secs
lola: 1013333 markings, 1360623 edges, 4555 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(p695)
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: 24602 markings, 26213 edges, 4920 markings/sec, 0 secs
lola: 48995 markings, 53193 edges, 4879 markings/sec, 5 secs
lola: 73495 markings, 81168 edges, 4900 markings/sec, 10 secs
lola: 97863 markings, 109151 edges, 4874 markings/sec, 15 secs
lola: 122249 markings, 137845 edges, 4877 markings/sec, 20 secs
lola: 146602 markings, 169312 edges, 4871 markings/sec, 25 secs
lola: 170891 markings, 198075 edges, 4858 markings/sec, 30 secs
lola: 195613 markings, 237317 edges, 4944 markings/sec, 35 secs
lola: 219759 markings, 265456 edges, 4829 markings/sec, 40 secs
lola: 244015 markings, 294822 edges, 4851 markings/sec, 45 secs
lola: 268058 markings, 323381 edges, 4809 markings/sec, 50 secs
lola: 292132 markings, 351996 edges, 4815 markings/sec, 55 secs
lola: 316061 markings, 381193 edges, 4786 markings/sec, 60 secs
lola: 339911 markings, 411212 edges, 4770 markings/sec, 65 secs
lola: 364062 markings, 441375 edges, 4830 markings/sec, 70 secs
lola: 388167 markings, 472124 edges, 4821 markings/sec, 75 secs
lola: 412039 markings, 500875 edges, 4774 markings/sec, 80 secs
lola: 435826 markings, 529701 edges, 4757 markings/sec, 85 secs
lola: 460004 markings, 560679 edges, 4836 markings/sec, 90 secs
lola: 483976 markings, 588621 edges, 4794 markings/sec, 95 secs
lola: 508093 markings, 618885 edges, 4823 markings/sec, 100 secs
lola: 531934 markings, 647377 edges, 4768 markings/sec, 105 secs
lola: 555696 markings, 675774 edges, 4752 markings/sec, 110 secs
lola: 579601 markings, 703560 edges, 4781 markings/sec, 115 secs
lola: 603554 markings, 733504 edges, 4791 markings/sec, 120 secs
lola: 627272 markings, 762920 edges, 4744 markings/sec, 125 secs
lola: 651221 markings, 792237 edges, 4790 markings/sec, 130 secs
lola: 674946 markings, 821425 edges, 4745 markings/sec, 135 secs
lola: 698772 markings, 850443 edges, 4765 markings/sec, 140 secs
lola: 722631 markings, 879746 edges, 4772 markings/sec, 145 secs
lola: 746424 markings, 908171 edges, 4759 markings/sec, 150 secs
lola: 770320 markings, 937204 edges, 4779 markings/sec, 155 secs
lola: 794230 markings, 965953 edges, 4782 markings/sec, 160 secs
lola: 818097 markings, 994809 edges, 4773 markings/sec, 165 secs
lola: 841794 markings, 1022109 edges, 4739 markings/sec, 170 secs
lola: 865645 markings, 1050148 edges, 4770 markings/sec, 175 secs
lola: 889212 markings, 1078946 edges, 4713 markings/sec, 180 secs
lola: 912948 markings, 1106371 edges, 4747 markings/sec, 185 secs
lola: 936842 markings, 1135090 edges, 4779 markings/sec, 190 secs
lola: 960598 markings, 1164152 edges, 4751 markings/sec, 195 secs
lola: 984416 markings, 1193611 edges, 4764 markings/sec, 200 secs
lola: 1008310 markings, 1222417 edges, 4779 markings/sec, 205 secs
lola: 1032236 markings, 1254136 edges, 4785 markings/sec, 210 secs
lola: 1056043 markings, 1282487 edges, 4761 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454)
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: 26222 markings, 26480 edges, 5244 markings/sec, 0 secs
lola: 52272 markings, 53166 edges, 5210 markings/sec, 5 secs
lola: 78560 markings, 80359 edges, 5258 markings/sec, 10 secs
lola: 104479 markings, 107127 edges, 5184 markings/sec, 15 secs
lola: 130358 markings, 133905 edges, 5176 markings/sec, 20 secs
lola: 156419 markings, 161109 edges, 5212 markings/sec, 25 secs
lola: 182424 markings, 188387 edges, 5201 markings/sec, 30 secs
lola: 208486 markings, 216351 edges, 5212 markings/sec, 35 secs
lola: 234435 markings, 244141 edges, 5190 markings/sec, 40 secs
lola: 260136 markings, 271238 edges, 5140 markings/sec, 45 secs
lola: 285989 markings, 298789 edges, 5171 markings/sec, 50 secs
lola: 311584 markings, 326413 edges, 5119 markings/sec, 55 secs
lola: 337166 markings, 354507 edges, 5116 markings/sec, 60 secs
lola: 362691 markings, 382694 edges, 5105 markings/sec, 65 secs
lola: 387692 markings, 409775 edges, 5000 markings/sec, 70 secs
lola: 413288 markings, 437910 edges, 5119 markings/sec, 75 secs
lola: 439116 markings, 466969 edges, 5166 markings/sec, 80 secs
lola: 464938 markings, 495243 edges, 5164 markings/sec, 85 secs
lola: 490634 markings, 523724 edges, 5139 markings/sec, 90 secs
lola: 516316 markings, 552152 edges, 5136 markings/sec, 95 secs
lola: 541791 markings, 580440 edges, 5095 markings/sec, 100 secs
lola: 567422 markings, 608706 edges, 5126 markings/sec, 105 secs
lola: 592951 markings, 638175 edges, 5106 markings/sec, 110 secs
lola: 618340 markings, 667599 edges, 5078 markings/sec, 115 secs
lola: 643716 markings, 696753 edges, 5075 markings/sec, 120 secs
lola: 669321 markings, 724823 edges, 5121 markings/sec, 125 secs
lola: 695033 markings, 753761 edges, 5142 markings/sec, 130 secs
lola: 720555 markings, 781869 edges, 5104 markings/sec, 135 secs
lola: 746015 markings, 811431 edges, 5092 markings/sec, 140 secs
lola: 771493 markings, 838510 edges, 5096 markings/sec, 145 secs
lola: 796895 markings, 867221 edges, 5080 markings/sec, 150 secs
lola: 822411 markings, 896476 edges, 5103 markings/sec, 155 secs
lola: 847980 markings, 925451 edges, 5114 markings/sec, 160 secs
lola: 873515 markings, 953256 edges, 5107 markings/sec, 165 secs
lola: 898624 markings, 983568 edges, 5022 markings/sec, 170 secs
lola: 924209 markings, 1012375 edges, 5117 markings/sec, 175 secs
lola: 949625 markings, 1040879 edges, 5083 markings/sec, 180 secs
lola: 974945 markings, 1069496 edges, 5064 markings/sec, 185 secs
lola: 1000420 markings, 1098140 edges, 5095 markings/sec, 190 secs
lola: 1025858 markings, 1126527 edges, 5088 markings/sec, 195 secs
lola: 1051161 markings, 1155190 edges, 5061 markings/sec, 200 secs
lola: 1076488 markings, 1183796 edges, 5065 markings/sec, 205 secs
lola: 1101984 markings, 1212630 edges, 5099 markings/sec, 210 secs
lola: 1127344 markings, 1239653 edges, 5072 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(p160)
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: 25259 markings, 26956 edges, 5052 markings/sec, 0 secs
lola: 50705 markings, 56415 edges, 5089 markings/sec, 5 secs
lola: 75972 markings, 86878 edges, 5053 markings/sec, 10 secs
lola: 101168 markings, 116789 edges, 5039 markings/sec, 15 secs
lola: 126414 markings, 147325 edges, 5049 markings/sec, 20 secs
lola: 151539 markings, 177660 edges, 5025 markings/sec, 25 secs
lola: 176538 markings, 209332 edges, 5000 markings/sec, 30 secs
lola: 201460 markings, 239768 edges, 4984 markings/sec, 35 secs
lola: 226222 markings, 268758 edges, 4952 markings/sec, 40 secs
lola: 251303 markings, 299708 edges, 5016 markings/sec, 45 secs
lola: 276254 markings, 329988 edges, 4990 markings/sec, 50 secs
lola: 301180 markings, 360591 edges, 4985 markings/sec, 55 secs
lola: 326194 markings, 392776 edges, 5003 markings/sec, 60 secs
lola: 351056 markings, 424716 edges, 4972 markings/sec, 65 secs
lola: 375902 markings, 455670 edges, 4969 markings/sec, 70 secs
lola: 400922 markings, 487203 edges, 5004 markings/sec, 75 secs
lola: 425797 markings, 517222 edges, 4975 markings/sec, 80 secs
lola: 450590 markings, 548830 edges, 4959 markings/sec, 85 secs
lola: 475309 markings, 579058 edges, 4944 markings/sec, 90 secs
lola: 500284 markings, 611060 edges, 4995 markings/sec, 95 secs
lola: 525021 markings, 642305 edges, 4947 markings/sec, 100 secs
lola: 549633 markings, 673706 edges, 4922 markings/sec, 105 secs
lola: 574525 markings, 705861 edges, 4978 markings/sec, 110 secs
lola: 599340 markings, 737625 edges, 4963 markings/sec, 115 secs
lola: 624305 markings, 770661 edges, 4993 markings/sec, 120 secs
lola: 649110 markings, 802370 edges, 4961 markings/sec, 125 secs
lola: 674024 markings, 834629 edges, 4983 markings/sec, 130 secs
lola: 698801 markings, 865910 edges, 4955 markings/sec, 135 secs
lola: 723498 markings, 897566 edges, 4939 markings/sec, 140 secs
lola: 748163 markings, 929053 edges, 4933 markings/sec, 145 secs
lola: 772820 markings, 960677 edges, 4931 markings/sec, 150 secs
lola: 797407 markings, 991346 edges, 4917 markings/sec, 155 secs
lola: 822003 markings, 1021878 edges, 4919 markings/sec, 160 secs
lola: 846578 markings, 1051651 edges, 4915 markings/sec, 165 secs
lola: 871245 markings, 1083260 edges, 4933 markings/sec, 170 secs
lola: 895855 markings, 1115072 edges, 4922 markings/sec, 175 secs
lola: 920543 markings, 1146847 edges, 4938 markings/sec, 180 secs
lola: 945045 markings, 1178770 edges, 4900 markings/sec, 185 secs
lola: 969681 markings, 1210659 edges, 4927 markings/sec, 190 secs
lola: 994395 markings, 1242224 edges, 4943 markings/sec, 195 secs
lola: 1018869 markings, 1273694 edges, 4895 markings/sec, 200 secs
lola: 1043257 markings, 1305514 edges, 4878 markings/sec, 205 secs
lola: 1067313 markings, 1336529 edges, 4811 markings/sec, 210 secs
lola: 1091467 markings, 1367874 edges, 4831 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(p259)
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: 25937 markings, 28541 edges, 5187 markings/sec, 0 secs
lola: 51876 markings, 58114 edges, 5188 markings/sec, 5 secs
lola: 77738 markings, 88476 edges, 5172 markings/sec, 10 secs
lola: 103578 markings, 118486 edges, 5168 markings/sec, 15 secs
lola: 129414 markings, 149601 edges, 5167 markings/sec, 20 secs
lola: 155213 markings, 180352 edges, 5160 markings/sec, 25 secs
lola: 181082 markings, 211897 edges, 5174 markings/sec, 30 secs
lola: 206900 markings, 243749 edges, 5164 markings/sec, 35 secs
lola: 232729 markings, 276205 edges, 5166 markings/sec, 40 secs
lola: 258607 markings, 308756 edges, 5176 markings/sec, 45 secs
lola: 284499 markings, 340325 edges, 5178 markings/sec, 50 secs
lola: 310444 markings, 373361 edges, 5189 markings/sec, 55 secs
lola: 336440 markings, 406053 edges, 5199 markings/sec, 60 secs
lola: 362541 markings, 440049 edges, 5220 markings/sec, 65 secs
lola: 388374 markings, 472536 edges, 5167 markings/sec, 70 secs
lola: 414263 markings, 505115 edges, 5178 markings/sec, 75 secs
lola: 440047 markings, 537494 edges, 5157 markings/sec, 80 secs
lola: 465869 markings, 570424 edges, 5164 markings/sec, 85 secs
lola: 491665 markings, 602903 edges, 5159 markings/sec, 90 secs
lola: 517584 markings, 637038 edges, 5184 markings/sec, 95 secs
lola: 543384 markings, 669473 edges, 5160 markings/sec, 100 secs
lola: 569332 markings, 703292 edges, 5190 markings/sec, 105 secs
lola: 595181 markings, 736661 edges, 5170 markings/sec, 110 secs
lola: 620985 markings, 769357 edges, 5161 markings/sec, 115 secs
lola: 646686 markings, 801856 edges, 5140 markings/sec, 120 secs
lola: 672493 markings, 835623 edges, 5161 markings/sec, 125 secs
lola: 698237 markings, 868534 edges, 5149 markings/sec, 130 secs
lola: 724080 markings, 902636 edges, 5169 markings/sec, 135 secs
lola: 749818 markings, 936888 edges, 5148 markings/sec, 140 secs
lola: 775921 markings, 975193 edges, 5221 markings/sec, 145 secs
lola: 801603 markings, 1008145 edges, 5136 markings/sec, 150 secs
lola: 827275 markings, 1041510 edges, 5134 markings/sec, 155 secs
lola: 853225 markings, 1077094 edges, 5190 markings/sec, 160 secs
lola: 879051 markings, 1109801 edges, 5165 markings/sec, 165 secs
lola: 904761 markings, 1144493 edges, 5142 markings/sec, 170 secs
lola: 930500 markings, 1177369 edges, 5148 markings/sec, 175 secs
lola: 956167 markings, 1211337 edges, 5133 markings/sec, 180 secs
lola: 981938 markings, 1246341 edges, 5154 markings/sec, 185 secs
lola: 1007647 markings, 1279513 edges, 5142 markings/sec, 190 secs
lola: 1033355 markings, 1313582 edges, 5142 markings/sec, 195 secs
lola: 1059438 markings, 1350058 edges, 5217 markings/sec, 200 secs
lola: 1085055 markings, 1382465 edges, 5123 markings/sec, 205 secs
lola: 1110673 markings, 1415157 edges, 5124 markings/sec, 210 secs
lola: 1135441 markings, 1448310 edges, 4954 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(p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531)
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: 24636 markings, 26254 edges, 4927 markings/sec, 0 secs
lola: 49037 markings, 53235 edges, 4880 markings/sec, 5 secs
lola: 73401 markings, 81060 edges, 4873 markings/sec, 10 secs
lola: 97104 markings, 108243 edges, 4741 markings/sec, 15 secs
lola: 120796 markings, 136198 edges, 4738 markings/sec, 20 secs
lola: 144482 markings, 166396 edges, 4737 markings/sec, 25 secs
lola: 168082 markings, 194739 edges, 4720 markings/sec, 30 secs
lola: 192127 markings, 233418 edges, 4809 markings/sec, 35 secs
lola: 215671 markings, 260823 edges, 4709 markings/sec, 40 secs
lola: 239197 markings, 289425 edges, 4705 markings/sec, 45 secs
lola: 262534 markings, 316888 edges, 4667 markings/sec, 50 secs
lola: 285917 markings, 344444 edges, 4677 markings/sec, 55 secs
lola: 309219 markings, 372796 edges, 4660 markings/sec, 60 secs
lola: 332400 markings, 402053 edges, 4636 markings/sec, 65 secs
lola: 355826 markings, 430765 edges, 4685 markings/sec, 70 secs
lola: 379295 markings, 461870 edges, 4694 markings/sec, 75 secs
lola: 402610 markings, 489414 edges, 4663 markings/sec, 80 secs
lola: 425691 markings, 517202 edges, 4616 markings/sec, 85 secs
lola: 449018 markings, 547437 edges, 4665 markings/sec, 90 secs
lola: 472384 markings, 574748 edges, 4673 markings/sec, 95 secs
lola: 495737 markings, 603225 edges, 4671 markings/sec, 100 secs
lola: 518928 markings, 631925 edges, 4638 markings/sec, 105 secs
lola: 542185 markings, 659499 edges, 4651 markings/sec, 110 secs
lola: 565172 markings, 686515 edges, 4597 markings/sec, 115 secs
lola: 588559 markings, 714261 edges, 4677 markings/sec, 120 secs
lola: 611749 markings, 743284 edges, 4638 markings/sec, 125 secs
lola: 634852 markings, 772253 edges, 4621 markings/sec, 130 secs
lola: 658174 markings, 801277 edges, 4664 markings/sec, 135 secs
lola: 682227 markings, 830245 edges, 4811 markings/sec, 140 secs
lola: 706337 markings, 859368 edges, 4822 markings/sec, 145 secs
lola: 730504 markings, 889306 edges, 4833 markings/sec, 150 secs
lola: 754563 markings, 918179 edges, 4812 markings/sec, 155 secs
lola: 778750 markings, 947425 edges, 4837 markings/sec, 160 secs
lola: 802942 markings, 976544 edges, 4838 markings/sec, 165 secs
lola: 826998 markings, 1005319 edges, 4811 markings/sec, 170 secs
lola: 851027 markings, 1033016 edges, 4806 markings/sec, 175 secs
lola: 875152 markings, 1061409 edges, 4825 markings/sec, 180 secs
lola: 899173 markings, 1090489 edges, 4804 markings/sec, 185 secs
lola: 923246 markings, 1118678 edges, 4815 markings/sec, 190 secs
lola: 947275 markings, 1148041 edges, 4806 markings/sec, 195 secs
lola: 971363 markings, 1177831 edges, 4818 markings/sec, 200 secs
lola: 995468 markings, 1207474 edges, 4821 markings/sec, 205 secs
lola: 1019528 markings, 1236133 edges, 4812 markings/sec, 210 secs
lola: 1043826 markings, 1267881 edges, 4860 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249)
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: 26705 markings, 28589 edges, 5341 markings/sec, 0 secs
lola: 53156 markings, 58159 edges, 5290 markings/sec, 5 secs
lola: 79491 markings, 88193 edges, 5267 markings/sec, 10 secs
lola: 105758 markings, 117943 edges, 5253 markings/sec, 15 secs
lola: 131924 markings, 149247 edges, 5233 markings/sec, 20 secs
lola: 158213 markings, 179132 edges, 5258 markings/sec, 25 secs
lola: 183745 markings, 210797 edges, 5106 markings/sec, 30 secs
lola: 209769 markings, 241870 edges, 5205 markings/sec, 35 secs
lola: 235883 markings, 277706 edges, 5223 markings/sec, 40 secs
lola: 261838 markings, 308285 edges, 5191 markings/sec, 45 secs
lola: 287636 markings, 339443 edges, 5160 markings/sec, 50 secs
lola: 313338 markings, 370854 edges, 5140 markings/sec, 55 secs
lola: 339094 markings, 402638 edges, 5151 markings/sec, 60 secs
lola: 364777 markings, 435763 edges, 5137 markings/sec, 65 secs
lola: 390489 markings, 467077 edges, 5142 markings/sec, 70 secs
lola: 416228 markings, 500361 edges, 5148 markings/sec, 75 secs
lola: 441892 markings, 531200 edges, 5133 markings/sec, 80 secs
lola: 467639 markings, 564222 edges, 5149 markings/sec, 85 secs
lola: 493183 markings, 595136 edges, 5109 markings/sec, 90 secs
lola: 518838 markings, 625312 edges, 5131 markings/sec, 95 secs
lola: 544517 markings, 655433 edges, 5136 markings/sec, 100 secs
lola: 569936 markings, 685353 edges, 5084 markings/sec, 105 secs
lola: 595534 markings, 716289 edges, 5120 markings/sec, 110 secs
lola: 621026 markings, 747549 edges, 5098 markings/sec, 115 secs
lola: 646604 markings, 777770 edges, 5116 markings/sec, 120 secs
lola: 672227 markings, 808245 edges, 5125 markings/sec, 125 secs
lola: 697622 markings, 838433 edges, 5079 markings/sec, 130 secs
lola: 723013 markings, 868458 edges, 5078 markings/sec, 135 secs
lola: 748629 markings, 898567 edges, 5123 markings/sec, 140 secs
lola: 774157 markings, 928999 edges, 5106 markings/sec, 145 secs
lola: 799637 markings, 958906 edges, 5096 markings/sec, 150 secs
lola: 825168 markings, 989724 edges, 5106 markings/sec, 155 secs
lola: 850749 markings, 1020035 edges, 5116 markings/sec, 160 secs
lola: 876283 markings, 1050642 edges, 5107 markings/sec, 165 secs
lola: 901692 markings, 1081576 edges, 5082 markings/sec, 170 secs
lola: 927345 markings, 1112085 edges, 5131 markings/sec, 175 secs
lola: 952879 markings, 1142475 edges, 5107 markings/sec, 180 secs
lola: 978358 markings, 1173247 edges, 5096 markings/sec, 185 secs
lola: 1003908 markings, 1206346 edges, 5110 markings/sec, 190 secs
lola: 1029369 markings, 1237742 edges, 5092 markings/sec, 195 secs
lola: 1053537 markings, 1267185 edges, 4834 markings/sec, 200 secs
lola: 1078916 markings, 1297247 edges, 5076 markings/sec, 205 secs
lola: 1104551 markings, 1328356 edges, 5127 markings/sec, 210 secs
lola: 1129973 markings, 1362025 edges, 5084 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131)
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: 24290 markings, 25150 edges, 4858 markings/sec, 0 secs
lola: 48569 markings, 50971 edges, 4856 markings/sec, 5 secs
lola: 72685 markings, 77153 edges, 4823 markings/sec, 10 secs
lola: 96677 markings, 103473 edges, 4798 markings/sec, 15 secs
lola: 120704 markings, 130100 edges, 4805 markings/sec, 20 secs
lola: 144721 markings, 157346 edges, 4803 markings/sec, 25 secs
lola: 168625 markings, 184737 edges, 4781 markings/sec, 30 secs
lola: 192553 markings, 212379 edges, 4786 markings/sec, 35 secs
lola: 216359 markings, 240067 edges, 4761 markings/sec, 40 secs
lola: 240324 markings, 268486 edges, 4793 markings/sec, 45 secs
lola: 264149 markings, 296886 edges, 4765 markings/sec, 50 secs
lola: 288024 markings, 325293 edges, 4775 markings/sec, 55 secs
lola: 311856 markings, 353246 edges, 4766 markings/sec, 60 secs
lola: 335807 markings, 381707 edges, 4790 markings/sec, 65 secs
lola: 359717 markings, 410479 edges, 4782 markings/sec, 70 secs
lola: 383559 markings, 439162 edges, 4768 markings/sec, 75 secs
lola: 407477 markings, 468371 edges, 4784 markings/sec, 80 secs
lola: 431382 markings, 496603 edges, 4781 markings/sec, 85 secs
lola: 455306 markings, 526479 edges, 4785 markings/sec, 90 secs
lola: 479176 markings, 556014 edges, 4774 markings/sec, 95 secs
lola: 503054 markings, 586564 edges, 4776 markings/sec, 100 secs
lola: 526874 markings, 616162 edges, 4764 markings/sec, 105 secs
lola: 550756 markings, 644988 edges, 4776 markings/sec, 110 secs
lola: 574565 markings, 673378 edges, 4762 markings/sec, 115 secs
lola: 598361 markings, 702514 edges, 4759 markings/sec, 120 secs
lola: 622234 markings, 732088 edges, 4775 markings/sec, 125 secs
lola: 646022 markings, 761304 edges, 4758 markings/sec, 130 secs
lola: 669839 markings, 790533 edges, 4763 markings/sec, 135 secs
lola: 693665 markings, 819137 edges, 4765 markings/sec, 140 secs
lola: 717384 markings, 848448 edges, 4744 markings/sec, 145 secs
lola: 741245 markings, 878410 edges, 4772 markings/sec, 150 secs
lola: 765025 markings, 907233 edges, 4756 markings/sec, 155 secs
lola: 788837 markings, 936521 edges, 4762 markings/sec, 160 secs
lola: 812745 markings, 965871 edges, 4782 markings/sec, 165 secs
lola: 835024 markings, 995354 edges, 4456 markings/sec, 170 secs
lola: 858230 markings, 1024463 edges, 4641 markings/sec, 175 secs
lola: 881903 markings, 1053788 edges, 4735 markings/sec, 180 secs
lola: 904915 markings, 1081960 edges, 4602 markings/sec, 185 secs
lola: 928413 markings, 1111820 edges, 4700 markings/sec, 190 secs
lola: 952316 markings, 1143019 edges, 4781 markings/sec, 195 secs
lola: 976126 markings, 1172141 edges, 4762 markings/sec, 200 secs
lola: 999938 markings, 1201338 edges, 4762 markings/sec, 205 secs
lola: 1023717 markings, 1230804 edges, 4756 markings/sec, 210 secs
lola: 1047450 markings, 1260158 edges, 4747 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(p84 + p83 + p82 + p81 + p80 + p79 + p78 + p85)
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: 26582 markings, 28453 edges, 5316 markings/sec, 0 secs
lola: 52889 markings, 57880 edges, 5261 markings/sec, 5 secs
lola: 79069 markings, 87725 edges, 5236 markings/sec, 10 secs
lola: 105188 markings, 117232 edges, 5224 markings/sec, 15 secs
lola: 131185 markings, 148431 edges, 5199 markings/sec, 20 secs
lola: 157353 markings, 178172 edges, 5234 markings/sec, 25 secs
lola: 183334 markings, 210367 edges, 5196 markings/sec, 30 secs
lola: 209262 markings, 241299 edges, 5186 markings/sec, 35 secs
lola: 235232 markings, 277026 edges, 5194 markings/sec, 40 secs
lola: 261063 markings, 307427 edges, 5166 markings/sec, 45 secs
lola: 286719 markings, 338345 edges, 5131 markings/sec, 50 secs
lola: 312304 markings, 369671 edges, 5117 markings/sec, 55 secs
lola: 337918 markings, 401274 edges, 5123 markings/sec, 60 secs
lola: 363496 markings, 434313 edges, 5116 markings/sec, 65 secs
lola: 389162 markings, 464984 edges, 5133 markings/sec, 70 secs
lola: 414704 markings, 498847 edges, 5108 markings/sec, 75 secs
lola: 440253 markings, 529283 edges, 5110 markings/sec, 80 secs
lola: 465686 markings, 561966 edges, 5087 markings/sec, 85 secs
lola: 490152 markings, 591506 edges, 4893 markings/sec, 90 secs
lola: 514454 markings, 621200 edges, 4860 markings/sec, 95 secs
lola: 538884 markings, 649679 edges, 4886 markings/sec, 100 secs
lola: 563250 markings, 678737 edges, 4873 markings/sec, 105 secs
lola: 587486 markings, 707806 edges, 4847 markings/sec, 110 secs
lola: 611797 markings, 736455 edges, 4862 markings/sec, 115 secs
lola: 636002 markings, 765465 edges, 4841 markings/sec, 120 secs
lola: 660383 markings, 794395 edges, 4876 markings/sec, 125 secs
lola: 684570 markings, 823702 edges, 4837 markings/sec, 130 secs
lola: 708932 markings, 852253 edges, 4872 markings/sec, 135 secs
lola: 733093 markings, 881496 edges, 4832 markings/sec, 140 secs
lola: 757432 markings, 910211 edges, 4868 markings/sec, 145 secs
lola: 781848 markings, 939056 edges, 4883 markings/sec, 150 secs
lola: 806108 markings, 967731 edges, 4852 markings/sec, 155 secs
lola: 830358 markings, 997271 edges, 4850 markings/sec, 160 secs
lola: 854663 markings, 1026040 edges, 4861 markings/sec, 165 secs
lola: 878802 markings, 1055364 edges, 4828 markings/sec, 170 secs
lola: 903109 markings, 1084558 edges, 4861 markings/sec, 175 secs
lola: 927319 markings, 1113868 edges, 4842 markings/sec, 180 secs
lola: 951604 markings, 1143258 edges, 4857 markings/sec, 185 secs
lola: 975891 markings, 1172669 edges, 4857 markings/sec, 190 secs
lola: 1000236 markings, 1202243 edges, 4869 markings/sec, 195 secs
lola: 1024455 markings, 1231110 edges, 4844 markings/sec, 200 secs
lola: 1048690 markings, 1260434 edges, 4847 markings/sec, 205 secs
lola: 1072766 markings, 1291035 edges, 4815 markings/sec, 210 secs
lola: 1096763 markings, 1321104 edges, 4799 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(p46 + p47 + p48 + p49 + p50)
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: 25702 markings, 28258 edges, 5140 markings/sec, 0 secs
lola: 51463 markings, 57655 edges, 5152 markings/sec, 5 secs
lola: 77171 markings, 87775 edges, 5142 markings/sec, 10 secs
lola: 102863 markings, 117652 edges, 5138 markings/sec, 15 secs
lola: 128537 markings, 148472 edges, 5135 markings/sec, 20 secs
lola: 154206 markings, 179168 edges, 5134 markings/sec, 25 secs
lola: 179939 markings, 210671 edges, 5147 markings/sec, 30 secs
lola: 205579 markings, 242201 edges, 5128 markings/sec, 35 secs
lola: 231204 markings, 274337 edges, 5125 markings/sec, 40 secs
lola: 256806 markings, 306439 edges, 5120 markings/sec, 45 secs
lola: 282305 markings, 337842 edges, 5100 markings/sec, 50 secs
lola: 307872 markings, 370010 edges, 5113 markings/sec, 55 secs
lola: 333496 markings, 402593 edges, 5125 markings/sec, 60 secs
lola: 359185 markings, 435816 edges, 5138 markings/sec, 65 secs
lola: 384677 markings, 468141 edges, 5098 markings/sec, 70 secs
lola: 410174 markings, 499856 edges, 5099 markings/sec, 75 secs
lola: 435611 markings, 531777 edges, 5087 markings/sec, 80 secs
lola: 461063 markings, 564195 edges, 5090 markings/sec, 85 secs
lola: 486454 markings, 596401 edges, 5078 markings/sec, 90 secs
lola: 512004 markings, 629705 edges, 5110 markings/sec, 95 secs
lola: 537451 markings, 661681 edges, 5089 markings/sec, 100 secs
lola: 562987 markings, 694822 edges, 5107 markings/sec, 105 secs
lola: 588475 markings, 728344 edges, 5098 markings/sec, 110 secs
lola: 613879 markings, 760490 edges, 5081 markings/sec, 115 secs
lola: 639194 markings, 792804 edges, 5063 markings/sec, 120 secs
lola: 664657 markings, 825124 edges, 5093 markings/sec, 125 secs
lola: 689981 markings, 857666 edges, 5065 markings/sec, 130 secs
lola: 714568 markings, 889841 edges, 4917 markings/sec, 135 secs
lola: 739058 markings, 921795 edges, 4898 markings/sec, 140 secs
lola: 763923 markings, 957608 edges, 4973 markings/sec, 145 secs
lola: 788583 markings, 991083 edges, 4932 markings/sec, 150 secs
lola: 813061 markings, 1023017 edges, 4896 markings/sec, 155 secs
lola: 837549 markings, 1054831 edges, 4898 markings/sec, 160 secs
lola: 862288 markings, 1088538 edges, 4948 markings/sec, 165 secs
lola: 886960 markings, 1120513 edges, 4934 markings/sec, 170 secs
lola: 911393 markings, 1153011 edges, 4887 markings/sec, 175 secs
lola: 935972 markings, 1184475 edges, 4916 markings/sec, 180 secs
lola: 960532 markings, 1217926 edges, 4912 markings/sec, 185 secs
lola: 984973 markings, 1250381 edges, 4888 markings/sec, 190 secs
lola: 1009544 markings, 1282034 edges, 4914 markings/sec, 195 secs
lola: 1034033 markings, 1314376 edges, 4898 markings/sec, 200 secs
lola: 1058920 markings, 1349349 edges, 4977 markings/sec, 205 secs
lola: 1083343 markings, 1380180 edges, 4885 markings/sec, 210 secs
lola: 1107771 markings, 1411383 edges, 4886 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-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 1496393067443
--------------------
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="S_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/S_PolyORBLF-COL-S04J04T08.tgz
mv S_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 S_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 r128-smll-149441681400326"
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 '
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 ;