fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r168-ebro-149580920200290
Last Updated
June 27, 2017

About the Execution of LoLA for ClientsAndServers-PT-N0500P0

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10687.030 3540380.00 3557594.00 682.80 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 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-3253
Executing tool lola
Input is ClientsAndServers-PT-N0500P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920200290
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496605894061


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0500P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0500P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0500P0 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0500P0-UpperBounds.task
lola: MAX(CF) : MAX(SwA) : MAX(SA) : MAX(SpA) : MAX(CG) : MAX(StR) : MAX(MwU) : MAX(Uf) : MAX(Cb) : MAX(MwU) : MAX(MtF) : MAX(MpA) : MAX(CG) : MAX(SR) : MAX(SG) : MAX(SpG)
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(CF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 3096576 markings, 3417220 edges, 619315 markings/sec, 0 secs
lola: 5992296 markings, 6617965 edges, 579144 markings/sec, 5 secs
lola: 8782488 markings, 9759980 edges, 558038 markings/sec, 10 secs
lola: 11600308 markings, 12875185 edges, 563564 markings/sec, 15 secs
lola: 14395010 markings, 15964366 edges, 558940 markings/sec, 20 secs
lola: 17187466 markings, 19050278 edges, 558491 markings/sec, 25 secs
lola: 19957926 markings, 22113527 edges, 554092 markings/sec, 30 secs
lola: 22754589 markings, 25208677 edges, 559333 markings/sec, 35 secs
lola: 25529628 markings, 28277390 edges, 555008 markings/sec, 40 secs
lola: 28288099 markings, 31330809 edges, 551694 markings/sec, 45 secs
lola: 31280753 markings, 34619379 edges, 598531 markings/sec, 50 secs
lola: 34283648 markings, 37915476 edges, 600579 markings/sec, 55 secs
lola: 37230085 markings, 41150489 edges, 589287 markings/sec, 60 secs
lola: 40114237 markings, 44316410 edges, 576830 markings/sec, 65 secs
lola: 43068967 markings, 47560088 edges, 590946 markings/sec, 70 secs
lola: 45946357 markings, 50717570 edges, 575478 markings/sec, 75 secs
lola: 48813553 markings, 53865865 edges, 573439 markings/sec, 80 secs
lola: 51623674 markings, 56950271 edges, 562024 markings/sec, 85 secs
lola: 54330784 markings, 60020294 edges, 541422 markings/sec, 90 secs
lola: 56918246 markings, 63024767 edges, 517492 markings/sec, 95 secs
lola: 59479053 markings, 65989874 edges, 512161 markings/sec, 100 secs
lola: 61946924 markings, 68842218 edges, 493574 markings/sec, 105 secs
lola: 64315245 markings, 71603489 edges, 473664 markings/sec, 110 secs
lola: 66810409 markings, 74495463 edges, 499033 markings/sec, 115 secs
lola: 69276250 markings, 77355975 edges, 493168 markings/sec, 120 secs
lola: 71763425 markings, 80244582 edges, 497435 markings/sec, 125 secs
lola: 74194073 markings, 83066443 edges, 486130 markings/sec, 130 secs
lola: 76690433 markings, 85957737 edges, 499272 markings/sec, 135 secs
lola: 79129206 markings, 88801580 edges, 487755 markings/sec, 140 secs
lola: 81633067 markings, 91688161 edges, 500772 markings/sec, 145 secs
lola: 84136185 markings, 94615009 edges, 500624 markings/sec, 150 secs
lola: 86623428 markings, 97496157 edges, 497449 markings/sec, 155 secs
lola: 89165046 markings, 100434576 edges, 508324 markings/sec, 160 secs
lola: 91717441 markings, 103423541 edges, 510479 markings/sec, 165 secs
lola: 94216885 markings, 106310545 edges, 499889 markings/sec, 170 secs
lola: 96720558 markings, 109208151 edges, 500735 markings/sec, 175 secs
lola: 99220233 markings, 112135019 edges, 499935 markings/sec, 180 secs
lola: 101550695 markings, 114831889 edges, 466092 markings/sec, 185 secs
lola: 103971562 markings, 117623909 edges, 484173 markings/sec, 190 secs
lola: 106376486 markings, 120437958 edges, 480985 markings/sec, 195 secs
lola: 108722937 markings, 123179329 edges, 469290 markings/sec, 200 secs
lola: 111108112 markings, 125925966 edges, 477035 markings/sec, 205 secs
lola: 113469816 markings, 128657854 edges, 472341 markings/sec, 210 secs
lola: 115862782 markings, 131459240 edges, 478593 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(SwA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1926573 markings, 2821371 edges, 385315 markings/sec, 0 secs
lola: 3660763 markings, 5393221 edges, 346838 markings/sec, 5 secs
lola: 5353563 markings, 7904771 edges, 338560 markings/sec, 10 secs
lola: 6996358 markings, 10347037 edges, 328559 markings/sec, 15 secs
lola: 8659246 markings, 12816329 edges, 332578 markings/sec, 20 secs
lola: 10297640 markings, 15251172 edges, 327679 markings/sec, 25 secs
lola: 11933970 markings, 17681606 edges, 327266 markings/sec, 30 secs
lola: 13567656 markings, 20109595 edges, 326737 markings/sec, 35 secs
lola: 15196497 markings, 22532168 edges, 325768 markings/sec, 40 secs
lola: 16872361 markings, 25019669 edges, 335173 markings/sec, 45 secs
lola: 18570501 markings, 27544640 edges, 339628 markings/sec, 50 secs
lola: 20282148 markings, 30090122 edges, 342329 markings/sec, 55 secs
lola: 22049416 markings, 32713958 edges, 353454 markings/sec, 60 secs
lola: 23743789 markings, 35237404 edges, 338875 markings/sec, 65 secs
lola: 25413701 markings, 37723907 edges, 333982 markings/sec, 70 secs
lola: 27058475 markings, 40168863 edges, 328955 markings/sec, 75 secs
lola: 28724126 markings, 42644165 edges, 333130 markings/sec, 80 secs
lola: 30313975 markings, 45012535 edges, 317970 markings/sec, 85 secs
lola: 31979282 markings, 47487496 edges, 333061 markings/sec, 90 secs
lola: 33619427 markings, 49924296 edges, 328029 markings/sec, 95 secs
lola: 35233815 markings, 52327346 edges, 322878 markings/sec, 100 secs
lola: 36890556 markings, 54789380 edges, 331348 markings/sec, 105 secs
lola: 38494644 markings, 57175650 edges, 320818 markings/sec, 110 secs
lola: 40115627 markings, 59583773 edges, 324197 markings/sec, 115 secs
lola: 41692406 markings, 61928413 edges, 315356 markings/sec, 120 secs
lola: 43316000 markings, 64343070 edges, 324719 markings/sec, 125 secs
lola: 44944142 markings, 66763692 edges, 325628 markings/sec, 130 secs
lola: 46556677 markings, 69163740 edges, 322507 markings/sec, 135 secs
lola: 48168868 markings, 71560765 edges, 322438 markings/sec, 140 secs
lola: 49810861 markings, 74001051 edges, 328399 markings/sec, 145 secs
lola: 51480315 markings, 76483494 edges, 333891 markings/sec, 150 secs
lola: 53164163 markings, 78986799 edges, 336770 markings/sec, 155 secs
lola: 54780862 markings, 81393184 edges, 323340 markings/sec, 160 secs
lola: 56382050 markings, 83783565 edges, 320238 markings/sec, 165 secs
lola: 58097789 markings, 86331227 edges, 343148 markings/sec, 170 secs
lola: 59777586 markings, 88830891 edges, 335959 markings/sec, 175 secs
lola: 61497335 markings, 91385859 edges, 343950 markings/sec, 180 secs
lola: 63186540 markings, 93897090 edges, 337841 markings/sec, 185 secs
lola: 64820488 markings, 96330679 edges, 326790 markings/sec, 190 secs
lola: 66512269 markings, 98847793 edges, 338356 markings/sec, 195 secs
lola: 68219163 markings, 101383668 edges, 341379 markings/sec, 200 secs
lola: 69883156 markings, 103860434 edges, 332799 markings/sec, 205 secs
lola: 71566639 markings, 106363915 edges, 336697 markings/sec, 210 secs
lola: 73240048 markings, 108854715 edges, 334682 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(SA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2053086 markings, 2749444 edges, 410617 markings/sec, 0 secs
lola: 4091742 markings, 5493257 edges, 407731 markings/sec, 5 secs
lola: 5913231 markings, 7962201 edges, 364298 markings/sec, 10 secs
lola: 7900741 markings, 10636208 edges, 397502 markings/sec, 15 secs
lola: 9852289 markings, 13260871 edges, 390310 markings/sec, 20 secs
lola: 11639055 markings, 15661532 edges, 357353 markings/sec, 25 secs
lola: 13348388 markings, 17984602 edges, 341867 markings/sec, 30 secs
lola: 15059389 markings, 20309742 edges, 342200 markings/sec, 35 secs
lola: 16987593 markings, 22907362 edges, 385641 markings/sec, 40 secs
lola: 18885747 markings, 25460029 edges, 379631 markings/sec, 45 secs
lola: 20783610 markings, 28014158 edges, 379573 markings/sec, 50 secs
lola: 22660795 markings, 30537953 edges, 375437 markings/sec, 55 secs
lola: 24507103 markings, 33021483 edges, 369262 markings/sec, 60 secs
lola: 26324277 markings, 35466467 edges, 363435 markings/sec, 65 secs
lola: 28120059 markings, 37882931 edges, 359156 markings/sec, 70 secs
lola: 29949756 markings, 40343273 edges, 365939 markings/sec, 75 secs
lola: 31849316 markings, 42898907 edges, 379912 markings/sec, 80 secs
lola: 33742575 markings, 45446015 edges, 378652 markings/sec, 85 secs
lola: 35641430 markings, 47999112 edges, 379771 markings/sec, 90 secs
lola: 37512586 markings, 50518725 edges, 374231 markings/sec, 95 secs
lola: 39396977 markings, 53050615 edges, 376878 markings/sec, 100 secs
lola: 41222212 markings, 55508220 edges, 365047 markings/sec, 105 secs
lola: 43049218 markings, 57964518 edges, 365401 markings/sec, 110 secs
lola: 44853534 markings, 60390429 edges, 360863 markings/sec, 115 secs
lola: 46623021 markings, 62772821 edges, 353897 markings/sec, 120 secs
lola: 48452474 markings, 65234547 edges, 365891 markings/sec, 125 secs
lola: 50237658 markings, 67637402 edges, 357037 markings/sec, 130 secs
lola: 52024402 markings, 70038087 edges, 357349 markings/sec, 135 secs
lola: 53788740 markings, 72411737 edges, 352868 markings/sec, 140 secs
lola: 55536992 markings, 74764907 edges, 349650 markings/sec, 145 secs
lola: 57340195 markings, 77188756 edges, 360641 markings/sec, 150 secs
lola: 59161185 markings, 79639203 edges, 364198 markings/sec, 155 secs
lola: 60947530 markings, 82043221 edges, 357269 markings/sec, 160 secs
lola: 62768819 markings, 84491684 edges, 364258 markings/sec, 165 secs
lola: 64607381 markings, 86964124 edges, 367712 markings/sec, 170 secs
lola: 66369308 markings, 89337309 edges, 352385 markings/sec, 175 secs
lola: 68149030 markings, 91731989 edges, 355944 markings/sec, 180 secs
lola: 69943369 markings, 94144974 edges, 358868 markings/sec, 185 secs
lola: 71771728 markings, 96602400 edges, 365672 markings/sec, 190 secs
lola: 73639795 markings, 99119270 edges, 373613 markings/sec, 195 secs
lola: 75422954 markings, 101519368 edges, 356632 markings/sec, 200 secs
lola: 77165107 markings, 103859282 edges, 348431 markings/sec, 205 secs
lola: 78895043 markings, 106186065 edges, 345987 markings/sec, 210 secs
lola: 80673011 markings, 108577549 edges, 355594 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(SpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2140718 markings, 2716603 edges, 428144 markings/sec, 0 secs
lola: 4087114 markings, 5204028 edges, 389279 markings/sec, 5 secs
lola: 6012069 markings, 7664378 edges, 384991 markings/sec, 10 secs
lola: 7916078 markings, 10097502 edges, 380802 markings/sec, 15 secs
lola: 9809619 markings, 12517210 edges, 378708 markings/sec, 20 secs
lola: 11664787 markings, 14889350 edges, 371034 markings/sec, 25 secs
lola: 13577706 markings, 17334459 edges, 382584 markings/sec, 30 secs
lola: 15451113 markings, 19728314 edges, 374681 markings/sec, 35 secs
lola: 17271269 markings, 22055310 edges, 364031 markings/sec, 40 secs
lola: 19072822 markings, 24358243 edges, 360311 markings/sec, 45 secs
lola: 20842766 markings, 26620042 edges, 353989 markings/sec, 50 secs
lola: 22617571 markings, 28888690 edges, 354961 markings/sec, 55 secs
lola: 24526203 markings, 31327102 edges, 381726 markings/sec, 60 secs
lola: 26387644 markings, 33706873 edges, 372288 markings/sec, 65 secs
lola: 28192042 markings, 36013653 edges, 360880 markings/sec, 70 secs
lola: 30036810 markings, 38370643 edges, 368954 markings/sec, 75 secs
lola: 31865008 markings, 40706963 edges, 365640 markings/sec, 80 secs
lola: 33717492 markings, 43074419 edges, 370497 markings/sec, 85 secs
lola: 35522841 markings, 45381414 edges, 361070 markings/sec, 90 secs
lola: 37447339 markings, 47843139 edges, 384900 markings/sec, 95 secs
lola: 39307078 markings, 50220155 edges, 371948 markings/sec, 100 secs
lola: 41158854 markings, 52586679 edges, 370355 markings/sec, 105 secs
lola: 42928809 markings, 54848293 edges, 353991 markings/sec, 110 secs
lola: 44806426 markings, 57247017 edges, 375523 markings/sec, 115 secs
lola: 46614707 markings, 59558522 edges, 361656 markings/sec, 120 secs
lola: 48408930 markings, 61850809 edges, 358845 markings/sec, 125 secs
lola: 50181954 markings, 64117614 edges, 354605 markings/sec, 130 secs
lola: 51913795 markings, 66330681 edges, 346368 markings/sec, 135 secs
lola: 53768861 markings, 68702667 edges, 371013 markings/sec, 140 secs
lola: 55583773 markings, 71021516 edges, 362982 markings/sec, 145 secs
lola: 57379847 markings, 73318621 edges, 359215 markings/sec, 150 secs
lola: 59161887 markings, 75595026 edges, 356408 markings/sec, 155 secs
lola: 60916352 markings, 77838012 edges, 350893 markings/sec, 160 secs
lola: 62685519 markings, 80099413 edges, 353833 markings/sec, 165 secs
lola: 64504451 markings, 82423903 edges, 363786 markings/sec, 170 secs
lola: 66275751 markings, 84688617 edges, 354260 markings/sec, 175 secs
lola: 68075196 markings, 86987480 edges, 359889 markings/sec, 180 secs
lola: 69826661 markings, 89226436 edges, 350293 markings/sec, 185 secs
lola: 71567103 markings, 91452219 edges, 348088 markings/sec, 190 secs
lola: 73435076 markings, 93837524 edges, 373595 markings/sec, 195 secs
lola: 75247095 markings, 96155113 edges, 362404 markings/sec, 200 secs
lola: 77044425 markings, 98451865 edges, 359466 markings/sec, 205 secs
lola: 78820332 markings, 100720564 edges, 355181 markings/sec, 210 secs
lola: 80549388 markings, 102930081 edges, 345811 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(CG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2390681 markings, 2823201 edges, 478136 markings/sec, 0 secs
lola: 4692239 markings, 5544977 edges, 460312 markings/sec, 5 secs
lola: 6966496 markings, 8232582 edges, 454851 markings/sec, 10 secs
lola: 9233571 markings, 10912855 edges, 453415 markings/sec, 15 secs
lola: 11478814 markings, 13565134 edges, 449049 markings/sec, 20 secs
lola: 13737977 markings, 16235116 edges, 451833 markings/sec, 25 secs
lola: 15986955 markings, 18892739 edges, 449796 markings/sec, 30 secs
lola: 18216663 markings, 21526673 edges, 445942 markings/sec, 35 secs
lola: 20433167 markings, 24145075 edges, 443301 markings/sec, 40 secs
lola: 22644470 markings, 26756637 edges, 442261 markings/sec, 45 secs
lola: 24865052 markings, 29379920 edges, 444116 markings/sec, 50 secs
lola: 27060299 markings, 31972971 edges, 439049 markings/sec, 55 secs
lola: 29229418 markings, 34534885 edges, 433824 markings/sec, 60 secs
lola: 31427231 markings, 37131630 edges, 439563 markings/sec, 65 secs
lola: 33607919 markings, 39707715 edges, 436138 markings/sec, 70 secs
lola: 35803551 markings, 42301614 edges, 439126 markings/sec, 75 secs
lola: 37929901 markings, 44812032 edges, 425270 markings/sec, 80 secs
lola: 40135255 markings, 47415945 edges, 441071 markings/sec, 85 secs
lola: 42364553 markings, 50049977 edges, 445860 markings/sec, 90 secs
lola: 44581845 markings, 52669840 edges, 443458 markings/sec, 95 secs
lola: 46739606 markings, 55214952 edges, 431552 markings/sec, 100 secs
lola: 48961942 markings, 57840645 edges, 444467 markings/sec, 105 secs
lola: 51153871 markings, 60430818 edges, 438386 markings/sec, 110 secs
lola: 53311524 markings, 62977037 edges, 431531 markings/sec, 115 secs
lola: 55478794 markings, 65537615 edges, 433454 markings/sec, 120 secs
lola: 57634950 markings, 68082033 edges, 431231 markings/sec, 125 secs
lola: 59888779 markings, 70744565 edges, 450766 markings/sec, 130 secs
lola: 62022116 markings, 73264966 edges, 426667 markings/sec, 135 secs
lola: 64177006 markings, 75809271 edges, 430978 markings/sec, 140 secs
lola: 66403805 markings, 78439775 edges, 445360 markings/sec, 145 secs
lola: 68495364 markings, 80908945 edges, 418312 markings/sec, 150 secs
lola: 70770417 markings, 83596982 edges, 455011 markings/sec, 155 secs
lola: 72830046 markings, 86027701 edges, 411926 markings/sec, 160 secs
lola: 75076540 markings, 88681186 edges, 449299 markings/sec, 165 secs
lola: 77167146 markings, 91148886 edges, 418121 markings/sec, 170 secs
lola: 79345468 markings, 93721671 edges, 435664 markings/sec, 175 secs
lola: 81528648 markings, 96298609 edges, 436636 markings/sec, 180 secs
lola: 83582292 markings, 98722518 edges, 410729 markings/sec, 185 secs
lola: 85787103 markings, 101328121 edges, 440962 markings/sec, 190 secs
lola: 87948130 markings, 103876647 edges, 432205 markings/sec, 195 secs
lola: 90099710 markings, 106421912 edges, 430316 markings/sec, 200 secs
lola: 92177006 markings, 108870865 edges, 415459 markings/sec, 205 secs
lola: 94396364 markings, 111494027 edges, 443872 markings/sec, 210 secs
lola: 96571387 markings, 114060726 edges, 435005 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(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2430088 markings, 3656580 edges, 486018 markings/sec, 0 secs
lola: 4191950 markings, 6460750 edges, 352372 markings/sec, 5 secs
lola: 5909014 markings, 9195250 edges, 343413 markings/sec, 10 secs
lola: 7600697 markings, 11896083 edges, 338337 markings/sec, 15 secs
lola: 9270443 markings, 14561653 edges, 333949 markings/sec, 20 secs
lola: 10954481 markings, 17246890 edges, 336808 markings/sec, 25 secs
lola: 12607401 markings, 19887880 edges, 330584 markings/sec, 30 secs
lola: 14242180 markings, 22500027 edges, 326956 markings/sec, 35 secs
lola: 15894251 markings, 25137745 edges, 330414 markings/sec, 40 secs
lola: 17529823 markings, 27747975 edges, 327114 markings/sec, 45 secs
lola: 19166603 markings, 30360022 edges, 327356 markings/sec, 50 secs
lola: 20807448 markings, 32981262 edges, 328169 markings/sec, 55 secs
lola: 22451702 markings, 35609822 edges, 328851 markings/sec, 60 secs
lola: 24059880 markings, 38178565 edges, 321636 markings/sec, 65 secs
lola: 25673873 markings, 40755865 edges, 322799 markings/sec, 70 secs
lola: 27298876 markings, 43355648 edges, 325001 markings/sec, 75 secs
lola: 28916218 markings, 45938416 edges, 323468 markings/sec, 80 secs
lola: 30508270 markings, 48483854 edges, 318410 markings/sec, 85 secs
lola: 32093530 markings, 51019310 edges, 317052 markings/sec, 90 secs
lola: 33446651 markings, 53183013 edges, 270624 markings/sec, 95 secs
lola: 35034661 markings, 55719988 edges, 317602 markings/sec, 100 secs
lola: 36633158 markings, 58278687 edges, 319699 markings/sec, 105 secs
lola: 38215299 markings, 60807039 edges, 316428 markings/sec, 110 secs
lola: 39795402 markings, 63330091 edges, 316021 markings/sec, 115 secs
lola: 41394400 markings, 65881706 edges, 319800 markings/sec, 120 secs
lola: 42969250 markings, 68397919 edges, 314970 markings/sec, 125 secs
lola: 44559649 markings, 70943985 edges, 318080 markings/sec, 130 secs
lola: 46141437 markings, 73472009 edges, 316358 markings/sec, 135 secs
lola: 47712658 markings, 75986031 edges, 314244 markings/sec, 140 secs
lola: 49283289 markings, 78496935 edges, 314126 markings/sec, 145 secs
lola: 50853044 markings, 81008439 edges, 313951 markings/sec, 150 secs
lola: 52451557 markings, 83559287 edges, 319703 markings/sec, 155 secs
lola: 54018005 markings, 86068845 edges, 313290 markings/sec, 160 secs
lola: 55570815 markings, 88550928 edges, 310562 markings/sec, 165 secs
lola: 57158442 markings, 91089647 edges, 317525 markings/sec, 170 secs
lola: 58715300 markings, 93576615 edges, 311372 markings/sec, 175 secs
lola: 60270608 markings, 96067077 edges, 311062 markings/sec, 180 secs
lola: 61845746 markings, 98584150 edges, 315028 markings/sec, 185 secs
lola: 63379035 markings, 101034134 edges, 306658 markings/sec, 190 secs
lola: 64920628 markings, 103499511 edges, 308319 markings/sec, 195 secs
lola: 66516838 markings, 106055253 edges, 319242 markings/sec, 200 secs
lola: 68095731 markings, 108577486 edges, 315779 markings/sec, 205 secs
lola: 69649207 markings, 111068266 edges, 310695 markings/sec, 210 secs
lola: 71245699 markings, 113622776 edges, 319298 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(MwU)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1933232 markings, 2881162 edges, 386646 markings/sec, 0 secs
lola: 3789147 markings, 5655540 edges, 371183 markings/sec, 5 secs
lola: 5595906 markings, 8354313 edges, 361352 markings/sec, 10 secs
lola: 7397056 markings, 11040249 edges, 360230 markings/sec, 15 secs
lola: 9177021 markings, 13699768 edges, 355993 markings/sec, 20 secs
lola: 10958649 markings, 16356012 edges, 356326 markings/sec, 25 secs
lola: 12728045 markings, 18993169 edges, 353879 markings/sec, 30 secs
lola: 14481508 markings, 21606886 edges, 350693 markings/sec, 35 secs
lola: 16209990 markings, 24183768 edges, 345696 markings/sec, 40 secs
lola: 17918049 markings, 26728196 edges, 341612 markings/sec, 45 secs
lola: 19617215 markings, 29261830 edges, 339833 markings/sec, 50 secs
lola: 21326993 markings, 31809855 edges, 341956 markings/sec, 55 secs
lola: 23020815 markings, 34334622 edges, 338764 markings/sec, 60 secs
lola: 24729232 markings, 36876808 edges, 341683 markings/sec, 65 secs
lola: 26417994 markings, 39391358 edges, 337752 markings/sec, 70 secs
lola: 28102569 markings, 41898480 edges, 336915 markings/sec, 75 secs
lola: 29790850 markings, 44412388 edges, 337656 markings/sec, 80 secs
lola: 31472158 markings, 46917135 edges, 336262 markings/sec, 85 secs
lola: 33174434 markings, 49454843 edges, 340455 markings/sec, 90 secs
lola: 34850466 markings, 51950690 edges, 335206 markings/sec, 95 secs
lola: 36528468 markings, 54448671 edges, 335600 markings/sec, 100 secs
lola: 38196975 markings, 56930581 edges, 333701 markings/sec, 105 secs
lola: 39881718 markings, 59435181 edges, 336949 markings/sec, 110 secs
lola: 41525406 markings, 61887956 edges, 328738 markings/sec, 115 secs
lola: 43189953 markings, 64361195 edges, 332909 markings/sec, 120 secs
lola: 44875740 markings, 66868540 edges, 337157 markings/sec, 125 secs
lola: 46553503 markings, 69368345 edges, 335553 markings/sec, 130 secs
lola: 48247416 markings, 71887709 edges, 338783 markings/sec, 135 secs
lola: 49926650 markings, 74387980 edges, 335847 markings/sec, 140 secs
lola: 51609516 markings, 76894831 edges, 336573 markings/sec, 145 secs
lola: 53274286 markings, 79369823 edges, 332954 markings/sec, 150 secs
lola: 54967079 markings, 81891614 edges, 338559 markings/sec, 155 secs
lola: 56631693 markings, 84363648 edges, 332923 markings/sec, 160 secs
lola: 58280796 markings, 86815428 edges, 329821 markings/sec, 165 secs
lola: 59959474 markings, 89310326 edges, 335736 markings/sec, 170 secs
lola: 61610427 markings, 91771488 edges, 330191 markings/sec, 175 secs
lola: 63276934 markings, 94252559 edges, 333301 markings/sec, 180 secs
lola: 64955110 markings, 96746604 edges, 335635 markings/sec, 185 secs
lola: 66606857 markings, 99208522 edges, 330349 markings/sec, 190 secs
lola: 68280883 markings, 101700866 edges, 334805 markings/sec, 195 secs
lola: 69945429 markings, 104176396 edges, 332909 markings/sec, 200 secs
lola: 71599659 markings, 106631622 edges, 330846 markings/sec, 205 secs
lola: 73266615 markings, 109110801 edges, 333391 markings/sec, 210 secs
lola: 74909234 markings, 111556535 edges, 328524 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(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2010643 markings, 2830246 edges, 402129 markings/sec, 0 secs
lola: 3875065 markings, 5475343 edges, 372884 markings/sec, 5 secs
lola: 5693235 markings, 8053307 edges, 363634 markings/sec, 10 secs
lola: 7494900 markings, 10607512 edges, 360333 markings/sec, 15 secs
lola: 9268831 markings, 13122883 edges, 354786 markings/sec, 20 secs
lola: 11037680 markings, 15629122 edges, 353770 markings/sec, 25 secs
lola: 12795450 markings, 18119654 edges, 351554 markings/sec, 30 secs
lola: 14565880 markings, 20630170 edges, 354086 markings/sec, 35 secs
lola: 16334809 markings, 23136523 edges, 353786 markings/sec, 40 secs
lola: 18086138 markings, 25618460 edges, 350266 markings/sec, 45 secs
lola: 19830699 markings, 28090086 edges, 348912 markings/sec, 50 secs
lola: 21582083 markings, 30572266 edges, 350277 markings/sec, 55 secs
lola: 23310861 markings, 33021258 edges, 345756 markings/sec, 60 secs
lola: 25054823 markings, 35491488 edges, 348792 markings/sec, 65 secs
lola: 26761252 markings, 37909175 edges, 341286 markings/sec, 70 secs
lola: 28493833 markings, 40363829 edges, 346516 markings/sec, 75 secs
lola: 30211128 markings, 42796650 edges, 343459 markings/sec, 80 secs
lola: 31884156 markings, 45165331 edges, 334606 markings/sec, 85 secs
lola: 33612063 markings, 47613293 edges, 345581 markings/sec, 90 secs
lola: 35323450 markings, 50037827 edges, 342277 markings/sec, 95 secs
lola: 37050736 markings, 52484949 edges, 345457 markings/sec, 100 secs
lola: 38732196 markings, 54866062 edges, 336292 markings/sec, 105 secs
lola: 40482471 markings, 57347082 edges, 350055 markings/sec, 110 secs
lola: 42147031 markings, 59704263 edges, 332912 markings/sec, 115 secs
lola: 43809023 markings, 62055630 edges, 332398 markings/sec, 120 secs
lola: 45462456 markings, 64397298 edges, 330687 markings/sec, 125 secs
lola: 47150774 markings, 66788888 edges, 337664 markings/sec, 130 secs
lola: 48870314 markings, 69225333 edges, 343908 markings/sec, 135 secs
lola: 50547961 markings, 71601742 edges, 335529 markings/sec, 140 secs
lola: 52179953 markings, 73911735 edges, 326398 markings/sec, 145 secs
lola: 53862660 markings, 76296055 edges, 336541 markings/sec, 150 secs
lola: 55492968 markings, 78603173 edges, 326062 markings/sec, 155 secs
lola: 57190815 markings, 81007856 edges, 339569 markings/sec, 160 secs
lola: 58872214 markings, 83390036 edges, 336280 markings/sec, 165 secs
lola: 60508877 markings, 85706828 edges, 327333 markings/sec, 170 secs
lola: 62145331 markings, 88022510 edges, 327291 markings/sec, 175 secs
lola: 63835146 markings, 90417706 edges, 337963 markings/sec, 180 secs
lola: 65459484 markings, 92717690 edges, 324868 markings/sec, 185 secs
lola: 67099079 markings, 95037319 edges, 327919 markings/sec, 190 secs
lola: 68768979 markings, 97402774 edges, 333980 markings/sec, 195 secs
lola: 70400360 markings, 99711893 edges, 326276 markings/sec, 200 secs
lola: 72107899 markings, 102132042 edges, 341508 markings/sec, 205 secs
lola: 73757667 markings, 104468275 edges, 329954 markings/sec, 210 secs
lola: 75294701 markings, 106644345 edges, 307407 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Cb)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2714869 markings, 3121257 edges, 542974 markings/sec, 0 secs
lola: 5116906 markings, 5947285 edges, 480407 markings/sec, 5 secs
lola: 7511398 markings, 8775431 edges, 478898 markings/sec, 10 secs
lola: 9918802 markings, 11591693 edges, 481481 markings/sec, 15 secs
lola: 12249381 markings, 14330077 edges, 466116 markings/sec, 20 secs
lola: 14708711 markings, 17230368 edges, 491866 markings/sec, 25 secs
lola: 17120300 markings, 20056632 edges, 482318 markings/sec, 30 secs
lola: 19631484 markings, 23004691 edges, 502237 markings/sec, 35 secs
lola: 22065968 markings, 25888583 edges, 486897 markings/sec, 40 secs
lola: 24510696 markings, 28730512 edges, 488946 markings/sec, 45 secs
lola: 26976200 markings, 31656088 edges, 493101 markings/sec, 50 secs
lola: 29331708 markings, 34419977 edges, 471102 markings/sec, 55 secs
lola: 31811504 markings, 37308668 edges, 495959 markings/sec, 60 secs
lola: 34310866 markings, 40279986 edges, 499872 markings/sec, 65 secs
lola: 36678695 markings, 43054484 edges, 473566 markings/sec, 70 secs
lola: 39139876 markings, 45924440 edges, 492236 markings/sec, 75 secs
lola: 41601848 markings, 48836439 edges, 492394 markings/sec, 80 secs
lola: 44017457 markings, 51697489 edges, 483122 markings/sec, 85 secs
lola: 46401696 markings, 54469183 edges, 476848 markings/sec, 90 secs
lola: 48911809 markings, 57403292 edges, 502023 markings/sec, 95 secs
lola: 51435061 markings, 60407360 edges, 504650 markings/sec, 100 secs
lola: 53839340 markings, 63255108 edges, 480856 markings/sec, 105 secs
lola: 56305055 markings, 66111578 edges, 493143 markings/sec, 110 secs
lola: 58792590 markings, 69018846 edges, 497507 markings/sec, 115 secs
lola: 61312178 markings, 72020353 edges, 503918 markings/sec, 120 secs
lola: 63760085 markings, 74898497 edges, 489581 markings/sec, 125 secs
lola: 66212173 markings, 77722709 edges, 490418 markings/sec, 130 secs
lola: 68720251 markings, 80658418 edges, 501616 markings/sec, 135 secs
lola: 71196909 markings, 83581232 edges, 495332 markings/sec, 140 secs
lola: 73646706 markings, 86500870 edges, 489959 markings/sec, 145 secs
lola: 75756895 markings, 88999201 edges, 422038 markings/sec, 150 secs
lola: 77803575 markings, 91390159 edges, 409336 markings/sec, 155 secs
lola: 80064972 markings, 94020681 edges, 452279 markings/sec, 160 secs
lola: 82351082 markings, 96697339 edges, 457222 markings/sec, 165 secs
lola: 84657191 markings, 99444590 edges, 461222 markings/sec, 170 secs
lola: 86923718 markings, 102144653 edges, 453305 markings/sec, 175 secs
lola: 89078229 markings, 104652079 edges, 430902 markings/sec, 180 secs
lola: 91412454 markings, 107370161 edges, 466845 markings/sec, 185 secs
lola: 93738207 markings, 110087823 edges, 465151 markings/sec, 190 secs
lola: 96080590 markings, 112861007 edges, 468477 markings/sec, 195 secs
lola: 98418402 markings, 115645789 edges, 467562 markings/sec, 200 secs
lola: 100642875 markings, 118263690 edges, 444895 markings/sec, 205 secs
lola: 102924483 markings, 120854609 edges, 456322 markings/sec, 210 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(MwU)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1937558 markings, 2887471 edges, 387512 markings/sec, 0 secs
lola: 3807853 markings, 5683041 edges, 374059 markings/sec, 5 secs
lola: 5492162 markings, 8198530 edges, 336862 markings/sec, 10 secs
lola: 7286670 markings, 10876871 edges, 358902 markings/sec, 15 secs
lola: 9086180 markings, 13564366 edges, 359902 markings/sec, 20 secs
lola: 10901380 markings, 16269805 edges, 363040 markings/sec, 25 secs
lola: 12683792 markings, 18926787 edges, 356482 markings/sec, 30 secs
lola: 14453627 markings, 21565002 edges, 353967 markings/sec, 35 secs
lola: 16221865 markings, 24201588 edges, 353648 markings/sec, 40 secs
lola: 17973139 markings, 26810731 edges, 350255 markings/sec, 45 secs
lola: 19723980 markings, 29421375 edges, 350168 markings/sec, 50 secs
lola: 21464388 markings, 32014082 edges, 348082 markings/sec, 55 secs
lola: 23198968 markings, 34597449 edges, 346916 markings/sec, 60 secs
lola: 24940845 markings, 37192747 edges, 348375 markings/sec, 65 secs
lola: 26678702 markings, 39777951 edges, 347571 markings/sec, 70 secs
lola: 28404295 markings, 42349868 edges, 345119 markings/sec, 75 secs
lola: 30143829 markings, 44934581 edges, 347907 markings/sec, 80 secs
lola: 31843230 markings, 47471513 edges, 339880 markings/sec, 85 secs
lola: 33569268 markings, 50039186 edges, 345208 markings/sec, 90 secs
lola: 35279869 markings, 52587296 edges, 342120 markings/sec, 95 secs
lola: 36808698 markings, 54865306 edges, 305766 markings/sec, 100 secs
lola: 38370703 markings, 57191175 edges, 312401 markings/sec, 105 secs
lola: 39973011 markings, 59571439 edges, 320462 markings/sec, 110 secs
lola: 41560288 markings, 61939784 edges, 317455 markings/sec, 115 secs
lola: 43095003 markings, 64219055 edges, 306943 markings/sec, 120 secs
lola: 44738804 markings, 66666781 edges, 328760 markings/sec, 125 secs
lola: 46415196 markings, 69165213 edges, 335278 markings/sec, 130 secs
lola: 48083281 markings, 71644291 edges, 333617 markings/sec, 135 secs
lola: 49714989 markings, 74075268 edges, 326342 markings/sec, 140 secs
lola: 51219783 markings, 76314606 edges, 300959 markings/sec, 145 secs
lola: 52724121 markings, 78550036 edges, 300868 markings/sec, 150 secs
lola: 54225467 markings, 80782237 edges, 300269 markings/sec, 155 secs
lola: 55775468 markings, 83090429 edges, 310000 markings/sec, 160 secs
lola: 57433459 markings, 85558273 edges, 331598 markings/sec, 165 secs
lola: 58945268 markings, 87808041 edges, 302362 markings/sec, 170 secs
lola: 60438564 markings, 90021129 edges, 298659 markings/sec, 175 secs
lola: 61961780 markings, 92296666 edges, 304643 markings/sec, 180 secs
lola: 63612791 markings, 94755613 edges, 330202 markings/sec, 185 secs
lola: 65273487 markings, 97221284 edges, 332139 markings/sec, 190 secs
lola: 66729886 markings, 99390878 edges, 291280 markings/sec, 195 secs
lola: 68240507 markings, 101641703 edges, 302124 markings/sec, 200 secs
lola: 69718040 markings, 103841057 edges, 295507 markings/sec, 205 secs
lola: 71207092 markings, 106050744 edges, 297810 markings/sec, 210 secs
lola: 72731441 markings, 108317183 edges, 304870 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MtF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1879588 markings, 2776742 edges, 375918 markings/sec, 0 secs
lola: 3615080 markings, 5358812 edges, 347098 markings/sec, 5 secs
lola: 5310177 markings, 7875341 edges, 339019 markings/sec, 10 secs
lola: 6978981 markings, 10354070 edges, 333761 markings/sec, 15 secs
lola: 8626084 markings, 12800507 edges, 329421 markings/sec, 20 secs
lola: 10277633 markings, 15249444 edges, 330310 markings/sec, 25 secs
lola: 11922475 markings, 17690075 edges, 328968 markings/sec, 30 secs
lola: 13536380 markings, 20082826 edges, 322781 markings/sec, 35 secs
lola: 15173836 markings, 22510567 edges, 327491 markings/sec, 40 secs
lola: 16796693 markings, 24918105 edges, 324571 markings/sec, 45 secs
lola: 18413650 markings, 27312724 edges, 323391 markings/sec, 50 secs
lola: 20019120 markings, 29694123 edges, 321094 markings/sec, 55 secs
lola: 21611933 markings, 32050572 edges, 318563 markings/sec, 60 secs
lola: 23214651 markings, 34426590 edges, 320544 markings/sec, 65 secs
lola: 24807443 markings, 36787115 edges, 318558 markings/sec, 70 secs
lola: 26377644 markings, 39112250 edges, 314040 markings/sec, 75 secs
lola: 27937707 markings, 41423828 edges, 312013 markings/sec, 80 secs
lola: 29506205 markings, 43746168 edges, 313700 markings/sec, 85 secs
lola: 31058836 markings, 46043403 edges, 310526 markings/sec, 90 secs
lola: 32614691 markings, 48349830 edges, 311171 markings/sec, 95 secs
lola: 34039493 markings, 50455886 edges, 284960 markings/sec, 100 secs
lola: 35460399 markings, 52558351 edges, 284181 markings/sec, 105 secs
lola: 36867504 markings, 54642084 edges, 281421 markings/sec, 110 secs
lola: 38287629 markings, 56747429 edges, 284025 markings/sec, 115 secs
lola: 39711099 markings, 58853781 edges, 284694 markings/sec, 120 secs
lola: 41267537 markings, 61158823 edges, 311288 markings/sec, 125 secs
lola: 42808828 markings, 63439545 edges, 308258 markings/sec, 130 secs
lola: 44356496 markings, 65730646 edges, 309534 markings/sec, 135 secs
lola: 45874946 markings, 67977703 edges, 303690 markings/sec, 140 secs
lola: 47410241 markings, 70244249 edges, 307059 markings/sec, 145 secs
lola: 48948054 markings, 72522392 edges, 307563 markings/sec, 150 secs
lola: 50510841 markings, 74838483 edges, 312557 markings/sec, 155 secs
lola: 52022736 markings, 77076803 edges, 302379 markings/sec, 160 secs
lola: 53477955 markings, 79226921 edges, 291044 markings/sec, 165 secs
lola: 54856285 markings, 81266071 edges, 275666 markings/sec, 170 secs
lola: 56187170 markings, 83234628 edges, 266177 markings/sec, 175 secs
lola: 57511544 markings, 85192902 edges, 264875 markings/sec, 180 secs
lola: 58802729 markings, 87101914 edges, 258237 markings/sec, 185 secs
lola: 60126734 markings, 89060057 edges, 264801 markings/sec, 190 secs
lola: 61441494 markings, 91002621 edges, 262952 markings/sec, 195 secs
lola: 62760678 markings, 92954086 edges, 263837 markings/sec, 200 secs
lola: 64126838 markings, 94978325 edges, 273232 markings/sec, 205 secs
lola: 65442326 markings, 96919579 edges, 263098 markings/sec, 210 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(MpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1966134 markings, 2767232 edges, 393227 markings/sec, 0 secs
lola: 3802729 markings, 5372712 edges, 367319 markings/sec, 5 secs
lola: 5605918 markings, 7928935 edges, 360638 markings/sec, 10 secs
lola: 7391222 markings, 10460772 edges, 357061 markings/sec, 15 secs
lola: 9149391 markings, 12953617 edges, 351634 markings/sec, 20 secs
lola: 10893930 markings, 15425203 edges, 348908 markings/sec, 25 secs
lola: 12615725 markings, 17865387 edges, 344359 markings/sec, 30 secs
lola: 14351790 markings, 20327160 edges, 347213 markings/sec, 35 secs
lola: 16077749 markings, 22773269 edges, 345192 markings/sec, 40 secs
lola: 17786460 markings, 25194151 edges, 341742 markings/sec, 45 secs
lola: 19485364 markings, 27600706 edges, 339781 markings/sec, 50 secs
lola: 21186385 markings, 30012132 edges, 340204 markings/sec, 55 secs
lola: 22853793 markings, 32374126 edges, 333482 markings/sec, 60 secs
lola: 24328015 markings, 34461711 edges, 294844 markings/sec, 65 secs
lola: 25869528 markings, 36646331 edges, 308303 markings/sec, 70 secs
lola: 27328527 markings, 38711969 edges, 291800 markings/sec, 75 secs
lola: 28851944 markings, 40870952 edges, 304683 markings/sec, 80 secs
lola: 30330447 markings, 42965469 edges, 295701 markings/sec, 85 secs
lola: 31772027 markings, 45007240 edges, 288316 markings/sec, 90 secs
lola: 33288806 markings, 47155279 edges, 303356 markings/sec, 95 secs
lola: 34749448 markings, 49225216 edges, 292128 markings/sec, 100 secs
lola: 36225504 markings, 51314939 edges, 295211 markings/sec, 105 secs
lola: 37715080 markings, 53425096 edges, 297915 markings/sec, 110 secs
lola: 39203870 markings, 55534740 edges, 297758 markings/sec, 115 secs
lola: 40711234 markings, 57671526 edges, 301473 markings/sec, 120 secs
lola: 42172529 markings, 59740384 edges, 292259 markings/sec, 125 secs
lola: 43699270 markings, 61900107 edges, 305348 markings/sec, 130 secs
lola: 45205841 markings, 64034561 edges, 301314 markings/sec, 135 secs
lola: 46748590 markings, 66218909 edges, 308550 markings/sec, 140 secs
lola: 48358714 markings, 68501078 edges, 322025 markings/sec, 145 secs
lola: 49883543 markings, 70660640 edges, 304966 markings/sec, 150 secs
lola: 51395920 markings, 72802342 edges, 302475 markings/sec, 155 secs
lola: 52854660 markings, 74866828 edges, 291748 markings/sec, 160 secs
lola: 54366461 markings, 77008353 edges, 302360 markings/sec, 165 secs
lola: 55812108 markings, 79054209 edges, 289129 markings/sec, 170 secs
lola: 57340430 markings, 81219702 edges, 305664 markings/sec, 175 secs
lola: 58793926 markings, 83279399 edges, 290699 markings/sec, 180 secs
lola: 60210235 markings, 85283835 edges, 283262 markings/sec, 185 secs
lola: 61619036 markings, 87278505 edges, 281760 markings/sec, 190 secs
lola: 63120023 markings, 89404258 edges, 300197 markings/sec, 195 secs
lola: 64517961 markings, 91385492 edges, 279588 markings/sec, 200 secs
lola: 65933455 markings, 93388316 edges, 283099 markings/sec, 205 secs
lola: 67410070 markings, 95478268 edges, 295323 markings/sec, 210 secs
lola: 68882677 markings, 97564177 edges, 294521 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2238387 markings, 2642666 edges, 447677 markings/sec, 0 secs
lola: 4374359 markings, 5168864 edges, 427194 markings/sec, 5 secs
lola: 6491086 markings, 7671298 edges, 423345 markings/sec, 10 secs
lola: 8626108 markings, 10194457 edges, 427004 markings/sec, 15 secs
lola: 10730127 markings, 12681156 edges, 420804 markings/sec, 20 secs
lola: 12801978 markings, 15128556 edges, 414370 markings/sec, 25 secs
lola: 14852608 markings, 17552271 edges, 410126 markings/sec, 30 secs
lola: 16856576 markings, 19919674 edges, 400794 markings/sec, 35 secs
lola: 18919855 markings, 22356868 edges, 412656 markings/sec, 40 secs
lola: 20953900 markings, 24759270 edges, 406809 markings/sec, 45 secs
lola: 22991161 markings, 27165854 edges, 407452 markings/sec, 50 secs
lola: 25135604 markings, 29699003 edges, 428889 markings/sec, 55 secs
lola: 27259462 markings, 32207566 edges, 424772 markings/sec, 60 secs
lola: 29380538 markings, 34713544 edges, 424215 markings/sec, 65 secs
lola: 31493162 markings, 37209538 edges, 422525 markings/sec, 70 secs
lola: 33673510 markings, 39785294 edges, 436070 markings/sec, 75 secs
lola: 35783673 markings, 42278212 edges, 422033 markings/sec, 80 secs
lola: 37858864 markings, 44727493 edges, 415038 markings/sec, 85 secs
lola: 39945814 markings, 47191977 edges, 417390 markings/sec, 90 secs
lola: 42022611 markings, 49645991 edges, 415359 markings/sec, 95 secs
lola: 44067607 markings, 52061219 edges, 408999 markings/sec, 100 secs
lola: 46131280 markings, 54496886 edges, 412735 markings/sec, 105 secs
lola: 48214961 markings, 56960532 edges, 416736 markings/sec, 110 secs
lola: 50251300 markings, 59362251 edges, 407268 markings/sec, 115 secs
lola: 52260945 markings, 61737945 edges, 401929 markings/sec, 120 secs
lola: 54314669 markings, 64163025 edges, 410745 markings/sec, 125 secs
lola: 56384945 markings, 66607432 edges, 414055 markings/sec, 130 secs
lola: 58510842 markings, 69119459 edges, 425179 markings/sec, 135 secs
lola: 60482133 markings, 71444544 edges, 394258 markings/sec, 140 secs
lola: 62605587 markings, 73955032 edges, 424691 markings/sec, 145 secs
lola: 64532082 markings, 76227251 edges, 385299 markings/sec, 150 secs
lola: 66720610 markings, 78814415 edges, 437706 markings/sec, 155 secs
lola: 68799156 markings, 81266219 edges, 415709 markings/sec, 160 secs
lola: 70984103 markings, 83849191 edges, 436989 markings/sec, 165 secs
lola: 73026191 markings, 86257458 edges, 408418 markings/sec, 170 secs
lola: 75201847 markings, 88829940 edges, 435131 markings/sec, 175 secs
lola: 77237925 markings, 91232485 edges, 407216 markings/sec, 180 secs
lola: 79360231 markings, 93739043 edges, 424461 markings/sec, 185 secs
lola: 81440502 markings, 96194120 edges, 416054 markings/sec, 190 secs
lola: 83346433 markings, 98443363 edges, 381186 markings/sec, 195 secs
lola: 85421625 markings, 100898334 edges, 415038 markings/sec, 200 secs
lola: 87516361 markings, 103368206 edges, 418947 markings/sec, 205 secs
lola: 89665973 markings, 105910032 edges, 429922 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2140935 markings, 3018199 edges, 428187 markings/sec, 0 secs
lola: 3837367 markings, 5528812 edges, 339286 markings/sec, 5 secs
lola: 5641968 markings, 8205752 edges, 360920 markings/sec, 10 secs
lola: 7501579 markings, 10960030 edges, 371922 markings/sec, 15 secs
lola: 9361807 markings, 13716172 edges, 372046 markings/sec, 20 secs
lola: 11159070 markings, 16386559 edges, 359453 markings/sec, 25 secs
lola: 12992601 markings, 19106855 edges, 366706 markings/sec, 30 secs
lola: 14821378 markings, 21817488 edges, 365755 markings/sec, 35 secs
lola: 16623443 markings, 24493264 edges, 360413 markings/sec, 40 secs
lola: 18443907 markings, 27193290 edges, 364093 markings/sec, 45 secs
lola: 20224626 markings, 29835886 edges, 356144 markings/sec, 50 secs
lola: 21964170 markings, 32420225 edges, 347909 markings/sec, 55 secs
lola: 23758460 markings, 35082210 edges, 358858 markings/sec, 60 secs
lola: 25611798 markings, 37828166 edges, 370668 markings/sec, 65 secs
lola: 27406071 markings, 40489989 edges, 358855 markings/sec, 70 secs
lola: 29177231 markings, 43120078 edges, 354232 markings/sec, 75 secs
lola: 30954025 markings, 45759756 edges, 355359 markings/sec, 80 secs
lola: 32780729 markings, 48467609 edges, 365341 markings/sec, 85 secs
lola: 34586620 markings, 51148995 edges, 361178 markings/sec, 90 secs
lola: 36349081 markings, 53769749 edges, 352492 markings/sec, 95 secs
lola: 38138093 markings, 56425850 edges, 357802 markings/sec, 100 secs
lola: 39909766 markings, 59060017 edges, 354335 markings/sec, 105 secs
lola: 41669636 markings, 61673146 edges, 351974 markings/sec, 110 secs
lola: 43425517 markings, 64282493 edges, 351176 markings/sec, 115 secs
lola: 45207550 markings, 66924397 edges, 356407 markings/sec, 120 secs
lola: 46975809 markings, 69545229 edges, 353652 markings/sec, 125 secs
lola: 48699943 markings, 72109325 edges, 344827 markings/sec, 130 secs
lola: 50432919 markings, 74686814 edges, 346595 markings/sec, 135 secs
lola: 52154755 markings, 77242938 edges, 344367 markings/sec, 140 secs
lola: 53938139 markings, 79888590 edges, 356677 markings/sec, 145 secs
lola: 55637446 markings, 82416592 edges, 339861 markings/sec, 150 secs
lola: 57350811 markings, 84963746 edges, 342673 markings/sec, 155 secs
lola: 59095889 markings, 87556590 edges, 349016 markings/sec, 160 secs
lola: 60832041 markings, 90136744 edges, 347230 markings/sec, 165 secs
lola: 62581721 markings, 92734137 edges, 349936 markings/sec, 170 secs
lola: 64321046 markings, 95319154 edges, 347865 markings/sec, 175 secs
lola: 66069612 markings, 97916646 edges, 349713 markings/sec, 180 secs
lola: 67830289 markings, 100530524 edges, 352135 markings/sec, 185 secs
lola: 69577332 markings, 103122020 edges, 349409 markings/sec, 190 secs
lola: 71355882 markings, 105761211 edges, 355710 markings/sec, 195 secs
lola: 73104028 markings, 108357857 edges, 349629 markings/sec, 200 secs
lola: 74849762 markings, 110952241 edges, 349147 markings/sec, 205 secs
lola: 76584383 markings, 113528112 edges, 346924 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2186484 markings, 2753956 edges, 437297 markings/sec, 0 secs
lola: 4289261 markings, 5395454 edges, 420555 markings/sec, 5 secs
lola: 6394683 markings, 8040462 edges, 421084 markings/sec, 10 secs
lola: 8492781 markings, 10669342 edges, 419620 markings/sec, 15 secs
lola: 10593098 markings, 13300861 edges, 420063 markings/sec, 20 secs
lola: 12677282 markings, 15911456 edges, 416837 markings/sec, 25 secs
lola: 14753893 markings, 18512117 edges, 415322 markings/sec, 30 secs
lola: 16813460 markings, 21088696 edges, 411913 markings/sec, 35 secs
lola: 18858913 markings, 23647975 edges, 409091 markings/sec, 40 secs
lola: 20907932 markings, 26208974 edges, 409804 markings/sec, 45 secs
lola: 22909606 markings, 28714970 edges, 400335 markings/sec, 50 secs
lola: 24924334 markings, 31234822 edges, 402946 markings/sec, 55 secs
lola: 26936041 markings, 33751340 edges, 402341 markings/sec, 60 secs
lola: 28960866 markings, 36289375 edges, 404965 markings/sec, 65 secs
lola: 30984006 markings, 38820098 edges, 404628 markings/sec, 70 secs
lola: 32984751 markings, 41318354 edges, 400149 markings/sec, 75 secs
lola: 35013585 markings, 43854914 edges, 405767 markings/sec, 80 secs
lola: 37024912 markings, 46371178 edges, 402265 markings/sec, 85 secs
lola: 39021465 markings, 48866469 edges, 399311 markings/sec, 90 secs
lola: 41032289 markings, 51378882 edges, 402165 markings/sec, 95 secs
lola: 43025727 markings, 53868787 edges, 398688 markings/sec, 100 secs
lola: 45043769 markings, 56390866 edges, 403608 markings/sec, 105 secs
lola: 47050603 markings, 58897612 edges, 401367 markings/sec, 110 secs
lola: 49050784 markings, 61395805 edges, 400036 markings/sec, 115 secs
lola: 51049698 markings, 63893861 edges, 399783 markings/sec, 120 secs
lola: 53052851 markings, 66398319 edges, 400631 markings/sec, 125 secs
lola: 55034470 markings, 68870404 edges, 396324 markings/sec, 130 secs
lola: 57026856 markings, 71360486 edges, 398477 markings/sec, 135 secs
lola: 59027452 markings, 73859569 edges, 400119 markings/sec, 140 secs
lola: 61022920 markings, 76354186 edges, 399094 markings/sec, 145 secs
lola: 62989656 markings, 78809768 edges, 393347 markings/sec, 150 secs
lola: 64964046 markings, 81277847 edges, 394878 markings/sec, 155 secs
lola: 66944631 markings, 83753501 edges, 396117 markings/sec, 160 secs
lola: 68907287 markings, 86201497 edges, 392531 markings/sec, 165 secs
lola: 70862375 markings, 88641087 edges, 391018 markings/sec, 170 secs
lola: 72833823 markings, 91107126 edges, 394290 markings/sec, 175 secs
lola: 74803813 markings, 93570032 edges, 393998 markings/sec, 180 secs
lola: 76766205 markings, 96019675 edges, 392478 markings/sec, 185 secs
lola: 78711039 markings, 98446561 edges, 388967 markings/sec, 190 secs
lola: 80662991 markings, 100882524 edges, 390390 markings/sec, 195 secs
lola: 82620230 markings, 103324706 edges, 391448 markings/sec, 200 secs
lola: 84573871 markings, 105764645 edges, 390728 markings/sec, 205 secs
lola: 86473021 markings, 108134371 edges, 379830 markings/sec, 210 secs
lola: 88324085 markings, 110448287 edges, 370213 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1976593 markings, 2409659 edges, 395319 markings/sec, 0 secs
lola: 3802027 markings, 4633482 edges, 365087 markings/sec, 5 secs
lola: 5623461 markings, 6850161 edges, 364287 markings/sec, 10 secs
lola: 7414384 markings, 9030041 edges, 358185 markings/sec, 15 secs
lola: 9173334 markings, 11169423 edges, 351790 markings/sec, 20 secs
lola: 10899977 markings, 13271750 edges, 345329 markings/sec, 25 secs
lola: 12585421 markings, 15323362 edges, 337089 markings/sec, 30 secs
lola: 14266779 markings, 17366896 edges, 336272 markings/sec, 35 secs
lola: 15918253 markings, 19376600 edges, 330295 markings/sec, 40 secs
lola: 17568553 markings, 21381402 edges, 330060 markings/sec, 45 secs
lola: 19225359 markings, 23394657 edges, 331361 markings/sec, 50 secs
lola: 20881371 markings, 25412202 edges, 331202 markings/sec, 55 secs
lola: 22546517 markings, 27436178 edges, 333029 markings/sec, 60 secs
lola: 24227054 markings, 29477077 edges, 336107 markings/sec, 65 secs
lola: 25994621 markings, 31622774 edges, 353513 markings/sec, 70 secs
lola: 27766361 markings, 33772908 edges, 354348 markings/sec, 75 secs
lola: 29482167 markings, 35855951 edges, 343161 markings/sec, 80 secs
lola: 31173351 markings, 37906238 edges, 338237 markings/sec, 85 secs
lola: 32845019 markings, 39935976 edges, 334334 markings/sec, 90 secs
lola: 34500768 markings, 41944256 edges, 331150 markings/sec, 95 secs
lola: 36154432 markings, 43953071 edges, 330733 markings/sec, 100 secs
lola: 37794874 markings, 45942909 edges, 328088 markings/sec, 105 secs
lola: 39473126 markings, 47977191 edges, 335650 markings/sec, 110 secs
lola: 41466826 markings, 50395778 edges, 398740 markings/sec, 115 secs
lola: 43454007 markings, 52804764 edges, 397436 markings/sec, 120 secs
lola: 45441170 markings, 55217462 edges, 397433 markings/sec, 125 secs
lola: 47428572 markings, 57631826 edges, 397480 markings/sec, 130 secs
lola: 49414000 markings, 60039831 edges, 397086 markings/sec, 135 secs
lola: 51394647 markings, 62442468 edges, 396129 markings/sec, 140 secs
lola: 53375565 markings, 64850572 edges, 396184 markings/sec, 145 secs
lola: 55357802 markings, 67262882 edges, 396447 markings/sec, 150 secs
lola: 57334625 markings, 69662546 edges, 395365 markings/sec, 155 secs
lola: 59307983 markings, 72059511 edges, 394672 markings/sec, 160 secs
lola: 61274232 markings, 74451833 edges, 393250 markings/sec, 165 secs
lola: 63254374 markings, 76856283 edges, 396028 markings/sec, 170 secs
lola: 65206059 markings, 79230745 edges, 390337 markings/sec, 175 secs
lola: 67152246 markings, 81594810 edges, 389237 markings/sec, 180 secs
lola: 69115405 markings, 83977236 edges, 392632 markings/sec, 185 secs
lola: 71079803 markings, 86365292 edges, 392880 markings/sec, 190 secs
lola: 73005187 markings, 88705187 edges, 385077 markings/sec, 195 secs
lola: 74943464 markings, 91058733 edges, 387655 markings/sec, 200 secs
lola: 76878827 markings, 93412375 edges, 387073 markings/sec, 205 secs
lola: 78811226 markings, 95766659 edges, 386480 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0500P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496609434441

--------------------
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="ClientsAndServers-PT-N0500P0"
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/ClientsAndServers-PT-N0500P0.tgz
mv ClientsAndServers-PT-N0500P0 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is ClientsAndServers-PT-N0500P0, 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 r168-ebro-149580920200290"
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 ;