Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700403.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN12, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700403
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.5M
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jun 3 09:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 301K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1015K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 698K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.5M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 899K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN12-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336624796

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN12
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2160 places, 1728 transitions, 6912 arcs.
AT ITER 0 NEW BEST:: SOT 3011738 SOS 1507202 HAS SOPS 1507202 HAS SOUS 1507202 HAS SOUPS 1507202 WITH SCORE 1508709.202
AT ITER 21 NEW BEST:: SOT 3010787 SOS 1507132 HAS SOPS 1507132 HAS SOUS 1506274 HAS SOUPS 1506274 WITH SCORE 1507781.132
AT ITER 26 NEW BEST:: SOT 3010905 SOS 1507200 HAS SOPS 1507200 HAS SOUS 1506243 HAS SOUPS 1506243 WITH SCORE 1507750.2
AT ITER 30 NEW BEST:: SOT 3009552 SOS 1506065 HAS SOPS 1506065 HAS SOUS 1504998 HAS SOUPS 1504998 WITH SCORE 1506504.065
AT ITER 32 NEW BEST:: SOT 3008705 SOS 1505408 HAS SOPS 1505408 HAS SOUS 1504242 HAS SOUPS 1504242 WITH SCORE 1505747.408
AT ITER 39 NEW BEST:: SOT 3007429 SOS 1504321 HAS SOPS 1504321 HAS SOUS 1503045 HAS SOUPS 1503045 WITH SCORE 1504549.321
AT ITER 44 NEW BEST:: SOT 3005818 SOS 1510216 HAS SOPS 1510216 HAS SOUS 1501515 HAS SOUPS 1501515 WITH SCORE 1503025.216
AT ITER 45 NEW BEST:: SOT 3005697 SOS 1516997 HAS SOPS 1516997 HAS SOUS 1501399 HAS SOUPS 1501399 WITH SCORE 1502915.997
AT ITER 46 NEW BEST:: SOT 3004487 SOS 1515996 HAS SOPS 1515996 HAS SOUS 1500288 HAS SOUPS 1500288 WITH SCORE 1501803.996
AT ITER 71 NEW BEST:: SOT 3003076 SOS 1517981 HAS SOPS 1517981 HAS SOUS 1499116 HAS SOUPS 1499116 WITH SCORE 1500633.981
AT ITER 76 NEW BEST:: SOT 3003076 SOS 1510776 HAS SOPS 1510776 HAS SOUS 1499116 HAS SOUPS 1499116 WITH SCORE 1500626.776
AT ITER 79 NEW BEST:: SOT 3003076 SOS 1510537 HAS SOPS 1510537 HAS SOUS 1499116 HAS SOUPS 1499116 WITH SCORE 1500626.537
AT ITER 87 NEW BEST:: SOT 3001186 SOS 1509404 HAS SOPS 1509404 HAS SOUS 1497323 HAS SOUPS 1497323 WITH SCORE 1498832.404
AT ITER 89 NEW BEST:: SOT 3001120 SOS 1509365 HAS SOPS 1509365 HAS SOUS 1497265 HAS SOUPS 1497265 WITH SCORE 1498774.365
AT ITER 90 NEW BEST:: SOT 3000306 SOS 1508733 HAS SOPS 1508733 HAS SOUS 1496490 HAS SOUPS 1496490 WITH SCORE 1497998.733
AT ITER 91 NEW BEST:: SOT 3000436 SOS 1508837 HAS SOPS 1508837 HAS SOUS 1496484 HAS SOUPS 1496484 WITH SCORE 1497992.837
AT ITER 101 NEW BEST:: SOT 3000315 SOS 1514282 HAS SOPS 1514282 HAS SOUS 1496462 HAS SOUPS 1496462 WITH SCORE 1497976.282
AT ITER 102 NEW BEST:: SOT 2999463 SOS 1514435 HAS SOPS 1514435 HAS SOUS 1495757 HAS SOUPS 1495757 WITH SCORE 1497271.435
AT ITER 122 NEW BEST:: SOT 2998055 SOS 1513184 HAS SOPS 1513184 HAS SOUS 1494418 HAS SOUPS 1494418 WITH SCORE 1495931.184
AT ITER 127 NEW BEST:: SOT 2996454 SOS 1524687 HAS SOPS 1524687 HAS SOUS 1493164 HAS SOUPS 1493164 WITH SCORE 1494688.687
AT ITER 128 NEW BEST:: SOT 2996454 SOS 1524219 HAS SOPS 1524219 HAS SOUS 1493164 HAS SOUPS 1493164 WITH SCORE 1494688.219
AT ITER 132 NEW BEST:: SOT 2995696 SOS 1525194 HAS SOPS 1525194 HAS SOUS 1492489 HAS SOUPS 1492489 WITH SCORE 1494014.194
AT ITER 133 NEW BEST:: SOT 2995501 SOS 1524999 HAS SOPS 1524999 HAS SOUS 1492294 HAS SOUPS 1492294 WITH SCORE 1493818.999
AT ITER 135 NEW BEST:: SOT 2995501 SOS 1524670 HAS SOPS 1524670 HAS SOUS 1492294 HAS SOUPS 1492294 WITH SCORE 1493818.67
AT ITER 139 NEW BEST:: SOT 2995561 SOS 1524658 HAS SOPS 1524658 HAS SOUS 1492139 HAS SOUPS 1492139 WITH SCORE 1493663.658
AT ITER 159 NEW BEST:: SOT 2995165 SOS 1527731 HAS SOPS 1527731 HAS SOUS 1492074 HAS SOUPS 1492074 WITH SCORE 1493601.731
AT ITER 162 NEW BEST:: SOT 2995061 SOS 1527506 HAS SOPS 1527506 HAS SOUS 1491737 HAS SOUPS 1491737 WITH SCORE 1493264.506
AT ITER 167 NEW BEST:: SOT 2994344 SOS 1526789 HAS SOPS 1526789 HAS SOUS 1491020 HAS SOUPS 1491020 WITH SCORE 1492546.789
AT ITER 171 NEW BEST:: SOT 2993607 SOS 1526286 HAS SOPS 1526286 HAS SOUS 1490319 HAS SOUPS 1490319 WITH SCORE 1491845.286
AT ITER 173 NEW BEST:: SOT 2993588 SOS 1526360 HAS SOPS 1526360 HAS SOUS 1490300 HAS SOUPS 1490300 WITH SCORE 1491826.36
AT ITER 177 NEW BEST:: SOT 2993588 SOS 1525849 HAS SOPS 1525849 HAS SOUS 1490300 HAS SOUPS 1490300 WITH SCORE 1491825.849
AT ITER 186 NEW BEST:: SOT 2992695 SOS 1526002 HAS SOPS 1526002 HAS SOUS 1489562 HAS SOUPS 1489562 WITH SCORE 1491088.002
AT ITER 196 NEW BEST:: SOT 2991477 SOS 1525463 HAS SOPS 1525463 HAS SOUS 1488556 HAS SOUPS 1488556 WITH SCORE 1490081.463
AT ITER 201 NEW BEST:: SOT 2989310 SOS 1523506 HAS SOPS 1523506 HAS SOUS 1486522 HAS SOUPS 1486522 WITH SCORE 1488045.506
AT ITER 225 NEW BEST:: SOT 2989310 SOS 1523455 HAS SOPS 1523455 HAS SOUS 1486522 HAS SOUPS 1486522 WITH SCORE 1488045.455
AT ITER 234 NEW BEST:: SOT 2988382 SOS 1522527 HAS SOPS 1522527 HAS SOUS 1485594 HAS SOUPS 1485594 WITH SCORE 1487116.527
AT ITER 241 NEW BEST:: SOT 2988382 SOS 1521729 HAS SOPS 1521729 HAS SOUS 1485594 HAS SOUPS 1485594 WITH SCORE 1487115.729
AT ITER 251 NEW BEST:: SOT 2988382 SOS 1521084 HAS SOPS 1521084 HAS SOUS 1485594 HAS SOUPS 1485594 WITH SCORE 1487115.084
AT ITER 255 NEW BEST:: SOT 2987335 SOS 1530935 HAS SOPS 1530935 HAS SOUS 1484764 HAS SOUPS 1484764 WITH SCORE 1486294.935
AT ITER 256 NEW BEST:: SOT 2987302 SOS 1530869 HAS SOPS 1530869 HAS SOUS 1484731 HAS SOUPS 1484731 WITH SCORE 1486261.869
AT ITER 257 NEW BEST:: SOT 2987057 SOS 1530624 HAS SOPS 1530624 HAS SOUS 1484486 HAS SOUPS 1484486 WITH SCORE 1486016.624
AT ITER 259 NEW BEST:: SOT 2986903 SOS 1537132 HAS SOPS 1537132 HAS SOUS 1484479 HAS SOUPS 1484479 WITH SCORE 1486016.132
AT ITER 264 NEW BEST:: SOT 2986903 SOS 1536233 HAS SOPS 1536233 HAS SOUS 1484479 HAS SOUPS 1484479 WITH SCORE 1486015.233
AT ITER 270 NEW BEST:: SOT 2986903 SOS 1536161 HAS SOPS 1536161 HAS SOUS 1484335 HAS SOUPS 1484335 WITH SCORE 1485871.161
AT ITER 274 NEW BEST:: SOT 2984737 SOS 1538984 HAS SOPS 1538984 HAS SOUS 1482764 HAS SOUPS 1482764 WITH SCORE 1484302.984
AT ITER 275 NEW BEST:: SOT 2984672 SOS 1538854 HAS SOPS 1538854 HAS SOUS 1482711 HAS SOUPS 1482711 WITH SCORE 1484249.854
AT ITER 283 NEW BEST:: SOT 2984644 SOS 1538907 HAS SOPS 1538907 HAS SOUS 1482683 HAS SOUPS 1482683 WITH SCORE 1484221.907
AT ITER 284 NEW BEST:: SOT 2984490 SOS 1540458 HAS SOPS 1540458 HAS SOUS 1482529 HAS SOUPS 1482529 WITH SCORE 1484069.458
AT ITER 288 NEW BEST:: SOT 2984402 SOS 1540421 HAS SOPS 1540421 HAS SOUS 1482441 HAS SOUPS 1482441 WITH SCORE 1483981.421
AT ITER 291 NEW BEST:: SOT 2984402 SOS 1535235 HAS SOPS 1535235 HAS SOUS 1482441 HAS SOUPS 1482441 WITH SCORE 1483976.235
AT ITER 294 NEW BEST:: SOT 2983668 SOS 1534501 HAS SOPS 1534501 HAS SOUS 1481707 HAS SOUPS 1481707 WITH SCORE 1483241.501
AT ITER 299 NEW BEST:: SOT 2983514 SOS 1534561 HAS SOPS 1534561 HAS SOUS 1481562 HAS SOUPS 1481562 WITH SCORE 1483096.561
AT ITER 302 NEW BEST:: SOT 2983349 SOS 1535517 HAS SOPS 1535517 HAS SOUS 1481465 HAS SOUPS 1481465 WITH SCORE 1483000.517
AT ITER 305 NEW BEST:: SOT 2983035 SOS 1536256 HAS SOPS 1536256 HAS SOUS 1481201 HAS SOUPS 1481201 WITH SCORE 1482737.256
AT ITER 310 NEW BEST:: SOT 2983035 SOS 1532291 HAS SOPS 1532291 HAS SOUS 1480810 HAS SOUPS 1480810 WITH SCORE 1482342.291
AT ITER 319 NEW BEST:: SOT 2981272 SOS 1532285 HAS SOPS 1532285 HAS SOUS 1479286 HAS SOUPS 1479286 WITH SCORE 1480818.285
AT ITER 320 NEW BEST:: SOT 2981272 SOS 1532137 HAS SOPS 1532137 HAS SOUS 1479286 HAS SOUPS 1479286 WITH SCORE 1480818.137
AT ITER 328 NEW BEST:: SOT 2981184 SOS 1532486 HAS SOPS 1532486 HAS SOUS 1479200 HAS SOUPS 1479200 WITH SCORE 1480732.486
AT ITER 338 NEW BEST:: SOT 2980899 SOS 1532201 HAS SOPS 1532201 HAS SOUS 1478915 HAS SOUPS 1478915 WITH SCORE 1480447.201
AT ITER 343 NEW BEST:: SOT 2981138 SOS 1532235 HAS SOPS 1532235 HAS SOUS 1478136 HAS SOUPS 1478136 WITH SCORE 1479668.235
AT ITER 349 NEW BEST:: SOT 2981138 SOS 1532206 HAS SOPS 1532206 HAS SOUS 1478136 HAS SOUPS 1478136 WITH SCORE 1479668.206
AT ITER 359 NEW BEST:: SOT 2978960 SOS 1530560 HAS SOPS 1530560 HAS SOUS 1476182 HAS SOUPS 1476182 WITH SCORE 1477712.56
AT ITER 362 NEW BEST:: SOT 2978486 SOS 1530416 HAS SOPS 1530416 HAS SOUS 1475851 HAS SOUPS 1475851 WITH SCORE 1477381.416
AT ITER 376 NEW BEST:: SOT 2978486 SOS 1529855 HAS SOPS 1529855 HAS SOUS 1475851 HAS SOUPS 1475851 WITH SCORE 1477380.855
AT ITER 380 NEW BEST:: SOT 2978332 SOS 1530795 HAS SOPS 1530795 HAS SOUS 1475697 HAS SOUPS 1475697 WITH SCORE 1477227.795
AT ITER 389 NEW BEST:: SOT 2978401 SOS 1530795 HAS SOPS 1530795 HAS SOUS 1475554 HAS SOUPS 1475554 WITH SCORE 1477084.795
AT ITER 392 NEW BEST:: SOT 2978401 SOS 1530701 HAS SOPS 1530701 HAS SOUS 1475554 HAS SOUPS 1475554 WITH SCORE 1477084.701
AT ITER 395 NEW BEST:: SOT 2977596 SOS 1540218 HAS SOPS 1540218 HAS SOUS 1475237 HAS SOUPS 1475237 WITH SCORE 1476777.218
AT ITER 397 NEW BEST:: SOT 2977596 SOS 1539765 HAS SOPS 1539765 HAS SOUS 1474994 HAS SOUPS 1474994 WITH SCORE 1476533.765
AT ITER 406 NEW BEST:: SOT 2976489 SOS 1538658 HAS SOPS 1538658 HAS SOUS 1473887 HAS SOUPS 1473887 WITH SCORE 1475425.658
AT ITER 409 NEW BEST:: SOT 2976489 SOS 1538634 HAS SOPS 1538634 HAS SOUS 1473887 HAS SOUPS 1473887 WITH SCORE 1475425.634
AT ITER 411 NEW BEST:: SOT 2976577 SOS 1538645 HAS SOPS 1538645 HAS SOUS 1473788 HAS SOUPS 1473788 WITH SCORE 1475326.645
AT ITER 412 NEW BEST:: SOT 2976577 SOS 1538601 HAS SOPS 1538601 HAS SOUS 1473788 HAS SOUPS 1473788 WITH SCORE 1475326.601
AT ITER 418 NEW BEST:: SOT 2976181 SOS 1540340 HAS SOPS 1540340 HAS SOUS 1473696 HAS SOUPS 1473696 WITH SCORE 1475236.34
AT ITER 423 NEW BEST:: SOT 2975383 SOS 1540918 HAS SOPS 1540918 HAS SOUS 1473140 HAS SOUPS 1473140 WITH SCORE 1474680.918
AT ITER 424 NEW BEST:: SOT 2975383 SOS 1540881 HAS SOPS 1540881 HAS SOUS 1473140 HAS SOUPS 1473140 WITH SCORE 1474680.881
AT ITER 430 NEW BEST:: SOT 2975383 SOS 1540226 HAS SOPS 1540226 HAS SOUS 1473140 HAS SOUPS 1473140 WITH SCORE 1474680.226
AT ITER 431 NEW BEST:: SOT 2974875 SOS 1539718 HAS SOPS 1539718 HAS SOUS 1472632 HAS SOUPS 1472632 WITH SCORE 1474171.718
AT ITER 438 NEW BEST:: SOT 2974875 SOS 1539693 HAS SOPS 1539693 HAS SOUS 1472632 HAS SOUPS 1472632 WITH SCORE 1474171.693
AT ITER 443 NEW BEST:: SOT 2973225 SOS 1538156 HAS SOPS 1538156 HAS SOUS 1471052 HAS SOUPS 1471052 WITH SCORE 1472590.156
AT ITER 445 NEW BEST:: SOT 2973137 SOS 1538365 HAS SOPS 1538365 HAS SOUS 1470964 HAS SOUPS 1470964 WITH SCORE 1472502.365
AT ITER 450 NEW BEST:: SOT 2972228 SOS 1537547 HAS SOPS 1537547 HAS SOUS 1470146 HAS SOUPS 1470146 WITH SCORE 1471683.547
AT ITER 452 NEW BEST:: SOT 2972124 SOS 1537443 HAS SOPS 1537443 HAS SOUS 1470042 HAS SOUPS 1470042 WITH SCORE 1471579.443
AT ITER 454 NEW BEST:: SOT 2970980 SOS 1537509 HAS SOPS 1537509 HAS SOUS 1469295 HAS SOUPS 1469295 WITH SCORE 1470832.509
AT ITER 458 NEW BEST:: SOT 2969265 SOS 1540652 HAS SOPS 1540652 HAS SOUS 1467857 HAS SOUPS 1467857 WITH SCORE 1469397.652
AT ITER 462 NEW BEST:: SOT 2968950 SOS 1540804 HAS SOPS 1540804 HAS SOUS 1467542 HAS SOUPS 1467542 WITH SCORE 1469082.804
AT ITER 464 NEW BEST:: SOT 2966860 SOS 1549078 HAS SOPS 1549078 HAS SOUS 1465771 HAS SOUPS 1465771 WITH SCORE 1467320.078
AT ITER 502 NEW BEST:: SOT 2966860 SOS 1548482 HAS SOPS 1548482 HAS SOUS 1465771 HAS SOUPS 1465771 WITH SCORE 1467319.482
AT ITER 508 NEW BEST:: SOT 2966860 SOS 1548341 HAS SOPS 1548341 HAS SOUS 1465771 HAS SOUPS 1465771 WITH SCORE 1467319.341
AT ITER 511 NEW BEST:: SOT 2964900 SOS 1552688 HAS SOPS 1552688 HAS SOUS 1464147 HAS SOUPS 1464147 WITH SCORE 1465699.688
AT ITER 524 NEW BEST:: SOT 2965081 SOS 1552369 HAS SOPS 1552369 HAS SOUS 1463685 HAS SOUPS 1463685 WITH SCORE 1465237.369
AT ITER 525 NEW BEST:: SOT 2964457 SOS 1551745 HAS SOPS 1551745 HAS SOUS 1463145 HAS SOUPS 1463145 WITH SCORE 1464696.745
AT ITER 527 NEW BEST:: SOT 2964160 SOS 1552680 HAS SOPS 1552680 HAS SOUS 1462929 HAS SOUPS 1462929 WITH SCORE 1464481.68
AT ITER 531 NEW BEST:: SOT 2964282 SOS 1552658 HAS SOPS 1552658 HAS SOUS 1462797 HAS SOUPS 1462797 WITH SCORE 1464349.658
AT ITER 533 NEW BEST:: SOT 2964282 SOS 1548885 HAS SOPS 1548885 HAS SOUS 1462797 HAS SOUPS 1462797 WITH SCORE 1464345.885
AT ITER 548 NEW BEST:: SOT 2963111 SOS 1549537 HAS SOPS 1549537 HAS SOUS 1462181 HAS SOUPS 1462181 WITH SCORE 1463730.537
AT ITER 558 NEW BEST:: SOT 2963075 SOS 1549501 HAS SOPS 1549501 HAS SOUS 1462145 HAS SOUPS 1462145 WITH SCORE 1463694.501
AT ITER 560 NEW BEST:: SOT 2962756 SOS 1550353 HAS SOPS 1550353 HAS SOUS 1462072 HAS SOUPS 1462072 WITH SCORE 1463622.353
AT ITER 561 NEW BEST:: SOT 2961281 SOS 1552576 HAS SOPS 1552576 HAS SOUS 1460999 HAS SOUPS 1460999 WITH SCORE 1462551.576
AT ITER 562 NEW BEST:: SOT 2961152 SOS 1553008 HAS SOPS 1553008 HAS SOUS 1460653 HAS SOUPS 1460653 WITH SCORE 1462206.008
AT ITER 563 NEW BEST:: SOT 2960508 SOS 1552364 HAS SOPS 1552364 HAS SOUS 1460009 HAS SOUPS 1460009 WITH SCORE 1461561.364
AT ITER 568 NEW BEST:: SOT 2960020 SOS 1553003 HAS SOPS 1553003 HAS SOUS 1459625 HAS SOUPS 1459625 WITH SCORE 1461178.003
AT ITER 574 NEW BEST:: SOT 2958474 SOS 1552984 HAS SOPS 1552984 HAS SOUS 1458079 HAS SOUPS 1458079 WITH SCORE 1459631.984
AT ITER 585 NEW BEST:: SOT 2956855 SOS 1551871 HAS SOPS 1551871 HAS SOUS 1457269 HAS SOUPS 1457269 WITH SCORE 1458820.871
AT ITER 586 NEW BEST:: SOT 2956855 SOS 1551762 HAS SOPS 1551762 HAS SOUS 1457269 HAS SOUPS 1457269 WITH SCORE 1458820.762
AT ITER 587 NEW BEST:: SOT 2957189 SOS 1552121 HAS SOPS 1552121 HAS SOUS 1456926 HAS SOUPS 1456926 WITH SCORE 1458478.121
AT ITER 589 NEW BEST:: SOT 2957429 SOS 1551744 HAS SOPS 1551744 HAS SOUS 1456645 HAS SOUPS 1456645 WITH SCORE 1458196.744
AT ITER 590 NEW BEST:: SOT 2957429 SOS 1553525 HAS SOPS 1553525 HAS SOUS 1456372 HAS SOUPS 1456372 WITH SCORE 1457925.525
AT ITER 591 NEW BEST:: SOT 2957541 SOS 1553616 HAS SOPS 1553616 HAS SOUS 1456243 HAS SOUPS 1456243 WITH SCORE 1457796.616
AT ITER 596 NEW BEST:: SOT 2957541 SOS 1553189 HAS SOPS 1553189 HAS SOUS 1456243 HAS SOUPS 1456243 WITH SCORE 1457796.189
AT ITER 598 NEW BEST:: SOT 2957266 SOS 1553244 HAS SOPS 1553244 HAS SOUS 1455968 HAS SOUPS 1455968 WITH SCORE 1457521.244
AT ITER 602 NEW BEST:: SOT 2957266 SOS 1553624 HAS SOPS 1553624 HAS SOUS 1455911 HAS SOUPS 1455911 WITH SCORE 1457464.624
AT ITER 603 NEW BEST:: SOT 2957238 SOS 1553565 HAS SOPS 1553565 HAS SOUS 1455874 HAS SOUPS 1455874 WITH SCORE 1457427.565
AT ITER 607 NEW BEST:: SOT 2957170 SOS 1552672 HAS SOPS 1552672 HAS SOUS 1455699 HAS SOUPS 1455699 WITH SCORE 1457251.672
AT ITER 609 NEW BEST:: SOT 2957170 SOS 1552524 HAS SOPS 1552524 HAS SOUS 1455699 HAS SOUPS 1455699 WITH SCORE 1457251.524
AT ITER 616 NEW BEST:: SOT 2955873 SOS 1553324 HAS SOPS 1553324 HAS SOUS 1454810 HAS SOUPS 1454810 WITH SCORE 1456363.324
AT ITER 624 NEW BEST:: SOT 2955873 SOS 1552683 HAS SOPS 1552683 HAS SOUS 1454810 HAS SOUPS 1454810 WITH SCORE 1456362.683
AT ITER 627 NEW BEST:: SOT 2955873 SOS 1550716 HAS SOPS 1550716 HAS SOUS 1454810 HAS SOUPS 1454810 WITH SCORE 1456360.716
AT ITER 629 NEW BEST:: SOT 2955873 SOS 1550659 HAS SOPS 1550659 HAS SOUS 1454810 HAS SOUPS 1454810 WITH SCORE 1456360.659
AT ITER 632 NEW BEST:: SOT 2955670 SOS 1550483 HAS SOPS 1550483 HAS SOUS 1454607 HAS SOUPS 1454607 WITH SCORE 1456157.483
AT ITER 633 NEW BEST:: SOT 2955670 SOS 1550653 HAS SOPS 1550653 HAS SOUS 1454554 HAS SOUPS 1454554 WITH SCORE 1456104.653
AT ITER 647 NEW BEST:: SOT 2955924 SOS 1550672 HAS SOPS 1550672 HAS SOUS 1454547 HAS SOUPS 1454547 WITH SCORE 1456097.672
AT ITER 652 NEW BEST:: SOT 2955924 SOS 1550647 HAS SOPS 1550647 HAS SOUS 1454547 HAS SOUPS 1454547 WITH SCORE 1456097.647
AT ITER 655 NEW BEST:: SOT 2956079 SOS 1550659 HAS SOPS 1550659 HAS SOUS 1454460 HAS SOUPS 1454460 WITH SCORE 1456010.659
AT ITER 665 NEW BEST:: SOT 2955577 SOS 1550963 HAS SOPS 1550963 HAS SOUS 1454068 HAS SOUPS 1454068 WITH SCORE 1455618.963
AT ITER 666 NEW BEST:: SOT 2954883 SOS 1550561 HAS SOPS 1550561 HAS SOUS 1453411 HAS SOUPS 1453411 WITH SCORE 1454961.561
AT ITER 675 NEW BEST:: SOT 2954435 SOS 1550489 HAS SOPS 1550489 HAS SOUS 1453339 HAS SOUPS 1453339 WITH SCORE 1454889.489
AT ITER 681 NEW BEST:: SOT 2953951 SOS 1550507 HAS SOPS 1550507 HAS SOUS 1452855 HAS SOUPS 1452855 WITH SCORE 1454405.507
AT ITER 690 NEW BEST:: SOT 2953728 SOS 1550476 HAS SOPS 1550476 HAS SOUS 1452684 HAS SOUPS 1452684 WITH SCORE 1454234.476
AT ITER 691 NEW BEST:: SOT 2953728 SOS 1550425 HAS SOPS 1550425 HAS SOUS 1452684 HAS SOUPS 1452684 WITH SCORE 1454234.425
AT ITER 693 NEW BEST:: SOT 2953728 SOS 1550226 HAS SOPS 1550226 HAS SOUS 1452684 HAS SOUPS 1452684 WITH SCORE 1454234.226
AT ITER 702 NEW BEST:: SOT 2953728 SOS 1548956 HAS SOPS 1548956 HAS SOUS 1452684 HAS SOUPS 1452684 WITH SCORE 1454232.956
AT ITER 706 NEW BEST:: SOT 2953825 SOS 1548972 HAS SOPS 1548972 HAS SOUS 1452557 HAS SOUPS 1452557 WITH SCORE 1454105.972
AT ITER 707 NEW BEST:: SOT 2953484 SOS 1548631 HAS SOPS 1548631 HAS SOUS 1452321 HAS SOUPS 1452321 WITH SCORE 1453869.631
AT ITER 711 NEW BEST:: SOT 2953484 SOS 1548401 HAS SOPS 1548401 HAS SOUS 1452207 HAS SOUPS 1452207 WITH SCORE 1453755.401
AT ITER 725 NEW BEST:: SOT 2953673 SOS 1549389 HAS SOPS 1549389 HAS SOUS 1452193 HAS SOUPS 1452193 WITH SCORE 1453742.389
AT ITER 728 NEW BEST:: SOT 2953788 SOS 1549475 HAS SOPS 1549475 HAS SOUS 1452169 HAS SOUPS 1452169 WITH SCORE 1453718.475
AT ITER 733 NEW BEST:: SOT 2953702 SOS 1549297 HAS SOPS 1549297 HAS SOUS 1452057 HAS SOUPS 1452057 WITH SCORE 1453606.297
AT ITER 734 NEW BEST:: SOT 2952293 SOS 1547745 HAS SOPS 1547745 HAS SOUS 1450557 HAS SOUPS 1450557 WITH SCORE 1452104.745
AT ITER 736 NEW BEST:: SOT 2950612 SOS 1546594 HAS SOPS 1546594 HAS SOUS 1448957 HAS SOUPS 1448957 WITH SCORE 1450503.594
AT ITER 738 NEW BEST:: SOT 2950612 SOS 1546593 HAS SOPS 1546593 HAS SOUS 1448957 HAS SOUPS 1448957 WITH SCORE 1450503.593
AT ITER 740 NEW BEST:: SOT 2950612 SOS 1546593 HAS SOPS 1546593 HAS SOUS 1448907 HAS SOUPS 1448907 WITH SCORE 1450453.593
AT ITER 742 NEW BEST:: SOT 2950381 SOS 1546593 HAS SOPS 1546593 HAS SOUS 1448676 HAS SOUPS 1448676 WITH SCORE 1450222.593
AT ITER 745 NEW BEST:: SOT 2950634 SOS 1546519 HAS SOPS 1546519 HAS SOUS 1448586 HAS SOUPS 1448586 WITH SCORE 1450132.519
AT ITER 765 NEW BEST:: SOT 2950337 SOS 1546271 HAS SOPS 1546271 HAS SOUS 1448289 HAS SOUPS 1448289 WITH SCORE 1449835.271
AT ITER 794 NEW BEST:: SOT 2949707 SOS 1545787 HAS SOPS 1545787 HAS SOUS 1447721 HAS SOUPS 1447721 WITH SCORE 1449266.787
AT ITER 808 NEW BEST:: SOT 2949707 SOS 1545458 HAS SOPS 1545458 HAS SOUS 1447721 HAS SOUPS 1447721 WITH SCORE 1449266.458
AT ITER 810 NEW BEST:: SOT 2949344 SOS 1545640 HAS SOPS 1545640 HAS SOUS 1447438 HAS SOUPS 1447438 WITH SCORE 1448983.64
AT ITER 815 NEW BEST:: SOT 2949344 SOS 1545586 HAS SOPS 1545586 HAS SOUS 1447438 HAS SOUPS 1447438 WITH SCORE 1448983.586
AT ITER 820 NEW BEST:: SOT 2949596 SOS 1545197 HAS SOPS 1545197 HAS SOUS 1446956 HAS SOUPS 1446956 WITH SCORE 1448501.197
AT ITER 825 NEW BEST:: SOT 2949148 SOS 1545122 HAS SOPS 1545122 HAS SOUS 1446709 HAS SOUPS 1446709 WITH SCORE 1448254.122
AT ITER 829 NEW BEST:: SOT 2949148 SOS 1544509 HAS SOPS 1544509 HAS SOUS 1446709 HAS SOUPS 1446709 WITH SCORE 1448253.509
AT ITER 830 NEW BEST:: SOT 2949340 SOS 1543473 HAS SOPS 1543473 HAS SOUS 1445654 HAS SOUPS 1445654 WITH SCORE 1447197.473
AT ITER 836 NEW BEST:: SOT 2949065 SOS 1543641 HAS SOPS 1543641 HAS SOUS 1445489 HAS SOUPS 1445489 WITH SCORE 1447032.641
AT ITER 847 NEW BEST:: SOT 2949065 SOS 1543588 HAS SOPS 1543588 HAS SOUS 1445489 HAS SOUPS 1445489 WITH SCORE 1447032.588
AT ITER 848 NEW BEST:: SOT 2949202 SOS 1543373 HAS SOPS 1543373 HAS SOUS 1445462 HAS SOUPS 1445462 WITH SCORE 1447005.373
AT ITER 852 NEW BEST:: SOT 2949202 SOS 1543360 HAS SOPS 1543360 HAS SOUS 1445438 HAS SOUPS 1445438 WITH SCORE 1446981.36
AT ITER 860 NEW BEST:: SOT 2948784 SOS 1546547 HAS SOPS 1546547 HAS SOUS 1445280 HAS SOUPS 1445280 WITH SCORE 1446826.547
AT ITER 863 NEW BEST:: SOT 2948366 SOS 1553379 HAS SOPS 1553379 HAS SOUS 1445195 HAS SOUPS 1445195 WITH SCORE 1446748.379
AT ITER 864 NEW BEST:: SOT 2946378 SOS 1557734 HAS SOPS 1557734 HAS SOUS 1443709 HAS SOUPS 1443709 WITH SCORE 1445266.734
AT ITER 866 NEW BEST:: SOT 2946481 SOS 1557852 HAS SOPS 1557852 HAS SOUS 1443584 HAS SOUPS 1443584 WITH SCORE 1445141.852
AT ITER 867 NEW BEST:: SOT 2946481 SOS 1557196 HAS SOPS 1557196 HAS SOUS 1443584 HAS SOUPS 1443584 WITH SCORE 1445141.196
AT ITER 869 NEW BEST:: SOT 2945123 SOS 1556299 HAS SOPS 1556299 HAS SOUS 1442680 HAS SOUPS 1442680 WITH SCORE 1444236.299
AT ITER 872 NEW BEST:: SOT 2945123 SOS 1553910 HAS SOPS 1553910 HAS SOUS 1442387 HAS SOUPS 1442387 WITH SCORE 1443940.91
AT ITER 873 NEW BEST:: SOT 2945049 SOS 1553594 HAS SOPS 1553594 HAS SOUS 1442074 HAS SOUPS 1442074 WITH SCORE 1443627.594
AT ITER 877 NEW BEST:: SOT 2945049 SOS 1553692 HAS SOPS 1553692 HAS SOUS 1442051 HAS SOUPS 1442051 WITH SCORE 1443604.692
AT ITER 878 NEW BEST:: SOT 2944730 SOS 1553751 HAS SOPS 1553751 HAS SOUS 1441732 HAS SOUPS 1441732 WITH SCORE 1443285.751
AT ITER 882 NEW BEST:: SOT 2944730 SOS 1553791 HAS SOPS 1553791 HAS SOUS 1441705 HAS SOUPS 1441705 WITH SCORE 1443258.791
AT ITER 888 NEW BEST:: SOT 2944730 SOS 1553556 HAS SOPS 1553556 HAS SOUS 1441705 HAS SOUPS 1441705 WITH SCORE 1443258.556
AT ITER 906 NEW BEST:: SOT 2944589 SOS 1553459 HAS SOPS 1553459 HAS SOUS 1441564 HAS SOUPS 1441564 WITH SCORE 1443117.459
AT ITER 912 NEW BEST:: SOT 2944088 SOS 1554106 HAS SOPS 1554106 HAS SOUS 1441128 HAS SOUPS 1441128 WITH SCORE 1442682.106
AT ITER 913 NEW BEST:: SOT 2944084 SOS 1554102 HAS SOPS 1554102 HAS SOUS 1441124 HAS SOUPS 1441124 WITH SCORE 1442678.102
AT ITER 920 NEW BEST:: SOT 2944084 SOS 1553959 HAS SOPS 1553959 HAS SOUS 1441043 HAS SOUPS 1441043 WITH SCORE 1442596.959
AT ITER 922 NEW BEST:: SOT 2944084 SOS 1553939 HAS SOPS 1553939 HAS SOUS 1441043 HAS SOUPS 1441043 WITH SCORE 1442596.939
AT ITER 932 NEW BEST:: SOT 2944084 SOS 1553905 HAS SOPS 1553905 HAS SOUS 1441043 HAS SOUPS 1441043 WITH SCORE 1442596.905
AT ITER 935 NEW BEST:: SOT 2943067 SOS 1556139 HAS SOPS 1556139 HAS SOUS 1441003 HAS SOUPS 1441003 WITH SCORE 1442559.139
AT ITER 937 NEW BEST:: SOT 2942501 SOS 1559107 HAS SOPS 1559107 HAS SOUS 1440579 HAS SOUPS 1440579 WITH SCORE 1442138.107
AT ITER 941 NEW BEST:: SOT 2942535 SOS 1558954 HAS SOPS 1558954 HAS SOUS 1440371 HAS SOUPS 1440371 WITH SCORE 1441929.954
AT ITER 948 NEW BEST:: SOT 2942535 SOS 1558313 HAS SOPS 1558313 HAS SOUS 1440371 HAS SOUPS 1440371 WITH SCORE 1441929.313
AT ITER 950 NEW BEST:: SOT 2942535 SOS 1554656 HAS SOPS 1554656 HAS SOUS 1440371 HAS SOUPS 1440371 WITH SCORE 1441925.656
AT ITER 953 NEW BEST:: SOT 2942295 SOS 1554627 HAS SOPS 1554627 HAS SOUS 1440342 HAS SOUPS 1440342 WITH SCORE 1441896.627
AT ITER 955 NEW BEST:: SOT 2942295 SOS 1554717 HAS SOPS 1554717 HAS SOUS 1440333 HAS SOUPS 1440333 WITH SCORE 1441887.717
AT ITER 957 NEW BEST:: SOT 2942295 SOS 1554321 HAS SOPS 1554321 HAS SOUS 1440333 HAS SOUPS 1440333 WITH SCORE 1441887.321
AT ITER 967 NEW BEST:: SOT 2942216 SOS 1553670 HAS SOPS 1553670 HAS SOUS 1440259 HAS SOUPS 1440259 WITH SCORE 1441812.67
AT ITER 969 NEW BEST:: SOT 2942243 SOS 1552783 HAS SOPS 1552783 HAS SOUS 1440036 HAS SOUPS 1440036 WITH SCORE 1441588.783
AT ITER 974 NEW BEST:: SOT 2942243 SOS 1551845 HAS SOPS 1551845 HAS SOUS 1440036 HAS SOUPS 1440036 WITH SCORE 1441587.845
AT ITER 978 NEW BEST:: SOT 2942373 SOS 1551800 HAS SOPS 1551800 HAS SOUS 1439887 HAS SOUPS 1439887 WITH SCORE 1441438.8
AT ITER 992 NEW BEST:: SOT 2941803 SOS 1552124 HAS SOPS 1552124 HAS SOUS 1439775 HAS SOUPS 1439775 WITH SCORE 1441327.124
AT ITER 998 NEW BEST:: SOT 2941803 SOS 1552089 HAS SOPS 1552089 HAS SOUS 1439775 HAS SOUPS 1439775 WITH SCORE 1441327.089
AT ITER 999 NEW BEST:: SOT 2941506 SOS 1551927 HAS SOPS 1551927 HAS SOUS 1439478 HAS SOUPS 1439478 WITH SCORE 1441029.927
AT ITER 1010 NEW BEST:: SOT 2939642 SOS 1551391 HAS SOPS 1551391 HAS SOUS 1437832 HAS SOUPS 1437832 WITH SCORE 1439383.391
AT ITER 1015 NEW BEST:: SOT 2939176 SOS 1551535 HAS SOPS 1551535 HAS SOUS 1437646 HAS SOUPS 1437646 WITH SCORE 1439197.535
AT ITER 1016 NEW BEST:: SOT 2939002 SOS 1551346 HAS SOPS 1551346 HAS SOUS 1437414 HAS SOUPS 1437414 WITH SCORE 1438965.346
AT ITER 1021 NEW BEST:: SOT 2939002 SOS 1551346 HAS SOPS 1551346 HAS SOUS 1437381 HAS SOUPS 1437381 WITH SCORE 1438932.346
AT ITER 1024 NEW BEST:: SOT 2939002 SOS 1551293 HAS SOPS 1551293 HAS SOUS 1437381 HAS SOUPS 1437381 WITH SCORE 1438932.293
AT ITER 1029 NEW BEST:: SOT 2939002 SOS 1550961 HAS SOPS 1550961 HAS SOUS 1437381 HAS SOUPS 1437381 WITH SCORE 1438931.961
AT ITER 1041 NEW BEST:: SOT 2939051 SOS 1550925 HAS SOPS 1550925 HAS SOUS 1437338 HAS SOUPS 1437338 WITH SCORE 1438888.925
AT ITER 1045 NEW BEST:: SOT 2939051 SOS 1550872 HAS SOPS 1550872 HAS SOUS 1437338 HAS SOUPS 1437338 WITH SCORE 1438888.872
AT ITER 1052 NEW BEST:: SOT 2938916 SOS 1550872 HAS SOPS 1550872 HAS SOUS 1437203 HAS SOUPS 1437203 WITH SCORE 1438753.872
AT ITER 1054 NEW BEST:: SOT 2938916 SOS 1550791 HAS SOPS 1550791 HAS SOUS 1437122 HAS SOUPS 1437122 WITH SCORE 1438672.791
AT ITER 1055 NEW BEST:: SOT 2938916 SOS 1550096 HAS SOPS 1550096 HAS SOUS 1437122 HAS SOUPS 1437122 WITH SCORE 1438672.096
AT ITER 1056 NEW BEST:: SOT 2938916 SOS 1549912 HAS SOPS 1549912 HAS SOUS 1437122 HAS SOUPS 1437122 WITH SCORE 1438671.912
AT ITER 1057 NEW BEST:: SOT 2938865 SOS 1549861 HAS SOPS 1549861 HAS SOUS 1437011 HAS SOUPS 1437011 WITH SCORE 1438560.861
AT ITER 1058 NEW BEST:: SOT 2938872 SOS 1549849 HAS SOPS 1549849 HAS SOUS 1436900 HAS SOUPS 1436900 WITH SCORE 1438449.849
AT ITER 1069 NEW BEST:: SOT 2938872 SOS 1549788 HAS SOPS 1549788 HAS SOUS 1436900 HAS SOUPS 1436900 WITH SCORE 1438449.788
AT ITER 1074 NEW BEST:: SOT 2938872 SOS 1549767 HAS SOPS 1549767 HAS SOUS 1436879 HAS SOUPS 1436879 WITH SCORE 1438428.767
AT ITER 1087 NEW BEST:: SOT 2937445 SOS 1549825 HAS SOPS 1549825 HAS SOUS 1436231 HAS SOUPS 1436231 WITH SCORE 1437780.825
AT ITER 1088 NEW BEST:: SOT 2937445 SOS 1549782 HAS SOPS 1549782 HAS SOUS 1436231 HAS SOUPS 1436231 WITH SCORE 1437780.782
AT ITER 1107 NEW BEST:: SOT 2936840 SOS 1552589 HAS SOPS 1552589 HAS SOUS 1435856 HAS SOUPS 1435856 WITH SCORE 1437408.589
AT ITER 1108 NEW BEST:: SOT 2936034 SOS 1552480 HAS SOPS 1552480 HAS SOUS 1435456 HAS SOUPS 1435456 WITH SCORE 1437008.48
AT ITER 1110 NEW BEST:: SOT 2936034 SOS 1552236 HAS SOPS 1552236 HAS SOUS 1435456 HAS SOUPS 1435456 WITH SCORE 1437008.236
AT ITER 1111 NEW BEST:: SOT 2936034 SOS 1552209 HAS SOPS 1552209 HAS SOUS 1435456 HAS SOUPS 1435456 WITH SCORE 1437008.209
AT ITER 1118 NEW BEST:: SOT 2935218 SOS 1552259 HAS SOPS 1552259 HAS SOUS 1434807 HAS SOUPS 1434807 WITH SCORE 1436359.259
AT ITER 1120 NEW BEST:: SOT 2932205 SOS 1550237 HAS SOPS 1550237 HAS SOUS 1432031 HAS SOUPS 1432031 WITH SCORE 1433581.237
AT ITER 1121 NEW BEST:: SOT 2932205 SOS 1549605 HAS SOPS 1549605 HAS SOUS 1432031 HAS SOUPS 1432031 WITH SCORE 1433580.605
AT ITER 1123 NEW BEST:: SOT 2931130 SOS 1550212 HAS SOPS 1550212 HAS SOUS 1432010 HAS SOUPS 1432010 WITH SCORE 1433560.212
AT ITER 1126 NEW BEST:: SOT 2930945 SOS 1550825 HAS SOPS 1550825 HAS SOUS 1431825 HAS SOUPS 1431825 WITH SCORE 1433375.825
AT ITER 1131 NEW BEST:: SOT 2930945 SOS 1550613 HAS SOPS 1550613 HAS SOUS 1431825 HAS SOUPS 1431825 WITH SCORE 1433375.613
AT ITER 1136 NEW BEST:: SOT 2930945 SOS 1549889 HAS SOPS 1549889 HAS SOUS 1431825 HAS SOUPS 1431825 WITH SCORE 1433374.889
AT ITER 1148 NEW BEST:: SOT 2930113 SOS 1550526 HAS SOPS 1550526 HAS SOUS 1431349 HAS SOUPS 1431349 WITH SCORE 1432899.526
AT ITER 1149 NEW BEST:: SOT 2930113 SOS 1547917 HAS SOPS 1547917 HAS SOUS 1431308 HAS SOUPS 1431308 WITH SCORE 1432855.917
AT ITER 1155 NEW BEST:: SOT 2929673 SOS 1547535 HAS SOPS 1547535 HAS SOUS 1430926 HAS SOUPS 1430926 WITH SCORE 1432473.535
AT ITER 1156 NEW BEST:: SOT 2929775 SOS 1547536 HAS SOPS 1547536 HAS SOUS 1430858 HAS SOUPS 1430858 WITH SCORE 1432405.536
AT ITER 1161 NEW BEST:: SOT 2928601 SOS 1546164 HAS SOPS 1546164 HAS SOUS 1429654 HAS SOUPS 1429654 WITH SCORE 1431200.164
AT ITER 1162 NEW BEST:: SOT 2927934 SOS 1545573 HAS SOPS 1545573 HAS SOUS 1429031 HAS SOUPS 1429031 WITH SCORE 1430576.573
AT ITER 1166 NEW BEST:: SOT 2928067 SOS 1545544 HAS SOPS 1545544 HAS SOUS 1428928 HAS SOUPS 1428928 WITH SCORE 1430473.544
AT ITER 1168 NEW BEST:: SOT 2927753 SOS 1545317 HAS SOPS 1545317 HAS SOUS 1428744 HAS SOUPS 1428744 WITH SCORE 1430289.317
AT ITER 1170 NEW BEST:: SOT 2926694 SOS 1547235 HAS SOPS 1547235 HAS SOUS 1427712 HAS SOUPS 1427712 WITH SCORE 1429259.235
AT ITER 1174 NEW BEST:: SOT 2926791 SOS 1547317 HAS SOPS 1547317 HAS SOUS 1427243 HAS SOUPS 1427243 WITH SCORE 1428790.317
AT ITER 1176 NEW BEST:: SOT 2926791 SOS 1547250 HAS SOPS 1547250 HAS SOUS 1427243 HAS SOUPS 1427243 WITH SCORE 1428790.25
AT ITER 1179 NEW BEST:: SOT 2926791 SOS 1546912 HAS SOPS 1546912 HAS SOUS 1427243 HAS SOUPS 1427243 WITH SCORE 1428789.912
AT ITER 1180 NEW BEST:: SOT 2924945 SOS 1546849 HAS SOPS 1546849 HAS SOUS 1427215 HAS SOUPS 1427215 WITH SCORE 1428761.849
AT ITER 1184 NEW BEST:: SOT 2923770 SOS 1549949 HAS SOPS 1549949 HAS SOUS 1426721 HAS SOUPS 1426721 WITH SCORE 1428270.949
AT ITER 1185 NEW BEST:: SOT 2923770 SOS 1549916 HAS SOPS 1549916 HAS SOUS 1426721 HAS SOUPS 1426721 WITH SCORE 1428270.916
AT ITER 1189 NEW BEST:: SOT 2923301 SOS 1549589 HAS SOPS 1549589 HAS SOUS 1426394 HAS SOUPS 1426394 WITH SCORE 1427943.589
AT ITER 1191 NEW BEST:: SOT 2923301 SOS 1549182 HAS SOPS 1549182 HAS SOUS 1426394 HAS SOUPS 1426394 WITH SCORE 1427943.182
AT ITER 1193 NEW BEST:: SOT 2923287 SOS 1549378 HAS SOPS 1549378 HAS SOUS 1426380 HAS SOUPS 1426380 WITH SCORE 1427929.378
AT ITER 1194 NEW BEST:: SOT 2923287 SOS 1549312 HAS SOPS 1549312 HAS SOUS 1426380 HAS SOUPS 1426380 WITH SCORE 1427929.312
AT ITER 1198 NEW BEST:: SOT 2923287 SOS 1549232 HAS SOPS 1549232 HAS SOUS 1426380 HAS SOUPS 1426380 WITH SCORE 1427929.232
AT ITER 1199 NEW BEST:: SOT 2923287 SOS 1548819 HAS SOPS 1548819 HAS SOUS 1426380 HAS SOUPS 1426380 WITH SCORE 1427928.819
AT ITER 1201 NEW BEST:: SOT 2923018 SOS 1548243 HAS SOPS 1548243 HAS SOUS 1425904 HAS SOUPS 1425904 WITH SCORE 1427452.243
AT ITER 1205 NEW BEST:: SOT 2923167 SOS 1548294 HAS SOPS 1548294 HAS SOUS 1425837 HAS SOUPS 1425837 WITH SCORE 1427385.294
AT ITER 1212 NEW BEST:: SOT 2923167 SOS 1547786 HAS SOPS 1547786 HAS SOUS 1425837 HAS SOUPS 1425837 WITH SCORE 1427384.786
AT ITER 1221 NEW BEST:: SOT 2921417 SOS 1550364 HAS SOPS 1550364 HAS SOUS 1425782 HAS SOUPS 1425782 WITH SCORE 1427332.364
AT ITER 1225 NEW BEST:: SOT 2920914 SOS 1549861 HAS SOPS 1549861 HAS SOUS 1425279 HAS SOUPS 1425279 WITH SCORE 1426828.861
AT ITER 1227 NEW BEST:: SOT 2919945 SOS 1550247 HAS SOPS 1550247 HAS SOUS 1424972 HAS SOUPS 1424972 WITH SCORE 1426522.247
AT ITER 1233 NEW BEST:: SOT 2919019 SOS 1549321 HAS SOPS 1549321 HAS SOUS 1424046 HAS SOUPS 1424046 WITH SCORE 1425595.321
AT ITER 1249 NEW BEST:: SOT 2917189 SOS 1547715 HAS SOPS 1547715 HAS SOUS 1422427 HAS SOUPS 1422427 WITH SCORE 1423974.715
AT ITER 1250 NEW BEST:: SOT 2916744 SOS 1548160 HAS SOPS 1548160 HAS SOUS 1421982 HAS SOUPS 1421982 WITH SCORE 1423530.16
AT ITER 1256 NEW BEST:: SOT 2916744 SOS 1548065 HAS SOPS 1548065 HAS SOUS 1421982 HAS SOUPS 1421982 WITH SCORE 1423530.065
AT ITER 1257 NEW BEST:: SOT 2916323 SOS 1548788 HAS SOPS 1548788 HAS SOUS 1421561 HAS SOUPS 1421561 WITH SCORE 1423109.788
AT ITER 1260 NEW BEST:: SOT 2916323 SOS 1548788 HAS SOPS 1548788 HAS SOUS 1421558 HAS SOUPS 1421558 WITH SCORE 1423106.788
AT ITER 1267 NEW BEST:: SOT 2914956 SOS 1548896 HAS SOPS 1548896 HAS SOUS 1420515 HAS SOUPS 1420515 WITH SCORE 1422063.896
AT ITER 1275 NEW BEST:: SOT 2914261 SOS 1548773 HAS SOPS 1548773 HAS SOUS 1419895 HAS SOUPS 1419895 WITH SCORE 1421443.773
AT ITER 1280 NEW BEST:: SOT 2913220 SOS 1548213 HAS SOPS 1548213 HAS SOUS 1419353 HAS SOUPS 1419353 WITH SCORE 1420901.213
AT ITER 1281 NEW BEST:: SOT 2911366 SOS 1547115 HAS SOPS 1547115 HAS SOUS 1417575 HAS SOUPS 1417575 WITH SCORE 1419122.115
AT ITER 1293 NEW BEST:: SOT 2910767 SOS 1546657 HAS SOPS 1546657 HAS SOUS 1417014 HAS SOUPS 1417014 WITH SCORE 1418560.657
AT ITER 1300 NEW BEST:: SOT 2910767 SOS 1546338 HAS SOPS 1546338 HAS SOUS 1416838 HAS SOUPS 1416838 WITH SCORE 1418384.338
AT ITER 1301 NEW BEST:: SOT 2909055 SOS 1545639 HAS SOPS 1545639 HAS SOUS 1415159 HAS SOUPS 1415159 WITH SCORE 1416704.639
AT ITER 1302 NEW BEST:: SOT 2908749 SOS 1545291 HAS SOPS 1545291 HAS SOUS 1414733 HAS SOUPS 1414733 WITH SCORE 1416278.291
AT ITER 1310 NEW BEST:: SOT 2908749 SOS 1545252 HAS SOPS 1545252 HAS SOUS 1414733 HAS SOUPS 1414733 WITH SCORE 1416278.252
AT ITER 1312 NEW BEST:: SOT 2908749 SOS 1545500 HAS SOPS 1545500 HAS SOUS 1414728 HAS SOUPS 1414728 WITH SCORE 1416273.5
AT ITER 1313 NEW BEST:: SOT 2908749 SOS 1544579 HAS SOPS 1544579 HAS SOUS 1414620 HAS SOUPS 1414620 WITH SCORE 1416164.579
AT ITER 1322 NEW BEST:: SOT 2908749 SOS 1544691 HAS SOPS 1544691 HAS SOUS 1414509 HAS SOUPS 1414509 WITH SCORE 1416053.691
AT ITER 1326 NEW BEST:: SOT 2908518 SOS 1544676 HAS SOPS 1544676 HAS SOUS 1414494 HAS SOUPS 1414494 WITH SCORE 1416038.676
AT ITER 1337 NEW BEST:: SOT 2908518 SOS 1544557 HAS SOPS 1544557 HAS SOUS 1414494 HAS SOUPS 1414494 WITH SCORE 1416038.557
AT ITER 1340 NEW BEST:: SOT 2907320 SOS 1547345 HAS SOPS 1547345 HAS SOUS 1413920 HAS SOUPS 1413920 WITH SCORE 1415467.345
AT ITER 1342 NEW BEST:: SOT 2907140 SOS 1547255 HAS SOPS 1547255 HAS SOUS 1413830 HAS SOUPS 1413830 WITH SCORE 1415377.255
AT ITER 1346 NEW BEST:: SOT 2907140 SOS 1547086 HAS SOPS 1547086 HAS SOUS 1413830 HAS SOUPS 1413830 WITH SCORE 1415377.086
AT ITER 1353 NEW BEST:: SOT 2907289 SOS 1547267 HAS SOPS 1547267 HAS SOUS 1413591 HAS SOUPS 1413591 WITH SCORE 1415138.267
AT ITER 1361 NEW BEST:: SOT 2906474 SOS 1552183 HAS SOPS 1552183 HAS SOUS 1413425 HAS SOUPS 1413425 WITH SCORE 1414977.183
AT ITER 1366 NEW BEST:: SOT 2906796 SOS 1552093 HAS SOPS 1552093 HAS SOUS 1413268 HAS SOUPS 1413268 WITH SCORE 1414820.093
AT ITER 1369 NEW BEST:: SOT 2906796 SOS 1552082 HAS SOPS 1552082 HAS SOUS 1413268 HAS SOUPS 1413268 WITH SCORE 1414820.082
AT ITER 1371 NEW BEST:: SOT 2906796 SOS 1552007 HAS SOPS 1552007 HAS SOUS 1413268 HAS SOUPS 1413268 WITH SCORE 1414820.007
AT ITER 1375 NEW BEST:: SOT 2906651 SOS 1552178 HAS SOPS 1552178 HAS SOUS 1413123 HAS SOUPS 1413123 WITH SCORE 1414675.178
AT ITER 1384 NEW BEST:: SOT 2906651 SOS 1552012 HAS SOPS 1552012 HAS SOUS 1413123 HAS SOUPS 1413123 WITH SCORE 1414675.012
AT ITER 1386 NEW BEST:: SOT 2906552 SOS 1551520 HAS SOPS 1551520 HAS SOUS 1413071 HAS SOUPS 1413071 WITH SCORE 1414622.52
AT ITER 1388 NEW BEST:: SOT 2906134 SOS 1551270 HAS SOPS 1551270 HAS SOUS 1412821 HAS SOUPS 1412821 WITH SCORE 1414372.27
AT ITER 1389 NEW BEST:: SOT 2906134 SOS 1551218 HAS SOPS 1551218 HAS SOUS 1412821 HAS SOUPS 1412821 WITH SCORE 1414372.218
AT ITER 1391 NEW BEST:: SOT 2906134 SOS 1550469 HAS SOPS 1550469 HAS SOUS 1412821 HAS SOUPS 1412821 WITH SCORE 1414371.469
AT ITER 1398 NEW BEST:: SOT 2904805 SOS 1549525 HAS SOPS 1549525 HAS SOUS 1412038 HAS SOUPS 1412038 WITH SCORE 1413587.525
AT ITER 1404 NEW BEST:: SOT 2904789 SOS 1549572 HAS SOPS 1549572 HAS SOUS 1411871 HAS SOUPS 1411871 WITH SCORE 1413420.572
AT ITER 1405 NEW BEST:: SOT 2903438 SOS 1550659 HAS SOPS 1550659 HAS SOUS 1410520 HAS SOUPS 1410520 WITH SCORE 1412070.659
AT ITER 1416 NEW BEST:: SOT 2903438 SOS 1549828 HAS SOPS 1549828 HAS SOUS 1410520 HAS SOUPS 1410520 WITH SCORE 1412069.828
AT ITER 1418 NEW BEST:: SOT 2903566 SOS 1549043 HAS SOPS 1549043 HAS SOUS 1409559 HAS SOUPS 1409559 WITH SCORE 1411108.043
AT ITER 1421 NEW BEST:: SOT 2903265 SOS 1549043 HAS SOPS 1549043 HAS SOUS 1409421 HAS SOUPS 1409421 WITH SCORE 1410970.043
AT ITER 1423 NEW BEST:: SOT 2903455 SOS 1549097 HAS SOPS 1549097 HAS SOUS 1409321 HAS SOUPS 1409321 WITH SCORE 1410870.097
AT ITER 1424 NEW BEST:: SOT 2903615 SOS 1548542 HAS SOPS 1548542 HAS SOUS 1408720 HAS SOUPS 1408720 WITH SCORE 1410268.542
AT ITER 1428 NEW BEST:: SOT 2902286 SOS 1547352 HAS SOPS 1547352 HAS SOUS 1407536 HAS SOUPS 1407536 WITH SCORE 1409083.352
AT ITER 1429 NEW BEST:: SOT 2902524 SOS 1547383 HAS SOPS 1547383 HAS SOUS 1407463 HAS SOUPS 1407463 WITH SCORE 1409010.383
AT ITER 1430 NEW BEST:: SOT 2902381 SOS 1547383 HAS SOPS 1547383 HAS SOUS 1407320 HAS SOUPS 1407320 WITH SCORE 1408867.383
AT ITER 1445 NEW BEST:: SOT 2902381 SOS 1546862 HAS SOPS 1546862 HAS SOUS 1407320 HAS SOUPS 1407320 WITH SCORE 1408866.862
AT ITER 1450 NEW BEST:: SOT 2902381 SOS 1546614 HAS SOPS 1546614 HAS SOUS 1407320 HAS SOUPS 1407320 WITH SCORE 1408866.614
AT ITER 1451 NEW BEST:: SOT 2902327 SOS 1546551 HAS SOPS 1546551 HAS SOUS 1407257 HAS SOUPS 1407257 WITH SCORE 1408803.551
AT ITER 1454 NEW BEST:: SOT 2901289 SOS 1546982 HAS SOPS 1546982 HAS SOUS 1405590 HAS SOUPS 1405590 WITH SCORE 1407136.982
AT ITER 1460 NEW BEST:: SOT 2901289 SOS 1546702 HAS SOPS 1546702 HAS SOUS 1405590 HAS SOUPS 1405590 WITH SCORE 1407136.702
AT ITER 1462 NEW BEST:: SOT 2901289 SOS 1546187 HAS SOPS 1546187 HAS SOUS 1405590 HAS SOUPS 1405590 WITH SCORE 1407136.187
AT ITER 1465 NEW BEST:: SOT 2900519 SOS 1545821 HAS SOPS 1545821 HAS SOUS 1405005 HAS SOUPS 1405005 WITH SCORE 1406550.821
AT ITER 1469 NEW BEST:: SOT 2900519 SOS 1545737 HAS SOPS 1545737 HAS SOUS 1405005 HAS SOUPS 1405005 WITH SCORE 1406550.737
AT ITER 1472 NEW BEST:: SOT 2899861 SOS 1546033 HAS SOPS 1546033 HAS SOUS 1404841 HAS SOUPS 1404841 WITH SCORE 1406387.033
AT ITER 1476 NEW BEST:: SOT 2899792 SOS 1545964 HAS SOPS 1545964 HAS SOUS 1404772 HAS SOUPS 1404772 WITH SCORE 1406317.964
AT ITER 1482 NEW BEST:: SOT 2899792 SOS 1545809 HAS SOPS 1545809 HAS SOUS 1404653 HAS SOUPS 1404653 WITH SCORE 1406198.809
AT ITER 1492 NEW BEST:: SOT 2898442 SOS 1545563 HAS SOPS 1545563 HAS SOUS 1404400 HAS SOUPS 1404400 WITH SCORE 1405945.563
AT ITER 1495 NEW BEST:: SOT 2898442 SOS 1545394 HAS SOPS 1545394 HAS SOUS 1404400 HAS SOUPS 1404400 WITH SCORE 1405945.394
AT ITER 1508 NEW BEST:: SOT 2896616 SOS 1543808 HAS SOPS 1543808 HAS SOUS 1402668 HAS SOUPS 1402668 WITH SCORE 1404211.808
AT ITER 1510 NEW BEST:: SOT 2896536 SOS 1544275 HAS SOPS 1544275 HAS SOUS 1402381 HAS SOUPS 1402381 WITH SCORE 1403925.275
AT ITER 1511 NEW BEST:: SOT 2896536 SOS 1544273 HAS SOPS 1544273 HAS SOUS 1402381 HAS SOUPS 1402381 WITH SCORE 1403925.273
AT ITER 1515 NEW BEST:: SOT 2896559 SOS 1545264 HAS SOPS 1545264 HAS SOUS 1402293 HAS SOUPS 1402293 WITH SCORE 1403838.264
AT ITER 1518 NEW BEST:: SOT 2896424 SOS 1544315 HAS SOPS 1544315 HAS SOUS 1401730 HAS SOUPS 1401730 WITH SCORE 1403274.315
AT ITER 1519 NEW BEST:: SOT 2896296 SOS 1544136 HAS SOPS 1544136 HAS SOUS 1401517 HAS SOUPS 1401517 WITH SCORE 1403061.136
AT ITER 1521 NEW BEST:: SOT 2895836 SOS 1543674 HAS SOPS 1543674 HAS SOUS 1401025 HAS SOUPS 1401025 WITH SCORE 1402568.674
AT ITER 1527 NEW BEST:: SOT 2894122 SOS 1545650 HAS SOPS 1545650 HAS SOUS 1400592 HAS SOUPS 1400592 WITH SCORE 1402137.65
AT ITER 1528 NEW BEST:: SOT 2894184 SOS 1541690 HAS SOPS 1541690 HAS SOUS 1400545 HAS SOUPS 1400545 WITH SCORE 1402086.69
AT ITER 1530 NEW BEST:: SOT 2893956 SOS 1541839 HAS SOPS 1541839 HAS SOUS 1400317 HAS SOUPS 1400317 WITH SCORE 1401858.839
AT ITER 1535 NEW BEST:: SOT 2893956 SOS 1541713 HAS SOPS 1541713 HAS SOUS 1400317 HAS SOUPS 1400317 WITH SCORE 1401858.713
AT ITER 1537 NEW BEST:: SOT 2893956 SOS 1541675 HAS SOPS 1541675 HAS SOUS 1400317 HAS SOUPS 1400317 WITH SCORE 1401858.675
AT ITER 1542 NEW BEST:: SOT 2893956 SOS 1541556 HAS SOPS 1541556 HAS SOUS 1400317 HAS SOUPS 1400317 WITH SCORE 1401858.556
AT ITER 1545 NEW BEST:: SOT 2893559 SOS 1542135 HAS SOPS 1542135 HAS SOUS 1399920 HAS SOUPS 1399920 WITH SCORE 1401462.135
AT ITER 1560 NEW BEST:: SOT 2893559 SOS 1541421 HAS SOPS 1541421 HAS SOUS 1399920 HAS SOUPS 1399920 WITH SCORE 1401461.421
AT ITER 1574 NEW BEST:: SOT 2893708 SOS 1541047 HAS SOPS 1541047 HAS SOUS 1399403 HAS SOUPS 1399403 WITH SCORE 1400944.047
AT ITER 1591 NEW BEST:: SOT 2893708 SOS 1540722 HAS SOPS 1540722 HAS SOUS 1399403 HAS SOUPS 1399403 WITH SCORE 1400943.722
AT ITER 1592 NEW BEST:: SOT 2893376 SOS 1540390 HAS SOPS 1540390 HAS SOUS 1398835 HAS SOUPS 1398835 WITH SCORE 1400375.39
AT ITER 1601 NEW BEST:: SOT 2892267 SOS 1542334 HAS SOPS 1542334 HAS SOUS 1398613 HAS SOUPS 1398613 WITH SCORE 1400155.334
AT ITER 1606 NEW BEST:: SOT 2892292 SOS 1542359 HAS SOPS 1542359 HAS SOUS 1398489 HAS SOUPS 1398489 WITH SCORE 1400031.359
AT ITER 1608 NEW BEST:: SOT 2892670 SOS 1542964 HAS SOPS 1542964 HAS SOUS 1398467 HAS SOUPS 1398467 WITH SCORE 1400009.964
AT ITER 1622 NEW BEST:: SOT 2890184 SOS 1540667 HAS SOPS 1540667 HAS SOUS 1396038 HAS SOUPS 1396038 WITH SCORE 1397578.667
AT ITER 1624 NEW BEST:: SOT 2889925 SOS 1539959 HAS SOPS 1539959 HAS SOUS 1395472 HAS SOUPS 1395472 WITH SCORE 1397011.959
AT ITER 1630 NEW BEST:: SOT 2889775 SOS 1540151 HAS SOPS 1540151 HAS SOUS 1395445 HAS SOUPS 1395445 WITH SCORE 1396985.151
AT ITER 1631 NEW BEST:: SOT 2888926 SOS 1539760 HAS SOPS 1539760 HAS SOUS 1394991 HAS SOUPS 1394991 WITH SCORE 1396530.76
AT ITER 1633 NEW BEST:: SOT 2889241 SOS 1540075 HAS SOPS 1540075 HAS SOUS 1394870 HAS SOUPS 1394870 WITH SCORE 1396410.075
AT ITER 1636 NEW BEST:: SOT 2887990 SOS 1543602 HAS SOPS 1543602 HAS SOUS 1394569 HAS SOUPS 1394569 WITH SCORE 1396112.602
AT ITER 1643 NEW BEST:: SOT 2887990 SOS 1544015 HAS SOPS 1544015 HAS SOUS 1394446 HAS SOUPS 1394446 WITH SCORE 1395990.015
AT ITER 1652 NEW BEST:: SOT 2885990 SOS 1547327 HAS SOPS 1547327 HAS SOUS 1392712 HAS SOUPS 1392712 WITH SCORE 1394259.327
AT ITER 1654 NEW BEST:: SOT 2885981 SOS 1547318 HAS SOPS 1547318 HAS SOUS 1392703 HAS SOUPS 1392703 WITH SCORE 1394250.318
AT ITER 1656 NEW BEST:: SOT 2885544 SOS 1547018 HAS SOPS 1547018 HAS SOUS 1392403 HAS SOUPS 1392403 WITH SCORE 1393950.018
AT ITER 1659 NEW BEST:: SOT 2885016 SOS 1547912 HAS SOPS 1547912 HAS SOUS 1392223 HAS SOUPS 1392223 WITH SCORE 1393770.912
AT ITER 1665 NEW BEST:: SOT 2883831 SOS 1547350 HAS SOPS 1547350 HAS SOUS 1391562 HAS SOUPS 1391562 WITH SCORE 1393109.35
AT ITER 1680 NEW BEST:: SOT 2883831 SOS 1547143 HAS SOPS 1547143 HAS SOUS 1391562 HAS SOUPS 1391562 WITH SCORE 1393109.143
AT ITER 1683 NEW BEST:: SOT 2883950 SOS 1547227 HAS SOPS 1547227 HAS SOUS 1391360 HAS SOUPS 1391360 WITH SCORE 1392907.227
AT ITER 1685 NEW BEST:: SOT 2883950 SOS 1547077 HAS SOPS 1547077 HAS SOUS 1391230 HAS SOUPS 1391230 WITH SCORE 1392777.077
AT ITER 1688 NEW BEST:: SOT 2884128 SOS 1545859 HAS SOPS 1545859 HAS SOUS 1390895 HAS SOUPS 1390895 WITH SCORE 1392440.859
AT ITER 1694 NEW BEST:: SOT 2884128 SOS 1545899 HAS SOPS 1545899 HAS SOUS 1390872 HAS SOUPS 1390872 WITH SCORE 1392417.899
AT ITER 1695 NEW BEST:: SOT 2883334 SOS 1546744 HAS SOPS 1546744 HAS SOUS 1390810 HAS SOUPS 1390810 WITH SCORE 1392356.744
AT ITER 1697 NEW BEST:: SOT 2882986 SOS 1546486 HAS SOPS 1546486 HAS SOUS 1390557 HAS SOUPS 1390557 WITH SCORE 1392103.486
AT ITER 1700 NEW BEST:: SOT 2881166 SOS 1549139 HAS SOPS 1549139 HAS SOUS 1389396 HAS SOUPS 1389396 WITH SCORE 1390945.139
AT ITER 1702 NEW BEST:: SOT 2881166 SOS 1548549 HAS SOPS 1548549 HAS SOUS 1389396 HAS SOUPS 1389396 WITH SCORE 1390944.549
AT ITER 1710 NEW BEST:: SOT 2879013 SOS 1547007 HAS SOPS 1547007 HAS SOUS 1387802 HAS SOUPS 1387802 WITH SCORE 1389349.007
AT ITER 1715 NEW BEST:: SOT 2878917 SOS 1546911 HAS SOPS 1546911 HAS SOUS 1387610 HAS SOUPS 1387610 WITH SCORE 1389156.911
AT ITER 1717 NEW BEST:: SOT 2878764 SOS 1546426 HAS SOPS 1546426 HAS SOUS 1387412 HAS SOUPS 1387412 WITH SCORE 1388958.426
AT ITER 1718 NEW BEST:: SOT 2878764 SOS 1545733 HAS SOPS 1545733 HAS SOUS 1387287 HAS SOUPS 1387287 WITH SCORE 1388832.733
AT ITER 1720 NEW BEST:: SOT 2877735 SOS 1544933 HAS SOPS 1544933 HAS SOUS 1386478 HAS SOUPS 1386478 WITH SCORE 1388022.933
AT ITER 1726 NEW BEST:: SOT 2877735 SOS 1544856 HAS SOPS 1544856 HAS SOUS 1386478 HAS SOUPS 1386478 WITH SCORE 1388022.856
AT ITER 1731 NEW BEST:: SOT 2877735 SOS 1544802 HAS SOPS 1544802 HAS SOUS 1386477 HAS SOUPS 1386477 WITH SCORE 1388021.802
AT ITER 1732 NEW BEST:: SOT 2877735 SOS 1544700 HAS SOPS 1544700 HAS SOUS 1386375 HAS SOUPS 1386375 WITH SCORE 1387919.7
AT ITER 1736 NEW BEST:: SOT 2875612 SOS 1554453 HAS SOPS 1554453 HAS SOUS 1386059 HAS SOUPS 1386059 WITH SCORE 1387613.453
AT ITER 1739 NEW BEST:: SOT 2875612 SOS 1554427 HAS SOPS 1554427 HAS SOUS 1386021 HAS SOUPS 1386021 WITH SCORE 1387575.427
AT ITER 1741 NEW BEST:: SOT 2875612 SOS 1554242 HAS SOPS 1554242 HAS SOUS 1386021 HAS SOUPS 1386021 WITH SCORE 1387575.242
AT ITER 1752 NEW BEST:: SOT 2872825 SOS 1553362 HAS SOPS 1553362 HAS SOUS 1384692 HAS SOUPS 1384692 WITH SCORE 1386245.362
AT ITER 1755 NEW BEST:: SOT 2871074 SOS 1552618 HAS SOPS 1552618 HAS SOUS 1383132 HAS SOUPS 1383132 WITH SCORE 1384684.618
AT ITER 1759 NEW BEST:: SOT 2871074 SOS 1553164 HAS SOPS 1553164 HAS SOUS 1383126 HAS SOUPS 1383126 WITH SCORE 1384679.164
AT ITER 1762 NEW BEST:: SOT 2870536 SOS 1552736 HAS SOPS 1552736 HAS SOUS 1382808 HAS SOUPS 1382808 WITH SCORE 1384360.736
AT ITER 1763 NEW BEST:: SOT 2870536 SOS 1551684 HAS SOPS 1551684 HAS SOUS 1382771 HAS SOUPS 1382771 WITH SCORE 1384322.684
AT ITER 1767 NEW BEST:: SOT 2869814 SOS 1552026 HAS SOPS 1552026 HAS SOUS 1382638 HAS SOUPS 1382638 WITH SCORE 1384190.026
AT ITER 1775 NEW BEST:: SOT 2869769 SOS 1551990 HAS SOPS 1551990 HAS SOUS 1382593 HAS SOUPS 1382593 WITH SCORE 1384144.99
AT ITER 1780 NEW BEST:: SOT 2869769 SOS 1549177 HAS SOPS 1549177 HAS SOUS 1382579 HAS SOUPS 1382579 WITH SCORE 1384128.177
AT ITER 1785 NEW BEST:: SOT 2868190 SOS 1548343 HAS SOPS 1548343 HAS SOUS 1381624 HAS SOUPS 1381624 WITH SCORE 1383172.343
AT ITER 1786 NEW BEST:: SOT 2868190 SOS 1548794 HAS SOPS 1548794 HAS SOUS 1381612 HAS SOUPS 1381612 WITH SCORE 1383160.794
AT ITER 1787 NEW BEST:: SOT 2868004 SOS 1548732 HAS SOPS 1548732 HAS SOUS 1381489 HAS SOUPS 1381489 WITH SCORE 1383037.732
AT ITER 1790 NEW BEST:: SOT 2868004 SOS 1548668 HAS SOPS 1548668 HAS SOUS 1381489 HAS SOUPS 1381489 WITH SCORE 1383037.668
AT ITER 1795 NEW BEST:: SOT 2868004 SOS 1548507 HAS SOPS 1548507 HAS SOUS 1381489 HAS SOUPS 1381489 WITH SCORE 1383037.507
AT ITER 1803 NEW BEST:: SOT 2868004 SOS 1547385 HAS SOPS 1547385 HAS SOUS 1381376 HAS SOUPS 1381376 WITH SCORE 1382923.385
AT ITER 1810 NEW BEST:: SOT 2865954 SOS 1545493 HAS SOPS 1545493 HAS SOUS 1379385 HAS SOUPS 1379385 WITH SCORE 1380930.493
AT ITER 1813 NEW BEST:: SOT 2864142 SOS 1543891 HAS SOPS 1543891 HAS SOUS 1377769 HAS SOUPS 1377769 WITH SCORE 1379312.891
AT ITER 1825 NEW BEST:: SOT 2863688 SOS 1543598 HAS SOPS 1543598 HAS SOUS 1377366 HAS SOUPS 1377366 WITH SCORE 1378909.598
AT ITER 1847 NEW BEST:: SOT 2863673 SOS 1543583 HAS SOPS 1543583 HAS SOUS 1377351 HAS SOUPS 1377351 WITH SCORE 1378894.583
AT ITER 1848 NEW BEST:: SOT 2862516 SOS 1548209 HAS SOPS 1548209 HAS SOUS 1376548 HAS SOUPS 1376548 WITH SCORE 1378096.209
AT ITER 1853 NEW BEST:: SOT 2862573 SOS 1548914 HAS SOPS 1548914 HAS SOUS 1376087 HAS SOUPS 1376087 WITH SCORE 1377635.914
AT ITER 1859 NEW BEST:: SOT 2862921 SOS 1549644 HAS SOPS 1549644 HAS SOUS 1376012 HAS SOUPS 1376012 WITH SCORE 1377561.644
AT ITER 1867 NEW BEST:: SOT 2862737 SOS 1549585 HAS SOPS 1549585 HAS SOUS 1375564 HAS SOUPS 1375564 WITH SCORE 1377113.585
AT ITER 1878 NEW BEST:: SOT 2861216 SOS 1549010 HAS SOPS 1549010 HAS SOUS 1374992 HAS SOUPS 1374992 WITH SCORE 1376541.01
AT ITER 1891 NEW BEST:: SOT 2860431 SOS 1548313 HAS SOPS 1548313 HAS SOUS 1374378 HAS SOUPS 1374378 WITH SCORE 1375926.313
AT ITER 1894 NEW BEST:: SOT 2859136 SOS 1548871 HAS SOPS 1548871 HAS SOUS 1373935 HAS SOUPS 1373935 WITH SCORE 1375483.871
AT ITER 1896 NEW BEST:: SOT 2859246 SOS 1548552 HAS SOPS 1548552 HAS SOUS 1373726 HAS SOUPS 1373726 WITH SCORE 1375274.552
AT ITER 1900 NEW BEST:: SOT 2859359 SOS 1548365 HAS SOPS 1548365 HAS SOUS 1373605 HAS SOUPS 1373605 WITH SCORE 1375153.365
AT ITER 1911 NEW BEST:: SOT 2859359 SOS 1548040 HAS SOPS 1548040 HAS SOUS 1373300 HAS SOUPS 1373300 WITH SCORE 1374848.04
AT ITER 1912 NEW BEST:: SOT 2857895 SOS 1547297 HAS SOPS 1547297 HAS SOUS 1371836 HAS SOUPS 1371836 WITH SCORE 1373383.297
AT ITER 1916 NEW BEST:: SOT 2857865 SOS 1547267 HAS SOPS 1547267 HAS SOUS 1371708 HAS SOUPS 1371708 WITH SCORE 1373255.267
AT ITER 1917 NEW BEST:: SOT 2857865 SOS 1545901 HAS SOPS 1545901 HAS SOUS 1371708 HAS SOUPS 1371708 WITH SCORE 1373253.901
AT ITER 1927 NEW BEST:: SOT 2857536 SOS 1546061 HAS SOPS 1546061 HAS SOUS 1371379 HAS SOUPS 1371379 WITH SCORE 1372925.061
AT ITER 1928 NEW BEST:: SOT 2856597 SOS 1545284 HAS SOPS 1545284 HAS SOUS 1370785 HAS SOUPS 1370785 WITH SCORE 1372330.284
AT ITER 1937 NEW BEST:: SOT 2855357 SOS 1546572 HAS SOPS 1546572 HAS SOUS 1370628 HAS SOUPS 1370628 WITH SCORE 1372174.572
AT ITER 1941 NEW BEST:: SOT 2855357 SOS 1545454 HAS SOPS 1545454 HAS SOUS 1370628 HAS SOUPS 1370628 WITH SCORE 1372173.454
AT ITER 1951 NEW BEST:: SOT 2854200 SOS 1544436 HAS SOPS 1544436 HAS SOUS 1369610 HAS SOUPS 1369610 WITH SCORE 1371154.436
AT ITER 1954 NEW BEST:: SOT 2852739 SOS 1544263 HAS SOPS 1544263 HAS SOUS 1368648 HAS SOUPS 1368648 WITH SCORE 1370192.263
AT ITER 1957 NEW BEST:: SOT 2852739 SOS 1544167 HAS SOPS 1544167 HAS SOUS 1368648 HAS SOUPS 1368648 WITH SCORE 1370192.167
AT ITER 1959 NEW BEST:: SOT 2852739 SOS 1543792 HAS SOPS 1543792 HAS SOUS 1368648 HAS SOUPS 1368648 WITH SCORE 1370191.792
AT ITER 1962 NEW BEST:: SOT 2852408 SOS 1545487 HAS SOPS 1545487 HAS SOUS 1368317 HAS SOUPS 1368317 WITH SCORE 1369862.487
AT ITER 1965 NEW BEST:: SOT 2852408 SOS 1545472 HAS SOPS 1545472 HAS SOUS 1368317 HAS SOUPS 1368317 WITH SCORE 1369862.472
AT ITER 1968 NEW BEST:: SOT 2852099 SOS 1545093 HAS SOPS 1545093 HAS SOUS 1367985 HAS SOUPS 1367985 WITH SCORE 1369530.093
AT ITER 1969 NEW BEST:: SOT 2851581 SOS 1544969 HAS SOPS 1544969 HAS SOUS 1367861 HAS SOUPS 1367861 WITH SCORE 1369405.969
AT ITER 1970 NEW BEST:: SOT 2851581 SOS 1544777 HAS SOPS 1544777 HAS SOUS 1367813 HAS SOUPS 1367813 WITH SCORE 1369357.777
AT ITER 1971 NEW BEST:: SOT 2851146 SOS 1545519 HAS SOPS 1545519 HAS SOUS 1367378 HAS SOUPS 1367378 WITH SCORE 1368923.519
AT ITER 1973 NEW BEST:: SOT 2850644 SOS 1549940 HAS SOPS 1549940 HAS SOUS 1367170 HAS SOUPS 1367170 WITH SCORE 1368719.94
AT ITER 1974 NEW BEST:: SOT 2850644 SOS 1549940 HAS SOPS 1549940 HAS SOUS 1367144 HAS SOUPS 1367144 WITH SCORE 1368693.94
AT ITER 1975 NEW BEST:: SOT 2850610 SOS 1549872 HAS SOPS 1549872 HAS SOUS 1367111 HAS SOUPS 1367111 WITH SCORE 1368660.872
AT ITER 1980 NEW BEST:: SOT 2850610 SOS 1549844 HAS SOPS 1549844 HAS SOUS 1367111 HAS SOUPS 1367111 WITH SCORE 1368660.844
AT ITER 1992 NEW BEST:: SOT 2850610 SOS 1549572 HAS SOPS 1549572 HAS SOUS 1366907 HAS SOUPS 1366907 WITH SCORE 1368456.572
AT ITER 2001 NEW BEST:: SOT 2850575 SOS 1549961 HAS SOPS 1549961 HAS SOUS 1366872 HAS SOUPS 1366872 WITH SCORE 1368421.961
AT ITER 2004 NEW BEST:: SOT 2850501 SOS 1549887 HAS SOPS 1549887 HAS SOUS 1366843 HAS SOUPS 1366843 WITH SCORE 1368392.887
AT ITER 2005 NEW BEST:: SOT 2850501 SOS 1549420 HAS SOPS 1549420 HAS SOUS 1366843 HAS SOUPS 1366843 WITH SCORE 1368392.42
AT ITER 2007 NEW BEST:: SOT 2850501 SOS 1549157 HAS SOPS 1549157 HAS SOUS 1366843 HAS SOUPS 1366843 WITH SCORE 1368392.157
AT ITER 2012 NEW BEST:: SOT 2849734 SOS 1548930 HAS SOPS 1548930 HAS SOUS 1366738 HAS SOUPS 1366738 WITH SCORE 1368286.93
AT ITER 2017 NEW BEST:: SOT 2849734 SOS 1548721 HAS SOPS 1548721 HAS SOUS 1366529 HAS SOUPS 1366529 WITH SCORE 1368077.721
AT ITER 2022 NEW BEST:: SOT 2849134 SOS 1549566 HAS SOPS 1549566 HAS SOUS 1365723 HAS SOUPS 1365723 WITH SCORE 1367272.566
AT ITER 2033 NEW BEST:: SOT 2849134 SOS 1549126 HAS SOPS 1549126 HAS SOUS 1365723 HAS SOUPS 1365723 WITH SCORE 1367272.126
AT ITER 2036 NEW BEST:: SOT 2849134 SOS 1549106 HAS SOPS 1549106 HAS SOUS 1365703 HAS SOUPS 1365703 WITH SCORE 1367252.106
AT ITER 2052 NEW BEST:: SOT 2849134 SOS 1549020 HAS SOPS 1549020 HAS SOUS 1365703 HAS SOUPS 1365703 WITH SCORE 1367252.02
AT ITER 2058 NEW BEST:: SOT 2848802 SOS 1548751 HAS SOPS 1548751 HAS SOUS 1365434 HAS SOUPS 1365434 WITH SCORE 1366982.751
AT ITER 2063 NEW BEST:: SOT 2848802 SOS 1548721 HAS SOPS 1548721 HAS SOUS 1365419 HAS SOUPS 1365419 WITH SCORE 1366967.721
AT ITER 2068 NEW BEST:: SOT 2848802 SOS 1548566 HAS SOPS 1548566 HAS SOUS 1365419 HAS SOUPS 1365419 WITH SCORE 1366967.566
AT ITER 2074 NEW BEST:: SOT 2847445 SOS 1547563 HAS SOPS 1547563 HAS SOUS 1364866 HAS SOUPS 1364866 WITH SCORE 1366413.563
AT ITER 2081 NEW BEST:: SOT 2847445 SOS 1547563 HAS SOPS 1547563 HAS SOUS 1364819 HAS SOUPS 1364819 WITH SCORE 1366366.563
AT ITER 2088 NEW BEST:: SOT 2845355 SOS 1547385 HAS SOPS 1547385 HAS SOUS 1363308 HAS SOUPS 1363308 WITH SCORE 1364855.385
AT ITER 2090 NEW BEST:: SOT 2845241 SOS 1550487 HAS SOPS 1550487 HAS SOUS 1363247 HAS SOUPS 1363247 WITH SCORE 1364797.487
AT ITER 2092 NEW BEST:: SOT 2844536 SOS 1550017 HAS SOPS 1550017 HAS SOUS 1362542 HAS SOUPS 1362542 WITH SCORE 1364092.017
AT ITER 2093 NEW BEST:: SOT 2844279 SOS 1549648 HAS SOPS 1549648 HAS SOUS 1362329 HAS SOUPS 1362329 WITH SCORE 1363878.648
AT ITER 2096 NEW BEST:: SOT 2843790 SOS 1549485 HAS SOPS 1549485 HAS SOUS 1362192 HAS SOUPS 1362192 WITH SCORE 1363741.485
AT ITER 2100 NEW BEST:: SOT 2841818 SOS 1551628 HAS SOPS 1551628 HAS SOUS 1362053 HAS SOUPS 1362053 WITH SCORE 1363604.628
AT ITER 2101 NEW BEST:: SOT 2840385 SOS 1558361 HAS SOPS 1558361 HAS SOUS 1361847 HAS SOUPS 1361847 WITH SCORE 1363405.361
AT ITER 2105 NEW BEST:: SOT 2840385 SOS 1558315 HAS SOPS 1558315 HAS SOUS 1361847 HAS SOUPS 1361847 WITH SCORE 1363405.315
AT ITER 2117 NEW BEST:: SOT 2840345 SOS 1558162 HAS SOPS 1558162 HAS SOUS 1361543 HAS SOUPS 1361543 WITH SCORE 1363101.162
AT ITER 2121 NEW BEST:: SOT 2840345 SOS 1558060 HAS SOPS 1558060 HAS SOUS 1361543 HAS SOUPS 1361543 WITH SCORE 1363101.06
AT ITER 2122 NEW BEST:: SOT 2837900 SOS 1561335 HAS SOPS 1561335 HAS SOUS 1360726 HAS SOUPS 1360726 WITH SCORE 1362287.335
AT ITER 2126 NEW BEST:: SOT 2837953 SOS 1561748 HAS SOPS 1561748 HAS SOUS 1360526 HAS SOUPS 1360526 WITH SCORE 1362087.748
AT ITER 2128 NEW BEST:: SOT 2837419 SOS 1561822 HAS SOPS 1561822 HAS SOUS 1359992 HAS SOUPS 1359992 WITH SCORE 1361553.822
AT ITER 2130 NEW BEST:: SOT 2837419 SOS 1561732 HAS SOPS 1561732 HAS SOUS 1359992 HAS SOUPS 1359992 WITH SCORE 1361553.732
AT ITER 2138 NEW BEST:: SOT 2837480 SOS 1561793 HAS SOPS 1561793 HAS SOUS 1359410 HAS SOUPS 1359410 WITH SCORE 1360971.793
AT ITER 2144 NEW BEST:: SOT 2837480 SOS 1561674 HAS SOPS 1561674 HAS SOUS 1359410 HAS SOUPS 1359410 WITH SCORE 1360971.674
AT ITER 2162 NEW BEST:: SOT 2837480 SOS 1561338 HAS SOPS 1561338 HAS SOUS 1359214 HAS SOUPS 1359214 WITH SCORE 1360775.338
AT ITER 2164 NEW BEST:: SOT 2837480 SOS 1561078 HAS SOPS 1561078 HAS SOUS 1359214 HAS SOUPS 1359214 WITH SCORE 1360775.078
AT ITER 2166 NEW BEST:: SOT 2837051 SOS 1560649 HAS SOPS 1560649 HAS SOUS 1358785 HAS SOUPS 1358785 WITH SCORE 1360345.649
AT ITER 2173 NEW BEST:: SOT 2837051 SOS 1560797 HAS SOPS 1560797 HAS SOUS 1358761 HAS SOUPS 1358761 WITH SCORE 1360321.797
AT ITER 2174 NEW BEST:: SOT 2836305 SOS 1560349 HAS SOPS 1560349 HAS SOUS 1358211 HAS SOUPS 1358211 WITH SCORE 1359771.349
AT ITER 2176 NEW BEST:: SOT 2836305 SOS 1559221 HAS SOPS 1559221 HAS SOUS 1358211 HAS SOUPS 1358211 WITH SCORE 1359770.221
AT ITER 2190 NEW BEST:: SOT 2834833 SOS 1563514 HAS SOPS 1563514 HAS SOUS 1357256 HAS SOUPS 1357256 WITH SCORE 1358819.514
AT ITER 2192 NEW BEST:: SOT 2834833 SOS 1563424 HAS SOPS 1563424 HAS SOUS 1357256 HAS SOUPS 1357256 WITH SCORE 1358819.424
AT ITER 2196 NEW BEST:: SOT 2834904 SOS 1563469 HAS SOPS 1563469 HAS SOUS 1357169 HAS SOUPS 1357169 WITH SCORE 1358732.469
AT ITER 2200 NEW BEST:: SOT 2834904 SOS 1563084 HAS SOPS 1563084 HAS SOUS 1357169 HAS SOUPS 1357169 WITH SCORE 1358732.084
AT ITER 2202 NEW BEST:: SOT 2834904 SOS 1562975 HAS SOPS 1562975 HAS SOUS 1357169 HAS SOUPS 1357169 WITH SCORE 1358731.975
AT ITER 2205 NEW BEST:: SOT 2834669 SOS 1562834 HAS SOPS 1562834 HAS SOUS 1356981 HAS SOUPS 1356981 WITH SCORE 1358543.834
AT ITER 2206 NEW BEST:: SOT 2834669 SOS 1562485 HAS SOPS 1562485 HAS SOUS 1356794 HAS SOUPS 1356794 WITH SCORE 1358356.485
AT ITER 2207 NEW BEST:: SOT 2834669 SOS 1562435 HAS SOPS 1562435 HAS SOUS 1356794 HAS SOUPS 1356794 WITH SCORE 1358356.435
AT ITER 2214 NEW BEST:: SOT 2834669 SOS 1561635 HAS SOPS 1561635 HAS SOUS 1356794 HAS SOUPS 1356794 WITH SCORE 1358355.635
AT ITER 2220 NEW BEST:: SOT 2832793 SOS 1560340 HAS SOPS 1560340 HAS SOUS 1355097 HAS SOUPS 1355097 WITH SCORE 1356657.34
AT ITER 2224 NEW BEST:: SOT 2832225 SOS 1559984 HAS SOPS 1559984 HAS SOUS 1354741 HAS SOUPS 1354741 WITH SCORE 1356300.984
AT ITER 2231 NEW BEST:: SOT 2832185 SOS 1559944 HAS SOPS 1559944 HAS SOUS 1354701 HAS SOUPS 1354701 WITH SCORE 1356260.944
AT ITER 2234 NEW BEST:: SOT 2832185 SOS 1559876 HAS SOPS 1559876 HAS SOUS 1354701 HAS SOUPS 1354701 WITH SCORE 1356260.876
AT ITER 2244 NEW BEST:: SOT 2830101 SOS 1560235 HAS SOPS 1560235 HAS SOUS 1353162 HAS SOUPS 1353162 WITH SCORE 1354722.235
AT ITER 2246 NEW BEST:: SOT 2830101 SOS 1560235 HAS SOPS 1560235 HAS SOUS 1352714 HAS SOUPS 1352714 WITH SCORE 1354274.235
AT ITER 2247 NEW BEST:: SOT 2830101 SOS 1560187 HAS SOPS 1560187 HAS SOUS 1352714 HAS SOUPS 1352714 WITH SCORE 1354274.187
AT ITER 2248 NEW BEST:: SOT 2830101 SOS 1559627 HAS SOPS 1559627 HAS SOUS 1352714 HAS SOUPS 1352714 WITH SCORE 1354273.627
AT ITER 2257 NEW BEST:: SOT 2830086 SOS 1559423 HAS SOPS 1559423 HAS SOUS 1352561 HAS SOUPS 1352561 WITH SCORE 1354120.423
AT ITER 2266 NEW BEST:: SOT 2829092 SOS 1558931 HAS SOPS 1558931 HAS SOUS 1352066 HAS SOUPS 1352066 WITH SCORE 1353624.931
AT ITER 2268 NEW BEST:: SOT 2829092 SOS 1558776 HAS SOPS 1558776 HAS SOUS 1352066 HAS SOUPS 1352066 WITH SCORE 1353624.776
AT ITER 2280 NEW BEST:: SOT 2829092 SOS 1558727 HAS SOPS 1558727 HAS SOUS 1352066 HAS SOUPS 1352066 WITH SCORE 1353624.727
AT ITER 2281 NEW BEST:: SOT 2828749 SOS 1558491 HAS SOPS 1558491 HAS SOUS 1351830 HAS SOUPS 1351830 WITH SCORE 1353388.491
AT ITER 2283 NEW BEST:: SOT 2828749 SOS 1558272 HAS SOPS 1558272 HAS SOUS 1351830 HAS SOUPS 1351830 WITH SCORE 1353388.272
AT ITER 2288 NEW BEST:: SOT 2828083 SOS 1549858 HAS SOPS 1549858 HAS SOUS 1350889 HAS SOUPS 1350889 WITH SCORE 1352438.858
AT ITER 2292 NEW BEST:: SOT 2828083 SOS 1549685 HAS SOPS 1549685 HAS SOUS 1350889 HAS SOUPS 1350889 WITH SCORE 1352438.685
AT ITER 2294 NEW BEST:: SOT 2828077 SOS 1549679 HAS SOPS 1549679 HAS SOUS 1350883 HAS SOUPS 1350883 WITH SCORE 1352432.679
AT ITER 2297 NEW BEST:: SOT 2827941 SOS 1549679 HAS SOPS 1549679 HAS SOUS 1350747 HAS SOUPS 1350747 WITH SCORE 1352296.679
AT ITER 2300 NEW BEST:: SOT 2827941 SOS 1550094 HAS SOPS 1550094 HAS SOUS 1350259 HAS SOUPS 1350259 WITH SCORE 1351809.094
AT ITER 2305 NEW BEST:: SOT 2827941 SOS 1550075 HAS SOPS 1550075 HAS SOUS 1350259 HAS SOUPS 1350259 WITH SCORE 1351809.075
AT ITER 2322 NEW BEST:: SOT 2827545 SOS 1549742 HAS SOPS 1549742 HAS SOUS 1350169 HAS SOUPS 1350169 WITH SCORE 1351718.742
AT ITER 2325 NEW BEST:: SOT 2827545 SOS 1549740 HAS SOPS 1549740 HAS SOUS 1350169 HAS SOUPS 1350169 WITH SCORE 1351718.74
AT ITER 2336 NEW BEST:: SOT 2827545 SOS 1545317 HAS SOPS 1545317 HAS SOUS 1349728 HAS SOUPS 1349728 WITH SCORE 1351273.317
AT ITER 2339 NEW BEST:: SOT 2825169 SOS 1545706 HAS SOPS 1545706 HAS SOUS 1348388 HAS SOUPS 1348388 WITH SCORE 1349933.706
AT ITER 2340 NEW BEST:: SOT 2825169 SOS 1545675 HAS SOPS 1545675 HAS SOUS 1348388 HAS SOUPS 1348388 WITH SCORE 1349933.675
AT ITER 2341 NEW BEST:: SOT 2825169 SOS 1545486 HAS SOPS 1545486 HAS SOUS 1348388 HAS SOUPS 1348388 WITH SCORE 1349933.486
AT ITER 2352 NEW BEST:: SOT 2825169 SOS 1545453 HAS SOPS 1545453 HAS SOUS 1348355 HAS SOUPS 1348355 WITH SCORE 1349900.453
AT ITER 2353 NEW BEST:: SOT 2825169 SOS 1545085 HAS SOPS 1545085 HAS SOUS 1348355 HAS SOUPS 1348355 WITH SCORE 1349900.085
AT ITER 2357 NEW BEST:: SOT 2824769 SOS 1545155 HAS SOPS 1545155 HAS SOUS 1348155 HAS SOUPS 1348155 WITH SCORE 1349700.155
AT ITER 2362 NEW BEST:: SOT 2824683 SOS 1544654 HAS SOPS 1544654 HAS SOUS 1347933 HAS SOUPS 1347933 WITH SCORE 1349477.654
AT ITER 2365 NEW BEST:: SOT 2822256 SOS 1544890 HAS SOPS 1544890 HAS SOUS 1345678 HAS SOUPS 1345678 WITH SCORE 1347222.89
AT ITER 2372 NEW BEST:: SOT 2822256 SOS 1544390 HAS SOPS 1544390 HAS SOUS 1345678 HAS SOUPS 1345678 WITH SCORE 1347222.39
AT ITER 2379 NEW BEST:: SOT 2822160 SOS 1544030 HAS SOPS 1544030 HAS SOUS 1345485 HAS SOUPS 1345485 WITH SCORE 1347029.03
AT ITER 2389 NEW BEST:: SOT 2822160 SOS 1543830 HAS SOPS 1543830 HAS SOUS 1345485 HAS SOUPS 1345485 WITH SCORE 1347028.83
AT ITER 2390 NEW BEST:: SOT 2821270 SOS 1542940 HAS SOPS 1542940 HAS SOUS 1344296 HAS SOUPS 1344296 WITH SCORE 1345838.94
AT ITER 2393 NEW BEST:: SOT 2820521 SOS 1546944 HAS SOPS 1546944 HAS SOUS 1343838 HAS SOUPS 1343838 WITH SCORE 1345384.944
AT ITER 2401 NEW BEST:: SOT 2820521 SOS 1546710 HAS SOPS 1546710 HAS SOUS 1343838 HAS SOUPS 1343838 WITH SCORE 1345384.71
AT ITER 2404 NEW BEST:: SOT 2820521 SOS 1546517 HAS SOPS 1546517 HAS SOUS 1343838 HAS SOUPS 1343838 WITH SCORE 1345384.517
AT ITER 2407 NEW BEST:: SOT 2820521 SOS 1546517 HAS SOPS 1546517 HAS SOUS 1343792 HAS SOUPS 1343792 WITH SCORE 1345338.517
AT ITER 2420 NEW BEST:: SOT 2820521 SOS 1546468 HAS SOPS 1546468 HAS SOUS 1343792 HAS SOUPS 1343792 WITH SCORE 1345338.468
AT ITER 2421 NEW BEST:: SOT 2820521 SOS 1546276 HAS SOPS 1546276 HAS SOUS 1343792 HAS SOUPS 1343792 WITH SCORE 1345338.276
AT ITER 2425 NEW BEST:: SOT 2819807 SOS 1546541 HAS SOPS 1546541 HAS SOUS 1343391 HAS SOUPS 1343391 WITH SCORE 1344937.541
AT ITER 2426 NEW BEST:: SOT 2817654 SOS 1545023 HAS SOPS 1545023 HAS SOUS 1341726 HAS SOUPS 1341726 WITH SCORE 1343271.023
AT ITER 2433 NEW BEST:: SOT 2817654 SOS 1545023 HAS SOPS 1545023 HAS SOUS 1341544 HAS SOUPS 1341544 WITH SCORE 1343089.023
AT ITER 2443 NEW BEST:: SOT 2817328 SOS 1545001 HAS SOPS 1545001 HAS SOUS 1341374 HAS SOUPS 1341374 WITH SCORE 1342919.001
AT ITER 2448 NEW BEST:: SOT 2817328 SOS 1544946 HAS SOPS 1544946 HAS SOUS 1341374 HAS SOUPS 1341374 WITH SCORE 1342918.946
AT ITER 2449 NEW BEST:: SOT 2817328 SOS 1544806 HAS SOPS 1544806 HAS SOUS 1341331 HAS SOUPS 1341331 WITH SCORE 1342875.806
AT ITER 2452 NEW BEST:: SOT 2817166 SOS 1545229 HAS SOPS 1545229 HAS SOUS 1341169 HAS SOUPS 1341169 WITH SCORE 1342714.229
AT ITER 2454 NEW BEST:: SOT 2817057 SOS 1545268 HAS SOPS 1545268 HAS SOUS 1341126 HAS SOUPS 1341126 WITH SCORE 1342671.268
AT ITER 2464 NEW BEST:: SOT 2815870 SOS 1544743 HAS SOPS 1544743 HAS SOUS 1340661 HAS SOUPS 1340661 WITH SCORE 1342205.743
AT ITER 2465 NEW BEST:: SOT 2813926 SOS 1543129 HAS SOPS 1543129 HAS SOUS 1339169 HAS SOUPS 1339169 WITH SCORE 1340712.129
AT ITER 2469 NEW BEST:: SOT 2813091 SOS 1542657 HAS SOPS 1542657 HAS SOUS 1338565 HAS SOUPS 1338565 WITH SCORE 1340107.657
AT ITER 2473 NEW BEST:: SOT 2813091 SOS 1542418 HAS SOPS 1542418 HAS SOUS 1338565 HAS SOUPS 1338565 WITH SCORE 1340107.418
AT ITER 2474 NEW BEST:: SOT 2811821 SOS 1541458 HAS SOPS 1541458 HAS SOUS 1337629 HAS SOUPS 1337629 WITH SCORE 1339170.458
AT ITER 2475 NEW BEST:: SOT 2811821 SOS 1541168 HAS SOPS 1541168 HAS SOUS 1337629 HAS SOUPS 1337629 WITH SCORE 1339170.168
AT ITER 2480 NEW BEST:: SOT 2811861 SOS 1541088 HAS SOPS 1541088 HAS SOUS 1337629 HAS SOUPS 1337629 WITH SCORE 1339170.088
AT ITER 2486 NEW BEST:: SOT 2811861 SOS 1540734 HAS SOPS 1540734 HAS SOUS 1337629 HAS SOUPS 1337629 WITH SCORE 1339169.734
AT ITER 2490 NEW BEST:: SOT 2811861 SOS 1540718 HAS SOPS 1540718 HAS SOUS 1337613 HAS SOUPS 1337613 WITH SCORE 1339153.718
AT ITER 2494 NEW BEST:: SOT 2812057 SOS 1536447 HAS SOPS 1536447 HAS SOUS 1337332 HAS SOUPS 1337332 WITH SCORE 1338868.447
AT ITER 2497 NEW BEST:: SOT 2812459 SOS 1533112 HAS SOPS 1533112 HAS SOUS 1337175 HAS SOUPS 1337175 WITH SCORE 1338708.112
AT ITER 2505 NEW BEST:: SOT 2810228 SOS 1532381 HAS SOPS 1532381 HAS SOUS 1337161 HAS SOUPS 1337161 WITH SCORE 1338693.381
AT ITER 2511 NEW BEST:: SOT 2809236 SOS 1531563 HAS SOPS 1531563 HAS SOUS 1336382 HAS SOUPS 1336382 WITH SCORE 1337913.563
AT ITER 2523 NEW BEST:: SOT 2809236 SOS 1530865 HAS SOPS 1530865 HAS SOUS 1336349 HAS SOUPS 1336349 WITH SCORE 1337879.865
AT ITER 2528 NEW BEST:: SOT 2809154 SOS 1530701 HAS SOPS 1530701 HAS SOUS 1336185 HAS SOUPS 1336185 WITH SCORE 1337715.701
AT ITER 2529 NEW BEST:: SOT 2808910 SOS 1530529 HAS SOPS 1530529 HAS SOUS 1336013 HAS SOUPS 1336013 WITH SCORE 1337543.529
AT ITER 2535 NEW BEST:: SOT 2808910 SOS 1530196 HAS SOPS 1530196 HAS SOUS 1336013 HAS SOUPS 1336013 WITH SCORE 1337543.196
AT ITER 2542 NEW BEST:: SOT 2808926 SOS 1530107 HAS SOPS 1530107 HAS SOUS 1335922 HAS SOUPS 1335922 WITH SCORE 1337452.107
AT ITER 2544 NEW BEST:: SOT 2806546 SOS 1529537 HAS SOPS 1529537 HAS SOUS 1333780 HAS SOUPS 1333780 WITH SCORE 1335309.537
AT ITER 2545 NEW BEST:: SOT 2806546 SOS 1529494 HAS SOPS 1529494 HAS SOUS 1333780 HAS SOUPS 1333780 WITH SCORE 1335309.494
AT ITER 2555 NEW BEST:: SOT 2805638 SOS 1528878 HAS SOPS 1528878 HAS SOUS 1333530 HAS SOUPS 1333530 WITH SCORE 1335058.878
AT ITER 2565 NEW BEST:: SOT 2805638 SOS 1528813 HAS SOPS 1528813 HAS SOUS 1333530 HAS SOUPS 1333530 WITH SCORE 1335058.813
AT ITER 2570 NEW BEST:: SOT 2805636 SOS 1528809 HAS SOPS 1528809 HAS SOUS 1333528 HAS SOUPS 1333528 WITH SCORE 1335056.809
AT ITER 2572 NEW BEST:: SOT 2805309 SOS 1529412 HAS SOPS 1529412 HAS SOUS 1333201 HAS SOUPS 1333201 WITH SCORE 1334730.412
AT ITER 2587 NEW BEST:: SOT 2803597 SOS 1532225 HAS SOPS 1532225 HAS SOUS 1332208 HAS SOUPS 1332208 WITH SCORE 1333740.225
AT ITER 2607 NEW BEST:: SOT 2803212 SOS 1532018 HAS SOPS 1532018 HAS SOUS 1332001 HAS SOUPS 1332001 WITH SCORE 1333533.018
AT ITER 2616 NEW BEST:: SOT 2803190 SOS 1531996 HAS SOPS 1531996 HAS SOUS 1331979 HAS SOUPS 1331979 WITH SCORE 1333510.996
AT ITER 2620 NEW BEST:: SOT 2801070 SOS 1531050 HAS SOPS 1531050 HAS SOUS 1330114 HAS SOUPS 1330114 WITH SCORE 1331645.05
AT ITER 2624 NEW BEST:: SOT 2799608 SOS 1529549 HAS SOPS 1529549 HAS SOUS 1328747 HAS SOUPS 1328747 WITH SCORE 1330276.549
AT ITER 2627 NEW BEST:: SOT 2799608 SOS 1528932 HAS SOPS 1528932 HAS SOUS 1328747 HAS SOUPS 1328747 WITH SCORE 1330275.932
AT ITER 2629 NEW BEST:: SOT 2799608 SOS 1528859 HAS SOPS 1528859 HAS SOUS 1328747 HAS SOUPS 1328747 WITH SCORE 1330275.859
AT ITER 2632 NEW BEST:: SOT 2799608 SOS 1528498 HAS SOPS 1528498 HAS SOUS 1328747 HAS SOUPS 1328747 WITH SCORE 1330275.498
AT ITER 2642 NEW BEST:: SOT 2799093 SOS 1528179 HAS SOPS 1528179 HAS SOUS 1328428 HAS SOUPS 1328428 WITH SCORE 1329956.179
AT ITER 2649 NEW BEST:: SOT 2799093 SOS 1528179 HAS SOPS 1528179 HAS SOUS 1328217 HAS SOUPS 1328217 WITH SCORE 1329745.179
AT ITER 2671 NEW BEST:: SOT 2799066 SOS 1528121 HAS SOPS 1528121 HAS SOUS 1328144 HAS SOUPS 1328144 WITH SCORE 1329672.121
AT ITER 2676 NEW BEST:: SOT 2799066 SOS 1528520 HAS SOPS 1528520 HAS SOUS 1328054 HAS SOUPS 1328054 WITH SCORE 1329582.52
AT ITER 2682 NEW BEST:: SOT 2799066 SOS 1528476 HAS SOPS 1528476 HAS SOUS 1328054 HAS SOUPS 1328054 WITH SCORE 1329582.476
AT ITER 2683 NEW BEST:: SOT 2796775 SOS 1530074 HAS SOPS 1530074 HAS SOUS 1327875 HAS SOUPS 1327875 WITH SCORE 1329405.074
AT ITER 2692 NEW BEST:: SOT 2796682 SOS 1529981 HAS SOPS 1529981 HAS SOUS 1327856 HAS SOUPS 1327856 WITH SCORE 1329385.981
AT ITER 2694 NEW BEST:: SOT 2796108 SOS 1529595 HAS SOPS 1529595 HAS SOUS 1327470 HAS SOUPS 1327470 WITH SCORE 1328999.595
AT ITER 2696 NEW BEST:: SOT 2796108 SOS 1526791 HAS SOPS 1526791 HAS SOUS 1327067 HAS SOUPS 1327067 WITH SCORE 1328593.791
AT ITER 2697 NEW BEST:: SOT 2795810 SOS 1527560 HAS SOPS 1527560 HAS SOUS 1326919 HAS SOUPS 1326919 WITH SCORE 1328446.56
AT ITER 2699 NEW BEST:: SOT 2794456 SOS 1526598 HAS SOPS 1526598 HAS SOUS 1326366 HAS SOUPS 1326366 WITH SCORE 1327892.598
AT ITER 2703 NEW BEST:: SOT 2791212 SOS 1528890 HAS SOPS 1528890 HAS SOUS 1325073 HAS SOUPS 1325073 WITH SCORE 1326601.89
AT ITER 2708 NEW BEST:: SOT 2791160 SOS 1528721 HAS SOPS 1528721 HAS SOUS 1325042 HAS SOUPS 1325042 WITH SCORE 1326570.721
AT ITER 2709 NEW BEST:: SOT 2791062 SOS 1528979 HAS SOPS 1528979 HAS SOUS 1324622 HAS SOUPS 1324622 WITH SCORE 1326150.979
AT ITER 2728 NEW BEST:: SOT 2791062 SOS 1528979 HAS SOPS 1528979 HAS SOUS 1324511 HAS SOUPS 1324511 WITH SCORE 1326039.979
AT ITER 2744 NEW BEST:: SOT 2790116 SOS 1528299 HAS SOPS 1528299 HAS SOUS 1323897 HAS SOUPS 1323897 WITH SCORE 1325425.299
AT ITER 2745 NEW BEST:: SOT 2790116 SOS 1528104 HAS SOPS 1528104 HAS SOUS 1323897 HAS SOUPS 1323897 WITH SCORE 1325425.104
AT ITER 2748 NEW BEST:: SOT 2790116 SOS 1523979 HAS SOPS 1523979 HAS SOUS 1323596 HAS SOUPS 1323596 WITH SCORE 1325119.979
AT ITER 2751 NEW BEST:: SOT 2788737 SOS 1528292 HAS SOPS 1528292 HAS SOUS 1323510 HAS SOUPS 1323510 WITH SCORE 1325038.292
AT ITER 2756 NEW BEST:: SOT 2788473 SOS 1528028 HAS SOPS 1528028 HAS SOUS 1323459 HAS SOUPS 1323459 WITH SCORE 1324987.028
AT ITER 2767 NEW BEST:: SOT 2788473 SOS 1527948 HAS SOPS 1527948 HAS SOUS 1323459 HAS SOUPS 1323459 WITH SCORE 1324986.948
AT ITER 2768 NEW BEST:: SOT 2788473 SOS 1527655 HAS SOPS 1527655 HAS SOUS 1322894 HAS SOUPS 1322894 WITH SCORE 1324421.655
AT ITER 2772 NEW BEST:: SOT 2788399 SOS 1527581 HAS SOPS 1527581 HAS SOUS 1322795 HAS SOUPS 1322795 WITH SCORE 1324322.581
AT ITER 2782 NEW BEST:: SOT 2788399 SOS 1527459 HAS SOPS 1527459 HAS SOUS 1322795 HAS SOUPS 1322795 WITH SCORE 1324322.459
AT ITER 2796 NEW BEST:: SOT 2785719 SOS 1525948 HAS SOPS 1525948 HAS SOUS 1321425 HAS SOUPS 1321425 WITH SCORE 1322950.948
AT ITER 2803 NEW BEST:: SOT 2785804 SOS 1525782 HAS SOPS 1525782 HAS SOUS 1321412 HAS SOUPS 1321412 WITH SCORE 1322937.782
AT ITER 2806 NEW BEST:: SOT 2785804 SOS 1525752 HAS SOPS 1525752 HAS SOUS 1321412 HAS SOUPS 1321412 WITH SCORE 1322937.752
AT ITER 2808 NEW BEST:: SOT 2785804 SOS 1525661 HAS SOPS 1525661 HAS SOUS 1321412 HAS SOUPS 1321412 WITH SCORE 1322937.661
AT ITER 2819 NEW BEST:: SOT 2785804 SOS 1525575 HAS SOPS 1525575 HAS SOUS 1321412 HAS SOUPS 1321412 WITH SCORE 1322937.575
AT ITER 2822 NEW BEST:: SOT 2785804 SOS 1525220 HAS SOPS 1525220 HAS SOUS 1321412 HAS SOUPS 1321412 WITH SCORE 1322937.22
AT ITER 2826 NEW BEST:: SOT 2785804 SOS 1523884 HAS SOPS 1523884 HAS SOUS 1321412 HAS SOUPS 1321412 WITH SCORE 1322935.884
AT ITER 2832 NEW BEST:: SOT 2785216 SOS 1523654 HAS SOPS 1523654 HAS SOUS 1321228 HAS SOUPS 1321228 WITH SCORE 1322751.654
AT ITER 2841 NEW BEST:: SOT 2785216 SOS 1523333 HAS SOPS 1523333 HAS SOUS 1321228 HAS SOUPS 1321228 WITH SCORE 1322751.333
AT ITER 2844 NEW BEST:: SOT 2785216 SOS 1523143 HAS SOPS 1523143 HAS SOUS 1321228 HAS SOUPS 1321228 WITH SCORE 1322751.143
AT ITER 2849 NEW BEST:: SOT 2784663 SOS 1522821 HAS SOPS 1522821 HAS SOUS 1320836 HAS SOUPS 1320836 WITH SCORE 1322358.821
AT ITER 2850 NEW BEST:: SOT 2784281 SOS 1522572 HAS SOPS 1522572 HAS SOUS 1320457 HAS SOUPS 1320457 WITH SCORE 1321979.572
AT ITER 2852 NEW BEST:: SOT 2784358 SOS 1522499 HAS SOPS 1522499 HAS SOUS 1320348 HAS SOUPS 1320348 WITH SCORE 1321870.499
AT ITER 2858 NEW BEST:: SOT 2784485 SOS 1522626 HAS SOPS 1522626 HAS SOUS 1320329 HAS SOUPS 1320329 WITH SCORE 1321851.626
AT ITER 2859 NEW BEST:: SOT 2784678 SOS 1523095 HAS SOPS 1523095 HAS SOUS 1320324 HAS SOUPS 1320324 WITH SCORE 1321847.095
AT ITER 2866 NEW BEST:: SOT 2784678 SOS 1523017 HAS SOPS 1523017 HAS SOUS 1320324 HAS SOUPS 1320324 WITH SCORE 1321847.017
AT ITER 2870 NEW BEST:: SOT 2784651 SOS 1522990 HAS SOPS 1522990 HAS SOUS 1320297 HAS SOUPS 1320297 WITH SCORE 1321819.99
AT ITER 2885 NEW BEST:: SOT 2784474 SOS 1522823 HAS SOPS 1522823 HAS SOUS 1320001 HAS SOUPS 1320001 WITH SCORE 1321523.823
AT ITER 2892 NEW BEST:: SOT 2784474 SOS 1522394 HAS SOPS 1522394 HAS SOUS 1320001 HAS SOUPS 1320001 WITH SCORE 1321523.394
AT ITER 2896 NEW BEST:: SOT 2783264 SOS 1529722 HAS SOPS 1529722 HAS SOUS 1319725 HAS SOUPS 1319725 WITH SCORE 1321254.722
AT ITER 2900 NEW BEST:: SOT 2783264 SOS 1529668 HAS SOPS 1529668 HAS SOUS 1319725 HAS SOUPS 1319725 WITH SCORE 1321254.668
AT ITER 2901 NEW BEST:: SOT 2783264 SOS 1529592 HAS SOPS 1529592 HAS SOUS 1319725 HAS SOUPS 1319725 WITH SCORE 1321254.592
AT ITER 2904 NEW BEST:: SOT 2783264 SOS 1529390 HAS SOPS 1529390 HAS SOUS 1319725 HAS SOUPS 1319725 WITH SCORE 1321254.39
AT ITER 2905 NEW BEST:: SOT 2783094 SOS 1529220 HAS SOPS 1529220 HAS SOUS 1319409 HAS SOUPS 1319409 WITH SCORE 1320938.22
AT ITER 2907 NEW BEST:: SOT 2780709 SOS 1529021 HAS SOPS 1529021 HAS SOUS 1317295 HAS SOUPS 1317295 WITH SCORE 1318824.021
AT ITER 2924 NEW BEST:: SOT 2778490 SOS 1527075 HAS SOPS 1527075 HAS SOUS 1315341 HAS SOUPS 1315341 WITH SCORE 1316868.075
AT ITER 2925 NEW BEST:: SOT 2778369 SOS 1527071 HAS SOPS 1527071 HAS SOUS 1315291 HAS SOUPS 1315291 WITH SCORE 1316818.071
AT ITER 2928 NEW BEST:: SOT 2776996 SOS 1527414 HAS SOPS 1527414 HAS SOUS 1314737 HAS SOUPS 1314737 WITH SCORE 1316264.414
AT ITER 2942 NEW BEST:: SOT 2776996 SOS 1527260 HAS SOPS 1527260 HAS SOUS 1314737 HAS SOUPS 1314737 WITH SCORE 1316264.26
AT ITER 2943 NEW BEST:: SOT 2774354 SOS 1526418 HAS SOPS 1526418 HAS SOUS 1313878 HAS SOUPS 1313878 WITH SCORE 1315404.418
AT ITER 2949 NEW BEST:: SOT 2771777 SOS 1524410 HAS SOPS 1524410 HAS SOUS 1311776 HAS SOUPS 1311776 WITH SCORE 1313300.41
AT ITER 2954 NEW BEST:: SOT 2768537 SOS 1525901 HAS SOPS 1525901 HAS SOUS 1310952 HAS SOUPS 1310952 WITH SCORE 1312477.901
AT ITER 2966 NEW BEST:: SOT 2768390 SOS 1525803 HAS SOPS 1525803 HAS SOUS 1310854 HAS SOUPS 1310854 WITH SCORE 1312379.803
AT ITER 2968 NEW BEST:: SOT 2768356 SOS 1525741 HAS SOPS 1525741 HAS SOUS 1310753 HAS SOUPS 1310753 WITH SCORE 1312278.741
AT ITER 2969 NEW BEST:: SOT 2768265 SOS 1525503 HAS SOPS 1525503 HAS SOUS 1310630 HAS SOUPS 1310630 WITH SCORE 1312155.503
AT ITER 2971 NEW BEST:: SOT 2768265 SOS 1525464 HAS SOPS 1525464 HAS SOUS 1310630 HAS SOUPS 1310630 WITH SCORE 1312155.464
AT ITER 2972 NEW BEST:: SOT 2767996 SOS 1525334 HAS SOPS 1525334 HAS SOUS 1310500 HAS SOUPS 1310500 WITH SCORE 1312025.334
AT ITER 2975 NEW BEST:: SOT 2767996 SOS 1525118 HAS SOPS 1525118 HAS SOUS 1310500 HAS SOUPS 1310500 WITH SCORE 1312025.118
AT ITER 2976 NEW BEST:: SOT 2767996 SOS 1525048 HAS SOPS 1525048 HAS SOUS 1310500 HAS SOUPS 1310500 WITH SCORE 1312025.048
AT ITER 2977 NEW BEST:: SOT 2767996 SOS 1524819 HAS SOPS 1524819 HAS SOUS 1310500 HAS SOUPS 1310500 WITH SCORE 1312024.819
AT ITER 2997 NEW BEST:: SOT 2767996 SOS 1524798 HAS SOPS 1524798 HAS SOUS 1310500 HAS SOUPS 1310500 WITH SCORE 1312024.798
AT ITER 3000 NEW BEST:: SOT 2766186 SOS 1524167 HAS SOPS 1524167 HAS SOUS 1308924 HAS SOUPS 1308924 WITH SCORE 1310448.167
AT ITER 3009 NEW BEST:: SOT 2766422 SOS 1522462 HAS SOPS 1522462 HAS SOUS 1307492 HAS SOUPS 1307492 WITH SCORE 1309014.462
AT ITER 3023 NEW BEST:: SOT 2766416 SOS 1522456 HAS SOPS 1522456 HAS SOUS 1307486 HAS SOUPS 1307486 WITH SCORE 1309008.456
AT ITER 3027 NEW BEST:: SOT 2766416 SOS 1522040 HAS SOPS 1522040 HAS SOUS 1307478 HAS SOUPS 1307478 WITH SCORE 1309000.04
AT ITER 3031 NEW BEST:: SOT 2766376 SOS 1522111 HAS SOPS 1522111 HAS SOUS 1307390 HAS SOUPS 1307390 WITH SCORE 1308912.111
AT ITER 3038 NEW BEST:: SOT 2766333 SOS 1522068 HAS SOPS 1522068 HAS SOUS 1307143 HAS SOUPS 1307143 WITH SCORE 1308665.068
AT ITER 3057 NEW BEST:: SOT 2766303 SOS 1522038 HAS SOPS 1522038 HAS SOUS 1307113 HAS SOUPS 1307113 WITH SCORE 1308635.038
AT ITER 3083 NEW BEST:: SOT 2765361 SOS 1521214 HAS SOPS 1521214 HAS SOUS 1306275 HAS SOUPS 1306275 WITH SCORE 1307796.214
AT ITER 3092 NEW BEST:: SOT 2765361 SOS 1521025 HAS SOPS 1521025 HAS SOUS 1306275 HAS SOUPS 1306275 WITH SCORE 1307796.025
AT ITER 3103 NEW BEST:: SOT 2765264 SOS 1520801 HAS SOPS 1520801 HAS SOUS 1305823 HAS SOUPS 1305823 WITH SCORE 1307343.801
AT ITER 3106 NEW BEST:: SOT 2765505 SOS 1521042 HAS SOPS 1521042 HAS SOUS 1305734 HAS SOUPS 1305734 WITH SCORE 1307255.042
AT ITER 3122 NEW BEST:: SOT 2765505 SOS 1520923 HAS SOPS 1520923 HAS SOUS 1305534 HAS SOUPS 1305534 WITH SCORE 1307054.923
AT ITER 3130 NEW BEST:: SOT 2765439 SOS 1520824 HAS SOPS 1520824 HAS SOUS 1305435 HAS SOUPS 1305435 WITH SCORE 1306955.824
AT ITER 3140 NEW BEST:: SOT 2765816 SOS 1520808 HAS SOPS 1520808 HAS SOUS 1305347 HAS SOUPS 1305347 WITH SCORE 1306867.808
AT ITER 3144 NEW BEST:: SOT 2764680 SOS 1519903 HAS SOPS 1519903 HAS SOUS 1304275 HAS SOUPS 1304275 WITH SCORE 1305794.903
AT ITER 3145 NEW BEST:: SOT 2764533 SOS 1519777 HAS SOPS 1519777 HAS SOUS 1304128 HAS SOUPS 1304128 WITH SCORE 1305647.777
AT ITER 3146 NEW BEST:: SOT 2764533 SOS 1519701 HAS SOPS 1519701 HAS SOUS 1304128 HAS SOUPS 1304128 WITH SCORE 1305647.701
AT ITER 3149 NEW BEST:: SOT 2764523 SOS 1519761 HAS SOPS 1519761 HAS SOUS 1304108 HAS SOUPS 1304108 WITH SCORE 1305627.761
AT ITER 3152 NEW BEST:: SOT 2763426 SOS 1519055 HAS SOPS 1519055 HAS SOUS 1303176 HAS SOUPS 1303176 WITH SCORE 1304695.055
AT ITER 3156 NEW BEST:: SOT 2763278 SOS 1518907 HAS SOPS 1518907 HAS SOUS 1302929 HAS SOUPS 1302929 WITH SCORE 1304447.907
AT ITER 3168 NEW BEST:: SOT 2763278 SOS 1518901 HAS SOPS 1518901 HAS SOUS 1302929 HAS SOUPS 1302929 WITH SCORE 1304447.901
AT ITER 3172 NEW BEST:: SOT 2763089 SOS 1518799 HAS SOPS 1518799 HAS SOUS 1302466 HAS SOUPS 1302466 WITH SCORE 1303984.799
AT ITER 3174 NEW BEST:: SOT 2763089 SOS 1518777 HAS SOPS 1518777 HAS SOUS 1302466 HAS SOUPS 1302466 WITH SCORE 1303984.777
AT ITER 3177 NEW BEST:: SOT 2762503 SOS 1518393 HAS SOPS 1518393 HAS SOUS 1302082 HAS SOUPS 1302082 WITH SCORE 1303600.393
AT ITER 3189 NEW BEST:: SOT 2762290 SOS 1518180 HAS SOPS 1518180 HAS SOUS 1301869 HAS SOUPS 1301869 WITH SCORE 1303387.18
AT ITER 3192 NEW BEST:: SOT 2762216 SOS 1518106 HAS SOPS 1518106 HAS SOUS 1301795 HAS SOUPS 1301795 WITH SCORE 1303313.106
AT ITER 3194 NEW BEST:: SOT 2762199 SOS 1517428 HAS SOPS 1517428 HAS SOUS 1301325 HAS SOUPS 1301325 WITH SCORE 1302842.428
AT ITER 3205 NEW BEST:: SOT 2762199 SOS 1517428 HAS SOPS 1517428 HAS SOUS 1301187 HAS SOUPS 1301187 WITH SCORE 1302704.428
AT ITER 3214 NEW BEST:: SOT 2761097 SOS 1519136 HAS SOPS 1519136 HAS SOUS 1300769 HAS SOUPS 1300769 WITH SCORE 1302288.136
AT ITER 3215 NEW BEST:: SOT 2761097 SOS 1518888 HAS SOPS 1518888 HAS SOUS 1300521 HAS SOUPS 1300521 WITH SCORE 1302039.888
AT ITER 3216 NEW BEST:: SOT 2761097 SOS 1517952 HAS SOPS 1517952 HAS SOUS 1300521 HAS SOUPS 1300521 WITH SCORE 1302038.952
AT ITER 3219 NEW BEST:: SOT 2761097 SOS 1517767 HAS SOPS 1517767 HAS SOUS 1300271 HAS SOUPS 1300271 WITH SCORE 1301788.767
AT ITER 3223 NEW BEST:: SOT 2761097 SOS 1517767 HAS SOPS 1517767 HAS SOUS 1300196 HAS SOUPS 1300196 WITH SCORE 1301713.767
AT ITER 3224 NEW BEST:: SOT 2760199 SOS 1519406 HAS SOPS 1519406 HAS SOUS 1299818 HAS SOUPS 1299818 WITH SCORE 1301337.406
AT ITER 3226 NEW BEST:: SOT 2759846 SOS 1519214 HAS SOPS 1519214 HAS SOUS 1299797 HAS SOUPS 1299797 WITH SCORE 1301316.214
AT ITER 3238 NEW BEST:: SOT 2758453 SOS 1519836 HAS SOPS 1519836 HAS SOUS 1298652 HAS SOUPS 1298652 WITH SCORE 1300171.836
AT ITER 3244 NEW BEST:: SOT 2757421 SOS 1519672 HAS SOPS 1519672 HAS SOUS 1297917 HAS SOUPS 1297917 WITH SCORE 1299436.672
AT ITER 3248 NEW BEST:: SOT 2757881 SOS 1518834 HAS SOPS 1518834 HAS SOUS 1297077 HAS SOUPS 1297077 WITH SCORE 1298595.834
AT ITER 3249 NEW BEST:: SOT 2754566 SOS 1516011 HAS SOPS 1516011 HAS SOUS 1294805 HAS SOUPS 1294805 WITH SCORE 1296321.011
AT ITER 3256 NEW BEST:: SOT 2754482 SOS 1515955 HAS SOPS 1515955 HAS SOUS 1294749 HAS SOUPS 1294749 WITH SCORE 1296264.955
AT ITER 3264 NEW BEST:: SOT 2754191 SOS 1515583 HAS SOPS 1515583 HAS SOUS 1294229 HAS SOUPS 1294229 WITH SCORE 1295744.583
AT ITER 3266 NEW BEST:: SOT 2754099 SOS 1515088 HAS SOPS 1515088 HAS SOUS 1294137 HAS SOUPS 1294137 WITH SCORE 1295652.088
AT ITER 3283 NEW BEST:: SOT 2754099 SOS 1515298 HAS SOPS 1515298 HAS SOUS 1293833 HAS SOUPS 1293833 WITH SCORE 1295348.298
AT ITER 3287 NEW BEST:: SOT 2752871 SOS 1514368 HAS SOPS 1514368 HAS SOUS 1293676 HAS SOUPS 1293676 WITH SCORE 1295190.368
AT ITER 3294 NEW BEST:: SOT 2752871 SOS 1514331 HAS SOPS 1514331 HAS SOUS 1293638 HAS SOUPS 1293638 WITH SCORE 1295152.331
AT ITER 3300 NEW BEST:: SOT 2752968 SOS 1513814 HAS SOPS 1513814 HAS SOUS 1293638 HAS SOUPS 1293638 WITH SCORE 1295151.814
AT ITER 3302 NEW BEST:: SOT 2752790 SOS 1513549 HAS SOPS 1513549 HAS SOUS 1293286 HAS SOUPS 1293286 WITH SCORE 1294799.549
AT ITER 3310 NEW BEST:: SOT 2752790 SOS 1513523 HAS SOPS 1513523 HAS SOUS 1293247 HAS SOUPS 1293247 WITH SCORE 1294760.523
AT ITER 3335 NEW BEST:: SOT 2752790 SOS 1513508 HAS SOPS 1513508 HAS SOUS 1293247 HAS SOUPS 1293247 WITH SCORE 1294760.508
AT ITER 3344 NEW BEST:: SOT 2752790 SOS 1513174 HAS SOPS 1513174 HAS SOUS 1292619 HAS SOUPS 1292619 WITH SCORE 1294132.174
AT ITER 3348 NEW BEST:: SOT 2752790 SOS 1512589 HAS SOPS 1512589 HAS SOUS 1292444 HAS SOUPS 1292444 WITH SCORE 1293956.589
AT ITER 3354 NEW BEST:: SOT 2752790 SOS 1512402 HAS SOPS 1512402 HAS SOUS 1292118 HAS SOUPS 1292118 WITH SCORE 1293630.402
AT ITER 3363 NEW BEST:: SOT 2752785 SOS 1512115 HAS SOPS 1512115 HAS SOUS 1291928 HAS SOUPS 1291928 WITH SCORE 1293440.115
AT ITER 3374 NEW BEST:: SOT 2752785 SOS 1512056 HAS SOPS 1512056 HAS SOUS 1291928 HAS SOUPS 1291928 WITH SCORE 1293440.056
AT ITER 3380 NEW BEST:: SOT 2752785 SOS 1511991 HAS SOPS 1511991 HAS SOUS 1291928 HAS SOUPS 1291928 WITH SCORE 1293439.991
AT ITER 3381 NEW BEST:: SOT 2752785 SOS 1511771 HAS SOPS 1511771 HAS SOUS 1291928 HAS SOUPS 1291928 WITH SCORE 1293439.771
AT ITER 3384 NEW BEST:: SOT 2752785 SOS 1511606 HAS SOPS 1511606 HAS SOUS 1291928 HAS SOUPS 1291928 WITH SCORE 1293439.606
AT ITER 3391 NEW BEST:: SOT 2751886 SOS 1511433 HAS SOPS 1511433 HAS SOUS 1291764 HAS SOUPS 1291764 WITH SCORE 1293275.433
AT ITER 3397 NEW BEST:: SOT 2751886 SOS 1511433 HAS SOPS 1511433 HAS SOUS 1291756 HAS SOUPS 1291756 WITH SCORE 1293267.433
AT ITER 3402 NEW BEST:: SOT 2751401 SOS 1515551 HAS SOPS 1515551 HAS SOUS 1291653 HAS SOUPS 1291653 WITH SCORE 1293168.551
AT ITER 3403 NEW BEST:: SOT 2751401 SOS 1515551 HAS SOPS 1515551 HAS SOUS 1291564 HAS SOUPS 1291564 WITH SCORE 1293079.551
AT ITER 3405 NEW BEST:: SOT 2751401 SOS 1515923 HAS SOPS 1515923 HAS SOUS 1291320 HAS SOUPS 1291320 WITH SCORE 1292835.923
AT ITER 3418 NEW BEST:: SOT 2750477 SOS 1516820 HAS SOPS 1516820 HAS SOUS 1291272 HAS SOUPS 1291272 WITH SCORE 1292788.82
AT ITER 3425 NEW BEST:: SOT 2750477 SOS 1515803 HAS SOPS 1515803 HAS SOUS 1291272 HAS SOUPS 1291272 WITH SCORE 1292787.803
AT ITER 3428 NEW BEST:: SOT 2750477 SOS 1515544 HAS SOPS 1515544 HAS SOUS 1291272 HAS SOUPS 1291272 WITH SCORE 1292787.544
AT ITER 3429 NEW BEST:: SOT 2750477 SOS 1515559 HAS SOPS 1515559 HAS SOUS 1291245 HAS SOUPS 1291245 WITH SCORE 1292760.559
AT ITER 3440 NEW BEST:: SOT 2750477 SOS 1515428 HAS SOPS 1515428 HAS SOUS 1291191 HAS SOUPS 1291191 WITH SCORE 1292706.428
AT ITER 3451 NEW BEST:: SOT 2749521 SOS 1516067 HAS SOPS 1516067 HAS SOUS 1290573 HAS SOUPS 1290573 WITH SCORE 1292089.067
AT ITER 3456 NEW BEST:: SOT 2749443 SOS 1510771 HAS SOPS 1510771 HAS SOUS 1290107 HAS SOUPS 1290107 WITH SCORE 1291617.771
AT ITER 3457 NEW BEST:: SOT 2749443 SOS 1510946 HAS SOPS 1510946 HAS SOUS 1290046 HAS SOUPS 1290046 WITH SCORE 1291556.946
AT ITER 3466 NEW BEST:: SOT 2749418 SOS 1510921 HAS SOPS 1510921 HAS SOUS 1290005 HAS SOUPS 1290005 WITH SCORE 1291515.921
AT ITER 3473 NEW BEST:: SOT 2749418 SOS 1511217 HAS SOPS 1511217 HAS SOUS 1289733 HAS SOUPS 1289733 WITH SCORE 1291244.217
AT ITER 3477 NEW BEST:: SOT 2749418 SOS 1510150 HAS SOPS 1510150 HAS SOUS 1289733 HAS SOUPS 1289733 WITH SCORE 1291243.15
AT ITER 3479 NEW BEST:: SOT 2749442 SOS 1509976 HAS SOPS 1509976 HAS SOUS 1289727 HAS SOUPS 1289727 WITH SCORE 1291236.976
AT ITER 3488 NEW BEST:: SOT 2749346 SOS 1509649 HAS SOPS 1509649 HAS SOUS 1289454 HAS SOUPS 1289454 WITH SCORE 1290963.649
AT ITER 3489 NEW BEST:: SOT 2749346 SOS 1509608 HAS SOPS 1509608 HAS SOUS 1289454 HAS SOUPS 1289454 WITH SCORE 1290963.608
AT ITER 3491 NEW BEST:: SOT 2749346 SOS 1509557 HAS SOPS 1509557 HAS SOUS 1289454 HAS SOUPS 1289454 WITH SCORE 1290963.557
AT ITER 3505 NEW BEST:: SOT 2749367 SOS 1508380 HAS SOPS 1508380 HAS SOUS 1289341 HAS SOUPS 1289341 WITH SCORE 1290849.38
AT ITER 3514 NEW BEST:: SOT 2747395 SOS 1512257 HAS SOPS 1512257 HAS SOUS 1289262 HAS SOUPS 1289262 WITH SCORE 1290774.257
AT ITER 3519 NEW BEST:: SOT 2747395 SOS 1512171 HAS SOPS 1512171 HAS SOUS 1289232 HAS SOUPS 1289232 WITH SCORE 1290744.171
AT ITER 3525 NEW BEST:: SOT 2747151 SOS 1512081 HAS SOPS 1512081 HAS SOUS 1289142 HAS SOUPS 1289142 WITH SCORE 1290654.081
AT ITER 3531 NEW BEST:: SOT 2746164 SOS 1513215 HAS SOPS 1513215 HAS SOUS 1288962 HAS SOUPS 1288962 WITH SCORE 1290475.215
AT ITER 3536 NEW BEST:: SOT 2746164 SOS 1512401 HAS SOPS 1512401 HAS SOUS 1288962 HAS SOUPS 1288962 WITH SCORE 1290474.401
AT ITER 3538 NEW BEST:: SOT 2746164 SOS 1512482 HAS SOPS 1512482 HAS SOUS 1288955 HAS SOUPS 1288955 WITH SCORE 1290467.482
AT ITER 3542 NEW BEST:: SOT 2745661 SOS 1511979 HAS SOPS 1511979 HAS SOUS 1288092 HAS SOUPS 1288092 WITH SCORE 1289603.979
AT ITER 3550 NEW BEST:: SOT 2745661 SOS 1511907 HAS SOPS 1511907 HAS SOUS 1288092 HAS SOUPS 1288092 WITH SCORE 1289603.907
AT ITER 3555 NEW BEST:: SOT 2745661 SOS 1511838 HAS SOPS 1511838 HAS SOUS 1288092 HAS SOUPS 1288092 WITH SCORE 1289603.838
AT ITER 3559 NEW BEST:: SOT 2743570 SOS 1512317 HAS SOPS 1512317 HAS SOUS 1287363 HAS SOUPS 1287363 WITH SCORE 1288875.317
AT ITER 3569 NEW BEST:: SOT 2743136 SOS 1511763 HAS SOPS 1511763 HAS SOUS 1287197 HAS SOUPS 1287197 WITH SCORE 1288708.763
AT ITER 3574 NEW BEST:: SOT 2741903 SOS 1512555 HAS SOPS 1512555 HAS SOUS 1286648 HAS SOUPS 1286648 WITH SCORE 1288160.555
AT ITER 3581 NEW BEST:: SOT 2741903 SOS 1512100 HAS SOPS 1512100 HAS SOUS 1286648 HAS SOUPS 1286648 WITH SCORE 1288160.1
AT ITER 3583 NEW BEST:: SOT 2741903 SOS 1512067 HAS SOPS 1512067 HAS SOUS 1286648 HAS SOUPS 1286648 WITH SCORE 1288160.067
AT ITER 3585 NEW BEST:: SOT 2741870 SOS 1511895 HAS SOPS 1511895 HAS SOUS 1286482 HAS SOUPS 1286482 WITH SCORE 1287993.895
AT ITER 3587 NEW BEST:: SOT 2741040 SOS 1511721 HAS SOPS 1511721 HAS SOUS 1286110 HAS SOUPS 1286110 WITH SCORE 1287621.721
AT ITER 3588 NEW BEST:: SOT 2739442 SOS 1511193 HAS SOPS 1511193 HAS SOUS 1285108 HAS SOUPS 1285108 WITH SCORE 1286619.193
AT ITER 3589 NEW BEST:: SOT 2739398 SOS 1510732 HAS SOPS 1510732 HAS SOUS 1284692 HAS SOUPS 1284692 WITH SCORE 1286202.732
AT ITER 3591 NEW BEST:: SOT 2739266 SOS 1510663 HAS SOPS 1510663 HAS SOUS 1284623 HAS SOUPS 1284623 WITH SCORE 1286133.663
AT ITER 3600 NEW BEST:: SOT 2739266 SOS 1510521 HAS SOPS 1510521 HAS SOUS 1284481 HAS SOUPS 1284481 WITH SCORE 1285991.521
AT ITER 3601 NEW BEST:: SOT 2739218 SOS 1510479 HAS SOPS 1510479 HAS SOUS 1284439 HAS SOUPS 1284439 WITH SCORE 1285949.479
AT ITER 3602 NEW BEST:: SOT 2739218 SOS 1510457 HAS SOPS 1510457 HAS SOUS 1284439 HAS SOUPS 1284439 WITH SCORE 1285949.457
AT ITER 3606 NEW BEST:: SOT 2739085 SOS 1510335 HAS SOPS 1510335 HAS SOUS 1284380 HAS SOUPS 1284380 WITH SCORE 1285890.335
AT ITER 3609 NEW BEST:: SOT 2737802 SOS 1510970 HAS SOPS 1510970 HAS SOUS 1284336 HAS SOUPS 1284336 WITH SCORE 1285846.97
AT ITER 3615 NEW BEST:: SOT 2737802 SOS 1510733 HAS SOPS 1510733 HAS SOUS 1284336 HAS SOUPS 1284336 WITH SCORE 1285846.733
AT ITER 3634 NEW BEST:: SOT 2737901 SOS 1510040 HAS SOPS 1510040 HAS SOUS 1284336 HAS SOUPS 1284336 WITH SCORE 1285846.04
AT ITER 3639 NEW BEST:: SOT 2737901 SOS 1509890 HAS SOPS 1509890 HAS SOUS 1284319 HAS SOUPS 1284319 WITH SCORE 1285828.89
AT ITER 3640 NEW BEST:: SOT 2737478 SOS 1510040 HAS SOPS 1510040 HAS SOUS 1284190 HAS SOUPS 1284190 WITH SCORE 1285700.04
AT ITER 3641 NEW BEST:: SOT 2737478 SOS 1509939 HAS SOPS 1509939 HAS SOUS 1284190 HAS SOUPS 1284190 WITH SCORE 1285699.939
AT ITER 3646 NEW BEST:: SOT 2737478 SOS 1509912 HAS SOPS 1509912 HAS SOUS 1284190 HAS SOUPS 1284190 WITH SCORE 1285699.912
AT ITER 3668 NEW BEST:: SOT 2737478 SOS 1509726 HAS SOPS 1509726 HAS SOUS 1283965 HAS SOUPS 1283965 WITH SCORE 1285474.726
AT ITER 3674 NEW BEST:: SOT 2737140 SOS 1509412 HAS SOPS 1509412 HAS SOUS 1283457 HAS SOUPS 1283457 WITH SCORE 1284966.412
AT ITER 3678 NEW BEST:: SOT 2736580 SOS 1509067 HAS SOPS 1509067 HAS SOUS 1283178 HAS SOUPS 1283178 WITH SCORE 1284687.067
AT ITER 3682 NEW BEST:: SOT 2736506 SOS 1508304 HAS SOPS 1508304 HAS SOUS 1283175 HAS SOUPS 1283175 WITH SCORE 1284683.304
AT ITER 3689 NEW BEST:: SOT 2735187 SOS 1509777 HAS SOPS 1509777 HAS SOUS 1282601 HAS SOUPS 1282601 WITH SCORE 1284110.777
AT ITER 3690 NEW BEST:: SOT 2734971 SOS 1509561 HAS SOPS 1509561 HAS SOUS 1282169 HAS SOUPS 1282169 WITH SCORE 1283678.561
AT ITER 3693 NEW BEST:: SOT 2734971 SOS 1509543 HAS SOPS 1509543 HAS SOUS 1282151 HAS SOUPS 1282151 WITH SCORE 1283660.543
AT ITER 3700 NEW BEST:: SOT 2732413 SOS 1510559 HAS SOPS 1510559 HAS SOUS 1281146 HAS SOUPS 1281146 WITH SCORE 1282656.559
AT ITER 3708 NEW BEST:: SOT 2732413 SOS 1510516 HAS SOPS 1510516 HAS SOUS 1281146 HAS SOUPS 1281146 WITH SCORE 1282656.516
AT ITER 3715 NEW BEST:: SOT 2732413 SOS 1510516 HAS SOPS 1510516 HAS SOUS 1281099 HAS SOUPS 1281099 WITH SCORE 1282609.516
AT ITER 3721 NEW BEST:: SOT 2731889 SOS 1510067 HAS SOPS 1510067 HAS SOUS 1280680 HAS SOUPS 1280680 WITH SCORE 1282190.067
AT ITER 3725 NEW BEST:: SOT 2731801 SOS 1509979 HAS SOPS 1509979 HAS SOUS 1280460 HAS SOUPS 1280460 WITH SCORE 1281969.979
AT ITER 3728 NEW BEST:: SOT 2731544 SOS 1510846 HAS SOPS 1510846 HAS SOUS 1280203 HAS SOUPS 1280203 WITH SCORE 1281713.846
AT ITER 3736 NEW BEST:: SOT 2731724 SOS 1511244 HAS SOPS 1511244 HAS SOUS 1279893 HAS SOUPS 1279893 WITH SCORE 1281404.244
AT ITER 3742 NEW BEST:: SOT 2731724 SOS 1511044 HAS SOPS 1511044 HAS SOUS 1279868 HAS SOUPS 1279868 WITH SCORE 1281379.044
AT ITER 3751 NEW BEST:: SOT 2731724 SOS 1510802 HAS SOPS 1510802 HAS SOUS 1279626 HAS SOUPS 1279626 WITH SCORE 1281136.802
AT ITER 3764 NEW BEST:: SOT 2731686 SOS 1510402 HAS SOPS 1510402 HAS SOUS 1279515 HAS SOUPS 1279515 WITH SCORE 1281025.402
AT ITER 3769 NEW BEST:: SOT 2731686 SOS 1509898 HAS SOPS 1509898 HAS SOUS 1279515 HAS SOUPS 1279515 WITH SCORE 1281024.898
AT ITER 3776 NEW BEST:: SOT 2731076 SOS 1509420 HAS SOPS 1509420 HAS SOUS 1279037 HAS SOUPS 1279037 WITH SCORE 1280546.42
AT ITER 3781 NEW BEST:: SOT 2731076 SOS 1509420 HAS SOPS 1509420 HAS SOUS 1278706 HAS SOUPS 1278706 WITH SCORE 1280215.42
AT ITER 3782 NEW BEST:: SOT 2731076 SOS 1509586 HAS SOPS 1509586 HAS SOUS 1278686 HAS SOUPS 1278686 WITH SCORE 1280195.586
AT ITER 3786 NEW BEST:: SOT 2730946 SOS 1509205 HAS SOPS 1509205 HAS SOUS 1278429 HAS SOUPS 1278429 WITH SCORE 1279938.205
AT ITER 3788 NEW BEST:: SOT 2729666 SOS 1508361 HAS SOPS 1508361 HAS SOUS 1277491 HAS SOUPS 1277491 WITH SCORE 1278999.361
AT ITER 3789 NEW BEST:: SOT 2729666 SOS 1508218 HAS SOPS 1508218 HAS SOUS 1277491 HAS SOUPS 1277491 WITH SCORE 1278999.218
AT ITER 3792 NEW BEST:: SOT 2727384 SOS 1510987 HAS SOPS 1510987 HAS SOUS 1276731 HAS SOUPS 1276731 WITH SCORE 1278241.987
AT ITER 3796 NEW BEST:: SOT 2727384 SOS 1510751 HAS SOPS 1510751 HAS SOUS 1276368 HAS SOUPS 1276368 WITH SCORE 1277878.751
AT ITER 3800 NEW BEST:: SOT 2726309 SOS 1512111 HAS SOPS 1512111 HAS SOUS 1275701 HAS SOUPS 1275701 WITH SCORE 1277213.111
AT ITER 3806 NEW BEST:: SOT 2726230 SOS 1512032 HAS SOPS 1512032 HAS SOUS 1275622 HAS SOUPS 1275622 WITH SCORE 1277134.032
AT ITER 3814 NEW BEST:: SOT 2726230 SOS 1510819 HAS SOPS 1510819 HAS SOUS 1275518 HAS SOUPS 1275518 WITH SCORE 1277028.819
AT ITER 3819 NEW BEST:: SOT 2726476 SOS 1511297 HAS SOPS 1511297 HAS SOUS 1275192 HAS SOUPS 1275192 WITH SCORE 1276703.297
AT ITER 3828 NEW BEST:: SOT 2725535 SOS 1511264 HAS SOPS 1511264 HAS SOUS 1275009 HAS SOUPS 1275009 WITH SCORE 1276520.264
AT ITER 3829 NEW BEST:: SOT 2725798 SOS 1510541 HAS SOPS 1510541 HAS SOUS 1274967 HAS SOUPS 1274967 WITH SCORE 1276477.541
AT ITER 3832 NEW BEST:: SOT 2725798 SOS 1510068 HAS SOPS 1510068 HAS SOUS 1274540 HAS SOUPS 1274540 WITH SCORE 1276050.068
AT ITER 3838 NEW BEST:: SOT 2725798 SOS 1510060 HAS SOPS 1510060 HAS SOUS 1274540 HAS SOUPS 1274540 WITH SCORE 1276050.06
AT ITER 3848 NEW BEST:: SOT 2725438 SOS 1509790 HAS SOPS 1509790 HAS SOUS 1274220 HAS SOUPS 1274220 WITH SCORE 1275729.79
AT ITER 3850 NEW BEST:: SOT 2725438 SOS 1509756 HAS SOPS 1509756 HAS SOUS 1274156 HAS SOUPS 1274156 WITH SCORE 1275665.756
AT ITER 3853 NEW BEST:: SOT 2723782 SOS 1509822 HAS SOPS 1509822 HAS SOUS 1273224 HAS SOUPS 1273224 WITH SCORE 1274733.822
AT ITER 3860 NEW BEST:: SOT 2723782 SOS 1509533 HAS SOPS 1509533 HAS SOUS 1273211 HAS SOUPS 1273211 WITH SCORE 1274720.533
AT ITER 3861 NEW BEST:: SOT 2723596 SOS 1509994 HAS SOPS 1509994 HAS SOUS 1273005 HAS SOUPS 1273005 WITH SCORE 1274514.994
AT ITER 3875 NEW BEST:: SOT 2722550 SOS 1508305 HAS SOPS 1508305 HAS SOUS 1271047 HAS SOUPS 1271047 WITH SCORE 1272555.305
AT ITER 3885 NEW BEST:: SOT 2720891 SOS 1510784 HAS SOPS 1510784 HAS SOUS 1270909 HAS SOUPS 1270909 WITH SCORE 1272419.784
AT ITER 3886 NEW BEST:: SOT 2720180 SOS 1510425 HAS SOPS 1510425 HAS SOUS 1270663 HAS SOUPS 1270663 WITH SCORE 1272173.425
AT ITER 3887 NEW BEST:: SOT 2720180 SOS 1510138 HAS SOPS 1510138 HAS SOUS 1270663 HAS SOUPS 1270663 WITH SCORE 1272173.138
AT ITER 3896 NEW BEST:: SOT 2720180 SOS 1510088 HAS SOPS 1510088 HAS SOUS 1270663 HAS SOUPS 1270663 WITH SCORE 1272173.088
AT ITER 3904 NEW BEST:: SOT 2718379 SOS 1511824 HAS SOPS 1511824 HAS SOUS 1270588 HAS SOUPS 1270588 WITH SCORE 1272099.824
AT ITER 3913 NEW BEST:: SOT 2718329 SOS 1511774 HAS SOPS 1511774 HAS SOUS 1270453 HAS SOUPS 1270453 WITH SCORE 1271964.774
AT ITER 3915 NEW BEST:: SOT 2716248 SOS 1510128 HAS SOPS 1510128 HAS SOUS 1268982 HAS SOUPS 1268982 WITH SCORE 1270492.128
AT ITER 3916 NEW BEST:: SOT 2716248 SOS 1510113 HAS SOPS 1510113 HAS SOUS 1268982 HAS SOUPS 1268982 WITH SCORE 1270492.113
AT ITER 3927 NEW BEST:: SOT 2715859 SOS 1509097 HAS SOPS 1509097 HAS SOUS 1268061 HAS SOUPS 1268061 WITH SCORE 1269570.097
AT ITER 3933 NEW BEST:: SOT 2715776 SOS 1509381 HAS SOPS 1509381 HAS SOUS 1267746 HAS SOUPS 1267746 WITH SCORE 1269255.381
AT ITER 3934 NEW BEST:: SOT 2715708 SOS 1508847 HAS SOPS 1508847 HAS SOUS 1267060 HAS SOUPS 1267060 WITH SCORE 1268568.847
AT ITER 3942 NEW BEST:: SOT 2716403 SOS 1504298 HAS SOPS 1504298 HAS SOUS 1266942 HAS SOUPS 1266942 WITH SCORE 1268446.298
AT ITER 3948 NEW BEST:: SOT 2716455 SOS 1502600 HAS SOPS 1502600 HAS SOUS 1266872 HAS SOUPS 1266872 WITH SCORE 1268374.6
AT ITER 3951 NEW BEST:: SOT 2716455 SOS 1502356 HAS SOPS 1502356 HAS SOUS 1266604 HAS SOUPS 1266604 WITH SCORE 1268106.356
AT ITER 3955 NEW BEST:: SOT 2716455 SOS 1502575 HAS SOPS 1502575 HAS SOUS 1266554 HAS SOUPS 1266554 WITH SCORE 1268056.575
AT ITER 3963 NEW BEST:: SOT 2716539 SOS 1502171 HAS SOPS 1502171 HAS SOUS 1266202 HAS SOUPS 1266202 WITH SCORE 1267704.171
AT ITER 3964 NEW BEST:: SOT 2716410 SOS 1502042 HAS SOPS 1502042 HAS SOUS 1266073 HAS SOUPS 1266073 WITH SCORE 1267575.042
AT ITER 3967 NEW BEST:: SOT 2715855 SOS 1501685 HAS SOPS 1501685 HAS SOUS 1265892 HAS SOUPS 1265892 WITH SCORE 1267393.685
AT ITER 3970 NEW BEST:: SOT 2715631 SOS 1501613 HAS SOPS 1501613 HAS SOUS 1265820 HAS SOUPS 1265820 WITH SCORE 1267321.613
AT ITER 3976 NEW BEST:: SOT 2715631 SOS 1501406 HAS SOPS 1501406 HAS SOUS 1265820 HAS SOUPS 1265820 WITH SCORE 1267321.406
AT ITER 3977 NEW BEST:: SOT 2715631 SOS 1501335 HAS SOPS 1501335 HAS SOUS 1265820 HAS SOUPS 1265820 WITH SCORE 1267321.335
AT ITER 3987 NEW BEST:: SOT 2713288 SOS 1503894 HAS SOPS 1503894 HAS SOUS 1265571 HAS SOUPS 1265571 WITH SCORE 1267074.894
AT ITER 3989 NEW BEST:: SOT 2713288 SOS 1504151 HAS SOPS 1504151 HAS SOUS 1265433 HAS SOUPS 1265433 WITH SCORE 1266937.151
AT ITER 3996 NEW BEST:: SOT 2713111 SOS 1503850 HAS SOPS 1503850 HAS SOUS 1264942 HAS SOUPS 1264942 WITH SCORE 1266445.85
AT ITER 4003 NEW BEST:: SOT 2711793 SOS 1503514 HAS SOPS 1503514 HAS SOUS 1264291 HAS SOUPS 1264291 WITH SCORE 1265794.514
AT ITER 4013 NEW BEST:: SOT 2711792 SOS 1503513 HAS SOPS 1503513 HAS SOUS 1264290 HAS SOUPS 1264290 WITH SCORE 1265793.513
AT ITER 4027 NEW BEST:: SOT 2710085 SOS 1503074 HAS SOPS 1503074 HAS SOUS 1263089 HAS SOUPS 1263089 WITH SCORE 1264592.074
AT ITER 4032 NEW BEST:: SOT 2710085 SOS 1503033 HAS SOPS 1503033 HAS SOUS 1263089 HAS SOUPS 1263089 WITH SCORE 1264592.033
AT ITER 4035 NEW BEST:: SOT 2709899 SOS 1503346 HAS SOPS 1503346 HAS SOUS 1263043 HAS SOUPS 1263043 WITH SCORE 1264546.346
AT ITER 4039 NEW BEST:: SOT 2709181 SOS 1503326 HAS SOPS 1503326 HAS SOUS 1262496 HAS SOUPS 1262496 WITH SCORE 1263999.326
AT ITER 4058 NEW BEST:: SOT 2708891 SOS 1503042 HAS SOPS 1503042 HAS SOUS 1262212 HAS SOUPS 1262212 WITH SCORE 1263715.042
AT ITER 4059 NEW BEST:: SOT 2708479 SOS 1502473 HAS SOPS 1502473 HAS SOUS 1261461 HAS SOUPS 1261461 WITH SCORE 1262963.473
AT ITER 4066 NEW BEST:: SOT 2707724 SOS 1503082 HAS SOPS 1503082 HAS SOUS 1260994 HAS SOUPS 1260994 WITH SCORE 1262497.082
AT ITER 4068 NEW BEST:: SOT 2707724 SOS 1503071 HAS SOPS 1503071 HAS SOUS 1260994 HAS SOUPS 1260994 WITH SCORE 1262497.071
AT ITER 4072 NEW BEST:: SOT 2708016 SOS 1503346 HAS SOPS 1503346 HAS SOUS 1260986 HAS SOUPS 1260986 WITH SCORE 1262489.346
AT ITER 4074 NEW BEST:: SOT 2707666 SOS 1502996 HAS SOPS 1502996 HAS SOUS 1260014 HAS SOUPS 1260014 WITH SCORE 1261516.996
AT ITER 4080 NEW BEST:: SOT 2707561 SOS 1502974 HAS SOPS 1502974 HAS SOUS 1259992 HAS SOUPS 1259992 WITH SCORE 1261494.974
AT ITER 4081 NEW BEST:: SOT 2706794 SOS 1504752 HAS SOPS 1504752 HAS SOUS 1259291 HAS SOUPS 1259291 WITH SCORE 1260795.752
AT ITER 4095 NEW BEST:: SOT 2706794 SOS 1504662 HAS SOPS 1504662 HAS SOUS 1259291 HAS SOUPS 1259291 WITH SCORE 1260795.662
AT ITER 4096 NEW BEST:: SOT 2706794 SOS 1504534 HAS SOPS 1504534 HAS SOUS 1259291 HAS SOUPS 1259291 WITH SCORE 1260795.534
AT ITER 4102 NEW BEST:: SOT 2706794 SOS 1503062 HAS SOPS 1503062 HAS SOUS 1259086 HAS SOUPS 1259086 WITH SCORE 1260589.062
AT ITER 4104 NEW BEST:: SOT 2706455 SOS 1502785 HAS SOPS 1502785 HAS SOUS 1258809 HAS SOUPS 1258809 WITH SCORE 1260311.785
AT ITER 4115 NEW BEST:: SOT 2706432 SOS 1502762 HAS SOPS 1502762 HAS SOUS 1258786 HAS SOUPS 1258786 WITH SCORE 1260288.762
AT ITER 4124 NEW BEST:: SOT 2706368 SOS 1502698 HAS SOPS 1502698 HAS SOUS 1258722 HAS SOUPS 1258722 WITH SCORE 1260224.698
AT ITER 4126 NEW BEST:: SOT 2706368 SOS 1502506 HAS SOPS 1502506 HAS SOUS 1258722 HAS SOUPS 1258722 WITH SCORE 1260224.506
AT ITER 4128 NEW BEST:: SOT 2706177 SOS 1502431 HAS SOPS 1502431 HAS SOUS 1257681 HAS SOUPS 1257681 WITH SCORE 1259183.431
AT ITER 4130 NEW BEST:: SOT 2706113 SOS 1502303 HAS SOPS 1502303 HAS SOUS 1257617 HAS SOUPS 1257617 WITH SCORE 1259119.303
AT ITER 4139 NEW BEST:: SOT 2705921 SOS 1502122 HAS SOPS 1502122 HAS SOUS 1257337 HAS SOUPS 1257337 WITH SCORE 1258839.122
AT ITER 4142 NEW BEST:: SOT 2705570 SOS 1502096 HAS SOPS 1502096 HAS SOUS 1257311 HAS SOUPS 1257311 WITH SCORE 1258813.096
AT ITER 4143 NEW BEST:: SOT 2705752 SOS 1502278 HAS SOPS 1502278 HAS SOUS 1257016 HAS SOUPS 1257016 WITH SCORE 1258518.278
AT ITER 4144 NEW BEST:: SOT 2705752 SOS 1502069 HAS SOPS 1502069 HAS SOUS 1256774 HAS SOUPS 1256774 WITH SCORE 1258276.069
AT ITER 4145 NEW BEST:: SOT 2704997 SOS 1502563 HAS SOPS 1502563 HAS SOUS 1256544 HAS SOUPS 1256544 WITH SCORE 1258046.563
AT ITER 4151 NEW BEST:: SOT 2704962 SOS 1502528 HAS SOPS 1502528 HAS SOUS 1256509 HAS SOUPS 1256509 WITH SCORE 1258011.528
AT ITER 4157 NEW BEST:: SOT 2702958 SOS 1502804 HAS SOPS 1502804 HAS SOUS 1255879 HAS SOUPS 1255879 WITH SCORE 1257381.804
AT ITER 4173 NEW BEST:: SOT 2701626 SOS 1503232 HAS SOPS 1503232 HAS SOUS 1255153 HAS SOUPS 1255153 WITH SCORE 1256656.232
AT ITER 4174 NEW BEST:: SOT 2701626 SOS 1503218 HAS SOPS 1503218 HAS SOUS 1255153 HAS SOUPS 1255153 WITH SCORE 1256656.218
AT ITER 4180 NEW BEST:: SOT 2701626 SOS 1502968 HAS SOPS 1502968 HAS SOUS 1255090 HAS SOUPS 1255090 WITH SCORE 1256592.968
AT ITER 4193 NEW BEST:: SOT 2701626 SOS 1502866 HAS SOPS 1502866 HAS SOUS 1255090 HAS SOUPS 1255090 WITH SCORE 1256592.866
AT ITER 4205 NEW BEST:: SOT 2701562 SOS 1502886 HAS SOPS 1502886 HAS SOUS 1255062 HAS SOUPS 1255062 WITH SCORE 1256564.886
AT ITER 4206 NEW BEST:: SOT 2701070 SOS 1502108 HAS SOPS 1502108 HAS SOUS 1254384 HAS SOUPS 1254384 WITH SCORE 1255886.108
AT ITER 4210 NEW BEST:: SOT 2701143 SOS 1502761 HAS SOPS 1502761 HAS SOUS 1254259 HAS SOUPS 1254259 WITH SCORE 1255761.761
AT ITER 4212 NEW BEST:: SOT 2701143 SOS 1502018 HAS SOPS 1502018 HAS SOUS 1254259 HAS SOUPS 1254259 WITH SCORE 1255761.018
AT ITER 4213 NEW BEST:: SOT 2701143 SOS 1501426 HAS SOPS 1501426 HAS SOUS 1254185 HAS SOUPS 1254185 WITH SCORE 1255686.426
AT ITER 4220 NEW BEST:: SOT 2701143 SOS 1501426 HAS SOPS 1501426 HAS SOUS 1254121 HAS SOUPS 1254121 WITH SCORE 1255622.426
AT ITER 4232 NEW BEST:: SOT 2700960 SOS 1501205 HAS SOPS 1501205 HAS SOUS 1253973 HAS SOUPS 1253973 WITH SCORE 1255474.205
AT ITER 4235 NEW BEST:: SOT 2700960 SOS 1501697 HAS SOPS 1501697 HAS SOUS 1253969 HAS SOUPS 1253969 WITH SCORE 1255470.697
AT ITER 4239 NEW BEST:: SOT 2700862 SOS 1501599 HAS SOPS 1501599 HAS SOUS 1253871 HAS SOUPS 1253871 WITH SCORE 1255372.599
AT ITER 4245 NEW BEST:: SOT 2700862 SOS 1501443 HAS SOPS 1501443 HAS SOUS 1253733 HAS SOUPS 1253733 WITH SCORE 1255234.443
AT ITER 4255 NEW BEST:: SOT 2700985 SOS 1502106 HAS SOPS 1502106 HAS SOUS 1253658 HAS SOUPS 1253658 WITH SCORE 1255160.106
AT ITER 4259 NEW BEST:: SOT 2698664 SOS 1503778 HAS SOPS 1503778 HAS SOUS 1253033 HAS SOUPS 1253033 WITH SCORE 1254536.778
AT ITER 4261 NEW BEST:: SOT 2698664 SOS 1503274 HAS SOPS 1503274 HAS SOUS 1253033 HAS SOUPS 1253033 WITH SCORE 1254536.274
AT ITER 4265 NEW BEST:: SOT 2698048 SOS 1503285 HAS SOPS 1503285 HAS SOUS 1252798 HAS SOUPS 1252798 WITH SCORE 1254301.285
AT ITER 4268 NEW BEST:: SOT 2697520 SOS 1504686 HAS SOPS 1504686 HAS SOUS 1252544 HAS SOUPS 1252544 WITH SCORE 1254048.686
AT ITER 4271 NEW BEST:: SOT 2697520 SOS 1504788 HAS SOPS 1504788 HAS SOUS 1252365 HAS SOUPS 1252365 WITH SCORE 1253869.788
AT ITER 4272 NEW BEST:: SOT 2697520 SOS 1505183 HAS SOPS 1505183 HAS SOUS 1252361 HAS SOUPS 1252361 WITH SCORE 1253866.183
AT ITER 4278 NEW BEST:: SOT 2697520 SOS 1505746 HAS SOPS 1505746 HAS SOUS 1252347 HAS SOUPS 1252347 WITH SCORE 1253852.746
AT ITER 4280 NEW BEST:: SOT 2697520 SOS 1505944 HAS SOPS 1505944 HAS SOUS 1252279 HAS SOUPS 1252279 WITH SCORE 1253784.944
AT ITER 4282 NEW BEST:: SOT 2698115 SOS 1506215 HAS SOPS 1506215 HAS SOUS 1252239 HAS SOUPS 1252239 WITH SCORE 1253745.215
AT ITER 4283 NEW BEST:: SOT 2695304 SOS 1504060 HAS SOPS 1504060 HAS SOUS 1250107 HAS SOUPS 1250107 WITH SCORE 1251611.06
AT ITER 4289 NEW BEST:: SOT 2695249 SOS 1504005 HAS SOPS 1504005 HAS SOUS 1250052 HAS SOUPS 1250052 WITH SCORE 1251556.005
AT ITER 4292 NEW BEST:: SOT 2693714 SOS 1503857 HAS SOPS 1503857 HAS SOUS 1249757 HAS SOUPS 1249757 WITH SCORE 1251260.857
AT ITER 4296 NEW BEST:: SOT 2691669 SOS 1502420 HAS SOPS 1502420 HAS SOUS 1249499 HAS SOUPS 1249499 WITH SCORE 1251001.42
AT ITER 4298 NEW BEST:: SOT 2692099 SOS 1500049 HAS SOPS 1500049 HAS SOUS 1249133 HAS SOUPS 1249133 WITH SCORE 1250633.049
AT ITER 4301 NEW BEST:: SOT 2692099 SOS 1499487 HAS SOPS 1499487 HAS SOUS 1248907 HAS SOUPS 1248907 WITH SCORE 1250406.487
AT ITER 4308 NEW BEST:: SOT 2690295 SOS 1501496 HAS SOPS 1501496 HAS SOUS 1248101 HAS SOUPS 1248101 WITH SCORE 1249602.496
AT ITER 4315 NEW BEST:: SOT 2689652 SOS 1501265 HAS SOPS 1501265 HAS SOUS 1247969 HAS SOUPS 1247969 WITH SCORE 1249470.265
AT ITER 4316 NEW BEST:: SOT 2689652 SOS 1501127 HAS SOPS 1501127 HAS SOUS 1247969 HAS SOUPS 1247969 WITH SCORE 1249470.127
AT ITER 4321 NEW BEST:: SOT 2688799 SOS 1500630 HAS SOPS 1500630 HAS SOUS 1247472 HAS SOUPS 1247472 WITH SCORE 1248972.63
AT ITER 4323 NEW BEST:: SOT 2688799 SOS 1500078 HAS SOPS 1500078 HAS SOUS 1247403 HAS SOUPS 1247403 WITH SCORE 1248903.078
AT ITER 4331 NEW BEST:: SOT 2688799 SOS 1500078 HAS SOPS 1500078 HAS SOUS 1247275 HAS SOUPS 1247275 WITH SCORE 1248775.078
AT ITER 4344 NEW BEST:: SOT 2687435 SOS 1497334 HAS SOPS 1497334 HAS SOUS 1245726 HAS SOUPS 1245726 WITH SCORE 1247223.334
AT ITER 4375 NEW BEST:: SOT 2687500 SOS 1496369 HAS SOPS 1496369 HAS SOUS 1245118 HAS SOUPS 1245118 WITH SCORE 1246614.369
AT ITER 4380 NEW BEST:: SOT 2687435 SOS 1496304 HAS SOPS 1496304 HAS SOUS 1245053 HAS SOUPS 1245053 WITH SCORE 1246549.304
AT ITER 4386 NEW BEST:: SOT 2687400 SOS 1496131 HAS SOPS 1496131 HAS SOUS 1244986 HAS SOUPS 1244986 WITH SCORE 1246482.131
AT ITER 4387 NEW BEST:: SOT 2687400 SOS 1496126 HAS SOPS 1496126 HAS SOUS 1244986 HAS SOUPS 1244986 WITH SCORE 1246482.126
AT ITER 4388 NEW BEST:: SOT 2687400 SOS 1495806 HAS SOPS 1495806 HAS SOUS 1244790 HAS SOUPS 1244790 WITH SCORE 1246285.806
AT ITER 4389 NEW BEST:: SOT 2686069 SOS 1497414 HAS SOPS 1497414 HAS SOUS 1244748 HAS SOUPS 1244748 WITH SCORE 1246245.414
AT ITER 4392 NEW BEST:: SOT 2685947 SOS 1496789 HAS SOPS 1496789 HAS SOUS 1244361 HAS SOUPS 1244361 WITH SCORE 1245857.789
AT ITER 4395 NEW BEST:: SOT 2685947 SOS 1496723 HAS SOPS 1496723 HAS SOUS 1244361 HAS SOUPS 1244361 WITH SCORE 1245857.723
AT ITER 4396 NEW BEST:: SOT 2686187 SOS 1496171 HAS SOPS 1496171 HAS SOUS 1244225 HAS SOUPS 1244225 WITH SCORE 1245721.171
AT ITER 4397 NEW BEST:: SOT 2686197 SOS 1496066 HAS SOPS 1496066 HAS SOUS 1244210 HAS SOUPS 1244210 WITH SCORE 1245706.066
AT ITER 4399 NEW BEST:: SOT 2686197 SOS 1496066 HAS SOPS 1496066 HAS SOUS 1244138 HAS SOUPS 1244138 WITH SCORE 1245634.066
AT ITER 4406 NEW BEST:: SOT 2683749 SOS 1494639 HAS SOPS 1494639 HAS SOUS 1242723 HAS SOUPS 1242723 WITH SCORE 1244217.639
AT ITER 4413 NEW BEST:: SOT 2681028 SOS 1492465 HAS SOPS 1492465 HAS SOUS 1240643 HAS SOUPS 1240643 WITH SCORE 1242135.465
AT ITER 4430 NEW BEST:: SOT 2681028 SOS 1491201 HAS SOPS 1491201 HAS SOUS 1240643 HAS SOUPS 1240643 WITH SCORE 1242134.201
AT ITER 4433 NEW BEST:: SOT 2681028 SOS 1491175 HAS SOPS 1491175 HAS SOUS 1240609 HAS SOUPS 1240609 WITH SCORE 1242100.175
AT ITER 4441 NEW BEST:: SOT 2681021 SOS 1491168 HAS SOPS 1491168 HAS SOUS 1240602 HAS SOUPS 1240602 WITH SCORE 1242093.168
AT ITER 4457 NEW BEST:: SOT 2681021 SOS 1490416 HAS SOPS 1490416 HAS SOUS 1240602 HAS SOUPS 1240602 WITH SCORE 1242092.416
AT ITER 4463 NEW BEST:: SOT 2681021 SOS 1490416 HAS SOPS 1490416 HAS SOUS 1240531 HAS SOUPS 1240531 WITH SCORE 1242021.416
AT ITER 4464 NEW BEST:: SOT 2680092 SOS 1490304 HAS SOPS 1490304 HAS SOUS 1240519 HAS SOUPS 1240519 WITH SCORE 1242009.304
AT ITER 4465 NEW BEST:: SOT 2679703 SOS 1489915 HAS SOPS 1489915 HAS SOUS 1239872 HAS SOUPS 1239872 WITH SCORE 1241361.915
AT ITER 4501 NEW BEST:: SOT 2679703 SOS 1489907 HAS SOPS 1489907 HAS SOUS 1239872 HAS SOUPS 1239872 WITH SCORE 1241361.907
AT ITER 4502 NEW BEST:: SOT 2679703 SOS 1489743 HAS SOPS 1489743 HAS SOUS 1239872 HAS SOUPS 1239872 WITH SCORE 1241361.743
AT ITER 4503 NEW BEST:: SOT 2679703 SOS 1489693 HAS SOPS 1489693 HAS SOUS 1239872 HAS SOUPS 1239872 WITH SCORE 1241361.693
AT ITER 4504 NEW BEST:: SOT 2679703 SOS 1489613 HAS SOPS 1489613 HAS SOUS 1239872 HAS SOUPS 1239872 WITH SCORE 1241361.613
AT ITER 4506 NEW BEST:: SOT 2679703 SOS 1489512 HAS SOPS 1489512 HAS SOUS 1239847 HAS SOUPS 1239847 WITH SCORE 1241336.512
AT ITER 4507 NEW BEST:: SOT 2679703 SOS 1489204 HAS SOPS 1489204 HAS SOUS 1239847 HAS SOUPS 1239847 WITH SCORE 1241336.204
AT ITER 4508 NEW BEST:: SOT 2679135 SOS 1488850 HAS SOPS 1488850 HAS SOUS 1239493 HAS SOUPS 1239493 WITH SCORE 1240981.85
AT ITER 4523 NEW BEST:: SOT 2679135 SOS 1488807 HAS SOPS 1488807 HAS SOUS 1239493 HAS SOUPS 1239493 WITH SCORE 1240981.807
AT ITER 4530 NEW BEST:: SOT 2679097 SOS 1488769 HAS SOPS 1488769 HAS SOUS 1239327 HAS SOUPS 1239327 WITH SCORE 1240815.769
AT ITER 4538 NEW BEST:: SOT 2679097 SOS 1488515 HAS SOPS 1488515 HAS SOUS 1239265 HAS SOUPS 1239265 WITH SCORE 1240753.515
AT ITER 4543 NEW BEST:: SOT 2679097 SOS 1488515 HAS SOPS 1488515 HAS SOUS 1239140 HAS SOUPS 1239140 WITH SCORE 1240628.515
AT ITER 4547 NEW BEST:: SOT 2679097 SOS 1488060 HAS SOPS 1488060 HAS SOUS 1239140 HAS SOUPS 1239140 WITH SCORE 1240628.06
AT ITER 4550 NEW BEST:: SOT 2678687 SOS 1488757 HAS SOPS 1488757 HAS SOUS 1239126 HAS SOUPS 1239126 WITH SCORE 1240614.757
AT ITER 4551 NEW BEST:: SOT 2678496 SOS 1489105 HAS SOPS 1489105 HAS SOUS 1238757 HAS SOUPS 1238757 WITH SCORE 1240246.105
AT ITER 4553 NEW BEST:: SOT 2678464 SOS 1489073 HAS SOPS 1489073 HAS SOUS 1238725 HAS SOUPS 1238725 WITH SCORE 1240214.073
AT ITER 4557 NEW BEST:: SOT 2678464 SOS 1489069 HAS SOPS 1489069 HAS SOUS 1238725 HAS SOUPS 1238725 WITH SCORE 1240214.069
AT ITER 4566 NEW BEST:: SOT 2675320 SOS 1489125 HAS SOPS 1489125 HAS SOUS 1238443 HAS SOUPS 1238443 WITH SCORE 1239932.125
AT ITER 4570 NEW BEST:: SOT 2674911 SOS 1489746 HAS SOPS 1489746 HAS SOUS 1238231 HAS SOUPS 1238231 WITH SCORE 1239720.746
AT ITER 4580 NEW BEST:: SOT 2674911 SOS 1489507 HAS SOPS 1489507 HAS SOUS 1238231 HAS SOUPS 1238231 WITH SCORE 1239720.507
AT ITER 4582 NEW BEST:: SOT 2674978 SOS 1489574 HAS SOPS 1489574 HAS SOUS 1238063 HAS SOUPS 1238063 WITH SCORE 1239552.574
AT ITER 4587 NEW BEST:: SOT 2674393 SOS 1489274 HAS SOPS 1489274 HAS SOUS 1237897 HAS SOUPS 1237897 WITH SCORE 1239386.274
AT ITER 4589 NEW BEST:: SOT 2674462 SOS 1489057 HAS SOPS 1489057 HAS SOUS 1237753 HAS SOUPS 1237753 WITH SCORE 1239242.057
AT ITER 4592 NEW BEST:: SOT 2672419 SOS 1488905 HAS SOPS 1488905 HAS SOUS 1236466 HAS SOUPS 1236466 WITH SCORE 1237954.905
AT ITER 4596 NEW BEST:: SOT 2672022 SOS 1488600 HAS SOPS 1488600 HAS SOUS 1236435 HAS SOUPS 1236435 WITH SCORE 1237923.6
AT ITER 4599 NEW BEST:: SOT 2671437 SOS 1489345 HAS SOPS 1489345 HAS SOUS 1236279 HAS SOUPS 1236279 WITH SCORE 1237768.345
AT ITER 4601 NEW BEST:: SOT 2670734 SOS 1488767 HAS SOPS 1488767 HAS SOUS 1235867 HAS SOUPS 1235867 WITH SCORE 1237355.767
AT ITER 4605 NEW BEST:: SOT 2670725 SOS 1488650 HAS SOPS 1488650 HAS SOUS 1235826 HAS SOUPS 1235826 WITH SCORE 1237314.65
AT ITER 4610 NEW BEST:: SOT 2669896 SOS 1488885 HAS SOPS 1488885 HAS SOUS 1235425 HAS SOUPS 1235425 WITH SCORE 1236913.885
AT ITER 4632 NEW BEST:: SOT 2669225 SOS 1488410 HAS SOPS 1488410 HAS SOUS 1235115 HAS SOUPS 1235115 WITH SCORE 1236603.41
AT ITER 4634 NEW BEST:: SOT 2669225 SOS 1488117 HAS SOPS 1488117 HAS SOUS 1235100 HAS SOUPS 1235100 WITH SCORE 1236588.117
AT ITER 4635 NEW BEST:: SOT 2669759 SOS 1487482 HAS SOPS 1487482 HAS SOUS 1235019 HAS SOUPS 1235019 WITH SCORE 1236506.482
AT ITER 4640 NEW BEST:: SOT 2669449 SOS 1487453 HAS SOPS 1487453 HAS SOUS 1234895 HAS SOUPS 1234895 WITH SCORE 1236382.453
AT ITER 4641 NEW BEST:: SOT 2669108 SOS 1490194 HAS SOPS 1490194 HAS SOUS 1234667 HAS SOUPS 1234667 WITH SCORE 1236157.194
AT ITER 4643 NEW BEST:: SOT 2669108 SOS 1490057 HAS SOPS 1490057 HAS SOUS 1234650 HAS SOUPS 1234650 WITH SCORE 1236140.057
AT ITER 4659 NEW BEST:: SOT 2666946 SOS 1489471 HAS SOPS 1489471 HAS SOUS 1233099 HAS SOUPS 1233099 WITH SCORE 1234588.471
AT ITER 4674 NEW BEST:: SOT 2667131 SOS 1489990 HAS SOPS 1489990 HAS SOUS 1233097 HAS SOUPS 1233097 WITH SCORE 1234586.99
AT ITER 4677 NEW BEST:: SOT 2667129 SOS 1489988 HAS SOPS 1489988 HAS SOUS 1233062 HAS SOUPS 1233062 WITH SCORE 1234551.988
AT ITER 4685 NEW BEST:: SOT 2667151 SOS 1490118 HAS SOPS 1490118 HAS SOUS 1232480 HAS SOUPS 1232480 WITH SCORE 1233970.118
AT ITER 4694 NEW BEST:: SOT 2666280 SOS 1489683 HAS SOPS 1489683 HAS SOUS 1231839 HAS SOUPS 1231839 WITH SCORE 1233328.683
AT ITER 4697 NEW BEST:: SOT 2667827 SOS 1490773 HAS SOPS 1490773 HAS SOUS 1231541 HAS SOUPS 1231541 WITH SCORE 1233031.773
AT ITER 4702 NEW BEST:: SOT 2668033 SOS 1490979 HAS SOPS 1490979 HAS SOUS 1231364 HAS SOUPS 1231364 WITH SCORE 1232854.979
AT ITER 4703 NEW BEST:: SOT 2668033 SOS 1490816 HAS SOPS 1490816 HAS SOUS 1231364 HAS SOUPS 1231364 WITH SCORE 1232854.816
AT ITER 4704 NEW BEST:: SOT 2668033 SOS 1490517 HAS SOPS 1490517 HAS SOUS 1231209 HAS SOUPS 1231209 WITH SCORE 1232699.517
AT ITER 4706 NEW BEST:: SOT 2668033 SOS 1490517 HAS SOPS 1490517 HAS SOUS 1231203 HAS SOUPS 1231203 WITH SCORE 1232693.517
AT ITER 4708 NEW BEST:: SOT 2668033 SOS 1490517 HAS SOPS 1490517 HAS SOUS 1231132 HAS SOUPS 1231132 WITH SCORE 1232622.517
AT ITER 4717 NEW BEST:: SOT 2668033 SOS 1490529 HAS SOPS 1490529 HAS SOUS 1230898 HAS SOUPS 1230898 WITH SCORE 1232388.529
AT ITER 4733 NEW BEST:: SOT 2668033 SOS 1490529 HAS SOPS 1490529 HAS SOUS 1230729 HAS SOUPS 1230729 WITH SCORE 1232219.529
AT ITER 4748 NEW BEST:: SOT 2666080 SOS 1489349 HAS SOPS 1489349 HAS SOUS 1229585 HAS SOUPS 1229585 WITH SCORE 1231074.349
AT ITER 4750 NEW BEST:: SOT 2666010 SOS 1489327 HAS SOPS 1489327 HAS SOUS 1229563 HAS SOUPS 1229563 WITH SCORE 1231052.327
AT ITER 4751 NEW BEST:: SOT 2666196 SOS 1485877 HAS SOPS 1485877 HAS SOUS 1229079 HAS SOUPS 1229079 WITH SCORE 1230564.877
AT ITER 4755 NEW BEST:: SOT 2664880 SOS 1487885 HAS SOPS 1487885 HAS SOUS 1228299 HAS SOUPS 1228299 WITH SCORE 1229786.885
AT ITER 4756 NEW BEST:: SOT 2662177 SOS 1488247 HAS SOPS 1488247 HAS SOUS 1227337 HAS SOUPS 1227337 WITH SCORE 1228825.247
AT ITER 4763 NEW BEST:: SOT 2662292 SOS 1486333 HAS SOPS 1486333 HAS SOUS 1227034 HAS SOUPS 1227034 WITH SCORE 1228520.333
AT ITER 4768 NEW BEST:: SOT 2662035 SOS 1486408 HAS SOPS 1486408 HAS SOUS 1226876 HAS SOUPS 1226876 WITH SCORE 1228362.408
AT ITER 4770 NEW BEST:: SOT 2662021 SOS 1486394 HAS SOPS 1486394 HAS SOUS 1226862 HAS SOUPS 1226862 WITH SCORE 1228348.394
AT ITER 4779 NEW BEST:: SOT 2662021 SOS 1486310 HAS SOPS 1486310 HAS SOUS 1226862 HAS SOUPS 1226862 WITH SCORE 1228348.31
AT ITER 4789 NEW BEST:: SOT 2662021 SOS 1486176 HAS SOPS 1486176 HAS SOUS 1226862 HAS SOUPS 1226862 WITH SCORE 1228348.176
AT ITER 4790 NEW BEST:: SOT 2662021 SOS 1486451 HAS SOPS 1486451 HAS SOUS 1226857 HAS SOUPS 1226857 WITH SCORE 1228343.451
AT ITER 4793 NEW BEST:: SOT 2663272 SOS 1484658 HAS SOPS 1484658 HAS SOUS 1226771 HAS SOUPS 1226771 WITH SCORE 1228255.658
AT ITER 4794 NEW BEST:: SOT 2663272 SOS 1484569 HAS SOPS 1484569 HAS SOUS 1226771 HAS SOUPS 1226771 WITH SCORE 1228255.569
AT ITER 4805 NEW BEST:: SOT 2663272 SOS 1484569 HAS SOPS 1484569 HAS SOUS 1226659 HAS SOUPS 1226659 WITH SCORE 1228143.569
AT ITER 4811 NEW BEST:: SOT 2663041 SOS 1484338 HAS SOPS 1484338 HAS SOUS 1226428 HAS SOUPS 1226428 WITH SCORE 1227912.338
AT ITER 4824 NEW BEST:: SOT 2660836 SOS 1482469 HAS SOPS 1482469 HAS SOUS 1224743 HAS SOUPS 1224743 WITH SCORE 1226225.469
AT ITER 4829 NEW BEST:: SOT 2660583 SOS 1482216 HAS SOPS 1482216 HAS SOUS 1224412 HAS SOUPS 1224412 WITH SCORE 1225894.216
AT ITER 4834 NEW BEST:: SOT 2660315 SOS 1481948 HAS SOPS 1481948 HAS SOUS 1223761 HAS SOUPS 1223761 WITH SCORE 1225242.948
AT ITER 4842 NEW BEST:: SOT 2660397 SOS 1481851 HAS SOPS 1481851 HAS SOUS 1223614 HAS SOUPS 1223614 WITH SCORE 1225095.851
AT ITER 4845 NEW BEST:: SOT 2660287 SOS 1481741 HAS SOPS 1481741 HAS SOUS 1223406 HAS SOUPS 1223406 WITH SCORE 1224887.741
AT ITER 4847 NEW BEST:: SOT 2660287 SOS 1481600 HAS SOPS 1481600 HAS SOUS 1223289 HAS SOUPS 1223289 WITH SCORE 1224770.6
AT ITER 4851 NEW BEST:: SOT 2660290 SOS 1481226 HAS SOPS 1481226 HAS SOUS 1222890 HAS SOUPS 1222890 WITH SCORE 1224371.226
AT ITER 4852 NEW BEST:: SOT 2660290 SOS 1480677 HAS SOPS 1480677 HAS SOUS 1222890 HAS SOUPS 1222890 WITH SCORE 1224370.677
AT ITER 4854 NEW BEST:: SOT 2660290 SOS 1480578 HAS SOPS 1480578 HAS SOUS 1222890 HAS SOUPS 1222890 WITH SCORE 1224370.578
AT ITER 4857 NEW BEST:: SOT 2660249 SOS 1480652 HAS SOPS 1480652 HAS SOUS 1222797 HAS SOUPS 1222797 WITH SCORE 1224277.652
AT ITER 4860 NEW BEST:: SOT 2660064 SOS 1480467 HAS SOPS 1480467 HAS SOUS 1222627 HAS SOUPS 1222627 WITH SCORE 1224107.467
AT ITER 4873 NEW BEST:: SOT 2660056 SOS 1480667 HAS SOPS 1480667 HAS SOUS 1222618 HAS SOUPS 1222618 WITH SCORE 1224098.667
AT ITER 4875 NEW BEST:: SOT 2660056 SOS 1480582 HAS SOPS 1480582 HAS SOUS 1222371 HAS SOUPS 1222371 WITH SCORE 1223851.582
AT ITER 4885 NEW BEST:: SOT 2660031 SOS 1480557 HAS SOPS 1480557 HAS SOUS 1222346 HAS SOUPS 1222346 WITH SCORE 1223826.557
AT ITER 4886 NEW BEST:: SOT 2658924 SOS 1484051 HAS SOPS 1484051 HAS SOUS 1221348 HAS SOUPS 1221348 WITH SCORE 1222832.051
AT ITER 4890 NEW BEST:: SOT 2658837 SOS 1484252 HAS SOPS 1484252 HAS SOUS 1221163 HAS SOUPS 1221163 WITH SCORE 1222647.252
AT ITER 4894 NEW BEST:: SOT 2658837 SOS 1484138 HAS SOPS 1484138 HAS SOUS 1221049 HAS SOUPS 1221049 WITH SCORE 1222533.138
AT ITER 4897 NEW BEST:: SOT 2658837 SOS 1484094 HAS SOPS 1484094 HAS SOUS 1221049 HAS SOUPS 1221049 WITH SCORE 1222533.094
AT ITER 4902 NEW BEST:: SOT 2658837 SOS 1484251 HAS SOPS 1484251 HAS SOUS 1220996 HAS SOUPS 1220996 WITH SCORE 1222480.251
AT ITER 4924 NEW BEST:: SOT 2658837 SOS 1484077 HAS SOPS 1484077 HAS SOUS 1220996 HAS SOUPS 1220996 WITH SCORE 1222480.077
AT ITER 4949 NEW BEST:: SOT 2658687 SOS 1483927 HAS SOPS 1483927 HAS SOUS 1220782 HAS SOUPS 1220782 WITH SCORE 1222265.927
AT ITER 4953 NEW BEST:: SOT 2658687 SOS 1483308 HAS SOPS 1483308 HAS SOUS 1220782 HAS SOUPS 1220782 WITH SCORE 1222265.308
AT ITER 4958 NEW BEST:: SOT 2658687 SOS 1483016 HAS SOPS 1483016 HAS SOUS 1220640 HAS SOUPS 1220640 WITH SCORE 1222123.016
AT ITER 4976 NEW BEST:: SOT 2658661 SOS 1482990 HAS SOPS 1482990 HAS SOUS 1220588 HAS SOUPS 1220588 WITH SCORE 1222070.99
AT ITER 4985 NEW BEST:: SOT 2658473 SOS 1482120 HAS SOPS 1482120 HAS SOUS 1220238 HAS SOUPS 1220238 WITH SCORE 1221720.12
AT ITER 4989 NEW BEST:: SOT 2657884 SOS 1481930 HAS SOPS 1481930 HAS SOUS 1220090 HAS SOUPS 1220090 WITH SCORE 1221571.93
AT ITER 4990 NEW BEST:: SOT 2657711 SOS 1481881 HAS SOPS 1481881 HAS SOUS 1219691 HAS SOUPS 1219691 WITH SCORE 1221172.881
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN12-CTLCardinality-00 ( (EX( (EF(potential( ( 2 ) <= (tk(P862)) ))))) & (EF(( ( potential( ( 2 ) <= (tk(P1767)) ) | potential( ( 1 ) <= (tk(P1504)) ) ) & (! potential( ( 3 ) <= (tk(P1784)) )) ))) )
PROPERTY: Sudoku-PT-AN12-CTLCardinality-01 (EX( (! (EX( potential( ( 3 ) <= (tk(P630)) ))))))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-02 (AF((EG( potential( ( 2 ) <= (tk(P500)) )))))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-03 ( (! ( (EX( potential( (tk(P1418)) <= (tk(P598)) ))) & (EX( potential( ( 3 ) <= (tk(P224)) ))) )) & (! ( (AX( potential( ( 1 ) <= (tk(P586)) ))) | (EG( potential( (tk(P239)) <= (tk(P1807)) ))) )) )
PROPERTY: Sudoku-PT-AN12-CTLCardinality-04 (EG( (EU( potential( (tk(P388)) <= (tk(P1000)) ),potential( (tk(P2081)) <= (tk(P997)) ) ))))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-05 (AF((EX( (! potential( (tk(P1195)) <= (tk(P1998)) ))))))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-06 ( ( (! (EG( potential( ( 3 ) <= (tk(P1100)) )))) & ( (EF(potential( (tk(P300)) <= (tk(P2135)) ))) & ( ( potential( ( 3 ) <= (tk(P1146)) ) | potential( (tk(P1149)) <= (tk(P2037)) ) ) | (! potential( ( 2 ) <= (tk(P1995)) )) ) ) ) & (EF((AX( potential( (tk(P957)) <= (tk(P162)) ))))) )
PROPERTY: Sudoku-PT-AN12-CTLCardinality-07 (AF(potential( ( 3 ) <= (tk(P1918)) )))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-08 (AX( (AX( potential( (tk(P316)) <= (tk(P1621)) )))))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-09 (AX( (EX( ( potential( (tk(P771)) <= (tk(P1864)) ) & potential( (tk(P1141)) <= (tk(P1488)) ) )))))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-10 (AX( ( ( ( potential( (tk(P750)) <= (tk(P648)) ) | potential( ( 2 ) <= (tk(P1681)) ) ) | potential( (tk(P1386)) <= (tk(P1755)) ) ) & (EX( potential( ( 1 ) <= (tk(P1242)) ))) )))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-11 ( ( potential( ( 3 ) <= (tk(P1554)) ) | ( potential( ( 1 ) <= (tk(P948)) ) | (! potential( ( 1 ) <= (tk(P1920)) )) ) ) | (AG( (EX( potential( (tk(P1779)) <= (tk(P1004)) ))))) )
PROPERTY: Sudoku-PT-AN12-CTLCardinality-12 ( ( (AX( potential( ( 2 ) <= (tk(P1446)) ))) | (! (AF(potential( ( 2 ) <= (tk(P1496)) )))) ) & (AU( ( potential( (tk(P829)) <= (tk(P1768)) ) & potential( ( 1 ) <= (tk(P455)) ) ),potential( (tk(P1344)) <= (tk(P1386)) ) )) )
PROPERTY: Sudoku-PT-AN12-CTLCardinality-13 (EX( (EX( (! potential( (tk(P1656)) <= (tk(P1687)) ))))))
PROPERTY: Sudoku-PT-AN12-CTLCardinality-14 ( (AF((! potential( (tk(P895)) <= (tk(P1589)) )))) & (EU( ( potential( (tk(P1838)) <= (tk(P948)) ) | potential( ( 2 ) <= (tk(P945)) ) ),(! potential( ( 3 ) <= (tk(P720)) )) )) )
PROPERTY: Sudoku-PT-AN12-CTLCardinality-15 (AG( ( (AF(potential( (tk(P1662)) <= (tk(P232)) ))) | (AF(potential( ( 1 ) <= (tk(P639)) ))) )))

BK_TIME_CONFINEMENT_REACHED

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

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="Sudoku-PT-AN12"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN12, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538700403"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN12.tgz
mv Sudoku-PT-AN12 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;