About the Execution of LoLA for S_PolyORBLF-COL-S04J04T10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1604.050 | 3540856.00 | 3548285.00 | 11593.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-S04J04T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500335
=====================================================================
--------------------
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-S04J04T10-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S04J04T10-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496395009017
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S04J04T10: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S04J04T10: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S04J04T10 @ 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: 5904/65536 symbol table entries, 1359 collisions
lola: preprocessing...
lola: finding significant places
lola: 870 places, 5034 transitions, 812 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3097 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T10-UpperBounds.task
lola: MAX(p225) : MAX(p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297) : MAX(p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828) : MAX(p829) : MAX(p476) : MAX(p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611) : MAX(p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798) : MAX(p195 + p196 + p197 + p198 + p199) : MAX(p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183) : MAX(p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507) : MAX(p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235) : MAX(p24 + p23 + p22 + p21 + p20) : MAX(p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507) : MAX(p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808) : MAX(p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172) : MAX(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404)
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(p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 20648 markings, 21381 edges, 4130 markings/sec, 0 secs
lola: 41265 markings, 44406 edges, 4123 markings/sec, 5 secs
lola: 61699 markings, 67950 edges, 4087 markings/sec, 10 secs
lola: 81811 markings, 92673 edges, 4022 markings/sec, 15 secs
lola: 101685 markings, 116919 edges, 3975 markings/sec, 20 secs
lola: 121918 markings, 141839 edges, 4047 markings/sec, 25 secs
lola: 141605 markings, 166156 edges, 3937 markings/sec, 30 secs
lola: 161573 markings, 190899 edges, 3994 markings/sec, 35 secs
lola: 181760 markings, 215602 edges, 4037 markings/sec, 40 secs
lola: 201957 markings, 241215 edges, 4039 markings/sec, 45 secs
lola: 221469 markings, 265508 edges, 3902 markings/sec, 50 secs
lola: 241246 markings, 291197 edges, 3955 markings/sec, 55 secs
lola: 260442 markings, 314973 edges, 3839 markings/sec, 60 secs
lola: 280174 markings, 339660 edges, 3946 markings/sec, 65 secs
lola: 299523 markings, 364565 edges, 3870 markings/sec, 70 secs
lola: 319153 markings, 390115 edges, 3926 markings/sec, 75 secs
lola: 338840 markings, 415132 edges, 3937 markings/sec, 80 secs
lola: 357942 markings, 439997 edges, 3820 markings/sec, 85 secs
lola: 377849 markings, 465654 edges, 3981 markings/sec, 90 secs
lola: 397892 markings, 490986 edges, 4009 markings/sec, 95 secs
lola: 417638 markings, 516097 edges, 3949 markings/sec, 100 secs
lola: 437564 markings, 541761 edges, 3985 markings/sec, 105 secs
lola: 457522 markings, 567634 edges, 3992 markings/sec, 110 secs
lola: 477432 markings, 593600 edges, 3982 markings/sec, 115 secs
lola: 497129 markings, 619077 edges, 3939 markings/sec, 120 secs
lola: 517306 markings, 645317 edges, 4035 markings/sec, 125 secs
lola: 537589 markings, 671206 edges, 4057 markings/sec, 130 secs
lola: 557704 markings, 697204 edges, 4023 markings/sec, 135 secs
lola: 577868 markings, 723404 edges, 4033 markings/sec, 140 secs
lola: 598067 markings, 749437 edges, 4040 markings/sec, 145 secs
lola: 618207 markings, 775172 edges, 4028 markings/sec, 150 secs
lola: 638351 markings, 801289 edges, 4029 markings/sec, 155 secs
lola: 658428 markings, 827516 edges, 4015 markings/sec, 160 secs
lola: 678642 markings, 851851 edges, 4043 markings/sec, 165 secs
lola: 698740 markings, 877883 edges, 4020 markings/sec, 170 secs
lola: 718767 markings, 904300 edges, 4005 markings/sec, 175 secs
lola: 738850 markings, 930392 edges, 4017 markings/sec, 180 secs
lola: 758855 markings, 957819 edges, 4001 markings/sec, 185 secs
lola: 778800 markings, 984525 edges, 3989 markings/sec, 190 secs
lola: 798883 markings, 1011261 edges, 4017 markings/sec, 195 secs
lola: 818968 markings, 1037529 edges, 4017 markings/sec, 200 secs
lola: 838983 markings, 1064038 edges, 4003 markings/sec, 205 secs
lola: 858916 markings, 1091034 edges, 3987 markings/sec, 210 secs
lola: 878835 markings, 1116953 edges, 3984 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(p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 20537 markings, 21370 edges, 4107 markings/sec, 0 secs
lola: 40906 markings, 43920 edges, 4074 markings/sec, 5 secs
lola: 61263 markings, 67317 edges, 4071 markings/sec, 10 secs
lola: 81477 markings, 92528 edges, 4043 markings/sec, 15 secs
lola: 101727 markings, 115687 edges, 4050 markings/sec, 20 secs
lola: 121833 markings, 140320 edges, 4021 markings/sec, 25 secs
lola: 141896 markings, 165487 edges, 4013 markings/sec, 30 secs
lola: 161896 markings, 191687 edges, 4000 markings/sec, 35 secs
lola: 181969 markings, 217044 edges, 4015 markings/sec, 40 secs
lola: 202083 markings, 241090 edges, 4023 markings/sec, 45 secs
lola: 222102 markings, 267245 edges, 4004 markings/sec, 50 secs
lola: 242136 markings, 293848 edges, 4007 markings/sec, 55 secs
lola: 262133 markings, 319152 edges, 3999 markings/sec, 60 secs
lola: 282168 markings, 346219 edges, 4007 markings/sec, 65 secs
lola: 302222 markings, 370496 edges, 4011 markings/sec, 70 secs
lola: 322144 markings, 395892 edges, 3984 markings/sec, 75 secs
lola: 342114 markings, 422521 edges, 3994 markings/sec, 80 secs
lola: 362098 markings, 448993 edges, 3997 markings/sec, 85 secs
lola: 382031 markings, 473906 edges, 3987 markings/sec, 90 secs
lola: 402159 markings, 498162 edges, 4026 markings/sec, 95 secs
lola: 422113 markings, 523138 edges, 3991 markings/sec, 100 secs
lola: 442085 markings, 548649 edges, 3994 markings/sec, 105 secs
lola: 462093 markings, 573015 edges, 4002 markings/sec, 110 secs
lola: 482149 markings, 597170 edges, 4011 markings/sec, 115 secs
lola: 502193 markings, 622215 edges, 4009 markings/sec, 120 secs
lola: 522139 markings, 646564 edges, 3989 markings/sec, 125 secs
lola: 542119 markings, 672930 edges, 3996 markings/sec, 130 secs
lola: 562050 markings, 697030 edges, 3986 markings/sec, 135 secs
lola: 581970 markings, 722539 edges, 3984 markings/sec, 140 secs
lola: 601742 markings, 749262 edges, 3954 markings/sec, 145 secs
lola: 621611 markings, 773734 edges, 3974 markings/sec, 150 secs
lola: 641517 markings, 798578 edges, 3981 markings/sec, 155 secs
lola: 661302 markings, 823476 edges, 3957 markings/sec, 160 secs
lola: 681200 markings, 849475 edges, 3980 markings/sec, 165 secs
lola: 701067 markings, 874130 edges, 3973 markings/sec, 170 secs
lola: 720945 markings, 899310 edges, 3976 markings/sec, 175 secs
lola: 740843 markings, 923531 edges, 3980 markings/sec, 180 secs
lola: 760737 markings, 947876 edges, 3979 markings/sec, 185 secs
lola: 780639 markings, 971975 edges, 3980 markings/sec, 190 secs
lola: 800444 markings, 997096 edges, 3961 markings/sec, 195 secs
lola: 820309 markings, 1023444 edges, 3973 markings/sec, 200 secs
lola: 840103 markings, 1049209 edges, 3959 markings/sec, 205 secs
lola: 859926 markings, 1075082 edges, 3965 markings/sec, 210 secs
lola: 879779 markings, 1100548 edges, 3971 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(p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 20460 markings, 21292 edges, 4092 markings/sec, 0 secs
lola: 40747 markings, 43758 edges, 4057 markings/sec, 5 secs
lola: 60876 markings, 66912 edges, 4026 markings/sec, 10 secs
lola: 80398 markings, 91242 edges, 3904 markings/sec, 15 secs
lola: 99931 markings, 113609 edges, 3907 markings/sec, 20 secs
lola: 119284 markings, 137333 edges, 3871 markings/sec, 25 secs
lola: 138470 markings, 161015 edges, 3837 markings/sec, 30 secs
lola: 157635 markings, 184182 edges, 3833 markings/sec, 35 secs
lola: 176954 markings, 211164 edges, 3864 markings/sec, 40 secs
lola: 196381 markings, 234327 edges, 3885 markings/sec, 45 secs
lola: 215743 markings, 257377 edges, 3872 markings/sec, 50 secs
lola: 235052 markings, 284572 edges, 3862 markings/sec, 55 secs
lola: 254352 markings, 309046 edges, 3860 markings/sec, 60 secs
lola: 274408 markings, 336197 edges, 4011 markings/sec, 65 secs
lola: 294588 markings, 361216 edges, 4036 markings/sec, 70 secs
lola: 314767 markings, 386299 edges, 4036 markings/sec, 75 secs
lola: 331511 markings, 406724 edges, 3349 markings/sec, 80 secs
lola: 350514 markings, 433165 edges, 3801 markings/sec, 85 secs
lola: 370313 markings, 459579 edges, 3960 markings/sec, 90 secs
lola: 390207 markings, 483761 edges, 3979 markings/sec, 95 secs
lola: 410141 markings, 508010 edges, 3987 markings/sec, 100 secs
lola: 429992 markings, 533122 edges, 3970 markings/sec, 105 secs
lola: 449795 markings, 558143 edges, 3961 markings/sec, 110 secs
lola: 469753 markings, 582172 edges, 3992 markings/sec, 115 secs
lola: 489678 markings, 607155 edges, 3985 markings/sec, 120 secs
lola: 509519 markings, 631307 edges, 3968 markings/sec, 125 secs
lola: 529366 markings, 657464 edges, 3969 markings/sec, 130 secs
lola: 549209 markings, 681409 edges, 3969 markings/sec, 135 secs
lola: 569051 markings, 705406 edges, 3968 markings/sec, 140 secs
lola: 588782 markings, 731984 edges, 3946 markings/sec, 145 secs
lola: 608420 markings, 757674 edges, 3928 markings/sec, 150 secs
lola: 628194 markings, 781733 edges, 3955 markings/sec, 155 secs
lola: 647914 markings, 806639 edges, 3944 markings/sec, 160 secs
lola: 667600 markings, 832064 edges, 3937 markings/sec, 165 secs
lola: 687397 markings, 857069 edges, 3959 markings/sec, 170 secs
lola: 707194 markings, 881585 edges, 3959 markings/sec, 175 secs
lola: 726916 markings, 906933 edges, 3944 markings/sec, 180 secs
lola: 746620 markings, 930916 edges, 3941 markings/sec, 185 secs
lola: 766446 markings, 954878 edges, 3965 markings/sec, 190 secs
lola: 786238 markings, 978969 edges, 3958 markings/sec, 195 secs
lola: 805933 markings, 1003855 edges, 3939 markings/sec, 200 secs
lola: 825629 markings, 1030546 edges, 3939 markings/sec, 205 secs
lola: 845334 markings, 1055367 edges, 3941 markings/sec, 210 secs
lola: 865053 markings, 1081200 edges, 3944 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(p829)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 22127 markings, 23229 edges, 4425 markings/sec, 0 secs
lola: 44245 markings, 47435 edges, 4424 markings/sec, 5 secs
lola: 66219 markings, 72059 edges, 4395 markings/sec, 10 secs
lola: 88004 markings, 97196 edges, 4357 markings/sec, 15 secs
lola: 109915 markings, 122247 edges, 4382 markings/sec, 20 secs
lola: 131736 markings, 146835 edges, 4364 markings/sec, 25 secs
lola: 153214 markings, 173800 edges, 4296 markings/sec, 30 secs
lola: 174925 markings, 199751 edges, 4342 markings/sec, 35 secs
lola: 196322 markings, 227031 edges, 4279 markings/sec, 40 secs
lola: 217638 markings, 256287 edges, 4263 markings/sec, 45 secs
lola: 238952 markings, 284595 edges, 4263 markings/sec, 50 secs
lola: 260543 markings, 310434 edges, 4318 markings/sec, 55 secs
lola: 276738 markings, 329988 edges, 3239 markings/sec, 60 secs
lola: 295477 markings, 354824 edges, 3748 markings/sec, 65 secs
lola: 317216 markings, 380508 edges, 4348 markings/sec, 70 secs
lola: 338964 markings, 406596 edges, 4350 markings/sec, 75 secs
lola: 360736 markings, 432951 edges, 4354 markings/sec, 80 secs
lola: 382501 markings, 459394 edges, 4353 markings/sec, 85 secs
lola: 404304 markings, 485325 edges, 4361 markings/sec, 90 secs
lola: 425938 markings, 511689 edges, 4327 markings/sec, 95 secs
lola: 447761 markings, 537165 edges, 4365 markings/sec, 100 secs
lola: 469274 markings, 564051 edges, 4303 markings/sec, 105 secs
lola: 491090 markings, 589615 edges, 4363 markings/sec, 110 secs
lola: 512703 markings, 616285 edges, 4323 markings/sec, 115 secs
lola: 534149 markings, 643493 edges, 4289 markings/sec, 120 secs
lola: 555815 markings, 669812 edges, 4333 markings/sec, 125 secs
lola: 577177 markings, 697641 edges, 4272 markings/sec, 130 secs
lola: 599009 markings, 723285 edges, 4366 markings/sec, 135 secs
lola: 620833 markings, 748929 edges, 4365 markings/sec, 140 secs
lola: 642055 markings, 777791 edges, 4244 markings/sec, 145 secs
lola: 663671 markings, 803515 edges, 4323 markings/sec, 150 secs
lola: 685435 markings, 829820 edges, 4353 markings/sec, 155 secs
lola: 707088 markings, 855521 edges, 4331 markings/sec, 160 secs
lola: 728761 markings, 881552 edges, 4335 markings/sec, 165 secs
lola: 750284 markings, 908437 edges, 4305 markings/sec, 170 secs
lola: 772030 markings, 933961 edges, 4349 markings/sec, 175 secs
lola: 793498 markings, 961701 edges, 4294 markings/sec, 180 secs
lola: 815088 markings, 987795 edges, 4318 markings/sec, 185 secs
lola: 836568 markings, 1014644 edges, 4296 markings/sec, 190 secs
lola: 858358 markings, 1040514 edges, 4358 markings/sec, 195 secs
lola: 879534 markings, 1068222 edges, 4235 markings/sec, 200 secs
lola: 901155 markings, 1094297 edges, 4324 markings/sec, 205 secs
lola: 922766 markings, 1120994 edges, 4322 markings/sec, 210 secs
lola: 944411 markings, 1147846 edges, 4329 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(p476)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 21859 markings, 23383 edges, 4372 markings/sec, 0 secs
lola: 43640 markings, 47901 edges, 4356 markings/sec, 5 secs
lola: 65293 markings, 72819 edges, 4331 markings/sec, 10 secs
lola: 86743 markings, 98667 edges, 4290 markings/sec, 15 secs
lola: 108270 markings, 123844 edges, 4305 markings/sec, 20 secs
lola: 129423 markings, 152932 edges, 4231 markings/sec, 25 secs
lola: 150596 markings, 181001 edges, 4235 markings/sec, 30 secs
lola: 172104 markings, 206232 edges, 4302 markings/sec, 35 secs
lola: 193443 markings, 233161 edges, 4268 markings/sec, 40 secs
lola: 214815 markings, 259659 edges, 4274 markings/sec, 45 secs
lola: 236021 markings, 288251 edges, 4241 markings/sec, 50 secs
lola: 257330 markings, 315620 edges, 4262 markings/sec, 55 secs
lola: 278454 markings, 343886 edges, 4225 markings/sec, 60 secs
lola: 299792 markings, 370353 edges, 4268 markings/sec, 65 secs
lola: 321024 markings, 398039 edges, 4246 markings/sec, 70 secs
lola: 342416 markings, 423969 edges, 4278 markings/sec, 75 secs
lola: 363654 markings, 451473 edges, 4248 markings/sec, 80 secs
lola: 385154 markings, 477708 edges, 4300 markings/sec, 85 secs
lola: 405979 markings, 508591 edges, 4165 markings/sec, 90 secs
lola: 427331 markings, 535053 edges, 4270 markings/sec, 95 secs
lola: 448620 markings, 561433 edges, 4258 markings/sec, 100 secs
lola: 469783 markings, 589479 edges, 4233 markings/sec, 105 secs
lola: 491114 markings, 615651 edges, 4266 markings/sec, 110 secs
lola: 512328 markings, 643331 edges, 4243 markings/sec, 115 secs
lola: 533717 markings, 669307 edges, 4278 markings/sec, 120 secs
lola: 555178 markings, 695778 edges, 4292 markings/sec, 125 secs
lola: 576486 markings, 722305 edges, 4262 markings/sec, 130 secs
lola: 597353 markings, 753431 edges, 4173 markings/sec, 135 secs
lola: 618432 markings, 781820 edges, 4216 markings/sec, 140 secs
lola: 639772 markings, 808155 edges, 4268 markings/sec, 145 secs
lola: 661021 markings, 834610 edges, 4250 markings/sec, 150 secs
lola: 682397 markings, 860977 edges, 4275 markings/sec, 155 secs
lola: 703679 markings, 887556 edges, 4256 markings/sec, 160 secs
lola: 725008 markings, 914203 edges, 4266 markings/sec, 165 secs
lola: 746262 markings, 940830 edges, 4251 markings/sec, 170 secs
lola: 767560 markings, 967566 edges, 4260 markings/sec, 175 secs
lola: 788947 markings, 994263 edges, 4277 markings/sec, 180 secs
lola: 810203 markings, 1020446 edges, 4251 markings/sec, 185 secs
lola: 831574 markings, 1047649 edges, 4274 markings/sec, 190 secs
lola: 852729 markings, 1075156 edges, 4231 markings/sec, 195 secs
lola: 873880 markings, 1101999 edges, 4230 markings/sec, 200 secs
lola: 895126 markings, 1128659 edges, 4249 markings/sec, 205 secs
lola: 916443 markings, 1154761 edges, 4263 markings/sec, 210 secs
lola: 937608 markings, 1182090 edges, 4233 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(p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 19512 markings, 20597 edges, 3902 markings/sec, 0 secs
lola: 38990 markings, 42193 edges, 3896 markings/sec, 5 secs
lola: 58453 markings, 64398 edges, 3893 markings/sec, 10 secs
lola: 77901 markings, 86550 edges, 3890 markings/sec, 15 secs
lola: 97318 markings, 109726 edges, 3883 markings/sec, 20 secs
lola: 116693 markings, 134286 edges, 3875 markings/sec, 25 secs
lola: 136100 markings, 157062 edges, 3881 markings/sec, 30 secs
lola: 155431 markings, 182019 edges, 3866 markings/sec, 35 secs
lola: 174798 markings, 205640 edges, 3873 markings/sec, 40 secs
lola: 194174 markings, 228323 edges, 3875 markings/sec, 45 secs
lola: 213478 markings, 253747 edges, 3861 markings/sec, 50 secs
lola: 232738 markings, 279248 edges, 3852 markings/sec, 55 secs
lola: 251939 markings, 304512 edges, 3840 markings/sec, 60 secs
lola: 271419 markings, 328352 edges, 3896 markings/sec, 65 secs
lola: 291391 markings, 353122 edges, 3994 markings/sec, 70 secs
lola: 311365 markings, 377430 edges, 3995 markings/sec, 75 secs
lola: 331357 markings, 403592 edges, 3998 markings/sec, 80 secs
lola: 351294 markings, 429977 edges, 3987 markings/sec, 85 secs
lola: 371156 markings, 455380 edges, 3972 markings/sec, 90 secs
lola: 391098 markings, 480671 edges, 3988 markings/sec, 95 secs
lola: 411067 markings, 505812 edges, 3994 markings/sec, 100 secs
lola: 430983 markings, 530664 edges, 3983 markings/sec, 105 secs
lola: 450431 markings, 554174 edges, 3890 markings/sec, 110 secs
lola: 469520 markings, 580615 edges, 3818 markings/sec, 115 secs
lola: 488637 markings, 604881 edges, 3823 markings/sec, 120 secs
lola: 507857 markings, 628953 edges, 3844 markings/sec, 125 secs
lola: 526926 markings, 654858 edges, 3814 markings/sec, 130 secs
lola: 546050 markings, 678700 edges, 3825 markings/sec, 135 secs
lola: 565002 markings, 706635 edges, 3790 markings/sec, 140 secs
lola: 584101 markings, 730502 edges, 3820 markings/sec, 145 secs
lola: 603174 markings, 755713 edges, 3815 markings/sec, 150 secs
lola: 622264 markings, 780159 edges, 3818 markings/sec, 155 secs
lola: 641347 markings, 804321 edges, 3817 markings/sec, 160 secs
lola: 660435 markings, 828220 edges, 3818 markings/sec, 165 secs
lola: 679558 markings, 852179 edges, 3825 markings/sec, 170 secs
lola: 698674 markings, 876627 edges, 3823 markings/sec, 175 secs
lola: 717761 markings, 900712 edges, 3817 markings/sec, 180 secs
lola: 736852 markings, 925164 edges, 3818 markings/sec, 185 secs
lola: 755997 markings, 950843 edges, 3829 markings/sec, 190 secs
lola: 775037 markings, 974341 edges, 3808 markings/sec, 195 secs
lola: 794060 markings, 999682 edges, 3805 markings/sec, 200 secs
lola: 813119 markings, 1023910 edges, 3812 markings/sec, 205 secs
lola: 832133 markings, 1047924 edges, 3803 markings/sec, 210 secs
lola: 851132 markings, 1072360 edges, 3800 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(p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 17725 markings, 18710 edges, 3545 markings/sec, 0 secs
lola: 35527 markings, 38562 edges, 3560 markings/sec, 5 secs
lola: 53288 markings, 58682 edges, 3552 markings/sec, 10 secs
lola: 71047 markings, 79271 edges, 3552 markings/sec, 15 secs
lola: 88809 markings, 99949 edges, 3552 markings/sec, 20 secs
lola: 106525 markings, 121337 edges, 3543 markings/sec, 25 secs
lola: 124251 markings, 142459 edges, 3545 markings/sec, 30 secs
lola: 141953 markings, 163711 edges, 3540 markings/sec, 35 secs
lola: 159615 markings, 185177 edges, 3532 markings/sec, 40 secs
lola: 177288 markings, 206301 edges, 3535 markings/sec, 45 secs
lola: 194993 markings, 227655 edges, 3541 markings/sec, 50 secs
lola: 212601 markings, 249215 edges, 3522 markings/sec, 55 secs
lola: 230261 markings, 270963 edges, 3532 markings/sec, 60 secs
lola: 247888 markings, 292497 edges, 3525 markings/sec, 65 secs
lola: 265504 markings, 313696 edges, 3523 markings/sec, 70 secs
lola: 283078 markings, 336278 edges, 3515 markings/sec, 75 secs
lola: 300808 markings, 359500 edges, 3546 markings/sec, 80 secs
lola: 319257 markings, 382392 edges, 3690 markings/sec, 85 secs
lola: 337805 markings, 404935 edges, 3710 markings/sec, 90 secs
lola: 356239 markings, 428094 edges, 3687 markings/sec, 95 secs
lola: 374666 markings, 451537 edges, 3685 markings/sec, 100 secs
lola: 393100 markings, 474357 edges, 3687 markings/sec, 105 secs
lola: 411566 markings, 496992 edges, 3693 markings/sec, 110 secs
lola: 429962 markings, 522032 edges, 3679 markings/sec, 115 secs
lola: 448347 markings, 546000 edges, 3677 markings/sec, 120 secs
lola: 466785 markings, 569089 edges, 3688 markings/sec, 125 secs
lola: 485217 markings, 591968 edges, 3686 markings/sec, 130 secs
lola: 503646 markings, 615841 edges, 3686 markings/sec, 135 secs
lola: 522015 markings, 638792 edges, 3674 markings/sec, 140 secs
lola: 540412 markings, 661648 edges, 3679 markings/sec, 145 secs
lola: 558802 markings, 684341 edges, 3678 markings/sec, 150 secs
lola: 577193 markings, 707667 edges, 3678 markings/sec, 155 secs
lola: 595598 markings, 730769 edges, 3681 markings/sec, 160 secs
lola: 613957 markings, 753626 edges, 3672 markings/sec, 165 secs
lola: 632331 markings, 777075 edges, 3675 markings/sec, 170 secs
lola: 650665 markings, 800534 edges, 3667 markings/sec, 175 secs
lola: 669051 markings, 823295 edges, 3677 markings/sec, 180 secs
lola: 687435 markings, 846128 edges, 3677 markings/sec, 185 secs
lola: 705731 markings, 869248 edges, 3659 markings/sec, 190 secs
lola: 724092 markings, 892467 edges, 3672 markings/sec, 195 secs
lola: 742425 markings, 915233 edges, 3667 markings/sec, 200 secs
lola: 760718 markings, 938917 edges, 3659 markings/sec, 205 secs
lola: 779038 markings, 961942 edges, 3664 markings/sec, 210 secs
lola: 797330 markings, 985173 edges, 3658 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(p195 + p196 + p197 + p198 + p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 20291 markings, 21944 edges, 4058 markings/sec, 0 secs
lola: 40538 markings, 44717 edges, 4049 markings/sec, 5 secs
lola: 60750 markings, 68017 edges, 4042 markings/sec, 10 secs
lola: 80939 markings, 90499 edges, 4038 markings/sec, 15 secs
lola: 101130 markings, 113929 edges, 4038 markings/sec, 20 secs
lola: 121260 markings, 137556 edges, 4026 markings/sec, 25 secs
lola: 141390 markings, 160833 edges, 4026 markings/sec, 30 secs
lola: 161457 markings, 184827 edges, 4013 markings/sec, 35 secs
lola: 181445 markings, 208508 edges, 3998 markings/sec, 40 secs
lola: 201472 markings, 232508 edges, 4005 markings/sec, 45 secs
lola: 221450 markings, 256770 edges, 3996 markings/sec, 50 secs
lola: 241428 markings, 281278 edges, 3996 markings/sec, 55 secs
lola: 261404 markings, 306093 edges, 3995 markings/sec, 60 secs
lola: 281410 markings, 330085 edges, 4001 markings/sec, 65 secs
lola: 301362 markings, 354419 edges, 3990 markings/sec, 70 secs
lola: 321347 markings, 379475 edges, 3997 markings/sec, 75 secs
lola: 341286 markings, 403882 edges, 3988 markings/sec, 80 secs
lola: 361168 markings, 428444 edges, 3976 markings/sec, 85 secs
lola: 379604 markings, 451911 edges, 3687 markings/sec, 90 secs
lola: 400375 markings, 477876 edges, 4154 markings/sec, 95 secs
lola: 420386 markings, 502823 edges, 4002 markings/sec, 100 secs
lola: 440236 markings, 527566 edges, 3970 markings/sec, 105 secs
lola: 460098 markings, 553481 edges, 3972 markings/sec, 110 secs
lola: 479963 markings, 579048 edges, 3973 markings/sec, 115 secs
lola: 499808 markings, 603864 edges, 3969 markings/sec, 120 secs
lola: 519634 markings, 628438 edges, 3965 markings/sec, 125 secs
lola: 539429 markings, 653042 edges, 3959 markings/sec, 130 secs
lola: 559355 markings, 677771 edges, 3985 markings/sec, 135 secs
lola: 579300 markings, 702756 edges, 3989 markings/sec, 140 secs
lola: 599522 markings, 728278 edges, 4044 markings/sec, 145 secs
lola: 619439 markings, 753276 edges, 3983 markings/sec, 150 secs
lola: 639315 markings, 778206 edges, 3975 markings/sec, 155 secs
lola: 659180 markings, 803564 edges, 3973 markings/sec, 160 secs
lola: 679055 markings, 828964 edges, 3975 markings/sec, 165 secs
lola: 698946 markings, 854521 edges, 3978 markings/sec, 170 secs
lola: 718768 markings, 879058 edges, 3964 markings/sec, 175 secs
lola: 738521 markings, 904368 edges, 3951 markings/sec, 180 secs
lola: 758199 markings, 930205 edges, 3936 markings/sec, 185 secs
lola: 778029 markings, 955094 edges, 3966 markings/sec, 190 secs
lola: 797794 markings, 980623 edges, 3953 markings/sec, 195 secs
lola: 817513 markings, 1005028 edges, 3944 markings/sec, 200 secs
lola: 837209 markings, 1030028 edges, 3939 markings/sec, 205 secs
lola: 856921 markings, 1055269 edges, 3942 markings/sec, 210 secs
lola: 876512 markings, 1080512 edges, 3918 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(p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 11901 markings, 12146 edges, 2380 markings/sec, 0 secs
lola: 23777 markings, 24791 edges, 2375 markings/sec, 5 secs
lola: 35614 markings, 37500 edges, 2367 markings/sec, 10 secs
lola: 47392 markings, 50387 edges, 2356 markings/sec, 15 secs
lola: 65867 markings, 71866 edges, 3695 markings/sec, 20 secs
lola: 85647 markings, 94481 edges, 3956 markings/sec, 25 secs
lola: 105307 markings, 118401 edges, 3932 markings/sec, 30 secs
lola: 124904 markings, 143144 edges, 3919 markings/sec, 35 secs
lola: 144475 markings, 166986 edges, 3914 markings/sec, 40 secs
lola: 164175 markings, 190203 edges, 3940 markings/sec, 45 secs
lola: 183804 markings, 213792 edges, 3926 markings/sec, 50 secs
lola: 203384 markings, 237785 edges, 3916 markings/sec, 55 secs
lola: 222951 markings, 261096 edges, 3913 markings/sec, 60 secs
lola: 242498 markings, 284934 edges, 3909 markings/sec, 65 secs
lola: 261963 markings, 309540 edges, 3893 markings/sec, 70 secs
lola: 281388 markings, 334116 edges, 3885 markings/sec, 75 secs
lola: 300899 markings, 357772 edges, 3902 markings/sec, 80 secs
lola: 320266 markings, 383191 edges, 3873 markings/sec, 85 secs
lola: 339612 markings, 408318 edges, 3869 markings/sec, 90 secs
lola: 359052 markings, 433282 edges, 3888 markings/sec, 95 secs
lola: 378423 markings, 458821 edges, 3874 markings/sec, 100 secs
lola: 397878 markings, 483628 edges, 3891 markings/sec, 105 secs
lola: 417297 markings, 508049 edges, 3884 markings/sec, 110 secs
lola: 436716 markings, 533233 edges, 3884 markings/sec, 115 secs
lola: 456370 markings, 556877 edges, 3931 markings/sec, 120 secs
lola: 475500 markings, 584067 edges, 3826 markings/sec, 125 secs
lola: 494824 markings, 609526 edges, 3865 markings/sec, 130 secs
lola: 514152 markings, 633731 edges, 3866 markings/sec, 135 secs
lola: 533436 markings, 658409 edges, 3857 markings/sec, 140 secs
lola: 552695 markings, 683544 edges, 3852 markings/sec, 145 secs
lola: 572009 markings, 708522 edges, 3863 markings/sec, 150 secs
lola: 591202 markings, 734527 edges, 3839 markings/sec, 155 secs
lola: 610450 markings, 759939 edges, 3850 markings/sec, 160 secs
lola: 629763 markings, 784880 edges, 3863 markings/sec, 165 secs
lola: 648961 markings, 810375 edges, 3840 markings/sec, 170 secs
lola: 668263 markings, 835378 edges, 3860 markings/sec, 175 secs
lola: 687352 markings, 861794 edges, 3818 markings/sec, 180 secs
lola: 706576 markings, 887460 edges, 3845 markings/sec, 185 secs
lola: 725746 markings, 913837 edges, 3834 markings/sec, 190 secs
lola: 744930 markings, 939871 edges, 3837 markings/sec, 195 secs
lola: 764101 markings, 966756 edges, 3834 markings/sec, 200 secs
lola: 783241 markings, 993715 edges, 3828 markings/sec, 205 secs
lola: 802435 markings, 1019276 edges, 3839 markings/sec, 210 secs
lola: 821624 markings, 1045023 edges, 3838 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(p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 21624 markings, 22231 edges, 4325 markings/sec, 0 secs
lola: 43246 markings, 45197 edges, 4324 markings/sec, 5 secs
lola: 64924 markings, 68413 edges, 4336 markings/sec, 10 secs
lola: 86551 markings, 91676 edges, 4325 markings/sec, 15 secs
lola: 108177 markings, 115470 edges, 4325 markings/sec, 20 secs
lola: 129852 markings, 139367 edges, 4335 markings/sec, 25 secs
lola: 151436 markings, 163200 edges, 4317 markings/sec, 30 secs
lola: 172996 markings, 187209 edges, 4312 markings/sec, 35 secs
lola: 194520 markings, 211281 edges, 4305 markings/sec, 40 secs
lola: 216064 markings, 235297 edges, 4309 markings/sec, 45 secs
lola: 237606 markings, 260029 edges, 4308 markings/sec, 50 secs
lola: 259112 markings, 284555 edges, 4301 markings/sec, 55 secs
lola: 280542 markings, 308988 edges, 4286 markings/sec, 60 secs
lola: 302029 markings, 333826 edges, 4297 markings/sec, 65 secs
lola: 323480 markings, 357860 edges, 4290 markings/sec, 70 secs
lola: 344915 markings, 382872 edges, 4287 markings/sec, 75 secs
lola: 366375 markings, 407116 edges, 4292 markings/sec, 80 secs
lola: 387823 markings, 431861 edges, 4290 markings/sec, 85 secs
lola: 409275 markings, 456935 edges, 4290 markings/sec, 90 secs
lola: 430635 markings, 482063 edges, 4272 markings/sec, 95 secs
lola: 452094 markings, 506710 edges, 4292 markings/sec, 100 secs
lola: 473447 markings, 531804 edges, 4271 markings/sec, 105 secs
lola: 494822 markings, 556738 edges, 4275 markings/sec, 110 secs
lola: 516262 markings, 581331 edges, 4288 markings/sec, 115 secs
lola: 537613 markings, 606111 edges, 4270 markings/sec, 120 secs
lola: 558968 markings, 630318 edges, 4271 markings/sec, 125 secs
lola: 580430 markings, 655201 edges, 4292 markings/sec, 130 secs
lola: 601726 markings, 679721 edges, 4259 markings/sec, 135 secs
lola: 623041 markings, 705620 edges, 4263 markings/sec, 140 secs
lola: 644454 markings, 730503 edges, 4283 markings/sec, 145 secs
lola: 665921 markings, 755304 edges, 4293 markings/sec, 150 secs
lola: 687276 markings, 780854 edges, 4271 markings/sec, 155 secs
lola: 708608 markings, 804619 edges, 4266 markings/sec, 160 secs
lola: 729917 markings, 829674 edges, 4262 markings/sec, 165 secs
lola: 751281 markings, 853910 edges, 4273 markings/sec, 170 secs
lola: 772517 markings, 878942 edges, 4247 markings/sec, 175 secs
lola: 793785 markings, 903982 edges, 4254 markings/sec, 180 secs
lola: 815134 markings, 929682 edges, 4270 markings/sec, 185 secs
lola: 836552 markings, 955403 edges, 4284 markings/sec, 190 secs
lola: 857865 markings, 979928 edges, 4263 markings/sec, 195 secs
lola: 879279 markings, 1005525 edges, 4283 markings/sec, 200 secs
lola: 900617 markings, 1030750 edges, 4268 markings/sec, 205 secs
lola: 921833 markings, 1055499 edges, 4243 markings/sec, 210 secs
lola: 943060 markings, 1080645 edges, 4245 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(p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 19689 markings, 22278 edges, 3938 markings/sec, 0 secs
lola: 39201 markings, 47682 edges, 3902 markings/sec, 5 secs
lola: 58783 markings, 71527 edges, 3916 markings/sec, 10 secs
lola: 78240 markings, 96314 edges, 3891 markings/sec, 15 secs
lola: 97623 markings, 121435 edges, 3877 markings/sec, 20 secs
lola: 116925 markings, 146864 edges, 3860 markings/sec, 25 secs
lola: 136469 markings, 171927 edges, 3909 markings/sec, 30 secs
lola: 156087 markings, 196748 edges, 3924 markings/sec, 35 secs
lola: 175701 markings, 221852 edges, 3923 markings/sec, 40 secs
lola: 195151 markings, 247616 edges, 3890 markings/sec, 45 secs
lola: 214621 markings, 273895 edges, 3894 markings/sec, 50 secs
lola: 234010 markings, 300558 edges, 3878 markings/sec, 55 secs
lola: 253508 markings, 326492 edges, 3900 markings/sec, 60 secs
lola: 272973 markings, 351930 edges, 3893 markings/sec, 65 secs
lola: 292299 markings, 377761 edges, 3865 markings/sec, 70 secs
lola: 311780 markings, 403660 edges, 3896 markings/sec, 75 secs
lola: 331317 markings, 428428 edges, 3907 markings/sec, 80 secs
lola: 350553 markings, 454368 edges, 3847 markings/sec, 85 secs
lola: 369788 markings, 479891 edges, 3847 markings/sec, 90 secs
lola: 389127 markings, 505075 edges, 3868 markings/sec, 95 secs
lola: 408670 markings, 530203 edges, 3909 markings/sec, 100 secs
lola: 428019 markings, 555949 edges, 3870 markings/sec, 105 secs
lola: 447483 markings, 581465 edges, 3893 markings/sec, 110 secs
lola: 466743 markings, 608027 edges, 3852 markings/sec, 115 secs
lola: 485868 markings, 636507 edges, 3825 markings/sec, 120 secs
lola: 505140 markings, 662535 edges, 3854 markings/sec, 125 secs
lola: 524338 markings, 688825 edges, 3840 markings/sec, 130 secs
lola: 543644 markings, 714793 edges, 3861 markings/sec, 135 secs
lola: 562822 markings, 741816 edges, 3836 markings/sec, 140 secs
lola: 582029 markings, 768355 edges, 3841 markings/sec, 145 secs
lola: 601212 markings, 795645 edges, 3837 markings/sec, 150 secs
lola: 620526 markings, 821955 edges, 3863 markings/sec, 155 secs
lola: 639862 markings, 847950 edges, 3867 markings/sec, 160 secs
lola: 658985 markings, 875391 edges, 3825 markings/sec, 165 secs
lola: 678129 markings, 903018 edges, 3829 markings/sec, 170 secs
lola: 697276 markings, 930298 edges, 3829 markings/sec, 175 secs
lola: 716637 markings, 956557 edges, 3872 markings/sec, 180 secs
lola: 735883 markings, 983931 edges, 3849 markings/sec, 185 secs
lola: 755021 markings, 1011049 edges, 3828 markings/sec, 190 secs
lola: 774190 markings, 1038246 edges, 3834 markings/sec, 195 secs
lola: 793386 markings, 1064991 edges, 3839 markings/sec, 200 secs
lola: 812614 markings, 1091732 edges, 3846 markings/sec, 205 secs
lola: 831900 markings, 1118120 edges, 3857 markings/sec, 210 secs
lola: 851122 markings, 1144204 edges, 3844 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 + p23 + p22 + p21 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 19739 markings, 20849 edges, 3948 markings/sec, 0 secs
lola: 39421 markings, 42698 edges, 3936 markings/sec, 5 secs
lola: 59096 markings, 65131 edges, 3935 markings/sec, 10 secs
lola: 78739 markings, 87489 edges, 3929 markings/sec, 15 secs
lola: 98366 markings, 110913 edges, 3925 markings/sec, 20 secs
lola: 117953 markings, 135718 edges, 3917 markings/sec, 25 secs
lola: 137574 markings, 158860 edges, 3924 markings/sec, 30 secs
lola: 157095 markings, 183991 edges, 3904 markings/sec, 35 secs
lola: 176691 markings, 207850 edges, 3919 markings/sec, 40 secs
lola: 196283 markings, 230847 edges, 3918 markings/sec, 45 secs
lola: 215806 markings, 256512 edges, 3905 markings/sec, 50 secs
lola: 235267 markings, 282285 edges, 3892 markings/sec, 55 secs
lola: 255151 markings, 308304 edges, 3977 markings/sec, 60 secs
lola: 275488 markings, 333494 edges, 4067 markings/sec, 65 secs
lola: 295798 markings, 358403 edges, 4062 markings/sec, 70 secs
lola: 316130 markings, 383075 edges, 4066 markings/sec, 75 secs
lola: 336457 markings, 409992 edges, 4065 markings/sec, 80 secs
lola: 356518 markings, 436985 edges, 4012 markings/sec, 85 secs
lola: 376849 markings, 462012 edges, 4066 markings/sec, 90 secs
lola: 397161 markings, 486830 edges, 4062 markings/sec, 95 secs
lola: 417481 markings, 511276 edges, 4064 markings/sec, 100 secs
lola: 437743 markings, 537158 edges, 4052 markings/sec, 105 secs
lola: 458005 markings, 564515 edges, 4052 markings/sec, 110 secs
lola: 478181 markings, 591528 edges, 4035 markings/sec, 115 secs
lola: 498421 markings, 616399 edges, 4048 markings/sec, 120 secs
lola: 518612 markings, 643262 edges, 4038 markings/sec, 125 secs
lola: 538813 markings, 671048 edges, 4040 markings/sec, 130 secs
lola: 558990 markings, 698642 edges, 4035 markings/sec, 135 secs
lola: 579289 markings, 723777 edges, 4060 markings/sec, 140 secs
lola: 599366 markings, 750388 edges, 4015 markings/sec, 145 secs
lola: 619571 markings, 776244 edges, 4041 markings/sec, 150 secs
lola: 639740 markings, 803920 edges, 4034 markings/sec, 155 secs
lola: 659918 markings, 831447 edges, 4036 markings/sec, 160 secs
lola: 680124 markings, 857000 edges, 4041 markings/sec, 165 secs
lola: 700274 markings, 882013 edges, 4030 markings/sec, 170 secs
lola: 720470 markings, 907019 edges, 4039 markings/sec, 175 secs
lola: 740673 markings, 933444 edges, 4041 markings/sec, 180 secs
lola: 760821 markings, 959462 edges, 4030 markings/sec, 185 secs
lola: 781085 markings, 986251 edges, 4053 markings/sec, 190 secs
lola: 801047 markings, 1012019 edges, 3992 markings/sec, 195 secs
lola: 821000 markings, 1037124 edges, 3991 markings/sec, 200 secs
lola: 840962 markings, 1062697 edges, 3992 markings/sec, 205 secs
lola: 860860 markings, 1089582 edges, 3980 markings/sec, 210 secs
lola: 880836 markings, 1115173 edges, 3995 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(p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 19750 markings, 20260 edges, 3950 markings/sec, 0 secs
lola: 40481 markings, 42229 edges, 4146 markings/sec, 5 secs
lola: 62125 markings, 65417 edges, 4329 markings/sec, 10 secs
lola: 83604 markings, 88563 edges, 4296 markings/sec, 15 secs
lola: 105118 markings, 112120 edges, 4303 markings/sec, 20 secs
lola: 126601 markings, 135792 edges, 4297 markings/sec, 25 secs
lola: 148036 markings, 159648 edges, 4287 markings/sec, 30 secs
lola: 169425 markings, 183274 edges, 4278 markings/sec, 35 secs
lola: 190782 markings, 207130 edges, 4271 markings/sec, 40 secs
lola: 212173 markings, 230985 edges, 4278 markings/sec, 45 secs
lola: 233595 markings, 255259 edges, 4284 markings/sec, 50 secs
lola: 254949 markings, 279980 edges, 4271 markings/sec, 55 secs
lola: 276244 markings, 304267 edges, 4259 markings/sec, 60 secs
lola: 297595 markings, 328830 edges, 4270 markings/sec, 65 secs
lola: 318827 markings, 352495 edges, 4246 markings/sec, 70 secs
lola: 340141 markings, 377643 edges, 4263 markings/sec, 75 secs
lola: 361435 markings, 401503 edges, 4259 markings/sec, 80 secs
lola: 382757 markings, 426006 edges, 4264 markings/sec, 85 secs
lola: 404033 markings, 450702 edges, 4255 markings/sec, 90 secs
lola: 425225 markings, 475700 edges, 4238 markings/sec, 95 secs
lola: 446505 markings, 500375 edges, 4256 markings/sec, 100 secs
lola: 467783 markings, 525163 edges, 4256 markings/sec, 105 secs
lola: 488975 markings, 549920 edges, 4238 markings/sec, 110 secs
lola: 510293 markings, 574515 edges, 4264 markings/sec, 115 secs
lola: 531513 markings, 599034 edges, 4244 markings/sec, 120 secs
lola: 552755 markings, 623626 edges, 4248 markings/sec, 125 secs
lola: 574009 markings, 647652 edges, 4251 markings/sec, 130 secs
lola: 595188 markings, 672265 edges, 4236 markings/sec, 135 secs
lola: 616345 markings, 698133 edges, 4231 markings/sec, 140 secs
lola: 637557 markings, 722319 edges, 4242 markings/sec, 145 secs
lola: 658827 markings, 747185 edges, 4254 markings/sec, 150 secs
lola: 680088 markings, 772118 edges, 4252 markings/sec, 155 secs
lola: 701313 markings, 796648 edges, 4245 markings/sec, 160 secs
lola: 722464 markings, 820720 edges, 4230 markings/sec, 165 secs
lola: 743631 markings, 845197 edges, 4233 markings/sec, 170 secs
lola: 764781 markings, 869918 edges, 4230 markings/sec, 175 secs
lola: 785888 markings, 894607 edges, 4221 markings/sec, 180 secs
lola: 807084 markings, 919909 edges, 4239 markings/sec, 185 secs
lola: 828314 markings, 945351 edges, 4246 markings/sec, 190 secs
lola: 849570 markings, 970393 edges, 4251 markings/sec, 195 secs
lola: 870797 markings, 995163 edges, 4245 markings/sec, 200 secs
lola: 891979 markings, 1020542 edges, 4236 markings/sec, 205 secs
lola: 913160 markings, 1044880 edges, 4236 markings/sec, 210 secs
lola: 934240 markings, 1070267 edges, 4216 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(p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 20153 markings, 20982 edges, 4031 markings/sec, 0 secs
lola: 40179 markings, 42534 edges, 4005 markings/sec, 5 secs
lola: 60036 markings, 64853 edges, 3971 markings/sec, 10 secs
lola: 79916 markings, 87947 edges, 3976 markings/sec, 15 secs
lola: 99743 markings, 111429 edges, 3965 markings/sec, 20 secs
lola: 119383 markings, 136218 edges, 3928 markings/sec, 25 secs
lola: 139125 markings, 160191 edges, 3948 markings/sec, 30 secs
lola: 158740 markings, 184113 edges, 3923 markings/sec, 35 secs
lola: 178475 markings, 207623 edges, 3947 markings/sec, 40 secs
lola: 198150 markings, 231259 edges, 3935 markings/sec, 45 secs
lola: 217739 markings, 255083 edges, 3918 markings/sec, 50 secs
lola: 237363 markings, 278553 edges, 3925 markings/sec, 55 secs
lola: 256905 markings, 302918 edges, 3908 markings/sec, 60 secs
lola: 276404 markings, 327701 edges, 3900 markings/sec, 65 secs
lola: 295919 markings, 351740 edges, 3903 markings/sec, 70 secs
lola: 315381 markings, 376605 edges, 3892 markings/sec, 75 secs
lola: 334795 markings, 401864 edges, 3883 markings/sec, 80 secs
lola: 354139 markings, 427212 edges, 3869 markings/sec, 85 secs
lola: 373607 markings, 451732 edges, 3894 markings/sec, 90 secs
lola: 393058 markings, 477032 edges, 3890 markings/sec, 95 secs
lola: 412448 markings, 502293 edges, 3878 markings/sec, 100 secs
lola: 431935 markings, 526890 edges, 3897 markings/sec, 105 secs
lola: 451549 markings, 550758 edges, 3923 markings/sec, 110 secs
lola: 470816 markings, 577295 edges, 3853 markings/sec, 115 secs
lola: 490091 markings, 602937 edges, 3855 markings/sec, 120 secs
lola: 509452 markings, 627640 edges, 3872 markings/sec, 125 secs
lola: 528699 markings, 652464 edges, 3849 markings/sec, 130 secs
lola: 548028 markings, 677519 edges, 3866 markings/sec, 135 secs
lola: 567380 markings, 702302 edges, 3870 markings/sec, 140 secs
lola: 586608 markings, 728074 edges, 3846 markings/sec, 145 secs
lola: 605815 markings, 753731 edges, 3841 markings/sec, 150 secs
lola: 625111 markings, 778802 edges, 3859 markings/sec, 155 secs
lola: 644350 markings, 803954 edges, 3848 markings/sec, 160 secs
lola: 663599 markings, 829238 edges, 3850 markings/sec, 165 secs
lola: 682762 markings, 855156 edges, 3833 markings/sec, 170 secs
lola: 701865 markings, 880854 edges, 3821 markings/sec, 175 secs
lola: 720983 markings, 907507 edges, 3824 markings/sec, 180 secs
lola: 740179 markings, 933357 edges, 3839 markings/sec, 185 secs
lola: 759386 markings, 960021 edges, 3841 markings/sec, 190 secs
lola: 778484 markings, 987229 edges, 3820 markings/sec, 195 secs
lola: 797649 markings, 1013078 edges, 3833 markings/sec, 200 secs
lola: 816900 markings, 1038421 edges, 3850 markings/sec, 205 secs
lola: 836207 markings, 1063514 edges, 3861 markings/sec, 210 secs
lola: 855147 markings, 1091184 edges, 3788 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(p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 20510 markings, 21113 edges, 4102 markings/sec, 0 secs
lola: 40938 markings, 42780 edges, 4086 markings/sec, 5 secs
lola: 61152 markings, 64390 edges, 4043 markings/sec, 10 secs
lola: 81359 markings, 86505 edges, 4041 markings/sec, 15 secs
lola: 101526 markings, 109314 edges, 4033 markings/sec, 20 secs
lola: 121674 markings, 131442 edges, 4030 markings/sec, 25 secs
lola: 141804 markings, 153938 edges, 4026 markings/sec, 30 secs
lola: 161996 markings, 177274 edges, 4038 markings/sec, 35 secs
lola: 182134 markings, 199769 edges, 4028 markings/sec, 40 secs
lola: 202292 markings, 222434 edges, 4032 markings/sec, 45 secs
lola: 222336 markings, 247900 edges, 4009 markings/sec, 50 secs
lola: 242420 markings, 271370 edges, 4017 markings/sec, 55 secs
lola: 262462 markings, 295282 edges, 4008 markings/sec, 60 secs
lola: 282571 markings, 318280 edges, 4022 markings/sec, 65 secs
lola: 302534 markings, 343418 edges, 3993 markings/sec, 70 secs
lola: 322589 markings, 366854 edges, 4011 markings/sec, 75 secs
lola: 342639 markings, 390540 edges, 4010 markings/sec, 80 secs
lola: 362682 markings, 413577 edges, 4009 markings/sec, 85 secs
lola: 382609 markings, 439427 edges, 3985 markings/sec, 90 secs
lola: 402546 markings, 464354 edges, 3987 markings/sec, 95 secs
lola: 422310 markings, 492018 edges, 3953 markings/sec, 100 secs
lola: 442196 markings, 515821 edges, 3977 markings/sec, 105 secs
lola: 462131 markings, 541138 edges, 3987 markings/sec, 110 secs
lola: 481974 markings, 567373 edges, 3969 markings/sec, 115 secs
lola: 501944 markings, 591843 edges, 3994 markings/sec, 120 secs
lola: 521794 markings, 618030 edges, 3970 markings/sec, 125 secs
lola: 541645 markings, 642875 edges, 3970 markings/sec, 130 secs
lola: 561528 markings, 666573 edges, 3977 markings/sec, 135 secs
lola: 581483 markings, 690236 edges, 3991 markings/sec, 140 secs
lola: 601438 markings, 714201 edges, 3991 markings/sec, 145 secs
lola: 621286 markings, 738837 edges, 3970 markings/sec, 150 secs
lola: 641098 markings, 764877 edges, 3962 markings/sec, 155 secs
lola: 660896 markings, 790983 edges, 3960 markings/sec, 160 secs
lola: 680716 markings, 817397 edges, 3964 markings/sec, 165 secs
lola: 700645 markings, 840708 edges, 3986 markings/sec, 170 secs
lola: 720542 markings, 866109 edges, 3979 markings/sec, 175 secs
lola: 740384 markings, 891187 edges, 3968 markings/sec, 180 secs
lola: 760274 markings, 914983 edges, 3978 markings/sec, 185 secs
lola: 780109 markings, 939785 edges, 3967 markings/sec, 190 secs
lola: 799132 markings, 962744 edges, 3805 markings/sec, 195 secs
lola: 818953 markings, 986129 edges, 3964 markings/sec, 200 secs
lola: 838770 markings, 1010316 edges, 3963 markings/sec, 205 secs
lola: 858524 markings, 1034951 edges, 3951 markings/sec, 210 secs
lola: 878349 markings, 1059034 edges, 3965 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(p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3248 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: 20521 markings, 21011 edges, 4104 markings/sec, 0 secs
lola: 40911 markings, 42761 edges, 4078 markings/sec, 5 secs
lola: 61324 markings, 64485 edges, 4083 markings/sec, 10 secs
lola: 81649 markings, 86975 edges, 4065 markings/sec, 15 secs
lola: 101897 markings, 109287 edges, 4050 markings/sec, 20 secs
lola: 122089 markings, 131790 edges, 4038 markings/sec, 25 secs
lola: 142116 markings, 154718 edges, 4005 markings/sec, 30 secs
lola: 162298 markings, 177283 edges, 4036 markings/sec, 35 secs
lola: 182218 markings, 201208 edges, 3984 markings/sec, 40 secs
lola: 202313 markings, 226898 edges, 4019 markings/sec, 45 secs
lola: 222425 markings, 251211 edges, 4022 markings/sec, 50 secs
lola: 242449 markings, 277440 edges, 4005 markings/sec, 55 secs
lola: 262451 markings, 302823 edges, 4000 markings/sec, 60 secs
lola: 282440 markings, 326298 edges, 3998 markings/sec, 65 secs
lola: 302478 markings, 351238 edges, 4008 markings/sec, 70 secs
lola: 322421 markings, 377132 edges, 3989 markings/sec, 75 secs
lola: 342359 markings, 399906 edges, 3988 markings/sec, 80 secs
lola: 362258 markings, 428878 edges, 3980 markings/sec, 85 secs
lola: 382077 markings, 453579 edges, 3964 markings/sec, 90 secs
lola: 401986 markings, 477045 edges, 3982 markings/sec, 95 secs
lola: 421852 markings, 501995 edges, 3973 markings/sec, 100 secs
lola: 441379 markings, 534918 edges, 3905 markings/sec, 105 secs
lola: 460829 markings, 568741 edges, 3890 markings/sec, 110 secs
lola: 480705 markings, 592075 edges, 3975 markings/sec, 115 secs
lola: 500400 markings, 624615 edges, 3939 markings/sec, 120 secs
lola: 520206 markings, 648623 edges, 3961 markings/sec, 125 secs
lola: 539986 markings, 676985 edges, 3956 markings/sec, 130 secs
lola: 559799 markings, 702602 edges, 3963 markings/sec, 135 secs
lola: 579486 markings, 726509 edges, 3937 markings/sec, 140 secs
lola: 599164 markings, 749533 edges, 3936 markings/sec, 145 secs
lola: 618924 markings, 772077 edges, 3952 markings/sec, 150 secs
lola: 638652 markings, 795796 edges, 3946 markings/sec, 155 secs
lola: 658529 markings, 819532 edges, 3975 markings/sec, 160 secs
lola: 678194 markings, 844748 edges, 3933 markings/sec, 165 secs
lola: 697971 markings, 868195 edges, 3955 markings/sec, 170 secs
lola: 717787 markings, 891522 edges, 3963 markings/sec, 175 secs
lola: 737491 markings, 916451 edges, 3941 markings/sec, 180 secs
lola: 757371 markings, 939807 edges, 3976 markings/sec, 185 secs
lola: 777059 markings, 965132 edges, 3938 markings/sec, 190 secs
lola: 796837 markings, 988466 edges, 3956 markings/sec, 195 secs
lola: 816418 markings, 1011360 edges, 3916 markings/sec, 200 secs
lola: 836123 markings, 1036145 edges, 3941 markings/sec, 205 secs
lola: 855801 markings, 1059548 edges, 3936 markings/sec, 210 secs
lola: 875508 markings, 1081430 edges, 3941 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-S04J04T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496398549873
--------------------
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-S04J04T10"
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-S04J04T10.tgz
mv S_PolyORBLF-COL-S04J04T10 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-S04J04T10, 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-149441681500335"
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 ;