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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 6.1K Feb 26 14:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 14:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 14:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 15:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 15:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 49K 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 1678771320228

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=Parking-PT-208
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 208
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: 137 places, 201 transitions, 593 arcs.
AT ITER 0 NEW BEST:: SOT 16137 SOS 11468 HAS SOPS 11468 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7574.468
AT ITER 1 NEW BEST:: SOT 16065 SOS 11408 HAS SOPS 11406 HAS SOUS 7514 HAS SOUPS 7512 WITH SCORE 7523.408
AT ITER 4 NEW BEST:: SOT 16065 SOS 10997 HAS SOPS 10995 HAS SOUS 7492 HAS SOUPS 7490 WITH SCORE 7500.997
AT ITER 5 NEW BEST:: SOT 15818 SOS 10673 HAS SOPS 10640 HAS SOUS 7308 HAS SOUPS 7275 WITH SCORE 7285.673
AT ITER 10 NEW BEST:: SOT 15569 SOS 10272 HAS SOPS 10221 HAS SOUS 7043 HAS SOUPS 6992 WITH SCORE 7002.272
AT ITER 11 NEW BEST:: SOT 15569 SOS 10158 HAS SOPS 10107 HAS SOUS 7000 HAS SOUPS 6949 WITH SCORE 6959.158
AT ITER 13 NEW BEST:: SOT 15482 SOS 10088 HAS SOPS 10020 HAS SOUS 6932 HAS SOUPS 6864 WITH SCORE 6874.088
AT ITER 14 NEW BEST:: SOT 15506 SOS 9948 HAS SOPS 9880 HAS SOUS 6842 HAS SOUPS 6774 WITH SCORE 6783.948
AT ITER 15 NEW BEST:: SOT 15476 SOS 9908 HAS SOPS 9840 HAS SOUS 6842 HAS SOUPS 6774 WITH SCORE 6783.908
AT ITER 22 NEW BEST:: SOT 15517 SOS 9797 HAS SOPS 9729 HAS SOUS 6837 HAS SOUPS 6769 WITH SCORE 6778.797
AT ITER 24 NEW BEST:: SOT 15388 SOS 9782 HAS SOPS 9659 HAS SOUS 6843 HAS SOUPS 6720 WITH SCORE 6729.782
AT ITER 30 NEW BEST:: SOT 15287 SOS 9663 HAS SOPS 9558 HAS SOUS 6724 HAS SOUPS 6619 WITH SCORE 6628.663
AT ITER 32 NEW BEST:: SOT 15287 SOS 9613 HAS SOPS 9508 HAS SOUS 6724 HAS SOUPS 6619 WITH SCORE 6628.613
AT ITER 39 NEW BEST:: SOT 15286 SOS 9533 HAS SOPS 9428 HAS SOUS 6691 HAS SOUPS 6586 WITH SCORE 6595.533
AT ITER 43 NEW BEST:: SOT 15246 SOS 9512 HAS SOPS 9387 HAS SOUS 6690 HAS SOUPS 6565 WITH SCORE 6574.512
AT ITER 48 NEW BEST:: SOT 15246 SOS 9409 HAS SOPS 9284 HAS SOUS 6627 HAS SOUPS 6502 WITH SCORE 6511.409
AT ITER 49 NEW BEST:: SOT 15107 SOS 9270 HAS SOPS 9145 HAS SOUS 6518 HAS SOUPS 6393 WITH SCORE 6402.27
AT ITER 54 NEW BEST:: SOT 14950 SOS 9143 HAS SOPS 8984 HAS SOUS 6395 HAS SOUPS 6236 WITH SCORE 6245.143
AT ITER 56 NEW BEST:: SOT 15027 SOS 9059 HAS SOPS 8900 HAS SOUS 6355 HAS SOUPS 6196 WITH SCORE 6205.059
AT ITER 60 NEW BEST:: SOT 14928 SOS 9055 HAS SOPS 8896 HAS SOUS 6334 HAS SOUPS 6175 WITH SCORE 6184.055
AT ITER 62 NEW BEST:: SOT 14795 SOS 8965 HAS SOPS 8763 HAS SOUS 6303 HAS SOUPS 6101 WITH SCORE 6109.965
AT ITER 70 NEW BEST:: SOT 14717 SOS 8887 HAS SOPS 8685 HAS SOUS 6225 HAS SOUPS 6023 WITH SCORE 6031.887
AT ITER 71 NEW BEST:: SOT 14734 SOS 8775 HAS SOPS 8573 HAS SOUS 6185 HAS SOUPS 5983 WITH SCORE 5991.775
AT ITER 76 NEW BEST:: SOT 14740 SOS 9022 HAS SOPS 8820 HAS SOUS 6184 HAS SOUPS 5982 WITH SCORE 5991.022
AT ITER 79 NEW BEST:: SOT 14722 SOS 9004 HAS SOPS 8801 HAS SOUS 6172 HAS SOUPS 5969 WITH SCORE 5978.004
AT ITER 82 NEW BEST:: SOT 14686 SOS 8968 HAS SOPS 8765 HAS SOUS 6146 HAS SOUPS 5943 WITH SCORE 5951.968
AT ITER 83 NEW BEST:: SOT 14686 SOS 9005 HAS SOPS 8802 HAS SOUS 6116 HAS SOUPS 5913 WITH SCORE 5922.005
AT ITER 84 NEW BEST:: SOT 14631 SOS 8976 HAS SOPS 8773 HAS SOUS 6108 HAS SOUPS 5905 WITH SCORE 5913.976
AT ITER 89 NEW BEST:: SOT 14627 SOS 8973 HAS SOPS 8770 HAS SOUS 6108 HAS SOUPS 5905 WITH SCORE 5913.973
AT ITER 90 NEW BEST:: SOT 14661 SOS 8996 HAS SOPS 8793 HAS SOUS 6099 HAS SOUPS 5896 WITH SCORE 5904.996
AT ITER 94 NEW BEST:: SOT 14636 SOS 8921 HAS SOPS 8718 HAS SOUS 6070 HAS SOUPS 5867 WITH SCORE 5875.921
AT ITER 97 NEW BEST:: SOT 14636 SOS 8910 HAS SOPS 8707 HAS SOUS 6059 HAS SOUPS 5856 WITH SCORE 5864.91
AT ITER 98 NEW BEST:: SOT 14635 SOS 8891 HAS SOPS 8688 HAS SOUS 6045 HAS SOUPS 5842 WITH SCORE 5850.891
AT ITER 102 NEW BEST:: SOT 14609 SOS 8864 HAS SOPS 8661 HAS SOUS 6031 HAS SOUPS 5828 WITH SCORE 5836.864
AT ITER 104 NEW BEST:: SOT 14609 SOS 8848 HAS SOPS 8645 HAS SOUS 6015 HAS SOUPS 5812 WITH SCORE 5820.848
AT ITER 105 NEW BEST:: SOT 14606 SOS 8894 HAS SOPS 8674 HAS SOUS 6029 HAS SOUPS 5809 WITH SCORE 5817.894
AT ITER 108 NEW BEST:: SOT 14606 SOS 8843 HAS SOPS 8623 HAS SOUS 6029 HAS SOUPS 5809 WITH SCORE 5817.843
AT ITER 115 NEW BEST:: SOT 14530 SOS 8777 HAS SOPS 8547 HAS SOUS 6000 HAS SOUPS 5770 WITH SCORE 5778.777
AT ITER 117 NEW BEST:: SOT 14408 SOS 8663 HAS SOPS 8433 HAS SOUS 5932 HAS SOUPS 5702 WITH SCORE 5710.663
AT ITER 125 NEW BEST:: SOT 14387 SOS 8566 HAS SOPS 8336 HAS SOUS 5873 HAS SOUPS 5643 WITH SCORE 5651.566
AT ITER 126 NEW BEST:: SOT 14429 SOS 8515 HAS SOPS 8285 HAS SOUS 5858 HAS SOUPS 5628 WITH SCORE 5636.515
AT ITER 131 NEW BEST:: SOT 14425 SOS 8548 HAS SOPS 8320 HAS SOUS 5852 HAS SOUPS 5624 WITH SCORE 5632.548
AT ITER 133 NEW BEST:: SOT 14425 SOS 8546 HAS SOPS 8318 HAS SOUS 5838 HAS SOUPS 5610 WITH SCORE 5618.546
AT ITER 135 NEW BEST:: SOT 14480 SOS 8564 HAS SOPS 8373 HAS SOUS 5799 HAS SOUPS 5608 WITH SCORE 5616.564
AT ITER 140 NEW BEST:: SOT 14444 SOS 8398 HAS SOPS 8207 HAS SOUS 5716 HAS SOUPS 5525 WITH SCORE 5533.398
AT ITER 142 NEW BEST:: SOT 14443 SOS 8340 HAS SOPS 8166 HAS SOUS 5687 HAS SOUPS 5513 WITH SCORE 5521.34
AT ITER 149 NEW BEST:: SOT 14468 SOS 8419 HAS SOPS 8204 HAS SOUS 5681 HAS SOUPS 5466 WITH SCORE 5474.419
AT ITER 151 NEW BEST:: SOT 14457 SOS 8412 HAS SOPS 8197 HAS SOUS 5674 HAS SOUPS 5459 WITH SCORE 5467.412
AT ITER 155 NEW BEST:: SOT 14381 SOS 8366 HAS SOPS 8151 HAS SOUS 5642 HAS SOUPS 5427 WITH SCORE 5435.366
AT ITER 164 NEW BEST:: SOT 14381 SOS 8178 HAS SOPS 7963 HAS SOUS 5619 HAS SOUPS 5404 WITH SCORE 5412.178
AT ITER 172 NEW BEST:: SOT 14381 SOS 8106 HAS SOPS 7891 HAS SOUS 5571 HAS SOUPS 5356 WITH SCORE 5364.106
AT ITER 178 NEW BEST:: SOT 14359 SOS 8084 HAS SOPS 7869 HAS SOUS 5546 HAS SOUPS 5331 WITH SCORE 5339.084
AT ITER 180 NEW BEST:: SOT 14345 SOS 8030 HAS SOPS 7815 HAS SOUS 5509 HAS SOUPS 5294 WITH SCORE 5302.03
AT ITER 185 NEW BEST:: SOT 14278 SOS 7784 HAS SOPS 7569 HAS SOUS 5382 HAS SOUPS 5167 WITH SCORE 5174.784
AT ITER 188 NEW BEST:: SOT 14278 SOS 7780 HAS SOPS 7565 HAS SOUS 5368 HAS SOUPS 5153 WITH SCORE 5160.78
AT ITER 197 NEW BEST:: SOT 14246 SOS 7748 HAS SOPS 7533 HAS SOUS 5360 HAS SOUPS 5145 WITH SCORE 5152.748
AT ITER 198 NEW BEST:: SOT 14209 SOS 7685 HAS SOPS 7502 HAS SOUS 5307 HAS SOUPS 5124 WITH SCORE 5131.685
AT ITER 224 NEW BEST:: SOT 14209 SOS 7693 HAS SOPS 7510 HAS SOUS 5306 HAS SOUPS 5123 WITH SCORE 5130.693
AT ITER 235 NEW BEST:: SOT 14143 SOS 7572 HAS SOPS 7389 HAS SOUS 5251 HAS SOUPS 5068 WITH SCORE 5075.572
AT ITER 237 NEW BEST:: SOT 14036 SOS 7563 HAS SOPS 7380 HAS SOUS 5226 HAS SOUPS 5043 WITH SCORE 5050.563
AT ITER 238 NEW BEST:: SOT 14000 SOS 7508 HAS SOPS 7325 HAS SOUS 5207 HAS SOUPS 5024 WITH SCORE 5031.508
AT ITER 239 NEW BEST:: SOT 13991 SOS 7462 HAS SOPS 7276 HAS SOUS 5161 HAS SOUPS 4975 WITH SCORE 4982.462
AT ITER 242 NEW BEST:: SOT 13969 SOS 7451 HAS SOPS 7254 HAS SOUS 5150 HAS SOUPS 4953 WITH SCORE 4960.451
AT ITER 243 NEW BEST:: SOT 14001 SOS 7445 HAS SOPS 7248 HAS SOUS 5144 HAS SOUPS 4947 WITH SCORE 4954.445
AT ITER 245 NEW BEST:: SOT 13965 SOS 7458 HAS SOPS 7261 HAS SOUS 5141 HAS SOUPS 4944 WITH SCORE 4951.458
AT ITER 247 NEW BEST:: SOT 13965 SOS 7427 HAS SOPS 7261 HAS SOUS 5110 HAS SOUPS 4944 WITH SCORE 4951.427
AT ITER 261 NEW BEST:: SOT 13947 SOS 7409 HAS SOPS 7234 HAS SOUS 5101 HAS SOUPS 4926 WITH SCORE 4933.409
AT ITER 262 NEW BEST:: SOT 13947 SOS 7399 HAS SOPS 7224 HAS SOUS 5101 HAS SOUPS 4926 WITH SCORE 4933.399
AT ITER 271 NEW BEST:: SOT 13953 SOS 7350 HAS SOPS 7175 HAS SOUS 5087 HAS SOUPS 4912 WITH SCORE 4919.35
AT ITER 279 NEW BEST:: SOT 13950 SOS 7359 HAS SOPS 7184 HAS SOUS 5084 HAS SOUPS 4909 WITH SCORE 4916.359
AT ITER 285 NEW BEST:: SOT 13904 SOS 7302 HAS SOPS 7130 HAS SOUS 5002 HAS SOUPS 4830 WITH SCORE 4837.302
AT ITER 287 NEW BEST:: SOT 13901 SOS 7299 HAS SOPS 7127 HAS SOUS 4996 HAS SOUPS 4824 WITH SCORE 4831.299
AT ITER 288 NEW BEST:: SOT 13837 SOS 7235 HAS SOPS 7063 HAS SOUS 4921 HAS SOUPS 4749 WITH SCORE 4756.235
AT ITER 293 NEW BEST:: SOT 13830 SOS 7177 HAS SOPS 7005 HAS SOUS 4868 HAS SOUPS 4696 WITH SCORE 4703.177
AT ITER 294 NEW BEST:: SOT 13825 SOS 7172 HAS SOPS 7000 HAS SOUS 4863 HAS SOUPS 4691 WITH SCORE 4698.172
AT ITER 303 NEW BEST:: SOT 13824 SOS 7159 HAS SOPS 6986 HAS SOUS 4850 HAS SOUPS 4677 WITH SCORE 4684.159
AT ITER 307 NEW BEST:: SOT 13813 SOS 7148 HAS SOPS 6975 HAS SOUS 4839 HAS SOUPS 4666 WITH SCORE 4673.148
AT ITER 309 NEW BEST:: SOT 13793 SOS 7138 HAS SOPS 6955 HAS SOUS 4839 HAS SOUPS 4656 WITH SCORE 4663.138
AT ITER 314 NEW BEST:: SOT 13754 SOS 7072 HAS SOPS 6889 HAS SOUS 4799 HAS SOUPS 4616 WITH SCORE 4623.072
AT ITER 316 NEW BEST:: SOT 13754 SOS 7045 HAS SOPS 6862 HAS SOUS 4799 HAS SOUPS 4616 WITH SCORE 4623.045
AT ITER 319 NEW BEST:: SOT 13710 SOS 7041 HAS SOPS 6830 HAS SOUS 4811 HAS SOUPS 4600 WITH SCORE 4607.041
AT ITER 322 NEW BEST:: SOT 13661 SOS 7152 HAS SOPS 6898 HAS SOUS 4838 HAS SOUPS 4594 WITH SCORE 4601.152
AT ITER 330 NEW BEST:: SOT 13684 SOS 7158 HAS SOPS 6862 HAS SOUS 4854 HAS SOUPS 4568 WITH SCORE 4575.158
AT ITER 333 NEW BEST:: SOT 13630 SOS 7108 HAS SOPS 6812 HAS SOUS 4804 HAS SOUPS 4518 WITH SCORE 4525.108
AT ITER 335 NEW BEST:: SOT 13584 SOS 7061 HAS SOPS 6765 HAS SOUS 4772 HAS SOUPS 4486 WITH SCORE 4493.061
AT ITER 337 NEW BEST:: SOT 13565 SOS 6925 HAS SOPS 6667 HAS SOUS 4674 HAS SOUPS 4416 WITH SCORE 4422.925
AT ITER 340 NEW BEST:: SOT 13564 SOS 6923 HAS SOPS 6667 HAS SOUS 4672 HAS SOUPS 4416 WITH SCORE 4422.923
AT ITER 342 NEW BEST:: SOT 13511 SOS 6859 HAS SOPS 6580 HAS SOUS 4640 HAS SOUPS 4361 WITH SCORE 4367.859
AT ITER 354 NEW BEST:: SOT 13511 SOS 6855 HAS SOPS 6576 HAS SOUS 4640 HAS SOUPS 4361 WITH SCORE 4367.855
AT ITER 361 NEW BEST:: SOT 13511 SOS 6869 HAS SOPS 6562 HAS SOUS 4654 HAS SOUPS 4347 WITH SCORE 4353.869
AT ITER 362 NEW BEST:: SOT 13531 SOS 6841 HAS SOPS 6534 HAS SOUS 4641 HAS SOUPS 4334 WITH SCORE 4340.841
AT ITER 374 NEW BEST:: SOT 13531 SOS 6839 HAS SOPS 6532 HAS SOUS 4639 HAS SOUPS 4332 WITH SCORE 4338.839
AT ITER 382 NEW BEST:: SOT 13486 SOS 6830 HAS SOPS 6469 HAS SOUS 4610 HAS SOUPS 4249 WITH SCORE 4255.83
AT ITER 385 NEW BEST:: SOT 13442 SOS 6828 HAS SOPS 6467 HAS SOUS 4566 HAS SOUPS 4205 WITH SCORE 4211.828
AT ITER 398 NEW BEST:: SOT 13442 SOS 6816 HAS SOPS 6455 HAS SOUS 4566 HAS SOUPS 4205 WITH SCORE 4211.816
AT ITER 399 NEW BEST:: SOT 13434 SOS 6808 HAS SOPS 6447 HAS SOUS 4558 HAS SOUPS 4197 WITH SCORE 4203.808
AT ITER 404 NEW BEST:: SOT 13434 SOS 6808 HAS SOPS 6447 HAS SOUS 4555 HAS SOUPS 4194 WITH SCORE 4200.808
AT ITER 415 NEW BEST:: SOT 13427 SOS 6787 HAS SOPS 6426 HAS SOUS 4541 HAS SOUPS 4180 WITH SCORE 4186.787
AT ITER 424 NEW BEST:: SOT 13424 SOS 6784 HAS SOPS 6423 HAS SOUS 4539 HAS SOUPS 4178 WITH SCORE 4184.784
AT ITER 427 NEW BEST:: SOT 13409 SOS 6787 HAS SOPS 6423 HAS SOUS 4539 HAS SOUPS 4175 WITH SCORE 4181.787
AT ITER 436 NEW BEST:: SOT 13380 SOS 6782 HAS SOPS 6418 HAS SOUS 4533 HAS SOUPS 4169 WITH SCORE 4175.782
AT ITER 451 NEW BEST:: SOT 13378 SOS 6776 HAS SOPS 6414 HAS SOUS 4529 HAS SOUPS 4167 WITH SCORE 4173.776
AT ITER 468 NEW BEST:: SOT 13371 SOS 6754 HAS SOPS 6406 HAS SOUS 4495 HAS SOUPS 4147 WITH SCORE 4153.754
AT ITER 469 NEW BEST:: SOT 13379 SOS 6774 HAS SOPS 6423 HAS SOUS 4493 HAS SOUPS 4142 WITH SCORE 4148.774
AT ITER 480 NEW BEST:: SOT 13396 SOS 6717 HAS SOPS 6369 HAS SOUS 4479 HAS SOUPS 4131 WITH SCORE 4137.717
AT ITER 485 NEW BEST:: SOT 13388 SOS 6713 HAS SOPS 6365 HAS SOUS 4476 HAS SOUPS 4128 WITH SCORE 4134.713
AT ITER 494 NEW BEST:: SOT 13384 SOS 6708 HAS SOPS 6360 HAS SOUS 4476 HAS SOUPS 4128 WITH SCORE 4134.708
AT ITER 503 NEW BEST:: SOT 13376 SOS 6700 HAS SOPS 6352 HAS SOUS 4460 HAS SOUPS 4112 WITH SCORE 4118.7
AT ITER 513 NEW BEST:: SOT 13380 SOS 6693 HAS SOPS 6356 HAS SOUS 4442 HAS SOUPS 4105 WITH SCORE 4111.693
AT ITER 528 NEW BEST:: SOT 13362 SOS 6666 HAS SOPS 6329 HAS SOUS 4424 HAS SOUPS 4087 WITH SCORE 4093.666
AT ITER 529 NEW BEST:: SOT 13343 SOS 6647 HAS SOPS 6310 HAS SOUS 4412 HAS SOUPS 4075 WITH SCORE 4081.647
AT ITER 534 NEW BEST:: SOT 13362 SOS 6615 HAS SOPS 6278 HAS SOUS 4401 HAS SOUPS 4064 WITH SCORE 4070.615
AT ITER 545 NEW BEST:: SOT 13354 SOS 6599 HAS SOPS 6262 HAS SOUS 4393 HAS SOUPS 4056 WITH SCORE 4062.599
AT ITER 558 NEW BEST:: SOT 13332 SOS 6573 HAS SOPS 6236 HAS SOUS 4367 HAS SOUPS 4030 WITH SCORE 4036.573
AT ITER 571 NEW BEST:: SOT 13306 SOS 6464 HAS SOPS 6127 HAS SOUS 4362 HAS SOUPS 4025 WITH SCORE 4031.464
AT ITER 584 NEW BEST:: SOT 13206 SOS 6396 HAS SOPS 6058 HAS SOUS 4310 HAS SOUPS 3972 WITH SCORE 3978.396
AT ITER 602 NEW BEST:: SOT 13140 SOS 6320 HAS SOPS 5982 HAS SOUS 4270 HAS SOUPS 3932 WITH SCORE 3938.32
AT ITER 647 NEW BEST:: SOT 13140 SOS 6308 HAS SOPS 5970 HAS SOUS 4270 HAS SOUPS 3932 WITH SCORE 3938.308
AT ITER 665 NEW BEST:: SOT 13118 SOS 6258 HAS SOPS 5920 HAS SOUS 4266 HAS SOUPS 3928 WITH SCORE 3934.258
AT ITER 667 NEW BEST:: SOT 13114 SOS 6241 HAS SOPS 5901 HAS SOUS 4258 HAS SOUPS 3919 WITH SCORE 3925.241
AT ITER 679 NEW BEST:: SOT 13114 SOS 6223 HAS SOPS 5883 HAS SOUS 4258 HAS SOUPS 3919 WITH SCORE 3925.223
AT ITER 697 NEW BEST:: SOT 13067 SOS 6159 HAS SOPS 5830 HAS SOUS 4223 HAS SOUPS 3895 WITH SCORE 3901.159
AT ITER 703 NEW BEST:: SOT 13067 SOS 5927 HAS SOPS 5598 HAS SOUS 4211 HAS SOUPS 3883 WITH SCORE 3888.927
AT ITER 713 NEW BEST:: SOT 13067 SOS 5927 HAS SOPS 5598 HAS SOUS 4202 HAS SOUPS 3874 WITH SCORE 3879.927
AT ITER 714 NEW BEST:: SOT 13057 SOS 5918 HAS SOPS 5570 HAS SOUS 4205 HAS SOUPS 3858 WITH SCORE 3863.918
AT ITER 718 NEW BEST:: SOT 13029 SOS 5874 HAS SOPS 5526 HAS SOUS 4177 HAS SOUPS 3830 WITH SCORE 3835.874
AT ITER 730 NEW BEST:: SOT 13022 SOS 5867 HAS SOPS 5519 HAS SOUS 4172 HAS SOUPS 3825 WITH SCORE 3830.867
AT ITER 782 NEW BEST:: SOT 13022 SOS 5853 HAS SOPS 5505 HAS SOUS 4168 HAS SOUPS 3821 WITH SCORE 3826.853
AT ITER 811 NEW BEST:: SOT 13022 SOS 5847 HAS SOPS 5499 HAS SOUS 4162 HAS SOUPS 3815 WITH SCORE 3820.847
AT ITER 813 NEW BEST:: SOT 13019 SOS 5956 HAS SOPS 5608 HAS SOUS 4158 HAS SOUPS 3811 WITH SCORE 3816.956
AT ITER 876 NEW BEST:: SOT 13027 SOS 5965 HAS SOPS 5617 HAS SOUS 4153 HAS SOUPS 3806 WITH SCORE 3811.965
AT ITER 892 NEW BEST:: SOT 13024 SOS 5960 HAS SOPS 5612 HAS SOUS 4150 HAS SOUPS 3803 WITH SCORE 3808.96
AT ITER 895 NEW BEST:: SOT 13020 SOS 5954 HAS SOPS 5606 HAS SOUS 4146 HAS SOUPS 3799 WITH SCORE 3804.954
AT ITER 898 NEW BEST:: SOT 12989 SOS 6007 HAS SOPS 5645 HAS SOUS 4157 HAS SOUPS 3796 WITH SCORE 3802.007
AT ITER 906 NEW BEST:: SOT 12975 SOS 5979 HAS SOPS 5617 HAS SOUS 4143 HAS SOUPS 3782 WITH SCORE 3787.979
AT ITER 944 NEW BEST:: SOT 12971 SOS 5963 HAS SOPS 5601 HAS SOUS 4139 HAS SOUPS 3778 WITH SCORE 3783.963
AT ITER 946 NEW BEST:: SOT 12945 SOS 5937 HAS SOPS 5575 HAS SOUS 4139 HAS SOUPS 3778 WITH SCORE 3783.937
AT ITER 967 NEW BEST:: SOT 12903 SOS 5895 HAS SOPS 5533 HAS SOUS 4097 HAS SOUPS 3736 WITH SCORE 3741.895
AT ITER 995 NEW BEST:: SOT 12903 SOS 5883 HAS SOPS 5521 HAS SOUS 4085 HAS SOUPS 3724 WITH SCORE 3729.883
AT ITER 997 NEW BEST:: SOT 12903 SOS 5883 HAS SOPS 5521 HAS SOUS 4084 HAS SOUPS 3723 WITH SCORE 3728.883
AT ITER 1002 NEW BEST:: SOT 12888 SOS 5886 HAS SOPS 5528 HAS SOUS 4050 HAS SOUPS 3693 WITH SCORE 3698.886
AT ITER 1009 NEW BEST:: SOT 12872 SOS 5868 HAS SOPS 5510 HAS SOUS 4032 HAS SOUPS 3675 WITH SCORE 3680.868
AT ITER 1018 NEW BEST:: SOT 12869 SOS 5855 HAS SOPS 5497 HAS SOUS 4029 HAS SOUPS 3672 WITH SCORE 3677.855
AT ITER 1028 NEW BEST:: SOT 12867 SOS 5851 HAS SOPS 5493 HAS SOUS 4027 HAS SOUPS 3670 WITH SCORE 3675.851
AT ITER 1062 NEW BEST:: SOT 12866 SOS 5861 HAS SOPS 5491 HAS SOUS 4037 HAS SOUPS 3668 WITH SCORE 3673.861
AT ITER 1073 NEW BEST:: SOT 12857 SOS 5852 HAS SOPS 5482 HAS SOUS 4028 HAS SOUPS 3659 WITH SCORE 3664.852
AT ITER 1084 NEW BEST:: SOT 12830 SOS 5825 HAS SOPS 5455 HAS SOUS 4021 HAS SOUPS 3652 WITH SCORE 3657.825
AT ITER 1105 NEW BEST:: SOT 12807 SOS 5802 HAS SOPS 5432 HAS SOUS 4011 HAS SOUPS 3642 WITH SCORE 3647.802
AT ITER 1128 NEW BEST:: SOT 12806 SOS 5770 HAS SOPS 5400 HAS SOUS 3998 HAS SOUPS 3629 WITH SCORE 3634.77
AT ITER 1170 NEW BEST:: SOT 12806 SOS 5767 HAS SOPS 5397 HAS SOUS 3998 HAS SOUPS 3629 WITH SCORE 3634.767
AT ITER 1183 NEW BEST:: SOT 12736 SOS 5667 HAS SOPS 5297 HAS SOUS 3987 HAS SOUPS 3618 WITH SCORE 3623.667
AT ITER 1189 NEW BEST:: SOT 12741 SOS 5672 HAS SOPS 5297 HAS SOUS 3987 HAS SOUPS 3613 WITH SCORE 3618.672
AT ITER 1191 NEW BEST:: SOT 12716 SOS 5649 HAS SOPS 5274 HAS SOUS 3978 HAS SOUPS 3604 WITH SCORE 3609.649
AT ITER 1192 NEW BEST:: SOT 12735 SOS 5624 HAS SOPS 5249 HAS SOUS 3958 HAS SOUPS 3584 WITH SCORE 3589.624
AT ITER 1194 NEW BEST:: SOT 12733 SOS 5622 HAS SOPS 5247 HAS SOUS 3956 HAS SOUPS 3582 WITH SCORE 3587.622
AT ITER 1212 NEW BEST:: SOT 12704 SOS 5332 HAS SOPS 4957 HAS SOUS 3898 HAS SOUPS 3524 WITH SCORE 3529.332
AT ITER 1218 NEW BEST:: SOT 12682 SOS 5298 HAS SOPS 4923 HAS SOUS 3872 HAS SOUPS 3498 WITH SCORE 3503.298
AT ITER 1233 NEW BEST:: SOT 12647 SOS 5273 HAS SOPS 4898 HAS SOUS 3868 HAS SOUPS 3494 WITH SCORE 3499.273
AT ITER 1250 NEW BEST:: SOT 12643 SOS 5269 HAS SOPS 4894 HAS SOUS 3868 HAS SOUPS 3494 WITH SCORE 3499.269
AT ITER 1259 NEW BEST:: SOT 12638 SOS 5264 HAS SOPS 4889 HAS SOUS 3863 HAS SOUPS 3489 WITH SCORE 3494.264
AT ITER 1260 NEW BEST:: SOT 12639 SOS 5265 HAS SOPS 4890 HAS SOUS 3862 HAS SOUPS 3488 WITH SCORE 3493.265
AT ITER 1267 NEW BEST:: SOT 12639 SOS 5208 HAS SOPS 4833 HAS SOUS 3862 HAS SOUPS 3488 WITH SCORE 3493.208
AT ITER 1271 NEW BEST:: SOT 12639 SOS 5208 HAS SOPS 4833 HAS SOUS 3860 HAS SOUPS 3486 WITH SCORE 3491.208
AT ITER 1289 NEW BEST:: SOT 12637 SOS 5207 HAS SOPS 4832 HAS SOUS 3859 HAS SOUPS 3485 WITH SCORE 3490.207
AT ITER 1291 NEW BEST:: SOT 12638 SOS 5208 HAS SOPS 4833 HAS SOUS 3851 HAS SOUPS 3477 WITH SCORE 3482.208
AT ITER 1306 NEW BEST:: SOT 12564 SOS 5134 HAS SOPS 4757 HAS SOUS 3820 HAS SOUPS 3444 WITH SCORE 3449.134
AT ITER 1309 NEW BEST:: SOT 12555 SOS 5116 HAS SOPS 4739 HAS SOUS 3820 HAS SOUPS 3444 WITH SCORE 3449.116
AT ITER 1320 NEW BEST:: SOT 12516 SOS 4995 HAS SOPS 4618 HAS SOUS 3760 HAS SOUPS 3384 WITH SCORE 3388.995
AT ITER 1335 NEW BEST:: SOT 12507 SOS 4980 HAS SOPS 4603 HAS SOUS 3752 HAS SOUPS 3376 WITH SCORE 3380.98
AT ITER 1340 NEW BEST:: SOT 12500 SOS 4973 HAS SOPS 4596 HAS SOUS 3750 HAS SOUPS 3374 WITH SCORE 3378.973
AT ITER 1342 NEW BEST:: SOT 12521 SOS 4964 HAS SOPS 4594 HAS SOUS 3743 HAS SOUPS 3374 WITH SCORE 3378.964
AT ITER 1362 NEW BEST:: SOT 12525 SOS 4976 HAS SOPS 4598 HAS SOUS 3745 HAS SOUPS 3372 WITH SCORE 3376.976
AT ITER 1366 NEW BEST:: SOT 12519 SOS 4976 HAS SOPS 4593 HAS SOUS 3746 HAS SOUPS 3368 WITH SCORE 3372.976
AT ITER 1391 NEW BEST:: SOT 12449 SOS 5069 HAS SOPS 4686 HAS SOUS 3735 HAS SOUPS 3357 WITH SCORE 3362.069
AT ITER 1392 NEW BEST:: SOT 12448 SOS 5068 HAS SOPS 4685 HAS SOUS 3735 HAS SOUPS 3357 WITH SCORE 3362.068
AT ITER 1423 NEW BEST:: SOT 12444 SOS 5064 HAS SOPS 4681 HAS SOUS 3734 HAS SOUPS 3356 WITH SCORE 3361.064
AT ITER 1432 NEW BEST:: SOT 12374 SOS 5033 HAS SOPS 4655 HAS SOUS 3722 HAS SOUPS 3344 WITH SCORE 3349.033
AT ITER 1441 NEW BEST:: SOT 12374 SOS 5033 HAS SOPS 4655 HAS SOUS 3719 HAS SOUPS 3341 WITH SCORE 3346.033
AT ITER 1448 NEW BEST:: SOT 12364 SOS 5023 HAS SOPS 4645 HAS SOUS 3699 HAS SOUPS 3321 WITH SCORE 3326.023
AT ITER 1450 NEW BEST:: SOT 12354 SOS 5018 HAS SOPS 4611 HAS SOUS 3694 HAS SOUPS 3287 WITH SCORE 3292.018
AT ITER 1456 NEW BEST:: SOT 12351 SOS 4878 HAS SOPS 4471 HAS SOUS 3687 HAS SOUPS 3280 WITH SCORE 3284.878
AT ITER 1480 NEW BEST:: SOT 12347 SOS 4874 HAS SOPS 4467 HAS SOUS 3683 HAS SOUPS 3276 WITH SCORE 3280.874
AT ITER 1500 NEW BEST:: SOT 12346 SOS 4873 HAS SOPS 4466 HAS SOUS 3682 HAS SOUPS 3275 WITH SCORE 3279.873
AT ITER 1512 NEW BEST:: SOT 12299 SOS 4792 HAS SOPS 4385 HAS SOUS 3621 HAS SOUPS 3214 WITH SCORE 3218.792
AT ITER 1518 NEW BEST:: SOT 12297 SOS 4793 HAS SOPS 4386 HAS SOUS 3620 HAS SOUPS 3213 WITH SCORE 3217.793
AT ITER 1527 NEW BEST:: SOT 12280 SOS 4759 HAS SOPS 4369 HAS SOUS 3603 HAS SOUPS 3213 WITH SCORE 3217.759
AT ITER 1570 NEW BEST:: SOT 12280 SOS 4756 HAS SOPS 4366 HAS SOUS 3603 HAS SOUPS 3213 WITH SCORE 3217.756
AT ITER 1625 NEW BEST:: SOT 12275 SOS 4733 HAS SOPS 4343 HAS SOUS 3592 HAS SOUPS 3202 WITH SCORE 3206.733
AT ITER 1627 NEW BEST:: SOT 12260 SOS 4683 HAS SOPS 4293 HAS SOUS 3588 HAS SOUPS 3198 WITH SCORE 3202.683
AT ITER 1631 NEW BEST:: SOT 12251 SOS 4657 HAS SOPS 4262 HAS SOUS 3575 HAS SOUPS 3180 WITH SCORE 3184.657
AT ITER 1636 NEW BEST:: SOT 12248 SOS 4656 HAS SOPS 4259 HAS SOUS 3574 HAS SOUPS 3177 WITH SCORE 3181.656
AT ITER 1638 NEW BEST:: SOT 12248 SOS 4647 HAS SOPS 4250 HAS SOUS 3574 HAS SOUPS 3177 WITH SCORE 3181.647
AT ITER 1642 NEW BEST:: SOT 12202 SOS 4609 HAS SOPS 4212 HAS SOUS 3526 HAS SOUPS 3129 WITH SCORE 3133.609
AT ITER 1651 NEW BEST:: SOT 12209 SOS 4578 HAS SOPS 4181 HAS SOUS 3524 HAS SOUPS 3127 WITH SCORE 3131.578
AT ITER 1659 NEW BEST:: SOT 12205 SOS 4544 HAS SOPS 4147 HAS SOUS 3516 HAS SOUPS 3119 WITH SCORE 3123.544
AT ITER 1689 NEW BEST:: SOT 12201 SOS 4543 HAS SOPS 4146 HAS SOUS 3516 HAS SOUPS 3119 WITH SCORE 3123.543
AT ITER 1691 NEW BEST:: SOT 12145 SOS 4417 HAS SOPS 4042 HAS SOUS 3442 HAS SOUPS 3067 WITH SCORE 3071.417
AT ITER 1698 NEW BEST:: SOT 12133 SOS 4412 HAS SOPS 4037 HAS SOUS 3431 HAS SOUPS 3056 WITH SCORE 3060.412
AT ITER 1701 NEW BEST:: SOT 12129 SOS 4408 HAS SOPS 4032 HAS SOUS 3429 HAS SOUPS 3053 WITH SCORE 3057.408
AT ITER 1713 NEW BEST:: SOT 12115 SOS 4389 HAS SOPS 4015 HAS SOUS 3421 HAS SOUPS 3047 WITH SCORE 3051.389
AT ITER 1726 NEW BEST:: SOT 12115 SOS 4386 HAS SOPS 4015 HAS SOUS 3418 HAS SOUPS 3047 WITH SCORE 3051.386
AT ITER 1734 NEW BEST:: SOT 12123 SOS 4384 HAS SOPS 4013 HAS SOUS 3408 HAS SOUPS 3037 WITH SCORE 3041.384
AT ITER 1768 NEW BEST:: SOT 12123 SOS 4374 HAS SOPS 4003 HAS SOUS 3403 HAS SOUPS 3032 WITH SCORE 3036.374
AT ITER 1794 NEW BEST:: SOT 12122 SOS 4376 HAS SOPS 4005 HAS SOUS 3399 HAS SOUPS 3028 WITH SCORE 3032.376
AT ITER 1801 NEW BEST:: SOT 12118 SOS 4371 HAS SOPS 3997 HAS SOUS 3394 HAS SOUPS 3020 WITH SCORE 3024.371
AT ITER 1804 NEW BEST:: SOT 12118 SOS 4370 HAS SOPS 3996 HAS SOUS 3393 HAS SOUPS 3019 WITH SCORE 3023.37
AT ITER 1828 NEW BEST:: SOT 12114 SOS 4358 HAS SOPS 3984 HAS SOUS 3389 HAS SOUPS 3015 WITH SCORE 3019.358
AT ITER 1845 NEW BEST:: SOT 12104 SOS 4317 HAS SOPS 3943 HAS SOUS 3374 HAS SOUPS 3000 WITH SCORE 3004.317
AT ITER 1855 NEW BEST:: SOT 12096 SOS 4309 HAS SOPS 3935 HAS SOUS 3374 HAS SOUPS 3000 WITH SCORE 3004.309
AT ITER 1923 NEW BEST:: SOT 12095 SOS 4306 HAS SOPS 3929 HAS SOUS 3371 HAS SOUPS 2994 WITH SCORE 2998.306
AT ITER 1926 NEW BEST:: SOT 12087 SOS 4279 HAS SOPS 3895 HAS SOUS 3355 HAS SOUPS 2976 WITH SCORE 2980.279
AT ITER 1927 NEW BEST:: SOT 12089 SOS 4281 HAS SOPS 3899 HAS SOUS 3339 HAS SOUPS 2962 WITH SCORE 2966.281
AT ITER 1956 NEW BEST:: SOT 12066 SOS 4241 HAS SOPS 3874 HAS SOUS 3320 HAS SOUPS 2958 WITH SCORE 2962.241
AT ITER 1958 NEW BEST:: SOT 12066 SOS 4241 HAS SOPS 3874 HAS SOUS 3315 HAS SOUPS 2953 WITH SCORE 2957.241
AT ITER 1968 NEW BEST:: SOT 12066 SOS 4238 HAS SOPS 3871 HAS SOUS 3315 HAS SOUPS 2953 WITH SCORE 2957.238
AT ITER 1982 NEW BEST:: SOT 12043 SOS 4216 HAS SOPS 3849 HAS SOUS 3301 HAS SOUPS 2939 WITH SCORE 2943.216
AT ITER 1984 NEW BEST:: SOT 12036 SOS 4183 HAS SOPS 3834 HAS SOUS 3276 HAS SOUPS 2932 WITH SCORE 2936.183
AT ITER 2016 NEW BEST:: SOT 12034 SOS 4181 HAS SOPS 3832 HAS SOUS 3276 HAS SOUPS 2932 WITH SCORE 2936.181
AT ITER 2030 NEW BEST:: SOT 12033 SOS 4180 HAS SOPS 3827 HAS SOUS 3275 HAS SOUPS 2927 WITH SCORE 2931.18
AT ITER 2144 NEW BEST:: SOT 12029 SOS 4180 HAS SOPS 3823 HAS SOUS 3275 HAS SOUPS 2923 WITH SCORE 2927.18
AT ITER 2154 NEW BEST:: SOT 12029 SOS 4178 HAS SOPS 3821 HAS SOUS 3275 HAS SOUPS 2923 WITH SCORE 2927.178
AT ITER 2160 NEW BEST:: SOT 12029 SOS 4178 HAS SOPS 3818 HAS SOUS 3275 HAS SOUPS 2920 WITH SCORE 2924.178
AT ITER 2165 NEW BEST:: SOT 12038 SOS 4187 HAS SOPS 3827 HAS SOUS 3274 HAS SOUPS 2919 WITH SCORE 2923.187
AT ITER 2191 NEW BEST:: SOT 12037 SOS 4186 HAS SOPS 3820 HAS SOUS 3273 HAS SOUPS 2912 WITH SCORE 2916.186
AT ITER 2196 NEW BEST:: SOT 12029 SOS 4181 HAS SOPS 3822 HAS SOUS 3262 HAS SOUPS 2908 WITH SCORE 2912.181
AT ITER 2222 NEW BEST:: SOT 12030 SOS 4187 HAS SOPS 3819 HAS SOUS 3268 HAS SOUPS 2905 WITH SCORE 2909.187
AT ITER 2234 NEW BEST:: SOT 12029 SOS 4186 HAS SOPS 3812 HAS SOUS 3267 HAS SOUPS 2898 WITH SCORE 2902.186
AT ITER 2244 NEW BEST:: SOT 12029 SOS 4185 HAS SOPS 3811 HAS SOUS 3266 HAS SOUPS 2897 WITH SCORE 2901.185
AT ITER 2257 NEW BEST:: SOT 12008 SOS 4136 HAS SOPS 3768 HAS SOUS 3239 HAS SOUPS 2876 WITH SCORE 2880.136
AT ITER 2277 NEW BEST:: SOT 12007 SOS 4135 HAS SOPS 3767 HAS SOUS 3238 HAS SOUPS 2875 WITH SCORE 2879.135
AT ITER 2303 NEW BEST:: SOT 11996 SOS 4130 HAS SOPS 3762 HAS SOUS 3237 HAS SOUPS 2874 WITH SCORE 2878.13
AT ITER 2339 NEW BEST:: SOT 11991 SOS 4130 HAS SOPS 3762 HAS SOUS 3232 HAS SOUPS 2869 WITH SCORE 2873.13
AT ITER 2354 NEW BEST:: SOT 12012 SOS 4136 HAS SOPS 3768 HAS SOUS 3225 HAS SOUPS 2862 WITH SCORE 2866.136
AT ITER 2382 NEW BEST:: SOT 12004 SOS 4124 HAS SOPS 3756 HAS SOUS 3220 HAS SOUPS 2857 WITH SCORE 2861.124
AT ITER 2407 NEW BEST:: SOT 12002 SOS 4115 HAS SOPS 3757 HAS SOUS 3215 HAS SOUPS 2857 WITH SCORE 2861.115
AT ITER 2441 NEW BEST:: SOT 11993 SOS 4079 HAS SOPS 3721 HAS SOUS 3197 HAS SOUPS 2839 WITH SCORE 2843.079
AT ITER 2453 NEW BEST:: SOT 11989 SOS 4071 HAS SOPS 3713 HAS SOUS 3193 HAS SOUPS 2835 WITH SCORE 2839.071
AT ITER 2479 NEW BEST:: SOT 11988 SOS 4071 HAS SOPS 3713 HAS SOUS 3192 HAS SOUPS 2834 WITH SCORE 2838.071
AT ITER 2482 NEW BEST:: SOT 11985 SOS 4062 HAS SOPS 3704 HAS SOUS 3186 HAS SOUPS 2828 WITH SCORE 2832.062
AT ITER 2485 NEW BEST:: SOT 11982 SOS 4059 HAS SOPS 3701 HAS SOUS 3184 HAS SOUPS 2826 WITH SCORE 2830.059
AT ITER 2531 NEW BEST:: SOT 11979 SOS 4060 HAS SOPS 3696 HAS SOUS 3187 HAS SOUPS 2823 WITH SCORE 2827.06
AT ITER 2619 NEW BEST:: SOT 11979 SOS 4060 HAS SOPS 3696 HAS SOUS 3184 HAS SOUPS 2820 WITH SCORE 2824.06
AT ITER 2634 NEW BEST:: SOT 11976 SOS 4059 HAS SOPS 3695 HAS SOUS 3182 HAS SOUPS 2818 WITH SCORE 2822.059
AT ITER 2655 NEW BEST:: SOT 11974 SOS 4042 HAS SOPS 3676 HAS SOUS 3174 HAS SOUPS 2809 WITH SCORE 2813.042
AT ITER 2661 NEW BEST:: SOT 11999 SOS 4025 HAS SOPS 3659 HAS SOUS 3165 HAS SOUPS 2800 WITH SCORE 2804.025
AT ITER 2693 NEW BEST:: SOT 11996 SOS 4024 HAS SOPS 3653 HAS SOUS 3167 HAS SOUPS 2797 WITH SCORE 2801.024
AT ITER 2694 NEW BEST:: SOT 11964 SOS 4001 HAS SOPS 3630 HAS SOUS 3166 HAS SOUPS 2796 WITH SCORE 2800.001
AT ITER 2733 NEW BEST:: SOT 11962 SOS 3999 HAS SOPS 3628 HAS SOUS 3164 HAS SOUPS 2794 WITH SCORE 2797.999
AT ITER 2812 NEW BEST:: SOT 11963 SOS 4000 HAS SOPS 3629 HAS SOUS 3163 HAS SOUPS 2793 WITH SCORE 2797.0
AT ITER 2842 NEW BEST:: SOT 11963 SOS 4000 HAS SOPS 3629 HAS SOUS 3162 HAS SOUPS 2792 WITH SCORE 2796.0
AT ITER 2847 NEW BEST:: SOT 11960 SOS 3997 HAS SOPS 3626 HAS SOUS 3161 HAS SOUPS 2791 WITH SCORE 2794.997
AT ITER 2879 NEW BEST:: SOT 11958 SOS 3991 HAS SOPS 3620 HAS SOUS 3157 HAS SOUPS 2787 WITH SCORE 2790.991
AT ITER 2893 NEW BEST:: SOT 11958 SOS 3991 HAS SOPS 3620 HAS SOUS 3155 HAS SOUPS 2785 WITH SCORE 2788.991
AT ITER 2938 NEW BEST:: SOT 11958 SOS 3982 HAS SOPS 3611 HAS SOUS 3152 HAS SOUPS 2782 WITH SCORE 2785.982
AT ITER 2947 NEW BEST:: SOT 11957 SOS 3978 HAS SOPS 3608 HAS SOUS 3149 HAS SOUPS 2780 WITH SCORE 2783.978
AT ITER 2996 NEW BEST:: SOT 11946 SOS 3972 HAS SOPS 3602 HAS SOUS 3143 HAS SOUPS 2774 WITH SCORE 2777.972
AT ITER 3022 NEW BEST:: SOT 11954 SOS 3961 HAS SOPS 3591 HAS SOUS 3132 HAS SOUPS 2763 WITH SCORE 2766.961
AT ITER 3027 NEW BEST:: SOT 11954 SOS 3956 HAS SOPS 3586 HAS SOUS 3130 HAS SOUPS 2761 WITH SCORE 2764.956
AT ITER 3038 NEW BEST:: SOT 11953 SOS 3955 HAS SOPS 3585 HAS SOUS 3129 HAS SOUPS 2760 WITH SCORE 2763.955
AT ITER 3053 NEW BEST:: SOT 11951 SOS 3936 HAS SOPS 3566 HAS SOUS 3125 HAS SOUPS 2756 WITH SCORE 2759.936
AT ITER 3077 NEW BEST:: SOT 11955 SOS 3940 HAS SOPS 3565 HAS SOUS 3129 HAS SOUPS 2755 WITH SCORE 2758.94
AT ITER 3099 NEW BEST:: SOT 11951 SOS 3917 HAS SOPS 3542 HAS SOUS 3106 HAS SOUPS 2732 WITH SCORE 2735.917
AT ITER 3100 NEW BEST:: SOT 11948 SOS 3913 HAS SOPS 3538 HAS SOUS 3104 HAS SOUPS 2730 WITH SCORE 2733.913
AT ITER 3109 NEW BEST:: SOT 11945 SOS 3910 HAS SOPS 3535 HAS SOUS 3104 HAS SOUPS 2730 WITH SCORE 2733.91
AT ITER 3121 NEW BEST:: SOT 11935 SOS 3900 HAS SOPS 3525 HAS SOUS 3096 HAS SOUPS 2722 WITH SCORE 2725.9
AT ITER 3156 NEW BEST:: SOT 11932 SOS 3899 HAS SOPS 3524 HAS SOUS 3095 HAS SOUPS 2721 WITH SCORE 2724.899
AT ITER 3271 NEW BEST:: SOT 11933 SOS 3895 HAS SOPS 3523 HAS SOUS 3090 HAS SOUPS 2719 WITH SCORE 2722.895
AT ITER 3306 NEW BEST:: SOT 11938 SOS 3898 HAS SOPS 3526 HAS SOUS 3083 HAS SOUPS 2712 WITH SCORE 2715.898
AT ITER 3321 NEW BEST:: SOT 11939 SOS 3897 HAS SOPS 3524 HAS SOUS 3082 HAS SOUPS 2710 WITH SCORE 2713.897
AT ITER 3333 NEW BEST:: SOT 11937 SOS 3917 HAS SOPS 3532 HAS SOUS 3092 HAS SOUPS 2708 WITH SCORE 2711.917
AT ITER 3390 NEW BEST:: SOT 11953 SOS 3911 HAS SOPS 3526 HAS SOUS 3089 HAS SOUPS 2705 WITH SCORE 2708.911
AT ITER 3395 NEW BEST:: SOT 11952 SOS 3909 HAS SOPS 3525 HAS SOUS 3087 HAS SOUPS 2704 WITH SCORE 2707.909
AT ITER 3465 NEW BEST:: SOT 11952 SOS 3908 HAS SOPS 3524 HAS SOUS 3086 HAS SOUPS 2703 WITH SCORE 2706.908
AT ITER 3481 NEW BEST:: SOT 11949 SOS 3905 HAS SOPS 3521 HAS SOUS 3080 HAS SOUPS 2697 WITH SCORE 2700.905
AT ITER 3539 NEW BEST:: SOT 11947 SOS 3903 HAS SOPS 3518 HAS SOUS 3079 HAS SOUPS 2695 WITH SCORE 2698.903
AT ITER 3569 NEW BEST:: SOT 11946 SOS 3902 HAS SOPS 3516 HAS SOUS 3078 HAS SOUPS 2693 WITH SCORE 2696.902
AT ITER 3601 NEW BEST:: SOT 11946 SOS 3900 HAS SOPS 3516 HAS SOUS 3076 HAS SOUPS 2693 WITH SCORE 2696.9
AT ITER 3636 NEW BEST:: SOT 11944 SOS 3896 HAS SOPS 3512 HAS SOUS 3074 HAS SOUPS 2691 WITH SCORE 2694.896
AT ITER 3647 NEW BEST:: SOT 11942 SOS 3881 HAS SOPS 3505 HAS SOUS 3064 HAS SOUPS 2689 WITH SCORE 2692.881
AT ITER 3756 NEW BEST:: SOT 12044 SOS 3904 HAS SOPS 3528 HAS SOUS 3054 HAS SOUPS 2679 WITH SCORE 2682.904
AT ITER 3890 NEW BEST:: SOT 12039 SOS 3900 HAS SOPS 3524 HAS SOUS 3050 HAS SOUPS 2675 WITH SCORE 2678.9
AT ITER 3932 NEW BEST:: SOT 12040 SOS 3832 HAS SOPS 3456 HAS SOUS 3050 HAS SOUPS 2675 WITH SCORE 2678.832
AT ITER 3973 NEW BEST:: SOT 12019 SOS 3898 HAS SOPS 3522 HAS SOUS 3046 HAS SOUPS 2671 WITH SCORE 2674.898
AT ITER 3985 NEW BEST:: SOT 12018 SOS 3891 HAS SOPS 3515 HAS SOUS 3044 HAS SOUPS 2669 WITH SCORE 2672.891
AT ITER 3996 NEW BEST:: SOT 11998 SOS 3853 HAS SOPS 3477 HAS SOUS 3039 HAS SOUPS 2664 WITH SCORE 2667.853
AT ITER 4009 NEW BEST:: SOT 11998 SOS 3852 HAS SOPS 3476 HAS SOUS 3039 HAS SOUPS 2664 WITH SCORE 2667.852
AT ITER 4017 NEW BEST:: SOT 11994 SOS 3842 HAS SOPS 3466 HAS SOUS 3033 HAS SOUPS 2658 WITH SCORE 2661.842
AT ITER 4043 NEW BEST:: SOT 11989 SOS 3837 HAS SOPS 3461 HAS SOUS 3028 HAS SOUPS 2653 WITH SCORE 2656.837
AT ITER 4062 NEW BEST:: SOT 11989 SOS 3817 HAS SOPS 3441 HAS SOUS 3028 HAS SOUPS 2653 WITH SCORE 2656.817
AT ITER 4071 NEW BEST:: SOT 11989 SOS 3810 HAS SOPS 3434 HAS SOUS 3020 HAS SOUPS 2645 WITH SCORE 2648.81
AT ITER 4107 NEW BEST:: SOT 11989 SOS 3809 HAS SOPS 3433 HAS SOUS 3020 HAS SOUPS 2645 WITH SCORE 2648.809
AT ITER 4128 NEW BEST:: SOT 11990 SOS 3823 HAS SOPS 3443 HAS SOUS 3019 HAS SOUPS 2642 WITH SCORE 2645.823
AT ITER 4145 NEW BEST:: SOT 11996 SOS 3826 HAS SOPS 3446 HAS SOUS 3018 HAS SOUPS 2641 WITH SCORE 2644.826
AT ITER 4165 NEW BEST:: SOT 11988 SOS 3818 HAS SOPS 3438 HAS SOUS 3015 HAS SOUPS 2638 WITH SCORE 2641.818
AT ITER 4170 NEW BEST:: SOT 11987 SOS 3811 HAS SOPS 3434 HAS SOUS 3009 HAS SOUPS 2635 WITH SCORE 2638.811
AT ITER 4282 NEW BEST:: SOT 11991 SOS 3803 HAS SOPS 3426 HAS SOUS 3009 HAS SOUPS 2635 WITH SCORE 2638.803
AT ITER 4334 NEW BEST:: SOT 11992 SOS 4064 HAS SOPS 3658 HAS SOUS 3029 HAS SOUPS 2631 WITH SCORE 2635.064
AT ITER 4360 NEW BEST:: SOT 11990 SOS 4062 HAS SOPS 3655 HAS SOUS 3030 HAS SOUPS 2631 WITH SCORE 2635.062
AT ITER 4377 NEW BEST:: SOT 11986 SOS 4058 HAS SOPS 3651 HAS SOUS 3028 HAS SOUPS 2629 WITH SCORE 2633.058
AT ITER 4385 NEW BEST:: SOT 11986 SOS 4056 HAS SOPS 3649 HAS SOUS 3028 HAS SOUPS 2629 WITH SCORE 2633.056
AT ITER 4415 NEW BEST:: SOT 11978 SOS 4047 HAS SOPS 3640 HAS SOUS 3020 HAS SOUPS 2621 WITH SCORE 2625.047
AT ITER 4462 NEW BEST:: SOT 11987 SOS 4056 HAS SOPS 3636 HAS SOUS 3029 HAS SOUPS 2617 WITH SCORE 2621.056
AT ITER 4490 NEW BEST:: SOT 11989 SOS 4055 HAS SOPS 3635 HAS SOUS 3026 HAS SOUPS 2614 WITH SCORE 2618.055
AT ITER 4491 NEW BEST:: SOT 11988 SOS 4050 HAS SOPS 3630 HAS SOUS 3024 HAS SOUPS 2612 WITH SCORE 2616.05
AT ITER 4517 NEW BEST:: SOT 11987 SOS 4039 HAS SOPS 3619 HAS SOUS 3022 HAS SOUPS 2610 WITH SCORE 2614.039
AT ITER 4526 NEW BEST:: SOT 11986 SOS 4036 HAS SOPS 3614 HAS SOUS 3020 HAS SOUPS 2607 WITH SCORE 2611.036
AT ITER 4554 NEW BEST:: SOT 11983 SOS 4039 HAS SOPS 3617 HAS SOUS 3017 HAS SOUPS 2604 WITH SCORE 2608.039
AT ITER 4599 NEW BEST:: SOT 11983 SOS 4037 HAS SOPS 3615 HAS SOUS 3015 HAS SOUPS 2602 WITH SCORE 2606.037
AT ITER 4643 NEW BEST:: SOT 11983 SOS 4043 HAS SOPS 3611 HAS SOUS 3021 HAS SOUPS 2598 WITH SCORE 2602.043
AT ITER 4681 NEW BEST:: SOT 11969 SOS 4040 HAS SOPS 3608 HAS SOUS 3018 HAS SOUPS 2595 WITH SCORE 2599.04
AT ITER 4833 NEW BEST:: SOT 11966 SOS 4022 HAS SOPS 3590 HAS SOUS 3013 HAS SOUPS 2590 WITH SCORE 2594.022
AT ITER 4851 NEW BEST:: SOT 11959 SOS 4018 HAS SOPS 3579 HAS SOUS 3009 HAS SOUPS 2579 WITH SCORE 2583.018
AT ITER 4898 NEW BEST:: SOT 11959 SOS 4017 HAS SOPS 3578 HAS SOUS 3008 HAS SOUPS 2578 WITH SCORE 2582.017
AT ITER 4911 NEW BEST:: SOT 11949 SOS 4007 HAS SOPS 3578 HAS SOUS 2998 HAS SOUPS 2578 WITH SCORE 2582.007
AT ITER 4927 NEW BEST:: SOT 11943 SOS 3973 HAS SOPS 3563 HAS SOUS 2986 HAS SOUPS 2578 WITH SCORE 2581.973
AT ITER 4946 NEW BEST:: SOT 11941 SOS 3968 HAS SOPS 3558 HAS SOUS 2983 HAS SOUPS 2575 WITH SCORE 2578.968
AT ITER 4981 NEW BEST:: SOT 11941 SOS 3966 HAS SOPS 3552 HAS SOUS 2985 HAS SOUPS 2573 WITH SCORE 2576.966
AT ITER 5010 NEW BEST:: SOT 11893 SOS 3918 HAS SOPS 3504 HAS SOUS 2964 HAS SOUPS 2552 WITH SCORE 2555.918
AT ITER 5084 NEW BEST:: SOT 11898 SOS 3909 HAS SOPS 3495 HAS SOUS 2964 HAS SOUPS 2552 WITH SCORE 2555.909
AT ITER 5102 NEW BEST:: SOT 11876 SOS 3900 HAS SOPS 3486 HAS SOUS 2953 HAS SOUPS 2541 WITH SCORE 2544.9
AT ITER 5119 NEW BEST:: SOT 11876 SOS 3897 HAS SOPS 3485 HAS SOUS 2951 HAS SOUPS 2541 WITH SCORE 2544.897
AT ITER 5130 NEW BEST:: SOT 11876 SOS 3895 HAS SOPS 3483 HAS SOUS 2946 HAS SOUPS 2536 WITH SCORE 2539.895
AT ITER 5138 NEW BEST:: SOT 11874 SOS 3941 HAS SOPS 3504 HAS SOUS 2969 HAS SOUPS 2534 WITH SCORE 2537.941
AT ITER 5206 NEW BEST:: SOT 11852 SOS 3919 HAS SOPS 3482 HAS SOUS 2965 HAS SOUPS 2530 WITH SCORE 2533.919
AT ITER 5235 NEW BEST:: SOT 11848 SOS 3915 HAS SOPS 3466 HAS SOUS 2961 HAS SOUPS 2514 WITH SCORE 2517.915
AT ITER 5252 NEW BEST:: SOT 11848 SOS 3912 HAS SOPS 3466 HAS SOUS 2958 HAS SOUPS 2514 WITH SCORE 2517.912
AT ITER 5266 NEW BEST:: SOT 11854 SOS 3924 HAS SOPS 3470 HAS SOUS 2963 HAS SOUPS 2513 WITH SCORE 2516.924
AT ITER 5324 NEW BEST:: SOT 11853 SOS 3922 HAS SOPS 3469 HAS SOUS 2961 HAS SOUPS 2512 WITH SCORE 2515.922
AT ITER 5356 NEW BEST:: SOT 11849 SOS 3932 HAS SOPS 3465 HAS SOUS 2971 HAS SOUPS 2508 WITH SCORE 2511.932
AT ITER 5468 NEW BEST:: SOT 11836 SOS 3911 HAS SOPS 3449 HAS SOUS 2958 HAS SOUPS 2500 WITH SCORE 2503.911
AT ITER 5475 NEW BEST:: SOT 11835 SOS 3895 HAS SOPS 3433 HAS SOUS 2957 HAS SOUPS 2499 WITH SCORE 2502.895
AT ITER 5487 NEW BEST:: SOT 11840 SOS 3881 HAS SOPS 3419 HAS SOUS 2956 HAS SOUPS 2498 WITH SCORE 2501.881
AT ITER 5497 NEW BEST:: SOT 11840 SOS 3879 HAS SOPS 3417 HAS SOUS 2954 HAS SOUPS 2496 WITH SCORE 2499.879
AT ITER 5511 NEW BEST:: SOT 11839 SOS 3877 HAS SOPS 3415 HAS SOUS 2952 HAS SOUPS 2494 WITH SCORE 2497.877
AT ITER 5580 NEW BEST:: SOT 11836 SOS 3874 HAS SOPS 3413 HAS SOUS 2951 HAS SOUPS 2494 WITH SCORE 2497.874
AT ITER 5641 NEW BEST:: SOT 11809 SOS 3847 HAS SOPS 3386 HAS SOUS 2951 HAS SOUPS 2494 WITH SCORE 2497.847
AT ITER 5704 NEW BEST:: SOT 11801 SOS 3839 HAS SOPS 3378 HAS SOUS 2946 HAS SOUPS 2489 WITH SCORE 2492.839
AT ITER 5729 NEW BEST:: SOT 11799 SOS 3837 HAS SOPS 3372 HAS SOUS 2944 HAS SOUPS 2483 WITH SCORE 2486.837
AT ITER 5832 NEW BEST:: SOT 11798 SOS 3835 HAS SOPS 3370 HAS SOUS 2942 HAS SOUPS 2481 WITH SCORE 2484.835
AT ITER 5913 NEW BEST:: SOT 11798 SOS 3833 HAS SOPS 3369 HAS SOUS 2941 HAS SOUPS 2481 WITH SCORE 2484.833
AT ITER 5944 NEW BEST:: SOT 11797 SOS 3832 HAS SOPS 3368 HAS SOUS 2941 HAS SOUPS 2481 WITH SCORE 2484.832
AT ITER 6057 NEW BEST:: SOT 11805 SOS 3840 HAS SOPS 3376 HAS SOUS 2939 HAS SOUPS 2479 WITH SCORE 2482.84
AT ITER 6094 NEW BEST:: SOT 11803 SOS 3826 HAS SOPS 3362 HAS SOUS 2933 HAS SOUPS 2473 WITH SCORE 2476.826
AT ITER 6124 NEW BEST:: SOT 11789 SOS 3814 HAS SOPS 3350 HAS SOUS 2922 HAS SOUPS 2462 WITH SCORE 2465.814
AT ITER 6125 NEW BEST:: SOT 11787 SOS 3812 HAS SOPS 3346 HAS SOUS 2922 HAS SOUPS 2460 WITH SCORE 2463.812
AT ITER 6132 NEW BEST:: SOT 11782 SOS 3807 HAS SOPS 3341 HAS SOUS 2912 HAS SOUPS 2450 WITH SCORE 2453.807
AT ITER 6139 NEW BEST:: SOT 11781 SOS 3806 HAS SOPS 3340 HAS SOUS 2911 HAS SOUPS 2449 WITH SCORE 2452.806
AT ITER 6150 NEW BEST:: SOT 11781 SOS 3804 HAS SOPS 3338 HAS SOUS 2910 HAS SOUPS 2448 WITH SCORE 2451.804
AT ITER 6189 NEW BEST:: SOT 11785 SOS 3794 HAS SOPS 3328 HAS SOUS 2909 HAS SOUPS 2447 WITH SCORE 2450.794
AT ITER 6205 NEW BEST:: SOT 11757 SOS 3752 HAS SOPS 3286 HAS SOUS 2893 HAS SOUPS 2431 WITH SCORE 2434.752
AT ITER 6263 NEW BEST:: SOT 11808 SOS 3764 HAS SOPS 3298 HAS SOUS 2892 HAS SOUPS 2430 WITH SCORE 2433.764
AT ITER 6268 NEW BEST:: SOT 11808 SOS 3762 HAS SOPS 3296 HAS SOUS 2891 HAS SOUPS 2429 WITH SCORE 2432.762
AT ITER 6457 NEW BEST:: SOT 11809 SOS 3763 HAS SOPS 3296 HAS SOUS 2891 HAS SOUPS 2428 WITH SCORE 2431.763
AT ITER 6461 NEW BEST:: SOT 11818 SOS 3754 HAS SOPS 3287 HAS SOUS 2891 HAS SOUPS 2428 WITH SCORE 2431.754
AT ITER 6473 NEW BEST:: SOT 11816 SOS 3751 HAS SOPS 3284 HAS SOUS 2889 HAS SOUPS 2426 WITH SCORE 2429.751
AT ITER 6514 NEW BEST:: SOT 11816 SOS 3750 HAS SOPS 3283 HAS SOUS 2888 HAS SOUPS 2425 WITH SCORE 2428.75
AT ITER 6539 NEW BEST:: SOT 11821 SOS 3757 HAS SOPS 3290 HAS SOUS 2886 HAS SOUPS 2423 WITH SCORE 2426.757
AT ITER 6544 NEW BEST:: SOT 11819 SOS 3746 HAS SOPS 3279 HAS SOUS 2883 HAS SOUPS 2420 WITH SCORE 2423.746
AT ITER 6562 NEW BEST:: SOT 11818 SOS 3747 HAS SOPS 3278 HAS SOUS 2884 HAS SOUPS 2419 WITH SCORE 2422.747
AT ITER 6671 NEW BEST:: SOT 11818 SOS 3745 HAS SOPS 3277 HAS SOUS 2883 HAS SOUPS 2419 WITH SCORE 2422.745
AT ITER 6736 NEW BEST:: SOT 11809 SOS 3735 HAS SOPS 3267 HAS SOUS 2876 HAS SOUPS 2412 WITH SCORE 2415.735
AT ITER 6744 NEW BEST:: SOT 11811 SOS 3736 HAS SOPS 3268 HAS SOUS 2875 HAS SOUPS 2411 WITH SCORE 2414.736
AT ITER 6788 NEW BEST:: SOT 11815 SOS 3722 HAS SOPS 3254 HAS SOUS 2866 HAS SOUPS 2402 WITH SCORE 2405.722
AT ITER 6819 NEW BEST:: SOT 11811 SOS 3732 HAS SOPS 3243 HAS SOUS 2876 HAS SOUPS 2391 WITH SCORE 2394.732
AT ITER 6867 NEW BEST:: SOT 11811 SOS 3731 HAS SOPS 3242 HAS SOUS 2875 HAS SOUPS 2390 WITH SCORE 2393.731
AT ITER 6963 NEW BEST:: SOT 11811 SOS 3730 HAS SOPS 3241 HAS SOUS 2875 HAS SOUPS 2390 WITH SCORE 2393.73
AT ITER 7109 NEW BEST:: SOT 11808 SOS 3711 HAS SOPS 3222 HAS SOUS 2869 HAS SOUPS 2384 WITH SCORE 2387.711
AT ITER 7157 NEW BEST:: SOT 11810 SOS 3700 HAS SOPS 3211 HAS SOUS 2858 HAS SOUPS 2373 WITH SCORE 2376.7
AT ITER 7168 NEW BEST:: SOT 11806 SOS 3696 HAS SOPS 3203 HAS SOUS 2850 HAS SOUPS 2365 WITH SCORE 2368.696
AT ITER 7359 NEW BEST:: SOT 11798 SOS 3688 HAS SOPS 3195 HAS SOUS 2847 HAS SOUPS 2362 WITH SCORE 2365.688
AT ITER 7373 NEW BEST:: SOT 11788 SOS 3718 HAS SOPS 3225 HAS SOUS 2845 HAS SOUPS 2360 WITH SCORE 2363.718
AT ITER 7403 NEW BEST:: SOT 11787 SOS 3717 HAS SOPS 3224 HAS SOUS 2844 HAS SOUPS 2359 WITH SCORE 2362.717
AT ITER 7429 NEW BEST:: SOT 11785 SOS 3695 HAS SOPS 3208 HAS SOUS 2828 HAS SOUPS 2349 WITH SCORE 2352.695
AT ITER 7500 NEW BEST:: SOT 11782 SOS 3692 HAS SOPS 3205 HAS SOUS 2825 HAS SOUPS 2346 WITH SCORE 2349.692
AT ITER 7531 NEW BEST:: SOT 11783 SOS 3693 HAS SOPS 3206 HAS SOUS 2824 HAS SOUPS 2345 WITH SCORE 2348.693
AT ITER 7564 NEW BEST:: SOT 11779 SOS 3685 HAS SOPS 3198 HAS SOUS 2823 HAS SOUPS 2344 WITH SCORE 2347.685
AT ITER 7741 NEW BEST:: SOT 11779 SOS 3685 HAS SOPS 3198 HAS SOUS 2821 HAS SOUPS 2342 WITH SCORE 2345.685
AT ITER 7836 NEW BEST:: SOT 11768 SOS 3673 HAS SOPS 3186 HAS SOUS 2809 HAS SOUPS 2330 WITH SCORE 2333.673
AT ITER 7844 NEW BEST:: SOT 11766 SOS 3671 HAS SOPS 3184 HAS SOUS 2809 HAS SOUPS 2330 WITH SCORE 2333.671
AT ITER 7892 NEW BEST:: SOT 11769 SOS 3653 HAS SOPS 3166 HAS SOUS 2809 HAS SOUPS 2330 WITH SCORE 2333.653
AT ITER 8040 NEW BEST:: SOT 11769 SOS 3649 HAS SOPS 3162 HAS SOUS 2805 HAS SOUPS 2326 WITH SCORE 2329.649
AT ITER 8137 NEW BEST:: SOT 11767 SOS 3650 HAS SOPS 3163 HAS SOUS 2802 HAS SOUPS 2323 WITH SCORE 2326.65
AT ITER 8153 NEW BEST:: SOT 11769 SOS 3647 HAS SOPS 3162 HAS SOUS 2799 HAS SOUPS 2322 WITH SCORE 2325.647
AT ITER 8198 NEW BEST:: SOT 11763 SOS 3641 HAS SOPS 3156 HAS SOUS 2796 HAS SOUPS 2319 WITH SCORE 2322.641
AT ITER 8213 NEW BEST:: SOT 11762 SOS 3636 HAS SOPS 3154 HAS SOUS 2792 HAS SOUPS 2318 WITH SCORE 2321.636
AT ITER 8280 NEW BEST:: SOT 11762 SOS 3634 HAS SOPS 3152 HAS SOUS 2790 HAS SOUPS 2316 WITH SCORE 2319.634
AT ITER 8418 NEW BEST:: SOT 11760 SOS 3632 HAS SOPS 3150 HAS SOUS 2790 HAS SOUPS 2316 WITH SCORE 2319.632
AT ITER 8474 NEW BEST:: SOT 11758 SOS 3630 HAS SOPS 3150 HAS SOUS 2788 HAS SOUPS 2316 WITH SCORE 2319.63
AT ITER 8524 NEW BEST:: SOT 11762 SOS 3622 HAS SOPS 3142 HAS SOUS 2782 HAS SOUPS 2310 WITH SCORE 2313.622
AT ITER 8591 NEW BEST:: SOT 11761 SOS 3621 HAS SOPS 3136 HAS SOUS 2781 HAS SOUPS 2304 WITH SCORE 2307.621
AT ITER 8693 NEW BEST:: SOT 11759 SOS 3619 HAS SOPS 3132 HAS SOUS 2779 HAS SOUPS 2300 WITH SCORE 2303.619
AT ITER 8813 NEW BEST:: SOT 11737 SOS 3645 HAS SOPS 3164 HAS SOUS 2761 HAS SOUPS 2288 WITH SCORE 2291.645
AT ITER 8856 NEW BEST:: SOT 11760 SOS 3619 HAS SOPS 3138 HAS SOUS 2757 HAS SOUPS 2284 WITH SCORE 2287.619
AT ITER 8885 NEW BEST:: SOT 11760 SOS 3615 HAS SOPS 3134 HAS SOUS 2755 HAS SOUPS 2282 WITH SCORE 2285.615
AT ITER 8913 NEW BEST:: SOT 11751 SOS 3603 HAS SOPS 3116 HAS SOUS 2743 HAS SOUPS 2264 WITH SCORE 2267.603
AT ITER 9088 NEW BEST:: SOT 11743 SOS 3612 HAS SOPS 3125 HAS SOUS 2738 HAS SOUPS 2259 WITH SCORE 2262.612
AT ITER 9240 NEW BEST:: SOT 11740 SOS 3602 HAS SOPS 3115 HAS SOUS 2728 HAS SOUPS 2249 WITH SCORE 2252.602
AT ITER 9253 NEW BEST:: SOT 11735 SOS 3597 HAS SOPS 3110 HAS SOUS 2723 HAS SOUPS 2244 WITH SCORE 2247.597
AT ITER 9578 NEW BEST:: SOT 11733 SOS 3598 HAS SOPS 3111 HAS SOUS 2721 HAS SOUPS 2242 WITH SCORE 2245.598
AT ITER 9635 NEW BEST:: SOT 11731 SOS 3596 HAS SOPS 3109 HAS SOUS 2719 HAS SOUPS 2240 WITH SCORE 2243.596
AT ITER 9644 NEW BEST:: SOT 11730 SOS 3595 HAS SOPS 3108 HAS SOUS 2718 HAS SOUPS 2239 WITH SCORE 2242.595
AT ITER 9845 NEW BEST:: SOT 11728 SOS 3591 HAS SOPS 3104 HAS SOUS 2715 HAS SOUPS 2236 WITH SCORE 2239.591
AT ITER 9864 NEW BEST:: SOT 11726 SOS 3589 HAS SOPS 3102 HAS SOUS 2713 HAS SOUPS 2234 WITH SCORE 2237.589
AT ITER 9880 NEW BEST:: SOT 11741 SOS 3601 HAS SOPS 3099 HAS SOUS 2725 HAS SOUPS 2231 WITH SCORE 2234.601
AT ITER 9944 NEW BEST:: SOT 11743 SOS 3599 HAS SOPS 3097 HAS SOUS 2724 HAS SOUPS 2230 WITH SCORE 2233.599
STATE_SPACE STATES 4567597057 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 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 106369646593 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678771328773

--------------------
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="Parking-PT-208"
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 Parking-PT-208, 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-167863534500424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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