Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 7.8K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 159K Mar 5 18:22 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 1678470737265

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=BusinessProcesses-PT-16
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 16
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: 638 places, 578 transitions, 1694 arcs.
AT ITER 0 NEW BEST:: SOT 234356 SOS 90427 HAS SOPS 90427 HAS SOUS 86710 HAS SOUPS 86710 WITH SCORE 86800.427
AT ITER 3 NEW BEST:: SOT 234356 SOS 90351 HAS SOPS 90351 HAS SOUS 86634 HAS SOUPS 86634 WITH SCORE 86724.351
AT ITER 15 NEW BEST:: SOT 234356 SOS 90176 HAS SOPS 90176 HAS SOUS 86458 HAS SOUPS 86458 WITH SCORE 86548.176
AT ITER 20 NEW BEST:: SOT 234414 SOS 90077 HAS SOPS 90077 HAS SOUS 86359 HAS SOUPS 86359 WITH SCORE 86449.077
AT ITER 23 NEW BEST:: SOT 234326 SOS 89989 HAS SOPS 89989 HAS SOUS 86271 HAS SOUPS 86271 WITH SCORE 86360.989
AT ITER 30 NEW BEST:: SOT 232630 SOS 88293 HAS SOPS 88293 HAS SOUS 84575 HAS SOUPS 84575 WITH SCORE 84663.293
AT ITER 31 NEW BEST:: SOT 232630 SOS 88216 HAS SOPS 88216 HAS SOUS 84498 HAS SOUPS 84498 WITH SCORE 84586.216
AT ITER 33 NEW BEST:: SOT 232479 SOS 88038 HAS SOPS 88038 HAS SOUS 84320 HAS SOUPS 84320 WITH SCORE 84408.038
AT ITER 58 NEW BEST:: SOT 232478 SOS 87886 HAS SOPS 87886 HAS SOUS 84168 HAS SOUPS 84168 WITH SCORE 84255.886
AT ITER 60 NEW BEST:: SOT 232312 SOS 87720 HAS SOPS 87720 HAS SOUS 84002 HAS SOUPS 84002 WITH SCORE 84089.72
AT ITER 72 NEW BEST:: SOT 232312 SOS 87710 HAS SOPS 87710 HAS SOUS 83992 HAS SOUPS 83992 WITH SCORE 84079.71
AT ITER 73 NEW BEST:: SOT 232124 SOS 87380 HAS SOPS 87380 HAS SOUS 83662 HAS SOUPS 83662 WITH SCORE 83749.38
AT ITER 92 NEW BEST:: SOT 232123 SOS 87378 HAS SOPS 87378 HAS SOUS 83660 HAS SOUPS 83660 WITH SCORE 83747.378
AT ITER 99 NEW BEST:: SOT 232159 SOS 87235 HAS SOPS 87235 HAS SOUS 83587 HAS SOUPS 83587 WITH SCORE 83674.235
AT ITER 122 NEW BEST:: SOT 231997 SOS 87073 HAS SOPS 87073 HAS SOUS 83425 HAS SOUPS 83425 WITH SCORE 83512.073
AT ITER 125 NEW BEST:: SOT 231758 SOS 86665 HAS SOPS 86665 HAS SOUS 83115 HAS SOUPS 83115 WITH SCORE 83201.665
AT ITER 159 NEW BEST:: SOT 231728 SOS 86613 HAS SOPS 86613 HAS SOUS 83084 HAS SOUPS 83084 WITH SCORE 83170.613
AT ITER 168 NEW BEST:: SOT 231901 SOS 86596 HAS SOPS 86596 HAS SOUS 83067 HAS SOUPS 83067 WITH SCORE 83153.596
AT ITER 174 NEW BEST:: SOT 231901 SOS 86546 HAS SOPS 86546 HAS SOUS 83017 HAS SOUPS 83017 WITH SCORE 83103.546
AT ITER 181 NEW BEST:: SOT 231813 SOS 86629 HAS SOPS 86629 HAS SOUS 82923 HAS SOUPS 82923 WITH SCORE 83009.629
AT ITER 197 NEW BEST:: SOT 231812 SOS 86627 HAS SOPS 86627 HAS SOUS 82921 HAS SOUPS 82921 WITH SCORE 83007.627
AT ITER 203 NEW BEST:: SOT 231811 SOS 86538 HAS SOPS 86538 HAS SOUS 82832 HAS SOUPS 82832 WITH SCORE 82918.538
AT ITER 204 NEW BEST:: SOT 231810 SOS 86536 HAS SOPS 86536 HAS SOUS 82830 HAS SOUPS 82830 WITH SCORE 82916.536
AT ITER 214 NEW BEST:: SOT 231765 SOS 86497 HAS SOPS 86497 HAS SOUS 82791 HAS SOUPS 82791 WITH SCORE 82877.497
AT ITER 222 NEW BEST:: SOT 231564 SOS 86219 HAS SOPS 86219 HAS SOUS 82513 HAS SOUPS 82513 WITH SCORE 82599.219
AT ITER 223 NEW BEST:: SOT 231564 SOS 86219 HAS SOPS 86219 HAS SOUS 82392 HAS SOUPS 82392 WITH SCORE 82478.219
AT ITER 234 NEW BEST:: SOT 231563 SOS 86217 HAS SOPS 86217 HAS SOUS 82390 HAS SOUPS 82390 WITH SCORE 82476.217
AT ITER 236 NEW BEST:: SOT 231563 SOS 86112 HAS SOPS 86112 HAS SOUS 82357 HAS SOUPS 82357 WITH SCORE 82443.112
AT ITER 241 NEW BEST:: SOT 231552 SOS 86066 HAS SOPS 86066 HAS SOUS 82311 HAS SOUPS 82311 WITH SCORE 82397.066
AT ITER 250 NEW BEST:: SOT 231551 SOS 86064 HAS SOPS 86064 HAS SOUS 82309 HAS SOUPS 82309 WITH SCORE 82395.064
AT ITER 257 NEW BEST:: SOT 231430 SOS 85902 HAS SOPS 85902 HAS SOUS 82147 HAS SOUPS 82147 WITH SCORE 82232.902
AT ITER 269 NEW BEST:: SOT 231559 SOS 85884 HAS SOPS 85884 HAS SOUS 81896 HAS SOUPS 81896 WITH SCORE 81981.884
AT ITER 296 NEW BEST:: SOT 231558 SOS 85861 HAS SOPS 85861 HAS SOUS 81873 HAS SOUPS 81873 WITH SCORE 81958.861
AT ITER 300 NEW BEST:: SOT 231440 SOS 85766 HAS SOPS 85766 HAS SOUS 81778 HAS SOUPS 81778 WITH SCORE 81863.766
AT ITER 301 NEW BEST:: SOT 231440 SOS 85640 HAS SOPS 85640 HAS SOUS 81652 HAS SOUPS 81652 WITH SCORE 81737.64
AT ITER 313 NEW BEST:: SOT 231209 SOS 85472 HAS SOPS 85472 HAS SOUS 81427 HAS SOUPS 81427 WITH SCORE 81512.472
AT ITER 315 NEW BEST:: SOT 231190 SOS 85453 HAS SOPS 85453 HAS SOUS 81408 HAS SOUPS 81408 WITH SCORE 81493.453
AT ITER 316 NEW BEST:: SOT 228236 SOS 84379 HAS SOPS 84379 HAS SOUS 78879 HAS SOUPS 78879 WITH SCORE 78963.379
AT ITER 320 NEW BEST:: SOT 228088 SOS 84230 HAS SOPS 84230 HAS SOUS 78730 HAS SOUPS 78730 WITH SCORE 78814.23
AT ITER 322 NEW BEST:: SOT 227913 SOS 84177 HAS SOPS 84177 HAS SOUS 78677 HAS SOUPS 78677 WITH SCORE 78761.177
AT ITER 332 NEW BEST:: SOT 227911 SOS 84208 HAS SOPS 84208 HAS SOUS 78674 HAS SOUPS 78674 WITH SCORE 78758.208
AT ITER 342 NEW BEST:: SOT 227910 SOS 83994 HAS SOPS 83994 HAS SOUS 78460 HAS SOUPS 78460 WITH SCORE 78543.994
AT ITER 358 NEW BEST:: SOT 227910 SOS 83931 HAS SOPS 83931 HAS SOUS 78397 HAS SOUPS 78397 WITH SCORE 78480.931
AT ITER 363 NEW BEST:: SOT 227910 SOS 83841 HAS SOPS 83841 HAS SOUS 78307 HAS SOUPS 78307 WITH SCORE 78390.841
AT ITER 364 NEW BEST:: SOT 227916 SOS 83688 HAS SOPS 83688 HAS SOUS 78154 HAS SOUPS 78154 WITH SCORE 78237.688
AT ITER 365 NEW BEST:: SOT 227828 SOS 83306 HAS SOPS 83306 HAS SOUS 77772 HAS SOUPS 77772 WITH SCORE 77855.306
AT ITER 367 NEW BEST:: SOT 227631 SOS 83235 HAS SOPS 83235 HAS SOUS 77701 HAS SOUPS 77701 WITH SCORE 77784.235
AT ITER 378 NEW BEST:: SOT 227655 SOS 83164 HAS SOPS 83164 HAS SOUS 77630 HAS SOUPS 77630 WITH SCORE 77713.164
AT ITER 396 NEW BEST:: SOT 227655 SOS 83162 HAS SOPS 83162 HAS SOUS 77628 HAS SOUPS 77628 WITH SCORE 77711.162
AT ITER 404 NEW BEST:: SOT 227371 SOS 83090 HAS SOPS 83090 HAS SOUS 77402 HAS SOUPS 77402 WITH SCORE 77485.09
AT ITER 409 NEW BEST:: SOT 227355 SOS 83058 HAS SOPS 83058 HAS SOUS 77370 HAS SOUPS 77370 WITH SCORE 77453.058
AT ITER 424 NEW BEST:: SOT 227340 SOS 83028 HAS SOPS 83028 HAS SOUS 77340 HAS SOUPS 77340 WITH SCORE 77423.028
AT ITER 428 NEW BEST:: SOT 227204 SOS 82885 HAS SOPS 82885 HAS SOUS 77197 HAS SOUPS 77197 WITH SCORE 77279.885
AT ITER 450 NEW BEST:: SOT 220986 SOS 95716 HAS SOPS 95716 HAS SOUS 71694 HAS SOUPS 71694 WITH SCORE 71789.716
AT ITER 451 NEW BEST:: SOT 220562 SOS 95101 HAS SOPS 95101 HAS SOUS 71312 HAS SOUPS 71312 WITH SCORE 71407.101
AT ITER 453 NEW BEST:: SOT 220358 SOS 94693 HAS SOPS 94693 HAS SOUS 71216 HAS SOUPS 71216 WITH SCORE 71310.693
AT ITER 459 NEW BEST:: SOT 220357 SOS 94563 HAS SOPS 94563 HAS SOUS 71086 HAS SOUPS 71086 WITH SCORE 71180.563
AT ITER 462 NEW BEST:: SOT 220189 SOS 94395 HAS SOPS 94395 HAS SOUS 70924 HAS SOUPS 70924 WITH SCORE 71018.395
AT ITER 466 NEW BEST:: SOT 219983 SOS 93747 HAS SOPS 93747 HAS SOUS 70276 HAS SOUPS 70276 WITH SCORE 70369.747
AT ITER 469 NEW BEST:: SOT 219677 SOS 93253 HAS SOPS 93253 HAS SOUS 69976 HAS SOUPS 69976 WITH SCORE 70069.253
AT ITER 474 NEW BEST:: SOT 219558 SOS 93081 HAS SOPS 93081 HAS SOUS 69870 HAS SOUPS 69870 WITH SCORE 69963.081
AT ITER 476 NEW BEST:: SOT 219458 SOS 93075 HAS SOPS 93075 HAS SOUS 69831 HAS SOUPS 69831 WITH SCORE 69924.075
AT ITER 477 NEW BEST:: SOT 219458 SOS 92910 HAS SOPS 92910 HAS SOUS 69521 HAS SOUPS 69521 WITH SCORE 69613.91
AT ITER 482 NEW BEST:: SOT 219458 SOS 92854 HAS SOPS 92854 HAS SOUS 69409 HAS SOUPS 69409 WITH SCORE 69501.854
AT ITER 485 NEW BEST:: SOT 219347 SOS 92748 HAS SOPS 92748 HAS SOUS 69358 HAS SOUPS 69358 WITH SCORE 69450.748
AT ITER 493 NEW BEST:: SOT 219290 SOS 92500 HAS SOPS 92500 HAS SOUS 69242 HAS SOUPS 69242 WITH SCORE 69334.5
AT ITER 496 NEW BEST:: SOT 219290 SOS 92500 HAS SOPS 92500 HAS SOUS 69178 HAS SOUPS 69178 WITH SCORE 69270.5
AT ITER 501 NEW BEST:: SOT 219276 SOS 92481 HAS SOPS 92481 HAS SOUS 69159 HAS SOUPS 69159 WITH SCORE 69251.481
AT ITER 505 NEW BEST:: SOT 219276 SOS 92416 HAS SOPS 92416 HAS SOUS 69159 HAS SOUPS 69159 WITH SCORE 69251.416
AT ITER 529 NEW BEST:: SOT 219251 SOS 92391 HAS SOPS 92391 HAS SOUS 69134 HAS SOUPS 69134 WITH SCORE 69226.391
AT ITER 538 NEW BEST:: SOT 219162 SOS 92213 HAS SOPS 92213 HAS SOUS 68997 HAS SOUPS 68997 WITH SCORE 69089.213
AT ITER 543 NEW BEST:: SOT 219142 SOS 92193 HAS SOPS 92193 HAS SOUS 68997 HAS SOUPS 68997 WITH SCORE 69089.193
AT ITER 546 NEW BEST:: SOT 219142 SOS 91800 HAS SOPS 91800 HAS SOUS 68804 HAS SOUPS 68804 WITH SCORE 68895.8
AT ITER 553 NEW BEST:: SOT 219068 SOS 91634 HAS SOPS 91634 HAS SOUS 68638 HAS SOUPS 68638 WITH SCORE 68729.634
AT ITER 571 NEW BEST:: SOT 219021 SOS 91587 HAS SOPS 91587 HAS SOUS 68611 HAS SOUPS 68611 WITH SCORE 68702.587
AT ITER 575 NEW BEST:: SOT 219015 SOS 91581 HAS SOPS 91581 HAS SOUS 68605 HAS SOUPS 68605 WITH SCORE 68696.581
AT ITER 584 NEW BEST:: SOT 219086 SOS 91419 HAS SOPS 91419 HAS SOUS 68543 HAS SOUPS 68543 WITH SCORE 68634.419
AT ITER 592 NEW BEST:: SOT 219086 SOS 91247 HAS SOPS 91247 HAS SOUS 68371 HAS SOUPS 68371 WITH SCORE 68462.247
AT ITER 593 NEW BEST:: SOT 219084 SOS 91241 HAS SOPS 91241 HAS SOUS 68367 HAS SOUPS 68367 WITH SCORE 68458.241
AT ITER 594 NEW BEST:: SOT 219113 SOS 91191 HAS SOPS 91191 HAS SOUS 68317 HAS SOUPS 68317 WITH SCORE 68408.191
AT ITER 606 NEW BEST:: SOT 219080 SOS 91158 HAS SOPS 91158 HAS SOUS 68284 HAS SOUPS 68284 WITH SCORE 68375.158
AT ITER 617 NEW BEST:: SOT 218846 SOS 90921 HAS SOPS 90921 HAS SOUS 68253 HAS SOUPS 68253 WITH SCORE 68343.921
AT ITER 622 NEW BEST:: SOT 218808 SOS 90845 HAS SOPS 90845 HAS SOUS 68229 HAS SOUPS 68229 WITH SCORE 68319.845
AT ITER 631 NEW BEST:: SOT 218801 SOS 90838 HAS SOPS 90838 HAS SOUS 68229 HAS SOUPS 68229 WITH SCORE 68319.838
AT ITER 632 NEW BEST:: SOT 218799 SOS 90834 HAS SOPS 90834 HAS SOUS 68225 HAS SOUPS 68225 WITH SCORE 68315.834
AT ITER 638 NEW BEST:: SOT 218695 SOS 90766 HAS SOPS 90766 HAS SOUS 68157 HAS SOUPS 68157 WITH SCORE 68247.766
AT ITER 643 NEW BEST:: SOT 218680 SOS 90560 HAS SOPS 90560 HAS SOUS 68094 HAS SOUPS 68094 WITH SCORE 68184.56
AT ITER 668 NEW BEST:: SOT 218313 SOS 90011 HAS SOPS 90011 HAS SOUS 67730 HAS SOUPS 67730 WITH SCORE 67820.011
AT ITER 671 NEW BEST:: SOT 218027 SOS 89632 HAS SOPS 89632 HAS SOUS 67544 HAS SOUPS 67544 WITH SCORE 67633.632
AT ITER 695 NEW BEST:: SOT 218023 SOS 89629 HAS SOPS 89629 HAS SOUS 67541 HAS SOUPS 67541 WITH SCORE 67630.629
AT ITER 699 NEW BEST:: SOT 218006 SOS 89547 HAS SOPS 89547 HAS SOUS 67513 HAS SOUPS 67513 WITH SCORE 67602.547
AT ITER 701 NEW BEST:: SOT 218004 SOS 89543 HAS SOPS 89543 HAS SOUS 67511 HAS SOUPS 67511 WITH SCORE 67600.543
AT ITER 704 NEW BEST:: SOT 217977 SOS 89469 HAS SOPS 89469 HAS SOUS 67437 HAS SOUPS 67437 WITH SCORE 67526.469
AT ITER 705 NEW BEST:: SOT 217929 SOS 89373 HAS SOPS 89373 HAS SOUS 67341 HAS SOUPS 67341 WITH SCORE 67430.373
AT ITER 707 NEW BEST:: SOT 217929 SOS 89373 HAS SOPS 89373 HAS SOUS 67273 HAS SOUPS 67273 WITH SCORE 67362.373
AT ITER 714 NEW BEST:: SOT 217882 SOS 89395 HAS SOPS 89395 HAS SOUS 67226 HAS SOUPS 67226 WITH SCORE 67315.395
AT ITER 729 NEW BEST:: SOT 217882 SOS 89236 HAS SOPS 89236 HAS SOUS 67165 HAS SOUPS 67165 WITH SCORE 67254.236
AT ITER 739 NEW BEST:: SOT 217908 SOS 89213 HAS SOPS 89213 HAS SOUS 67142 HAS SOUPS 67142 WITH SCORE 67231.213
AT ITER 740 NEW BEST:: SOT 217800 SOS 88957 HAS SOPS 88957 HAS SOUS 66964 HAS SOUPS 66964 WITH SCORE 67052.957
AT ITER 745 NEW BEST:: SOT 217942 SOS 88954 HAS SOPS 88954 HAS SOUS 66959 HAS SOUPS 66959 WITH SCORE 67047.954
AT ITER 752 NEW BEST:: SOT 217885 SOS 88840 HAS SOPS 88840 HAS SOUS 66928 HAS SOUPS 66928 WITH SCORE 67016.84
AT ITER 757 NEW BEST:: SOT 217877 SOS 88828 HAS SOPS 88828 HAS SOUS 66916 HAS SOUPS 66916 WITH SCORE 67004.828
AT ITER 762 NEW BEST:: SOT 217828 SOS 88690 HAS SOPS 88690 HAS SOUS 66881 HAS SOUPS 66881 WITH SCORE 66969.69
AT ITER 764 NEW BEST:: SOT 217689 SOS 88550 HAS SOPS 88550 HAS SOUS 66810 HAS SOUPS 66810 WITH SCORE 66898.55
AT ITER 769 NEW BEST:: SOT 217689 SOS 88525 HAS SOPS 88525 HAS SOUS 66802 HAS SOUPS 66802 WITH SCORE 66890.525
AT ITER 774 NEW BEST:: SOT 217680 SOS 88507 HAS SOPS 88507 HAS SOUS 66784 HAS SOUPS 66784 WITH SCORE 66872.507
AT ITER 784 NEW BEST:: SOT 217648 SOS 88474 HAS SOPS 88474 HAS SOUS 66782 HAS SOUPS 66782 WITH SCORE 66870.474
AT ITER 785 NEW BEST:: SOT 217637 SOS 88359 HAS SOPS 88359 HAS SOUS 66670 HAS SOUPS 66670 WITH SCORE 66758.359
AT ITER 788 NEW BEST:: SOT 217637 SOS 88288 HAS SOPS 88288 HAS SOUS 66599 HAS SOUPS 66599 WITH SCORE 66687.288
AT ITER 790 NEW BEST:: SOT 217597 SOS 88248 HAS SOPS 88248 HAS SOUS 66559 HAS SOUPS 66559 WITH SCORE 66647.248
AT ITER 795 NEW BEST:: SOT 217597 SOS 88191 HAS SOPS 88191 HAS SOUS 66559 HAS SOUPS 66559 WITH SCORE 66647.191
AT ITER 799 NEW BEST:: SOT 217489 SOS 87975 HAS SOPS 87975 HAS SOUS 66449 HAS SOUPS 66449 WITH SCORE 66536.975
AT ITER 806 NEW BEST:: SOT 217471 SOS 87939 HAS SOPS 87939 HAS SOUS 66428 HAS SOUPS 66428 WITH SCORE 66515.939
AT ITER 812 NEW BEST:: SOT 217372 SOS 87721 HAS SOPS 87721 HAS SOUS 66309 HAS SOUPS 66309 WITH SCORE 66396.721
AT ITER 815 NEW BEST:: SOT 217369 SOS 87526 HAS SOPS 87526 HAS SOUS 66202 HAS SOUPS 66202 WITH SCORE 66289.526
AT ITER 820 NEW BEST:: SOT 217369 SOS 87526 HAS SOPS 87526 HAS SOUS 66189 HAS SOUPS 66189 WITH SCORE 66276.526
AT ITER 830 NEW BEST:: SOT 217216 SOS 87373 HAS SOPS 87373 HAS SOUS 65939 HAS SOUPS 65939 WITH SCORE 66026.373
AT ITER 834 NEW BEST:: SOT 217216 SOS 87327 HAS SOPS 87327 HAS SOUS 65893 HAS SOUPS 65893 WITH SCORE 65980.327
AT ITER 838 NEW BEST:: SOT 216971 SOS 87245 HAS SOPS 87245 HAS SOUS 65656 HAS SOUPS 65656 WITH SCORE 65743.245
AT ITER 867 NEW BEST:: SOT 216993 SOS 87264 HAS SOPS 87264 HAS SOUS 65650 HAS SOUPS 65650 WITH SCORE 65737.264
AT ITER 872 NEW BEST:: SOT 216983 SOS 87241 HAS SOPS 87241 HAS SOUS 65609 HAS SOUPS 65609 WITH SCORE 65696.241
AT ITER 879 NEW BEST:: SOT 216957 SOS 87270 HAS SOPS 87270 HAS SOUS 65557 HAS SOUPS 65557 WITH SCORE 65644.27
AT ITER 880 NEW BEST:: SOT 216867 SOS 87247 HAS SOPS 87247 HAS SOUS 65534 HAS SOUPS 65534 WITH SCORE 65621.247
AT ITER 896 NEW BEST:: SOT 216784 SOS 87132 HAS SOPS 87132 HAS SOUS 65419 HAS SOUPS 65419 WITH SCORE 65506.132
AT ITER 899 NEW BEST:: SOT 216747 SOS 87049 HAS SOPS 87049 HAS SOUS 65331 HAS SOUPS 65331 WITH SCORE 65418.049
AT ITER 904 NEW BEST:: SOT 216682 SOS 86933 HAS SOPS 86933 HAS SOUS 65215 HAS SOUPS 65215 WITH SCORE 65301.933
AT ITER 913 NEW BEST:: SOT 216680 SOS 86931 HAS SOPS 86931 HAS SOUS 65214 HAS SOUPS 65214 WITH SCORE 65300.931
AT ITER 919 NEW BEST:: SOT 216679 SOS 86930 HAS SOPS 86930 HAS SOUS 65213 HAS SOUPS 65213 WITH SCORE 65299.93
AT ITER 933 NEW BEST:: SOT 216585 SOS 86853 HAS SOPS 86853 HAS SOUS 65135 HAS SOUPS 65135 WITH SCORE 65221.853
AT ITER 934 NEW BEST:: SOT 216512 SOS 86780 HAS SOPS 86780 HAS SOUS 65103 HAS SOUPS 65103 WITH SCORE 65189.78
AT ITER 975 NEW BEST:: SOT 216511 SOS 86778 HAS SOPS 86778 HAS SOUS 65089 HAS SOUPS 65089 WITH SCORE 65175.778
AT ITER 980 NEW BEST:: SOT 216505 SOS 86766 HAS SOPS 86766 HAS SOUS 64950 HAS SOUPS 64950 WITH SCORE 65036.766
AT ITER 989 NEW BEST:: SOT 216304 SOS 86364 HAS SOPS 86364 HAS SOUS 64749 HAS SOUPS 64749 WITH SCORE 64835.364
AT ITER 993 NEW BEST:: SOT 216281 SOS 86318 HAS SOPS 86318 HAS SOUS 64703 HAS SOUPS 64703 WITH SCORE 64789.318
AT ITER 998 NEW BEST:: SOT 216245 SOS 86180 HAS SOPS 86180 HAS SOUS 64565 HAS SOUPS 64565 WITH SCORE 64651.18
AT ITER 999 NEW BEST:: SOT 216238 SOS 84986 HAS SOPS 84986 HAS SOUS 64558 HAS SOUPS 64558 WITH SCORE 64642.986
AT ITER 1001 NEW BEST:: SOT 216212 SOS 84923 HAS SOPS 84923 HAS SOUS 64495 HAS SOUPS 64495 WITH SCORE 64579.923
AT ITER 1021 NEW BEST:: SOT 216084 SOS 84795 HAS SOPS 84795 HAS SOUS 64348 HAS SOUPS 64348 WITH SCORE 64432.795
AT ITER 1032 NEW BEST:: SOT 215932 SOS 84482 HAS SOPS 84482 HAS SOUS 64035 HAS SOUPS 64035 WITH SCORE 64119.482
AT ITER 1034 NEW BEST:: SOT 215887 SOS 84311 HAS SOPS 84311 HAS SOUS 63864 HAS SOUPS 63864 WITH SCORE 63948.311
AT ITER 1063 NEW BEST:: SOT 215859 SOS 84283 HAS SOPS 84283 HAS SOUS 63836 HAS SOUPS 63836 WITH SCORE 63920.283
AT ITER 1066 NEW BEST:: SOT 215857 SOS 84279 HAS SOPS 84279 HAS SOUS 63832 HAS SOUPS 63832 WITH SCORE 63916.279
AT ITER 1067 NEW BEST:: SOT 215964 SOS 84386 HAS SOPS 84386 HAS SOUS 63831 HAS SOUPS 63831 WITH SCORE 63915.386
AT ITER 1074 NEW BEST:: SOT 215845 SOS 84210 HAS SOPS 84210 HAS SOUS 63655 HAS SOUPS 63655 WITH SCORE 63739.21
AT ITER 1094 NEW BEST:: SOT 214020 SOS 82324 HAS SOPS 82324 HAS SOUS 61769 HAS SOUPS 61769 WITH SCORE 61851.324
AT ITER 1116 NEW BEST:: SOT 214020 SOS 82221 HAS SOPS 82221 HAS SOUS 61606 HAS SOUPS 61606 WITH SCORE 61688.221
AT ITER 1118 NEW BEST:: SOT 214020 SOS 82219 HAS SOPS 82219 HAS SOUS 61604 HAS SOUPS 61604 WITH SCORE 61686.219
AT ITER 1134 NEW BEST:: SOT 213922 SOS 81994 HAS SOPS 81994 HAS SOUS 61391 HAS SOUPS 61391 WITH SCORE 61472.994
AT ITER 1146 NEW BEST:: SOT 213922 SOS 82038 HAS SOPS 82038 HAS SOUS 61366 HAS SOUPS 61366 WITH SCORE 61448.038
AT ITER 1147 NEW BEST:: SOT 213710 SOS 81752 HAS SOPS 81752 HAS SOUS 61140 HAS SOUPS 61140 WITH SCORE 61221.752
AT ITER 1158 NEW BEST:: SOT 213682 SOS 81711 HAS SOPS 81711 HAS SOUS 61099 HAS SOUPS 61099 WITH SCORE 61180.711
AT ITER 1162 NEW BEST:: SOT 213678 SOS 81703 HAS SOPS 81703 HAS SOUS 61091 HAS SOUPS 61091 WITH SCORE 61172.703
AT ITER 1165 NEW BEST:: SOT 213634 SOS 81614 HAS SOPS 81614 HAS SOUS 61060 HAS SOUPS 61060 WITH SCORE 61141.614
AT ITER 1167 NEW BEST:: SOT 213597 SOS 81537 HAS SOPS 81537 HAS SOUS 60983 HAS SOUPS 60983 WITH SCORE 61064.537
AT ITER 1171 NEW BEST:: SOT 213551 SOS 81379 HAS SOPS 81379 HAS SOUS 60977 HAS SOUPS 60977 WITH SCORE 61058.379
AT ITER 1190 NEW BEST:: SOT 213433 SOS 81261 HAS SOPS 81261 HAS SOUS 60859 HAS SOUPS 60859 WITH SCORE 60940.261
AT ITER 1191 NEW BEST:: SOT 212044 SOS 80234 HAS SOPS 80234 HAS SOUS 59540 HAS SOUPS 59540 WITH SCORE 59620.234
AT ITER 1215 NEW BEST:: SOT 212002 SOS 80141 HAS SOPS 80141 HAS SOUS 59435 HAS SOUPS 59435 WITH SCORE 59515.141
AT ITER 1216 NEW BEST:: SOT 212021 SOS 79965 HAS SOPS 79965 HAS SOUS 59353 HAS SOUPS 59353 WITH SCORE 59432.965
AT ITER 1222 NEW BEST:: SOT 212007 SOS 79915 HAS SOPS 79915 HAS SOUS 59303 HAS SOUPS 59303 WITH SCORE 59382.915
AT ITER 1224 NEW BEST:: SOT 211815 SOS 79434 HAS SOPS 79434 HAS SOUS 59032 HAS SOUPS 59032 WITH SCORE 59111.434
AT ITER 1229 NEW BEST:: SOT 212024 SOS 79419 HAS SOPS 79419 HAS SOUS 58962 HAS SOUPS 58962 WITH SCORE 59041.419
AT ITER 1231 NEW BEST:: SOT 212070 SOS 79465 HAS SOPS 79465 HAS SOUS 58917 HAS SOUPS 58917 WITH SCORE 58996.465
AT ITER 1240 NEW BEST:: SOT 212070 SOS 79465 HAS SOPS 79465 HAS SOUS 58897 HAS SOUPS 58897 WITH SCORE 58976.465
AT ITER 1312 NEW BEST:: SOT 212069 SOS 79464 HAS SOPS 79464 HAS SOUS 58896 HAS SOUPS 58896 WITH SCORE 58975.464
AT ITER 1330 NEW BEST:: SOT 212064 SOS 79448 HAS SOPS 79448 HAS SOUS 58880 HAS SOUPS 58880 WITH SCORE 58959.448
AT ITER 1338 NEW BEST:: SOT 212043 SOS 79429 HAS SOPS 79429 HAS SOUS 58861 HAS SOUPS 58861 WITH SCORE 58940.429
AT ITER 1342 NEW BEST:: SOT 212043 SOS 79422 HAS SOPS 79422 HAS SOUS 58861 HAS SOUPS 58861 WITH SCORE 58940.422
AT ITER 1350 NEW BEST:: SOT 212043 SOS 79422 HAS SOPS 79422 HAS SOUS 58860 HAS SOUPS 58860 WITH SCORE 58939.422
AT ITER 1351 NEW BEST:: SOT 212026 SOS 79388 HAS SOPS 79388 HAS SOUS 58821 HAS SOUPS 58821 WITH SCORE 58900.388
AT ITER 1356 NEW BEST:: SOT 211977 SOS 78180 HAS SOPS 78180 HAS SOUS 58723 HAS SOUPS 58723 WITH SCORE 58801.18
AT ITER 1357 NEW BEST:: SOT 211894 SOS 78086 HAS SOPS 78086 HAS SOUS 58629 HAS SOUPS 58629 WITH SCORE 58707.086
AT ITER 1363 NEW BEST:: SOT 211894 SOS 78086 HAS SOPS 78086 HAS SOUS 58626 HAS SOUPS 58626 WITH SCORE 58704.086
AT ITER 1395 NEW BEST:: SOT 211668 SOS 77988 HAS SOPS 77988 HAS SOUS 58606 HAS SOUPS 58606 WITH SCORE 58683.988
AT ITER 1414 NEW BEST:: SOT 211530 SOS 77781 HAS SOPS 77781 HAS SOUS 58399 HAS SOUPS 58399 WITH SCORE 58476.781
AT ITER 1422 NEW BEST:: SOT 211572 SOS 77818 HAS SOPS 77818 HAS SOUS 58391 HAS SOUPS 58391 WITH SCORE 58468.818
AT ITER 1432 NEW BEST:: SOT 211515 SOS 77704 HAS SOPS 77704 HAS SOUS 58187 HAS SOUPS 58187 WITH SCORE 58264.704
AT ITER 1452 NEW BEST:: SOT 211569 SOS 77437 HAS SOPS 77437 HAS SOUS 58126 HAS SOUPS 58126 WITH SCORE 58203.437
AT ITER 1488 NEW BEST:: SOT 211543 SOS 77411 HAS SOPS 77411 HAS SOUS 58126 HAS SOUPS 58126 WITH SCORE 58203.411
AT ITER 1491 NEW BEST:: SOT 211376 SOS 77144 HAS SOPS 77144 HAS SOUS 57859 HAS SOUPS 57859 WITH SCORE 57936.144
AT ITER 1501 NEW BEST:: SOT 209941 SOS 77051 HAS SOPS 77051 HAS SOUS 56666 HAS SOUPS 56666 WITH SCORE 56743.051
AT ITER 1509 NEW BEST:: SOT 209535 SOS 76991 HAS SOPS 76991 HAS SOUS 56325 HAS SOUPS 56325 WITH SCORE 56401.991
AT ITER 1521 NEW BEST:: SOT 209438 SOS 76894 HAS SOPS 76894 HAS SOUS 56325 HAS SOUPS 56325 WITH SCORE 56401.894
AT ITER 1527 NEW BEST:: SOT 209383 SOS 76563 HAS SOPS 76563 HAS SOUS 56139 HAS SOUPS 56139 WITH SCORE 56215.563
AT ITER 1529 NEW BEST:: SOT 209355 SOS 76534 HAS SOPS 76534 HAS SOUS 56110 HAS SOUPS 56110 WITH SCORE 56186.534
AT ITER 1546 NEW BEST:: SOT 209277 SOS 76378 HAS SOPS 76378 HAS SOUS 56059 HAS SOUPS 56059 WITH SCORE 56135.378
AT ITER 1552 NEW BEST:: SOT 209539 SOS 76202 HAS SOPS 76202 HAS SOUS 55904 HAS SOUPS 55904 WITH SCORE 55980.202
AT ITER 1556 NEW BEST:: SOT 209417 SOS 75958 HAS SOPS 75958 HAS SOUS 55768 HAS SOUPS 55768 WITH SCORE 55843.958
AT ITER 1559 NEW BEST:: SOT 209322 SOS 75872 HAS SOPS 75872 HAS SOUS 55626 HAS SOUPS 55626 WITH SCORE 55701.872
AT ITER 1573 NEW BEST:: SOT 209272 SOS 75623 HAS SOPS 75623 HAS SOUS 55377 HAS SOUPS 55377 WITH SCORE 55452.623
AT ITER 1575 NEW BEST:: SOT 209605 SOS 75755 HAS SOPS 75755 HAS SOUS 55296 HAS SOUPS 55296 WITH SCORE 55371.755
AT ITER 1578 NEW BEST:: SOT 209597 SOS 75732 HAS SOPS 75732 HAS SOUS 55268 HAS SOUPS 55268 WITH SCORE 55343.732
AT ITER 1581 NEW BEST:: SOT 209336 SOS 75358 HAS SOPS 75358 HAS SOUS 54990 HAS SOUPS 54990 WITH SCORE 55065.358
AT ITER 1600 NEW BEST:: SOT 209203 SOS 75225 HAS SOPS 75225 HAS SOUS 54857 HAS SOUPS 54857 WITH SCORE 54932.225
AT ITER 1620 NEW BEST:: SOT 209071 SOS 75093 HAS SOPS 75093 HAS SOUS 54725 HAS SOUPS 54725 WITH SCORE 54800.093
AT ITER 1621 NEW BEST:: SOT 208930 SOS 74670 HAS SOPS 74670 HAS SOUS 54584 HAS SOUPS 54584 WITH SCORE 54658.67
AT ITER 1622 NEW BEST:: SOT 208914 SOS 74654 HAS SOPS 74654 HAS SOUS 54568 HAS SOUPS 54568 WITH SCORE 54642.654
AT ITER 1651 NEW BEST:: SOT 208900 SOS 74626 HAS SOPS 74626 HAS SOUS 54554 HAS SOUPS 54554 WITH SCORE 54628.626
AT ITER 1660 NEW BEST:: SOT 208893 SOS 74612 HAS SOPS 74612 HAS SOUS 54547 HAS SOUPS 54547 WITH SCORE 54621.612
AT ITER 1678 NEW BEST:: SOT 208943 SOS 74608 HAS SOPS 74608 HAS SOUS 54543 HAS SOUPS 54543 WITH SCORE 54617.608
AT ITER 1707 NEW BEST:: SOT 208891 SOS 74504 HAS SOPS 74504 HAS SOUS 54439 HAS SOUPS 54439 WITH SCORE 54513.504
AT ITER 1730 NEW BEST:: SOT 209012 SOS 74392 HAS SOPS 74392 HAS SOUS 54406 HAS SOUPS 54406 WITH SCORE 54480.392
AT ITER 1732 NEW BEST:: SOT 209082 SOS 74259 HAS SOPS 74259 HAS SOUS 54347 HAS SOUPS 54347 WITH SCORE 54421.259
AT ITER 1733 NEW BEST:: SOT 209000 SOS 74140 HAS SOPS 74140 HAS SOUS 54228 HAS SOUPS 54228 WITH SCORE 54302.14
AT ITER 1735 NEW BEST:: SOT 209018 SOS 73945 HAS SOPS 73945 HAS SOUS 54165 HAS SOUPS 54165 WITH SCORE 54238.945
AT ITER 1744 NEW BEST:: SOT 208988 SOS 73890 HAS SOPS 73890 HAS SOUS 54139 HAS SOUPS 54139 WITH SCORE 54212.89
AT ITER 1771 NEW BEST:: SOT 208987 SOS 73889 HAS SOPS 73889 HAS SOUS 54138 HAS SOUPS 54138 WITH SCORE 54211.889
AT ITER 1773 NEW BEST:: SOT 208976 SOS 73878 HAS SOPS 73878 HAS SOUS 54138 HAS SOUPS 54138 WITH SCORE 54211.878
AT ITER 1794 NEW BEST:: SOT 208899 SOS 73596 HAS SOPS 73596 HAS SOUS 53911 HAS SOUPS 53911 WITH SCORE 53984.596
AT ITER 1802 NEW BEST:: SOT 208395 SOS 72982 HAS SOPS 72982 HAS SOUS 53597 HAS SOUPS 53597 WITH SCORE 53669.982
AT ITER 1815 NEW BEST:: SOT 208395 SOS 72820 HAS SOPS 72820 HAS SOUS 53501 HAS SOUPS 53501 WITH SCORE 53573.82
AT ITER 1828 NEW BEST:: SOT 208373 SOS 72803 HAS SOPS 72803 HAS SOUS 53481 HAS SOUPS 53481 WITH SCORE 53553.803
AT ITER 1835 NEW BEST:: SOT 208342 SOS 72721 HAS SOPS 72721 HAS SOUS 53447 HAS SOUPS 53447 WITH SCORE 53519.721
AT ITER 1837 NEW BEST:: SOT 208223 SOS 72483 HAS SOPS 72483 HAS SOUS 53209 HAS SOUPS 53209 WITH SCORE 53281.483
AT ITER 1853 NEW BEST:: SOT 208217 SOS 72471 HAS SOPS 72471 HAS SOUS 53197 HAS SOUPS 53197 WITH SCORE 53269.471
AT ITER 1859 NEW BEST:: SOT 208184 SOS 72434 HAS SOPS 72434 HAS SOUS 53160 HAS SOUPS 53160 WITH SCORE 53232.434
AT ITER 1864 NEW BEST:: SOT 208200 SOS 72466 HAS SOPS 72466 HAS SOUS 53146 HAS SOUPS 53146 WITH SCORE 53218.466
AT ITER 1870 NEW BEST:: SOT 208193 SOS 72417 HAS SOPS 72417 HAS SOUS 53097 HAS SOUPS 53097 WITH SCORE 53169.417
AT ITER 1871 NEW BEST:: SOT 208176 SOS 72383 HAS SOPS 72383 HAS SOUS 53079 HAS SOUPS 53079 WITH SCORE 53151.383
AT ITER 1887 NEW BEST:: SOT 208102 SOS 72176 HAS SOPS 72176 HAS SOUS 53004 HAS SOUPS 53004 WITH SCORE 53076.176
AT ITER 1904 NEW BEST:: SOT 208119 SOS 72152 HAS SOPS 72152 HAS SOUS 52980 HAS SOUPS 52980 WITH SCORE 53052.152
AT ITER 1911 NEW BEST:: SOT 208064 SOS 72042 HAS SOPS 72042 HAS SOUS 52870 HAS SOUPS 52870 WITH SCORE 52942.042
AT ITER 1918 NEW BEST:: SOT 208051 SOS 72016 HAS SOPS 72016 HAS SOUS 52684 HAS SOUPS 52684 WITH SCORE 52756.016
AT ITER 1932 NEW BEST:: SOT 207882 SOS 71509 HAS SOPS 71509 HAS SOUS 52684 HAS SOUPS 52684 WITH SCORE 52755.509
AT ITER 1948 NEW BEST:: SOT 207868 SOS 71494 HAS SOPS 71494 HAS SOUS 52669 HAS SOUPS 52669 WITH SCORE 52740.494
AT ITER 1993 NEW BEST:: SOT 207756 SOS 71414 HAS SOPS 71414 HAS SOUS 52546 HAS SOUPS 52546 WITH SCORE 52617.414
AT ITER 2003 NEW BEST:: SOT 207756 SOS 71414 HAS SOPS 71414 HAS SOUS 52412 HAS SOUPS 52412 WITH SCORE 52483.414
AT ITER 2008 NEW BEST:: SOT 207749 SOS 71400 HAS SOPS 71400 HAS SOUS 52398 HAS SOUPS 52398 WITH SCORE 52469.4
AT ITER 2011 NEW BEST:: SOT 207690 SOS 71282 HAS SOPS 71282 HAS SOUS 52280 HAS SOUPS 52280 WITH SCORE 52351.282
AT ITER 2015 NEW BEST:: SOT 207667 SOS 71259 HAS SOPS 71259 HAS SOUS 52257 HAS SOUPS 52257 WITH SCORE 52328.259
AT ITER 2048 NEW BEST:: SOT 207653 SOS 71237 HAS SOPS 71237 HAS SOUS 52235 HAS SOUPS 52235 WITH SCORE 52306.237
AT ITER 2051 NEW BEST:: SOT 207636 SOS 71220 HAS SOPS 71220 HAS SOUS 52218 HAS SOUPS 52218 WITH SCORE 52289.22
AT ITER 2052 NEW BEST:: SOT 207602 SOS 71124 HAS SOPS 71124 HAS SOUS 52122 HAS SOUPS 52122 WITH SCORE 52193.124
AT ITER 2069 NEW BEST:: SOT 207592 SOS 70944 HAS SOPS 70944 HAS SOUS 52092 HAS SOUPS 52092 WITH SCORE 52162.944
AT ITER 2079 NEW BEST:: SOT 207538 SOS 70995 HAS SOPS 70995 HAS SOUS 52047 HAS SOUPS 52047 WITH SCORE 52117.995
AT ITER 2087 NEW BEST:: SOT 207357 SOS 70802 HAS SOPS 70802 HAS SOUS 52030 HAS SOUPS 52030 WITH SCORE 52100.802
AT ITER 2092 NEW BEST:: SOT 207355 SOS 70798 HAS SOPS 70798 HAS SOUS 52026 HAS SOUPS 52026 WITH SCORE 52096.798
AT ITER 2093 NEW BEST:: SOT 207284 SOS 70685 HAS SOPS 70685 HAS SOUS 51913 HAS SOUPS 51913 WITH SCORE 51983.685
AT ITER 2102 NEW BEST:: SOT 207273 SOS 70670 HAS SOPS 70670 HAS SOUS 51898 HAS SOUPS 51898 WITH SCORE 51968.67
AT ITER 2119 NEW BEST:: SOT 207273 SOS 70640 HAS SOPS 70640 HAS SOUS 51898 HAS SOUPS 51898 WITH SCORE 51968.64
AT ITER 2127 NEW BEST:: SOT 207302 SOS 70639 HAS SOPS 70639 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 51938.639
AT ITER 2137 NEW BEST:: SOT 207202 SOS 70530 HAS SOPS 70530 HAS SOUS 51759 HAS SOUPS 51759 WITH SCORE 51829.53
AT ITER 2163 NEW BEST:: SOT 207202 SOS 70530 HAS SOPS 70530 HAS SOUS 51666 HAS SOUPS 51666 WITH SCORE 51736.53
AT ITER 2164 NEW BEST:: SOT 207177 SOS 70480 HAS SOPS 70480 HAS SOUS 51643 HAS SOUPS 51643 WITH SCORE 51713.48
AT ITER 2188 NEW BEST:: SOT 207288 SOS 70480 HAS SOPS 70480 HAS SOUS 51547 HAS SOUPS 51547 WITH SCORE 51617.48
AT ITER 2197 NEW BEST:: SOT 207221 SOS 70413 HAS SOPS 70413 HAS SOUS 51547 HAS SOUPS 51547 WITH SCORE 51617.413
AT ITER 2198 NEW BEST:: SOT 207221 SOS 70413 HAS SOPS 70413 HAS SOUS 51542 HAS SOUPS 51542 WITH SCORE 51612.413
AT ITER 2200 NEW BEST:: SOT 207179 SOS 70473 HAS SOPS 70473 HAS SOUS 51468 HAS SOUPS 51468 WITH SCORE 51538.473
AT ITER 2205 NEW BEST:: SOT 207173 SOS 70458 HAS SOPS 70458 HAS SOUS 51464 HAS SOUPS 51464 WITH SCORE 51534.458
AT ITER 2233 NEW BEST:: SOT 207163 SOS 70428 HAS SOPS 70428 HAS SOUS 51444 HAS SOUPS 51444 WITH SCORE 51514.428
AT ITER 2251 NEW BEST:: SOT 207159 SOS 70420 HAS SOPS 70420 HAS SOUS 51436 HAS SOUPS 51436 WITH SCORE 51506.42
AT ITER 2272 NEW BEST:: SOT 207086 SOS 70347 HAS SOPS 70347 HAS SOUS 51363 HAS SOUPS 51363 WITH SCORE 51433.347
AT ITER 2279 NEW BEST:: SOT 207085 SOS 70302 HAS SOPS 70302 HAS SOUS 51361 HAS SOUPS 51361 WITH SCORE 51431.302
AT ITER 2299 NEW BEST:: SOT 207044 SOS 70335 HAS SOPS 70335 HAS SOUS 51323 HAS SOUPS 51323 WITH SCORE 51393.335
AT ITER 2324 NEW BEST:: SOT 207044 SOS 70327 HAS SOPS 70327 HAS SOUS 51315 HAS SOUPS 51315 WITH SCORE 51385.327
AT ITER 2337 NEW BEST:: SOT 207043 SOS 70326 HAS SOPS 70326 HAS SOUS 51314 HAS SOUPS 51314 WITH SCORE 51384.326
AT ITER 2339 NEW BEST:: SOT 206956 SOS 70305 HAS SOPS 70305 HAS SOUS 51227 HAS SOUPS 51227 WITH SCORE 51297.305
AT ITER 2357 NEW BEST:: SOT 206811 SOS 70156 HAS SOPS 70156 HAS SOUS 51078 HAS SOUPS 51078 WITH SCORE 51148.156
AT ITER 2395 NEW BEST:: SOT 206794 SOS 70139 HAS SOPS 70139 HAS SOUS 51061 HAS SOUPS 51061 WITH SCORE 51131.139
AT ITER 2403 NEW BEST:: SOT 207049 SOS 70184 HAS SOPS 70184 HAS SOUS 51040 HAS SOUPS 51040 WITH SCORE 51110.184
AT ITER 2420 NEW BEST:: SOT 207033 SOS 70151 HAS SOPS 70151 HAS SOUS 51007 HAS SOUPS 51007 WITH SCORE 51077.151
AT ITER 2442 NEW BEST:: SOT 207024 SOS 70133 HAS SOPS 70133 HAS SOUS 51004 HAS SOUPS 51004 WITH SCORE 51074.133
AT ITER 2460 NEW BEST:: SOT 207017 SOS 70092 HAS SOPS 70092 HAS SOUS 50963 HAS SOUPS 50963 WITH SCORE 51033.092
AT ITER 2468 NEW BEST:: SOT 207097 SOS 70043 HAS SOPS 70043 HAS SOUS 50952 HAS SOUPS 50952 WITH SCORE 51022.043
AT ITER 2499 NEW BEST:: SOT 207097 SOS 70043 HAS SOPS 70043 HAS SOUS 50929 HAS SOUPS 50929 WITH SCORE 50999.043
AT ITER 2529 NEW BEST:: SOT 206997 SOS 69875 HAS SOPS 69875 HAS SOUS 50761 HAS SOUPS 50761 WITH SCORE 50830.875
AT ITER 2546 NEW BEST:: SOT 206969 SOS 69835 HAS SOPS 69835 HAS SOUS 50739 HAS SOUPS 50739 WITH SCORE 50808.835
AT ITER 2551 NEW BEST:: SOT 206923 SOS 69697 HAS SOPS 69697 HAS SOUS 50629 HAS SOUPS 50629 WITH SCORE 50698.697
AT ITER 2556 NEW BEST:: SOT 206911 SOS 69685 HAS SOPS 69685 HAS SOUS 50629 HAS SOUPS 50629 WITH SCORE 50698.685
AT ITER 2592 NEW BEST:: SOT 206899 SOS 69661 HAS SOPS 69661 HAS SOUS 50605 HAS SOUPS 50605 WITH SCORE 50674.661
AT ITER 2605 NEW BEST:: SOT 206865 SOS 69591 HAS SOPS 69591 HAS SOUS 50535 HAS SOUPS 50535 WITH SCORE 50604.591
AT ITER 2623 NEW BEST:: SOT 206865 SOS 69587 HAS SOPS 69587 HAS SOUS 50533 HAS SOUPS 50533 WITH SCORE 50602.587
AT ITER 2632 NEW BEST:: SOT 206667 SOS 69433 HAS SOPS 69433 HAS SOUS 50374 HAS SOUPS 50374 WITH SCORE 50443.433
AT ITER 2633 NEW BEST:: SOT 206590 SOS 69356 HAS SOPS 69356 HAS SOUS 50374 HAS SOUPS 50374 WITH SCORE 50443.356
AT ITER 2671 NEW BEST:: SOT 206576 SOS 69222 HAS SOPS 69222 HAS SOUS 50318 HAS SOUPS 50318 WITH SCORE 50387.222
AT ITER 2680 NEW BEST:: SOT 206553 SOS 69196 HAS SOPS 69196 HAS SOUS 50292 HAS SOUPS 50292 WITH SCORE 50361.196
AT ITER 2727 NEW BEST:: SOT 206445 SOS 68968 HAS SOPS 68968 HAS SOUS 50064 HAS SOUPS 50064 WITH SCORE 50132.968
AT ITER 2764 NEW BEST:: SOT 206445 SOS 68968 HAS SOPS 68968 HAS SOUS 50024 HAS SOUPS 50024 WITH SCORE 50092.968
AT ITER 2770 NEW BEST:: SOT 206337 SOS 68720 HAS SOPS 68720 HAS SOUS 49848 HAS SOUPS 49848 WITH SCORE 49916.72
AT ITER 2790 NEW BEST:: SOT 206335 SOS 68717 HAS SOPS 68717 HAS SOUS 49846 HAS SOUPS 49846 WITH SCORE 49914.717
AT ITER 2819 NEW BEST:: SOT 206361 SOS 68716 HAS SOPS 68716 HAS SOUS 49801 HAS SOUPS 49801 WITH SCORE 49869.716
AT ITER 2859 NEW BEST:: SOT 206360 SOS 68715 HAS SOPS 68715 HAS SOUS 49800 HAS SOUPS 49800 WITH SCORE 49868.715
AT ITER 2870 NEW BEST:: SOT 206340 SOS 68675 HAS SOPS 68675 HAS SOUS 49760 HAS SOUPS 49760 WITH SCORE 49828.675
AT ITER 2874 NEW BEST:: SOT 206317 SOS 68629 HAS SOPS 68629 HAS SOUS 49736 HAS SOUPS 49736 WITH SCORE 49804.629
AT ITER 2881 NEW BEST:: SOT 206317 SOS 68629 HAS SOPS 68629 HAS SOUS 49729 HAS SOUPS 49729 WITH SCORE 49797.629
AT ITER 2887 NEW BEST:: SOT 206301 SOS 68689 HAS SOPS 68689 HAS SOUS 49696 HAS SOUPS 49696 WITH SCORE 49764.689
AT ITER 2914 NEW BEST:: SOT 206332 SOS 68687 HAS SOPS 68687 HAS SOUS 49694 HAS SOUPS 49694 WITH SCORE 49762.687
AT ITER 2919 NEW BEST:: SOT 206311 SOS 68645 HAS SOPS 68645 HAS SOUS 49628 HAS SOUPS 49628 WITH SCORE 49696.645
AT ITER 2922 NEW BEST:: SOT 206315 SOS 68653 HAS SOPS 68653 HAS SOUS 49622 HAS SOUPS 49622 WITH SCORE 49690.653
AT ITER 2958 NEW BEST:: SOT 206317 SOS 68655 HAS SOPS 68655 HAS SOUS 49608 HAS SOUPS 49608 WITH SCORE 49676.655
AT ITER 2980 NEW BEST:: SOT 206250 SOS 68602 HAS SOPS 68602 HAS SOUS 49555 HAS SOUPS 49555 WITH SCORE 49623.602
AT ITER 2987 NEW BEST:: SOT 206250 SOS 68602 HAS SOPS 68602 HAS SOUS 49552 HAS SOUPS 49552 WITH SCORE 49620.602
AT ITER 2989 NEW BEST:: SOT 206218 SOS 68575 HAS SOPS 68575 HAS SOUS 49525 HAS SOUPS 49525 WITH SCORE 49593.575
AT ITER 2991 NEW BEST:: SOT 206067 SOS 68355 HAS SOPS 68355 HAS SOUS 49461 HAS SOUPS 49461 WITH SCORE 49529.355
AT ITER 2995 NEW BEST:: SOT 206067 SOS 68329 HAS SOPS 68329 HAS SOUS 49434 HAS SOUPS 49434 WITH SCORE 49502.329
AT ITER 3002 NEW BEST:: SOT 206059 SOS 68193 HAS SOPS 68193 HAS SOUS 49418 HAS SOUPS 49418 WITH SCORE 49486.193
AT ITER 3007 NEW BEST:: SOT 206017 SOS 68109 HAS SOPS 68109 HAS SOUS 49334 HAS SOUPS 49334 WITH SCORE 49402.109
AT ITER 3013 NEW BEST:: SOT 206012 SOS 68104 HAS SOPS 68104 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49297.104
AT ITER 3016 NEW BEST:: SOT 205995 SOS 68070 HAS SOPS 68070 HAS SOUS 49195 HAS SOUPS 49195 WITH SCORE 49263.07
AT ITER 3021 NEW BEST:: SOT 205924 SOS 67991 HAS SOPS 67991 HAS SOUS 49179 HAS SOUPS 49179 WITH SCORE 49246.991
AT ITER 3031 NEW BEST:: SOT 205807 SOS 67780 HAS SOPS 67780 HAS SOUS 49085 HAS SOUPS 49085 WITH SCORE 49152.78
AT ITER 3051 NEW BEST:: SOT 205782 SOS 67721 HAS SOPS 67721 HAS SOUS 49026 HAS SOUPS 49026 WITH SCORE 49093.721
AT ITER 3088 NEW BEST:: SOT 205818 SOS 67728 HAS SOPS 67728 HAS SOUS 48997 HAS SOUPS 48997 WITH SCORE 49064.728
AT ITER 3096 NEW BEST:: SOT 205816 SOS 67724 HAS SOPS 67724 HAS SOUS 48993 HAS SOUPS 48993 WITH SCORE 49060.724
AT ITER 3107 NEW BEST:: SOT 205814 SOS 67710 HAS SOPS 67710 HAS SOUS 48991 HAS SOUPS 48991 WITH SCORE 49058.71
AT ITER 3139 NEW BEST:: SOT 205809 SOS 67700 HAS SOPS 67700 HAS SOUS 48986 HAS SOUPS 48986 WITH SCORE 49053.7
AT ITER 3151 NEW BEST:: SOT 205804 SOS 67621 HAS SOPS 67621 HAS SOUS 48958 HAS SOUPS 48958 WITH SCORE 49025.621
AT ITER 3153 NEW BEST:: SOT 205804 SOS 67555 HAS SOPS 67555 HAS SOUS 48925 HAS SOUPS 48925 WITH SCORE 48992.555
AT ITER 3156 NEW BEST:: SOT 205797 SOS 67541 HAS SOPS 67541 HAS SOUS 48925 HAS SOUPS 48925 WITH SCORE 48992.541
AT ITER 3164 NEW BEST:: SOT 205680 SOS 67457 HAS SOPS 67457 HAS SOUS 48820 HAS SOUPS 48820 WITH SCORE 48887.457
AT ITER 3177 NEW BEST:: SOT 205694 SOS 67466 HAS SOPS 67466 HAS SOUS 48813 HAS SOUPS 48813 WITH SCORE 48880.466
AT ITER 3192 NEW BEST:: SOT 205959 SOS 67604 HAS SOPS 67604 HAS SOUS 48771 HAS SOUPS 48771 WITH SCORE 48838.604
AT ITER 3211 NEW BEST:: SOT 205911 SOS 67626 HAS SOPS 67626 HAS SOUS 48723 HAS SOUPS 48723 WITH SCORE 48790.626
AT ITER 3214 NEW BEST:: SOT 205907 SOS 67597 HAS SOPS 67597 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48761.597
AT ITER 3269 NEW BEST:: SOT 205907 SOS 67593 HAS SOPS 67593 HAS SOUS 48690 HAS SOUPS 48690 WITH SCORE 48757.593
AT ITER 3270 NEW BEST:: SOT 205717 SOS 67514 HAS SOPS 67514 HAS SOUS 48523 HAS SOUPS 48523 WITH SCORE 48590.514
AT ITER 3306 NEW BEST:: SOT 205699 SOS 67479 HAS SOPS 67479 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48571.479
AT ITER 3343 NEW BEST:: SOT 205699 SOS 67479 HAS SOPS 67479 HAS SOUS 48494 HAS SOUPS 48494 WITH SCORE 48561.479
AT ITER 3361 NEW BEST:: SOT 205751 SOS 67583 HAS SOPS 67583 HAS SOUS 48455 HAS SOUPS 48455 WITH SCORE 48522.583
AT ITER 3380 NEW BEST:: SOT 205751 SOS 67550 HAS SOPS 67550 HAS SOUS 48422 HAS SOUPS 48422 WITH SCORE 48489.55
AT ITER 3387 NEW BEST:: SOT 205860 SOS 67441 HAS SOPS 67441 HAS SOUS 48313 HAS SOUPS 48313 WITH SCORE 48380.441
AT ITER 3402 NEW BEST:: SOT 205863 SOS 67425 HAS SOPS 67425 HAS SOUS 48296 HAS SOUPS 48296 WITH SCORE 48363.425
AT ITER 3445 NEW BEST:: SOT 205863 SOS 67414 HAS SOPS 67414 HAS SOUS 48296 HAS SOUPS 48296 WITH SCORE 48363.414
AT ITER 3477 NEW BEST:: SOT 205855 SOS 67389 HAS SOPS 67389 HAS SOUS 48270 HAS SOUPS 48270 WITH SCORE 48337.389
AT ITER 3494 NEW BEST:: SOT 205799 SOS 67376 HAS SOPS 67376 HAS SOUS 48257 HAS SOUPS 48257 WITH SCORE 48324.376
AT ITER 3506 NEW BEST:: SOT 205726 SOS 67257 HAS SOPS 67257 HAS SOUS 48091 HAS SOUPS 48091 WITH SCORE 48158.257
AT ITER 3515 NEW BEST:: SOT 205726 SOS 67257 HAS SOPS 67257 HAS SOUS 48024 HAS SOUPS 48024 WITH SCORE 48091.257
AT ITER 3560 NEW BEST:: SOT 205684 SOS 67238 HAS SOPS 67238 HAS SOUS 48005 HAS SOUPS 48005 WITH SCORE 48072.238
AT ITER 3575 NEW BEST:: SOT 205662 SOS 67173 HAS SOPS 67173 HAS SOUS 47940 HAS SOUPS 47940 WITH SCORE 48007.173
AT ITER 3580 NEW BEST:: SOT 205662 SOS 67072 HAS SOPS 67072 HAS SOUS 47935 HAS SOUPS 47935 WITH SCORE 48002.072
AT ITER 3590 NEW BEST:: SOT 205654 SOS 67056 HAS SOPS 67056 HAS SOUS 47919 HAS SOUPS 47919 WITH SCORE 47986.056
AT ITER 3640 NEW BEST:: SOT 205593 SOS 66980 HAS SOPS 66980 HAS SOUS 47843 HAS SOUPS 47843 WITH SCORE 47909.98
AT ITER 3654 NEW BEST:: SOT 205561 SOS 66948 HAS SOPS 66948 HAS SOUS 47811 HAS SOUPS 47811 WITH SCORE 47877.948
AT ITER 3675 NEW BEST:: SOT 205545 SOS 67008 HAS SOPS 67008 HAS SOUS 47786 HAS SOUPS 47786 WITH SCORE 47853.008
AT ITER 3689 NEW BEST:: SOT 205509 SOS 66936 HAS SOPS 66936 HAS SOUS 47714 HAS SOUPS 47714 WITH SCORE 47780.936
AT ITER 3691 NEW BEST:: SOT 205473 SOS 66864 HAS SOPS 66864 HAS SOUS 47642 HAS SOUPS 47642 WITH SCORE 47708.864
AT ITER 3707 NEW BEST:: SOT 205465 SOS 66817 HAS SOPS 66817 HAS SOUS 47595 HAS SOUPS 47595 WITH SCORE 47661.817
AT ITER 3785 NEW BEST:: SOT 205456 SOS 66807 HAS SOPS 66807 HAS SOUS 47593 HAS SOUPS 47593 WITH SCORE 47659.807
AT ITER 3806 NEW BEST:: SOT 205443 SOS 66694 HAS SOPS 66694 HAS SOUS 47480 HAS SOUPS 47480 WITH SCORE 47546.694
AT ITER 3855 NEW BEST:: SOT 205443 SOS 66658 HAS SOPS 66658 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47528.658
AT ITER 3877 NEW BEST:: SOT 205431 SOS 66646 HAS SOPS 66646 HAS SOUS 47450 HAS SOUPS 47450 WITH SCORE 47516.646
AT ITER 3902 NEW BEST:: SOT 205483 SOS 66612 HAS SOPS 66612 HAS SOUS 47416 HAS SOUPS 47416 WITH SCORE 47482.612
AT ITER 3906 NEW BEST:: SOT 205483 SOS 66606 HAS SOPS 66606 HAS SOUS 47410 HAS SOUPS 47410 WITH SCORE 47476.606
AT ITER 3918 NEW BEST:: SOT 205288 SOS 66411 HAS SOPS 66411 HAS SOUS 47215 HAS SOUPS 47215 WITH SCORE 47281.411
AT ITER 3929 NEW BEST:: SOT 205316 SOS 66387 HAS SOPS 66387 HAS SOUS 47191 HAS SOUPS 47191 WITH SCORE 47257.387
AT ITER 3949 NEW BEST:: SOT 205117 SOS 66226 HAS SOPS 66226 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47186.226
AT ITER 3964 NEW BEST:: SOT 205114 SOS 66223 HAS SOPS 66223 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47183.223
AT ITER 3975 NEW BEST:: SOT 205173 SOS 66201 HAS SOPS 66201 HAS SOUS 47095 HAS SOUPS 47095 WITH SCORE 47161.201
AT ITER 4023 NEW BEST:: SOT 205169 SOS 66162 HAS SOPS 66162 HAS SOUS 46992 HAS SOUPS 46992 WITH SCORE 47058.162
AT ITER 4043 NEW BEST:: SOT 205159 SOS 66142 HAS SOPS 66142 HAS SOUS 46972 HAS SOUPS 46972 WITH SCORE 47038.142
AT ITER 4047 NEW BEST:: SOT 205134 SOS 66071 HAS SOPS 66071 HAS SOUS 46901 HAS SOUPS 46901 WITH SCORE 46967.071
AT ITER 4057 NEW BEST:: SOT 205096 SOS 66056 HAS SOPS 66056 HAS SOUS 46870 HAS SOUPS 46870 WITH SCORE 46936.056
AT ITER 4062 NEW BEST:: SOT 204998 SOS 65931 HAS SOPS 65931 HAS SOUS 46816 HAS SOUPS 46816 WITH SCORE 46881.931
AT ITER 4106 NEW BEST:: SOT 205037 SOS 65873 HAS SOPS 65873 HAS SOUS 46758 HAS SOUPS 46758 WITH SCORE 46823.873
AT ITER 4122 NEW BEST:: SOT 204854 SOS 66012 HAS SOPS 66012 HAS SOUS 46662 HAS SOUPS 46662 WITH SCORE 46728.012
AT ITER 4156 NEW BEST:: SOT 204846 SOS 66004 HAS SOPS 66004 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46720.004
AT ITER 4159 NEW BEST:: SOT 204836 SOS 65984 HAS SOPS 65984 HAS SOUS 46634 HAS SOUPS 46634 WITH SCORE 46699.984
AT ITER 4172 NEW BEST:: SOT 204836 SOS 65982 HAS SOPS 65982 HAS SOUS 46634 HAS SOUPS 46634 WITH SCORE 46699.982
AT ITER 4206 NEW BEST:: SOT 204833 SOS 65976 HAS SOPS 65976 HAS SOUS 46628 HAS SOUPS 46628 WITH SCORE 46693.976
AT ITER 4229 NEW BEST:: SOT 204833 SOS 65962 HAS SOPS 65962 HAS SOUS 46614 HAS SOUPS 46614 WITH SCORE 46679.962
AT ITER 4236 NEW BEST:: SOT 204824 SOS 65940 HAS SOPS 65940 HAS SOUS 46601 HAS SOUPS 46601 WITH SCORE 46666.94
AT ITER 4243 NEW BEST:: SOT 204824 SOS 65926 HAS SOPS 65926 HAS SOUS 46587 HAS SOUPS 46587 WITH SCORE 46652.926
AT ITER 4254 NEW BEST:: SOT 204769 SOS 65871 HAS SOPS 65871 HAS SOUS 46532 HAS SOUPS 46532 WITH SCORE 46597.871
AT ITER 4268 NEW BEST:: SOT 204722 SOS 65622 HAS SOPS 65622 HAS SOUS 46397 HAS SOUPS 46397 WITH SCORE 46462.622
AT ITER 4289 NEW BEST:: SOT 204632 SOS 65528 HAS SOPS 65528 HAS SOUS 46389 HAS SOUPS 46389 WITH SCORE 46454.528
AT ITER 4297 NEW BEST:: SOT 204632 SOS 65524 HAS SOPS 65524 HAS SOUS 46389 HAS SOUPS 46389 WITH SCORE 46454.524
AT ITER 4298 NEW BEST:: SOT 204611 SOS 65503 HAS SOPS 65503 HAS SOUS 46389 HAS SOUPS 46389 WITH SCORE 46454.503
AT ITER 4300 NEW BEST:: SOT 204562 SOS 65405 HAS SOPS 65405 HAS SOUS 46291 HAS SOUPS 46291 WITH SCORE 46356.405
AT ITER 4333 NEW BEST:: SOT 204560 SOS 65372 HAS SOPS 65372 HAS SOUS 46273 HAS SOUPS 46273 WITH SCORE 46338.372
AT ITER 4335 NEW BEST:: SOT 204560 SOS 65367 HAS SOPS 65367 HAS SOUS 46224 HAS SOUPS 46224 WITH SCORE 46289.367
AT ITER 4337 NEW BEST:: SOT 204492 SOS 65232 HAS SOPS 65232 HAS SOUS 46123 HAS SOUPS 46123 WITH SCORE 46188.232
AT ITER 4365 NEW BEST:: SOT 204501 SOS 65228 HAS SOPS 65228 HAS SOUS 46119 HAS SOUPS 46119 WITH SCORE 46184.228
AT ITER 4394 NEW BEST:: SOT 204525 SOS 65159 HAS SOPS 65159 HAS SOUS 46086 HAS SOUPS 46086 WITH SCORE 46151.159
AT ITER 4398 NEW BEST:: SOT 204506 SOS 65121 HAS SOPS 65121 HAS SOUS 46048 HAS SOUPS 46048 WITH SCORE 46113.121
AT ITER 4404 NEW BEST:: SOT 204491 SOS 65106 HAS SOPS 65106 HAS SOUS 46033 HAS SOUPS 46033 WITH SCORE 46098.106
AT ITER 4414 NEW BEST:: SOT 204391 SOS 64945 HAS SOPS 64945 HAS SOUS 45872 HAS SOUPS 45872 WITH SCORE 45936.945
AT ITER 4420 NEW BEST:: SOT 204421 SOS 64933 HAS SOPS 64933 HAS SOUS 45860 HAS SOUPS 45860 WITH SCORE 45924.933
AT ITER 4452 NEW BEST:: SOT 204324 SOS 64739 HAS SOPS 64739 HAS SOUS 45769 HAS SOUPS 45769 WITH SCORE 45833.739
AT ITER 4513 NEW BEST:: SOT 204320 SOS 64723 HAS SOPS 64723 HAS SOUS 45753 HAS SOUPS 45753 WITH SCORE 45817.723
AT ITER 4517 NEW BEST:: SOT 204320 SOS 64696 HAS SOPS 64696 HAS SOUS 45726 HAS SOUPS 45726 WITH SCORE 45790.696
AT ITER 4523 NEW BEST:: SOT 204318 SOS 64692 HAS SOPS 64692 HAS SOUS 45722 HAS SOUPS 45722 WITH SCORE 45786.692
AT ITER 4537 NEW BEST:: SOT 204122 SOS 64489 HAS SOPS 64489 HAS SOUS 45709 HAS SOUPS 45709 WITH SCORE 45773.489
AT ITER 4549 NEW BEST:: SOT 204107 SOS 64459 HAS SOPS 64459 HAS SOUS 45679 HAS SOUPS 45679 WITH SCORE 45743.459
AT ITER 4573 NEW BEST:: SOT 204123 SOS 64426 HAS SOPS 64426 HAS SOUS 45646 HAS SOUPS 45646 WITH SCORE 45710.426
AT ITER 4583 NEW BEST:: SOT 203994 SOS 64381 HAS SOPS 64381 HAS SOUS 45547 HAS SOUPS 45547 WITH SCORE 45611.381
AT ITER 4588 NEW BEST:: SOT 203977 SOS 64346 HAS SOPS 64346 HAS SOUS 45528 HAS SOUPS 45528 WITH SCORE 45592.346
AT ITER 4599 NEW BEST:: SOT 203926 SOS 64319 HAS SOPS 64319 HAS SOUS 45501 HAS SOUPS 45501 WITH SCORE 45565.319
AT ITER 4624 NEW BEST:: SOT 203886 SOS 64279 HAS SOPS 64279 HAS SOUS 45461 HAS SOUPS 45461 WITH SCORE 45525.279
AT ITER 4625 NEW BEST:: SOT 203892 SOS 64232 HAS SOPS 64232 HAS SOUS 45443 HAS SOUPS 45443 WITH SCORE 45507.232
AT ITER 4636 NEW BEST:: SOT 203869 SOS 64184 HAS SOPS 64184 HAS SOUS 45395 HAS SOUPS 45395 WITH SCORE 45459.184
AT ITER 4639 NEW BEST:: SOT 203823 SOS 64049 HAS SOPS 64049 HAS SOUS 45260 HAS SOUPS 45260 WITH SCORE 45324.049
AT ITER 4645 NEW BEST:: SOT 203914 SOS 63965 HAS SOPS 63965 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45256.965
AT ITER 4676 NEW BEST:: SOT 203914 SOS 63965 HAS SOPS 63965 HAS SOUS 45122 HAS SOUPS 45122 WITH SCORE 45185.965
AT ITER 4760 NEW BEST:: SOT 203824 SOS 63785 HAS SOPS 63785 HAS SOUS 45025 HAS SOUPS 45025 WITH SCORE 45088.785
AT ITER 4786 NEW BEST:: SOT 203630 SOS 63686 HAS SOPS 63686 HAS SOUS 44926 HAS SOUPS 44926 WITH SCORE 44989.686
AT ITER 4789 NEW BEST:: SOT 203625 SOS 63681 HAS SOPS 63681 HAS SOUS 44921 HAS SOUPS 44921 WITH SCORE 44984.681
AT ITER 4806 NEW BEST:: SOT 203578 SOS 63671 HAS SOPS 63671 HAS SOUS 44911 HAS SOUPS 44911 WITH SCORE 44974.671
AT ITER 4808 NEW BEST:: SOT 203577 SOS 63669 HAS SOPS 63669 HAS SOUS 44910 HAS SOUPS 44910 WITH SCORE 44973.669
AT ITER 4815 NEW BEST:: SOT 203578 SOS 63668 HAS SOPS 63668 HAS SOUS 44909 HAS SOUPS 44909 WITH SCORE 44972.668
AT ITER 4865 NEW BEST:: SOT 203578 SOS 63584 HAS SOPS 63584 HAS SOUS 44909 HAS SOUPS 44909 WITH SCORE 44972.584
AT ITER 4871 NEW BEST:: SOT 203538 SOS 63504 HAS SOPS 63504 HAS SOUS 44829 HAS SOUPS 44829 WITH SCORE 44892.504
AT ITER 4874 NEW BEST:: SOT 203538 SOS 63504 HAS SOPS 63504 HAS SOUS 44824 HAS SOUPS 44824 WITH SCORE 44887.504
AT ITER 4904 NEW BEST:: SOT 203382 SOS 63319 HAS SOPS 63319 HAS SOUS 44637 HAS SOUPS 44637 WITH SCORE 44700.319
AT ITER 4916 NEW BEST:: SOT 203368 SOS 63291 HAS SOPS 63291 HAS SOUS 44609 HAS SOUPS 44609 WITH SCORE 44672.291
AT ITER 4923 NEW BEST:: SOT 203456 SOS 62870 HAS SOPS 62870 HAS SOUS 44546 HAS SOUPS 44546 WITH SCORE 44608.87
AT ITER 4942 NEW BEST:: SOT 203427 SOS 62812 HAS SOPS 62812 HAS SOUS 44495 HAS SOUPS 44495 WITH SCORE 44557.812
AT ITER 4955 NEW BEST:: SOT 203407 SOS 62792 HAS SOPS 62792 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44537.792
AT ITER 4979 NEW BEST:: SOT 203284 SOS 62669 HAS SOPS 62669 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44537.669
AT ITER 4980 NEW BEST:: SOT 203251 SOS 62636 HAS SOPS 62636 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44537.636
AT ITER 4985 NEW BEST:: SOT 203224 SOS 62582 HAS SOPS 62582 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44483.582
AT ITER 5012 NEW BEST:: SOT 203308 SOS 62670 HAS SOPS 62670 HAS SOUS 44418 HAS SOUPS 44418 WITH SCORE 44480.67
AT ITER 5063 NEW BEST:: SOT 203551 SOS 62904 HAS SOPS 62904 HAS SOUS 44409 HAS SOUPS 44409 WITH SCORE 44471.904
AT ITER 5076 NEW BEST:: SOT 203541 SOS 62870 HAS SOPS 62870 HAS SOUS 44398 HAS SOUPS 44398 WITH SCORE 44460.87
AT ITER 5078 NEW BEST:: SOT 203522 SOS 62832 HAS SOPS 62832 HAS SOUS 44360 HAS SOUPS 44360 WITH SCORE 44422.832
AT ITER 5100 NEW BEST:: SOT 203509 SOS 62806 HAS SOPS 62806 HAS SOUS 44347 HAS SOUPS 44347 WITH SCORE 44409.806
AT ITER 5124 NEW BEST:: SOT 203487 SOS 62680 HAS SOPS 62680 HAS SOUS 44221 HAS SOUPS 44221 WITH SCORE 44283.68
AT ITER 5126 NEW BEST:: SOT 203481 SOS 62636 HAS SOPS 62636 HAS SOUS 44177 HAS SOUPS 44177 WITH SCORE 44239.636
AT ITER 5127 NEW BEST:: SOT 203480 SOS 62635 HAS SOPS 62635 HAS SOUS 44176 HAS SOUPS 44176 WITH SCORE 44238.635
AT ITER 5150 NEW BEST:: SOT 203468 SOS 62617 HAS SOPS 62617 HAS SOUS 44152 HAS SOUPS 44152 WITH SCORE 44214.617
AT ITER 5171 NEW BEST:: SOT 203426 SOS 62544 HAS SOPS 62544 HAS SOUS 44079 HAS SOUPS 44079 WITH SCORE 44141.544
AT ITER 5176 NEW BEST:: SOT 203377 SOS 62495 HAS SOPS 62495 HAS SOUS 44078 HAS SOUPS 44078 WITH SCORE 44140.495
AT ITER 5187 NEW BEST:: SOT 203308 SOS 62412 HAS SOPS 62412 HAS SOUS 43998 HAS SOUPS 43998 WITH SCORE 44060.412
AT ITER 5189 NEW BEST:: SOT 203268 SOS 62371 HAS SOPS 62371 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44019.371
AT ITER 5207 NEW BEST:: SOT 203169 SOS 62235 HAS SOPS 62235 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43945.235
AT ITER 5222 NEW BEST:: SOT 203175 SOS 62234 HAS SOPS 62234 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43944.234
AT ITER 5224 NEW BEST:: SOT 203175 SOS 62195 HAS SOPS 62195 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43944.195
AT ITER 5256 NEW BEST:: SOT 203086 SOS 62078 HAS SOPS 62078 HAS SOUS 43693 HAS SOUPS 43693 WITH SCORE 43755.078
AT ITER 5307 NEW BEST:: SOT 203086 SOS 62073 HAS SOPS 62073 HAS SOUS 43688 HAS SOUPS 43688 WITH SCORE 43750.073
AT ITER 5327 NEW BEST:: SOT 203081 SOS 62067 HAS SOPS 62067 HAS SOUS 43682 HAS SOUPS 43682 WITH SCORE 43744.067
AT ITER 5346 NEW BEST:: SOT 203077 SOS 62059 HAS SOPS 62059 HAS SOUS 43674 HAS SOUPS 43674 WITH SCORE 43736.059
AT ITER 5347 NEW BEST:: SOT 203035 SOS 62009 HAS SOPS 62009 HAS SOUS 43659 HAS SOUPS 43659 WITH SCORE 43721.009
AT ITER 5366 NEW BEST:: SOT 203027 SOS 61963 HAS SOPS 61963 HAS SOUS 43643 HAS SOUPS 43643 WITH SCORE 43704.963
AT ITER 5369 NEW BEST:: SOT 203026 SOS 61884 HAS SOPS 61884 HAS SOUS 43642 HAS SOUPS 43642 WITH SCORE 43703.884
AT ITER 5377 NEW BEST:: SOT 202948 SOS 61054 HAS SOPS 61054 HAS SOUS 43501 HAS SOUPS 43501 WITH SCORE 43562.054
AT ITER 5393 NEW BEST:: SOT 202944 SOS 61046 HAS SOPS 61046 HAS SOUS 43493 HAS SOUPS 43493 WITH SCORE 43554.046
AT ITER 5401 NEW BEST:: SOT 202919 SOS 60996 HAS SOPS 60996 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43503.996
AT ITER 5431 NEW BEST:: SOT 202919 SOS 60980 HAS SOPS 60980 HAS SOUS 43427 HAS SOUPS 43427 WITH SCORE 43487.98
AT ITER 5466 NEW BEST:: SOT 202862 SOS 60923 HAS SOPS 60923 HAS SOUS 43427 HAS SOUPS 43427 WITH SCORE 43487.923
AT ITER 5478 NEW BEST:: SOT 202827 SOS 60909 HAS SOPS 60909 HAS SOUS 43413 HAS SOUPS 43413 WITH SCORE 43473.909
AT ITER 5504 NEW BEST:: SOT 202819 SOS 60893 HAS SOPS 60893 HAS SOUS 43397 HAS SOUPS 43397 WITH SCORE 43457.893
AT ITER 5513 NEW BEST:: SOT 202795 SOS 60890 HAS SOPS 60890 HAS SOUS 43394 HAS SOUPS 43394 WITH SCORE 43454.89
AT ITER 5517 NEW BEST:: SOT 202707 SOS 60714 HAS SOPS 60714 HAS SOUS 43316 HAS SOUPS 43316 WITH SCORE 43376.714
AT ITER 5525 NEW BEST:: SOT 202838 SOS 60699 HAS SOPS 60699 HAS SOUS 43301 HAS SOUPS 43301 WITH SCORE 43361.699
AT ITER 5539 NEW BEST:: SOT 202731 SOS 60615 HAS SOPS 60615 HAS SOUS 43265 HAS SOUPS 43265 WITH SCORE 43325.615
AT ITER 5547 NEW BEST:: SOT 202729 SOS 60613 HAS SOPS 60613 HAS SOUS 43265 HAS SOUPS 43265 WITH SCORE 43325.613
AT ITER 5558 NEW BEST:: SOT 202703 SOS 60587 HAS SOPS 60587 HAS SOUS 43265 HAS SOUPS 43265 WITH SCORE 43325.587
AT ITER 5572 NEW BEST:: SOT 202703 SOS 60587 HAS SOPS 60587 HAS SOUS 43239 HAS SOUPS 43239 WITH SCORE 43299.587
AT ITER 5599 NEW BEST:: SOT 202703 SOS 60587 HAS SOPS 60587 HAS SOUS 43141 HAS SOUPS 43141 WITH SCORE 43201.587
AT ITER 5603 NEW BEST:: SOT 202724 SOS 60589 HAS SOPS 60589 HAS SOUS 43103 HAS SOUPS 43103 WITH SCORE 43163.589
AT ITER 5607 NEW BEST:: SOT 202691 SOS 60556 HAS SOPS 60556 HAS SOUS 43070 HAS SOUPS 43070 WITH SCORE 43130.556
AT ITER 5610 NEW BEST:: SOT 202679 SOS 60544 HAS SOPS 60544 HAS SOUS 43070 HAS SOUPS 43070 WITH SCORE 43130.544
AT ITER 5619 NEW BEST:: SOT 202667 SOS 60526 HAS SOPS 60526 HAS SOUS 43058 HAS SOUPS 43058 WITH SCORE 43118.526
AT ITER 5625 NEW BEST:: SOT 202598 SOS 60387 HAS SOPS 60387 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 42979.387
AT ITER 5660 NEW BEST:: SOT 202598 SOS 60377 HAS SOPS 60377 HAS SOUS 42909 HAS SOUPS 42909 WITH SCORE 42969.377
AT ITER 5690 NEW BEST:: SOT 202520 SOS 60299 HAS SOPS 60299 HAS SOUS 42831 HAS SOUPS 42831 WITH SCORE 42891.299
AT ITER 5696 NEW BEST:: SOT 202520 SOS 60299 HAS SOPS 60299 HAS SOUS 42816 HAS SOUPS 42816 WITH SCORE 42876.299
AT ITER 5706 NEW BEST:: SOT 202502 SOS 60225 HAS SOPS 60225 HAS SOUS 42770 HAS SOUPS 42770 WITH SCORE 42830.225
AT ITER 5724 NEW BEST:: SOT 202470 SOS 60177 HAS SOPS 60177 HAS SOUS 42738 HAS SOUPS 42738 WITH SCORE 42798.177
AT ITER 5727 NEW BEST:: SOT 202465 SOS 60167 HAS SOPS 60167 HAS SOUS 42728 HAS SOUPS 42728 WITH SCORE 42788.167
AT ITER 5736 NEW BEST:: SOT 202427 SOS 60114 HAS SOPS 60114 HAS SOUS 42688 HAS SOUPS 42688 WITH SCORE 42748.114
AT ITER 5740 NEW BEST:: SOT 202427 SOS 60106 HAS SOPS 60106 HAS SOUS 42672 HAS SOUPS 42672 WITH SCORE 42732.106
AT ITER 5753 NEW BEST:: SOT 202407 SOS 60086 HAS SOPS 60086 HAS SOUS 42672 HAS SOUPS 42672 WITH SCORE 42732.086
AT ITER 5808 NEW BEST:: SOT 202340 SOS 59834 HAS SOPS 59834 HAS SOUS 42538 HAS SOUPS 42538 WITH SCORE 42597.834
AT ITER 5814 NEW BEST:: SOT 202272 SOS 59698 HAS SOPS 59698 HAS SOUS 42402 HAS SOUPS 42402 WITH SCORE 42461.698
AT ITER 5834 NEW BEST:: SOT 202273 SOS 59636 HAS SOPS 59636 HAS SOUS 42271 HAS SOUPS 42271 WITH SCORE 42330.636
AT ITER 5894 NEW BEST:: SOT 202253 SOS 59655 HAS SOPS 59655 HAS SOUS 42267 HAS SOUPS 42267 WITH SCORE 42326.655
AT ITER 5909 NEW BEST:: SOT 202249 SOS 59654 HAS SOPS 59654 HAS SOUS 42266 HAS SOUPS 42266 WITH SCORE 42325.654
AT ITER 5958 NEW BEST:: SOT 202124 SOS 59404 HAS SOPS 59404 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42230.404
AT ITER 6011 NEW BEST:: SOT 201970 SOS 59175 HAS SOPS 59175 HAS SOUS 41942 HAS SOUPS 41942 WITH SCORE 42001.175
AT ITER 6017 NEW BEST:: SOT 201970 SOS 59142 HAS SOPS 59142 HAS SOUS 41909 HAS SOUPS 41909 WITH SCORE 41968.142
AT ITER 6031 NEW BEST:: SOT 201961 SOS 59075 HAS SOPS 59075 HAS SOUS 41871 HAS SOUPS 41871 WITH SCORE 41930.075
AT ITER 6039 NEW BEST:: SOT 201961 SOS 59036 HAS SOPS 59036 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41891.036
AT ITER 6057 NEW BEST:: SOT 201900 SOS 58831 HAS SOPS 58831 HAS SOUS 41711 HAS SOUPS 41711 WITH SCORE 41769.831
AT ITER 6074 NEW BEST:: SOT 201885 SOS 58801 HAS SOPS 58801 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41739.801
AT ITER 6094 NEW BEST:: SOT 201875 SOS 58790 HAS SOPS 58790 HAS SOUS 41670 HAS SOUPS 41670 WITH SCORE 41728.79
AT ITER 6130 NEW BEST:: SOT 201834 SOS 58617 HAS SOPS 58617 HAS SOUS 41535 HAS SOUPS 41535 WITH SCORE 41593.617
AT ITER 6139 NEW BEST:: SOT 201843 SOS 58612 HAS SOPS 58612 HAS SOUS 41530 HAS SOUPS 41530 WITH SCORE 41588.612
AT ITER 6193 NEW BEST:: SOT 201834 SOS 58609 HAS SOPS 58609 HAS SOUS 41527 HAS SOUPS 41527 WITH SCORE 41585.609
AT ITER 6198 NEW BEST:: SOT 201837 SOS 58579 HAS SOPS 58579 HAS SOUS 41513 HAS SOUPS 41513 WITH SCORE 41571.579
AT ITER 6220 NEW BEST:: SOT 201837 SOS 58564 HAS SOPS 58564 HAS SOUS 41498 HAS SOUPS 41498 WITH SCORE 41556.564
AT ITER 6230 NEW BEST:: SOT 201822 SOS 58558 HAS SOPS 58558 HAS SOUS 41492 HAS SOUPS 41492 WITH SCORE 41550.558
AT ITER 6244 NEW BEST:: SOT 201822 SOS 58541 HAS SOPS 58541 HAS SOUS 41458 HAS SOUPS 41458 WITH SCORE 41516.541
AT ITER 6255 NEW BEST:: SOT 201775 SOS 58494 HAS SOPS 58494 HAS SOUS 41411 HAS SOUPS 41411 WITH SCORE 41469.494
AT ITER 6262 NEW BEST:: SOT 201779 SOS 58484 HAS SOPS 58484 HAS SOUS 41401 HAS SOUPS 41401 WITH SCORE 41459.484
AT ITER 6278 NEW BEST:: SOT 201834 SOS 58457 HAS SOPS 58457 HAS SOUS 41374 HAS SOUPS 41374 WITH SCORE 41432.457
AT ITER 6310 NEW BEST:: SOT 201809 SOS 58407 HAS SOPS 58407 HAS SOUS 41349 HAS SOUPS 41349 WITH SCORE 41407.407
AT ITER 6323 NEW BEST:: SOT 201818 SOS 58397 HAS SOPS 58397 HAS SOUS 41339 HAS SOUPS 41339 WITH SCORE 41397.397
AT ITER 6326 NEW BEST:: SOT 201818 SOS 58375 HAS SOPS 58375 HAS SOUS 41317 HAS SOUPS 41317 WITH SCORE 41375.375
AT ITER 6337 NEW BEST:: SOT 201835 SOS 58346 HAS SOPS 58346 HAS SOUS 41288 HAS SOUPS 41288 WITH SCORE 41346.346
AT ITER 6376 NEW BEST:: SOT 201794 SOS 58264 HAS SOPS 58264 HAS SOUS 41238 HAS SOUPS 41238 WITH SCORE 41296.264
AT ITER 6397 NEW BEST:: SOT 201781 SOS 58238 HAS SOPS 58238 HAS SOUS 41212 HAS SOUPS 41212 WITH SCORE 41270.238
AT ITER 6442 NEW BEST:: SOT 201753 SOS 58164 HAS SOPS 58164 HAS SOUS 41138 HAS SOUPS 41138 WITH SCORE 41196.164
AT ITER 6461 NEW BEST:: SOT 201743 SOS 58144 HAS SOPS 58144 HAS SOUS 41118 HAS SOUPS 41118 WITH SCORE 41176.144
AT ITER 6472 NEW BEST:: SOT 201701 SOS 58063 HAS SOPS 58063 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41163.063
AT ITER 6487 NEW BEST:: SOT 201687 SOS 58035 HAS SOPS 58035 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41149.035
AT ITER 6534 NEW BEST:: SOT 201641 SOS 57996 HAS SOPS 57996 HAS SOUS 41052 HAS SOUPS 41052 WITH SCORE 41109.996
AT ITER 6555 NEW BEST:: SOT 201574 SOS 57929 HAS SOPS 57929 HAS SOUS 41052 HAS SOUPS 41052 WITH SCORE 41109.929
AT ITER 6652 NEW BEST:: SOT 201573 SOS 57927 HAS SOPS 57927 HAS SOUS 41050 HAS SOUPS 41050 WITH SCORE 41107.927
AT ITER 6670 NEW BEST:: SOT 201569 SOS 57923 HAS SOPS 57923 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41105.923
AT ITER 6675 NEW BEST:: SOT 201556 SOS 58051 HAS SOPS 58051 HAS SOUS 41038 HAS SOUPS 41038 WITH SCORE 41096.051
AT ITER 6688 NEW BEST:: SOT 201552 SOS 58043 HAS SOPS 58043 HAS SOUS 41034 HAS SOUPS 41034 WITH SCORE 41092.043
AT ITER 6691 NEW BEST:: SOT 201547 SOS 58033 HAS SOPS 58033 HAS SOUS 40980 HAS SOUPS 40980 WITH SCORE 41038.033
AT ITER 6723 NEW BEST:: SOT 201474 SOS 57934 HAS SOPS 57934 HAS SOUS 40881 HAS SOUPS 40881 WITH SCORE 40938.934
AT ITER 6757 NEW BEST:: SOT 201474 SOS 57934 HAS SOPS 57934 HAS SOUS 40870 HAS SOUPS 40870 WITH SCORE 40927.934
AT ITER 6778 NEW BEST:: SOT 201441 SOS 57917 HAS SOPS 57917 HAS SOUS 40853 HAS SOUPS 40853 WITH SCORE 40910.917
AT ITER 6789 NEW BEST:: SOT 201441 SOS 57917 HAS SOPS 57917 HAS SOUS 40850 HAS SOUPS 40850 WITH SCORE 40907.917
AT ITER 6801 NEW BEST:: SOT 201387 SOS 57841 HAS SOPS 57841 HAS SOUS 40806 HAS SOUPS 40806 WITH SCORE 40863.841
AT ITER 6851 NEW BEST:: SOT 201387 SOS 57819 HAS SOPS 57819 HAS SOUS 40784 HAS SOUPS 40784 WITH SCORE 40841.819
AT ITER 6868 NEW BEST:: SOT 201385 SOS 57815 HAS SOPS 57815 HAS SOUS 40784 HAS SOUPS 40784 WITH SCORE 40841.815
AT ITER 6870 NEW BEST:: SOT 201375 SOS 57785 HAS SOPS 57785 HAS SOUS 40764 HAS SOUPS 40764 WITH SCORE 40821.785
AT ITER 6873 NEW BEST:: SOT 201375 SOS 57774 HAS SOPS 57774 HAS SOUS 40753 HAS SOUPS 40753 WITH SCORE 40810.774
AT ITER 6878 NEW BEST:: SOT 201361 SOS 57739 HAS SOPS 57739 HAS SOUS 40718 HAS SOUPS 40718 WITH SCORE 40775.739
AT ITER 6902 NEW BEST:: SOT 201381 SOS 57773 HAS SOPS 57773 HAS SOUS 40708 HAS SOUPS 40708 WITH SCORE 40765.773
AT ITER 6904 NEW BEST:: SOT 201387 SOS 57743 HAS SOPS 57743 HAS SOUS 40678 HAS SOUPS 40678 WITH SCORE 40735.743
AT ITER 6907 NEW BEST:: SOT 201387 SOS 57743 HAS SOPS 57743 HAS SOUS 40663 HAS SOUPS 40663 WITH SCORE 40720.743
AT ITER 6911 NEW BEST:: SOT 201319 SOS 57681 HAS SOPS 57681 HAS SOUS 40601 HAS SOUPS 40601 WITH SCORE 40658.681
AT ITER 6931 NEW BEST:: SOT 201294 SOS 57634 HAS SOPS 57634 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40633.634
AT ITER 6962 NEW BEST:: SOT 201288 SOS 57626 HAS SOPS 57626 HAS SOUS 40568 HAS SOUPS 40568 WITH SCORE 40625.626
AT ITER 6966 NEW BEST:: SOT 201288 SOS 57625 HAS SOPS 57625 HAS SOUS 40567 HAS SOUPS 40567 WITH SCORE 40624.625
AT ITER 6978 NEW BEST:: SOT 201288 SOS 57579 HAS SOPS 57579 HAS SOUS 40521 HAS SOUPS 40521 WITH SCORE 40578.579
AT ITER 6984 NEW BEST:: SOT 201373 SOS 57570 HAS SOPS 57570 HAS SOUS 40512 HAS SOUPS 40512 WITH SCORE 40569.57
AT ITER 7012 NEW BEST:: SOT 201371 SOS 57569 HAS SOPS 57569 HAS SOUS 40511 HAS SOUPS 40511 WITH SCORE 40568.569
AT ITER 7044 NEW BEST:: SOT 201375 SOS 57534 HAS SOPS 57534 HAS SOUS 40476 HAS SOUPS 40476 WITH SCORE 40533.534
AT ITER 7073 NEW BEST:: SOT 201373 SOS 57530 HAS SOPS 57530 HAS SOUS 40472 HAS SOUPS 40472 WITH SCORE 40529.53
AT ITER 7115 NEW BEST:: SOT 201337 SOS 57390 HAS SOPS 57390 HAS SOUS 40332 HAS SOUPS 40332 WITH SCORE 40389.39
AT ITER 7141 NEW BEST:: SOT 201306 SOS 57372 HAS SOPS 57372 HAS SOUS 40314 HAS SOUPS 40314 WITH SCORE 40371.372
AT ITER 7167 NEW BEST:: SOT 201265 SOS 57303 HAS SOPS 57303 HAS SOUS 40280 HAS SOUPS 40280 WITH SCORE 40337.303
AT ITER 7172 NEW BEST:: SOT 201198 SOS 57236 HAS SOPS 57236 HAS SOUS 40279 HAS SOUPS 40279 WITH SCORE 40336.236
AT ITER 7177 NEW BEST:: SOT 201165 SOS 57170 HAS SOPS 57170 HAS SOUS 40213 HAS SOUPS 40213 WITH SCORE 40270.17
AT ITER 7181 NEW BEST:: SOT 201165 SOS 57125 HAS SOPS 57125 HAS SOUS 40168 HAS SOUPS 40168 WITH SCORE 40225.125
AT ITER 7227 NEW BEST:: SOT 201233 SOS 57189 HAS SOPS 57189 HAS SOUS 40160 HAS SOUPS 40160 WITH SCORE 40217.189
AT ITER 7228 NEW BEST:: SOT 201206 SOS 57162 HAS SOPS 57162 HAS SOUS 40133 HAS SOUPS 40133 WITH SCORE 40190.162
AT ITER 7235 NEW BEST:: SOT 201206 SOS 57161 HAS SOPS 57161 HAS SOUS 40133 HAS SOUPS 40133 WITH SCORE 40190.161
AT ITER 7238 NEW BEST:: SOT 201201 SOS 57151 HAS SOPS 57151 HAS SOUS 40123 HAS SOUPS 40123 WITH SCORE 40180.151
AT ITER 7306 NEW BEST:: SOT 201202 SOS 57147 HAS SOPS 57147 HAS SOUS 40111 HAS SOUPS 40111 WITH SCORE 40168.147
AT ITER 7316 NEW BEST:: SOT 201196 SOS 57129 HAS SOPS 57129 HAS SOUS 40099 HAS SOUPS 40099 WITH SCORE 40156.129
AT ITER 7331 NEW BEST:: SOT 201223 SOS 57183 HAS SOPS 57183 HAS SOUS 40072 HAS SOUPS 40072 WITH SCORE 40129.183
AT ITER 7359 NEW BEST:: SOT 201214 SOS 57165 HAS SOPS 57165 HAS SOUS 40054 HAS SOUPS 40054 WITH SCORE 40111.165
AT ITER 7392 NEW BEST:: SOT 201188 SOS 57115 HAS SOPS 57115 HAS SOUS 40004 HAS SOUPS 40004 WITH SCORE 40061.115
AT ITER 7434 NEW BEST:: SOT 201166 SOS 57099 HAS SOPS 57099 HAS SOUS 39988 HAS SOUPS 39988 WITH SCORE 40045.099
AT ITER 7462 NEW BEST:: SOT 201059 SOS 57099 HAS SOPS 57099 HAS SOUS 39881 HAS SOUPS 39881 WITH SCORE 39938.099
AT ITER 7463 NEW BEST:: SOT 201059 SOS 57060 HAS SOPS 57060 HAS SOUS 39842 HAS SOUPS 39842 WITH SCORE 39899.06
AT ITER 7470 NEW BEST:: SOT 201039 SOS 57040 HAS SOPS 57040 HAS SOUS 39822 HAS SOUPS 39822 WITH SCORE 39879.04
AT ITER 7502 NEW BEST:: SOT 201085 SOS 57083 HAS SOPS 57083 HAS SOUS 39816 HAS SOUPS 39816 WITH SCORE 39873.083
AT ITER 7547 NEW BEST:: SOT 201056 SOS 57119 HAS SOPS 57119 HAS SOUS 39814 HAS SOUPS 39814 WITH SCORE 39871.119
AT ITER 7552 NEW BEST:: SOT 201046 SOS 57104 HAS SOPS 57104 HAS SOUS 39804 HAS SOUPS 39804 WITH SCORE 39861.104
AT ITER 7556 NEW BEST:: SOT 201036 SOS 57084 HAS SOPS 57084 HAS SOUS 39784 HAS SOUPS 39784 WITH SCORE 39841.084
AT ITER 7559 NEW BEST:: SOT 201036 SOS 57027 HAS SOPS 57027 HAS SOUS 39784 HAS SOUPS 39784 WITH SCORE 39841.027
AT ITER 7590 NEW BEST:: SOT 201036 SOS 56982 HAS SOPS 56982 HAS SOUS 39738 HAS SOUPS 39738 WITH SCORE 39794.982
AT ITER 7641 NEW BEST:: SOT 201085 SOS 56978 HAS SOPS 56978 HAS SOUS 39734 HAS SOUPS 39734 WITH SCORE 39790.978
AT ITER 7660 NEW BEST:: SOT 201060 SOS 56959 HAS SOPS 56959 HAS SOUS 39715 HAS SOUPS 39715 WITH SCORE 39771.959
AT ITER 7663 NEW BEST:: SOT 200988 SOS 56815 HAS SOPS 56815 HAS SOUS 39571 HAS SOUPS 39571 WITH SCORE 39627.815
AT ITER 7690 NEW BEST:: SOT 200955 SOS 56749 HAS SOPS 56749 HAS SOUS 39505 HAS SOUPS 39505 WITH SCORE 39561.749
AT ITER 7717 NEW BEST:: SOT 200955 SOS 56739 HAS SOPS 56739 HAS SOUS 39500 HAS SOUPS 39500 WITH SCORE 39556.739
AT ITER 7737 NEW BEST:: SOT 200952 SOS 56739 HAS SOPS 56739 HAS SOUS 39497 HAS SOUPS 39497 WITH SCORE 39553.739
AT ITER 7785 NEW BEST:: SOT 200937 SOS 56721 HAS SOPS 56721 HAS SOUS 39491 HAS SOUPS 39491 WITH SCORE 39547.721
AT ITER 7790 NEW BEST:: SOT 200881 SOS 56638 HAS SOPS 56638 HAS SOUS 39322 HAS SOUPS 39322 WITH SCORE 39378.638
AT ITER 7804 NEW BEST:: SOT 200822 SOS 56579 HAS SOPS 56579 HAS SOUS 39322 HAS SOUPS 39322 WITH SCORE 39378.579
AT ITER 7847 NEW BEST:: SOT 200822 SOS 56559 HAS SOPS 56559 HAS SOUS 39302 HAS SOUPS 39302 WITH SCORE 39358.559
AT ITER 7850 NEW BEST:: SOT 200821 SOS 56558 HAS SOPS 56558 HAS SOUS 39301 HAS SOUPS 39301 WITH SCORE 39357.558
AT ITER 7931 NEW BEST:: SOT 200821 SOS 56756 HAS SOPS 56756 HAS SOUS 39296 HAS SOUPS 39296 WITH SCORE 39352.756
AT ITER 7932 NEW BEST:: SOT 200835 SOS 56712 HAS SOPS 56712 HAS SOUS 39252 HAS SOUPS 39252 WITH SCORE 39308.712
AT ITER 7954 NEW BEST:: SOT 200851 SOS 56683 HAS SOPS 56683 HAS SOUS 39223 HAS SOUPS 39223 WITH SCORE 39279.683
AT ITER 7971 NEW BEST:: SOT 200851 SOS 56667 HAS SOPS 56667 HAS SOUS 39207 HAS SOUPS 39207 WITH SCORE 39263.667
AT ITER 7977 NEW BEST:: SOT 200828 SOS 56644 HAS SOPS 56644 HAS SOUS 39184 HAS SOUPS 39184 WITH SCORE 39240.644
AT ITER 7999 NEW BEST:: SOT 200827 SOS 56643 HAS SOPS 56643 HAS SOUS 39183 HAS SOUPS 39183 WITH SCORE 39239.643
AT ITER 8015 NEW BEST:: SOT 200827 SOS 56622 HAS SOPS 56622 HAS SOUS 39162 HAS SOUPS 39162 WITH SCORE 39218.622
AT ITER 8069 NEW BEST:: SOT 200825 SOS 56618 HAS SOPS 56618 HAS SOUS 39158 HAS SOUPS 39158 WITH SCORE 39214.618
AT ITER 8076 NEW BEST:: SOT 200823 SOS 56616 HAS SOPS 56616 HAS SOUS 39156 HAS SOUPS 39156 WITH SCORE 39212.616
AT ITER 8081 NEW BEST:: SOT 200818 SOS 56611 HAS SOPS 56611 HAS SOUS 39151 HAS SOUPS 39151 WITH SCORE 39207.611
AT ITER 8085 NEW BEST:: SOT 200871 SOS 56519 HAS SOPS 56519 HAS SOUS 39087 HAS SOUPS 39087 WITH SCORE 39143.519
AT ITER 8093 NEW BEST:: SOT 200849 SOS 56497 HAS SOPS 56497 HAS SOUS 39065 HAS SOUPS 39065 WITH SCORE 39121.497
AT ITER 8130 NEW BEST:: SOT 200822 SOS 56495 HAS SOPS 56495 HAS SOUS 39063 HAS SOUPS 39063 WITH SCORE 39119.495
AT ITER 8180 NEW BEST:: SOT 200822 SOS 56495 HAS SOPS 56495 HAS SOUS 39053 HAS SOUPS 39053 WITH SCORE 39109.495
AT ITER 8184 NEW BEST:: SOT 200815 SOS 56456 HAS SOPS 56456 HAS SOUS 39014 HAS SOUPS 39014 WITH SCORE 39070.456
AT ITER 8199 NEW BEST:: SOT 200789 SOS 56430 HAS SOPS 56430 HAS SOUS 38988 HAS SOUPS 38988 WITH SCORE 39044.43
AT ITER 8210 NEW BEST:: SOT 200733 SOS 56318 HAS SOPS 56318 HAS SOUS 38911 HAS SOUPS 38911 WITH SCORE 38967.318
AT ITER 8222 NEW BEST:: SOT 200719 SOS 56290 HAS SOPS 56290 HAS SOUS 38883 HAS SOUPS 38883 WITH SCORE 38939.29
AT ITER 8257 NEW BEST:: SOT 200758 SOS 56254 HAS SOPS 56254 HAS SOUS 38847 HAS SOUPS 38847 WITH SCORE 38903.254
AT ITER 8267 NEW BEST:: SOT 200727 SOS 56222 HAS SOPS 56222 HAS SOUS 38845 HAS SOUPS 38845 WITH SCORE 38901.222
AT ITER 8277 NEW BEST:: SOT 200715 SOS 56210 HAS SOPS 56210 HAS SOUS 38833 HAS SOUPS 38833 WITH SCORE 38889.21
AT ITER 8317 NEW BEST:: SOT 200715 SOS 56210 HAS SOPS 56210 HAS SOUS 38827 HAS SOUPS 38827 WITH SCORE 38883.21
AT ITER 8344 NEW BEST:: SOT 200721 SOS 56197 HAS SOPS 56197 HAS SOUS 38814 HAS SOUPS 38814 WITH SCORE 38870.197
AT ITER 8349 NEW BEST:: SOT 200721 SOS 56179 HAS SOPS 56179 HAS SOUS 38796 HAS SOUPS 38796 WITH SCORE 38852.179
AT ITER 8416 NEW BEST:: SOT 200728 SOS 56176 HAS SOPS 56176 HAS SOUS 38793 HAS SOUPS 38793 WITH SCORE 38849.176
AT ITER 8484 NEW BEST:: SOT 200728 SOS 56174 HAS SOPS 56174 HAS SOUS 38789 HAS SOUPS 38789 WITH SCORE 38845.174
AT ITER 8495 NEW BEST:: SOT 200722 SOS 56163 HAS SOPS 56163 HAS SOUS 38786 HAS SOUPS 38786 WITH SCORE 38842.163
AT ITER 8590 NEW BEST:: SOT 200713 SOS 56145 HAS SOPS 56145 HAS SOUS 38759 HAS SOUPS 38759 WITH SCORE 38815.145
AT ITER 8631 NEW BEST:: SOT 200691 SOS 56123 HAS SOPS 56123 HAS SOUS 38659 HAS SOUPS 38659 WITH SCORE 38715.123
AT ITER 8650 NEW BEST:: SOT 200667 SOS 56078 HAS SOPS 56078 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38670.078
AT ITER 8655 NEW BEST:: SOT 200666 SOS 56076 HAS SOPS 56076 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38668.076
AT ITER 8678 NEW BEST:: SOT 200666 SOS 56074 HAS SOPS 56074 HAS SOUS 38610 HAS SOUPS 38610 WITH SCORE 38666.074
AT ITER 8720 NEW BEST:: SOT 200666 SOS 56061 HAS SOPS 56061 HAS SOUS 38610 HAS SOUPS 38610 WITH SCORE 38666.061
AT ITER 8724 NEW BEST:: SOT 200677 SOS 56083 HAS SOPS 56083 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38663.083
AT ITER 8829 NEW BEST:: SOT 200654 SOS 56060 HAS SOPS 56060 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38663.06
AT ITER 8835 NEW BEST:: SOT 200597 SOS 55971 HAS SOPS 55971 HAS SOUS 38518 HAS SOUPS 38518 WITH SCORE 38573.971
AT ITER 8939 NEW BEST:: SOT 200588 SOS 55962 HAS SOPS 55962 HAS SOUS 38443 HAS SOUPS 38443 WITH SCORE 38498.962
AT ITER 8960 NEW BEST:: SOT 200560 SOS 55841 HAS SOPS 55841 HAS SOUS 38322 HAS SOUPS 38322 WITH SCORE 38377.841
AT ITER 8977 NEW BEST:: SOT 200565 SOS 55851 HAS SOPS 55851 HAS SOUS 38315 HAS SOUPS 38315 WITH SCORE 38370.851
AT ITER 9028 NEW BEST:: SOT 200521 SOS 55712 HAS SOPS 55712 HAS SOUS 38261 HAS SOUPS 38261 WITH SCORE 38316.712
AT ITER 9029 NEW BEST:: SOT 200489 SOS 55546 HAS SOPS 55546 HAS SOUS 38197 HAS SOUPS 38197 WITH SCORE 38252.546
AT ITER 9036 NEW BEST:: SOT 200376 SOS 55433 HAS SOPS 55433 HAS SOUS 38098 HAS SOUPS 38098 WITH SCORE 38153.433
AT ITER 9052 NEW BEST:: SOT 200351 SOS 55440 HAS SOPS 55440 HAS SOUS 38092 HAS SOUPS 38092 WITH SCORE 38147.44
AT ITER 9073 NEW BEST:: SOT 200350 SOS 55438 HAS SOPS 55438 HAS SOUS 38090 HAS SOUPS 38090 WITH SCORE 38145.438
AT ITER 9150 NEW BEST:: SOT 200341 SOS 55412 HAS SOPS 55412 HAS SOUS 38064 HAS SOUPS 38064 WITH SCORE 38119.412
AT ITER 9168 NEW BEST:: SOT 200341 SOS 55412 HAS SOPS 55412 HAS SOUS 38039 HAS SOUPS 38039 WITH SCORE 38094.412
AT ITER 9206 NEW BEST:: SOT 200377 SOS 55412 HAS SOPS 55412 HAS SOUS 38003 HAS SOUPS 38003 WITH SCORE 38058.412
AT ITER 9214 NEW BEST:: SOT 200350 SOS 55324 HAS SOPS 55324 HAS SOUS 37993 HAS SOUPS 37993 WITH SCORE 38048.324
AT ITER 9313 NEW BEST:: SOT 200382 SOS 55300 HAS SOPS 55300 HAS SOUS 37991 HAS SOUPS 37991 WITH SCORE 38046.3
AT ITER 9335 NEW BEST:: SOT 200372 SOS 55255 HAS SOPS 55255 HAS SOUS 37946 HAS SOUPS 37946 WITH SCORE 38001.255
AT ITER 9354 NEW BEST:: SOT 200333 SOS 55200 HAS SOPS 55200 HAS SOUS 37891 HAS SOUPS 37891 WITH SCORE 37946.2
AT ITER 9355 NEW BEST:: SOT 200333 SOS 55194 HAS SOPS 55194 HAS SOUS 37872 HAS SOUPS 37872 WITH SCORE 37927.194
AT ITER 9360 NEW BEST:: SOT 200422 SOS 55166 HAS SOPS 55166 HAS SOUS 37858 HAS SOUPS 37858 WITH SCORE 37913.166
AT ITER 9391 NEW BEST:: SOT 200406 SOS 55150 HAS SOPS 55150 HAS SOUS 37842 HAS SOUPS 37842 WITH SCORE 37897.15
AT ITER 9393 NEW BEST:: SOT 200374 SOS 55086 HAS SOPS 55086 HAS SOUS 37778 HAS SOUPS 37778 WITH SCORE 37833.086
AT ITER 9446 NEW BEST:: SOT 200402 SOS 55114 HAS SOPS 55114 HAS SOUS 37767 HAS SOUPS 37767 WITH SCORE 37822.114
AT ITER 9450 NEW BEST:: SOT 200402 SOS 55093 HAS SOPS 55093 HAS SOUS 37758 HAS SOUPS 37758 WITH SCORE 37813.093
AT ITER 9463 NEW BEST:: SOT 200398 SOS 55089 HAS SOPS 55089 HAS SOUS 37754 HAS SOUPS 37754 WITH SCORE 37809.089
AT ITER 9466 NEW BEST:: SOT 200371 SOS 55035 HAS SOPS 55035 HAS SOUS 37734 HAS SOUPS 37734 WITH SCORE 37789.035
AT ITER 9523 NEW BEST:: SOT 200358 SOS 55022 HAS SOPS 55022 HAS SOUS 37721 HAS SOUPS 37721 WITH SCORE 37776.022
AT ITER 9530 NEW BEST:: SOT 200353 SOS 55017 HAS SOPS 55017 HAS SOUS 37716 HAS SOUPS 37716 WITH SCORE 37771.017
AT ITER 9550 NEW BEST:: SOT 200351 SOS 55011 HAS SOPS 55011 HAS SOUS 37710 HAS SOUPS 37710 WITH SCORE 37765.011
AT ITER 9577 NEW BEST:: SOT 200354 SOS 55014 HAS SOPS 55014 HAS SOUS 37668 HAS SOUPS 37668 WITH SCORE 37723.014
AT ITER 9581 NEW BEST:: SOT 200345 SOS 54996 HAS SOPS 54996 HAS SOUS 37655 HAS SOUPS 37655 WITH SCORE 37709.996
AT ITER 9612 NEW BEST:: SOT 200387 SOS 54994 HAS SOPS 54994 HAS SOUS 37559 HAS SOUPS 37559 WITH SCORE 37613.994
AT ITER 9614 NEW BEST:: SOT 200366 SOS 54974 HAS SOPS 54974 HAS SOUS 37558 HAS SOUPS 37558 WITH SCORE 37612.974
AT ITER 9635 NEW BEST:: SOT 200360 SOS 54960 HAS SOPS 54960 HAS SOUS 37543 HAS SOUPS 37543 WITH SCORE 37597.96
AT ITER 9735 NEW BEST:: SOT 200355 SOS 54950 HAS SOPS 54950 HAS SOUS 37541 HAS SOUPS 37541 WITH SCORE 37595.95
AT ITER 9771 NEW BEST:: SOT 200347 SOS 54934 HAS SOPS 54934 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37579.934
AT ITER 9782 NEW BEST:: SOT 200347 SOS 54878 HAS SOPS 54878 HAS SOUS 37440 HAS SOUPS 37440 WITH SCORE 37494.878
AT ITER 9808 NEW BEST:: SOT 200342 SOS 54833 HAS SOPS 54833 HAS SOUS 37430 HAS SOUPS 37430 WITH SCORE 37484.833
AT ITER 9842 NEW BEST:: SOT 200311 SOS 54771 HAS SOPS 54771 HAS SOUS 37368 HAS SOUPS 37368 WITH SCORE 37422.771
AT ITER 9861 NEW BEST:: SOT 200311 SOS 54766 HAS SOPS 54766 HAS SOUS 37363 HAS SOUPS 37363 WITH SCORE 37417.766
AT ITER 9888 NEW BEST:: SOT 200307 SOS 54762 HAS SOPS 54762 HAS SOUS 37359 HAS SOUPS 37359 WITH SCORE 37413.762
AT ITER 9944 NEW BEST:: SOT 200320 SOS 54788 HAS SOPS 54788 HAS SOUS 37342 HAS SOUPS 37342 WITH SCORE 37396.788
AT ITER 9948 NEW BEST:: SOT 200329 SOS 54778 HAS SOPS 54778 HAS SOUS 37326 HAS SOUPS 37326 WITH SCORE 37380.778
AT ITER 9950 NEW BEST:: SOT 200329 SOS 54778 HAS SOPS 54778 HAS SOUS 37314 HAS SOUPS 37314 WITH SCORE 37368.778
AT ITER 9971 NEW BEST:: SOT 200333 SOS 54773 HAS SOPS 54773 HAS SOUS 37296 HAS SOUPS 37296 WITH SCORE 37350.773
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 14703120 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156300 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="BusinessProcesses-PT-16"
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 BusinessProcesses-PT-16, 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 r035-tajo-167813688400576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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