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-167873953300680.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 PolyORBNT-COL-S10J20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 8.7K Feb 26 01:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 01:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 01:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 01:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 02:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 02:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K 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 1679530262825

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=PolyORBNT-COL-S10J20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 00:11:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 00:11:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 00:11:04] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-23 00:11:04] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 00:11:04] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 463 ms
[2023-03-23 00:11:04] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 494 PT places and 11822.0 transition bindings in 18 ms.
[2023-03-23 00:11:04] [INFO ] Unfolded HLPN to a Petri net with 494 places and 11780 transitions 111159 arcs in 212 ms.
[2023-03-23 00:11:04] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 00:11:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 494 places, 11780 transitions and 111159 arcs took 168 ms.
Total runtime 946 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J20
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: 494 places, 11780 transitions, 111159 arcs.
AT ITER 0 NEW BEST:: SOT 5427408 SOS 703544 HAS SOPS 703466 HAS SOUS 127219 HAS SOUPS 127141 WITH SCORE 127844.544
AT ITER 22 NEW BEST:: SOT 5427396 SOS 703412 HAS SOPS 703334 HAS SOUS 127193 HAS SOUPS 127115 WITH SCORE 127818.412
AT ITER 43 NEW BEST:: SOT 5423067 SOS 699113 HAS SOPS 699005 HAS SOUS 127078 HAS SOUPS 126970 WITH SCORE 127669.113
AT ITER 63 NEW BEST:: SOT 5408743 SOS 774406 HAS SOPS 774225 HAS SOUS 126914 HAS SOUPS 126733 WITH SCORE 127507.406
AT ITER 76 NEW BEST:: SOT 5409058 SOS 774721 HAS SOPS 774540 HAS SOUS 126369 HAS SOUPS 126188 WITH SCORE 126962.721
AT ITER 78 NEW BEST:: SOT 5409033 SOS 774446 HAS SOPS 774265 HAS SOUS 126306 HAS SOUPS 126125 WITH SCORE 126899.446
AT ITER 117 NEW BEST:: SOT 5409027 SOS 774380 HAS SOPS 774199 HAS SOUS 126288 HAS SOUPS 126107 WITH SCORE 126881.38
AT ITER 121 NEW BEST:: SOT 5408970 SOS 774323 HAS SOPS 774142 HAS SOUS 126218 HAS SOUPS 126037 WITH SCORE 126811.323
AT ITER 151 NEW BEST:: SOT 5408961 SOS 774323 HAS SOPS 774142 HAS SOUS 126209 HAS SOUPS 126028 WITH SCORE 126802.323
AT ITER 174 NEW BEST:: SOT 5406619 SOS 1268071 HAS SOPS 1267890 HAS SOUS 125599 HAS SOUPS 125418 WITH SCORE 126686.071
AT ITER 183 NEW BEST:: SOT 5406619 SOS 1268071 HAS SOPS 1267890 HAS SOUS 125595 HAS SOUPS 125414 WITH SCORE 126682.071
AT ITER 192 NEW BEST:: SOT 5403775 SOS 1265290 HAS SOPS 1265109 HAS SOUS 122807 HAS SOUPS 122626 WITH SCORE 123891.29
AT ITER 193 NEW BEST:: SOT 5403575 SOS 1265164 HAS SOPS 1264983 HAS SOUS 122768 HAS SOUPS 122587 WITH SCORE 123852.164
AT ITER 201 NEW BEST:: SOT 5403575 SOS 1265164 HAS SOPS 1264983 HAS SOUS 122757 HAS SOUPS 122576 WITH SCORE 123841.164
AT ITER 210 NEW BEST:: SOT 5403575 SOS 1265159 HAS SOPS 1264978 HAS SOUS 122749 HAS SOUPS 122568 WITH SCORE 123833.159
AT ITER 214 NEW BEST:: SOT 5403565 SOS 1265049 HAS SOPS 1264868 HAS SOUS 122719 HAS SOUPS 122538 WITH SCORE 123803.049
AT ITER 228 NEW BEST:: SOT 5403549 SOS 1265099 HAS SOPS 1264918 HAS SOUS 122703 HAS SOUPS 122522 WITH SCORE 123787.099
AT ITER 232 NEW BEST:: SOT 5403549 SOS 1265235 HAS SOPS 1265054 HAS SOUS 122692 HAS SOUPS 122511 WITH SCORE 123776.235
AT ITER 258 NEW BEST:: SOT 5403533 SOS 1265219 HAS SOPS 1265038 HAS SOUS 122660 HAS SOUPS 122479 WITH SCORE 123744.219
AT ITER 267 NEW BEST:: SOT 5403533 SOS 1265202 HAS SOPS 1265021 HAS SOUS 122646 HAS SOUPS 122465 WITH SCORE 123730.202
AT ITER 296 NEW BEST:: SOT 5403371 SOS 1264740 HAS SOPS 1264559 HAS SOUS 122482 HAS SOUPS 122301 WITH SCORE 123565.74
AT ITER 322 NEW BEST:: SOT 5403371 SOS 1264740 HAS SOPS 1264559 HAS SOUS 122475 HAS SOUPS 122294 WITH SCORE 123558.74
AT ITER 347 NEW BEST:: SOT 5403143 SOS 1264092 HAS SOPS 1263911 HAS SOUS 122244 HAS SOUPS 122063 WITH SCORE 123327.092
AT ITER 348 NEW BEST:: SOT 5402941 SOS 1263976 HAS SOPS 1263795 HAS SOUS 122240 HAS SOUPS 122059 WITH SCORE 123322.976
AT ITER 358 NEW BEST:: SOT 5402941 SOS 1263766 HAS SOPS 1263585 HAS SOUS 122219 HAS SOUPS 122038 WITH SCORE 123301.766
AT ITER 360 NEW BEST:: SOT 5402937 SOS 1263801 HAS SOPS 1263620 HAS SOUS 122215 HAS SOUPS 122034 WITH SCORE 123297.801
AT ITER 375 NEW BEST:: SOT 5402738 SOS 1263660 HAS SOPS 1263479 HAS SOUS 122056 HAS SOUPS 121875 WITH SCORE 123138.66
AT ITER 382 NEW BEST:: SOT 5402634 SOS 1263660 HAS SOPS 1263479 HAS SOUS 122039 HAS SOUPS 121858 WITH SCORE 123121.66
AT ITER 391 NEW BEST:: SOT 5402624 SOS 1263586 HAS SOPS 1263405 HAS SOUS 121947 HAS SOUPS 121766 WITH SCORE 123029.586
AT ITER 398 NEW BEST:: SOT 5402405 SOS 1262947 HAS SOPS 1262766 HAS SOUS 121716 HAS SOUPS 121535 WITH SCORE 122797.947
AT ITER 404 NEW BEST:: SOT 5402306 SOS 1262848 HAS SOPS 1262667 HAS SOUS 121607 HAS SOUPS 121426 WITH SCORE 122688.848
AT ITER 410 NEW BEST:: SOT 5402383 SOS 1263153 HAS SOPS 1262972 HAS SOUS 121568 HAS SOUPS 121387 WITH SCORE 122650.153
AT ITER 419 NEW BEST:: SOT 5402320 SOS 1262670 HAS SOPS 1262489 HAS SOUS 121442 HAS SOUPS 121261 WITH SCORE 122523.67
AT ITER 438 NEW BEST:: SOT 5402185 SOS 1262498 HAS SOPS 1262317 HAS SOUS 121353 HAS SOUPS 121172 WITH SCORE 122434.498
AT ITER 440 NEW BEST:: SOT 5402150 SOS 1262467 HAS SOPS 1262286 HAS SOUS 121248 HAS SOUPS 121067 WITH SCORE 122329.467
AT ITER 461 NEW BEST:: SOT 5401998 SOS 1262341 HAS SOPS 1262160 HAS SOUS 121168 HAS SOUPS 120987 WITH SCORE 122249.341
AT ITER 462 NEW BEST:: SOT 5401888 SOS 1262250 HAS SOPS 1262069 HAS SOUS 121128 HAS SOUPS 120947 WITH SCORE 122209.25
AT ITER 467 NEW BEST:: SOT 5402239 SOS 1262601 HAS SOPS 1262420 HAS SOUS 119405 HAS SOUPS 119224 WITH SCORE 120486.601
AT ITER 468 NEW BEST:: SOT 5397296 SOS 1257961 HAS SOPS 1257477 HAS SOUS 114765 HAS SOUPS 114281 WITH SCORE 115538.961
AT ITER 479 NEW BEST:: SOT 5397002 SOS 1257726 HAS SOPS 1257242 HAS SOUS 114676 HAS SOUPS 114192 WITH SCORE 115449.726
AT ITER 508 NEW BEST:: SOT 5397008 SOS 1258007 HAS SOPS 1257523 HAS SOUS 114667 HAS SOUPS 114183 WITH SCORE 115441.007
AT ITER 509 NEW BEST:: SOT 5396992 SOS 1257831 HAS SOPS 1257347 HAS SOUS 114624 HAS SOUPS 114140 WITH SCORE 115397.831
AT ITER 510 NEW BEST:: SOT 5396882 SOS 1257734 HAS SOPS 1257250 HAS SOUS 114524 HAS SOUPS 114040 WITH SCORE 115297.734
AT ITER 534 NEW BEST:: SOT 5395792 SOS 1256705 HAS SOPS 1256221 HAS SOUS 114007 HAS SOUPS 113523 WITH SCORE 114779.705
AT ITER 549 NEW BEST:: SOT 5395778 SOS 1256691 HAS SOPS 1256207 HAS SOUS 113993 HAS SOUPS 113509 WITH SCORE 114765.691
AT ITER 556 NEW BEST:: SOT 5395786 SOS 1256716 HAS SOPS 1256232 HAS SOUS 113985 HAS SOUPS 113501 WITH SCORE 114757.716
AT ITER 578 NEW BEST:: SOT 5395786 SOS 1256674 HAS SOPS 1256190 HAS SOUS 113969 HAS SOUPS 113485 WITH SCORE 114741.674
AT ITER 632 NEW BEST:: SOT 5395070 SOS 1255958 HAS SOPS 1255474 HAS SOUS 113218 HAS SOUPS 112734 WITH SCORE 113989.958
AT ITER 635 NEW BEST:: SOT 5394842 SOS 1255730 HAS SOPS 1255386 HAS SOUS 112804 HAS SOUPS 112460 WITH SCORE 113715.73
AT ITER 640 NEW BEST:: SOT 5394842 SOS 1255697 HAS SOPS 1255353 HAS SOUS 112804 HAS SOUPS 112460 WITH SCORE 113715.697
AT ITER 658 NEW BEST:: SOT 5394831 SOS 1255601 HAS SOPS 1255257 HAS SOUS 112608 HAS SOUPS 112264 WITH SCORE 113519.601
AT ITER 672 NEW BEST:: SOT 5394501 SOS 1255271 HAS SOPS 1254927 HAS SOUS 112287 HAS SOUPS 111943 WITH SCORE 113198.271
AT ITER 673 NEW BEST:: SOT 5394485 SOS 1255233 HAS SOPS 1254889 HAS SOUS 112255 HAS SOUPS 111911 WITH SCORE 113166.233
AT ITER 678 NEW BEST:: SOT 5394485 SOS 1255233 HAS SOPS 1254889 HAS SOUS 112254 HAS SOUPS 111910 WITH SCORE 113165.233
AT ITER 698 NEW BEST:: SOT 5394542 SOS 1255265 HAS SOPS 1254921 HAS SOUS 112219 HAS SOUPS 111875 WITH SCORE 113130.265
AT ITER 726 NEW BEST:: SOT 5394530 SOS 1255993 HAS SOPS 1255649 HAS SOUS 112192 HAS SOUPS 111848 WITH SCORE 113103.993
AT ITER 749 NEW BEST:: SOT 5394349 SOS 1255826 HAS SOPS 1255482 HAS SOUS 112000 HAS SOUPS 111656 WITH SCORE 112911.826
AT ITER 760 NEW BEST:: SOT 5394289 SOS 1255763 HAS SOPS 1255419 HAS SOUS 111940 HAS SOUPS 111596 WITH SCORE 112851.763
AT ITER 781 NEW BEST:: SOT 5394208 SOS 1255682 HAS SOPS 1255338 HAS SOUS 111777 HAS SOUPS 111433 WITH SCORE 112688.682
AT ITER 804 NEW BEST:: SOT 5394151 SOS 1255638 HAS SOPS 1255294 HAS SOUS 111776 HAS SOUPS 111432 WITH SCORE 112687.638
AT ITER 806 NEW BEST:: SOT 5393850 SOS 1255430 HAS SOPS 1255086 HAS SOUS 111630 HAS SOUPS 111286 WITH SCORE 112541.43
AT ITER 821 NEW BEST:: SOT 5393850 SOS 1255430 HAS SOPS 1255086 HAS SOUS 111626 HAS SOUPS 111282 WITH SCORE 112537.43
AT ITER 830 NEW BEST:: SOT 5393841 SOS 1255364 HAS SOPS 1255020 HAS SOUS 111609 HAS SOUPS 111265 WITH SCORE 112520.364
AT ITER 832 NEW BEST:: SOT 5393788 SOS 1255311 HAS SOPS 1254967 HAS SOUS 111603 HAS SOUPS 111259 WITH SCORE 112514.311
AT ITER 840 NEW BEST:: SOT 5393713 SOS 1255236 HAS SOPS 1254892 HAS SOUS 111561 HAS SOUPS 111217 WITH SCORE 112472.236
AT ITER 852 NEW BEST:: SOT 5393711 SOS 1255232 HAS SOPS 1254890 HAS SOUS 110983 HAS SOUPS 110641 WITH SCORE 111896.232
AT ITER 853 NEW BEST:: SOT 5393706 SOS 1255227 HAS SOPS 1254885 HAS SOUS 110978 HAS SOUPS 110636 WITH SCORE 111891.227
AT ITER 858 NEW BEST:: SOT 5393716 SOS 1255163 HAS SOPS 1254821 HAS SOUS 110830 HAS SOUPS 110488 WITH SCORE 111743.163
AT ITER 859 NEW BEST:: SOT 5393453 SOS 1254554 HAS SOPS 1254398 HAS SOUS 110572 HAS SOUPS 110416 WITH SCORE 111670.554
AT ITER 861 NEW BEST:: SOT 5393442 SOS 1255273 HAS SOPS 1255117 HAS SOUS 110561 HAS SOUPS 110405 WITH SCORE 111660.273
AT ITER 866 NEW BEST:: SOT 5393331 SOS 1255044 HAS SOPS 1254888 HAS SOUS 110456 HAS SOUPS 110300 WITH SCORE 111555.044
AT ITER 877 NEW BEST:: SOT 5393308 SOS 1254755 HAS SOPS 1254599 HAS SOUS 110389 HAS SOUPS 110233 WITH SCORE 111487.755
AT ITER 892 NEW BEST:: SOT 5393257 SOS 1254704 HAS SOPS 1254548 HAS SOUS 110287 HAS SOUPS 110131 WITH SCORE 111385.704
AT ITER 893 NEW BEST:: SOT 5393223 SOS 1254250 HAS SOPS 1254094 HAS SOUS 110229 HAS SOUPS 110073 WITH SCORE 111327.25
AT ITER 902 NEW BEST:: SOT 5393018 SOS 1254045 HAS SOPS 1253889 HAS SOUS 109950 HAS SOUPS 109794 WITH SCORE 111048.045
AT ITER 903 NEW BEST:: SOT 5392367 SOS 1253341 HAS SOPS 1253229 HAS SOUS 109259 HAS SOUPS 109147 WITH SCORE 110400.341
AT ITER 906 NEW BEST:: SOT 5392367 SOS 1253041 HAS SOPS 1252929 HAS SOUS 109238 HAS SOUPS 109126 WITH SCORE 110379.041
AT ITER 923 NEW BEST:: SOT 5392274 SOS 1252900 HAS SOPS 1252788 HAS SOUS 109171 HAS SOUPS 109059 WITH SCORE 110311.9
AT ITER 941 NEW BEST:: SOT 5391568 SOS 1252230 HAS SOPS 1252118 HAS SOUS 108570 HAS SOUPS 108458 WITH SCORE 109710.23
AT ITER 942 NEW BEST:: SOT 5391137 SOS 1251858 HAS SOPS 1251746 HAS SOUS 108434 HAS SOUPS 108322 WITH SCORE 109573.858
AT ITER 954 NEW BEST:: SOT 5390961 SOS 1251684 HAS SOPS 1251570 HAS SOUS 108400 HAS SOUPS 108286 WITH SCORE 109537.684
AT ITER 999 NEW BEST:: SOT 5390864 SOS 1251477 HAS SOPS 1251363 HAS SOUS 108301 HAS SOUPS 108187 WITH SCORE 109438.477
AT ITER 1027 NEW BEST:: SOT 5390843 SOS 1251456 HAS SOPS 1251342 HAS SOUS 108280 HAS SOUPS 108166 WITH SCORE 109417.456
AT ITER 1029 NEW BEST:: SOT 5390703 SOS 1251327 HAS SOPS 1251213 HAS SOUS 108180 HAS SOUPS 108066 WITH SCORE 109317.327
AT ITER 1042 NEW BEST:: SOT 5390691 SOS 1251315 HAS SOPS 1251201 HAS SOUS 108168 HAS SOUPS 108054 WITH SCORE 109305.315
AT ITER 1064 NEW BEST:: SOT 5386421 SOS 1247068 HAS SOPS 1246931 HAS SOUS 107596 HAS SOUPS 107459 WITH SCORE 108706.068
AT ITER 1071 NEW BEST:: SOT 5385577 SOS 1246279 HAS SOPS 1246142 HAS SOUS 107074 HAS SOUPS 106937 WITH SCORE 108183.279
AT ITER 1103 NEW BEST:: SOT 5385543 SOS 1246256 HAS SOPS 1246119 HAS SOUS 107050 HAS SOUPS 106913 WITH SCORE 108159.256
AT ITER 1106 NEW BEST:: SOT 5385482 SOS 1246195 HAS SOPS 1246058 HAS SOUS 106990 HAS SOUPS 106853 WITH SCORE 108099.195
AT ITER 1113 NEW BEST:: SOT 5385474 SOS 1246155 HAS SOPS 1246018 HAS SOUS 106910 HAS SOUPS 106773 WITH SCORE 108019.155
AT ITER 1114 NEW BEST:: SOT 5384946 SOS 1245682 HAS SOPS 1245545 HAS SOUS 106715 HAS SOUPS 106578 WITH SCORE 107823.682
AT ITER 1118 NEW BEST:: SOT 5384758 SOS 1245494 HAS SOPS 1245357 HAS SOUS 106666 HAS SOUPS 106529 WITH SCORE 107774.494
AT ITER 1148 NEW BEST:: SOT 5384767 SOS 1245482 HAS SOPS 1245345 HAS SOUS 106642 HAS SOUPS 106505 WITH SCORE 107750.482
AT ITER 1155 NEW BEST:: SOT 5384641 SOS 1245356 HAS SOPS 1245219 HAS SOUS 106563 HAS SOUPS 106426 WITH SCORE 107671.356
AT ITER 1175 NEW BEST:: SOT 5379907 SOS 1240640 HAS SOPS 1240485 HAS SOUS 106049 HAS SOUPS 105894 WITH SCORE 107134.64
AT ITER 1202 NEW BEST:: SOT 5379864 SOS 1240542 HAS SOPS 1240387 HAS SOUS 105853 HAS SOUPS 105698 WITH SCORE 106938.542
AT ITER 1208 NEW BEST:: SOT 5379799 SOS 1240477 HAS SOPS 1240322 HAS SOUS 105663 HAS SOUPS 105508 WITH SCORE 106748.477
AT ITER 1236 NEW BEST:: SOT 5379853 SOS 1240531 HAS SOPS 1240376 HAS SOUS 105662 HAS SOUPS 105507 WITH SCORE 106747.531
AT ITER 1237 NEW BEST:: SOT 5379764 SOS 1240053 HAS SOPS 1239898 HAS SOUS 105562 HAS SOUPS 105407 WITH SCORE 106647.053
AT ITER 1242 NEW BEST:: SOT 5379571 SOS 1239929 HAS SOPS 1239774 HAS SOUS 105414 HAS SOUPS 105259 WITH SCORE 106498.929
AT ITER 1258 NEW BEST:: SOT 5379564 SOS 1239922 HAS SOPS 1239767 HAS SOUS 105396 HAS SOUPS 105241 WITH SCORE 106480.922
AT ITER 1267 NEW BEST:: SOT 5379474 SOS 1240043 HAS SOPS 1239888 HAS SOUS 105271 HAS SOUPS 105116 WITH SCORE 106356.043
AT ITER 1269 NEW BEST:: SOT 5362275 SOS 1306621 HAS SOPS 1306389 HAS SOUS 104493 HAS SOUPS 104261 WITH SCORE 105567.621
AT ITER 1273 NEW BEST:: SOT 5362309 SOS 1306602 HAS SOPS 1306370 HAS SOUS 104455 HAS SOUPS 104223 WITH SCORE 105529.602
AT ITER 1289 NEW BEST:: SOT 5362304 SOS 1306597 HAS SOPS 1306365 HAS SOUS 104445 HAS SOUPS 104213 WITH SCORE 105519.597
AT ITER 1291 NEW BEST:: SOT 5362285 SOS 1306517 HAS SOPS 1306285 HAS SOUS 104407 HAS SOUPS 104175 WITH SCORE 105481.517
AT ITER 1303 NEW BEST:: SOT 5362119 SOS 1306389 HAS SOPS 1306157 HAS SOUS 104326 HAS SOUPS 104094 WITH SCORE 105400.389
AT ITER 1304 NEW BEST:: SOT 5362133 SOS 1306403 HAS SOPS 1306171 HAS SOUS 104302 HAS SOUPS 104070 WITH SCORE 105376.403
AT ITER 1307 NEW BEST:: SOT 5362128 SOS 1306393 HAS SOPS 1306161 HAS SOUS 104287 HAS SOUPS 104055 WITH SCORE 105361.393
AT ITER 1314 NEW BEST:: SOT 5361326 SOS 1305600 HAS SOPS 1305359 HAS SOUS 104199 HAS SOUPS 103958 WITH SCORE 105263.6
AT ITER 1335 NEW BEST:: SOT 5407693 SOS 1352013 HAS SOPS 1351772 HAS SOUS 103554 HAS SOUPS 103313 WITH SCORE 104665.013
AT ITER 1341 NEW BEST:: SOT 5407630 SOS 1351950 HAS SOPS 1351709 HAS SOUS 103491 HAS SOUPS 103250 WITH SCORE 104601.95
AT ITER 1354 NEW BEST:: SOT 5407630 SOS 1351950 HAS SOPS 1351709 HAS SOUS 103489 HAS SOUPS 103248 WITH SCORE 104599.95
AT ITER 1359 NEW BEST:: SOT 5407504 SOS 1351824 HAS SOPS 1351583 HAS SOUS 103482 HAS SOUPS 103241 WITH SCORE 104592.824
AT ITER 1370 NEW BEST:: SOT 5407403 SOS 1351723 HAS SOPS 1351482 HAS SOUS 103240 HAS SOUPS 102999 WITH SCORE 104350.723
AT ITER 1411 NEW BEST:: SOT 5407323 SOS 1351433 HAS SOPS 1351192 HAS SOUS 103146 HAS SOUPS 102905 WITH SCORE 104256.433
AT ITER 1420 NEW BEST:: SOT 5407227 SOS 1351311 HAS SOPS 1351070 HAS SOUS 103023 HAS SOUPS 102782 WITH SCORE 104133.311
AT ITER 1429 NEW BEST:: SOT 5407227 SOS 1351261 HAS SOPS 1351020 HAS SOUS 102777 HAS SOUPS 102536 WITH SCORE 103887.261
AT ITER 1430 NEW BEST:: SOT 5407143 SOS 1351057 HAS SOPS 1350816 HAS SOUS 102727 HAS SOUPS 102486 WITH SCORE 103837.057
AT ITER 1439 NEW BEST:: SOT 5406117 SOS 1350063 HAS SOPS 1349822 HAS SOUS 101861 HAS SOUPS 101620 WITH SCORE 102970.063
AT ITER 1450 NEW BEST:: SOT 5406020 SOS 1350306 HAS SOPS 1350065 HAS SOUS 101816 HAS SOUPS 101575 WITH SCORE 102925.306
AT ITER 1456 NEW BEST:: SOT 5406020 SOS 1350306 HAS SOPS 1350065 HAS SOUS 101774 HAS SOUPS 101533 WITH SCORE 102883.306
AT ITER 1474 NEW BEST:: SOT 5405871 SOS 1350157 HAS SOPS 1349916 HAS SOUS 101444 HAS SOUPS 101203 WITH SCORE 102553.157
AT ITER 1475 NEW BEST:: SOT 5405814 SOS 1350133 HAS SOPS 1349892 HAS SOUS 101396 HAS SOUPS 101155 WITH SCORE 102505.133
AT ITER 1486 NEW BEST:: SOT 5405763 SOS 1350082 HAS SOPS 1349841 HAS SOUS 101345 HAS SOUPS 101104 WITH SCORE 102454.082
AT ITER 1498 NEW BEST:: SOT 5405731 SOS 1350050 HAS SOPS 1349809 HAS SOUS 101281 HAS SOUPS 101040 WITH SCORE 102390.05
AT ITER 1499 NEW BEST:: SOT 5405731 SOS 1349978 HAS SOPS 1349737 HAS SOUS 101281 HAS SOUPS 101040 WITH SCORE 102389.978
AT ITER 1500 NEW BEST:: SOT 5405610 SOS 1349857 HAS SOPS 1349616 HAS SOUS 101207 HAS SOUPS 100966 WITH SCORE 102315.857
AT ITER 1512 NEW BEST:: SOT 5405375 SOS 1349202 HAS SOPS 1348961 HAS SOUS 100918 HAS SOUPS 100677 WITH SCORE 102026.202
AT ITER 1519 NEW BEST:: SOT 5404934 SOS 1348761 HAS SOPS 1348520 HAS SOUS 100465 HAS SOUPS 100224 WITH SCORE 101572.761
AT ITER 1532 NEW BEST:: SOT 5404932 SOS 1348712 HAS SOPS 1348471 HAS SOUS 100367 HAS SOUPS 100126 WITH SCORE 101474.712
AT ITER 1545 NEW BEST:: SOT 5404916 SOS 1348688 HAS SOPS 1348447 HAS SOUS 100343 HAS SOUPS 100102 WITH SCORE 101450.688
AT ITER 1554 NEW BEST:: SOT 5405081 SOS 1348853 HAS SOPS 1348612 HAS SOUS 99154 HAS SOUPS 98913 WITH SCORE 100261.853
AT ITER 1558 NEW BEST:: SOT 5405030 SOS 1348802 HAS SOPS 1348561 HAS SOUS 99030 HAS SOUPS 98789 WITH SCORE 100137.802
AT ITER 1574 NEW BEST:: SOT 5405003 SOS 1345028 HAS SOPS 1344787 HAS SOUS 98955 HAS SOUPS 98714 WITH SCORE 100059.028
AT ITER 1585 NEW BEST:: SOT 5404967 SOS 1344622 HAS SOPS 1344381 HAS SOUS 98912 HAS SOUPS 98671 WITH SCORE 100015.622
AT ITER 1586 NEW BEST:: SOT 5404960 SOS 1344615 HAS SOPS 1344374 HAS SOUS 98850 HAS SOUPS 98609 WITH SCORE 99953.615
AT ITER 1589 NEW BEST:: SOT 5404959 SOS 1344614 HAS SOPS 1344373 HAS SOUS 98848 HAS SOUPS 98607 WITH SCORE 99951.614
AT ITER 1596 NEW BEST:: SOT 5404958 SOS 1344613 HAS SOPS 1344372 HAS SOUS 98846 HAS SOUPS 98605 WITH SCORE 99949.613
AT ITER 1606 NEW BEST:: SOT 5381470 SOS 1436202 HAS SOPS 1435864 HAS SOUS 97715 HAS SOUPS 97377 WITH SCORE 98813.202
AT ITER 1627 NEW BEST:: SOT 5381470 SOS 1436185 HAS SOPS 1435847 HAS SOUS 97681 HAS SOUPS 97343 WITH SCORE 98779.185
AT ITER 1629 NEW BEST:: SOT 5381366 SOS 1436558 HAS SOPS 1436220 HAS SOUS 97432 HAS SOUPS 97094 WITH SCORE 98530.558
AT ITER 1631 NEW BEST:: SOT 5381376 SOS 1436568 HAS SOPS 1436230 HAS SOUS 97420 HAS SOUPS 97082 WITH SCORE 98518.568
AT ITER 1635 NEW BEST:: SOT 5381805 SOS 1436997 HAS SOPS 1436659 HAS SOUS 93917 HAS SOUPS 93579 WITH SCORE 95015.997
AT ITER 1652 NEW BEST:: SOT 5381753 SOS 1436945 HAS SOPS 1436607 HAS SOUS 93885 HAS SOUPS 93547 WITH SCORE 94983.945
AT ITER 1667 NEW BEST:: SOT 5381753 SOS 1436965 HAS SOPS 1436627 HAS SOUS 93882 HAS SOUPS 93544 WITH SCORE 94980.965
AT ITER 1675 NEW BEST:: SOT 5381783 SOS 1436963 HAS SOPS 1436595 HAS SOUS 93911 HAS SOUPS 93543 WITH SCORE 94979.963
AT ITER 1703 NEW BEST:: SOT 5381783 SOS 1436963 HAS SOPS 1436595 HAS SOUS 93904 HAS SOUPS 93536 WITH SCORE 94972.963
AT ITER 1756 NEW BEST:: SOT 5381773 SOS 1436965 HAS SOPS 1436597 HAS SOUS 93892 HAS SOUPS 93524 WITH SCORE 94960.965
AT ITER 1768 NEW BEST:: SOT 5381768 SOS 1436960 HAS SOPS 1436592 HAS SOUS 93882 HAS SOUPS 93514 WITH SCORE 94950.96
AT ITER 1779 NEW BEST:: SOT 5381722 SOS 1436914 HAS SOPS 1436546 HAS SOUS 93860 HAS SOUPS 93492 WITH SCORE 94928.914
AT ITER 1783 NEW BEST:: SOT 5381698 SOS 1436849 HAS SOPS 1436481 HAS SOUS 93730 HAS SOUPS 93362 WITH SCORE 94798.849
AT ITER 1790 NEW BEST:: SOT 5381678 SOS 1436886 HAS SOPS 1436518 HAS SOUS 93650 HAS SOUPS 93282 WITH SCORE 94718.886
AT ITER 1797 NEW BEST:: SOT 5381464 SOS 1436670 HAS SOPS 1436302 HAS SOUS 93430 HAS SOUPS 93062 WITH SCORE 94498.67
AT ITER 1818 NEW BEST:: SOT 5381464 SOS 1436670 HAS SOPS 1436302 HAS SOUS 93406 HAS SOUPS 93038 WITH SCORE 94474.67
AT ITER 1836 NEW BEST:: SOT 5381450 SOS 1436556 HAS SOPS 1436188 HAS SOUS 93392 HAS SOUPS 93024 WITH SCORE 94460.556
AT ITER 1868 NEW BEST:: SOT 5381450 SOS 1436696 HAS SOPS 1436328 HAS SOUS 93373 HAS SOUPS 93005 WITH SCORE 94441.696
AT ITER 1869 NEW BEST:: SOT 5381450 SOS 1436696 HAS SOPS 1436328 HAS SOUS 93336 HAS SOUPS 92968 WITH SCORE 94404.696
AT ITER 1884 NEW BEST:: SOT 5381450 SOS 1436696 HAS SOPS 1436328 HAS SOUS 93262 HAS SOUPS 92894 WITH SCORE 94330.696
AT ITER 1887 NEW BEST:: SOT 5381430 SOS 1436599 HAS SOPS 1436231 HAS SOUS 93246 HAS SOUPS 92878 WITH SCORE 94314.599
AT ITER 1890 NEW BEST:: SOT 5381424 SOS 1436595 HAS SOPS 1436227 HAS SOUS 93238 HAS SOUPS 92870 WITH SCORE 94306.595
AT ITER 1893 NEW BEST:: SOT 5381387 SOS 1436558 HAS SOPS 1436190 HAS SOUS 93193 HAS SOUPS 92825 WITH SCORE 94261.558
AT ITER 1895 NEW BEST:: SOT 5381375 SOS 1436546 HAS SOPS 1436178 HAS SOUS 93158 HAS SOUPS 92790 WITH SCORE 94226.546
AT ITER 1896 NEW BEST:: SOT 5381375 SOS 1436546 HAS SOPS 1436178 HAS SOUS 93124 HAS SOUPS 92756 WITH SCORE 94192.546
AT ITER 1909 NEW BEST:: SOT 5381371 SOS 1436738 HAS SOPS 1436370 HAS SOUS 93076 HAS SOUPS 92708 WITH SCORE 94144.738
AT ITER 1912 NEW BEST:: SOT 5381211 SOS 1436525 HAS SOPS 1436157 HAS SOUS 92914 HAS SOUPS 92546 WITH SCORE 93982.525
AT ITER 1916 NEW BEST:: SOT 5381178 SOS 1436492 HAS SOPS 1436124 HAS SOUS 92823 HAS SOUPS 92455 WITH SCORE 93891.492
AT ITER 1921 NEW BEST:: SOT 5381063 SOS 1436377 HAS SOPS 1436009 HAS SOUS 92720 HAS SOUPS 92352 WITH SCORE 93788.377
AT ITER 1942 NEW BEST:: SOT 5381063 SOS 1436377 HAS SOPS 1436009 HAS SOUS 92565 HAS SOUPS 92197 WITH SCORE 93633.377
AT ITER 1961 NEW BEST:: SOT 5381051 SOS 1436365 HAS SOPS 1435997 HAS SOUS 92553 HAS SOUPS 92185 WITH SCORE 93621.365
AT ITER 1963 NEW BEST:: SOT 5381051 SOS 1436365 HAS SOPS 1435997 HAS SOUS 92508 HAS SOUPS 92140 WITH SCORE 93576.365
AT ITER 1981 NEW BEST:: SOT 5380961 SOS 1436275 HAS SOPS 1435907 HAS SOUS 92373 HAS SOUPS 92005 WITH SCORE 93441.275
AT ITER 1994 NEW BEST:: SOT 5380961 SOS 1436275 HAS SOPS 1435907 HAS SOUS 92355 HAS SOUPS 91987 WITH SCORE 93423.275
AT ITER 1998 NEW BEST:: SOT 5380893 SOS 1436195 HAS SOPS 1435827 HAS SOUS 92347 HAS SOUPS 91979 WITH SCORE 93415.195
AT ITER 2000 NEW BEST:: SOT 5380860 SOS 1436162 HAS SOPS 1435794 HAS SOUS 92275 HAS SOUPS 91907 WITH SCORE 93343.162
AT ITER 2005 NEW BEST:: SOT 5380846 SOS 1436148 HAS SOPS 1435780 HAS SOUS 92251 HAS SOUPS 91883 WITH SCORE 93319.148
AT ITER 2016 NEW BEST:: SOT 5380802 SOS 1436099 HAS SOPS 1435731 HAS SOUS 92202 HAS SOUPS 91834 WITH SCORE 93270.099
AT ITER 2018 NEW BEST:: SOT 5380802 SOS 1436099 HAS SOPS 1435731 HAS SOUS 92114 HAS SOUPS 91746 WITH SCORE 93182.099
AT ITER 2049 NEW BEST:: SOT 5379929 SOS 1435251 HAS SOPS 1434883 HAS SOUS 91375 HAS SOUPS 91007 WITH SCORE 92442.251
AT ITER 2060 NEW BEST:: SOT 5379929 SOS 1435291 HAS SOPS 1434923 HAS SOUS 91363 HAS SOUPS 90995 WITH SCORE 92430.291
AT ITER 2065 NEW BEST:: SOT 5380013 SOS 1435644 HAS SOPS 1435276 HAS SOUS 91315 HAS SOUPS 90947 WITH SCORE 92382.644
AT ITER 2067 NEW BEST:: SOT 5379111 SOS 1434816 HAS SOPS 1434448 HAS SOUS 91137 HAS SOUPS 90769 WITH SCORE 92203.816
AT ITER 2080 NEW BEST:: SOT 5379104 SOS 1434809 HAS SOPS 1434441 HAS SOUS 91106 HAS SOUPS 90738 WITH SCORE 92172.809
AT ITER 2085 NEW BEST:: SOT 5377437 SOS 1433302 HAS SOPS 1432780 HAS SOUS 90854 HAS SOUPS 90332 WITH SCORE 91765.302
AT ITER 2092 NEW BEST:: SOT 5377431 SOS 1433296 HAS SOPS 1432774 HAS SOUS 90846 HAS SOUPS 90324 WITH SCORE 91757.296
AT ITER 2102 NEW BEST:: SOT 5377410 SOS 1433275 HAS SOPS 1432753 HAS SOUS 90803 HAS SOUPS 90281 WITH SCORE 91714.275
AT ITER 2109 NEW BEST:: SOT 5377410 SOS 1433275 HAS SOPS 1432753 HAS SOUS 90782 HAS SOUPS 90260 WITH SCORE 91693.275
AT ITER 2121 NEW BEST:: SOT 5377385 SOS 1433252 HAS SOPS 1432730 HAS SOUS 90759 HAS SOUPS 90237 WITH SCORE 91670.252
AT ITER 2129 NEW BEST:: SOT 5377378 SOS 1433245 HAS SOPS 1432723 HAS SOUS 90745 HAS SOUPS 90223 WITH SCORE 91656.245
AT ITER 2149 NEW BEST:: SOT 5377420 SOS 1434117 HAS SOPS 1433595 HAS SOUS 90663 HAS SOUPS 90141 WITH SCORE 91575.117
AT ITER 2160 NEW BEST:: SOT 5377413 SOS 1434110 HAS SOPS 1433588 HAS SOUS 90656 HAS SOUPS 90134 WITH SCORE 91568.11
AT ITER 2174 NEW BEST:: SOT 5377384 SOS 1434081 HAS SOPS 1433559 HAS SOUS 90609 HAS SOUPS 90087 WITH SCORE 91521.081
AT ITER 2200 NEW BEST:: SOT 5377355 SOS 1434052 HAS SOPS 1433530 HAS SOUS 90563 HAS SOUPS 90041 WITH SCORE 91475.052
AT ITER 2203 NEW BEST:: SOT 5377347 SOS 1434044 HAS SOPS 1433522 HAS SOUS 90553 HAS SOUPS 90031 WITH SCORE 91465.044
AT ITER 2221 NEW BEST:: SOT 5377346 SOS 1434043 HAS SOPS 1433521 HAS SOUS 90551 HAS SOUPS 90029 WITH SCORE 91463.043
AT ITER 2222 NEW BEST:: SOT 5377266 SOS 1433963 HAS SOPS 1433441 HAS SOUS 90466 HAS SOUPS 89944 WITH SCORE 91377.963
AT ITER 2229 NEW BEST:: SOT 5377220 SOS 1433917 HAS SOPS 1433395 HAS SOUS 90355 HAS SOUPS 89833 WITH SCORE 91266.917
AT ITER 2235 NEW BEST:: SOT 5377262 SOS 1433976 HAS SOPS 1433454 HAS SOUS 90336 HAS SOUPS 89814 WITH SCORE 91247.976
AT ITER 2247 NEW BEST:: SOT 5377262 SOS 1433976 HAS SOPS 1433454 HAS SOUS 90317 HAS SOUPS 89795 WITH SCORE 91228.976
AT ITER 2271 NEW BEST:: SOT 5377262 SOS 1433580 HAS SOPS 1433058 HAS SOUS 90317 HAS SOUPS 89795 WITH SCORE 91228.58
AT ITER 2281 NEW BEST:: SOT 5377257 SOS 1433575 HAS SOPS 1433053 HAS SOUS 90291 HAS SOUPS 89769 WITH SCORE 91202.575
AT ITER 2294 NEW BEST:: SOT 5377257 SOS 1432860 HAS SOPS 1432338 HAS SOUS 90291 HAS SOUPS 89769 WITH SCORE 91201.86
AT ITER 2319 NEW BEST:: SOT 5377253 SOS 1432856 HAS SOPS 1432334 HAS SOUS 90283 HAS SOUPS 89761 WITH SCORE 91193.856
AT ITER 2324 NEW BEST:: SOT 5376891 SOS 1435901 HAS SOPS 1435379 HAS SOUS 90055 HAS SOUPS 89533 WITH SCORE 90968.901
AT ITER 2326 NEW BEST:: SOT 5376865 SOS 1435825 HAS SOPS 1435303 HAS SOUS 90029 HAS SOUPS 89507 WITH SCORE 90942.825
AT ITER 2332 NEW BEST:: SOT 5376846 SOS 1435806 HAS SOPS 1435284 HAS SOUS 89988 HAS SOUPS 89466 WITH SCORE 90901.806
AT ITER 2350 NEW BEST:: SOT 5376844 SOS 1435806 HAS SOPS 1435284 HAS SOUS 89986 HAS SOUPS 89464 WITH SCORE 90899.806
AT ITER 2379 NEW BEST:: SOT 5365600 SOS 1424562 HAS SOPS 1424040 HAS SOUS 89071 HAS SOUPS 88549 WITH SCORE 89973.562
AT ITER 2391 NEW BEST:: SOT 5365572 SOS 1424534 HAS SOPS 1424012 HAS SOUS 89015 HAS SOUPS 88493 WITH SCORE 89917.534
AT ITER 2416 NEW BEST:: SOT 5365529 SOS 1424491 HAS SOPS 1423969 HAS SOUS 88960 HAS SOUPS 88438 WITH SCORE 89862.491
AT ITER 2419 NEW BEST:: SOT 5365510 SOS 1424451 HAS SOPS 1423929 HAS SOUS 88880 HAS SOUPS 88358 WITH SCORE 89782.451
AT ITER 2446 NEW BEST:: SOT 5365510 SOS 1424451 HAS SOPS 1423929 HAS SOUS 88816 HAS SOUPS 88294 WITH SCORE 89718.451
AT ITER 2463 NEW BEST:: SOT 5365510 SOS 1424451 HAS SOPS 1423929 HAS SOUS 88776 HAS SOUPS 88254 WITH SCORE 89678.451
AT ITER 2485 NEW BEST:: SOT 5365506 SOS 1424447 HAS SOPS 1423925 HAS SOUS 88768 HAS SOUPS 88246 WITH SCORE 89670.447
AT ITER 2509 NEW BEST:: SOT 5365464 SOS 1424405 HAS SOPS 1423883 HAS SOUS 88693 HAS SOUPS 88171 WITH SCORE 89595.405
AT ITER 2511 NEW BEST:: SOT 5365394 SOS 1424335 HAS SOPS 1423813 HAS SOUS 88685 HAS SOUPS 88163 WITH SCORE 89587.335
AT ITER 2532 NEW BEST:: SOT 5365336 SOS 1424277 HAS SOPS 1423755 HAS SOUS 88625 HAS SOUPS 88103 WITH SCORE 89527.277
AT ITER 2543 NEW BEST:: SOT 5365327 SOS 1424381 HAS SOPS 1423859 HAS SOUS 88618 HAS SOUPS 88096 WITH SCORE 89520.381
AT ITER 2564 NEW BEST:: SOT 5365257 SOS 1424311 HAS SOPS 1423789 HAS SOUS 88539 HAS SOUPS 88017 WITH SCORE 89441.311
AT ITER 2565 NEW BEST:: SOT 5365252 SOS 1424306 HAS SOPS 1423784 HAS SOUS 88539 HAS SOUPS 88017 WITH SCORE 89441.306
AT ITER 2574 NEW BEST:: SOT 5374908 SOS 1433962 HAS SOPS 1433440 HAS SOUS 88519 HAS SOUPS 87997 WITH SCORE 89430.962
AT ITER 2578 NEW BEST:: SOT 5374798 SOS 1433692 HAS SOPS 1433170 HAS SOUS 88393 HAS SOUPS 87871 WITH SCORE 89304.692
AT ITER 2609 NEW BEST:: SOT 5374761 SOS 1433655 HAS SOPS 1433133 HAS SOUS 88353 HAS SOUPS 87831 WITH SCORE 89264.655
AT ITER 2610 NEW BEST:: SOT 5374757 SOS 1433651 HAS SOPS 1433129 HAS SOUS 87109 HAS SOUPS 86587 WITH SCORE 88020.651
AT ITER 2651 NEW BEST:: SOT 5374757 SOS 1433651 HAS SOPS 1433129 HAS SOUS 87075 HAS SOUPS 86553 WITH SCORE 87986.651
AT ITER 2669 NEW BEST:: SOT 5374594 SOS 1433488 HAS SOPS 1432966 HAS SOUS 86888 HAS SOUPS 86366 WITH SCORE 87799.488
AT ITER 2686 NEW BEST:: SOT 5374594 SOS 1433488 HAS SOPS 1432966 HAS SOUS 86882 HAS SOUPS 86360 WITH SCORE 87793.488
AT ITER 2702 NEW BEST:: SOT 5374573 SOS 1433467 HAS SOPS 1432945 HAS SOUS 86861 HAS SOUPS 86339 WITH SCORE 87772.467
AT ITER 2719 NEW BEST:: SOT 5374533 SOS 1433427 HAS SOPS 1432905 HAS SOUS 86825 HAS SOUPS 86303 WITH SCORE 87736.427
AT ITER 2720 NEW BEST:: SOT 5374422 SOS 1433380 HAS SOPS 1432858 HAS SOUS 86582 HAS SOUPS 86060 WITH SCORE 87493.38
AT ITER 2741 NEW BEST:: SOT 5374422 SOS 1433302 HAS SOPS 1432780 HAS SOUS 86582 HAS SOUPS 86060 WITH SCORE 87493.302
AT ITER 2757 NEW BEST:: SOT 5374273 SOS 1434874 HAS SOPS 1434352 HAS SOUS 86433 HAS SOUPS 85911 WITH SCORE 87345.874
AT ITER 2760 NEW BEST:: SOT 5374273 SOS 1434870 HAS SOPS 1434348 HAS SOUS 86431 HAS SOUPS 85909 WITH SCORE 87343.87
AT ITER 2763 NEW BEST:: SOT 5374270 SOS 1434857 HAS SOPS 1434335 HAS SOUS 86405 HAS SOUPS 85883 WITH SCORE 87317.857
AT ITER 2801 NEW BEST:: SOT 5374241 SOS 1434695 HAS SOPS 1434173 HAS SOUS 86373 HAS SOUPS 85851 WITH SCORE 87285.695
AT ITER 2804 NEW BEST:: SOT 5374153 SOS 1434607 HAS SOPS 1434085 HAS SOUS 86197 HAS SOUPS 85675 WITH SCORE 87109.607
AT ITER 2813 NEW BEST:: SOT 5374143 SOS 1434597 HAS SOPS 1434075 HAS SOUS 86158 HAS SOUPS 85636 WITH SCORE 87070.597
AT ITER 2816 NEW BEST:: SOT 5374125 SOS 1434579 HAS SOPS 1434057 HAS SOUS 86122 HAS SOUPS 85600 WITH SCORE 87034.579
AT ITER 2819 NEW BEST:: SOT 5374125 SOS 1434876 HAS SOPS 1434354 HAS SOUS 86056 HAS SOUPS 85534 WITH SCORE 86968.876
AT ITER 2831 NEW BEST:: SOT 5374125 SOS 1434891 HAS SOPS 1434369 HAS SOUS 86026 HAS SOUPS 85504 WITH SCORE 86938.891
AT ITER 2845 NEW BEST:: SOT 5374122 SOS 1434888 HAS SOPS 1434366 HAS SOUS 86023 HAS SOUPS 85501 WITH SCORE 86935.888
AT ITER 2846 NEW BEST:: SOT 5374122 SOS 1434888 HAS SOPS 1434366 HAS SOUS 86022 HAS SOUPS 85500 WITH SCORE 86934.888
AT ITER 2848 NEW BEST:: SOT 5373994 SOS 1434760 HAS SOPS 1434238 HAS SOUS 85790 HAS SOUPS 85268 WITH SCORE 86702.76
AT ITER 2850 NEW BEST:: SOT 5373993 SOS 1434759 HAS SOPS 1434237 HAS SOUS 85790 HAS SOUPS 85268 WITH SCORE 86702.759
AT ITER 2858 NEW BEST:: SOT 5373964 SOS 1434730 HAS SOPS 1434208 HAS SOUS 85732 HAS SOUPS 85210 WITH SCORE 86644.73
AT ITER 2864 NEW BEST:: SOT 5373958 SOS 1434724 HAS SOPS 1434202 HAS SOUS 85732 HAS SOUPS 85210 WITH SCORE 86644.724
AT ITER 2896 NEW BEST:: SOT 5373809 SOS 1434593 HAS SOPS 1434071 HAS SOUS 85722 HAS SOUPS 85200 WITH SCORE 86634.593
AT ITER 2906 NEW BEST:: SOT 5373793 SOS 1434588 HAS SOPS 1434066 HAS SOUS 85690 HAS SOUPS 85168 WITH SCORE 86602.588
AT ITER 2916 NEW BEST:: SOT 5373782 SOS 1434577 HAS SOPS 1434055 HAS SOUS 85668 HAS SOUPS 85146 WITH SCORE 86580.577
AT ITER 2922 NEW BEST:: SOT 5373796 SOS 1434297 HAS SOPS 1433775 HAS SOUS 85668 HAS SOUPS 85146 WITH SCORE 86580.297
AT ITER 2932 NEW BEST:: SOT 5373796 SOS 1434297 HAS SOPS 1433775 HAS SOUS 85651 HAS SOUPS 85129 WITH SCORE 86563.297
AT ITER 2934 NEW BEST:: SOT 5373834 SOS 1434649 HAS SOPS 1434127 HAS SOUS 85647 HAS SOUPS 85125 WITH SCORE 86559.649
AT ITER 2941 NEW BEST:: SOT 5373827 SOS 1434642 HAS SOPS 1434120 HAS SOUS 85633 HAS SOUPS 85111 WITH SCORE 86545.642
AT ITER 2973 NEW BEST:: SOT 5373720 SOS 1434535 HAS SOPS 1434013 HAS SOUS 85497 HAS SOUPS 84975 WITH SCORE 86409.535
AT ITER 2996 NEW BEST:: SOT 5373652 SOS 1434467 HAS SOPS 1433945 HAS SOUS 85353 HAS SOUPS 84831 WITH SCORE 86265.467
AT ITER 2997 NEW BEST:: SOT 5373374 SOS 1432793 HAS SOPS 1432271 HAS SOUS 85188 HAS SOUPS 84666 WITH SCORE 86098.793
AT ITER 3006 NEW BEST:: SOT 5373312 SOS 1432731 HAS SOPS 1432209 HAS SOUS 85098 HAS SOUPS 84576 WITH SCORE 86008.731
AT ITER 3016 NEW BEST:: SOT 5373269 SOS 1432688 HAS SOPS 1432166 HAS SOUS 85012 HAS SOUPS 84490 WITH SCORE 85922.688
AT ITER 3017 NEW BEST:: SOT 5373209 SOS 1432628 HAS SOPS 1432106 HAS SOUS 84916 HAS SOUPS 84394 WITH SCORE 85826.628
AT ITER 3024 NEW BEST:: SOT 5373189 SOS 1432608 HAS SOPS 1432086 HAS SOUS 84886 HAS SOUPS 84364 WITH SCORE 85796.608
AT ITER 3032 NEW BEST:: SOT 5373139 SOS 1432627 HAS SOPS 1432105 HAS SOUS 84726 HAS SOUPS 84204 WITH SCORE 85636.627
AT ITER 3037 NEW BEST:: SOT 5373138 SOS 1432626 HAS SOPS 1432104 HAS SOUS 84724 HAS SOUPS 84202 WITH SCORE 85634.626
AT ITER 3038 NEW BEST:: SOT 5373110 SOS 1432635 HAS SOPS 1432113 HAS SOUS 84674 HAS SOUPS 84152 WITH SCORE 85584.635
AT ITER 3042 NEW BEST:: SOT 5373104 SOS 1432629 HAS SOPS 1432107 HAS SOUS 84662 HAS SOUPS 84140 WITH SCORE 85572.629
AT ITER 3057 NEW BEST:: SOT 5373141 SOS 1432781 HAS SOPS 1432259 HAS SOUS 84646 HAS SOUPS 84124 WITH SCORE 85556.781
AT ITER 3060 NEW BEST:: SOT 5373110 SOS 1432750 HAS SOPS 1432228 HAS SOUS 84536 HAS SOUPS 84014 WITH SCORE 85446.75
AT ITER 3063 NEW BEST:: SOT 5372702 SOS 1432403 HAS SOPS 1431881 HAS SOUS 84404 HAS SOUPS 83882 WITH SCORE 85314.403
AT ITER 3082 NEW BEST:: SOT 5372701 SOS 1432408 HAS SOPS 1431886 HAS SOUS 84402 HAS SOUPS 83880 WITH SCORE 85312.408
AT ITER 3103 NEW BEST:: SOT 5372688 SOS 1431882 HAS SOPS 1431360 HAS SOUS 84376 HAS SOUPS 83854 WITH SCORE 85285.882
AT ITER 3126 NEW BEST:: SOT 5371866 SOS 1431096 HAS SOPS 1430574 HAS SOUS 83985 HAS SOUPS 83463 WITH SCORE 84894.096
AT ITER 3129 NEW BEST:: SOT 5371869 SOS 1431099 HAS SOPS 1430577 HAS SOUS 83981 HAS SOUPS 83459 WITH SCORE 84890.099
AT ITER 3131 NEW BEST:: SOT 5371862 SOS 1431092 HAS SOPS 1430570 HAS SOUS 83967 HAS SOUPS 83445 WITH SCORE 84876.092
AT ITER 3156 NEW BEST:: SOT 5371806 SOS 1431059 HAS SOPS 1430537 HAS SOUS 83901 HAS SOUPS 83379 WITH SCORE 84810.059
AT ITER 3161 NEW BEST:: SOT 5371753 SOS 1431006 HAS SOPS 1430484 HAS SOUS 83876 HAS SOUPS 83354 WITH SCORE 84785.006
AT ITER 3166 NEW BEST:: SOT 5371753 SOS 1431006 HAS SOPS 1430484 HAS SOUS 83852 HAS SOUPS 83330 WITH SCORE 84761.006
AT ITER 3178 NEW BEST:: SOT 5369048 SOS 1730451 HAS SOPS 1729929 HAS SOUS 82542 HAS SOUPS 82020 WITH SCORE 83750.451
AT ITER 3180 NEW BEST:: SOT 5369049 SOS 1730452 HAS SOPS 1729930 HAS SOUS 82538 HAS SOUPS 82016 WITH SCORE 83746.452
AT ITER 3211 NEW BEST:: SOT 5369039 SOS 1730442 HAS SOPS 1729920 HAS SOUS 82528 HAS SOUPS 82006 WITH SCORE 83736.442
AT ITER 3278 NEW BEST:: SOT 5369049 SOS 1730452 HAS SOPS 1729930 HAS SOUS 82519 HAS SOUPS 81997 WITH SCORE 83727.452
AT ITER 3296 NEW BEST:: SOT 5369047 SOS 1730459 HAS SOPS 1729937 HAS SOUS 82515 HAS SOUPS 81993 WITH SCORE 83723.459
AT ITER 3320 NEW BEST:: SOT 5369047 SOS 1730426 HAS SOPS 1729904 HAS SOUS 82515 HAS SOUPS 81993 WITH SCORE 83723.426
AT ITER 3329 NEW BEST:: SOT 5369046 SOS 1730417 HAS SOPS 1729895 HAS SOUS 82471 HAS SOUPS 81949 WITH SCORE 83679.417
AT ITER 3330 NEW BEST:: SOT 5369002 SOS 1730373 HAS SOPS 1729851 HAS SOUS 82460 HAS SOUPS 81938 WITH SCORE 83668.373
AT ITER 3334 NEW BEST:: SOT 5368963 SOS 1730334 HAS SOPS 1729812 HAS SOUS 82363 HAS SOUPS 81841 WITH SCORE 83571.334
AT ITER 3335 NEW BEST:: SOT 5368963 SOS 1730334 HAS SOPS 1729812 HAS SOUS 82361 HAS SOUPS 81839 WITH SCORE 83569.334
AT ITER 3348 NEW BEST:: SOT 5368963 SOS 1730334 HAS SOPS 1729812 HAS SOUS 82296 HAS SOUPS 81774 WITH SCORE 83504.334
AT ITER 3350 NEW BEST:: SOT 5368963 SOS 1730334 HAS SOPS 1729812 HAS SOUS 82295 HAS SOUPS 81773 WITH SCORE 83503.334
AT ITER 3441 NEW BEST:: SOT 5368516 SOS 1731376 HAS SOPS 1730854 HAS SOUS 82009 HAS SOUPS 81487 WITH SCORE 83218.376
AT ITER 3448 NEW BEST:: SOT 5368472 SOS 1731332 HAS SOPS 1730810 HAS SOUS 81921 HAS SOUPS 81399 WITH SCORE 83130.332
AT ITER 3451 NEW BEST:: SOT 5368434 SOS 1731294 HAS SOPS 1730772 HAS SOUS 81883 HAS SOUPS 81361 WITH SCORE 83092.294
AT ITER 3456 NEW BEST:: SOT 5368429 SOS 1731289 HAS SOPS 1730767 HAS SOUS 81872 HAS SOUPS 81350 WITH SCORE 83081.289
AT ITER 3460 NEW BEST:: SOT 5368368 SOS 1731228 HAS SOPS 1730706 HAS SOUS 81740 HAS SOUPS 81218 WITH SCORE 82949.228
AT ITER 3461 NEW BEST:: SOT 5367737 SOS 1730604 HAS SOPS 1730082 HAS SOUS 81082 HAS SOUPS 80560 WITH SCORE 82290.604
AT ITER 3466 NEW BEST:: SOT 5367737 SOS 1730604 HAS SOPS 1730082 HAS SOUS 81050 HAS SOUPS 80528 WITH SCORE 82258.604
AT ITER 3474 NEW BEST:: SOT 5367670 SOS 1730537 HAS SOPS 1730015 HAS SOUS 80908 HAS SOUPS 80386 WITH SCORE 82116.537
AT ITER 3479 NEW BEST:: SOT 5367571 SOS 1730438 HAS SOPS 1729916 HAS SOUS 80687 HAS SOUPS 80165 WITH SCORE 81895.438
AT ITER 3489 NEW BEST:: SOT 5367555 SOS 1730410 HAS SOPS 1729888 HAS SOUS 80679 HAS SOUPS 80157 WITH SCORE 81887.41
AT ITER 3505 NEW BEST:: SOT 5367536 SOS 1730478 HAS SOPS 1729956 HAS SOUS 80641 HAS SOUPS 80119 WITH SCORE 81849.478
AT ITER 3511 NEW BEST:: SOT 5366587 SOS 1729589 HAS SOPS 1729067 HAS SOUS 80344 HAS SOUPS 79822 WITH SCORE 81551.589
AT ITER 3514 NEW BEST:: SOT 5366587 SOS 1729589 HAS SOPS 1729067 HAS SOUS 80334 HAS SOUPS 79812 WITH SCORE 81541.589
AT ITER 3545 NEW BEST:: SOT 5366564 SOS 1729566 HAS SOPS 1729044 HAS SOUS 80327 HAS SOUPS 79805 WITH SCORE 81534.566
AT ITER 3558 NEW BEST:: SOT 5366616 SOS 1729618 HAS SOPS 1729096 HAS SOUS 80324 HAS SOUPS 79802 WITH SCORE 81531.618
AT ITER 3573 NEW BEST:: SOT 5366615 SOS 1729610 HAS SOPS 1729088 HAS SOUS 80322 HAS SOUPS 79800 WITH SCORE 81529.61
AT ITER 3579 NEW BEST:: SOT 5366607 SOS 1729192 HAS SOPS 1728670 HAS SOUS 80306 HAS SOUPS 79784 WITH SCORE 81513.192
AT ITER 3625 NEW BEST:: SOT 5366607 SOS 1729191 HAS SOPS 1728669 HAS SOUS 80287 HAS SOUPS 79765 WITH SCORE 81494.191
AT ITER 3633 NEW BEST:: SOT 5366609 SOS 1729190 HAS SOPS 1728668 HAS SOUS 80269 HAS SOUPS 79747 WITH SCORE 81476.19
AT ITER 3641 NEW BEST:: SOT 5366584 SOS 1729165 HAS SOPS 1728643 HAS SOUS 80239 HAS SOUPS 79717 WITH SCORE 81446.165
AT ITER 3644 NEW BEST:: SOT 5366560 SOS 1729129 HAS SOPS 1728619 HAS SOUS 80203 HAS SOUPS 79693 WITH SCORE 81422.129
AT ITER 3678 NEW BEST:: SOT 5366539 SOS 1729148 HAS SOPS 1728638 HAS SOUS 80186 HAS SOUPS 79676 WITH SCORE 81405.148
AT ITER 3680 NEW BEST:: SOT 5363797 SOS 1726406 HAS SOPS 1725896 HAS SOUS 79757 HAS SOUPS 79247 WITH SCORE 80973.406
AT ITER 3681 NEW BEST:: SOT 5363704 SOS 1726013 HAS SOPS 1725503 HAS SOUS 79659 HAS SOUPS 79149 WITH SCORE 80875.013
AT ITER 3718 NEW BEST:: SOT 5363704 SOS 1726013 HAS SOPS 1725503 HAS SOUS 79634 HAS SOUPS 79124 WITH SCORE 80850.013
AT ITER 3734 NEW BEST:: SOT 5363681 SOS 1725990 HAS SOPS 1725480 HAS SOUS 79606 HAS SOUPS 79096 WITH SCORE 80821.99
AT ITER 3739 NEW BEST:: SOT 5363672 SOS 1725981 HAS SOPS 1725471 HAS SOUS 79588 HAS SOUPS 79078 WITH SCORE 80803.981
AT ITER 3742 NEW BEST:: SOT 5364329 SOS 1583788 HAS SOPS 1583278 HAS SOUS 79453 HAS SOUPS 78943 WITH SCORE 80526.788
AT ITER 3748 NEW BEST:: SOT 5364269 SOS 1583538 HAS SOPS 1583028 HAS SOUS 79389 HAS SOUPS 78879 WITH SCORE 80462.538
AT ITER 3757 NEW BEST:: SOT 5364255 SOS 1583588 HAS SOPS 1583078 HAS SOUS 79347 HAS SOUPS 78837 WITH SCORE 80420.588
AT ITER 3758 NEW BEST:: SOT 5340903 SOS 1595221 HAS SOPS 1594642 HAS SOUS 79016 HAS SOUPS 78437 WITH SCORE 80032.221
AT ITER 3761 NEW BEST:: SOT 5340515 SOS 1594833 HAS SOPS 1594254 HAS SOUS 78614 HAS SOUPS 78035 WITH SCORE 79629.833
AT ITER 3785 NEW BEST:: SOT 5340490 SOS 1594808 HAS SOPS 1594229 HAS SOUS 78564 HAS SOUPS 77985 WITH SCORE 79579.808
AT ITER 3789 NEW BEST:: SOT 5340490 SOS 1594806 HAS SOPS 1594227 HAS SOUS 78564 HAS SOUPS 77985 WITH SCORE 79579.806
AT ITER 3792 NEW BEST:: SOT 5340476 SOS 1594792 HAS SOPS 1594213 HAS SOUS 78530 HAS SOUPS 77951 WITH SCORE 79545.792
AT ITER 3796 NEW BEST:: SOT 5340257 SOS 1594573 HAS SOPS 1593994 HAS SOUS 78269 HAS SOUPS 77690 WITH SCORE 79284.573
AT ITER 3813 NEW BEST:: SOT 5340257 SOS 1594633 HAS SOPS 1594034 HAS SOUS 78269 HAS SOUPS 77670 WITH SCORE 79264.633
AT ITER 3823 NEW BEST:: SOT 5359009 SOS 1613360 HAS SOPS 1612786 HAS SOUS 77240 HAS SOUPS 76666 WITH SCORE 78279.36
AT ITER 3863 NEW BEST:: SOT 5358987 SOS 1613357 HAS SOPS 1612783 HAS SOUS 77221 HAS SOUPS 76647 WITH SCORE 78260.357
AT ITER 3866 NEW BEST:: SOT 5358887 SOS 1613257 HAS SOPS 1612683 HAS SOUS 77051 HAS SOUPS 76477 WITH SCORE 78090.257
AT ITER 3902 NEW BEST:: SOT 5358886 SOS 1613256 HAS SOPS 1612682 HAS SOUS 77049 HAS SOUPS 76475 WITH SCORE 78088.256
AT ITER 3904 NEW BEST:: SOT 5358886 SOS 1612986 HAS SOPS 1612412 HAS SOUS 77049 HAS SOUPS 76475 WITH SCORE 78087.986
AT ITER 3935 NEW BEST:: SOT 5358871 SOS 1612971 HAS SOPS 1612397 HAS SOUS 77030 HAS SOUPS 76456 WITH SCORE 78068.971
AT ITER 3948 NEW BEST:: SOT 5358821 SOS 1612921 HAS SOPS 1612347 HAS SOUS 77012 HAS SOUPS 76438 WITH SCORE 78050.921
AT ITER 3957 NEW BEST:: SOT 5358788 SOS 1612888 HAS SOPS 1612314 HAS SOUS 77000 HAS SOUPS 76426 WITH SCORE 78038.888
AT ITER 3975 NEW BEST:: SOT 5358719 SOS 1613129 HAS SOPS 1612555 HAS SOUS 76962 HAS SOUPS 76388 WITH SCORE 78001.129
AT ITER 3988 NEW BEST:: SOT 5358719 SOS 1613129 HAS SOPS 1612555 HAS SOUS 76935 HAS SOUPS 76361 WITH SCORE 77974.129
AT ITER 4019 NEW BEST:: SOT 5358718 SOS 1613127 HAS SOPS 1612553 HAS SOUS 76933 HAS SOUPS 76359 WITH SCORE 77972.127
AT ITER 4028 NEW BEST:: SOT 5358700 SOS 1613109 HAS SOPS 1612535 HAS SOUS 76915 HAS SOUPS 76341 WITH SCORE 77954.109
AT ITER 4030 NEW BEST:: SOT 5358676 SOS 1613085 HAS SOPS 1612511 HAS SOUS 76867 HAS SOUPS 76293 WITH SCORE 77906.085
AT ITER 4031 NEW BEST:: SOT 5358641 SOS 1613050 HAS SOPS 1612476 HAS SOUS 76822 HAS SOUPS 76248 WITH SCORE 77861.05
AT ITER 4051 NEW BEST:: SOT 5358608 SOS 1613017 HAS SOPS 1612443 HAS SOUS 76765 HAS SOUPS 76191 WITH SCORE 77804.017
AT ITER 4058 NEW BEST:: SOT 5358566 SOS 1612765 HAS SOPS 1612191 HAS SOUS 76702 HAS SOUPS 76128 WITH SCORE 77740.765
AT ITER 4063 NEW BEST:: SOT 5358553 SOS 1612691 HAS SOPS 1612117 HAS SOUS 76672 HAS SOUPS 76098 WITH SCORE 77710.691
AT ITER 4093 NEW BEST:: SOT 5358548 SOS 1612686 HAS SOPS 1612112 HAS SOUS 76660 HAS SOUPS 76086 WITH SCORE 77698.686
AT ITER 4094 NEW BEST:: SOT 5358531 SOS 1612775 HAS SOPS 1612201 HAS SOUS 76626 HAS SOUPS 76052 WITH SCORE 77664.775
AT ITER 4123 NEW BEST:: SOT 5358519 SOS 1612763 HAS SOPS 1612189 HAS SOUS 76602 HAS SOUPS 76028 WITH SCORE 77640.763
AT ITER 4125 NEW BEST:: SOT 5358516 SOS 1612757 HAS SOPS 1612183 HAS SOUS 76596 HAS SOUPS 76022 WITH SCORE 77634.757
AT ITER 4130 NEW BEST:: SOT 5358514 SOS 1612755 HAS SOPS 1612181 HAS SOUS 76585 HAS SOUPS 76011 WITH SCORE 77623.755
AT ITER 4133 NEW BEST:: SOT 5358449 SOS 1612741 HAS SOPS 1612167 HAS SOUS 76455 HAS SOUPS 75881 WITH SCORE 77493.741
AT ITER 4136 NEW BEST:: SOT 5358428 SOS 1612720 HAS SOPS 1612146 HAS SOUS 76413 HAS SOUPS 75839 WITH SCORE 77451.72
AT ITER 4137 NEW BEST:: SOT 5358361 SOS 1612653 HAS SOPS 1612079 HAS SOUS 76275 HAS SOUPS 75701 WITH SCORE 77313.653
AT ITER 4140 NEW BEST:: SOT 5358346 SOS 1612638 HAS SOPS 1612064 HAS SOUS 76223 HAS SOUPS 75649 WITH SCORE 77261.638
AT ITER 4149 NEW BEST:: SOT 5358329 SOS 1612621 HAS SOPS 1612047 HAS SOUS 76187 HAS SOUPS 75613 WITH SCORE 77225.621
AT ITER 4155 NEW BEST:: SOT 5358279 SOS 1612321 HAS SOPS 1611747 HAS SOUS 76137 HAS SOUPS 75563 WITH SCORE 77175.321
AT ITER 4169 NEW BEST:: SOT 5358287 SOS 1612169 HAS SOPS 1611595 HAS SOUS 76137 HAS SOUPS 75563 WITH SCORE 77175.169
AT ITER 4182 NEW BEST:: SOT 5358287 SOS 1612165 HAS SOPS 1611591 HAS SOUS 76137 HAS SOUPS 75563 WITH SCORE 77175.165
AT ITER 4187 NEW BEST:: SOT 5358223 SOS 1612101 HAS SOPS 1611527 HAS SOUS 76009 HAS SOUPS 75435 WITH SCORE 77047.101
AT ITER 4192 NEW BEST:: SOT 5358185 SOS 1612063 HAS SOPS 1611489 HAS SOUS 75982 HAS SOUPS 75408 WITH SCORE 77020.063
AT ITER 4200 NEW BEST:: SOT 5358175 SOS 1612053 HAS SOPS 1611479 HAS SOUS 75962 HAS SOUPS 75388 WITH SCORE 77000.053
AT ITER 4218 NEW BEST:: SOT 5358166 SOS 1612044 HAS SOPS 1611470 HAS SOUS 75944 HAS SOUPS 75370 WITH SCORE 76982.044
AT ITER 4227 NEW BEST:: SOT 5358093 SOS 1611971 HAS SOPS 1611397 HAS SOUS 75828 HAS SOUPS 75254 WITH SCORE 76865.971
AT ITER 4238 NEW BEST:: SOT 5357949 SOS 1611827 HAS SOPS 1611253 HAS SOUS 75770 HAS SOUPS 75196 WITH SCORE 76807.827
AT ITER 4247 NEW BEST:: SOT 5357928 SOS 1611810 HAS SOPS 1611236 HAS SOUS 75728 HAS SOUPS 75154 WITH SCORE 76765.81
AT ITER 4259 NEW BEST:: SOT 5357914 SOS 1611796 HAS SOPS 1611222 HAS SOUS 75704 HAS SOUPS 75130 WITH SCORE 76741.796
AT ITER 4263 NEW BEST:: SOT 5357848 SOS 1611730 HAS SOPS 1611156 HAS SOUS 75572 HAS SOUPS 74998 WITH SCORE 76609.73
AT ITER 4271 NEW BEST:: SOT 5357802 SOS 1611684 HAS SOPS 1611110 HAS SOUS 75480 HAS SOUPS 74906 WITH SCORE 76517.684
AT ITER 4272 NEW BEST:: SOT 5357759 SOS 1611641 HAS SOPS 1611067 HAS SOUS 75445 HAS SOUPS 74871 WITH SCORE 76482.641
AT ITER 4305 NEW BEST:: SOT 5357693 SOS 1611575 HAS SOPS 1611001 HAS SOUS 75428 HAS SOUPS 74854 WITH SCORE 76465.575
AT ITER 4342 NEW BEST:: SOT 5357627 SOS 1611509 HAS SOPS 1610935 HAS SOUS 75408 HAS SOUPS 74834 WITH SCORE 76445.509
AT ITER 4359 NEW BEST:: SOT 5357590 SOS 1611472 HAS SOPS 1610898 HAS SOUS 75319 HAS SOUPS 74745 WITH SCORE 76356.472
AT ITER 4371 NEW BEST:: SOT 5357589 SOS 1611471 HAS SOPS 1610897 HAS SOUS 75317 HAS SOUPS 74743 WITH SCORE 76354.471
AT ITER 4372 NEW BEST:: SOT 5357581 SOS 1611463 HAS SOPS 1610889 HAS SOUS 75309 HAS SOUPS 74735 WITH SCORE 76346.463
AT ITER 4380 NEW BEST:: SOT 5357561 SOS 1611443 HAS SOPS 1610869 HAS SOUS 75309 HAS SOUPS 74735 WITH SCORE 76346.443
AT ITER 4386 NEW BEST:: SOT 5357375 SOS 1611257 HAS SOPS 1610683 HAS SOUS 75219 HAS SOUPS 74645 WITH SCORE 76256.257
AT ITER 4388 NEW BEST:: SOT 5357348 SOS 1611230 HAS SOPS 1610656 HAS SOUS 75060 HAS SOUPS 74486 WITH SCORE 76097.23
AT ITER 4440 NEW BEST:: SOT 5357332 SOS 1611230 HAS SOPS 1610656 HAS SOUS 75028 HAS SOUPS 74454 WITH SCORE 76065.23
AT ITER 4466 NEW BEST:: SOT 5357145 SOS 1652073 HAS SOPS 1651499 HAS SOUS 74887 HAS SOUPS 74313 WITH SCORE 75965.073
AT ITER 4467 NEW BEST:: SOT 5356956 SOS 1651895 HAS SOPS 1651321 HAS SOUS 74689 HAS SOUPS 74115 WITH SCORE 75766.895
AT ITER 4485 NEW BEST:: SOT 5356647 SOS 1651586 HAS SOPS 1651012 HAS SOUS 74380 HAS SOUPS 73806 WITH SCORE 75457.586
AT ITER 4505 NEW BEST:: SOT 5356636 SOS 1651567 HAS SOPS 1650993 HAS SOUS 74374 HAS SOUPS 73800 WITH SCORE 75451.567
AT ITER 4514 NEW BEST:: SOT 5356633 SOS 1651564 HAS SOPS 1650990 HAS SOUS 74368 HAS SOUPS 73794 WITH SCORE 75445.564
AT ITER 4525 NEW BEST:: SOT 5356600 SOS 1651531 HAS SOPS 1650957 HAS SOUS 74312 HAS SOUPS 73738 WITH SCORE 75389.531
AT ITER 4542 NEW BEST:: SOT 5356599 SOS 1651530 HAS SOPS 1650956 HAS SOUS 74311 HAS SOUPS 73737 WITH SCORE 75388.53
AT ITER 4546 NEW BEST:: SOT 5356599 SOS 1651550 HAS SOPS 1650956 HAS SOUS 74291 HAS SOUPS 73697 WITH SCORE 75348.55
AT ITER 4550 NEW BEST:: SOT 5356593 SOS 1651544 HAS SOPS 1650950 HAS SOUS 74258 HAS SOUPS 73664 WITH SCORE 75315.544
AT ITER 4580 NEW BEST:: SOT 5356569 SOS 1651520 HAS SOPS 1650926 HAS SOUS 74202 HAS SOUPS 73608 WITH SCORE 75259.52
AT ITER 4613 NEW BEST:: SOT 5356567 SOS 1651518 HAS SOPS 1650924 HAS SOUS 74196 HAS SOUPS 73602 WITH SCORE 75253.518
AT ITER 4626 NEW BEST:: SOT 5356497 SOS 1651448 HAS SOPS 1650854 HAS SOUS 74015 HAS SOUPS 73421 WITH SCORE 75072.448
AT ITER 4630 NEW BEST:: SOT 5356435 SOS 1651386 HAS SOPS 1650792 HAS SOUS 73897 HAS SOUPS 73303 WITH SCORE 74954.386
AT ITER 4653 NEW BEST:: SOT 5356379 SOS 1651330 HAS SOPS 1650736 HAS SOUS 73785 HAS SOUPS 73191 WITH SCORE 74842.33
AT ITER 4659 NEW BEST:: SOT 5356373 SOS 1651324 HAS SOPS 1650730 HAS SOUS 73779 HAS SOUPS 73185 WITH SCORE 74836.324
AT ITER 4665 NEW BEST:: SOT 5356373 SOS 1651324 HAS SOPS 1650730 HAS SOUS 73714 HAS SOUPS 73120 WITH SCORE 74771.324
AT ITER 4700 NEW BEST:: SOT 5337628 SOS 1632595 HAS SOPS 1631985 HAS SOUS 73260 HAS SOUPS 72650 WITH SCORE 74282.595
AT ITER 4710 NEW BEST:: SOT 5337610 SOS 1632542 HAS SOPS 1631932 HAS SOUS 73253 HAS SOUPS 72643 WITH SCORE 74275.542
AT ITER 4735 NEW BEST:: SOT 5337596 SOS 1632528 HAS SOPS 1631918 HAS SOUS 73225 HAS SOUPS 72615 WITH SCORE 74247.528
AT ITER 4745 NEW BEST:: SOT 5337592 SOS 1632524 HAS SOPS 1631914 HAS SOUS 73217 HAS SOUPS 72607 WITH SCORE 74239.524
AT ITER 4749 NEW BEST:: SOT 5337560 SOS 1632492 HAS SOPS 1631882 HAS SOUS 73185 HAS SOUPS 72575 WITH SCORE 74207.492
AT ITER 4756 NEW BEST:: SOT 5337482 SOS 1632414 HAS SOPS 1631804 HAS SOUS 73027 HAS SOUPS 72417 WITH SCORE 74049.414
AT ITER 4759 NEW BEST:: SOT 5337401 SOS 1632333 HAS SOPS 1631723 HAS SOUS 72865 HAS SOUPS 72255 WITH SCORE 73887.333
AT ITER 4774 NEW BEST:: SOT 5337401 SOS 1632333 HAS SOPS 1631723 HAS SOUS 72855 HAS SOUPS 72245 WITH SCORE 73877.333
AT ITER 4777 NEW BEST:: SOT 5337397 SOS 1632323 HAS SOPS 1631713 HAS SOUS 72746 HAS SOUPS 72136 WITH SCORE 73768.323
AT ITER 4789 NEW BEST:: SOT 5337368 SOS 1632294 HAS SOPS 1631684 HAS SOUS 72688 HAS SOUPS 72078 WITH SCORE 73710.294
AT ITER 4799 NEW BEST:: SOT 5337368 SOS 1632294 HAS SOPS 1631684 HAS SOUS 72682 HAS SOUPS 72072 WITH SCORE 73704.294
AT ITER 4806 NEW BEST:: SOT 5337365 SOS 1632081 HAS SOPS 1631471 HAS SOUS 72676 HAS SOUPS 72066 WITH SCORE 73698.081
AT ITER 4815 NEW BEST:: SOT 5337344 SOS 1632060 HAS SOPS 1631450 HAS SOUS 72676 HAS SOUPS 72066 WITH SCORE 73698.06
AT ITER 4875 NEW BEST:: SOT 5335125 SOS 1658019 HAS SOPS 1657409 HAS SOUS 72429 HAS SOUPS 71819 WITH SCORE 73477.019
AT ITER 4881 NEW BEST:: SOT 5335133 SOS 1657093 HAS SOPS 1656483 HAS SOUS 72388 HAS SOUPS 71778 WITH SCORE 73435.093
AT ITER 4886 NEW BEST:: SOT 5335074 SOS 1657034 HAS SOPS 1656424 HAS SOUS 72275 HAS SOUPS 71665 WITH SCORE 73322.034
AT ITER 4901 NEW BEST:: SOT 5335021 SOS 1656981 HAS SOPS 1656371 HAS SOUS 72177 HAS SOUPS 71567 WITH SCORE 73223.981
AT ITER 4904 NEW BEST:: SOT 5335020 SOS 1656980 HAS SOPS 1656370 HAS SOUS 72175 HAS SOUPS 71565 WITH SCORE 73221.98
AT ITER 4905 NEW BEST:: SOT 5334960 SOS 1665020 HAS SOPS 1664410 HAS SOUS 72142 HAS SOUPS 71532 WITH SCORE 73197.02
AT ITER 4926 NEW BEST:: SOT 5334939 SOS 1665001 HAS SOPS 1664391 HAS SOUS 72126 HAS SOUPS 71516 WITH SCORE 73181.001
AT ITER 4928 NEW BEST:: SOT 5334906 SOS 1664968 HAS SOPS 1664358 HAS SOUS 72060 HAS SOUPS 71450 WITH SCORE 73114.968
AT ITER 4931 NEW BEST:: SOT 5334906 SOS 1664968 HAS SOPS 1664358 HAS SOUS 72047 HAS SOUPS 71437 WITH SCORE 73101.968
AT ITER 4953 NEW BEST:: SOT 5334931 SOS 1664743 HAS SOPS 1664133 HAS SOUS 72047 HAS SOUPS 71437 WITH SCORE 73101.743
AT ITER 4971 NEW BEST:: SOT 5334925 SOS 1664737 HAS SOPS 1664127 HAS SOUS 72033 HAS SOUPS 71423 WITH SCORE 73087.737
AT ITER 4979 NEW BEST:: SOT 5334925 SOS 1664730 HAS SOPS 1664120 HAS SOUS 71998 HAS SOUPS 71388 WITH SCORE 73052.73
AT ITER 4988 NEW BEST:: SOT 5334925 SOS 1664727 HAS SOPS 1664117 HAS SOUS 71992 HAS SOUPS 71382 WITH SCORE 73046.727
AT ITER 5004 NEW BEST:: SOT 5334903 SOS 1664705 HAS SOPS 1664095 HAS SOUS 71948 HAS SOUPS 71338 WITH SCORE 73002.705
AT ITER 5005 NEW BEST:: SOT 5334837 SOS 1664639 HAS SOPS 1664029 HAS SOUS 71816 HAS SOUPS 71206 WITH SCORE 72870.639
AT ITER 5044 NEW BEST:: SOT 5334772 SOS 1664574 HAS SOPS 1663964 HAS SOUS 71755 HAS SOUPS 71145 WITH SCORE 72809.574
AT ITER 5061 NEW BEST:: SOT 5334722 SOS 1664529 HAS SOPS 1663919 HAS SOUS 71650 HAS SOUPS 71040 WITH SCORE 72704.529
AT ITER 5069 NEW BEST:: SOT 5334711 SOS 1664521 HAS SOPS 1663911 HAS SOUS 71636 HAS SOUPS 71026 WITH SCORE 72690.521
AT ITER 5119 NEW BEST:: SOT 5334658 SOS 1664468 HAS SOPS 1663858 HAS SOUS 71532 HAS SOUPS 70922 WITH SCORE 72586.468
AT ITER 5146 NEW BEST:: SOT 5334632 SOS 1664416 HAS SOPS 1663806 HAS SOUS 71505 HAS SOUPS 70895 WITH SCORE 72559.416
AT ITER 5154 NEW BEST:: SOT 5334632 SOS 1664416 HAS SOPS 1663806 HAS SOUS 71499 HAS SOUPS 70889 WITH SCORE 72553.416
AT ITER 5156 NEW BEST:: SOT 5334614 SOS 1664398 HAS SOPS 1663788 HAS SOUS 71481 HAS SOUPS 70871 WITH SCORE 72535.398
AT ITER 5179 NEW BEST:: SOT 5334613 SOS 1664393 HAS SOPS 1663783 HAS SOUS 71476 HAS SOUPS 70866 WITH SCORE 72530.393
AT ITER 5202 NEW BEST:: SOT 5334579 SOS 1664519 HAS SOPS 1663909 HAS SOUS 71458 HAS SOUPS 70848 WITH SCORE 72512.519
AT ITER 5223 NEW BEST:: SOT 5334521 SOS 1664398 HAS SOPS 1663788 HAS SOUS 71376 HAS SOUPS 70766 WITH SCORE 72430.398
AT ITER 5225 NEW BEST:: SOT 5334503 SOS 1664380 HAS SOPS 1663770 HAS SOUS 71357 HAS SOUPS 70747 WITH SCORE 72411.38
AT ITER 5242 NEW BEST:: SOT 5334503 SOS 1664380 HAS SOPS 1663770 HAS SOUS 71342 HAS SOUPS 70732 WITH SCORE 72396.38
AT ITER 5280 NEW BEST:: SOT 5334492 SOS 1664369 HAS SOPS 1663759 HAS SOUS 71331 HAS SOUPS 70721 WITH SCORE 72385.369
AT ITER 5296 NEW BEST:: SOT 5334424 SOS 1664301 HAS SOPS 1663691 HAS SOUS 71203 HAS SOUPS 70593 WITH SCORE 72257.301
AT ITER 5299 NEW BEST:: SOT 5334424 SOS 1664301 HAS SOPS 1663691 HAS SOUS 71200 HAS SOUPS 70590 WITH SCORE 72254.301
AT ITER 5311 NEW BEST:: SOT 5334324 SOS 1664201 HAS SOPS 1663591 HAS SOUS 71000 HAS SOUPS 70390 WITH SCORE 72054.201
AT ITER 5319 NEW BEST:: SOT 5334261 SOS 1664178 HAS SOPS 1663568 HAS SOUS 70954 HAS SOUPS 70344 WITH SCORE 72008.178
AT ITER 5321 NEW BEST:: SOT 5334273 SOS 1662310 HAS SOPS 1661700 HAS SOUS 70939 HAS SOUPS 70329 WITH SCORE 71991.31
AT ITER 5380 NEW BEST:: SOT 5334226 SOS 1662277 HAS SOPS 1661667 HAS SOUS 70892 HAS SOUPS 70282 WITH SCORE 71944.277
AT ITER 5394 NEW BEST:: SOT 5334215 SOS 1662266 HAS SOPS 1661656 HAS SOUS 70891 HAS SOUPS 70281 WITH SCORE 71943.266
AT ITER 5419 NEW BEST:: SOT 5334215 SOS 1629844 HAS SOPS 1629260 HAS SOUS 70007 HAS SOUPS 69423 WITH SCORE 71052.844
AT ITER 5422 NEW BEST:: SOT 5334215 SOS 1629844 HAS SOPS 1629260 HAS SOUS 69992 HAS SOUPS 69408 WITH SCORE 71037.844
AT ITER 5454 NEW BEST:: SOT 5334181 SOS 1629810 HAS SOPS 1629226 HAS SOUS 69958 HAS SOUPS 69374 WITH SCORE 71003.81
AT ITER 5459 NEW BEST:: SOT 5334170 SOS 1629799 HAS SOPS 1629215 HAS SOUS 69957 HAS SOUPS 69373 WITH SCORE 71002.799
AT ITER 5473 NEW BEST:: SOT 5328774 SOS 1624405 HAS SOPS 1623819 HAS SOUS 69523 HAS SOUPS 68937 WITH SCORE 70561.405
AT ITER 5488 NEW BEST:: SOT 5328779 SOS 1624360 HAS SOPS 1623774 HAS SOUS 69523 HAS SOUPS 68937 WITH SCORE 70561.36
AT ITER 5542 NEW BEST:: SOT 5328731 SOS 1624312 HAS SOPS 1623726 HAS SOUS 69473 HAS SOUPS 68887 WITH SCORE 70511.312
AT ITER 5552 NEW BEST:: SOT 5328626 SOS 1624207 HAS SOPS 1623621 HAS SOUS 69284 HAS SOUPS 68698 WITH SCORE 70322.207
AT ITER 5564 NEW BEST:: SOT 5328657 SOS 1624238 HAS SOPS 1623652 HAS SOUS 69243 HAS SOUPS 68657 WITH SCORE 70281.238
AT ITER 5604 NEW BEST:: SOT 5328651 SOS 1624232 HAS SOPS 1623646 HAS SOUS 69237 HAS SOUPS 68651 WITH SCORE 70275.232
AT ITER 5622 NEW BEST:: SOT 5328623 SOS 1624204 HAS SOPS 1623618 HAS SOUS 69237 HAS SOUPS 68651 WITH SCORE 70275.204
AT ITER 5643 NEW BEST:: SOT 5328613 SOS 1624194 HAS SOPS 1623608 HAS SOUS 69217 HAS SOUPS 68631 WITH SCORE 70255.194
AT ITER 5664 NEW BEST:: SOT 5328577 SOS 1624158 HAS SOPS 1623572 HAS SOUS 69205 HAS SOUPS 68619 WITH SCORE 70243.158
AT ITER 5671 NEW BEST:: SOT 5328577 SOS 1624206 HAS SOPS 1623572 HAS SOUS 69191 HAS SOUPS 68557 WITH SCORE 70181.206
AT ITER 5721 NEW BEST:: SOT 5328581 SOS 1624210 HAS SOPS 1623576 HAS SOUS 69183 HAS SOUPS 68549 WITH SCORE 70173.21
AT ITER 5725 NEW BEST:: SOT 5328544 SOS 1624173 HAS SOPS 1623539 HAS SOUS 69143 HAS SOUPS 68509 WITH SCORE 70133.173
AT ITER 5729 NEW BEST:: SOT 5328535 SOS 1624164 HAS SOPS 1623530 HAS SOUS 69127 HAS SOUPS 68493 WITH SCORE 70117.164
AT ITER 5781 NEW BEST:: SOT 5328557 SOS 1624186 HAS SOPS 1623552 HAS SOUS 69123 HAS SOUPS 68489 WITH SCORE 70113.186
AT ITER 5792 NEW BEST:: SOT 5328583 SOS 1623952 HAS SOPS 1623318 HAS SOUS 69123 HAS SOUPS 68489 WITH SCORE 70112.952
AT ITER 5809 NEW BEST:: SOT 5328546 SOS 1623915 HAS SOPS 1623281 HAS SOUS 69096 HAS SOUPS 68462 WITH SCORE 70085.915
AT ITER 5815 NEW BEST:: SOT 5328536 SOS 1623905 HAS SOPS 1623271 HAS SOUS 69087 HAS SOUPS 68453 WITH SCORE 70076.905
AT ITER 5829 NEW BEST:: SOT 5328481 SOS 1623370 HAS SOPS 1622736 HAS SOUS 69075 HAS SOUPS 68441 WITH SCORE 70064.37
AT ITER 5833 NEW BEST:: SOT 5328477 SOS 1623366 HAS SOPS 1622732 HAS SOUS 69049 HAS SOUPS 68415 WITH SCORE 70038.366
AT ITER 5841 NEW BEST:: SOT 5328477 SOS 1623366 HAS SOPS 1622732 HAS SOUS 69045 HAS SOUPS 68411 WITH SCORE 70034.366
AT ITER 5891 NEW BEST:: SOT 5328479 SOS 1623368 HAS SOPS 1622734 HAS SOUS 69021 HAS SOUPS 68387 WITH SCORE 70010.368
AT ITER 5930 NEW BEST:: SOT 5328476 SOS 1623305 HAS SOPS 1622671 HAS SOUS 69012 HAS SOUPS 68378 WITH SCORE 70001.305
AT ITER 5966 NEW BEST:: SOT 5328470 SOS 1623299 HAS SOPS 1622665 HAS SOUS 69000 HAS SOUPS 68366 WITH SCORE 69989.299
AT ITER 5969 NEW BEST:: SOT 5328453 SOS 1623129 HAS SOPS 1622495 HAS SOUS 68983 HAS SOUPS 68349 WITH SCORE 69972.129
AT ITER 6001 NEW BEST:: SOT 5328408 SOS 1623099 HAS SOPS 1622465 HAS SOUS 68923 HAS SOUPS 68289 WITH SCORE 69912.099
AT ITER 6003 NEW BEST:: SOT 5328482 SOS 1623198 HAS SOPS 1622564 HAS SOUS 68883 HAS SOUPS 68249 WITH SCORE 69872.198
AT ITER 6023 NEW BEST:: SOT 5328481 SOS 1623197 HAS SOPS 1622563 HAS SOUS 68873 HAS SOUPS 68239 WITH SCORE 69862.197
AT ITER 6028 NEW BEST:: SOT 5328481 SOS 1623161 HAS SOPS 1622527 HAS SOUS 68873 HAS SOUPS 68239 WITH SCORE 69862.161
AT ITER 6034 NEW BEST:: SOT 5328481 SOS 1626272 HAS SOPS 1625638 HAS SOUS 68866 HAS SOUPS 68232 WITH SCORE 69858.272
AT ITER 6049 NEW BEST:: SOT 5328481 SOS 1626249 HAS SOPS 1625615 HAS SOUS 68866 HAS SOUPS 68232 WITH SCORE 69858.249
AT ITER 6054 NEW BEST:: SOT 5328481 SOS 1626242 HAS SOPS 1625608 HAS SOUS 68866 HAS SOUPS 68232 WITH SCORE 69858.242
AT ITER 6079 NEW BEST:: SOT 5328478 SOS 1626239 HAS SOPS 1625605 HAS SOUS 68863 HAS SOUPS 68229 WITH SCORE 69855.239
AT ITER 6088 NEW BEST:: SOT 5328393 SOS 1626154 HAS SOPS 1625520 HAS SOUS 68763 HAS SOUPS 68129 WITH SCORE 69755.154
AT ITER 6093 NEW BEST:: SOT 5328378 SOS 1625804 HAS SOPS 1625170 HAS SOUS 68733 HAS SOUPS 68099 WITH SCORE 69724.804
AT ITER 6114 NEW BEST:: SOT 5328305 SOS 1625541 HAS SOPS 1624907 HAS SOUS 68641 HAS SOUPS 68007 WITH SCORE 69632.541
AT ITER 6147 NEW BEST:: SOT 5328281 SOS 1625517 HAS SOPS 1624883 HAS SOUS 68637 HAS SOUPS 68003 WITH SCORE 69628.517
AT ITER 6178 NEW BEST:: SOT 5328201 SOS 1625437 HAS SOPS 1624803 HAS SOUS 68477 HAS SOUPS 67843 WITH SCORE 69468.437
AT ITER 6180 NEW BEST:: SOT 5328195 SOS 1625431 HAS SOPS 1624797 HAS SOUS 68426 HAS SOUPS 67792 WITH SCORE 69417.431
AT ITER 6194 NEW BEST:: SOT 5328162 SOS 1625398 HAS SOPS 1624764 HAS SOUS 68360 HAS SOUPS 67726 WITH SCORE 69351.398
AT ITER 6197 NEW BEST:: SOT 5328141 SOS 1625377 HAS SOPS 1624743 HAS SOUS 68318 HAS SOUPS 67684 WITH SCORE 69309.377
AT ITER 6245 NEW BEST:: SOT 5328127 SOS 1625363 HAS SOPS 1624729 HAS SOUS 68287 HAS SOUPS 67653 WITH SCORE 69278.363
AT ITER 6246 NEW BEST:: SOT 5328040 SOS 1625278 HAS SOPS 1624644 HAS SOUS 68126 HAS SOUPS 67492 WITH SCORE 69117.278
AT ITER 6269 NEW BEST:: SOT 5327992 SOS 1625230 HAS SOPS 1624596 HAS SOUS 68045 HAS SOUPS 67411 WITH SCORE 69036.23
AT ITER 6320 NEW BEST:: SOT 5327978 SOS 1625216 HAS SOPS 1624582 HAS SOUS 68010 HAS SOUPS 67376 WITH SCORE 69001.216
AT ITER 6327 NEW BEST:: SOT 5327965 SOS 1625216 HAS SOPS 1624582 HAS SOUS 67984 HAS SOUPS 67350 WITH SCORE 68975.216
AT ITER 6401 NEW BEST:: SOT 5327965 SOS 1625076 HAS SOPS 1624442 HAS SOUS 67970 HAS SOUPS 67336 WITH SCORE 68961.076
AT ITER 6412 NEW BEST:: SOT 5327941 SOS 1625052 HAS SOPS 1624418 HAS SOUS 67922 HAS SOUPS 67288 WITH SCORE 68913.052
AT ITER 6413 NEW BEST:: SOT 5327916 SOS 1625027 HAS SOPS 1624393 HAS SOUS 67872 HAS SOUPS 67238 WITH SCORE 68863.027
AT ITER 6455 NEW BEST:: SOT 5327906 SOS 1624917 HAS SOPS 1624283 HAS SOUS 67852 HAS SOUPS 67218 WITH SCORE 68842.917
AT ITER 6512 NEW BEST:: SOT 5327869 SOS 1624880 HAS SOPS 1624246 HAS SOUS 67779 HAS SOUPS 67145 WITH SCORE 68769.88
AT ITER 6528 NEW BEST:: SOT 5327861 SOS 1624872 HAS SOPS 1624238 HAS SOUS 67772 HAS SOUPS 67138 WITH SCORE 68762.872
AT ITER 6535 NEW BEST:: SOT 5327835 SOS 1624846 HAS SOPS 1624212 HAS SOUS 67719 HAS SOUPS 67085 WITH SCORE 68709.846
AT ITER 6542 NEW BEST:: SOT 5327832 SOS 1624847 HAS SOPS 1624213 HAS SOUS 67713 HAS SOUPS 67079 WITH SCORE 68703.847
AT ITER 6586 NEW BEST:: SOT 5327791 SOS 1624806 HAS SOPS 1624172 HAS SOUS 67650 HAS SOUPS 67016 WITH SCORE 68640.806
AT ITER 6599 NEW BEST:: SOT 5327791 SOS 1624806 HAS SOPS 1624172 HAS SOUS 67648 HAS SOUPS 67014 WITH SCORE 68638.806
AT ITER 6617 NEW BEST:: SOT 5327788 SOS 1625453 HAS SOPS 1624819 HAS SOUS 67642 HAS SOUPS 67008 WITH SCORE 68633.453
AT ITER 6621 NEW BEST:: SOT 5327788 SOS 1625453 HAS SOPS 1624819 HAS SOUS 67631 HAS SOUPS 66997 WITH SCORE 68622.453
AT ITER 6624 NEW BEST:: SOT 5327721 SOS 1625386 HAS SOPS 1624752 HAS SOUS 67564 HAS SOUPS 66930 WITH SCORE 68555.386
AT ITER 6639 NEW BEST:: SOT 5327703 SOS 1625368 HAS SOPS 1624734 HAS SOUS 67528 HAS SOUPS 66894 WITH SCORE 68519.368
AT ITER 6643 NEW BEST:: SOT 5327702 SOS 1625367 HAS SOPS 1624733 HAS SOUS 67526 HAS SOUPS 66892 WITH SCORE 68517.367
AT ITER 6653 NEW BEST:: SOT 5327699 SOS 1625364 HAS SOPS 1624730 HAS SOUS 67520 HAS SOUPS 66886 WITH SCORE 68511.364
AT ITER 6658 NEW BEST:: SOT 5327694 SOS 1625358 HAS SOPS 1624724 HAS SOUS 67520 HAS SOUPS 66886 WITH SCORE 68511.358
AT ITER 6659 NEW BEST:: SOT 5327635 SOS 1625299 HAS SOPS 1624665 HAS SOUS 67428 HAS SOUPS 66794 WITH SCORE 68419.299
AT ITER 6724 NEW BEST:: SOT 5327614 SOS 1625278 HAS SOPS 1624644 HAS SOUS 67386 HAS SOUPS 66752 WITH SCORE 68377.278
AT ITER 6745 NEW BEST:: SOT 5327599 SOS 1625263 HAS SOPS 1624629 HAS SOUS 67343 HAS SOUPS 66709 WITH SCORE 68334.263
AT ITER 6762 NEW BEST:: SOT 5327574 SOS 1625238 HAS SOPS 1624604 HAS SOUS 67315 HAS SOUPS 66681 WITH SCORE 68306.238
AT ITER 6771 NEW BEST:: SOT 5327569 SOS 1625233 HAS SOPS 1624599 HAS SOUS 67305 HAS SOUPS 66671 WITH SCORE 68296.233
AT ITER 6815 NEW BEST:: SOT 5327551 SOS 1625177 HAS SOPS 1624543 HAS SOUS 67296 HAS SOUPS 66662 WITH SCORE 68287.177
AT ITER 6848 NEW BEST:: SOT 5327536 SOS 1625162 HAS SOPS 1624528 HAS SOUS 67278 HAS SOUPS 66644 WITH SCORE 68269.162
AT ITER 6858 NEW BEST:: SOT 5327536 SOS 1625162 HAS SOPS 1624528 HAS SOUS 67276 HAS SOUPS 66642 WITH SCORE 68267.162
AT ITER 6876 NEW BEST:: SOT 5327502 SOS 1625162 HAS SOPS 1624528 HAS SOUS 67208 HAS SOUPS 66574 WITH SCORE 68199.162
AT ITER 6880 NEW BEST:: SOT 5327541 SOS 1625597 HAS SOPS 1624963 HAS SOUS 67207 HAS SOUPS 66573 WITH SCORE 68198.597
AT ITER 6909 NEW BEST:: SOT 5327532 SOS 1625552 HAS SOPS 1624918 HAS SOUS 67189 HAS SOUPS 66555 WITH SCORE 68180.552
AT ITER 6944 NEW BEST:: SOT 5327512 SOS 1625532 HAS SOPS 1624898 HAS SOUS 67175 HAS SOUPS 66541 WITH SCORE 68166.532
AT ITER 6951 NEW BEST:: SOT 5327512 SOS 1625512 HAS SOPS 1624878 HAS SOUS 67173 HAS SOUPS 66539 WITH SCORE 68164.512
AT ITER 6963 NEW BEST:: SOT 5327484 SOS 1625484 HAS SOPS 1624850 HAS SOUS 67117 HAS SOUPS 66483 WITH SCORE 68108.484
AT ITER 6991 NEW BEST:: SOT 5308754 SOS 1606754 HAS SOPS 1606120 HAS SOUS 65607 HAS SOUPS 64973 WITH SCORE 66579.754
AT ITER 7005 NEW BEST:: SOT 5308735 SOS 1606754 HAS SOPS 1606120 HAS SOUS 65588 HAS SOUPS 64954 WITH SCORE 66560.754
AT ITER 7048 NEW BEST:: SOT 5308715 SOS 1606744 HAS SOPS 1606110 HAS SOUS 65549 HAS SOUPS 64915 WITH SCORE 66521.744
AT ITER 7071 NEW BEST:: SOT 5308695 SOS 1607034 HAS SOPS 1606400 HAS SOUS 65509 HAS SOUPS 64875 WITH SCORE 66482.034
AT ITER 7072 NEW BEST:: SOT 5308697 SOS 1607030 HAS SOPS 1606396 HAS SOUS 65507 HAS SOUPS 64873 WITH SCORE 66480.03
AT ITER 7083 NEW BEST:: SOT 5308696 SOS 1607029 HAS SOPS 1606395 HAS SOUS 65505 HAS SOUPS 64871 WITH SCORE 66478.029
AT ITER 7087 NEW BEST:: SOT 5308671 SOS 1607004 HAS SOPS 1606370 HAS SOUS 65455 HAS SOUPS 64821 WITH SCORE 66428.004
AT ITER 7098 NEW BEST:: SOT 5308664 SOS 1606997 HAS SOPS 1606363 HAS SOUS 65448 HAS SOUPS 64814 WITH SCORE 66420.997
AT ITER 7172 NEW BEST:: SOT 5308564 SOS 1629277 HAS SOPS 1628643 HAS SOUS 65380 HAS SOUPS 64746 WITH SCORE 66375.277
AT ITER 7193 NEW BEST:: SOT 5308560 SOS 1629273 HAS SOPS 1628639 HAS SOUS 65376 HAS SOUPS 64742 WITH SCORE 66371.273
AT ITER 7263 NEW BEST:: SOT 5308558 SOS 1629271 HAS SOPS 1628637 HAS SOUS 65372 HAS SOUPS 64738 WITH SCORE 66367.271
AT ITER 7284 NEW BEST:: SOT 5308555 SOS 1629268 HAS SOPS 1628634 HAS SOUS 65353 HAS SOUPS 64719 WITH SCORE 66348.268
AT ITER 7305 NEW BEST:: SOT 5308538 SOS 1629251 HAS SOPS 1628617 HAS SOUS 65321 HAS SOUPS 64687 WITH SCORE 66316.251
AT ITER 7338 NEW BEST:: SOT 5308534 SOS 1629247 HAS SOPS 1628613 HAS SOUS 65313 HAS SOUPS 64679 WITH SCORE 66308.247
AT ITER 7352 NEW BEST:: SOT 5308313 SOS 1688706 HAS SOPS 1688072 HAS SOUS 65231 HAS SOUPS 64597 WITH SCORE 66285.706
AT ITER 7405 NEW BEST:: SOT 5308312 SOS 1688705 HAS SOPS 1688071 HAS SOUS 65229 HAS SOUPS 64595 WITH SCORE 66283.705
AT ITER 7413 NEW BEST:: SOT 5308312 SOS 1688675 HAS SOPS 1688041 HAS SOUS 65226 HAS SOUPS 64592 WITH SCORE 66280.675
AT ITER 7431 NEW BEST:: SOT 5308298 SOS 1688521 HAS SOPS 1687887 HAS SOUS 65198 HAS SOUPS 64564 WITH SCORE 66252.521
AT ITER 7437 NEW BEST:: SOT 5308289 SOS 1688491 HAS SOPS 1687857 HAS SOUS 65136 HAS SOUPS 64502 WITH SCORE 66190.491
AT ITER 7471 NEW BEST:: SOT 5308185 SOS 1688446 HAS SOPS 1687812 HAS SOUS 65046 HAS SOUPS 64412 WITH SCORE 66100.446
AT ITER 7499 NEW BEST:: SOT 5308185 SOS 1688446 HAS SOPS 1687812 HAS SOUS 65034 HAS SOUPS 64400 WITH SCORE 66088.446
AT ITER 7520 NEW BEST:: SOT 5308157 SOS 1688418 HAS SOPS 1687784 HAS SOUS 64980 HAS SOUPS 64346 WITH SCORE 66034.418
AT ITER 7526 NEW BEST:: SOT 5308185 SOS 1688476 HAS SOPS 1687842 HAS SOUS 64976 HAS SOUPS 64342 WITH SCORE 66030.476
AT ITER 7565 NEW BEST:: SOT 5308182 SOS 1688473 HAS SOPS 1687839 HAS SOUS 64954 HAS SOUPS 64320 WITH SCORE 66008.473
AT ITER 7695 NEW BEST:: SOT 5308070 SOS 1688361 HAS SOPS 1687727 HAS SOUS 64834 HAS SOUPS 64200 WITH SCORE 65888.361
AT ITER 7702 NEW BEST:: SOT 5308061 SOS 1688352 HAS SOPS 1687718 HAS SOUS 64816 HAS SOUPS 64182 WITH SCORE 65870.352
AT ITER 7724 NEW BEST:: SOT 5308014 SOS 1688305 HAS SOPS 1687671 HAS SOUS 64792 HAS SOUPS 64158 WITH SCORE 65846.305
AT ITER 7731 NEW BEST:: SOT 5308010 SOS 1688301 HAS SOPS 1687667 HAS SOUS 64784 HAS SOUPS 64150 WITH SCORE 65838.301
AT ITER 7826 NEW BEST:: SOT 5308010 SOS 1688301 HAS SOPS 1687667 HAS SOUS 64780 HAS SOUPS 64146 WITH SCORE 65834.301
AT ITER 7830 NEW BEST:: SOT 5308011 SOS 1688302 HAS SOPS 1687668 HAS SOUS 64778 HAS SOUPS 64144 WITH SCORE 65832.302
AT ITER 7836 NEW BEST:: SOT 5308005 SOS 1688296 HAS SOPS 1687662 HAS SOUS 64766 HAS SOUPS 64132 WITH SCORE 65820.296
AT ITER 7880 NEW BEST:: SOT 5307983 SOS 1688274 HAS SOPS 1687640 HAS SOUS 64728 HAS SOUPS 64094 WITH SCORE 65782.274
AT ITER 7888 NEW BEST:: SOT 5307927 SOS 1688218 HAS SOPS 1687584 HAS SOUS 64652 HAS SOUPS 64018 WITH SCORE 65706.218
AT ITER 7970 NEW BEST:: SOT 5307927 SOS 1688214 HAS SOPS 1687580 HAS SOUS 64648 HAS SOUPS 64014 WITH SCORE 65702.214
AT ITER 7987 NEW BEST:: SOT 5307900 SOS 1688155 HAS SOPS 1687521 HAS SOUS 64594 HAS SOUPS 63960 WITH SCORE 65648.155
AT ITER 8028 NEW BEST:: SOT 5306381 SOS 1686636 HAS SOPS 1686002 HAS SOUS 64163 HAS SOUPS 63529 WITH SCORE 65215.636
AT ITER 8031 NEW BEST:: SOT 5306370 SOS 1686634 HAS SOPS 1686000 HAS SOUS 64161 HAS SOUPS 63527 WITH SCORE 65213.634
AT ITER 8044 NEW BEST:: SOT 5306341 SOS 1686605 HAS SOPS 1685971 HAS SOUS 64102 HAS SOUPS 63468 WITH SCORE 65154.605
AT ITER 8058 NEW BEST:: SOT 5306341 SOS 1686605 HAS SOPS 1685971 HAS SOUS 64068 HAS SOUPS 63434 WITH SCORE 65120.605
AT ITER 8091 NEW BEST:: SOT 5306331 SOS 1686595 HAS SOPS 1685961 HAS SOUS 64049 HAS SOUPS 63415 WITH SCORE 65101.595
AT ITER 8137 NEW BEST:: SOT 5306349 SOS 1686637 HAS SOPS 1686003 HAS SOUS 64037 HAS SOUPS 63403 WITH SCORE 65089.637
AT ITER 8149 NEW BEST:: SOT 5306313 SOS 1686601 HAS SOPS 1685967 HAS SOUS 63964 HAS SOUPS 63330 WITH SCORE 65016.601
AT ITER 8165 NEW BEST:: SOT 5306292 SOS 1686713 HAS SOPS 1686079 HAS SOUS 63922 HAS SOUPS 63288 WITH SCORE 64974.713
AT ITER 8167 NEW BEST:: SOT 5306278 SOS 1686710 HAS SOPS 1686068 HAS SOUS 63914 HAS SOUPS 63272 WITH SCORE 64958.71
AT ITER 8184 NEW BEST:: SOT 5306243 SOS 1686675 HAS SOPS 1686033 HAS SOUS 63872 HAS SOUPS 63230 WITH SCORE 64916.675
AT ITER 8191 NEW BEST:: SOT 5306252 SOS 1686696 HAS SOPS 1686054 HAS SOUS 63866 HAS SOUPS 63224 WITH SCORE 64910.696
AT ITER 8192 NEW BEST:: SOT 5317724 SOS 1698168 HAS SOPS 1697526 HAS SOUS 63615 HAS SOUPS 62973 WITH SCORE 64671.168
AT ITER 8195 NEW BEST:: SOT 5317727 SOS 1698141 HAS SOPS 1697499 HAS SOUS 63615 HAS SOUPS 62973 WITH SCORE 64671.141
AT ITER 8257 NEW BEST:: SOT 5317727 SOS 1698222 HAS SOPS 1697571 HAS SOUS 63615 HAS SOUPS 62964 WITH SCORE 64662.222
AT ITER 8285 NEW BEST:: SOT 5317711 SOS 1698206 HAS SOPS 1697555 HAS SOUS 63581 HAS SOUPS 62930 WITH SCORE 64628.206
AT ITER 8289 NEW BEST:: SOT 5317455 SOS 1697967 HAS SOPS 1697316 HAS SOUS 63464 HAS SOUPS 62813 WITH SCORE 64510.967
AT ITER 8301 NEW BEST:: SOT 5317448 SOS 1697960 HAS SOPS 1697309 HAS SOUS 63424 HAS SOUPS 62773 WITH SCORE 64470.96
AT ITER 8309 NEW BEST:: SOT 5317427 SOS 1697939 HAS SOPS 1697288 HAS SOUS 63400 HAS SOUPS 62749 WITH SCORE 64446.939
AT ITER 8325 NEW BEST:: SOT 5317469 SOS 1697981 HAS SOPS 1697330 HAS SOUS 63278 HAS SOUPS 62627 WITH SCORE 64324.981
AT ITER 8342 NEW BEST:: SOT 5317457 SOS 1697969 HAS SOPS 1697318 HAS SOUS 63254 HAS SOUPS 62603 WITH SCORE 64300.969
AT ITER 8343 NEW BEST:: SOT 5317467 SOS 1698469 HAS SOPS 1697818 HAS SOUS 63243 HAS SOUPS 62592 WITH SCORE 64290.469
AT ITER 8385 NEW BEST:: SOT 5317467 SOS 1698325 HAS SOPS 1697674 HAS SOUS 63243 HAS SOUPS 62592 WITH SCORE 64290.325
AT ITER 8422 NEW BEST:: SOT 5317467 SOS 1698311 HAS SOPS 1697660 HAS SOUS 63243 HAS SOUPS 62592 WITH SCORE 64290.311
AT ITER 8503 NEW BEST:: SOT 5317460 SOS 1698304 HAS SOPS 1697653 HAS SOUS 63237 HAS SOUPS 62586 WITH SCORE 64284.304000000004
AT ITER 8527 NEW BEST:: SOT 5317460 SOS 1698304 HAS SOPS 1697653 HAS SOUS 63206 HAS SOUPS 62555 WITH SCORE 64253.304000000004
AT ITER 8548 NEW BEST:: SOT 5317460 SOS 1698304 HAS SOPS 1697653 HAS SOUS 63204 HAS SOUPS 62553 WITH SCORE 64251.304000000004
AT ITER 8583 NEW BEST:: SOT 5317434 SOS 1698261 HAS SOPS 1697610 HAS SOUS 63024 HAS SOUPS 62373 WITH SCORE 64071.261
AT ITER 8585 NEW BEST:: SOT 5317418 SOS 1698240 HAS SOPS 1697589 HAS SOUS 62997 HAS SOUPS 62346 WITH SCORE 64044.24
AT ITER 8681 NEW BEST:: SOT 5317409 SOS 1698232 HAS SOPS 1697581 HAS SOUS 62978 HAS SOUPS 62327 WITH SCORE 64025.232
AT ITER 8719 NEW BEST:: SOT 5317368 SOS 1698191 HAS SOPS 1697540 HAS SOUS 62906 HAS SOUPS 62255 WITH SCORE 63953.191
AT ITER 8742 NEW BEST:: SOT 5317368 SOS 1698339 HAS SOPS 1697688 HAS SOUS 62874 HAS SOUPS 62223 WITH SCORE 63921.339
AT ITER 8743 NEW BEST:: SOT 5317303 SOS 1698274 HAS SOPS 1697623 HAS SOUS 62755 HAS SOUPS 62104 WITH SCORE 63802.274
AT ITER 8818 NEW BEST:: SOT 5317287 SOS 1698258 HAS SOPS 1697607 HAS SOUS 62723 HAS SOUPS 62072 WITH SCORE 63770.258
AT ITER 8819 NEW BEST:: SOT 5317293 SOS 1698264 HAS SOPS 1697613 HAS SOUS 62722 HAS SOUPS 62071 WITH SCORE 63769.264
AT ITER 8842 NEW BEST:: SOT 5317257 SOS 1698228 HAS SOPS 1697577 HAS SOUS 62683 HAS SOUPS 62032 WITH SCORE 63730.228
AT ITER 8850 NEW BEST:: SOT 5317247 SOS 1698218 HAS SOPS 1697567 HAS SOUS 62676 HAS SOUPS 62025 WITH SCORE 63723.218
AT ITER 8859 NEW BEST:: SOT 5317247 SOS 1698218 HAS SOPS 1697567 HAS SOUS 62675 HAS SOUPS 62024 WITH SCORE 63722.218
AT ITER 8881 NEW BEST:: SOT 5317278 SOS 1698249 HAS SOPS 1697598 HAS SOUS 62665 HAS SOUPS 62014 WITH SCORE 63712.249
AT ITER 8883 NEW BEST:: SOT 5317250 SOS 1698652 HAS SOPS 1698001 HAS SOUS 62609 HAS SOUPS 61958 WITH SCORE 63656.652
AT ITER 8911 NEW BEST:: SOT 5317152 SOS 1698554 HAS SOPS 1697903 HAS SOUS 62555 HAS SOUPS 61904 WITH SCORE 63602.554000000004
AT ITER 8928 NEW BEST:: SOT 5317145 SOS 1698547 HAS SOPS 1697896 HAS SOUS 62548 HAS SOUPS 61897 WITH SCORE 63595.547
AT ITER 8932 NEW BEST:: SOT 5317137 SOS 1698539 HAS SOPS 1697888 HAS SOUS 62540 HAS SOUPS 61889 WITH SCORE 63587.539
AT ITER 8941 NEW BEST:: SOT 5317135 SOS 1698537 HAS SOPS 1697886 HAS SOUS 62536 HAS SOUPS 61885 WITH SCORE 63583.537
AT ITER 8972 NEW BEST:: SOT 5317130 SOS 1698532 HAS SOPS 1697881 HAS SOUS 62526 HAS SOUPS 61875 WITH SCORE 63573.532
AT ITER 8980 NEW BEST:: SOT 5317113 SOS 1698515 HAS SOPS 1697864 HAS SOUS 62491 HAS SOUPS 61840 WITH SCORE 63538.515
AT ITER 9015 NEW BEST:: SOT 5317031 SOS 1698433 HAS SOPS 1697782 HAS SOUS 62447 HAS SOUPS 61796 WITH SCORE 63494.433
AT ITER 9040 NEW BEST:: SOT 5317018 SOS 1698420 HAS SOPS 1697769 HAS SOUS 62447 HAS SOUPS 61796 WITH SCORE 63494.42
AT ITER 9061 NEW BEST:: SOT 5317018 SOS 1698414 HAS SOPS 1697763 HAS SOUS 62447 HAS SOUPS 61796 WITH SCORE 63494.414
AT ITER 9095 NEW BEST:: SOT 5317020 SOS 1698398 HAS SOPS 1697747 HAS SOUS 62405 HAS SOUPS 61754 WITH SCORE 63452.398
AT ITER 9096 NEW BEST:: SOT 5316983 SOS 1698361 HAS SOPS 1697710 HAS SOUS 62323 HAS SOUPS 61672 WITH SCORE 63370.361
AT ITER 9129 NEW BEST:: SOT 5316969 SOS 1698407 HAS SOPS 1697756 HAS SOUS 62315 HAS SOUPS 61664 WITH SCORE 63362.407
AT ITER 9153 NEW BEST:: SOT 5316969 SOS 1698147 HAS SOPS 1697496 HAS SOUS 62302 HAS SOUPS 61651 WITH SCORE 63349.147
AT ITER 9203 NEW BEST:: SOT 5316972 SOS 1698150 HAS SOPS 1697499 HAS SOUS 62277 HAS SOUPS 61626 WITH SCORE 63324.15
AT ITER 9211 NEW BEST:: SOT 5316923 SOS 1698101 HAS SOPS 1697450 HAS SOUS 62178 HAS SOUPS 61527 WITH SCORE 63225.101
AT ITER 9230 NEW BEST:: SOT 5316915 SOS 1698093 HAS SOPS 1697442 HAS SOUS 62170 HAS SOUPS 61519 WITH SCORE 63217.093
AT ITER 9263 NEW BEST:: SOT 5307443 SOS 1688621 HAS SOPS 1687970 HAS SOUS 61286 HAS SOUPS 60635 WITH SCORE 62323.621
AT ITER 9279 NEW BEST:: SOT 5307441 SOS 1688539 HAS SOPS 1687888 HAS SOUS 61282 HAS SOUPS 60631 WITH SCORE 62319.539
AT ITER 9296 NEW BEST:: SOT 5307448 SOS 1688530 HAS SOPS 1687879 HAS SOUS 61264 HAS SOUPS 60613 WITH SCORE 62301.53
AT ITER 9313 NEW BEST:: SOT 5307438 SOS 1688520 HAS SOPS 1687869 HAS SOUS 61264 HAS SOUPS 60613 WITH SCORE 62301.52
AT ITER 9339 NEW BEST:: SOT 5307438 SOS 1688330 HAS SOPS 1687679 HAS SOUS 61262 HAS SOUPS 60611 WITH SCORE 62299.33
AT ITER 9347 NEW BEST:: SOT 5306836 SOS 1779528 HAS SOPS 1778877 HAS SOUS 61044 HAS SOUPS 60393 WITH SCORE 62172.528
AT ITER 9357 NEW BEST:: SOT 5306830 SOS 1779492 HAS SOPS 1778841 HAS SOUS 61032 HAS SOUPS 60381 WITH SCORE 62160.492
AT ITER 9367 NEW BEST:: SOT 5306819 SOS 1779571 HAS SOPS 1778920 HAS SOUS 61030 HAS SOUPS 60379 WITH SCORE 62158.571
AT ITER 9408 NEW BEST:: SOT 5306817 SOS 1779569 HAS SOPS 1778918 HAS SOUS 61026 HAS SOUPS 60375 WITH SCORE 62154.569
AT ITER 9418 NEW BEST:: SOT 5306817 SOS 1779569 HAS SOPS 1778918 HAS SOUS 61022 HAS SOUPS 60371 WITH SCORE 62150.569
AT ITER 9432 NEW BEST:: SOT 5306812 SOS 1779564 HAS SOPS 1778913 HAS SOUS 61013 HAS SOUPS 60362 WITH SCORE 62141.564
AT ITER 9450 NEW BEST:: SOT 5306811 SOS 1779563 HAS SOPS 1778912 HAS SOUS 60980 HAS SOUPS 60329 WITH SCORE 62108.563
AT ITER 9503 NEW BEST:: SOT 5306767 SOS 1779519 HAS SOPS 1778868 HAS SOUS 60911 HAS SOUPS 60260 WITH SCORE 62039.519
AT ITER 9507 NEW BEST:: SOT 5306733 SOS 1779485 HAS SOPS 1778834 HAS SOUS 60843 HAS SOUPS 60192 WITH SCORE 61971.485
AT ITER 9517 NEW BEST:: SOT 5306733 SOS 1779485 HAS SOPS 1778834 HAS SOUS 60803 HAS SOUPS 60152 WITH SCORE 61931.485
AT ITER 9564 NEW BEST:: SOT 5306732 SOS 1779484 HAS SOPS 1778833 HAS SOUS 60802 HAS SOUPS 60151 WITH SCORE 61930.484
AT ITER 9569 NEW BEST:: SOT 5306716 SOS 1779468 HAS SOPS 1778817 HAS SOUS 60770 HAS SOUPS 60119 WITH SCORE 61898.468
AT ITER 9577 NEW BEST:: SOT 5306716 SOS 1779468 HAS SOPS 1778817 HAS SOUS 60759 HAS SOUPS 60108 WITH SCORE 61887.468
AT ITER 9583 NEW BEST:: SOT 5306605 SOS 1779494 HAS SOPS 1778843 HAS SOUS 60727 HAS SOUPS 60076 WITH SCORE 61855.494
AT ITER 9636 NEW BEST:: SOT 5306591 SOS 1779480 HAS SOPS 1778829 HAS SOUS 60700 HAS SOUPS 60049 WITH SCORE 61828.48
AT ITER 9650 NEW BEST:: SOT 5306570 SOS 1779375 HAS SOPS 1778724 HAS SOUS 60663 HAS SOUPS 60012 WITH SCORE 61791.375
AT ITER 9656 NEW BEST:: SOT 5306559 SOS 1779333 HAS SOPS 1778682 HAS SOUS 60641 HAS SOUPS 59990 WITH SCORE 61769.333
AT ITER 9688 NEW BEST:: SOT 5306494 SOS 1779274 HAS SOPS 1778623 HAS SOUS 60513 HAS SOUPS 59862 WITH SCORE 61641.274
AT ITER 9692 NEW BEST:: SOT 5306491 SOS 1779271 HAS SOPS 1778620 HAS SOUS 60507 HAS SOUPS 59856 WITH SCORE 61635.271
AT ITER 9698 NEW BEST:: SOT 5306488 SOS 1779268 HAS SOPS 1778617 HAS SOUS 60501 HAS SOUPS 59850 WITH SCORE 61629.268
AT ITER 9743 NEW BEST:: SOT 5306490 SOS 1779250 HAS SOPS 1778599 HAS SOUS 60501 HAS SOUPS 59850 WITH SCORE 61629.25
AT ITER 9760 NEW BEST:: SOT 5306488 SOS 1779248 HAS SOPS 1778597 HAS SOUS 60497 HAS SOUPS 59846 WITH SCORE 61625.248
AT ITER 9923 NEW BEST:: SOT 5306487 SOS 1779247 HAS SOPS 1778596 HAS SOUS 60494 HAS SOUPS 59843 WITH SCORE 61622.247
AT ITER 9951 NEW BEST:: SOT 5306467 SOS 1779227 HAS SOPS 1778576 HAS SOUS 60454 HAS SOUPS 59803 WITH SCORE 61582.227
AT ITER 9958 NEW BEST:: SOT 5306467 SOS 1779227 HAS SOPS 1778576 HAS SOUS 60446 HAS SOUPS 59795 WITH SCORE 61574.227
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14363092 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16094060 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="PolyORBNT-COL-S10J20"
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 PolyORBNT-COL-S10J20, 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-167873953300680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J20.tgz
mv PolyORBNT-COL-S10J20 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 ;