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.r035-tajo-167813688100360.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 smart
Input is BugTracking-PT-q3m032, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688100360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.4K Feb 26 06:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 06:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 26 06:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 29K Feb 26 06:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K 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 9.0K Feb 26 07:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 07:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 06:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 06:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 1678467574214

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q3m032
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m032
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14035084 SOS 8812733 HAS SOPS 8810888 HAS SOUS 1624533 HAS SOUPS 1622688 WITH SCORE 1631500.733
AT ITER 2 NEW BEST:: SOT 14031721 SOS 8817303 HAS SOPS 8812974 HAS SOUS 1623889 HAS SOUPS 1619560 WITH SCORE 1628377.303
AT ITER 21 NEW BEST:: SOT 14031471 SOS 8817449 HAS SOPS 8813120 HAS SOUS 1621600 HAS SOUPS 1617271 WITH SCORE 1626088.449
AT ITER 22 NEW BEST:: SOT 14029491 SOS 8815469 HAS SOPS 8811140 HAS SOUS 1619447 HAS SOUPS 1615118 WITH SCORE 1623933.469
AT ITER 28 NEW BEST:: SOT 14029491 SOS 8809853 HAS SOPS 8805524 HAS SOUS 1619447 HAS SOUPS 1615118 WITH SCORE 1623927.853
AT ITER 32 NEW BEST:: SOT 14029491 SOS 8809845 HAS SOPS 8805516 HAS SOUS 1619447 HAS SOUPS 1615118 WITH SCORE 1623927.845
AT ITER 36 NEW BEST:: SOT 14029491 SOS 8818053 HAS SOPS 8813724 HAS SOUS 1619414 HAS SOUPS 1615085 WITH SCORE 1623903.053
AT ITER 45 NEW BEST:: SOT 14029491 SOS 8824389 HAS SOPS 8820060 HAS SOUS 1619329 HAS SOUPS 1615000 WITH SCORE 1623824.389
AT ITER 49 NEW BEST:: SOT 14029491 SOS 8818773 HAS SOPS 8814444 HAS SOUS 1619329 HAS SOUPS 1615000 WITH SCORE 1623818.773
AT ITER 55 NEW BEST:: SOT 14031646 SOS 8821040 HAS SOPS 8816711 HAS SOUS 1618391 HAS SOUPS 1614062 WITH SCORE 1622883.04
AT ITER 61 NEW BEST:: SOT 14031412 SOS 8820806 HAS SOPS 8816477 HAS SOUS 1618358 HAS SOUPS 1614029 WITH SCORE 1622849.806
AT ITER 80 NEW BEST:: SOT 14031545 SOS 8820939 HAS SOPS 8816610 HAS SOUS 1612140 HAS SOUPS 1607811 WITH SCORE 1616631.939
AT ITER 101 NEW BEST:: SOT 14031484 SOS 8820876 HAS SOPS 8816547 HAS SOUS 1612134 HAS SOUPS 1607805 WITH SCORE 1616625.876
AT ITER 110 NEW BEST:: SOT 14031484 SOS 8820649 HAS SOPS 8816366 HAS SOUS 1609143 HAS SOUPS 1604860 WITH SCORE 1613680.649
AT ITER 121 NEW BEST:: SOT 14031484 SOS 8820649 HAS SOPS 8816366 HAS SOUS 1609089 HAS SOUPS 1604806 WITH SCORE 1613626.649
AT ITER 143 NEW BEST:: SOT 14031484 SOS 8809327 HAS SOPS 8805044 HAS SOUS 1608936 HAS SOUPS 1604653 WITH SCORE 1613462.327
AT ITER 172 NEW BEST:: SOT 14023077 SOS 8802536 HAS SOPS 8798253 HAS SOUS 1601083 HAS SOUPS 1596800 WITH SCORE 1605602.536
AT ITER 177 NEW BEST:: SOT 13895103 SOS 11740439 HAS SOPS 11737011 HAS SOUS 1474294 HAS SOUPS 1470866 WITH SCORE 1482606.439
AT ITER 179 NEW BEST:: SOT 13893525 SOS 11738861 HAS SOPS 11735433 HAS SOUS 1465757 HAS SOUPS 1462329 WITH SCORE 1474067.861
AT ITER 191 NEW BEST:: SOT 13893525 SOS 11738861 HAS SOPS 11735433 HAS SOUS 1465756 HAS SOUPS 1462328 WITH SCORE 1474066.861
AT ITER 197 NEW BEST:: SOT 13893267 SOS 11738728 HAS SOPS 11735300 HAS SOUS 1465223 HAS SOUPS 1461795 WITH SCORE 1473533.728
AT ITER 201 NEW BEST:: SOT 13892913 SOS 11738774 HAS SOPS 11735346 HAS SOUS 1464903 HAS SOUPS 1461475 WITH SCORE 1473213.774
AT ITER 215 NEW BEST:: SOT 13893083 SOS 11738944 HAS SOPS 11735516 HAS SOUS 1464651 HAS SOUPS 1461223 WITH SCORE 1472961.944
AT ITER 227 NEW BEST:: SOT 13893083 SOS 11749456 HAS SOPS 11746028 HAS SOUS 1464505 HAS SOUPS 1461077 WITH SCORE 1472826.456
AT ITER 236 NEW BEST:: SOT 13889902 SOS 11750643 HAS SOPS 11747215 HAS SOUS 1458397 HAS SOUPS 1454969 WITH SCORE 1466719.643
AT ITER 237 NEW BEST:: SOT 13880321 SOS 11746860 HAS SOPS 11743432 HAS SOUS 1448126 HAS SOUPS 1444698 WITH SCORE 1456444.86
AT ITER 238 NEW BEST:: SOT 13880321 SOS 11744962 HAS SOPS 11741534 HAS SOUS 1448100 HAS SOUPS 1444672 WITH SCORE 1456416.962
AT ITER 240 NEW BEST:: SOT 13880321 SOS 11744962 HAS SOPS 11741534 HAS SOUS 1448013 HAS SOUPS 1444585 WITH SCORE 1456329.962
AT ITER 249 NEW BEST:: SOT 13880321 SOS 11740066 HAS SOPS 11736638 HAS SOUS 1448013 HAS SOUPS 1444585 WITH SCORE 1456325.066
AT ITER 255 NEW BEST:: SOT 13880321 SOS 11740041 HAS SOPS 11736613 HAS SOUS 1448013 HAS SOUPS 1444585 WITH SCORE 1456325.041
AT ITER 266 NEW BEST:: SOT 13880321 SOS 11740041 HAS SOPS 11736613 HAS SOUS 1447990 HAS SOUPS 1444562 WITH SCORE 1456302.041
AT ITER 292 NEW BEST:: SOT 13880321 SOS 11739851 HAS SOPS 11736423 HAS SOUS 1447895 HAS SOUPS 1444467 WITH SCORE 1456206.851
AT ITER 316 NEW BEST:: SOT 13881280 SOS 11740810 HAS SOPS 11737382 HAS SOUS 1447626 HAS SOUPS 1444198 WITH SCORE 1455938.81
AT ITER 325 NEW BEST:: SOT 13870040 SOS 11731190 HAS SOPS 11727762 HAS SOUS 1433878 HAS SOUPS 1430450 WITH SCORE 1442181.19
AT ITER 326 NEW BEST:: SOT 13870040 SOS 11731190 HAS SOPS 11727762 HAS SOUS 1433810 HAS SOUPS 1430382 WITH SCORE 1442113.19
AT ITER 340 NEW BEST:: SOT 13870040 SOS 11715576 HAS SOPS 11712148 HAS SOUS 1433599 HAS SOUPS 1430171 WITH SCORE 1441886.576
AT ITER 345 NEW BEST:: SOT 13870040 SOS 11702688 HAS SOPS 11699260 HAS SOUS 1433599 HAS SOUPS 1430171 WITH SCORE 1441873.688
AT ITER 350 NEW BEST:: SOT 13870040 SOS 11702688 HAS SOPS 11699260 HAS SOUS 1433590 HAS SOUPS 1430162 WITH SCORE 1441864.688
AT ITER 351 NEW BEST:: SOT 13867000 SOS 8810330 HAS SOPS 8806902 HAS SOUS 1432779 HAS SOUPS 1429351 WITH SCORE 1438161.33
AT ITER 353 NEW BEST:: SOT 13867000 SOS 8809892 HAS SOPS 8806464 HAS SOUS 1432773 HAS SOUPS 1429345 WITH SCORE 1438154.892
AT ITER 354 NEW BEST:: SOT 13864955 SOS 8807831 HAS SOPS 8804411 HAS SOUS 1424739 HAS SOUPS 1421319 WITH SCORE 1430126.831
AT ITER 355 NEW BEST:: SOT 13863746 SOS 8806622 HAS SOPS 8803202 HAS SOUS 1422295 HAS SOUPS 1418875 WITH SCORE 1427681.622
AT ITER 356 NEW BEST:: SOT 13857695 SOS 8805551 HAS SOPS 8802131 HAS SOUS 1416722 HAS SOUPS 1413302 WITH SCORE 1422107.551
AT ITER 368 NEW BEST:: SOT 13857498 SOS 8805641 HAS SOPS 8802221 HAS SOUS 1416525 HAS SOUPS 1413105 WITH SCORE 1421910.641
AT ITER 379 NEW BEST:: SOT 13856910 SOS 8805053 HAS SOPS 8801633 HAS SOUS 1415978 HAS SOUPS 1412558 WITH SCORE 1421363.053
AT ITER 380 NEW BEST:: SOT 13853799 SOS 8801942 HAS SOPS 8798522 HAS SOUS 1411877 HAS SOUPS 1408457 WITH SCORE 1417258.942
AT ITER 382 NEW BEST:: SOT 13853799 SOS 8793876 HAS SOPS 8790456 HAS SOUS 1411768 HAS SOUPS 1408348 WITH SCORE 1417141.876
AT ITER 384 NEW BEST:: SOT 13853799 SOS 8782248 HAS SOPS 8778828 HAS SOUS 1411615 HAS SOUPS 1408195 WITH SCORE 1416977.248
AT ITER 387 NEW BEST:: SOT 13853429 SOS 8781888 HAS SOPS 8778413 HAS SOUS 1411109 HAS SOUPS 1407634 WITH SCORE 1416415.888
AT ITER 398 NEW BEST:: SOT 13851049 SOS 8774660 HAS SOPS 8771185 HAS SOUS 1405616 HAS SOUPS 1402141 WITH SCORE 1410915.66
AT ITER 409 NEW BEST:: SOT 13854318 SOS 8778101 HAS SOPS 8774626 HAS SOUS 1405130 HAS SOUPS 1401655 WITH SCORE 1410433.101
AT ITER 416 NEW BEST:: SOT 13856822 SOS 8781019 HAS SOPS 8777544 HAS SOUS 1404431 HAS SOUPS 1400956 WITH SCORE 1409737.019
AT ITER 421 NEW BEST:: SOT 13856660 SOS 8780857 HAS SOPS 8777382 HAS SOUS 1403576 HAS SOUPS 1400101 WITH SCORE 1408881.857
AT ITER 422 NEW BEST:: SOT 13856307 SOS 8780504 HAS SOPS 8777029 HAS SOUS 1403223 HAS SOUPS 1399748 WITH SCORE 1408528.504
AT ITER 426 NEW BEST:: SOT 13856307 SOS 8774587 HAS SOPS 8771112 HAS SOUS 1403169 HAS SOUPS 1399694 WITH SCORE 1408468.587
AT ITER 430 NEW BEST:: SOT 13854529 SOS 8772809 HAS SOPS 8769334 HAS SOUS 1399810 HAS SOUPS 1396335 WITH SCORE 1405107.809
AT ITER 432 NEW BEST:: SOT 13852275 SOS 8770324 HAS SOPS 8766896 HAS SOUS 1390303 HAS SOUPS 1386875 WITH SCORE 1395645.324
AT ITER 449 NEW BEST:: SOT 13850686 SOS 8768735 HAS SOPS 8765307 HAS SOUS 1384302 HAS SOUPS 1380874 WITH SCORE 1389642.735
AT ITER 451 NEW BEST:: SOT 13850699 SOS 8768748 HAS SOPS 8765320 HAS SOUS 1383763 HAS SOUPS 1380335 WITH SCORE 1389103.748
AT ITER 454 NEW BEST:: SOT 13850699 SOS 8768748 HAS SOPS 8765320 HAS SOUS 1383611 HAS SOUPS 1380183 WITH SCORE 1388951.748
AT ITER 460 NEW BEST:: SOT 13849427 SOS 8767582 HAS SOPS 8764154 HAS SOUS 1376927 HAS SOUPS 1373499 WITH SCORE 1382266.582
AT ITER 464 NEW BEST:: SOT 13847520 SOS 8766399 HAS SOPS 8762971 HAS SOUS 1355320 HAS SOUPS 1351892 WITH SCORE 1360658.399
AT ITER 465 NEW BEST:: SOT 13847462 SOS 8765904 HAS SOPS 8762534 HAS SOUS 1355262 HAS SOUPS 1351892 WITH SCORE 1360657.904
AT ITER 486 NEW BEST:: SOT 13846511 SOS 8764953 HAS SOPS 8761583 HAS SOUS 1344775 HAS SOUPS 1341405 WITH SCORE 1350169.953
AT ITER 490 NEW BEST:: SOT 13857496 SOS 8775938 HAS SOPS 8772568 HAS SOUS 1344455 HAS SOUPS 1341085 WITH SCORE 1349860.938
AT ITER 507 NEW BEST:: SOT 13855647 SOS 8774089 HAS SOPS 8770719 HAS SOUS 1342677 HAS SOUPS 1339307 WITH SCORE 1348081.089
AT ITER 510 NEW BEST:: SOT 13854942 SOS 8773258 HAS SOPS 8769888 HAS SOUS 1342553 HAS SOUPS 1339183 WITH SCORE 1347956.258
AT ITER 519 NEW BEST:: SOT 13854942 SOS 8769730 HAS SOPS 8766360 HAS SOUS 1342553 HAS SOUPS 1339183 WITH SCORE 1347952.73
AT ITER 522 NEW BEST:: SOT 13854942 SOS 8769345 HAS SOPS 8765975 HAS SOUS 1342486 HAS SOUPS 1339116 WITH SCORE 1347885.345
AT ITER 523 NEW BEST:: SOT 13854942 SOS 8769261 HAS SOPS 8765891 HAS SOUS 1342265 HAS SOUPS 1338895 WITH SCORE 1347664.261
AT ITER 530 NEW BEST:: SOT 13854942 SOS 8770031 HAS SOPS 8766661 HAS SOUS 1342254 HAS SOUPS 1338884 WITH SCORE 1347654.031
AT ITER 537 NEW BEST:: SOT 13854942 SOS 8764777 HAS SOPS 8761407 HAS SOUS 1342183 HAS SOUPS 1338813 WITH SCORE 1347577.777
AT ITER 539 NEW BEST:: SOT 13863493 SOS 9565400 HAS SOPS 9562030 HAS SOUS 1329420 HAS SOUPS 1326050 WITH SCORE 1335615.4
AT ITER 545 NEW BEST:: SOT 13865557 SOS 9567464 HAS SOPS 9564094 HAS SOUS 1327585 HAS SOUPS 1324215 WITH SCORE 1333782.464
AT ITER 561 NEW BEST:: SOT 13865557 SOS 9567464 HAS SOPS 9564094 HAS SOUS 1327534 HAS SOUPS 1324164 WITH SCORE 1333731.464
AT ITER 567 NEW BEST:: SOT 13867394 SOS 9569377 HAS SOPS 9566007 HAS SOUS 1326693 HAS SOUPS 1323323 WITH SCORE 1332892.377
AT ITER 578 NEW BEST:: SOT 13867352 SOS 9569335 HAS SOPS 9565965 HAS SOUS 1326651 HAS SOUPS 1323281 WITH SCORE 1332850.335
AT ITER 594 NEW BEST:: SOT 13869391 SOS 9571374 HAS SOPS 9568004 HAS SOUS 1320071 HAS SOUPS 1316701 WITH SCORE 1326272.374
AT ITER 595 NEW BEST:: SOT 13869391 SOS 9571374 HAS SOPS 9568004 HAS SOUS 1320056 HAS SOUPS 1316686 WITH SCORE 1326257.374
AT ITER 608 NEW BEST:: SOT 13869391 SOS 9564462 HAS SOPS 9561092 HAS SOUS 1320056 HAS SOUPS 1316686 WITH SCORE 1326250.462
AT ITER 614 NEW BEST:: SOT 13869480 SOS 9564372 HAS SOPS 9561002 HAS SOUS 1320011 HAS SOUPS 1316641 WITH SCORE 1326205.372
AT ITER 624 NEW BEST:: SOT 13869480 SOS 9564210 HAS SOPS 9560840 HAS SOUS 1319930 HAS SOUPS 1316560 WITH SCORE 1326124.21
AT ITER 632 NEW BEST:: SOT 13869480 SOS 9558738 HAS SOPS 9555368 HAS SOUS 1319930 HAS SOUPS 1316560 WITH SCORE 1326118.738
AT ITER 636 NEW BEST:: SOT 13869480 SOS 9558254 HAS SOPS 9554884 HAS SOUS 1319930 HAS SOUPS 1316560 WITH SCORE 1326118.254
AT ITER 638 NEW BEST:: SOT 13867732 SOS 9556854 HAS SOPS 9553484 HAS SOUS 1295162 HAS SOUPS 1291792 WITH SCORE 1301348.854
AT ITER 649 NEW BEST:: SOT 13867732 SOS 9559518 HAS SOPS 9556148 HAS SOUS 1295153 HAS SOUPS 1291783 WITH SCORE 1301342.518
AT ITER 656 NEW BEST:: SOT 13866118 SOS 9557904 HAS SOPS 9554534 HAS SOUS 1294675 HAS SOUPS 1291305 WITH SCORE 1300862.904
AT ITER 659 NEW BEST:: SOT 13866134 SOS 9557920 HAS SOPS 9554550 HAS SOUS 1294628 HAS SOUPS 1291258 WITH SCORE 1300815.92
AT ITER 672 NEW BEST:: SOT 13867164 SOS 9558950 HAS SOPS 9555580 HAS SOUS 1292900 HAS SOUPS 1289530 WITH SCORE 1299088.95
AT ITER 681 NEW BEST:: SOT 13867164 SOS 9568098 HAS SOPS 9564728 HAS SOUS 1292772 HAS SOUPS 1289402 WITH SCORE 1298970.098
AT ITER 683 NEW BEST:: SOT 13867164 SOS 9563937 HAS SOPS 9560567 HAS SOUS 1292715 HAS SOUPS 1289345 WITH SCORE 1298908.937
AT ITER 692 NEW BEST:: SOT 13867164 SOS 9563859 HAS SOPS 9560489 HAS SOUS 1292510 HAS SOUPS 1289140 WITH SCORE 1298703.859
AT ITER 703 NEW BEST:: SOT 13875034 SOS 9573889 HAS SOPS 9570519 HAS SOUS 1284395 HAS SOUPS 1281025 WITH SCORE 1290598.889
AT ITER 707 NEW BEST:: SOT 13875034 SOS 9569353 HAS SOPS 9565983 HAS SOUS 1284332 HAS SOUPS 1280962 WITH SCORE 1290531.353
AT ITER 710 NEW BEST:: SOT 13873160 SOS 9567479 HAS SOPS 9564109 HAS SOUS 1276118 HAS SOUPS 1272748 WITH SCORE 1282315.479
AT ITER 719 NEW BEST:: SOT 13873259 SOS 9567578 HAS SOPS 9564208 HAS SOUS 1276079 HAS SOUPS 1272709 WITH SCORE 1282276.578
AT ITER 721 NEW BEST:: SOT 13873074 SOS 9567393 HAS SOPS 9564023 HAS SOUS 1272258 HAS SOUPS 1268888 WITH SCORE 1278455.393
AT ITER 731 NEW BEST:: SOT 13872967 SOS 9567190 HAS SOPS 9563820 HAS SOUS 1271677 HAS SOUPS 1268307 WITH SCORE 1277874.19
AT ITER 742 NEW BEST:: SOT 13870418 SOS 9564811 HAS SOPS 9561441 HAS SOUS 1259582 HAS SOUPS 1256212 WITH SCORE 1265776.811
AT ITER 743 NEW BEST:: SOT 13867277 SOS 9561670 HAS SOPS 9558300 HAS SOUS 1256441 HAS SOUPS 1253071 WITH SCORE 1262632.67
AT ITER 752 NEW BEST:: SOT 13866936 SOS 9561329 HAS SOPS 9557959 HAS SOUS 1255967 HAS SOUPS 1252597 WITH SCORE 1262158.329
AT ITER 753 NEW BEST:: SOT 13864953 SOS 9559074 HAS SOPS 9555754 HAS SOUS 1247765 HAS SOUPS 1244445 WITH SCORE 1254004.074
AT ITER 760 NEW BEST:: SOT 13863502 SOS 9557623 HAS SOPS 9554303 HAS SOUS 1247290 HAS SOUPS 1243970 WITH SCORE 1253527.623
AT ITER 765 NEW BEST:: SOT 13863502 SOS 9555103 HAS SOPS 9551783 HAS SOUS 1247290 HAS SOUPS 1243970 WITH SCORE 1253525.103
AT ITER 771 NEW BEST:: SOT 13866102 SOS 9557703 HAS SOPS 9554383 HAS SOUS 1239113 HAS SOUPS 1235793 WITH SCORE 1245350.703
AT ITER 798 NEW BEST:: SOT 13866102 SOS 9561733 HAS SOPS 9558413 HAS SOUS 1238884 HAS SOUPS 1235564 WITH SCORE 1245125.733
AT ITER 802 NEW BEST:: SOT 13857162 SOS 9552009 HAS SOPS 9548689 HAS SOUS 1233511 HAS SOUPS 1230191 WITH SCORE 1239743.009
AT ITER 805 NEW BEST:: SOT 13861272 SOS 9556119 HAS SOPS 9552799 HAS SOUS 1231504 HAS SOUPS 1228184 WITH SCORE 1237740.119
AT ITER 815 NEW BEST:: SOT 13861272 SOS 9550791 HAS SOPS 9547471 HAS SOUS 1231432 HAS SOUPS 1228112 WITH SCORE 1237662.791
AT ITER 817 NEW BEST:: SOT 13857594 SOS 9547077 HAS SOPS 9543757 HAS SOUS 1222067 HAS SOUPS 1218747 WITH SCORE 1228294.077
AT ITER 830 NEW BEST:: SOT 13856700 SOS 9546183 HAS SOPS 9542863 HAS SOUS 1217097 HAS SOUPS 1213777 WITH SCORE 1223323.183
AT ITER 832 NEW BEST:: SOT 13856700 SOS 9539127 HAS SOPS 9535807 HAS SOUS 1217097 HAS SOUPS 1213777 WITH SCORE 1223316.127
AT ITER 865 NEW BEST:: SOT 13854771 SOS 9537199 HAS SOPS 9533878 HAS SOUS 1213443 HAS SOUPS 1210122 WITH SCORE 1219659.199
AT ITER 874 NEW BEST:: SOT 13857666 SOS 9540147 HAS SOPS 9536826 HAS SOUS 1212668 HAS SOUPS 1209347 WITH SCORE 1218887.147
AT ITER 889 NEW BEST:: SOT 13857666 SOS 9534967 HAS SOPS 9531646 HAS SOUS 1212598 HAS SOUPS 1209277 WITH SCORE 1218811.967
AT ITER 891 NEW BEST:: SOT 13857666 SOS 9533799 HAS SOPS 9530478 HAS SOUS 1212582 HAS SOUPS 1209261 WITH SCORE 1218794.799
AT ITER 893 NEW BEST:: SOT 13857666 SOS 9533551 HAS SOPS 9530230 HAS SOUS 1212458 HAS SOUPS 1209137 WITH SCORE 1218670.551
AT ITER 923 NEW BEST:: SOT 13857666 SOS 9532255 HAS SOPS 9528934 HAS SOUS 1212440 HAS SOUPS 1209119 WITH SCORE 1218651.255
AT ITER 929 NEW BEST:: SOT 13857624 SOS 9532213 HAS SOPS 9528892 HAS SOUS 1212404 HAS SOUPS 1209083 WITH SCORE 1218615.213
AT ITER 933 NEW BEST:: SOT 13857624 SOS 9547942 HAS SOPS 9544621 HAS SOUS 1212180 HAS SOUPS 1208859 WITH SCORE 1218406.942
AT ITER 934 NEW BEST:: SOT 13857624 SOS 9547818 HAS SOPS 9544497 HAS SOUS 1212056 HAS SOUPS 1208735 WITH SCORE 1218282.818
AT ITER 936 NEW BEST:: SOT 13850838 SOS 9542658 HAS SOPS 9539337 HAS SOUS 1206310 HAS SOUPS 1202989 WITH SCORE 1212531.658
AT ITER 940 NEW BEST:: SOT 13849959 SOS 9541779 HAS SOPS 9538458 HAS SOUS 1205478 HAS SOUPS 1202157 WITH SCORE 1211698.779
AT ITER 945 NEW BEST:: SOT 13849959 SOS 9541691 HAS SOPS 9538370 HAS SOUS 1205301 HAS SOUPS 1201980 WITH SCORE 1211521.691
AT ITER 948 NEW BEST:: SOT 13849959 SOS 9541691 HAS SOPS 9538370 HAS SOUS 1205271 HAS SOUPS 1201950 WITH SCORE 1211491.691
AT ITER 949 NEW BEST:: SOT 13871069 SOS 9569689 HAS SOPS 9565885 HAS SOUS 1204117 HAS SOUPS 1200587 WITH SCORE 1210156.689
AT ITER 963 NEW BEST:: SOT 13876285 SOS 9575465 HAS SOPS 9571591 HAS SOUS 1201884 HAS SOUPS 1198284 WITH SCORE 1207859.465
AT ITER 994 NEW BEST:: SOT 13873480 SOS 9572300 HAS SOPS 9568486 HAS SOUS 1190721 HAS SOUPS 1187181 WITH SCORE 1196753.3
AT ITER 998 NEW BEST:: SOT 13878923 SOS 9578785 HAS SOPS 9574673 HAS SOUS 1186484 HAS SOUPS 1182851 WITH SCORE 1192429.785
AT ITER 1001 NEW BEST:: SOT 13875279 SOS 9575151 HAS SOPS 9571018 HAS SOUS 1179309 HAS SOUPS 1175655 WITH SCORE 1185230.151
AT ITER 1008 NEW BEST:: SOT 13875279 SOS 9584727 HAS SOPS 9580594 HAS SOUS 1179176 HAS SOUPS 1175522 WITH SCORE 1185106.727
AT ITER 1011 NEW BEST:: SOT 13875336 SOS 9584806 HAS SOPS 9580673 HAS SOUS 1178603 HAS SOUPS 1174949 WITH SCORE 1184533.806
AT ITER 1018 NEW BEST:: SOT 13875336 SOS 9598486 HAS SOPS 9594353 HAS SOUS 1178419 HAS SOUPS 1174765 WITH SCORE 1184363.486
AT ITER 1021 NEW BEST:: SOT 13890872 SOS 9614022 HAS SOPS 9611788 HAS SOUS 1161673 HAS SOUPS 1159918 WITH SCORE 1169532.022
AT ITER 1026 NEW BEST:: SOT 13890872 SOS 9611862 HAS SOPS 9609628 HAS SOUS 1161673 HAS SOUPS 1159918 WITH SCORE 1169529.862
AT ITER 1048 NEW BEST:: SOT 13890872 SOS 9618054 HAS SOPS 9615820 HAS SOUS 1161587 HAS SOUPS 1159832 WITH SCORE 1169450.054
AT ITER 1063 NEW BEST:: SOT 13889693 SOS 9616860 HAS SOPS 9614626 HAS SOUS 1158174 HAS SOUPS 1156419 WITH SCORE 1166035.86
AT ITER 1069 NEW BEST:: SOT 13889693 SOS 9618372 HAS SOPS 9616138 HAS SOUS 1158153 HAS SOUPS 1156398 WITH SCORE 1166016.372
AT ITER 1076 NEW BEST:: SOT 13885381 SOS 9614060 HAS SOPS 9611826 HAS SOUS 1153805 HAS SOUPS 1152050 WITH SCORE 1161664.06
AT ITER 1084 NEW BEST:: SOT 13885381 SOS 9611396 HAS SOPS 9609162 HAS SOUS 1153805 HAS SOUPS 1152050 WITH SCORE 1161661.396
AT ITER 1101 NEW BEST:: SOT 13885381 SOS 9608584 HAS SOPS 9606350 HAS SOUS 1153768 HAS SOUPS 1152013 WITH SCORE 1161621.584
AT ITER 1107 NEW BEST:: SOT 13886930 SOS 9610133 HAS SOPS 9607899 HAS SOUS 1153075 HAS SOUPS 1151320 WITH SCORE 1160930.133
AT ITER 1113 NEW BEST:: SOT 13886930 SOS 9610243 HAS SOPS 9607993 HAS SOUS 1153075 HAS SOUPS 1151304 WITH SCORE 1160914.243
AT ITER 1132 NEW BEST:: SOT 13886930 SOS 9609659 HAS SOPS 9607409 HAS SOUS 1153067 HAS SOUPS 1151296 WITH SCORE 1160905.659
AT ITER 1157 NEW BEST:: SOT 13886098 SOS 9609355 HAS SOPS 9607127 HAS SOUS 1151408 HAS SOUPS 1149659 WITH SCORE 1159268.355
AT ITER 1159 NEW BEST:: SOT 13886098 SOS 9622025 HAS SOPS 9619797 HAS SOUS 1151226 HAS SOUPS 1149477 WITH SCORE 1159099.025
AT ITER 1163 NEW BEST:: SOT 13889581 SOS 9625508 HAS SOPS 9623361 HAS SOUS 1149599 HAS SOUPS 1147931 WITH SCORE 1157556.508
AT ITER 1168 NEW BEST:: SOT 13889581 SOS 9610172 HAS SOPS 9608025 HAS SOUS 1149599 HAS SOUPS 1147931 WITH SCORE 1157541.172
AT ITER 1171 NEW BEST:: SOT 13888175 SOS 9608640 HAS SOPS 9606493 HAS SOUS 1147352 HAS SOUPS 1145684 WITH SCORE 1155292.64
AT ITER 1189 NEW BEST:: SOT 13888175 SOS 9608563 HAS SOPS 9606416 HAS SOUS 1147275 HAS SOUPS 1145607 WITH SCORE 1155215.563
AT ITER 1197 NEW BEST:: SOT 13884359 SOS 9604747 HAS SOPS 9602600 HAS SOUS 1144717 HAS SOUPS 1143049 WITH SCORE 1152653.747
AT ITER 1207 NEW BEST:: SOT 13884012 SOS 9604400 HAS SOPS 9602253 HAS SOUS 1144014 HAS SOUPS 1142346 WITH SCORE 1151950.4
AT ITER 1212 NEW BEST:: SOT 13884012 SOS 9602744 HAS SOPS 9600597 HAS SOUS 1144014 HAS SOUPS 1142346 WITH SCORE 1151948.744
AT ITER 1218 NEW BEST:: SOT 13887167 SOS 9606417 HAS SOPS 9604176 HAS SOUS 1141019 HAS SOUPS 1139298 WITH SCORE 1148904.417
AT ITER 1224 NEW BEST:: SOT 13886659 SOS 9605633 HAS SOPS 9603425 HAS SOUS 1139964 HAS SOUPS 1138276 WITH SCORE 1147881.633
AT ITER 1230 NEW BEST:: SOT 13887364 SOS 9606331 HAS SOPS 9604123 HAS SOUS 1139335 HAS SOUPS 1137647 WITH SCORE 1147253.331
AT ITER 1238 NEW BEST:: SOT 13882791 SOS 9601758 HAS SOPS 9599550 HAS SOUS 1134744 HAS SOUPS 1133056 WITH SCORE 1142657.758
AT ITER 1264 NEW BEST:: SOT 13882791 SOS 9596060 HAS SOPS 9593852 HAS SOUS 1134744 HAS SOUPS 1133056 WITH SCORE 1142652.06
AT ITER 1270 NEW BEST:: SOT 13878780 SOS 9592049 HAS SOPS 9589841 HAS SOUS 1131723 HAS SOUPS 1130035 WITH SCORE 1139627.049
AT ITER 1280 NEW BEST:: SOT 13878780 SOS 9592049 HAS SOPS 9589841 HAS SOUS 1131684 HAS SOUPS 1129996 WITH SCORE 1139588.049
AT ITER 1288 NEW BEST:: SOT 13878780 SOS 9583143 HAS SOPS 9580935 HAS SOUS 1131562 HAS SOUPS 1129874 WITH SCORE 1139457.143
AT ITER 1291 NEW BEST:: SOT 13885496 SOS 9589859 HAS SOPS 9587651 HAS SOUS 1121150 HAS SOUPS 1119462 WITH SCORE 1129051.859
AT ITER 1292 NEW BEST:: SOT 13888551 SOS 9593062 HAS SOPS 9590854 HAS SOUS 1120307 HAS SOUPS 1118619 WITH SCORE 1128212.062
AT ITER 1302 NEW BEST:: SOT 13886646 SOS 9591157 HAS SOPS 9588949 HAS SOUS 1119234 HAS SOUPS 1117546 WITH SCORE 1127137.157
AT ITER 1307 NEW BEST:: SOT 13886646 SOS 9590183 HAS SOPS 9587975 HAS SOUS 1119223 HAS SOUPS 1117535 WITH SCORE 1127125.183
AT ITER 1328 NEW BEST:: SOT 13886646 SOS 9589999 HAS SOPS 9587791 HAS SOUS 1119131 HAS SOUPS 1117443 WITH SCORE 1127032.999
AT ITER 1329 NEW BEST:: SOT 13888301 SOS 9592047 HAS SOPS 9589848 HAS SOUS 1117291 HAS SOUPS 1115603 WITH SCORE 1125195.047
AT ITER 1330 NEW BEST:: SOT 13888301 SOS 9585988 HAS SOPS 9583789 HAS SOUS 1117208 HAS SOUPS 1115520 WITH SCORE 1125105.988
AT ITER 1336 NEW BEST:: SOT 13891844 SOS 9589687 HAS SOPS 9587488 HAS SOUS 1115823 HAS SOUPS 1114135 WITH SCORE 1123724.687
AT ITER 1338 NEW BEST:: SOT 13889433 SOS 9591038 HAS SOPS 9588839 HAS SOUS 1114907 HAS SOUPS 1113219 WITH SCORE 1122810.038
AT ITER 1355 NEW BEST:: SOT 13887259 SOS 9588864 HAS SOPS 9586665 HAS SOUS 1113878 HAS SOUPS 1112190 WITH SCORE 1121778.864
AT ITER 1356 NEW BEST:: SOT 13887259 SOS 9582056 HAS SOPS 9579857 HAS SOUS 1113786 HAS SOUPS 1112098 WITH SCORE 1121680.056
AT ITER 1360 NEW BEST:: SOT 13887259 SOS 9576299 HAS SOPS 9574100 HAS SOUS 1113737 HAS SOUPS 1112049 WITH SCORE 1121625.299
AT ITER 1366 NEW BEST:: SOT 13887259 SOS 9587702 HAS SOPS 9585503 HAS SOUS 1113576 HAS SOUPS 1111888 WITH SCORE 1121475.702
AT ITER 1392 NEW BEST:: SOT 13887259 SOS 9579932 HAS SOPS 9577733 HAS SOUS 1113471 HAS SOUPS 1111783 WITH SCORE 1121362.932
AT ITER 1404 NEW BEST:: SOT 13887187 SOS 9579860 HAS SOPS 9577661 HAS SOUS 1113399 HAS SOUPS 1111711 WITH SCORE 1121290.86
AT ITER 1405 NEW BEST:: SOT 13888326 SOS 9580246 HAS SOPS 9577942 HAS SOUS 1113324 HAS SOUPS 1111531 WITH SCORE 1121111.246
AT ITER 1407 NEW BEST:: SOT 13898408 SOS 9591032 HAS SOPS 9588728 HAS SOUS 1111893 HAS SOUPS 1110100 WITH SCORE 1119691.032
AT ITER 1410 NEW BEST:: SOT 13894195 SOS 9586819 HAS SOPS 9584515 HAS SOUS 1103534 HAS SOUPS 1101741 WITH SCORE 1111327.819
AT ITER 1416 NEW BEST:: SOT 13894195 SOS 9586581 HAS SOPS 9584277 HAS SOUS 1103311 HAS SOUPS 1101518 WITH SCORE 1111104.581
AT ITER 1420 NEW BEST:: SOT 13894195 SOS 9586578 HAS SOPS 9584274 HAS SOUS 1103308 HAS SOUPS 1101515 WITH SCORE 1111101.578
AT ITER 1435 NEW BEST:: SOT 13894732 SOS 9590343 HAS SOPS 9588039 HAS SOUS 1101655 HAS SOUPS 1099862 WITH SCORE 1109452.343
AT ITER 1441 NEW BEST:: SOT 13894735 SOS 9590257 HAS SOPS 9587953 HAS SOUS 1101566 HAS SOUPS 1099773 WITH SCORE 1109363.257
AT ITER 1449 NEW BEST:: SOT 13893828 SOS 9589350 HAS SOPS 9587046 HAS SOUS 1099734 HAS SOUPS 1097941 WITH SCORE 1107530.35
AT ITER 1473 NEW BEST:: SOT 13893828 SOS 9605982 HAS SOPS 9603678 HAS SOUS 1098939 HAS SOUPS 1097146 WITH SCORE 1106751.982
AT ITER 1477 NEW BEST:: SOT 13873934 SOS 9593260 HAS SOPS 9591499 HAS SOUS 1095045 HAS SOUPS 1093795 WITH SCORE 1103388.26
AT ITER 1478 NEW BEST:: SOT 13873934 SOS 9588652 HAS SOPS 9586891 HAS SOUS 1095045 HAS SOUPS 1093795 WITH SCORE 1103383.652
AT ITER 1492 NEW BEST:: SOT 13874967 SOS 9589685 HAS SOPS 9587924 HAS SOUS 1092794 HAS SOUPS 1091544 WITH SCORE 1101133.685
AT ITER 1513 NEW BEST:: SOT 13874967 SOS 9579027 HAS SOPS 9577266 HAS SOUS 1092648 HAS SOUPS 1091398 WITH SCORE 1100977.027
AT ITER 1529 NEW BEST:: SOT 13874967 SOS 9573550 HAS SOPS 9571789 HAS SOUS 1092332 HAS SOUPS 1091082 WITH SCORE 1100655.55
AT ITER 1534 NEW BEST:: SOT 13873411 SOS 9576386 HAS SOPS 9574625 HAS SOUS 1089175 HAS SOUPS 1087925 WITH SCORE 1097501.386
AT ITER 1545 NEW BEST:: SOT 13873351 SOS 9576326 HAS SOPS 9574565 HAS SOUS 1089175 HAS SOUPS 1087925 WITH SCORE 1097501.326
AT ITER 1552 NEW BEST:: SOT 13873351 SOS 9567614 HAS SOPS 9565853 HAS SOUS 1089175 HAS SOUPS 1087925 WITH SCORE 1097492.614
AT ITER 1560 NEW BEST:: SOT 13872240 SOS 9566497 HAS SOPS 9564736 HAS SOUS 1087228 HAS SOUPS 1085978 WITH SCORE 1095544.497
AT ITER 1563 NEW BEST:: SOT 13875651 SOS 9569908 HAS SOPS 9568147 HAS SOUS 1086163 HAS SOUPS 1084913 WITH SCORE 1094482.908
AT ITER 1575 NEW BEST:: SOT 13875651 SOS 9562420 HAS SOPS 9560659 HAS SOUS 1086163 HAS SOUPS 1084913 WITH SCORE 1094475.42
AT ITER 1577 NEW BEST:: SOT 13875736 SOS 9562505 HAS SOPS 9560744 HAS SOUS 1085865 HAS SOUPS 1084615 WITH SCORE 1094177.505
AT ITER 1589 NEW BEST:: SOT 13872478 SOS 9559247 HAS SOPS 9557486 HAS SOUS 1083781 HAS SOUPS 1082531 WITH SCORE 1092090.247
AT ITER 1600 NEW BEST:: SOT 13872478 SOS 9559247 HAS SOPS 9557486 HAS SOUS 1083763 HAS SOUPS 1082513 WITH SCORE 1092072.247
AT ITER 1613 NEW BEST:: SOT 13872451 SOS 9559220 HAS SOPS 9557459 HAS SOUS 1083734 HAS SOUPS 1082484 WITH SCORE 1092043.22
AT ITER 1624 NEW BEST:: SOT 13872400 SOS 9559169 HAS SOPS 9557408 HAS SOUS 1083638 HAS SOUPS 1082388 WITH SCORE 1091947.169
AT ITER 1627 NEW BEST:: SOT 13871560 SOS 9558314 HAS SOPS 9556568 HAS SOUS 1081296 HAS SOUPS 1080061 WITH SCORE 1089619.314
AT ITER 1636 NEW BEST:: SOT 13868620 SOS 9565418 HAS SOPS 9563672 HAS SOUS 1080464 HAS SOUPS 1079229 WITH SCORE 1088794.418
AT ITER 1647 NEW BEST:: SOT 13866993 SOS 9563791 HAS SOPS 9562045 HAS SOUS 1079687 HAS SOUPS 1078452 WITH SCORE 1088015.791
AT ITER 1653 NEW BEST:: SOT 13866993 SOS 9564701 HAS SOPS 9562955 HAS SOUS 1079673 HAS SOUPS 1078438 WITH SCORE 1088002.701
AT ITER 1660 NEW BEST:: SOT 13866993 SOS 9560813 HAS SOPS 9559067 HAS SOUS 1079673 HAS SOUPS 1078438 WITH SCORE 1087998.813
AT ITER 1662 NEW BEST:: SOT 13866993 SOS 9551143 HAS SOPS 9549397 HAS SOUS 1079651 HAS SOUPS 1078416 WITH SCORE 1087967.143
AT ITER 1665 NEW BEST:: SOT 13866456 SOS 9550606 HAS SOPS 9548860 HAS SOUS 1078468 HAS SOUPS 1077233 WITH SCORE 1086783.606
AT ITER 1678 NEW BEST:: SOT 13882547 SOS 9566697 HAS SOPS 9564951 HAS SOUS 1075801 HAS SOUPS 1074566 WITH SCORE 1084132.697
AT ITER 1683 NEW BEST:: SOT 13885998 SOS 9570148 HAS SOPS 9568402 HAS SOUS 1074310 HAS SOUPS 1073075 WITH SCORE 1082645.148
AT ITER 1686 NEW BEST:: SOT 13887143 SOS 9570454 HAS SOPS 9568835 HAS SOUS 1067488 HAS SOUPS 1066380 WITH SCORE 1075950.454
AT ITER 1687 NEW BEST:: SOT 13899002 SOS 9582820 HAS SOPS 9580971 HAS SOUS 1060197 HAS SOUPS 1058994 WITH SCORE 1068576.82
AT ITER 1696 NEW BEST:: SOT 13899002 SOS 9090637 HAS SOPS 9088788 HAS SOUS 1060053 HAS SOUPS 1058850 WITH SCORE 1067940.637
AT ITER 1770 NEW BEST:: SOT 13899002 SOS 9085525 HAS SOPS 9083676 HAS SOUS 1060053 HAS SOUPS 1058850 WITH SCORE 1067935.525
AT ITER 1784 NEW BEST:: SOT 13899002 SOS 9088692 HAS SOPS 9086843 HAS SOUS 1060006 HAS SOUPS 1058803 WITH SCORE 1067891.692
AT ITER 1798 NEW BEST:: SOT 13899002 SOS 9075696 HAS SOPS 9073847 HAS SOUS 1059835 HAS SOUPS 1058632 WITH SCORE 1067707.696
AT ITER 1800 NEW BEST:: SOT 13899001 SOS 9075695 HAS SOPS 9073846 HAS SOUS 1059807 HAS SOUPS 1058604 WITH SCORE 1067679.695
AT ITER 1806 NEW BEST:: SOT 13899062 SOS 9075756 HAS SOPS 9073907 HAS SOUS 1059738 HAS SOUPS 1058535 WITH SCORE 1067610.756
AT ITER 1839 NEW BEST:: SOT 13896180 SOS 9072906 HAS SOPS 9071057 HAS SOUS 1054175 HAS SOUPS 1052972 WITH SCORE 1062044.906
AT ITER 1846 NEW BEST:: SOT 13896533 SOS 9073259 HAS SOPS 9071410 HAS SOUS 1050495 HAS SOUPS 1049292 WITH SCORE 1058365.259
AT ITER 1867 NEW BEST:: SOT 13896533 SOS 9073763 HAS SOPS 9071914 HAS SOUS 1050488 HAS SOUPS 1049285 WITH SCORE 1058358.763
AT ITER 1885 NEW BEST:: SOT 13898520 SOS 9075999 HAS SOPS 9074150 HAS SOUS 1035251 HAS SOUPS 1034048 WITH SCORE 1043123.999
AT ITER 1902 NEW BEST:: SOT 13895521 SOS 9073000 HAS SOPS 9071151 HAS SOUS 1031448 HAS SOUPS 1030245 WITH SCORE 1039318.0
AT ITER 1905 NEW BEST:: SOT 13895521 SOS 9059680 HAS SOPS 9057831 HAS SOUS 1031448 HAS SOUPS 1030245 WITH SCORE 1039304.68
AT ITER 1914 NEW BEST:: SOT 13893666 SOS 9057825 HAS SOPS 9055976 HAS SOUS 1028320 HAS SOUPS 1027117 WITH SCORE 1036174.825
AT ITER 1921 NEW BEST:: SOT 13891398 SOS 9055557 HAS SOPS 9053708 HAS SOUS 1026994 HAS SOUPS 1025791 WITH SCORE 1034846.557
AT ITER 1934 NEW BEST:: SOT 13891260 SOS 9055104 HAS SOPS 9053255 HAS SOUS 1026401 HAS SOUPS 1025198 WITH SCORE 1034253.104
AT ITER 1938 NEW BEST:: SOT 13891260 SOS 9055521 HAS SOPS 9053672 HAS SOUS 1026098 HAS SOUPS 1024895 WITH SCORE 1033950.521
AT ITER 1943 NEW BEST:: SOT 13891219 SOS 9055480 HAS SOPS 9053631 HAS SOUS 1026057 HAS SOUPS 1024854 WITH SCORE 1033909.48
AT ITER 1944 NEW BEST:: SOT 13891219 SOS 9047272 HAS SOPS 9045423 HAS SOUS 1026057 HAS SOUPS 1024854 WITH SCORE 1033901.272
AT ITER 1946 NEW BEST:: SOT 13890584 SOS 9046637 HAS SOPS 9044788 HAS SOUS 1025701 HAS SOUPS 1024498 WITH SCORE 1033544.637
AT ITER 1948 NEW BEST:: SOT 13895972 SOS 9052750 HAS SOPS 9051141 HAS SOUS 1022939 HAS SOUPS 1021976 WITH SCORE 1031028.75
AT ITER 1960 NEW BEST:: SOT 13895946 SOS 9052724 HAS SOPS 9051115 HAS SOUS 1022913 HAS SOUPS 1021950 WITH SCORE 1031002.724
AT ITER 1974 NEW BEST:: SOT 13874959 SOS 9031510 HAS SOPS 9029901 HAS SOUS 1014184 HAS SOUPS 1013221 WITH SCORE 1022252.51
AT ITER 1989 NEW BEST:: SOT 13874865 SOS 9031416 HAS SOPS 9029807 HAS SOUS 1014086 HAS SOUPS 1013123 WITH SCORE 1022154.416
AT ITER 1991 NEW BEST:: SOT 13874865 SOS 9031381 HAS SOPS 9029772 HAS SOUS 1014051 HAS SOUPS 1013088 WITH SCORE 1022119.381
AT ITER 1998 NEW BEST:: SOT 13874865 SOS 9025333 HAS SOPS 9023724 HAS SOUS 1014051 HAS SOUPS 1013088 WITH SCORE 1022113.333
AT ITER 2002 NEW BEST:: SOT 13874865 SOS 9016333 HAS SOPS 9014724 HAS SOUS 1014051 HAS SOUPS 1013088 WITH SCORE 1022104.333
AT ITER 2006 NEW BEST:: SOT 13874865 SOS 9016017 HAS SOPS 9014408 HAS SOUS 1013972 HAS SOUPS 1013009 WITH SCORE 1022025.017
AT ITER 2018 NEW BEST:: SOT 13874865 SOS 9008529 HAS SOPS 9006920 HAS SOUS 1013819 HAS SOUPS 1012856 WITH SCORE 1021864.529
AT ITER 2028 NEW BEST:: SOT 13874037 SOS 9007701 HAS SOPS 9006092 HAS SOUS 1012991 HAS SOUPS 1012028 WITH SCORE 1021035.701
AT ITER 2039 NEW BEST:: SOT 13874037 SOS 9007485 HAS SOPS 9005876 HAS SOUS 1012991 HAS SOUPS 1012028 WITH SCORE 1021035.485
AT ITER 2040 NEW BEST:: SOT 13874037 SOS 9007269 HAS SOPS 9005660 HAS SOUS 1012988 HAS SOUPS 1012025 WITH SCORE 1021032.269
AT ITER 2051 NEW BEST:: SOT 13874137 SOS 9007369 HAS SOPS 9005760 HAS SOUS 1012584 HAS SOUPS 1011621 WITH SCORE 1020628.369
AT ITER 2068 NEW BEST:: SOT 13873772 SOS 9006838 HAS SOPS 9005255 HAS SOUS 1010471 HAS SOUPS 1009534 WITH SCORE 1018540.838
AT ITER 2071 NEW BEST:: SOT 13878728 SOS 9011794 HAS SOPS 9010211 HAS SOUS 1005088 HAS SOUPS 1004151 WITH SCORE 1013162.794
AT ITER 2076 NEW BEST:: SOT 13875824 SOS 9003706 HAS SOPS 9002123 HAS SOUS 1000473 HAS SOUPS 999536 WITH SCORE 1008539.706
AT ITER 2117 NEW BEST:: SOT 13873692 SOS 9001574 HAS SOPS 8999973 HAS SOUS 998341 HAS SOUPS 997386 WITH SCORE 1006387.574
AT ITER 2150 NEW BEST:: SOT 13873692 SOS 9001492 HAS SOPS 8999891 HAS SOUS 998283 HAS SOUPS 997328 WITH SCORE 1006329.492
AT ITER 2165 NEW BEST:: SOT 13870521 SOS 8998321 HAS SOPS 8996720 HAS SOUS 995476 HAS SOUPS 994521 WITH SCORE 1003519.321
AT ITER 2175 NEW BEST:: SOT 13870317 SOS 8999009 HAS SOPS 8997408 HAS SOUS 995285 HAS SOUPS 994330 WITH SCORE 1003329.009
AT ITER 2180 NEW BEST:: SOT 13868360 SOS 8997052 HAS SOPS 8995451 HAS SOUS 993955 HAS SOUPS 993000 WITH SCORE 1001997.052
AT ITER 2195 NEW BEST:: SOT 13868360 SOS 8991508 HAS SOPS 8989907 HAS SOUS 993955 HAS SOUPS 993000 WITH SCORE 1001991.508
AT ITER 2205 NEW BEST:: SOT 13867554 SOS 8990702 HAS SOPS 8989101 HAS SOUS 993125 HAS SOUPS 992170 WITH SCORE 1001160.702
AT ITER 2253 NEW BEST:: SOT 13867554 SOS 8906408 HAS SOPS 8904807 HAS SOUS 993125 HAS SOUPS 992170 WITH SCORE 1001076.408
AT ITER 2272 NEW BEST:: SOT 13868249 SOS 8905753 HAS SOPS 8904511 HAS SOUS 989974 HAS SOUPS 989173 WITH SCORE 998078.753
AT ITER 2274 NEW BEST:: SOT 13868249 SOS 8902255 HAS SOPS 8901013 HAS SOUS 989909 HAS SOUPS 989108 WITH SCORE 998010.255
AT ITER 2277 NEW BEST:: SOT 13868180 SOS 8902186 HAS SOPS 8900944 HAS SOUS 989837 HAS SOUPS 989036 WITH SCORE 997938.186
AT ITER 2295 NEW BEST:: SOT 13870553 SOS 8904554 HAS SOPS 8903312 HAS SOUS 987306 HAS SOUPS 986505 WITH SCORE 995409.554
AT ITER 2296 NEW BEST:: SOT 13869755 SOS 8903756 HAS SOPS 8902514 HAS SOUS 985163 HAS SOUPS 984362 WITH SCORE 993265.756
AT ITER 2328 NEW BEST:: SOT 13868785 SOS 8902786 HAS SOPS 8901544 HAS SOUS 981734 HAS SOUPS 980933 WITH SCORE 989835.786
AT ITER 2345 NEW BEST:: SOT 13868785 SOS 8902786 HAS SOPS 8901544 HAS SOUS 981719 HAS SOUPS 980918 WITH SCORE 989820.786
AT ITER 2361 NEW BEST:: SOT 13869116 SOS 8903171 HAS SOPS 8901929 HAS SOUS 980521 HAS SOUPS 979720 WITH SCORE 988623.171
AT ITER 2374 NEW BEST:: SOT 13868358 SOS 8902402 HAS SOPS 8901184 HAS SOUS 978825 HAS SOUPS 978048 WITH SCORE 986950.402
AT ITER 2396 NEW BEST:: SOT 13868304 SOS 8902348 HAS SOPS 8901130 HAS SOUS 978771 HAS SOUPS 977994 WITH SCORE 986896.348
AT ITER 2399 NEW BEST:: SOT 13868304 SOS 8898604 HAS SOPS 8897386 HAS SOUS 978771 HAS SOUPS 977994 WITH SCORE 986892.604
AT ITER 2408 NEW BEST:: SOT 13865952 SOS 8896252 HAS SOPS 8895034 HAS SOUS 977075 HAS SOUPS 976298 WITH SCORE 985194.252
AT ITER 2409 NEW BEST:: SOT 13865952 SOS 8894884 HAS SOPS 8893666 HAS SOUS 977075 HAS SOUPS 976298 WITH SCORE 985192.884
AT ITER 2413 NEW BEST:: SOT 13866248 SOS 8895190 HAS SOPS 8893972 HAS SOUS 977027 HAS SOUPS 976250 WITH SCORE 985145.19
AT ITER 2420 NEW BEST:: SOT 13866248 SOS 8893562 HAS SOPS 8892344 HAS SOUS 977027 HAS SOUPS 976250 WITH SCORE 985143.562
AT ITER 2421 NEW BEST:: SOT 13865564 SOS 8892878 HAS SOPS 8891660 HAS SOUS 975647 HAS SOUPS 974870 WITH SCORE 983762.878
AT ITER 2430 NEW BEST:: SOT 13869227 SOS 8897417 HAS SOPS 8896199 HAS SOUS 975167 HAS SOUPS 974390 WITH SCORE 983287.417
AT ITER 2438 NEW BEST:: SOT 13869154 SOS 8897344 HAS SOPS 8896126 HAS SOUS 975110 HAS SOUPS 974333 WITH SCORE 983230.344
AT ITER 2460 NEW BEST:: SOT 13866178 SOS 8894368 HAS SOPS 8893150 HAS SOUS 968952 HAS SOUPS 968175 WITH SCORE 977069.368
AT ITER 2493 NEW BEST:: SOT 13865461 SOS 8894049 HAS SOPS 8892831 HAS SOUS 967699 HAS SOUPS 966922 WITH SCORE 975816.049
AT ITER 2498 NEW BEST:: SOT 13870219 SOS 8898386 HAS SOPS 8897226 HAS SOUS 966663 HAS SOUPS 965944 WITH SCORE 974842.386
AT ITER 2515 NEW BEST:: SOT 13869176 SOS 8897343 HAS SOPS 8896183 HAS SOUS 966600 HAS SOUPS 965881 WITH SCORE 974778.343
AT ITER 2525 NEW BEST:: SOT 13869176 SOS 8883807 HAS SOPS 8882647 HAS SOUS 966600 HAS SOUPS 965881 WITH SCORE 974764.807
AT ITER 2527 NEW BEST:: SOT 13866537 SOS 8881168 HAS SOPS 8880008 HAS SOUS 964878 HAS SOUPS 964159 WITH SCORE 973040.168
AT ITER 2552 NEW BEST:: SOT 13863123 SOS 8877754 HAS SOPS 8876594 HAS SOUS 962535 HAS SOUPS 961816 WITH SCORE 970693.754
AT ITER 2554 NEW BEST:: SOT 13863226 SOS 8877957 HAS SOPS 8876817 HAS SOUS 962523 HAS SOUPS 961804 WITH SCORE 970681.957
AT ITER 2557 NEW BEST:: SOT 13859914 SOS 8874645 HAS SOPS 8873505 HAS SOUS 960114 HAS SOUPS 959395 WITH SCORE 968269.645
AT ITER 2563 NEW BEST:: SOT 13859802 SOS 8872013 HAS SOPS 8870873 HAS SOUS 959886 HAS SOUPS 959167 WITH SCORE 968039.013
AT ITER 2564 NEW BEST:: SOT 13859802 SOS 8868655 HAS SOPS 8867515 HAS SOUS 959794 HAS SOUPS 959075 WITH SCORE 967943.655
AT ITER 2571 NEW BEST:: SOT 13862602 SOS 8872915 HAS SOPS 8871393 HAS SOUS 958033 HAS SOUPS 957160 WITH SCORE 966032.915
AT ITER 2583 NEW BEST:: SOT 13861586 SOS 8871899 HAS SOPS 8870377 HAS SOUS 957003 HAS SOUPS 956130 WITH SCORE 965001.899
AT ITER 2589 NEW BEST:: SOT 13861586 SOS 8871461 HAS SOPS 8869939 HAS SOUS 956991 HAS SOUPS 956118 WITH SCORE 964989.461
AT ITER 2609 NEW BEST:: SOT 13861586 SOS 8862605 HAS SOPS 8861083 HAS SOUS 956990 HAS SOUPS 956117 WITH SCORE 964979.605
AT ITER 2616 NEW BEST:: SOT 13861586 SOS 8862571 HAS SOPS 8861049 HAS SOUS 956956 HAS SOUPS 956083 WITH SCORE 964945.571
AT ITER 2638 NEW BEST:: SOT 13861586 SOS 8862336 HAS SOPS 8860814 HAS SOUS 956956 HAS SOUPS 956083 WITH SCORE 964945.336
AT ITER 2639 NEW BEST:: SOT 13859064 SOS 8852368 HAS SOPS 8850846 HAS SOUS 955994 HAS SOUPS 955121 WITH SCORE 963973.368
AT ITER 2644 NEW BEST:: SOT 13859064 SOS 8843357 HAS SOPS 8841835 HAS SOUS 955841 HAS SOUPS 954968 WITH SCORE 963811.357
AT ITER 2647 NEW BEST:: SOT 13859064 SOS 8843141 HAS SOPS 8841619 HAS SOUS 955721 HAS SOUPS 954848 WITH SCORE 963691.141
AT ITER 2649 NEW BEST:: SOT 13859643 SOS 8844284 HAS SOPS 8842774 HAS SOUS 953469 HAS SOUPS 952596 WITH SCORE 961440.284
AT ITER 2664 NEW BEST:: SOT 13859890 SOS 8844531 HAS SOPS 8843021 HAS SOUS 952606 HAS SOUPS 951733 WITH SCORE 960577.531
AT ITER 2666 NEW BEST:: SOT 13861476 SOS 8846117 HAS SOPS 8844607 HAS SOUS 950358 HAS SOUPS 949485 WITH SCORE 958331.117
AT ITER 2675 NEW BEST:: SOT 13861454 SOS 8846095 HAS SOPS 8844585 HAS SOUS 950336 HAS SOUPS 949463 WITH SCORE 958309.095
AT ITER 2683 NEW BEST:: SOT 13861454 SOS 8846095 HAS SOPS 8844585 HAS SOUS 950207 HAS SOUPS 949334 WITH SCORE 958180.095
AT ITER 2695 NEW BEST:: SOT 13861454 SOS 8845220 HAS SOPS 8843710 HAS SOUS 950047 HAS SOUPS 949174 WITH SCORE 958019.22
AT ITER 2712 NEW BEST:: SOT 13866097 SOS 8849863 HAS SOPS 8848353 HAS SOUS 949992 HAS SOUPS 949119 WITH SCORE 957968.863
AT ITER 2716 NEW BEST:: SOT 13867915 SOS 8851708 HAS SOPS 8850198 HAS SOUS 949802 HAS SOUPS 948929 WITH SCORE 957780.708
AT ITER 2719 NEW BEST:: SOT 13867915 SOS 8851694 HAS SOPS 8850184 HAS SOUS 949788 HAS SOUPS 948915 WITH SCORE 957766.694
AT ITER 2723 NEW BEST:: SOT 13867466 SOS 8851619 HAS SOPS 8850202 HAS SOUS 947840 HAS SOUPS 947060 WITH SCORE 955911.619
AT ITER 2740 NEW BEST:: SOT 13867415 SOS 8851568 HAS SOPS 8850151 HAS SOUS 947651 HAS SOUPS 946871 WITH SCORE 955722.568
AT ITER 2743 NEW BEST:: SOT 13867415 SOS 8851558 HAS SOPS 8850141 HAS SOUS 947651 HAS SOUPS 946871 WITH SCORE 955722.558
AT ITER 2749 NEW BEST:: SOT 13867415 SOS 8849326 HAS SOPS 8847909 HAS SOUS 947651 HAS SOUPS 946871 WITH SCORE 955720.326
AT ITER 2752 NEW BEST:: SOT 13867243 SOS 8849154 HAS SOPS 8847737 HAS SOUS 946589 HAS SOUPS 945809 WITH SCORE 954658.154
AT ITER 2775 NEW BEST:: SOT 13867009 SOS 8848920 HAS SOPS 8847503 HAS SOUS 946253 HAS SOUPS 945473 WITH SCORE 954321.92
AT ITER 2798 NEW BEST:: SOT 13867039 SOS 8848950 HAS SOPS 8847533 HAS SOUS 946196 HAS SOUPS 945416 WITH SCORE 954264.95
AT ITER 2799 NEW BEST:: SOT 13869296 SOS 8851207 HAS SOPS 8849790 HAS SOUS 940041 HAS SOUPS 939261 WITH SCORE 948112.207
AT ITER 2805 NEW BEST:: SOT 13868396 SOS 8850025 HAS SOPS 8848645 HAS SOUS 933063 HAS SOUPS 932320 WITH SCORE 941170.025
AT ITER 2828 NEW BEST:: SOT 13868396 SOS 8850007 HAS SOPS 8848627 HAS SOUS 933045 HAS SOUPS 932302 WITH SCORE 941152.007
AT ITER 2836 NEW BEST:: SOT 13868396 SOS 8849985 HAS SOPS 8848605 HAS SOUS 933034 HAS SOUPS 932291 WITH SCORE 941140.985
AT ITER 2841 NEW BEST:: SOT 13868396 SOS 8853945 HAS SOPS 8852565 HAS SOUS 932979 HAS SOUPS 932236 WITH SCORE 941089.945
AT ITER 2842 NEW BEST:: SOT 13868396 SOS 8881377 HAS SOPS 8878871 HAS SOUS 932865 HAS SOUPS 931888 WITH SCORE 940769.377
AT ITER 2867 NEW BEST:: SOT 13868396 SOS 8875697 HAS SOPS 8873191 HAS SOUS 932865 HAS SOUPS 931888 WITH SCORE 940763.697
AT ITER 2868 NEW BEST:: SOT 13868396 SOS 8862296 HAS SOPS 8859790 HAS SOUS 932859 HAS SOUPS 931882 WITH SCORE 940744.296
AT ITER 2874 NEW BEST:: SOT 13868396 SOS 8860208 HAS SOPS 8857702 HAS SOUS 932859 HAS SOUPS 931882 WITH SCORE 940742.208
AT ITER 2887 NEW BEST:: SOT 13867802 SOS 8859614 HAS SOPS 8857108 HAS SOUS 932256 HAS SOUPS 931279 WITH SCORE 940138.614
AT ITER 2888 NEW BEST:: SOT 13875690 SOS 8874489 HAS SOPS 8871983 HAS SOUS 928390 HAS SOUPS 927413 WITH SCORE 936287.489
AT ITER 2889 NEW BEST:: SOT 13875690 SOS 8872856 HAS SOPS 8870350 HAS SOUS 928390 HAS SOUPS 927413 WITH SCORE 936285.856
AT ITER 2896 NEW BEST:: SOT 13875690 SOS 8875160 HAS SOPS 8872654 HAS SOUS 928303 HAS SOUPS 927326 WITH SCORE 936201.16
AT ITER 2902 NEW BEST:: SOT 13865596 SOS 8863715 HAS SOPS 8861192 HAS SOUS 926340 HAS SOUPS 925346 WITH SCORE 934209.715
AT ITER 2931 NEW BEST:: SOT 13865596 SOS 8853635 HAS SOPS 8851112 HAS SOUS 926340 HAS SOUPS 925346 WITH SCORE 934199.635
AT ITER 2935 NEW BEST:: SOT 13865596 SOS 8853635 HAS SOPS 8851112 HAS SOUS 926231 HAS SOUPS 925237 WITH SCORE 934090.635
AT ITER 2947 NEW BEST:: SOT 13867857 SOS 8855877 HAS SOPS 8853354 HAS SOUS 924131 HAS SOUPS 923137 WITH SCORE 931992.877
AT ITER 2950 NEW BEST:: SOT 13865154 SOS 8853174 HAS SOPS 8850651 HAS SOUS 920131 HAS SOUPS 919137 WITH SCORE 927990.174
AT ITER 2960 NEW BEST:: SOT 13859451 SOS 8847469 HAS SOPS 8844948 HAS SOUS 908741 HAS SOUPS 907749 WITH SCORE 916596.469
AT ITER 2964 NEW BEST:: SOT 13857316 SOS 8845334 HAS SOPS 8842813 HAS SOUS 907638 HAS SOUPS 906646 WITH SCORE 915491.334
AT ITER 2968 NEW BEST:: SOT 13857265 SOS 8845283 HAS SOPS 8842762 HAS SOUS 906065 HAS SOUPS 905073 WITH SCORE 913918.283
AT ITER 2975 NEW BEST:: SOT 13857265 SOS 8845283 HAS SOPS 8842762 HAS SOUS 906038 HAS SOUPS 905046 WITH SCORE 913891.283
AT ITER 2978 NEW BEST:: SOT 13857265 SOS 8843803 HAS SOPS 8841282 HAS SOUS 906018 HAS SOUPS 905026 WITH SCORE 913869.803
AT ITER 2986 NEW BEST:: SOT 13857262 SOS 8843797 HAS SOPS 8841276 HAS SOUS 906015 HAS SOUPS 905023 WITH SCORE 913866.797
AT ITER 2991 NEW BEST:: SOT 13857262 SOS 8846605 HAS SOPS 8844084 HAS SOUS 906012 HAS SOUPS 905020 WITH SCORE 913866.605
AT ITER 2995 NEW BEST:: SOT 13858894 SOS 8848237 HAS SOPS 8845716 HAS SOUS 905876 HAS SOUPS 904884 WITH SCORE 913732.237
AT ITER 3032 NEW BEST:: SOT 13857366 SOS 8846709 HAS SOPS 8844188 HAS SOUS 905043 HAS SOUPS 904051 WITH SCORE 912897.709
AT ITER 3053 NEW BEST:: SOT 13857366 SOS 8846709 HAS SOPS 8844188 HAS SOUS 905033 HAS SOUPS 904041 WITH SCORE 912887.709
AT ITER 3055 NEW BEST:: SOT 13859763 SOS 8849106 HAS SOPS 8846585 HAS SOUS 904477 HAS SOUPS 903485 WITH SCORE 912334.106
AT ITER 3076 NEW BEST:: SOT 13860183 SOS 8849526 HAS SOPS 8847005 HAS SOUS 904361 HAS SOUPS 903369 WITH SCORE 912218.526
AT ITER 3078 NEW BEST:: SOT 13859123 SOS 8848466 HAS SOPS 8845945 HAS SOUS 899758 HAS SOUPS 898766 WITH SCORE 907614.466
AT ITER 3091 NEW BEST:: SOT 13858970 SOS 8848313 HAS SOPS 8845792 HAS SOUS 897044 HAS SOUPS 896052 WITH SCORE 904900.313
AT ITER 3101 NEW BEST:: SOT 13858970 SOS 8845460 HAS SOPS 8842939 HAS SOUS 897002 HAS SOUPS 896010 WITH SCORE 904855.46
AT ITER 3108 NEW BEST:: SOT 13858970 SOS 8844956 HAS SOPS 8842435 HAS SOUS 896996 HAS SOUPS 896004 WITH SCORE 904848.956
AT ITER 3110 NEW BEST:: SOT 13859042 SOS 8516710 HAS SOPS 8514189 HAS SOUS 896961 HAS SOUPS 895969 WITH SCORE 904485.71
AT ITER 3115 NEW BEST:: SOT 13859042 SOS 8516710 HAS SOPS 8514189 HAS SOUS 896870 HAS SOUPS 895878 WITH SCORE 904394.71
AT ITER 3137 NEW BEST:: SOT 13854021 SOS 8511689 HAS SOPS 8509168 HAS SOUS 893101 HAS SOUPS 892109 WITH SCORE 900620.689
AT ITER 3152 NEW BEST:: SOT 13854021 SOS 8511589 HAS SOPS 8509068 HAS SOUS 893051 HAS SOUPS 892059 WITH SCORE 900570.589
AT ITER 3155 NEW BEST:: SOT 13853666 SOS 8507688 HAS SOPS 8505587 HAS SOUS 886805 HAS SOUPS 885959 WITH SCORE 894466.688
AT ITER 3177 NEW BEST:: SOT 13850993 SOS 8505015 HAS SOPS 8502914 HAS SOUS 885705 HAS SOUPS 884859 WITH SCORE 893364.015
AT ITER 3184 NEW BEST:: SOT 13850519 SOS 8504541 HAS SOPS 8502440 HAS SOUS 884804 HAS SOUPS 883958 WITH SCORE 892462.541
AT ITER 3195 NEW BEST:: SOT 13847522 SOS 8501544 HAS SOPS 8499443 HAS SOUS 881791 HAS SOUPS 880945 WITH SCORE 889446.544
AT ITER 3201 NEW BEST:: SOT 13847522 SOS 8501450 HAS SOPS 8499349 HAS SOUS 881688 HAS SOUPS 880842 WITH SCORE 889343.45
AT ITER 3216 NEW BEST:: SOT 13847522 SOS 8501355 HAS SOPS 8499254 HAS SOUS 881688 HAS SOUPS 880842 WITH SCORE 889343.355
AT ITER 3224 NEW BEST:: SOT 13847522 SOS 8502723 HAS SOPS 8500622 HAS SOUS 881604 HAS SOUPS 880758 WITH SCORE 889260.723
AT ITER 3226 NEW BEST:: SOT 13847522 SOS 8502723 HAS SOPS 8500622 HAS SOUS 881568 HAS SOUPS 880722 WITH SCORE 889224.723
AT ITER 3228 NEW BEST:: SOT 13847522 SOS 8502755 HAS SOPS 8500654 HAS SOUS 881536 HAS SOUPS 880690 WITH SCORE 889192.755
AT ITER 3240 NEW BEST:: SOT 13840420 SOS 8492708 HAS SOPS 8490607 HAS SOUS 880789 HAS SOUPS 879943 WITH SCORE 888435.708
AT ITER 3269 NEW BEST:: SOT 13843597 SOS 8495873 HAS SOPS 8493772 HAS SOUS 877926 HAS SOUPS 877080 WITH SCORE 885575.873
AT ITER 3285 NEW BEST:: SOT 13843563 SOS 8633109 HAS SOPS 8631025 HAS SOUS 877768 HAS SOUPS 876939 WITH SCORE 885572.109
AT ITER 3289 NEW BEST:: SOT 13842997 SOS 8632846 HAS SOPS 8630762 HAS SOUS 876596 HAS SOUPS 875767 WITH SCORE 884399.846
AT ITER 3290 NEW BEST:: SOT 13840442 SOS 8630291 HAS SOPS 8628207 HAS SOUS 874967 HAS SOUPS 874138 WITH SCORE 882768.291
AT ITER 3294 NEW BEST:: SOT 13840374 SOS 8630223 HAS SOPS 8628139 HAS SOUS 874899 HAS SOUPS 874070 WITH SCORE 882700.223
AT ITER 3303 NEW BEST:: SOT 13840374 SOS 8627991 HAS SOPS 8625907 HAS SOUS 874899 HAS SOUPS 874070 WITH SCORE 882697.991
AT ITER 3349 NEW BEST:: SOT 13843396 SOS 8630997 HAS SOPS 8628913 HAS SOUS 874139 HAS SOUPS 873310 WITH SCORE 881940.997
AT ITER 3350 NEW BEST:: SOT 13843486 SOS 8500677 HAS SOPS 8498593 HAS SOUS 874139 HAS SOUPS 873310 WITH SCORE 881810.677
AT ITER 3367 NEW BEST:: SOT 13843508 SOS 8500678 HAS SOPS 8498597 HAS SOUS 874114 HAS SOUPS 873288 WITH SCORE 881788.678
AT ITER 3371 NEW BEST:: SOT 13837268 SOS 8494309 HAS SOPS 8492240 HAS SOUS 868511 HAS SOUPS 867697 WITH SCORE 876191.309
AT ITER 3384 NEW BEST:: SOT 13837309 SOS 8494485 HAS SOPS 8492416 HAS SOUS 868501 HAS SOUPS 867687 WITH SCORE 876181.485
AT ITER 3393 NEW BEST:: SOT 13837790 SOS 8494966 HAS SOPS 8492897 HAS SOUS 867618 HAS SOUPS 866804 WITH SCORE 875298.966
AT ITER 3404 NEW BEST:: SOT 13837790 SOS 8494966 HAS SOPS 8492897 HAS SOUS 867612 HAS SOUPS 866798 WITH SCORE 875292.966
AT ITER 3414 NEW BEST:: SOT 13837680 SOS 8494856 HAS SOPS 8492787 HAS SOUS 867540 HAS SOUPS 866726 WITH SCORE 875220.856
AT ITER 3423 NEW BEST:: SOT 13837680 SOS 8493180 HAS SOPS 8491111 HAS SOUS 867540 HAS SOUPS 866726 WITH SCORE 875219.18
AT ITER 3425 NEW BEST:: SOT 13837472 SOS 8492972 HAS SOPS 8490903 HAS SOUS 867268 HAS SOUPS 866454 WITH SCORE 874946.972
AT ITER 3444 NEW BEST:: SOT 13830467 SOS 8485445 HAS SOPS 8483376 HAS SOUS 864160 HAS SOUPS 863346 WITH SCORE 871831.445
AT ITER 3455 NEW BEST:: SOT 13830467 SOS 8485458 HAS SOPS 8483389 HAS SOUS 864147 HAS SOUPS 863333 WITH SCORE 871818.458
AT ITER 3467 NEW BEST:: SOT 13830467 SOS 8485208 HAS SOPS 8483139 HAS SOUS 864147 HAS SOUPS 863333 WITH SCORE 871818.208
AT ITER 3468 NEW BEST:: SOT 13830973 SOS 8485864 HAS SOPS 8483795 HAS SOUS 863168 HAS SOUPS 862354 WITH SCORE 870839.864
AT ITER 3472 NEW BEST:: SOT 13831021 SOS 8485912 HAS SOPS 8483843 HAS SOUS 862104 HAS SOUPS 861290 WITH SCORE 869775.912
AT ITER 3474 NEW BEST:: SOT 13831021 SOS 8496851 HAS SOPS 8494782 HAS SOUS 861336 HAS SOUPS 860522 WITH SCORE 869018.851
AT ITER 3496 NEW BEST:: SOT 13831021 SOS 8496711 HAS SOPS 8494642 HAS SOUS 861322 HAS SOUPS 860508 WITH SCORE 869004.711
AT ITER 3502 NEW BEST:: SOT 13831021 SOS 8496351 HAS SOPS 8494282 HAS SOUS 861322 HAS SOUPS 860508 WITH SCORE 869004.351
AT ITER 3511 NEW BEST:: SOT 13830985 SOS 8496315 HAS SOPS 8494246 HAS SOUS 861286 HAS SOUPS 860472 WITH SCORE 868968.315
AT ITER 3567 NEW BEST:: SOT 13830691 SOS 8496021 HAS SOPS 8493952 HAS SOUS 860616 HAS SOUPS 859802 WITH SCORE 868298.021
AT ITER 3628 NEW BEST:: SOT 13828222 SOS 8493552 HAS SOPS 8491483 HAS SOUS 855586 HAS SOUPS 854772 WITH SCORE 863265.552
AT ITER 3640 NEW BEST:: SOT 13828222 SOS 8494062 HAS SOPS 8491993 HAS SOUS 854947 HAS SOUPS 854133 WITH SCORE 862627.062
AT ITER 3657 NEW BEST:: SOT 13828222 SOS 8493486 HAS SOPS 8491417 HAS SOUS 854947 HAS SOUPS 854133 WITH SCORE 862626.486
AT ITER 3664 NEW BEST:: SOT 13825274 SOS 8490538 HAS SOPS 8488469 HAS SOUS 851976 HAS SOUPS 851162 WITH SCORE 859652.538
AT ITER 3667 NEW BEST:: SOT 13824716 SOS 8489926 HAS SOPS 8487872 HAS SOUS 850454 HAS SOUPS 849655 WITH SCORE 858144.926
AT ITER 3715 NEW BEST:: SOT 13824716 SOS 8488126 HAS SOPS 8486072 HAS SOUS 850454 HAS SOUPS 849655 WITH SCORE 858143.126
AT ITER 3720 NEW BEST:: SOT 13825392 SOS 8488802 HAS SOPS 8486748 HAS SOUS 849963 HAS SOUPS 849164 WITH SCORE 857652.802
AT ITER 3740 NEW BEST:: SOT 13825392 SOS 8488618 HAS SOPS 8486564 HAS SOUS 849829 HAS SOUPS 849030 WITH SCORE 857518.618
AT ITER 3742 NEW BEST:: SOT 13824750 SOS 8487976 HAS SOPS 8485922 HAS SOUS 848383 HAS SOUPS 847584 WITH SCORE 856071.976
AT ITER 3743 NEW BEST:: SOT 13821730 SOS 8484956 HAS SOPS 8482902 HAS SOUS 847732 HAS SOUPS 846933 WITH SCORE 855417.956
AT ITER 3776 NEW BEST:: SOT 13824713 SOS 8487914 HAS SOPS 8485860 HAS SOUS 843072 HAS SOUPS 842273 WITH SCORE 850760.914
AT ITER 3801 NEW BEST:: SOT 13824816 SOS 8488047 HAS SOPS 8485993 HAS SOUS 843058 HAS SOUPS 842259 WITH SCORE 850747.047
AT ITER 3841 NEW BEST:: SOT 13823841 SOS 8487112 HAS SOPS 8485018 HAS SOUS 841028 HAS SOUPS 840189 WITH SCORE 848676.112
AT ITER 3859 NEW BEST:: SOT 13823786 SOS 8487057 HAS SOPS 8484963 HAS SOUS 840918 HAS SOUPS 840079 WITH SCORE 848566.057
AT ITER 3863 NEW BEST:: SOT 13823786 SOS 8486953 HAS SOPS 8484859 HAS SOUS 840806 HAS SOUPS 839967 WITH SCORE 848453.953
AT ITER 3882 NEW BEST:: SOT 13823768 SOS 8486947 HAS SOPS 8484853 HAS SOUS 840738 HAS SOUPS 839899 WITH SCORE 848385.947
AT ITER 3896 NEW BEST:: SOT 13823773 SOS 8486952 HAS SOPS 8484858 HAS SOUS 840692 HAS SOUPS 839853 WITH SCORE 848339.952
AT ITER 3900 NEW BEST:: SOT 13823773 SOS 8486952 HAS SOPS 8484858 HAS SOUS 840661 HAS SOUPS 839822 WITH SCORE 848308.952
AT ITER 3915 NEW BEST:: SOT 13823309 SOS 8486488 HAS SOPS 8484394 HAS SOUS 838864 HAS SOUPS 838025 WITH SCORE 846511.488
AT ITER 3916 NEW BEST:: SOT 13823048 SOS 8486227 HAS SOPS 8484133 HAS SOUS 838277 HAS SOUPS 837438 WITH SCORE 845924.227
AT ITER 3943 NEW BEST:: SOT 13823287 SOS 8486466 HAS SOPS 8484372 HAS SOUS 838225 HAS SOUPS 837386 WITH SCORE 845872.466
AT ITER 3989 NEW BEST:: SOT 13823287 SOS 8485696 HAS SOPS 8483627 HAS SOUS 838215 HAS SOUPS 837381 WITH SCORE 845866.696
AT ITER 3990 NEW BEST:: SOT 13823287 SOS 8481094 HAS SOPS 8479025 HAS SOUS 838215 HAS SOUPS 837381 WITH SCORE 845862.094
AT ITER 4006 NEW BEST:: SOT 13822745 SOS 8480552 HAS SOPS 8478483 HAS SOUS 837568 HAS SOUPS 836734 WITH SCORE 845214.552
AT ITER 4022 NEW BEST:: SOT 13821122 SOS 8478929 HAS SOPS 8476860 HAS SOUS 836343 HAS SOUPS 835509 WITH SCORE 843987.929
AT ITER 4041 NEW BEST:: SOT 13820713 SOS 8478864 HAS SOPS 8476795 HAS SOUS 835155 HAS SOUPS 834321 WITH SCORE 842799.864
AT ITER 4061 NEW BEST:: SOT 13820710 SOS 8478861 HAS SOPS 8476792 HAS SOUS 835105 HAS SOUPS 834271 WITH SCORE 842749.861
AT ITER 4065 NEW BEST:: SOT 13820690 SOS 8461568 HAS SOPS 8460991 HAS SOUS 826863 HAS SOUPS 826421 WITH SCORE 834882.568
AT ITER 4087 NEW BEST:: SOT 13820690 SOS 8461568 HAS SOPS 8460991 HAS SOUS 826631 HAS SOUPS 826189 WITH SCORE 834650.568
AT ITER 4100 NEW BEST:: SOT 13820679 SOS 8461575 HAS SOPS 8460998 HAS SOUS 824345 HAS SOUPS 823903 WITH SCORE 832364.575
AT ITER 4120 NEW BEST:: SOT 13822498 SOS 8463379 HAS SOPS 8462802 HAS SOUS 822244 HAS SOUPS 821802 WITH SCORE 830265.379
AT ITER 4125 NEW BEST:: SOT 13821287 SOS 8462176 HAS SOPS 8461599 HAS SOUS 821940 HAS SOUPS 821498 WITH SCORE 829960.176
AT ITER 4141 NEW BEST:: SOT 13822103 SOS 8463013 HAS SOPS 8462436 HAS SOUS 821349 HAS SOUPS 820907 WITH SCORE 829370.013
AT ITER 4143 NEW BEST:: SOT 13822033 SOS 8455953 HAS SOPS 8455376 HAS SOUS 821102 HAS SOUPS 820660 WITH SCORE 829115.953
AT ITER 4151 NEW BEST:: SOT 13822220 SOS 8456140 HAS SOPS 8455563 HAS SOUS 820988 HAS SOUPS 820546 WITH SCORE 829002.14
AT ITER 4183 NEW BEST:: SOT 13822220 SOS 8460868 HAS SOPS 8460291 HAS SOUS 820893 HAS SOUPS 820451 WITH SCORE 828911.868
AT ITER 4191 NEW BEST:: SOT 13821878 SOS 8460519 HAS SOPS 8459942 HAS SOUS 820193 HAS SOUPS 819751 WITH SCORE 828211.519
AT ITER 4225 NEW BEST:: SOT 13808880 SOS 8429377 HAS SOPS 8428800 HAS SOUS 816234 HAS SOUPS 815792 WITH SCORE 824221.377
AT ITER 4238 NEW BEST:: SOT 13808880 SOS 8429265 HAS SOPS 8428688 HAS SOUS 816065 HAS SOUPS 815623 WITH SCORE 824052.265
AT ITER 4242 NEW BEST:: SOT 13808880 SOS 8427969 HAS SOPS 8427392 HAS SOUS 816065 HAS SOUPS 815623 WITH SCORE 824050.969
AT ITER 4252 NEW BEST:: SOT 13808954 SOS 8428043 HAS SOPS 8427466 HAS SOUS 815612 HAS SOUPS 815170 WITH SCORE 823598.043
AT ITER 4266 NEW BEST:: SOT 13808954 SOS 8419540 HAS SOPS 8418963 HAS SOUS 815552 HAS SOUPS 815110 WITH SCORE 823529.54
AT ITER 4267 NEW BEST:: SOT 13808954 SOS 8419470 HAS SOPS 8418893 HAS SOUS 815482 HAS SOUPS 815040 WITH SCORE 823459.47
AT ITER 4269 NEW BEST:: SOT 13804437 SOS 8405559 HAS SOPS 8404982 HAS SOUS 813051 HAS SOUPS 812609 WITH SCORE 821014.559
AT ITER 4286 NEW BEST:: SOT 13803917 SOS 8405041 HAS SOPS 8404464 HAS SOUS 812470 HAS SOUPS 812028 WITH SCORE 820433.041
AT ITER 4293 NEW BEST:: SOT 13802282 SOS 8403406 HAS SOPS 8402829 HAS SOUS 812413 HAS SOUPS 811971 WITH SCORE 820374.406
AT ITER 4303 NEW BEST:: SOT 13800963 SOS 8407533 HAS SOPS 8406878 HAS SOUS 811257 HAS SOUPS 810737 WITH SCORE 819144.533
AT ITER 4307 NEW BEST:: SOT 13800945 SOS 8407515 HAS SOPS 8406860 HAS SOUS 811247 HAS SOUPS 810727 WITH SCORE 819134.515
AT ITER 4320 NEW BEST:: SOT 13800945 SOS 8407361 HAS SOPS 8406706 HAS SOUS 811241 HAS SOUPS 810721 WITH SCORE 819128.361
AT ITER 4321 NEW BEST:: SOT 13800365 SOS 8406727 HAS SOPS 8406081 HAS SOUS 810604 HAS SOUPS 810093 WITH SCORE 818499.727
AT ITER 4330 NEW BEST:: SOT 13800340 SOS 8406702 HAS SOPS 8406056 HAS SOUS 810579 HAS SOUPS 810068 WITH SCORE 818474.702
AT ITER 4346 NEW BEST:: SOT 13800340 SOS 8416920 HAS SOPS 8416274 HAS SOUS 810424 HAS SOUPS 809913 WITH SCORE 818329.92
AT ITER 4347 NEW BEST:: SOT 13800029 SOS 8416643 HAS SOPS 8415997 HAS SOUS 809223 HAS SOUPS 808712 WITH SCORE 817128.643
AT ITER 4396 NEW BEST:: SOT 13800028 SOS 8416642 HAS SOPS 8415996 HAS SOUS 809218 HAS SOUPS 808707 WITH SCORE 817123.642
AT ITER 4400 NEW BEST:: SOT 13800028 SOS 8416354 HAS SOPS 8415708 HAS SOUS 809218 HAS SOUPS 808707 WITH SCORE 817123.354
AT ITER 4415 NEW BEST:: SOT 13799905 SOS 8416231 HAS SOPS 8415585 HAS SOUS 808956 HAS SOUPS 808445 WITH SCORE 816861.231
AT ITER 4424 NEW BEST:: SOT 13799567 SOS 8415893 HAS SOPS 8415247 HAS SOUS 808144 HAS SOUPS 807633 WITH SCORE 816048.893
AT ITER 4449 NEW BEST:: SOT 13799541 SOS 8415867 HAS SOPS 8415221 HAS SOUS 808118 HAS SOUPS 807607 WITH SCORE 816022.867
AT ITER 4469 NEW BEST:: SOT 13799380 SOS 8415698 HAS SOPS 8415052 HAS SOUS 807925 HAS SOUPS 807414 WITH SCORE 815829.698
AT ITER 4488 NEW BEST:: SOT 13800200 SOS 8416518 HAS SOPS 8415872 HAS SOUS 804429 HAS SOUPS 803918 WITH SCORE 812334.518
AT ITER 4515 NEW BEST:: SOT 13802535 SOS 8418847 HAS SOPS 8418201 HAS SOUS 801987 HAS SOUPS 801476 WITH SCORE 809894.847
AT ITER 4527 NEW BEST:: SOT 13802507 SOS 8418819 HAS SOPS 8418173 HAS SOUS 801888 HAS SOUPS 801377 WITH SCORE 809795.819
AT ITER 4544 NEW BEST:: SOT 13803441 SOS 8420977 HAS SOPS 8420331 HAS SOUS 801846 HAS SOUPS 801335 WITH SCORE 809755.977
AT ITER 4559 NEW BEST:: SOT 13803322 SOS 8420858 HAS SOPS 8420212 HAS SOUS 801725 HAS SOUPS 801214 WITH SCORE 809634.858
AT ITER 4564 NEW BEST:: SOT 13803371 SOS 8420907 HAS SOPS 8420261 HAS SOUS 801572 HAS SOUPS 801061 WITH SCORE 809481.907
AT ITER 4612 NEW BEST:: SOT 13803371 SOS 8420436 HAS SOPS 8419790 HAS SOUS 801572 HAS SOUPS 801061 WITH SCORE 809481.436
AT ITER 4614 NEW BEST:: SOT 13803371 SOS 8420436 HAS SOPS 8419790 HAS SOUS 801528 HAS SOUPS 801017 WITH SCORE 809437.436
AT ITER 4623 NEW BEST:: SOT 13803371 SOS 8416054 HAS SOPS 8415408 HAS SOUS 801528 HAS SOUPS 801017 WITH SCORE 809433.054
AT ITER 4624 NEW BEST:: SOT 13803309 SOS 8415992 HAS SOPS 8415346 HAS SOUS 801478 HAS SOUPS 800967 WITH SCORE 809382.992
AT ITER 4638 NEW BEST:: SOT 13803309 SOS 8415586 HAS SOPS 8414940 HAS SOUS 801378 HAS SOUPS 800867 WITH SCORE 809282.586
AT ITER 4641 NEW BEST:: SOT 13795631 SOS 8407908 HAS SOPS 8407262 HAS SOUS 801266 HAS SOUPS 800755 WITH SCORE 809162.908
AT ITER 4661 NEW BEST:: SOT 13795380 SOS 8407657 HAS SOPS 8407011 HAS SOUS 801004 HAS SOUPS 800493 WITH SCORE 808900.657
AT ITER 4662 NEW BEST:: SOT 13796092 SOS 8408369 HAS SOPS 8407723 HAS SOUS 800202 HAS SOUPS 799691 WITH SCORE 808099.369
AT ITER 4681 NEW BEST:: SOT 13794975 SOS 8407252 HAS SOPS 8406606 HAS SOUS 799501 HAS SOUPS 798990 WITH SCORE 807397.252
AT ITER 4699 NEW BEST:: SOT 13794268 SOS 8406545 HAS SOPS 8405899 HAS SOUS 798976 HAS SOUPS 798465 WITH SCORE 806871.545
AT ITER 4705 NEW BEST:: SOT 13794268 SOS 8405981 HAS SOPS 8405335 HAS SOUS 798976 HAS SOUPS 798465 WITH SCORE 806870.981
AT ITER 4723 NEW BEST:: SOT 13794268 SOS 8405987 HAS SOPS 8405341 HAS SOUS 798970 HAS SOUPS 798459 WITH SCORE 806864.987
AT ITER 4743 NEW BEST:: SOT 13795677 SOS 8408020 HAS SOPS 8407374 HAS SOUS 796240 HAS SOUPS 795729 WITH SCORE 804137.02
AT ITER 4774 NEW BEST:: SOT 13796092 SOS 8408402 HAS SOPS 8407756 HAS SOUS 795543 HAS SOUPS 795032 WITH SCORE 803440.402
AT ITER 4776 NEW BEST:: SOT 13792470 SOS 8404780 HAS SOPS 8404134 HAS SOUS 795320 HAS SOUPS 794809 WITH SCORE 803213.78
AT ITER 4791 NEW BEST:: SOT 13792176 SOS 8404486 HAS SOPS 8403840 HAS SOUS 794782 HAS SOUPS 794271 WITH SCORE 802675.486
AT ITER 4795 NEW BEST:: SOT 13792176 SOS 8404245 HAS SOPS 8403599 HAS SOUS 794778 HAS SOUPS 794267 WITH SCORE 802671.245
AT ITER 4837 NEW BEST:: SOT 13791447 SOS 8403516 HAS SOPS 8402870 HAS SOUS 793251 HAS SOUPS 792740 WITH SCORE 801143.516
AT ITER 4844 NEW BEST:: SOT 13791492 SOS 8403554 HAS SOPS 8402908 HAS SOUS 793129 HAS SOUPS 792618 WITH SCORE 801021.554
AT ITER 4878 NEW BEST:: SOT 13791492 SOS 8403551 HAS SOPS 8402905 HAS SOUS 793116 HAS SOUPS 792605 WITH SCORE 801008.551
AT ITER 4880 NEW BEST:: SOT 13791460 SOS 8414901 HAS SOPS 8414255 HAS SOUS 792420 HAS SOUPS 791909 WITH SCORE 800323.901
AT ITER 4915 NEW BEST:: SOT 13792532 SOS 8415973 HAS SOPS 8415327 HAS SOUS 791365 HAS SOUPS 790854 WITH SCORE 799269.973
AT ITER 4922 NEW BEST:: SOT 13790570 SOS 8414011 HAS SOPS 8413365 HAS SOUS 790098 HAS SOUPS 789587 WITH SCORE 798001.011
AT ITER 4928 NEW BEST:: SOT 13790788 SOS 8414229 HAS SOPS 8413583 HAS SOUS 789944 HAS SOUPS 789433 WITH SCORE 797847.229
AT ITER 4948 NEW BEST:: SOT 13790788 SOS 8420775 HAS SOPS 8420129 HAS SOUS 789055 HAS SOUPS 788544 WITH SCORE 796964.775
AT ITER 4950 NEW BEST:: SOT 13789151 SOS 8419138 HAS SOPS 8418492 HAS SOUS 787419 HAS SOUPS 786908 WITH SCORE 795327.138
AT ITER 4955 NEW BEST:: SOT 13789151 SOS 8418382 HAS SOPS 8417736 HAS SOUS 787356 HAS SOUPS 786845 WITH SCORE 795263.382
AT ITER 4966 NEW BEST:: SOT 13789151 SOS 8421222 HAS SOPS 8420576 HAS SOUS 787288 HAS SOUPS 786777 WITH SCORE 795198.222
AT ITER 4980 NEW BEST:: SOT 13789151 SOS 8421246 HAS SOPS 8420600 HAS SOUS 787264 HAS SOUPS 786753 WITH SCORE 795174.246
AT ITER 4986 NEW BEST:: SOT 13788898 SOS 8420993 HAS SOPS 8420347 HAS SOUS 786749 HAS SOUPS 786238 WITH SCORE 794658.993
AT ITER 4990 NEW BEST:: SOT 13799760 SOS 8431855 HAS SOPS 8431209 HAS SOUS 784737 HAS SOUPS 784226 WITH SCORE 792657.855
AT ITER 5008 NEW BEST:: SOT 13799760 SOS 8431893 HAS SOPS 8431247 HAS SOUS 784699 HAS SOUPS 784188 WITH SCORE 792619.893
AT ITER 5023 NEW BEST:: SOT 13796734 SOS 8428867 HAS SOPS 8428221 HAS SOUS 782535 HAS SOUPS 782024 WITH SCORE 790452.867
AT ITER 5051 NEW BEST:: SOT 13798839 SOS 8430972 HAS SOPS 8430326 HAS SOUS 782360 HAS SOUPS 781849 WITH SCORE 790279.972
AT ITER 5064 NEW BEST:: SOT 13798839 SOS 8430301 HAS SOPS 8429655 HAS SOUS 782337 HAS SOUPS 781826 WITH SCORE 790256.301
AT ITER 5078 NEW BEST:: SOT 13796009 SOS 8427471 HAS SOPS 8426825 HAS SOUS 780200 HAS SOUPS 779689 WITH SCORE 788116.471
AT ITER 5146 NEW BEST:: SOT 13796009 SOS 8421639 HAS SOPS 8420993 HAS SOUS 780200 HAS SOUPS 779689 WITH SCORE 788110.639
AT ITER 5149 NEW BEST:: SOT 13793147 SOS 8418777 HAS SOPS 8418131 HAS SOUS 779383 HAS SOUPS 778872 WITH SCORE 787290.777
AT ITER 5153 NEW BEST:: SOT 13793147 SOS 8412225 HAS SOPS 8411579 HAS SOUS 779383 HAS SOUPS 778872 WITH SCORE 787284.225
AT ITER 5173 NEW BEST:: SOT 13792800 SOS 8411878 HAS SOPS 8411232 HAS SOUS 778180 HAS SOUPS 777669 WITH SCORE 786080.878
AT ITER 5177 NEW BEST:: SOT 13792794 SOS 8411872 HAS SOPS 8411226 HAS SOUS 778174 HAS SOUPS 777663 WITH SCORE 786074.872
AT ITER 5185 NEW BEST:: SOT 13792794 SOS 8411872 HAS SOPS 8411226 HAS SOUS 778166 HAS SOUPS 777655 WITH SCORE 786066.872
AT ITER 5202 NEW BEST:: SOT 13791586 SOS 8410664 HAS SOPS 8410018 HAS SOUS 775712 HAS SOUPS 775201 WITH SCORE 783611.664
AT ITER 5209 NEW BEST:: SOT 13791544 SOS 8410622 HAS SOPS 8409976 HAS SOUS 775670 HAS SOUPS 775159 WITH SCORE 783569.622
AT ITER 5220 NEW BEST:: SOT 13791544 SOS 8409893 HAS SOPS 8409247 HAS SOUS 775589 HAS SOUPS 775078 WITH SCORE 783487.893
AT ITER 5227 NEW BEST:: SOT 13791302 SOS 8407379 HAS SOPS 8406733 HAS SOUS 775302 HAS SOUPS 774791 WITH SCORE 783198.379
AT ITER 5256 NEW BEST:: SOT 13791232 SOS 8407309 HAS SOPS 8406663 HAS SOUS 775267 HAS SOUPS 774756 WITH SCORE 783163.309
AT ITER 5261 NEW BEST:: SOT 13791232 SOS 8407069 HAS SOPS 8406423 HAS SOUS 773686 HAS SOUPS 773175 WITH SCORE 781582.069
AT ITER 5283 NEW BEST:: SOT 13788470 SOS 8404109 HAS SOPS 8403485 HAS SOUS 772103 HAS SOUPS 771614 WITH SCORE 780018.109
AT ITER 5302 NEW BEST:: SOT 13788470 SOS 8403965 HAS SOPS 8403341 HAS SOUS 772103 HAS SOUPS 771614 WITH SCORE 780017.965
AT ITER 5305 NEW BEST:: SOT 13788470 SOS 8403965 HAS SOPS 8403341 HAS SOUS 772088 HAS SOUPS 771599 WITH SCORE 780002.965
AT ITER 5312 NEW BEST:: SOT 13788470 SOS 8403922 HAS SOPS 8403298 HAS SOUS 772045 HAS SOUPS 771556 WITH SCORE 779959.922
AT ITER 5326 NEW BEST:: SOT 13788470 SOS 8401754 HAS SOPS 8401130 HAS SOUS 772045 HAS SOUPS 771556 WITH SCORE 779957.754
AT ITER 5327 NEW BEST:: SOT 13788460 SOS 8401744 HAS SOPS 8401120 HAS SOUS 772038 HAS SOUPS 771549 WITH SCORE 779950.744
AT ITER 5341 NEW BEST:: SOT 13788852 SOS 8402160 HAS SOPS 8401536 HAS SOUS 772016 HAS SOUPS 771527 WITH SCORE 779929.16
AT ITER 5342 NEW BEST:: SOT 13788778 SOS 8402086 HAS SOPS 8401462 HAS SOUS 771926 HAS SOUPS 771437 WITH SCORE 779839.086
AT ITER 5345 NEW BEST:: SOT 13781995 SOS 8395154 HAS SOPS 8394565 HAS SOUS 766906 HAS SOUPS 766452 WITH SCORE 774847.154
AT ITER 5346 NEW BEST:: SOT 13781995 SOS 8395146 HAS SOPS 8394557 HAS SOUS 766902 HAS SOUPS 766448 WITH SCORE 774843.146
AT ITER 5372 NEW BEST:: SOT 13780447 SOS 8393598 HAS SOPS 8393009 HAS SOUS 765714 HAS SOUPS 765260 WITH SCORE 773653.598
AT ITER 5384 NEW BEST:: SOT 13780360 SOS 8393511 HAS SOPS 8392922 HAS SOUS 763687 HAS SOUPS 763233 WITH SCORE 771626.511
AT ITER 5389 NEW BEST:: SOT 13780360 SOS 8387967 HAS SOPS 8387378 HAS SOUS 763687 HAS SOUPS 763233 WITH SCORE 771620.967
AT ITER 5404 NEW BEST:: SOT 13780261 SOS 8387868 HAS SOPS 8387279 HAS SOUS 763588 HAS SOUPS 763134 WITH SCORE 771521.868
AT ITER 5415 NEW BEST:: SOT 13779925 SOS 8399261 HAS SOPS 8398672 HAS SOUS 759890 HAS SOUPS 759436 WITH SCORE 767835.261
AT ITER 5421 NEW BEST:: SOT 13779925 SOS 8398757 HAS SOPS 8398168 HAS SOUS 759890 HAS SOUPS 759436 WITH SCORE 767834.757
AT ITER 5435 NEW BEST:: SOT 13779925 SOS 8398559 HAS SOPS 8397970 HAS SOUS 759890 HAS SOUPS 759436 WITH SCORE 767834.559
AT ITER 5465 NEW BEST:: SOT 13779925 SOS 8398515 HAS SOPS 8397926 HAS SOUS 759858 HAS SOUPS 759404 WITH SCORE 767802.515
AT ITER 5512 NEW BEST:: SOT 13777808 SOS 8401498 HAS SOPS 8400909 HAS SOUS 759795 HAS SOUPS 759341 WITH SCORE 767742.498
AT ITER 5544 NEW BEST:: SOT 13777832 SOS 8453707 HAS SOPS 8453139 HAS SOUS 757048 HAS SOUPS 756615 WITH SCORE 765068.707
AT ITER 5568 NEW BEST:: SOT 13777832 SOS 8453427 HAS SOPS 8452899 HAS SOUS 757008 HAS SOUPS 756615 WITH SCORE 765068.427
AT ITER 5570 NEW BEST:: SOT 13777877 SOS 8453472 HAS SOPS 8452944 HAS SOUS 756967 HAS SOUPS 756574 WITH SCORE 765027.472
AT ITER 5605 NEW BEST:: SOT 13777877 SOS 8453472 HAS SOPS 8452944 HAS SOUS 756915 HAS SOUPS 756522 WITH SCORE 764975.472
AT ITER 5624 NEW BEST:: SOT 13777877 SOS 8451125 HAS SOPS 8450597 HAS SOUS 756915 HAS SOUPS 756522 WITH SCORE 764973.125
AT ITER 5717 NEW BEST:: SOT 13777834 SOS 8451082 HAS SOPS 8450554 HAS SOUS 756748 HAS SOUPS 756355 WITH SCORE 764806.082
AT ITER 5729 NEW BEST:: SOT 13778488 SOS 8451708 HAS SOPS 8451208 HAS SOUS 755961 HAS SOUPS 755596 WITH SCORE 764047.708
AT ITER 5732 NEW BEST:: SOT 13778511 SOS 8451715 HAS SOPS 8451215 HAS SOUS 755945 HAS SOUPS 755580 WITH SCORE 764031.715
AT ITER 5749 NEW BEST:: SOT 13778576 SOS 8451780 HAS SOPS 8451280 HAS SOUS 755917 HAS SOUPS 755552 WITH SCORE 764003.78
AT ITER 5755 NEW BEST:: SOT 13781637 SOS 8454841 HAS SOPS 8454341 HAS SOUS 754235 HAS SOUPS 753870 WITH SCORE 762324.841
AT ITER 5776 NEW BEST:: SOT 13781637 SOS 8454835 HAS SOPS 8454335 HAS SOUS 754205 HAS SOUPS 753840 WITH SCORE 762294.835
AT ITER 5793 NEW BEST:: SOT 13781498 SOS 8454696 HAS SOPS 8454196 HAS SOUS 754036 HAS SOUPS 753671 WITH SCORE 762125.696
AT ITER 5838 NEW BEST:: SOT 13779943 SOS 8452841 HAS SOPS 8452341 HAS SOUS 753747 HAS SOUPS 753382 WITH SCORE 761834.841
AT ITER 5841 NEW BEST:: SOT 13779939 SOS 8452837 HAS SOPS 8452337 HAS SOUS 753745 HAS SOUPS 753380 WITH SCORE 761832.837
AT ITER 5865 NEW BEST:: SOT 13779893 SOS 8452791 HAS SOPS 8452291 HAS SOUS 753553 HAS SOUPS 753188 WITH SCORE 761640.791
AT ITER 5866 NEW BEST:: SOT 13784434 SOS 8455060 HAS SOPS 8454617 HAS SOUS 744336 HAS SOUPS 744028 WITH SCORE 752483.06
AT ITER 5883 NEW BEST:: SOT 13778909 SOS 8449535 HAS SOPS 8449092 HAS SOUS 739939 HAS SOUPS 739631 WITH SCORE 748080.535
AT ITER 5917 NEW BEST:: SOT 13778954 SOS 8449580 HAS SOPS 8449137 HAS SOUS 739936 HAS SOUPS 739628 WITH SCORE 748077.58
AT ITER 5954 NEW BEST:: SOT 13778953 SOS 8449579 HAS SOPS 8449136 HAS SOUS 739839 HAS SOUPS 739531 WITH SCORE 747980.579
AT ITER 5979 NEW BEST:: SOT 13778949 SOS 8449575 HAS SOPS 8449132 HAS SOUS 739835 HAS SOUPS 739527 WITH SCORE 747976.575
AT ITER 5987 NEW BEST:: SOT 13779979 SOS 8450605 HAS SOPS 8450162 HAS SOUS 739319 HAS SOUPS 739011 WITH SCORE 747461.605
AT ITER 6001 NEW BEST:: SOT 13779609 SOS 8450302 HAS SOPS 8449849 HAS SOUS 738559 HAS SOUPS 738241 WITH SCORE 746691.302
AT ITER 6005 NEW BEST:: SOT 13776914 SOS 8449401 HAS SOPS 8448948 HAS SOUS 737101 HAS SOUPS 736783 WITH SCORE 745232.401
AT ITER 6015 NEW BEST:: SOT 13776806 SOS 8448847 HAS SOPS 8448624 HAS SOUS 735902 HAS SOUPS 735679 WITH SCORE 744127.847
AT ITER 6031 NEW BEST:: SOT 13776806 SOS 8442801 HAS SOPS 8442578 HAS SOUS 735902 HAS SOUPS 735679 WITH SCORE 744121.801
AT ITER 6038 NEW BEST:: SOT 13783605 SOS 8449838 HAS SOPS 8449615 HAS SOUS 733848 HAS SOUPS 733625 WITH SCORE 742074.838
AT ITER 6044 NEW BEST:: SOT 13783605 SOS 8456894 HAS SOPS 8456671 HAS SOUS 733741 HAS SOUPS 733518 WITH SCORE 741974.894
AT ITER 6063 NEW BEST:: SOT 13780698 SOS 8454156 HAS SOPS 8453980 HAS SOUS 730032 HAS SOUPS 729856 WITH SCORE 738310.156
AT ITER 6085 NEW BEST:: SOT 13780698 SOS 8454140 HAS SOPS 8453964 HAS SOUS 730016 HAS SOUPS 729840 WITH SCORE 738294.14
AT ITER 6096 NEW BEST:: SOT 13781791 SOS 8468337 HAS SOPS 8468161 HAS SOUS 728680 HAS SOUPS 728504 WITH SCORE 736972.337
AT ITER 6128 NEW BEST:: SOT 13781791 SOS 8469777 HAS SOPS 8469601 HAS SOUS 728660 HAS SOUPS 728484 WITH SCORE 736953.777
AT ITER 6130 NEW BEST:: SOT 13781791 SOS 8468625 HAS SOPS 8468449 HAS SOUS 728660 HAS SOUPS 728484 WITH SCORE 736952.625
AT ITER 6198 NEW BEST:: SOT 13781807 SOS 8468641 HAS SOPS 8468465 HAS SOUS 728612 HAS SOUPS 728436 WITH SCORE 736904.641
AT ITER 6230 NEW BEST:: SOT 13780526 SOS 8467360 HAS SOPS 8467184 HAS SOUS 727056 HAS SOUPS 726880 WITH SCORE 735347.36
AT ITER 6232 NEW BEST:: SOT 13786983 SOS 8474185 HAS SOPS 8474009 HAS SOUS 726218 HAS SOUPS 726042 WITH SCORE 734516.185
AT ITER 6248 NEW BEST:: SOT 13787430 SOS 8474632 HAS SOPS 8474456 HAS SOUS 725960 HAS SOUPS 725784 WITH SCORE 734258.632
AT ITER 6249 NEW BEST:: SOT 13786346 SOS 8473548 HAS SOPS 8473372 HAS SOUS 725126 HAS SOUPS 724950 WITH SCORE 733423.548
AT ITER 6275 NEW BEST:: SOT 13786327 SOS 8473529 HAS SOPS 8473353 HAS SOUS 725098 HAS SOUPS 724922 WITH SCORE 733395.529
AT ITER 6306 NEW BEST:: SOT 13786375 SOS 8473510 HAS SOPS 8473344 HAS SOUS 724893 HAS SOUPS 724727 WITH SCORE 733200.51
AT ITER 6310 NEW BEST:: SOT 13770430 SOS 8457396 HAS SOPS 8457230 HAS SOUS 718420 HAS SOUPS 718254 WITH SCORE 726711.396
AT ITER 6344 NEW BEST:: SOT 13770430 SOS 8457450 HAS SOPS 8457284 HAS SOUS 718403 HAS SOUPS 718237 WITH SCORE 726694.45
AT ITER 6345 NEW BEST:: SOT 13770430 SOS 8450534 HAS SOPS 8450368 HAS SOUS 718403 HAS SOUPS 718237 WITH SCORE 726687.534
AT ITER 6358 NEW BEST:: SOT 13769229 SOS 8449379 HAS SOPS 8449216 HAS SOUS 716446 HAS SOUPS 716283 WITH SCORE 724732.379
AT ITER 6396 NEW BEST:: SOT 13769191 SOS 8449303 HAS SOPS 8449140 HAS SOUS 716389 HAS SOUPS 716226 WITH SCORE 724675.303
AT ITER 6402 NEW BEST:: SOT 13769191 SOS 8449299 HAS SOPS 8449136 HAS SOUS 716385 HAS SOUPS 716222 WITH SCORE 724671.299
AT ITER 6444 NEW BEST:: SOT 13769191 SOS 8447931 HAS SOPS 8447768 HAS SOUS 716385 HAS SOUPS 716222 WITH SCORE 724669.931
AT ITER 6466 NEW BEST:: SOT 13767908 SOS 8446648 HAS SOPS 8446485 HAS SOUS 715126 HAS SOUPS 714963 WITH SCORE 723409.648
AT ITER 6474 NEW BEST:: SOT 13767720 SOS 8446460 HAS SOPS 8446297 HAS SOUS 714744 HAS SOUPS 714581 WITH SCORE 723027.46
AT ITER 6516 NEW BEST:: SOT 13767720 SOS 8446460 HAS SOPS 8446297 HAS SOUS 714714 HAS SOUPS 714551 WITH SCORE 722997.46
AT ITER 6532 NEW BEST:: SOT 13766227 SOS 8444967 HAS SOPS 8444804 HAS SOUS 714132 HAS SOUPS 713969 WITH SCORE 722413.967
AT ITER 6538 NEW BEST:: SOT 13766227 SOS 8444935 HAS SOPS 8444772 HAS SOUS 714100 HAS SOUPS 713937 WITH SCORE 722381.935
AT ITER 6561 NEW BEST:: SOT 13766227 SOS 8445367 HAS SOPS 8445204 HAS SOUS 714035 HAS SOUPS 713872 WITH SCORE 722317.367
AT ITER 6582 NEW BEST:: SOT 13766481 SOS 8445621 HAS SOPS 8445458 HAS SOUS 713972 HAS SOUPS 713809 WITH SCORE 722254.621
AT ITER 6620 NEW BEST:: SOT 13766481 SOS 8444817 HAS SOPS 8444654 HAS SOUS 713869 HAS SOUPS 713706 WITH SCORE 722150.817
AT ITER 6634 NEW BEST:: SOT 13766720 SOS 8445040 HAS SOPS 8444877 HAS SOUS 711120 HAS SOUPS 710957 WITH SCORE 719402.04
AT ITER 6669 NEW BEST:: SOT 13766901 SOS 8445221 HAS SOPS 8445058 HAS SOUS 711092 HAS SOUPS 710929 WITH SCORE 719374.221
AT ITER 6672 NEW BEST:: SOT 13766845 SOS 8445165 HAS SOPS 8445002 HAS SOUS 710988 HAS SOUPS 710825 WITH SCORE 719270.165
AT ITER 6735 NEW BEST:: SOT 13766845 SOS 8449317 HAS SOPS 8449154 HAS SOUS 710983 HAS SOUPS 710820 WITH SCORE 719269.317
AT ITER 6803 NEW BEST:: SOT 13766993 SOS 8449465 HAS SOPS 8449302 HAS SOUS 710830 HAS SOUPS 710667 WITH SCORE 719116.465
AT ITER 6817 NEW BEST:: SOT 13766993 SOS 8446657 HAS SOPS 8446494 HAS SOUS 710772 HAS SOUPS 710609 WITH SCORE 719055.657
AT ITER 6848 NEW BEST:: SOT 13765653 SOS 8456784 HAS SOPS 8456621 HAS SOUS 709133 HAS SOUPS 708970 WITH SCORE 717426.784
AT ITER 6874 NEW BEST:: SOT 13765641 SOS 8456772 HAS SOPS 8456609 HAS SOUS 709125 HAS SOUPS 708962 WITH SCORE 717418.772
AT ITER 6877 NEW BEST:: SOT 13765641 SOS 8458932 HAS SOPS 8458769 HAS SOUS 709033 HAS SOUPS 708870 WITH SCORE 717328.932
AT ITER 6878 NEW BEST:: SOT 13769187 SOS 8462449 HAS SOPS 8462287 HAS SOUS 708408 HAS SOUPS 708246 WITH SCORE 716708.449
AT ITER 6908 NEW BEST:: SOT 13769187 SOS 8357740 HAS SOPS 8357578 HAS SOUS 708377 HAS SOUPS 708215 WITH SCORE 716572.74
AT ITER 6910 NEW BEST:: SOT 13768875 SOS 8357428 HAS SOPS 8357266 HAS SOUS 708095 HAS SOUPS 707933 WITH SCORE 716290.428
AT ITER 6919 NEW BEST:: SOT 13768866 SOS 8357419 HAS SOPS 8357257 HAS SOUS 708086 HAS SOUPS 707924 WITH SCORE 716281.419
AT ITER 6924 NEW BEST:: SOT 13770172 SOS 8358454 HAS SOPS 8358333 HAS SOUS 706362 HAS SOUPS 706241 WITH SCORE 714599.454
AT ITER 6928 NEW BEST:: SOT 13771231 SOS 8359513 HAS SOPS 8359392 HAS SOUS 704174 HAS SOUPS 704053 WITH SCORE 712412.513
AT ITER 6948 NEW BEST:: SOT 13771231 SOS 8358073 HAS SOPS 8357952 HAS SOUS 704174 HAS SOUPS 704053 WITH SCORE 712411.073
AT ITER 6951 NEW BEST:: SOT 13770959 SOS 8357797 HAS SOPS 8357676 HAS SOUS 703902 HAS SOUPS 703781 WITH SCORE 712138.797
AT ITER 6965 NEW BEST:: SOT 13770651 SOS 8357489 HAS SOPS 8357368 HAS SOUS 703625 HAS SOUPS 703504 WITH SCORE 711861.489
AT ITER 6974 NEW BEST:: SOT 13770171 SOS 8357095 HAS SOPS 8356974 HAS SOUS 703266 HAS SOUPS 703145 WITH SCORE 711502.095
AT ITER 6984 NEW BEST:: SOT 13766545 SOS 8353469 HAS SOPS 8353348 HAS SOUS 698549 HAS SOUPS 698428 WITH SCORE 706781.469
AT ITER 6997 NEW BEST:: SOT 13765256 SOS 8352180 HAS SOPS 8352059 HAS SOUS 696065 HAS SOUPS 695944 WITH SCORE 704296.18
AT ITER 7018 NEW BEST:: SOT 13766370 SOS 8353294 HAS SOPS 8353173 HAS SOUS 694212 HAS SOUPS 694091 WITH SCORE 702444.294
AT ITER 7028 NEW BEST:: SOT 13762867 SOS 8349791 HAS SOPS 8349670 HAS SOUS 692641 HAS SOUPS 692520 WITH SCORE 700869.791
AT ITER 7128 NEW BEST:: SOT 13762867 SOS 8349518 HAS SOPS 8349397 HAS SOUS 692602 HAS SOUPS 692481 WITH SCORE 700830.518
AT ITER 7131 NEW BEST:: SOT 13762867 SOS 8356646 HAS SOPS 8356525 HAS SOUS 692593 HAS SOUPS 692472 WITH SCORE 700828.646
AT ITER 7157 NEW BEST:: SOT 13764045 SOS 8360416 HAS SOPS 8360295 HAS SOUS 688105 HAS SOUPS 687984 WITH SCORE 696344.416
AT ITER 7172 NEW BEST:: SOT 13762729 SOS 8359164 HAS SOPS 8359043 HAS SOUS 683931 HAS SOUPS 683810 WITH SCORE 692169.164
AT ITER 7186 NEW BEST:: SOT 13762729 SOS 8359163 HAS SOPS 8359042 HAS SOUS 683930 HAS SOUPS 683809 WITH SCORE 692168.163
AT ITER 7199 NEW BEST:: SOT 13765231 SOS 8361770 HAS SOPS 8361649 HAS SOUS 681485 HAS SOUPS 681364 WITH SCORE 689725.77
AT ITER 7203 NEW BEST:: SOT 13765201 SOS 8361740 HAS SOPS 8361619 HAS SOUS 681455 HAS SOUPS 681334 WITH SCORE 689695.74
AT ITER 7205 NEW BEST:: SOT 13765201 SOS 8361740 HAS SOPS 8361619 HAS SOUS 681395 HAS SOUPS 681274 WITH SCORE 689635.74
AT ITER 7212 NEW BEST:: SOT 13765562 SOS 8362101 HAS SOPS 8361980 HAS SOUS 680460 HAS SOUPS 680339 WITH SCORE 688701.101
AT ITER 7217 NEW BEST:: SOT 13765520 SOS 8362059 HAS SOPS 8361938 HAS SOUS 680418 HAS SOUPS 680297 WITH SCORE 688659.059
AT ITER 7222 NEW BEST:: SOT 13765511 SOS 8362050 HAS SOPS 8361929 HAS SOUS 680403 HAS SOUPS 680282 WITH SCORE 688644.05
AT ITER 7235 NEW BEST:: SOT 13762401 SOS 8358940 HAS SOPS 8358819 HAS SOUS 677978 HAS SOUPS 677857 WITH SCORE 686215.94
AT ITER 7307 NEW BEST:: SOT 13762319 SOS 8358858 HAS SOPS 8358737 HAS SOUS 677896 HAS SOUPS 677775 WITH SCORE 686133.858
AT ITER 7353 NEW BEST:: SOT 13760738 SOS 8357245 HAS SOPS 8357124 HAS SOUS 677199 HAS SOUPS 677078 WITH SCORE 685435.245
AT ITER 7391 NEW BEST:: SOT 13760705 SOS 8357212 HAS SOPS 8357091 HAS SOUS 677133 HAS SOUPS 677012 WITH SCORE 685369.212
AT ITER 7402 NEW BEST:: SOT 13760705 SOS 8357140 HAS SOPS 8357019 HAS SOUS 677097 HAS SOUPS 676976 WITH SCORE 685333.14
AT ITER 7415 NEW BEST:: SOT 13760625 SOS 8357060 HAS SOPS 8356939 HAS SOUS 676928 HAS SOUPS 676807 WITH SCORE 685164.06
AT ITER 7424 NEW BEST:: SOT 13760575 SOS 8357010 HAS SOPS 8356889 HAS SOUS 676878 HAS SOUPS 676757 WITH SCORE 685114.01
AT ITER 7427 NEW BEST:: SOT 13760136 SOS 8356571 HAS SOPS 8356450 HAS SOUS 675908 HAS SOUPS 675787 WITH SCORE 684143.571
AT ITER 7448 NEW BEST:: SOT 13756329 SOS 8352696 HAS SOPS 8352575 HAS SOUS 674313 HAS SOUPS 674192 WITH SCORE 682544.696
AT ITER 7451 NEW BEST:: SOT 13755593 SOS 8351852 HAS SOPS 8351731 HAS SOUS 673521 HAS SOUPS 673400 WITH SCORE 681751.852
AT ITER 7457 NEW BEST:: SOT 13756846 SOS 8353258 HAS SOPS 8353120 HAS SOUS 672745 HAS SOUPS 672607 WITH SCORE 680960.258
AT ITER 7462 NEW BEST:: SOT 13756825 SOS 8353237 HAS SOPS 8353099 HAS SOUS 672724 HAS SOUPS 672586 WITH SCORE 680939.237
AT ITER 7535 NEW BEST:: SOT 13757667 SOS 8354079 HAS SOPS 8353941 HAS SOUS 672158 HAS SOUPS 672020 WITH SCORE 680374.079
AT ITER 7548 NEW BEST:: SOT 13757667 SOS 8354011 HAS SOPS 8353873 HAS SOUS 672119 HAS SOUPS 671981 WITH SCORE 680335.011
AT ITER 7563 NEW BEST:: SOT 13757667 SOS 8352283 HAS SOPS 8352145 HAS SOUS 672095 HAS SOUPS 671957 WITH SCORE 680309.283
AT ITER 7574 NEW BEST:: SOT 13759299 SOS 8353915 HAS SOPS 8353777 HAS SOUS 671789 HAS SOUPS 671651 WITH SCORE 680004.915
AT ITER 7616 NEW BEST:: SOT 13759100 SOS 8353718 HAS SOPS 8353581 HAS SOUS 671275 HAS SOUPS 671138 WITH SCORE 679491.718
AT ITER 7635 NEW BEST:: SOT 13759100 SOS 8356598 HAS SOPS 8356461 HAS SOUS 671224 HAS SOUPS 671087 WITH SCORE 679443.598
AT ITER 7745 NEW BEST:: SOT 13760508 SOS 8358006 HAS SOPS 8357869 HAS SOUS 670870 HAS SOUPS 670733 WITH SCORE 679091.006
AT ITER 7803 NEW BEST:: SOT 13760505 SOS 8357997 HAS SOPS 8357860 HAS SOUS 670688 HAS SOUPS 670551 WITH SCORE 678908.997
AT ITER 7816 NEW BEST:: SOT 13757138 SOS 8354630 HAS SOPS 8354493 HAS SOUS 667954 HAS SOUPS 667817 WITH SCORE 676171.63
AT ITER 7818 NEW BEST:: SOT 13757087 SOS 8354579 HAS SOPS 8354442 HAS SOUS 667914 HAS SOUPS 667777 WITH SCORE 676131.579
AT ITER 7860 NEW BEST:: SOT 13757087 SOS 8354425 HAS SOPS 8354288 HAS SOUS 667837 HAS SOUPS 667700 WITH SCORE 676054.425
AT ITER 7891 NEW BEST:: SOT 13757562 SOS 8355836 HAS SOPS 8355699 HAS SOUS 667571 HAS SOUPS 667434 WITH SCORE 675789.836
AT ITER 7910 NEW BEST:: SOT 13757273 SOS 8355547 HAS SOPS 8355410 HAS SOUS 666987 HAS SOUPS 666850 WITH SCORE 675205.547
AT ITER 7915 NEW BEST:: SOT 13757230 SOS 8355504 HAS SOPS 8355367 HAS SOUS 666987 HAS SOUPS 666850 WITH SCORE 675205.504
AT ITER 7925 NEW BEST:: SOT 13756614 SOS 8354888 HAS SOPS 8354751 HAS SOUS 666485 HAS SOUPS 666348 WITH SCORE 674702.888
AT ITER 7932 NEW BEST:: SOT 13756643 SOS 8354917 HAS SOPS 8354780 HAS SOUS 666447 HAS SOUPS 666310 WITH SCORE 674664.917
AT ITER 7956 NEW BEST:: SOT 13756360 SOS 8354634 HAS SOPS 8354497 HAS SOUS 665903 HAS SOUPS 665766 WITH SCORE 674120.634
AT ITER 7984 NEW BEST:: SOT 13752120 SOS 8356850 HAS SOPS 8356713 HAS SOUS 662463 HAS SOUPS 662326 WITH SCORE 670682.85
AT ITER 8000 NEW BEST:: SOT 13752136 SOS 8356866 HAS SOPS 8356729 HAS SOUS 662415 HAS SOUPS 662278 WITH SCORE 670634.866
AT ITER 8011 NEW BEST:: SOT 13751962 SOS 8356692 HAS SOPS 8356555 HAS SOUS 662272 HAS SOUPS 662135 WITH SCORE 670491.692
AT ITER 8017 NEW BEST:: SOT 13748868 SOS 8353598 HAS SOPS 8353461 HAS SOUS 659240 HAS SOUPS 659103 WITH SCORE 667456.598
AT ITER 8025 NEW BEST:: SOT 13748868 SOS 8353749 HAS SOPS 8353612 HAS SOUS 659170 HAS SOUPS 659033 WITH SCORE 667386.749
AT ITER 8033 NEW BEST:: SOT 13748868 SOS 8353749 HAS SOPS 8353612 HAS SOUS 659142 HAS SOUPS 659005 WITH SCORE 667358.749
AT ITER 8042 NEW BEST:: SOT 13748868 SOS 8353662 HAS SOPS 8353525 HAS SOUS 659142 HAS SOUPS 659005 WITH SCORE 667358.662
AT ITER 8089 NEW BEST:: SOT 13748868 SOS 8403054 HAS SOPS 8402917 HAS SOUS 659007 HAS SOUPS 658870 WITH SCORE 667273.054
AT ITER 8165 NEW BEST:: SOT 13749770 SOS 8418478 HAS SOPS 8418341 HAS SOUS 658333 HAS SOUPS 658196 WITH SCORE 666614.478
AT ITER 8181 NEW BEST:: SOT 13749770 SOS 8423086 HAS SOPS 8422949 HAS SOUS 657113 HAS SOUPS 656976 WITH SCORE 665399.086
AT ITER 8204 NEW BEST:: SOT 13749670 SOS 8422986 HAS SOPS 8422849 HAS SOUS 656954 HAS SOUPS 656817 WITH SCORE 665239.986
AT ITER 8205 NEW BEST:: SOT 13746756 SOS 8420072 HAS SOPS 8419935 HAS SOUS 655810 HAS SOUPS 655673 WITH SCORE 664093.072
AT ITER 8237 NEW BEST:: SOT 13746756 SOS 8420072 HAS SOPS 8419935 HAS SOUS 655763 HAS SOUPS 655626 WITH SCORE 664046.072
AT ITER 8245 NEW BEST:: SOT 13746756 SOS 8420072 HAS SOPS 8419935 HAS SOUS 655760 HAS SOUPS 655623 WITH SCORE 664043.072
AT ITER 8258 NEW BEST:: SOT 13748602 SOS 8435310 HAS SOPS 8435173 HAS SOUS 654909 HAS SOUPS 654772 WITH SCORE 663207.31
AT ITER 8271 NEW BEST:: SOT 13744916 SOS 8431624 HAS SOPS 8431487 HAS SOUS 651215 HAS SOUPS 651078 WITH SCORE 659509.624
AT ITER 8285 NEW BEST:: SOT 13744864 SOS 8431572 HAS SOPS 8431435 HAS SOUS 651169 HAS SOUPS 651032 WITH SCORE 659463.572
AT ITER 8294 NEW BEST:: SOT 13744851 SOS 8431559 HAS SOPS 8431422 HAS SOUS 651165 HAS SOUPS 651028 WITH SCORE 659459.559
AT ITER 8314 NEW BEST:: SOT 13744848 SOS 8431556 HAS SOPS 8431419 HAS SOUS 651162 HAS SOUPS 651025 WITH SCORE 659456.556
AT ITER 8316 NEW BEST:: SOT 13744848 SOS 8431520 HAS SOPS 8431383 HAS SOUS 651162 HAS SOUPS 651025 WITH SCORE 659456.52
AT ITER 8351 NEW BEST:: SOT 13742411 SOS 8430073 HAS SOPS 8429936 HAS SOUS 651044 HAS SOUPS 650907 WITH SCORE 659337.073
AT ITER 8432 NEW BEST:: SOT 13742411 SOS 8428129 HAS SOPS 8427992 HAS SOUS 651044 HAS SOUPS 650907 WITH SCORE 659335.129
AT ITER 8462 NEW BEST:: SOT 13742411 SOS 8425465 HAS SOPS 8425328 HAS SOUS 651037 HAS SOUPS 650900 WITH SCORE 659325.465
AT ITER 8473 NEW BEST:: SOT 13742405 SOS 8425459 HAS SOPS 8425322 HAS SOUS 651031 HAS SOUPS 650894 WITH SCORE 659319.459
AT ITER 8500 NEW BEST:: SOT 13742405 SOS 8425459 HAS SOPS 8425322 HAS SOUS 651029 HAS SOUPS 650892 WITH SCORE 659317.459
AT ITER 8525 NEW BEST:: SOT 13742405 SOS 8425445 HAS SOPS 8425308 HAS SOUS 651015 HAS SOUPS 650878 WITH SCORE 659303.445
AT ITER 8526 NEW BEST:: SOT 13742382 SOS 8425422 HAS SOPS 8425285 HAS SOUS 650981 HAS SOUPS 650844 WITH SCORE 659269.422
AT ITER 8612 NEW BEST:: SOT 13743694 SOS 8426734 HAS SOPS 8426597 HAS SOUS 650707 HAS SOUPS 650570 WITH SCORE 658996.734
AT ITER 8622 NEW BEST:: SOT 13743694 SOS 8473084 HAS SOPS 8472947 HAS SOUS 650193 HAS SOUPS 650056 WITH SCORE 658529.084
AT ITER 8638 NEW BEST:: SOT 13743723 SOS 8473990 HAS SOPS 8473853 HAS SOUS 650170 HAS SOUPS 650033 WITH SCORE 658506.99
AT ITER 8655 NEW BEST:: SOT 13740415 SOS 8470682 HAS SOPS 8470545 HAS SOUS 647487 HAS SOUPS 647350 WITH SCORE 655820.682
AT ITER 8665 NEW BEST:: SOT 13740415 SOS 8468624 HAS SOPS 8468487 HAS SOUS 647464 HAS SOUPS 647327 WITH SCORE 655795.624
AT ITER 8685 NEW BEST:: SOT 13742317 SOS 8470526 HAS SOPS 8470389 HAS SOUS 646916 HAS SOUPS 646779 WITH SCORE 655249.526
AT ITER 8812 NEW BEST:: SOT 13742317 SOS 8470158 HAS SOPS 8470021 HAS SOUS 646778 HAS SOUPS 646641 WITH SCORE 655111.158
AT ITER 8820 NEW BEST:: SOT 13742317 SOS 8468444 HAS SOPS 8468307 HAS SOUS 646778 HAS SOUPS 646641 WITH SCORE 655109.444
AT ITER 8879 NEW BEST:: SOT 13740939 SOS 8467010 HAS SOPS 8466873 HAS SOUS 645923 HAS SOUPS 645786 WITH SCORE 654253.01
AT ITER 8887 NEW BEST:: SOT 13741241 SOS 8467033 HAS SOPS 8466925 HAS SOUS 644704 HAS SOUPS 644596 WITH SCORE 653063.033
AT ITER 8900 NEW BEST:: SOT 13741098 SOS 8466890 HAS SOPS 8466782 HAS SOUS 644411 HAS SOUPS 644303 WITH SCORE 652769.89
AT ITER 8910 NEW BEST:: SOT 13741078 SOS 8466870 HAS SOPS 8466762 HAS SOUS 644391 HAS SOUPS 644283 WITH SCORE 652749.87
AT ITER 8969 NEW BEST:: SOT 13740071 SOS 8465863 HAS SOPS 8465755 HAS SOUS 642308 HAS SOUPS 642200 WITH SCORE 650665.863
AT ITER 9013 NEW BEST:: SOT 13740016 SOS 8465808 HAS SOPS 8465700 HAS SOUS 642197 HAS SOUPS 642089 WITH SCORE 650554.808
AT ITER 9019 NEW BEST:: SOT 13739986 SOS 8465778 HAS SOPS 8465670 HAS SOUS 642167 HAS SOUPS 642059 WITH SCORE 650524.778
AT ITER 9056 NEW BEST:: SOT 13739986 SOS 8465778 HAS SOPS 8465670 HAS SOUS 641986 HAS SOUPS 641878 WITH SCORE 650343.778
AT ITER 9102 NEW BEST:: SOT 13740942 SOS 8466970 HAS SOPS 8466756 HAS SOUS 640870 HAS SOUPS 640695 WITH SCORE 649161.97
AT ITER 9129 NEW BEST:: SOT 13739864 SOS 8465892 HAS SOPS 8465678 HAS SOUS 639735 HAS SOUPS 639560 WITH SCORE 648025.892
AT ITER 9140 NEW BEST:: SOT 13739864 SOS 8464884 HAS SOPS 8464670 HAS SOUS 639735 HAS SOUPS 639560 WITH SCORE 648024.884
AT ITER 9165 NEW BEST:: SOT 13740044 SOS 8470200 HAS SOPS 8470022 HAS SOUS 638158 HAS SOUPS 638019 WITH SCORE 646489.2
AT ITER 9170 NEW BEST:: SOT 13739450 SOS 8469741 HAS SOPS 8469563 HAS SOUS 637564 HAS SOUPS 637425 WITH SCORE 645894.741
AT ITER 9222 NEW BEST:: SOT 13740688 SOS 8470979 HAS SOPS 8470801 HAS SOUS 636458 HAS SOUPS 636319 WITH SCORE 644789.979
AT ITER 9284 NEW BEST:: SOT 13740732 SOS 8471011 HAS SOPS 8470833 HAS SOUS 636198 HAS SOUPS 636059 WITH SCORE 644530.011
AT ITER 9307 NEW BEST:: SOT 13740732 SOS 8470367 HAS SOPS 8470189 HAS SOUS 636175 HAS SOUPS 636036 WITH SCORE 644506.367
AT ITER 9320 NEW BEST:: SOT 13746509 SOS 8494745 HAS SOPS 8494567 HAS SOUS 633341 HAS SOUPS 633202 WITH SCORE 641696.745
AT ITER 9336 NEW BEST:: SOT 13746303 SOS 8494455 HAS SOPS 8494277 HAS SOUS 633277 HAS SOUPS 633138 WITH SCORE 641632.455
AT ITER 9409 NEW BEST:: SOT 13745801 SOS 8493931 HAS SOPS 8493753 HAS SOUS 632712 HAS SOUPS 632573 WITH SCORE 641066.931
AT ITER 9426 NEW BEST:: SOT 13745801 SOS 8493901 HAS SOPS 8493723 HAS SOUS 632682 HAS SOUPS 632543 WITH SCORE 641036.901
AT ITER 9439 NEW BEST:: SOT 13743966 SOS 8492066 HAS SOPS 8491888 HAS SOUS 630302 HAS SOUPS 630163 WITH SCORE 638655.066
AT ITER 9473 NEW BEST:: SOT 13743966 SOS 8487300 HAS SOPS 8487122 HAS SOUS 630283 HAS SOUPS 630144 WITH SCORE 638631.3
AT ITER 9476 NEW BEST:: SOT 13744252 SOS 8487586 HAS SOPS 8487408 HAS SOUS 630031 HAS SOUPS 629892 WITH SCORE 638379.586
AT ITER 9562 NEW BEST:: SOT 13744157 SOS 8487491 HAS SOPS 8487313 HAS SOUS 629711 HAS SOUPS 629572 WITH SCORE 638059.491
AT ITER 9565 NEW BEST:: SOT 13744071 SOS 8487405 HAS SOPS 8487227 HAS SOUS 629531 HAS SOUPS 629392 WITH SCORE 637879.405
AT ITER 9592 NEW BEST:: SOT 13744071 SOS 8487405 HAS SOPS 8487227 HAS SOUS 629490 HAS SOUPS 629351 WITH SCORE 637838.405
AT ITER 9628 NEW BEST:: SOT 13743869 SOS 8687363 HAS SOPS 8687185 HAS SOUS 629286 HAS SOUPS 629147 WITH SCORE 637834.363
AT ITER 9642 NEW BEST:: SOT 13743171 SOS 8686665 HAS SOPS 8686487 HAS SOUS 628971 HAS SOUPS 628832 WITH SCORE 637518.665
AT ITER 9683 NEW BEST:: SOT 13745952 SOS 8689446 HAS SOPS 8689268 HAS SOUS 628905 HAS SOUPS 628766 WITH SCORE 637455.446
AT ITER 9711 NEW BEST:: SOT 13744265 SOS 8687759 HAS SOPS 8687581 HAS SOUS 628828 HAS SOUPS 628689 WITH SCORE 637376.759
AT ITER 9727 NEW BEST:: SOT 13744265 SOS 8687759 HAS SOPS 8687581 HAS SOUS 628802 HAS SOUPS 628663 WITH SCORE 637350.759
AT ITER 9755 NEW BEST:: SOT 13744265 SOS 8687721 HAS SOPS 8687543 HAS SOUS 628802 HAS SOUPS 628663 WITH SCORE 637350.721
AT ITER 9822 NEW BEST:: SOT 13744265 SOS 8687001 HAS SOPS 8686823 HAS SOUS 628802 HAS SOUPS 628663 WITH SCORE 637350.001
AT ITER 9842 NEW BEST:: SOT 13744309 SOS 8687045 HAS SOPS 8686867 HAS SOUS 628757 HAS SOUPS 628618 WITH SCORE 637305.045
AT ITER 9843 NEW BEST:: SOT 13744309 SOS 8687011 HAS SOPS 8686833 HAS SOUS 628740 HAS SOUPS 628601 WITH SCORE 637288.011
AT ITER 9868 NEW BEST:: SOT 13744309 SOS 8684975 HAS SOPS 8684797 HAS SOUS 628740 HAS SOUPS 628601 WITH SCORE 637285.975
AT ITER 9880 NEW BEST:: SOT 13746376 SOS 8687065 HAS SOPS 8686887 HAS SOUS 627105 HAS SOUPS 626966 WITH SCORE 635653.065
AT ITER 9927 NEW BEST:: SOT 13745090 SOS 8685779 HAS SOPS 8685601 HAS SOUS 626912 HAS SOUPS 626773 WITH SCORE 635458.779
AT ITER 9932 NEW BEST:: SOT 13745149 SOS 8685838 HAS SOPS 8685660 HAS SOUS 626869 HAS SOUPS 626730 WITH SCORE 635415.838
AT ITER 9951 NEW BEST:: SOT 13744683 SOS 8685372 HAS SOPS 8685194 HAS SOUS 626773 HAS SOUPS 626634 WITH SCORE 635319.372
AT ITER 9960 NEW BEST:: SOT 13744491 SOS 8685180 HAS SOPS 8685002 HAS SOUS 626631 HAS SOUPS 626492 WITH SCORE 635177.18
AT ITER 9968 NEW BEST:: SOT 13744491 SOS 8682660 HAS SOPS 8682482 HAS SOUS 626631 HAS SOUPS 626492 WITH SCORE 635174.66
AT ITER 9987 NEW BEST:: SOT 13746901 SOS 8685070 HAS SOPS 8684892 HAS SOUS 626573 HAS SOUPS 626434 WITH SCORE 635119.07
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 15145268 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16126548 kB

BK_TIME_CONFINEMENT_REACHED

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

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-q3m032"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is BugTracking-PT-q3m032, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688100360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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