Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534500392.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ParamProductionCell-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534500392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 608K
-rw-r--r-- 1 mcc users 8.0K Feb 26 17:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 17:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 17:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 17:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 174K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678770907235

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ParamProductionCell-PT-3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 231 places, 202 transitions, 846 arcs.
AT ITER 0 NEW BEST:: SOT 27791 SOS 6065 HAS SOPS 5680 HAS SOUS 5558 HAS SOUPS 5283 WITH SCORE 5289.065
AT ITER 17 NEW BEST:: SOT 27780 SOS 6043 HAS SOPS 5647 HAS SOUS 5544 HAS SOUPS 5259 WITH SCORE 5265.043
AT ITER 52 NEW BEST:: SOT 27773 SOS 6042 HAS SOPS 5646 HAS SOUS 5543 HAS SOUPS 5258 WITH SCORE 5264.042
AT ITER 54 NEW BEST:: SOT 27759 SOS 6025 HAS SOPS 5629 HAS SOUS 5522 HAS SOUPS 5237 WITH SCORE 5243.025
AT ITER 66 NEW BEST:: SOT 27744 SOS 6012 HAS SOPS 5623 HAS SOUS 5509 HAS SOUPS 5231 WITH SCORE 5237.012
AT ITER 76 NEW BEST:: SOT 27730 SOS 5954 HAS SOPS 5565 HAS SOUS 5479 HAS SOUPS 5201 WITH SCORE 5206.954
AT ITER 89 NEW BEST:: SOT 27730 SOS 5930 HAS SOPS 5541 HAS SOUS 5479 HAS SOUPS 5201 WITH SCORE 5206.93
AT ITER 90 NEW BEST:: SOT 27730 SOS 5928 HAS SOPS 5539 HAS SOUS 5478 HAS SOUPS 5200 WITH SCORE 5205.928
AT ITER 149 NEW BEST:: SOT 27730 SOS 5926 HAS SOPS 5537 HAS SOUS 5476 HAS SOUPS 5198 WITH SCORE 5203.926
AT ITER 169 NEW BEST:: SOT 27712 SOS 5896 HAS SOPS 5489 HAS SOUS 5444 HAS SOUPS 5150 WITH SCORE 5155.896
AT ITER 177 NEW BEST:: SOT 27712 SOS 5891 HAS SOPS 5489 HAS SOUS 5439 HAS SOUPS 5150 WITH SCORE 5155.891
AT ITER 196 NEW BEST:: SOT 27712 SOS 5882 HAS SOPS 5471 HAS SOUS 5448 HAS SOUPS 5150 WITH SCORE 5155.882
AT ITER 200 NEW BEST:: SOT 27720 SOS 5870 HAS SOPS 5441 HAS SOUS 5444 HAS SOUPS 5128 WITH SCORE 5133.87
AT ITER 209 NEW BEST:: SOT 27692 SOS 5822 HAS SOPS 5365 HAS SOUS 5394 HAS SOUPS 5052 WITH SCORE 5057.822
AT ITER 244 NEW BEST:: SOT 27630 SOS 5796 HAS SOPS 5339 HAS SOUS 5351 HAS SOUPS 5009 WITH SCORE 5014.796
AT ITER 279 NEW BEST:: SOT 27619 SOS 5785 HAS SOPS 5304 HAS SOUS 5316 HAS SOUPS 4974 WITH SCORE 4979.785
AT ITER 287 NEW BEST:: SOT 27616 SOS 5782 HAS SOPS 5301 HAS SOUS 5313 HAS SOUPS 4971 WITH SCORE 4976.782
AT ITER 298 NEW BEST:: SOT 27616 SOS 5745 HAS SOPS 5284 HAS SOUS 5281 HAS SOUPS 4959 WITH SCORE 4964.745
AT ITER 310 NEW BEST:: SOT 27620 SOS 5752 HAS SOPS 5272 HAS SOUS 5299 HAS SOUPS 4958 WITH SCORE 4963.752
AT ITER 321 NEW BEST:: SOT 27622 SOS 5748 HAS SOPS 5270 HAS SOUS 5295 HAS SOUPS 4956 WITH SCORE 4961.748
AT ITER 328 NEW BEST:: SOT 27621 SOS 5733 HAS SOPS 5212 HAS SOUS 5278 HAS SOUPS 4931 WITH SCORE 4936.733
AT ITER 335 NEW BEST:: SOT 27545 SOS 6069 HAS SOPS 5462 HAS SOUS 5263 HAS SOUPS 4896 WITH SCORE 4902.069
AT ITER 361 NEW BEST:: SOT 27543 SOS 6067 HAS SOPS 5458 HAS SOUS 5263 HAS SOUPS 4894 WITH SCORE 4900.067
AT ITER 392 NEW BEST:: SOT 27537 SOS 6061 HAS SOPS 5446 HAS SOUS 5257 HAS SOUPS 4882 WITH SCORE 4888.061
AT ITER 407 NEW BEST:: SOT 27553 SOS 6046 HAS SOPS 5361 HAS SOUS 5214 HAS SOUPS 4839 WITH SCORE 4845.046
AT ITER 462 NEW BEST:: SOT 27549 SOS 6038 HAS SOPS 5361 HAS SOUS 5210 HAS SOUPS 4839 WITH SCORE 4845.038
AT ITER 464 NEW BEST:: SOT 27550 SOS 6036 HAS SOPS 5359 HAS SOUS 5208 HAS SOUPS 4837 WITH SCORE 4843.036
AT ITER 473 NEW BEST:: SOT 27544 SOS 6024 HAS SOPS 5347 HAS SOUS 5202 HAS SOUPS 4831 WITH SCORE 4837.024
AT ITER 480 NEW BEST:: SOT 27541 SOS 6015 HAS SOPS 5341 HAS SOUS 5196 HAS SOUPS 4825 WITH SCORE 4831.015
AT ITER 485 NEW BEST:: SOT 27541 SOS 6013 HAS SOPS 5339 HAS SOUS 5194 HAS SOUPS 4823 WITH SCORE 4829.013
AT ITER 521 NEW BEST:: SOT 27541 SOS 6013 HAS SOPS 5327 HAS SOUS 5194 HAS SOUPS 4811 WITH SCORE 4817.013
AT ITER 547 NEW BEST:: SOT 27537 SOS 6021 HAS SOPS 5326 HAS SOUS 5202 HAS SOUPS 4810 WITH SCORE 4816.021
AT ITER 550 NEW BEST:: SOT 27534 SOS 5824 HAS SOPS 5150 HAS SOUS 5173 HAS SOUPS 4785 WITH SCORE 4790.824
AT ITER 599 NEW BEST:: SOT 27439 SOS 5729 HAS SOPS 5048 HAS SOUS 5071 HAS SOUPS 4683 WITH SCORE 4688.729
AT ITER 627 NEW BEST:: SOT 27439 SOS 5722 HAS SOPS 5041 HAS SOUS 5064 HAS SOUPS 4676 WITH SCORE 4681.722
AT ITER 629 NEW BEST:: SOT 27439 SOS 5714 HAS SOPS 5033 HAS SOUS 5056 HAS SOUPS 4668 WITH SCORE 4673.714
AT ITER 635 NEW BEST:: SOT 27438 SOS 5709 HAS SOPS 5031 HAS SOUS 5051 HAS SOUPS 4666 WITH SCORE 4671.709
AT ITER 659 NEW BEST:: SOT 27438 SOS 5709 HAS SOPS 5031 HAS SOUS 5047 HAS SOUPS 4662 WITH SCORE 4667.709
AT ITER 668 NEW BEST:: SOT 27437 SOS 5700 HAS SOPS 5021 HAS SOUS 5037 HAS SOUPS 4652 WITH SCORE 4657.7
AT ITER 682 NEW BEST:: SOT 27424 SOS 5687 HAS SOPS 4995 HAS SOUS 5039 HAS SOUPS 4646 WITH SCORE 4651.687
AT ITER 716 NEW BEST:: SOT 27423 SOS 5686 HAS SOPS 4993 HAS SOUS 5038 HAS SOUPS 4644 WITH SCORE 4649.686
AT ITER 775 NEW BEST:: SOT 27423 SOS 5673 HAS SOPS 4980 HAS SOUS 5025 HAS SOUPS 4631 WITH SCORE 4636.673
AT ITER 790 NEW BEST:: SOT 27434 SOS 5684 HAS SOPS 4980 HAS SOUS 5023 HAS SOUPS 4629 WITH SCORE 4634.684
AT ITER 795 NEW BEST:: SOT 27431 SOS 5681 HAS SOPS 4979 HAS SOUS 5010 HAS SOUPS 4613 WITH SCORE 4618.681
AT ITER 863 NEW BEST:: SOT 27414 SOS 5641 HAS SOPS 4939 HAS SOUS 4994 HAS SOUPS 4597 WITH SCORE 4602.641
AT ITER 881 NEW BEST:: SOT 27400 SOS 5643 HAS SOPS 4941 HAS SOUS 4990 HAS SOUPS 4593 WITH SCORE 4598.643
AT ITER 898 NEW BEST:: SOT 27400 SOS 5642 HAS SOPS 4941 HAS SOUS 4989 HAS SOUPS 4593 WITH SCORE 4598.642
AT ITER 992 NEW BEST:: SOT 27408 SOS 5628 HAS SOPS 4927 HAS SOUS 4983 HAS SOUPS 4587 WITH SCORE 4592.628
AT ITER 1086 NEW BEST:: SOT 27409 SOS 5619 HAS SOPS 4918 HAS SOUS 4974 HAS SOUPS 4578 WITH SCORE 4583.619
AT ITER 1104 NEW BEST:: SOT 27408 SOS 5617 HAS SOPS 4906 HAS SOUS 4963 HAS SOUPS 4567 WITH SCORE 4572.617
AT ITER 1121 NEW BEST:: SOT 27408 SOS 5617 HAS SOPS 4897 HAS SOUS 4950 HAS SOUPS 4554 WITH SCORE 4559.617
AT ITER 1171 NEW BEST:: SOT 27408 SOS 5616 HAS SOPS 4896 HAS SOUS 4949 HAS SOUPS 4553 WITH SCORE 4558.616
AT ITER 1206 NEW BEST:: SOT 27408 SOS 5592 HAS SOPS 4872 HAS SOUS 4939 HAS SOUPS 4543 WITH SCORE 4548.592
AT ITER 1213 NEW BEST:: SOT 27413 SOS 5597 HAS SOPS 4863 HAS SOUS 4930 HAS SOUPS 4534 WITH SCORE 4539.597
AT ITER 1223 NEW BEST:: SOT 27415 SOS 5599 HAS SOPS 4852 HAS SOUS 4923 HAS SOUPS 4523 WITH SCORE 4528.599
AT ITER 1265 NEW BEST:: SOT 27415 SOS 5597 HAS SOPS 4852 HAS SOUS 4921 HAS SOUPS 4523 WITH SCORE 4528.597
AT ITER 1270 NEW BEST:: SOT 27419 SOS 5607 HAS SOPS 4843 HAS SOUS 4931 HAS SOUPS 4514 WITH SCORE 4519.607
AT ITER 1283 NEW BEST:: SOT 27419 SOS 5607 HAS SOPS 4843 HAS SOUS 4930 HAS SOUPS 4513 WITH SCORE 4518.607
AT ITER 1307 NEW BEST:: SOT 27418 SOS 5606 HAS SOPS 4839 HAS SOUS 4929 HAS SOUPS 4509 WITH SCORE 4514.606
AT ITER 1314 NEW BEST:: SOT 27308 SOS 5554 HAS SOPS 4774 HAS SOUS 4820 HAS SOUPS 4400 WITH SCORE 4405.554
AT ITER 1333 NEW BEST:: SOT 27299 SOS 5540 HAS SOPS 4760 HAS SOUS 4810 HAS SOUPS 4390 WITH SCORE 4395.54
AT ITER 1386 NEW BEST:: SOT 27249 SOS 5503 HAS SOPS 4723 HAS SOUS 4773 HAS SOUPS 4353 WITH SCORE 4358.503
AT ITER 1507 NEW BEST:: SOT 27246 SOS 5500 HAS SOPS 4714 HAS SOUS 4770 HAS SOUPS 4344 WITH SCORE 4349.5
AT ITER 1510 NEW BEST:: SOT 27222 SOS 5531 HAS SOPS 4745 HAS SOUS 4769 HAS SOUPS 4343 WITH SCORE 4348.531
AT ITER 1565 NEW BEST:: SOT 27220 SOS 5526 HAS SOPS 4740 HAS SOUS 4764 HAS SOUPS 4338 WITH SCORE 4343.526
AT ITER 1606 NEW BEST:: SOT 27210 SOS 5521 HAS SOPS 4735 HAS SOUS 4754 HAS SOUPS 4328 WITH SCORE 4333.521
AT ITER 1629 NEW BEST:: SOT 27207 SOS 5515 HAS SOPS 4729 HAS SOUS 4748 HAS SOUPS 4322 WITH SCORE 4327.515
AT ITER 1692 NEW BEST:: SOT 27199 SOS 5513 HAS SOPS 4727 HAS SOUS 4742 HAS SOUPS 4316 WITH SCORE 4321.513
AT ITER 1731 NEW BEST:: SOT 27180 SOS 5542 HAS SOPS 4756 HAS SOUS 4735 HAS SOUPS 4309 WITH SCORE 4314.542
AT ITER 1743 NEW BEST:: SOT 27180 SOS 5541 HAS SOPS 4755 HAS SOUS 4734 HAS SOUPS 4308 WITH SCORE 4313.541
AT ITER 1753 NEW BEST:: SOT 27180 SOS 5536 HAS SOPS 4750 HAS SOUS 4729 HAS SOUPS 4303 WITH SCORE 4308.536
AT ITER 1773 NEW BEST:: SOT 27180 SOS 5526 HAS SOPS 4742 HAS SOUS 4732 HAS SOUPS 4303 WITH SCORE 4308.526
AT ITER 1785 NEW BEST:: SOT 27176 SOS 5526 HAS SOPS 4738 HAS SOUS 4732 HAS SOUPS 4299 WITH SCORE 4304.526
AT ITER 1804 NEW BEST:: SOT 27176 SOS 5525 HAS SOPS 4729 HAS SOUS 4731 HAS SOUPS 4290 WITH SCORE 4295.525
AT ITER 1851 NEW BEST:: SOT 27165 SOS 5508 HAS SOPS 4712 HAS SOUS 4721 HAS SOUPS 4280 WITH SCORE 4285.508
AT ITER 1872 NEW BEST:: SOT 27162 SOS 5488 HAS SOPS 4703 HAS SOUS 4708 HAS SOUPS 4269 WITH SCORE 4274.488
AT ITER 1884 NEW BEST:: SOT 27133 SOS 5459 HAS SOPS 4709 HAS SOUS 4658 HAS SOUPS 4254 WITH SCORE 4259.459
AT ITER 1933 NEW BEST:: SOT 27122 SOS 5437 HAS SOPS 4687 HAS SOUS 4653 HAS SOUPS 4249 WITH SCORE 4254.437
AT ITER 2009 NEW BEST:: SOT 27121 SOS 5436 HAS SOPS 4686 HAS SOUS 4652 HAS SOUPS 4248 WITH SCORE 4253.436
AT ITER 2061 NEW BEST:: SOT 27118 SOS 5433 HAS SOPS 4683 HAS SOUS 4651 HAS SOUPS 4247 WITH SCORE 4252.433
AT ITER 2080 NEW BEST:: SOT 27114 SOS 5429 HAS SOPS 4675 HAS SOUS 4647 HAS SOUPS 4239 WITH SCORE 4244.429
AT ITER 2109 NEW BEST:: SOT 27105 SOS 5411 HAS SOPS 4674 HAS SOUS 4612 HAS SOUPS 4221 WITH SCORE 4226.411
AT ITER 2141 NEW BEST:: SOT 27104 SOS 5390 HAS SOPS 4672 HAS SOUS 4610 HAS SOUPS 4219 WITH SCORE 4224.39
AT ITER 2159 NEW BEST:: SOT 27092 SOS 5346 HAS SOPS 4628 HAS SOUS 4584 HAS SOUPS 4193 WITH SCORE 4198.346
AT ITER 2183 NEW BEST:: SOT 27086 SOS 5332 HAS SOPS 4614 HAS SOUS 4570 HAS SOUPS 4179 WITH SCORE 4184.332
AT ITER 2200 NEW BEST:: SOT 27088 SOS 5349 HAS SOPS 4627 HAS SOUS 4569 HAS SOUPS 4178 WITH SCORE 4183.349
AT ITER 2220 NEW BEST:: SOT 27077 SOS 5338 HAS SOPS 4605 HAS SOUS 4547 HAS SOUPS 4156 WITH SCORE 4161.338
AT ITER 2247 NEW BEST:: SOT 27074 SOS 5329 HAS SOPS 4596 HAS SOUS 4538 HAS SOUPS 4147 WITH SCORE 4152.329
AT ITER 2260 NEW BEST:: SOT 27066 SOS 5335 HAS SOPS 4602 HAS SOUS 4536 HAS SOUPS 4145 WITH SCORE 4150.335
AT ITER 2265 NEW BEST:: SOT 27060 SOS 5329 HAS SOPS 4596 HAS SOUS 4530 HAS SOUPS 4139 WITH SCORE 4144.329
AT ITER 2301 NEW BEST:: SOT 27060 SOS 5330 HAS SOPS 4597 HAS SOUS 4509 HAS SOUPS 4118 WITH SCORE 4123.33
AT ITER 2330 NEW BEST:: SOT 27064 SOS 5326 HAS SOPS 4593 HAS SOUS 4505 HAS SOUPS 4114 WITH SCORE 4119.326
AT ITER 2359 NEW BEST:: SOT 27057 SOS 5277 HAS SOPS 4578 HAS SOUS 4488 HAS SOUPS 4102 WITH SCORE 4107.277
AT ITER 2378 NEW BEST:: SOT 27056 SOS 5275 HAS SOPS 4575 HAS SOUS 4486 HAS SOUPS 4099 WITH SCORE 4104.275
AT ITER 2381 NEW BEST:: SOT 27056 SOS 5275 HAS SOPS 4575 HAS SOUS 4479 HAS SOUPS 4092 WITH SCORE 4097.275
AT ITER 2427 NEW BEST:: SOT 27053 SOS 5269 HAS SOPS 4569 HAS SOUS 4474 HAS SOUPS 4087 WITH SCORE 4092.269
AT ITER 2436 NEW BEST:: SOT 27036 SOS 5266 HAS SOPS 4566 HAS SOUS 4473 HAS SOUPS 4086 WITH SCORE 4091.266
AT ITER 2451 NEW BEST:: SOT 27026 SOS 5248 HAS SOPS 4554 HAS SOUS 4455 HAS SOUPS 4074 WITH SCORE 4079.248
AT ITER 2452 NEW BEST:: SOT 27026 SOS 5246 HAS SOPS 4552 HAS SOUS 4455 HAS SOUPS 4074 WITH SCORE 4079.246
AT ITER 2474 NEW BEST:: SOT 27023 SOS 5244 HAS SOPS 4550 HAS SOUS 4446 HAS SOUPS 4065 WITH SCORE 4070.244
AT ITER 2483 NEW BEST:: SOT 27023 SOS 5244 HAS SOPS 4550 HAS SOUS 4439 HAS SOUPS 4058 WITH SCORE 4063.244
AT ITER 2489 NEW BEST:: SOT 27022 SOS 5242 HAS SOPS 4546 HAS SOUS 4437 HAS SOUPS 4054 WITH SCORE 4059.242
AT ITER 2513 NEW BEST:: SOT 27016 SOS 5210 HAS SOPS 4538 HAS SOUS 4426 HAS SOUPS 4049 WITH SCORE 4054.21
AT ITER 2537 NEW BEST:: SOT 27010 SOS 5203 HAS SOPS 4532 HAS SOUS 4419 HAS SOUPS 4043 WITH SCORE 4048.203
AT ITER 2540 NEW BEST:: SOT 27013 SOS 5217 HAS SOPS 4531 HAS SOUS 4433 HAS SOUPS 4042 WITH SCORE 4047.217
AT ITER 2553 NEW BEST:: SOT 27013 SOS 5216 HAS SOPS 4531 HAS SOUS 4432 HAS SOUPS 4042 WITH SCORE 4047.216
AT ITER 2556 NEW BEST:: SOT 27049 SOS 5189 HAS SOPS 4481 HAS SOUS 4453 HAS SOUPS 4032 WITH SCORE 4037.189
AT ITER 2561 NEW BEST:: SOT 27041 SOS 5180 HAS SOPS 4473 HAS SOUS 4444 HAS SOUPS 4024 WITH SCORE 4029.18
AT ITER 2596 NEW BEST:: SOT 27015 SOS 5154 HAS SOPS 4468 HAS SOUS 4435 HAS SOUPS 4019 WITH SCORE 4024.154
AT ITER 2656 NEW BEST:: SOT 27014 SOS 5151 HAS SOPS 4465 HAS SOUS 4431 HAS SOUPS 4015 WITH SCORE 4020.151
AT ITER 2700 NEW BEST:: SOT 27011 SOS 5147 HAS SOPS 4464 HAS SOUS 4427 HAS SOUPS 4014 WITH SCORE 4019.147
AT ITER 2745 NEW BEST:: SOT 27011 SOS 5144 HAS SOPS 4462 HAS SOUS 4424 HAS SOUPS 4012 WITH SCORE 4017.144
AT ITER 2836 NEW BEST:: SOT 27009 SOS 5142 HAS SOPS 4464 HAS SOUS 4423 HAS SOUPS 4011 WITH SCORE 4016.142
AT ITER 2838 NEW BEST:: SOT 27007 SOS 5119 HAS SOPS 4441 HAS SOUS 4419 HAS SOUPS 4007 WITH SCORE 4012.119
AT ITER 2839 NEW BEST:: SOT 27003 SOS 5111 HAS SOPS 4433 HAS SOUS 4411 HAS SOUPS 3999 WITH SCORE 4004.111
AT ITER 2876 NEW BEST:: SOT 27000 SOS 5105 HAS SOPS 4427 HAS SOUS 4405 HAS SOUPS 3993 WITH SCORE 3998.105
AT ITER 2887 NEW BEST:: SOT 26995 SOS 5094 HAS SOPS 4416 HAS SOUS 4395 HAS SOUPS 3983 WITH SCORE 3988.094
AT ITER 2901 NEW BEST:: SOT 26993 SOS 5088 HAS SOPS 4410 HAS SOUS 4389 HAS SOUPS 3977 WITH SCORE 3982.088
AT ITER 2937 NEW BEST:: SOT 26991 SOS 5085 HAS SOPS 4407 HAS SOUS 4386 HAS SOUPS 3974 WITH SCORE 3979.085
AT ITER 2945 NEW BEST:: SOT 26994 SOS 5088 HAS SOPS 4405 HAS SOUS 4384 HAS SOUPS 3972 WITH SCORE 3977.088
AT ITER 2962 NEW BEST:: SOT 26992 SOS 5086 HAS SOPS 4407 HAS SOUS 4384 HAS SOUPS 3972 WITH SCORE 3977.086
AT ITER 3051 NEW BEST:: SOT 26999 SOS 5064 HAS SOPS 4385 HAS SOUS 4376 HAS SOUPS 3964 WITH SCORE 3969.064
AT ITER 3099 NEW BEST:: SOT 27001 SOS 5063 HAS SOPS 4384 HAS SOUS 4375 HAS SOUPS 3963 WITH SCORE 3968.063
AT ITER 3105 NEW BEST:: SOT 26999 SOS 5063 HAS SOPS 4384 HAS SOUS 4374 HAS SOUPS 3962 WITH SCORE 3967.063
AT ITER 3130 NEW BEST:: SOT 26993 SOS 5044 HAS SOPS 4362 HAS SOUS 4355 HAS SOUPS 3940 WITH SCORE 3945.044
AT ITER 3178 NEW BEST:: SOT 26988 SOS 5034 HAS SOPS 4354 HAS SOUS 4345 HAS SOUPS 3932 WITH SCORE 3937.034
AT ITER 3323 NEW BEST:: SOT 26975 SOS 5047 HAS SOPS 4367 HAS SOUS 4335 HAS SOUPS 3922 WITH SCORE 3927.047
AT ITER 3325 NEW BEST:: SOT 26957 SOS 5010 HAS SOPS 4328 HAS SOUS 4298 HAS SOUPS 3883 WITH SCORE 3888.01
AT ITER 3444 NEW BEST:: SOT 26961 SOS 5014 HAS SOPS 4324 HAS SOUS 4296 HAS SOUPS 3881 WITH SCORE 3886.014
AT ITER 3521 NEW BEST:: SOT 26962 SOS 5015 HAS SOPS 4325 HAS SOUS 4286 HAS SOUPS 3871 WITH SCORE 3876.015
AT ITER 3531 NEW BEST:: SOT 26959 SOS 5012 HAS SOPS 4322 HAS SOUS 4280 HAS SOUPS 3865 WITH SCORE 3870.012
AT ITER 3608 NEW BEST:: SOT 26952 SOS 5005 HAS SOPS 4315 HAS SOUS 4273 HAS SOUPS 3858 WITH SCORE 3863.005
AT ITER 3621 NEW BEST:: SOT 26951 SOS 5004 HAS SOPS 4314 HAS SOUS 4271 HAS SOUPS 3856 WITH SCORE 3861.004
AT ITER 3632 NEW BEST:: SOT 26946 SOS 4999 HAS SOPS 4298 HAS SOUS 4258 HAS SOUPS 3843 WITH SCORE 3847.999
AT ITER 3653 NEW BEST:: SOT 26946 SOS 4991 HAS SOPS 4294 HAS SOUS 4250 HAS SOUPS 3839 WITH SCORE 3843.991
AT ITER 3695 NEW BEST:: SOT 26946 SOS 4971 HAS SOPS 4291 HAS SOUS 4238 HAS SOUPS 3830 WITH SCORE 3834.971
AT ITER 3718 NEW BEST:: SOT 26941 SOS 4979 HAS SOPS 4294 HAS SOUS 4226 HAS SOUPS 3818 WITH SCORE 3822.979
AT ITER 3747 NEW BEST:: SOT 26940 SOS 4977 HAS SOPS 4292 HAS SOUS 4223 HAS SOUPS 3815 WITH SCORE 3819.977
AT ITER 3751 NEW BEST:: SOT 26938 SOS 4971 HAS SOPS 4288 HAS SOUS 4219 HAS SOUPS 3813 WITH SCORE 3817.971
AT ITER 3761 NEW BEST:: SOT 26937 SOS 4970 HAS SOPS 4287 HAS SOUS 4217 HAS SOUPS 3811 WITH SCORE 3815.97
AT ITER 3828 NEW BEST:: SOT 26935 SOS 4968 HAS SOPS 4285 HAS SOUS 4215 HAS SOUPS 3809 WITH SCORE 3813.968
AT ITER 3859 NEW BEST:: SOT 26926 SOS 4959 HAS SOPS 4276 HAS SOUS 4206 HAS SOUPS 3800 WITH SCORE 3804.959
AT ITER 3945 NEW BEST:: SOT 26915 SOS 4935 HAS SOPS 4252 HAS SOUS 4196 HAS SOUPS 3790 WITH SCORE 3794.935
AT ITER 3956 NEW BEST:: SOT 26903 SOS 4923 HAS SOPS 4240 HAS SOUS 4184 HAS SOUPS 3778 WITH SCORE 3782.923
AT ITER 3958 NEW BEST:: SOT 26903 SOS 4921 HAS SOPS 4235 HAS SOUS 4182 HAS SOUPS 3773 WITH SCORE 3777.921
AT ITER 3971 NEW BEST:: SOT 26902 SOS 4921 HAS SOPS 4234 HAS SOUS 4182 HAS SOUPS 3772 WITH SCORE 3776.921
AT ITER 4108 NEW BEST:: SOT 26901 SOS 4920 HAS SOPS 4233 HAS SOUS 4181 HAS SOUPS 3771 WITH SCORE 3775.92
AT ITER 4284 NEW BEST:: SOT 26900 SOS 4918 HAS SOPS 4231 HAS SOUS 4179 HAS SOUPS 3769 WITH SCORE 3773.918
AT ITER 4329 NEW BEST:: SOT 26899 SOS 4917 HAS SOPS 4227 HAS SOUS 4181 HAS SOUPS 3768 WITH SCORE 3772.917
AT ITER 4333 NEW BEST:: SOT 26887 SOS 4905 HAS SOPS 4227 HAS SOUS 4169 HAS SOUPS 3768 WITH SCORE 3772.905
AT ITER 4357 NEW BEST:: SOT 26886 SOS 4904 HAS SOPS 4227 HAS SOUS 4168 HAS SOUPS 3768 WITH SCORE 3772.904
AT ITER 4360 NEW BEST:: SOT 26885 SOS 4903 HAS SOPS 4226 HAS SOUS 4167 HAS SOUPS 3767 WITH SCORE 3771.903
AT ITER 4372 NEW BEST:: SOT 26881 SOS 4896 HAS SOPS 4221 HAS SOUS 4160 HAS SOUPS 3762 WITH SCORE 3766.896
AT ITER 4445 NEW BEST:: SOT 26880 SOS 4894 HAS SOPS 4219 HAS SOUS 4158 HAS SOUPS 3760 WITH SCORE 3764.894
AT ITER 4451 NEW BEST:: SOT 26873 SOS 4876 HAS SOPS 4208 HAS SOUS 4140 HAS SOUPS 3749 WITH SCORE 3753.876
AT ITER 4546 NEW BEST:: SOT 26873 SOS 4875 HAS SOPS 4208 HAS SOUS 4139 HAS SOUPS 3749 WITH SCORE 3753.875
AT ITER 4553 NEW BEST:: SOT 26873 SOS 4850 HAS SOPS 4183 HAS SOUS 4114 HAS SOUPS 3724 WITH SCORE 3728.85
AT ITER 4571 NEW BEST:: SOT 26868 SOS 4829 HAS SOPS 4166 HAS SOUS 4089 HAS SOUPS 3703 WITH SCORE 3707.829
AT ITER 4743 NEW BEST:: SOT 26861 SOS 4822 HAS SOPS 4161 HAS SOUS 4085 HAS SOUPS 3696 WITH SCORE 3700.822
AT ITER 4746 NEW BEST:: SOT 26860 SOS 4821 HAS SOPS 4160 HAS SOUS 4083 HAS SOUPS 3694 WITH SCORE 3698.821
AT ITER 4935 NEW BEST:: SOT 26860 SOS 4817 HAS SOPS 4156 HAS SOUS 4080 HAS SOUPS 3691 WITH SCORE 3695.817
AT ITER 4980 NEW BEST:: SOT 26856 SOS 4815 HAS SOPS 4154 HAS SOUS 4078 HAS SOUPS 3689 WITH SCORE 3693.815
AT ITER 5008 NEW BEST:: SOT 26856 SOS 4813 HAS SOPS 4152 HAS SOUS 4076 HAS SOUPS 3687 WITH SCORE 3691.813
AT ITER 5035 NEW BEST:: SOT 26856 SOS 4808 HAS SOPS 4151 HAS SOUS 4071 HAS SOUPS 3686 WITH SCORE 3690.808
AT ITER 5062 NEW BEST:: SOT 26850 SOS 4790 HAS SOPS 4133 HAS SOUS 4053 HAS SOUPS 3668 WITH SCORE 3672.79
AT ITER 5088 NEW BEST:: SOT 26849 SOS 4784 HAS SOPS 4129 HAS SOUS 4051 HAS SOUPS 3668 WITH SCORE 3672.784
AT ITER 5092 NEW BEST:: SOT 26845 SOS 4781 HAS SOPS 4126 HAS SOUS 4048 HAS SOUPS 3665 WITH SCORE 3669.781
AT ITER 5094 NEW BEST:: SOT 26838 SOS 4767 HAS SOPS 4112 HAS SOUS 4036 HAS SOUPS 3653 WITH SCORE 3657.767
AT ITER 5153 NEW BEST:: SOT 26832 SOS 4755 HAS SOPS 4100 HAS SOUS 4028 HAS SOUPS 3645 WITH SCORE 3649.755
AT ITER 5187 NEW BEST:: SOT 26823 SOS 4760 HAS SOPS 4097 HAS SOUS 4030 HAS SOUPS 3639 WITH SCORE 3643.76
AT ITER 5192 NEW BEST:: SOT 26822 SOS 4758 HAS SOPS 4095 HAS SOUS 4028 HAS SOUPS 3637 WITH SCORE 3641.758
AT ITER 5194 NEW BEST:: SOT 26819 SOS 4753 HAS SOPS 4093 HAS SOUS 4023 HAS SOUPS 3635 WITH SCORE 3639.753
AT ITER 5215 NEW BEST:: SOT 26815 SOS 4749 HAS SOPS 4085 HAS SOUS 4015 HAS SOUPS 3627 WITH SCORE 3631.749
AT ITER 5216 NEW BEST:: SOT 26816 SOS 4746 HAS SOPS 4083 HAS SOUS 4012 HAS SOUPS 3625 WITH SCORE 3629.746
AT ITER 5224 NEW BEST:: SOT 26812 SOS 4745 HAS SOPS 4078 HAS SOUS 4011 HAS SOUPS 3620 WITH SCORE 3624.745
AT ITER 5240 NEW BEST:: SOT 26813 SOS 4744 HAS SOPS 4077 HAS SOUS 4010 HAS SOUPS 3619 WITH SCORE 3623.744
AT ITER 5255 NEW BEST:: SOT 26814 SOS 4712 HAS SOPS 4060 HAS SOUS 3994 HAS SOUPS 3606 WITH SCORE 3610.712
AT ITER 5262 NEW BEST:: SOT 26814 SOS 4712 HAS SOPS 4058 HAS SOUS 3992 HAS SOUPS 3604 WITH SCORE 3608.712
AT ITER 5263 NEW BEST:: SOT 26813 SOS 4713 HAS SOPS 4058 HAS SOUS 3992 HAS SOUPS 3603 WITH SCORE 3607.713
AT ITER 5307 NEW BEST:: SOT 26813 SOS 4712 HAS SOPS 4057 HAS SOUS 3991 HAS SOUPS 3602 WITH SCORE 3606.712
AT ITER 5338 NEW BEST:: SOT 26812 SOS 4709 HAS SOPS 4055 HAS SOUS 3988 HAS SOUPS 3600 WITH SCORE 3604.709
AT ITER 5339 NEW BEST:: SOT 26812 SOS 4709 HAS SOPS 4055 HAS SOUS 3985 HAS SOUPS 3597 WITH SCORE 3601.709
AT ITER 5394 NEW BEST:: SOT 26812 SOS 4709 HAS SOPS 4072 HAS SOUS 3962 HAS SOUPS 3591 WITH SCORE 3595.709
AT ITER 5475 NEW BEST:: SOT 26811 SOS 4708 HAS SOPS 4071 HAS SOUS 3961 HAS SOUPS 3590 WITH SCORE 3594.708
AT ITER 5496 NEW BEST:: SOT 26794 SOS 4691 HAS SOPS 4054 HAS SOUS 3944 HAS SOUPS 3573 WITH SCORE 3577.691
AT ITER 5534 NEW BEST:: SOT 26772 SOS 4664 HAS SOPS 4027 HAS SOUS 3917 HAS SOUPS 3546 WITH SCORE 3550.664
AT ITER 5538 NEW BEST:: SOT 26776 SOS 4668 HAS SOPS 4026 HAS SOUS 3916 HAS SOUPS 3545 WITH SCORE 3549.668
AT ITER 5584 NEW BEST:: SOT 26769 SOS 4654 HAS SOPS 4012 HAS SOUS 3902 HAS SOUPS 3531 WITH SCORE 3535.654
AT ITER 5626 NEW BEST:: SOT 26762 SOS 4642 HAS SOPS 4000 HAS SOUS 3890 HAS SOUPS 3519 WITH SCORE 3523.642
AT ITER 5688 NEW BEST:: SOT 26744 SOS 4624 HAS SOPS 3983 HAS SOUS 3890 HAS SOUPS 3519 WITH SCORE 3523.624
AT ITER 5725 NEW BEST:: SOT 26743 SOS 4623 HAS SOPS 3982 HAS SOUS 3889 HAS SOUPS 3518 WITH SCORE 3522.623
AT ITER 5756 NEW BEST:: SOT 26738 SOS 4612 HAS SOPS 3976 HAS SOUS 3881 HAS SOUPS 3515 WITH SCORE 3519.612
AT ITER 5784 NEW BEST:: SOT 26737 SOS 4611 HAS SOPS 3978 HAS SOUS 3881 HAS SOUPS 3515 WITH SCORE 3519.611
AT ITER 5797 NEW BEST:: SOT 26741 SOS 4608 HAS SOPS 3971 HAS SOUS 3885 HAS SOUPS 3515 WITH SCORE 3519.608
AT ITER 5822 NEW BEST:: SOT 26735 SOS 4602 HAS SOPS 3965 HAS SOUS 3879 HAS SOUPS 3509 WITH SCORE 3513.602
AT ITER 5824 NEW BEST:: SOT 26730 SOS 4588 HAS SOPS 3970 HAS SOUS 3874 HAS SOUPS 3509 WITH SCORE 3513.588
AT ITER 5854 NEW BEST:: SOT 26730 SOS 4588 HAS SOPS 3966 HAS SOUS 3870 HAS SOUPS 3505 WITH SCORE 3509.588
AT ITER 5886 NEW BEST:: SOT 26730 SOS 4583 HAS SOPS 3966 HAS SOUS 3865 HAS SOUPS 3505 WITH SCORE 3509.583
AT ITER 5998 NEW BEST:: SOT 26730 SOS 4589 HAS SOPS 3968 HAS SOUS 3868 HAS SOUPS 3504 WITH SCORE 3508.589
AT ITER 6003 NEW BEST:: SOT 26725 SOS 4584 HAS SOPS 3963 HAS SOUS 3864 HAS SOUPS 3500 WITH SCORE 3504.584
AT ITER 6073 NEW BEST:: SOT 26732 SOS 4596 HAS SOPS 3964 HAS SOUS 3866 HAS SOUPS 3491 WITH SCORE 3495.596
AT ITER 6093 NEW BEST:: SOT 26731 SOS 4592 HAS SOPS 3964 HAS SOUS 3862 HAS SOUPS 3491 WITH SCORE 3495.592
AT ITER 6231 NEW BEST:: SOT 26733 SOS 4564 HAS SOPS 3936 HAS SOUS 3857 HAS SOUPS 3486 WITH SCORE 3490.564
AT ITER 6235 NEW BEST:: SOT 26721 SOS 4538 HAS SOPS 3922 HAS SOUS 3841 HAS SOUPS 3482 WITH SCORE 3486.538
AT ITER 6246 NEW BEST:: SOT 26718 SOS 4525 HAS SOPS 3910 HAS SOUS 3834 HAS SOUPS 3476 WITH SCORE 3480.525
AT ITER 6292 NEW BEST:: SOT 26708 SOS 4503 HAS SOPS 3895 HAS SOUS 3821 HAS SOUPS 3470 WITH SCORE 3474.503
AT ITER 6293 NEW BEST:: SOT 26708 SOS 4503 HAS SOPS 3895 HAS SOUS 3820 HAS SOUPS 3469 WITH SCORE 3473.503
AT ITER 6327 NEW BEST:: SOT 26700 SOS 4489 HAS SOPS 3886 HAS SOUS 3811 HAS SOUPS 3462 WITH SCORE 3466.489
AT ITER 6487 NEW BEST:: SOT 26699 SOS 4488 HAS SOPS 3880 HAS SOUS 3810 HAS SOUPS 3456 WITH SCORE 3460.488
AT ITER 6512 NEW BEST:: SOT 26698 SOS 4487 HAS SOPS 3879 HAS SOUS 3809 HAS SOUPS 3455 WITH SCORE 3459.487
AT ITER 6525 NEW BEST:: SOT 26698 SOS 4487 HAS SOPS 3878 HAS SOUS 3808 HAS SOUPS 3453 WITH SCORE 3457.487
AT ITER 6572 NEW BEST:: SOT 26696 SOS 4483 HAS SOPS 3876 HAS SOUS 3806 HAS SOUPS 3451 WITH SCORE 3455.483
AT ITER 6592 NEW BEST:: SOT 26710 SOS 4497 HAS SOPS 3870 HAS SOUS 3820 HAS SOUPS 3449 WITH SCORE 3453.497
AT ITER 6652 NEW BEST:: SOT 26702 SOS 4487 HAS SOPS 3870 HAS SOUS 3814 HAS SOUPS 3449 WITH SCORE 3453.487
AT ITER 6665 NEW BEST:: SOT 26699 SOS 4484 HAS SOPS 3867 HAS SOUS 3811 HAS SOUPS 3446 WITH SCORE 3450.484
AT ITER 6706 NEW BEST:: SOT 26699 SOS 4483 HAS SOPS 3867 HAS SOUS 3810 HAS SOUPS 3446 WITH SCORE 3450.483
AT ITER 6861 NEW BEST:: SOT 26699 SOS 4479 HAS SOPS 3863 HAS SOUS 3810 HAS SOUPS 3446 WITH SCORE 3450.479
AT ITER 6879 NEW BEST:: SOT 26699 SOS 4477 HAS SOPS 3863 HAS SOUS 3808 HAS SOUPS 3446 WITH SCORE 3450.477
AT ITER 6971 NEW BEST:: SOT 26699 SOS 4469 HAS SOPS 3855 HAS SOUS 3800 HAS SOUPS 3438 WITH SCORE 3442.469
AT ITER 7108 NEW BEST:: SOT 26695 SOS 4465 HAS SOPS 3852 HAS SOUS 3796 HAS SOUPS 3435 WITH SCORE 3439.465
AT ITER 7160 NEW BEST:: SOT 26716 SOS 4415 HAS SOPS 3872 HAS SOUS 3786 HAS SOUPS 3431 WITH SCORE 3435.415
AT ITER 7180 NEW BEST:: SOT 26714 SOS 4415 HAS SOPS 3872 HAS SOUS 3785 HAS SOUPS 3430 WITH SCORE 3434.415
AT ITER 7196 NEW BEST:: SOT 26713 SOS 4411 HAS SOPS 3869 HAS SOUS 3781 HAS SOUPS 3427 WITH SCORE 3431.411
AT ITER 7241 NEW BEST:: SOT 26714 SOS 4412 HAS SOPS 3867 HAS SOUS 3782 HAS SOUPS 3425 WITH SCORE 3429.412
AT ITER 7408 NEW BEST:: SOT 26703 SOS 4401 HAS SOPS 3856 HAS SOUS 3771 HAS SOUPS 3414 WITH SCORE 3418.401
AT ITER 7450 NEW BEST:: SOT 26701 SOS 4399 HAS SOPS 3855 HAS SOUS 3769 HAS SOUPS 3413 WITH SCORE 3417.399
AT ITER 7460 NEW BEST:: SOT 26701 SOS 4399 HAS SOPS 3853 HAS SOUS 3767 HAS SOUPS 3411 WITH SCORE 3415.399
AT ITER 7533 NEW BEST:: SOT 26684 SOS 4382 HAS SOPS 3838 HAS SOUS 3753 HAS SOUPS 3397 WITH SCORE 3401.382
AT ITER 7614 NEW BEST:: SOT 26684 SOS 4374 HAS SOPS 3838 HAS SOUS 3753 HAS SOUPS 3397 WITH SCORE 3401.374
AT ITER 7770 NEW BEST:: SOT 26678 SOS 4368 HAS SOPS 3832 HAS SOUS 3741 HAS SOUPS 3385 WITH SCORE 3389.368
AT ITER 7811 NEW BEST:: SOT 26676 SOS 4367 HAS SOPS 3828 HAS SOUS 3740 HAS SOUPS 3381 WITH SCORE 3385.367
AT ITER 7872 NEW BEST:: SOT 26675 SOS 4364 HAS SOPS 3826 HAS SOUS 3737 HAS SOUPS 3379 WITH SCORE 3383.364
AT ITER 7937 NEW BEST:: SOT 26675 SOS 4362 HAS SOPS 3824 HAS SOUS 3735 HAS SOUPS 3377 WITH SCORE 3381.362
AT ITER 7940 NEW BEST:: SOT 26666 SOS 4319 HAS SOPS 3810 HAS SOUS 3697 HAS SOUPS 3368 WITH SCORE 3372.319
AT ITER 7942 NEW BEST:: SOT 26669 SOS 4301 HAS SOPS 3792 HAS SOUS 3679 HAS SOUPS 3350 WITH SCORE 3354.301
AT ITER 7985 NEW BEST:: SOT 26669 SOS 4296 HAS SOPS 3789 HAS SOUS 3674 HAS SOUPS 3347 WITH SCORE 3351.296
AT ITER 8018 NEW BEST:: SOT 26670 SOS 4298 HAS SOPS 3788 HAS SOUS 3676 HAS SOUPS 3346 WITH SCORE 3350.298
AT ITER 8211 NEW BEST:: SOT 26670 SOS 4298 HAS SOPS 3786 HAS SOUS 3676 HAS SOUPS 3344 WITH SCORE 3348.298
AT ITER 8278 NEW BEST:: SOT 26656 SOS 4270 HAS SOPS 3772 HAS SOUS 3648 HAS SOUPS 3330 WITH SCORE 3334.27
AT ITER 8285 NEW BEST:: SOT 26649 SOS 4257 HAS SOPS 3769 HAS SOUS 3635 HAS SOUPS 3327 WITH SCORE 3331.257
AT ITER 8292 NEW BEST:: SOT 26646 SOS 4251 HAS SOPS 3763 HAS SOUS 3629 HAS SOUPS 3321 WITH SCORE 3325.251
AT ITER 8399 NEW BEST:: SOT 26641 SOS 4246 HAS SOPS 3757 HAS SOUS 3624 HAS SOUPS 3315 WITH SCORE 3319.246
AT ITER 8400 NEW BEST:: SOT 26620 SOS 4244 HAS SOPS 3777 HAS SOUS 3621 HAS SOUPS 3312 WITH SCORE 3316.244
AT ITER 8426 NEW BEST:: SOT 26617 SOS 4243 HAS SOPS 3774 HAS SOUS 3620 HAS SOUPS 3309 WITH SCORE 3313.243
AT ITER 8551 NEW BEST:: SOT 26616 SOS 4242 HAS SOPS 3773 HAS SOUS 3619 HAS SOUPS 3308 WITH SCORE 3312.242
AT ITER 8560 NEW BEST:: SOT 26615 SOS 4241 HAS SOPS 3773 HAS SOUS 3618 HAS SOUPS 3308 WITH SCORE 3312.241
AT ITER 8567 NEW BEST:: SOT 26605 SOS 4236 HAS SOPS 3768 HAS SOUS 3611 HAS SOUPS 3301 WITH SCORE 3305.236
AT ITER 8626 NEW BEST:: SOT 26603 SOS 4229 HAS SOPS 3765 HAS SOUS 3603 HAS SOUPS 3297 WITH SCORE 3301.229
AT ITER 8780 NEW BEST:: SOT 26600 SOS 4220 HAS SOPS 3762 HAS SOUS 3594 HAS SOUPS 3294 WITH SCORE 3298.22
AT ITER 8866 NEW BEST:: SOT 26595 SOS 4215 HAS SOPS 3765 HAS SOUS 3588 HAS SOUPS 3288 WITH SCORE 3292.215
AT ITER 8903 NEW BEST:: SOT 26591 SOS 4208 HAS SOPS 3761 HAS SOUS 3574 HAS SOUPS 3277 WITH SCORE 3281.208
AT ITER 8922 NEW BEST:: SOT 26591 SOS 4193 HAS SOPS 3752 HAS SOUS 3557 HAS SOUPS 3269 WITH SCORE 3273.193
AT ITER 9141 NEW BEST:: SOT 26593 SOS 4197 HAS SOPS 3756 HAS SOUS 3557 HAS SOUPS 3267 WITH SCORE 3271.197
AT ITER 9240 NEW BEST:: SOT 26587 SOS 4166 HAS SOPS 3721 HAS SOUS 3545 HAS SOUPS 3255 WITH SCORE 3259.166
AT ITER 9289 NEW BEST:: SOT 26587 SOS 4162 HAS SOPS 3719 HAS SOUS 3543 HAS SOUPS 3255 WITH SCORE 3259.162
AT ITER 9394 NEW BEST:: SOT 26585 SOS 4160 HAS SOPS 3717 HAS SOUS 3541 HAS SOUPS 3253 WITH SCORE 3257.16
AT ITER 9483 NEW BEST:: SOT 26578 SOS 4153 HAS SOPS 3710 HAS SOUS 3541 HAS SOUPS 3253 WITH SCORE 3257.153
AT ITER 9567 NEW BEST:: SOT 26580 SOS 4152 HAS SOPS 3710 HAS SOUS 3540 HAS SOUPS 3252 WITH SCORE 3256.152
AT ITER 9589 NEW BEST:: SOT 26582 SOS 4149 HAS SOPS 3707 HAS SOUS 3540 HAS SOUPS 3252 WITH SCORE 3256.149
AT ITER 9611 NEW BEST:: SOT 26565 SOS 4132 HAS SOPS 3690 HAS SOUS 3521 HAS SOUPS 3233 WITH SCORE 3237.132
AT ITER 9790 NEW BEST:: SOT 26563 SOS 4132 HAS SOPS 3690 HAS SOUS 3515 HAS SOUPS 3225 WITH SCORE 3229.132
AT ITER 9934 NEW BEST:: SOT 26560 SOS 4125 HAS SOPS 3683 HAS SOUS 3508 HAS SOUPS 3218 WITH SCORE 3222.125
STATE_SPACE STATES 1465206 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5922650 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678770918564

--------------------
content from 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="ParamProductionCell-PT-3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ParamProductionCell-PT-3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534500392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ParamProductionCell-PT-3.tgz
mv ParamProductionCell-PT-3 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;