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-167863534500376.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-1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534500376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 7.6K Feb 26 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K 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.9K 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 20K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 185K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K 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 1678770623200

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-1
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 1
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 27794 SOS 6070 HAS SOPS 5685 HAS SOUS 5563 HAS SOUPS 5288 WITH SCORE 5294.07
AT ITER 7 NEW BEST:: SOT 27787 SOS 6056 HAS SOPS 5671 HAS SOUS 5549 HAS SOUPS 5274 WITH SCORE 5280.056
AT ITER 16 NEW BEST:: SOT 27787 SOS 6051 HAS SOPS 5666 HAS SOUS 5544 HAS SOUPS 5269 WITH SCORE 5275.051
AT ITER 18 NEW BEST:: SOT 27766 SOS 6015 HAS SOPS 5609 HAS SOUS 5508 HAS SOUPS 5212 WITH SCORE 5218.015
AT ITER 36 NEW BEST:: SOT 27743 SOS 5969 HAS SOPS 5540 HAS SOUS 5461 HAS SOUPS 5143 WITH SCORE 5148.969
AT ITER 112 NEW BEST:: SOT 27714 SOS 5913 HAS SOPS 5484 HAS SOUS 5405 HAS SOUPS 5087 WITH SCORE 5092.913
AT ITER 124 NEW BEST:: SOT 27714 SOS 5912 HAS SOPS 5483 HAS SOUS 5404 HAS SOUPS 5086 WITH SCORE 5091.912
AT ITER 130 NEW BEST:: SOT 27699 SOS 5871 HAS SOPS 5474 HAS SOUS 5370 HAS SOUPS 5071 WITH SCORE 5076.871
AT ITER 154 NEW BEST:: SOT 27697 SOS 5865 HAS SOPS 5474 HAS SOUS 5352 HAS SOUPS 5055 WITH SCORE 5060.865
AT ITER 168 NEW BEST:: SOT 27697 SOS 5865 HAS SOPS 5474 HAS SOUS 5348 HAS SOUPS 5051 WITH SCORE 5056.865
AT ITER 183 NEW BEST:: SOT 27684 SOS 5843 HAS SOPS 5455 HAS SOUS 5326 HAS SOUPS 5032 WITH SCORE 5037.843
AT ITER 186 NEW BEST:: SOT 27666 SOS 5808 HAS SOPS 5429 HAS SOUS 5289 HAS SOUPS 4998 WITH SCORE 5003.808
AT ITER 209 NEW BEST:: SOT 27660 SOS 5790 HAS SOPS 5399 HAS SOUS 5281 HAS SOUPS 4980 WITH SCORE 4985.79
AT ITER 216 NEW BEST:: SOT 27654 SOS 5784 HAS SOPS 5387 HAS SOUS 5281 HAS SOUPS 4974 WITH SCORE 4979.784
AT ITER 228 NEW BEST:: SOT 27644 SOS 5795 HAS SOPS 5388 HAS SOUS 5283 HAS SOUPS 4966 WITH SCORE 4971.795
AT ITER 239 NEW BEST:: SOT 27644 SOS 5791 HAS SOPS 5384 HAS SOUS 5279 HAS SOUPS 4962 WITH SCORE 4967.791
AT ITER 243 NEW BEST:: SOT 27635 SOS 5774 HAS SOPS 5373 HAS SOUS 5262 HAS SOUPS 4951 WITH SCORE 4956.774
AT ITER 258 NEW BEST:: SOT 27633 SOS 5754 HAS SOPS 5353 HAS SOUS 5254 HAS SOUPS 4943 WITH SCORE 4948.754
AT ITER 309 NEW BEST:: SOT 27655 SOS 5727 HAS SOPS 5372 HAS SOUS 5216 HAS SOUPS 4927 WITH SCORE 4932.727
AT ITER 447 NEW BEST:: SOT 27655 SOS 5720 HAS SOPS 5365 HAS SOUS 5209 HAS SOUPS 4920 WITH SCORE 4925.72
AT ITER 457 NEW BEST:: SOT 27651 SOS 5718 HAS SOPS 5357 HAS SOUS 5207 HAS SOUPS 4912 WITH SCORE 4917.718
AT ITER 471 NEW BEST:: SOT 27634 SOS 5677 HAS SOPS 5349 HAS SOUS 5166 HAS SOUPS 4904 WITH SCORE 4909.677
AT ITER 482 NEW BEST:: SOT 27635 SOS 5676 HAS SOPS 5348 HAS SOUS 5166 HAS SOUPS 4904 WITH SCORE 4909.676
AT ITER 484 NEW BEST:: SOT 27615 SOS 5657 HAS SOPS 5329 HAS SOUS 5160 HAS SOUPS 4898 WITH SCORE 4903.657
AT ITER 514 NEW BEST:: SOT 27610 SOS 5669 HAS SOPS 5333 HAS SOUS 5166 HAS SOUPS 4896 WITH SCORE 4901.669
AT ITER 520 NEW BEST:: SOT 27589 SOS 5660 HAS SOPS 5321 HAS SOUS 5148 HAS SOUPS 4875 WITH SCORE 4880.66
AT ITER 535 NEW BEST:: SOT 27589 SOS 5634 HAS SOPS 5313 HAS SOUS 5136 HAS SOUPS 4875 WITH SCORE 4880.634
AT ITER 554 NEW BEST:: SOT 27607 SOS 5602 HAS SOPS 5309 HAS SOUS 5131 HAS SOUPS 4873 WITH SCORE 4878.602
AT ITER 567 NEW BEST:: SOT 27604 SOS 5599 HAS SOPS 5306 HAS SOUS 5128 HAS SOUPS 4870 WITH SCORE 4875.599
AT ITER 568 NEW BEST:: SOT 27601 SOS 5594 HAS SOPS 5304 HAS SOUS 5123 HAS SOUPS 4868 WITH SCORE 4873.594
AT ITER 585 NEW BEST:: SOT 27592 SOS 5605 HAS SOPS 5288 HAS SOUS 5134 HAS SOUPS 4852 WITH SCORE 4857.605
AT ITER 607 NEW BEST:: SOT 27582 SOS 5606 HAS SOPS 5279 HAS SOUS 5135 HAS SOUPS 4843 WITH SCORE 4848.606
AT ITER 632 NEW BEST:: SOT 27582 SOS 5603 HAS SOPS 5276 HAS SOUS 5138 HAS SOUPS 4843 WITH SCORE 4848.603
AT ITER 648 NEW BEST:: SOT 27569 SOS 5572 HAS SOPS 5227 HAS SOUS 5101 HAS SOUPS 4799 WITH SCORE 4804.572
AT ITER 663 NEW BEST:: SOT 27569 SOS 5520 HAS SOPS 5175 HAS SOUS 5098 HAS SOUPS 4796 WITH SCORE 4801.52
AT ITER 669 NEW BEST:: SOT 27562 SOS 5506 HAS SOPS 5161 HAS SOUS 5084 HAS SOUPS 4782 WITH SCORE 4787.506
AT ITER 700 NEW BEST:: SOT 27569 SOS 5519 HAS SOPS 5158 HAS SOUS 5097 HAS SOUPS 4779 WITH SCORE 4784.519
AT ITER 709 NEW BEST:: SOT 27577 SOS 5525 HAS SOPS 5157 HAS SOUS 5096 HAS SOUPS 4771 WITH SCORE 4776.525
AT ITER 722 NEW BEST:: SOT 27557 SOS 5513 HAS SOPS 5145 HAS SOUS 5080 HAS SOUPS 4755 WITH SCORE 4760.513
AT ITER 744 NEW BEST:: SOT 27557 SOS 5518 HAS SOPS 5129 HAS SOUS 5067 HAS SOUPS 4732 WITH SCORE 4737.518
AT ITER 746 NEW BEST:: SOT 27553 SOS 5499 HAS SOPS 5110 HAS SOUS 5058 HAS SOUPS 4723 WITH SCORE 4728.499
AT ITER 751 NEW BEST:: SOT 27553 SOS 5499 HAS SOPS 5109 HAS SOUS 5058 HAS SOUPS 4722 WITH SCORE 4727.499
AT ITER 757 NEW BEST:: SOT 27551 SOS 5506 HAS SOPS 5122 HAS SOUS 5051 HAS SOUPS 4721 WITH SCORE 4726.506
AT ITER 783 NEW BEST:: SOT 27539 SOS 5487 HAS SOPS 5111 HAS SOUS 5032 HAS SOUPS 4710 WITH SCORE 4715.487
AT ITER 806 NEW BEST:: SOT 27529 SOS 5475 HAS SOPS 5099 HAS SOUS 5029 HAS SOUPS 4707 WITH SCORE 4712.475
AT ITER 816 NEW BEST:: SOT 27513 SOS 5452 HAS SOPS 5081 HAS SOUS 5006 HAS SOUPS 4689 WITH SCORE 4694.452
AT ITER 820 NEW BEST:: SOT 27512 SOS 5453 HAS SOPS 5080 HAS SOUS 5007 HAS SOUPS 4688 WITH SCORE 4693.453
AT ITER 866 NEW BEST:: SOT 27512 SOS 5452 HAS SOPS 5079 HAS SOUS 5006 HAS SOUPS 4687 WITH SCORE 4692.452
AT ITER 880 NEW BEST:: SOT 27521 SOS 5456 HAS SOPS 5083 HAS SOUS 5001 HAS SOUPS 4682 WITH SCORE 4687.456
AT ITER 904 NEW BEST:: SOT 27510 SOS 5455 HAS SOPS 5082 HAS SOUS 4996 HAS SOUPS 4677 WITH SCORE 4682.455
AT ITER 908 NEW BEST:: SOT 27510 SOS 5455 HAS SOPS 5082 HAS SOUS 4995 HAS SOUPS 4676 WITH SCORE 4681.455
AT ITER 921 NEW BEST:: SOT 27480 SOS 5431 HAS SOPS 5030 HAS SOUS 4967 HAS SOUPS 4624 WITH SCORE 4629.431
AT ITER 931 NEW BEST:: SOT 27465 SOS 5457 HAS SOPS 5041 HAS SOUS 4950 HAS SOUPS 4604 WITH SCORE 4609.457
AT ITER 1022 NEW BEST:: SOT 27465 SOS 5453 HAS SOPS 5037 HAS SOUS 4950 HAS SOUPS 4604 WITH SCORE 4609.453
AT ITER 1026 NEW BEST:: SOT 27462 SOS 5450 HAS SOPS 5034 HAS SOUS 4947 HAS SOUPS 4601 WITH SCORE 4606.45
AT ITER 1050 NEW BEST:: SOT 27420 SOS 5414 HAS SOPS 4998 HAS SOUS 4909 HAS SOUPS 4563 WITH SCORE 4568.414
AT ITER 1103 NEW BEST:: SOT 27400 SOS 5427 HAS SOPS 4979 HAS SOUS 4894 HAS SOUPS 4539 WITH SCORE 4544.427
AT ITER 1136 NEW BEST:: SOT 27400 SOS 5420 HAS SOPS 4965 HAS SOUS 4894 HAS SOUPS 4532 WITH SCORE 4537.42
AT ITER 1156 NEW BEST:: SOT 27397 SOS 5412 HAS SOPS 4957 HAS SOUS 4886 HAS SOUPS 4524 WITH SCORE 4529.412
AT ITER 1172 NEW BEST:: SOT 27397 SOS 5406 HAS SOPS 4951 HAS SOUS 4880 HAS SOUPS 4518 WITH SCORE 4523.406
AT ITER 1229 NEW BEST:: SOT 27425 SOS 5362 HAS SOPS 4889 HAS SOUS 4878 HAS SOUPS 4516 WITH SCORE 4521.362
AT ITER 1257 NEW BEST:: SOT 27424 SOS 5349 HAS SOPS 4876 HAS SOUS 4877 HAS SOUPS 4515 WITH SCORE 4520.349
AT ITER 1279 NEW BEST:: SOT 27351 SOS 5404 HAS SOPS 4931 HAS SOUS 4822 HAS SOUPS 4460 WITH SCORE 4465.404
AT ITER 1282 NEW BEST:: SOT 27349 SOS 5394 HAS SOPS 4910 HAS SOUS 4812 HAS SOUPS 4439 WITH SCORE 4444.394
AT ITER 1329 NEW BEST:: SOT 27332 SOS 5383 HAS SOPS 4898 HAS SOUS 4809 HAS SOUPS 4434 WITH SCORE 4439.383
AT ITER 1382 NEW BEST:: SOT 27332 SOS 5383 HAS SOPS 4897 HAS SOUS 4807 HAS SOUPS 4432 WITH SCORE 4437.383
AT ITER 1406 NEW BEST:: SOT 27332 SOS 5372 HAS SOPS 4886 HAS SOUS 4807 HAS SOUPS 4432 WITH SCORE 4437.372
AT ITER 1449 NEW BEST:: SOT 27299 SOS 5359 HAS SOPS 4862 HAS SOUS 4784 HAS SOUPS 4398 WITH SCORE 4403.359
AT ITER 1496 NEW BEST:: SOT 27297 SOS 5348 HAS SOPS 4851 HAS SOUS 4773 HAS SOUPS 4387 WITH SCORE 4392.348
AT ITER 1521 NEW BEST:: SOT 27296 SOS 5347 HAS SOPS 4850 HAS SOUS 4772 HAS SOUPS 4386 WITH SCORE 4391.347
AT ITER 1549 NEW BEST:: SOT 27294 SOS 5345 HAS SOPS 4844 HAS SOUS 4770 HAS SOUPS 4380 WITH SCORE 4385.345
AT ITER 1553 NEW BEST:: SOT 27280 SOS 5339 HAS SOPS 4838 HAS SOUS 4764 HAS SOUPS 4374 WITH SCORE 4379.339
AT ITER 1562 NEW BEST:: SOT 27274 SOS 5333 HAS SOPS 4841 HAS SOUS 4749 HAS SOUPS 4368 WITH SCORE 4373.333
AT ITER 1626 NEW BEST:: SOT 27270 SOS 5332 HAS SOPS 4836 HAS SOUS 4748 HAS SOUPS 4363 WITH SCORE 4368.332
AT ITER 1634 NEW BEST:: SOT 27269 SOS 5330 HAS SOPS 4835 HAS SOUS 4746 HAS SOUPS 4362 WITH SCORE 4367.33
AT ITER 1638 NEW BEST:: SOT 27269 SOS 5324 HAS SOPS 4829 HAS SOUS 4746 HAS SOUPS 4362 WITH SCORE 4367.324
AT ITER 1706 NEW BEST:: SOT 27271 SOS 5317 HAS SOPS 4822 HAS SOUS 4739 HAS SOUPS 4355 WITH SCORE 4360.317
AT ITER 1718 NEW BEST:: SOT 27270 SOS 5298 HAS SOPS 4803 HAS SOUS 4732 HAS SOUPS 4348 WITH SCORE 4353.298
AT ITER 1731 NEW BEST:: SOT 27260 SOS 5299 HAS SOPS 4804 HAS SOUS 4717 HAS SOUPS 4333 WITH SCORE 4338.299
AT ITER 1788 NEW BEST:: SOT 27260 SOS 5271 HAS SOPS 4783 HAS SOUS 4706 HAS SOUPS 4326 WITH SCORE 4331.271
AT ITER 1830 NEW BEST:: SOT 27268 SOS 5276 HAS SOPS 4788 HAS SOUS 4702 HAS SOUPS 4322 WITH SCORE 4327.276
AT ITER 1837 NEW BEST:: SOT 27268 SOS 5275 HAS SOPS 4788 HAS SOUS 4701 HAS SOUPS 4322 WITH SCORE 4327.275
AT ITER 1866 NEW BEST:: SOT 27241 SOS 5248 HAS SOPS 4761 HAS SOUS 4672 HAS SOUPS 4293 WITH SCORE 4298.248
AT ITER 1868 NEW BEST:: SOT 27241 SOS 5246 HAS SOPS 4759 HAS SOUS 4672 HAS SOUPS 4293 WITH SCORE 4298.246
AT ITER 1923 NEW BEST:: SOT 27241 SOS 5244 HAS SOPS 4757 HAS SOUS 4670 HAS SOUPS 4291 WITH SCORE 4296.244
AT ITER 1979 NEW BEST:: SOT 27202 SOS 5223 HAS SOPS 4736 HAS SOUS 4649 HAS SOUPS 4270 WITH SCORE 4275.223
AT ITER 2025 NEW BEST:: SOT 27203 SOS 5213 HAS SOPS 4730 HAS SOUS 4639 HAS SOUPS 4264 WITH SCORE 4269.213
AT ITER 2090 NEW BEST:: SOT 27194 SOS 5204 HAS SOPS 4721 HAS SOUS 4638 HAS SOUPS 4263 WITH SCORE 4268.204
AT ITER 2111 NEW BEST:: SOT 27198 SOS 5191 HAS SOPS 4708 HAS SOUS 4633 HAS SOUPS 4258 WITH SCORE 4263.191
AT ITER 2114 NEW BEST:: SOT 27180 SOS 5143 HAS SOPS 4666 HAS SOUS 4579 HAS SOUPS 4216 WITH SCORE 4221.143
AT ITER 2194 NEW BEST:: SOT 27203 SOS 5133 HAS SOPS 4656 HAS SOUS 4569 HAS SOUPS 4206 WITH SCORE 4211.133
AT ITER 2223 NEW BEST:: SOT 27203 SOS 5117 HAS SOPS 4640 HAS SOUS 4561 HAS SOUPS 4198 WITH SCORE 4203.117
AT ITER 2224 NEW BEST:: SOT 27191 SOS 5104 HAS SOPS 4633 HAS SOUS 4547 HAS SOUPS 4184 WITH SCORE 4189.104
AT ITER 2273 NEW BEST:: SOT 27191 SOS 5097 HAS SOPS 4626 HAS SOUS 4540 HAS SOUPS 4177 WITH SCORE 4182.097
AT ITER 2321 NEW BEST:: SOT 27194 SOS 5099 HAS SOPS 4614 HAS SOUS 4528 HAS SOUPS 4165 WITH SCORE 4170.099
AT ITER 2348 NEW BEST:: SOT 27219 SOS 5035 HAS SOPS 4599 HAS SOUS 4476 HAS SOUPS 4134 WITH SCORE 4139.035
AT ITER 2449 NEW BEST:: SOT 27212 SOS 5028 HAS SOPS 4592 HAS SOUS 4469 HAS SOUPS 4127 WITH SCORE 4132.028
AT ITER 2473 NEW BEST:: SOT 27212 SOS 5026 HAS SOPS 4591 HAS SOUS 4467 HAS SOUPS 4126 WITH SCORE 4131.026
AT ITER 2529 NEW BEST:: SOT 27212 SOS 5021 HAS SOPS 4586 HAS SOUS 4462 HAS SOUPS 4121 WITH SCORE 4126.021
AT ITER 2545 NEW BEST:: SOT 27212 SOS 5019 HAS SOPS 4584 HAS SOUS 4460 HAS SOUPS 4119 WITH SCORE 4124.019
AT ITER 2548 NEW BEST:: SOT 27212 SOS 5017 HAS SOPS 4583 HAS SOUS 4459 HAS SOUPS 4119 WITH SCORE 4124.017
AT ITER 2549 NEW BEST:: SOT 27212 SOS 5013 HAS SOPS 4579 HAS SOUS 4455 HAS SOUPS 4115 WITH SCORE 4120.013
AT ITER 2577 NEW BEST:: SOT 27212 SOS 5012 HAS SOPS 4578 HAS SOUS 4455 HAS SOUPS 4115 WITH SCORE 4120.012
AT ITER 2591 NEW BEST:: SOT 27201 SOS 5006 HAS SOPS 4572 HAS SOUS 4449 HAS SOUPS 4109 WITH SCORE 4114.006
AT ITER 2618 NEW BEST:: SOT 27216 SOS 4969 HAS SOPS 4543 HAS SOUS 4436 HAS SOUPS 4085 WITH SCORE 4089.969
AT ITER 2643 NEW BEST:: SOT 27122 SOS 5189 HAS SOPS 4763 HAS SOUS 4364 HAS SOUPS 4013 WITH SCORE 4018.189
AT ITER 2650 NEW BEST:: SOT 27118 SOS 5185 HAS SOPS 4761 HAS SOUS 4356 HAS SOUPS 4008 WITH SCORE 4013.185
AT ITER 2680 NEW BEST:: SOT 27114 SOS 5181 HAS SOPS 4757 HAS SOUS 4352 HAS SOUPS 4004 WITH SCORE 4009.181
AT ITER 2685 NEW BEST:: SOT 27114 SOS 4924 HAS SOPS 4500 HAS SOUS 4352 HAS SOUPS 4004 WITH SCORE 4008.924
AT ITER 2706 NEW BEST:: SOT 27170 SOS 4959 HAS SOPS 4524 HAS SOUS 4361 HAS SOUPS 3998 WITH SCORE 4002.959
AT ITER 2738 NEW BEST:: SOT 27180 SOS 4950 HAS SOPS 4490 HAS SOUS 4368 HAS SOUPS 3987 WITH SCORE 3991.95
AT ITER 2753 NEW BEST:: SOT 27180 SOS 4964 HAS SOPS 4490 HAS SOUS 4367 HAS SOUPS 3979 WITH SCORE 3983.964
AT ITER 2805 NEW BEST:: SOT 27182 SOS 4966 HAS SOPS 4484 HAS SOUS 4369 HAS SOUPS 3973 WITH SCORE 3977.966
AT ITER 2809 NEW BEST:: SOT 27171 SOS 4965 HAS SOPS 4483 HAS SOUS 4353 HAS SOUPS 3957 WITH SCORE 3961.965
AT ITER 2862 NEW BEST:: SOT 27170 SOS 4964 HAS SOPS 4483 HAS SOUS 4352 HAS SOUPS 3956 WITH SCORE 3960.964
AT ITER 2865 NEW BEST:: SOT 27171 SOS 4961 HAS SOPS 4480 HAS SOUS 4349 HAS SOUPS 3953 WITH SCORE 3957.961
AT ITER 2875 NEW BEST:: SOT 27165 SOS 4947 HAS SOPS 4470 HAS SOUS 4341 HAS SOUPS 3947 WITH SCORE 3951.947
AT ITER 2876 NEW BEST:: SOT 27160 SOS 4944 HAS SOPS 4467 HAS SOUS 4338 HAS SOUPS 3944 WITH SCORE 3948.944
AT ITER 2956 NEW BEST:: SOT 27139 SOS 4925 HAS SOPS 4448 HAS SOUS 4316 HAS SOUPS 3922 WITH SCORE 3926.925
AT ITER 3073 NEW BEST:: SOT 27138 SOS 4924 HAS SOPS 4447 HAS SOUS 4315 HAS SOUPS 3921 WITH SCORE 3925.924
AT ITER 3112 NEW BEST:: SOT 27129 SOS 4911 HAS SOPS 4438 HAS SOUS 4303 HAS SOUPS 3912 WITH SCORE 3916.911
AT ITER 3175 NEW BEST:: SOT 27122 SOS 4904 HAS SOPS 4431 HAS SOUS 4283 HAS SOUPS 3892 WITH SCORE 3896.904
AT ITER 3197 NEW BEST:: SOT 27123 SOS 4903 HAS SOPS 4431 HAS SOUS 4282 HAS SOUPS 3892 WITH SCORE 3896.903
AT ITER 3255 NEW BEST:: SOT 27122 SOS 4902 HAS SOPS 4431 HAS SOUS 4282 HAS SOUPS 3892 WITH SCORE 3896.902
AT ITER 3259 NEW BEST:: SOT 27121 SOS 4900 HAS SOPS 4429 HAS SOUS 4280 HAS SOUPS 3890 WITH SCORE 3894.9
AT ITER 3328 NEW BEST:: SOT 27117 SOS 4898 HAS SOPS 4425 HAS SOUS 4278 HAS SOUPS 3886 WITH SCORE 3890.898
AT ITER 3334 NEW BEST:: SOT 27108 SOS 4884 HAS SOPS 4422 HAS SOUS 4258 HAS SOUPS 3878 WITH SCORE 3882.884
AT ITER 3344 NEW BEST:: SOT 27106 SOS 4883 HAS SOPS 4421 HAS SOUS 4256 HAS SOUPS 3876 WITH SCORE 3880.883
AT ITER 3372 NEW BEST:: SOT 27102 SOS 4879 HAS SOPS 4415 HAS SOUS 4252 HAS SOUPS 3870 WITH SCORE 3874.879
AT ITER 3383 NEW BEST:: SOT 27101 SOS 4883 HAS SOPS 4419 HAS SOUS 4251 HAS SOUPS 3869 WITH SCORE 3873.883
AT ITER 3402 NEW BEST:: SOT 27100 SOS 4882 HAS SOPS 4418 HAS SOUS 4250 HAS SOUPS 3868 WITH SCORE 3872.882
AT ITER 3458 NEW BEST:: SOT 27097 SOS 4888 HAS SOPS 4415 HAS SOUS 4240 HAS SOUPS 3865 WITH SCORE 3869.888
AT ITER 3475 NEW BEST:: SOT 27095 SOS 4886 HAS SOPS 4413 HAS SOUS 4240 HAS SOUPS 3865 WITH SCORE 3869.886
AT ITER 3489 NEW BEST:: SOT 27095 SOS 4884 HAS SOPS 4411 HAS SOUS 4238 HAS SOUPS 3863 WITH SCORE 3867.884
AT ITER 3575 NEW BEST:: SOT 27095 SOS 4883 HAS SOPS 4411 HAS SOUS 4235 HAS SOUPS 3861 WITH SCORE 3865.883
AT ITER 3600 NEW BEST:: SOT 27094 SOS 4911 HAS SOPS 4429 HAS SOUS 4244 HAS SOUPS 3859 WITH SCORE 3863.911
AT ITER 3613 NEW BEST:: SOT 27084 SOS 4896 HAS SOPS 4414 HAS SOUS 4238 HAS SOUPS 3853 WITH SCORE 3857.896
AT ITER 3629 NEW BEST:: SOT 27084 SOS 4890 HAS SOPS 4408 HAS SOUS 4232 HAS SOUPS 3847 WITH SCORE 3851.89
AT ITER 3674 NEW BEST:: SOT 27083 SOS 4889 HAS SOPS 4407 HAS SOUS 4231 HAS SOUPS 3846 WITH SCORE 3850.889
AT ITER 3749 NEW BEST:: SOT 27079 SOS 4888 HAS SOPS 4405 HAS SOUS 4228 HAS SOUPS 3842 WITH SCORE 3846.888
AT ITER 3778 NEW BEST:: SOT 27079 SOS 4849 HAS SOPS 4383 HAS SOUS 4219 HAS SOUPS 3842 WITH SCORE 3846.849
AT ITER 3788 NEW BEST:: SOT 27076 SOS 4846 HAS SOPS 4380 HAS SOUS 4219 HAS SOUPS 3842 WITH SCORE 3846.846
AT ITER 3806 NEW BEST:: SOT 27080 SOS 4843 HAS SOPS 4374 HAS SOUS 4216 HAS SOUPS 3836 WITH SCORE 3840.843
AT ITER 3845 NEW BEST:: SOT 27080 SOS 4846 HAS SOPS 4373 HAS SOUS 4219 HAS SOUPS 3835 WITH SCORE 3839.846
AT ITER 3865 NEW BEST:: SOT 27076 SOS 4837 HAS SOPS 4364 HAS SOUS 4210 HAS SOUPS 3826 WITH SCORE 3830.837
AT ITER 3959 NEW BEST:: SOT 27060 SOS 4823 HAS SOPS 4350 HAS SOUS 4196 HAS SOUPS 3812 WITH SCORE 3816.823
AT ITER 4028 NEW BEST:: SOT 27060 SOS 4812 HAS SOPS 4343 HAS SOUS 4185 HAS SOUPS 3805 WITH SCORE 3809.812
AT ITER 4042 NEW BEST:: SOT 27056 SOS 4806 HAS SOPS 4342 HAS SOUS 4179 HAS SOUPS 3804 WITH SCORE 3808.806
AT ITER 4050 NEW BEST:: SOT 27055 SOS 4805 HAS SOPS 4335 HAS SOUS 4178 HAS SOUPS 3797 WITH SCORE 3801.805
AT ITER 4064 NEW BEST:: SOT 27051 SOS 4797 HAS SOPS 4327 HAS SOUS 4170 HAS SOUPS 3789 WITH SCORE 3793.797
AT ITER 4099 NEW BEST:: SOT 27027 SOS 4754 HAS SOPS 4282 HAS SOUS 4143 HAS SOUPS 3768 WITH SCORE 3772.754
AT ITER 4107 NEW BEST:: SOT 27016 SOS 4743 HAS SOPS 4271 HAS SOUS 4135 HAS SOUPS 3760 WITH SCORE 3764.743
AT ITER 4139 NEW BEST:: SOT 27008 SOS 4735 HAS SOPS 4275 HAS SOUS 4134 HAS SOUPS 3759 WITH SCORE 3763.735
AT ITER 4147 NEW BEST:: SOT 27006 SOS 4733 HAS SOPS 4271 HAS SOUS 4132 HAS SOUPS 3755 WITH SCORE 3759.733
AT ITER 4200 NEW BEST:: SOT 27005 SOS 4731 HAS SOPS 4269 HAS SOUS 4130 HAS SOUPS 3753 WITH SCORE 3757.731
AT ITER 4235 NEW BEST:: SOT 27008 SOS 4713 HAS SOPS 4251 HAS SOUS 4129 HAS SOUPS 3752 WITH SCORE 3756.713
AT ITER 4304 NEW BEST:: SOT 26992 SOS 4695 HAS SOPS 4256 HAS SOUS 4120 HAS SOUPS 3752 WITH SCORE 3756.695
AT ITER 4403 NEW BEST:: SOT 26991 SOS 4694 HAS SOPS 4255 HAS SOUS 4119 HAS SOUPS 3751 WITH SCORE 3755.694
AT ITER 4417 NEW BEST:: SOT 26979 SOS 4681 HAS SOPS 4242 HAS SOUS 4103 HAS SOUPS 3735 WITH SCORE 3739.681
AT ITER 4419 NEW BEST:: SOT 26965 SOS 4690 HAS SOPS 4251 HAS SOUS 4101 HAS SOUPS 3733 WITH SCORE 3737.69
AT ITER 4465 NEW BEST:: SOT 26965 SOS 4690 HAS SOPS 4245 HAS SOUS 4101 HAS SOUPS 3727 WITH SCORE 3731.69
AT ITER 4476 NEW BEST:: SOT 26961 SOS 4676 HAS SOPS 4235 HAS SOUS 4096 HAS SOUPS 3724 WITH SCORE 3728.676
AT ITER 4489 NEW BEST:: SOT 26951 SOS 4685 HAS SOPS 4244 HAS SOUS 4076 HAS SOUPS 3704 WITH SCORE 3708.685
AT ITER 4585 NEW BEST:: SOT 26951 SOS 4684 HAS SOPS 4244 HAS SOUS 4075 HAS SOUPS 3704 WITH SCORE 3708.684
AT ITER 4679 NEW BEST:: SOT 26938 SOS 4677 HAS SOPS 4236 HAS SOUS 4069 HAS SOUPS 3696 WITH SCORE 3700.677
AT ITER 4726 NEW BEST:: SOT 26935 SOS 4678 HAS SOPS 4230 HAS SOUS 4066 HAS SOUPS 3686 WITH SCORE 3690.678
AT ITER 4728 NEW BEST:: SOT 26935 SOS 4676 HAS SOPS 4228 HAS SOUS 4065 HAS SOUPS 3685 WITH SCORE 3689.676
AT ITER 4796 NEW BEST:: SOT 26933 SOS 4672 HAS SOPS 4224 HAS SOUS 4062 HAS SOUPS 3682 WITH SCORE 3686.672
AT ITER 5044 NEW BEST:: SOT 26931 SOS 4670 HAS SOPS 4219 HAS SOUS 4060 HAS SOUPS 3677 WITH SCORE 3681.67
AT ITER 5064 NEW BEST:: SOT 26935 SOS 4676 HAS SOPS 4225 HAS SOUS 4059 HAS SOUPS 3676 WITH SCORE 3680.676
AT ITER 5071 NEW BEST:: SOT 26956 SOS 4668 HAS SOPS 4198 HAS SOUS 4043 HAS SOUPS 3657 WITH SCORE 3661.668
AT ITER 5073 NEW BEST:: SOT 26975 SOS 4643 HAS SOPS 4184 HAS SOUS 4025 HAS SOUPS 3650 WITH SCORE 3654.643
AT ITER 5128 NEW BEST:: SOT 26976 SOS 4639 HAS SOPS 4181 HAS SOUS 4021 HAS SOUPS 3647 WITH SCORE 3651.639
AT ITER 5161 NEW BEST:: SOT 26976 SOS 4633 HAS SOPS 4175 HAS SOUS 4019 HAS SOUPS 3645 WITH SCORE 3649.633
AT ITER 5331 NEW BEST:: SOT 26974 SOS 4632 HAS SOPS 4174 HAS SOUS 4018 HAS SOUPS 3644 WITH SCORE 3648.632
AT ITER 5351 NEW BEST:: SOT 26970 SOS 4634 HAS SOPS 4176 HAS SOUS 4016 HAS SOUPS 3642 WITH SCORE 3646.634
AT ITER 5379 NEW BEST:: SOT 26970 SOS 4633 HAS SOPS 4175 HAS SOUS 4014 HAS SOUPS 3640 WITH SCORE 3644.633
AT ITER 5410 NEW BEST:: SOT 26966 SOS 4626 HAS SOPS 4168 HAS SOUS 4008 HAS SOUPS 3634 WITH SCORE 3638.626
AT ITER 5424 NEW BEST:: SOT 26964 SOS 4624 HAS SOPS 4166 HAS SOUS 4004 HAS SOUPS 3630 WITH SCORE 3634.624
AT ITER 5614 NEW BEST:: SOT 26981 SOS 4569 HAS SOPS 4120 HAS SOUS 3974 HAS SOUPS 3605 WITH SCORE 3609.569
AT ITER 5727 NEW BEST:: SOT 26982 SOS 4562 HAS SOPS 4113 HAS SOUS 3967 HAS SOUPS 3598 WITH SCORE 3602.562
AT ITER 5770 NEW BEST:: SOT 26952 SOS 4532 HAS SOPS 4103 HAS SOUS 3937 HAS SOUPS 3588 WITH SCORE 3592.532
AT ITER 5802 NEW BEST:: SOT 26948 SOS 4527 HAS SOPS 4098 HAS SOUS 3930 HAS SOUPS 3581 WITH SCORE 3585.527
AT ITER 5856 NEW BEST:: SOT 26946 SOS 4520 HAS SOPS 4095 HAS SOUS 3926 HAS SOUPS 3581 WITH SCORE 3585.52
AT ITER 5904 NEW BEST:: SOT 26946 SOS 4517 HAS SOPS 4092 HAS SOUS 3923 HAS SOUPS 3578 WITH SCORE 3582.517
AT ITER 5964 NEW BEST:: SOT 26931 SOS 4493 HAS SOPS 4089 HAS SOUS 3897 HAS SOUPS 3573 WITH SCORE 3577.493
AT ITER 5977 NEW BEST:: SOT 26931 SOS 4491 HAS SOPS 4085 HAS SOUS 3899 HAS SOUPS 3573 WITH SCORE 3577.491
AT ITER 6041 NEW BEST:: SOT 26934 SOS 4456 HAS SOPS 4064 HAS SOUS 3869 HAS SOUPS 3554 WITH SCORE 3558.456
AT ITER 6047 NEW BEST:: SOT 26928 SOS 4452 HAS SOPS 4056 HAS SOUS 3865 HAS SOUPS 3546 WITH SCORE 3550.452
AT ITER 6051 NEW BEST:: SOT 26928 SOS 4451 HAS SOPS 4055 HAS SOUS 3864 HAS SOUPS 3545 WITH SCORE 3549.451
AT ITER 6175 NEW BEST:: SOT 26936 SOS 4459 HAS SOPS 4052 HAS SOUS 3869 HAS SOUPS 3539 WITH SCORE 3543.459
AT ITER 6183 NEW BEST:: SOT 26934 SOS 4450 HAS SOPS 4046 HAS SOUS 3867 HAS SOUPS 3534 WITH SCORE 3538.45
AT ITER 6204 NEW BEST:: SOT 26934 SOS 4447 HAS SOPS 4043 HAS SOUS 3864 HAS SOUPS 3531 WITH SCORE 3535.447
AT ITER 6222 NEW BEST:: SOT 26934 SOS 4442 HAS SOPS 4035 HAS SOUS 3859 HAS SOUPS 3523 WITH SCORE 3527.442
AT ITER 6245 NEW BEST:: SOT 26925 SOS 4420 HAS SOPS 4019 HAS SOUS 3844 HAS SOUPS 3511 WITH SCORE 3515.42
AT ITER 6264 NEW BEST:: SOT 26925 SOS 4418 HAS SOPS 4017 HAS SOUS 3842 HAS SOUPS 3509 WITH SCORE 3513.418
AT ITER 6452 NEW BEST:: SOT 26919 SOS 4412 HAS SOPS 4004 HAS SOUS 3836 HAS SOUPS 3496 WITH SCORE 3500.412
AT ITER 6479 NEW BEST:: SOT 26918 SOS 4385 HAS SOPS 3977 HAS SOUS 3831 HAS SOUPS 3491 WITH SCORE 3495.385
AT ITER 6594 NEW BEST:: SOT 26916 SOS 4381 HAS SOPS 3975 HAS SOUS 3825 HAS SOUPS 3487 WITH SCORE 3491.381
AT ITER 6640 NEW BEST:: SOT 26913 SOS 4378 HAS SOPS 3972 HAS SOUS 3822 HAS SOUPS 3484 WITH SCORE 3488.378
AT ITER 6643 NEW BEST:: SOT 26913 SOS 4378 HAS SOPS 3969 HAS SOUS 3822 HAS SOUPS 3481 WITH SCORE 3485.378
AT ITER 6645 NEW BEST:: SOT 26902 SOS 4364 HAS SOPS 3965 HAS SOUS 3798 HAS SOUPS 3468 WITH SCORE 3472.364
AT ITER 6657 NEW BEST:: SOT 26901 SOS 4363 HAS SOPS 3964 HAS SOUS 3797 HAS SOUPS 3467 WITH SCORE 3471.363
AT ITER 6693 NEW BEST:: SOT 26899 SOS 4360 HAS SOPS 3961 HAS SOUS 3794 HAS SOUPS 3464 WITH SCORE 3468.36
AT ITER 6736 NEW BEST:: SOT 26896 SOS 4357 HAS SOPS 3958 HAS SOUS 3791 HAS SOUPS 3461 WITH SCORE 3465.357
AT ITER 6760 NEW BEST:: SOT 26896 SOS 4355 HAS SOPS 3958 HAS SOUS 3789 HAS SOUPS 3461 WITH SCORE 3465.355
AT ITER 6761 NEW BEST:: SOT 26897 SOS 4352 HAS SOPS 3955 HAS SOUS 3789 HAS SOUPS 3461 WITH SCORE 3465.352
AT ITER 6764 NEW BEST:: SOT 26891 SOS 4344 HAS SOPS 3941 HAS SOUS 3780 HAS SOUPS 3446 WITH SCORE 3450.344
AT ITER 6836 NEW BEST:: SOT 26891 SOS 4346 HAS SOPS 3938 HAS SOUS 3781 HAS SOUPS 3442 WITH SCORE 3446.346
AT ITER 6856 NEW BEST:: SOT 26889 SOS 4342 HAS SOPS 3934 HAS SOUS 3777 HAS SOUPS 3438 WITH SCORE 3442.342
AT ITER 6899 NEW BEST:: SOT 26895 SOS 4349 HAS SOPS 3936 HAS SOUS 3775 HAS SOUPS 3431 WITH SCORE 3435.349
AT ITER 6967 NEW BEST:: SOT 26895 SOS 4348 HAS SOPS 3935 HAS SOUS 3774 HAS SOUPS 3430 WITH SCORE 3434.348
AT ITER 7079 NEW BEST:: SOT 26895 SOS 4349 HAS SOPS 3934 HAS SOUS 3775 HAS SOUPS 3429 WITH SCORE 3433.349
AT ITER 7097 NEW BEST:: SOT 26899 SOS 4364 HAS SOPS 3942 HAS SOUS 3777 HAS SOUPS 3427 WITH SCORE 3431.364
AT ITER 7117 NEW BEST:: SOT 26900 SOS 4376 HAS SOPS 3953 HAS SOUS 3769 HAS SOUPS 3419 WITH SCORE 3423.376
AT ITER 7128 NEW BEST:: SOT 26901 SOS 4375 HAS SOPS 3952 HAS SOUS 3768 HAS SOUPS 3418 WITH SCORE 3422.375
AT ITER 7181 NEW BEST:: SOT 26887 SOS 4348 HAS SOPS 3927 HAS SOUS 3741 HAS SOUPS 3393 WITH SCORE 3397.348
AT ITER 7287 NEW BEST:: SOT 26884 SOS 4339 HAS SOPS 3918 HAS SOUS 3735 HAS SOUPS 3387 WITH SCORE 3391.339
AT ITER 7316 NEW BEST:: SOT 26886 SOS 4339 HAS SOPS 3918 HAS SOUS 3733 HAS SOUPS 3384 WITH SCORE 3388.339
AT ITER 7326 NEW BEST:: SOT 26885 SOS 4338 HAS SOPS 3917 HAS SOUS 3732 HAS SOUPS 3383 WITH SCORE 3387.338
AT ITER 7357 NEW BEST:: SOT 26889 SOS 4330 HAS SOPS 3914 HAS SOUS 3724 HAS SOUPS 3380 WITH SCORE 3384.33
AT ITER 7452 NEW BEST:: SOT 26886 SOS 4326 HAS SOPS 3910 HAS SOUS 3720 HAS SOUPS 3376 WITH SCORE 3380.326
AT ITER 7616 NEW BEST:: SOT 26884 SOS 4324 HAS SOPS 3905 HAS SOUS 3710 HAS SOUPS 3366 WITH SCORE 3370.324
AT ITER 7728 NEW BEST:: SOT 26884 SOS 4306 HAS SOPS 3887 HAS SOUS 3704 HAS SOUPS 3360 WITH SCORE 3364.306
AT ITER 7775 NEW BEST:: SOT 26884 SOS 4306 HAS SOPS 3886 HAS SOUS 3704 HAS SOUPS 3359 WITH SCORE 3363.306
AT ITER 7884 NEW BEST:: SOT 26882 SOS 4296 HAS SOPS 3876 HAS SOUS 3698 HAS SOUPS 3353 WITH SCORE 3357.296
AT ITER 7904 NEW BEST:: SOT 26880 SOS 4301 HAS SOPS 3881 HAS SOUS 3696 HAS SOUPS 3351 WITH SCORE 3355.301
AT ITER 8019 NEW BEST:: SOT 26872 SOS 4293 HAS SOPS 3873 HAS SOUS 3701 HAS SOUPS 3344 WITH SCORE 3348.293
AT ITER 8140 NEW BEST:: SOT 26867 SOS 4288 HAS SOPS 3868 HAS SOUS 3686 HAS SOUPS 3329 WITH SCORE 3333.288
AT ITER 8234 NEW BEST:: SOT 26866 SOS 4286 HAS SOPS 3866 HAS SOUS 3684 HAS SOUPS 3327 WITH SCORE 3331.286
AT ITER 8376 NEW BEST:: SOT 26865 SOS 4282 HAS SOPS 3862 HAS SOUS 3681 HAS SOUPS 3324 WITH SCORE 3328.282
AT ITER 8405 NEW BEST:: SOT 26848 SOS 4280 HAS SOPS 3860 HAS SOUS 3679 HAS SOUPS 3322 WITH SCORE 3326.28
AT ITER 8477 NEW BEST:: SOT 26847 SOS 4279 HAS SOPS 3859 HAS SOUS 3678 HAS SOUPS 3321 WITH SCORE 3325.279
AT ITER 8566 NEW BEST:: SOT 26846 SOS 4268 HAS SOPS 3848 HAS SOUS 3673 HAS SOUPS 3316 WITH SCORE 3320.268
AT ITER 8584 NEW BEST:: SOT 26846 SOS 4265 HAS SOPS 3845 HAS SOUS 3670 HAS SOUPS 3313 WITH SCORE 3317.265
AT ITER 8603 NEW BEST:: SOT 26844 SOS 4263 HAS SOPS 3843 HAS SOUS 3666 HAS SOUPS 3309 WITH SCORE 3313.263
AT ITER 8724 NEW BEST:: SOT 26842 SOS 4261 HAS SOPS 3839 HAS SOUS 3664 HAS SOUPS 3305 WITH SCORE 3309.261
AT ITER 8827 NEW BEST:: SOT 26833 SOS 4252 HAS SOPS 3828 HAS SOUS 3655 HAS SOUPS 3294 WITH SCORE 3298.252
AT ITER 8990 NEW BEST:: SOT 26827 SOS 4243 HAS SOPS 3820 HAS SOUS 3641 HAS SOUPS 3285 WITH SCORE 3289.243
AT ITER 9005 NEW BEST:: SOT 26827 SOS 4243 HAS SOPS 3817 HAS SOUS 3640 HAS SOUPS 3284 WITH SCORE 3288.243
AT ITER 9080 NEW BEST:: SOT 26826 SOS 4241 HAS SOPS 3815 HAS SOUS 3638 HAS SOUPS 3282 WITH SCORE 3286.241
AT ITER 9092 NEW BEST:: SOT 26826 SOS 4202 HAS SOPS 3776 HAS SOUS 3625 HAS SOUPS 3269 WITH SCORE 3273.202
AT ITER 9134 NEW BEST:: SOT 26826 SOS 4200 HAS SOPS 3774 HAS SOUS 3623 HAS SOUPS 3267 WITH SCORE 3271.2
AT ITER 9170 NEW BEST:: SOT 26826 SOS 4200 HAS SOPS 3773 HAS SOUS 3623 HAS SOUPS 3266 WITH SCORE 3270.2
AT ITER 9172 NEW BEST:: SOT 26826 SOS 4199 HAS SOPS 3773 HAS SOUS 3622 HAS SOUPS 3266 WITH SCORE 3270.199
AT ITER 9273 NEW BEST:: SOT 26824 SOS 4194 HAS SOPS 3769 HAS SOUS 3617 HAS SOUPS 3262 WITH SCORE 3266.194
AT ITER 9303 NEW BEST:: SOT 26823 SOS 4192 HAS SOPS 3767 HAS SOUS 3615 HAS SOUPS 3260 WITH SCORE 3264.192
AT ITER 9312 NEW BEST:: SOT 26822 SOS 4191 HAS SOPS 3766 HAS SOUS 3614 HAS SOUPS 3259 WITH SCORE 3263.191
AT ITER 9362 NEW BEST:: SOT 26825 SOS 4176 HAS SOPS 3761 HAS SOUS 3597 HAS SOUPS 3252 WITH SCORE 3256.176
AT ITER 9427 NEW BEST:: SOT 26846 SOS 4167 HAS SOPS 3748 HAS SOUS 3572 HAS SOUPS 3239 WITH SCORE 3243.167
AT ITER 9449 NEW BEST:: SOT 26846 SOS 4164 HAS SOPS 3745 HAS SOUS 3571 HAS SOUPS 3238 WITH SCORE 3242.164
AT ITER 9511 NEW BEST:: SOT 26840 SOS 4169 HAS SOPS 3750 HAS SOUS 3559 HAS SOUPS 3226 WITH SCORE 3230.169
AT ITER 9606 NEW BEST:: SOT 26839 SOS 4168 HAS SOPS 3749 HAS SOUS 3558 HAS SOUPS 3225 WITH SCORE 3229.168
AT ITER 9727 NEW BEST:: SOT 26828 SOS 4159 HAS SOPS 3740 HAS SOUS 3549 HAS SOUPS 3216 WITH SCORE 3220.159
AT ITER 9852 NEW BEST:: SOT 26823 SOS 4154 HAS SOPS 3740 HAS SOUS 3534 HAS SOUPS 3206 WITH SCORE 3210.154
AT ITER 9913 NEW BEST:: SOT 26822 SOS 4153 HAS SOPS 3739 HAS SOUS 3533 HAS SOUPS 3205 WITH SCORE 3209.153
AT ITER 9924 NEW BEST:: SOT 26822 SOS 4144 HAS SOPS 3730 HAS SOUS 3530 HAS SOUPS 3202 WITH SCORE 3206.144
AT ITER 9950 NEW BEST:: SOT 26820 SOS 4142 HAS SOPS 3728 HAS SOUS 3528 HAS SOUPS 3200 WITH SCORE 3204.142
STATE_SPACE STATES 25632 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 96722 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678770632713

--------------------
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-1"
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-1, 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-167863534500376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ParamProductionCell-PT-1.tgz
mv ParamProductionCell-PT-1 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 ;