Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696700344.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BugTracking-PT-q3m008, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696700344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 13K Feb 26 06:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 06:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 06:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 06:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 07:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 07:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 06:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 06:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678784673156

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=BugTracking-PT-q3m008
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:04:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:04:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:04:36] [INFO ] Load time of PNML (sax parser for PT used): 776 ms
[2023-03-14 09:04:36] [INFO ] Transformed 754 places.
[2023-03-14 09:04:36] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:04:36] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 960 ms.
[2023-03-14 09:04:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 131 ms.
Total runtime 1125 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m008
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: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14117150 SOS 8895966 HAS SOPS 8894121 HAS SOUS 1695521 HAS SOUPS 1693676 WITH SCORE 1702571.966
AT ITER 36 NEW BEST:: SOT 14117174 SOS 8895990 HAS SOPS 8894145 HAS SOUS 1691148 HAS SOUPS 1689303 WITH SCORE 1698198.99
AT ITER 39 NEW BEST:: SOT 14117270 SOS 8896086 HAS SOPS 8894241 HAS SOUS 1686309 HAS SOUPS 1684464 WITH SCORE 1693360.086
AT ITER 48 NEW BEST:: SOT 14114517 SOS 8893418 HAS SOPS 8891573 HAS SOUS 1683641 HAS SOUPS 1681796 WITH SCORE 1690689.418
AT ITER 53 NEW BEST:: SOT 13984536 SOS 11808470 HAS SOPS 11807480 HAS SOUS 1554845 HAS SOUPS 1553855 WITH SCORE 1565663.47
AT ITER 60 NEW BEST:: SOT 13983952 SOS 11807886 HAS SOPS 11806896 HAS SOUS 1548633 HAS SOUPS 1547643 WITH SCORE 1559450.886
AT ITER 62 NEW BEST:: SOT 13985434 SOS 11809848 HAS SOPS 11808858 HAS SOUS 1548435 HAS SOUPS 1547445 WITH SCORE 1559254.848
AT ITER 73 NEW BEST:: SOT 13985488 SOS 11809902 HAS SOPS 11808912 HAS SOUS 1548283 HAS SOUPS 1547293 WITH SCORE 1559102.902
AT ITER 81 NEW BEST:: SOT 13983690 SOS 11808104 HAS SOPS 11807114 HAS SOUS 1544558 HAS SOUPS 1543568 WITH SCORE 1555376.104
AT ITER 85 NEW BEST:: SOT 13985238 SOS 11809914 HAS SOPS 11808924 HAS SOUS 1538638 HAS SOUPS 1537648 WITH SCORE 1549457.914
AT ITER 90 NEW BEST:: SOT 13983551 SOS 11808227 HAS SOPS 11807237 HAS SOUS 1534345 HAS SOUPS 1533355 WITH SCORE 1545163.227
AT ITER 94 NEW BEST:: SOT 13974973 SOS 11818749 HAS SOPS 11817759 HAS SOUS 1526315 HAS SOUPS 1525325 WITH SCORE 1537143.749
AT ITER 97 NEW BEST:: SOT 13974973 SOS 11831442 HAS SOPS 11830452 HAS SOUS 1526117 HAS SOUPS 1525127 WITH SCORE 1536958.442
AT ITER 99 NEW BEST:: SOT 13968434 SOS 11811014 HAS SOPS 11810024 HAS SOUS 1520084 HAS SOUPS 1519094 WITH SCORE 1530905.014
AT ITER 105 NEW BEST:: SOT 13966938 SOS 11829654 HAS SOPS 11828664 HAS SOUS 1519101 HAS SOUPS 1518111 WITH SCORE 1529940.654
AT ITER 150 NEW BEST:: SOT 13962379 SOS 11825095 HAS SOPS 11824105 HAS SOUS 1512939 HAS SOUPS 1511949 WITH SCORE 1523774.095
AT ITER 154 NEW BEST:: SOT 13962379 SOS 11825016 HAS SOPS 11824026 HAS SOUS 1512860 HAS SOUPS 1511870 WITH SCORE 1523695.016
AT ITER 155 NEW BEST:: SOT 13962379 SOS 11822496 HAS SOPS 11821506 HAS SOUS 1512860 HAS SOUPS 1511870 WITH SCORE 1523692.496
AT ITER 158 NEW BEST:: SOT 13961822 SOS 11821939 HAS SOPS 11820949 HAS SOUS 1510310 HAS SOUPS 1509320 WITH SCORE 1521141.939
AT ITER 166 NEW BEST:: SOT 13973263 SOS 11833936 HAS SOPS 11832946 HAS SOUS 1507703 HAS SOUPS 1506713 WITH SCORE 1518546.936
AT ITER 169 NEW BEST:: SOT 13973263 SOS 11831272 HAS SOPS 11830282 HAS SOUS 1507703 HAS SOUPS 1506713 WITH SCORE 1518544.272
AT ITER 178 NEW BEST:: SOT 13973263 SOS 11831102 HAS SOPS 11830112 HAS SOUS 1507703 HAS SOUPS 1506713 WITH SCORE 1518544.102
AT ITER 185 NEW BEST:: SOT 13972626 SOS 11830465 HAS SOPS 11829475 HAS SOUS 1507078 HAS SOUPS 1506088 WITH SCORE 1517918.465
AT ITER 187 NEW BEST:: SOT 13972626 SOS 11822977 HAS SOPS 11821987 HAS SOUS 1507078 HAS SOUPS 1506088 WITH SCORE 1517910.977
AT ITER 192 NEW BEST:: SOT 13972626 SOS 11820385 HAS SOPS 11819395 HAS SOUS 1507078 HAS SOUPS 1506088 WITH SCORE 1517908.385
AT ITER 201 NEW BEST:: SOT 13972626 SOS 11820385 HAS SOPS 11819395 HAS SOUS 1507002 HAS SOUPS 1506012 WITH SCORE 1517832.385
AT ITER 221 NEW BEST:: SOT 13972646 SOS 11818965 HAS SOPS 11817975 HAS SOUS 1507002 HAS SOUPS 1506012 WITH SCORE 1517830.965
AT ITER 227 NEW BEST:: SOT 13969664 SOS 11815738 HAS SOPS 11814803 HAS SOUS 1496270 HAS SOUPS 1495335 WITH SCORE 1507150.738
AT ITER 229 NEW BEST:: SOT 13969664 SOS 11809114 HAS SOPS 11808179 HAS SOUS 1496270 HAS SOUPS 1495335 WITH SCORE 1507144.114
AT ITER 234 NEW BEST:: SOT 13974614 SOS 11814928 HAS SOPS 11813993 HAS SOUS 1496032 HAS SOUPS 1495097 WITH SCORE 1506911.928
AT ITER 235 NEW BEST:: SOT 13973033 SOS 11813347 HAS SOPS 11812412 HAS SOUS 1492844 HAS SOUPS 1491909 WITH SCORE 1503722.347
AT ITER 236 NEW BEST:: SOT 13973033 SOS 11813347 HAS SOPS 11812412 HAS SOUS 1492772 HAS SOUPS 1491837 WITH SCORE 1503650.347
AT ITER 237 NEW BEST:: SOT 13977429 SOS 11817889 HAS SOPS 11816954 HAS SOUS 1491770 HAS SOUPS 1490835 WITH SCORE 1502652.889
AT ITER 239 NEW BEST:: SOT 13979004 SOS 11819530 HAS SOPS 11818595 HAS SOUS 1490987 HAS SOUPS 1490052 WITH SCORE 1501871.53
AT ITER 245 NEW BEST:: SOT 13976244 SOS 11816770 HAS SOPS 11815835 HAS SOUS 1486860 HAS SOUPS 1485925 WITH SCORE 1497741.77
AT ITER 247 NEW BEST:: SOT 13974922 SOS 11815500 HAS SOPS 11814565 HAS SOUS 1482909 HAS SOUPS 1481974 WITH SCORE 1493789.5
AT ITER 250 NEW BEST:: SOT 13974922 SOS 11815500 HAS SOPS 11814565 HAS SOUS 1482851 HAS SOUPS 1481916 WITH SCORE 1493731.5
AT ITER 256 NEW BEST:: SOT 13974922 SOS 11823852 HAS SOPS 11822917 HAS SOUS 1482735 HAS SOUPS 1481800 WITH SCORE 1493623.852
AT ITER 272 NEW BEST:: SOT 13965097 SOS 11815631 HAS SOPS 11814696 HAS SOUS 1470118 HAS SOUPS 1469183 WITH SCORE 1480998.631
AT ITER 273 NEW BEST:: SOT 13965097 SOS 11814983 HAS SOPS 11814048 HAS SOUS 1470118 HAS SOUPS 1469183 WITH SCORE 1480997.983
AT ITER 282 NEW BEST:: SOT 13965097 SOS 11821535 HAS SOPS 11820600 HAS SOUS 1470027 HAS SOUPS 1469092 WITH SCORE 1480913.535
AT ITER 290 NEW BEST:: SOT 13965097 SOS 11821535 HAS SOPS 11820600 HAS SOUS 1470025 HAS SOUPS 1469090 WITH SCORE 1480911.535
AT ITER 297 NEW BEST:: SOT 13965097 SOS 11818727 HAS SOPS 11817792 HAS SOUS 1470025 HAS SOUPS 1469090 WITH SCORE 1480908.727
AT ITER 302 NEW BEST:: SOT 13965097 SOS 11826215 HAS SOPS 11825280 HAS SOUS 1469921 HAS SOUPS 1468986 WITH SCORE 1480812.215
AT ITER 304 NEW BEST:: SOT 13965097 SOS 11826215 HAS SOPS 11825280 HAS SOUS 1469803 HAS SOUPS 1468868 WITH SCORE 1480694.215
AT ITER 305 NEW BEST:: SOT 13965097 SOS 11820815 HAS SOPS 11819880 HAS SOUS 1469803 HAS SOUPS 1468868 WITH SCORE 1480688.815
AT ITER 309 NEW BEST:: SOT 13965014 SOS 11814839 HAS SOPS 11813904 HAS SOUS 1469720 HAS SOUPS 1468785 WITH SCORE 1480599.839
AT ITER 313 NEW BEST:: SOT 13962153 SOS 11811713 HAS SOPS 11810827 HAS SOUS 1459467 HAS SOUPS 1458581 WITH SCORE 1470392.713
AT ITER 316 NEW BEST:: SOT 13962153 SOS 11811435 HAS SOPS 11810549 HAS SOUS 1459328 HAS SOUPS 1458442 WITH SCORE 1470253.435
AT ITER 328 NEW BEST:: SOT 13956668 SOS 11805950 HAS SOPS 11805064 HAS SOUS 1448348 HAS SOUPS 1447462 WITH SCORE 1459267.95
AT ITER 331 NEW BEST:: SOT 13956668 SOS 11816174 HAS SOPS 11815288 HAS SOUS 1448206 HAS SOUPS 1447320 WITH SCORE 1459136.174
AT ITER 336 NEW BEST:: SOT 13956668 SOS 11810630 HAS SOPS 11809744 HAS SOUS 1448206 HAS SOUPS 1447320 WITH SCORE 1459130.63
AT ITER 348 NEW BEST:: SOT 13956668 SOS 11810630 HAS SOPS 11809744 HAS SOUS 1448152 HAS SOUPS 1447266 WITH SCORE 1459076.63
AT ITER 352 NEW BEST:: SOT 13956463 SOS 11810425 HAS SOPS 11809539 HAS SOUS 1447488 HAS SOUPS 1446602 WITH SCORE 1458412.425
AT ITER 357 NEW BEST:: SOT 13956463 SOS 11806969 HAS SOPS 11806083 HAS SOUS 1447440 HAS SOUPS 1446554 WITH SCORE 1458360.969
AT ITER 358 NEW BEST:: SOT 13956463 SOS 11806969 HAS SOPS 11806083 HAS SOUS 1447356 HAS SOUPS 1446470 WITH SCORE 1458276.969
AT ITER 362 NEW BEST:: SOT 13953991 SOS 11804497 HAS SOPS 11803611 HAS SOUS 1437238 HAS SOUPS 1436352 WITH SCORE 1448156.497
AT ITER 363 NEW BEST:: SOT 13954330 SOS 11804836 HAS SOPS 11803950 HAS SOUS 1437112 HAS SOUPS 1436226 WITH SCORE 1448030.836
AT ITER 366 NEW BEST:: SOT 13959964 SOS 11810626 HAS SOPS 11809740 HAS SOUS 1433854 HAS SOUPS 1432968 WITH SCORE 1444778.626
AT ITER 368 NEW BEST:: SOT 13959964 SOS 11815556 HAS SOPS 11814670 HAS SOUS 1433792 HAS SOUPS 1432906 WITH SCORE 1444721.556
AT ITER 400 NEW BEST:: SOT 13952944 SOS 11811688 HAS SOPS 11810802 HAS SOUS 1426969 HAS SOUPS 1426083 WITH SCORE 1437894.688
AT ITER 406 NEW BEST:: SOT 13942031 SOS 11801345 HAS SOPS 11800459 HAS SOUS 1412667 HAS SOUPS 1411781 WITH SCORE 1423582.345
AT ITER 414 NEW BEST:: SOT 13943731 SOS 11803045 HAS SOPS 11802159 HAS SOUS 1409978 HAS SOUPS 1409092 WITH SCORE 1420895.045
AT ITER 415 NEW BEST:: SOT 13943727 SOS 11803045 HAS SOPS 11802159 HAS SOUS 1409974 HAS SOUPS 1409088 WITH SCORE 1420891.045
AT ITER 417 NEW BEST:: SOT 13941631 SOS 11800949 HAS SOPS 11800063 HAS SOUS 1408585 HAS SOUPS 1407699 WITH SCORE 1419499.949
AT ITER 428 NEW BEST:: SOT 13940125 SOS 11799443 HAS SOPS 11798557 HAS SOUS 1403088 HAS SOUPS 1402202 WITH SCORE 1414001.443
AT ITER 429 NEW BEST:: SOT 13940063 SOS 11799381 HAS SOPS 11798495 HAS SOUS 1403026 HAS SOUPS 1402140 WITH SCORE 1413939.381
AT ITER 441 NEW BEST:: SOT 13940063 SOS 11805861 HAS SOPS 11804975 HAS SOUS 1402936 HAS SOUPS 1402050 WITH SCORE 1413855.861
AT ITER 446 NEW BEST:: SOT 13944506 SOS 11810736 HAS SOPS 11809850 HAS SOUS 1399532 HAS SOUPS 1398646 WITH SCORE 1410456.736
AT ITER 451 NEW BEST:: SOT 13944506 SOS 11798008 HAS SOPS 11797122 HAS SOUS 1399360 HAS SOUPS 1398474 WITH SCORE 1410272.008
AT ITER 453 NEW BEST:: SOT 13944506 SOS 11794192 HAS SOPS 11793306 HAS SOUS 1399360 HAS SOUPS 1398474 WITH SCORE 1410268.192
AT ITER 458 NEW BEST:: SOT 13944506 SOS 11793804 HAS SOPS 11792918 HAS SOUS 1399166 HAS SOUPS 1398280 WITH SCORE 1410073.804
AT ITER 463 NEW BEST:: SOT 13941917 SOS 11791215 HAS SOPS 11790329 HAS SOUS 1389006 HAS SOUPS 1388120 WITH SCORE 1399911.215
AT ITER 483 NEW BEST:: SOT 13941917 SOS 11780415 HAS SOPS 11779529 HAS SOUS 1389006 HAS SOUPS 1388120 WITH SCORE 1399900.415
AT ITER 484 NEW BEST:: SOT 13941917 SOS 11777607 HAS SOPS 11776721 HAS SOUS 1389006 HAS SOUPS 1388120 WITH SCORE 1399897.607
AT ITER 486 NEW BEST:: SOT 13940675 SOS 11776393 HAS SOPS 11775507 HAS SOUS 1385558 HAS SOUPS 1384672 WITH SCORE 1396448.393
AT ITER 496 NEW BEST:: SOT 13933682 SOS 11782162 HAS SOPS 11781276 HAS SOUS 1379525 HAS SOUPS 1378639 WITH SCORE 1390421.162
AT ITER 498 NEW BEST:: SOT 13931012 SOS 11779492 HAS SOPS 11778606 HAS SOUS 1375960 HAS SOUPS 1375074 WITH SCORE 1386853.492
AT ITER 504 NEW BEST:: SOT 13930776 SOS 11779167 HAS SOPS 11778297 HAS SOUS 1375430 HAS SOUPS 1374560 WITH SCORE 1386339.167
AT ITER 510 NEW BEST:: SOT 13930776 SOS 11766365 HAS SOPS 11765495 HAS SOUS 1375257 HAS SOUPS 1374387 WITH SCORE 1386153.365
AT ITER 512 NEW BEST:: SOT 13930776 SOS 11766174 HAS SOPS 11765304 HAS SOUS 1375134 HAS SOUPS 1374264 WITH SCORE 1386030.174
AT ITER 518 NEW BEST:: SOT 13930776 SOS 11766174 HAS SOPS 11765304 HAS SOUS 1375079 HAS SOUPS 1374209 WITH SCORE 1385975.174
AT ITER 546 NEW BEST:: SOT 13930224 SOS 11765718 HAS SOPS 11764848 HAS SOUS 1372538 HAS SOUPS 1371668 WITH SCORE 1383433.718
AT ITER 549 NEW BEST:: SOT 13926955 SOS 11762449 HAS SOPS 11761579 HAS SOUS 1369377 HAS SOUPS 1368507 WITH SCORE 1380269.449
AT ITER 556 NEW BEST:: SOT 13926828 SOS 11762328 HAS SOPS 11761456 HAS SOUS 1369200 HAS SOUPS 1368328 WITH SCORE 1380090.328
AT ITER 564 NEW BEST:: SOT 13920679 SOS 11756179 HAS SOPS 11755307 HAS SOUS 1362203 HAS SOUPS 1361331 WITH SCORE 1373087.179
AT ITER 567 NEW BEST:: SOT 13920935 SOS 11756183 HAS SOPS 11755359 HAS SOUS 1356828 HAS SOUPS 1356004 WITH SCORE 1367760.183
AT ITER 569 NEW BEST:: SOT 13920935 SOS 11754239 HAS SOPS 11753415 HAS SOUS 1356828 HAS SOUPS 1356004 WITH SCORE 1367758.239
AT ITER 573 NEW BEST:: SOT 13920935 SOS 11754239 HAS SOPS 11753415 HAS SOUS 1356713 HAS SOUPS 1355889 WITH SCORE 1367643.239
AT ITER 582 NEW BEST:: SOT 13920935 SOS 11762754 HAS SOPS 11761930 HAS SOUS 1356582 HAS SOUPS 1355758 WITH SCORE 1367520.754
AT ITER 602 NEW BEST:: SOT 13920935 SOS 11762754 HAS SOPS 11761930 HAS SOUS 1356578 HAS SOUPS 1355754 WITH SCORE 1367516.754
AT ITER 609 NEW BEST:: SOT 13918231 SOS 11760050 HAS SOPS 11759226 HAS SOUS 1354821 HAS SOUPS 1353997 WITH SCORE 1365757.05
AT ITER 637 NEW BEST:: SOT 13918231 SOS 11760050 HAS SOPS 11759226 HAS SOUS 1354809 HAS SOUPS 1353985 WITH SCORE 1365745.05
AT ITER 640 NEW BEST:: SOT 13918231 SOS 11759497 HAS SOPS 11758673 HAS SOUS 1354730 HAS SOUPS 1353906 WITH SCORE 1365665.497
AT ITER 643 NEW BEST:: SOT 13918231 SOS 11752441 HAS SOPS 11751617 HAS SOUS 1354730 HAS SOUPS 1353906 WITH SCORE 1365658.441
AT ITER 651 NEW BEST:: SOT 13918231 SOS 11742525 HAS SOPS 11741701 HAS SOUS 1354596 HAS SOUPS 1353772 WITH SCORE 1365514.525
AT ITER 654 NEW BEST:: SOT 13922203 SOS 11746769 HAS SOPS 11745945 HAS SOUS 1353607 HAS SOUPS 1352783 WITH SCORE 1364529.769
AT ITER 659 NEW BEST:: SOT 13923179 SOS 11747919 HAS SOPS 11747095 HAS SOUS 1352787 HAS SOUPS 1351963 WITH SCORE 1363710.919
AT ITER 674 NEW BEST:: SOT 13926993 SOS 11751484 HAS SOPS 11750713 HAS SOUS 1352422 HAS SOUPS 1351651 WITH SCORE 1363402.484
AT ITER 690 NEW BEST:: SOT 13936981 SOS 11762783 HAS SOPS 11761336 HAS SOUS 1340363 HAS SOUPS 1339354 WITH SCORE 1351116.783
AT ITER 696 NEW BEST:: SOT 13936981 SOS 11762591 HAS SOPS 11761144 HAS SOUS 1340267 HAS SOUPS 1339258 WITH SCORE 1351020.591
AT ITER 698 NEW BEST:: SOT 13933088 SOS 11758698 HAS SOPS 11757251 HAS SOUS 1336548 HAS SOUPS 1335539 WITH SCORE 1347297.698
AT ITER 699 NEW BEST:: SOT 13931595 SOS 11757205 HAS SOPS 11755758 HAS SOUS 1335746 HAS SOUPS 1334737 WITH SCORE 1346494.205
AT ITER 703 NEW BEST:: SOT 13931595 SOS 11757184 HAS SOPS 11755737 HAS SOUS 1335746 HAS SOUPS 1334737 WITH SCORE 1346494.184
AT ITER 712 NEW BEST:: SOT 13931595 SOS 11755528 HAS SOPS 11754081 HAS SOUS 1335746 HAS SOUPS 1334737 WITH SCORE 1346492.528
AT ITER 719 NEW BEST:: SOT 13928979 SOS 11753176 HAS SOPS 11751729 HAS SOUS 1325214 HAS SOUPS 1324205 WITH SCORE 1335958.176
AT ITER 730 NEW BEST:: SOT 13924923 SOS 11749120 HAS SOPS 11747673 HAS SOUS 1316358 HAS SOUPS 1315349 WITH SCORE 1327098.12
AT ITER 734 NEW BEST:: SOT 13913947 SOS 11754720 HAS SOPS 11753273 HAS SOUS 1304116 HAS SOUPS 1303107 WITH SCORE 1314861.72
AT ITER 768 NEW BEST:: SOT 13913947 SOS 11759256 HAS SOPS 11757809 HAS SOUS 1304077 HAS SOUPS 1303068 WITH SCORE 1314827.256
AT ITER 783 NEW BEST:: SOT 13913947 SOS 11754150 HAS SOPS 11752703 HAS SOUS 1304008 HAS SOUPS 1302999 WITH SCORE 1314753.15
AT ITER 789 NEW BEST:: SOT 13913947 SOS 11760486 HAS SOPS 11759039 HAS SOUS 1303919 HAS SOUPS 1302910 WITH SCORE 1314670.486
AT ITER 807 NEW BEST:: SOT 13916142 SOS 11762763 HAS SOPS 11761316 HAS SOUS 1303209 HAS SOUPS 1302200 WITH SCORE 1313962.763
AT ITER 814 NEW BEST:: SOT 13915378 SOS 11761962 HAS SOPS 11760515 HAS SOUS 1296739 HAS SOUPS 1295730 WITH SCORE 1307491.962
AT ITER 817 NEW BEST:: SOT 13901134 SOS 11744588 HAS SOPS 11743061 HAS SOUS 1295808 HAS SOUPS 1294719 WITH SCORE 1306463.588
AT ITER 822 NEW BEST:: SOT 13900986 SOS 11744440 HAS SOPS 11742913 HAS SOUS 1295679 HAS SOUPS 1294590 WITH SCORE 1306334.44
AT ITER 829 NEW BEST:: SOT 13899349 SOS 11742803 HAS SOPS 11741276 HAS SOUS 1294969 HAS SOUPS 1293880 WITH SCORE 1305622.803
AT ITER 831 NEW BEST:: SOT 13899327 SOS 11742781 HAS SOPS 11741254 HAS SOUS 1294947 HAS SOUPS 1293858 WITH SCORE 1305600.781
AT ITER 854 NEW BEST:: SOT 13896659 SOS 11740074 HAS SOPS 11738547 HAS SOUS 1289486 HAS SOUPS 1288397 WITH SCORE 1300137.074
AT ITER 882 NEW BEST:: SOT 13896659 SOS 11740046 HAS SOPS 11738519 HAS SOUS 1289472 HAS SOUPS 1288383 WITH SCORE 1300123.046
AT ITER 904 NEW BEST:: SOT 13904911 SOS 11749931 HAS SOPS 11747894 HAS SOUS 1282001 HAS SOUPS 1280749 WITH SCORE 1292498.931
AT ITER 924 NEW BEST:: SOT 13904721 SOS 11749741 HAS SOPS 11747704 HAS SOUS 1281975 HAS SOUPS 1280723 WITH SCORE 1292472.741
AT ITER 945 NEW BEST:: SOT 13904651 SOS 11749671 HAS SOPS 11747634 HAS SOUS 1281852 HAS SOUPS 1280600 WITH SCORE 1292349.671
AT ITER 958 NEW BEST:: SOT 13904578 SOS 11734945 HAS SOPS 11732908 HAS SOUS 1281706 HAS SOUPS 1280454 WITH SCORE 1292188.945
AT ITER 970 NEW BEST:: SOT 13904578 SOS 11734945 HAS SOPS 11732908 HAS SOUS 1281696 HAS SOUPS 1280444 WITH SCORE 1292178.945
AT ITER 972 NEW BEST:: SOT 13903743 SOS 11734110 HAS SOPS 11732073 HAS SOUS 1279354 HAS SOUPS 1278102 WITH SCORE 1289836.11
AT ITER 973 NEW BEST:: SOT 13903743 SOS 11728634 HAS SOPS 11726597 HAS SOUS 1279280 HAS SOUPS 1278028 WITH SCORE 1289756.634
AT ITER 975 NEW BEST:: SOT 13897093 SOS 11717232 HAS SOPS 11715195 HAS SOUS 1269065 HAS SOUPS 1267813 WITH SCORE 1279530.232
AT ITER 979 NEW BEST:: SOT 13897103 SOS 11713489 HAS SOPS 11711452 HAS SOUS 1268983 HAS SOUPS 1267731 WITH SCORE 1279444.489
AT ITER 992 NEW BEST:: SOT 13897065 SOS 11713451 HAS SOPS 11711414 HAS SOUS 1267369 HAS SOUPS 1266117 WITH SCORE 1277830.451
AT ITER 998 NEW BEST:: SOT 13896356 SOS 11712742 HAS SOPS 11710705 HAS SOUS 1265797 HAS SOUPS 1264545 WITH SCORE 1276257.742
AT ITER 1001 NEW BEST:: SOT 13896426 SOS 11712597 HAS SOPS 11710598 HAS SOUS 1264898 HAS SOUPS 1263684 WITH SCORE 1275396.597
AT ITER 1028 NEW BEST:: SOT 13897630 SOS 11714131 HAS SOPS 11712198 HAS SOUS 1263912 HAS SOUPS 1262698 WITH SCORE 1274412.131
AT ITER 1044 NEW BEST:: SOT 13897630 SOS 11706499 HAS SOPS 11704566 HAS SOUS 1263912 HAS SOUPS 1262698 WITH SCORE 1274404.499
AT ITER 1054 NEW BEST:: SOT 13896688 SOS 11705128 HAS SOPS 11703195 HAS SOUS 1262980 HAS SOUPS 1261766 WITH SCORE 1273471.128
AT ITER 1061 NEW BEST:: SOT 13896688 SOS 11704336 HAS SOPS 11702403 HAS SOUS 1262980 HAS SOUPS 1261766 WITH SCORE 1273470.336
AT ITER 1063 NEW BEST:: SOT 13896688 SOS 11704308 HAS SOPS 11702375 HAS SOUS 1262976 HAS SOUPS 1261762 WITH SCORE 1273466.308
AT ITER 1073 NEW BEST:: SOT 13883393 SOS 11695549 HAS SOPS 11693616 HAS SOUS 1244275 HAS SOUPS 1243061 WITH SCORE 1254756.549
AT ITER 1075 NEW BEST:: SOT 13882732 SOS 11695882 HAS SOPS 11694119 HAS SOUS 1238390 HAS SOUPS 1237176 WITH SCORE 1248871.882
AT ITER 1095 NEW BEST:: SOT 13884041 SOS 11697315 HAS SOPS 11695552 HAS SOUS 1233742 HAS SOUPS 1232528 WITH SCORE 1244225.315
AT ITER 1097 NEW BEST:: SOT 13884041 SOS 11697347 HAS SOPS 11695584 HAS SOUS 1233708 HAS SOUPS 1232494 WITH SCORE 1244191.347
AT ITER 1108 NEW BEST:: SOT 13883827 SOS 11697133 HAS SOPS 11695370 HAS SOUS 1233494 HAS SOUPS 1232280 WITH SCORE 1243977.133
AT ITER 1112 NEW BEST:: SOT 13883827 SOS 11696433 HAS SOPS 11694670 HAS SOUS 1233394 HAS SOUPS 1232180 WITH SCORE 1243876.433
AT ITER 1113 NEW BEST:: SOT 13882917 SOS 11695523 HAS SOPS 11693760 HAS SOUS 1231409 HAS SOUPS 1230195 WITH SCORE 1241890.523
AT ITER 1128 NEW BEST:: SOT 13882842 SOS 11695448 HAS SOPS 11693685 HAS SOUS 1231256 HAS SOUPS 1230042 WITH SCORE 1241737.448
AT ITER 1129 NEW BEST:: SOT 13882842 SOS 11695489 HAS SOPS 11693726 HAS SOUS 1231215 HAS SOUPS 1230001 WITH SCORE 1241696.489
AT ITER 1130 NEW BEST:: SOT 13881645 SOS 11694292 HAS SOPS 11692529 HAS SOUS 1230876 HAS SOUPS 1229662 WITH SCORE 1241356.292
AT ITER 1132 NEW BEST:: SOT 13881645 SOS 11679388 HAS SOPS 11677625 HAS SOUS 1230876 HAS SOUPS 1229662 WITH SCORE 1241341.388
AT ITER 1133 NEW BEST:: SOT 13888753 SOS 11686666 HAS SOPS 11684898 HAS SOUS 1228535 HAS SOUPS 1227316 WITH SCORE 1239002.666
AT ITER 1142 NEW BEST:: SOT 13888788 SOS 11685211 HAS SOPS 11683478 HAS SOUS 1227400 HAS SOUPS 1226216 WITH SCORE 1237901.211
AT ITER 1149 NEW BEST:: SOT 13888451 SOS 11687166 HAS SOPS 11685433 HAS SOUS 1223221 HAS SOUPS 1222037 WITH SCORE 1233724.166
AT ITER 1151 NEW BEST:: SOT 13888451 SOS 11678886 HAS SOPS 11677153 HAS SOUS 1223221 HAS SOUPS 1222037 WITH SCORE 1233715.886
AT ITER 1163 NEW BEST:: SOT 13886585 SOS 11677020 HAS SOPS 11675287 HAS SOUS 1222237 HAS SOUPS 1221053 WITH SCORE 1232730.02
AT ITER 1200 NEW BEST:: SOT 13885861 SOS 11676296 HAS SOPS 11674563 HAS SOUS 1218720 HAS SOUPS 1217536 WITH SCORE 1229212.296
AT ITER 1203 NEW BEST:: SOT 13884485 SOS 11674920 HAS SOPS 11673187 HAS SOUS 1217527 HAS SOUPS 1216343 WITH SCORE 1228017.92
AT ITER 1216 NEW BEST:: SOT 13884485 SOS 11673772 HAS SOPS 11672039 HAS SOUS 1217337 HAS SOUPS 1216153 WITH SCORE 1227826.772
AT ITER 1219 NEW BEST:: SOT 13884480 SOS 11673757 HAS SOPS 11672024 HAS SOUS 1217327 HAS SOUPS 1216143 WITH SCORE 1227816.757
AT ITER 1243 NEW BEST:: SOT 13886927 SOS 11676256 HAS SOPS 11674523 HAS SOUS 1213841 HAS SOUPS 1212657 WITH SCORE 1224333.256
AT ITER 1244 NEW BEST:: SOT 13888531 SOS 11677860 HAS SOPS 11676127 HAS SOUS 1212772 HAS SOUPS 1211588 WITH SCORE 1223265.86
AT ITER 1247 NEW BEST:: SOT 13888531 SOS 11663676 HAS SOPS 11661943 HAS SOUS 1212772 HAS SOUPS 1211588 WITH SCORE 1223251.676
AT ITER 1254 NEW BEST:: SOT 13886990 SOS 11662101 HAS SOPS 11660368 HAS SOUS 1207706 HAS SOUPS 1206522 WITH SCORE 1218184.101
AT ITER 1260 NEW BEST:: SOT 13886157 SOS 11661728 HAS SOPS 11660132 HAS SOUS 1204555 HAS SOUPS 1203508 WITH SCORE 1215169.728
AT ITER 1261 NEW BEST:: SOT 13886157 SOS 11661769 HAS SOPS 11660140 HAS SOUS 1204278 HAS SOUPS 1203198 WITH SCORE 1214859.769
AT ITER 1277 NEW BEST:: SOT 13886154 SOS 11661752 HAS SOPS 11660123 HAS SOUS 1204273 HAS SOUPS 1203193 WITH SCORE 1214854.752
AT ITER 1291 NEW BEST:: SOT 13887983 SOS 11663680 HAS SOPS 11662018 HAS SOUS 1202139 HAS SOUPS 1201026 WITH SCORE 1212689.68
AT ITER 1292 NEW BEST:: SOT 13887983 SOS 11663014 HAS SOPS 11661352 HAS SOUS 1202130 HAS SOUPS 1201017 WITH SCORE 1212680.014
AT ITER 1303 NEW BEST:: SOT 13898885 SOS 11676172 HAS SOPS 11674510 HAS SOUS 1199800 HAS SOUPS 1198687 WITH SCORE 1210363.172
AT ITER 1308 NEW BEST:: SOT 13899409 SOS 11676696 HAS SOPS 11675034 HAS SOUS 1199530 HAS SOUPS 1198417 WITH SCORE 1210093.696
AT ITER 1313 NEW BEST:: SOT 13917976 SOS 11695846 HAS SOPS 11694014 HAS SOUS 1199426 HAS SOUPS 1198143 WITH SCORE 1209838.846
AT ITER 1324 NEW BEST:: SOT 13917976 SOS 11695702 HAS SOPS 11693870 HAS SOUS 1199354 HAS SOUPS 1198071 WITH SCORE 1209766.702
AT ITER 1328 NEW BEST:: SOT 13922939 SOS 11700665 HAS SOPS 11698833 HAS SOUS 1197263 HAS SOUPS 1195980 WITH SCORE 1207680.665
AT ITER 1343 NEW BEST:: SOT 13923035 SOS 11700761 HAS SOPS 11698929 HAS SOUS 1192848 HAS SOUPS 1191565 WITH SCORE 1203265.761
AT ITER 1352 NEW BEST:: SOT 13923035 SOS 11702321 HAS SOPS 11700489 HAS SOUS 1192824 HAS SOUPS 1191541 WITH SCORE 1203243.321
AT ITER 1354 NEW BEST:: SOT 13922969 SOS 11702255 HAS SOPS 11700423 HAS SOUS 1192754 HAS SOUPS 1191471 WITH SCORE 1203173.255
AT ITER 1364 NEW BEST:: SOT 13921607 SOS 11700893 HAS SOPS 11699061 HAS SOUS 1192110 HAS SOUPS 1190827 WITH SCORE 1202527.893
AT ITER 1369 NEW BEST:: SOT 13919019 SOS 11697885 HAS SOPS 11696053 HAS SOUS 1190544 HAS SOUPS 1189261 WITH SCORE 1200958.885
AT ITER 1379 NEW BEST:: SOT 13914950 SOS 11695510 HAS SOPS 11693678 HAS SOUS 1189359 HAS SOUPS 1188076 WITH SCORE 1199771.51
AT ITER 1382 NEW BEST:: SOT 13915278 SOS 11695838 HAS SOPS 11694006 HAS SOUS 1186605 HAS SOUPS 1185322 WITH SCORE 1197017.838
AT ITER 1407 NEW BEST:: SOT 13915278 SOS 11695278 HAS SOPS 11693446 HAS SOUS 1186420 HAS SOUPS 1185137 WITH SCORE 1196832.278
AT ITER 1409 NEW BEST:: SOT 13915278 SOS 11689696 HAS SOPS 11687864 HAS SOUS 1186336 HAS SOUPS 1185053 WITH SCORE 1196742.696
AT ITER 1412 NEW BEST:: SOT 13914741 SOS 11689484 HAS SOPS 11688106 HAS SOUS 1183769 HAS SOUPS 1182940 WITH SCORE 1194629.484
AT ITER 1425 NEW BEST:: SOT 13914741 SOS 10660874 HAS SOPS 10659496 HAS SOUS 1183571 HAS SOUPS 1182742 WITH SCORE 1193402.874
AT ITER 1433 NEW BEST:: SOT 13914720 SOS 10660853 HAS SOPS 10659475 HAS SOUS 1183571 HAS SOUPS 1182742 WITH SCORE 1193402.853
AT ITER 1439 NEW BEST:: SOT 13914654 SOS 10660786 HAS SOPS 10659409 HAS SOUS 1183505 HAS SOUPS 1182677 WITH SCORE 1193337.786
AT ITER 1443 NEW BEST:: SOT 13913619 SOS 10659751 HAS SOPS 10658374 HAS SOUS 1181356 HAS SOUPS 1180528 WITH SCORE 1191187.751
AT ITER 1459 NEW BEST:: SOT 13913619 SOS 10669320 HAS SOPS 10667943 HAS SOUS 1181239 HAS SOUPS 1180411 WITH SCORE 1191080.32
AT ITER 1475 NEW BEST:: SOT 13913150 SOS 10668851 HAS SOPS 10667474 HAS SOUS 1180266 HAS SOUPS 1179438 WITH SCORE 1190106.851
AT ITER 1481 NEW BEST:: SOT 13913150 SOS 10668771 HAS SOPS 10667394 HAS SOUS 1180246 HAS SOUPS 1179418 WITH SCORE 1190086.771
AT ITER 1483 NEW BEST:: SOT 13912437 SOS 10668058 HAS SOPS 10666681 HAS SOUS 1177290 HAS SOUPS 1176462 WITH SCORE 1187130.058
AT ITER 1487 NEW BEST:: SOT 13912437 SOS 10676205 HAS SOPS 10674828 HAS SOUS 1177175 HAS SOUPS 1176347 WITH SCORE 1187023.205
AT ITER 1491 NEW BEST:: SOT 13911164 SOS 10674932 HAS SOPS 10673555 HAS SOUS 1175874 HAS SOUPS 1175046 WITH SCORE 1185720.932
AT ITER 1499 NEW BEST:: SOT 13911164 SOS 10671528 HAS SOPS 10670151 HAS SOUS 1175828 HAS SOUPS 1175000 WITH SCORE 1185671.528
AT ITER 1500 NEW BEST:: SOT 13911164 SOS 10666385 HAS SOPS 10665008 HAS SOUS 1175787 HAS SOUPS 1174959 WITH SCORE 1185625.385
AT ITER 1512 NEW BEST:: SOT 13911164 SOS 10666245 HAS SOPS 10664868 HAS SOUS 1175767 HAS SOUPS 1174939 WITH SCORE 1185605.245
AT ITER 1524 NEW BEST:: SOT 13909487 SOS 10664568 HAS SOPS 10663191 HAS SOUS 1165813 HAS SOUPS 1164985 WITH SCORE 1175649.568
AT ITER 1528 NEW BEST:: SOT 13907924 SOS 10663005 HAS SOPS 10661628 HAS SOUS 1165072 HAS SOUPS 1164244 WITH SCORE 1174907.005
AT ITER 1530 NEW BEST:: SOT 13906227 SOS 10661303 HAS SOPS 10659926 HAS SOUS 1154730 HAS SOUPS 1153902 WITH SCORE 1164563.303
AT ITER 1532 NEW BEST:: SOT 13902711 SOS 10657787 HAS SOPS 10656410 HAS SOUS 1151248 HAS SOUPS 1150420 WITH SCORE 1161077.787
AT ITER 1542 NEW BEST:: SOT 13902711 SOS 10657573 HAS SOPS 10656196 HAS SOUS 1151141 HAS SOUPS 1150313 WITH SCORE 1160970.573
AT ITER 1556 NEW BEST:: SOT 13902711 SOS 10657461 HAS SOPS 10656084 HAS SOUS 1151125 HAS SOUPS 1150297 WITH SCORE 1160954.461
AT ITER 1562 NEW BEST:: SOT 13902974 SOS 10657844 HAS SOPS 10656467 HAS SOUS 1150500 HAS SOUPS 1149672 WITH SCORE 1160329.844
AT ITER 1567 NEW BEST:: SOT 13902974 SOS 10645726 HAS SOPS 10644321 HAS SOUS 1150309 HAS SOUPS 1149481 WITH SCORE 1160126.726
AT ITER 1585 NEW BEST:: SOT 13904555 SOS 10647307 HAS SOPS 10645902 HAS SOUS 1146740 HAS SOUPS 1145912 WITH SCORE 1156559.307
AT ITER 1605 NEW BEST:: SOT 13904555 SOS 10642915 HAS SOPS 10641510 HAS SOUS 1146740 HAS SOUPS 1145912 WITH SCORE 1156554.915
AT ITER 1608 NEW BEST:: SOT 13904555 SOS 10632863 HAS SOPS 10631458 HAS SOUS 1146592 HAS SOUPS 1145764 WITH SCORE 1156396.863
AT ITER 1614 NEW BEST:: SOT 13904555 SOS 10631567 HAS SOPS 10630162 HAS SOUS 1146592 HAS SOUPS 1145764 WITH SCORE 1156395.567
AT ITER 1616 NEW BEST:: SOT 13904555 SOS 10628039 HAS SOPS 10626634 HAS SOUS 1146592 HAS SOUPS 1145764 WITH SCORE 1156392.039
AT ITER 1617 NEW BEST:: SOT 13902837 SOS 10626321 HAS SOPS 10624916 HAS SOUS 1143095 HAS SOUPS 1142267 WITH SCORE 1152893.321
AT ITER 1626 NEW BEST:: SOT 13902510 SOS 10625994 HAS SOPS 10624589 HAS SOUS 1142814 HAS SOUPS 1141986 WITH SCORE 1152611.994
AT ITER 1627 NEW BEST:: SOT 13902510 SOS 10623707 HAS SOPS 10622302 HAS SOUS 1142797 HAS SOUPS 1141969 WITH SCORE 1152592.707
AT ITER 1635 NEW BEST:: SOT 13902510 SOS 10620899 HAS SOPS 10619494 HAS SOUS 1142797 HAS SOUPS 1141969 WITH SCORE 1152589.899
AT ITER 1636 NEW BEST:: SOT 13899915 SOS 10618304 HAS SOPS 10616899 HAS SOUS 1138858 HAS SOUPS 1138030 WITH SCORE 1148648.304
AT ITER 1641 NEW BEST:: SOT 13889816 SOS 10610373 HAS SOPS 10609644 HAS SOUS 1129507 HAS SOUPS 1128917 WITH SCORE 1139527.373
AT ITER 1646 NEW BEST:: SOT 13888908 SOS 10609465 HAS SOPS 10608736 HAS SOUS 1129103 HAS SOUPS 1128513 WITH SCORE 1139122.465
AT ITER 1647 NEW BEST:: SOT 13891500 SOS 10612057 HAS SOPS 10611328 HAS SOUS 1117103 HAS SOUPS 1116513 WITH SCORE 1127125.057
AT ITER 1659 NEW BEST:: SOT 13893146 SOS 10614048 HAS SOPS 10613319 HAS SOUS 1105270 HAS SOUPS 1104680 WITH SCORE 1115294.048
AT ITER 1666 NEW BEST:: SOT 13893146 SOS 10613992 HAS SOPS 10613263 HAS SOUS 1105090 HAS SOUPS 1104500 WITH SCORE 1115113.992
AT ITER 1681 NEW BEST:: SOT 13896419 SOS 10617330 HAS SOPS 10616601 HAS SOUS 1104000 HAS SOUPS 1103410 WITH SCORE 1114027.33
AT ITER 1693 NEW BEST:: SOT 13895849 SOS 10616970 HAS SOPS 10616241 HAS SOUS 1099774 HAS SOUPS 1099184 WITH SCORE 1109800.97
AT ITER 1694 NEW BEST:: SOT 13895864 SOS 10616985 HAS SOPS 10616256 HAS SOUS 1099728 HAS SOUPS 1099138 WITH SCORE 1109754.985
AT ITER 1702 NEW BEST:: SOT 13895864 SOS 10616985 HAS SOPS 10616256 HAS SOUS 1099704 HAS SOUPS 1099114 WITH SCORE 1109730.985
AT ITER 1709 NEW BEST:: SOT 13891657 SOS 10612778 HAS SOPS 10612049 HAS SOUS 1094842 HAS SOUPS 1094252 WITH SCORE 1104864.778
AT ITER 1713 NEW BEST:: SOT 13891657 SOS 10612778 HAS SOPS 10612049 HAS SOUS 1094776 HAS SOUPS 1094186 WITH SCORE 1104798.778
AT ITER 1723 NEW BEST:: SOT 13888603 SOS 10609630 HAS SOPS 10608910 HAS SOUS 1092565 HAS SOUPS 1091984 WITH SCORE 1102593.63
AT ITER 1731 NEW BEST:: SOT 13888305 SOS 10609332 HAS SOPS 10608612 HAS SOUS 1091868 HAS SOUPS 1091287 WITH SCORE 1101896.332
AT ITER 1735 NEW BEST:: SOT 13888305 SOS 10609280 HAS SOPS 10608560 HAS SOUS 1091842 HAS SOUPS 1091261 WITH SCORE 1101870.28
AT ITER 1745 NEW BEST:: SOT 13884633 SOS 10605608 HAS SOPS 10604888 HAS SOUS 1089551 HAS SOUPS 1088970 WITH SCORE 1099575.608
AT ITER 1748 NEW BEST:: SOT 13884633 SOS 10605032 HAS SOPS 10604312 HAS SOUS 1089551 HAS SOUPS 1088970 WITH SCORE 1099575.032
AT ITER 1751 NEW BEST:: SOT 13884809 SOS 10605208 HAS SOPS 10604488 HAS SOUS 1083669 HAS SOUPS 1083088 WITH SCORE 1093693.208
AT ITER 1800 NEW BEST:: SOT 13884809 SOS 10605232 HAS SOPS 10604512 HAS SOUS 1083645 HAS SOUPS 1083064 WITH SCORE 1093669.232
AT ITER 1801 NEW BEST:: SOT 13884733 SOS 10605180 HAS SOPS 10604460 HAS SOUS 1083395 HAS SOUPS 1082814 WITH SCORE 1093419.18
AT ITER 1802 NEW BEST:: SOT 13884733 SOS 10605190 HAS SOPS 10604470 HAS SOUS 1083385 HAS SOUPS 1082804 WITH SCORE 1093409.19
AT ITER 1807 NEW BEST:: SOT 13883887 SOS 10610578 HAS SOPS 10609858 HAS SOUS 1082085 HAS SOUPS 1081504 WITH SCORE 1092114.578
AT ITER 1812 NEW BEST:: SOT 13883887 SOS 10610478 HAS SOPS 10609758 HAS SOUS 1081985 HAS SOUPS 1081404 WITH SCORE 1092014.478
AT ITER 1821 NEW BEST:: SOT 13882124 SOS 10608715 HAS SOPS 10607995 HAS SOUS 1078414 HAS SOUPS 1077833 WITH SCORE 1088441.715
AT ITER 1826 NEW BEST:: SOT 13882124 SOS 10608401 HAS SOPS 10607681 HAS SOUS 1078257 HAS SOUPS 1077676 WITH SCORE 1088284.401
AT ITER 1828 NEW BEST:: SOT 13886309 SOS 10611450 HAS SOPS 10610730 HAS SOUS 1075799 HAS SOUPS 1075218 WITH SCORE 1085829.45
AT ITER 1848 NEW BEST:: SOT 13892382 SOS 10617539 HAS SOPS 10616823 HAS SOUS 1069796 HAS SOUPS 1069219 WITH SCORE 1079836.539
AT ITER 1854 NEW BEST:: SOT 13890848 SOS 10615959 HAS SOPS 10615245 HAS SOUS 1062207 HAS SOUPS 1061632 WITH SCORE 1072247.959
AT ITER 1858 NEW BEST:: SOT 13897682 SOS 10622793 HAS SOPS 10622079 HAS SOUS 1062017 HAS SOUPS 1061442 WITH SCORE 1072064.793
AT ITER 1862 NEW BEST:: SOT 13897352 SOS 10623471 HAS SOPS 10622757 HAS SOUS 1057448 HAS SOUPS 1056873 WITH SCORE 1067496.471
AT ITER 1865 NEW BEST:: SOT 13898077 SOS 10624743 HAS SOPS 10623565 HAS SOUS 1054548 HAS SOUPS 1053593 WITH SCORE 1064217.743
AT ITER 1866 NEW BEST:: SOT 13898077 SOS 10624739 HAS SOPS 10623622 HAS SOUS 1054499 HAS SOUPS 1053544 WITH SCORE 1064168.739
AT ITER 1875 NEW BEST:: SOT 13899898 SOS 10626560 HAS SOPS 10625443 HAS SOUS 1053615 HAS SOUPS 1052660 WITH SCORE 1063286.56
AT ITER 1877 NEW BEST:: SOT 13899478 SOS 10626884 HAS SOPS 10625767 HAS SOUS 1050103 HAS SOUPS 1049148 WITH SCORE 1059774.884
AT ITER 1921 NEW BEST:: SOT 13899478 SOS 10626864 HAS SOPS 10625747 HAS SOUS 1050058 HAS SOUPS 1049103 WITH SCORE 1059729.864
AT ITER 1929 NEW BEST:: SOT 13899478 SOS 10619948 HAS SOPS 10618831 HAS SOUS 1049967 HAS SOUPS 1049012 WITH SCORE 1059631.948
AT ITER 1930 NEW BEST:: SOT 13899478 SOS 10620308 HAS SOPS 10619191 HAS SOUS 1049966 HAS SOUPS 1049011 WITH SCORE 1059631.308
AT ITER 1957 NEW BEST:: SOT 13899478 SOS 10618940 HAS SOPS 10617823 HAS SOUS 1049947 HAS SOUPS 1048992 WITH SCORE 1059610.94
AT ITER 1973 NEW BEST:: SOT 13899478 SOS 10613180 HAS SOPS 10612063 HAS SOUS 1049947 HAS SOUPS 1048992 WITH SCORE 1059605.18
AT ITER 1974 NEW BEST:: SOT 13899478 SOS 10620741 HAS SOPS 10619624 HAS SOUS 1049857 HAS SOUPS 1048902 WITH SCORE 1059522.741
AT ITER 2001 NEW BEST:: SOT 13899478 SOS 10624173 HAS SOPS 10623056 HAS SOUS 1049835 HAS SOUPS 1048880 WITH SCORE 1059504.173
AT ITER 2004 NEW BEST:: SOT 13899478 SOS 10624173 HAS SOPS 10623056 HAS SOUS 1049828 HAS SOUPS 1048873 WITH SCORE 1059497.173
AT ITER 2061 NEW BEST:: SOT 13898761 SOS 10623456 HAS SOPS 10622339 HAS SOUS 1049566 HAS SOUPS 1048611 WITH SCORE 1059234.456
AT ITER 2065 NEW BEST:: SOT 13893941 SOS 10618636 HAS SOPS 10617519 HAS SOUS 1046838 HAS SOUPS 1045883 WITH SCORE 1056501.636
AT ITER 2069 NEW BEST:: SOT 13893941 SOS 10614684 HAS SOPS 10613567 HAS SOUS 1046784 HAS SOUPS 1045829 WITH SCORE 1056443.684
AT ITER 2077 NEW BEST:: SOT 13893941 SOS 10612524 HAS SOPS 10611407 HAS SOUS 1046784 HAS SOUPS 1045829 WITH SCORE 1056441.524
AT ITER 2088 NEW BEST:: SOT 13893941 SOS 10614719 HAS SOPS 10613647 HAS SOUS 1046709 HAS SOUPS 1045771 WITH SCORE 1056385.719
AT ITER 2091 NEW BEST:: SOT 13893941 SOS 10614689 HAS SOPS 10613617 HAS SOUS 1046694 HAS SOUPS 1045756 WITH SCORE 1056370.689
AT ITER 2095 NEW BEST:: SOT 13893941 SOS 10614689 HAS SOPS 10613617 HAS SOUS 1046662 HAS SOUPS 1045724 WITH SCORE 1056338.689
AT ITER 2103 NEW BEST:: SOT 13890845 SOS 10611593 HAS SOPS 10610521 HAS SOUS 1044381 HAS SOUPS 1043443 WITH SCORE 1054054.593
AT ITER 2110 NEW BEST:: SOT 13889924 SOS 10610669 HAS SOPS 10609597 HAS SOUS 1038210 HAS SOUPS 1037272 WITH SCORE 1047882.669
AT ITER 2115 NEW BEST:: SOT 13889880 SOS 10610625 HAS SOPS 10609553 HAS SOUS 1038166 HAS SOUPS 1037228 WITH SCORE 1047838.625
AT ITER 2118 NEW BEST:: SOT 13889880 SOS 10610625 HAS SOPS 10609553 HAS SOUS 1038165 HAS SOUPS 1037227 WITH SCORE 1047837.625
AT ITER 2120 NEW BEST:: SOT 13889880 SOS 10609184 HAS SOPS 10608112 HAS SOUS 1038155 HAS SOUPS 1037217 WITH SCORE 1047826.184
AT ITER 2125 NEW BEST:: SOT 13889198 SOS 10608502 HAS SOPS 10607430 HAS SOUS 1037828 HAS SOUPS 1036890 WITH SCORE 1047498.502
AT ITER 2127 NEW BEST:: SOT 13887966 SOS 10609814 HAS SOPS 10608742 HAS SOUS 1035510 HAS SOUPS 1034572 WITH SCORE 1045181.814
AT ITER 2135 NEW BEST:: SOT 13887966 SOS 10609478 HAS SOPS 10608406 HAS SOUS 1035462 HAS SOUPS 1034524 WITH SCORE 1045133.478
AT ITER 2139 NEW BEST:: SOT 13888200 SOS 10609704 HAS SOPS 10608632 HAS SOUS 1032417 HAS SOUPS 1031479 WITH SCORE 1042088.704
AT ITER 2160 NEW BEST:: SOT 13888200 SOS 10609536 HAS SOPS 10608464 HAS SOUS 1032295 HAS SOUPS 1031357 WITH SCORE 1041966.536
AT ITER 2162 NEW BEST:: SOT 13889297 SOS 10610633 HAS SOPS 10609561 HAS SOUS 1028526 HAS SOUPS 1027588 WITH SCORE 1038198.633
AT ITER 2170 NEW BEST:: SOT 13888900 SOS 10610236 HAS SOPS 10609164 HAS SOUS 1027725 HAS SOUPS 1026787 WITH SCORE 1037397.236
AT ITER 2181 NEW BEST:: SOT 13888900 SOS 10610236 HAS SOPS 10609164 HAS SOUS 1027700 HAS SOUPS 1026762 WITH SCORE 1037372.236
AT ITER 2200 NEW BEST:: SOT 13890882 SOS 10612534 HAS SOPS 10611490 HAS SOUS 1022378 HAS SOUPS 1021468 WITH SCORE 1032080.534
AT ITER 2203 NEW BEST:: SOT 13890882 SOS 10612379 HAS SOPS 10611335 HAS SOUS 1022378 HAS SOUPS 1021468 WITH SCORE 1032080.379
AT ITER 2210 NEW BEST:: SOT 13890882 SOS 10610494 HAS SOPS 10609450 HAS SOUS 1022378 HAS SOUPS 1021468 WITH SCORE 1032078.494
AT ITER 2214 NEW BEST:: SOT 13890628 SOS 10610240 HAS SOPS 10609196 HAS SOUS 1021485 HAS SOUPS 1020575 WITH SCORE 1031185.24
AT ITER 2224 NEW BEST:: SOT 13890628 SOS 10607072 HAS SOPS 10606028 HAS SOUS 1021485 HAS SOUPS 1020575 WITH SCORE 1031182.072
AT ITER 2230 NEW BEST:: SOT 13889092 SOS 10605536 HAS SOPS 10604492 HAS SOUS 1018360 HAS SOUPS 1017450 WITH SCORE 1028055.536
AT ITER 2233 NEW BEST:: SOT 13888840 SOS 10606053 HAS SOPS 10605101 HAS SOUS 1017173 HAS SOUPS 1016355 WITH SCORE 1026961.053
AT ITER 2235 NEW BEST:: SOT 13883859 SOS 10601072 HAS SOPS 10600120 HAS SOUS 1013384 HAS SOUPS 1012566 WITH SCORE 1023167.072
AT ITER 2267 NEW BEST:: SOT 13887177 SOS 10604804 HAS SOPS 10603852 HAS SOUS 1009502 HAS SOUPS 1008684 WITH SCORE 1019288.804
AT ITER 2270 NEW BEST:: SOT 13887177 SOS 10599260 HAS SOPS 10598308 HAS SOUS 1009502 HAS SOUPS 1008684 WITH SCORE 1019283.26
AT ITER 2303 NEW BEST:: SOT 13887177 SOS 10598036 HAS SOPS 10597084 HAS SOUS 1009502 HAS SOUPS 1008684 WITH SCORE 1019282.036
AT ITER 2311 NEW BEST:: SOT 13894687 SOS 10605776 HAS SOPS 10604824 HAS SOUS 1004482 HAS SOUPS 1003664 WITH SCORE 1014269.776
AT ITER 2317 NEW BEST:: SOT 13894687 SOS 10601960 HAS SOPS 10601008 HAS SOUS 1004482 HAS SOUPS 1003664 WITH SCORE 1014265.96
AT ITER 2328 NEW BEST:: SOT 13894677 SOS 10601950 HAS SOPS 10600998 HAS SOUS 1004472 HAS SOUPS 1003654 WITH SCORE 1014255.95
AT ITER 2335 NEW BEST:: SOT 13902397 SOS 10610004 HAS SOPS 10609052 HAS SOUS 1003716 HAS SOUPS 1002898 WITH SCORE 1013508.004
AT ITER 2351 NEW BEST:: SOT 13902299 SOS 10609906 HAS SOPS 10608954 HAS SOUS 1003618 HAS SOUPS 1002800 WITH SCORE 1013409.906
AT ITER 2360 NEW BEST:: SOT 13902299 SOS 10608106 HAS SOPS 10607154 HAS SOUS 1003618 HAS SOUPS 1002800 WITH SCORE 1013408.106
AT ITER 2363 NEW BEST:: SOT 13902299 SOS 10607674 HAS SOPS 10606722 HAS SOUS 1003618 HAS SOUPS 1002800 WITH SCORE 1013407.674
AT ITER 2381 NEW BEST:: SOT 13902299 SOS 10610338 HAS SOPS 10609386 HAS SOUS 1003581 HAS SOUPS 1002763 WITH SCORE 1013373.338
AT ITER 2402 NEW BEST:: SOT 13902299 SOS 10609798 HAS SOPS 10608846 HAS SOUS 1003446 HAS SOUPS 1002628 WITH SCORE 1013237.798
AT ITER 2405 NEW BEST:: SOT 13901895 SOS 10609394 HAS SOPS 10608442 HAS SOUS 1001901 HAS SOUPS 1001083 WITH SCORE 1011692.394
AT ITER 2407 NEW BEST:: SOT 13898099 SOS 10604991 HAS SOPS 10603780 HAS SOUS 998005 HAS SOUPS 996928 WITH SCORE 1007532.991
AT ITER 2413 NEW BEST:: SOT 13898099 SOS 10604765 HAS SOPS 10603554 HAS SOUS 997866 HAS SOUPS 996789 WITH SCORE 1007393.765
AT ITER 2423 NEW BEST:: SOT 13903410 SOS 10612254 HAS SOPS 10611150 HAS SOUS 995954 HAS SOUPS 994956 WITH SCORE 1005568.254
AT ITER 2426 NEW BEST:: SOT 13903410 SOS 10612164 HAS SOPS 10611060 HAS SOUS 995909 HAS SOUPS 994911 WITH SCORE 1005523.164
AT ITER 2430 NEW BEST:: SOT 13903410 SOS 10608924 HAS SOPS 10607820 HAS SOUS 995909 HAS SOUPS 994911 WITH SCORE 1005519.924
AT ITER 2441 NEW BEST:: SOT 13905746 SOS 10611260 HAS SOPS 10610156 HAS SOUS 993941 HAS SOUPS 992943 WITH SCORE 1003554.26
AT ITER 2443 NEW BEST:: SOT 13904800 SOS 10610314 HAS SOPS 10609210 HAS SOUS 992953 HAS SOUPS 991955 WITH SCORE 1002565.314
AT ITER 2445 NEW BEST:: SOT 13904800 SOS 10600906 HAS SOPS 10599802 HAS SOUS 992841 HAS SOUPS 991843 WITH SCORE 1002443.906
AT ITER 2448 NEW BEST:: SOT 13904800 SOS 10599322 HAS SOPS 10598218 HAS SOUS 992841 HAS SOUPS 991843 WITH SCORE 1002442.322
AT ITER 2466 NEW BEST:: SOT 13904816 SOS 10599341 HAS SOPS 10598237 HAS SOUS 992706 HAS SOUPS 991708 WITH SCORE 1002307.341
AT ITER 2506 NEW BEST:: SOT 13904816 SOS 10599341 HAS SOPS 10598237 HAS SOUS 992638 HAS SOUPS 991640 WITH SCORE 1002239.341
AT ITER 2508 NEW BEST:: SOT 13904578 SOS 10599103 HAS SOPS 10597999 HAS SOUS 991128 HAS SOUPS 990130 WITH SCORE 1000729.103
AT ITER 2519 NEW BEST:: SOT 13904578 SOS 10599206 HAS SOPS 10598102 HAS SOUS 991100 HAS SOUPS 990102 WITH SCORE 1000701.206
AT ITER 2540 NEW BEST:: SOT 13907721 SOS 10602354 HAS SOPS 10601250 HAS SOUS 986657 HAS SOUPS 985659 WITH SCORE 996261.354
AT ITER 2555 NEW BEST:: SOT 13907689 SOS 10602322 HAS SOPS 10601218 HAS SOUS 986625 HAS SOUPS 985627 WITH SCORE 996229.322
AT ITER 2566 NEW BEST:: SOT 13907689 SOS 10602323 HAS SOPS 10601219 HAS SOUS 986564 HAS SOUPS 985566 WITH SCORE 996168.323
AT ITER 2576 NEW BEST:: SOT 13907689 SOS 10600379 HAS SOPS 10599275 HAS SOUS 986564 HAS SOUPS 985566 WITH SCORE 996166.379
AT ITER 2582 NEW BEST:: SOT 13907655 SOS 10600345 HAS SOPS 10599241 HAS SOUS 986530 HAS SOUPS 985532 WITH SCORE 996132.345
AT ITER 2586 NEW BEST:: SOT 13907483 SOS 10600173 HAS SOPS 10599069 HAS SOUS 986402 HAS SOUPS 985404 WITH SCORE 996004.173
AT ITER 2620 NEW BEST:: SOT 13907483 SOS 10614058 HAS SOPS 10612954 HAS SOUS 986204 HAS SOUPS 985206 WITH SCORE 995820.058
AT ITER 2652 NEW BEST:: SOT 13907483 SOS 10614058 HAS SOPS 10612954 HAS SOUS 986160 HAS SOUPS 985162 WITH SCORE 995776.058
AT ITER 2654 NEW BEST:: SOT 13905894 SOS 10612380 HAS SOPS 10611276 HAS SOUS 984475 HAS SOUPS 983477 WITH SCORE 994089.38
AT ITER 2676 NEW BEST:: SOT 13905928 SOS 10612414 HAS SOPS 10611310 HAS SOUS 983518 HAS SOUPS 982520 WITH SCORE 993132.414
AT ITER 2689 NEW BEST:: SOT 13905914 SOS 10612400 HAS SOPS 10611296 HAS SOUS 983504 HAS SOUPS 982506 WITH SCORE 993118.4
AT ITER 2712 NEW BEST:: SOT 13905914 SOS 10616670 HAS SOPS 10615566 HAS SOUS 983443 HAS SOUPS 982445 WITH SCORE 993061.67
AT ITER 2746 NEW BEST:: SOT 13906981 SOS 10617737 HAS SOPS 10616633 HAS SOUS 982784 HAS SOUPS 981786 WITH SCORE 992403.737
AT ITER 2790 NEW BEST:: SOT 13906981 SOS 10617464 HAS SOPS 10616360 HAS SOUS 982693 HAS SOUPS 981695 WITH SCORE 992312.464
AT ITER 2793 NEW BEST:: SOT 13906981 SOS 10617390 HAS SOPS 10616286 HAS SOUS 982651 HAS SOUPS 981653 WITH SCORE 992270.39
AT ITER 2796 NEW BEST:: SOT 13906981 SOS 10607670 HAS SOPS 10606566 HAS SOUS 982651 HAS SOUPS 981653 WITH SCORE 992260.67
AT ITER 2806 NEW BEST:: SOT 13906981 SOS 10601315 HAS SOPS 10600211 HAS SOUS 982651 HAS SOUPS 981653 WITH SCORE 992254.315
AT ITER 2812 NEW BEST:: SOT 13906952 SOS 10601286 HAS SOPS 10600182 HAS SOUS 981346 HAS SOUPS 980348 WITH SCORE 990949.286
AT ITER 2817 NEW BEST:: SOT 13906952 SOS 10621928 HAS SOPS 10620824 HAS SOUS 981262 HAS SOUPS 980264 WITH SCORE 990885.928
AT ITER 2825 NEW BEST:: SOT 13910373 SOS 10625349 HAS SOPS 10624245 HAS SOUS 980896 HAS SOUPS 979898 WITH SCORE 990523.349
AT ITER 2872 NEW BEST:: SOT 13907768 SOS 10622744 HAS SOPS 10621640 HAS SOUS 979885 HAS SOUPS 978887 WITH SCORE 989509.744
AT ITER 2876 NEW BEST:: SOT 13906420 SOS 10621396 HAS SOPS 10620292 HAS SOUS 979037 HAS SOUPS 978039 WITH SCORE 988660.396
AT ITER 2911 NEW BEST:: SOT 13905708 SOS 10620684 HAS SOPS 10619580 HAS SOUS 978682 HAS SOUPS 977684 WITH SCORE 988304.684
AT ITER 2920 NEW BEST:: SOT 13903218 SOS 10618194 HAS SOPS 10617090 HAS SOUS 976858 HAS SOUPS 975860 WITH SCORE 986478.194
AT ITER 2952 NEW BEST:: SOT 13903329 SOS 10618099 HAS SOPS 10617021 HAS SOUS 976284 HAS SOUPS 975312 WITH SCORE 985930.099
AT ITER 2963 NEW BEST:: SOT 13903329 SOS 10616775 HAS SOPS 10615697 HAS SOUS 976284 HAS SOUPS 975312 WITH SCORE 985928.775
AT ITER 2970 NEW BEST:: SOT 13903329 SOS 10603023 HAS SOPS 10601945 HAS SOUS 976093 HAS SOUPS 975121 WITH SCORE 985724.023
AT ITER 2975 NEW BEST:: SOT 13900069 SOS 10594795 HAS SOPS 10593717 HAS SOUS 969889 HAS SOUPS 968917 WITH SCORE 979511.795
AT ITER 2977 NEW BEST:: SOT 13900069 SOS 10603867 HAS SOPS 10602789 HAS SOUS 969763 HAS SOUPS 968791 WITH SCORE 979394.867
AT ITER 3015 NEW BEST:: SOT 13900069 SOS 10603793 HAS SOPS 10602715 HAS SOUS 969726 HAS SOUPS 968754 WITH SCORE 979357.793
AT ITER 3024 NEW BEST:: SOT 13900069 SOS 10603157 HAS SOPS 10602079 HAS SOUS 969673 HAS SOUPS 968701 WITH SCORE 979304.157
AT ITER 3032 NEW BEST:: SOT 13903612 SOS 10606742 HAS SOPS 10605664 HAS SOUS 966195 HAS SOUPS 965223 WITH SCORE 975829.742
AT ITER 3059 NEW BEST:: SOT 13903612 SOS 10614932 HAS SOPS 10613854 HAS SOUS 966078 HAS SOUPS 965106 WITH SCORE 975720.932
AT ITER 3067 NEW BEST:: SOT 13903612 SOS 10614686 HAS SOPS 10613608 HAS SOUS 966075 HAS SOUPS 965103 WITH SCORE 975717.686
AT ITER 3101 NEW BEST:: SOT 13906976 SOS 10617721 HAS SOPS 10616684 HAS SOUS 962791 HAS SOUPS 961860 WITH SCORE 972477.721
AT ITER 3107 NEW BEST:: SOT 13906976 SOS 10412845 HAS SOPS 10411808 HAS SOUS 962744 HAS SOUPS 961813 WITH SCORE 972225.845
AT ITER 3110 NEW BEST:: SOT 13906541 SOS 10402762 HAS SOPS 10401725 HAS SOUS 961806 HAS SOUPS 960875 WITH SCORE 971277.762
AT ITER 3116 NEW BEST:: SOT 13906386 SOS 10402662 HAS SOPS 10401625 HAS SOUS 960897 HAS SOUPS 959966 WITH SCORE 970368.662
AT ITER 3118 NEW BEST:: SOT 13908736 SOS 10405180 HAS SOPS 10404143 HAS SOUS 960114 HAS SOUPS 959183 WITH SCORE 969588.18
AT ITER 3135 NEW BEST:: SOT 13908736 SOS 10404935 HAS SOPS 10403898 HAS SOUS 959940 HAS SOUPS 959009 WITH SCORE 969413.935
AT ITER 3138 NEW BEST:: SOT 13905668 SOS 10401867 HAS SOPS 10400830 HAS SOUS 957503 HAS SOUPS 956572 WITH SCORE 966973.867
AT ITER 3143 NEW BEST:: SOT 13905668 SOS 10409342 HAS SOPS 10408305 HAS SOUS 957388 HAS SOUPS 956457 WITH SCORE 966866.342
AT ITER 3146 NEW BEST:: SOT 13910951 SOS 10414385 HAS SOPS 10413348 HAS SOUS 956257 HAS SOUPS 955326 WITH SCORE 965740.385
AT ITER 3152 NEW BEST:: SOT 13910947 SOS 10414381 HAS SOPS 10413344 HAS SOUS 956212 HAS SOUPS 955281 WITH SCORE 965695.381
AT ITER 3159 NEW BEST:: SOT 13910947 SOS 10413805 HAS SOPS 10412768 HAS SOUS 956212 HAS SOUPS 955281 WITH SCORE 965694.805
AT ITER 3164 NEW BEST:: SOT 13910947 SOS 10413085 HAS SOPS 10412048 HAS SOUS 956032 HAS SOUPS 955101 WITH SCORE 965514.085
AT ITER 3171 NEW BEST:: SOT 13910947 SOS 10410589 HAS SOPS 10409552 HAS SOUS 956032 HAS SOUPS 955101 WITH SCORE 965511.589
AT ITER 3173 NEW BEST:: SOT 13910947 SOS 10400221 HAS SOPS 10399184 HAS SOUS 956032 HAS SOUPS 955101 WITH SCORE 965501.221
AT ITER 3176 NEW BEST:: SOT 13914907 SOS 10404181 HAS SOPS 10403144 HAS SOUS 955322 HAS SOUPS 954391 WITH SCORE 964795.181
AT ITER 3179 NEW BEST:: SOT 13914907 SOS 10404181 HAS SOPS 10403144 HAS SOUS 955280 HAS SOUPS 954349 WITH SCORE 964753.181
AT ITER 3188 NEW BEST:: SOT 13914907 SOS 10403461 HAS SOPS 10402424 HAS SOUS 955280 HAS SOUPS 954349 WITH SCORE 964752.461
AT ITER 3190 NEW BEST:: SOT 13912724 SOS 10401278 HAS SOPS 10400241 HAS SOUS 953554 HAS SOUPS 952623 WITH SCORE 963024.278
AT ITER 3192 NEW BEST:: SOT 13912690 SOS 10401244 HAS SOPS 10400207 HAS SOUS 953486 HAS SOUPS 952555 WITH SCORE 962956.244
AT ITER 3200 NEW BEST:: SOT 13912838 SOS 10401420 HAS SOPS 10400383 HAS SOUS 952833 HAS SOUPS 951902 WITH SCORE 962303.42
AT ITER 3204 NEW BEST:: SOT 13912838 SOS 10401420 HAS SOPS 10400383 HAS SOUS 952755 HAS SOUPS 951824 WITH SCORE 962225.42
AT ITER 3212 NEW BEST:: SOT 13912642 SOS 10401224 HAS SOPS 10400187 HAS SOUS 952588 HAS SOUPS 951657 WITH SCORE 962058.224
AT ITER 3249 NEW BEST:: SOT 13912642 SOS 10396976 HAS SOPS 10395939 HAS SOUS 952529 HAS SOUPS 951598 WITH SCORE 961994.976
AT ITER 3277 NEW BEST:: SOT 13915917 SOS 10400298 HAS SOPS 10399261 HAS SOUS 952487 HAS SOUPS 951556 WITH SCORE 961956.298
AT ITER 3280 NEW BEST:: SOT 13915917 SOS 10395762 HAS SOPS 10394725 HAS SOUS 952487 HAS SOUPS 951556 WITH SCORE 961951.762
AT ITER 3292 NEW BEST:: SOT 13915894 SOS 10395739 HAS SOPS 10394702 HAS SOUS 952450 HAS SOUPS 951519 WITH SCORE 961914.739
AT ITER 3310 NEW BEST:: SOT 13914602 SOS 10394447 HAS SOPS 10393410 HAS SOUS 949827 HAS SOUPS 948896 WITH SCORE 959290.447
AT ITER 3325 NEW BEST:: SOT 13914602 SOS 10394341 HAS SOPS 10393304 HAS SOUS 949774 HAS SOUPS 948843 WITH SCORE 959237.341
AT ITER 3341 NEW BEST:: SOT 13914245 SOS 10393984 HAS SOPS 10392947 HAS SOUS 949064 HAS SOUPS 948133 WITH SCORE 958526.984
AT ITER 3348 NEW BEST:: SOT 13912160 SOS 10400755 HAS SOPS 10399718 HAS SOUS 948526 HAS SOUPS 947595 WITH SCORE 957995.755
AT ITER 3365 NEW BEST:: SOT 13912160 SOS 10389523 HAS SOPS 10388486 HAS SOUS 948526 HAS SOUPS 947595 WITH SCORE 957984.523
AT ITER 3377 NEW BEST:: SOT 13912248 SOS 10389611 HAS SOPS 10388574 HAS SOUS 948522 HAS SOUPS 947591 WITH SCORE 957980.611
AT ITER 3395 NEW BEST:: SOT 13912244 SOS 10389607 HAS SOPS 10388570 HAS SOUS 948514 HAS SOUPS 947583 WITH SCORE 957972.607
AT ITER 3400 NEW BEST:: SOT 13911816 SOS 10389179 HAS SOPS 10388142 HAS SOUS 947496 HAS SOUPS 946565 WITH SCORE 956954.179
AT ITER 3411 NEW BEST:: SOT 13911816 SOS 10389143 HAS SOPS 10388106 HAS SOUS 947496 HAS SOUPS 946565 WITH SCORE 956954.143
AT ITER 3430 NEW BEST:: SOT 13928342 SOS 10405669 HAS SOPS 10404632 HAS SOUS 943433 HAS SOUPS 942502 WITH SCORE 952907.669
AT ITER 3435 NEW BEST:: SOT 13935844 SOS 10414203 HAS SOPS 10413166 HAS SOUS 940542 HAS SOUPS 939611 WITH SCORE 950025.203
AT ITER 3527 NEW BEST:: SOT 13935844 SOS 10407469 HAS SOPS 10406432 HAS SOUS 940542 HAS SOUPS 939611 WITH SCORE 950018.469
AT ITER 3537 NEW BEST:: SOT 13935578 SOS 10405017 HAS SOPS 10403852 HAS SOUS 939057 HAS SOUPS 938332 WITH SCORE 948737.017
AT ITER 3546 NEW BEST:: SOT 13933789 SOS 10403228 HAS SOPS 10402063 HAS SOUS 935432 HAS SOUPS 934707 WITH SCORE 945110.228
AT ITER 3554 NEW BEST:: SOT 13930368 SOS 10402040 HAS SOPS 10400875 HAS SOUS 932694 HAS SOUPS 931969 WITH SCORE 942371.04
AT ITER 3561 NEW BEST:: SOT 13930368 SOS 10401320 HAS SOPS 10400155 HAS SOUS 932694 HAS SOUPS 931969 WITH SCORE 942370.32
AT ITER 3577 NEW BEST:: SOT 13929068 SOS 10400020 HAS SOPS 10398855 HAS SOUS 931669 HAS SOUPS 930944 WITH SCORE 941344.02
AT ITER 3583 NEW BEST:: SOT 13929068 SOS 10406306 HAS SOPS 10405141 HAS SOUS 931536 HAS SOUPS 930811 WITH SCORE 941217.306
AT ITER 3584 NEW BEST:: SOT 13935442 SOS 10412680 HAS SOPS 10411515 HAS SOUS 927904 HAS SOUPS 927179 WITH SCORE 937591.68
AT ITER 3591 NEW BEST:: SOT 13935442 SOS 10412680 HAS SOPS 10411515 HAS SOUS 927896 HAS SOUPS 927171 WITH SCORE 937583.68
AT ITER 3595 NEW BEST:: SOT 13935442 SOS 10411672 HAS SOPS 10410507 HAS SOUS 927896 HAS SOUPS 927171 WITH SCORE 937582.672
AT ITER 3612 NEW BEST:: SOT 13934860 SOS 10411090 HAS SOPS 10409925 HAS SOUS 927488 HAS SOUPS 926763 WITH SCORE 937174.09
AT ITER 3616 NEW BEST:: SOT 13934860 SOS 10409578 HAS SOPS 10408413 HAS SOUS 927488 HAS SOUPS 926763 WITH SCORE 937172.578
AT ITER 3626 NEW BEST:: SOT 13928254 SOS 10402972 HAS SOPS 10401807 HAS SOUS 921332 HAS SOUPS 920607 WITH SCORE 931009.972
AT ITER 3628 NEW BEST:: SOT 13928169 SOS 10403123 HAS SOPS 10401927 HAS SOUS 920778 HAS SOUPS 920022 WITH SCORE 930425.123
AT ITER 3642 NEW BEST:: SOT 13927958 SOS 10402912 HAS SOPS 10401716 HAS SOUS 920352 HAS SOUPS 919596 WITH SCORE 929998.912
AT ITER 3655 NEW BEST:: SOT 13931720 SOS 10406674 HAS SOPS 10405478 HAS SOUS 916337 HAS SOUPS 915581 WITH SCORE 925987.674
AT ITER 3666 NEW BEST:: SOT 13931720 SOS 10406098 HAS SOPS 10404902 HAS SOUS 916337 HAS SOUPS 915581 WITH SCORE 925987.098
AT ITER 3672 NEW BEST:: SOT 13931720 SOS 10399382 HAS SOPS 10398186 HAS SOUS 916337 HAS SOUPS 915581 WITH SCORE 925980.382
AT ITER 3693 NEW BEST:: SOT 13931720 SOS 10398794 HAS SOPS 10397598 HAS SOUS 916337 HAS SOUPS 915581 WITH SCORE 925979.794
AT ITER 3698 NEW BEST:: SOT 13931290 SOS 10399050 HAS SOPS 10397854 HAS SOUS 915461 HAS SOUPS 914705 WITH SCORE 925104.05
AT ITER 3706 NEW BEST:: SOT 13927464 SOS 10395224 HAS SOPS 10394028 HAS SOUS 908073 HAS SOUPS 907317 WITH SCORE 917712.224
AT ITER 3752 NEW BEST:: SOT 13927464 SOS 10393136 HAS SOPS 10391940 HAS SOUS 908073 HAS SOUPS 907317 WITH SCORE 917710.136
AT ITER 3759 NEW BEST:: SOT 13927434 SOS 10393106 HAS SOPS 10391910 HAS SOUS 904831 HAS SOUPS 904075 WITH SCORE 914468.106
AT ITER 3762 NEW BEST:: SOT 13927425 SOS 10393097 HAS SOPS 10391901 HAS SOUS 904804 HAS SOUPS 904048 WITH SCORE 914441.097
AT ITER 3774 NEW BEST:: SOT 13926930 SOS 10392602 HAS SOPS 10391406 HAS SOUS 901980 HAS SOUPS 901224 WITH SCORE 911616.602
AT ITER 3775 NEW BEST:: SOT 13926930 SOS 10387478 HAS SOPS 10386282 HAS SOUS 901980 HAS SOUPS 901224 WITH SCORE 911611.478
AT ITER 3784 NEW BEST:: SOT 13928369 SOS 10388917 HAS SOPS 10387721 HAS SOUS 901203 HAS SOUPS 900447 WITH SCORE 910835.917
AT ITER 3801 NEW BEST:: SOT 13929479 SOS 10388483 HAS SOPS 10387535 HAS SOUS 897912 HAS SOUPS 897321 WITH SCORE 907709.483
AT ITER 3815 NEW BEST:: SOT 13929510 SOS 10388514 HAS SOPS 10387566 HAS SOUS 897763 HAS SOUPS 897172 WITH SCORE 907560.514
AT ITER 3867 NEW BEST:: SOT 13934095 SOS 10393141 HAS SOPS 10392193 HAS SOUS 894629 HAS SOUPS 894038 WITH SCORE 904431.141
AT ITER 3875 NEW BEST:: SOT 13933140 SOS 10392186 HAS SOPS 10391238 HAS SOUS 893026 HAS SOUPS 892435 WITH SCORE 902827.186
AT ITER 3880 NEW BEST:: SOT 13933140 SOS 10392047 HAS SOPS 10391099 HAS SOUS 893026 HAS SOUPS 892435 WITH SCORE 902827.047
AT ITER 3881 NEW BEST:: SOT 13933019 SOS 10540723 HAS SOPS 10539775 HAS SOUS 892865 HAS SOUPS 892274 WITH SCORE 902814.723
AT ITER 3889 NEW BEST:: SOT 13932907 SOS 10540611 HAS SOPS 10539667 HAS SOUS 892514 HAS SOUPS 891927 WITH SCORE 902467.611
AT ITER 3896 NEW BEST:: SOT 13932907 SOS 10539819 HAS SOPS 10538875 HAS SOUS 892514 HAS SOUPS 891927 WITH SCORE 902466.819
AT ITER 3898 NEW BEST:: SOT 13932907 SOS 10539819 HAS SOPS 10538875 HAS SOUS 892482 HAS SOUPS 891895 WITH SCORE 902434.819
AT ITER 3902 NEW BEST:: SOT 13932907 SOS 10539417 HAS SOPS 10538473 HAS SOUS 892480 HAS SOUPS 891893 WITH SCORE 902432.417
AT ITER 3921 NEW BEST:: SOT 13932907 SOS 10530273 HAS SOPS 10529329 HAS SOUS 892480 HAS SOUPS 891893 WITH SCORE 902423.273
AT ITER 3932 NEW BEST:: SOT 13931562 SOS 10528898 HAS SOPS 10527960 HAS SOUS 889609 HAS SOUPS 889028 WITH SCORE 899556.898
AT ITER 3968 NEW BEST:: SOT 13931668 SOS 10529004 HAS SOPS 10528066 HAS SOUS 889590 HAS SOUPS 889009 WITH SCORE 899538.004
AT ITER 4010 NEW BEST:: SOT 13931668 SOS 10524684 HAS SOPS 10523746 HAS SOUS 889590 HAS SOUPS 889009 WITH SCORE 899533.684
AT ITER 4019 NEW BEST:: SOT 13931668 SOS 10522470 HAS SOPS 10521532 HAS SOUS 889590 HAS SOUPS 889009 WITH SCORE 899531.47
AT ITER 4021 NEW BEST:: SOT 13931668 SOS 10521318 HAS SOPS 10520380 HAS SOUS 889590 HAS SOUPS 889009 WITH SCORE 899530.318
AT ITER 4037 NEW BEST:: SOT 13930427 SOS 10520069 HAS SOPS 10519131 HAS SOUS 885760 HAS SOUPS 885179 WITH SCORE 895699.069
AT ITER 4040 NEW BEST:: SOT 13930427 SOS 10521081 HAS SOPS 10520143 HAS SOUS 885726 HAS SOUPS 885145 WITH SCORE 895666.081
AT ITER 4058 NEW BEST:: SOT 13928691 SOS 10519345 HAS SOPS 10518407 HAS SOUS 878100 HAS SOUPS 877519 WITH SCORE 888038.345
AT ITER 4066 NEW BEST:: SOT 13928691 SOS 10519255 HAS SOPS 10518332 HAS SOUS 878082 HAS SOUPS 877516 WITH SCORE 888035.255
AT ITER 4071 NEW BEST:: SOT 13928691 SOS 10519111 HAS SOPS 10518188 HAS SOUS 878082 HAS SOUPS 877516 WITH SCORE 888035.111
AT ITER 4074 NEW BEST:: SOT 13928691 SOS 10510039 HAS SOPS 10509116 HAS SOUS 878082 HAS SOUPS 877516 WITH SCORE 888026.039
AT ITER 4075 NEW BEST:: SOT 13930294 SOS 10510305 HAS SOPS 10509958 HAS SOUS 873957 HAS SOUPS 873610 WITH SCORE 884120.305
AT ITER 4084 NEW BEST:: SOT 13930287 SOS 10521674 HAS SOPS 10521327 HAS SOUS 873941 HAS SOUPS 873594 WITH SCORE 884115.674
AT ITER 4085 NEW BEST:: SOT 13930294 SOS 10521687 HAS SOPS 10521340 HAS SOUS 873918 HAS SOUPS 873571 WITH SCORE 884092.687
AT ITER 4112 NEW BEST:: SOT 13930208 SOS 10521625 HAS SOPS 10521278 HAS SOUS 873646 HAS SOUPS 873299 WITH SCORE 883820.625
AT ITER 4124 NEW BEST:: SOT 13932938 SOS 10524353 HAS SOPS 10524006 HAS SOUS 873490 HAS SOUPS 873143 WITH SCORE 883667.353
AT ITER 4147 NEW BEST:: SOT 13933127 SOS 10524542 HAS SOPS 10524195 HAS SOUS 872922 HAS SOUPS 872575 WITH SCORE 883099.542
AT ITER 4229 NEW BEST:: SOT 13932904 SOS 10524319 HAS SOPS 10523972 HAS SOUS 872667 HAS SOUPS 872320 WITH SCORE 882844.319
AT ITER 4231 NEW BEST:: SOT 13929519 SOS 10520934 HAS SOPS 10520587 HAS SOUS 869821 HAS SOUPS 869474 WITH SCORE 879994.934
AT ITER 4236 NEW BEST:: SOT 13929519 SOS 10520934 HAS SOPS 10520587 HAS SOUS 869794 HAS SOUPS 869447 WITH SCORE 879967.934
AT ITER 4243 NEW BEST:: SOT 13929519 SOS 10520934 HAS SOPS 10520587 HAS SOUS 869782 HAS SOUPS 869435 WITH SCORE 879955.934
AT ITER 4251 NEW BEST:: SOT 13930488 SOS 10521903 HAS SOPS 10521556 HAS SOUS 868152 HAS SOUPS 867805 WITH SCORE 878326.903
AT ITER 4274 NEW BEST:: SOT 13930488 SOS 10520823 HAS SOPS 10520476 HAS SOUS 868152 HAS SOUPS 867805 WITH SCORE 878325.823
AT ITER 4276 NEW BEST:: SOT 13930282 SOS 10520617 HAS SOPS 10520270 HAS SOUS 867742 HAS SOUPS 867395 WITH SCORE 877915.617
AT ITER 4288 NEW BEST:: SOT 13930282 SOS 10516801 HAS SOPS 10516454 HAS SOUS 867742 HAS SOUPS 867395 WITH SCORE 877911.801
AT ITER 4316 NEW BEST:: SOT 13926846 SOS 10513071 HAS SOPS 10512724 HAS SOUS 866943 HAS SOUPS 866596 WITH SCORE 877109.071
AT ITER 4338 NEW BEST:: SOT 13926846 SOS 10513023 HAS SOPS 10512676 HAS SOUS 866931 HAS SOUPS 866584 WITH SCORE 877097.023
AT ITER 4349 NEW BEST:: SOT 13926811 SOS 10512988 HAS SOPS 10512641 HAS SOUS 866896 HAS SOUPS 866549 WITH SCORE 877061.988
AT ITER 4363 NEW BEST:: SOT 13926811 SOS 10510756 HAS SOPS 10510409 HAS SOUS 866865 HAS SOUPS 866518 WITH SCORE 877028.756
AT ITER 4364 NEW BEST:: SOT 13926811 SOS 10507588 HAS SOPS 10507241 HAS SOUS 866865 HAS SOUPS 866518 WITH SCORE 877025.588
AT ITER 4384 NEW BEST:: SOT 13928481 SOS 10509258 HAS SOPS 10508911 HAS SOUS 864708 HAS SOUPS 864361 WITH SCORE 874870.258
AT ITER 4387 NEW BEST:: SOT 13928239 SOS 10509016 HAS SOPS 10508669 HAS SOUS 864592 HAS SOUPS 864245 WITH SCORE 874754.016
AT ITER 4400 NEW BEST:: SOT 13928239 SOS 10506064 HAS SOPS 10505717 HAS SOUS 864592 HAS SOUPS 864245 WITH SCORE 874751.064
AT ITER 4404 NEW BEST:: SOT 13928239 SOS 10506048 HAS SOPS 10505701 HAS SOUS 864584 HAS SOUPS 864237 WITH SCORE 874743.048
AT ITER 4413 NEW BEST:: SOT 13927999 SOS 10505808 HAS SOPS 10505461 HAS SOUS 864468 HAS SOUPS 864121 WITH SCORE 874626.808
AT ITER 4423 NEW BEST:: SOT 13927549 SOS 10505358 HAS SOPS 10505011 HAS SOUS 863538 HAS SOUPS 863191 WITH SCORE 873696.358
AT ITER 4443 NEW BEST:: SOT 13929465 SOS 10506741 HAS SOPS 10506394 HAS SOUS 862765 HAS SOUPS 862418 WITH SCORE 872924.741
AT ITER 4455 NEW BEST:: SOT 13929132 SOS 10506408 HAS SOPS 10506061 HAS SOUS 862519 HAS SOUPS 862172 WITH SCORE 872678.408
AT ITER 4462 NEW BEST:: SOT 13929136 SOS 10506412 HAS SOPS 10506065 HAS SOUS 862474 HAS SOUPS 862127 WITH SCORE 872633.412
AT ITER 4468 NEW BEST:: SOT 13929136 SOS 10503604 HAS SOPS 10503257 HAS SOUS 862474 HAS SOUPS 862127 WITH SCORE 872630.604
AT ITER 4480 NEW BEST:: SOT 13911142 SOS 10482874 HAS SOPS 10482527 HAS SOUS 861069 HAS SOUPS 860722 WITH SCORE 871204.874
AT ITER 4492 NEW BEST:: SOT 13910903 SOS 10485587 HAS SOPS 10485425 HAS SOUS 855712 HAS SOUPS 855550 WITH SCORE 866035.587
AT ITER 4494 NEW BEST:: SOT 13910837 SOS 10485521 HAS SOPS 10485359 HAS SOUS 855646 HAS SOUPS 855484 WITH SCORE 865969.521
AT ITER 4498 NEW BEST:: SOT 13910656 SOS 10485333 HAS SOPS 10485172 HAS SOUS 855131 HAS SOUPS 854970 WITH SCORE 865455.333
AT ITER 4503 NEW BEST:: SOT 13908146 SOS 10482823 HAS SOPS 10482662 HAS SOUS 853306 HAS SOUPS 853145 WITH SCORE 863627.823
AT ITER 4520 NEW BEST:: SOT 13908141 SOS 10482818 HAS SOPS 10482657 HAS SOUS 853306 HAS SOUPS 853145 WITH SCORE 863627.818
AT ITER 4521 NEW BEST:: SOT 13908141 SOS 10480442 HAS SOPS 10480281 HAS SOUS 853306 HAS SOUPS 853145 WITH SCORE 863625.442
AT ITER 4524 NEW BEST:: SOT 13908154 SOS 10480455 HAS SOPS 10480294 HAS SOUS 853277 HAS SOUPS 853116 WITH SCORE 863596.455
AT ITER 4544 NEW BEST:: SOT 13908154 SOS 10475343 HAS SOPS 10475182 HAS SOUS 853277 HAS SOUPS 853116 WITH SCORE 863591.343
AT ITER 4569 NEW BEST:: SOT 13908139 SOS 10475328 HAS SOPS 10475167 HAS SOUS 853272 HAS SOUPS 853111 WITH SCORE 863586.328
AT ITER 4594 NEW BEST:: SOT 13908137 SOS 10475326 HAS SOPS 10475165 HAS SOUS 853272 HAS SOUPS 853111 WITH SCORE 863586.326
AT ITER 4595 NEW BEST:: SOT 13908105 SOS 10475294 HAS SOPS 10475133 HAS SOUS 851322 HAS SOUPS 851161 WITH SCORE 861636.294
AT ITER 4598 NEW BEST:: SOT 13908105 SOS 10472630 HAS SOPS 10472469 HAS SOUS 851322 HAS SOUPS 851161 WITH SCORE 861633.63
AT ITER 4647 NEW BEST:: SOT 13908105 SOS 10469462 HAS SOPS 10469301 HAS SOUS 851322 HAS SOUPS 851161 WITH SCORE 861630.462
AT ITER 4677 NEW BEST:: SOT 13908105 SOS 10468915 HAS SOPS 10468754 HAS SOUS 851314 HAS SOUPS 851153 WITH SCORE 861621.915
AT ITER 4729 NEW BEST:: SOT 13907045 SOS 10467795 HAS SOPS 10467634 HAS SOUS 850699 HAS SOUPS 850538 WITH SCORE 861005.795
AT ITER 4730 NEW BEST:: SOT 13907045 SOS 10474350 HAS SOPS 10474189 HAS SOUS 850627 HAS SOUPS 850466 WITH SCORE 860940.35
AT ITER 4731 NEW BEST:: SOT 13907045 SOS 10472822 HAS SOPS 10472661 HAS SOUS 850587 HAS SOUPS 850426 WITH SCORE 860898.822
AT ITER 4752 NEW BEST:: SOT 13907021 SOS 10472798 HAS SOPS 10472637 HAS SOUS 850143 HAS SOUPS 849982 WITH SCORE 860454.798
AT ITER 4773 NEW BEST:: SOT 13907025 SOS 10471988 HAS SOPS 10471827 HAS SOUS 850136 HAS SOUPS 849975 WITH SCORE 860446.988
AT ITER 4775 NEW BEST:: SOT 13906684 SOS 10471647 HAS SOPS 10471486 HAS SOUS 849798 HAS SOUPS 849637 WITH SCORE 860108.647
AT ITER 4813 NEW BEST:: SOT 13906684 SOS 10471647 HAS SOPS 10471486 HAS SOUS 849701 HAS SOUPS 849540 WITH SCORE 860011.647
AT ITER 4827 NEW BEST:: SOT 13902986 SOS 10467949 HAS SOPS 10467788 HAS SOUS 846003 HAS SOUPS 845842 WITH SCORE 856309.949
AT ITER 4833 NEW BEST:: SOT 13906094 SOS 10470264 HAS SOPS 10470103 HAS SOUS 844795 HAS SOUPS 844634 WITH SCORE 855104.264
AT ITER 4837 NEW BEST:: SOT 13904462 SOS 10468632 HAS SOPS 10468471 HAS SOUS 843468 HAS SOUPS 843307 WITH SCORE 853775.632
AT ITER 4894 NEW BEST:: SOT 13903822 SOS 10467992 HAS SOPS 10467831 HAS SOUS 842067 HAS SOUPS 841906 WITH SCORE 852373.992
AT ITER 4895 NEW BEST:: SOT 13903817 SOS 10467987 HAS SOPS 10467826 HAS SOUS 842058 HAS SOUPS 841897 WITH SCORE 852364.987
AT ITER 4912 NEW BEST:: SOT 13902629 SOS 10466799 HAS SOPS 10466638 HAS SOUS 841380 HAS SOUPS 841219 WITH SCORE 851685.799
AT ITER 4916 NEW BEST:: SOT 13902386 SOS 10466556 HAS SOPS 10466395 HAS SOUS 841200 HAS SOUPS 841039 WITH SCORE 851505.556
AT ITER 4933 NEW BEST:: SOT 13909128 SOS 10473978 HAS SOPS 10473733 HAS SOUS 837627 HAS SOUPS 837383 WITH SCORE 847856.978
AT ITER 4956 NEW BEST:: SOT 13911835 SOS 10473661 HAS SOPS 10473416 HAS SOUS 835309 HAS SOUPS 835065 WITH SCORE 845538.661
AT ITER 4957 NEW BEST:: SOT 13911835 SOS 10477077 HAS SOPS 10476832 HAS SOUS 835260 HAS SOUPS 835016 WITH SCORE 845493.077
AT ITER 4964 NEW BEST:: SOT 13911835 SOS 10476981 HAS SOPS 10476736 HAS SOUS 835212 HAS SOUPS 834968 WITH SCORE 845444.981
AT ITER 4972 NEW BEST:: SOT 13915023 SOS 10480169 HAS SOPS 10479924 HAS SOUS 835162 HAS SOUPS 834918 WITH SCORE 845398.169
AT ITER 4982 NEW BEST:: SOT 13914910 SOS 10480056 HAS SOPS 10479811 HAS SOUS 835049 HAS SOUPS 834805 WITH SCORE 845285.056
AT ITER 4991 NEW BEST:: SOT 13913007 SOS 10478153 HAS SOPS 10477908 HAS SOUS 834101 HAS SOUPS 833857 WITH SCORE 844335.153
AT ITER 5031 NEW BEST:: SOT 13913007 SOS 10478133 HAS SOPS 10477888 HAS SOUS 834091 HAS SOUPS 833847 WITH SCORE 844325.133
AT ITER 5076 NEW BEST:: SOT 13913007 SOS 10471079 HAS SOPS 10470834 HAS SOUS 834071 HAS SOUPS 833827 WITH SCORE 844298.079
AT ITER 5077 NEW BEST:: SOT 13907995 SOS 10466067 HAS SOPS 10465822 HAS SOUS 828757 HAS SOUPS 828513 WITH SCORE 838979.067
AT ITER 5078 NEW BEST:: SOT 13907970 SOS 10466042 HAS SOPS 10465797 HAS SOUS 828732 HAS SOUPS 828488 WITH SCORE 838954.042
AT ITER 5090 NEW BEST:: SOT 13906283 SOS 10464355 HAS SOPS 10464110 HAS SOUS 827275 HAS SOUPS 827031 WITH SCORE 837495.355
AT ITER 5095 NEW BEST:: SOT 13913553 SOS 10471625 HAS SOPS 10471380 HAS SOUS 827161 HAS SOUPS 826917 WITH SCORE 837388.625
AT ITER 5096 NEW BEST:: SOT 13913553 SOS 10471469 HAS SOPS 10471224 HAS SOUS 827161 HAS SOUPS 826917 WITH SCORE 837388.469
AT ITER 5130 NEW BEST:: SOT 13913491 SOS 10472151 HAS SOPS 10471906 HAS SOUS 825896 HAS SOUPS 825652 WITH SCORE 836124.151
AT ITER 5135 NEW BEST:: SOT 13913259 SOS 10471919 HAS SOPS 10471674 HAS SOUS 825664 HAS SOUPS 825420 WITH SCORE 835891.919
AT ITER 5152 NEW BEST:: SOT 13913259 SOS 10471271 HAS SOPS 10471026 HAS SOUS 825664 HAS SOUPS 825420 WITH SCORE 835891.271
AT ITER 5166 NEW BEST:: SOT 13913259 SOS 10470047 HAS SOPS 10469802 HAS SOUS 825664 HAS SOUPS 825420 WITH SCORE 835890.047
AT ITER 5170 NEW BEST:: SOT 13913259 SOS 10468374 HAS SOPS 10468129 HAS SOUS 825641 HAS SOUPS 825397 WITH SCORE 835865.374
AT ITER 5179 NEW BEST:: SOT 13913259 SOS 10453182 HAS SOPS 10452937 HAS SOUS 825641 HAS SOUPS 825397 WITH SCORE 835850.182
AT ITER 5181 NEW BEST:: SOT 13913259 SOS 10450950 HAS SOPS 10450705 HAS SOUS 825641 HAS SOUPS 825397 WITH SCORE 835847.95
AT ITER 5186 NEW BEST:: SOT 13912770 SOS 10450461 HAS SOPS 10450216 HAS SOUS 824717 HAS SOUPS 824473 WITH SCORE 834923.461
AT ITER 5191 NEW BEST:: SOT 13927740 SOS 10465431 HAS SOPS 10465186 HAS SOUS 819833 HAS SOUPS 819589 WITH SCORE 830054.431
AT ITER 5221 NEW BEST:: SOT 13929625 SOS 10467316 HAS SOPS 10467071 HAS SOUS 817760 HAS SOUPS 817516 WITH SCORE 827983.316
AT ITER 5228 NEW BEST:: SOT 13931841 SOS 10476084 HAS SOPS 10475839 HAS SOUS 817074 HAS SOUPS 816830 WITH SCORE 827306.084
AT ITER 5249 NEW BEST:: SOT 13931848 SOS 10476769 HAS SOPS 10476524 HAS SOUS 817070 HAS SOUPS 816826 WITH SCORE 827302.769
AT ITER 5256 NEW BEST:: SOT 13936712 SOS 10481633 HAS SOPS 10481388 HAS SOUS 810782 HAS SOUPS 810538 WITH SCORE 821019.633
AT ITER 5258 NEW BEST:: SOT 13936712 SOS 10480337 HAS SOPS 10480092 HAS SOUS 810782 HAS SOUPS 810538 WITH SCORE 821018.337
AT ITER 5259 NEW BEST:: SOT 13936712 SOS 10468025 HAS SOPS 10467780 HAS SOUS 810782 HAS SOUPS 810538 WITH SCORE 821006.025
AT ITER 5275 NEW BEST:: SOT 13936712 SOS 10462031 HAS SOPS 10461786 HAS SOUS 810782 HAS SOUPS 810538 WITH SCORE 821000.031
AT ITER 5276 NEW BEST:: SOT 13936712 SOS 10461527 HAS SOPS 10461282 HAS SOUS 810782 HAS SOUPS 810538 WITH SCORE 820999.527
AT ITER 5298 NEW BEST:: SOT 13922745 SOS 10447560 HAS SOPS 10447315 HAS SOUS 805174 HAS SOUPS 804930 WITH SCORE 815377.56
AT ITER 5312 NEW BEST:: SOT 13920938 SOS 10445753 HAS SOPS 10445508 HAS SOUS 803598 HAS SOUPS 803354 WITH SCORE 813799.753
AT ITER 5317 NEW BEST:: SOT 13920938 SOS 10445753 HAS SOPS 10445508 HAS SOUS 803588 HAS SOUPS 803344 WITH SCORE 813789.753
AT ITER 5326 NEW BEST:: SOT 13920800 SOS 10445615 HAS SOPS 10445370 HAS SOUS 803477 HAS SOUPS 803233 WITH SCORE 813678.615
AT ITER 5331 NEW BEST:: SOT 13920800 SOS 10433029 HAS SOPS 10432784 HAS SOUS 803459 HAS SOUPS 803215 WITH SCORE 813648.029
AT ITER 5343 NEW BEST:: SOT 13921214 SOS 10433563 HAS SOPS 10433318 HAS SOUS 803147 HAS SOUPS 802903 WITH SCORE 813336.563
AT ITER 5347 NEW BEST:: SOT 13923169 SOS 10435518 HAS SOPS 10435273 HAS SOUS 801810 HAS SOUPS 801566 WITH SCORE 812001.518
AT ITER 5397 NEW BEST:: SOT 13921856 SOS 10434205 HAS SOPS 10433960 HAS SOUS 800726 HAS SOUPS 800482 WITH SCORE 810916.205
AT ITER 5398 NEW BEST:: SOT 13918941 SOS 10431290 HAS SOPS 10431045 HAS SOUS 798207 HAS SOUPS 797963 WITH SCORE 808394.29
AT ITER 5407 NEW BEST:: SOT 13918591 SOS 10430940 HAS SOPS 10430695 HAS SOUS 797425 HAS SOUPS 797181 WITH SCORE 807611.94
AT ITER 5413 NEW BEST:: SOT 13918591 SOS 10430940 HAS SOPS 10430695 HAS SOUS 797409 HAS SOUPS 797165 WITH SCORE 807595.94
AT ITER 5418 NEW BEST:: SOT 13916678 SOS 10429027 HAS SOPS 10428782 HAS SOUS 793655 HAS SOUPS 793411 WITH SCORE 803840.027
AT ITER 5425 NEW BEST:: SOT 13916633 SOS 10428982 HAS SOPS 10428737 HAS SOUS 793520 HAS SOUPS 793276 WITH SCORE 803704.982
AT ITER 5457 NEW BEST:: SOT 13912993 SOS 10425342 HAS SOPS 10425097 HAS SOUS 791898 HAS SOUPS 791654 WITH SCORE 802079.342
AT ITER 5459 NEW BEST:: SOT 13912993 SOS 10425342 HAS SOPS 10425097 HAS SOUS 791879 HAS SOUPS 791635 WITH SCORE 802060.342
AT ITER 5463 NEW BEST:: SOT 13912993 SOS 10425285 HAS SOPS 10425040 HAS SOUS 791759 HAS SOUPS 791515 WITH SCORE 801940.285
AT ITER 5486 NEW BEST:: SOT 13909957 SOS 10422249 HAS SOPS 10422004 HAS SOUS 789152 HAS SOUPS 788908 WITH SCORE 799330.249
AT ITER 5512 NEW BEST:: SOT 13903621 SOS 10415913 HAS SOPS 10415668 HAS SOUS 787622 HAS SOUPS 787378 WITH SCORE 797793.913
AT ITER 5519 NEW BEST:: SOT 13903621 SOS 10413681 HAS SOPS 10413436 HAS SOUS 787622 HAS SOUPS 787378 WITH SCORE 797791.681
AT ITER 5521 NEW BEST:: SOT 13900037 SOS 10410097 HAS SOPS 10409852 HAS SOUS 784645 HAS SOUPS 784401 WITH SCORE 794811.097
AT ITER 5523 NEW BEST:: SOT 13898974 SOS 10409034 HAS SOPS 10408789 HAS SOUS 783669 HAS SOUPS 783425 WITH SCORE 793834.034
AT ITER 5578 NEW BEST:: SOT 13897423 SOS 10407483 HAS SOPS 10407238 HAS SOUS 782237 HAS SOUPS 781993 WITH SCORE 792400.483
AT ITER 5581 NEW BEST:: SOT 13895841 SOS 10405901 HAS SOPS 10405656 HAS SOUS 779031 HAS SOUPS 778787 WITH SCORE 789192.901
AT ITER 5588 NEW BEST:: SOT 13896423 SOS 10406493 HAS SOPS 10406248 HAS SOUS 778637 HAS SOUPS 778393 WITH SCORE 788799.493
AT ITER 5590 NEW BEST:: SOT 13886596 SOS 10396666 HAS SOPS 10396421 HAS SOUS 775715 HAS SOUPS 775471 WITH SCORE 785867.666
AT ITER 5591 NEW BEST:: SOT 13886596 SOS 10391133 HAS SOPS 10390888 HAS SOUS 775683 HAS SOUPS 775439 WITH SCORE 785830.133
AT ITER 5596 NEW BEST:: SOT 13886540 SOS 10391077 HAS SOPS 10390832 HAS SOUS 775627 HAS SOUPS 775383 WITH SCORE 785774.077
AT ITER 5619 NEW BEST:: SOT 13887340 SOS 10392597 HAS SOPS 10392352 HAS SOUS 772855 HAS SOUPS 772611 WITH SCORE 783003.597
AT ITER 5629 NEW BEST:: SOT 13887340 SOS 10390416 HAS SOPS 10390171 HAS SOUS 772780 HAS SOUPS 772536 WITH SCORE 782926.416
AT ITER 5637 NEW BEST:: SOT 13887340 SOS 10402224 HAS SOPS 10401979 HAS SOUS 772768 HAS SOUPS 772524 WITH SCORE 782926.224
AT ITER 5672 NEW BEST:: SOT 13892744 SOS 10408966 HAS SOPS 10408763 HAS SOUS 771666 HAS SOUPS 771464 WITH SCORE 781872.966
AT ITER 5680 NEW BEST:: SOT 13891783 SOS 10408005 HAS SOPS 10407802 HAS SOUS 769312 HAS SOUPS 769110 WITH SCORE 779518.005
AT ITER 5731 NEW BEST:: SOT 13891785 SOS 10408007 HAS SOPS 10407804 HAS SOUS 769248 HAS SOUPS 769046 WITH SCORE 779454.007
AT ITER 5753 NEW BEST:: SOT 13896089 SOS 10412311 HAS SOPS 10412108 HAS SOUS 768455 HAS SOUPS 768253 WITH SCORE 778665.311
AT ITER 5772 NEW BEST:: SOT 13896089 SOS 10420091 HAS SOPS 10419888 HAS SOUS 768344 HAS SOUPS 768142 WITH SCORE 778562.091
AT ITER 5791 NEW BEST:: SOT 13895643 SOS 10419645 HAS SOPS 10419442 HAS SOUS 768109 HAS SOUPS 767907 WITH SCORE 778326.645
AT ITER 5845 NEW BEST:: SOT 13895412 SOS 10419414 HAS SOPS 10419211 HAS SOUS 767647 HAS SOUPS 767445 WITH SCORE 777864.414
AT ITER 5880 NEW BEST:: SOT 13895412 SOS 10424570 HAS SOPS 10424367 HAS SOUS 767574 HAS SOUPS 767372 WITH SCORE 777796.57
AT ITER 5892 NEW BEST:: SOT 13895412 SOS 10420034 HAS SOPS 10419831 HAS SOUS 767574 HAS SOUPS 767372 WITH SCORE 777792.034
AT ITER 5928 NEW BEST:: SOT 13897042 SOS 10421664 HAS SOPS 10421461 HAS SOUS 767379 HAS SOUPS 767177 WITH SCORE 777598.664
AT ITER 5955 NEW BEST:: SOT 13897044 SOS 10421666 HAS SOPS 10421463 HAS SOUS 767376 HAS SOUPS 767174 WITH SCORE 777595.666
AT ITER 5972 NEW BEST:: SOT 13896682 SOS 10421304 HAS SOPS 10421101 HAS SOUS 766639 HAS SOUPS 766437 WITH SCORE 776858.304
AT ITER 5975 NEW BEST:: SOT 13896696 SOS 10421318 HAS SOPS 10421115 HAS SOUS 766625 HAS SOUPS 766423 WITH SCORE 776844.318
AT ITER 5978 NEW BEST:: SOT 13896659 SOS 10421281 HAS SOPS 10421078 HAS SOUS 766588 HAS SOUPS 766386 WITH SCORE 776807.281
AT ITER 6017 NEW BEST:: SOT 13896659 SOS 10417969 HAS SOPS 10417766 HAS SOUS 766588 HAS SOUPS 766386 WITH SCORE 776803.969
AT ITER 6020 NEW BEST:: SOT 13896647 SOS 10417957 HAS SOPS 10417754 HAS SOUS 766588 HAS SOUPS 766386 WITH SCORE 776803.957
AT ITER 6025 NEW BEST:: SOT 13896499 SOS 10417809 HAS SOPS 10417606 HAS SOUS 766403 HAS SOUPS 766201 WITH SCORE 776618.809
AT ITER 6027 NEW BEST:: SOT 13891894 SOS 10413204 HAS SOPS 10413001 HAS SOUS 761687 HAS SOUPS 761485 WITH SCORE 771898.204
AT ITER 6038 NEW BEST:: SOT 13897255 SOS 10418076 HAS SOPS 10417992 HAS SOUS 760728 HAS SOUPS 760645 WITH SCORE 771063.076
AT ITER 6061 NEW BEST:: SOT 13897255 SOS 10420596 HAS SOPS 10420512 HAS SOUS 759739 HAS SOUPS 759656 WITH SCORE 770076.596
AT ITER 6077 NEW BEST:: SOT 13897255 SOS 10417356 HAS SOPS 10417272 HAS SOUS 759739 HAS SOUPS 759656 WITH SCORE 770073.356
AT ITER 6080 NEW BEST:: SOT 13897255 SOS 10415628 HAS SOPS 10415544 HAS SOUS 759739 HAS SOUPS 759656 WITH SCORE 770071.628
AT ITER 6086 NEW BEST:: SOT 13897224 SOS 10415597 HAS SOPS 10415513 HAS SOUS 759708 HAS SOUPS 759625 WITH SCORE 770040.597
AT ITER 6088 NEW BEST:: SOT 13896740 SOS 10415113 HAS SOPS 10415029 HAS SOUS 759350 HAS SOUPS 759267 WITH SCORE 769682.113
AT ITER 6098 NEW BEST:: SOT 13896740 SOS 10414321 HAS SOPS 10414237 HAS SOUS 759350 HAS SOUPS 759267 WITH SCORE 769681.321
AT ITER 6099 NEW BEST:: SOT 13896740 SOS 10414248 HAS SOPS 10414164 HAS SOUS 759349 HAS SOUPS 759266 WITH SCORE 769680.248
AT ITER 6101 NEW BEST:: SOT 13896221 SOS 10413729 HAS SOPS 10413645 HAS SOUS 757941 HAS SOUPS 757858 WITH SCORE 768271.729
AT ITER 6106 NEW BEST:: SOT 13896221 SOS 10413153 HAS SOPS 10413069 HAS SOUS 757941 HAS SOUPS 757858 WITH SCORE 768271.153
AT ITER 6110 NEW BEST:: SOT 13896188 SOS 10413120 HAS SOPS 10413036 HAS SOUS 757941 HAS SOUPS 757858 WITH SCORE 768271.12
AT ITER 6123 NEW BEST:: SOT 13896198 SOS 10413130 HAS SOPS 10413046 HAS SOUS 757932 HAS SOUPS 757849 WITH SCORE 768262.13
AT ITER 6128 NEW BEST:: SOT 13899977 SOS 10416909 HAS SOPS 10416825 HAS SOUS 756827 HAS SOUPS 756744 WITH SCORE 767160.909
AT ITER 6141 NEW BEST:: SOT 13900944 SOS 10417876 HAS SOPS 10417792 HAS SOUS 755567 HAS SOUPS 755484 WITH SCORE 765901.876
AT ITER 6169 NEW BEST:: SOT 13901613 SOS 10418545 HAS SOPS 10418461 HAS SOUS 755540 HAS SOUPS 755457 WITH SCORE 765875.545
AT ITER 6189 NEW BEST:: SOT 13901613 SOS 10418545 HAS SOPS 10418461 HAS SOUS 755501 HAS SOUPS 755418 WITH SCORE 765836.545
AT ITER 6227 NEW BEST:: SOT 13901613 SOS 10416025 HAS SOPS 10415941 HAS SOUS 755501 HAS SOUPS 755418 WITH SCORE 765834.025
AT ITER 6230 NEW BEST:: SOT 13900924 SOS 10432040 HAS SOPS 10431956 HAS SOUS 753422 HAS SOUPS 753339 WITH SCORE 763771.04
AT ITER 6242 NEW BEST:: SOT 13899305 SOS 10430421 HAS SOPS 10430337 HAS SOUS 752949 HAS SOUPS 752866 WITH SCORE 763296.421
AT ITER 6259 NEW BEST:: SOT 13898573 SOS 10429689 HAS SOPS 10429605 HAS SOUS 751485 HAS SOUPS 751402 WITH SCORE 761831.689
AT ITER 6291 NEW BEST:: SOT 13898573 SOS 10429220 HAS SOPS 10429136 HAS SOUS 751320 HAS SOUPS 751237 WITH SCORE 761666.22
AT ITER 6300 NEW BEST:: SOT 13898415 SOS 10429062 HAS SOPS 10428978 HAS SOUS 751199 HAS SOUPS 751116 WITH SCORE 761545.062
AT ITER 6304 NEW BEST:: SOT 13898415 SOS 10429062 HAS SOPS 10428978 HAS SOUS 751171 HAS SOUPS 751088 WITH SCORE 761517.062
AT ITER 6344 NEW BEST:: SOT 13898415 SOS 10428908 HAS SOPS 10428824 HAS SOUS 751171 HAS SOUPS 751088 WITH SCORE 761516.908
AT ITER 6353 NEW BEST:: SOT 13898400 SOS 10428893 HAS SOPS 10428809 HAS SOUS 751141 HAS SOUPS 751058 WITH SCORE 761486.893
AT ITER 6358 NEW BEST:: SOT 13898156 SOS 10428649 HAS SOPS 10428565 HAS SOUS 750116 HAS SOUPS 750033 WITH SCORE 760461.649
AT ITER 6359 NEW BEST:: SOT 13898156 SOS 10421449 HAS SOPS 10421365 HAS SOUS 750116 HAS SOUPS 750033 WITH SCORE 760454.449
AT ITER 6362 NEW BEST:: SOT 13897520 SOS 10468201 HAS SOPS 10468118 HAS SOUS 749110 HAS SOUPS 749027 WITH SCORE 759495.201
AT ITER 6372 NEW BEST:: SOT 13897520 SOS 10468201 HAS SOPS 10468118 HAS SOUS 749105 HAS SOUPS 749022 WITH SCORE 759490.201
AT ITER 6390 NEW BEST:: SOT 13897472 SOS 10469306 HAS SOPS 10469223 HAS SOUS 749074 HAS SOUPS 748991 WITH SCORE 759460.306
AT ITER 6404 NEW BEST:: SOT 13897205 SOS 10469039 HAS SOPS 10468956 HAS SOUS 748516 HAS SOUPS 748433 WITH SCORE 758902.039
AT ITER 6407 NEW BEST:: SOT 13897178 SOS 10469012 HAS SOPS 10468929 HAS SOUS 748436 HAS SOUPS 748353 WITH SCORE 758822.012
AT ITER 6435 NEW BEST:: SOT 13903642 SOS 10475476 HAS SOPS 10475393 HAS SOUS 747334 HAS SOUPS 747251 WITH SCORE 757726.476
AT ITER 6441 NEW BEST:: SOT 13904189 SOS 10475899 HAS SOPS 10475816 HAS SOUS 746006 HAS SOUPS 745923 WITH SCORE 756398.899
AT ITER 6454 NEW BEST:: SOT 13904189 SOS 10472947 HAS SOPS 10472864 HAS SOUS 746006 HAS SOUPS 745923 WITH SCORE 756395.947
AT ITER 6464 NEW BEST:: SOT 13904206 SOS 10428667 HAS SOPS 10428584 HAS SOUS 746006 HAS SOUPS 745923 WITH SCORE 756351.667
AT ITER 6491 NEW BEST:: SOT 13903397 SOS 10427858 HAS SOPS 10427775 HAS SOUS 745690 HAS SOUPS 745607 WITH SCORE 756034.858
AT ITER 6495 NEW BEST:: SOT 13903172 SOS 10427636 HAS SOPS 10427553 HAS SOUS 744937 HAS SOUPS 744854 WITH SCORE 755281.636
AT ITER 6546 NEW BEST:: SOT 13903124 SOS 10427588 HAS SOPS 10427505 HAS SOUS 744889 HAS SOUPS 744806 WITH SCORE 755233.588
AT ITER 6552 NEW BEST:: SOT 13901672 SOS 10426136 HAS SOPS 10426053 HAS SOUS 744611 HAS SOUPS 744528 WITH SCORE 754954.136
AT ITER 6612 NEW BEST:: SOT 13901616 SOS 10426080 HAS SOPS 10425997 HAS SOUS 744555 HAS SOUPS 744472 WITH SCORE 754898.08
AT ITER 6657 NEW BEST:: SOT 13901616 SOS 10426560 HAS SOPS 10426477 HAS SOUS 744282 HAS SOUPS 744199 WITH SCORE 754625.56
AT ITER 6659 NEW BEST:: SOT 13901628 SOS 10426572 HAS SOPS 10426489 HAS SOUS 744275 HAS SOUPS 744192 WITH SCORE 754618.572
AT ITER 6661 NEW BEST:: SOT 13902708 SOS 10427652 HAS SOPS 10427569 HAS SOUS 743704 HAS SOUPS 743621 WITH SCORE 754048.652
AT ITER 6691 NEW BEST:: SOT 13904408 SOS 10429352 HAS SOPS 10429269 HAS SOUS 742893 HAS SOUPS 742810 WITH SCORE 753239.352
AT ITER 6694 NEW BEST:: SOT 13904408 SOS 10429326 HAS SOPS 10429243 HAS SOUS 742739 HAS SOUPS 742656 WITH SCORE 753085.326
AT ITER 6709 NEW BEST:: SOT 13904408 SOS 10429277 HAS SOPS 10429194 HAS SOUS 742739 HAS SOUPS 742656 WITH SCORE 753085.277
AT ITER 6710 NEW BEST:: SOT 13902262 SOS 10427131 HAS SOPS 10427048 HAS SOUS 740629 HAS SOUPS 740546 WITH SCORE 750973.131
AT ITER 6713 NEW BEST:: SOT 13902244 SOS 10427113 HAS SOPS 10427030 HAS SOUS 739969 HAS SOUPS 739886 WITH SCORE 750313.113
AT ITER 6781 NEW BEST:: SOT 13901530 SOS 10426399 HAS SOPS 10426316 HAS SOUS 739255 HAS SOUPS 739172 WITH SCORE 749598.399
AT ITER 6813 NEW BEST:: SOT 13901530 SOS 10425751 HAS SOPS 10425668 HAS SOUS 739255 HAS SOUPS 739172 WITH SCORE 749597.751
AT ITER 6848 NEW BEST:: SOT 13905822 SOS 10430043 HAS SOPS 10429960 HAS SOUS 737698 HAS SOUPS 737615 WITH SCORE 748045.043
AT ITER 6859 NEW BEST:: SOT 13905814 SOS 10430035 HAS SOPS 10429952 HAS SOUS 737698 HAS SOUPS 737615 WITH SCORE 748045.035
AT ITER 6863 NEW BEST:: SOT 13905814 SOS 10432275 HAS SOPS 10432192 HAS SOUS 737666 HAS SOUPS 737583 WITH SCORE 748015.275
AT ITER 6874 NEW BEST:: SOT 13905454 SOS 10431915 HAS SOPS 10431832 HAS SOUS 737326 HAS SOUPS 737243 WITH SCORE 747674.915
AT ITER 6886 NEW BEST:: SOT 13905167 SOS 10431628 HAS SOPS 10431545 HAS SOUS 737086 HAS SOUPS 737003 WITH SCORE 747434.628
AT ITER 6894 NEW BEST:: SOT 13905167 SOS 10434148 HAS SOPS 10434065 HAS SOUS 737051 HAS SOUPS 736968 WITH SCORE 747402.148
AT ITER 6895 NEW BEST:: SOT 13905167 SOS 10432276 HAS SOPS 10432193 HAS SOUS 737051 HAS SOUPS 736968 WITH SCORE 747400.276
AT ITER 6898 NEW BEST:: SOT 13902637 SOS 10429466 HAS SOPS 10429418 HAS SOUS 736734 HAS SOUPS 736686 WITH SCORE 747115.466
AT ITER 6916 NEW BEST:: SOT 13902637 SOS 10428116 HAS SOPS 10428068 HAS SOUS 736734 HAS SOUPS 736686 WITH SCORE 747114.116
AT ITER 6994 NEW BEST:: SOT 13901461 SOS 10426940 HAS SOPS 10426892 HAS SOUS 735774 HAS SOUPS 735726 WITH SCORE 746152.94
AT ITER 7009 NEW BEST:: SOT 13901393 SOS 10426872 HAS SOPS 10426824 HAS SOUS 735706 HAS SOUPS 735658 WITH SCORE 746084.872
AT ITER 7024 NEW BEST:: SOT 13901430 SOS 10426909 HAS SOPS 10426861 HAS SOUS 735645 HAS SOUPS 735597 WITH SCORE 746023.909
AT ITER 7056 NEW BEST:: SOT 13901430 SOS 10424965 HAS SOPS 10424917 HAS SOUS 735645 HAS SOUPS 735597 WITH SCORE 746021.965
AT ITER 7107 NEW BEST:: SOT 13901358 SOS 10424893 HAS SOPS 10424845 HAS SOUS 732705 HAS SOUPS 732657 WITH SCORE 743081.893
AT ITER 7112 NEW BEST:: SOT 13899792 SOS 10423327 HAS SOPS 10423279 HAS SOUS 731139 HAS SOUPS 731091 WITH SCORE 741514.327
AT ITER 7117 NEW BEST:: SOT 13894746 SOS 10424905 HAS SOPS 10424857 HAS SOUS 730531 HAS SOUPS 730483 WITH SCORE 740907.905
AT ITER 7137 NEW BEST:: SOT 13894853 SOS 10157907 HAS SOPS 10157859 HAS SOUS 730592 HAS SOUPS 730544 WITH SCORE 740701.907
AT ITER 7276 NEW BEST:: SOT 13894853 SOS 9893039 HAS SOPS 9892991 HAS SOUS 730649 HAS SOUPS 730601 WITH SCORE 740494.039
AT ITER 7279 NEW BEST:: SOT 13894853 SOS 9891383 HAS SOPS 9891335 HAS SOUS 730649 HAS SOUPS 730601 WITH SCORE 740492.383
AT ITER 7310 NEW BEST:: SOT 13894853 SOS 9889943 HAS SOPS 9889895 HAS SOUS 730649 HAS SOUPS 730601 WITH SCORE 740490.943
AT ITER 7330 NEW BEST:: SOT 13894853 SOS 9888935 HAS SOPS 9888887 HAS SOUS 730503 HAS SOUPS 730455 WITH SCORE 740343.935
AT ITER 7335 NEW BEST:: SOT 13894853 SOS 9888421 HAS SOPS 9888373 HAS SOUS 730503 HAS SOUPS 730455 WITH SCORE 740343.421
AT ITER 7348 NEW BEST:: SOT 13895572 SOS 9889140 HAS SOPS 9889092 HAS SOUS 729729 HAS SOUPS 729681 WITH SCORE 739570.14
AT ITER 7353 NEW BEST:: SOT 13894379 SOS 9887947 HAS SOPS 9887899 HAS SOUS 727227 HAS SOUPS 727179 WITH SCORE 737066.947
AT ITER 7368 NEW BEST:: SOT 13894309 SOS 9887877 HAS SOPS 9887829 HAS SOUS 727157 HAS SOUPS 727109 WITH SCORE 736996.877
AT ITER 7373 NEW BEST:: SOT 13894195 SOS 9887763 HAS SOPS 9887715 HAS SOUS 727040 HAS SOUPS 726992 WITH SCORE 736879.763
AT ITER 7376 NEW BEST:: SOT 13894195 SOS 9886611 HAS SOPS 9886563 HAS SOUS 727040 HAS SOUPS 726992 WITH SCORE 736878.611
AT ITER 7387 NEW BEST:: SOT 13894195 SOS 9886611 HAS SOPS 9886563 HAS SOUS 727024 HAS SOUPS 726976 WITH SCORE 736862.611
AT ITER 7398 NEW BEST:: SOT 13894217 SOS 9886633 HAS SOPS 9886585 HAS SOUS 726999 HAS SOUPS 726951 WITH SCORE 736837.633
AT ITER 7428 NEW BEST:: SOT 13896490 SOS 9888906 HAS SOPS 9888858 HAS SOUS 726422 HAS SOUPS 726374 WITH SCORE 736262.906
AT ITER 7460 NEW BEST:: SOT 13896531 SOS 9888948 HAS SOPS 9888900 HAS SOUS 726406 HAS SOUPS 726358 WITH SCORE 736246.948
AT ITER 7463 NEW BEST:: SOT 13896501 SOS 9888918 HAS SOPS 9888870 HAS SOUS 726376 HAS SOUPS 726328 WITH SCORE 736216.918
AT ITER 7531 NEW BEST:: SOT 13894480 SOS 9874009 HAS SOPS 9873961 HAS SOUS 722660 HAS SOUPS 722612 WITH SCORE 732486.009
AT ITER 7544 NEW BEST:: SOT 13895515 SOS 9875044 HAS SOPS 9874996 HAS SOUS 722060 HAS SOUPS 722012 WITH SCORE 731887.044
AT ITER 7569 NEW BEST:: SOT 13895515 SOS 9867220 HAS SOPS 9867172 HAS SOUS 722005 HAS SOUPS 721957 WITH SCORE 731824.22
AT ITER 7574 NEW BEST:: SOT 13889271 SOS 9860976 HAS SOPS 9860928 HAS SOUS 716887 HAS SOUPS 716839 WITH SCORE 726699.976
AT ITER 7586 NEW BEST:: SOT 13889258 SOS 9860157 HAS SOPS 9860109 HAS SOUS 716887 HAS SOUPS 716839 WITH SCORE 726699.157
AT ITER 7635 NEW BEST:: SOT 13889241 SOS 9858916 HAS SOPS 9858868 HAS SOUS 716836 HAS SOUPS 716788 WITH SCORE 726646.916
AT ITER 7669 NEW BEST:: SOT 13888763 SOS 9858430 HAS SOPS 9858382 HAS SOUS 716133 HAS SOUPS 716085 WITH SCORE 725943.43
AT ITER 7671 NEW BEST:: SOT 13887131 SOS 9856798 HAS SOPS 9856750 HAS SOUS 714517 HAS SOUPS 714469 WITH SCORE 724325.798
AT ITER 7685 NEW BEST:: SOT 13881298 SOS 9850787 HAS SOPS 9850739 HAS SOUS 712969 HAS SOUPS 712921 WITH SCORE 722771.787
AT ITER 7703 NEW BEST:: SOT 13881298 SOS 9848125 HAS SOPS 9848077 HAS SOUS 712954 HAS SOUPS 712906 WITH SCORE 722754.125
AT ITER 7744 NEW BEST:: SOT 13882716 SOS 9849543 HAS SOPS 9849495 HAS SOUS 711330 HAS SOUPS 711282 WITH SCORE 721131.543
AT ITER 7748 NEW BEST:: SOT 13882696 SOS 9849523 HAS SOPS 9849475 HAS SOUS 711310 HAS SOUPS 711262 WITH SCORE 721111.523
AT ITER 7765 NEW BEST:: SOT 13882696 SOS 9849019 HAS SOPS 9848971 HAS SOUS 711310 HAS SOUPS 711262 WITH SCORE 721111.019
AT ITER 7785 NEW BEST:: SOT 13882696 SOS 9848155 HAS SOPS 9848107 HAS SOUS 711310 HAS SOUPS 711262 WITH SCORE 721110.155
AT ITER 7817 NEW BEST:: SOT 13882621 SOS 9848080 HAS SOPS 9848032 HAS SOUS 711225 HAS SOUPS 711177 WITH SCORE 721025.08
AT ITER 7839 NEW BEST:: SOT 13881797 SOS 9847256 HAS SOPS 9847208 HAS SOUS 709067 HAS SOUPS 709019 WITH SCORE 718866.256
AT ITER 7841 NEW BEST:: SOT 13881620 SOS 9847079 HAS SOPS 9847031 HAS SOUS 708720 HAS SOUPS 708672 WITH SCORE 718519.079
AT ITER 7869 NEW BEST:: SOT 13882042 SOS 9847501 HAS SOPS 9847453 HAS SOUS 708210 HAS SOUPS 708162 WITH SCORE 718009.501
AT ITER 7870 NEW BEST:: SOT 13881863 SOS 9847658 HAS SOPS 9847610 HAS SOUS 708151 HAS SOUPS 708103 WITH SCORE 717950.658
AT ITER 7882 NEW BEST:: SOT 13881863 SOS 9847658 HAS SOPS 9847610 HAS SOUS 708134 HAS SOUPS 708086 WITH SCORE 717933.658
AT ITER 7885 NEW BEST:: SOT 13877337 SOS 9842412 HAS SOPS 9842364 HAS SOUS 707854 HAS SOUPS 707806 WITH SCORE 717648.412
AT ITER 7956 NEW BEST:: SOT 13877383 SOS 9842458 HAS SOPS 9842410 HAS SOUS 707810 HAS SOUPS 707762 WITH SCORE 717604.458
AT ITER 7991 NEW BEST:: SOT 13877406 SOS 9842481 HAS SOPS 9842433 HAS SOUS 707808 HAS SOUPS 707760 WITH SCORE 717602.481
AT ITER 7995 NEW BEST:: SOT 13878513 SOS 9843588 HAS SOPS 9843540 HAS SOUS 707720 HAS SOUPS 707672 WITH SCORE 717515.588
AT ITER 8022 NEW BEST:: SOT 13878562 SOS 9843637 HAS SOPS 9843589 HAS SOUS 707713 HAS SOUPS 707665 WITH SCORE 717508.637
AT ITER 8023 NEW BEST:: SOT 13879254 SOS 9844329 HAS SOPS 9844281 HAS SOUS 707557 HAS SOUPS 707509 WITH SCORE 717353.329
AT ITER 8040 NEW BEST:: SOT 13879254 SOS 9844329 HAS SOPS 9844281 HAS SOUS 707545 HAS SOUPS 707497 WITH SCORE 717341.329
AT ITER 8042 NEW BEST:: SOT 13879254 SOS 9844175 HAS SOPS 9844127 HAS SOUS 707523 HAS SOUPS 707475 WITH SCORE 717319.175
AT ITER 8049 NEW BEST:: SOT 13879165 SOS 9844086 HAS SOPS 9844038 HAS SOUS 707470 HAS SOUPS 707422 WITH SCORE 717266.086
AT ITER 8063 NEW BEST:: SOT 13882599 SOS 9847520 HAS SOPS 9847472 HAS SOUS 706277 HAS SOUPS 706229 WITH SCORE 716076.52
AT ITER 8064 NEW BEST:: SOT 13882599 SOS 9842624 HAS SOPS 9842576 HAS SOUS 706277 HAS SOUPS 706229 WITH SCORE 716071.624
AT ITER 8070 NEW BEST:: SOT 13882599 SOS 9842526 HAS SOPS 9842478 HAS SOUS 706277 HAS SOUPS 706229 WITH SCORE 716071.526
AT ITER 8084 NEW BEST:: SOT 13882378 SOS 9842305 HAS SOPS 9842257 HAS SOUS 705826 HAS SOUPS 705778 WITH SCORE 715620.305
AT ITER 8125 NEW BEST:: SOT 13882378 SOS 9840999 HAS SOPS 9840951 HAS SOUS 705742 HAS SOUPS 705694 WITH SCORE 715534.999
AT ITER 8169 NEW BEST:: SOT 13882315 SOS 9840936 HAS SOPS 9840888 HAS SOUS 705645 HAS SOUPS 705597 WITH SCORE 715437.936
AT ITER 8184 NEW BEST:: SOT 13881730 SOS 9840351 HAS SOPS 9840303 HAS SOUS 704391 HAS SOUPS 704343 WITH SCORE 714183.351
AT ITER 8254 NEW BEST:: SOT 13881529 SOS 9840150 HAS SOPS 9840102 HAS SOUS 703971 HAS SOUPS 703923 WITH SCORE 713763.15
AT ITER 8271 NEW BEST:: SOT 13881450 SOS 9841266 HAS SOPS 9841218 HAS SOUS 703892 HAS SOUPS 703844 WITH SCORE 713685.266
AT ITER 8291 NEW BEST:: SOT 13881450 SOS 9841266 HAS SOPS 9841218 HAS SOUS 703177 HAS SOUPS 703129 WITH SCORE 712970.266
AT ITER 8320 NEW BEST:: SOT 13881450 SOS 9838530 HAS SOPS 9838482 HAS SOUS 703177 HAS SOUPS 703129 WITH SCORE 712967.53
AT ITER 8340 NEW BEST:: SOT 13881666 SOS 9838746 HAS SOPS 9838698 HAS SOUS 703174 HAS SOUPS 703126 WITH SCORE 712964.746
AT ITER 8346 NEW BEST:: SOT 13881955 SOS 9839026 HAS SOPS 9838978 HAS SOUS 702984 HAS SOUPS 702936 WITH SCORE 712775.026
AT ITER 8353 NEW BEST:: SOT 13879225 SOS 9836296 HAS SOPS 9836248 HAS SOUS 701007 HAS SOUPS 700959 WITH SCORE 710795.296
AT ITER 8355 NEW BEST:: SOT 13879433 SOS 9836512 HAS SOPS 9836464 HAS SOUS 700927 HAS SOUPS 700879 WITH SCORE 710715.512
AT ITER 8391 NEW BEST:: SOT 13879433 SOS 9836236 HAS SOPS 9836188 HAS SOUS 700927 HAS SOUPS 700879 WITH SCORE 710715.236
AT ITER 8423 NEW BEST:: SOT 13879247 SOS 9836050 HAS SOPS 9836002 HAS SOUS 700757 HAS SOUPS 700709 WITH SCORE 710545.05
AT ITER 8424 NEW BEST:: SOT 13879247 SOS 9833377 HAS SOPS 9833329 HAS SOUS 700724 HAS SOUPS 700676 WITH SCORE 710509.377
AT ITER 8433 NEW BEST:: SOT 13879214 SOS 9833344 HAS SOPS 9833296 HAS SOUS 700691 HAS SOUPS 700643 WITH SCORE 710476.344
AT ITER 8446 NEW BEST:: SOT 13879208 SOS 9833338 HAS SOPS 9833290 HAS SOUS 700685 HAS SOUPS 700637 WITH SCORE 710470.338
AT ITER 8469 NEW BEST:: SOT 13878924 SOS 9833054 HAS SOPS 9833006 HAS SOUS 700300 HAS SOUPS 700252 WITH SCORE 710085.054
AT ITER 8473 NEW BEST:: SOT 13878924 SOS 9831182 HAS SOPS 9831134 HAS SOUS 700300 HAS SOUPS 700252 WITH SCORE 710083.182
AT ITER 8478 NEW BEST:: SOT 13878924 SOS 9830534 HAS SOPS 9830486 HAS SOUS 700300 HAS SOUPS 700252 WITH SCORE 710082.534
AT ITER 8497 NEW BEST:: SOT 13878924 SOS 9827222 HAS SOPS 9827174 HAS SOUS 700300 HAS SOUPS 700252 WITH SCORE 710079.222
AT ITER 8519 NEW BEST:: SOT 13878924 SOS 9825302 HAS SOPS 9825254 HAS SOUS 700300 HAS SOUPS 700252 WITH SCORE 710077.302
AT ITER 8520 NEW BEST:: SOT 13878924 SOS 9825168 HAS SOPS 9825120 HAS SOUS 700233 HAS SOUPS 700185 WITH SCORE 710010.168
AT ITER 8542 NEW BEST:: SOT 13878891 SOS 9825135 HAS SOPS 9825087 HAS SOUS 700200 HAS SOUPS 700152 WITH SCORE 709977.135
AT ITER 8553 NEW BEST:: SOT 13878891 SOS 9826215 HAS SOPS 9826167 HAS SOUS 700185 HAS SOUPS 700137 WITH SCORE 709963.215
AT ITER 8564 NEW BEST:: SOT 13878891 SOS 9824991 HAS SOPS 9824943 HAS SOUS 700185 HAS SOUPS 700137 WITH SCORE 709961.991
AT ITER 8622 NEW BEST:: SOT 13878277 SOS 9824377 HAS SOPS 9824329 HAS SOUS 698927 HAS SOUPS 698879 WITH SCORE 708703.377
AT ITER 8629 NEW BEST:: SOT 13878277 SOS 9823153 HAS SOPS 9823105 HAS SOUS 698865 HAS SOUPS 698817 WITH SCORE 708640.153
AT ITER 8638 NEW BEST:: SOT 13877371 SOS 9822247 HAS SOPS 9822199 HAS SOUS 698258 HAS SOUPS 698210 WITH SCORE 708032.247
AT ITER 8660 NEW BEST:: SOT 13877371 SOS 9823552 HAS SOPS 9823504 HAS SOUS 698201 HAS SOUPS 698153 WITH SCORE 707976.552
AT ITER 8674 NEW BEST:: SOT 13878609 SOS 9822486 HAS SOPS 9822438 HAS SOUS 697447 HAS SOUPS 697399 WITH SCORE 707221.486
AT ITER 8686 NEW BEST:: SOT 13878655 SOS 9822559 HAS SOPS 9822511 HAS SOUS 696821 HAS SOUPS 696773 WITH SCORE 706595.559
AT ITER 8707 NEW BEST:: SOT 13877718 SOS 9821622 HAS SOPS 9821574 HAS SOUS 696456 HAS SOUPS 696408 WITH SCORE 706229.622
AT ITER 8708 NEW BEST:: SOT 13877626 SOS 9821530 HAS SOPS 9821482 HAS SOUS 696378 HAS SOUPS 696330 WITH SCORE 706151.53
AT ITER 8714 NEW BEST:: SOT 13877368 SOS 9821104 HAS SOPS 9821056 HAS SOUS 696134 HAS SOUPS 696086 WITH SCORE 705907.104
AT ITER 8717 NEW BEST:: SOT 13877348 SOS 9821084 HAS SOPS 9821036 HAS SOUS 696076 HAS SOUPS 696028 WITH SCORE 705849.084
AT ITER 8719 NEW BEST:: SOT 13873913 SOS 9817649 HAS SOPS 9817601 HAS SOUS 695367 HAS SOUPS 695319 WITH SCORE 705136.649
AT ITER 8739 NEW BEST:: SOT 13873914 SOS 9819969 HAS SOPS 9819921 HAS SOUS 695330 HAS SOUPS 695282 WITH SCORE 705101.969
AT ITER 8743 NEW BEST:: SOT 13873886 SOS 9819941 HAS SOPS 9819893 HAS SOUS 695302 HAS SOUPS 695254 WITH SCORE 705073.941
AT ITER 8754 NEW BEST:: SOT 13873886 SOS 9818501 HAS SOPS 9818453 HAS SOUS 695282 HAS SOUPS 695234 WITH SCORE 705052.501
AT ITER 8765 NEW BEST:: SOT 13876720 SOS 9821335 HAS SOPS 9821287 HAS SOUS 694894 HAS SOUPS 694846 WITH SCORE 704667.335
AT ITER 8774 NEW BEST:: SOT 13876681 SOS 9821296 HAS SOPS 9821248 HAS SOUS 694873 HAS SOUPS 694825 WITH SCORE 704646.296
AT ITER 8798 NEW BEST:: SOT 13876678 SOS 9821293 HAS SOPS 9821245 HAS SOUS 694869 HAS SOUPS 694821 WITH SCORE 704642.293
AT ITER 8930 NEW BEST:: SOT 13876678 SOS 9821293 HAS SOPS 9821245 HAS SOUS 694852 HAS SOUPS 694804 WITH SCORE 704625.293
AT ITER 8950 NEW BEST:: SOT 13878528 SOS 9823143 HAS SOPS 9823095 HAS SOUS 694260 HAS SOUPS 694212 WITH SCORE 704035.143
AT ITER 9008 NEW BEST:: SOT 13878508 SOS 9823123 HAS SOPS 9823075 HAS SOUS 694240 HAS SOUPS 694192 WITH SCORE 704015.123
AT ITER 9083 NEW BEST:: SOT 13877111 SOS 9821726 HAS SOPS 9821678 HAS SOUS 693179 HAS SOUPS 693131 WITH SCORE 702952.726
AT ITER 9127 NEW BEST:: SOT 13876281 SOS 9820866 HAS SOPS 9820818 HAS SOUS 692998 HAS SOUPS 692950 WITH SCORE 702770.866
AT ITER 9131 NEW BEST:: SOT 13876025 SOS 9820610 HAS SOPS 9820562 HAS SOUS 692462 HAS SOUPS 692414 WITH SCORE 702234.61
AT ITER 9137 NEW BEST:: SOT 13876025 SOS 9817178 HAS SOPS 9817130 HAS SOUS 692418 HAS SOUPS 692370 WITH SCORE 702187.178
AT ITER 9152 NEW BEST:: SOT 13877439 SOS 9818592 HAS SOPS 9818544 HAS SOUS 692243 HAS SOUPS 692195 WITH SCORE 702013.592
AT ITER 9160 NEW BEST:: SOT 13878984 SOS 9820086 HAS SOPS 9820038 HAS SOUS 690974 HAS SOUPS 690926 WITH SCORE 700746.086
AT ITER 9171 NEW BEST:: SOT 13877246 SOS 9818348 HAS SOPS 9818300 HAS SOUS 687673 HAS SOUPS 687625 WITH SCORE 697443.348
AT ITER 9179 NEW BEST:: SOT 13875671 SOS 9825341 HAS SOPS 9825293 HAS SOUS 686893 HAS SOUPS 686845 WITH SCORE 696670.341
AT ITER 9187 NEW BEST:: SOT 13874832 SOS 9824502 HAS SOPS 9824454 HAS SOUS 686474 HAS SOUPS 686426 WITH SCORE 696250.502
AT ITER 9209 NEW BEST:: SOT 13874832 SOS 9823638 HAS SOPS 9823590 HAS SOUS 686474 HAS SOUPS 686426 WITH SCORE 696249.638
AT ITER 9240 NEW BEST:: SOT 13870916 SOS 9819722 HAS SOPS 9819674 HAS SOUS 680630 HAS SOUPS 680582 WITH SCORE 690401.722
AT ITER 9252 NEW BEST:: SOT 13870906 SOS 9819712 HAS SOPS 9819664 HAS SOUS 680612 HAS SOUPS 680564 WITH SCORE 690383.712
AT ITER 9255 NEW BEST:: SOT 13870885 SOS 9819691 HAS SOPS 9819643 HAS SOUS 680591 HAS SOUPS 680543 WITH SCORE 690362.691
AT ITER 9263 NEW BEST:: SOT 13872133 SOS 9821275 HAS SOPS 9821227 HAS SOUS 679768 HAS SOUPS 679720 WITH SCORE 689541.275
AT ITER 9282 NEW BEST:: SOT 13872133 SOS 9821247 HAS SOPS 9821199 HAS SOUS 679754 HAS SOUPS 679706 WITH SCORE 689527.247
AT ITER 9319 NEW BEST:: SOT 13872075 SOS 9821189 HAS SOPS 9821141 HAS SOUS 679749 HAS SOUPS 679701 WITH SCORE 689522.189
AT ITER 9326 NEW BEST:: SOT 13872094 SOS 9821220 HAS SOPS 9821172 HAS SOUS 679714 HAS SOUPS 679666 WITH SCORE 689487.22
AT ITER 9404 NEW BEST:: SOT 13872094 SOS 9820284 HAS SOPS 9820236 HAS SOUS 679714 HAS SOUPS 679666 WITH SCORE 689486.284
AT ITER 9462 NEW BEST:: SOT 13872095 SOS 9819205 HAS SOPS 9819157 HAS SOUS 679654 HAS SOUPS 679606 WITH SCORE 689425.205
AT ITER 9534 NEW BEST:: SOT 13869392 SOS 9816502 HAS SOPS 9816454 HAS SOUS 678244 HAS SOUPS 678196 WITH SCORE 688012.502
AT ITER 9536 NEW BEST:: SOT 13869392 SOS 9812538 HAS SOPS 9812490 HAS SOUS 678244 HAS SOUPS 678196 WITH SCORE 688008.538
AT ITER 9572 NEW BEST:: SOT 13869392 SOS 9811386 HAS SOPS 9811338 HAS SOUS 678244 HAS SOUPS 678196 WITH SCORE 688007.386
AT ITER 9586 NEW BEST:: SOT 13869392 SOS 9809442 HAS SOPS 9809394 HAS SOUS 678244 HAS SOUPS 678196 WITH SCORE 688005.442
AT ITER 9599 NEW BEST:: SOT 13869154 SOS 9809204 HAS SOPS 9809156 HAS SOUS 678140 HAS SOUPS 678092 WITH SCORE 687901.204
AT ITER 9611 NEW BEST:: SOT 13868837 SOS 9808887 HAS SOPS 9808839 HAS SOUS 677522 HAS SOUPS 677474 WITH SCORE 687282.887
AT ITER 9627 NEW BEST:: SOT 13868381 SOS 9808431 HAS SOPS 9808383 HAS SOUS 676744 HAS SOUPS 676696 WITH SCORE 686504.431
AT ITER 9639 NEW BEST:: SOT 13868381 SOS 9805407 HAS SOPS 9805359 HAS SOUS 676744 HAS SOUPS 676696 WITH SCORE 686501.407
AT ITER 9641 NEW BEST:: SOT 13868355 SOS 9805381 HAS SOPS 9805333 HAS SOUS 676744 HAS SOUPS 676696 WITH SCORE 686501.381
AT ITER 9651 NEW BEST:: SOT 13868262 SOS 9805288 HAS SOPS 9805240 HAS SOUS 676663 HAS SOUPS 676615 WITH SCORE 686420.288
AT ITER 9652 NEW BEST:: SOT 13869952 SOS 9806978 HAS SOPS 9806930 HAS SOUS 676334 HAS SOUPS 676286 WITH SCORE 686092.978
AT ITER 9700 NEW BEST:: SOT 13869949 SOS 9806975 HAS SOPS 9806927 HAS SOUS 676331 HAS SOUPS 676283 WITH SCORE 686089.975
AT ITER 9704 NEW BEST:: SOT 13869663 SOS 9806689 HAS SOPS 9806641 HAS SOUS 676086 HAS SOUPS 676038 WITH SCORE 685844.689
AT ITER 9734 NEW BEST:: SOT 13869157 SOS 9806183 HAS SOPS 9806135 HAS SOUS 675640 HAS SOUPS 675592 WITH SCORE 685398.183
AT ITER 9785 NEW BEST:: SOT 13866944 SOS 9803970 HAS SOPS 9803922 HAS SOUS 674773 HAS SOUPS 674725 WITH SCORE 684528.97
AT ITER 9811 NEW BEST:: SOT 13866944 SOS 9803818 HAS SOPS 9803770 HAS SOUS 674771 HAS SOUPS 674723 WITH SCORE 684526.818
AT ITER 9815 NEW BEST:: SOT 13866688 SOS 9803562 HAS SOPS 9803514 HAS SOUS 674288 HAS SOUPS 674240 WITH SCORE 684043.562
AT ITER 9817 NEW BEST:: SOT 13866071 SOS 9802945 HAS SOPS 9802897 HAS SOUS 673813 HAS SOUPS 673765 WITH SCORE 683567.945
AT ITER 9851 NEW BEST:: SOT 13865038 SOS 9813818 HAS SOPS 9813770 HAS SOUS 673777 HAS SOUPS 673729 WITH SCORE 683542.818
AT ITER 9877 NEW BEST:: SOT 13865038 SOS 9809642 HAS SOPS 9809594 HAS SOUS 673777 HAS SOUPS 673729 WITH SCORE 683538.642
AT ITER 9894 NEW BEST:: SOT 13865038 SOS 9804890 HAS SOPS 9804842 HAS SOUS 673777 HAS SOUPS 673729 WITH SCORE 683533.89
AT ITER 9910 NEW BEST:: SOT 13862217 SOS 9802069 HAS SOPS 9802021 HAS SOUS 671601 HAS SOUPS 671553 WITH SCORE 681355.069
AT ITER 9920 NEW BEST:: SOT 13862217 SOS 9798325 HAS SOPS 9798277 HAS SOUS 671601 HAS SOUPS 671553 WITH SCORE 681351.325
AT ITER 9929 NEW BEST:: SOT 13862217 SOS 9793573 HAS SOPS 9793525 HAS SOUS 671601 HAS SOUPS 671553 WITH SCORE 681346.573
AT ITER 9931 NEW BEST:: SOT 13862159 SOS 9793515 HAS SOPS 9793467 HAS SOUS 671584 HAS SOUPS 671536 WITH SCORE 681329.515
AT ITER 9943 NEW BEST:: SOT 13862159 SOS 9793515 HAS SOPS 9793467 HAS SOUS 671571 HAS SOUPS 671523 WITH SCORE 681316.515
AT ITER 9955 NEW BEST:: SOT 13862159 SOS 9793515 HAS SOPS 9793467 HAS SOUS 671570 HAS SOUPS 671522 WITH SCORE 681315.515
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 14361056 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16078072 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="BugTracking-PT-q3m008"
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 BugTracking-PT-q3m008, 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 r043-tajo-167813696700344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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