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 DES-PT-50a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309200317
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494631688280


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-50a @ 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: 585/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 314 places, 271 transitions, 255 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 296 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-50a-UpperBounds.task
lola: MAX(p110) : MAX(p63) : MAX(p54) : MAX(p263) : MAX(p199) : MAX(p131) : MAX(p248) : MAX(p291) : MAX(p164) : MAX(p294) : MAX(p91) : MAX(p104) : MAX(p94) : MAX(p100) : MAX(p56) : MAX(p279)
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(p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 747059 markings, 1521890 edges, 149412 markings/sec, 0 secs
lola: 1490443 markings, 3028570 edges, 148677 markings/sec, 5 secs
lola: 2245496 markings, 4557599 edges, 151011 markings/sec, 10 secs
lola: 3005093 markings, 6106063 edges, 151919 markings/sec, 15 secs
lola: 3763105 markings, 7646324 edges, 151602 markings/sec, 20 secs
lola: 4526773 markings, 9189973 edges, 152734 markings/sec, 25 secs
lola: 5287158 markings, 10740640 edges, 152077 markings/sec, 30 secs
lola: 6026810 markings, 12245915 edges, 147930 markings/sec, 35 secs
lola: 6797051 markings, 13798360 edges, 154048 markings/sec, 40 secs
lola: 7579842 markings, 15399185 edges, 156558 markings/sec, 45 secs
lola: 8287084 markings, 16872720 edges, 141448 markings/sec, 50 secs
lola: 9021581 markings, 18411534 edges, 146899 markings/sec, 55 secs
lola: 9744116 markings, 19934951 edges, 144507 markings/sec, 60 secs
lola: 10505406 markings, 21457819 edges, 152258 markings/sec, 65 secs
lola: 11269498 markings, 23055825 edges, 152818 markings/sec, 70 secs
lola: 11969712 markings, 24594843 edges, 140043 markings/sec, 75 secs
lola: 12745591 markings, 26158860 edges, 155176 markings/sec, 80 secs
lola: 13484930 markings, 27713324 edges, 147868 markings/sec, 85 secs
lola: 14180573 markings, 29190563 edges, 139129 markings/sec, 90 secs
lola: 14921051 markings, 30658282 edges, 148096 markings/sec, 95 secs
lola: 15645007 markings, 32111463 edges, 144791 markings/sec, 100 secs
lola: 16385521 markings, 33679747 edges, 148103 markings/sec, 105 secs
lola: 17086177 markings, 35161221 edges, 140131 markings/sec, 110 secs
lola: 17820007 markings, 36653569 edges, 146766 markings/sec, 115 secs
lola: 18561009 markings, 38200193 edges, 148200 markings/sec, 120 secs
lola: 19262498 markings, 39708575 edges, 140298 markings/sec, 125 secs
lola: 19979800 markings, 41185087 edges, 143460 markings/sec, 130 secs
lola: 20712510 markings, 42640032 edges, 146542 markings/sec, 135 secs
lola: 21442292 markings, 44132083 edges, 145956 markings/sec, 140 secs
lola: 22173834 markings, 45653302 edges, 146308 markings/sec, 145 secs
lola: 22846444 markings, 47137364 edges, 134522 markings/sec, 150 secs
lola: 23620238 markings, 48664862 edges, 154759 markings/sec, 155 secs
lola: 24345068 markings, 50185679 edges, 144966 markings/sec, 160 secs
lola: 25046292 markings, 51666365 edges, 140245 markings/sec, 165 secs
lola: 25760304 markings, 53113049 edges, 142802 markings/sec, 170 secs
lola: 26489577 markings, 54570573 edges, 145855 markings/sec, 175 secs
lola: 27217448 markings, 56103976 edges, 145574 markings/sec, 180 secs
lola: 27939939 markings, 57599616 edges, 144498 markings/sec, 185 secs
lola: 28650555 markings, 59085062 edges, 142123 markings/sec, 190 secs
lola: 29405583 markings, 60638424 edges, 151006 markings/sec, 195 secs
lola: 30116425 markings, 62152333 edges, 142168 markings/sec, 200 secs
lola: 30818358 markings, 63634976 edges, 140387 markings/sec, 205 secs
lola: 31564965 markings, 65087745 edges, 149321 markings/sec, 210 secs
lola: 32276295 markings, 66546341 edges, 142266 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(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 860775 markings, 1596770 edges, 172155 markings/sec, 0 secs
lola: 1619508 markings, 3166766 edges, 151747 markings/sec, 5 secs
lola: 2334280 markings, 4717155 edges, 142954 markings/sec, 10 secs
lola: 3058523 markings, 6226420 edges, 144849 markings/sec, 15 secs
lola: 3766560 markings, 7772397 edges, 141607 markings/sec, 20 secs
lola: 4488378 markings, 9270066 edges, 144364 markings/sec, 25 secs
lola: 5186585 markings, 10810887 edges, 139641 markings/sec, 30 secs
lola: 5907920 markings, 12304621 edges, 144267 markings/sec, 35 secs
lola: 6604390 markings, 13846149 edges, 139294 markings/sec, 40 secs
lola: 7328069 markings, 15339922 edges, 144736 markings/sec, 45 secs
lola: 8023587 markings, 16881452 edges, 139104 markings/sec, 50 secs
lola: 8743789 markings, 18364877 edges, 144040 markings/sec, 55 secs
lola: 9437585 markings, 19899440 edges, 138759 markings/sec, 60 secs
lola: 10148189 markings, 21370676 edges, 142121 markings/sec, 65 secs
lola: 10838365 markings, 22888251 edges, 138035 markings/sec, 70 secs
lola: 11542988 markings, 24352929 edges, 140925 markings/sec, 75 secs
lola: 12229787 markings, 25861642 edges, 137360 markings/sec, 80 secs
lola: 12930473 markings, 27318906 edges, 140137 markings/sec, 85 secs
lola: 13613844 markings, 28820674 edges, 136674 markings/sec, 90 secs
lola: 14309557 markings, 30268032 edges, 139143 markings/sec, 95 secs
lola: 14988986 markings, 31762977 edges, 135886 markings/sec, 100 secs
lola: 15677425 markings, 33188305 edges, 137688 markings/sec, 105 secs
lola: 16341850 markings, 34663581 edges, 132885 markings/sec, 110 secs
lola: 17032254 markings, 36084436 edges, 138081 markings/sec, 115 secs
lola: 17693284 markings, 37550383 edges, 132206 markings/sec, 120 secs
lola: 18380503 markings, 38967499 edges, 137444 markings/sec, 125 secs
lola: 19039498 markings, 40425160 edges, 131799 markings/sec, 130 secs
lola: 19720426 markings, 41834613 edges, 136186 markings/sec, 135 secs
lola: 20381357 markings, 43289207 edges, 132186 markings/sec, 140 secs
lola: 21056919 markings, 44697389 edges, 135112 markings/sec, 145 secs
lola: 21714758 markings, 46142642 edges, 131568 markings/sec, 150 secs
lola: 22384647 markings, 47543678 edges, 133978 markings/sec, 155 secs
lola: 23041877 markings, 48977401 edges, 131446 markings/sec, 160 secs
lola: 23714370 markings, 50375114 edges, 134499 markings/sec, 165 secs
lola: 24370945 markings, 51808175 edges, 131315 markings/sec, 170 secs
lola: 25038331 markings, 53200452 edges, 133477 markings/sec, 175 secs
lola: 25688991 markings, 54625734 edges, 130132 markings/sec, 180 secs
lola: 26358701 markings, 56023879 edges, 133942 markings/sec, 185 secs
lola: 27013031 markings, 57446796 edges, 130866 markings/sec, 190 secs
lola: 27679494 markings, 58843782 edges, 133293 markings/sec, 195 secs
lola: 28340163 markings, 60274756 edges, 132134 markings/sec, 200 secs
lola: 29004842 markings, 61686976 edges, 132936 markings/sec, 205 secs
lola: 29665857 markings, 63101183 edges, 132203 markings/sec, 210 secs
lola: 30318921 markings, 64523079 edges, 130613 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(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 859310 markings, 1582290 edges, 171862 markings/sec, 0 secs
lola: 1616157 markings, 3140650 edges, 151369 markings/sec, 5 secs
lola: 2324229 markings, 4680844 edges, 141614 markings/sec, 10 secs
lola: 3038129 markings, 6175725 edges, 142780 markings/sec, 15 secs
lola: 3745987 markings, 7717151 edges, 141572 markings/sec, 20 secs
lola: 4465741 markings, 9216643 edges, 143951 markings/sec, 25 secs
lola: 5165964 markings, 10749115 edges, 140045 markings/sec, 30 secs
lola: 5874302 markings, 12228828 edges, 141668 markings/sec, 35 secs
lola: 6568130 markings, 13747943 edges, 138766 markings/sec, 40 secs
lola: 7270789 markings, 15212909 edges, 140532 markings/sec, 45 secs
lola: 7957395 markings, 16718094 edges, 137321 markings/sec, 50 secs
lola: 8657047 markings, 18176106 edges, 139930 markings/sec, 55 secs
lola: 9340243 markings, 19673781 edges, 136639 markings/sec, 60 secs
lola: 10035246 markings, 21125593 edges, 139001 markings/sec, 65 secs
lola: 10718362 markings, 22618348 edges, 136623 markings/sec, 70 secs
lola: 11410561 markings, 24062611 edges, 138440 markings/sec, 75 secs
lola: 12087055 markings, 25546814 edges, 135299 markings/sec, 80 secs
lola: 12774214 markings, 26977868 edges, 137432 markings/sec, 85 secs
lola: 13449410 markings, 28459961 edges, 135039 markings/sec, 90 secs
lola: 14143055 markings, 29905169 edges, 138729 markings/sec, 95 secs
lola: 14818306 markings, 31387247 edges, 135050 markings/sec, 100 secs
lola: 15508420 markings, 32825148 edges, 138023 markings/sec, 105 secs
lola: 16180073 markings, 34298986 edges, 134331 markings/sec, 110 secs
lola: 16864519 markings, 35730038 edges, 136889 markings/sec, 115 secs
lola: 17537095 markings, 37196438 edges, 134515 markings/sec, 120 secs
lola: 18220912 markings, 38622893 edges, 136763 markings/sec, 125 secs
lola: 18891558 markings, 40084016 edges, 134129 markings/sec, 130 secs
lola: 19576942 markings, 41514928 edges, 137077 markings/sec, 135 secs
lola: 20247111 markings, 42978946 edges, 134034 markings/sec, 140 secs
lola: 20929601 markings, 44403373 edges, 136498 markings/sec, 145 secs
lola: 21598653 markings, 45869353 edges, 133810 markings/sec, 150 secs
lola: 22278055 markings, 47285720 edges, 135880 markings/sec, 155 secs
lola: 22940204 markings, 48733442 edges, 132430 markings/sec, 160 secs
lola: 23616089 markings, 50147536 edges, 135177 markings/sec, 165 secs
lola: 24279399 markings, 51589020 edges, 132662 markings/sec, 170 secs
lola: 24951177 markings, 52996229 edges, 134356 markings/sec, 175 secs
lola: 25613433 markings, 54435375 edges, 132451 markings/sec, 180 secs
lola: 26279365 markings, 55843137 edges, 133186 markings/sec, 185 secs
lola: 26937295 markings, 57257158 edges, 131586 markings/sec, 190 secs
lola: 27592874 markings, 58676275 edges, 131116 markings/sec, 195 secs
lola: 28253195 markings, 60060040 edges, 132064 markings/sec, 200 secs
lola: 28901589 markings, 61485546 edges, 129679 markings/sec, 205 secs
lola: 29565185 markings, 62864069 edges, 132719 markings/sec, 210 secs
lola: 30203895 markings, 64282919 edges, 127742 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(p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 881711 markings, 1577338 edges, 176342 markings/sec, 0 secs
lola: 1781681 markings, 3177030 edges, 179994 markings/sec, 5 secs
lola: 2721185 markings, 4792318 edges, 187901 markings/sec, 10 secs
lola: 3595349 markings, 6417068 edges, 174833 markings/sec, 15 secs
lola: 4490462 markings, 8024578 edges, 179023 markings/sec, 20 secs
lola: 5347045 markings, 9623315 edges, 171317 markings/sec, 25 secs
lola: 6179488 markings, 11206008 edges, 166489 markings/sec, 30 secs
lola: 7060393 markings, 12789753 edges, 176181 markings/sec, 35 secs
lola: 7884619 markings, 14373469 edges, 164845 markings/sec, 40 secs
lola: 8731075 markings, 15938579 edges, 169291 markings/sec, 45 secs
lola: 9586166 markings, 17494563 edges, 171018 markings/sec, 50 secs
lola: 10386998 markings, 19052483 edges, 160166 markings/sec, 55 secs
lola: 11253563 markings, 20608159 edges, 173313 markings/sec, 60 secs
lola: 12055746 markings, 22138411 edges, 160437 markings/sec, 65 secs
lola: 12873824 markings, 23656378 edges, 163616 markings/sec, 70 secs
lola: 13695362 markings, 25144929 edges, 164308 markings/sec, 75 secs
lola: 14467476 markings, 26642832 edges, 154423 markings/sec, 80 secs
lola: 15286370 markings, 28107455 edges, 163779 markings/sec, 85 secs
lola: 16053645 markings, 29585700 edges, 153455 markings/sec, 90 secs
lola: 16857103 markings, 31048749 edges, 160692 markings/sec, 95 secs
lola: 17632538 markings, 32503240 edges, 155087 markings/sec, 100 secs
lola: 18410250 markings, 33966464 edges, 155542 markings/sec, 105 secs
lola: 19211407 markings, 35412782 edges, 160231 markings/sec, 110 secs
lola: 19963972 markings, 36878416 edges, 150513 markings/sec, 115 secs
lola: 20771303 markings, 38318227 edges, 161466 markings/sec, 120 secs
lola: 21525822 markings, 39774676 edges, 150904 markings/sec, 125 secs
lola: 22319826 markings, 41217808 edges, 158801 markings/sec, 130 secs
lola: 23081389 markings, 42653283 edges, 152313 markings/sec, 135 secs
lola: 23854274 markings, 44097798 edges, 154577 markings/sec, 140 secs
lola: 24638743 markings, 45522399 edges, 156894 markings/sec, 145 secs
lola: 25387712 markings, 46969523 edges, 149794 markings/sec, 150 secs
lola: 26183514 markings, 48387955 edges, 159160 markings/sec, 155 secs
lola: 26919292 markings, 49832104 edges, 147156 markings/sec, 160 secs
lola: 27721313 markings, 51265817 edges, 160404 markings/sec, 165 secs
lola: 28472262 markings, 52700535 edges, 150190 markings/sec, 170 secs
lola: 29249252 markings, 54135170 edges, 155398 markings/sec, 175 secs
lola: 30019092 markings, 55553867 edges, 153968 markings/sec, 180 secs
lola: 30772478 markings, 56981023 edges, 150677 markings/sec, 185 secs
lola: 31552934 markings, 58385884 edges, 156091 markings/sec, 190 secs
lola: 32282748 markings, 59808121 edges, 145963 markings/sec, 195 secs
lola: 33067125 markings, 61203940 edges, 156875 markings/sec, 200 secs
lola: 33787994 markings, 62618631 edges, 144174 markings/sec, 205 secs
lola: 34570023 markings, 64016148 edges, 156406 markings/sec, 210 secs
lola: 35301561 markings, 65414392 edges, 146308 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(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1024628 markings, 1340511 edges, 204926 markings/sec, 0 secs
lola: 2036292 markings, 2673890 edges, 202333 markings/sec, 5 secs
lola: 3002872 markings, 3947371 edges, 193316 markings/sec, 10 secs
lola: 3951026 markings, 5202156 edges, 189631 markings/sec, 15 secs
lola: 4878798 markings, 6422726 edges, 185554 markings/sec, 20 secs
lola: 5783058 markings, 7611632 edges, 180852 markings/sec, 25 secs
lola: 6737758 markings, 8865672 edges, 190940 markings/sec, 30 secs
lola: 7695709 markings, 10114544 edges, 191590 markings/sec, 35 secs
lola: 8630392 markings, 11331824 edges, 186937 markings/sec, 40 secs
lola: 9585591 markings, 12561716 edges, 191040 markings/sec, 45 secs
lola: 10534466 markings, 13807394 edges, 189775 markings/sec, 50 secs
lola: 11552451 markings, 15142828 edges, 203597 markings/sec, 55 secs
lola: 12512340 markings, 16406783 edges, 191978 markings/sec, 60 secs
lola: 13430221 markings, 17611560 edges, 183576 markings/sec, 65 secs
lola: 14374297 markings, 18837774 edges, 188815 markings/sec, 70 secs
lola: 15318770 markings, 20076385 edges, 188895 markings/sec, 75 secs
lola: 16197413 markings, 21237155 edges, 175729 markings/sec, 80 secs
lola: 17185741 markings, 22646329 edges, 197666 markings/sec, 85 secs
lola: 18092761 markings, 23935086 edges, 181404 markings/sec, 90 secs
lola: 19024775 markings, 25251885 edges, 186403 markings/sec, 95 secs
lola: 19901287 markings, 26414282 edges, 175302 markings/sec, 100 secs
lola: 20779023 markings, 27676714 edges, 175547 markings/sec, 105 secs
lola: 21788975 markings, 29020456 edges, 201990 markings/sec, 110 secs
lola: 22811166 markings, 30374748 edges, 204438 markings/sec, 115 secs
lola: 23795231 markings, 31683168 edges, 196813 markings/sec, 120 secs
lola: 24757572 markings, 32958570 edges, 192468 markings/sec, 125 secs
lola: 25692777 markings, 34197286 edges, 187041 markings/sec, 130 secs
lola: 26602381 markings, 35403266 edges, 181921 markings/sec, 135 secs
lola: 27571040 markings, 36685451 edges, 193732 markings/sec, 140 secs
lola: 28530510 markings, 37953181 edges, 191894 markings/sec, 145 secs
lola: 29483764 markings, 39210567 edges, 190651 markings/sec, 150 secs
lola: 30404128 markings, 40427579 edges, 184073 markings/sec, 155 secs
lola: 31394964 markings, 41748201 edges, 198167 markings/sec, 160 secs
lola: 32404040 markings, 43124990 edges, 201815 markings/sec, 165 secs
lola: 33357586 markings, 44427671 edges, 190709 markings/sec, 170 secs
lola: 34266218 markings, 45658238 edges, 181726 markings/sec, 175 secs
lola: 35255445 markings, 46981052 edges, 197845 markings/sec, 180 secs
lola: 36148306 markings, 48195688 edges, 178572 markings/sec, 185 secs
lola: 37080151 markings, 49569438 edges, 186369 markings/sec, 190 secs
lola: 37991548 markings, 50992195 edges, 182279 markings/sec, 195 secs
lola: 38858134 markings, 52324619 edges, 173317 markings/sec, 200 secs
lola: 39739852 markings, 53648271 edges, 176344 markings/sec, 205 secs
lola: 40619678 markings, 55001190 edges, 175965 markings/sec, 210 secs
lola: 41475630 markings, 56476101 edges, 171190 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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 767779 markings, 1565632 edges, 153556 markings/sec, 0 secs
lola: 1522957 markings, 3086996 edges, 151036 markings/sec, 5 secs
lola: 2281727 markings, 4635885 edges, 151754 markings/sec, 10 secs
lola: 3043564 markings, 6188872 edges, 152367 markings/sec, 15 secs
lola: 3809410 markings, 7730840 edges, 153169 markings/sec, 20 secs
lola: 4570144 markings, 9284315 edges, 152147 markings/sec, 25 secs
lola: 5331861 markings, 10837193 edges, 152343 markings/sec, 30 secs
lola: 6099814 markings, 12384333 edges, 153591 markings/sec, 35 secs
lola: 6872121 markings, 13960870 edges, 154461 markings/sec, 40 secs
lola: 7660470 markings, 15556881 edges, 157670 markings/sec, 45 secs
lola: 8365301 markings, 17048837 edges, 140966 markings/sec, 50 secs
lola: 9108123 markings, 18606198 edges, 148564 markings/sec, 55 secs
lola: 9855878 markings, 20148480 edges, 149551 markings/sec, 60 secs
lola: 10624893 markings, 21717069 edges, 153803 markings/sec, 65 secs
lola: 11399707 markings, 23322003 edges, 154963 markings/sec, 70 secs
lola: 12113594 markings, 24876002 edges, 142777 markings/sec, 75 secs
lola: 12899081 markings, 26482000 edges, 157097 markings/sec, 80 secs
lola: 13638267 markings, 28044890 edges, 147837 markings/sec, 85 secs
lola: 14364533 markings, 29574836 edges, 145253 markings/sec, 90 secs
lola: 15131311 markings, 31070176 edges, 153356 markings/sec, 95 secs
lola: 15867499 markings, 32590885 edges, 147238 markings/sec, 100 secs
lola: 16614576 markings, 34155559 edges, 149415 markings/sec, 105 secs
lola: 17312100 markings, 35670441 edges, 139505 markings/sec, 110 secs
lola: 18095765 markings, 37233276 edges, 156733 markings/sec, 115 secs
lola: 18844111 markings, 38801359 edges, 149669 markings/sec, 120 secs
lola: 19564732 markings, 40326530 edges, 144124 markings/sec, 125 secs
lola: 20309039 markings, 41817653 edges, 148861 markings/sec, 130 secs
lola: 21049415 markings, 43308003 edges, 148075 markings/sec, 135 secs
lola: 21797975 markings, 44891120 edges, 149712 markings/sec, 140 secs
lola: 22525872 markings, 46418769 edges, 145579 markings/sec, 145 secs
lola: 23275159 markings, 47947842 edges, 149857 markings/sec, 150 secs
lola: 24028328 markings, 49518141 edges, 150634 markings/sec, 155 secs
lola: 24741570 markings, 51048264 edges, 142648 markings/sec, 160 secs
lola: 25468369 markings, 52544847 edges, 145360 markings/sec, 165 secs
lola: 26212373 markings, 54023914 edges, 148801 markings/sec, 170 secs
lola: 26954044 markings, 55543134 edges, 148334 markings/sec, 175 secs
lola: 27695208 markings, 57081697 edges, 148233 markings/sec, 180 secs
lola: 28375626 markings, 58580800 edges, 136084 markings/sec, 185 secs
lola: 29159198 markings, 60131569 edges, 156714 markings/sec, 190 secs
lola: 29900039 markings, 61683851 edges, 148168 markings/sec, 195 secs
lola: 30606291 markings, 63175291 edges, 141250 markings/sec, 200 secs
lola: 31345746 markings, 64652763 edges, 147891 markings/sec, 205 secs
lola: 32075243 markings, 66126682 edges, 145899 markings/sec, 210 secs
lola: 32815628 markings, 67693212 edges, 148077 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(p248)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 879814 markings, 1574198 edges, 175963 markings/sec, 0 secs
lola: 1781689 markings, 3177054 edges, 180375 markings/sec, 5 secs
lola: 2720224 markings, 4790601 edges, 187707 markings/sec, 10 secs
lola: 3587080 markings, 6402539 edges, 173371 markings/sec, 15 secs
lola: 4473187 markings, 7993311 edges, 177221 markings/sec, 20 secs
lola: 5324226 markings, 9583861 edges, 170208 markings/sec, 25 secs
lola: 6162316 markings, 11174180 edges, 167618 markings/sec, 30 secs
lola: 7043269 markings, 12756563 edges, 176191 markings/sec, 35 secs
lola: 7851519 markings, 14313026 edges, 161650 markings/sec, 40 secs
lola: 8695454 markings, 15866924 edges, 168787 markings/sec, 45 secs
lola: 9540272 markings, 17414022 edges, 168964 markings/sec, 50 secs
lola: 10343392 markings, 18961445 edges, 160624 markings/sec, 55 secs
lola: 11205283 markings, 20510753 edges, 172378 markings/sec, 60 secs
lola: 12008339 markings, 22049557 edges, 160611 markings/sec, 65 secs
lola: 12837655 markings, 23583393 edges, 165863 markings/sec, 70 secs
lola: 13662271 markings, 25089131 edges, 164923 markings/sec, 75 secs
lola: 14447041 markings, 26604106 edges, 156954 markings/sec, 80 secs
lola: 15277687 markings, 28086996 edges, 166129 markings/sec, 85 secs
lola: 16056760 markings, 29590013 edges, 155815 markings/sec, 90 secs
lola: 16868968 markings, 31071798 edges, 162442 markings/sec, 95 secs
lola: 17659594 markings, 32549223 edges, 158125 markings/sec, 100 secs
lola: 18448452 markings, 34037280 edges, 157772 markings/sec, 105 secs
lola: 19264219 markings, 35504272 edges, 163153 markings/sec, 110 secs
lola: 20025038 markings, 36993168 edges, 152164 markings/sec, 115 secs
lola: 20839998 markings, 38455260 edges, 162992 markings/sec, 120 secs
lola: 21604025 markings, 39913081 edges, 152805 markings/sec, 125 secs
lola: 22394183 markings, 41369602 edges, 158032 markings/sec, 130 secs
lola: 23179013 markings, 42817123 edges, 156966 markings/sec, 135 secs
lola: 23948612 markings, 44282351 edges, 153920 markings/sec, 140 secs
lola: 24754862 markings, 45725326 edges, 161250 markings/sec, 145 secs
lola: 25502166 markings, 47190177 edges, 149461 markings/sec, 150 secs
lola: 26305776 markings, 48629085 edges, 160722 markings/sec, 155 secs
lola: 27060193 markings, 50072828 edges, 150883 markings/sec, 160 secs
lola: 27846102 markings, 51513093 edges, 157182 markings/sec, 165 secs
lola: 28612411 markings, 52939820 edges, 153262 markings/sec, 170 secs
lola: 29372861 markings, 54377248 edges, 152090 markings/sec, 175 secs
lola: 30159852 markings, 55797439 edges, 157398 markings/sec, 180 secs
lola: 30899448 markings, 57232193 edges, 147919 markings/sec, 185 secs
lola: 31689178 markings, 58641928 edges, 157946 markings/sec, 190 secs
lola: 32418269 markings, 60068442 edges, 145818 markings/sec, 195 secs
lola: 33192083 markings, 61449835 edges, 154763 markings/sec, 200 secs
lola: 33916416 markings, 62837584 edges, 144867 markings/sec, 205 secs
lola: 34677719 markings, 64226771 edges, 152261 markings/sec, 210 secs
lola: 35413185 markings, 65611198 edges, 147093 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(p291)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 899572 markings, 1585507 edges, 179914 markings/sec, 0 secs
lola: 1605826 markings, 3201340 edges, 141251 markings/sec, 5 secs
lola: 2292738 markings, 4799530 edges, 137382 markings/sec, 10 secs
lola: 2949134 markings, 6379748 edges, 131279 markings/sec, 15 secs
lola: 3576494 markings, 7907926 edges, 125472 markings/sec, 20 secs
lola: 4217828 markings, 9483949 edges, 128267 markings/sec, 25 secs
lola: 4834340 markings, 11050015 edges, 123302 markings/sec, 30 secs
lola: 5448349 markings, 12552477 edges, 122802 markings/sec, 35 secs
lola: 6075449 markings, 14092679 edges, 125420 markings/sec, 40 secs
lola: 6656193 markings, 15633758 edges, 116149 markings/sec, 45 secs
lola: 7266092 markings, 17185816 edges, 121980 markings/sec, 50 secs
lola: 7874033 markings, 18681038 edges, 121588 markings/sec, 55 secs
lola: 8493549 markings, 20213512 edges, 123903 markings/sec, 60 secs
lola: 9067107 markings, 21739185 edges, 114712 markings/sec, 65 secs
lola: 9670125 markings, 23281724 edges, 120604 markings/sec, 70 secs
lola: 10274661 markings, 24763842 edges, 120907 markings/sec, 75 secs
lola: 10895716 markings, 26288130 edges, 124211 markings/sec, 80 secs
lola: 11461790 markings, 27803172 edges, 113215 markings/sec, 85 secs
lola: 12057453 markings, 29328285 edges, 119133 markings/sec, 90 secs
lola: 12654566 markings, 30802034 edges, 119423 markings/sec, 95 secs
lola: 13279145 markings, 32315499 edges, 124916 markings/sec, 100 secs
lola: 13848044 markings, 33836399 edges, 113780 markings/sec, 105 secs
lola: 14432237 markings, 35331809 edges, 116839 markings/sec, 110 secs
lola: 15019334 markings, 36794912 edges, 117419 markings/sec, 115 secs
lola: 15631004 markings, 38287553 edges, 122334 markings/sec, 120 secs
lola: 16205711 markings, 39802098 edges, 114941 markings/sec, 125 secs
lola: 16786159 markings, 41281462 edges, 116090 markings/sec, 130 secs
lola: 17376719 markings, 42762341 edges, 118112 markings/sec, 135 secs
lola: 17960100 markings, 44206320 edges, 116676 markings/sec, 140 secs
lola: 18542847 markings, 45700200 edges, 116549 markings/sec, 145 secs
lola: 19099603 markings, 47161233 edges, 111351 markings/sec, 150 secs
lola: 19700088 markings, 48650370 edges, 120097 markings/sec, 155 secs
lola: 20250339 markings, 50057804 edges, 110050 markings/sec, 160 secs
lola: 20852504 markings, 51535526 edges, 120433 markings/sec, 165 secs
lola: 21398907 markings, 52985114 edges, 109281 markings/sec, 170 secs
lola: 21978347 markings, 54446795 edges, 115888 markings/sec, 175 secs
lola: 22541454 markings, 55847782 edges, 112621 markings/sec, 180 secs
lola: 23138860 markings, 57313517 edges, 119481 markings/sec, 185 secs
lola: 23683829 markings, 58762207 edges, 108994 markings/sec, 190 secs
lola: 24254319 markings, 60218447 edges, 114098 markings/sec, 195 secs
lola: 24822894 markings, 61622076 edges, 113715 markings/sec, 200 secs
lola: 25414760 markings, 63053151 edges, 118373 markings/sec, 205 secs
lola: 25961290 markings, 64513856 edges, 109306 markings/sec, 210 secs
lola: 26519249 markings, 65936041 edges, 111592 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 921204 markings, 1208833 edges, 184241 markings/sec, 0 secs
lola: 1859304 markings, 2432778 edges, 187620 markings/sec, 5 secs
lola: 2794961 markings, 3655385 edges, 187131 markings/sec, 10 secs
lola: 3737502 markings, 4871500 edges, 188508 markings/sec, 15 secs
lola: 4645573 markings, 6159163 edges, 181614 markings/sec, 20 secs
lola: 5564293 markings, 7395739 edges, 183744 markings/sec, 25 secs
lola: 6493929 markings, 8636011 edges, 185927 markings/sec, 30 secs
lola: 7469013 markings, 9930731 edges, 195017 markings/sec, 35 secs
lola: 8421947 markings, 11196493 edges, 190587 markings/sec, 40 secs
lola: 9380429 markings, 12475343 edges, 191696 markings/sec, 45 secs
lola: 10287504 markings, 13795541 edges, 181415 markings/sec, 50 secs
lola: 11204907 markings, 15089694 edges, 183481 markings/sec, 55 secs
lola: 12041591 markings, 16470315 edges, 167337 markings/sec, 60 secs
lola: 12931330 markings, 17770788 edges, 177948 markings/sec, 65 secs
lola: 13808176 markings, 19005319 edges, 175369 markings/sec, 70 secs
lola: 14783590 markings, 20279352 edges, 195083 markings/sec, 75 secs
lola: 15733511 markings, 21538862 edges, 189984 markings/sec, 80 secs
lola: 16680587 markings, 22799727 edges, 189415 markings/sec, 85 secs
lola: 17561259 markings, 24136071 edges, 176134 markings/sec, 90 secs
lola: 18474578 markings, 25433587 edges, 182664 markings/sec, 95 secs
lola: 19417815 markings, 26731974 edges, 188647 markings/sec, 100 secs
lola: 20419827 markings, 28060802 edges, 200402 markings/sec, 105 secs
lola: 21387689 markings, 29416605 edges, 193572 markings/sec, 110 secs
lola: 22329422 markings, 30802124 edges, 188347 markings/sec, 115 secs
lola: 23227351 markings, 32225596 edges, 179586 markings/sec, 120 secs
lola: 24087096 markings, 33691722 edges, 171949 markings/sec, 125 secs
lola: 24939247 markings, 35117472 edges, 170430 markings/sec, 130 secs
lola: 25825887 markings, 36476744 edges, 177328 markings/sec, 135 secs
lola: 26685752 markings, 37901507 edges, 171973 markings/sec, 140 secs
lola: 27537092 markings, 39490114 edges, 170268 markings/sec, 145 secs
lola: 28356448 markings, 41043074 edges, 163871 markings/sec, 150 secs
lola: 29130303 markings, 42614643 edges, 154771 markings/sec, 155 secs
lola: 29990251 markings, 43973403 edges, 171990 markings/sec, 160 secs
lola: 30879417 markings, 45246191 edges, 177833 markings/sec, 165 secs
lola: 31733462 markings, 46684919 edges, 170809 markings/sec, 170 secs
lola: 32559705 markings, 48144704 edges, 165249 markings/sec, 175 secs
lola: 33450853 markings, 49619160 edges, 178230 markings/sec, 180 secs
lola: 34356435 markings, 51132002 edges, 181116 markings/sec, 185 secs
lola: 35253482 markings, 52633538 edges, 179409 markings/sec, 190 secs
lola: 36088335 markings, 54177785 edges, 166971 markings/sec, 195 secs
lola: 36928114 markings, 55693740 edges, 167956 markings/sec, 200 secs
lola: 37719363 markings, 57237537 edges, 158250 markings/sec, 205 secs
lola: 38529176 markings, 58727105 edges, 161963 markings/sec, 210 secs
lola: 39331978 markings, 60329769 edges, 160560 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1217834 markings, 1678966 edges, 243567 markings/sec, 0 secs
lola: 2400176 markings, 3354510 edges, 236468 markings/sec, 5 secs
lola: 3537534 markings, 4994291 edges, 227472 markings/sec, 10 secs
lola: 4664928 markings, 6607999 edges, 225479 markings/sec, 15 secs
lola: 5782617 markings, 8207193 edges, 223538 markings/sec, 20 secs
lola: 6874683 markings, 9783825 edges, 218413 markings/sec, 25 secs
lola: 7972592 markings, 11348025 edges, 219582 markings/sec, 30 secs
lola: 9036062 markings, 12880265 edges, 212694 markings/sec, 35 secs
lola: 10103899 markings, 14409883 edges, 213567 markings/sec, 40 secs
lola: 11160633 markings, 15933775 edges, 211347 markings/sec, 45 secs
lola: 12222807 markings, 17452354 edges, 212435 markings/sec, 50 secs
lola: 13270750 markings, 18957088 edges, 209589 markings/sec, 55 secs
lola: 14319705 markings, 20453395 edges, 209791 markings/sec, 60 secs
lola: 15356990 markings, 21947806 edges, 207457 markings/sec, 65 secs
lola: 16389600 markings, 23437156 edges, 206522 markings/sec, 70 secs
lola: 17428486 markings, 24918291 edges, 207777 markings/sec, 75 secs
lola: 18443551 markings, 26381074 edges, 203013 markings/sec, 80 secs
lola: 19463649 markings, 27838645 edges, 204020 markings/sec, 85 secs
lola: 20476108 markings, 29295134 edges, 202492 markings/sec, 90 secs
lola: 21477952 markings, 30739432 edges, 200369 markings/sec, 95 secs
lola: 22476000 markings, 32172537 edges, 199610 markings/sec, 100 secs
lola: 23475825 markings, 33597325 edges, 199965 markings/sec, 105 secs
lola: 24460967 markings, 35016038 edges, 197028 markings/sec, 110 secs
lola: 25447247 markings, 36428988 edges, 197256 markings/sec, 115 secs
lola: 26431600 markings, 37838521 edges, 196871 markings/sec, 120 secs
lola: 27412295 markings, 39246574 edges, 196139 markings/sec, 125 secs
lola: 28380327 markings, 40644998 edges, 193606 markings/sec, 130 secs
lola: 29359424 markings, 42050174 edges, 195819 markings/sec, 135 secs
lola: 30343867 markings, 43451153 edges, 196889 markings/sec, 140 secs
lola: 31308150 markings, 44839308 edges, 192857 markings/sec, 145 secs
lola: 32270416 markings, 46221041 edges, 192453 markings/sec, 150 secs
lola: 33229197 markings, 47592203 edges, 191756 markings/sec, 155 secs
lola: 34180089 markings, 48957003 edges, 190178 markings/sec, 160 secs
lola: 35122350 markings, 50311667 edges, 188452 markings/sec, 165 secs
lola: 36050153 markings, 51646030 edges, 185561 markings/sec, 170 secs
lola: 36966134 markings, 52965338 edges, 183196 markings/sec, 175 secs
lola: 37879082 markings, 54275831 edges, 182590 markings/sec, 180 secs
lola: 38793778 markings, 55583610 edges, 182939 markings/sec, 185 secs
lola: 39710494 markings, 56898113 edges, 183343 markings/sec, 190 secs
lola: 40606426 markings, 58246980 edges, 179186 markings/sec, 195 secs
lola: 41723367 markings, 59854822 edges, 223388 markings/sec, 200 secs
lola: 42905117 markings, 61515417 edges, 236350 markings/sec, 205 secs
lola: 44063791 markings, 63162756 edges, 231735 markings/sec, 210 secs
lola: 45211255 markings, 64809791 edges, 229493 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 830786 markings, 1573047 edges, 166157 markings/sec, 0 secs
lola: 1572610 markings, 3106501 edges, 148365 markings/sec, 5 secs
lola: 2272516 markings, 4630518 edges, 139981 markings/sec, 10 secs
lola: 2981982 markings, 6102169 edges, 141893 markings/sec, 15 secs
lola: 3667982 markings, 7603571 edges, 137200 markings/sec, 20 secs
lola: 4379893 markings, 9083261 edges, 142382 markings/sec, 25 secs
lola: 5069383 markings, 10599851 edges, 137898 markings/sec, 30 secs
lola: 5786723 markings, 12088626 edges, 143468 markings/sec, 35 secs
lola: 6608581 markings, 13638191 edges, 164372 markings/sec, 40 secs
lola: 7324577 markings, 15147042 edges, 143199 markings/sec, 45 secs
lola: 8020027 markings, 16689557 edges, 139090 markings/sec, 50 secs
lola: 8722707 markings, 18130031 edges, 140536 markings/sec, 55 secs
lola: 9420833 markings, 19633986 edges, 139625 markings/sec, 60 secs
lola: 10078678 markings, 21121634 edges, 131569 markings/sec, 65 secs
lola: 10759557 markings, 22599160 edges, 136176 markings/sec, 70 secs
lola: 11418376 markings, 24002192 edges, 131764 markings/sec, 75 secs
lola: 12106938 markings, 25501285 edges, 137712 markings/sec, 80 secs
lola: 12768765 markings, 26981327 edges, 132365 markings/sec, 85 secs
lola: 13427072 markings, 28465491 edges, 131661 markings/sec, 90 secs
lola: 14119455 markings, 29882188 edges, 138477 markings/sec, 95 secs
lola: 14792371 markings, 31386232 edges, 134583 markings/sec, 100 secs
lola: 15478055 markings, 32872643 edges, 137137 markings/sec, 105 secs
lola: 16116636 markings, 34349719 edges, 127716 markings/sec, 110 secs
lola: 16834889 markings, 35838208 edges, 143651 markings/sec, 115 secs
lola: 17525768 markings, 37311026 edges, 138176 markings/sec, 120 secs
lola: 18271673 markings, 38842556 edges, 149181 markings/sec, 125 secs
lola: 18968616 markings, 40345553 edges, 139389 markings/sec, 130 secs
lola: 19606716 markings, 41817857 edges, 127620 markings/sec, 135 secs
lola: 20253211 markings, 43279669 edges, 129299 markings/sec, 140 secs
lola: 20874061 markings, 44718208 edges, 124170 markings/sec, 145 secs
lola: 21495487 markings, 46202596 edges, 124285 markings/sec, 150 secs
lola: 22134091 markings, 47642011 edges, 127721 markings/sec, 155 secs
lola: 22776208 markings, 49143977 edges, 128423 markings/sec, 160 secs
lola: 23449210 markings, 50620253 edges, 134600 markings/sec, 165 secs
lola: 24129776 markings, 52108488 edges, 136113 markings/sec, 170 secs
lola: 24935146 markings, 53640679 edges, 161074 markings/sec, 175 secs
lola: 25644396 markings, 55141722 edges, 141850 markings/sec, 180 secs
lola: 26371191 markings, 56675689 edges, 145359 markings/sec, 185 secs
lola: 27040984 markings, 58160663 edges, 133959 markings/sec, 190 secs
lola: 27694145 markings, 59552549 edges, 130632 markings/sec, 195 secs
lola: 28395569 markings, 61045876 edges, 140285 markings/sec, 200 secs
lola: 29078583 markings, 62523886 edges, 136603 markings/sec, 205 secs
lola: 29701026 markings, 63964856 edges, 124489 markings/sec, 210 secs
lola: 30384695 markings, 65356687 edges, 136734 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p104)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 767105 markings, 1563771 edges, 153421 markings/sec, 0 secs
lola: 1518501 markings, 3078304 edges, 150279 markings/sec, 5 secs
lola: 2269117 markings, 4607229 edges, 150123 markings/sec, 10 secs
lola: 3028437 markings, 6155310 edges, 151864 markings/sec, 15 secs
lola: 3786108 markings, 7689475 edges, 151534 markings/sec, 20 secs
lola: 4547024 markings, 9233480 edges, 152183 markings/sec, 25 secs
lola: 5315528 markings, 10800434 edges, 153701 markings/sec, 30 secs
lola: 6083194 markings, 12351953 edges, 153533 markings/sec, 35 secs
lola: 6857932 markings, 13929906 edges, 154948 markings/sec, 40 secs
lola: 7651452 markings, 15536478 edges, 158704 markings/sec, 45 secs
lola: 8354582 markings, 17018557 edges, 140626 markings/sec, 50 secs
lola: 9090857 markings, 18566881 edges, 147255 markings/sec, 55 secs
lola: 9826436 markings, 20094900 edges, 147116 markings/sec, 60 secs
lola: 10591662 markings, 21641000 edges, 153045 markings/sec, 65 secs
lola: 11353656 markings, 23233762 edges, 152399 markings/sec, 70 secs
lola: 12052382 markings, 24778404 edges, 139745 markings/sec, 75 secs
lola: 12845786 markings, 26369655 edges, 158681 markings/sec, 80 secs
lola: 13584975 markings, 27938259 edges, 147838 markings/sec, 85 secs
lola: 14307462 markings, 29457901 edges, 144497 markings/sec, 90 secs
lola: 15068268 markings, 30941894 edges, 152161 markings/sec, 95 secs
lola: 15793458 markings, 32431993 edges, 145038 markings/sec, 100 secs
lola: 16533933 markings, 33995659 edges, 148095 markings/sec, 105 secs
lola: 17235132 markings, 35495300 edges, 140240 markings/sec, 110 secs
lola: 18005106 markings, 37036417 edges, 153995 markings/sec, 115 secs
lola: 18745515 markings, 38586360 edges, 148082 markings/sec, 120 secs
lola: 19457871 markings, 40102541 edges, 142471 markings/sec, 125 secs
lola: 20184428 markings, 41586752 edges, 145311 markings/sec, 130 secs
lola: 20905499 markings, 43044084 edges, 144214 markings/sec, 135 secs
lola: 21645697 markings, 44572012 edges, 148040 markings/sec, 140 secs
lola: 22372472 markings, 46068948 edges, 145355 markings/sec, 145 secs
lola: 23067008 markings, 47549340 edges, 138907 markings/sec, 150 secs
lola: 23825930 markings, 49099102 edges, 151784 markings/sec, 155 secs
lola: 24546087 markings, 50621652 edges, 144031 markings/sec, 160 secs
lola: 25238342 markings, 52090011 edges, 138451 markings/sec, 165 secs
lola: 25973669 markings, 53533367 edges, 147065 markings/sec, 170 secs
lola: 26690237 markings, 54978489 edges, 143314 markings/sec, 175 secs
lola: 27427078 markings, 56523850 edges, 147368 markings/sec, 180 secs
lola: 28114885 markings, 57998885 edges, 137561 markings/sec, 185 secs
lola: 28861710 markings, 59498567 edges, 149365 markings/sec, 190 secs
lola: 29585138 markings, 61021428 edges, 144686 markings/sec, 195 secs
lola: 30280656 markings, 62509321 edges, 139104 markings/sec, 200 secs
lola: 30987681 markings, 63970606 edges, 141405 markings/sec, 205 secs
lola: 31711319 markings, 65404407 edges, 144728 markings/sec, 210 secs
lola: 32428232 markings, 66872028 edges, 143383 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 834932 markings, 1587339 edges, 166986 markings/sec, 0 secs
lola: 1603934 markings, 3169383 edges, 153800 markings/sec, 5 secs
lola: 2404555 markings, 4712554 edges, 160124 markings/sec, 10 secs
lola: 3147415 markings, 6267336 edges, 148572 markings/sec, 15 secs
lola: 3869960 markings, 7842865 edges, 144509 markings/sec, 20 secs
lola: 4614487 markings, 9372911 edges, 148905 markings/sec, 25 secs
lola: 5363866 markings, 10917443 edges, 149876 markings/sec, 30 secs
lola: 6087203 markings, 12482682 edges, 144667 markings/sec, 35 secs
lola: 6784539 markings, 14017430 edges, 139467 markings/sec, 40 secs
lola: 7572029 markings, 15548027 edges, 157498 markings/sec, 45 secs
lola: 8328130 markings, 17085624 edges, 151220 markings/sec, 50 secs
lola: 9041718 markings, 18614782 edges, 142718 markings/sec, 55 secs
lola: 9751406 markings, 20154391 edges, 141938 markings/sec, 60 secs
lola: 10482493 markings, 21654191 edges, 146217 markings/sec, 65 secs
lola: 11219878 markings, 23176242 edges, 147477 markings/sec, 70 secs
lola: 11943205 markings, 24733920 edges, 144665 markings/sec, 75 secs
lola: 12639856 markings, 26267487 edges, 139330 markings/sec, 80 secs
lola: 13410203 markings, 27782101 edges, 154069 markings/sec, 85 secs
lola: 14161282 markings, 29306421 edges, 150216 markings/sec, 90 secs
lola: 14875738 markings, 30827127 edges, 142891 markings/sec, 95 secs
lola: 15579575 markings, 32363692 edges, 140767 markings/sec, 100 secs
lola: 16317391 markings, 33871415 edges, 147563 markings/sec, 105 secs
lola: 17047348 markings, 35378526 edges, 145991 markings/sec, 110 secs
lola: 17767033 markings, 36925474 edges, 143937 markings/sec, 115 secs
lola: 18465046 markings, 38450528 edges, 139603 markings/sec, 120 secs
lola: 19222427 markings, 39955050 edges, 151476 markings/sec, 125 secs
lola: 19958668 markings, 41464631 edges, 147248 markings/sec, 130 secs
lola: 20677774 markings, 42964394 edges, 143821 markings/sec, 135 secs
lola: 21383115 markings, 44488735 edges, 141068 markings/sec, 140 secs
lola: 22098759 markings, 46001752 edges, 143129 markings/sec, 145 secs
lola: 22801657 markings, 47468940 edges, 140580 markings/sec, 150 secs
lola: 23539656 markings, 49001647 edges, 147600 markings/sec, 155 secs
lola: 24255018 markings, 50538648 edges, 143072 markings/sec, 160 secs
lola: 24981707 markings, 52044324 edges, 145338 markings/sec, 165 secs
lola: 25744076 markings, 53553090 edges, 152474 markings/sec, 170 secs
lola: 26448049 markings, 55051788 edges, 140795 markings/sec, 175 secs
lola: 27164848 markings, 56571812 edges, 143360 markings/sec, 180 secs
lola: 27857621 markings, 58093942 edges, 138555 markings/sec, 185 secs
lola: 28550880 markings, 59551029 edges, 138652 markings/sec, 190 secs
lola: 29318296 markings, 61082672 edges, 153483 markings/sec, 195 secs
lola: 30021251 markings, 62623088 edges, 140591 markings/sec, 200 secs
lola: 30709531 markings, 64106774 edges, 137656 markings/sec, 205 secs
lola: 31501431 markings, 65603406 edges, 158380 markings/sec, 210 secs
lola: 32203927 markings, 67095724 edges, 140499 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 868018 markings, 1600576 edges, 173604 markings/sec, 0 secs
lola: 1633028 markings, 3184086 edges, 153002 markings/sec, 5 secs
lola: 2351189 markings, 4742221 edges, 143632 markings/sec, 10 secs
lola: 3079300 markings, 6259806 edges, 145622 markings/sec, 15 secs
lola: 3789372 markings, 7810142 edges, 142014 markings/sec, 20 secs
lola: 4506340 markings, 9300784 edges, 143394 markings/sec, 25 secs
lola: 5193388 markings, 10812852 edges, 137410 markings/sec, 30 secs
lola: 5907419 markings, 12293086 edges, 142806 markings/sec, 35 secs
lola: 6596324 markings, 13814071 edges, 137781 markings/sec, 40 secs
lola: 7305416 markings, 15280331 edges, 141818 markings/sec, 45 secs
lola: 7988468 markings, 16791760 edges, 136610 markings/sec, 50 secs
lola: 8697823 markings, 18256773 edges, 141871 markings/sec, 55 secs
lola: 9380845 markings, 19770508 edges, 136604 markings/sec, 60 secs
lola: 10079258 markings, 21209072 edges, 139683 markings/sec, 65 secs
lola: 10757243 markings, 22710179 edges, 135597 markings/sec, 70 secs
lola: 11459788 markings, 24161432 edges, 140509 markings/sec, 75 secs
lola: 12134705 markings, 25652683 edges, 134983 markings/sec, 80 secs
lola: 12832714 markings, 27097604 edges, 139602 markings/sec, 85 secs
lola: 13505829 markings, 28582817 edges, 134623 markings/sec, 90 secs
lola: 14197926 markings, 30019796 edges, 138419 markings/sec, 95 secs
lola: 14871025 markings, 31500219 edges, 134620 markings/sec, 100 secs
lola: 15558725 markings, 32933388 edges, 137540 markings/sec, 105 secs
lola: 16231798 markings, 34412334 edges, 134615 markings/sec, 110 secs
lola: 16920364 markings, 35844070 edges, 137713 markings/sec, 115 secs
lola: 17590363 markings, 37316048 edges, 134000 markings/sec, 120 secs
lola: 18275797 markings, 38742754 edges, 137087 markings/sec, 125 secs
lola: 18941429 markings, 40205747 edges, 133126 markings/sec, 130 secs
lola: 19621058 markings, 41623597 edges, 135926 markings/sec, 135 secs
lola: 20288089 markings, 43077487 edges, 133406 markings/sec, 140 secs
lola: 20967993 markings, 44493097 edges, 135981 markings/sec, 145 secs
lola: 21631335 markings, 45941633 edges, 132668 markings/sec, 150 secs
lola: 22308342 markings, 47353789 edges, 135401 markings/sec, 155 secs
lola: 22970287 markings, 48804856 edges, 132389 markings/sec, 160 secs
lola: 23646091 markings, 50212988 edges, 135161 markings/sec, 165 secs
lola: 24302457 markings, 51644711 edges, 131273 markings/sec, 170 secs
lola: 24973239 markings, 53051949 edges, 134156 markings/sec, 175 secs
lola: 25632853 markings, 54484978 edges, 131923 markings/sec, 180 secs
lola: 26297087 markings, 55878839 edges, 132847 markings/sec, 185 secs
lola: 26952819 markings, 57297267 edges, 131146 markings/sec, 190 secs
lola: 27609151 markings, 58704809 edges, 131266 markings/sec, 195 secs
lola: 28263210 markings, 60089352 edges, 130812 markings/sec, 200 secs
lola: 28911737 markings, 61507211 edges, 129705 markings/sec, 205 secs
lola: 29569458 markings, 62879247 edges, 131544 markings/sec, 210 secs
lola: 30206884 markings, 64294052 edges, 127485 markings/sec, 215 secs
lola: 30870256 markings, 65657082 edges, 132674 markings/sec, 220 secs
lola: 31504617 markings, 67059031 edges, 126872 markings/sec, 225 secs
lola: 32156775 markings, 68415710 edges, 130432 markings/sec, 230 secs
lola: 32788357 markings, 69808431 edges, 126316 markings/sec, 235 secs
lola: 33440236 markings, 71158505 edges, 130376 markings/sec, 240 secs
lola: 34078034 markings, 72549945 edges, 127560 markings/sec, 245 secs
lola: 34727611 markings, 73902644 edges, 129915 markings/sec, 250 secs
lola: 35359492 markings, 75279553 edges, 126376 markings/sec, 255 secs
lola: 36004720 markings, 76631574 edges, 129046 markings/sec, 260 secs
lola: 36637776 markings, 77999453 edges, 126611 markings/sec, 265 secs
lola: 37268768 markings, 79369852 edges, 126198 markings/sec, 270 secs
lola: 37909361 markings, 80707403 edges, 128119 markings/sec, 275 secs
lola: 38530967 markings, 82087400 edges, 124321 markings/sec, 280 secs
lola: 39179074 markings, 83419227 edges, 129621 markings/sec, 285 secs
lola: 39800838 markings, 84793389 edges, 124353 markings/sec, 290 secs
lola: 40436399 markings, 86117307 edges, 127112 markings/sec, 295 secs
lola: 41059952 markings, 87480749 edges, 124711 markings/sec, 300 secs
lola: 41698894 markings, 88806051 edges, 127788 markings/sec, 305 secs
lola: 42322322 markings, 90169702 edges, 124686 markings/sec, 310 secs
lola: 42956509 markings, 91490362 edges, 126837 markings/sec, 315 secs
lola: 43577289 markings, 92837314 edges, 124156 markings/sec, 320 secs
lola: 44193096 markings, 94172493 edges, 123161 markings/sec, 325 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 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 842060 markings, 1581505 edges, 168412 markings/sec, 0 secs
lola: 1700196 markings, 3195028 edges, 171627 markings/sec, 5 secs
lola: 2621540 markings, 4821624 edges, 184269 markings/sec, 10 secs
lola: 3530206 markings, 6472346 edges, 181733 markings/sec, 15 secs
lola: 4404476 markings, 8103008 edges, 174854 markings/sec, 20 secs
lola: 5259026 markings, 9726106 edges, 170910 markings/sec, 25 secs
lola: 6140656 markings, 11344017 edges, 176326 markings/sec, 30 secs
lola: 6960218 markings, 12953520 edges, 163912 markings/sec, 35 secs
lola: 7839061 markings, 14554377 edges, 175769 markings/sec, 40 secs
lola: 8648372 markings, 16149969 edges, 161862 markings/sec, 45 secs
lola: 9525342 markings, 17746415 edges, 175394 markings/sec, 50 secs
lola: 10341494 markings, 19323575 edges, 163230 markings/sec, 55 secs
lola: 11197005 markings, 20903535 edges, 171102 markings/sec, 60 secs
lola: 12011736 markings, 22474086 edges, 162946 markings/sec, 65 secs
lola: 12849681 markings, 24042707 edges, 167589 markings/sec, 70 secs
lola: 13674480 markings, 25593693 edges, 164960 markings/sec, 75 secs
lola: 14490027 markings, 27146527 edges, 163109 markings/sec, 80 secs
lola: 15314489 markings, 28674354 edges, 164892 markings/sec, 85 secs
lola: 16109830 markings, 30205518 edges, 159068 markings/sec, 90 secs
lola: 16925207 markings, 31707752 edges, 163075 markings/sec, 95 secs
lola: 17710324 markings, 33227082 edges, 157023 markings/sec, 100 secs
lola: 18524642 markings, 34722266 edges, 162864 markings/sec, 105 secs
lola: 19301434 markings, 36238031 edges, 155358 markings/sec, 110 secs
lola: 20118176 markings, 37725277 edges, 163348 markings/sec, 115 secs
lola: 20888029 markings, 39233026 edges, 153971 markings/sec, 120 secs
lola: 21699334 markings, 40709515 edges, 162261 markings/sec, 125 secs
lola: 22460075 markings, 42204739 edges, 152148 markings/sec, 130 secs
lola: 23267000 markings, 43667754 edges, 161385 markings/sec, 135 secs
lola: 24021495 markings, 45154596 edges, 150899 markings/sec, 140 secs
lola: 24824775 markings, 46608787 edges, 160656 markings/sec, 145 secs
lola: 25574815 markings, 48086294 edges, 150008 markings/sec, 150 secs
lola: 26371396 markings, 49526912 edges, 159316 markings/sec, 155 secs
lola: 27115897 markings, 50990597 edges, 148900 markings/sec, 160 secs
lola: 27906729 markings, 52425750 edges, 158166 markings/sec, 165 secs
lola: 28649839 markings, 53882720 edges, 148622 markings/sec, 170 secs
lola: 29437017 markings, 55313450 edges, 157436 markings/sec, 175 secs
lola: 30176963 markings, 56765126 edges, 147989 markings/sec, 180 secs
lola: 30957658 markings, 58188269 edges, 156139 markings/sec, 185 secs
lola: 31697863 markings, 59629609 edges, 148041 markings/sec, 190 secs
lola: 32470773 markings, 61047900 edges, 154582 markings/sec, 195 secs
lola: 33207983 markings, 62479806 edges, 147442 markings/sec, 200 secs
lola: 33975494 markings, 63895953 edges, 153502 markings/sec, 205 secs
lola: 34716318 markings, 65322102 edges, 148165 markings/sec, 210 secs
lola: 35468777 markings, 66725003 edges, 150492 markings/sec, 215 secs
lola: 36212547 markings, 68144241 edges, 148754 markings/sec, 220 secs
lola: 36962951 markings, 69554616 edges, 150081 markings/sec, 225 secs
lola: 37716262 markings, 70980667 edges, 150662 markings/sec, 230 secs
lola: 38458429 markings, 72387172 edges, 148433 markings/sec, 235 secs
lola: 39218540 markings, 73802919 edges, 152022 markings/sec, 240 secs
lola: 39949438 markings, 75205394 edges, 146180 markings/sec, 245 secs
lola: 40712184 markings, 76611316 edges, 152549 markings/sec, 250 secs
lola: 41433080 markings, 78008811 edges, 144179 markings/sec, 255 secs
lola: 42193268 markings, 79405548 edges, 152038 markings/sec, 260 secs
lola: 42906734 markings, 80799467 edges, 142693 markings/sec, 265 secs
lola: 43669694 markings, 82192903 edges, 152592 markings/sec, 270 secs
lola: 44377594 markings, 83586818 edges, 141580 markings/sec, 275 secs
lola: 45146574 markings, 84968892 edges, 153796 markings/sec, 280 secs
lola: 45847033 markings, 86361633 edges, 140092 markings/sec, 285 secs
lola: 46606294 markings, 87717550 edges, 151852 markings/sec, 290 secs
lola: 47312872 markings, 89111369 edges, 141316 markings/sec, 295 secs
lola: 48065858 markings, 90477432 edges, 150597 markings/sec, 300 secs
lola: 48773907 markings, 91857813 edges, 141610 markings/sec, 305 secs
lola: 49512361 markings, 93221224 edges, 147691 markings/sec, 310 secs
lola: 50223470 markings, 94591903 edges, 142222 markings/sec, 315 secs
lola: 50946140 markings, 95947393 edges, 144534 markings/sec, 320 secs
lola: 51672049 markings, 97313206 edges, 145182 markings/sec, 325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-50a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494635228455

--------------------
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="DES-PT-50a"
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/DES-PT-50a.tgz
mv DES-PT-50a 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 DES-PT-50a, 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 r018-ebro-149436309200317"
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 ;