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

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

=== Now, execution of the tool begins

BK_START 1496604034824


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


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0050P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0050P0 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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-N0050P0-UpperBounds.task
lola: MAX(SA) : MAX(Cb) : MAX(CA) : MAX(CF) : MAX(CwA) : MAX(StF) : MAX(SG) : MAX(Ci) : MAX(Mi) : MAX(SG) : MAX(CwA) : MAX(MtF) : MAX(StR) : MAX(SF) : MAX(SpA) : MAX(CR)
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(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: 2200841 markings, 2969668 edges, 440168 markings/sec, 0 secs
lola: 4237522 markings, 5725079 edges, 407336 markings/sec, 5 secs
lola: 6205677 markings, 8395216 edges, 393631 markings/sec, 10 secs
lola: 8252631 markings, 11165132 edges, 409391 markings/sec, 15 secs
lola: 10292675 markings, 13933333 edges, 408009 markings/sec, 20 secs
lola: 12332875 markings, 16693165 edges, 408040 markings/sec, 25 secs
lola: 14391679 markings, 19486786 edges, 411761 markings/sec, 30 secs
lola: 16457057 markings, 22281267 edges, 413076 markings/sec, 35 secs
lola: 18432603 markings, 24957049 edges, 395109 markings/sec, 40 secs
lola: 20420071 markings, 27650772 edges, 397494 markings/sec, 45 secs
lola: 22403881 markings, 30334728 edges, 396762 markings/sec, 50 secs
lola: 24386049 markings, 33023545 edges, 396434 markings/sec, 55 secs
lola: 26355577 markings, 35689177 edges, 393906 markings/sec, 60 secs
lola: 28343399 markings, 38386077 edges, 397564 markings/sec, 65 secs
lola: 30269066 markings, 40990555 edges, 385133 markings/sec, 70 secs
lola: 32276357 markings, 43714106 edges, 401458 markings/sec, 75 secs
lola: 34320858 markings, 46479506 edges, 408900 markings/sec, 80 secs
lola: 36356178 markings, 49242163 edges, 407064 markings/sec, 85 secs
lola: 38377564 markings, 51977559 edges, 404277 markings/sec, 90 secs
lola: 40398586 markings, 54719500 edges, 404204 markings/sec, 95 secs
lola: 42430338 markings, 57468084 edges, 406350 markings/sec, 100 secs
lola: 44461858 markings, 60221966 edges, 406304 markings/sec, 105 secs
lola: 46515870 markings, 63003485 edges, 410802 markings/sec, 110 secs
lola: 48549990 markings, 65756057 edges, 406824 markings/sec, 115 secs
lola: 50584614 markings, 68516949 edges, 406925 markings/sec, 120 secs
lola: 52604749 markings, 71250969 edges, 404027 markings/sec, 125 secs
lola: 54582418 markings, 73933503 edges, 395534 markings/sec, 130 secs
lola: 56611517 markings, 76679316 edges, 405820 markings/sec, 135 secs
lola: 58646789 markings, 79440674 edges, 407054 markings/sec, 140 secs
lola: 60660235 markings, 82164303 edges, 402689 markings/sec, 145 secs
lola: 62671348 markings, 84893475 edges, 402223 markings/sec, 150 secs
lola: 64715338 markings, 87658860 edges, 408798 markings/sec, 155 secs
lola: 66758069 markings, 90424743 edges, 408546 markings/sec, 160 secs
lola: 68807691 markings, 93203115 edges, 409924 markings/sec, 165 secs
lola: 70854371 markings, 95972889 edges, 409336 markings/sec, 170 secs
lola: 72882285 markings, 98723860 edges, 405583 markings/sec, 175 secs
lola: 74900417 markings, 101454750 edges, 403626 markings/sec, 180 secs
lola: 76927593 markings, 104205202 edges, 405435 markings/sec, 185 secs
lola: 78930959 markings, 106914873 edges, 400673 markings/sec, 190 secs
lola: 80937298 markings, 109637261 edges, 401268 markings/sec, 195 secs
lola: 82951045 markings, 112362200 edges, 402749 markings/sec, 200 secs
lola: 84957421 markings, 115083246 edges, 401275 markings/sec, 205 secs
lola: 86960032 markings, 117793641 edges, 400522 markings/sec, 210 secs
lola: 88925466 markings, 120456927 edges, 393087 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(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: 2592433 markings, 3043008 edges, 518487 markings/sec, 0 secs
lola: 5070708 markings, 5960518 edges, 495655 markings/sec, 5 secs
lola: 7508309 markings, 8817162 edges, 487520 markings/sec, 10 secs
lola: 9989009 markings, 11741399 edges, 496140 markings/sec, 15 secs
lola: 12411185 markings, 14593267 edges, 484435 markings/sec, 20 secs
lola: 14768942 markings, 17373445 edges, 471551 markings/sec, 25 secs
lola: 17088725 markings, 20099382 edges, 463957 markings/sec, 30 secs
lola: 19441119 markings, 22873059 edges, 470479 markings/sec, 35 secs
lola: 21789030 markings, 25643564 edges, 469582 markings/sec, 40 secs
lola: 24075602 markings, 28333865 edges, 457314 markings/sec, 45 secs
lola: 26361737 markings, 31021354 edges, 457227 markings/sec, 50 secs
lola: 28687707 markings, 33760330 edges, 465194 markings/sec, 55 secs
lola: 30923135 markings, 36393601 edges, 447086 markings/sec, 60 secs
lola: 33217058 markings, 39096634 edges, 458785 markings/sec, 65 secs
lola: 35478381 markings, 41763632 edges, 452265 markings/sec, 70 secs
lola: 37813063 markings, 44514605 edges, 466936 markings/sec, 75 secs
lola: 40057560 markings, 47136252 edges, 448899 markings/sec, 80 secs
lola: 42323393 markings, 49810578 edges, 453167 markings/sec, 85 secs
lola: 44599500 markings, 52497336 edges, 455221 markings/sec, 90 secs
lola: 46920587 markings, 55237739 edges, 464217 markings/sec, 95 secs
lola: 49201183 markings, 57924690 edges, 456119 markings/sec, 100 secs
lola: 51417777 markings, 60529591 edges, 443319 markings/sec, 105 secs
lola: 53581421 markings, 63079487 edges, 432729 markings/sec, 110 secs
lola: 55825618 markings, 65737082 edges, 448839 markings/sec, 115 secs
lola: 57976161 markings, 68249456 edges, 430109 markings/sec, 120 secs
lola: 60133261 markings, 70797242 edges, 431420 markings/sec, 125 secs
lola: 62401504 markings, 73476439 edges, 453649 markings/sec, 130 secs
lola: 64509751 markings, 75940349 edges, 421649 markings/sec, 135 secs
lola: 66761558 markings, 78584381 edges, 450361 markings/sec, 140 secs
lola: 68951272 markings, 81170155 edges, 437943 markings/sec, 145 secs
lola: 71135618 markings, 83753370 edges, 436869 markings/sec, 150 secs
lola: 73381649 markings, 86408544 edges, 449206 markings/sec, 155 secs
lola: 75527969 markings, 88922002 edges, 429264 markings/sec, 160 secs
lola: 77744890 markings, 91549498 edges, 443384 markings/sec, 165 secs
lola: 79917978 markings, 94101247 edges, 434618 markings/sec, 170 secs
lola: 82023120 markings, 96583995 edges, 421028 markings/sec, 175 secs
lola: 84221960 markings, 99174466 edges, 439768 markings/sec, 180 secs
lola: 86314848 markings, 101638175 edges, 418578 markings/sec, 185 secs
lola: 88410640 markings, 104109304 edges, 419158 markings/sec, 190 secs
lola: 90542301 markings, 106617352 edges, 426332 markings/sec, 195 secs
lola: 92732796 markings, 109201428 edges, 438099 markings/sec, 200 secs
lola: 94889917 markings, 111737523 edges, 431424 markings/sec, 205 secs
lola: 97071993 markings, 114312512 edges, 436415 markings/sec, 210 secs
lola: 99135856 markings, 116740131 edges, 412773 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(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: 2524863 markings, 3012893 edges, 504973 markings/sec, 0 secs
lola: 4917973 markings, 5909925 edges, 478622 markings/sec, 5 secs
lola: 7208859 markings, 8676812 edges, 458177 markings/sec, 10 secs
lola: 9520837 markings, 11472527 edges, 462396 markings/sec, 15 secs
lola: 11857467 markings, 14302479 edges, 467326 markings/sec, 20 secs
lola: 14075505 markings, 16980257 edges, 443608 markings/sec, 25 secs
lola: 16365935 markings, 19754363 edges, 458086 markings/sec, 30 secs
lola: 18591003 markings, 22439654 edges, 445014 markings/sec, 35 secs
lola: 20762559 markings, 25063396 edges, 434311 markings/sec, 40 secs
lola: 22978656 markings, 27740703 edges, 443219 markings/sec, 45 secs
lola: 25223237 markings, 30455506 edges, 448916 markings/sec, 50 secs
lola: 27468195 markings, 33169373 edges, 448992 markings/sec, 55 secs
lola: 29718714 markings, 35889327 edges, 450104 markings/sec, 60 secs
lola: 31915404 markings, 38542996 edges, 439338 markings/sec, 65 secs
lola: 34177596 markings, 41276131 edges, 452438 markings/sec, 70 secs
lola: 36443541 markings, 44022169 edges, 453189 markings/sec, 75 secs
lola: 38659694 markings, 46708363 edges, 443231 markings/sec, 80 secs
lola: 40872709 markings, 49380177 edges, 442603 markings/sec, 85 secs
lola: 43125960 markings, 52099883 edges, 450650 markings/sec, 90 secs
lola: 45377892 markings, 54817938 edges, 450386 markings/sec, 95 secs
lola: 47575202 markings, 57473233 edges, 439462 markings/sec, 100 secs
lola: 49914385 markings, 60311790 edges, 467837 markings/sec, 105 secs
lola: 52178645 markings, 63045916 edges, 452852 markings/sec, 110 secs
lola: 54379452 markings, 65699336 edges, 440161 markings/sec, 115 secs
lola: 56564730 markings, 68341775 edges, 437056 markings/sec, 120 secs
lola: 58817981 markings, 71074429 edges, 450650 markings/sec, 125 secs
lola: 61015798 markings, 73722984 edges, 439563 markings/sec, 130 secs
lola: 63247078 markings, 76411768 edges, 446256 markings/sec, 135 secs
lola: 65513465 markings, 79168729 edges, 453277 markings/sec, 140 secs
lola: 67698699 markings, 81800902 edges, 437047 markings/sec, 145 secs
lola: 69893356 markings, 84443989 edges, 438931 markings/sec, 150 secs
lola: 72083373 markings, 87108007 edges, 438003 markings/sec, 155 secs
lola: 74138024 markings, 89580599 edges, 410930 markings/sec, 160 secs
lola: 76379509 markings, 92292684 edges, 448297 markings/sec, 165 secs
lola: 78527648 markings, 94893036 edges, 429628 markings/sec, 170 secs
lola: 80573935 markings, 97354032 edges, 409257 markings/sec, 175 secs
lola: 82891692 markings, 100173361 edges, 463551 markings/sec, 180 secs
lola: 85016007 markings, 102728650 edges, 424863 markings/sec, 185 secs
lola: 87181622 markings, 105354148 edges, 433123 markings/sec, 190 secs
lola: 89361078 markings, 107984741 edges, 435891 markings/sec, 195 secs
lola: 91507251 markings, 110576235 edges, 429235 markings/sec, 200 secs
lola: 93717841 markings, 113254652 edges, 442118 markings/sec, 205 secs
lola: 95801304 markings, 115758884 edges, 416693 markings/sec, 210 secs
lola: 98089671 markings, 118542320 edges, 457673 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(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: 2752254 markings, 3164220 edges, 550451 markings/sec, 0 secs
lola: 5363598 markings, 6201851 edges, 522269 markings/sec, 5 secs
lola: 7963586 markings, 9226596 edges, 519998 markings/sec, 10 secs
lola: 10512076 markings, 12189949 edges, 509698 markings/sec, 15 secs
lola: 13058281 markings, 15156742 edges, 509241 markings/sec, 20 secs
lola: 15606347 markings, 18124162 edges, 509613 markings/sec, 25 secs
lola: 18137127 markings, 21068361 edges, 506156 markings/sec, 30 secs
lola: 20584332 markings, 23916315 edges, 489441 markings/sec, 35 secs
lola: 23057717 markings, 26797714 edges, 494677 markings/sec, 40 secs
lola: 25503332 markings, 29648449 edges, 489123 markings/sec, 45 secs
lola: 27929391 markings, 32478984 edges, 485212 markings/sec, 50 secs
lola: 30391489 markings, 35344906 edges, 492420 markings/sec, 55 secs
lola: 32913767 markings, 38278837 edges, 504456 markings/sec, 60 secs
lola: 35437277 markings, 41220233 edges, 504702 markings/sec, 65 secs
lola: 37915749 markings, 44109797 edges, 495694 markings/sec, 70 secs
lola: 40401104 markings, 47006159 edges, 497071 markings/sec, 75 secs
lola: 42890230 markings, 49906637 edges, 497825 markings/sec, 80 secs
lola: 45349323 markings, 52771985 edges, 491819 markings/sec, 85 secs
lola: 47845460 markings, 55680179 edges, 499227 markings/sec, 90 secs
lola: 50273366 markings, 58509336 edges, 485581 markings/sec, 95 secs
lola: 52756006 markings, 61401417 edges, 496528 markings/sec, 100 secs
lola: 55151870 markings, 64195025 edges, 479173 markings/sec, 105 secs
lola: 57521256 markings, 66964903 edges, 473877 markings/sec, 110 secs
lola: 60032955 markings, 69891839 edges, 502340 markings/sec, 115 secs
lola: 62446100 markings, 72702532 edges, 482629 markings/sec, 120 secs
lola: 64867481 markings, 75522865 edges, 484276 markings/sec, 125 secs
lola: 67220736 markings, 78266485 edges, 470651 markings/sec, 130 secs
lola: 69583207 markings, 81028103 edges, 472494 markings/sec, 135 secs
lola: 72091451 markings, 83950681 edges, 501649 markings/sec, 140 secs
lola: 74466985 markings, 86717761 edges, 475107 markings/sec, 145 secs
lola: 76888560 markings, 89543484 edges, 484315 markings/sec, 150 secs
lola: 79394495 markings, 92467679 edges, 501187 markings/sec, 155 secs
lola: 81743728 markings, 95205119 edges, 469847 markings/sec, 160 secs
lola: 84015296 markings, 97856434 edges, 454314 markings/sec, 165 secs
lola: 86509002 markings, 100765743 edges, 498741 markings/sec, 170 secs
lola: 88875029 markings, 103520429 edges, 473205 markings/sec, 175 secs
lola: 91100920 markings, 106121920 edges, 445178 markings/sec, 180 secs
lola: 93525422 markings, 108942467 edges, 484900 markings/sec, 185 secs
lola: 95864381 markings, 111663468 edges, 467792 markings/sec, 190 secs
lola: 98316337 markings, 114524455 edges, 490391 markings/sec, 195 secs
lola: 100684803 markings, 117269269 edges, 473693 markings/sec, 200 secs
lola: 103142853 markings, 120140219 edges, 491610 markings/sec, 205 secs
lola: 105491878 markings, 122809586 edges, 469805 markings/sec, 210 secs
lola: 107984041 markings, 125686987 edges, 498433 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(CwA)
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: 2761250 markings, 3174596 edges, 552250 markings/sec, 0 secs
lola: 5408737 markings, 6253992 edges, 529497 markings/sec, 5 secs
lola: 8032274 markings, 9306727 edges, 524707 markings/sec, 10 secs
lola: 10586811 markings, 12275983 edges, 510907 markings/sec, 15 secs
lola: 13164002 markings, 15278484 edges, 515438 markings/sec, 20 secs
lola: 15743858 markings, 18283969 edges, 515971 markings/sec, 25 secs
lola: 18331473 markings, 21295792 edges, 517523 markings/sec, 30 secs
lola: 20865408 markings, 24241653 edges, 506787 markings/sec, 35 secs
lola: 23429766 markings, 27233017 edges, 512872 markings/sec, 40 secs
lola: 25959266 markings, 30183408 edges, 505900 markings/sec, 45 secs
lola: 28473942 markings, 33110658 edges, 502935 markings/sec, 50 secs
lola: 31033046 markings, 36089096 edges, 511821 markings/sec, 55 secs
lola: 33598325 markings, 39079785 edges, 513056 markings/sec, 60 secs
lola: 36139442 markings, 42041798 edges, 508223 markings/sec, 65 secs
lola: 38650478 markings, 44969406 edges, 502207 markings/sec, 70 secs
lola: 41124401 markings, 47852651 edges, 494785 markings/sec, 75 secs
lola: 43627749 markings, 50768955 edges, 500670 markings/sec, 80 secs
lola: 46108940 markings, 53659908 edges, 496238 markings/sec, 85 secs
lola: 48627655 markings, 56594167 edges, 503743 markings/sec, 90 secs
lola: 51147174 markings, 59531623 edges, 503904 markings/sec, 95 secs
lola: 53669195 markings, 62469736 edges, 504404 markings/sec, 100 secs
lola: 56088393 markings, 65288597 edges, 483840 markings/sec, 105 secs
lola: 58512629 markings, 68113740 edges, 484847 markings/sec, 110 secs
lola: 60992670 markings, 71005374 edges, 496008 markings/sec, 115 secs
lola: 63436836 markings, 73860322 edges, 488833 markings/sec, 120 secs
lola: 65960238 markings, 76801658 edges, 504680 markings/sec, 125 secs
lola: 68396963 markings, 79640044 edges, 487345 markings/sec, 130 secs
lola: 70850816 markings, 82499565 edges, 490771 markings/sec, 135 secs
lola: 73307149 markings, 85372887 edges, 491267 markings/sec, 140 secs
lola: 75892370 markings, 88385170 edges, 517044 markings/sec, 145 secs
lola: 78408205 markings, 91314857 edges, 503167 markings/sec, 150 secs
lola: 80844042 markings, 94153533 edges, 487167 markings/sec, 155 secs
lola: 83284855 markings, 97007203 edges, 488163 markings/sec, 160 secs
lola: 85792847 markings, 99927942 edges, 501598 markings/sec, 165 secs
lola: 88233462 markings, 102770041 edges, 488123 markings/sec, 170 secs
lola: 90630747 markings, 105573295 edges, 479457 markings/sec, 175 secs
lola: 92978233 markings, 108302421 edges, 469497 markings/sec, 180 secs
lola: 95407880 markings, 111136969 edges, 485929 markings/sec, 185 secs
lola: 97809097 markings, 113931058 edges, 480243 markings/sec, 190 secs
lola: 100168799 markings, 116668845 edges, 471940 markings/sec, 195 secs
lola: 102593805 markings, 119503684 edges, 485001 markings/sec, 200 secs
lola: 104913942 markings, 122149956 edges, 464027 markings/sec, 205 secs
lola: 107443726 markings, 125060176 edges, 505957 markings/sec, 210 secs
lola: 109875317 markings, 127898832 edges, 486318 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: 1833956 markings, 2902323 edges, 366791 markings/sec, 0 secs
lola: 3508467 markings, 5566056 edges, 334902 markings/sec, 5 secs
lola: 5153776 markings, 8182377 edges, 329062 markings/sec, 10 secs
lola: 6760775 markings, 10740258 edges, 321400 markings/sec, 15 secs
lola: 8364685 markings, 13293096 edges, 320782 markings/sec, 20 secs
lola: 9973006 markings, 15854402 edges, 321664 markings/sec, 25 secs
lola: 11535699 markings, 18342602 edges, 312539 markings/sec, 30 secs
lola: 13084123 markings, 20807712 edges, 309685 markings/sec, 35 secs
lola: 14619795 markings, 23251404 edges, 307134 markings/sec, 40 secs
lola: 16167057 markings, 25714643 edges, 309452 markings/sec, 45 secs
lola: 17702688 markings, 28160723 edges, 307126 markings/sec, 50 secs
lola: 19216986 markings, 30574908 edges, 302860 markings/sec, 55 secs
lola: 20728497 markings, 32981320 edges, 302302 markings/sec, 60 secs
lola: 22245629 markings, 35398340 edges, 303426 markings/sec, 65 secs
lola: 23779335 markings, 37840454 edges, 306741 markings/sec, 70 secs
lola: 25309742 markings, 40277859 edges, 306081 markings/sec, 75 secs
lola: 26850426 markings, 42734984 edges, 308137 markings/sec, 80 secs
lola: 28390196 markings, 45188157 edges, 307954 markings/sec, 85 secs
lola: 29853757 markings, 47518559 edges, 292712 markings/sec, 90 secs
lola: 31356067 markings, 49915356 edges, 300462 markings/sec, 95 secs
lola: 32959925 markings, 52468901 edges, 320772 markings/sec, 100 secs
lola: 34556853 markings, 55012318 edges, 319386 markings/sec, 105 secs
lola: 36164346 markings, 57574396 edges, 321499 markings/sec, 110 secs
lola: 37766171 markings, 60130220 edges, 320365 markings/sec, 115 secs
lola: 39388389 markings, 62716406 edges, 324444 markings/sec, 120 secs
lola: 40999932 markings, 65283882 edges, 322309 markings/sec, 125 secs
lola: 42611918 markings, 67853698 edges, 322397 markings/sec, 130 secs
lola: 44218711 markings, 70416383 edges, 321359 markings/sec, 135 secs
lola: 45855212 markings, 73027440 edges, 327300 markings/sec, 140 secs
lola: 47474318 markings, 75608268 edges, 323821 markings/sec, 145 secs
lola: 49095673 markings, 78192388 edges, 324271 markings/sec, 150 secs
lola: 50724079 markings, 80786996 edges, 325681 markings/sec, 155 secs
lola: 52349099 markings, 83379190 edges, 325004 markings/sec, 160 secs
lola: 53964916 markings, 85955114 edges, 323163 markings/sec, 165 secs
lola: 55582295 markings, 88534773 edges, 323476 markings/sec, 170 secs
lola: 57196595 markings, 91108907 edges, 322860 markings/sec, 175 secs
lola: 58821341 markings, 93699280 edges, 324949 markings/sec, 180 secs
lola: 60449769 markings, 96296436 edges, 325686 markings/sec, 185 secs
lola: 62093112 markings, 98915483 edges, 328669 markings/sec, 190 secs
lola: 63739321 markings, 101542085 edges, 329242 markings/sec, 195 secs
lola: 65382144 markings, 104162648 edges, 328565 markings/sec, 200 secs
lola: 67020805 markings, 106777812 edges, 327732 markings/sec, 205 secs
lola: 68639831 markings, 109359567 edges, 323805 markings/sec, 210 secs
lola: 70213333 markings, 111874630 edges, 314700 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: 2223299 markings, 2811188 edges, 444660 markings/sec, 0 secs
lola: 4193447 markings, 5285978 edges, 394030 markings/sec, 5 secs
lola: 6161582 markings, 7758948 edges, 393627 markings/sec, 10 secs
lola: 8090421 markings, 10176870 edges, 385768 markings/sec, 15 secs
lola: 9979753 markings, 12544169 edges, 377866 markings/sec, 20 secs
lola: 11850156 markings, 14886567 edges, 374081 markings/sec, 25 secs
lola: 13711610 markings, 17218501 edges, 372291 markings/sec, 30 secs
lola: 15583694 markings, 19560252 edges, 374417 markings/sec, 35 secs
lola: 17438003 markings, 21880717 edges, 370862 markings/sec, 40 secs
lola: 19274957 markings, 24177438 edges, 367391 markings/sec, 45 secs
lola: 21116114 markings, 26479767 edges, 368231 markings/sec, 50 secs
lola: 22956686 markings, 28784100 edges, 368114 markings/sec, 55 secs
lola: 24776928 markings, 31061468 edges, 364048 markings/sec, 60 secs
lola: 26591413 markings, 33331281 edges, 362897 markings/sec, 65 secs
lola: 28418518 markings, 35622018 edges, 365421 markings/sec, 70 secs
lola: 30360519 markings, 38048103 edges, 388400 markings/sec, 75 secs
lola: 32329557 markings, 40510632 edges, 393808 markings/sec, 80 secs
lola: 34289555 markings, 42959017 edges, 392000 markings/sec, 85 secs
lola: 36274003 markings, 45441043 edges, 396890 markings/sec, 90 secs
lola: 38231859 markings, 47889273 edges, 391571 markings/sec, 95 secs
lola: 40034306 markings, 50141248 edges, 360489 markings/sec, 100 secs
lola: 41839141 markings, 52397527 edges, 360967 markings/sec, 105 secs
lola: 43658082 markings, 54671006 edges, 363788 markings/sec, 110 secs
lola: 45451606 markings, 56910506 edges, 358705 markings/sec, 115 secs
lola: 47259801 markings, 59169023 edges, 361639 markings/sec, 120 secs
lola: 49067463 markings, 61427329 edges, 361532 markings/sec, 125 secs
lola: 50874551 markings, 63685986 edges, 361418 markings/sec, 130 secs
lola: 52693718 markings, 65960346 edges, 363833 markings/sec, 135 secs
lola: 54499004 markings, 68212000 edges, 361057 markings/sec, 140 secs
lola: 56317611 markings, 70484616 edges, 363721 markings/sec, 145 secs
lola: 58144860 markings, 72767546 edges, 365450 markings/sec, 150 secs
lola: 60062186 markings, 75164843 edges, 383465 markings/sec, 155 secs
lola: 61954535 markings, 77528259 edges, 378470 markings/sec, 160 secs
lola: 63859682 markings, 79907599 edges, 381029 markings/sec, 165 secs
lola: 65767355 markings, 82290723 edges, 381535 markings/sec, 170 secs
lola: 67682655 markings, 84684560 edges, 383060 markings/sec, 175 secs
lola: 69569248 markings, 87039546 edges, 377319 markings/sec, 180 secs
lola: 71461613 markings, 89401997 edges, 378473 markings/sec, 185 secs
lola: 73390143 markings, 91814282 edges, 385706 markings/sec, 190 secs
lola: 75296075 markings, 94195282 edges, 381186 markings/sec, 195 secs
lola: 77198441 markings, 96570344 edges, 380473 markings/sec, 200 secs
lola: 79076854 markings, 98914292 edges, 375683 markings/sec, 205 secs
lola: 80978280 markings, 101288072 edges, 380285 markings/sec, 210 secs
lola: 82861662 markings, 103637770 edges, 376676 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 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: 2662528 markings, 3126501 edges, 532506 markings/sec, 0 secs
lola: 5255195 markings, 6198549 edges, 518533 markings/sec, 5 secs
lola: 7833567 markings, 9255690 edges, 515674 markings/sec, 10 secs
lola: 10337411 markings, 12224018 edges, 500769 markings/sec, 15 secs
lola: 12876025 markings, 15234524 edges, 507723 markings/sec, 20 secs
lola: 15375673 markings, 18198324 edges, 499930 markings/sec, 25 secs
lola: 17846736 markings, 21123194 edges, 494213 markings/sec, 30 secs
lola: 20372078 markings, 24121572 edges, 505068 markings/sec, 35 secs
lola: 22877411 markings, 27093627 edges, 501067 markings/sec, 40 secs
lola: 25329762 markings, 29995135 edges, 490470 markings/sec, 45 secs
lola: 27818004 markings, 32947117 edges, 497648 markings/sec, 50 secs
lola: 30312534 markings, 35906188 edges, 498906 markings/sec, 55 secs
lola: 32793480 markings, 38848746 edges, 496189 markings/sec, 60 secs
lola: 35252776 markings, 41765103 edges, 491859 markings/sec, 65 secs
lola: 37621025 markings, 44572787 edges, 473650 markings/sec, 70 secs
lola: 40017812 markings, 47414457 edges, 479357 markings/sec, 75 secs
lola: 42427267 markings, 50270882 edges, 481891 markings/sec, 80 secs
lola: 44786380 markings, 53066570 edges, 471823 markings/sec, 85 secs
lola: 47137100 markings, 55852040 edges, 470144 markings/sec, 90 secs
lola: 49482310 markings, 58630578 edges, 469042 markings/sec, 95 secs
lola: 51801773 markings, 61378208 edges, 463893 markings/sec, 100 secs
lola: 54175819 markings, 64198064 edges, 474809 markings/sec, 105 secs
lola: 56569339 markings, 67039924 edges, 478704 markings/sec, 110 secs
lola: 58897196 markings, 69796830 edges, 465571 markings/sec, 115 secs
lola: 61213474 markings, 72539804 edges, 463256 markings/sec, 120 secs
lola: 63500077 markings, 75247397 edges, 457321 markings/sec, 125 secs
lola: 65849182 markings, 78036069 edges, 469821 markings/sec, 130 secs
lola: 68153097 markings, 80771896 edges, 460783 markings/sec, 135 secs
lola: 70416921 markings, 83451531 edges, 452765 markings/sec, 140 secs
lola: 72682242 markings, 86132604 edges, 453064 markings/sec, 145 secs
lola: 75028726 markings, 88925872 edges, 469297 markings/sec, 150 secs
lola: 77306790 markings, 91621927 edges, 455613 markings/sec, 155 secs
lola: 79553000 markings, 94279865 edges, 449242 markings/sec, 160 secs
lola: 81857949 markings, 97016313 edges, 460990 markings/sec, 165 secs
lola: 84191195 markings, 99784800 edges, 466649 markings/sec, 170 secs
lola: 86499858 markings, 102516600 edges, 461733 markings/sec, 175 secs
lola: 88857441 markings, 105314499 edges, 471517 markings/sec, 180 secs
lola: 91239552 markings, 108141920 edges, 476422 markings/sec, 185 secs
lola: 93506468 markings, 110823831 edges, 453383 markings/sec, 190 secs
lola: 95783256 markings, 113524569 edges, 455358 markings/sec, 195 secs
lola: 98082923 markings, 116254538 edges, 459933 markings/sec, 200 secs
lola: 100288890 markings, 118863133 edges, 441193 markings/sec, 205 secs
lola: 102611338 markings, 121627217 edges, 464490 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1505204 markings, 3050574 edges, 301041 markings/sec, 0 secs
lola: 2790436 markings, 5766808 edges, 257046 markings/sec, 5 secs
lola: 4042934 markings, 8416273 edges, 250500 markings/sec, 10 secs
lola: 5219612 markings, 10933390 edges, 235336 markings/sec, 15 secs
lola: 6378887 markings, 13415005 edges, 231855 markings/sec, 20 secs
lola: 7520214 markings, 15864267 edges, 228265 markings/sec, 25 secs
lola: 8656884 markings, 18308907 edges, 227334 markings/sec, 30 secs
lola: 9792227 markings, 20751553 edges, 227069 markings/sec, 35 secs
lola: 10924972 markings, 23190655 edges, 226549 markings/sec, 40 secs
lola: 12046647 markings, 25609509 edges, 224335 markings/sec, 45 secs
lola: 13158291 markings, 28004816 edges, 222329 markings/sec, 50 secs
lola: 14261254 markings, 30381532 edges, 220593 markings/sec, 55 secs
lola: 15344794 markings, 32730297 edges, 216708 markings/sec, 60 secs
lola: 16433423 markings, 35084812 edges, 217726 markings/sec, 65 secs
lola: 17514573 markings, 37434802 edges, 216230 markings/sec, 70 secs
lola: 18617808 markings, 39818917 edges, 220647 markings/sec, 75 secs
lola: 19715231 markings, 42193051 edges, 219485 markings/sec, 80 secs
lola: 20810061 markings, 44561145 edges, 218966 markings/sec, 85 secs
lola: 21905309 markings, 46932881 edges, 219050 markings/sec, 90 secs
lola: 22981372 markings, 49272778 edges, 215213 markings/sec, 95 secs
lola: 24062955 markings, 51614987 edges, 216317 markings/sec, 100 secs
lola: 25149245 markings, 53963933 edges, 217258 markings/sec, 105 secs
lola: 26225443 markings, 56306474 edges, 215240 markings/sec, 110 secs
lola: 27302144 markings, 58646695 edges, 215340 markings/sec, 115 secs
lola: 28373584 markings, 60973635 edges, 214288 markings/sec, 120 secs
lola: 29440148 markings, 63294067 edges, 213313 markings/sec, 125 secs
lola: 30527862 markings, 65654936 edges, 217543 markings/sec, 130 secs
lola: 31601833 markings, 67990757 edges, 214794 markings/sec, 135 secs
lola: 32687060 markings, 70340762 edges, 217045 markings/sec, 140 secs
lola: 33769787 markings, 72687026 edges, 216545 markings/sec, 145 secs
lola: 34834132 markings, 75002726 edges, 212869 markings/sec, 150 secs
lola: 35897841 markings, 77320691 edges, 212742 markings/sec, 155 secs
lola: 36967494 markings, 79648293 edges, 213931 markings/sec, 160 secs
lola: 38018294 markings, 81940386 edges, 210160 markings/sec, 165 secs
lola: 39083091 markings, 84258311 edges, 212959 markings/sec, 170 secs
lola: 40145021 markings, 86574436 edges, 212386 markings/sec, 175 secs
lola: 41192886 markings, 88861338 edges, 209573 markings/sec, 180 secs
lola: 42255528 markings, 91174084 edges, 212528 markings/sec, 185 secs
lola: 43321299 markings, 93491615 edges, 213154 markings/sec, 190 secs
lola: 44387422 markings, 95812524 edges, 213225 markings/sec, 195 secs
lola: 45455201 markings, 98135948 edges, 213556 markings/sec, 200 secs
lola: 46519675 markings, 100453470 edges, 212895 markings/sec, 205 secs
lola: 47571782 markings, 102750160 edges, 210421 markings/sec, 210 secs
lola: 48624526 markings, 105047857 edges, 210549 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 220 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: 2137620 markings, 2703439 edges, 427524 markings/sec, 0 secs
lola: 4133328 markings, 5210701 edges, 399142 markings/sec, 5 secs
lola: 6154569 markings, 7750135 edges, 404248 markings/sec, 10 secs
lola: 8236662 markings, 10359766 edges, 416419 markings/sec, 15 secs
lola: 10299536 markings, 12944020 edges, 412575 markings/sec, 20 secs
lola: 12331127 markings, 15487954 edges, 406318 markings/sec, 25 secs
lola: 14353223 markings, 18020588 edges, 404419 markings/sec, 30 secs
lola: 16376550 markings, 20553331 edges, 404665 markings/sec, 35 secs
lola: 18351009 markings, 23021541 edges, 394892 markings/sec, 40 secs
lola: 20361783 markings, 25537922 edges, 402155 markings/sec, 45 secs
lola: 22376744 markings, 28059781 edges, 402992 markings/sec, 50 secs
lola: 24384294 markings, 30570944 edges, 401510 markings/sec, 55 secs
lola: 26374079 markings, 33060000 edges, 397957 markings/sec, 60 secs
lola: 28377931 markings, 35571441 edges, 400770 markings/sec, 65 secs
lola: 30334013 markings, 38015127 edges, 391216 markings/sec, 70 secs
lola: 32290569 markings, 40462132 edges, 391311 markings/sec, 75 secs
lola: 34226109 markings, 42879634 edges, 387108 markings/sec, 80 secs
lola: 36179289 markings, 45322754 edges, 390636 markings/sec, 85 secs
lola: 38121658 markings, 47751131 edges, 388474 markings/sec, 90 secs
lola: 40057776 markings, 50170467 edges, 387224 markings/sec, 95 secs
lola: 41988801 markings, 52584514 edges, 386205 markings/sec, 100 secs
lola: 43935398 markings, 55016567 edges, 389319 markings/sec, 105 secs
lola: 45861770 markings, 57422992 edges, 385274 markings/sec, 110 secs
lola: 47806411 markings, 59853441 edges, 388928 markings/sec, 115 secs
lola: 49736124 markings, 62263396 edges, 385943 markings/sec, 120 secs
lola: 51673896 markings, 64684779 edges, 387554 markings/sec, 125 secs
lola: 53611455 markings, 67104693 edges, 387512 markings/sec, 130 secs
lola: 55537083 markings, 69508136 edges, 385126 markings/sec, 135 secs
lola: 57452692 markings, 71902673 edges, 383122 markings/sec, 140 secs
lola: 59368807 markings, 74295373 edges, 383223 markings/sec, 145 secs
lola: 61292413 markings, 76702479 edges, 384721 markings/sec, 150 secs
lola: 63195794 markings, 79077687 edges, 380676 markings/sec, 155 secs
lola: 65113634 markings, 81474869 edges, 383568 markings/sec, 160 secs
lola: 67042775 markings, 83886449 edges, 385828 markings/sec, 165 secs
lola: 68940887 markings, 86254783 edges, 379622 markings/sec, 170 secs
lola: 70823072 markings, 88602656 edges, 376437 markings/sec, 175 secs
lola: 72714398 markings, 90967836 edges, 378265 markings/sec, 180 secs
lola: 74605514 markings, 93332169 edges, 378223 markings/sec, 185 secs
lola: 76503547 markings, 95702557 edges, 379607 markings/sec, 190 secs
lola: 78384243 markings, 98049796 edges, 376139 markings/sec, 195 secs
lola: 80274020 markings, 100408280 edges, 377955 markings/sec, 200 secs
lola: 82174590 markings, 102779699 edges, 380114 markings/sec, 205 secs
lola: 84084209 markings, 105166850 edges, 381924 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwA)
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: 2769900 markings, 3184554 edges, 553980 markings/sec, 0 secs
lola: 5380345 markings, 6221282 edges, 522089 markings/sec, 5 secs
lola: 8037440 markings, 9312477 edges, 531419 markings/sec, 10 secs
lola: 10648175 markings, 12346611 edges, 522147 markings/sec, 15 secs
lola: 13229269 markings, 15353659 edges, 516219 markings/sec, 20 secs
lola: 15816120 markings, 18367191 edges, 517370 markings/sec, 25 secs
lola: 18420792 markings, 21400330 edges, 520934 markings/sec, 30 secs
lola: 20957101 markings, 24348848 edges, 507262 markings/sec, 35 secs
lola: 23481572 markings, 27293668 edges, 504894 markings/sec, 40 secs
lola: 25993563 markings, 30223662 edges, 502398 markings/sec, 45 secs
lola: 28498051 markings, 33138388 edges, 500898 markings/sec, 50 secs
lola: 31058759 markings, 36119197 edges, 512142 markings/sec, 55 secs
lola: 33590698 markings, 39070865 edges, 506388 markings/sec, 60 secs
lola: 36111006 markings, 42008503 edges, 504062 markings/sec, 65 secs
lola: 38601880 markings, 44912563 edges, 498175 markings/sec, 70 secs
lola: 41084990 markings, 47808035 edges, 496622 markings/sec, 75 secs
lola: 43589153 markings, 50723301 edges, 500833 markings/sec, 80 secs
lola: 46044121 markings, 53584187 edges, 490994 markings/sec, 85 secs
lola: 48533192 markings, 56483220 edges, 497814 markings/sec, 90 secs
lola: 50999435 markings, 59358743 edges, 493249 markings/sec, 95 secs
lola: 53475419 markings, 62243034 edges, 495197 markings/sec, 100 secs
lola: 55847019 markings, 65006246 edges, 474320 markings/sec, 105 secs
lola: 58188924 markings, 67737812 edges, 468381 markings/sec, 110 secs
lola: 60636962 markings, 70595141 edges, 489608 markings/sec, 115 secs
lola: 63062135 markings, 73424054 edges, 485035 markings/sec, 120 secs
lola: 65520576 markings, 76286891 edges, 491688 markings/sec, 125 secs
lola: 67883540 markings, 79039422 edges, 472593 markings/sec, 130 secs
lola: 70237283 markings, 81788600 edges, 470749 markings/sec, 135 secs
lola: 72736208 markings, 84704535 edges, 499785 markings/sec, 140 secs
lola: 75154254 markings, 87521731 edges, 483609 markings/sec, 145 secs
lola: 77623714 markings, 90397136 edges, 493892 markings/sec, 150 secs
lola: 80018425 markings, 93198016 edges, 478942 markings/sec, 155 secs
lola: 82526711 markings, 96121085 edges, 501657 markings/sec, 160 secs
lola: 84903081 markings, 98887096 edges, 475274 markings/sec, 165 secs
lola: 87333889 markings, 101727476 edges, 486162 markings/sec, 170 secs
lola: 89820700 markings, 104626735 edges, 497362 markings/sec, 175 secs
lola: 92000086 markings, 107164830 edges, 435877 markings/sec, 180 secs
lola: 94498808 markings, 110081139 edges, 499744 markings/sec, 185 secs
lola: 96810948 markings, 112763500 edges, 462428 markings/sec, 190 secs
lola: 99259677 markings, 115622505 edges, 489746 markings/sec, 195 secs
lola: 101702659 markings, 118459926 edges, 488596 markings/sec, 200 secs
lola: 104084297 markings, 121206732 edges, 476328 markings/sec, 205 secs
lola: 106580239 markings, 124058389 edges, 499188 markings/sec, 210 secs
lola: 109047183 markings, 126930078 edges, 493389 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 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: 1988623 markings, 2966230 edges, 397725 markings/sec, 0 secs
lola: 3874262 markings, 5771741 edges, 377128 markings/sec, 5 secs
lola: 5714915 markings, 8504391 edges, 368131 markings/sec, 10 secs
lola: 7534310 markings, 11207409 edges, 363879 markings/sec, 15 secs
lola: 9327963 markings, 13868740 edges, 358731 markings/sec, 20 secs
lola: 11106668 markings, 16508502 edges, 355741 markings/sec, 25 secs
lola: 12876359 markings, 19133617 edges, 353938 markings/sec, 30 secs
lola: 14656751 markings, 21772126 edges, 356078 markings/sec, 35 secs
lola: 16424995 markings, 24391847 edges, 353649 markings/sec, 40 secs
lola: 18207876 markings, 27037320 edges, 356576 markings/sec, 45 secs
lola: 19963789 markings, 29639738 edges, 351183 markings/sec, 50 secs
lola: 21707941 markings, 32221135 edges, 348830 markings/sec, 55 secs
lola: 23468259 markings, 34828837 edges, 352064 markings/sec, 60 secs
lola: 25098755 markings, 37248008 edges, 326099 markings/sec, 65 secs
lola: 26547494 markings, 39391076 edges, 289748 markings/sec, 70 secs
lola: 28182265 markings, 41813016 edges, 326954 markings/sec, 75 secs
lola: 29942660 markings, 44420662 edges, 352079 markings/sec, 80 secs
lola: 31652318 markings, 46949663 edges, 341932 markings/sec, 85 secs
lola: 33388353 markings, 49519604 edges, 347207 markings/sec, 90 secs
lola: 35100581 markings, 52056201 edges, 342446 markings/sec, 95 secs
lola: 36790462 markings, 54555946 edges, 337976 markings/sec, 100 secs
lola: 38499773 markings, 57090459 edges, 341862 markings/sec, 105 secs
lola: 40206444 markings, 59614775 edges, 341334 markings/sec, 110 secs
lola: 41904862 markings, 62128934 edges, 339684 markings/sec, 115 secs
lola: 43607165 markings, 64650419 edges, 340461 markings/sec, 120 secs
lola: 45259121 markings, 67092460 edges, 330391 markings/sec, 125 secs
lola: 46947860 markings, 69588054 edges, 337748 markings/sec, 130 secs
lola: 48652468 markings, 72113215 edges, 340922 markings/sec, 135 secs
lola: 50355181 markings, 74635170 edges, 340543 markings/sec, 140 secs
lola: 52039374 markings, 77126265 edges, 336839 markings/sec, 145 secs
lola: 53709722 markings, 79598384 edges, 334070 markings/sec, 150 secs
lola: 55402698 markings, 82103710 edges, 338595 markings/sec, 155 secs
lola: 57092674 markings, 84605529 edges, 337995 markings/sec, 160 secs
lola: 58780504 markings, 87099931 edges, 337566 markings/sec, 165 secs
lola: 60451680 markings, 89572803 edges, 334235 markings/sec, 170 secs
lola: 62141607 markings, 92076393 edges, 337985 markings/sec, 175 secs
lola: 63848205 markings, 94601579 edges, 341320 markings/sec, 180 secs
lola: 65545720 markings, 97113272 edges, 339503 markings/sec, 185 secs
lola: 67255362 markings, 99641577 edges, 341928 markings/sec, 190 secs
lola: 68965183 markings, 102173664 edges, 341964 markings/sec, 195 secs
lola: 70642177 markings, 104652566 edges, 335399 markings/sec, 200 secs
lola: 72336760 markings, 107162803 edges, 338917 markings/sec, 205 secs
lola: 74021502 markings, 109654126 edges, 336948 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(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: 1994419 markings, 3150110 edges, 398884 markings/sec, 0 secs
lola: 3877733 markings, 6147870 edges, 376663 markings/sec, 5 secs
lola: 5720426 markings, 9089159 edges, 368539 markings/sec, 10 secs
lola: 7534514 markings, 11986163 edges, 362818 markings/sec, 15 secs
lola: 9367805 markings, 14908247 edges, 366658 markings/sec, 20 secs
lola: 11156727 markings, 17767495 edges, 357784 markings/sec, 25 secs
lola: 12952633 markings, 20637816 edges, 359181 markings/sec, 30 secs
lola: 14741500 markings, 23492153 edges, 357773 markings/sec, 35 secs
lola: 16514610 markings, 26323343 edges, 354622 markings/sec, 40 secs
lola: 18309073 markings, 29185694 edges, 358893 markings/sec, 45 secs
lola: 20086343 markings, 32028648 edges, 355454 markings/sec, 50 secs
lola: 21856792 markings, 34853596 edges, 354090 markings/sec, 55 secs
lola: 23608655 markings, 37655648 edges, 350373 markings/sec, 60 secs
lola: 25364999 markings, 40462608 edges, 351269 markings/sec, 65 secs
lola: 27122191 markings, 43269885 edges, 351438 markings/sec, 70 secs
lola: 28844230 markings, 46022767 edges, 344408 markings/sec, 75 secs
lola: 30591910 markings, 48818811 edges, 349536 markings/sec, 80 secs
lola: 32299660 markings, 51548494 edges, 341550 markings/sec, 85 secs
lola: 34030175 markings, 54314436 edges, 346103 markings/sec, 90 secs
lola: 35744167 markings, 57058347 edges, 342798 markings/sec, 95 secs
lola: 37469332 markings, 59812602 edges, 345033 markings/sec, 100 secs
lola: 39200720 markings, 62575197 edges, 346278 markings/sec, 105 secs
lola: 40910225 markings, 65306642 edges, 341901 markings/sec, 110 secs
lola: 42643193 markings, 68078918 edges, 346594 markings/sec, 115 secs
lola: 44364227 markings, 70830011 edges, 344207 markings/sec, 120 secs
lola: 46073617 markings, 73564814 edges, 341878 markings/sec, 125 secs
lola: 47767314 markings, 76272788 edges, 338739 markings/sec, 130 secs
lola: 49488812 markings, 79026449 edges, 344300 markings/sec, 135 secs
lola: 51221505 markings, 81794277 edges, 346539 markings/sec, 140 secs
lola: 52933046 markings, 84534871 edges, 342308 markings/sec, 145 secs
lola: 54640610 markings, 87263631 edges, 341513 markings/sec, 150 secs
lola: 56365690 markings, 90017684 edges, 345016 markings/sec, 155 secs
lola: 58062999 markings, 92737887 edges, 339462 markings/sec, 160 secs
lola: 59774555 markings, 95472519 edges, 342311 markings/sec, 165 secs
lola: 61455200 markings, 98156926 edges, 336129 markings/sec, 170 secs
lola: 63151750 markings, 100871105 edges, 339310 markings/sec, 175 secs
lola: 64863506 markings, 103610729 edges, 342351 markings/sec, 180 secs
lola: 66560194 markings, 106322136 edges, 339338 markings/sec, 185 secs
lola: 68238414 markings, 109010232 edges, 335644 markings/sec, 190 secs
lola: 69947438 markings, 111744737 edges, 341805 markings/sec, 195 secs
lola: 71665215 markings, 114487421 edges, 343555 markings/sec, 200 secs
lola: 73386114 markings, 117239979 edges, 344180 markings/sec, 205 secs
lola: 75103736 markings, 119988209 edges, 343524 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SF)
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: 2042931 markings, 3021775 edges, 408586 markings/sec, 0 secs
lola: 3998469 markings, 5925738 edges, 391108 markings/sec, 5 secs
lola: 5945974 markings, 8819822 edges, 389501 markings/sec, 10 secs
lola: 7867264 markings, 11676097 edges, 384258 markings/sec, 15 secs
lola: 9768209 markings, 14504186 edges, 380189 markings/sec, 20 secs
lola: 11677779 markings, 17345563 edges, 381914 markings/sec, 25 secs
lola: 13561413 markings, 20148751 edges, 376727 markings/sec, 30 secs
lola: 15438149 markings, 22941308 edges, 375347 markings/sec, 35 secs
lola: 17304440 markings, 25716475 edges, 373258 markings/sec, 40 secs
lola: 19146633 markings, 28463302 edges, 368439 markings/sec, 45 secs
lola: 20986554 markings, 31207798 edges, 367984 markings/sec, 50 secs
lola: 22831162 markings, 33958348 edges, 368922 markings/sec, 55 secs
lola: 24682954 markings, 36718064 edges, 370358 markings/sec, 60 secs
lola: 26525551 markings, 39466150 edges, 368519 markings/sec, 65 secs
lola: 28355067 markings, 42194694 edges, 365903 markings/sec, 70 secs
lola: 30195303 markings, 44939074 edges, 368047 markings/sec, 75 secs
lola: 32007453 markings, 47644444 edges, 362430 markings/sec, 80 secs
lola: 33836324 markings, 50371400 edges, 365774 markings/sec, 85 secs
lola: 35647188 markings, 53075203 edges, 362173 markings/sec, 90 secs
lola: 37452064 markings, 55770581 edges, 360975 markings/sec, 95 secs
lola: 39245921 markings, 58449251 edges, 358771 markings/sec, 100 secs
lola: 41042257 markings, 61129945 edges, 359267 markings/sec, 105 secs
lola: 42827918 markings, 63799586 edges, 357132 markings/sec, 110 secs
lola: 44612504 markings, 66467977 edges, 356917 markings/sec, 115 secs
lola: 46433890 markings, 69185910 edges, 364277 markings/sec, 120 secs
lola: 48214901 markings, 71850270 edges, 356202 markings/sec, 125 secs
lola: 50014841 markings, 74538958 edges, 359988 markings/sec, 130 secs
lola: 51780376 markings, 77176290 edges, 353107 markings/sec, 135 secs
lola: 53547008 markings, 79819759 edges, 353326 markings/sec, 140 secs
lola: 55348167 markings, 82509605 edges, 360232 markings/sec, 145 secs
lola: 57155720 markings, 85207581 edges, 361511 markings/sec, 150 secs
lola: 58934322 markings, 87867715 edges, 355720 markings/sec, 155 secs
lola: 60718191 markings, 90531553 edges, 356774 markings/sec, 160 secs
lola: 62460532 markings, 93142950 edges, 348468 markings/sec, 165 secs
lola: 64280238 markings, 95859049 edges, 363941 markings/sec, 170 secs
lola: 66070461 markings, 98533572 edges, 358045 markings/sec, 175 secs
lola: 67809461 markings, 101137154 edges, 347800 markings/sec, 180 secs
lola: 69597127 markings, 103809100 edges, 357533 markings/sec, 185 secs
lola: 71359628 markings, 106446108 edges, 352500 markings/sec, 190 secs
lola: 73116618 markings, 109074036 edges, 351398 markings/sec, 195 secs
lola: 74830754 markings, 111642851 edges, 342827 markings/sec, 200 secs
lola: 76611160 markings, 114298748 edges, 356081 markings/sec, 205 secs
lola: 78331730 markings, 116875956 edges, 344114 markings/sec, 210 secs
lola: 80052366 markings, 119457294 edges, 344127 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 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: 2132571 markings, 2755722 edges, 426514 markings/sec, 0 secs
lola: 4188820 markings, 5443957 edges, 411250 markings/sec, 5 secs
lola: 6209100 markings, 8078305 edges, 404056 markings/sec, 10 secs
lola: 8199478 markings, 10677511 edges, 398076 markings/sec, 15 secs
lola: 10220228 markings, 13308185 edges, 404150 markings/sec, 20 secs
lola: 12234259 markings, 15945473 edges, 402806 markings/sec, 25 secs
lola: 14257681 markings, 18586551 edges, 404684 markings/sec, 30 secs
lola: 16262343 markings, 21201780 edges, 400932 markings/sec, 35 secs
lola: 18286791 markings, 23841031 edges, 404890 markings/sec, 40 secs
lola: 20304567 markings, 26470615 edges, 403555 markings/sec, 45 secs
lola: 22320133 markings, 29106474 edges, 403113 markings/sec, 50 secs
lola: 24316484 markings, 31710596 edges, 399270 markings/sec, 55 secs
lola: 26290522 markings, 34283378 edges, 394808 markings/sec, 60 secs
lola: 28299836 markings, 36911812 edges, 401863 markings/sec, 65 secs
lola: 30334228 markings, 39568136 edges, 406878 markings/sec, 70 secs
lola: 32352637 markings, 42204285 edges, 403682 markings/sec, 75 secs
lola: 34356754 markings, 44816085 edges, 400823 markings/sec, 80 secs
lola: 36393600 markings, 47468756 edges, 407369 markings/sec, 85 secs
lola: 38456879 markings, 50164008 edges, 412656 markings/sec, 90 secs
lola: 40510006 markings, 52844926 edges, 410625 markings/sec, 95 secs
lola: 42560919 markings, 55518416 edges, 410183 markings/sec, 100 secs
lola: 44595347 markings, 58168309 edges, 406886 markings/sec, 105 secs
lola: 46660908 markings, 60862651 edges, 413112 markings/sec, 110 secs
lola: 48726762 markings, 63567050 edges, 413171 markings/sec, 115 secs
lola: 50787931 markings, 66257972 edges, 412234 markings/sec, 120 secs
lola: 52816397 markings, 68909562 edges, 405693 markings/sec, 125 secs
lola: 54820069 markings, 71524896 edges, 400734 markings/sec, 130 secs
lola: 56847349 markings, 74167133 edges, 405456 markings/sec, 135 secs
lola: 58864973 markings, 76801199 edges, 403525 markings/sec, 140 secs
lola: 60861193 markings, 79407346 edges, 399244 markings/sec, 145 secs
lola: 62843511 markings, 81992314 edges, 396464 markings/sec, 150 secs
lola: 64848572 markings, 84606718 edges, 401012 markings/sec, 155 secs
lola: 66877643 markings, 87265013 edges, 405814 markings/sec, 160 secs
lola: 68878944 markings, 89876331 edges, 400260 markings/sec, 165 secs
lola: 70878296 markings, 92487662 edges, 399870 markings/sec, 170 secs
lola: 72898007 markings, 95124202 edges, 403942 markings/sec, 175 secs
lola: 74937456 markings, 97777809 edges, 407890 markings/sec, 180 secs
lola: 76925832 markings, 100373567 edges, 397675 markings/sec, 185 secs
lola: 78903230 markings, 102954335 edges, 395480 markings/sec, 190 secs
lola: 80900153 markings, 105554337 edges, 399385 markings/sec, 195 secs
lola: 82906798 markings, 108187354 edges, 401329 markings/sec, 200 secs
lola: 84912258 markings, 110806206 edges, 401092 markings/sec, 205 secs
lola: 86921903 markings, 113429078 edges, 401929 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CR)
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: 2800050 markings, 3221936 edges, 560010 markings/sec, 0 secs
lola: 5400339 markings, 6261766 edges, 520058 markings/sec, 5 secs
lola: 8016780 markings, 9321443 edges, 523288 markings/sec, 10 secs
lola: 10614315 markings, 12359898 edges, 519507 markings/sec, 15 secs
lola: 13174934 markings, 15354192 edges, 512124 markings/sec, 20 secs
lola: 15737929 markings, 18353398 edges, 512599 markings/sec, 25 secs
lola: 18286583 markings, 21334575 edges, 509731 markings/sec, 30 secs
lola: 20807664 markings, 24284037 edges, 504216 markings/sec, 35 secs
lola: 23345618 markings, 27253519 edges, 507591 markings/sec, 40 secs
lola: 25848115 markings, 30181138 edges, 500499 markings/sec, 45 secs
lola: 28374068 markings, 33136030 edges, 505191 markings/sec, 50 secs
lola: 30868435 markings, 36054220 edges, 498873 markings/sec, 55 secs
lola: 33405129 markings, 39022379 edges, 507339 markings/sec, 60 secs
lola: 35912728 markings, 41956744 edges, 501520 markings/sec, 65 secs
lola: 38394911 markings, 44860921 edges, 496437 markings/sec, 70 secs
lola: 40866355 markings, 47752950 edges, 494289 markings/sec, 75 secs
lola: 43326357 markings, 50631312 edges, 492000 markings/sec, 80 secs
lola: 45847369 markings, 53580602 edges, 504202 markings/sec, 85 secs
lola: 48352521 markings, 56512021 edges, 501030 markings/sec, 90 secs
lola: 50832666 markings, 59413677 edges, 496029 markings/sec, 95 secs
lola: 53298993 markings, 62299740 edges, 493265 markings/sec, 100 secs
lola: 55761119 markings, 65180388 edges, 492425 markings/sec, 105 secs
lola: 58210083 markings, 68046136 edges, 489793 markings/sec, 110 secs
lola: 60657216 markings, 70909136 edges, 489427 markings/sec, 115 secs
lola: 63139220 markings, 73813625 edges, 496401 markings/sec, 120 secs
lola: 65676870 markings, 76782674 edges, 507530 markings/sec, 125 secs
lola: 68217602 markings, 79755955 edges, 508146 markings/sec, 130 secs
lola: 70722596 markings, 82686936 edges, 500999 markings/sec, 135 secs
lola: 73205433 markings, 85592461 edges, 496567 markings/sec, 140 secs
lola: 75700077 markings, 88511170 edges, 498929 markings/sec, 145 secs
lola: 78132516 markings, 91357789 edges, 486488 markings/sec, 150 secs
lola: 80656055 markings, 94309859 edges, 504708 markings/sec, 155 secs
lola: 83045394 markings, 97105907 edges, 477868 markings/sec, 160 secs
lola: 85493440 markings, 99970677 edges, 489609 markings/sec, 165 secs
lola: 87943087 markings, 102837102 edges, 489929 markings/sec, 170 secs
lola: 90384094 markings, 105693863 edges, 488201 markings/sec, 175 secs
lola: 92824109 markings, 108548753 edges, 488003 markings/sec, 180 secs
lola: 95257838 markings, 111396188 edges, 486746 markings/sec, 185 secs
lola: 97697077 markings, 114250563 edges, 487848 markings/sec, 190 secs
lola: 100098416 markings, 117060597 edges, 480268 markings/sec, 195 secs
lola: 102497878 markings, 119868720 edges, 479892 markings/sec, 200 secs
lola: 104902448 markings, 122682928 edges, 480914 markings/sec, 205 secs
lola: 107320148 markings, 125511236 edges, 483540 markings/sec, 210 secs
lola: 109732108 markings, 128333897 edges, 482392 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0050P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496607574229

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