fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r063-tajo-158922806900040
Last Updated
Jun 28, 2020

About the Execution of smart for DLCshifumi-PT-4a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.480 1913697.00 1913060.00 0.00 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.4K Mar 30 23:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 23:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 12:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 08:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 08:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 02:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 27 02:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 24 05:37 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 1589357748198

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1178 places, 7504 transitions, 28610 arcs.
AT ITER 0 NEW BEST:: SOT 5776050 SOS 4644053 HAS SOPS 2385618 HAS SOUS 551746 HAS SOUPS 261608 WITH SCORE 266252.053
AT ITER 10 NEW BEST:: SOT 5773894 SOS 4645035 HAS SOPS 2384376 HAS SOUS 550317 HAS SOUPS 260179 WITH SCORE 264824.035
AT ITER 12 NEW BEST:: SOT 5772909 SOS 4647393 HAS SOPS 2384106 HAS SOUS 549819 HAS SOUPS 259462 WITH SCORE 264109.393
AT ITER 17 NEW BEST:: SOT 5772909 SOS 4647393 HAS SOPS 2384106 HAS SOUS 549699 HAS SOUPS 259342 WITH SCORE 263989.393
AT ITER 18 NEW BEST:: SOT 5772771 SOS 4647189 HAS SOPS 2383902 HAS SOUS 549647 HAS SOUPS 259290 WITH SCORE 263937.189
AT ITER 21 NEW BEST:: SOT 5770443 SOS 4648240 HAS SOPS 2382521 HAS SOUS 547900 HAS SOUPS 257543 WITH SCORE 262191.24
AT ITER 27 NEW BEST:: SOT 5769136 SOS 4657375 HAS SOPS 2385656 HAS SOUS 547816 HAS SOUPS 256959 WITH SCORE 261616.375
AT ITER 31 NEW BEST:: SOT 5768495 SOS 4658285 HAS SOPS 2385138 HAS SOUS 547473 HAS SOUPS 256497 WITH SCORE 261155.285
AT ITER 41 NEW BEST:: SOT 5768495 SOS 4658285 HAS SOPS 2385138 HAS SOUS 547323 HAS SOUPS 256347 WITH SCORE 261005.285
AT ITER 44 NEW BEST:: SOT 5766649 SOS 4662065 HAS SOPS 2386182 HAS SOUS 546037 HAS SOUPS 255061 WITH SCORE 259723.065
AT ITER 49 NEW BEST:: SOT 5765751 SOS 4659371 HAS SOPS 2385284 HAS SOUS 544854 HAS SOUPS 254327 WITH SCORE 258986.371
AT ITER 72 NEW BEST:: SOT 5765751 SOS 4659231 HAS SOPS 2386628 HAS SOUS 544483 HAS SOUPS 254327 WITH SCORE 258986.231
AT ITER 74 NEW BEST:: SOT 5765741 SOS 4659211 HAS SOPS 2388332 HAS SOUS 544042 HAS SOUPS 254317 WITH SCORE 258976.211
AT ITER 76 NEW BEST:: SOT 5763566 SOS 4664309 HAS SOPS 2389918 HAS SOUS 542692 HAS SOUPS 252967 WITH SCORE 257631.309
AT ITER 84 NEW BEST:: SOT 5761543 SOS 4671319 HAS SOPS 2392992 HAS SOUS 541370 HAS SOUPS 251645 WITH SCORE 256316.319
AT ITER 88 NEW BEST:: SOT 5761270 SOS 4671397 HAS SOPS 2392602 HAS SOUS 541253 HAS SOUPS 251489 WITH SCORE 256160.397
AT ITER 98 NEW BEST:: SOT 5760887 SOS 4670631 HAS SOPS 2393004 HAS SOUS 540420 HAS SOUPS 250948 WITH SCORE 255618.631
AT ITER 104 NEW BEST:: SOT 5760481 SOS 4669523 HAS SOPS 2392708 HAS SOUS 539606 HAS SOUPS 250337 WITH SCORE 255006.523
AT ITER 152 NEW BEST:: SOT 5758279 SOS 4674263 HAS SOPS 2393936 HAS SOUS 538446 HAS SOUPS 249177 WITH SCORE 253851.263
AT ITER 157 NEW BEST:: SOT 5758714 SOS 4640021 HAS SOPS 2394092 HAS SOUS 537774 HAS SOUPS 248946 WITH SCORE 253586.021
AT ITER 158 NEW BEST:: SOT 5757611 SOS 4642195 HAS SOPS 2393686 HAS SOUS 537249 HAS SOUPS 248206 WITH SCORE 252848.195
AT ITER 166 NEW BEST:: SOT 5757199 SOS 4640547 HAS SOPS 2392038 HAS SOUS 536939 HAS SOUPS 247896 WITH SCORE 252536.547
AT ITER 170 NEW BEST:: SOT 5756301 SOS 4640799 HAS SOPS 2390754 HAS SOUS 536425 HAS SOUPS 247254 WITH SCORE 251894.799
AT ITER 172 NEW BEST:: SOT 5756301 SOS 4640799 HAS SOPS 2390754 HAS SOUS 536275 HAS SOUPS 247104 WITH SCORE 251744.799
AT ITER 177 NEW BEST:: SOT 5756301 SOS 4640799 HAS SOPS 2390754 HAS SOUS 536125 HAS SOUPS 246954 WITH SCORE 251594.799
AT ITER 179 NEW BEST:: SOT 5754035 SOS 4646215 HAS SOPS 2392458 HAS SOUS 534749 HAS SOUPS 245578 WITH SCORE 250224.215
AT ITER 181 NEW BEST:: SOT 5753750 SOS 4645645 HAS SOPS 2392536 HAS SOUS 534140 HAS SOUPS 245131 WITH SCORE 249776.645
AT ITER 187 NEW BEST:: SOT 5753586 SOS 4645317 HAS SOPS 2392536 HAS SOUS 533812 HAS SOUPS 244885 WITH SCORE 249530.317
AT ITER 188 NEW BEST:: SOT 5753586 SOS 4645317 HAS SOPS 2392536 HAS SOUS 533698 HAS SOUPS 244771 WITH SCORE 249416.317
AT ITER 192 NEW BEST:: SOT 5752316 SOS 4612522 HAS SOPS 2395315 HAS SOUS 533608 HAS SOUPS 244681 WITH SCORE 249293.522
AT ITER 193 NEW BEST:: SOT 5751287 SOS 4584333 HAS SOPS 2400126 HAS SOUS 533167 HAS SOUPS 244240 WITH SCORE 248824.333
AT ITER 197 NEW BEST:: SOT 5750795 SOS 4585981 HAS SOPS 2400870 HAS SOUS 532799 HAS SOUPS 243872 WITH SCORE 248457.981
AT ITER 208 NEW BEST:: SOT 5749423 SOS 4586757 HAS SOPS 2399102 HAS SOUS 532024 HAS SOUPS 242885 WITH SCORE 247471.757
AT ITER 217 NEW BEST:: SOT 5748974 SOS 4585859 HAS SOPS 2399188 HAS SOUS 531105 HAS SOUPS 242212 WITH SCORE 246797.859
AT ITER 221 NEW BEST:: SOT 5748866 SOS 4585643 HAS SOPS 2398972 HAS SOUS 530997 HAS SOUPS 242104 WITH SCORE 246689.643
AT ITER 222 NEW BEST:: SOT 5748866 SOS 4585643 HAS SOPS 2398972 HAS SOUS 530847 HAS SOUPS 241954 WITH SCORE 246539.643
AT ITER 228 NEW BEST:: SOT 5748866 SOS 4585643 HAS SOPS 2398972 HAS SOUS 530777 HAS SOUPS 241884 WITH SCORE 246469.643
AT ITER 238 NEW BEST:: SOT 5747368 SOS 4591383 HAS SOPS 2401240 HAS SOUS 530552 HAS SOUPS 241659 WITH SCORE 246250.383
AT ITER 244 NEW BEST:: SOT 5747329 SOS 4591305 HAS SOPS 2401162 HAS SOUS 530513 HAS SOUPS 241620 WITH SCORE 246211.305
AT ITER 249 NEW BEST:: SOT 5747327 SOS 4591301 HAS SOPS 2401158 HAS SOUS 530452 HAS SOUPS 241559 WITH SCORE 246150.301
AT ITER 253 NEW BEST:: SOT 5746991 SOS 4590629 HAS SOPS 2401158 HAS SOUS 529780 HAS SOUPS 241055 WITH SCORE 245645.629
AT ITER 265 NEW BEST:: SOT 5744830 SOS 4592643 HAS SOPS 2400620 HAS SOUS 528198 HAS SOUPS 239473 WITH SCORE 244065.643
AT ITER 269 NEW BEST:: SOT 5743170 SOS 4597203 HAS SOPS 2402260 HAS SOUS 527272 HAS SOUPS 238547 WITH SCORE 243144.203
AT ITER 279 NEW BEST:: SOT 5743191 SOS 4597325 HAS SOPS 2401438 HAS SOUS 527121 HAS SOUPS 238160 WITH SCORE 242757.325
AT ITER 283 NEW BEST:: SOT 5743191 SOS 4597325 HAS SOPS 2401438 HAS SOUS 527069 HAS SOUPS 238108 WITH SCORE 242705.325
AT ITER 290 NEW BEST:: SOT 5741243 SOS 4603677 HAS SOPS 2404134 HAS SOUS 526198 HAS SOUPS 237237 WITH SCORE 241840.677
AT ITER 295 NEW BEST:: SOT 5737585 SOS 4597019 HAS SOPS 2402822 HAS SOUS 525832 HAS SOUPS 237241 WITH SCORE 241838.019
AT ITER 305 NEW BEST:: SOT 5736583 SOS 4595015 HAS SOPS 2402194 HAS SOUS 525014 HAS SOUPS 236767 WITH SCORE 241362.015
AT ITER 307 NEW BEST:: SOT 5736583 SOS 4595015 HAS SOPS 2402194 HAS SOUS 524892 HAS SOUPS 236645 WITH SCORE 241240.015
AT ITER 320 NEW BEST:: SOT 5736794 SOS 4570357 HAS SOPS 2403276 HAS SOUS 524219 HAS SOUPS 236302 WITH SCORE 240872.357
AT ITER 334 NEW BEST:: SOT 5736784 SOS 4570337 HAS SOPS 2403256 HAS SOUS 524191 HAS SOUPS 236274 WITH SCORE 240844.337
AT ITER 335 NEW BEST:: SOT 5736556 SOS 4569429 HAS SOPS 2402348 HAS SOUS 523963 HAS SOUPS 236046 WITH SCORE 240615.429
AT ITER 337 NEW BEST:: SOT 5735750 SOS 4567817 HAS SOPS 2401540 HAS SOUS 523358 HAS SOUPS 235642 WITH SCORE 240209.817
AT ITER 344 NEW BEST:: SOT 5735540 SOS 4568517 HAS SOPS 2401400 HAS SOUS 523218 HAS SOUPS 235432 WITH SCORE 240000.517
AT ITER 346 NEW BEST:: SOT 5734761 SOS 4566123 HAS SOPS 2400678 HAS SOUS 522359 HAS SOUPS 234991 WITH SCORE 239557.123
AT ITER 359 NEW BEST:: SOT 5734536 SOS 4565673 HAS SOPS 2401860 HAS SOUS 521726 HAS SOUPS 234766 WITH SCORE 239331.673
AT ITER 360 NEW BEST:: SOT 5734536 SOS 4565673 HAS SOPS 2401860 HAS SOUS 521630 HAS SOUPS 234670 WITH SCORE 239235.673
AT ITER 362 NEW BEST:: SOT 5734408 SOS 4565417 HAS SOPS 2401860 HAS SOUS 521374 HAS SOUPS 234478 WITH SCORE 239043.417
AT ITER 370 NEW BEST:: SOT 5734123 SOS 4564775 HAS SOPS 2403222 HAS SOUS 520631 HAS SOUPS 234236 WITH SCORE 238800.775
AT ITER 382 NEW BEST:: SOT 5733444 SOS 4565745 HAS SOPS 2403028 HAS SOUS 520534 HAS SOUPS 234042 WITH SCORE 238607.745
AT ITER 385 NEW BEST:: SOT 5733444 SOS 4565745 HAS SOPS 2403028 HAS SOUS 520408 HAS SOUPS 233916 WITH SCORE 238481.745
AT ITER 389 NEW BEST:: SOT 5733444 SOS 4565745 HAS SOPS 2403028 HAS SOUS 520372 HAS SOUPS 233880 WITH SCORE 238445.745
AT ITER 403 NEW BEST:: SOT 5733407 SOS 4565671 HAS SOPS 2402954 HAS SOUS 520335 HAS SOUPS 233843 WITH SCORE 238408.671
AT ITER 409 NEW BEST:: SOT 5733407 SOS 4565671 HAS SOPS 2402954 HAS SOUS 520205 HAS SOUPS 233713 WITH SCORE 238278.671
AT ITER 417 NEW BEST:: SOT 5733093 SOS 4565043 HAS SOPS 2403094 HAS SOUS 519507 HAS SOUPS 233207 WITH SCORE 237772.043
AT ITER 423 NEW BEST:: SOT 5731051 SOS 4570799 HAS SOPS 2405250 HAS SOUS 518104 HAS SOUPS 231804 WITH SCORE 236374.799
AT ITER 441 NEW BEST:: SOT 5730369 SOS 4571403 HAS SOPS 2404534 HAS SOUS 517841 HAS SOUPS 231431 WITH SCORE 236002.403
AT ITER 443 NEW BEST:: SOT 5730543 SOS 4549787 HAS SOPS 2405460 HAS SOUS 517259 HAS SOUPS 231138 WITH SCORE 235687.787
AT ITER 449 NEW BEST:: SOT 5730573 SOS 4547255 HAS SOPS 2403792 HAS SOUS 517175 HAS SOUPS 231054 WITH SCORE 235601.255
AT ITER 462 NEW BEST:: SOT 5730611 SOS 4547331 HAS SOPS 2404428 HAS SOUS 517013 HAS SOUPS 231052 WITH SCORE 235599.331
AT ITER 471 NEW BEST:: SOT 5730609 SOS 4547327 HAS SOPS 2404900 HAS SOUS 516892 HAS SOUPS 231050 WITH SCORE 235597.327
AT ITER 474 NEW BEST:: SOT 5730609 SOS 4547327 HAS SOPS 2404900 HAS SOUS 516864 HAS SOUPS 231022 WITH SCORE 235569.327
AT ITER 482 NEW BEST:: SOT 5730187 SOS 4546483 HAS SOPS 2405212 HAS SOUS 516276 HAS SOUPS 230723 WITH SCORE 235269.483
AT ITER 502 NEW BEST:: SOT 5730187 SOS 4545715 HAS SOPS 2405212 HAS SOUS 516084 HAS SOUPS 230723 WITH SCORE 235268.715
AT ITER 515 NEW BEST:: SOT 5730187 SOS 4545715 HAS SOPS 2405212 HAS SOUS 515934 HAS SOUPS 230573 WITH SCORE 235118.715
AT ITER 518 NEW BEST:: SOT 5730217 SOS 4545775 HAS SOPS 2405272 HAS SOUS 515515 HAS SOUPS 230154 WITH SCORE 234699.775
AT ITER 523 NEW BEST:: SOT 5730084 SOS 4545813 HAS SOPS 2405082 HAS SOUS 515458 HAS SOUPS 230078 WITH SCORE 234623.813
AT ITER 528 NEW BEST:: SOT 5729691 SOS 4545027 HAS SOPS 2404296 HAS SOUS 514843 HAS SOUPS 229463 WITH SCORE 234008.027
AT ITER 532 NEW BEST:: SOT 5729556 SOS 4544757 HAS SOPS 2405246 HAS SOUS 514368 HAS SOUPS 229293 WITH SCORE 233837.757
AT ITER 549 NEW BEST:: SOT 5729556 SOS 4544757 HAS SOPS 2405246 HAS SOUS 514228 HAS SOUPS 229153 WITH SCORE 233697.757
AT ITER 553 NEW BEST:: SOT 5728961 SOS 4543567 HAS SOPS 2404056 HAS SOUS 513509 HAS SOUPS 228434 WITH SCORE 232977.567
AT ITER 584 NEW BEST:: SOT 5728605 SOS 4547957 HAS SOPS 2403968 HAS SOUS 512444 HAS SOUPS 227355 WITH SCORE 231902.957
AT ITER 585 NEW BEST:: SOT 5724599 SOS 4540673 HAS SOPS 2402516 HAS SOUS 512080 HAS SOUPS 227359 WITH SCORE 231899.673
AT ITER 587 NEW BEST:: SOT 5724631 SOS 4539962 HAS SOPS 2402061 HAS SOUS 512059 HAS SOUPS 227338 WITH SCORE 231877.962
AT ITER 591 NEW BEST:: SOT 5724452 SOS 4539604 HAS SOPS 2402419 HAS SOUS 511678 HAS SOUPS 227136 WITH SCORE 231675.604
AT ITER 595 NEW BEST:: SOT 5724454 SOS 4538460 HAS SOPS 2401275 HAS SOUS 511664 HAS SOUPS 227122 WITH SCORE 231660.46
AT ITER 620 NEW BEST:: SOT 5724433 SOS 4538397 HAS SOPS 2401212 HAS SOUS 511657 HAS SOUPS 227115 WITH SCORE 231653.397
AT ITER 622 NEW BEST:: SOT 5724433 SOS 4538397 HAS SOPS 2401212 HAS SOUS 511613 HAS SOUPS 227071 WITH SCORE 231609.397
AT ITER 623 NEW BEST:: SOT 5723266 SOS 4548637 HAS SOPS 2407036 HAS SOUS 511540 HAS SOUPS 226998 WITH SCORE 231546.637
AT ITER 636 NEW BEST:: SOT 5723266 SOS 4548637 HAS SOPS 2407036 HAS SOUS 511496 HAS SOUPS 226954 WITH SCORE 231502.637
AT ITER 638 NEW BEST:: SOT 5723244 SOS 4548593 HAS SOPS 2406992 HAS SOUS 511473 HAS SOUPS 226931 WITH SCORE 231479.593
AT ITER 639 NEW BEST:: SOT 5723244 SOS 4548341 HAS SOPS 2406740 HAS SOUS 511473 HAS SOUPS 226931 WITH SCORE 231479.34100000001
AT ITER 642 NEW BEST:: SOT 5723164 SOS 4548181 HAS SOPS 2406580 HAS SOUS 511313 HAS SOUPS 226771 WITH SCORE 231319.181
AT ITER 645 NEW BEST:: SOT 5720935 SOS 4549167 HAS SOPS 2405856 HAS SOUS 509574 HAS SOUPS 225317 WITH SCORE 229866.167
AT ITER 667 NEW BEST:: SOT 5720849 SOS 4548995 HAS SOPS 2405684 HAS SOUS 509402 HAS SOUPS 225145 WITH SCORE 229693.995
AT ITER 670 NEW BEST:: SOT 5720849 SOS 4548995 HAS SOPS 2405684 HAS SOUS 509392 HAS SOUPS 225135 WITH SCORE 229683.995
AT ITER 695 NEW BEST:: SOT 5720849 SOS 4552895 HAS SOPS 2405528 HAS SOUS 509392 HAS SOUPS 225083 WITH SCORE 229635.895
AT ITER 708 NEW BEST:: SOT 5720677 SOS 4552135 HAS SOPS 2405320 HAS SOUS 509046 HAS SOUPS 224875 WITH SCORE 229427.135
AT ITER 711 NEW BEST:: SOT 5721019 SOS 4545859 HAS SOPS 2402524 HAS SOUS 508584 HAS SOUPS 224703 WITH SCORE 229248.859
AT ITER 718 NEW BEST:: SOT 5717026 SOS 4540087 HAS SOPS 2399794 HAS SOUS 508324 HAS SOUPS 224598 WITH SCORE 229138.087
AT ITER 724 NEW BEST:: SOT 5717034 SOS 4540087 HAS SOPS 2399794 HAS SOUS 508320 HAS SOUPS 224594 WITH SCORE 229134.087
AT ITER 744 NEW BEST:: SOT 5715250 SOS 4542639 HAS SOPS 2399882 HAS SOUS 507004 HAS SOUPS 223278 WITH SCORE 227820.639
AT ITER 747 NEW BEST:: SOT 5714852 SOS 4541223 HAS SOPS 2399262 HAS SOUS 506206 HAS SOUPS 222679 WITH SCORE 227220.223
AT ITER 754 NEW BEST:: SOT 5714211 SOS 4539941 HAS SOPS 2397980 HAS SOUS 505419 HAS SOUPS 221892 WITH SCORE 226431.941
AT ITER 765 NEW BEST:: SOT 5714211 SOS 4539941 HAS SOPS 2397980 HAS SOUS 505381 HAS SOUPS 221854 WITH SCORE 226393.941
AT ITER 772 NEW BEST:: SOT 5713774 SOS 4539067 HAS SOPS 2398242 HAS SOUS 504444 HAS SOUPS 221201 WITH SCORE 225740.067
AT ITER 778 NEW BEST:: SOT 5713774 SOS 4539067 HAS SOPS 2398242 HAS SOUS 504165 HAS SOUPS 221199 WITH SCORE 225738.067
AT ITER 787 NEW BEST:: SOT 5713771 SOS 4539061 HAS SOPS 2398236 HAS SOUS 504159 HAS SOUPS 221193 WITH SCORE 225732.061
AT ITER 795 NEW BEST:: SOT 5712842 SOS 4543347 HAS SOPS 2400474 HAS SOUS 503521 HAS SOUPS 220555 WITH SCORE 225098.347
AT ITER 797 NEW BEST:: SOT 5711515 SOS 4548925 HAS SOPS 2403092 HAS SOUS 502849 HAS SOUPS 219883 WITH SCORE 224431.925
AT ITER 800 NEW BEST:: SOT 5711515 SOS 4548925 HAS SOPS 2403092 HAS SOUS 502829 HAS SOUPS 219863 WITH SCORE 224411.925
AT ITER 803 NEW BEST:: SOT 5711515 SOS 4548925 HAS SOPS 2403092 HAS SOUS 502701 HAS SOUPS 219735 WITH SCORE 224283.925
AT ITER 808 NEW BEST:: SOT 5711439 SOS 4548773 HAS SOPS 2402940 HAS SOUS 502625 HAS SOUPS 219659 WITH SCORE 224207.773
AT ITER 809 NEW BEST:: SOT 5707958 SOS 4542501 HAS SOPS 2401616 HAS SOUS 501993 HAS SOUPS 219385 WITH SCORE 223927.501
AT ITER 820 NEW BEST:: SOT 5707958 SOS 4542501 HAS SOPS 2401616 HAS SOUS 501949 HAS SOUPS 219341 WITH SCORE 223883.501
AT ITER 821 NEW BEST:: SOT 5707958 SOS 4542501 HAS SOPS 2401616 HAS SOUS 501925 HAS SOUPS 219317 WITH SCORE 223859.501
AT ITER 827 NEW BEST:: SOT 5707824 SOS 4542233 HAS SOPS 2401348 HAS SOUS 501791 HAS SOUPS 219183 WITH SCORE 223725.233
AT ITER 836 NEW BEST:: SOT 5707110 SOS 4540805 HAS SOPS 2399920 HAS SOUS 501611 HAS SOUPS 219003 WITH SCORE 223543.805
AT ITER 847 NEW BEST:: SOT 5704816 SOS 4542917 HAS SOPS 2399144 HAS SOUS 499806 HAS SOUPS 217198 WITH SCORE 221740.917
AT ITER 848 NEW BEST:: SOT 5704552 SOS 4542917 HAS SOPS 2398748 HAS SOUS 499641 HAS SOUPS 217000 WITH SCORE 221542.917
AT ITER 857 NEW BEST:: SOT 5704344 SOS 4542501 HAS SOPS 2398332 HAS SOUS 499433 HAS SOUPS 216792 WITH SCORE 221334.501
AT ITER 866 NEW BEST:: SOT 5701903 SOS 4545159 HAS SOPS 2398070 HAS SOUS 497522 HAS SOUPS 214881 WITH SCORE 219426.15899999999
AT ITER 869 NEW BEST:: SOT 5699749 SOS 4547411 HAS SOPS 2397706 HAS SOUS 495982 HAS SOUPS 213341 WITH SCORE 217888.411
AT ITER 884 NEW BEST:: SOT 5699136 SOS 4547605 HAS SOPS 2397048 HAS SOUS 495653 HAS SOUPS 212941 WITH SCORE 217488.605
AT ITER 891 NEW BEST:: SOT 5698551 SOS 4546435 HAS SOPS 2397350 HAS SOUS 494700 HAS SOUPS 212356 WITH SCORE 216902.435
AT ITER 894 NEW BEST:: SOT 5698551 SOS 4546435 HAS SOPS 2397350 HAS SOUS 494697 HAS SOUPS 212354 WITH SCORE 216900.435
AT ITER 895 NEW BEST:: SOT 5696625 SOS 4546931 HAS SOPS 2395806 HAS SOUS 493273 HAS SOUPS 210930 WITH SCORE 215476.931
AT ITER 909 NEW BEST:: SOT 5696625 SOS 4546287 HAS SOPS 2395806 HAS SOUS 493112 HAS SOUPS 210930 WITH SCORE 215476.287
AT ITER 910 NEW BEST:: SOT 5696625 SOS 4546287 HAS SOPS 2395806 HAS SOUS 493058 HAS SOUPS 210876 WITH SCORE 215422.287
AT ITER 916 NEW BEST:: SOT 5696395 SOS 4545531 HAS SOPS 2395642 HAS SOUS 492869 HAS SOUPS 210835 WITH SCORE 215380.531
AT ITER 925 NEW BEST:: SOT 5693348 SOS 4546101 HAS SOPS 2393388 HAS SOUS 490656 HAS SOUPS 208622 WITH SCORE 213168.101
AT ITER 929 NEW BEST:: SOT 5693000 SOS 4545405 HAS SOPS 2393988 HAS SOUS 489760 HAS SOUPS 208050 WITH SCORE 212595.405
AT ITER 933 NEW BEST:: SOT 5692205 SOS 4547263 HAS SOPS 2394518 HAS SOUS 489131 HAS SOUPS 207421 WITH SCORE 211968.263
AT ITER 943 NEW BEST:: SOT 5692162 SOS 4547177 HAS SOPS 2394588 HAS SOUS 489028 HAS SOUPS 207357 WITH SCORE 211904.177
AT ITER 947 NEW BEST:: SOT 5691702 SOS 4546257 HAS SOPS 2394036 HAS SOUS 488752 HAS SOUPS 207173 WITH SCORE 211719.257
AT ITER 952 NEW BEST:: SOT 5691702 SOS 4546257 HAS SOPS 2394036 HAS SOUS 488672 HAS SOUPS 207093 WITH SCORE 211639.257
AT ITER 958 NEW BEST:: SOT 5691642 SOS 4546137 HAS SOPS 2393916 HAS SOUS 488668 HAS SOUPS 207089 WITH SCORE 211635.137
AT ITER 960 NEW BEST:: SOT 5691637 SOS 4546127 HAS SOPS 2393926 HAS SOUS 488658 HAS SOUPS 207084 WITH SCORE 211630.127
AT ITER 961 NEW BEST:: SOT 5691532 SOS 4545577 HAS SOPS 2393376 HAS SOUS 488491 HAS SOUPS 206917 WITH SCORE 211462.577
AT ITER 968 NEW BEST:: SOT 5691528 SOS 4545569 HAS SOPS 2393368 HAS SOUS 488487 HAS SOUPS 206913 WITH SCORE 211458.569
AT ITER 970 NEW BEST:: SOT 5690991 SOS 4548503 HAS SOPS 2395116 HAS SOUS 488117 HAS SOUPS 206618 WITH SCORE 211166.503
AT ITER 974 NEW BEST:: SOT 5689122 SOS 4551365 HAS SOPS 2395426 HAS SOUS 486794 HAS SOUPS 205295 WITH SCORE 209846.365
AT ITER 975 NEW BEST:: SOT 5689122 SOS 4550989 HAS SOPS 2395426 HAS SOUS 486606 HAS SOUPS 205201 WITH SCORE 209751.989
AT ITER 983 NEW BEST:: SOT 5689041 SOS 4551475 HAS SOPS 2395696 HAS SOUS 486552 HAS SOUPS 205147 WITH SCORE 209698.475
AT ITER 993 NEW BEST:: SOT 5689041 SOS 4551475 HAS SOPS 2395696 HAS SOUS 486476 HAS SOUPS 205071 WITH SCORE 209622.475
AT ITER 995 NEW BEST:: SOT 5692053 SOS 4555491 HAS SOPS 2397202 HAS SOUS 486670 HAS SOUPS 204906 WITH SCORE 209461.491
AT ITER 1004 NEW BEST:: SOT 5691161 SOS 4555963 HAS SOPS 2396546 HAS SOUS 486201 HAS SOUPS 204437 WITH SCORE 208992.963
AT ITER 1012 NEW BEST:: SOT 5691055 SOS 4555751 HAS SOPS 2396334 HAS SOUS 486095 HAS SOUPS 204331 WITH SCORE 208886.751
AT ITER 1016 NEW BEST:: SOT 5691053 SOS 4556539 HAS SOPS 2396330 HAS SOUS 486090 HAS SOUPS 204128 WITH SCORE 208684.539
AT ITER 1017 NEW BEST:: SOT 5690640 SOS 4556657 HAS SOPS 2395740 HAS SOUS 485854 HAS SOUPS 203833 WITH SCORE 208389.657
AT ITER 1024 NEW BEST:: SOT 5690596 SOS 4556569 HAS SOPS 2395504 HAS SOUS 485847 HAS SOUPS 203789 WITH SCORE 208345.569
AT ITER 1029 NEW BEST:: SOT 5690605 SOS 4556365 HAS SOPS 2395408 HAS SOUS 485835 HAS SOUPS 203786 WITH SCORE 208342.365
AT ITER 1030 NEW BEST:: SOT 5690729 SOS 4553637 HAS SOPS 2393672 HAS SOUS 485817 HAS SOUPS 203768 WITH SCORE 208321.637
AT ITER 1039 NEW BEST:: SOT 5690719 SOS 4553617 HAS SOPS 2393652 HAS SOUS 485815 HAS SOUPS 203766 WITH SCORE 208319.617
AT ITER 1047 NEW BEST:: SOT 5690631 SOS 4555201 HAS SOPS 2393564 HAS SOUS 485746 HAS SOUPS 203697 WITH SCORE 208252.201
AT ITER 1056 NEW BEST:: SOT 5690631 SOS 4555201 HAS SOPS 2393564 HAS SOUS 485644 HAS SOUPS 203595 WITH SCORE 208150.201
AT ITER 1084 NEW BEST:: SOT 5690631 SOS 4555201 HAS SOPS 2393564 HAS SOUS 485578 HAS SOUPS 203529 WITH SCORE 208084.201
AT ITER 1108 NEW BEST:: SOT 5690445 SOS 4554457 HAS SOPS 2393192 HAS SOUS 485206 HAS SOUPS 203250 WITH SCORE 207804.457
AT ITER 1130 NEW BEST:: SOT 5690445 SOS 4554457 HAS SOPS 2393192 HAS SOUS 485056 HAS SOUPS 203100 WITH SCORE 207654.457
AT ITER 1159 NEW BEST:: SOT 5690086 SOS 4555435 HAS SOPS 2393546 HAS SOUS 484775 HAS SOUPS 202819 WITH SCORE 207374.435
AT ITER 1175 NEW BEST:: SOT 5689103 SOS 4563305 HAS SOPS 2397928 HAS SOUS 484619 HAS SOUPS 202663 WITH SCORE 207226.305
AT ITER 1191 NEW BEST:: SOT 5689103 SOS 4563305 HAS SOPS 2397928 HAS SOUS 484485 HAS SOUPS 202529 WITH SCORE 207092.305
AT ITER 1193 NEW BEST:: SOT 5689047 SOS 4563353 HAS SOPS 2397880 HAS SOUS 484461 HAS SOUPS 202497 WITH SCORE 207060.353
AT ITER 1196 NEW BEST:: SOT 5688193 SOS 4565229 HAS SOPS 2397116 HAS SOUS 484211 HAS SOUPS 202027 WITH SCORE 206592.229
AT ITER 1198 NEW BEST:: SOT 5688071 SOS 4564985 HAS SOPS 2397152 HAS SOUS 483967 HAS SOUPS 201853 WITH SCORE 206417.985
AT ITER 1201 NEW BEST:: SOT 5687421 SOS 4563685 HAS SOPS 2396864 HAS SOUS 483172 HAS SOUPS 201311 WITH SCORE 205874.685
AT ITER 1202 NEW BEST:: SOT 5686237 SOS 4572409 HAS SOPS 2399972 HAS SOUS 482967 HAS SOUPS 200638 WITH SCORE 205210.40899999999
AT ITER 1203 NEW BEST:: SOT 5686213 SOS 4572361 HAS SOPS 2399924 HAS SOUS 482943 HAS SOUPS 200614 WITH SCORE 205186.361
AT ITER 1215 NEW BEST:: SOT 5686213 SOS 4572361 HAS SOPS 2399924 HAS SOUS 482853 HAS SOUPS 200524 WITH SCORE 205096.361
AT ITER 1218 NEW BEST:: SOT 5685919 SOS 4571773 HAS SOPS 2400068 HAS SOUS 482522 HAS SOUPS 200376 WITH SCORE 204947.773
AT ITER 1255 NEW BEST:: SOT 5684190 SOS 4573091 HAS SOPS 2399122 HAS SOUS 481332 HAS SOUPS 199186 WITH SCORE 203759.09100000001
AT ITER 1260 NEW BEST:: SOT 5683568 SOS 4575179 HAS SOPS 2399182 HAS SOUS 481150 HAS SOUPS 198835 WITH SCORE 203410.179
AT ITER 1276 NEW BEST:: SOT 5682281 SOS 4578553 HAS SOPS 2400156 HAS SOUS 480550 HAS SOUPS 198235 WITH SCORE 202813.553
AT ITER 1279 NEW BEST:: SOT 5682231 SOS 4578477 HAS SOPS 2400080 HAS SOUS 480496 HAS SOUPS 198181 WITH SCORE 202759.477
AT ITER 1287 NEW BEST:: SOT 5681583 SOS 4578333 HAS SOPS 2399360 HAS SOUS 479992 HAS SOUPS 197677 WITH SCORE 202255.333
AT ITER 1290 NEW BEST:: SOT 5681571 SOS 4578309 HAS SOPS 2399336 HAS SOUS 479979 HAS SOUPS 197664 WITH SCORE 202242.309
AT ITER 1292 NEW BEST:: SOT 5681673 SOS 4578513 HAS SOPS 2399836 HAS SOUS 479729 HAS SOUPS 197539 WITH SCORE 202117.513
AT ITER 1296 NEW BEST:: SOT 5681673 SOS 4578513 HAS SOPS 2399836 HAS SOUS 479579 HAS SOUPS 197389 WITH SCORE 201967.513
AT ITER 1307 NEW BEST:: SOT 5681655 SOS 4578477 HAS SOPS 2399836 HAS SOUS 479543 HAS SOUPS 197362 WITH SCORE 201940.477
AT ITER 1312 NEW BEST:: SOT 5677786 SOS 4573047 HAS SOPS 2397328 HAS SOUS 479280 HAS SOUPS 197354 WITH SCORE 201927.047
AT ITER 1313 NEW BEST:: SOT 5677786 SOS 4573047 HAS SOPS 2397328 HAS SOUS 479154 HAS SOUPS 197228 WITH SCORE 201801.047
AT ITER 1316 NEW BEST:: SOT 5677786 SOS 4573047 HAS SOPS 2397328 HAS SOUS 479088 HAS SOUPS 197162 WITH SCORE 201735.047
AT ITER 1327 NEW BEST:: SOT 5677702 SOS 4572543 HAS SOPS 2397160 HAS SOUS 478836 HAS SOUPS 196994 WITH SCORE 201566.543
AT ITER 1333 NEW BEST:: SOT 5677702 SOS 4572543 HAS SOPS 2397160 HAS SOUS 478722 HAS SOUPS 196880 WITH SCORE 201452.543
AT ITER 1366 NEW BEST:: SOT 5677410 SOS 4571959 HAS SOPS 2396576 HAS SOUS 478372 HAS SOUPS 196530 WITH SCORE 201101.959
AT ITER 1370 NEW BEST:: SOT 5677410 SOS 4571959 HAS SOPS 2396576 HAS SOUS 478224 HAS SOUPS 196382 WITH SCORE 200953.959
AT ITER 1379 NEW BEST:: SOT 5676091 SOS 4575073 HAS SOPS 2396414 HAS SOUS 477900 HAS SOUPS 195785 WITH SCORE 200360.073
AT ITER 1380 NEW BEST:: SOT 5676091 SOS 4575073 HAS SOPS 2396414 HAS SOUS 477864 HAS SOUPS 195749 WITH SCORE 200324.073
AT ITER 1387 NEW BEST:: SOT 5676091 SOS 4575073 HAS SOPS 2396414 HAS SOUS 477794 HAS SOUPS 195679 WITH SCORE 200254.073
AT ITER 1389 NEW BEST:: SOT 5676091 SOS 4575073 HAS SOPS 2396414 HAS SOUS 477644 HAS SOUPS 195529 WITH SCORE 200104.073
AT ITER 1394 NEW BEST:: SOT 5675489 SOS 4574445 HAS SOPS 2395786 HAS SOUS 477036 HAS SOUPS 194921 WITH SCORE 199495.445
AT ITER 1395 NEW BEST:: SOT 5674481 SOS 4575309 HAS SOPS 2394922 HAS SOUS 476748 HAS SOUPS 194489 WITH SCORE 199064.309
AT ITER 1411 NEW BEST:: SOT 5674471 SOS 4575289 HAS SOPS 2394546 HAS SOUS 476733 HAS SOUPS 194385 WITH SCORE 198960.289
AT ITER 1444 NEW BEST:: SOT 5674603 SOS 4575553 HAS SOPS 2394294 HAS SOUS 476848 HAS SOUPS 194371 WITH SCORE 198946.553
AT ITER 1452 NEW BEST:: SOT 5674603 SOS 4575553 HAS SOPS 2394294 HAS SOUS 476698 HAS SOUPS 194221 WITH SCORE 198796.553
AT ITER 1460 NEW BEST:: SOT 5674233 SOS 4574813 HAS SOPS 2394294 HAS SOUS 475958 HAS SOUPS 193666 WITH SCORE 198240.813
AT ITER 1467 NEW BEST:: SOT 5674217 SOS 4574781 HAS SOPS 2394262 HAS SOUS 475942 HAS SOUPS 193650 WITH SCORE 198224.781
AT ITER 1473 NEW BEST:: SOT 5674217 SOS 4574781 HAS SOPS 2394262 HAS SOUS 475792 HAS SOUPS 193500 WITH SCORE 198074.781
AT ITER 1476 NEW BEST:: SOT 5675270 SOS 4569803 HAS SOPS 2391896 HAS SOUS 475488 HAS SOUPS 193449 WITH SCORE 198018.803
AT ITER 1489 NEW BEST:: SOT 5674540 SOS 4568343 HAS SOPS 2391316 HAS SOUS 475112 HAS SOUPS 193293 WITH SCORE 197861.343
AT ITER 1503 NEW BEST:: SOT 5672923 SOS 4573741 HAS SOPS 2393314 HAS SOUS 474567 HAS SOUPS 192748 WITH SCORE 197321.741
AT ITER 1511 NEW BEST:: SOT 5671568 SOS 4572440 HAS SOPS 2392114 HAS SOUS 474542 HAS SOUPS 192696 WITH SCORE 197268.44
AT ITER 1525 NEW BEST:: SOT 5671350 SOS 4572436 HAS SOPS 2392110 HAS SOUS 474541 HAS SOUPS 192695 WITH SCORE 197267.436
AT ITER 1543 NEW BEST:: SOT 5671350 SOS 4572436 HAS SOPS 2392110 HAS SOUS 474529 HAS SOUPS 192683 WITH SCORE 197255.436
AT ITER 1556 NEW BEST:: SOT 5671258 SOS 4572252 HAS SOPS 2392606 HAS SOUS 474267 HAS SOUPS 192591 WITH SCORE 197163.252
AT ITER 1563 NEW BEST:: SOT 5671234 SOS 4572540 HAS SOPS 2392894 HAS SOUS 474259 HAS SOUPS 192583 WITH SCORE 197155.54
AT ITER 1590 NEW BEST:: SOT 5667200 SOS 4565322 HAS SOPS 2391162 HAS SOUS 473861 HAS SOUPS 192551 WITH SCORE 197116.322
AT ITER 1595 NEW BEST:: SOT 5667075 SOS 4579816 HAS SOPS 2390524 HAS SOUS 473878 HAS SOUPS 192374 WITH SCORE 196953.816
AT ITER 1605 NEW BEST:: SOT 5667075 SOS 4579816 HAS SOPS 2390524 HAS SOUS 473750 HAS SOUPS 192246 WITH SCORE 196825.816
AT ITER 1623 NEW BEST:: SOT 5667046 SOS 4579758 HAS SOPS 2390466 HAS SOUS 473691 HAS SOUPS 192187 WITH SCORE 196766.758
AT ITER 1645 NEW BEST:: SOT 5666954 SOS 4579574 HAS SOPS 2390282 HAS SOUS 473585 HAS SOUPS 192081 WITH SCORE 196660.574
AT ITER 1648 NEW BEST:: SOT 5666776 SOS 4581522 HAS SOPS 2391462 HAS SOUS 473503 HAS SOUPS 191999 WITH SCORE 196580.522
AT ITER 1653 NEW BEST:: SOT 5666776 SOS 4581522 HAS SOPS 2391462 HAS SOUS 473477 HAS SOUPS 191973 WITH SCORE 196554.522
AT ITER 1654 NEW BEST:: SOT 5666776 SOS 4581522 HAS SOPS 2391462 HAS SOUS 473455 HAS SOUPS 191951 WITH SCORE 196532.522
AT ITER 1679 NEW BEST:: SOT 5666776 SOS 4581522 HAS SOPS 2391462 HAS SOUS 473449 HAS SOUPS 191945 WITH SCORE 196526.522
AT ITER 1698 NEW BEST:: SOT 5666750 SOS 4581470 HAS SOPS 2391410 HAS SOUS 473423 HAS SOUPS 191919 WITH SCORE 196500.47
AT ITER 1701 NEW BEST:: SOT 5669330 SOS 4584910 HAS SOPS 2392700 HAS SOUS 473500 HAS SOUPS 191709 WITH SCORE 196293.91
AT ITER 1719 NEW BEST:: SOT 5669286 SOS 4584822 HAS SOPS 2392700 HAS SOUS 473412 HAS SOUPS 191643 WITH SCORE 196227.822
AT ITER 1721 NEW BEST:: SOT 5669238 SOS 4588374 HAS SOPS 2392604 HAS SOUS 473364 HAS SOUPS 191595 WITH SCORE 196183.374
AT ITER 1726 NEW BEST:: SOT 5664580 SOS 4581603 HAS SOPS 2389683 HAS SOUS 472801 HAS SOUPS 191417 WITH SCORE 195998.603
AT ITER 1734 NEW BEST:: SOT 5664630 SOS 4581603 HAS SOPS 2389683 HAS SOUS 472774 HAS SOUPS 191390 WITH SCORE 195971.603
AT ITER 1749 NEW BEST:: SOT 5664630 SOS 4581455 HAS SOPS 2389683 HAS SOUS 472737 HAS SOUPS 191390 WITH SCORE 195971.455
AT ITER 1753 NEW BEST:: SOT 5664669 SOS 4581533 HAS SOPS 2389761 HAS SOUS 472687 HAS SOUPS 191340 WITH SCORE 195921.533
AT ITER 1765 NEW BEST:: SOT 5664489 SOS 4582901 HAS SOPS 2390553 HAS SOUS 472579 HAS SOUPS 191232 WITH SCORE 195814.901
AT ITER 1778 NEW BEST:: SOT 5663309 SOS 4585877 HAS SOPS 2390529 HAS SOUS 472523 HAS SOUPS 190926 WITH SCORE 195511.877
AT ITER 1794 NEW BEST:: SOT 5663309 SOS 4585877 HAS SOPS 2390529 HAS SOUS 472477 HAS SOUPS 190880 WITH SCORE 195465.877
AT ITER 1803 NEW BEST:: SOT 5664214 SOS 4587210 HAS SOPS 2391578 HAS SOUS 472376 HAS SOUPS 190875 WITH SCORE 195462.21
AT ITER 1838 NEW BEST:: SOT 5663595 SOS 4585972 HAS SOPS 2391164 HAS SOUS 472002 HAS SOUPS 190707 WITH SCORE 195292.972
AT ITER 1877 NEW BEST:: SOT 5663739 SOS 4585684 HAS SOPS 2391452 HAS SOUS 471858 HAS SOUPS 190707 WITH SCORE 195292.684
AT ITER 1897 NEW BEST:: SOT 5663243 SOS 4584692 HAS SOPS 2390460 HAS SOUS 470951 HAS SOUPS 189800 WITH SCORE 194384.692
AT ITER 1928 NEW BEST:: SOT 5663299 SOS 4584048 HAS SOPS 2389816 HAS SOUS 470726 HAS SOUPS 189575 WITH SCORE 194159.048
AT ITER 1951 NEW BEST:: SOT 5663243 SOS 4583344 HAS SOPS 2389112 HAS SOUS 470644 HAS SOUPS 189493 WITH SCORE 194076.344
AT ITER 1967 NEW BEST:: SOT 5661271 SOS 4584800 HAS SOPS 2387328 HAS SOUS 469602 HAS SOUPS 188181 WITH SCORE 192765.8
AT ITER 1994 NEW BEST:: SOT 5660711 SOS 4582789 HAS SOPS 2386837 HAS SOUS 468548 HAS SOUPS 187507 WITH SCORE 192089.789
AT ITER 2015 NEW BEST:: SOT 5656550 SOS 4576943 HAS SOPS 2383815 HAS SOUS 468104 HAS SOUPS 187197 WITH SCORE 191773.943
AT ITER 2065 NEW BEST:: SOT 5656162 SOS 4576167 HAS SOPS 2383039 HAS SOUS 467602 HAS SOUPS 186695 WITH SCORE 191271.167
AT ITER 2080 NEW BEST:: SOT 5656045 SOS 4576557 HAS SOPS 2382961 HAS SOUS 467524 HAS SOUPS 186578 WITH SCORE 191154.557
AT ITER 2113 NEW BEST:: SOT 5655986 SOS 4576439 HAS SOPS 2383119 HAS SOUS 467396 HAS SOUPS 186519 WITH SCORE 191095.439
AT ITER 2121 NEW BEST:: SOT 5655960 SOS 4576387 HAS SOPS 2383067 HAS SOUS 467344 HAS SOUPS 186467 WITH SCORE 191043.387
AT ITER 2129 NEW BEST:: SOT 5657625 SOS 4517229 HAS SOPS 2350117 HAS SOUS 467020 HAS SOUPS 186479 WITH SCORE 190996.229
AT ITER 2150 NEW BEST:: SOT 5657905 SOS 4520671 HAS SOPS 2351009 HAS SOUS 466860 HAS SOUPS 186169 WITH SCORE 190689.671
AT ITER 2153 NEW BEST:: SOT 5655770 SOS 4523693 HAS SOPS 2350991 HAS SOUS 465525 HAS SOUPS 184834 WITH SCORE 189357.693
AT ITER 2154 NEW BEST:: SOT 5655638 SOS 4523949 HAS SOPS 2350935 HAS SOUS 465547 HAS SOUPS 184830 WITH SCORE 189353.949
AT ITER 2158 NEW BEST:: SOT 5655040 SOS 4522753 HAS SOPS 2350571 HAS SOUS 465039 HAS SOUPS 184530 WITH SCORE 189052.753
AT ITER 2188 NEW BEST:: SOT 5655040 SOS 4522753 HAS SOPS 2350571 HAS SOUS 464969 HAS SOUPS 184460 WITH SCORE 188982.753
AT ITER 2215 NEW BEST:: SOT 5655040 SOS 4518917 HAS SOPS 2347281 HAS SOUS 464962 HAS SOUPS 184460 WITH SCORE 188978.917
AT ITER 2227 NEW BEST:: SOT 5654942 SOS 4518721 HAS SOPS 2347085 HAS SOUS 464827 HAS SOUPS 184325 WITH SCORE 188843.721
AT ITER 2245 NEW BEST:: SOT 5654942 SOS 4518721 HAS SOPS 2347085 HAS SOUS 464741 HAS SOUPS 184239 WITH SCORE 188757.721
AT ITER 2249 NEW BEST:: SOT 5654942 SOS 4518721 HAS SOPS 2347085 HAS SOUS 464613 HAS SOUPS 184111 WITH SCORE 188629.721
AT ITER 2265 NEW BEST:: SOT 5654942 SOS 4518721 HAS SOPS 2347085 HAS SOUS 464591 HAS SOUPS 184089 WITH SCORE 188607.721
AT ITER 2273 NEW BEST:: SOT 5655084 SOS 4519005 HAS SOPS 2347229 HAS SOUS 464605 HAS SOUPS 184068 WITH SCORE 188587.005
AT ITER 2302 NEW BEST:: SOT 5655138 SOS 4517869 HAS SOPS 2346093 HAS SOUS 464507 HAS SOUPS 183970 WITH SCORE 188487.869
AT ITER 2313 NEW BEST:: SOT 5654984 SOS 4519337 HAS SOPS 2346969 HAS SOUS 464427 HAS SOUPS 183890 WITH SCORE 188409.337
AT ITER 2321 NEW BEST:: SOT 5654783 SOS 4519175 HAS SOPS 2346807 HAS SOUS 464145 HAS SOUPS 183608 WITH SCORE 188127.175
AT ITER 2326 NEW BEST:: SOT 5654249 SOS 4532169 HAS SOPS 2353215 HAS SOUS 463967 HAS SOUPS 183430 WITH SCORE 187962.169
AT ITER 2349 NEW BEST:: SOT 5653280 SOS 4530371 HAS SOPS 2351417 HAS SOUS 462841 HAS SOUPS 182304 WITH SCORE 186834.371
AT ITER 2360 NEW BEST:: SOT 5652768 SOS 4529347 HAS SOPS 2351073 HAS SOUS 462669 HAS SOUPS 182302 WITH SCORE 186831.347
AT ITER 2372 NEW BEST:: SOT 5652768 SOS 4529347 HAS SOPS 2351073 HAS SOUS 462366 HAS SOUPS 182300 WITH SCORE 186829.347
AT ITER 2401 NEW BEST:: SOT 5651519 SOS 4531737 HAS SOPS 2350595 HAS SOUS 462326 HAS SOUPS 182021 WITH SCORE 186552.737
AT ITER 2408 NEW BEST:: SOT 5651403 SOS 4531617 HAS SOPS 2350475 HAS SOUS 462290 HAS SOUPS 181985 WITH SCORE 186516.617
AT ITER 2413 NEW BEST:: SOT 5650292 SOS 4533915 HAS SOPS 2350653 HAS SOUS 461701 HAS SOUPS 181379 WITH SCORE 185912.915
AT ITER 2418 NEW BEST:: SOT 5650257 SOS 4533705 HAS SOPS 2350583 HAS SOUS 461624 HAS SOUPS 181337 WITH SCORE 185870.705
AT ITER 2431 NEW BEST:: SOT 5649977 SOS 4531737 HAS SOPS 2348615 HAS SOUS 460869 HAS SOUPS 180582 WITH SCORE 185113.737
AT ITER 2447 NEW BEST:: SOT 5649772 SOS 4531327 HAS SOPS 2348205 HAS SOUS 460726 HAS SOUPS 180439 WITH SCORE 184970.327
AT ITER 2457 NEW BEST:: SOT 5649697 SOS 4531177 HAS SOPS 2348055 HAS SOUS 460651 HAS SOUPS 180364 WITH SCORE 184895.177
AT ITER 2469 NEW BEST:: SOT 5649474 SOS 4530030 HAS SOPS 2346908 HAS SOUS 460198 HAS SOUPS 179911 WITH SCORE 184441.03
AT ITER 2474 NEW BEST:: SOT 5648229 SOS 4533868 HAS SOPS 2348242 HAS SOUS 459551 HAS SOUPS 179264 WITH SCORE 183797.868
AT ITER 2478 NEW BEST:: SOT 5648229 SOS 4533868 HAS SOPS 2348242 HAS SOUS 459471 HAS SOUPS 179184 WITH SCORE 183717.868
AT ITER 2500 NEW BEST:: SOT 5648229 SOS 4533868 HAS SOPS 2348242 HAS SOUS 459391 HAS SOUPS 179104 WITH SCORE 183637.868
AT ITER 2520 NEW BEST:: SOT 5648229 SOS 4533868 HAS SOPS 2348242 HAS SOUS 459375 HAS SOUPS 179088 WITH SCORE 183621.868
AT ITER 2528 NEW BEST:: SOT 5647937 SOS 4532744 HAS SOPS 2346812 HAS SOUS 459251 HAS SOUPS 178828 WITH SCORE 183360.744
AT ITER 2552 NEW BEST:: SOT 5647937 SOS 4532744 HAS SOPS 2346812 HAS SOUS 459247 HAS SOUPS 178824 WITH SCORE 183356.744
AT ITER 2556 NEW BEST:: SOT 5647896 SOS 4532262 HAS SOPS 2346746 HAS SOUS 459032 HAS SOUPS 178713 WITH SCORE 183245.262
AT ITER 2559 NEW BEST:: SOT 5647670 SOS 4531810 HAS SOPS 2346650 HAS SOUS 458750 HAS SOUPS 178520 WITH SCORE 183051.81
AT ITER 2562 NEW BEST:: SOT 5647656 SOS 4531670 HAS SOPS 2346642 HAS SOUS 458740 HAS SOUPS 178510 WITH SCORE 183041.67
AT ITER 2575 NEW BEST:: SOT 5647152 SOS 4530662 HAS SOPS 2346662 HAS SOUS 458451 HAS SOUPS 178478 WITH SCORE 183008.662
AT ITER 2588 NEW BEST:: SOT 5647020 SOS 4530398 HAS SOPS 2346398 HAS SOUS 458319 HAS SOUPS 178346 WITH SCORE 182876.398
AT ITER 2614 NEW BEST:: SOT 5646869 SOS 4530416 HAS SOPS 2346256 HAS SOUS 458237 HAS SOUPS 178264 WITH SCORE 182794.416
AT ITER 2618 NEW BEST:: SOT 5646647 SOS 4529528 HAS SOPS 2345812 HAS SOUS 457793 HAS SOUPS 177931 WITH SCORE 182460.528
AT ITER 2619 NEW BEST:: SOT 5646639 SOS 4529284 HAS SOPS 2345796 HAS SOUS 457728 HAS SOUPS 177923 WITH SCORE 182452.28399999999
AT ITER 2640 NEW BEST:: SOT 5646639 SOS 4529152 HAS SOPS 2345900 HAS SOUS 457644 HAS SOUPS 177898 WITH SCORE 182427.152
AT ITER 2645 NEW BEST:: SOT 5646567 SOS 4529236 HAS SOPS 2345840 HAS SOUS 457629 HAS SOUPS 177871 WITH SCORE 182400.236
AT ITER 2652 NEW BEST:: SOT 5645956 SOS 4532958 HAS SOPS 2346358 HAS SOUS 457070 HAS SOUPS 177045 WITH SCORE 181577.958
AT ITER 2653 NEW BEST:: SOT 5645808 SOS 4534454 HAS SOPS 2346510 HAS SOUS 457142 HAS SOUPS 177005 WITH SCORE 181539.454
AT ITER 2659 NEW BEST:: SOT 5645847 SOS 4533572 HAS SOPS 2345948 HAS SOUS 457141 HAS SOUPS 177004 WITH SCORE 181537.572
AT ITER 2673 NEW BEST:: SOT 5645802 SOS 4533482 HAS SOPS 2345858 HAS SOUS 457096 HAS SOUPS 176959 WITH SCORE 181492.482
AT ITER 2675 NEW BEST:: SOT 5645615 SOS 4537470 HAS SOPS 2351262 HAS SOUS 456613 HAS SOUPS 176830 WITH SCORE 181367.47
AT ITER 2714 NEW BEST:: SOT 5645511 SOS 4537470 HAS SOPS 2351262 HAS SOUS 456457 HAS SOUPS 176674 WITH SCORE 181211.47
AT ITER 2726 NEW BEST:: SOT 5645457 SOS 4537470 HAS SOPS 2351154 HAS SOUS 456376 HAS SOUPS 176566 WITH SCORE 181103.47
AT ITER 2745 NEW BEST:: SOT 5645325 SOS 4536798 HAS SOPS 2350890 HAS SOUS 456040 HAS SOUPS 176332 WITH SCORE 180868.798
AT ITER 2748 NEW BEST:: SOT 5636728 SOS 4525362 HAS SOPS 2345199 HAS SOUS 455408 HAS SOUPS 176110 WITH SCORE 180635.362
AT ITER 2751 NEW BEST:: SOT 5636376 SOS 4527106 HAS SOPS 2345719 HAS SOUS 455431 HAS SOUPS 176031 WITH SCORE 180558.106
AT ITER 2759 NEW BEST:: SOT 5636382 SOS 4518613 HAS SOPS 2344848 HAS SOUS 455427 HAS SOUPS 176027 WITH SCORE 180545.613
AT ITER 2770 NEW BEST:: SOT 5636210 SOS 4520121 HAS SOPS 2345156 HAS SOUS 455407 HAS SOUPS 175909 WITH SCORE 180429.121
AT ITER 2783 NEW BEST:: SOT 5634686 SOS 4524609 HAS SOPS 2346524 HAS SOUS 454482 HAS SOUPS 174984 WITH SCORE 179508.609
AT ITER 2801 NEW BEST:: SOT 5634686 SOS 4524609 HAS SOPS 2346524 HAS SOUS 454422 HAS SOUPS 174924 WITH SCORE 179448.609
AT ITER 2806 NEW BEST:: SOT 5634591 SOS 4524419 HAS SOPS 2346334 HAS SOUS 454327 HAS SOUPS 174829 WITH SCORE 179353.419
AT ITER 2811 NEW BEST:: SOT 5634591 SOS 4524419 HAS SOPS 2346334 HAS SOUS 454177 HAS SOUPS 174679 WITH SCORE 179203.419
AT ITER 2837 NEW BEST:: SOT 5633817 SOS 4526263 HAS SOPS 2346826 HAS SOUS 454037 HAS SOUPS 174539 WITH SCORE 179065.263
AT ITER 2839 NEW BEST:: SOT 5633835 SOS 4526299 HAS SOPS 2346574 HAS SOUS 454055 HAS SOUPS 174485 WITH SCORE 179011.299
AT ITER 2860 NEW BEST:: SOT 5632015 SOS 4529757 HAS SOPS 2349083 HAS SOUS 453214 HAS SOUPS 173990 WITH SCORE 178519.757
AT ITER 2873 NEW BEST:: SOT 5629586 SOS 4525358 HAS SOPS 2348775 HAS SOUS 452667 HAS SOUPS 173882 WITH SCORE 178407.358
AT ITER 2893 NEW BEST:: SOT 5629517 SOS 4525220 HAS SOPS 2348637 HAS SOUS 452613 HAS SOUPS 173828 WITH SCORE 178353.22
AT ITER 2910 NEW BEST:: SOT 5629182 SOS 4525890 HAS SOPS 2348771 HAS SOUS 452546 HAS SOUPS 173761 WITH SCORE 178286.89
AT ITER 2918 NEW BEST:: SOT 5628372 SOS 4524270 HAS SOPS 2348243 HAS SOUS 452270 HAS SOUPS 173758 WITH SCORE 178282.27
AT ITER 2937 NEW BEST:: SOT 5627316 SOS 4526238 HAS SOPS 2348027 HAS SOUS 451886 HAS SOUPS 173192 WITH SCORE 177718.238
AT ITER 2960 NEW BEST:: SOT 5627328 SOS 4526262 HAS SOPS 2348051 HAS SOUS 451830 HAS SOUPS 173136 WITH SCORE 177662.262
AT ITER 2979 NEW BEST:: SOT 5627122 SOS 4525096 HAS SOPS 2347845 HAS SOUS 451590 HAS SOUPS 173136 WITH SCORE 177661.096
AT ITER 3008 NEW BEST:: SOT 5623996 SOS 4521588 HAS SOPS 2345234 HAS SOUS 451550 HAS SOUPS 173096 WITH SCORE 177617.588
AT ITER 3042 NEW BEST:: SOT 5623996 SOS 4521588 HAS SOPS 2345234 HAS SOUS 451436 HAS SOUPS 172982 WITH SCORE 177503.588
AT ITER 3073 NEW BEST:: SOT 5624045 SOS 4518878 HAS SOPS 2343460 HAS SOUS 451368 HAS SOUPS 172914 WITH SCORE 177432.878
AT ITER 3083 NEW BEST:: SOT 5623864 SOS 4520316 HAS SOPS 2344178 HAS SOUS 451278 HAS SOUPS 172824 WITH SCORE 177344.316
AT ITER 3086 NEW BEST:: SOT 5623864 SOS 4519944 HAS SOPS 2343806 HAS SOUS 451131 HAS SOUPS 172677 WITH SCORE 177196.944
AT ITER 3093 NEW BEST:: SOT 5623744 SOS 4519268 HAS SOPS 2343566 HAS SOUS 450791 HAS SOUPS 172446 WITH SCORE 176965.268
AT ITER 3103 NEW BEST:: SOT 5623633 SOS 4519046 HAS SOPS 2343344 HAS SOUS 450750 HAS SOUPS 172405 WITH SCORE 176924.046
AT ITER 3125 NEW BEST:: SOT 5623605 SOS 4518990 HAS SOPS 2343288 HAS SOUS 450661 HAS SOUPS 172316 WITH SCORE 176834.99
AT ITER 3128 NEW BEST:: SOT 5623579 SOS 4515762 HAS SOPS 2341132 HAS SOUS 450436 HAS SOUPS 172091 WITH SCORE 176606.762
AT ITER 3136 NEW BEST:: SOT 5616118 SOS 4505389 HAS SOPS 2336243 HAS SOUS 449701 HAS SOUPS 171849 WITH SCORE 176354.389
AT ITER 3152 NEW BEST:: SOT 5616109 SOS 4505407 HAS SOPS 2336225 HAS SOUS 449700 HAS SOUPS 171839 WITH SCORE 176344.407
AT ITER 3154 NEW BEST:: SOT 5616109 SOS 4505407 HAS SOPS 2336225 HAS SOUS 449550 HAS SOUPS 171689 WITH SCORE 176194.407
AT ITER 3170 NEW BEST:: SOT 5616109 SOS 4505287 HAS SOPS 2336245 HAS SOUS 449515 HAS SOUPS 171689 WITH SCORE 176194.287
AT ITER 3174 NEW BEST:: SOT 5616106 SOS 4498173 HAS SOPS 2329131 HAS SOUS 449506 HAS SOUPS 171680 WITH SCORE 176178.173
AT ITER 3187 NEW BEST:: SOT 5616088 SOS 4498185 HAS SOPS 2329119 HAS SOUS 449500 HAS SOUPS 171674 WITH SCORE 176172.185
AT ITER 3214 NEW BEST:: SOT 5615428 SOS 4498955 HAS SOPS 2328569 HAS SOUS 449390 HAS SOUPS 171454 WITH SCORE 175952.955
AT ITER 3216 NEW BEST:: SOT 5615428 SOS 4498955 HAS SOPS 2328569 HAS SOUS 449340 HAS SOUPS 171404 WITH SCORE 175902.955
AT ITER 3221 NEW BEST:: SOT 5616712 SOS 4500667 HAS SOPS 2329211 HAS SOUS 449233 HAS SOUPS 171190 WITH SCORE 175690.667
AT ITER 3231 NEW BEST:: SOT 5616453 SOS 4507941 HAS SOPS 2336905 HAS SOUS 449076 HAS SOUPS 171138 WITH SCORE 175645.941
AT ITER 3233 NEW BEST:: SOT 5616953 SOS 4508323 HAS SOPS 2337169 HAS SOUS 448868 HAS SOUPS 170989 WITH SCORE 175497.323
AT ITER 3235 NEW BEST:: SOT 5616898 SOS 4508213 HAS SOPS 2337059 HAS SOUS 448811 HAS SOUPS 170932 WITH SCORE 175440.213
AT ITER 3262 NEW BEST:: SOT 5616775 SOS 4508367 HAS SOPS 2337053 HAS SOUS 448764 HAS SOUPS 170885 WITH SCORE 175393.367
AT ITER 3266 NEW BEST:: SOT 5616248 SOS 4509929 HAS SOPS 2337307 HAS SOUS 448632 HAS SOUPS 170644 WITH SCORE 175153.929
AT ITER 3274 NEW BEST:: SOT 5614673 SOS 4510663 HAS SOPS 2335245 HAS SOUS 447974 HAS SOUPS 169753 WITH SCORE 174263.663
AT ITER 3312 NEW BEST:: SOT 5614725 SOS 4510463 HAS SOPS 2335045 HAS SOUS 447922 HAS SOUPS 169701 WITH SCORE 174211.463
AT ITER 3331 NEW BEST:: SOT 5614445 SOS 4509399 HAS SOPS 2334541 HAS SOUS 447376 HAS SOUPS 169295 WITH SCORE 173804.399
AT ITER 3333 NEW BEST:: SOT 5614435 SOS 4509379 HAS SOPS 2334461 HAS SOUS 447381 HAS SOUPS 169285 WITH SCORE 173794.379
AT ITER 3355 NEW BEST:: SOT 5614435 SOS 4509379 HAS SOPS 2334461 HAS SOUS 447357 HAS SOUPS 169261 WITH SCORE 173770.379
AT ITER 3358 NEW BEST:: SOT 5613719 SOS 4508597 HAS SOPS 2334009 HAS SOUS 447304 HAS SOUPS 169208 WITH SCORE 173716.597
AT ITER 3360 NEW BEST:: SOT 5613479 SOS 4508117 HAS SOPS 2333721 HAS SOUS 447176 HAS SOUPS 169128 WITH SCORE 173636.117
AT ITER 3370 NEW BEST:: SOT 5613602 SOS 4506583 HAS SOPS 2332899 HAS SOUS 446971 HAS SOUPS 168923 WITH SCORE 173429.583
AT ITER 3389 NEW BEST:: SOT 5613989 SOS 4504390 HAS SOPS 2331609 HAS SOUS 446964 HAS SOUPS 168916 WITH SCORE 173420.39
AT ITER 3400 NEW BEST:: SOT 5610369 SOS 4498004 HAS SOPS 2329829 HAS SOUS 446503 HAS SOUPS 168828 WITH SCORE 173326.004
AT ITER 3415 NEW BEST:: SOT 5609933 SOS 4504316 HAS SOPS 2333645 HAS SOUS 446472 HAS SOUPS 168797 WITH SCORE 173301.316
AT ITER 3448 NEW BEST:: SOT 5609973 SOS 4503436 HAS SOPS 2333085 HAS SOUS 446471 HAS SOUPS 168796 WITH SCORE 173299.436
AT ITER 3452 NEW BEST:: SOT 5609714 SOS 4503012 HAS SOPS 2332991 HAS SOUS 446231 HAS SOUPS 168702 WITH SCORE 173205.012
AT ITER 3453 NEW BEST:: SOT 5608665 SOS 4525548 HAS SOPS 2341615 HAS SOUS 446135 HAS SOUPS 168606 WITH SCORE 173131.548
AT ITER 3467 NEW BEST:: SOT 5608599 SOS 4525728 HAS SOPS 2341483 HAS SOUS 446015 HAS SOUPS 168408 WITH SCORE 172933.728
AT ITER 3488 NEW BEST:: SOT 5608621 SOS 4525877 HAS SOPS 2341107 HAS SOUS 446037 HAS SOUPS 168325 WITH SCORE 172850.877
AT ITER 3489 NEW BEST:: SOT 5608523 SOS 4525681 HAS SOPS 2340911 HAS SOUS 445756 HAS SOUPS 168044 WITH SCORE 172569.681
AT ITER 3509 NEW BEST:: SOT 5608523 SOS 4525681 HAS SOPS 2340911 HAS SOUS 445740 HAS SOUPS 168028 WITH SCORE 172553.681
AT ITER 3518 NEW BEST:: SOT 5608451 SOS 4526089 HAS SOPS 2341127 HAS SOUS 445692 HAS SOUPS 167980 WITH SCORE 172506.089
AT ITER 3524 NEW BEST:: SOT 5605784 SOS 4522479 HAS SOPS 2339297 HAS SOUS 445379 HAS SOUPS 167831 WITH SCORE 172353.479
AT ITER 3545 NEW BEST:: SOT 5605784 SOS 4522479 HAS SOPS 2339297 HAS SOUS 445327 HAS SOUPS 167779 WITH SCORE 172301.479
AT ITER 3557 NEW BEST:: SOT 5605676 SOS 4522293 HAS SOPS 2339243 HAS SOUS 445270 HAS SOUPS 167749 WITH SCORE 172271.293
AT ITER 3574 NEW BEST:: SOT 5606119 SOS 4548677 HAS SOPS 2340199 HAS SOUS 445531 HAS SOUPS 167684 WITH SCORE 172232.677
AT ITER 3584 NEW BEST:: SOT 5606053 SOS 4548545 HAS SOPS 2340067 HAS SOUS 445430 HAS SOUPS 167583 WITH SCORE 172131.545
AT ITER 3592 NEW BEST:: SOT 5605913 SOS 4548265 HAS SOPS 2339975 HAS SOUS 445348 HAS SOUPS 167548 WITH SCORE 172096.265
AT ITER 3616 NEW BEST:: SOT 5605649 SOS 4547649 HAS SOPS 2339711 HAS SOUS 445172 HAS SOUPS 167460 WITH SCORE 172007.649
AT ITER 3638 NEW BEST:: SOT 5605641 SOS 4546817 HAS SOPS 2339811 HAS SOUS 444826 HAS SOUPS 167347 WITH SCORE 171893.817
AT ITER 3653 NEW BEST:: SOT 5605580 SOS 4546695 HAS SOPS 2339689 HAS SOUS 444766 HAS SOUPS 167287 WITH SCORE 171833.695
AT ITER 3661 NEW BEST:: SOT 5605580 SOS 4546695 HAS SOPS 2339689 HAS SOUS 444746 HAS SOUPS 167267 WITH SCORE 171813.695
AT ITER 3673 NEW BEST:: SOT 5605290 SOS 4546327 HAS SOPS 2339477 HAS SOUS 444572 HAS SOUPS 167171 WITH SCORE 171717.327
AT ITER 3689 NEW BEST:: SOT 5604786 SOS 4545319 HAS SOPS 2338469 HAS SOUS 444335 HAS SOUPS 166934 WITH SCORE 171479.319
AT ITER 3714 NEW BEST:: SOT 5604729 SOS 4545205 HAS SOPS 2338355 HAS SOUS 444237 HAS SOUPS 166836 WITH SCORE 171381.205
AT ITER 3715 NEW BEST:: SOT 5604719 SOS 4545195 HAS SOPS 2338345 HAS SOUS 444227 HAS SOUPS 166826 WITH SCORE 171371.195
AT ITER 3724 NEW BEST:: SOT 5605141 SOS 4546039 HAS SOPS 2338361 HAS SOUS 444426 HAS SOUPS 166818 WITH SCORE 171364.039
AT ITER 3751 NEW BEST:: SOT 5605331 SOS 4546419 HAS SOPS 2338373 HAS SOUS 444478 HAS SOUPS 166778 WITH SCORE 171324.419
AT ITER 3757 NEW BEST:: SOT 5605331 SOS 4545719 HAS SOPS 2337973 HAS SOUS 444378 HAS SOUPS 166703 WITH SCORE 171248.719
AT ITER 3770 NEW BEST:: SOT 5605315 SOS 4545847 HAS SOPS 2338037 HAS SOUS 444370 HAS SOUPS 166695 WITH SCORE 171240.847
AT ITER 3785 NEW BEST:: SOT 5604355 SOS 4550699 HAS SOPS 2340145 HAS SOUS 444249 HAS SOUPS 166574 WITH SCORE 171124.699
AT ITER 3828 NEW BEST:: SOT 5604250 SOS 4550729 HAS SOPS 2340055 HAS SOUS 444202 HAS SOUPS 166527 WITH SCORE 171077.729
AT ITER 3830 NEW BEST:: SOT 5599921 SOS 4543121 HAS SOPS 2338327 HAS SOUS 443373 HAS SOUPS 166177 WITH SCORE 170720.121
AT ITER 3857 NEW BEST:: SOT 5599321 SOS 4544513 HAS SOPS 2338423 HAS SOUS 443235 HAS SOUPS 165931 WITH SCORE 170475.513
AT ITER 3877 NEW BEST:: SOT 5599278 SOS 4544579 HAS SOPS 2338317 HAS SOUS 443235 HAS SOUPS 165888 WITH SCORE 170432.579
AT ITER 3886 NEW BEST:: SOT 5599278 SOS 4544579 HAS SOPS 2338317 HAS SOUS 443233 HAS SOUPS 165886 WITH SCORE 170430.579
AT ITER 3892 NEW BEST:: SOT 5598556 SOS 4545839 HAS SOPS 2338113 HAS SOUS 443139 HAS SOUPS 165670 WITH SCORE 170215.839
AT ITER 3901 NEW BEST:: SOT 5598502 SOS 4545785 HAS SOPS 2338059 HAS SOUS 443085 HAS SOUPS 165616 WITH SCORE 170161.785
AT ITER 3912 NEW BEST:: SOT 5598444 SOS 4545669 HAS SOPS 2337523 HAS SOUS 443132 HAS SOUPS 165558 WITH SCORE 170103.669
AT ITER 3934 NEW BEST:: SOT 5598849 SOS 4546111 HAS SOPS 2337781 HAS SOUS 443123 HAS SOUPS 165549 WITH SCORE 170095.111
AT ITER 3939 NEW BEST:: SOT 5599061 SOS 4545479 HAS SOPS 2337941 HAS SOUS 443044 HAS SOUPS 165536 WITH SCORE 170081.479
AT ITER 3951 NEW BEST:: SOT 5597811 SOS 4542979 HAS SOPS 2336681 HAS SOUS 442697 HAS SOUPS 165499 WITH SCORE 170041.979
AT ITER 3952 NEW BEST:: SOT 5597750 SOS 4543609 HAS SOPS 2336559 HAS SOUS 442856 HAS SOUPS 165470 WITH SCORE 170013.609
AT ITER 3957 NEW BEST:: SOT 5596730 SOS 4541569 HAS SOPS 2335771 HAS SOUS 442278 HAS SOUPS 165205 WITH SCORE 169746.569
AT ITER 3961 NEW BEST:: SOT 5594872 SOS 4539480 HAS SOPS 2334428 HAS SOUS 442263 HAS SOUPS 165137 WITH SCORE 169676.48
AT ITER 3971 NEW BEST:: SOT 5594710 SOS 4539237 HAS SOPS 2334347 HAS SOUS 441951 HAS SOUPS 164906 WITH SCORE 169445.237
AT ITER 3983 NEW BEST:: SOT 5594697 SOS 4539172 HAS SOPS 2334334 HAS SOUS 441925 HAS SOUPS 164893 WITH SCORE 169432.172
AT ITER 4003 NEW BEST:: SOT 5594697 SOS 4539172 HAS SOPS 2334334 HAS SOUS 441825 HAS SOUPS 164793 WITH SCORE 169332.172
AT ITER 4009 NEW BEST:: SOT 5594697 SOS 4539172 HAS SOPS 2334334 HAS SOUS 441807 HAS SOUPS 164775 WITH SCORE 169314.172
AT ITER 4019 NEW BEST:: SOT 5594605 SOS 4538620 HAS SOPS 2333782 HAS SOUS 441623 HAS SOUPS 164591 WITH SCORE 169129.62
AT ITER 4033 NEW BEST:: SOT 5594284 SOS 4518143 HAS SOPS 2337989 HAS SOUS 441533 HAS SOUPS 164501 WITH SCORE 169019.143
AT ITER 4039 NEW BEST:: SOT 5593612 SOS 4516799 HAS SOPS 2337201 HAS SOUS 441162 HAS SOUPS 164269 WITH SCORE 168785.799
AT ITER 4049 NEW BEST:: SOT 5593240 SOS 4516303 HAS SOPS 2336891 HAS SOUS 441162 HAS SOUPS 164269 WITH SCORE 168785.303
AT ITER 4065 NEW BEST:: SOT 5592816 SOS 4515081 HAS SOPS 2336493 HAS SOUS 440836 HAS SOUPS 164149 WITH SCORE 168664.081
AT ITER 4073 NEW BEST:: SOT 5591849 SOS 4515851 HAS SOPS 2336351 HAS SOUS 440527 HAS SOUPS 163840 WITH SCORE 168355.851
AT ITER 4076 NEW BEST:: SOT 5591333 SOS 4520821 HAS SOPS 2339571 HAS SOUS 440452 HAS SOUPS 163812 WITH SCORE 168332.821
AT ITER 4086 NEW BEST:: SOT 5591326 SOS 4520827 HAS SOPS 2339565 HAS SOUS 440451 HAS SOUPS 163810 WITH SCORE 168330.827
AT ITER 4111 NEW BEST:: SOT 5589653 SOS 4519154 HAS SOPS 2338131 HAS SOUS 440451 HAS SOUPS 163810 WITH SCORE 168329.154
AT ITER 4116 NEW BEST:: SOT 5589699 SOS 4519246 HAS SOPS 2337817 HAS SOUS 440294 HAS SOUPS 163653 WITH SCORE 168172.246
AT ITER 4117 NEW BEST:: SOT 5589699 SOS 4519246 HAS SOPS 2337817 HAS SOUS 440236 HAS SOUPS 163595 WITH SCORE 168114.246
AT ITER 4119 NEW BEST:: SOT 5589627 SOS 4519102 HAS SOPS 2337817 HAS SOUS 440072 HAS SOUPS 163503 WITH SCORE 168022.102
AT ITER 4137 NEW BEST:: SOT 5589944 SOS 4510391 HAS SOPS 2333498 HAS SOUS 439576 HAS SOUPS 163373 WITH SCORE 167883.391
AT ITER 4138 NEW BEST:: SOT 5589620 SOS 4511023 HAS SOPS 2332850 HAS SOUS 439710 HAS SOUPS 163187 WITH SCORE 167698.023
AT ITER 4147 NEW BEST:: SOT 5589746 SOS 4511527 HAS SOPS 2333039 HAS SOUS 439710 HAS SOUPS 163124 WITH SCORE 167635.527
AT ITER 4148 NEW BEST:: SOT 5584403 SOS 4505266 HAS SOPS 2329316 HAS SOUS 439700 HAS SOUPS 163114 WITH SCORE 167619.266
AT ITER 4156 NEW BEST:: SOT 5582703 SOS 4503226 HAS SOPS 2328296 HAS SOUS 439550 HAS SOUPS 162964 WITH SCORE 167467.226
AT ITER 4209 NEW BEST:: SOT 5582703 SOS 4503226 HAS SOPS 2328296 HAS SOUS 439526 HAS SOUPS 162940 WITH SCORE 167443.226
AT ITER 4247 NEW BEST:: SOT 5582736 SOS 4503292 HAS SOPS 2328320 HAS SOUS 439508 HAS SOUPS 162922 WITH SCORE 167425.292
AT ITER 4260 NEW BEST:: SOT 5582736 SOS 4503292 HAS SOPS 2328320 HAS SOUS 439436 HAS SOUPS 162850 WITH SCORE 167353.292
AT ITER 4283 NEW BEST:: SOT 5584376 SOS 4504626 HAS SOPS 2329100 HAS SOUS 439012 HAS SOUPS 162534 WITH SCORE 167038.626
AT ITER 4327 NEW BEST:: SOT 5584583 SOS 4505040 HAS SOPS 2329190 HAS SOUS 439061 HAS SOUPS 162502 WITH SCORE 167007.04
AT ITER 4339 NEW BEST:: SOT 5584583 SOS 4505040 HAS SOPS 2329190 HAS SOUS 439045 HAS SOUPS 162486 WITH SCORE 166991.04
AT ITER 4370 NEW BEST:: SOT 5584731 SOS 4504432 HAS SOPS 2328582 HAS SOUS 439017 HAS SOUPS 162458 WITH SCORE 166962.432
AT ITER 4377 NEW BEST:: SOT 5586626 SOS 4507007 HAS SOPS 2329457 HAS SOUS 438823 HAS SOUPS 162094 WITH SCORE 166601.007
AT ITER 4398 NEW BEST:: SOT 5586626 SOS 4507007 HAS SOPS 2329457 HAS SOUS 438683 HAS SOUPS 161954 WITH SCORE 166461.007
AT ITER 4420 NEW BEST:: SOT 5586618 SOS 4507071 HAS SOPS 2329489 HAS SOUS 438679 HAS SOUPS 161950 WITH SCORE 166457.071
AT ITER 4430 NEW BEST:: SOT 5586618 SOS 4507071 HAS SOPS 2329489 HAS SOUS 438667 HAS SOUPS 161938 WITH SCORE 166445.071
AT ITER 4452 NEW BEST:: SOT 5586408 SOS 4506831 HAS SOPS 2329339 HAS SOUS 438650 HAS SOUPS 161921 WITH SCORE 166427.831
AT ITER 4457 NEW BEST:: SOT 5586220 SOS 4506639 HAS SOPS 2329147 HAS SOUS 438623 HAS SOUPS 161894 WITH SCORE 166400.639
AT ITER 4481 NEW BEST:: SOT 5586198 SOS 4507071 HAS SOPS 2328815 HAS SOUS 438705 HAS SOUPS 161785 WITH SCORE 166292.071
AT ITER 4483 NEW BEST:: SOT 5586198 SOS 4507071 HAS SOPS 2328815 HAS SOUS 438681 HAS SOUPS 161761 WITH SCORE 166268.071
AT ITER 4489 NEW BEST:: SOT 5586072 SOS 4507779 HAS SOPS 2329203 HAS SOUS 438604 HAS SOUPS 161684 WITH SCORE 166191.779
AT ITER 4495 NEW BEST:: SOT 5584926 SOS 4505487 HAS SOPS 2328247 HAS SOUS 438150 HAS SOUPS 161564 WITH SCORE 166069.487
AT ITER 4510 NEW BEST:: SOT 5584926 SOS 4505487 HAS SOPS 2328247 HAS SOUS 438134 HAS SOUPS 161548 WITH SCORE 166053.487
AT ITER 4539 NEW BEST:: SOT 5584926 SOS 4505487 HAS SOPS 2328247 HAS SOUS 438064 HAS SOUPS 161478 WITH SCORE 165983.487
AT ITER 4540 NEW BEST:: SOT 5584866 SOS 4505367 HAS SOPS 2328127 HAS SOUS 437989 HAS SOUPS 161403 WITH SCORE 165908.367
AT ITER 4581 NEW BEST:: SOT 5584847 SOS 4505329 HAS SOPS 2329629 HAS SOUS 437585 HAS SOUPS 161384 WITH SCORE 165889.329
AT ITER 4612 NEW BEST:: SOT 5584735 SOS 4505105 HAS SOPS 2329181 HAS SOUS 437529 HAS SOUPS 161272 WITH SCORE 165777.105
AT ITER 4630 NEW BEST:: SOT 5584713 SOS 4505061 HAS SOPS 2329137 HAS SOUS 437491 HAS SOUPS 161234 WITH SCORE 165739.061
AT ITER 4638 NEW BEST:: SOT 5584713 SOS 4505061 HAS SOPS 2329137 HAS SOUS 437395 HAS SOUPS 161138 WITH SCORE 165643.061
AT ITER 4642 NEW BEST:: SOT 5584713 SOS 4505061 HAS SOPS 2329137 HAS SOUS 437253 HAS SOUPS 160996 WITH SCORE 165501.061
AT ITER 4643 NEW BEST:: SOT 5584707 SOS 4505049 HAS SOPS 2329101 HAS SOUS 437247 HAS SOUPS 160984 WITH SCORE 165489.049
AT ITER 4651 NEW BEST:: SOT 5584707 SOS 4505049 HAS SOPS 2329101 HAS SOUS 437181 HAS SOUPS 160918 WITH SCORE 165423.049
AT ITER 4670 NEW BEST:: SOT 5583869 SOS 4507121 HAS SOPS 2329565 HAS SOUS 436476 HAS SOUPS 160213 WITH SCORE 164720.121
AT ITER 4682 NEW BEST:: SOT 5582537 SOS 4507925 HAS SOPS 2328641 HAS SOUS 435882 HAS SOUPS 159619 WITH SCORE 164126.925
AT ITER 4702 NEW BEST:: SOT 5585057 SOS 4511285 HAS SOPS 2329901 HAS SOUS 435792 HAS SOUPS 159319 WITH SCORE 163830.285
AT ITER 4703 NEW BEST:: SOT 5583556 SOS 4508283 HAS SOPS 2329901 HAS SOUS 435520 HAS SOUPS 159319 WITH SCORE 163827.283
AT ITER 4718 NEW BEST:: SOT 5583556 SOS 4508283 HAS SOPS 2329901 HAS SOUS 435490 HAS SOUPS 159289 WITH SCORE 163797.283
AT ITER 4721 NEW BEST:: SOT 5583436 SOS 4508043 HAS SOPS 2330001 HAS SOUS 435285 HAS SOUPS 159169 WITH SCORE 163677.043
AT ITER 4738 NEW BEST:: SOT 5583436 SOS 4508043 HAS SOPS 2330001 HAS SOUS 435213 HAS SOUPS 159097 WITH SCORE 163605.043
AT ITER 4739 NEW BEST:: SOT 5583088 SOS 4507591 HAS SOPS 2329549 HAS SOUS 435178 HAS SOUPS 159062 WITH SCORE 163569.59100000001
AT ITER 4745 NEW BEST:: SOT 5583047 SOS 4507061 HAS SOPS 2329467 HAS SOUS 434984 HAS SOUPS 158980 WITH SCORE 163487.061
AT ITER 4747 NEW BEST:: SOT 5578129 SOS 4501561 HAS SOPS 2326180 HAS SOUS 434924 HAS SOUPS 158903 WITH SCORE 163404.561
AT ITER 4752 NEW BEST:: SOT 5578129 SOS 4501561 HAS SOPS 2326180 HAS SOUS 434910 HAS SOUPS 158889 WITH SCORE 163390.561
AT ITER 4773 NEW BEST:: SOT 5573019 SOS 4494139 HAS SOPS 2322908 HAS SOUS 434412 HAS SOUPS 158806 WITH SCORE 163300.139
AT ITER 4794 NEW BEST:: SOT 5573019 SOS 4494139 HAS SOPS 2322908 HAS SOUS 434406 HAS SOUPS 158800 WITH SCORE 163294.139
AT ITER 4800 NEW BEST:: SOT 5572743 SOS 4491379 HAS SOPS 2321252 HAS SOUS 434130 HAS SOUPS 158616 WITH SCORE 163107.379
AT ITER 4833 NEW BEST:: SOT 5572743 SOS 4491379 HAS SOPS 2321252 HAS SOUS 434110 HAS SOUPS 158596 WITH SCORE 163087.379
AT ITER 4840 NEW BEST:: SOT 5572743 SOS 4491379 HAS SOPS 2321252 HAS SOUS 434084 HAS SOUPS 158570 WITH SCORE 163061.379
AT ITER 4844 NEW BEST:: SOT 5572743 SOS 4491379 HAS SOPS 2321252 HAS SOUS 434066 HAS SOUPS 158552 WITH SCORE 163043.379
AT ITER 4846 NEW BEST:: SOT 5572745 SOS 4482986 HAS SOPS 2317441 HAS SOUS 434053 HAS SOUPS 158539 WITH SCORE 163021.986
AT ITER 4870 NEW BEST:: SOT 5569456 SOS 4479165 HAS SOPS 2315216 HAS SOUS 433956 HAS SOUPS 158442 WITH SCORE 162921.165
AT ITER 4877 NEW BEST:: SOT 5569456 SOS 4479165 HAS SOPS 2315216 HAS SOUS 433949 HAS SOUPS 158435 WITH SCORE 162914.165
AT ITER 4898 NEW BEST:: SOT 5569349 SOS 4478951 HAS SOPS 2315002 HAS SOUS 433680 HAS SOUPS 158166 WITH SCORE 162644.951
AT ITER 4949 NEW BEST:: SOT 5569329 SOS 4478931 HAS SOPS 2314982 HAS SOUS 433660 HAS SOUPS 158146 WITH SCORE 162624.931
AT ITER 4959 NEW BEST:: SOT 5569025 SOS 4478127 HAS SOPS 2316010 HAS SOUS 433021 HAS SOUPS 157965 WITH SCORE 162443.127
AT ITER 4967 NEW BEST:: SOT 5569458 SOS 4478705 HAS SOPS 2316228 HAS SOUS 432987 HAS SOUPS 157895 WITH SCORE 162373.705
AT ITER 4970 NEW BEST:: SOT 5569477 SOS 4478780 HAS SOPS 2316303 HAS SOUS 432769 HAS SOUPS 157677 WITH SCORE 162155.78
AT ITER 4980 NEW BEST:: SOT 5569477 SOS 4478780 HAS SOPS 2316303 HAS SOUS 432743 HAS SOUPS 157651 WITH SCORE 162129.78
AT ITER 5013 NEW BEST:: SOT 5569475 SOS 4478776 HAS SOPS 2316299 HAS SOUS 432714 HAS SOUPS 157622 WITH SCORE 162100.776
AT ITER 5033 NEW BEST:: SOT 5569528 SOS 4477642 HAS SOPS 2315661 HAS SOUS 432705 HAS SOUPS 157613 WITH SCORE 162090.642
AT ITER 5046 NEW BEST:: SOT 5569529 SOS 4467669 HAS SOPS 2315530 HAS SOUS 432578 HAS SOUPS 157486 WITH SCORE 161953.669
AT ITER 5061 NEW BEST:: SOT 5569523 SOS 4467761 HAS SOPS 2315622 HAS SOUS 432566 HAS SOUPS 157474 WITH SCORE 161941.761
AT ITER 5066 NEW BEST:: SOT 5569353 SOS 4467421 HAS SOPS 2315790 HAS SOUS 432395 HAS SOUPS 157430 WITH SCORE 161897.421
AT ITER 5081 NEW BEST:: SOT 5569353 SOS 4467421 HAS SOPS 2315790 HAS SOUS 432391 HAS SOUPS 157426 WITH SCORE 161893.421
AT ITER 5136 NEW BEST:: SOT 5569548 SOS 4467811 HAS SOPS 2315804 HAS SOUS 432460 HAS SOUPS 157401 WITH SCORE 161868.811
AT ITER 5153 NEW BEST:: SOT 5569548 SOS 4467811 HAS SOPS 2315804 HAS SOUS 432446 HAS SOUPS 157387 WITH SCORE 161854.811
AT ITER 5155 NEW BEST:: SOT 5569521 SOS 4467757 HAS SOPS 2315750 HAS SOUS 432445 HAS SOUPS 157386 WITH SCORE 161853.757
AT ITER 5178 NEW BEST:: SOT 5569168 SOS 4467051 HAS SOPS 2315488 HAS SOUS 432282 HAS SOUPS 157334 WITH SCORE 161801.051
AT ITER 5189 NEW BEST:: SOT 5569285 SOS 4467103 HAS SOPS 2315540 HAS SOUS 432126 HAS SOUPS 157178 WITH SCORE 161645.103
AT ITER 5225 NEW BEST:: SOT 5569335 SOS 4467203 HAS SOPS 2315640 HAS SOUS 432098 HAS SOUPS 157150 WITH SCORE 161617.203
AT ITER 5226 NEW BEST:: SOT 5569335 SOS 4467203 HAS SOPS 2315640 HAS SOUS 432094 HAS SOUPS 157146 WITH SCORE 161613.203
AT ITER 5279 NEW BEST:: SOT 5565632 SOS 4462052 HAS SOPS 2313369 HAS SOUS 431727 HAS SOUPS 157067 WITH SCORE 161529.052
AT ITER 5368 NEW BEST:: SOT 5563215 SOS 4452545 HAS SOPS 2307937 HAS SOUS 431385 HAS SOUPS 156828 WITH SCORE 161280.545
AT ITER 5389 NEW BEST:: SOT 5563539 SOS 4452869 HAS SOPS 2308207 HAS SOUS 431331 HAS SOUPS 156774 WITH SCORE 161226.869
AT ITER 5406 NEW BEST:: SOT 5563539 SOS 4452869 HAS SOPS 2308207 HAS SOUS 431181 HAS SOUPS 156624 WITH SCORE 161076.869
AT ITER 5414 NEW BEST:: SOT 5565237 SOS 4454504 HAS SOPS 2309664 HAS SOUS 431236 HAS SOUPS 156620 WITH SCORE 161074.504
AT ITER 5415 NEW BEST:: SOT 5566884 SOS 4456553 HAS SOPS 2310501 HAS SOUS 431034 HAS SOUPS 156418 WITH SCORE 160874.553
AT ITER 5421 NEW BEST:: SOT 5568080 SOS 4457995 HAS SOPS 2310918 HAS SOUS 431000 HAS SOUPS 156384 WITH SCORE 160841.995
AT ITER 5427 NEW BEST:: SOT 5568080 SOS 4457995 HAS SOPS 2310918 HAS SOUS 430990 HAS SOUPS 156374 WITH SCORE 160831.995
AT ITER 5435 NEW BEST:: SOT 5568009 SOS 4457853 HAS SOPS 2310776 HAS SOUS 430919 HAS SOUPS 156303 WITH SCORE 160760.853
AT ITER 5440 NEW BEST:: SOT 5567918 SOS 4457762 HAS SOPS 2310685 HAS SOUS 430828 HAS SOUPS 156212 WITH SCORE 160669.762
AT ITER 5458 NEW BEST:: SOT 5568150 SOS 4456138 HAS SOPS 2309625 HAS SOUS 430555 HAS SOUPS 155939 WITH SCORE 160395.138
AT ITER 5511 NEW BEST:: SOT 5568150 SOS 4456138 HAS SOPS 2309625 HAS SOUS 430459 HAS SOUPS 155843 WITH SCORE 160299.138
AT ITER 5552 NEW BEST:: SOT 5568150 SOS 4456138 HAS SOPS 2309625 HAS SOUS 430453 HAS SOUPS 155837 WITH SCORE 160293.138
AT ITER 5559 NEW BEST:: SOT 5568425 SOS 4457110 HAS SOPS 2309581 HAS SOUS 430412 HAS SOUPS 155542 WITH SCORE 159999.11
AT ITER 5567 NEW BEST:: SOT 5568425 SOS 4457110 HAS SOPS 2309581 HAS SOUS 430308 HAS SOUPS 155438 WITH SCORE 159895.11
AT ITER 5600 NEW BEST:: SOT 5568319 SOS 4456951 HAS SOPS 2309528 HAS SOUS 430220 HAS SOUPS 155403 WITH SCORE 159859.951
AT ITER 5621 NEW BEST:: SOT 5568297 SOS 4456995 HAS SOPS 2309484 HAS SOUS 430229 HAS SOUPS 155390 WITH SCORE 159846.995
AT ITER 5625 NEW BEST:: SOT 5568342 SOS 4457040 HAS SOPS 2309414 HAS SOUS 430159 HAS SOUPS 155320 WITH SCORE 159777.04
AT ITER 5629 NEW BEST:: SOT 5568362 SOS 4454972 HAS SOPS 2308402 HAS SOUS 429916 HAS SOUPS 155165 WITH SCORE 159619.972
AT ITER 5638 NEW BEST:: SOT 5567817 SOS 4457150 HAS SOPS 2308468 HAS SOUS 429689 HAS SOUPS 154762 WITH SCORE 159219.15
AT ITER 5655 NEW BEST:: SOT 5566436 SOS 4455561 HAS SOPS 2307503 HAS SOUS 429660 HAS SOUPS 154733 WITH SCORE 159188.561
AT ITER 5673 NEW BEST:: SOT 5565664 SOS 4454017 HAS SOPS 2307091 HAS SOUS 429191 HAS SOUPS 154547 WITH SCORE 159001.017
AT ITER 5687 NEW BEST:: SOT 5564266 SOS 4451221 HAS SOPS 2307091 HAS SOUS 428928 HAS SOUPS 154547 WITH SCORE 158998.221
AT ITER 5689 NEW BEST:: SOT 5565007 SOS 4451391 HAS SOPS 2307261 HAS SOUS 428766 HAS SOUPS 154385 WITH SCORE 158836.391
AT ITER 5706 NEW BEST:: SOT 5564791 SOS 4451719 HAS SOPS 2307133 HAS SOUS 428776 HAS SOUPS 154357 WITH SCORE 158808.719
AT ITER 5712 NEW BEST:: SOT 5564745 SOS 4451627 HAS SOPS 2307041 HAS SOUS 428730 HAS SOUPS 154311 WITH SCORE 158762.627
AT ITER 5724 NEW BEST:: SOT 5564623 SOS 4451383 HAS SOPS 2306893 HAS SOUS 428656 HAS SOUPS 154261 WITH SCORE 158712.383
AT ITER 5751 NEW BEST:: SOT 5563596 SOS 4449329 HAS SOPS 2305815 HAS SOUS 428141 HAS SOUPS 153990 WITH SCORE 158439.329
AT ITER 5753 NEW BEST:: SOT 5563554 SOS 4448925 HAS SOPS 2305955 HAS SOUS 427960 HAS SOUPS 153945 WITH SCORE 158393.925
AT ITER 5770 NEW BEST:: SOT 5559700 SOS 4444200 HAS SOPS 2303461 HAS SOUS 427837 HAS SOUPS 153921 WITH SCORE 158365.2
AT ITER 5776 NEW BEST:: SOT 5560436 SOS 4445518 HAS SOPS 2303747 HAS SOUS 427826 HAS SOUPS 153910 WITH SCORE 158355.518
AT ITER 5780 NEW BEST:: SOT 5559599 SOS 4442728 HAS SOPS 2302631 HAS SOUS 427640 HAS SOUPS 153817 WITH SCORE 158259.728
AT ITER 5788 NEW BEST:: SOT 5559420 SOS 4442370 HAS SOPS 2302273 HAS SOUS 427636 HAS SOUPS 153813 WITH SCORE 158255.37
AT ITER 5790 NEW BEST:: SOT 5559584 SOS 4442698 HAS SOPS 2302273 HAS SOUS 427585 HAS SOUPS 153680 WITH SCORE 158122.698
AT ITER 5816 NEW BEST:: SOT 5559584 SOS 4442698 HAS SOPS 2302273 HAS SOUS 427459 HAS SOUPS 153554 WITH SCORE 157996.698
AT ITER 5829 NEW BEST:: SOT 5559585 SOS 4443052 HAS SOPS 2302275 HAS SOUS 427506 HAS SOUPS 153513 WITH SCORE 157956.052
AT ITER 5896 NEW BEST:: SOT 5559585 SOS 4443052 HAS SOPS 2302275 HAS SOUS 427474 HAS SOUPS 153481 WITH SCORE 157924.052
AT ITER 5901 NEW BEST:: SOT 5559613 SOS 4443243 HAS SOPS 2302466 HAS SOUS 427413 HAS SOUPS 153420 WITH SCORE 157863.243
AT ITER 5914 NEW BEST:: SOT 5559613 SOS 4443243 HAS SOPS 2302466 HAS SOUS 427361 HAS SOUPS 153368 WITH SCORE 157811.243
AT ITER 5943 NEW BEST:: SOT 5559613 SOS 4443164 HAS SOPS 2302465 HAS SOUS 427359 HAS SOUPS 153367 WITH SCORE 157810.164
AT ITER 5968 NEW BEST:: SOT 5559574 SOS 4443878 HAS SOPS 2302783 HAS SOUS 427386 HAS SOUPS 153361 WITH SCORE 157804.878
AT ITER 5987 NEW BEST:: SOT 5557912 SOS 4441618 HAS SOPS 2301321 HAS SOUS 427272 HAS SOUPS 153247 WITH SCORE 157688.618
AT ITER 6023 NEW BEST:: SOT 5557912 SOS 4441618 HAS SOPS 2301321 HAS SOUS 427228 HAS SOUPS 153203 WITH SCORE 157644.618
AT ITER 6028 NEW BEST:: SOT 5559426 SOS 4468844 HAS SOPS 2301648 HAS SOUS 427271 HAS SOUPS 153040 WITH SCORE 157508.844
AT ITER 6035 NEW BEST:: SOT 5559290 SOS 4468708 HAS SOPS 2301512 HAS SOUS 427271 HAS SOUPS 153040 WITH SCORE 157508.708
AT ITER 6060 NEW BEST:: SOT 5559234 SOS 4468596 HAS SOPS 2301756 HAS SOUS 427116 HAS SOUPS 152974 WITH SCORE 157442.596
AT ITER 6075 NEW BEST:: SOT 5559070 SOS 4468268 HAS SOPS 2301428 HAS SOUS 427004 HAS SOUPS 152862 WITH SCORE 157330.268
AT ITER 6091 NEW BEST:: SOT 5558974 SOS 4468124 HAS SOPS 2301364 HAS SOUS 426988 HAS SOUPS 152854 WITH SCORE 157322.124
AT ITER 6104 NEW BEST:: SOT 5558942 SOS 4469260 HAS SOPS 2301252 HAS SOUS 426972 HAS SOUPS 152822 WITH SCORE 157291.26
AT ITER 6107 NEW BEST:: SOT 5558813 SOS 4473486 HAS SOPS 2304072 HAS SOUS 426938 HAS SOUPS 152788 WITH SCORE 157261.486
AT ITER 6119 NEW BEST:: SOT 5558791 SOS 4473442 HAS SOPS 2303984 HAS SOUS 426916 HAS SOUPS 152755 WITH SCORE 157228.442
AT ITER 6149 NEW BEST:: SOT 5558791 SOS 4472074 HAS SOPS 2303300 HAS SOUS 426802 HAS SOUPS 152698 WITH SCORE 157170.074
AT ITER 6158 NEW BEST:: SOT 5555271 SOS 4467982 HAS SOPS 2300648 HAS SOUS 426834 HAS SOUPS 152667 WITH SCORE 157134.982
AT ITER 6167 NEW BEST:: SOT 5555271 SOS 4467982 HAS SOPS 2300648 HAS SOUS 426712 HAS SOUPS 152545 WITH SCORE 157012.982
AT ITER 6180 NEW BEST:: SOT 5554611 SOS 4467102 HAS SOPS 2300318 HAS SOUS 426657 HAS SOUPS 152545 WITH SCORE 157012.102
AT ITER 6186 NEW BEST:: SOT 5554611 SOS 4467102 HAS SOPS 2300022 HAS SOUS 426583 HAS SOUPS 152397 WITH SCORE 156864.102
AT ITER 6212 NEW BEST:: SOT 5554611 SOS 4467102 HAS SOPS 2300022 HAS SOUS 426533 HAS SOUPS 152347 WITH SCORE 156814.102
AT ITER 6233 NEW BEST:: SOT 5554779 SOS 4467326 HAS SOPS 2300106 HAS SOUS 426519 HAS SOUPS 152319 WITH SCORE 156786.326
AT ITER 6234 NEW BEST:: SOT 5552637 SOS 4464670 HAS SOPS 2298756 HAS SOUS 426273 HAS SOUPS 152148 WITH SCORE 156612.67
AT ITER 6260 NEW BEST:: SOT 5552595 SOS 4464682 HAS SOPS 2298720 HAS SOUS 426255 HAS SOUPS 152130 WITH SCORE 156594.682
AT ITER 6262 NEW BEST:: SOT 5552735 SOS 4464082 HAS SOPS 2298648 HAS SOUS 426175 HAS SOUPS 152094 WITH SCORE 156558.082
AT ITER 6292 NEW BEST:: SOT 5554413 SOS 4466404 HAS SOPS 2299360 HAS SOUS 426175 HAS SOUPS 151933 WITH SCORE 156399.404
AT ITER 6304 NEW BEST:: SOT 5554373 SOS 4466120 HAS SOPS 2299076 HAS SOUS 426096 HAS SOUPS 151854 WITH SCORE 156320.12
AT ITER 6314 NEW BEST:: SOT 5554392 SOS 4466225 HAS SOPS 2299009 HAS SOUS 426115 HAS SOUPS 151787 WITH SCORE 156253.225
AT ITER 6336 NEW BEST:: SOT 5554267 SOS 4462975 HAS SOPS 2296759 HAS SOUS 425865 HAS SOUPS 151537 WITH SCORE 155999.975
AT ITER 6350 NEW BEST:: SOT 5554234 SOS 4462909 HAS SOPS 2296693 HAS SOUS 425854 HAS SOUPS 151526 WITH SCORE 155988.90899999999
AT ITER 6355 NEW BEST:: SOT 5554234 SOS 4462537 HAS SOPS 2296321 HAS SOUS 425854 HAS SOUPS 151526 WITH SCORE 155988.537
AT ITER 6391 NEW BEST:: SOT 5554234 SOS 4462537 HAS SOPS 2296321 HAS SOUS 425838 HAS SOUPS 151510 WITH SCORE 155972.537
AT ITER 6424 NEW BEST:: SOT 5554222 SOS 4462513 HAS SOPS 2296297 HAS SOUS 425826 HAS SOUPS 151498 WITH SCORE 155960.513
AT ITER 6460 NEW BEST:: SOT 5553950 SOS 4461901 HAS SOPS 2295957 HAS SOUS 425687 HAS SOUPS 151427 WITH SCORE 155888.901
AT ITER 6503 NEW BEST:: SOT 5550002 SOS 4457172 HAS SOPS 2292826 HAS SOUS 425620 HAS SOUPS 151306 WITH SCORE 155763.172
AT ITER 6535 NEW BEST:: SOT 5550002 SOS 4457172 HAS SOPS 2292826 HAS SOUS 425580 HAS SOUPS 151266 WITH SCORE 155723.172
AT ITER 6544 NEW BEST:: SOT 5549859 SOS 4458062 HAS SOPS 2293128 HAS SOUS 425608 HAS SOUPS 151245 WITH SCORE 155703.062
AT ITER 6547 NEW BEST:: SOT 5548520 SOS 4455610 HAS SOPS 2292412 HAS SOUS 425106 HAS SOUPS 150887 WITH SCORE 155342.61
AT ITER 6568 NEW BEST:: SOT 5548520 SOS 4455610 HAS SOPS 2292412 HAS SOUS 425102 HAS SOUPS 150883 WITH SCORE 155338.61
AT ITER 6600 NEW BEST:: SOT 5548485 SOS 4455540 HAS SOPS 2292514 HAS SOUS 424992 HAS SOUPS 150816 WITH SCORE 155271.54
AT ITER 6604 NEW BEST:: SOT 5548464 SOS 4455414 HAS SOPS 2292472 HAS SOUS 424950 HAS SOUPS 150795 WITH SCORE 155250.414
AT ITER 6659 NEW BEST:: SOT 5548936 SOS 4455886 HAS SOPS 2292590 HAS SOUS 424832 HAS SOUPS 150677 WITH SCORE 155132.886
AT ITER 6684 NEW BEST:: SOT 5548903 SOS 4455853 HAS SOPS 2292590 HAS SOUS 424832 HAS SOUPS 150677 WITH SCORE 155132.853
AT ITER 6691 NEW BEST:: SOT 5548851 SOS 4455424 HAS SOPS 2292317 HAS SOUS 424793 HAS SOUPS 150651 WITH SCORE 155106.424
AT ITER 6704 NEW BEST:: SOT 5548851 SOS 4455424 HAS SOPS 2292317 HAS SOUS 424779 HAS SOUPS 150637 WITH SCORE 155092.424
AT ITER 6716 NEW BEST:: SOT 5548672 SOS 4455066 HAS SOPS 2292317 HAS SOUS 424300 HAS SOUPS 150637 WITH SCORE 155092.066
AT ITER 6731 NEW BEST:: SOT 5548750 SOS 4454402 HAS SOPS 2292789 HAS SOUS 423926 HAS SOUPS 150547 WITH SCORE 155001.402
AT ITER 6739 NEW BEST:: SOT 5548750 SOS 4454254 HAS SOPS 2292641 HAS SOUS 423852 HAS SOUPS 150473 WITH SCORE 154927.254
AT ITER 6806 NEW BEST:: SOT 5548750 SOS 4454254 HAS SOPS 2292641 HAS SOUS 423834 HAS SOUPS 150455 WITH SCORE 154909.254
AT ITER 6819 NEW BEST:: SOT 5548754 SOS 4453422 HAS SOPS 2292089 HAS SOUS 423802 HAS SOUPS 150423 WITH SCORE 154876.422
AT ITER 6830 NEW BEST:: SOT 5548689 SOS 4453292 HAS SOPS 2291779 HAS SOUS 423782 HAS SOUPS 150358 WITH SCORE 154811.292
AT ITER 6843 NEW BEST:: SOT 5548689 SOS 4453292 HAS SOPS 2291779 HAS SOUS 423766 HAS SOUPS 150342 WITH SCORE 154795.292
AT ITER 6846 NEW BEST:: SOT 5547864 SOS 4451642 HAS SOPS 2291445 HAS SOUS 423217 HAS SOUPS 150122 WITH SCORE 154573.642
AT ITER 6854 NEW BEST:: SOT 5547713 SOS 4450412 HAS SOPS 2291155 HAS SOUS 422599 HAS SOUPS 149739 WITH SCORE 154189.412
AT ITER 6860 NEW BEST:: SOT 5546813 SOS 4449212 HAS SOPS 2290405 HAS SOUS 422599 HAS SOUPS 149739 WITH SCORE 154188.212
AT ITER 6888 NEW BEST:: SOT 5546813 SOS 4449212 HAS SOPS 2290405 HAS SOUS 422587 HAS SOUPS 149727 WITH SCORE 154176.212
AT ITER 6901 NEW BEST:: SOT 5546813 SOS 4449212 HAS SOPS 2290405 HAS SOUS 422551 HAS SOUPS 149691 WITH SCORE 154140.212
AT ITER 6902 NEW BEST:: SOT 5546819 SOS 4449388 HAS SOPS 2290417 HAS SOUS 422565 HAS SOUPS 149664 WITH SCORE 154113.388
AT ITER 6934 NEW BEST:: SOT 5546978 SOS 4448746 HAS SOPS 2290095 HAS SOUS 422554 HAS SOUPS 149653 WITH SCORE 154101.746
AT ITER 6937 NEW BEST:: SOT 5547023 SOS 4442876 HAS SOPS 2287801 HAS SOUS 422074 HAS SOUPS 149471 WITH SCORE 153913.876
AT ITER 6978 NEW BEST:: SOT 5547023 SOS 4442876 HAS SOPS 2287801 HAS SOUS 421911 HAS SOUPS 149469 WITH SCORE 153911.876
AT ITER 6997 NEW BEST:: SOT 5547005 SOS 4442904 HAS SOPS 2287765 HAS SOUS 421893 HAS SOUPS 149435 WITH SCORE 153877.904
AT ITER 7017 NEW BEST:: SOT 5547005 SOS 4442904 HAS SOPS 2287765 HAS SOUS 421891 HAS SOUPS 149433 WITH SCORE 153875.904
AT ITER 7023 NEW BEST:: SOT 5546783 SOS 4444288 HAS SOPS 2288413 HAS SOUS 421758 HAS SOUPS 149300 WITH SCORE 153744.288
AT ITER 7032 NEW BEST:: SOT 5547490 SOS 4445750 HAS SOPS 2288365 HAS SOUS 421894 HAS SOUPS 149252 WITH SCORE 153697.75
AT ITER 7043 NEW BEST:: SOT 5547612 SOS 4434952 HAS SOPS 2288287 HAS SOUS 421677 HAS SOUPS 149174 WITH SCORE 153608.952
AT ITER 7071 NEW BEST:: SOT 5546784 SOS 4433848 HAS SOPS 2287873 HAS SOUS 421608 HAS SOUPS 149174 WITH SCORE 153607.848
AT ITER 7113 NEW BEST:: SOT 5546756 SOS 4433792 HAS SOPS 2287873 HAS SOUS 421396 HAS SOUPS 149174 WITH SCORE 153607.792
AT ITER 7114 NEW BEST:: SOT 5546075 SOS 4432478 HAS SOPS 2287583 HAS SOUS 421142 HAS SOUPS 149038 WITH SCORE 153470.478
AT ITER 7121 NEW BEST:: SOT 5546076 SOS 4432456 HAS SOPS 2287569 HAS SOUS 421142 HAS SOUPS 149038 WITH SCORE 153470.456
AT ITER 7123 NEW BEST:: SOT 5545970 SOS 4432012 HAS SOPS 2287125 HAS SOUS 421111 HAS SOUPS 149007 WITH SCORE 153439.012
AT ITER 7127 NEW BEST:: SOT 5545252 SOS 4430975 HAS SOPS 2286707 HAS SOUS 420869 HAS SOUPS 148702 WITH SCORE 153132.975
AT ITER 7135 NEW BEST:: SOT 5544594 SOS 4430317 HAS SOPS 2286143 HAS SOUS 420869 HAS SOUPS 148702 WITH SCORE 153132.317
AT ITER 7137 NEW BEST:: SOT 5545158 SOS 4431069 HAS SOPS 2286425 HAS SOUS 420822 HAS SOUPS 148608 WITH SCORE 153039.069
AT ITER 7153 NEW BEST:: SOT 5545158 SOS 4431069 HAS SOPS 2286425 HAS SOUS 420798 HAS SOUPS 148584 WITH SCORE 153015.069
AT ITER 7174 NEW BEST:: SOT 5545110 SOS 4430973 HAS SOPS 2286137 HAS SOUS 420798 HAS SOUPS 148536 WITH SCORE 152966.973
AT ITER 7191 NEW BEST:: SOT 5545078 SOS 4432109 HAS SOPS 2286025 HAS SOUS 420782 HAS SOUPS 148504 WITH SCORE 152936.109
AT ITER 7192 NEW BEST:: SOT 5545060 SOS 4432073 HAS SOPS 2285989 HAS SOUS 420768 HAS SOUPS 148490 WITH SCORE 152922.073
AT ITER 7195 NEW BEST:: SOT 5544904 SOS 4431761 HAS SOPS 2285781 HAS SOUS 420638 HAS SOUPS 148386 WITH SCORE 152817.761
AT ITER 7196 NEW BEST:: SOT 5544834 SOS 4431691 HAS SOPS 2285721 HAS SOUS 420528 HAS SOUPS 148316 WITH SCORE 152747.691
AT ITER 7227 NEW BEST:: SOT 5544378 SOS 4434139 HAS SOPS 2286977 HAS SOUS 420383 HAS SOUPS 148171 WITH SCORE 152605.139
AT ITER 7259 NEW BEST:: SOT 5544345 SOS 4433941 HAS SOPS 2286911 HAS SOUS 420284 HAS SOUPS 148105 WITH SCORE 152538.941
AT ITER 7283 NEW BEST:: SOT 5544254 SOS 4433835 HAS SOPS 2286505 HAS SOUS 420258 HAS SOUPS 148004 WITH SCORE 152437.835
AT ITER 7294 NEW BEST:: SOT 5544147 SOS 4437725 HAS SOPS 2286399 HAS SOUS 420153 HAS SOUPS 147899 WITH SCORE 152336.725
AT ITER 7348 NEW BEST:: SOT 5543482 SOS 4436955 HAS SOPS 2285909 HAS SOUS 420048 HAS SOUPS 147794 WITH SCORE 152230.955
AT ITER 7354 NEW BEST:: SOT 5543288 SOS 4436915 HAS SOPS 2285353 HAS SOUS 419918 HAS SOUPS 147535 WITH SCORE 151971.915
AT ITER 7385 NEW BEST:: SOT 5543268 SOS 4436875 HAS SOPS 2285313 HAS SOUS 419876 HAS SOUPS 147493 WITH SCORE 151929.875
AT ITER 7388 NEW BEST:: SOT 5543078 SOS 4436495 HAS SOPS 2284933 HAS SOUS 419708 HAS SOUPS 147325 WITH SCORE 151761.495
AT ITER 7404 NEW BEST:: SOT 5543049 SOS 4436437 HAS SOPS 2284759 HAS SOUS 419708 HAS SOUPS 147296 WITH SCORE 151732.437
AT ITER 7429 NEW BEST:: SOT 5540903 SOS 4434221 HAS SOPS 2283581 HAS SOUS 419638 HAS SOUPS 147226 WITH SCORE 151660.221
AT ITER 7465 NEW BEST:: SOT 5538880 SOS 4431393 HAS SOPS 2282363 HAS SOUS 419513 HAS SOUPS 147214 WITH SCORE 151645.393
AT ITER 7482 NEW BEST:: SOT 5539083 SOS 4431866 HAS SOPS 2282474 HAS SOUS 419446 HAS SOUPS 147144 WITH SCORE 151575.866
AT ITER 7508 NEW BEST:: SOT 5539055 SOS 4432146 HAS SOPS 2282586 HAS SOUS 419446 HAS SOUPS 147130 WITH SCORE 151562.146
AT ITER 7511 NEW BEST:: SOT 5539055 SOS 4432146 HAS SOPS 2282586 HAS SOUS 419394 HAS SOUPS 147078 WITH SCORE 151510.146
AT ITER 7514 NEW BEST:: SOT 5538996 SOS 4431708 HAS SOPS 2282468 HAS SOUS 419228 HAS SOUPS 146992 WITH SCORE 151423.708
AT ITER 7517 NEW BEST:: SOT 5539756 SOS 4432307 HAS SOPS 2282969 HAS SOUS 419170 HAS SOUPS 146988 WITH SCORE 151420.307
AT ITER 7526 NEW BEST:: SOT 5539804 SOS 4431227 HAS SOPS 2282281 HAS SOUS 419071 HAS SOUPS 146889 WITH SCORE 151320.227
AT ITER 7550 NEW BEST:: SOT 5538450 SOS 4429383 HAS SOPS 2281517 HAS SOUS 418955 HAS SOUPS 146881 WITH SCORE 151310.383
AT ITER 7584 NEW BEST:: SOT 5537972 SOS 4428427 HAS SOPS 2281209 HAS SOUS 418646 HAS SOUPS 146734 WITH SCORE 151162.427
AT ITER 7600 NEW BEST:: SOT 5537546 SOS 4429263 HAS SOPS 2281619 HAS SOUS 418575 HAS SOUPS 146663 WITH SCORE 151092.263
AT ITER 7618 NEW BEST:: SOT 5537254 SOS 4428055 HAS SOPS 2281035 HAS SOUS 417971 HAS SOUPS 146215 WITH SCORE 150643.055
AT ITER 7631 NEW BEST:: SOT 5537882 SOS 4428807 HAS SOPS 2281409 HAS SOUS 417969 HAS SOUPS 146213 WITH SCORE 150641.807
AT ITER 7634 NEW BEST:: SOT 5533806 SOS 4423232 HAS SOPS 2278729 HAS SOUS 417547 HAS SOUPS 146028 WITH SCORE 150451.232
AT ITER 7661 NEW BEST:: SOT 5531826 SOS 4420704 HAS SOPS 2277275 HAS SOUS 417422 HAS SOUPS 145903 WITH SCORE 150323.704
AT ITER 7679 NEW BEST:: SOT 5528878 SOS 4416892 HAS SOPS 2274837 HAS SOUS 417222 HAS SOUPS 145703 WITH SCORE 150119.892
AT ITER 7685 NEW BEST:: SOT 5529153 SOS 4417359 HAS SOPS 2274837 HAS SOUS 417166 HAS SOUPS 145627 WITH SCORE 150044.359
AT ITER 7718 NEW BEST:: SOT 5529166 SOS 4417073 HAS SOPS 2274655 HAS SOUS 417166 HAS SOUPS 145627 WITH SCORE 150044.073
AT ITER 7725 NEW BEST:: SOT 5528828 SOS 4416397 HAS SOPS 2274683 HAS SOUS 416652 HAS SOUPS 145289 WITH SCORE 149705.397
AT ITER 7736 NEW BEST:: SOT 5528828 SOS 4416397 HAS SOPS 2274683 HAS SOUS 416502 HAS SOUPS 145139 WITH SCORE 149555.397
AT ITER 7761 NEW BEST:: SOT 5528828 SOS 4416397 HAS SOPS 2274683 HAS SOUS 416379 HAS SOUPS 145137 WITH SCORE 149553.397
AT ITER 7803 NEW BEST:: SOT 5529117 SOS 4419160 HAS SOPS 2275789 HAS SOUS 416390 HAS SOUPS 145115 WITH SCORE 149534.16
AT ITER 7806 NEW BEST:: SOT 5529100 SOS 4419126 HAS SOPS 2275721 HAS SOUS 416339 HAS SOUPS 145064 WITH SCORE 149483.126
AT ITER 7874 NEW BEST:: SOT 5528366 SOS 4418342 HAS SOPS 2275279 HAS SOUS 416296 HAS SOUPS 145021 WITH SCORE 149439.342
AT ITER 7878 NEW BEST:: SOT 5528263 SOS 4418136 HAS SOPS 2275073 HAS SOUS 416071 HAS SOUPS 144796 WITH SCORE 149214.136
AT ITER 7918 NEW BEST:: SOT 5526525 SOS 4411880 HAS SOPS 2272633 HAS SOUS 415817 HAS SOUPS 144754 WITH SCORE 149165.88
AT ITER 7940 NEW BEST:: SOT 5526331 SOS 4410948 HAS SOPS 2271701 HAS SOUS 415799 HAS SOUPS 144736 WITH SCORE 149146.948
AT ITER 7958 NEW BEST:: SOT 5526309 SOS 4408360 HAS SOPS 2269961 HAS SOUS 415649 HAS SOUPS 144586 WITH SCORE 148994.36
AT ITER 7975 NEW BEST:: SOT 5526087 SOS 4406236 HAS SOPS 2268677 HAS SOUS 415427 HAS SOUPS 144434 WITH SCORE 148840.236
AT ITER 8076 NEW BEST:: SOT 5526067 SOS 4406196 HAS SOPS 2268677 HAS SOUS 414807 HAS SOUPS 144434 WITH SCORE 148840.196
AT ITER 8114 NEW BEST:: SOT 5525986 SOS 4406034 HAS SOPS 2268515 HAS SOUS 414726 HAS SOUPS 144353 WITH SCORE 148759.03399999999
AT ITER 8129 NEW BEST:: SOT 5525986 SOS 4406034 HAS SOPS 2268515 HAS SOUS 414638 HAS SOUPS 144265 WITH SCORE 148671.03399999999
AT ITER 8161 NEW BEST:: SOT 5525986 SOS 4406034 HAS SOPS 2268515 HAS SOUS 414630 HAS SOUPS 144257 WITH SCORE 148663.03399999999
AT ITER 8187 NEW BEST:: SOT 5525986 SOS 4406034 HAS SOPS 2268515 HAS SOUS 414532 HAS SOUPS 144159 WITH SCORE 148565.03399999999
AT ITER 8190 NEW BEST:: SOT 5524684 SOS 4409698 HAS SOPS 2269371 HAS SOUS 414512 HAS SOUPS 144139 WITH SCORE 148548.698
AT ITER 8219 NEW BEST:: SOT 5524684 SOS 4409698 HAS SOPS 2269371 HAS SOUS 414402 HAS SOUPS 144029 WITH SCORE 148438.698
AT ITER 8223 NEW BEST:: SOT 5524684 SOS 4409698 HAS SOPS 2269371 HAS SOUS 414338 HAS SOUPS 143965 WITH SCORE 148374.698
AT ITER 8233 NEW BEST:: SOT 5525638 SOS 4411004 HAS SOPS 2270221 HAS SOUS 414259 HAS SOUPS 143946 WITH SCORE 148357.004
AT ITER 8253 NEW BEST:: SOT 5525598 SOS 4410924 HAS SOPS 2270141 HAS SOUS 414209 HAS SOUPS 143896 WITH SCORE 148306.924
AT ITER 8256 NEW BEST:: SOT 5525543 SOS 4410448 HAS SOPS 2269648 HAS SOUS 413985 HAS SOUPS 143672 WITH SCORE 148082.448
AT ITER 8286 NEW BEST:: SOT 5523771 SOS 4407992 HAS SOPS 2268552 HAS SOUS 413709 HAS SOUPS 143532 WITH SCORE 147939.992
AT ITER 8294 NEW BEST:: SOT 5522788 SOS 4406026 HAS SOPS 2268552 HAS SOUS 413165 HAS SOUPS 143532 WITH SCORE 147938.026
AT ITER 8306 NEW BEST:: SOT 5522788 SOS 4406026 HAS SOPS 2268552 HAS SOUS 413147 HAS SOUPS 143514 WITH SCORE 147920.026
AT ITER 8310 NEW BEST:: SOT 5522150 SOS 4405166 HAS SOPS 2268212 HAS SOUS 413089 HAS SOUPS 143508 WITH SCORE 147913.166
AT ITER 8326 NEW BEST:: SOT 5522254 SOS 4400958 HAS SOPS 2265596 HAS SOUS 412770 HAS SOUPS 143189 WITH SCORE 147589.958
AT ITER 8336 NEW BEST:: SOT 5520858 SOS 4399628 HAS SOPS 2264736 HAS SOUS 412815 HAS SOUPS 143175 WITH SCORE 147574.628
AT ITER 8384 NEW BEST:: SOT 5520858 SOS 4399628 HAS SOPS 2264736 HAS SOUS 412699 HAS SOUPS 143059 WITH SCORE 147458.628
AT ITER 8418 NEW BEST:: SOT 5520858 SOS 4399628 HAS SOPS 2264736 HAS SOUS 412691 HAS SOUPS 143051 WITH SCORE 147450.628
AT ITER 8438 NEW BEST:: SOT 5520858 SOS 4399628 HAS SOPS 2264736 HAS SOUS 412663 HAS SOUPS 143023 WITH SCORE 147422.628
AT ITER 8445 NEW BEST:: SOT 5520858 SOS 4399628 HAS SOPS 2264736 HAS SOUS 412661 HAS SOUPS 143021 WITH SCORE 147420.628
AT ITER 8454 NEW BEST:: SOT 5520851 SOS 4399621 HAS SOPS 2264730 HAS SOUS 412661 HAS SOUPS 143021 WITH SCORE 147420.621
AT ITER 8463 NEW BEST:: SOT 5520615 SOS 4399211 HAS SOPS 2264612 HAS SOUS 412472 HAS SOUPS 142891 WITH SCORE 147290.211
AT ITER 8526 NEW BEST:: SOT 5520326 SOS 4398898 HAS SOPS 2264554 HAS SOUS 412473 HAS SOUPS 142889 WITH SCORE 147287.898
AT ITER 8547 NEW BEST:: SOT 5520306 SOS 4394274 HAS SOPS 2262298 HAS SOUS 412404 HAS SOUPS 142820 WITH SCORE 147214.274
AT ITER 8550 NEW BEST:: SOT 5520306 SOS 4394274 HAS SOPS 2262298 HAS SOUS 412296 HAS SOUPS 142712 WITH SCORE 147106.274
AT ITER 8557 NEW BEST:: SOT 5520328 SOS 4389302 HAS SOPS 2262210 HAS SOUS 412225 HAS SOUPS 142641 WITH SCORE 147030.302
AT ITER 8587 NEW BEST:: SOT 5520274 SOS 4381736 HAS SOPS 2258000 HAS SOUS 411914 HAS SOUPS 142618 WITH SCORE 146999.736
AT ITER 8624 NEW BEST:: SOT 5520274 SOS 4381736 HAS SOPS 2258000 HAS SOUS 411890 HAS SOUPS 142594 WITH SCORE 146975.736
AT ITER 8630 NEW BEST:: SOT 5520061 SOS 4382102 HAS SOPS 2257970 HAS SOUS 411842 HAS SOUPS 142513 WITH SCORE 146895.102
AT ITER 8650 NEW BEST:: SOT 5520037 SOS 4381877 HAS SOPS 2257981 HAS SOUS 411710 HAS SOUPS 142440 WITH SCORE 146821.877
AT ITER 8661 NEW BEST:: SOT 5520553 SOS 4382796 HAS SOPS 2257981 HAS SOUS 411548 HAS SOUPS 142214 WITH SCORE 146596.796
AT ITER 8663 NEW BEST:: SOT 5520553 SOS 4382796 HAS SOPS 2257981 HAS SOUS 411504 HAS SOUPS 142170 WITH SCORE 146552.796
AT ITER 8715 NEW BEST:: SOT 5520461 SOS 4382428 HAS SOPS 2257797 HAS SOUS 411354 HAS SOUPS 142066 WITH SCORE 146448.428
AT ITER 8725 NEW BEST:: SOT 5518053 SOS 4379060 HAS SOPS 2256239 HAS SOUS 411015 HAS SOUPS 141908 WITH SCORE 146287.06
AT ITER 8726 NEW BEST:: SOT 5518051 SOS 4379056 HAS SOPS 2256235 HAS SOUS 411012 HAS SOUPS 141905 WITH SCORE 146284.056
AT ITER 8741 NEW BEST:: SOT 5518051 SOS 4379056 HAS SOPS 2256235 HAS SOUS 411008 HAS SOUPS 141901 WITH SCORE 146280.056
AT ITER 8783 NEW BEST:: SOT 5518053 SOS 4379070 HAS SOPS 2256249 HAS SOUS 410992 HAS SOUPS 141885 WITH SCORE 146264.07
AT ITER 8817 NEW BEST:: SOT 5518034 SOS 4379051 HAS SOPS 2256249 HAS SOUS 410785 HAS SOUPS 141754 WITH SCORE 146133.051
AT ITER 8820 NEW BEST:: SOT 5518045 SOS 4378853 HAS SOPS 2256139 HAS SOUS 410774 HAS SOUPS 141743 WITH SCORE 146121.853
AT ITER 8833 NEW BEST:: SOT 5515231 SOS 4375843 HAS SOPS 2254405 HAS SOUS 410734 HAS SOUPS 141678 WITH SCORE 146053.843
AT ITER 8852 NEW BEST:: SOT 5515977 SOS 4376623 HAS SOPS 2254651 HAS SOUS 410679 HAS SOUPS 141623 WITH SCORE 145999.623
AT ITER 8876 NEW BEST:: SOT 5515977 SOS 4376751 HAS SOPS 2254651 HAS SOUS 410694 HAS SOUPS 141606 WITH SCORE 145982.751
AT ITER 8883 NEW BEST:: SOT 5516055 SOS 4375699 HAS SOPS 2254039 HAS SOUS 410656 HAS SOUPS 141568 WITH SCORE 145943.699
AT ITER 8884 NEW BEST:: SOT 5516527 SOS 4376643 HAS SOPS 2254447 HAS SOUS 410670 HAS SOUPS 141448 WITH SCORE 145824.643
AT ITER 8937 NEW BEST:: SOT 5514507 SOS 4374101 HAS SOPS 2252975 HAS SOUS 410560 HAS SOUPS 141338 WITH SCORE 145712.101
AT ITER 8941 NEW BEST:: SOT 5513655 SOS 4372965 HAS SOPS 2252265 HAS SOUS 410560 HAS SOUPS 141338 WITH SCORE 145710.965
AT ITER 8961 NEW BEST:: SOT 5513473 SOS 4372769 HAS SOPS 2252153 HAS SOUS 410560 HAS SOUPS 141338 WITH SCORE 145710.769
AT ITER 9001 NEW BEST:: SOT 5513469 SOS 4372761 HAS SOPS 2252145 HAS SOUS 410556 HAS SOUPS 141334 WITH SCORE 145706.761
AT ITER 9003 NEW BEST:: SOT 5513433 SOS 4372689 HAS SOPS 2252073 HAS SOUS 410502 HAS SOUPS 141280 WITH SCORE 145652.689
AT ITER 9049 NEW BEST:: SOT 5513379 SOS 4372581 HAS SOPS 2252017 HAS SOUS 410474 HAS SOUPS 141265 WITH SCORE 145637.581
AT ITER 9066 NEW BEST:: SOT 5512125 SOS 4373413 HAS SOPS 2252038 HAS SOUS 410115 HAS SOUPS 141011 WITH SCORE 145384.413
AT ITER 9083 NEW BEST:: SOT 5510625 SOS 4371413 HAS SOPS 2251288 HAS SOUS 409990 HAS SOUPS 141011 WITH SCORE 145382.413
AT ITER 9087 NEW BEST:: SOT 5510625 SOS 4371437 HAS SOPS 2251288 HAS SOUS 409984 HAS SOUPS 140999 WITH SCORE 145370.437
AT ITER 9104 NEW BEST:: SOT 5509652 SOS 4367795 HAS SOPS 2249314 HAS SOUS 409984 HAS SOUPS 140999 WITH SCORE 145366.795
AT ITER 9116 NEW BEST:: SOT 5509652 SOS 4367711 HAS SOPS 2249314 HAS SOUS 409953 HAS SOUPS 140989 WITH SCORE 145356.711
AT ITER 9140 NEW BEST:: SOT 5509547 SOS 4373951 HAS SOPS 2249190 HAS SOUS 409915 HAS SOUPS 140951 WITH SCORE 145324.951
AT ITER 9147 NEW BEST:: SOT 5506247 SOS 4369551 HAS SOPS 2247540 HAS SOUS 409484 HAS SOUPS 140795 WITH SCORE 145164.551
AT ITER 9182 NEW BEST:: SOT 5506391 SOS 4369603 HAS SOPS 2247592 HAS SOUS 409392 HAS SOUPS 140703 WITH SCORE 145072.603
AT ITER 9194 NEW BEST:: SOT 5505055 SOS 4368267 HAS SOPS 2246958 HAS SOUS 409343 HAS SOUPS 140654 WITH SCORE 145022.267
AT ITER 9195 NEW BEST:: SOT 5505031 SOS 4368219 HAS SOPS 2246910 HAS SOUS 409319 HAS SOUPS 140630 WITH SCORE 144998.219
AT ITER 9207 NEW BEST:: SOT 5505031 SOS 4368219 HAS SOPS 2246910 HAS SOUS 409251 HAS SOUPS 140562 WITH SCORE 144930.219
AT ITER 9233 NEW BEST:: SOT 5505031 SOS 4368219 HAS SOPS 2246910 HAS SOUS 409237 HAS SOUPS 140548 WITH SCORE 144916.219
AT ITER 9263 NEW BEST:: SOT 5505026 SOS 4368209 HAS SOPS 2246608 HAS SOUS 409275 HAS SOUPS 140513 WITH SCORE 144881.209
AT ITER 9319 NEW BEST:: SOT 5505003 SOS 4368163 HAS SOPS 2246562 HAS SOUS 409229 HAS SOUPS 140467 WITH SCORE 144835.163
AT ITER 9326 NEW BEST:: SOT 5504989 SOS 4368135 HAS SOPS 2246534 HAS SOUS 409215 HAS SOUPS 140453 WITH SCORE 144821.135
AT ITER 9355 NEW BEST:: SOT 5505144 SOS 4368445 HAS SOPS 2246584 HAS SOUS 409245 HAS SOUPS 140418 WITH SCORE 144786.445
AT ITER 9362 NEW BEST:: SOT 5505188 SOS 4369045 HAS SOPS 2246432 HAS SOUS 409376 HAS SOUPS 140361 WITH SCORE 144730.045
AT ITER 9410 NEW BEST:: SOT 5504923 SOS 4368740 HAS SOPS 2246247 HAS SOUS 409323 HAS SOUPS 140308 WITH SCORE 144676.74
AT ITER 9425 NEW BEST:: SOT 5504923 SOS 4368740 HAS SOPS 2246247 HAS SOUS 409285 HAS SOUPS 140270 WITH SCORE 144638.74
AT ITER 9521 NEW BEST:: SOT 5504658 SOS 4383235 HAS SOPS 2245992 HAS SOUS 409076 HAS SOUPS 140086 WITH SCORE 144469.235
AT ITER 9527 NEW BEST:: SOT 5504628 SOS 4382979 HAS SOPS 2246188 HAS SOUS 408933 HAS SOUPS 140056 WITH SCORE 144438.979
AT ITER 9539 NEW BEST:: SOT 5505636 SOS 4384323 HAS SOPS 2246692 HAS SOUS 408995 HAS SOUPS 140034 WITH SCORE 144418.323
AT ITER 9569 NEW BEST:: SOT 5505412 SOS 4392387 HAS SOPS 2246468 HAS SOUS 408883 HAS SOUPS 139922 WITH SCORE 144314.387
AT ITER 9604 NEW BEST:: SOT 5505375 SOS 4392461 HAS SOPS 2246394 HAS SOUS 408892 HAS SOUPS 139894 WITH SCORE 144286.461
AT ITER 9637 NEW BEST:: SOT 5502723 SOS 4388925 HAS SOPS 2245068 HAS SOUS 408671 HAS SOUPS 139894 WITH SCORE 144282.925
AT ITER 9644 NEW BEST:: SOT 5500794 SOS 4386497 HAS SOPS 2243457 HAS SOUS 408555 HAS SOUPS 139778 WITH SCORE 144164.497
AT ITER 9647 NEW BEST:: SOT 5500816 SOS 4386541 HAS SOPS 2243369 HAS SOUS 408584 HAS SOUPS 139774 WITH SCORE 144160.541
AT ITER 9658 NEW BEST:: SOT 5500777 SOS 4386375 HAS SOPS 2243291 HAS SOUS 408506 HAS SOUPS 139718 WITH SCORE 144104.375
AT ITER 9705 NEW BEST:: SOT 5501043 SOS 4386485 HAS SOPS 2243401 HAS SOUS 408298 HAS SOUPS 139510 WITH SCORE 143896.485
AT ITER 9735 NEW BEST:: SOT 5501483 SOS 4387417 HAS SOPS 2243595 HAS SOUS 408336 HAS SOUPS 139425 WITH SCORE 143812.417
AT ITER 9812 NEW BEST:: SOT 5501698 SOS 4387804 HAS SOPS 2243595 HAS SOUS 408293 HAS SOUPS 139339 WITH SCORE 143726.804
AT ITER 9819 NEW BEST:: SOT 5501439 SOS 4387454 HAS SOPS 2243455 HAS SOUS 408265 HAS SOUPS 139332 WITH SCORE 143719.454
AT ITER 9826 NEW BEST:: SOT 5501418 SOS 4387412 HAS SOPS 2243413 HAS SOUS 408258 HAS SOUPS 139325 WITH SCORE 143712.412
AT ITER 9845 NEW BEST:: SOT 5499965 SOS 4382910 HAS SOPS 2240922 HAS SOUS 407911 HAS SOUPS 139089 WITH SCORE 143471.91
AT ITER 9848 NEW BEST:: SOT 5499921 SOS 4382610 HAS SOPS 2240834 HAS SOUS 407814 HAS SOUPS 139045 WITH SCORE 143427.61
AT ITER 9861 NEW BEST:: SOT 5498803 SOS 4381078 HAS SOPS 2240182 HAS SOUS 407664 HAS SOUPS 138983 WITH SCORE 143364.078
AT ITER 9869 NEW BEST:: SOT 5498803 SOS 4381078 HAS SOPS 2240182 HAS SOUS 407646 HAS SOUPS 138965 WITH SCORE 143346.078
AT ITER 9872 NEW BEST:: SOT 5495313 SOS 4376612 HAS SOPS 2237444 HAS SOUS 407612 HAS SOUPS 138931 WITH SCORE 143307.612
AT ITER 9878 NEW BEST:: SOT 5495313 SOS 4376612 HAS SOPS 2237444 HAS SOUS 407608 HAS SOUPS 138927 WITH SCORE 143303.612
AT ITER 9897 NEW BEST:: SOT 5495278 SOS 4376542 HAS SOPS 2237374 HAS SOUS 407579 HAS SOUPS 138898 WITH SCORE 143274.542
AT ITER 9927 NEW BEST:: SOT 5493077 SOS 4373492 HAS SOPS 2236014 HAS SOUS 407268 HAS SOUPS 138756 WITH SCORE 143129.492
AT ITER 9942 NEW BEST:: SOT 5493053 SOS 4373410 HAS SOPS 2235968 HAS SOUS 407264 HAS SOUPS 138754 WITH SCORE 143127.41
AT ITER 9968 NEW BEST:: SOT 5493053 SOS 4373410 HAS SOPS 2235968 HAS SOUS 407224 HAS SOUPS 138714 WITH SCORE 143087.41

BK_STOP 1589359661895

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 472 Aborted ${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="DLCshifumi-PT-4a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-4a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922806900040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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