fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r235-tall-167856422100656
Last Updated
May 14, 2023

About the Execution of Smart+red for Medical-PT-02

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4473.184 3600000.00 3639566.00 12175.40 [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 '/data/fkordon/mcc2023-input.r235-tall-167856422100656.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Medical-PT-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422100656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 12K Feb 25 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 25 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:22 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 3.1M 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 1678676730988

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 03:05:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 03:05:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 03:05:32] [INFO ] Load time of PNML (sax parser for PT used): 273 ms
[2023-03-13 03:05:32] [INFO ] Transformed 312 places.
[2023-03-13 03:05:32] [INFO ] Transformed 5431 transitions.
[2023-03-13 03:05:32] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 527 ms.
[2023-03-13 03:05:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 54 ms.
Total runtime 614 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 2 NEW BEST:: SOT 1169342 SOS 637626 HAS SOPS 634530 HAS SOUS 251822 HAS SOUPS 249005 WITH SCORE 249642.626
AT ITER 4 NEW BEST:: SOT 1169342 SOS 639018 HAS SOPS 635922 HAS SOUS 251782 HAS SOUPS 248965 WITH SCORE 249604.018
AT ITER 7 NEW BEST:: SOT 1169299 SOS 639143 HAS SOPS 635975 HAS SOUS 251154 HAS SOUPS 248337 WITH SCORE 248976.143
AT ITER 8 NEW BEST:: SOT 1160773 SOS 668804 HAS SOPS 665636 HAS SOUS 241956 HAS SOUPS 239139 WITH SCORE 239807.804
AT ITER 14 NEW BEST:: SOT 1160773 SOS 668804 HAS SOPS 665636 HAS SOUS 241725 HAS SOUPS 238908 WITH SCORE 239576.804
AT ITER 24 NEW BEST:: SOT 1160768 SOS 668799 HAS SOPS 665631 HAS SOUS 241506 HAS SOUPS 238689 WITH SCORE 239357.799
AT ITER 25 NEW BEST:: SOT 1161450 SOS 670101 HAS SOPS 666933 HAS SOUS 239759 HAS SOUPS 236942 WITH SCORE 237612.101
AT ITER 28 NEW BEST:: SOT 1161450 SOS 670101 HAS SOPS 666933 HAS SOUS 239573 HAS SOUPS 236756 WITH SCORE 237426.101
AT ITER 34 NEW BEST:: SOT 1153947 SOS 664040 HAS SOPS 660843 HAS SOUS 235760 HAS SOUPS 232914 WITH SCORE 233578.04
AT ITER 62 NEW BEST:: SOT 1153942 SOS 664035 HAS SOPS 660838 HAS SOUS 235708 HAS SOUPS 232862 WITH SCORE 233526.035
AT ITER 64 NEW BEST:: SOT 1157715 SOS 671336 HAS SOPS 668139 HAS SOUS 235173 HAS SOUPS 232327 WITH SCORE 232998.336
AT ITER 67 NEW BEST:: SOT 1157727 SOS 671361 HAS SOPS 668215 HAS SOUS 234009 HAS SOUPS 231163 WITH SCORE 231834.361
AT ITER 69 NEW BEST:: SOT 1157171 SOS 673018 HAS SOPS 669872 HAS SOUS 233874 HAS SOUPS 231028 WITH SCORE 231701.018
AT ITER 77 NEW BEST:: SOT 1157171 SOS 674218 HAS SOPS 671072 HAS SOUS 233577 HAS SOUPS 230731 WITH SCORE 231405.218
AT ITER 82 NEW BEST:: SOT 1157171 SOS 673965 HAS SOPS 670830 HAS SOUS 233555 HAS SOUPS 230720 WITH SCORE 231393.965
AT ITER 93 NEW BEST:: SOT 1157640 SOS 674385 HAS SOPS 671299 HAS SOUS 230854 HAS SOUPS 228056 WITH SCORE 228730.385
AT ITER 100 NEW BEST:: SOT 1157640 SOS 674404 HAS SOPS 671318 HAS SOUS 230835 HAS SOUPS 228037 WITH SCORE 228711.404
AT ITER 108 NEW BEST:: SOT 1157640 SOS 674729 HAS SOPS 671643 HAS SOUS 230822 HAS SOUPS 228024 WITH SCORE 228698.729
AT ITER 115 NEW BEST:: SOT 1157690 SOS 674779 HAS SOPS 671693 HAS SOUS 230582 HAS SOUPS 227784 WITH SCORE 228458.779
AT ITER 116 NEW BEST:: SOT 1157564 SOS 674855 HAS SOPS 671769 HAS SOUS 230557 HAS SOUPS 227759 WITH SCORE 228433.855
AT ITER 118 NEW BEST:: SOT 1156843 SOS 679956 HAS SOPS 676870 HAS SOUS 230111 HAS SOUPS 227313 WITH SCORE 227992.956
AT ITER 125 NEW BEST:: SOT 1156618 SOS 679731 HAS SOPS 676645 HAS SOUS 229514 HAS SOUPS 226716 WITH SCORE 227395.731
AT ITER 128 NEW BEST:: SOT 1157570 SOS 680577 HAS SOPS 677491 HAS SOUS 228844 HAS SOUPS 226046 WITH SCORE 226726.577
AT ITER 129 NEW BEST:: SOT 1156606 SOS 679565 HAS SOPS 676591 HAS SOUS 225345 HAS SOUPS 222596 WITH SCORE 223275.565
AT ITER 133 NEW BEST:: SOT 1157276 SOS 680184 HAS SOPS 677261 HAS SOUS 222466 HAS SOUPS 219755 WITH SCORE 220435.184
AT ITER 135 NEW BEST:: SOT 1155377 SOS 686189 HAS SOPS 682984 HAS SOUS 222024 HAS SOUPS 219207 WITH SCORE 219893.189
AT ITER 142 NEW BEST:: SOT 1154965 SOS 685734 HAS SOPS 682572 HAS SOUS 219572 HAS SOUPS 216789 WITH SCORE 217474.734
AT ITER 153 NEW BEST:: SOT 1154330 SOS 688077 HAS SOPS 684915 HAS SOUS 219428 HAS SOUPS 216645 WITH SCORE 217333.077
AT ITER 156 NEW BEST:: SOT 1154303 SOS 688050 HAS SOPS 684888 HAS SOUS 219283 HAS SOUPS 216500 WITH SCORE 217188.05
AT ITER 157 NEW BEST:: SOT 1154340 SOS 688087 HAS SOPS 684925 HAS SOUS 219046 HAS SOUPS 216263 WITH SCORE 216951.087
AT ITER 161 NEW BEST:: SOT 1133714 SOS 775118 HAS SOPS 773163 HAS SOUS 198692 HAS SOUPS 196934 WITH SCORE 197709.118
AT ITER 162 NEW BEST:: SOT 1136069 SOS 779798 HAS SOPS 777702 HAS SOUS 198798 HAS SOUPS 196899 WITH SCORE 197678.798
AT ITER 167 NEW BEST:: SOT 1136069 SOS 779798 HAS SOPS 777702 HAS SOUS 198682 HAS SOUPS 196783 WITH SCORE 197562.798
AT ITER 178 NEW BEST:: SOT 1136059 SOS 779883 HAS SOPS 777787 HAS SOUS 198542 HAS SOUPS 196643 WITH SCORE 197422.883
AT ITER 180 NEW BEST:: SOT 1136070 SOS 779877 HAS SOPS 777798 HAS SOUS 196504 HAS SOUPS 194622 WITH SCORE 195401.877
AT ITER 181 NEW BEST:: SOT 1136095 SOS 779902 HAS SOPS 777823 HAS SOUS 196350 HAS SOUPS 194468 WITH SCORE 195247.902
AT ITER 182 NEW BEST:: SOT 1135642 SOS 744185 HAS SOPS 742106 HAS SOUS 196066 HAS SOUPS 194184 WITH SCORE 194928.185
AT ITER 194 NEW BEST:: SOT 1135642 SOS 744333 HAS SOPS 742272 HAS SOUS 195587 HAS SOUPS 193723 WITH SCORE 194467.333
AT ITER 196 NEW BEST:: SOT 1135697 SOS 745653 HAS SOPS 743592 HAS SOUS 195315 HAS SOUPS 193451 WITH SCORE 194196.653
AT ITER 201 NEW BEST:: SOT 1135298 SOS 745254 HAS SOPS 743193 HAS SOUS 195187 HAS SOUPS 193323 WITH SCORE 194068.254
AT ITER 204 NEW BEST:: SOT 1132452 SOS 741341 HAS SOPS 739421 HAS SOUS 193901 HAS SOUPS 192178 WITH SCORE 192919.341
AT ITER 205 NEW BEST:: SOT 1132460 SOS 741339 HAS SOPS 739429 HAS SOUS 193726 HAS SOUPS 192013 WITH SCORE 192754.339
AT ITER 206 NEW BEST:: SOT 1132259 SOS 741378 HAS SOPS 739468 HAS SOUS 192481 HAS SOUPS 190768 WITH SCORE 191509.378
AT ITER 212 NEW BEST:: SOT 1132263 SOS 741474 HAS SOPS 739564 HAS SOUS 192461 HAS SOUPS 190748 WITH SCORE 191489.474
AT ITER 217 NEW BEST:: SOT 1131344 SOS 741037 HAS SOPS 739127 HAS SOUS 191951 HAS SOUPS 190238 WITH SCORE 190979.037
AT ITER 219 NEW BEST:: SOT 1131344 SOS 741037 HAS SOPS 739127 HAS SOUS 191667 HAS SOUPS 189954 WITH SCORE 190695.037
AT ITER 221 NEW BEST:: SOT 1131340 SOS 732794 HAS SOPS 730735 HAS SOUS 191703 HAS SOUPS 189957 WITH SCORE 190689.794
AT ITER 229 NEW BEST:: SOT 1131406 SOS 732860 HAS SOPS 730801 HAS SOUS 191673 HAS SOUPS 189927 WITH SCORE 190659.86
AT ITER 233 NEW BEST:: SOT 1131406 SOS 733203 HAS SOPS 731129 HAS SOUS 191645 HAS SOUPS 189896 WITH SCORE 190629.203
AT ITER 235 NEW BEST:: SOT 1131406 SOS 824814 HAS SOPS 822765 HAS SOUS 190383 HAS SOUPS 188639 WITH SCORE 189463.814
AT ITER 238 NEW BEST:: SOT 1131406 SOS 794452 HAS SOPS 792403 HAS SOUS 190377 HAS SOUPS 188633 WITH SCORE 189427.452
AT ITER 241 NEW BEST:: SOT 1131219 SOS 795174 HAS SOPS 793125 HAS SOUS 189872 HAS SOUPS 188128 WITH SCORE 188923.174
AT ITER 248 NEW BEST:: SOT 1131157 SOS 795112 HAS SOPS 793063 HAS SOUS 189744 HAS SOUPS 188000 WITH SCORE 188795.112
AT ITER 257 NEW BEST:: SOT 1131129 SOS 795084 HAS SOPS 793035 HAS SOUS 189716 HAS SOUPS 187972 WITH SCORE 188767.084
AT ITER 260 NEW BEST:: SOT 1130556 SOS 794511 HAS SOPS 792462 HAS SOUS 189422 HAS SOUPS 187678 WITH SCORE 188472.511
AT ITER 261 NEW BEST:: SOT 1129937 SOS 795272 HAS SOPS 793223 HAS SOUS 186790 HAS SOUPS 185046 WITH SCORE 185841.272
AT ITER 271 NEW BEST:: SOT 1129611 SOS 794946 HAS SOPS 792753 HAS SOUS 186845 HAS SOUPS 184957 WITH SCORE 185751.946
AT ITER 273 NEW BEST:: SOT 1132920 SOS 798255 HAS SOPS 796062 HAS SOUS 186733 HAS SOUPS 184845 WITH SCORE 185643.255
AT ITER 279 NEW BEST:: SOT 1132996 SOS 800295 HAS SOPS 798102 HAS SOUS 185714 HAS SOUPS 183826 WITH SCORE 184626.295
AT ITER 286 NEW BEST:: SOT 1133014 SOS 800529 HAS SOPS 798336 HAS SOUS 185624 HAS SOUPS 183736 WITH SCORE 184536.529
AT ITER 287 NEW BEST:: SOT 1132949 SOS 800548 HAS SOPS 798355 HAS SOUS 185117 HAS SOUPS 183229 WITH SCORE 184029.548
AT ITER 309 NEW BEST:: SOT 1132931 SOS 800449 HAS SOPS 798256 HAS SOUS 185090 HAS SOUPS 183202 WITH SCORE 184002.449
AT ITER 319 NEW BEST:: SOT 1135034 SOS 802530 HAS SOPS 800359 HAS SOUS 183333 HAS SOUPS 181456 WITH SCORE 182258.53
AT ITER 321 NEW BEST:: SOT 1133708 SOS 799890 HAS SOPS 797694 HAS SOUS 182601 HAS SOUPS 180699 WITH SCORE 181498.89
AT ITER 328 NEW BEST:: SOT 1133713 SOS 800579 HAS SOPS 798383 HAS SOUS 182495 HAS SOUPS 180593 WITH SCORE 181393.579
AT ITER 331 NEW BEST:: SOT 1133675 SOS 800541 HAS SOPS 798345 HAS SOUS 182460 HAS SOUPS 180558 WITH SCORE 181358.541
AT ITER 336 NEW BEST:: SOT 1133147 SOS 801580 HAS SOPS 799384 HAS SOUS 179818 HAS SOUPS 177916 WITH SCORE 178717.58
AT ITER 340 NEW BEST:: SOT 1133174 SOS 801607 HAS SOPS 799411 HAS SOUS 179682 HAS SOUPS 177780 WITH SCORE 178581.607
AT ITER 345 NEW BEST:: SOT 1133174 SOS 801607 HAS SOPS 799411 HAS SOUS 179610 HAS SOUPS 177708 WITH SCORE 178509.607
AT ITER 348 NEW BEST:: SOT 1133194 SOS 813078 HAS SOPS 810920 HAS SOUS 179590 HAS SOUPS 177688 WITH SCORE 178501.078
AT ITER 351 NEW BEST:: SOT 1133194 SOS 813078 HAS SOPS 810920 HAS SOUS 178291 HAS SOUPS 176389 WITH SCORE 177202.078
AT ITER 366 NEW BEST:: SOT 1133194 SOS 813078 HAS SOPS 810920 HAS SOUS 178123 HAS SOUPS 176221 WITH SCORE 177034.078
AT ITER 367 NEW BEST:: SOT 1133194 SOS 812772 HAS SOPS 810614 HAS SOUS 177916 HAS SOUPS 176014 WITH SCORE 176826.772
AT ITER 374 NEW BEST:: SOT 1133200 SOS 812847 HAS SOPS 810689 HAS SOUS 177892 HAS SOUPS 175990 WITH SCORE 176802.847
AT ITER 375 NEW BEST:: SOT 1133267 SOS 814248 HAS SOPS 812090 HAS SOUS 177649 HAS SOUPS 175747 WITH SCORE 176561.248
AT ITER 376 NEW BEST:: SOT 1136251 SOS 817232 HAS SOPS 815074 HAS SOUS 176943 HAS SOUPS 175041 WITH SCORE 175858.232
AT ITER 380 NEW BEST:: SOT 1136251 SOS 815728 HAS SOPS 813570 HAS SOUS 176771 HAS SOUPS 174869 WITH SCORE 175684.728
AT ITER 381 NEW BEST:: SOT 1136251 SOS 829090 HAS SOPS 826932 HAS SOUS 176639 HAS SOUPS 174737 WITH SCORE 175566.09
AT ITER 390 NEW BEST:: SOT 1136793 SOS 829389 HAS SOPS 827256 HAS SOUS 176578 HAS SOUPS 174701 WITH SCORE 175530.389
AT ITER 397 NEW BEST:: SOT 1136779 SOS 829375 HAS SOPS 827242 HAS SOUS 176546 HAS SOUPS 174669 WITH SCORE 175498.375
AT ITER 401 NEW BEST:: SOT 1137650 SOS 830246 HAS SOPS 828113 HAS SOUS 175893 HAS SOUPS 174016 WITH SCORE 174846.246
AT ITER 404 NEW BEST:: SOT 1140726 SOS 837660 HAS SOPS 835609 HAS SOUS 174804 HAS SOUPS 172999 WITH SCORE 173836.66
AT ITER 408 NEW BEST:: SOT 1143889 SOS 840803 HAS SOPS 838772 HAS SOUS 173484 HAS SOUPS 171699 WITH SCORE 172539.803
AT ITER 421 NEW BEST:: SOT 1143913 SOS 840827 HAS SOPS 838796 HAS SOUS 173413 HAS SOUPS 171628 WITH SCORE 172468.827
AT ITER 424 NEW BEST:: SOT 1142947 SOS 841542 HAS SOPS 839308 HAS SOUS 173201 HAS SOUPS 171374 WITH SCORE 172215.542
AT ITER 426 NEW BEST:: SOT 1144338 SOS 843085 HAS SOPS 840851 HAS SOUS 172706 HAS SOUPS 170879 WITH SCORE 171722.085
AT ITER 444 NEW BEST:: SOT 1144365 SOS 843112 HAS SOPS 840878 HAS SOUS 172181 HAS SOUPS 170354 WITH SCORE 171197.112
AT ITER 446 NEW BEST:: SOT 1143901 SOS 843407 HAS SOPS 841173 HAS SOUS 171998 HAS SOUPS 170171 WITH SCORE 171014.407
AT ITER 450 NEW BEST:: SOT 1146708 SOS 846214 HAS SOPS 843980 HAS SOUS 170654 HAS SOUPS 168827 WITH SCORE 169673.214
AT ITER 454 NEW BEST:: SOT 1146645 SOS 846151 HAS SOPS 843917 HAS SOUS 170588 HAS SOUPS 168761 WITH SCORE 169607.151
AT ITER 468 NEW BEST:: SOT 1146299 SOS 845805 HAS SOPS 843571 HAS SOUS 170549 HAS SOUPS 168722 WITH SCORE 169567.805
AT ITER 470 NEW BEST:: SOT 1146251 SOS 846597 HAS SOPS 844363 HAS SOUS 169899 HAS SOUPS 168072 WITH SCORE 168918.597
AT ITER 472 NEW BEST:: SOT 1145883 SOS 846229 HAS SOPS 843995 HAS SOUS 169839 HAS SOUPS 168012 WITH SCORE 168858.229
AT ITER 485 NEW BEST:: SOT 1145955 SOS 846301 HAS SOPS 844067 HAS SOUS 169495 HAS SOUPS 167668 WITH SCORE 168514.301
AT ITER 487 NEW BEST:: SOT 1145916 SOS 845052 HAS SOPS 842864 HAS SOUS 169288 HAS SOUPS 167472 WITH SCORE 168317.052
AT ITER 488 NEW BEST:: SOT 1145341 SOS 844477 HAS SOPS 842289 HAS SOUS 169016 HAS SOUPS 167200 WITH SCORE 168044.477
AT ITER 493 NEW BEST:: SOT 1145329 SOS 844465 HAS SOPS 842277 HAS SOUS 169014 HAS SOUPS 167198 WITH SCORE 168042.465
AT ITER 506 NEW BEST:: SOT 1145051 SOS 844187 HAS SOPS 841999 HAS SOUS 168128 HAS SOUPS 166312 WITH SCORE 167156.187
AT ITER 509 NEW BEST:: SOT 1145354 SOS 844483 HAS SOPS 842295 HAS SOUS 167994 HAS SOUPS 166178 WITH SCORE 167022.483
AT ITER 511 NEW BEST:: SOT 1145063 SOS 844192 HAS SOPS 842004 HAS SOUS 166681 HAS SOUPS 164865 WITH SCORE 165709.192
AT ITER 532 NEW BEST:: SOT 1146786 SOS 846455 HAS SOPS 844267 HAS SOUS 166166 HAS SOUPS 164353 WITH SCORE 165199.455
AT ITER 547 NEW BEST:: SOT 1146592 SOS 846655 HAS SOPS 844467 HAS SOUS 165949 HAS SOUPS 164136 WITH SCORE 164982.655
AT ITER 555 NEW BEST:: SOT 1147416 SOS 847657 HAS SOPS 845521 HAS SOUS 164743 HAS SOUPS 162982 WITH SCORE 163829.657
AT ITER 560 NEW BEST:: SOT 1147416 SOS 819080 HAS SOPS 816995 HAS SOUS 164629 HAS SOUPS 162910 WITH SCORE 163729.08
AT ITER 563 NEW BEST:: SOT 1146017 SOS 818344 HAS SOPS 816259 HAS SOUS 163738 HAS SOUPS 162019 WITH SCORE 162837.344
AT ITER 568 NEW BEST:: SOT 1146337 SOS 816150 HAS SOPS 814152 HAS SOUS 163548 HAS SOUPS 161854 WITH SCORE 162670.15
AT ITER 570 NEW BEST:: SOT 1147197 SOS 817810 HAS SOPS 815812 HAS SOUS 162806 HAS SOUPS 161112 WITH SCORE 161929.81
AT ITER 590 NEW BEST:: SOT 1147227 SOS 818530 HAS SOPS 816532 HAS SOUS 162198 HAS SOUPS 160504 WITH SCORE 161322.53
AT ITER 599 NEW BEST:: SOT 1147234 SOS 818537 HAS SOPS 816539 HAS SOUS 162030 HAS SOUPS 160336 WITH SCORE 161154.537
AT ITER 612 NEW BEST:: SOT 1147449 SOS 819364 HAS SOPS 817366 HAS SOUS 159314 HAS SOUPS 157620 WITH SCORE 158439.364
AT ITER 616 NEW BEST:: SOT 1147457 SOS 819972 HAS SOPS 817974 HAS SOUS 159222 HAS SOUPS 157528 WITH SCORE 158347.972
AT ITER 620 NEW BEST:: SOT 1147457 SOS 820950 HAS SOPS 818952 HAS SOUS 159099 HAS SOUPS 157409 WITH SCORE 158229.95
AT ITER 623 NEW BEST:: SOT 1146595 SOS 820088 HAS SOPS 818090 HAS SOUS 158325 HAS SOUPS 156635 WITH SCORE 157455.088
AT ITER 635 NEW BEST:: SOT 1146595 SOS 820088 HAS SOPS 818090 HAS SOUS 157696 HAS SOUPS 156006 WITH SCORE 156826.088
AT ITER 652 NEW BEST:: SOT 1146595 SOS 820088 HAS SOPS 818090 HAS SOUS 157693 HAS SOUPS 156003 WITH SCORE 156823.088
AT ITER 657 NEW BEST:: SOT 1145481 SOS 819088 HAS SOPS 817090 HAS SOUS 156341 HAS SOUPS 154651 WITH SCORE 155470.088
AT ITER 663 NEW BEST:: SOT 1145481 SOS 818078 HAS SOPS 815890 HAS SOUS 156426 HAS SOUPS 154546 WITH SCORE 155364.078
AT ITER 666 NEW BEST:: SOT 1145475 SOS 818054 HAS SOPS 815866 HAS SOUS 156411 HAS SOUPS 154531 WITH SCORE 155349.054
AT ITER 668 NEW BEST:: SOT 1145378 SOS 817957 HAS SOPS 815769 HAS SOUS 156236 HAS SOUPS 154356 WITH SCORE 155173.957
AT ITER 669 NEW BEST:: SOT 1145378 SOS 817941 HAS SOPS 815753 HAS SOUS 156116 HAS SOUPS 154236 WITH SCORE 155053.941
AT ITER 672 NEW BEST:: SOT 1146069 SOS 818632 HAS SOPS 816444 HAS SOUS 155920 HAS SOUPS 154040 WITH SCORE 154858.632
AT ITER 681 NEW BEST:: SOT 1145414 SOS 817977 HAS SOPS 815789 HAS SOUS 155620 HAS SOUPS 153740 WITH SCORE 154557.977
AT ITER 691 NEW BEST:: SOT 1145128 SOS 817691 HAS SOPS 815503 HAS SOUS 155051 HAS SOUPS 153171 WITH SCORE 153988.691
AT ITER 692 NEW BEST:: SOT 1145128 SOS 818388 HAS SOPS 816200 HAS SOUS 155003 HAS SOUPS 153123 WITH SCORE 153941.388
AT ITER 693 NEW BEST:: SOT 1145439 SOS 818699 HAS SOPS 816511 HAS SOUS 154945 HAS SOUPS 153065 WITH SCORE 153883.699
AT ITER 699 NEW BEST:: SOT 1146016 SOS 819652 HAS SOPS 817464 HAS SOUS 153945 HAS SOUPS 152065 WITH SCORE 152884.652
AT ITER 700 NEW BEST:: SOT 1146016 SOS 820008 HAS SOPS 817820 HAS SOUS 153934 HAS SOUPS 152054 WITH SCORE 152874.008
AT ITER 707 NEW BEST:: SOT 1146134 SOS 820205 HAS SOPS 818017 HAS SOUS 153869 HAS SOUPS 151989 WITH SCORE 152809.205
AT ITER 712 NEW BEST:: SOT 1146134 SOS 820661 HAS SOPS 818473 HAS SOUS 153827 HAS SOUPS 151947 WITH SCORE 152767.661
AT ITER 715 NEW BEST:: SOT 1145533 SOS 819592 HAS SOPS 817404 HAS SOUS 153503 HAS SOUPS 151623 WITH SCORE 152442.592
AT ITER 719 NEW BEST:: SOT 1145621 SOS 819680 HAS SOPS 817492 HAS SOUS 153459 HAS SOUPS 151579 WITH SCORE 152398.68
AT ITER 758 NEW BEST:: SOT 1145621 SOS 819587 HAS SOPS 817399 HAS SOUS 153459 HAS SOUPS 151579 WITH SCORE 152398.587
AT ITER 759 NEW BEST:: SOT 1143754 SOS 818191 HAS SOPS 816003 HAS SOUS 152059 HAS SOUPS 150179 WITH SCORE 150997.191
AT ITER 762 NEW BEST:: SOT 1143427 SOS 817864 HAS SOPS 815676 HAS SOUS 151564 HAS SOUPS 149684 WITH SCORE 150501.864
AT ITER 764 NEW BEST:: SOT 1143395 SOS 817832 HAS SOPS 815644 HAS SOUS 150735 HAS SOUPS 148855 WITH SCORE 149672.832
AT ITER 771 NEW BEST:: SOT 1143399 SOS 819676 HAS SOPS 817488 HAS SOUS 150719 HAS SOUPS 148839 WITH SCORE 149658.676
AT ITER 780 NEW BEST:: SOT 1143399 SOS 819656 HAS SOPS 817468 HAS SOUS 150685 HAS SOUPS 148805 WITH SCORE 149624.656
AT ITER 788 NEW BEST:: SOT 1143423 SOS 849959 HAS SOPS 847800 HAS SOUS 150510 HAS SOUPS 148659 WITH SCORE 149508.959
AT ITER 822 NEW BEST:: SOT 1143216 SOS 849752 HAS SOPS 847593 HAS SOUS 150094 HAS SOUPS 148243 WITH SCORE 149092.752
AT ITER 824 NEW BEST:: SOT 1145529 SOS 852065 HAS SOPS 849906 HAS SOUS 149677 HAS SOUPS 147826 WITH SCORE 148678.065
AT ITER 825 NEW BEST:: SOT 1144193 SOS 850899 HAS SOPS 848766 HAS SOUS 149526 HAS SOUPS 147675 WITH SCORE 148525.899
AT ITER 845 NEW BEST:: SOT 1144194 SOS 851591 HAS SOPS 849459 HAS SOUS 149506 HAS SOUPS 147655 WITH SCORE 148506.591
AT ITER 847 NEW BEST:: SOT 1144057 SOS 851454 HAS SOPS 849322 HAS SOUS 149402 HAS SOUPS 147551 WITH SCORE 148402.454
AT ITER 850 NEW BEST:: SOT 1144114 SOS 851672 HAS SOPS 849540 HAS SOUS 149225 HAS SOUPS 147374 WITH SCORE 148225.672
AT ITER 855 NEW BEST:: SOT 1144114 SOS 851258 HAS SOPS 849126 HAS SOUS 149225 HAS SOUPS 147374 WITH SCORE 148225.258
AT ITER 859 NEW BEST:: SOT 1143908 SOS 851052 HAS SOPS 848920 HAS SOUS 149137 HAS SOUPS 147286 WITH SCORE 148137.052
AT ITER 861 NEW BEST:: SOT 1142810 SOS 851043 HAS SOPS 848911 HAS SOUS 148148 HAS SOUPS 146297 WITH SCORE 147148.043
AT ITER 865 NEW BEST:: SOT 1142810 SOS 851325 HAS SOPS 849199 HAS SOUS 148124 HAS SOUPS 146279 WITH SCORE 147130.325
AT ITER 879 NEW BEST:: SOT 1142807 SOS 851317 HAS SOPS 849191 HAS SOUS 148116 HAS SOUPS 146271 WITH SCORE 147122.317
AT ITER 885 NEW BEST:: SOT 1142842 SOS 851457 HAS SOPS 849336 HAS SOUS 147951 HAS SOUPS 146111 WITH SCORE 146962.457
AT ITER 888 NEW BEST:: SOT 1141682 SOS 850297 HAS SOPS 848176 HAS SOUS 147551 HAS SOUPS 145711 WITH SCORE 146561.297
AT ITER 890 NEW BEST:: SOT 1141530 SOS 850126 HAS SOPS 848005 HAS SOUS 146499 HAS SOUPS 144659 WITH SCORE 145509.126
AT ITER 912 NEW BEST:: SOT 1139400 SOS 847996 HAS SOPS 845875 HAS SOUS 146026 HAS SOUPS 144186 WITH SCORE 145033.996
AT ITER 922 NEW BEST:: SOT 1139376 SOS 868700 HAS SOPS 866607 HAS SOUS 145697 HAS SOUPS 143864 WITH SCORE 144732.7
AT ITER 923 NEW BEST:: SOT 1139260 SOS 868584 HAS SOPS 866491 HAS SOUS 145591 HAS SOUPS 143758 WITH SCORE 144626.584
AT ITER 933 NEW BEST:: SOT 1139217 SOS 870169 HAS SOPS 868104 HAS SOUS 145244 HAS SOUPS 143439 WITH SCORE 144309.169
AT ITER 943 NEW BEST:: SOT 1139019 SOS 869971 HAS SOPS 867642 HAS SOUS 145321 HAS SOUPS 143252 WITH SCORE 144121.971
AT ITER 948 NEW BEST:: SOT 1139039 SOS 869991 HAS SOPS 867662 HAS SOUS 145222 HAS SOUPS 143153 WITH SCORE 144022.991
AT ITER 949 NEW BEST:: SOT 1140925 SOS 871877 HAS SOPS 869548 HAS SOUS 144919 HAS SOUPS 142850 WITH SCORE 143721.877
AT ITER 953 NEW BEST:: SOT 1140384 SOS 871336 HAS SOPS 869007 HAS SOUS 144114 HAS SOUPS 142045 WITH SCORE 142916.336
AT ITER 955 NEW BEST:: SOT 1139599 SOS 870551 HAS SOPS 868222 HAS SOUS 143102 HAS SOUPS 141033 WITH SCORE 141903.551
AT ITER 959 NEW BEST:: SOT 1139599 SOS 879308 HAS SOPS 877210 HAS SOUS 143024 HAS SOUPS 140979 WITH SCORE 141858.308
AT ITER 974 NEW BEST:: SOT 1139615 SOS 879324 HAS SOPS 877226 HAS SOUS 142934 HAS SOUPS 140889 WITH SCORE 141768.324
AT ITER 976 NEW BEST:: SOT 1139611 SOS 879320 HAS SOPS 877222 HAS SOUS 142930 HAS SOUPS 140885 WITH SCORE 141764.32
AT ITER 991 NEW BEST:: SOT 1139141 SOS 878570 HAS SOPS 876472 HAS SOUS 142744 HAS SOUPS 140699 WITH SCORE 141577.57
AT ITER 992 NEW BEST:: SOT 1139151 SOS 878580 HAS SOPS 876482 HAS SOUS 142553 HAS SOUPS 140508 WITH SCORE 141386.58
AT ITER 998 NEW BEST:: SOT 1139115 SOS 878544 HAS SOPS 876446 HAS SOUS 142552 HAS SOUPS 140507 WITH SCORE 141385.544
AT ITER 1016 NEW BEST:: SOT 1140553 SOS 883153 HAS SOPS 880932 HAS SOUS 142276 HAS SOUPS 140108 WITH SCORE 140991.153
AT ITER 1023 NEW BEST:: SOT 1139227 SOS 881827 HAS SOPS 879606 HAS SOUS 141208 HAS SOUPS 139040 WITH SCORE 139921.827
AT ITER 1024 NEW BEST:: SOT 1139227 SOS 882360 HAS SOPS 880139 HAS SOUS 141172 HAS SOUPS 139004 WITH SCORE 139886.36
AT ITER 1027 NEW BEST:: SOT 1138484 SOS 881617 HAS SOPS 879396 HAS SOUS 140916 HAS SOUPS 138748 WITH SCORE 139629.617
AT ITER 1029 NEW BEST:: SOT 1137605 SOS 881186 HAS SOPS 878996 HAS SOUS 139587 HAS SOUPS 137419 WITH SCORE 138300.186
AT ITER 1032 NEW BEST:: SOT 1139064 SOS 882645 HAS SOPS 880455 HAS SOUS 139476 HAS SOUPS 137308 WITH SCORE 138190.645
AT ITER 1034 NEW BEST:: SOT 1137766 SOS 881347 HAS SOPS 879157 HAS SOUS 139003 HAS SOUPS 136835 WITH SCORE 137716.347
AT ITER 1035 NEW BEST:: SOT 1137769 SOS 881350 HAS SOPS 879160 HAS SOUS 138994 HAS SOUPS 136826 WITH SCORE 137707.35
AT ITER 1054 NEW BEST:: SOT 1137790 SOS 851727 HAS SOPS 848408 HAS SOUS 139045 HAS SOUPS 136827 WITH SCORE 137678.727
AT ITER 1067 NEW BEST:: SOT 1137162 SOS 850995 HAS SOPS 847652 HAS SOUS 138362 HAS SOUPS 136120 WITH SCORE 136970.995
AT ITER 1076 NEW BEST:: SOT 1136746 SOS 850311 HAS SOPS 846968 HAS SOUS 138324 HAS SOUPS 136082 WITH SCORE 136932.311
AT ITER 1078 NEW BEST:: SOT 1135831 SOS 846396 HAS SOPS 843173 HAS SOUS 137482 HAS SOUPS 135360 WITH SCORE 136206.396
AT ITER 1083 NEW BEST:: SOT 1135147 SOS 845712 HAS SOPS 842489 HAS SOUS 137115 HAS SOUPS 134993 WITH SCORE 135838.712
AT ITER 1099 NEW BEST:: SOT 1135091 SOS 845656 HAS SOPS 842433 HAS SOUS 137059 HAS SOUPS 134937 WITH SCORE 135782.656
AT ITER 1102 NEW BEST:: SOT 1135091 SOS 837247 HAS SOPS 833903 HAS SOUS 137059 HAS SOUPS 134916 WITH SCORE 135753.247
AT ITER 1111 NEW BEST:: SOT 1135053 SOS 837551 HAS SOPS 834207 HAS SOUS 136552 HAS SOUPS 134409 WITH SCORE 135246.551
AT ITER 1114 NEW BEST:: SOT 1135092 SOS 891630 HAS SOPS 888319 HAS SOUS 136472 HAS SOUPS 134340 WITH SCORE 135231.63
AT ITER 1117 NEW BEST:: SOT 1135729 SOS 890823 HAS SOPS 887584 HAS SOUS 136163 HAS SOUPS 134031 WITH SCORE 134921.823
AT ITER 1120 NEW BEST:: SOT 1134023 SOS 889117 HAS SOPS 885878 HAS SOUS 135649 HAS SOUPS 133517 WITH SCORE 134406.117
AT ITER 1124 NEW BEST:: SOT 1135400 SOS 890494 HAS SOPS 887255 HAS SOUS 133984 HAS SOUPS 131852 WITH SCORE 132742.494
AT ITER 1151 NEW BEST:: SOT 1135259 SOS 890353 HAS SOPS 887114 HAS SOUS 133972 HAS SOUPS 131840 WITH SCORE 132730.353
AT ITER 1153 NEW BEST:: SOT 1136001 SOS 891095 HAS SOPS 887856 HAS SOUS 133370 HAS SOUPS 131238 WITH SCORE 132129.095
AT ITER 1156 NEW BEST:: SOT 1136050 SOS 891144 HAS SOPS 887905 HAS SOUS 133259 HAS SOUPS 131127 WITH SCORE 132018.144
AT ITER 1171 NEW BEST:: SOT 1136456 SOS 891670 HAS SOPS 888431 HAS SOUS 131857 HAS SOUPS 129725 WITH SCORE 130616.67
AT ITER 1182 NEW BEST:: SOT 1136402 SOS 891616 HAS SOPS 888377 HAS SOUS 131731 HAS SOUPS 129599 WITH SCORE 130490.616
AT ITER 1191 NEW BEST:: SOT 1133887 SOS 889101 HAS SOPS 885862 HAS SOUS 131370 HAS SOUPS 129238 WITH SCORE 130127.101
AT ITER 1192 NEW BEST:: SOT 1134085 SOS 889328 HAS SOPS 886112 HAS SOUS 130626 HAS SOUPS 128517 WITH SCORE 129406.328
AT ITER 1208 NEW BEST:: SOT 1134074 SOS 889548 HAS SOPS 886332 HAS SOUS 130612 HAS SOUPS 128503 WITH SCORE 129392.548
AT ITER 1223 NEW BEST:: SOT 1134522 SOS 890212 HAS SOPS 886996 HAS SOUS 130542 HAS SOUPS 128433 WITH SCORE 129323.212
AT ITER 1230 NEW BEST:: SOT 1135587 SOS 891277 HAS SOPS 889597 HAS SOUS 127249 HAS SOUPS 126676 WITH SCORE 127567.277
AT ITER 1234 NEW BEST:: SOT 1135587 SOS 875758 HAS SOPS 874078 HAS SOUS 127177 HAS SOUPS 126604 WITH SCORE 127479.758
AT ITER 1246 NEW BEST:: SOT 1135464 SOS 876807 HAS SOPS 875527 HAS SOUS 126343 HAS SOUPS 126164 WITH SCORE 127040.807
AT ITER 1254 NEW BEST:: SOT 1136048 SOS 877391 HAS SOPS 876111 HAS SOUS 124573 HAS SOUPS 124394 WITH SCORE 125271.391
AT ITER 1263 NEW BEST:: SOT 1135892 SOS 877227 HAS SOPS 875947 HAS SOUS 123950 HAS SOUPS 123771 WITH SCORE 124648.227
AT ITER 1264 NEW BEST:: SOT 1135892 SOS 877699 HAS SOPS 876419 HAS SOUS 123922 HAS SOUPS 123743 WITH SCORE 124620.699
AT ITER 1274 NEW BEST:: SOT 1135538 SOS 877331 HAS SOPS 876051 HAS SOUS 123873 HAS SOUPS 123694 WITH SCORE 124571.331
AT ITER 1279 NEW BEST:: SOT 1134599 SOS 876392 HAS SOPS 875112 HAS SOUS 123011 HAS SOUPS 122832 WITH SCORE 123708.392
AT ITER 1284 NEW BEST:: SOT 1134599 SOS 875885 HAS SOPS 874605 HAS SOUS 123010 HAS SOUPS 122831 WITH SCORE 123706.885
AT ITER 1285 NEW BEST:: SOT 1134597 SOS 875891 HAS SOPS 874603 HAS SOUS 123004 HAS SOUPS 122817 WITH SCORE 123692.891
AT ITER 1290 NEW BEST:: SOT 1134597 SOS 875243 HAS SOPS 873955 HAS SOUS 122956 HAS SOUPS 122769 WITH SCORE 123644.243
AT ITER 1293 NEW BEST:: SOT 1134591 SOS 875237 HAS SOPS 873949 HAS SOUS 122700 HAS SOUPS 122513 WITH SCORE 123388.237
AT ITER 1315 NEW BEST:: SOT 1134942 SOS 875588 HAS SOPS 874300 HAS SOUS 122669 HAS SOUPS 122482 WITH SCORE 123357.588
AT ITER 1328 NEW BEST:: SOT 1134932 SOS 875578 HAS SOPS 874290 HAS SOUS 121960 HAS SOUPS 121773 WITH SCORE 122648.578
AT ITER 1341 NEW BEST:: SOT 1136088 SOS 876805 HAS SOPS 875520 HAS SOUS 121938 HAS SOUPS 121754 WITH SCORE 122630.805
AT ITER 1344 NEW BEST:: SOT 1133995 SOS 874712 HAS SOPS 873427 HAS SOUS 121330 HAS SOUPS 121146 WITH SCORE 122020.712
AT ITER 1345 NEW BEST:: SOT 1134351 SOS 875106 HAS SOPS 873821 HAS SOUS 121130 HAS SOUPS 120946 WITH SCORE 121821.106
AT ITER 1349 NEW BEST:: SOT 1134358 SOS 862143 HAS SOPS 860858 HAS SOUS 121124 HAS SOUPS 120940 WITH SCORE 121802.143
AT ITER 1360 NEW BEST:: SOT 1134361 SOS 861665 HAS SOPS 860380 HAS SOUS 121123 HAS SOUPS 120939 WITH SCORE 121800.665
AT ITER 1363 NEW BEST:: SOT 1133609 SOS 861340 HAS SOPS 860056 HAS SOUS 120666 HAS SOUPS 120483 WITH SCORE 121344.34
AT ITER 1373 NEW BEST:: SOT 1132587 SOS 860318 HAS SOPS 859034 HAS SOUS 120453 HAS SOUPS 120270 WITH SCORE 121130.318
AT ITER 1381 NEW BEST:: SOT 1133296 SOS 861004 HAS SOPS 859720 HAS SOUS 120289 HAS SOUPS 120106 WITH SCORE 120967.004
AT ITER 1386 NEW BEST:: SOT 1132436 SOS 860144 HAS SOPS 858860 HAS SOUS 119497 HAS SOUPS 119314 WITH SCORE 120174.144
AT ITER 1402 NEW BEST:: SOT 1132436 SOS 860175 HAS SOPS 858912 HAS SOUS 119289 HAS SOUPS 119115 WITH SCORE 119975.175
AT ITER 1404 NEW BEST:: SOT 1132338 SOS 865501 HAS SOPS 864238 HAS SOUS 119216 HAS SOUPS 119042 WITH SCORE 119907.501
AT ITER 1417 NEW BEST:: SOT 1134044 SOS 867207 HAS SOPS 865944 HAS SOUS 119033 HAS SOUPS 118859 WITH SCORE 119726.207
AT ITER 1420 NEW BEST:: SOT 1134044 SOS 867207 HAS SOPS 865944 HAS SOUS 118993 HAS SOUPS 118819 WITH SCORE 119686.207
AT ITER 1432 NEW BEST:: SOT 1131060 SOS 864223 HAS SOPS 862960 HAS SOUS 117174 HAS SOUPS 117000 WITH SCORE 117864.223
AT ITER 1434 NEW BEST:: SOT 1130610 SOS 863773 HAS SOPS 862510 HAS SOUS 117071 HAS SOUPS 116897 WITH SCORE 117760.773
AT ITER 1440 NEW BEST:: SOT 1130610 SOS 863773 HAS SOPS 862510 HAS SOUS 117049 HAS SOUPS 116875 WITH SCORE 117738.773
AT ITER 1441 NEW BEST:: SOT 1130610 SOS 863773 HAS SOPS 862510 HAS SOUS 117019 HAS SOUPS 116845 WITH SCORE 117708.773
AT ITER 1446 NEW BEST:: SOT 1132304 SOS 865467 HAS SOPS 864204 HAS SOUS 116874 HAS SOUPS 116700 WITH SCORE 117565.467
AT ITER 1447 NEW BEST:: SOT 1131313 SOS 867655 HAS SOPS 866392 HAS SOUS 115815 HAS SOUPS 115641 WITH SCORE 116508.655
AT ITER 1448 NEW BEST:: SOT 1131260 SOS 866465 HAS SOPS 865202 HAS SOUS 115780 HAS SOUPS 115606 WITH SCORE 116472.465
AT ITER 1485 NEW BEST:: SOT 1131260 SOS 866582 HAS SOPS 865326 HAS SOUS 115639 HAS SOUPS 115472 WITH SCORE 116338.582
AT ITER 1488 NEW BEST:: SOT 1131260 SOS 866398 HAS SOPS 865134 HAS SOUS 115639 HAS SOUPS 115472 WITH SCORE 116338.398
AT ITER 1490 NEW BEST:: SOT 1131880 SOS 867018 HAS SOPS 865754 HAS SOUS 115414 HAS SOUPS 115247 WITH SCORE 116114.018
AT ITER 1494 NEW BEST:: SOT 1131880 SOS 866202 HAS SOPS 864938 HAS SOUS 115355 HAS SOUPS 115188 WITH SCORE 116054.202
AT ITER 1501 NEW BEST:: SOT 1131587 SOS 865909 HAS SOPS 864645 HAS SOUS 115032 HAS SOUPS 114865 WITH SCORE 115730.909
AT ITER 1528 NEW BEST:: SOT 1131128 SOS 865450 HAS SOPS 864186 HAS SOUS 114692 HAS SOUPS 114525 WITH SCORE 115390.45
AT ITER 1532 NEW BEST:: SOT 1131508 SOS 865830 HAS SOPS 864566 HAS SOUS 114648 HAS SOUPS 114481 WITH SCORE 115346.83
AT ITER 1542 NEW BEST:: SOT 1129647 SOS 855901 HAS SOPS 854623 HAS SOUS 114393 HAS SOUPS 114220 WITH SCORE 115075.901
AT ITER 1546 NEW BEST:: SOT 1129555 SOS 855809 HAS SOPS 854531 HAS SOUS 114197 HAS SOUPS 114024 WITH SCORE 114879.809
AT ITER 1553 NEW BEST:: SOT 1129181 SOS 855435 HAS SOPS 854157 HAS SOUS 113957 HAS SOUPS 113784 WITH SCORE 114639.435
AT ITER 1568 NEW BEST:: SOT 1129181 SOS 856134 HAS SOPS 854856 HAS SOUS 113939 HAS SOUPS 113766 WITH SCORE 114622.134
AT ITER 1571 NEW BEST:: SOT 1129167 SOS 856120 HAS SOPS 854842 HAS SOUS 113880 HAS SOUPS 113707 WITH SCORE 114563.12
AT ITER 1602 NEW BEST:: SOT 1129167 SOS 856120 HAS SOPS 854842 HAS SOUS 113847 HAS SOUPS 113674 WITH SCORE 114530.12
AT ITER 1608 NEW BEST:: SOT 1129566 SOS 856639 HAS SOPS 855361 HAS SOUS 113081 HAS SOUPS 112908 WITH SCORE 113764.639
AT ITER 1617 NEW BEST:: SOT 1130145 SOS 857280 HAS SOPS 856010 HAS SOUS 112155 HAS SOUPS 111982 WITH SCORE 112839.28
AT ITER 1643 NEW BEST:: SOT 1128949 SOS 853283 HAS SOPS 852013 HAS SOUS 111568 HAS SOUPS 111395 WITH SCORE 112248.283
AT ITER 1660 NEW BEST:: SOT 1130003 SOS 854337 HAS SOPS 853067 HAS SOUS 111560 HAS SOUPS 111387 WITH SCORE 112241.337
AT ITER 1669 NEW BEST:: SOT 1130003 SOS 854199 HAS SOPS 852929 HAS SOUS 111553 HAS SOUPS 111380 WITH SCORE 112234.199
AT ITER 1670 NEW BEST:: SOT 1130078 SOS 854274 HAS SOPS 853004 HAS SOUS 111229 HAS SOUPS 111056 WITH SCORE 111910.274
AT ITER 1673 NEW BEST:: SOT 1129310 SOS 853506 HAS SOPS 852236 HAS SOUS 110841 HAS SOUPS 110668 WITH SCORE 111521.506
AT ITER 1682 NEW BEST:: SOT 1129300 SOS 853496 HAS SOPS 852226 HAS SOUS 110820 HAS SOUPS 110647 WITH SCORE 111500.496
AT ITER 1686 NEW BEST:: SOT 1128851 SOS 853033 HAS SOPS 851763 HAS SOUS 110445 HAS SOUPS 110272 WITH SCORE 111125.033
AT ITER 1690 NEW BEST:: SOT 1131503 SOS 855685 HAS SOPS 854415 HAS SOUS 110024 HAS SOUPS 109851 WITH SCORE 110706.685
AT ITER 1702 NEW BEST:: SOT 1130667 SOS 854849 HAS SOPS 853579 HAS SOUS 109731 HAS SOUPS 109558 WITH SCORE 110412.849
AT ITER 1706 NEW BEST:: SOT 1130667 SOS 855215 HAS SOPS 853947 HAS SOUS 109656 HAS SOUPS 109485 WITH SCORE 110340.215
AT ITER 1717 NEW BEST:: SOT 1130741 SOS 855303 HAS SOPS 854045 HAS SOUS 108746 HAS SOUPS 108585 WITH SCORE 109440.303
AT ITER 1723 NEW BEST:: SOT 1131053 SOS 855635 HAS SOPS 854381 HAS SOUS 108273 HAS SOUPS 108116 WITH SCORE 108971.635
AT ITER 1732 NEW BEST:: SOT 1131053 SOS 855635 HAS SOPS 854381 HAS SOUS 108260 HAS SOUPS 108103 WITH SCORE 108958.635
AT ITER 1748 NEW BEST:: SOT 1131441 SOS 856375 HAS SOPS 855121 HAS SOUS 108070 HAS SOUPS 107913 WITH SCORE 108769.375
AT ITER 1749 NEW BEST:: SOT 1130489 SOS 855423 HAS SOPS 854169 HAS SOUS 106922 HAS SOUPS 106765 WITH SCORE 107620.423
AT ITER 1751 NEW BEST:: SOT 1130334 SOS 855261 HAS SOPS 854007 HAS SOUS 106922 HAS SOUPS 106765 WITH SCORE 107620.261
AT ITER 1754 NEW BEST:: SOT 1130334 SOS 829599 HAS SOPS 828345 HAS SOUS 106892 HAS SOUPS 106735 WITH SCORE 107564.599
AT ITER 1758 NEW BEST:: SOT 1130334 SOS 829599 HAS SOPS 828345 HAS SOUS 106741 HAS SOUPS 106584 WITH SCORE 107413.599
AT ITER 1765 NEW BEST:: SOT 1129580 SOS 828845 HAS SOPS 827591 HAS SOUS 105797 HAS SOUPS 105640 WITH SCORE 106468.845
AT ITER 1769 NEW BEST:: SOT 1129592 SOS 828933 HAS SOPS 827679 HAS SOUS 105614 HAS SOUPS 105457 WITH SCORE 106285.933
AT ITER 1812 NEW BEST:: SOT 1129643 SOS 828984 HAS SOPS 827730 HAS SOUS 104963 HAS SOUPS 104806 WITH SCORE 105634.984
AT ITER 1818 NEW BEST:: SOT 1129643 SOS 828504 HAS SOPS 827250 HAS SOUS 104950 HAS SOUPS 104793 WITH SCORE 105621.504
AT ITER 1827 NEW BEST:: SOT 1130076 SOS 828937 HAS SOPS 827683 HAS SOUS 104519 HAS SOUPS 104362 WITH SCORE 105190.937
AT ITER 1829 NEW BEST:: SOT 1129962 SOS 828823 HAS SOPS 827569 HAS SOUS 104405 HAS SOUPS 104248 WITH SCORE 105076.823
AT ITER 1840 NEW BEST:: SOT 1129962 SOS 829940 HAS SOPS 828713 HAS SOUS 104350 HAS SOUPS 104220 WITH SCORE 105049.94
AT ITER 1848 NEW BEST:: SOT 1129764 SOS 830570 HAS SOPS 829307 HAS SOUS 104328 HAS SOUPS 104189 WITH SCORE 105019.57
AT ITER 1855 NEW BEST:: SOT 1129764 SOS 830118 HAS SOPS 828731 HAS SOUS 104328 HAS SOUPS 104065 WITH SCORE 104895.118
AT ITER 1867 NEW BEST:: SOT 1130219 SOS 830573 HAS SOPS 829186 HAS SOUS 104233 HAS SOUPS 103970 WITH SCORE 104800.573
AT ITER 1876 NEW BEST:: SOT 1130218 SOS 830548 HAS SOPS 829185 HAS SOUS 104206 HAS SOUPS 103967 WITH SCORE 104797.548
AT ITER 1890 NEW BEST:: SOT 1129739 SOS 830069 HAS SOPS 828706 HAS SOUS 103727 HAS SOUPS 103488 WITH SCORE 104318.069
AT ITER 1899 NEW BEST:: SOT 1129657 SOS 754716 HAS SOPS 753353 HAS SOUS 103551 HAS SOUPS 103312 WITH SCORE 104066.716
AT ITER 1904 NEW BEST:: SOT 1129660 SOS 754719 HAS SOPS 753356 HAS SOUS 103498 HAS SOUPS 103259 WITH SCORE 104013.719
AT ITER 1906 NEW BEST:: SOT 1129192 SOS 754695 HAS SOPS 753336 HAS SOUS 102884 HAS SOUPS 102649 WITH SCORE 103403.695
AT ITER 1915 NEW BEST:: SOT 1128994 SOS 754497 HAS SOPS 753138 HAS SOUS 102079 HAS SOUPS 101844 WITH SCORE 102598.497
AT ITER 1926 NEW BEST:: SOT 1127557 SOS 753060 HAS SOPS 751701 HAS SOUS 101972 HAS SOUPS 101737 WITH SCORE 102490.06
AT ITER 1927 NEW BEST:: SOT 1127565 SOS 753260 HAS SOPS 751901 HAS SOUS 101964 HAS SOUPS 101729 WITH SCORE 102482.26
AT ITER 1956 NEW BEST:: SOT 1128785 SOS 754472 HAS SOPS 753121 HAS SOUS 101245 HAS SOUPS 101018 WITH SCORE 101772.472
AT ITER 1960 NEW BEST:: SOT 1127940 SOS 753317 HAS SOPS 751966 HAS SOUS 100985 HAS SOUPS 100758 WITH SCORE 101511.317
AT ITER 1968 NEW BEST:: SOT 1128735 SOS 752578 HAS SOPS 752355 HAS SOUS 99888 HAS SOUPS 99708 WITH SCORE 100460.578
AT ITER 1994 NEW BEST:: SOT 1128740 SOS 752675 HAS SOPS 752452 HAS SOUS 99831 HAS SOUPS 99651 WITH SCORE 100403.675
AT ITER 2012 NEW BEST:: SOT 1128740 SOS 752147 HAS SOPS 751924 HAS SOUS 99809 HAS SOUPS 99629 WITH SCORE 100381.147
AT ITER 2015 NEW BEST:: SOT 1128868 SOS 752275 HAS SOPS 752052 HAS SOUS 99572 HAS SOUPS 99392 WITH SCORE 100144.275
AT ITER 2019 NEW BEST:: SOT 1128884 SOS 752291 HAS SOPS 752068 HAS SOUS 99504 HAS SOUPS 99324 WITH SCORE 100076.291
AT ITER 2020 NEW BEST:: SOT 1128884 SOS 752291 HAS SOPS 752068 HAS SOUS 99503 HAS SOUPS 99323 WITH SCORE 100075.291
AT ITER 2023 NEW BEST:: SOT 1128884 SOS 752275 HAS SOPS 752084 HAS SOUS 99427 HAS SOUPS 99263 WITH SCORE 100015.275
AT ITER 2034 NEW BEST:: SOT 1128884 SOS 752275 HAS SOPS 752084 HAS SOUS 99412 HAS SOUPS 99248 WITH SCORE 100000.275
AT ITER 2036 NEW BEST:: SOT 1128904 SOS 752295 HAS SOPS 752104 HAS SOUS 99108 HAS SOUPS 98944 WITH SCORE 99696.295
AT ITER 2043 NEW BEST:: SOT 1128911 SOS 752313 HAS SOPS 752122 HAS SOUS 99089 HAS SOUPS 98925 WITH SCORE 99677.313
AT ITER 2047 NEW BEST:: SOT 1128911 SOS 752315 HAS SOPS 752124 HAS SOUS 99087 HAS SOUPS 98923 WITH SCORE 99675.315
AT ITER 2051 NEW BEST:: SOT 1128911 SOS 752315 HAS SOPS 752124 HAS SOUS 98791 HAS SOUPS 98627 WITH SCORE 99379.315
AT ITER 2054 NEW BEST:: SOT 1128853 SOS 753630 HAS SOPS 753439 HAS SOUS 98675 HAS SOUPS 98511 WITH SCORE 99264.63
AT ITER 2068 NEW BEST:: SOT 1128853 SOS 753614 HAS SOPS 753439 HAS SOUS 98659 HAS SOUPS 98511 WITH SCORE 99264.614
AT ITER 2069 NEW BEST:: SOT 1129582 SOS 754631 HAS SOPS 754456 HAS SOUS 98474 HAS SOUPS 98326 WITH SCORE 99080.631
AT ITER 2076 NEW BEST:: SOT 1129677 SOS 759120 HAS SOPS 758967 HAS SOUS 98152 HAS SOUPS 98026 WITH SCORE 98785.12
AT ITER 2078 NEW BEST:: SOT 1129667 SOS 759110 HAS SOPS 758957 HAS SOUS 98134 HAS SOUPS 98008 WITH SCORE 98767.11
AT ITER 2082 NEW BEST:: SOT 1129562 SOS 756744 HAS SOPS 756591 HAS SOUS 98109 HAS SOUPS 97983 WITH SCORE 98739.744
AT ITER 2087 NEW BEST:: SOT 1129562 SOS 756720 HAS SOPS 756567 HAS SOUS 98109 HAS SOUPS 97983 WITH SCORE 98739.72
AT ITER 2088 NEW BEST:: SOT 1129561 SOS 757175 HAS SOPS 757022 HAS SOUS 98108 HAS SOUPS 97982 WITH SCORE 98739.175
AT ITER 2090 NEW BEST:: SOT 1129561 SOS 757083 HAS SOPS 756902 HAS SOUS 98135 HAS SOUPS 97981 WITH SCORE 98738.083
AT ITER 2100 NEW BEST:: SOT 1129561 SOS 757155 HAS SOPS 756974 HAS SOUS 98129 HAS SOUPS 97975 WITH SCORE 98732.155
AT ITER 2106 NEW BEST:: SOT 1129549 SOS 757143 HAS SOPS 756962 HAS SOUS 98129 HAS SOUPS 97975 WITH SCORE 98732.143
AT ITER 2113 NEW BEST:: SOT 1129549 SOS 754239 HAS SOPS 754058 HAS SOUS 98062 HAS SOUPS 97908 WITH SCORE 98662.239
AT ITER 2116 NEW BEST:: SOT 1129538 SOS 766903 HAS SOPS 766741 HAS SOUS 97754 HAS SOUPS 97619 WITH SCORE 98385.903
AT ITER 2141 NEW BEST:: SOT 1130591 SOS 767956 HAS SOPS 767794 HAS SOUS 97656 HAS SOUPS 97521 WITH SCORE 98288.956
AT ITER 2153 NEW BEST:: SOT 1131275 SOS 768996 HAS SOPS 768862 HAS SOUS 97438 HAS SOUPS 97331 WITH SCORE 98099.996
AT ITER 2160 NEW BEST:: SOT 1131093 SOS 768814 HAS SOPS 768680 HAS SOUS 97274 HAS SOUPS 97167 WITH SCORE 97935.814
AT ITER 2175 NEW BEST:: SOT 1131123 SOS 768763 HAS SOPS 768662 HAS SOUS 97186 HAS SOUPS 97112 WITH SCORE 97880.763
AT ITER 2178 NEW BEST:: SOT 1130939 SOS 767379 HAS SOPS 767278 HAS SOUS 96800 HAS SOUPS 96726 WITH SCORE 97493.379
AT ITER 2185 NEW BEST:: SOT 1132522 SOS 768962 HAS SOPS 768861 HAS SOUS 96563 HAS SOUPS 96489 WITH SCORE 97257.962
AT ITER 2187 NEW BEST:: SOT 1132522 SOS 768074 HAS SOPS 767973 HAS SOUS 96526 HAS SOUPS 96452 WITH SCORE 97220.074
AT ITER 2189 NEW BEST:: SOT 1132706 SOS 768258 HAS SOPS 768157 HAS SOUS 96104 HAS SOUPS 96030 WITH SCORE 96798.258
AT ITER 2196 NEW BEST:: SOT 1132701 SOS 768253 HAS SOPS 768152 HAS SOUS 96099 HAS SOUPS 96025 WITH SCORE 96793.253
AT ITER 2213 NEW BEST:: SOT 1132662 SOS 768214 HAS SOPS 768113 HAS SOUS 96060 HAS SOUPS 95986 WITH SCORE 96754.214
AT ITER 2215 NEW BEST:: SOT 1131846 SOS 767398 HAS SOPS 767297 HAS SOUS 94929 HAS SOUPS 94855 WITH SCORE 95622.398
AT ITER 2219 NEW BEST:: SOT 1131846 SOS 767508 HAS SOPS 767407 HAS SOUS 94924 HAS SOUPS 94850 WITH SCORE 95617.508
AT ITER 2250 NEW BEST:: SOT 1131846 SOS 766908 HAS SOPS 766807 HAS SOUS 94924 HAS SOUPS 94850 WITH SCORE 95616.908
AT ITER 2255 NEW BEST:: SOT 1131846 SOS 767244 HAS SOPS 767143 HAS SOUS 94871 HAS SOUPS 94797 WITH SCORE 95564.244
AT ITER 2260 NEW BEST:: SOT 1131786 SOS 765804 HAS SOPS 765691 HAS SOUS 94840 HAS SOUPS 94763 WITH SCORE 95528.804
AT ITER 2265 NEW BEST:: SOT 1131786 SOS 763884 HAS SOPS 763723 HAS SOUS 94882 HAS SOUPS 94757 WITH SCORE 95520.884
AT ITER 2290 NEW BEST:: SOT 1132017 SOS 764115 HAS SOPS 763954 HAS SOUS 94733 HAS SOUPS 94608 WITH SCORE 95372.115
AT ITER 2306 NEW BEST:: SOT 1132012 SOS 764106 HAS SOPS 763949 HAS SOUS 94728 HAS SOUPS 94607 WITH SCORE 95371.106
AT ITER 2310 NEW BEST:: SOT 1132020 SOS 764114 HAS SOPS 763957 HAS SOUS 94712 HAS SOUPS 94591 WITH SCORE 95355.114
AT ITER 2321 NEW BEST:: SOT 1131686 SOS 763778 HAS SOPS 763623 HAS SOUS 94578 HAS SOUPS 94459 WITH SCORE 95222.778
AT ITER 2325 NEW BEST:: SOT 1131864 SOS 763956 HAS SOPS 763801 HAS SOUS 94462 HAS SOUPS 94343 WITH SCORE 95106.956
AT ITER 2328 NEW BEST:: SOT 1131864 SOS 762170 HAS SOPS 762015 HAS SOUS 94454 HAS SOUPS 94335 WITH SCORE 95097.17
AT ITER 2332 NEW BEST:: SOT 1131810 SOS 762116 HAS SOPS 761961 HAS SOUS 94374 HAS SOUPS 94255 WITH SCORE 95017.116
AT ITER 2355 NEW BEST:: SOT 1131756 SOS 762036 HAS SOPS 761881 HAS SOUS 94050 HAS SOUPS 93931 WITH SCORE 94693.036
AT ITER 2396 NEW BEST:: SOT 1131764 SOS 762044 HAS SOPS 761889 HAS SOUS 94006 HAS SOUPS 93887 WITH SCORE 94649.044
AT ITER 2432 NEW BEST:: SOT 1131764 SOS 761914 HAS SOPS 761759 HAS SOUS 93941 HAS SOUPS 93822 WITH SCORE 94583.914
AT ITER 2435 NEW BEST:: SOT 1131838 SOS 761988 HAS SOPS 761833 HAS SOUS 93814 HAS SOUPS 93695 WITH SCORE 94456.988
AT ITER 2441 NEW BEST:: SOT 1132381 SOS 762531 HAS SOPS 762376 HAS SOUS 93807 HAS SOUPS 93688 WITH SCORE 94450.531
AT ITER 2450 NEW BEST:: SOT 1132087 SOS 762237 HAS SOPS 762082 HAS SOUS 93720 HAS SOUPS 93601 WITH SCORE 94363.237
AT ITER 2467 NEW BEST:: SOT 1131870 SOS 762020 HAS SOPS 761865 HAS SOUS 93618 HAS SOUPS 93499 WITH SCORE 94261.02
AT ITER 2468 NEW BEST:: SOT 1131874 SOS 761986 HAS SOPS 761831 HAS SOUS 93608 HAS SOUPS 93489 WITH SCORE 94250.986
AT ITER 2473 NEW BEST:: SOT 1131869 SOS 764141 HAS SOPS 763986 HAS SOUS 93603 HAS SOUPS 93484 WITH SCORE 94248.141
AT ITER 2475 NEW BEST:: SOT 1131863 SOS 764135 HAS SOPS 763980 HAS SOUS 93597 HAS SOUPS 93478 WITH SCORE 94242.135
AT ITER 2488 NEW BEST:: SOT 1131771 SOS 764043 HAS SOPS 763888 HAS SOUS 93501 HAS SOUPS 93382 WITH SCORE 94146.043
AT ITER 2491 NEW BEST:: SOT 1131762 SOS 764034 HAS SOPS 763879 HAS SOUS 93492 HAS SOUPS 93373 WITH SCORE 94137.034
AT ITER 2495 NEW BEST:: SOT 1130793 SOS 763065 HAS SOPS 762910 HAS SOUS 93395 HAS SOUPS 93276 WITH SCORE 94039.065
AT ITER 2502 NEW BEST:: SOT 1130793 SOS 762801 HAS SOPS 762646 HAS SOUS 93384 HAS SOUPS 93265 WITH SCORE 94027.801
AT ITER 2518 NEW BEST:: SOT 1130793 SOS 762801 HAS SOPS 762646 HAS SOUS 93352 HAS SOUPS 93233 WITH SCORE 93995.801
AT ITER 2521 NEW BEST:: SOT 1130793 SOS 762633 HAS SOPS 762478 HAS SOUS 93352 HAS SOUPS 93233 WITH SCORE 93995.633
AT ITER 2529 NEW BEST:: SOT 1130793 SOS 762919 HAS SOPS 762764 HAS SOUS 93344 HAS SOUPS 93225 WITH SCORE 93987.919
AT ITER 2531 NEW BEST:: SOT 1130800 SOS 762926 HAS SOPS 762771 HAS SOUS 93186 HAS SOUPS 93067 WITH SCORE 93829.926
AT ITER 2539 NEW BEST:: SOT 1130727 SOS 762925 HAS SOPS 762770 HAS SOUS 93066 HAS SOUPS 92947 WITH SCORE 93709.925
AT ITER 2559 NEW BEST:: SOT 1129403 SOS 761601 HAS SOPS 761446 HAS SOUS 92779 HAS SOUPS 92660 WITH SCORE 93421.601
AT ITER 2582 NEW BEST:: SOT 1129860 SOS 762058 HAS SOPS 761903 HAS SOUS 92169 HAS SOUPS 92050 WITH SCORE 92812.058
AT ITER 2601 NEW BEST:: SOT 1129860 SOS 763076 HAS SOPS 762935 HAS SOUS 92149 HAS SOUPS 92044 WITH SCORE 92807.076
AT ITER 2603 NEW BEST:: SOT 1129836 SOS 763052 HAS SOPS 762911 HAS SOUS 92100 HAS SOUPS 91995 WITH SCORE 92758.052
AT ITER 2608 NEW BEST:: SOT 1129831 SOS 763047 HAS SOPS 762906 HAS SOUS 92089 HAS SOUPS 91984 WITH SCORE 92747.047
AT ITER 2627 NEW BEST:: SOT 1128778 SOS 766002 HAS SOPS 765861 HAS SOUS 91858 HAS SOUPS 91753 WITH SCORE 92519.002
AT ITER 2640 NEW BEST:: SOT 1128563 SOS 765787 HAS SOPS 765646 HAS SOUS 91322 HAS SOUPS 91217 WITH SCORE 91982.787
AT ITER 2643 NEW BEST:: SOT 1129631 SOS 768128 HAS SOPS 767987 HAS SOUS 91189 HAS SOUPS 91084 WITH SCORE 91852.128
AT ITER 2645 NEW BEST:: SOT 1129080 SOS 767841 HAS SOPS 767700 HAS SOUS 90530 HAS SOUPS 90425 WITH SCORE 91192.841
AT ITER 2646 NEW BEST:: SOT 1129330 SOS 768189 HAS SOPS 768048 HAS SOUS 90140 HAS SOUPS 90035 WITH SCORE 90803.189
AT ITER 2672 NEW BEST:: SOT 1129330 SOS 768189 HAS SOPS 768048 HAS SOUS 90136 HAS SOUPS 90031 WITH SCORE 90799.189
AT ITER 2674 NEW BEST:: SOT 1129823 SOS 768682 HAS SOPS 768541 HAS SOUS 89765 HAS SOUPS 89660 WITH SCORE 90428.682
AT ITER 2685 NEW BEST:: SOT 1129801 SOS 768660 HAS SOPS 768519 HAS SOUS 89717 HAS SOUPS 89612 WITH SCORE 90380.66
AT ITER 2694 NEW BEST:: SOT 1129853 SOS 768712 HAS SOPS 768571 HAS SOUS 89699 HAS SOUPS 89594 WITH SCORE 90362.712
AT ITER 2696 NEW BEST:: SOT 1128771 SOS 767630 HAS SOPS 767489 HAS SOUS 89662 HAS SOUPS 89557 WITH SCORE 90324.63
AT ITER 2707 NEW BEST:: SOT 1128316 SOS 767175 HAS SOPS 767034 HAS SOUS 89488 HAS SOUPS 89383 WITH SCORE 90150.175
AT ITER 2724 NEW BEST:: SOT 1128025 SOS 766884 HAS SOPS 766743 HAS SOUS 89188 HAS SOUPS 89083 WITH SCORE 89849.884
AT ITER 2763 NEW BEST:: SOT 1128123 SOS 766982 HAS SOPS 766841 HAS SOUS 89038 HAS SOUPS 88933 WITH SCORE 89699.982
AT ITER 2775 NEW BEST:: SOT 1128324 SOS 767183 HAS SOPS 767042 HAS SOUS 88982 HAS SOUPS 88877 WITH SCORE 89644.183
AT ITER 2784 NEW BEST:: SOT 1128324 SOS 750509 HAS SOPS 750368 HAS SOUS 88976 HAS SOUPS 88871 WITH SCORE 89621.509
AT ITER 2791 NEW BEST:: SOT 1128324 SOS 750509 HAS SOPS 750368 HAS SOUS 88971 HAS SOUPS 88866 WITH SCORE 89616.509
AT ITER 2799 NEW BEST:: SOT 1129957 SOS 755304 HAS SOPS 755169 HAS SOUS 88605 HAS SOUPS 88506 WITH SCORE 89261.304
AT ITER 2826 NEW BEST:: SOT 1129875 SOS 755222 HAS SOPS 755087 HAS SOUS 88533 HAS SOUPS 88434 WITH SCORE 89189.222
AT ITER 2842 NEW BEST:: SOT 1128853 SOS 750816 HAS SOPS 750681 HAS SOUS 87620 HAS SOUPS 87521 WITH SCORE 88271.816
AT ITER 2843 NEW BEST:: SOT 1128853 SOS 750816 HAS SOPS 750681 HAS SOUS 87585 HAS SOUPS 87486 WITH SCORE 88236.816
AT ITER 2847 NEW BEST:: SOT 1129421 SOS 751616 HAS SOPS 751481 HAS SOUS 87539 HAS SOUPS 87440 WITH SCORE 88191.616
AT ITER 2861 NEW BEST:: SOT 1129001 SOS 751196 HAS SOPS 751061 HAS SOUS 86565 HAS SOUPS 86466 WITH SCORE 87217.196
AT ITER 2863 NEW BEST:: SOT 1128932 SOS 751127 HAS SOPS 750992 HAS SOUS 86545 HAS SOUPS 86446 WITH SCORE 87197.127
AT ITER 2867 NEW BEST:: SOT 1128934 SOS 749470 HAS SOPS 749330 HAS SOUS 86547 HAS SOUPS 86443 WITH SCORE 87192.47
AT ITER 2881 NEW BEST:: SOT 1128434 SOS 748970 HAS SOPS 748830 HAS SOUS 86479 HAS SOUPS 86375 WITH SCORE 87123.97
AT ITER 2888 NEW BEST:: SOT 1128622 SOS 749158 HAS SOPS 749018 HAS SOUS 86463 HAS SOUPS 86359 WITH SCORE 87108.158
AT ITER 2891 NEW BEST:: SOT 1128625 SOS 749233 HAS SOPS 749093 HAS SOUS 86424 HAS SOUPS 86320 WITH SCORE 87069.233
AT ITER 2893 NEW BEST:: SOT 1128625 SOS 748332 HAS SOPS 748157 HAS SOUS 86455 HAS SOUPS 86316 WITH SCORE 87064.332
AT ITER 2900 NEW BEST:: SOT 1128625 SOS 748956 HAS SOPS 748781 HAS SOUS 86454 HAS SOUPS 86315 WITH SCORE 87063.956
AT ITER 2901 NEW BEST:: SOT 1128625 SOS 748952 HAS SOPS 748777 HAS SOUS 86453 HAS SOUPS 86314 WITH SCORE 87062.952
AT ITER 2902 NEW BEST:: SOT 1128715 SOS 762812 HAS SOPS 762083 HAS SOUS 86545 HAS SOUPS 86288 WITH SCORE 87050.812
AT ITER 2905 NEW BEST:: SOT 1127910 SOS 762007 HAS SOPS 761278 HAS SOUS 86012 HAS SOUPS 85755 WITH SCORE 86517.007
AT ITER 2927 NEW BEST:: SOT 1127944 SOS 762099 HAS SOPS 761370 HAS SOUS 85978 HAS SOUPS 85721 WITH SCORE 86483.099
AT ITER 2934 NEW BEST:: SOT 1127944 SOS 762145 HAS SOPS 761416 HAS SOUS 85956 HAS SOUPS 85699 WITH SCORE 86461.145
AT ITER 2955 NEW BEST:: SOT 1127946 SOS 762507 HAS SOPS 761778 HAS SOUS 85816 HAS SOUPS 85559 WITH SCORE 86321.507
AT ITER 2958 NEW BEST:: SOT 1127946 SOS 762507 HAS SOPS 761778 HAS SOUS 85805 HAS SOUPS 85548 WITH SCORE 86310.507
AT ITER 2966 NEW BEST:: SOT 1127661 SOS 762222 HAS SOPS 761493 HAS SOUS 85532 HAS SOUPS 85275 WITH SCORE 86037.222
AT ITER 2968 NEW BEST:: SOT 1127659 SOS 762220 HAS SOPS 761491 HAS SOUS 85519 HAS SOUPS 85262 WITH SCORE 86024.22
AT ITER 2985 NEW BEST:: SOT 1127664 SOS 762225 HAS SOPS 761496 HAS SOUS 85463 HAS SOUPS 85206 WITH SCORE 85968.225
AT ITER 2999 NEW BEST:: SOT 1126616 SOS 761631 HAS SOPS 760880 HAS SOUS 85451 HAS SOUPS 85172 WITH SCORE 85933.631
AT ITER 3008 NEW BEST:: SOT 1126616 SOS 761531 HAS SOPS 760780 HAS SOUS 85426 HAS SOUPS 85147 WITH SCORE 85908.531
AT ITER 3031 NEW BEST:: SOT 1125898 SOS 760813 HAS SOPS 760062 HAS SOUS 85264 HAS SOUPS 84985 WITH SCORE 85745.813
AT ITER 3038 NEW BEST:: SOT 1125898 SOS 760351 HAS SOPS 759600 HAS SOUS 85264 HAS SOUPS 84985 WITH SCORE 85745.351
AT ITER 3060 NEW BEST:: SOT 1126016 SOS 760469 HAS SOPS 759718 HAS SOUS 84917 HAS SOUPS 84638 WITH SCORE 85398.469
AT ITER 3067 NEW BEST:: SOT 1126016 SOS 759565 HAS SOPS 758854 HAS SOUS 84909 HAS SOUPS 84638 WITH SCORE 85397.565
AT ITER 3069 NEW BEST:: SOT 1126016 SOS 759565 HAS SOPS 758854 HAS SOUS 84875 HAS SOUPS 84604 WITH SCORE 85363.565
AT ITER 3085 NEW BEST:: SOT 1126189 SOS 759798 HAS SOPS 759087 HAS SOUS 84870 HAS SOUPS 84599 WITH SCORE 85358.798
AT ITER 3094 NEW BEST:: SOT 1126207 SOS 759844 HAS SOPS 759133 HAS SOUS 84858 HAS SOUPS 84587 WITH SCORE 85346.844
AT ITER 3098 NEW BEST:: SOT 1126207 SOS 759916 HAS SOPS 759205 HAS SOUS 84834 HAS SOUPS 84563 WITH SCORE 85322.916
AT ITER 3145 NEW BEST:: SOT 1126207 SOS 758976 HAS SOPS 758265 HAS SOUS 84821 HAS SOUPS 84550 WITH SCORE 85308.976
AT ITER 3162 NEW BEST:: SOT 1126218 SOS 758348 HAS SOPS 757676 HAS SOUS 84777 HAS SOUPS 84545 WITH SCORE 85303.348
AT ITER 3166 NEW BEST:: SOT 1126308 SOS 758438 HAS SOPS 757766 HAS SOUS 84658 HAS SOUPS 84426 WITH SCORE 85184.438
AT ITER 3178 NEW BEST:: SOT 1126203 SOS 758333 HAS SOPS 757661 HAS SOUS 84606 HAS SOUPS 84374 WITH SCORE 85132.333
AT ITER 3179 NEW BEST:: SOT 1126203 SOS 757829 HAS SOPS 757157 HAS SOUS 84590 HAS SOUPS 84358 WITH SCORE 85115.829
AT ITER 3200 NEW BEST:: SOT 1126177 SOS 757803 HAS SOPS 757131 HAS SOUS 84544 HAS SOUPS 84312 WITH SCORE 85069.803
AT ITER 3241 NEW BEST:: SOT 1125774 SOS 746346 HAS SOPS 746216 HAS SOUS 83903 HAS SOUPS 83788 WITH SCORE 84534.346
AT ITER 3248 NEW BEST:: SOT 1125774 SOS 746344 HAS SOPS 746216 HAS SOUS 83901 HAS SOUPS 83788 WITH SCORE 84534.344
AT ITER 3280 NEW BEST:: SOT 1125774 SOS 745824 HAS SOPS 745696 HAS SOUS 83875 HAS SOUPS 83762 WITH SCORE 84507.824
AT ITER 3293 NEW BEST:: SOT 1125774 SOS 745968 HAS SOPS 745840 HAS SOUS 83833 HAS SOUPS 83720 WITH SCORE 84465.968
AT ITER 3314 NEW BEST:: SOT 1125774 SOS 745876 HAS SOPS 745748 HAS SOUS 83810 HAS SOUPS 83697 WITH SCORE 84442.876
AT ITER 3358 NEW BEST:: SOT 1125666 SOS 745768 HAS SOPS 745640 HAS SOUS 83776 HAS SOUPS 83663 WITH SCORE 84408.768
AT ITER 3368 NEW BEST:: SOT 1126430 SOS 746532 HAS SOPS 746404 HAS SOUS 83734 HAS SOUPS 83621 WITH SCORE 84367.532
AT ITER 3393 NEW BEST:: SOT 1126429 SOS 746531 HAS SOPS 746403 HAS SOUS 83732 HAS SOUPS 83619 WITH SCORE 84365.531
AT ITER 3441 NEW BEST:: SOT 1126254 SOS 746438 HAS SOPS 746310 HAS SOUS 83571 HAS SOUPS 83458 WITH SCORE 84204.438
AT ITER 3462 NEW BEST:: SOT 1126411 SOS 746883 HAS SOPS 746755 HAS SOUS 83149 HAS SOUPS 83036 WITH SCORE 83782.883
AT ITER 3469 NEW BEST:: SOT 1126325 SOS 746797 HAS SOPS 746669 HAS SOUS 82901 HAS SOUPS 82788 WITH SCORE 83534.797
AT ITER 3479 NEW BEST:: SOT 1126581 SOS 747053 HAS SOPS 746925 HAS SOUS 82839 HAS SOUPS 82726 WITH SCORE 83473.053
AT ITER 3482 NEW BEST:: SOT 1126556 SOS 747498 HAS SOPS 747356 HAS SOUS 82818 HAS SOUPS 82691 WITH SCORE 83438.498
AT ITER 3488 NEW BEST:: SOT 1126493 SOS 747435 HAS SOPS 747293 HAS SOUS 82430 HAS SOUPS 82303 WITH SCORE 83050.435
AT ITER 3489 NEW BEST:: SOT 1126376 SOS 747318 HAS SOPS 747176 HAS SOUS 82132 HAS SOUPS 82005 WITH SCORE 82752.318
AT ITER 3498 NEW BEST:: SOT 1126561 SOS 748103 HAS SOPS 747961 HAS SOUS 82094 HAS SOUPS 81967 WITH SCORE 82715.103
AT ITER 3504 NEW BEST:: SOT 1126566 SOS 747170 HAS SOPS 747028 HAS SOUS 82092 HAS SOUPS 81965 WITH SCORE 82712.17
AT ITER 3511 NEW BEST:: SOT 1126568 SOS 749017 HAS SOPS 748926 HAS SOUS 81998 HAS SOUPS 81922 WITH SCORE 82671.017
AT ITER 3552 NEW BEST:: SOT 1126568 SOS 742081 HAS SOPS 741990 HAS SOUS 81998 HAS SOUPS 81922 WITH SCORE 82664.081
AT ITER 3563 NEW BEST:: SOT 1126568 SOS 742081 HAS SOPS 741990 HAS SOUS 81700 HAS SOUPS 81624 WITH SCORE 82366.081
AT ITER 3579 NEW BEST:: SOT 1126568 SOS 741783 HAS SOPS 741692 HAS SOUS 81678 HAS SOUPS 81602 WITH SCORE 82343.783
AT ITER 3605 NEW BEST:: SOT 1126818 SOS 744961 HAS SOPS 744870 HAS SOUS 80123 HAS SOUPS 80047 WITH SCORE 80791.961
AT ITER 3613 NEW BEST:: SOT 1126818 SOS 744401 HAS SOPS 744310 HAS SOUS 80123 HAS SOUPS 80047 WITH SCORE 80791.401
AT ITER 3627 NEW BEST:: SOT 1126810 SOS 744241 HAS SOPS 744150 HAS SOUS 80107 HAS SOUPS 80031 WITH SCORE 80775.241
AT ITER 3675 NEW BEST:: SOT 1126924 SOS 744355 HAS SOPS 744264 HAS SOUS 79931 HAS SOUPS 79855 WITH SCORE 80599.355
AT ITER 3703 NEW BEST:: SOT 1126914 SOS 744345 HAS SOPS 744254 HAS SOUS 79921 HAS SOUPS 79845 WITH SCORE 80589.345
AT ITER 3720 NEW BEST:: SOT 1126868 SOS 742824 HAS SOPS 742696 HAS SOUS 79933 HAS SOUPS 79820 WITH SCORE 80562.824
AT ITER 3732 NEW BEST:: SOT 1126868 SOS 742320 HAS SOPS 742192 HAS SOUS 79912 HAS SOUPS 79799 WITH SCORE 80541.32
AT ITER 3734 NEW BEST:: SOT 1126869 SOS 742369 HAS SOPS 742241 HAS SOUS 79903 HAS SOUPS 79790 WITH SCORE 80532.369
AT ITER 3743 NEW BEST:: SOT 1126953 SOS 748031 HAS SOPS 747903 HAS SOUS 79871 HAS SOUPS 79758 WITH SCORE 80506.031
AT ITER 3751 NEW BEST:: SOT 1126674 SOS 747752 HAS SOPS 747624 HAS SOUS 78915 HAS SOUPS 78802 WITH SCORE 79549.752
AT ITER 3757 NEW BEST:: SOT 1126666 SOS 747744 HAS SOPS 747616 HAS SOUS 78915 HAS SOUPS 78802 WITH SCORE 79549.744
AT ITER 3783 NEW BEST:: SOT 1126666 SOS 749184 HAS SOPS 749056 HAS SOUS 78901 HAS SOUPS 78788 WITH SCORE 79537.184
AT ITER 3800 NEW BEST:: SOT 1126759 SOS 749277 HAS SOPS 749149 HAS SOUS 78733 HAS SOUPS 78620 WITH SCORE 79369.277
AT ITER 3820 NEW BEST:: SOT 1126759 SOS 749277 HAS SOPS 749149 HAS SOUS 78633 HAS SOUPS 78520 WITH SCORE 79269.277
AT ITER 3827 NEW BEST:: SOT 1126755 SOS 749273 HAS SOPS 749145 HAS SOUS 78587 HAS SOUPS 78474 WITH SCORE 79223.273
AT ITER 3833 NEW BEST:: SOT 1126755 SOS 748481 HAS SOPS 748353 HAS SOUS 78521 HAS SOUPS 78408 WITH SCORE 79156.481
AT ITER 3834 NEW BEST:: SOT 1126104 SOS 747802 HAS SOPS 747674 HAS SOUS 78402 HAS SOUPS 78289 WITH SCORE 79036.802
AT ITER 3839 NEW BEST:: SOT 1126387 SOS 748165 HAS SOPS 748037 HAS SOUS 78377 HAS SOUPS 78264 WITH SCORE 79012.165
AT ITER 3841 NEW BEST:: SOT 1126226 SOS 748004 HAS SOPS 747876 HAS SOUS 78209 HAS SOUPS 78096 WITH SCORE 78844.004
AT ITER 3846 NEW BEST:: SOT 1126396 SOS 748174 HAS SOPS 748046 HAS SOUS 78204 HAS SOUPS 78091 WITH SCORE 78839.174
AT ITER 3893 NEW BEST:: SOT 1126404 SOS 748182 HAS SOPS 748054 HAS SOUS 78181 HAS SOUPS 78068 WITH SCORE 78816.182
AT ITER 3906 NEW BEST:: SOT 1125075 SOS 746253 HAS SOPS 746125 HAS SOUS 77981 HAS SOUPS 77868 WITH SCORE 78614.253
AT ITER 3917 NEW BEST:: SOT 1126440 SOS 746791 HAS SOPS 746698 HAS SOUS 77797 HAS SOUPS 77719 WITH SCORE 78465.791
AT ITER 3975 NEW BEST:: SOT 1126440 SOS 746743 HAS SOPS 746650 HAS SOUS 77795 HAS SOUPS 77717 WITH SCORE 78463.743
AT ITER 3983 NEW BEST:: SOT 1125848 SOS 746151 HAS SOPS 746058 HAS SOUS 77534 HAS SOUPS 77456 WITH SCORE 78202.151
AT ITER 3991 NEW BEST:: SOT 1125923 SOS 746658 HAS SOPS 746565 HAS SOUS 77254 HAS SOUPS 77176 WITH SCORE 77922.658
AT ITER 3993 NEW BEST:: SOT 1125233 SOS 745968 HAS SOPS 745875 HAS SOUS 76588 HAS SOUPS 76510 WITH SCORE 77255.968
AT ITER 4008 NEW BEST:: SOT 1125225 SOS 745960 HAS SOPS 745867 HAS SOUS 76582 HAS SOUPS 76504 WITH SCORE 77249.96
AT ITER 4023 NEW BEST:: SOT 1125225 SOS 745960 HAS SOPS 745867 HAS SOUS 76581 HAS SOUPS 76503 WITH SCORE 77248.96
AT ITER 4024 NEW BEST:: SOT 1125225 SOS 745840 HAS SOPS 745747 HAS SOUS 76581 HAS SOUPS 76503 WITH SCORE 77248.84
AT ITER 4044 NEW BEST:: SOT 1125707 SOS 746322 HAS SOPS 746229 HAS SOUS 76557 HAS SOUPS 76479 WITH SCORE 77225.322
AT ITER 4048 NEW BEST:: SOT 1125707 SOS 745962 HAS SOPS 745869 HAS SOUS 76557 HAS SOUPS 76479 WITH SCORE 77224.962
AT ITER 4056 NEW BEST:: SOT 1125707 SOS 745962 HAS SOPS 745869 HAS SOUS 76556 HAS SOUPS 76478 WITH SCORE 77223.962
AT ITER 4059 NEW BEST:: SOT 1125707 SOS 745794 HAS SOPS 745701 HAS SOUS 76556 HAS SOUPS 76478 WITH SCORE 77223.794
AT ITER 4064 NEW BEST:: SOT 1125716 SOS 745429 HAS SOPS 745350 HAS SOUS 76537 HAS SOUPS 76473 WITH SCORE 77218.429
AT ITER 4068 NEW BEST:: SOT 1125716 SOS 745189 HAS SOPS 745110 HAS SOUS 76507 HAS SOUPS 76443 WITH SCORE 77188.189
AT ITER 4085 NEW BEST:: SOT 1124973 SOS 744014 HAS SOPS 743935 HAS SOUS 76314 HAS SOUPS 76250 WITH SCORE 76994.014
AT ITER 4142 NEW BEST:: SOT 1123058 SOS 743101 HAS SOPS 742980 HAS SOUS 76307 HAS SOUPS 76201 WITH SCORE 76944.101
AT ITER 4164 NEW BEST:: SOT 1122939 SOS 742982 HAS SOPS 742861 HAS SOUS 76307 HAS SOUPS 76201 WITH SCORE 76943.982
AT ITER 4169 NEW BEST:: SOT 1122921 SOS 742964 HAS SOPS 742843 HAS SOUS 76289 HAS SOUPS 76183 WITH SCORE 76925.964
AT ITER 4251 NEW BEST:: SOT 1123073 SOS 742656 HAS SOPS 742555 HAS SOUS 76151 HAS SOUPS 76050 WITH SCORE 76792.656
AT ITER 4259 NEW BEST:: SOT 1125589 SOS 747884 HAS SOPS 747783 HAS SOUS 76107 HAS SOUPS 76006 WITH SCORE 76753.884
AT ITER 4291 NEW BEST:: SOT 1125691 SOS 747986 HAS SOPS 747885 HAS SOUS 76092 HAS SOUPS 75991 WITH SCORE 76738.986
AT ITER 4300 NEW BEST:: SOT 1125670 SOS 747965 HAS SOPS 747864 HAS SOUS 76071 HAS SOUPS 75970 WITH SCORE 76717.965
AT ITER 4349 NEW BEST:: SOT 1125496 SOS 747623 HAS SOPS 747522 HAS SOUS 76065 HAS SOUPS 75964 WITH SCORE 76711.623
AT ITER 4354 NEW BEST:: SOT 1125484 SOS 747563 HAS SOPS 747462 HAS SOUS 76041 HAS SOUPS 75940 WITH SCORE 76687.563
AT ITER 4387 NEW BEST:: SOT 1125484 SOS 747563 HAS SOPS 747462 HAS SOUS 76039 HAS SOUPS 75938 WITH SCORE 76685.563
AT ITER 4456 NEW BEST:: SOT 1125449 SOS 747315 HAS SOPS 747214 HAS SOUS 75969 HAS SOUPS 75868 WITH SCORE 76615.315
AT ITER 4470 NEW BEST:: SOT 1125449 SOS 747195 HAS SOPS 747094 HAS SOUS 75964 HAS SOUPS 75863 WITH SCORE 76610.195
AT ITER 4491 NEW BEST:: SOT 1125449 SOS 747195 HAS SOPS 747094 HAS SOUS 75955 HAS SOUPS 75854 WITH SCORE 76601.195
AT ITER 4493 NEW BEST:: SOT 1125418 SOS 747164 HAS SOPS 747063 HAS SOUS 75886 HAS SOUPS 75785 WITH SCORE 76532.164
AT ITER 4499 NEW BEST:: SOT 1125392 SOS 747412 HAS SOPS 747301 HAS SOUS 75871 HAS SOUPS 75760 WITH SCORE 76507.412
AT ITER 4517 NEW BEST:: SOT 1125573 SOS 747593 HAS SOPS 747482 HAS SOUS 75851 HAS SOUPS 75740 WITH SCORE 76487.593
AT ITER 4521 NEW BEST:: SOT 1125573 SOS 746945 HAS SOPS 746834 HAS SOUS 75851 HAS SOUPS 75740 WITH SCORE 76486.945
AT ITER 4537 NEW BEST:: SOT 1125529 SOS 746901 HAS SOPS 746790 HAS SOUS 75807 HAS SOUPS 75696 WITH SCORE 76442.901
AT ITER 4597 NEW BEST:: SOT 1125529 SOS 747115 HAS SOPS 746990 HAS SOUS 75815 HAS SOUPS 75690 WITH SCORE 76437.115
AT ITER 4609 NEW BEST:: SOT 1125529 SOS 745747 HAS SOPS 745622 HAS SOUS 75778 HAS SOUPS 75653 WITH SCORE 76398.747
AT ITER 4715 NEW BEST:: SOT 1125527 SOS 745725 HAS SOPS 745600 HAS SOUS 75778 HAS SOUPS 75653 WITH SCORE 76398.725
AT ITER 4717 NEW BEST:: SOT 1124183 SOS 744381 HAS SOPS 744256 HAS SOUS 75724 HAS SOUPS 75599 WITH SCORE 76343.381
AT ITER 4722 NEW BEST:: SOT 1124171 SOS 744369 HAS SOPS 744244 HAS SOUS 75685 HAS SOUPS 75560 WITH SCORE 76304.369
AT ITER 4740 NEW BEST:: SOT 1125241 SOS 745439 HAS SOPS 745314 HAS SOUS 75474 HAS SOUPS 75349 WITH SCORE 76094.439
AT ITER 4741 NEW BEST:: SOT 1125216 SOS 745414 HAS SOPS 745289 HAS SOUS 75449 HAS SOUPS 75324 WITH SCORE 76069.414
AT ITER 4763 NEW BEST:: SOT 1125105 SOS 745303 HAS SOPS 745178 HAS SOUS 75307 HAS SOUPS 75182 WITH SCORE 75927.303
AT ITER 4791 NEW BEST:: SOT 1125955 SOS 747329 HAS SOPS 747204 HAS SOUS 74702 HAS SOUPS 74577 WITH SCORE 75324.329
AT ITER 4796 NEW BEST:: SOT 1125924 SOS 747298 HAS SOPS 747173 HAS SOUS 74680 HAS SOUPS 74555 WITH SCORE 75302.298
AT ITER 4806 NEW BEST:: SOT 1126574 SOS 747948 HAS SOPS 747823 HAS SOUS 74603 HAS SOUPS 74478 WITH SCORE 75225.948
AT ITER 4816 NEW BEST:: SOT 1126574 SOS 747156 HAS SOPS 747031 HAS SOUS 74603 HAS SOUPS 74478 WITH SCORE 75225.156
AT ITER 4830 NEW BEST:: SOT 1126996 SOS 747578 HAS SOPS 747453 HAS SOUS 74548 HAS SOUPS 74423 WITH SCORE 75170.578
AT ITER 4831 NEW BEST:: SOT 1126538 SOS 747120 HAS SOPS 746995 HAS SOUS 74381 HAS SOUPS 74256 WITH SCORE 75003.12
AT ITER 4864 NEW BEST:: SOT 1126277 SOS 746835 HAS SOPS 746710 HAS SOUS 74148 HAS SOUPS 74023 WITH SCORE 74769.835
AT ITER 4869 NEW BEST:: SOT 1125602 SOS 746156 HAS SOPS 746031 HAS SOUS 73471 HAS SOUPS 73346 WITH SCORE 74092.156
AT ITER 4877 NEW BEST:: SOT 1125565 SOS 726653 HAS SOPS 726528 HAS SOUS 73404 HAS SOUPS 73279 WITH SCORE 74005.653
AT ITER 4912 NEW BEST:: SOT 1125564 SOS 726652 HAS SOPS 726527 HAS SOUS 73389 HAS SOUPS 73264 WITH SCORE 73990.652
AT ITER 4938 NEW BEST:: SOT 1125486 SOS 726574 HAS SOPS 726449 HAS SOUS 73339 HAS SOUPS 73214 WITH SCORE 73940.574
AT ITER 4948 NEW BEST:: SOT 1125486 SOS 726574 HAS SOPS 726449 HAS SOUS 73331 HAS SOUPS 73206 WITH SCORE 73932.574
AT ITER 4952 NEW BEST:: SOT 1125594 SOS 726682 HAS SOPS 726557 HAS SOUS 72928 HAS SOUPS 72803 WITH SCORE 73529.682
AT ITER 4959 NEW BEST:: SOT 1125519 SOS 726715 HAS SOPS 726590 HAS SOUS 72861 HAS SOUPS 72736 WITH SCORE 73462.715
AT ITER 4984 NEW BEST:: SOT 1125542 SOS 726738 HAS SOPS 726613 HAS SOUS 72702 HAS SOUPS 72577 WITH SCORE 73303.738
AT ITER 4985 NEW BEST:: SOT 1125350 SOS 726546 HAS SOPS 726421 HAS SOUS 72674 HAS SOUPS 72549 WITH SCORE 73275.546
AT ITER 5004 NEW BEST:: SOT 1126352 SOS 728076 HAS SOPS 727951 HAS SOUS 72657 HAS SOUPS 72532 WITH SCORE 73260.076
AT ITER 5078 NEW BEST:: SOT 1126352 SOS 728028 HAS SOPS 727903 HAS SOUS 72657 HAS SOUPS 72532 WITH SCORE 73260.028
AT ITER 5087 NEW BEST:: SOT 1126295 SOS 727971 HAS SOPS 727846 HAS SOUS 72605 HAS SOUPS 72480 WITH SCORE 73207.971
AT ITER 5089 NEW BEST:: SOT 1126295 SOS 727539 HAS SOPS 727414 HAS SOUS 72605 HAS SOUPS 72480 WITH SCORE 73207.539
AT ITER 5105 NEW BEST:: SOT 1126276 SOS 727520 HAS SOPS 727395 HAS SOUS 72539 HAS SOUPS 72414 WITH SCORE 73141.52
AT ITER 5111 NEW BEST:: SOT 1126276 SOS 727494 HAS SOPS 727369 HAS SOUS 72539 HAS SOUPS 72414 WITH SCORE 73141.494
AT ITER 5131 NEW BEST:: SOT 1128741 SOS 733252 HAS SOPS 733026 HAS SOUS 72512 HAS SOUPS 72286 WITH SCORE 73019.252
AT ITER 5143 NEW BEST:: SOT 1128741 SOS 733108 HAS SOPS 732882 HAS SOUS 72500 HAS SOUPS 72274 WITH SCORE 73007.108
AT ITER 5145 NEW BEST:: SOT 1129399 SOS 733766 HAS SOPS 733540 HAS SOUS 72286 HAS SOUPS 72060 WITH SCORE 72793.766
AT ITER 5158 NEW BEST:: SOT 1129399 SOS 733756 HAS SOPS 733530 HAS SOUS 72286 HAS SOUPS 72060 WITH SCORE 72793.756
AT ITER 5167 NEW BEST:: SOT 1128390 SOS 732627 HAS SOPS 732401 HAS SOUS 72233 HAS SOUPS 72007 WITH SCORE 72739.627
AT ITER 5189 NEW BEST:: SOT 1128065 SOS 732302 HAS SOPS 732076 HAS SOUS 72139 HAS SOUPS 71913 WITH SCORE 72645.302
AT ITER 5205 NEW BEST:: SOT 1128065 SOS 732250 HAS SOPS 732024 HAS SOUS 72139 HAS SOUPS 71913 WITH SCORE 72645.25
AT ITER 5213 NEW BEST:: SOT 1128065 SOS 732230 HAS SOPS 732004 HAS SOUS 72139 HAS SOUPS 71913 WITH SCORE 72645.23
AT ITER 5265 NEW BEST:: SOT 1127843 SOS 732008 HAS SOPS 731782 HAS SOUS 71926 HAS SOUPS 71700 WITH SCORE 72432.008
AT ITER 5266 NEW BEST:: SOT 1127797 SOS 730858 HAS SOPS 730632 HAS SOUS 71879 HAS SOUPS 71653 WITH SCORE 72383.858
AT ITER 5268 NEW BEST:: SOT 1127797 SOS 722262 HAS SOPS 721998 HAS SOUS 71909 HAS SOUPS 71645 WITH SCORE 72367.262
AT ITER 5276 NEW BEST:: SOT 1127797 SOS 722222 HAS SOPS 721958 HAS SOUS 71889 HAS SOUPS 71625 WITH SCORE 72347.222
AT ITER 5305 NEW BEST:: SOT 1127656 SOS 722081 HAS SOPS 721817 HAS SOUS 71847 HAS SOUPS 71583 WITH SCORE 72305.081
AT ITER 5345 NEW BEST:: SOT 1127864 SOS 722289 HAS SOPS 722025 HAS SOUS 71733 HAS SOUPS 71469 WITH SCORE 72191.289
AT ITER 5368 NEW BEST:: SOT 1127863 SOS 722169 HAS SOPS 721898 HAS SOUS 71733 HAS SOUPS 71462 WITH SCORE 72184.169
AT ITER 5388 NEW BEST:: SOT 1128796 SOS 723102 HAS SOPS 722831 HAS SOUS 71261 HAS SOUPS 70990 WITH SCORE 71713.102
AT ITER 5399 NEW BEST:: SOT 1128796 SOS 723086 HAS SOPS 722815 HAS SOUS 71257 HAS SOUPS 70986 WITH SCORE 71709.086
AT ITER 5409 NEW BEST:: SOT 1128560 SOS 727416 HAS SOPS 727145 HAS SOUS 71145 HAS SOUPS 70874 WITH SCORE 71601.416
AT ITER 5435 NEW BEST:: SOT 1128560 SOS 726822 HAS SOPS 726551 HAS SOUS 71145 HAS SOUPS 70874 WITH SCORE 71600.822
AT ITER 5440 NEW BEST:: SOT 1128545 SOS 726807 HAS SOPS 726536 HAS SOUS 71025 HAS SOUPS 70754 WITH SCORE 71480.807
AT ITER 5466 NEW BEST:: SOT 1128545 SOS 726807 HAS SOPS 726536 HAS SOUS 70992 HAS SOUPS 70721 WITH SCORE 71447.807
AT ITER 5469 NEW BEST:: SOT 1128545 SOS 726807 HAS SOPS 726536 HAS SOUS 70904 HAS SOUPS 70633 WITH SCORE 71359.807
AT ITER 5472 NEW BEST:: SOT 1128593 SOS 728655 HAS SOPS 728384 HAS SOUS 70760 HAS SOUPS 70489 WITH SCORE 71217.655
AT ITER 5475 NEW BEST:: SOT 1129152 SOS 729214 HAS SOPS 728943 HAS SOUS 70752 HAS SOUPS 70481 WITH SCORE 71210.214
AT ITER 5505 NEW BEST:: SOT 1129694 SOS 729756 HAS SOPS 729485 HAS SOUS 70453 HAS SOUPS 70182 WITH SCORE 70911.756
AT ITER 5526 NEW BEST:: SOT 1129694 SOS 730884 HAS SOPS 730613 HAS SOUS 70429 HAS SOUPS 70158 WITH SCORE 70888.884
AT ITER 5534 NEW BEST:: SOT 1129777 SOS 730967 HAS SOPS 730696 HAS SOUS 70162 HAS SOUPS 69891 WITH SCORE 70621.967
AT ITER 5541 NEW BEST:: SOT 1129797 SOS 730764 HAS SOPS 730500 HAS SOUS 70150 HAS SOUPS 69886 WITH SCORE 70616.764
AT ITER 5557 NEW BEST:: SOT 1129797 SOS 730459 HAS SOPS 730212 HAS SOUS 70133 HAS SOUPS 69886 WITH SCORE 70616.459
AT ITER 5560 NEW BEST:: SOT 1130308 SOS 730360 HAS SOPS 730123 HAS SOUS 70019 HAS SOUPS 69782 WITH SCORE 70512.36
AT ITER 5562 NEW BEST:: SOT 1130413 SOS 730465 HAS SOPS 730228 HAS SOUS 70013 HAS SOUPS 69776 WITH SCORE 70506.465
AT ITER 5608 NEW BEST:: SOT 1130413 SOS 730369 HAS SOPS 730132 HAS SOUS 70013 HAS SOUPS 69776 WITH SCORE 70506.369
AT ITER 5624 NEW BEST:: SOT 1130449 SOS 730405 HAS SOPS 730168 HAS SOUS 69959 HAS SOUPS 69722 WITH SCORE 70452.405
AT ITER 5638 NEW BEST:: SOT 1130449 SOS 730395 HAS SOPS 730158 HAS SOUS 69959 HAS SOUPS 69722 WITH SCORE 70452.395
AT ITER 5645 NEW BEST:: SOT 1130174 SOS 730120 HAS SOPS 729883 HAS SOUS 69948 HAS SOUPS 69711 WITH SCORE 70441.12
AT ITER 5646 NEW BEST:: SOT 1130174 SOS 729736 HAS SOPS 729499 HAS SOUS 69948 HAS SOUPS 69711 WITH SCORE 70440.736
AT ITER 5702 NEW BEST:: SOT 1129917 SOS 729479 HAS SOPS 729242 HAS SOUS 69485 HAS SOUPS 69248 WITH SCORE 69977.479
AT ITER 5732 NEW BEST:: SOT 1130145 SOS 729707 HAS SOPS 729470 HAS SOUS 68838 HAS SOUPS 68601 WITH SCORE 69330.707
AT ITER 5755 NEW BEST:: SOT 1130038 SOS 728376 HAS SOPS 728139 HAS SOUS 68797 HAS SOUPS 68560 WITH SCORE 69288.376
AT ITER 5788 NEW BEST:: SOT 1130038 SOS 728352 HAS SOPS 728115 HAS SOUS 68797 HAS SOUPS 68560 WITH SCORE 69288.352
AT ITER 5813 NEW BEST:: SOT 1130152 SOS 728466 HAS SOPS 728229 HAS SOUS 68628 HAS SOUPS 68391 WITH SCORE 69119.466
AT ITER 5842 NEW BEST:: SOT 1130152 SOS 728430 HAS SOPS 728193 HAS SOUS 68628 HAS SOUPS 68391 WITH SCORE 69119.43
AT ITER 5848 NEW BEST:: SOT 1128613 SOS 726891 HAS SOPS 726654 HAS SOUS 68597 HAS SOUPS 68360 WITH SCORE 69086.891
AT ITER 5859 NEW BEST:: SOT 1128316 SOS 726486 HAS SOPS 726249 HAS SOUS 68590 HAS SOUPS 68353 WITH SCORE 69079.486
AT ITER 5887 NEW BEST:: SOT 1128316 SOS 726555 HAS SOPS 726318 HAS SOUS 68587 HAS SOUPS 68350 WITH SCORE 69076.555
AT ITER 5890 NEW BEST:: SOT 1128316 SOS 726517 HAS SOPS 726280 HAS SOUS 68587 HAS SOUPS 68350 WITH SCORE 69076.517
AT ITER 5901 NEW BEST:: SOT 1128091 SOS 726292 HAS SOPS 726055 HAS SOUS 68569 HAS SOUPS 68332 WITH SCORE 69058.292
AT ITER 5902 NEW BEST:: SOT 1128051 SOS 726252 HAS SOPS 726015 HAS SOUS 68505 HAS SOUPS 68268 WITH SCORE 68994.252
AT ITER 5923 NEW BEST:: SOT 1128314 SOS 726677 HAS SOPS 726440 HAS SOUS 68295 HAS SOUPS 68058 WITH SCORE 68784.677
AT ITER 5964 NEW BEST:: SOT 1128321 SOS 726756 HAS SOPS 726519 HAS SOUS 68241 HAS SOUPS 68004 WITH SCORE 68730.756
AT ITER 5980 NEW BEST:: SOT 1128217 SOS 726454 HAS SOPS 726217 HAS SOUS 68147 HAS SOUPS 67910 WITH SCORE 68636.454
AT ITER 5986 NEW BEST:: SOT 1129002 SOS 727239 HAS SOPS 727002 HAS SOUS 68056 HAS SOUPS 67819 WITH SCORE 68546.239
AT ITER 6079 NEW BEST:: SOT 1128728 SOS 727388 HAS SOPS 727151 HAS SOUS 67964 HAS SOUPS 67727 WITH SCORE 68454.388
AT ITER 6099 NEW BEST:: SOT 1128721 SOS 727421 HAS SOPS 727184 HAS SOUS 67939 HAS SOUPS 67702 WITH SCORE 68429.421
AT ITER 6116 NEW BEST:: SOT 1128881 SOS 727581 HAS SOPS 727344 HAS SOUS 67917 HAS SOUPS 67680 WITH SCORE 68407.581
AT ITER 6126 NEW BEST:: SOT 1127955 SOS 726655 HAS SOPS 726418 HAS SOUS 67907 HAS SOUPS 67670 WITH SCORE 68396.655
AT ITER 6143 NEW BEST:: SOT 1127952 SOS 727708 HAS SOPS 727471 HAS SOUS 67901 HAS SOUPS 67664 WITH SCORE 68391.708
AT ITER 6215 NEW BEST:: SOT 1127952 SOS 727706 HAS SOPS 727471 HAS SOUS 67899 HAS SOUPS 67664 WITH SCORE 68391.706
AT ITER 6219 NEW BEST:: SOT 1127952 SOS 726290 HAS SOPS 726055 HAS SOUS 67896 HAS SOUPS 67661 WITH SCORE 68387.29
AT ITER 6241 NEW BEST:: SOT 1127934 SOS 726680 HAS SOPS 726445 HAS SOUS 67451 HAS SOUPS 67216 WITH SCORE 67942.68
AT ITER 6255 NEW BEST:: SOT 1127934 SOS 726680 HAS SOPS 726445 HAS SOUS 67436 HAS SOUPS 67201 WITH SCORE 67927.68
AT ITER 6289 NEW BEST:: SOT 1127934 SOS 726464 HAS SOPS 726229 HAS SOUS 67436 HAS SOUPS 67201 WITH SCORE 67927.464
AT ITER 6299 NEW BEST:: SOT 1128758 SOS 727624 HAS SOPS 727389 HAS SOUS 67434 HAS SOUPS 67199 WITH SCORE 67926.624
AT ITER 6302 NEW BEST:: SOT 1128758 SOS 727624 HAS SOPS 727389 HAS SOUS 67414 HAS SOUPS 67179 WITH SCORE 67906.624
AT ITER 6324 NEW BEST:: SOT 1128770 SOS 727684 HAS SOPS 727449 HAS SOUS 67366 HAS SOUPS 67131 WITH SCORE 67858.684
AT ITER 6326 NEW BEST:: SOT 1128770 SOS 727661 HAS SOPS 727449 HAS SOUS 67343 HAS SOUPS 67131 WITH SCORE 67858.661
AT ITER 6380 NEW BEST:: SOT 1128773 SOS 728024 HAS SOPS 727812 HAS SOUS 67310 HAS SOUPS 67098 WITH SCORE 67826.024
AT ITER 6384 NEW BEST:: SOT 1130659 SOS 729910 HAS SOPS 729698 HAS SOUS 67297 HAS SOUPS 67085 WITH SCORE 67814.91
AT ITER 6393 NEW BEST:: SOT 1132223 SOS 731522 HAS SOPS 731310 HAS SOUS 66837 HAS SOUPS 66625 WITH SCORE 67356.522
AT ITER 6417 NEW BEST:: SOT 1132223 SOS 731522 HAS SOPS 731310 HAS SOUS 66819 HAS SOUPS 66607 WITH SCORE 67338.522
AT ITER 6477 NEW BEST:: SOT 1132264 SOS 731563 HAS SOPS 731351 HAS SOUS 66602 HAS SOUPS 66390 WITH SCORE 67121.563
AT ITER 6490 NEW BEST:: SOT 1132258 SOS 731557 HAS SOPS 731345 HAS SOUS 66596 HAS SOUPS 66384 WITH SCORE 67115.557
AT ITER 6509 NEW BEST:: SOT 1132258 SOS 731531 HAS SOPS 731319 HAS SOUS 66596 HAS SOUPS 66384 WITH SCORE 67115.531
AT ITER 6514 NEW BEST:: SOT 1132258 SOS 731475 HAS SOPS 731263 HAS SOUS 66582 HAS SOUPS 66370 WITH SCORE 67101.475
AT ITER 6527 NEW BEST:: SOT 1132258 SOS 731475 HAS SOPS 731263 HAS SOUS 66576 HAS SOUPS 66364 WITH SCORE 67095.475
AT ITER 6540 NEW BEST:: SOT 1132296 SOS 732057 HAS SOPS 731841 HAS SOUS 66562 HAS SOUPS 66346 WITH SCORE 67078.057
AT ITER 6542 NEW BEST:: SOT 1131862 SOS 731623 HAS SOPS 731407 HAS SOUS 66506 HAS SOUPS 66290 WITH SCORE 67021.623
AT ITER 6548 NEW BEST:: SOT 1131687 SOS 731434 HAS SOPS 731218 HAS SOUS 66499 HAS SOUPS 66283 WITH SCORE 67014.434
AT ITER 6552 NEW BEST:: SOT 1132669 SOS 732487 HAS SOPS 732276 HAS SOUS 66395 HAS SOUPS 66184 WITH SCORE 66916.487
AT ITER 6562 NEW BEST:: SOT 1132656 SOS 732494 HAS SOPS 732283 HAS SOUS 66392 HAS SOUPS 66181 WITH SCORE 66913.494
AT ITER 6567 NEW BEST:: SOT 1132666 SOS 724259 HAS SOPS 724048 HAS SOUS 66377 HAS SOUPS 66166 WITH SCORE 66890.259
AT ITER 6573 NEW BEST:: SOT 1132782 SOS 724375 HAS SOPS 724164 HAS SOUS 66262 HAS SOUPS 66051 WITH SCORE 66775.375
AT ITER 6587 NEW BEST:: SOT 1132782 SOS 724375 HAS SOPS 724164 HAS SOUS 66238 HAS SOUPS 66027 WITH SCORE 66751.375
AT ITER 6595 NEW BEST:: SOT 1132782 SOS 723943 HAS SOPS 723732 HAS SOUS 66238 HAS SOUPS 66027 WITH SCORE 66750.943
AT ITER 6598 NEW BEST:: SOT 1132764 SOS 723925 HAS SOPS 723714 HAS SOUS 66209 HAS SOUPS 65998 WITH SCORE 66721.925
AT ITER 6616 NEW BEST:: SOT 1132764 SOS 723925 HAS SOPS 723714 HAS SOUS 66183 HAS SOUPS 65972 WITH SCORE 66695.925
AT ITER 6635 NEW BEST:: SOT 1132764 SOS 723925 HAS SOPS 723714 HAS SOUS 66135 HAS SOUPS 65924 WITH SCORE 66647.925
AT ITER 6649 NEW BEST:: SOT 1132764 SOS 723493 HAS SOPS 723282 HAS SOUS 66135 HAS SOUPS 65924 WITH SCORE 66647.493
AT ITER 6663 NEW BEST:: SOT 1132753 SOS 723403 HAS SOPS 723192 HAS SOUS 66118 HAS SOUPS 65907 WITH SCORE 66630.403
AT ITER 6692 NEW BEST:: SOT 1132801 SOS 723451 HAS SOPS 723240 HAS SOUS 66117 HAS SOUPS 65906 WITH SCORE 66629.451
AT ITER 6719 NEW BEST:: SOT 1132801 SOS 723380 HAS SOPS 723192 HAS SOUS 66094 HAS SOUPS 65906 WITH SCORE 66629.38
AT ITER 6737 NEW BEST:: SOT 1132769 SOS 723348 HAS SOPS 723160 HAS SOUS 66068 HAS SOUPS 65880 WITH SCORE 66603.348
AT ITER 6792 NEW BEST:: SOT 1132769 SOS 722196 HAS SOPS 722008 HAS SOUS 66049 HAS SOUPS 65861 WITH SCORE 66583.196
AT ITER 6869 NEW BEST:: SOT 1132715 SOS 722142 HAS SOPS 721954 HAS SOUS 66042 HAS SOUPS 65854 WITH SCORE 66576.142
AT ITER 6885 NEW BEST:: SOT 1132594 SOS 722021 HAS SOPS 721833 HAS SOUS 65950 HAS SOUPS 65762 WITH SCORE 66484.021
AT ITER 6914 NEW BEST:: SOT 1132645 SOS 722072 HAS SOPS 721884 HAS SOUS 65841 HAS SOUPS 65653 WITH SCORE 66375.072
AT ITER 6917 NEW BEST:: SOT 1132645 SOS 722072 HAS SOPS 721884 HAS SOUS 65827 HAS SOUPS 65639 WITH SCORE 66361.072
AT ITER 6923 NEW BEST:: SOT 1132645 SOS 723236 HAS SOPS 723048 HAS SOUS 65817 HAS SOUPS 65629 WITH SCORE 66352.236
AT ITER 6968 NEW BEST:: SOT 1132278 SOS 722653 HAS SOPS 722465 HAS SOUS 65657 HAS SOUPS 65469 WITH SCORE 66191.653
AT ITER 7009 NEW BEST:: SOT 1132256 SOS 722631 HAS SOPS 722443 HAS SOUS 65656 HAS SOUPS 65468 WITH SCORE 66190.631
AT ITER 7106 NEW BEST:: SOT 1132256 SOS 722591 HAS SOPS 722403 HAS SOUS 65656 HAS SOUPS 65468 WITH SCORE 66190.591
AT ITER 7115 NEW BEST:: SOT 1132256 SOS 723004 HAS SOPS 722816 HAS SOUS 65655 HAS SOUPS 65467 WITH SCORE 66190.004
AT ITER 7130 NEW BEST:: SOT 1132206 SOS 722954 HAS SOPS 722766 HAS SOUS 65587 HAS SOUPS 65399 WITH SCORE 66121.954
AT ITER 7164 NEW BEST:: SOT 1132206 SOS 722954 HAS SOPS 722766 HAS SOUS 65581 HAS SOUPS 65393 WITH SCORE 66115.954
AT ITER 7180 NEW BEST:: SOT 1132206 SOS 722930 HAS SOPS 722742 HAS SOUS 65581 HAS SOUPS 65393 WITH SCORE 66115.93
AT ITER 7287 NEW BEST:: SOT 1132206 SOS 714578 HAS SOPS 714390 HAS SOUS 65534 HAS SOUPS 65346 WITH SCORE 66060.578
AT ITER 7293 NEW BEST:: SOT 1132206 SOS 714446 HAS SOPS 714258 HAS SOUS 65495 HAS SOUPS 65307 WITH SCORE 66021.446
AT ITER 7314 NEW BEST:: SOT 1132250 SOS 714490 HAS SOPS 714302 HAS SOUS 65452 HAS SOUPS 65264 WITH SCORE 65978.49
AT ITER 7361 NEW BEST:: SOT 1131996 SOS 714236 HAS SOPS 714048 HAS SOUS 65244 HAS SOUPS 65056 WITH SCORE 65770.236
AT ITER 7364 NEW BEST:: SOT 1131847 SOS 714087 HAS SOPS 713899 HAS SOUS 65159 HAS SOUPS 64971 WITH SCORE 65685.087
AT ITER 7421 NEW BEST:: SOT 1131847 SOS 715217 HAS SOPS 715029 HAS SOUS 65144 HAS SOUPS 64956 WITH SCORE 65671.217
AT ITER 7426 NEW BEST:: SOT 1131791 SOS 715161 HAS SOPS 714973 HAS SOUS 65120 HAS SOUPS 64932 WITH SCORE 65647.161
AT ITER 7454 NEW BEST:: SOT 1131652 SOS 715022 HAS SOPS 714834 HAS SOUS 65061 HAS SOUPS 64873 WITH SCORE 65588.022
AT ITER 7480 NEW BEST:: SOT 1131652 SOS 716088 HAS SOPS 715914 HAS SOUS 65037 HAS SOUPS 64863 WITH SCORE 65579.088
AT ITER 7502 NEW BEST:: SOT 1131661 SOS 717046 HAS SOPS 716872 HAS SOUS 64979 HAS SOUPS 64805 WITH SCORE 65522.046
AT ITER 7531 NEW BEST:: SOT 1131611 SOS 716996 HAS SOPS 716822 HAS SOUS 64975 HAS SOUPS 64801 WITH SCORE 65517.996
AT ITER 7534 NEW BEST:: SOT 1129118 SOS 710654 HAS SOPS 710465 HAS SOUS 64975 HAS SOUPS 64786 WITH SCORE 65496.654
AT ITER 7538 NEW BEST:: SOT 1129762 SOS 711970 HAS SOPS 711781 HAS SOUS 64947 HAS SOUPS 64758 WITH SCORE 65469.97
AT ITER 7575 NEW BEST:: SOT 1129762 SOS 711706 HAS SOPS 711517 HAS SOUS 64947 HAS SOUPS 64758 WITH SCORE 65469.706
AT ITER 7603 NEW BEST:: SOT 1130440 SOS 712384 HAS SOPS 712195 HAS SOUS 64861 HAS SOUPS 64672 WITH SCORE 65384.384
AT ITER 7606 NEW BEST:: SOT 1130439 SOS 712363 HAS SOPS 712174 HAS SOUS 64861 HAS SOUPS 64672 WITH SCORE 65384.363
AT ITER 7636 NEW BEST:: SOT 1130617 SOS 712593 HAS SOPS 712404 HAS SOUS 64847 HAS SOUPS 64658 WITH SCORE 65370.593
AT ITER 7706 NEW BEST:: SOT 1130617 SOS 712545 HAS SOPS 712356 HAS SOUS 64835 HAS SOUPS 64646 WITH SCORE 65358.545
AT ITER 7719 NEW BEST:: SOT 1130617 SOS 712744 HAS SOPS 712692 HAS SOUS 64652 HAS SOUPS 64600 WITH SCORE 65312.744
AT ITER 7723 NEW BEST:: SOT 1130622 SOS 712749 HAS SOPS 712697 HAS SOUS 64564 HAS SOUPS 64512 WITH SCORE 65224.749
AT ITER 7733 NEW BEST:: SOT 1130622 SOS 713249 HAS SOPS 713197 HAS SOUS 64539 HAS SOUPS 64487 WITH SCORE 65200.249
AT ITER 7750 NEW BEST:: SOT 1130622 SOS 712793 HAS SOPS 712741 HAS SOUS 64539 HAS SOUPS 64487 WITH SCORE 65199.793
AT ITER 7768 NEW BEST:: SOT 1130627 SOS 712846 HAS SOPS 712794 HAS SOUS 64465 HAS SOUPS 64413 WITH SCORE 65125.846
AT ITER 7796 NEW BEST:: SOT 1130374 SOS 712593 HAS SOPS 712541 HAS SOUS 64204 HAS SOUPS 64152 WITH SCORE 64864.593
AT ITER 7918 NEW BEST:: SOT 1130346 SOS 713069 HAS SOPS 713017 HAS SOUS 64187 HAS SOUPS 64135 WITH SCORE 64848.069
AT ITER 7946 NEW BEST:: SOT 1130346 SOS 713457 HAS SOPS 713405 HAS SOUS 64180 HAS SOUPS 64128 WITH SCORE 64841.457
AT ITER 7966 NEW BEST:: SOT 1130346 SOS 713169 HAS SOPS 713117 HAS SOUS 64180 HAS SOUPS 64128 WITH SCORE 64841.169
AT ITER 7968 NEW BEST:: SOT 1130346 SOS 712569 HAS SOPS 712517 HAS SOUS 64170 HAS SOUPS 64118 WITH SCORE 64830.569
AT ITER 8028 NEW BEST:: SOT 1130371 SOS 712594 HAS SOPS 712542 HAS SOUS 64096 HAS SOUPS 64044 WITH SCORE 64756.594
AT ITER 8046 NEW BEST:: SOT 1130071 SOS 712294 HAS SOPS 712242 HAS SOUS 64069 HAS SOUPS 64017 WITH SCORE 64729.294
AT ITER 8053 NEW BEST:: SOT 1130071 SOS 712270 HAS SOPS 712218 HAS SOUS 64069 HAS SOUPS 64017 WITH SCORE 64729.27
AT ITER 8057 NEW BEST:: SOT 1130051 SOS 713490 HAS SOPS 713438 HAS SOUS 63954 HAS SOUPS 63902 WITH SCORE 64615.49
AT ITER 8079 NEW BEST:: SOT 1130027 SOS 713464 HAS SOPS 713412 HAS SOUS 63936 HAS SOUPS 63884 WITH SCORE 64597.464
AT ITER 8108 NEW BEST:: SOT 1130027 SOS 713248 HAS SOPS 713196 HAS SOUS 63927 HAS SOUPS 63875 WITH SCORE 64588.248
AT ITER 8110 NEW BEST:: SOT 1129884 SOS 713105 HAS SOPS 713053 HAS SOUS 63689 HAS SOUPS 63637 WITH SCORE 64350.105
AT ITER 8123 NEW BEST:: SOT 1129429 SOS 712650 HAS SOPS 712598 HAS SOUS 63539 HAS SOUPS 63487 WITH SCORE 64199.65
AT ITER 8231 NEW BEST:: SOT 1129429 SOS 709658 HAS SOPS 709606 HAS SOUS 63539 HAS SOUPS 63487 WITH SCORE 64196.658
AT ITER 8244 NEW BEST:: SOT 1131837 SOS 715551 HAS SOPS 715518 HAS SOUS 63412 HAS SOUPS 63379 WITH SCORE 64094.551
AT ITER 8280 NEW BEST:: SOT 1131844 SOS 715586 HAS SOPS 715553 HAS SOUS 63376 HAS SOUPS 63343 WITH SCORE 64058.586
AT ITER 8283 NEW BEST:: SOT 1131844 SOS 715586 HAS SOPS 715553 HAS SOUS 63374 HAS SOUPS 63341 WITH SCORE 64056.586
AT ITER 8326 NEW BEST:: SOT 1131844 SOS 715562 HAS SOPS 715529 HAS SOUS 63374 HAS SOUPS 63341 WITH SCORE 64056.562
AT ITER 8414 NEW BEST:: SOT 1131844 SOS 715274 HAS SOPS 715241 HAS SOUS 63374 HAS SOUPS 63341 WITH SCORE 64056.274
AT ITER 8415 NEW BEST:: SOT 1131506 SOS 714936 HAS SOPS 714903 HAS SOUS 63245 HAS SOUPS 63212 WITH SCORE 63926.936
AT ITER 8430 NEW BEST:: SOT 1131506 SOS 714936 HAS SOPS 714903 HAS SOUS 62849 HAS SOUPS 62816 WITH SCORE 63530.936
AT ITER 8475 NEW BEST:: SOT 1131506 SOS 714936 HAS SOPS 714903 HAS SOUS 62841 HAS SOUPS 62808 WITH SCORE 63522.936
AT ITER 8482 NEW BEST:: SOT 1131506 SOS 714936 HAS SOPS 714903 HAS SOUS 62831 HAS SOUPS 62798 WITH SCORE 63512.936
AT ITER 8613 NEW BEST:: SOT 1131509 SOS 714939 HAS SOPS 714906 HAS SOUS 62752 HAS SOUPS 62719 WITH SCORE 63433.939
AT ITER 8620 NEW BEST:: SOT 1131517 SOS 715187 HAS SOPS 715154 HAS SOUS 62686 HAS SOUPS 62653 WITH SCORE 63368.187
AT ITER 8638 NEW BEST:: SOT 1131475 SOS 715145 HAS SOPS 715112 HAS SOUS 62639 HAS SOUPS 62606 WITH SCORE 63321.145
AT ITER 8696 NEW BEST:: SOT 1131475 SOS 715771 HAS SOPS 715738 HAS SOUS 62634 HAS SOUPS 62601 WITH SCORE 63316.771
AT ITER 8697 NEW BEST:: SOT 1131493 SOS 711817 HAS SOPS 711784 HAS SOUS 62612 HAS SOUPS 62579 WITH SCORE 63290.817
AT ITER 8698 NEW BEST:: SOT 1129906 SOS 713230 HAS SOPS 713197 HAS SOUS 62298 HAS SOUPS 62265 WITH SCORE 62978.23
AT ITER 8880 NEW BEST:: SOT 1129681 SOS 713005 HAS SOPS 712972 HAS SOUS 62240 HAS SOUPS 62207 WITH SCORE 62920.005
AT ITER 8889 NEW BEST:: SOT 1129681 SOS 713533 HAS SOPS 713500 HAS SOUS 62229 HAS SOUPS 62196 WITH SCORE 62909.533
AT ITER 8924 NEW BEST:: SOT 1127995 SOS 711847 HAS SOPS 711814 HAS SOUS 62055 HAS SOUPS 62022 WITH SCORE 62733.847
AT ITER 8937 NEW BEST:: SOT 1127957 SOS 711810 HAS SOPS 711777 HAS SOUS 61962 HAS SOUPS 61929 WITH SCORE 62640.81
AT ITER 8963 NEW BEST:: SOT 1127933 SOS 711786 HAS SOPS 711753 HAS SOUS 61951 HAS SOUPS 61918 WITH SCORE 62629.786
AT ITER 9007 NEW BEST:: SOT 1127933 SOS 712026 HAS SOPS 711993 HAS SOUS 61946 HAS SOUPS 61913 WITH SCORE 62625.026
AT ITER 9048 NEW BEST:: SOT 1127931 SOS 712008 HAS SOPS 711975 HAS SOUS 61944 HAS SOUPS 61911 WITH SCORE 62623.008
AT ITER 9116 NEW BEST:: SOT 1127927 SOS 712004 HAS SOPS 711971 HAS SOUS 61940 HAS SOUPS 61907 WITH SCORE 62619.004
AT ITER 9151 NEW BEST:: SOT 1127927 SOS 712196 HAS SOPS 712163 HAS SOUS 61932 HAS SOUPS 61899 WITH SCORE 62611.196
AT ITER 9167 NEW BEST:: SOT 1127940 SOS 712209 HAS SOPS 712176 HAS SOUS 61680 HAS SOUPS 61647 WITH SCORE 62359.209
AT ITER 9170 NEW BEST:: SOT 1127690 SOS 707341 HAS SOPS 707308 HAS SOUS 61662 HAS SOUPS 61629 WITH SCORE 62336.341
AT ITER 9208 NEW BEST:: SOT 1127019 SOS 707558 HAS SOPS 707525 HAS SOUS 61123 HAS SOUPS 61090 WITH SCORE 61797.558
AT ITER 9227 NEW BEST:: SOT 1127453 SOS 707992 HAS SOPS 707959 HAS SOUS 61034 HAS SOUPS 61001 WITH SCORE 61708.992
AT ITER 9255 NEW BEST:: SOT 1127453 SOS 707968 HAS SOPS 707935 HAS SOUS 61034 HAS SOUPS 61001 WITH SCORE 61708.968
AT ITER 9318 NEW BEST:: SOT 1127458 SOS 707993 HAS SOPS 707960 HAS SOUS 60991 HAS SOUPS 60958 WITH SCORE 61665.993
AT ITER 9359 NEW BEST:: SOT 1127343 SOS 707878 HAS SOPS 707845 HAS SOUS 60967 HAS SOUPS 60934 WITH SCORE 61641.878
AT ITER 9438 NEW BEST:: SOT 1127277 SOS 707812 HAS SOPS 707779 HAS SOUS 60856 HAS SOUPS 60823 WITH SCORE 61530.812
AT ITER 9455 NEW BEST:: SOT 1127277 SOS 707810 HAS SOPS 707777 HAS SOUS 60854 HAS SOUPS 60821 WITH SCORE 61528.81
AT ITER 9469 NEW BEST:: SOT 1127277 SOS 707810 HAS SOPS 707777 HAS SOUS 60833 HAS SOUPS 60800 WITH SCORE 61507.81
AT ITER 9471 NEW BEST:: SOT 1126908 SOS 706025 HAS SOPS 705992 HAS SOUS 60575 HAS SOUPS 60542 WITH SCORE 61248.025
AT ITER 9532 NEW BEST:: SOT 1126893 SOS 705970 HAS SOPS 705937 HAS SOUS 60568 HAS SOUPS 60535 WITH SCORE 61240.97
AT ITER 9540 NEW BEST:: SOT 1126893 SOS 705222 HAS SOPS 705189 HAS SOUS 60568 HAS SOUPS 60535 WITH SCORE 61240.222
AT ITER 9560 NEW BEST:: SOT 1126874 SOS 705203 HAS SOPS 705170 HAS SOUS 60519 HAS SOUPS 60486 WITH SCORE 61191.203
AT ITER 9587 NEW BEST:: SOT 1126874 SOS 705203 HAS SOPS 705170 HAS SOUS 60514 HAS SOUPS 60481 WITH SCORE 61186.203
AT ITER 9640 NEW BEST:: SOT 1126871 SOS 705194 HAS SOPS 705161 HAS SOUS 60508 HAS SOUPS 60475 WITH SCORE 61180.194
AT ITER 9695 NEW BEST:: SOT 1125359 SOS 703682 HAS SOPS 703649 HAS SOUS 60508 HAS SOUPS 60475 WITH SCORE 61178.682
AT ITER 9726 NEW BEST:: SOT 1125159 SOS 703482 HAS SOPS 703449 HAS SOUS 60492 HAS SOUPS 60459 WITH SCORE 61162.482
AT ITER 9936 NEW BEST:: SOT 1125159 SOS 703482 HAS SOPS 703449 HAS SOUS 60480 HAS SOUPS 60447 WITH SCORE 61150.482
AT ITER 9970 NEW BEST:: SOT 1125159 SOS 703218 HAS SOPS 703185 HAS SOUS 60480 HAS SOUPS 60447 WITH SCORE 61150.218
AT ITER 9976 NEW BEST:: SOT 1125159 SOS 702954 HAS SOPS 702921 HAS SOUS 60480 HAS SOUPS 60447 WITH SCORE 61149.954
AT ITER 9983 NEW BEST:: SOT 1124859 SOS 701478 HAS SOPS 701445 HAS SOUS 60466 HAS SOUPS 60433 WITH SCORE 61134.478
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11687052 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114484 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="Medical-PT-02"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Medical-PT-02, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856422100656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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