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

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

=== Now, execution of the tool begins

BK_START 1496406511712


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S04J06T08: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S04J06T08: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S04J06T08 @ 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: 5060/65536 symbol table entries, 918 collisions
lola: preprocessing...
lola: finding significant places
lola: 792 places, 4268 transitions, 734 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2899 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T08-UpperBounds.task
lola: MAX(p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406) : MAX(p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490) : MAX(p0 + p1 + p2 + p3) : MAX(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182) : MAX(p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439) : MAX(p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390) : MAX(p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708) : MAX(p44 + p43 + p42 + p38 + p39 + p40 + p41 + p45) : MAX(p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773) : MAX(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182) : MAX(p791) : MAX(p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546) : MAX(p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320) : MAX(p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28) : MAX(p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406) : MAX(p466)
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(p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19649 markings, 21172 edges, 3930 markings/sec, 0 secs
lola: 40348 markings, 43843 edges, 4140 markings/sec, 5 secs
lola: 61107 markings, 67146 edges, 4152 markings/sec, 10 secs
lola: 81794 markings, 89953 edges, 4137 markings/sec, 15 secs
lola: 101722 markings, 112341 edges, 3986 markings/sec, 20 secs
lola: 122300 markings, 135408 edges, 4116 markings/sec, 25 secs
lola: 142800 markings, 158375 edges, 4100 markings/sec, 30 secs
lola: 163472 markings, 181886 edges, 4134 markings/sec, 35 secs
lola: 184097 markings, 205400 edges, 4125 markings/sec, 40 secs
lola: 204784 markings, 229071 edges, 4137 markings/sec, 45 secs
lola: 225377 markings, 252745 edges, 4119 markings/sec, 50 secs
lola: 246030 markings, 276475 edges, 4131 markings/sec, 55 secs
lola: 266724 markings, 299999 edges, 4139 markings/sec, 60 secs
lola: 287227 markings, 323053 edges, 4101 markings/sec, 65 secs
lola: 307795 markings, 346126 edges, 4114 markings/sec, 70 secs
lola: 328233 markings, 369211 edges, 4088 markings/sec, 75 secs
lola: 349030 markings, 392717 edges, 4159 markings/sec, 80 secs
lola: 369900 markings, 416006 edges, 4174 markings/sec, 85 secs
lola: 390613 markings, 439178 edges, 4143 markings/sec, 90 secs
lola: 411260 markings, 462990 edges, 4129 markings/sec, 95 secs
lola: 432034 markings, 486624 edges, 4155 markings/sec, 100 secs
lola: 452919 markings, 510426 edges, 4177 markings/sec, 105 secs
lola: 473694 markings, 534064 edges, 4155 markings/sec, 110 secs
lola: 494460 markings, 557814 edges, 4153 markings/sec, 115 secs
lola: 515244 markings, 581401 edges, 4157 markings/sec, 120 secs
lola: 535928 markings, 604935 edges, 4137 markings/sec, 125 secs
lola: 556657 markings, 628805 edges, 4146 markings/sec, 130 secs
lola: 577183 markings, 652234 edges, 4105 markings/sec, 135 secs
lola: 597891 markings, 675948 edges, 4142 markings/sec, 140 secs
lola: 618601 markings, 699643 edges, 4142 markings/sec, 145 secs
lola: 639328 markings, 723273 edges, 4145 markings/sec, 150 secs
lola: 660021 markings, 747152 edges, 4139 markings/sec, 155 secs
lola: 680694 markings, 770875 edges, 4135 markings/sec, 160 secs
lola: 701409 markings, 794440 edges, 4143 markings/sec, 165 secs
lola: 722164 markings, 818098 edges, 4151 markings/sec, 170 secs
lola: 742886 markings, 841872 edges, 4144 markings/sec, 175 secs
lola: 763537 markings, 865470 edges, 4130 markings/sec, 180 secs
lola: 784212 markings, 888589 edges, 4135 markings/sec, 185 secs
lola: 805014 markings, 912928 edges, 4160 markings/sec, 190 secs
lola: 825710 markings, 936833 edges, 4139 markings/sec, 195 secs
lola: 846356 markings, 960865 edges, 4129 markings/sec, 200 secs
lola: 867003 markings, 984150 edges, 4129 markings/sec, 205 secs
lola: 887712 markings, 1008096 edges, 4142 markings/sec, 210 secs
lola: 908487 markings, 1031583 edges, 4155 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(p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 20710 markings, 22302 edges, 4142 markings/sec, 0 secs
lola: 41391 markings, 44923 edges, 4136 markings/sec, 5 secs
lola: 62141 markings, 68202 edges, 4150 markings/sec, 10 secs
lola: 82840 markings, 90926 edges, 4140 markings/sec, 15 secs
lola: 103596 markings, 114252 edges, 4151 markings/sec, 20 secs
lola: 124333 markings, 137530 edges, 4147 markings/sec, 25 secs
lola: 145058 markings, 160773 edges, 4145 markings/sec, 30 secs
lola: 165856 markings, 184211 edges, 4160 markings/sec, 35 secs
lola: 186640 markings, 207572 edges, 4157 markings/sec, 40 secs
lola: 207377 markings, 231061 edges, 4147 markings/sec, 45 secs
lola: 228131 markings, 254366 edges, 4151 markings/sec, 50 secs
lola: 248973 markings, 278025 edges, 4168 markings/sec, 55 secs
lola: 269794 markings, 301814 edges, 4164 markings/sec, 60 secs
lola: 290620 markings, 325336 edges, 4165 markings/sec, 65 secs
lola: 311343 markings, 348937 edges, 4145 markings/sec, 70 secs
lola: 332101 markings, 372335 edges, 4152 markings/sec, 75 secs
lola: 352827 markings, 395547 edges, 4145 markings/sec, 80 secs
lola: 373597 markings, 418514 edges, 4154 markings/sec, 85 secs
lola: 394317 markings, 442056 edges, 4144 markings/sec, 90 secs
lola: 415110 markings, 466196 edges, 4159 markings/sec, 95 secs
lola: 435832 markings, 489968 edges, 4144 markings/sec, 100 secs
lola: 456663 markings, 513704 edges, 4166 markings/sec, 105 secs
lola: 477430 markings, 537157 edges, 4153 markings/sec, 110 secs
lola: 498202 markings, 560273 edges, 4154 markings/sec, 115 secs
lola: 518976 markings, 583535 edges, 4155 markings/sec, 120 secs
lola: 539711 markings, 607414 edges, 4147 markings/sec, 125 secs
lola: 560488 markings, 631342 edges, 4155 markings/sec, 130 secs
lola: 581207 markings, 655193 edges, 4144 markings/sec, 135 secs
lola: 601972 markings, 678383 edges, 4153 markings/sec, 140 secs
lola: 622656 markings, 702098 edges, 4137 markings/sec, 145 secs
lola: 643426 markings, 725747 edges, 4154 markings/sec, 150 secs
lola: 664199 markings, 749501 edges, 4155 markings/sec, 155 secs
lola: 685035 markings, 773351 edges, 4167 markings/sec, 160 secs
lola: 705786 markings, 797180 edges, 4150 markings/sec, 165 secs
lola: 726537 markings, 820823 edges, 4150 markings/sec, 170 secs
lola: 747267 markings, 844827 edges, 4146 markings/sec, 175 secs
lola: 768062 markings, 868554 edges, 4159 markings/sec, 180 secs
lola: 788873 markings, 892249 edges, 4162 markings/sec, 185 secs
lola: 809650 markings, 915844 edges, 4155 markings/sec, 190 secs
lola: 830359 markings, 939416 edges, 4142 markings/sec, 195 secs
lola: 851071 markings, 963123 edges, 4142 markings/sec, 200 secs
lola: 871815 markings, 986629 edges, 4149 markings/sec, 205 secs
lola: 892541 markings, 1010273 edges, 4145 markings/sec, 210 secs
lola: 913347 markings, 1034254 edges, 4161 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(p0 + p1 + p2 + p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19791 markings, 20138 edges, 3958 markings/sec, 0 secs
lola: 39479 markings, 40481 edges, 3938 markings/sec, 5 secs
lola: 59109 markings, 60839 edges, 3926 markings/sec, 10 secs
lola: 79007 markings, 81237 edges, 3980 markings/sec, 15 secs
lola: 98974 markings, 101985 edges, 3993 markings/sec, 20 secs
lola: 119053 markings, 122785 edges, 4016 markings/sec, 25 secs
lola: 139177 markings, 143680 edges, 4025 markings/sec, 30 secs
lola: 159370 markings, 164373 edges, 4039 markings/sec, 35 secs
lola: 179416 markings, 185287 edges, 4009 markings/sec, 40 secs
lola: 199576 markings, 206079 edges, 4032 markings/sec, 45 secs
lola: 219730 markings, 226921 edges, 4031 markings/sec, 50 secs
lola: 239024 markings, 246933 edges, 3859 markings/sec, 55 secs
lola: 258281 markings, 266956 edges, 3851 markings/sec, 60 secs
lola: 277609 markings, 286974 edges, 3866 markings/sec, 65 secs
lola: 296923 markings, 307005 edges, 3863 markings/sec, 70 secs
lola: 316240 markings, 327200 edges, 3863 markings/sec, 75 secs
lola: 335603 markings, 347404 edges, 3873 markings/sec, 80 secs
lola: 355736 markings, 368429 edges, 4027 markings/sec, 85 secs
lola: 375942 markings, 389588 edges, 4041 markings/sec, 90 secs
lola: 396101 markings, 410587 edges, 4032 markings/sec, 95 secs
lola: 416326 markings, 431591 edges, 4045 markings/sec, 100 secs
lola: 436509 markings, 452781 edges, 4037 markings/sec, 105 secs
lola: 456497 markings, 473423 edges, 3998 markings/sec, 110 secs
lola: 476645 markings, 494394 edges, 4030 markings/sec, 115 secs
lola: 496806 markings, 515482 edges, 4032 markings/sec, 120 secs
lola: 516979 markings, 536641 edges, 4035 markings/sec, 125 secs
lola: 537202 markings, 557797 edges, 4045 markings/sec, 130 secs
lola: 557360 markings, 578712 edges, 4032 markings/sec, 135 secs
lola: 577725 markings, 599966 edges, 4073 markings/sec, 140 secs
lola: 597849 markings, 620930 edges, 4025 markings/sec, 145 secs
lola: 618196 markings, 642216 edges, 4069 markings/sec, 150 secs
lola: 638300 markings, 663031 edges, 4021 markings/sec, 155 secs
lola: 658638 markings, 684218 edges, 4068 markings/sec, 160 secs
lola: 678830 markings, 705184 edges, 4038 markings/sec, 165 secs
lola: 699009 markings, 726185 edges, 4036 markings/sec, 170 secs
lola: 719407 markings, 747512 edges, 4080 markings/sec, 175 secs
lola: 739589 markings, 768501 edges, 4036 markings/sec, 180 secs
lola: 759755 markings, 789428 edges, 4033 markings/sec, 185 secs
lola: 779990 markings, 810715 edges, 4047 markings/sec, 190 secs
lola: 800293 markings, 832030 edges, 4061 markings/sec, 195 secs
lola: 820594 markings, 853208 edges, 4060 markings/sec, 200 secs
lola: 840904 markings, 874485 edges, 4062 markings/sec, 205 secs
lola: 861187 markings, 895793 edges, 4057 markings/sec, 210 secs
lola: 881487 markings, 916958 edges, 4060 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(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19614 markings, 19956 edges, 3923 markings/sec, 0 secs
lola: 39108 markings, 40111 edges, 3899 markings/sec, 5 secs
lola: 58591 markings, 60293 edges, 3897 markings/sec, 10 secs
lola: 78244 markings, 80502 edges, 3931 markings/sec, 15 secs
lola: 97791 markings, 100850 edges, 3909 markings/sec, 20 secs
lola: 117759 markings, 121298 edges, 3994 markings/sec, 25 secs
lola: 137721 markings, 142031 edges, 3992 markings/sec, 30 secs
lola: 157620 markings, 162669 edges, 3980 markings/sec, 35 secs
lola: 177454 markings, 183213 edges, 3967 markings/sec, 40 secs
lola: 197615 markings, 204073 edges, 4032 markings/sec, 45 secs
lola: 217623 markings, 224886 edges, 4002 markings/sec, 50 secs
lola: 237745 markings, 245743 edges, 4024 markings/sec, 55 secs
lola: 257788 markings, 266479 edges, 4009 markings/sec, 60 secs
lola: 277949 markings, 287405 edges, 4032 markings/sec, 65 secs
lola: 297989 markings, 308300 edges, 4008 markings/sec, 70 secs
lola: 318136 markings, 329293 edges, 4029 markings/sec, 75 secs
lola: 338148 markings, 350134 edges, 4002 markings/sec, 80 secs
lola: 358201 markings, 370817 edges, 4011 markings/sec, 85 secs
lola: 378342 markings, 391798 edges, 4028 markings/sec, 90 secs
lola: 398346 markings, 412799 edges, 4001 markings/sec, 95 secs
lola: 418461 markings, 433716 edges, 4023 markings/sec, 100 secs
lola: 438529 markings, 454708 edges, 4014 markings/sec, 105 secs
lola: 458596 markings, 475540 edges, 4013 markings/sec, 110 secs
lola: 478720 markings, 496343 edges, 4025 markings/sec, 115 secs
lola: 498834 markings, 517287 edges, 4023 markings/sec, 120 secs
lola: 518689 markings, 538054 edges, 3971 markings/sec, 125 secs
lola: 538761 markings, 559019 edges, 4014 markings/sec, 130 secs
lola: 558790 markings, 579949 edges, 4006 markings/sec, 135 secs
lola: 578850 markings, 600803 edges, 4012 markings/sec, 140 secs
lola: 598893 markings, 621594 edges, 4009 markings/sec, 145 secs
lola: 618842 markings, 642398 edges, 3990 markings/sec, 150 secs
lola: 639052 markings, 663465 edges, 4042 markings/sec, 155 secs
lola: 659245 markings, 684554 edges, 4039 markings/sec, 160 secs
lola: 679421 markings, 705540 edges, 4035 markings/sec, 165 secs
lola: 699561 markings, 726579 edges, 4028 markings/sec, 170 secs
lola: 719668 markings, 747588 edges, 4021 markings/sec, 175 secs
lola: 739840 markings, 768602 edges, 4034 markings/sec, 180 secs
lola: 759999 markings, 789651 edges, 4032 markings/sec, 185 secs
lola: 780046 markings, 810560 edges, 4009 markings/sec, 190 secs
lola: 800071 markings, 831563 edges, 4005 markings/sec, 195 secs
lola: 820233 markings, 852645 edges, 4032 markings/sec, 200 secs
lola: 840288 markings, 873691 edges, 4011 markings/sec, 205 secs
lola: 860314 markings, 894603 edges, 4005 markings/sec, 210 secs
lola: 880401 markings, 915587 edges, 4017 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(p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19707 markings, 20109 edges, 3941 markings/sec, 0 secs
lola: 39403 markings, 40288 edges, 3939 markings/sec, 5 secs
lola: 59048 markings, 60653 edges, 3929 markings/sec, 10 secs
lola: 78589 markings, 81040 edges, 3908 markings/sec, 15 secs
lola: 98263 markings, 101284 edges, 3935 markings/sec, 20 secs
lola: 117907 markings, 121586 edges, 3929 markings/sec, 25 secs
lola: 137582 markings, 141979 edges, 3935 markings/sec, 30 secs
lola: 157247 markings, 162189 edges, 3933 markings/sec, 35 secs
lola: 176551 markings, 182638 edges, 3861 markings/sec, 40 secs
lola: 196303 markings, 203080 edges, 3950 markings/sec, 45 secs
lola: 215844 markings, 223460 edges, 3908 markings/sec, 50 secs
lola: 235255 markings, 243991 edges, 3882 markings/sec, 55 secs
lola: 254668 markings, 264268 edges, 3883 markings/sec, 60 secs
lola: 274145 markings, 284672 edges, 3895 markings/sec, 65 secs
lola: 293567 markings, 305241 edges, 3884 markings/sec, 70 secs
lola: 312813 markings, 325936 edges, 3849 markings/sec, 75 secs
lola: 331821 markings, 346779 edges, 3802 markings/sec, 80 secs
lola: 351444 markings, 367308 edges, 3925 markings/sec, 85 secs
lola: 370895 markings, 387619 edges, 3890 markings/sec, 90 secs
lola: 390446 markings, 407951 edges, 3910 markings/sec, 95 secs
lola: 409655 markings, 428693 edges, 3842 markings/sec, 100 secs
lola: 429167 markings, 449005 edges, 3902 markings/sec, 105 secs
lola: 448808 markings, 469712 edges, 3928 markings/sec, 110 secs
lola: 467756 markings, 490645 edges, 3790 markings/sec, 115 secs
lola: 486484 markings, 511924 edges, 3746 markings/sec, 120 secs
lola: 505321 markings, 532951 edges, 3767 markings/sec, 125 secs
lola: 524812 markings, 553579 edges, 3898 markings/sec, 130 secs
lola: 543478 markings, 574689 edges, 3733 markings/sec, 135 secs
lola: 562586 markings, 595423 edges, 3822 markings/sec, 140 secs
lola: 582033 markings, 615835 edges, 3889 markings/sec, 145 secs
lola: 601746 markings, 636287 edges, 3943 markings/sec, 150 secs
lola: 621370 markings, 656770 edges, 3925 markings/sec, 155 secs
lola: 640837 markings, 677119 edges, 3893 markings/sec, 160 secs
lola: 660281 markings, 697729 edges, 3889 markings/sec, 165 secs
lola: 679844 markings, 718321 edges, 3913 markings/sec, 170 secs
lola: 699191 markings, 738898 edges, 3869 markings/sec, 175 secs
lola: 718444 markings, 759725 edges, 3851 markings/sec, 180 secs
lola: 737738 markings, 780429 edges, 3859 markings/sec, 185 secs
lola: 756918 markings, 801264 edges, 3836 markings/sec, 190 secs
lola: 776393 markings, 821824 edges, 3895 markings/sec, 195 secs
lola: 795690 markings, 842413 edges, 3859 markings/sec, 200 secs
lola: 815012 markings, 863047 edges, 3864 markings/sec, 205 secs
lola: 834430 markings, 883490 edges, 3884 markings/sec, 210 secs
lola: 853747 markings, 904059 edges, 3863 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(p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19768 markings, 20114 edges, 3954 markings/sec, 0 secs
lola: 39436 markings, 40469 edges, 3934 markings/sec, 5 secs
lola: 59100 markings, 60844 edges, 3933 markings/sec, 10 secs
lola: 78924 markings, 81225 edges, 3965 markings/sec, 15 secs
lola: 98662 markings, 101724 edges, 3948 markings/sec, 20 secs
lola: 118817 markings, 122400 edges, 4031 markings/sec, 25 secs
lola: 138954 markings, 143313 edges, 4027 markings/sec, 30 secs
lola: 159000 markings, 164072 edges, 4009 markings/sec, 35 secs
lola: 179051 markings, 184868 edges, 4010 markings/sec, 40 secs
lola: 199170 markings, 205680 edges, 4024 markings/sec, 45 secs
lola: 219234 markings, 226560 edges, 4013 markings/sec, 50 secs
lola: 239316 markings, 247379 edges, 4016 markings/sec, 55 secs
lola: 259403 markings, 268173 edges, 4017 markings/sec, 60 secs
lola: 279534 markings, 289048 edges, 4026 markings/sec, 65 secs
lola: 299562 markings, 309932 edges, 4006 markings/sec, 70 secs
lola: 319726 markings, 330950 edges, 4033 markings/sec, 75 secs
lola: 339734 markings, 351752 edges, 4002 markings/sec, 80 secs
lola: 359721 markings, 372384 edges, 3997 markings/sec, 85 secs
lola: 379822 markings, 393357 edges, 4020 markings/sec, 90 secs
lola: 399897 markings, 414424 edges, 4015 markings/sec, 95 secs
lola: 419987 markings, 435318 edges, 4018 markings/sec, 100 secs
lola: 440105 markings, 456352 edges, 4024 markings/sec, 105 secs
lola: 460117 markings, 477113 edges, 4002 markings/sec, 110 secs
lola: 480292 markings, 498010 edges, 4035 markings/sec, 115 secs
lola: 500432 markings, 518956 edges, 4028 markings/sec, 120 secs
lola: 520234 markings, 539735 edges, 3960 markings/sec, 125 secs
lola: 540388 markings, 560707 edges, 4031 markings/sec, 130 secs
lola: 560388 markings, 581620 edges, 4000 markings/sec, 135 secs
lola: 580420 markings, 602466 edges, 4006 markings/sec, 140 secs
lola: 600465 markings, 623209 edges, 4009 markings/sec, 145 secs
lola: 620442 markings, 644083 edges, 3995 markings/sec, 150 secs
lola: 640582 markings, 665004 edges, 4028 markings/sec, 155 secs
lola: 660739 markings, 686094 edges, 4031 markings/sec, 160 secs
lola: 680975 markings, 707167 edges, 4047 markings/sec, 165 secs
lola: 701018 markings, 728045 edges, 4009 markings/sec, 170 secs
lola: 721148 markings, 749127 edges, 4026 markings/sec, 175 secs
lola: 741325 markings, 770160 edges, 4035 markings/sec, 180 secs
lola: 761481 markings, 791196 edges, 4031 markings/sec, 185 secs
lola: 781474 markings, 812045 edges, 3999 markings/sec, 190 secs
lola: 801478 markings, 833028 edges, 4001 markings/sec, 195 secs
lola: 821633 markings, 854100 edges, 4031 markings/sec, 200 secs
lola: 841665 markings, 875126 edges, 4006 markings/sec, 205 secs
lola: 861591 markings, 895927 edges, 3985 markings/sec, 210 secs
lola: 881730 markings, 916974 edges, 4028 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(p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 20135 markings, 20562 edges, 4027 markings/sec, 0 secs
lola: 40209 markings, 41325 edges, 4015 markings/sec, 5 secs
lola: 60324 markings, 62113 edges, 4023 markings/sec, 10 secs
lola: 80590 markings, 83056 edges, 4053 markings/sec, 15 secs
lola: 100640 markings, 103750 edges, 4010 markings/sec, 20 secs
lola: 120778 markings, 124713 edges, 4028 markings/sec, 25 secs
lola: 140611 markings, 145991 edges, 3967 markings/sec, 30 secs
lola: 160656 markings, 166830 edges, 4009 markings/sec, 35 secs
lola: 180578 markings, 187795 edges, 3984 markings/sec, 40 secs
lola: 200272 markings, 208647 edges, 3939 markings/sec, 45 secs
lola: 219948 markings, 229541 edges, 3935 markings/sec, 50 secs
lola: 240038 markings, 250835 edges, 4018 markings/sec, 55 secs
lola: 260017 markings, 271880 edges, 3996 markings/sec, 60 secs
lola: 279998 markings, 292884 edges, 3996 markings/sec, 65 secs
lola: 299797 markings, 314156 edges, 3960 markings/sec, 70 secs
lola: 319791 markings, 335345 edges, 3999 markings/sec, 75 secs
lola: 339780 markings, 356334 edges, 3998 markings/sec, 80 secs
lola: 359807 markings, 377699 edges, 4005 markings/sec, 85 secs
lola: 379889 markings, 398718 edges, 4016 markings/sec, 90 secs
lola: 400138 markings, 419872 edges, 4050 markings/sec, 95 secs
lola: 420319 markings, 440992 edges, 4036 markings/sec, 100 secs
lola: 440555 markings, 462425 edges, 4047 markings/sec, 105 secs
lola: 459757 markings, 483851 edges, 3840 markings/sec, 110 secs
lola: 479316 markings, 505036 edges, 3912 markings/sec, 115 secs
lola: 499451 markings, 526163 edges, 4027 markings/sec, 120 secs
lola: 519391 markings, 547429 edges, 3988 markings/sec, 125 secs
lola: 539599 markings, 568532 edges, 4042 markings/sec, 130 secs
lola: 559627 markings, 589776 edges, 4006 markings/sec, 135 secs
lola: 579204 markings, 611747 edges, 3915 markings/sec, 140 secs
lola: 599163 markings, 633230 edges, 3992 markings/sec, 145 secs
lola: 619380 markings, 654403 edges, 4043 markings/sec, 150 secs
lola: 639681 markings, 675653 edges, 4060 markings/sec, 155 secs
lola: 660043 markings, 696981 edges, 4072 markings/sec, 160 secs
lola: 679798 markings, 717803 edges, 3951 markings/sec, 165 secs
lola: 699994 markings, 738945 edges, 4039 markings/sec, 170 secs
lola: 720231 markings, 760382 edges, 4047 markings/sec, 175 secs
lola: 740592 markings, 781612 edges, 4072 markings/sec, 180 secs
lola: 760180 markings, 802911 edges, 3918 markings/sec, 185 secs
lola: 780329 markings, 824404 edges, 4030 markings/sec, 190 secs
lola: 800446 markings, 845608 edges, 4023 markings/sec, 195 secs
lola: 820714 markings, 866994 edges, 4054 markings/sec, 200 secs
lola: 841084 markings, 888295 edges, 4074 markings/sec, 205 secs
lola: 861462 markings, 909610 edges, 4076 markings/sec, 210 secs
lola: 881657 markings, 930831 edges, 4039 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(p44 + p43 + p42 + p38 + p39 + p40 + p41 + p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 20494 markings, 21074 edges, 4099 markings/sec, 0 secs
lola: 41074 markings, 42539 edges, 4116 markings/sec, 5 secs
lola: 61735 markings, 64088 edges, 4132 markings/sec, 10 secs
lola: 82529 markings, 85956 edges, 4159 markings/sec, 15 secs
lola: 103294 markings, 107746 edges, 4153 markings/sec, 20 secs
lola: 124089 markings, 129763 edges, 4159 markings/sec, 25 secs
lola: 144921 markings, 151623 edges, 4166 markings/sec, 30 secs
lola: 165695 markings, 173490 edges, 4155 markings/sec, 35 secs
lola: 186479 markings, 195421 edges, 4157 markings/sec, 40 secs
lola: 207228 markings, 217278 edges, 4150 markings/sec, 45 secs
lola: 227894 markings, 238807 edges, 4133 markings/sec, 50 secs
lola: 248648 markings, 260728 edges, 4151 markings/sec, 55 secs
lola: 269413 markings, 282516 edges, 4153 markings/sec, 60 secs
lola: 290268 markings, 304567 edges, 4171 markings/sec, 65 secs
lola: 311022 markings, 326425 edges, 4151 markings/sec, 70 secs
lola: 331863 markings, 348487 edges, 4168 markings/sec, 75 secs
lola: 352643 markings, 370400 edges, 4156 markings/sec, 80 secs
lola: 373516 markings, 392442 edges, 4175 markings/sec, 85 secs
lola: 394293 markings, 414183 edges, 4155 markings/sec, 90 secs
lola: 415165 markings, 436258 edges, 4174 markings/sec, 95 secs
lola: 435994 markings, 458215 edges, 4166 markings/sec, 100 secs
lola: 456812 markings, 480077 edges, 4164 markings/sec, 105 secs
lola: 477508 markings, 501763 edges, 4139 markings/sec, 110 secs
lola: 498295 markings, 523593 edges, 4157 markings/sec, 115 secs
lola: 519107 markings, 545412 edges, 4162 markings/sec, 120 secs
lola: 539855 markings, 567314 edges, 4150 markings/sec, 125 secs
lola: 560692 markings, 589314 edges, 4167 markings/sec, 130 secs
lola: 581445 markings, 611120 edges, 4151 markings/sec, 135 secs
lola: 602081 markings, 632896 edges, 4127 markings/sec, 140 secs
lola: 622784 markings, 654699 edges, 4141 markings/sec, 145 secs
lola: 643524 markings, 676451 edges, 4148 markings/sec, 150 secs
lola: 664263 markings, 698143 edges, 4148 markings/sec, 155 secs
lola: 685213 markings, 720402 edges, 4190 markings/sec, 160 secs
lola: 705870 markings, 742131 edges, 4131 markings/sec, 165 secs
lola: 726615 markings, 763962 edges, 4149 markings/sec, 170 secs
lola: 747354 markings, 785805 edges, 4148 markings/sec, 175 secs
lola: 768175 markings, 807822 edges, 4164 markings/sec, 180 secs
lola: 788901 markings, 829699 edges, 4145 markings/sec, 185 secs
lola: 809610 markings, 851431 edges, 4142 markings/sec, 190 secs
lola: 830195 markings, 873004 edges, 4117 markings/sec, 195 secs
lola: 850985 markings, 894991 edges, 4158 markings/sec, 200 secs
lola: 871781 markings, 917068 edges, 4159 markings/sec, 205 secs
lola: 892559 markings, 939083 edges, 4156 markings/sec, 210 secs
lola: 913372 markings, 961091 edges, 4163 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(p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19834 markings, 20181 edges, 3967 markings/sec, 0 secs
lola: 39616 markings, 40620 edges, 3956 markings/sec, 5 secs
lola: 59305 markings, 61035 edges, 3938 markings/sec, 10 secs
lola: 79280 markings, 81517 edges, 3995 markings/sec, 15 secs
lola: 99322 markings, 102355 edges, 4008 markings/sec, 20 secs
lola: 119522 markings, 123274 edges, 4040 markings/sec, 25 secs
lola: 139704 markings, 144208 edges, 4036 markings/sec, 30 secs
lola: 160007 markings, 165052 edges, 4061 markings/sec, 35 secs
lola: 180182 markings, 186078 edges, 4035 markings/sec, 40 secs
lola: 200411 markings, 206937 edges, 4046 markings/sec, 45 secs
lola: 220750 markings, 227955 edges, 4068 markings/sec, 50 secs
lola: 240400 markings, 248370 edges, 3930 markings/sec, 55 secs
lola: 260488 markings, 269189 edges, 4018 markings/sec, 60 secs
lola: 280736 markings, 290180 edges, 4050 markings/sec, 65 secs
lola: 300858 markings, 311191 edges, 4024 markings/sec, 70 secs
lola: 321170 markings, 332359 edges, 4062 markings/sec, 75 secs
lola: 341333 markings, 353447 edges, 4033 markings/sec, 80 secs
lola: 361519 markings, 374504 edges, 4037 markings/sec, 85 secs
lola: 381181 markings, 395053 edges, 3932 markings/sec, 90 secs
lola: 401571 markings, 416228 edges, 4078 markings/sec, 95 secs
lola: 421572 markings, 437099 edges, 4000 markings/sec, 100 secs
lola: 441877 markings, 458405 edges, 4061 markings/sec, 105 secs
lola: 462094 markings, 479249 edges, 4043 markings/sec, 110 secs
lola: 482532 markings, 500553 edges, 4088 markings/sec, 115 secs
lola: 502846 markings, 521883 edges, 4063 markings/sec, 120 secs
lola: 523255 markings, 543200 edges, 4082 markings/sec, 125 secs
lola: 543524 markings, 564314 edges, 4054 markings/sec, 130 secs
lola: 564006 markings, 585663 edges, 4096 markings/sec, 135 secs
lola: 584484 markings, 606937 edges, 4096 markings/sec, 140 secs
lola: 604266 markings, 627634 edges, 3956 markings/sec, 145 secs
lola: 623938 markings, 648265 edges, 3934 markings/sec, 150 secs
lola: 643489 markings, 668376 edges, 3910 markings/sec, 155 secs
lola: 663650 markings, 689447 edges, 4032 markings/sec, 160 secs
lola: 683635 markings, 710120 edges, 3997 markings/sec, 165 secs
lola: 703715 markings, 731126 edges, 4016 markings/sec, 170 secs
lola: 724235 markings, 752486 edges, 4104 markings/sec, 175 secs
lola: 744635 markings, 773698 edges, 4080 markings/sec, 180 secs
lola: 765022 markings, 794966 edges, 4077 markings/sec, 185 secs
lola: 785451 markings, 816444 edges, 4086 markings/sec, 190 secs
lola: 805902 markings, 837894 edges, 4090 markings/sec, 195 secs
lola: 826452 markings, 859326 edges, 4110 markings/sec, 200 secs
lola: 846605 markings, 880486 edges, 4031 markings/sec, 205 secs
lola: 867052 markings, 901911 edges, 4089 markings/sec, 210 secs
lola: 887540 markings, 923309 edges, 4098 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(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 18884 markings, 19191 edges, 3777 markings/sec, 0 secs
lola: 38543 markings, 39540 edges, 3932 markings/sec, 5 secs
lola: 58159 markings, 59848 edges, 3923 markings/sec, 10 secs
lola: 77961 markings, 80208 edges, 3960 markings/sec, 15 secs
lola: 96523 markings, 99581 edges, 3712 markings/sec, 20 secs
lola: 114621 markings, 118057 edges, 3620 markings/sec, 25 secs
lola: 133386 markings, 137496 edges, 3753 markings/sec, 30 secs
lola: 151394 markings, 156260 edges, 3602 markings/sec, 35 secs
lola: 169123 markings, 174559 edges, 3546 markings/sec, 40 secs
lola: 187747 markings, 193843 edges, 3725 markings/sec, 45 secs
lola: 207738 markings, 214588 edges, 3998 markings/sec, 50 secs
lola: 227996 markings, 235625 edges, 4052 markings/sec, 55 secs
lola: 248322 markings, 256748 edges, 4065 markings/sec, 60 secs
lola: 268684 markings, 277781 edges, 4072 markings/sec, 65 secs
lola: 289059 markings, 298937 edges, 4075 markings/sec, 70 secs
lola: 309303 markings, 320108 edges, 4049 markings/sec, 75 secs
lola: 329653 markings, 341332 edges, 4070 markings/sec, 80 secs
lola: 349939 markings, 362222 edges, 4057 markings/sec, 85 secs
lola: 370287 markings, 383398 edges, 4070 markings/sec, 90 secs
lola: 390515 markings, 404553 edges, 4046 markings/sec, 95 secs
lola: 410763 markings, 425699 edges, 4050 markings/sec, 100 secs
lola: 431167 markings, 447029 edges, 4081 markings/sec, 105 secs
lola: 451467 markings, 468147 edges, 4060 markings/sec, 110 secs
lola: 471863 markings, 489294 edges, 4079 markings/sec, 115 secs
lola: 492283 markings, 510501 edges, 4084 markings/sec, 120 secs
lola: 512524 markings, 531570 edges, 4048 markings/sec, 125 secs
lola: 532728 markings, 552725 edges, 4041 markings/sec, 130 secs
lola: 553100 markings, 574032 edges, 4074 markings/sec, 135 secs
lola: 573389 markings, 595124 edges, 4058 markings/sec, 140 secs
lola: 593689 markings, 616156 edges, 4060 markings/sec, 145 secs
lola: 613864 markings, 637229 edges, 4035 markings/sec, 150 secs
lola: 634304 markings, 658482 edges, 4088 markings/sec, 155 secs
lola: 654703 markings, 679809 edges, 4080 markings/sec, 160 secs
lola: 675115 markings, 701025 edges, 4082 markings/sec, 165 secs
lola: 695565 markings, 722450 edges, 4090 markings/sec, 170 secs
lola: 715914 markings, 743646 edges, 4070 markings/sec, 175 secs
lola: 736333 markings, 764926 edges, 4084 markings/sec, 180 secs
lola: 756688 markings, 786162 edges, 4071 markings/sec, 185 secs
lola: 777037 markings, 807480 edges, 4070 markings/sec, 190 secs
lola: 797285 markings, 828657 edges, 4050 markings/sec, 195 secs
lola: 817699 markings, 850003 edges, 4083 markings/sec, 200 secs
lola: 837944 markings, 871244 edges, 4049 markings/sec, 205 secs
lola: 857344 markings, 891501 edges, 3880 markings/sec, 210 secs
lola: 874607 markings, 909510 edges, 3453 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(p791)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19863 markings, 20047 edges, 3973 markings/sec, 0 secs
lola: 39788 markings, 40253 edges, 3985 markings/sec, 5 secs
lola: 59812 markings, 60596 edges, 4005 markings/sec, 10 secs
lola: 79696 markings, 80867 edges, 3977 markings/sec, 15 secs
lola: 99608 markings, 101207 edges, 3982 markings/sec, 20 secs
lola: 119371 markings, 121443 edges, 3953 markings/sec, 25 secs
lola: 139200 markings, 141678 edges, 3966 markings/sec, 30 secs
lola: 159145 markings, 162154 edges, 3989 markings/sec, 35 secs
lola: 179050 markings, 182509 edges, 3981 markings/sec, 40 secs
lola: 198945 markings, 202897 edges, 3979 markings/sec, 45 secs
lola: 218854 markings, 223424 edges, 3982 markings/sec, 50 secs
lola: 238691 markings, 243886 edges, 3967 markings/sec, 55 secs
lola: 258534 markings, 264317 edges, 3969 markings/sec, 60 secs
lola: 278301 markings, 284650 edges, 3953 markings/sec, 65 secs
lola: 298099 markings, 305040 edges, 3960 markings/sec, 70 secs
lola: 318021 markings, 325609 edges, 3984 markings/sec, 75 secs
lola: 337842 markings, 345996 edges, 3964 markings/sec, 80 secs
lola: 357787 markings, 366584 edges, 3989 markings/sec, 85 secs
lola: 377588 markings, 387015 edges, 3960 markings/sec, 90 secs
lola: 397490 markings, 407661 edges, 3980 markings/sec, 95 secs
lola: 416416 markings, 427288 edges, 3785 markings/sec, 100 secs
lola: 435285 markings, 446851 edges, 3774 markings/sec, 105 secs
lola: 454087 markings, 466382 edges, 3760 markings/sec, 110 secs
lola: 473110 markings, 486076 edges, 3805 markings/sec, 115 secs
lola: 492188 markings, 505772 edges, 3816 markings/sec, 120 secs
lola: 511253 markings, 525510 edges, 3813 markings/sec, 125 secs
lola: 530311 markings, 545245 edges, 3812 markings/sec, 130 secs
lola: 549359 markings, 564949 edges, 3810 markings/sec, 135 secs
lola: 568345 markings, 584546 edges, 3797 markings/sec, 140 secs
lola: 587367 markings, 604287 edges, 3804 markings/sec, 145 secs
lola: 606369 markings, 623889 edges, 3800 markings/sec, 150 secs
lola: 625460 markings, 643675 edges, 3818 markings/sec, 155 secs
lola: 642584 markings, 661558 edges, 3425 markings/sec, 160 secs
lola: 662528 markings, 682167 edges, 3989 markings/sec, 165 secs
lola: 682628 markings, 703201 edges, 4020 markings/sec, 170 secs
lola: 702769 markings, 724017 edges, 4028 markings/sec, 175 secs
lola: 723007 markings, 744988 edges, 4048 markings/sec, 180 secs
lola: 743171 markings, 766024 edges, 4033 markings/sec, 185 secs
lola: 763180 markings, 787226 edges, 4002 markings/sec, 190 secs
lola: 783326 markings, 808086 edges, 4029 markings/sec, 195 secs
lola: 803448 markings, 829010 edges, 4024 markings/sec, 200 secs
lola: 823626 markings, 849990 edges, 4036 markings/sec, 205 secs
lola: 843768 markings, 870997 edges, 4028 markings/sec, 210 secs
lola: 863835 markings, 891854 edges, 4013 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(p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 18946 markings, 19253 edges, 3789 markings/sec, 0 secs
lola: 37774 markings, 38770 edges, 3766 markings/sec, 5 secs
lola: 56599 markings, 58195 edges, 3765 markings/sec, 10 secs
lola: 75503 markings, 77655 edges, 3781 markings/sec, 15 secs
lola: 94354 markings, 97326 edges, 3770 markings/sec, 20 secs
lola: 113632 markings, 117067 edges, 3856 markings/sec, 25 secs
lola: 132927 markings, 136990 edges, 3859 markings/sec, 30 secs
lola: 152060 markings, 156928 edges, 3827 markings/sec, 35 secs
lola: 171202 markings, 176723 edges, 3828 markings/sec, 40 secs
lola: 190526 markings, 196722 edges, 3865 markings/sec, 45 secs
lola: 209980 markings, 216917 edges, 3891 markings/sec, 50 secs
lola: 229329 markings, 237027 edges, 3870 markings/sec, 55 secs
lola: 248755 markings, 257196 edges, 3885 markings/sec, 60 secs
lola: 268202 markings, 277286 edges, 3889 markings/sec, 65 secs
lola: 287633 markings, 297464 edges, 3886 markings/sec, 70 secs
lola: 306965 markings, 317675 edges, 3866 markings/sec, 75 secs
lola: 326390 markings, 337942 edges, 3885 markings/sec, 80 secs
lola: 345775 markings, 357965 edges, 3877 markings/sec, 85 secs
lola: 365154 markings, 378032 edges, 3876 markings/sec, 90 secs
lola: 384601 markings, 398375 edges, 3889 markings/sec, 95 secs
lola: 403876 markings, 418575 edges, 3855 markings/sec, 100 secs
lola: 423307 markings, 438822 edges, 3886 markings/sec, 105 secs
lola: 442728 markings, 459074 edges, 3884 markings/sec, 110 secs
lola: 462115 markings, 479195 edges, 3877 markings/sec, 115 secs
lola: 481592 markings, 499397 edges, 3895 markings/sec, 120 secs
lola: 501089 markings, 519641 edges, 3899 markings/sec, 125 secs
lola: 520220 markings, 539719 edges, 3826 markings/sec, 130 secs
lola: 539710 markings, 560020 edges, 3898 markings/sec, 135 secs
lola: 559018 markings, 580184 edges, 3862 markings/sec, 140 secs
lola: 578392 markings, 600335 edges, 3875 markings/sec, 145 secs
lola: 597777 markings, 620434 edges, 3877 markings/sec, 150 secs
lola: 617031 markings, 640548 edges, 3851 markings/sec, 155 secs
lola: 636556 markings, 660839 edges, 3905 markings/sec, 160 secs
lola: 656015 markings, 681182 edges, 3892 markings/sec, 165 secs
lola: 675436 markings, 701360 edges, 3884 markings/sec, 170 secs
lola: 694963 markings, 721832 edges, 3905 markings/sec, 175 secs
lola: 714353 markings, 742009 edges, 3878 markings/sec, 180 secs
lola: 733953 markings, 762474 edges, 3920 markings/sec, 185 secs
lola: 754337 markings, 783719 edges, 4077 markings/sec, 190 secs
lola: 774768 markings, 805136 edges, 4086 markings/sec, 195 secs
lola: 795085 markings, 826344 edges, 4063 markings/sec, 200 secs
lola: 815519 markings, 847744 edges, 4087 markings/sec, 205 secs
lola: 835840 markings, 869047 edges, 4064 markings/sec, 210 secs
lola: 856265 markings, 890355 edges, 4085 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(p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 12398 markings, 12493 edges, 2480 markings/sec, 0 secs
lola: 24816 markings, 25100 edges, 2484 markings/sec, 5 secs
lola: 37191 markings, 37662 edges, 2475 markings/sec, 10 secs
lola: 49577 markings, 50283 edges, 2477 markings/sec, 15 secs
lola: 61936 markings, 62978 edges, 2472 markings/sec, 20 secs
lola: 74175 markings, 75746 edges, 2448 markings/sec, 25 secs
lola: 86557 markings, 88379 edges, 2476 markings/sec, 30 secs
lola: 98852 markings, 101148 edges, 2459 markings/sec, 35 secs
lola: 111116 markings, 113863 edges, 2453 markings/sec, 40 secs
lola: 123363 markings, 126651 edges, 2449 markings/sec, 45 secs
lola: 135728 markings, 139412 edges, 2473 markings/sec, 50 secs
lola: 148022 markings, 152161 edges, 2459 markings/sec, 55 secs
lola: 160404 markings, 164935 edges, 2476 markings/sec, 60 secs
lola: 172581 markings, 177798 edges, 2435 markings/sec, 65 secs
lola: 184892 markings, 190599 edges, 2462 markings/sec, 70 secs
lola: 197061 markings, 203396 edges, 2434 markings/sec, 75 secs
lola: 209293 markings, 216261 edges, 2446 markings/sec, 80 secs
lola: 221487 markings, 229107 edges, 2439 markings/sec, 85 secs
lola: 233744 markings, 241878 edges, 2451 markings/sec, 90 secs
lola: 245805 markings, 254911 edges, 2412 markings/sec, 95 secs
lola: 258143 markings, 267717 edges, 2468 markings/sec, 100 secs
lola: 270392 markings, 280507 edges, 2450 markings/sec, 105 secs
lola: 282647 markings, 293305 edges, 2451 markings/sec, 110 secs
lola: 294922 markings, 306155 edges, 2455 markings/sec, 115 secs
lola: 307172 markings, 319131 edges, 2450 markings/sec, 120 secs
lola: 319344 markings, 332106 edges, 2434 markings/sec, 125 secs
lola: 331508 markings, 344997 edges, 2433 markings/sec, 130 secs
lola: 343826 markings, 357902 edges, 2464 markings/sec, 135 secs
lola: 355995 markings, 370916 edges, 2434 markings/sec, 140 secs
lola: 368106 markings, 383863 edges, 2422 markings/sec, 145 secs
lola: 380373 markings, 396679 edges, 2453 markings/sec, 150 secs
lola: 392374 markings, 409884 edges, 2400 markings/sec, 155 secs
lola: 404341 markings, 423126 edges, 2393 markings/sec, 160 secs
lola: 416610 markings, 435993 edges, 2454 markings/sec, 165 secs
lola: 428699 markings, 449045 edges, 2418 markings/sec, 170 secs
lola: 440905 markings, 461911 edges, 2441 markings/sec, 175 secs
lola: 453118 markings, 474865 edges, 2443 markings/sec, 180 secs
lola: 465435 markings, 487798 edges, 2463 markings/sec, 185 secs
lola: 477617 markings, 500809 edges, 2436 markings/sec, 190 secs
lola: 489788 markings, 513697 edges, 2434 markings/sec, 195 secs
lola: 501976 markings, 526705 edges, 2438 markings/sec, 200 secs
lola: 514264 markings, 539713 edges, 2458 markings/sec, 205 secs
lola: 526421 markings, 552781 edges, 2431 markings/sec, 210 secs
lola: 538577 markings, 565948 edges, 2431 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(p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 20362 markings, 21925 edges, 4072 markings/sec, 0 secs
lola: 40699 markings, 44182 edges, 4067 markings/sec, 5 secs
lola: 61099 markings, 67042 edges, 4080 markings/sec, 10 secs
lola: 81457 markings, 89438 edges, 4072 markings/sec, 15 secs
lola: 101856 markings, 112312 edges, 4080 markings/sec, 20 secs
lola: 122261 markings, 135142 edges, 4081 markings/sec, 25 secs
lola: 142632 markings, 157913 edges, 4074 markings/sec, 30 secs
lola: 163120 markings, 181112 edges, 4098 markings/sec, 35 secs
lola: 183587 markings, 204397 edges, 4093 markings/sec, 40 secs
lola: 204090 markings, 227732 edges, 4101 markings/sec, 45 secs
lola: 224526 markings, 251133 edges, 4087 markings/sec, 50 secs
lola: 244958 markings, 274607 edges, 4086 markings/sec, 55 secs
lola: 265358 markings, 297799 edges, 4080 markings/sec, 60 secs
lola: 285564 markings, 320382 edges, 4041 markings/sec, 65 secs
lola: 305760 markings, 343022 edges, 4039 markings/sec, 70 secs
lola: 326126 markings, 366073 edges, 4073 markings/sec, 75 secs
lola: 346662 markings, 389149 edges, 4107 markings/sec, 80 secs
lola: 367252 markings, 412149 edges, 4118 markings/sec, 85 secs
lola: 387794 markings, 435114 edges, 4108 markings/sec, 90 secs
lola: 408267 markings, 458552 edges, 4095 markings/sec, 95 secs
lola: 428864 markings, 481889 edges, 4119 markings/sec, 100 secs
lola: 449538 markings, 505522 edges, 4135 markings/sec, 105 secs
lola: 470106 markings, 528721 edges, 4114 markings/sec, 110 secs
lola: 490723 markings, 552321 edges, 4123 markings/sec, 115 secs
lola: 511297 markings, 575749 edges, 4115 markings/sec, 120 secs
lola: 531762 markings, 598855 edges, 4093 markings/sec, 125 secs
lola: 552354 markings, 622436 edges, 4118 markings/sec, 130 secs
lola: 572894 markings, 645641 edges, 4108 markings/sec, 135 secs
lola: 593393 markings, 669243 edges, 4100 markings/sec, 140 secs
lola: 613959 markings, 692576 edges, 4113 markings/sec, 145 secs
lola: 634506 markings, 715959 edges, 4109 markings/sec, 150 secs
lola: 655037 markings, 739619 edges, 4106 markings/sec, 155 secs
lola: 675547 markings, 763132 edges, 4102 markings/sec, 160 secs
lola: 696055 markings, 786502 edges, 4102 markings/sec, 165 secs
lola: 716651 markings, 809754 edges, 4119 markings/sec, 170 secs
lola: 737198 markings, 833297 edges, 4109 markings/sec, 175 secs
lola: 757696 markings, 856816 edges, 4100 markings/sec, 180 secs
lola: 778147 markings, 879546 edges, 4090 markings/sec, 185 secs
lola: 798851 markings, 903570 edges, 4141 markings/sec, 190 secs
lola: 819363 markings, 927223 edges, 4102 markings/sec, 195 secs
lola: 839853 markings, 951088 edges, 4098 markings/sec, 200 secs
lola: 860317 markings, 974217 edges, 4093 markings/sec, 205 secs
lola: 880835 markings, 997683 edges, 4104 markings/sec, 210 secs
lola: 901409 markings, 1020955 edges, 4115 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(p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 19311 markings, 20784 edges, 3862 markings/sec, 0 secs
lola: 39902 markings, 43372 edges, 4118 markings/sec, 5 secs
lola: 60530 markings, 66502 edges, 4126 markings/sec, 10 secs
lola: 81153 markings, 89224 edges, 4125 markings/sec, 15 secs
lola: 101771 markings, 112409 edges, 4124 markings/sec, 20 secs
lola: 122432 markings, 135551 edges, 4132 markings/sec, 25 secs
lola: 143040 markings, 158643 edges, 4122 markings/sec, 30 secs
lola: 163795 markings, 182256 edges, 4151 markings/sec, 35 secs
lola: 184320 markings, 205686 edges, 4105 markings/sec, 40 secs
lola: 204827 markings, 229122 edges, 4101 markings/sec, 45 secs
lola: 225502 markings, 252910 edges, 4135 markings/sec, 50 secs
lola: 246231 markings, 276695 edges, 4146 markings/sec, 55 secs
lola: 267022 markings, 300326 edges, 4158 markings/sec, 60 secs
lola: 287616 markings, 323510 edges, 4119 markings/sec, 65 secs
lola: 308293 markings, 346702 edges, 4135 markings/sec, 70 secs
lola: 328892 markings, 369984 edges, 4120 markings/sec, 75 secs
lola: 349591 markings, 393369 edges, 4140 markings/sec, 80 secs
lola: 370315 markings, 416463 edges, 4145 markings/sec, 85 secs
lola: 390925 markings, 439547 edges, 4122 markings/sec, 90 secs
lola: 411295 markings, 463028 edges, 4074 markings/sec, 95 secs
lola: 431524 markings, 486061 edges, 4046 markings/sec, 100 secs
lola: 452276 markings, 509717 edges, 4150 markings/sec, 105 secs
lola: 472967 markings, 533209 edges, 4138 markings/sec, 110 secs
lola: 493643 markings, 556891 edges, 4135 markings/sec, 115 secs
lola: 514328 markings, 580410 edges, 4137 markings/sec, 120 secs
lola: 534970 markings, 603850 edges, 4128 markings/sec, 125 secs
lola: 555602 markings, 627586 edges, 4126 markings/sec, 130 secs
lola: 576238 markings, 651166 edges, 4127 markings/sec, 135 secs
lola: 596842 markings, 674744 edges, 4121 markings/sec, 140 secs
lola: 617486 markings, 698286 edges, 4129 markings/sec, 145 secs
lola: 637370 markings, 721003 edges, 3977 markings/sec, 150 secs
lola: 658016 markings, 744910 edges, 4129 markings/sec, 155 secs
lola: 678622 markings, 768499 edges, 4121 markings/sec, 160 secs
lola: 699243 markings, 791993 edges, 4124 markings/sec, 165 secs
lola: 719929 markings, 815485 edges, 4137 markings/sec, 170 secs
lola: 740592 markings, 839204 edges, 4133 markings/sec, 175 secs
lola: 761213 markings, 862932 edges, 4124 markings/sec, 180 secs
lola: 781802 markings, 885774 edges, 4118 markings/sec, 185 secs
lola: 802546 markings, 909949 edges, 4149 markings/sec, 190 secs
lola: 823214 markings, 934010 edges, 4134 markings/sec, 195 secs
lola: 843809 markings, 957980 edges, 4119 markings/sec, 200 secs
lola: 864410 markings, 981215 edges, 4120 markings/sec, 205 secs
lola: 885036 markings, 1004940 edges, 4125 markings/sec, 210 secs
lola: 905761 markings, 1028374 edges, 4145 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(p466)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2936 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: 20067 markings, 20494 edges, 4013 markings/sec, 0 secs
lola: 40087 markings, 41199 edges, 4004 markings/sec, 5 secs
lola: 60099 markings, 61882 edges, 4002 markings/sec, 10 secs
lola: 80291 markings, 82753 edges, 4038 markings/sec, 15 secs
lola: 100304 markings, 103402 edges, 4003 markings/sec, 20 secs
lola: 120387 markings, 124313 edges, 4017 markings/sec, 25 secs
lola: 140168 markings, 145535 edges, 3956 markings/sec, 30 secs
lola: 160373 markings, 166542 edges, 4041 markings/sec, 35 secs
lola: 180428 markings, 187641 edges, 4011 markings/sec, 40 secs
lola: 200277 markings, 208652 edges, 3970 markings/sec, 45 secs
lola: 220230 markings, 229883 edges, 3991 markings/sec, 50 secs
lola: 240490 markings, 251317 edges, 4052 markings/sec, 55 secs
lola: 260899 markings, 272740 edges, 4082 markings/sec, 60 secs
lola: 281010 markings, 293949 edges, 4022 markings/sec, 65 secs
lola: 300902 markings, 315346 edges, 3978 markings/sec, 70 secs
lola: 320794 markings, 336466 edges, 3978 markings/sec, 75 secs
lola: 341152 markings, 357608 edges, 4072 markings/sec, 80 secs
lola: 361293 markings, 379171 edges, 4028 markings/sec, 85 secs
lola: 381504 markings, 400560 edges, 4042 markings/sec, 90 secs
lola: 401841 markings, 421766 edges, 4067 markings/sec, 95 secs
lola: 422001 markings, 442845 edges, 4032 markings/sec, 100 secs
lola: 441823 markings, 464274 edges, 3964 markings/sec, 105 secs
lola: 462297 markings, 485547 edges, 4095 markings/sec, 110 secs
lola: 482770 markings, 506888 edges, 4095 markings/sec, 115 secs
lola: 503272 markings, 528337 edges, 4100 markings/sec, 120 secs
lola: 523548 markings, 549727 edges, 4055 markings/sec, 125 secs
lola: 543813 markings, 571035 edges, 4053 markings/sec, 130 secs
lola: 563900 markings, 592359 edges, 4017 markings/sec, 135 secs
lola: 583536 markings, 613559 edges, 3927 markings/sec, 140 secs
lola: 603910 markings, 634922 edges, 4075 markings/sec, 145 secs
lola: 624281 markings, 656205 edges, 4074 markings/sec, 150 secs
lola: 643773 markings, 678040 edges, 3898 markings/sec, 155 secs
lola: 664076 markings, 699159 edges, 4061 markings/sec, 160 secs
lola: 684444 markings, 720602 edges, 4074 markings/sec, 165 secs
lola: 704631 markings, 742121 edges, 4037 markings/sec, 170 secs
lola: 724444 markings, 763733 edges, 3963 markings/sec, 175 secs
lola: 744366 markings, 785157 edges, 3984 markings/sec, 180 secs
lola: 764692 markings, 806535 edges, 4065 markings/sec, 185 secs
lola: 785270 markings, 828050 edges, 4116 markings/sec, 190 secs
lola: 804899 markings, 850154 edges, 3926 markings/sec, 195 secs
lola: 825039 markings, 871541 edges, 4028 markings/sec, 200 secs
lola: 845415 markings, 893009 edges, 4075 markings/sec, 205 secs
lola: 865575 markings, 914264 edges, 4032 markings/sec, 210 secs
lola: 885683 markings, 935787 edges, 4022 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-S04J06T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496410051331

--------------------
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-S04J06T08"
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-S04J06T08.tgz
mv S_PolyORBLF-COL-S04J06T08 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-S04J06T08, 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-149441681500353"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;