Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DES-PT-40b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100308
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DES-PT-40b-UpperBounds-0
FORMULA_NAME DES-PT-40b-UpperBounds-1
FORMULA_NAME DES-PT-40b-UpperBounds-10
FORMULA_NAME DES-PT-40b-UpperBounds-11
FORMULA_NAME DES-PT-40b-UpperBounds-12
FORMULA_NAME DES-PT-40b-UpperBounds-13
FORMULA_NAME DES-PT-40b-UpperBounds-14
FORMULA_NAME DES-PT-40b-UpperBounds-15
FORMULA_NAME DES-PT-40b-UpperBounds-2
FORMULA_NAME DES-PT-40b-UpperBounds-3
FORMULA_NAME DES-PT-40b-UpperBounds-4
FORMULA_NAME DES-PT-40b-UpperBounds-5
FORMULA_NAME DES-PT-40b-UpperBounds-6
FORMULA_NAME DES-PT-40b-UpperBounds-7
FORMULA_NAME DES-PT-40b-UpperBounds-8
FORMULA_NAME DES-PT-40b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494630801785


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-40b @ 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: 829/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 439 places, 390 transitions, 374 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 487 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-40b-UpperBounds.task
lola: MAX(p182) : MAX(p191) : MAX(p255) : MAX(p239) : MAX(p33) : MAX(p132) : MAX(p116) : MAX(p200) : MAX(p83) : MAX(p16) : MAX(p319) : MAX(p421) : MAX(p59) : MAX(p320) : MAX(p352) : MAX(p72)
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(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 444937 markings, 1351373 edges, 88987 markings/sec, 0 secs
lola: 897452 markings, 2764528 edges, 90503 markings/sec, 5 secs
lola: 1345135 markings, 4138869 edges, 89537 markings/sec, 10 secs
lola: 1801380 markings, 5552385 edges, 91249 markings/sec, 15 secs
lola: 2238488 markings, 6903934 edges, 87422 markings/sec, 20 secs
lola: 2631204 markings, 8124341 edges, 78543 markings/sec, 25 secs
lola: 3020451 markings, 9332123 edges, 77849 markings/sec, 30 secs
lola: 3435708 markings, 10554163 edges, 83051 markings/sec, 35 secs
lola: 3851497 markings, 11719107 edges, 83158 markings/sec, 40 secs
lola: 4276053 markings, 12944504 edges, 84911 markings/sec, 45 secs
lola: 4692864 markings, 14096434 edges, 83362 markings/sec, 50 secs
lola: 5103845 markings, 15303167 edges, 82196 markings/sec, 55 secs
lola: 5516550 markings, 16481511 edges, 82541 markings/sec, 60 secs
lola: 5949383 markings, 17700881 edges, 86567 markings/sec, 65 secs
lola: 6332073 markings, 18873085 edges, 76538 markings/sec, 70 secs
lola: 6778145 markings, 20086162 edges, 89214 markings/sec, 75 secs
lola: 7156082 markings, 21286732 edges, 75587 markings/sec, 80 secs
lola: 7592793 markings, 22451264 edges, 87342 markings/sec, 85 secs
lola: 7992830 markings, 23664504 edges, 80007 markings/sec, 90 secs
lola: 8408789 markings, 24824450 edges, 83192 markings/sec, 95 secs
lola: 8816504 markings, 26026956 edges, 81543 markings/sec, 100 secs
lola: 9222341 markings, 27186665 edges, 81167 markings/sec, 105 secs
lola: 9652406 markings, 28395363 edges, 86013 markings/sec, 110 secs
lola: 10034961 markings, 29568251 edges, 76511 markings/sec, 115 secs
lola: 10480111 markings, 30777841 edges, 89030 markings/sec, 120 secs
lola: 10858143 markings, 31978739 edges, 75606 markings/sec, 125 secs
lola: 11293959 markings, 33140388 edges, 87163 markings/sec, 130 secs
lola: 11694147 markings, 34354988 edges, 80038 markings/sec, 135 secs
lola: 12109252 markings, 35513261 edges, 83021 markings/sec, 140 secs
lola: 12518330 markings, 36718311 edges, 81816 markings/sec, 145 secs
lola: 12926147 markings, 37885073 edges, 81563 markings/sec, 150 secs
lola: 13358059 markings, 39097029 edges, 86382 markings/sec, 155 secs
lola: 13739196 markings, 40268367 edges, 76227 markings/sec, 160 secs
lola: 14183179 markings, 41472009 edges, 88797 markings/sec, 165 secs
lola: 14556325 markings, 42658845 edges, 74629 markings/sec, 170 secs
lola: 14989943 markings, 43810599 edges, 86724 markings/sec, 175 secs
lola: 15387959 markings, 45030996 edges, 79603 markings/sec, 180 secs
lola: 15853037 markings, 46339718 edges, 93016 markings/sec, 185 secs
lola: 16320848 markings, 47685328 edges, 93562 markings/sec, 190 secs
lola: 16747402 markings, 49038297 edges, 85311 markings/sec, 195 secs
lola: 17200112 markings, 50388479 edges, 90542 markings/sec, 200 secs
lola: 17587543 markings, 51662784 edges, 77486 markings/sec, 205 secs
lola: 17900662 markings, 52861011 edges, 62624 markings/sec, 210 secs
lola: 18237735 markings, 54061303 edges, 67415 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(p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 752435 markings, 1055640 edges, 150487 markings/sec, 0 secs
lola: 1482279 markings, 2081614 edges, 145969 markings/sec, 5 secs
lola: 2150591 markings, 3124328 edges, 133662 markings/sec, 10 secs
lola: 2872067 markings, 4189915 edges, 144295 markings/sec, 15 secs
lola: 3552412 markings, 5312289 edges, 136069 markings/sec, 20 secs
lola: 4118959 markings, 6365545 edges, 113309 markings/sec, 25 secs
lola: 4630805 markings, 7380469 edges, 102369 markings/sec, 30 secs
lola: 5165053 markings, 8410768 edges, 106850 markings/sec, 35 secs
lola: 5684927 markings, 9461557 edges, 103975 markings/sec, 40 secs
lola: 6209380 markings, 10483295 edges, 104891 markings/sec, 45 secs
lola: 6684694 markings, 11471268 edges, 95063 markings/sec, 50 secs
lola: 7177301 markings, 12463872 edges, 98521 markings/sec, 55 secs
lola: 7674454 markings, 13495090 edges, 99431 markings/sec, 60 secs
lola: 8143968 markings, 14503707 edges, 93903 markings/sec, 65 secs
lola: 8639345 markings, 15568137 edges, 99075 markings/sec, 70 secs
lola: 9121869 markings, 16614202 edges, 96505 markings/sec, 75 secs
lola: 9737969 markings, 17737022 edges, 123220 markings/sec, 80 secs
lola: 10351183 markings, 18794815 edges, 122643 markings/sec, 85 secs
lola: 10834904 markings, 19809830 edges, 96744 markings/sec, 90 secs
lola: 11326387 markings, 20849462 edges, 98297 markings/sec, 95 secs
lola: 11860272 markings, 21908907 edges, 106777 markings/sec, 100 secs
lola: 12480168 markings, 22909619 edges, 123979 markings/sec, 105 secs
lola: 13013609 markings, 23936616 edges, 106688 markings/sec, 110 secs
lola: 13464126 markings, 25006429 edges, 90103 markings/sec, 115 secs
lola: 13991224 markings, 26055613 edges, 105420 markings/sec, 120 secs
lola: 14707145 markings, 27090934 edges, 143184 markings/sec, 125 secs
lola: 15250169 markings, 28148542 edges, 108605 markings/sec, 130 secs
lola: 15692497 markings, 29204266 edges, 88466 markings/sec, 135 secs
lola: 16142192 markings, 30259177 edges, 89939 markings/sec, 140 secs
lola: 16663520 markings, 31270625 edges, 104266 markings/sec, 145 secs
lola: 17155902 markings, 32287070 edges, 98476 markings/sec, 150 secs
lola: 17653081 markings, 33333473 edges, 99436 markings/sec, 155 secs
lola: 18134129 markings, 34368071 edges, 96210 markings/sec, 160 secs
lola: 18651118 markings, 35352189 edges, 103398 markings/sec, 165 secs
lola: 19147211 markings, 36373561 edges, 99219 markings/sec, 170 secs
lola: 19646561 markings, 37395064 edges, 99870 markings/sec, 175 secs
lola: 20197761 markings, 38467646 edges, 110240 markings/sec, 180 secs
lola: 20714900 markings, 39539352 edges, 103428 markings/sec, 185 secs
lola: 21301613 markings, 40619673 edges, 117343 markings/sec, 190 secs
lola: 21781210 markings, 41621356 edges, 95919 markings/sec, 195 secs
lola: 22372057 markings, 42657797 edges, 118169 markings/sec, 200 secs
lola: 22837517 markings, 43703519 edges, 93092 markings/sec, 205 secs
lola: 23489419 markings, 44790495 edges, 130380 markings/sec, 210 secs
lola: 23928904 markings, 45844448 edges, 87897 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(p255)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 888440 markings, 1393829 edges, 177688 markings/sec, 0 secs
lola: 1779255 markings, 2791653 edges, 178163 markings/sec, 5 secs
lola: 2571859 markings, 4035363 edges, 158521 markings/sec, 10 secs
lola: 3367965 markings, 5160866 edges, 159221 markings/sec, 15 secs
lola: 4152325 markings, 6182437 edges, 156872 markings/sec, 20 secs
lola: 4927204 markings, 7178800 edges, 154976 markings/sec, 25 secs
lola: 5709380 markings, 8208207 edges, 156435 markings/sec, 30 secs
lola: 6486815 markings, 9217890 edges, 155487 markings/sec, 35 secs
lola: 7267495 markings, 10231145 edges, 156136 markings/sec, 40 secs
lola: 8046448 markings, 11246556 edges, 155791 markings/sec, 45 secs
lola: 8823880 markings, 12257861 edges, 155486 markings/sec, 50 secs
lola: 9598551 markings, 13267392 edges, 154934 markings/sec, 55 secs
lola: 10373820 markings, 14274940 edges, 155054 markings/sec, 60 secs
lola: 11150685 markings, 15286687 edges, 155373 markings/sec, 65 secs
lola: 11932288 markings, 16305859 edges, 156321 markings/sec, 70 secs
lola: 12712182 markings, 17319813 edges, 155979 markings/sec, 75 secs
lola: 13492218 markings, 18333154 edges, 156007 markings/sec, 80 secs
lola: 14271748 markings, 19347000 edges, 155906 markings/sec, 85 secs
lola: 15053268 markings, 20361786 edges, 156304 markings/sec, 90 secs
lola: 15835735 markings, 21391433 edges, 156493 markings/sec, 95 secs
lola: 16612780 markings, 22392306 edges, 155409 markings/sec, 100 secs
lola: 17382283 markings, 23390411 edges, 153901 markings/sec, 105 secs
lola: 18161644 markings, 24418616 edges, 155872 markings/sec, 110 secs
lola: 18948495 markings, 25431274 edges, 157370 markings/sec, 115 secs
lola: 19741184 markings, 26459552 edges, 158538 markings/sec, 120 secs
lola: 20372744 markings, 27492749 edges, 126312 markings/sec, 125 secs
lola: 21272412 markings, 28635262 edges, 179934 markings/sec, 130 secs
lola: 22146277 markings, 29746802 edges, 174773 markings/sec, 135 secs
lola: 23019657 markings, 30864620 edges, 174676 markings/sec, 140 secs
lola: 23822539 markings, 31817413 edges, 160576 markings/sec, 145 secs
lola: 24667297 markings, 32783395 edges, 168952 markings/sec, 150 secs
lola: 25514493 markings, 33929712 edges, 169439 markings/sec, 155 secs
lola: 26363002 markings, 35065907 edges, 169702 markings/sec, 160 secs
lola: 27133872 markings, 36104342 edges, 154174 markings/sec, 165 secs
lola: 27933619 markings, 37098192 edges, 159949 markings/sec, 170 secs
lola: 28696904 markings, 38147277 edges, 152657 markings/sec, 175 secs
lola: 29489411 markings, 39233243 edges, 158501 markings/sec, 180 secs
lola: 30257485 markings, 40320146 edges, 153615 markings/sec, 185 secs
lola: 31003122 markings, 41359931 edges, 149127 markings/sec, 190 secs
lola: 31784167 markings, 42424270 edges, 156209 markings/sec, 195 secs
lola: 32610971 markings, 43533588 edges, 165361 markings/sec, 200 secs
lola: 33383389 markings, 44556472 edges, 154484 markings/sec, 205 secs
lola: 34153029 markings, 45637014 edges, 153928 markings/sec, 210 secs
lola: 34976922 markings, 46666685 edges, 164779 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(p239)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 716083 markings, 1259547 edges, 143217 markings/sec, 0 secs
lola: 1412889 markings, 2524596 edges, 139361 markings/sec, 5 secs
lola: 2091380 markings, 3776372 edges, 135698 markings/sec, 10 secs
lola: 2818323 markings, 5035643 edges, 145389 markings/sec, 15 secs
lola: 3515851 markings, 6211827 edges, 139506 markings/sec, 20 secs
lola: 4388478 markings, 7405705 edges, 174525 markings/sec, 25 secs
lola: 5328737 markings, 8600883 edges, 188052 markings/sec, 30 secs
lola: 6252355 markings, 9780026 edges, 184724 markings/sec, 35 secs
lola: 7081318 markings, 10995697 edges, 165793 markings/sec, 40 secs
lola: 7865331 markings, 12150002 edges, 156803 markings/sec, 45 secs
lola: 8786081 markings, 13285350 edges, 184150 markings/sec, 50 secs
lola: 9751514 markings, 14430552 edges, 193087 markings/sec, 55 secs
lola: 10669256 markings, 15546276 edges, 183548 markings/sec, 60 secs
lola: 11512657 markings, 16654548 edges, 168680 markings/sec, 65 secs
lola: 12376862 markings, 17730040 edges, 172841 markings/sec, 70 secs
lola: 13257981 markings, 18917659 edges, 176224 markings/sec, 75 secs
lola: 14179427 markings, 20107887 edges, 184289 markings/sec, 80 secs
lola: 15110150 markings, 21317771 edges, 186145 markings/sec, 85 secs
lola: 15938625 markings, 22532987 edges, 165695 markings/sec, 90 secs
lola: 16749846 markings, 23714392 edges, 162244 markings/sec, 95 secs
lola: 17426068 markings, 24934453 edges, 135244 markings/sec, 100 secs
lola: 18090412 markings, 26190462 edges, 132869 markings/sec, 105 secs
lola: 18938395 markings, 27318526 edges, 169597 markings/sec, 110 secs
lola: 19733503 markings, 28427144 edges, 159022 markings/sec, 115 secs
lola: 20487118 markings, 29464987 edges, 150723 markings/sec, 120 secs
lola: 21292998 markings, 30535654 edges, 161176 markings/sec, 125 secs
lola: 22241184 markings, 31652196 edges, 189637 markings/sec, 130 secs
lola: 23273983 markings, 32762617 edges, 206560 markings/sec, 135 secs
lola: 24240872 markings, 33864367 edges, 193378 markings/sec, 140 secs
lola: 25138730 markings, 34929828 edges, 179572 markings/sec, 145 secs
lola: 26023014 markings, 36041616 edges, 176857 markings/sec, 150 secs
lola: 26943974 markings, 37166333 edges, 184192 markings/sec, 155 secs
lola: 27792698 markings, 38279590 edges, 169745 markings/sec, 160 secs
lola: 28696751 markings, 39388003 edges, 180811 markings/sec, 165 secs
lola: 29542025 markings, 40490862 edges, 169055 markings/sec, 170 secs
lola: 30305807 markings, 41601494 edges, 152756 markings/sec, 175 secs
lola: 31175655 markings, 42712624 edges, 173970 markings/sec, 180 secs
lola: 31992762 markings, 43746906 edges, 163421 markings/sec, 185 secs
lola: 32867364 markings, 44854801 edges, 174920 markings/sec, 190 secs
lola: 33678555 markings, 45876866 edges, 162238 markings/sec, 195 secs
lola: 34443642 markings, 47030621 edges, 153017 markings/sec, 200 secs
lola: 35289361 markings, 48145387 edges, 169144 markings/sec, 205 secs
lola: 36172574 markings, 49236682 edges, 176643 markings/sec, 210 secs
lola: 36992313 markings, 50306261 edges, 163948 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(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 875609 markings, 1107320 edges, 175122 markings/sec, 0 secs
lola: 1718548 markings, 2210713 edges, 168588 markings/sec, 5 secs
lola: 2503140 markings, 3312062 edges, 156918 markings/sec, 10 secs
lola: 3312196 markings, 4416129 edges, 161811 markings/sec, 15 secs
lola: 4101814 markings, 5507888 edges, 157924 markings/sec, 20 secs
lola: 4851587 markings, 6584290 edges, 149955 markings/sec, 25 secs
lola: 5611784 markings, 7638667 edges, 152039 markings/sec, 30 secs
lola: 6269175 markings, 8738431 edges, 131478 markings/sec, 35 secs
lola: 6784431 markings, 9898019 edges, 103051 markings/sec, 40 secs
lola: 7375133 markings, 11088796 edges, 118140 markings/sec, 45 secs
lola: 7951566 markings, 12207457 edges, 115287 markings/sec, 50 secs
lola: 8469224 markings, 13407802 edges, 103532 markings/sec, 55 secs
lola: 9067000 markings, 14576924 edges, 119555 markings/sec, 60 secs
lola: 9609926 markings, 15676736 edges, 108585 markings/sec, 65 secs
lola: 10159783 markings, 16896520 edges, 109971 markings/sec, 70 secs
lola: 10744809 markings, 18033138 edges, 117005 markings/sec, 75 secs
lola: 11247148 markings, 19203317 edges, 100468 markings/sec, 80 secs
lola: 11844245 markings, 20370372 edges, 119419 markings/sec, 85 secs
lola: 12411682 markings, 21467063 edges, 113487 markings/sec, 90 secs
lola: 12935987 markings, 22683146 edges, 104861 markings/sec, 95 secs
lola: 13531552 markings, 23850796 edges, 119113 markings/sec, 100 secs
lola: 14050985 markings, 24953112 edges, 103887 markings/sec, 105 secs
lola: 14626126 markings, 26170626 edges, 115028 markings/sec, 110 secs
lola: 15211251 markings, 27310863 edges, 117025 markings/sec, 115 secs
lola: 15725322 markings, 28505911 edges, 102814 markings/sec, 120 secs
lola: 16331385 markings, 29693317 edges, 121213 markings/sec, 125 secs
lola: 16895554 markings, 30781971 edges, 112834 markings/sec, 130 secs
lola: 17412182 markings, 31985022 edges, 103326 markings/sec, 135 secs
lola: 17954785 markings, 33108342 edges, 108521 markings/sec, 140 secs
lola: 18414437 markings, 34159230 edges, 91930 markings/sec, 145 secs
lola: 18952520 markings, 35201163 edges, 107617 markings/sec, 150 secs
lola: 19730927 markings, 36111331 edges, 155681 markings/sec, 155 secs
lola: 20633346 markings, 37061708 edges, 180484 markings/sec, 160 secs
lola: 21492077 markings, 37966131 edges, 171746 markings/sec, 165 secs
lola: 22289239 markings, 38805635 edges, 159432 markings/sec, 170 secs
lola: 23070859 markings, 39629506 edges, 156324 markings/sec, 175 secs
lola: 23784473 markings, 40388898 edges, 142723 markings/sec, 180 secs
lola: 24504591 markings, 41157623 edges, 144024 markings/sec, 185 secs
lola: 25214863 markings, 41914407 edges, 142054 markings/sec, 190 secs
lola: 25931487 markings, 42680091 edges, 143325 markings/sec, 195 secs
lola: 26647611 markings, 43441207 edges, 143225 markings/sec, 200 secs
lola: 27351920 markings, 44191840 edges, 140862 markings/sec, 205 secs
lola: 28065628 markings, 44953681 edges, 142742 markings/sec, 210 secs
lola: 28771809 markings, 45706645 edges, 141236 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(p132)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 784463 markings, 1091536 edges, 156893 markings/sec, 0 secs
lola: 1448039 markings, 2206148 edges, 132715 markings/sec, 5 secs
lola: 2120609 markings, 3323605 edges, 134514 markings/sec, 10 secs
lola: 2787134 markings, 4440314 edges, 133305 markings/sec, 15 secs
lola: 3457370 markings, 5556120 edges, 134047 markings/sec, 20 secs
lola: 4128511 markings, 6671189 edges, 134228 markings/sec, 25 secs
lola: 4774065 markings, 7699911 edges, 129111 markings/sec, 30 secs
lola: 5360173 markings, 8552252 edges, 117222 markings/sec, 35 secs
lola: 6062686 markings, 9347667 edges, 140503 markings/sec, 40 secs
lola: 6747442 markings, 10126207 edges, 136951 markings/sec, 45 secs
lola: 7417964 markings, 10896928 edges, 134104 markings/sec, 50 secs
lola: 8088333 markings, 11687968 edges, 134074 markings/sec, 55 secs
lola: 8747776 markings, 12456746 edges, 131889 markings/sec, 60 secs
lola: 9412395 markings, 13203722 edges, 132924 markings/sec, 65 secs
lola: 10088970 markings, 13947228 edges, 135315 markings/sec, 70 secs
lola: 10758433 markings, 14691466 edges, 133893 markings/sec, 75 secs
lola: 11417237 markings, 15483747 edges, 131761 markings/sec, 80 secs
lola: 12134970 markings, 16323806 edges, 143547 markings/sec, 85 secs
lola: 12818764 markings, 17159439 edges, 136759 markings/sec, 90 secs
lola: 13494307 markings, 17993210 edges, 135109 markings/sec, 95 secs
lola: 14171220 markings, 18812746 edges, 135383 markings/sec, 100 secs
lola: 14826244 markings, 19612968 edges, 131005 markings/sec, 105 secs
lola: 15516136 markings, 20392066 edges, 137978 markings/sec, 110 secs
lola: 16181263 markings, 21160926 edges, 133025 markings/sec, 115 secs
lola: 16756998 markings, 22117953 edges, 115147 markings/sec, 120 secs
lola: 17321812 markings, 23156564 edges, 112963 markings/sec, 125 secs
lola: 17868348 markings, 24206251 edges, 109307 markings/sec, 130 secs
lola: 18367796 markings, 25235970 edges, 99890 markings/sec, 135 secs
lola: 18814536 markings, 26379483 edges, 89348 markings/sec, 140 secs
lola: 19244509 markings, 27457935 edges, 85995 markings/sec, 145 secs
lola: 19657593 markings, 28570722 edges, 82617 markings/sec, 150 secs
lola: 20100796 markings, 29692073 edges, 88641 markings/sec, 155 secs
lola: 20480882 markings, 30768607 edges, 76017 markings/sec, 160 secs
lola: 20916196 markings, 31807417 edges, 87063 markings/sec, 165 secs
lola: 21294781 markings, 32866184 edges, 75717 markings/sec, 170 secs
lola: 21667269 markings, 33870250 edges, 74498 markings/sec, 175 secs
lola: 22092627 markings, 34907356 edges, 85072 markings/sec, 180 secs
lola: 22479064 markings, 35933695 edges, 77287 markings/sec, 185 secs
lola: 22856269 markings, 36935555 edges, 75441 markings/sec, 190 secs
lola: 23261846 markings, 37975532 edges, 81115 markings/sec, 195 secs
lola: 23652037 markings, 38966990 edges, 78038 markings/sec, 200 secs
lola: 24086093 markings, 39948536 edges, 86811 markings/sec, 205 secs
lola: 24521893 markings, 40972284 edges, 87160 markings/sec, 210 secs
lola: 24964265 markings, 41944776 edges, 88474 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 1017638 markings, 1165153 edges, 203528 markings/sec, 0 secs
lola: 1829293 markings, 2194260 edges, 162331 markings/sec, 5 secs
lola: 2582991 markings, 3152473 edges, 150740 markings/sec, 10 secs
lola: 3340130 markings, 4115154 edges, 151428 markings/sec, 15 secs
lola: 4095584 markings, 5076384 edges, 151091 markings/sec, 20 secs
lola: 4852671 markings, 6038631 edges, 151417 markings/sec, 25 secs
lola: 5612393 markings, 7004317 edges, 151944 markings/sec, 30 secs
lola: 6370265 markings, 7971223 edges, 151574 markings/sec, 35 secs
lola: 7131298 markings, 8937347 edges, 152207 markings/sec, 40 secs
lola: 7889220 markings, 9902294 edges, 151584 markings/sec, 45 secs
lola: 8645376 markings, 10867515 edges, 151231 markings/sec, 50 secs
lola: 9405854 markings, 11840734 edges, 152096 markings/sec, 55 secs
lola: 10169509 markings, 12813766 edges, 152731 markings/sec, 60 secs
lola: 10928186 markings, 13778983 edges, 151735 markings/sec, 65 secs
lola: 11687854 markings, 14749361 edges, 151934 markings/sec, 70 secs
lola: 12443531 markings, 15713226 edges, 151135 markings/sec, 75 secs
lola: 13198628 markings, 16677627 edges, 151019 markings/sec, 80 secs
lola: 13949564 markings, 17641890 edges, 150187 markings/sec, 85 secs
lola: 14707331 markings, 18605415 edges, 151553 markings/sec, 90 secs
lola: 15470700 markings, 19581894 edges, 152674 markings/sec, 95 secs
lola: 16230466 markings, 20547925 edges, 151953 markings/sec, 100 secs
lola: 16987591 markings, 21510772 edges, 151425 markings/sec, 105 secs
lola: 17736955 markings, 22468762 edges, 149873 markings/sec, 110 secs
lola: 18500112 markings, 23442565 edges, 152631 markings/sec, 115 secs
lola: 19258305 markings, 24407067 edges, 151639 markings/sec, 120 secs
lola: 20019695 markings, 25380467 edges, 152278 markings/sec, 125 secs
lola: 20782207 markings, 26357985 edges, 152502 markings/sec, 130 secs
lola: 21541375 markings, 27321769 edges, 151834 markings/sec, 135 secs
lola: 22298919 markings, 28283855 edges, 151509 markings/sec, 140 secs
lola: 23058439 markings, 29258598 edges, 151904 markings/sec, 145 secs
lola: 23819046 markings, 30224503 edges, 152121 markings/sec, 150 secs
lola: 24577023 markings, 31188008 edges, 151595 markings/sec, 155 secs
lola: 25341072 markings, 32158958 edges, 152810 markings/sec, 160 secs
lola: 26105408 markings, 33129918 edges, 152867 markings/sec, 165 secs
lola: 26869868 markings, 34102681 edges, 152892 markings/sec, 170 secs
lola: 27490369 markings, 35092098 edges, 124100 markings/sec, 175 secs
lola: 28077187 markings, 36078449 edges, 117364 markings/sec, 180 secs
lola: 28897186 markings, 37098408 edges, 164000 markings/sec, 185 secs
lola: 29738781 markings, 38191906 edges, 168319 markings/sec, 190 secs
lola: 30638715 markings, 39356160 edges, 179987 markings/sec, 195 secs
lola: 31517160 markings, 40459308 edges, 175689 markings/sec, 200 secs
lola: 32367197 markings, 41466438 edges, 170007 markings/sec, 205 secs
lola: 33143003 markings, 42378180 edges, 155161 markings/sec, 210 secs
lola: 33999477 markings, 43344440 edges, 171295 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(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 773513 markings, 1085908 edges, 154703 markings/sec, 0 secs
lola: 1512395 markings, 2125109 edges, 147776 markings/sec, 5 secs
lola: 2212957 markings, 3218888 edges, 140112 markings/sec, 10 secs
lola: 2963097 markings, 4418201 edges, 150028 markings/sec, 15 secs
lola: 3609303 markings, 5564996 edges, 129241 markings/sec, 20 secs
lola: 4143838 markings, 6584490 edges, 106907 markings/sec, 25 secs
lola: 4681111 markings, 7615835 edges, 107455 markings/sec, 30 secs
lola: 5183072 markings, 8665962 edges, 100392 markings/sec, 35 secs
lola: 5711458 markings, 9694810 edges, 105677 markings/sec, 40 secs
lola: 6207195 markings, 10705156 edges, 99147 markings/sec, 45 secs
lola: 6724746 markings, 11753436 edges, 103510 markings/sec, 50 secs
lola: 7191258 markings, 12760669 edges, 93302 markings/sec, 55 secs
lola: 7705289 markings, 13821747 edges, 102806 markings/sec, 60 secs
lola: 8282205 markings, 14962732 edges, 115383 markings/sec, 65 secs
lola: 8910817 markings, 16040335 edges, 125722 markings/sec, 70 secs
lola: 9392613 markings, 17054672 edges, 96359 markings/sec, 75 secs
lola: 9875499 markings, 18072570 edges, 96577 markings/sec, 80 secs
lola: 10392658 markings, 19092511 edges, 103432 markings/sec, 85 secs
lola: 11032487 markings, 20103135 edges, 127966 markings/sec, 90 secs
lola: 11486647 markings, 21155709 edges, 90832 markings/sec, 95 secs
lola: 11972996 markings, 22190729 edges, 97270 markings/sec, 100 secs
lola: 12645186 markings, 23232193 edges, 134438 markings/sec, 105 secs
lola: 13200841 markings, 24280122 edges, 111131 markings/sec, 110 secs
lola: 13666955 markings, 25317989 edges, 93223 markings/sec, 115 secs
lola: 14119112 markings, 26385133 edges, 90431 markings/sec, 120 secs
lola: 14642881 markings, 27390678 edges, 104754 markings/sec, 125 secs
lola: 15141107 markings, 28453716 edges, 99645 markings/sec, 130 secs
lola: 15639939 markings, 29500771 edges, 99766 markings/sec, 135 secs
lola: 16148940 markings, 30488945 edges, 101800 markings/sec, 140 secs
lola: 16630248 markings, 31509860 edges, 96262 markings/sec, 145 secs
lola: 17134098 markings, 32504763 edges, 100770 markings/sec, 150 secs
lola: 17666510 markings, 33570452 edges, 106482 markings/sec, 155 secs
lola: 18249203 markings, 34681307 edges, 116539 markings/sec, 160 secs
lola: 18747660 markings, 35707218 edges, 99691 markings/sec, 165 secs
lola: 19333401 markings, 36754691 edges, 117148 markings/sec, 170 secs
lola: 19804727 markings, 37801786 edges, 94265 markings/sec, 175 secs
lola: 20435959 markings, 38901863 edges, 126246 markings/sec, 180 secs
lola: 20900849 markings, 39964742 edges, 92978 markings/sec, 185 secs
lola: 21406584 markings, 41009890 edges, 101147 markings/sec, 190 secs
lola: 21917105 markings, 42021212 edges, 102104 markings/sec, 195 secs
lola: 22452595 markings, 43044981 edges, 107098 markings/sec, 200 secs
lola: 23040951 markings, 44148390 edges, 117671 markings/sec, 205 secs
lola: 23620828 markings, 45264469 edges, 115975 markings/sec, 210 secs
lola: 24298349 markings, 46397512 edges, 135504 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(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 857385 markings, 1017111 edges, 171477 markings/sec, 0 secs
lola: 1632131 markings, 1934567 edges, 154949 markings/sec, 5 secs
lola: 2360916 markings, 2703786 edges, 145757 markings/sec, 10 secs
lola: 3088618 markings, 3468038 edges, 145540 markings/sec, 15 secs
lola: 3792723 markings, 4211570 edges, 140821 markings/sec, 20 secs
lola: 4498613 markings, 4958285 edges, 141178 markings/sec, 25 secs
lola: 5198700 markings, 5772949 edges, 140017 markings/sec, 30 secs
lola: 5942667 markings, 6681860 edges, 148793 markings/sec, 35 secs
lola: 6622415 markings, 7473056 edges, 135950 markings/sec, 40 secs
lola: 7302376 markings, 8205162 edges, 135992 markings/sec, 45 secs
lola: 8002026 markings, 8997606 edges, 139930 markings/sec, 50 secs
lola: 8708257 markings, 9867897 edges, 141246 markings/sec, 55 secs
lola: 9406235 markings, 10651321 edges, 139596 markings/sec, 60 secs
lola: 10154528 markings, 11469802 edges, 149659 markings/sec, 65 secs
lola: 10890893 markings, 12288928 edges, 147273 markings/sec, 70 secs
lola: 11622059 markings, 13053324 edges, 146233 markings/sec, 75 secs
lola: 12336867 markings, 13797607 edges, 142962 markings/sec, 80 secs
lola: 13059677 markings, 14550031 edges, 144562 markings/sec, 85 secs
lola: 13782654 markings, 15307225 edges, 144595 markings/sec, 90 secs
lola: 14505117 markings, 16075616 edges, 144493 markings/sec, 95 secs
lola: 15231080 markings, 16969253 edges, 145193 markings/sec, 100 secs
lola: 15926398 markings, 17735609 edges, 139064 markings/sec, 105 secs
lola: 16629199 markings, 18475844 edges, 140560 markings/sec, 110 secs
lola: 17336343 markings, 19225869 edges, 141429 markings/sec, 115 secs
lola: 18047495 markings, 20050996 edges, 142230 markings/sec, 120 secs
lola: 18769623 markings, 20845709 edges, 144426 markings/sec, 125 secs
lola: 19488509 markings, 21644171 edges, 143777 markings/sec, 130 secs
lola: 20296704 markings, 22520785 edges, 161639 markings/sec, 135 secs
lola: 21033198 markings, 23295031 edges, 147299 markings/sec, 140 secs
lola: 21763972 markings, 24057521 edges, 146155 markings/sec, 145 secs
lola: 22481691 markings, 24833681 edges, 143544 markings/sec, 150 secs
lola: 23199161 markings, 25595617 edges, 143494 markings/sec, 155 secs
lola: 23933861 markings, 26382294 edges, 146940 markings/sec, 160 secs
lola: 24704164 markings, 27203145 edges, 154061 markings/sec, 165 secs
lola: 25400966 markings, 27980453 edges, 139360 markings/sec, 170 secs
lola: 26157042 markings, 28790833 edges, 151215 markings/sec, 175 secs
lola: 26910002 markings, 29565218 edges, 150592 markings/sec, 180 secs
lola: 27654570 markings, 30330930 edges, 148914 markings/sec, 185 secs
lola: 28398018 markings, 31137848 edges, 148690 markings/sec, 190 secs
lola: 29106969 markings, 31908731 edges, 141790 markings/sec, 195 secs
lola: 29829932 markings, 32661962 edges, 144593 markings/sec, 200 secs
lola: 30545977 markings, 33431763 edges, 143209 markings/sec, 205 secs
lola: 31332665 markings, 34282704 edges, 157338 markings/sec, 210 secs
lola: 32115959 markings, 35105503 edges, 156659 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(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 799367 markings, 1018583 edges, 159873 markings/sec, 0 secs
lola: 1587807 markings, 2037540 edges, 157688 markings/sec, 5 secs
lola: 2316807 markings, 3050212 edges, 145800 markings/sec, 10 secs
lola: 3060773 markings, 4079710 edges, 148793 markings/sec, 15 secs
lola: 3813766 markings, 5093084 edges, 150599 markings/sec, 20 secs
lola: 4514205 markings, 6093138 edges, 140088 markings/sec, 25 secs
lola: 5217602 markings, 7096483 edges, 140679 markings/sec, 30 secs
lola: 5897725 markings, 8044686 edges, 136025 markings/sec, 35 secs
lola: 6455542 markings, 9172626 edges, 111563 markings/sec, 40 secs
lola: 7000535 markings, 10216321 edges, 108999 markings/sec, 45 secs
lola: 7506123 markings, 11393131 edges, 101118 markings/sec, 50 secs
lola: 8069054 markings, 12479318 edges, 112586 markings/sec, 55 secs
lola: 8549623 markings, 13593756 edges, 96114 markings/sec, 60 secs
lola: 9119468 markings, 14699855 edges, 113969 markings/sec, 65 secs
lola: 9652090 markings, 15733666 edges, 106524 markings/sec, 70 secs
lola: 10161557 markings, 16900659 edges, 101893 markings/sec, 75 secs
lola: 10716822 markings, 17970786 edges, 111053 markings/sec, 80 secs
lola: 11203061 markings, 19100001 edges, 97248 markings/sec, 85 secs
lola: 11772605 markings, 20201754 edges, 113909 markings/sec, 90 secs
lola: 12279863 markings, 21248788 edges, 101452 markings/sec, 95 secs
lola: 12817695 markings, 22408190 edges, 107566 markings/sec, 100 secs
lola: 13370278 markings, 23475755 edges, 110517 markings/sec, 105 secs
lola: 13863864 markings, 24619708 edges, 98717 markings/sec, 110 secs
lola: 14435286 markings, 25730179 edges, 114284 markings/sec, 115 secs
lola: 14927596 markings, 26793866 edges, 98462 markings/sec, 120 secs
lola: 15486924 markings, 27949703 edges, 111866 markings/sec, 125 secs
lola: 16039776 markings, 29015678 edges, 110570 markings/sec, 130 secs
lola: 16541442 markings, 30179775 edges, 100333 markings/sec, 135 secs
lola: 17115131 markings, 31295187 edges, 114738 markings/sec, 140 secs
lola: 17607778 markings, 32380414 edges, 98529 markings/sec, 145 secs
lola: 18175608 markings, 33538720 edges, 113566 markings/sec, 150 secs
lola: 18732624 markings, 34611011 edges, 111403 markings/sec, 155 secs
lola: 19240939 markings, 35789822 edges, 101663 markings/sec, 160 secs
lola: 19820617 markings, 36920105 edges, 115936 markings/sec, 165 secs
lola: 20321521 markings, 38011537 edges, 100181 markings/sec, 170 secs
lola: 20892709 markings, 39189575 edges, 114238 markings/sec, 175 secs
lola: 21457637 markings, 40282277 edges, 112986 markings/sec, 180 secs
lola: 21968037 markings, 41465840 edges, 102080 markings/sec, 185 secs
lola: 22556717 markings, 42615373 edges, 117736 markings/sec, 190 secs
lola: 23078103 markings, 43697785 edges, 104277 markings/sec, 195 secs
lola: 23636097 markings, 44901141 edges, 111599 markings/sec, 200 secs
lola: 24214264 markings, 46024784 edges, 115633 markings/sec, 205 secs
lola: 24719736 markings, 47199758 edges, 101094 markings/sec, 210 secs
lola: 25313074 markings, 48357449 edges, 118668 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(p319)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 975354 markings, 1053688 edges, 195071 markings/sec, 0 secs
lola: 2052256 markings, 2168482 edges, 215380 markings/sec, 5 secs
lola: 3111036 markings, 3257652 edges, 211756 markings/sec, 10 secs
lola: 4000454 markings, 4292572 edges, 177884 markings/sec, 15 secs
lola: 4892148 markings, 5293365 edges, 178339 markings/sec, 20 secs
lola: 5888994 markings, 6371202 edges, 199369 markings/sec, 25 secs
lola: 6848945 markings, 7376684 edges, 191990 markings/sec, 30 secs
lola: 7920946 markings, 8505589 edges, 214400 markings/sec, 35 secs
lola: 8644886 markings, 9614897 edges, 144788 markings/sec, 40 secs
lola: 9136543 markings, 10715753 edges, 98331 markings/sec, 45 secs
lola: 9876571 markings, 11728585 edges, 148006 markings/sec, 50 secs
lola: 10836682 markings, 12789926 edges, 192022 markings/sec, 55 secs
lola: 11959185 markings, 13939692 edges, 224501 markings/sec, 60 secs
lola: 12925226 markings, 15031387 edges, 193208 markings/sec, 65 secs
lola: 13869012 markings, 16116320 edges, 188757 markings/sec, 70 secs
lola: 14665658 markings, 17178949 edges, 159329 markings/sec, 75 secs
lola: 15404479 markings, 18259821 edges, 147764 markings/sec, 80 secs
lola: 16118612 markings, 19282300 edges, 142827 markings/sec, 85 secs
lola: 16795772 markings, 20325286 edges, 135432 markings/sec, 90 secs
lola: 17494609 markings, 21359316 edges, 139767 markings/sec, 95 secs
lola: 18514297 markings, 22471780 edges, 203938 markings/sec, 100 secs
lola: 19523717 markings, 23582619 edges, 201884 markings/sec, 105 secs
lola: 20525308 markings, 24684889 edges, 200318 markings/sec, 110 secs
lola: 21535974 markings, 25784884 edges, 202133 markings/sec, 115 secs
lola: 22538302 markings, 26886315 edges, 200466 markings/sec, 120 secs
lola: 23612489 markings, 27990443 edges, 214837 markings/sec, 125 secs
lola: 24581191 markings, 29099482 edges, 193740 markings/sec, 130 secs
lola: 25053593 markings, 30212699 edges, 94480 markings/sec, 135 secs
lola: 25712844 markings, 31275652 edges, 131850 markings/sec, 140 secs
lola: 26563169 markings, 32323980 edges, 170065 markings/sec, 145 secs
lola: 27644635 markings, 33448007 edges, 216293 markings/sec, 150 secs
lola: 28644183 markings, 34545663 edges, 199910 markings/sec, 155 secs
lola: 29639487 markings, 35626416 edges, 199061 markings/sec, 160 secs
lola: 30507011 markings, 36665763 edges, 173505 markings/sec, 165 secs
lola: 31243845 markings, 37741946 edges, 147367 markings/sec, 170 secs
lola: 31910245 markings, 38794370 edges, 133280 markings/sec, 175 secs
lola: 32619063 markings, 39832657 edges, 141764 markings/sec, 180 secs
lola: 33322172 markings, 40858213 edges, 140622 markings/sec, 185 secs
lola: 34169665 markings, 41919642 edges, 169499 markings/sec, 190 secs
lola: 35175150 markings, 43028971 edges, 201097 markings/sec, 195 secs
lola: 36182984 markings, 44139464 edges, 201567 markings/sec, 200 secs
lola: 37189141 markings, 45237239 edges, 201231 markings/sec, 205 secs
lola: 38175221 markings, 46331253 edges, 197216 markings/sec, 210 secs
lola: 39230613 markings, 47429207 edges, 211078 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(p421)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 821932 markings, 874849 edges, 164386 markings/sec, 0 secs
lola: 1566105 markings, 1645549 edges, 148835 markings/sec, 5 secs
lola: 2338202 markings, 2461968 edges, 154419 markings/sec, 10 secs
lola: 3176506 markings, 3346269 edges, 167661 markings/sec, 15 secs
lola: 3914156 markings, 4120979 edges, 147530 markings/sec, 20 secs
lola: 4647064 markings, 4899488 edges, 146582 markings/sec, 25 secs
lola: 5461371 markings, 5760735 edges, 162861 markings/sec, 30 secs
lola: 6215505 markings, 6553485 edges, 150827 markings/sec, 35 secs
lola: 6936416 markings, 7317971 edges, 144182 markings/sec, 40 secs
lola: 7737860 markings, 8166344 edges, 160289 markings/sec, 45 secs
lola: 8521260 markings, 8992713 edges, 156680 markings/sec, 50 secs
lola: 9225465 markings, 9735865 edges, 140841 markings/sec, 55 secs
lola: 10002554 markings, 10565374 edges, 155418 markings/sec, 60 secs
lola: 10810314 markings, 11415392 edges, 161552 markings/sec, 65 secs
lola: 11527461 markings, 12167576 edges, 143429 markings/sec, 70 secs
lola: 12264562 markings, 12951312 edges, 147420 markings/sec, 75 secs
lola: 13077640 markings, 13810395 edges, 162616 markings/sec, 80 secs
lola: 13817144 markings, 14588093 edges, 147901 markings/sec, 85 secs
lola: 14535867 markings, 15350542 edges, 143745 markings/sec, 90 secs
lola: 15334160 markings, 16195536 edges, 159659 markings/sec, 95 secs
lola: 16107991 markings, 17009451 edges, 154766 markings/sec, 100 secs
lola: 16809171 markings, 17751635 edges, 140236 markings/sec, 105 secs
lola: 17583879 markings, 18579362 edges, 154942 markings/sec, 110 secs
lola: 18385132 markings, 19421636 edges, 160251 markings/sec, 115 secs
lola: 19093564 markings, 20164762 edges, 141686 markings/sec, 120 secs
lola: 19827540 markings, 20945063 edges, 146795 markings/sec, 125 secs
lola: 20637283 markings, 21800649 edges, 161949 markings/sec, 130 secs
lola: 21375062 markings, 22576191 edges, 147556 markings/sec, 135 secs
lola: 22094734 markings, 23339952 edges, 143934 markings/sec, 140 secs
lola: 22892826 markings, 24184123 edges, 159618 markings/sec, 145 secs
lola: 23666019 markings, 24997418 edges, 154639 markings/sec, 150 secs
lola: 24370070 markings, 25743221 edges, 140810 markings/sec, 155 secs
lola: 25146992 markings, 26573614 edges, 155384 markings/sec, 160 secs
lola: 25950813 markings, 27418523 edges, 160764 markings/sec, 165 secs
lola: 26661030 markings, 28163367 edges, 142043 markings/sec, 170 secs
lola: 27399641 markings, 28948551 edges, 147722 markings/sec, 175 secs
lola: 28213320 markings, 29808590 edges, 162736 markings/sec, 180 secs
lola: 28950578 markings, 30583293 edges, 147452 markings/sec, 185 secs
lola: 29673186 markings, 31350175 edges, 144522 markings/sec, 190 secs
lola: 30474398 markings, 32195731 edges, 160242 markings/sec, 195 secs
lola: 31245171 markings, 33009992 edges, 154155 markings/sec, 200 secs
lola: 31957384 markings, 33762866 edges, 142443 markings/sec, 205 secs
lola: 32739686 markings, 34596464 edges, 156460 markings/sec, 210 secs
lola: 33537821 markings, 35437535 edges, 159627 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(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 864529 markings, 1024875 edges, 172906 markings/sec, 0 secs
lola: 1760350 markings, 2152546 edges, 179164 markings/sec, 5 secs
lola: 2659508 markings, 3276694 edges, 179832 markings/sec, 10 secs
lola: 3553045 markings, 4399854 edges, 178707 markings/sec, 15 secs
lola: 4460934 markings, 5536130 edges, 181578 markings/sec, 20 secs
lola: 5360209 markings, 6667343 edges, 179855 markings/sec, 25 secs
lola: 6260048 markings, 7792798 edges, 179968 markings/sec, 30 secs
lola: 7150220 markings, 8910832 edges, 178034 markings/sec, 35 secs
lola: 8047909 markings, 10035007 edges, 179538 markings/sec, 40 secs
lola: 8943241 markings, 11158317 edges, 179066 markings/sec, 45 secs
lola: 9821152 markings, 12265654 edges, 175582 markings/sec, 50 secs
lola: 10557335 markings, 13076033 edges, 147237 markings/sec, 55 secs
lola: 11268643 markings, 13824904 edges, 142262 markings/sec, 60 secs
lola: 11976934 markings, 14567361 edges, 141658 markings/sec, 65 secs
lola: 12696701 markings, 15328818 edges, 143953 markings/sec, 70 secs
lola: 13408109 markings, 16081340 edges, 142282 markings/sec, 75 secs
lola: 14134863 markings, 16972286 edges, 145351 markings/sec, 80 secs
lola: 14860335 markings, 17862026 edges, 145094 markings/sec, 85 secs
lola: 15551638 markings, 18625381 edges, 138261 markings/sec, 90 secs
lola: 16242761 markings, 19363718 edges, 138225 markings/sec, 95 secs
lola: 16964293 markings, 20234874 edges, 144306 markings/sec, 100 secs
lola: 17663171 markings, 21041855 edges, 139776 markings/sec, 105 secs
lola: 18383615 markings, 21853189 edges, 144089 markings/sec, 110 secs
lola: 19179942 markings, 22726898 edges, 159265 markings/sec, 115 secs
lola: 19916276 markings, 23531531 edges, 147267 markings/sec, 120 secs
lola: 20647671 markings, 24292861 edges, 146279 markings/sec, 125 secs
lola: 21390109 markings, 25065793 edges, 148488 markings/sec, 130 secs
lola: 22127394 markings, 25833301 edges, 147457 markings/sec, 135 secs
lola: 22863646 markings, 26614255 edges, 147250 markings/sec, 140 secs
lola: 23594558 markings, 27472585 edges, 146182 markings/sec, 145 secs
lola: 24307346 markings, 28299554 edges, 142558 markings/sec, 150 secs
lola: 25027851 markings, 29059446 edges, 144101 markings/sec, 155 secs
lola: 25740704 markings, 29811012 edges, 142571 markings/sec, 160 secs
lola: 26460836 markings, 30608023 edges, 144026 markings/sec, 165 secs
lola: 27188070 markings, 31447263 edges, 145447 markings/sec, 170 secs
lola: 27906201 markings, 32216052 edges, 143626 markings/sec, 175 secs
lola: 28719760 markings, 33119090 edges, 162712 markings/sec, 180 secs
lola: 29490593 markings, 33943618 edges, 154167 markings/sec, 185 secs
lola: 30237817 markings, 34720175 edges, 149445 markings/sec, 190 secs
lola: 30971954 markings, 35514237 edges, 146827 markings/sec, 195 secs
lola: 31700025 markings, 36287526 edges, 145614 markings/sec, 200 secs
lola: 32430628 markings, 37067718 edges, 146121 markings/sec, 205 secs
lola: 33219715 markings, 37909475 edges, 157817 markings/sec, 210 secs
lola: 33900643 markings, 38661366 edges, 136186 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(p320)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 1064819 markings, 1189906 edges, 212964 markings/sec, 0 secs
lola: 2090319 markings, 2386439 edges, 205100 markings/sec, 5 secs
lola: 3055891 markings, 3555296 edges, 193114 markings/sec, 10 secs
lola: 4105318 markings, 4714601 edges, 209885 markings/sec, 15 secs
lola: 4866699 markings, 5926852 edges, 152276 markings/sec, 20 secs
lola: 5376545 markings, 7077650 edges, 101969 markings/sec, 25 secs
lola: 6038993 markings, 8142133 edges, 132490 markings/sec, 30 secs
lola: 7136782 markings, 9392299 edges, 219558 markings/sec, 35 secs
lola: 8105702 markings, 10605766 edges, 193784 markings/sec, 40 secs
lola: 8819731 markings, 11754378 edges, 142806 markings/sec, 45 secs
lola: 9427376 markings, 12930196 edges, 121529 markings/sec, 50 secs
lola: 10014693 markings, 14014625 edges, 117463 markings/sec, 55 secs
lola: 10562461 markings, 15135579 edges, 109554 markings/sec, 60 secs
lola: 11110666 markings, 16220429 edges, 109641 markings/sec, 65 secs
lola: 11876006 markings, 17391154 edges, 153068 markings/sec, 70 secs
lola: 12870764 markings, 18615188 edges, 198952 markings/sec, 75 secs
lola: 13904016 markings, 19849401 edges, 206650 markings/sec, 80 secs
lola: 14845944 markings, 21010567 edges, 188386 markings/sec, 85 secs
lola: 15746419 markings, 22145550 edges, 180095 markings/sec, 90 secs
lola: 16661188 markings, 23309963 edges, 182954 markings/sec, 95 secs
lola: 17553992 markings, 24437963 edges, 178561 markings/sec, 100 secs
lola: 18444538 markings, 25551100 edges, 178109 markings/sec, 105 secs
lola: 19417789 markings, 26685210 edges, 194650 markings/sec, 110 secs
lola: 20349792 markings, 27922052 edges, 186401 markings/sec, 115 secs
lola: 20830748 markings, 29105436 edges, 96191 markings/sec, 120 secs
lola: 21522644 markings, 30245765 edges, 138379 markings/sec, 125 secs
lola: 22461593 markings, 31384483 edges, 187790 markings/sec, 130 secs
lola: 23565976 markings, 32638867 edges, 220877 markings/sec, 135 secs
lola: 24288603 markings, 33828965 edges, 144525 markings/sec, 140 secs
lola: 24702212 markings, 34932579 edges, 82722 markings/sec, 145 secs
lola: 25279844 markings, 36051403 edges, 115526 markings/sec, 150 secs
lola: 25882416 markings, 37140229 edges, 120514 markings/sec, 155 secs
lola: 26573645 markings, 38256095 edges, 138246 markings/sec, 160 secs
lola: 27499035 markings, 39401729 edges, 185078 markings/sec, 165 secs
lola: 28400623 markings, 40529962 edges, 180318 markings/sec, 170 secs
lola: 29310416 markings, 41690052 edges, 181959 markings/sec, 175 secs
lola: 30195329 markings, 42801737 edges, 176983 markings/sec, 180 secs
lola: 31073337 markings, 43906043 edges, 175602 markings/sec, 185 secs
lola: 32088164 markings, 45056511 edges, 202965 markings/sec, 190 secs
lola: 32915942 markings, 46267258 edges, 165556 markings/sec, 195 secs
lola: 33415894 markings, 47444032 edges, 99990 markings/sec, 200 secs
lola: 34106290 markings, 48572616 edges, 138079 markings/sec, 205 secs
lola: 35110824 markings, 49730480 edges, 200907 markings/sec, 210 secs
lola: 36188862 markings, 50973294 edges, 215608 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p352)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 956986 markings, 1099323 edges, 191397 markings/sec, 0 secs
lola: 1798141 markings, 2180506 edges, 168231 markings/sec, 5 secs
lola: 2681507 markings, 3270181 edges, 176673 markings/sec, 10 secs
lola: 3642120 markings, 4393776 edges, 192123 markings/sec, 15 secs
lola: 4122443 markings, 5583139 edges, 96065 markings/sec, 20 secs
lola: 4672415 markings, 6625915 edges, 109994 markings/sec, 25 secs
lola: 5437653 markings, 7692216 edges, 153048 markings/sec, 30 secs
lola: 6383569 markings, 8825110 edges, 189183 markings/sec, 35 secs
lola: 7117961 markings, 9889378 edges, 146878 markings/sec, 40 secs
lola: 7662267 markings, 11045938 edges, 108861 markings/sec, 45 secs
lola: 8157237 markings, 12132971 edges, 98994 markings/sec, 50 secs
lola: 8656565 markings, 13185490 edges, 99866 markings/sec, 55 secs
lola: 9159778 markings, 14240923 edges, 100643 markings/sec, 60 secs
lola: 9673271 markings, 15306604 edges, 102699 markings/sec, 65 secs
lola: 10362129 markings, 16413122 edges, 137772 markings/sec, 70 secs
lola: 11229991 markings, 17534934 edges, 173572 markings/sec, 75 secs
lola: 12111787 markings, 18654952 edges, 176359 markings/sec, 80 secs
lola: 13018516 markings, 19762303 edges, 181346 markings/sec, 85 secs
lola: 13867991 markings, 20844916 edges, 169895 markings/sec, 90 secs
lola: 14780687 markings, 21963481 edges, 182539 markings/sec, 95 secs
lola: 15627444 markings, 23045525 edges, 169351 markings/sec, 100 secs
lola: 16472516 markings, 24103762 edges, 169014 markings/sec, 105 secs
lola: 17322613 markings, 25161272 edges, 170019 markings/sec, 110 secs
lola: 18174404 markings, 26210303 edges, 170358 markings/sec, 115 secs
lola: 19015356 markings, 27247542 edges, 168190 markings/sec, 120 secs
lola: 19950983 markings, 28381154 edges, 187125 markings/sec, 125 secs
lola: 20434709 markings, 29539139 edges, 96745 markings/sec, 130 secs
lola: 21008256 markings, 30627296 edges, 114709 markings/sec, 135 secs
lola: 21762249 markings, 31686793 edges, 150799 markings/sec, 140 secs
lola: 22723481 markings, 32815965 edges, 192246 markings/sec, 145 secs
lola: 23409225 markings, 33962885 edges, 137149 markings/sec, 150 secs
lola: 23825143 markings, 35063712 edges, 83184 markings/sec, 155 secs
lola: 24323732 markings, 36156408 edges, 99718 markings/sec, 160 secs
lola: 24839989 markings, 37247715 edges, 103251 markings/sec, 165 secs
lola: 25388887 markings, 38284216 edges, 109780 markings/sec, 170 secs
lola: 26168996 markings, 39384816 edges, 156022 markings/sec, 175 secs
lola: 27049409 markings, 40471539 edges, 176083 markings/sec, 180 secs
lola: 27916524 markings, 41547693 edges, 173423 markings/sec, 185 secs
lola: 28792410 markings, 42672444 edges, 175177 markings/sec, 190 secs
lola: 29660991 markings, 43756901 edges, 173716 markings/sec, 195 secs
lola: 30493020 markings, 44811956 edges, 166406 markings/sec, 200 secs
lola: 31354182 markings, 45862270 edges, 172232 markings/sec, 205 secs
lola: 32193526 markings, 46895670 edges, 167869 markings/sec, 210 secs
lola: 33105604 markings, 47946475 edges, 182416 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 832455 markings, 985024 edges, 166491 markings/sec, 0 secs
lola: 1715571 markings, 2092599 edges, 176623 markings/sec, 5 secs
lola: 2599454 markings, 3205540 edges, 176777 markings/sec, 10 secs
lola: 3482864 markings, 4311799 edges, 176682 markings/sec, 15 secs
lola: 4377900 markings, 5440821 edges, 179007 markings/sec, 20 secs
lola: 5234915 markings, 6503511 edges, 171403 markings/sec, 25 secs
lola: 5962350 markings, 7295401 edges, 145487 markings/sec, 30 secs
lola: 6667546 markings, 8035614 edges, 141039 markings/sec, 35 secs
lola: 7377244 markings, 8781728 edges, 141940 markings/sec, 40 secs
lola: 8097956 markings, 9544168 edges, 144142 markings/sec, 45 secs
lola: 8818123 markings, 10313824 edges, 144033 markings/sec, 50 secs
lola: 9552606 markings, 11223249 edges, 146897 markings/sec, 55 secs
lola: 10269081 markings, 12091170 edges, 143295 markings/sec, 60 secs
lola: 10959133 markings, 12848531 edges, 138010 markings/sec, 65 secs
lola: 11647310 markings, 13583509 edges, 137635 markings/sec, 70 secs
lola: 12362632 markings, 14461090 edges, 143064 markings/sec, 75 secs
lola: 13058149 markings, 15251578 edges, 139103 markings/sec, 80 secs
lola: 13786042 markings, 16072545 edges, 145579 markings/sec, 85 secs
lola: 14589987 markings, 16960849 edges, 160789 markings/sec, 90 secs
lola: 15313445 markings, 17741441 edges, 144692 markings/sec, 95 secs
lola: 16034152 markings, 18491466 edges, 144141 markings/sec, 100 secs
lola: 16762624 markings, 19249830 edges, 145694 markings/sec, 105 secs
lola: 17485255 markings, 20002123 edges, 144526 markings/sec, 110 secs
lola: 18213728 markings, 20775708 edges, 145695 markings/sec, 115 secs
lola: 18946476 markings, 21636202 edges, 146550 markings/sec, 120 secs
lola: 19654130 markings, 22457279 edges, 141531 markings/sec, 125 secs
lola: 20374963 markings, 23217322 edges, 144167 markings/sec, 130 secs
lola: 21083301 markings, 23964267 edges, 141668 markings/sec, 135 secs
lola: 21802717 markings, 24764853 edges, 143883 markings/sec, 140 secs
lola: 22527501 markings, 25597419 edges, 144957 markings/sec, 145 secs
lola: 23243371 markings, 26366604 edges, 143174 markings/sec, 150 secs
lola: 24058133 markings, 27268514 edges, 162952 markings/sec, 155 secs
lola: 24824689 markings, 28087577 edges, 153311 markings/sec, 160 secs
lola: 25569092 markings, 28861515 edges, 148881 markings/sec, 165 secs
lola: 26297692 markings, 29649642 edges, 145720 markings/sec, 170 secs
lola: 27024868 markings, 30422065 edges, 145435 markings/sec, 175 secs
lola: 27755517 markings, 31202313 edges, 146130 markings/sec, 180 secs
lola: 28539392 markings, 32038579 edges, 156775 markings/sec, 185 secs
lola: 29214814 markings, 32784575 edges, 135084 markings/sec, 190 secs
lola: 29926498 markings, 33561390 edges, 142337 markings/sec, 195 secs
lola: 30671819 markings, 34328615 edges, 149064 markings/sec, 200 secs
lola: 31402466 markings, 35080326 edges, 146129 markings/sec, 205 secs
lola: 32127125 markings, 35832796 edges, 144932 markings/sec, 210 secs
lola: 32852871 markings, 36641668 edges, 145149 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 DES-PT-40b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494634341507

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-40b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-40b.tgz
mv DES-PT-40b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is DES-PT-40b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436309100308"
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 ;