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 Kanban-PT-1000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484600137
=====================================================================

--------------------
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 1494621196561


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Kanban-PT-1000 @ 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: 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: 5287133 markings, 9501757 edges, 1057427 markings/sec, 0 secs
lola: 11257809 markings, 20332802 edges, 1194135 markings/sec, 5 secs
lola: 16455995 markings, 29811910 edges, 1039637 markings/sec, 10 secs
lola: 21389745 markings, 38812514 edges, 986750 markings/sec, 15 secs
lola: 25758312 markings, 47705274 edges, 873713 markings/sec, 20 secs
lola: 29395697 markings, 57087049 edges, 727477 markings/sec, 25 secs
lola: 32756913 markings, 65756790 edges, 672243 markings/sec, 30 secs
lola: 36997089 markings, 74443478 edges, 848035 markings/sec, 35 secs
lola: 41428339 markings, 82528514 edges, 886250 markings/sec, 40 secs
lola: 44924516 markings, 91094757 edges, 699235 markings/sec, 45 secs
lola: 48049548 markings, 99638026 edges, 625006 markings/sec, 50 secs
lola: 51720417 markings, 108112212 edges, 734174 markings/sec, 55 secs
lola: 56341826 markings, 116544414 edges, 924282 markings/sec, 60 secs
lola: 60013506 markings, 124609713 edges, 734336 markings/sec, 65 secs
lola: 63009143 markings, 132804553 edges, 599127 markings/sec, 70 secs
lola: 65625902 markings, 139951317 edges, 523352 markings/sec, 75 secs
lola: 69888105 markings, 148065510 edges, 852441 markings/sec, 80 secs
lola: 74656994 markings, 156910523 edges, 953778 markings/sec, 85 secs
lola: 77554816 markings, 164830730 edges, 579564 markings/sec, 90 secs
lola: 80746737 markings, 173557464 edges, 638384 markings/sec, 95 secs
lola: 85104594 markings, 182633931 edges, 871571 markings/sec, 100 secs
lola: 89896436 markings, 191375467 edges, 958368 markings/sec, 105 secs
lola: 92770442 markings, 198692507 edges, 574801 markings/sec, 110 secs
lola: 95442183 markings, 205998061 edges, 534348 markings/sec, 115 secs
lola: 98753452 markings, 214342165 edges, 662254 markings/sec, 120 secs
lola: 103256942 markings, 222557729 edges, 900698 markings/sec, 125 secs
lola: 107156109 markings, 230286492 edges, 779833 markings/sec, 130 secs
lola: 109924668 markings, 237853784 edges, 553712 markings/sec, 135 secs
lola: 112813677 markings, 245753411 edges, 577802 markings/sec, 140 secs
lola: 116678209 markings, 253851166 edges, 772906 markings/sec, 145 secs
lola: 121294498 markings, 262272527 edges, 923258 markings/sec, 150 secs
lola: 124381373 markings, 269642670 edges, 617375 markings/sec, 155 secs
lola: 127122846 markings, 277138425 edges, 548295 markings/sec, 160 secs
lola: 129956498 markings, 284834588 edges, 566730 markings/sec, 165 secs
lola: 134934368 markings, 293965156 edges, 995574 markings/sec, 170 secs
lola: 139323241 markings, 302757377 edges, 877775 markings/sec, 175 secs
lola: 142411219 markings, 311196879 edges, 617596 markings/sec, 180 secs
lola: 145468328 markings, 319559736 edges, 611422 markings/sec, 185 secs
lola: 150204466 markings, 328631634 edges, 947228 markings/sec, 190 secs
lola: 154878357 markings, 337545818 edges, 934778 markings/sec, 195 secs
lola: 157933618 markings, 345898169 edges, 611052 markings/sec, 200 secs
lola: 160993379 markings, 354263333 edges, 611952 markings/sec, 205 secs
lola: 165476129 markings, 363300962 edges, 896550 markings/sec, 210 secs
lola: 170453353 markings, 372391783 edges, 995445 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: 6117759 markings, 9173821 edges, 1223552 markings/sec, 0 secs
lola: 11768262 markings, 17711832 edges, 1130101 markings/sec, 5 secs
lola: 15082813 markings, 22959988 edges, 662910 markings/sec, 10 secs
lola: 17728812 markings, 27199400 edges, 529200 markings/sec, 15 secs
lola: 19591234 markings, 30281787 edges, 372484 markings/sec, 20 secs
lola: 21298769 markings, 33104030 edges, 341507 markings/sec, 25 secs
lola: 22941757 markings, 35823505 edges, 328598 markings/sec, 30 secs
lola: 24256750 markings, 39099237 edges, 262999 markings/sec, 35 secs
lola: 25353660 markings, 42533457 edges, 219382 markings/sec, 40 secs
lola: 26519694 markings, 46204386 edges, 233207 markings/sec, 45 secs
lola: 27678965 markings, 49842920 edges, 231854 markings/sec, 50 secs
lola: 28829608 markings, 53431615 edges, 230129 markings/sec, 55 secs
lola: 29988713 markings, 57073903 edges, 231821 markings/sec, 60 secs
lola: 31096668 markings, 60567548 edges, 221591 markings/sec, 65 secs
lola: 32248050 markings, 64157086 edges, 230276 markings/sec, 70 secs
lola: 33270300 markings, 67384594 edges, 204450 markings/sec, 75 secs
lola: 34341174 markings, 70749326 edges, 214175 markings/sec, 80 secs
lola: 35435188 markings, 74164941 edges, 218803 markings/sec, 85 secs
lola: 36536564 markings, 77629867 edges, 220275 markings/sec, 90 secs
lola: 37624801 markings, 81037922 edges, 217647 markings/sec, 95 secs
lola: 39142901 markings, 84042479 edges, 303620 markings/sec, 100 secs
lola: 40926263 markings, 86866500 edges, 356672 markings/sec, 105 secs
lola: 42631797 markings, 89567526 edges, 341107 markings/sec, 110 secs
lola: 44131149 markings, 92166120 edges, 299870 markings/sec, 115 secs
lola: 45181286 markings, 95565999 edges, 210027 markings/sec, 120 secs
lola: 46114830 markings, 98620806 edges, 186709 markings/sec, 125 secs
lola: 47167583 markings, 102033033 edges, 210551 markings/sec, 130 secs
lola: 48123135 markings, 105162750 edges, 191110 markings/sec, 135 secs
lola: 49067951 markings, 108230802 edges, 188963 markings/sec, 140 secs
lola: 49986007 markings, 111220612 edges, 183611 markings/sec, 145 secs
lola: 50872770 markings, 114098330 edges, 177353 markings/sec, 150 secs
lola: 51816130 markings, 117162717 edges, 188672 markings/sec, 155 secs
lola: 52735326 markings, 120167175 edges, 183839 markings/sec, 160 secs
lola: 53752947 markings, 123477680 edges, 203524 markings/sec, 165 secs
lola: 54775317 markings, 126810586 edges, 204474 markings/sec, 170 secs
lola: 55803763 markings, 130158735 edges, 205689 markings/sec, 175 secs
lola: 56833362 markings, 133351947 edges, 205920 markings/sec, 180 secs
lola: 58382075 markings, 135805796 edges, 309743 markings/sec, 185 secs
lola: 59992830 markings, 138356747 edges, 322151 markings/sec, 190 secs
lola: 61540215 markings, 140806174 edges, 309477 markings/sec, 195 secs
lola: 62943928 markings, 143356051 edges, 280743 markings/sec, 200 secs
lola: 63863072 markings, 146364595 edges, 183829 markings/sec, 205 secs
lola: 64727803 markings, 149173371 edges, 172946 markings/sec, 210 secs
lola: 65671256 markings, 152262000 edges, 188691 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: 6959680 markings, 11981903 edges, 1391936 markings/sec, 0 secs
lola: 14538763 markings, 25034388 edges, 1515817 markings/sec, 5 secs
lola: 21795025 markings, 37529136 edges, 1451252 markings/sec, 10 secs
lola: 29450974 markings, 50712980 edges, 1531190 markings/sec, 15 secs
lola: 37259143 markings, 64159066 edges, 1561634 markings/sec, 20 secs
lola: 44666719 markings, 76914553 edges, 1481515 markings/sec, 25 secs
lola: 51020156 markings, 87868001 edges, 1270687 markings/sec, 30 secs
lola: 57527929 markings, 99096273 edges, 1301555 markings/sec, 35 secs
lola: 64084360 markings, 110408238 edges, 1311286 markings/sec, 40 secs
lola: 70677870 markings, 121781558 edges, 1318702 markings/sec, 45 secs
lola: 76763573 markings, 132495717 edges, 1217141 markings/sec, 50 secs
lola: 82859613 markings, 143235447 edges, 1219208 markings/sec, 55 secs
lola: 88940983 markings, 153948505 edges, 1216274 markings/sec, 60 secs
lola: 95079017 markings, 164762215 edges, 1227607 markings/sec, 65 secs
lola: 101182866 markings, 175516139 edges, 1220770 markings/sec, 70 secs
lola: 107278863 markings, 186255793 edges, 1219199 markings/sec, 75 secs
lola: 113189307 markings, 196652356 edges, 1182089 markings/sec, 80 secs
lola: 119185859 markings, 207237434 edges, 1199310 markings/sec, 85 secs
lola: 125119626 markings, 217735057 edges, 1186753 markings/sec, 90 secs
lola: 130832718 markings, 227843145 edges, 1142618 markings/sec, 95 secs
lola: 136650192 markings, 238137589 edges, 1163495 markings/sec, 100 secs
lola: 142480345 markings, 248452770 edges, 1166031 markings/sec, 105 secs
lola: 148227614 markings, 258621013 edges, 1149454 markings/sec, 110 secs
lola: 153736692 markings, 268351902 edges, 1101816 markings/sec, 115 secs
lola: 159638691 markings, 278745725 edges, 1180400 markings/sec, 120 secs
lola: 165360208 markings, 288825856 edges, 1144303 markings/sec, 125 secs
lola: 170917410 markings, 298616720 edges, 1111440 markings/sec, 130 secs
lola: 176531333 markings, 308505968 edges, 1122785 markings/sec, 135 secs
lola: 182158400 markings, 318419111 edges, 1125413 markings/sec, 140 secs
lola: 187947164 markings, 328618420 edges, 1157753 markings/sec, 145 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 226 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: 5341310 markings, 9601555 edges, 1068262 markings/sec, 0 secs
lola: 10590878 markings, 19044317 edges, 1049914 markings/sec, 5 secs
lola: 15374895 markings, 27800892 edges, 956803 markings/sec, 10 secs
lola: 17634391 markings, 32785207 edges, 451899 markings/sec, 15 secs
lola: 19808078 markings, 37570860 edges, 434737 markings/sec, 20 secs
lola: 21869761 markings, 42122688 edges, 412337 markings/sec, 25 secs
lola: 24013214 markings, 46865128 edges, 428691 markings/sec, 30 secs
lola: 26158151 markings, 51596897 edges, 428987 markings/sec, 35 secs
lola: 28377997 markings, 56480228 edges, 443969 markings/sec, 40 secs
lola: 30348878 markings, 60850215 edges, 394176 markings/sec, 45 secs
lola: 32377804 markings, 65347804 edges, 405785 markings/sec, 50 secs
lola: 34342928 markings, 69652730 edges, 393025 markings/sec, 55 secs
lola: 36260123 markings, 73886118 edges, 383439 markings/sec, 60 secs
lola: 38271611 markings, 78327898 edges, 402298 markings/sec, 65 secs
lola: 40153565 markings, 82477646 edges, 376391 markings/sec, 70 secs
lola: 42032605 markings, 86667206 edges, 375808 markings/sec, 75 secs
lola: 44135767 markings, 91311762 edges, 420632 markings/sec, 80 secs
lola: 46104501 markings, 95682637 edges, 393747 markings/sec, 85 secs
lola: 48021829 markings, 99881970 edges, 383466 markings/sec, 90 secs
lola: 50014075 markings, 104288498 edges, 398449 markings/sec, 95 secs
lola: 51812700 markings, 108230872 edges, 359725 markings/sec, 100 secs
lola: 53688183 markings, 112431256 edges, 375097 markings/sec, 105 secs
lola: 55480538 markings, 116357396 edges, 358471 markings/sec, 110 secs
lola: 57087894 markings, 119939961 edges, 321471 markings/sec, 115 secs
lola: 59102309 markings, 124380131 edges, 402883 markings/sec, 120 secs
lola: 61116775 markings, 128820371 edges, 402893 markings/sec, 125 secs
lola: 62956431 markings, 132905396 edges, 367931 markings/sec, 130 secs
lola: 64666242 markings, 136676302 edges, 341962 markings/sec, 135 secs
lola: 66230747 markings, 140169887 edges, 312901 markings/sec, 140 secs
lola: 68103990 markings, 144266522 edges, 374649 markings/sec, 145 secs
lola: 69873082 markings, 148211792 edges, 353818 markings/sec, 150 secs
lola: 71662309 markings, 152135402 edges, 357845 markings/sec, 155 secs
lola: 73433700 markings, 156085000 edges, 354278 markings/sec, 160 secs
lola: 75378650 markings, 160351801 edges, 388990 markings/sec, 165 secs
lola: 77264339 markings, 164537926 edges, 377138 markings/sec, 170 secs
lola: 79287234 markings, 169006870 edges, 404579 markings/sec, 175 secs
lola: 81415145 markings, 173656390 edges, 425582 markings/sec, 180 secs
lola: 83227263 markings, 177693451 edges, 362424 markings/sec, 185 secs
lola: 84982659 markings, 181585935 edges, 351079 markings/sec, 190 secs
lola: 86883287 markings, 185775601 edges, 380126 markings/sec, 195 secs
lola: 88698125 markings, 189809768 edges, 362968 markings/sec, 200 secs
lola: 90577249 markings, 193936473 edges, 375825 markings/sec, 205 secs
lola: 92501726 markings, 198219140 edges, 384895 markings/sec, 210 secs
lola: 94439969 markings, 202450967 edges, 387649 markings/sec, 215 secs
lola: 96019103 markings, 205970286 edges, 315827 markings/sec, 220 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 226 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: 4049518 markings, 9421205 edges, 809904 markings/sec, 0 secs
lola: 7878833 markings, 18654554 edges, 765863 markings/sec, 5 secs
lola: 11393505 markings, 27229770 edges, 702934 markings/sec, 10 secs
lola: 15094660 markings, 36067007 edges, 740231 markings/sec, 15 secs
lola: 18481404 markings, 44559744 edges, 677349 markings/sec, 20 secs
lola: 21791253 markings, 52950110 edges, 661970 markings/sec, 25 secs
lola: 25327334 markings, 61734193 edges, 707216 markings/sec, 30 secs
lola: 28728942 markings, 70150606 edges, 680322 markings/sec, 35 secs
lola: 32253835 markings, 78658041 edges, 704979 markings/sec, 40 secs
lola: 35070214 markings, 85801971 edges, 563276 markings/sec, 45 secs
lola: 38118728 markings, 93717037 edges, 609703 markings/sec, 50 secs
lola: 41582283 markings, 102226456 edges, 692711 markings/sec, 55 secs
lola: 44542215 markings, 109670278 edges, 591986 markings/sec, 60 secs
lola: 47455066 markings, 116989585 edges, 582570 markings/sec, 65 secs
lola: 50838464 markings, 125449478 edges, 676680 markings/sec, 70 secs
lola: 54210526 markings, 133723954 edges, 674412 markings/sec, 75 secs
lola: 57294215 markings, 141541279 edges, 616738 markings/sec, 80 secs
lola: 60711404 markings, 149860626 edges, 683438 markings/sec, 85 secs
lola: 64244014 markings, 158555226 edges, 706522 markings/sec, 90 secs
lola: 67910307 markings, 167331602 edges, 733259 markings/sec, 95 secs
lola: 70936936 markings, 174955263 edges, 605326 markings/sec, 100 secs
lola: 74196616 markings, 182906761 edges, 651936 markings/sec, 105 secs
lola: 77443310 markings, 190877052 edges, 649339 markings/sec, 110 secs
lola: 80424091 markings, 198534148 edges, 596156 markings/sec, 115 secs
lola: 83425019 markings, 206105058 edges, 600186 markings/sec, 120 secs
lola: 86550681 markings, 213974727 edges, 625132 markings/sec, 125 secs
lola: 89451817 markings, 221427454 edges, 580227 markings/sec, 130 secs
lola: 92851399 markings, 229718159 edges, 679916 markings/sec, 135 secs
lola: 95801863 markings, 237187580 edges, 590093 markings/sec, 140 secs
lola: 98916589 markings, 244886753 edges, 622945 markings/sec, 145 secs
lola: 102414623 markings, 253292844 edges, 699607 markings/sec, 150 secs
lola: 105305422 markings, 260670207 edges, 578160 markings/sec, 155 secs
lola: 108176054 markings, 268184865 edges, 574126 markings/sec, 160 secs
lola: 111494114 markings, 276370922 edges, 663612 markings/sec, 165 secs
lola: 114878295 markings, 284497213 edges, 676836 markings/sec, 170 secs
lola: 118034126 markings, 292332749 edges, 631166 markings/sec, 175 secs
lola: 120968713 markings, 299870942 edges, 586917 markings/sec, 180 secs
lola: 123891257 markings, 307334529 edges, 584509 markings/sec, 185 secs
lola: 127071799 markings, 315192864 edges, 636108 markings/sec, 190 secs
lola: 130112042 markings, 322914139 edges, 608049 markings/sec, 195 secs
lola: 133313527 markings, 330846583 edges, 640297 markings/sec, 200 secs
lola: 136932158 markings, 339582839 edges, 723726 markings/sec, 205 secs
lola: 140218720 markings, 347707179 edges, 657312 markings/sec, 210 secs
lola: 143343110 markings, 355544763 edges, 624878 markings/sec, 215 secs
lola: 146830251 markings, 364192557 edges, 697428 markings/sec, 220 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: 7961897 markings, 13708649 edges, 1592379 markings/sec, 0 secs
lola: 15756014 markings, 27129347 edges, 1558823 markings/sec, 5 secs
lola: 23584968 markings, 40612929 edges, 1565791 markings/sec, 10 secs
lola: 31238804 markings, 53792947 edges, 1530767 markings/sec, 15 secs
lola: 39032232 markings, 67212593 edges, 1558686 markings/sec, 20 secs
lola: 46288004 markings, 79702309 edges, 1451154 markings/sec, 25 secs
lola: 52768027 markings, 90882371 edges, 1296005 markings/sec, 30 secs
lola: 59344831 markings, 102231464 edges, 1315361 markings/sec, 35 secs
lola: 65914179 markings, 113565978 edges, 1313870 markings/sec, 40 secs
lola: 72104067 markings, 124287213 edges, 1237978 markings/sec, 45 secs
lola: 77835984 markings, 134383983 edges, 1146383 markings/sec, 50 secs
lola: 83664648 markings, 144654074 edges, 1165733 markings/sec, 55 secs
lola: 89736300 markings, 155349461 edges, 1214330 markings/sec, 60 secs
lola: 95559102 markings, 165609001 edges, 1164560 markings/sec, 65 secs
lola: 101161379 markings, 175478563 edges, 1120455 markings/sec, 70 secs
lola: 106992028 markings, 185750882 edges, 1166130 markings/sec, 75 secs
lola: 112944066 markings, 196227574 edges, 1190408 markings/sec, 80 secs
lola: 118604215 markings, 206207275 edges, 1132030 markings/sec, 85 secs
lola: 124519260 markings, 216673827 edges, 1183009 markings/sec, 90 secs
lola: 130253401 markings, 226818655 edges, 1146828 markings/sec, 95 secs
lola: 136028898 markings, 237038652 edges, 1155099 markings/sec, 100 secs
lola: 141729477 markings, 247123799 edges, 1140116 markings/sec, 105 secs
lola: 147236076 markings, 256867903 edges, 1101320 markings/sec, 110 secs
lola: 152544736 markings, 266252786 edges, 1061732 markings/sec, 115 secs
lola: 157951802 markings, 275773547 edges, 1081413 markings/sec, 120 secs
lola: 163838043 markings, 286143683 edges, 1177248 markings/sec, 125 secs
lola: 169729630 markings, 296523543 edges, 1178317 markings/sec, 130 secs
lola: 175587288 markings, 306842022 edges, 1171532 markings/sec, 135 secs
lola: 181474597 markings, 317216148 edges, 1177462 markings/sec, 140 secs
lola: 187458354 markings, 327756487 edges, 1196751 markings/sec, 145 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 233 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: 7769833 markings, 10196728 edges, 1553967 markings/sec, 0 secs
lola: 15488413 markings, 20327021 edges, 1543716 markings/sec, 5 secs
lola: 23242515 markings, 30505607 edges, 1550820 markings/sec, 10 secs
lola: 30792452 markings, 40415850 edges, 1509987 markings/sec, 15 secs
lola: 35479287 markings, 47718588 edges, 937367 markings/sec, 20 secs
lola: 39194061 markings, 53886038 edges, 742955 markings/sec, 25 secs
lola: 42761322 markings, 59838602 edges, 713452 markings/sec, 30 secs
lola: 46211190 markings, 65534000 edges, 689974 markings/sec, 35 secs
lola: 49633642 markings, 71205542 edges, 684490 markings/sec, 40 secs
lola: 52995923 markings, 76843226 edges, 672456 markings/sec, 45 secs
lola: 56293911 markings, 82284305 edges, 659598 markings/sec, 50 secs
lola: 59561201 markings, 87746828 edges, 653458 markings/sec, 55 secs
lola: 62904830 markings, 93249453 edges, 668726 markings/sec, 60 secs
lola: 66146453 markings, 98656056 edges, 648325 markings/sec, 65 secs
lola: 69297044 markings, 103967575 edges, 630118 markings/sec, 70 secs
lola: 72628052 markings, 109425415 edges, 666202 markings/sec, 75 secs
lola: 75865945 markings, 114884555 edges, 647579 markings/sec, 80 secs
lola: 78973692 markings, 120004953 edges, 621549 markings/sec, 85 secs
lola: 82243950 markings, 125380270 edges, 654052 markings/sec, 90 secs
lola: 85383919 markings, 130597711 edges, 627994 markings/sec, 95 secs
lola: 88558787 markings, 135892600 edges, 634974 markings/sec, 100 secs
lola: 91564423 markings, 140975825 edges, 601127 markings/sec, 105 secs
lola: 94805733 markings, 146415609 edges, 648262 markings/sec, 110 secs
lola: 97866400 markings, 151416098 edges, 612133 markings/sec, 115 secs
lola: 100922776 markings, 156529376 edges, 611275 markings/sec, 120 secs
lola: 104106438 markings, 161861861 edges, 636732 markings/sec, 125 secs
lola: 107218538 markings, 166966958 edges, 622420 markings/sec, 130 secs
lola: 110195458 markings, 171941474 edges, 595384 markings/sec, 135 secs
lola: 113119157 markings, 176904085 edges, 584740 markings/sec, 140 secs
lola: 116334603 markings, 182118146 edges, 643089 markings/sec, 145 secs
lola: 119417778 markings, 187285293 edges, 616635 markings/sec, 150 secs
lola: 122457444 markings, 192432091 edges, 607933 markings/sec, 155 secs
lola: 125515846 markings, 197506364 edges, 611680 markings/sec, 160 secs
lola: 128562517 markings, 202516514 edges, 609334 markings/sec, 165 secs
lola: 131603721 markings, 207530658 edges, 608241 markings/sec, 170 secs
lola: 134638314 markings, 212547513 edges, 606919 markings/sec, 175 secs
lola: 137658806 markings, 217569215 edges, 604098 markings/sec, 180 secs
lola: 140673663 markings, 222590459 edges, 602971 markings/sec, 185 secs
lola: 143697751 markings, 227617261 edges, 604818 markings/sec, 190 secs
lola: 146714380 markings, 232645532 edges, 603326 markings/sec, 195 secs
lola: 149716245 markings, 237675641 edges, 600373 markings/sec, 200 secs
lola: 152714750 markings, 242712927 edges, 599701 markings/sec, 205 secs
lola: 155706388 markings, 247752496 edges, 598328 markings/sec, 210 secs
lola: 158678658 markings, 252767401 edges, 594454 markings/sec, 215 secs
lola: 161665774 markings, 257656427 edges, 597423 markings/sec, 220 secs
lola: 164651065 markings, 262530210 edges, 597058 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 233 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: 6347898 markings, 11412357 edges, 1269580 markings/sec, 0 secs
lola: 12371522 markings, 22249464 edges, 1204725 markings/sec, 5 secs
lola: 18009070 markings, 32398889 edges, 1127510 markings/sec, 10 secs
lola: 23104315 markings, 41988957 edges, 1019049 markings/sec, 15 secs
lola: 26827241 markings, 51386636 edges, 744585 markings/sec, 20 secs
lola: 30906111 markings, 61677887 edges, 815774 markings/sec, 25 secs
lola: 35551349 markings, 71562424 edges, 929048 markings/sec, 30 secs
lola: 40777219 markings, 81191418 edges, 1045174 markings/sec, 35 secs
lola: 43926614 markings, 89525846 edges, 629879 markings/sec, 40 secs
lola: 47415297 markings, 98762706 edges, 697737 markings/sec, 45 secs
lola: 52061606 markings, 108471018 edges, 929262 markings/sec, 50 secs
lola: 57002342 markings, 117777979 edges, 988147 markings/sec, 55 secs
lola: 60257447 markings, 126395429 edges, 651021 markings/sec, 60 secs
lola: 63751744 markings, 135645679 edges, 698859 markings/sec, 65 secs
lola: 68318019 markings, 144927882 edges, 913255 markings/sec, 70 secs
lola: 72972375 markings, 153806747 edges, 930871 markings/sec, 75 secs
lola: 75628086 markings, 161366667 edges, 531142 markings/sec, 80 secs
lola: 78408107 markings, 169278644 edges, 556004 markings/sec, 85 secs
lola: 83128755 markings, 178372553 edges, 944130 markings/sec, 90 secs
lola: 87474412 markings, 187015565 edges, 869131 markings/sec, 95 secs
lola: 90459115 markings, 194917930 edges, 596941 markings/sec, 100 secs
lola: 93304198 markings, 202446346 edges, 569017 markings/sec, 105 secs
lola: 97103059 markings, 210720335 edges, 759772 markings/sec, 110 secs
lola: 102286203 markings, 220054363 edges, 1036629 markings/sec, 115 secs
lola: 105011673 markings, 227601566 edges, 545094 markings/sec, 120 secs
lola: 107766132 markings, 235438057 edges, 550892 markings/sec, 125 secs
lola: 111804232 markings, 243966341 edges, 807620 markings/sec, 130 secs
lola: 116763159 markings, 253116951 edges, 991785 markings/sec, 135 secs
lola: 119915908 markings, 261463571 edges, 630550 markings/sec, 140 secs
lola: 122945903 markings, 269487620 edges, 605999 markings/sec, 145 secs
lola: 126352655 markings, 277347511 edges, 681350 markings/sec, 150 secs
lola: 131310545 markings, 286277128 edges, 991578 markings/sec, 155 secs
lola: 134334040 markings, 293656172 edges, 604699 markings/sec, 160 secs
lola: 136797774 markings, 300669182 edges, 492747 markings/sec, 165 secs
lola: 139436827 markings, 307695795 edges, 527811 markings/sec, 170 secs
lola: 144420416 markings, 316671168 edges, 996718 markings/sec, 175 secs
lola: 147859859 markings, 324317366 edges, 687889 markings/sec, 180 secs
lola: 150173411 markings, 330900118 edges, 462710 markings/sec, 185 secs
lola: 152484870 markings, 337478518 edges, 462292 markings/sec, 190 secs
lola: 156655391 markings, 345469877 edges, 834104 markings/sec, 195 secs
lola: 161190509 markings, 354227576 edges, 907024 markings/sec, 200 secs
lola: 163950320 markings, 361535783 edges, 551962 markings/sec, 205 secs
lola: 166732238 markings, 368900729 edges, 556384 markings/sec, 210 secs
lola: 169466920 markings, 375723539 edges, 546936 markings/sec, 215 secs
lola: 174160435 markings, 384175898 edges, 938703 markings/sec, 220 secs
lola: 177715154 markings, 391874802 edges, 710944 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 233 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: 7230960 markings, 9489824 edges, 1446192 markings/sec, 0 secs
lola: 14665779 markings, 19247289 edges, 1486964 markings/sec, 5 secs
lola: 22086252 markings, 28987465 edges, 1484095 markings/sec, 10 secs
lola: 29491518 markings, 38707061 edges, 1481053 markings/sec, 15 secs
lola: 34738890 markings, 46495522 edges, 1049474 markings/sec, 20 secs
lola: 38490892 markings, 52735705 edges, 750400 markings/sec, 25 secs
lola: 42002400 markings, 58537920 edges, 702302 markings/sec, 30 secs
lola: 45267276 markings, 64003186 edges, 652975 markings/sec, 35 secs
lola: 48709719 markings, 69710188 edges, 688489 markings/sec, 40 secs
lola: 52090451 markings, 75268542 edges, 676146 markings/sec, 45 secs
lola: 54972281 markings, 80112728 edges, 576366 markings/sec, 50 secs
lola: 58064808 markings, 85257100 edges, 618505 markings/sec, 55 secs
lola: 61125540 markings, 90342791 edges, 612146 markings/sec, 60 secs
lola: 64234237 markings, 95541308 edges, 621739 markings/sec, 65 secs
lola: 67344471 markings, 100660638 edges, 622047 markings/sec, 70 secs
lola: 70194364 markings, 105460836 edges, 569979 markings/sec, 75 secs
lola: 73130319 markings, 110304702 edges, 587191 markings/sec, 80 secs
lola: 76138892 markings, 115264039 edges, 601715 markings/sec, 85 secs
lola: 79084754 markings, 120159346 edges, 589172 markings/sec, 90 secs
lola: 82302038 markings, 125487909 edges, 643457 markings/sec, 95 secs
lola: 85462466 markings, 130750674 edges, 632086 markings/sec, 100 secs
lola: 88549330 markings, 135879408 edges, 617373 markings/sec, 105 secs
lola: 91348874 markings, 140673046 edges, 559909 markings/sec, 110 secs
lola: 94569020 markings, 145981504 edges, 644029 markings/sec, 115 secs
lola: 97462986 markings, 150745271 edges, 578793 markings/sec, 120 secs
lola: 100325254 markings, 155531325 edges, 572454 markings/sec, 125 secs
lola: 103400104 markings, 160638186 edges, 614970 markings/sec, 130 secs
lola: 106488795 markings, 165798240 edges, 617738 markings/sec, 135 secs
lola: 109448384 markings, 170761607 edges, 591918 markings/sec, 140 secs
lola: 112370968 markings, 175529334 edges, 584517 markings/sec, 145 secs
lola: 115248244 markings, 180304395 edges, 575455 markings/sec, 150 secs
lola: 118033214 markings, 184972463 edges, 556994 markings/sec, 155 secs
lola: 120860668 markings, 189711402 edges, 565491 markings/sec, 160 secs
lola: 123816032 markings, 194688056 edges, 591073 markings/sec, 165 secs
lola: 126680132 markings, 199474719 edges, 572820 markings/sec, 170 secs
lola: 129716025 markings, 204511384 edges, 607179 markings/sec, 175 secs
lola: 132667697 markings, 209407316 edges, 590334 markings/sec, 180 secs
lola: 135585824 markings, 214268486 edges, 583625 markings/sec, 185 secs
lola: 138432450 markings, 219042199 edges, 569325 markings/sec, 190 secs
lola: 141278379 markings, 223770090 edges, 569186 markings/sec, 195 secs
lola: 144211637 markings, 228620087 edges, 586652 markings/sec, 200 secs
lola: 147220996 markings, 233606262 edges, 601872 markings/sec, 205 secs
lola: 150227614 markings, 238575245 edges, 601324 markings/sec, 210 secs
lola: 153255101 markings, 243573279 edges, 605497 markings/sec, 215 secs
lola: 156230809 markings, 248479551 edges, 595142 markings/sec, 220 secs
lola: 158948416 markings, 253150944 edges, 543521 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 233 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: 6023074 markings, 10831390 edges, 1204615 markings/sec, 0 secs
lola: 12405690 markings, 22316754 edges, 1276523 markings/sec, 5 secs
lola: 17964577 markings, 32314276 edges, 1111777 markings/sec, 10 secs
lola: 22984334 markings, 41341247 edges, 1003951 markings/sec, 15 secs
lola: 28112914 markings, 50569645 edges, 1025716 markings/sec, 20 secs
lola: 33280851 markings, 59890695 edges, 1033587 markings/sec, 25 secs
lola: 37759199 markings, 68092584 edges, 895670 markings/sec, 30 secs
lola: 40865785 markings, 75930195 edges, 621317 markings/sec, 35 secs
lola: 44316898 markings, 84635634 edges, 690223 markings/sec, 40 secs
lola: 47762264 markings, 93334582 edges, 689073 markings/sec, 45 secs
lola: 52498768 markings, 102084731 edges, 947301 markings/sec, 50 secs
lola: 56745514 markings, 110736106 edges, 849349 markings/sec, 55 secs
lola: 59679661 markings, 118502608 edges, 586829 markings/sec, 60 secs
lola: 62783679 markings, 126721552 edges, 620804 markings/sec, 65 secs
lola: 66992690 markings, 135377002 edges, 841802 markings/sec, 70 secs
lola: 71558377 markings, 143598859 edges, 913137 markings/sec, 75 secs
lola: 74391707 markings, 151098784 edges, 566666 markings/sec, 80 secs
lola: 77355134 markings, 158938507 edges, 592685 markings/sec, 85 secs
lola: 80690260 markings, 167234629 edges, 667025 markings/sec, 90 secs
lola: 85630593 markings, 176130359 edges, 988067 markings/sec, 95 secs
lola: 89267036 markings, 184126504 edges, 727289 markings/sec, 100 secs
lola: 91980422 markings, 191307189 edges, 542677 markings/sec, 105 secs
lola: 94876619 markings, 198973362 edges, 579239 markings/sec, 110 secs
lola: 98942693 markings, 207294118 edges, 813215 markings/sec, 115 secs
lola: 103708536 markings, 216006501 edges, 953169 markings/sec, 120 secs
lola: 106829757 markings, 224268661 edges, 624244 markings/sec, 125 secs
lola: 109980099 markings, 232607738 edges, 630068 markings/sec, 130 secs
lola: 113584954 markings, 240852727 edges, 720971 markings/sec, 135 secs
lola: 118482303 markings, 249671153 edges, 979470 markings/sec, 140 secs
lola: 121754384 markings, 257425084 edges, 654416 markings/sec, 145 secs
lola: 124601860 markings, 264961426 edges, 569495 markings/sec, 150 secs
lola: 127473290 markings, 272566573 edges, 574286 markings/sec, 155 secs
lola: 131885410 markings, 280998611 edges, 882424 markings/sec, 160 secs
lola: 136222969 markings, 289375890 edges, 867512 markings/sec, 165 secs
lola: 139021966 markings, 296785068 edges, 559799 markings/sec, 170 secs
lola: 141820204 markings, 304192471 edges, 559648 markings/sec, 175 secs
lola: 144872855 markings, 311577577 edges, 610530 markings/sec, 180 secs
lola: 149751448 markings, 320362059 edges, 975719 markings/sec, 185 secs
lola: 153156471 markings, 327852138 edges, 681005 markings/sec, 190 secs
lola: 155719993 markings, 334642312 edges, 512704 markings/sec, 195 secs
lola: 158334230 markings, 341561547 edges, 522847 markings/sec, 200 secs
lola: 161746670 markings, 349154812 edges, 682488 markings/sec, 205 secs
lola: 166641504 markings, 357968598 edges, 978967 markings/sec, 210 secs
lola: 170062007 markings, 366256485 edges, 684101 markings/sec, 215 secs
lola: 173183335 markings, 374518895 edges, 624266 markings/sec, 220 secs
lola: 176357425 markings, 382656623 edges, 634818 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 233 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: 6380743 markings, 11474886 edges, 1276149 markings/sec, 0 secs
lola: 12777078 markings, 22985008 edges, 1279267 markings/sec, 5 secs
lola: 18659739 markings, 33565311 edges, 1176532 markings/sec, 10 secs
lola: 24243407 markings, 43607334 edges, 1116734 markings/sec, 15 secs
lola: 29675833 markings, 53381915 edges, 1086485 markings/sec, 20 secs
lola: 35045580 markings, 63068670 edges, 1073949 markings/sec, 25 secs
lola: 39430017 markings, 72304282 edges, 876887 markings/sec, 30 secs
lola: 43108446 markings, 81589981 edges, 735686 markings/sec, 35 secs
lola: 46895306 markings, 91149635 edges, 757372 markings/sec, 40 secs
lola: 51640118 markings, 100539137 edges, 948962 markings/sec, 45 secs
lola: 56226578 markings, 109360869 edges, 917292 markings/sec, 50 secs
lola: 59398404 markings, 117757074 edges, 634365 markings/sec, 55 secs
lola: 62647661 markings, 126358360 edges, 649851 markings/sec, 60 secs
lola: 67022161 markings, 135430044 edges, 874900 markings/sec, 65 secs
lola: 71814639 markings, 144276633 edges, 958496 markings/sec, 70 secs
lola: 74913514 markings, 152475331 edges, 619775 markings/sec, 75 secs
lola: 78054557 markings, 160795063 edges, 628209 markings/sec, 80 secs
lola: 81792610 markings, 169219154 edges, 747611 markings/sec, 85 secs
lola: 86713625 markings, 178079993 edges, 984203 markings/sec, 90 secs
lola: 89860871 markings, 185700652 edges, 629449 markings/sec, 95 secs
lola: 92684810 markings, 193172560 edges, 564788 markings/sec, 100 secs
lola: 95559767 markings, 200786622 edges, 574991 markings/sec, 105 secs
lola: 100146790 markings, 209461702 edges, 917405 markings/sec, 110 secs
lola: 104468010 markings, 218018819 edges, 864244 markings/sec, 115 secs
lola: 107584994 markings, 226265062 edges, 623397 markings/sec, 120 secs
lola: 110732843 markings, 234599994 edges, 629570 markings/sec, 125 secs
lola: 114746086 markings, 242943722 edges, 802649 markings/sec, 130 secs
lola: 119577810 markings, 251663581 edges, 966345 markings/sec, 135 secs
lola: 122391831 markings, 259113136 edges, 562804 markings/sec, 140 secs
lola: 125228066 markings, 266619847 edges, 567247 markings/sec, 145 secs
lola: 128098245 markings, 274132023 edges, 574036 markings/sec, 150 secs
lola: 132916826 markings, 282855814 edges, 963716 markings/sec, 155 secs
lola: 136809196 markings, 290930030 edges, 778474 markings/sec, 160 secs
lola: 139589799 markings, 298290969 edges, 556121 markings/sec, 165 secs
lola: 142409071 markings, 305752777 edges, 563854 markings/sec, 170 secs
lola: 145909553 markings, 313444318 edges, 700096 markings/sec, 175 secs
lola: 150748055 markings, 322156837 edges, 967700 markings/sec, 180 secs
lola: 153700605 markings, 329297906 edges, 590510 markings/sec, 185 secs
lola: 156290839 markings, 336149631 edges, 518047 markings/sec, 190 secs
lola: 158939266 markings, 343158474 edges, 529685 markings/sec, 195 secs
lola: 162893684 markings, 351219745 edges, 790884 markings/sec, 200 secs
lola: 167673219 markings, 359932201 edges, 955907 markings/sec, 205 secs
lola: 170775942 markings, 368145874 edges, 620545 markings/sec, 210 secs
lola: 173932859 markings, 376501965 edges, 631383 markings/sec, 215 secs
lola: 177498621 markings, 384711498 edges, 713152 markings/sec, 220 secs
lola: 182403457 markings, 393543061 edges, 980967 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 233 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: 5783984 markings, 8730185 edges, 1156797 markings/sec, 0 secs
lola: 11780708 markings, 17507175 edges, 1199345 markings/sec, 5 secs
lola: 17699871 markings, 26166525 edges, 1183833 markings/sec, 10 secs
lola: 23534905 markings, 34707842 edges, 1167007 markings/sec, 15 secs
lola: 29373548 markings, 43249634 edges, 1167729 markings/sec, 20 secs
lola: 35113146 markings, 51649813 edges, 1147920 markings/sec, 25 secs
lola: 40674500 markings, 60111034 edges, 1112271 markings/sec, 30 secs
lola: 44612298 markings, 70110321 edges, 787560 markings/sec, 35 secs
lola: 47886048 markings, 79609068 edges, 654750 markings/sec, 40 secs
lola: 51115983 markings, 89884268 edges, 645987 markings/sec, 45 secs
lola: 54510749 markings, 100242096 edges, 678953 markings/sec, 50 secs
lola: 57602719 markings, 110515156 edges, 618394 markings/sec, 55 secs
lola: 60654802 markings, 117478350 edges, 610417 markings/sec, 60 secs
lola: 63778540 markings, 124047346 edges, 624748 markings/sec, 65 secs
lola: 66822208 markings, 130448164 edges, 608734 markings/sec, 70 secs
lola: 67633720 markings, 134700426 edges, 162302 markings/sec, 75 secs
lola: 70230872 markings, 141062074 edges, 519430 markings/sec, 80 secs
lola: 72550019 markings, 149202208 edges, 463829 markings/sec, 85 secs
lola: 75292077 markings, 157726201 edges, 548412 markings/sec, 90 secs
lola: 78182115 markings, 166361447 edges, 578008 markings/sec, 95 secs
lola: 80820588 markings, 174991949 edges, 527695 markings/sec, 100 secs
lola: 83600749 markings, 183381376 edges, 556032 markings/sec, 105 secs
lola: 86169552 markings, 189478406 edges, 513761 markings/sec, 110 secs
lola: 88936259 markings, 195329813 edges, 553341 markings/sec, 115 secs
lola: 91533533 markings, 200823077 edges, 519455 markings/sec, 120 secs
lola: 92511347 markings, 204366532 edges, 195563 markings/sec, 125 secs
lola: 92654383 markings, 206943822 edges, 28607 markings/sec, 130 secs
lola: 95632930 markings, 214417984 edges, 595709 markings/sec, 135 secs
lola: 97776060 markings, 221793591 edges, 428626 markings/sec, 140 secs
lola: 100384541 markings, 229493500 edges, 521696 markings/sec, 145 secs
lola: 103171699 markings, 237686173 edges, 557432 markings/sec, 150 secs
lola: 105765091 markings, 245856547 edges, 518678 markings/sec, 155 secs
lola: 108559027 markings, 254383353 edges, 558787 markings/sec, 160 secs
lola: 111123258 markings, 260366922 edges, 512846 markings/sec, 165 secs
lola: 113918766 markings, 266279043 edges, 559102 markings/sec, 170 secs
lola: 116657563 markings, 272071663 edges, 547759 markings/sec, 175 secs
lola: 117504229 markings, 276121118 edges, 169333 markings/sec, 180 secs
lola: 118785780 markings, 281512007 edges, 256310 markings/sec, 185 secs
lola: 121622743 markings, 289708541 edges, 567393 markings/sec, 190 secs
lola: 124883718 markings, 297651598 edges, 652195 markings/sec, 195 secs
lola: 127860767 markings, 305938007 edges, 595410 markings/sec, 200 secs
lola: 130333937 markings, 314460842 edges, 494634 markings/sec, 205 secs
lola: 133281691 markings, 322972944 edges, 589551 markings/sec, 210 secs
lola: 135353975 markings, 329730638 edges, 414457 markings/sec, 215 secs
lola: 138184190 markings, 335716934 edges, 566043 markings/sec, 220 secs
lola: 140968411 markings, 341604852 edges, 556844 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 233 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: 5540441 markings, 9961474 edges, 1108088 markings/sec, 0 secs
lola: 11042761 markings, 19861971 edges, 1100464 markings/sec, 5 secs
lola: 15852781 markings, 28552521 edges, 962004 markings/sec, 10 secs
lola: 18911985 markings, 34186748 edges, 611841 markings/sec, 15 secs
lola: 21856261 markings, 39608956 edges, 588855 markings/sec, 20 secs
lola: 24589995 markings, 44694378 edges, 546747 markings/sec, 25 secs
lola: 26327834 markings, 49088887 edges, 347568 markings/sec, 30 secs
lola: 28057982 markings, 53466091 edges, 346030 markings/sec, 35 secs
lola: 29781195 markings, 57825987 edges, 344643 markings/sec, 40 secs
lola: 31511632 markings, 62200800 edges, 346087 markings/sec, 45 secs
lola: 33383316 markings, 66676159 edges, 374337 markings/sec, 50 secs
lola: 35888455 markings, 71242928 edges, 501028 markings/sec, 55 secs
lola: 38537400 markings, 76072295 edges, 529789 markings/sec, 60 secs
lola: 41134620 markings, 80807325 edges, 519444 markings/sec, 65 secs
lola: 42792976 markings, 84831568 edges, 331671 markings/sec, 70 secs
lola: 44307244 markings, 88766757 edges, 302854 markings/sec, 75 secs
lola: 45799044 markings, 92646367 edges, 298360 markings/sec, 80 secs
lola: 47263019 markings, 96454486 edges, 292795 markings/sec, 85 secs
lola: 48734809 markings, 100280466 edges, 294358 markings/sec, 90 secs
lola: 50981491 markings, 104584946 edges, 449336 markings/sec, 95 secs
lola: 53287750 markings, 108789385 edges, 461252 markings/sec, 100 secs
lola: 55761484 markings, 113299309 edges, 494747 markings/sec, 105 secs
lola: 57867645 markings, 117412470 edges, 421232 markings/sec, 110 secs
lola: 59320947 markings, 121191480 edges, 290660 markings/sec, 115 secs
lola: 60776132 markings, 124974793 edges, 291037 markings/sec, 120 secs
lola: 62207806 markings, 128699651 edges, 286335 markings/sec, 125 secs
lola: 63599487 markings, 132315305 edges, 278336 markings/sec, 130 secs
lola: 65030400 markings, 136023283 edges, 286183 markings/sec, 135 secs
lola: 67635134 markings, 140711217 edges, 520947 markings/sec, 140 secs
lola: 70348078 markings, 145593335 edges, 542589 markings/sec, 145 secs
lola: 72766625 markings, 150162286 edges, 483709 markings/sec, 150 secs
lola: 74183951 markings, 153980987 edges, 283465 markings/sec, 155 secs
lola: 75605835 markings, 157807908 edges, 284377 markings/sec, 160 secs
lola: 76965199 markings, 161468501 edges, 271873 markings/sec, 165 secs
lola: 78309565 markings, 165087072 edges, 268873 markings/sec, 170 secs
lola: 80333679 markings, 169395904 edges, 404823 markings/sec, 175 secs
lola: 82784972 markings, 173864875 edges, 490259 markings/sec, 180 secs
lola: 85595887 markings, 178989527 edges, 562183 markings/sec, 185 secs
lola: 87946111 markings, 183601108 edges, 470045 markings/sec, 190 secs
lola: 89446803 markings, 187505942 edges, 300138 markings/sec, 195 secs
lola: 90974350 markings, 191474854 edges, 305509 markings/sec, 200 secs
lola: 92415287 markings, 195220888 edges, 288187 markings/sec, 205 secs
lola: 93789859 markings, 198796372 edges, 274914 markings/sec, 210 secs
lola: 95326517 markings, 202541844 edges, 307332 markings/sec, 215 secs
lola: 97501954 markings, 206457196 edges, 435087 markings/sec, 220 secs
lola: 99952491 markings, 210867024 edges, 490107 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 233 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: 5799469 markings, 8753257 edges, 1159894 markings/sec, 0 secs
lola: 11798720 markings, 17532763 edges, 1199850 markings/sec, 5 secs
lola: 17717171 markings, 26191582 edges, 1183690 markings/sec, 10 secs
lola: 23480739 markings, 34628299 edges, 1152714 markings/sec, 15 secs
lola: 29315620 markings, 43165978 edges, 1166976 markings/sec, 20 secs
lola: 35053374 markings, 51560979 edges, 1147551 markings/sec, 25 secs
lola: 40605886 markings, 59992595 edges, 1110502 markings/sec, 30 secs
lola: 44572145 markings, 70038028 edges, 793252 markings/sec, 35 secs
lola: 48037313 markings, 79872186 edges, 693034 markings/sec, 40 secs
lola: 51163835 markings, 90146101 edges, 625304 markings/sec, 45 secs
lola: 54535133 markings, 100435509 edges, 674260 markings/sec, 50 secs
lola: 57624691 markings, 110623715 edges, 617912 markings/sec, 55 secs
lola: 60620138 markings, 117405002 edges, 599089 markings/sec, 60 secs
lola: 63698477 markings, 123879182 edges, 615668 markings/sec, 65 secs
lola: 66701001 markings, 130193693 edges, 600505 markings/sec, 70 secs
lola: 67626685 markings, 134563660 edges, 185137 markings/sec, 75 secs
lola: 70214274 markings, 140945401 edges, 517518 markings/sec, 80 secs
lola: 72541936 markings, 149147834 edges, 465532 markings/sec, 85 secs
lola: 75282831 markings, 157668467 edges, 548179 markings/sec, 90 secs
lola: 78178802 markings, 166337778 edges, 579194 markings/sec, 95 secs
lola: 80822946 markings, 175007204 edges, 528829 markings/sec, 100 secs
lola: 83655226 markings, 183943363 edges, 566456 markings/sec, 105 secs
lola: 86395062 markings, 189955855 edges, 547967 markings/sec, 110 secs
lola: 89253362 markings, 196000532 edges, 571660 markings/sec, 115 secs
lola: 92031111 markings, 201875668 edges, 555550 markings/sec, 120 secs
lola: 92599171 markings, 205951619 edges, 113612 markings/sec, 125 secs
lola: 94533160 markings, 212579894 edges, 386798 markings/sec, 130 secs
lola: 97529046 markings, 220289904 edges, 599177 markings/sec, 135 secs
lola: 100183966 markings, 228267267 edges, 530984 markings/sec, 140 secs
lola: 103036831 markings, 236299266 edges, 570573 markings/sec, 145 secs
lola: 105542171 markings, 244497172 edges, 501068 markings/sec, 150 secs
lola: 108407631 markings, 252825209 edges, 573092 markings/sec, 155 secs
lola: 110529465 markings, 259111138 edges, 424367 markings/sec, 160 secs
lola: 113252564 markings, 264870040 edges, 544620 markings/sec, 165 secs
lola: 115938281 markings, 270550483 edges, 537143 markings/sec, 170 secs
lola: 117442997 markings, 275019744 edges, 300943 markings/sec, 175 secs
lola: 117730802 markings, 278397764 edges, 57561 markings/sec, 180 secs
lola: 120980150 markings, 286666399 edges, 649870 markings/sec, 185 secs
lola: 123145655 markings, 294261868 edges, 433101 markings/sec, 190 secs
lola: 125866462 markings, 302404346 edges, 544161 markings/sec, 195 secs
lola: 128686214 markings, 310590745 edges, 563950 markings/sec, 200 secs
lola: 131469790 markings, 318882080 edges, 556715 markings/sec, 205 secs
lola: 134045901 markings, 326964567 edges, 515222 markings/sec, 210 secs
lola: 136758816 markings, 332701589 edges, 542583 markings/sec, 215 secs
lola: 139498941 markings, 338497061 edges, 548025 markings/sec, 220 secs
lola: 142163139 markings, 344131763 edges, 532840 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 234 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: 5170851 markings, 10664125 edges, 1034170 markings/sec, 0 secs
lola: 10324248 markings, 21293120 edges, 1030679 markings/sec, 5 secs
lola: 15439343 markings, 31844189 edges, 1023019 markings/sec, 10 secs
lola: 20579988 markings, 42449692 edges, 1028129 markings/sec, 15 secs
lola: 25689339 markings, 52988264 edges, 1021870 markings/sec, 20 secs
lola: 30733779 markings, 63394009 edges, 1008888 markings/sec, 25 secs
lola: 35830763 markings, 73909233 edges, 1019397 markings/sec, 30 secs
lola: 40855447 markings, 84274586 edges, 1004937 markings/sec, 35 secs
lola: 45918584 markings, 94718743 edges, 1012627 markings/sec, 40 secs
lola: 51073560 markings, 105350659 edges, 1030995 markings/sec, 45 secs
lola: 56125698 markings, 115773647 edges, 1010428 markings/sec, 50 secs
lola: 61208356 markings, 126257616 edges, 1016532 markings/sec, 55 secs
lola: 66234880 markings, 136627148 edges, 1005305 markings/sec, 60 secs
lola: 71237342 markings, 146946354 edges, 1000492 markings/sec, 65 secs
lola: 76307230 markings, 157403993 edges, 1013978 markings/sec, 70 secs
lola: 81320157 markings, 167743725 edges, 1002585 markings/sec, 75 secs
lola: 86327003 markings, 178072663 edges, 1001369 markings/sec, 80 secs
lola: 91298424 markings, 188327194 edges, 994284 markings/sec, 85 secs
lola: 96218576 markings, 198475695 edges, 984030 markings/sec, 90 secs
lola: 101328903 markings, 209018136 edges, 1022065 markings/sec, 95 secs
lola: 106378165 markings, 219435867 edges, 1009852 markings/sec, 100 secs
lola: 111381215 markings, 229754194 edges, 1000610 markings/sec, 105 secs
lola: 116373892 markings, 240054864 edges, 998535 markings/sec, 110 secs
lola: 121324067 markings, 250266088 edges, 990035 markings/sec, 115 secs
lola: 126295578 markings, 260520818 edges, 994302 markings/sec, 120 secs
lola: 131251761 markings, 270744739 edges, 991237 markings/sec, 125 secs
lola: 136116166 markings, 280778385 edges, 972881 markings/sec, 130 secs
lola: 141022107 markings, 290896476 edges, 981188 markings/sec, 135 secs
lola: 145869825 markings, 300898166 edges, 969544 markings/sec, 140 secs
lola: 150712974 markings, 310889166 edges, 968630 markings/sec, 145 secs
lola: 155701867 markings, 321179228 edges, 997779 markings/sec, 150 secs
lola: 160608931 markings, 331302372 edges, 981413 markings/sec, 155 secs
lola: 165503904 markings, 341399221 edges, 978995 markings/sec, 160 secs
lola: 170369884 markings, 351435124 edges, 973196 markings/sec, 165 secs
lola: 175199882 markings, 361400680 edges, 966000 markings/sec, 170 secs
lola: 180095718 markings, 371499640 edges, 979167 markings/sec, 175 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 287 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: 5764404 markings, 8756464 edges, 1152881 markings/sec, 0 secs
lola: 11402206 markings, 17328977 edges, 1127560 markings/sec, 5 secs
lola: 16909924 markings, 25702822 edges, 1101544 markings/sec, 10 secs
lola: 22484489 markings, 34175797 edges, 1114913 markings/sec, 15 secs
lola: 27937513 markings, 42463536 edges, 1090605 markings/sec, 20 secs
lola: 33375196 markings, 50729660 edges, 1087537 markings/sec, 25 secs
lola: 38229076 markings, 59086277 edges, 970776 markings/sec, 30 secs
lola: 41930319 markings, 69037245 edges, 740249 markings/sec, 35 secs
lola: 45984040 markings, 78895585 edges, 810744 markings/sec, 40 secs
lola: 49052268 markings, 89351503 edges, 613646 markings/sec, 45 secs
lola: 52353583 markings, 99639880 edges, 660263 markings/sec, 50 secs
lola: 55460884 markings, 109654895 edges, 621460 markings/sec, 55 secs
lola: 58392879 markings, 115981349 edges, 586399 markings/sec, 60 secs
lola: 61378447 markings, 122259653 edges, 597114 markings/sec, 65 secs
lola: 64307103 markings, 128418259 edges, 585731 markings/sec, 70 secs
lola: 65353062 markings, 132718551 edges, 209192 markings/sec, 75 secs
lola: 67011980 markings, 138075701 edges, 331784 markings/sec, 80 secs
lola: 69646312 markings, 145950407 edges, 526866 markings/sec, 85 secs
lola: 72706289 markings, 154083578 edges, 611995 markings/sec, 90 secs
lola: 75773986 markings, 163050827 edges, 613539 markings/sec, 95 secs
lola: 78332630 markings, 172008077 edges, 511729 markings/sec, 100 secs
lola: 81259365 markings, 180887141 edges, 585347 markings/sec, 105 secs
lola: 83515755 markings, 187152541 edges, 451278 markings/sec, 110 secs
lola: 86252926 markings, 192940703 edges, 547434 markings/sec, 115 secs
lola: 88931398 markings, 198604617 edges, 535694 markings/sec, 120 secs
lola: 90256630 markings, 202839595 edges, 265046 markings/sec, 125 secs
lola: 90689069 markings, 206546444 edges, 86488 markings/sec, 130 secs
lola: 93276176 markings, 214056210 edges, 517421 markings/sec, 135 secs
lola: 95625202 markings, 221239028 edges, 469805 markings/sec, 140 secs
lola: 98425023 markings, 229658520 edges, 559964 markings/sec, 145 secs
lola: 101270657 markings, 237963509 edges, 569127 markings/sec, 150 secs
lola: 104076044 markings, 246226502 edges, 561077 markings/sec, 155 secs
lola: 106720579 markings, 254350956 edges, 528907 markings/sec, 160 secs
lola: 109385771 markings, 259986898 edges, 533038 markings/sec, 165 secs
lola: 112026392 markings, 265570735 edges, 528124 markings/sec, 170 secs
lola: 114611049 markings, 271036355 edges, 516931 markings/sec, 175 secs
lola: 115248422 markings, 274554441 edges, 127475 markings/sec, 180 secs
lola: 116696415 markings, 279040938 edges, 289599 markings/sec, 185 secs
lola: 119199318 markings, 286387140 edges, 500581 markings/sec, 190 secs
lola: 121476485 markings, 293713930 edges, 455433 markings/sec, 195 secs
lola: 124380911 markings, 302257888 edges, 580885 markings/sec, 200 secs
lola: 127427906 markings, 310621354 edges, 609399 markings/sec, 205 secs
lola: 130189582 markings, 319058369 edges, 552335 markings/sec, 210 secs
lola: 132253168 markings, 326473010 edges, 412717 markings/sec, 215 secs
lola: 134921680 markings, 332115998 edges, 533702 markings/sec, 220 secs
lola: 137583554 markings, 337744904 edges, 532375 markings/sec, 225 secs
lola: 140064939 markings, 343108990 edges, 496277 markings/sec, 230 secs
lola: 140234709 markings, 346166839 edges, 33954 markings/sec, 235 secs
lola: 142611989 markings, 351934625 edges, 475456 markings/sec, 240 secs
lola: 144712051 markings, 358776821 edges, 420012 markings/sec, 245 secs
lola: 147450867 markings, 366166409 edges, 547763 markings/sec, 250 secs
lola: 150153138 markings, 374521932 edges, 540454 markings/sec, 255 secs
lola: 152865500 markings, 382797984 edges, 542472 markings/sec, 260 secs
lola: 155744623 markings, 390960197 edges, 575825 markings/sec, 265 secs
lola: 157516776 markings, 398027020 edges, 354431 markings/sec, 270 secs
lola: 160195979 markings, 403692523 edges, 535841 markings/sec, 275 secs
lola: 162824132 markings, 409250085 edges, 525631 markings/sec, 280 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 1494624736743

--------------------
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="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/Kanban-PT-1000.tgz
mv 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 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 r038-blw7-149440484600137"
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 ;