About the Execution of smart for PhaseVariation-PT-D10CS010
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.640 | 3600000.00 | 3600040.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961251000788.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PhaseVariation-PT-D10CS010, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961251000788
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 4.1K Apr 12 00:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 00:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 10 23:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 10 23:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 10 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Apr 9 13:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 13:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.9M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-00
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-01
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-02
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-03
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-04
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-05
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-06
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-07
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-08
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-09
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-10
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-11
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-12
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-13
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-14
FORMULA_NAME PhaseVariation-PT-D10CS010-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589648646547
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D10CS010
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 302 places, 3137 transitions, 21755 arcs.
AT ITER 0 NEW BEST:: SOT 919740 SOS 653923 HAS SOPS 584195 HAS SOUS 529501 HAS SOUPS 517736 WITH SCORE 518389.923
AT ITER 3 NEW BEST:: SOT 919740 SOS 653814 HAS SOPS 584309 HAS SOUS 529220 HAS SOUPS 517279 WITH SCORE 517932.814
AT ITER 4 NEW BEST:: SOT 919740 SOS 653195 HAS SOPS 583643 HAS SOUS 528633 HAS SOUPS 516629 WITH SCORE 517282.195
AT ITER 6 NEW BEST:: SOT 919740 SOS 653240 HAS SOPS 583703 HAS SOUS 528745 HAS SOUPS 516489 WITH SCORE 517142.24
AT ITER 8 NEW BEST:: SOT 919740 SOS 654452 HAS SOPS 585113 HAS SOUS 527932 HAS SOUPS 515077 WITH SCORE 515731.452
AT ITER 9 NEW BEST:: SOT 919740 SOS 655399 HAS SOPS 585797 HAS SOUS 528150 HAS SOUPS 514764 WITH SCORE 515419.399
AT ITER 10 NEW BEST:: SOT 919740 SOS 654868 HAS SOPS 585383 HAS SOUS 527807 HAS SOUPS 514444 WITH SCORE 515098.868
AT ITER 11 NEW BEST:: SOT 919740 SOS 655266 HAS SOPS 584555 HAS SOUS 526855 HAS SOUPS 512493 WITH SCORE 513148.266
AT ITER 12 NEW BEST:: SOT 919740 SOS 655600 HAS SOPS 584555 HAS SOUS 527108 HAS SOUPS 512430 WITH SCORE 513085.6
AT ITER 14 NEW BEST:: SOT 919740 SOS 657318 HAS SOPS 584555 HAS SOUS 525654 HAS SOUPS 510844 WITH SCORE 511501.318
AT ITER 15 NEW BEST:: SOT 919740 SOS 657370 HAS SOPS 584555 HAS SOUS 525698 HAS SOUPS 510840 WITH SCORE 511497.37
AT ITER 16 NEW BEST:: SOT 919740 SOS 658582 HAS SOPS 584411 HAS SOUS 523124 HAS SOUPS 507717 WITH SCORE 508375.582
AT ITER 17 NEW BEST:: SOT 919740 SOS 659785 HAS SOPS 584339 HAS SOUS 522971 HAS SOUPS 506853 WITH SCORE 507512.785
AT ITER 19 NEW BEST:: SOT 919740 SOS 661580 HAS SOPS 584597 HAS SOUS 521776 HAS SOUPS 505320 WITH SCORE 505981.58
AT ITER 20 NEW BEST:: SOT 919740 SOS 661404 HAS SOPS 584189 HAS SOUS 521340 HAS SOUPS 504782 WITH SCORE 505443.404
AT ITER 22 NEW BEST:: SOT 919740 SOS 662151 HAS SOPS 585035 HAS SOUS 520086 HAS SOUPS 503870 WITH SCORE 504532.151
AT ITER 24 NEW BEST:: SOT 919740 SOS 662949 HAS SOPS 584885 HAS SOUS 518409 HAS SOUPS 502160 WITH SCORE 502822.949
AT ITER 26 NEW BEST:: SOT 919740 SOS 666537 HAS SOPS 585641 HAS SOUS 516540 HAS SOUPS 499986 WITH SCORE 500652.537
AT ITER 29 NEW BEST:: SOT 919740 SOS 667995 HAS SOPS 585641 HAS SOUS 515090 HAS SOUPS 498532 WITH SCORE 499199.995
AT ITER 30 NEW BEST:: SOT 919740 SOS 668232 HAS SOPS 585737 HAS SOUS 515091 HAS SOUPS 498159 WITH SCORE 498827.232
AT ITER 31 NEW BEST:: SOT 919740 SOS 669273 HAS SOPS 586211 HAS SOUS 515305 HAS SOUPS 498044 WITH SCORE 498713.273
AT ITER 33 NEW BEST:: SOT 919740 SOS 670387 HAS SOPS 586679 HAS SOUS 515319 HAS SOUPS 497616 WITH SCORE 498286.387
AT ITER 35 NEW BEST:: SOT 919740 SOS 670288 HAS SOPS 587831 HAS SOUS 512372 HAS SOUPS 494930 WITH SCORE 495600.288
AT ITER 36 NEW BEST:: SOT 919740 SOS 671047 HAS SOPS 587363 HAS SOUS 511502 HAS SOUPS 493971 WITH SCORE 494642.047
AT ITER 37 NEW BEST:: SOT 919740 SOS 670739 HAS SOPS 586895 HAS SOUS 510954 HAS SOUPS 493383 WITH SCORE 494053.739
AT ITER 38 NEW BEST:: SOT 919740 SOS 670694 HAS SOPS 588263 HAS SOUS 509700 HAS SOUPS 492286 WITH SCORE 492956.694
AT ITER 39 NEW BEST:: SOT 919740 SOS 670463 HAS SOPS 587633 HAS SOUS 508601 HAS SOUPS 491222 WITH SCORE 491892.463
AT ITER 40 NEW BEST:: SOT 919740 SOS 670633 HAS SOPS 587633 HAS SOUS 508431 HAS SOUPS 491052 WITH SCORE 491722.633
AT ITER 41 NEW BEST:: SOT 919740 SOS 670110 HAS SOPS 586499 HAS SOUS 506560 HAS SOUPS 489244 WITH SCORE 489914.11
AT ITER 42 NEW BEST:: SOT 919740 SOS 669983 HAS SOPS 586679 HAS SOUS 505071 HAS SOUPS 487905 WITH SCORE 488574.983
AT ITER 43 NEW BEST:: SOT 919740 SOS 671673 HAS SOPS 586949 HAS SOUS 503666 HAS SOUPS 486500 WITH SCORE 487171.673
AT ITER 44 NEW BEST:: SOT 919740 SOS 671800 HAS SOPS 586517 HAS SOUS 503328 HAS SOUPS 486041 WITH SCORE 486712.8
AT ITER 45 NEW BEST:: SOT 919740 SOS 672170 HAS SOPS 587093 HAS SOUS 502187 HAS SOUPS 484850 WITH SCORE 485522.17
AT ITER 46 NEW BEST:: SOT 919740 SOS 673283 HAS SOPS 587429 HAS SOUS 500912 HAS SOUPS 483430 WITH SCORE 484103.283
AT ITER 47 NEW BEST:: SOT 919740 SOS 673167 HAS SOPS 587345 HAS SOUS 500860 HAS SOUPS 483378 WITH SCORE 484051.167
AT ITER 48 NEW BEST:: SOT 919740 SOS 673209 HAS SOPS 587345 HAS SOUS 500818 HAS SOUPS 483336 WITH SCORE 484009.209
AT ITER 51 NEW BEST:: SOT 919740 SOS 673532 HAS SOPS 586631 HAS SOUS 499344 HAS SOUPS 481848 WITH SCORE 482521.532
AT ITER 53 NEW BEST:: SOT 919740 SOS 676008 HAS SOPS 590999 HAS SOUS 497972 HAS SOUPS 480782 WITH SCORE 481458.008
AT ITER 54 NEW BEST:: SOT 919740 SOS 677696 HAS SOPS 590999 HAS SOUS 496284 HAS SOUPS 479094 WITH SCORE 479771.696
AT ITER 55 NEW BEST:: SOT 919740 SOS 678129 HAS SOPS 594425 HAS SOUS 493743 HAS SOUPS 476794 WITH SCORE 477472.129
AT ITER 57 NEW BEST:: SOT 919740 SOS 683433 HAS SOPS 593915 HAS SOUS 492695 HAS SOUPS 475649 WITH SCORE 476332.433
AT ITER 60 NEW BEST:: SOT 919740 SOS 683448 HAS SOPS 593915 HAS SOUS 492678 HAS SOUPS 475634 WITH SCORE 476317.448
AT ITER 61 NEW BEST:: SOT 919740 SOS 684934 HAS SOPS 594173 HAS SOUS 490915 HAS SOUPS 473625 WITH SCORE 474309.934
AT ITER 62 NEW BEST:: SOT 919740 SOS 685585 HAS SOPS 594241 HAS SOUS 488886 HAS SOUPS 471471 WITH SCORE 472156.585
AT ITER 63 NEW BEST:: SOT 919740 SOS 686124 HAS SOPS 594241 HAS SOUS 488361 HAS SOUPS 470946 WITH SCORE 471632.124
AT ITER 64 NEW BEST:: SOT 919740 SOS 685046 HAS SOPS 591307 HAS SOUS 486778 HAS SOUPS 469041 WITH SCORE 469726.046
AT ITER 65 NEW BEST:: SOT 919740 SOS 684694 HAS SOPS 591499 HAS SOUS 485121 HAS SOUPS 467400 WITH SCORE 468084.694
AT ITER 67 NEW BEST:: SOT 919740 SOS 684003 HAS SOPS 590257 HAS SOUS 482316 HAS SOUPS 464680 WITH SCORE 465364.003
AT ITER 69 NEW BEST:: SOT 919740 SOS 683929 HAS SOPS 589537 HAS SOUS 481934 HAS SOUPS 464144 WITH SCORE 464827.929
AT ITER 70 NEW BEST:: SOT 919740 SOS 683136 HAS SOPS 588439 HAS SOUS 480415 HAS SOUPS 462680 WITH SCORE 463363.136
AT ITER 71 NEW BEST:: SOT 919740 SOS 683959 HAS SOPS 589087 HAS SOUS 477309 HAS SOUPS 459686 WITH SCORE 460369.959
AT ITER 72 NEW BEST:: SOT 919740 SOS 682887 HAS SOPS 587665 HAS SOUS 475394 HAS SOUPS 457835 WITH SCORE 458517.887
AT ITER 74 NEW BEST:: SOT 919740 SOS 682467 HAS SOPS 588079 HAS SOUS 474213 HAS SOUPS 456763 WITH SCORE 457445.467
AT ITER 78 NEW BEST:: SOT 919740 SOS 683347 HAS SOPS 590071 HAS SOUS 473441 HAS SOUPS 456071 WITH SCORE 456754.347
AT ITER 83 NEW BEST:: SOT 919740 SOS 683351 HAS SOPS 590719 HAS SOUS 472286 HAS SOUPS 454989 WITH SCORE 455672.351
AT ITER 84 NEW BEST:: SOT 919740 SOS 683154 HAS SOPS 589891 HAS SOUS 471380 HAS SOUPS 454083 WITH SCORE 454766.154
AT ITER 85 NEW BEST:: SOT 919740 SOS 683158 HAS SOPS 589891 HAS SOUS 471376 HAS SOUPS 454079 WITH SCORE 454762.158
AT ITER 86 NEW BEST:: SOT 919740 SOS 683191 HAS SOPS 589963 HAS SOUS 471351 HAS SOUPS 454054 WITH SCORE 454737.191
AT ITER 87 NEW BEST:: SOT 919740 SOS 682812 HAS SOPS 589195 HAS SOUS 470898 HAS SOUPS 453601 WITH SCORE 454283.812
AT ITER 89 NEW BEST:: SOT 740410 SOS 518575 HAS SOPS 449943 HAS SOUS 291256 HAS SOUPS 280685 WITH SCORE 281203.575
AT ITER 92 NEW BEST:: SOT 743281 SOS 521846 HAS SOPS 451860 HAS SOUS 290533 HAS SOUPS 279948 WITH SCORE 280469.846
AT ITER 93 NEW BEST:: SOT 743478 SOS 522146 HAS SOPS 451691 HAS SOUS 289393 HAS SOUPS 278808 WITH SCORE 279330.146
AT ITER 95 NEW BEST:: SOT 743478 SOS 522494 HAS SOPS 453653 HAS SOUS 288002 HAS SOUPS 277579 WITH SCORE 278101.494
AT ITER 97 NEW BEST:: SOT 743478 SOS 522218 HAS SOPS 453305 HAS SOUS 287436 HAS SOUPS 277013 WITH SCORE 277535.218
AT ITER 101 NEW BEST:: SOT 743734 SOS 522474 HAS SOPS 453561 HAS SOUS 286840 HAS SOUPS 276417 WITH SCORE 276939.474
AT ITER 103 NEW BEST:: SOT 743734 SOS 522743 HAS SOPS 453561 HAS SOUS 286537 HAS SOUPS 276114 WITH SCORE 276636.743
AT ITER 104 NEW BEST:: SOT 744355 SOS 523479 HAS SOPS 454422 HAS SOUS 286354 HAS SOUPS 275931 WITH SCORE 276454.479
AT ITER 105 NEW BEST:: SOT 744355 SOS 523946 HAS SOPS 454032 HAS SOUS 284753 HAS SOUPS 274314 WITH SCORE 274837.946
AT ITER 106 NEW BEST:: SOT 745194 SOS 523307 HAS SOPS 453341 HAS SOUS 282093 HAS SOUPS 271739 WITH SCORE 272262.307
AT ITER 108 NEW BEST:: SOT 745674 SOS 523801 HAS SOPS 453725 HAS SOUS 281676 HAS SOUPS 271316 WITH SCORE 271839.801
AT ITER 109 NEW BEST:: SOT 746332 SOS 524479 HAS SOPS 454443 HAS SOUS 280991 HAS SOUPS 270631 WITH SCORE 271155.479
AT ITER 113 NEW BEST:: SOT 746332 SOS 524479 HAS SOPS 454443 HAS SOUS 280906 HAS SOUPS 270546 WITH SCORE 271070.479
AT ITER 114 NEW BEST:: SOT 745375 SOS 523522 HAS SOPS 453486 HAS SOUS 280271 HAS SOUPS 269911 WITH SCORE 270434.522
AT ITER 116 NEW BEST:: SOT 746319 SOS 524466 HAS SOPS 454430 HAS SOUS 280000 HAS SOUPS 269640 WITH SCORE 270164.466
AT ITER 117 NEW BEST:: SOT 746314 SOS 524461 HAS SOPS 454425 HAS SOUS 279987 HAS SOUPS 269627 WITH SCORE 270151.461
AT ITER 119 NEW BEST:: SOT 746186 SOS 523596 HAS SOPS 454417 HAS SOUS 278813 HAS SOUPS 268558 WITH SCORE 269081.596
AT ITER 120 NEW BEST:: SOT 748467 SOS 526398 HAS SOPS 456302 HAS SOUS 278421 HAS SOUPS 268150 WITH SCORE 268676.398
AT ITER 121 NEW BEST:: SOT 748467 SOS 526213 HAS SOPS 455618 HAS SOUS 276881 HAS SOUPS 266569 WITH SCORE 267095.213
AT ITER 122 NEW BEST:: SOT 748467 SOS 525872 HAS SOPS 455618 HAS SOUS 276442 HAS SOUPS 266172 WITH SCORE 266697.872
AT ITER 125 NEW BEST:: SOT 748467 SOS 525884 HAS SOPS 456554 HAS SOUS 275061 HAS SOUPS 264905 WITH SCORE 265430.884
AT ITER 126 NEW BEST:: SOT 748467 SOS 526163 HAS SOPS 457004 HAS SOUS 274856 HAS SOUPS 264700 WITH SCORE 265226.163
AT ITER 128 NEW BEST:: SOT 748315 SOS 526011 HAS SOPS 456852 HAS SOUS 274542 HAS SOUPS 264386 WITH SCORE 264912.011
AT ITER 129 NEW BEST:: SOT 748315 SOS 525763 HAS SOPS 456384 HAS SOUS 274371 HAS SOUPS 264215 WITH SCORE 264740.763
AT ITER 130 NEW BEST:: SOT 748315 SOS 526932 HAS SOPS 456492 HAS SOUS 273372 HAS SOUPS 263169 WITH SCORE 263695.932
AT ITER 131 NEW BEST:: SOT 749145 SOS 527077 HAS SOPS 456860 HAS SOUS 269824 HAS SOUPS 259734 WITH SCORE 260261.077
AT ITER 134 NEW BEST:: SOT 749223 SOS 527918 HAS SOPS 458294 HAS SOUS 266594 HAS SOUPS 256631 WITH SCORE 257158.918
AT ITER 135 NEW BEST:: SOT 749223 SOS 528180 HAS SOPS 458630 HAS SOUS 266491 HAS SOUPS 256542 WITH SCORE 257070.18
AT ITER 136 NEW BEST:: SOT 748986 SOS 527943 HAS SOPS 458393 HAS SOUS 265725 HAS SOUPS 255776 WITH SCORE 256303.943
AT ITER 137 NEW BEST:: SOT 748986 SOS 527949 HAS SOPS 458393 HAS SOUS 265719 HAS SOUPS 255770 WITH SCORE 256297.949
AT ITER 138 NEW BEST:: SOT 748986 SOS 527961 HAS SOPS 458393 HAS SOUS 265707 HAS SOUPS 255758 WITH SCORE 256285.961
AT ITER 140 NEW BEST:: SOT 748986 SOS 528089 HAS SOPS 458393 HAS SOUS 265579 HAS SOUPS 255630 WITH SCORE 256158.089
AT ITER 141 NEW BEST:: SOT 693474 SOS 491752 HAS SOPS 402975 HAS SOUS 210153 HAS SOUPS 200212 WITH SCORE 200703.752
AT ITER 142 NEW BEST:: SOT 694731 SOS 493098 HAS SOPS 403860 HAS SOUS 209210 HAS SOUPS 199269 WITH SCORE 199762.098
AT ITER 143 NEW BEST:: SOT 694721 SOS 493088 HAS SOPS 403850 HAS SOUS 208906 HAS SOUPS 199006 WITH SCORE 199499.088
AT ITER 146 NEW BEST:: SOT 695867 SOS 494234 HAS SOPS 405290 HAS SOUS 208393 HAS SOUPS 198542 WITH SCORE 199036.234
AT ITER 147 NEW BEST:: SOT 695749 SOS 495772 HAS SOPS 408934 HAS SOUS 206924 HAS SOUPS 197235 WITH SCORE 197730.772
AT ITER 148 NEW BEST:: SOT 695600 SOS 495623 HAS SOPS 408785 HAS SOUS 206669 HAS SOUPS 196980 WITH SCORE 197475.623
AT ITER 150 NEW BEST:: SOT 695600 SOS 494261 HAS SOPS 408137 HAS SOUS 204622 HAS SOUPS 195085 WITH SCORE 195579.261
AT ITER 156 NEW BEST:: SOT 696545 SOS 495131 HAS SOPS 409748 HAS SOUS 200883 HAS SOUPS 191494 WITH SCORE 191989.131
AT ITER 158 NEW BEST:: SOT 696454 SOS 495040 HAS SOPS 409657 HAS SOUS 200740 HAS SOUPS 191351 WITH SCORE 191846.04
AT ITER 164 NEW BEST:: SOT 695250 SOS 493836 HAS SOPS 408453 HAS SOUS 200420 HAS SOUPS 191031 WITH SCORE 191524.836
AT ITER 166 NEW BEST:: SOT 695137 SOS 491716 HAS SOPS 406000 HAS SOUS 200059 HAS SOUPS 190670 WITH SCORE 191161.716
AT ITER 169 NEW BEST:: SOT 695137 SOS 491772 HAS SOPS 406000 HAS SOUS 200012 HAS SOUPS 190623 WITH SCORE 191114.772
AT ITER 174 NEW BEST:: SOT 695114 SOS 490859 HAS SOPS 404753 HAS SOUS 197650 HAS SOUPS 188360 WITH SCORE 188850.859
AT ITER 175 NEW BEST:: SOT 695114 SOS 491128 HAS SOPS 405257 HAS SOUS 197228 HAS SOUPS 187938 WITH SCORE 188429.128
AT ITER 182 NEW BEST:: SOT 694096 SOS 490110 HAS SOPS 404239 HAS SOUS 195820 HAS SOUPS 186530 WITH SCORE 187020.11
AT ITER 184 NEW BEST:: SOT 694096 SOS 490022 HAS SOPS 404239 HAS SOUS 195462 HAS SOUPS 186211 WITH SCORE 186701.022
AT ITER 190 NEW BEST:: SOT 694105 SOS 490031 HAS SOPS 404248 HAS SOUS 195447 HAS SOUPS 186196 WITH SCORE 186686.031
AT ITER 194 NEW BEST:: SOT 695708 SOS 491420 HAS SOPS 405161 HAS SOUS 195345 HAS SOUPS 186089 WITH SCORE 186580.42
AT ITER 196 NEW BEST:: SOT 695632 SOS 491344 HAS SOPS 405085 HAS SOUS 195281 HAS SOUPS 186025 WITH SCORE 186516.344
AT ITER 201 NEW BEST:: SOT 695632 SOS 490838 HAS SOPS 404077 HAS SOUS 194830 HAS SOUPS 185574 WITH SCORE 186064.838
AT ITER 202 NEW BEST:: SOT 696114 SOS 491320 HAS SOPS 404559 HAS SOUS 194709 HAS SOUPS 185453 WITH SCORE 185944.32
AT ITER 207 NEW BEST:: SOT 696110 SOS 491316 HAS SOPS 404555 HAS SOUS 194709 HAS SOUPS 185453 WITH SCORE 185944.316
AT ITER 208 NEW BEST:: SOT 696110 SOS 491316 HAS SOPS 404483 HAS SOUS 194695 HAS SOUPS 185439 WITH SCORE 185930.316
AT ITER 210 NEW BEST:: SOT 696605 SOS 491700 HAS SOPS 405710 HAS SOUS 193993 HAS SOUPS 184798 WITH SCORE 185289.7
AT ITER 215 NEW BEST:: SOT 699527 SOS 494410 HAS SOPS 408852 HAS SOUS 191982 HAS SOUPS 182861 WITH SCORE 183355.41
AT ITER 219 NEW BEST:: SOT 699527 SOS 494887 HAS SOPS 409896 HAS SOUS 191034 HAS SOUPS 181971 WITH SCORE 182465.887
AT ITER 220 NEW BEST:: SOT 699527 SOS 493396 HAS SOPS 408906 HAS SOUS 189304 HAS SOUPS 180364 WITH SCORE 180857.396
AT ITER 221 NEW BEST:: SOT 699527 SOS 495350 HAS SOPS 411966 HAS SOUS 189177 HAS SOUPS 180322 WITH SCORE 180817.35
AT ITER 225 NEW BEST:: SOT 699903 SOS 497458 HAS SOPS 416878 HAS SOUS 188482 HAS SOUPS 179753 WITH SCORE 180250.458
AT ITER 229 NEW BEST:: SOT 699903 SOS 497465 HAS SOPS 417004 HAS SOUS 188427 HAS SOUPS 179705 WITH SCORE 180202.465
AT ITER 230 NEW BEST:: SOT 699661 SOS 495956 HAS SOPS 415082 HAS SOUS 187833 HAS SOUPS 179111 WITH SCORE 179606.956
AT ITER 233 NEW BEST:: SOT 699765 SOS 496060 HAS SOPS 415186 HAS SOUS 187791 HAS SOUPS 179069 WITH SCORE 179565.06
AT ITER 234 NEW BEST:: SOT 701936 SOS 497874 HAS SOPS 419133 HAS SOUS 187631 HAS SOUPS 179057 WITH SCORE 179554.874
AT ITER 243 NEW BEST:: SOT 702014 SOS 497952 HAS SOPS 419211 HAS SOUS 187097 HAS SOUPS 178523 WITH SCORE 179020.952
AT ITER 249 NEW BEST:: SOT 702717 SOS 497971 HAS SOPS 418960 HAS SOUS 186509 HAS SOUPS 177935 WITH SCORE 178432.971
AT ITER 250 NEW BEST:: SOT 702900 SOS 499876 HAS SOPS 422743 HAS SOUS 184176 HAS SOUPS 175748 WITH SCORE 176247.876
AT ITER 252 NEW BEST:: SOT 702900 SOS 498968 HAS SOPS 421357 HAS SOUS 183776 HAS SOUPS 175348 WITH SCORE 175846.968
AT ITER 254 NEW BEST:: SOT 702753 SOS 500089 HAS SOPS 424594 HAS SOUS 181994 HAS SOUPS 173699 WITH SCORE 174199.089
AT ITER 259 NEW BEST:: SOT 702873 SOS 500209 HAS SOPS 424714 HAS SOUS 181941 HAS SOUPS 173646 WITH SCORE 174146.209
AT ITER 261 NEW BEST:: SOT 702850 SOS 500186 HAS SOPS 424691 HAS SOUS 181826 HAS SOUPS 173531 WITH SCORE 174031.186
AT ITER 262 NEW BEST:: SOT 703163 SOS 500350 HAS SOPS 424806 HAS SOUS 181360 HAS SOUPS 173065 WITH SCORE 173565.35
AT ITER 265 NEW BEST:: SOT 703163 SOS 500664 HAS SOPS 425220 HAS SOUS 179991 HAS SOUPS 171775 WITH SCORE 172275.664
AT ITER 267 NEW BEST:: SOT 701019 SOS 498520 HAS SOPS 423076 HAS SOUS 177760 HAS SOUPS 169544 WITH SCORE 170042.52
AT ITER 272 NEW BEST:: SOT 701119 SOS 498620 HAS SOPS 423176 HAS SOUS 177657 HAS SOUPS 169441 WITH SCORE 169939.62
AT ITER 275 NEW BEST:: SOT 701124 SOS 498546 HAS SOPS 423181 HAS SOUS 177535 HAS SOUPS 169319 WITH SCORE 169817.546
AT ITER 278 NEW BEST:: SOT 701124 SOS 498711 HAS SOPS 423181 HAS SOUS 177252 HAS SOUPS 169036 WITH SCORE 169534.711
AT ITER 279 NEW BEST:: SOT 701086 SOS 498673 HAS SOPS 423143 HAS SOUS 177228 HAS SOUPS 169012 WITH SCORE 169510.673
AT ITER 282 NEW BEST:: SOT 701086 SOS 498060 HAS SOPS 423785 HAS SOUS 176180 HAS SOUPS 168071 WITH SCORE 168569.06
AT ITER 283 NEW BEST:: SOT 701086 SOS 498815 HAS SOPS 427187 HAS SOUS 175376 HAS SOUPS 167405 WITH SCORE 167903.815
AT ITER 289 NEW BEST:: SOT 701086 SOS 498815 HAS SOPS 426881 HAS SOUS 175350 HAS SOUPS 167373 WITH SCORE 167871.815
AT ITER 290 NEW BEST:: SOT 701154 SOS 498853 HAS SOPS 426427 HAS SOUS 175177 HAS SOUPS 167192 WITH SCORE 167690.853
AT ITER 292 NEW BEST:: SOT 701012 SOS 498585 HAS SOPS 426255 HAS SOUS 174025 HAS SOUPS 166158 WITH SCORE 166656.585
AT ITER 293 NEW BEST:: SOT 701012 SOS 498995 HAS SOPS 427623 HAS SOUS 173620 HAS SOUPS 165829 WITH SCORE 166327.995
AT ITER 294 NEW BEST:: SOT 701012 SOS 499378 HAS SOPS 429117 HAS SOUS 173511 HAS SOUPS 165791 WITH SCORE 166290.378
AT ITER 302 NEW BEST:: SOT 700050 SOS 498437 HAS SOPS 428155 HAS SOUS 173123 HAS SOUPS 165403 WITH SCORE 165901.437
AT ITER 304 NEW BEST:: SOT 700050 SOS 498360 HAS SOPS 428155 HAS SOUS 173089 HAS SOUPS 165369 WITH SCORE 165867.36
AT ITER 306 NEW BEST:: SOT 699868 SOS 498178 HAS SOPS 427973 HAS SOUS 172864 HAS SOUPS 165144 WITH SCORE 165642.178
AT ITER 308 NEW BEST:: SOT 698909 SOS 497219 HAS SOPS 427014 HAS SOUS 171908 HAS SOUPS 164188 WITH SCORE 164685.219
AT ITER 312 NEW BEST:: SOT 698909 SOS 591377 HAS SOPS 426178 HAS SOUS 171680 HAS SOUPS 163884 WITH SCORE 164475.377
AT ITER 313 NEW BEST:: SOT 698931 SOS 591399 HAS SOPS 427676 HAS SOUS 171350 HAS SOUPS 163622 WITH SCORE 164213.399
AT ITER 316 NEW BEST:: SOT 698931 SOS 591399 HAS SOPS 428504 HAS SOUS 171290 HAS SOUPS 163562 WITH SCORE 164153.399
AT ITER 317 NEW BEST:: SOT 699289 SOS 591757 HAS SOPS 428862 HAS SOUS 170858 HAS SOUPS 163130 WITH SCORE 163721.757
AT ITER 318 NEW BEST:: SOT 700176 SOS 592644 HAS SOPS 432245 HAS SOUS 168967 HAS SOUPS 161343 WITH SCORE 161935.644
AT ITER 320 NEW BEST:: SOT 700392 SOS 592860 HAS SOPS 431453 HAS SOUS 168884 HAS SOUPS 161260 WITH SCORE 161852.86
AT ITER 321 NEW BEST:: SOT 700566 SOS 593036 HAS SOPS 431411 HAS SOUS 168434 HAS SOUPS 160799 WITH SCORE 161392.036
AT ITER 322 NEW BEST:: SOT 700523 SOS 593275 HAS SOPS 435220 HAS SOUS 168144 HAS SOUPS 160639 WITH SCORE 161232.275
AT ITER 325 NEW BEST:: SOT 699992 SOS 592744 HAS SOPS 435139 HAS SOUS 167942 HAS SOUPS 160431 WITH SCORE 161023.744
AT ITER 326 NEW BEST:: SOT 699992 SOS 592744 HAS SOPS 436705 HAS SOUS 166615 HAS SOUPS 159197 WITH SCORE 159789.744
AT ITER 330 NEW BEST:: SOT 700424 SOS 593176 HAS SOPS 437245 HAS SOUS 166593 HAS SOUPS 159184 WITH SCORE 159777.176
AT ITER 334 NEW BEST:: SOT 701127 SOS 593593 HAS SOPS 438248 HAS SOUS 166251 HAS SOUPS 158842 WITH SCORE 159435.593
AT ITER 335 NEW BEST:: SOT 701127 SOS 593593 HAS SOPS 438620 HAS SOUS 165892 HAS SOUPS 158514 WITH SCORE 159107.593
AT ITER 337 NEW BEST:: SOT 701127 SOS 593593 HAS SOPS 437882 HAS SOUS 165564 HAS SOUPS 158186 WITH SCORE 158779.593
AT ITER 338 NEW BEST:: SOT 700427 SOS 592893 HAS SOPS 436486 HAS SOUS 165393 HAS SOUPS 158023 WITH SCORE 158615.893
AT ITER 342 NEW BEST:: SOT 700645 SOS 593111 HAS SOPS 436704 HAS SOUS 165351 HAS SOUPS 157981 WITH SCORE 158574.111
AT ITER 343 NEW BEST:: SOT 700645 SOS 593111 HAS SOPS 438360 HAS SOUS 164151 HAS SOUPS 156875 WITH SCORE 157468.111
AT ITER 345 NEW BEST:: SOT 700645 SOS 593111 HAS SOPS 438828 HAS SOUS 164052 HAS SOUPS 156789 WITH SCORE 157382.111
AT ITER 349 NEW BEST:: SOT 700645 SOS 592903 HAS SOPS 436362 HAS SOUS 163462 HAS SOUPS 156199 WITH SCORE 156791.903
AT ITER 350 NEW BEST:: SOT 700645 SOS 592903 HAS SOPS 436362 HAS SOUS 163301 HAS SOUPS 156049 WITH SCORE 156641.903
AT ITER 354 NEW BEST:: SOT 700170 SOS 592428 HAS SOPS 435665 HAS SOUS 162859 HAS SOUPS 155618 WITH SCORE 156210.428
AT ITER 359 NEW BEST:: SOT 700170 SOS 592428 HAS SOPS 437933 HAS SOUS 162509 HAS SOUPS 155336 WITH SCORE 155928.428
AT ITER 367 NEW BEST:: SOT 699344 SOS 591890 HAS SOPS 436855 HAS SOUS 161213 HAS SOUPS 154040 WITH SCORE 154631.89
AT ITER 369 NEW BEST:: SOT 699344 SOS 591877 HAS SOPS 433633 HAS SOUS 160668 HAS SOUPS 153495 WITH SCORE 154086.877
AT ITER 374 NEW BEST:: SOT 700213 SOS 592522 HAS SOPS 436008 HAS SOUS 159006 HAS SOUPS 151988 WITH SCORE 152580.522
AT ITER 379 NEW BEST:: SOT 700213 SOS 592522 HAS SOPS 435936 HAS SOUS 158950 HAS SOUPS 151932 WITH SCORE 152524.522
AT ITER 380 NEW BEST:: SOT 700277 SOS 592586 HAS SOPS 436540 HAS SOUS 158861 HAS SOUPS 151843 WITH SCORE 152435.586
AT ITER 388 NEW BEST:: SOT 699956 SOS 592619 HAS SOPS 436603 HAS SOUS 158748 HAS SOUPS 151730 WITH SCORE 152322.619
AT ITER 393 NEW BEST:: SOT 699956 SOS 592655 HAS SOPS 436819 HAS SOUS 158712 HAS SOUPS 151706 WITH SCORE 152298.655
AT ITER 394 NEW BEST:: SOT 698506 SOS 591205 HAS SOPS 434513 HAS SOUS 158455 HAS SOUPS 151361 WITH SCORE 151952.205
AT ITER 395 NEW BEST:: SOT 700575 SOS 593212 HAS SOPS 437332 HAS SOUS 157300 HAS SOUPS 150414 WITH SCORE 151007.212
AT ITER 397 NEW BEST:: SOT 698233 SOS 590834 HAS SOPS 431990 HAS SOUS 157113 HAS SOUPS 150019 WITH SCORE 150609.834
AT ITER 407 NEW BEST:: SOT 698233 SOS 590834 HAS SOPS 432242 HAS SOUS 157081 HAS SOUPS 149994 WITH SCORE 150584.834
AT ITER 409 NEW BEST:: SOT 698274 SOS 590875 HAS SOPS 431995 HAS SOUS 156954 HAS SOUPS 149875 WITH SCORE 150465.875
AT ITER 421 NEW BEST:: SOT 698317 SOS 590992 HAS SOPS 433946 HAS SOUS 155641 HAS SOUPS 148721 WITH SCORE 149311.992
AT ITER 428 NEW BEST:: SOT 698317 SOS 590992 HAS SOPS 434144 HAS SOUS 155567 HAS SOUPS 148647 WITH SCORE 149237.992
AT ITER 431 NEW BEST:: SOT 699132 SOS 591578 HAS SOPS 432979 HAS SOUS 155519 HAS SOUPS 148588 WITH SCORE 149179.578
AT ITER 435 NEW BEST:: SOT 699132 SOS 591662 HAS SOPS 436525 HAS SOUS 155296 HAS SOUPS 148477 WITH SCORE 149068.662
AT ITER 440 NEW BEST:: SOT 699118 SOS 591648 HAS SOPS 436511 HAS SOUS 155198 HAS SOUPS 148379 WITH SCORE 148970.648
AT ITER 443 NEW BEST:: SOT 697812 SOS 590686 HAS SOPS 434071 HAS SOUS 153868 HAS SOUPS 147049 WITH SCORE 147639.686
AT ITER 445 NEW BEST:: SOT 697812 SOS 590686 HAS SOPS 434071 HAS SOUS 153844 HAS SOUPS 147025 WITH SCORE 147615.686
AT ITER 446 NEW BEST:: SOT 697812 SOS 590774 HAS SOPS 434155 HAS SOUS 153841 HAS SOUPS 147022 WITH SCORE 147612.774
AT ITER 450 NEW BEST:: SOT 697308 SOS 590270 HAS SOPS 433129 HAS SOUS 153554 HAS SOUPS 146706 WITH SCORE 147296.27
AT ITER 451 NEW BEST:: SOT 697308 SOS 590270 HAS SOPS 433597 HAS SOUS 153476 HAS SOUPS 146670 WITH SCORE 147260.27
AT ITER 455 NEW BEST:: SOT 698042 SOS 591004 HAS SOPS 434331 HAS SOUS 153115 HAS SOUPS 146309 WITH SCORE 146900.004
AT ITER 465 NEW BEST:: SOT 698042 SOS 590992 HAS SOPS 434313 HAS SOUS 153097 HAS SOUPS 146291 WITH SCORE 146881.992
AT ITER 467 NEW BEST:: SOT 698546 SOS 591496 HAS SOPS 433557 HAS SOUS 152061 HAS SOUPS 145253 WITH SCORE 145844.496
AT ITER 468 NEW BEST:: SOT 698328 SOS 591278 HAS SOPS 433339 HAS SOUS 151845 HAS SOUPS 145037 WITH SCORE 145628.278
AT ITER 473 NEW BEST:: SOT 698869 SOS 591819 HAS SOPS 432746 HAS SOUS 151535 HAS SOUPS 144733 WITH SCORE 145324.819
AT ITER 475 NEW BEST:: SOT 698869 SOS 591459 HAS SOPS 431522 HAS SOUS 151531 HAS SOUPS 144729 WITH SCORE 145320.459
AT ITER 476 NEW BEST:: SOT 698869 SOS 591459 HAS SOPS 431198 HAS SOUS 151457 HAS SOUPS 144655 WITH SCORE 145246.459
AT ITER 480 NEW BEST:: SOT 698869 SOS 591489 HAS SOPS 431118 HAS SOUS 151437 HAS SOUPS 144635 WITH SCORE 145226.489
AT ITER 481 NEW BEST:: SOT 698869 SOS 591489 HAS SOPS 431178 HAS SOUS 151414 HAS SOUPS 144612 WITH SCORE 145203.489
AT ITER 483 NEW BEST:: SOT 698869 SOS 591489 HAS SOPS 431178 HAS SOUS 151395 HAS SOUPS 144593 WITH SCORE 145184.489
AT ITER 487 NEW BEST:: SOT 699378 SOS 591998 HAS SOPS 431687 HAS SOUS 151307 HAS SOUPS 144505 WITH SCORE 145096.998
AT ITER 488 NEW BEST:: SOT 699378 SOS 592208 HAS SOPS 432047 HAS SOUS 151247 HAS SOUPS 144445 WITH SCORE 145037.208
AT ITER 499 NEW BEST:: SOT 700550 SOS 593380 HAS SOPS 433219 HAS SOUS 150686 HAS SOUPS 143884 WITH SCORE 144477.38
AT ITER 507 NEW BEST:: SOT 700550 SOS 593380 HAS SOPS 433219 HAS SOUS 150682 HAS SOUPS 143880 WITH SCORE 144473.38
AT ITER 527 NEW BEST:: SOT 700752 SOS 593588 HAS SOPS 434885 HAS SOUS 150055 HAS SOUPS 143375 WITH SCORE 143968.588
AT ITER 533 NEW BEST:: SOT 701516 SOS 594352 HAS SOPS 437449 HAS SOUS 149571 HAS SOUPS 143022 WITH SCORE 143616.352
AT ITER 536 NEW BEST:: SOT 701516 SOS 594352 HAS SOPS 437839 HAS SOUS 149428 HAS SOUPS 142902 WITH SCORE 143496.352
AT ITER 541 NEW BEST:: SOT 701516 SOS 594352 HAS SOPS 437551 HAS SOUS 149345 HAS SOUPS 142819 WITH SCORE 143413.352
AT ITER 542 NEW BEST:: SOT 701379 SOS 594215 HAS SOPS 437414 HAS SOUS 149273 HAS SOUPS 142751 WITH SCORE 143345.215
AT ITER 543 NEW BEST:: SOT 701379 SOS 594215 HAS SOPS 437354 HAS SOUS 149221 HAS SOUPS 142699 WITH SCORE 143293.215
AT ITER 549 NEW BEST:: SOT 701454 SOS 594290 HAS SOPS 437429 HAS SOUS 148553 HAS SOUPS 142031 WITH SCORE 142625.29
AT ITER 559 NEW BEST:: SOT 701454 SOS 594290 HAS SOPS 438869 HAS SOUS 147730 HAS SOUPS 141288 WITH SCORE 141882.29
AT ITER 568 NEW BEST:: SOT 701446 SOS 594282 HAS SOPS 438861 HAS SOUS 147719 HAS SOUPS 141277 WITH SCORE 141871.282
AT ITER 579 NEW BEST:: SOT 702915 SOS 595751 HAS SOPS 440846 HAS SOUS 146951 HAS SOUPS 140601 WITH SCORE 141196.751
AT ITER 581 NEW BEST:: SOT 702773 SOS 595609 HAS SOPS 440704 HAS SOUS 146936 HAS SOUPS 140586 WITH SCORE 141181.609
AT ITER 588 NEW BEST:: SOT 701628 SOS 594464 HAS SOPS 437147 HAS SOUS 146854 HAS SOUPS 140393 WITH SCORE 140987.464
AT ITER 594 NEW BEST:: SOT 701628 SOS 594439 HAS SOPS 437489 HAS SOUS 146819 HAS SOUPS 140379 WITH SCORE 140973.439
AT ITER 597 NEW BEST:: SOT 700769 SOS 593483 HAS SOPS 437170 HAS SOUS 146763 HAS SOUPS 140307 WITH SCORE 140900.483
AT ITER 605 NEW BEST:: SOT 700769 SOS 593483 HAS SOPS 436756 HAS SOUS 146723 HAS SOUPS 140267 WITH SCORE 140860.483
AT ITER 607 NEW BEST:: SOT 698951 SOS 591665 HAS SOPS 434446 HAS SOUS 145058 HAS SOUPS 138620 WITH SCORE 139211.665
AT ITER 608 NEW BEST:: SOT 698973 SOS 591687 HAS SOPS 437024 HAS SOUS 144448 HAS SOUPS 138132 WITH SCORE 138723.687
AT ITER 609 NEW BEST:: SOT 698973 SOS 591648 HAS SOPS 436970 HAS SOUS 144437 HAS SOUPS 138121 WITH SCORE 138712.648
AT ITER 610 NEW BEST:: SOT 699009 SOS 591684 HAS SOPS 437006 HAS SOUS 144434 HAS SOUPS 138118 WITH SCORE 138709.684
AT ITER 617 NEW BEST:: SOT 699184 SOS 591859 HAS SOPS 438909 HAS SOUS 143189 HAS SOUPS 136969 WITH SCORE 137560.859
AT ITER 618 NEW BEST:: SOT 699184 SOS 591865 HAS SOPS 438909 HAS SOUS 143078 HAS SOUPS 136858 WITH SCORE 137449.865
AT ITER 620 NEW BEST:: SOT 701748 SOS 594429 HAS SOPS 441761 HAS SOUS 142786 HAS SOUPS 136741 WITH SCORE 137335.429
AT ITER 624 NEW BEST:: SOT 701748 SOS 594429 HAS SOPS 441785 HAS SOUS 142746 HAS SOUPS 136705 WITH SCORE 137299.429
AT ITER 633 NEW BEST:: SOT 701855 SOS 594536 HAS SOPS 441892 HAS SOUS 142650 HAS SOUPS 136609 WITH SCORE 137203.536
AT ITER 636 NEW BEST:: SOT 701217 SOS 593898 HAS SOPS 442136 HAS SOUS 142107 HAS SOUPS 136076 WITH SCORE 136669.898
AT ITER 639 NEW BEST:: SOT 701194 SOS 593875 HAS SOPS 442113 HAS SOUS 142091 HAS SOUPS 136060 WITH SCORE 136653.875
AT ITER 640 NEW BEST:: SOT 701352 SOS 594033 HAS SOPS 442271 HAS SOUS 141975 HAS SOUPS 135944 WITH SCORE 136538.033
AT ITER 642 NEW BEST:: SOT 701431 SOS 594112 HAS SOPS 442212 HAS SOUS 141826 HAS SOUPS 135808 WITH SCORE 136402.112
AT ITER 652 NEW BEST:: SOT 700777 SOS 593137 HAS SOPS 439752 HAS SOUS 140889 HAS SOUPS 134871 WITH SCORE 135464.137
AT ITER 664 NEW BEST:: SOT 700777 SOS 593335 HAS SOPS 439860 HAS SOUS 140808 HAS SOUPS 134790 WITH SCORE 135383.335
AT ITER 680 NEW BEST:: SOT 700435 SOS 592993 HAS SOPS 439518 HAS SOUS 140424 HAS SOUPS 134406 WITH SCORE 134998.993
AT ITER 686 NEW BEST:: SOT 700743 SOS 593301 HAS SOPS 439826 HAS SOUS 140378 HAS SOUPS 134342 WITH SCORE 134935.301
AT ITER 690 NEW BEST:: SOT 700861 SOS 593419 HAS SOPS 441942 HAS SOUS 139405 HAS SOUPS 133435 WITH SCORE 134028.419
AT ITER 692 NEW BEST:: SOT 700783 SOS 593341 HAS SOPS 441864 HAS SOUS 139398 HAS SOUPS 133428 WITH SCORE 134021.341
AT ITER 694 NEW BEST:: SOT 700783 SOS 593185 HAS SOPS 440712 HAS SOUS 139297 HAS SOUPS 133327 WITH SCORE 133920.185
AT ITER 706 NEW BEST:: SOT 700811 SOS 593213 HAS SOPS 440740 HAS SOUS 138876 HAS SOUPS 132906 WITH SCORE 133499.213
AT ITER 711 NEW BEST:: SOT 700807 SOS 593209 HAS SOPS 440736 HAS SOUS 138082 HAS SOUPS 132112 WITH SCORE 132705.209
AT ITER 717 NEW BEST:: SOT 701095 SOS 593223 HAS SOPS 439854 HAS SOUS 137208 HAS SOUPS 131237 WITH SCORE 131830.223
AT ITER 718 NEW BEST:: SOT 701095 SOS 593223 HAS SOPS 439602 HAS SOUS 137154 HAS SOUPS 131183 WITH SCORE 131776.223
AT ITER 720 NEW BEST:: SOT 701095 SOS 593289 HAS SOPS 440098 HAS SOUS 137051 HAS SOUPS 131111 WITH SCORE 131704.289
AT ITER 724 NEW BEST:: SOT 701095 SOS 593262 HAS SOPS 438658 HAS SOUS 136663 HAS SOUPS 130723 WITH SCORE 131316.262
AT ITER 725 NEW BEST:: SOT 701095 SOS 593284 HAS SOPS 438658 HAS SOUS 136649 HAS SOUPS 130709 WITH SCORE 131302.284
AT ITER 726 NEW BEST:: SOT 701095 SOS 593284 HAS SOPS 438706 HAS SOUS 136633 HAS SOUPS 130693 WITH SCORE 131286.284
AT ITER 728 NEW BEST:: SOT 701079 SOS 593268 HAS SOPS 438690 HAS SOUS 136589 HAS SOUPS 130649 WITH SCORE 131242.268
AT ITER 731 NEW BEST:: SOT 701079 SOS 593268 HAS SOPS 438996 HAS SOUS 136117 HAS SOUPS 130233 WITH SCORE 130826.268
AT ITER 732 NEW BEST:: SOT 700733 SOS 592922 HAS SOPS 439136 HAS SOUS 135772 HAS SOUPS 129911 WITH SCORE 130503.922
AT ITER 735 NEW BEST:: SOT 700733 SOS 592922 HAS SOPS 439622 HAS SOUS 135621 HAS SOUPS 129760 WITH SCORE 130352.922
AT ITER 740 NEW BEST:: SOT 700733 SOS 592922 HAS SOPS 439442 HAS SOUS 135389 HAS SOUPS 129528 WITH SCORE 130120.922
AT ITER 744 NEW BEST:: SOT 700795 SOS 592984 HAS SOPS 439504 HAS SOUS 135164 HAS SOUPS 129303 WITH SCORE 129895.984
AT ITER 746 NEW BEST:: SOT 700795 SOS 592834 HAS SOPS 440512 HAS SOUS 134732 HAS SOUPS 128959 WITH SCORE 129551.834
AT ITER 750 NEW BEST:: SOT 682477 SOS 574516 HAS SOPS 472954 HAS SOUS 116291 HAS SOUPS 114141 WITH SCORE 114715.516
AT ITER 759 NEW BEST:: SOT 681986 SOS 574025 HAS SOPS 472463 HAS SOUS 116217 HAS SOUPS 114067 WITH SCORE 114641.025
AT ITER 763 NEW BEST:: SOT 682362 SOS 574401 HAS SOPS 473199 HAS SOUS 115968 HAS SOUPS 113838 WITH SCORE 114412.401
AT ITER 767 NEW BEST:: SOT 682218 SOS 574257 HAS SOPS 473055 HAS SOUS 115601 HAS SOUPS 113471 WITH SCORE 114045.257
AT ITER 769 NEW BEST:: SOT 682234 SOS 574273 HAS SOPS 473071 HAS SOUS 115595 HAS SOUPS 113465 WITH SCORE 114039.273
AT ITER 776 NEW BEST:: SOT 683324 SOS 575363 HAS SOPS 474677 HAS SOUS 114330 HAS SOUPS 112238 WITH SCORE 112813.363
AT ITER 780 NEW BEST:: SOT 683383 SOS 575422 HAS SOPS 474736 HAS SOUS 114181 HAS SOUPS 112089 WITH SCORE 112664.422
AT ITER 785 NEW BEST:: SOT 683574 SOS 575613 HAS SOPS 474927 HAS SOUS 113952 HAS SOUPS 111860 WITH SCORE 112435.613
AT ITER 786 NEW BEST:: SOT 683424 SOS 575463 HAS SOPS 474777 HAS SOUS 113910 HAS SOUPS 111818 WITH SCORE 112393.463
AT ITER 787 NEW BEST:: SOT 683642 SOS 575962 HAS SOPS 476903 HAS SOUS 113348 HAS SOUPS 111336 WITH SCORE 111911.962
AT ITER 788 NEW BEST:: SOT 683640 SOS 575960 HAS SOPS 476901 HAS SOUS 113327 HAS SOUPS 111315 WITH SCORE 111890.96
AT ITER 790 NEW BEST:: SOT 683640 SOS 576220 HAS SOPS 477381 HAS SOUS 113315 HAS SOUPS 111303 WITH SCORE 111879.22
AT ITER 792 NEW BEST:: SOT 684108 SOS 576688 HAS SOPS 477849 HAS SOUS 113155 HAS SOUPS 111143 WITH SCORE 111719.688
AT ITER 797 NEW BEST:: SOT 683848 SOS 576428 HAS SOPS 478183 HAS SOUS 112098 HAS SOUPS 110127 WITH SCORE 110703.428
AT ITER 798 NEW BEST:: SOT 683971 SOS 576551 HAS SOPS 478336 HAS SOUS 111908 HAS SOUPS 109942 WITH SCORE 110518.551
AT ITER 810 NEW BEST:: SOT 683971 SOS 576551 HAS SOPS 478492 HAS SOUS 111718 HAS SOUPS 109786 WITH SCORE 110362.551
AT ITER 812 NEW BEST:: SOT 683955 SOS 576535 HAS SOPS 478476 HAS SOUS 111670 HAS SOUPS 109738 WITH SCORE 110314.535
AT ITER 816 NEW BEST:: SOT 683955 SOS 576535 HAS SOPS 477972 HAS SOUS 111682 HAS SOUPS 109732 WITH SCORE 110308.535
AT ITER 818 NEW BEST:: SOT 683725 SOS 576305 HAS SOPS 477754 HAS SOUS 111563 HAS SOUPS 109613 WITH SCORE 110189.305
AT ITER 821 NEW BEST:: SOT 683069 SOS 575649 HAS SOPS 477098 HAS SOUS 111271 HAS SOUPS 109321 WITH SCORE 109896.649
AT ITER 832 NEW BEST:: SOT 680973 SOS 573553 HAS SOPS 474682 HAS SOUS 110589 HAS SOUPS 108639 WITH SCORE 109212.553
AT ITER 835 NEW BEST:: SOT 680973 SOS 573794 HAS SOPS 475906 HAS SOUS 110416 HAS SOUPS 108500 WITH SCORE 109073.794
AT ITER 839 NEW BEST:: SOT 680703 SOS 573524 HAS SOPS 475204 HAS SOUS 110360 HAS SOUPS 108420 WITH SCORE 108993.524
AT ITER 846 NEW BEST:: SOT 680773 SOS 573594 HAS SOPS 475274 HAS SOUS 110330 HAS SOUPS 108390 WITH SCORE 108963.594
AT ITER 855 NEW BEST:: SOT 680382 SOS 573203 HAS SOPS 474883 HAS SOUS 110195 HAS SOUPS 108255 WITH SCORE 108828.203
AT ITER 868 NEW BEST:: SOT 680382 SOS 573240 HAS SOPS 475087 HAS SOUS 110137 HAS SOUPS 108216 WITH SCORE 108789.24
AT ITER 869 NEW BEST:: SOT 680533 SOS 573391 HAS SOPS 475238 HAS SOUS 110037 HAS SOUPS 108116 WITH SCORE 108689.391
AT ITER 872 NEW BEST:: SOT 680100 SOS 572958 HAS SOPS 474805 HAS SOUS 109156 HAS SOUPS 107235 WITH SCORE 107807.958
AT ITER 874 NEW BEST:: SOT 680100 SOS 572982 HAS SOPS 474805 HAS SOUS 109144 HAS SOUPS 107223 WITH SCORE 107795.982
AT ITER 884 NEW BEST:: SOT 679446 SOS 572328 HAS SOPS 474169 HAS SOUS 107931 HAS SOUPS 106010 WITH SCORE 106582.328
AT ITER 890 NEW BEST:: SOT 679446 SOS 572328 HAS SOPS 474169 HAS SOUS 107779 HAS SOUPS 105858 WITH SCORE 106430.328
AT ITER 892 NEW BEST:: SOT 676730 SOS 569612 HAS SOPS 471505 HAS SOUS 106248 HAS SOUPS 104327 WITH SCORE 104896.612
AT ITER 927 NEW BEST:: SOT 676158 SOS 569040 HAS SOPS 470933 HAS SOUS 105848 HAS SOUPS 103927 WITH SCORE 104496.04
AT ITER 929 NEW BEST:: SOT 676236 SOS 569118 HAS SOPS 471011 HAS SOUS 105630 HAS SOUPS 103709 WITH SCORE 104278.118
AT ITER 947 NEW BEST:: SOT 676779 SOS 569676 HAS SOPS 472466 HAS SOUS 104966 HAS SOUPS 103107 WITH SCORE 103676.676
AT ITER 949 NEW BEST:: SOT 677206 SOS 570103 HAS SOPS 472893 HAS SOUS 104847 HAS SOUPS 102988 WITH SCORE 103558.103
AT ITER 953 NEW BEST:: SOT 677192 SOS 570089 HAS SOPS 472879 HAS SOUS 104639 HAS SOUPS 102780 WITH SCORE 103350.089
AT ITER 965 NEW BEST:: SOT 676819 SOS 569716 HAS SOPS 472506 HAS SOUS 104622 HAS SOUPS 102763 WITH SCORE 103332.716
AT ITER 969 NEW BEST:: SOT 676788 SOS 569685 HAS SOPS 472475 HAS SOUS 104534 HAS SOUPS 102675 WITH SCORE 103244.685
AT ITER 974 NEW BEST:: SOT 676306 SOS 569203 HAS SOPS 471993 HAS SOUS 104471 HAS SOUPS 102612 WITH SCORE 103181.203
AT ITER 975 NEW BEST:: SOT 676176 SOS 569073 HAS SOPS 471863 HAS SOUS 104434 HAS SOUPS 102575 WITH SCORE 103144.073
AT ITER 992 NEW BEST:: SOT 676198 SOS 569095 HAS SOPS 471885 HAS SOUS 104166 HAS SOUPS 102307 WITH SCORE 102876.095
AT ITER 999 NEW BEST:: SOT 676198 SOS 569097 HAS SOPS 472437 HAS SOUS 103969 HAS SOUPS 102156 WITH SCORE 102725.097
AT ITER 1005 NEW BEST:: SOT 676276 SOS 569175 HAS SOPS 472317 HAS SOUS 103820 HAS SOUPS 102021 WITH SCORE 102590.175
AT ITER 1009 NEW BEST:: SOT 676014 SOS 568913 HAS SOPS 472055 HAS SOUS 103770 HAS SOUPS 101971 WITH SCORE 102539.913
AT ITER 1010 NEW BEST:: SOT 676014 SOS 568913 HAS SOPS 471923 HAS SOUS 103764 HAS SOUPS 101965 WITH SCORE 102533.913
AT ITER 1011 NEW BEST:: SOT 676014 SOS 568818 HAS SOPS 472331 HAS SOUS 103729 HAS SOUPS 101964 WITH SCORE 102532.818
AT ITER 1018 NEW BEST:: SOT 676006 SOS 568810 HAS SOPS 472323 HAS SOUS 103721 HAS SOUPS 101956 WITH SCORE 102524.81
AT ITER 1022 NEW BEST:: SOT 676043 SOS 568847 HAS SOPS 472522 HAS SOUS 103309 HAS SOUPS 101553 WITH SCORE 102121.847
AT ITER 1034 NEW BEST:: SOT 675975 SOS 568779 HAS SOPS 472652 HAS SOUS 103277 HAS SOUPS 101521 WITH SCORE 102089.779
AT ITER 1040 NEW BEST:: SOT 675429 SOS 568233 HAS SOPS 472106 HAS SOUS 103234 HAS SOUPS 101478 WITH SCORE 102046.233
AT ITER 1047 NEW BEST:: SOT 675415 SOS 568219 HAS SOPS 472092 HAS SOUS 103234 HAS SOUPS 101478 WITH SCORE 102046.219
AT ITER 1051 NEW BEST:: SOT 675415 SOS 568525 HAS SOPS 472830 HAS SOUS 103227 HAS SOUPS 101471 WITH SCORE 102039.525
AT ITER 1052 NEW BEST:: SOT 675206 SOS 568316 HAS SOPS 472621 HAS SOUS 103042 HAS SOUPS 101286 WITH SCORE 101854.316
AT ITER 1056 NEW BEST:: SOT 675206 SOS 568316 HAS SOPS 472675 HAS SOUS 102935 HAS SOUPS 101197 WITH SCORE 101765.316
AT ITER 1058 NEW BEST:: SOT 675194 SOS 568304 HAS SOPS 472663 HAS SOUS 102897 HAS SOUPS 101159 WITH SCORE 101727.304
AT ITER 1064 NEW BEST:: SOT 675120 SOS 568230 HAS SOPS 472589 HAS SOUS 102702 HAS SOUPS 100964 WITH SCORE 101532.23
AT ITER 1067 NEW BEST:: SOT 675137 SOS 568247 HAS SOPS 472606 HAS SOUS 102295 HAS SOUPS 100557 WITH SCORE 101125.247
AT ITER 1068 NEW BEST:: SOT 675318 SOS 568428 HAS SOPS 472787 HAS SOUS 102173 HAS SOUPS 100435 WITH SCORE 101003.428
AT ITER 1069 NEW BEST:: SOT 675332 SOS 568417 HAS SOPS 472801 HAS SOUS 102121 HAS SOUPS 100383 WITH SCORE 100951.417
AT ITER 1071 NEW BEST:: SOT 675332 SOS 568417 HAS SOPS 473833 HAS SOUS 102009 HAS SOUPS 100314 WITH SCORE 100882.417
AT ITER 1072 NEW BEST:: SOT 675332 SOS 568417 HAS SOPS 472789 HAS SOUS 102026 HAS SOUPS 100302 WITH SCORE 100870.417
AT ITER 1075 NEW BEST:: SOT 675332 SOS 568417 HAS SOPS 473107 HAS SOUS 101910 HAS SOUPS 100201 WITH SCORE 100769.417
AT ITER 1090 NEW BEST:: SOT 675332 SOS 568417 HAS SOPS 473107 HAS SOUS 101856 HAS SOUPS 100147 WITH SCORE 100715.417
AT ITER 1092 NEW BEST:: SOT 675332 SOS 568417 HAS SOPS 473107 HAS SOUS 101786 HAS SOUPS 100077 WITH SCORE 100645.417
AT ITER 1096 NEW BEST:: SOT 675290 SOS 568375 HAS SOPS 473917 HAS SOUS 101562 HAS SOUPS 99911 WITH SCORE 100479.375
AT ITER 1099 NEW BEST:: SOT 675651 SOS 568736 HAS SOPS 474278 HAS SOUS 101459 HAS SOUPS 99808 WITH SCORE 100376.736
AT ITER 1109 NEW BEST:: SOT 675591 SOS 568676 HAS SOPS 473246 HAS SOUS 101366 HAS SOUPS 99722 WITH SCORE 100290.676
AT ITER 1111 NEW BEST:: SOT 674821 SOS 566949 HAS SOPS 469032 HAS SOUS 101305 HAS SOUPS 99565 WITH SCORE 100131.949
AT ITER 1127 NEW BEST:: SOT 674720 SOS 566968 HAS SOPS 471235 HAS SOUS 100680 HAS SOUPS 99004 WITH SCORE 99570.968
AT ITER 1128 NEW BEST:: SOT 674737 SOS 566985 HAS SOPS 471378 HAS SOUS 100558 HAS SOUPS 98889 WITH SCORE 99455.985
AT ITER 1129 NEW BEST:: SOT 674967 SOS 567215 HAS SOPS 471608 HAS SOUS 100523 HAS SOUPS 98854 WITH SCORE 99421.215
AT ITER 1141 NEW BEST:: SOT 674967 SOS 567215 HAS SOPS 471608 HAS SOUS 100522 HAS SOUPS 98853 WITH SCORE 99420.215
AT ITER 1147 NEW BEST:: SOT 675012 SOS 567260 HAS SOPS 471653 HAS SOUS 100521 HAS SOUPS 98852 WITH SCORE 99419.26
AT ITER 1148 NEW BEST:: SOT 674698 SOS 566946 HAS SOPS 471339 HAS SOUS 100483 HAS SOUPS 98814 WITH SCORE 99380.946
AT ITER 1153 NEW BEST:: SOT 674698 SOS 566976 HAS SOPS 472083 HAS SOUS 100464 HAS SOUPS 98764 WITH SCORE 99330.976
AT ITER 1158 NEW BEST:: SOT 674368 SOS 566646 HAS SOPS 471753 HAS SOUS 100068 HAS SOUPS 98368 WITH SCORE 98934.646
AT ITER 1159 NEW BEST:: SOT 674442 SOS 566720 HAS SOPS 471827 HAS SOUS 100016 HAS SOUPS 98316 WITH SCORE 98882.72
AT ITER 1161 NEW BEST:: SOT 674442 SOS 566568 HAS SOPS 471827 HAS SOUS 100001 HAS SOUPS 98314 WITH SCORE 98880.568
AT ITER 1170 NEW BEST:: SOT 674912 SOS 567038 HAS SOPS 472297 HAS SOUS 99969 HAS SOUPS 98282 WITH SCORE 98849.038
AT ITER 1171 NEW BEST:: SOT 674906 SOS 567032 HAS SOPS 472291 HAS SOUS 99936 HAS SOUPS 98249 WITH SCORE 98816.032
AT ITER 1173 NEW BEST:: SOT 674906 SOS 566728 HAS SOPS 471715 HAS SOUS 99891 HAS SOUPS 98204 WITH SCORE 98770.728
AT ITER 1174 NEW BEST:: SOT 674660 SOS 566482 HAS SOPS 471469 HAS SOUS 99595 HAS SOUPS 97908 WITH SCORE 98474.482
AT ITER 1182 NEW BEST:: SOT 674146 SOS 565968 HAS SOPS 470955 HAS SOUS 99221 HAS SOUPS 97534 WITH SCORE 98099.968
AT ITER 1183 NEW BEST:: SOT 673956 SOS 565778 HAS SOPS 470765 HAS SOUS 99011 HAS SOUPS 97324 WITH SCORE 97889.778
AT ITER 1185 NEW BEST:: SOT 673786 SOS 565608 HAS SOPS 470583 HAS SOUS 98989 HAS SOUPS 97302 WITH SCORE 97867.608
AT ITER 1189 NEW BEST:: SOT 673744 SOS 565566 HAS SOPS 470541 HAS SOUS 98873 HAS SOUPS 97186 WITH SCORE 97751.566
AT ITER 1201 NEW BEST:: SOT 673849 SOS 565671 HAS SOPS 470646 HAS SOUS 98769 HAS SOUPS 97082 WITH SCORE 97647.671
AT ITER 1209 NEW BEST:: SOT 673741 SOS 565563 HAS SOPS 470538 HAS SOUS 98535 HAS SOUPS 96848 WITH SCORE 97413.563
AT ITER 1222 NEW BEST:: SOT 673403 SOS 565225 HAS SOPS 470200 HAS SOUS 98507 HAS SOUPS 96820 WITH SCORE 97385.225
AT ITER 1238 NEW BEST:: SOT 669995 SOS 561817 HAS SOPS 551336 HAS SOUS 94720 HAS SOUPS 94474 WITH SCORE 95035.817
AT ITER 1273 NEW BEST:: SOT 669934 SOS 561756 HAS SOPS 551275 HAS SOUS 94704 HAS SOUPS 94458 WITH SCORE 95019.756
AT ITER 1279 NEW BEST:: SOT 670118 SOS 561940 HAS SOPS 551459 HAS SOUS 94691 HAS SOUPS 94445 WITH SCORE 95006.94
AT ITER 1285 NEW BEST:: SOT 669862 SOS 561684 HAS SOPS 551203 HAS SOUS 94672 HAS SOUPS 94426 WITH SCORE 94987.684
AT ITER 1286 NEW BEST:: SOT 669787 SOS 561609 HAS SOPS 551128 HAS SOUS 94469 HAS SOUPS 94223 WITH SCORE 94784.609
AT ITER 1293 NEW BEST:: SOT 669687 SOS 561509 HAS SOPS 551028 HAS SOUS 94375 HAS SOUPS 94129 WITH SCORE 94690.509
AT ITER 1295 NEW BEST:: SOT 669185 SOS 561007 HAS SOPS 550526 HAS SOUS 93829 HAS SOUPS 93583 WITH SCORE 94144.007
AT ITER 1303 NEW BEST:: SOT 669177 SOS 560999 HAS SOPS 550518 HAS SOUS 93827 HAS SOUPS 93581 WITH SCORE 94141.999
AT ITER 1308 NEW BEST:: SOT 669195 SOS 561045 HAS SOPS 550584 HAS SOUS 93819 HAS SOUPS 93573 WITH SCORE 94134.045
AT ITER 1316 NEW BEST:: SOT 669068 SOS 560849 HAS SOPS 550295 HAS SOUS 93575 HAS SOUPS 93329 WITH SCORE 93889.849
AT ITER 1320 NEW BEST:: SOT 669116 SOS 560897 HAS SOPS 550343 HAS SOUS 93410 HAS SOUPS 93164 WITH SCORE 93724.897
AT ITER 1322 NEW BEST:: SOT 669083 SOS 560864 HAS SOPS 550310 HAS SOUS 93377 HAS SOUPS 93131 WITH SCORE 93691.864
AT ITER 1328 NEW BEST:: SOT 669081 SOS 560862 HAS SOPS 550308 HAS SOUS 93349 HAS SOUPS 93103 WITH SCORE 93663.862
AT ITER 1329 NEW BEST:: SOT 668923 SOS 560704 HAS SOPS 550150 HAS SOUS 93206 HAS SOUPS 92960 WITH SCORE 93520.704
AT ITER 1334 NEW BEST:: SOT 668825 SOS 560606 HAS SOPS 550052 HAS SOUS 92961 HAS SOUPS 92715 WITH SCORE 93275.606
AT ITER 1337 NEW BEST:: SOT 668825 SOS 560606 HAS SOPS 550052 HAS SOUS 92956 HAS SOUPS 92710 WITH SCORE 93270.606
AT ITER 1350 NEW BEST:: SOT 668813 SOS 560594 HAS SOPS 550040 HAS SOUS 92910 HAS SOUPS 92664 WITH SCORE 93224.594
AT ITER 1353 NEW BEST:: SOT 670362 SOS 562143 HAS SOPS 551589 HAS SOUS 92773 HAS SOUPS 92527 WITH SCORE 93089.143
AT ITER 1360 NEW BEST:: SOT 670370 SOS 561851 HAS SOPS 551267 HAS SOUS 92772 HAS SOUPS 92526 WITH SCORE 93087.851
AT ITER 1361 NEW BEST:: SOT 670351 SOS 561832 HAS SOPS 551248 HAS SOUS 92767 HAS SOUPS 92521 WITH SCORE 93082.832
AT ITER 1363 NEW BEST:: SOT 669841 SOS 561322 HAS SOPS 550738 HAS SOUS 92419 HAS SOUPS 92173 WITH SCORE 92734.322
AT ITER 1364 NEW BEST:: SOT 669899 SOS 561380 HAS SOPS 550796 HAS SOUS 92399 HAS SOUPS 92153 WITH SCORE 92714.38
AT ITER 1365 NEW BEST:: SOT 670101 SOS 561649 HAS SOPS 551556 HAS SOUS 92200 HAS SOUPS 91985 WITH SCORE 92546.649
AT ITER 1370 NEW BEST:: SOT 670066 SOS 561405 HAS SOPS 551251 HAS SOUS 92180 HAS SOUPS 91965 WITH SCORE 92526.405
AT ITER 1374 NEW BEST:: SOT 670290 SOS 561629 HAS SOPS 551475 HAS SOUS 92120 HAS SOUPS 91905 WITH SCORE 92466.629
AT ITER 1376 NEW BEST:: SOT 670332 SOS 561671 HAS SOPS 551517 HAS SOUS 92102 HAS SOUPS 91887 WITH SCORE 92448.671
AT ITER 1384 NEW BEST:: SOT 670332 SOS 561671 HAS SOPS 551517 HAS SOUS 92093 HAS SOUPS 91878 WITH SCORE 92439.671
AT ITER 1394 NEW BEST:: SOT 670391 SOS 561982 HAS SOPS 552044 HAS SOUS 92022 HAS SOUPS 91820 WITH SCORE 92381.982
AT ITER 1401 NEW BEST:: SOT 670645 SOS 562236 HAS SOPS 552298 HAS SOUS 91702 HAS SOUPS 91500 WITH SCORE 92062.236
AT ITER 1415 NEW BEST:: SOT 670036 SOS 561627 HAS SOPS 551689 HAS SOUS 91613 HAS SOUPS 91411 WITH SCORE 91972.627
AT ITER 1420 NEW BEST:: SOT 671304 SOS 562895 HAS SOPS 552957 HAS SOUS 90722 HAS SOUPS 90520 WITH SCORE 91082.895
AT ITER 1425 NEW BEST:: SOT 671317 SOS 562908 HAS SOPS 552970 HAS SOUS 90671 HAS SOUPS 90469 WITH SCORE 91031.908
AT ITER 1427 NEW BEST:: SOT 671150 SOS 562741 HAS SOPS 552803 HAS SOUS 90175 HAS SOUPS 89973 WITH SCORE 90535.741
AT ITER 1436 NEW BEST:: SOT 671589 SOS 563180 HAS SOPS 553242 HAS SOUS 89564 HAS SOUPS 89362 WITH SCORE 89925.18
AT ITER 1466 NEW BEST:: SOT 671684 SOS 563275 HAS SOPS 553337 HAS SOUS 89510 HAS SOUPS 89308 WITH SCORE 89871.275
AT ITER 1468 NEW BEST:: SOT 670967 SOS 563310 HAS SOPS 553184 HAS SOUS 88782 HAS SOUPS 88580 WITH SCORE 89143.31
AT ITER 1469 NEW BEST:: SOT 670927 SOS 563270 HAS SOPS 553144 HAS SOUS 88767 HAS SOUPS 88565 WITH SCORE 89128.27
AT ITER 1471 NEW BEST:: SOT 670998 SOS 563341 HAS SOPS 553215 HAS SOUS 88733 HAS SOUPS 88531 WITH SCORE 89094.341
AT ITER 1475 NEW BEST:: SOT 670998 SOS 563341 HAS SOPS 553215 HAS SOUS 88715 HAS SOUPS 88513 WITH SCORE 89076.341
AT ITER 1488 NEW BEST:: SOT 671082 SOS 563425 HAS SOPS 553299 HAS SOUS 88655 HAS SOUPS 88453 WITH SCORE 89016.425
AT ITER 1490 NEW BEST:: SOT 671112 SOS 563455 HAS SOPS 553329 HAS SOUS 88649 HAS SOUPS 88447 WITH SCORE 89010.455
AT ITER 1492 NEW BEST:: SOT 671112 SOS 563263 HAS SOPS 553137 HAS SOUS 88649 HAS SOUPS 88447 WITH SCORE 89010.263
AT ITER 1501 NEW BEST:: SOT 671192 SOS 563343 HAS SOPS 553217 HAS SOUS 88491 HAS SOUPS 88289 WITH SCORE 88852.343
AT ITER 1503 NEW BEST:: SOT 670868 SOS 563019 HAS SOPS 552893 HAS SOUS 88415 HAS SOUPS 88213 WITH SCORE 88776.019
AT ITER 1521 NEW BEST:: SOT 671327 SOS 563478 HAS SOPS 553352 HAS SOUS 88296 HAS SOUPS 88094 WITH SCORE 88657.478
AT ITER 1528 NEW BEST:: SOT 671330 SOS 563886 HAS SOPS 553751 HAS SOUS 88224 HAS SOUPS 88022 WITH SCORE 88585.886
AT ITER 1529 NEW BEST:: SOT 670790 SOS 563346 HAS SOPS 553211 HAS SOUS 87835 HAS SOUPS 87633 WITH SCORE 88196.346
AT ITER 1537 NEW BEST:: SOT 671014 SOS 563570 HAS SOPS 553435 HAS SOUS 87659 HAS SOUPS 87457 WITH SCORE 88020.57
AT ITER 1541 NEW BEST:: SOT 671014 SOS 563606 HAS SOPS 553435 HAS SOUS 87564 HAS SOUPS 87362 WITH SCORE 87925.606
AT ITER 1547 NEW BEST:: SOT 670897 SOS 563489 HAS SOPS 553318 HAS SOUS 87530 HAS SOUPS 87328 WITH SCORE 87891.489
AT ITER 1548 NEW BEST:: SOT 669489 SOS 562081 HAS SOPS 551910 HAS SOUS 87261 HAS SOUPS 87059 WITH SCORE 87621.081
AT ITER 1559 NEW BEST:: SOT 669405 SOS 561997 HAS SOPS 551826 HAS SOUS 87191 HAS SOUPS 86989 WITH SCORE 87550.997
AT ITER 1572 NEW BEST:: SOT 669663 SOS 562255 HAS SOPS 552084 HAS SOUS 87189 HAS SOUPS 86987 WITH SCORE 87549.255
AT ITER 1573 NEW BEST:: SOT 669663 SOS 561776 HAS SOPS 551580 HAS SOUS 87185 HAS SOUPS 86983 WITH SCORE 87544.776
AT ITER 1585 NEW BEST:: SOT 669168 SOS 561281 HAS SOPS 551085 HAS SOUS 86990 HAS SOUPS 86788 WITH SCORE 87349.281
AT ITER 1587 NEW BEST:: SOT 669020 SOS 561625 HAS SOPS 551477 HAS SOUS 86868 HAS SOUPS 86666 WITH SCORE 87227.625
AT ITER 1597 NEW BEST:: SOT 669074 SOS 561679 HAS SOPS 551531 HAS SOUS 86792 HAS SOUPS 86590 WITH SCORE 87151.679
AT ITER 1600 NEW BEST:: SOT 669058 SOS 561663 HAS SOPS 551515 HAS SOUS 86768 HAS SOUPS 86566 WITH SCORE 87127.663
AT ITER 1603 NEW BEST:: SOT 669058 SOS 561639 HAS SOPS 551491 HAS SOUS 86768 HAS SOUPS 86566 WITH SCORE 87127.639
AT ITER 1611 NEW BEST:: SOT 668948 SOS 561529 HAS SOPS 551363 HAS SOUS 86707 HAS SOUPS 86505 WITH SCORE 87066.529
AT ITER 1623 NEW BEST:: SOT 668876 SOS 561457 HAS SOPS 551291 HAS SOUS 86653 HAS SOUPS 86451 WITH SCORE 87012.457
AT ITER 1633 NEW BEST:: SOT 668826 SOS 561407 HAS SOPS 551241 HAS SOUS 86543 HAS SOUPS 86341 WITH SCORE 86902.407
AT ITER 1640 NEW BEST:: SOT 668630 SOS 561211 HAS SOPS 551045 HAS SOUS 86388 HAS SOUPS 86186 WITH SCORE 86747.211
AT ITER 1644 NEW BEST:: SOT 668630 SOS 561286 HAS SOPS 551099 HAS SOUS 86385 HAS SOUPS 86183 WITH SCORE 86744.286
AT ITER 1655 NEW BEST:: SOT 667976 SOS 560632 HAS SOPS 550445 HAS SOUS 86165 HAS SOUPS 85963 WITH SCORE 86523.632
AT ITER 1667 NEW BEST:: SOT 667872 SOS 560192 HAS SOPS 549693 HAS SOUS 86138 HAS SOUPS 85918 WITH SCORE 86478.192
AT ITER 1678 NEW BEST:: SOT 667765 SOS 560085 HAS SOPS 549586 HAS SOUS 85514 HAS SOUPS 85294 WITH SCORE 85854.085
AT ITER 1684 NEW BEST:: SOT 667897 SOS 560291 HAS SOPS 550114 HAS SOUS 85339 HAS SOUPS 85141 WITH SCORE 85701.291
AT ITER 1688 NEW BEST:: SOT 667897 SOS 560243 HAS SOPS 550066 HAS SOUS 85339 HAS SOUPS 85141 WITH SCORE 85701.243
AT ITER 1699 NEW BEST:: SOT 668527 SOS 560873 HAS SOPS 550696 HAS SOUS 85274 HAS SOUPS 85076 WITH SCORE 85636.873
AT ITER 1706 NEW BEST:: SOT 668527 SOS 560977 HAS SOPS 550792 HAS SOUS 85266 HAS SOUPS 85068 WITH SCORE 85628.977
AT ITER 1707 NEW BEST:: SOT 669736 SOS 562186 HAS SOPS 552001 HAS SOUS 85253 HAS SOUPS 85055 WITH SCORE 85617.186
AT ITER 1708 NEW BEST:: SOT 669728 SOS 562178 HAS SOPS 551993 HAS SOUS 85250 HAS SOUPS 85052 WITH SCORE 85614.178
AT ITER 1713 NEW BEST:: SOT 669813 SOS 562263 HAS SOPS 552078 HAS SOUS 85080 HAS SOUPS 84882 WITH SCORE 85444.263
AT ITER 1750 NEW BEST:: SOT 669201 SOS 561651 HAS SOPS 551466 HAS SOUS 84363 HAS SOUPS 84165 WITH SCORE 84726.651
AT ITER 1763 NEW BEST:: SOT 669156 SOS 563544 HAS SOPS 561491 HAS SOUS 84310 HAS SOUPS 84156 WITH SCORE 84719.544
AT ITER 1767 NEW BEST:: SOT 669311 SOS 563699 HAS SOPS 561646 HAS SOUS 84212 HAS SOUPS 84058 WITH SCORE 84621.699
AT ITER 1768 NEW BEST:: SOT 668985 SOS 563373 HAS SOPS 561320 HAS SOUS 84158 HAS SOUPS 84004 WITH SCORE 84567.373
AT ITER 1780 NEW BEST:: SOT 668434 SOS 562822 HAS SOPS 560769 HAS SOUS 84075 HAS SOUPS 83921 WITH SCORE 84483.822
AT ITER 1785 NEW BEST:: SOT 668376 SOS 562764 HAS SOPS 560711 HAS SOUS 83637 HAS SOUPS 83483 WITH SCORE 84045.764
AT ITER 1793 NEW BEST:: SOT 668376 SOS 562764 HAS SOPS 560711 HAS SOUS 83615 HAS SOUPS 83461 WITH SCORE 84023.764
AT ITER 1806 NEW BEST:: SOT 668365 SOS 562753 HAS SOPS 560700 HAS SOUS 83584 HAS SOUPS 83430 WITH SCORE 83992.753
AT ITER 1807 NEW BEST:: SOT 668389 SOS 562777 HAS SOPS 560724 HAS SOUS 83560 HAS SOUPS 83406 WITH SCORE 83968.777
AT ITER 1815 NEW BEST:: SOT 668501 SOS 562889 HAS SOPS 560836 HAS SOUS 83201 HAS SOUPS 83047 WITH SCORE 83609.889
AT ITER 1822 NEW BEST:: SOT 668417 SOS 562805 HAS SOPS 560752 HAS SOUS 83201 HAS SOUPS 83047 WITH SCORE 83609.805
AT ITER 1847 NEW BEST:: SOT 668437 SOS 562825 HAS SOPS 560772 HAS SOUS 83177 HAS SOUPS 83023 WITH SCORE 83585.825
AT ITER 1851 NEW BEST:: SOT 668542 SOS 562614 HAS SOPS 561165 HAS SOUS 83117 HAS SOUPS 82999 WITH SCORE 83561.614
AT ITER 1853 NEW BEST:: SOT 668436 SOS 562508 HAS SOPS 561059 HAS SOUS 83012 HAS SOUPS 82894 WITH SCORE 83456.508
AT ITER 1856 NEW BEST:: SOT 668501 SOS 562573 HAS SOPS 561124 HAS SOUS 82999 HAS SOUPS 82881 WITH SCORE 83443.573
AT ITER 1859 NEW BEST:: SOT 668092 SOS 562164 HAS SOPS 560715 HAS SOUS 82689 HAS SOUPS 82571 WITH SCORE 83133.164
AT ITER 1865 NEW BEST:: SOT 667616 SOS 561688 HAS SOPS 560239 HAS SOUS 82437 HAS SOUPS 82319 WITH SCORE 82880.688
AT ITER 1879 NEW BEST:: SOT 667616 SOS 561898 HAS SOPS 560431 HAS SOUS 82368 HAS SOUPS 82250 WITH SCORE 82811.898
AT ITER 1887 NEW BEST:: SOT 667631 SOS 562251 HAS SOPS 560914 HAS SOUS 82345 HAS SOUPS 82240 WITH SCORE 82802.251
AT ITER 1892 NEW BEST:: SOT 667478 SOS 562098 HAS SOPS 560761 HAS SOUS 82339 HAS SOUPS 82234 WITH SCORE 82796.098
AT ITER 1902 NEW BEST:: SOT 667474 SOS 562094 HAS SOPS 560757 HAS SOUS 82325 HAS SOUPS 82220 WITH SCORE 82782.094
AT ITER 1909 NEW BEST:: SOT 667158 SOS 561778 HAS SOPS 560441 HAS SOUS 82312 HAS SOUPS 82207 WITH SCORE 82768.778
AT ITER 1910 NEW BEST:: SOT 666880 SOS 561500 HAS SOPS 560163 HAS SOUS 82109 HAS SOUPS 82004 WITH SCORE 82565.5
AT ITER 1925 NEW BEST:: SOT 666818 SOS 561438 HAS SOPS 560101 HAS SOUS 82049 HAS SOUPS 81944 WITH SCORE 82505.438
AT ITER 1927 NEW BEST:: SOT 666752 SOS 561372 HAS SOPS 560035 HAS SOUS 82032 HAS SOUPS 81927 WITH SCORE 82488.372
AT ITER 1934 NEW BEST:: SOT 666356 SOS 560976 HAS SOPS 559639 HAS SOUS 81818 HAS SOUPS 81713 WITH SCORE 82273.976
AT ITER 1936 NEW BEST:: SOT 666116 SOS 560736 HAS SOPS 559399 HAS SOUS 81633 HAS SOUPS 81528 WITH SCORE 82088.736
AT ITER 1948 NEW BEST:: SOT 666124 SOS 560744 HAS SOPS 559407 HAS SOUS 81455 HAS SOUPS 81350 WITH SCORE 81910.744
AT ITER 1952 NEW BEST:: SOT 665046 SOS 559128 HAS SOPS 557717 HAS SOUS 81418 HAS SOUPS 81296 WITH SCORE 81855.128
AT ITER 1957 NEW BEST:: SOT 665046 SOS 559128 HAS SOPS 557717 HAS SOUS 81200 HAS SOUPS 81078 WITH SCORE 81637.128
AT ITER 1971 NEW BEST:: SOT 664859 SOS 558941 HAS SOPS 557530 HAS SOUS 81189 HAS SOUPS 81067 WITH SCORE 81625.941
AT ITER 2013 NEW BEST:: SOT 665038 SOS 559216 HAS SOPS 557709 HAS SOUS 80998 HAS SOUPS 80876 WITH SCORE 81435.216
AT ITER 2032 NEW BEST:: SOT 665038 SOS 559648 HAS SOPS 558141 HAS SOUS 80923 HAS SOUPS 80801 WITH SCORE 81360.648
AT ITER 2064 NEW BEST:: SOT 664742 SOS 559352 HAS SOPS 557845 HAS SOUS 80836 HAS SOUPS 80714 WITH SCORE 81273.352
AT ITER 2065 NEW BEST:: SOT 664742 SOS 559365 HAS SOPS 557869 HAS SOUS 80834 HAS SOUPS 80713 WITH SCORE 81272.365
AT ITER 2085 NEW BEST:: SOT 664674 SOS 559297 HAS SOPS 557801 HAS SOUS 80710 HAS SOUPS 80589 WITH SCORE 81148.297
AT ITER 2092 NEW BEST:: SOT 663249 SOS 557872 HAS SOPS 556376 HAS SOUS 79820 HAS SOUPS 79699 WITH SCORE 80256.872
AT ITER 2101 NEW BEST:: SOT 663249 SOS 557844 HAS SOPS 556352 HAS SOUS 79817 HAS SOUPS 79696 WITH SCORE 80253.844
AT ITER 2111 NEW BEST:: SOT 663239 SOS 557834 HAS SOPS 556342 HAS SOUS 79751 HAS SOUPS 79630 WITH SCORE 80187.834
AT ITER 2123 NEW BEST:: SOT 663191 SOS 557786 HAS SOPS 556294 HAS SOUS 79730 HAS SOUPS 79609 WITH SCORE 80166.786
AT ITER 2133 NEW BEST:: SOT 663079 SOS 557674 HAS SOPS 556182 HAS SOUS 79542 HAS SOUPS 79421 WITH SCORE 79978.674
AT ITER 2142 NEW BEST:: SOT 662431 SOS 557026 HAS SOPS 555534 HAS SOUS 78621 HAS SOUPS 78500 WITH SCORE 79057.026
AT ITER 2145 NEW BEST:: SOT 662197 SOS 556792 HAS SOPS 555300 HAS SOUS 78586 HAS SOUPS 78465 WITH SCORE 79021.792
AT ITER 2148 NEW BEST:: SOT 662197 SOS 556792 HAS SOPS 555300 HAS SOUS 78568 HAS SOUPS 78447 WITH SCORE 79003.792
AT ITER 2162 NEW BEST:: SOT 662197 SOS 556684 HAS SOPS 555192 HAS SOUS 78568 HAS SOUPS 78447 WITH SCORE 79003.684
AT ITER 2181 NEW BEST:: SOT 662205 SOS 556692 HAS SOPS 555200 HAS SOUS 78564 HAS SOUPS 78443 WITH SCORE 78999.692
AT ITER 2186 NEW BEST:: SOT 661655 SOS 556142 HAS SOPS 554650 HAS SOUS 78297 HAS SOUPS 78176 WITH SCORE 78732.142
AT ITER 2188 NEW BEST:: SOT 661093 SOS 555580 HAS SOPS 554088 HAS SOUS 78010 HAS SOUPS 77889 WITH SCORE 78444.58
AT ITER 2190 NEW BEST:: SOT 660980 SOS 555467 HAS SOPS 553975 HAS SOUS 77970 HAS SOUPS 77849 WITH SCORE 78404.467
AT ITER 2200 NEW BEST:: SOT 660995 SOS 555902 HAS SOPS 554530 HAS SOUS 77861 HAS SOUPS 77755 WITH SCORE 78310.902
AT ITER 2202 NEW BEST:: SOT 660908 SOS 555815 HAS SOPS 554443 HAS SOUS 77806 HAS SOUPS 77700 WITH SCORE 78255.815
AT ITER 2215 NEW BEST:: SOT 660565 SOS 555472 HAS SOPS 554100 HAS SOUS 77734 HAS SOUPS 77628 WITH SCORE 78183.472
AT ITER 2220 NEW BEST:: SOT 660644 SOS 555551 HAS SOPS 554179 HAS SOUS 77692 HAS SOUPS 77586 WITH SCORE 78141.551
AT ITER 2247 NEW BEST:: SOT 660665 SOS 555572 HAS SOPS 554200 HAS SOUS 77629 HAS SOUPS 77523 WITH SCORE 78078.572
AT ITER 2269 NEW BEST:: SOT 660676 SOS 555583 HAS SOPS 554211 HAS SOUS 77598 HAS SOUPS 77492 WITH SCORE 78047.583
AT ITER 2279 NEW BEST:: SOT 660676 SOS 555583 HAS SOPS 554211 HAS SOUS 77594 HAS SOUPS 77488 WITH SCORE 78043.583
AT ITER 2285 NEW BEST:: SOT 660573 SOS 555486 HAS SOPS 554108 HAS SOUS 77583 HAS SOUPS 77477 WITH SCORE 78032.486
AT ITER 2294 NEW BEST:: SOT 660573 SOS 555222 HAS SOPS 553844 HAS SOUS 77583 HAS SOUPS 77477 WITH SCORE 78032.222
AT ITER 2297 NEW BEST:: SOT 660482 SOS 555131 HAS SOPS 553753 HAS SOUS 77383 HAS SOUPS 77277 WITH SCORE 77832.131
AT ITER 2328 NEW BEST:: SOT 661086 SOS 555735 HAS SOPS 554357 HAS SOUS 77282 HAS SOUPS 77176 WITH SCORE 77731.735
AT ITER 2329 NEW BEST:: SOT 661234 SOS 555883 HAS SOPS 554505 HAS SOUS 77180 HAS SOUPS 77074 WITH SCORE 77629.883
AT ITER 2351 NEW BEST:: SOT 661262 SOS 555911 HAS SOPS 554533 HAS SOUS 77148 HAS SOUPS 77042 WITH SCORE 77597.911
AT ITER 2357 NEW BEST:: SOT 661256 SOS 559751 HAS SOPS 554482 HAS SOUS 77143 HAS SOUPS 77036 WITH SCORE 77595.751
AT ITER 2361 NEW BEST:: SOT 661108 SOS 559603 HAS SOPS 554334 HAS SOUS 77098 HAS SOUPS 76991 WITH SCORE 77550.603
AT ITER 2374 NEW BEST:: SOT 661180 SOS 559675 HAS SOPS 554406 HAS SOUS 77082 HAS SOUPS 76975 WITH SCORE 77534.675
AT ITER 2379 NEW BEST:: SOT 661212 SOS 559707 HAS SOPS 554438 HAS SOUS 77050 HAS SOUPS 76943 WITH SCORE 77502.707
AT ITER 2385 NEW BEST:: SOT 661212 SOS 559707 HAS SOPS 554438 HAS SOUS 77026 HAS SOUPS 76919 WITH SCORE 77478.707
AT ITER 2396 NEW BEST:: SOT 660492 SOS 558987 HAS SOPS 553718 HAS SOUS 76985 HAS SOUPS 76878 WITH SCORE 77436.987
AT ITER 2397 NEW BEST:: SOT 660256 SOS 558751 HAS SOPS 553482 HAS SOUS 76815 HAS SOUPS 76708 WITH SCORE 77266.751
AT ITER 2407 NEW BEST:: SOT 660244 SOS 558739 HAS SOPS 553470 HAS SOUS 76809 HAS SOUPS 76702 WITH SCORE 77260.739
AT ITER 2410 NEW BEST:: SOT 660244 SOS 558739 HAS SOPS 553470 HAS SOUS 76734 HAS SOUPS 76627 WITH SCORE 77185.739
AT ITER 2422 NEW BEST:: SOT 660244 SOS 559099 HAS SOPS 553854 HAS SOUS 76647 HAS SOUPS 76540 WITH SCORE 77099.099
AT ITER 2429 NEW BEST:: SOT 660002 SOS 558857 HAS SOPS 553612 HAS SOUS 76442 HAS SOUPS 76335 WITH SCORE 76893.857
AT ITER 2435 NEW BEST:: SOT 659872 SOS 558727 HAS SOPS 553482 HAS SOUS 76188 HAS SOUPS 76081 WITH SCORE 76639.727
AT ITER 2447 NEW BEST:: SOT 660036 SOS 558891 HAS SOPS 553646 HAS SOUS 76048 HAS SOUPS 75941 WITH SCORE 76499.891
AT ITER 2462 NEW BEST:: SOT 660228 SOS 559083 HAS SOPS 553838 HAS SOUS 75938 HAS SOUPS 75831 WITH SCORE 76390.083
AT ITER 2466 NEW BEST:: SOT 659940 SOS 558795 HAS SOPS 553550 HAS SOUS 75858 HAS SOUPS 75751 WITH SCORE 76309.795
AT ITER 2479 NEW BEST:: SOT 659910 SOS 558765 HAS SOPS 553520 HAS SOUS 75808 HAS SOUPS 75701 WITH SCORE 76259.765
AT ITER 2490 NEW BEST:: SOT 659883 SOS 558738 HAS SOPS 553493 HAS SOUS 75790 HAS SOUPS 75683 WITH SCORE 76241.738
AT ITER 2491 NEW BEST:: SOT 659883 SOS 559202 HAS SOPS 553949 HAS SOUS 75761 HAS SOUPS 75654 WITH SCORE 76213.202
AT ITER 2511 NEW BEST:: SOT 659736 SOS 559055 HAS SOPS 553802 HAS SOUS 75723 HAS SOUPS 75616 WITH SCORE 76175.055
AT ITER 2514 NEW BEST:: SOT 659563 SOS 558882 HAS SOPS 553629 HAS SOUS 75638 HAS SOUPS 75531 WITH SCORE 76089.882
AT ITER 2515 NEW BEST:: SOT 659162 SOS 558481 HAS SOPS 553228 HAS SOUS 75574 HAS SOUPS 75467 WITH SCORE 76025.481
AT ITER 2524 NEW BEST:: SOT 657591 SOS 556910 HAS SOPS 551657 HAS SOUS 74527 HAS SOUPS 74420 WITH SCORE 74976.91
AT ITER 2533 NEW BEST:: SOT 657463 SOS 556782 HAS SOPS 551529 HAS SOUS 74501 HAS SOUPS 74394 WITH SCORE 74950.782
AT ITER 2541 NEW BEST:: SOT 657343 SOS 556662 HAS SOPS 551409 HAS SOUS 74499 HAS SOUPS 74392 WITH SCORE 74948.662
AT ITER 2544 NEW BEST:: SOT 657321 SOS 556640 HAS SOPS 551387 HAS SOUS 74473 HAS SOUPS 74366 WITH SCORE 74922.64
AT ITER 2560 NEW BEST:: SOT 657465 SOS 556784 HAS SOPS 551531 HAS SOUS 74423 HAS SOUPS 74316 WITH SCORE 74872.784
AT ITER 2563 NEW BEST:: SOT 657097 SOS 556416 HAS SOPS 551163 HAS SOUS 74317 HAS SOUPS 74210 WITH SCORE 74766.416
AT ITER 2564 NEW BEST:: SOT 657329 SOS 556648 HAS SOPS 551395 HAS SOUS 74311 HAS SOUPS 74204 WITH SCORE 74760.648
AT ITER 2575 NEW BEST:: SOT 656985 SOS 556304 HAS SOPS 551051 HAS SOUS 74182 HAS SOUPS 74075 WITH SCORE 74631.304
AT ITER 2578 NEW BEST:: SOT 656987 SOS 556306 HAS SOPS 551161 HAS SOUS 74151 HAS SOUPS 74050 WITH SCORE 74606.306
AT ITER 2584 NEW BEST:: SOT 657018 SOS 556334 HAS SOPS 551354 HAS SOUS 74083 HAS SOUPS 73991 WITH SCORE 74547.334
AT ITER 2599 NEW BEST:: SOT 657018 SOS 556142 HAS SOPS 551162 HAS SOUS 74083 HAS SOUPS 73991 WITH SCORE 74547.142
AT ITER 2607 NEW BEST:: SOT 657002 SOS 556126 HAS SOPS 551146 HAS SOUS 74069 HAS SOUPS 73977 WITH SCORE 74533.126
AT ITER 2609 NEW BEST:: SOT 656651 SOS 555775 HAS SOPS 550795 HAS SOUS 74009 HAS SOUPS 73917 WITH SCORE 74472.775
AT ITER 2620 NEW BEST:: SOT 656508 SOS 555632 HAS SOPS 550652 HAS SOUS 73739 HAS SOUPS 73647 WITH SCORE 74202.632
AT ITER 2625 NEW BEST:: SOT 655904 SOS 555028 HAS SOPS 550048 HAS SOUS 73588 HAS SOUPS 73496 WITH SCORE 74051.028
AT ITER 2630 NEW BEST:: SOT 655715 SOS 554839 HAS SOPS 549859 HAS SOUS 73570 HAS SOUPS 73478 WITH SCORE 74032.839
AT ITER 2650 NEW BEST:: SOT 655681 SOS 554779 HAS SOPS 549717 HAS SOUS 73571 HAS SOUPS 73476 WITH SCORE 74030.779
AT ITER 2658 NEW BEST:: SOT 654446 SOS 553544 HAS SOPS 548482 HAS SOUS 73435 HAS SOUPS 73340 WITH SCORE 73893.544
AT ITER 2671 NEW BEST:: SOT 654428 SOS 553526 HAS SOPS 548464 HAS SOUS 73408 HAS SOUPS 73313 WITH SCORE 73866.526
AT ITER 2676 NEW BEST:: SOT 654388 SOS 553486 HAS SOPS 548424 HAS SOUS 73194 HAS SOUPS 73099 WITH SCORE 73652.486
AT ITER 2683 NEW BEST:: SOT 654364 SOS 553462 HAS SOPS 548400 HAS SOUS 73184 HAS SOUPS 73089 WITH SCORE 73642.462
AT ITER 2684 NEW BEST:: SOT 654236 SOS 553283 HAS SOPS 547930 HAS SOUS 73192 HAS SOUPS 73082 WITH SCORE 73635.283
AT ITER 2688 NEW BEST:: SOT 654276 SOS 553323 HAS SOPS 547970 HAS SOUS 73135 HAS SOUPS 73025 WITH SCORE 73578.323
AT ITER 2712 NEW BEST:: SOT 654276 SOS 553323 HAS SOPS 547970 HAS SOUS 73123 HAS SOUPS 73013 WITH SCORE 73566.323
AT ITER 2718 NEW BEST:: SOT 654246 SOS 553293 HAS SOPS 547940 HAS SOUS 73093 HAS SOUPS 72983 WITH SCORE 73536.293
AT ITER 2729 NEW BEST:: SOT 654104 SOS 553151 HAS SOPS 547798 HAS SOUS 72965 HAS SOUPS 72855 WITH SCORE 73408.151
AT ITER 2730 NEW BEST:: SOT 654053 SOS 553100 HAS SOPS 547747 HAS SOUS 72965 HAS SOUPS 72855 WITH SCORE 73408.1
AT ITER 2736 NEW BEST:: SOT 653949 SOS 552996 HAS SOPS 547643 HAS SOUS 72916 HAS SOUPS 72806 WITH SCORE 73358.996
AT ITER 2771 NEW BEST:: SOT 654153 SOS 553200 HAS SOPS 547847 HAS SOUS 72863 HAS SOUPS 72753 WITH SCORE 73306.2
AT ITER 2778 NEW BEST:: SOT 654099 SOS 553146 HAS SOPS 547793 HAS SOUS 72860 HAS SOUPS 72750 WITH SCORE 73303.146
AT ITER 2797 NEW BEST:: SOT 654099 SOS 553146 HAS SOPS 547793 HAS SOUS 72858 HAS SOUPS 72748 WITH SCORE 73301.146
AT ITER 2808 NEW BEST:: SOT 654011 SOS 553058 HAS SOPS 547705 HAS SOUS 72835 HAS SOUPS 72725 WITH SCORE 73278.058
AT ITER 2810 NEW BEST:: SOT 653837 SOS 552884 HAS SOPS 547531 HAS SOUS 72720 HAS SOUPS 72610 WITH SCORE 73162.884
AT ITER 2829 NEW BEST:: SOT 653741 SOS 552788 HAS SOPS 547435 HAS SOUS 72652 HAS SOUPS 72542 WITH SCORE 73094.788
AT ITER 2833 NEW BEST:: SOT 653753 SOS 552800 HAS SOPS 547447 HAS SOUS 72622 HAS SOUPS 72512 WITH SCORE 73064.8
AT ITER 2865 NEW BEST:: SOT 653747 SOS 552794 HAS SOPS 547441 HAS SOUS 72612 HAS SOUPS 72502 WITH SCORE 73054.794
AT ITER 2869 NEW BEST:: SOT 653247 SOS 552294 HAS SOPS 546941 HAS SOUS 72597 HAS SOUPS 72487 WITH SCORE 73039.294
AT ITER 2876 NEW BEST:: SOT 653233 SOS 552280 HAS SOPS 546927 HAS SOUS 72590 HAS SOUPS 72480 WITH SCORE 73032.28
AT ITER 2880 NEW BEST:: SOT 653211 SOS 552258 HAS SOPS 546905 HAS SOUS 72590 HAS SOUPS 72480 WITH SCORE 73032.258
AT ITER 2887 NEW BEST:: SOT 652842 SOS 551889 HAS SOPS 546536 HAS SOUS 72383 HAS SOUPS 72273 WITH SCORE 72824.889
AT ITER 2890 NEW BEST:: SOT 652842 SOS 552301 HAS SOPS 547004 HAS SOUS 72331 HAS SOUPS 72221 WITH SCORE 72773.301
AT ITER 2891 NEW BEST:: SOT 652266 SOS 551725 HAS SOPS 546428 HAS SOUS 72113 HAS SOUPS 72003 WITH SCORE 72554.725
AT ITER 2905 NEW BEST:: SOT 652214 SOS 551673 HAS SOPS 546376 HAS SOUS 72035 HAS SOUPS 71925 WITH SCORE 72476.673
AT ITER 2923 NEW BEST:: SOT 652134 SOS 551593 HAS SOPS 546296 HAS SOUS 72018 HAS SOUPS 71908 WITH SCORE 72459.593
AT ITER 2934 NEW BEST:: SOT 652024 SOS 551483 HAS SOPS 546186 HAS SOUS 71985 HAS SOUPS 71875 WITH SCORE 72426.483
AT ITER 2938 NEW BEST:: SOT 652027 SOS 551640 HAS SOPS 546369 HAS SOUS 71982 HAS SOUPS 71872 WITH SCORE 72423.64
AT ITER 2945 NEW BEST:: SOT 652103 SOS 551716 HAS SOPS 546445 HAS SOUS 71946 HAS SOUPS 71836 WITH SCORE 72387.716
AT ITER 2963 NEW BEST:: SOT 652103 SOS 551680 HAS SOPS 546409 HAS SOUS 71946 HAS SOUPS 71836 WITH SCORE 72387.68
AT ITER 2972 NEW BEST:: SOT 652123 SOS 551700 HAS SOPS 546429 HAS SOUS 71934 HAS SOUPS 71824 WITH SCORE 72375.7
AT ITER 2979 NEW BEST:: SOT 652123 SOS 551700 HAS SOPS 546429 HAS SOUS 71933 HAS SOUPS 71823 WITH SCORE 72374.7
AT ITER 2991 NEW BEST:: SOT 651858 SOS 551435 HAS SOPS 546164 HAS SOUS 71588 HAS SOUPS 71478 WITH SCORE 72029.435
AT ITER 3003 NEW BEST:: SOT 651836 SOS 551413 HAS SOPS 546142 HAS SOUS 71580 HAS SOUPS 71470 WITH SCORE 72021.413
AT ITER 3018 NEW BEST:: SOT 652083 SOS 551660 HAS SOPS 546389 HAS SOUS 71486 HAS SOUPS 71376 WITH SCORE 71927.66
AT ITER 3026 NEW BEST:: SOT 652198 SOS 551775 HAS SOPS 546504 HAS SOUS 71414 HAS SOUPS 71304 WITH SCORE 71855.775
AT ITER 3060 NEW BEST:: SOT 652198 SOS 551751 HAS SOPS 546480 HAS SOUS 71414 HAS SOUPS 71304 WITH SCORE 71855.751
AT ITER 3082 NEW BEST:: SOT 652099 SOS 551652 HAS SOPS 546381 HAS SOUS 71288 HAS SOUPS 71178 WITH SCORE 71729.652
AT ITER 3088 NEW BEST:: SOT 652294 SOS 551847 HAS SOPS 546576 HAS SOUS 71134 HAS SOUPS 71024 WITH SCORE 71575.847
AT ITER 3092 NEW BEST:: SOT 652242 SOS 551795 HAS SOPS 546524 HAS SOUS 71062 HAS SOUPS 70952 WITH SCORE 71503.795
AT ITER 3111 NEW BEST:: SOT 652242 SOS 552150 HAS SOPS 546884 HAS SOUS 71057 HAS SOUPS 70947 WITH SCORE 71499.15
AT ITER 3131 NEW BEST:: SOT 652242 SOS 551670 HAS SOPS 546380 HAS SOUS 71057 HAS SOUPS 70947 WITH SCORE 71498.67
AT ITER 3135 NEW BEST:: SOT 652542 SOS 551970 HAS SOPS 546680 HAS SOUS 70964 HAS SOUPS 70854 WITH SCORE 71405.97
AT ITER 3142 NEW BEST:: SOT 652584 SOS 552012 HAS SOPS 546722 HAS SOUS 70950 HAS SOUPS 70840 WITH SCORE 71392.012
AT ITER 3145 NEW BEST:: SOT 651160 SOS 550588 HAS SOPS 545298 HAS SOUS 70609 HAS SOUPS 70499 WITH SCORE 71049.588
AT ITER 3150 NEW BEST:: SOT 651160 SOS 550528 HAS SOPS 545214 HAS SOUS 70521 HAS SOUPS 70411 WITH SCORE 70961.528
AT ITER 3172 NEW BEST:: SOT 650038 SOS 549406 HAS SOPS 544092 HAS SOUS 69800 HAS SOUPS 69690 WITH SCORE 70239.406
AT ITER 3176 NEW BEST:: SOT 650384 SOS 549752 HAS SOPS 544438 HAS SOUS 69756 HAS SOUPS 69646 WITH SCORE 70195.752
AT ITER 3182 NEW BEST:: SOT 650354 SOS 549722 HAS SOPS 544408 HAS SOUS 69751 HAS SOUPS 69641 WITH SCORE 70190.722
AT ITER 3196 NEW BEST:: SOT 650354 SOS 549722 HAS SOPS 544408 HAS SOUS 69733 HAS SOUPS 69623 WITH SCORE 70172.722
AT ITER 3217 NEW BEST:: SOT 650282 SOS 549650 HAS SOPS 544336 HAS SOUS 69697 HAS SOUPS 69587 WITH SCORE 70136.65
AT ITER 3228 NEW BEST:: SOT 650144 SOS 549512 HAS SOPS 544198 HAS SOUS 69665 HAS SOUPS 69555 WITH SCORE 70104.512
AT ITER 3267 NEW BEST:: SOT 649962 SOS 549330 HAS SOPS 544016 HAS SOUS 69651 HAS SOUPS 69541 WITH SCORE 70090.33
AT ITER 3289 NEW BEST:: SOT 649864 SOS 549232 HAS SOPS 543918 HAS SOUS 69588 HAS SOUPS 69478 WITH SCORE 70027.232
AT ITER 3305 NEW BEST:: SOT 649399 SOS 548767 HAS SOPS 543453 HAS SOUS 69397 HAS SOUPS 69287 WITH SCORE 69835.767
AT ITER 3306 NEW BEST:: SOT 649397 SOS 548765 HAS SOPS 543451 HAS SOUS 69395 HAS SOUPS 69285 WITH SCORE 69833.765
AT ITER 3308 NEW BEST:: SOT 648982 SOS 548350 HAS SOPS 543036 HAS SOUS 69196 HAS SOUPS 69086 WITH SCORE 69634.35
AT ITER 3311 NEW BEST:: SOT 648512 SOS 547832 HAS SOPS 542446 HAS SOUS 69199 HAS SOUPS 69084 WITH SCORE 69631.832
AT ITER 3313 NEW BEST:: SOT 648741 SOS 548061 HAS SOPS 542675 HAS SOUS 69118 HAS SOUPS 69003 WITH SCORE 69551.061
AT ITER 3316 NEW BEST:: SOT 648678 SOS 547998 HAS SOPS 542612 HAS SOUS 69086 HAS SOUPS 68971 WITH SCORE 69518.998
AT ITER 3317 NEW BEST:: SOT 648588 SOS 547908 HAS SOPS 542522 HAS SOUS 69008 HAS SOUPS 68893 WITH SCORE 69440.908
AT ITER 3324 NEW BEST:: SOT 648588 SOS 547625 HAS SOPS 542288 HAS SOUS 69000 HAS SOUPS 68885 WITH SCORE 69432.625
AT ITER 3335 NEW BEST:: SOT 648526 SOS 547563 HAS SOPS 542226 HAS SOUS 68931 HAS SOUPS 68816 WITH SCORE 69363.563
AT ITER 3340 NEW BEST:: SOT 648337 SOS 547374 HAS SOPS 542037 HAS SOUS 68898 HAS SOUPS 68783 WITH SCORE 69330.374
AT ITER 3343 NEW BEST:: SOT 648516 SOS 547553 HAS SOPS 542216 HAS SOUS 68880 HAS SOUPS 68765 WITH SCORE 69312.553
AT ITER 3355 NEW BEST:: SOT 648594 SOS 547631 HAS SOPS 542294 HAS SOUS 68776 HAS SOUPS 68661 WITH SCORE 69208.631
AT ITER 3387 NEW BEST:: SOT 648542 SOS 547579 HAS SOPS 542242 HAS SOUS 68736 HAS SOUPS 68621 WITH SCORE 69168.579
AT ITER 3388 NEW BEST:: SOT 648409 SOS 547446 HAS SOPS 542109 HAS SOUS 68677 HAS SOUPS 68562 WITH SCORE 69109.446
AT ITER 3392 NEW BEST:: SOT 648385 SOS 547422 HAS SOPS 542085 HAS SOUS 68395 HAS SOUPS 68280 WITH SCORE 68827.422
AT ITER 3408 NEW BEST:: SOT 648389 SOS 547876 HAS SOPS 542383 HAS SOUS 68387 HAS SOUPS 68272 WITH SCORE 68819.876
AT ITER 3431 NEW BEST:: SOT 648572 SOS 548079 HAS SOPS 542962 HAS SOUS 68338 HAS SOUPS 68245 WITH SCORE 68793.079
AT ITER 3437 NEW BEST:: SOT 648208 SOS 547715 HAS SOPS 542598 HAS SOUS 67899 HAS SOUPS 67806 WITH SCORE 68353.715
AT ITER 3440 NEW BEST:: SOT 648037 SOS 547544 HAS SOPS 542427 HAS SOUS 67765 HAS SOUPS 67672 WITH SCORE 68219.544
AT ITER 3451 NEW BEST:: SOT 648037 SOS 547460 HAS SOPS 542319 HAS SOUS 67765 HAS SOUPS 67672 WITH SCORE 68219.46
AT ITER 3454 NEW BEST:: SOT 648037 SOS 547436 HAS SOPS 542295 HAS SOUS 67765 HAS SOUPS 67672 WITH SCORE 68219.436
AT ITER 3499 NEW BEST:: SOT 647975 SOS 547374 HAS SOPS 542233 HAS SOUS 67686 HAS SOUPS 67593 WITH SCORE 68140.374
AT ITER 3558 NEW BEST:: SOT 647492 SOS 546891 HAS SOPS 541750 HAS SOUS 67545 HAS SOUPS 67452 WITH SCORE 67998.891
AT ITER 3562 NEW BEST:: SOT 646491 SOS 545890 HAS SOPS 540749 HAS SOUS 67265 HAS SOUPS 67172 WITH SCORE 67717.89
AT ITER 3594 NEW BEST:: SOT 646392 SOS 545791 HAS SOPS 540650 HAS SOUS 67141 HAS SOUPS 67048 WITH SCORE 67593.791
AT ITER 3605 NEW BEST:: SOT 646382 SOS 545781 HAS SOPS 540640 HAS SOUS 67137 HAS SOUPS 67044 WITH SCORE 67589.781
AT ITER 3621 NEW BEST:: SOT 646382 SOS 545949 HAS SOPS 540892 HAS SOUS 67123 HAS SOUPS 67037 WITH SCORE 67582.949
AT ITER 3630 NEW BEST:: SOT 645854 SOS 545421 HAS SOPS 540364 HAS SOUS 66795 HAS SOUPS 66709 WITH SCORE 67254.421
AT ITER 3634 NEW BEST:: SOT 645895 SOS 545462 HAS SOPS 540405 HAS SOUS 66687 HAS SOUPS 66601 WITH SCORE 67146.462
AT ITER 3656 NEW BEST:: SOT 645785 SOS 545352 HAS SOPS 540295 HAS SOUS 66572 HAS SOUPS 66486 WITH SCORE 67031.352
AT ITER 3728 NEW BEST:: SOT 645779 SOS 545346 HAS SOPS 540289 HAS SOUS 66572 HAS SOUPS 66486 WITH SCORE 67031.346
AT ITER 3757 NEW BEST:: SOT 644881 SOS 544448 HAS SOPS 539391 HAS SOUS 66510 HAS SOUPS 66424 WITH SCORE 66968.448
AT ITER 3766 NEW BEST:: SOT 644881 SOS 544424 HAS SOPS 539367 HAS SOUS 66510 HAS SOUPS 66424 WITH SCORE 66968.424
AT ITER 3769 NEW BEST:: SOT 644881 SOS 544462 HAS SOPS 539421 HAS SOUS 66507 HAS SOUPS 66421 WITH SCORE 66965.462
AT ITER 3812 NEW BEST:: SOT 644903 SOS 544499 HAS SOPS 539533 HAS SOUS 66416 HAS SOUPS 66335 WITH SCORE 66879.499
AT ITER 3836 NEW BEST:: SOT 644709 SOS 544305 HAS SOPS 539339 HAS SOUS 66297 HAS SOUPS 66216 WITH SCORE 66760.305
AT ITER 3870 NEW BEST:: SOT 644128 SOS 543724 HAS SOPS 538758 HAS SOUS 65850 HAS SOUPS 65769 WITH SCORE 66312.724
AT ITER 3904 NEW BEST:: SOT 644158 SOS 543754 HAS SOPS 538788 HAS SOUS 65741 HAS SOUPS 65660 WITH SCORE 66203.754
AT ITER 3911 NEW BEST:: SOT 644060 SOS 543656 HAS SOPS 538690 HAS SOUS 65669 HAS SOUPS 65588 WITH SCORE 66131.656
AT ITER 3924 NEW BEST:: SOT 644002 SOS 543598 HAS SOPS 538632 HAS SOUS 65631 HAS SOUPS 65550 WITH SCORE 66093.598
AT ITER 3928 NEW BEST:: SOT 644014 SOS 543610 HAS SOPS 538644 HAS SOUS 65625 HAS SOUPS 65544 WITH SCORE 66087.61
AT ITER 3984 NEW BEST:: SOT 643866 SOS 543462 HAS SOPS 538496 HAS SOUS 65229 HAS SOUPS 65148 WITH SCORE 65691.462
AT ITER 3997 NEW BEST:: SOT 643785 SOS 543381 HAS SOPS 538415 HAS SOUS 65166 HAS SOUPS 65085 WITH SCORE 65628.381
AT ITER 4019 NEW BEST:: SOT 643554 SOS 543150 HAS SOPS 538184 HAS SOUS 64899 HAS SOUPS 64818 WITH SCORE 65361.15
AT ITER 4029 NEW BEST:: SOT 643557 SOS 543599 HAS SOPS 538835 HAS SOUS 64819 HAS SOUPS 64756 WITH SCORE 65299.599
AT ITER 4044 NEW BEST:: SOT 643557 SOS 543587 HAS SOPS 538823 HAS SOUS 64819 HAS SOUPS 64756 WITH SCORE 65299.587
AT ITER 4052 NEW BEST:: SOT 642448 SOS 542478 HAS SOPS 537714 HAS SOUS 64515 HAS SOUPS 64452 WITH SCORE 64994.478
AT ITER 4068 NEW BEST:: SOT 642057 SOS 542087 HAS SOPS 537323 HAS SOUS 64414 HAS SOUPS 64351 WITH SCORE 64893.087
AT ITER 4074 NEW BEST:: SOT 642017 SOS 542047 HAS SOPS 537283 HAS SOUS 64039 HAS SOUPS 63976 WITH SCORE 64518.047
AT ITER 4076 NEW BEST:: SOT 641942 SOS 541972 HAS SOPS 537208 HAS SOUS 63969 HAS SOUPS 63906 WITH SCORE 64447.972
AT ITER 4077 NEW BEST:: SOT 641786 SOS 541816 HAS SOPS 537052 HAS SOUS 63948 HAS SOUPS 63885 WITH SCORE 64426.816
AT ITER 4084 NEW BEST:: SOT 641978 SOS 542008 HAS SOPS 537244 HAS SOUS 63829 HAS SOUPS 63766 WITH SCORE 64308.008
AT ITER 4098 NEW BEST:: SOT 641901 SOS 541931 HAS SOPS 537167 HAS SOUS 63743 HAS SOUPS 63680 WITH SCORE 64221.931
AT ITER 4154 NEW BEST:: SOT 641849 SOS 541879 HAS SOPS 537115 HAS SOUS 63738 HAS SOUPS 63675 WITH SCORE 64216.879
AT ITER 4163 NEW BEST:: SOT 641844 SOS 541874 HAS SOPS 537110 HAS SOUS 63680 HAS SOUPS 63617 WITH SCORE 64158.874
AT ITER 4228 NEW BEST:: SOT 641844 SOS 541742 HAS SOPS 536978 HAS SOUS 63680 HAS SOUPS 63617 WITH SCORE 64158.742
AT ITER 4247 NEW BEST:: SOT 641844 SOS 541694 HAS SOPS 536930 HAS SOUS 63680 HAS SOUPS 63617 WITH SCORE 64158.694
AT ITER 4272 NEW BEST:: SOT 642306 SOS 542156 HAS SOPS 537392 HAS SOUS 63651 HAS SOUPS 63588 WITH SCORE 64130.156
AT ITER 4273 NEW BEST:: SOT 642190 SOS 542040 HAS SOPS 537276 HAS SOUS 63643 HAS SOUPS 63580 WITH SCORE 64122.04
AT ITER 4274 NEW BEST:: SOT 642190 SOS 542050 HAS SOPS 537456 HAS SOUS 63623 HAS SOUPS 63570 WITH SCORE 64112.05
AT ITER 4277 NEW BEST:: SOT 641909 SOS 541769 HAS SOPS 537175 HAS SOUS 63350 HAS SOUPS 63297 WITH SCORE 63838.769
AT ITER 4300 NEW BEST:: SOT 641843 SOS 541703 HAS SOPS 537109 HAS SOUS 63330 HAS SOUPS 63277 WITH SCORE 63818.703
AT ITER 4305 NEW BEST:: SOT 641607 SOS 541467 HAS SOPS 536873 HAS SOUS 63246 HAS SOUPS 63193 WITH SCORE 63734.467
AT ITER 4307 NEW BEST:: SOT 641541 SOS 541401 HAS SOPS 536807 HAS SOUS 63150 HAS SOUPS 63097 WITH SCORE 63638.401
AT ITER 4400 NEW BEST:: SOT 641524 SOS 541384 HAS SOPS 536790 HAS SOUS 63139 HAS SOUPS 63086 WITH SCORE 63627.384
AT ITER 4484 NEW BEST:: SOT 641504 SOS 541364 HAS SOPS 536770 HAS SOUS 63137 HAS SOUPS 63084 WITH SCORE 63625.364
AT ITER 4544 NEW BEST:: SOT 641215 SOS 541075 HAS SOPS 536481 HAS SOUS 62953 HAS SOUPS 62900 WITH SCORE 63441.075
AT ITER 4553 NEW BEST:: SOT 641001 SOS 540828 HAS SOPS 536171 HAS SOUS 62946 HAS SOUPS 62889 WITH SCORE 63429.828
AT ITER 4567 NEW BEST:: SOT 640979 SOS 540806 HAS SOPS 536149 HAS SOUS 62928 HAS SOUPS 62871 WITH SCORE 63411.806
AT ITER 4586 NEW BEST:: SOT 640989 SOS 540816 HAS SOPS 536159 HAS SOUS 62902 HAS SOUPS 62845 WITH SCORE 63385.816
AT ITER 4628 NEW BEST:: SOT 640803 SOS 540630 HAS SOPS 535973 HAS SOUS 62795 HAS SOUPS 62738 WITH SCORE 63278.63
AT ITER 4645 NEW BEST:: SOT 640626 SOS 540453 HAS SOPS 535796 HAS SOUS 62777 HAS SOUPS 62720 WITH SCORE 63260.453
AT ITER 4707 NEW BEST:: SOT 640622 SOS 540449 HAS SOPS 535792 HAS SOUS 62777 HAS SOUPS 62720 WITH SCORE 63260.449
AT ITER 4749 NEW BEST:: SOT 640588 SOS 540415 HAS SOPS 535758 HAS SOUS 62753 HAS SOUPS 62696 WITH SCORE 63236.415
AT ITER 4750 NEW BEST:: SOT 640556 SOS 540383 HAS SOPS 535726 HAS SOUS 62694 HAS SOUPS 62637 WITH SCORE 63177.383
AT ITER 4758 NEW BEST:: SOT 640625 SOS 540452 HAS SOPS 535795 HAS SOUS 62672 HAS SOUPS 62615 WITH SCORE 63155.452
AT ITER 4815 NEW BEST:: SOT 640554 SOS 540381 HAS SOPS 535724 HAS SOUS 62643 HAS SOUPS 62586 WITH SCORE 63126.381
AT ITER 4826 NEW BEST:: SOT 639675 SOS 539502 HAS SOPS 534845 HAS SOUS 62557 HAS SOUPS 62500 WITH SCORE 63039.502
AT ITER 4852 NEW BEST:: SOT 639674 SOS 539501 HAS SOPS 534844 HAS SOUS 62553 HAS SOUPS 62496 WITH SCORE 63035.501
AT ITER 4869 NEW BEST:: SOT 639817 SOS 539644 HAS SOPS 534987 HAS SOUS 62513 HAS SOUPS 62456 WITH SCORE 62995.644
AT ITER 4893 NEW BEST:: SOT 639777 SOS 539604 HAS SOPS 534947 HAS SOUS 62507 HAS SOUPS 62450 WITH SCORE 62989.604
AT ITER 4906 NEW BEST:: SOT 639427 SOS 539254 HAS SOPS 534597 HAS SOUS 61961 HAS SOUPS 61904 WITH SCORE 62443.254
AT ITER 4921 NEW BEST:: SOT 639504 SOS 539331 HAS SOPS 534674 HAS SOUS 61881 HAS SOUPS 61824 WITH SCORE 62363.331
AT ITER 4936 NEW BEST:: SOT 639347 SOS 539174 HAS SOPS 534517 HAS SOUS 61830 HAS SOUPS 61773 WITH SCORE 62312.174
AT ITER 4937 NEW BEST:: SOT 639330 SOS 538849 HAS SOPS 534212 HAS SOUS 61821 HAS SOUPS 61764 WITH SCORE 62302.849
AT ITER 4996 NEW BEST:: SOT 639339 SOS 539074 HAS SOPS 534461 HAS SOUS 61804 HAS SOUPS 61747 WITH SCORE 62286.074
Bounds file is: CTLFireability.xml
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-00 ( (AU( (! ( ((potential((tk(P246)>=1) & (tk(P91)>=1) & (tk(P301)>=1)))) & ((potential((tk(P238)>=1) & (tk(P96)>=1) & (tk(P301)>=1)))) )) , ((potential((tk(P299)>=1) & (tk(P196)>=1) & (tk(P301)>=1)))) )) & ( ( (AF( ( ((potential((tk(P286)>=1) & (tk(P150)>=1) & (tk(P301)>=1)))) | ((potential((tk(P203)>=1) & (tk(P3)>=1) & (tk(P301)>=1)))) ))) & (! (EG( ((potential((tk(P266)>=1) & (tk(P113)>=1) & (tk(P301)>=1))))))) ) | (AX( (EX( ((potential((tk(P233)>=1) & (tk(P44)>=1) & (tk(P301)>=1)))))))) ) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-01 (AG( ( (! (AX( ((potential((tk(P205)>=1) & (tk(P11)>=1) & (tk(P301)>=1))))))) | (! (EG( ((potential((tk(P286)>=1) & (tk(P192)>=1) & (tk(P301)>=1))))))) )))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-02 (! (EF( ((potential((tk(P226)>=1) & (tk(P29)>=1) & (tk(P301)>=1)))))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-03 ( ( (! (! ( ( ((potential((tk(P259)>=1) & (tk(P135)>=1) & (tk(P301)>=1)))) & ((potential((tk(P278)>=1) & (tk(P178)>=1) & (tk(P301)>=1)))) ) | ( ((potential((tk(P271)>=1) & (tk(P180)>=1) & (tk(P301)>=1)))) & ((potential((tk(P248)>=1) & (tk(P76)>=1) & (tk(P301)>=1)))) ) ))) | (AF( ((potential((tk(P281)>=1) & (tk(P161)>=1) & (tk(P301)>=1)))))) ) | (EG( (! ( ( ((potential((tk(P260)>=1) & (tk(P140)>=1) & (tk(P301)>=1)))) & ((potential((tk(P235)>=1) & (tk(P69)>=1) & (tk(P301)>=1)))) ) & (! ((potential((tk(P262)>=1) & (tk(P145)>=1) & (tk(P301)>=1))))) )))) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-04 (EF( (AX( (AX( ((potential((tk(P299)>=1) & (tk(P15)>=1) & (tk(P301)>=1))))))))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-05 ( ((potential((tk(P281)>=1) & (tk(P200)>=1) & (tk(P301)>=1)))) | (EF( (AG( ((potential((tk(P270)>=1) & (tk(P142)>=1) & (tk(P301)>=1)))))))) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-06 (EG( ( (EF( ( ((potential((tk(P284)>=1) & (tk(P167)>=1) & (tk(P301)>=1)))) & ((potential((tk(P247)>=1) & (tk(P112)>=1) & (tk(P301)>=1)))) ))) & ( (EF( ((potential((tk(P297)>=1) & (tk(P192)>=1) & (tk(P301)>=1)))))) | ( (! ((potential((tk(P272)>=1) & (tk(P125)>=1) & (tk(P301)>=1))))) & (! ((potential((tk(P269)>=1) & (tk(P140)>=1) & (tk(P301)>=1))))) ) ) )))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-07 (EU( (EF( ((potential((tk(P263)>=1) & (tk(P143)>=1) & (tk(P301)>=1)))))) , ((potential((tk(P230)>=1) & (tk(P41)>=1) & (tk(P301)>=1)))) ))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-08 (EF( ((potential((tk(P208)>=1) & (tk(P14)>=1) & (tk(P301)>=1))))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-09 ( (AF( ( ( (! ((potential((tk(P249)>=1) & (tk(P118)>=1) & (tk(P301)>=1))))) | ((potential((tk(P292)>=1) & (tk(P6)>=1) & (tk(P301)>=1)))) ) & (AX( ((potential((tk(P300)>=1) & (tk(P161)>=1) & (tk(P301)>=1)))))) ))) | (AG( (AF( ( ((potential((tk(P212)>=1) & (tk(P24)>=1) & (tk(P301)>=1)))) & ((potential((tk(P246)>=1) & (tk(P92)>=1) & (tk(P301)>=1)))) ))))) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-10 (AX( ( (EF( ( ((potential((tk(P223)>=1) & (tk(P28)>=1) & (tk(P301)>=1)))) & ((potential((tk(P216)>=1) & (tk(P33)>=1) & (tk(P301)>=1)))) ))) | (EG( ( ((potential((tk(P284)>=1) & (tk(P190)>=1) & (tk(P301)>=1)))) | ((potential((tk(P261)>=1) & (tk(P139)>=1) & (tk(P301)>=1)))) ))) )))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-11 ( (EU( ( (! ((potential((tk(P245)>=1) & (tk(P91)>=1) & (tk(P301)>=1))))) & ( ((potential((tk(P253)>=1) & (tk(P128)>=1) & (tk(P301)>=1)))) & ((potential((tk(P232)>=1) & (tk(P64)>=1) & (tk(P301)>=1)))) ) ) , (AF( ((potential((tk(P265)>=1) & (tk(P148)>=1) & (tk(P301)>=1)))))) )) | ( (! (EF( ( ((potential((tk(P300)>=1) & (tk(P182)>=1) & (tk(P301)>=1)))) | ((potential((tk(P289)>=1) & (tk(P158)>=1) & (tk(P301)>=1)))) )))) | (AU( ( ((potential((tk(P266)>=1) & (tk(P153)>=1) & (tk(P301)>=1)))) & ((potential((tk(P217)>=1) & (tk(P31)>=1) & (tk(P301)>=1)))) ) , ( ((potential((tk(P223)>=1) & (tk(P25)>=1) & (tk(P301)>=1)))) & ((potential((tk(P240)>=1) & (tk(P59)>=1) & (tk(P301)>=1)))) ) )) ) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-12 (AF( (EX( ((potential((tk(P269)>=1) & (tk(P159)>=1) & (tk(P301)>=1))))))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-13 ( (AX( ( (EF( ((potential((tk(P260)>=1) & (tk(P137)>=1) & (tk(P301)>=1)))))) & (! ( ((potential((tk(P290)>=1) & (tk(P141)>=1) & (tk(P301)>=1)))) | ((potential((tk(P202)>=1) & (tk(P6)>=1) & (tk(P301)>=1)))) )) ))) | (AX( ( (! (! ((potential((tk(P202)>=1) & (tk(P183)>=1) & (tk(P301)>=1)))))) | ( ((potential((tk(P269)>=1) & (tk(P119)>=1) & (tk(P301)>=1)))) & ( ((potential((tk(P281)>=1) & (tk(P159)>=1) & (tk(P301)>=1)))) & ((potential((tk(P239)>=1) & (tk(P77)>=1) & (tk(P301)>=1)))) ) ) ))) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-14 (EX( (EG( ( (! ((potential((tk(P231)>=1) & (tk(P60)>=1) & (tk(P301)>=1))))) | ( ((potential((tk(P210)>=1) & (tk(P19)>=1) & (tk(P301)>=1)))) & ((potential((tk(P249)>=1) & (tk(P98)>=1) & (tk(P301)>=1)))) ) )))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLFireability-15 (! (AF( ( ( ((potential((tk(P279)>=1) & (tk(P140)>=1) & (tk(P301)>=1)))) | (! ((potential((tk(P226)>=1) & (tk(P53)>=1) & (tk(P301)>=1))))) ) & ( (! ((potential((tk(P266)>=1) & (tk(P111)>=1) & (tk(P301)>=1))))) & ( ((potential((tk(P226)>=1) & (tk(P72)>=1) & (tk(P301)>=1)))) | ((potential((tk(P254)>=1) & (tk(P89)>=1) & (tk(P301)>=1)))) ) ) ))))
BK_TIME_CONFINEMENT_REACHED
--------------------
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="PhaseVariation-PT-D10CS010"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PhaseVariation-PT-D10CS010, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961251000788"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D10CS010.tgz
mv PhaseVariation-PT-D10CS010 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;