Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 11K Feb 26 07:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 07:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 07:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 07:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 08:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 08:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678787262270

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

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12975622 SOS 6053409 HAS SOPS 6048954 HAS SOUS 1656695 HAS SOUPS 1652240 WITH SCORE 1658293.409
AT ITER 10 NEW BEST:: SOT 12975622 SOS 6051033 HAS SOPS 6046578 HAS SOUS 1656695 HAS SOUPS 1652240 WITH SCORE 1658291.033
AT ITER 21 NEW BEST:: SOT 12975857 SOS 6051268 HAS SOPS 6046813 HAS SOUS 1654370 HAS SOUPS 1649915 WITH SCORE 1655966.268
AT ITER 40 NEW BEST:: SOT 12973659 SOS 6049272 HAS SOPS 6044817 HAS SOUS 1651430 HAS SOUPS 1646975 WITH SCORE 1653024.272
AT ITER 53 NEW BEST:: SOT 12973659 SOS 6037432 HAS SOPS 6032977 HAS SOUS 1651270 HAS SOUPS 1646815 WITH SCORE 1652852.432
AT ITER 58 NEW BEST:: SOT 12972344 SOS 6036609 HAS SOPS 6032154 HAS SOUS 1648521 HAS SOUPS 1644066 WITH SCORE 1650102.609
AT ITER 59 NEW BEST:: SOT 12971345 SOS 6035610 HAS SOPS 6031155 HAS SOUS 1646423 HAS SOUPS 1641968 WITH SCORE 1648003.61
AT ITER 62 NEW BEST:: SOT 12970226 SOS 6034532 HAS SOPS 6030077 HAS SOUS 1645380 HAS SOUPS 1640925 WITH SCORE 1646959.532
AT ITER 76 NEW BEST:: SOT 12960600 SOS 6026043 HAS SOPS 6021588 HAS SOUS 1637098 HAS SOUPS 1632643 WITH SCORE 1638669.043
AT ITER 79 NEW BEST:: SOT 12960624 SOS 6026190 HAS SOPS 6021612 HAS SOUS 1635821 HAS SOUPS 1631294 WITH SCORE 1637320.19
AT ITER 89 NEW BEST:: SOT 12959885 SOS 6025554 HAS SOPS 6021041 HAS SOUS 1629820 HAS SOUPS 1625358 WITH SCORE 1631383.554
AT ITER 90 NEW BEST:: SOT 12960003 SOS 6025030 HAS SOPS 6020319 HAS SOUS 1629926 HAS SOUPS 1625266 WITH SCORE 1631291.03
AT ITER 99 NEW BEST:: SOT 12960008 SOS 6024987 HAS SOPS 6020324 HAS SOUS 1622027 HAS SOUPS 1617415 WITH SCORE 1623439.987
AT ITER 100 NEW BEST:: SOT 12959273 SOS 6024252 HAS SOPS 6019589 HAS SOUS 1620542 HAS SOUPS 1615930 WITH SCORE 1621954.252
AT ITER 106 NEW BEST:: SOT 12959273 SOS 6022911 HAS SOPS 6018248 HAS SOUS 1620542 HAS SOUPS 1615930 WITH SCORE 1621952.911
AT ITER 124 NEW BEST:: SOT 12959417 SOS 6023055 HAS SOPS 6018392 HAS SOUS 1617477 HAS SOUPS 1612865 WITH SCORE 1618888.055
AT ITER 138 NEW BEST:: SOT 12965002 SOS 6028992 HAS SOPS 6024329 HAS SOUS 1607628 HAS SOUPS 1603016 WITH SCORE 1609044.992
AT ITER 145 NEW BEST:: SOT 12965002 SOS 6028958 HAS SOPS 6024329 HAS SOUS 1603078 HAS SOUPS 1598500 WITH SCORE 1604528.958
AT ITER 161 NEW BEST:: SOT 12964617 SOS 6028573 HAS SOPS 6023944 HAS SOUS 1602500 HAS SOUPS 1597922 WITH SCORE 1603950.573
AT ITER 165 NEW BEST:: SOT 12962355 SOS 6026891 HAS SOPS 6022262 HAS SOUS 1601673 HAS SOUPS 1597095 WITH SCORE 1603121.891
AT ITER 177 NEW BEST:: SOT 12959054 SOS 6023655 HAS SOPS 6019026 HAS SOUS 1598437 HAS SOUPS 1593859 WITH SCORE 1599882.655
AT ITER 181 NEW BEST:: SOT 12959635 SOS 6024236 HAS SOPS 6019607 HAS SOUS 1595714 HAS SOUPS 1591136 WITH SCORE 1597160.236
AT ITER 187 NEW BEST:: SOT 12959635 SOS 6015236 HAS SOPS 6010607 HAS SOUS 1595714 HAS SOUPS 1591136 WITH SCORE 1597151.236
AT ITER 195 NEW BEST:: SOT 12956149 SOS 6026688 HAS SOPS 6022059 HAS SOUS 1590555 HAS SOUPS 1585977 WITH SCORE 1592003.688
AT ITER 202 NEW BEST:: SOT 12954359 SOS 6024898 HAS SOPS 6020269 HAS SOUS 1588764 HAS SOUPS 1584186 WITH SCORE 1590210.898
AT ITER 210 NEW BEST:: SOT 12953078 SOS 6023338 HAS SOPS 6018760 HAS SOUS 1582527 HAS SOUPS 1578000 WITH SCORE 1584023.338
AT ITER 211 NEW BEST:: SOT 12951226 SOS 6021954 HAS SOPS 6017376 HAS SOUS 1570192 HAS SOUPS 1565665 WITH SCORE 1571686.954
AT ITER 222 NEW BEST:: SOT 12953300 SOS 6024028 HAS SOPS 6019450 HAS SOUS 1570106 HAS SOUPS 1565579 WITH SCORE 1571603.028
AT ITER 223 NEW BEST:: SOT 12946176 SOS 6018741 HAS SOPS 6014163 HAS SOUS 1563613 HAS SOUPS 1559086 WITH SCORE 1565104.741
AT ITER 230 NEW BEST:: SOT 12946147 SOS 6018712 HAS SOPS 6014134 HAS SOUS 1563584 HAS SOUPS 1559057 WITH SCORE 1565075.712
AT ITER 231 NEW BEST:: SOT 12942103 SOS 6015029 HAS SOPS 6010722 HAS SOUS 1546737 HAS SOUPS 1542430 WITH SCORE 1548445.029
AT ITER 232 NEW BEST:: SOT 12947239 SOS 6020169 HAS SOPS 6015913 HAS SOUS 1546543 HAS SOUPS 1542287 WITH SCORE 1548307.169
AT ITER 234 NEW BEST:: SOT 12947239 SOS 6019863 HAS SOPS 6015607 HAS SOUS 1546354 HAS SOUPS 1542098 WITH SCORE 1548117.863
AT ITER 239 NEW BEST:: SOT 12945905 SOS 6021131 HAS SOPS 6016875 HAS SOUS 1543796 HAS SOUPS 1539540 WITH SCORE 1545561.131
AT ITER 248 NEW BEST:: SOT 12947945 SOS 6023175 HAS SOPS 6018973 HAS SOUS 1536013 HAS SOUPS 1531811 WITH SCORE 1537834.175
AT ITER 258 NEW BEST:: SOT 12945123 SOS 6021126 HAS SOPS 6017399 HAS SOUS 1522709 HAS SOUPS 1518982 WITH SCORE 1525003.126
AT ITER 274 NEW BEST:: SOT 12945123 SOS 6013998 HAS SOPS 6010271 HAS SOUS 1522709 HAS SOUPS 1518982 WITH SCORE 1524995.998
AT ITER 278 NEW BEST:: SOT 12945058 SOS 6013933 HAS SOPS 6010206 HAS SOUS 1522578 HAS SOUPS 1518851 WITH SCORE 1524864.933
AT ITER 282 NEW BEST:: SOT 12945058 SOS 6013933 HAS SOPS 6010206 HAS SOUS 1522491 HAS SOUPS 1518764 WITH SCORE 1524777.933
AT ITER 283 NEW BEST:: SOT 12945058 SOS 6009109 HAS SOPS 6005382 HAS SOUS 1522491 HAS SOUPS 1518764 WITH SCORE 1524773.109
AT ITER 296 NEW BEST:: SOT 12945058 SOS 6008863 HAS SOPS 6005136 HAS SOUS 1522368 HAS SOUPS 1518641 WITH SCORE 1524649.863
AT ITER 306 NEW BEST:: SOT 12945149 SOS 6008954 HAS SOPS 6005227 HAS SOUS 1517579 HAS SOUPS 1513852 WITH SCORE 1519860.954
AT ITER 307 NEW BEST:: SOT 12939954 SOS 6004247 HAS SOPS 6000520 HAS SOUS 1510895 HAS SOUPS 1507168 WITH SCORE 1513172.247
AT ITER 310 NEW BEST:: SOT 12939453 SOS 6004574 HAS SOPS 6000847 HAS SOUS 1501752 HAS SOUPS 1498025 WITH SCORE 1504029.574
AT ITER 318 NEW BEST:: SOT 12939453 SOS 6001406 HAS SOPS 5997679 HAS SOUS 1501752 HAS SOUPS 1498025 WITH SCORE 1504026.406
AT ITER 320 NEW BEST:: SOT 12939662 SOS 6001606 HAS SOPS 5997879 HAS SOUS 1493579 HAS SOUPS 1489852 WITH SCORE 1495853.606
AT ITER 339 NEW BEST:: SOT 12939662 SOS 5997388 HAS SOPS 5993661 HAS SOUS 1493522 HAS SOUPS 1489795 WITH SCORE 1495792.388
AT ITER 378 NEW BEST:: SOT 12939993 SOS 5997713 HAS SOPS 5993986 HAS SOUS 1488740 HAS SOUPS 1485013 WITH SCORE 1491010.713
AT ITER 382 NEW BEST:: SOT 12939975 SOS 5997695 HAS SOPS 5993968 HAS SOUS 1488722 HAS SOUPS 1484995 WITH SCORE 1490992.695
AT ITER 386 NEW BEST:: SOT 12941123 SOS 5998843 HAS SOPS 5995116 HAS SOUS 1487895 HAS SOUPS 1484168 WITH SCORE 1490166.843
AT ITER 388 NEW BEST:: SOT 12807845 SOS 7643968 HAS SOPS 7641102 HAS SOUS 1352943 HAS SOUPS 1350077 WITH SCORE 1357720.968
AT ITER 395 NEW BEST:: SOT 12807852 SOS 7643975 HAS SOPS 7641109 HAS SOUS 1352737 HAS SOUPS 1349871 WITH SCORE 1357514.975
AT ITER 406 NEW BEST:: SOT 12806747 SOS 7642870 HAS SOPS 7640004 HAS SOUS 1346912 HAS SOUPS 1344046 WITH SCORE 1351688.87
AT ITER 411 NEW BEST:: SOT 12806293 SOS 7642616 HAS SOPS 7639750 HAS SOUS 1346128 HAS SOUPS 1343262 WITH SCORE 1350904.616
AT ITER 414 NEW BEST:: SOT 12804704 SOS 7641981 HAS SOPS 7639115 HAS SOUS 1335884 HAS SOUPS 1333018 WITH SCORE 1340659.981
AT ITER 416 NEW BEST:: SOT 12804704 SOS 7641981 HAS SOPS 7639115 HAS SOUS 1335882 HAS SOUPS 1333016 WITH SCORE 1340657.981
AT ITER 418 NEW BEST:: SOT 12804704 SOS 7637517 HAS SOPS 7634651 HAS SOUS 1335882 HAS SOUPS 1333016 WITH SCORE 1340653.517
AT ITER 433 NEW BEST:: SOT 12803114 SOS 7635669 HAS SOPS 7632858 HAS SOUS 1328400 HAS SOUPS 1325589 WITH SCORE 1333224.669
AT ITER 440 NEW BEST:: SOT 12802832 SOS 7635387 HAS SOPS 7632576 HAS SOUS 1325308 HAS SOUPS 1322497 WITH SCORE 1330132.387
AT ITER 444 NEW BEST:: SOT 12808648 SOS 7641441 HAS SOPS 7638630 HAS SOUS 1323008 HAS SOUPS 1320197 WITH SCORE 1327838.441
AT ITER 450 NEW BEST:: SOT 12812333 SOS 7645216 HAS SOPS 7642448 HAS SOUS 1320886 HAS SOUPS 1318118 WITH SCORE 1325763.216
AT ITER 455 NEW BEST:: SOT 12810097 SOS 7642980 HAS SOPS 7640212 HAS SOUS 1309684 HAS SOUPS 1306916 WITH SCORE 1314558.98
AT ITER 462 NEW BEST:: SOT 12810097 SOS 7642980 HAS SOPS 7640212 HAS SOUS 1309682 HAS SOUPS 1306914 WITH SCORE 1314556.98
AT ITER 464 NEW BEST:: SOT 12831443 SOS 7664326 HAS SOPS 7661558 HAS SOUS 1300878 HAS SOUPS 1298110 WITH SCORE 1305774.326
AT ITER 465 NEW BEST:: SOT 12837283 SOS 7670410 HAS SOPS 7667642 HAS SOUS 1298530 HAS SOUPS 1295762 WITH SCORE 1303432.41
AT ITER 471 NEW BEST:: SOT 12857406 SOS 7690533 HAS SOPS 7687765 HAS SOUS 1298491 HAS SOUPS 1295723 WITH SCORE 1303413.533
AT ITER 476 NEW BEST:: SOT 12857406 SOS 7684845 HAS SOPS 7682077 HAS SOUS 1298491 HAS SOUPS 1295723 WITH SCORE 1303407.845
AT ITER 482 NEW BEST:: SOT 12852541 SOS 7698089 HAS SOPS 7695321 HAS SOUS 1294200 HAS SOUPS 1291432 WITH SCORE 1299130.089
AT ITER 492 NEW BEST:: SOT 12852332 SOS 7697880 HAS SOPS 7695112 HAS SOUS 1293782 HAS SOUPS 1291014 WITH SCORE 1298711.88
AT ITER 494 NEW BEST:: SOT 12852332 SOS 7697880 HAS SOPS 7695112 HAS SOUS 1293769 HAS SOUPS 1291001 WITH SCORE 1298698.88
AT ITER 495 NEW BEST:: SOT 12851948 SOS 7697496 HAS SOPS 7694728 HAS SOUS 1290362 HAS SOUPS 1287594 WITH SCORE 1295291.496
AT ITER 507 NEW BEST:: SOT 12851759 SOS 7697307 HAS SOPS 7694539 HAS SOUS 1289659 HAS SOUPS 1286891 WITH SCORE 1294588.307
AT ITER 508 NEW BEST:: SOT 12851242 SOS 7696790 HAS SOPS 7694022 HAS SOUS 1285988 HAS SOUPS 1283220 WITH SCORE 1290916.79
AT ITER 509 NEW BEST:: SOT 12850696 SOS 7696892 HAS SOPS 7694150 HAS SOUS 1281352 HAS SOUPS 1278610 WITH SCORE 1286306.892
AT ITER 510 NEW BEST:: SOT 12850696 SOS 7696642 HAS SOPS 7693900 HAS SOUS 1281227 HAS SOUPS 1278485 WITH SCORE 1286181.642
AT ITER 511 NEW BEST:: SOT 12846772 SOS 7698010 HAS SOPS 7695268 HAS SOUS 1276688 HAS SOUPS 1273946 WITH SCORE 1281644.01
AT ITER 515 NEW BEST:: SOT 12847479 SOS 7698717 HAS SOPS 7695975 HAS SOUS 1274047 HAS SOUPS 1271305 WITH SCORE 1279003.717
AT ITER 517 NEW BEST:: SOT 12847479 SOS 7698717 HAS SOPS 7695975 HAS SOUS 1274020 HAS SOUPS 1271278 WITH SCORE 1278976.717
AT ITER 520 NEW BEST:: SOT 12849949 SOS 7706311 HAS SOPS 7703882 HAS SOUS 1268025 HAS SOUPS 1265596 WITH SCORE 1273302.311
AT ITER 530 NEW BEST:: SOT 12844005 SOS 7702382 HAS SOPS 7699953 HAS SOUS 1263117 HAS SOUPS 1260688 WITH SCORE 1268390.382
AT ITER 537 NEW BEST:: SOT 12845470 SOS 7703847 HAS SOPS 7701418 HAS SOUS 1262466 HAS SOUPS 1260037 WITH SCORE 1267740.847
AT ITER 549 NEW BEST:: SOT 12858596 SOS 7718845 HAS SOPS 7716416 HAS SOUS 1259111 HAS SOUPS 1256682 WITH SCORE 1264400.845
AT ITER 554 NEW BEST:: SOT 12858246 SOS 7718499 HAS SOPS 7716110 HAS SOUS 1249599 HAS SOUPS 1247210 WITH SCORE 1254928.499
AT ITER 587 NEW BEST:: SOT 12858177 SOS 7718478 HAS SOPS 7716089 HAS SOUS 1249511 HAS SOUPS 1247122 WITH SCORE 1254840.478
AT ITER 595 NEW BEST:: SOT 12871026 SOS 7731619 HAS SOPS 7729230 HAS SOUS 1246911 HAS SOUPS 1244522 WITH SCORE 1252253.619
AT ITER 602 NEW BEST:: SOT 12864039 SOS 7724632 HAS SOPS 7722243 HAS SOUS 1239289 HAS SOUPS 1236900 WITH SCORE 1244624.632
AT ITER 604 NEW BEST:: SOT 12861221 SOS 7725962 HAS SOPS 7723573 HAS SOUS 1236792 HAS SOUPS 1234403 WITH SCORE 1242128.962
AT ITER 621 NEW BEST:: SOT 12861221 SOS 6044040 HAS SOPS 6040225 HAS SOUS 1238085 HAS SOUPS 1235226 WITH SCORE 1241270.04
AT ITER 627 NEW BEST:: SOT 12861948 SOS 6044817 HAS SOPS 6041017 HAS SOUS 1234055 HAS SOUPS 1231211 WITH SCORE 1237255.817
AT ITER 631 NEW BEST:: SOT 12861948 SOS 6044803 HAS SOPS 6041003 HAS SOUS 1234052 HAS SOUPS 1231208 WITH SCORE 1237252.803
AT ITER 640 NEW BEST:: SOT 12876132 SOS 6093232 HAS SOPS 6088748 HAS SOUS 1225558 HAS SOUPS 1222471 WITH SCORE 1228564.232
AT ITER 642 NEW BEST:: SOT 12876132 SOS 6092080 HAS SOPS 6087596 HAS SOUS 1225558 HAS SOUPS 1222471 WITH SCORE 1228563.08
AT ITER 644 NEW BEST:: SOT 12876016 SOS 6091964 HAS SOPS 6087480 HAS SOUS 1225212 HAS SOUPS 1222125 WITH SCORE 1228216.964
AT ITER 647 NEW BEST:: SOT 12869868 SOS 6090386 HAS SOPS 6085902 HAS SOUS 1219871 HAS SOUPS 1216784 WITH SCORE 1222874.386
AT ITER 659 NEW BEST:: SOT 12867643 SOS 6088161 HAS SOPS 6083677 HAS SOUS 1217593 HAS SOUPS 1214506 WITH SCORE 1220594.161
AT ITER 662 NEW BEST:: SOT 12871841 SOS 6092359 HAS SOPS 6087875 HAS SOUS 1213389 HAS SOUPS 1210302 WITH SCORE 1216394.359
AT ITER 682 NEW BEST:: SOT 12891348 SOS 6123569 HAS SOPS 6119085 HAS SOUS 1208447 HAS SOUPS 1205360 WITH SCORE 1211483.569
AT ITER 686 NEW BEST:: SOT 12903169 SOS 6136322 HAS SOPS 6131838 HAS SOUS 1200925 HAS SOUPS 1197838 WITH SCORE 1203974.322
AT ITER 690 NEW BEST:: SOT 12903169 SOS 6134864 HAS SOPS 6130380 HAS SOUS 1200925 HAS SOUPS 1197838 WITH SCORE 1203972.864
AT ITER 696 NEW BEST:: SOT 12909691 SOS 6141615 HAS SOPS 6137131 HAS SOUS 1194918 HAS SOUPS 1191831 WITH SCORE 1197972.615
AT ITER 699 NEW BEST:: SOT 12908506 SOS 6140430 HAS SOPS 6135946 HAS SOUS 1189655 HAS SOUPS 1186568 WITH SCORE 1192708.43
AT ITER 700 NEW BEST:: SOT 12908506 SOS 6140430 HAS SOPS 6135946 HAS SOUS 1189601 HAS SOUPS 1186514 WITH SCORE 1192654.43
AT ITER 710 NEW BEST:: SOT 12909575 SOS 6141499 HAS SOPS 6137015 HAS SOUS 1189577 HAS SOUPS 1186490 WITH SCORE 1192631.499
AT ITER 716 NEW BEST:: SOT 12905907 SOS 6138385 HAS SOPS 6133901 HAS SOUS 1186860 HAS SOUPS 1183773 WITH SCORE 1189911.385
AT ITER 717 NEW BEST:: SOT 12905907 SOS 6138167 HAS SOPS 6133729 HAS SOUS 1186676 HAS SOUPS 1183635 WITH SCORE 1189773.167
AT ITER 735 NEW BEST:: SOT 12905907 SOS 6136583 HAS SOPS 6132145 HAS SOUS 1186676 HAS SOUPS 1183635 WITH SCORE 1189771.583
AT ITER 763 NEW BEST:: SOT 12907280 SOS 6137956 HAS SOPS 6133518 HAS SOUS 1186125 HAS SOUPS 1183084 WITH SCORE 1189221.956
AT ITER 769 NEW BEST:: SOT 12907280 SOS 6137880 HAS SOPS 6133442 HAS SOUS 1186087 HAS SOUPS 1183046 WITH SCORE 1189183.88
AT ITER 777 NEW BEST:: SOT 12911977 SOS 6142558 HAS SOPS 6138120 HAS SOUS 1185960 HAS SOUPS 1182919 WITH SCORE 1189061.558
AT ITER 779 NEW BEST:: SOT 12910416 SOS 6140997 HAS SOPS 6136559 HAS SOUS 1184302 HAS SOUPS 1181261 WITH SCORE 1187401.997
AT ITER 787 NEW BEST:: SOT 12910094 SOS 6140675 HAS SOPS 6136237 HAS SOUS 1183602 HAS SOUPS 1180561 WITH SCORE 1186701.675
AT ITER 800 NEW BEST:: SOT 12910094 SOS 6135491 HAS SOPS 6131053 HAS SOUS 1183602 HAS SOUPS 1180561 WITH SCORE 1186696.491
AT ITER 805 NEW BEST:: SOT 12908504 SOS 6133901 HAS SOPS 6129463 HAS SOUS 1175061 HAS SOUPS 1172020 WITH SCORE 1178153.901
AT ITER 811 NEW BEST:: SOT 12908426 SOS 6133823 HAS SOPS 6129385 HAS SOUS 1166537 HAS SOUPS 1163496 WITH SCORE 1169629.823
AT ITER 817 NEW BEST:: SOT 12906475 SOS 6131863 HAS SOPS 6127425 HAS SOUS 1158487 HAS SOUPS 1155446 WITH SCORE 1161577.863
AT ITER 846 NEW BEST:: SOT 12910966 SOS 6136738 HAS SOPS 6132300 HAS SOUS 1156777 HAS SOUPS 1153736 WITH SCORE 1159872.738
AT ITER 847 NEW BEST:: SOT 12910763 SOS 6136525 HAS SOPS 6132087 HAS SOUS 1153417 HAS SOUPS 1150376 WITH SCORE 1156512.525
AT ITER 867 NEW BEST:: SOT 12910763 SOS 6131557 HAS SOPS 6127119 HAS SOUS 1153417 HAS SOUPS 1150376 WITH SCORE 1156507.557
AT ITER 871 NEW BEST:: SOT 12911701 SOS 6132243 HAS SOPS 6127805 HAS SOUS 1152837 HAS SOUPS 1149796 WITH SCORE 1155928.243
AT ITER 905 NEW BEST:: SOT 12911691 SOS 6132233 HAS SOPS 6127795 HAS SOUS 1152683 HAS SOUPS 1149642 WITH SCORE 1155774.233
AT ITER 913 NEW BEST:: SOT 12911691 SOS 6124169 HAS SOPS 6119731 HAS SOUS 1152683 HAS SOUPS 1149642 WITH SCORE 1155766.169
AT ITER 920 NEW BEST:: SOT 12912566 SOS 6142214 HAS SOPS 6137776 HAS SOUS 1147478 HAS SOUPS 1144437 WITH SCORE 1150579.214
AT ITER 922 NEW BEST:: SOT 12912566 SOS 6133186 HAS SOPS 6128748 HAS SOUS 1147356 HAS SOUPS 1144315 WITH SCORE 1150448.186
AT ITER 954 NEW BEST:: SOT 12911833 SOS 6132453 HAS SOPS 6128015 HAS SOUS 1144106 HAS SOUPS 1141065 WITH SCORE 1147197.453
AT ITER 975 NEW BEST:: SOT 12912562 SOS 6133242 HAS SOPS 6128804 HAS SOUS 1143105 HAS SOUPS 1140064 WITH SCORE 1146197.242
AT ITER 983 NEW BEST:: SOT 12911980 SOS 6132660 HAS SOPS 6128222 HAS SOUS 1141981 HAS SOUPS 1138940 WITH SCORE 1145072.66
AT ITER 984 NEW BEST:: SOT 12909148 SOS 6129828 HAS SOPS 6125390 HAS SOUS 1135162 HAS SOUPS 1132121 WITH SCORE 1138250.828
AT ITER 1001 NEW BEST:: SOT 12909148 SOS 6129612 HAS SOPS 6125174 HAS SOUS 1135162 HAS SOUPS 1132121 WITH SCORE 1138250.612
AT ITER 1009 NEW BEST:: SOT 12909148 SOS 6125796 HAS SOPS 6121358 HAS SOUS 1135162 HAS SOUPS 1132121 WITH SCORE 1138246.796
AT ITER 1016 NEW BEST:: SOT 12911964 SOS 6129278 HAS SOPS 6124840 HAS SOUS 1131536 HAS SOUPS 1128495 WITH SCORE 1134624.278
AT ITER 1017 NEW BEST:: SOT 12911354 SOS 6128668 HAS SOPS 6124230 HAS SOUS 1129923 HAS SOUPS 1126882 WITH SCORE 1133010.668
AT ITER 1020 NEW BEST:: SOT 12908113 SOS 6125427 HAS SOPS 6120989 HAS SOUS 1124580 HAS SOUPS 1121539 WITH SCORE 1127664.427
AT ITER 1035 NEW BEST:: SOT 12909581 SOS 6126880 HAS SOPS 6122446 HAS SOUS 1122762 HAS SOUPS 1119725 WITH SCORE 1125851.88
AT ITER 1039 NEW BEST:: SOT 12908434 SOS 6125733 HAS SOPS 6121299 HAS SOUS 1122738 HAS SOUPS 1119701 WITH SCORE 1125826.733
AT ITER 1041 NEW BEST:: SOT 12904084 SOS 6121324 HAS SOPS 6116890 HAS SOUS 1113247 HAS SOUPS 1110210 WITH SCORE 1116331.324
AT ITER 1051 NEW BEST:: SOT 12904084 SOS 6114484 HAS SOPS 6110050 HAS SOUS 1113247 HAS SOUPS 1110210 WITH SCORE 1116324.484
AT ITER 1054 NEW BEST:: SOT 12905321 SOS 6115358 HAS SOPS 6110972 HAS SOUS 1111482 HAS SOUPS 1108493 WITH SCORE 1114608.358
AT ITER 1066 NEW BEST:: SOT 12905321 SOS 6114920 HAS SOPS 6110534 HAS SOUS 1111476 HAS SOUPS 1108487 WITH SCORE 1114601.92
AT ITER 1070 NEW BEST:: SOT 12906391 SOS 6115605 HAS SOPS 6111219 HAS SOUS 1109283 HAS SOUPS 1106294 WITH SCORE 1112409.605
AT ITER 1076 NEW BEST:: SOT 12906346 SOS 6115560 HAS SOPS 6111174 HAS SOUS 1109233 HAS SOUPS 1106244 WITH SCORE 1112359.56
AT ITER 1078 NEW BEST:: SOT 12903373 SOS 6112587 HAS SOPS 6108201 HAS SOUS 1106266 HAS SOUPS 1103277 WITH SCORE 1109389.587
AT ITER 1091 NEW BEST:: SOT 12902062 SOS 6111296 HAS SOPS 6106910 HAS SOUS 1104955 HAS SOUPS 1101966 WITH SCORE 1108077.296
AT ITER 1092 NEW BEST:: SOT 12901659 SOS 6110893 HAS SOPS 6106507 HAS SOUS 1103775 HAS SOUPS 1100786 WITH SCORE 1106896.893
AT ITER 1099 NEW BEST:: SOT 12901659 SOS 6105349 HAS SOPS 6100963 HAS SOUS 1103775 HAS SOUPS 1100786 WITH SCORE 1106891.349
AT ITER 1132 NEW BEST:: SOT 12901659 SOS 6098560 HAS SOPS 6094174 HAS SOUS 1103682 HAS SOUPS 1100693 WITH SCORE 1106791.56
AT ITER 1144 NEW BEST:: SOT 12915373 SOS 6133584 HAS SOPS 6129031 HAS SOUS 1100902 HAS SOUPS 1097756 WITH SCORE 1103889.584
AT ITER 1161 NEW BEST:: SOT 12914842 SOS 6133053 HAS SOPS 6128500 HAS SOUS 1100234 HAS SOUPS 1097088 WITH SCORE 1103221.053
AT ITER 1172 NEW BEST:: SOT 12914837 SOS 6133048 HAS SOPS 6128495 HAS SOUS 1100050 HAS SOUPS 1096904 WITH SCORE 1103037.048
AT ITER 1178 NEW BEST:: SOT 12911375 SOS 6129397 HAS SOPS 6124898 HAS SOUS 1093272 HAS SOUPS 1090180 WITH SCORE 1096309.397
AT ITER 1180 NEW BEST:: SOT 12910216 SOS 6128238 HAS SOPS 6123739 HAS SOUS 1092672 HAS SOUPS 1089580 WITH SCORE 1095708.238
AT ITER 1195 NEW BEST:: SOT 12908689 SOS 6126711 HAS SOPS 6122212 HAS SOUS 1091791 HAS SOUPS 1088699 WITH SCORE 1094825.711
AT ITER 1201 NEW BEST:: SOT 12908591 SOS 6216037 HAS SOPS 6211538 HAS SOUS 1091691 HAS SOUPS 1088599 WITH SCORE 1094815.037
AT ITER 1210 NEW BEST:: SOT 12905363 SOS 6212800 HAS SOPS 6208301 HAS SOUS 1089426 HAS SOUPS 1086334 WITH SCORE 1092546.8
AT ITER 1212 NEW BEST:: SOT 12905400 SOS 6202727 HAS SOPS 6198228 HAS SOUS 1089361 HAS SOUPS 1086269 WITH SCORE 1092471.727
AT ITER 1216 NEW BEST:: SOT 12905192 SOS 6202519 HAS SOPS 6198020 HAS SOUS 1089299 HAS SOUPS 1086207 WITH SCORE 1092409.519
AT ITER 1221 NEW BEST:: SOT 12897895 SOS 6206310 HAS SOPS 6201811 HAS SOUS 1079542 HAS SOUPS 1076450 WITH SCORE 1082656.31
AT ITER 1226 NEW BEST:: SOT 12897795 SOS 6206210 HAS SOPS 6201711 HAS SOUS 1078370 HAS SOUPS 1075278 WITH SCORE 1081484.21
AT ITER 1228 NEW BEST:: SOT 12897795 SOS 6206114 HAS SOPS 6201615 HAS SOUS 1078346 HAS SOUPS 1075254 WITH SCORE 1081460.114
AT ITER 1230 NEW BEST:: SOT 12887731 SOS 6214736 HAS SOPS 6210237 HAS SOUS 1066067 HAS SOUPS 1062975 WITH SCORE 1069189.736
AT ITER 1244 NEW BEST:: SOT 12887555 SOS 6214560 HAS SOPS 6210061 HAS SOUS 1066063 HAS SOUPS 1062971 WITH SCORE 1069185.56
AT ITER 1246 NEW BEST:: SOT 12886903 SOS 6213908 HAS SOPS 6209409 HAS SOUS 1063829 HAS SOUPS 1060737 WITH SCORE 1066950.908
AT ITER 1260 NEW BEST:: SOT 12889845 SOS 6217238 HAS SOPS 6212739 HAS SOUS 1055900 HAS SOUPS 1052808 WITH SCORE 1059025.238
AT ITER 1263 NEW BEST:: SOT 12889461 SOS 6216770 HAS SOPS 6212243 HAS SOUS 1054625 HAS SOUPS 1051533 WITH SCORE 1057749.77
AT ITER 1290 NEW BEST:: SOT 12890191 SOS 6217500 HAS SOPS 6212973 HAS SOUS 1051078 HAS SOUPS 1047986 WITH SCORE 1054203.5
AT ITER 1298 NEW BEST:: SOT 12890191 SOS 6216199 HAS SOPS 6211672 HAS SOUS 1050073 HAS SOUPS 1046981 WITH SCORE 1053197.199
AT ITER 1323 NEW BEST:: SOT 12890191 SOS 6214255 HAS SOPS 6209728 HAS SOUS 1050073 HAS SOUPS 1046981 WITH SCORE 1053195.255
AT ITER 1339 NEW BEST:: SOT 12890737 SOS 6214966 HAS SOPS 6210492 HAS SOUS 1039276 HAS SOUPS 1036237 WITH SCORE 1042451.966
AT ITER 1352 NEW BEST:: SOT 12890737 SOS 6212014 HAS SOPS 6207540 HAS SOUS 1039276 HAS SOUPS 1036237 WITH SCORE 1042449.014
AT ITER 1357 NEW BEST:: SOT 12901586 SOS 6242202 HAS SOPS 6237307 HAS SOUS 1036140 HAS SOUPS 1032955 WITH SCORE 1039197.202
AT ITER 1360 NEW BEST:: SOT 12906278 SOS 6246894 HAS SOPS 6241999 HAS SOUS 1032820 HAS SOUPS 1029635 WITH SCORE 1035881.894
AT ITER 1372 NEW BEST:: SOT 12906278 SOS 6240160 HAS SOPS 6235265 HAS SOUS 1032729 HAS SOUPS 1029544 WITH SCORE 1035784.16
AT ITER 1377 NEW BEST:: SOT 12904629 SOS 6238058 HAS SOPS 6233058 HAS SOUS 1031309 HAS SOUPS 1028019 WITH SCORE 1034257.058
AT ITER 1390 NEW BEST:: SOT 12904629 SOS 6237970 HAS SOPS 6232970 HAS SOUS 1031265 HAS SOUPS 1027975 WITH SCORE 1034212.97
AT ITER 1407 NEW BEST:: SOT 12904421 SOS 6237762 HAS SOPS 6232762 HAS SOUS 1030994 HAS SOUPS 1027704 WITH SCORE 1033941.762
AT ITER 1419 NEW BEST:: SOT 12903226 SOS 6236567 HAS SOPS 6231567 HAS SOUS 1026627 HAS SOUPS 1023337 WITH SCORE 1029573.567
AT ITER 1426 NEW BEST:: SOT 12906358 SOS 6239797 HAS SOPS 6234813 HAS SOUS 1026215 HAS SOUPS 1022941 WITH SCORE 1029180.797
AT ITER 1432 NEW BEST:: SOT 12906111 SOS 6239550 HAS SOPS 6234566 HAS SOUS 1025784 HAS SOUPS 1022510 WITH SCORE 1028749.55
AT ITER 1478 NEW BEST:: SOT 12914727 SOS 6257927 HAS SOPS 6252785 HAS SOUS 1022069 HAS SOUPS 1018659 WITH SCORE 1024916.927
AT ITER 1490 NEW BEST:: SOT 12914058 SOS 6257258 HAS SOPS 6252116 HAS SOUS 1020731 HAS SOUPS 1017321 WITH SCORE 1023578.258
AT ITER 1500 NEW BEST:: SOT 12913388 SOS 6256588 HAS SOPS 6251446 HAS SOUS 1019394 HAS SOUPS 1015984 WITH SCORE 1022240.588
AT ITER 1505 NEW BEST:: SOT 12913388 SOS 6246724 HAS SOPS 6241582 HAS SOUS 1019394 HAS SOUPS 1015984 WITH SCORE 1022230.724
AT ITER 1540 NEW BEST:: SOT 12913388 SOS 6246724 HAS SOPS 6241582 HAS SOUS 1019327 HAS SOUPS 1015917 WITH SCORE 1022163.724
AT ITER 1542 NEW BEST:: SOT 12913364 SOS 6246700 HAS SOPS 6241558 HAS SOUS 1019265 HAS SOUPS 1015855 WITH SCORE 1022101.7
AT ITER 1553 NEW BEST:: SOT 12913364 SOS 6237968 HAS SOPS 6232826 HAS SOUS 1019147 HAS SOUPS 1015737 WITH SCORE 1021974.968
AT ITER 1555 NEW BEST:: SOT 12911012 SOS 6241952 HAS SOPS 6236810 HAS SOUS 1015759 HAS SOUPS 1012349 WITH SCORE 1018590.952
AT ITER 1570 NEW BEST:: SOT 12910938 SOS 6241878 HAS SOPS 6236736 HAS SOUS 1015685 HAS SOUPS 1012275 WITH SCORE 1018516.878
AT ITER 1593 NEW BEST:: SOT 12910938 SOS 6238782 HAS SOPS 6233640 HAS SOUS 1015685 HAS SOUPS 1012275 WITH SCORE 1018513.782
AT ITER 1603 NEW BEST:: SOT 12910938 SOS 6248650 HAS SOPS 6243508 HAS SOUS 1014960 HAS SOUPS 1011550 WITH SCORE 1017798.65
AT ITER 1612 NEW BEST:: SOT 12910560 SOS 6248272 HAS SOPS 6243130 HAS SOUS 1014204 HAS SOUPS 1010794 WITH SCORE 1017042.272
AT ITER 1630 NEW BEST:: SOT 12911194 SOS 6245996 HAS SOPS 6240854 HAS SOUS 1013673 HAS SOUPS 1010263 WITH SCORE 1016508.996
AT ITER 1640 NEW BEST:: SOT 12917166 SOS 6252119 HAS SOPS 6246977 HAS SOUS 1012869 HAS SOUPS 1009459 WITH SCORE 1015711.119
AT ITER 1641 NEW BEST:: SOT 12928866 SOS 6274108 HAS SOPS 6268966 HAS SOUS 1003839 HAS SOUPS 1000429 WITH SCORE 1006703.108
AT ITER 1642 NEW BEST:: SOT 12928866 SOS 6270004 HAS SOPS 6264862 HAS SOUS 1003839 HAS SOUPS 1000429 WITH SCORE 1006699.004
AT ITER 1647 NEW BEST:: SOT 12928847 SOS 6269985 HAS SOPS 6264843 HAS SOUS 1003830 HAS SOUPS 1000420 WITH SCORE 1006689.985
AT ITER 1649 NEW BEST:: SOT 12927554 SOS 6268692 HAS SOPS 6263550 HAS SOUS 1002637 HAS SOUPS 999227 WITH SCORE 1005495.692
AT ITER 1655 NEW BEST:: SOT 12927554 SOS 6265020 HAS SOPS 6259878 HAS SOUS 1002637 HAS SOUPS 999227 WITH SCORE 1005492.02
AT ITER 1660 NEW BEST:: SOT 12927438 SOS 6264904 HAS SOPS 6259762 HAS SOUS 1002325 HAS SOUPS 998915 WITH SCORE 1005179.904
AT ITER 1663 NEW BEST:: SOT 12930187 SOS 6267823 HAS SOPS 6262681 HAS SOUS 1001981 HAS SOUPS 998571 WITH SCORE 1004838.823
AT ITER 1664 NEW BEST:: SOT 12930187 SOS 6266283 HAS SOPS 6261141 HAS SOUS 1001981 HAS SOUPS 998571 WITH SCORE 1004837.283
AT ITER 1677 NEW BEST:: SOT 12928508 SOS 6264604 HAS SOPS 6259462 HAS SOUS 990070 HAS SOUPS 986660 WITH SCORE 992924.604
AT ITER 1697 NEW BEST:: SOT 12928334 SOS 6264430 HAS SOPS 6259288 HAS SOUS 989718 HAS SOUPS 986308 WITH SCORE 992572.43
AT ITER 1703 NEW BEST:: SOT 12927848 SOS 6263926 HAS SOPS 6258784 HAS SOUS 989547 HAS SOUPS 986137 WITH SCORE 992400.926
AT ITER 1762 NEW BEST:: SOT 12927199 SOS 6263277 HAS SOPS 6258135 HAS SOUS 988207 HAS SOUPS 984797 WITH SCORE 991060.277
AT ITER 1779 NEW BEST:: SOT 12926138 SOS 6152916 HAS SOPS 6147774 HAS SOUS 987086 HAS SOUPS 983676 WITH SCORE 989828.916
AT ITER 1795 NEW BEST:: SOT 12925776 SOS 6152513 HAS SOPS 6147371 HAS SOUS 986683 HAS SOUPS 983273 WITH SCORE 989425.513
AT ITER 1805 NEW BEST:: SOT 12919888 SOS 6146575 HAS SOPS 6141459 HAS SOUS 979479 HAS SOUPS 976095 WITH SCORE 982241.575
AT ITER 1818 NEW BEST:: SOT 12919888 SOS 6146503 HAS SOPS 6141387 HAS SOUS 979479 HAS SOUPS 976095 WITH SCORE 982241.503
AT ITER 1823 NEW BEST:: SOT 12919888 SOS 6143623 HAS SOPS 6138507 HAS SOUS 979479 HAS SOUPS 976095 WITH SCORE 982238.623
AT ITER 1825 NEW BEST:: SOT 12921992 SOS 6179229 HAS SOPS 6173244 HAS SOUS 978075 HAS SOUPS 974364 WITH SCORE 980543.229
AT ITER 1835 NEW BEST:: SOT 12921952 SOS 6179189 HAS SOPS 6173204 HAS SOUS 978075 HAS SOUPS 974364 WITH SCORE 980543.189
AT ITER 1842 NEW BEST:: SOT 12919659 SOS 6176104 HAS SOPS 6170119 HAS SOUS 977787 HAS SOUPS 974076 WITH SCORE 980252.104
AT ITER 1859 NEW BEST:: SOT 12917842 SOS 6174111 HAS SOPS 6168126 HAS SOUS 973440 HAS SOUPS 969729 WITH SCORE 975903.111
AT ITER 1873 NEW BEST:: SOT 12917842 SOS 6174111 HAS SOPS 6168126 HAS SOUS 973439 HAS SOUPS 969728 WITH SCORE 975902.111
AT ITER 1901 NEW BEST:: SOT 12921900 SOS 6178236 HAS SOPS 6172251 HAS SOUS 971278 HAS SOUPS 967567 WITH SCORE 973745.236
AT ITER 1974 NEW BEST:: SOT 12921146 SOS 6177269 HAS SOPS 6171333 HAS SOUS 964736 HAS SOUPS 961074 WITH SCORE 967251.269
AT ITER 1983 NEW BEST:: SOT 12921146 SOS 6176261 HAS SOPS 6170325 HAS SOUS 964736 HAS SOUPS 961074 WITH SCORE 967250.261
AT ITER 1997 NEW BEST:: SOT 12923853 SOS 6196574 HAS SOPS 6190638 HAS SOUS 964164 HAS SOUPS 960502 WITH SCORE 966698.574
AT ITER 1999 NEW BEST:: SOT 12923851 SOS 6196572 HAS SOPS 6190636 HAS SOUS 964164 HAS SOUPS 960502 WITH SCORE 966698.572
AT ITER 2020 NEW BEST:: SOT 12928267 SOS 6192921 HAS SOPS 6187112 HAS SOUS 963827 HAS SOUPS 960292 WITH SCORE 966484.921
AT ITER 2044 NEW BEST:: SOT 12932780 SOS 6208157 HAS SOPS 6202505 HAS SOUS 960548 HAS SOUPS 957165 WITH SCORE 963373.157
AT ITER 2058 NEW BEST:: SOT 12932780 SOS 6204629 HAS SOPS 6198977 HAS SOUS 960548 HAS SOUPS 957165 WITH SCORE 963369.629
AT ITER 2067 NEW BEST:: SOT 12934200 SOS 6206049 HAS SOPS 6200397 HAS SOUS 959573 HAS SOUPS 956190 WITH SCORE 962396.049
AT ITER 2095 NEW BEST:: SOT 12934275 SOS 6206124 HAS SOPS 6200475 HAS SOUS 959546 HAS SOUPS 956166 WITH SCORE 962372.124
AT ITER 2124 NEW BEST:: SOT 12932796 SOS 6207665 HAS SOPS 6202016 HAS SOUS 958426 HAS SOUPS 955046 WITH SCORE 961253.665
AT ITER 2135 NEW BEST:: SOT 12932978 SOS 6208069 HAS SOPS 6202420 HAS SOUS 958212 HAS SOUPS 954832 WITH SCORE 961040.069
AT ITER 2147 NEW BEST:: SOT 12932976 SOS 6208067 HAS SOPS 6202418 HAS SOUS 958212 HAS SOUPS 954832 WITH SCORE 961040.067
AT ITER 2196 NEW BEST:: SOT 12932939 SOS 6218096 HAS SOPS 6212447 HAS SOUS 957607 HAS SOUPS 954227 WITH SCORE 960445.096
AT ITER 2209 NEW BEST:: SOT 12935189 SOS 6231002 HAS SOPS 6225353 HAS SOUS 955123 HAS SOUPS 951743 WITH SCORE 957974.002
AT ITER 2211 NEW BEST:: SOT 12933542 SOS 6229545 HAS SOPS 6223934 HAS SOUS 953349 HAS SOUPS 950007 WITH SCORE 956236.545
AT ITER 2224 NEW BEST:: SOT 12933542 SOS 6229417 HAS SOPS 6223806 HAS SOUS 953285 HAS SOUPS 949943 WITH SCORE 956172.417
AT ITER 2231 NEW BEST:: SOT 12927560 SOS 6191450 HAS SOPS 6186547 HAS SOUS 951208 HAS SOUPS 948106 WITH SCORE 954297.45
AT ITER 2235 NEW BEST:: SOT 12927560 SOS 6191450 HAS SOPS 6186547 HAS SOUS 951201 HAS SOUPS 948099 WITH SCORE 954290.45
AT ITER 2250 NEW BEST:: SOT 12927560 SOS 6191406 HAS SOPS 6186503 HAS SOUS 951201 HAS SOUPS 948099 WITH SCORE 954290.406
AT ITER 2253 NEW BEST:: SOT 12929555 SOS 6193629 HAS SOPS 6188726 HAS SOUS 948006 HAS SOUPS 944904 WITH SCORE 951097.629
AT ITER 2273 NEW BEST:: SOT 12929519 SOS 6281271 HAS SOPS 6276460 HAS SOUS 946822 HAS SOUPS 943753 WITH SCORE 950034.271
AT ITER 2274 NEW BEST:: SOT 12936981 SOS 6288733 HAS SOPS 6283922 HAS SOUS 946741 HAS SOUPS 943672 WITH SCORE 949960.733
AT ITER 2277 NEW BEST:: SOT 12938198 SOS 6343947 HAS SOPS 6337065 HAS SOUS 945263 HAS SOUPS 941719 WITH SCORE 948062.947
AT ITER 2328 NEW BEST:: SOT 12957858 SOS 6382786 HAS SOPS 6376513 HAS SOUS 941657 HAS SOUPS 938304 WITH SCORE 944686.786
AT ITER 2333 NEW BEST:: SOT 12957858 SOS 6479518 HAS SOPS 6473245 HAS SOUS 941539 HAS SOUPS 938186 WITH SCORE 944665.518
AT ITER 2339 NEW BEST:: SOT 12955060 SOS 6476720 HAS SOPS 6470447 HAS SOUS 939497 HAS SOUPS 936144 WITH SCORE 942620.72
AT ITER 2362 NEW BEST:: SOT 12955060 SOS 6463080 HAS SOPS 6457247 HAS SOUS 939321 HAS SOUPS 936056 WITH SCORE 942519.08
AT ITER 2374 NEW BEST:: SOT 12955330 SOS 6461478 HAS SOPS 6455645 HAS SOUS 938726 HAS SOUPS 935461 WITH SCORE 941922.478
AT ITER 2392 NEW BEST:: SOT 12955047 SOS 6461195 HAS SOPS 6455362 HAS SOUS 938143 HAS SOUPS 934878 WITH SCORE 941339.195
AT ITER 2394 NEW BEST:: SOT 12954866 SOS 6461014 HAS SOPS 6455181 HAS SOUS 938125 HAS SOUPS 934860 WITH SCORE 941321.014
AT ITER 2403 NEW BEST:: SOT 12967298 SOS 6479409 HAS SOPS 6473401 HAS SOUS 934722 HAS SOUPS 931364 WITH SCORE 937843.409
AT ITER 2423 NEW BEST:: SOT 12967222 SOS 6474910 HAS SOPS 6468902 HAS SOUS 934639 HAS SOUPS 931281 WITH SCORE 937755.91
AT ITER 2457 NEW BEST:: SOT 12967132 SOS 6474820 HAS SOPS 6468812 HAS SOUS 934573 HAS SOUPS 931215 WITH SCORE 937689.82
AT ITER 2461 NEW BEST:: SOT 12958732 SOS 6466420 HAS SOPS 6460412 HAS SOUS 932749 HAS SOUPS 929391 WITH SCORE 935857.42
AT ITER 2470 NEW BEST:: SOT 12962087 SOS 6469921 HAS SOPS 6463913 HAS SOUS 931108 HAS SOUPS 927750 WITH SCORE 934219.921
AT ITER 2476 NEW BEST:: SOT 12960852 SOS 6468305 HAS SOPS 6462170 HAS SOUS 928614 HAS SOUPS 925129 WITH SCORE 931597.305
AT ITER 2478 NEW BEST:: SOT 12959383 SOS 6466836 HAS SOPS 6460701 HAS SOUS 925482 HAS SOUPS 921997 WITH SCORE 928463.836
AT ITER 2481 NEW BEST:: SOT 12960921 SOS 6468374 HAS SOPS 6462239 HAS SOUS 924732 HAS SOUPS 921247 WITH SCORE 927715.374
AT ITER 2490 NEW BEST:: SOT 12960061 SOS 6467514 HAS SOPS 6461379 HAS SOUS 923829 HAS SOUPS 920344 WITH SCORE 926811.514
AT ITER 2513 NEW BEST:: SOT 12960061 SOS 6459090 HAS SOPS 6452955 HAS SOUS 923829 HAS SOUPS 920344 WITH SCORE 926803.09
AT ITER 2522 NEW BEST:: SOT 12960059 SOS 6459088 HAS SOPS 6452953 HAS SOUS 923827 HAS SOUPS 920342 WITH SCORE 926801.088
AT ITER 2523 NEW BEST:: SOT 12961023 SOS 6460052 HAS SOPS 6453917 HAS SOUS 922625 HAS SOUPS 919140 WITH SCORE 925600.052
AT ITER 2526 NEW BEST:: SOT 12963535 SOS 6462564 HAS SOPS 6456429 HAS SOUS 916774 HAS SOUPS 913289 WITH SCORE 919751.564
AT ITER 2561 NEW BEST:: SOT 12963442 SOS 6462471 HAS SOPS 6456336 HAS SOUS 916551 HAS SOUPS 913066 WITH SCORE 919528.471
AT ITER 2568 NEW BEST:: SOT 12963062 SOS 6450590 HAS SOPS 6444455 HAS SOUS 915452 HAS SOUPS 911967 WITH SCORE 918417.59
AT ITER 2571 NEW BEST:: SOT 12966263 SOS 6453778 HAS SOPS 6447656 HAS SOUS 913733 HAS SOUPS 910261 WITH SCORE 916714.778
AT ITER 2576 NEW BEST:: SOT 12963605 SOS 6451120 HAS SOPS 6444998 HAS SOUS 908307 HAS SOUPS 904835 WITH SCORE 911286.12
AT ITER 2617 NEW BEST:: SOT 12960647 SOS 6448176 HAS SOPS 6442054 HAS SOUS 905349 HAS SOUPS 901877 WITH SCORE 908325.176
AT ITER 2631 NEW BEST:: SOT 12954643 SOS 6442172 HAS SOPS 6436050 HAS SOUS 904007 HAS SOUPS 900535 WITH SCORE 906977.172
AT ITER 2634 NEW BEST:: SOT 12956400 SOS 6443929 HAS SOPS 6437807 HAS SOUS 903814 HAS SOUPS 900342 WITH SCORE 906785.929
AT ITER 2642 NEW BEST:: SOT 12956176 SOS 6443681 HAS SOPS 6437501 HAS SOUS 903542 HAS SOUPS 900012 WITH SCORE 906455.681
AT ITER 2646 NEW BEST:: SOT 12958924 SOS 6446446 HAS SOPS 6440266 HAS SOUS 900497 HAS SOUPS 896967 WITH SCORE 903413.446
AT ITER 2649 NEW BEST:: SOT 12958924 SOS 6442558 HAS SOPS 6436378 HAS SOUS 900497 HAS SOUPS 896967 WITH SCORE 903409.558
AT ITER 2658 NEW BEST:: SOT 12962328 SOS 6445975 HAS SOPS 6439795 HAS SOUS 898198 HAS SOUPS 894668 WITH SCORE 901113.975
AT ITER 2666 NEW BEST:: SOT 12962995 SOS 6446896 HAS SOPS 6440802 HAS SOUS 893423 HAS SOUPS 889979 WITH SCORE 896425.896
AT ITER 2667 NEW BEST:: SOT 12961524 SOS 6445425 HAS SOPS 6439331 HAS SOUS 891952 HAS SOUPS 888508 WITH SCORE 894953.425
AT ITER 2668 NEW BEST:: SOT 12958703 SOS 6411187 HAS SOPS 6405939 HAS SOUS 888806 HAS SOUPS 885674 WITH SCORE 892085.187
AT ITER 2693 NEW BEST:: SOT 12958631 SOS 6411114 HAS SOPS 6405866 HAS SOUS 888663 HAS SOUPS 885531 WITH SCORE 891942.114
AT ITER 2765 NEW BEST:: SOT 12960647 SOS 6413490 HAS SOPS 6408242 HAS SOUS 888053 HAS SOUPS 884921 WITH SCORE 891334.49
AT ITER 2768 NEW BEST:: SOT 12962290 SOS 6415133 HAS SOPS 6409885 HAS SOUS 887366 HAS SOUPS 884234 WITH SCORE 890649.133
AT ITER 2772 NEW BEST:: SOT 12961634 SOS 6416457 HAS SOPS 6411209 HAS SOUS 886133 HAS SOUPS 883001 WITH SCORE 889417.457
AT ITER 2777 NEW BEST:: SOT 12960618 SOS 6415441 HAS SOPS 6410193 HAS SOUS 885794 HAS SOUPS 882662 WITH SCORE 889077.441
AT ITER 2779 NEW BEST:: SOT 12962304 SOS 6417294 HAS SOPS 6412046 HAS SOUS 882367 HAS SOUPS 879235 WITH SCORE 885652.294
AT ITER 2781 NEW BEST:: SOT 12962246 SOS 6417236 HAS SOPS 6411988 HAS SOUS 882309 HAS SOUPS 879177 WITH SCORE 885594.236
AT ITER 2788 NEW BEST:: SOT 12962246 SOS 6411620 HAS SOPS 6406372 HAS SOUS 882309 HAS SOUPS 879177 WITH SCORE 885588.62
AT ITER 2833 NEW BEST:: SOT 12961834 SOS 6413738 HAS SOPS 6408490 HAS SOUS 881585 HAS SOUPS 878453 WITH SCORE 884866.738
AT ITER 2839 NEW BEST:: SOT 12961834 SOS 6412370 HAS SOPS 6407122 HAS SOUS 881585 HAS SOUPS 878453 WITH SCORE 884865.37
AT ITER 2842 NEW BEST:: SOT 12960094 SOS 6334568 HAS SOPS 6329320 HAS SOUS 880832 HAS SOUPS 877700 WITH SCORE 884034.568
AT ITER 2845 NEW BEST:: SOT 12960094 SOS 6330464 HAS SOPS 6325216 HAS SOUS 880832 HAS SOUPS 877700 WITH SCORE 884030.464
AT ITER 2848 NEW BEST:: SOT 12960139 SOS 6330509 HAS SOPS 6325261 HAS SOUS 880007 HAS SOUPS 876875 WITH SCORE 883205.509
AT ITER 2857 NEW BEST:: SOT 12960139 SOS 6328797 HAS SOPS 6323549 HAS SOUS 880007 HAS SOUPS 876875 WITH SCORE 883203.797
AT ITER 2865 NEW BEST:: SOT 12964532 SOS 6345934 HAS SOPS 6340686 HAS SOUS 879756 HAS SOUPS 876624 WITH SCORE 882969.934
AT ITER 2874 NEW BEST:: SOT 12966086 SOS 6347522 HAS SOPS 6342274 HAS SOUS 879356 HAS SOUPS 876224 WITH SCORE 882571.522
AT ITER 2875 NEW BEST:: SOT 12966086 SOS 6347522 HAS SOPS 6342274 HAS SOUS 879336 HAS SOUPS 876204 WITH SCORE 882551.522
AT ITER 2877 NEW BEST:: SOT 12968406 SOS 6345882 HAS SOPS 6340980 HAS SOUS 876328 HAS SOUPS 873206 WITH SCORE 879551.882
AT ITER 2892 NEW BEST:: SOT 12968383 SOS 6345859 HAS SOPS 6340957 HAS SOUS 876305 HAS SOUPS 873183 WITH SCORE 879528.859
AT ITER 2898 NEW BEST:: SOT 12968383 SOS 6344923 HAS SOPS 6340021 HAS SOUS 876305 HAS SOUPS 873183 WITH SCORE 879527.923
AT ITER 2899 NEW BEST:: SOT 12966454 SOS 6342994 HAS SOPS 6338092 HAS SOUS 874831 HAS SOUPS 871709 WITH SCORE 878051.994
AT ITER 2903 NEW BEST:: SOT 12966454 SOS 6340038 HAS SOPS 6335136 HAS SOUS 874798 HAS SOUPS 871676 WITH SCORE 878016.038
AT ITER 2905 NEW BEST:: SOT 12966454 SOS 6339115 HAS SOPS 6334213 HAS SOUS 874727 HAS SOUPS 871605 WITH SCORE 877944.115
AT ITER 2911 NEW BEST:: SOT 12965410 SOS 6338071 HAS SOPS 6333169 HAS SOUS 872343 HAS SOUPS 869221 WITH SCORE 875559.071
AT ITER 2922 NEW BEST:: SOT 12965410 SOS 6338071 HAS SOPS 6333169 HAS SOUS 872297 HAS SOUPS 869175 WITH SCORE 875513.071
AT ITER 2924 NEW BEST:: SOT 12965405 SOS 6338066 HAS SOPS 6333164 HAS SOUS 872288 HAS SOUPS 869166 WITH SCORE 875504.066
AT ITER 2929 NEW BEST:: SOT 12964997 SOS 6337658 HAS SOPS 6332756 HAS SOUS 872220 HAS SOUPS 869098 WITH SCORE 875435.658
AT ITER 2936 NEW BEST:: SOT 12964997 SOS 6329074 HAS SOPS 6324172 HAS SOUS 872104 HAS SOUPS 868982 WITH SCORE 875311.074
AT ITER 2938 NEW BEST:: SOT 12964822 SOS 6329890 HAS SOPS 6324999 HAS SOUS 872069 HAS SOUPS 868947 WITH SCORE 875276.89
AT ITER 2944 NEW BEST:: SOT 12962450 SOS 6327518 HAS SOPS 6322627 HAS SOUS 870644 HAS SOUPS 867522 WITH SCORE 873849.518
AT ITER 2965 NEW BEST:: SOT 12962406 SOS 6327474 HAS SOPS 6322583 HAS SOUS 870600 HAS SOUPS 867478 WITH SCORE 873805.474
AT ITER 2977 NEW BEST:: SOT 12962406 SOS 6321194 HAS SOPS 6316303 HAS SOUS 870506 HAS SOUPS 867384 WITH SCORE 873705.194
AT ITER 2996 NEW BEST:: SOT 12961286 SOS 6320336 HAS SOPS 6315445 HAS SOUS 863188 HAS SOUPS 860066 WITH SCORE 866386.336
AT ITER 3008 NEW BEST:: SOT 12961270 SOS 6320320 HAS SOPS 6315429 HAS SOUS 863156 HAS SOUPS 860034 WITH SCORE 866354.32
AT ITER 3014 NEW BEST:: SOT 12960761 SOS 6319811 HAS SOPS 6314920 HAS SOUS 861471 HAS SOUPS 858349 WITH SCORE 864668.811
AT ITER 3027 NEW BEST:: SOT 12960573 SOS 6319623 HAS SOPS 6314732 HAS SOUS 860999 HAS SOUPS 857877 WITH SCORE 864196.623
AT ITER 3034 NEW BEST:: SOT 12960578 SOS 6319868 HAS SOPS 6314977 HAS SOUS 856808 HAS SOUPS 853686 WITH SCORE 860005.868
AT ITER 3046 NEW BEST:: SOT 12960578 SOS 6319737 HAS SOPS 6314846 HAS SOUS 856808 HAS SOUPS 853686 WITH SCORE 860005.737
AT ITER 3069 NEW BEST:: SOT 12965377 SOS 6324690 HAS SOPS 6319867 HAS SOUS 855491 HAS SOUPS 852437 WITH SCORE 858761.69
AT ITER 3093 NEW BEST:: SOT 12965377 SOS 6318426 HAS SOPS 6313603 HAS SOUS 855491 HAS SOUPS 852437 WITH SCORE 858755.426
AT ITER 3112 NEW BEST:: SOT 12966609 SOS 6319658 HAS SOPS 6314835 HAS SOUS 855188 HAS SOUPS 852134 WITH SCORE 858453.658
AT ITER 3113 NEW BEST:: SOT 12965439 SOS 6318488 HAS SOPS 6313665 HAS SOUS 853953 HAS SOUPS 850899 WITH SCORE 857217.488
AT ITER 3169 NEW BEST:: SOT 12965439 SOS 6314168 HAS SOPS 6309345 HAS SOUS 853953 HAS SOUPS 850899 WITH SCORE 857213.168
AT ITER 3172 NEW BEST:: SOT 12964876 SOS 6312957 HAS SOPS 6308134 HAS SOUS 853381 HAS SOUPS 850327 WITH SCORE 856639.957
AT ITER 3195 NEW BEST:: SOT 12962924 SOS 6311005 HAS SOPS 6306182 HAS SOUS 852353 HAS SOUPS 849299 WITH SCORE 855610.005
AT ITER 3207 NEW BEST:: SOT 12962924 SOS 6305245 HAS SOPS 6300422 HAS SOUS 852353 HAS SOUPS 849299 WITH SCORE 855604.245
AT ITER 3211 NEW BEST:: SOT 12967310 SOS 6309631 HAS SOPS 6304808 HAS SOUS 851594 HAS SOUPS 848540 WITH SCORE 854849.631
AT ITER 3222 NEW BEST:: SOT 12972314 SOS 6316087 HAS SOPS 6311264 HAS SOUS 843344 HAS SOUPS 840290 WITH SCORE 846606.087
AT ITER 3255 NEW BEST:: SOT 12969693 SOS 6313466 HAS SOPS 6308643 HAS SOUS 840810 HAS SOUPS 837756 WITH SCORE 844069.466
AT ITER 3260 NEW BEST:: SOT 12969267 SOS 6324591 HAS SOPS 6319768 HAS SOUS 840318 HAS SOUPS 837264 WITH SCORE 843588.591
AT ITER 3272 NEW BEST:: SOT 12972426 SOS 6327835 HAS SOPS 6323039 HAS SOUS 840280 HAS SOUPS 837253 WITH SCORE 843580.835
AT ITER 3273 NEW BEST:: SOT 12970666 SOS 6301999 HAS SOPS 6297203 HAS SOUS 839467 HAS SOUPS 836440 WITH SCORE 842741.999
AT ITER 3355 NEW BEST:: SOT 12970071 SOS 6329183 HAS SOPS 6325208 HAS SOUS 830729 HAS SOUPS 827868 WITH SCORE 834197.183
AT ITER 3366 NEW BEST:: SOT 12967572 SOS 6326684 HAS SOPS 6322709 HAS SOUS 825644 HAS SOUPS 822783 WITH SCORE 829109.684
AT ITER 3396 NEW BEST:: SOT 12967572 SOS 6323363 HAS SOPS 6319388 HAS SOUS 825588 HAS SOUPS 822727 WITH SCORE 829050.363
AT ITER 3397 NEW BEST:: SOT 12967572 SOS 6282362 HAS SOPS 6278387 HAS SOUS 825522 HAS SOUPS 822661 WITH SCORE 828943.362
AT ITER 3402 NEW BEST:: SOT 12967572 SOS 6279914 HAS SOPS 6275939 HAS SOUS 825522 HAS SOUPS 822661 WITH SCORE 828940.914
AT ITER 3412 NEW BEST:: SOT 12967622 SOS 6277608 HAS SOPS 6273633 HAS SOUS 825269 HAS SOUPS 822408 WITH SCORE 828685.608
AT ITER 3438 NEW BEST:: SOT 12967322 SOS 6277313 HAS SOPS 6273338 HAS SOUS 824669 HAS SOUPS 821808 WITH SCORE 828085.313
AT ITER 3464 NEW BEST:: SOT 12967322 SOS 6274721 HAS SOPS 6270746 HAS SOUS 824669 HAS SOUPS 821808 WITH SCORE 828082.721
AT ITER 3469 NEW BEST:: SOT 12967323 SOS 6275480 HAS SOPS 6271505 HAS SOUS 824646 HAS SOUPS 821785 WITH SCORE 828060.48
AT ITER 3472 NEW BEST:: SOT 12967491 SOS 6275651 HAS SOPS 6271676 HAS SOUS 824625 HAS SOUPS 821764 WITH SCORE 828039.651
AT ITER 3476 NEW BEST:: SOT 12966650 SOS 6274786 HAS SOPS 6270811 HAS SOUS 824598 HAS SOUPS 821737 WITH SCORE 828011.786
AT ITER 3495 NEW BEST:: SOT 12966650 SOS 6274786 HAS SOPS 6270811 HAS SOUS 824584 HAS SOUPS 821723 WITH SCORE 827997.786
AT ITER 3511 NEW BEST:: SOT 12966594 SOS 6274914 HAS SOPS 6270939 HAS SOUS 824558 HAS SOUPS 821697 WITH SCORE 827971.914
AT ITER 3512 NEW BEST:: SOT 12969224 SOS 6277544 HAS SOPS 6273569 HAS SOUS 819303 HAS SOUPS 816442 WITH SCORE 822719.544
AT ITER 3519 NEW BEST:: SOT 12969323 SOS 6157118 HAS SOPS 6153143 HAS SOUS 819372 HAS SOUPS 816511 WITH SCORE 822668.118
AT ITER 3531 NEW BEST:: SOT 12974991 SOS 6162262 HAS SOPS 6159048 HAS SOUS 818089 HAS SOUPS 815566 WITH SCORE 821728.262
AT ITER 3538 NEW BEST:: SOT 12974991 SOS 6162262 HAS SOPS 6159048 HAS SOUS 818069 HAS SOUPS 815546 WITH SCORE 821708.262
AT ITER 3585 NEW BEST:: SOT 12972107 SOS 6159226 HAS SOPS 6156012 HAS SOUS 813209 HAS SOUPS 810686 WITH SCORE 816845.226
AT ITER 3594 NEW BEST:: SOT 12976824 SOS 6170374 HAS SOPS 6167343 HAS SOUS 809832 HAS SOUPS 807492 WITH SCORE 813662.374
AT ITER 3609 NEW BEST:: SOT 12975810 SOS 6169360 HAS SOPS 6166329 HAS SOUS 809132 HAS SOUPS 806792 WITH SCORE 812961.36
AT ITER 3667 NEW BEST:: SOT 12973678 SOS 6167228 HAS SOPS 6164197 HAS SOUS 804950 HAS SOUPS 802610 WITH SCORE 808777.228
AT ITER 3679 NEW BEST:: SOT 12973678 SOS 6166436 HAS SOPS 6163405 HAS SOUS 804950 HAS SOUPS 802610 WITH SCORE 808776.436
AT ITER 3689 NEW BEST:: SOT 12977339 SOS 6190262 HAS SOPS 6187231 HAS SOUS 803264 HAS SOUPS 800924 WITH SCORE 807114.262
AT ITER 3690 NEW BEST:: SOT 12977233 SOS 6190270 HAS SOPS 6187141 HAS SOUS 803162 HAS SOUPS 800724 WITH SCORE 806914.27
AT ITER 3712 NEW BEST:: SOT 12977233 SOS 6189334 HAS SOPS 6186205 HAS SOUS 803149 HAS SOUPS 800711 WITH SCORE 806900.334
AT ITER 3721 NEW BEST:: SOT 12976919 SOS 6189020 HAS SOPS 6185891 HAS SOUS 802558 HAS SOUPS 800120 WITH SCORE 806309.02
AT ITER 3722 NEW BEST:: SOT 12976911 SOS 6189018 HAS SOPS 6185883 HAS SOUS 802550 HAS SOUPS 800106 WITH SCORE 806295.018
AT ITER 3754 NEW BEST:: SOT 12976911 SOS 6193788 HAS SOPS 6190653 HAS SOUS 802435 HAS SOUPS 799991 WITH SCORE 806184.788
AT ITER 3768 NEW BEST:: SOT 12975096 SOS 6191973 HAS SOPS 6188838 HAS SOUS 798765 HAS SOUPS 796321 WITH SCORE 802512.973
AT ITER 3785 NEW BEST:: SOT 12974284 SOS 6191220 HAS SOPS 6188085 HAS SOUS 797128 HAS SOUPS 794684 WITH SCORE 800875.22
AT ITER 3806 NEW BEST:: SOT 12973610 SOS 6190310 HAS SOPS 6187097 HAS SOUS 797144 HAS SOUPS 794622 WITH SCORE 800812.31
AT ITER 3830 NEW BEST:: SOT 12976143 SOS 6196310 HAS SOPS 6193108 HAS SOUS 793916 HAS SOUPS 791405 WITH SCORE 797601.31
AT ITER 3843 NEW BEST:: SOT 12983528 SOS 6210225 HAS SOPS 6207045 HAS SOUS 792981 HAS SOUPS 790492 WITH SCORE 796702.225
AT ITER 3898 NEW BEST:: SOT 12983398 SOS 6210095 HAS SOPS 6206915 HAS SOUS 792716 HAS SOUPS 790227 WITH SCORE 796437.095
AT ITER 3904 NEW BEST:: SOT 12983267 SOS 6209892 HAS SOPS 6206712 HAS SOUS 792656 HAS SOUPS 790167 WITH SCORE 796376.892
AT ITER 3917 NEW BEST:: SOT 12983142 SOS 6209767 HAS SOPS 6206587 HAS SOUS 792444 HAS SOUPS 789955 WITH SCORE 796164.767
AT ITER 3920 NEW BEST:: SOT 12983142 SOS 6205519 HAS SOPS 6202339 HAS SOUS 792444 HAS SOUPS 789955 WITH SCORE 796160.519
AT ITER 3958 NEW BEST:: SOT 12981914 SOS 6215163 HAS SOPS 6211983 HAS SOUS 791231 HAS SOUPS 788742 WITH SCORE 794957.163
AT ITER 3960 NEW BEST:: SOT 12981587 SOS 6214836 HAS SOPS 6211656 HAS SOUS 790628 HAS SOUPS 788139 WITH SCORE 794353.836
AT ITER 3961 NEW BEST:: SOT 12980604 SOS 6213853 HAS SOPS 6210673 HAS SOUS 789645 HAS SOUPS 787156 WITH SCORE 793369.853
AT ITER 3979 NEW BEST:: SOT 12980604 SOS 6213853 HAS SOPS 6210673 HAS SOUS 789605 HAS SOUPS 787116 WITH SCORE 793329.853
AT ITER 3990 NEW BEST:: SOT 12979131 SOS 6212380 HAS SOPS 6209200 HAS SOUS 786643 HAS SOUPS 784154 WITH SCORE 790366.38
AT ITER 4078 NEW BEST:: SOT 12980053 SOS 6213302 HAS SOPS 6210122 HAS SOUS 786153 HAS SOUPS 783664 WITH SCORE 789877.302
AT ITER 4125 NEW BEST:: SOT 12980053 SOS 6213302 HAS SOPS 6210122 HAS SOUS 786138 HAS SOUPS 783649 WITH SCORE 789862.302
AT ITER 4128 NEW BEST:: SOT 12979599 SOS 6212848 HAS SOPS 6209668 HAS SOUS 785055 HAS SOUPS 782566 WITH SCORE 788778.848
AT ITER 4148 NEW BEST:: SOT 12977305 SOS 6210554 HAS SOPS 6207374 HAS SOUS 782360 HAS SOUPS 779871 WITH SCORE 786081.554
AT ITER 4165 NEW BEST:: SOT 12978352 SOS 6211601 HAS SOPS 6208421 HAS SOUS 781333 HAS SOUPS 778844 WITH SCORE 785055.601
AT ITER 4171 NEW BEST:: SOT 12978031 SOS 6211280 HAS SOPS 6208100 HAS SOUS 781215 HAS SOUPS 778726 WITH SCORE 784937.28
AT ITER 4245 NEW BEST:: SOT 12979064 SOS 6212313 HAS SOPS 6209133 HAS SOUS 780589 HAS SOUPS 778100 WITH SCORE 784312.313
AT ITER 4250 NEW BEST:: SOT 12977944 SOS 6211193 HAS SOPS 6208013 HAS SOUS 780338 HAS SOUPS 777849 WITH SCORE 784060.193
AT ITER 4253 NEW BEST:: SOT 12977944 SOS 6211193 HAS SOPS 6208013 HAS SOUS 780304 HAS SOUPS 777815 WITH SCORE 784026.193
AT ITER 4280 NEW BEST:: SOT 12977944 SOS 6211210 HAS SOPS 6208013 HAS SOUS 780103 HAS SOUPS 777597 WITH SCORE 783808.21
AT ITER 4282 NEW BEST:: SOT 12980956 SOS 6214222 HAS SOPS 6211025 HAS SOUS 778749 HAS SOUPS 776243 WITH SCORE 782457.222
AT ITER 4295 NEW BEST:: SOT 12980948 SOS 6214214 HAS SOPS 6211017 HAS SOUS 778741 HAS SOUPS 776235 WITH SCORE 782449.214
AT ITER 4358 NEW BEST:: SOT 12978498 SOS 6219423 HAS SOPS 6216112 HAS SOUS 778130 HAS SOUPS 775510 WITH SCORE 781729.423
AT ITER 4363 NEW BEST:: SOT 12976286 SOS 6214763 HAS SOPS 6211452 HAS SOUS 776013 HAS SOUPS 773393 WITH SCORE 779607.763
AT ITER 4385 NEW BEST:: SOT 12976765 SOS 6208803 HAS SOPS 6206200 HAS SOUS 769599 HAS SOUPS 767391 WITH SCORE 773599.803
AT ITER 4389 NEW BEST:: SOT 12976492 SOS 6208530 HAS SOPS 6205927 HAS SOUS 768992 HAS SOUPS 766784 WITH SCORE 772992.53
AT ITER 4392 NEW BEST:: SOT 12975852 SOS 6207890 HAS SOPS 6205287 HAS SOUS 768864 HAS SOUPS 766656 WITH SCORE 772863.89
AT ITER 4395 NEW BEST:: SOT 12976854 SOS 6208892 HAS SOPS 6206289 HAS SOUS 768302 HAS SOUPS 766094 WITH SCORE 772302.892
AT ITER 4402 NEW BEST:: SOT 12976854 SOS 6208900 HAS SOPS 6206297 HAS SOUS 768294 HAS SOUPS 766086 WITH SCORE 772294.9
AT ITER 4405 NEW BEST:: SOT 12976853 SOS 6208130 HAS SOPS 6205527 HAS SOUS 768282 HAS SOUPS 766074 WITH SCORE 772282.13
AT ITER 4410 NEW BEST:: SOT 12976190 SOS 6207467 HAS SOPS 6204864 HAS SOUS 767062 HAS SOUPS 764854 WITH SCORE 771061.467
AT ITER 4423 NEW BEST:: SOT 12976178 SOS 6207455 HAS SOPS 6204852 HAS SOUS 767046 HAS SOUPS 764838 WITH SCORE 771045.455
AT ITER 4458 NEW BEST:: SOT 12979692 SOS 6210969 HAS SOPS 6208366 HAS SOUS 763380 HAS SOUPS 761172 WITH SCORE 767382.969
AT ITER 4480 NEW BEST:: SOT 12978964 SOS 6205569 HAS SOPS 6202966 HAS SOUS 762548 HAS SOUPS 760340 WITH SCORE 766545.569
AT ITER 4499 NEW BEST:: SOT 12978964 SOS 6205497 HAS SOPS 6202894 HAS SOUS 762548 HAS SOUPS 760340 WITH SCORE 766545.497
AT ITER 4501 NEW BEST:: SOT 12978052 SOS 6204585 HAS SOPS 6201982 HAS SOUS 760782 HAS SOUPS 758574 WITH SCORE 764778.585
AT ITER 4507 NEW BEST:: SOT 12978319 SOS 6204852 HAS SOPS 6202249 HAS SOUS 760647 HAS SOUPS 758439 WITH SCORE 764643.852
AT ITER 4508 NEW BEST:: SOT 12976907 SOS 6203488 HAS SOPS 6200885 HAS SOUS 757823 HAS SOUPS 755615 WITH SCORE 761818.488
AT ITER 4517 NEW BEST:: SOT 12977044 SOS 6203625 HAS SOPS 6201022 HAS SOUS 757665 HAS SOUPS 755457 WITH SCORE 761660.625
AT ITER 4537 NEW BEST:: SOT 12977044 SOS 6198438 HAS SOPS 6195835 HAS SOUS 757596 HAS SOUPS 755388 WITH SCORE 761586.438
AT ITER 4546 NEW BEST:: SOT 12979366 SOS 6200856 HAS SOPS 6198253 HAS SOUS 753744 HAS SOUPS 751536 WITH SCORE 757736.856
AT ITER 4581 NEW BEST:: SOT 12979911 SOS 6201401 HAS SOPS 6198816 HAS SOUS 753701 HAS SOUPS 751511 WITH SCORE 757712.401
AT ITER 4587 NEW BEST:: SOT 12979335 SOS 6200825 HAS SOPS 6198240 HAS SOUS 752525 HAS SOUPS 750335 WITH SCORE 756535.825
AT ITER 4595 NEW BEST:: SOT 12979335 SOS 6200321 HAS SOPS 6197736 HAS SOUS 752525 HAS SOUPS 750335 WITH SCORE 756535.321
AT ITER 4603 NEW BEST:: SOT 12979335 SOS 6200321 HAS SOPS 6197736 HAS SOUS 752449 HAS SOUPS 750259 WITH SCORE 756459.321
AT ITER 4623 NEW BEST:: SOT 12979318 SOS 6200304 HAS SOPS 6197719 HAS SOUS 752409 HAS SOUPS 750219 WITH SCORE 756419.304
AT ITER 4637 NEW BEST:: SOT 12979335 SOS 6200321 HAS SOPS 6197736 HAS SOUS 752408 HAS SOUPS 750218 WITH SCORE 756418.321
AT ITER 4653 NEW BEST:: SOT 12979095 SOS 6200081 HAS SOPS 6197496 HAS SOUS 751796 HAS SOUPS 749606 WITH SCORE 755806.081
AT ITER 4656 NEW BEST:: SOT 12979552 SOS 6200538 HAS SOPS 6197953 HAS SOUS 751067 HAS SOUPS 748877 WITH SCORE 755077.538
AT ITER 4708 NEW BEST:: SOT 12979552 SOS 6196578 HAS SOPS 6193993 HAS SOUS 751067 HAS SOUPS 748877 WITH SCORE 755073.578
AT ITER 4714 NEW BEST:: SOT 12979792 SOS 6196818 HAS SOPS 6194233 HAS SOUS 750252 HAS SOUPS 748062 WITH SCORE 754258.818
AT ITER 4716 NEW BEST:: SOT 12979792 SOS 6197284 HAS SOPS 6194699 HAS SOUS 750233 HAS SOUPS 748043 WITH SCORE 754240.284
AT ITER 4730 NEW BEST:: SOT 12979791 SOS 6197283 HAS SOPS 6194698 HAS SOUS 750138 HAS SOUPS 747948 WITH SCORE 754145.283
AT ITER 4741 NEW BEST:: SOT 12979758 SOS 6197250 HAS SOPS 6194665 HAS SOUS 750105 HAS SOUPS 747915 WITH SCORE 754112.25
AT ITER 4766 NEW BEST:: SOT 12980969 SOS 6204103 HAS SOPS 6201562 HAS SOUS 749726 HAS SOUPS 747536 WITH SCORE 753740.103
AT ITER 4802 NEW BEST:: SOT 12980852 SOS 6203986 HAS SOPS 6201445 HAS SOUS 749312 HAS SOUPS 747122 WITH SCORE 753325.986
AT ITER 4833 NEW BEST:: SOT 12980157 SOS 6203291 HAS SOPS 6200750 HAS SOUS 747959 HAS SOUPS 745769 WITH SCORE 751972.291
AT ITER 4850 NEW BEST:: SOT 12980213 SOS 6203647 HAS SOPS 6201106 HAS SOUS 747679 HAS SOUPS 745489 WITH SCORE 751692.647
AT ITER 4868 NEW BEST:: SOT 12979529 SOS 6202963 HAS SOPS 6200422 HAS SOUS 747002 HAS SOUPS 744812 WITH SCORE 751014.963
AT ITER 4901 NEW BEST:: SOT 12979621 SOS 6203055 HAS SOPS 6200518 HAS SOUS 746948 HAS SOUPS 744762 WITH SCORE 750965.055
AT ITER 4939 NEW BEST:: SOT 12979932 SOS 6203366 HAS SOPS 6200829 HAS SOUS 746077 HAS SOUPS 743891 WITH SCORE 750094.366
AT ITER 4952 NEW BEST:: SOT 12980234 SOS 6203712 HAS SOPS 6201175 HAS SOUS 745303 HAS SOUPS 743117 WITH SCORE 749320.712
AT ITER 4964 NEW BEST:: SOT 12976470 SOS 6199948 HAS SOPS 6197411 HAS SOUS 743079 HAS SOUPS 740893 WITH SCORE 747092.948
AT ITER 4967 NEW BEST:: SOT 12976470 SOS 6199948 HAS SOPS 6197411 HAS SOUS 743053 HAS SOUPS 740867 WITH SCORE 747066.948
AT ITER 4977 NEW BEST:: SOT 12976458 SOS 6199936 HAS SOPS 6197399 HAS SOUS 743023 HAS SOUPS 740837 WITH SCORE 747036.936
AT ITER 4994 NEW BEST:: SOT 12976224 SOS 6199702 HAS SOPS 6197165 HAS SOUS 742667 HAS SOUPS 740481 WITH SCORE 746680.702
AT ITER 5005 NEW BEST:: SOT 12976992 SOS 6203949 HAS SOPS 6201412 HAS SOUS 741373 HAS SOUPS 739187 WITH SCORE 745390.949
AT ITER 5007 NEW BEST:: SOT 12976949 SOS 6200810 HAS SOPS 6198273 HAS SOUS 741287 HAS SOUPS 739101 WITH SCORE 745301.81
AT ITER 5010 NEW BEST:: SOT 12976882 SOS 6200743 HAS SOPS 6198206 HAS SOUS 741205 HAS SOUPS 739019 WITH SCORE 745219.743
AT ITER 5015 NEW BEST:: SOT 12976882 SOS 6196648 HAS SOPS 6194111 HAS SOUS 741205 HAS SOUPS 739019 WITH SCORE 745215.648
AT ITER 5019 NEW BEST:: SOT 12976852 SOS 6196618 HAS SOPS 6194081 HAS SOUS 741175 HAS SOUPS 738989 WITH SCORE 745185.618
AT ITER 5039 NEW BEST:: SOT 12976852 SOS 6196600 HAS SOPS 6194063 HAS SOUS 741166 HAS SOUPS 738980 WITH SCORE 745176.6
AT ITER 5046 NEW BEST:: SOT 12971276 SOS 6191024 HAS SOPS 6188487 HAS SOUS 736681 HAS SOUPS 734495 WITH SCORE 740686.024
AT ITER 5055 NEW BEST:: SOT 12969483 SOS 6186703 HAS SOPS 6183922 HAS SOUS 735195 HAS SOUPS 732989 WITH SCORE 739175.703
AT ITER 5060 NEW BEST:: SOT 12970366 SOS 6187586 HAS SOPS 6184805 HAS SOUS 733678 HAS SOUPS 731472 WITH SCORE 737659.586
AT ITER 5067 NEW BEST:: SOT 12970136 SOS 6188544 HAS SOPS 6185763 HAS SOUS 733265 HAS SOUPS 731059 WITH SCORE 737247.544
AT ITER 5095 NEW BEST:: SOT 12970066 SOS 6188677 HAS SOPS 6185896 HAS SOUS 733202 HAS SOUPS 730996 WITH SCORE 737184.677
AT ITER 5098 NEW BEST:: SOT 12969848 SOS 6188459 HAS SOPS 6185678 HAS SOUS 732488 HAS SOUPS 730282 WITH SCORE 736470.459
AT ITER 5099 NEW BEST:: SOT 12969848 SOS 6187739 HAS SOPS 6184958 HAS SOUS 732488 HAS SOUPS 730282 WITH SCORE 736469.739
AT ITER 5149 NEW BEST:: SOT 12969848 SOS 6184787 HAS SOPS 6182006 HAS SOUS 732488 HAS SOUPS 730282 WITH SCORE 736466.787
AT ITER 5212 NEW BEST:: SOT 12969601 SOS 6184540 HAS SOPS 6181759 HAS SOUS 731900 HAS SOUPS 729694 WITH SCORE 735878.54
AT ITER 5217 NEW BEST:: SOT 12969220 SOS 6184159 HAS SOPS 6181378 HAS SOUS 731117 HAS SOUPS 728911 WITH SCORE 735095.159
AT ITER 5280 NEW BEST:: SOT 12967924 SOS 6182863 HAS SOPS 6180082 HAS SOUS 729803 HAS SOUPS 727597 WITH SCORE 733779.863
AT ITER 5288 NEW BEST:: SOT 12968296 SOS 6183235 HAS SOPS 6180454 HAS SOUS 729263 HAS SOUPS 727057 WITH SCORE 733240.235
AT ITER 5306 NEW BEST:: SOT 12967359 SOS 6182298 HAS SOPS 6179517 HAS SOUS 728271 HAS SOUPS 726065 WITH SCORE 732247.298
AT ITER 5321 NEW BEST:: SOT 12967359 SOS 6176466 HAS SOPS 6173685 HAS SOUS 728271 HAS SOUPS 726065 WITH SCORE 732241.466
AT ITER 5323 NEW BEST:: SOT 12967958 SOS 6177065 HAS SOPS 6174284 HAS SOUS 727766 HAS SOUPS 725560 WITH SCORE 731737.065
AT ITER 5330 NEW BEST:: SOT 12964805 SOS 6173834 HAS SOPS 6171053 HAS SOUS 725956 HAS SOUPS 723750 WITH SCORE 729923.834
AT ITER 5364 NEW BEST:: SOT 12964805 SOS 6174770 HAS SOPS 6171989 HAS SOUS 725513 HAS SOUPS 723307 WITH SCORE 729481.77
AT ITER 5376 NEW BEST:: SOT 12964805 SOS 6175722 HAS SOPS 6172941 HAS SOUS 725499 HAS SOUPS 723293 WITH SCORE 729468.722
AT ITER 5383 NEW BEST:: SOT 12964805 SOS 6175642 HAS SOPS 6172861 HAS SOUS 725479 HAS SOUPS 723273 WITH SCORE 729448.642
AT ITER 5387 NEW BEST:: SOT 12965512 SOS 6176349 HAS SOPS 6173568 HAS SOUS 725398 HAS SOUPS 723192 WITH SCORE 729368.349
AT ITER 5391 NEW BEST:: SOT 12968330 SOS 6179167 HAS SOPS 6176386 HAS SOUS 723054 HAS SOUPS 720848 WITH SCORE 727027.167
AT ITER 5404 NEW BEST:: SOT 12964966 SOS 6175803 HAS SOPS 6173022 HAS SOUS 721369 HAS SOUPS 719163 WITH SCORE 725338.803
AT ITER 5411 NEW BEST:: SOT 12964371 SOS 6198012 HAS SOPS 6195231 HAS SOUS 719903 HAS SOUPS 717697 WITH SCORE 723895.012
AT ITER 5414 NEW BEST:: SOT 12964439 SOS 6197834 HAS SOPS 6194935 HAS SOUS 719898 HAS SOUPS 717574 WITH SCORE 723771.834
AT ITER 5424 NEW BEST:: SOT 12964439 SOS 6197817 HAS SOPS 6194918 HAS SOUS 719873 HAS SOUPS 717549 WITH SCORE 723746.817
AT ITER 5430 NEW BEST:: SOT 12964439 SOS 6197724 HAS SOPS 6194825 HAS SOUS 719738 HAS SOUPS 717414 WITH SCORE 723611.724
AT ITER 5436 NEW BEST:: SOT 12964011 SOS 6197296 HAS SOPS 6194397 HAS SOUS 718668 HAS SOUPS 716344 WITH SCORE 722541.296
AT ITER 5440 NEW BEST:: SOT 12962548 SOS 6195833 HAS SOPS 6192934 HAS SOUS 715813 HAS SOUPS 713489 WITH SCORE 719684.833
AT ITER 5441 NEW BEST:: SOT 12962548 SOS 6194321 HAS SOPS 6191422 HAS SOUS 715782 HAS SOUPS 713458 WITH SCORE 719652.321
AT ITER 5445 NEW BEST:: SOT 12961459 SOS 6193232 HAS SOPS 6190333 HAS SOUS 715567 HAS SOUPS 713243 WITH SCORE 719436.232
AT ITER 5447 NEW BEST:: SOT 12960889 SOS 6192662 HAS SOPS 6189763 HAS SOUS 714379 HAS SOUPS 712055 WITH SCORE 718247.662
AT ITER 5455 NEW BEST:: SOT 12961191 SOS 6192316 HAS SOPS 6189417 HAS SOUS 713819 HAS SOUPS 711495 WITH SCORE 717687.316
AT ITER 5464 NEW BEST:: SOT 12961191 SOS 6193837 HAS SOPS 6190938 HAS SOUS 713806 HAS SOUPS 711482 WITH SCORE 717675.837
AT ITER 5493 NEW BEST:: SOT 12957969 SOS 6190615 HAS SOPS 6187716 HAS SOUS 712147 HAS SOUPS 709823 WITH SCORE 716013.615
AT ITER 5532 NEW BEST:: SOT 12956281 SOS 6188927 HAS SOPS 6186028 HAS SOUS 710639 HAS SOUPS 708315 WITH SCORE 714503.927
AT ITER 5534 NEW BEST:: SOT 12957375 SOS 6189885 HAS SOPS 6187052 HAS SOUS 706260 HAS SOUPS 704002 WITH SCORE 710191.885
AT ITER 5543 NEW BEST:: SOT 12957306 SOS 6189816 HAS SOPS 6186983 HAS SOUS 706133 HAS SOUPS 703875 WITH SCORE 710064.816
AT ITER 5574 NEW BEST:: SOT 12955725 SOS 6188270 HAS SOPS 6185401 HAS SOUS 705517 HAS SOUPS 703223 WITH SCORE 709411.27
AT ITER 5580 NEW BEST:: SOT 12955893 SOS 6188438 HAS SOPS 6185569 HAS SOUS 704619 HAS SOUPS 702325 WITH SCORE 708513.438
AT ITER 5624 NEW BEST:: SOT 12955893 SOS 6188050 HAS SOPS 6185181 HAS SOUS 704522 HAS SOUPS 702228 WITH SCORE 708416.05
AT ITER 5646 NEW BEST:: SOT 12955139 SOS 6187296 HAS SOPS 6184427 HAS SOUS 701636 HAS SOUPS 699342 WITH SCORE 705529.296
AT ITER 5686 NEW BEST:: SOT 12949311 SOS 6181973 HAS SOPS 6179082 HAS SOUS 701090 HAS SOUPS 698774 WITH SCORE 704955.973
AT ITER 5690 NEW BEST:: SOT 12951126 SOS 6183788 HAS SOPS 6180897 HAS SOUS 700104 HAS SOUPS 697788 WITH SCORE 703971.788
AT ITER 5712 NEW BEST:: SOT 12951097 SOS 6175365 HAS SOPS 6172597 HAS SOUS 699835 HAS SOUPS 697633 WITH SCORE 703808.365
AT ITER 5755 NEW BEST:: SOT 12951097 SOS 6175081 HAS SOPS 6172313 HAS SOUS 699827 HAS SOUPS 697625 WITH SCORE 703800.081
AT ITER 5758 NEW BEST:: SOT 12951097 SOS 6174361 HAS SOPS 6171593 HAS SOUS 699827 HAS SOUPS 697625 WITH SCORE 703799.361
AT ITER 5767 NEW BEST:: SOT 12951095 SOS 6174359 HAS SOPS 6171591 HAS SOUS 699825 HAS SOUPS 697623 WITH SCORE 703797.359
AT ITER 5768 NEW BEST:: SOT 12951929 SOS 6175193 HAS SOPS 6172425 HAS SOUS 699412 HAS SOUPS 697210 WITH SCORE 703385.193
AT ITER 5773 NEW BEST:: SOT 12951901 SOS 6175165 HAS SOPS 6172397 HAS SOUS 699376 HAS SOUPS 697174 WITH SCORE 703349.165
AT ITER 5796 NEW BEST:: SOT 12952000 SOS 6175264 HAS SOPS 6172496 HAS SOUS 699283 HAS SOUPS 697081 WITH SCORE 703256.264
AT ITER 5815 NEW BEST:: SOT 12951733 SOS 6177373 HAS SOPS 6174627 HAS SOUS 698938 HAS SOUPS 696758 WITH SCORE 702935.373
AT ITER 5839 NEW BEST:: SOT 12951671 SOS 6177284 HAS SOPS 6174582 HAS SOUS 698920 HAS SOUPS 696740 WITH SCORE 702917.284
AT ITER 5915 NEW BEST:: SOT 12951671 SOS 6176348 HAS SOPS 6173646 HAS SOUS 698920 HAS SOUPS 696740 WITH SCORE 702916.348
AT ITER 5917 NEW BEST:: SOT 12951510 SOS 6176187 HAS SOPS 6173485 HAS SOUS 698855 HAS SOUPS 696675 WITH SCORE 702851.187
AT ITER 5921 NEW BEST:: SOT 12952435 SOS 6177073 HAS SOPS 6174402 HAS SOUS 698168 HAS SOUPS 696019 WITH SCORE 702196.073
AT ITER 5942 NEW BEST:: SOT 12952354 SOS 6177073 HAS SOPS 6174402 HAS SOUS 698087 HAS SOUPS 695938 WITH SCORE 702115.073
AT ITER 5948 NEW BEST:: SOT 12951875 SOS 6176594 HAS SOPS 6173923 HAS SOUS 698067 HAS SOUPS 695918 WITH SCORE 702094.594
AT ITER 5965 NEW BEST:: SOT 12950940 SOS 6175659 HAS SOPS 6172988 HAS SOUS 696174 HAS SOUPS 694025 WITH SCORE 700200.659
AT ITER 5966 NEW BEST:: SOT 12950940 SOS 6166160 HAS SOPS 6163489 HAS SOUS 696169 HAS SOUPS 694020 WITH SCORE 700186.16
AT ITER 6007 NEW BEST:: SOT 12950940 SOS 6166126 HAS SOPS 6163455 HAS SOUS 696152 HAS SOUPS 694003 WITH SCORE 700169.126
AT ITER 6011 NEW BEST:: SOT 12950852 SOS 6166038 HAS SOPS 6163367 HAS SOUS 696064 HAS SOUPS 693915 WITH SCORE 700081.038
AT ITER 6028 NEW BEST:: SOT 12951130 SOS 6179403 HAS SOPS 6176732 HAS SOUS 695258 HAS SOUPS 693109 WITH SCORE 699288.403
AT ITER 6034 NEW BEST:: SOT 12951127 SOS 6178361 HAS SOPS 6175690 HAS SOUS 695225 HAS SOUPS 693076 WITH SCORE 699254.361
AT ITER 6053 NEW BEST:: SOT 12951127 SOS 6173537 HAS SOPS 6170866 HAS SOUS 695225 HAS SOUPS 693076 WITH SCORE 699249.537
AT ITER 6077 NEW BEST:: SOT 12951085 SOS 6173495 HAS SOPS 6170824 HAS SOUS 694705 HAS SOUPS 692556 WITH SCORE 698729.495
AT ITER 6078 NEW BEST:: SOT 12950372 SOS 6172782 HAS SOPS 6170111 HAS SOUS 694185 HAS SOUPS 692036 WITH SCORE 698208.782
AT ITER 6096 NEW BEST:: SOT 12950359 SOS 6172769 HAS SOPS 6170098 HAS SOUS 694172 HAS SOUPS 692023 WITH SCORE 698195.769
AT ITER 6109 NEW BEST:: SOT 12950371 SOS 6172781 HAS SOPS 6170110 HAS SOUS 693620 HAS SOUPS 691471 WITH SCORE 697643.781
AT ITER 6111 NEW BEST:: SOT 12950537 SOS 6172947 HAS SOPS 6170276 HAS SOUS 693459 HAS SOUPS 691310 WITH SCORE 697482.947
AT ITER 6126 NEW BEST:: SOT 12951233 SOS 6173643 HAS SOPS 6170972 HAS SOUS 691588 HAS SOUPS 689439 WITH SCORE 695612.643
AT ITER 6131 NEW BEST:: SOT 12951221 SOS 6173631 HAS SOPS 6170960 HAS SOUS 691563 HAS SOUPS 689414 WITH SCORE 695587.631
AT ITER 6156 NEW BEST:: SOT 12948856 SOS 6168466 HAS SOPS 6165795 HAS SOUS 689198 HAS SOUPS 687049 WITH SCORE 693217.466
AT ITER 6159 NEW BEST:: SOT 12949833 SOS 6169443 HAS SOPS 6166772 HAS SOUS 688827 HAS SOUPS 686678 WITH SCORE 692847.443
AT ITER 6164 NEW BEST:: SOT 12949800 SOS 6169410 HAS SOPS 6166739 HAS SOUS 688777 HAS SOUPS 686628 WITH SCORE 692797.41
AT ITER 6184 NEW BEST:: SOT 12949880 SOS 6169378 HAS SOPS 6166737 HAS SOUS 688184 HAS SOUPS 686050 WITH SCORE 692219.378
AT ITER 6209 NEW BEST:: SOT 12949656 SOS 6169195 HAS SOPS 6166554 HAS SOUS 688129 HAS SOUPS 685995 WITH SCORE 692164.195
AT ITER 6275 NEW BEST:: SOT 12949656 SOS 6168515 HAS SOPS 6165874 HAS SOUS 688119 HAS SOUPS 685985 WITH SCORE 692153.515
AT ITER 6290 NEW BEST:: SOT 12949656 SOS 6163907 HAS SOPS 6161266 HAS SOUS 688119 HAS SOUPS 685985 WITH SCORE 692148.907
AT ITER 6345 NEW BEST:: SOT 12948342 SOS 6162593 HAS SOPS 6159952 HAS SOUS 686867 HAS SOUPS 684733 WITH SCORE 690895.593
AT ITER 6346 NEW BEST:: SOT 12948785 SOS 6163036 HAS SOPS 6160395 HAS SOUS 686762 HAS SOUPS 684628 WITH SCORE 690791.036
AT ITER 6368 NEW BEST:: SOT 12949546 SOS 6164517 HAS SOPS 6161876 HAS SOUS 686480 HAS SOUPS 684346 WITH SCORE 690510.517
AT ITER 6374 NEW BEST:: SOT 12949546 SOS 6164530 HAS SOPS 6161889 HAS SOUS 686467 HAS SOUPS 684333 WITH SCORE 690497.53
AT ITER 6408 NEW BEST:: SOT 12949466 SOS 6164450 HAS SOPS 6161809 HAS SOUS 686387 HAS SOUPS 684253 WITH SCORE 690417.45
AT ITER 6414 NEW BEST:: SOT 12949874 SOS 6164858 HAS SOPS 6162217 HAS SOUS 686150 HAS SOUPS 684016 WITH SCORE 690180.858
AT ITER 6421 NEW BEST:: SOT 12950028 SOS 6165012 HAS SOPS 6162371 HAS SOUS 685972 HAS SOUPS 683838 WITH SCORE 690003.012
AT ITER 6423 NEW BEST:: SOT 12950028 SOS 6161794 HAS SOPS 6159153 HAS SOUS 685665 HAS SOUPS 683531 WITH SCORE 689692.794
AT ITER 6427 NEW BEST:: SOT 12950028 SOS 6161755 HAS SOPS 6159114 HAS SOUS 685626 HAS SOUPS 683492 WITH SCORE 689653.755
AT ITER 6443 NEW BEST:: SOT 12949995 SOS 6161810 HAS SOPS 6159169 HAS SOUS 685601 HAS SOUPS 683467 WITH SCORE 689628.81
AT ITER 6467 NEW BEST:: SOT 12948376 SOS 6160191 HAS SOPS 6157550 HAS SOUS 683726 HAS SOUPS 681592 WITH SCORE 687752.191
AT ITER 6523 NEW BEST:: SOT 12950144 SOS 6161959 HAS SOPS 6159318 HAS SOUS 682299 HAS SOUPS 680165 WITH SCORE 686326.959
AT ITER 6546 NEW BEST:: SOT 12952074 SOS 6163889 HAS SOPS 6161248 HAS SOUS 680664 HAS SOUPS 678530 WITH SCORE 684693.889
AT ITER 6548 NEW BEST:: SOT 12952229 SOS 6164044 HAS SOPS 6161403 HAS SOUS 680077 HAS SOUPS 677943 WITH SCORE 684107.044
AT ITER 6558 NEW BEST:: SOT 12950360 SOS 6162175 HAS SOPS 6159534 HAS SOUS 675927 HAS SOUPS 673793 WITH SCORE 679955.175
AT ITER 6591 NEW BEST:: SOT 12950497 SOS 6162737 HAS SOPS 6160102 HAS SOUS 675766 HAS SOUPS 673638 WITH SCORE 679800.737
AT ITER 6631 NEW BEST:: SOT 12948411 SOS 6160651 HAS SOPS 6158016 HAS SOUS 674105 HAS SOUPS 671977 WITH SCORE 678137.651
AT ITER 6640 NEW BEST:: SOT 12949043 SOS 6193451 HAS SOPS 6190824 HAS SOUS 673641 HAS SOUPS 671521 WITH SCORE 677714.451
AT ITER 6683 NEW BEST:: SOT 12945562 SOS 6076768 HAS SOPS 6074100 HAS SOUS 672127 HAS SOUPS 669966 WITH SCORE 676042.768
AT ITER 6699 NEW BEST:: SOT 12945562 SOS 6074970 HAS SOPS 6072302 HAS SOUS 672125 HAS SOUPS 669964 WITH SCORE 676038.97
AT ITER 6721 NEW BEST:: SOT 12945040 SOS 6074678 HAS SOPS 6072010 HAS SOUS 671185 HAS SOUPS 669024 WITH SCORE 675098.678
AT ITER 6727 NEW BEST:: SOT 12941799 SOS 6071437 HAS SOPS 6068769 HAS SOUS 670237 HAS SOUPS 668076 WITH SCORE 674147.437
AT ITER 6743 NEW BEST:: SOT 12941799 SOS 6071437 HAS SOPS 6068769 HAS SOUS 670229 HAS SOUPS 668068 WITH SCORE 674139.437
AT ITER 6777 NEW BEST:: SOT 12941799 SOS 6071432 HAS SOPS 6068764 HAS SOUS 670229 HAS SOUPS 668068 WITH SCORE 674139.432
AT ITER 6804 NEW BEST:: SOT 12941925 SOS 6070877 HAS SOPS 6068221 HAS SOUS 669525 HAS SOUPS 667376 WITH SCORE 673446.877
AT ITER 6818 NEW BEST:: SOT 12939686 SOS 6068638 HAS SOPS 6065982 HAS SOUS 667794 HAS SOUPS 665645 WITH SCORE 671713.638
AT ITER 6860 NEW BEST:: SOT 12940710 SOS 6069662 HAS SOPS 6067006 HAS SOUS 667645 HAS SOUPS 665496 WITH SCORE 671565.662
AT ITER 6880 NEW BEST:: SOT 12940558 SOS 6069650 HAS SOPS 6066909 HAS SOUS 667501 HAS SOUPS 665302 WITH SCORE 671371.65
AT ITER 6900 NEW BEST:: SOT 12940385 SOS 6067341 HAS SOPS 6064600 HAS SOUS 667447 HAS SOUPS 665248 WITH SCORE 671315.341
AT ITER 6910 NEW BEST:: SOT 12940385 SOS 6065973 HAS SOPS 6063232 HAS SOUS 667447 HAS SOUPS 665248 WITH SCORE 671313.973
AT ITER 6935 NEW BEST:: SOT 12940380 SOS 6065968 HAS SOPS 6063227 HAS SOUS 667442 HAS SOUPS 665243 WITH SCORE 671308.968
AT ITER 6991 NEW BEST:: SOT 12940380 SOS 6036095 HAS SOPS 6033354 HAS SOUS 667203 HAS SOUPS 665004 WITH SCORE 671040.095
AT ITER 7000 NEW BEST:: SOT 12940380 SOS 6034367 HAS SOPS 6031626 HAS SOUS 667203 HAS SOUPS 665004 WITH SCORE 671038.367
AT ITER 7026 NEW BEST:: SOT 12942467 SOS 6045274 HAS SOPS 6042533 HAS SOUS 665704 HAS SOUPS 663505 WITH SCORE 669550.274
AT ITER 7054 NEW BEST:: SOT 12942422 SOS 6045229 HAS SOPS 6042488 HAS SOUS 665659 HAS SOUPS 663460 WITH SCORE 669505.229
AT ITER 7070 NEW BEST:: SOT 12938792 SOS 6041599 HAS SOPS 6038858 HAS SOUS 663066 HAS SOUPS 660867 WITH SCORE 666908.599
AT ITER 7108 NEW BEST:: SOT 12937865 SOS 6040713 HAS SOPS 6037972 HAS SOUS 660138 HAS SOUPS 657939 WITH SCORE 663979.713
AT ITER 7125 NEW BEST:: SOT 12937865 SOS 6039344 HAS SOPS 6036603 HAS SOUS 660130 HAS SOUPS 657931 WITH SCORE 663970.344
AT ITER 7178 NEW BEST:: SOT 12937496 SOS 6038975 HAS SOPS 6036234 HAS SOUS 659384 HAS SOUPS 657185 WITH SCORE 663223.975
AT ITER 7179 NEW BEST:: SOT 12931456 SOS 6027308 HAS SOPS 6024589 HAS SOUS 657662 HAS SOUPS 655485 WITH SCORE 661512.308
AT ITER 7184 NEW BEST:: SOT 12931408 SOS 6027260 HAS SOPS 6024541 HAS SOUS 657614 HAS SOUPS 655437 WITH SCORE 661464.26
AT ITER 7276 NEW BEST:: SOT 12931127 SOS 6026979 HAS SOPS 6024260 HAS SOUS 657042 HAS SOUPS 654865 WITH SCORE 660891.979
AT ITER 7277 NEW BEST:: SOT 12931233 SOS 6027085 HAS SOPS 6024366 HAS SOUS 656848 HAS SOUPS 654671 WITH SCORE 660698.085
AT ITER 7281 NEW BEST:: SOT 12931233 SOS 6026941 HAS SOPS 6024222 HAS SOUS 656848 HAS SOUPS 654671 WITH SCORE 660697.941
AT ITER 7322 NEW BEST:: SOT 12931233 SOS 6026941 HAS SOPS 6024222 HAS SOUS 656827 HAS SOUPS 654650 WITH SCORE 660676.941
AT ITER 7334 NEW BEST:: SOT 12931231 SOS 6026939 HAS SOPS 6024220 HAS SOUS 656825 HAS SOUPS 654648 WITH SCORE 660674.939
AT ITER 7351 NEW BEST:: SOT 12931231 SOS 6020675 HAS SOPS 6017956 HAS SOUS 656825 HAS SOUPS 654648 WITH SCORE 660668.675
AT ITER 7379 NEW BEST:: SOT 12936385 SOS 6030317 HAS SOPS 6027598 HAS SOUS 656434 HAS SOUPS 654257 WITH SCORE 660287.317
AT ITER 7380 NEW BEST:: SOT 12936367 SOS 6030299 HAS SOPS 6027580 HAS SOUS 656416 HAS SOUPS 654239 WITH SCORE 660269.299
AT ITER 7405 NEW BEST:: SOT 12936367 SOS 6029934 HAS SOPS 6027215 HAS SOUS 656406 HAS SOUPS 654229 WITH SCORE 660258.934
AT ITER 7406 NEW BEST:: SOT 12936231 SOS 6029798 HAS SOPS 6027079 HAS SOUS 656288 HAS SOUPS 654111 WITH SCORE 660140.798
AT ITER 7419 NEW BEST:: SOT 12936177 SOS 6029744 HAS SOPS 6027025 HAS SOUS 656234 HAS SOUPS 654057 WITH SCORE 660086.744
AT ITER 7433 NEW BEST:: SOT 12936177 SOS 6028952 HAS SOPS 6026233 HAS SOUS 656234 HAS SOUPS 654057 WITH SCORE 660085.952
AT ITER 7440 NEW BEST:: SOT 12935019 SOS 6027794 HAS SOPS 6025075 HAS SOUS 653969 HAS SOUPS 651792 WITH SCORE 657819.794
AT ITER 7443 NEW BEST:: SOT 12933923 SOS 6026698 HAS SOPS 6023979 HAS SOUS 653124 HAS SOUPS 650947 WITH SCORE 656973.698
AT ITER 7461 NEW BEST:: SOT 12933821 SOS 6026605 HAS SOPS 6023967 HAS SOUS 653031 HAS SOUPS 650935 WITH SCORE 656961.605
AT ITER 7493 NEW BEST:: SOT 12933821 SOS 6026525 HAS SOPS 6023913 HAS SOUS 653031 HAS SOUPS 650935 WITH SCORE 656961.525
AT ITER 7499 NEW BEST:: SOT 12933821 SOS 6026540 HAS SOPS 6023913 HAS SOUS 653031 HAS SOUPS 650920 WITH SCORE 656946.54
AT ITER 7530 NEW BEST:: SOT 12933875 SOS 6026594 HAS SOPS 6023967 HAS SOUS 653005 HAS SOUPS 650894 WITH SCORE 656920.594
AT ITER 7551 NEW BEST:: SOT 12935259 SOS 6027978 HAS SOPS 6025351 HAS SOUS 652115 HAS SOUPS 650004 WITH SCORE 656031.978
AT ITER 7552 NEW BEST:: SOT 12935259 SOS 6026250 HAS SOPS 6023623 HAS SOUS 652115 HAS SOUPS 650004 WITH SCORE 656030.25
AT ITER 7557 NEW BEST:: SOT 12934641 SOS 6025632 HAS SOPS 6023005 HAS SOUS 651947 HAS SOUPS 649836 WITH SCORE 655861.632
AT ITER 7576 NEW BEST:: SOT 12934641 SOS 6025556 HAS SOPS 6022929 HAS SOUS 651866 HAS SOUPS 649755 WITH SCORE 655780.556
AT ITER 7621 NEW BEST:: SOT 12934554 SOS 6025469 HAS SOPS 6022842 HAS SOUS 651703 HAS SOUPS 649592 WITH SCORE 655617.469
AT ITER 7625 NEW BEST:: SOT 12934554 SOS 6024606 HAS SOPS 6021979 HAS SOUS 651687 HAS SOUPS 649576 WITH SCORE 655600.606
AT ITER 7644 NEW BEST:: SOT 12934554 SOS 6021748 HAS SOPS 6019121 HAS SOUS 651631 HAS SOUPS 649520 WITH SCORE 655541.748
AT ITER 7669 NEW BEST:: SOT 12929400 SOS 6010392 HAS SOPS 6007717 HAS SOUS 649268 HAS SOUPS 647157 WITH SCORE 653167.392
AT ITER 7680 NEW BEST:: SOT 12929006 SOS 6009998 HAS SOPS 6007323 HAS SOUS 648823 HAS SOUPS 646712 WITH SCORE 652721.998
AT ITER 7707 NEW BEST:: SOT 12930864 SOS 6013681 HAS SOPS 6011006 HAS SOUS 647548 HAS SOUPS 645437 WITH SCORE 651450.681
AT ITER 7730 NEW BEST:: SOT 12930630 SOS 6013447 HAS SOPS 6010772 HAS SOUS 647056 HAS SOUPS 644945 WITH SCORE 650958.447
AT ITER 7734 NEW BEST:: SOT 12930630 SOS 6009252 HAS SOPS 6006577 HAS SOUS 646965 HAS SOUPS 644854 WITH SCORE 650863.252
AT ITER 7740 NEW BEST:: SOT 12928240 SOS 6006849 HAS SOPS 6004174 HAS SOUS 645086 HAS SOUPS 642975 WITH SCORE 648981.849
AT ITER 7747 NEW BEST:: SOT 12928861 SOS 6007470 HAS SOPS 6004795 HAS SOUS 644509 HAS SOUPS 642398 WITH SCORE 648405.47
AT ITER 7749 NEW BEST:: SOT 12928861 SOS 6047159 HAS SOPS 6044484 HAS SOUS 643374 HAS SOUPS 641263 WITH SCORE 647310.159
AT ITER 7772 NEW BEST:: SOT 12928839 SOS 6047137 HAS SOPS 6044462 HAS SOUS 643308 HAS SOUPS 641197 WITH SCORE 647244.137
AT ITER 7775 NEW BEST:: SOT 12926801 SOS 6045007 HAS SOPS 6042332 HAS SOUS 639945 HAS SOUPS 637834 WITH SCORE 643879.007
AT ITER 7839 NEW BEST:: SOT 12926771 SOS 6044977 HAS SOPS 6042302 HAS SOUS 639902 HAS SOUPS 637791 WITH SCORE 643835.977
AT ITER 7854 NEW BEST:: SOT 12926771 SOS 6044723 HAS SOPS 6042048 HAS SOUS 639614 HAS SOUPS 637503 WITH SCORE 643547.723
AT ITER 7855 NEW BEST:: SOT 12926727 SOS 6063171 HAS SOPS 6060501 HAS SOUS 639540 HAS SOUPS 637434 WITH SCORE 643497.171
AT ITER 7874 NEW BEST:: SOT 12926707 SOS 6063151 HAS SOPS 6060481 HAS SOUS 639532 HAS SOUPS 637426 WITH SCORE 643489.151
AT ITER 7890 NEW BEST:: SOT 12927039 SOS 6063556 HAS SOPS 6060886 HAS SOUS 638951 HAS SOUPS 636845 WITH SCORE 642908.556
AT ITER 7907 NEW BEST:: SOT 12928424 SOS 6064941 HAS SOPS 6062271 HAS SOUS 638823 HAS SOUPS 636717 WITH SCORE 642781.941
AT ITER 7939 NEW BEST:: SOT 12929913 SOS 6066430 HAS SOPS 6063760 HAS SOUS 638215 HAS SOUPS 636109 WITH SCORE 642175.43
AT ITER 7948 NEW BEST:: SOT 12929890 SOS 6066407 HAS SOPS 6063737 HAS SOUS 635665 HAS SOUPS 633559 WITH SCORE 639625.407
AT ITER 7955 NEW BEST:: SOT 12929673 SOS 6066190 HAS SOPS 6063520 HAS SOUS 635586 HAS SOUPS 633480 WITH SCORE 639546.19
AT ITER 7974 NEW BEST:: SOT 12929651 SOS 6066168 HAS SOPS 6063498 HAS SOUS 635520 HAS SOUPS 633414 WITH SCORE 639480.168
AT ITER 7976 NEW BEST:: SOT 12929099 SOS 6065316 HAS SOPS 6062638 HAS SOUS 635240 HAS SOUPS 633130 WITH SCORE 639195.316
AT ITER 7997 NEW BEST:: SOT 12929099 SOS 6065280 HAS SOPS 6062602 HAS SOUS 635231 HAS SOUPS 633121 WITH SCORE 639186.28
AT ITER 8006 NEW BEST:: SOT 12929120 SOS 6065301 HAS SOPS 6062623 HAS SOUS 635202 HAS SOUPS 633092 WITH SCORE 639157.301
AT ITER 8007 NEW BEST:: SOT 12929052 SOS 6065233 HAS SOPS 6062555 HAS SOUS 635154 HAS SOUPS 633044 WITH SCORE 639109.233
AT ITER 8013 NEW BEST:: SOT 12929812 SOS 6065889 HAS SOPS 6063211 HAS SOUS 634995 HAS SOUPS 632885 WITH SCORE 638950.889
AT ITER 8088 NEW BEST:: SOT 12927726 SOS 6063803 HAS SOPS 6061125 HAS SOUS 632909 HAS SOUPS 630799 WITH SCORE 636862.803
AT ITER 8155 NEW BEST:: SOT 12927726 SOS 6063803 HAS SOPS 6061125 HAS SOUS 632549 HAS SOUPS 630439 WITH SCORE 636502.803
AT ITER 8170 NEW BEST:: SOT 12927227 SOS 6063864 HAS SOPS 6061186 HAS SOUS 631749 HAS SOUPS 629639 WITH SCORE 635702.864
AT ITER 8184 NEW BEST:: SOT 12927547 SOS 6064184 HAS SOPS 6061506 HAS SOUS 631708 HAS SOUPS 629598 WITH SCORE 635662.184
AT ITER 8199 NEW BEST:: SOT 12925878 SOS 6062515 HAS SOPS 6059837 HAS SOUS 629551 HAS SOUPS 627441 WITH SCORE 633503.515
AT ITER 8216 NEW BEST:: SOT 12925240 SOS 6061877 HAS SOPS 6059199 HAS SOUS 628205 HAS SOUPS 626095 WITH SCORE 632156.877
AT ITER 8220 NEW BEST:: SOT 12925145 SOS 6061782 HAS SOPS 6059104 HAS SOUS 626844 HAS SOUPS 624734 WITH SCORE 630795.782
AT ITER 8224 NEW BEST:: SOT 12925730 SOS 6062367 HAS SOPS 6059689 HAS SOUS 626792 HAS SOUPS 624682 WITH SCORE 630744.367
AT ITER 8232 NEW BEST:: SOT 12928504 SOS 6067805 HAS SOPS 6065127 HAS SOUS 624983 HAS SOUPS 622873 WITH SCORE 628940.805
AT ITER 8315 NEW BEST:: SOT 12928504 SOS 6066437 HAS SOPS 6063759 HAS SOUS 624983 HAS SOUPS 622873 WITH SCORE 628939.437
AT ITER 8336 NEW BEST:: SOT 12927964 SOS 6065609 HAS SOPS 6062931 HAS SOUS 624707 HAS SOUPS 622597 WITH SCORE 628662.609
AT ITER 8388 NEW BEST:: SOT 12927798 SOS 6067175 HAS SOPS 6064483 HAS SOUS 623046 HAS SOUPS 620922 WITH SCORE 626989.175
AT ITER 8404 NEW BEST:: SOT 12927798 SOS 6062279 HAS SOPS 6059587 HAS SOUS 623046 HAS SOUPS 620922 WITH SCORE 626984.279
AT ITER 8414 NEW BEST:: SOT 12927796 SOS 6062277 HAS SOPS 6059585 HAS SOUS 623046 HAS SOUPS 620922 WITH SCORE 626984.277
AT ITER 8415 NEW BEST:: SOT 12927796 SOS 6062277 HAS SOPS 6059585 HAS SOUS 622994 HAS SOUPS 620870 WITH SCORE 626932.277
AT ITER 8434 NEW BEST:: SOT 12927796 SOS 6061629 HAS SOPS 6058937 HAS SOUS 622994 HAS SOUPS 620870 WITH SCORE 626931.629
AT ITER 8435 NEW BEST:: SOT 12926112 SOS 6059945 HAS SOPS 6057253 HAS SOUS 622981 HAS SOUPS 620857 WITH SCORE 626916.945
AT ITER 8532 NEW BEST:: SOT 12926112 SOS 6057497 HAS SOPS 6054805 HAS SOUS 622981 HAS SOUPS 620857 WITH SCORE 626914.497
AT ITER 8554 NEW BEST:: SOT 12926112 SOS 6056661 HAS SOPS 6053969 HAS SOUS 622943 HAS SOUPS 620819 WITH SCORE 626875.661
AT ITER 8614 NEW BEST:: SOT 12925870 SOS 6056419 HAS SOPS 6053727 HAS SOUS 620553 HAS SOUPS 618429 WITH SCORE 624485.419
AT ITER 8663 NEW BEST:: SOT 12926075 SOS 6056624 HAS SOPS 6053932 HAS SOUS 620408 HAS SOUPS 618284 WITH SCORE 624340.624
AT ITER 8680 NEW BEST:: SOT 12925363 SOS 6055912 HAS SOPS 6053220 HAS SOUS 619042 HAS SOUPS 616918 WITH SCORE 622973.912
AT ITER 8701 NEW BEST:: SOT 12924957 SOS 6057306 HAS SOPS 6054974 HAS SOUS 618830 HAS SOUPS 616706 WITH SCORE 622763.306
AT ITER 8749 NEW BEST:: SOT 12924957 SOS 6057356 HAS SOPS 6054994 HAS SOUS 618830 HAS SOUPS 616691 WITH SCORE 622748.356
AT ITER 8750 NEW BEST:: SOT 12924957 SOS 6058734 HAS SOPS 6056372 HAS SOUS 618691 HAS SOUPS 616552 WITH SCORE 622610.734
AT ITER 8757 NEW BEST:: SOT 12924963 SOS 6058740 HAS SOPS 6056378 HAS SOUS 618515 HAS SOUPS 616376 WITH SCORE 622434.74
AT ITER 8797 NEW BEST:: SOT 12925265 SOS 6059042 HAS SOPS 6056680 HAS SOUS 614997 HAS SOUPS 612858 WITH SCORE 618917.042
AT ITER 8823 NEW BEST:: SOT 12925265 SOS 6057386 HAS SOPS 6055024 HAS SOUS 614833 HAS SOUPS 612694 WITH SCORE 618751.386
AT ITER 8840 NEW BEST:: SOT 12924065 SOS 6056186 HAS SOPS 6053824 HAS SOUS 614827 HAS SOUPS 612688 WITH SCORE 618744.186
AT ITER 8852 NEW BEST:: SOT 12925228 SOS 6057349 HAS SOPS 6054987 HAS SOUS 614335 HAS SOUPS 612196 WITH SCORE 618253.349
AT ITER 8853 NEW BEST:: SOT 12925735 SOS 6064881 HAS SOPS 6062656 HAS SOUS 612891 HAS SOUPS 610889 WITH SCORE 616953.881
AT ITER 8885 NEW BEST:: SOT 12925700 SOS 6064846 HAS SOPS 6062621 HAS SOUS 612544 HAS SOUPS 610542 WITH SCORE 616606.846
AT ITER 8894 NEW BEST:: SOT 12933854 SOS 6073000 HAS SOPS 6070775 HAS SOUS 610444 HAS SOUPS 608442 WITH SCORE 614515.0
AT ITER 8907 NEW BEST:: SOT 12931238 SOS 6070384 HAS SOPS 6068159 HAS SOUS 608562 HAS SOUPS 606560 WITH SCORE 612630.384
AT ITER 8922 NEW BEST:: SOT 12931238 SOS 6070321 HAS SOPS 6068096 HAS SOUS 608544 HAS SOUPS 606542 WITH SCORE 612612.321
AT ITER 8928 NEW BEST:: SOT 12931238 SOS 6071928 HAS SOPS 6069703 HAS SOUS 608519 HAS SOUPS 606517 WITH SCORE 612588.928
AT ITER 8944 NEW BEST:: SOT 12930715 SOS 6071405 HAS SOPS 6069180 HAS SOUS 607739 HAS SOUPS 605737 WITH SCORE 611808.405
AT ITER 8975 NEW BEST:: SOT 12930715 SOS 6065357 HAS SOPS 6063132 HAS SOUS 607739 HAS SOUPS 605737 WITH SCORE 611802.357
AT ITER 9003 NEW BEST:: SOT 12930714 SOS 6065284 HAS SOPS 6063059 HAS SOUS 607738 HAS SOUPS 605736 WITH SCORE 611801.284
AT ITER 9019 NEW BEST:: SOT 12930294 SOS 6064864 HAS SOPS 6062639 HAS SOUS 607708 HAS SOUPS 605706 WITH SCORE 611770.864
AT ITER 9055 NEW BEST:: SOT 12929638 SOS 6064208 HAS SOPS 6061983 HAS SOUS 607561 HAS SOUPS 605559 WITH SCORE 611623.208
AT ITER 9076 NEW BEST:: SOT 12929598 SOS 6064168 HAS SOPS 6061943 HAS SOUS 607521 HAS SOUPS 605519 WITH SCORE 611583.168
AT ITER 9082 NEW BEST:: SOT 12929596 SOS 6064166 HAS SOPS 6061941 HAS SOUS 607519 HAS SOUPS 605517 WITH SCORE 611581.166
AT ITER 9121 NEW BEST:: SOT 12929242 SOS 6063812 HAS SOPS 6061587 HAS SOUS 606967 HAS SOUPS 604965 WITH SCORE 611028.812
AT ITER 9128 NEW BEST:: SOT 12928953 SOS 6063523 HAS SOPS 6061298 HAS SOUS 606537 HAS SOUPS 604535 WITH SCORE 610598.523
AT ITER 9149 NEW BEST:: SOT 12929106 SOS 6055937 HAS SOPS 6053358 HAS SOUS 606035 HAS SOUPS 604022 WITH SCORE 610077.937
AT ITER 9179 NEW BEST:: SOT 12929453 SOS 6056284 HAS SOPS 6053705 HAS SOUS 605413 HAS SOUPS 603400 WITH SCORE 609456.284
AT ITER 9204 NEW BEST:: SOT 12929061 SOS 6055584 HAS SOPS 6053005 HAS SOUS 604608 HAS SOUPS 602595 WITH SCORE 608650.584
AT ITER 9209 NEW BEST:: SOT 12927380 SOS 6053903 HAS SOPS 6051324 HAS SOUS 602974 HAS SOUPS 600961 WITH SCORE 607014.903
AT ITER 9238 NEW BEST:: SOT 12927352 SOS 6053903 HAS SOPS 6051296 HAS SOUS 602974 HAS SOUPS 600933 WITH SCORE 606986.903
AT ITER 9274 NEW BEST:: SOT 12927947 SOS 6054498 HAS SOPS 6051891 HAS SOUS 602602 HAS SOUPS 600561 WITH SCORE 606615.498
AT ITER 9278 NEW BEST:: SOT 12927404 SOS 6053955 HAS SOPS 6051348 HAS SOUS 601537 HAS SOUPS 599496 WITH SCORE 605549.955
AT ITER 9316 NEW BEST:: SOT 12927404 SOS 6051044 HAS SOPS 6048437 HAS SOUS 601455 HAS SOUPS 599414 WITH SCORE 605465.044
AT ITER 9431 NEW BEST:: SOT 12927149 SOS 6050789 HAS SOPS 6048182 HAS SOUS 601310 HAS SOUPS 599269 WITH SCORE 605319.789
AT ITER 9445 NEW BEST:: SOT 12927149 SOS 6050813 HAS SOPS 6048172 HAS SOUS 601310 HAS SOUPS 599235 WITH SCORE 605285.813
AT ITER 9473 NEW BEST:: SOT 12927149 SOS 6049607 HAS SOPS 6046966 HAS SOUS 601268 HAS SOUPS 599193 WITH SCORE 605242.607
AT ITER 9515 NEW BEST:: SOT 12927106 SOS 6073356 HAS SOPS 6070715 HAS SOUS 600216 HAS SOUPS 598141 WITH SCORE 604214.356
AT ITER 9656 NEW BEST:: SOT 12927070 SOS 6073322 HAS SOPS 6070681 HAS SOUS 600052 HAS SOUPS 597977 WITH SCORE 604050.322
AT ITER 9680 NEW BEST:: SOT 12926461 SOS 6072713 HAS SOPS 6070072 HAS SOUS 599585 HAS SOUPS 597510 WITH SCORE 603582.713
AT ITER 9685 NEW BEST:: SOT 12926461 SOS 6072605 HAS SOPS 6069964 HAS SOUS 599585 HAS SOUPS 597510 WITH SCORE 603582.605
AT ITER 9760 NEW BEST:: SOT 12926446 SOS 6072590 HAS SOPS 6069949 HAS SOUS 599570 HAS SOUPS 597495 WITH SCORE 603567.59
AT ITER 9777 NEW BEST:: SOT 12927556 SOS 6073700 HAS SOPS 6071059 HAS SOUS 596685 HAS SOUPS 594610 WITH SCORE 600683.7
AT ITER 9812 NEW BEST:: SOT 12927556 SOS 6073736 HAS SOPS 6071095 HAS SOUS 596649 HAS SOUPS 594574 WITH SCORE 600647.736
AT ITER 9824 NEW BEST:: SOT 12927556 SOS 6072336 HAS SOPS 6069695 HAS SOUS 596626 HAS SOUPS 594551 WITH SCORE 600623.336
AT ITER 9826 NEW BEST:: SOT 12927523 SOS 6072303 HAS SOPS 6069662 HAS SOUS 596593 HAS SOUPS 594518 WITH SCORE 600590.303
AT ITER 9845 NEW BEST:: SOT 12927508 SOS 6072288 HAS SOPS 6069647 HAS SOUS 596578 HAS SOUPS 594503 WITH SCORE 600575.288
AT ITER 9896 NEW BEST:: SOT 12927646 SOS 6072426 HAS SOPS 6069785 HAS SOUS 596548 HAS SOUPS 594473 WITH SCORE 600545.426
AT ITER 9951 NEW BEST:: SOT 12929432 SOS 6076516 HAS SOPS 6073875 HAS SOUS 594635 HAS SOUPS 592560 WITH SCORE 598636.516
AT ITER 9980 NEW BEST:: SOT 12929486 SOS 6076570 HAS SOPS 6073929 HAS SOUS 594619 HAS SOUPS 592544 WITH SCORE 598620.57

BK_STOP 1678789840339

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q8m004.tgz
mv BugTracking-PT-q8m004 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;