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

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

=== Now, execution of the tool begins

BK_START 1496496725931


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-20a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-20a @ 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: 1307/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 243 places, 1064 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 744 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-20a-UpperBounds.task
lola: MAX(p36) : MAX(p169) : MAX(p123) : MAX(p82) : MAX(p28) : MAX(p182) : MAX(p38) : MAX(p20) : MAX(p54) : MAX(p225) : MAX(p120) : MAX(p162) : MAX(p213) : MAX(p241) : MAX(p9) : MAX(p208)
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(p36)
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 3 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: 39977 markings, 342015 edges, 7995 markings/sec, 0 secs
lola: 79855 markings, 676707 edges, 7976 markings/sec, 5 secs
lola: 121568 markings, 1035514 edges, 8343 markings/sec, 10 secs
lola: 160623 markings, 1375640 edges, 7811 markings/sec, 15 secs
lola: 200170 markings, 1714957 edges, 7909 markings/sec, 20 secs
lola: 241316 markings, 2058713 edges, 8229 markings/sec, 25 secs
lola: 283826 markings, 2425028 edges, 8502 markings/sec, 30 secs
lola: 327569 markings, 2819863 edges, 8749 markings/sec, 35 secs
lola: 370121 markings, 3208652 edges, 8510 markings/sec, 40 secs
lola: 411850 markings, 3564671 edges, 8346 markings/sec, 45 secs
lola: 452828 markings, 3922978 edges, 8196 markings/sec, 50 secs
lola: 495207 markings, 4278360 edges, 8476 markings/sec, 55 secs
lola: 540187 markings, 4667804 edges, 8996 markings/sec, 60 secs
lola: 584440 markings, 5050177 edges, 8851 markings/sec, 65 secs
lola: 629267 markings, 5432817 edges, 8965 markings/sec, 70 secs
lola: 672443 markings, 5823653 edges, 8635 markings/sec, 75 secs
lola: 717030 markings, 6214749 edges, 8917 markings/sec, 80 secs
lola: 760002 markings, 6596087 edges, 8594 markings/sec, 85 secs
lola: 804460 markings, 7011743 edges, 8892 markings/sec, 90 secs
lola: 847117 markings, 7367246 edges, 8531 markings/sec, 95 secs
lola: 891310 markings, 7777762 edges, 8839 markings/sec, 100 secs
lola: 936407 markings, 8127266 edges, 9019 markings/sec, 105 secs
lola: 981710 markings, 8493829 edges, 9061 markings/sec, 110 secs
lola: 1026824 markings, 8865400 edges, 9023 markings/sec, 115 secs
lola: 1072364 markings, 9265422 edges, 9108 markings/sec, 120 secs
lola: 1121567 markings, 9654347 edges, 9841 markings/sec, 125 secs
lola: 1174712 markings, 10018880 edges, 10629 markings/sec, 130 secs
lola: 1222461 markings, 10304002 edges, 9550 markings/sec, 135 secs
lola: 1276303 markings, 10651110 edges, 10768 markings/sec, 140 secs
lola: 1333420 markings, 10990585 edges, 11423 markings/sec, 145 secs
lola: 1393763 markings, 11312679 edges, 12069 markings/sec, 150 secs
lola: 1447100 markings, 11648533 edges, 10667 markings/sec, 155 secs
lola: 1502794 markings, 11973102 edges, 11139 markings/sec, 160 secs
lola: 1562941 markings, 12265670 edges, 12029 markings/sec, 165 secs
lola: 1616323 markings, 12628443 edges, 10676 markings/sec, 170 secs
lola: 1663943 markings, 12985323 edges, 9524 markings/sec, 175 secs
lola: 1713834 markings, 13322676 edges, 9978 markings/sec, 180 secs
lola: 1766259 markings, 13633250 edges, 10485 markings/sec, 185 secs
lola: 1817515 markings, 13962987 edges, 10251 markings/sec, 190 secs
lola: 1874225 markings, 14272869 edges, 11342 markings/sec, 195 secs
lola: 1932085 markings, 14617586 edges, 11572 markings/sec, 200 secs
lola: 1993739 markings, 14866765 edges, 12331 markings/sec, 205 secs
lola: 2058512 markings, 15095127 edges, 12955 markings/sec, 210 secs
lola: 2128325 markings, 15308693 edges, 13963 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(p169)
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 3 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: 146697 markings, 216287 edges, 29339 markings/sec, 0 secs
lola: 290900 markings, 437510 edges, 28841 markings/sec, 5 secs
lola: 437800 markings, 670105 edges, 29380 markings/sec, 10 secs
lola: 580780 markings, 890481 edges, 28596 markings/sec, 15 secs
lola: 724842 markings, 1119841 edges, 28812 markings/sec, 20 secs
lola: 870070 markings, 1357345 edges, 29046 markings/sec, 25 secs
lola: 1013134 markings, 1578165 edges, 28613 markings/sec, 30 secs
lola: 1155688 markings, 1805210 edges, 28511 markings/sec, 35 secs
lola: 1298509 markings, 2039486 edges, 28564 markings/sec, 40 secs
lola: 1441986 markings, 2268856 edges, 28695 markings/sec, 45 secs
lola: 1584262 markings, 2503505 edges, 28455 markings/sec, 50 secs
lola: 1727148 markings, 2745619 edges, 28577 markings/sec, 55 secs
lola: 1873355 markings, 2970992 edges, 29241 markings/sec, 60 secs
lola: 2019143 markings, 3203285 edges, 29158 markings/sec, 65 secs
lola: 2165530 markings, 3442734 edges, 29277 markings/sec, 70 secs
lola: 2310846 markings, 3676180 edges, 29063 markings/sec, 75 secs
lola: 2455639 markings, 3914999 edges, 28959 markings/sec, 80 secs
lola: 2601017 markings, 4159600 edges, 29076 markings/sec, 85 secs
lola: 2744593 markings, 4390974 edges, 28715 markings/sec, 90 secs
lola: 2887373 markings, 4626452 edges, 28556 markings/sec, 95 secs
lola: 3030814 markings, 4868889 edges, 28688 markings/sec, 100 secs
lola: 3173782 markings, 5107497 edges, 28594 markings/sec, 105 secs
lola: 3316271 markings, 5350487 edges, 28498 markings/sec, 110 secs
lola: 3459947 markings, 5598562 edges, 28735 markings/sec, 115 secs
lola: 3608333 markings, 5829043 edges, 29677 markings/sec, 120 secs
lola: 3755245 markings, 6063592 edges, 29382 markings/sec, 125 secs
lola: 3898822 markings, 6297585 edges, 28715 markings/sec, 130 secs
lola: 4041428 markings, 6527496 edges, 28521 markings/sec, 135 secs
lola: 4186118 markings, 6766928 edges, 28938 markings/sec, 140 secs
lola: 4331260 markings, 7009808 edges, 29028 markings/sec, 145 secs
lola: 4475956 markings, 7243481 edges, 28939 markings/sec, 150 secs
lola: 4620461 markings, 7482967 edges, 28901 markings/sec, 155 secs
lola: 4765145 markings, 7726200 edges, 28937 markings/sec, 160 secs
lola: 4909863 markings, 7968554 edges, 28944 markings/sec, 165 secs
lola: 5054090 markings, 8216321 edges, 28845 markings/sec, 170 secs
lola: 5196995 markings, 8460339 edges, 28581 markings/sec, 175 secs
lola: 5338594 markings, 8689451 edges, 28320 markings/sec, 180 secs
lola: 5481634 markings, 8926668 edges, 28608 markings/sec, 185 secs
lola: 5623414 markings, 9165038 edges, 28356 markings/sec, 190 secs
lola: 5763876 markings, 9399989 edges, 28092 markings/sec, 195 secs
lola: 5907363 markings, 9645730 edges, 28697 markings/sec, 200 secs
lola: 6049150 markings, 9891419 edges, 28357 markings/sec, 205 secs
lola: 6190417 markings, 10127268 edges, 28253 markings/sec, 210 secs
lola: 6333173 markings, 10371423 edges, 28551 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(p123)
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 3 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: 145763 markings, 207921 edges, 29153 markings/sec, 0 secs
lola: 290058 markings, 422374 edges, 28859 markings/sec, 5 secs
lola: 435628 markings, 646214 edges, 29114 markings/sec, 10 secs
lola: 578241 markings, 858910 edges, 28523 markings/sec, 15 secs
lola: 722731 markings, 1081946 edges, 28898 markings/sec, 20 secs
lola: 865830 markings, 1309981 edges, 28620 markings/sec, 25 secs
lola: 1008413 markings, 1522653 edges, 28517 markings/sec, 30 secs
lola: 1153191 markings, 1746161 edges, 28956 markings/sec, 35 secs
lola: 1296416 markings, 1974544 edges, 28645 markings/sec, 40 secs
lola: 1440496 markings, 2197869 edges, 28816 markings/sec, 45 secs
lola: 1579243 markings, 2419839 edges, 27749 markings/sec, 50 secs
lola: 1702854 markings, 2623150 edges, 24722 markings/sec, 55 secs
lola: 1847842 markings, 2842917 edges, 28998 markings/sec, 60 secs
lola: 1990540 markings, 3063076 edges, 28540 markings/sec, 65 secs
lola: 2132241 markings, 3286734 edges, 28340 markings/sec, 70 secs
lola: 2273533 markings, 3506982 edges, 28258 markings/sec, 75 secs
lola: 2414700 markings, 3732166 edges, 28233 markings/sec, 80 secs
lola: 2555727 markings, 3962813 edges, 28205 markings/sec, 85 secs
lola: 2697222 markings, 4185278 edges, 28299 markings/sec, 90 secs
lola: 2837169 markings, 4408169 edges, 27989 markings/sec, 95 secs
lola: 2977470 markings, 4636771 edges, 28060 markings/sec, 100 secs
lola: 3118051 markings, 4865427 edges, 28116 markings/sec, 105 secs
lola: 3258882 markings, 5097082 edges, 28166 markings/sec, 110 secs
lola: 3398157 markings, 5331400 edges, 27855 markings/sec, 115 secs
lola: 3541911 markings, 5556180 edges, 28751 markings/sec, 120 secs
lola: 3687263 markings, 5779101 edges, 29070 markings/sec, 125 secs
lola: 3831332 markings, 6005043 edges, 28814 markings/sec, 130 secs
lola: 3974671 markings, 6229855 edges, 28668 markings/sec, 135 secs
lola: 4114622 markings, 6452576 edges, 27990 markings/sec, 140 secs
lola: 4251229 markings, 6674187 edges, 27321 markings/sec, 145 secs
lola: 4394417 markings, 6901378 edges, 28638 markings/sec, 150 secs
lola: 4535699 markings, 7126412 edges, 28256 markings/sec, 155 secs
lola: 4676769 markings, 7354892 edges, 28214 markings/sec, 160 secs
lola: 4816914 markings, 7582417 edges, 28029 markings/sec, 165 secs
lola: 4956703 markings, 7813402 edges, 27958 markings/sec, 170 secs
lola: 5095726 markings, 8045191 edges, 27805 markings/sec, 175 secs
lola: 5238009 markings, 8276204 edges, 28457 markings/sec, 180 secs
lola: 5381466 markings, 8505284 edges, 28691 markings/sec, 185 secs
lola: 5523286 markings, 8732930 edges, 28364 markings/sec, 190 secs
lola: 5665474 markings, 8964443 edges, 28438 markings/sec, 195 secs
lola: 5806291 markings, 9197585 edges, 28163 markings/sec, 200 secs
lola: 5947631 markings, 9431981 edges, 28268 markings/sec, 205 secs
lola: 6088744 markings, 9666286 edges, 28223 markings/sec, 210 secs
lola: 6229964 markings, 9899060 edges, 28244 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(p82)
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 3 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: 141686 markings, 215448 edges, 28337 markings/sec, 0 secs
lola: 282196 markings, 437547 edges, 28102 markings/sec, 5 secs
lola: 420854 markings, 663193 edges, 27732 markings/sec, 10 secs
lola: 552385 markings, 872487 edges, 26306 markings/sec, 15 secs
lola: 690711 markings, 1098221 edges, 27665 markings/sec, 20 secs
lola: 828953 markings, 1329067 edges, 27648 markings/sec, 25 secs
lola: 969136 markings, 1556369 edges, 28037 markings/sec, 30 secs
lola: 1110049 markings, 1785298 edges, 28183 markings/sec, 35 secs
lola: 1249420 markings, 2017239 edges, 27874 markings/sec, 40 secs
lola: 1387852 markings, 2247326 edges, 27686 markings/sec, 45 secs
lola: 1526195 markings, 2480817 edges, 27669 markings/sec, 50 secs
lola: 1663742 markings, 2716476 edges, 27509 markings/sec, 55 secs
lola: 1803214 markings, 2947270 edges, 27894 markings/sec, 60 secs
lola: 1942684 markings, 3175116 edges, 27894 markings/sec, 65 secs
lola: 2080894 markings, 3402320 edges, 27642 markings/sec, 70 secs
lola: 2218939 markings, 3632630 edges, 27609 markings/sec, 75 secs
lola: 2356098 markings, 3863676 edges, 27432 markings/sec, 80 secs
lola: 2494920 markings, 4099750 edges, 27764 markings/sec, 85 secs
lola: 2635006 markings, 4339119 edges, 28017 markings/sec, 90 secs
lola: 2770886 markings, 4566410 edges, 27176 markings/sec, 95 secs
lola: 2910361 markings, 4804066 edges, 27895 markings/sec, 100 secs
lola: 3048920 markings, 5043503 edges, 27712 markings/sec, 105 secs
lola: 3186271 markings, 5280220 edges, 27470 markings/sec, 110 secs
lola: 3324217 markings, 5522861 edges, 27589 markings/sec, 115 secs
lola: 3462184 markings, 5766910 edges, 27593 markings/sec, 120 secs
lola: 3602107 markings, 5990968 edges, 27985 markings/sec, 125 secs
lola: 3741584 markings, 6219526 edges, 27895 markings/sec, 130 secs
lola: 3880552 markings, 6454030 edges, 27794 markings/sec, 135 secs
lola: 4019786 markings, 6683407 edges, 27847 markings/sec, 140 secs
lola: 4158121 markings, 6917868 edges, 27667 markings/sec, 145 secs
lola: 4294257 markings, 7155444 edges, 27227 markings/sec, 150 secs
lola: 4433536 markings, 7385183 edges, 27856 markings/sec, 155 secs
lola: 4571805 markings, 7619611 edges, 27654 markings/sec, 160 secs
lola: 4710140 markings, 7858991 edges, 27667 markings/sec, 165 secs
lola: 4847889 markings, 8094976 edges, 27550 markings/sec, 170 secs
lola: 4985504 markings, 8335043 edges, 27523 markings/sec, 175 secs
lola: 5121950 markings, 8578097 edges, 27289 markings/sec, 180 secs
lola: 5260390 markings, 8812732 edges, 27688 markings/sec, 185 secs
lola: 5399682 markings, 9047733 edges, 27858 markings/sec, 190 secs
lola: 5538113 markings, 9285462 edges, 27686 markings/sec, 195 secs
lola: 5676324 markings, 9522891 edges, 27642 markings/sec, 200 secs
lola: 5812980 markings, 9761965 edges, 27331 markings/sec, 205 secs
lola: 5950477 markings, 10003651 edges, 27499 markings/sec, 210 secs
lola: 6088876 markings, 10246547 edges, 27680 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(p28)
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 3 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: 134357 markings, 162013 edges, 26871 markings/sec, 0 secs
lola: 268252 markings, 325351 edges, 26779 markings/sec, 5 secs
lola: 402180 markings, 490180 edges, 26786 markings/sec, 10 secs
lola: 536420 markings, 655682 edges, 26848 markings/sec, 15 secs
lola: 669935 markings, 819661 edges, 26703 markings/sec, 20 secs
lola: 801889 markings, 981597 edges, 26391 markings/sec, 25 secs
lola: 935552 markings, 1146448 edges, 26733 markings/sec, 30 secs
lola: 1068249 markings, 1310420 edges, 26539 markings/sec, 35 secs
lola: 1201408 markings, 1476547 edges, 26632 markings/sec, 40 secs
lola: 1332009 markings, 1638315 edges, 26120 markings/sec, 45 secs
lola: 1464008 markings, 1802185 edges, 26400 markings/sec, 50 secs
lola: 1595312 markings, 1964476 edges, 26261 markings/sec, 55 secs
lola: 1727180 markings, 2128217 edges, 26374 markings/sec, 60 secs
lola: 1861197 markings, 2295356 edges, 26803 markings/sec, 65 secs
lola: 1992735 markings, 2457689 edges, 26308 markings/sec, 70 secs
lola: 2126840 markings, 2625225 edges, 26821 markings/sec, 75 secs
lola: 2260388 markings, 2789193 edges, 26710 markings/sec, 80 secs
lola: 2394159 markings, 2955995 edges, 26754 markings/sec, 85 secs
lola: 2526007 markings, 3121512 edges, 26370 markings/sec, 90 secs
lola: 2658120 markings, 3286421 edges, 26423 markings/sec, 95 secs
lola: 2791478 markings, 3453870 edges, 26672 markings/sec, 100 secs
lola: 2923301 markings, 3616692 edges, 26365 markings/sec, 105 secs
lola: 3055132 markings, 3780472 edges, 26366 markings/sec, 110 secs
lola: 3186941 markings, 3944687 edges, 26362 markings/sec, 115 secs
lola: 3318092 markings, 4109105 edges, 26230 markings/sec, 120 secs
lola: 3450409 markings, 4275307 edges, 26463 markings/sec, 125 secs
lola: 3581951 markings, 4438349 edges, 26308 markings/sec, 130 secs
lola: 3713528 markings, 4603690 edges, 26315 markings/sec, 135 secs
lola: 3844957 markings, 4767813 edges, 26286 markings/sec, 140 secs
lola: 3976111 markings, 4932963 edges, 26231 markings/sec, 145 secs
lola: 4106438 markings, 5094552 edges, 26065 markings/sec, 150 secs
lola: 4238312 markings, 5259037 edges, 26375 markings/sec, 155 secs
lola: 4369646 markings, 5423254 edges, 26267 markings/sec, 160 secs
lola: 4500791 markings, 5588056 edges, 26229 markings/sec, 165 secs
lola: 4632255 markings, 5752111 edges, 26293 markings/sec, 170 secs
lola: 4765337 markings, 5919481 edges, 26616 markings/sec, 175 secs
lola: 4897130 markings, 6085114 edges, 26359 markings/sec, 180 secs
lola: 5028814 markings, 6249321 edges, 26337 markings/sec, 185 secs
lola: 5161575 markings, 6416080 edges, 26552 markings/sec, 190 secs
lola: 5292875 markings, 6578109 edges, 26260 markings/sec, 195 secs
lola: 5425947 markings, 6744660 edges, 26614 markings/sec, 200 secs
lola: 5559799 markings, 6913582 edges, 26770 markings/sec, 205 secs
lola: 5692862 markings, 7078932 edges, 26613 markings/sec, 210 secs
lola: 5825747 markings, 7242704 edges, 26577 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(p182)
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 3 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: 145838 markings, 215000 edges, 29168 markings/sec, 0 secs
lola: 290118 markings, 436330 edges, 28856 markings/sec, 5 secs
lola: 433404 markings, 663881 edges, 28657 markings/sec, 10 secs
lola: 575887 markings, 882742 edges, 28497 markings/sec, 15 secs
lola: 717471 markings, 1107966 edges, 28317 markings/sec, 20 secs
lola: 859090 markings, 1340849 edges, 28324 markings/sec, 25 secs
lola: 1004228 markings, 1564121 edges, 29028 markings/sec, 30 secs
lola: 1148595 markings, 1793747 edges, 28873 markings/sec, 35 secs
lola: 1290537 markings, 2027414 edges, 28388 markings/sec, 40 secs
lola: 1433060 markings, 2254420 edges, 28505 markings/sec, 45 secs
lola: 1576384 markings, 2490488 edges, 28665 markings/sec, 50 secs
lola: 1719079 markings, 2733210 edges, 28539 markings/sec, 55 secs
lola: 1863984 markings, 2956331 edges, 28981 markings/sec, 60 secs
lola: 2007849 markings, 3185140 edges, 28773 markings/sec, 65 secs
lola: 2150954 markings, 3420704 edges, 28621 markings/sec, 70 secs
lola: 2293890 markings, 3648303 edges, 28587 markings/sec, 75 secs
lola: 2435738 markings, 3882021 edges, 28370 markings/sec, 80 secs
lola: 2577172 markings, 4122313 edges, 28287 markings/sec, 85 secs
lola: 2722404 markings, 4354470 edges, 29046 markings/sec, 90 secs
lola: 2866083 markings, 4591162 edges, 28736 markings/sec, 95 secs
lola: 3008770 markings, 4833807 edges, 28537 markings/sec, 100 secs
lola: 3150913 markings, 5068563 edges, 28429 markings/sec, 105 secs
lola: 3292890 markings, 5310521 edges, 28395 markings/sec, 110 secs
lola: 3433947 markings, 5557759 edges, 28211 markings/sec, 115 secs
lola: 3579085 markings, 5783053 edges, 29028 markings/sec, 120 secs
lola: 3722344 markings, 6010704 edges, 28652 markings/sec, 125 secs
lola: 3864019 markings, 6242813 edges, 28335 markings/sec, 130 secs
lola: 4006614 markings, 6471062 edges, 28519 markings/sec, 135 secs
lola: 4149214 markings, 6705568 edges, 28520 markings/sec, 140 secs
lola: 4291715 markings, 6946827 edges, 28500 markings/sec, 145 secs
lola: 4436163 markings, 7178839 edges, 28890 markings/sec, 150 secs
lola: 4578564 markings, 7413105 edges, 28480 markings/sec, 155 secs
lola: 4721880 markings, 7655684 edges, 28663 markings/sec, 160 secs
lola: 4864013 markings, 7891326 edges, 28427 markings/sec, 165 secs
lola: 5005311 markings, 8132004 edges, 28260 markings/sec, 170 secs
lola: 5146845 markings, 8379068 edges, 28307 markings/sec, 175 secs
lola: 5291593 markings, 8612996 edges, 28950 markings/sec, 180 secs
lola: 5434866 markings, 8848869 edges, 28655 markings/sec, 185 secs
lola: 5576377 markings, 9087690 edges, 28302 markings/sec, 190 secs
lola: 5718230 markings, 9323309 edges, 28371 markings/sec, 195 secs
lola: 5860743 markings, 9566196 edges, 28503 markings/sec, 200 secs
lola: 6001554 markings, 9811228 edges, 28162 markings/sec, 205 secs
lola: 6144398 markings, 10050184 edges, 28569 markings/sec, 210 secs
lola: 6286014 markings, 10290967 edges, 28323 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(p38)
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 3 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: 148732 markings, 219465 edges, 29746 markings/sec, 0 secs
lola: 296471 markings, 446357 edges, 29548 markings/sec, 5 secs
lola: 443232 markings, 678049 edges, 29352 markings/sec, 10 secs
lola: 589045 markings, 903772 edges, 29163 markings/sec, 15 secs
lola: 734626 markings, 1135649 edges, 29116 markings/sec, 20 secs
lola: 881048 markings, 1373600 edges, 29284 markings/sec, 25 secs
lola: 1029450 markings, 1604217 edges, 29680 markings/sec, 30 secs
lola: 1176928 markings, 1839875 edges, 29496 markings/sec, 35 secs
lola: 1324828 markings, 2080188 edges, 29580 markings/sec, 40 secs
lola: 1470132 markings, 2315267 edges, 29061 markings/sec, 45 secs
lola: 1616884 markings, 2558856 edges, 29350 markings/sec, 50 secs
lola: 1764776 markings, 2802009 edges, 29578 markings/sec, 55 secs
lola: 1912050 markings, 3032951 edges, 29455 markings/sec, 60 secs
lola: 2055885 markings, 3262888 edges, 28767 markings/sec, 65 secs
lola: 2201230 markings, 3498808 edges, 29069 markings/sec, 70 secs
lola: 2345989 markings, 3734315 edges, 28952 markings/sec, 75 secs
lola: 2488666 markings, 3970563 edges, 28535 markings/sec, 80 secs
lola: 2633004 markings, 4210255 edges, 28868 markings/sec, 85 secs
lola: 2779521 markings, 4448758 edges, 29303 markings/sec, 90 secs
lola: 2923639 markings, 4687259 edges, 28824 markings/sec, 95 secs
lola: 3067462 markings, 4929146 edges, 28765 markings/sec, 100 secs
lola: 3212747 markings, 5174300 edges, 29057 markings/sec, 105 secs
lola: 3358922 markings, 5424524 edges, 29235 markings/sec, 110 secs
lola: 3507343 markings, 5670771 edges, 29684 markings/sec, 115 secs
lola: 3657368 markings, 5909001 edges, 30005 markings/sec, 120 secs
lola: 3806369 markings, 6146386 edges, 29800 markings/sec, 125 secs
lola: 3952463 markings, 6382938 edges, 29219 markings/sec, 130 secs
lola: 4100768 markings, 6626204 edges, 29661 markings/sec, 135 secs
lola: 4245907 markings, 6867615 edges, 29028 markings/sec, 140 secs
lola: 4390867 markings, 7104879 edges, 28992 markings/sec, 145 secs
lola: 4536136 markings, 7343175 edges, 29054 markings/sec, 150 secs
lola: 4680232 markings, 7583595 edges, 28819 markings/sec, 155 secs
lola: 4824614 markings, 7824841 edges, 28876 markings/sec, 160 secs
lola: 4968757 markings, 8069452 edges, 28829 markings/sec, 165 secs
lola: 5112676 markings, 8317855 edges, 28784 markings/sec, 170 secs
lola: 5258431 markings, 8558968 edges, 29151 markings/sec, 175 secs
lola: 5403823 markings, 8797434 edges, 29078 markings/sec, 180 secs
lola: 5548928 markings, 9039772 edges, 29021 markings/sec, 185 secs
lola: 5693937 markings, 9282443 edges, 29002 markings/sec, 190 secs
lola: 5838539 markings, 9527498 edges, 28920 markings/sec, 195 secs
lola: 5981009 markings, 9774024 edges, 28494 markings/sec, 200 secs
lola: 6125235 markings, 10017780 edges, 28845 markings/sec, 205 secs
lola: 6269496 markings, 10262192 edges, 28852 markings/sec, 210 secs
lola: 6412589 markings, 10509980 edges, 28619 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(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 3 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: 145399 markings, 207374 edges, 29080 markings/sec, 0 secs
lola: 288978 markings, 420739 edges, 28716 markings/sec, 5 secs
lola: 430842 markings, 639486 edges, 28373 markings/sec, 10 secs
lola: 573572 markings, 851732 edges, 28546 markings/sec, 15 secs
lola: 716267 markings, 1071860 edges, 28539 markings/sec, 20 secs
lola: 857713 markings, 1297495 edges, 28289 markings/sec, 25 secs
lola: 1001903 markings, 1512693 edges, 28838 markings/sec, 30 secs
lola: 1144836 markings, 1733190 edges, 28587 markings/sec, 35 secs
lola: 1286375 markings, 1958690 edges, 28308 markings/sec, 40 secs
lola: 1428770 markings, 2179314 edges, 28479 markings/sec, 45 secs
lola: 1570068 markings, 2405167 edges, 28260 markings/sec, 50 secs
lola: 1710964 markings, 2637069 edges, 28179 markings/sec, 55 secs
lola: 1855069 markings, 2854006 edges, 28821 markings/sec, 60 secs
lola: 1997142 markings, 3072907 edges, 28415 markings/sec, 65 secs
lola: 2139431 markings, 3298653 edges, 28458 markings/sec, 70 secs
lola: 2280653 markings, 3518035 edges, 28244 markings/sec, 75 secs
lola: 2421114 markings, 3742818 edges, 28092 markings/sec, 80 secs
lola: 2561454 markings, 3972370 edges, 28068 markings/sec, 85 secs
lola: 2704783 markings, 4196963 edges, 28666 markings/sec, 90 secs
lola: 2846758 markings, 4423604 edges, 28395 markings/sec, 95 secs
lola: 2988448 markings, 4655373 edges, 28338 markings/sec, 100 secs
lola: 3129879 markings, 4884176 edges, 28286 markings/sec, 105 secs
lola: 3271294 markings, 5117586 edges, 28283 markings/sec, 110 secs
lola: 3414897 markings, 5360602 edges, 28721 markings/sec, 115 secs
lola: 3559728 markings, 5583143 edges, 28966 markings/sec, 120 secs
lola: 3703549 markings, 5804133 edges, 28764 markings/sec, 125 secs
lola: 3845902 markings, 6028812 edges, 28471 markings/sec, 130 secs
lola: 3987942 markings, 6250585 edges, 28408 markings/sec, 135 secs
lola: 4129341 markings, 6475784 edges, 28280 markings/sec, 140 secs
lola: 4270675 markings, 6706364 edges, 28267 markings/sec, 145 secs
lola: 4413340 markings, 6931738 edges, 28533 markings/sec, 150 secs
lola: 4555360 markings, 7157433 edges, 28404 markings/sec, 155 secs
lola: 4696393 markings, 7387189 edges, 28207 markings/sec, 160 secs
lola: 4837076 markings, 7615955 edges, 28137 markings/sec, 165 secs
lola: 4976518 markings, 7845562 edges, 27888 markings/sec, 170 secs
lola: 5116490 markings, 8080809 edges, 27994 markings/sec, 175 secs
lola: 5258460 markings, 8308606 edges, 28394 markings/sec, 180 secs
lola: 5400118 markings, 8534122 edges, 28332 markings/sec, 185 secs
lola: 5540879 markings, 8762425 edges, 28152 markings/sec, 190 secs
lola: 5681739 markings, 8991008 edges, 28172 markings/sec, 195 secs
lola: 5821773 markings, 9222314 edges, 28007 markings/sec, 200 secs
lola: 5962223 markings, 9457125 edges, 28090 markings/sec, 205 secs
lola: 6103438 markings, 9690347 edges, 28243 markings/sec, 210 secs
lola: 6244843 markings, 9923882 edges, 28281 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(p54)
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 3 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: 128815 markings, 168888 edges, 25763 markings/sec, 0 secs
lola: 257954 markings, 340769 edges, 25828 markings/sec, 5 secs
lola: 387186 markings, 513879 edges, 25846 markings/sec, 10 secs
lola: 516239 markings, 686823 edges, 25811 markings/sec, 15 secs
lola: 644966 markings, 858575 edges, 25745 markings/sec, 20 secs
lola: 773993 markings, 1032069 edges, 25805 markings/sec, 25 secs
lola: 902946 markings, 1204438 edges, 25791 markings/sec, 30 secs
lola: 1031298 markings, 1377371 edges, 25670 markings/sec, 35 secs
lola: 1160093 markings, 1549715 edges, 25759 markings/sec, 40 secs
lola: 1288877 markings, 1722569 edges, 25757 markings/sec, 45 secs
lola: 1417756 markings, 1895894 edges, 25776 markings/sec, 50 secs
lola: 1546032 markings, 2068125 edges, 25655 markings/sec, 55 secs
lola: 1674336 markings, 2241674 edges, 25661 markings/sec, 60 secs
lola: 1801877 markings, 2412572 edges, 25508 markings/sec, 65 secs
lola: 1930285 markings, 2587165 edges, 25682 markings/sec, 70 secs
lola: 2058321 markings, 2759774 edges, 25607 markings/sec, 75 secs
lola: 2186990 markings, 2932599 edges, 25734 markings/sec, 80 secs
lola: 2315007 markings, 3105088 edges, 25603 markings/sec, 85 secs
lola: 2442551 markings, 3278852 edges, 25509 markings/sec, 90 secs
lola: 2571138 markings, 3452424 edges, 25717 markings/sec, 95 secs
lola: 2699451 markings, 3625236 edges, 25663 markings/sec, 100 secs
lola: 2827508 markings, 3797860 edges, 25611 markings/sec, 105 secs
lola: 2955421 markings, 3968998 edges, 25583 markings/sec, 110 secs
lola: 3083743 markings, 4142394 edges, 25664 markings/sec, 115 secs
lola: 3212151 markings, 4316270 edges, 25682 markings/sec, 120 secs
lola: 3340370 markings, 4487495 edges, 25644 markings/sec, 125 secs
lola: 3468436 markings, 4659963 edges, 25613 markings/sec, 130 secs
lola: 3596437 markings, 4832647 edges, 25600 markings/sec, 135 secs
lola: 3725015 markings, 5007829 edges, 25716 markings/sec, 140 secs
lola: 3852926 markings, 5178978 edges, 25582 markings/sec, 145 secs
lola: 3981030 markings, 5352152 edges, 25621 markings/sec, 150 secs
lola: 4109111 markings, 5526608 edges, 25616 markings/sec, 155 secs
lola: 4237332 markings, 5700961 edges, 25644 markings/sec, 160 secs
lola: 4365306 markings, 5874786 edges, 25595 markings/sec, 165 secs
lola: 4493321 markings, 6047461 edges, 25603 markings/sec, 170 secs
lola: 4621146 markings, 6219928 edges, 25565 markings/sec, 175 secs
lola: 4749583 markings, 6392888 edges, 25687 markings/sec, 180 secs
lola: 4877993 markings, 6568723 edges, 25682 markings/sec, 185 secs
lola: 5006406 markings, 6744152 edges, 25683 markings/sec, 190 secs
lola: 5134552 markings, 6917700 edges, 25629 markings/sec, 195 secs
lola: 5262899 markings, 7092604 edges, 25669 markings/sec, 200 secs
lola: 5390703 markings, 7267439 edges, 25561 markings/sec, 205 secs
lola: 5517690 markings, 7438597 edges, 25397 markings/sec, 210 secs
lola: 5645479 markings, 7612039 edges, 25558 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(p225)
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 3 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: 143333 markings, 204362 edges, 28667 markings/sec, 0 secs
lola: 285508 markings, 415583 edges, 28435 markings/sec, 5 secs
lola: 426843 markings, 632798 edges, 28267 markings/sec, 10 secs
lola: 568013 markings, 843377 edges, 28234 markings/sec, 15 secs
lola: 708740 markings, 1060262 edges, 28145 markings/sec, 20 secs
lola: 849029 markings, 1282977 edges, 28058 markings/sec, 25 secs
lola: 989788 markings, 1494344 edges, 28152 markings/sec, 30 secs
lola: 1130047 markings, 1710724 edges, 28052 markings/sec, 35 secs
lola: 1269742 markings, 1931126 edges, 27939 markings/sec, 40 secs
lola: 1409688 markings, 2149459 edges, 27989 markings/sec, 45 secs
lola: 1549257 markings, 2371851 edges, 27914 markings/sec, 50 secs
lola: 1690046 markings, 2601559 edges, 28158 markings/sec, 55 secs
lola: 1835560 markings, 2824738 edges, 29103 markings/sec, 60 secs
lola: 1980771 markings, 3047533 edges, 29042 markings/sec, 65 secs
lola: 2125109 markings, 3275357 edges, 28868 markings/sec, 70 secs
lola: 2269361 markings, 3500493 edges, 28850 markings/sec, 75 secs
lola: 2412878 markings, 3729185 edges, 28703 markings/sec, 80 secs
lola: 2551144 markings, 3954940 edges, 27653 markings/sec, 85 secs
lola: 2693732 markings, 4179992 edges, 28518 markings/sec, 90 secs
lola: 2837017 markings, 4407913 edges, 28657 markings/sec, 95 secs
lola: 2978135 markings, 4637918 edges, 28224 markings/sec, 100 secs
lola: 3119276 markings, 4867579 edges, 28228 markings/sec, 105 secs
lola: 3261384 markings, 5101164 edges, 28422 markings/sec, 110 secs
lola: 3402272 markings, 5338532 edges, 28178 markings/sec, 115 secs
lola: 3546082 markings, 5562771 edges, 28762 markings/sec, 120 secs
lola: 3690507 markings, 5783997 edges, 28885 markings/sec, 125 secs
lola: 3830569 markings, 6003788 edges, 28012 markings/sec, 130 secs
lola: 3970824 markings, 6223579 edges, 28051 markings/sec, 135 secs
lola: 4110217 markings, 6445475 edges, 27879 markings/sec, 140 secs
lola: 4247071 markings, 6667380 edges, 27371 markings/sec, 145 secs
lola: 4386811 markings, 6889382 edges, 27948 markings/sec, 150 secs
lola: 4526007 markings, 7111458 edges, 27839 markings/sec, 155 secs
lola: 4666048 markings, 7336887 edges, 28008 markings/sec, 160 secs
lola: 4804916 markings, 7562857 edges, 27774 markings/sec, 165 secs
lola: 4943422 markings, 7791831 edges, 27701 markings/sec, 170 secs
lola: 5081852 markings, 8021842 edges, 27686 markings/sec, 175 secs
lola: 5221670 markings, 8250980 edges, 27964 markings/sec, 180 secs
lola: 5362774 markings, 8474614 edges, 28221 markings/sec, 185 secs
lola: 5490913 markings, 8680570 edges, 25628 markings/sec, 190 secs
lola: 5630457 markings, 8908376 edges, 27909 markings/sec, 195 secs
lola: 5769742 markings, 9135224 edges, 27857 markings/sec, 200 secs
lola: 5908702 markings, 9366784 edges, 27792 markings/sec, 205 secs
lola: 6047479 markings, 9600616 edges, 27755 markings/sec, 210 secs
lola: 6186373 markings, 9825932 edges, 27779 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(p120)
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 3 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: 81222 markings, 188684 edges, 16244 markings/sec, 0 secs
lola: 180490 markings, 395178 edges, 19854 markings/sec, 5 secs
lola: 281364 markings, 598436 edges, 20175 markings/sec, 10 secs
lola: 377499 markings, 798539 edges, 19227 markings/sec, 15 secs
lola: 473405 markings, 1000199 edges, 19181 markings/sec, 20 secs
lola: 568720 markings, 1200877 edges, 19063 markings/sec, 25 secs
lola: 663871 markings, 1402774 edges, 19030 markings/sec, 30 secs
lola: 758911 markings, 1603036 edges, 19008 markings/sec, 35 secs
lola: 853820 markings, 1804611 edges, 18982 markings/sec, 40 secs
lola: 948064 markings, 2005169 edges, 18849 markings/sec, 45 secs
lola: 1043015 markings, 2208018 edges, 18990 markings/sec, 50 secs
lola: 1138849 markings, 2410200 edges, 19167 markings/sec, 55 secs
lola: 1234419 markings, 2613192 edges, 19114 markings/sec, 60 secs
lola: 1329569 markings, 2815913 edges, 19030 markings/sec, 65 secs
lola: 1424547 markings, 3018953 edges, 18996 markings/sec, 70 secs
lola: 1519284 markings, 3220928 edges, 18947 markings/sec, 75 secs
lola: 1613937 markings, 3423975 edges, 18931 markings/sec, 80 secs
lola: 1708420 markings, 3627376 edges, 18897 markings/sec, 85 secs
lola: 1803824 markings, 3832138 edges, 19081 markings/sec, 90 secs
lola: 1899454 markings, 4038125 edges, 19126 markings/sec, 95 secs
lola: 1992187 markings, 4239279 edges, 18547 markings/sec, 100 secs
lola: 2084785 markings, 4440057 edges, 18520 markings/sec, 105 secs
lola: 2177604 markings, 4641472 edges, 18564 markings/sec, 110 secs
lola: 2270696 markings, 4844492 edges, 18618 markings/sec, 115 secs
lola: 2363403 markings, 5048669 edges, 18541 markings/sec, 120 secs
lola: 2455866 markings, 5249864 edges, 18493 markings/sec, 125 secs
lola: 2550099 markings, 5455544 edges, 18847 markings/sec, 130 secs
lola: 2642593 markings, 5658253 edges, 18499 markings/sec, 135 secs
lola: 2735230 markings, 5860350 edges, 18527 markings/sec, 140 secs
lola: 2827765 markings, 6064583 edges, 18507 markings/sec, 145 secs
lola: 2919800 markings, 6267337 edges, 18407 markings/sec, 150 secs
lola: 3012037 markings, 6469025 edges, 18447 markings/sec, 155 secs
lola: 3106044 markings, 6674109 edges, 18801 markings/sec, 160 secs
lola: 3200316 markings, 6880827 edges, 18854 markings/sec, 165 secs
lola: 3293823 markings, 7086524 edges, 18701 markings/sec, 170 secs
lola: 3385747 markings, 7290716 edges, 18385 markings/sec, 175 secs
lola: 3479211 markings, 7495976 edges, 18693 markings/sec, 180 secs
lola: 3572152 markings, 7699493 edges, 18588 markings/sec, 185 secs
lola: 3665608 markings, 7906432 edges, 18691 markings/sec, 190 secs
lola: 3759284 markings, 8113231 edges, 18735 markings/sec, 195 secs
lola: 3851039 markings, 8317486 edges, 18351 markings/sec, 200 secs
lola: 3943861 markings, 8523563 edges, 18564 markings/sec, 205 secs
lola: 4038192 markings, 8729431 edges, 18866 markings/sec, 210 secs
lola: 4135142 markings, 8936379 edges, 19390 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(p162)
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 3 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: 129089 markings, 169274 edges, 25818 markings/sec, 0 secs
lola: 258708 markings, 340551 edges, 25924 markings/sec, 5 secs
lola: 387828 markings, 510714 edges, 25824 markings/sec, 10 secs
lola: 516848 markings, 681831 edges, 25804 markings/sec, 15 secs
lola: 645502 markings, 852772 edges, 25731 markings/sec, 20 secs
lola: 771042 markings, 1018635 edges, 25108 markings/sec, 25 secs
lola: 899357 markings, 1189574 edges, 25663 markings/sec, 30 secs
lola: 1026688 markings, 1359394 edges, 25466 markings/sec, 35 secs
lola: 1155096 markings, 1530475 edges, 25682 markings/sec, 40 secs
lola: 1282548 markings, 1700761 edges, 25490 markings/sec, 45 secs
lola: 1410502 markings, 1871482 edges, 25591 markings/sec, 50 secs
lola: 1537633 markings, 2041836 edges, 25426 markings/sec, 55 secs
lola: 1665169 markings, 2212132 edges, 25507 markings/sec, 60 secs
lola: 1791249 markings, 2381132 edges, 25216 markings/sec, 65 secs
lola: 1919156 markings, 2550720 edges, 25581 markings/sec, 70 secs
lola: 2046521 markings, 2720204 edges, 25473 markings/sec, 75 secs
lola: 2173892 markings, 2890139 edges, 25474 markings/sec, 80 secs
lola: 2298063 markings, 3056592 edges, 24834 markings/sec, 85 secs
lola: 2422268 markings, 3223449 edges, 24841 markings/sec, 90 secs
lola: 2547138 markings, 3390575 edges, 24974 markings/sec, 95 secs
lola: 2674672 markings, 3561306 edges, 25507 markings/sec, 100 secs
lola: 2802460 markings, 3733920 edges, 25558 markings/sec, 105 secs
lola: 2929656 markings, 3905088 edges, 25439 markings/sec, 110 secs
lola: 3057401 markings, 4076770 edges, 25549 markings/sec, 115 secs
lola: 3184554 markings, 4247617 edges, 25431 markings/sec, 120 secs
lola: 3311490 markings, 4416296 edges, 25387 markings/sec, 125 secs
lola: 3438933 markings, 4587158 edges, 25489 markings/sec, 130 secs
lola: 3566445 markings, 4758349 edges, 25502 markings/sec, 135 secs
lola: 3693297 markings, 4929059 edges, 25370 markings/sec, 140 secs
lola: 3820465 markings, 5099604 edges, 25434 markings/sec, 145 secs
lola: 3948109 markings, 5272600 edges, 25529 markings/sec, 150 secs
lola: 4075109 markings, 5443769 edges, 25400 markings/sec, 155 secs
lola: 4202091 markings, 5614145 edges, 25396 markings/sec, 160 secs
lola: 4328163 markings, 5783757 edges, 25214 markings/sec, 165 secs
lola: 4455302 markings, 5952582 edges, 25428 markings/sec, 170 secs
lola: 4581989 markings, 6123029 edges, 25337 markings/sec, 175 secs
lola: 4709118 markings, 6294792 edges, 25426 markings/sec, 180 secs
lola: 4835016 markings, 6462929 edges, 25180 markings/sec, 185 secs
lola: 4961172 markings, 6632546 edges, 25231 markings/sec, 190 secs
lola: 5088192 markings, 6800982 edges, 25404 markings/sec, 195 secs
lola: 5214230 markings, 6969091 edges, 25208 markings/sec, 200 secs
lola: 5339785 markings, 7137400 edges, 25111 markings/sec, 205 secs
lola: 5465963 markings, 7307474 edges, 25236 markings/sec, 210 secs
lola: 5592506 markings, 7477771 edges, 25309 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(p213)
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 3 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: 145651 markings, 207770 edges, 29130 markings/sec, 0 secs
lola: 288784 markings, 420472 edges, 28627 markings/sec, 5 secs
lola: 420685 markings, 622880 edges, 26380 markings/sec, 10 secs
lola: 564038 markings, 837413 edges, 28671 markings/sec, 15 secs
lola: 706587 markings, 1057085 edges, 28510 markings/sec, 20 secs
lola: 847321 markings, 1280236 edges, 28147 markings/sec, 25 secs
lola: 992060 markings, 1497882 edges, 28948 markings/sec, 30 secs
lola: 1135390 markings, 1718789 edges, 28666 markings/sec, 35 secs
lola: 1277352 markings, 1943800 edges, 28392 markings/sec, 40 secs
lola: 1419475 markings, 2164852 edges, 28425 markings/sec, 45 secs
lola: 1561553 markings, 2392065 edges, 28416 markings/sec, 50 secs
lola: 1703333 markings, 2624163 edges, 28356 markings/sec, 55 secs
lola: 1846704 markings, 2841418 edges, 28674 markings/sec, 60 secs
lola: 1987863 markings, 3058909 edges, 28232 markings/sec, 65 secs
lola: 2130427 markings, 3283994 edges, 28513 markings/sec, 70 secs
lola: 2272265 markings, 3505279 edges, 28368 markings/sec, 75 secs
lola: 2413966 markings, 3731281 edges, 28340 markings/sec, 80 secs
lola: 2555458 markings, 3962686 edges, 28298 markings/sec, 85 secs
lola: 2699218 markings, 4188632 edges, 28752 markings/sec, 90 secs
lola: 2842043 markings, 4416196 edges, 28565 markings/sec, 95 secs
lola: 2983763 markings, 4647824 edges, 28344 markings/sec, 100 secs
lola: 3125370 markings, 4877354 edges, 28321 markings/sec, 105 secs
lola: 3266787 markings, 5110481 edges, 28283 markings/sec, 110 secs
lola: 3408190 markings, 5349074 edges, 28281 markings/sec, 115 secs
lola: 3552004 markings, 5572253 edges, 28763 markings/sec, 120 secs
lola: 3694786 markings, 5790915 edges, 28556 markings/sec, 125 secs
lola: 3836884 markings, 6014330 edges, 28420 markings/sec, 130 secs
lola: 3979197 markings, 6237846 edges, 28463 markings/sec, 135 secs
lola: 4120158 markings, 6461561 edges, 28192 markings/sec, 140 secs
lola: 4261213 markings, 6691041 edges, 28211 markings/sec, 145 secs
lola: 4404181 markings, 6917595 edges, 28594 markings/sec, 150 secs
lola: 4546999 markings, 7144736 edges, 28564 markings/sec, 155 secs
lola: 4688083 markings, 7373885 edges, 28217 markings/sec, 160 secs
lola: 4829683 markings, 7603973 edges, 28320 markings/sec, 165 secs
lola: 4970491 markings, 7836183 edges, 28162 markings/sec, 170 secs
lola: 5110680 markings, 8071606 edges, 28038 markings/sec, 175 secs
lola: 5253683 markings, 8301482 edges, 28601 markings/sec, 180 secs
lola: 5396011 markings, 8528205 edges, 28466 markings/sec, 185 secs
lola: 5537992 markings, 8758320 edges, 28396 markings/sec, 190 secs
lola: 5679723 markings, 8988323 edges, 28346 markings/sec, 195 secs
lola: 5820011 markings, 9220054 edges, 28058 markings/sec, 200 secs
lola: 5960619 markings, 9454854 edges, 28122 markings/sec, 205 secs
lola: 6103042 markings, 9690289 edges, 28485 markings/sec, 210 secs
lola: 6245479 markings, 9925476 edges, 28487 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(p241)
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 3 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
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 3 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: 145580 markings, 207649 edges, 29116 markings/sec, 0 secs
lola: 289086 markings, 420903 edges, 28701 markings/sec, 5 secs
lola: 432228 markings, 641643 edges, 28628 markings/sec, 10 secs
lola: 574994 markings, 853891 edges, 28553 markings/sec, 15 secs
lola: 716820 markings, 1072740 edges, 28365 markings/sec, 20 secs
lola: 849050 markings, 1283043 edges, 26446 markings/sec, 25 secs
lola: 988306 markings, 1492111 edges, 27851 markings/sec, 30 secs
lola: 1131916 markings, 1713556 edges, 28722 markings/sec, 35 secs
lola: 1274682 markings, 1939244 edges, 28553 markings/sec, 40 secs
lola: 1417294 markings, 2161244 edges, 28522 markings/sec, 45 secs
lola: 1559221 markings, 2388175 edges, 28385 markings/sec, 50 secs
lola: 1701244 markings, 2620525 edges, 28405 markings/sec, 55 secs
lola: 1845358 markings, 2839275 edges, 28823 markings/sec, 60 secs
lola: 1987744 markings, 3058570 edges, 28477 markings/sec, 65 secs
lola: 2129792 markings, 3282796 edges, 28410 markings/sec, 70 secs
lola: 2271424 markings, 3503768 edges, 28326 markings/sec, 75 secs
lola: 2412481 markings, 3728629 edges, 28211 markings/sec, 80 secs
lola: 2553372 markings, 3958862 edges, 28178 markings/sec, 85 secs
lola: 2696488 markings, 4184293 edges, 28623 markings/sec, 90 secs
lola: 2838990 markings, 4411102 edges, 28500 markings/sec, 95 secs
lola: 2980762 markings, 4642415 edges, 28354 markings/sec, 100 secs
lola: 3122530 markings, 4872685 edges, 28354 markings/sec, 105 secs
lola: 3263855 markings, 5105320 edges, 28265 markings/sec, 110 secs
lola: 3404749 markings, 5342817 edges, 28179 markings/sec, 115 secs
lola: 3548248 markings, 5566376 edges, 28700 markings/sec, 120 secs
lola: 3691569 markings, 5785708 edges, 28664 markings/sec, 125 secs
lola: 3833865 markings, 6009183 edges, 28459 markings/sec, 130 secs
lola: 3975657 markings, 6231602 edges, 28358 markings/sec, 135 secs
lola: 4116980 markings, 6456279 edges, 28265 markings/sec, 140 secs
lola: 4258006 markings, 6685321 edges, 28205 markings/sec, 145 secs
lola: 4401109 markings, 6912247 edges, 28621 markings/sec, 150 secs
lola: 4543479 markings, 7138959 edges, 28474 markings/sec, 155 secs
lola: 4685184 markings, 7368818 edges, 28341 markings/sec, 160 secs
lola: 4827028 markings, 7599244 edges, 28369 markings/sec, 165 secs
lola: 4968123 markings, 7831931 edges, 28219 markings/sec, 170 secs
lola: 5109107 markings, 8068665 edges, 28197 markings/sec, 175 secs
lola: 5252019 markings, 8298399 edges, 28582 markings/sec, 180 secs
lola: 5394441 markings, 8525351 edges, 28484 markings/sec, 185 secs
lola: 5535651 markings, 8753808 edges, 28242 markings/sec, 190 secs
lola: 5676845 markings, 8983179 edges, 28239 markings/sec, 195 secs
lola: 5817428 markings, 9215424 edges, 28117 markings/sec, 200 secs
lola: 5957809 markings, 9449537 edges, 28076 markings/sec, 205 secs
lola: 6099993 markings, 9684692 edges, 28437 markings/sec, 210 secs
lola: 6242387 markings, 9920115 edges, 28479 markings/sec, 215 secs
lola: 6383513 markings, 10154799 edges, 28225 markings/sec, 220 secs
lola: 6524235 markings, 10391966 edges, 28144 markings/sec, 225 secs
lola: 6664594 markings, 10632121 edges, 28072 markings/sec, 230 secs
lola: 6805257 markings, 10873630 edges, 28133 markings/sec, 235 secs
lola: 6947554 markings, 11107021 edges, 28459 markings/sec, 240 secs
lola: 7090586 markings, 11326447 edges, 28606 markings/sec, 245 secs
lola: 7233048 markings, 11547058 edges, 28492 markings/sec, 250 secs
lola: 7374758 markings, 11769909 edges, 28342 markings/sec, 255 secs
lola: 7515919 markings, 11994024 edges, 28232 markings/sec, 260 secs
lola: 7656957 markings, 12220478 edges, 28208 markings/sec, 265 secs
lola: 7798809 markings, 12449050 edges, 28370 markings/sec, 270 secs
lola: 7941775 markings, 12675192 edges, 28593 markings/sec, 275 secs
lola: 8083813 markings, 12903426 edges, 28408 markings/sec, 280 secs
lola: 8225574 markings, 13135193 edges, 28352 markings/sec, 285 secs
lola: 8366880 markings, 13366317 edges, 28261 markings/sec, 290 secs
lola: 8507942 markings, 13601240 edges, 28212 markings/sec, 295 secs
lola: 8650026 markings, 13836034 edges, 28417 markings/sec, 300 secs
lola: 8792545 markings, 14060932 edges, 28504 markings/sec, 305 secs
lola: 8934169 markings, 14288711 edges, 28325 markings/sec, 310 secs
lola: 9074263 markings, 14517511 edges, 28019 markings/sec, 315 secs
lola: 9213317 markings, 14744131 edges, 27811 markings/sec, 320 secs
lola: 9352477 markings, 14976312 edges, 27832 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p208)
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 3 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: 137044 markings, 164322 edges, 27409 markings/sec, 0 secs
lola: 273305 markings, 329864 edges, 27252 markings/sec, 5 secs
lola: 396292 markings, 479942 edges, 24597 markings/sec, 10 secs
lola: 531769 markings, 645256 edges, 27095 markings/sec, 15 secs
lola: 667269 markings, 810194 edges, 27100 markings/sec, 20 secs
lola: 802025 markings, 975451 edges, 26951 markings/sec, 25 secs
lola: 937267 markings, 1140816 edges, 27048 markings/sec, 30 secs
lola: 1071322 markings, 1305220 edges, 26811 markings/sec, 35 secs
lola: 1206178 markings, 1470762 edges, 26971 markings/sec, 40 secs
lola: 1341627 markings, 1636573 edges, 27090 markings/sec, 45 secs
lola: 1475862 markings, 1800893 edges, 26847 markings/sec, 50 secs
lola: 1610761 markings, 1965937 edges, 26980 markings/sec, 55 secs
lola: 1745174 markings, 2130900 edges, 26883 markings/sec, 60 secs
lola: 1879281 markings, 2295940 edges, 26821 markings/sec, 65 secs
lola: 2013978 markings, 2463250 edges, 26939 markings/sec, 70 secs
lola: 2148089 markings, 2627681 edges, 26822 markings/sec, 75 secs
lola: 2282703 markings, 2792943 edges, 26923 markings/sec, 80 secs
lola: 2417057 markings, 2959711 edges, 26871 markings/sec, 85 secs
lola: 2551211 markings, 3126222 edges, 26831 markings/sec, 90 secs
lola: 2685772 markings, 3291505 edges, 26912 markings/sec, 95 secs
lola: 2819717 markings, 3456551 edges, 26789 markings/sec, 100 secs
lola: 2954715 markings, 3623000 edges, 27000 markings/sec, 105 secs
lola: 3086919 markings, 3786774 edges, 26441 markings/sec, 110 secs
lola: 3221309 markings, 3953154 edges, 26878 markings/sec, 115 secs
lola: 3355552 markings, 4119507 edges, 26849 markings/sec, 120 secs
lola: 3489768 markings, 4286746 edges, 26843 markings/sec, 125 secs
lola: 3622478 markings, 4450183 edges, 26542 markings/sec, 130 secs
lola: 3756684 markings, 4616504 edges, 26841 markings/sec, 135 secs
lola: 3891051 markings, 4782590 edges, 26873 markings/sec, 140 secs
lola: 4025086 markings, 4949271 edges, 26807 markings/sec, 145 secs
lola: 4157551 markings, 5112458 edges, 26493 markings/sec, 150 secs
lola: 4291040 markings, 5277527 edges, 26698 markings/sec, 155 secs
lola: 4425324 markings, 5443271 edges, 26857 markings/sec, 160 secs
lola: 4559456 markings, 5610839 edges, 26826 markings/sec, 165 secs
lola: 4691620 markings, 5776501 edges, 26433 markings/sec, 170 secs
lola: 4825589 markings, 5941263 edges, 26794 markings/sec, 175 secs
lola: 4958359 markings, 6104540 edges, 26554 markings/sec, 180 secs
lola: 5092527 markings, 6271324 edges, 26834 markings/sec, 185 secs
lola: 5224089 markings, 6433787 edges, 26312 markings/sec, 190 secs
lola: 5358480 markings, 6600974 edges, 26878 markings/sec, 195 secs
lola: 5492139 markings, 6768353 edges, 26732 markings/sec, 200 secs
lola: 5625581 markings, 6935097 edges, 26688 markings/sec, 205 secs
lola: 5756419 markings, 7098302 edges, 26168 markings/sec, 210 secs
lola: 5889553 markings, 7262139 edges, 26627 markings/sec, 215 secs
lola: 6021461 markings, 7426235 edges, 26382 markings/sec, 220 secs
lola: 6154101 markings, 7589241 edges, 26528 markings/sec, 225 secs
lola: 6285468 markings, 7753463 edges, 26273 markings/sec, 230 secs
lola: 6418709 markings, 7918853 edges, 26648 markings/sec, 235 secs
lola: 6552883 markings, 8087484 edges, 26835 markings/sec, 240 secs
lola: 6686750 markings, 8254811 edges, 26773 markings/sec, 245 secs
lola: 6818549 markings, 8418370 edges, 26360 markings/sec, 250 secs
lola: 6952143 markings, 8584388 edges, 26719 markings/sec, 255 secs
lola: 7086441 markings, 8753536 edges, 26860 markings/sec, 260 secs
lola: 7218407 markings, 8917311 edges, 26393 markings/sec, 265 secs
lola: 7349765 markings, 9080609 edges, 26272 markings/sec, 270 secs
lola: 7483712 markings, 9245627 edges, 26789 markings/sec, 275 secs
lola: 7617078 markings, 9413840 edges, 26673 markings/sec, 280 secs
lola: 7750212 markings, 9580191 edges, 26627 markings/sec, 285 secs
lola: 7881266 markings, 9743400 edges, 26211 markings/sec, 290 secs
lola: 8014576 markings, 9908796 edges, 26662 markings/sec, 295 secs
lola: 8147637 markings, 10073218 edges, 26612 markings/sec, 300 secs
lola: 8281471 markings, 10240183 edges, 26767 markings/sec, 305 secs
lola: 8414156 markings, 10405726 edges, 26537 markings/sec, 310 secs
lola: 8546966 markings, 10571618 edges, 26562 markings/sec, 315 secs
lola: 8680784 markings, 10737556 edges, 26764 markings/sec, 320 secs
lola: 8814362 markings, 10904917 edges, 26716 markings/sec, 325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-20a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-20a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496500265110

--------------------
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-20a"
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-20a.tgz
mv FlexibleBarrier-PT-20a 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-20a, 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-149581034400146"
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 ;