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

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

=== Now, execution of the tool begins

BK_START 1496602802242


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


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0020P1: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0020P1 @ 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-N0020P1-UpperBounds.task
lola: MAX(SpG) : MAX(StF) : MAX(CA) : MAX(Mi) : MAX(CA) : MAX(SA) : MAX(SwA) : MAX(CwG) : MAX(Mi) : MAX(Cb) : MAX(SpG) : MAX(SpA) : MAX(SpA) : MAX(MpA) : MAX(MtF) : MAX(Cb)
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(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: 2212958 markings, 2708406 edges, 442592 markings/sec, 0 secs
lola: 4264290 markings, 5205390 edges, 410266 markings/sec, 5 secs
lola: 6246985 markings, 7625101 edges, 396539 markings/sec, 10 secs
lola: 8324213 markings, 10193502 edges, 415446 markings/sec, 15 secs
lola: 10653399 markings, 13216709 edges, 465837 markings/sec, 20 secs
lola: 13009872 markings, 16282016 edges, 471295 markings/sec, 25 secs
lola: 15321325 markings, 19289839 edges, 462291 markings/sec, 30 secs
lola: 17665323 markings, 22309409 edges, 468800 markings/sec, 35 secs
lola: 19928728 markings, 25141442 edges, 452681 markings/sec, 40 secs
lola: 22137472 markings, 27902824 edges, 441749 markings/sec, 45 secs
lola: 24340175 markings, 30655828 edges, 440541 markings/sec, 50 secs
lola: 26522146 markings, 33381250 edges, 436394 markings/sec, 55 secs
lola: 28731892 markings, 36139639 edges, 441949 markings/sec, 60 secs
lola: 30928259 markings, 38884040 edges, 439273 markings/sec, 65 secs
lola: 33098076 markings, 41598245 edges, 433963 markings/sec, 70 secs
lola: 35005893 markings, 44142466 edges, 381563 markings/sec, 75 secs
lola: 35829782 markings, 46196936 edges, 164778 markings/sec, 80 secs
lola: 37545039 markings, 48807871 edges, 343051 markings/sec, 85 secs
lola: 39621346 markings, 51698012 edges, 415261 markings/sec, 90 secs
lola: 41596864 markings, 54440772 edges, 395104 markings/sec, 95 secs
lola: 43578699 markings, 57196101 edges, 396367 markings/sec, 100 secs
lola: 45651644 markings, 60057867 edges, 414589 markings/sec, 105 secs
lola: 47647781 markings, 62809216 edges, 399227 markings/sec, 110 secs
lola: 49690159 markings, 65617280 edges, 408476 markings/sec, 115 secs
lola: 51694722 markings, 68372181 edges, 400913 markings/sec, 120 secs
lola: 53723399 markings, 71155801 edges, 405735 markings/sec, 125 secs
lola: 55697893 markings, 73865813 edges, 394899 markings/sec, 130 secs
lola: 57822720 markings, 76775741 edges, 424965 markings/sec, 135 secs
lola: 59748742 markings, 79420597 edges, 385204 markings/sec, 140 secs
lola: 61827307 markings, 82235229 edges, 415713 markings/sec, 145 secs
lola: 63834428 markings, 85006986 edges, 401424 markings/sec, 150 secs
lola: 65803185 markings, 87676640 edges, 393751 markings/sec, 155 secs
lola: 67904701 markings, 90518112 edges, 420303 markings/sec, 160 secs
lola: 69883888 markings, 93252029 edges, 395837 markings/sec, 165 secs
lola: 71807361 markings, 95883272 edges, 384695 markings/sec, 170 secs
lola: 73850579 markings, 98638923 edges, 408644 markings/sec, 175 secs
lola: 75894978 markings, 101429720 edges, 408880 markings/sec, 180 secs
lola: 77816248 markings, 104054968 edges, 384254 markings/sec, 185 secs
lola: 79794068 markings, 106724453 edges, 395564 markings/sec, 190 secs
lola: 81920282 markings, 109589555 edges, 425243 markings/sec, 195 secs
lola: 83819300 markings, 112204600 edges, 379804 markings/sec, 200 secs
lola: 85764181 markings, 114831760 edges, 388976 markings/sec, 205 secs
lola: 87744983 markings, 117509629 edges, 396160 markings/sec, 210 secs
lola: 89866611 markings, 120350001 edges, 424326 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(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: 1666395 markings, 2641295 edges, 333279 markings/sec, 0 secs
lola: 3269172 markings, 5191653 edges, 320555 markings/sec, 5 secs
lola: 4882863 markings, 7763572 edges, 322738 markings/sec, 10 secs
lola: 6561840 markings, 10439804 edges, 335795 markings/sec, 15 secs
lola: 8150219 markings, 12975402 edges, 317676 markings/sec, 20 secs
lola: 9846947 markings, 15686215 edges, 339346 markings/sec, 25 secs
lola: 11601131 markings, 18492142 edges, 350837 markings/sec, 30 secs
lola: 13459287 markings, 21460512 edges, 371631 markings/sec, 35 secs
lola: 15179758 markings, 24215731 edges, 344094 markings/sec, 40 secs
lola: 16804552 markings, 26821200 edges, 324959 markings/sec, 45 secs
lola: 18507075 markings, 29549952 edges, 340505 markings/sec, 50 secs
lola: 20114270 markings, 32130099 edges, 321439 markings/sec, 55 secs
lola: 21712694 markings, 34696348 edges, 319685 markings/sec, 60 secs
lola: 23326193 markings, 37287607 edges, 322700 markings/sec, 65 secs
lola: 25005319 markings, 39980275 edges, 335825 markings/sec, 70 secs
lola: 26619218 markings, 42576487 edges, 322780 markings/sec, 75 secs
lola: 28253844 markings, 45204364 edges, 326925 markings/sec, 80 secs
lola: 29867750 markings, 47803238 edges, 322781 markings/sec, 85 secs
lola: 31553848 markings, 50513833 edges, 337220 markings/sec, 90 secs
lola: 33184072 markings, 53138818 edges, 326045 markings/sec, 95 secs
lola: 34854434 markings, 55829151 edges, 334072 markings/sec, 100 secs
lola: 36565335 markings, 58591407 edges, 342180 markings/sec, 105 secs
lola: 38328099 markings, 61437987 edges, 352553 markings/sec, 110 secs
lola: 40079663 markings, 64261185 edges, 350313 markings/sec, 115 secs
lola: 40907712 markings, 66649343 edges, 165610 markings/sec, 120 secs
lola: 41388239 markings, 68765980 edges, 96105 markings/sec, 125 secs
lola: 41747999 markings, 70852305 edges, 71952 markings/sec, 130 secs
lola: 42165644 markings, 73089965 edges, 83529 markings/sec, 135 secs
lola: 42625219 markings, 75389527 edges, 91915 markings/sec, 140 secs
lola: 44036722 markings, 78310279 edges, 282301 markings/sec, 145 secs
lola: 45599248 markings, 81144453 edges, 312505 markings/sec, 150 secs
lola: 47124001 markings, 83924549 edges, 304951 markings/sec, 155 secs
lola: 48667387 markings, 86729804 edges, 308677 markings/sec, 160 secs
lola: 50143481 markings, 89412760 edges, 295219 markings/sec, 165 secs
lola: 51619380 markings, 92095693 edges, 295180 markings/sec, 170 secs
lola: 53102686 markings, 94786809 edges, 296661 markings/sec, 175 secs
lola: 54627183 markings, 97555032 edges, 304899 markings/sec, 180 secs
lola: 56123252 markings, 100268513 edges, 299214 markings/sec, 185 secs
lola: 57602007 markings, 102943859 edges, 295751 markings/sec, 190 secs
lola: 59135474 markings, 105739890 edges, 306693 markings/sec, 195 secs
lola: 60689560 markings, 108567789 edges, 310817 markings/sec, 200 secs
lola: 62137879 markings, 111188071 edges, 289664 markings/sec, 205 secs
lola: 63707472 markings, 114036142 edges, 313919 markings/sec, 210 secs
lola: 65160871 markings, 116672872 edges, 290680 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: 2523302 markings, 3045710 edges, 504660 markings/sec, 0 secs
lola: 5069027 markings, 6124552 edges, 509145 markings/sec, 5 secs
lola: 7571280 markings, 9151820 edges, 500451 markings/sec, 10 secs
lola: 10042126 markings, 12138529 edges, 494169 markings/sec, 15 secs
lola: 12501162 markings, 15113685 edges, 491807 markings/sec, 20 secs
lola: 14951830 markings, 18074795 edges, 490134 markings/sec, 25 secs
lola: 17370230 markings, 20995532 edges, 483680 markings/sec, 30 secs
lola: 19839877 markings, 23985063 edges, 493929 markings/sec, 35 secs
lola: 22249679 markings, 26897443 edges, 481960 markings/sec, 40 secs
lola: 24660295 markings, 29810671 edges, 482123 markings/sec, 45 secs
lola: 27071235 markings, 32741485 edges, 482188 markings/sec, 50 secs
lola: 29513883 markings, 35676881 edges, 488530 markings/sec, 55 secs
lola: 31934290 markings, 38600163 edges, 484081 markings/sec, 60 secs
lola: 34339855 markings, 41511418 edges, 481113 markings/sec, 65 secs
lola: 36730359 markings, 44402603 edges, 478101 markings/sec, 70 secs
lola: 39139408 markings, 47318976 edges, 481810 markings/sec, 75 secs
lola: 41536094 markings, 50220613 edges, 479337 markings/sec, 80 secs
lola: 43921327 markings, 53109040 edges, 477047 markings/sec, 85 secs
lola: 46285903 markings, 55972348 edges, 472915 markings/sec, 90 secs
lola: 48660781 markings, 58850416 edges, 474976 markings/sec, 95 secs
lola: 51039383 markings, 61730917 edges, 475720 markings/sec, 100 secs
lola: 53392802 markings, 64581904 edges, 470684 markings/sec, 105 secs
lola: 55729198 markings, 67413648 edges, 467279 markings/sec, 110 secs
lola: 58101134 markings, 70286418 edges, 474387 markings/sec, 115 secs
lola: 60403611 markings, 73076332 edges, 460495 markings/sec, 120 secs
lola: 62767525 markings, 75941271 edges, 472783 markings/sec, 125 secs
lola: 65078797 markings, 78742227 edges, 462254 markings/sec, 130 secs
lola: 67382012 markings, 81533396 edges, 460643 markings/sec, 135 secs
lola: 69659289 markings, 84293475 edges, 455455 markings/sec, 140 secs
lola: 71995179 markings, 87124509 edges, 467178 markings/sec, 145 secs
lola: 74292029 markings, 89908853 edges, 459370 markings/sec, 150 secs
lola: 76627882 markings, 92739467 edges, 467171 markings/sec, 155 secs
lola: 78885355 markings, 95478321 edges, 451495 markings/sec, 160 secs
lola: 81217782 markings, 98302954 edges, 466485 markings/sec, 165 secs
lola: 83458661 markings, 101020836 edges, 448176 markings/sec, 170 secs
lola: 85782169 markings, 103836214 edges, 464702 markings/sec, 175 secs
lola: 88063420 markings, 106602029 edges, 456250 markings/sec, 180 secs
lola: 90297016 markings, 109311019 edges, 446719 markings/sec, 185 secs
lola: 92613783 markings, 112118032 edges, 463353 markings/sec, 190 secs
lola: 94836922 markings, 114814674 edges, 444628 markings/sec, 195 secs
lola: 97138183 markings, 117603984 edges, 460252 markings/sec, 200 secs
lola: 99435691 markings, 120389113 edges, 459502 markings/sec, 205 secs
lola: 101665609 markings, 123094556 edges, 445984 markings/sec, 210 secs
lola: 103972653 markings, 125890141 edges, 461409 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(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: 1491982 markings, 3093534 edges, 298396 markings/sec, 0 secs
lola: 2814422 markings, 5919647 edges, 264488 markings/sec, 5 secs
lola: 4088052 markings, 8653408 edges, 254726 markings/sec, 10 secs
lola: 5325303 markings, 11332454 edges, 247450 markings/sec, 15 secs
lola: 6546072 markings, 13978807 edges, 244154 markings/sec, 20 secs
lola: 7749553 markings, 16591536 edges, 240696 markings/sec, 25 secs
lola: 8932457 markings, 19167251 edges, 236581 markings/sec, 30 secs
lola: 10110715 markings, 21736849 edges, 235652 markings/sec, 35 secs
lola: 11268970 markings, 24265103 edges, 231651 markings/sec, 40 secs
lola: 12426071 markings, 26799475 edges, 231420 markings/sec, 45 secs
lola: 13587652 markings, 29340135 edges, 232316 markings/sec, 50 secs
lola: 14742303 markings, 31871337 edges, 230930 markings/sec, 55 secs
lola: 15901100 markings, 34412263 edges, 231759 markings/sec, 60 secs
lola: 17047005 markings, 36925623 edges, 229181 markings/sec, 65 secs
lola: 18190261 markings, 39432798 edges, 228651 markings/sec, 70 secs
lola: 19331712 markings, 41940702 edges, 228290 markings/sec, 75 secs
lola: 20473291 markings, 44445674 edges, 228316 markings/sec, 80 secs
lola: 21611175 markings, 46945980 edges, 227577 markings/sec, 85 secs
lola: 22735940 markings, 49420548 edges, 224953 markings/sec, 90 secs
lola: 23868304 markings, 51910365 edges, 226473 markings/sec, 95 secs
lola: 24992122 markings, 54384189 edges, 224764 markings/sec, 100 secs
lola: 26104818 markings, 56838640 edges, 222539 markings/sec, 105 secs
lola: 27215058 markings, 59286549 edges, 222048 markings/sec, 110 secs
lola: 28328545 markings, 61738468 edges, 222697 markings/sec, 115 secs
lola: 29443166 markings, 64191705 edges, 222924 markings/sec, 120 secs
lola: 30553297 markings, 66643979 edges, 222026 markings/sec, 125 secs
lola: 31657000 markings, 69084647 edges, 220741 markings/sec, 130 secs
lola: 32761885 markings, 71524600 edges, 220977 markings/sec, 135 secs
lola: 33874484 markings, 73976531 edges, 222520 markings/sec, 140 secs
lola: 34982386 markings, 76424733 edges, 221580 markings/sec, 145 secs
lola: 36093854 markings, 78879181 edges, 222294 markings/sec, 150 secs
lola: 37192807 markings, 81310409 edges, 219791 markings/sec, 155 secs
lola: 38293719 markings, 83744999 edges, 220182 markings/sec, 160 secs
lola: 39397898 markings, 86185329 edges, 220836 markings/sec, 165 secs
lola: 40494790 markings, 88611722 edges, 219378 markings/sec, 170 secs
lola: 41587380 markings, 91032831 edges, 218518 markings/sec, 175 secs
lola: 42692680 markings, 93474595 edges, 221060 markings/sec, 180 secs
lola: 43787085 markings, 95897263 edges, 218881 markings/sec, 185 secs
lola: 44881337 markings, 98321239 edges, 218850 markings/sec, 190 secs
lola: 45969351 markings, 100733036 edges, 217603 markings/sec, 195 secs
lola: 47073398 markings, 103176658 edges, 220809 markings/sec, 200 secs
lola: 48174557 markings, 105613919 edges, 220232 markings/sec, 205 secs
lola: 49268727 markings, 108039383 edges, 218834 markings/sec, 210 secs
lola: 50363797 markings, 110466894 edges, 219014 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(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: 2629027 markings, 3173468 edges, 525805 markings/sec, 0 secs
lola: 5169217 markings, 6244478 edges, 508038 markings/sec, 5 secs
lola: 7681245 markings, 9285519 edges, 502406 markings/sec, 10 secs
lola: 10146333 markings, 12263575 edges, 493018 markings/sec, 15 secs
lola: 12605261 markings, 15236620 edges, 491786 markings/sec, 20 secs
lola: 15057915 markings, 18203863 edges, 490531 markings/sec, 25 secs
lola: 17498228 markings, 21151280 edges, 488063 markings/sec, 30 secs
lola: 19983443 markings, 24159671 edges, 497043 markings/sec, 35 secs
lola: 22405203 markings, 27082921 edges, 484352 markings/sec, 40 secs
lola: 24850406 markings, 30041885 edges, 489041 markings/sec, 45 secs
lola: 27292378 markings, 33007303 edges, 488394 markings/sec, 50 secs
lola: 29748416 markings, 35954542 edges, 491208 markings/sec, 55 secs
lola: 32192994 markings, 38913338 edges, 488916 markings/sec, 60 secs
lola: 34618839 markings, 41845852 edges, 485169 markings/sec, 65 secs
lola: 37038987 markings, 44776440 edges, 484030 markings/sec, 70 secs
lola: 39448671 markings, 47693500 edges, 481937 markings/sec, 75 secs
lola: 41841959 markings, 50591130 edges, 478658 markings/sec, 80 secs
lola: 44235629 markings, 53489694 edges, 478734 markings/sec, 85 secs
lola: 46618113 markings, 56375269 edges, 476497 markings/sec, 90 secs
lola: 48990246 markings, 59251912 edges, 474427 markings/sec, 95 secs
lola: 51364129 markings, 62124430 edges, 474777 markings/sec, 100 secs
lola: 53709148 markings, 64965014 edges, 469004 markings/sec, 105 secs
lola: 56003399 markings, 67748202 edges, 458850 markings/sec, 110 secs
lola: 58352016 markings, 70590520 edges, 469723 markings/sec, 115 secs
lola: 60633795 markings, 73355795 edges, 456356 markings/sec, 120 secs
lola: 62962023 markings, 76176997 edges, 465646 markings/sec, 125 secs
lola: 65270691 markings, 78974614 edges, 461734 markings/sec, 130 secs
lola: 67577840 markings, 81770997 edges, 461430 markings/sec, 135 secs
lola: 69881319 markings, 84562384 edges, 460696 markings/sec, 140 secs
lola: 72178818 markings, 87347052 edges, 459500 markings/sec, 145 secs
lola: 74468009 markings, 90121846 edges, 457838 markings/sec, 150 secs
lola: 76782077 markings, 92926382 edges, 462814 markings/sec, 155 secs
lola: 79032530 markings, 95653994 edges, 450091 markings/sec, 160 secs
lola: 81367389 markings, 98484274 edges, 466972 markings/sec, 165 secs
lola: 83610298 markings, 101204740 edges, 448582 markings/sec, 170 secs
lola: 85924937 markings, 104009127 edges, 462928 markings/sec, 175 secs
lola: 88188602 markings, 106753988 edges, 452733 markings/sec, 180 secs
lola: 90435696 markings, 109478892 edges, 449419 markings/sec, 185 secs
lola: 92733741 markings, 112263414 edges, 459609 markings/sec, 190 secs
lola: 94947803 markings, 114949064 edges, 442812 markings/sec, 195 secs
lola: 97244233 markings, 117732507 edges, 459286 markings/sec, 200 secs
lola: 99520544 markings, 120491960 edges, 455262 markings/sec, 205 secs
lola: 101729686 markings, 123172392 edges, 441828 markings/sec, 210 secs
lola: 104054220 markings, 125988999 edges, 464907 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(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: 2291734 markings, 3106993 edges, 458347 markings/sec, 0 secs
lola: 4532284 markings, 6148262 edges, 448110 markings/sec, 5 secs
lola: 6778297 markings, 9195982 edges, 449203 markings/sec, 10 secs
lola: 9030878 markings, 12252992 edges, 450516 markings/sec, 15 secs
lola: 11276838 markings, 15300324 edges, 449192 markings/sec, 20 secs
lola: 13542362 markings, 18374614 edges, 453105 markings/sec, 25 secs
lola: 15795863 markings, 21432762 edges, 450700 markings/sec, 30 secs
lola: 18048762 markings, 24491971 edges, 450580 markings/sec, 35 secs
lola: 20197160 markings, 27383588 edges, 429680 markings/sec, 40 secs
lola: 22274515 markings, 30153469 edges, 415471 markings/sec, 45 secs
lola: 24319848 markings, 32876565 edges, 409067 markings/sec, 50 secs
lola: 26347914 markings, 35575254 edges, 405613 markings/sec, 55 secs
lola: 28371924 markings, 38266409 edges, 404802 markings/sec, 60 secs
lola: 30394128 markings, 40954409 edges, 404441 markings/sec, 65 secs
lola: 32415294 markings, 43641763 edges, 404233 markings/sec, 70 secs
lola: 34429374 markings, 46319720 edges, 402816 markings/sec, 75 secs
lola: 36449407 markings, 49004137 edges, 404007 markings/sec, 80 secs
lola: 38458055 markings, 51673716 edges, 401730 markings/sec, 85 secs
lola: 40495118 markings, 54382661 edges, 407413 markings/sec, 90 secs
lola: 41369979 markings, 56493849 edges, 174972 markings/sec, 95 secs
lola: 41876054 markings, 58629102 edges, 101215 markings/sec, 100 secs
lola: 43671583 markings, 61421069 edges, 359106 markings/sec, 105 secs
lola: 45639222 markings, 64231037 edges, 393528 markings/sec, 110 secs
lola: 47572804 markings, 66996683 edges, 386716 markings/sec, 115 secs
lola: 49528021 markings, 69773960 edges, 391043 markings/sec, 120 secs
lola: 51427242 markings, 72484834 edges, 379844 markings/sec, 125 secs
lola: 53413036 markings, 75302867 edges, 397159 markings/sec, 130 secs
lola: 55409863 markings, 78141082 edges, 399365 markings/sec, 135 secs
lola: 57398795 markings, 80968553 edges, 397786 markings/sec, 140 secs
lola: 59373925 markings, 83780035 edges, 395026 markings/sec, 145 secs
lola: 61333312 markings, 86576551 edges, 391877 markings/sec, 150 secs
lola: 63349667 markings, 89420318 edges, 403271 markings/sec, 155 secs
lola: 65307797 markings, 92202989 edges, 391626 markings/sec, 160 secs
lola: 67244415 markings, 94969127 edges, 387324 markings/sec, 165 secs
lola: 69263026 markings, 97819133 edges, 403722 markings/sec, 170 secs
lola: 71177361 markings, 100540959 edges, 382867 markings/sec, 175 secs
lola: 73149227 markings, 103330262 edges, 394373 markings/sec, 180 secs
lola: 75090759 markings, 106092561 edges, 388306 markings/sec, 185 secs
lola: 77053250 markings, 108870307 edges, 392498 markings/sec, 190 secs
lola: 78984179 markings, 111619963 edges, 386186 markings/sec, 195 secs
lola: 80955173 markings, 114406836 edges, 394199 markings/sec, 200 secs
lola: 82845167 markings, 117104626 edges, 377999 markings/sec, 205 secs
lola: 84871106 markings, 119972199 edges, 405188 markings/sec, 210 secs
lola: 86689575 markings, 122576055 edges, 363694 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(SwA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2031579 markings, 3017319 edges, 406316 markings/sec, 0 secs
lola: 3928178 markings, 5850917 edges, 379320 markings/sec, 5 secs
lola: 5836775 markings, 8703496 edges, 381719 markings/sec, 10 secs
lola: 7742923 markings, 11551305 edges, 381230 markings/sec, 15 secs
lola: 9611430 markings, 14349167 edges, 373701 markings/sec, 20 secs
lola: 11512879 markings, 17191531 edges, 380290 markings/sec, 25 secs
lola: 13417023 markings, 20039398 edges, 380829 markings/sec, 30 secs
lola: 15293947 markings, 22849392 edges, 375385 markings/sec, 35 secs
lola: 17186807 markings, 25681475 edges, 378572 markings/sec, 40 secs
lola: 19064548 markings, 28493762 edges, 375548 markings/sec, 45 secs
lola: 20947458 markings, 31315276 edges, 376582 markings/sec, 50 secs
lola: 22837086 markings, 34145952 edges, 377926 markings/sec, 55 secs
lola: 24738819 markings, 36996026 edges, 380347 markings/sec, 60 secs
lola: 26636342 markings, 39845365 edges, 379505 markings/sec, 65 secs
lola: 28535120 markings, 42701671 edges, 379756 markings/sec, 70 secs
lola: 30409542 markings, 45529331 edges, 374884 markings/sec, 75 secs
lola: 32242888 markings, 48304912 edges, 366669 markings/sec, 80 secs
lola: 33036438 markings, 50770091 edges, 158710 markings/sec, 85 secs
lola: 33571116 markings, 53183534 edges, 106936 markings/sec, 90 secs
lola: 34101219 markings, 55595780 edges, 106021 markings/sec, 95 secs
lola: 34712284 markings, 58093798 edges, 122213 markings/sec, 100 secs
lola: 36515415 markings, 61188350 edges, 360626 markings/sec, 105 secs
lola: 38254194 markings, 64165883 edges, 347756 markings/sec, 110 secs
lola: 39958852 markings, 67086997 edges, 340932 markings/sec, 115 secs
lola: 41626118 markings, 69939966 edges, 333453 markings/sec, 120 secs
lola: 43318087 markings, 72838926 edges, 338394 markings/sec, 125 secs
lola: 44973298 markings, 75671572 edges, 331042 markings/sec, 130 secs
lola: 46672606 markings, 78583665 edges, 339862 markings/sec, 135 secs
lola: 48390421 markings, 81518892 edges, 343563 markings/sec, 140 secs
lola: 50109003 markings, 84464890 edges, 343716 markings/sec, 145 secs
lola: 51824689 markings, 87397462 edges, 343137 markings/sec, 150 secs
lola: 53520834 markings, 90304554 edges, 339229 markings/sec, 155 secs
lola: 55200051 markings, 93171075 edges, 335843 markings/sec, 160 secs
lola: 56914723 markings, 96112159 edges, 342934 markings/sec, 165 secs
lola: 58653242 markings, 99082049 edges, 347704 markings/sec, 170 secs
lola: 60301973 markings, 101909408 edges, 329746 markings/sec, 175 secs
lola: 62026322 markings, 104853855 edges, 344870 markings/sec, 180 secs
lola: 63704568 markings, 107727359 edges, 335649 markings/sec, 185 secs
lola: 65399334 markings, 110630376 edges, 338953 markings/sec, 190 secs
lola: 67109603 markings, 113551848 edges, 342054 markings/sec, 195 secs
lola: 68792512 markings, 116435642 edges, 336582 markings/sec, 200 secs
lola: 70514854 markings, 119383353 edges, 344468 markings/sec, 205 secs
lola: 72192326 markings, 122252112 edges, 335494 markings/sec, 210 secs
lola: 73891730 markings, 125152665 edges, 339881 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(CwG)
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: 2739198 markings, 3194008 edges, 547840 markings/sec, 0 secs
lola: 5423831 markings, 6334683 edges, 536927 markings/sec, 5 secs
lola: 8065708 markings, 9425737 edges, 528375 markings/sec, 10 secs
lola: 10656381 markings, 12457212 edges, 518135 markings/sec, 15 secs
lola: 13261737 markings, 15506128 edges, 521071 markings/sec, 20 secs
lola: 15835398 markings, 18518192 edges, 514732 markings/sec, 25 secs
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: subprocess 8 will run for 244 seconds at most (--localtimelimit=-1)
lola: ========================================
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: 1537565 markings, 3190494 edges, 307513 markings/sec, 0 secs
lola: 2881106 markings, 6064544 edges, 268708 markings/sec, 5 secs
lola: 4177573 markings, 8847012 edges, 259293 markings/sec, 10 secs
lola: 5416915 markings, 11531360 edges, 247868 markings/sec, 15 secs
lola: 6648836 markings, 14201742 edges, 246384 markings/sec, 20 secs
lola: 7870984 markings, 16856965 edges, 244430 markings/sec, 25 secs
lola: 9075848 markings, 19481093 edges, 240973 markings/sec, 30 secs
lola: 10276250 markings, 22096724 edges, 240080 markings/sec, 35 secs
lola: 11454277 markings, 24670703 edges, 235605 markings/sec, 40 secs
lola: 12623676 markings, 27232367 edges, 233880 markings/sec, 45 secs
lola: 13792893 markings, 29790054 edges, 233843 markings/sec, 50 secs
lola: 14959168 markings, 32344634 edges, 233255 markings/sec, 55 secs
lola: 16110302 markings, 34870606 edges, 230227 markings/sec, 60 secs
lola: 17256044 markings, 37382594 edges, 229148 markings/sec, 65 secs
lola: 18388895 markings, 39869213 edges, 226570 markings/sec, 70 secs
lola: 19523672 markings, 42362453 edges, 226955 markings/sec, 75 secs
lola: 20664556 markings, 44865163 edges, 228177 markings/sec, 80 secs
lola: 21792834 markings, 47345126 edges, 225656 markings/sec, 85 secs
lola: 22928074 markings, 49838860 edges, 227048 markings/sec, 90 secs
lola: 24061267 markings, 52333321 edges, 226639 markings/sec, 95 secs
lola: 25186606 markings, 54812840 edges, 225068 markings/sec, 100 secs
lola: 26308299 markings, 57287424 edges, 224339 markings/sec, 105 secs
lola: 27432282 markings, 59764144 edges, 224797 markings/sec, 110 secs
lola: 28553758 markings, 62235751 edges, 224295 markings/sec, 115 secs
lola: 29675997 markings, 64706751 edges, 224448 markings/sec, 120 secs
lola: 30782344 markings, 67150560 edges, 221269 markings/sec, 125 secs
lola: 31880195 markings, 69579219 edges, 219570 markings/sec, 130 secs
lola: 32994950 markings, 72035909 edges, 222951 markings/sec, 135 secs
lola: 34101107 markings, 74479160 edges, 221231 markings/sec, 140 secs
lola: 35213253 markings, 76933409 edges, 222429 markings/sec, 145 secs
lola: 36325043 markings, 79388247 edges, 222358 markings/sec, 150 secs
lola: 37427951 markings, 81828009 edges, 220582 markings/sec, 155 secs
lola: 38528018 markings, 84264231 edges, 220013 markings/sec, 160 secs
lola: 39635892 markings, 86713515 edges, 221575 markings/sec, 165 secs
lola: 40740350 markings, 89156419 edges, 220892 markings/sec, 170 secs
lola: 41845224 markings, 91604570 edges, 220975 markings/sec, 175 secs
lola: 42959823 markings, 94065166 edges, 222920 markings/sec, 180 secs
lola: 44063333 markings, 96507814 edges, 220702 markings/sec, 185 secs
lola: 45129660 markings, 98871828 edges, 213265 markings/sec, 190 secs
lola: 46231885 markings, 101310962 edges, 220445 markings/sec, 195 secs
lola: 47335304 markings, 103756091 edges, 220684 markings/sec, 200 secs
lola: 48440365 markings, 106203380 edges, 221012 markings/sec, 205 secs
lola: 49537545 markings, 108634564 edges, 219436 markings/sec, 210 secs
lola: 50633849 markings, 111065851 edges, 219261 markings/sec, 215 secs
lola: 51721682 markings, 113482051 edges, 217567 markings/sec, 220 secs
lola: 52813270 markings, 115905154 edges, 218318 markings/sec, 225 secs
lola: 53906192 markings, 118330261 edges, 218584 markings/sec, 230 secs
lola: 54999818 markings, 120754557 edges, 218725 markings/sec, 235 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 244 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: 2675164 markings, 3152619 edges, 535033 markings/sec, 0 secs
lola: 5227117 markings, 6154066 edges, 510391 markings/sec, 5 secs
lola: 7732100 markings, 9115309 edges, 500997 markings/sec, 10 secs
lola: 10204907 markings, 12027272 edges, 494561 markings/sec, 15 secs
lola: 12666442 markings, 14939212 edges, 492307 markings/sec, 20 secs
lola: 15094470 markings, 17810394 edges, 485606 markings/sec, 25 secs
lola: 17525933 markings, 20690896 edges, 486293 markings/sec, 30 secs
lola: 19955217 markings, 23568134 edges, 485857 markings/sec, 35 secs
lola: 22371566 markings, 26428778 edges, 483270 markings/sec, 40 secs
lola: 24734080 markings, 29224397 edges, 472503 markings/sec, 45 secs
lola: 27046633 markings, 31959825 edges, 462511 markings/sec, 50 secs
lola: 29413294 markings, 34763759 edges, 473332 markings/sec, 55 secs
lola: 31909594 markings, 37767423 edges, 499260 markings/sec, 60 secs
lola: 34413842 markings, 40748307 edges, 500850 markings/sec, 65 secs
lola: 36860670 markings, 43674137 edges, 489366 markings/sec, 70 secs
lola: 39250711 markings, 46525143 edges, 478008 markings/sec, 75 secs
lola: 41623614 markings, 49352016 edges, 474581 markings/sec, 80 secs
lola: 43990408 markings, 52171588 edges, 473359 markings/sec, 85 secs
lola: 46349437 markings, 54974639 edges, 471806 markings/sec, 90 secs
lola: 48667902 markings, 57722057 edges, 463693 markings/sec, 95 secs
lola: 50964873 markings, 60472947 edges, 459394 markings/sec, 100 secs
lola: 53311246 markings, 63260681 edges, 469275 markings/sec, 105 secs
lola: 55576609 markings, 65945332 edges, 453073 markings/sec, 110 secs
lola: 57903087 markings, 68729414 edges, 465296 markings/sec, 115 secs
lola: 60166138 markings, 71403049 edges, 452610 markings/sec, 120 secs
lola: 62480738 markings, 74176277 edges, 462920 markings/sec, 125 secs
lola: 64744142 markings, 76854950 edges, 452681 markings/sec, 130 secs
lola: 67072747 markings, 79635696 edges, 465721 markings/sec, 135 secs
lola: 69308760 markings, 82303210 edges, 447203 markings/sec, 140 secs
lola: 71647578 markings, 85069988 edges, 467764 markings/sec, 145 secs
lola: 73884226 markings, 87751572 edges, 447330 markings/sec, 150 secs
lola: 76128105 markings, 90395282 edges, 448776 markings/sec, 155 secs
lola: 78448677 markings, 93168823 edges, 464114 markings/sec, 160 secs
lola: 80679299 markings, 95843058 edges, 446124 markings/sec, 165 secs
lola: 82931725 markings, 98484235 edges, 450485 markings/sec, 170 secs
lola: 85236642 markings, 101247353 edges, 460983 markings/sec, 175 secs
lola: 87461296 markings, 103914236 edges, 444931 markings/sec, 180 secs
lola: 89699187 markings, 106538463 edges, 447578 markings/sec, 185 secs
lola: 92013764 markings, 109308511 edges, 462915 markings/sec, 190 secs
lola: 94226864 markings, 111960848 edges, 442620 markings/sec, 195 secs
lola: 96444361 markings, 114579340 edges, 443499 markings/sec, 200 secs
lola: 98768294 markings, 117338504 edges, 464787 markings/sec, 205 secs
lola: 100977071 markings, 119985449 edges, 441755 markings/sec, 210 secs
lola: 103176796 markings, 122618287 edges, 439945 markings/sec, 215 secs
lola: 105377895 markings, 125196817 edges, 440220 markings/sec, 220 secs
lola: 107647865 markings, 127911060 edges, 453994 markings/sec, 225 secs
lola: 109817392 markings, 130510741 edges, 433905 markings/sec, 230 secs
lola: 111985726 markings, 133102791 edges, 433667 markings/sec, 235 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 244 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: 2314328 markings, 2831673 edges, 462866 markings/sec, 0 secs
lola: 4476509 markings, 5463546 edges, 432436 markings/sec, 5 secs
lola: 6644211 markings, 8114347 edges, 433540 markings/sec, 10 secs
lola: 8884546 markings, 10915066 edges, 448067 markings/sec, 15 secs
lola: 11210971 markings, 13942930 edges, 465285 markings/sec, 20 secs
lola: 13532205 markings, 16962269 edges, 464247 markings/sec, 25 secs
lola: 15828576 markings, 19949757 edges, 459274 markings/sec, 30 secs
lola: 18153906 markings, 22921169 edges, 465066 markings/sec, 35 secs
lola: 20400672 markings, 25731746 edges, 449353 markings/sec, 40 secs
lola: 22587518 markings, 28465374 edges, 437369 markings/sec, 45 secs
lola: 24781630 markings, 31207505 edges, 438822 markings/sec, 50 secs
lola: 26955062 markings, 33922318 edges, 434686 markings/sec, 55 secs
lola: 29149033 markings, 36660992 edges, 438794 markings/sec, 60 secs
lola: 31330313 markings, 39386560 edges, 436256 markings/sec, 65 secs
lola: 33523115 markings, 42130780 edges, 438560 markings/sec, 70 secs
lola: 35198312 markings, 44550912 edges, 335039 markings/sec, 75 secs
lola: 36002300 markings, 46565259 edges, 160798 markings/sec, 80 secs
lola: 37943684 markings, 49363305 edges, 388277 markings/sec, 85 secs
lola: 39996725 markings, 52219401 edges, 410608 markings/sec, 90 secs
lola: 41956358 markings, 54940968 edges, 391927 markings/sec, 95 secs
lola: 43936009 markings, 57681679 edges, 395930 markings/sec, 100 secs
lola: 45980939 markings, 60519411 edges, 408986 markings/sec, 105 secs
lola: 48064640 markings, 63359111 edges, 416740 markings/sec, 110 secs
lola: 50028258 markings, 66090546 edges, 392724 markings/sec, 115 secs
lola: 52119331 markings, 68930278 edges, 418215 markings/sec, 120 secs
lola: 54063107 markings, 71633333 edges, 388755 markings/sec, 125 secs
lola: 56090357 markings, 74383207 edges, 405450 markings/sec, 130 secs
lola: 58137862 markings, 77215451 edges, 409501 markings/sec, 135 secs
lola: 60081226 markings, 79873241 edges, 388673 markings/sec, 140 secs
lola: 62196779 markings, 82740548 edges, 423111 markings/sec, 145 secs
lola: 64130476 markings, 85408711 edges, 386739 markings/sec, 150 secs
lola: 66086629 markings, 88073886 edges, 391231 markings/sec, 155 secs
lola: 68217961 markings, 90951937 edges, 426266 markings/sec, 160 secs
lola: 70128409 markings, 93595262 edges, 382090 markings/sec, 165 secs
lola: 72082957 markings, 96247974 edges, 390910 markings/sec, 170 secs
lola: 74118068 markings, 98988129 edges, 407022 markings/sec, 175 secs
lola: 76109590 markings, 101732560 edges, 398304 markings/sec, 180 secs
lola: 78043043 markings, 104350977 edges, 386691 markings/sec, 185 secs
lola: 80022419 markings, 107027064 edges, 395875 markings/sec, 190 secs
lola: 82161753 markings, 109906912 edges, 427867 markings/sec, 195 secs
lola: 84021922 markings, 112473154 edges, 372034 markings/sec, 200 secs
lola: 85926131 markings, 115072743 edges, 380842 markings/sec, 205 secs
lola: 87934207 markings, 117751105 edges, 401615 markings/sec, 210 secs
lola: 90080301 markings, 120642574 edges, 429219 markings/sec, 215 secs
lola: 91908393 markings, 123169546 edges, 365618 markings/sec, 220 secs
lola: 93837272 markings, 125781992 edges, 385776 markings/sec, 225 secs
lola: 95788100 markings, 128415666 edges, 390166 markings/sec, 230 secs
lola: 97867995 markings, 131184555 edges, 415979 markings/sec, 235 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 244 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: 2284107 markings, 2978139 edges, 456821 markings/sec, 0 secs
lola: 4564821 markings, 5954909 edges, 456143 markings/sec, 5 secs
lola: 6862871 markings, 8952647 edges, 459610 markings/sec, 10 secs
lola: 9194404 markings, 11992180 edges, 466307 markings/sec, 15 secs
lola: 11534828 markings, 15046307 edges, 468085 markings/sec, 20 secs
lola: 13820133 markings, 18029836 edges, 457061 markings/sec, 25 secs
lola: 16108688 markings, 21003609 edges, 457711 markings/sec, 30 secs
lola: 18369741 markings, 23838498 edges, 452211 markings/sec, 35 secs
lola: 20544160 markings, 26563052 edges, 434884 markings/sec, 40 secs
lola: 22617191 markings, 29157868 edges, 414606 markings/sec, 45 secs
lola: 24674027 markings, 31731838 edges, 411367 markings/sec, 50 secs
lola: 26706360 markings, 34274252 edges, 406467 markings/sec, 55 secs
lola: 28726243 markings, 36801122 edges, 403977 markings/sec, 60 secs
lola: 30740329 markings, 39321640 edges, 402817 markings/sec, 65 secs
lola: 32748542 markings, 41841878 edges, 401643 markings/sec, 70 secs
lola: 34793647 markings, 44403371 edges, 409021 markings/sec, 75 secs
lola: 36002985 markings, 46598480 edges, 241868 markings/sec, 80 secs
lola: 37373015 markings, 49039646 edges, 274006 markings/sec, 85 secs
lola: 39339096 markings, 51649237 edges, 393216 markings/sec, 90 secs
lola: 41296189 markings, 54239659 edges, 391419 markings/sec, 95 secs
lola: 43229144 markings, 56798575 edges, 386591 markings/sec, 100 secs
lola: 45214228 markings, 59435142 edges, 397017 markings/sec, 105 secs
lola: 47246264 markings, 62114664 edges, 406407 markings/sec, 110 secs
lola: 49284634 markings, 64810338 edges, 407674 markings/sec, 115 secs
lola: 51319989 markings, 67501338 edges, 407071 markings/sec, 120 secs
lola: 53339650 markings, 70169893 edges, 403932 markings/sec, 125 secs
lola: 55350108 markings, 72829703 edges, 402092 markings/sec, 130 secs
lola: 57357800 markings, 75490017 edges, 401538 markings/sec, 135 secs
lola: 59427237 markings, 78204294 edges, 413887 markings/sec, 140 secs
lola: 61431675 markings, 80862630 edges, 400888 markings/sec, 145 secs
lola: 63402095 markings, 83472298 edges, 394084 markings/sec, 150 secs
lola: 65460337 markings, 86174797 edges, 411648 markings/sec, 155 secs
lola: 67423913 markings, 88778548 edges, 392715 markings/sec, 160 secs
lola: 69382769 markings, 91391104 edges, 391771 markings/sec, 165 secs
lola: 71439591 markings, 94081638 edges, 411364 markings/sec, 170 secs
lola: 73377896 markings, 96665912 edges, 387661 markings/sec, 175 secs
lola: 75418610 markings, 99334726 edges, 408143 markings/sec, 180 secs
lola: 77353666 markings, 101903709 edges, 387011 markings/sec, 185 secs
lola: 79338066 markings, 104509883 edges, 396880 markings/sec, 190 secs
lola: 81359663 markings, 107164627 edges, 404319 markings/sec, 195 secs
lola: 83243949 markings, 109672489 edges, 376857 markings/sec, 200 secs
lola: 85319663 markings, 112406193 edges, 415143 markings/sec, 205 secs
lola: 87176034 markings, 114880369 edges, 371274 markings/sec, 210 secs
lola: 89214884 markings, 117544565 edges, 407770 markings/sec, 215 secs
lola: 91254928 markings, 120224512 edges, 408009 markings/sec, 220 secs
lola: 93128875 markings, 122723429 edges, 374789 markings/sec, 225 secs
lola: 95173242 markings, 125404935 edges, 408873 markings/sec, 230 secs
lola: 97186343 markings, 128040132 edges, 402620 markings/sec, 235 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 244 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: 2293875 markings, 2990529 edges, 458775 markings/sec, 0 secs
lola: 4575485 markings, 5968898 edges, 456322 markings/sec, 5 secs
lola: 6853746 markings, 8940902 edges, 455652 markings/sec, 10 secs
lola: 9160013 markings, 11946900 edges, 461253 markings/sec, 15 secs
lola: 11476477 markings, 14970027 edges, 463293 markings/sec, 20 secs
lola: 13757367 markings, 17948215 edges, 456178 markings/sec, 25 secs
lola: 16047592 markings, 20926719 edges, 458045 markings/sec, 30 secs
lola: 18305574 markings, 23757714 edges, 451596 markings/sec, 35 secs
lola: 20477433 markings, 26479653 edges, 434372 markings/sec, 40 secs
lola: 22546459 markings, 29069289 edges, 413805 markings/sec, 45 secs
lola: 24596760 markings, 31635117 edges, 410060 markings/sec, 50 secs
lola: 26628065 markings, 34176401 edges, 406261 markings/sec, 55 secs
lola: 28645751 markings, 36700495 edges, 403537 markings/sec, 60 secs
lola: 30655935 markings, 39215873 edges, 402037 markings/sec, 65 secs
lola: 32661604 markings, 41732555 edges, 401134 markings/sec, 70 secs
lola: 34682526 markings, 44264242 edges, 404184 markings/sec, 75 secs
lola: 35994724 markings, 46473656 edges, 262440 markings/sec, 80 secs
lola: 37209719 markings, 48820253 edges, 242999 markings/sec, 85 secs
lola: 39172128 markings, 51423399 edges, 392482 markings/sec, 90 secs
lola: 41117299 markings, 54002811 edges, 389034 markings/sec, 95 secs
lola: 43050598 markings, 56563950 edges, 386660 markings/sec, 100 secs
lola: 45065284 markings, 59224067 edges, 402937 markings/sec, 105 secs
lola: 47057568 markings, 61867505 edges, 398457 markings/sec, 110 secs
lola: 49080820 markings, 64541311 edges, 404650 markings/sec, 115 secs
lola: 51103883 markings, 67214735 edges, 404613 markings/sec, 120 secs
lola: 53114074 markings, 69872348 edges, 402038 markings/sec, 125 secs
lola: 55115780 markings, 72521918 edges, 400341 markings/sec, 130 secs
lola: 57110040 markings, 75167406 edges, 398852 markings/sec, 135 secs
lola: 59171670 markings, 77872325 edges, 412326 markings/sec, 140 secs
lola: 61140118 markings, 80478009 edges, 393690 markings/sec, 145 secs
lola: 63104542 markings, 83084604 edges, 392885 markings/sec, 150 secs
lola: 65165582 markings, 85793368 edges, 412208 markings/sec, 155 secs
lola: 67074466 markings, 88319756 edges, 381777 markings/sec, 160 secs
lola: 69101029 markings, 90979141 edges, 405313 markings/sec, 165 secs
lola: 71018180 markings, 93525899 edges, 383430 markings/sec, 170 secs
lola: 73040434 markings, 96178206 edges, 404451 markings/sec, 175 secs
lola: 74941744 markings, 98706840 edges, 380262 markings/sec, 180 secs
lola: 76957157 markings, 101352199 edges, 403083 markings/sec, 185 secs
lola: 78850996 markings, 103870211 edges, 378768 markings/sec, 190 secs
lola: 80911104 markings, 106584790 edges, 412022 markings/sec, 195 secs
lola: 82769417 markings, 109053478 edges, 371663 markings/sec, 200 secs
lola: 84803445 markings, 111722593 edges, 406806 markings/sec, 205 secs
lola: 86722672 markings, 114268253 edges, 383845 markings/sec, 210 secs
lola: 88683019 markings, 116846446 edges, 392069 markings/sec, 215 secs
lola: 90752643 markings, 119575711 edges, 413925 markings/sec, 220 secs
lola: 92565662 markings, 121990644 edges, 362604 markings/sec, 225 secs
lola: 94583074 markings, 124627868 edges, 403482 markings/sec, 230 secs
lola: 96615262 markings, 127300722 edges, 406438 markings/sec, 235 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 244 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2058648 markings, 2925057 edges, 411730 markings/sec, 0 secs
lola: 4029137 markings, 5722205 edges, 394098 markings/sec, 5 secs
lola: 5989411 markings, 8505102 edges, 392055 markings/sec, 10 secs
lola: 7945534 markings, 11282154 edges, 391225 markings/sec, 15 secs
lola: 9916949 markings, 14080781 edges, 394283 markings/sec, 20 secs
lola: 11915077 markings, 16917882 edges, 399626 markings/sec, 25 secs
lola: 13911225 markings, 19751539 edges, 399230 markings/sec, 30 secs
lola: 15903453 markings, 22579525 edges, 398446 markings/sec, 35 secs
lola: 17893353 markings, 25404265 edges, 397980 markings/sec, 40 secs
lola: 19837780 markings, 28164074 edges, 388885 markings/sec, 45 secs
lola: 21681505 markings, 30870154 edges, 368745 markings/sec, 50 secs
lola: 23468479 markings, 33486965 edges, 357395 markings/sec, 55 secs
lola: 25237924 markings, 36070994 edges, 353889 markings/sec, 60 secs
lola: 27006374 markings, 38648183 edges, 353690 markings/sec, 65 secs
lola: 28766896 markings, 41210865 edges, 352104 markings/sec, 70 secs
lola: 30522898 markings, 43761387 edges, 351200 markings/sec, 75 secs
lola: 32276645 markings, 46309901 edges, 350749 markings/sec, 80 secs
lola: 34023993 markings, 48847891 edges, 349470 markings/sec, 85 secs
lola: 35778124 markings, 51389963 edges, 350826 markings/sec, 90 secs
lola: 37509401 markings, 53900620 edges, 346255 markings/sec, 95 secs
lola: 39242950 markings, 56415094 edges, 346710 markings/sec, 100 secs
lola: 40988868 markings, 58943742 edges, 349184 markings/sec, 105 secs
lola: 42486316 markings, 61368768 edges, 299490 markings/sec, 110 secs
lola: 42939772 markings, 63193512 edges, 90691 markings/sec, 115 secs
lola: 43355895 markings, 65121526 edges, 83225 markings/sec, 120 secs
lola: 44258442 markings, 67397741 edges, 180509 markings/sec, 125 secs
lola: 45981315 markings, 70097551 edges, 344575 markings/sec, 130 secs
lola: 47683392 markings, 72757481 edges, 340415 markings/sec, 135 secs
lola: 49377046 markings, 75394401 edges, 338731 markings/sec, 140 secs
lola: 51038700 markings, 77978836 edges, 332331 markings/sec, 145 secs
lola: 52709462 markings, 80578214 edges, 334152 markings/sec, 150 secs
lola: 54415681 markings, 83233000 edges, 341244 markings/sec, 155 secs
lola: 56129118 markings, 85896505 edges, 342687 markings/sec, 160 secs
lola: 57825473 markings, 88521792 edges, 339271 markings/sec, 165 secs
lola: 59529450 markings, 91164547 edges, 340795 markings/sec, 170 secs
lola: 61232914 markings, 93814657 edges, 340693 markings/sec, 175 secs
lola: 62983018 markings, 96520253 edges, 350021 markings/sec, 180 secs
lola: 64660250 markings, 99120019 edges, 335446 markings/sec, 185 secs
lola: 66344893 markings, 101743735 edges, 336929 markings/sec, 190 secs
lola: 68113576 markings, 104475143 edges, 353737 markings/sec, 195 secs
lola: 69779384 markings, 107058809 edges, 333162 markings/sec, 200 secs
lola: 71541202 markings, 109790154 edges, 352364 markings/sec, 205 secs
lola: 73170420 markings, 112312525 edges, 325844 markings/sec, 210 secs
lola: 74916479 markings, 115012591 edges, 349212 markings/sec, 215 secs
lola: 76536715 markings, 117530737 edges, 324047 markings/sec, 220 secs
lola: 78272171 markings, 120203318 edges, 347091 markings/sec, 225 secs
lola: 79980883 markings, 122833770 edges, 341742 markings/sec, 230 secs
lola: 81653535 markings, 125437002 edges, 334530 markings/sec, 235 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 245 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: 1994302 markings, 2976432 edges, 398860 markings/sec, 0 secs
lola: 3878108 markings, 5778707 edges, 376761 markings/sec, 5 secs
lola: 5735476 markings, 8540439 edges, 371474 markings/sec, 10 secs
lola: 7602523 markings, 11315463 edges, 373409 markings/sec, 15 secs
lola: 9483097 markings, 14110785 edges, 376115 markings/sec, 20 secs
lola: 11369709 markings, 16916460 edges, 377322 markings/sec, 25 secs
lola: 13254220 markings, 19717784 edges, 376902 markings/sec, 30 secs
lola: 15133234 markings, 22514211 edges, 375803 markings/sec, 35 secs
lola: 16971483 markings, 25249278 edges, 367650 markings/sec, 40 secs
lola: 18815277 markings, 27998919 edges, 368759 markings/sec, 45 secs
lola: 20629677 markings, 30705775 edges, 362880 markings/sec, 50 secs
lola: 22191081 markings, 33352418 edges, 312281 markings/sec, 55 secs
lola: 23727350 markings, 35972959 edges, 307254 markings/sec, 60 secs
lola: 25282670 markings, 38619997 edges, 311064 markings/sec, 65 secs
lola: 26862343 markings, 41300172 edges, 315935 markings/sec, 70 secs
lola: 28444909 markings, 43979399 edges, 316513 markings/sec, 75 secs
lola: 30020355 markings, 46644913 edges, 315089 markings/sec, 80 secs
lola: 31586562 markings, 49289583 edges, 313241 markings/sec, 85 secs
lola: 33158972 markings, 51941066 edges, 314482 markings/sec, 90 secs
lola: 34749043 markings, 54617194 edges, 318014 markings/sec, 95 secs
lola: 36348213 markings, 57309696 edges, 319834 markings/sec, 100 secs
lola: 37973159 markings, 60041262 edges, 324989 markings/sec, 105 secs
lola: 38815149 markings, 62287801 edges, 168398 markings/sec, 110 secs
lola: 39370612 markings, 64285330 edges, 111093 markings/sec, 115 secs
lola: 39964689 markings, 66297786 edges, 118815 markings/sec, 120 secs
lola: 40578573 markings, 68343485 edges, 122777 markings/sec, 125 secs
lola: 41883328 markings, 71050511 edges, 260951 markings/sec, 130 secs
lola: 43441243 markings, 73823031 edges, 311583 markings/sec, 135 secs
lola: 44987966 markings, 76571296 edges, 309345 markings/sec, 140 secs
lola: 46487934 markings, 79216125 edges, 299994 markings/sec, 145 secs
lola: 48004740 markings, 81900194 edges, 303361 markings/sec, 150 secs
lola: 49499818 markings, 84515781 edges, 299016 markings/sec, 155 secs
lola: 51007026 markings, 87168506 edges, 301442 markings/sec, 160 secs
lola: 52517187 markings, 89836554 edges, 302032 markings/sec, 165 secs
lola: 54035349 markings, 92546167 edges, 303632 markings/sec, 170 secs
lola: 55531408 markings, 95152552 edges, 299212 markings/sec, 175 secs
lola: 57079516 markings, 97847977 edges, 309622 markings/sec, 180 secs
lola: 58619817 markings, 100566028 edges, 308060 markings/sec, 185 secs
lola: 60094205 markings, 103169386 edges, 294878 markings/sec, 190 secs
lola: 61655787 markings, 105862615 edges, 312316 markings/sec, 195 secs
lola: 63135319 markings, 108523000 edges, 295906 markings/sec, 200 secs
lola: 64676080 markings, 111168376 edges, 308152 markings/sec, 205 secs
lola: 66163893 markings, 113841764 edges, 297563 markings/sec, 210 secs
lola: 67700692 markings, 116465853 edges, 307360 markings/sec, 215 secs
lola: 69170421 markings, 119105119 edges, 293946 markings/sec, 220 secs
lola: 70742976 markings, 121790881 edges, 314511 markings/sec, 225 secs
lola: 72177904 markings, 124355836 edges, 286986 markings/sec, 230 secs
lola: 73737009 markings, 127087417 edges, 311821 markings/sec, 235 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 244 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: 2708730 markings, 3192623 edges, 541746 markings/sec, 0 secs
lola: 5280589 markings, 6216583 edges, 514372 markings/sec, 5 secs
lola: 7803638 markings, 9200219 edges, 504610 markings/sec, 10 secs
lola: 10294848 markings, 12134360 edges, 498242 markings/sec, 15 secs
lola: 12778194 markings, 15072314 edges, 496669 markings/sec, 20 secs
lola: 15222700 markings, 17962860 edges, 488901 markings/sec, 25 secs
lola: 17668821 markings, 20861013 edges, 489224 markings/sec, 30 secs
lola: 20111593 markings, 23751565 edges, 488554 markings/sec, 35 secs
lola: 22542767 markings, 26629622 edges, 486235 markings/sec, 40 secs
lola: 24925298 markings, 29452095 edges, 476506 markings/sec, 45 secs
lola: 27272269 markings, 32227536 edges, 469394 markings/sec, 50 secs
lola: 29612973 markings, 35030972 edges, 468141 markings/sec, 55 secs
lola: 32250894 markings, 38169043 edges, 527584 markings/sec, 60 secs
lola: 34796631 markings, 41206395 edges, 509147 markings/sec, 65 secs
lola: 37259662 markings, 44150685 edges, 492606 markings/sec, 70 secs
lola: 39706169 markings, 47055640 edges, 489301 markings/sec, 75 secs
lola: 42119948 markings, 49930195 edges, 482756 markings/sec, 80 secs
lola: 44509184 markings, 52783740 edges, 477847 markings/sec, 85 secs
lola: 46923824 markings, 55664152 edges, 482928 markings/sec, 90 secs
lola: 49322303 markings, 58510325 edges, 479696 markings/sec, 95 secs
lola: 51652585 markings, 61275519 edges, 466056 markings/sec, 100 secs
lola: 54038035 markings, 64132620 edges, 477090 markings/sec, 105 secs
lola: 56408196 markings, 66933531 edges, 474032 markings/sec, 110 secs
lola: 58735641 markings, 69728252 edges, 465489 markings/sec, 115 secs
lola: 61104805 markings, 72526110 edges, 473833 markings/sec, 120 secs
lola: 63405283 markings, 75285683 edges, 460096 markings/sec, 125 secs
lola: 65751131 markings, 78048154 edges, 469170 markings/sec, 130 secs
lola: 68059913 markings, 80819400 edges, 461756 markings/sec, 135 secs
lola: 70343215 markings, 83511341 edges, 456660 markings/sec, 140 secs
lola: 72701596 markings, 86333694 edges, 471676 markings/sec, 145 secs
lola: 74969684 markings, 89043019 edges, 453618 markings/sec, 150 secs
lola: 77327782 markings, 91825209 edges, 471620 markings/sec, 155 secs
lola: 79604815 markings, 94554843 edges, 455407 markings/sec, 160 secs
lola: 81856648 markings, 97223232 edges, 450367 markings/sec, 165 secs
lola: 84220833 markings, 100029746 edges, 472837 markings/sec, 170 secs
lola: 86490006 markings, 102749659 edges, 453835 markings/sec, 175 secs
lola: 88730681 markings, 105403832 edges, 448135 markings/sec, 180 secs
lola: 91090788 markings, 108202312 edges, 472021 markings/sec, 185 secs
lola: 93351962 markings, 110912285 edges, 452235 markings/sec, 190 secs
lola: 95599066 markings, 113593520 edges, 449421 markings/sec, 195 secs
lola: 97903131 markings, 116298238 edges, 460813 markings/sec, 200 secs
lola: 100207073 markings, 119062696 edges, 460788 markings/sec, 205 secs
lola: 102459714 markings, 121762226 edges, 450528 markings/sec, 210 secs
lola: 104699757 markings, 124403280 edges, 448009 markings/sec, 215 secs
lola: 107045264 markings, 127188967 edges, 469101 markings/sec, 220 secs
lola: 109297513 markings, 129887787 edges, 450450 markings/sec, 225 secs
lola: 111546458 markings, 132582060 edges, 449789 markings/sec, 230 secs
lola: 113791884 markings, 135220240 edges, 449085 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 160 unknown unknown unknown unknown unknown unknown unknown
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-7 160 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P1-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496606342627

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