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-3254
Executing tool lola
Input is S_Kanban-PT-1000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649900137
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496354178910


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


checking for too many tokens
===========================================================================================
S_Kanban-PT-1000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Kanban-PT-1000 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 32/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 16 places, 16 transitions, 11 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 14 transition conflict sets
lola: TASK
lola: reading formula from Kanban-PT-1000-UpperBounds.task
lola: MAX(Pout2) : MAX(Pm4) : MAX(P1) : MAX(Pout4) : MAX(Pm1) : MAX(P1) : MAX(P3) : MAX(Pout3) : MAX(P2) : MAX(Pback3) : MAX(Pback3) : MAX(Pm3) : MAX(Pback4) : MAX(Pm3) : MAX(Pout1) : MAX(Pm2)
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(Pout2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5744255 markings, 10324721 edges, 1148851 markings/sec, 0 secs
lola: 11493727 markings, 20762678 edges, 1149894 markings/sec, 5 secs
lola: 17406209 markings, 31545131 edges, 1182496 markings/sec, 10 secs
lola: 22777336 markings, 41343146 edges, 1074225 markings/sec, 15 secs
lola: 26861764 markings, 50553172 edges, 816886 markings/sec, 20 secs
lola: 30090506 markings, 58880506 edges, 645748 markings/sec, 25 secs
lola: 33227125 markings, 66968284 edges, 627324 markings/sec, 30 secs
lola: 37743326 markings, 75804665 edges, 903240 markings/sec, 35 secs
lola: 42741913 markings, 85127774 edges, 999717 markings/sec, 40 secs
lola: 45994360 markings, 94023251 edges, 650489 markings/sec, 45 secs
lola: 49320439 markings, 103112432 edges, 665216 markings/sec, 50 secs
lola: 53887753 markings, 112066904 edges, 913463 markings/sec, 55 secs
lola: 58666463 markings, 120927566 edges, 955742 markings/sec, 60 secs
lola: 61313839 markings, 128164753 edges, 529475 markings/sec, 65 secs
lola: 64276566 markings, 136263626 edges, 592545 markings/sec, 70 secs
lola: 68105906 markings, 144813010 edges, 765868 markings/sec, 75 secs
lola: 72696355 markings, 153188478 edges, 918090 markings/sec, 80 secs
lola: 76366295 markings, 161581938 edges, 733988 markings/sec, 85 secs
lola: 79312522 markings, 169636197 edges, 589245 markings/sec, 90 secs
lola: 82500977 markings, 177883897 edges, 637691 markings/sec, 95 secs
lola: 87386502 markings, 186795613 edges, 977105 markings/sec, 100 secs
lola: 91544898 markings, 195341919 edges, 831679 markings/sec, 105 secs
lola: 94436287 markings, 203248950 edges, 578278 markings/sec, 110 secs
lola: 97346338 markings, 211202028 edges, 582010 markings/sec, 115 secs
lola: 101746887 markings, 219803228 edges, 880110 markings/sec, 120 secs
lola: 106559144 markings, 228658655 edges, 962451 markings/sec, 125 secs
lola: 109295745 markings, 236133807 edges, 547320 markings/sec, 130 secs
lola: 112005619 markings, 243545012 edges, 541975 markings/sec, 135 secs
lola: 115120832 markings, 251009653 edges, 623043 markings/sec, 140 secs
lola: 119563473 markings, 259114913 edges, 888528 markings/sec, 145 secs
lola: 123342101 markings, 266801861 edges, 755726 markings/sec, 150 secs
lola: 125811188 markings, 273551274 edges, 493817 markings/sec, 155 secs
lola: 128228191 markings, 280161461 edges, 483401 markings/sec, 160 secs
lola: 131804407 markings, 288254980 edges, 715243 markings/sec, 165 secs
lola: 136664704 markings, 297121445 edges, 972059 markings/sec, 170 secs
lola: 139984074 markings, 304563045 edges, 663874 markings/sec, 175 secs
lola: 142721781 markings, 312046987 edges, 547541 markings/sec, 180 secs
lola: 145452428 markings, 319509423 edges, 546129 markings/sec, 185 secs
lola: 149628060 markings, 327580255 edges, 835126 markings/sec, 190 secs
lola: 154421188 markings, 336324264 edges, 958626 markings/sec, 195 secs
lola: 157221667 markings, 343953335 edges, 560096 markings/sec, 200 secs
lola: 160011311 markings, 351577020 edges, 557929 markings/sec, 205 secs
lola: 163200494 markings, 359148237 edges, 637837 markings/sec, 210 secs
lola: 167917250 markings, 367753777 edges, 943351 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(Pm4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5596801 markings, 8391954 edges, 1119360 markings/sec, 0 secs
lola: 11125776 markings, 16696134 edges, 1105795 markings/sec, 5 secs
lola: 14061560 markings, 21343825 edges, 587157 markings/sec, 10 secs
lola: 16686929 markings, 25500129 edges, 525074 markings/sec, 15 secs
lola: 18508593 markings, 28489366 edges, 364333 markings/sec, 20 secs
lola: 20123875 markings, 31161047 edges, 323056 markings/sec, 25 secs
lola: 21631474 markings, 33655019 edges, 301520 markings/sec, 30 secs
lola: 22921093 markings, 35790036 edges, 257924 markings/sec, 35 secs
lola: 24027705 markings, 38383400 edges, 221322 markings/sec, 40 secs
lola: 25005747 markings, 41436963 edges, 195608 markings/sec, 45 secs
lola: 25962737 markings, 44452230 edges, 191398 markings/sec, 50 secs
lola: 26962587 markings, 47577325 edges, 199970 markings/sec, 55 secs
lola: 27946504 markings, 50666343 edges, 196783 markings/sec, 60 secs
lola: 28948238 markings, 53820300 edges, 200347 markings/sec, 65 secs
lola: 29872641 markings, 56706268 edges, 184881 markings/sec, 70 secs
lola: 30771914 markings, 59544428 edges, 179855 markings/sec, 75 secs
lola: 31690589 markings, 62425212 edges, 183735 markings/sec, 80 secs
lola: 32654269 markings, 65443053 edges, 192736 markings/sec, 85 secs
lola: 33474337 markings, 68031475 edges, 164014 markings/sec, 90 secs
lola: 34420177 markings, 70986658 edges, 189168 markings/sec, 95 secs
lola: 35424508 markings, 74131160 edges, 200866 markings/sec, 100 secs
lola: 36334230 markings, 76998247 edges, 181944 markings/sec, 105 secs
lola: 37227801 markings, 79785972 edges, 178714 markings/sec, 110 secs
lola: 38123795 markings, 82428599 edges, 179199 markings/sec, 115 secs
lola: 39473924 markings, 84567356 edges, 270026 markings/sec, 120 secs
lola: 40770848 markings, 86621278 edges, 259385 markings/sec, 125 secs
lola: 42081659 markings, 88696174 edges, 262162 markings/sec, 130 secs
lola: 43460734 markings, 90881222 edges, 275815 markings/sec, 135 secs
lola: 44511555 markings, 93398457 edges, 210164 markings/sec, 140 secs
lola: 45396568 markings, 96270524 edges, 177003 markings/sec, 145 secs
lola: 46206705 markings, 98898938 edges, 162027 markings/sec, 150 secs
lola: 47052314 markings, 101661956 edges, 169122 markings/sec, 155 secs
lola: 47950191 markings, 104596894 edges, 179575 markings/sec, 160 secs
lola: 48798446 markings, 107341057 edges, 169651 markings/sec, 165 secs
lola: 49632622 markings, 110075042 edges, 166835 markings/sec, 170 secs
lola: 50471939 markings, 112802133 edges, 167863 markings/sec, 175 secs
lola: 51261137 markings, 115373368 edges, 157840 markings/sec, 180 secs
lola: 51994958 markings, 117758210 edges, 146764 markings/sec, 185 secs
lola: 52904030 markings, 120715952 edges, 181814 markings/sec, 190 secs
lola: 53755382 markings, 123489159 edges, 170270 markings/sec, 195 secs
lola: 54727936 markings, 126661464 edges, 194511 markings/sec, 200 secs
lola: 55714000 markings, 129857633 edges, 197213 markings/sec, 205 secs
lola: 56664267 markings, 132964427 edges, 190053 markings/sec, 210 secs
lola: 58261995 markings, 135615599 edges, 319546 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(P1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 8083579 markings, 13918248 edges, 1616716 markings/sec, 0 secs
lola: 15942015 markings, 27450162 edges, 1571687 markings/sec, 5 secs
lola: 23392256 markings, 40280092 edges, 1490048 markings/sec, 10 secs
lola: 31002891 markings, 53384754 edges, 1522127 markings/sec, 15 secs
lola: 38563154 markings, 66403364 edges, 1512053 markings/sec, 20 secs
lola: 45838961 markings, 78928671 edges, 1455161 markings/sec, 25 secs
lola: 52095874 markings, 89724322 edges, 1251383 markings/sec, 30 secs
lola: 58319141 markings, 100461372 edges, 1244653 markings/sec, 35 secs
lola: 64518849 markings, 111157863 edges, 1239942 markings/sec, 40 secs
lola: 70854124 markings, 122087088 edges, 1267055 markings/sec, 45 secs
lola: 76661768 markings, 132315363 edges, 1161529 markings/sec, 50 secs
lola: 82617813 markings, 142810044 edges, 1191209 markings/sec, 55 secs
lola: 88476364 markings, 153129838 edges, 1171710 markings/sec, 60 secs
lola: 94246418 markings, 163295844 edges, 1154011 markings/sec, 65 secs
lola: 100024817 markings, 173474766 edges, 1155680 markings/sec, 70 secs
lola: 105715977 markings, 183501955 edges, 1138232 markings/sec, 75 secs
lola: 111358837 markings, 193443817 edges, 1128572 markings/sec, 80 secs
lola: 116775306 markings, 202970966 edges, 1083294 markings/sec, 85 secs
lola: 122398165 markings, 212921150 edges, 1124572 markings/sec, 90 secs
lola: 127986013 markings, 222807139 edges, 1117570 markings/sec, 95 secs
lola: 133424298 markings, 232428963 edges, 1087657 markings/sec, 100 secs
lola: 138768258 markings, 241885375 edges, 1068792 markings/sec, 105 secs
lola: 144228734 markings, 251545370 edges, 1092095 markings/sec, 110 secs
lola: 149547605 markings, 260958143 edges, 1063774 markings/sec, 115 secs
lola: 154525260 markings, 269737220 edges, 995531 markings/sec, 120 secs
lola: 160050843 markings, 279471373 edges, 1105117 markings/sec, 125 secs
lola: 165564419 markings, 289185286 edges, 1102715 markings/sec, 130 secs
lola: 170962551 markings, 298694330 edges, 1079626 markings/sec, 135 secs
lola: 176350101 markings, 308185944 edges, 1077510 markings/sec, 140 secs
lola: 181697326 markings, 317606893 edges, 1069445 markings/sec, 145 secs
lola: 187056706 markings, 327049941 edges, 1071876 markings/sec, 150 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5129830 markings, 9220965 edges, 1025966 markings/sec, 0 secs
lola: 10323380 markings, 18563457 edges, 1038710 markings/sec, 5 secs
lola: 15237039 markings, 27491038 edges, 982732 markings/sec, 10 secs
lola: 17304928 markings, 32041773 edges, 413578 markings/sec, 15 secs
lola: 19344214 markings, 36552716 edges, 407857 markings/sec, 20 secs
lola: 21378661 markings, 41043378 edges, 406889 markings/sec, 25 secs
lola: 23357368 markings, 45418845 edges, 395741 markings/sec, 30 secs
lola: 25333327 markings, 49780240 edges, 395192 markings/sec, 35 secs
lola: 27227600 markings, 53947246 edges, 378855 markings/sec, 40 secs
lola: 29153692 markings, 58205095 edges, 385218 markings/sec, 45 secs
lola: 31085461 markings, 62447172 edges, 386354 markings/sec, 50 secs
lola: 33101131 markings, 66920702 edges, 403134 markings/sec, 55 secs
lola: 34971259 markings, 71051748 edges, 374026 markings/sec, 60 secs
lola: 36923578 markings, 75376374 edges, 390464 markings/sec, 65 secs
lola: 38787348 markings, 79478767 edges, 372754 markings/sec, 70 secs
lola: 40612678 markings, 83515810 edges, 365066 markings/sec, 75 secs
lola: 42570842 markings, 87832451 edges, 391633 markings/sec, 80 secs
lola: 44612347 markings, 92341534 edges, 408301 markings/sec, 85 secs
lola: 46444650 markings, 96437544 edges, 366461 markings/sec, 90 secs
lola: 48309145 markings, 100517507 edges, 372899 markings/sec, 95 secs
lola: 50269997 markings, 104864989 edges, 392170 markings/sec, 100 secs
lola: 52287831 markings, 109300462 edges, 403567 markings/sec, 105 secs
lola: 54126826 markings, 113386341 edges, 367799 markings/sec, 110 secs
lola: 55935711 markings, 117387360 edges, 361777 markings/sec, 115 secs
lola: 57788768 markings, 121460617 edges, 370611 markings/sec, 120 secs
lola: 59718319 markings, 125745985 edges, 385910 markings/sec, 125 secs
lola: 61664445 markings, 130028968 edges, 389225 markings/sec, 130 secs
lola: 63455572 markings, 134026838 edges, 358225 markings/sec, 135 secs
lola: 65288582 markings, 138038864 edges, 366602 markings/sec, 140 secs
lola: 67145465 markings, 142133987 edges, 371377 markings/sec, 145 secs
lola: 69104632 markings, 146501628 edges, 391833 markings/sec, 150 secs
lola: 71025311 markings, 150703036 edges, 384136 markings/sec, 155 secs
lola: 72797620 markings, 154652431 edges, 354462 markings/sec, 160 secs
lola: 74632039 markings, 158691470 edges, 366884 markings/sec, 165 secs
lola: 76462650 markings, 162759324 edges, 366122 markings/sec, 170 secs
lola: 78530875 markings, 167300247 edges, 413645 markings/sec, 175 secs
lola: 80540932 markings, 171795713 edges, 402011 markings/sec, 180 secs
lola: 82477887 markings, 176041553 edges, 387391 markings/sec, 185 secs
lola: 84198860 markings, 179870574 edges, 344195 markings/sec, 190 secs
lola: 86045706 markings, 183900939 edges, 369369 markings/sec, 195 secs
lola: 87814787 markings, 187854425 edges, 353816 markings/sec, 200 secs
lola: 89732740 markings, 192041035 edges, 383591 markings/sec, 205 secs
lola: 91729497 markings, 196513559 edges, 399351 markings/sec, 210 secs
lola: 93669636 markings, 200790167 edges, 388028 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pm1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4126105 markings, 9624710 edges, 825221 markings/sec, 0 secs
lola: 7829317 markings, 18540967 edges, 740642 markings/sec, 5 secs
lola: 11315725 markings, 27028243 edges, 697282 markings/sec, 10 secs
lola: 14912537 markings, 35686681 edges, 719362 markings/sec, 15 secs
lola: 18289977 markings, 44097479 edges, 675488 markings/sec, 20 secs
lola: 21568000 markings, 52409577 edges, 655605 markings/sec, 25 secs
lola: 25081810 markings, 61096202 edges, 702762 markings/sec, 30 secs
lola: 28474518 markings, 69491042 edges, 678542 markings/sec, 35 secs
lola: 32065386 markings, 78185130 edges, 718174 markings/sec, 40 secs
lola: 35367360 markings, 86569636 edges, 660395 markings/sec, 45 secs
lola: 38411762 markings, 94496761 edges, 608880 markings/sec, 50 secs
lola: 41949334 markings, 103104408 edges, 707514 markings/sec, 55 secs
lola: 45027314 markings, 110881796 edges, 615596 markings/sec, 60 secs
lola: 48196934 markings, 118747152 edges, 633924 markings/sec, 65 secs
lola: 51393327 markings, 126906009 edges, 639279 markings/sec, 70 secs
lola: 54828669 markings, 135252059 edges, 687068 markings/sec, 75 secs
lola: 57878596 markings, 142968603 edges, 609985 markings/sec, 80 secs
lola: 61294915 markings, 151271668 edges, 683264 markings/sec, 85 secs
lola: 64739652 markings, 159812515 edges, 688947 markings/sec, 90 secs
lola: 68409603 markings, 168614420 edges, 733990 markings/sec, 95 secs
lola: 71497854 markings, 176376896 edges, 617650 markings/sec, 100 secs
lola: 74989877 markings, 184857124 edges, 698405 markings/sec, 105 secs
lola: 78073986 markings, 192540511 edges, 616822 markings/sec, 110 secs
lola: 81218474 markings, 200572364 edges, 628898 markings/sec, 115 secs
lola: 84467355 markings, 208605376 edges, 649776 markings/sec, 120 secs
lola: 87426342 markings, 216173741 edges, 591797 markings/sec, 125 secs
lola: 90537519 markings, 224069163 edges, 622235 markings/sec, 130 secs
lola: 93844042 markings, 232226489 edges, 661305 markings/sec, 135 secs
lola: 96807226 markings, 239692669 edges, 592637 markings/sec, 140 secs
lola: 100122285 markings, 247858861 edges, 663012 markings/sec, 145 secs
lola: 103570536 markings, 256224898 edges, 689650 markings/sec, 150 secs
lola: 106295248 markings, 263228493 edges, 544942 markings/sec, 155 secs
lola: 109368128 markings, 271212564 edges, 614576 markings/sec, 160 secs
lola: 112980903 markings, 279928810 edges, 722555 markings/sec, 165 secs
lola: 116245410 markings, 287931052 edges, 652901 markings/sec, 170 secs
lola: 119391309 markings, 295747992 edges, 629180 markings/sec, 175 secs
lola: 122202714 markings, 303057485 edges, 562281 markings/sec, 180 secs
lola: 125220112 markings, 310647351 edges, 603480 markings/sec, 185 secs
lola: 128419026 markings, 318671952 edges, 639783 markings/sec, 190 secs
lola: 131609848 markings, 326607967 edges, 638164 markings/sec, 195 secs
lola: 135312129 markings, 335536945 edges, 740456 markings/sec, 200 secs
lola: 138559883 markings, 343699021 edges, 649551 markings/sec, 205 secs
lola: 141964638 markings, 352098381 edges, 680951 markings/sec, 210 secs
lola: 145281251 markings, 360330320 edges, 663323 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 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7755154 markings, 13352900 edges, 1551031 markings/sec, 0 secs
lola: 15524287 markings, 26731087 edges, 1553827 markings/sec, 5 secs
lola: 22909195 markings, 39448099 edges, 1476982 markings/sec, 10 secs
lola: 30733165 markings, 52920316 edges, 1564794 markings/sec, 15 secs
lola: 38409042 markings, 66140007 edges, 1535175 markings/sec, 20 secs
lola: 45826879 markings, 78906519 edges, 1483567 markings/sec, 25 secs
lola: 52229523 markings, 89954602 edges, 1280529 markings/sec, 30 secs
lola: 58578107 markings, 100908499 edges, 1269717 markings/sec, 35 secs
lola: 64954368 markings, 111909507 edges, 1275252 markings/sec, 40 secs
lola: 71152267 markings, 122608777 edges, 1239580 markings/sec, 45 secs
lola: 76948887 markings, 132821997 edges, 1159324 markings/sec, 50 secs
lola: 82746905 markings, 143036248 edges, 1159604 markings/sec, 55 secs
lola: 88556935 markings, 153271585 edges, 1162006 markings/sec, 60 secs
lola: 94178174 markings, 163176507 edges, 1124248 markings/sec, 65 secs
lola: 100002631 markings, 173436681 edges, 1164891 markings/sec, 70 secs
lola: 105714100 markings, 183498544 edges, 1142294 markings/sec, 75 secs
lola: 111414193 markings, 193541176 edges, 1140019 markings/sec, 80 secs
lola: 117115585 markings, 203573107 edges, 1140278 markings/sec, 85 secs
lola: 122782209 markings, 213600169 edges, 1133325 markings/sec, 90 secs
lola: 128555775 markings, 223815293 edges, 1154713 markings/sec, 95 secs
lola: 134116435 markings, 233654768 edges, 1112132 markings/sec, 100 secs
lola: 139815926 markings, 243738427 edges, 1139898 markings/sec, 105 secs
lola: 145336677 markings, 253506427 edges, 1104150 markings/sec, 110 secs
lola: 150807675 markings, 263185715 edges, 1094200 markings/sec, 115 secs
lola: 156129401 markings, 272563102 edges, 1064345 markings/sec, 120 secs
lola: 161727926 markings, 282425722 edges, 1119705 markings/sec, 125 secs
lola: 167235213 markings, 292128202 edges, 1101457 markings/sec, 130 secs
lola: 172730762 markings, 301811229 edges, 1099110 markings/sec, 135 secs
lola: 178279692 markings, 311587314 edges, 1109786 markings/sec, 140 secs
lola: 183773412 markings, 321265352 edges, 1098744 markings/sec, 145 secs
lola: 189111944 markings, 330670497 edges, 1067706 markings/sec, 150 secs
lola: 191644652 markings, 335131014 edges, 506542 markings/sec, 155 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7445423 markings, 9770507 edges, 1489085 markings/sec, 0 secs
lola: 14742307 markings, 19348839 edges, 1459377 markings/sec, 5 secs
lola: 21987764 markings, 28857968 edges, 1449091 markings/sec, 10 secs
lola: 29025324 markings, 38095608 edges, 1407512 markings/sec, 15 secs
lola: 34424923 markings, 45989452 edges, 1079920 markings/sec, 20 secs
lola: 38127821 markings, 52135202 edges, 740580 markings/sec, 25 secs
lola: 41741615 markings, 58119327 edges, 722759 markings/sec, 30 secs
lola: 45173000 markings, 63819781 edges, 686277 markings/sec, 35 secs
lola: 48559904 markings, 69457631 edges, 677381 markings/sec, 40 secs
lola: 51979622 markings, 75100649 edges, 683944 markings/sec, 45 secs
lola: 55219696 markings, 80517775 edges, 648015 markings/sec, 50 secs
lola: 58567989 markings, 86086578 edges, 669659 markings/sec, 55 secs
lola: 61847295 markings, 91562381 edges, 655861 markings/sec, 60 secs
lola: 65093568 markings, 96963978 edges, 649255 markings/sec, 65 secs
lola: 68310806 markings, 102294611 edges, 643448 markings/sec, 70 secs
lola: 71505376 markings, 107543404 edges, 638914 markings/sec, 75 secs
lola: 74636494 markings, 112805500 edges, 626224 markings/sec, 80 secs
lola: 77899289 markings, 118242707 edges, 652559 markings/sec, 85 secs
lola: 80967278 markings, 123325212 edges, 613598 markings/sec, 90 secs
lola: 84212243 markings, 128682810 edges, 648993 markings/sec, 95 secs
lola: 87244873 markings, 133768513 edges, 606526 markings/sec, 100 secs
lola: 90464903 markings, 139143775 edges, 644006 markings/sec, 105 secs
lola: 93439451 markings, 144106778 edges, 594910 markings/sec, 110 secs
lola: 96660572 markings, 149398272 edges, 644224 markings/sec, 115 secs
lola: 99766506 markings, 154595154 edges, 621187 markings/sec, 120 secs
lola: 102739962 markings, 159548813 edges, 594691 markings/sec, 125 secs
lola: 105775468 markings, 164617126 edges, 607101 markings/sec, 130 secs
lola: 108937567 markings, 169852044 edges, 632420 markings/sec, 135 secs
lola: 111989481 markings, 174999862 edges, 610383 markings/sec, 140 secs
lola: 115042977 markings, 179961035 edges, 610699 markings/sec, 145 secs
lola: 117998520 markings, 184904772 edges, 591109 markings/sec, 150 secs
lola: 120935182 markings, 189856771 edges, 587332 markings/sec, 155 secs
lola: 123881610 markings, 194815993 edges, 589286 markings/sec, 160 secs
lola: 126944341 markings, 199876883 edges, 612546 markings/sec, 165 secs
lola: 130027580 markings, 204943564 edges, 616648 markings/sec, 170 secs
lola: 133083302 markings, 209983771 edges, 611144 markings/sec, 175 secs
lola: 136112182 markings, 214998605 edges, 605776 markings/sec, 180 secs
lola: 139117756 markings, 219992720 edges, 601115 markings/sec, 185 secs
lola: 142100575 markings, 224966901 edges, 596564 markings/sec, 190 secs
lola: 145056480 markings, 229915651 edges, 591181 markings/sec, 195 secs
lola: 147983592 markings, 234836294 edges, 585422 markings/sec, 200 secs
lola: 150881985 markings, 239728902 edges, 579679 markings/sec, 205 secs
lola: 153791290 markings, 244619288 edges, 581861 markings/sec, 210 secs
lola: 156831809 markings, 249630502 edges, 608104 markings/sec, 215 secs
lola: 159882389 markings, 254649298 edges, 610116 markings/sec, 220 secs
lola: 162941361 markings, 259672593 edges, 611794 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 6386063 markings, 11482026 edges, 1277213 markings/sec, 0 secs
lola: 12727459 markings, 22889263 edges, 1268279 markings/sec, 5 secs
lola: 18471512 markings, 33233137 edges, 1148811 markings/sec, 10 secs
lola: 23513642 markings, 43019622 edges, 1008426 markings/sec, 15 secs
lola: 27452685 markings, 52966064 edges, 787809 markings/sec, 20 secs
lola: 31479506 markings, 63128706 edges, 805364 markings/sec, 25 secs
lola: 36264496 markings, 72847658 edges, 956998 markings/sec, 30 secs
lola: 41088312 markings, 82013629 edges, 964763 markings/sec, 35 secs
lola: 44503968 markings, 91057683 edges, 683131 markings/sec, 40 secs
lola: 48023221 markings, 100372661 edges, 703851 markings/sec, 45 secs
lola: 52911579 markings, 110001038 edges, 977672 markings/sec, 50 secs
lola: 57613327 markings, 119395325 edges, 940350 markings/sec, 55 secs
lola: 61063717 markings, 128531648 edges, 690078 markings/sec, 60 secs
lola: 64536307 markings, 137727986 edges, 694518 markings/sec, 65 secs
lola: 69499361 markings, 147056743 edges, 992611 markings/sec, 70 secs
lola: 73714126 markings, 155917224 edges, 842953 markings/sec, 75 secs
lola: 76571458 markings, 164049012 edges, 571466 markings/sec, 80 secs
lola: 79772404 markings, 172327955 edges, 640189 markings/sec, 85 secs
lola: 85023127 markings, 181783572 edges, 1050145 markings/sec, 90 secs
lola: 88771801 markings, 190448768 edges, 749735 markings/sec, 95 secs
lola: 91939256 markings, 198834841 edges, 633491 markings/sec, 100 secs
lola: 95030081 markings, 206986751 edges, 618165 markings/sec, 105 secs
lola: 100187367 markings, 216274163 edges, 1031457 markings/sec, 110 secs
lola: 104010422 markings, 224745813 edges, 764611 markings/sec, 115 secs
lola: 106748637 markings, 232540503 edges, 547643 markings/sec, 120 secs
lola: 109842736 markings, 240434496 edges, 618820 markings/sec, 125 secs
lola: 114991009 markings, 249705934 edges, 1029655 markings/sec, 130 secs
lola: 118729742 markings, 258323219 edges, 747747 markings/sec, 135 secs
lola: 121876585 markings, 266658337 edges, 629369 markings/sec, 140 secs
lola: 124948592 markings, 274791693 edges, 614401 markings/sec, 145 secs
lola: 129888132 markings, 283715822 edges, 987908 markings/sec, 150 secs
lola: 133721809 markings, 291915968 edges, 766735 markings/sec, 155 secs
lola: 136252730 markings, 299117865 edges, 506184 markings/sec, 160 secs
lola: 138713152 markings, 306120937 edges, 492084 markings/sec, 165 secs
lola: 143346226 markings, 314737371 edges, 926615 markings/sec, 170 secs
lola: 147434598 markings, 323105060 edges, 817674 markings/sec, 175 secs
lola: 149943576 markings, 330244653 edges, 501796 markings/sec, 180 secs
lola: 152369541 markings, 337149756 edges, 485193 markings/sec, 185 secs
lola: 156684432 markings, 345522057 edges, 862978 markings/sec, 190 secs
lola: 161211665 markings, 354282617 edges, 905447 markings/sec, 195 secs
lola: 164062548 markings, 361829330 edges, 570177 markings/sec, 200 secs
lola: 166917179 markings, 369385214 edges, 570926 markings/sec, 205 secs
lola: 170042504 markings, 376758955 edges, 625065 markings/sec, 210 secs
lola: 175080052 markings, 385832596 edges, 1007510 markings/sec, 215 secs
lola: 178148627 markings, 393106752 edges, 613715 markings/sec, 220 secs
lola: 180472682 markings, 399724147 edges, 464811 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7798695 markings, 10234341 edges, 1559739 markings/sec, 0 secs
lola: 15195400 markings, 19944036 edges, 1479341 markings/sec, 5 secs
lola: 22819369 markings, 29949539 edges, 1524794 markings/sec, 10 secs
lola: 30220295 markings, 39665145 edges, 1480185 markings/sec, 15 secs
lola: 35097185 markings, 47112892 edges, 975378 markings/sec, 20 secs
lola: 38812403 markings, 53255278 edges, 743044 markings/sec, 25 secs
lola: 42354471 markings, 59149648 edges, 708414 markings/sec, 30 secs
lola: 45867498 markings, 64990522 edges, 702605 markings/sec, 35 secs
lola: 49260914 markings, 70640198 edges, 678683 markings/sec, 40 secs
lola: 52557305 markings, 76079045 edges, 659278 markings/sec, 45 secs
lola: 55916758 markings, 81679911 edges, 671891 markings/sec, 50 secs
lola: 59182068 markings, 87069430 edges, 653062 markings/sec, 55 secs
lola: 62404972 markings, 92459582 edges, 644581 markings/sec, 60 secs
lola: 65656365 markings, 97857737 edges, 650279 markings/sec, 65 secs
lola: 68944951 markings, 103280714 edges, 657717 markings/sec, 70 secs
lola: 72161079 markings, 108706085 edges, 643226 markings/sec, 75 secs
lola: 75346329 markings, 113915241 edges, 637050 markings/sec, 80 secs
lola: 78450509 markings, 119134044 edges, 620836 markings/sec, 85 secs
lola: 81663746 markings, 124535556 edges, 642647 markings/sec, 90 secs
lola: 84698012 markings, 129564183 edges, 606853 markings/sec, 95 secs
lola: 87946234 markings, 134980352 edges, 649644 markings/sec, 100 secs
lola: 91019204 markings, 140030734 edges, 614594 markings/sec, 105 secs
lola: 94179438 markings, 145229219 edges, 632047 markings/sec, 110 secs
lola: 97290819 markings, 150506077 edges, 622276 markings/sec, 115 secs
lola: 100291539 markings, 155465601 edges, 600144 markings/sec, 120 secs
lola: 103337608 markings, 160551362 edges, 609214 markings/sec, 125 secs
lola: 106499429 markings, 165819116 edges, 632364 markings/sec, 130 secs
lola: 109570209 markings, 170930719 edges, 614156 markings/sec, 135 secs
lola: 112596739 markings, 175884803 edges, 605306 markings/sec, 140 secs
lola: 115508786 markings, 180812751 edges, 582409 markings/sec, 145 secs
lola: 118428815 markings, 185744471 edges, 584006 markings/sec, 150 secs
lola: 121557668 markings, 190860584 edges, 625771 markings/sec, 155 secs
lola: 124675314 markings, 195963772 edges, 623529 markings/sec, 160 secs
lola: 127681038 markings, 201020867 edges, 601145 markings/sec, 165 secs
lola: 130684882 markings, 206062002 edges, 600769 markings/sec, 170 secs
lola: 133686265 markings, 211086552 edges, 600277 markings/sec, 175 secs
lola: 136683087 markings, 216090470 edges, 599364 markings/sec, 180 secs
lola: 139678636 markings, 221079549 edges, 599110 markings/sec, 185 secs
lola: 142667907 markings, 226044552 edges, 597854 markings/sec, 190 secs
lola: 145654143 markings, 230991822 edges, 597247 markings/sec, 195 secs
lola: 148637681 markings, 235921696 edges, 596708 markings/sec, 200 secs
lola: 151616062 markings, 240829641 edges, 595676 markings/sec, 205 secs
lola: 154554615 markings, 245706676 edges, 587711 markings/sec, 210 secs
lola: 157392522 markings, 250539078 edges, 567581 markings/sec, 215 secs
lola: 160258305 markings, 255383120 edges, 573157 markings/sec, 220 secs
lola: 163311623 markings, 260395094 edges, 610664 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 6160687 markings, 11079139 edges, 1232137 markings/sec, 0 secs
lola: 12318248 markings, 22158959 edges, 1231512 markings/sec, 5 secs
lola: 18054806 markings, 32476634 edges, 1147312 markings/sec, 10 secs
lola: 23516387 markings, 42298890 edges, 1092316 markings/sec, 15 secs
lola: 28888710 markings, 51965324 edges, 1074465 markings/sec, 20 secs
lola: 34201983 markings, 61549545 edges, 1062655 markings/sec, 25 secs
lola: 38776472 markings, 70655839 edges, 914898 markings/sec, 30 secs
lola: 42133683 markings, 79127401 edges, 671442 markings/sec, 35 secs
lola: 45814266 markings, 88418148 edges, 736117 markings/sec, 40 secs
lola: 49981833 markings, 97552918 edges, 833513 markings/sec, 45 secs
lola: 54991789 markings, 106573767 edges, 1001991 markings/sec, 50 secs
lola: 58339044 markings, 114950089 edges, 669451 markings/sec, 55 secs
lola: 61525864 markings, 123386197 edges, 637364 markings/sec, 60 secs
lola: 65213209 markings, 132172465 edges, 737469 markings/sec, 65 secs
lola: 70236828 markings, 141217852 edges, 1004724 markings/sec, 70 secs
lola: 73800369 markings, 149532717 edges, 712708 markings/sec, 75 secs
lola: 76881335 markings, 157686267 edges, 616193 markings/sec, 80 secs
lola: 79970825 markings, 165878348 edges, 617898 markings/sec, 85 secs
lola: 84859783 markings, 174742186 edges, 977792 markings/sec, 90 secs
lola: 88775210 markings, 182824806 edges, 783085 markings/sec, 95 secs
lola: 91556971 markings, 190189480 edges, 556352 markings/sec, 100 secs
lola: 94422889 markings, 197773165 edges, 573184 markings/sec, 105 secs
lola: 98138467 markings, 205845622 edges, 743116 markings/sec, 110 secs
lola: 103016657 markings, 214629360 edges, 975638 markings/sec, 115 secs
lola: 106282837 markings, 222822094 edges, 653236 markings/sec, 120 secs
lola: 109352778 markings, 230948963 edges, 613988 markings/sec, 125 secs
lola: 112533425 markings, 238959291 edges, 636129 markings/sec, 130 secs
lola: 117409180 markings, 247738534 edges, 975151 markings/sec, 135 secs
lola: 121058806 markings, 255582848 edges, 729925 markings/sec, 140 secs
lola: 123777054 markings, 262781753 edges, 543650 markings/sec, 145 secs
lola: 126563291 markings, 270155836 edges, 557247 markings/sec, 150 secs
lola: 130171830 markings, 277913217 edges, 721708 markings/sec, 155 secs
lola: 135020160 markings, 286643198 edges, 969666 markings/sec, 160 secs
lola: 137938414 markings, 293914557 edges, 583651 markings/sec, 165 secs
lola: 140629986 markings, 301042736 edges, 538314 markings/sec, 170 secs
lola: 143365748 markings, 308281639 edges, 547152 markings/sec, 175 secs
lola: 147555221 markings, 316407284 edges, 837895 markings/sec, 180 secs
lola: 151952766 markings, 324668588 edges, 879509 markings/sec, 185 secs
lola: 154395180 markings, 331134145 edges, 488483 markings/sec, 190 secs
lola: 156854721 markings, 337645920 edges, 491908 markings/sec, 195 secs
lola: 159430494 markings, 344459555 edges, 515155 markings/sec, 200 secs
lola: 163818471 markings, 352885347 edges, 877595 markings/sec, 205 secs
lola: 168232067 markings, 361411812 edges, 882719 markings/sec, 210 secs
lola: 171303046 markings, 369540773 edges, 614196 markings/sec, 215 secs
lola: 174453323 markings, 377881373 edges, 630055 markings/sec, 220 secs
lola: 178294700 markings, 386144954 edges, 768275 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5964071 markings, 10725265 edges, 1192814 markings/sec, 0 secs
lola: 12346140 markings, 22209457 edges, 1276414 markings/sec, 5 secs
lola: 18171686 markings, 32686789 edges, 1165109 markings/sec, 10 secs
lola: 23717886 markings, 42661748 edges, 1109240 markings/sec, 15 secs
lola: 29152083 markings, 52439598 edges, 1086839 markings/sec, 20 secs
lola: 34481092 markings, 62051834 edges, 1065802 markings/sec, 25 secs
lola: 39025210 markings, 71284240 edges, 908824 markings/sec, 30 secs
lola: 42693397 markings, 80541545 edges, 733637 markings/sec, 35 secs
lola: 46458091 markings, 90044369 edges, 752939 markings/sec, 40 secs
lola: 51056827 markings, 99488306 edges, 919747 markings/sec, 45 secs
lola: 55798594 markings, 108229182 edges, 948353 markings/sec, 50 secs
lola: 58901762 markings, 116443900 edges, 620634 markings/sec, 55 secs
lola: 62088104 markings, 124877975 edges, 637268 markings/sec, 60 secs
lola: 66091119 markings, 133753575 edges, 800603 markings/sec, 65 secs
lola: 70948265 markings, 142499149 edges, 971429 markings/sec, 70 secs
lola: 74049174 markings, 150190913 edges, 620182 markings/sec, 75 secs
lola: 77111233 markings, 158295920 edges, 612412 markings/sec, 80 secs
lola: 80273681 markings, 166484698 edges, 632490 markings/sec, 85 secs
lola: 85225179 markings, 175400358 edges, 990300 markings/sec, 90 secs
lola: 88718778 markings, 182673059 edges, 698720 markings/sec, 95 secs
lola: 91305727 markings, 189523594 edges, 517390 markings/sec, 100 secs
lola: 94026363 markings, 196723314 edges, 544127 markings/sec, 105 secs
lola: 97202189 markings, 204160172 edges, 635165 markings/sec, 110 secs
lola: 101892340 markings, 212604963 edges, 938030 markings/sec, 115 secs
lola: 105420265 markings, 220538089 edges, 705585 markings/sec, 120 secs
lola: 108453845 markings, 228570675 edges, 606716 markings/sec, 125 secs
lola: 111523251 markings, 236691070 edges, 613881 markings/sec, 130 secs
lola: 115939823 markings, 245092862 edges, 883314 markings/sec, 135 secs
lola: 120156991 markings, 253195960 edges, 843434 markings/sec, 140 secs
lola: 122857452 markings, 260348570 edges, 540092 markings/sec, 145 secs
lola: 125652614 markings, 267743517 edges, 559032 markings/sec, 150 secs
lola: 128575745 markings, 275039053 edges, 584626 markings/sec, 155 secs
lola: 133308897 markings, 283561864 edges, 946630 markings/sec, 160 secs
lola: 136824984 markings, 290972195 edges, 703217 markings/sec, 165 secs
lola: 139442012 markings, 297898231 edges, 523406 markings/sec, 170 secs
lola: 142095114 markings, 304925933 edges, 530620 markings/sec, 175 secs
lola: 144939319 markings, 311697547 edges, 568841 markings/sec, 180 secs
lola: 149721606 markings, 320308334 edges, 956457 markings/sec, 185 secs
lola: 153077377 markings, 327645636 edges, 671154 markings/sec, 190 secs
lola: 155606978 markings, 334341065 edges, 505920 markings/sec, 195 secs
lola: 158125809 markings, 341005218 edges, 503766 markings/sec, 200 secs
lola: 161060469 markings, 347919168 edges, 586932 markings/sec, 205 secs
lola: 165805672 markings, 356463117 edges, 949041 markings/sec, 210 secs
lola: 169357709 markings, 364388485 edges, 710407 markings/sec, 215 secs
lola: 172243047 markings, 372033016 edges, 577068 markings/sec, 220 secs
lola: 175364467 markings, 380295142 edges, 624284 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pm3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5580319 markings, 8430167 edges, 1116064 markings/sec, 0 secs
lola: 11477983 markings, 17062509 edges, 1179533 markings/sec, 5 secs
lola: 17143006 markings, 25352168 edges, 1133005 markings/sec, 10 secs
lola: 22574576 markings, 33301932 edges, 1086314 markings/sec, 15 secs
lola: 28282373 markings, 41654668 edges, 1141559 markings/sec, 20 secs
lola: 33915430 markings, 49897963 edges, 1126611 markings/sec, 25 secs
lola: 39288277 markings, 57758602 edges, 1074569 markings/sec, 30 secs
lola: 42932736 markings, 67542132 edges, 728892 markings/sec, 35 secs
lola: 46127417 markings, 76595225 edges, 638936 markings/sec, 40 secs
lola: 49271441 markings, 85549424 edges, 628805 markings/sec, 45 secs
lola: 52384435 markings, 94727849 edges, 622599 markings/sec, 50 secs
lola: 56428441 markings, 105016247 edges, 808801 markings/sec, 55 secs
lola: 58742508 markings, 113456791 edges, 462813 markings/sec, 60 secs
lola: 61685062 markings, 119644517 edges, 588511 markings/sec, 65 secs
lola: 64592168 markings, 125758801 edges, 581421 markings/sec, 70 secs
lola: 67379895 markings, 131620949 edges, 557545 markings/sec, 75 secs
lola: 67642515 markings, 134850264 edges, 52524 markings/sec, 80 secs
lola: 70107172 markings, 140764451 edges, 492931 markings/sec, 85 secs
lola: 72459628 markings, 148650288 edges, 470491 markings/sec, 90 secs
lola: 75154482 markings, 156887954 edges, 538971 markings/sec, 95 secs
lola: 78088016 markings, 165393390 edges, 586707 markings/sec, 100 secs
lola: 80641585 markings, 173918012 edges, 510714 markings/sec, 105 secs
lola: 83521457 markings, 182565264 edges, 575974 markings/sec, 110 secs
lola: 85765156 markings, 188623655 edges, 448740 markings/sec, 115 secs
lola: 88534492 markings, 194480717 edges, 553867 markings/sec, 120 secs
lola: 91221312 markings, 200162848 edges, 537364 markings/sec, 125 secs
lola: 92513343 markings, 204407427 edges, 258406 markings/sec, 130 secs
lola: 93019711 markings, 208255630 edges, 101274 markings/sec, 135 secs
lola: 96092171 markings, 216411964 edges, 614492 markings/sec, 140 secs
lola: 98348943 markings, 223605270 edges, 451354 markings/sec, 145 secs
lola: 100925165 markings, 231536089 edges, 515244 markings/sec, 150 secs
lola: 103697314 markings, 239651973 edges, 554430 markings/sec, 155 secs
lola: 106379067 markings, 247766623 edges, 536351 markings/sec, 160 secs
lola: 108957023 markings, 255785638 edges, 515591 markings/sec, 165 secs
lola: 111588060 markings, 261350265 edges, 526207 markings/sec, 170 secs
lola: 114166952 markings, 266804038 edges, 515778 markings/sec, 175 secs
lola: 116780112 markings, 272330698 edges, 522632 markings/sec, 180 secs
lola: 117494893 markings, 275952113 edges, 142956 markings/sec, 185 secs
lola: 118320134 markings, 280165285 edges, 165048 markings/sec, 190 secs
lola: 121325232 markings, 288341276 edges, 601020 markings/sec, 195 secs
lola: 124191174 markings, 295794559 edges, 573188 markings/sec, 200 secs
lola: 126847526 markings, 304042529 edges, 531270 markings/sec, 205 secs
lola: 129687926 markings, 312059739 edges, 568080 markings/sec, 210 secs
lola: 132228967 markings, 320150747 edges, 508208 markings/sec, 215 secs
lola: 134383503 markings, 327678152 edges, 430907 markings/sec, 220 secs
lola: 137058563 markings, 333336183 edges, 535012 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5518600 markings, 9921855 edges, 1103720 markings/sec, 0 secs
lola: 10898064 markings, 19601858 edges, 1075893 markings/sec, 5 secs
lola: 15619558 markings, 28123351 edges, 944299 markings/sec, 10 secs
lola: 18451610 markings, 33338896 edges, 566410 markings/sec, 15 secs
lola: 21227779 markings, 38451529 edges, 555234 markings/sec, 20 secs
lola: 23794509 markings, 43178458 edges, 513346 markings/sec, 25 secs
lola: 25686503 markings, 47470187 edges, 378399 markings/sec, 30 secs
lola: 27290870 markings, 51526397 edges, 320873 markings/sec, 35 secs
lola: 28870755 markings, 55522774 edges, 315977 markings/sec, 40 secs
lola: 30507425 markings, 59661160 edges, 327334 markings/sec, 45 secs
lola: 32108646 markings, 63710288 edges, 320244 markings/sec, 50 secs
lola: 34149821 markings, 68073573 edges, 408235 markings/sec, 55 secs
lola: 36468802 markings, 72301001 edges, 463796 markings/sec, 60 secs
lola: 38960989 markings, 76844683 edges, 498437 markings/sec, 65 secs
lola: 41338273 markings, 81178593 edges, 475457 markings/sec, 70 secs
lola: 42871676 markings, 85036179 edges, 306681 markings/sec, 75 secs
lola: 44350513 markings, 88878269 edges, 295767 markings/sec, 80 secs
lola: 45791707 markings, 92625280 edges, 288239 markings/sec, 85 secs
lola: 47194116 markings, 96273427 edges, 280482 markings/sec, 90 secs
lola: 48597279 markings, 99923693 edges, 280633 markings/sec, 95 secs
lola: 50645057 markings, 103971684 edges, 409556 markings/sec, 100 secs
lola: 52749607 markings, 107808361 edges, 420910 markings/sec, 105 secs
lola: 55042331 markings, 111988121 edges, 458545 markings/sec, 110 secs
lola: 57220534 markings, 115959202 edges, 435641 markings/sec, 115 secs
lola: 58724425 markings, 119639474 edges, 300778 markings/sec, 120 secs
lola: 60111658 markings, 123248617 edges, 277447 markings/sec, 125 secs
lola: 61501983 markings, 126864825 edges, 278065 markings/sec, 130 secs
lola: 62864333 markings, 130402949 edges, 272470 markings/sec, 135 secs
lola: 64223944 markings, 133939529 edges, 271922 markings/sec, 140 secs
lola: 65999812 markings, 137768277 edges, 355174 markings/sec, 145 secs
lola: 68186238 markings, 141702802 edges, 437285 markings/sec, 150 secs
lola: 70579892 markings, 146010792 edges, 478731 markings/sec, 155 secs
lola: 72742413 markings, 150100144 edges, 432504 markings/sec, 160 secs
lola: 74064401 markings, 153656016 edges, 264398 markings/sec, 165 secs
lola: 75381144 markings, 157204315 edges, 263349 markings/sec, 170 secs
lola: 76660374 markings, 160646420 edges, 255846 markings/sec, 175 secs
lola: 77902115 markings, 163991719 edges, 248348 markings/sec, 180 secs
lola: 79342885 markings, 167589498 edges, 288154 markings/sec, 185 secs
lola: 81605798 markings, 171715008 edges, 452583 markings/sec, 190 secs
lola: 83912785 markings, 175921099 edges, 461397 markings/sec, 195 secs
lola: 86388868 markings, 180435052 edges, 495217 markings/sec, 200 secs
lola: 88266833 markings, 184437880 edges, 375593 markings/sec, 205 secs
lola: 89675131 markings, 188099881 edges, 281660 markings/sec, 210 secs
lola: 91070919 markings, 191728574 edges, 279158 markings/sec, 215 secs
lola: 92441214 markings, 195289574 edges, 274059 markings/sec, 220 secs
lola: 93779710 markings, 198768465 edges, 267699 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pm3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5779802 markings, 8724393 edges, 1155960 markings/sec, 0 secs
lola: 11642737 markings, 17302064 edges, 1172587 markings/sec, 5 secs
lola: 17480723 markings, 25847638 edges, 1167597 markings/sec, 10 secs
lola: 23261601 markings, 34305520 edges, 1156176 markings/sec, 15 secs
lola: 29007592 markings, 42713594 edges, 1149198 markings/sec, 20 secs
lola: 34646598 markings, 50967092 edges, 1127801 markings/sec, 25 secs
lola: 40137625 markings, 59190321 edges, 1098205 markings/sec, 30 secs
lola: 43824938 markings, 68865178 edges, 737463 markings/sec, 35 secs
lola: 47128434 markings, 78307102 edges, 660699 markings/sec, 40 secs
lola: 50745355 markings, 88078036 edges, 723384 markings/sec, 45 secs
lola: 53830768 markings, 97209852 edges, 617083 markings/sec, 50 secs
lola: 56989001 markings, 106937333 edges, 631647 markings/sec, 55 secs
lola: 59285307 markings, 114598230 edges, 459261 markings/sec, 60 secs
lola: 62145076 markings, 120611733 edges, 571954 markings/sec, 65 secs
lola: 64979883 markings, 126574116 edges, 566961 markings/sec, 70 secs
lola: 67491006 markings, 132125732 edges, 502225 markings/sec, 75 secs
lola: 67657672 markings, 135123540 edges, 33333 markings/sec, 80 secs
lola: 70236523 markings, 141121181 edges, 515770 markings/sec, 85 secs
lola: 72519900 markings, 149014136 edges, 456675 markings/sec, 90 secs
lola: 75200324 markings, 157159495 edges, 536085 markings/sec, 95 secs
lola: 78070636 markings, 165213890 edges, 574062 markings/sec, 100 secs
lola: 80532966 markings, 173243477 edges, 492466 markings/sec, 105 secs
lola: 83409561 markings, 181410097 edges, 575319 markings/sec, 110 secs
lola: 85182121 markings, 187390477 edges, 354512 markings/sec, 115 secs
lola: 87684979 markings, 192683751 edges, 500572 markings/sec, 120 secs
lola: 90052093 markings, 197689617 edges, 473423 markings/sec, 125 secs
lola: 92392384 markings, 202639764 edges, 468058 markings/sec, 130 secs
lola: 92553263 markings, 205126143 edges, 32176 markings/sec, 135 secs
lola: 93231816 markings, 208863306 edges, 135711 markings/sec, 140 secs
lola: 96077050 markings, 216248683 edges, 569047 markings/sec, 145 secs
lola: 97978904 markings, 223009211 edges, 380371 markings/sec, 150 secs
lola: 100448372 markings, 229873464 edges, 493894 markings/sec, 155 secs
lola: 103173912 markings, 237719324 edges, 545108 markings/sec, 160 secs
lola: 105688076 markings, 245384956 edges, 502833 markings/sec, 165 secs
lola: 108413972 markings, 252890841 edges, 545179 markings/sec, 170 secs
lola: 110179158 markings, 258370258 edges, 353037 markings/sec, 175 secs
lola: 112626725 markings, 263546582 edges, 489513 markings/sec, 180 secs
lola: 114975112 markings, 268513336 edges, 469677 markings/sec, 185 secs
lola: 117118324 markings, 273046328 edges, 428642 markings/sec, 190 secs
lola: 117469943 markings, 275505490 edges, 70324 markings/sec, 195 secs
lola: 117602677 markings, 277896001 edges, 26547 markings/sec, 200 secs
lola: 119963515 markings, 284966659 edges, 472168 markings/sec, 205 secs
lola: 122520692 markings, 291451045 edges, 511435 markings/sec, 210 secs
lola: 125091755 markings, 298914793 edges, 514213 markings/sec, 215 secs
lola: 127929421 markings, 306637410 edges, 567533 markings/sec, 220 secs
lola: 130374352 markings, 314698519 edges, 488986 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4827643 markings, 9956125 edges, 965529 markings/sec, 0 secs
lola: 9658264 markings, 19921211 edges, 966124 markings/sec, 5 secs
lola: 14594491 markings, 30102616 edges, 987245 markings/sec, 10 secs
lola: 19477346 markings, 40174844 edges, 976571 markings/sec, 15 secs
lola: 24342194 markings, 50210587 edges, 972970 markings/sec, 20 secs
lola: 29201624 markings, 60233487 edges, 971886 markings/sec, 25 secs
lola: 34132149 markings, 70404730 edges, 986105 markings/sec, 30 secs
lola: 38816620 markings, 80068095 edges, 936894 markings/sec, 35 secs
lola: 43165252 markings, 89039293 edges, 869726 markings/sec, 40 secs
lola: 48210767 markings, 99446713 edges, 1009103 markings/sec, 45 secs
lola: 53147645 markings, 109629154 edges, 987376 markings/sec, 50 secs
lola: 58074554 markings, 119792401 edges, 985382 markings/sec, 55 secs
lola: 62955882 markings, 129863458 edges, 976266 markings/sec, 60 secs
lola: 67788415 markings, 139832521 edges, 966507 markings/sec, 65 secs
lola: 72297433 markings, 149131531 edges, 901804 markings/sec, 70 secs
lola: 77101351 markings, 159040771 edges, 960784 markings/sec, 75 secs
lola: 81904371 markings, 168950356 edges, 960604 markings/sec, 80 secs
lola: 86792028 markings, 179031703 edges, 977531 markings/sec, 85 secs
lola: 91582625 markings, 188911968 edges, 958119 markings/sec, 90 secs
lola: 96402237 markings, 198855260 edges, 963922 markings/sec, 95 secs
lola: 101397822 markings, 209161980 edges, 999117 markings/sec, 100 secs
lola: 106277960 markings, 219227128 edges, 976028 markings/sec, 105 secs
lola: 111142851 markings, 229261241 edges, 972978 markings/sec, 110 secs
lola: 116000929 markings, 239285505 edges, 971616 markings/sec, 115 secs
lola: 120894033 markings, 249377165 edges, 978621 markings/sec, 120 secs
lola: 125626998 markings, 259140744 edges, 946593 markings/sec, 125 secs
lola: 130525504 markings, 269247939 edges, 979701 markings/sec, 130 secs
lola: 135209658 markings, 278908151 edges, 936831 markings/sec, 135 secs
lola: 139924168 markings, 288633139 edges, 942902 markings/sec, 140 secs
lola: 144702788 markings, 298490539 edges, 955724 markings/sec, 145 secs
lola: 149440489 markings, 308262069 edges, 947540 markings/sec, 150 secs
lola: 154307083 markings, 318302256 edges, 973319 markings/sec, 155 secs
lola: 159098874 markings, 328186722 edges, 958358 markings/sec, 160 secs
lola: 163830594 markings, 337946171 edges, 946344 markings/sec, 165 secs
lola: 168639480 markings, 347867075 edges, 961777 markings/sec, 170 secs
lola: 173406833 markings, 357699418 edges, 953471 markings/sec, 175 secs
lola: 178167081 markings, 367520379 edges, 952050 markings/sec, 180 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pm2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5663470 markings, 8605016 edges, 1132694 markings/sec, 0 secs
lola: 11205652 markings, 17027602 edges, 1108436 markings/sec, 5 secs
lola: 16624956 markings, 25266919 edges, 1083861 markings/sec, 10 secs
lola: 21980133 markings, 33408379 edges, 1071035 markings/sec, 15 secs
lola: 27350664 markings, 41572792 edges, 1074106 markings/sec, 20 secs
lola: 32667210 markings, 49654053 edges, 1063309 markings/sec, 25 secs
lola: 37707417 markings, 57514362 edges, 1008041 markings/sec, 30 secs
lola: 41305415 markings, 67142323 edges, 719600 markings/sec, 35 secs
lola: 44808456 markings, 76774709 edges, 700608 markings/sec, 40 secs
lola: 48470784 markings, 86486691 edges, 732466 markings/sec, 45 secs
lola: 51946473 markings, 96466549 edges, 695138 markings/sec, 50 secs
lola: 54935820 markings, 106483019 edges, 597869 markings/sec, 55 secs
lola: 57344603 markings, 113776951 edges, 481757 markings/sec, 60 secs
lola: 60205328 markings, 119792739 edges, 572145 markings/sec, 65 secs
lola: 63054787 markings, 125784808 edges, 569892 markings/sec, 70 secs
lola: 65253439 markings, 130921894 edges, 439730 markings/sec, 75 secs
lola: 65417456 markings, 133875168 edges, 32803 markings/sec, 80 secs
lola: 67881556 markings, 140553952 edges, 492820 markings/sec, 85 secs
lola: 70062631 markings, 148111390 edges, 436215 markings/sec, 90 secs
lola: 73076945 markings, 156330163 edges, 602863 markings/sec, 95 secs
lola: 75945661 markings, 164827111 edges, 573743 markings/sec, 100 secs
lola: 78519827 markings, 173157133 edges, 514833 markings/sec, 105 secs
lola: 81359867 markings, 181914245 edges, 568008 markings/sec, 110 secs
lola: 83718335 markings, 187580888 edges, 471694 markings/sec, 115 secs
lola: 86332680 markings, 193109398 edges, 522869 markings/sec, 120 secs
lola: 88884220 markings, 198504973 edges, 510308 markings/sec, 125 secs
lola: 90240068 markings, 202536810 edges, 271170 markings/sec, 130 secs
lola: 90404821 markings, 205514331 edges, 32951 markings/sec, 135 secs
lola: 92963968 markings, 212715201 edges, 511829 markings/sec, 140 secs
lola: 95243491 markings, 219652548 edges, 455905 markings/sec, 145 secs
lola: 98083141 markings, 227575616 edges, 567930 markings/sec, 150 secs
lola: 100897333 markings, 235756086 edges, 562838 markings/sec, 155 secs
lola: 103435313 markings, 243851648 edges, 507596 markings/sec, 160 secs
lola: 106236325 markings, 252072596 edges, 560202 markings/sec, 165 secs
lola: 108382738 markings, 257865715 edges, 429283 markings/sec, 170 secs
lola: 110925802 markings, 263243501 edges, 508613 markings/sec, 175 secs
lola: 113352298 markings, 268374532 edges, 485299 markings/sec, 180 secs
lola: 115144966 markings, 272692348 edges, 358534 markings/sec, 185 secs
lola: 115302314 markings, 275524822 edges, 31470 markings/sec, 190 secs
lola: 117694339 markings, 281352053 edges, 478405 markings/sec, 195 secs
lola: 119824864 markings, 288358931 edges, 426105 markings/sec, 200 secs
lola: 122595209 markings, 295830060 edges, 554069 markings/sec, 205 secs
lola: 125515780 markings, 304156069 edges, 584114 markings/sec, 210 secs
lola: 127983418 markings, 312296390 edges, 493528 markings/sec, 215 secs
lola: 130940730 markings, 320483653 edges, 591462 markings/sec, 220 secs
lola: 132650913 markings, 327314172 edges, 342037 markings/sec, 225 secs
lola: 135234868 markings, 332778266 edges, 516791 markings/sec, 230 secs
lola: 137798032 markings, 338198470 edges, 512633 markings/sec, 235 secs
lola: 140066051 markings, 343137001 edges, 453604 markings/sec, 240 secs
lola: 140228725 markings, 346064421 edges, 32535 markings/sec, 245 secs
lola: 142467996 markings, 351222246 edges, 447854 markings/sec, 250 secs
lola: 144550489 markings, 357930334 edges, 416499 markings/sec, 255 secs
lola: 146482724 markings, 364684125 edges, 386447 markings/sec, 260 secs
lola: 149031962 markings, 372648055 edges, 509848 markings/sec, 265 secs
lola: 151729048 markings, 380556850 edges, 539417 markings/sec, 270 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Kanban-PT-1000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-1000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496357718202

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Kanban-PT-1000, 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 r118-blw7-149441649900137"
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 ;