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 FlexibleBarrier-PT-18a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034300128
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496493367897


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-18a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-18a @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1105/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 219 places, 886 transitions, 199 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 634 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-18a-UpperBounds.task
lola: MAX(p118) : MAX(p204) : MAX(p193) : MAX(p170) : MAX(p104) : MAX(p20) : MAX(p81) : MAX(p144) : MAX(p195) : MAX(p172) : MAX(p149) : MAX(p153) : MAX(p89) : MAX(p108) : MAX(p124) : MAX(p149)
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(p118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 185927 markings, 285533 edges, 37185 markings/sec, 0 secs
lola: 369660 markings, 578481 edges, 36747 markings/sec, 5 secs
lola: 546169 markings, 862672 edges, 35302 markings/sec, 10 secs
lola: 729340 markings, 1161931 edges, 36634 markings/sec, 15 secs
lola: 913731 markings, 1467092 edges, 36878 markings/sec, 20 secs
lola: 1098868 markings, 1767295 edges, 37027 markings/sec, 25 secs
lola: 1282154 markings, 2073770 edges, 36657 markings/sec, 30 secs
lola: 1466870 markings, 2379849 edges, 36943 markings/sec, 35 secs
lola: 1647552 markings, 2688121 edges, 36136 markings/sec, 40 secs
lola: 1828662 markings, 2988992 edges, 36222 markings/sec, 45 secs
lola: 2009605 markings, 3283496 edges, 36189 markings/sec, 50 secs
lola: 2190156 markings, 3585385 edges, 36110 markings/sec, 55 secs
lola: 2372488 markings, 3891858 edges, 36466 markings/sec, 60 secs
lola: 2554585 markings, 4204298 edges, 36419 markings/sec, 65 secs
lola: 2737730 markings, 4509864 edges, 36629 markings/sec, 70 secs
lola: 2919182 markings, 4818947 edges, 36290 markings/sec, 75 secs
lola: 3102311 markings, 5134564 edges, 36626 markings/sec, 80 secs
lola: 3284303 markings, 5452147 edges, 36398 markings/sec, 85 secs
lola: 3465400 markings, 5771860 edges, 36219 markings/sec, 90 secs
lola: 3650634 markings, 6071377 edges, 37047 markings/sec, 95 secs
lola: 3833537 markings, 6373700 edges, 36581 markings/sec, 100 secs
lola: 4017918 markings, 6680128 edges, 36876 markings/sec, 105 secs
lola: 4198901 markings, 6988638 edges, 36197 markings/sec, 110 secs
lola: 4381005 markings, 7297624 edges, 36421 markings/sec, 115 secs
lola: 4563111 markings, 7604447 edges, 36421 markings/sec, 120 secs
lola: 4744630 markings, 7919165 edges, 36304 markings/sec, 125 secs
lola: 4927418 markings, 8233681 edges, 36558 markings/sec, 130 secs
lola: 5107949 markings, 8553032 edges, 36106 markings/sec, 135 secs
lola: 5291390 markings, 8864091 edges, 36688 markings/sec, 140 secs
lola: 5470707 markings, 9168472 edges, 35863 markings/sec, 145 secs
lola: 5652809 markings, 9482670 edges, 36420 markings/sec, 150 secs
lola: 5835820 markings, 9800917 edges, 36602 markings/sec, 155 secs
lola: 6016106 markings, 10123597 edges, 36057 markings/sec, 160 secs
lola: 6199928 markings, 10438694 edges, 36764 markings/sec, 165 secs
lola: 6380656 markings, 10757456 edges, 36146 markings/sec, 170 secs
lola: 6562002 markings, 11081184 edges, 36269 markings/sec, 175 secs
lola: 6742089 markings, 11405460 edges, 36017 markings/sec, 180 secs
lola: 6922557 markings, 11729055 edges, 36094 markings/sec, 185 secs
lola: 7107533 markings, 12029116 edges, 36995 markings/sec, 190 secs
lola: 7290610 markings, 12333326 edges, 36615 markings/sec, 195 secs
lola: 7475065 markings, 12639874 edges, 36891 markings/sec, 200 secs
lola: 7657370 markings, 12950235 edges, 36461 markings/sec, 205 secs
lola: 7840528 markings, 13260646 edges, 36632 markings/sec, 210 secs
lola: 8023035 markings, 13568515 edges, 36501 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(p204)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 126259 markings, 265941 edges, 25252 markings/sec, 0 secs
lola: 252605 markings, 534996 edges, 25269 markings/sec, 5 secs
lola: 378218 markings, 803785 edges, 25123 markings/sec, 10 secs
lola: 503900 markings, 1073072 edges, 25136 markings/sec, 15 secs
lola: 629062 markings, 1342436 edges, 25032 markings/sec, 20 secs
lola: 754446 markings, 1611774 edges, 25077 markings/sec, 25 secs
lola: 879955 markings, 1881021 edges, 25102 markings/sec, 30 secs
lola: 1005009 markings, 2150810 edges, 25011 markings/sec, 35 secs
lola: 1130223 markings, 2420794 edges, 25043 markings/sec, 40 secs
lola: 1254949 markings, 2691310 edges, 24945 markings/sec, 45 secs
lola: 1379083 markings, 2962446 edges, 24827 markings/sec, 50 secs
lola: 1505062 markings, 3231324 edges, 25196 markings/sec, 55 secs
lola: 1630465 markings, 3501361 edges, 25081 markings/sec, 60 secs
lola: 1755561 markings, 3771656 edges, 25019 markings/sec, 65 secs
lola: 1880325 markings, 4041977 edges, 24953 markings/sec, 70 secs
lola: 2004862 markings, 4312690 edges, 24907 markings/sec, 75 secs
lola: 2129589 markings, 4583117 edges, 24945 markings/sec, 80 secs
lola: 2254467 markings, 4853724 edges, 24976 markings/sec, 85 secs
lola: 2378708 markings, 5124749 edges, 24848 markings/sec, 90 secs
lola: 2503071 markings, 5395515 edges, 24873 markings/sec, 95 secs
lola: 2624637 markings, 5661889 edges, 24313 markings/sec, 100 secs
lola: 2748693 markings, 5934102 edges, 24811 markings/sec, 105 secs
lola: 2880325 markings, 6205147 edges, 26326 markings/sec, 110 secs
lola: 3010978 markings, 6477301 edges, 26131 markings/sec, 115 secs
lola: 3138789 markings, 6744570 edges, 25562 markings/sec, 120 secs
lola: 3268698 markings, 7017212 edges, 25982 markings/sec, 125 secs
lola: 3398355 markings, 7290538 edges, 25931 markings/sec, 130 secs
lola: 3528514 markings, 7563149 edges, 26032 markings/sec, 135 secs
lola: 3657981 markings, 7836147 edges, 25893 markings/sec, 140 secs
lola: 3787518 markings, 8109413 edges, 25907 markings/sec, 145 secs
lola: 3916382 markings, 8383228 edges, 25773 markings/sec, 150 secs
lola: 4044540 markings, 8653898 edges, 25632 markings/sec, 155 secs
lola: 4173013 markings, 8923589 edges, 25695 markings/sec, 160 secs
lola: 4297247 markings, 9186433 edges, 24847 markings/sec, 165 secs
lola: 4422497 markings, 9450952 edges, 25050 markings/sec, 170 secs
lola: 4548074 markings, 9718228 edges, 25115 markings/sec, 175 secs
lola: 4676011 markings, 9989507 edges, 25587 markings/sec, 180 secs
lola: 4805041 markings, 10263190 edges, 25806 markings/sec, 185 secs
lola: 4933226 markings, 10536844 edges, 25637 markings/sec, 190 secs
lola: 5061987 markings, 10812411 edges, 25752 markings/sec, 195 secs
lola: 5187539 markings, 11082786 edges, 25110 markings/sec, 200 secs
lola: 5318375 markings, 11355457 edges, 26167 markings/sec, 205 secs
lola: 5449035 markings, 11627505 edges, 26132 markings/sec, 210 secs
lola: 5579116 markings, 11900452 edges, 26016 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(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 195526 markings, 291635 edges, 39105 markings/sec, 0 secs
lola: 388583 markings, 590913 edges, 38611 markings/sec, 5 secs
lola: 580744 markings, 890425 edges, 38432 markings/sec, 10 secs
lola: 771730 markings, 1195703 edges, 38197 markings/sec, 15 secs
lola: 963672 markings, 1501081 edges, 38388 markings/sec, 20 secs
lola: 1155419 markings, 1804722 edges, 38349 markings/sec, 25 secs
lola: 1343803 markings, 2110508 edges, 37677 markings/sec, 30 secs
lola: 1532793 markings, 2418854 edges, 37798 markings/sec, 35 secs
lola: 1720651 markings, 2735863 edges, 37572 markings/sec, 40 secs
lola: 1906096 markings, 3023125 edges, 37089 markings/sec, 45 secs
lola: 2076315 markings, 3295619 edges, 34044 markings/sec, 50 secs
lola: 2265856 markings, 3602925 edges, 37908 markings/sec, 55 secs
lola: 2454958 markings, 3913706 edges, 37820 markings/sec, 60 secs
lola: 2644675 markings, 4228370 edges, 37943 markings/sec, 65 secs
lola: 2835609 markings, 4540427 edges, 38187 markings/sec, 70 secs
lola: 3024458 markings, 4858566 edges, 37770 markings/sec, 75 secs
lola: 3211725 markings, 5172212 edges, 37453 markings/sec, 80 secs
lola: 3392012 markings, 5482338 edges, 36057 markings/sec, 85 secs
lola: 3562880 markings, 5757233 edges, 34174 markings/sec, 90 secs
lola: 3754197 markings, 6061593 edges, 38263 markings/sec, 95 secs
lola: 3944142 markings, 6368907 edges, 37989 markings/sec, 100 secs
lola: 4133301 markings, 6678585 edges, 37832 markings/sec, 105 secs
lola: 4321986 markings, 6994912 edges, 37737 markings/sec, 110 secs
lola: 4513885 markings, 7307173 edges, 38380 markings/sec, 115 secs
lola: 4703379 markings, 7622587 edges, 37899 markings/sec, 120 secs
lola: 4891739 markings, 7937582 edges, 37672 markings/sec, 125 secs
lola: 5079166 markings, 8258586 edges, 37485 markings/sec, 130 secs
lola: 5268566 markings, 8575499 edges, 37880 markings/sec, 135 secs
lola: 5458255 markings, 8886627 edges, 37938 markings/sec, 140 secs
lola: 5639680 markings, 9191323 edges, 36285 markings/sec, 145 secs
lola: 5807537 markings, 9475964 edges, 33571 markings/sec, 150 secs
lola: 5994348 markings, 9797299 edges, 37362 markings/sec, 155 secs
lola: 6184298 markings, 10116647 edges, 37990 markings/sec, 160 secs
lola: 6372451 markings, 10438977 edges, 37631 markings/sec, 165 secs
lola: 6558992 markings, 10762983 edges, 37308 markings/sec, 170 secs
lola: 6745001 markings, 11089037 edges, 37202 markings/sec, 175 secs
lola: 6932302 markings, 11413775 edges, 37460 markings/sec, 180 secs
lola: 7124239 markings, 11716065 edges, 38387 markings/sec, 185 secs
lola: 7314121 markings, 12025537 edges, 37976 markings/sec, 190 secs
lola: 7503313 markings, 12329786 edges, 37838 markings/sec, 195 secs
lola: 7691523 markings, 12642953 edges, 37642 markings/sec, 200 secs
lola: 7882435 markings, 12954164 edges, 38182 markings/sec, 205 secs
lola: 8072062 markings, 13268155 edges, 37925 markings/sec, 210 secs
lola: 8260364 markings, 13583390 edges, 37660 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(p170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 193710 markings, 288795 edges, 38742 markings/sec, 0 secs
lola: 385001 markings, 585276 edges, 38258 markings/sec, 5 secs
lola: 575803 markings, 882557 edges, 38160 markings/sec, 10 secs
lola: 765568 markings, 1185912 edges, 37953 markings/sec, 15 secs
lola: 956745 markings, 1489996 edges, 38235 markings/sec, 20 secs
lola: 1147418 markings, 1791698 edges, 38135 markings/sec, 25 secs
lola: 1331686 markings, 2091007 edges, 36854 markings/sec, 30 secs
lola: 1520180 markings, 2398514 edges, 37699 markings/sec, 35 secs
lola: 1707873 markings, 2713062 edges, 37539 markings/sec, 40 secs
lola: 1900075 markings, 3013371 edges, 38440 markings/sec, 45 secs
lola: 2089954 markings, 3318002 edges, 37976 markings/sec, 50 secs
lola: 2277973 markings, 3622113 edges, 37604 markings/sec, 55 secs
lola: 2459893 markings, 3922109 edges, 36384 markings/sec, 60 secs
lola: 2639236 markings, 4219908 edges, 35869 markings/sec, 65 secs
lola: 2822544 markings, 4519295 edges, 36662 markings/sec, 70 secs
lola: 3006373 markings, 4828906 edges, 36766 markings/sec, 75 secs
lola: 3192661 markings, 5139084 edges, 37258 markings/sec, 80 secs
lola: 3378898 markings, 5459056 edges, 37247 markings/sec, 85 secs
lola: 3571722 markings, 5770802 edges, 38565 markings/sec, 90 secs
lola: 3762926 markings, 6076296 edges, 38241 markings/sec, 95 secs
lola: 3952428 markings, 6382526 edges, 37900 markings/sec, 100 secs
lola: 4140864 markings, 6691503 edges, 37687 markings/sec, 105 secs
lola: 4323752 markings, 6997638 edges, 36578 markings/sec, 110 secs
lola: 4514775 markings, 7308707 edges, 38205 markings/sec, 115 secs
lola: 4703453 markings, 7622729 edges, 37736 markings/sec, 120 secs
lola: 4891152 markings, 7936519 edges, 37540 markings/sec, 125 secs
lola: 5073424 markings, 8248566 edges, 36454 markings/sec, 130 secs
lola: 5261194 markings, 8563010 edges, 37554 markings/sec, 135 secs
lola: 5443557 markings, 8861972 edges, 36473 markings/sec, 140 secs
lola: 5628211 markings, 9172323 edges, 36931 markings/sec, 145 secs
lola: 5807689 markings, 9476185 edges, 35896 markings/sec, 150 secs
lola: 5992872 markings, 9794579 edges, 37037 markings/sec, 155 secs
lola: 6184023 markings, 10116223 edges, 38230 markings/sec, 160 secs
lola: 6371563 markings, 10437459 edges, 37508 markings/sec, 165 secs
lola: 6552736 markings, 10751662 edges, 36235 markings/sec, 170 secs
lola: 6738186 markings, 11076849 edges, 37090 markings/sec, 175 secs
lola: 6924711 markings, 11402017 edges, 37305 markings/sec, 180 secs
lola: 7116352 markings, 11703542 edges, 38328 markings/sec, 185 secs
lola: 7300542 markings, 12002326 edges, 36838 markings/sec, 190 secs
lola: 7489532 markings, 12306697 edges, 37798 markings/sec, 195 secs
lola: 7677267 markings, 12618450 edges, 37547 markings/sec, 200 secs
lola: 7867057 markings, 12929316 edges, 37958 markings/sec, 205 secs
lola: 8050864 markings, 13232315 edges, 36761 markings/sec, 210 secs
lola: 8238783 markings, 13547351 edges, 37584 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(p104)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 192950 markings, 250142 edges, 38590 markings/sec, 0 secs
lola: 383829 markings, 502977 edges, 38176 markings/sec, 5 secs
lola: 573943 markings, 756589 edges, 38023 markings/sec, 10 secs
lola: 763662 markings, 1010882 edges, 37944 markings/sec, 15 secs
lola: 952876 markings, 1265050 edges, 37843 markings/sec, 20 secs
lola: 1141409 markings, 1520402 edges, 37707 markings/sec, 25 secs
lola: 1328862 markings, 1778630 edges, 37491 markings/sec, 30 secs
lola: 1518592 markings, 2031120 edges, 37946 markings/sec, 35 secs
lola: 1707843 markings, 2286355 edges, 37850 markings/sec, 40 secs
lola: 1895301 markings, 2540625 edges, 37492 markings/sec, 45 secs
lola: 2083571 markings, 2798150 edges, 37654 markings/sec, 50 secs
lola: 2271685 markings, 3055125 edges, 37623 markings/sec, 55 secs
lola: 2459357 markings, 3313766 edges, 37534 markings/sec, 60 secs
lola: 2646283 markings, 3575272 edges, 37385 markings/sec, 65 secs
lola: 2834906 markings, 3828799 edges, 37725 markings/sec, 70 secs
lola: 3023521 markings, 4084166 edges, 37723 markings/sec, 75 secs
lola: 3212308 markings, 4339573 edges, 37757 markings/sec, 80 secs
lola: 3400614 markings, 4597927 edges, 37661 markings/sec, 85 secs
lola: 3588117 markings, 4853654 edges, 37501 markings/sec, 90 secs
lola: 3775801 markings, 5112937 edges, 37537 markings/sec, 95 secs
lola: 3962947 markings, 5374035 edges, 37429 markings/sec, 100 secs
lola: 4150890 markings, 5631721 edges, 37589 markings/sec, 105 secs
lola: 4338760 markings, 5890247 edges, 37574 markings/sec, 110 secs
lola: 4526364 markings, 6149507 edges, 37521 markings/sec, 115 secs
lola: 4713223 markings, 6410879 edges, 37372 markings/sec, 120 secs
lola: 4900143 markings, 6669632 edges, 37384 markings/sec, 125 secs
lola: 5086540 markings, 6931490 edges, 37279 markings/sec, 130 secs
lola: 5272467 markings, 7195048 edges, 37185 markings/sec, 135 secs
lola: 5451805 markings, 7449368 edges, 35868 markings/sec, 140 secs
lola: 5624353 markings, 7700161 edges, 34510 markings/sec, 145 secs
lola: 5795802 markings, 7953485 edges, 34290 markings/sec, 150 secs
lola: 5976063 markings, 8199629 edges, 36052 markings/sec, 155 secs
lola: 6165291 markings, 8446811 edges, 37846 markings/sec, 160 secs
lola: 6352563 markings, 8691726 edges, 37454 markings/sec, 165 secs
lola: 6536716 markings, 8938759 edges, 36831 markings/sec, 170 secs
lola: 6722448 markings, 9185871 edges, 37146 markings/sec, 175 secs
lola: 6905515 markings, 9430212 edges, 36613 markings/sec, 180 secs
lola: 7091630 markings, 9679349 edges, 37223 markings/sec, 185 secs
lola: 7281277 markings, 9930560 edges, 37929 markings/sec, 190 secs
lola: 7468028 markings, 10183106 edges, 37350 markings/sec, 195 secs
lola: 7657602 markings, 10433268 edges, 37915 markings/sec, 200 secs
lola: 7844869 markings, 10687963 edges, 37453 markings/sec, 205 secs
lola: 8031567 markings, 10934724 edges, 37340 markings/sec, 210 secs
lola: 8213988 markings, 11184858 edges, 36484 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(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 191760 markings, 276681 edges, 38352 markings/sec, 0 secs
lola: 377899 markings, 556405 edges, 37228 markings/sec, 5 secs
lola: 561976 markings, 834186 edges, 36815 markings/sec, 10 secs
lola: 747830 markings, 1121833 edges, 37171 markings/sec, 15 secs
lola: 933088 markings, 1408442 edges, 37052 markings/sec, 20 secs
lola: 1121380 markings, 1696900 edges, 37658 markings/sec, 25 secs
lola: 1305924 markings, 1988549 edges, 36909 markings/sec, 30 secs
lola: 1493854 markings, 2284009 edges, 37586 markings/sec, 35 secs
lola: 1682037 markings, 2588177 edges, 37637 markings/sec, 40 secs
lola: 1865391 markings, 2869419 edges, 36671 markings/sec, 45 secs
lola: 2051735 markings, 3158506 edges, 37269 markings/sec, 50 secs
lola: 2238576 markings, 3451781 edges, 37368 markings/sec, 55 secs
lola: 2423842 markings, 3746806 edges, 37053 markings/sec, 60 secs
lola: 2609247 markings, 4048250 edges, 37081 markings/sec, 65 secs
lola: 2794008 markings, 4340457 edges, 36952 markings/sec, 70 secs
lola: 2978003 markings, 4637556 edges, 36799 markings/sec, 75 secs
lola: 3165667 markings, 4942380 edges, 37533 markings/sec, 80 secs
lola: 3344741 markings, 5240617 edges, 35815 markings/sec, 85 secs
lola: 3530542 markings, 5538435 edges, 37160 markings/sec, 90 secs
lola: 3718336 markings, 5826659 edges, 37559 markings/sec, 95 secs
lola: 3902268 markings, 6116757 edges, 36786 markings/sec, 100 secs
lola: 4082968 markings, 6402706 edges, 36140 markings/sec, 105 secs
lola: 4266418 markings, 6698877 edges, 36690 markings/sec, 110 secs
lola: 4452492 markings, 6992506 edges, 37215 markings/sec, 115 secs
lola: 4637275 markings, 7289744 edges, 36957 markings/sec, 120 secs
lola: 4818564 markings, 7584799 edges, 36258 markings/sec, 125 secs
lola: 5002459 markings, 7888231 edges, 36779 markings/sec, 130 secs
lola: 5185989 markings, 8195894 edges, 36706 markings/sec, 135 secs
lola: 5373502 markings, 8492213 edges, 37503 markings/sec, 140 secs
lola: 5558513 markings, 8791050 edges, 37002 markings/sec, 145 secs
lola: 5743777 markings, 9091839 edges, 37053 markings/sec, 150 secs
lola: 5927940 markings, 9398634 edges, 36833 markings/sec, 155 secs
lola: 6112714 markings, 9704766 edges, 36955 markings/sec, 160 secs
lola: 6293454 markings, 10003010 edges, 36148 markings/sec, 165 secs
lola: 6476209 markings, 10312148 edges, 36551 markings/sec, 170 secs
lola: 6659670 markings, 10622580 edges, 36692 markings/sec, 175 secs
lola: 6841674 markings, 10937347 edges, 36401 markings/sec, 180 secs
lola: 7022481 markings, 11219572 edges, 36161 markings/sec, 185 secs
lola: 7209430 markings, 11509604 edges, 37390 markings/sec, 190 secs
lola: 7395573 markings, 11801647 edges, 37229 markings/sec, 195 secs
lola: 7581736 markings, 12098190 edges, 37233 markings/sec, 200 secs
lola: 7761368 markings, 12390728 edges, 35926 markings/sec, 205 secs
lola: 7946185 markings, 12681738 edges, 36963 markings/sec, 210 secs
lola: 8129524 markings, 12977876 edges, 36668 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(p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 190200 markings, 274427 edges, 38040 markings/sec, 0 secs
lola: 378220 markings, 556864 edges, 37604 markings/sec, 5 secs
lola: 567451 markings, 842580 edges, 37846 markings/sec, 10 secs
lola: 755563 markings, 1134357 edges, 37622 markings/sec, 15 secs
lola: 945045 markings, 1426615 edges, 37896 markings/sec, 20 secs
lola: 1132019 markings, 1713662 edges, 37395 markings/sec, 25 secs
lola: 1318608 markings, 2007867 edges, 37318 markings/sec, 30 secs
lola: 1507344 markings, 2306659 edges, 37747 markings/sec, 35 secs
lola: 1694919 markings, 2609997 edges, 37515 markings/sec, 40 secs
lola: 1883590 markings, 2897933 edges, 37734 markings/sec, 45 secs
lola: 2070928 markings, 3188577 edges, 37468 markings/sec, 50 secs
lola: 2259278 markings, 3485375 edges, 37670 markings/sec, 55 secs
lola: 2448477 markings, 3786470 edges, 37840 markings/sec, 60 secs
lola: 2637337 markings, 4091532 edges, 37772 markings/sec, 65 secs
lola: 2825931 markings, 4390262 edges, 37719 markings/sec, 70 secs
lola: 3012832 markings, 4697066 edges, 37380 markings/sec, 75 secs
lola: 3200143 markings, 5000024 edges, 37462 markings/sec, 80 secs
lola: 3384303 markings, 5307707 edges, 36832 markings/sec, 85 secs
lola: 3574000 markings, 5604370 edges, 37939 markings/sec, 90 secs
lola: 3763114 markings, 5897550 edges, 37823 markings/sec, 95 secs
lola: 3952411 markings, 6194435 edges, 37859 markings/sec, 100 secs
lola: 4140442 markings, 6493732 edges, 37606 markings/sec, 105 secs
lola: 4326828 markings, 6796628 edges, 37277 markings/sec, 110 secs
lola: 4515882 markings, 7095810 edges, 37811 markings/sec, 115 secs
lola: 4702051 markings, 7396541 edges, 37234 markings/sec, 120 secs
lola: 4889322 markings, 7700672 edges, 37454 markings/sec, 125 secs
lola: 5074202 markings, 8008486 edges, 36976 markings/sec, 130 secs
lola: 5261845 markings, 8313742 edges, 37529 markings/sec, 135 secs
lola: 5451085 markings, 8615068 edges, 37848 markings/sec, 140 secs
lola: 5638456 markings, 8920953 edges, 37474 markings/sec, 145 secs
lola: 5826307 markings, 9229190 edges, 37570 markings/sec, 150 secs
lola: 6011460 markings, 9541971 edges, 37031 markings/sec, 155 secs
lola: 6199061 markings, 9846441 edges, 37520 markings/sec, 160 secs
lola: 6382932 markings, 10153316 edges, 36774 markings/sec, 165 secs
lola: 6569835 markings, 10468569 edges, 37381 markings/sec, 170 secs
lola: 6756013 markings, 10787238 edges, 37236 markings/sec, 175 secs
lola: 6941669 markings, 11097805 edges, 37131 markings/sec, 180 secs
lola: 7130700 markings, 11386676 edges, 37806 markings/sec, 185 secs
lola: 7319014 markings, 11684556 edges, 37663 markings/sec, 190 secs
lola: 7507290 markings, 11979216 edges, 37655 markings/sec, 195 secs
lola: 7695652 markings, 12283702 edges, 37672 markings/sec, 200 secs
lola: 7883217 markings, 12580342 edges, 37513 markings/sec, 205 secs
lola: 8070843 markings, 12882097 edges, 37525 markings/sec, 210 secs
lola: 8258081 markings, 13186577 edges, 37448 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(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 128375 markings, 263574 edges, 25675 markings/sec, 0 secs
lola: 253837 markings, 527465 edges, 25092 markings/sec, 5 secs
lola: 379186 markings, 792126 edges, 25070 markings/sec, 10 secs
lola: 503380 markings, 1054791 edges, 24839 markings/sec, 15 secs
lola: 627505 markings, 1318163 edges, 24825 markings/sec, 20 secs
lola: 750709 markings, 1581484 edges, 24641 markings/sec, 25 secs
lola: 876269 markings, 1845103 edges, 25112 markings/sec, 30 secs
lola: 999645 markings, 2103787 edges, 24675 markings/sec, 35 secs
lola: 1124189 markings, 2365203 edges, 24909 markings/sec, 40 secs
lola: 1249198 markings, 2629681 edges, 25002 markings/sec, 45 secs
lola: 1371551 markings, 2888827 edges, 24471 markings/sec, 50 secs
lola: 1495460 markings, 3146555 edges, 24782 markings/sec, 55 secs
lola: 1618706 markings, 3405091 edges, 24649 markings/sec, 60 secs
lola: 1743395 markings, 3674563 edges, 24938 markings/sec, 65 secs
lola: 1867290 markings, 3941123 edges, 24779 markings/sec, 70 secs
lola: 1990183 markings, 4215664 edges, 24579 markings/sec, 75 secs
lola: 2119744 markings, 4494675 edges, 25912 markings/sec, 80 secs
lola: 2243330 markings, 4752454 edges, 24717 markings/sec, 85 secs
lola: 2365161 markings, 5006693 edges, 24366 markings/sec, 90 secs
lola: 2488086 markings, 5265797 edges, 24585 markings/sec, 95 secs
lola: 2609269 markings, 5522169 edges, 24237 markings/sec, 100 secs
lola: 2733701 markings, 5779630 edges, 24886 markings/sec, 105 secs
lola: 2860920 markings, 6060088 edges, 25444 markings/sec, 110 secs
lola: 2982630 markings, 6327459 edges, 24342 markings/sec, 115 secs
lola: 3106978 markings, 6596948 edges, 24870 markings/sec, 120 secs
lola: 3230867 markings, 6871387 edges, 24778 markings/sec, 125 secs
lola: 3354707 markings, 7152904 edges, 24768 markings/sec, 130 secs
lola: 3474124 markings, 7422316 edges, 23883 markings/sec, 135 secs
lola: 3600656 markings, 7696933 edges, 25306 markings/sec, 140 secs
lola: 3728510 markings, 7970588 edges, 25571 markings/sec, 145 secs
lola: 3861171 markings, 8273337 edges, 26532 markings/sec, 150 secs
lola: 3992850 markings, 8557425 edges, 26336 markings/sec, 155 secs
lola: 4125809 markings, 8839084 edges, 26592 markings/sec, 160 secs
lola: 4255856 markings, 9117514 edges, 26009 markings/sec, 165 secs
lola: 4383642 markings, 9394267 edges, 25557 markings/sec, 170 secs
lola: 4509718 markings, 9669087 edges, 25215 markings/sec, 175 secs
lola: 4642342 markings, 9947040 edges, 26525 markings/sec, 180 secs
lola: 4762335 markings, 10214860 edges, 23999 markings/sec, 185 secs
lola: 4895047 markings, 10496457 edges, 26542 markings/sec, 190 secs
lola: 5025324 markings, 10758837 edges, 26055 markings/sec, 195 secs
lola: 5149967 markings, 11027285 edges, 24929 markings/sec, 200 secs
lola: 5282309 markings, 11295073 edges, 26468 markings/sec, 205 secs
lola: 5414824 markings, 11561773 edges, 26503 markings/sec, 210 secs
lola: 5544682 markings, 11835702 edges, 25972 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(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 189444 markings, 273338 edges, 37889 markings/sec, 0 secs
lola: 370377 markings, 544377 edges, 36187 markings/sec, 5 secs
lola: 560727 markings, 832269 edges, 38070 markings/sec, 10 secs
lola: 752091 markings, 1128830 edges, 38273 markings/sec, 15 secs
lola: 940171 markings, 1419227 edges, 37616 markings/sec, 20 secs
lola: 1122435 markings, 1698533 edges, 36453 markings/sec, 25 secs
lola: 1312430 markings, 1998234 edges, 37999 markings/sec, 30 secs
lola: 1499626 markings, 2293574 edges, 37439 markings/sec, 35 secs
lola: 1684462 markings, 2592123 edges, 36967 markings/sec, 40 secs
lola: 1865818 markings, 2870040 edges, 36271 markings/sec, 45 secs
lola: 2055462 markings, 3164162 edges, 37929 markings/sec, 50 secs
lola: 2244799 markings, 3461642 edges, 37867 markings/sec, 55 secs
lola: 2427415 markings, 3752367 edges, 36523 markings/sec, 60 secs
lola: 2606124 markings, 4043336 edges, 35742 markings/sec, 65 secs
lola: 2798701 markings, 4348059 edges, 38515 markings/sec, 70 secs
lola: 2986990 markings, 4652698 edges, 37658 markings/sec, 75 secs
lola: 3175712 markings, 4959153 edges, 37744 markings/sec, 80 secs
lola: 3364437 markings, 5273577 edges, 37745 markings/sec, 85 secs
lola: 3556958 markings, 5578724 edges, 38504 markings/sec, 90 secs
lola: 3749942 markings, 5876032 edges, 38597 markings/sec, 95 secs
lola: 3940669 markings, 6175742 edges, 38145 markings/sec, 100 secs
lola: 4128270 markings, 6473708 edges, 37520 markings/sec, 105 secs
lola: 4317100 markings, 6781790 edges, 37766 markings/sec, 110 secs
lola: 4508748 markings, 7083505 edges, 38330 markings/sec, 115 secs
lola: 4698003 markings, 7389493 edges, 37851 markings/sec, 120 secs
lola: 4884994 markings, 7693178 edges, 37398 markings/sec, 125 secs
lola: 5069465 markings, 8000421 edges, 36894 markings/sec, 130 secs
lola: 5257893 markings, 8307210 edges, 37686 markings/sec, 135 secs
lola: 5442022 markings, 8600264 edges, 36826 markings/sec, 140 secs
lola: 5617795 markings, 8888053 edges, 35155 markings/sec, 145 secs
lola: 5805312 markings, 9195392 edges, 37503 markings/sec, 150 secs
lola: 5992056 markings, 9507765 edges, 37349 markings/sec, 155 secs
lola: 6178683 markings, 9812555 edges, 37325 markings/sec, 160 secs
lola: 6356871 markings, 10109283 edges, 35638 markings/sec, 165 secs
lola: 6542522 markings, 10422052 edges, 37130 markings/sec, 170 secs
lola: 6727595 markings, 10737882 edges, 37015 markings/sec, 175 secs
lola: 6912653 markings, 11054537 edges, 37012 markings/sec, 180 secs
lola: 7104068 markings, 11346500 edges, 38283 markings/sec, 185 secs
lola: 7293488 markings, 11643000 edges, 37884 markings/sec, 190 secs
lola: 7482512 markings, 11938839 edges, 37805 markings/sec, 195 secs
lola: 7670994 markings, 12242436 edges, 37696 markings/sec, 200 secs
lola: 7861057 markings, 12545421 edges, 38013 markings/sec, 205 secs
lola: 8049507 markings, 12846651 edges, 37690 markings/sec, 210 secs
lola: 8238090 markings, 13153906 edges, 37717 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(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 178860 markings, 216953 edges, 35772 markings/sec, 0 secs
lola: 356814 markings, 435945 edges, 35591 markings/sec, 5 secs
lola: 533728 markings, 654944 edges, 35383 markings/sec, 10 secs
lola: 711463 markings, 873133 edges, 35547 markings/sec, 15 secs
lola: 888564 markings, 1092243 edges, 35420 markings/sec, 20 secs
lola: 1064850 markings, 1310039 edges, 35257 markings/sec, 25 secs
lola: 1241624 markings, 1529489 edges, 35355 markings/sec, 30 secs
lola: 1419460 markings, 1749849 edges, 35567 markings/sec, 35 secs
lola: 1596548 markings, 1970727 edges, 35418 markings/sec, 40 secs
lola: 1773451 markings, 2192327 edges, 35381 markings/sec, 45 secs
lola: 1949681 markings, 2411994 edges, 35246 markings/sec, 50 secs
lola: 2125593 markings, 2631034 edges, 35182 markings/sec, 55 secs
lola: 2300545 markings, 2849937 edges, 34990 markings/sec, 60 secs
lola: 2476595 markings, 3065779 edges, 35210 markings/sec, 65 secs
lola: 2652454 markings, 3286143 edges, 35172 markings/sec, 70 secs
lola: 2829092 markings, 3507517 edges, 35328 markings/sec, 75 secs
lola: 3006383 markings, 3728309 edges, 35458 markings/sec, 80 secs
lola: 3182435 markings, 3948525 edges, 35210 markings/sec, 85 secs
lola: 3358351 markings, 4169608 edges, 35183 markings/sec, 90 secs
lola: 3535106 markings, 4388768 edges, 35351 markings/sec, 95 secs
lola: 3710362 markings, 4606969 edges, 35051 markings/sec, 100 secs
lola: 3885564 markings, 4825504 edges, 35040 markings/sec, 105 secs
lola: 4061629 markings, 5044562 edges, 35213 markings/sec, 110 secs
lola: 4235995 markings, 5262874 edges, 34873 markings/sec, 115 secs
lola: 4410428 markings, 5481786 edges, 34887 markings/sec, 120 secs
lola: 4585441 markings, 5703197 edges, 35003 markings/sec, 125 secs
lola: 4761989 markings, 5924941 edges, 35310 markings/sec, 130 secs
lola: 4937267 markings, 6143684 edges, 35056 markings/sec, 135 secs
lola: 5113208 markings, 6364309 edges, 35188 markings/sec, 140 secs
lola: 5289115 markings, 6586179 edges, 35181 markings/sec, 145 secs
lola: 5464039 markings, 6807522 edges, 34985 markings/sec, 150 secs
lola: 5640406 markings, 7026291 edges, 35273 markings/sec, 155 secs
lola: 5815076 markings, 7245889 edges, 34934 markings/sec, 160 secs
lola: 5989189 markings, 7465312 edges, 34823 markings/sec, 165 secs
lola: 6163103 markings, 7684393 edges, 34783 markings/sec, 170 secs
lola: 6338232 markings, 7904519 edges, 35026 markings/sec, 175 secs
lola: 6512749 markings, 8126088 edges, 34903 markings/sec, 180 secs
lola: 6686459 markings, 8340823 edges, 34742 markings/sec, 185 secs
lola: 6860540 markings, 8559804 edges, 34816 markings/sec, 190 secs
lola: 7035177 markings, 8780098 edges, 34927 markings/sec, 195 secs
lola: 7209892 markings, 9001114 edges, 34943 markings/sec, 200 secs
lola: 7383255 markings, 9219594 edges, 34673 markings/sec, 205 secs
lola: 7557393 markings, 9436522 edges, 34828 markings/sec, 210 secs
lola: 7731299 markings, 9653549 edges, 34781 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(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 170551 markings, 223527 edges, 34110 markings/sec, 0 secs
lola: 341244 markings, 449104 edges, 34139 markings/sec, 5 secs
lola: 513648 markings, 676551 edges, 34481 markings/sec, 10 secs
lola: 684622 markings, 902688 edges, 34195 markings/sec, 15 secs
lola: 853438 markings, 1126891 edges, 33763 markings/sec, 20 secs
lola: 1021286 markings, 1349272 edges, 33570 markings/sec, 25 secs
lola: 1191061 markings, 1572645 edges, 33955 markings/sec, 30 secs
lola: 1359066 markings, 1797878 edges, 33601 markings/sec, 35 secs
lola: 1527193 markings, 2022145 edges, 33625 markings/sec, 40 secs
lola: 1695399 markings, 2247303 edges, 33641 markings/sec, 45 secs
lola: 1863973 markings, 2472940 edges, 33715 markings/sec, 50 secs
lola: 2031625 markings, 2695730 edges, 33530 markings/sec, 55 secs
lola: 2199475 markings, 2920656 edges, 33570 markings/sec, 60 secs
lola: 2368843 markings, 3145541 edges, 33874 markings/sec, 65 secs
lola: 2537352 markings, 3369489 edges, 33702 markings/sec, 70 secs
lola: 2705769 markings, 3595462 edges, 33683 markings/sec, 75 secs
lola: 2876893 markings, 3822440 edges, 34225 markings/sec, 80 secs
lola: 3047003 markings, 4048840 edges, 34022 markings/sec, 85 secs
lola: 3216025 markings, 4275467 edges, 33804 markings/sec, 90 secs
lola: 3387300 markings, 4503652 edges, 34255 markings/sec, 95 secs
lola: 3555571 markings, 4729672 edges, 33654 markings/sec, 100 secs
lola: 3722913 markings, 4955207 edges, 33468 markings/sec, 105 secs
lola: 3890479 markings, 5178783 edges, 33513 markings/sec, 110 secs
lola: 4059312 markings, 5404854 edges, 33767 markings/sec, 115 secs
lola: 4227970 markings, 5630867 edges, 33732 markings/sec, 120 secs
lola: 4397361 markings, 5858959 edges, 33878 markings/sec, 125 secs
lola: 4565611 markings, 6086064 edges, 33650 markings/sec, 130 secs
lola: 4734097 markings, 6311012 edges, 33697 markings/sec, 135 secs
lola: 4902123 markings, 6537903 edges, 33605 markings/sec, 140 secs
lola: 5069954 markings, 6763644 edges, 33566 markings/sec, 145 secs
lola: 5236972 markings, 6988663 edges, 33404 markings/sec, 150 secs
lola: 5403934 markings, 7210508 edges, 33392 markings/sec, 155 secs
lola: 5571500 markings, 7435376 edges, 33513 markings/sec, 160 secs
lola: 5739419 markings, 7658181 edges, 33584 markings/sec, 165 secs
lola: 5907082 markings, 7883572 edges, 33533 markings/sec, 170 secs
lola: 6075476 markings, 8111037 edges, 33679 markings/sec, 175 secs
lola: 6243590 markings, 8336651 edges, 33623 markings/sec, 180 secs
lola: 6411925 markings, 8561916 edges, 33667 markings/sec, 185 secs
lola: 6579071 markings, 8787945 edges, 33429 markings/sec, 190 secs
lola: 6748002 markings, 9016262 edges, 33786 markings/sec, 195 secs
lola: 6915251 markings, 9238238 edges, 33450 markings/sec, 200 secs
lola: 7083723 markings, 9463240 edges, 33694 markings/sec, 205 secs
lola: 7252423 markings, 9692229 edges, 33740 markings/sec, 210 secs
lola: 7419070 markings, 9917345 edges, 33329 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(p153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 190027 markings, 274175 edges, 38005 markings/sec, 0 secs
lola: 378628 markings, 557433 edges, 37720 markings/sec, 5 secs
lola: 566236 markings, 840806 edges, 37522 markings/sec, 10 secs
lola: 752890 markings, 1130169 edges, 37331 markings/sec, 15 secs
lola: 940480 markings, 1419729 edges, 37518 markings/sec, 20 secs
lola: 1129486 markings, 1709785 edges, 37801 markings/sec, 25 secs
lola: 1316488 markings, 2004439 edges, 37400 markings/sec, 30 secs
lola: 1501780 markings, 2297174 edges, 37058 markings/sec, 35 secs
lola: 1687387 markings, 2597015 edges, 37121 markings/sec, 40 secs
lola: 1871239 markings, 2878426 edges, 36770 markings/sec, 45 secs
lola: 2052938 markings, 3160275 edges, 36340 markings/sec, 50 secs
lola: 2233909 markings, 3444506 edges, 36194 markings/sec, 55 secs
lola: 2416003 markings, 3734127 edges, 36419 markings/sec, 60 secs
lola: 2599304 markings, 4032970 edges, 36660 markings/sec, 65 secs
lola: 2787301 markings, 4329069 edges, 37599 markings/sec, 70 secs
lola: 2973942 markings, 4630683 edges, 37328 markings/sec, 75 secs
lola: 3159118 markings, 4931474 edges, 37035 markings/sec, 80 secs
lola: 3343903 markings, 5239164 edges, 36957 markings/sec, 85 secs
lola: 3531001 markings, 5539066 edges, 37420 markings/sec, 90 secs
lola: 3720279 markings, 5829540 edges, 37856 markings/sec, 95 secs
lola: 3907815 markings, 6125038 edges, 37507 markings/sec, 100 secs
lola: 4094317 markings, 6420534 edges, 37300 markings/sec, 105 secs
lola: 4280163 markings, 6721977 edges, 37169 markings/sec, 110 secs
lola: 4469351 markings, 7019497 edges, 37838 markings/sec, 115 secs
lola: 4656884 markings, 7321393 edges, 37507 markings/sec, 120 secs
lola: 4842769 markings, 7624773 edges, 37177 markings/sec, 125 secs
lola: 5028097 markings, 7930786 edges, 37066 markings/sec, 130 secs
lola: 5213865 markings, 8238658 edges, 37154 markings/sec, 135 secs
lola: 5401914 markings, 8536464 edges, 37610 markings/sec, 140 secs
lola: 5587763 markings, 8840733 edges, 37170 markings/sec, 145 secs
lola: 5772514 markings, 9139374 edges, 36950 markings/sec, 150 secs
lola: 5957099 markings, 9447655 edges, 36917 markings/sec, 155 secs
lola: 6143224 markings, 9754554 edges, 37225 markings/sec, 160 secs
lola: 6325909 markings, 10056890 edges, 36537 markings/sec, 165 secs
lola: 6507010 markings, 10363073 edges, 36220 markings/sec, 170 secs
lola: 6684292 markings, 10664155 edges, 35456 markings/sec, 175 secs
lola: 6863556 markings, 10976404 edges, 35853 markings/sec, 180 secs
lola: 7047514 markings, 11258161 edges, 36792 markings/sec, 185 secs
lola: 7231685 markings, 11544096 edges, 36834 markings/sec, 190 secs
lola: 7414238 markings, 11831204 edges, 36511 markings/sec, 195 secs
lola: 7596712 markings, 12121571 edges, 36495 markings/sec, 200 secs
lola: 7782824 markings, 12423264 edges, 37222 markings/sec, 205 secs
lola: 7964919 markings, 12711895 edges, 36419 markings/sec, 210 secs
lola: 8149834 markings, 13011759 edges, 36983 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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 170105 markings, 223648 edges, 34021 markings/sec, 0 secs
lola: 339159 markings, 446827 edges, 33811 markings/sec, 5 secs
lola: 508607 markings, 670714 edges, 33890 markings/sec, 10 secs
lola: 677508 markings, 894705 edges, 33780 markings/sec, 15 secs
lola: 844996 markings, 1117067 edges, 33498 markings/sec, 20 secs
lola: 1012142 markings, 1338719 edges, 33429 markings/sec, 25 secs
lola: 1179543 markings, 1562406 edges, 33480 markings/sec, 30 secs
lola: 1346873 markings, 1784889 edges, 33466 markings/sec, 35 secs
lola: 1515378 markings, 2009263 edges, 33701 markings/sec, 40 secs
lola: 1684907 markings, 2234420 edges, 33906 markings/sec, 45 secs
lola: 1853043 markings, 2460185 edges, 33627 markings/sec, 50 secs
lola: 2023032 markings, 2686610 edges, 33998 markings/sec, 55 secs
lola: 2192490 markings, 2914026 edges, 33892 markings/sec, 60 secs
lola: 2359009 markings, 3136585 edges, 33304 markings/sec, 65 secs
lola: 2525753 markings, 3358705 edges, 33349 markings/sec, 70 secs
lola: 2692961 markings, 3579615 edges, 33442 markings/sec, 75 secs
lola: 2862952 markings, 3806620 edges, 33998 markings/sec, 80 secs
lola: 3032452 markings, 4034217 edges, 33900 markings/sec, 85 secs
lola: 3202496 markings, 4263399 edges, 34009 markings/sec, 90 secs
lola: 3372431 markings, 4489871 edges, 33987 markings/sec, 95 secs
lola: 3542054 markings, 4715946 edges, 33925 markings/sec, 100 secs
lola: 3711845 markings, 4940635 edges, 33958 markings/sec, 105 secs
lola: 3881480 markings, 5169863 edges, 33927 markings/sec, 110 secs
lola: 4051261 markings, 5396799 edges, 33956 markings/sec, 115 secs
lola: 4220232 markings, 5621714 edges, 33794 markings/sec, 120 secs
lola: 4389018 markings, 5848298 edges, 33757 markings/sec, 125 secs
lola: 4556249 markings, 6070984 edges, 33446 markings/sec, 130 secs
lola: 4721585 markings, 6291435 edges, 33067 markings/sec, 135 secs
lola: 4888173 markings, 6513379 edges, 33318 markings/sec, 140 secs
lola: 5054577 markings, 6737925 edges, 33281 markings/sec, 145 secs
lola: 5223448 markings, 6965591 edges, 33774 markings/sec, 150 secs
lola: 5392328 markings, 7192411 edges, 33776 markings/sec, 155 secs
lola: 5562283 markings, 7420194 edges, 33991 markings/sec, 160 secs
lola: 5731505 markings, 7646933 edges, 33844 markings/sec, 165 secs
lola: 5900870 markings, 7871308 edges, 33873 markings/sec, 170 secs
lola: 6070546 markings, 8096046 edges, 33935 markings/sec, 175 secs
lola: 6240422 markings, 8323254 edges, 33975 markings/sec, 180 secs
lola: 6409473 markings, 8547798 edges, 33810 markings/sec, 185 secs
lola: 6578640 markings, 8775733 edges, 33833 markings/sec, 190 secs
lola: 6747724 markings, 9004548 edges, 33817 markings/sec, 195 secs
lola: 6917055 markings, 9233621 edges, 33866 markings/sec, 200 secs
lola: 7086994 markings, 9462016 edges, 33988 markings/sec, 205 secs
lola: 7255906 markings, 9687849 edges, 33782 markings/sec, 210 secs
lola: 7425511 markings, 9916654 edges, 33921 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p108)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 103198 markings, 255949 edges, 20640 markings/sec, 0 secs
lola: 227489 markings, 521556 edges, 24858 markings/sec, 5 secs
lola: 353413 markings, 781539 edges, 25185 markings/sec, 10 secs
lola: 478107 markings, 1043620 edges, 24939 markings/sec, 15 secs
lola: 601999 markings, 1304507 edges, 24778 markings/sec, 20 secs
lola: 727788 markings, 1561271 edges, 25158 markings/sec, 25 secs
lola: 850176 markings, 1821345 edges, 24478 markings/sec, 30 secs
lola: 973388 markings, 2087236 edges, 24642 markings/sec, 35 secs
lola: 1095413 markings, 2355285 edges, 24405 markings/sec, 40 secs
lola: 1216763 markings, 2627863 edges, 24270 markings/sec, 45 secs
lola: 1336746 markings, 2898629 edges, 23997 markings/sec, 50 secs
lola: 1455602 markings, 3169822 edges, 23771 markings/sec, 55 secs
lola: 1574743 markings, 3432481 edges, 23828 markings/sec, 60 secs
lola: 1693119 markings, 3698365 edges, 23675 markings/sec, 65 secs
lola: 1811270 markings, 3964869 edges, 23630 markings/sec, 70 secs
lola: 1926284 markings, 4227907 edges, 23003 markings/sec, 75 secs
lola: 2044415 markings, 4498733 edges, 23626 markings/sec, 80 secs
lola: 2162557 markings, 4769741 edges, 23628 markings/sec, 85 secs
lola: 2281335 markings, 5038265 edges, 23756 markings/sec, 90 secs
lola: 2397510 markings, 5300688 edges, 23235 markings/sec, 95 secs
lola: 2512885 markings, 5566461 edges, 23075 markings/sec, 100 secs
lola: 2629508 markings, 5829173 edges, 23325 markings/sec, 105 secs
lola: 2752456 markings, 6092861 edges, 24590 markings/sec, 110 secs
lola: 2874116 markings, 6347806 edges, 24332 markings/sec, 115 secs
lola: 2993093 markings, 6608602 edges, 23795 markings/sec, 120 secs
lola: 3115401 markings, 6879185 edges, 24462 markings/sec, 125 secs
lola: 3247407 markings, 7144074 edges, 26401 markings/sec, 130 secs
lola: 3381084 markings, 7415859 edges, 26735 markings/sec, 135 secs
lola: 3509941 markings, 7683604 edges, 25771 markings/sec, 140 secs
lola: 3637842 markings, 7941204 edges, 25580 markings/sec, 145 secs
lola: 3756571 markings, 8214377 edges, 23746 markings/sec, 150 secs
lola: 3871635 markings, 8486012 edges, 23013 markings/sec, 155 secs
lola: 4001244 markings, 8759537 edges, 25922 markings/sec, 160 secs
lola: 4116263 markings, 9028417 edges, 23004 markings/sec, 165 secs
lola: 4224236 markings, 9296955 edges, 21595 markings/sec, 170 secs
lola: 4351512 markings, 9569485 edges, 25455 markings/sec, 175 secs
lola: 4473661 markings, 9830730 edges, 24430 markings/sec, 180 secs
lola: 4587107 markings, 10103692 edges, 22689 markings/sec, 185 secs
lola: 4700427 markings, 10376719 edges, 22664 markings/sec, 190 secs
lola: 4814780 markings, 10642948 edges, 22871 markings/sec, 195 secs
lola: 4930579 markings, 10904979 edges, 23160 markings/sec, 200 secs
lola: 5053397 markings, 11179402 edges, 24564 markings/sec, 205 secs
lola: 5179804 markings, 11443988 edges, 25281 markings/sec, 210 secs
lola: 5305461 markings, 11710879 edges, 25131 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 180811 markings, 219292 edges, 36162 markings/sec, 0 secs
lola: 359501 markings, 439183 edges, 35738 markings/sec, 5 secs
lola: 543868 markings, 665517 edges, 36873 markings/sec, 10 secs
lola: 720342 markings, 883632 edges, 35295 markings/sec, 15 secs
lola: 900250 markings, 1105179 edges, 35982 markings/sec, 20 secs
lola: 1077127 markings, 1324457 edges, 35375 markings/sec, 25 secs
lola: 1254224 markings, 1545663 edges, 35419 markings/sec, 30 secs
lola: 1432939 markings, 1768363 edges, 35743 markings/sec, 35 secs
lola: 1611985 markings, 1993039 edges, 35809 markings/sec, 40 secs
lola: 1789724 markings, 2212881 edges, 35548 markings/sec, 45 secs
lola: 1964156 markings, 2429395 edges, 34886 markings/sec, 50 secs
lola: 2122528 markings, 2625330 edges, 31674 markings/sec, 55 secs
lola: 2300132 markings, 2846354 edges, 35521 markings/sec, 60 secs
lola: 2475279 markings, 3064552 edges, 35029 markings/sec, 65 secs
lola: 2648727 markings, 3277747 edges, 34690 markings/sec, 70 secs
lola: 2817784 markings, 3489279 edges, 33811 markings/sec, 75 secs
lola: 2993549 markings, 3710310 edges, 35153 markings/sec, 80 secs
lola: 3169763 markings, 3929713 edges, 35243 markings/sec, 85 secs
lola: 3345361 markings, 4150080 edges, 35120 markings/sec, 90 secs
lola: 3520979 markings, 4371881 edges, 35124 markings/sec, 95 secs
lola: 3696178 markings, 4591823 edges, 35040 markings/sec, 100 secs
lola: 3871172 markings, 4813913 edges, 34999 markings/sec, 105 secs
lola: 4046528 markings, 5033940 edges, 35071 markings/sec, 110 secs
lola: 4223645 markings, 5253341 edges, 35423 markings/sec, 115 secs
lola: 4399211 markings, 5473954 edges, 35113 markings/sec, 120 secs
lola: 4574264 markings, 5694962 edges, 35011 markings/sec, 125 secs
lola: 4748758 markings, 5916716 edges, 34899 markings/sec, 130 secs
lola: 4918386 markings, 6132375 edges, 33926 markings/sec, 135 secs
lola: 5093263 markings, 6352752 edges, 34975 markings/sec, 140 secs
lola: 5265615 markings, 6564132 edges, 34470 markings/sec, 145 secs
lola: 5437918 markings, 6781059 edges, 34461 markings/sec, 150 secs
lola: 5613502 markings, 6998860 edges, 35117 markings/sec, 155 secs
lola: 5789173 markings, 7219418 edges, 35134 markings/sec, 160 secs
lola: 5965700 markings, 7439772 edges, 35305 markings/sec, 165 secs
lola: 6140320 markings, 7659505 edges, 34924 markings/sec, 170 secs
lola: 6317418 markings, 7877873 edges, 35420 markings/sec, 175 secs
lola: 6489912 markings, 8098051 edges, 34499 markings/sec, 180 secs
lola: 6663380 markings, 8317616 edges, 34694 markings/sec, 185 secs
lola: 6835551 markings, 8534113 edges, 34434 markings/sec, 190 secs
lola: 7007330 markings, 8751817 edges, 34356 markings/sec, 195 secs
lola: 7177970 markings, 8968565 edges, 34128 markings/sec, 200 secs
lola: 7349899 markings, 9185569 edges, 34386 markings/sec, 205 secs
lola: 7521462 markings, 9400152 edges, 34313 markings/sec, 210 secs
lola: 7692978 markings, 9617936 edges, 34303 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(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 25 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: 169659 markings, 222387 edges, 33932 markings/sec, 0 secs
lola: 338722 markings, 445815 edges, 33813 markings/sec, 5 secs
lola: 507720 markings, 668672 edges, 33800 markings/sec, 10 secs
lola: 675333 markings, 890438 edges, 33523 markings/sec, 15 secs
lola: 837230 markings, 1105504 edges, 32379 markings/sec, 20 secs
lola: 1008006 markings, 1331510 edges, 34155 markings/sec, 25 secs
lola: 1176308 markings, 1552938 edges, 33660 markings/sec, 30 secs
lola: 1343650 markings, 1777231 edges, 33468 markings/sec, 35 secs
lola: 1511632 markings, 2001642 edges, 33596 markings/sec, 40 secs
lola: 1681466 markings, 2228690 edges, 33967 markings/sec, 45 secs
lola: 1849958 markings, 2454417 edges, 33698 markings/sec, 50 secs
lola: 2018451 markings, 2677699 edges, 33699 markings/sec, 55 secs
lola: 2184700 markings, 2901170 edges, 33250 markings/sec, 60 secs
lola: 2351728 markings, 3122399 edges, 33406 markings/sec, 65 secs
lola: 2521123 markings, 3347406 edges, 33879 markings/sec, 70 secs
lola: 2691190 markings, 3576063 edges, 34013 markings/sec, 75 secs
lola: 2861770 markings, 3802454 edges, 34116 markings/sec, 80 secs
lola: 3032147 markings, 4029325 edges, 34075 markings/sec, 85 secs
lola: 3201322 markings, 4256237 edges, 33835 markings/sec, 90 secs
lola: 3368824 markings, 4478614 edges, 33500 markings/sec, 95 secs
lola: 3534649 markings, 4702069 edges, 33165 markings/sec, 100 secs
lola: 3702033 markings, 4927698 edges, 33477 markings/sec, 105 secs
lola: 3868106 markings, 5149603 edges, 33215 markings/sec, 110 secs
lola: 4037049 markings, 5375275 edges, 33789 markings/sec, 115 secs
lola: 4206137 markings, 5601393 edges, 33818 markings/sec, 120 secs
lola: 4374585 markings, 5828744 edges, 33690 markings/sec, 125 secs
lola: 4542204 markings, 6054879 edges, 33524 markings/sec, 130 secs
lola: 4710193 markings, 6278950 edges, 33598 markings/sec, 135 secs
lola: 4878594 markings, 6506130 edges, 33680 markings/sec, 140 secs
lola: 5046416 markings, 6731955 edges, 33564 markings/sec, 145 secs
lola: 5213449 markings, 6957048 edges, 33407 markings/sec, 150 secs
lola: 5383311 markings, 7183121 edges, 33972 markings/sec, 155 secs
lola: 5552555 markings, 7410569 edges, 33849 markings/sec, 160 secs
lola: 5723300 markings, 7636810 edges, 34149 markings/sec, 165 secs
lola: 5890352 markings, 7861373 edges, 33410 markings/sec, 170 secs
lola: 6057050 markings, 8085870 edges, 33340 markings/sec, 175 secs
lola: 6223246 markings, 8309038 edges, 33239 markings/sec, 180 secs
lola: 6389719 markings, 8531636 edges, 33295 markings/sec, 185 secs
lola: 6556223 markings, 8756313 edges, 33301 markings/sec, 190 secs
lola: 6723880 markings, 8983588 edges, 33531 markings/sec, 195 secs
lola: 6889963 markings, 9204838 edges, 33217 markings/sec, 200 secs
lola: 7058774 markings, 9429985 edges, 33762 markings/sec, 205 secs
lola: 7227182 markings, 9657783 edges, 33682 markings/sec, 210 secs
lola: 7395240 markings, 9885736 edges, 33612 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-18a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-18a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496496907077

--------------------
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="FlexibleBarrier-PT-18a"
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/FlexibleBarrier-PT-18a.tgz
mv FlexibleBarrier-PT-18a 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 FlexibleBarrier-PT-18a, 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 r188-blw3-149581034300128"
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 ;