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-167856422100680.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-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422100680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 9.4K Feb 25 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 14:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 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 1678679831864

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-08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 03:57:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 03:57:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 03:57:13] [INFO ] Load time of PNML (sax parser for PT used): 239 ms
[2023-03-13 03:57:13] [INFO ] Transformed 312 places.
[2023-03-13 03:57:13] [INFO ] Transformed 5431 transitions.
[2023-03-13 03:57:13] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 442 ms.
[2023-03-13 03:57:13] [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 522 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 08
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 3 NEW BEST:: SOT 1170139 SOS 638983 HAS SOPS 635935 HAS SOUS 250255 HAS SOUPS 247438 WITH SCORE 248076.983
AT ITER 6 NEW BEST:: SOT 1152123 SOS 620952 HAS SOPS 618016 HAS SOUS 226209 HAS SOUPS 223487 WITH SCORE 224107.952
AT ITER 24 NEW BEST:: SOT 1153150 SOS 621889 HAS SOPS 619043 HAS SOUS 221968 HAS SOUPS 219329 WITH SCORE 219950.889
AT ITER 26 NEW BEST:: SOT 1152706 SOS 621357 HAS SOPS 618599 HAS SOUS 219696 HAS SOUPS 217125 WITH SCORE 217746.357
AT ITER 61 NEW BEST:: SOT 1152781 SOS 621432 HAS SOPS 618674 HAS SOUS 219693 HAS SOUPS 217122 WITH SCORE 217743.432
AT ITER 72 NEW BEST:: SOT 1151948 SOS 620536 HAS SOPS 617841 HAS SOUS 217840 HAS SOUPS 215310 WITH SCORE 215930.536
AT ITER 73 NEW BEST:: SOT 1151187 SOS 620271 HAS SOPS 617576 HAS SOUS 217056 HAS SOUPS 214526 WITH SCORE 215146.271
AT ITER 99 NEW BEST:: SOT 1150213 SOS 621244 HAS SOPS 618529 HAS SOUS 216946 HAS SOUPS 214396 WITH SCORE 215017.244
AT ITER 109 NEW BEST:: SOT 1150213 SOS 621244 HAS SOPS 618529 HAS SOUS 216746 HAS SOUPS 214196 WITH SCORE 214817.244
AT ITER 113 NEW BEST:: SOT 1151240 SOS 622234 HAS SOPS 619556 HAS SOUS 213612 HAS SOUPS 211099 WITH SCORE 211721.234
AT ITER 120 NEW BEST:: SOT 1151240 SOS 622234 HAS SOPS 619556 HAS SOUS 213573 HAS SOUPS 211060 WITH SCORE 211682.234
AT ITER 121 NEW BEST:: SOT 1151240 SOS 623098 HAS SOPS 620420 HAS SOUS 213519 HAS SOUPS 211006 WITH SCORE 211629.098
AT ITER 128 NEW BEST:: SOT 1135548 SOS 607939 HAS SOPS 605880 HAS SOUS 197074 HAS SOUPS 195180 WITH SCORE 195787.939
AT ITER 129 NEW BEST:: SOT 1135696 SOS 610895 HAS SOPS 608836 HAS SOUS 196990 HAS SOUPS 195096 WITH SCORE 195706.895
AT ITER 131 NEW BEST:: SOT 1138470 SOS 613610 HAS SOPS 611610 HAS SOUS 196902 HAS SOUPS 195046 WITH SCORE 195659.61
AT ITER 140 NEW BEST:: SOT 1138470 SOS 613656 HAS SOPS 611656 HAS SOUS 196743 HAS SOUPS 194887 WITH SCORE 195500.656
AT ITER 142 NEW BEST:: SOT 1138470 SOS 613656 HAS SOPS 611656 HAS SOUS 195962 HAS SOUPS 194106 WITH SCORE 194719.656
AT ITER 143 NEW BEST:: SOT 1138215 SOS 615921 HAS SOPS 613921 HAS SOUS 193491 HAS SOUPS 191635 WITH SCORE 192250.921
AT ITER 150 NEW BEST:: SOT 1138006 SOS 615712 HAS SOPS 613712 HAS SOUS 193128 HAS SOUPS 191272 WITH SCORE 191887.712
AT ITER 158 NEW BEST:: SOT 1139127 SOS 616833 HAS SOPS 614833 HAS SOUS 192856 HAS SOUPS 191000 WITH SCORE 191616.833
AT ITER 162 NEW BEST:: SOT 1138441 SOS 619267 HAS SOPS 617267 HAS SOUS 192736 HAS SOUPS 190880 WITH SCORE 191499.267
AT ITER 163 NEW BEST:: SOT 1138441 SOS 620107 HAS SOPS 618107 HAS SOUS 192540 HAS SOUPS 190684 WITH SCORE 191304.107
AT ITER 172 NEW BEST:: SOT 1138441 SOS 619531 HAS SOPS 617531 HAS SOUS 192540 HAS SOUPS 190684 WITH SCORE 191303.531
AT ITER 181 NEW BEST:: SOT 1137179 SOS 618660 HAS SOPS 617013 HAS SOUS 190037 HAS SOUPS 188421 WITH SCORE 189039.66
AT ITER 184 NEW BEST:: SOT 1137179 SOS 619692 HAS SOPS 618045 HAS SOUS 189868 HAS SOUPS 188252 WITH SCORE 188871.692
AT ITER 195 NEW BEST:: SOT 1137179 SOS 621344 HAS SOPS 619697 HAS SOUS 189718 HAS SOUPS 188102 WITH SCORE 188723.344
AT ITER 201 NEW BEST:: SOT 1137179 SOS 620443 HAS SOPS 618713 HAS SOUS 189797 HAS SOUPS 188098 WITH SCORE 188718.443
AT ITER 203 NEW BEST:: SOT 1137177 SOS 620441 HAS SOPS 618711 HAS SOUS 189796 HAS SOUPS 188097 WITH SCORE 188717.441
AT ITER 208 NEW BEST:: SOT 1137177 SOS 620321 HAS SOPS 618591 HAS SOUS 189791 HAS SOUPS 188092 WITH SCORE 188712.321
AT ITER 215 NEW BEST:: SOT 1137177 SOS 715535 HAS SOPS 713805 HAS SOUS 188368 HAS SOUPS 186669 WITH SCORE 187384.535
AT ITER 217 NEW BEST:: SOT 1137387 SOS 717425 HAS SOPS 715695 HAS SOUS 188349 HAS SOUPS 186650 WITH SCORE 187367.425
AT ITER 228 NEW BEST:: SOT 1135260 SOS 715298 HAS SOPS 713568 HAS SOUS 187416 HAS SOUPS 185717 WITH SCORE 186432.298
AT ITER 233 NEW BEST:: SOT 1137530 SOS 717558 HAS SOPS 715838 HAS SOUS 186261 HAS SOUPS 184572 WITH SCORE 185289.558
AT ITER 236 NEW BEST:: SOT 1137530 SOS 717558 HAS SOPS 715838 HAS SOUS 186199 HAS SOUPS 184510 WITH SCORE 185227.558
AT ITER 237 NEW BEST:: SOT 1137233 SOS 721077 HAS SOPS 719357 HAS SOUS 184132 HAS SOUPS 182443 WITH SCORE 183164.077
AT ITER 249 NEW BEST:: SOT 1137233 SOS 722275 HAS SOPS 720557 HAS SOUS 183841 HAS SOUPS 182154 WITH SCORE 182876.275
AT ITER 258 NEW BEST:: SOT 1137233 SOS 722275 HAS SOPS 720557 HAS SOUS 183809 HAS SOUPS 182122 WITH SCORE 182844.275
AT ITER 262 NEW BEST:: SOT 1137230 SOS 722272 HAS SOPS 720554 HAS SOUS 183806 HAS SOUPS 182119 WITH SCORE 182841.272
AT ITER 263 NEW BEST:: SOT 1136875 SOS 721167 HAS SOPS 719449 HAS SOUS 183794 HAS SOUPS 182107 WITH SCORE 182828.167
AT ITER 277 NEW BEST:: SOT 1136364 SOS 722072 HAS SOPS 720370 HAS SOUS 183451 HAS SOUPS 181778 WITH SCORE 182500.072
AT ITER 283 NEW BEST:: SOT 1137141 SOS 722849 HAS SOPS 721147 HAS SOUS 183161 HAS SOUPS 181488 WITH SCORE 182210.849
AT ITER 302 NEW BEST:: SOT 1137963 SOS 723995 HAS SOPS 722293 HAS SOUS 182516 HAS SOUPS 180843 WITH SCORE 181566.995
AT ITER 303 NEW BEST:: SOT 1137963 SOS 724151 HAS SOPS 722461 HAS SOUS 181499 HAS SOUPS 179838 WITH SCORE 180562.151
AT ITER 310 NEW BEST:: SOT 1137945 SOS 725783 HAS SOPS 724093 HAS SOUS 181219 HAS SOUPS 179558 WITH SCORE 180283.783
AT ITER 311 NEW BEST:: SOT 1137945 SOS 725783 HAS SOPS 724093 HAS SOUS 180973 HAS SOUPS 179312 WITH SCORE 180037.783
AT ITER 314 NEW BEST:: SOT 1138797 SOS 726627 HAS SOPS 724945 HAS SOUS 179980 HAS SOUPS 178327 WITH SCORE 179053.627
AT ITER 319 NEW BEST:: SOT 1138069 SOS 728475 HAS SOPS 726793 HAS SOUS 179311 HAS SOUPS 177658 WITH SCORE 178386.475
AT ITER 323 NEW BEST:: SOT 1138069 SOS 729843 HAS SOPS 728161 HAS SOUS 179011 HAS SOUPS 177358 WITH SCORE 178087.843
AT ITER 333 NEW BEST:: SOT 1138062 SOS 729792 HAS SOPS 728110 HAS SOUS 178997 HAS SOUPS 177344 WITH SCORE 178073.792
AT ITER 339 NEW BEST:: SOT 1138062 SOS 729782 HAS SOPS 728110 HAS SOUS 178682 HAS SOUPS 177039 WITH SCORE 177768.782
AT ITER 340 NEW BEST:: SOT 1138062 SOS 730302 HAS SOPS 728630 HAS SOUS 178254 HAS SOUPS 176611 WITH SCORE 177341.302
AT ITER 343 NEW BEST:: SOT 1138866 SOS 731106 HAS SOPS 729434 HAS SOUS 177467 HAS SOUPS 175824 WITH SCORE 176555.106
AT ITER 347 NEW BEST:: SOT 1138852 SOS 731092 HAS SOPS 729420 HAS SOUS 177453 HAS SOUPS 175810 WITH SCORE 176541.092
AT ITER 360 NEW BEST:: SOT 1138852 SOS 731092 HAS SOPS 729420 HAS SOUS 176994 HAS SOUPS 175351 WITH SCORE 176082.092
AT ITER 362 NEW BEST:: SOT 1138852 SOS 661792 HAS SOPS 660120 HAS SOUS 176852 HAS SOUPS 175209 WITH SCORE 175870.792
AT ITER 368 NEW BEST:: SOT 1140149 SOS 786352 HAS SOPS 784680 HAS SOUS 176573 HAS SOUPS 174930 WITH SCORE 175716.352
AT ITER 369 NEW BEST:: SOT 1140149 SOS 786112 HAS SOPS 784440 HAS SOUS 176573 HAS SOUPS 174930 WITH SCORE 175716.112
AT ITER 371 NEW BEST:: SOT 1140234 SOS 786197 HAS SOPS 784525 HAS SOUS 176539 HAS SOUPS 174896 WITH SCORE 175682.197
AT ITER 372 NEW BEST:: SOT 1141254 SOS 787206 HAS SOPS 785545 HAS SOUS 175272 HAS SOUPS 173640 WITH SCORE 174427.206
AT ITER 380 NEW BEST:: SOT 1141254 SOS 788574 HAS SOPS 786913 HAS SOUS 174994 HAS SOUPS 173362 WITH SCORE 174150.574
AT ITER 386 NEW BEST:: SOT 1141164 SOS 788502 HAS SOPS 786823 HAS SOUS 174463 HAS SOUPS 172822 WITH SCORE 173610.502
AT ITER 391 NEW BEST:: SOT 1140646 SOS 787962 HAS SOPS 786305 HAS SOUS 173443 HAS SOUPS 171820 WITH SCORE 172607.962
AT ITER 395 NEW BEST:: SOT 1140646 SOS 764367 HAS SOPS 762710 HAS SOUS 173408 HAS SOUPS 171785 WITH SCORE 172549.367
AT ITER 406 NEW BEST:: SOT 1140646 SOS 764119 HAS SOPS 762462 HAS SOUS 173334 HAS SOUPS 171711 WITH SCORE 172475.119
AT ITER 418 NEW BEST:: SOT 1140646 SOS 764119 HAS SOPS 762462 HAS SOUS 172265 HAS SOUPS 170642 WITH SCORE 171406.119
AT ITER 419 NEW BEST:: SOT 1140646 SOS 764503 HAS SOPS 762846 HAS SOUS 172177 HAS SOUPS 170554 WITH SCORE 171318.503
AT ITER 420 NEW BEST:: SOT 1140646 SOS 764503 HAS SOPS 762846 HAS SOUS 171212 HAS SOUPS 169589 WITH SCORE 170353.503
AT ITER 440 NEW BEST:: SOT 1141424 SOS 768140 HAS SOPS 766503 HAS SOUS 169075 HAS SOUPS 167472 WITH SCORE 168240.14
AT ITER 448 NEW BEST:: SOT 1143779 SOS 775742 HAS SOPS 774114 HAS SOUS 168640 HAS SOUPS 167037 WITH SCORE 167812.742
AT ITER 452 NEW BEST:: SOT 1143779 SOS 775814 HAS SOPS 774186 HAS SOUS 168628 HAS SOUPS 167025 WITH SCORE 167800.814
AT ITER 464 NEW BEST:: SOT 1143124 SOS 777439 HAS SOPS 775811 HAS SOUS 165808 HAS SOUPS 164205 WITH SCORE 164982.439
AT ITER 481 NEW BEST:: SOT 1144688 SOS 778994 HAS SOPS 777375 HAS SOUS 164418 HAS SOUPS 162824 WITH SCORE 163602.994
AT ITER 499 NEW BEST:: SOT 1144688 SOS 779546 HAS SOPS 777927 HAS SOUS 164333 HAS SOUPS 162739 WITH SCORE 163518.546
AT ITER 500 NEW BEST:: SOT 1144484 SOS 779082 HAS SOPS 777359 HAS SOUS 164129 HAS SOUPS 162431 WITH SCORE 163210.082
AT ITER 502 NEW BEST:: SOT 1144322 SOS 778920 HAS SOPS 777197 HAS SOUS 163559 HAS SOUPS 161861 WITH SCORE 162639.92
AT ITER 504 NEW BEST:: SOT 1143335 SOS 777933 HAS SOPS 776210 HAS SOUS 162572 HAS SOUPS 160874 WITH SCORE 161651.933
AT ITER 508 NEW BEST:: SOT 1141613 SOS 776211 HAS SOPS 774488 HAS SOUS 162498 HAS SOUPS 160800 WITH SCORE 161576.211
AT ITER 517 NEW BEST:: SOT 1140713 SOS 775311 HAS SOPS 773588 HAS SOUS 162181 HAS SOUPS 160483 WITH SCORE 161258.311
AT ITER 519 NEW BEST:: SOT 1141622 SOS 776165 HAS SOPS 774497 HAS SOUS 160858 HAS SOUPS 159210 WITH SCORE 159986.165
AT ITER 525 NEW BEST:: SOT 1141622 SOS 776549 HAS SOPS 774881 HAS SOUS 160783 HAS SOUPS 159135 WITH SCORE 159911.549
AT ITER 526 NEW BEST:: SOT 1142521 SOS 777420 HAS SOPS 775780 HAS SOUS 159550 HAS SOUPS 157930 WITH SCORE 158707.42
AT ITER 529 NEW BEST:: SOT 1142162 SOS 777061 HAS SOPS 775421 HAS SOUS 158524 HAS SOUPS 156904 WITH SCORE 157681.061
AT ITER 531 NEW BEST:: SOT 1142150 SOS 777049 HAS SOPS 775409 HAS SOUS 158512 HAS SOUPS 156892 WITH SCORE 157669.049
AT ITER 532 NEW BEST:: SOT 1142150 SOS 777841 HAS SOPS 776201 HAS SOUS 158473 HAS SOUPS 156853 WITH SCORE 157630.841
AT ITER 533 NEW BEST:: SOT 1143943 SOS 796818 HAS SOPS 794458 HAS SOUS 158428 HAS SOUPS 156661 WITH SCORE 157457.818
AT ITER 536 NEW BEST:: SOT 1143820 SOS 796695 HAS SOPS 794335 HAS SOUS 158176 HAS SOUPS 156409 WITH SCORE 157205.695
AT ITER 544 NEW BEST:: SOT 1143832 SOS 798003 HAS SOPS 795643 HAS SOUS 158173 HAS SOUPS 156406 WITH SCORE 157204.003
AT ITER 545 NEW BEST:: SOT 1143859 SOS 798774 HAS SOPS 796414 HAS SOUS 158077 HAS SOUPS 156310 WITH SCORE 157108.774
AT ITER 547 NEW BEST:: SOT 1143859 SOS 798810 HAS SOPS 796450 HAS SOUS 158014 HAS SOUPS 156247 WITH SCORE 157045.81
AT ITER 567 NEW BEST:: SOT 1146141 SOS 801877 HAS SOPS 799861 HAS SOUS 157660 HAS SOUPS 156237 WITH SCORE 157038.877
AT ITER 574 NEW BEST:: SOT 1146262 SOS 801996 HAS SOPS 799982 HAS SOUS 157337 HAS SOUPS 155916 WITH SCORE 156717.996
AT ITER 584 NEW BEST:: SOT 1146262 SOS 802044 HAS SOPS 800030 HAS SOUS 157335 HAS SOUPS 155914 WITH SCORE 156716.044
AT ITER 585 NEW BEST:: SOT 1146262 SOS 840362 HAS SOPS 838348 HAS SOUS 157255 HAS SOUPS 155834 WITH SCORE 156674.362
AT ITER 593 NEW BEST:: SOT 1145591 SOS 840051 HAS SOPS 838037 HAS SOUS 156749 HAS SOUPS 155328 WITH SCORE 156168.051
AT ITER 596 NEW BEST:: SOT 1145591 SOS 840099 HAS SOPS 838085 HAS SOUS 156746 HAS SOUPS 155325 WITH SCORE 156165.099
AT ITER 598 NEW BEST:: SOT 1145591 SOS 841395 HAS SOPS 839381 HAS SOUS 156663 HAS SOUPS 155242 WITH SCORE 156083.395
AT ITER 601 NEW BEST:: SOT 1144973 SOS 841213 HAS SOPS 839271 HAS SOUS 155833 HAS SOUPS 154484 WITH SCORE 155325.213
AT ITER 618 NEW BEST:: SOT 1144776 SOS 841016 HAS SOPS 839074 HAS SOUS 155810 HAS SOUPS 154461 WITH SCORE 155302.016
AT ITER 622 NEW BEST:: SOT 1144478 SOS 840718 HAS SOPS 838776 HAS SOUS 155134 HAS SOUPS 153785 WITH SCORE 154625.718
AT ITER 624 NEW BEST:: SOT 1144079 SOS 843175 HAS SOPS 841233 HAS SOUS 153707 HAS SOUPS 152358 WITH SCORE 153201.175
AT ITER 632 NEW BEST:: SOT 1146163 SOS 845259 HAS SOPS 843317 HAS SOUS 152124 HAS SOUPS 150775 WITH SCORE 151620.259
AT ITER 635 NEW BEST:: SOT 1145909 SOS 845005 HAS SOPS 843063 HAS SOUS 151330 HAS SOUPS 149981 WITH SCORE 150826.005
AT ITER 640 NEW BEST:: SOT 1146623 SOS 845719 HAS SOPS 843777 HAS SOUS 151262 HAS SOUPS 149913 WITH SCORE 150758.719
AT ITER 662 NEW BEST:: SOT 1146701 SOS 845797 HAS SOPS 843855 HAS SOUS 151153 HAS SOUPS 149804 WITH SCORE 150649.797
AT ITER 673 NEW BEST:: SOT 1146701 SOS 847069 HAS SOPS 845127 HAS SOUS 150750 HAS SOUPS 149401 WITH SCORE 150248.069
AT ITER 675 NEW BEST:: SOT 1146701 SOS 843619 HAS SOPS 841677 HAS SOUS 150750 HAS SOUPS 149401 WITH SCORE 150244.619
AT ITER 677 NEW BEST:: SOT 1146710 SOS 843628 HAS SOPS 841686 HAS SOUS 150739 HAS SOUPS 149390 WITH SCORE 150233.628
AT ITER 683 NEW BEST:: SOT 1146710 SOS 843772 HAS SOPS 841830 HAS SOUS 150727 HAS SOUPS 149378 WITH SCORE 150221.772
AT ITER 692 NEW BEST:: SOT 1146714 SOS 843776 HAS SOPS 841834 HAS SOUS 150711 HAS SOUPS 149362 WITH SCORE 150205.776
AT ITER 704 NEW BEST:: SOT 1146185 SOS 843247 HAS SOPS 841305 HAS SOUS 150379 HAS SOUPS 149030 WITH SCORE 149873.247
AT ITER 709 NEW BEST:: SOT 1146197 SOS 843259 HAS SOPS 841317 HAS SOUS 150203 HAS SOUPS 148854 WITH SCORE 149697.259
AT ITER 716 NEW BEST:: SOT 1146197 SOS 844051 HAS SOPS 842109 HAS SOUS 150138 HAS SOUPS 148789 WITH SCORE 149633.051
AT ITER 721 NEW BEST:: SOT 1146197 SOS 844651 HAS SOPS 842709 HAS SOUS 150094 HAS SOUPS 148745 WITH SCORE 149589.651
AT ITER 725 NEW BEST:: SOT 1146197 SOS 844597 HAS SOPS 842655 HAS SOUS 150067 HAS SOUPS 148718 WITH SCORE 149562.597
AT ITER 733 NEW BEST:: SOT 1147805 SOS 880715 HAS SOPS 878793 HAS SOUS 149815 HAS SOUPS 148466 WITH SCORE 149346.715
AT ITER 735 NEW BEST:: SOT 1147752 SOS 888246 HAS SOPS 886324 HAS SOUS 149482 HAS SOUPS 148133 WITH SCORE 149021.246
AT ITER 740 NEW BEST:: SOT 1147752 SOS 888246 HAS SOPS 886324 HAS SOUS 149464 HAS SOUPS 148115 WITH SCORE 149003.246
AT ITER 753 NEW BEST:: SOT 1147752 SOS 887492 HAS SOPS 885570 HAS SOUS 149435 HAS SOUPS 148086 WITH SCORE 148973.492
AT ITER 769 NEW BEST:: SOT 1148225 SOS 887965 HAS SOPS 886043 HAS SOUS 149293 HAS SOUPS 147944 WITH SCORE 148831.965
AT ITER 781 NEW BEST:: SOT 1147847 SOS 888026 HAS SOPS 886133 HAS SOUS 149075 HAS SOUPS 147755 WITH SCORE 148643.026
AT ITER 783 NEW BEST:: SOT 1147461 SOS 887640 HAS SOPS 885747 HAS SOUS 147814 HAS SOUPS 146494 WITH SCORE 147381.64
AT ITER 790 NEW BEST:: SOT 1147461 SOS 887640 HAS SOPS 885747 HAS SOUS 147744 HAS SOUPS 146424 WITH SCORE 147311.64
AT ITER 797 NEW BEST:: SOT 1147461 SOS 887604 HAS SOPS 885711 HAS SOUS 147726 HAS SOUPS 146406 WITH SCORE 147293.604
AT ITER 798 NEW BEST:: SOT 1147478 SOS 887553 HAS SOPS 885660 HAS SOUS 147692 HAS SOUPS 146372 WITH SCORE 147259.553
AT ITER 803 NEW BEST:: SOT 1147252 SOS 887327 HAS SOPS 885434 HAS SOUS 147397 HAS SOUPS 146077 WITH SCORE 146964.327
AT ITER 804 NEW BEST:: SOT 1146316 SOS 886397 HAS SOPS 884504 HAS SOUS 146314 HAS SOUPS 144994 WITH SCORE 145880.397
AT ITER 817 NEW BEST:: SOT 1145918 SOS 885999 HAS SOPS 884106 HAS SOUS 145654 HAS SOUPS 144334 WITH SCORE 145219.999
AT ITER 820 NEW BEST:: SOT 1145918 SOS 886359 HAS SOPS 884466 HAS SOUS 145609 HAS SOUPS 144289 WITH SCORE 145175.359
AT ITER 829 NEW BEST:: SOT 1145530 SOS 885965 HAS SOPS 884078 HAS SOUS 144402 HAS SOUPS 143088 WITH SCORE 143973.965
AT ITER 839 NEW BEST:: SOT 1145530 SOS 886835 HAS SOPS 884966 HAS SOUS 144295 HAS SOUPS 142999 WITH SCORE 143885.835
AT ITER 845 NEW BEST:: SOT 1145530 SOS 886829 HAS SOPS 884960 HAS SOUS 144247 HAS SOUPS 142951 WITH SCORE 143837.829
AT ITER 848 NEW BEST:: SOT 1143216 SOS 850651 HAS SOPS 848704 HAS SOUS 144295 HAS SOUPS 142921 WITH SCORE 143771.651
AT ITER 858 NEW BEST:: SOT 1142545 SOS 851060 HAS SOPS 849113 HAS SOUS 143997 HAS SOUPS 142623 WITH SCORE 143474.06
AT ITER 868 NEW BEST:: SOT 1142545 SOS 849668 HAS SOPS 847721 HAS SOUS 143992 HAS SOUPS 142618 WITH SCORE 143467.668
AT ITER 871 NEW BEST:: SOT 1142545 SOS 844594 HAS SOPS 842563 HAS SOUS 143958 HAS SOUPS 142584 WITH SCORE 143428.594
AT ITER 874 NEW BEST:: SOT 1143551 SOS 845698 HAS SOPS 843667 HAS SOUS 142846 HAS SOUPS 141472 WITH SCORE 142317.698
AT ITER 883 NEW BEST:: SOT 1143650 SOS 845797 HAS SOPS 843766 HAS SOUS 142723 HAS SOUPS 141349 WITH SCORE 142194.797
AT ITER 885 NEW BEST:: SOT 1142256 SOS 844403 HAS SOPS 842372 HAS SOUS 142666 HAS SOUPS 141292 WITH SCORE 142136.403
AT ITER 894 NEW BEST:: SOT 1144415 SOS 846562 HAS SOPS 844531 HAS SOUS 142455 HAS SOUPS 141081 WITH SCORE 141927.562
AT ITER 897 NEW BEST:: SOT 1145537 SOS 847684 HAS SOPS 845653 HAS SOUS 142247 HAS SOUPS 140873 WITH SCORE 141720.684
AT ITER 898 NEW BEST:: SOT 1144173 SOS 846346 HAS SOPS 844289 HAS SOUS 142040 HAS SOUPS 140640 WITH SCORE 141486.346
AT ITER 911 NEW BEST:: SOT 1143483 SOS 845656 HAS SOPS 843599 HAS SOUS 141594 HAS SOUPS 140194 WITH SCORE 141039.656
AT ITER 915 NEW BEST:: SOT 1140800 SOS 826869 HAS SOPS 825532 HAS SOUS 138600 HAS SOUPS 137347 WITH SCORE 138173.869
AT ITER 934 NEW BEST:: SOT 1140333 SOS 826402 HAS SOPS 825065 HAS SOUS 137506 HAS SOUPS 136253 WITH SCORE 137079.402
AT ITER 953 NEW BEST:: SOT 1140187 SOS 826256 HAS SOPS 824919 HAS SOUS 137322 HAS SOUPS 136069 WITH SCORE 136895.256
AT ITER 962 NEW BEST:: SOT 1140185 SOS 826254 HAS SOPS 824917 HAS SOUS 137213 HAS SOUPS 135960 WITH SCORE 136786.254
AT ITER 980 NEW BEST:: SOT 1139919 SOS 825988 HAS SOPS 824651 HAS SOUS 136638 HAS SOUPS 135385 WITH SCORE 136210.988
AT ITER 981 NEW BEST:: SOT 1140763 SOS 826832 HAS SOPS 825495 HAS SOUS 136340 HAS SOUPS 135087 WITH SCORE 135913.832
AT ITER 987 NEW BEST:: SOT 1140763 SOS 827456 HAS SOPS 826119 HAS SOUS 136301 HAS SOUPS 135048 WITH SCORE 135875.456
AT ITER 992 NEW BEST:: SOT 1140771 SOS 704698 HAS SOPS 703339 HAS SOUS 136073 HAS SOUPS 134820 WITH SCORE 135524.698
AT ITER 994 NEW BEST:: SOT 1139760 SOS 703706 HAS SOPS 702328 HAS SOUS 136041 HAS SOUPS 134769 WITH SCORE 135472.706
AT ITER 997 NEW BEST:: SOT 1139760 SOS 703898 HAS SOPS 702520 HAS SOUS 135996 HAS SOUPS 134724 WITH SCORE 135427.898
AT ITER 1002 NEW BEST:: SOT 1141700 SOS 708831 HAS SOPS 707292 HAS SOUS 136146 HAS SOUPS 134713 WITH SCORE 135421.831
AT ITER 1003 NEW BEST:: SOT 1141968 SOS 709253 HAS SOPS 707714 HAS SOUS 135883 HAS SOUPS 134450 WITH SCORE 135159.253
AT ITER 1007 NEW BEST:: SOT 1142515 SOS 709800 HAS SOPS 708261 HAS SOUS 135852 HAS SOUPS 134419 WITH SCORE 135128.8
AT ITER 1013 NEW BEST:: SOT 1142515 SOS 709766 HAS SOPS 708227 HAS SOUS 135835 HAS SOUPS 134402 WITH SCORE 135111.766
AT ITER 1016 NEW BEST:: SOT 1142465 SOS 731765 HAS SOPS 730285 HAS SOUS 135263 HAS SOUPS 133845 WITH SCORE 134576.765
AT ITER 1018 NEW BEST:: SOT 1142465 SOS 731765 HAS SOPS 730285 HAS SOUS 134672 HAS SOUPS 133254 WITH SCORE 133985.765
AT ITER 1035 NEW BEST:: SOT 1142465 SOS 732077 HAS SOPS 730597 HAS SOUS 134409 HAS SOUPS 132991 WITH SCORE 133723.077
AT ITER 1065 NEW BEST:: SOT 1142421 SOS 732033 HAS SOPS 730553 HAS SOUS 134312 HAS SOUPS 132894 WITH SCORE 133626.033
AT ITER 1069 NEW BEST:: SOT 1142421 SOS 731025 HAS SOPS 729545 HAS SOUS 134312 HAS SOUPS 132894 WITH SCORE 133625.025
AT ITER 1074 NEW BEST:: SOT 1142421 SOS 731025 HAS SOPS 729545 HAS SOUS 134294 HAS SOUPS 132876 WITH SCORE 133607.025
AT ITER 1076 NEW BEST:: SOT 1142421 SOS 731025 HAS SOPS 729545 HAS SOUS 134184 HAS SOUPS 132766 WITH SCORE 133497.025
AT ITER 1079 NEW BEST:: SOT 1142804 SOS 731247 HAS SOPS 729423 HAS SOUS 134518 HAS SOUPS 132756 WITH SCORE 133487.247
AT ITER 1094 NEW BEST:: SOT 1142804 SOS 731247 HAS SOPS 729423 HAS SOUS 134503 HAS SOUPS 132741 WITH SCORE 133472.247
AT ITER 1099 NEW BEST:: SOT 1142912 SOS 731443 HAS SOPS 729619 HAS SOUS 134148 HAS SOUPS 132386 WITH SCORE 133117.443
AT ITER 1103 NEW BEST:: SOT 1141905 SOS 730456 HAS SOPS 728632 HAS SOUS 132866 HAS SOUPS 131104 WITH SCORE 131834.456
AT ITER 1109 NEW BEST:: SOT 1141905 SOS 730728 HAS SOPS 728904 HAS SOUS 132675 HAS SOUPS 130913 WITH SCORE 131643.728
AT ITER 1114 NEW BEST:: SOT 1140118 SOS 728787 HAS SOPS 726963 HAS SOUS 130719 HAS SOUPS 128957 WITH SCORE 129685.787
AT ITER 1122 NEW BEST:: SOT 1140118 SOS 728787 HAS SOPS 726963 HAS SOUS 130715 HAS SOUPS 128953 WITH SCORE 129681.787
AT ITER 1133 NEW BEST:: SOT 1139796 SOS 732530 HAS SOPS 730706 HAS SOUS 130277 HAS SOUPS 128515 WITH SCORE 129247.53
AT ITER 1134 NEW BEST:: SOT 1139702 SOS 732436 HAS SOPS 730612 HAS SOUS 130115 HAS SOUPS 128353 WITH SCORE 129085.436
AT ITER 1138 NEW BEST:: SOT 1141935 SOS 734669 HAS SOPS 732845 HAS SOUS 129367 HAS SOUPS 127605 WITH SCORE 128339.669
AT ITER 1145 NEW BEST:: SOT 1141788 SOS 733356 HAS SOPS 731589 HAS SOUS 128296 HAS SOUPS 126569 WITH SCORE 127302.356
AT ITER 1146 NEW BEST:: SOT 1141788 SOS 720462 HAS SOPS 718695 HAS SOUS 128037 HAS SOUPS 126310 WITH SCORE 127030.462
AT ITER 1156 NEW BEST:: SOT 1141788 SOS 719310 HAS SOPS 717543 HAS SOUS 128013 HAS SOUPS 126286 WITH SCORE 127005.31
AT ITER 1172 NEW BEST:: SOT 1141369 SOS 718301 HAS SOPS 716553 HAS SOUS 127584 HAS SOUPS 125876 WITH SCORE 126594.301
AT ITER 1181 NEW BEST:: SOT 1141369 SOS 719117 HAS SOPS 717201 HAS SOUS 127584 HAS SOUPS 125708 WITH SCORE 126427.117
AT ITER 1184 NEW BEST:: SOT 1140705 SOS 720811 HAS SOPS 718895 HAS SOUS 127226 HAS SOUPS 125350 WITH SCORE 126070.811
AT ITER 1202 NEW BEST:: SOT 1140705 SOS 726061 HAS SOPS 724379 HAS SOUS 126970 HAS SOUPS 125288 WITH SCORE 126014.061
AT ITER 1203 NEW BEST:: SOT 1140705 SOS 726061 HAS SOPS 724379 HAS SOUS 126652 HAS SOUPS 124970 WITH SCORE 125696.061
AT ITER 1206 NEW BEST:: SOT 1141000 SOS 726356 HAS SOPS 724674 HAS SOUS 126499 HAS SOUPS 124817 WITH SCORE 125543.356
AT ITER 1207 NEW BEST:: SOT 1140976 SOS 726332 HAS SOPS 724650 HAS SOUS 126475 HAS SOUPS 124793 WITH SCORE 125519.332
AT ITER 1208 NEW BEST:: SOT 1140976 SOS 726196 HAS SOPS 724514 HAS SOUS 126441 HAS SOUPS 124759 WITH SCORE 125485.196
AT ITER 1215 NEW BEST:: SOT 1143445 SOS 728636 HAS SOPS 726971 HAS SOUS 125572 HAS SOUPS 123907 WITH SCORE 124635.636
AT ITER 1219 NEW BEST:: SOT 1143266 SOS 725985 HAS SOPS 724320 HAS SOUS 125514 HAS SOUPS 123849 WITH SCORE 124574.985
AT ITER 1231 NEW BEST:: SOT 1143554 SOS 726633 HAS SOPS 724968 HAS SOUS 125424 HAS SOUPS 123759 WITH SCORE 124485.633
AT ITER 1236 NEW BEST:: SOT 1143554 SOS 726405 HAS SOPS 724740 HAS SOUS 125359 HAS SOUPS 123694 WITH SCORE 124420.405
AT ITER 1246 NEW BEST:: SOT 1143554 SOS 726405 HAS SOPS 724740 HAS SOUS 125240 HAS SOUPS 123575 WITH SCORE 124301.405
AT ITER 1252 NEW BEST:: SOT 1143554 SOS 726405 HAS SOPS 724740 HAS SOUS 125132 HAS SOUPS 123467 WITH SCORE 124193.405
AT ITER 1260 NEW BEST:: SOT 1143421 SOS 726272 HAS SOPS 724607 HAS SOUS 124836 HAS SOUPS 123171 WITH SCORE 123897.272
AT ITER 1269 NEW BEST:: SOT 1143474 SOS 729517 HAS SOPS 727852 HAS SOUS 124445 HAS SOUPS 122780 WITH SCORE 123509.517
AT ITER 1274 NEW BEST:: SOT 1143497 SOS 729540 HAS SOPS 727875 HAS SOUS 124356 HAS SOUPS 122691 WITH SCORE 123420.54
AT ITER 1277 NEW BEST:: SOT 1143313 SOS 729108 HAS SOPS 727443 HAS SOUS 123916 HAS SOUPS 122251 WITH SCORE 122980.108
AT ITER 1279 NEW BEST:: SOT 1143320 SOS 729115 HAS SOPS 727450 HAS SOUS 123900 HAS SOUPS 122235 WITH SCORE 122964.115
AT ITER 1290 NEW BEST:: SOT 1143669 SOS 729464 HAS SOPS 727799 HAS SOUS 123611 HAS SOUPS 121946 WITH SCORE 122675.464
AT ITER 1300 NEW BEST:: SOT 1143669 SOS 730168 HAS SOPS 728503 HAS SOUS 123579 HAS SOUPS 121914 WITH SCORE 122644.168
AT ITER 1326 NEW BEST:: SOT 1143669 SOS 730168 HAS SOPS 728503 HAS SOUS 123572 HAS SOUPS 121907 WITH SCORE 122637.168
AT ITER 1327 NEW BEST:: SOT 1143682 SOS 730441 HAS SOPS 728776 HAS SOUS 123546 HAS SOUPS 121881 WITH SCORE 122611.441
AT ITER 1330 NEW BEST:: SOT 1142619 SOS 733722 HAS SOPS 732057 HAS SOUS 122063 HAS SOUPS 120398 WITH SCORE 121131.722
AT ITER 1343 NEW BEST:: SOT 1142619 SOS 733722 HAS SOPS 732057 HAS SOUS 122039 HAS SOUPS 120374 WITH SCORE 121107.722
AT ITER 1344 NEW BEST:: SOT 1142839 SOS 734440 HAS SOPS 733010 HAS SOUS 121620 HAS SOUPS 120190 WITH SCORE 120924.44
AT ITER 1345 NEW BEST:: SOT 1142525 SOS 734763 HAS SOPS 733649 HAS SOUS 121226 HAS SOUPS 120112 WITH SCORE 120846.763
AT ITER 1349 NEW BEST:: SOT 1141955 SOS 734193 HAS SOPS 733079 HAS SOUS 121044 HAS SOUPS 119930 WITH SCORE 120664.193
AT ITER 1354 NEW BEST:: SOT 1141955 SOS 733785 HAS SOPS 732671 HAS SOUS 121044 HAS SOUPS 119930 WITH SCORE 120663.785
AT ITER 1355 NEW BEST:: SOT 1141942 SOS 733772 HAS SOPS 732658 HAS SOUS 121038 HAS SOUPS 119924 WITH SCORE 120657.772
AT ITER 1362 NEW BEST:: SOT 1139288 SOS 731419 HAS SOPS 729989 HAS SOUS 120212 HAS SOUPS 118782 WITH SCORE 119513.419
AT ITER 1383 NEW BEST:: SOT 1139288 SOS 732523 HAS SOPS 731093 HAS SOUS 120192 HAS SOUPS 118762 WITH SCORE 119494.523
AT ITER 1389 NEW BEST:: SOT 1137483 SOS 730718 HAS SOPS 729288 HAS SOUS 119717 HAS SOUPS 118287 WITH SCORE 119017.718
AT ITER 1406 NEW BEST:: SOT 1137032 SOS 730267 HAS SOPS 728837 HAS SOUS 119589 HAS SOUPS 118159 WITH SCORE 118889.267
AT ITER 1407 NEW BEST:: SOT 1137907 SOS 731142 HAS SOPS 729712 HAS SOUS 119531 HAS SOUPS 118101 WITH SCORE 118832.142
AT ITER 1411 NEW BEST:: SOT 1137936 SOS 731171 HAS SOPS 729741 HAS SOUS 119289 HAS SOUPS 117859 WITH SCORE 118590.171
AT ITER 1417 NEW BEST:: SOT 1137461 SOS 730696 HAS SOPS 729266 HAS SOUS 119192 HAS SOUPS 117762 WITH SCORE 118492.696
AT ITER 1435 NEW BEST:: SOT 1137890 SOS 731181 HAS SOPS 729751 HAS SOUS 119028 HAS SOUPS 117598 WITH SCORE 118329.181
AT ITER 1445 NEW BEST:: SOT 1137863 SOS 731154 HAS SOPS 729724 HAS SOUS 118972 HAS SOUPS 117542 WITH SCORE 118273.154
AT ITER 1449 NEW BEST:: SOT 1137863 SOS 730434 HAS SOPS 729004 HAS SOUS 118972 HAS SOUPS 117542 WITH SCORE 118272.434
AT ITER 1470 NEW BEST:: SOT 1137863 SOS 732498 HAS SOPS 731068 HAS SOUS 118858 HAS SOUPS 117428 WITH SCORE 118160.498
AT ITER 1471 NEW BEST:: SOT 1137382 SOS 731921 HAS SOPS 730491 HAS SOUS 118856 HAS SOUPS 117426 WITH SCORE 118157.921
AT ITER 1472 NEW BEST:: SOT 1137382 SOS 731225 HAS SOPS 729795 HAS SOUS 118827 HAS SOUPS 117397 WITH SCORE 118128.225
AT ITER 1493 NEW BEST:: SOT 1137577 SOS 731420 HAS SOPS 729990 HAS SOUS 118731 HAS SOUPS 117301 WITH SCORE 118032.42
AT ITER 1515 NEW BEST:: SOT 1137731 SOS 731658 HAS SOPS 730228 HAS SOUS 117110 HAS SOUPS 115680 WITH SCORE 116411.658
AT ITER 1524 NEW BEST:: SOT 1137731 SOS 731658 HAS SOPS 730228 HAS SOUS 116074 HAS SOUPS 114644 WITH SCORE 115375.658
AT ITER 1543 NEW BEST:: SOT 1137718 SOS 731645 HAS SOPS 730215 HAS SOUS 116047 HAS SOUPS 114617 WITH SCORE 115348.645
AT ITER 1562 NEW BEST:: SOT 1137718 SOS 729773 HAS SOPS 728343 HAS SOUS 116008 HAS SOUPS 114578 WITH SCORE 115307.773
AT ITER 1578 NEW BEST:: SOT 1137682 SOS 729737 HAS SOPS 728307 HAS SOUS 115751 HAS SOUPS 114321 WITH SCORE 115050.737
AT ITER 1581 NEW BEST:: SOT 1136510 SOS 728877 HAS SOPS 727447 HAS SOUS 114404 HAS SOUPS 112974 WITH SCORE 113702.877
AT ITER 1604 NEW BEST:: SOT 1136607 SOS 728974 HAS SOPS 727544 HAS SOUS 114089 HAS SOUPS 112659 WITH SCORE 113387.974
AT ITER 1605 NEW BEST:: SOT 1136546 SOS 728735 HAS SOPS 727305 HAS SOUS 114014 HAS SOUPS 112584 WITH SCORE 113312.735
AT ITER 1609 NEW BEST:: SOT 1136546 SOS 728735 HAS SOPS 727305 HAS SOUS 113910 HAS SOUPS 112480 WITH SCORE 113208.735
AT ITER 1617 NEW BEST:: SOT 1137326 SOS 729849 HAS SOPS 728419 HAS SOUS 113069 HAS SOUPS 111639 WITH SCORE 112368.849
AT ITER 1618 NEW BEST:: SOT 1136647 SOS 729108 HAS SOPS 727678 HAS SOUS 112918 HAS SOUPS 111488 WITH SCORE 112217.108
AT ITER 1619 NEW BEST:: SOT 1137038 SOS 730243 HAS SOPS 728813 HAS SOUS 112504 HAS SOUPS 111074 WITH SCORE 111804.243
AT ITER 1629 NEW BEST:: SOT 1136894 SOS 730099 HAS SOPS 728669 HAS SOUS 112464 HAS SOUPS 111034 WITH SCORE 111764.099
AT ITER 1650 NEW BEST:: SOT 1136894 SOS 730099 HAS SOPS 728669 HAS SOUS 112372 HAS SOUPS 110942 WITH SCORE 111672.099
AT ITER 1656 NEW BEST:: SOT 1137610 SOS 731775 HAS SOPS 730345 HAS SOUS 112293 HAS SOUPS 110863 WITH SCORE 111594.775
AT ITER 1664 NEW BEST:: SOT 1137088 SOS 731253 HAS SOPS 729823 HAS SOUS 111898 HAS SOUPS 110468 WITH SCORE 111199.253
AT ITER 1677 NEW BEST:: SOT 1137085 SOS 731235 HAS SOPS 729805 HAS SOUS 111895 HAS SOUPS 110465 WITH SCORE 111196.235
AT ITER 1682 NEW BEST:: SOT 1137360 SOS 731510 HAS SOPS 730080 HAS SOUS 111866 HAS SOUPS 110436 WITH SCORE 111167.51
AT ITER 1683 NEW BEST:: SOT 1138199 SOS 732433 HAS SOPS 731003 HAS SOUS 111635 HAS SOUPS 110205 WITH SCORE 110937.433
AT ITER 1703 NEW BEST:: SOT 1138199 SOS 732433 HAS SOPS 731003 HAS SOUS 111629 HAS SOUPS 110199 WITH SCORE 110931.433
AT ITER 1705 NEW BEST:: SOT 1138405 SOS 732639 HAS SOPS 731209 HAS SOUS 110879 HAS SOUPS 109449 WITH SCORE 110181.639
AT ITER 1732 NEW BEST:: SOT 1136842 SOS 729565 HAS SOPS 728061 HAS SOUS 109455 HAS SOUPS 107951 WITH SCORE 108680.565
AT ITER 1741 NEW BEST:: SOT 1135288 SOS 728011 HAS SOPS 726507 HAS SOUS 109453 HAS SOUPS 107949 WITH SCORE 108677.011
AT ITER 1763 NEW BEST:: SOT 1135288 SOS 729331 HAS SOPS 727827 HAS SOUS 109319 HAS SOUPS 107815 WITH SCORE 108544.331
AT ITER 1764 NEW BEST:: SOT 1135288 SOS 732595 HAS SOPS 731091 HAS SOUS 109042 HAS SOUPS 107538 WITH SCORE 108270.595
AT ITER 1771 NEW BEST:: SOT 1135288 SOS 732595 HAS SOPS 731091 HAS SOUS 109039 HAS SOUPS 107535 WITH SCORE 108267.595
AT ITER 1778 NEW BEST:: SOT 1135288 SOS 732883 HAS SOPS 731379 HAS SOUS 109014 HAS SOUPS 107510 WITH SCORE 108242.883
AT ITER 1783 NEW BEST:: SOT 1133251 SOS 730068 HAS SOPS 728564 HAS SOUS 108870 HAS SOUPS 107366 WITH SCORE 108096.068
AT ITER 1788 NEW BEST:: SOT 1134011 SOS 730810 HAS SOPS 729324 HAS SOUS 108519 HAS SOUPS 107033 WITH SCORE 107763.81
AT ITER 1802 NEW BEST:: SOT 1130808 SOS 724703 HAS SOPS 723217 HAS SOUS 108340 HAS SOUPS 106854 WITH SCORE 107578.703
AT ITER 1804 NEW BEST:: SOT 1129056 SOS 721991 HAS SOPS 720505 HAS SOUS 107816 HAS SOUPS 106330 WITH SCORE 107051.991
AT ITER 1821 NEW BEST:: SOT 1129056 SOS 715904 HAS SOPS 714394 HAS SOUS 107806 HAS SOUPS 106296 WITH SCORE 107011.904
AT ITER 1826 NEW BEST:: SOT 1129056 SOS 716048 HAS SOPS 714538 HAS SOUS 107765 HAS SOUPS 106255 WITH SCORE 106971.048
AT ITER 1839 NEW BEST:: SOT 1129522 SOS 717075 HAS SOPS 715556 HAS SOUS 107361 HAS SOUPS 105842 WITH SCORE 106559.075
AT ITER 1851 NEW BEST:: SOT 1130147 SOS 717700 HAS SOPS 716181 HAS SOUS 107199 HAS SOUPS 105680 WITH SCORE 106397.7
AT ITER 1871 NEW BEST:: SOT 1130052 SOS 718397 HAS SOPS 716878 HAS SOUS 107137 HAS SOUPS 105618 WITH SCORE 106336.397
AT ITER 1884 NEW BEST:: SOT 1130052 SOS 719458 HAS SOPS 717958 HAS SOUS 107111 HAS SOUPS 105611 WITH SCORE 106330.458
AT ITER 1890 NEW BEST:: SOT 1130085 SOS 721347 HAS SOPS 719847 HAS SOUS 107073 HAS SOUPS 105573 WITH SCORE 106294.347
AT ITER 1891 NEW BEST:: SOT 1129416 SOS 720678 HAS SOPS 719178 HAS SOUS 106848 HAS SOUPS 105348 WITH SCORE 106068.678
AT ITER 1898 NEW BEST:: SOT 1129188 SOS 720450 HAS SOPS 718950 HAS SOUS 106356 HAS SOUPS 104856 WITH SCORE 105576.45
AT ITER 1899 NEW BEST:: SOT 1129188 SOS 721542 HAS SOPS 720042 HAS SOUS 106313 HAS SOUPS 104813 WITH SCORE 105534.542
AT ITER 1909 NEW BEST:: SOT 1129947 SOS 722301 HAS SOPS 720801 HAS SOUS 105933 HAS SOUPS 104433 WITH SCORE 105155.301
AT ITER 1915 NEW BEST:: SOT 1129372 SOS 725254 HAS SOPS 723754 HAS SOUS 104827 HAS SOUPS 103327 WITH SCORE 104052.254
AT ITER 1925 NEW BEST:: SOT 1129372 SOS 725250 HAS SOPS 723750 HAS SOUS 104827 HAS SOUPS 103327 WITH SCORE 104052.25
AT ITER 1934 NEW BEST:: SOT 1128589 SOS 724467 HAS SOPS 722967 HAS SOUS 104228 HAS SOUPS 102728 WITH SCORE 103452.467
AT ITER 1936 NEW BEST:: SOT 1128589 SOS 724467 HAS SOPS 722967 HAS SOUS 104209 HAS SOUPS 102709 WITH SCORE 103433.467
AT ITER 1937 NEW BEST:: SOT 1131407 SOS 729997 HAS SOPS 728497 HAS SOUS 104172 HAS SOUPS 102672 WITH SCORE 103401.997
AT ITER 1938 NEW BEST:: SOT 1131407 SOS 731791 HAS SOPS 730291 HAS SOUS 104133 HAS SOUPS 102633 WITH SCORE 103364.791
AT ITER 1939 NEW BEST:: SOT 1131407 SOS 730819 HAS SOPS 728719 HAS SOUS 104133 HAS SOUPS 102033 WITH SCORE 102763.819
AT ITER 1971 NEW BEST:: SOT 1131069 SOS 730694 HAS SOPS 728566 HAS SOUS 103896 HAS SOUPS 101768 WITH SCORE 102498.694
AT ITER 1987 NEW BEST:: SOT 1131134 SOS 737683 HAS SOPS 735555 HAS SOUS 103703 HAS SOUPS 101575 WITH SCORE 102312.683
AT ITER 1992 NEW BEST:: SOT 1131205 SOS 737772 HAS SOPS 735644 HAS SOUS 103378 HAS SOUPS 101250 WITH SCORE 101987.772
AT ITER 2001 NEW BEST:: SOT 1133378 SOS 739938 HAS SOPS 737817 HAS SOUS 102829 HAS SOUPS 100708 WITH SCORE 101447.938
AT ITER 2010 NEW BEST:: SOT 1132984 SOS 739544 HAS SOPS 737403 HAS SOUS 102382 HAS SOUPS 100241 WITH SCORE 100980.544
AT ITER 2012 NEW BEST:: SOT 1132262 SOS 741492 HAS SOPS 739351 HAS SOUS 101989 HAS SOUPS 99848 WITH SCORE 100589.492
AT ITER 2024 NEW BEST:: SOT 1132303 SOS 742412 HAS SOPS 740280 HAS SOUS 101899 HAS SOUPS 99767 WITH SCORE 100509.412
AT ITER 2032 NEW BEST:: SOT 1132303 SOS 742450 HAS SOPS 740356 HAS SOUS 101827 HAS SOUPS 99733 WITH SCORE 100475.45
AT ITER 2039 NEW BEST:: SOT 1130943 SOS 729386 HAS SOPS 727292 HAS SOUS 101231 HAS SOUPS 99137 WITH SCORE 99866.386
AT ITER 2047 NEW BEST:: SOT 1130583 SOS 728882 HAS SOPS 726788 HAS SOUS 101216 HAS SOUPS 99122 WITH SCORE 99850.882
AT ITER 2053 NEW BEST:: SOT 1130583 SOS 728018 HAS SOPS 725924 HAS SOUS 101216 HAS SOUPS 99122 WITH SCORE 99850.018
AT ITER 2064 NEW BEST:: SOT 1130583 SOS 727964 HAS SOPS 725868 HAS SOUS 101216 HAS SOUPS 99120 WITH SCORE 99847.964
AT ITER 2090 NEW BEST:: SOT 1129979 SOS 727360 HAS SOPS 725264 HAS SOUS 100862 HAS SOUPS 98766 WITH SCORE 99493.36
AT ITER 2096 NEW BEST:: SOT 1130236 SOS 727617 HAS SOPS 725521 HAS SOUS 100760 HAS SOUPS 98664 WITH SCORE 99391.617
AT ITER 2098 NEW BEST:: SOT 1129771 SOS 727152 HAS SOPS 725056 HAS SOUS 100320 HAS SOUPS 98224 WITH SCORE 98951.152
AT ITER 2108 NEW BEST:: SOT 1129670 SOS 727051 HAS SOPS 724955 HAS SOUS 100192 HAS SOUPS 98096 WITH SCORE 98823.051
AT ITER 2122 NEW BEST:: SOT 1129633 SOS 727014 HAS SOPS 724918 HAS SOUS 100116 HAS SOUPS 98020 WITH SCORE 98747.014
AT ITER 2127 NEW BEST:: SOT 1129633 SOS 726818 HAS SOPS 724722 HAS SOUS 100109 HAS SOUPS 98013 WITH SCORE 98739.818
AT ITER 2131 NEW BEST:: SOT 1129633 SOS 726434 HAS SOPS 724338 HAS SOUS 100109 HAS SOUPS 98013 WITH SCORE 98739.434
AT ITER 2132 NEW BEST:: SOT 1128436 SOS 725237 HAS SOPS 723141 HAS SOUS 99446 HAS SOUPS 97350 WITH SCORE 98075.237
AT ITER 2174 NEW BEST:: SOT 1129437 SOS 726238 HAS SOPS 724142 HAS SOUS 98335 HAS SOUPS 96239 WITH SCORE 96965.238
AT ITER 2180 NEW BEST:: SOT 1129914 SOS 726715 HAS SOPS 724619 HAS SOUS 98178 HAS SOUPS 96082 WITH SCORE 96808.715
AT ITER 2193 NEW BEST:: SOT 1129954 SOS 726755 HAS SOPS 724659 HAS SOUS 98134 HAS SOUPS 96038 WITH SCORE 96764.755
AT ITER 2206 NEW BEST:: SOT 1131007 SOS 729392 HAS SOPS 727296 HAS SOUS 97807 HAS SOUPS 95711 WITH SCORE 96440.392
AT ITER 2208 NEW BEST:: SOT 1132089 SOS 730474 HAS SOPS 728378 HAS SOUS 97755 HAS SOUPS 95659 WITH SCORE 96389.474
AT ITER 2211 NEW BEST:: SOT 1132087 SOS 730472 HAS SOPS 728376 HAS SOUS 97753 HAS SOUPS 95657 WITH SCORE 96387.472
AT ITER 2222 NEW BEST:: SOT 1132093 SOS 730478 HAS SOPS 728382 HAS SOUS 97249 HAS SOUPS 95153 WITH SCORE 95883.478
AT ITER 2231 NEW BEST:: SOT 1132093 SOS 730473 HAS SOPS 728382 HAS SOUS 97213 HAS SOUPS 95122 WITH SCORE 95852.473
AT ITER 2239 NEW BEST:: SOT 1132093 SOS 730448 HAS SOPS 728382 HAS SOUS 96860 HAS SOUPS 94794 WITH SCORE 95524.448
AT ITER 2250 NEW BEST:: SOT 1132045 SOS 730400 HAS SOPS 728334 HAS SOUS 96810 HAS SOUPS 94744 WITH SCORE 95474.4
AT ITER 2252 NEW BEST:: SOT 1131429 SOS 731826 HAS SOPS 729760 HAS SOUS 96304 HAS SOUPS 94238 WITH SCORE 94969.826
AT ITER 2268 NEW BEST:: SOT 1131429 SOS 730772 HAS SOPS 728680 HAS SOUS 96330 HAS SOUPS 94238 WITH SCORE 94968.772
AT ITER 2274 NEW BEST:: SOT 1131122 SOS 730465 HAS SOPS 728373 HAS SOUS 96066 HAS SOUPS 93974 WITH SCORE 94704.465
AT ITER 2276 NEW BEST:: SOT 1131562 SOS 735877 HAS SOPS 733785 HAS SOUS 96034 HAS SOUPS 93942 WITH SCORE 94677.877
AT ITER 2288 NEW BEST:: SOT 1131562 SOS 735637 HAS SOPS 733545 HAS SOUS 96034 HAS SOUPS 93942 WITH SCORE 94677.637
AT ITER 2293 NEW BEST:: SOT 1134380 SOS 740783 HAS SOPS 738691 HAS SOUS 95952 HAS SOUPS 93860 WITH SCORE 94600.783
AT ITER 2301 NEW BEST:: SOT 1132374 SOS 740289 HAS SOPS 738197 HAS SOUS 95098 HAS SOUPS 93006 WITH SCORE 93746.289
AT ITER 2316 NEW BEST:: SOT 1132372 SOS 740287 HAS SOPS 738195 HAS SOUS 95096 HAS SOUPS 93004 WITH SCORE 93744.287
AT ITER 2319 NEW BEST:: SOT 1132371 SOS 740298 HAS SOPS 738206 HAS SOUS 95047 HAS SOUPS 92955 WITH SCORE 93695.298
AT ITER 2320 NEW BEST:: SOT 1132041 SOS 739968 HAS SOPS 737876 HAS SOUS 94937 HAS SOUPS 92845 WITH SCORE 93584.968
AT ITER 2323 NEW BEST:: SOT 1132041 SOS 739656 HAS SOPS 737564 HAS SOUS 94937 HAS SOUPS 92845 WITH SCORE 93584.656
AT ITER 2346 NEW BEST:: SOT 1132053 SOS 739746 HAS SOPS 737648 HAS SOUS 94922 HAS SOUPS 92824 WITH SCORE 93563.746
AT ITER 2348 NEW BEST:: SOT 1132053 SOS 739747 HAS SOPS 737648 HAS SOUS 94920 HAS SOUPS 92821 WITH SCORE 93560.747
AT ITER 2355 NEW BEST:: SOT 1132053 SOS 739507 HAS SOPS 737408 HAS SOUS 94920 HAS SOUPS 92821 WITH SCORE 93560.507
AT ITER 2358 NEW BEST:: SOT 1132053 SOS 739507 HAS SOPS 737408 HAS SOUS 94882 HAS SOUPS 92783 WITH SCORE 93522.507
AT ITER 2363 NEW BEST:: SOT 1131985 SOS 739583 HAS SOPS 737484 HAS SOUS 94774 HAS SOUPS 92675 WITH SCORE 93414.583
AT ITER 2369 NEW BEST:: SOT 1130914 SOS 738512 HAS SOPS 736413 HAS SOUS 94220 HAS SOUPS 92121 WITH SCORE 92859.512
AT ITER 2371 NEW BEST:: SOT 1130914 SOS 738300 HAS SOPS 736201 HAS SOUS 94017 HAS SOUPS 91918 WITH SCORE 92656.3
AT ITER 2374 NEW BEST:: SOT 1130914 SOS 720444 HAS SOPS 718345 HAS SOUS 94032 HAS SOUPS 91933 WITH SCORE 92653.444
AT ITER 2390 NEW BEST:: SOT 1130942 SOS 720472 HAS SOPS 718373 HAS SOUS 94010 HAS SOUPS 91911 WITH SCORE 92631.472
AT ITER 2400 NEW BEST:: SOT 1130942 SOS 721836 HAS SOPS 719737 HAS SOUS 93948 HAS SOUPS 91849 WITH SCORE 92570.836
AT ITER 2402 NEW BEST:: SOT 1130942 SOS 721836 HAS SOPS 719737 HAS SOUS 93899 HAS SOUPS 91800 WITH SCORE 92521.836
AT ITER 2403 NEW BEST:: SOT 1131230 SOS 722240 HAS SOPS 720141 HAS SOUS 93687 HAS SOUPS 91588 WITH SCORE 92310.24
AT ITER 2420 NEW BEST:: SOT 1131176 SOS 722186 HAS SOPS 720087 HAS SOUS 93633 HAS SOUPS 91534 WITH SCORE 92256.186
AT ITER 2421 NEW BEST:: SOT 1131176 SOS 722291 HAS SOPS 720087 HAS SOUS 93631 HAS SOUPS 91427 WITH SCORE 92149.291
AT ITER 2423 NEW BEST:: SOT 1131346 SOS 722461 HAS SOPS 720257 HAS SOUS 93616 HAS SOUPS 91412 WITH SCORE 92134.461
AT ITER 2424 NEW BEST:: SOT 1132094 SOS 723455 HAS SOPS 721251 HAS SOUS 93582 HAS SOUPS 91378 WITH SCORE 92101.455
AT ITER 2440 NEW BEST:: SOT 1132150 SOS 723511 HAS SOPS 721307 HAS SOUS 93358 HAS SOUPS 91154 WITH SCORE 91877.511
AT ITER 2454 NEW BEST:: SOT 1131782 SOS 716639 HAS SOPS 714435 HAS SOUS 92993 HAS SOUPS 90789 WITH SCORE 91505.639
AT ITER 2478 NEW BEST:: SOT 1131782 SOS 715754 HAS SOPS 713505 HAS SOUS 92993 HAS SOUPS 90744 WITH SCORE 91459.754
AT ITER 2480 NEW BEST:: SOT 1131338 SOS 704270 HAS SOPS 702021 HAS SOUS 92792 HAS SOUPS 90543 WITH SCORE 91247.27
AT ITER 2488 NEW BEST:: SOT 1131154 SOS 706318 HAS SOPS 704069 HAS SOUS 92282 HAS SOUPS 90033 WITH SCORE 90739.318
AT ITER 2491 NEW BEST:: SOT 1131154 SOS 705422 HAS SOPS 703173 HAS SOUS 92250 HAS SOUPS 90001 WITH SCORE 90706.422
AT ITER 2510 NEW BEST:: SOT 1131154 SOS 703577 HAS SOPS 701328 HAS SOUS 92250 HAS SOUPS 90001 WITH SCORE 90704.577
AT ITER 2511 NEW BEST:: SOT 1131125 SOS 703539 HAS SOPS 701290 HAS SOUS 92219 HAS SOUPS 89970 WITH SCORE 90673.539
AT ITER 2513 NEW BEST:: SOT 1131136 SOS 703550 HAS SOPS 701301 HAS SOUS 92063 HAS SOUPS 89814 WITH SCORE 90517.55
AT ITER 2540 NEW BEST:: SOT 1131135 SOS 704077 HAS SOPS 701828 HAS SOUS 91784 HAS SOUPS 89535 WITH SCORE 90239.077
AT ITER 2548 NEW BEST:: SOT 1131135 SOS 705507 HAS SOPS 703258 HAS SOUS 91719 HAS SOUPS 89470 WITH SCORE 90175.507
AT ITER 2555 NEW BEST:: SOT 1130883 SOS 705591 HAS SOPS 703342 HAS SOUS 91481 HAS SOUPS 89232 WITH SCORE 89937.591
AT ITER 2556 NEW BEST:: SOT 1132387 SOS 707095 HAS SOPS 704846 HAS SOUS 91233 HAS SOUPS 88984 WITH SCORE 89691.095
AT ITER 2589 NEW BEST:: SOT 1132395 SOS 707103 HAS SOPS 704854 HAS SOUS 90964 HAS SOUPS 88715 WITH SCORE 89422.103
AT ITER 2619 NEW BEST:: SOT 1132395 SOS 705999 HAS SOPS 703750 HAS SOUS 90964 HAS SOUPS 88715 WITH SCORE 89420.999
AT ITER 2628 NEW BEST:: SOT 1132470 SOS 708044 HAS SOPS 705889 HAS SOUS 90866 HAS SOUPS 88711 WITH SCORE 89419.044
AT ITER 2630 NEW BEST:: SOT 1132470 SOS 707468 HAS SOPS 705313 HAS SOUS 90866 HAS SOUPS 88711 WITH SCORE 89418.468
AT ITER 2645 NEW BEST:: SOT 1132470 SOS 707468 HAS SOPS 705313 HAS SOUS 90854 HAS SOUPS 88699 WITH SCORE 89406.468
AT ITER 2672 NEW BEST:: SOT 1132067 SOS 707065 HAS SOPS 704910 HAS SOUS 90603 HAS SOUPS 88448 WITH SCORE 89155.065
AT ITER 2690 NEW BEST:: SOT 1132260 SOS 707820 HAS SOPS 705665 HAS SOUS 90584 HAS SOUPS 88429 WITH SCORE 89136.82
AT ITER 2709 NEW BEST:: SOT 1133142 SOS 728254 HAS SOPS 726099 HAS SOUS 90563 HAS SOUPS 88408 WITH SCORE 89136.254
AT ITER 2711 NEW BEST:: SOT 1133004 SOS 728116 HAS SOPS 725961 HAS SOUS 90371 HAS SOUPS 88216 WITH SCORE 88944.116
AT ITER 2721 NEW BEST:: SOT 1133004 SOS 728092 HAS SOPS 725937 HAS SOUS 90371 HAS SOUPS 88216 WITH SCORE 88944.092
AT ITER 2733 NEW BEST:: SOT 1132880 SOS 727968 HAS SOPS 725813 HAS SOUS 90303 HAS SOUPS 88148 WITH SCORE 88875.968
AT ITER 2735 NEW BEST:: SOT 1133792 SOS 728941 HAS SOPS 726786 HAS SOUS 90172 HAS SOUPS 88017 WITH SCORE 88745.941
AT ITER 2762 NEW BEST:: SOT 1133792 SOS 728909 HAS SOPS 726754 HAS SOUS 90172 HAS SOUPS 88017 WITH SCORE 88745.909
AT ITER 2769 NEW BEST:: SOT 1133677 SOS 728789 HAS SOPS 726634 HAS SOUS 90052 HAS SOUPS 87897 WITH SCORE 88625.789
AT ITER 2779 NEW BEST:: SOT 1133608 SOS 728720 HAS SOPS 726565 HAS SOUS 89983 HAS SOUPS 87828 WITH SCORE 88556.72
AT ITER 2787 NEW BEST:: SOT 1133853 SOS 728965 HAS SOPS 726810 HAS SOUS 89824 HAS SOUPS 87669 WITH SCORE 88397.965
AT ITER 2793 NEW BEST:: SOT 1133982 SOS 731219 HAS SOPS 729135 HAS SOUS 89739 HAS SOUPS 87655 WITH SCORE 88386.219
AT ITER 2802 NEW BEST:: SOT 1133982 SOS 730043 HAS SOPS 727959 HAS SOUS 89739 HAS SOUPS 87655 WITH SCORE 88385.043
AT ITER 2854 NEW BEST:: SOT 1134658 SOS 730719 HAS SOPS 728635 HAS SOUS 89638 HAS SOUPS 87554 WITH SCORE 88284.719
AT ITER 2862 NEW BEST:: SOT 1134658 SOS 729087 HAS SOPS 727003 HAS SOUS 89638 HAS SOUPS 87554 WITH SCORE 88283.087
AT ITER 2886 NEW BEST:: SOT 1136432 SOS 730981 HAS SOPS 728897 HAS SOUS 89469 HAS SOUPS 87385 WITH SCORE 88115.981
AT ITER 2895 NEW BEST:: SOT 1136432 SOS 727049 HAS SOPS 724965 HAS SOUS 89363 HAS SOUPS 87279 WITH SCORE 88006.049
AT ITER 2907 NEW BEST:: SOT 1136432 SOS 727024 HAS SOPS 724965 HAS SOUS 88940 HAS SOUPS 86881 WITH SCORE 87608.024
AT ITER 2914 NEW BEST:: SOT 1136432 SOS 727062 HAS SOPS 725041 HAS SOUS 88892 HAS SOUPS 86871 WITH SCORE 87598.062
AT ITER 2922 NEW BEST:: SOT 1136264 SOS 726335 HAS SOPS 724314 HAS SOUS 88884 HAS SOUPS 86863 WITH SCORE 87589.335
AT ITER 2936 NEW BEST:: SOT 1136264 SOS 725551 HAS SOPS 723530 HAS SOUS 88835 HAS SOUPS 86814 WITH SCORE 87539.551
AT ITER 2940 NEW BEST:: SOT 1135059 SOS 730610 HAS SOPS 728589 HAS SOUS 87960 HAS SOUPS 85939 WITH SCORE 86669.61
AT ITER 2957 NEW BEST:: SOT 1134949 SOS 730500 HAS SOPS 728479 HAS SOUS 87908 HAS SOUPS 85887 WITH SCORE 86617.5
AT ITER 2962 NEW BEST:: SOT 1134696 SOS 730399 HAS SOPS 728378 HAS SOUS 87441 HAS SOUPS 85420 WITH SCORE 86150.399
AT ITER 2994 NEW BEST:: SOT 1134696 SOS 732851 HAS SOPS 730838 HAS SOUS 87403 HAS SOUPS 85390 WITH SCORE 86122.851
AT ITER 3057 NEW BEST:: SOT 1134406 SOS 732561 HAS SOPS 730548 HAS SOUS 86969 HAS SOUPS 84956 WITH SCORE 85688.561
AT ITER 3071 NEW BEST:: SOT 1135751 SOS 734212 HAS SOPS 732199 HAS SOUS 86794 HAS SOUPS 84781 WITH SCORE 85515.212
AT ITER 3111 NEW BEST:: SOT 1135751 SOS 732303 HAS SOPS 730207 HAS SOUS 86877 HAS SOUPS 84781 WITH SCORE 85513.303
AT ITER 3120 NEW BEST:: SOT 1135751 SOS 732274 HAS SOPS 730207 HAS SOUS 86833 HAS SOUPS 84766 WITH SCORE 85498.274
AT ITER 3137 NEW BEST:: SOT 1136101 SOS 732624 HAS SOPS 730557 HAS SOUS 86538 HAS SOUPS 84471 WITH SCORE 85203.624
AT ITER 3140 NEW BEST:: SOT 1136032 SOS 732555 HAS SOPS 730488 HAS SOUS 86328 HAS SOUPS 84261 WITH SCORE 84993.555
AT ITER 3141 NEW BEST:: SOT 1136151 SOS 732674 HAS SOPS 730607 HAS SOUS 86214 HAS SOUPS 84147 WITH SCORE 84879.674
AT ITER 3154 NEW BEST:: SOT 1135886 SOS 732409 HAS SOPS 730342 HAS SOUS 86213 HAS SOUPS 84146 WITH SCORE 84878.409
AT ITER 3162 NEW BEST:: SOT 1135918 SOS 732441 HAS SOPS 730374 HAS SOUS 85449 HAS SOUPS 83382 WITH SCORE 84114.441
AT ITER 3188 NEW BEST:: SOT 1136243 SOS 732766 HAS SOPS 730699 HAS SOUS 85392 HAS SOUPS 83325 WITH SCORE 84057.766
AT ITER 3205 NEW BEST:: SOT 1136291 SOS 732684 HAS SOPS 730617 HAS SOUS 85237 HAS SOUPS 83170 WITH SCORE 83902.684
AT ITER 3216 NEW BEST:: SOT 1136641 SOS 734234 HAS SOPS 732167 HAS SOUS 84934 HAS SOUPS 82867 WITH SCORE 83601.234
AT ITER 3231 NEW BEST:: SOT 1136955 SOS 734548 HAS SOPS 732481 HAS SOUS 84550 HAS SOUPS 82483 WITH SCORE 83217.548
AT ITER 3233 NEW BEST:: SOT 1136955 SOS 733234 HAS SOPS 731167 HAS SOUS 84550 HAS SOUPS 82483 WITH SCORE 83216.234
AT ITER 3242 NEW BEST:: SOT 1136946 SOS 733225 HAS SOPS 731158 HAS SOUS 84541 HAS SOUPS 82474 WITH SCORE 83207.225
AT ITER 3244 NEW BEST:: SOT 1136766 SOS 733045 HAS SOPS 730978 HAS SOUS 84412 HAS SOUPS 82345 WITH SCORE 83078.045
AT ITER 3283 NEW BEST:: SOT 1136763 SOS 733042 HAS SOPS 730975 HAS SOUS 84409 HAS SOUPS 82342 WITH SCORE 83075.042
AT ITER 3290 NEW BEST:: SOT 1136765 SOS 731675 HAS SOPS 729608 HAS SOUS 84408 HAS SOUPS 82341 WITH SCORE 83072.675
AT ITER 3292 NEW BEST:: SOT 1136765 SOS 730222 HAS SOPS 728155 HAS SOUS 84349 HAS SOUPS 82282 WITH SCORE 83012.222
AT ITER 3301 NEW BEST:: SOT 1136765 SOS 731549 HAS SOPS 729499 HAS SOUS 84303 HAS SOUPS 82253 WITH SCORE 82984.549
AT ITER 3323 NEW BEST:: SOT 1136333 SOS 732341 HAS SOPS 730291 HAS SOUS 84276 HAS SOUPS 82226 WITH SCORE 82958.341
AT ITER 3326 NEW BEST:: SOT 1136373 SOS 732380 HAS SOPS 730331 HAS SOUS 84261 HAS SOUPS 82212 WITH SCORE 82944.38
AT ITER 3373 NEW BEST:: SOT 1136393 SOS 732400 HAS SOPS 730351 HAS SOUS 84224 HAS SOUPS 82175 WITH SCORE 82907.4
AT ITER 3376 NEW BEST:: SOT 1136393 SOS 736824 HAS SOPS 734775 HAS SOUS 84101 HAS SOUPS 82052 WITH SCORE 82788.824
AT ITER 3382 NEW BEST:: SOT 1136453 SOS 736754 HAS SOPS 734705 HAS SOUS 84039 HAS SOUPS 81990 WITH SCORE 82726.754
AT ITER 3392 NEW BEST:: SOT 1136453 SOS 735986 HAS SOPS 733937 HAS SOUS 84039 HAS SOUPS 81990 WITH SCORE 82725.986
AT ITER 3401 NEW BEST:: SOT 1136453 SOS 735986 HAS SOPS 733937 HAS SOUS 83730 HAS SOUPS 81681 WITH SCORE 82416.986
AT ITER 3422 NEW BEST:: SOT 1136453 SOS 736456 HAS SOPS 734417 HAS SOUS 83657 HAS SOUPS 81618 WITH SCORE 82354.456
AT ITER 3450 NEW BEST:: SOT 1136453 SOS 736456 HAS SOPS 734417 HAS SOUS 83611 HAS SOUPS 81572 WITH SCORE 82308.456
AT ITER 3456 NEW BEST:: SOT 1136453 SOS 736393 HAS SOPS 734291 HAS SOUS 83620 HAS SOUPS 81518 WITH SCORE 82254.393
AT ITER 3462 NEW BEST:: SOT 1135589 SOS 735493 HAS SOPS 733391 HAS SOUS 82828 HAS SOUPS 80726 WITH SCORE 81461.493
AT ITER 3542 NEW BEST:: SOT 1135589 SOS 719485 HAS SOPS 717383 HAS SOUS 82796 HAS SOUPS 80694 WITH SCORE 81413.485
AT ITER 3553 NEW BEST:: SOT 1136212 SOS 719431 HAS SOPS 717406 HAS SOUS 82690 HAS SOUPS 80665 WITH SCORE 81384.431
AT ITER 3590 NEW BEST:: SOT 1136212 SOS 717821 HAS SOPS 715750 HAS SOUS 82736 HAS SOUPS 80665 WITH SCORE 81382.821
AT ITER 3606 NEW BEST:: SOT 1136514 SOS 719571 HAS SOPS 717516 HAS SOUS 82644 HAS SOUPS 80589 WITH SCORE 81308.571
AT ITER 3608 NEW BEST:: SOT 1136774 SOS 724751 HAS SOPS 722768 HAS SOUS 82492 HAS SOUPS 80509 WITH SCORE 81233.751
AT ITER 3635 NEW BEST:: SOT 1136774 SOS 724751 HAS SOPS 722768 HAS SOUS 82472 HAS SOUPS 80489 WITH SCORE 81213.751
AT ITER 3648 NEW BEST:: SOT 1136774 SOS 725552 HAS SOPS 723492 HAS SOUS 82472 HAS SOUPS 80412 WITH SCORE 81137.552
AT ITER 3662 NEW BEST:: SOT 1136763 SOS 725541 HAS SOPS 723481 HAS SOUS 82448 HAS SOUPS 80388 WITH SCORE 81113.541
AT ITER 3665 NEW BEST:: SOT 1136980 SOS 725802 HAS SOPS 723742 HAS SOUS 82436 HAS SOUPS 80376 WITH SCORE 81101.802
AT ITER 3680 NEW BEST:: SOT 1138970 SOS 727789 HAS SOPS 725732 HAS SOUS 81621 HAS SOUPS 79564 WITH SCORE 80291.789
AT ITER 3698 NEW BEST:: SOT 1138970 SOS 727364 HAS SOPS 725324 HAS SOUS 81604 HAS SOUPS 79564 WITH SCORE 80291.364
AT ITER 3712 NEW BEST:: SOT 1139568 SOS 727944 HAS SOPS 725922 HAS SOUS 81512 HAS SOUPS 79490 WITH SCORE 80217.944
AT ITER 3724 NEW BEST:: SOT 1138728 SOS 727104 HAS SOPS 725082 HAS SOUS 81263 HAS SOUPS 79241 WITH SCORE 79968.104
AT ITER 3733 NEW BEST:: SOT 1138728 SOS 726874 HAS SOPS 724852 HAS SOUS 81263 HAS SOUPS 79241 WITH SCORE 79967.874
AT ITER 3734 NEW BEST:: SOT 1138601 SOS 726723 HAS SOPS 724701 HAS SOUS 81229 HAS SOUPS 79207 WITH SCORE 79933.723
AT ITER 3766 NEW BEST:: SOT 1138644 SOS 726766 HAS SOPS 724744 HAS SOUS 80934 HAS SOUPS 78912 WITH SCORE 79638.766
AT ITER 3775 NEW BEST:: SOT 1138436 SOS 722718 HAS SOPS 720696 HAS SOUS 80926 HAS SOUPS 78904 WITH SCORE 79626.718
AT ITER 3781 NEW BEST:: SOT 1138541 SOS 722841 HAS SOPS 720819 HAS SOUS 80850 HAS SOUPS 78828 WITH SCORE 79550.841
AT ITER 3810 NEW BEST:: SOT 1137643 SOS 721957 HAS SOPS 719921 HAS SOUS 80575 HAS SOUPS 78539 WITH SCORE 79260.957
AT ITER 3816 NEW BEST:: SOT 1138997 SOS 726308 HAS SOPS 724347 HAS SOUS 80333 HAS SOUPS 78372 WITH SCORE 79098.308
AT ITER 3840 NEW BEST:: SOT 1139023 SOS 726334 HAS SOPS 724373 HAS SOUS 80239 HAS SOUPS 78278 WITH SCORE 79004.334
AT ITER 3848 NEW BEST:: SOT 1139023 SOS 726334 HAS SOPS 724373 HAS SOUS 80180 HAS SOUPS 78219 WITH SCORE 78945.334
AT ITER 3850 NEW BEST:: SOT 1141163 SOS 728474 HAS SOPS 726513 HAS SOUS 79913 HAS SOUPS 77952 WITH SCORE 78680.474
AT ITER 3854 NEW BEST:: SOT 1141163 SOS 728471 HAS SOPS 726513 HAS SOUS 79910 HAS SOUPS 77952 WITH SCORE 78680.471
AT ITER 3858 NEW BEST:: SOT 1141164 SOS 728472 HAS SOPS 726514 HAS SOUS 79892 HAS SOUPS 77934 WITH SCORE 78662.472
AT ITER 3883 NEW BEST:: SOT 1141164 SOS 728240 HAS SOPS 726282 HAS SOUS 79892 HAS SOUPS 77934 WITH SCORE 78662.24
AT ITER 3903 NEW BEST:: SOT 1140948 SOS 728067 HAS SOPS 726066 HAS SOUS 79859 HAS SOUPS 77858 WITH SCORE 78586.067
AT ITER 3931 NEW BEST:: SOT 1140372 SOS 727491 HAS SOPS 725490 HAS SOUS 79858 HAS SOUPS 77857 WITH SCORE 78584.491
AT ITER 3949 NEW BEST:: SOT 1140022 SOS 727127 HAS SOPS 725126 HAS SOUS 79830 HAS SOUPS 77829 WITH SCORE 78556.127
AT ITER 3976 NEW BEST:: SOT 1140043 SOS 727148 HAS SOPS 725147 HAS SOUS 79797 HAS SOUPS 77796 WITH SCORE 78523.148
AT ITER 3978 NEW BEST:: SOT 1139926 SOS 727031 HAS SOPS 725030 HAS SOUS 79711 HAS SOUPS 77710 WITH SCORE 78437.031
AT ITER 3994 NEW BEST:: SOT 1139926 SOS 726167 HAS SOPS 724166 HAS SOUS 79711 HAS SOUPS 77710 WITH SCORE 78436.167
AT ITER 3998 NEW BEST:: SOT 1139926 SOS 726071 HAS SOPS 724070 HAS SOUS 79711 HAS SOUPS 77710 WITH SCORE 78436.071
AT ITER 4010 NEW BEST:: SOT 1139926 SOS 716327 HAS SOPS 714326 HAS SOUS 79711 HAS SOUPS 77710 WITH SCORE 78426.327
AT ITER 4020 NEW BEST:: SOT 1139775 SOS 716176 HAS SOPS 714175 HAS SOUS 79560 HAS SOUPS 77559 WITH SCORE 78275.176
AT ITER 4024 NEW BEST:: SOT 1139775 SOS 716176 HAS SOPS 714175 HAS SOUS 79521 HAS SOUPS 77520 WITH SCORE 78236.176
AT ITER 4043 NEW BEST:: SOT 1139775 SOS 716848 HAS SOPS 714847 HAS SOUS 79507 HAS SOUPS 77506 WITH SCORE 78222.848
AT ITER 4057 NEW BEST:: SOT 1139775 SOS 716848 HAS SOPS 714847 HAS SOUS 79457 HAS SOUPS 77456 WITH SCORE 78172.848
AT ITER 4060 NEW BEST:: SOT 1139775 SOS 716873 HAS SOPS 714847 HAS SOUS 79470 HAS SOUPS 77444 WITH SCORE 78160.873
AT ITER 4083 NEW BEST:: SOT 1141105 SOS 720339 HAS SOPS 718313 HAS SOUS 79354 HAS SOUPS 77328 WITH SCORE 78048.339
AT ITER 4086 NEW BEST:: SOT 1141105 SOS 720339 HAS SOPS 718313 HAS SOUS 79234 HAS SOUPS 77208 WITH SCORE 77928.339
AT ITER 4087 NEW BEST:: SOT 1141105 SOS 720299 HAS SOPS 718273 HAS SOUS 79214 HAS SOUPS 77188 WITH SCORE 77908.299
AT ITER 4112 NEW BEST:: SOT 1139955 SOS 719149 HAS SOPS 717123 HAS SOUS 79124 HAS SOUPS 77098 WITH SCORE 77817.149
AT ITER 4128 NEW BEST:: SOT 1139955 SOS 719773 HAS SOPS 717747 HAS SOUS 79111 HAS SOUPS 77085 WITH SCORE 77804.773
AT ITER 4132 NEW BEST:: SOT 1139955 SOS 719773 HAS SOPS 717747 HAS SOUS 79057 HAS SOUPS 77031 WITH SCORE 77750.773
AT ITER 4134 NEW BEST:: SOT 1140469 SOS 720217 HAS SOPS 718231 HAS SOUS 78916 HAS SOUPS 76930 WITH SCORE 77650.217
AT ITER 4144 NEW BEST:: SOT 1140459 SOS 720231 HAS SOPS 718245 HAS SOUS 78912 HAS SOUPS 76926 WITH SCORE 77646.231
AT ITER 4147 NEW BEST:: SOT 1141736 SOS 721508 HAS SOPS 719522 HAS SOUS 78810 HAS SOUPS 76824 WITH SCORE 77545.508
AT ITER 4192 NEW BEST:: SOT 1141257 SOS 721029 HAS SOPS 719043 HAS SOUS 78068 HAS SOUPS 76082 WITH SCORE 76803.029
AT ITER 4194 NEW BEST:: SOT 1142385 SOS 722157 HAS SOPS 720171 HAS SOUS 77874 HAS SOUPS 75888 WITH SCORE 76610.157
AT ITER 4204 NEW BEST:: SOT 1142385 SOS 722559 HAS SOPS 720573 HAS SOUS 77801 HAS SOUPS 75815 WITH SCORE 76537.559
AT ITER 4206 NEW BEST:: SOT 1140765 SOS 722907 HAS SOPS 720921 HAS SOUS 77543 HAS SOUPS 75557 WITH SCORE 76279.907
AT ITER 4229 NEW BEST:: SOT 1140489 SOS 722599 HAS SOPS 720613 HAS SOUS 77261 HAS SOUPS 75275 WITH SCORE 75997.599
AT ITER 4251 NEW BEST:: SOT 1140489 SOS 721975 HAS SOPS 719989 HAS SOUS 77261 HAS SOUPS 75275 WITH SCORE 75996.975
AT ITER 4272 NEW BEST:: SOT 1140489 SOS 721807 HAS SOPS 719821 HAS SOUS 77261 HAS SOUPS 75275 WITH SCORE 75996.807
AT ITER 4274 NEW BEST:: SOT 1140489 SOS 721792 HAS SOPS 719821 HAS SOUS 77171 HAS SOUPS 75200 WITH SCORE 75921.792
AT ITER 4289 NEW BEST:: SOT 1143088 SOS 725709 HAS SOPS 723812 HAS SOUS 76997 HAS SOUPS 75100 WITH SCORE 75825.709
AT ITER 4300 NEW BEST:: SOT 1143105 SOS 739748 HAS SOPS 737869 HAS SOUS 76675 HAS SOUPS 74796 WITH SCORE 75535.748
AT ITER 4315 NEW BEST:: SOT 1141178 SOS 739597 HAS SOPS 737718 HAS SOUS 74876 HAS SOUPS 72997 WITH SCORE 73736.597
AT ITER 4395 NEW BEST:: SOT 1140194 SOS 738613 HAS SOPS 736734 HAS SOUS 74834 HAS SOUPS 72955 WITH SCORE 73693.613
AT ITER 4425 NEW BEST:: SOT 1139142 SOS 737561 HAS SOPS 735682 HAS SOUS 74819 HAS SOUPS 72940 WITH SCORE 73677.561
AT ITER 4473 NEW BEST:: SOT 1139142 SOS 737561 HAS SOPS 735682 HAS SOUS 74528 HAS SOUPS 72649 WITH SCORE 73386.561
AT ITER 4503 NEW BEST:: SOT 1139579 SOS 737998 HAS SOPS 736119 HAS SOUS 74509 HAS SOUPS 72630 WITH SCORE 73367.998
AT ITER 4506 NEW BEST:: SOT 1139579 SOS 737998 HAS SOPS 736119 HAS SOUS 74493 HAS SOUPS 72614 WITH SCORE 73351.998
AT ITER 4511 NEW BEST:: SOT 1139579 SOS 737766 HAS SOPS 735887 HAS SOUS 74493 HAS SOUPS 72614 WITH SCORE 73351.766
AT ITER 4515 NEW BEST:: SOT 1139579 SOS 737766 HAS SOPS 735887 HAS SOUS 74472 HAS SOUPS 72593 WITH SCORE 73330.766
AT ITER 4519 NEW BEST:: SOT 1139951 SOS 738138 HAS SOPS 736259 HAS SOUS 74083 HAS SOUPS 72204 WITH SCORE 72942.138
AT ITER 4521 NEW BEST:: SOT 1139953 SOS 738142 HAS SOPS 736263 HAS SOUS 74065 HAS SOUPS 72186 WITH SCORE 72924.142
AT ITER 4582 NEW BEST:: SOT 1139901 SOS 738090 HAS SOPS 736211 HAS SOUS 74013 HAS SOUPS 72134 WITH SCORE 72872.09
AT ITER 4596 NEW BEST:: SOT 1140361 SOS 738550 HAS SOPS 736671 HAS SOUS 73935 HAS SOUPS 72056 WITH SCORE 72794.55
AT ITER 4619 NEW BEST:: SOT 1140076 SOS 738265 HAS SOPS 736386 HAS SOUS 73926 HAS SOUPS 72047 WITH SCORE 72785.265
AT ITER 4645 NEW BEST:: SOT 1138898 SOS 736937 HAS SOPS 735058 HAS SOUS 73746 HAS SOUPS 71867 WITH SCORE 72603.937
AT ITER 4655 NEW BEST:: SOT 1139014 SOS 737053 HAS SOPS 735174 HAS SOUS 73554 HAS SOUPS 71675 WITH SCORE 72412.053
AT ITER 4681 NEW BEST:: SOT 1139061 SOS 737100 HAS SOPS 735221 HAS SOUS 73508 HAS SOUPS 71629 WITH SCORE 72366.1
AT ITER 4696 NEW BEST:: SOT 1139055 SOS 737058 HAS SOPS 735179 HAS SOUS 73508 HAS SOUPS 71629 WITH SCORE 72366.058
AT ITER 4704 NEW BEST:: SOT 1139055 SOS 736280 HAS SOPS 734435 HAS SOUS 73474 HAS SOUPS 71629 WITH SCORE 72365.28
AT ITER 4712 NEW BEST:: SOT 1139264 SOS 736489 HAS SOPS 734644 HAS SOUS 73447 HAS SOUPS 71602 WITH SCORE 72338.489
AT ITER 4757 NEW BEST:: SOT 1139128 SOS 736842 HAS SOPS 734997 HAS SOUS 73439 HAS SOUPS 71594 WITH SCORE 72330.842
AT ITER 4780 NEW BEST:: SOT 1138963 SOS 736677 HAS SOPS 734832 HAS SOUS 73342 HAS SOUPS 71497 WITH SCORE 72233.677
AT ITER 4790 NEW BEST:: SOT 1138965 SOS 735167 HAS SOPS 733314 HAS SOUS 73124 HAS SOUPS 71271 WITH SCORE 72006.167
AT ITER 4826 NEW BEST:: SOT 1140446 SOS 736341 HAS SOPS 734531 HAS SOUS 72659 HAS SOUPS 70849 WITH SCORE 71585.341
AT ITER 4830 NEW BEST:: SOT 1140446 SOS 734133 HAS SOPS 732323 HAS SOUS 72659 HAS SOUPS 70849 WITH SCORE 71583.133
AT ITER 4835 NEW BEST:: SOT 1140446 SOS 734133 HAS SOPS 732323 HAS SOUS 72658 HAS SOUPS 70848 WITH SCORE 71582.133
AT ITER 4842 NEW BEST:: SOT 1139240 SOS 710258 HAS SOPS 708448 HAS SOUS 72652 HAS SOUPS 70842 WITH SCORE 71552.258
AT ITER 4848 NEW BEST:: SOT 1139353 SOS 710371 HAS SOPS 708561 HAS SOUS 72569 HAS SOUPS 70759 WITH SCORE 71469.371
AT ITER 4855 NEW BEST:: SOT 1139353 SOS 710371 HAS SOPS 708561 HAS SOUS 72342 HAS SOUPS 70532 WITH SCORE 71242.371
AT ITER 4915 NEW BEST:: SOT 1139087 SOS 714558 HAS SOPS 712667 HAS SOUS 72293 HAS SOUPS 70402 WITH SCORE 71116.558
AT ITER 4947 NEW BEST:: SOT 1137814 SOS 713304 HAS SOPS 711394 HAS SOUS 72072 HAS SOUPS 70162 WITH SCORE 70875.304
AT ITER 4953 NEW BEST:: SOT 1137814 SOS 715996 HAS SOPS 714086 HAS SOUS 72009 HAS SOUPS 70099 WITH SCORE 70814.996
AT ITER 4969 NEW BEST:: SOT 1137824 SOS 716006 HAS SOPS 714096 HAS SOUS 71769 HAS SOUPS 69859 WITH SCORE 70575.006
AT ITER 4975 NEW BEST:: SOT 1137649 SOS 715663 HAS SOPS 713753 HAS SOUS 71755 HAS SOUPS 69845 WITH SCORE 70560.663
AT ITER 4998 NEW BEST:: SOT 1139732 SOS 719496 HAS SOPS 717516 HAS SOUS 71745 HAS SOUPS 69765 WITH SCORE 70484.496
AT ITER 5002 NEW BEST:: SOT 1139732 SOS 717000 HAS SOPS 715020 HAS SOUS 71745 HAS SOUPS 69765 WITH SCORE 70482.0
AT ITER 5017 NEW BEST:: SOT 1139363 SOS 716631 HAS SOPS 714651 HAS SOUS 71376 HAS SOUPS 69396 WITH SCORE 70112.631
AT ITER 5044 NEW BEST:: SOT 1139460 SOS 716728 HAS SOPS 714748 HAS SOUS 71368 HAS SOUPS 69388 WITH SCORE 70104.728
AT ITER 5065 NEW BEST:: SOT 1139500 SOS 716768 HAS SOPS 714792 HAS SOUS 71193 HAS SOUPS 69217 WITH SCORE 69933.768
AT ITER 5069 NEW BEST:: SOT 1139500 SOS 717029 HAS SOPS 715026 HAS SOUS 71194 HAS SOUPS 69191 WITH SCORE 69908.029
AT ITER 5123 NEW BEST:: SOT 1139470 SOS 716999 HAS SOPS 714996 HAS SOUS 71164 HAS SOUPS 69161 WITH SCORE 69877.999
AT ITER 5144 NEW BEST:: SOT 1139470 SOS 716774 HAS SOPS 714780 HAS SOUS 71155 HAS SOUPS 69161 WITH SCORE 69877.774
AT ITER 5151 NEW BEST:: SOT 1139470 SOS 716390 HAS SOPS 714396 HAS SOUS 71155 HAS SOUPS 69161 WITH SCORE 69877.39
AT ITER 5175 NEW BEST:: SOT 1139470 SOS 716813 HAS SOPS 714828 HAS SOUS 71131 HAS SOUPS 69146 WITH SCORE 69862.813
AT ITER 5178 NEW BEST:: SOT 1139557 SOS 716708 HAS SOPS 714723 HAS SOUS 71129 HAS SOUPS 69144 WITH SCORE 69860.708
AT ITER 5194 NEW BEST:: SOT 1139557 SOS 717140 HAS SOPS 715155 HAS SOUS 71120 HAS SOUPS 69135 WITH SCORE 69852.14
AT ITER 5212 NEW BEST:: SOT 1139610 SOS 717553 HAS SOPS 715568 HAS SOUS 70717 HAS SOUPS 68732 WITH SCORE 69449.553
AT ITER 5213 NEW BEST:: SOT 1139610 SOS 717547 HAS SOPS 715568 HAS SOUS 70711 HAS SOUPS 68732 WITH SCORE 69449.547
AT ITER 5224 NEW BEST:: SOT 1139622 SOS 717628 HAS SOPS 715650 HAS SOUS 70685 HAS SOUPS 68707 WITH SCORE 69424.628
AT ITER 5225 NEW BEST:: SOT 1142354 SOS 723573 HAS SOPS 721598 HAS SOUS 70671 HAS SOUPS 68696 WITH SCORE 69419.573
AT ITER 5228 NEW BEST:: SOT 1142354 SOS 723581 HAS SOPS 721606 HAS SOUS 70583 HAS SOUPS 68608 WITH SCORE 69331.581
AT ITER 5237 NEW BEST:: SOT 1142354 SOS 723077 HAS SOPS 721102 HAS SOUS 70570 HAS SOUPS 68595 WITH SCORE 69318.077
AT ITER 5253 NEW BEST:: SOT 1142364 SOS 723087 HAS SOPS 721112 HAS SOUS 70561 HAS SOUPS 68586 WITH SCORE 69309.087
AT ITER 5324 NEW BEST:: SOT 1142364 SOS 722607 HAS SOPS 720632 HAS SOUS 70561 HAS SOUPS 68586 WITH SCORE 69308.607
AT ITER 5348 NEW BEST:: SOT 1142770 SOS 723565 HAS SOPS 721590 HAS SOUS 70445 HAS SOUPS 68470 WITH SCORE 69193.565
AT ITER 5349 NEW BEST:: SOT 1142780 SOS 723575 HAS SOPS 721600 HAS SOUS 70433 HAS SOUPS 68458 WITH SCORE 69181.575
AT ITER 5354 NEW BEST:: SOT 1142780 SOS 723449 HAS SOPS 721474 HAS SOUS 70405 HAS SOUPS 68430 WITH SCORE 69153.449
AT ITER 5357 NEW BEST:: SOT 1142780 SOS 723041 HAS SOPS 721066 HAS SOUS 70405 HAS SOUPS 68430 WITH SCORE 69153.041
AT ITER 5360 NEW BEST:: SOT 1142780 SOS 722945 HAS SOPS 720970 HAS SOUS 70405 HAS SOUPS 68430 WITH SCORE 69152.945
AT ITER 5377 NEW BEST:: SOT 1142818 SOS 722588 HAS SOPS 720613 HAS SOUS 70167 HAS SOUPS 68192 WITH SCORE 68914.588
AT ITER 5395 NEW BEST:: SOT 1142794 SOS 722564 HAS SOPS 720589 HAS SOUS 70157 HAS SOUPS 68182 WITH SCORE 68904.564
AT ITER 5396 NEW BEST:: SOT 1142934 SOS 722704 HAS SOPS 720729 HAS SOUS 70127 HAS SOUPS 68152 WITH SCORE 68874.704
AT ITER 5417 NEW BEST:: SOT 1142934 SOS 722704 HAS SOPS 720729 HAS SOUS 70100 HAS SOUPS 68125 WITH SCORE 68847.704
AT ITER 5418 NEW BEST:: SOT 1142934 SOS 722724 HAS SOPS 720749 HAS SOUS 70099 HAS SOUPS 68124 WITH SCORE 68846.724
AT ITER 5421 NEW BEST:: SOT 1142492 SOS 722282 HAS SOPS 720307 HAS SOUS 69913 HAS SOUPS 67938 WITH SCORE 68660.282
AT ITER 5439 NEW BEST:: SOT 1142492 SOS 721826 HAS SOPS 719851 HAS SOUS 69913 HAS SOUPS 67938 WITH SCORE 68659.826
AT ITER 5471 NEW BEST:: SOT 1142496 SOS 721830 HAS SOPS 719855 HAS SOUS 69817 HAS SOUPS 67842 WITH SCORE 68563.83
AT ITER 5489 NEW BEST:: SOT 1142496 SOS 721826 HAS SOPS 719855 HAS SOUS 69813 HAS SOUPS 67842 WITH SCORE 68563.826
AT ITER 5515 NEW BEST:: SOT 1142518 SOS 720418 HAS SOPS 718447 HAS SOUS 69799 HAS SOUPS 67828 WITH SCORE 68548.418
AT ITER 5517 NEW BEST:: SOT 1142518 SOS 720256 HAS SOPS 718279 HAS SOUS 69799 HAS SOUPS 67822 WITH SCORE 68542.256
AT ITER 5519 NEW BEST:: SOT 1142524 SOS 720406 HAS SOPS 718429 HAS SOUS 69680 HAS SOUPS 67703 WITH SCORE 68423.406
AT ITER 5525 NEW BEST:: SOT 1142419 SOS 717601 HAS SOPS 715614 HAS SOUS 69655 HAS SOUPS 67668 WITH SCORE 68385.601
AT ITER 5539 NEW BEST:: SOT 1142418 SOS 717600 HAS SOPS 715613 HAS SOUS 69654 HAS SOUPS 67667 WITH SCORE 68384.6
AT ITER 5548 NEW BEST:: SOT 1141962 SOS 718896 HAS SOPS 716909 HAS SOUS 69476 HAS SOUPS 67489 WITH SCORE 68207.896
AT ITER 5572 NEW BEST:: SOT 1142986 SOS 721000 HAS SOPS 719043 HAS SOUS 69420 HAS SOUPS 67463 WITH SCORE 68184.0
AT ITER 5580 NEW BEST:: SOT 1143001 SOS 721015 HAS SOPS 719058 HAS SOUS 69060 HAS SOUPS 67103 WITH SCORE 67824.015
AT ITER 5616 NEW BEST:: SOT 1142995 SOS 721009 HAS SOPS 719052 HAS SOUS 69053 HAS SOUPS 67096 WITH SCORE 67817.009
AT ITER 5620 NEW BEST:: SOT 1142995 SOS 720569 HAS SOPS 718612 HAS SOUS 69053 HAS SOUPS 67096 WITH SCORE 67816.569
AT ITER 5630 NEW BEST:: SOT 1142995 SOS 720569 HAS SOPS 718612 HAS SOUS 69047 HAS SOUPS 67090 WITH SCORE 67810.569
AT ITER 5639 NEW BEST:: SOT 1142995 SOS 720509 HAS SOPS 718552 HAS SOUS 69035 HAS SOUPS 67078 WITH SCORE 67798.509
AT ITER 5687 NEW BEST:: SOT 1142990 SOS 720504 HAS SOPS 718547 HAS SOUS 69030 HAS SOUPS 67073 WITH SCORE 67793.504
AT ITER 5703 NEW BEST:: SOT 1143363 SOS 720877 HAS SOPS 718920 HAS SOUS 68980 HAS SOUPS 67023 WITH SCORE 67743.877
AT ITER 5715 NEW BEST:: SOT 1143363 SOS 720325 HAS SOPS 718368 HAS SOUS 68980 HAS SOUPS 67023 WITH SCORE 67743.325
AT ITER 5726 NEW BEST:: SOT 1145657 SOS 725566 HAS SOPS 723679 HAS SOUS 68834 HAS SOUPS 66947 WITH SCORE 67672.566
AT ITER 5754 NEW BEST:: SOT 1145657 SOS 725458 HAS SOPS 723571 HAS SOUS 68834 HAS SOUPS 66947 WITH SCORE 67672.458
AT ITER 5759 NEW BEST:: SOT 1145653 SOS 725454 HAS SOPS 723549 HAS SOUS 68830 HAS SOUPS 66925 WITH SCORE 67650.454
AT ITER 5780 NEW BEST:: SOT 1144682 SOS 699963 HAS SOPS 698032 HAS SOUS 68851 HAS SOUPS 66920 WITH SCORE 67619.963
AT ITER 5784 NEW BEST:: SOT 1144682 SOS 700011 HAS SOPS 698080 HAS SOUS 68850 HAS SOUPS 66919 WITH SCORE 67619.011
AT ITER 5831 NEW BEST:: SOT 1144597 SOS 699926 HAS SOPS 697995 HAS SOUS 68786 HAS SOUPS 66855 WITH SCORE 67554.926
AT ITER 5840 NEW BEST:: SOT 1144557 SOS 710060 HAS SOPS 708129 HAS SOUS 68737 HAS SOUPS 66806 WITH SCORE 67516.06
AT ITER 5847 NEW BEST:: SOT 1144557 SOS 709692 HAS SOPS 707745 HAS SOUS 68753 HAS SOUPS 66806 WITH SCORE 67515.692
AT ITER 5854 NEW BEST:: SOT 1144557 SOS 709642 HAS SOPS 707695 HAS SOUS 68720 HAS SOUPS 66773 WITH SCORE 67482.642
AT ITER 5888 NEW BEST:: SOT 1144557 SOS 709474 HAS SOPS 707527 HAS SOUS 68720 HAS SOUPS 66773 WITH SCORE 67482.474
AT ITER 5898 NEW BEST:: SOT 1144557 SOS 710230 HAS SOPS 708283 HAS SOUS 68666 HAS SOUPS 66719 WITH SCORE 67429.23
AT ITER 5933 NEW BEST:: SOT 1144357 SOS 710030 HAS SOPS 708083 HAS SOUS 68613 HAS SOUPS 66666 WITH SCORE 67376.03
AT ITER 5984 NEW BEST:: SOT 1144330 SOS 710003 HAS SOPS 708056 HAS SOUS 68603 HAS SOUPS 66656 WITH SCORE 67366.003
AT ITER 6011 NEW BEST:: SOT 1144330 SOS 710003 HAS SOPS 708056 HAS SOUS 68596 HAS SOUPS 66649 WITH SCORE 67359.003
AT ITER 6032 NEW BEST:: SOT 1144330 SOS 710003 HAS SOPS 708056 HAS SOUS 68586 HAS SOUPS 66639 WITH SCORE 67349.003
AT ITER 6057 NEW BEST:: SOT 1144357 SOS 710214 HAS SOPS 708267 HAS SOUS 68449 HAS SOUPS 66502 WITH SCORE 67212.214
AT ITER 6073 NEW BEST:: SOT 1142679 SOS 708452 HAS SOPS 706474 HAS SOUS 68454 HAS SOUPS 66476 WITH SCORE 67184.452
AT ITER 6075 NEW BEST:: SOT 1142657 SOS 708426 HAS SOPS 706448 HAS SOUS 68452 HAS SOUPS 66474 WITH SCORE 67182.426
AT ITER 6089 NEW BEST:: SOT 1142657 SOS 708426 HAS SOPS 706448 HAS SOUS 68386 HAS SOUPS 66408 WITH SCORE 67116.426
AT ITER 6103 NEW BEST:: SOT 1141419 SOS 705964 HAS SOPS 703986 HAS SOUS 68372 HAS SOUPS 66394 WITH SCORE 67099.964
AT ITER 6116 NEW BEST:: SOT 1140993 SOS 705538 HAS SOPS 703560 HAS SOUS 68248 HAS SOUPS 66270 WITH SCORE 66975.538
AT ITER 6133 NEW BEST:: SOT 1141000 SOS 705545 HAS SOPS 703567 HAS SOUS 68238 HAS SOUPS 66260 WITH SCORE 66965.545
AT ITER 6170 NEW BEST:: SOT 1140866 SOS 705411 HAS SOPS 703433 HAS SOUS 68138 HAS SOUPS 66160 WITH SCORE 66865.411
AT ITER 6186 NEW BEST:: SOT 1140732 SOS 705277 HAS SOPS 703299 HAS SOUS 68068 HAS SOUPS 66090 WITH SCORE 66795.277
AT ITER 6190 NEW BEST:: SOT 1140759 SOS 705310 HAS SOPS 703332 HAS SOUS 68023 HAS SOUPS 66045 WITH SCORE 66750.31
AT ITER 6203 NEW BEST:: SOT 1140759 SOS 705274 HAS SOPS 703296 HAS SOUS 68023 HAS SOUPS 66045 WITH SCORE 66750.274
AT ITER 6212 NEW BEST:: SOT 1140759 SOS 707002 HAS SOPS 705024 HAS SOUS 68015 HAS SOUPS 66037 WITH SCORE 66744.002
AT ITER 6238 NEW BEST:: SOT 1140759 SOS 706762 HAS SOPS 704784 HAS SOUS 68015 HAS SOUPS 66037 WITH SCORE 66743.762
AT ITER 6273 NEW BEST:: SOT 1142768 SOS 710859 HAS SOPS 708881 HAS SOUS 67982 HAS SOUPS 66004 WITH SCORE 66714.859
AT ITER 6325 NEW BEST:: SOT 1142720 SOS 710811 HAS SOPS 708833 HAS SOUS 67959 HAS SOUPS 65981 WITH SCORE 66691.811
AT ITER 6331 NEW BEST:: SOT 1142200 SOS 710291 HAS SOPS 708313 HAS SOUS 67827 HAS SOUPS 65849 WITH SCORE 66559.291
AT ITER 6336 NEW BEST:: SOT 1142200 SOS 710291 HAS SOPS 708313 HAS SOUS 67811 HAS SOUPS 65833 WITH SCORE 66543.291
AT ITER 6383 NEW BEST:: SOT 1142177 SOS 710268 HAS SOPS 708290 HAS SOUS 67799 HAS SOUPS 65821 WITH SCORE 66531.268
AT ITER 6417 NEW BEST:: SOT 1142179 SOS 711113 HAS SOPS 709132 HAS SOUS 67755 HAS SOUPS 65774 WITH SCORE 66485.113
AT ITER 6457 NEW BEST:: SOT 1142179 SOS 712917 HAS SOPS 710936 HAS SOUS 67673 HAS SOUPS 65692 WITH SCORE 66404.917
AT ITER 6465 NEW BEST:: SOT 1142182 SOS 712920 HAS SOPS 710939 HAS SOUS 67670 HAS SOUPS 65689 WITH SCORE 66401.92
AT ITER 6525 NEW BEST:: SOT 1141716 SOS 712418 HAS SOPS 710437 HAS SOUS 67466 HAS SOUPS 65485 WITH SCORE 66197.418
AT ITER 6543 NEW BEST:: SOT 1141716 SOS 712422 HAS SOPS 710437 HAS SOUS 67459 HAS SOUPS 65474 WITH SCORE 66186.422
AT ITER 6545 NEW BEST:: SOT 1141716 SOS 711846 HAS SOPS 709861 HAS SOUS 67459 HAS SOUPS 65474 WITH SCORE 66185.846
AT ITER 6569 NEW BEST:: SOT 1140961 SOS 711091 HAS SOPS 709106 HAS SOUS 67109 HAS SOUPS 65124 WITH SCORE 65835.091
AT ITER 6630 NEW BEST:: SOT 1140961 SOS 711091 HAS SOPS 709106 HAS SOUS 67105 HAS SOUPS 65120 WITH SCORE 65831.091
AT ITER 6669 NEW BEST:: SOT 1140971 SOS 711101 HAS SOPS 709116 HAS SOUS 67095 HAS SOUPS 65110 WITH SCORE 65821.101
AT ITER 6744 NEW BEST:: SOT 1140800 SOS 707234 HAS SOPS 705249 HAS SOUS 66992 HAS SOUPS 65007 WITH SCORE 65714.234
AT ITER 6807 NEW BEST:: SOT 1140800 SOS 707242 HAS SOPS 705249 HAS SOUS 66981 HAS SOUPS 64988 WITH SCORE 65695.242
AT ITER 6813 NEW BEST:: SOT 1140800 SOS 707002 HAS SOPS 705009 HAS SOUS 66981 HAS SOUPS 64988 WITH SCORE 65695.002
AT ITER 6821 NEW BEST:: SOT 1140392 SOS 706594 HAS SOPS 704601 HAS SOUS 66836 HAS SOUPS 64843 WITH SCORE 65549.594
AT ITER 6849 NEW BEST:: SOT 1140236 SOS 706174 HAS SOPS 704181 HAS SOUS 66750 HAS SOUPS 64757 WITH SCORE 65463.174
AT ITER 6851 NEW BEST:: SOT 1140236 SOS 706366 HAS SOPS 704373 HAS SOUS 66742 HAS SOUPS 64749 WITH SCORE 65455.366
AT ITER 6858 NEW BEST:: SOT 1140211 SOS 706341 HAS SOPS 704348 HAS SOUS 66738 HAS SOUPS 64745 WITH SCORE 65451.341
AT ITER 6925 NEW BEST:: SOT 1140211 SOS 706917 HAS SOPS 704924 HAS SOUS 66713 HAS SOUPS 64720 WITH SCORE 65426.917
AT ITER 6946 NEW BEST:: SOT 1140268 SOS 706994 HAS SOPS 705001 HAS SOUS 66710 HAS SOUPS 64717 WITH SCORE 65423.994
AT ITER 6969 NEW BEST:: SOT 1139858 SOS 706584 HAS SOPS 704591 HAS SOUS 66589 HAS SOUPS 64596 WITH SCORE 65302.584
AT ITER 6980 NEW BEST:: SOT 1139793 SOS 706519 HAS SOPS 704526 HAS SOUS 66445 HAS SOUPS 64452 WITH SCORE 65158.519
AT ITER 7013 NEW BEST:: SOT 1139793 SOS 706207 HAS SOPS 704214 HAS SOUS 66445 HAS SOUPS 64452 WITH SCORE 65158.207
AT ITER 7041 NEW BEST:: SOT 1139374 SOS 703189 HAS SOPS 701158 HAS SOUS 66361 HAS SOUPS 64330 WITH SCORE 65033.189
AT ITER 7048 NEW BEST:: SOT 1139355 SOS 703170 HAS SOPS 701139 HAS SOUS 66330 HAS SOUPS 64299 WITH SCORE 65002.17
AT ITER 7146 NEW BEST:: SOT 1139355 SOS 703170 HAS SOPS 701139 HAS SOUS 66237 HAS SOUPS 64206 WITH SCORE 64909.17
AT ITER 7165 NEW BEST:: SOT 1139316 SOS 703131 HAS SOPS 701100 HAS SOUS 66213 HAS SOUPS 64182 WITH SCORE 64885.131
AT ITER 7210 NEW BEST:: SOT 1139304 SOS 703119 HAS SOPS 701088 HAS SOUS 66188 HAS SOUPS 64157 WITH SCORE 64860.119
AT ITER 7215 NEW BEST:: SOT 1139304 SOS 703119 HAS SOPS 701088 HAS SOUS 66093 HAS SOUPS 64062 WITH SCORE 64765.119
AT ITER 7223 NEW BEST:: SOT 1139304 SOS 703146 HAS SOPS 701116 HAS SOUS 66084 HAS SOUPS 64054 WITH SCORE 64757.146
AT ITER 7258 NEW BEST:: SOT 1139304 SOS 703142 HAS SOPS 701044 HAS SOUS 66152 HAS SOUPS 64054 WITH SCORE 64757.142
AT ITER 7420 NEW BEST:: SOT 1139304 SOS 703128 HAS SOPS 701058 HAS SOUS 66034 HAS SOUPS 63964 WITH SCORE 64667.128
AT ITER 7437 NEW BEST:: SOT 1139512 SOS 703356 HAS SOPS 701286 HAS SOUS 66027 HAS SOUPS 63957 WITH SCORE 64660.356
AT ITER 7445 NEW BEST:: SOT 1139512 SOS 702492 HAS SOPS 700422 HAS SOUS 66027 HAS SOUPS 63957 WITH SCORE 64659.492
AT ITER 7545 NEW BEST:: SOT 1139512 SOS 702492 HAS SOPS 700422 HAS SOUS 65979 HAS SOUPS 63909 WITH SCORE 64611.492
AT ITER 7567 NEW BEST:: SOT 1139512 SOS 702228 HAS SOPS 700158 HAS SOUS 65979 HAS SOUPS 63909 WITH SCORE 64611.228
AT ITER 7580 NEW BEST:: SOT 1141851 SOS 704567 HAS SOPS 702497 HAS SOUS 65793 HAS SOUPS 63723 WITH SCORE 64427.567
AT ITER 7588 NEW BEST:: SOT 1141569 SOS 704285 HAS SOPS 702215 HAS SOUS 65643 HAS SOUPS 63573 WITH SCORE 64277.285
AT ITER 7590 NEW BEST:: SOT 1140650 SOS 703366 HAS SOPS 701296 HAS SOUS 65003 HAS SOUPS 62933 WITH SCORE 63636.366
AT ITER 7599 NEW BEST:: SOT 1140820 SOS 703560 HAS SOPS 701490 HAS SOUS 64948 HAS SOUPS 62878 WITH SCORE 63581.56
AT ITER 7613 NEW BEST:: SOT 1142121 SOS 704129 HAS SOPS 702119 HAS SOUS 64861 HAS SOUPS 62851 WITH SCORE 63555.129
AT ITER 7668 NEW BEST:: SOT 1142121 SOS 704129 HAS SOPS 702119 HAS SOUS 64857 HAS SOUPS 62847 WITH SCORE 63551.129
AT ITER 7679 NEW BEST:: SOT 1142117 SOS 704125 HAS SOPS 702115 HAS SOUS 64857 HAS SOUPS 62847 WITH SCORE 63551.125
AT ITER 7689 NEW BEST:: SOT 1142074 SOS 704078 HAS SOPS 702068 HAS SOUS 64818 HAS SOUPS 62808 WITH SCORE 63512.078
AT ITER 7699 NEW BEST:: SOT 1141882 SOS 703886 HAS SOPS 701876 HAS SOUS 64810 HAS SOUPS 62800 WITH SCORE 63503.886
AT ITER 7795 NEW BEST:: SOT 1141872 SOS 703882 HAS SOPS 701872 HAS SOUS 64806 HAS SOUPS 62796 WITH SCORE 63499.882
AT ITER 7815 NEW BEST:: SOT 1141872 SOS 702562 HAS SOPS 700552 HAS SOUS 64806 HAS SOUPS 62796 WITH SCORE 63498.562
AT ITER 7822 NEW BEST:: SOT 1141872 SOS 702562 HAS SOPS 700552 HAS SOUS 64798 HAS SOUPS 62788 WITH SCORE 63490.562
AT ITER 7854 NEW BEST:: SOT 1141753 SOS 702443 HAS SOPS 700433 HAS SOUS 64663 HAS SOUPS 62653 WITH SCORE 63355.443
AT ITER 7860 NEW BEST:: SOT 1141331 SOS 701955 HAS SOPS 699945 HAS SOUS 64568 HAS SOUPS 62558 WITH SCORE 63259.955
AT ITER 7905 NEW BEST:: SOT 1141331 SOS 701955 HAS SOPS 699945 HAS SOUS 64566 HAS SOUPS 62556 WITH SCORE 63257.955
AT ITER 7927 NEW BEST:: SOT 1141173 SOS 702130 HAS SOPS 700120 HAS SOUS 64507 HAS SOUPS 62497 WITH SCORE 63199.13
AT ITER 7938 NEW BEST:: SOT 1141066 SOS 702023 HAS SOPS 700013 HAS SOUS 64468 HAS SOUPS 62458 WITH SCORE 63160.023
AT ITER 7960 NEW BEST:: SOT 1140801 SOS 701730 HAS SOPS 699720 HAS SOUS 64327 HAS SOUPS 62317 WITH SCORE 63018.73
AT ITER 7972 NEW BEST:: SOT 1140542 SOS 700687 HAS SOPS 698600 HAS SOUS 64384 HAS SOUPS 62297 WITH SCORE 62997.687
AT ITER 7973 NEW BEST:: SOT 1140542 SOS 699103 HAS SOPS 697016 HAS SOUS 64384 HAS SOUPS 62297 WITH SCORE 62996.103
AT ITER 7982 NEW BEST:: SOT 1140542 SOS 699103 HAS SOPS 697016 HAS SOUS 64296 HAS SOUPS 62209 WITH SCORE 62908.103
AT ITER 8023 NEW BEST:: SOT 1140558 SOS 699119 HAS SOPS 697032 HAS SOUS 64256 HAS SOUPS 62169 WITH SCORE 62868.119
AT ITER 8024 NEW BEST:: SOT 1140458 SOS 698179 HAS SOPS 696092 HAS SOUS 64249 HAS SOUPS 62162 WITH SCORE 62860.179
AT ITER 8038 NEW BEST:: SOT 1140458 SOS 697843 HAS SOPS 695756 HAS SOUS 64249 HAS SOUPS 62162 WITH SCORE 62859.843
AT ITER 8066 NEW BEST:: SOT 1140345 SOS 697610 HAS SOPS 695498 HAS SOUS 64216 HAS SOUPS 62104 WITH SCORE 62801.61
AT ITER 8142 NEW BEST:: SOT 1140345 SOS 697082 HAS SOPS 694970 HAS SOUS 64216 HAS SOUPS 62104 WITH SCORE 62801.082
AT ITER 8231 NEW BEST:: SOT 1140345 SOS 696990 HAS SOPS 694878 HAS SOUS 64216 HAS SOUPS 62104 WITH SCORE 62800.99
AT ITER 8232 NEW BEST:: SOT 1140345 SOS 696966 HAS SOPS 694854 HAS SOUS 64216 HAS SOUPS 62104 WITH SCORE 62800.966
AT ITER 8264 NEW BEST:: SOT 1140275 SOS 696896 HAS SOPS 694784 HAS SOUS 64146 HAS SOUPS 62034 WITH SCORE 62730.896
AT ITER 8281 NEW BEST:: SOT 1140275 SOS 696728 HAS SOPS 694616 HAS SOUS 64140 HAS SOUPS 62028 WITH SCORE 62724.728
AT ITER 8413 NEW BEST:: SOT 1140275 SOS 696719 HAS SOPS 694616 HAS SOUS 64131 HAS SOUPS 62028 WITH SCORE 62724.719
AT ITER 8414 NEW BEST:: SOT 1140290 SOS 696734 HAS SOPS 694631 HAS SOUS 64129 HAS SOUPS 62026 WITH SCORE 62722.734
AT ITER 8434 NEW BEST:: SOT 1140294 SOS 696738 HAS SOPS 694635 HAS SOUS 64061 HAS SOUPS 61958 WITH SCORE 62654.738
AT ITER 8476 NEW BEST:: SOT 1140126 SOS 696450 HAS SOPS 694347 HAS SOUS 64054 HAS SOUPS 61951 WITH SCORE 62647.45
AT ITER 8489 NEW BEST:: SOT 1140148 SOS 696472 HAS SOPS 694369 HAS SOUS 63977 HAS SOUPS 61874 WITH SCORE 62570.472
AT ITER 8518 NEW BEST:: SOT 1140148 SOS 696472 HAS SOPS 694369 HAS SOUS 63939 HAS SOUPS 61836 WITH SCORE 62532.472
AT ITER 8612 NEW BEST:: SOT 1140148 SOS 696472 HAS SOPS 694369 HAS SOUS 63932 HAS SOUPS 61829 WITH SCORE 62525.472
AT ITER 8624 NEW BEST:: SOT 1140148 SOS 695728 HAS SOPS 693625 HAS SOUS 63932 HAS SOUPS 61829 WITH SCORE 62524.728
AT ITER 8729 NEW BEST:: SOT 1140138 SOS 695718 HAS SOPS 693615 HAS SOUS 63926 HAS SOUPS 61823 WITH SCORE 62518.718
AT ITER 8740 NEW BEST:: SOT 1140113 SOS 695669 HAS SOPS 693566 HAS SOUS 63925 HAS SOUPS 61822 WITH SCORE 62517.669
AT ITER 8745 NEW BEST:: SOT 1140109 SOS 695665 HAS SOPS 693562 HAS SOUS 63908 HAS SOUPS 61805 WITH SCORE 62500.665
AT ITER 8749 NEW BEST:: SOT 1140047 SOS 695603 HAS SOPS 693500 HAS SOUS 63875 HAS SOUPS 61772 WITH SCORE 62467.603
AT ITER 8822 NEW BEST:: SOT 1139786 SOS 695298 HAS SOPS 693195 HAS SOUS 63845 HAS SOUPS 61742 WITH SCORE 62437.298
AT ITER 8845 NEW BEST:: SOT 1139786 SOS 695265 HAS SOPS 693195 HAS SOUS 63812 HAS SOUPS 61742 WITH SCORE 62437.265
AT ITER 8872 NEW BEST:: SOT 1140485 SOS 695964 HAS SOPS 693894 HAS SOUS 63654 HAS SOUPS 61584 WITH SCORE 62279.964
AT ITER 8876 NEW BEST:: SOT 1140334 SOS 695767 HAS SOPS 693695 HAS SOUS 63608 HAS SOUPS 61536 WITH SCORE 62231.767
AT ITER 8900 NEW BEST:: SOT 1140334 SOS 697543 HAS SOPS 695471 HAS SOUS 63571 HAS SOUPS 61499 WITH SCORE 62196.543
AT ITER 8914 NEW BEST:: SOT 1140334 SOS 703447 HAS SOPS 701375 HAS SOUS 63564 HAS SOUPS 61492 WITH SCORE 62195.447
AT ITER 8971 NEW BEST:: SOT 1140257 SOS 703370 HAS SOPS 701298 HAS SOUS 63510 HAS SOUPS 61438 WITH SCORE 62141.37
AT ITER 9021 NEW BEST:: SOT 1140257 SOS 703352 HAS SOPS 701298 HAS SOUS 63492 HAS SOUPS 61438 WITH SCORE 62141.352
AT ITER 9091 NEW BEST:: SOT 1140257 SOS 701696 HAS SOPS 699642 HAS SOUS 63488 HAS SOUPS 61434 WITH SCORE 62135.696
AT ITER 9108 NEW BEST:: SOT 1140257 SOS 701696 HAS SOPS 699642 HAS SOUS 63468 HAS SOUPS 61414 WITH SCORE 62115.696
AT ITER 9146 NEW BEST:: SOT 1140257 SOS 701456 HAS SOPS 699402 HAS SOUS 63458 HAS SOUPS 61404 WITH SCORE 62105.456
AT ITER 9197 NEW BEST:: SOT 1140257 SOS 701336 HAS SOPS 699282 HAS SOUS 63458 HAS SOUPS 61404 WITH SCORE 62105.336
AT ITER 9207 NEW BEST:: SOT 1140257 SOS 701336 HAS SOPS 699282 HAS SOUS 63457 HAS SOUPS 61403 WITH SCORE 62104.336
AT ITER 9209 NEW BEST:: SOT 1140156 SOS 701235 HAS SOPS 699181 HAS SOUS 63356 HAS SOUPS 61302 WITH SCORE 62003.235
AT ITER 9268 NEW BEST:: SOT 1140132 SOS 701215 HAS SOPS 699161 HAS SOUS 63332 HAS SOUPS 61278 WITH SCORE 61979.215
AT ITER 9280 NEW BEST:: SOT 1140132 SOS 700240 HAS SOPS 698225 HAS SOUS 63293 HAS SOUPS 61278 WITH SCORE 61978.24
AT ITER 9300 NEW BEST:: SOT 1140132 SOS 700528 HAS SOPS 698513 HAS SOUS 63281 HAS SOUPS 61266 WITH SCORE 61966.528
AT ITER 9321 NEW BEST:: SOT 1140132 SOS 700816 HAS SOPS 698801 HAS SOUS 63280 HAS SOUPS 61265 WITH SCORE 61965.816
AT ITER 9344 NEW BEST:: SOT 1140132 SOS 700816 HAS SOPS 698801 HAS SOUS 63228 HAS SOUPS 61213 WITH SCORE 61913.816
AT ITER 9363 NEW BEST:: SOT 1140132 SOS 700720 HAS SOPS 698705 HAS SOUS 63228 HAS SOUPS 61213 WITH SCORE 61913.72
AT ITER 9367 NEW BEST:: SOT 1140120 SOS 700708 HAS SOPS 698693 HAS SOUS 63219 HAS SOUPS 61204 WITH SCORE 61904.708
AT ITER 9369 NEW BEST:: SOT 1139829 SOS 700357 HAS SOPS 698342 HAS SOUS 63213 HAS SOUPS 61198 WITH SCORE 61898.357
AT ITER 9388 NEW BEST:: SOT 1139829 SOS 700357 HAS SOPS 698342 HAS SOUS 63192 HAS SOUPS 61177 WITH SCORE 61877.357
AT ITER 9392 NEW BEST:: SOT 1139795 SOS 700323 HAS SOPS 698308 HAS SOUS 63132 HAS SOUPS 61117 WITH SCORE 61817.323
AT ITER 9437 NEW BEST:: SOT 1139617 SOS 700145 HAS SOPS 698130 HAS SOUS 62881 HAS SOUPS 60866 WITH SCORE 61566.145
AT ITER 9442 NEW BEST:: SOT 1139617 SOS 700138 HAS SOPS 698130 HAS SOUS 62874 HAS SOUPS 60866 WITH SCORE 61566.138
AT ITER 9477 NEW BEST:: SOT 1139647 SOS 700184 HAS SOPS 698176 HAS SOUS 62871 HAS SOUPS 60863 WITH SCORE 61563.184
AT ITER 9490 NEW BEST:: SOT 1139490 SOS 700027 HAS SOPS 698019 HAS SOUS 62854 HAS SOUPS 60846 WITH SCORE 61546.027
AT ITER 9526 NEW BEST:: SOT 1139481 SOS 700018 HAS SOPS 698010 HAS SOUS 62853 HAS SOUPS 60845 WITH SCORE 61545.018
AT ITER 9531 NEW BEST:: SOT 1139481 SOS 699994 HAS SOPS 697986 HAS SOUS 62853 HAS SOUPS 60845 WITH SCORE 61544.994
AT ITER 9533 NEW BEST:: SOT 1139481 SOS 699994 HAS SOPS 697986 HAS SOUS 62852 HAS SOUPS 60844 WITH SCORE 61543.994
AT ITER 9565 NEW BEST:: SOT 1139481 SOS 699850 HAS SOPS 697842 HAS SOUS 62852 HAS SOUPS 60844 WITH SCORE 61543.85
AT ITER 9570 NEW BEST:: SOT 1139421 SOS 699790 HAS SOPS 697782 HAS SOUS 62729 HAS SOUPS 60721 WITH SCORE 61420.79
AT ITER 9582 NEW BEST:: SOT 1139430 SOS 699799 HAS SOPS 697791 HAS SOUS 62724 HAS SOUPS 60716 WITH SCORE 61415.799
AT ITER 9631 NEW BEST:: SOT 1139383 SOS 699752 HAS SOPS 697744 HAS SOUS 62692 HAS SOUPS 60684 WITH SCORE 61383.752
AT ITER 9642 NEW BEST:: SOT 1139383 SOS 699752 HAS SOPS 697744 HAS SOUS 62691 HAS SOUPS 60683 WITH SCORE 61382.752
AT ITER 9647 NEW BEST:: SOT 1139283 SOS 699556 HAS SOPS 697548 HAS SOUS 62687 HAS SOUPS 60679 WITH SCORE 61378.556
AT ITER 9688 NEW BEST:: SOT 1139285 SOS 699558 HAS SOPS 697550 HAS SOUS 62685 HAS SOUPS 60677 WITH SCORE 61376.558
AT ITER 9745 NEW BEST:: SOT 1139285 SOS 699510 HAS SOPS 697502 HAS SOUS 62683 HAS SOUPS 60675 WITH SCORE 61374.51
AT ITER 9754 NEW BEST:: SOT 1139285 SOS 699150 HAS SOPS 697142 HAS SOUS 62683 HAS SOUPS 60675 WITH SCORE 61374.15
AT ITER 9759 NEW BEST:: SOT 1139412 SOS 699277 HAS SOPS 697269 HAS SOUS 62567 HAS SOUPS 60559 WITH SCORE 61258.277
AT ITER 9763 NEW BEST:: SOT 1139079 SOS 698944 HAS SOPS 696936 HAS SOUS 62345 HAS SOUPS 60337 WITH SCORE 61035.944
AT ITER 9873 NEW BEST:: SOT 1139079 SOS 709888 HAS SOPS 707880 HAS SOUS 62334 HAS SOUPS 60326 WITH SCORE 61035.888
AT ITER 9901 NEW BEST:: SOT 1139079 SOS 712192 HAS SOPS 710184 HAS SOUS 62315 HAS SOUPS 60307 WITH SCORE 61019.192
AT ITER 9918 NEW BEST:: SOT 1139079 SOS 712144 HAS SOPS 710136 HAS SOUS 62315 HAS SOUPS 60307 WITH SCORE 61019.144
AT ITER 9946 NEW BEST:: SOT 1139054 SOS 712095 HAS SOPS 710087 HAS SOUS 62314 HAS SOUPS 60306 WITH SCORE 61018.095
AT ITER 9967 NEW BEST:: SOT 1139091 SOS 712281 HAS SOPS 710436 HAS SOUS 62097 HAS SOUPS 60252 WITH SCORE 60964.281

BK_STOP 1678682382665

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 486 Killed ${SMART}/smart ${INPUT_SM}

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

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