fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r128-smll-149441681500353
Last Updated
June 27, 2017

About the Execution of LoLA for S_PolyORBLF-COL-S04J06T08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1543.140 3539619.00 3547075.00 12629.00 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 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-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 ;