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_Raft-PT-08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432700011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496437889706


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


checking for too many tokens
===========================================================================================
S_Raft-PT-08: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Raft-PT-08 @ 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: 896/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 328 places, 568 transitions, 264 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 559 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-08-UpperBounds.task
lola: MAX(p290) : MAX(p306) : MAX(p30) : MAX(p157) : MAX(p141) : MAX(p52) : MAX(p79) : MAX(p29) : MAX(p117) : MAX(p240) : MAX(p283) : MAX(p325) : MAX(p172) : MAX(p37) : MAX(p162) : MAX(p127)
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(p290)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 268466 markings, 632256 edges, 53693 markings/sec, 0 secs
lola: 519122 markings, 1222312 edges, 50131 markings/sec, 5 secs
lola: 782444 markings, 1845620 edges, 52664 markings/sec, 10 secs
lola: 1063386 markings, 2507522 edges, 56188 markings/sec, 15 secs
lola: 1326633 markings, 3126288 edges, 52649 markings/sec, 20 secs
lola: 1581519 markings, 3729056 edges, 50977 markings/sec, 25 secs
lola: 1827884 markings, 4315603 edges, 49273 markings/sec, 30 secs
lola: 2074516 markings, 4897981 edges, 49326 markings/sec, 35 secs
lola: 2329133 markings, 5499130 edges, 50923 markings/sec, 40 secs
lola: 2591718 markings, 6122275 edges, 52517 markings/sec, 45 secs
lola: 2842306 markings, 6712847 edges, 50118 markings/sec, 50 secs
lola: 3090816 markings, 7300522 edges, 49702 markings/sec, 55 secs
lola: 3337847 markings, 7883867 edges, 49406 markings/sec, 60 secs
lola: 3584274 markings, 8466652 edges, 49285 markings/sec, 65 secs
lola: 3844839 markings, 9086008 edges, 52113 markings/sec, 70 secs
lola: 4106843 markings, 9711137 edges, 52401 markings/sec, 75 secs
lola: 4368124 markings, 10328683 edges, 52256 markings/sec, 80 secs
lola: 4629447 markings, 10947193 edges, 52265 markings/sec, 85 secs
lola: 4892568 markings, 11570136 edges, 52624 markings/sec, 90 secs
lola: 5153121 markings, 12188916 edges, 52111 markings/sec, 95 secs
lola: 5409473 markings, 12797765 edges, 51270 markings/sec, 100 secs
lola: 5664508 markings, 13400080 edges, 51007 markings/sec, 105 secs
lola: 5924482 markings, 14017476 edges, 51995 markings/sec, 110 secs
lola: 6181526 markings, 14629857 edges, 51409 markings/sec, 115 secs
lola: 6440088 markings, 15244051 edges, 51712 markings/sec, 120 secs
lola: 6695733 markings, 15849971 edges, 51129 markings/sec, 125 secs
lola: 6952420 markings, 16458210 edges, 51337 markings/sec, 130 secs
lola: 7209563 markings, 17070403 edges, 51429 markings/sec, 135 secs
lola: 7453244 markings, 17651521 edges, 48736 markings/sec, 140 secs
lola: 7706470 markings, 18255254 edges, 50645 markings/sec, 145 secs
lola: 7968571 markings, 18876447 edges, 52420 markings/sec, 150 secs
lola: 8232527 markings, 19503681 edges, 52791 markings/sec, 155 secs
lola: 8500024 markings, 20139749 edges, 53499 markings/sec, 160 secs
lola: 8771362 markings, 20785598 edges, 54268 markings/sec, 165 secs
lola: 9040459 markings, 21427098 edges, 53819 markings/sec, 170 secs
lola: 9310596 markings, 22067017 edges, 54027 markings/sec, 175 secs
lola: 9581792 markings, 22711510 edges, 54239 markings/sec, 180 secs
lola: 9849589 markings, 23348632 edges, 53559 markings/sec, 185 secs
lola: 10121620 markings, 23995728 edges, 54406 markings/sec, 190 secs
lola: 10395076 markings, 24648992 edges, 54691 markings/sec, 195 secs
lola: 10662810 markings, 25284746 edges, 53547 markings/sec, 200 secs
lola: 10931487 markings, 25925672 edges, 53735 markings/sec, 205 secs
lola: 11201438 markings, 26565916 edges, 53990 markings/sec, 210 secs
lola: 11470624 markings, 27206515 edges, 53837 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(p306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 336847 markings, 696978 edges, 67369 markings/sec, 0 secs
lola: 679305 markings, 1405533 edges, 68492 markings/sec, 5 secs
lola: 1029475 markings, 2130028 edges, 70034 markings/sec, 10 secs
lola: 1381543 markings, 2858484 edges, 70414 markings/sec, 15 secs
lola: 1728753 markings, 3576897 edges, 69442 markings/sec, 20 secs
lola: 2077575 markings, 4299887 edges, 69764 markings/sec, 25 secs
lola: 2417139 markings, 5004771 edges, 67913 markings/sec, 30 secs
lola: 2755321 markings, 5708431 edges, 67636 markings/sec, 35 secs
lola: 3089018 markings, 6401511 edges, 66739 markings/sec, 40 secs
lola: 3426305 markings, 7099364 edges, 67457 markings/sec, 45 secs
lola: 3764658 markings, 7800384 edges, 67671 markings/sec, 50 secs
lola: 4098811 markings, 8495313 edges, 66831 markings/sec, 55 secs
lola: 4424136 markings, 9168770 edges, 65065 markings/sec, 60 secs
lola: 4748421 markings, 9843629 edges, 64857 markings/sec, 65 secs
lola: 5074407 markings, 10523500 edges, 65197 markings/sec, 70 secs
lola: 5405468 markings, 11211102 edges, 66212 markings/sec, 75 secs
lola: 5740131 markings, 11905607 edges, 66933 markings/sec, 80 secs
lola: 6073922 markings, 12599687 edges, 66758 markings/sec, 85 secs
lola: 6409731 markings, 13296404 edges, 67162 markings/sec, 90 secs
lola: 6737310 markings, 13976196 edges, 65516 markings/sec, 95 secs
lola: 7062224 markings, 14655110 edges, 64983 markings/sec, 100 secs
lola: 7390257 markings, 15340342 edges, 65607 markings/sec, 105 secs
lola: 7715044 markings, 16017255 edges, 64957 markings/sec, 110 secs
lola: 8046533 markings, 16707286 edges, 66298 markings/sec, 115 secs
lola: 8377950 markings, 17398342 edges, 66283 markings/sec, 120 secs
lola: 8712467 markings, 18097833 edges, 66903 markings/sec, 125 secs
lola: 9045438 markings, 18793400 edges, 66594 markings/sec, 130 secs
lola: 9372259 markings, 19477598 edges, 65364 markings/sec, 135 secs
lola: 9697186 markings, 20152667 edges, 64985 markings/sec, 140 secs
lola: 10025161 markings, 20831238 edges, 65595 markings/sec, 145 secs
lola: 10351999 markings, 21507460 edges, 65368 markings/sec, 150 secs
lola: 10677409 markings, 22181237 edges, 65082 markings/sec, 155 secs
lola: 11002257 markings, 22861601 edges, 64970 markings/sec, 160 secs
lola: 11328889 markings, 23540033 edges, 65326 markings/sec, 165 secs
lola: 11652085 markings, 24213944 edges, 64639 markings/sec, 170 secs
lola: 11970534 markings, 24879677 edges, 63690 markings/sec, 175 secs
lola: 12291530 markings, 25552223 edges, 64199 markings/sec, 180 secs
lola: 12609346 markings, 26216838 edges, 63563 markings/sec, 185 secs
lola: 12928529 markings, 26884502 edges, 63837 markings/sec, 190 secs
lola: 13247760 markings, 27553079 edges, 63846 markings/sec, 195 secs
lola: 13566487 markings, 28222130 edges, 63745 markings/sec, 200 secs
lola: 13887533 markings, 28893623 edges, 64209 markings/sec, 205 secs
lola: 14208160 markings, 29563655 edges, 64125 markings/sec, 210 secs
lola: 14529966 markings, 30234510 edges, 64361 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(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 244879 markings, 705865 edges, 48976 markings/sec, 0 secs
lola: 477726 markings, 1377610 edges, 46569 markings/sec, 5 secs
lola: 708947 markings, 2047429 edges, 46244 markings/sec, 10 secs
lola: 938850 markings, 2711614 edges, 45981 markings/sec, 15 secs
lola: 1174550 markings, 3392862 edges, 47140 markings/sec, 20 secs
lola: 1419110 markings, 4101570 edges, 48912 markings/sec, 25 secs
lola: 1667727 markings, 4820756 edges, 49723 markings/sec, 30 secs
lola: 1914770 markings, 5541655 edges, 49409 markings/sec, 35 secs
lola: 2159661 markings, 6257251 edges, 48978 markings/sec, 40 secs
lola: 2404641 markings, 6965021 edges, 48996 markings/sec, 45 secs
lola: 2649420 markings, 7678822 edges, 48956 markings/sec, 50 secs
lola: 2894135 markings, 8393982 edges, 48943 markings/sec, 55 secs
lola: 3137237 markings, 9108522 edges, 48620 markings/sec, 60 secs
lola: 3376546 markings, 9808039 edges, 47862 markings/sec, 65 secs
lola: 3614891 markings, 10498657 edges, 47669 markings/sec, 70 secs
lola: 3853413 markings, 11186487 edges, 47704 markings/sec, 75 secs
lola: 4090687 markings, 11870891 edges, 47455 markings/sec, 80 secs
lola: 4328107 markings, 12560388 edges, 47484 markings/sec, 85 secs
lola: 4568210 markings, 13254495 edges, 48021 markings/sec, 90 secs
lola: 4811628 markings, 13956899 edges, 48684 markings/sec, 95 secs
lola: 5052264 markings, 14652189 edges, 48127 markings/sec, 100 secs
lola: 5292961 markings, 15347442 edges, 48139 markings/sec, 105 secs
lola: 5531702 markings, 16037154 edges, 47748 markings/sec, 110 secs
lola: 5771427 markings, 16729175 edges, 47945 markings/sec, 115 secs
lola: 6015732 markings, 17435497 edges, 48861 markings/sec, 120 secs
lola: 6257752 markings, 18133615 edges, 48404 markings/sec, 125 secs
lola: 6504771 markings, 18846725 edges, 49404 markings/sec, 130 secs
lola: 6753728 markings, 19566100 edges, 49791 markings/sec, 135 secs
lola: 7002788 markings, 20285596 edges, 49812 markings/sec, 140 secs
lola: 7246992 markings, 20990543 edges, 48841 markings/sec, 145 secs
lola: 7494034 markings, 21704775 edges, 49408 markings/sec, 150 secs
lola: 7731494 markings, 22389727 edges, 47492 markings/sec, 155 secs
lola: 7969582 markings, 23077280 edges, 47618 markings/sec, 160 secs
lola: 8206777 markings, 23763193 edges, 47439 markings/sec, 165 secs
lola: 8446310 markings, 24453827 edges, 47907 markings/sec, 170 secs
lola: 8685992 markings, 25150018 edges, 47936 markings/sec, 175 secs
lola: 8931541 markings, 25859658 edges, 49110 markings/sec, 180 secs
lola: 9175763 markings, 26568160 edges, 48844 markings/sec, 185 secs
lola: 9417915 markings, 27268446 edges, 48430 markings/sec, 190 secs
lola: 9661140 markings, 27977512 edges, 48645 markings/sec, 195 secs
lola: 9906743 markings, 28691188 edges, 49121 markings/sec, 200 secs
lola: 10152007 markings, 29402277 edges, 49053 markings/sec, 205 secs
lola: 10390776 markings, 30091654 edges, 47754 markings/sec, 210 secs
lola: 10622406 markings, 30762371 edges, 46326 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 297862 markings, 788196 edges, 59572 markings/sec, 0 secs
lola: 596878 markings, 1579594 edges, 59803 markings/sec, 5 secs
lola: 910186 markings, 2408469 edges, 62662 markings/sec, 10 secs
lola: 1228132 markings, 3249870 edges, 63589 markings/sec, 15 secs
lola: 1536437 markings, 4066505 edges, 61661 markings/sec, 20 secs
lola: 1839375 markings, 4868764 edges, 60588 markings/sec, 25 secs
lola: 2147955 markings, 5685242 edges, 61716 markings/sec, 30 secs
lola: 2459686 markings, 6510078 edges, 62346 markings/sec, 35 secs
lola: 2768794 markings, 7329505 edges, 61822 markings/sec, 40 secs
lola: 3081868 markings, 8158909 edges, 62615 markings/sec, 45 secs
lola: 3397626 markings, 8994899 edges, 63152 markings/sec, 50 secs
lola: 3712320 markings, 9827724 edges, 62939 markings/sec, 55 secs
lola: 4024793 markings, 10654545 edges, 62495 markings/sec, 60 secs
lola: 4337395 markings, 11481919 edges, 62520 markings/sec, 65 secs
lola: 4650567 markings, 12310434 edges, 62634 markings/sec, 70 secs
lola: 4967748 markings, 13149668 edges, 63436 markings/sec, 75 secs
lola: 5279186 markings, 13974488 edges, 62288 markings/sec, 80 secs
lola: 5592747 markings, 14804855 edges, 62712 markings/sec, 85 secs
lola: 5904139 markings, 15628897 edges, 62278 markings/sec, 90 secs
lola: 6215127 markings, 16451732 edges, 62198 markings/sec, 95 secs
lola: 6523040 markings, 17266608 edges, 61583 markings/sec, 100 secs
lola: 6833932 markings, 18089226 edges, 62178 markings/sec, 105 secs
lola: 7148429 markings, 18921325 edges, 62899 markings/sec, 110 secs
lola: 7446734 markings, 19711129 edges, 59661 markings/sec, 115 secs
lola: 7739580 markings, 20486678 edges, 58569 markings/sec, 120 secs
lola: 8032537 markings, 21262127 edges, 58591 markings/sec, 125 secs
lola: 8331233 markings, 22052232 edges, 59739 markings/sec, 130 secs
lola: 8641760 markings, 22873751 edges, 62105 markings/sec, 135 secs
lola: 8951285 markings, 23692637 edges, 61905 markings/sec, 140 secs
lola: 9264287 markings, 24521539 edges, 62600 markings/sec, 145 secs
lola: 9576304 markings, 25347214 edges, 62403 markings/sec, 150 secs
lola: 9887712 markings, 26171041 edges, 62282 markings/sec, 155 secs
lola: 10199256 markings, 26995442 edges, 62309 markings/sec, 160 secs
lola: 10508255 markings, 27813078 edges, 61800 markings/sec, 165 secs
lola: 10819519 markings, 28636480 edges, 62253 markings/sec, 170 secs
lola: 11127898 markings, 29452434 edges, 61676 markings/sec, 175 secs
lola: 11429000 markings, 30249693 edges, 60220 markings/sec, 180 secs
lola: 11722685 markings, 31026248 edges, 58737 markings/sec, 185 secs
lola: 12012925 markings, 31794479 edges, 58048 markings/sec, 190 secs
lola: 12305625 markings, 32569010 edges, 58540 markings/sec, 195 secs
lola: 12596185 markings, 33338287 edges, 58112 markings/sec, 200 secs
lola: 12891774 markings, 34120045 edges, 59118 markings/sec, 205 secs
lola: 13180917 markings, 34885076 edges, 57829 markings/sec, 210 secs
lola: 13473555 markings, 35659393 edges, 58528 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 295374 markings, 766337 edges, 59075 markings/sec, 0 secs
lola: 598191 markings, 1552950 edges, 60563 markings/sec, 5 secs
lola: 887545 markings, 2307276 edges, 57871 markings/sec, 10 secs
lola: 1175348 markings, 3059479 edges, 57561 markings/sec, 15 secs
lola: 1465225 markings, 3815890 edges, 57975 markings/sec, 20 secs
lola: 1766736 markings, 4605005 edges, 60302 markings/sec, 25 secs
lola: 2065669 markings, 5385759 edges, 59787 markings/sec, 30 secs
lola: 2379726 markings, 6201916 edges, 62811 markings/sec, 35 secs
lola: 2684345 markings, 6993620 edges, 60924 markings/sec, 40 secs
lola: 2985133 markings, 7775040 edges, 60158 markings/sec, 45 secs
lola: 3285194 markings, 8556638 edges, 60012 markings/sec, 50 secs
lola: 3587630 markings, 9345455 edges, 60487 markings/sec, 55 secs
lola: 3889411 markings, 10133496 edges, 60356 markings/sec, 60 secs
lola: 4193659 markings, 10930539 edges, 60850 markings/sec, 65 secs
lola: 4499130 markings, 11729456 edges, 61094 markings/sec, 70 secs
lola: 4806074 markings, 12529551 edges, 61389 markings/sec, 75 secs
lola: 5119905 markings, 13344190 edges, 62766 markings/sec, 80 secs
lola: 5425258 markings, 14138401 edges, 61071 markings/sec, 85 secs
lola: 5727912 markings, 14925065 edges, 60531 markings/sec, 90 secs
lola: 6023854 markings, 15697461 edges, 59188 markings/sec, 95 secs
lola: 6324549 markings, 16483790 edges, 60139 markings/sec, 100 secs
lola: 6627138 markings, 17276379 edges, 60518 markings/sec, 105 secs
lola: 6926399 markings, 18059114 edges, 59852 markings/sec, 110 secs
lola: 7232469 markings, 18860740 edges, 61214 markings/sec, 115 secs
lola: 7534191 markings, 19653387 edges, 60344 markings/sec, 120 secs
lola: 7833878 markings, 20433111 edges, 59937 markings/sec, 125 secs
lola: 8142812 markings, 21236657 edges, 61787 markings/sec, 130 secs
lola: 8447770 markings, 22030809 edges, 60992 markings/sec, 135 secs
lola: 8753606 markings, 22826517 edges, 61167 markings/sec, 140 secs
lola: 9062760 markings, 23628865 edges, 61831 markings/sec, 145 secs
lola: 9368325 markings, 24423966 edges, 61113 markings/sec, 150 secs
lola: 9672234 markings, 25216892 edges, 60782 markings/sec, 155 secs
lola: 9978942 markings, 26016092 edges, 61342 markings/sec, 160 secs
lola: 10283957 markings, 26808054 edges, 61003 markings/sec, 165 secs
lola: 10597895 markings, 27622895 edges, 62788 markings/sec, 170 secs
lola: 10904117 markings, 28420187 edges, 61244 markings/sec, 175 secs
lola: 11207599 markings, 29210190 edges, 60696 markings/sec, 180 secs
lola: 11514335 markings, 30009422 edges, 61347 markings/sec, 185 secs
lola: 11815441 markings, 30796158 edges, 60221 markings/sec, 190 secs
lola: 12121312 markings, 31595335 edges, 61174 markings/sec, 195 secs
lola: 12421965 markings, 32382699 edges, 60131 markings/sec, 200 secs
lola: 12734440 markings, 33194201 edges, 62495 markings/sec, 205 secs
lola: 13039326 markings, 33985548 edges, 60977 markings/sec, 210 secs
lola: 13338299 markings, 34764868 edges, 59795 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 314967 markings, 767262 edges, 62993 markings/sec, 0 secs
lola: 626793 markings, 1527798 edges, 62365 markings/sec, 5 secs
lola: 938515 markings, 2287214 edges, 62344 markings/sec, 10 secs
lola: 1253490 markings, 3054521 edges, 62995 markings/sec, 15 secs
lola: 1549146 markings, 3774782 edges, 59131 markings/sec, 20 secs
lola: 1843573 markings, 4492197 edges, 58885 markings/sec, 25 secs
lola: 2142761 markings, 5221052 edges, 59838 markings/sec, 30 secs
lola: 2441832 markings, 5949631 edges, 59814 markings/sec, 35 secs
lola: 2735207 markings, 6664435 edges, 58675 markings/sec, 40 secs
lola: 3041265 markings, 7410054 edges, 61212 markings/sec, 45 secs
lola: 3360022 markings, 8187051 edges, 63751 markings/sec, 50 secs
lola: 3664457 markings, 8932070 edges, 60887 markings/sec, 55 secs
lola: 3961897 markings, 9656769 edges, 59488 markings/sec, 60 secs
lola: 4266158 markings, 10397997 edges, 60852 markings/sec, 65 secs
lola: 4574019 markings, 11148148 edges, 61572 markings/sec, 70 secs
lola: 4884905 markings, 11905514 edges, 62177 markings/sec, 75 secs
lola: 5195599 markings, 12662431 edges, 62139 markings/sec, 80 secs
lola: 5504732 markings, 13415521 edges, 61827 markings/sec, 85 secs
lola: 5813613 markings, 14168010 edges, 61776 markings/sec, 90 secs
lola: 6124028 markings, 14925149 edges, 62083 markings/sec, 95 secs
lola: 6437369 markings, 15688508 edges, 62668 markings/sec, 100 secs
lola: 6745144 markings, 16438321 edges, 61555 markings/sec, 105 secs
lola: 7055875 markings, 17195424 edges, 62146 markings/sec, 110 secs
lola: 7366480 markings, 17952132 edges, 62121 markings/sec, 115 secs
lola: 7679280 markings, 18714690 edges, 62560 markings/sec, 120 secs
lola: 7985439 markings, 19461469 edges, 61232 markings/sec, 125 secs
lola: 8292103 markings, 20210574 edges, 61333 markings/sec, 130 secs
lola: 8593801 markings, 20949326 edges, 60340 markings/sec, 135 secs
lola: 8889421 markings, 21672303 edges, 59124 markings/sec, 140 secs
lola: 9183225 markings, 22390698 edges, 58761 markings/sec, 145 secs
lola: 9486432 markings, 23133702 edges, 60641 markings/sec, 150 secs
lola: 9798592 markings, 23896688 edges, 62432 markings/sec, 155 secs
lola: 10109163 markings, 24653284 edges, 62114 markings/sec, 160 secs
lola: 10421798 markings, 25414921 edges, 62527 markings/sec, 165 secs
lola: 10735415 markings, 26179852 edges, 62723 markings/sec, 170 secs
lola: 11049467 markings, 26944935 edges, 62810 markings/sec, 175 secs
lola: 11355046 markings, 27689351 edges, 61116 markings/sec, 180 secs
lola: 11647056 markings, 28400865 edges, 58402 markings/sec, 185 secs
lola: 11942874 markings, 29121521 edges, 59164 markings/sec, 190 secs
lola: 12243313 markings, 29853432 edges, 60088 markings/sec, 195 secs
lola: 12557617 markings, 30619116 edges, 62861 markings/sec, 200 secs
lola: 12869935 markings, 31380076 edges, 62464 markings/sec, 205 secs
lola: 13186315 markings, 32150843 edges, 63276 markings/sec, 210 secs
lola: 13504355 markings, 32926093 edges, 63608 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 306090 markings, 791926 edges, 61218 markings/sec, 0 secs
lola: 617518 markings, 1598483 edges, 62286 markings/sec, 5 secs
lola: 922109 markings, 2387279 edges, 60918 markings/sec, 10 secs
lola: 1218265 markings, 3153627 edges, 59231 markings/sec, 15 secs
lola: 1517131 markings, 3927587 edges, 59773 markings/sec, 20 secs
lola: 1820646 markings, 4713247 edges, 60703 markings/sec, 25 secs
lola: 2123755 markings, 5499195 edges, 60622 markings/sec, 30 secs
lola: 2417289 markings, 6259558 edges, 58707 markings/sec, 35 secs
lola: 2717837 markings, 7037948 edges, 60110 markings/sec, 40 secs
lola: 3022383 markings, 7826342 edges, 60909 markings/sec, 45 secs
lola: 3325005 markings, 8610031 edges, 60524 markings/sec, 50 secs
lola: 3619399 markings, 9372549 edges, 58879 markings/sec, 55 secs
lola: 3917586 markings, 10145199 edges, 59637 markings/sec, 60 secs
lola: 4218190 markings, 10923775 edges, 60121 markings/sec, 65 secs
lola: 4533568 markings, 11740456 edges, 63076 markings/sec, 70 secs
lola: 4845128 markings, 12546906 edges, 62312 markings/sec, 75 secs
lola: 5145665 markings, 13324676 edges, 60107 markings/sec, 80 secs
lola: 5445398 markings, 14100995 edges, 59947 markings/sec, 85 secs
lola: 5747767 markings, 14883713 edges, 60474 markings/sec, 90 secs
lola: 6046344 markings, 15657227 edges, 59715 markings/sec, 95 secs
lola: 6348415 markings, 16439977 edges, 60414 markings/sec, 100 secs
lola: 6657136 markings, 17239692 edges, 61744 markings/sec, 105 secs
lola: 6962279 markings, 18029862 edges, 61029 markings/sec, 110 secs
lola: 7269815 markings, 18825969 edges, 61507 markings/sec, 115 secs
lola: 7569259 markings, 19602034 edges, 59889 markings/sec, 120 secs
lola: 7871858 markings, 20385624 edges, 60520 markings/sec, 125 secs
lola: 8179165 markings, 21181316 edges, 61461 markings/sec, 130 secs
lola: 8482072 markings, 21965310 edges, 60581 markings/sec, 135 secs
lola: 8772227 markings, 22716410 edges, 58031 markings/sec, 140 secs
lola: 9062022 markings, 23467422 edges, 57959 markings/sec, 145 secs
lola: 9354226 markings, 24223750 edges, 58441 markings/sec, 150 secs
lola: 9644977 markings, 24976452 edges, 58150 markings/sec, 155 secs
lola: 9935186 markings, 25727290 edges, 58042 markings/sec, 160 secs
lola: 10223737 markings, 26474088 edges, 57710 markings/sec, 165 secs
lola: 10514508 markings, 27227180 edges, 58154 markings/sec, 170 secs
lola: 10802877 markings, 27973587 edges, 57674 markings/sec, 175 secs
lola: 11089610 markings, 28715429 edges, 57347 markings/sec, 180 secs
lola: 11375361 markings, 29456400 edges, 57150 markings/sec, 185 secs
lola: 11663950 markings, 30204254 edges, 57718 markings/sec, 190 secs
lola: 11964806 markings, 30983407 edges, 60171 markings/sec, 195 secs
lola: 12267153 markings, 31766198 edges, 60469 markings/sec, 200 secs
lola: 12569086 markings, 32549284 edges, 60387 markings/sec, 205 secs
lola: 12859139 markings, 33300495 edges, 58011 markings/sec, 210 secs
lola: 13149325 markings, 34052322 edges, 58037 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 302031 markings, 730977 edges, 60406 markings/sec, 0 secs
lola: 602783 markings, 1457557 edges, 60150 markings/sec, 5 secs
lola: 908851 markings, 2197622 edges, 61214 markings/sec, 10 secs
lola: 1214334 markings, 2935202 edges, 61097 markings/sec, 15 secs
lola: 1506769 markings, 3641227 edges, 58487 markings/sec, 20 secs
lola: 1811112 markings, 4376612 edges, 60869 markings/sec, 25 secs
lola: 2110046 markings, 5099276 edges, 59787 markings/sec, 30 secs
lola: 2407130 markings, 5817184 edges, 59417 markings/sec, 35 secs
lola: 2728229 markings, 6593044 edges, 64220 markings/sec, 40 secs
lola: 3049409 markings, 7370444 edges, 64236 markings/sec, 45 secs
lola: 3360887 markings, 8122376 edges, 62296 markings/sec, 50 secs
lola: 3675000 markings, 8880281 edges, 62823 markings/sec, 55 secs
lola: 3990049 markings, 9641238 edges, 63010 markings/sec, 60 secs
lola: 4306410 markings, 10407531 edges, 63272 markings/sec, 65 secs
lola: 4609960 markings, 11140387 edges, 60710 markings/sec, 70 secs
lola: 4934793 markings, 11926658 edges, 64967 markings/sec, 75 secs
lola: 5257469 markings, 12707483 edges, 64535 markings/sec, 80 secs
lola: 5558879 markings, 13437527 edges, 60282 markings/sec, 85 secs
lola: 5855365 markings, 14154206 edges, 59297 markings/sec, 90 secs
lola: 6154568 markings, 14877058 edges, 59841 markings/sec, 95 secs
lola: 6453542 markings, 15598874 edges, 59795 markings/sec, 100 secs
lola: 6751509 markings, 16318202 edges, 59593 markings/sec, 105 secs
lola: 7055529 markings, 17052209 edges, 60804 markings/sec, 110 secs
lola: 7366549 markings, 17803074 edges, 62204 markings/sec, 115 secs
lola: 7678168 markings, 18555829 edges, 62324 markings/sec, 120 secs
lola: 7997119 markings, 19325384 edges, 63790 markings/sec, 125 secs
lola: 8306006 markings, 20070439 edges, 61777 markings/sec, 130 secs
lola: 8631522 markings, 20857006 edges, 65103 markings/sec, 135 secs
lola: 8940297 markings, 21603054 edges, 61755 markings/sec, 140 secs
lola: 9257798 markings, 22369200 edges, 63500 markings/sec, 145 secs
lola: 9556137 markings, 23090305 edges, 59668 markings/sec, 150 secs
lola: 9853205 markings, 23807725 edges, 59414 markings/sec, 155 secs
lola: 10161421 markings, 24550996 edges, 61643 markings/sec, 160 secs
lola: 10474794 markings, 25309424 edges, 62675 markings/sec, 165 secs
lola: 10783796 markings, 26056775 edges, 61800 markings/sec, 170 secs
lola: 11086793 markings, 26790084 edges, 60599 markings/sec, 175 secs
lola: 11396110 markings, 27536052 edges, 61863 markings/sec, 180 secs
lola: 11716602 markings, 28311073 edges, 64098 markings/sec, 185 secs
lola: 12039771 markings, 29092325 edges, 64634 markings/sec, 190 secs
lola: 12359756 markings, 29868417 edges, 63997 markings/sec, 195 secs
lola: 12674404 markings, 30629350 edges, 62930 markings/sec, 200 secs
lola: 12985139 markings, 31380414 edges, 62147 markings/sec, 205 secs
lola: 13290485 markings, 32118565 edges, 61069 markings/sec, 210 secs
lola: 13599936 markings, 32864930 edges, 61890 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 324123 markings, 790590 edges, 64825 markings/sec, 0 secs
lola: 641560 markings, 1565043 edges, 63487 markings/sec, 5 secs
lola: 954024 markings, 2327292 edges, 62493 markings/sec, 10 secs
lola: 1272172 markings, 3103335 edges, 63630 markings/sec, 15 secs
lola: 1585010 markings, 3866422 edges, 62568 markings/sec, 20 secs
lola: 1897993 markings, 4629866 edges, 62597 markings/sec, 25 secs
lola: 2215925 markings, 5405835 edges, 63586 markings/sec, 30 secs
lola: 2520428 markings, 6148747 edges, 60901 markings/sec, 35 secs
lola: 2822331 markings, 6885603 edges, 60381 markings/sec, 40 secs
lola: 3124069 markings, 7621630 edges, 60348 markings/sec, 45 secs
lola: 3419550 markings, 8352515 edges, 59096 markings/sec, 50 secs
lola: 3715585 markings, 9074621 edges, 59207 markings/sec, 55 secs
lola: 4014334 markings, 9803346 edges, 59750 markings/sec, 60 secs
lola: 4308453 markings, 10520785 edges, 58824 markings/sec, 65 secs
lola: 4601863 markings, 11236484 edges, 58682 markings/sec, 70 secs
lola: 4899504 markings, 11963283 edges, 59528 markings/sec, 75 secs
lola: 5195572 markings, 12685545 edges, 59214 markings/sec, 80 secs
lola: 5498023 markings, 13423544 edges, 60490 markings/sec, 85 secs
lola: 5790915 markings, 14139743 edges, 58578 markings/sec, 90 secs
lola: 6084092 markings, 14855917 edges, 58635 markings/sec, 95 secs
lola: 6383225 markings, 15588325 edges, 59827 markings/sec, 100 secs
lola: 6699062 markings, 16362749 edges, 63167 markings/sec, 105 secs
lola: 7016457 markings, 17139529 edges, 63479 markings/sec, 110 secs
lola: 7313615 markings, 17869621 edges, 59432 markings/sec, 115 secs
lola: 7604691 markings, 18581401 edges, 58215 markings/sec, 120 secs
lola: 7897078 markings, 19295418 edges, 58477 markings/sec, 125 secs
lola: 8188865 markings, 20010885 edges, 58357 markings/sec, 130 secs
lola: 8482146 markings, 20729528 edges, 58656 markings/sec, 135 secs
lola: 8802318 markings, 21510515 edges, 64034 markings/sec, 140 secs
lola: 9095631 markings, 22225986 edges, 58663 markings/sec, 145 secs
lola: 9402296 markings, 22974020 edges, 61333 markings/sec, 150 secs
lola: 9698438 markings, 23696400 edges, 59228 markings/sec, 155 secs
lola: 10001320 markings, 24435216 edges, 60576 markings/sec, 160 secs
lola: 10303959 markings, 25173433 edges, 60528 markings/sec, 165 secs
lola: 10598743 markings, 25894856 edges, 58957 markings/sec, 170 secs
lola: 10894521 markings, 26621154 edges, 59156 markings/sec, 175 secs
lola: 11185810 markings, 27332719 edges, 58258 markings/sec, 180 secs
lola: 11488226 markings, 28070617 edges, 60483 markings/sec, 185 secs
lola: 11792832 markings, 28827420 edges, 60921 markings/sec, 190 secs
lola: 12101907 markings, 29591549 edges, 61815 markings/sec, 195 secs
lola: 12414067 markings, 30354292 edges, 62432 markings/sec, 200 secs
lola: 12725368 markings, 31117001 edges, 62260 markings/sec, 205 secs
lola: 13037187 markings, 31880353 edges, 62364 markings/sec, 210 secs
lola: 13346708 markings, 32641176 edges, 61904 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p240)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 305880 markings, 675628 edges, 61176 markings/sec, 0 secs
lola: 612098 markings, 1354156 edges, 61244 markings/sec, 5 secs
lola: 919240 markings, 2033513 edges, 61428 markings/sec, 10 secs
lola: 1230247 markings, 2720931 edges, 62201 markings/sec, 15 secs
lola: 1540473 markings, 3406300 edges, 62045 markings/sec, 20 secs
lola: 1858578 markings, 4109496 edges, 63621 markings/sec, 25 secs
lola: 2174403 markings, 4807294 edges, 63165 markings/sec, 30 secs
lola: 2487176 markings, 5498933 edges, 62555 markings/sec, 35 secs
lola: 2792062 markings, 6174590 edges, 60977 markings/sec, 40 secs
lola: 3095825 markings, 6848316 edges, 60753 markings/sec, 45 secs
lola: 3396668 markings, 7514544 edges, 60169 markings/sec, 50 secs
lola: 3693130 markings, 8171198 edges, 59292 markings/sec, 55 secs
lola: 4007155 markings, 8868117 edges, 62805 markings/sec, 60 secs
lola: 4306913 markings, 9530357 edges, 59952 markings/sec, 65 secs
lola: 4614305 markings, 10211370 edges, 61478 markings/sec, 70 secs
lola: 4925819 markings, 10904013 edges, 62303 markings/sec, 75 secs
lola: 5228501 markings, 11572718 edges, 60536 markings/sec, 80 secs
lola: 5526622 markings, 12231340 edges, 59624 markings/sec, 85 secs
lola: 5822670 markings, 12886308 edges, 59210 markings/sec, 90 secs
lola: 6115870 markings, 13536435 edges, 58640 markings/sec, 95 secs
lola: 6419880 markings, 14210961 edges, 60802 markings/sec, 100 secs
lola: 6729163 markings, 14894248 edges, 61857 markings/sec, 105 secs
lola: 7027732 markings, 15553907 edges, 59714 markings/sec, 110 secs
lola: 7330873 markings, 16224170 edges, 60628 markings/sec, 115 secs
lola: 7642918 markings, 16914250 edges, 62409 markings/sec, 120 secs
lola: 7949668 markings, 17592002 edges, 61350 markings/sec, 125 secs
lola: 8253488 markings, 18263254 edges, 60764 markings/sec, 130 secs
lola: 8543940 markings, 18907374 edges, 58090 markings/sec, 135 secs
lola: 8826866 markings, 19536873 edges, 56585 markings/sec, 140 secs
lola: 9111897 markings, 20166706 edges, 57006 markings/sec, 145 secs
lola: 9395842 markings, 20794025 edges, 56789 markings/sec, 150 secs
lola: 9680585 markings, 21423098 edges, 56949 markings/sec, 155 secs
lola: 9967558 markings, 22057095 edges, 57395 markings/sec, 160 secs
lola: 10251163 markings, 22684097 edges, 56721 markings/sec, 165 secs
lola: 10535088 markings, 23312705 edges, 56785 markings/sec, 170 secs
lola: 10819977 markings, 23945387 edges, 56978 markings/sec, 175 secs
lola: 11106308 markings, 24579951 edges, 57266 markings/sec, 180 secs
lola: 11389633 markings, 25205888 edges, 56665 markings/sec, 185 secs
lola: 11677025 markings, 25841143 edges, 57478 markings/sec, 190 secs
lola: 11964488 markings, 26476328 edges, 57493 markings/sec, 195 secs
lola: 12251352 markings, 27110087 edges, 57373 markings/sec, 200 secs
lola: 12535358 markings, 27737646 edges, 56801 markings/sec, 205 secs
lola: 12816233 markings, 28358487 edges, 56175 markings/sec, 210 secs
lola: 13101108 markings, 28987984 edges, 56975 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p283)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 238853 markings, 598208 edges, 47771 markings/sec, 0 secs
lola: 481908 markings, 1203156 edges, 48611 markings/sec, 5 secs
lola: 723251 markings, 1805033 edges, 48269 markings/sec, 10 secs
lola: 964976 markings, 2404853 edges, 48345 markings/sec, 15 secs
lola: 1203962 markings, 2997787 edges, 47797 markings/sec, 20 secs
lola: 1444908 markings, 3601096 edges, 48189 markings/sec, 25 secs
lola: 1684130 markings, 4201062 edges, 47844 markings/sec, 30 secs
lola: 1919812 markings, 4791285 edges, 47136 markings/sec, 35 secs
lola: 2158357 markings, 5388343 edges, 47709 markings/sec, 40 secs
lola: 2397876 markings, 5989256 edges, 47904 markings/sec, 45 secs
lola: 2629030 markings, 6567902 edges, 46231 markings/sec, 50 secs
lola: 2853322 markings, 7130264 edges, 44858 markings/sec, 55 secs
lola: 3076371 markings, 7689222 edges, 44610 markings/sec, 60 secs
lola: 3302163 markings, 8254633 edges, 45158 markings/sec, 65 secs
lola: 3551333 markings, 8878086 edges, 49834 markings/sec, 70 secs
lola: 3799985 markings, 9500389 edges, 49730 markings/sec, 75 secs
lola: 4025911 markings, 10067422 edges, 45185 markings/sec, 80 secs
lola: 4249804 markings, 10628162 edges, 44779 markings/sec, 85 secs
lola: 4476225 markings, 11194643 edges, 45284 markings/sec, 90 secs
lola: 4712243 markings, 11784996 edges, 47204 markings/sec, 95 secs
lola: 4949196 markings, 12377916 edges, 47391 markings/sec, 100 secs
lola: 5189554 markings, 12979539 edges, 48072 markings/sec, 105 secs
lola: 5429250 markings, 13580307 edges, 47939 markings/sec, 110 secs
lola: 5665764 markings, 14172043 edges, 47303 markings/sec, 115 secs
lola: 5900995 markings, 14758542 edges, 47046 markings/sec, 120 secs
lola: 6136357 markings, 15347234 edges, 47072 markings/sec, 125 secs
lola: 6370738 markings, 15935265 edges, 46876 markings/sec, 130 secs
lola: 6604688 markings, 16524681 edges, 46790 markings/sec, 135 secs
lola: 6838895 markings, 17112466 edges, 46841 markings/sec, 140 secs
lola: 7071433 markings, 17694700 edges, 46508 markings/sec, 145 secs
lola: 7305777 markings, 18276448 edges, 46869 markings/sec, 150 secs
lola: 7547554 markings, 18876773 edges, 48355 markings/sec, 155 secs
lola: 7785155 markings, 19466630 edges, 47520 markings/sec, 160 secs
lola: 8007963 markings, 20021461 edges, 44562 markings/sec, 165 secs
lola: 8228071 markings, 20567897 edges, 44022 markings/sec, 170 secs
lola: 8452157 markings, 21128120 edges, 44817 markings/sec, 175 secs
lola: 8688810 markings, 21720663 edges, 47331 markings/sec, 180 secs
lola: 8924768 markings, 22313045 edges, 47192 markings/sec, 185 secs
lola: 9161118 markings, 22907199 edges, 47270 markings/sec, 190 secs
lola: 9394289 markings, 23496338 edges, 46634 markings/sec, 195 secs
lola: 9624963 markings, 24071391 edges, 46135 markings/sec, 200 secs
lola: 9861059 markings, 24657507 edges, 47219 markings/sec, 205 secs
lola: 10089997 markings, 25225932 edges, 45788 markings/sec, 210 secs
lola: 10317569 markings, 25790884 edges, 45514 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p325)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 464306 markings, 1139964 edges, 92861 markings/sec, 0 secs
lola: 940243 markings, 2305708 edges, 95187 markings/sec, 5 secs
lola: 1413399 markings, 3458598 edges, 94631 markings/sec, 10 secs
lola: 1855757 markings, 4537019 edges, 88472 markings/sec, 15 secs
lola: 2296904 markings, 5605049 edges, 88229 markings/sec, 20 secs
lola: 2732456 markings, 6654338 edges, 87110 markings/sec, 25 secs
lola: 3169492 markings, 7724028 edges, 87407 markings/sec, 30 secs
lola: 3604400 markings, 8782410 edges, 86982 markings/sec, 35 secs
lola: 4040840 markings, 9845305 edges, 87288 markings/sec, 40 secs
lola: 4476314 markings, 10902160 edges, 87095 markings/sec, 45 secs
lola: 4910565 markings, 11957119 edges, 86850 markings/sec, 50 secs
lola: 5342770 markings, 13002681 edges, 86441 markings/sec, 55 secs
lola: 5773566 markings, 14039528 edges, 86159 markings/sec, 60 secs
lola: 6206645 markings, 15090028 edges, 86616 markings/sec, 65 secs
lola: 6641027 markings, 16143638 edges, 86876 markings/sec, 70 secs
lola: 7071032 markings, 17187455 edges, 86001 markings/sec, 75 secs
lola: 7539760 markings, 18319207 edges, 93746 markings/sec, 80 secs
lola: 8008640 markings, 19445038 edges, 93776 markings/sec, 85 secs
lola: 8465967 markings, 20553314 edges, 91465 markings/sec, 90 secs
lola: 8890937 markings, 21578963 edges, 84994 markings/sec, 95 secs
lola: 9335152 markings, 22650186 edges, 88843 markings/sec, 100 secs
lola: 9787502 markings, 23744510 edges, 90470 markings/sec, 105 secs
lola: 10232334 markings, 24815024 edges, 88966 markings/sec, 110 secs
lola: 10657070 markings, 25839551 edges, 84947 markings/sec, 115 secs
lola: 11080005 markings, 26859342 edges, 84587 markings/sec, 120 secs
lola: 11512385 markings, 27902849 edges, 86476 markings/sec, 125 secs
lola: 11957634 markings, 28972775 edges, 89050 markings/sec, 130 secs
lola: 12414014 markings, 30072214 edges, 91276 markings/sec, 135 secs
lola: 12871085 markings, 31178260 edges, 91414 markings/sec, 140 secs
lola: 13328276 markings, 32283326 edges, 91438 markings/sec, 145 secs
lola: 13757425 markings, 33323999 edges, 85830 markings/sec, 150 secs
lola: 14183707 markings, 34354286 edges, 85256 markings/sec, 155 secs
lola: 14607140 markings, 35373536 edges, 84687 markings/sec, 160 secs
lola: 15031138 markings, 36399628 edges, 84800 markings/sec, 165 secs
lola: 15472254 markings, 37466257 edges, 88223 markings/sec, 170 secs
lola: 15920268 markings, 38546456 edges, 89603 markings/sec, 175 secs
lola: 16370067 markings, 39622523 edges, 89960 markings/sec, 180 secs
lola: 16815277 markings, 40700487 edges, 89042 markings/sec, 185 secs
lola: 17260057 markings, 41775098 edges, 88956 markings/sec, 190 secs
lola: 17699547 markings, 42832592 edges, 87898 markings/sec, 195 secs
lola: 18141937 markings, 43901227 edges, 88478 markings/sec, 200 secs
lola: 18585172 markings, 44969549 edges, 88647 markings/sec, 205 secs
lola: 19032725 markings, 46054243 edges, 89511 markings/sec, 210 secs
lola: 19468047 markings, 47099668 edges, 87064 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 307466 markings, 794161 edges, 61493 markings/sec, 0 secs
lola: 620393 markings, 1603687 edges, 62585 markings/sec, 5 secs
lola: 937362 markings, 2423356 edges, 63394 markings/sec, 10 secs
lola: 1252686 markings, 3238791 edges, 63065 markings/sec, 15 secs
lola: 1568692 markings, 4058711 edges, 63201 markings/sec, 20 secs
lola: 1881518 markings, 4868474 edges, 62565 markings/sec, 25 secs
lola: 2193989 markings, 5679464 edges, 62494 markings/sec, 30 secs
lola: 2503595 markings, 6483807 edges, 61921 markings/sec, 35 secs
lola: 2812012 markings, 7283063 edges, 61683 markings/sec, 40 secs
lola: 3121090 markings, 8087458 edges, 61816 markings/sec, 45 secs
lola: 3430667 markings, 8892657 edges, 61915 markings/sec, 50 secs
lola: 3739065 markings, 9696092 edges, 61680 markings/sec, 55 secs
lola: 4047813 markings, 10498701 edges, 61750 markings/sec, 60 secs
lola: 4361664 markings, 11313440 edges, 62770 markings/sec, 65 secs
lola: 4672173 markings, 12123176 edges, 62102 markings/sec, 70 secs
lola: 4979077 markings, 12923615 edges, 61381 markings/sec, 75 secs
lola: 5289805 markings, 13728304 edges, 62146 markings/sec, 80 secs
lola: 5585315 markings, 14492420 edges, 59102 markings/sec, 85 secs
lola: 5879546 markings, 15254383 edges, 58846 markings/sec, 90 secs
lola: 6173697 markings, 16017761 edges, 58830 markings/sec, 95 secs
lola: 6467074 markings, 16779629 edges, 58675 markings/sec, 100 secs
lola: 6760217 markings, 17540915 edges, 58629 markings/sec, 105 secs
lola: 7060854 markings, 18325326 edges, 60127 markings/sec, 110 secs
lola: 7358645 markings, 19095847 edges, 59558 markings/sec, 115 secs
lola: 7660806 markings, 19877437 edges, 60432 markings/sec, 120 secs
lola: 7955422 markings, 20641326 edges, 58923 markings/sec, 125 secs
lola: 8249963 markings, 21404275 edges, 58908 markings/sec, 130 secs
lola: 8543282 markings, 22165618 edges, 58664 markings/sec, 135 secs
lola: 8845397 markings, 22949805 edges, 60423 markings/sec, 140 secs
lola: 9162286 markings, 23769778 edges, 63378 markings/sec, 145 secs
lola: 9479132 markings, 24588545 edges, 63369 markings/sec, 150 secs
lola: 9782178 markings, 25374306 edges, 60609 markings/sec, 155 secs
lola: 10076151 markings, 26137598 edges, 58795 markings/sec, 160 secs
lola: 10376267 markings, 26913877 edges, 60023 markings/sec, 165 secs
lola: 10673867 markings, 27683398 edges, 59520 markings/sec, 170 secs
lola: 10970204 markings, 28451319 edges, 59267 markings/sec, 175 secs
lola: 11265500 markings, 29218037 edges, 59059 markings/sec, 180 secs
lola: 11559629 markings, 29982459 edges, 58826 markings/sec, 185 secs
lola: 11849573 markings, 30738000 edges, 57989 markings/sec, 190 secs
lola: 12137667 markings, 31489993 edges, 57619 markings/sec, 195 secs
lola: 12430418 markings, 32252429 edges, 58550 markings/sec, 200 secs
lola: 12726945 markings, 33019164 edges, 59305 markings/sec, 205 secs
lola: 13021257 markings, 33780744 edges, 58862 markings/sec, 210 secs
lola: 13314833 markings, 34541567 edges, 58715 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 298593 markings, 724290 edges, 59719 markings/sec, 0 secs
lola: 602002 markings, 1460959 edges, 60682 markings/sec, 5 secs
lola: 905199 markings, 2198026 edges, 60639 markings/sec, 10 secs
lola: 1214971 markings, 2946950 edges, 61954 markings/sec, 15 secs
lola: 1536171 markings, 3726528 edges, 64240 markings/sec, 20 secs
lola: 1855040 markings, 4497631 edges, 63774 markings/sec, 25 secs
lola: 2174168 markings, 5269489 edges, 63826 markings/sec, 30 secs
lola: 2492083 markings, 6037064 edges, 63583 markings/sec, 35 secs
lola: 2815697 markings, 6818495 edges, 64723 markings/sec, 40 secs
lola: 3137316 markings, 7595366 edges, 64324 markings/sec, 45 secs
lola: 3454703 markings, 8364044 edges, 63477 markings/sec, 50 secs
lola: 3774736 markings, 9139354 edges, 64007 markings/sec, 55 secs
lola: 4092430 markings, 9911702 edges, 63539 markings/sec, 60 secs
lola: 4411600 markings, 10685737 edges, 63834 markings/sec, 65 secs
lola: 4728378 markings, 11450826 edges, 63356 markings/sec, 70 secs
lola: 5037652 markings, 12204279 edges, 61855 markings/sec, 75 secs
lola: 5345458 markings, 12954582 edges, 61561 markings/sec, 80 secs
lola: 5642955 markings, 13678311 edges, 59499 markings/sec, 85 secs
lola: 5939234 markings, 14395532 edges, 59256 markings/sec, 90 secs
lola: 6241285 markings, 15129654 edges, 60410 markings/sec, 95 secs
lola: 6551315 markings, 15881726 edges, 62006 markings/sec, 100 secs
lola: 6861123 markings, 16630971 edges, 61962 markings/sec, 105 secs
lola: 7173307 markings, 17387462 edges, 62437 markings/sec, 110 secs
lola: 7482081 markings, 18132931 edges, 61755 markings/sec, 115 secs
lola: 7789154 markings, 18880290 edges, 61415 markings/sec, 120 secs
lola: 8097900 markings, 19626428 edges, 61749 markings/sec, 125 secs
lola: 8406825 markings, 20374615 edges, 61785 markings/sec, 130 secs
lola: 8708407 markings, 21102726 edges, 60316 markings/sec, 135 secs
lola: 9003127 markings, 21820067 edges, 58944 markings/sec, 140 secs
lola: 9299854 markings, 22538062 edges, 59345 markings/sec, 145 secs
lola: 9601935 markings, 23269035 edges, 60416 markings/sec, 150 secs
lola: 9919502 markings, 24042147 edges, 63513 markings/sec, 155 secs
lola: 10226961 markings, 24791032 edges, 61492 markings/sec, 160 secs
lola: 10521453 markings, 25506147 edges, 58898 markings/sec, 165 secs
lola: 10818270 markings, 26226990 edges, 59363 markings/sec, 170 secs
lola: 11128566 markings, 26976302 edges, 62059 markings/sec, 175 secs
lola: 11458766 markings, 27773587 edges, 66040 markings/sec, 180 secs
lola: 11775352 markings, 28537925 edges, 63317 markings/sec, 185 secs
lola: 12102216 markings, 29327155 edges, 65373 markings/sec, 190 secs
lola: 12408331 markings, 30066568 edges, 61223 markings/sec, 195 secs
lola: 12713851 markings, 30806315 edges, 61104 markings/sec, 200 secs
lola: 13008674 markings, 31523439 edges, 58965 markings/sec, 205 secs
lola: 13328135 markings, 32296230 edges, 63892 markings/sec, 210 secs
lola: 13622976 markings, 33011786 edges, 58968 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p162)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 281849 markings, 729721 edges, 56370 markings/sec, 0 secs
lola: 564992 markings, 1463025 edges, 56629 markings/sec, 5 secs
lola: 846372 markings, 2194184 edges, 56276 markings/sec, 10 secs
lola: 1128747 markings, 2924518 edges, 56475 markings/sec, 15 secs
lola: 1422982 markings, 3684958 edges, 58847 markings/sec, 20 secs
lola: 1730714 markings, 4480245 edges, 61546 markings/sec, 25 secs
lola: 2030011 markings, 5255821 edges, 59859 markings/sec, 30 secs
lola: 2334081 markings, 6043692 edges, 60814 markings/sec, 35 secs
lola: 2635470 markings, 6821209 edges, 60278 markings/sec, 40 secs
lola: 2940120 markings, 7608554 edges, 60930 markings/sec, 45 secs
lola: 3251411 markings, 8418153 edges, 62258 markings/sec, 50 secs
lola: 3560185 markings, 9216517 edges, 61755 markings/sec, 55 secs
lola: 3859506 markings, 9990807 edges, 59864 markings/sec, 60 secs
lola: 4159155 markings, 10765097 edges, 59930 markings/sec, 65 secs
lola: 4462109 markings, 11547860 edges, 60591 markings/sec, 70 secs
lola: 4769255 markings, 12342212 edges, 61429 markings/sec, 75 secs
lola: 5074631 markings, 13132831 edges, 61075 markings/sec, 80 secs
lola: 5367517 markings, 13890416 edges, 58577 markings/sec, 85 secs
lola: 5654326 markings, 14632440 edges, 57362 markings/sec, 90 secs
lola: 5939587 markings, 15370138 edges, 57052 markings/sec, 95 secs
lola: 6246841 markings, 16167071 edges, 61451 markings/sec, 100 secs
lola: 6561395 markings, 16983372 edges, 62911 markings/sec, 105 secs
lola: 6848432 markings, 17726340 edges, 57407 markings/sec, 110 secs
lola: 7131203 markings, 18458082 edges, 56554 markings/sec, 115 secs
lola: 7412220 markings, 19185302 edges, 56203 markings/sec, 120 secs
lola: 7709615 markings, 19954530 edges, 59479 markings/sec, 125 secs
lola: 8008125 markings, 20725407 edges, 59702 markings/sec, 130 secs
lola: 8308223 markings, 21501136 edges, 60020 markings/sec, 135 secs
lola: 8606111 markings, 22273025 edges, 59578 markings/sec, 140 secs
lola: 8902207 markings, 23040865 edges, 59219 markings/sec, 145 secs
lola: 9200473 markings, 23812896 edges, 59653 markings/sec, 150 secs
lola: 9495966 markings, 24577314 edges, 59099 markings/sec, 155 secs
lola: 9791463 markings, 25341513 edges, 59099 markings/sec, 160 secs
lola: 10093066 markings, 26123886 edges, 60321 markings/sec, 165 secs
lola: 10396025 markings, 26907485 edges, 60592 markings/sec, 170 secs
lola: 10698990 markings, 27691024 edges, 60593 markings/sec, 175 secs
lola: 10999991 markings, 28468791 edges, 60200 markings/sec, 180 secs
lola: 11301591 markings, 29251400 edges, 60320 markings/sec, 185 secs
lola: 11601780 markings, 30032650 edges, 60038 markings/sec, 190 secs
lola: 11902274 markings, 30809338 edges, 60099 markings/sec, 195 secs
lola: 12211455 markings, 31609585 edges, 61836 markings/sec, 200 secs
lola: 12516114 markings, 32398318 edges, 60932 markings/sec, 205 secs
lola: 12821315 markings, 33189649 edges, 61040 markings/sec, 210 secs
lola: 13121734 markings, 33968209 edges, 60084 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 24 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: 315874 markings, 782575 edges, 63175 markings/sec, 0 secs
lola: 631177 markings, 1563697 edges, 63061 markings/sec, 5 secs
lola: 942416 markings, 2335557 edges, 62248 markings/sec, 10 secs
lola: 1253037 markings, 3105937 edges, 62124 markings/sec, 15 secs
lola: 1568113 markings, 3886498 edges, 63015 markings/sec, 20 secs
lola: 1882673 markings, 4665805 edges, 62912 markings/sec, 25 secs
lola: 2192602 markings, 5433628 edges, 61986 markings/sec, 30 secs
lola: 2498551 markings, 6207741 edges, 61190 markings/sec, 35 secs
lola: 2811326 markings, 6982805 edges, 62555 markings/sec, 40 secs
lola: 3127122 markings, 7765163 edges, 63159 markings/sec, 45 secs
lola: 3440002 markings, 8540290 edges, 62576 markings/sec, 50 secs
lola: 3750037 markings, 9308614 edges, 62007 markings/sec, 55 secs
lola: 4067333 markings, 10097195 edges, 63459 markings/sec, 60 secs
lola: 4382479 markings, 10879093 edges, 63029 markings/sec, 65 secs
lola: 4697234 markings, 11659469 edges, 62951 markings/sec, 70 secs
lola: 5010947 markings, 12438781 edges, 62743 markings/sec, 75 secs
lola: 5328495 markings, 13225956 edges, 63510 markings/sec, 80 secs
lola: 5640389 markings, 13998933 edges, 62379 markings/sec, 85 secs
lola: 5946612 markings, 14758959 edges, 61245 markings/sec, 90 secs
lola: 6260253 markings, 15536543 edges, 62728 markings/sec, 95 secs
lola: 6572719 markings, 16310855 edges, 62493 markings/sec, 100 secs
lola: 6879132 markings, 17070785 edges, 61283 markings/sec, 105 secs
lola: 7186924 markings, 17833319 edges, 61558 markings/sec, 110 secs
lola: 7496263 markings, 18612268 edges, 61868 markings/sec, 115 secs
lola: 7804125 markings, 19377153 edges, 61572 markings/sec, 120 secs
lola: 8112723 markings, 20144226 edges, 61720 markings/sec, 125 secs
lola: 8418747 markings, 20902394 edges, 61205 markings/sec, 130 secs
lola: 8719699 markings, 21648005 edges, 60190 markings/sec, 135 secs
lola: 9026982 markings, 22409682 edges, 61457 markings/sec, 140 secs
lola: 9337614 markings, 23179793 edges, 62126 markings/sec, 145 secs
lola: 9652939 markings, 23960986 edges, 63065 markings/sec, 150 secs
lola: 9964446 markings, 24732893 edges, 62301 markings/sec, 155 secs
lola: 10272530 markings, 25496162 edges, 61617 markings/sec, 160 secs
lola: 10582515 markings, 26264514 edges, 61997 markings/sec, 165 secs
lola: 10899730 markings, 27050378 edges, 63443 markings/sec, 170 secs
lola: 11212778 markings, 27825916 edges, 62610 markings/sec, 175 secs
lola: 11520665 markings, 28588692 edges, 61577 markings/sec, 180 secs
lola: 11824920 markings, 29358250 edges, 60851 markings/sec, 185 secs
lola: 12134786 markings, 30126217 edges, 61973 markings/sec, 190 secs
lola: 12439676 markings, 30897284 edges, 60978 markings/sec, 195 secs
lola: 12748919 markings, 31666646 edges, 61849 markings/sec, 200 secs
lola: 13059876 markings, 32437894 edges, 62191 markings/sec, 205 secs
lola: 13371429 markings, 33210048 edges, 62311 markings/sec, 210 secs
lola: 13690095 markings, 33999498 edges, 63733 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Raft-PT-08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441429897

--------------------
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_Raft-PT-08"
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_Raft-PT-08.tgz
mv S_Raft-PT-08 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_Raft-PT-08, 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 r148-csrt-149443432700011"
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 ;