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

About the Execution of Smart+red for PolyORBLF-PT-S06J04T04

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4547.016 3600000.00 3670624.00 7640.80 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953200592.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBLF-PT-S06J04T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953200592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.1M
-rw-r--r-- 1 mcc users 13K Feb 26 13:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 13:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 115K Feb 26 13:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 474K Feb 26 13:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 140K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 26 14:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 191K Feb 26 14:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.8M Mar 5 18:23 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 1679516817979

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S06J04T04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 20:26:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 20:26:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 20:26:59] [INFO ] Load time of PNML (sax parser for PT used): 382 ms
[2023-03-22 20:26:59] [INFO ] Transformed 454 places.
[2023-03-22 20:26:59] [INFO ] Transformed 6994 transitions.
[2023-03-22 20:26:59] [INFO ] Parsed PT model containing 454 places and 6994 transitions and 59152 arcs in 559 ms.
[2023-03-22 20:27:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 454 places, 6994 transitions and 59152 arcs took 84 ms.
Total runtime 671 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J04T04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 454 places, 6994 transitions, 59152 arcs.
AT ITER 0 NEW BEST:: SOT 1567796 SOS 1391936 HAS SOPS 1391268 HAS SOUS 240597 HAS SOUPS 240397 WITH SCORE 241788.936
AT ITER 1 NEW BEST:: SOT 1567794 SOS 1392688 HAS SOPS 1391438 HAS SOUS 240817 HAS SOUPS 240035 WITH SCORE 241427.688
AT ITER 8 NEW BEST:: SOT 1567794 SOS 1392068 HAS SOPS 1390818 HAS SOUS 240773 HAS SOUPS 239991 WITH SCORE 241383.068
AT ITER 11 NEW BEST:: SOT 1567794 SOS 1391532 HAS SOPS 1390282 HAS SOUS 240277 HAS SOUPS 239495 WITH SCORE 240886.532
AT ITER 36 NEW BEST:: SOT 1567664 SOS 1391242 HAS SOPS 1389992 HAS SOUS 240121 HAS SOUPS 239339 WITH SCORE 240730.242
AT ITER 40 NEW BEST:: SOT 1567664 SOS 1391241 HAS SOPS 1389991 HAS SOUS 240120 HAS SOUPS 239338 WITH SCORE 240729.241
AT ITER 47 NEW BEST:: SOT 1567608 SOS 1391222 HAS SOPS 1389972 HAS SOUS 239933 HAS SOUPS 239151 WITH SCORE 240542.222
AT ITER 48 NEW BEST:: SOT 1567610 SOS 1390966 HAS SOPS 1389716 HAS SOUS 239162 HAS SOUPS 238380 WITH SCORE 239770.966
AT ITER 55 NEW BEST:: SOT 1567610 SOS 1390918 HAS SOPS 1389668 HAS SOUS 238936 HAS SOUPS 238154 WITH SCORE 239544.918
AT ITER 63 NEW BEST:: SOT 1567478 SOS 1390742 HAS SOPS 1389492 HAS SOUS 238574 HAS SOUPS 237792 WITH SCORE 239182.742
AT ITER 71 NEW BEST:: SOT 1567408 SOS 1390236 HAS SOPS 1388987 HAS SOUS 238453 HAS SOUPS 237671 WITH SCORE 239061.236
AT ITER 72 NEW BEST:: SOT 1567785 SOS 1390493 HAS SOPS 1389244 HAS SOUS 229783 HAS SOUPS 229001 WITH SCORE 230391.493
AT ITER 73 NEW BEST:: SOT 1567542 SOS 1390307 HAS SOPS 1389058 HAS SOUS 229566 HAS SOUPS 228784 WITH SCORE 230174.307
AT ITER 76 NEW BEST:: SOT 1567533 SOS 1390289 HAS SOPS 1388992 HAS SOUS 229500 HAS SOUPS 228718 WITH SCORE 230108.289
AT ITER 77 NEW BEST:: SOT 1567533 SOS 1391185 HAS SOPS 1389888 HAS SOUS 227591 HAS SOUPS 226809 WITH SCORE 228200.185
AT ITER 86 NEW BEST:: SOT 1567321 SOS 1391024 HAS SOPS 1389727 HAS SOUS 227379 HAS SOUPS 226597 WITH SCORE 227988.024
AT ITER 89 NEW BEST:: SOT 1567319 SOS 1391032 HAS SOPS 1389745 HAS SOUS 227361 HAS SOUPS 226580 WITH SCORE 227971.032
AT ITER 95 NEW BEST:: SOT 1567344 SOS 1391038 HAS SOPS 1389688 HAS SOUS 227364 HAS SOUPS 226523 WITH SCORE 227914.038
AT ITER 99 NEW BEST:: SOT 1566978 SOS 1390766 HAS SOPS 1389416 HAS SOUS 227031 HAS SOUPS 226190 WITH SCORE 227580.766
AT ITER 103 NEW BEST:: SOT 1559773 SOS 1383723 HAS SOPS 1382373 HAS SOUS 226386 HAS SOUPS 225545 WITH SCORE 226928.723
AT ITER 105 NEW BEST:: SOT 1635475 SOS 1459457 HAS SOPS 1458107 HAS SOUS 224910 HAS SOUPS 224069 WITH SCORE 225528.457
AT ITER 117 NEW BEST:: SOT 1635475 SOS 1459441 HAS SOPS 1458091 HAS SOUS 224733 HAS SOUPS 223892 WITH SCORE 225351.441
AT ITER 135 NEW BEST:: SOT 1635469 SOS 1459435 HAS SOPS 1458085 HAS SOUS 224719 HAS SOUPS 223878 WITH SCORE 225337.435
AT ITER 138 NEW BEST:: SOT 1635365 SOS 1459437 HAS SOPS 1458102 HAS SOUS 224651 HAS SOUPS 223810 WITH SCORE 225269.437
AT ITER 144 NEW BEST:: SOT 1635176 SOS 1459364 HAS SOPS 1458029 HAS SOUS 224578 HAS SOUPS 223737 WITH SCORE 225196.364
AT ITER 145 NEW BEST:: SOT 1635176 SOS 1459344 HAS SOPS 1458009 HAS SOUS 224558 HAS SOUPS 223717 WITH SCORE 225176.344
AT ITER 147 NEW BEST:: SOT 1634958 SOS 1459147 HAS SOPS 1457812 HAS SOUS 224085 HAS SOUPS 223244 WITH SCORE 224703.147
AT ITER 148 NEW BEST:: SOT 1635035 SOS 1459307 HAS SOPS 1457972 HAS SOUS 219786 HAS SOUPS 218945 WITH SCORE 220404.307
AT ITER 157 NEW BEST:: SOT 1635022 SOS 1459294 HAS SOPS 1457959 HAS SOUS 219754 HAS SOUPS 218913 WITH SCORE 220372.294
AT ITER 158 NEW BEST:: SOT 1634906 SOS 1459226 HAS SOPS 1457891 HAS SOUS 219647 HAS SOUPS 218806 WITH SCORE 220265.226
AT ITER 163 NEW BEST:: SOT 1634858 SOS 1459178 HAS SOPS 1457855 HAS SOUS 219582 HAS SOUPS 218741 WITH SCORE 220200.178
AT ITER 166 NEW BEST:: SOT 1634760 SOS 1459134 HAS SOPS 1457811 HAS SOUS 219301 HAS SOUPS 218460 WITH SCORE 219919.134
AT ITER 172 NEW BEST:: SOT 1634687 SOS 1459096 HAS SOPS 1457773 HAS SOUS 219263 HAS SOUPS 218422 WITH SCORE 219881.096
AT ITER 173 NEW BEST:: SOT 1634619 SOS 1459016 HAS SOPS 1457735 HAS SOUS 219198 HAS SOUPS 218377 WITH SCORE 219836.016
AT ITER 180 NEW BEST:: SOT 1634619 SOS 1459016 HAS SOPS 1457735 HAS SOUS 219194 HAS SOUPS 218373 WITH SCORE 219832.016
AT ITER 183 NEW BEST:: SOT 1634373 SOS 1458611 HAS SOPS 1457330 HAS SOUS 213910 HAS SOUPS 213089 WITH SCORE 214547.611
AT ITER 188 NEW BEST:: SOT 1634128 SOS 1458430 HAS SOPS 1457149 HAS SOUS 213729 HAS SOUPS 212908 WITH SCORE 214366.43
AT ITER 195 NEW BEST:: SOT 1634460 SOS 1458633 HAS SOPS 1457352 HAS SOUS 207688 HAS SOUPS 206867 WITH SCORE 208325.633
AT ITER 201 NEW BEST:: SOT 1634460 SOS 1458629 HAS SOPS 1457348 HAS SOUS 207684 HAS SOUPS 206863 WITH SCORE 208321.629
AT ITER 204 NEW BEST:: SOT 1634192 SOS 1458361 HAS SOPS 1457080 HAS SOUS 207416 HAS SOUPS 206595 WITH SCORE 208053.361
AT ITER 207 NEW BEST:: SOT 1628506 SOS 1452802 HAS SOPS 1451521 HAS SOUS 207052 HAS SOUPS 206231 WITH SCORE 207683.802
AT ITER 215 NEW BEST:: SOT 1651795 SOS 1476201 HAS SOPS 1474920 HAS SOUS 203088 HAS SOUPS 202267 WITH SCORE 203743.201
AT ITER 218 NEW BEST:: SOT 1649507 SOS 1474032 HAS SOPS 1472751 HAS SOUS 200870 HAS SOUPS 200049 WITH SCORE 201523.032
AT ITER 220 NEW BEST:: SOT 1649283 SOS 1473808 HAS SOPS 1472527 HAS SOUS 200419 HAS SOUPS 199598 WITH SCORE 201071.808
AT ITER 222 NEW BEST:: SOT 1649283 SOS 1474012 HAS SOPS 1472731 HAS SOUS 200243 HAS SOUPS 199422 WITH SCORE 200896.012
AT ITER 225 NEW BEST:: SOT 1649211 SOS 1473917 HAS SOPS 1472660 HAS SOUS 200124 HAS SOUPS 199327 WITH SCORE 200800.917
AT ITER 229 NEW BEST:: SOT 1648935 SOS 1473637 HAS SOPS 1472380 HAS SOUS 199844 HAS SOUPS 199047 WITH SCORE 200520.637
AT ITER 231 NEW BEST:: SOT 1649009 SOS 1473711 HAS SOPS 1472454 HAS SOUS 197762 HAS SOUPS 196965 WITH SCORE 198438.711
AT ITER 235 NEW BEST:: SOT 1649015 SOS 1473625 HAS SOPS 1472368 HAS SOUS 194668 HAS SOUPS 193871 WITH SCORE 195344.625
AT ITER 244 NEW BEST:: SOT 1648974 SOS 1473543 HAS SOPS 1472286 HAS SOUS 194466 HAS SOUPS 193669 WITH SCORE 195142.543
AT ITER 256 NEW BEST:: SOT 1625528 SOS 1450097 HAS SOPS 1448840 HAS SOUS 191711 HAS SOUPS 190914 WITH SCORE 192364.097
AT ITER 276 NEW BEST:: SOT 1625486 SOS 1450073 HAS SOPS 1448816 HAS SOUS 191644 HAS SOUPS 190847 WITH SCORE 192297.073
AT ITER 282 NEW BEST:: SOT 1625409 SOS 1449893 HAS SOPS 1448636 HAS SOUS 187799 HAS SOUPS 187002 WITH SCORE 188451.893
AT ITER 284 NEW BEST:: SOT 1625385 SOS 1449899 HAS SOPS 1448642 HAS SOUS 187772 HAS SOUPS 186975 WITH SCORE 188424.899
AT ITER 294 NEW BEST:: SOT 1625375 SOS 1449889 HAS SOPS 1448632 HAS SOUS 187762 HAS SOUPS 186965 WITH SCORE 188414.889
AT ITER 301 NEW BEST:: SOT 1625295 SOS 1449829 HAS SOPS 1448572 HAS SOUS 187663 HAS SOUPS 186866 WITH SCORE 188315.829
AT ITER 302 NEW BEST:: SOT 1628973 SOS 1455890 HAS SOPS 1454258 HAS SOUS 181249 HAS SOUPS 180343 WITH SCORE 181798.89
AT ITER 306 NEW BEST:: SOT 1645701 SOS 1472644 HAS SOPS 1471085 HAS SOUS 180768 HAS SOUPS 179862 WITH SCORE 181334.644
AT ITER 315 NEW BEST:: SOT 1645449 SOS 1472141 HAS SOPS 1470582 HAS SOUS 180147 HAS SOUPS 179241 WITH SCORE 180713.141
AT ITER 317 NEW BEST:: SOT 1645449 SOS 1460476 HAS SOPS 1458917 HAS SOUS 180006 HAS SOUPS 179100 WITH SCORE 180560.476
AT ITER 320 NEW BEST:: SOT 1700943 SOS 1515504 HAS SOPS 1513945 HAS SOUS 172090 HAS SOUPS 171184 WITH SCORE 172699.504
AT ITER 321 NEW BEST:: SOT 1700685 SOS 1515341 HAS SOPS 1513782 HAS SOUS 171726 HAS SOUPS 170820 WITH SCORE 172335.341
AT ITER 332 NEW BEST:: SOT 1766443 SOS 1583225 HAS SOPS 1581666 HAS SOUS 171297 HAS SOUPS 170391 WITH SCORE 171974.225
AT ITER 344 NEW BEST:: SOT 1766519 SOS 1583322 HAS SOPS 1581763 HAS SOUS 167771 HAS SOUPS 166865 WITH SCORE 168448.322
AT ITER 352 NEW BEST:: SOT 1766504 SOS 1583322 HAS SOPS 1581763 HAS SOUS 167756 HAS SOUPS 166850 WITH SCORE 168433.322
AT ITER 368 NEW BEST:: SOT 1766436 SOS 1583230 HAS SOPS 1581671 HAS SOUS 167654 HAS SOUPS 166748 WITH SCORE 168331.23
AT ITER 383 NEW BEST:: SOT 1766441 SOS 1583449 HAS SOPS 1581890 HAS SOUS 167623 HAS SOUPS 166717 WITH SCORE 168300.449
AT ITER 388 NEW BEST:: SOT 1766392 SOS 1583319 HAS SOPS 1581760 HAS SOUS 167370 HAS SOUPS 166464 WITH SCORE 168047.319
AT ITER 390 NEW BEST:: SOT 1766412 SOS 1583454 HAS SOPS 1581895 HAS SOUS 167345 HAS SOUPS 166439 WITH SCORE 168022.454
AT ITER 392 NEW BEST:: SOT 1766401 SOS 1583443 HAS SOPS 1581884 HAS SOUS 167334 HAS SOUPS 166428 WITH SCORE 168011.443
AT ITER 398 NEW BEST:: SOT 1766408 SOS 1583457 HAS SOPS 1581898 HAS SOUS 167319 HAS SOUPS 166413 WITH SCORE 167996.457
AT ITER 401 NEW BEST:: SOT 1769407 SOS 1588117 HAS SOPS 1586558 HAS SOUS 161915 HAS SOUPS 161009 WITH SCORE 162597.117
AT ITER 407 NEW BEST:: SOT 1769335 SOS 1588742 HAS SOPS 1587110 HAS SOUS 161880 HAS SOUPS 160974 WITH SCORE 162562.742
AT ITER 416 NEW BEST:: SOT 1769314 SOS 1588692 HAS SOPS 1587060 HAS SOUS 161361 HAS SOUPS 160455 WITH SCORE 162043.692
AT ITER 420 NEW BEST:: SOT 1769313 SOS 1588690 HAS SOPS 1587058 HAS SOUS 161359 HAS SOUPS 160453 WITH SCORE 162041.69
AT ITER 438 NEW BEST:: SOT 1769300 SOS 1586643 HAS SOPS 1585011 HAS SOUS 160217 HAS SOUPS 159311 WITH SCORE 160897.643
AT ITER 443 NEW BEST:: SOT 1769313 SOS 1586701 HAS SOPS 1585069 HAS SOUS 160058 HAS SOUPS 159152 WITH SCORE 160738.701
AT ITER 446 NEW BEST:: SOT 1769257 SOS 1586645 HAS SOPS 1585013 HAS SOUS 159986 HAS SOUPS 159080 WITH SCORE 160666.645
AT ITER 448 NEW BEST:: SOT 1769188 SOS 1586599 HAS SOPS 1584967 HAS SOUS 159917 HAS SOUPS 159011 WITH SCORE 160597.599
AT ITER 451 NEW BEST:: SOT 1769188 SOS 1586626 HAS SOPS 1584994 HAS SOUS 159901 HAS SOUPS 158995 WITH SCORE 160581.626
AT ITER 452 NEW BEST:: SOT 1769024 SOS 1586589 HAS SOPS 1584957 HAS SOUS 159868 HAS SOUPS 158962 WITH SCORE 160548.589
AT ITER 453 NEW BEST:: SOT 1768963 SOS 1586686 HAS SOPS 1585054 HAS SOUS 159796 HAS SOUPS 158890 WITH SCORE 160476.686
AT ITER 459 NEW BEST:: SOT 1768917 SOS 1586617 HAS SOPS 1584985 HAS SOUS 159667 HAS SOUPS 158761 WITH SCORE 160347.617
AT ITER 468 NEW BEST:: SOT 1768871 SOS 1584054 HAS SOPS 1582422 HAS SOUS 157457 HAS SOUPS 156551 WITH SCORE 158135.054
AT ITER 472 NEW BEST:: SOT 1768898 SOS 1584081 HAS SOPS 1582449 HAS SOUS 156984 HAS SOUPS 156078 WITH SCORE 157662.081
AT ITER 479 NEW BEST:: SOT 1723232 SOS 1538356 HAS SOPS 1536724 HAS SOUS 151969 HAS SOUPS 151063 WITH SCORE 152601.356
AT ITER 485 NEW BEST:: SOT 1723232 SOS 1538349 HAS SOPS 1536717 HAS SOUS 151968 HAS SOUPS 151062 WITH SCORE 152600.349
AT ITER 486 NEW BEST:: SOT 1723232 SOS 1537836 HAS SOPS 1536204 HAS SOUS 151968 HAS SOUPS 151062 WITH SCORE 152599.836
AT ITER 493 NEW BEST:: SOT 1723344 SOS 1538578 HAS SOPS 1536460 HAS SOUS 151657 HAS SOUPS 150751 WITH SCORE 152289.578
AT ITER 500 NEW BEST:: SOT 1723344 SOS 1538626 HAS SOPS 1536508 HAS SOUS 151634 HAS SOUPS 150728 WITH SCORE 152266.626
AT ITER 502 NEW BEST:: SOT 1723597 SOS 1538880 HAS SOPS 1536862 HAS SOUS 151538 HAS SOUPS 150632 WITH SCORE 152170.88
AT ITER 504 NEW BEST:: SOT 1723597 SOS 1539041 HAS SOPS 1537023 HAS SOUS 151455 HAS SOUPS 150549 WITH SCORE 152088.041
AT ITER 515 NEW BEST:: SOT 1723414 SOS 1538764 HAS SOPS 1536746 HAS SOUS 151285 HAS SOUPS 150379 WITH SCORE 151917.764
AT ITER 520 NEW BEST:: SOT 1723282 SOS 1538707 HAS SOPS 1536689 HAS SOUS 151246 HAS SOUPS 150340 WITH SCORE 151878.707
AT ITER 530 NEW BEST:: SOT 1723439 SOS 1537043 HAS SOPS 1535025 HAS SOUS 149554 HAS SOUPS 148648 WITH SCORE 150185.043
AT ITER 535 NEW BEST:: SOT 1723391 SOS 1537040 HAS SOPS 1535022 HAS SOUS 149551 HAS SOUPS 148645 WITH SCORE 150182.04
AT ITER 540 NEW BEST:: SOT 1723357 SOS 1537006 HAS SOPS 1534988 HAS SOUS 149407 HAS SOUPS 148501 WITH SCORE 150038.006
AT ITER 550 NEW BEST:: SOT 1722874 SOS 1536467 HAS SOPS 1534449 HAS SOUS 149256 HAS SOUPS 148350 WITH SCORE 149886.467
AT ITER 558 NEW BEST:: SOT 1722759 SOS 1536119 HAS SOPS 1534101 HAS SOUS 149022 HAS SOUPS 148116 WITH SCORE 149652.119
AT ITER 568 NEW BEST:: SOT 1722759 SOS 1535594 HAS SOPS 1533551 HAS SOUS 148989 HAS SOUPS 148087 WITH SCORE 149622.594
AT ITER 570 NEW BEST:: SOT 1726873 SOS 1539911 HAS SOPS 1537868 HAS SOUS 144601 HAS SOUPS 143699 WITH SCORE 145238.911
AT ITER 574 NEW BEST:: SOT 1726148 SOS 1542262 HAS SOPS 1537812 HAS SOUS 144160 HAS SOUPS 143169 WITH SCORE 144711.262
AT ITER 582 NEW BEST:: SOT 1726008 SOS 1542122 HAS SOPS 1537672 HAS SOUS 144011 HAS SOUPS 143020 WITH SCORE 144562.122
AT ITER 585 NEW BEST:: SOT 1726026 SOS 1542140 HAS SOPS 1537690 HAS SOUS 143999 HAS SOUPS 143008 WITH SCORE 144550.14
AT ITER 593 NEW BEST:: SOT 1726026 SOS 1541199 HAS SOPS 1536749 HAS SOUS 143874 HAS SOUPS 142883 WITH SCORE 144424.199
AT ITER 595 NEW BEST:: SOT 1726058 SOS 1541251 HAS SOPS 1536821 HAS SOUS 143698 HAS SOUPS 142707 WITH SCORE 144248.251
AT ITER 601 NEW BEST:: SOT 1726035 SOS 1540486 HAS SOPS 1536056 HAS SOUS 143640 HAS SOUPS 142649 WITH SCORE 144189.486
AT ITER 603 NEW BEST:: SOT 1727857 SOS 1542463 HAS SOPS 1538033 HAS SOUS 140442 HAS SOUPS 139451 WITH SCORE 140993.463
AT ITER 622 NEW BEST:: SOT 1727857 SOS 1542463 HAS SOPS 1538033 HAS SOUS 140419 HAS SOUPS 139428 WITH SCORE 140970.463
AT ITER 630 NEW BEST:: SOT 1727804 SOS 1542354 HAS SOPS 1537924 HAS SOUS 140310 HAS SOUPS 139319 WITH SCORE 140861.354
AT ITER 636 NEW BEST:: SOT 1727690 SOS 1542302 HAS SOPS 1537894 HAS SOUS 140301 HAS SOUPS 139311 WITH SCORE 140853.302
AT ITER 642 NEW BEST:: SOT 1727518 SOS 1542279 HAS SOPS 1537910 HAS SOUS 140212 HAS SOUPS 139240 WITH SCORE 140782.279
AT ITER 656 NEW BEST:: SOT 1727509 SOS 1542270 HAS SOPS 1537901 HAS SOUS 140168 HAS SOUPS 139196 WITH SCORE 140738.27
AT ITER 659 NEW BEST:: SOT 1727489 SOS 1542250 HAS SOPS 1537881 HAS SOUS 140148 HAS SOUPS 139176 WITH SCORE 140718.25
AT ITER 666 NEW BEST:: SOT 1727480 SOS 1542232 HAS SOPS 1537863 HAS SOUS 140028 HAS SOUPS 139056 WITH SCORE 140598.232
AT ITER 670 NEW BEST:: SOT 1726668 SOS 1548800 HAS SOPS 1538235 HAS SOUS 139751 HAS SOUPS 138611 WITH SCORE 140159.8
AT ITER 673 NEW BEST:: SOT 1726644 SOS 1548701 HAS SOPS 1538185 HAS SOUS 139745 HAS SOUPS 138605 WITH SCORE 140153.701
AT ITER 674 NEW BEST:: SOT 1726643 SOS 1548700 HAS SOPS 1538184 HAS SOUS 139743 HAS SOUPS 138603 WITH SCORE 140151.7
AT ITER 678 NEW BEST:: SOT 1726458 SOS 1548515 HAS SOPS 1537999 HAS SOUS 139577 HAS SOUPS 138437 WITH SCORE 139985.515
AT ITER 686 NEW BEST:: SOT 1726460 SOS 1548517 HAS SOPS 1538001 HAS SOUS 139543 HAS SOUPS 138403 WITH SCORE 139951.517
AT ITER 688 NEW BEST:: SOT 1726110 SOS 1548148 HAS SOPS 1537632 HAS SOUS 139337 HAS SOUPS 138197 WITH SCORE 139745.148
AT ITER 702 NEW BEST:: SOT 1726047 SOS 1548150 HAS SOPS 1537634 HAS SOUS 139183 HAS SOUPS 138043 WITH SCORE 139591.15
AT ITER 710 NEW BEST:: SOT 1726013 SOS 1548037 HAS SOPS 1537521 HAS SOUS 139177 HAS SOUPS 138037 WITH SCORE 139585.037
AT ITER 712 NEW BEST:: SOT 1726009 SOS 1548033 HAS SOPS 1537517 HAS SOUS 139173 HAS SOUPS 138033 WITH SCORE 139581.033
AT ITER 717 NEW BEST:: SOT 1726017 SOS 1548041 HAS SOPS 1537525 HAS SOUS 139163 HAS SOUPS 138023 WITH SCORE 139571.041
AT ITER 719 NEW BEST:: SOT 1726013 SOS 1548037 HAS SOPS 1537523 HAS SOUS 139161 HAS SOUPS 138021 WITH SCORE 139569.037
AT ITER 724 NEW BEST:: SOT 1726042 SOS 1546641 HAS SOPS 1536127 HAS SOUS 136135 HAS SOUPS 134995 WITH SCORE 136541.641
AT ITER 727 NEW BEST:: SOT 1726042 SOS 1546641 HAS SOPS 1536127 HAS SOUS 136063 HAS SOUPS 134923 WITH SCORE 136469.641
AT ITER 734 NEW BEST:: SOT 1726067 SOS 1546666 HAS SOPS 1536149 HAS SOUS 136057 HAS SOUPS 134917 WITH SCORE 136463.666
AT ITER 738 NEW BEST:: SOT 1729532 SOS 1550131 HAS SOPS 1539614 HAS SOUS 132538 HAS SOUPS 131398 WITH SCORE 132948.131
AT ITER 741 NEW BEST:: SOT 1729532 SOS 1550127 HAS SOPS 1539610 HAS SOUS 132534 HAS SOUPS 131394 WITH SCORE 132944.127
AT ITER 742 NEW BEST:: SOT 1729495 SOS 1550018 HAS SOPS 1539501 HAS SOUS 132224 HAS SOUPS 131084 WITH SCORE 132634.018
AT ITER 745 NEW BEST:: SOT 1755987 SOS 1576630 HAS SOPS 1566113 HAS SOUS 130321 HAS SOUPS 129181 WITH SCORE 130757.63
AT ITER 748 NEW BEST:: SOT 1755987 SOS 1576713 HAS SOPS 1566196 HAS SOUS 130299 HAS SOUPS 129159 WITH SCORE 130735.713
AT ITER 760 NEW BEST:: SOT 1756855 SOS 1577581 HAS SOPS 1567064 HAS SOUS 130280 HAS SOUPS 129140 WITH SCORE 130717.581
AT ITER 765 NEW BEST:: SOT 1756855 SOS 1577581 HAS SOPS 1567064 HAS SOUS 130266 HAS SOUPS 129126 WITH SCORE 130703.581
AT ITER 769 NEW BEST:: SOT 1756695 SOS 1577421 HAS SOPS 1566904 HAS SOUS 129925 HAS SOUPS 128785 WITH SCORE 130362.421
AT ITER 796 NEW BEST:: SOT 1756566 SOS 1568948 HAS SOPS 1558431 HAS SOUS 129747 HAS SOUPS 128607 WITH SCORE 130175.948
AT ITER 806 NEW BEST:: SOT 1757406 SOS 1569124 HAS SOPS 1558607 HAS SOUS 124450 HAS SOUPS 123310 WITH SCORE 124879.124
AT ITER 821 NEW BEST:: SOT 1757544 SOS 1569894 HAS SOPS 1559041 HAS SOUS 124352 HAS SOUPS 123212 WITH SCORE 124781.894
AT ITER 822 NEW BEST:: SOT 1757544 SOS 1177155 HAS SOPS 1166302 HAS SOUS 121650 HAS SOUPS 120510 WITH SCORE 121687.155
AT ITER 834 NEW BEST:: SOT 1768516 SOS 1139947 HAS SOPS 1129094 HAS SOUS 120560 HAS SOUPS 119420 WITH SCORE 120559.947
AT ITER 857 NEW BEST:: SOT 1768496 SOS 1139927 HAS SOPS 1129074 HAS SOUS 120455 HAS SOUPS 119315 WITH SCORE 120454.927
AT ITER 862 NEW BEST:: SOT 1768467 SOS 1139898 HAS SOPS 1129078 HAS SOUS 120370 HAS SOUPS 119230 WITH SCORE 120369.898
AT ITER 863 NEW BEST:: SOT 1768154 SOS 1139585 HAS SOPS 1128765 HAS SOUS 120057 HAS SOUPS 118917 WITH SCORE 120056.585
AT ITER 867 NEW BEST:: SOT 1768131 SOS 1139701 HAS SOPS 1128881 HAS SOUS 119989 HAS SOUPS 118849 WITH SCORE 119988.701
AT ITER 871 NEW BEST:: SOT 1768144 SOS 1139899 HAS SOPS 1128894 HAS SOUS 120073 HAS SOUPS 118805 WITH SCORE 119944.899
AT ITER 890 NEW BEST:: SOT 1768128 SOS 1139899 HAS SOPS 1128894 HAS SOUS 120065 HAS SOUPS 118797 WITH SCORE 119936.899
AT ITER 897 NEW BEST:: SOT 1768127 SOS 1139898 HAS SOPS 1128892 HAS SOUS 120062 HAS SOUPS 118794 WITH SCORE 119933.898
AT ITER 900 NEW BEST:: SOT 1768087 SOS 1139774 HAS SOPS 1128768 HAS SOUS 119988 HAS SOUPS 118720 WITH SCORE 119859.774
AT ITER 908 NEW BEST:: SOT 1768045 SOS 1139732 HAS SOPS 1128726 HAS SOUS 119865 HAS SOUPS 118597 WITH SCORE 119736.732
AT ITER 910 NEW BEST:: SOT 1768031 SOS 1129621 HAS SOPS 1118615 HAS SOUS 119542 HAS SOUPS 118274 WITH SCORE 119403.621
AT ITER 917 NEW BEST:: SOT 1787707 SOS 1142421 HAS SOPS 1131415 HAS SOUS 119337 HAS SOUPS 118069 WITH SCORE 119211.421
AT ITER 920 NEW BEST:: SOT 1762049 SOS 1116779 HAS SOPS 1105773 HAS SOUS 118340 HAS SOUPS 117072 WITH SCORE 118188.779
AT ITER 934 NEW BEST:: SOT 1761354 SOS 1113134 HAS SOPS 1104606 HAS SOUS 117644 HAS SOUPS 116435 WITH SCORE 117548.134
AT ITER 936 NEW BEST:: SOT 1760886 SOS 1112666 HAS SOPS 1104025 HAS SOUS 117047 HAS SOUPS 115838 WITH SCORE 116950.666
AT ITER 939 NEW BEST:: SOT 1760813 SOS 1112593 HAS SOPS 1103927 HAS SOUS 116937 HAS SOUPS 115728 WITH SCORE 116840.593
AT ITER 947 NEW BEST:: SOT 1761154 SOS 1025640 HAS SOPS 1016974 HAS SOUS 115711 HAS SOUPS 114502 WITH SCORE 115527.64
AT ITER 949 NEW BEST:: SOT 1761137 SOS 1025623 HAS SOPS 1016957 HAS SOUS 115688 HAS SOUPS 114479 WITH SCORE 115504.623
AT ITER 957 NEW BEST:: SOT 1760965 SOS 1025615 HAS SOPS 1016949 HAS SOUS 115681 HAS SOUPS 114472 WITH SCORE 115497.615
AT ITER 958 NEW BEST:: SOT 1760809 SOS 1025347 HAS SOPS 1016767 HAS SOUS 115639 HAS SOUPS 114430 WITH SCORE 115455.347
AT ITER 959 NEW BEST:: SOT 1760717 SOS 1025179 HAS SOPS 1016599 HAS SOUS 115471 HAS SOUPS 114262 WITH SCORE 115287.179
AT ITER 984 NEW BEST:: SOT 1760792 SOS 1023657 HAS SOPS 1015077 HAS SOUS 114791 HAS SOUPS 113582 WITH SCORE 114605.657
AT ITER 999 NEW BEST:: SOT 1760773 SOS 1023567 HAS SOPS 1014987 HAS SOUS 114752 HAS SOUPS 113543 WITH SCORE 114566.567
AT ITER 1002 NEW BEST:: SOT 1760773 SOS 1023486 HAS SOPS 1014947 HAS SOUS 114731 HAS SOUPS 113522 WITH SCORE 114545.486
AT ITER 1019 NEW BEST:: SOT 1760713 SOS 1023386 HAS SOPS 1014847 HAS SOUS 114640 HAS SOUPS 113431 WITH SCORE 114454.386
AT ITER 1022 NEW BEST:: SOT 1760708 SOS 1023381 HAS SOPS 1014880 HAS SOUS 114635 HAS SOUPS 113431 WITH SCORE 114454.381
AT ITER 1040 NEW BEST:: SOT 1760668 SOS 1023341 HAS SOPS 1014840 HAS SOUS 114547 HAS SOUPS 113343 WITH SCORE 114366.341
AT ITER 1051 NEW BEST:: SOT 1760635 SOS 1023054 HAS SOPS 1014553 HAS SOUS 114506 HAS SOUPS 113302 WITH SCORE 114325.054
AT ITER 1056 NEW BEST:: SOT 1760572 SOS 1022991 HAS SOPS 1014490 HAS SOUS 114346 HAS SOUPS 113142 WITH SCORE 114164.991
AT ITER 1062 NEW BEST:: SOT 1760585 SOS 1023004 HAS SOPS 1014490 HAS SOUS 114315 HAS SOUPS 113104 WITH SCORE 114127.004
AT ITER 1071 NEW BEST:: SOT 1760585 SOS 1026576 HAS SOPS 1014372 HAS SOUS 114319 HAS SOUPS 113051 WITH SCORE 114077.576
AT ITER 1078 NEW BEST:: SOT 1760370 SOS 1026361 HAS SOPS 1014157 HAS SOUS 113972 HAS SOUPS 112704 WITH SCORE 113730.361
AT ITER 1085 NEW BEST:: SOT 1760362 SOS 1026358 HAS SOPS 1014159 HAS SOUS 113941 HAS SOUPS 112673 WITH SCORE 113699.358
AT ITER 1089 NEW BEST:: SOT 1760291 SOS 1026287 HAS SOPS 1014088 HAS SOUS 113927 HAS SOUPS 112659 WITH SCORE 113685.287
AT ITER 1099 NEW BEST:: SOT 1760276 SOS 1026287 HAS SOPS 1014088 HAS SOUS 113909 HAS SOUPS 112641 WITH SCORE 113667.287
AT ITER 1103 NEW BEST:: SOT 1760204 SOS 1026215 HAS SOPS 1014007 HAS SOUS 113782 HAS SOUPS 112514 WITH SCORE 113540.215
AT ITER 1109 NEW BEST:: SOT 1760204 SOS 1026215 HAS SOPS 1014007 HAS SOUS 113770 HAS SOUPS 112502 WITH SCORE 113528.215
AT ITER 1115 NEW BEST:: SOT 1750245 SOS 1018015 HAS SOPS 1005807 HAS SOUS 113153 HAS SOUPS 111885 WITH SCORE 112903.015
AT ITER 1121 NEW BEST:: SOT 1750241 SOS 1018011 HAS SOPS 1005803 HAS SOUS 113093 HAS SOUPS 111825 WITH SCORE 112843.011
AT ITER 1124 NEW BEST:: SOT 1750241 SOS 1018011 HAS SOPS 1005803 HAS SOUS 113072 HAS SOUPS 111804 WITH SCORE 112822.011
AT ITER 1126 NEW BEST:: SOT 1750376 SOS 1018146 HAS SOPS 1005938 HAS SOUS 112871 HAS SOUPS 111603 WITH SCORE 112621.146
AT ITER 1129 NEW BEST:: SOT 1750376 SOS 1018472 HAS SOPS 1006286 HAS SOUS 112842 HAS SOUPS 111574 WITH SCORE 112592.472
AT ITER 1137 NEW BEST:: SOT 1750379 SOS 1018446 HAS SOPS 1006260 HAS SOUS 112816 HAS SOUPS 111548 WITH SCORE 112566.446
AT ITER 1143 NEW BEST:: SOT 1749767 SOS 1017834 HAS SOPS 1005648 HAS SOUS 112770 HAS SOUPS 111502 WITH SCORE 112519.834
AT ITER 1144 NEW BEST:: SOT 1749618 SOS 1017615 HAS SOPS 1005429 HAS SOUS 112516 HAS SOUPS 111248 WITH SCORE 112265.615
AT ITER 1145 NEW BEST:: SOT 1749585 SOS 1017597 HAS SOPS 1005411 HAS SOUS 112454 HAS SOUPS 111186 WITH SCORE 112203.597
AT ITER 1149 NEW BEST:: SOT 1749577 SOS 1017582 HAS SOPS 1005449 HAS SOUS 112381 HAS SOUPS 111113 WITH SCORE 112130.582
AT ITER 1170 NEW BEST:: SOT 1749573 SOS 1017578 HAS SOPS 1005445 HAS SOUS 112381 HAS SOUPS 111113 WITH SCORE 112130.578
AT ITER 1173 NEW BEST:: SOT 1749534 SOS 1017539 HAS SOPS 1005406 HAS SOUS 112304 HAS SOUPS 111036 WITH SCORE 112053.539
AT ITER 1185 NEW BEST:: SOT 1749533 SOS 1017538 HAS SOPS 1005405 HAS SOUS 112303 HAS SOUPS 111035 WITH SCORE 112052.538
AT ITER 1195 NEW BEST:: SOT 1749497 SOS 1017502 HAS SOPS 1005343 HAS SOUS 112231 HAS SOUPS 110963 WITH SCORE 111980.502
AT ITER 1209 NEW BEST:: SOT 1749497 SOS 1017498 HAS SOPS 1005339 HAS SOUS 112227 HAS SOUPS 110959 WITH SCORE 111976.498
AT ITER 1221 NEW BEST:: SOT 1749482 SOS 1017666 HAS SOPS 1005507 HAS SOUS 112104 HAS SOUPS 110836 WITH SCORE 111853.666
AT ITER 1243 NEW BEST:: SOT 1749482 SOS 1017666 HAS SOPS 1005507 HAS SOUS 112103 HAS SOUPS 110835 WITH SCORE 111852.666
AT ITER 1244 NEW BEST:: SOT 1749448 SOS 1017584 HAS SOPS 1005425 HAS SOUS 111955 HAS SOUPS 110687 WITH SCORE 111704.584
AT ITER 1250 NEW BEST:: SOT 1749057 SOS 1017184 HAS SOPS 1005025 HAS SOUS 111707 HAS SOUPS 110439 WITH SCORE 111456.184
AT ITER 1251 NEW BEST:: SOT 1749088 SOS 1003472 HAS SOPS 991313 HAS SOUS 109890 HAS SOUPS 108622 WITH SCORE 109625.472
AT ITER 1268 NEW BEST:: SOT 1749371 SOS 1003789 HAS SOPS 991630 HAS SOUS 109849 HAS SOUPS 108581 WITH SCORE 109584.789
AT ITER 1274 NEW BEST:: SOT 1749218 SOS 1003636 HAS SOPS 991477 HAS SOUS 109742 HAS SOUPS 108474 WITH SCORE 109477.636
AT ITER 1295 NEW BEST:: SOT 1748765 SOS 1002954 HAS SOPS 990795 HAS SOUS 109355 HAS SOUPS 108087 WITH SCORE 109089.954
AT ITER 1300 NEW BEST:: SOT 1748686 SOS 1002742 HAS SOPS 990524 HAS SOUS 109217 HAS SOUPS 107949 WITH SCORE 108951.742
AT ITER 1304 NEW BEST:: SOT 1748541 SOS 1002573 HAS SOPS 990355 HAS SOUS 109035 HAS SOUPS 107767 WITH SCORE 108769.573
AT ITER 1318 NEW BEST:: SOT 1748541 SOS 1002908 HAS SOPS 990690 HAS SOUS 109033 HAS SOUPS 107765 WITH SCORE 108767.908
AT ITER 1333 NEW BEST:: SOT 1748566 SOS 1002822 HAS SOPS 990604 HAS SOUS 108987 HAS SOUPS 107719 WITH SCORE 108721.822
AT ITER 1346 NEW BEST:: SOT 1748348 SOS 1002561 HAS SOPS 990343 HAS SOUS 108836 HAS SOUPS 107568 WITH SCORE 108570.561
AT ITER 1351 NEW BEST:: SOT 1748314 SOS 1002453 HAS SOPS 990235 HAS SOUS 108728 HAS SOUPS 107460 WITH SCORE 108462.453
AT ITER 1352 NEW BEST:: SOT 1748323 SOS 1002441 HAS SOPS 990223 HAS SOUS 108627 HAS SOUPS 107359 WITH SCORE 108361.441
AT ITER 1355 NEW BEST:: SOT 1748317 SOS 1001927 HAS SOPS 989709 HAS SOUS 108491 HAS SOUPS 107223 WITH SCORE 108224.927
AT ITER 1358 NEW BEST:: SOT 1748190 SOS 1001918 HAS SOPS 989700 HAS SOUS 108468 HAS SOUPS 107200 WITH SCORE 108201.918
AT ITER 1372 NEW BEST:: SOT 1748178 SOS 1001903 HAS SOPS 989685 HAS SOUS 108441 HAS SOUPS 107173 WITH SCORE 108174.903
AT ITER 1378 NEW BEST:: SOT 1726858 SOS 980570 HAS SOPS 968352 HAS SOUS 107235 HAS SOUPS 105967 WITH SCORE 106947.57
AT ITER 1406 NEW BEST:: SOT 1726837 SOS 980542 HAS SOPS 968324 HAS SOUS 107186 HAS SOUPS 105918 WITH SCORE 106898.542
AT ITER 1413 NEW BEST:: SOT 1700501 SOS 954206 HAS SOPS 941988 HAS SOUS 105941 HAS SOUPS 104673 WITH SCORE 105627.206
AT ITER 1452 NEW BEST:: SOT 1700482 SOS 954187 HAS SOPS 941969 HAS SOUS 105901 HAS SOUPS 104633 WITH SCORE 105587.187
AT ITER 1455 NEW BEST:: SOT 1700473 SOS 954178 HAS SOPS 941960 HAS SOUS 105892 HAS SOUPS 104624 WITH SCORE 105578.178
AT ITER 1465 NEW BEST:: SOT 1700479 SOS 950314 HAS SOPS 938096 HAS SOUS 105884 HAS SOUPS 104616 WITH SCORE 105566.314
AT ITER 1485 NEW BEST:: SOT 1700545 SOS 950380 HAS SOPS 938162 HAS SOUS 105875 HAS SOUPS 104607 WITH SCORE 105557.38
AT ITER 1511 NEW BEST:: SOT 1700545 SOS 950380 HAS SOPS 938162 HAS SOUS 105874 HAS SOUPS 104606 WITH SCORE 105556.38
AT ITER 1513 NEW BEST:: SOT 1700534 SOS 950358 HAS SOPS 938140 HAS SOUS 105841 HAS SOUPS 104573 WITH SCORE 105523.358
AT ITER 1519 NEW BEST:: SOT 1700534 SOS 950232 HAS SOPS 938014 HAS SOUS 105841 HAS SOUPS 104573 WITH SCORE 105523.232
AT ITER 1537 NEW BEST:: SOT 1700540 SOS 950238 HAS SOPS 938020 HAS SOUS 105837 HAS SOUPS 104569 WITH SCORE 105519.238
AT ITER 1544 NEW BEST:: SOT 1700449 SOS 950129 HAS SOPS 937812 HAS SOUS 105668 HAS SOUPS 104400 WITH SCORE 105350.129
AT ITER 1552 NEW BEST:: SOT 1700691 SOS 950488 HAS SOPS 938171 HAS SOUS 105607 HAS SOUPS 104339 WITH SCORE 105289.488
AT ITER 1579 NEW BEST:: SOT 1700691 SOS 923403 HAS SOPS 911086 HAS SOUS 105395 HAS SOUPS 104127 WITH SCORE 105050.403
AT ITER 1585 NEW BEST:: SOT 1700580 SOS 923241 HAS SOPS 910924 HAS SOUS 105213 HAS SOUPS 103945 WITH SCORE 104868.241
AT ITER 1601 NEW BEST:: SOT 1676245 SOS 898836 HAS SOPS 886519 HAS SOUS 103549 HAS SOUPS 102281 WITH SCORE 103179.836
AT ITER 1616 NEW BEST:: SOT 1676200 SOS 898830 HAS SOPS 886513 HAS SOUS 103459 HAS SOUPS 102191 WITH SCORE 103089.83
AT ITER 1643 NEW BEST:: SOT 1676188 SOS 898862 HAS SOPS 886545 HAS SOUS 103446 HAS SOUPS 102178 WITH SCORE 103076.862
AT ITER 1649 NEW BEST:: SOT 1676079 SOS 898753 HAS SOPS 886436 HAS SOUS 103337 HAS SOUPS 102069 WITH SCORE 102967.753
AT ITER 1654 NEW BEST:: SOT 1676049 SOS 898723 HAS SOPS 886406 HAS SOUS 103307 HAS SOUPS 102039 WITH SCORE 102937.723
AT ITER 1662 NEW BEST:: SOT 1676042 SOS 898684 HAS SOPS 886463 HAS SOUS 103220 HAS SOUPS 101952 WITH SCORE 102850.684
AT ITER 1669 NEW BEST:: SOT 1676091 SOS 898733 HAS SOPS 886454 HAS SOUS 103176 HAS SOUPS 101907 WITH SCORE 102805.733
AT ITER 1673 NEW BEST:: SOT 1676091 SOS 898512 HAS SOPS 886046 HAS SOUS 103176 HAS SOUPS 101907 WITH SCORE 102805.512
AT ITER 1687 NEW BEST:: SOT 1675993 SOS 898414 HAS SOPS 885948 HAS SOUS 103093 HAS SOUPS 101824 WITH SCORE 102722.414
AT ITER 1688 NEW BEST:: SOT 1675971 SOS 898392 HAS SOPS 885926 HAS SOUS 103027 HAS SOUPS 101758 WITH SCORE 102656.392
AT ITER 1693 NEW BEST:: SOT 1675872 SOS 898248 HAS SOPS 885782 HAS SOUS 102806 HAS SOUPS 101537 WITH SCORE 102435.248
AT ITER 1694 NEW BEST:: SOT 1675115 SOS 897491 HAS SOPS 885025 HAS SOUS 102746 HAS SOUPS 101477 WITH SCORE 102374.491
AT ITER 1704 NEW BEST:: SOT 1675096 SOS 897472 HAS SOPS 885025 HAS SOUS 102634 HAS SOUPS 101365 WITH SCORE 102262.472
AT ITER 1713 NEW BEST:: SOT 1675073 SOS 897268 HAS SOPS 884183 HAS SOUS 102611 HAS SOUPS 101342 WITH SCORE 102239.268
AT ITER 1714 NEW BEST:: SOT 1675063 SOS 897268 HAS SOPS 884173 HAS SOUS 102591 HAS SOUPS 101322 WITH SCORE 102219.268
AT ITER 1722 NEW BEST:: SOT 1674997 SOS 895171 HAS SOPS 884112 HAS SOUS 102525 HAS SOUPS 101291 WITH SCORE 102186.171
AT ITER 1727 NEW BEST:: SOT 1675312 SOS 967463 HAS SOPS 956404 HAS SOUS 102442 HAS SOUPS 101208 WITH SCORE 102175.463
AT ITER 1728 NEW BEST:: SOT 1675155 SOS 896670 HAS SOPS 885611 HAS SOUS 102277 HAS SOUPS 101043 WITH SCORE 101939.67
AT ITER 1729 NEW BEST:: SOT 1675155 SOS 896674 HAS SOPS 885615 HAS SOUS 102267 HAS SOUPS 101033 WITH SCORE 101929.674
AT ITER 1730 NEW BEST:: SOT 1675067 SOS 896684 HAS SOPS 885625 HAS SOUS 102234 HAS SOUPS 101000 WITH SCORE 101896.684
AT ITER 1736 NEW BEST:: SOT 1675103 SOS 896720 HAS SOPS 885636 HAS SOUS 102244 HAS SOUPS 100998 WITH SCORE 101894.72
AT ITER 1751 NEW BEST:: SOT 1675102 SOS 896719 HAS SOPS 885635 HAS SOUS 102242 HAS SOUPS 100996 WITH SCORE 101892.719
AT ITER 1779 NEW BEST:: SOT 1675077 SOS 896694 HAS SOPS 885610 HAS SOUS 102069 HAS SOUPS 100823 WITH SCORE 101719.694
AT ITER 1787 NEW BEST:: SOT 1674938 SOS 896562 HAS SOPS 885478 HAS SOUS 102059 HAS SOUPS 100813 WITH SCORE 101709.562
AT ITER 1789 NEW BEST:: SOT 1674904 SOS 896528 HAS SOPS 885444 HAS SOUS 102021 HAS SOUPS 100775 WITH SCORE 101671.528
AT ITER 1794 NEW BEST:: SOT 1674835 SOS 896427 HAS SOPS 885343 HAS SOUS 101998 HAS SOUPS 100752 WITH SCORE 101648.427
AT ITER 1812 NEW BEST:: SOT 1674804 SOS 896276 HAS SOPS 885192 HAS SOUS 101837 HAS SOUPS 100591 WITH SCORE 101487.276
AT ITER 1825 NEW BEST:: SOT 1674802 SOS 896292 HAS SOPS 885190 HAS SOUS 101777 HAS SOUPS 100531 WITH SCORE 101427.292
AT ITER 1828 NEW BEST:: SOT 1674811 SOS 896330 HAS SOPS 885228 HAS SOUS 101707 HAS SOUPS 100461 WITH SCORE 101357.33
AT ITER 1832 NEW BEST:: SOT 1674803 SOS 896322 HAS SOPS 885216 HAS SOUS 101691 HAS SOUPS 100445 WITH SCORE 101341.322
AT ITER 1833 NEW BEST:: SOT 1674304 SOS 895946 HAS SOPS 884840 HAS SOUS 101315 HAS SOUPS 100069 WITH SCORE 100964.946
AT ITER 1841 NEW BEST:: SOT 1674509 SOS 896199 HAS SOPS 885093 HAS SOUS 101167 HAS SOUPS 99921 WITH SCORE 100817.199
AT ITER 1846 NEW BEST:: SOT 1674284 SOS 895882 HAS SOPS 884776 HAS SOUS 100784 HAS SOUPS 99538 WITH SCORE 100433.882
AT ITER 1851 NEW BEST:: SOT 1674234 SOS 895807 HAS SOPS 884701 HAS SOUS 100734 HAS SOUPS 99488 WITH SCORE 100383.807
AT ITER 1858 NEW BEST:: SOT 1674276 SOS 892053 HAS SOPS 880947 HAS SOUS 100104 HAS SOUPS 98858 WITH SCORE 99750.053
AT ITER 1860 NEW BEST:: SOT 1674147 SOS 891924 HAS SOPS 880818 HAS SOUS 100018 HAS SOUPS 98772 WITH SCORE 99663.924
AT ITER 1861 NEW BEST:: SOT 1674082 SOS 891892 HAS SOPS 880786 HAS SOUS 99986 HAS SOUPS 98740 WITH SCORE 99631.892
AT ITER 1871 NEW BEST:: SOT 1674084 SOS 891894 HAS SOPS 880775 HAS SOUS 99965 HAS SOUPS 98718 WITH SCORE 99609.894
AT ITER 1878 NEW BEST:: SOT 1674089 SOS 891899 HAS SOPS 880780 HAS SOUS 99962 HAS SOUPS 98715 WITH SCORE 99606.899
AT ITER 1884 NEW BEST:: SOT 1674029 SOS 891815 HAS SOPS 880696 HAS SOUS 99878 HAS SOUPS 98631 WITH SCORE 99522.815
AT ITER 1888 NEW BEST:: SOT 1674000 SOS 891769 HAS SOPS 880650 HAS SOUS 99835 HAS SOUPS 98588 WITH SCORE 99479.769
AT ITER 1891 NEW BEST:: SOT 1673988 SOS 891757 HAS SOPS 880638 HAS SOUS 99823 HAS SOUPS 98576 WITH SCORE 99467.757
AT ITER 1899 NEW BEST:: SOT 1673974 SOS 891743 HAS SOPS 880624 HAS SOUS 99780 HAS SOUPS 98533 WITH SCORE 99424.743
AT ITER 1904 NEW BEST:: SOT 1673974 SOS 891615 HAS SOPS 880496 HAS SOUS 99747 HAS SOUPS 98500 WITH SCORE 99391.615
AT ITER 1908 NEW BEST:: SOT 1673930 SOS 891549 HAS SOPS 880430 HAS SOUS 99625 HAS SOUPS 98378 WITH SCORE 99269.549
AT ITER 1910 NEW BEST:: SOT 1673911 SOS 891530 HAS SOPS 880386 HAS SOUS 99563 HAS SOUPS 98305 WITH SCORE 99196.53
AT ITER 1918 NEW BEST:: SOT 1673885 SOS 891452 HAS SOPS 880308 HAS SOUS 99541 HAS SOUPS 98283 WITH SCORE 99174.452
AT ITER 1928 NEW BEST:: SOT 1673812 SOS 891307 HAS SOPS 880163 HAS SOUS 99380 HAS SOUPS 98122 WITH SCORE 99013.307
AT ITER 1932 NEW BEST:: SOT 1673812 SOS 891307 HAS SOPS 880163 HAS SOUS 99257 HAS SOUPS 97999 WITH SCORE 98890.307
AT ITER 1939 NEW BEST:: SOT 1673767 SOS 891303 HAS SOPS 880159 HAS SOUS 99102 HAS SOUPS 97844 WITH SCORE 98735.303
AT ITER 1940 NEW BEST:: SOT 1673767 SOS 891352 HAS SOPS 880208 HAS SOUS 99088 HAS SOUPS 97830 WITH SCORE 98721.352
AT ITER 1946 NEW BEST:: SOT 1673767 SOS 891452 HAS SOPS 880434 HAS SOUS 99042 HAS SOUPS 97784 WITH SCORE 98675.452
AT ITER 1956 NEW BEST:: SOT 1673733 SOS 891418 HAS SOPS 880400 HAS SOUS 99024 HAS SOUPS 97766 WITH SCORE 98657.418
AT ITER 1960 NEW BEST:: SOT 1673720 SOS 891405 HAS SOPS 880370 HAS SOUS 98994 HAS SOUPS 97736 WITH SCORE 98627.405
AT ITER 1965 NEW BEST:: SOT 1673676 SOS 891361 HAS SOPS 880260 HAS SOUS 98884 HAS SOUPS 97626 WITH SCORE 98517.361
AT ITER 1981 NEW BEST:: SOT 1673611 SOS 891210 HAS SOPS 880109 HAS SOUS 98866 HAS SOUPS 97608 WITH SCORE 98499.21
AT ITER 1985 NEW BEST:: SOT 1673516 SOS 890995 HAS SOPS 879894 HAS SOUS 98756 HAS SOUPS 97498 WITH SCORE 98388.995
AT ITER 2028 NEW BEST:: SOT 1681226 SOS 898796 HAS SOPS 887695 HAS SOUS 98439 HAS SOUPS 97181 WITH SCORE 98079.796
AT ITER 2031 NEW BEST:: SOT 1681223 SOS 898793 HAS SOPS 887692 HAS SOUS 98436 HAS SOUPS 97178 WITH SCORE 98076.793
AT ITER 2032 NEW BEST:: SOT 1681199 SOS 898769 HAS SOPS 887668 HAS SOUS 98412 HAS SOUPS 97154 WITH SCORE 98052.769
AT ITER 2040 NEW BEST:: SOT 1680431 SOS 898994 HAS SOPS 887893 HAS SOUS 98112 HAS SOUPS 96854 WITH SCORE 97752.994
AT ITER 2043 NEW BEST:: SOT 1680413 SOS 898948 HAS SOPS 887847 HAS SOUS 98042 HAS SOUPS 96784 WITH SCORE 97682.948
AT ITER 2044 NEW BEST:: SOT 1680429 SOS 898964 HAS SOPS 887863 HAS SOUS 98036 HAS SOUPS 96778 WITH SCORE 97676.964
AT ITER 2083 NEW BEST:: SOT 1680388 SOS 898923 HAS SOPS 887822 HAS SOUS 97964 HAS SOUPS 96706 WITH SCORE 97604.923
AT ITER 2084 NEW BEST:: SOT 1680274 SOS 898656 HAS SOPS 887191 HAS SOUS 97855 HAS SOUPS 96597 WITH SCORE 97495.656
AT ITER 2095 NEW BEST:: SOT 1680243 SOS 897703 HAS SOPS 886238 HAS SOUS 97848 HAS SOUPS 96590 WITH SCORE 97487.703
AT ITER 2096 NEW BEST:: SOT 1680240 SOS 897700 HAS SOPS 886235 HAS SOUS 97842 HAS SOUPS 96584 WITH SCORE 97481.7
AT ITER 2099 NEW BEST:: SOT 1680261 SOS 897679 HAS SOPS 886214 HAS SOUS 97842 HAS SOUPS 96584 WITH SCORE 97481.679
AT ITER 2115 NEW BEST:: SOT 1680234 SOS 897643 HAS SOPS 886178 HAS SOUS 97806 HAS SOUPS 96548 WITH SCORE 97445.643
AT ITER 2134 NEW BEST:: SOT 1680234 SOS 897627 HAS SOPS 886162 HAS SOUS 97806 HAS SOUPS 96548 WITH SCORE 97445.627
AT ITER 2137 NEW BEST:: SOT 1680234 SOS 897750 HAS SOPS 886285 HAS SOUS 97774 HAS SOUPS 96516 WITH SCORE 97413.75
AT ITER 2141 NEW BEST:: SOT 1680213 SOS 897729 HAS SOPS 886264 HAS SOUS 97755 HAS SOUPS 96497 WITH SCORE 97394.729
AT ITER 2144 NEW BEST:: SOT 1680203 SOS 897719 HAS SOPS 886266 HAS SOUS 97679 HAS SOUPS 96421 WITH SCORE 97318.719
AT ITER 2149 NEW BEST:: SOT 1680171 SOS 897687 HAS SOPS 886234 HAS SOUS 97647 HAS SOUPS 96389 WITH SCORE 97286.687
AT ITER 2158 NEW BEST:: SOT 1680171 SOS 897792 HAS SOPS 886339 HAS SOUS 97617 HAS SOUPS 96359 WITH SCORE 97256.792
AT ITER 2165 NEW BEST:: SOT 1680069 SOS 897761 HAS SOPS 886308 HAS SOUS 97430 HAS SOUPS 96172 WITH SCORE 97069.761
AT ITER 2171 NEW BEST:: SOT 1680069 SOS 897716 HAS SOPS 886263 HAS SOUS 97383 HAS SOUPS 96125 WITH SCORE 97022.716
AT ITER 2184 NEW BEST:: SOT 1680134 SOS 897725 HAS SOPS 886272 HAS SOUS 97305 HAS SOUPS 96047 WITH SCORE 96944.725
AT ITER 2186 NEW BEST:: SOT 1680134 SOS 897725 HAS SOPS 886259 HAS SOUS 97279 HAS SOUPS 96021 WITH SCORE 96918.725
AT ITER 2199 NEW BEST:: SOT 1679989 SOS 897587 HAS SOPS 886116 HAS SOUS 97131 HAS SOUPS 95873 WITH SCORE 96770.587
AT ITER 2202 NEW BEST:: SOT 1679923 SOS 897521 HAS SOPS 886050 HAS SOUS 97021 HAS SOUPS 95763 WITH SCORE 96660.521
AT ITER 2211 NEW BEST:: SOT 1679923 SOS 897507 HAS SOPS 886036 HAS SOUS 97021 HAS SOUPS 95763 WITH SCORE 96660.507
AT ITER 2213 NEW BEST:: SOT 1679875 SOS 897447 HAS SOPS 885976 HAS SOUS 96957 HAS SOUPS 95699 WITH SCORE 96596.447
AT ITER 2219 NEW BEST:: SOT 1679850 SOS 798028 HAS SOPS 786557 HAS SOUS 97055 HAS SOUPS 95797 WITH SCORE 96595.028
AT ITER 2220 NEW BEST:: SOT 1679803 SOS 798022 HAS SOPS 786551 HAS SOUS 96742 HAS SOUPS 95484 WITH SCORE 96282.022
AT ITER 2240 NEW BEST:: SOT 1679765 SOS 797204 HAS SOPS 785733 HAS SOUS 96722 HAS SOUPS 95464 WITH SCORE 96261.204
AT ITER 2256 NEW BEST:: SOT 1679748 SOS 797187 HAS SOPS 785724 HAS SOUS 96621 HAS SOUPS 95363 WITH SCORE 96160.187
AT ITER 2258 NEW BEST:: SOT 1679735 SOS 797174 HAS SOPS 785712 HAS SOUS 96609 HAS SOUPS 95351 WITH SCORE 96148.174
AT ITER 2276 NEW BEST:: SOT 1679525 SOS 796839 HAS SOPS 785377 HAS SOUS 96309 HAS SOUPS 95051 WITH SCORE 95847.839
AT ITER 2278 NEW BEST:: SOT 1679694 SOS 797095 HAS SOPS 785633 HAS SOUS 96223 HAS SOUPS 94965 WITH SCORE 95762.095
AT ITER 2287 NEW BEST:: SOT 1679634 SOS 794521 HAS SOPS 783071 HAS SOUS 96155 HAS SOUPS 94897 WITH SCORE 95691.521
AT ITER 2288 NEW BEST:: SOT 1679543 SOS 794434 HAS SOPS 782984 HAS SOUS 95917 HAS SOUPS 94659 WITH SCORE 95453.434
AT ITER 2341 NEW BEST:: SOT 1679554 SOS 794445 HAS SOPS 782995 HAS SOUS 95907 HAS SOUPS 94649 WITH SCORE 95443.445
AT ITER 2354 NEW BEST:: SOT 1679706 SOS 794597 HAS SOPS 783147 HAS SOUS 95649 HAS SOUPS 94391 WITH SCORE 95185.597
AT ITER 2381 NEW BEST:: SOT 1679760 SOS 794903 HAS SOPS 783453 HAS SOUS 95631 HAS SOUPS 94373 WITH SCORE 95167.903
AT ITER 2382 NEW BEST:: SOT 1609148 SOS 724291 HAS SOPS 712841 HAS SOUS 87801 HAS SOUPS 86543 WITH SCORE 87267.291
AT ITER 2400 NEW BEST:: SOT 1609150 SOS 724247 HAS SOPS 712797 HAS SOUS 87759 HAS SOUPS 86501 WITH SCORE 87225.247
AT ITER 2402 NEW BEST:: SOT 1609161 SOS 724258 HAS SOPS 712808 HAS SOUS 87736 HAS SOUPS 86478 WITH SCORE 87202.258
AT ITER 2408 NEW BEST:: SOT 1609160 SOS 724257 HAS SOPS 712807 HAS SOUS 87731 HAS SOUPS 86473 WITH SCORE 87197.257
AT ITER 2428 NEW BEST:: SOT 1609081 SOS 724165 HAS SOPS 712715 HAS SOUS 87706 HAS SOUPS 86448 WITH SCORE 87172.165
AT ITER 2436 NEW BEST:: SOT 1609061 SOS 724164 HAS SOPS 712714 HAS SOUS 87652 HAS SOUPS 86394 WITH SCORE 87118.164
AT ITER 2453 NEW BEST:: SOT 1609011 SOS 724114 HAS SOPS 712364 HAS SOUS 87352 HAS SOUPS 86094 WITH SCORE 86818.114
AT ITER 2473 NEW BEST:: SOT 1608881 SOS 723984 HAS SOPS 712234 HAS SOUS 87123 HAS SOUPS 85865 WITH SCORE 86588.984
AT ITER 2503 NEW BEST:: SOT 1608883 SOS 723851 HAS SOPS 712023 HAS SOUS 87047 HAS SOUPS 85789 WITH SCORE 86512.851
AT ITER 2507 NEW BEST:: SOT 1608809 SOS 723836 HAS SOPS 712008 HAS SOUS 86937 HAS SOUPS 85679 WITH SCORE 86402.836
AT ITER 2519 NEW BEST:: SOT 1608761 SOS 723859 HAS SOPS 712031 HAS SOUS 86897 HAS SOUPS 85639 WITH SCORE 86362.859
AT ITER 2524 NEW BEST:: SOT 1608634 SOS 723732 HAS SOPS 711908 HAS SOUS 86823 HAS SOUPS 85565 WITH SCORE 86288.732
AT ITER 2559 NEW BEST:: SOT 1608405 SOS 723378 HAS SOPS 711554 HAS SOUS 86672 HAS SOUPS 85414 WITH SCORE 86137.378
AT ITER 2561 NEW BEST:: SOT 1608361 SOS 723290 HAS SOPS 711422 HAS SOUS 86612 HAS SOUPS 85354 WITH SCORE 86077.29
AT ITER 2564 NEW BEST:: SOT 1608339 SOS 723260 HAS SOPS 711392 HAS SOUS 86569 HAS SOUPS 85311 WITH SCORE 86034.26
AT ITER 2566 NEW BEST:: SOT 1608286 SOS 722940 HAS SOPS 711072 HAS SOUS 86482 HAS SOUPS 85224 WITH SCORE 85946.94
AT ITER 2586 NEW BEST:: SOT 1608320 SOS 714202 HAS SOPS 702334 HAS SOUS 85934 HAS SOUPS 84676 WITH SCORE 85390.202
AT ITER 2594 NEW BEST:: SOT 1608298 SOS 714169 HAS SOPS 702301 HAS SOUS 85849 HAS SOUPS 84591 WITH SCORE 85305.169
AT ITER 2613 NEW BEST:: SOT 1608197 SOS 714038 HAS SOPS 702170 HAS SOUS 85631 HAS SOUPS 84373 WITH SCORE 85087.038
AT ITER 2634 NEW BEST:: SOT 1608216 SOS 714021 HAS SOPS 702153 HAS SOUS 85525 HAS SOUPS 84267 WITH SCORE 84981.021
AT ITER 2668 NEW BEST:: SOT 1608211 SOS 714016 HAS SOPS 702120 HAS SOUS 85492 HAS SOUPS 84234 WITH SCORE 84948.016
AT ITER 2675 NEW BEST:: SOT 1607938 SOS 713743 HAS SOPS 701847 HAS SOUS 85254 HAS SOUPS 83996 WITH SCORE 84709.743
AT ITER 2693 NEW BEST:: SOT 1607921 SOS 713793 HAS SOPS 701897 HAS SOUS 85208 HAS SOUPS 83950 WITH SCORE 84663.793
AT ITER 2708 NEW BEST:: SOT 1608074 SOS 713565 HAS SOPS 701669 HAS SOUS 85197 HAS SOUPS 83939 WITH SCORE 84652.565
AT ITER 2727 NEW BEST:: SOT 1608059 SOS 711865 HAS SOPS 699969 HAS SOUS 85187 HAS SOUPS 83929 WITH SCORE 84640.865
AT ITER 2736 NEW BEST:: SOT 1608059 SOS 712351 HAS SOPS 700455 HAS SOUS 85129 HAS SOUPS 83871 WITH SCORE 84583.351
AT ITER 2742 NEW BEST:: SOT 1608052 SOS 712324 HAS SOPS 700428 HAS SOUS 85121 HAS SOUPS 83863 WITH SCORE 84575.324
AT ITER 2760 NEW BEST:: SOT 1608052 SOS 712323 HAS SOPS 700427 HAS SOUS 85121 HAS SOUPS 83863 WITH SCORE 84575.323
AT ITER 2776 NEW BEST:: SOT 1608008 SOS 712279 HAS SOPS 700383 HAS SOUS 85113 HAS SOUPS 83855 WITH SCORE 84567.279
AT ITER 2779 NEW BEST:: SOT 1607990 SOS 712118 HAS SOPS 700222 HAS SOUS 85095 HAS SOUPS 83837 WITH SCORE 84549.118
AT ITER 2782 NEW BEST:: SOT 1607913 SOS 711708 HAS SOPS 699812 HAS SOUS 84883 HAS SOUPS 83625 WITH SCORE 84336.708
AT ITER 2798 NEW BEST:: SOT 1607911 SOS 711706 HAS SOPS 699810 HAS SOUS 84881 HAS SOUPS 83623 WITH SCORE 84334.706
AT ITER 2840 NEW BEST:: SOT 1607864 SOS 711659 HAS SOPS 699763 HAS SOUS 84855 HAS SOUPS 83597 WITH SCORE 84308.659
AT ITER 2841 NEW BEST:: SOT 1607890 SOS 711691 HAS SOPS 699795 HAS SOUS 84853 HAS SOUPS 83595 WITH SCORE 84306.691
AT ITER 2852 NEW BEST:: SOT 1607882 SOS 711683 HAS SOPS 699787 HAS SOUS 84845 HAS SOUPS 83587 WITH SCORE 84298.683
AT ITER 2854 NEW BEST:: SOT 1607872 SOS 711673 HAS SOPS 699777 HAS SOUS 84822 HAS SOUPS 83564 WITH SCORE 84275.673
AT ITER 2880 NEW BEST:: SOT 1607899 SOS 711740 HAS SOPS 699844 HAS SOUS 84745 HAS SOUPS 83487 WITH SCORE 84198.74
AT ITER 2882 NEW BEST:: SOT 1607891 SOS 711732 HAS SOPS 699836 HAS SOUS 84741 HAS SOUPS 83483 WITH SCORE 84194.732
AT ITER 2896 NEW BEST:: SOT 1607892 SOS 725719 HAS SOPS 713823 HAS SOUS 84707 HAS SOUPS 83449 WITH SCORE 84174.719
AT ITER 2907 NEW BEST:: SOT 1607751 SOS 725424 HAS SOPS 713528 HAS SOUS 84589 HAS SOUPS 83331 WITH SCORE 84056.424
AT ITER 2932 NEW BEST:: SOT 1607746 SOS 725419 HAS SOPS 713500 HAS SOUS 84584 HAS SOUPS 83306 WITH SCORE 84031.419
AT ITER 2934 NEW BEST:: SOT 1607747 SOS 725461 HAS SOPS 713542 HAS SOUS 84580 HAS SOUPS 83302 WITH SCORE 84027.461
AT ITER 2960 NEW BEST:: SOT 1607735 SOS 724714 HAS SOPS 712795 HAS SOUS 83166 HAS SOUPS 81888 WITH SCORE 82612.714
AT ITER 2969 NEW BEST:: SOT 1607699 SOS 724678 HAS SOPS 712773 HAS SOUS 83130 HAS SOUPS 81866 WITH SCORE 82590.678
AT ITER 2977 NEW BEST:: SOT 1607741 SOS 724678 HAS SOPS 712773 HAS SOUS 83115 HAS SOUPS 81851 WITH SCORE 82575.678
AT ITER 2995 NEW BEST:: SOT 1607728 SOS 724652 HAS SOPS 712747 HAS SOUS 83102 HAS SOUPS 81838 WITH SCORE 82562.652
AT ITER 3004 NEW BEST:: SOT 1607595 SOS 724412 HAS SOPS 712606 HAS SOUS 82978 HAS SOUPS 81714 WITH SCORE 82438.412
AT ITER 3010 NEW BEST:: SOT 1607515 SOS 722054 HAS SOPS 712606 HAS SOUS 82898 HAS SOUPS 81674 WITH SCORE 82396.054
AT ITER 3035 NEW BEST:: SOT 1607497 SOS 722036 HAS SOPS 712588 HAS SOUS 82872 HAS SOUPS 81648 WITH SCORE 82370.036
AT ITER 3037 NEW BEST:: SOT 1607400 SOS 721736 HAS SOPS 712288 HAS SOUS 82535 HAS SOUPS 81311 WITH SCORE 82032.736
AT ITER 3054 NEW BEST:: SOT 1607358 SOS 721687 HAS SOPS 712239 HAS SOUS 82486 HAS SOUPS 81262 WITH SCORE 81983.687
AT ITER 3058 NEW BEST:: SOT 1607355 SOS 721669 HAS SOPS 712221 HAS SOUS 82468 HAS SOUPS 81244 WITH SCORE 81965.669
AT ITER 3063 NEW BEST:: SOT 1607387 SOS 721775 HAS SOPS 712264 HAS SOUS 82437 HAS SOUPS 81213 WITH SCORE 81934.775
AT ITER 3069 NEW BEST:: SOT 1607487 SOS 721937 HAS SOPS 712426 HAS SOUS 82386 HAS SOUPS 81162 WITH SCORE 81883.937
AT ITER 3096 NEW BEST:: SOT 1607487 SOS 721921 HAS SOPS 712410 HAS SOUS 82311 HAS SOUPS 81087 WITH SCORE 81808.921
AT ITER 3102 NEW BEST:: SOT 1607457 SOS 721939 HAS SOPS 712676 HAS SOUS 82298 HAS SOUPS 81064 WITH SCORE 81785.939
AT ITER 3103 NEW BEST:: SOT 1607448 SOS 721930 HAS SOPS 712667 HAS SOUS 82280 HAS SOUPS 81046 WITH SCORE 81767.93
AT ITER 3104 NEW BEST:: SOT 1607448 SOS 721632 HAS SOPS 712369 HAS SOUS 82273 HAS SOUPS 81039 WITH SCORE 81760.632
AT ITER 3151 NEW BEST:: SOT 1607448 SOS 721748 HAS SOPS 712485 HAS SOUS 82218 HAS SOUPS 80984 WITH SCORE 81705.748
AT ITER 3172 NEW BEST:: SOT 1607453 SOS 721743 HAS SOPS 712480 HAS SOUS 82178 HAS SOUPS 80944 WITH SCORE 81665.743
AT ITER 3177 NEW BEST:: SOT 1617792 SOS 678297 HAS SOPS 669034 HAS SOUS 81523 HAS SOUPS 80289 WITH SCORE 80967.297
AT ITER 3179 NEW BEST:: SOT 1617778 SOS 678263 HAS SOPS 669000 HAS SOUS 81489 HAS SOUPS 80255 WITH SCORE 80933.263
AT ITER 3190 NEW BEST:: SOT 1617770 SOS 678243 HAS SOPS 668980 HAS SOUS 81480 HAS SOUPS 80246 WITH SCORE 80924.243
AT ITER 3202 NEW BEST:: SOT 1617784 SOS 678225 HAS SOPS 668962 HAS SOUS 81163 HAS SOUPS 79929 WITH SCORE 80607.225
AT ITER 3218 NEW BEST:: SOT 1617750 SOS 678191 HAS SOPS 668928 HAS SOUS 81095 HAS SOUPS 79861 WITH SCORE 80539.191
AT ITER 3237 NEW BEST:: SOT 1617755 SOS 678178 HAS SOPS 668915 HAS SOUS 81093 HAS SOUPS 79859 WITH SCORE 80537.178
AT ITER 3240 NEW BEST:: SOT 1617760 SOS 678170 HAS SOPS 668907 HAS SOUS 81077 HAS SOUPS 79843 WITH SCORE 80521.17
AT ITER 3262 NEW BEST:: SOT 1617731 SOS 676641 HAS SOPS 668704 HAS SOUS 80964 HAS SOUPS 79759 WITH SCORE 80435.641
AT ITER 3268 NEW BEST:: SOT 1617728 SOS 676083 HAS SOPS 668146 HAS SOUS 80958 HAS SOUPS 79753 WITH SCORE 80429.083
AT ITER 3274 NEW BEST:: SOT 1617906 SOS 666191 HAS SOPS 658254 HAS SOUS 80510 HAS SOUPS 79305 WITH SCORE 79971.191
AT ITER 3281 NEW BEST:: SOT 1617878 SOS 666163 HAS SOPS 658226 HAS SOUS 80426 HAS SOUPS 79221 WITH SCORE 79887.163
AT ITER 3282 NEW BEST:: SOT 1617871 SOS 666161 HAS SOPS 658224 HAS SOUS 80386 HAS SOUPS 79181 WITH SCORE 79847.161
AT ITER 3289 NEW BEST:: SOT 1617880 SOS 666169 HAS SOPS 658232 HAS SOUS 80298 HAS SOUPS 79093 WITH SCORE 79759.169
AT ITER 3291 NEW BEST:: SOT 1617878 SOS 666176 HAS SOPS 658231 HAS SOUS 80188 HAS SOUPS 78981 WITH SCORE 79647.176
AT ITER 3292 NEW BEST:: SOT 1617873 SOS 666171 HAS SOPS 658226 HAS SOUS 80183 HAS SOUPS 78976 WITH SCORE 79642.171
AT ITER 3315 NEW BEST:: SOT 1617857 SOS 666155 HAS SOPS 658210 HAS SOUS 80151 HAS SOUPS 78944 WITH SCORE 79610.155
AT ITER 3345 NEW BEST:: SOT 1617857 SOS 666109 HAS SOPS 658164 HAS SOUS 80151 HAS SOUPS 78944 WITH SCORE 79610.109
AT ITER 3356 NEW BEST:: SOT 1617857 SOS 666057 HAS SOPS 658112 HAS SOUS 80151 HAS SOUPS 78944 WITH SCORE 79610.057
AT ITER 3370 NEW BEST:: SOT 1617857 SOS 667390 HAS SOPS 659445 HAS SOUS 80144 HAS SOUPS 78937 WITH SCORE 79604.39
AT ITER 3412 NEW BEST:: SOT 1617910 SOS 667782 HAS SOPS 659837 HAS SOUS 80137 HAS SOUPS 78930 WITH SCORE 79597.782
AT ITER 3413 NEW BEST:: SOT 1617930 SOS 667748 HAS SOPS 659803 HAS SOUS 80054 HAS SOUPS 78847 WITH SCORE 79514.748
AT ITER 3414 NEW BEST:: SOT 1617855 SOS 666988 HAS SOPS 659043 HAS SOUS 79942 HAS SOUPS 78735 WITH SCORE 79401.988
AT ITER 3416 NEW BEST:: SOT 1617847 SOS 666980 HAS SOPS 659035 HAS SOUS 79934 HAS SOUPS 78727 WITH SCORE 79393.98
AT ITER 3436 NEW BEST:: SOT 1617984 SOS 767840 HAS SOPS 759895 HAS SOUS 79422 HAS SOUPS 78215 WITH SCORE 78982.84
AT ITER 3449 NEW BEST:: SOT 1617981 SOS 767837 HAS SOPS 759889 HAS SOUS 79413 HAS SOUPS 78206 WITH SCORE 78973.837
AT ITER 3455 NEW BEST:: SOT 1617978 SOS 767896 HAS SOPS 759948 HAS SOUS 79359 HAS SOUPS 78152 WITH SCORE 78919.896
AT ITER 3456 NEW BEST:: SOT 1617950 SOS 767868 HAS SOPS 759957 HAS SOUS 79352 HAS SOUPS 78145 WITH SCORE 78912.868
AT ITER 3493 NEW BEST:: SOT 1617908 SOS 767774 HAS SOPS 759863 HAS SOUS 79320 HAS SOUPS 78113 WITH SCORE 78880.774
AT ITER 3499 NEW BEST:: SOT 1617903 SOS 767774 HAS SOPS 759863 HAS SOUS 79315 HAS SOUPS 78108 WITH SCORE 78875.774
AT ITER 3528 NEW BEST:: SOT 1617903 SOS 767772 HAS SOPS 759861 HAS SOUS 79308 HAS SOUPS 78101 WITH SCORE 78868.772
AT ITER 3543 NEW BEST:: SOT 1617824 SOS 707261 HAS SOPS 699350 HAS SOUS 79266 HAS SOUPS 78059 WITH SCORE 78766.261
AT ITER 3558 NEW BEST:: SOT 1617746 SOS 707047 HAS SOPS 699136 HAS SOUS 79149 HAS SOUPS 77942 WITH SCORE 78649.047
AT ITER 3577 NEW BEST:: SOT 1617734 SOS 707035 HAS SOPS 699124 HAS SOUS 79113 HAS SOUPS 77906 WITH SCORE 78613.035
AT ITER 3582 NEW BEST:: SOT 1617795 SOS 707265 HAS SOPS 699354 HAS SOUS 79019 HAS SOUPS 77812 WITH SCORE 78519.265
AT ITER 3593 NEW BEST:: SOT 1617734 SOS 707204 HAS SOPS 699293 HAS SOUS 78986 HAS SOUPS 77779 WITH SCORE 78486.204
AT ITER 3601 NEW BEST:: SOT 1617602 SOS 707059 HAS SOPS 699148 HAS SOUS 78846 HAS SOUPS 77639 WITH SCORE 78346.059
AT ITER 3602 NEW BEST:: SOT 1617602 SOS 707099 HAS SOPS 699188 HAS SOUS 78834 HAS SOUPS 77627 WITH SCORE 78334.099
AT ITER 3611 NEW BEST:: SOT 1617556 SOS 707017 HAS SOPS 699106 HAS SOUS 78827 HAS SOUPS 77620 WITH SCORE 78327.017
AT ITER 3619 NEW BEST:: SOT 1617503 SOS 706973 HAS SOPS 699047 HAS SOUS 78756 HAS SOUPS 77544 WITH SCORE 78250.973
AT ITER 3621 NEW BEST:: SOT 1617487 SOS 706951 HAS SOPS 699025 HAS SOUS 78736 HAS SOUPS 77524 WITH SCORE 78230.951
AT ITER 3641 NEW BEST:: SOT 1617492 SOS 706739 HAS SOPS 698813 HAS SOUS 78714 HAS SOUPS 77502 WITH SCORE 78208.739
AT ITER 3651 NEW BEST:: SOT 1617559 SOS 706770 HAS SOPS 698844 HAS SOUS 78698 HAS SOUPS 77486 WITH SCORE 78192.77
AT ITER 3653 NEW BEST:: SOT 1617549 SOS 706721 HAS SOPS 698799 HAS SOUS 78688 HAS SOUPS 77480 WITH SCORE 78186.721
AT ITER 3689 NEW BEST:: SOT 1617535 SOS 706616 HAS SOPS 698694 HAS SOUS 78688 HAS SOUPS 77480 WITH SCORE 78186.616
AT ITER 3713 NEW BEST:: SOT 1617456 SOS 706485 HAS SOPS 698553 HAS SOUS 78608 HAS SOUPS 77400 WITH SCORE 78106.485
AT ITER 3717 NEW BEST:: SOT 1617415 SOS 706444 HAS SOPS 698512 HAS SOUS 78527 HAS SOUPS 77319 WITH SCORE 78025.444
AT ITER 3718 NEW BEST:: SOT 1617415 SOS 706438 HAS SOPS 698506 HAS SOUS 78527 HAS SOUPS 77319 WITH SCORE 78025.438
AT ITER 3722 NEW BEST:: SOT 1617411 SOS 706434 HAS SOPS 698502 HAS SOUS 78523 HAS SOUPS 77315 WITH SCORE 78021.434
AT ITER 3743 NEW BEST:: SOT 1617410 SOS 706440 HAS SOPS 698508 HAS SOUS 78507 HAS SOUPS 77299 WITH SCORE 78005.44
AT ITER 3753 NEW BEST:: SOT 1617397 SOS 706505 HAS SOPS 698573 HAS SOUS 78392 HAS SOUPS 77184 WITH SCORE 77890.505
AT ITER 3756 NEW BEST:: SOT 1617389 SOS 706487 HAS SOPS 698555 HAS SOUS 78364 HAS SOUPS 77156 WITH SCORE 77862.487
AT ITER 3768 NEW BEST:: SOT 1617405 SOS 706503 HAS SOPS 698571 HAS SOUS 78296 HAS SOUPS 77088 WITH SCORE 77794.503
AT ITER 3786 NEW BEST:: SOT 1617405 SOS 706441 HAS SOPS 698509 HAS SOUS 78234 HAS SOUPS 77026 WITH SCORE 77732.441
AT ITER 3803 NEW BEST:: SOT 1617339 SOS 706397 HAS SOPS 698465 HAS SOUS 78199 HAS SOUPS 76991 WITH SCORE 77697.397
AT ITER 3819 NEW BEST:: SOT 1617330 SOS 706388 HAS SOPS 698456 HAS SOUS 78190 HAS SOUPS 76982 WITH SCORE 77688.388
AT ITER 3829 NEW BEST:: SOT 1617280 SOS 706313 HAS SOPS 698381 HAS SOUS 78021 HAS SOUPS 76813 WITH SCORE 77519.313
AT ITER 3830 NEW BEST:: SOT 1617263 SOS 706424 HAS SOPS 698492 HAS SOUS 77988 HAS SOUPS 76780 WITH SCORE 77486.424
AT ITER 3842 NEW BEST:: SOT 1617270 SOS 706324 HAS SOPS 698418 HAS SOUS 77963 HAS SOUPS 76755 WITH SCORE 77461.324
AT ITER 3849 NEW BEST:: SOT 1617163 SOS 706217 HAS SOPS 698311 HAS SOUS 77856 HAS SOUPS 76648 WITH SCORE 77354.217
AT ITER 3856 NEW BEST:: SOT 1617224 SOS 706278 HAS SOPS 698372 HAS SOUS 77778 HAS SOUPS 76570 WITH SCORE 77276.278
AT ITER 3868 NEW BEST:: SOT 1617209 SOS 706263 HAS SOPS 698357 HAS SOUS 77769 HAS SOUPS 76561 WITH SCORE 77267.263
AT ITER 3902 NEW BEST:: SOT 1617167 SOS 706179 HAS SOPS 698273 HAS SOUS 77702 HAS SOUPS 76494 WITH SCORE 77200.179
AT ITER 3917 NEW BEST:: SOT 1617066 SOS 706078 HAS SOPS 698172 HAS SOUS 77533 HAS SOUPS 76325 WITH SCORE 77031.078
AT ITER 3930 NEW BEST:: SOT 1617144 SOS 706156 HAS SOPS 698250 HAS SOUS 77509 HAS SOUPS 76301 WITH SCORE 77007.156
AT ITER 3935 NEW BEST:: SOT 1617224 SOS 706049 HAS SOPS 698288 HAS SOUS 77485 HAS SOUPS 76277 WITH SCORE 76983.049
AT ITER 3952 NEW BEST:: SOT 1617224 SOS 706463 HAS SOPS 698702 HAS SOUS 77475 HAS SOUPS 76267 WITH SCORE 76973.463
AT ITER 3956 NEW BEST:: SOT 1617238 SOS 706477 HAS SOPS 698716 HAS SOUS 77445 HAS SOUPS 76237 WITH SCORE 76943.477
AT ITER 3963 NEW BEST:: SOT 1617247 SOS 706486 HAS SOPS 698725 HAS SOUS 77433 HAS SOUPS 76225 WITH SCORE 76931.486
AT ITER 3974 NEW BEST:: SOT 1617225 SOS 706506 HAS SOPS 698745 HAS SOUS 77382 HAS SOUPS 76174 WITH SCORE 76880.506
AT ITER 3977 NEW BEST:: SOT 1617225 SOS 706504 HAS SOPS 698743 HAS SOUS 77378 HAS SOUPS 76170 WITH SCORE 76876.504
AT ITER 3996 NEW BEST:: SOT 1617265 SOS 706623 HAS SOPS 698862 HAS SOUS 77362 HAS SOUPS 76154 WITH SCORE 76860.623
AT ITER 4063 NEW BEST:: SOT 1617252 SOS 706597 HAS SOPS 698836 HAS SOUS 77344 HAS SOUPS 76136 WITH SCORE 76842.597
AT ITER 4066 NEW BEST:: SOT 1617250 SOS 706595 HAS SOPS 698834 HAS SOUS 77340 HAS SOUPS 76132 WITH SCORE 76838.595
AT ITER 4070 NEW BEST:: SOT 1617210 SOS 706530 HAS SOPS 698769 HAS SOUS 77190 HAS SOUPS 75982 WITH SCORE 76688.53
AT ITER 4079 NEW BEST:: SOT 1617145 SOS 706441 HAS SOPS 698680 HAS SOUS 77060 HAS SOUPS 75852 WITH SCORE 76558.441
AT ITER 4097 NEW BEST:: SOT 1617225 SOS 706521 HAS SOPS 698760 HAS SOUS 76860 HAS SOUPS 75652 WITH SCORE 76358.521
AT ITER 4101 NEW BEST:: SOT 1607250 SOS 696546 HAS SOPS 688785 HAS SOUS 76688 HAS SOUPS 75480 WITH SCORE 76176.546
AT ITER 4131 NEW BEST:: SOT 1607182 SOS 696478 HAS SOPS 688717 HAS SOUS 76639 HAS SOUPS 75431 WITH SCORE 76127.478
AT ITER 4141 NEW BEST:: SOT 1607099 SOS 696395 HAS SOPS 688634 HAS SOUS 76410 HAS SOUPS 75202 WITH SCORE 75898.395
AT ITER 4147 NEW BEST:: SOT 1607099 SOS 696347 HAS SOPS 688586 HAS SOUS 76410 HAS SOUPS 75202 WITH SCORE 75898.347
AT ITER 4148 NEW BEST:: SOT 1607032 SOS 696280 HAS SOPS 688519 HAS SOUS 76268 HAS SOUPS 75060 WITH SCORE 75756.28
AT ITER 4154 NEW BEST:: SOT 1607029 SOS 696236 HAS SOPS 688475 HAS SOUS 76116 HAS SOUPS 74908 WITH SCORE 75604.236
AT ITER 4162 NEW BEST:: SOT 1606989 SOS 696196 HAS SOPS 688435 HAS SOUS 76061 HAS SOUPS 74853 WITH SCORE 75549.196
AT ITER 4167 NEW BEST:: SOT 1606999 SOS 696206 HAS SOPS 688431 HAS SOUS 76040 HAS SOUPS 74832 WITH SCORE 75528.206
AT ITER 4174 NEW BEST:: SOT 1606844 SOS 696037 HAS SOPS 688240 HAS SOUS 75865 HAS SOUPS 74657 WITH SCORE 75353.037
AT ITER 4183 NEW BEST:: SOT 1606844 SOS 696027 HAS SOPS 688230 HAS SOUS 75855 HAS SOUPS 74647 WITH SCORE 75343.027
AT ITER 4197 NEW BEST:: SOT 1606844 SOS 685238 HAS SOPS 677441 HAS SOUS 75759 HAS SOUPS 74551 WITH SCORE 75236.238
AT ITER 4213 NEW BEST:: SOT 1606780 SOS 685179 HAS SOPS 677382 HAS SOUS 75715 HAS SOUPS 74507 WITH SCORE 75192.179
AT ITER 4226 NEW BEST:: SOT 1606773 SOS 685182 HAS SOPS 677385 HAS SOUS 75698 HAS SOUPS 74490 WITH SCORE 75175.182
AT ITER 4303 NEW BEST:: SOT 1606694 SOS 685039 HAS SOPS 677242 HAS SOUS 75685 HAS SOUPS 74477 WITH SCORE 75162.039
AT ITER 4319 NEW BEST:: SOT 1606700 SOS 685045 HAS SOPS 677243 HAS SOUS 75675 HAS SOUPS 74467 WITH SCORE 75152.045
AT ITER 4351 NEW BEST:: SOT 1606670 SOS 684391 HAS SOPS 676589 HAS SOUS 75645 HAS SOUPS 74437 WITH SCORE 75121.391
AT ITER 4363 NEW BEST:: SOT 1606606 SOS 684327 HAS SOPS 676525 HAS SOUS 75581 HAS SOUPS 74373 WITH SCORE 75057.327
AT ITER 4369 NEW BEST:: SOT 1606592 SOS 684313 HAS SOPS 676511 HAS SOUS 75579 HAS SOUPS 74371 WITH SCORE 75055.313
AT ITER 4370 NEW BEST:: SOT 1606648 SOS 684394 HAS SOPS 676592 HAS SOUS 75456 HAS SOUPS 74248 WITH SCORE 74932.394
AT ITER 4400 NEW BEST:: SOT 1606640 SOS 684384 HAS SOPS 676582 HAS SOUS 75446 HAS SOUPS 74238 WITH SCORE 74922.384
AT ITER 4412 NEW BEST:: SOT 1606640 SOS 684343 HAS SOPS 676541 HAS SOUS 75368 HAS SOUPS 74160 WITH SCORE 74844.343
AT ITER 4420 NEW BEST:: SOT 1606574 SOS 684310 HAS SOPS 676508 HAS SOUS 75325 HAS SOUPS 74117 WITH SCORE 74801.31
AT ITER 4431 NEW BEST:: SOT 1606566 SOS 684294 HAS SOPS 676492 HAS SOUS 75309 HAS SOUPS 74101 WITH SCORE 74785.294
AT ITER 4433 NEW BEST:: SOT 1606559 SOS 684287 HAS SOPS 676485 HAS SOUS 75302 HAS SOUPS 74094 WITH SCORE 74778.287
AT ITER 4450 NEW BEST:: SOT 1606536 SOS 684264 HAS SOPS 676462 HAS SOUS 75279 HAS SOUPS 74071 WITH SCORE 74755.264
AT ITER 4517 NEW BEST:: SOT 1606519 SOS 684247 HAS SOPS 676445 HAS SOUS 75266 HAS SOUPS 74058 WITH SCORE 74742.247
AT ITER 4522 NEW BEST:: SOT 1606549 SOS 684277 HAS SOPS 676475 HAS SOUS 75262 HAS SOUPS 74054 WITH SCORE 74738.277
AT ITER 4523 NEW BEST:: SOT 1606535 SOS 684484 HAS SOPS 676682 HAS SOUS 75248 HAS SOUPS 74040 WITH SCORE 74724.484
AT ITER 4550 NEW BEST:: SOT 1606535 SOS 684484 HAS SOPS 676670 HAS SOUS 75236 HAS SOUPS 74028 WITH SCORE 74712.484
AT ITER 4606 NEW BEST:: SOT 1606573 SOS 684428 HAS SOPS 676614 HAS SOUS 75086 HAS SOUPS 73878 WITH SCORE 74562.428
AT ITER 4613 NEW BEST:: SOT 1606572 SOS 684426 HAS SOPS 676612 HAS SOUS 75084 HAS SOUPS 73876 WITH SCORE 74560.426
AT ITER 4629 NEW BEST:: SOT 1606488 SOS 684072 HAS SOPS 676258 HAS SOUS 74976 HAS SOUPS 73768 WITH SCORE 74452.072
AT ITER 4634 NEW BEST:: SOT 1606492 SOS 684076 HAS SOPS 676262 HAS SOUS 74901 HAS SOUPS 73693 WITH SCORE 74377.076
AT ITER 4644 NEW BEST:: SOT 1606386 SOS 683876 HAS SOPS 676062 HAS SOUS 74742 HAS SOUPS 73534 WITH SCORE 74217.876
AT ITER 4666 NEW BEST:: SOT 1606116 SOS 683451 HAS SOPS 675611 HAS SOUS 74578 HAS SOUPS 73370 WITH SCORE 74053.451
AT ITER 4699 NEW BEST:: SOT 1606139 SOS 722124 HAS SOPS 714284 HAS SOUS 74441 HAS SOUPS 73233 WITH SCORE 73955.124
AT ITER 4704 NEW BEST:: SOT 1605873 SOS 721676 HAS SOPS 713987 HAS SOUS 74265 HAS SOUPS 73057 WITH SCORE 73778.676
AT ITER 4710 NEW BEST:: SOT 1605933 SOS 721736 HAS SOPS 714047 HAS SOUS 74251 HAS SOUPS 73043 WITH SCORE 73764.736
AT ITER 4715 NEW BEST:: SOT 1605911 SOS 721700 HAS SOPS 714011 HAS SOUS 74215 HAS SOUPS 73007 WITH SCORE 73728.7
AT ITER 4728 NEW BEST:: SOT 1605932 SOS 721721 HAS SOPS 714032 HAS SOUS 74194 HAS SOUPS 72986 WITH SCORE 73707.721
AT ITER 4746 NEW BEST:: SOT 1605932 SOS 721747 HAS SOPS 714058 HAS SOUS 74187 HAS SOUPS 72979 WITH SCORE 73700.747
AT ITER 4747 NEW BEST:: SOT 1605948 SOS 721763 HAS SOPS 714074 HAS SOUS 74183 HAS SOUPS 72975 WITH SCORE 73696.763
AT ITER 4765 NEW BEST:: SOT 1605944 SOS 721758 HAS SOPS 714068 HAS SOUS 74177 HAS SOUPS 72969 WITH SCORE 73690.758
AT ITER 4804 NEW BEST:: SOT 1605950 SOS 721742 HAS SOPS 714052 HAS SOUS 74167 HAS SOUPS 72959 WITH SCORE 73680.742
AT ITER 4821 NEW BEST:: SOT 1605934 SOS 721264 HAS SOPS 713574 HAS SOUS 74117 HAS SOUPS 72909 WITH SCORE 73630.264
AT ITER 4824 NEW BEST:: SOT 1606002 SOS 721332 HAS SOPS 713587 HAS SOUS 74037 HAS SOUPS 72835 WITH SCORE 73556.332
AT ITER 4826 NEW BEST:: SOT 1606002 SOS 721182 HAS SOPS 713437 HAS SOUS 73977 HAS SOUPS 72775 WITH SCORE 73496.182
AT ITER 4873 NEW BEST:: SOT 1605998 SOS 721178 HAS SOPS 713433 HAS SOUS 73969 HAS SOUPS 72767 WITH SCORE 73488.178
AT ITER 4895 NEW BEST:: SOT 1605981 SOS 721022 HAS SOPS 713277 HAS SOUS 73937 HAS SOUPS 72735 WITH SCORE 73456.022
AT ITER 4916 NEW BEST:: SOT 1605947 SOS 720988 HAS SOPS 713243 HAS SOUS 73845 HAS SOUPS 72643 WITH SCORE 73363.988
AT ITER 4973 NEW BEST:: SOT 1605929 SOS 720970 HAS SOPS 713225 HAS SOUS 73809 HAS SOUPS 72607 WITH SCORE 73327.97
AT ITER 4975 NEW BEST:: SOT 1605912 SOS 721194 HAS SOPS 713449 HAS SOUS 73775 HAS SOUPS 72573 WITH SCORE 73294.194
AT ITER 4993 NEW BEST:: SOT 1605870 SOS 721112 HAS SOPS 713367 HAS SOUS 73727 HAS SOUPS 72525 WITH SCORE 73246.112
AT ITER 5027 NEW BEST:: SOT 1606294 SOS 719162 HAS SOPS 711175 HAS SOUS 73679 HAS SOUPS 72426 WITH SCORE 73145.162
AT ITER 5034 NEW BEST:: SOT 1606331 SOS 719168 HAS SOPS 711181 HAS SOUS 73656 HAS SOUPS 72403 WITH SCORE 73122.168
AT ITER 5063 NEW BEST:: SOT 1606148 SOS 718960 HAS SOPS 710973 HAS SOUS 73577 HAS SOUPS 72324 WITH SCORE 73042.96
AT ITER 5073 NEW BEST:: SOT 1606145 SOS 718954 HAS SOPS 710967 HAS SOUS 73571 HAS SOUPS 72318 WITH SCORE 73036.954
AT ITER 5075 NEW BEST:: SOT 1606095 SOS 718904 HAS SOPS 710961 HAS SOUS 73541 HAS SOUPS 72288 WITH SCORE 73006.904
AT ITER 5099 NEW BEST:: SOT 1606075 SOS 718845 HAS SOPS 710902 HAS SOUS 73482 HAS SOUPS 72229 WITH SCORE 72947.845
AT ITER 5101 NEW BEST:: SOT 1605759 SOS 718382 HAS SOPS 710439 HAS SOUS 73226 HAS SOUPS 71973 WITH SCORE 72691.382
AT ITER 5124 NEW BEST:: SOT 1605759 SOS 718483 HAS SOPS 710438 HAS SOUS 73130 HAS SOUPS 71915 WITH SCORE 72633.483
AT ITER 5127 NEW BEST:: SOT 1603400 SOS 716124 HAS SOPS 708079 HAS SOUS 72696 HAS SOUPS 71481 WITH SCORE 72197.124
AT ITER 5155 NEW BEST:: SOT 1603387 SOS 716111 HAS SOPS 708057 HAS SOUS 72670 HAS SOUPS 71455 WITH SCORE 72171.111
AT ITER 5161 NEW BEST:: SOT 1603299 SOS 715927 HAS SOPS 707873 HAS SOUS 72439 HAS SOUPS 71224 WITH SCORE 71939.927
AT ITER 5162 NEW BEST:: SOT 1603299 SOS 715707 HAS SOPS 707653 HAS SOUS 72435 HAS SOUPS 71220 WITH SCORE 71935.707
AT ITER 5177 NEW BEST:: SOT 1603296 SOS 715666 HAS SOPS 707612 HAS SOUS 72393 HAS SOUPS 71178 WITH SCORE 71893.666
AT ITER 5189 NEW BEST:: SOT 1603278 SOS 715659 HAS SOPS 707605 HAS SOUS 72347 HAS SOUPS 71132 WITH SCORE 71847.659
AT ITER 5206 NEW BEST:: SOT 1603213 SOS 715641 HAS SOPS 707587 HAS SOUS 72227 HAS SOUPS 71012 WITH SCORE 71727.641
AT ITER 5219 NEW BEST:: SOT 1602875 SOS 715430 HAS SOPS 707376 HAS SOUS 72212 HAS SOUPS 70997 WITH SCORE 71712.43
AT ITER 5237 NEW BEST:: SOT 1602873 SOS 715418 HAS SOPS 707364 HAS SOUS 72210 HAS SOUPS 70995 WITH SCORE 71710.418
AT ITER 5253 NEW BEST:: SOT 1602501 SOS 714968 HAS SOPS 706914 HAS SOUS 72173 HAS SOUPS 70958 WITH SCORE 71672.968
AT ITER 5275 NEW BEST:: SOT 1602499 SOS 715212 HAS SOPS 707090 HAS SOUS 72176 HAS SOUPS 70944 WITH SCORE 71659.212
AT ITER 5303 NEW BEST:: SOT 1602488 SOS 715168 HAS SOPS 707066 HAS SOUS 72151 HAS SOUPS 70934 WITH SCORE 71649.168
AT ITER 5304 NEW BEST:: SOT 1602486 SOS 715166 HAS SOPS 707064 HAS SOUS 72151 HAS SOUPS 70934 WITH SCORE 71649.166
AT ITER 5325 NEW BEST:: SOT 1602486 SOS 715461 HAS SOPS 707207 HAS SOUS 72184 HAS SOUPS 70930 WITH SCORE 71645.461
AT ITER 5326 NEW BEST:: SOT 1602490 SOS 715465 HAS SOPS 707179 HAS SOUS 72128 HAS SOUPS 70874 WITH SCORE 71589.465
AT ITER 5334 NEW BEST:: SOT 1602491 SOS 715471 HAS SOPS 707185 HAS SOUS 72125 HAS SOUPS 70871 WITH SCORE 71586.471
AT ITER 5357 NEW BEST:: SOT 1602488 SOS 715468 HAS SOPS 707182 HAS SOUS 72118 HAS SOUPS 70864 WITH SCORE 71579.468
AT ITER 5359 NEW BEST:: SOT 1602486 SOS 715454 HAS SOPS 707168 HAS SOUS 72114 HAS SOUPS 70860 WITH SCORE 71575.454
AT ITER 5391 NEW BEST:: SOT 1602411 SOS 602839 HAS SOPS 594553 HAS SOUS 71894 HAS SOUPS 70640 WITH SCORE 71242.839
AT ITER 5395 NEW BEST:: SOT 1602407 SOS 602804 HAS SOPS 594518 HAS SOUS 71890 HAS SOUPS 70636 WITH SCORE 71238.804
AT ITER 5407 NEW BEST:: SOT 1602407 SOS 602804 HAS SOPS 594518 HAS SOUS 71885 HAS SOUPS 70631 WITH SCORE 71233.804
AT ITER 5425 NEW BEST:: SOT 1602364 SOS 602761 HAS SOPS 594512 HAS SOUS 71879 HAS SOUPS 70625 WITH SCORE 71227.761
AT ITER 5442 NEW BEST:: SOT 1602364 SOS 604027 HAS SOPS 595778 HAS SOUS 71875 HAS SOUPS 70621 WITH SCORE 71225.027
AT ITER 5445 NEW BEST:: SOT 1602362 SOS 604023 HAS SOPS 595774 HAS SOUS 71871 HAS SOUPS 70617 WITH SCORE 71221.023
AT ITER 5448 NEW BEST:: SOT 1602226 SOS 603813 HAS SOPS 595564 HAS SOUS 71661 HAS SOUPS 70407 WITH SCORE 71010.813
AT ITER 5449 NEW BEST:: SOT 1602069 SOS 603656 HAS SOPS 595503 HAS SOUS 71504 HAS SOUPS 70346 WITH SCORE 70949.656
AT ITER 5463 NEW BEST:: SOT 1601688 SOS 603359 HAS SOPS 595206 HAS SOUS 71246 HAS SOUPS 70088 WITH SCORE 70691.359
AT ITER 5487 NEW BEST:: SOT 1601753 SOS 603476 HAS SOPS 595323 HAS SOUS 71179 HAS SOUPS 70021 WITH SCORE 70624.476
AT ITER 5491 NEW BEST:: SOT 1601761 SOS 601364 HAS SOPS 593211 HAS SOUS 70855 HAS SOUPS 69697 WITH SCORE 70298.364
AT ITER 5500 NEW BEST:: SOT 1601758 SOS 601371 HAS SOPS 593218 HAS SOUS 70829 HAS SOUPS 69671 WITH SCORE 70272.371
AT ITER 5510 NEW BEST:: SOT 1601760 SOS 601915 HAS SOPS 593202 HAS SOUS 70798 HAS SOUPS 69631 WITH SCORE 70232.915
AT ITER 5543 NEW BEST:: SOT 1601716 SOS 601893 HAS SOPS 593180 HAS SOUS 70776 HAS SOUPS 69609 WITH SCORE 70210.893
AT ITER 5550 NEW BEST:: SOT 1601718 SOS 601883 HAS SOPS 593170 HAS SOUS 70776 HAS SOUPS 69609 WITH SCORE 70210.883
AT ITER 5599 NEW BEST:: SOT 1601709 SOS 601874 HAS SOPS 593158 HAS SOUS 70770 HAS SOUPS 69603 WITH SCORE 70204.874
AT ITER 5629 NEW BEST:: SOT 1601744 SOS 601909 HAS SOPS 593193 HAS SOUS 70415 HAS SOUPS 69248 WITH SCORE 69849.909
AT ITER 5641 NEW BEST:: SOT 1601761 SOS 577207 HAS SOPS 568491 HAS SOUS 70385 HAS SOUPS 69218 WITH SCORE 69795.207
AT ITER 5663 NEW BEST:: SOT 1601761 SOS 574362 HAS SOPS 568216 HAS SOUS 70122 HAS SOUPS 69014 WITH SCORE 69588.362
AT ITER 5701 NEW BEST:: SOT 1601786 SOS 574431 HAS SOPS 568285 HAS SOUS 70114 HAS SOUPS 69006 WITH SCORE 69580.431
AT ITER 5714 NEW BEST:: SOT 1601750 SOS 574397 HAS SOPS 568247 HAS SOUS 70062 HAS SOUPS 68954 WITH SCORE 69528.397
AT ITER 5719 NEW BEST:: SOT 1601680 SOS 575053 HAS SOPS 568903 HAS SOUS 69988 HAS SOUPS 68880 WITH SCORE 69455.053
AT ITER 5726 NEW BEST:: SOT 1601680 SOS 575043 HAS SOPS 568893 HAS SOUS 69978 HAS SOUPS 68870 WITH SCORE 69445.043
AT ITER 5739 NEW BEST:: SOT 1601689 SOS 575041 HAS SOPS 568891 HAS SOUS 69972 HAS SOUPS 68864 WITH SCORE 69439.041
AT ITER 5789 NEW BEST:: SOT 1601561 SOS 574913 HAS SOPS 568763 HAS SOUS 69848 HAS SOUPS 68740 WITH SCORE 69314.913
AT ITER 5826 NEW BEST:: SOT 1601549 SOS 574901 HAS SOPS 568751 HAS SOUS 69836 HAS SOUPS 68728 WITH SCORE 69302.901
AT ITER 5828 NEW BEST:: SOT 1601497 SOS 574823 HAS SOPS 568673 HAS SOUS 69784 HAS SOUPS 68676 WITH SCORE 69250.823
AT ITER 5829 NEW BEST:: SOT 1601511 SOS 574837 HAS SOPS 568687 HAS SOUS 69767 HAS SOUPS 68659 WITH SCORE 69233.837
AT ITER 5836 NEW BEST:: SOT 1601491 SOS 574817 HAS SOPS 568667 HAS SOUS 69727 HAS SOUPS 68619 WITH SCORE 69193.817
AT ITER 5840 NEW BEST:: SOT 1601423 SOS 574731 HAS SOPS 568581 HAS SOUS 69623 HAS SOUPS 68515 WITH SCORE 69089.731
AT ITER 5891 NEW BEST:: SOT 1601465 SOS 574809 HAS SOPS 568659 HAS SOUS 69610 HAS SOUPS 68502 WITH SCORE 69076.809
AT ITER 5893 NEW BEST:: SOT 1601420 SOS 574764 HAS SOPS 568592 HAS SOUS 69520 HAS SOUPS 68412 WITH SCORE 68986.764
AT ITER 5895 NEW BEST:: SOT 1601360 SOS 574673 HAS SOPS 568501 HAS SOUS 69337 HAS SOUPS 68229 WITH SCORE 68803.673
AT ITER 5900 NEW BEST:: SOT 1601420 SOS 574576 HAS SOPS 568376 HAS SOUS 69351 HAS SOUPS 68193 WITH SCORE 68767.576
AT ITER 5902 NEW BEST:: SOT 1601420 SOS 574565 HAS SOPS 568365 HAS SOUS 69340 HAS SOUPS 68182 WITH SCORE 68756.565
AT ITER 5911 NEW BEST:: SOT 1601420 SOS 574887 HAS SOPS 568687 HAS SOUS 69332 HAS SOUPS 68174 WITH SCORE 68748.887
AT ITER 5912 NEW BEST:: SOT 1601400 SOS 574867 HAS SOPS 568675 HAS SOUS 69278 HAS SOUPS 68134 WITH SCORE 68708.867
AT ITER 5957 NEW BEST:: SOT 1601358 SOS 574687 HAS SOPS 568495 HAS SOUS 69170 HAS SOUPS 68026 WITH SCORE 68600.687
AT ITER 5975 NEW BEST:: SOT 1601352 SOS 574681 HAS SOPS 568489 HAS SOUS 69164 HAS SOUPS 68020 WITH SCORE 68594.681
AT ITER 5995 NEW BEST:: SOT 1601352 SOS 574672 HAS SOPS 568480 HAS SOUS 69164 HAS SOUPS 68020 WITH SCORE 68594.672
AT ITER 6119 NEW BEST:: SOT 1601319 SOS 574637 HAS SOPS 568429 HAS SOUS 69089 HAS SOUPS 67945 WITH SCORE 68519.637
AT ITER 6125 NEW BEST:: SOT 1601319 SOS 573070 HAS SOPS 566862 HAS SOUS 69090 HAS SOUPS 67946 WITH SCORE 68519.07
AT ITER 6174 NEW BEST:: SOT 1601297 SOS 573022 HAS SOPS 566814 HAS SOUS 69032 HAS SOUPS 67888 WITH SCORE 68461.022
AT ITER 6200 NEW BEST:: SOT 1601294 SOS 572827 HAS SOPS 566707 HAS SOUS 69007 HAS SOUPS 67885 WITH SCORE 68457.827
AT ITER 6214 NEW BEST:: SOT 1601211 SOS 572744 HAS SOPS 566624 HAS SOUS 68958 HAS SOUPS 67836 WITH SCORE 68408.744
AT ITER 6239 NEW BEST:: SOT 1601206 SOS 572734 HAS SOPS 566614 HAS SOUS 68948 HAS SOUPS 67826 WITH SCORE 68398.734
AT ITER 6262 NEW BEST:: SOT 1601179 SOS 572599 HAS SOPS 566479 HAS SOUS 68917 HAS SOUPS 67795 WITH SCORE 68367.599
AT ITER 6276 NEW BEST:: SOT 1601130 SOS 572550 HAS SOPS 566430 HAS SOUS 68868 HAS SOUPS 67746 WITH SCORE 68318.55
AT ITER 6315 NEW BEST:: SOT 1601742 SOS 573278 HAS SOPS 567216 HAS SOUS 68485 HAS SOUPS 67363 WITH SCORE 67936.278
AT ITER 6335 NEW BEST:: SOT 1601726 SOS 573246 HAS SOPS 567184 HAS SOUS 68469 HAS SOUPS 67347 WITH SCORE 67920.246
AT ITER 6339 NEW BEST:: SOT 1601722 SOS 573242 HAS SOPS 567183 HAS SOUS 68461 HAS SOUPS 67339 WITH SCORE 67912.242
AT ITER 6344 NEW BEST:: SOT 1601728 SOS 573109 HAS SOPS 567050 HAS SOUS 68085 HAS SOUPS 66963 WITH SCORE 67536.109
AT ITER 6350 NEW BEST:: SOT 1601758 SOS 573184 HAS SOPS 567100 HAS SOUS 68060 HAS SOUPS 66938 WITH SCORE 67511.184
AT ITER 6351 NEW BEST:: SOT 1601981 SOS 573482 HAS SOPS 567398 HAS SOUS 67975 HAS SOUPS 66853 WITH SCORE 67426.482
AT ITER 6385 NEW BEST:: SOT 1601981 SOS 573458 HAS SOPS 567374 HAS SOUS 67969 HAS SOUPS 66847 WITH SCORE 67420.458
AT ITER 6390 NEW BEST:: SOT 1601973 SOS 573408 HAS SOPS 567290 HAS SOUS 67925 HAS SOUPS 66797 WITH SCORE 67370.408
AT ITER 6394 NEW BEST:: SOT 1601916 SOS 573392 HAS SOPS 567207 HAS SOUS 67852 HAS SOUPS 66714 WITH SCORE 67287.392
AT ITER 6407 NEW BEST:: SOT 1602020 SOS 573496 HAS SOPS 567311 HAS SOUS 67786 HAS SOUPS 66648 WITH SCORE 67221.496
AT ITER 6413 NEW BEST:: SOT 1601930 SOS 573406 HAS SOPS 567225 HAS SOUS 67716 HAS SOUPS 66582 WITH SCORE 67155.406
AT ITER 6421 NEW BEST:: SOT 1601930 SOS 573406 HAS SOPS 567225 HAS SOUS 67712 HAS SOUPS 66578 WITH SCORE 67151.406
AT ITER 6430 NEW BEST:: SOT 1601930 SOS 573414 HAS SOPS 567233 HAS SOUS 67693 HAS SOUPS 66559 WITH SCORE 67132.414
AT ITER 6433 NEW BEST:: SOT 1601927 SOS 573411 HAS SOPS 567221 HAS SOUS 67687 HAS SOUPS 66553 WITH SCORE 67126.411
AT ITER 6445 NEW BEST:: SOT 1601830 SOS 573314 HAS SOPS 567124 HAS SOUS 67535 HAS SOUPS 66401 WITH SCORE 66974.314
AT ITER 6450 NEW BEST:: SOT 1601828 SOS 573312 HAS SOPS 567038 HAS SOUS 67526 HAS SOUPS 66394 WITH SCORE 66967.312
AT ITER 6457 NEW BEST:: SOT 1601822 SOS 573306 HAS SOPS 567032 HAS SOUS 67526 HAS SOUPS 66394 WITH SCORE 66967.306
AT ITER 6482 NEW BEST:: SOT 1601816 SOS 573300 HAS SOPS 567026 HAS SOUS 67440 HAS SOUPS 66308 WITH SCORE 66881.3
AT ITER 6489 NEW BEST:: SOT 1601848 SOS 573332 HAS SOPS 567058 HAS SOUS 67377 HAS SOUPS 66245 WITH SCORE 66818.332
AT ITER 6522 NEW BEST:: SOT 1601881 SOS 573312 HAS SOPS 567038 HAS SOUS 67357 HAS SOUPS 66225 WITH SCORE 66798.312
AT ITER 6569 NEW BEST:: SOT 1601545 SOS 572976 HAS SOPS 566702 HAS SOUS 67325 HAS SOUPS 66193 WITH SCORE 66765.976
AT ITER 6588 NEW BEST:: SOT 1601888 SOS 573198 HAS SOPS 566924 HAS SOUS 67285 HAS SOUPS 66153 WITH SCORE 66726.198
AT ITER 6611 NEW BEST:: SOT 1601813 SOS 573144 HAS SOPS 566870 HAS SOUS 67243 HAS SOUPS 66111 WITH SCORE 66684.144
AT ITER 6651 NEW BEST:: SOT 1601785 SOS 573111 HAS SOPS 566837 HAS SOUS 67235 HAS SOUPS 66103 WITH SCORE 66676.111
AT ITER 6655 NEW BEST:: SOT 1601779 SOS 573108 HAS SOPS 566831 HAS SOUS 67229 HAS SOUPS 66097 WITH SCORE 66670.108
AT ITER 6658 NEW BEST:: SOT 1601497 SOS 572757 HAS SOPS 566531 HAS SOUS 67016 HAS SOUPS 65907 WITH SCORE 66479.757
AT ITER 6679 NEW BEST:: SOT 1601498 SOS 572758 HAS SOPS 566532 HAS SOUS 67015 HAS SOUPS 65906 WITH SCORE 66478.758
AT ITER 6696 NEW BEST:: SOT 1601269 SOS 572529 HAS SOPS 566303 HAS SOUS 66822 HAS SOUPS 65713 WITH SCORE 66285.529
AT ITER 6703 NEW BEST:: SOT 1601272 SOS 572532 HAS SOPS 566306 HAS SOUS 66815 HAS SOUPS 65706 WITH SCORE 66278.532
AT ITER 6704 NEW BEST:: SOT 1601270 SOS 572530 HAS SOPS 566304 HAS SOUS 66807 HAS SOUPS 65698 WITH SCORE 66270.53
AT ITER 6711 NEW BEST:: SOT 1601230 SOS 572490 HAS SOPS 566264 HAS SOUS 66767 HAS SOUPS 65658 WITH SCORE 66230.49
AT ITER 6733 NEW BEST:: SOT 1601232 SOS 572492 HAS SOPS 566263 HAS SOUS 66761 HAS SOUPS 65652 WITH SCORE 66224.492
AT ITER 6740 NEW BEST:: SOT 1601229 SOS 572558 HAS SOPS 566329 HAS SOUS 66758 HAS SOUPS 65649 WITH SCORE 66221.558
AT ITER 6774 NEW BEST:: SOT 1601227 SOS 572556 HAS SOPS 566325 HAS SOUS 66754 HAS SOUPS 65645 WITH SCORE 66217.556
AT ITER 6784 NEW BEST:: SOT 1601289 SOS 572689 HAS SOPS 566458 HAS SOUS 66606 HAS SOUPS 65497 WITH SCORE 66069.689
AT ITER 6839 NEW BEST:: SOT 1601289 SOS 572671 HAS SOPS 566440 HAS SOUS 66606 HAS SOUPS 65497 WITH SCORE 66069.671
AT ITER 6841 NEW BEST:: SOT 1601254 SOS 572610 HAS SOPS 566379 HAS SOUS 66545 HAS SOUPS 65436 WITH SCORE 66008.61
AT ITER 6858 NEW BEST:: SOT 1601262 SOS 572658 HAS SOPS 566427 HAS SOUS 66537 HAS SOUPS 65428 WITH SCORE 66000.658
AT ITER 6883 NEW BEST:: SOT 1601260 SOS 572748 HAS SOPS 566517 HAS SOUS 66533 HAS SOUPS 65424 WITH SCORE 65996.748
AT ITER 6897 NEW BEST:: SOT 1601046 SOS 572624 HAS SOPS 567372 HAS SOUS 66381 HAS SOUPS 65296 WITH SCORE 65868.624
AT ITER 6913 NEW BEST:: SOT 1601046 SOS 572099 HAS SOPS 566847 HAS SOUS 66381 HAS SOUPS 65296 WITH SCORE 65868.099
AT ITER 6934 NEW BEST:: SOT 1601047 SOS 572098 HAS SOPS 566846 HAS SOUS 66378 HAS SOUPS 65293 WITH SCORE 65865.098
AT ITER 6981 NEW BEST:: SOT 1601047 SOS 572068 HAS SOPS 566831 HAS SOUS 66363 HAS SOUPS 65293 WITH SCORE 65865.068
AT ITER 6988 NEW BEST:: SOT 1601028 SOS 572047 HAS SOPS 566780 HAS SOUS 66270 HAS SOUPS 65200 WITH SCORE 65772.047
AT ITER 6992 NEW BEST:: SOT 1601022 SOS 572044 HAS SOPS 566777 HAS SOUS 66252 HAS SOUPS 65182 WITH SCORE 65754.044
AT ITER 6995 NEW BEST:: SOT 1601012 SOS 572596 HAS SOPS 567329 HAS SOUS 66242 HAS SOUPS 65172 WITH SCORE 65744.596
AT ITER 6996 NEW BEST:: SOT 1600988 SOS 572566 HAS SOPS 567299 HAS SOUS 66194 HAS SOUPS 65124 WITH SCORE 65696.566
AT ITER 7036 NEW BEST:: SOT 1600925 SOS 572588 HAS SOPS 567321 HAS SOUS 66074 HAS SOUPS 65004 WITH SCORE 65576.588
AT ITER 7093 NEW BEST:: SOT 1600931 SOS 572594 HAS SOPS 567322 HAS SOUS 66064 HAS SOUPS 64994 WITH SCORE 65566.594
AT ITER 7095 NEW BEST:: SOT 1600930 SOS 572592 HAS SOPS 567320 HAS SOUS 66064 HAS SOUPS 64994 WITH SCORE 65566.592
AT ITER 7106 NEW BEST:: SOT 1600909 SOS 572558 HAS SOPS 567286 HAS SOUS 66048 HAS SOUPS 64978 WITH SCORE 65550.558
AT ITER 7131 NEW BEST:: SOT 1600903 SOS 572555 HAS SOPS 567279 HAS SOUS 66036 HAS SOUPS 64966 WITH SCORE 65538.555
AT ITER 7144 NEW BEST:: SOT 1600897 SOS 572551 HAS SOPS 567275 HAS SOUS 66032 HAS SOUPS 64962 WITH SCORE 65534.551
AT ITER 7166 NEW BEST:: SOT 1600892 SOS 572472 HAS SOPS 567196 HAS SOUS 66031 HAS SOUPS 64961 WITH SCORE 65533.472
AT ITER 7206 NEW BEST:: SOT 1600898 SOS 572610 HAS SOPS 567334 HAS SOUS 66013 HAS SOUPS 64943 WITH SCORE 65515.61
AT ITER 7233 NEW BEST:: SOT 1600864 SOS 572576 HAS SOPS 567300 HAS SOUS 65943 HAS SOUPS 64873 WITH SCORE 65445.576
AT ITER 7299 NEW BEST:: SOT 1600864 SOS 572576 HAS SOPS 567300 HAS SOUS 65887 HAS SOUPS 64817 WITH SCORE 65389.576
AT ITER 7368 NEW BEST:: SOT 1600824 SOS 572536 HAS SOPS 567260 HAS SOUS 65803 HAS SOUPS 64733 WITH SCORE 65305.536
AT ITER 7377 NEW BEST:: SOT 1600768 SOS 572550 HAS SOPS 567274 HAS SOUS 65696 HAS SOUPS 64626 WITH SCORE 65198.55
AT ITER 7424 NEW BEST:: SOT 1600740 SOS 572537 HAS SOPS 567261 HAS SOUS 65635 HAS SOUPS 64565 WITH SCORE 65137.537
AT ITER 7440 NEW BEST:: SOT 1600740 SOS 572536 HAS SOPS 567260 HAS SOUS 65634 HAS SOUPS 64564 WITH SCORE 65136.536
AT ITER 7462 NEW BEST:: SOT 1600732 SOS 572528 HAS SOPS 567244 HAS SOUS 65606 HAS SOUPS 64536 WITH SCORE 65108.528
AT ITER 7484 NEW BEST:: SOT 1600762 SOS 572584 HAS SOPS 567300 HAS SOUS 65603 HAS SOUPS 64533 WITH SCORE 65105.584
AT ITER 7496 NEW BEST:: SOT 1600739 SOS 563461 HAS SOPS 558177 HAS SOUS 65579 HAS SOUPS 64509 WITH SCORE 65072.461
AT ITER 7521 NEW BEST:: SOT 1600757 SOS 563479 HAS SOPS 558195 HAS SOUS 65471 HAS SOUPS 64401 WITH SCORE 64964.479
AT ITER 7523 NEW BEST:: SOT 1600756 SOS 563477 HAS SOPS 558193 HAS SOUS 65469 HAS SOUPS 64399 WITH SCORE 64962.477
AT ITER 7572 NEW BEST:: SOT 1600751 SOS 563458 HAS SOPS 558174 HAS SOUS 65457 HAS SOUPS 64387 WITH SCORE 64950.458
AT ITER 7576 NEW BEST:: SOT 1600686 SOS 563376 HAS SOPS 558092 HAS SOUS 65348 HAS SOUPS 64278 WITH SCORE 64841.376
AT ITER 7592 NEW BEST:: SOT 1600718 SOS 563412 HAS SOPS 558062 HAS SOUS 65246 HAS SOUPS 64176 WITH SCORE 64739.412
AT ITER 7610 NEW BEST:: SOT 1600677 SOS 563350 HAS SOPS 558000 HAS SOUS 65184 HAS SOUPS 64114 WITH SCORE 64677.35
AT ITER 7630 NEW BEST:: SOT 1600682 SOS 563349 HAS SOPS 557999 HAS SOUS 65183 HAS SOUPS 64113 WITH SCORE 64676.349
AT ITER 7631 NEW BEST:: SOT 1600680 SOS 563343 HAS SOPS 557993 HAS SOUS 65180 HAS SOUPS 64110 WITH SCORE 64673.343
AT ITER 7656 NEW BEST:: SOT 1600673 SOS 563309 HAS SOPS 557959 HAS SOUS 65179 HAS SOUPS 64109 WITH SCORE 64672.309
AT ITER 7671 NEW BEST:: SOT 1600673 SOS 563309 HAS SOPS 557959 HAS SOUS 65104 HAS SOUPS 64034 WITH SCORE 64597.309
AT ITER 7711 NEW BEST:: SOT 1600752 SOS 563285 HAS SOPS 557935 HAS SOUS 65080 HAS SOUPS 64010 WITH SCORE 64573.285
AT ITER 7727 NEW BEST:: SOT 1600752 SOS 563330 HAS SOPS 557980 HAS SOUS 65053 HAS SOUPS 63983 WITH SCORE 64546.33
AT ITER 7737 NEW BEST:: SOT 1600734 SOS 566040 HAS SOPS 560690 HAS SOUS 65041 HAS SOUPS 63971 WITH SCORE 64537.04
AT ITER 7745 NEW BEST:: SOT 1600819 SOS 532133 HAS SOPS 526783 HAS SOUS 65061 HAS SOUPS 63991 WITH SCORE 64523.133
AT ITER 7748 NEW BEST:: SOT 1600814 SOS 531262 HAS SOPS 525912 HAS SOUS 65036 HAS SOUPS 63966 WITH SCORE 64497.262
AT ITER 7783 NEW BEST:: SOT 1588439 SOS 536948 HAS SOPS 531598 HAS SOUS 64844 HAS SOUPS 63774 WITH SCORE 64310.948
AT ITER 7788 NEW BEST:: SOT 1588454 SOS 536963 HAS SOPS 531613 HAS SOUS 64838 HAS SOUPS 63768 WITH SCORE 64304.963
AT ITER 7789 NEW BEST:: SOT 1588435 SOS 536815 HAS SOPS 531465 HAS SOUS 64603 HAS SOUPS 63533 WITH SCORE 64069.815
AT ITER 7801 NEW BEST:: SOT 1588435 SOS 536802 HAS SOPS 531452 HAS SOUS 64590 HAS SOUPS 63520 WITH SCORE 64056.802
AT ITER 7811 NEW BEST:: SOT 1588411 SOS 536820 HAS SOPS 531470 HAS SOUS 64575 HAS SOUPS 63505 WITH SCORE 64041.82
AT ITER 7817 NEW BEST:: SOT 1588450 SOS 536885 HAS SOPS 531442 HAS SOUS 64529 HAS SOUPS 63459 WITH SCORE 63995.885
AT ITER 7882 NEW BEST:: SOT 1588424 SOS 536432 HAS SOPS 531385 HAS SOUS 64472 HAS SOUPS 63416 WITH SCORE 63952.432
AT ITER 7932 NEW BEST:: SOT 1591285 SOS 539332 HAS SOPS 534285 HAS SOUS 63996 HAS SOUPS 62940 WITH SCORE 63479.332
AT ITER 7934 NEW BEST:: SOT 1591272 SOS 539318 HAS SOPS 534271 HAS SOUS 63953 HAS SOUPS 62897 WITH SCORE 63436.318
AT ITER 7944 NEW BEST:: SOT 1591272 SOS 539308 HAS SOPS 534261 HAS SOUS 63953 HAS SOUPS 62897 WITH SCORE 63436.308
AT ITER 7947 NEW BEST:: SOT 1591253 SOS 539283 HAS SOPS 534236 HAS SOUS 63928 HAS SOUPS 62872 WITH SCORE 63411.283
AT ITER 7968 NEW BEST:: SOT 1591204 SOS 539234 HAS SOPS 534187 HAS SOUS 63830 HAS SOUPS 62774 WITH SCORE 63313.234
AT ITER 7993 NEW BEST:: SOT 1591175 SOS 539301 HAS SOPS 534302 HAS SOUS 63672 HAS SOUPS 62616 WITH SCORE 63155.301
AT ITER 8004 NEW BEST:: SOT 1591150 SOS 539276 HAS SOPS 534277 HAS SOUS 63671 HAS SOUPS 62615 WITH SCORE 63154.276
AT ITER 8023 NEW BEST:: SOT 1591133 SOS 539232 HAS SOPS 534233 HAS SOUS 63657 HAS SOUPS 62601 WITH SCORE 63140.232
AT ITER 8073 NEW BEST:: SOT 1591154 SOS 538752 HAS SOPS 533753 HAS SOUS 63591 HAS SOUPS 62535 WITH SCORE 63073.752
AT ITER 8076 NEW BEST:: SOT 1591231 SOS 538775 HAS SOPS 533776 HAS SOUS 63564 HAS SOUPS 62508 WITH SCORE 63046.775
AT ITER 8113 NEW BEST:: SOT 1591226 SOS 538770 HAS SOPS 533771 HAS SOUS 63559 HAS SOUPS 62503 WITH SCORE 63041.77
AT ITER 8167 NEW BEST:: SOT 1591261 SOS 538805 HAS SOPS 533802 HAS SOUS 63557 HAS SOUPS 62501 WITH SCORE 63039.805
AT ITER 8168 NEW BEST:: SOT 1591235 SOS 538779 HAS SOPS 533776 HAS SOUS 63545 HAS SOUPS 62489 WITH SCORE 63027.779
AT ITER 8257 NEW BEST:: SOT 1591235 SOS 538741 HAS SOPS 533738 HAS SOUS 63513 HAS SOUPS 62457 WITH SCORE 62995.741
AT ITER 8269 NEW BEST:: SOT 1591267 SOS 538827 HAS SOPS 533824 HAS SOUS 63482 HAS SOUPS 62426 WITH SCORE 62964.827
AT ITER 8281 NEW BEST:: SOT 1591266 SOS 538826 HAS SOPS 533823 HAS SOUS 63454 HAS SOUPS 62398 WITH SCORE 62936.826
AT ITER 8336 NEW BEST:: SOT 1591202 SOS 538734 HAS SOPS 533731 HAS SOUS 63417 HAS SOUPS 62361 WITH SCORE 62899.734
AT ITER 8404 NEW BEST:: SOT 1591190 SOS 538656 HAS SOPS 533653 HAS SOUS 63405 HAS SOUPS 62349 WITH SCORE 62887.656
AT ITER 8429 NEW BEST:: SOT 1591186 SOS 538652 HAS SOPS 533649 HAS SOUS 63401 HAS SOUPS 62345 WITH SCORE 62883.652
AT ITER 8448 NEW BEST:: SOT 1591202 SOS 538673 HAS SOPS 533670 HAS SOUS 63381 HAS SOUPS 62325 WITH SCORE 62863.673
AT ITER 8451 NEW BEST:: SOT 1591197 SOS 538668 HAS SOPS 533665 HAS SOUS 63369 HAS SOUPS 62313 WITH SCORE 62851.668
AT ITER 8537 NEW BEST:: SOT 1591197 SOS 538659 HAS SOPS 533656 HAS SOUS 63369 HAS SOUPS 62313 WITH SCORE 62851.659
AT ITER 8538 NEW BEST:: SOT 1591242 SOS 608994 HAS SOPS 603991 HAS SOUS 63262 HAS SOUPS 62206 WITH SCORE 62814.994
AT ITER 8542 NEW BEST:: SOT 1591288 SOS 608975 HAS SOPS 603972 HAS SOUS 63163 HAS SOUPS 62107 WITH SCORE 62715.975
AT ITER 8555 NEW BEST:: SOT 1589513 SOS 607200 HAS SOPS 602197 HAS SOUS 63119 HAS SOUPS 62063 WITH SCORE 62670.2
AT ITER 8699 NEW BEST:: SOT 1589510 SOS 607214 HAS SOPS 602211 HAS SOUS 63113 HAS SOUPS 62057 WITH SCORE 62664.214
AT ITER 8722 NEW BEST:: SOT 1589444 SOS 607140 HAS SOPS 602184 HAS SOUS 63061 HAS SOUPS 62005 WITH SCORE 62612.14
AT ITER 8741 NEW BEST:: SOT 1589802 SOS 607498 HAS SOPS 602542 HAS SOUS 63015 HAS SOUPS 61959 WITH SCORE 62566.498
AT ITER 8763 NEW BEST:: SOT 1589644 SOS 609454 HAS SOPS 604510 HAS SOUS 62925 HAS SOUPS 61872 WITH SCORE 62481.454
AT ITER 8779 NEW BEST:: SOT 1589770 SOS 609499 HAS SOPS 604555 HAS SOUS 62877 HAS SOUPS 61824 WITH SCORE 62433.499
AT ITER 8781 NEW BEST:: SOT 1589767 SOS 609488 HAS SOPS 604544 HAS SOUS 62866 HAS SOUPS 61813 WITH SCORE 62422.488
AT ITER 8833 NEW BEST:: SOT 1589765 SOS 609484 HAS SOPS 604540 HAS SOUS 62862 HAS SOUPS 61809 WITH SCORE 62418.484
AT ITER 8839 NEW BEST:: SOT 1589765 SOS 609484 HAS SOPS 604540 HAS SOUS 62844 HAS SOUPS 61791 WITH SCORE 62400.484
AT ITER 8844 NEW BEST:: SOT 1589638 SOS 609357 HAS SOPS 604413 HAS SOUS 62634 HAS SOUPS 61581 WITH SCORE 62190.357
AT ITER 8853 NEW BEST:: SOT 1589624 SOS 609322 HAS SOPS 604378 HAS SOUS 62617 HAS SOUPS 61564 WITH SCORE 62173.322
AT ITER 8866 NEW BEST:: SOT 1589635 SOS 609317 HAS SOPS 604373 HAS SOUS 62575 HAS SOUPS 61522 WITH SCORE 62131.317
AT ITER 8905 NEW BEST:: SOT 1589637 SOS 609319 HAS SOPS 604375 HAS SOUS 62573 HAS SOUPS 61520 WITH SCORE 62129.319
AT ITER 8915 NEW BEST:: SOT 1589605 SOS 609287 HAS SOPS 604343 HAS SOUS 62497 HAS SOUPS 61444 WITH SCORE 62053.287
AT ITER 8934 NEW BEST:: SOT 1589692 SOS 609374 HAS SOPS 604430 HAS SOUS 62445 HAS SOUPS 61392 WITH SCORE 62001.374
AT ITER 8964 NEW BEST:: SOT 1589747 SOS 605337 HAS SOPS 600393 HAS SOUS 62431 HAS SOUPS 61378 WITH SCORE 61983.337
AT ITER 8989 NEW BEST:: SOT 1589684 SOS 605274 HAS SOPS 600330 HAS SOUS 62389 HAS SOUPS 61336 WITH SCORE 61941.274
AT ITER 9001 NEW BEST:: SOT 1589631 SOS 605208 HAS SOPS 600264 HAS SOUS 62348 HAS SOUPS 61295 WITH SCORE 61900.208
AT ITER 9026 NEW BEST:: SOT 1589623 SOS 605200 HAS SOPS 600256 HAS SOUS 62340 HAS SOUPS 61287 WITH SCORE 61892.2
AT ITER 9044 NEW BEST:: SOT 1589590 SOS 605136 HAS SOPS 600192 HAS SOUS 62321 HAS SOUPS 61268 WITH SCORE 61873.136
AT ITER 9059 NEW BEST:: SOT 1589623 SOS 605208 HAS SOPS 600264 HAS SOUS 62204 HAS SOUPS 61151 WITH SCORE 61756.208
AT ITER 9082 NEW BEST:: SOT 1589629 SOS 605466 HAS SOPS 600522 HAS SOUS 62181 HAS SOUPS 61128 WITH SCORE 61733.466
AT ITER 9097 NEW BEST:: SOT 1589627 SOS 605428 HAS SOPS 600484 HAS SOUS 62178 HAS SOUPS 61125 WITH SCORE 61730.428
AT ITER 9178 NEW BEST:: SOT 1589627 SOS 605416 HAS SOPS 600472 HAS SOUS 62178 HAS SOUPS 61125 WITH SCORE 61730.416
AT ITER 9206 NEW BEST:: SOT 1589588 SOS 605391 HAS SOPS 600447 HAS SOUS 62153 HAS SOUPS 61100 WITH SCORE 61705.391
AT ITER 9215 NEW BEST:: SOT 1589578 SOS 605371 HAS SOPS 600427 HAS SOUS 62133 HAS SOUPS 61080 WITH SCORE 61685.371
AT ITER 9248 NEW BEST:: SOT 1589572 SOS 605365 HAS SOPS 600426 HAS SOUS 62128 HAS SOUPS 61075 WITH SCORE 61680.365
AT ITER 9261 NEW BEST:: SOT 1588745 SOS 683655 HAS SOPS 678716 HAS SOUS 61903 HAS SOUPS 60850 WITH SCORE 61533.655
AT ITER 9268 NEW BEST:: SOT 1588744 SOS 683654 HAS SOPS 678715 HAS SOUS 61903 HAS SOUPS 60850 WITH SCORE 61533.654
AT ITER 9281 NEW BEST:: SOT 1588774 SOS 683307 HAS SOPS 678368 HAS SOUS 61842 HAS SOUPS 60789 WITH SCORE 61472.307
AT ITER 9384 NEW BEST:: SOT 1588768 SOS 683301 HAS SOPS 678362 HAS SOUS 61811 HAS SOUPS 60758 WITH SCORE 61441.301
AT ITER 9424 NEW BEST:: SOT 1588773 SOS 683282 HAS SOPS 678343 HAS SOUS 61784 HAS SOUPS 60731 WITH SCORE 61414.282
AT ITER 9454 NEW BEST:: SOT 1588764 SOS 683320 HAS SOPS 678381 HAS SOUS 61777 HAS SOUPS 60724 WITH SCORE 61407.32
AT ITER 9470 NEW BEST:: SOT 1588764 SOS 683308 HAS SOPS 678375 HAS SOUS 61771 HAS SOUPS 60724 WITH SCORE 61407.308
AT ITER 9478 NEW BEST:: SOT 1588732 SOS 683233 HAS SOPS 678300 HAS SOUS 61758 HAS SOUPS 60711 WITH SCORE 61394.233
AT ITER 9499 NEW BEST:: SOT 1588664 SOS 683073 HAS SOPS 678140 HAS SOUS 61689 HAS SOUPS 60642 WITH SCORE 61325.073
AT ITER 9506 NEW BEST:: SOT 1588636 SOS 683045 HAS SOPS 678112 HAS SOUS 61678 HAS SOUPS 60631 WITH SCORE 61314.045
AT ITER 9565 NEW BEST:: SOT 1588574 SOS 682976 HAS SOPS 678075 HAS SOUS 61673 HAS SOUPS 60626 WITH SCORE 61308.976
AT ITER 9567 NEW BEST:: SOT 1588557 SOS 682959 HAS SOPS 678058 HAS SOUS 61673 HAS SOUPS 60626 WITH SCORE 61308.959
AT ITER 9612 NEW BEST:: SOT 1588557 SOS 683061 HAS SOPS 678160 HAS SOUS 61639 HAS SOUPS 60592 WITH SCORE 61275.061
AT ITER 9619 NEW BEST:: SOT 1588529 SOS 683033 HAS SOPS 678146 HAS SOUS 61597 HAS SOUPS 60550 WITH SCORE 61233.033
AT ITER 9625 NEW BEST:: SOT 1588529 SOS 682989 HAS SOPS 678146 HAS SOUS 61586 HAS SOUPS 60550 WITH SCORE 61232.989
AT ITER 9636 NEW BEST:: SOT 1588536 SOS 682996 HAS SOPS 678137 HAS SOUS 61570 HAS SOUPS 60534 WITH SCORE 61216.996
AT ITER 9643 NEW BEST:: SOT 1588531 SOS 683003 HAS SOPS 678144 HAS SOUS 61548 HAS SOUPS 60512 WITH SCORE 61195.003
AT ITER 9655 NEW BEST:: SOT 1588419 SOS 682877 HAS SOPS 678018 HAS SOUS 61524 HAS SOUPS 60488 WITH SCORE 61170.877
AT ITER 9668 NEW BEST:: SOT 1588411 SOS 682863 HAS SOPS 678004 HAS SOUS 61516 HAS SOUPS 60480 WITH SCORE 61162.863
AT ITER 9670 NEW BEST:: SOT 1588390 SOS 682821 HAS SOPS 677989 HAS SOUS 61490 HAS SOUPS 60475 WITH SCORE 61157.821
AT ITER 9703 NEW BEST:: SOT 1588335 SOS 682782 HAS SOPS 677950 HAS SOUS 61484 HAS SOUPS 60469 WITH SCORE 61151.782
AT ITER 9717 NEW BEST:: SOT 1588324 SOS 682761 HAS SOPS 677929 HAS SOUS 61477 HAS SOUPS 60462 WITH SCORE 61144.761
AT ITER 9721 NEW BEST:: SOT 1588101 SOS 682482 HAS SOPS 677650 HAS SOUS 61140 HAS SOUPS 60125 WITH SCORE 60807.482
AT ITER 9726 NEW BEST:: SOT 1588091 SOS 682472 HAS SOPS 677640 HAS SOUS 61122 HAS SOUPS 60107 WITH SCORE 60789.472
AT ITER 9740 NEW BEST:: SOT 1588070 SOS 682439 HAS SOPS 677607 HAS SOUS 61086 HAS SOUPS 60071 WITH SCORE 60753.439
AT ITER 9747 NEW BEST:: SOT 1588111 SOS 682525 HAS SOPS 677693 HAS SOUS 61078 HAS SOUPS 60063 WITH SCORE 60745.525
AT ITER 9749 NEW BEST:: SOT 1588092 SOS 682515 HAS SOPS 677675 HAS SOUS 61051 HAS SOUPS 60036 WITH SCORE 60718.515
AT ITER 9751 NEW BEST:: SOT 1588092 SOS 682251 HAS SOPS 677411 HAS SOUS 61051 HAS SOUPS 60036 WITH SCORE 60718.251
AT ITER 9777 NEW BEST:: SOT 1587996 SOS 682155 HAS SOPS 677315 HAS SOUS 60399 HAS SOUPS 59384 WITH SCORE 60066.155
AT ITER 9784 NEW BEST:: SOT 1587986 SOS 681316 HAS SOPS 676476 HAS SOUS 60368 HAS SOUPS 59353 WITH SCORE 60034.316
AT ITER 9814 NEW BEST:: SOT 1587978 SOS 681306 HAS SOPS 676466 HAS SOUS 60359 HAS SOUPS 59344 WITH SCORE 60025.306
AT ITER 9864 NEW BEST:: SOT 1587968 SOS 681304 HAS SOPS 676464 HAS SOUS 60339 HAS SOUPS 59324 WITH SCORE 60005.304
AT ITER 9873 NEW BEST:: SOT 1587891 SOS 681092 HAS SOPS 676252 HAS SOUS 60279 HAS SOUPS 59264 WITH SCORE 59945.092
AT ITER 9912 NEW BEST:: SOT 1587907 SOS 681100 HAS SOPS 676260 HAS SOUS 60271 HAS SOUPS 59256 WITH SCORE 59937.1
AT ITER 9917 NEW BEST:: SOT 1587828 SOS 681041 HAS SOPS 676201 HAS SOUS 60245 HAS SOUPS 59230 WITH SCORE 59911.041
AT ITER 9985 NEW BEST:: SOT 1587825 SOS 681026 HAS SOPS 676186 HAS SOUS 60236 HAS SOUPS 59221 WITH SCORE 59902.026
AT ITER 9998 NEW BEST:: SOT 1587825 SOS 680992 HAS SOPS 676152 HAS SOUS 60236 HAS SOUPS 59221 WITH SCORE 59901.992
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11599388 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16098908 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J04T04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBLF-PT-S06J04T04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953200592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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