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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 14:37 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.3K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:43 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 1678683489842

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-14
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 04:58:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 04:58:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 04:58:11] [INFO ] Load time of PNML (sax parser for PT used): 236 ms
[2023-03-13 04:58:11] [INFO ] Transformed 312 places.
[2023-03-13 04:58:11] [INFO ] Transformed 5431 transitions.
[2023-03-13 04:58:11] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 419 ms.
[2023-03-13 04:58:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 56 ms.
Total runtime 601 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 14
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 1 NEW BEST:: SOT 1169546 SOS 637830 HAS SOPS 634734 HAS SOUS 252197 HAS SOUPS 249380 WITH SCORE 250017.83
AT ITER 9 NEW BEST:: SOT 1168346 SOS 639126 HAS SOPS 636030 HAS SOUS 251620 HAS SOUPS 248803 WITH SCORE 249442.126
AT ITER 19 NEW BEST:: SOT 1168138 SOS 639116 HAS SOPS 636020 HAS SOUS 251511 HAS SOUPS 248694 WITH SCORE 249333.116
AT ITER 20 NEW BEST:: SOT 1168124 SOS 639102 HAS SOPS 636006 HAS SOUS 251497 HAS SOUPS 248680 WITH SCORE 249319.102
AT ITER 27 NEW BEST:: SOT 1167424 SOS 636573 HAS SOPS 633452 HAS SOUS 251085 HAS SOUPS 248243 WITH SCORE 248879.573
AT ITER 30 NEW BEST:: SOT 1167435 SOS 636651 HAS SOPS 633463 HAS SOUS 249353 HAS SOUPS 246457 WITH SCORE 247093.651
AT ITER 36 NEW BEST:: SOT 1167435 SOS 636651 HAS SOPS 633463 HAS SOUS 249181 HAS SOUPS 246285 WITH SCORE 246921.651
AT ITER 39 NEW BEST:: SOT 1166785 SOS 636001 HAS SOPS 632813 HAS SOUS 248424 HAS SOUPS 245528 WITH SCORE 246164.001
AT ITER 45 NEW BEST:: SOT 1166798 SOS 637358 HAS SOPS 634170 HAS SOUS 247363 HAS SOUPS 244467 WITH SCORE 245104.358
AT ITER 54 NEW BEST:: SOT 1166798 SOS 637358 HAS SOPS 634170 HAS SOUS 246776 HAS SOUPS 243880 WITH SCORE 244517.358
AT ITER 55 NEW BEST:: SOT 1166798 SOS 637358 HAS SOPS 634170 HAS SOUS 246632 HAS SOUPS 243736 WITH SCORE 244373.358
AT ITER 58 NEW BEST:: SOT 1165958 SOS 636471 HAS SOPS 633330 HAS SOUS 244573 HAS SOUPS 241712 WITH SCORE 242348.471
AT ITER 62 NEW BEST:: SOT 1165932 SOS 640525 HAS SOPS 637384 HAS SOUS 244545 HAS SOUPS 241684 WITH SCORE 242324.525
AT ITER 63 NEW BEST:: SOT 1165907 SOS 640405 HAS SOPS 637359 HAS SOUS 241890 HAS SOUPS 239103 WITH SCORE 239743.405
AT ITER 74 NEW BEST:: SOT 1165882 SOS 640322 HAS SOPS 637334 HAS SOUS 240593 HAS SOUPS 237856 WITH SCORE 238496.322
AT ITER 76 NEW BEST:: SOT 1167264 SOS 641384 HAS SOPS 638396 HAS SOUS 240450 HAS SOUPS 237713 WITH SCORE 238354.384
AT ITER 78 NEW BEST:: SOT 1167264 SOS 641384 HAS SOPS 638396 HAS SOUS 240266 HAS SOUPS 237529 WITH SCORE 238170.384
AT ITER 90 NEW BEST:: SOT 1167264 SOS 641384 HAS SOPS 638396 HAS SOUS 240114 HAS SOUPS 237377 WITH SCORE 238018.384
AT ITER 94 NEW BEST:: SOT 1167230 SOS 641262 HAS SOPS 638362 HAS SOUS 238225 HAS SOUPS 235550 WITH SCORE 236191.262
AT ITER 95 NEW BEST:: SOT 1167267 SOS 641203 HAS SOPS 638399 HAS SOUS 234788 HAS SOUPS 232192 WITH SCORE 232833.203
AT ITER 96 NEW BEST:: SOT 1166040 SOS 642520 HAS SOPS 639716 HAS SOUS 233882 HAS SOUPS 231286 WITH SCORE 231928.52
AT ITER 104 NEW BEST:: SOT 1166040 SOS 641518 HAS SOPS 637269 HAS SOUS 233941 HAS SOUPS 229900 WITH SCORE 230541.518
AT ITER 108 NEW BEST:: SOT 1166040 SOS 643481 HAS SOPS 639285 HAS SOUS 233780 HAS SOUPS 229792 WITH SCORE 230435.481
AT ITER 113 NEW BEST:: SOT 1166035 SOS 643746 HAS SOPS 639842 HAS SOUS 227739 HAS SOUPS 223848 WITH SCORE 224491.746
AT ITER 115 NEW BEST:: SOT 1166162 SOS 644152 HAS SOPS 640278 HAS SOUS 227107 HAS SOUPS 223246 WITH SCORE 223890.152
AT ITER 116 NEW BEST:: SOT 1166162 SOS 645532 HAS SOPS 641718 HAS SOUS 226747 HAS SOUPS 222946 WITH SCORE 223591.532
AT ITER 118 NEW BEST:: SOT 1155098 SOS 712544 HAS SOPS 708730 HAS SOUS 215940 HAS SOUPS 212139 WITH SCORE 212851.544
AT ITER 121 NEW BEST:: SOT 1153545 SOS 639777 HAS SOPS 635963 HAS SOUS 215974 HAS SOUPS 212173 WITH SCORE 212812.777
AT ITER 124 NEW BEST:: SOT 1152266 SOS 641648 HAS SOPS 637834 HAS SOUS 215023 HAS SOUPS 211222 WITH SCORE 211863.648
AT ITER 127 NEW BEST:: SOT 1151410 SOS 619362 HAS SOPS 614261 HAS SOUS 214995 HAS SOUPS 211014 WITH SCORE 211633.362
AT ITER 128 NEW BEST:: SOT 1151410 SOS 647108 HAS SOPS 642077 HAS SOUS 214574 HAS SOUPS 210663 WITH SCORE 211310.108
AT ITER 130 NEW BEST:: SOT 1151228 SOS 647314 HAS SOPS 642283 HAS SOUS 214489 HAS SOUPS 210578 WITH SCORE 211225.314
AT ITER 133 NEW BEST:: SOT 1151228 SOS 647314 HAS SOPS 642283 HAS SOUS 214366 HAS SOUPS 210455 WITH SCORE 211102.314
AT ITER 136 NEW BEST:: SOT 1150670 SOS 647728 HAS SOPS 642697 HAS SOUS 214128 HAS SOUPS 210217 WITH SCORE 210864.728
AT ITER 138 NEW BEST:: SOT 1150044 SOS 647045 HAS SOPS 642020 HAS SOUS 213355 HAS SOUPS 209444 WITH SCORE 210091.045
AT ITER 140 NEW BEST:: SOT 1150058 SOS 647275 HAS SOPS 642250 HAS SOUS 213136 HAS SOUPS 209225 WITH SCORE 209872.275
AT ITER 144 NEW BEST:: SOT 1150058 SOS 647275 HAS SOPS 642244 HAS SOUS 213136 HAS SOUPS 209219 WITH SCORE 209866.275
AT ITER 157 NEW BEST:: SOT 1150058 SOS 647256 HAS SOPS 642244 HAS SOUS 213098 HAS SOUPS 209200 WITH SCORE 209847.256
AT ITER 170 NEW BEST:: SOT 1150058 SOS 649143 HAS SOPS 644188 HAS SOUS 211298 HAS SOUPS 207457 WITH SCORE 208106.143
AT ITER 171 NEW BEST:: SOT 1149242 SOS 652110 HAS SOPS 647183 HAS SOUS 210728 HAS SOUPS 206887 WITH SCORE 207539.11
AT ITER 174 NEW BEST:: SOT 1149242 SOS 628062 HAS SOPS 623135 HAS SOUS 210728 HAS SOUPS 206887 WITH SCORE 207515.062
AT ITER 175 NEW BEST:: SOT 1149236 SOS 628325 HAS SOPS 623395 HAS SOUS 209715 HAS SOUPS 205889 WITH SCORE 206517.325
AT ITER 188 NEW BEST:: SOT 1149236 SOS 630101 HAS SOPS 625171 HAS SOUS 208285 HAS SOUPS 204459 WITH SCORE 205089.101
AT ITER 191 NEW BEST:: SOT 1149236 SOS 630101 HAS SOPS 625162 HAS SOUS 208162 HAS SOUPS 204336 WITH SCORE 204966.101
AT ITER 197 NEW BEST:: SOT 1149012 SOS 629877 HAS SOPS 624938 HAS SOUS 207964 HAS SOUPS 204138 WITH SCORE 204767.877
AT ITER 199 NEW BEST:: SOT 1148363 SOS 629228 HAS SOPS 624289 HAS SOUS 206614 HAS SOUPS 202788 WITH SCORE 203417.228
AT ITER 200 NEW BEST:: SOT 1148441 SOS 632213 HAS SOPS 627274 HAS SOUS 204606 HAS SOUPS 200780 WITH SCORE 201412.213
AT ITER 216 NEW BEST:: SOT 1150337 SOS 636325 HAS SOPS 631210 HAS SOUS 204659 HAS SOUPS 200657 WITH SCORE 201293.325
AT ITER 218 NEW BEST:: SOT 1150337 SOS 636319 HAS SOPS 631204 HAS SOUS 204624 HAS SOUPS 200622 WITH SCORE 201258.319
AT ITER 245 NEW BEST:: SOT 1150337 SOS 636312 HAS SOPS 631204 HAS SOUS 204610 HAS SOUPS 200615 WITH SCORE 201251.312
AT ITER 253 NEW BEST:: SOT 1150342 SOS 636257 HAS SOPS 631149 HAS SOUS 204550 HAS SOUPS 200555 WITH SCORE 201191.257
AT ITER 258 NEW BEST:: SOT 1150382 SOS 636297 HAS SOPS 631189 HAS SOUS 204420 HAS SOUPS 200425 WITH SCORE 201061.297
AT ITER 259 NEW BEST:: SOT 1150397 SOS 637656 HAS SOPS 632548 HAS SOUS 204322 HAS SOUPS 200327 WITH SCORE 200964.656
AT ITER 264 NEW BEST:: SOT 1149653 SOS 635963 HAS SOPS 630939 HAS SOUS 202621 HAS SOUPS 198657 WITH SCORE 199292.963
AT ITER 274 NEW BEST:: SOT 1149653 SOS 635930 HAS SOPS 630939 HAS SOUS 202277 HAS SOUPS 198346 WITH SCORE 198981.93
AT ITER 277 NEW BEST:: SOT 1149199 SOS 634648 HAS SOPS 629701 HAS SOUS 201000 HAS SOUPS 197091 WITH SCORE 197725.648
AT ITER 283 NEW BEST:: SOT 1149193 SOS 636842 HAS SOPS 631892 HAS SOUS 200769 HAS SOUPS 196857 WITH SCORE 197493.842
AT ITER 286 NEW BEST:: SOT 1149193 SOS 636554 HAS SOPS 631604 HAS SOUS 200769 HAS SOUPS 196857 WITH SCORE 197493.554
AT ITER 290 NEW BEST:: SOT 1148900 SOS 641149 HAS SOPS 636199 HAS SOUS 200699 HAS SOUPS 196787 WITH SCORE 197428.149
AT ITER 292 NEW BEST:: SOT 1148900 SOS 641121 HAS SOPS 636227 HAS SOUS 200559 HAS SOUPS 196703 WITH SCORE 197344.121
AT ITER 293 NEW BEST:: SOT 1148731 SOS 640661 HAS SOPS 635787 HAS SOUS 199880 HAS SOUPS 196034 WITH SCORE 196674.661
AT ITER 294 NEW BEST:: SOT 1148926 SOS 640375 HAS SOPS 635540 HAS SOUS 199283 HAS SOUPS 195437 WITH SCORE 196077.375
AT ITER 300 NEW BEST:: SOT 1148887 SOS 640951 HAS SOPS 636138 HAS SOUS 198984 HAS SOUPS 195138 WITH SCORE 195778.951
AT ITER 304 NEW BEST:: SOT 1148718 SOS 640782 HAS SOPS 635969 HAS SOUS 198535 HAS SOUPS 194689 WITH SCORE 195329.782
AT ITER 307 NEW BEST:: SOT 1148770 SOS 640834 HAS SOPS 636015 HAS SOUS 198515 HAS SOUPS 194669 WITH SCORE 195309.834
AT ITER 308 NEW BEST:: SOT 1148700 SOS 641578 HAS SOPS 636759 HAS SOUS 198292 HAS SOUPS 194446 WITH SCORE 195087.578
AT ITER 315 NEW BEST:: SOT 1148536 SOS 641414 HAS SOPS 636595 HAS SOUS 197753 HAS SOUPS 193907 WITH SCORE 194548.414
AT ITER 327 NEW BEST:: SOT 1148536 SOS 642422 HAS SOPS 637561 HAS SOUS 197753 HAS SOUPS 193865 WITH SCORE 194507.422
AT ITER 328 NEW BEST:: SOT 1148536 SOS 642422 HAS SOPS 637561 HAS SOUS 197750 HAS SOUPS 193862 WITH SCORE 194504.422
AT ITER 342 NEW BEST:: SOT 1148536 SOS 643802 HAS SOPS 639001 HAS SOUS 197450 HAS SOUPS 193622 WITH SCORE 194265.802
AT ITER 344 NEW BEST:: SOT 1148536 SOS 644722 HAS SOPS 639961 HAS SOUS 196891 HAS SOUPS 193103 WITH SCORE 193747.722
AT ITER 346 NEW BEST:: SOT 1148536 SOS 625513 HAS SOPS 619461 HAS SOUS 196884 HAS SOUPS 192421 WITH SCORE 193046.513
AT ITER 353 NEW BEST:: SOT 1148242 SOS 625289 HAS SOPS 619237 HAS SOUS 196178 HAS SOUPS 191715 WITH SCORE 192340.289
AT ITER 358 NEW BEST:: SOT 1148242 SOS 625649 HAS SOPS 619582 HAS SOUS 196178 HAS SOUPS 191700 WITH SCORE 192325.649
AT ITER 359 NEW BEST:: SOT 1148244 SOS 625636 HAS SOPS 619571 HAS SOUS 196145 HAS SOUPS 191669 WITH SCORE 192294.636
AT ITER 361 NEW BEST:: SOT 1148269 SOS 624772 HAS SOPS 618769 HAS SOUS 195240 HAS SOUPS 190801 WITH SCORE 191425.772
AT ITER 373 NEW BEST:: SOT 1148269 SOS 624751 HAS SOPS 618816 HAS SOUS 195049 HAS SOUPS 190678 WITH SCORE 191302.751
AT ITER 418 NEW BEST:: SOT 1148269 SOS 625787 HAS SOPS 619873 HAS SOUS 193392 HAS SOUPS 189021 WITH SCORE 189646.787
AT ITER 420 NEW BEST:: SOT 1148005 SOS 625395 HAS SOPS 619488 HAS SOUS 193164 HAS SOUPS 188793 WITH SCORE 189418.395
AT ITER 432 NEW BEST:: SOT 1148005 SOS 643251 HAS SOPS 637391 HAS SOUS 192985 HAS SOUPS 188661 WITH SCORE 189304.251
AT ITER 433 NEW BEST:: SOT 1148005 SOS 645439 HAS SOPS 639959 HAS SOUS 192355 HAS SOUPS 188055 WITH SCORE 188700.439
AT ITER 435 NEW BEST:: SOT 1148005 SOS 645199 HAS SOPS 639719 HAS SOUS 192295 HAS SOUPS 187995 WITH SCORE 188640.199
AT ITER 441 NEW BEST:: SOT 1148005 SOS 645247 HAS SOPS 639767 HAS SOUS 192292 HAS SOUPS 187992 WITH SCORE 188637.247
AT ITER 454 NEW BEST:: SOT 1147426 SOS 644666 HAS SOPS 639176 HAS SOUS 192163 HAS SOUPS 187853 WITH SCORE 188497.666
AT ITER 463 NEW BEST:: SOT 1147426 SOS 645276 HAS SOPS 639652 HAS SOUS 192149 HAS SOUPS 187705 WITH SCORE 188350.276
AT ITER 465 NEW BEST:: SOT 1147389 SOS 644999 HAS SOPS 639393 HAS SOUS 192004 HAS SOUPS 187567 WITH SCORE 188211.999
AT ITER 467 NEW BEST:: SOT 1144728 SOS 645299 HAS SOPS 639869 HAS SOUS 189104 HAS SOUPS 184843 WITH SCORE 185488.299
AT ITER 468 NEW BEST:: SOT 1143405 SOS 649067 HAS SOPS 643618 HAS SOUS 188036 HAS SOUPS 183756 WITH SCORE 184405.067
AT ITER 469 NEW BEST:: SOT 1143411 SOS 649073 HAS SOPS 643624 HAS SOUS 187994 HAS SOUPS 183714 WITH SCORE 184363.073
AT ITER 477 NEW BEST:: SOT 1143411 SOS 649105 HAS SOPS 643624 HAS SOUS 188021 HAS SOUPS 183709 WITH SCORE 184358.105
AT ITER 481 NEW BEST:: SOT 1143969 SOS 642212 HAS SOPS 636731 HAS SOUS 187272 HAS SOUPS 182960 WITH SCORE 183602.212
AT ITER 488 NEW BEST:: SOT 1143801 SOS 641956 HAS SOPS 636475 HAS SOUS 187189 HAS SOUPS 182877 WITH SCORE 183518.956
AT ITER 490 NEW BEST:: SOT 1143801 SOS 642025 HAS SOPS 636544 HAS SOUS 187186 HAS SOUPS 182874 WITH SCORE 183516.025
AT ITER 492 NEW BEST:: SOT 1142982 SOS 639770 HAS SOPS 634404 HAS SOUS 185215 HAS SOUPS 180938 WITH SCORE 181577.77
AT ITER 496 NEW BEST:: SOT 1141909 SOS 638696 HAS SOPS 633331 HAS SOUS 183424 HAS SOUPS 179148 WITH SCORE 179786.696
AT ITER 499 NEW BEST:: SOT 1141909 SOS 638627 HAS SOPS 633327 HAS SOUS 183244 HAS SOUPS 179033 WITH SCORE 179671.627
AT ITER 502 NEW BEST:: SOT 1141909 SOS 638650 HAS SOPS 633351 HAS SOUS 183217 HAS SOUPS 179007 WITH SCORE 179645.65
AT ITER 504 NEW BEST:: SOT 1141757 SOS 638498 HAS SOPS 633191 HAS SOUS 183073 HAS SOUPS 178855 WITH SCORE 179493.498
AT ITER 517 NEW BEST:: SOT 1141757 SOS 638498 HAS SOPS 633243 HAS SOUS 182917 HAS SOUPS 178751 WITH SCORE 179389.498
AT ITER 540 NEW BEST:: SOT 1141459 SOS 638138 HAS SOPS 632883 HAS SOUS 182250 HAS SOUPS 178084 WITH SCORE 178722.138
AT ITER 545 NEW BEST:: SOT 1141243 SOS 638279 HAS SOPS 633003 HAS SOUS 182068 HAS SOUPS 177902 WITH SCORE 178540.279
AT ITER 551 NEW BEST:: SOT 1142198 SOS 638130 HAS SOPS 633012 HAS SOUS 179172 HAS SOUPS 175085 WITH SCORE 175723.13
AT ITER 552 NEW BEST:: SOT 1142198 SOS 638258 HAS SOPS 633140 HAS SOUS 179163 HAS SOUPS 175076 WITH SCORE 175714.258
AT ITER 562 NEW BEST:: SOT 1142198 SOS 638091 HAS SOPS 632996 HAS SOUS 179075 HAS SOUPS 175011 WITH SCORE 175649.091
AT ITER 572 NEW BEST:: SOT 1142198 SOS 638091 HAS SOPS 633002 HAS SOUS 179043 HAS SOUPS 174985 WITH SCORE 175623.091
AT ITER 578 NEW BEST:: SOT 1142198 SOS 638084 HAS SOPS 632991 HAS SOUS 179036 HAS SOUPS 174974 WITH SCORE 175612.084
AT ITER 585 NEW BEST:: SOT 1143161 SOS 639047 HAS SOPS 634000 HAS SOUS 178832 HAS SOUPS 174770 WITH SCORE 175409.047
AT ITER 593 NEW BEST:: SOT 1143151 SOS 639242 HAS SOPS 634237 HAS SOUS 178687 HAS SOUPS 174639 WITH SCORE 175278.242
AT ITER 595 NEW BEST:: SOT 1143151 SOS 637082 HAS SOPS 632189 HAS SOUS 178555 HAS SOUPS 174507 WITH SCORE 175144.082
AT ITER 608 NEW BEST:: SOT 1142271 SOS 635186 HAS SOPS 630377 HAS SOUS 177579 HAS SOUPS 173572 WITH SCORE 174207.186
AT ITER 609 NEW BEST:: SOT 1142271 SOS 635094 HAS SOPS 630313 HAS SOUS 177520 HAS SOUPS 173541 WITH SCORE 174176.094
AT ITER 610 NEW BEST:: SOT 1142271 SOS 636041 HAS SOPS 631301 HAS SOUS 177335 HAS SOUPS 173397 WITH SCORE 174033.041
AT ITER 617 NEW BEST:: SOT 1142271 SOS 636276 HAS SOPS 631541 HAS SOUS 177320 HAS SOUPS 173387 WITH SCORE 174023.276
AT ITER 628 NEW BEST:: SOT 1141401 SOS 630128 HAS SOPS 625423 HAS SOUS 176687 HAS SOUPS 172754 WITH SCORE 173384.128
AT ITER 629 NEW BEST:: SOT 1140797 SOS 630224 HAS SOPS 625499 HAS SOUS 176244 HAS SOUPS 172291 WITH SCORE 172921.224
AT ITER 644 NEW BEST:: SOT 1140797 SOS 627584 HAS SOPS 622995 HAS SOUS 176016 HAS SOUPS 172063 WITH SCORE 172690.584
AT ITER 649 NEW BEST:: SOT 1140797 SOS 627128 HAS SOPS 622539 HAS SOUS 176016 HAS SOUPS 172063 WITH SCORE 172690.128
AT ITER 653 NEW BEST:: SOT 1140793 SOS 627192 HAS SOPS 622599 HAS SOUS 176012 HAS SOUPS 172059 WITH SCORE 172686.192
AT ITER 658 NEW BEST:: SOT 1140593 SOS 626841 HAS SOPS 622262 HAS SOUS 175563 HAS SOUPS 171624 WITH SCORE 172250.841
AT ITER 659 NEW BEST:: SOT 1140593 SOS 626841 HAS SOPS 622262 HAS SOUS 175515 HAS SOUPS 171576 WITH SCORE 172202.841
AT ITER 660 NEW BEST:: SOT 1140551 SOS 627994 HAS SOPS 623415 HAS SOUS 174780 HAS SOUPS 170841 WITH SCORE 171468.994
AT ITER 675 NEW BEST:: SOT 1140041 SOS 631607 HAS SOPS 627052 HAS SOUS 174275 HAS SOUPS 170360 WITH SCORE 170991.607
AT ITER 681 NEW BEST:: SOT 1139525 SOS 630473 HAS SOPS 625962 HAS SOUS 172519 HAS SOUPS 168626 WITH SCORE 169256.473
AT ITER 684 NEW BEST:: SOT 1139525 SOS 631605 HAS SOPS 627114 HAS SOUS 172392 HAS SOUPS 168519 WITH SCORE 169150.605
AT ITER 697 NEW BEST:: SOT 1139524 SOS 631604 HAS SOPS 627113 HAS SOUS 172375 HAS SOUPS 168502 WITH SCORE 169133.604
AT ITER 702 NEW BEST:: SOT 1140632 SOS 630846 HAS SOPS 626355 HAS SOUS 172057 HAS SOUPS 168184 WITH SCORE 168814.846
AT ITER 708 NEW BEST:: SOT 1140823 SOS 631444 HAS SOPS 626958 HAS SOUS 171567 HAS SOUPS 167694 WITH SCORE 168325.444
AT ITER 718 NEW BEST:: SOT 1140059 SOS 630489 HAS SOPS 625933 HAS SOUS 171450 HAS SOUPS 167577 WITH SCORE 168207.489
AT ITER 722 NEW BEST:: SOT 1140059 SOS 632039 HAS SOPS 627545 HAS SOUS 171247 HAS SOUPS 167436 WITH SCORE 168068.039
AT ITER 728 NEW BEST:: SOT 1138889 SOS 637843 HAS SOPS 633349 HAS SOUS 170283 HAS SOUPS 166472 WITH SCORE 167109.843
AT ITER 771 NEW BEST:: SOT 1138886 SOS 637388 HAS SOPS 632894 HAS SOUS 170062 HAS SOUPS 166251 WITH SCORE 166888.388
AT ITER 773 NEW BEST:: SOT 1138886 SOS 639412 HAS SOPS 634918 HAS SOUS 170020 HAS SOUPS 166209 WITH SCORE 166848.412
AT ITER 778 NEW BEST:: SOT 1141165 SOS 645247 HAS SOPS 641125 HAS SOUS 169312 HAS SOUPS 165826 WITH SCORE 166471.247
AT ITER 792 NEW BEST:: SOT 1140456 SOS 643634 HAS SOPS 639556 HAS SOUS 167164 HAS SOUPS 163716 WITH SCORE 164359.634
AT ITER 799 NEW BEST:: SOT 1140456 SOS 643922 HAS SOPS 639832 HAS SOUS 167164 HAS SOUPS 163704 WITH SCORE 164347.922
AT ITER 803 NEW BEST:: SOT 1136955 SOS 865192 HAS SOPS 862438 HAS SOUS 164979 HAS SOUPS 162270 WITH SCORE 163135.192
AT ITER 809 NEW BEST:: SOT 1136955 SOS 863656 HAS SOPS 860902 HAS SOUS 164915 HAS SOUPS 162206 WITH SCORE 163069.656
AT ITER 811 NEW BEST:: SOT 1135675 SOS 862376 HAS SOPS 859622 HAS SOUS 162590 HAS SOUPS 159881 WITH SCORE 160743.376
AT ITER 818 NEW BEST:: SOT 1135895 SOS 862596 HAS SOPS 859842 HAS SOUS 162486 HAS SOUPS 159777 WITH SCORE 160639.596
AT ITER 823 NEW BEST:: SOT 1135790 SOS 862484 HAS SOPS 859737 HAS SOUS 162329 HAS SOUPS 159627 WITH SCORE 160489.484
AT ITER 848 NEW BEST:: SOT 1135794 SOS 862488 HAS SOPS 859741 HAS SOUS 162182 HAS SOUPS 159480 WITH SCORE 160342.488
AT ITER 852 NEW BEST:: SOT 1135794 SOS 862199 HAS SOPS 859489 HAS SOUS 162132 HAS SOUPS 159467 WITH SCORE 160329.199
AT ITER 864 NEW BEST:: SOT 1128831 SOS 855236 HAS SOPS 852526 HAS SOUS 155169 HAS SOUPS 152504 WITH SCORE 153359.236
AT ITER 868 NEW BEST:: SOT 1128285 SOS 854690 HAS SOPS 851980 HAS SOUS 154770 HAS SOUPS 152105 WITH SCORE 152959.69
AT ITER 875 NEW BEST:: SOT 1128285 SOS 853994 HAS SOPS 851284 HAS SOUS 154770 HAS SOUPS 152105 WITH SCORE 152958.994
AT ITER 876 NEW BEST:: SOT 1128285 SOS 854316 HAS SOPS 851620 HAS SOUS 154714 HAS SOUPS 152063 WITH SCORE 152917.316
AT ITER 886 NEW BEST:: SOT 1128307 SOS 854338 HAS SOPS 851642 HAS SOUS 154334 HAS SOUPS 151683 WITH SCORE 152537.338
AT ITER 888 NEW BEST:: SOT 1127867 SOS 854426 HAS SOPS 851730 HAS SOUS 153985 HAS SOUPS 151334 WITH SCORE 152188.426
AT ITER 892 NEW BEST:: SOT 1127353 SOS 853772 HAS SOPS 850755 HAS SOUS 153552 HAS SOUPS 150580 WITH SCORE 151433.772
AT ITER 901 NEW BEST:: SOT 1127353 SOS 838004 HAS SOPS 833779 HAS SOUS 153582 HAS SOUPS 150500 WITH SCORE 151338.004
AT ITER 905 NEW BEST:: SOT 1128518 SOS 839042 HAS SOPS 834866 HAS SOUS 153367 HAS SOUPS 150334 WITH SCORE 151173.042
AT ITER 909 NEW BEST:: SOT 1128103 SOS 839347 HAS SOPS 835171 HAS SOUS 153216 HAS SOUPS 150183 WITH SCORE 151022.347
AT ITER 916 NEW BEST:: SOT 1128105 SOS 839349 HAS SOPS 835173 HAS SOUS 153196 HAS SOUPS 150163 WITH SCORE 151002.349
AT ITER 922 NEW BEST:: SOT 1128105 SOS 840409 HAS SOPS 836217 HAS SOUS 153176 HAS SOUPS 150127 WITH SCORE 150967.409
AT ITER 941 NEW BEST:: SOT 1128105 SOS 840626 HAS SOPS 836399 HAS SOUS 153189 HAS SOUPS 150105 WITH SCORE 150945.626
AT ITER 945 NEW BEST:: SOT 1127335 SOS 839874 HAS SOPS 835653 HAS SOUS 153057 HAS SOUPS 149973 WITH SCORE 150812.874
AT ITER 956 NEW BEST:: SOT 1126773 SOS 839300 HAS SOPS 835073 HAS SOUS 151669 HAS SOUPS 148585 WITH SCORE 149424.3
AT ITER 959 NEW BEST:: SOT 1126773 SOS 839300 HAS SOPS 835073 HAS SOUS 151662 HAS SOUPS 148578 WITH SCORE 149417.3
AT ITER 964 NEW BEST:: SOT 1126773 SOS 839752 HAS SOPS 835525 HAS SOUS 151600 HAS SOUPS 148516 WITH SCORE 149355.752
AT ITER 965 NEW BEST:: SOT 1126541 SOS 839520 HAS SOPS 835293 HAS SOUS 151514 HAS SOUPS 148430 WITH SCORE 149269.52
AT ITER 971 NEW BEST:: SOT 1127292 SOS 839434 HAS SOPS 835305 HAS SOUS 149557 HAS SOUPS 146571 WITH SCORE 147410.434
AT ITER 972 NEW BEST:: SOT 1127264 SOS 839406 HAS SOPS 835277 HAS SOUS 149308 HAS SOUPS 146322 WITH SCORE 147161.406
AT ITER 986 NEW BEST:: SOT 1127264 SOS 837208 HAS SOPS 833249 HAS SOUS 148999 HAS SOUPS 146047 WITH SCORE 146884.208
AT ITER 987 NEW BEST:: SOT 1127264 SOS 837203 HAS SOPS 833249 HAS SOUS 148978 HAS SOUPS 146031 WITH SCORE 146868.203
AT ITER 988 NEW BEST:: SOT 1127244 SOS 837183 HAS SOPS 833229 HAS SOUS 148825 HAS SOUPS 145878 WITH SCORE 146715.183
AT ITER 994 NEW BEST:: SOT 1127744 SOS 837683 HAS SOPS 833729 HAS SOUS 148522 HAS SOUPS 145575 WITH SCORE 146412.683
AT ITER 1000 NEW BEST:: SOT 1127696 SOS 837635 HAS SOPS 833681 HAS SOUS 148474 HAS SOUPS 145527 WITH SCORE 146364.635
AT ITER 1014 NEW BEST:: SOT 1127696 SOS 820067 HAS SOPS 816113 HAS SOUS 148459 HAS SOUPS 145512 WITH SCORE 146332.067
AT ITER 1022 NEW BEST:: SOT 1127648 SOS 820014 HAS SOPS 816070 HAS SOUS 148258 HAS SOUPS 145316 WITH SCORE 146136.014
AT ITER 1025 NEW BEST:: SOT 1126733 SOS 820639 HAS SOPS 816695 HAS SOUS 147840 HAS SOUPS 144898 WITH SCORE 145718.639
AT ITER 1026 NEW BEST:: SOT 1126743 SOS 820340 HAS SOPS 816453 HAS SOUS 146430 HAS SOUPS 143545 WITH SCORE 144365.34
AT ITER 1045 NEW BEST:: SOT 1129447 SOS 822992 HAS SOPS 819137 HAS SOUS 146071 HAS SOUPS 143218 WITH SCORE 144040.992
AT ITER 1049 NEW BEST:: SOT 1129477 SOS 823022 HAS SOPS 819167 HAS SOUS 145521 HAS SOUPS 142668 WITH SCORE 143491.022
AT ITER 1067 NEW BEST:: SOT 1132312 SOS 829663 HAS SOPS 825686 HAS SOUS 145616 HAS SOUPS 142641 WITH SCORE 143470.663
AT ITER 1089 NEW BEST:: SOT 1132312 SOS 829659 HAS SOPS 825567 HAS SOUS 145638 HAS SOUPS 142586 WITH SCORE 143415.659
AT ITER 1094 NEW BEST:: SOT 1132912 SOS 830259 HAS SOPS 826252 HAS SOUS 145309 HAS SOUPS 142342 WITH SCORE 143172.259
AT ITER 1103 NEW BEST:: SOT 1132912 SOS 830259 HAS SOPS 826246 HAS SOUS 145309 HAS SOUPS 142336 WITH SCORE 143166.259
AT ITER 1118 NEW BEST:: SOT 1132715 SOS 830820 HAS SOPS 826845 HAS SOUS 145136 HAS SOUPS 142201 WITH SCORE 143031.82
AT ITER 1122 NEW BEST:: SOT 1132715 SOS 830797 HAS SOPS 826822 HAS SOUS 145135 HAS SOUPS 142200 WITH SCORE 143030.797
AT ITER 1134 NEW BEST:: SOT 1132715 SOS 830797 HAS SOPS 826822 HAS SOUS 145045 HAS SOUPS 142110 WITH SCORE 142940.797
AT ITER 1139 NEW BEST:: SOT 1133344 SOS 831459 HAS SOPS 827496 HAS SOUS 143810 HAS SOUPS 140881 WITH SCORE 141712.459
AT ITER 1141 NEW BEST:: SOT 1132957 SOS 831072 HAS SOPS 827109 HAS SOUS 143256 HAS SOUPS 140327 WITH SCORE 141158.072
AT ITER 1143 NEW BEST:: SOT 1132852 SOS 830967 HAS SOPS 827004 HAS SOUS 143223 HAS SOUPS 140294 WITH SCORE 141124.967
AT ITER 1147 NEW BEST:: SOT 1132778 SOS 830893 HAS SOPS 826930 HAS SOUS 142442 HAS SOUPS 139513 WITH SCORE 140343.893
AT ITER 1148 NEW BEST:: SOT 1132414 SOS 831545 HAS SOPS 827598 HAS SOUS 141377 HAS SOUPS 138464 WITH SCORE 139295.545
AT ITER 1154 NEW BEST:: SOT 1134392 SOS 833479 HAS SOPS 829576 HAS SOUS 140300 HAS SOUPS 137409 WITH SCORE 138242.479
AT ITER 1166 NEW BEST:: SOT 1134357 SOS 833611 HAS SOPS 829738 HAS SOUS 140170 HAS SOUPS 137309 WITH SCORE 138142.611
AT ITER 1170 NEW BEST:: SOT 1133413 SOS 832667 HAS SOPS 828794 HAS SOUS 140043 HAS SOUPS 137182 WITH SCORE 138014.667
AT ITER 1189 NEW BEST:: SOT 1133489 SOS 832743 HAS SOPS 828870 HAS SOUS 140021 HAS SOUPS 137160 WITH SCORE 137992.743
AT ITER 1198 NEW BEST:: SOT 1133468 SOS 832894 HAS SOPS 829042 HAS SOUS 139957 HAS SOUPS 137117 WITH SCORE 137949.894
AT ITER 1203 NEW BEST:: SOT 1134181 SOS 833607 HAS SOPS 829755 HAS SOUS 139337 HAS SOUPS 136497 WITH SCORE 137330.607
AT ITER 1207 NEW BEST:: SOT 1133396 SOS 832918 HAS SOPS 829066 HAS SOUS 138722 HAS SOUPS 135882 WITH SCORE 136714.918
AT ITER 1212 NEW BEST:: SOT 1133396 SOS 832035 HAS SOPS 828183 HAS SOUS 138722 HAS SOUPS 135882 WITH SCORE 136714.035
AT ITER 1214 NEW BEST:: SOT 1133608 SOS 832247 HAS SOPS 828395 HAS SOUS 138526 HAS SOUPS 135686 WITH SCORE 136518.247
AT ITER 1222 NEW BEST:: SOT 1133558 SOS 832245 HAS SOPS 827937 HAS SOUS 138500 HAS SOUPS 135204 WITH SCORE 136036.245
AT ITER 1226 NEW BEST:: SOT 1133648 SOS 832335 HAS SOPS 828027 HAS SOUS 138017 HAS SOUPS 134721 WITH SCORE 135553.335
AT ITER 1233 NEW BEST:: SOT 1133538 SOS 832225 HAS SOPS 827480 HAS SOUS 137975 HAS SOUPS 134242 WITH SCORE 135074.225
AT ITER 1235 NEW BEST:: SOT 1133538 SOS 832225 HAS SOPS 827480 HAS SOUS 137966 HAS SOUPS 134233 WITH SCORE 135065.225
AT ITER 1240 NEW BEST:: SOT 1133494 SOS 832181 HAS SOPS 827436 HAS SOUS 137670 HAS SOUPS 133937 WITH SCORE 134769.181
AT ITER 1241 NEW BEST:: SOT 1133494 SOS 830481 HAS SOPS 825852 HAS SOUS 137312 HAS SOUPS 133579 WITH SCORE 134409.481
AT ITER 1258 NEW BEST:: SOT 1133494 SOS 830171 HAS SOPS 825600 HAS SOUS 137033 HAS SOUPS 133358 WITH SCORE 134188.171
AT ITER 1275 NEW BEST:: SOT 1133438 SOS 830145 HAS SOPS 825544 HAS SOUS 136945 HAS SOUPS 133240 WITH SCORE 134070.145
AT ITER 1277 NEW BEST:: SOT 1133438 SOS 830604 HAS SOPS 826056 HAS SOUS 136817 HAS SOUPS 133165 WITH SCORE 133995.604
AT ITER 1279 NEW BEST:: SOT 1133438 SOS 830604 HAS SOPS 826056 HAS SOUS 136813 HAS SOUPS 133161 WITH SCORE 133991.604
AT ITER 1291 NEW BEST:: SOT 1133370 SOS 830536 HAS SOPS 825988 HAS SOUS 136673 HAS SOUPS 133021 WITH SCORE 133851.536
AT ITER 1295 NEW BEST:: SOT 1133370 SOS 830536 HAS SOPS 825988 HAS SOUS 136617 HAS SOUPS 132965 WITH SCORE 133795.536
AT ITER 1299 NEW BEST:: SOT 1134275 SOS 831441 HAS SOPS 826893 HAS SOUS 136444 HAS SOUPS 132792 WITH SCORE 133623.441
AT ITER 1304 NEW BEST:: SOT 1134275 SOS 831895 HAS SOPS 827405 HAS SOUS 136374 HAS SOUPS 132780 WITH SCORE 133611.895
AT ITER 1306 NEW BEST:: SOT 1134133 SOS 831761 HAS SOPS 827271 HAS SOUS 136172 HAS SOUPS 132578 WITH SCORE 133409.761
AT ITER 1322 NEW BEST:: SOT 1134133 SOS 832009 HAS SOPS 827519 HAS SOUS 136040 HAS SOUPS 132446 WITH SCORE 133278.009
AT ITER 1325 NEW BEST:: SOT 1134668 SOS 832202 HAS SOPS 827712 HAS SOUS 136039 HAS SOUPS 132445 WITH SCORE 133277.202
AT ITER 1330 NEW BEST:: SOT 1134652 SOS 832186 HAS SOPS 827727 HAS SOUS 136035 HAS SOUPS 132443 WITH SCORE 133275.186
AT ITER 1333 NEW BEST:: SOT 1134652 SOS 832389 HAS SOPS 827959 HAS SOUS 135977 HAS SOUPS 132414 WITH SCORE 133246.389
AT ITER 1334 NEW BEST:: SOT 1134652 SOS 832389 HAS SOPS 827959 HAS SOUS 135604 HAS SOUPS 132041 WITH SCORE 132873.389
AT ITER 1341 NEW BEST:: SOT 1134647 SOS 832384 HAS SOPS 828258 HAS SOUS 135167 HAS SOUPS 131908 WITH SCORE 132740.384
AT ITER 1343 NEW BEST:: SOT 1134623 SOS 832323 HAS SOPS 828234 HAS SOUS 134978 HAS SOUPS 131756 WITH SCORE 132588.323
AT ITER 1344 NEW BEST:: SOT 1134623 SOS 833665 HAS SOPS 829638 HAS SOUS 134669 HAS SOUPS 131509 WITH SCORE 132342.665
AT ITER 1347 NEW BEST:: SOT 1134655 SOS 833697 HAS SOPS 829670 HAS SOUS 134149 HAS SOUPS 130989 WITH SCORE 131822.697
AT ITER 1349 NEW BEST:: SOT 1134655 SOS 833697 HAS SOPS 829670 HAS SOUS 133260 HAS SOUPS 130100 WITH SCORE 130933.697
AT ITER 1350 NEW BEST:: SOT 1135631 SOS 834673 HAS SOPS 830646 HAS SOUS 133122 HAS SOUPS 129962 WITH SCORE 130796.673
AT ITER 1359 NEW BEST:: SOT 1135132 SOS 834406 HAS SOPS 830379 HAS SOUS 132765 HAS SOUPS 129605 WITH SCORE 130439.406
AT ITER 1361 NEW BEST:: SOT 1137431 SOS 836705 HAS SOPS 832678 HAS SOUS 131071 HAS SOUPS 127911 WITH SCORE 128747.705
AT ITER 1373 NEW BEST:: SOT 1137431 SOS 837656 HAS SOPS 833629 HAS SOUS 131070 HAS SOUPS 127910 WITH SCORE 128747.656
AT ITER 1378 NEW BEST:: SOT 1136960 SOS 837185 HAS SOPS 833158 HAS SOUS 130983 HAS SOUPS 127823 WITH SCORE 128660.185
AT ITER 1386 NEW BEST:: SOT 1136955 SOS 837186 HAS SOPS 833159 HAS SOUS 130978 HAS SOUPS 127818 WITH SCORE 128655.186
AT ITER 1392 NEW BEST:: SOT 1136955 SOS 835734 HAS SOPS 831807 HAS SOUS 130790 HAS SOUPS 127630 WITH SCORE 128465.734
AT ITER 1394 NEW BEST:: SOT 1136058 SOS 834837 HAS SOPS 830910 HAS SOUS 129156 HAS SOUPS 125996 WITH SCORE 126830.837
AT ITER 1409 NEW BEST:: SOT 1136058 SOS 834809 HAS SOPS 830882 HAS SOUS 129151 HAS SOUPS 125991 WITH SCORE 126825.809
AT ITER 1412 NEW BEST:: SOT 1136058 SOS 834809 HAS SOPS 830882 HAS SOUS 129149 HAS SOUPS 125989 WITH SCORE 126823.809
AT ITER 1418 NEW BEST:: SOT 1136058 SOS 834350 HAS SOPS 830520 HAS SOUS 128812 HAS SOUPS 125687 WITH SCORE 126521.35
AT ITER 1427 NEW BEST:: SOT 1135738 SOS 834030 HAS SOPS 830200 HAS SOUS 128492 HAS SOUPS 125367 WITH SCORE 126201.03
AT ITER 1432 NEW BEST:: SOT 1135738 SOS 833862 HAS SOPS 830063 HAS SOUS 128420 HAS SOUPS 125326 WITH SCORE 126159.862
AT ITER 1435 NEW BEST:: SOT 1135993 SOS 834117 HAS SOPS 830318 HAS SOUS 128414 HAS SOUPS 125320 WITH SCORE 126154.117
AT ITER 1439 NEW BEST:: SOT 1137058 SOS 835254 HAS SOPS 831455 HAS SOUS 128395 HAS SOUPS 125301 WITH SCORE 126136.254
AT ITER 1448 NEW BEST:: SOT 1138270 SOS 836592 HAS SOPS 832793 HAS SOUS 128283 HAS SOUPS 125189 WITH SCORE 126025.592
AT ITER 1459 NEW BEST:: SOT 1136595 SOS 834917 HAS SOPS 831118 HAS SOUS 127866 HAS SOUPS 124772 WITH SCORE 125606.917
AT ITER 1461 NEW BEST:: SOT 1136499 SOS 834825 HAS SOPS 831026 HAS SOUS 127770 HAS SOUPS 124676 WITH SCORE 125510.825
AT ITER 1462 NEW BEST:: SOT 1136241 SOS 834720 HAS SOPS 830974 HAS SOUS 127399 HAS SOUPS 124358 WITH SCORE 125192.72
AT ITER 1472 NEW BEST:: SOT 1135810 SOS 834289 HAS SOPS 830543 HAS SOUS 127217 HAS SOUPS 124176 WITH SCORE 125010.289
AT ITER 1473 NEW BEST:: SOT 1134592 SOS 833071 HAS SOPS 829325 HAS SOUS 126627 HAS SOUPS 123586 WITH SCORE 124419.071
AT ITER 1476 NEW BEST:: SOT 1136366 SOS 834909 HAS SOPS 831187 HAS SOUS 126092 HAS SOUPS 123075 WITH SCORE 123909.909
AT ITER 1479 NEW BEST:: SOT 1136366 SOS 829835 HAS SOPS 826423 HAS SOUS 125673 HAS SOUPS 122718 WITH SCORE 123547.835
AT ITER 1492 NEW BEST:: SOT 1136306 SOS 829731 HAS SOPS 826319 HAS SOUS 125584 HAS SOUPS 122629 WITH SCORE 123458.731
AT ITER 1494 NEW BEST:: SOT 1137936 SOS 829969 HAS SOPS 826557 HAS SOUS 123536 HAS SOUPS 120581 WITH SCORE 121410.969
AT ITER 1503 NEW BEST:: SOT 1138817 SOS 830850 HAS SOPS 827438 HAS SOUS 122715 HAS SOUPS 119760 WITH SCORE 120590.85
AT ITER 1509 NEW BEST:: SOT 1138817 SOS 830514 HAS SOPS 827202 HAS SOUS 122208 HAS SOUPS 119278 WITH SCORE 120108.514
AT ITER 1512 NEW BEST:: SOT 1138805 SOS 830502 HAS SOPS 827190 HAS SOUS 122188 HAS SOUPS 119258 WITH SCORE 120088.502
AT ITER 1518 NEW BEST:: SOT 1138805 SOS 830502 HAS SOPS 827190 HAS SOUS 122157 HAS SOUPS 119227 WITH SCORE 120057.502
AT ITER 1526 NEW BEST:: SOT 1138736 SOS 830371 HAS SOPS 827121 HAS SOUS 121945 HAS SOUPS 119077 WITH SCORE 119907.371
AT ITER 1529 NEW BEST:: SOT 1138736 SOS 854674 HAS SOPS 851459 HAS SOUS 121847 HAS SOUPS 119014 WITH SCORE 119868.674
AT ITER 1537 NEW BEST:: SOT 1138736 SOS 855226 HAS SOPS 852007 HAS SOUS 121581 HAS SOUPS 118732 WITH SCORE 119587.226
AT ITER 1543 NEW BEST:: SOT 1138736 SOS 855187 HAS SOPS 851969 HAS SOUS 121578 HAS SOUPS 118730 WITH SCORE 119585.187
AT ITER 1546 NEW BEST:: SOT 1138736 SOS 855187 HAS SOPS 851969 HAS SOUS 121542 HAS SOUPS 118694 WITH SCORE 119549.187
AT ITER 1557 NEW BEST:: SOT 1138673 SOS 855124 HAS SOPS 851906 HAS SOUS 121220 HAS SOUPS 118372 WITH SCORE 119227.124
AT ITER 1560 NEW BEST:: SOT 1138673 SOS 854566 HAS SOPS 851386 HAS SOUS 121170 HAS SOUPS 118360 WITH SCORE 119214.566
AT ITER 1562 NEW BEST:: SOT 1137684 SOS 853577 HAS SOPS 850397 HAS SOUS 120668 HAS SOUPS 117858 WITH SCORE 118711.577
AT ITER 1563 NEW BEST:: SOT 1137654 SOS 853420 HAS SOPS 850286 HAS SOUS 120622 HAS SOUPS 117844 WITH SCORE 118697.42
AT ITER 1566 NEW BEST:: SOT 1137654 SOS 853143 HAS SOPS 850042 HAS SOUS 120584 HAS SOUPS 117839 WITH SCORE 118692.143
AT ITER 1571 NEW BEST:: SOT 1137851 SOS 853340 HAS SOPS 849999 HAS SOUS 120765 HAS SOUPS 117780 WITH SCORE 118633.34
AT ITER 1575 NEW BEST:: SOT 1137845 SOS 853334 HAS SOPS 849993 HAS SOUS 120729 HAS SOUPS 117744 WITH SCORE 118597.334
AT ITER 1596 NEW BEST:: SOT 1138259 SOS 853748 HAS SOPS 850407 HAS SOUS 119992 HAS SOUPS 117007 WITH SCORE 117860.748
AT ITER 1606 NEW BEST:: SOT 1138259 SOS 853748 HAS SOPS 850407 HAS SOUS 119902 HAS SOUPS 116917 WITH SCORE 117770.748
AT ITER 1618 NEW BEST:: SOT 1138109 SOS 853598 HAS SOPS 850257 HAS SOUS 119746 HAS SOUPS 116761 WITH SCORE 117614.598
AT ITER 1619 NEW BEST:: SOT 1138109 SOS 853598 HAS SOPS 850257 HAS SOUS 119745 HAS SOUPS 116760 WITH SCORE 117613.598
AT ITER 1640 NEW BEST:: SOT 1138109 SOS 827870 HAS SOPS 824529 HAS SOUS 119701 HAS SOUPS 116716 WITH SCORE 117543.87
AT ITER 1642 NEW BEST:: SOT 1138849 SOS 827458 HAS SOPS 824117 HAS SOUS 119590 HAS SOUPS 116605 WITH SCORE 117432.458
AT ITER 1663 NEW BEST:: SOT 1138847 SOS 827456 HAS SOPS 824115 HAS SOUS 119540 HAS SOUPS 116555 WITH SCORE 117382.456
AT ITER 1686 NEW BEST:: SOT 1138874 SOS 827483 HAS SOPS 824142 HAS SOUS 118892 HAS SOUPS 115907 WITH SCORE 116734.483
AT ITER 1705 NEW BEST:: SOT 1138851 SOS 827460 HAS SOPS 824119 HAS SOUS 118845 HAS SOUPS 115860 WITH SCORE 116687.46
AT ITER 1713 NEW BEST:: SOT 1140350 SOS 828959 HAS SOPS 825618 HAS SOUS 118483 HAS SOUPS 115498 WITH SCORE 116326.959
AT ITER 1716 NEW BEST:: SOT 1140350 SOS 828959 HAS SOPS 825618 HAS SOUS 118465 HAS SOUPS 115480 WITH SCORE 116308.959
AT ITER 1735 NEW BEST:: SOT 1140187 SOS 828768 HAS SOPS 825427 HAS SOUS 118361 HAS SOUPS 115376 WITH SCORE 116204.768
AT ITER 1738 NEW BEST:: SOT 1138560 SOS 827155 HAS SOPS 823814 HAS SOUS 116838 HAS SOUPS 113853 WITH SCORE 114680.155
AT ITER 1746 NEW BEST:: SOT 1137878 SOS 812840 HAS SOPS 809410 HAS SOUS 116823 HAS SOUPS 113797 WITH SCORE 114609.84
AT ITER 1750 NEW BEST:: SOT 1138274 SOS 813236 HAS SOPS 809806 HAS SOUS 116506 HAS SOUPS 113480 WITH SCORE 114293.236
AT ITER 1760 NEW BEST:: SOT 1137060 SOS 812022 HAS SOPS 808592 HAS SOUS 116441 HAS SOUPS 113415 WITH SCORE 114227.022
AT ITER 1768 NEW BEST:: SOT 1135539 SOS 810501 HAS SOPS 807071 HAS SOUS 114404 HAS SOUPS 111378 WITH SCORE 112188.501
AT ITER 1786 NEW BEST:: SOT 1135522 SOS 810484 HAS SOPS 807054 HAS SOUS 114343 HAS SOUPS 111317 WITH SCORE 112127.484
AT ITER 1790 NEW BEST:: SOT 1135522 SOS 810443 HAS SOPS 807020 HAS SOUS 114290 HAS SOUPS 111271 WITH SCORE 112081.443
AT ITER 1798 NEW BEST:: SOT 1135505 SOS 810426 HAS SOPS 807003 HAS SOUS 114273 HAS SOUPS 111254 WITH SCORE 112064.426
AT ITER 1800 NEW BEST:: SOT 1135505 SOS 809710 HAS SOPS 806359 HAS SOUS 113993 HAS SOUPS 110974 WITH SCORE 111783.71
AT ITER 1815 NEW BEST:: SOT 1135193 SOS 809398 HAS SOPS 806047 HAS SOUS 113506 HAS SOUPS 110487 WITH SCORE 111296.398
AT ITER 1822 NEW BEST:: SOT 1134859 SOS 809516 HAS SOPS 806165 HAS SOUS 113317 HAS SOUPS 110298 WITH SCORE 111107.516
AT ITER 1844 NEW BEST:: SOT 1134240 SOS 809209 HAS SOPS 805858 HAS SOUS 112629 HAS SOUPS 109610 WITH SCORE 110419.209
AT ITER 1854 NEW BEST:: SOT 1134240 SOS 807628 HAS SOPS 804406 HAS SOUS 112161 HAS SOUPS 109169 WITH SCORE 109976.628
AT ITER 1879 NEW BEST:: SOT 1133725 SOS 806947 HAS SOPS 803721 HAS SOUS 111649 HAS SOUPS 108653 WITH SCORE 109459.947
AT ITER 1882 NEW BEST:: SOT 1131259 SOS 804481 HAS SOPS 801255 HAS SOUS 111160 HAS SOUPS 108164 WITH SCORE 108968.481
AT ITER 1889 NEW BEST:: SOT 1131259 SOS 804481 HAS SOPS 801255 HAS SOUS 111157 HAS SOUPS 108161 WITH SCORE 108965.481
AT ITER 1895 NEW BEST:: SOT 1131646 SOS 804868 HAS SOPS 801642 HAS SOUS 111008 HAS SOUPS 108012 WITH SCORE 108816.868
AT ITER 1896 NEW BEST:: SOT 1131329 SOS 805007 HAS SOPS 801781 HAS SOUS 110914 HAS SOUPS 107918 WITH SCORE 108723.007
AT ITER 1899 NEW BEST:: SOT 1131329 SOS 805957 HAS SOPS 802693 HAS SOUS 110914 HAS SOUPS 107880 WITH SCORE 108685.957
AT ITER 1906 NEW BEST:: SOT 1131352 SOS 806003 HAS SOPS 802739 HAS SOUS 110772 HAS SOUPS 107738 WITH SCORE 108544.003
AT ITER 1909 NEW BEST:: SOT 1131168 SOS 805819 HAS SOPS 802555 HAS SOUS 110334 HAS SOUPS 107300 WITH SCORE 108105.819
AT ITER 1912 NEW BEST:: SOT 1131180 SOS 805831 HAS SOPS 802567 HAS SOUS 110046 HAS SOUPS 107012 WITH SCORE 107817.831
AT ITER 1915 NEW BEST:: SOT 1131156 SOS 805807 HAS SOPS 802543 HAS SOUS 109446 HAS SOUPS 106412 WITH SCORE 107217.807
AT ITER 1931 NEW BEST:: SOT 1131089 SOS 805746 HAS SOPS 802482 HAS SOUS 109335 HAS SOUPS 106301 WITH SCORE 107106.746
AT ITER 1932 NEW BEST:: SOT 1131168 SOS 805633 HAS SOPS 802377 HAS SOUS 109059 HAS SOUPS 106027 WITH SCORE 106832.633
AT ITER 1935 NEW BEST:: SOT 1130865 SOS 805366 HAS SOPS 802110 HAS SOUS 108705 HAS SOUPS 105673 WITH SCORE 106478.366
AT ITER 1946 NEW BEST:: SOT 1130865 SOS 805320 HAS SOPS 802062 HAS SOUS 108707 HAS SOUPS 105673 WITH SCORE 106478.32
AT ITER 1967 NEW BEST:: SOT 1129831 SOS 804286 HAS SOPS 801028 HAS SOUS 108638 HAS SOUPS 105604 WITH SCORE 106408.286
AT ITER 1973 NEW BEST:: SOT 1128552 SOS 803007 HAS SOPS 799749 HAS SOUS 108465 HAS SOUPS 105431 WITH SCORE 106234.007
AT ITER 2013 NEW BEST:: SOT 1128473 SOS 802528 HAS SOPS 799285 HAS SOUS 108303 HAS SOUPS 105284 WITH SCORE 106086.528
AT ITER 2014 NEW BEST:: SOT 1126673 SOS 800878 HAS SOPS 797635 HAS SOUS 108008 HAS SOUPS 104989 WITH SCORE 105789.878
AT ITER 2015 NEW BEST:: SOT 1127687 SOS 801892 HAS SOPS 798649 HAS SOUS 106313 HAS SOUPS 103294 WITH SCORE 104095.892
AT ITER 2033 NEW BEST:: SOT 1127590 SOS 801795 HAS SOPS 798552 HAS SOUS 106069 HAS SOUPS 103050 WITH SCORE 103851.795
AT ITER 2048 NEW BEST:: SOT 1127566 SOS 801771 HAS SOPS 798528 HAS SOUS 106052 HAS SOUPS 103033 WITH SCORE 103834.771
AT ITER 2050 NEW BEST:: SOT 1127797 SOS 802002 HAS SOPS 798759 HAS SOUS 105949 HAS SOUPS 102930 WITH SCORE 103732.002
AT ITER 2053 NEW BEST:: SOT 1127788 SOS 801855 HAS SOPS 798612 HAS SOUS 105931 HAS SOUPS 102912 WITH SCORE 103713.855
AT ITER 2090 NEW BEST:: SOT 1127723 SOS 801790 HAS SOPS 798547 HAS SOUS 105905 HAS SOUPS 102886 WITH SCORE 103687.79
AT ITER 2092 NEW BEST:: SOT 1127969 SOS 802036 HAS SOPS 798793 HAS SOUS 105610 HAS SOUPS 102591 WITH SCORE 103393.036
AT ITER 2110 NEW BEST:: SOT 1127618 SOS 801701 HAS SOPS 798458 HAS SOUS 105610 HAS SOUPS 102591 WITH SCORE 103392.701
AT ITER 2114 NEW BEST:: SOT 1127485 SOS 801568 HAS SOPS 798325 HAS SOUS 105586 HAS SOUPS 102567 WITH SCORE 103368.568
AT ITER 2141 NEW BEST:: SOT 1127485 SOS 801568 HAS SOPS 798325 HAS SOUS 105583 HAS SOUPS 102564 WITH SCORE 103365.568
AT ITER 2170 NEW BEST:: SOT 1127653 SOS 801736 HAS SOPS 798493 HAS SOUS 105507 HAS SOUPS 102488 WITH SCORE 103289.736
AT ITER 2172 NEW BEST:: SOT 1127653 SOS 801736 HAS SOPS 798493 HAS SOUS 105489 HAS SOUPS 102470 WITH SCORE 103271.736
AT ITER 2190 NEW BEST:: SOT 1127653 SOS 801722 HAS SOPS 798479 HAS SOUS 105471 HAS SOUPS 102452 WITH SCORE 103253.722
AT ITER 2193 NEW BEST:: SOT 1126579 SOS 800648 HAS SOPS 797405 HAS SOUS 105069 HAS SOUPS 102050 WITH SCORE 102850.648
AT ITER 2197 NEW BEST:: SOT 1126625 SOS 800694 HAS SOPS 797451 HAS SOUS 105029 HAS SOUPS 102010 WITH SCORE 102810.694
AT ITER 2214 NEW BEST:: SOT 1126625 SOS 800688 HAS SOPS 797445 HAS SOUS 105029 HAS SOUPS 102010 WITH SCORE 102810.688
AT ITER 2215 NEW BEST:: SOT 1126634 SOS 800530 HAS SOPS 797275 HAS SOUS 105023 HAS SOUPS 102004 WITH SCORE 102804.53
AT ITER 2237 NEW BEST:: SOT 1126752 SOS 800648 HAS SOPS 797393 HAS SOUS 104942 HAS SOUPS 101923 WITH SCORE 102723.648
AT ITER 2243 NEW BEST:: SOT 1126752 SOS 800630 HAS SOPS 797357 HAS SOUS 104942 HAS SOUPS 101905 WITH SCORE 102705.63
AT ITER 2246 NEW BEST:: SOT 1126752 SOS 796262 HAS SOPS 792989 HAS SOUS 104942 HAS SOUPS 101905 WITH SCORE 102701.262
AT ITER 2292 NEW BEST:: SOT 1126752 SOS 794675 HAS SOPS 791517 HAS SOUS 104896 HAS SOUPS 101882 WITH SCORE 102676.675
AT ITER 2308 NEW BEST:: SOT 1126176 SOS 795587 HAS SOPS 792429 HAS SOUS 104446 HAS SOUPS 101432 WITH SCORE 102227.587
AT ITER 2314 NEW BEST:: SOT 1126176 SOS 794903 HAS SOPS 791745 HAS SOUS 104446 HAS SOUPS 101432 WITH SCORE 102226.903
AT ITER 2316 NEW BEST:: SOT 1126157 SOS 795034 HAS SOPS 791876 HAS SOUS 104445 HAS SOUPS 101431 WITH SCORE 102226.034
AT ITER 2321 NEW BEST:: SOT 1126148 SOS 794785 HAS SOPS 791627 HAS SOUS 104436 HAS SOUPS 101422 WITH SCORE 102216.785
AT ITER 2331 NEW BEST:: SOT 1126149 SOS 794786 HAS SOPS 791628 HAS SOUS 104414 HAS SOUPS 101400 WITH SCORE 102194.786
AT ITER 2353 NEW BEST:: SOT 1126132 SOS 794769 HAS SOPS 791611 HAS SOUS 104398 HAS SOUPS 101384 WITH SCORE 102178.769
AT ITER 2356 NEW BEST:: SOT 1126085 SOS 794722 HAS SOPS 791564 HAS SOUS 104205 HAS SOUPS 101191 WITH SCORE 101985.722
AT ITER 2371 NEW BEST:: SOT 1126085 SOS 762649 HAS SOPS 759491 HAS SOUS 104065 HAS SOUPS 101051 WITH SCORE 101813.649
AT ITER 2374 NEW BEST:: SOT 1128290 SOS 764872 HAS SOPS 761800 HAS SOUS 103872 HAS SOUPS 100944 WITH SCORE 101708.872
AT ITER 2405 NEW BEST:: SOT 1128290 SOS 764872 HAS SOPS 761800 HAS SOUS 103844 HAS SOUPS 100916 WITH SCORE 101680.872
AT ITER 2409 NEW BEST:: SOT 1128033 SOS 764615 HAS SOPS 761543 HAS SOUS 103703 HAS SOUPS 100775 WITH SCORE 101539.615
AT ITER 2421 NEW BEST:: SOT 1127468 SOS 765778 HAS SOPS 762706 HAS SOUS 103441 HAS SOUPS 100513 WITH SCORE 101278.778
AT ITER 2422 NEW BEST:: SOT 1127537 SOS 767539 HAS SOPS 764467 HAS SOUS 103329 HAS SOUPS 100401 WITH SCORE 101168.539
AT ITER 2462 NEW BEST:: SOT 1127537 SOS 763221 HAS SOPS 759989 HAS SOUS 103333 HAS SOUPS 100382 WITH SCORE 101145.221
AT ITER 2466 NEW BEST:: SOT 1127997 SOS 763681 HAS SOPS 760449 HAS SOUS 103283 HAS SOUPS 100332 WITH SCORE 101095.681
AT ITER 2486 NEW BEST:: SOT 1128344 SOS 764028 HAS SOPS 760796 HAS SOUS 102965 HAS SOUPS 100014 WITH SCORE 100778.028
AT ITER 2490 NEW BEST:: SOT 1128572 SOS 764256 HAS SOPS 761024 HAS SOUS 102878 HAS SOUPS 99927 WITH SCORE 100691.256
AT ITER 2496 NEW BEST:: SOT 1128647 SOS 764331 HAS SOPS 761099 HAS SOUS 102821 HAS SOUPS 99870 WITH SCORE 100634.331
AT ITER 2501 NEW BEST:: SOT 1128707 SOS 762291 HAS SOPS 759159 HAS SOUS 102677 HAS SOUPS 99751 WITH SCORE 100513.291
AT ITER 2518 NEW BEST:: SOT 1128525 SOS 762109 HAS SOPS 758977 HAS SOUS 102608 HAS SOUPS 99682 WITH SCORE 100444.109
AT ITER 2522 NEW BEST:: SOT 1128629 SOS 762213 HAS SOPS 759081 HAS SOUS 102248 HAS SOUPS 99322 WITH SCORE 100084.213
AT ITER 2532 NEW BEST:: SOT 1126726 SOS 760217 HAS SOPS 757085 HAS SOUS 101901 HAS SOUPS 98975 WITH SCORE 99735.217
AT ITER 2559 NEW BEST:: SOT 1126561 SOS 760052 HAS SOPS 756920 HAS SOUS 101547 HAS SOUPS 98621 WITH SCORE 99381.052
AT ITER 2562 NEW BEST:: SOT 1126552 SOS 760043 HAS SOPS 756911 HAS SOUS 101528 HAS SOUPS 98602 WITH SCORE 99362.043
AT ITER 2578 NEW BEST:: SOT 1126552 SOS 760043 HAS SOPS 756911 HAS SOUS 101516 HAS SOUPS 98590 WITH SCORE 99350.043
AT ITER 2581 NEW BEST:: SOT 1125478 SOS 762113 HAS SOPS 758981 HAS SOUS 100663 HAS SOUPS 97737 WITH SCORE 98499.113
AT ITER 2590 NEW BEST:: SOT 1125485 SOS 762120 HAS SOPS 758988 HAS SOUS 100576 HAS SOUPS 97650 WITH SCORE 98412.12
AT ITER 2601 NEW BEST:: SOT 1125485 SOS 762264 HAS SOPS 759132 HAS SOUS 100546 HAS SOUPS 97620 WITH SCORE 98382.264
AT ITER 2609 NEW BEST:: SOT 1125482 SOS 762192 HAS SOPS 759060 HAS SOUS 100543 HAS SOUPS 97617 WITH SCORE 98379.192
AT ITER 2619 NEW BEST:: SOT 1125861 SOS 762603 HAS SOPS 759471 HAS SOUS 100304 HAS SOUPS 97378 WITH SCORE 98140.603
AT ITER 2636 NEW BEST:: SOT 1126370 SOS 763112 HAS SOPS 759980 HAS SOUS 98989 HAS SOUPS 96063 WITH SCORE 96826.112
AT ITER 2642 NEW BEST:: SOT 1126370 SOS 666407 HAS SOPS 663164 HAS SOUS 98989 HAS SOUPS 95952 WITH SCORE 96618.407
AT ITER 2644 NEW BEST:: SOT 1126363 SOS 666400 HAS SOPS 663157 HAS SOUS 98982 HAS SOUPS 95945 WITH SCORE 96611.4
AT ITER 2660 NEW BEST:: SOT 1126549 SOS 667762 HAS SOPS 664519 HAS SOUS 97482 HAS SOUPS 94445 WITH SCORE 95112.762
AT ITER 2673 NEW BEST:: SOT 1126549 SOS 667930 HAS SOPS 664687 HAS SOUS 97356 HAS SOUPS 94319 WITH SCORE 94986.93
AT ITER 2684 NEW BEST:: SOT 1126462 SOS 667843 HAS SOPS 664600 HAS SOUS 97292 HAS SOUPS 94255 WITH SCORE 94922.843
AT ITER 2688 NEW BEST:: SOT 1126462 SOS 668756 HAS SOPS 665472 HAS SOUS 97073 HAS SOUPS 93995 WITH SCORE 94663.756
AT ITER 2704 NEW BEST:: SOT 1125678 SOS 668632 HAS SOPS 665304 HAS SOUS 96447 HAS SOUPS 93325 WITH SCORE 93993.632
AT ITER 2712 NEW BEST:: SOT 1125678 SOS 669472 HAS SOPS 666080 HAS SOUS 96447 HAS SOUPS 93261 WITH SCORE 93930.472
AT ITER 2714 NEW BEST:: SOT 1125678 SOS 670280 HAS SOPS 666940 HAS SOUS 96387 HAS SOUPS 93213 WITH SCORE 93883.28
AT ITER 2715 NEW BEST:: SOT 1125260 SOS 669862 HAS SOPS 666522 HAS SOUS 95835 HAS SOUPS 92661 WITH SCORE 93330.862
AT ITER 2777 NEW BEST:: SOT 1125095 SOS 669571 HAS SOPS 666231 HAS SOUS 95671 HAS SOUPS 92497 WITH SCORE 93166.571
AT ITER 2808 NEW BEST:: SOT 1125095 SOS 669567 HAS SOPS 666227 HAS SOUS 95652 HAS SOUPS 92478 WITH SCORE 93147.567
AT ITER 2814 NEW BEST:: SOT 1125095 SOS 669104 HAS SOPS 665827 HAS SOUS 95597 HAS SOUPS 92436 WITH SCORE 93105.104
AT ITER 2866 NEW BEST:: SOT 1125089 SOS 669098 HAS SOPS 665821 HAS SOUS 95585 HAS SOUPS 92424 WITH SCORE 93093.098
AT ITER 2875 NEW BEST:: SOT 1125089 SOS 668978 HAS SOPS 665701 HAS SOUS 95585 HAS SOUPS 92424 WITH SCORE 93092.978
AT ITER 2887 NEW BEST:: SOT 1125089 SOS 669529 HAS SOPS 666201 HAS SOUS 95628 HAS SOUPS 92416 WITH SCORE 93085.529
AT ITER 2889 NEW BEST:: SOT 1125089 SOS 669481 HAS SOPS 666153 HAS SOUS 95628 HAS SOUPS 92416 WITH SCORE 93085.481
AT ITER 2896 NEW BEST:: SOT 1125420 SOS 669952 HAS SOPS 666624 HAS SOUS 95409 HAS SOUPS 92197 WITH SCORE 92866.952
AT ITER 2903 NEW BEST:: SOT 1126001 SOS 670533 HAS SOPS 667205 HAS SOUS 95391 HAS SOUPS 92179 WITH SCORE 92849.533
AT ITER 2932 NEW BEST:: SOT 1126711 SOS 672275 HAS SOPS 668947 HAS SOUS 95004 HAS SOUPS 91792 WITH SCORE 92464.275
AT ITER 2943 NEW BEST:: SOT 1126711 SOS 671520 HAS SOPS 668112 HAS SOUS 95007 HAS SOUPS 91776 WITH SCORE 92447.52
AT ITER 2961 NEW BEST:: SOT 1126703 SOS 671512 HAS SOPS 668104 HAS SOUS 94985 HAS SOUPS 91754 WITH SCORE 92425.512
AT ITER 2977 NEW BEST:: SOT 1126703 SOS 671555 HAS SOPS 668120 HAS SOUS 94992 HAS SOUPS 91753 WITH SCORE 92424.555
AT ITER 2994 NEW BEST:: SOT 1126679 SOS 671531 HAS SOPS 668096 HAS SOUS 94837 HAS SOUPS 91598 WITH SCORE 92269.531
AT ITER 3072 NEW BEST:: SOT 1126679 SOS 671315 HAS SOPS 667880 HAS SOUS 94837 HAS SOUPS 91598 WITH SCORE 92269.315
AT ITER 3076 NEW BEST:: SOT 1129163 SOS 673694 HAS SOPS 670364 HAS SOUS 94651 HAS SOUPS 91419 WITH SCORE 92092.694
AT ITER 3084 NEW BEST:: SOT 1129084 SOS 673615 HAS SOPS 670285 HAS SOUS 94622 HAS SOUPS 91390 WITH SCORE 92063.615
AT ITER 3098 NEW BEST:: SOT 1129073 SOS 671179 HAS SOPS 667946 HAS SOUS 94522 HAS SOUPS 91387 WITH SCORE 92058.179
AT ITER 3124 NEW BEST:: SOT 1129089 SOS 671195 HAS SOPS 667962 HAS SOUS 94513 HAS SOUPS 91378 WITH SCORE 92049.195
AT ITER 3149 NEW BEST:: SOT 1128081 SOS 670099 HAS SOPS 666866 HAS SOUS 93481 HAS SOUPS 90346 WITH SCORE 91016.099
AT ITER 3153 NEW BEST:: SOT 1128081 SOS 669115 HAS SOPS 665882 HAS SOUS 93477 HAS SOUPS 90342 WITH SCORE 91011.115
AT ITER 3157 NEW BEST:: SOT 1128081 SOS 669115 HAS SOPS 665882 HAS SOUS 93473 HAS SOUPS 90338 WITH SCORE 91007.115
AT ITER 3166 NEW BEST:: SOT 1127979 SOS 670309 HAS SOPS 667076 HAS SOUS 93196 HAS SOUPS 90061 WITH SCORE 90731.309
AT ITER 3193 NEW BEST:: SOT 1127940 SOS 670270 HAS SOPS 667037 HAS SOUS 92768 HAS SOUPS 89633 WITH SCORE 90303.27
AT ITER 3221 NEW BEST:: SOT 1126425 SOS 668755 HAS SOPS 665522 HAS SOUS 92417 HAS SOUPS 89282 WITH SCORE 89950.755
AT ITER 3234 NEW BEST:: SOT 1126411 SOS 668741 HAS SOPS 665508 HAS SOUS 92331 HAS SOUPS 89196 WITH SCORE 89864.741
AT ITER 3246 NEW BEST:: SOT 1126436 SOS 668766 HAS SOPS 665533 HAS SOUS 92260 HAS SOUPS 89125 WITH SCORE 89793.766
AT ITER 3259 NEW BEST:: SOT 1125803 SOS 664677 HAS SOPS 661444 HAS SOUS 91780 HAS SOUPS 88645 WITH SCORE 89309.677
AT ITER 3260 NEW BEST:: SOT 1125486 SOS 664360 HAS SOPS 661127 HAS SOUS 91463 HAS SOUPS 88328 WITH SCORE 88992.36
AT ITER 3261 NEW BEST:: SOT 1125486 SOS 664407 HAS SOPS 661174 HAS SOUS 91462 HAS SOUPS 88327 WITH SCORE 88991.407
AT ITER 3278 NEW BEST:: SOT 1125426 SOS 664011 HAS SOPS 660778 HAS SOUS 91407 HAS SOUPS 88272 WITH SCORE 88936.011
AT ITER 3281 NEW BEST:: SOT 1125425 SOS 664010 HAS SOPS 660777 HAS SOUS 91406 HAS SOUPS 88271 WITH SCORE 88935.01
AT ITER 3303 NEW BEST:: SOT 1125425 SOS 663990 HAS SOPS 660761 HAS SOUS 91387 HAS SOUPS 88252 WITH SCORE 88915.99
AT ITER 3339 NEW BEST:: SOT 1125381 SOS 663490 HAS SOPS 660261 HAS SOUS 91321 HAS SOUPS 88186 WITH SCORE 88849.49
AT ITER 3371 NEW BEST:: SOT 1125381 SOS 663476 HAS SOPS 660261 HAS SOUS 91307 HAS SOUPS 88186 WITH SCORE 88849.476
AT ITER 3396 NEW BEST:: SOT 1125233 SOS 663322 HAS SOPS 660107 HAS SOUS 91297 HAS SOUPS 88176 WITH SCORE 88839.322
AT ITER 3432 NEW BEST:: SOT 1122988 SOS 661077 HAS SOPS 657862 HAS SOUS 90480 HAS SOUPS 87359 WITH SCORE 88020.077
AT ITER 3435 NEW BEST:: SOT 1122997 SOS 661086 HAS SOPS 657871 HAS SOUS 90476 HAS SOUPS 87355 WITH SCORE 88016.086
AT ITER 3438 NEW BEST:: SOT 1122997 SOS 660807 HAS SOPS 657595 HAS SOUS 90473 HAS SOUPS 87355 WITH SCORE 88015.807
AT ITER 3441 NEW BEST:: SOT 1122953 SOS 660763 HAS SOPS 657551 HAS SOUS 90429 HAS SOUPS 87311 WITH SCORE 87971.763
AT ITER 3442 NEW BEST:: SOT 1124426 SOS 662236 HAS SOPS 659024 HAS SOUS 90385 HAS SOUPS 87267 WITH SCORE 87929.236
AT ITER 3455 NEW BEST:: SOT 1124426 SOS 661684 HAS SOPS 658448 HAS SOUS 90409 HAS SOUPS 87267 WITH SCORE 87928.684
AT ITER 3468 NEW BEST:: SOT 1124563 SOS 661821 HAS SOPS 658585 HAS SOUS 90181 HAS SOUPS 87039 WITH SCORE 87700.821
AT ITER 3470 NEW BEST:: SOT 1124563 SOS 661653 HAS SOPS 658417 HAS SOUS 90153 HAS SOUPS 87011 WITH SCORE 87672.653
AT ITER 3472 NEW BEST:: SOT 1124554 SOS 661644 HAS SOPS 658408 HAS SOUS 90151 HAS SOUPS 87009 WITH SCORE 87670.644
AT ITER 3475 NEW BEST:: SOT 1125699 SOS 662859 HAS SOPS 659693 HAS SOUS 89872 HAS SOUPS 86800 WITH SCORE 87462.859
AT ITER 3478 NEW BEST:: SOT 1126277 SOS 663437 HAS SOPS 660271 HAS SOUS 89655 HAS SOUPS 86583 WITH SCORE 87246.437
AT ITER 3495 NEW BEST:: SOT 1125688 SOS 662848 HAS SOPS 659682 HAS SOUS 89579 HAS SOUPS 86507 WITH SCORE 87169.848
AT ITER 3501 NEW BEST:: SOT 1125686 SOS 662846 HAS SOPS 659680 HAS SOUS 89578 HAS SOUPS 86506 WITH SCORE 87168.846
AT ITER 3523 NEW BEST:: SOT 1125686 SOS 662510 HAS SOPS 659344 HAS SOUS 89578 HAS SOUPS 86506 WITH SCORE 87168.51
AT ITER 3524 NEW BEST:: SOT 1125415 SOS 663487 HAS SOPS 660321 HAS SOUS 89355 HAS SOUPS 86283 WITH SCORE 86946.487
AT ITER 3527 NEW BEST:: SOT 1125945 SOS 664017 HAS SOPS 660851 HAS SOUS 89309 HAS SOUPS 86237 WITH SCORE 86901.017
AT ITER 3564 NEW BEST:: SOT 1125945 SOS 663120 HAS SOPS 659915 HAS SOUS 89348 HAS SOUPS 86237 WITH SCORE 86900.12
AT ITER 3584 NEW BEST:: SOT 1125843 SOS 663018 HAS SOPS 659813 HAS SOUS 89120 HAS SOUPS 86009 WITH SCORE 86672.018
AT ITER 3606 NEW BEST:: SOT 1125843 SOS 663078 HAS SOPS 659893 HAS SOUS 88948 HAS SOUPS 85841 WITH SCORE 86504.078
AT ITER 3610 NEW BEST:: SOT 1125837 SOS 663984 HAS SOPS 660799 HAS SOUS 88947 HAS SOUPS 85840 WITH SCORE 86503.984
AT ITER 3615 NEW BEST:: SOT 1125837 SOS 663973 HAS SOPS 660799 HAS SOUS 88936 HAS SOUPS 85840 WITH SCORE 86503.973
AT ITER 3665 NEW BEST:: SOT 1125843 SOS 661162 HAS SOPS 657988 HAS SOUS 88937 HAS SOUPS 85841 WITH SCORE 86502.162
AT ITER 3667 NEW BEST:: SOT 1125648 SOS 661303 HAS SOPS 658129 HAS SOUS 88834 HAS SOUPS 85738 WITH SCORE 86399.303
AT ITER 3673 NEW BEST:: SOT 1125648 SOS 661079 HAS SOPS 657905 HAS SOUS 88818 HAS SOUPS 85722 WITH SCORE 86383.079
AT ITER 3682 NEW BEST:: SOT 1124592 SOS 659011 HAS SOPS 655881 HAS SOUS 87718 HAS SOUPS 84666 WITH SCORE 85325.011
AT ITER 3696 NEW BEST:: SOT 1124448 SOS 658867 HAS SOPS 655737 HAS SOUS 87562 HAS SOUPS 84510 WITH SCORE 85168.867
AT ITER 3707 NEW BEST:: SOT 1124448 SOS 668537 HAS SOPS 665479 HAS SOUS 87384 HAS SOUPS 84332 WITH SCORE 85000.537
AT ITER 3740 NEW BEST:: SOT 1124434 SOS 668523 HAS SOPS 665465 HAS SOUS 87358 HAS SOUPS 84306 WITH SCORE 84974.523
AT ITER 3745 NEW BEST:: SOT 1124434 SOS 668523 HAS SOPS 665465 HAS SOUS 87352 HAS SOUPS 84300 WITH SCORE 84968.523
AT ITER 3806 NEW BEST:: SOT 1124431 SOS 668520 HAS SOPS 665462 HAS SOUS 87346 HAS SOUPS 84294 WITH SCORE 84962.52
AT ITER 3811 NEW BEST:: SOT 1124295 SOS 668384 HAS SOPS 665326 HAS SOUS 87164 HAS SOUPS 84112 WITH SCORE 84780.384
AT ITER 3814 NEW BEST:: SOT 1124295 SOS 668204 HAS SOPS 665110 HAS SOUS 87200 HAS SOUPS 84112 WITH SCORE 84780.204
AT ITER 3822 NEW BEST:: SOT 1123369 SOS 667278 HAS SOPS 664184 HAS SOUS 87194 HAS SOUPS 84106 WITH SCORE 84773.278
AT ITER 3871 NEW BEST:: SOT 1123377 SOS 667294 HAS SOPS 664200 HAS SOUS 87160 HAS SOUPS 84072 WITH SCORE 84739.294
AT ITER 3875 NEW BEST:: SOT 1123304 SOS 667037 HAS SOPS 663943 HAS SOUS 87014 HAS SOUPS 83926 WITH SCORE 84593.037
AT ITER 3891 NEW BEST:: SOT 1123304 SOS 666773 HAS SOPS 663679 HAS SOUS 87003 HAS SOUPS 83915 WITH SCORE 84581.773
AT ITER 3907 NEW BEST:: SOT 1123304 SOS 666773 HAS SOPS 663660 HAS SOUS 87004 HAS SOUPS 83897 WITH SCORE 84563.773
AT ITER 3924 NEW BEST:: SOT 1123303 SOS 666772 HAS SOPS 663659 HAS SOUS 87003 HAS SOUPS 83896 WITH SCORE 84562.772
AT ITER 3938 NEW BEST:: SOT 1123178 SOS 664146 HAS SOPS 661033 HAS SOUS 86993 HAS SOUPS 83886 WITH SCORE 84550.146
AT ITER 3939 NEW BEST:: SOT 1123178 SOS 663873 HAS SOPS 660851 HAS SOUS 86683 HAS SOUPS 83667 WITH SCORE 84330.873
AT ITER 3950 NEW BEST:: SOT 1123178 SOS 663574 HAS SOPS 660539 HAS SOUS 86696 HAS SOUPS 83667 WITH SCORE 84330.574
AT ITER 3957 NEW BEST:: SOT 1123152 SOS 663548 HAS SOPS 660513 HAS SOUS 86677 HAS SOUPS 83648 WITH SCORE 84311.548
AT ITER 3967 NEW BEST:: SOT 1123152 SOS 663502 HAS SOPS 660465 HAS SOUS 86677 HAS SOUPS 83646 WITH SCORE 84309.502
AT ITER 3978 NEW BEST:: SOT 1122792 SOS 663142 HAS SOPS 660105 HAS SOUS 86656 HAS SOUPS 83625 WITH SCORE 84288.142
AT ITER 3979 NEW BEST:: SOT 1122072 SOS 662422 HAS SOPS 659385 HAS SOUS 86443 HAS SOUPS 83412 WITH SCORE 84074.422
AT ITER 3991 NEW BEST:: SOT 1122072 SOS 662450 HAS SOPS 659294 HAS SOUS 86457 HAS SOUPS 83307 WITH SCORE 83969.45
AT ITER 3999 NEW BEST:: SOT 1122072 SOS 662448 HAS SOPS 659294 HAS SOUS 86423 HAS SOUPS 83275 WITH SCORE 83937.448
AT ITER 4007 NEW BEST:: SOT 1122072 SOS 662376 HAS SOPS 659222 HAS SOUS 86420 HAS SOUPS 83272 WITH SCORE 83934.376
AT ITER 4018 NEW BEST:: SOT 1122072 SOS 662376 HAS SOPS 659222 HAS SOUS 86415 HAS SOUPS 83267 WITH SCORE 83929.376
AT ITER 4033 NEW BEST:: SOT 1122072 SOS 657642 HAS SOPS 654488 HAS SOUS 86398 HAS SOUPS 83250 WITH SCORE 83907.642
AT ITER 4042 NEW BEST:: SOT 1121678 SOS 657116 HAS SOPS 653962 HAS SOUS 86149 HAS SOUPS 83001 WITH SCORE 83658.116
AT ITER 4050 NEW BEST:: SOT 1120607 SOS 656045 HAS SOPS 652891 HAS SOUS 85655 HAS SOUPS 82507 WITH SCORE 83163.045
AT ITER 4113 NEW BEST:: SOT 1119469 SOS 654315 HAS SOPS 651161 HAS SOUS 85427 HAS SOUPS 82279 WITH SCORE 82933.315
AT ITER 4137 NEW BEST:: SOT 1119455 SOS 654301 HAS SOPS 651147 HAS SOUS 85138 HAS SOUPS 81990 WITH SCORE 82644.301
AT ITER 4138 NEW BEST:: SOT 1119455 SOS 654967 HAS SOPS 651789 HAS SOUS 85132 HAS SOUPS 81960 WITH SCORE 82614.967
AT ITER 4149 NEW BEST:: SOT 1118471 SOS 654065 HAS SOPS 650887 HAS SOUS 84385 HAS SOUPS 81213 WITH SCORE 81867.065
AT ITER 4151 NEW BEST:: SOT 1118372 SOS 654110 HAS SOPS 650932 HAS SOUS 83466 HAS SOUPS 80294 WITH SCORE 80948.11
AT ITER 4190 NEW BEST:: SOT 1118252 SOS 653970 HAS SOPS 650792 HAS SOUS 83308 HAS SOUPS 80136 WITH SCORE 80789.97
AT ITER 4241 NEW BEST:: SOT 1118224 SOS 653942 HAS SOPS 650764 HAS SOUS 83280 HAS SOUPS 80108 WITH SCORE 80761.942
AT ITER 4242 NEW BEST:: SOT 1118327 SOS 654693 HAS SOPS 651515 HAS SOUS 82903 HAS SOUPS 79731 WITH SCORE 80385.693
AT ITER 4247 NEW BEST:: SOT 1118325 SOS 654735 HAS SOPS 651557 HAS SOUS 82855 HAS SOUPS 79683 WITH SCORE 80337.735
AT ITER 4255 NEW BEST:: SOT 1118484 SOS 655374 HAS SOPS 652196 HAS SOUS 82598 HAS SOUPS 79426 WITH SCORE 80081.374
AT ITER 4264 NEW BEST:: SOT 1118484 SOS 655374 HAS SOPS 652196 HAS SOUS 82591 HAS SOUPS 79419 WITH SCORE 80074.374
AT ITER 4275 NEW BEST:: SOT 1118761 SOS 655651 HAS SOPS 652473 HAS SOUS 82492 HAS SOUPS 79320 WITH SCORE 79975.651
AT ITER 4276 NEW BEST:: SOT 1118761 SOS 655170 HAS SOPS 651969 HAS SOUS 82498 HAS SOUPS 79303 WITH SCORE 79958.17
AT ITER 4279 NEW BEST:: SOT 1119301 SOS 655758 HAS SOPS 652557 HAS SOUS 82394 HAS SOUPS 79199 WITH SCORE 79854.758
AT ITER 4281 NEW BEST:: SOT 1119127 SOS 655584 HAS SOPS 652383 HAS SOUS 82345 HAS SOUPS 79150 WITH SCORE 79805.584
AT ITER 4284 NEW BEST:: SOT 1118845 SOS 655302 HAS SOPS 652101 HAS SOUS 80385 HAS SOUPS 77190 WITH SCORE 77845.302
AT ITER 4302 NEW BEST:: SOT 1119084 SOS 655541 HAS SOPS 652340 HAS SOUS 80342 HAS SOUPS 77147 WITH SCORE 77802.541
AT ITER 4307 NEW BEST:: SOT 1119079 SOS 655531 HAS SOPS 652335 HAS SOUS 80251 HAS SOUPS 77061 WITH SCORE 77716.531
AT ITER 4377 NEW BEST:: SOT 1118819 SOS 655271 HAS SOPS 652075 HAS SOUS 80029 HAS SOUPS 76839 WITH SCORE 77494.271
AT ITER 4384 NEW BEST:: SOT 1118819 SOS 655275 HAS SOPS 652060 HAS SOUS 80033 HAS SOUPS 76824 WITH SCORE 77479.275
AT ITER 4442 NEW BEST:: SOT 1118819 SOS 655279 HAS SOPS 652064 HAS SOUS 79985 HAS SOUPS 76776 WITH SCORE 77431.279
AT ITER 4458 NEW BEST:: SOT 1118819 SOS 655261 HAS SOPS 652046 HAS SOUS 79976 HAS SOUPS 76767 WITH SCORE 77422.261
AT ITER 4459 NEW BEST:: SOT 1118834 SOS 655276 HAS SOPS 652061 HAS SOUS 79945 HAS SOUPS 76736 WITH SCORE 77391.276
AT ITER 4470 NEW BEST:: SOT 1118834 SOS 655253 HAS SOPS 652061 HAS SOUS 79922 HAS SOUPS 76736 WITH SCORE 77391.253
AT ITER 4479 NEW BEST:: SOT 1118111 SOS 653820 HAS SOPS 650646 HAS SOUS 79836 HAS SOUPS 76668 WITH SCORE 77321.82
AT ITER 4490 NEW BEST:: SOT 1117031 SOS 657491 HAS SOPS 654317 HAS SOUS 79739 HAS SOUPS 76571 WITH SCORE 77228.491
AT ITER 4509 NEW BEST:: SOT 1117031 SOS 657095 HAS SOPS 653921 HAS SOUS 79739 HAS SOUPS 76571 WITH SCORE 77228.095
AT ITER 4525 NEW BEST:: SOT 1117034 SOS 652746 HAS SOPS 649572 HAS SOUS 79731 HAS SOUPS 76563 WITH SCORE 77215.746
AT ITER 4571 NEW BEST:: SOT 1117146 SOS 652858 HAS SOPS 649684 HAS SOUS 79691 HAS SOUPS 76523 WITH SCORE 77175.858
AT ITER 4597 NEW BEST:: SOT 1117146 SOS 652818 HAS SOPS 649644 HAS SOUS 79691 HAS SOUPS 76523 WITH SCORE 77175.818
AT ITER 4603 NEW BEST:: SOT 1117170 SOS 652842 HAS SOPS 649668 HAS SOUS 79502 HAS SOUPS 76334 WITH SCORE 76986.842
AT ITER 4619 NEW BEST:: SOT 1117170 SOS 652842 HAS SOPS 649668 HAS SOUS 79430 HAS SOUPS 76262 WITH SCORE 76914.842
AT ITER 4662 NEW BEST:: SOT 1117232 SOS 652904 HAS SOPS 649730 HAS SOUS 79392 HAS SOUPS 76224 WITH SCORE 76876.904
AT ITER 4673 NEW BEST:: SOT 1118213 SOS 653865 HAS SOPS 650711 HAS SOUS 79062 HAS SOUPS 75914 WITH SCORE 76567.865
AT ITER 4681 NEW BEST:: SOT 1118213 SOS 653241 HAS SOPS 650087 HAS SOUS 79062 HAS SOUPS 75914 WITH SCORE 76567.241
AT ITER 4694 NEW BEST:: SOT 1118213 SOS 653237 HAS SOPS 650087 HAS SOUS 79058 HAS SOUPS 75914 WITH SCORE 76567.237
AT ITER 4763 NEW BEST:: SOT 1117894 SOS 647553 HAS SOPS 644403 HAS SOUS 79039 HAS SOUPS 75895 WITH SCORE 76542.553
AT ITER 4776 NEW BEST:: SOT 1117884 SOS 647663 HAS SOPS 644513 HAS SOUS 78924 HAS SOUPS 75780 WITH SCORE 76427.663
AT ITER 4795 NEW BEST:: SOT 1117809 SOS 647588 HAS SOPS 644438 HAS SOUS 78918 HAS SOUPS 75774 WITH SCORE 76421.588
AT ITER 4799 NEW BEST:: SOT 1117666 SOS 647225 HAS SOPS 644083 HAS SOUS 78751 HAS SOUPS 75609 WITH SCORE 76256.225
AT ITER 4871 NEW BEST:: SOT 1117393 SOS 647100 HAS SOPS 643954 HAS SOUS 78753 HAS SOUPS 75607 WITH SCORE 76254.1
AT ITER 4911 NEW BEST:: SOT 1117393 SOS 647066 HAS SOPS 643929 HAS SOUS 78721 HAS SOUPS 75584 WITH SCORE 76231.066
AT ITER 4916 NEW BEST:: SOT 1117393 SOS 647002 HAS SOPS 643865 HAS SOUS 78711 HAS SOUPS 75574 WITH SCORE 76221.002
AT ITER 4957 NEW BEST:: SOT 1117393 SOS 646933 HAS SOPS 643796 HAS SOUS 78705 HAS SOUPS 75568 WITH SCORE 76214.933
AT ITER 4987 NEW BEST:: SOT 1117214 SOS 646754 HAS SOPS 643617 HAS SOUS 78701 HAS SOUPS 75564 WITH SCORE 76210.754
AT ITER 4998 NEW BEST:: SOT 1117214 SOS 646754 HAS SOPS 643617 HAS SOUS 78684 HAS SOUPS 75547 WITH SCORE 76193.754
AT ITER 5003 NEW BEST:: SOT 1117214 SOS 646094 HAS SOPS 642957 HAS SOUS 78684 HAS SOUPS 75547 WITH SCORE 76193.094
AT ITER 5020 NEW BEST:: SOT 1117279 SOS 646159 HAS SOPS 643022 HAS SOUS 78603 HAS SOUPS 75466 WITH SCORE 76112.159
AT ITER 5044 NEW BEST:: SOT 1117279 SOS 646159 HAS SOPS 643022 HAS SOUS 78597 HAS SOUPS 75460 WITH SCORE 76106.159
AT ITER 5055 NEW BEST:: SOT 1117279 SOS 646159 HAS SOPS 643022 HAS SOUS 78565 HAS SOUPS 75428 WITH SCORE 76074.159
AT ITER 5066 NEW BEST:: SOT 1117279 SOS 646087 HAS SOPS 642950 HAS SOUS 78565 HAS SOUPS 75428 WITH SCORE 76074.087
AT ITER 5107 NEW BEST:: SOT 1117279 SOS 645847 HAS SOPS 642710 HAS SOUS 78555 HAS SOUPS 75418 WITH SCORE 76063.847
AT ITER 5145 NEW BEST:: SOT 1116673 SOS 645977 HAS SOPS 642840 HAS SOUS 78194 HAS SOUPS 75057 WITH SCORE 75702.977
AT ITER 5147 NEW BEST:: SOT 1116572 SOS 645876 HAS SOPS 642739 HAS SOUS 78061 HAS SOUPS 74924 WITH SCORE 75569.876
AT ITER 5190 NEW BEST:: SOT 1116572 SOS 645784 HAS SOPS 642681 HAS SOUS 78027 HAS SOUPS 74924 WITH SCORE 75569.784
AT ITER 5194 NEW BEST:: SOT 1116572 SOS 645088 HAS SOPS 641985 HAS SOUS 78023 HAS SOUPS 74920 WITH SCORE 75565.088
AT ITER 5217 NEW BEST:: SOT 1116494 SOS 645010 HAS SOPS 641907 HAS SOUS 77828 HAS SOUPS 74725 WITH SCORE 75370.01
AT ITER 5231 NEW BEST:: SOT 1116494 SOS 645000 HAS SOPS 641907 HAS SOUS 77818 HAS SOUPS 74725 WITH SCORE 75370.0
AT ITER 5256 NEW BEST:: SOT 1116490 SOS 644996 HAS SOPS 641903 HAS SOUS 77814 HAS SOUPS 74721 WITH SCORE 75365.996
AT ITER 5260 NEW BEST:: SOT 1115814 SOS 643936 HAS SOPS 640843 HAS SOUS 77417 HAS SOUPS 74324 WITH SCORE 74967.936
AT ITER 5283 NEW BEST:: SOT 1115502 SOS 643620 HAS SOPS 640531 HAS SOUS 77332 HAS SOUPS 74243 WITH SCORE 74886.62
AT ITER 5315 NEW BEST:: SOT 1115363 SOS 643481 HAS SOPS 640392 HAS SOUS 77126 HAS SOUPS 74037 WITH SCORE 74680.481
AT ITER 5363 NEW BEST:: SOT 1115433 SOS 643551 HAS SOPS 640462 HAS SOUS 77099 HAS SOUPS 74010 WITH SCORE 74653.551
AT ITER 5380 NEW BEST:: SOT 1115433 SOS 642567 HAS SOPS 639478 HAS SOUS 77099 HAS SOUPS 74010 WITH SCORE 74652.567
AT ITER 5382 NEW BEST:: SOT 1115433 SOS 642571 HAS SOPS 639482 HAS SOUS 77047 HAS SOUPS 73958 WITH SCORE 74600.571
AT ITER 5385 NEW BEST:: SOT 1115433 SOS 642621 HAS SOPS 639530 HAS SOUS 77047 HAS SOUPS 73956 WITH SCORE 74598.621
AT ITER 5404 NEW BEST:: SOT 1115356 SOS 642544 HAS SOPS 639453 HAS SOUS 77018 HAS SOUPS 73927 WITH SCORE 74569.544
AT ITER 5405 NEW BEST:: SOT 1115356 SOS 642346 HAS SOPS 639255 HAS SOUS 77018 HAS SOUPS 73927 WITH SCORE 74569.346
AT ITER 5411 NEW BEST:: SOT 1113741 SOS 640731 HAS SOPS 637640 HAS SOUS 76515 HAS SOUPS 73424 WITH SCORE 74064.731
AT ITER 5412 NEW BEST:: SOT 1112847 SOS 640605 HAS SOPS 637502 HAS SOUS 76331 HAS SOUPS 73228 WITH SCORE 73868.605
AT ITER 5414 NEW BEST:: SOT 1112070 SOS 639828 HAS SOPS 636725 HAS SOUS 75935 HAS SOUPS 72832 WITH SCORE 73471.828
AT ITER 5418 NEW BEST:: SOT 1111986 SOS 639648 HAS SOPS 636545 HAS SOUS 75935 HAS SOUPS 72832 WITH SCORE 73471.648
AT ITER 5426 NEW BEST:: SOT 1112206 SOS 640132 HAS SOPS 637029 HAS SOUS 75891 HAS SOUPS 72788 WITH SCORE 73428.132
AT ITER 5439 NEW BEST:: SOT 1112206 SOS 640036 HAS SOPS 636933 HAS SOUS 75889 HAS SOUPS 72786 WITH SCORE 73426.036
AT ITER 5454 NEW BEST:: SOT 1112153 SOS 640199 HAS SOPS 637096 HAS SOUS 75812 HAS SOUPS 72709 WITH SCORE 73349.199
AT ITER 5482 NEW BEST:: SOT 1111675 SOS 641977 HAS SOPS 638874 HAS SOUS 75660 HAS SOUPS 72557 WITH SCORE 73198.977
AT ITER 5499 NEW BEST:: SOT 1111663 SOS 641965 HAS SOPS 638862 HAS SOUS 75639 HAS SOUPS 72536 WITH SCORE 73177.965
AT ITER 5533 NEW BEST:: SOT 1111671 SOS 641829 HAS SOPS 638726 HAS SOUS 75483 HAS SOUPS 72380 WITH SCORE 73021.829
AT ITER 5644 NEW BEST:: SOT 1111671 SOS 641541 HAS SOPS 638438 HAS SOUS 75483 HAS SOUPS 72380 WITH SCORE 73021.541
AT ITER 5647 NEW BEST:: SOT 1111620 SOS 641490 HAS SOPS 638387 HAS SOUS 75365 HAS SOUPS 72262 WITH SCORE 72903.49
AT ITER 5659 NEW BEST:: SOT 1111642 SOS 641512 HAS SOPS 638409 HAS SOUS 75344 HAS SOUPS 72241 WITH SCORE 72882.512
AT ITER 5703 NEW BEST:: SOT 1111642 SOS 640042 HAS SOPS 636939 HAS SOUS 75333 HAS SOUPS 72230 WITH SCORE 72870.042
AT ITER 5709 NEW BEST:: SOT 1111652 SOS 640052 HAS SOPS 636949 HAS SOUS 75325 HAS SOUPS 72222 WITH SCORE 72862.052
AT ITER 5731 NEW BEST:: SOT 1111613 SOS 640013 HAS SOPS 636910 HAS SOUS 75274 HAS SOUPS 72171 WITH SCORE 72811.013
AT ITER 5771 NEW BEST:: SOT 1111613 SOS 639827 HAS SOPS 636766 HAS SOUS 75232 HAS SOUPS 72171 WITH SCORE 72810.827
AT ITER 5789 NEW BEST:: SOT 1111613 SOS 639817 HAS SOPS 636766 HAS SOUS 75222 HAS SOUPS 72171 WITH SCORE 72810.817
AT ITER 5797 NEW BEST:: SOT 1111613 SOS 639635 HAS SOPS 636584 HAS SOUS 75222 HAS SOUPS 72171 WITH SCORE 72810.635
AT ITER 5830 NEW BEST:: SOT 1111613 SOS 639437 HAS SOPS 636386 HAS SOUS 75222 HAS SOUPS 72171 WITH SCORE 72810.437
AT ITER 5840 NEW BEST:: SOT 1111527 SOS 639351 HAS SOPS 636300 HAS SOUS 75017 HAS SOUPS 71966 WITH SCORE 72605.351
AT ITER 5858 NEW BEST:: SOT 1111524 SOS 639348 HAS SOPS 636297 HAS SOUS 75011 HAS SOUPS 71960 WITH SCORE 72599.348
AT ITER 5899 NEW BEST:: SOT 1111524 SOS 639348 HAS SOPS 636297 HAS SOUS 74976 HAS SOUPS 71925 WITH SCORE 72564.348
AT ITER 5950 NEW BEST:: SOT 1111502 SOS 639326 HAS SOPS 636275 HAS SOUS 74945 HAS SOUPS 71894 WITH SCORE 72533.326
AT ITER 6019 NEW BEST:: SOT 1111502 SOS 639326 HAS SOPS 636275 HAS SOUS 74874 HAS SOUPS 71823 WITH SCORE 72462.326
AT ITER 6061 NEW BEST:: SOT 1111596 SOS 638604 HAS SOPS 635589 HAS SOUS 74670 HAS SOUPS 71655 WITH SCORE 72293.604
AT ITER 6079 NEW BEST:: SOT 1111596 SOS 638588 HAS SOPS 635589 HAS SOUS 74654 HAS SOUPS 71655 WITH SCORE 72293.588
AT ITER 6087 NEW BEST:: SOT 1111596 SOS 638501 HAS SOPS 635493 HAS SOUS 74658 HAS SOUPS 71650 WITH SCORE 72288.501
AT ITER 6090 NEW BEST:: SOT 1111314 SOS 638051 HAS SOPS 635043 HAS SOUS 74537 HAS SOUPS 71529 WITH SCORE 72167.051
AT ITER 6099 NEW BEST:: SOT 1111314 SOS 638041 HAS SOPS 635033 HAS SOUS 74537 HAS SOUPS 71529 WITH SCORE 72167.041
AT ITER 6109 NEW BEST:: SOT 1111314 SOS 638033 HAS SOPS 635033 HAS SOUS 74529 HAS SOUPS 71529 WITH SCORE 72167.033
AT ITER 6117 NEW BEST:: SOT 1111314 SOS 638085 HAS SOPS 635096 HAS SOUS 74388 HAS SOUPS 71399 WITH SCORE 72037.085
AT ITER 6132 NEW BEST:: SOT 1111529 SOS 638300 HAS SOPS 635311 HAS SOUS 74087 HAS SOUPS 71098 WITH SCORE 71736.3
AT ITER 6157 NEW BEST:: SOT 1111441 SOS 638244 HAS SOPS 635255 HAS SOUS 73941 HAS SOUPS 70952 WITH SCORE 71590.244
AT ITER 6160 NEW BEST:: SOT 1111372 SOS 638103 HAS SOPS 635114 HAS SOUS 73872 HAS SOUPS 70883 WITH SCORE 71521.103
AT ITER 6163 NEW BEST:: SOT 1111372 SOS 638103 HAS SOPS 635114 HAS SOUS 73868 HAS SOUPS 70879 WITH SCORE 71517.103
AT ITER 6203 NEW BEST:: SOT 1111178 SOS 637909 HAS SOPS 634920 HAS SOUS 73850 HAS SOUPS 70861 WITH SCORE 71498.909
AT ITER 6226 NEW BEST:: SOT 1111100 SOS 637831 HAS SOPS 634842 HAS SOUS 73799 HAS SOUPS 70810 WITH SCORE 71447.831
AT ITER 6249 NEW BEST:: SOT 1111100 SOS 637830 HAS SOPS 634840 HAS SOUS 73798 HAS SOUPS 70808 WITH SCORE 71445.83
AT ITER 6255 NEW BEST:: SOT 1111054 SOS 633752 HAS SOPS 630762 HAS SOUS 73762 HAS SOUPS 70772 WITH SCORE 71405.752
AT ITER 6268 NEW BEST:: SOT 1111054 SOS 633746 HAS SOPS 630756 HAS SOUS 73762 HAS SOUPS 70772 WITH SCORE 71405.746
AT ITER 6299 NEW BEST:: SOT 1111206 SOS 633874 HAS SOPS 630884 HAS SOUS 73710 HAS SOUPS 70720 WITH SCORE 71353.874
AT ITER 6325 NEW BEST:: SOT 1111206 SOS 633922 HAS SOPS 630932 HAS SOUS 73699 HAS SOUPS 70709 WITH SCORE 71342.922
AT ITER 6327 NEW BEST:: SOT 1111268 SOS 633984 HAS SOPS 630994 HAS SOUS 73601 HAS SOUPS 70611 WITH SCORE 71244.984
AT ITER 6353 NEW BEST:: SOT 1111268 SOS 633951 HAS SOPS 630970 HAS SOUS 73592 HAS SOUPS 70611 WITH SCORE 71244.951
AT ITER 6399 NEW BEST:: SOT 1111252 SOS 633935 HAS SOPS 630954 HAS SOUS 73560 HAS SOUPS 70579 WITH SCORE 71212.935
AT ITER 6404 NEW BEST:: SOT 1110932 SOS 633615 HAS SOPS 630634 HAS SOUS 73402 HAS SOUPS 70421 WITH SCORE 71054.615
AT ITER 6423 NEW BEST:: SOT 1110932 SOS 633536 HAS SOPS 630562 HAS SOUS 73395 HAS SOUPS 70421 WITH SCORE 71054.536
AT ITER 6424 NEW BEST:: SOT 1111303 SOS 633907 HAS SOPS 630933 HAS SOUS 73350 HAS SOUPS 70376 WITH SCORE 71009.907
AT ITER 6438 NEW BEST:: SOT 1111303 SOS 635949 HAS SOPS 632975 HAS SOUS 73309 HAS SOUPS 70335 WITH SCORE 70970.949
AT ITER 6455 NEW BEST:: SOT 1111303 SOS 635949 HAS SOPS 632975 HAS SOUS 73237 HAS SOUPS 70263 WITH SCORE 70898.949
AT ITER 6469 NEW BEST:: SOT 1111303 SOS 635949 HAS SOPS 632975 HAS SOUS 73219 HAS SOUPS 70245 WITH SCORE 70880.949
AT ITER 6485 NEW BEST:: SOT 1111303 SOS 636373 HAS SOPS 633367 HAS SOUS 73219 HAS SOUPS 70213 WITH SCORE 70849.373
AT ITER 6493 NEW BEST:: SOT 1111303 SOS 636369 HAS SOPS 633359 HAS SOUS 73219 HAS SOUPS 70209 WITH SCORE 70845.369
AT ITER 6495 NEW BEST:: SOT 1111303 SOS 636360 HAS SOPS 633359 HAS SOUS 73210 HAS SOUPS 70209 WITH SCORE 70845.36
AT ITER 6500 NEW BEST:: SOT 1111297 SOS 636354 HAS SOPS 633353 HAS SOUS 73204 HAS SOUPS 70203 WITH SCORE 70839.354
AT ITER 6505 NEW BEST:: SOT 1111297 SOS 635552 HAS SOPS 632513 HAS SOUS 73239 HAS SOUPS 70200 WITH SCORE 70835.552
AT ITER 6511 NEW BEST:: SOT 1111297 SOS 635332 HAS SOPS 632293 HAS SOUS 73239 HAS SOUPS 70200 WITH SCORE 70835.332
AT ITER 6527 NEW BEST:: SOT 1111337 SOS 635386 HAS SOPS 632347 HAS SOUS 73187 HAS SOUPS 70148 WITH SCORE 70783.386
AT ITER 6535 NEW BEST:: SOT 1111058 SOS 633439 HAS SOPS 630325 HAS SOUS 73223 HAS SOUPS 70109 WITH SCORE 70742.439
AT ITER 6547 NEW BEST:: SOT 1111052 SOS 634660 HAS SOPS 631546 HAS SOUS 73216 HAS SOUPS 70102 WITH SCORE 70736.66
AT ITER 6565 NEW BEST:: SOT 1111052 SOS 634453 HAS SOPS 631330 HAS SOUS 73207 HAS SOUPS 70084 WITH SCORE 70718.453
AT ITER 6570 NEW BEST:: SOT 1111061 SOS 634462 HAS SOPS 631339 HAS SOUS 73182 HAS SOUPS 70059 WITH SCORE 70693.462
AT ITER 6606 NEW BEST:: SOT 1111061 SOS 633598 HAS SOPS 630475 HAS SOUS 73155 HAS SOUPS 70032 WITH SCORE 70665.598
AT ITER 6612 NEW BEST:: SOT 1111061 SOS 633312 HAS SOPS 630189 HAS SOUS 73155 HAS SOUPS 70032 WITH SCORE 70665.312
AT ITER 6628 NEW BEST:: SOT 1111061 SOS 633312 HAS SOPS 630189 HAS SOUS 73120 HAS SOUPS 69997 WITH SCORE 70630.312
AT ITER 6649 NEW BEST:: SOT 1110807 SOS 633058 HAS SOPS 629935 HAS SOUS 73026 HAS SOUPS 69903 WITH SCORE 70536.058
AT ITER 6671 NEW BEST:: SOT 1110560 SOS 632499 HAS SOPS 629376 HAS SOUS 72886 HAS SOUPS 69763 WITH SCORE 70395.499
AT ITER 6730 NEW BEST:: SOT 1111537 SOS 633476 HAS SOPS 630353 HAS SOUS 72612 HAS SOUPS 69489 WITH SCORE 70122.476
AT ITER 6731 NEW BEST:: SOT 1111484 SOS 633519 HAS SOPS 630396 HAS SOUS 72474 HAS SOUPS 69351 WITH SCORE 69984.519
AT ITER 6741 NEW BEST:: SOT 1111814 SOS 633849 HAS SOPS 630726 HAS SOUS 72384 HAS SOUPS 69261 WITH SCORE 69894.849
AT ITER 6759 NEW BEST:: SOT 1111814 SOS 633849 HAS SOPS 630726 HAS SOUS 72320 HAS SOUPS 69197 WITH SCORE 69830.849
AT ITER 6769 NEW BEST:: SOT 1111820 SOS 634959 HAS SOPS 631802 HAS SOUS 72326 HAS SOUPS 69169 WITH SCORE 69803.959
AT ITER 6773 NEW BEST:: SOT 1111838 SOS 634593 HAS SOPS 631436 HAS SOUS 72202 HAS SOUPS 69045 WITH SCORE 69679.593
AT ITER 6775 NEW BEST:: SOT 1111828 SOS 634583 HAS SOPS 631426 HAS SOUS 72192 HAS SOUPS 69035 WITH SCORE 69669.583
AT ITER 6779 NEW BEST:: SOT 1111839 SOS 634594 HAS SOPS 631437 HAS SOUS 72190 HAS SOUPS 69033 WITH SCORE 69667.594
AT ITER 6827 NEW BEST:: SOT 1111839 SOS 634530 HAS SOPS 631389 HAS SOUS 72174 HAS SOUPS 69033 WITH SCORE 69667.53
AT ITER 6861 NEW BEST:: SOT 1111839 SOS 634486 HAS SOPS 631345 HAS SOUS 72163 HAS SOUPS 69022 WITH SCORE 69656.486
AT ITER 6877 NEW BEST:: SOT 1111839 SOS 633790 HAS SOPS 630649 HAS SOUS 72163 HAS SOUPS 69022 WITH SCORE 69655.79
AT ITER 6906 NEW BEST:: SOT 1111839 SOS 633790 HAS SOPS 630649 HAS SOUS 72153 HAS SOUPS 69012 WITH SCORE 69645.79
AT ITER 6964 NEW BEST:: SOT 1111839 SOS 634890 HAS SOPS 631749 HAS SOUS 72105 HAS SOUPS 68964 WITH SCORE 69598.89
AT ITER 6989 NEW BEST:: SOT 1111661 SOS 634692 HAS SOPS 631551 HAS SOUS 71942 HAS SOUPS 68801 WITH SCORE 69435.692
AT ITER 6990 NEW BEST:: SOT 1111644 SOS 634675 HAS SOPS 631534 HAS SOUS 71827 HAS SOUPS 68686 WITH SCORE 69320.675
AT ITER 7007 NEW BEST:: SOT 1111644 SOS 634636 HAS SOPS 631495 HAS SOUS 71827 HAS SOUPS 68686 WITH SCORE 69320.636
AT ITER 7032 NEW BEST:: SOT 1111836 SOS 634916 HAS SOPS 631775 HAS SOUS 71652 HAS SOUPS 68511 WITH SCORE 69145.916
AT ITER 7041 NEW BEST:: SOT 1111580 SOS 634628 HAS SOPS 631487 HAS SOUS 71600 HAS SOUPS 68459 WITH SCORE 69093.628
AT ITER 7054 NEW BEST:: SOT 1111580 SOS 634388 HAS SOPS 631247 HAS SOUS 71600 HAS SOUPS 68459 WITH SCORE 69093.388
AT ITER 7064 NEW BEST:: SOT 1111580 SOS 634382 HAS SOPS 631247 HAS SOUS 71594 HAS SOUPS 68459 WITH SCORE 69093.382
AT ITER 7074 NEW BEST:: SOT 1111616 SOS 638112 HAS SOPS 634977 HAS SOUS 71446 HAS SOUPS 68311 WITH SCORE 68949.112
AT ITER 7121 NEW BEST:: SOT 1111616 SOS 637968 HAS SOPS 634833 HAS SOUS 71446 HAS SOUPS 68311 WITH SCORE 68948.968
AT ITER 7133 NEW BEST:: SOT 1111616 SOS 637176 HAS SOPS 634041 HAS SOUS 71446 HAS SOUPS 68311 WITH SCORE 68948.176
AT ITER 7195 NEW BEST:: SOT 1111603 SOS 637163 HAS SOPS 634028 HAS SOUS 71419 HAS SOUPS 68284 WITH SCORE 68921.163
AT ITER 7201 NEW BEST:: SOT 1111603 SOS 637163 HAS SOPS 634028 HAS SOUS 71403 HAS SOUPS 68268 WITH SCORE 68905.163
AT ITER 7211 NEW BEST:: SOT 1111603 SOS 634235 HAS SOPS 631100 HAS SOUS 71405 HAS SOUPS 68270 WITH SCORE 68904.235
AT ITER 7226 NEW BEST:: SOT 1111603 SOS 634074 HAS SOPS 630932 HAS SOUS 71405 HAS SOUPS 68263 WITH SCORE 68897.074
AT ITER 7276 NEW BEST:: SOT 1111598 SOS 634069 HAS SOPS 630927 HAS SOUS 71364 HAS SOUPS 68222 WITH SCORE 68856.069
AT ITER 7298 NEW BEST:: SOT 1111651 SOS 633834 HAS SOPS 630692 HAS SOUS 71311 HAS SOUPS 68169 WITH SCORE 68802.834
AT ITER 7305 NEW BEST:: SOT 1111651 SOS 633830 HAS SOPS 630644 HAS SOUS 71355 HAS SOUPS 68169 WITH SCORE 68802.83
AT ITER 7308 NEW BEST:: SOT 1112375 SOS 634554 HAS SOPS 631368 HAS SOUS 71183 HAS SOUPS 67997 WITH SCORE 68631.554
AT ITER 7316 NEW BEST:: SOT 1112337 SOS 634516 HAS SOPS 631330 HAS SOUS 71101 HAS SOUPS 67915 WITH SCORE 68549.516
AT ITER 7319 NEW BEST:: SOT 1112337 SOS 634456 HAS SOPS 631270 HAS SOUS 71101 HAS SOUPS 67915 WITH SCORE 68549.456
AT ITER 7326 NEW BEST:: SOT 1112456 SOS 634579 HAS SOPS 631393 HAS SOUS 71096 HAS SOUPS 67910 WITH SCORE 68544.579
AT ITER 7378 NEW BEST:: SOT 1112456 SOS 635755 HAS SOPS 632531 HAS SOUS 71123 HAS SOUPS 67899 WITH SCORE 68534.755
AT ITER 7380 NEW BEST:: SOT 1112456 SOS 635755 HAS SOPS 632531 HAS SOUS 71120 HAS SOUPS 67896 WITH SCORE 68531.755
AT ITER 7399 NEW BEST:: SOT 1112456 SOS 635705 HAS SOPS 632483 HAS SOUS 71118 HAS SOUPS 67896 WITH SCORE 68531.705
AT ITER 7414 NEW BEST:: SOT 1112448 SOS 635605 HAS SOPS 632383 HAS SOUS 71113 HAS SOUPS 67891 WITH SCORE 68526.605
AT ITER 7427 NEW BEST:: SOT 1112448 SOS 635576 HAS SOPS 632383 HAS SOUS 71084 HAS SOUPS 67891 WITH SCORE 68526.576
AT ITER 7433 NEW BEST:: SOT 1112448 SOS 635553 HAS SOPS 632359 HAS SOUS 71085 HAS SOUPS 67891 WITH SCORE 68526.553
AT ITER 7438 NEW BEST:: SOT 1112304 SOS 635409 HAS SOPS 632215 HAS SOUS 70878 HAS SOUPS 67684 WITH SCORE 68319.409
AT ITER 7446 NEW BEST:: SOT 1112330 SOS 635435 HAS SOPS 632241 HAS SOUS 70854 HAS SOUPS 67660 WITH SCORE 68295.435
AT ITER 7480 NEW BEST:: SOT 1111537 SOS 633898 HAS SOPS 630704 HAS SOUS 70797 HAS SOUPS 67603 WITH SCORE 68236.898
AT ITER 7494 NEW BEST:: SOT 1111587 SOS 633948 HAS SOPS 630754 HAS SOUS 70747 HAS SOUPS 67553 WITH SCORE 68186.948
AT ITER 7523 NEW BEST:: SOT 1111587 SOS 631818 HAS SOPS 628624 HAS SOUS 70693 HAS SOUPS 67499 WITH SCORE 68130.818
AT ITER 7650 NEW BEST:: SOT 1111464 SOS 631340 HAS SOPS 628119 HAS SOUS 70651 HAS SOUPS 67430 WITH SCORE 68061.34
AT ITER 7660 NEW BEST:: SOT 1111495 SOS 631371 HAS SOPS 628150 HAS SOUS 70615 HAS SOUPS 67394 WITH SCORE 68025.371
AT ITER 7672 NEW BEST:: SOT 1111495 SOS 631371 HAS SOPS 628150 HAS SOUS 70605 HAS SOUPS 67384 WITH SCORE 68015.371
AT ITER 7726 NEW BEST:: SOT 1111495 SOS 631320 HAS SOPS 628126 HAS SOUS 70578 HAS SOUPS 67384 WITH SCORE 68015.32
AT ITER 7727 NEW BEST:: SOT 1111278 SOS 631103 HAS SOPS 627909 HAS SOUS 70577 HAS SOUPS 67383 WITH SCORE 68014.103
AT ITER 7778 NEW BEST:: SOT 1111310 SOS 631087 HAS SOPS 627893 HAS SOUS 70559 HAS SOUPS 67365 WITH SCORE 67996.087
AT ITER 7801 NEW BEST:: SOT 1111310 SOS 631087 HAS SOPS 627893 HAS SOUS 70527 HAS SOUPS 67333 WITH SCORE 67964.087
AT ITER 7804 NEW BEST:: SOT 1111310 SOS 631025 HAS SOPS 627831 HAS SOUS 70527 HAS SOUPS 67333 WITH SCORE 67964.025
AT ITER 7806 NEW BEST:: SOT 1111775 SOS 632018 HAS SOPS 628839 HAS SOUS 70486 HAS SOUPS 67307 WITH SCORE 67939.018
AT ITER 7818 NEW BEST:: SOT 1111775 SOS 631802 HAS SOPS 628623 HAS SOUS 70486 HAS SOUPS 67307 WITH SCORE 67938.802
AT ITER 7839 NEW BEST:: SOT 1111775 SOS 631711 HAS SOPS 628479 HAS SOUS 70539 HAS SOUPS 67307 WITH SCORE 67938.711
AT ITER 7849 NEW BEST:: SOT 1111686 SOS 632006 HAS SOPS 628774 HAS SOUS 70114 HAS SOUPS 66882 WITH SCORE 67514.006
AT ITER 7867 NEW BEST:: SOT 1111571 SOS 631891 HAS SOPS 628659 HAS SOUS 70113 HAS SOUPS 66881 WITH SCORE 67512.891
AT ITER 7935 NEW BEST:: SOT 1111571 SOS 631795 HAS SOPS 628563 HAS SOUS 70113 HAS SOUPS 66881 WITH SCORE 67512.795
AT ITER 7938 NEW BEST:: SOT 1111571 SOS 631769 HAS SOPS 628563 HAS SOUS 70087 HAS SOUPS 66881 WITH SCORE 67512.769
AT ITER 7969 NEW BEST:: SOT 1111543 SOS 631741 HAS SOPS 628535 HAS SOUS 70067 HAS SOUPS 66861 WITH SCORE 67492.741
AT ITER 7995 NEW BEST:: SOT 1111523 SOS 631721 HAS SOPS 628515 HAS SOUS 70023 HAS SOUPS 66817 WITH SCORE 67448.721
AT ITER 8006 NEW BEST:: SOT 1111523 SOS 631219 HAS SOPS 628059 HAS SOUS 69977 HAS SOUPS 66817 WITH SCORE 67448.219
AT ITER 8033 NEW BEST:: SOT 1111523 SOS 631215 HAS SOPS 628059 HAS SOUS 69973 HAS SOUPS 66817 WITH SCORE 67448.215
AT ITER 8037 NEW BEST:: SOT 1111523 SOS 631196 HAS SOPS 628021 HAS SOUS 69973 HAS SOUPS 66798 WITH SCORE 67429.196
AT ITER 8048 NEW BEST:: SOT 1111523 SOS 630596 HAS SOPS 627409 HAS SOUS 69975 HAS SOUPS 66788 WITH SCORE 67418.596
AT ITER 8075 NEW BEST:: SOT 1111523 SOS 630404 HAS SOPS 627217 HAS SOUS 69971 HAS SOUPS 66784 WITH SCORE 67414.404
AT ITER 8094 NEW BEST:: SOT 1111526 SOS 630407 HAS SOPS 627220 HAS SOUS 69934 HAS SOUPS 66747 WITH SCORE 67377.407
AT ITER 8124 NEW BEST:: SOT 1111569 SOS 630466 HAS SOPS 627279 HAS SOUS 69765 HAS SOUPS 66578 WITH SCORE 67208.466
AT ITER 8167 NEW BEST:: SOT 1111621 SOS 630518 HAS SOPS 627331 HAS SOUS 69756 HAS SOUPS 66569 WITH SCORE 67199.518
AT ITER 8173 NEW BEST:: SOT 1111915 SOS 630812 HAS SOPS 627625 HAS SOUS 69751 HAS SOUPS 66564 WITH SCORE 67194.812
AT ITER 8178 NEW BEST:: SOT 1111916 SOS 630813 HAS SOPS 627626 HAS SOUS 69727 HAS SOUPS 66540 WITH SCORE 67170.813
AT ITER 8187 NEW BEST:: SOT 1111916 SOS 630765 HAS SOPS 627578 HAS SOUS 69727 HAS SOUPS 66540 WITH SCORE 67170.765
AT ITER 8201 NEW BEST:: SOT 1111916 SOS 630792 HAS SOPS 627614 HAS SOUS 69717 HAS SOUPS 66539 WITH SCORE 67169.792
AT ITER 8275 NEW BEST:: SOT 1112028 SOS 631528 HAS SOPS 628350 HAS SOUS 69702 HAS SOUPS 66524 WITH SCORE 67155.528
AT ITER 8282 NEW BEST:: SOT 1112009 SOS 631509 HAS SOPS 628331 HAS SOUS 69693 HAS SOUPS 66515 WITH SCORE 67146.509
AT ITER 8299 NEW BEST:: SOT 1112009 SOS 631449 HAS SOPS 628267 HAS SOUS 69693 HAS SOUPS 66511 WITH SCORE 67142.449
AT ITER 8300 NEW BEST:: SOT 1112009 SOS 631433 HAS SOPS 628267 HAS SOUS 69677 HAS SOUPS 66511 WITH SCORE 67142.433
AT ITER 8314 NEW BEST:: SOT 1112009 SOS 629711 HAS SOPS 626545 HAS SOUS 69647 HAS SOUPS 66481 WITH SCORE 67110.711
AT ITER 8341 NEW BEST:: SOT 1112009 SOS 629591 HAS SOPS 626425 HAS SOUS 69641 HAS SOUPS 66475 WITH SCORE 67104.591
AT ITER 8357 NEW BEST:: SOT 1112014 SOS 629612 HAS SOPS 626446 HAS SOUS 69530 HAS SOUPS 66364 WITH SCORE 66993.612
AT ITER 8364 NEW BEST:: SOT 1112014 SOS 629559 HAS SOPS 626326 HAS SOUS 69597 HAS SOUPS 66364 WITH SCORE 66993.559
AT ITER 8380 NEW BEST:: SOT 1111482 SOS 629027 HAS SOPS 625794 HAS SOUS 69573 HAS SOUPS 66340 WITH SCORE 66969.027
AT ITER 8410 NEW BEST:: SOT 1111511 SOS 629056 HAS SOPS 625823 HAS SOUS 69542 HAS SOUPS 66309 WITH SCORE 66938.056
AT ITER 8478 NEW BEST:: SOT 1111511 SOS 629028 HAS SOPS 625809 HAS SOUS 69528 HAS SOUPS 66309 WITH SCORE 66938.028
AT ITER 8493 NEW BEST:: SOT 1111451 SOS 628896 HAS SOPS 625731 HAS SOUS 69465 HAS SOUPS 66300 WITH SCORE 66928.896
AT ITER 8526 NEW BEST:: SOT 1111257 SOS 628986 HAS SOPS 625821 HAS SOUS 69140 HAS SOUPS 65975 WITH SCORE 66603.986
AT ITER 8539 NEW BEST:: SOT 1111257 SOS 628700 HAS SOPS 625535 HAS SOUS 69140 HAS SOUPS 65975 WITH SCORE 66603.7
AT ITER 8540 NEW BEST:: SOT 1111300 SOS 628743 HAS SOPS 625578 HAS SOUS 69076 HAS SOUPS 65911 WITH SCORE 66539.743
AT ITER 8565 NEW BEST:: SOT 1111300 SOS 628719 HAS SOPS 625554 HAS SOUS 69076 HAS SOUPS 65911 WITH SCORE 66539.719
AT ITER 8590 NEW BEST:: SOT 1111300 SOS 628539 HAS SOPS 625374 HAS SOUS 69067 HAS SOUPS 65902 WITH SCORE 66530.539
AT ITER 8624 NEW BEST:: SOT 1111238 SOS 628429 HAS SOPS 625262 HAS SOUS 69047 HAS SOUPS 65880 WITH SCORE 66508.429
AT ITER 8687 NEW BEST:: SOT 1111238 SOS 628429 HAS SOPS 625262 HAS SOUS 69043 HAS SOUPS 65876 WITH SCORE 66504.429
AT ITER 8837 NEW BEST:: SOT 1111238 SOS 628429 HAS SOPS 625262 HAS SOUS 69020 HAS SOUPS 65853 WITH SCORE 66481.429
AT ITER 8852 NEW BEST:: SOT 1110830 SOS 628021 HAS SOPS 624854 HAS SOUS 68887 HAS SOUPS 65720 WITH SCORE 66348.021
AT ITER 8861 NEW BEST:: SOT 1110748 SOS 627939 HAS SOPS 624772 HAS SOUS 68821 HAS SOUPS 65654 WITH SCORE 66281.939
AT ITER 8931 NEW BEST:: SOT 1110754 SOS 627945 HAS SOPS 624778 HAS SOUS 68800 HAS SOUPS 65633 WITH SCORE 66260.945
AT ITER 8934 NEW BEST:: SOT 1110716 SOS 627785 HAS SOPS 624618 HAS SOUS 68718 HAS SOUPS 65551 WITH SCORE 66178.785
AT ITER 9000 NEW BEST:: SOT 1110716 SOS 627617 HAS SOPS 624450 HAS SOUS 68711 HAS SOUPS 65544 WITH SCORE 66171.617
AT ITER 9051 NEW BEST:: SOT 1110326 SOS 627227 HAS SOPS 624060 HAS SOUS 68709 HAS SOUPS 65542 WITH SCORE 66169.227
AT ITER 9072 NEW BEST:: SOT 1110326 SOS 627100 HAS SOPS 623916 HAS SOUS 68726 HAS SOUPS 65542 WITH SCORE 66169.1
AT ITER 9094 NEW BEST:: SOT 1110326 SOS 627166 HAS SOPS 623982 HAS SOUS 68703 HAS SOUPS 65519 WITH SCORE 66146.166
AT ITER 9137 NEW BEST:: SOT 1110328 SOS 627216 HAS SOPS 624032 HAS SOUS 68701 HAS SOUPS 65517 WITH SCORE 66144.216
AT ITER 9186 NEW BEST:: SOT 1110327 SOS 627215 HAS SOPS 624031 HAS SOUS 68700 HAS SOUPS 65516 WITH SCORE 66143.215
AT ITER 9210 NEW BEST:: SOT 1110327 SOS 627215 HAS SOPS 624031 HAS SOUS 68683 HAS SOUPS 65499 WITH SCORE 66126.215
AT ITER 9217 NEW BEST:: SOT 1110327 SOS 627198 HAS SOPS 624031 HAS SOUS 68666 HAS SOUPS 65499 WITH SCORE 66126.198
AT ITER 9227 NEW BEST:: SOT 1110150 SOS 627021 HAS SOPS 623854 HAS SOUS 68488 HAS SOUPS 65321 WITH SCORE 65948.021
AT ITER 9229 NEW BEST:: SOT 1110150 SOS 627021 HAS SOPS 623854 HAS SOUS 68487 HAS SOUPS 65320 WITH SCORE 65947.021
AT ITER 9269 NEW BEST:: SOT 1110150 SOS 626629 HAS SOPS 623446 HAS SOUS 68503 HAS SOUPS 65320 WITH SCORE 65946.629
AT ITER 9274 NEW BEST:: SOT 1110586 SOS 627065 HAS SOPS 623882 HAS SOUS 68265 HAS SOUPS 65082 WITH SCORE 65709.065
AT ITER 9282 NEW BEST:: SOT 1110650 SOS 627147 HAS SOPS 623964 HAS SOUS 68185 HAS SOUPS 65002 WITH SCORE 65629.147
AT ITER 9286 NEW BEST:: SOT 1113008 SOS 634150 HAS SOPS 630810 HAS SOUS 68314 HAS SOUPS 64974 WITH SCORE 65608.15
AT ITER 9297 NEW BEST:: SOT 1113008 SOS 634138 HAS SOPS 630798 HAS SOUS 68314 HAS SOUPS 64974 WITH SCORE 65608.138
AT ITER 9315 NEW BEST:: SOT 1113025 SOS 634155 HAS SOPS 630815 HAS SOUS 68306 HAS SOUPS 64966 WITH SCORE 65600.155
AT ITER 9347 NEW BEST:: SOT 1111448 SOS 636826 HAS SOPS 633486 HAS SOUS 67510 HAS SOUPS 64170 WITH SCORE 64806.826
AT ITER 9370 NEW BEST:: SOT 1111443 SOS 636894 HAS SOPS 633581 HAS SOUS 67214 HAS SOUPS 63901 WITH SCORE 64537.894
AT ITER 9406 NEW BEST:: SOT 1111443 SOS 635389 HAS SOPS 632021 HAS SOUS 67254 HAS SOUPS 63886 WITH SCORE 64521.389
AT ITER 9470 NEW BEST:: SOT 1111443 SOS 635389 HAS SOPS 632021 HAS SOUS 67230 HAS SOUPS 63862 WITH SCORE 64497.389
AT ITER 9485 NEW BEST:: SOT 1111443 SOS 635397 HAS SOPS 632029 HAS SOUS 67136 HAS SOUPS 63768 WITH SCORE 64403.397
AT ITER 9495 NEW BEST:: SOT 1111443 SOS 635229 HAS SOPS 631861 HAS SOUS 67124 HAS SOUPS 63756 WITH SCORE 64391.229
AT ITER 9578 NEW BEST:: SOT 1111443 SOS 634053 HAS SOPS 630685 HAS SOUS 67097 HAS SOUPS 63729 WITH SCORE 64363.053
AT ITER 9611 NEW BEST:: SOT 1111899 SOS 635061 HAS SOPS 631793 HAS SOUS 66582 HAS SOUPS 63314 WITH SCORE 63949.061
AT ITER 9659 NEW BEST:: SOT 1112115 SOS 635277 HAS SOPS 632021 HAS SOUS 66314 HAS SOUPS 63058 WITH SCORE 63693.277
AT ITER 9795 NEW BEST:: SOT 1112040 SOS 635193 HAS SOPS 631934 HAS SOUS 66283 HAS SOUPS 63024 WITH SCORE 63659.193
AT ITER 9798 NEW BEST:: SOT 1112120 SOS 635319 HAS SOPS 632062 HAS SOUS 66246 HAS SOUPS 62989 WITH SCORE 63624.319
AT ITER 9836 NEW BEST:: SOT 1112120 SOS 635319 HAS SOPS 632062 HAS SOUS 66240 HAS SOUPS 62983 WITH SCORE 63618.319
AT ITER 9898 NEW BEST:: SOT 1112120 SOS 634897 HAS SOPS 631654 HAS SOUS 66226 HAS SOUPS 62983 WITH SCORE 63617.897
AT ITER 9933 NEW BEST:: SOT 1112120 SOS 635129 HAS SOPS 631879 HAS SOUS 66211 HAS SOUPS 62961 WITH SCORE 63596.129
AT ITER 9956 NEW BEST:: SOT 1112120 SOS 635127 HAS SOPS 631877 HAS SOUS 66211 HAS SOUPS 62961 WITH SCORE 63596.127

BK_STOP 1678687053122

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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-14"
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-14, 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-167856422200704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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