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-N2000P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920200308
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496606969184


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


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N2000P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N2000P0 @ 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-N2000P0-UpperBounds.task
lola: MAX(CA) : MAX(SwG) : MAX(SA) : MAX(Cb) : MAX(CG) : MAX(StF) : MAX(SG) : MAX(Mi) : MAX(SpG) : MAX(Cb) : MAX(CA) : MAX(SA) : MAX(Ci) : MAX(SR) : MAX(SpA) : MAX(CG)
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(CA)
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: 3001713 markings, 3401338 edges, 600343 markings/sec, 0 secs
lola: 5734090 markings, 6495091 edges, 546475 markings/sec, 5 secs
lola: 8460278 markings, 9597519 edges, 545238 markings/sec, 10 secs
lola: 11095735 markings, 12603569 edges, 527091 markings/sec, 15 secs
lola: 13800972 markings, 15665898 edges, 541047 markings/sec, 20 secs
lola: 16513302 markings, 18747520 edges, 542466 markings/sec, 25 secs
lola: 19188997 markings, 21805351 edges, 535139 markings/sec, 30 secs
lola: 21854525 markings, 24821456 edges, 533106 markings/sec, 35 secs
lola: 24459233 markings, 27777025 edges, 520942 markings/sec, 40 secs
lola: 27103670 markings, 30799431 edges, 528887 markings/sec, 45 secs
lola: 29749864 markings, 33793057 edges, 529239 markings/sec, 50 secs
lola: 32390834 markings, 36790547 edges, 528194 markings/sec, 55 secs
lola: 35026726 markings, 39803093 edges, 527178 markings/sec, 60 secs
lola: 37649944 markings, 42770430 edges, 524644 markings/sec, 65 secs
lola: 40375740 markings, 45864164 edges, 545159 markings/sec, 70 secs
lola: 43070428 markings, 48946652 edges, 538938 markings/sec, 75 secs
lola: 45751212 markings, 51980968 edges, 536157 markings/sec, 80 secs
lola: 48414876 markings, 54998956 edges, 532733 markings/sec, 85 secs
lola: 51070044 markings, 58028992 edges, 531034 markings/sec, 90 secs
lola: 53727422 markings, 61045999 edges, 531476 markings/sec, 95 secs
lola: 56349291 markings, 64015937 edges, 524374 markings/sec, 100 secs
lola: 58979743 markings, 67023404 edges, 526090 markings/sec, 105 secs
lola: 61590967 markings, 69980700 edges, 522245 markings/sec, 110 secs
lola: 64219562 markings, 72960877 edges, 525719 markings/sec, 115 secs
lola: 66870998 markings, 75994724 edges, 530287 markings/sec, 120 secs
lola: 69482277 markings, 78946849 edges, 522256 markings/sec, 125 secs
lola: 72081468 markings, 81896438 edges, 519838 markings/sec, 130 secs
lola: 74652643 markings, 84833422 edges, 514235 markings/sec, 135 secs
lola: 77225732 markings, 87741493 edges, 514618 markings/sec, 140 secs
lola: 79801561 markings, 90672543 edges, 515166 markings/sec, 145 secs
lola: 82361232 markings, 93587044 edges, 511934 markings/sec, 150 secs
lola: 84921940 markings, 96487903 edges, 512142 markings/sec, 155 secs
lola: 87453612 markings, 99382469 edges, 506334 markings/sec, 160 secs
lola: 90038015 markings, 102304693 edges, 516881 markings/sec, 165 secs
lola: 92656224 markings, 105280164 edges, 523642 markings/sec, 170 secs
lola: 95235178 markings, 108222488 edges, 515791 markings/sec, 175 secs
lola: 97811310 markings, 111134776 edges, 515226 markings/sec, 180 secs
lola: 100363751 markings, 114055865 edges, 510488 markings/sec, 185 secs
lola: 102932791 markings, 116963137 edges, 513808 markings/sec, 190 secs
lola: 105483170 markings, 119856857 edges, 510076 markings/sec, 195 secs
lola: 108010923 markings, 122741946 edges, 505551 markings/sec, 200 secs
lola: 110547950 markings, 125609933 edges, 507405 markings/sec, 205 secs
lola: 113038849 markings, 128461663 edges, 498180 markings/sec, 210 secs
lola: 115608595 markings, 131366211 edges, 513949 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(SwG)
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: 2652766 markings, 3589085 edges, 530553 markings/sec, 0 secs
lola: 4890147 markings, 6658088 edges, 447476 markings/sec, 5 secs
lola: 6750573 markings, 9410408 edges, 372085 markings/sec, 10 secs
lola: 8555350 markings, 12087190 edges, 360955 markings/sec, 15 secs
lola: 10353683 markings, 14751079 edges, 359667 markings/sec, 20 secs
lola: 12151190 markings, 17412928 edges, 359501 markings/sec, 25 secs
lola: 13886045 markings, 19989914 edges, 346971 markings/sec, 30 secs
lola: 15637479 markings, 22590357 edges, 350287 markings/sec, 35 secs
lola: 17375747 markings, 25167162 edges, 347654 markings/sec, 40 secs
lola: 19120833 markings, 27756493 edges, 349017 markings/sec, 45 secs
lola: 20856696 markings, 30333118 edges, 347173 markings/sec, 50 secs
lola: 22621926 markings, 32950182 edges, 353046 markings/sec, 55 secs
lola: 24330912 markings, 35491071 edges, 341797 markings/sec, 60 secs
lola: 26100319 markings, 38113448 edges, 353881 markings/sec, 65 secs
lola: 27839095 markings, 40693485 edges, 347755 markings/sec, 70 secs
lola: 29573633 markings, 43263948 edges, 346908 markings/sec, 75 secs
lola: 31267431 markings, 45778283 edges, 338760 markings/sec, 80 secs
lola: 32942398 markings, 48268522 edges, 334993 markings/sec, 85 secs
lola: 34638941 markings, 50785038 edges, 339309 markings/sec, 90 secs
lola: 36393737 markings, 53383628 edges, 350959 markings/sec, 95 secs
lola: 38056907 markings, 55858755 edges, 332634 markings/sec, 100 secs
lola: 39733341 markings, 58349314 edges, 335287 markings/sec, 105 secs
lola: 41405891 markings, 60833996 edges, 334510 markings/sec, 110 secs
lola: 43094908 markings, 63342866 edges, 337803 markings/sec, 115 secs
lola: 44775891 markings, 65841412 edges, 336197 markings/sec, 120 secs
lola: 46461026 markings, 68344999 edges, 337027 markings/sec, 125 secs
lola: 48176526 markings, 70888055 edges, 343100 markings/sec, 130 secs
lola: 49879303 markings, 73411099 edges, 340555 markings/sec, 135 secs
lola: 51528009 markings, 75862812 edges, 329741 markings/sec, 140 secs
lola: 53192300 markings, 78338302 edges, 332858 markings/sec, 145 secs
lola: 54861110 markings, 80815707 edges, 333762 markings/sec, 150 secs
lola: 56543606 markings, 83313565 edges, 336499 markings/sec, 155 secs
lola: 58208168 markings, 85785792 edges, 332912 markings/sec, 160 secs
lola: 59817545 markings, 88181617 edges, 321875 markings/sec, 165 secs
lola: 61504262 markings, 90686884 edges, 337343 markings/sec, 170 secs
lola: 63144004 markings, 93126557 edges, 327948 markings/sec, 175 secs
lola: 64848511 markings, 95653059 edges, 340901 markings/sec, 180 secs
lola: 66505273 markings, 98115497 edges, 331352 markings/sec, 185 secs
lola: 68159901 markings, 100575956 edges, 330926 markings/sec, 190 secs
lola: 69832726 markings, 103061093 edges, 334565 markings/sec, 195 secs
lola: 71508193 markings, 105546480 edges, 335093 markings/sec, 200 secs
lola: 73185604 markings, 108035180 edges, 335482 markings/sec, 205 secs
lola: 74878757 markings, 110547154 edges, 338631 markings/sec, 210 secs
lola: 76561091 markings, 113044716 edges, 336467 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: 2150809 markings, 2810913 edges, 430162 markings/sec, 0 secs
lola: 4144794 markings, 5495523 edges, 398797 markings/sec, 5 secs
lola: 5947613 markings, 7939138 edges, 360564 markings/sec, 10 secs
lola: 7928561 markings, 10605331 edges, 396190 markings/sec, 15 secs
lola: 9890786 markings, 13245127 edges, 392445 markings/sec, 20 secs
lola: 11740847 markings, 15729306 edges, 370012 markings/sec, 25 secs
lola: 13478992 markings, 18090621 edges, 347629 markings/sec, 30 secs
lola: 15209775 markings, 20443539 edges, 346157 markings/sec, 35 secs
lola: 17122312 markings, 23020534 edges, 382507 markings/sec, 40 secs
lola: 19064221 markings, 25632017 edges, 388382 markings/sec, 45 secs
lola: 21000397 markings, 28237145 edges, 387235 markings/sec, 50 secs
lola: 22922369 markings, 30821339 edges, 384394 markings/sec, 55 secs
lola: 24855981 markings, 33421561 edges, 386722 markings/sec, 60 secs
lola: 26769853 markings, 35998529 edges, 382774 markings/sec, 65 secs
lola: 28689971 markings, 38579508 edges, 384024 markings/sec, 70 secs
lola: 30625644 markings, 41184622 edges, 387135 markings/sec, 75 secs
lola: 32595927 markings, 43834876 edges, 394057 markings/sec, 80 secs
lola: 34531558 markings, 46438122 edges, 387126 markings/sec, 85 secs
lola: 36444634 markings, 49010720 edges, 382615 markings/sec, 90 secs
lola: 38379371 markings, 51616487 edges, 386947 markings/sec, 95 secs
lola: 40294977 markings, 54191132 edges, 383121 markings/sec, 100 secs
lola: 42199137 markings, 56753123 edges, 380832 markings/sec, 105 secs
lola: 44095024 markings, 59303108 edges, 379177 markings/sec, 110 secs
lola: 46001649 markings, 61868642 edges, 381325 markings/sec, 115 secs
lola: 47943096 markings, 64480295 edges, 388289 markings/sec, 120 secs
lola: 49846417 markings, 67041044 edges, 380664 markings/sec, 125 secs
lola: 51763783 markings, 69619876 edges, 383473 markings/sec, 130 secs
lola: 53650156 markings, 72156523 edges, 377275 markings/sec, 135 secs
lola: 55538947 markings, 74697792 edges, 377758 markings/sec, 140 secs
lola: 57436427 markings, 77250676 edges, 379496 markings/sec, 145 secs
lola: 59297994 markings, 79756154 edges, 372313 markings/sec, 150 secs
lola: 61153252 markings, 82251661 edges, 371052 markings/sec, 155 secs
lola: 63013381 markings, 84753409 edges, 372026 markings/sec, 160 secs
lola: 64855569 markings, 87230686 edges, 368438 markings/sec, 165 secs
lola: 66760707 markings, 89796636 edges, 381028 markings/sec, 170 secs
lola: 68661199 markings, 92352975 edges, 380098 markings/sec, 175 secs
lola: 70518298 markings, 94851635 edges, 371420 markings/sec, 180 secs
lola: 72393273 markings, 97372061 edges, 374995 markings/sec, 185 secs
lola: 74251222 markings, 99873640 edges, 371590 markings/sec, 190 secs
lola: 76109968 markings, 102373519 edges, 371749 markings/sec, 195 secs
lola: 77978187 markings, 104886162 edges, 373644 markings/sec, 200 secs
lola: 79845069 markings, 107395978 edges, 373376 markings/sec, 205 secs
lola: 81694074 markings, 109885478 edges, 369801 markings/sec, 210 secs
lola: 83529734 markings, 112352739 edges, 367132 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(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: 3194588 markings, 3549948 edges, 638918 markings/sec, 0 secs
lola: 6009116 markings, 6760751 edges, 562906 markings/sec, 5 secs
lola: 8262990 markings, 9446667 edges, 450775 markings/sec, 10 secs
lola: 10661175 markings, 12242846 edges, 479637 markings/sec, 15 secs
lola: 13046091 markings, 15042049 edges, 476983 markings/sec, 20 secs
lola: 15485373 markings, 17948330 edges, 487856 markings/sec, 25 secs
lola: 17791904 markings, 20683839 edges, 461306 markings/sec, 30 secs
lola: 20140695 markings, 23401973 edges, 469758 markings/sec, 35 secs
lola: 22510694 markings, 26167766 edges, 474000 markings/sec, 40 secs
lola: 24877557 markings, 28960428 edges, 473373 markings/sec, 45 secs
lola: 27318486 markings, 31882906 edges, 488186 markings/sec, 50 secs
lola: 29587637 markings, 34558354 edges, 453830 markings/sec, 55 secs
lola: 31912882 markings, 37249175 edges, 465049 markings/sec, 60 secs
lola: 34309282 markings, 40037157 edges, 479280 markings/sec, 65 secs
lola: 36743364 markings, 42886725 edges, 486816 markings/sec, 70 secs
lola: 39214779 markings, 45817320 edges, 494283 markings/sec, 75 secs
lola: 41669461 markings, 48749398 edges, 490936 markings/sec, 80 secs
lola: 44081294 markings, 51594129 edges, 482367 markings/sec, 85 secs
lola: 46331158 markings, 54227191 edges, 449973 markings/sec, 90 secs
lola: 48712779 markings, 56981490 edges, 476324 markings/sec, 95 secs
lola: 51117076 markings, 59794671 edges, 480859 markings/sec, 100 secs
lola: 53503708 markings, 62587176 edges, 477326 markings/sec, 105 secs
lola: 55918247 markings, 65437836 edges, 482908 markings/sec, 110 secs
lola: 58354333 markings, 68345338 edges, 487217 markings/sec, 115 secs
lola: 60770345 markings, 71228874 edges, 483202 markings/sec, 120 secs
lola: 63124308 markings, 73979354 edges, 470793 markings/sec, 125 secs
lola: 65346641 markings, 76602685 edges, 444467 markings/sec, 130 secs
lola: 67676232 markings, 79300839 edges, 465918 markings/sec, 135 secs
lola: 70078008 markings, 82072307 edges, 480355 markings/sec, 140 secs
lola: 72478866 markings, 84880861 edges, 480172 markings/sec, 145 secs
lola: 74870911 markings, 87679106 edges, 478409 markings/sec, 150 secs
lola: 77298223 markings, 90548194 edges, 485462 markings/sec, 155 secs
lola: 79759599 markings, 93484346 edges, 492275 markings/sec, 160 secs
lola: 82181792 markings, 96373763 edges, 484439 markings/sec, 165 secs
lola: 84592149 markings, 99249053 edges, 482071 markings/sec, 170 secs
lola: 86833217 markings, 101877485 edges, 448214 markings/sec, 175 secs
lola: 89075917 markings, 104464891 edges, 448540 markings/sec, 180 secs
lola: 91449384 markings, 107219045 edges, 474693 markings/sec, 185 secs
lola: 93797416 markings, 109947308 edges, 469606 markings/sec, 190 secs
lola: 96141036 markings, 112688131 edges, 468724 markings/sec, 195 secs
lola: 98471579 markings, 115413666 edges, 466109 markings/sec, 200 secs
lola: 100801050 markings, 118143988 edges, 465894 markings/sec, 205 secs
lola: 103213319 markings, 121020519 edges, 482454 markings/sec, 210 secs
lola: 105585216 markings, 123848862 edges, 474379 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: 2310087 markings, 2701841 edges, 462017 markings/sec, 0 secs
lola: 4515998 markings, 5310622 edges, 441182 markings/sec, 5 secs
lola: 6663191 markings, 7848999 edges, 429439 markings/sec, 10 secs
lola: 8789988 markings, 10362529 edges, 425359 markings/sec, 15 secs
lola: 10885093 markings, 12838679 edges, 419021 markings/sec, 20 secs
lola: 12886442 markings, 15202685 edges, 400270 markings/sec, 25 secs
lola: 14941081 markings, 17631774 edges, 410928 markings/sec, 30 secs
lola: 16959244 markings, 20015368 edges, 403633 markings/sec, 35 secs
lola: 19023777 markings, 22454043 edges, 412907 markings/sec, 40 secs
lola: 21085217 markings, 24888755 edges, 412288 markings/sec, 45 secs
lola: 23081401 markings, 27246805 edges, 399237 markings/sec, 50 secs
lola: 25142628 markings, 29681663 edges, 412245 markings/sec, 55 secs
lola: 27183689 markings, 32093149 edges, 408212 markings/sec, 60 secs
lola: 29225113 markings, 34505136 edges, 408285 markings/sec, 65 secs
lola: 31254393 markings, 36902419 edges, 405856 markings/sec, 70 secs
lola: 33170930 markings, 39166574 edges, 383307 markings/sec, 75 secs
lola: 35110948 markings, 41455869 edges, 388004 markings/sec, 80 secs
lola: 37133417 markings, 43844870 edges, 404494 markings/sec, 85 secs
lola: 39138234 markings, 46213835 edges, 400963 markings/sec, 90 secs
lola: 41159774 markings, 48601565 edges, 404308 markings/sec, 95 secs
lola: 43197612 markings, 51007000 edges, 407568 markings/sec, 100 secs
lola: 45222530 markings, 53399810 edges, 404984 markings/sec, 105 secs
lola: 47258464 markings, 55803191 edges, 407187 markings/sec, 110 secs
lola: 49347102 markings, 58270476 edges, 417728 markings/sec, 115 secs
lola: 51450199 markings, 60755822 edges, 420619 markings/sec, 120 secs
lola: 53462614 markings, 63129939 edges, 402483 markings/sec, 125 secs
lola: 55503523 markings, 65542845 edges, 408182 markings/sec, 130 secs
lola: 57575125 markings, 67985626 edges, 414320 markings/sec, 135 secs
lola: 59624163 markings, 70407813 edges, 409808 markings/sec, 140 secs
lola: 61611530 markings, 72752510 edges, 397473 markings/sec, 145 secs
lola: 63691770 markings, 75211419 edges, 416048 markings/sec, 150 secs
lola: 65670186 markings, 77545277 edges, 395683 markings/sec, 155 secs
lola: 67752658 markings, 80006852 edges, 416494 markings/sec, 160 secs
lola: 69769399 markings, 82385682 edges, 403348 markings/sec, 165 secs
lola: 71817577 markings, 84806739 edges, 409636 markings/sec, 170 secs
lola: 73884968 markings, 87245123 edges, 413478 markings/sec, 175 secs
lola: 75897036 markings, 89625552 edges, 402414 markings/sec, 180 secs
lola: 77923411 markings, 92015150 edges, 405275 markings/sec, 185 secs
lola: 80036654 markings, 94514042 edges, 422649 markings/sec, 190 secs
lola: 82000287 markings, 96830531 edges, 392727 markings/sec, 195 secs
lola: 84032436 markings, 99230365 edges, 406430 markings/sec, 200 secs
lola: 86092083 markings, 101663002 edges, 411929 markings/sec, 205 secs
lola: 88141612 markings, 104079646 edges, 409906 markings/sec, 210 secs
lola: 90182348 markings, 106493864 edges, 408147 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(StF)
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: 1989740 markings, 2851683 edges, 397948 markings/sec, 0 secs
lola: 3581180 markings, 5382326 edges, 318288 markings/sec, 5 secs
lola: 5103751 markings, 7803387 edges, 304514 markings/sec, 10 secs
lola: 6628580 markings, 10229092 edges, 304966 markings/sec, 15 secs
lola: 8141899 markings, 12638099 edges, 302664 markings/sec, 20 secs
lola: 9668730 markings, 15068623 edges, 305366 markings/sec, 25 secs
lola: 11189470 markings, 17490002 edges, 304148 markings/sec, 30 secs
lola: 12712722 markings, 19915867 edges, 304650 markings/sec, 35 secs
lola: 14231755 markings, 22334581 edges, 303807 markings/sec, 40 secs
lola: 15743728 markings, 24739311 edges, 302395 markings/sec, 45 secs
lola: 17251272 markings, 27141041 edges, 301509 markings/sec, 50 secs
lola: 18761676 markings, 29545090 edges, 302081 markings/sec, 55 secs
lola: 20255542 markings, 31926122 edges, 298773 markings/sec, 60 secs
lola: 21745882 markings, 34298252 edges, 298068 markings/sec, 65 secs
lola: 23254853 markings, 36701729 edges, 301794 markings/sec, 70 secs
lola: 24755124 markings, 39091462 edges, 300054 markings/sec, 75 secs
lola: 26241493 markings, 41459891 edges, 297274 markings/sec, 80 secs
lola: 27734444 markings, 43837955 edges, 298590 markings/sec, 85 secs
lola: 29242284 markings, 46240254 edges, 301568 markings/sec, 90 secs
lola: 30731051 markings, 48609880 edges, 297753 markings/sec, 95 secs
lola: 32222839 markings, 50982338 edges, 298358 markings/sec, 100 secs
lola: 33709261 markings, 53352165 edges, 297284 markings/sec, 105 secs
lola: 35184265 markings, 55703217 edges, 295001 markings/sec, 110 secs
lola: 36670745 markings, 58071434 edges, 297296 markings/sec, 115 secs
lola: 38147591 markings, 60424155 edges, 295369 markings/sec, 120 secs
lola: 39616885 markings, 62763440 edges, 293859 markings/sec, 125 secs
lola: 41085781 markings, 65104856 edges, 293779 markings/sec, 130 secs
lola: 42557847 markings, 67449088 edges, 294413 markings/sec, 135 secs
lola: 44007311 markings, 69755506 edges, 289893 markings/sec, 140 secs
lola: 45488692 markings, 72114403 edges, 296276 markings/sec, 145 secs
lola: 46951007 markings, 74449691 edges, 292463 markings/sec, 150 secs
lola: 48416855 markings, 76787497 edges, 293170 markings/sec, 155 secs
lola: 49880501 markings, 79117856 edges, 292729 markings/sec, 160 secs
lola: 51347698 markings, 81454027 edges, 293439 markings/sec, 165 secs
lola: 52817729 markings, 83795284 edges, 294006 markings/sec, 170 secs
lola: 54272820 markings, 86114464 edges, 291018 markings/sec, 175 secs
lola: 55716321 markings, 88413094 edges, 288700 markings/sec, 180 secs
lola: 57185803 markings, 90753532 edges, 293896 markings/sec, 185 secs
lola: 58632920 markings, 93062701 edges, 289423 markings/sec, 190 secs
lola: 60083707 markings, 95374411 edges, 290157 markings/sec, 195 secs
lola: 61529407 markings, 97678668 edges, 289140 markings/sec, 200 secs
lola: 62989756 markings, 100003604 edges, 292070 markings/sec, 205 secs
lola: 64462903 markings, 102350445 edges, 294629 markings/sec, 210 secs
lola: 65927220 markings, 104684375 edges, 292863 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(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: 2240239 markings, 2784758 edges, 448048 markings/sec, 0 secs
lola: 4268921 markings, 5333556 edges, 405736 markings/sec, 5 secs
lola: 6278201 markings, 7858632 edges, 401856 markings/sec, 10 secs
lola: 8261784 markings, 10345300 edges, 396717 markings/sec, 15 secs
lola: 10228939 markings, 12809948 edges, 393431 markings/sec, 20 secs
lola: 12182185 markings, 15255784 edges, 390649 markings/sec, 25 secs
lola: 14128695 markings, 17694240 edges, 389302 markings/sec, 30 secs
lola: 16066961 markings, 20118457 edges, 387653 markings/sec, 35 secs
lola: 18001451 markings, 22539126 edges, 386898 markings/sec, 40 secs
lola: 19929045 markings, 24951483 edges, 385519 markings/sec, 45 secs
lola: 21838381 markings, 27338847 edges, 381867 markings/sec, 50 secs
lola: 23733469 markings, 29709776 edges, 379018 markings/sec, 55 secs
lola: 25619001 markings, 32068894 edges, 377106 markings/sec, 60 secs
lola: 27509076 markings, 34434266 edges, 378015 markings/sec, 65 secs
lola: 29402525 markings, 36807112 edges, 378690 markings/sec, 70 secs
lola: 31281882 markings, 39156793 edges, 375871 markings/sec, 75 secs
lola: 33144450 markings, 41482718 edges, 372514 markings/sec, 80 secs
lola: 35021085 markings, 43829195 edges, 375327 markings/sec, 85 secs
lola: 36881953 markings, 46157471 edges, 372174 markings/sec, 90 secs
lola: 38732375 markings, 48469443 edges, 370084 markings/sec, 95 secs
lola: 40597783 markings, 50798764 edges, 373082 markings/sec, 100 secs
lola: 42463677 markings, 53131033 edges, 373179 markings/sec, 105 secs
lola: 44338519 markings, 55473940 edges, 374968 markings/sec, 110 secs
lola: 46202695 markings, 57802694 edges, 372835 markings/sec, 115 secs
lola: 48077782 markings, 60146275 edges, 375017 markings/sec, 120 secs
lola: 49934637 markings, 62465689 edges, 371371 markings/sec, 125 secs
lola: 51787060 markings, 64780558 edges, 370485 markings/sec, 130 secs
lola: 53648748 markings, 67106119 edges, 372338 markings/sec, 135 secs
lola: 55499714 markings, 69416178 edges, 370193 markings/sec, 140 secs
lola: 57348103 markings, 71726755 edges, 369678 markings/sec, 145 secs
lola: 59203417 markings, 74044223 edges, 371063 markings/sec, 150 secs
lola: 61054196 markings, 76356873 edges, 370156 markings/sec, 155 secs
lola: 62891294 markings, 78652159 edges, 367420 markings/sec, 160 secs
lola: 64720486 markings, 80937537 edges, 365838 markings/sec, 165 secs
lola: 66536236 markings, 83204880 edges, 363150 markings/sec, 170 secs
lola: 68368324 markings, 85494784 edges, 366418 markings/sec, 175 secs
lola: 70190570 markings, 87768477 edges, 364449 markings/sec, 180 secs
lola: 72015946 markings, 90048924 edges, 365075 markings/sec, 185 secs
lola: 73858648 markings, 92352787 edges, 368540 markings/sec, 190 secs
lola: 75697964 markings, 94650918 edges, 367863 markings/sec, 195 secs
lola: 77534870 markings, 96944091 edges, 367381 markings/sec, 200 secs
lola: 79354564 markings, 99214825 edges, 363939 markings/sec, 205 secs
lola: 81181492 markings, 101494034 edges, 365386 markings/sec, 210 secs
lola: 83012866 markings, 103780538 edges, 366275 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(Mi)
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: 1961343 markings, 3240520 edges, 392269 markings/sec, 0 secs
lola: 3669990 markings, 6335378 edges, 341729 markings/sec, 5 secs
lola: 5375747 markings, 9425158 edges, 341151 markings/sec, 10 secs
lola: 7060821 markings, 12477001 edges, 337015 markings/sec, 15 secs
lola: 8490127 markings, 15317162 edges, 285861 markings/sec, 20 secs
lola: 9841121 markings, 18036729 edges, 270199 markings/sec, 25 secs
lola: 11199243 markings, 20741665 edges, 271624 markings/sec, 30 secs
lola: 12511484 markings, 23398399 edges, 262448 markings/sec, 35 secs
lola: 13766446 markings, 26009308 edges, 250992 markings/sec, 40 secs
lola: 15010907 markings, 28608906 edges, 248892 markings/sec, 45 secs
lola: 16273916 markings, 31228483 edges, 252602 markings/sec, 50 secs
lola: 17556002 markings, 33820329 edges, 256417 markings/sec, 55 secs
lola: 18815366 markings, 36388474 edges, 251873 markings/sec, 60 secs
lola: 20069563 markings, 38951665 edges, 250839 markings/sec, 65 secs
lola: 21317568 markings, 41505012 edges, 249601 markings/sec, 70 secs
lola: 22586977 markings, 44057660 edges, 253882 markings/sec, 75 secs
lola: 23858276 markings, 46608915 edges, 254260 markings/sec, 80 secs
lola: 25109621 markings, 49161567 edges, 250269 markings/sec, 85 secs
lola: 26331978 markings, 51686301 edges, 244471 markings/sec, 90 secs
lola: 27575045 markings, 54215177 edges, 248613 markings/sec, 95 secs
lola: 28861696 markings, 56807800 edges, 257330 markings/sec, 100 secs
lola: 30064485 markings, 59306921 edges, 240558 markings/sec, 105 secs
lola: 31272801 markings, 61797482 edges, 241663 markings/sec, 110 secs
lola: 32502347 markings, 64311576 edges, 245909 markings/sec, 115 secs
lola: 33740164 markings, 66852697 edges, 247563 markings/sec, 120 secs
lola: 34963070 markings, 69365446 edges, 244581 markings/sec, 125 secs
lola: 36128932 markings, 71819719 edges, 233172 markings/sec, 130 secs
lola: 37321781 markings, 74295547 edges, 238570 markings/sec, 135 secs
lola: 38516966 markings, 76762101 edges, 239037 markings/sec, 140 secs
lola: 39689219 markings, 79227626 edges, 234451 markings/sec, 145 secs
lola: 40879074 markings, 81700897 edges, 237971 markings/sec, 150 secs
lola: 42075360 markings, 84170234 edges, 239257 markings/sec, 155 secs
lola: 43231270 markings, 86601193 edges, 231182 markings/sec, 160 secs
lola: 44436232 markings, 89078614 edges, 240992 markings/sec, 165 secs
lola: 45598917 markings, 91516187 edges, 232537 markings/sec, 170 secs
lola: 46764259 markings, 93939616 edges, 233068 markings/sec, 175 secs
lola: 47952232 markings, 96402114 edges, 237595 markings/sec, 180 secs
lola: 49103925 markings, 98810041 edges, 230339 markings/sec, 185 secs
lola: 50303572 markings, 101271468 edges, 239929 markings/sec, 190 secs
lola: 51470645 markings, 103696089 edges, 233415 markings/sec, 195 secs
lola: 52675476 markings, 106153597 edges, 240966 markings/sec, 200 secs
lola: 53843657 markings, 108576740 edges, 233636 markings/sec, 205 secs
lola: 54992317 markings, 110973142 edges, 229732 markings/sec, 210 secs
lola: 56190619 markings, 113423465 edges, 239660 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(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: 2288050 markings, 2758480 edges, 457610 markings/sec, 0 secs
lola: 4377999 markings, 5303527 edges, 417990 markings/sec, 5 secs
lola: 6429223 markings, 7799841 edges, 410245 markings/sec, 10 secs
lola: 8457724 markings, 10268936 edges, 405700 markings/sec, 15 secs
lola: 10459432 markings, 12705083 edges, 400342 markings/sec, 20 secs
lola: 12434049 markings, 15108490 edges, 394923 markings/sec, 25 secs
lola: 14378651 markings, 17472590 edges, 388920 markings/sec, 30 secs
lola: 16303437 markings, 19814279 edges, 384957 markings/sec, 35 secs
lola: 18231318 markings, 22156277 edges, 385576 markings/sec, 40 secs
lola: 20164837 markings, 24508781 edges, 386704 markings/sec, 45 secs
lola: 22089313 markings, 26847122 edges, 384895 markings/sec, 50 secs
lola: 23993099 markings, 29162245 edges, 380757 markings/sec, 55 secs
lola: 25906978 markings, 31486988 edges, 382776 markings/sec, 60 secs
lola: 27825690 markings, 33814938 edges, 383742 markings/sec, 65 secs
lola: 29745553 markings, 36144783 edges, 383973 markings/sec, 70 secs
lola: 31670102 markings, 38479044 edges, 384910 markings/sec, 75 secs
lola: 33576571 markings, 40794721 edges, 381294 markings/sec, 80 secs
lola: 35484152 markings, 43109310 edges, 381516 markings/sec, 85 secs
lola: 37378533 markings, 45406539 edges, 378876 markings/sec, 90 secs
lola: 39278261 markings, 47710827 edges, 379946 markings/sec, 95 secs
lola: 41177038 markings, 50012918 edges, 379755 markings/sec, 100 secs
lola: 43075135 markings, 52315804 edges, 379619 markings/sec, 105 secs
lola: 44972993 markings, 54619323 edges, 379572 markings/sec, 110 secs
lola: 46860554 markings, 56910527 edges, 377512 markings/sec, 115 secs
lola: 48743262 markings, 59196568 edges, 376542 markings/sec, 120 secs
lola: 50611144 markings, 61460073 edges, 373576 markings/sec, 125 secs
lola: 52480908 markings, 63732495 edges, 373953 markings/sec, 130 secs
lola: 54337131 markings, 65991682 edges, 371245 markings/sec, 135 secs
lola: 56168322 markings, 68218114 edges, 366238 markings/sec, 140 secs
lola: 58022318 markings, 70468907 edges, 370799 markings/sec, 145 secs
lola: 59801223 markings, 72630561 edges, 355781 markings/sec, 150 secs
lola: 61416545 markings, 74594410 edges, 323064 markings/sec, 155 secs
lola: 63121396 markings, 76665259 edges, 340970 markings/sec, 160 secs
lola: 64936804 markings, 78872300 edges, 363082 markings/sec, 165 secs
lola: 66767177 markings, 81095342 edges, 366075 markings/sec, 170 secs
lola: 68578973 markings, 83297306 edges, 362359 markings/sec, 175 secs
lola: 70399528 markings, 85507556 edges, 364111 markings/sec, 180 secs
lola: 72209100 markings, 87708815 edges, 361914 markings/sec, 185 secs
lola: 74015164 markings, 89900266 edges, 361213 markings/sec, 190 secs
lola: 75834420 markings, 92113107 edges, 363851 markings/sec, 195 secs
lola: 77640495 markings, 94311242 edges, 361215 markings/sec, 200 secs
lola: 79464578 markings, 96532144 edges, 364817 markings/sec, 205 secs
lola: 81306970 markings, 98770532 edges, 368478 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(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: 3278798 markings, 3644664 edges, 655760 markings/sec, 0 secs
lola: 6138439 markings, 6916217 edges, 571928 markings/sec, 5 secs
lola: 8570288 markings, 9805251 edges, 486370 markings/sec, 10 secs
lola: 11020204 markings, 12668478 edges, 489983 markings/sec, 15 secs
lola: 13496845 markings, 15572397 edges, 495328 markings/sec, 20 secs
lola: 15985988 markings, 18548778 edges, 497829 markings/sec, 25 secs
lola: 18371418 markings, 21354780 edges, 477086 markings/sec, 30 secs
lola: 20811317 markings, 24176476 edges, 487980 markings/sec, 35 secs
lola: 23253247 markings, 27037859 edges, 488386 markings/sec, 40 secs
lola: 25713572 markings, 29961375 edges, 492065 markings/sec, 45 secs
lola: 28155468 markings, 32885004 edges, 488379 markings/sec, 50 secs
lola: 30445502 markings, 35554745 edges, 458007 markings/sec, 55 secs
lola: 32849775 markings, 38328526 edges, 480855 markings/sec, 60 secs
lola: 35295633 markings, 41191877 edges, 489172 markings/sec, 65 secs
lola: 37721712 markings, 44033877 edges, 485216 markings/sec, 70 secs
lola: 40200090 markings, 46994258 edges, 495676 markings/sec, 75 secs
lola: 42638937 markings, 49907411 edges, 487769 markings/sec, 80 secs
lola: 44947427 markings, 52629913 edges, 461698 markings/sec, 85 secs
lola: 47333295 markings, 55381086 edges, 477174 markings/sec, 90 secs
lola: 49724562 markings, 58165340 edges, 478253 markings/sec, 95 secs
lola: 52111475 markings, 60958188 edges, 477383 markings/sec, 100 secs
lola: 54497119 markings, 63749539 edges, 477129 markings/sec, 105 secs
lola: 56929835 markings, 66645184 edges, 486543 markings/sec, 110 secs
lola: 59353590 markings, 69537972 edges, 484751 markings/sec, 115 secs
lola: 61737447 markings, 72383131 edges, 476771 markings/sec, 120 secs
lola: 64028081 markings, 75063297 edges, 458127 markings/sec, 125 secs
lola: 66297098 markings, 77682045 edges, 453803 markings/sec, 130 secs
lola: 68732996 markings, 80501319 edges, 487180 markings/sec, 135 secs
lola: 71151180 markings, 83327712 edges, 483637 markings/sec, 140 secs
lola: 73555499 markings, 86140323 edges, 480864 markings/sec, 145 secs
lola: 75934351 markings, 88923123 edges, 475770 markings/sec, 150 secs
lola: 78384494 markings, 91844007 edges, 490029 markings/sec, 155 secs
lola: 80813010 markings, 94740955 edges, 485703 markings/sec, 160 secs
lola: 83223709 markings, 97616644 edges, 482140 markings/sec, 165 secs
lola: 85598032 markings, 100416011 edges, 474865 markings/sec, 170 secs
lola: 87833752 markings, 103050772 edges, 447144 markings/sec, 175 secs
lola: 90167067 markings, 105736055 edges, 466663 markings/sec, 180 secs
lola: 92568100 markings, 108509646 edges, 480207 markings/sec, 185 secs
lola: 94927348 markings, 111268746 edges, 471850 markings/sec, 190 secs
lola: 97283365 markings, 114024059 edges, 471203 markings/sec, 195 secs
lola: 99623609 markings, 116760940 edges, 468049 markings/sec, 200 secs
lola: 101998611 markings, 119572010 edges, 475000 markings/sec, 205 secs
lola: 104394745 markings, 122429303 edges, 479227 markings/sec, 210 secs
lola: 106773311 markings, 125265621 edges, 475713 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(CA)
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: 3069249 markings, 3479831 edges, 613850 markings/sec, 0 secs
lola: 5911028 markings, 6700722 edges, 568356 markings/sec, 5 secs
lola: 8734276 markings, 9906005 edges, 564650 markings/sec, 10 secs
lola: 11522774 markings, 13078811 edges, 557700 markings/sec, 15 secs
lola: 14324908 markings, 16274797 edges, 560427 markings/sec, 20 secs
lola: 17019578 markings, 19324980 edges, 538934 markings/sec, 25 secs
lola: 19725475 markings, 22397358 edges, 541179 markings/sec, 30 secs
lola: 22400953 markings, 25456493 edges, 535096 markings/sec, 35 secs
lola: 25092247 markings, 28502519 edges, 538259 markings/sec, 40 secs
lola: 27830667 markings, 31606228 edges, 547684 markings/sec, 45 secs
lola: 30539049 markings, 34688954 edges, 541676 markings/sec, 50 secs
lola: 33261518 markings, 37792668 edges, 544494 markings/sec, 55 secs
lola: 35959939 markings, 40846994 edges, 539684 markings/sec, 60 secs
lola: 38693473 markings, 43953404 edges, 546707 markings/sec, 65 secs
lola: 41462694 markings, 47119319 edges, 553844 markings/sec, 70 secs
lola: 44197362 markings, 50215729 edges, 546934 markings/sec, 75 secs
lola: 46922924 markings, 53302467 edges, 545112 markings/sec, 80 secs
lola: 49621542 markings, 56374287 edges, 539724 markings/sec, 85 secs
lola: 52334075 markings, 59468203 edges, 542507 markings/sec, 90 secs
lola: 55022995 markings, 62510790 edges, 537784 markings/sec, 95 secs
lola: 57708696 markings, 65563260 edges, 537140 markings/sec, 100 secs
lola: 60363243 markings, 68594755 edges, 530909 markings/sec, 105 secs
lola: 63015548 markings, 71595025 edges, 530461 markings/sec, 110 secs
lola: 65731628 markings, 74680107 edges, 543216 markings/sec, 115 secs
lola: 68405452 markings, 77736293 edges, 534765 markings/sec, 120 secs
lola: 71071912 markings, 80752910 edges, 533292 markings/sec, 125 secs
lola: 73723268 markings, 83761756 edges, 530271 markings/sec, 130 secs
lola: 76352180 markings, 86767664 edges, 525782 markings/sec, 135 secs
lola: 79009107 markings, 89773650 edges, 531385 markings/sec, 140 secs
lola: 81646320 markings, 92766286 edges, 527443 markings/sec, 145 secs
lola: 84270362 markings, 95764848 edges, 524808 markings/sec, 150 secs
lola: 86893425 markings, 98731436 edges, 524613 markings/sec, 155 secs
lola: 89530111 markings, 101726798 edges, 527337 markings/sec, 160 secs
lola: 92207808 markings, 104784843 edges, 535539 markings/sec, 165 secs
lola: 94780735 markings, 107694348 edges, 514585 markings/sec, 170 secs
lola: 97338571 markings, 110602527 edges, 511567 markings/sec, 175 secs
lola: 99875468 markings, 113490601 edges, 507379 markings/sec, 180 secs
lola: 102418428 markings, 116372557 edges, 508592 markings/sec, 185 secs
lola: 104945144 markings, 119260881 edges, 505343 markings/sec, 190 secs
lola: 107468839 markings, 122111953 edges, 504739 markings/sec, 195 secs
lola: 110044845 markings, 125043638 edges, 515201 markings/sec, 200 secs
lola: 112578730 markings, 127926932 edges, 506777 markings/sec, 205 secs
lola: 115154438 markings, 130847074 edges, 515142 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 220 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: 2181639 markings, 2852817 edges, 436328 markings/sec, 0 secs
lola: 4244336 markings, 5630130 edges, 412539 markings/sec, 5 secs
lola: 6090454 markings, 8132983 edges, 369224 markings/sec, 10 secs
lola: 8130914 markings, 10877036 edges, 408092 markings/sec, 15 secs
lola: 10129796 markings, 13566275 edges, 399776 markings/sec, 20 secs
lola: 11978559 markings, 16051758 edges, 369753 markings/sec, 25 secs
lola: 13735966 markings, 18439985 edges, 351481 markings/sec, 30 secs
lola: 15500639 markings, 20837357 edges, 352935 markings/sec, 35 secs
lola: 17448411 markings, 23457337 edges, 389554 markings/sec, 40 secs
lola: 19379460 markings, 26055445 edges, 386210 markings/sec, 45 secs
lola: 21303677 markings, 28645511 edges, 384843 markings/sec, 50 secs
lola: 23236536 markings, 31243264 edges, 386572 markings/sec, 55 secs
lola: 25187746 markings, 33870006 edges, 390242 markings/sec, 60 secs
lola: 27106839 markings, 36451218 edges, 383819 markings/sec, 65 secs
lola: 29020290 markings, 39025567 edges, 382690 markings/sec, 70 secs
lola: 30971845 markings, 41650146 edges, 390311 markings/sec, 75 secs
lola: 32923667 markings, 44275473 edges, 390364 markings/sec, 80 secs
lola: 34857817 markings, 46876497 edges, 386830 markings/sec, 85 secs
lola: 36756347 markings, 49431270 edges, 379706 markings/sec, 90 secs
lola: 38687697 markings, 52030215 edges, 386270 markings/sec, 95 secs
lola: 40589753 markings, 54588013 edges, 380411 markings/sec, 100 secs
lola: 42489813 markings, 57146586 edges, 380012 markings/sec, 105 secs
lola: 44373271 markings, 59680188 edges, 376692 markings/sec, 110 secs
lola: 46284176 markings, 62247080 edges, 382181 markings/sec, 115 secs
lola: 48207348 markings, 64835215 edges, 384634 markings/sec, 120 secs
lola: 50091937 markings, 67371708 edges, 376918 markings/sec, 125 secs
lola: 51994779 markings, 69930608 edges, 380568 markings/sec, 130 secs
lola: 53894577 markings, 72485458 edges, 379960 markings/sec, 135 secs
lola: 55804088 markings, 75055276 edges, 381902 markings/sec, 140 secs
lola: 57718853 markings, 77630211 edges, 382953 markings/sec, 145 secs
lola: 59601756 markings, 80162611 edges, 376581 markings/sec, 150 secs
lola: 61500194 markings, 82716292 edges, 379688 markings/sec, 155 secs
lola: 63388553 markings, 85258266 edges, 377672 markings/sec, 160 secs
lola: 65252795 markings, 87765548 edges, 372848 markings/sec, 165 secs
lola: 67220924 markings, 90412512 edges, 393626 markings/sec, 170 secs
lola: 69158718 markings, 93022359 edges, 387559 markings/sec, 175 secs
lola: 71058858 markings, 95576271 edges, 380028 markings/sec, 180 secs
lola: 72990538 markings, 98175734 edges, 386336 markings/sec, 185 secs
lola: 74891340 markings, 100734852 edges, 380160 markings/sec, 190 secs
lola: 76778659 markings, 103271380 edges, 377464 markings/sec, 195 secs
lola: 78709209 markings, 105867571 edges, 386110 markings/sec, 200 secs
lola: 80605105 markings, 108418283 edges, 379179 markings/sec, 205 secs
lola: 82479608 markings, 110941733 edges, 374901 markings/sec, 210 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(Ci)
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: 3229140 markings, 3715736 edges, 645828 markings/sec, 0 secs
lola: 5870402 markings, 6879016 edges, 528252 markings/sec, 5 secs
lola: 8542233 markings, 9896427 edges, 534366 markings/sec, 10 secs
lola: 11188606 markings, 12795578 edges, 529275 markings/sec, 15 secs
lola: 13768211 markings, 15621173 edges, 515921 markings/sec, 20 secs
lola: 16338945 markings, 18437118 edges, 514147 markings/sec, 25 secs
lola: 18923043 markings, 21267759 edges, 516820 markings/sec, 30 secs
lola: 21510615 markings, 24101890 edges, 517514 markings/sec, 35 secs
lola: 24084705 markings, 26921829 edges, 514818 markings/sec, 40 secs
lola: 26656329 markings, 29738546 edges, 514325 markings/sec, 45 secs
lola: 29215074 markings, 32540828 edges, 511749 markings/sec, 50 secs
lola: 31762720 markings, 35331385 edges, 509529 markings/sec, 55 secs
lola: 34288305 markings, 38097526 edges, 505117 markings/sec, 60 secs
lola: 36791512 markings, 40839882 edges, 500641 markings/sec, 65 secs
lola: 39293551 markings, 43580110 edges, 500408 markings/sec, 70 secs
lola: 41799729 markings, 46325012 edges, 501236 markings/sec, 75 secs
lola: 44309812 markings, 49074561 edges, 502017 markings/sec, 80 secs
lola: 46820419 markings, 51824233 edges, 502121 markings/sec, 85 secs
lola: 49325522 markings, 54568220 edges, 501021 markings/sec, 90 secs
lola: 51831643 markings, 57312773 edges, 501224 markings/sec, 95 secs
lola: 54334529 markings, 60054434 edges, 500577 markings/sec, 100 secs
lola: 56835635 markings, 62794087 edges, 500221 markings/sec, 105 secs
lola: 59329538 markings, 65525495 edges, 498781 markings/sec, 110 secs
lola: 61821515 markings, 68255414 edges, 498395 markings/sec, 115 secs
lola: 64313971 markings, 70985368 edges, 498491 markings/sec, 120 secs
lola: 66807527 markings, 73716563 edges, 498711 markings/sec, 125 secs
lola: 69305743 markings, 76452180 edges, 499643 markings/sec, 130 secs
lola: 71810982 markings, 79196096 edges, 501048 markings/sec, 135 secs
lola: 74317614 markings, 81941575 edges, 501326 markings/sec, 140 secs
lola: 76826269 markings, 84690085 edges, 501731 markings/sec, 145 secs
lola: 79331401 markings, 87433654 edges, 501026 markings/sec, 150 secs
lola: 81836568 markings, 90177655 edges, 501033 markings/sec, 155 secs
lola: 84340051 markings, 92919550 edges, 500697 markings/sec, 160 secs
lola: 86844553 markings, 95662550 edges, 500900 markings/sec, 165 secs
lola: 89350027 markings, 98406224 edges, 501095 markings/sec, 170 secs
lola: 91859391 markings, 101154712 edges, 501873 markings/sec, 175 secs
lola: 94366227 markings, 103901088 edges, 501367 markings/sec, 180 secs
lola: 96875111 markings, 106648825 edges, 501777 markings/sec, 185 secs
lola: 99380063 markings, 109392987 edges, 500990 markings/sec, 190 secs
lola: 101881210 markings, 112132116 edges, 500229 markings/sec, 195 secs
lola: 104377073 markings, 114866080 edges, 499173 markings/sec, 200 secs
lola: 106873060 markings, 117599556 edges, 499197 markings/sec, 205 secs
lola: 109365083 markings, 120328581 edges, 498405 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: 2638673 markings, 3567947 edges, 527735 markings/sec, 0 secs
lola: 4748898 markings, 6449350 edges, 422045 markings/sec, 5 secs
lola: 6486388 markings, 9018437 edges, 347498 markings/sec, 10 secs
lola: 8139866 markings, 11469690 edges, 330696 markings/sec, 15 secs
lola: 9751475 markings, 13860580 edges, 322322 markings/sec, 20 secs
lola: 11368563 markings, 16255915 edges, 323418 markings/sec, 25 secs
lola: 12980321 markings, 18644661 edges, 322352 markings/sec, 30 secs
lola: 14529301 markings, 20945356 edges, 309796 markings/sec, 35 secs
lola: 16109910 markings, 23289614 edges, 316122 markings/sec, 40 secs
lola: 17671221 markings, 25605401 edges, 312262 markings/sec, 45 secs
lola: 19232049 markings, 27921063 edges, 312166 markings/sec, 50 secs
lola: 20764169 markings, 30195541 edges, 306424 markings/sec, 55 secs
lola: 22353694 markings, 32552375 edges, 317905 markings/sec, 60 secs
lola: 23862608 markings, 34794143 edges, 301783 markings/sec, 65 secs
lola: 25393369 markings, 37067585 edges, 306152 markings/sec, 70 secs
lola: 26938391 markings, 39358485 edges, 309004 markings/sec, 75 secs
lola: 28505353 markings, 41680175 edges, 313392 markings/sec, 80 secs
lola: 30092894 markings, 44034843 edges, 317508 markings/sec, 85 secs
lola: 31670210 markings, 46376086 edges, 315463 markings/sec, 90 secs
lola: 33221422 markings, 48682240 edges, 310242 markings/sec, 95 secs
lola: 34802586 markings, 51028091 edges, 316233 markings/sec, 100 secs
lola: 36426356 markings, 53432214 edges, 324754 markings/sec, 105 secs
lola: 37943976 markings, 55689427 edges, 303524 markings/sec, 110 secs
lola: 39502516 markings, 58007378 edges, 311708 markings/sec, 115 secs
lola: 41019427 markings, 60259394 edges, 303382 markings/sec, 120 secs
lola: 42592766 markings, 62596996 edges, 314668 markings/sec, 125 secs
lola: 44012392 markings, 64705163 edges, 283925 markings/sec, 130 secs
lola: 45592083 markings, 67053619 edges, 315938 markings/sec, 135 secs
lola: 47229016 markings, 69481442 edges, 327387 markings/sec, 140 secs
lola: 48847848 markings, 71883229 edges, 323766 markings/sec, 145 secs
lola: 50460190 markings, 74272958 edges, 322468 markings/sec, 150 secs
lola: 51973596 markings, 76527151 edges, 302681 markings/sec, 155 secs
lola: 53544708 markings, 78862648 edges, 314222 markings/sec, 160 secs
lola: 55093566 markings, 81161656 edges, 309772 markings/sec, 165 secs
lola: 56701924 markings, 83549497 edges, 321672 markings/sec, 170 secs
lola: 58203674 markings, 85779057 edges, 300350 markings/sec, 175 secs
lola: 59726887 markings, 88046103 edges, 304643 markings/sec, 180 secs
lola: 61325324 markings, 90420584 edges, 319687 markings/sec, 185 secs
lola: 62889314 markings, 92748302 edges, 312798 markings/sec, 190 secs
lola: 64475473 markings, 95100667 edges, 317232 markings/sec, 195 secs
lola: 66040361 markings, 97425108 edges, 312978 markings/sec, 200 secs
lola: 67539766 markings, 99652951 edges, 299881 markings/sec, 205 secs
lola: 69040919 markings, 101883377 edges, 300231 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(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: 2074404 markings, 2575640 edges, 414881 markings/sec, 0 secs
lola: 3899212 markings, 4907996 edges, 364962 markings/sec, 5 secs
lola: 5661576 markings, 7160018 edges, 352473 markings/sec, 10 secs
lola: 7363825 markings, 9335409 edges, 340450 markings/sec, 15 secs
lola: 9102367 markings, 11558090 edges, 347708 markings/sec, 20 secs
lola: 10814997 markings, 13746517 edges, 342526 markings/sec, 25 secs
lola: 12518727 markings, 15923780 edges, 340746 markings/sec, 30 secs
lola: 14190286 markings, 18060443 edges, 334312 markings/sec, 35 secs
lola: 15837813 markings, 20166440 edges, 329505 markings/sec, 40 secs
lola: 17607143 markings, 22427959 edges, 353866 markings/sec, 45 secs
lola: 19378767 markings, 24692349 edges, 354325 markings/sec, 50 secs
lola: 21025300 markings, 26797477 edges, 329307 markings/sec, 55 secs
lola: 22691689 markings, 28927101 edges, 333278 markings/sec, 60 secs
lola: 24326315 markings, 31016583 edges, 326925 markings/sec, 65 secs
lola: 25975976 markings, 33125147 edges, 329932 markings/sec, 70 secs
lola: 27557985 markings, 35147554 edges, 316402 markings/sec, 75 secs
lola: 29286522 markings, 37356335 edges, 345707 markings/sec, 80 secs
lola: 30961101 markings, 39495212 edges, 334916 markings/sec, 85 secs
lola: 32650541 markings, 41656029 edges, 337888 markings/sec, 90 secs
lola: 34236975 markings, 43682652 edges, 317287 markings/sec, 95 secs
lola: 35880053 markings, 45783540 edges, 328616 markings/sec, 100 secs
lola: 37485621 markings, 47835281 edges, 321114 markings/sec, 105 secs
lola: 39095193 markings, 49893106 edges, 321914 markings/sec, 110 secs
lola: 40683389 markings, 51921838 edges, 317639 markings/sec, 115 secs
lola: 42191041 markings, 53849461 edges, 301530 markings/sec, 120 secs
lola: 43887147 markings, 56017288 edges, 339221 markings/sec, 125 secs
lola: 45525173 markings, 58110229 edges, 327605 markings/sec, 130 secs
lola: 47172963 markings, 60216027 edges, 329558 markings/sec, 135 secs
lola: 48785533 markings, 62276293 edges, 322514 markings/sec, 140 secs
lola: 50349382 markings, 64275958 edges, 312770 markings/sec, 145 secs
lola: 51932297 markings, 66300706 edges, 316583 markings/sec, 150 secs
lola: 53493094 markings, 68295291 edges, 312159 markings/sec, 155 secs
lola: 55036637 markings, 70268170 edges, 308709 markings/sec, 160 secs
lola: 56612203 markings, 72280861 edges, 315113 markings/sec, 165 secs
lola: 58161563 markings, 74261858 edges, 309872 markings/sec, 170 secs
lola: 59647183 markings, 76161913 edges, 297124 markings/sec, 175 secs
lola: 61412301 markings, 78415594 edges, 353024 markings/sec, 180 secs
lola: 63178909 markings, 80674046 edges, 353322 markings/sec, 185 secs
lola: 64903005 markings, 82877296 edges, 344819 markings/sec, 190 secs
lola: 66636507 markings, 85094646 edges, 346700 markings/sec, 195 secs
lola: 68345159 markings, 87275820 edges, 341730 markings/sec, 200 secs
lola: 70024565 markings, 89423406 edges, 335881 markings/sec, 205 secs
lola: 71741157 markings, 91619107 edges, 343318 markings/sec, 210 secs
lola: 73361388 markings, 93688504 edges, 324046 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(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: 2320209 markings, 2713819 edges, 464042 markings/sec, 0 secs
lola: 4489553 markings, 5279315 edges, 433869 markings/sec, 5 secs
lola: 6613718 markings, 7790671 edges, 424833 markings/sec, 10 secs
lola: 8734365 markings, 10296720 edges, 424129 markings/sec, 15 secs
lola: 10796078 markings, 12733959 edges, 412343 markings/sec, 20 secs
lola: 12858519 markings, 15169667 edges, 412488 markings/sec, 25 secs
lola: 14913000 markings, 17598550 edges, 410896 markings/sec, 30 secs
lola: 16953803 markings, 20008969 edges, 408161 markings/sec, 35 secs
lola: 18944409 markings, 22360208 edges, 398121 markings/sec, 40 secs
lola: 21012912 markings, 24803252 edges, 413701 markings/sec, 45 secs
lola: 23093309 markings, 27260897 edges, 416079 markings/sec, 50 secs
lola: 25172687 markings, 29717093 edges, 415876 markings/sec, 55 secs
lola: 27212264 markings, 32126904 edges, 407915 markings/sec, 60 secs
lola: 29203883 markings, 34480007 edges, 398324 markings/sec, 65 secs
lola: 31324232 markings, 36984409 edges, 424070 markings/sec, 70 secs
lola: 33390525 markings, 39426202 edges, 413259 markings/sec, 75 secs
lola: 35480717 markings, 41894291 edges, 418038 markings/sec, 80 secs
lola: 37596389 markings, 44390903 edges, 423134 markings/sec, 85 secs
lola: 39686156 markings, 46860608 edges, 417953 markings/sec, 90 secs
lola: 41782665 markings, 49338004 edges, 419302 markings/sec, 95 secs
lola: 43832355 markings, 51756125 edges, 409938 markings/sec, 100 secs
lola: 45944379 markings, 54251749 edges, 422405 markings/sec, 105 secs
lola: 48060636 markings, 56752568 edges, 423251 markings/sec, 110 secs
lola: 50138087 markings, 59202666 edges, 415490 markings/sec, 115 secs
lola: 52199475 markings, 61639514 edges, 412278 markings/sec, 120 secs
lola: 54262369 markings, 64075110 edges, 412579 markings/sec, 125 secs
lola: 56399480 markings, 66599013 edges, 427422 markings/sec, 130 secs
lola: 58500648 markings, 69081231 edges, 420234 markings/sec, 135 secs
lola: 60509873 markings, 71453460 edges, 401845 markings/sec, 140 secs
lola: 62643112 markings, 73974329 edges, 426648 markings/sec, 145 secs
lola: 64583904 markings, 76262738 edges, 388158 markings/sec, 150 secs
lola: 66710844 markings, 78777931 edges, 425388 markings/sec, 155 secs
lola: 68632591 markings, 81045510 edges, 384349 markings/sec, 160 secs
lola: 70711388 markings, 83500905 edges, 415759 markings/sec, 165 secs
lola: 72699062 markings, 85847064 edges, 397535 markings/sec, 170 secs
lola: 74678633 markings, 88185053 edges, 395914 markings/sec, 175 secs
lola: 76757010 markings, 90640159 edges, 415675 markings/sec, 180 secs
lola: 78699949 markings, 92931178 edges, 388588 markings/sec, 185 secs
lola: 80707485 markings, 95306231 edges, 401507 markings/sec, 190 secs
lola: 82742189 markings, 97705414 edges, 406941 markings/sec, 195 secs
lola: 84822263 markings, 100165041 edges, 416015 markings/sec, 200 secs
lola: 86748703 markings, 102437355 edges, 385288 markings/sec, 205 secs
lola: 88635327 markings, 104663374 edges, 377325 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
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 ClientsAndServers-PT-N2000P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N2000P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496610511242

--------------------
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-N2000P0"
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-N2000P0.tgz
mv ClientsAndServers-PT-N2000P0 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-N2000P0, 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-149580920200308"
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 ;