Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354900536.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S06J06T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354900536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 12K Apr 12 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 12 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 116K Apr 11 05:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 368K Apr 11 05:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.4K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 10 12:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 10 12:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 237K Apr 9 18:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 742K Apr 9 18:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.2K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.5M Mar 24 05:37 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 1589646134155

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T04
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 506 places, 7154 transitions, 59824 arcs.
AT ITER 0 NEW BEST:: SOT 2424380 SOS 1336000 HAS SOPS 1330037 HAS SOUS 248512 HAS SOUPS 248030 WITH SCORE 249366.0
AT ITER 24 NEW BEST:: SOT 2424354 SOS 1335974 HAS SOPS 1329998 HAS SOUS 248507 HAS SOUPS 248017 WITH SCORE 249352.974
AT ITER 30 NEW BEST:: SOT 2419647 SOS 1332404 HAS SOPS 1328852 HAS SOUS 244672 HAS SOUPS 244256 WITH SCORE 245588.404
AT ITER 49 NEW BEST:: SOT 2419335 SOS 1332127 HAS SOPS 1328575 HAS SOUS 244575 HAS SOUPS 244159 WITH SCORE 245491.127
AT ITER 59 NEW BEST:: SOT 2419236 SOS 1332198 HAS SOPS 1328670 HAS SOUS 244562 HAS SOUPS 244146 WITH SCORE 245478.198
AT ITER 66 NEW BEST:: SOT 2418837 SOS 1331810 HAS SOPS 1328282 HAS SOUS 244094 HAS SOUPS 243678 WITH SCORE 245009.81
AT ITER 72 NEW BEST:: SOT 2418814 SOS 1331787 HAS SOPS 1328236 HAS SOUS 244056 HAS SOUPS 243636 WITH SCORE 244967.787
AT ITER 88 NEW BEST:: SOT 2418786 SOS 1331759 HAS SOPS 1328208 HAS SOUS 244028 HAS SOUPS 243608 WITH SCORE 244939.759
AT ITER 103 NEW BEST:: SOT 2418773 SOS 1331746 HAS SOPS 1328195 HAS SOUS 244002 HAS SOUPS 243582 WITH SCORE 244913.746
AT ITER 107 NEW BEST:: SOT 2418727 SOS 1331700 HAS SOPS 1328149 HAS SOUS 243956 HAS SOUPS 243536 WITH SCORE 244867.7
AT ITER 111 NEW BEST:: SOT 2418727 SOS 1331700 HAS SOPS 1328149 HAS SOUS 243935 HAS SOUPS 243515 WITH SCORE 244846.7
AT ITER 114 NEW BEST:: SOT 2418727 SOS 1331794 HAS SOPS 1328243 HAS SOUS 243933 HAS SOUPS 243513 WITH SCORE 244844.794
AT ITER 115 NEW BEST:: SOT 2418329 SOS 1331451 HAS SOPS 1327900 HAS SOUS 243529 HAS SOUPS 243109 WITH SCORE 244440.451
AT ITER 144 NEW BEST:: SOT 2418165 SOS 1331322 HAS SOPS 1327771 HAS SOUS 243517 HAS SOUPS 243097 WITH SCORE 244428.322
AT ITER 167 NEW BEST:: SOT 2417788 SOS 1329643 HAS SOPS 1326092 HAS SOUS 243131 HAS SOUPS 242711 WITH SCORE 244040.643
AT ITER 174 NEW BEST:: SOT 2416460 SOS 1332686 HAS SOPS 1328300 HAS SOUS 241982 HAS SOUPS 241318 WITH SCORE 242650.686
AT ITER 177 NEW BEST:: SOT 2416244 SOS 1332470 HAS SOPS 1328084 HAS SOUS 241602 HAS SOUPS 240938 WITH SCORE 242270.47
AT ITER 187 NEW BEST:: SOT 2415815 SOS 1332118 HAS SOPS 1327732 HAS SOUS 241244 HAS SOUPS 240580 WITH SCORE 241912.118
AT ITER 205 NEW BEST:: SOT 2415792 SOS 1332072 HAS SOPS 1327686 HAS SOUS 241225 HAS SOUPS 240561 WITH SCORE 241893.072
AT ITER 208 NEW BEST:: SOT 2415621 SOS 1331901 HAS SOPS 1327515 HAS SOUS 241111 HAS SOUPS 240447 WITH SCORE 241778.901
AT ITER 210 NEW BEST:: SOT 2415522 SOS 1331802 HAS SOPS 1327416 HAS SOUS 241012 HAS SOUPS 240348 WITH SCORE 241679.802
AT ITER 214 NEW BEST:: SOT 2415471 SOS 1331728 HAS SOPS 1327218 HAS SOUS 240834 HAS SOUPS 240170 WITH SCORE 241501.728
AT ITER 218 NEW BEST:: SOT 2414853 SOS 1330958 HAS SOPS 1326448 HAS SOUS 240172 HAS SOUPS 239508 WITH SCORE 240838.958
AT ITER 225 NEW BEST:: SOT 2414016 SOS 1330299 HAS SOPS 1325789 HAS SOUS 239865 HAS SOUPS 239201 WITH SCORE 240531.299
AT ITER 232 NEW BEST:: SOT 2413759 SOS 1329922 HAS SOPS 1325532 HAS SOUS 239570 HAS SOUPS 238936 WITH SCORE 240265.922
AT ITER 234 NEW BEST:: SOT 2309909 SOS 1226139 HAS SOPS 1221749 HAS SOUS 225902 HAS SOUPS 225268 WITH SCORE 226494.139
AT ITER 249 NEW BEST:: SOT 2309761 SOS 1225991 HAS SOPS 1221601 HAS SOUS 225737 HAS SOUPS 225103 WITH SCORE 226328.991
AT ITER 256 NEW BEST:: SOT 2309744 SOS 1225974 HAS SOPS 1221567 HAS SOUS 225716 HAS SOUPS 225079 WITH SCORE 226304.974
AT ITER 260 NEW BEST:: SOT 2309633 SOS 1225881 HAS SOPS 1221474 HAS SOUS 225623 HAS SOUPS 224986 WITH SCORE 226211.881
AT ITER 267 NEW BEST:: SOT 2309047 SOS 1225402 HAS SOPS 1220995 HAS SOUS 225081 HAS SOUPS 224444 WITH SCORE 225669.402
AT ITER 268 NEW BEST:: SOT 2309045 SOS 1225400 HAS SOPS 1220991 HAS SOUS 225077 HAS SOUPS 224440 WITH SCORE 225665.4
AT ITER 279 NEW BEST:: SOT 2309544 SOS 1225791 HAS SOPS 1221490 HAS SOUS 222171 HAS SOUPS 221561 WITH SCORE 222786.791
AT ITER 281 NEW BEST:: SOT 2315123 SOS 1231242 HAS SOPS 1227069 HAS SOUS 221247 HAS SOUPS 220669 WITH SCORE 221900.242
AT ITER 293 NEW BEST:: SOT 2314688 SOS 1230863 HAS SOPS 1226690 HAS SOUS 220804 HAS SOUPS 220226 WITH SCORE 221456.863
AT ITER 294 NEW BEST:: SOT 2314625 SOS 1230814 HAS SOPS 1226641 HAS SOUS 220578 HAS SOUPS 220000 WITH SCORE 221230.814
AT ITER 317 NEW BEST:: SOT 2315195 SOS 1231541 HAS SOPS 1227368 HAS SOUS 220462 HAS SOUPS 219884 WITH SCORE 221115.541
AT ITER 325 NEW BEST:: SOT 2314947 SOS 1231359 HAS SOPS 1227186 HAS SOUS 220280 HAS SOUPS 219702 WITH SCORE 220933.359
AT ITER 329 NEW BEST:: SOT 2314947 SOS 1231347 HAS SOPS 1227174 HAS SOUS 220268 HAS SOUPS 219690 WITH SCORE 220921.347
AT ITER 333 NEW BEST:: SOT 2314395 SOS 1219707 HAS SOPS 1215513 HAS SOUS 219296 HAS SOUPS 218711 WITH SCORE 219930.707
AT ITER 334 NEW BEST:: SOT 2314367 SOS 1219651 HAS SOPS 1215457 HAS SOUS 219217 HAS SOUPS 218632 WITH SCORE 219851.651
AT ITER 336 NEW BEST:: SOT 2313603 SOS 1215543 HAS SOPS 1211793 HAS SOUS 218260 HAS SOUPS 217786 WITH SCORE 219001.543
AT ITER 339 NEW BEST:: SOT 2313603 SOS 1215627 HAS SOPS 1211877 HAS SOUS 218257 HAS SOUPS 217783 WITH SCORE 218998.627
AT ITER 351 NEW BEST:: SOT 2313608 SOS 1215622 HAS SOPS 1211872 HAS SOUS 218162 HAS SOUPS 217688 WITH SCORE 218903.622
AT ITER 358 NEW BEST:: SOT 2313348 SOS 1215328 HAS SOPS 1211578 HAS SOUS 217912 HAS SOUPS 217438 WITH SCORE 218653.328
AT ITER 390 NEW BEST:: SOT 2313137 SOS 1215111 HAS SOPS 1211361 HAS SOUS 216005 HAS SOUPS 215531 WITH SCORE 216746.111
AT ITER 402 NEW BEST:: SOT 2313137 SOS 1213777 HAS SOPS 1210027 HAS SOUS 216005 HAS SOUPS 215531 WITH SCORE 216744.777
AT ITER 410 NEW BEST:: SOT 2312577 SOS 1213308 HAS SOPS 1209558 HAS SOUS 215557 HAS SOUPS 215083 WITH SCORE 216296.308
AT ITER 417 NEW BEST:: SOT 2312468 SOS 1213199 HAS SOPS 1209473 HAS SOUS 215520 HAS SOUPS 215046 WITH SCORE 216259.199
AT ITER 426 NEW BEST:: SOT 2312567 SOS 1213496 HAS SOPS 1209770 HAS SOUS 215091 HAS SOUPS 214617 WITH SCORE 215830.496
AT ITER 431 NEW BEST:: SOT 2313114 SOS 1214217 HAS SOPS 1210491 HAS SOUS 213968 HAS SOUPS 213494 WITH SCORE 214708.217
AT ITER 434 NEW BEST:: SOT 2313519 SOS 1214859 HAS SOPS 1211218 HAS SOUS 208431 HAS SOUPS 207957 WITH SCORE 209171.859
AT ITER 454 NEW BEST:: SOT 2313303 SOS 1214679 HAS SOPS 1211038 HAS SOUS 207756 HAS SOUPS 207282 WITH SCORE 208496.679
AT ITER 466 NEW BEST:: SOT 2251193 SOS 1366852 HAS SOPS 1363211 HAS SOUS 200173 HAS SOUPS 199699 WITH SCORE 201065.852
AT ITER 471 NEW BEST:: SOT 2250440 SOS 1366305 HAS SOPS 1362664 HAS SOUS 200077 HAS SOUPS 199603 WITH SCORE 200969.305
AT ITER 475 NEW BEST:: SOT 2249751 SOS 1365824 HAS SOPS 1362183 HAS SOUS 199768 HAS SOUPS 199294 WITH SCORE 200659.824
AT ITER 520 NEW BEST:: SOT 2249743 SOS 1365816 HAS SOPS 1362175 HAS SOUS 199760 HAS SOUPS 199286 WITH SCORE 200651.816
AT ITER 527 NEW BEST:: SOT 2311926 SOS 1428475 HAS SOPS 1424908 HAS SOUS 199134 HAS SOUPS 198660 WITH SCORE 200088.475
AT ITER 530 NEW BEST:: SOT 2311783 SOS 1428329 HAS SOPS 1424783 HAS SOUS 198969 HAS SOUPS 198495 WITH SCORE 199923.329
AT ITER 542 NEW BEST:: SOT 2311704 SOS 1428193 HAS SOPS 1424759 HAS SOUS 198963 HAS SOUPS 198492 WITH SCORE 199920.193
AT ITER 556 NEW BEST:: SOT 2311580 SOS 1428103 HAS SOPS 1424672 HAS SOUS 198929 HAS SOUPS 198458 WITH SCORE 199886.103
AT ITER 561 NEW BEST:: SOT 2311580 SOS 1428103 HAS SOPS 1424672 HAS SOUS 198919 HAS SOUPS 198448 WITH SCORE 199876.103
AT ITER 565 NEW BEST:: SOT 2311579 SOS 1428102 HAS SOPS 1424671 HAS SOUS 198918 HAS SOUPS 198447 WITH SCORE 199875.102
AT ITER 566 NEW BEST:: SOT 2310540 SOS 1427150 HAS SOPS 1423719 HAS SOUS 198146 HAS SOUPS 197675 WITH SCORE 199102.15
AT ITER 588 NEW BEST:: SOT 2310704 SOS 1427264 HAS SOPS 1423833 HAS SOUS 198094 HAS SOUPS 197623 WITH SCORE 199050.264
AT ITER 589 NEW BEST:: SOT 2310655 SOS 1427158 HAS SOPS 1423727 HAS SOUS 197988 HAS SOUPS 197517 WITH SCORE 198944.158
AT ITER 611 NEW BEST:: SOT 2310609 SOS 1427112 HAS SOPS 1423681 HAS SOUS 197942 HAS SOUPS 197471 WITH SCORE 198898.112
AT ITER 621 NEW BEST:: SOT 2310662 SOS 1427004 HAS SOPS 1423659 HAS SOUS 197941 HAS SOUPS 197470 WITH SCORE 198897.004
AT ITER 626 NEW BEST:: SOT 2310667 SOS 1426989 HAS SOPS 1423644 HAS SOUS 197531 HAS SOUPS 197060 WITH SCORE 198486.989
AT ITER 635 NEW BEST:: SOT 2310633 SOS 1426965 HAS SOPS 1423620 HAS SOUS 197496 HAS SOUPS 197025 WITH SCORE 198451.965
AT ITER 642 NEW BEST:: SOT 2309943 SOS 1426432 HAS SOPS 1423087 HAS SOUS 197206 HAS SOUPS 196735 WITH SCORE 198161.432
AT ITER 647 NEW BEST:: SOT 2310361 SOS 1409305 HAS SOPS 1405960 HAS SOUS 196140 HAS SOUPS 195669 WITH SCORE 197078.305
AT ITER 651 NEW BEST:: SOT 2337042 SOS 1437300 HAS SOPS 1433955 HAS SOUS 190982 HAS SOUPS 190511 WITH SCORE 191948.3
AT ITER 658 NEW BEST:: SOT 2337032 SOS 1437290 HAS SOPS 1433945 HAS SOUS 190962 HAS SOUPS 190491 WITH SCORE 191928.29
AT ITER 660 NEW BEST:: SOT 2336929 SOS 1437122 HAS SOPS 1433777 HAS SOUS 190834 HAS SOUPS 190363 WITH SCORE 191800.122
AT ITER 664 NEW BEST:: SOT 2336829 SOS 1436976 HAS SOPS 1433631 HAS SOUS 190688 HAS SOUPS 190217 WITH SCORE 191653.976
AT ITER 677 NEW BEST:: SOT 2336634 SOS 1435020 HAS SOPS 1431675 HAS SOUS 186316 HAS SOUPS 185845 WITH SCORE 187280.02
AT ITER 686 NEW BEST:: SOT 2336699 SOS 1435207 HAS SOPS 1431706 HAS SOUS 186205 HAS SOUPS 185734 WITH SCORE 187169.207
AT ITER 694 NEW BEST:: SOT 2336629 SOS 1435111 HAS SOPS 1431610 HAS SOUS 186190 HAS SOUPS 185719 WITH SCORE 187154.111
AT ITER 695 NEW BEST:: SOT 2336593 SOS 1434890 HAS SOPS 1431405 HAS SOUS 186051 HAS SOUPS 185580 WITH SCORE 187014.89
AT ITER 700 NEW BEST:: SOT 2336587 SOS 1434884 HAS SOPS 1431399 HAS SOUS 186031 HAS SOUPS 185560 WITH SCORE 186994.884
AT ITER 702 NEW BEST:: SOT 2336567 SOS 1434864 HAS SOPS 1431379 HAS SOUS 185307 HAS SOUPS 184836 WITH SCORE 186270.864
AT ITER 717 NEW BEST:: SOT 2283837 SOS 1382207 HAS SOPS 1378722 HAS SOUS 178068 HAS SOUPS 177597 WITH SCORE 178979.207
AT ITER 726 NEW BEST:: SOT 2283787 SOS 1382157 HAS SOPS 1378648 HAS SOUS 177994 HAS SOUPS 177511 WITH SCORE 178893.157
AT ITER 729 NEW BEST:: SOT 2273147 SOS 1371527 HAS SOPS 1368018 HAS SOUS 175878 HAS SOUPS 175395 WITH SCORE 176766.527
AT ITER 734 NEW BEST:: SOT 2273087 SOS 1371418 HAS SOPS 1367909 HAS SOUS 175854 HAS SOUPS 175371 WITH SCORE 176742.418
AT ITER 747 NEW BEST:: SOT 2272906 SOS 1371044 HAS SOPS 1367535 HAS SOUS 175480 HAS SOUPS 174997 WITH SCORE 176368.044
AT ITER 749 NEW BEST:: SOT 2272518 SOS 1370560 HAS SOPS 1367018 HAS SOUS 175184 HAS SOUPS 174701 WITH SCORE 176071.56
AT ITER 751 NEW BEST:: SOT 2272152 SOS 1370036 HAS SOPS 1366494 HAS SOUS 174775 HAS SOUPS 174292 WITH SCORE 175662.036
AT ITER 756 NEW BEST:: SOT 2271639 SOS 1369616 HAS SOPS 1366074 HAS SOUS 174247 HAS SOUPS 173764 WITH SCORE 175133.616
AT ITER 757 NEW BEST:: SOT 2255993 SOS 1556745 HAS SOPS 1553203 HAS SOUS 171737 HAS SOUPS 171254 WITH SCORE 172810.745
AT ITER 791 NEW BEST:: SOT 2255999 SOS 1556751 HAS SOPS 1553209 HAS SOUS 171719 HAS SOUPS 171236 WITH SCORE 172792.751
AT ITER 806 NEW BEST:: SOT 2255972 SOS 1556724 HAS SOPS 1553182 HAS SOUS 171692 HAS SOUPS 171209 WITH SCORE 172765.724
AT ITER 807 NEW BEST:: SOT 2255899 SOS 1556605 HAS SOPS 1553063 HAS SOUS 171601 HAS SOUPS 171118 WITH SCORE 172674.605
AT ITER 815 NEW BEST:: SOT 2255939 SOS 1556641 HAS SOPS 1553099 HAS SOUS 171542 HAS SOUPS 171059 WITH SCORE 172615.641
AT ITER 816 NEW BEST:: SOT 2255718 SOS 1556476 HAS SOPS 1552934 HAS SOUS 171335 HAS SOUPS 170852 WITH SCORE 172408.476
AT ITER 819 NEW BEST:: SOT 2255717 SOS 1556438 HAS SOPS 1552896 HAS SOUS 171329 HAS SOUPS 170846 WITH SCORE 172402.438
AT ITER 835 NEW BEST:: SOT 2222349 SOS 1523070 HAS SOPS 1519528 HAS SOUS 167631 HAS SOUPS 167148 WITH SCORE 168671.07
AT ITER 836 NEW BEST:: SOT 2222372 SOS 1523015 HAS SOPS 1519473 HAS SOUS 167555 HAS SOUPS 167072 WITH SCORE 168595.015
AT ITER 843 NEW BEST:: SOT 2222207 SOS 1522861 HAS SOPS 1519319 HAS SOUS 167335 HAS SOUPS 166852 WITH SCORE 168374.861
AT ITER 862 NEW BEST:: SOT 2222177 SOS 1522831 HAS SOPS 1519274 HAS SOUS 167290 HAS SOUPS 166807 WITH SCORE 168329.831
AT ITER 866 NEW BEST:: SOT 2243749 SOS 1544403 HAS SOPS 1540846 HAS SOUS 164042 HAS SOUPS 163559 WITH SCORE 165103.403
AT ITER 876 NEW BEST:: SOT 2243770 SOS 1544258 HAS SOPS 1540701 HAS SOUS 163897 HAS SOUPS 163414 WITH SCORE 164958.258
AT ITER 879 NEW BEST:: SOT 2243732 SOS 1544220 HAS SOPS 1540663 HAS SOUS 163835 HAS SOUPS 163352 WITH SCORE 164896.22
AT ITER 880 NEW BEST:: SOT 2232977 SOS 1533465 HAS SOPS 1529908 HAS SOUS 162086 HAS SOUPS 161603 WITH SCORE 163136.465
AT ITER 902 NEW BEST:: SOT 2232953 SOS 1533441 HAS SOPS 1529860 HAS SOUS 162011 HAS SOUPS 161528 WITH SCORE 163061.441
AT ITER 916 NEW BEST:: SOT 2232951 SOS 1533402 HAS SOPS 1529810 HAS SOUS 161949 HAS SOUPS 161466 WITH SCORE 162999.402
AT ITER 922 NEW BEST:: SOT 2232995 SOS 1533564 HAS SOPS 1529972 HAS SOUS 161884 HAS SOUPS 161401 WITH SCORE 162934.564
AT ITER 932 NEW BEST:: SOT 2233318 SOS 1533951 HAS SOPS 1530366 HAS SOUS 161619 HAS SOUPS 161136 WITH SCORE 162669.951
AT ITER 941 NEW BEST:: SOT 2233123 SOS 1533786 HAS SOPS 1530201 HAS SOUS 161225 HAS SOUPS 160742 WITH SCORE 162275.786
AT ITER 947 NEW BEST:: SOT 2233109 SOS 1533758 HAS SOPS 1530173 HAS SOUS 161197 HAS SOUPS 160714 WITH SCORE 162247.758
AT ITER 951 NEW BEST:: SOT 2233093 SOS 1533768 HAS SOPS 1530183 HAS SOUS 161067 HAS SOUPS 160584 WITH SCORE 162117.768
AT ITER 956 NEW BEST:: SOT 2196153 SOS 1496820 HAS SOPS 1493235 HAS SOUS 156561 HAS SOUPS 156078 WITH SCORE 157574.82
AT ITER 980 NEW BEST:: SOT 2196114 SOS 1496781 HAS SOPS 1493196 HAS SOUS 156531 HAS SOUPS 156048 WITH SCORE 157544.781
AT ITER 984 NEW BEST:: SOT 2196218 SOS 1496885 HAS SOPS 1493348 HAS SOUS 156499 HAS SOUPS 156016 WITH SCORE 157512.885
AT ITER 991 NEW BEST:: SOT 2196058 SOS 1496646 HAS SOPS 1493109 HAS SOUS 156396 HAS SOUPS 155913 WITH SCORE 157409.646
AT ITER 994 NEW BEST:: SOT 2196040 SOS 1496574 HAS SOPS 1493037 HAS SOUS 156383 HAS SOUPS 155900 WITH SCORE 157396.574
AT ITER 1001 NEW BEST:: SOT 2195740 SOS 1496324 HAS SOPS 1492787 HAS SOUS 155983 HAS SOUPS 155500 WITH SCORE 156996.324
AT ITER 1022 NEW BEST:: SOT 2196063 SOS 1496738 HAS SOPS 1493201 HAS SOUS 155937 HAS SOUPS 155454 WITH SCORE 156950.738
AT ITER 1024 NEW BEST:: SOT 2196063 SOS 1496765 HAS SOPS 1493228 HAS SOUS 155802 HAS SOUPS 155319 WITH SCORE 156815.765
AT ITER 1028 NEW BEST:: SOT 2195981 SOS 1496791 HAS SOPS 1493277 HAS SOUS 155714 HAS SOUPS 155231 WITH SCORE 156727.791
AT ITER 1031 NEW BEST:: SOT 2196139 SOS 1496933 HAS SOPS 1493419 HAS SOUS 155492 HAS SOUPS 155009 WITH SCORE 156505.933
AT ITER 1042 NEW BEST:: SOT 2196115 SOS 1496911 HAS SOPS 1493397 HAS SOUS 155468 HAS SOUPS 154985 WITH SCORE 156481.911
AT ITER 1069 NEW BEST:: SOT 2196205 SOS 1497001 HAS SOPS 1493521 HAS SOUS 155428 HAS SOUPS 154945 WITH SCORE 156442.001
AT ITER 1077 NEW BEST:: SOT 2198080 SOS 1488727 HAS SOPS 1485364 HAS SOUS 154049 HAS SOUPS 153597 WITH SCORE 155085.727
AT ITER 1091 NEW BEST:: SOT 2198080 SOS 1488912 HAS SOPS 1485549 HAS SOUS 153914 HAS SOUPS 153462 WITH SCORE 154950.912
AT ITER 1115 NEW BEST:: SOT 2194185 SOS 1485017 HAS SOPS 1481654 HAS SOUS 153469 HAS SOUPS 153017 WITH SCORE 154502.017
AT ITER 1124 NEW BEST:: SOT 2246180 SOS 1518750 HAS SOPS 1515503 HAS SOUS 148905 HAS SOUPS 148482 WITH SCORE 150000.75
AT ITER 1161 NEW BEST:: SOT 2245844 SOS 1518523 HAS SOPS 1515276 HAS SOUS 148644 HAS SOUPS 148221 WITH SCORE 149739.523
AT ITER 1184 NEW BEST:: SOT 2245629 SOS 1518358 HAS SOPS 1515111 HAS SOUS 146551 HAS SOUPS 146128 WITH SCORE 147646.358
AT ITER 1193 NEW BEST:: SOT 2245200 SOS 1517868 HAS SOPS 1514621 HAS SOUS 146050 HAS SOUPS 145627 WITH SCORE 147144.868
AT ITER 1209 NEW BEST:: SOT 2245194 SOS 1517862 HAS SOPS 1514615 HAS SOUS 146038 HAS SOUPS 145615 WITH SCORE 147132.862
AT ITER 1217 NEW BEST:: SOT 2245146 SOS 1517836 HAS SOPS 1514600 HAS SOUS 146031 HAS SOUPS 145608 WITH SCORE 147125.836
AT ITER 1218 NEW BEST:: SOT 2245161 SOS 1517851 HAS SOPS 1514615 HAS SOUS 145960 HAS SOUPS 145537 WITH SCORE 147054.851
AT ITER 1220 NEW BEST:: SOT 2245160 SOS 1517850 HAS SOPS 1514613 HAS SOUS 145958 HAS SOUPS 145535 WITH SCORE 147052.85
AT ITER 1244 NEW BEST:: SOT 2245137 SOS 1517804 HAS SOPS 1514567 HAS SOUS 145891 HAS SOUPS 145468 WITH SCORE 146985.804
AT ITER 1253 NEW BEST:: SOT 2244869 SOS 1517400 HAS SOPS 1514163 HAS SOUS 145465 HAS SOUPS 145042 WITH SCORE 146559.4
AT ITER 1269 NEW BEST:: SOT 2244903 SOS 1493044 HAS SOPS 1489912 HAS SOUS 145006 HAS SOUPS 144611 WITH SCORE 146104.044
AT ITER 1284 NEW BEST:: SOT 2244912 SOS 1493053 HAS SOPS 1489921 HAS SOUS 144943 HAS SOUPS 144548 WITH SCORE 146041.053
AT ITER 1289 NEW BEST:: SOT 2244775 SOS 1492916 HAS SOPS 1489784 HAS SOUS 144669 HAS SOUPS 144274 WITH SCORE 145766.916
AT ITER 1296 NEW BEST:: SOT 2244765 SOS 1492908 HAS SOPS 1489776 HAS SOUS 144655 HAS SOUPS 144260 WITH SCORE 145752.908
AT ITER 1298 NEW BEST:: SOT 2244847 SOS 1492990 HAS SOPS 1489894 HAS SOUS 144608 HAS SOUPS 144213 WITH SCORE 145705.99
AT ITER 1314 NEW BEST:: SOT 2244847 SOS 1492973 HAS SOPS 1489877 HAS SOUS 144574 HAS SOUPS 144179 WITH SCORE 145671.973
AT ITER 1317 NEW BEST:: SOT 2244803 SOS 1492907 HAS SOPS 1489811 HAS SOUS 144519 HAS SOUPS 144124 WITH SCORE 145616.907
AT ITER 1319 NEW BEST:: SOT 2244803 SOS 1464917 HAS SOPS 1461821 HAS SOUS 144519 HAS SOUPS 144124 WITH SCORE 145588.917
AT ITER 1321 NEW BEST:: SOT 2244803 SOS 1464856 HAS SOPS 1461760 HAS SOUS 144237 HAS SOUPS 143842 WITH SCORE 145306.856
AT ITER 1325 NEW BEST:: SOT 2244803 SOS 1464856 HAS SOPS 1461760 HAS SOUS 144235 HAS SOUPS 143840 WITH SCORE 145304.856
AT ITER 1362 NEW BEST:: SOT 2253102 SOS 1472550 HAS SOPS 1469454 HAS SOUS 141453 HAS SOUPS 141058 WITH SCORE 142530.55
AT ITER 1365 NEW BEST:: SOT 2253133 SOS 1482274 HAS SOPS 1479178 HAS SOUS 140077 HAS SOUPS 139682 WITH SCORE 141164.274
AT ITER 1367 NEW BEST:: SOT 2252740 SOS 1481922 HAS SOPS 1478826 HAS SOUS 139858 HAS SOUPS 139463 WITH SCORE 140944.922
AT ITER 1369 NEW BEST:: SOT 2235434 SOS 1464548 HAS SOPS 1461452 HAS SOUS 137562 HAS SOUPS 137167 WITH SCORE 138631.548
AT ITER 1386 NEW BEST:: SOT 2230884 SOS 1459998 HAS SOPS 1456902 HAS SOUS 136619 HAS SOUPS 136224 WITH SCORE 137683.998
AT ITER 1397 NEW BEST:: SOT 2231690 SOS 1460804 HAS SOPS 1457708 HAS SOUS 134114 HAS SOUPS 133719 WITH SCORE 135179.804
AT ITER 1411 NEW BEST:: SOT 2231610 SOS 1460684 HAS SOPS 1457588 HAS SOUS 133994 HAS SOUPS 133599 WITH SCORE 135059.684
AT ITER 1443 NEW BEST:: SOT 2231401 SOS 1460357 HAS SOPS 1457261 HAS SOUS 133892 HAS SOUPS 133497 WITH SCORE 134957.357
AT ITER 1444 NEW BEST:: SOT 2231335 SOS 1460291 HAS SOPS 1457195 HAS SOUS 133022 HAS SOUPS 132627 WITH SCORE 134087.291
AT ITER 1449 NEW BEST:: SOT 2230999 SOS 1459624 HAS SOPS 1456528 HAS SOUS 132554 HAS SOUPS 132159 WITH SCORE 133618.624
AT ITER 1456 NEW BEST:: SOT 2230787 SOS 1459412 HAS SOPS 1456316 HAS SOUS 132164 HAS SOUPS 131769 WITH SCORE 133228.412
AT ITER 1481 NEW BEST:: SOT 2230776 SOS 1459395 HAS SOPS 1456299 HAS SOUS 132147 HAS SOUPS 131752 WITH SCORE 133211.395
AT ITER 1498 NEW BEST:: SOT 2213011 SOS 1441630 HAS SOPS 1438534 HAS SOUS 129889 HAS SOUPS 129494 WITH SCORE 130935.63
AT ITER 1515 NEW BEST:: SOT 2212947 SOS 1441516 HAS SOPS 1438420 HAS SOUS 129775 HAS SOUPS 129380 WITH SCORE 130821.516
AT ITER 1521 NEW BEST:: SOT 2212899 SOS 1441471 HAS SOPS 1438358 HAS SOUS 129696 HAS SOUPS 129301 WITH SCORE 130742.471
AT ITER 1530 NEW BEST:: SOT 2212705 SOS 1441190 HAS SOPS 1438077 HAS SOUS 129491 HAS SOUPS 129096 WITH SCORE 130537.19
AT ITER 1537 NEW BEST:: SOT 2212705 SOS 1441161 HAS SOPS 1438048 HAS SOUS 129433 HAS SOUPS 129038 WITH SCORE 130479.161
AT ITER 1566 NEW BEST:: SOT 2212529 SOS 1440923 HAS SOPS 1437810 HAS SOUS 129410 HAS SOUPS 129015 WITH SCORE 130455.923
AT ITER 1567 NEW BEST:: SOT 2212526 SOS 1440923 HAS SOPS 1437803 HAS SOUS 129399 HAS SOUPS 129004 WITH SCORE 130444.923
AT ITER 1569 NEW BEST:: SOT 2212379 SOS 1441742 HAS SOPS 1438622 HAS SOUS 129061 HAS SOUPS 128666 WITH SCORE 130107.742
AT ITER 1570 NEW BEST:: SOT 2212331 SOS 1441670 HAS SOPS 1438550 HAS SOUS 128989 HAS SOUPS 128594 WITH SCORE 130035.67
AT ITER 1576 NEW BEST:: SOT 2212112 SOS 1441408 HAS SOPS 1438288 HAS SOUS 128850 HAS SOUPS 128455 WITH SCORE 129896.408
AT ITER 1584 NEW BEST:: SOT 2212106 SOS 1441382 HAS SOPS 1438262 HAS SOUS 128832 HAS SOUPS 128437 WITH SCORE 129878.382
AT ITER 1595 NEW BEST:: SOT 2212103 SOS 1441253 HAS SOPS 1438178 HAS SOUS 128826 HAS SOUPS 128431 WITH SCORE 129872.253
AT ITER 1598 NEW BEST:: SOT 2212085 SOS 1441188 HAS SOPS 1438113 HAS SOUS 128790 HAS SOUPS 128395 WITH SCORE 129836.188
AT ITER 1600 NEW BEST:: SOT 2212210 SOS 1441318 HAS SOPS 1438243 HAS SOUS 128590 HAS SOUPS 128195 WITH SCORE 129636.318
AT ITER 1605 NEW BEST:: SOT 2212206 SOS 1441314 HAS SOPS 1438239 HAS SOUS 128586 HAS SOUPS 128191 WITH SCORE 129632.314
AT ITER 1610 NEW BEST:: SOT 2212206 SOS 1441314 HAS SOPS 1438233 HAS SOUS 128583 HAS SOUPS 128183 WITH SCORE 129624.314
AT ITER 1614 NEW BEST:: SOT 2212040 SOS 1441137 HAS SOPS 1438056 HAS SOUS 128424 HAS SOUPS 128024 WITH SCORE 129465.137
AT ITER 1626 NEW BEST:: SOT 2212029 SOS 1441120 HAS SOPS 1438039 HAS SOUS 128402 HAS SOUPS 128002 WITH SCORE 129443.12
AT ITER 1633 NEW BEST:: SOT 2212011 SOS 1441084 HAS SOPS 1438003 HAS SOUS 128366 HAS SOUPS 127966 WITH SCORE 129407.084
AT ITER 1638 NEW BEST:: SOT 2211959 SOS 1440998 HAS SOPS 1437901 HAS SOUS 128210 HAS SOUPS 127810 WITH SCORE 129250.998
AT ITER 1655 NEW BEST:: SOT 2213666 SOS 1435043 HAS SOPS 1431946 HAS SOUS 127085 HAS SOUPS 126685 WITH SCORE 128120.043
AT ITER 1662 NEW BEST:: SOT 2213666 SOS 1435043 HAS SOPS 1431946 HAS SOUS 127064 HAS SOUPS 126664 WITH SCORE 128099.043
AT ITER 1674 NEW BEST:: SOT 2213863 SOS 1414330 HAS SOPS 1411147 HAS SOUS 127106 HAS SOUPS 126673 WITH SCORE 128087.33
AT ITER 1685 NEW BEST:: SOT 2213765 SOS 1414218 HAS SOPS 1411035 HAS SOUS 126994 HAS SOUPS 126561 WITH SCORE 127975.218
AT ITER 1688 NEW BEST:: SOT 2213765 SOS 1414202 HAS SOPS 1411019 HAS SOUS 126994 HAS SOUPS 126561 WITH SCORE 127975.202
AT ITER 1692 NEW BEST:: SOT 2213645 SOS 1413194 HAS SOPS 1410044 HAS SOUS 126789 HAS SOUPS 126356 WITH SCORE 127769.194
AT ITER 1695 NEW BEST:: SOT 2213566 SOS 1412993 HAS SOPS 1409934 HAS SOUS 126741 HAS SOUPS 126308 WITH SCORE 127720.993
AT ITER 1696 NEW BEST:: SOT 2213566 SOS 1412968 HAS SOPS 1409909 HAS SOUS 126716 HAS SOUPS 126283 WITH SCORE 127695.968
AT ITER 1702 NEW BEST:: SOT 2213566 SOS 1413080 HAS SOPS 1410021 HAS SOUS 126714 HAS SOUPS 126281 WITH SCORE 127694.08
AT ITER 1709 NEW BEST:: SOT 2213551 SOS 1413065 HAS SOPS 1410006 HAS SOUS 126699 HAS SOUPS 126266 WITH SCORE 127679.065
AT ITER 1717 NEW BEST:: SOT 2213534 SOS 1413043 HAS SOPS 1409984 HAS SOUS 126681 HAS SOUPS 126248 WITH SCORE 127661.043
AT ITER 1733 NEW BEST:: SOT 2213534 SOS 1413026 HAS SOPS 1409965 HAS SOUS 126681 HAS SOUPS 126248 WITH SCORE 127661.026
AT ITER 1741 NEW BEST:: SOT 2213520 SOS 1412956 HAS SOPS 1409895 HAS SOUS 126657 HAS SOUPS 126224 WITH SCORE 127636.956
AT ITER 1747 NEW BEST:: SOT 2213276 SOS 1412751 HAS SOPS 1409690 HAS SOUS 126107 HAS SOUPS 125674 WITH SCORE 127086.751
AT ITER 1752 NEW BEST:: SOT 2213214 SOS 1412689 HAS SOPS 1409659 HAS SOUS 125859 HAS SOUPS 125426 WITH SCORE 126838.689
AT ITER 1757 NEW BEST:: SOT 2213208 SOS 1412653 HAS SOPS 1409623 HAS SOUS 125859 HAS SOUPS 125426 WITH SCORE 126838.653
AT ITER 1762 NEW BEST:: SOT 2213130 SOS 1412602 HAS SOPS 1409616 HAS SOUS 125809 HAS SOUPS 125376 WITH SCORE 126788.602
AT ITER 1773 NEW BEST:: SOT 2213146 SOS 1405094 HAS SOPS 1402108 HAS SOUS 125452 HAS SOUPS 125019 WITH SCORE 126424.094
AT ITER 1780 NEW BEST:: SOT 2166670 SOS 1358618 HAS SOPS 1355632 HAS SOUS 121814 HAS SOUPS 121381 WITH SCORE 122739.618
AT ITER 1802 NEW BEST:: SOT 2166727 SOS 1358615 HAS SOPS 1355629 HAS SOUS 121788 HAS SOUPS 121355 WITH SCORE 122713.615
AT ITER 1805 NEW BEST:: SOT 2166605 SOS 1357528 HAS SOPS 1354542 HAS SOUS 121649 HAS SOUPS 121216 WITH SCORE 122573.528
AT ITER 1806 NEW BEST:: SOT 2166235 SOS 1357288 HAS SOPS 1354302 HAS SOUS 121558 HAS SOUPS 121125 WITH SCORE 122482.288
AT ITER 1825 NEW BEST:: SOT 2165954 SOS 1357063 HAS SOPS 1354077 HAS SOUS 121288 HAS SOUPS 120855 WITH SCORE 122212.063
AT ITER 1828 NEW BEST:: SOT 2165937 SOS 1357046 HAS SOPS 1354060 HAS SOUS 121254 HAS SOUPS 120821 WITH SCORE 122178.046
AT ITER 1837 NEW BEST:: SOT 2167796 SOS 1358905 HAS SOPS 1355919 HAS SOUS 119212 HAS SOUPS 118779 WITH SCORE 120137.905
AT ITER 1838 NEW BEST:: SOT 2167806 SOS 1358921 HAS SOPS 1355935 HAS SOUS 119082 HAS SOUPS 118649 WITH SCORE 120007.921
AT ITER 1840 NEW BEST:: SOT 2168557 SOS 1359694 HAS SOPS 1356708 HAS SOUS 118702 HAS SOUPS 118269 WITH SCORE 119628.694
AT ITER 1847 NEW BEST:: SOT 2168509 SOS 1359646 HAS SOPS 1356660 HAS SOUS 118630 HAS SOUPS 118197 WITH SCORE 119556.646
AT ITER 1851 NEW BEST:: SOT 2167273 SOS 1358410 HAS SOPS 1355424 HAS SOUS 118520 HAS SOUPS 118087 WITH SCORE 119445.41
AT ITER 1852 NEW BEST:: SOT 2167186 SOS 1358338 HAS SOPS 1355352 HAS SOUS 118493 HAS SOUPS 118060 WITH SCORE 119418.338
AT ITER 1866 NEW BEST:: SOT 2167155 SOS 1358295 HAS SOPS 1355309 HAS SOUS 118403 HAS SOUPS 117970 WITH SCORE 119328.295
AT ITER 1868 NEW BEST:: SOT 2167351 SOS 1358491 HAS SOPS 1355505 HAS SOUS 117665 HAS SOUPS 117232 WITH SCORE 118590.491
AT ITER 1883 NEW BEST:: SOT 2167350 SOS 1358490 HAS SOPS 1355504 HAS SOUS 116197 HAS SOUPS 115764 WITH SCORE 117122.49
AT ITER 1884 NEW BEST:: SOT 2167166 SOS 1358306 HAS SOPS 1355320 HAS SOUS 116085 HAS SOUPS 115652 WITH SCORE 117010.306
AT ITER 1886 NEW BEST:: SOT 2167022 SOS 1358151 HAS SOPS 1355165 HAS SOUS 115911 HAS SOUPS 115478 WITH SCORE 116836.151
AT ITER 1901 NEW BEST:: SOT 2166942 SOS 1358083 HAS SOPS 1355097 HAS SOUS 115807 HAS SOUPS 115374 WITH SCORE 116732.083
AT ITER 1907 NEW BEST:: SOT 2166921 SOS 1357949 HAS SOPS 1354963 HAS SOUS 115740 HAS SOUPS 115307 WITH SCORE 116664.949
AT ITER 1917 NEW BEST:: SOT 2166921 SOS 1358139 HAS SOPS 1354969 HAS SOUS 115718 HAS SOUPS 115280 WITH SCORE 116638.139
AT ITER 1927 NEW BEST:: SOT 2166533 SOS 1357701 HAS SOPS 1354531 HAS SOUS 115273 HAS SOUPS 114835 WITH SCORE 116192.701
AT ITER 1931 NEW BEST:: SOT 2166676 SOS 1357834 HAS SOPS 1354664 HAS SOUS 115224 HAS SOUPS 114786 WITH SCORE 116143.834
AT ITER 1945 NEW BEST:: SOT 2166662 SOS 1357806 HAS SOPS 1354636 HAS SOUS 115154 HAS SOUPS 114716 WITH SCORE 116073.806
AT ITER 1948 NEW BEST:: SOT 2166488 SOS 1357632 HAS SOPS 1354462 HAS SOUS 115076 HAS SOUPS 114638 WITH SCORE 115995.632
AT ITER 1950 NEW BEST:: SOT 2165596 SOS 1356740 HAS SOPS 1353570 HAS SOUS 114924 HAS SOUPS 114486 WITH SCORE 115842.74
AT ITER 1961 NEW BEST:: SOT 2165612 SOS 1356684 HAS SOPS 1353514 HAS SOUS 114881 HAS SOUPS 114443 WITH SCORE 115799.684
AT ITER 1975 NEW BEST:: SOT 2165628 SOS 1356546 HAS SOPS 1353457 HAS SOUS 114870 HAS SOUPS 114432 WITH SCORE 115788.546
AT ITER 1977 NEW BEST:: SOT 2165586 SOS 1356504 HAS SOPS 1353415 HAS SOUS 114752 HAS SOUPS 114314 WITH SCORE 115670.504
AT ITER 1985 NEW BEST:: SOT 2165586 SOS 1356520 HAS SOPS 1353431 HAS SOUS 114744 HAS SOUPS 114306 WITH SCORE 115662.52
AT ITER 1990 NEW BEST:: SOT 2165526 SOS 1356460 HAS SOPS 1353371 HAS SOUS 114680 HAS SOUPS 114242 WITH SCORE 115598.46
AT ITER 2005 NEW BEST:: SOT 2165525 SOS 1356458 HAS SOPS 1353369 HAS SOUS 114663 HAS SOUPS 114225 WITH SCORE 115581.458
AT ITER 2006 NEW BEST:: SOT 2165525 SOS 1121056 HAS SOPS 1117980 HAS SOUS 114652 HAS SOUPS 114214 WITH SCORE 115335.056
AT ITER 2051 NEW BEST:: SOT 2165534 SOS 1121301 HAS SOPS 1118225 HAS SOUS 114614 HAS SOUPS 114176 WITH SCORE 115297.301
AT ITER 2053 NEW BEST:: SOT 2165534 SOS 1121301 HAS SOPS 1118225 HAS SOUS 114603 HAS SOUPS 114165 WITH SCORE 115286.301
AT ITER 2073 NEW BEST:: SOT 2165525 SOS 1121292 HAS SOPS 1118159 HAS SOUS 114481 HAS SOUPS 114043 WITH SCORE 115164.292
AT ITER 2081 NEW BEST:: SOT 2165480 SOS 1121247 HAS SOPS 1118114 HAS SOUS 114478 HAS SOUPS 114040 WITH SCORE 115161.247
AT ITER 2097 NEW BEST:: SOT 2165471 SOS 1121238 HAS SOPS 1118096 HAS SOUS 114485 HAS SOUPS 114029 WITH SCORE 115150.238
AT ITER 2131 NEW BEST:: SOT 2165443 SOS 1121210 HAS SOPS 1118057 HAS SOUS 114446 HAS SOUPS 113990 WITH SCORE 115111.21
AT ITER 2141 NEW BEST:: SOT 2165444 SOS 1121211 HAS SOPS 1118069 HAS SOUS 114365 HAS SOUPS 113909 WITH SCORE 115030.211
AT ITER 2146 NEW BEST:: SOT 2165415 SOS 1121152 HAS SOPS 1118010 HAS SOUS 114324 HAS SOUPS 113868 WITH SCORE 114989.152
AT ITER 2161 NEW BEST:: SOT 2165365 SOS 1121052 HAS SOPS 1117910 HAS SOUS 114224 HAS SOUPS 113768 WITH SCORE 114889.052
AT ITER 2181 NEW BEST:: SOT 2165320 SOS 1120992 HAS SOPS 1117850 HAS SOUS 114164 HAS SOUPS 113708 WITH SCORE 114828.992
AT ITER 2184 NEW BEST:: SOT 2165320 SOS 1120992 HAS SOPS 1117849 HAS SOUS 114163 HAS SOUPS 113707 WITH SCORE 114827.992
AT ITER 2185 NEW BEST:: SOT 2165320 SOS 1120984 HAS SOPS 1117841 HAS SOUS 114124 HAS SOUPS 113668 WITH SCORE 114788.984
AT ITER 2209 NEW BEST:: SOT 2165378 SOS 1121137 HAS SOPS 1117994 HAS SOUS 114040 HAS SOUPS 113584 WITH SCORE 114705.137
AT ITER 2218 NEW BEST:: SOT 2165329 SOS 1121088 HAS SOPS 1117945 HAS SOUS 113948 HAS SOUPS 113492 WITH SCORE 114613.088
AT ITER 2225 NEW BEST:: SOT 2165374 SOS 1121050 HAS SOPS 1117907 HAS SOUS 113947 HAS SOUPS 113491 WITH SCORE 114612.05
AT ITER 2230 NEW BEST:: SOT 2165419 SOS 1100777 HAS SOPS 1097532 HAS SOUS 113720 HAS SOUPS 113230 WITH SCORE 114330.777
AT ITER 2244 NEW BEST:: SOT 2165349 SOS 1100754 HAS SOPS 1097509 HAS SOUS 113720 HAS SOUPS 113230 WITH SCORE 114330.754
AT ITER 2254 NEW BEST:: SOT 2165338 SOS 1097055 HAS SOPS 1093810 HAS SOUS 113583 HAS SOUPS 113093 WITH SCORE 114190.055
AT ITER 2262 NEW BEST:: SOT 2165340 SOS 1097101 HAS SOPS 1093850 HAS SOUS 113571 HAS SOUPS 113079 WITH SCORE 114176.101
AT ITER 2268 NEW BEST:: SOT 2165334 SOS 1097093 HAS SOPS 1093842 HAS SOUS 113563 HAS SOUPS 113071 WITH SCORE 114168.093
AT ITER 2276 NEW BEST:: SOT 2165435 SOS 1097440 HAS SOPS 1094210 HAS SOUS 113339 HAS SOUPS 112847 WITH SCORE 113944.44
AT ITER 2282 NEW BEST:: SOT 2165350 SOS 1097235 HAS SOPS 1094005 HAS SOUS 113174 HAS SOUPS 112682 WITH SCORE 113779.235
AT ITER 2327 NEW BEST:: SOT 2165165 SOS 1097149 HAS SOPS 1093919 HAS SOUS 113127 HAS SOUPS 112635 WITH SCORE 113732.149
AT ITER 2343 NEW BEST:: SOT 2164700 SOS 1080132 HAS SOPS 1076902 HAS SOUS 112609 HAS SOUPS 112117 WITH SCORE 113197.132
AT ITER 2369 NEW BEST:: SOT 2133283 SOS 1048502 HAS SOPS 1045272 HAS SOUS 112630 HAS SOUPS 112138 WITH SCORE 113186.502
AT ITER 2383 NEW BEST:: SOT 2133283 SOS 1048623 HAS SOPS 1045393 HAS SOUS 112626 HAS SOUPS 112134 WITH SCORE 113182.623
AT ITER 2435 NEW BEST:: SOT 2133140 SOS 1048217 HAS SOPS 1044987 HAS SOUS 112458 HAS SOUPS 111966 WITH SCORE 113014.217
AT ITER 2438 NEW BEST:: SOT 2133110 SOS 1048187 HAS SOPS 1044957 HAS SOUS 112398 HAS SOUPS 111906 WITH SCORE 112954.187
AT ITER 2441 NEW BEST:: SOT 2133110 SOS 1048332 HAS SOPS 1045087 HAS SOUS 112383 HAS SOUPS 111886 WITH SCORE 112934.332
AT ITER 2459 NEW BEST:: SOT 2133214 SOS 1048423 HAS SOPS 1045178 HAS SOUS 112370 HAS SOUPS 111873 WITH SCORE 112921.423
AT ITER 2464 NEW BEST:: SOT 2133213 SOS 1048422 HAS SOPS 1045176 HAS SOUS 112368 HAS SOUPS 111871 WITH SCORE 112919.422
AT ITER 2497 NEW BEST:: SOT 2133280 SOS 1048489 HAS SOPS 1045225 HAS SOUS 112364 HAS SOUPS 111867 WITH SCORE 112915.489
AT ITER 2516 NEW BEST:: SOT 2133504 SOS 1045688 HAS SOPS 1042424 HAS SOUS 111989 HAS SOUPS 111492 WITH SCORE 112537.688
AT ITER 2539 NEW BEST:: SOT 2133458 SOS 1045642 HAS SOPS 1042378 HAS SOUS 111895 HAS SOUPS 111398 WITH SCORE 112443.642
AT ITER 2563 NEW BEST:: SOT 2133331 SOS 1045515 HAS SOPS 1042251 HAS SOUS 111192 HAS SOUPS 110695 WITH SCORE 111740.515
AT ITER 2573 NEW BEST:: SOT 2133305 SOS 1045489 HAS SOPS 1042225 HAS SOUS 111127 HAS SOUPS 110630 WITH SCORE 111675.489
AT ITER 2591 NEW BEST:: SOT 2133353 SOS 1038138 HAS SOPS 1034874 HAS SOUS 110752 HAS SOUPS 110255 WITH SCORE 111293.138
AT ITER 2618 NEW BEST:: SOT 2133351 SOS 1038422 HAS SOPS 1035158 HAS SOUS 110711 HAS SOUPS 110214 WITH SCORE 111252.422
AT ITER 2622 NEW BEST:: SOT 2133343 SOS 1038414 HAS SOPS 1035150 HAS SOUS 110695 HAS SOUPS 110198 WITH SCORE 111236.414
AT ITER 2631 NEW BEST:: SOT 2131840 SOS 1036911 HAS SOPS 1033647 HAS SOUS 110572 HAS SOUPS 110075 WITH SCORE 111111.911
AT ITER 2638 NEW BEST:: SOT 2131842 SOS 1036913 HAS SOPS 1033644 HAS SOUS 110569 HAS SOUPS 110072 WITH SCORE 111108.913
AT ITER 2655 NEW BEST:: SOT 2131676 SOS 1036794 HAS SOPS 1033525 HAS SOUS 110471 HAS SOUPS 109974 WITH SCORE 111010.794
AT ITER 2673 NEW BEST:: SOT 2131642 SOS 1036760 HAS SOPS 1033491 HAS SOUS 110420 HAS SOUPS 109923 WITH SCORE 110959.76
AT ITER 2688 NEW BEST:: SOT 2131642 SOS 1036723 HAS SOPS 1033454 HAS SOUS 110419 HAS SOUPS 109922 WITH SCORE 110958.723
AT ITER 2692 NEW BEST:: SOT 2131630 SOS 1036707 HAS SOPS 1033438 HAS SOUS 110403 HAS SOUPS 109906 WITH SCORE 110942.707
AT ITER 2774 NEW BEST:: SOT 2131393 SOS 1036548 HAS SOPS 1033279 HAS SOUS 110347 HAS SOUPS 109850 WITH SCORE 110886.548
AT ITER 2791 NEW BEST:: SOT 2131007 SOS 1035751 HAS SOPS 1032482 HAS SOUS 110171 HAS SOUPS 109674 WITH SCORE 110709.751
AT ITER 2798 NEW BEST:: SOT 2131002 SOS 1035741 HAS SOPS 1032472 HAS SOUS 110151 HAS SOUPS 109654 WITH SCORE 110689.741
AT ITER 2809 NEW BEST:: SOT 2130960 SOS 1035699 HAS SOPS 1032430 HAS SOUS 110061 HAS SOUPS 109564 WITH SCORE 110599.699
AT ITER 2829 NEW BEST:: SOT 2130929 SOS 1035636 HAS SOPS 1032367 HAS SOUS 110040 HAS SOUPS 109543 WITH SCORE 110578.636
AT ITER 2844 NEW BEST:: SOT 2130929 SOS 1035636 HAS SOPS 1032367 HAS SOUS 110033 HAS SOUPS 109536 WITH SCORE 110571.636
AT ITER 2870 NEW BEST:: SOT 2130812 SOS 1035488 HAS SOPS 1032219 HAS SOUS 109900 HAS SOUPS 109403 WITH SCORE 110438.488
AT ITER 2892 NEW BEST:: SOT 2130769 SOS 1035505 HAS SOPS 1032236 HAS SOUS 109862 HAS SOUPS 109365 WITH SCORE 110400.505
AT ITER 2914 NEW BEST:: SOT 2130763 SOS 1035505 HAS SOPS 1032236 HAS SOUS 109849 HAS SOUPS 109352 WITH SCORE 110387.505
AT ITER 2915 NEW BEST:: SOT 2130588 SOS 1035305 HAS SOPS 1032036 HAS SOUS 109645 HAS SOUPS 109148 WITH SCORE 110183.305
AT ITER 2929 NEW BEST:: SOT 2130546 SOS 1035238 HAS SOPS 1031969 HAS SOUS 109631 HAS SOUPS 109134 WITH SCORE 110169.238
AT ITER 2959 NEW BEST:: SOT 2130551 SOS 1035244 HAS SOPS 1031975 HAS SOUS 109624 HAS SOUPS 109127 WITH SCORE 110162.244
AT ITER 2975 NEW BEST:: SOT 2130632 SOS 1035070 HAS SOPS 1031777 HAS SOUS 109592 HAS SOUPS 109093 WITH SCORE 110128.07
AT ITER 2980 NEW BEST:: SOT 2130601 SOS 1035039 HAS SOPS 1031746 HAS SOUS 109537 HAS SOUPS 109038 WITH SCORE 110073.039
AT ITER 2999 NEW BEST:: SOT 2130543 SOS 1034923 HAS SOPS 1031630 HAS SOUS 109421 HAS SOUPS 108922 WITH SCORE 109956.923
AT ITER 3019 NEW BEST:: SOT 2130528 SOS 1034782 HAS SOPS 1031489 HAS SOUS 109391 HAS SOUPS 108892 WITH SCORE 109926.782
AT ITER 3080 NEW BEST:: SOT 2131910 SOS 1036499 HAS SOPS 1033206 HAS SOUS 106925 HAS SOUPS 106426 WITH SCORE 107462.499
AT ITER 3096 NEW BEST:: SOT 2119528 SOS 1024117 HAS SOPS 1020824 HAS SOUS 106753 HAS SOUPS 106254 WITH SCORE 107278.117
AT ITER 3108 NEW BEST:: SOT 2119500 SOS 1024075 HAS SOPS 1020782 HAS SOUS 106718 HAS SOUPS 106219 WITH SCORE 107243.075
AT ITER 3117 NEW BEST:: SOT 2119513 SOS 1024104 HAS SOPS 1020811 HAS SOUS 106683 HAS SOUPS 106184 WITH SCORE 107208.104
AT ITER 3126 NEW BEST:: SOT 2119505 SOS 1024140 HAS SOPS 1020847 HAS SOUS 106446 HAS SOUPS 105947 WITH SCORE 106971.14
AT ITER 3127 NEW BEST:: SOT 2119505 SOS 1024140 HAS SOPS 1020847 HAS SOUS 106431 HAS SOUPS 105932 WITH SCORE 106956.14
AT ITER 3130 NEW BEST:: SOT 2119491 SOS 1024126 HAS SOPS 1020833 HAS SOUS 106425 HAS SOUPS 105926 WITH SCORE 106950.126
AT ITER 3134 NEW BEST:: SOT 2119478 SOS 1024071 HAS SOPS 1020778 HAS SOUS 106331 HAS SOUPS 105832 WITH SCORE 106856.071
AT ITER 3146 NEW BEST:: SOT 2119442 SOS 1024035 HAS SOPS 1020742 HAS SOUS 106175 HAS SOUPS 105676 WITH SCORE 106700.035
AT ITER 3159 NEW BEST:: SOT 2119440 SOS 1024033 HAS SOPS 1020729 HAS SOUS 106111 HAS SOUPS 105612 WITH SCORE 106636.033
AT ITER 3191 NEW BEST:: SOT 2119453 SOS 1024037 HAS SOPS 1020733 HAS SOUS 106103 HAS SOUPS 105604 WITH SCORE 106628.037
AT ITER 3197 NEW BEST:: SOT 2119441 SOS 1024025 HAS SOPS 1020721 HAS SOUS 106079 HAS SOUPS 105580 WITH SCORE 106604.025
AT ITER 3225 NEW BEST:: SOT 2119434 SOS 1024017 HAS SOPS 1020713 HAS SOUS 106071 HAS SOUPS 105572 WITH SCORE 106596.017
AT ITER 3226 NEW BEST:: SOT 2089526 SOS 994109 HAS SOPS 990805 HAS SOUS 105016 HAS SOUPS 104517 WITH SCORE 105511.109
AT ITER 3229 NEW BEST:: SOT 2089454 SOS 994026 HAS SOPS 990722 HAS SOUS 104930 HAS SOUPS 104431 WITH SCORE 105425.026
AT ITER 3230 NEW BEST:: SOT 2089342 SOS 993921 HAS SOPS 990617 HAS SOUS 104732 HAS SOUPS 104233 WITH SCORE 105226.921
AT ITER 3239 NEW BEST:: SOT 2089395 SOS 994104 HAS SOPS 990800 HAS SOUS 104712 HAS SOUPS 104213 WITH SCORE 105207.104
AT ITER 3242 NEW BEST:: SOT 2089079 SOS 993813 HAS SOPS 990509 HAS SOUS 104505 HAS SOUPS 104006 WITH SCORE 104999.813
AT ITER 3244 NEW BEST:: SOT 2089039 SOS 993765 HAS SOPS 990461 HAS SOUS 104427 HAS SOUPS 103928 WITH SCORE 104921.765
AT ITER 3266 NEW BEST:: SOT 2061360 SOS 968241 HAS SOPS 964937 HAS SOUS 103841 HAS SOUPS 103342 WITH SCORE 104310.241
AT ITER 3270 NEW BEST:: SOT 2061208 SOS 967965 HAS SOPS 964623 HAS SOUS 103613 HAS SOUPS 103114 WITH SCORE 104081.965
AT ITER 3277 NEW BEST:: SOT 2061258 SOS 967976 HAS SOPS 964564 HAS SOUS 103593 HAS SOUPS 103094 WITH SCORE 104061.976
AT ITER 3342 NEW BEST:: SOT 2061226 SOS 955849 HAS SOPS 952437 HAS SOUS 103481 HAS SOUPS 102982 WITH SCORE 103937.849
AT ITER 3366 NEW BEST:: SOT 2061110 SOS 955658 HAS SOPS 952276 HAS SOUS 103460 HAS SOUPS 102961 WITH SCORE 103916.658
AT ITER 3379 NEW BEST:: SOT 2060933 SOS 955436 HAS SOPS 952054 HAS SOUS 103238 HAS SOUPS 102739 WITH SCORE 103694.436
AT ITER 3380 NEW BEST:: SOT 2060883 SOS 955386 HAS SOPS 951993 HAS SOUS 103186 HAS SOUPS 102687 WITH SCORE 103642.386
AT ITER 3415 NEW BEST:: SOT 2060805 SOS 955313 HAS SOPS 951924 HAS SOUS 103134 HAS SOUPS 102635 WITH SCORE 103590.313
AT ITER 3418 NEW BEST:: SOT 2060729 SOS 802945 HAS SOPS 799556 HAS SOUS 103157 HAS SOUPS 102658 WITH SCORE 103460.945
AT ITER 3436 NEW BEST:: SOT 2060731 SOS 802947 HAS SOPS 799556 HAS SOUS 103133 HAS SOUPS 102634 WITH SCORE 103436.947
AT ITER 3439 NEW BEST:: SOT 2060715 SOS 802931 HAS SOPS 799540 HAS SOUS 103084 HAS SOUPS 102585 WITH SCORE 103387.931
AT ITER 3497 NEW BEST:: SOT 2047849 SOS 790065 HAS SOPS 786674 HAS SOUS 102238 HAS SOUPS 101739 WITH SCORE 102529.065
AT ITER 3512 NEW BEST:: SOT 2047839 SOS 790070 HAS SOPS 786679 HAS SOUS 102218 HAS SOUPS 101719 WITH SCORE 102509.07
AT ITER 3522 NEW BEST:: SOT 2047840 SOS 790071 HAS SOPS 786680 HAS SOUS 102217 HAS SOUPS 101718 WITH SCORE 102508.071
AT ITER 3550 NEW BEST:: SOT 2047789 SOS 790020 HAS SOPS 786629 HAS SOUS 102076 HAS SOUPS 101577 WITH SCORE 102367.02
AT ITER 3552 NEW BEST:: SOT 2047779 SOS 790010 HAS SOPS 786595 HAS SOUS 102008 HAS SOUPS 101509 WITH SCORE 102299.01
AT ITER 3576 NEW BEST:: SOT 2047779 SOS 790018 HAS SOPS 786603 HAS SOUS 101992 HAS SOUPS 101493 WITH SCORE 102283.018
AT ITER 3588 NEW BEST:: SOT 2047798 SOS 790037 HAS SOPS 786622 HAS SOUS 101987 HAS SOUPS 101488 WITH SCORE 102278.037
AT ITER 3600 NEW BEST:: SOT 2067009 SOS 779191 HAS SOPS 775776 HAS SOUS 101513 HAS SOUPS 101014 WITH SCORE 101793.191
AT ITER 3612 NEW BEST:: SOT 2066978 SOS 779160 HAS SOPS 775745 HAS SOUS 101477 HAS SOUPS 100978 WITH SCORE 101757.16
AT ITER 3617 NEW BEST:: SOT 2067012 SOS 779199 HAS SOPS 775784 HAS SOUS 101464 HAS SOUPS 100965 WITH SCORE 101744.199
AT ITER 3619 NEW BEST:: SOT 2066997 SOS 779186 HAS SOPS 775771 HAS SOUS 101447 HAS SOUPS 100948 WITH SCORE 101727.186
AT ITER 3621 NEW BEST:: SOT 2067009 SOS 779198 HAS SOPS 775783 HAS SOUS 101345 HAS SOUPS 100846 WITH SCORE 101625.198
AT ITER 3676 NEW BEST:: SOT 2066943 SOS 779132 HAS SOPS 775717 HAS SOUS 101213 HAS SOUPS 100714 WITH SCORE 101493.132
AT ITER 3678 NEW BEST:: SOT 2066941 SOS 779130 HAS SOPS 775713 HAS SOUS 101209 HAS SOUPS 100710 WITH SCORE 101489.13
AT ITER 3684 NEW BEST:: SOT 2066941 SOS 778458 HAS SOPS 775041 HAS SOUS 101209 HAS SOUPS 100710 WITH SCORE 101488.458
AT ITER 3694 NEW BEST:: SOT 2067184 SOS 778981 HAS SOPS 775564 HAS SOUS 101196 HAS SOUPS 100697 WITH SCORE 101475.981
AT ITER 3702 NEW BEST:: SOT 2067203 SOS 779000 HAS SOPS 775583 HAS SOUS 100458 HAS SOUPS 99959 WITH SCORE 100738.0
AT ITER 3706 NEW BEST:: SOT 2067203 SOS 779000 HAS SOPS 775583 HAS SOUS 100454 HAS SOUPS 99955 WITH SCORE 100734.0
AT ITER 3715 NEW BEST:: SOT 2067006 SOS 744615 HAS SOPS 741198 HAS SOUS 100402 HAS SOUPS 99903 WITH SCORE 100647.615
AT ITER 3723 NEW BEST:: SOT 2066991 SOS 744600 HAS SOPS 741183 HAS SOUS 100387 HAS SOUPS 99888 WITH SCORE 100632.6
AT ITER 3732 NEW BEST:: SOT 2066961 SOS 744570 HAS SOPS 741153 HAS SOUS 100371 HAS SOUPS 99872 WITH SCORE 100616.57
AT ITER 3736 NEW BEST:: SOT 2066814 SOS 744331 HAS SOPS 740914 HAS SOUS 100136 HAS SOUPS 99637 WITH SCORE 100381.331
AT ITER 3748 NEW BEST:: SOT 2066353 SOS 743989 HAS SOPS 740572 HAS SOUS 99711 HAS SOUPS 99212 WITH SCORE 99955.989
AT ITER 3758 NEW BEST:: SOT 2066657 SOS 744741 HAS SOPS 741324 HAS SOUS 99701 HAS SOUPS 99202 WITH SCORE 99946.741
AT ITER 3760 NEW BEST:: SOT 2066506 SOS 744590 HAS SOPS 741173 HAS SOUS 99593 HAS SOUPS 99094 WITH SCORE 99838.59
AT ITER 3792 NEW BEST:: SOT 2066482 SOS 744566 HAS SOPS 741149 HAS SOUS 99490 HAS SOUPS 98991 WITH SCORE 99735.566
AT ITER 3808 NEW BEST:: SOT 2066442 SOS 744499 HAS SOPS 741082 HAS SOUS 99485 HAS SOUPS 98986 WITH SCORE 99730.499
AT ITER 3829 NEW BEST:: SOT 2066334 SOS 744387 HAS SOPS 740970 HAS SOUS 99363 HAS SOUPS 98864 WITH SCORE 99608.387
AT ITER 3838 NEW BEST:: SOT 2066220 SOS 744083 HAS SOPS 740666 HAS SOUS 99211 HAS SOUPS 98712 WITH SCORE 99456.083
AT ITER 3843 NEW BEST:: SOT 2066187 SOS 744060 HAS SOPS 740643 HAS SOUS 99188 HAS SOUPS 98689 WITH SCORE 99433.06
AT ITER 3846 NEW BEST:: SOT 2066145 SOS 744039 HAS SOPS 740664 HAS SOUS 99165 HAS SOUPS 98666 WITH SCORE 99410.039
AT ITER 3860 NEW BEST:: SOT 2065742 SOS 743669 HAS SOPS 740294 HAS SOUS 98759 HAS SOUPS 98260 WITH SCORE 99003.669
AT ITER 3861 NEW BEST:: SOT 2065728 SOS 743655 HAS SOPS 740280 HAS SOUS 98752 HAS SOUPS 98253 WITH SCORE 98996.655
AT ITER 3875 NEW BEST:: SOT 2065727 SOS 743653 HAS SOPS 740278 HAS SOUS 98750 HAS SOUPS 98251 WITH SCORE 98994.653
AT ITER 3881 NEW BEST:: SOT 2065639 SOS 743549 HAS SOPS 740174 HAS SOUS 98646 HAS SOUPS 98147 WITH SCORE 98890.549
AT ITER 3915 NEW BEST:: SOT 2065567 SOS 743477 HAS SOPS 740132 HAS SOUS 98620 HAS SOUPS 98121 WITH SCORE 98864.477
AT ITER 3926 NEW BEST:: SOT 2065381 SOS 743242 HAS SOPS 739897 HAS SOUS 98388 HAS SOUPS 97889 WITH SCORE 98632.242
AT ITER 3938 NEW BEST:: SOT 2065381 SOS 741746 HAS SOPS 738401 HAS SOUS 98388 HAS SOUPS 97889 WITH SCORE 98630.746
AT ITER 3939 NEW BEST:: SOT 2065375 SOS 741740 HAS SOPS 738395 HAS SOUS 98382 HAS SOUPS 97883 WITH SCORE 98624.74
AT ITER 3946 NEW BEST:: SOT 2065299 SOS 741664 HAS SOPS 738319 HAS SOUS 98341 HAS SOUPS 97842 WITH SCORE 98583.664
AT ITER 3951 NEW BEST:: SOT 2065254 SOS 741619 HAS SOPS 738247 HAS SOUS 98286 HAS SOUPS 97787 WITH SCORE 98528.619
AT ITER 3953 NEW BEST:: SOT 2065046 SOS 742146 HAS SOPS 738774 HAS SOUS 98179 HAS SOUPS 97680 WITH SCORE 98422.146
AT ITER 3959 NEW BEST:: SOT 2065041 SOS 742141 HAS SOPS 738769 HAS SOUS 98078 HAS SOUPS 97579 WITH SCORE 98321.141
AT ITER 3977 NEW BEST:: SOT 2065034 SOS 739024 HAS SOPS 735652 HAS SOUS 98067 HAS SOUPS 97568 WITH SCORE 98307.024
AT ITER 3980 NEW BEST:: SOT 2064986 SOS 738976 HAS SOPS 735604 HAS SOUS 97971 HAS SOUPS 97472 WITH SCORE 98210.976
AT ITER 3986 NEW BEST:: SOT 2064880 SOS 738911 HAS SOPS 735539 HAS SOUS 97906 HAS SOUPS 97407 WITH SCORE 98145.911
AT ITER 3991 NEW BEST:: SOT 2064927 SOS 738958 HAS SOPS 735586 HAS SOUS 97852 HAS SOUPS 97353 WITH SCORE 98091.958
AT ITER 3994 NEW BEST:: SOT 2064943 SOS 739026 HAS SOPS 735651 HAS SOUS 97787 HAS SOUPS 97288 WITH SCORE 98027.026
AT ITER 4027 NEW BEST:: SOT 2064943 SOS 738900 HAS SOPS 735525 HAS SOUS 97729 HAS SOUPS 97230 WITH SCORE 97968.9
AT ITER 4071 NEW BEST:: SOT 2064675 SOS 738729 HAS SOPS 735354 HAS SOUS 97637 HAS SOUPS 97138 WITH SCORE 97876.729
AT ITER 4097 NEW BEST:: SOT 2064661 SOS 738715 HAS SOPS 735340 HAS SOUS 97611 HAS SOUPS 97112 WITH SCORE 97850.715
AT ITER 4126 NEW BEST:: SOT 2064440 SOS 738418 HAS SOPS 735043 HAS SOUS 97397 HAS SOUPS 96898 WITH SCORE 97636.418
AT ITER 4151 NEW BEST:: SOT 2064438 SOS 738415 HAS SOPS 735040 HAS SOUS 97395 HAS SOUPS 96896 WITH SCORE 97634.415
AT ITER 4164 NEW BEST:: SOT 2064438 SOS 738245 HAS SOPS 734870 HAS SOUS 97395 HAS SOUPS 96896 WITH SCORE 97634.245
AT ITER 4168 NEW BEST:: SOT 2064438 SOS 738245 HAS SOPS 734843 HAS SOUS 97375 HAS SOUPS 96859 WITH SCORE 97597.245
AT ITER 4178 NEW BEST:: SOT 2064376 SOS 738183 HAS SOPS 734657 HAS SOUS 97313 HAS SOUPS 96673 WITH SCORE 97411.183
AT ITER 4189 NEW BEST:: SOT 2064406 SOS 738207 HAS SOPS 734681 HAS SOUS 97289 HAS SOUPS 96649 WITH SCORE 97387.207
AT ITER 4196 NEW BEST:: SOT 2064391 SOS 738192 HAS SOPS 734666 HAS SOUS 97286 HAS SOUPS 96646 WITH SCORE 97384.192
AT ITER 4214 NEW BEST:: SOT 2064312 SOS 738113 HAS SOPS 734587 HAS SOUS 97199 HAS SOUPS 96559 WITH SCORE 97297.113
AT ITER 4251 NEW BEST:: SOT 2064281 SOS 738158 HAS SOPS 734632 HAS SOUS 97168 HAS SOUPS 96528 WITH SCORE 97266.158
AT ITER 4256 NEW BEST:: SOT 2064801 SOS 738678 HAS SOPS 735152 HAS SOUS 96029 HAS SOUPS 95389 WITH SCORE 96127.678
AT ITER 4266 NEW BEST:: SOT 2064671 SOS 738174 HAS SOPS 734648 HAS SOUS 95811 HAS SOUPS 95171 WITH SCORE 95909.174
AT ITER 4269 NEW BEST:: SOT 2064608 SOS 738111 HAS SOPS 734585 HAS SOUS 95495 HAS SOUPS 94855 WITH SCORE 95593.111
AT ITER 4293 NEW BEST:: SOT 2064687 SOS 738190 HAS SOPS 734664 HAS SOUS 95454 HAS SOUPS 94814 WITH SCORE 95552.19
AT ITER 4306 NEW BEST:: SOT 2064442 SOS 737763 HAS SOPS 734192 HAS SOUS 95108 HAS SOUPS 94468 WITH SCORE 95205.763
AT ITER 4318 NEW BEST:: SOT 2064444 SOS 737765 HAS SOPS 734194 HAS SOUS 95104 HAS SOUPS 94464 WITH SCORE 95201.765
AT ITER 4370 NEW BEST:: SOT 2064392 SOS 737713 HAS SOPS 734142 HAS SOUS 95000 HAS SOUPS 94360 WITH SCORE 95097.713
AT ITER 4406 NEW BEST:: SOT 2064387 SOS 737703 HAS SOPS 734132 HAS SOUS 94990 HAS SOUPS 94350 WITH SCORE 95087.703
AT ITER 4417 NEW BEST:: SOT 2064375 SOS 737692 HAS SOPS 734121 HAS SOUS 94979 HAS SOUPS 94339 WITH SCORE 95076.692
AT ITER 4430 NEW BEST:: SOT 2064374 SOS 737696 HAS SOPS 734125 HAS SOUS 94965 HAS SOUPS 94325 WITH SCORE 95062.696
AT ITER 4436 NEW BEST:: SOT 2064384 SOS 738479 HAS SOPS 734775 HAS SOUS 94997 HAS SOUPS 94320 WITH SCORE 95058.479
AT ITER 4488 NEW BEST:: SOT 2064377 SOS 738472 HAS SOPS 734764 HAS SOUS 94983 HAS SOUPS 94306 WITH SCORE 95044.472
AT ITER 4512 NEW BEST:: SOT 2064360 SOS 738429 HAS SOPS 734721 HAS SOUS 94977 HAS SOUPS 94300 WITH SCORE 95038.429
AT ITER 4513 NEW BEST:: SOT 2064368 SOS 738437 HAS SOPS 734729 HAS SOUS 94946 HAS SOUPS 94269 WITH SCORE 95007.437
AT ITER 4517 NEW BEST:: SOT 2064212 SOS 738281 HAS SOPS 734573 HAS SOUS 94643 HAS SOUPS 93966 WITH SCORE 94704.281
AT ITER 4548 NEW BEST:: SOT 2064204 SOS 738269 HAS SOPS 734561 HAS SOUS 94633 HAS SOUPS 93956 WITH SCORE 94694.269
AT ITER 4549 NEW BEST:: SOT 2064194 SOS 738259 HAS SOPS 734551 HAS SOUS 94623 HAS SOUPS 93946 WITH SCORE 94684.259
AT ITER 4555 NEW BEST:: SOT 2064102 SOS 738151 HAS SOPS 734443 HAS SOUS 94515 HAS SOUPS 93838 WITH SCORE 94576.151
AT ITER 4556 NEW BEST:: SOT 2064105 SOS 738154 HAS SOPS 734446 HAS SOUS 94514 HAS SOUPS 93837 WITH SCORE 94575.154
AT ITER 4573 NEW BEST:: SOT 2064024 SOS 738004 HAS SOPS 734296 HAS SOUS 94410 HAS SOUPS 93733 WITH SCORE 94471.004
AT ITER 4587 NEW BEST:: SOT 2045633 SOS 719613 HAS SOPS 715905 HAS SOUS 94360 HAS SOUPS 93683 WITH SCORE 94402.613
AT ITER 4613 NEW BEST:: SOT 2045653 SOS 719633 HAS SOPS 715925 HAS SOUS 94353 HAS SOUPS 93676 WITH SCORE 94395.633
AT ITER 4641 NEW BEST:: SOT 2045632 SOS 719609 HAS SOPS 715901 HAS SOUS 94329 HAS SOUPS 93652 WITH SCORE 94371.609
AT ITER 4647 NEW BEST:: SOT 2045632 SOS 719630 HAS SOPS 715922 HAS SOUS 94309 HAS SOUPS 93632 WITH SCORE 94351.63
AT ITER 4662 NEW BEST:: SOT 2045614 SOS 719612 HAS SOPS 715904 HAS SOUS 94282 HAS SOUPS 93605 WITH SCORE 94324.612
AT ITER 4683 NEW BEST:: SOT 2045613 SOS 719611 HAS SOPS 715902 HAS SOUS 94280 HAS SOUPS 93603 WITH SCORE 94322.611
AT ITER 4686 NEW BEST:: SOT 2045598 SOS 719596 HAS SOPS 715887 HAS SOUS 94259 HAS SOUPS 93582 WITH SCORE 94301.596
AT ITER 4695 NEW BEST:: SOT 2045580 SOS 719591 HAS SOPS 715882 HAS SOUS 94254 HAS SOUPS 93577 WITH SCORE 94296.591
AT ITER 4729 NEW BEST:: SOT 2045521 SOS 719473 HAS SOPS 715764 HAS SOUS 94155 HAS SOUPS 93478 WITH SCORE 94197.473
AT ITER 4734 NEW BEST:: SOT 2045527 SOS 719485 HAS SOPS 715776 HAS SOUS 94152 HAS SOUPS 93475 WITH SCORE 94194.485
AT ITER 4738 NEW BEST:: SOT 2045506 SOS 719464 HAS SOPS 715741 HAS SOUS 94110 HAS SOUPS 93433 WITH SCORE 94152.464
AT ITER 4742 NEW BEST:: SOT 2045506 SOS 719464 HAS SOPS 715741 HAS SOUS 94108 HAS SOUPS 93431 WITH SCORE 94150.464
AT ITER 4751 NEW BEST:: SOT 2045506 SOS 719498 HAS SOPS 715775 HAS SOUS 94092 HAS SOUPS 93415 WITH SCORE 94134.498
AT ITER 4772 NEW BEST:: SOT 2045473 SOS 719465 HAS SOPS 715777 HAS SOUS 94090 HAS SOUPS 93413 WITH SCORE 94132.465
AT ITER 4846 NEW BEST:: SOT 2045409 SOS 719401 HAS SOPS 715713 HAS SOUS 94026 HAS SOUPS 93349 WITH SCORE 94068.401
AT ITER 4857 NEW BEST:: SOT 2045398 SOS 719390 HAS SOPS 715702 HAS SOUS 94005 HAS SOUPS 93328 WITH SCORE 94047.39
AT ITER 4866 NEW BEST:: SOT 2045396 SOS 719388 HAS SOPS 715696 HAS SOUS 94003 HAS SOUPS 93322 WITH SCORE 94041.388
AT ITER 4869 NEW BEST:: SOT 2045422 SOS 719414 HAS SOPS 715740 HAS SOUS 93999 HAS SOUPS 93318 WITH SCORE 94037.414
AT ITER 4876 NEW BEST:: SOT 2045398 SOS 719388 HAS SOPS 715719 HAS SOUS 93951 HAS SOUPS 93270 WITH SCORE 93989.388
AT ITER 4880 NEW BEST:: SOT 2045396 SOS 719384 HAS SOPS 715715 HAS SOUS 93947 HAS SOUPS 93266 WITH SCORE 93985.384
AT ITER 4928 NEW BEST:: SOT 2045271 SOS 719167 HAS SOPS 715599 HAS SOUS 93929 HAS SOUPS 93248 WITH SCORE 93967.167
AT ITER 4948 NEW BEST:: SOT 2045239 SOS 719128 HAS SOPS 715560 HAS SOUS 93883 HAS SOUPS 93202 WITH SCORE 93921.128
AT ITER 4952 NEW BEST:: SOT 2045239 SOS 719128 HAS SOPS 715560 HAS SOUS 93868 HAS SOUPS 93187 WITH SCORE 93906.128
AT ITER 4962 NEW BEST:: SOT 2045176 SOS 719085 HAS SOPS 715517 HAS SOUS 93825 HAS SOUPS 93144 WITH SCORE 93863.085
AT ITER 4984 NEW BEST:: SOT 2045047 SOS 719027 HAS SOPS 715459 HAS SOUS 93747 HAS SOUPS 93066 WITH SCORE 93785.027
AT ITER 4998 NEW BEST:: SOT 2044916 SOS 718930 HAS SOPS 715362 HAS SOUS 93710 HAS SOUPS 93029 WITH SCORE 93747.93
AT ITER 4999 NEW BEST:: SOT 2044856 SOS 718826 HAS SOPS 715236 HAS SOUS 93610 HAS SOUPS 92929 WITH SCORE 93647.826
AT ITER 5003 NEW BEST:: SOT 2044451 SOS 718464 HAS SOPS 714874 HAS SOUS 93532 HAS SOUPS 92851 WITH SCORE 93569.464
AT ITER 5025 NEW BEST:: SOT 2044405 SOS 718418 HAS SOPS 714828 HAS SOUS 93500 HAS SOUPS 92819 WITH SCORE 93537.418
AT ITER 5052 NEW BEST:: SOT 2044396 SOS 718391 HAS SOPS 714770 HAS SOUS 93445 HAS SOUPS 92764 WITH SCORE 93482.391
AT ITER 5073 NEW BEST:: SOT 2044396 SOS 718111 HAS SOPS 714490 HAS SOUS 93445 HAS SOUPS 92764 WITH SCORE 93482.111
AT ITER 5084 NEW BEST:: SOT 2044288 SOS 718003 HAS SOPS 714382 HAS SOUS 93290 HAS SOUPS 92609 WITH SCORE 93327.003
AT ITER 5089 NEW BEST:: SOT 2044324 SOS 718032 HAS SOPS 714411 HAS SOUS 93277 HAS SOUPS 92596 WITH SCORE 93314.032
AT ITER 5091 NEW BEST:: SOT 2044324 SOS 718032 HAS SOPS 714411 HAS SOUS 93241 HAS SOUPS 92560 WITH SCORE 93278.032
AT ITER 5108 NEW BEST:: SOT 2044318 SOS 718026 HAS SOPS 714399 HAS SOUS 93211 HAS SOUPS 92530 WITH SCORE 93248.026
AT ITER 5152 NEW BEST:: SOT 2044203 SOS 717958 HAS SOPS 714331 HAS SOUS 93104 HAS SOUPS 92423 WITH SCORE 93140.958
AT ITER 5170 NEW BEST:: SOT 2044196 SOS 717951 HAS SOPS 714324 HAS SOUS 93090 HAS SOUPS 92409 WITH SCORE 93126.951
AT ITER 5189 NEW BEST:: SOT 2051960 SOS 725715 HAS SOPS 722088 HAS SOUS 93057 HAS SOUPS 92376 WITH SCORE 93101.715
AT ITER 5197 NEW BEST:: SOT 2051960 SOS 725724 HAS SOPS 722088 HAS SOUS 93039 HAS SOUPS 92358 WITH SCORE 93083.724
AT ITER 5199 NEW BEST:: SOT 2051959 SOS 725333 HAS SOPS 721697 HAS SOUS 92871 HAS SOUPS 92190 WITH SCORE 92915.333
AT ITER 5223 NEW BEST:: SOT 2051872 SOS 725201 HAS SOPS 721565 HAS SOUS 92787 HAS SOUPS 92106 WITH SCORE 92831.201
AT ITER 5225 NEW BEST:: SOT 2051709 SOS 725004 HAS SOPS 721368 HAS SOUS 92569 HAS SOUPS 91888 WITH SCORE 92613.004
AT ITER 5236 NEW BEST:: SOT 2056003 SOS 729298 HAS SOPS 725662 HAS SOUS 92303 HAS SOUPS 91622 WITH SCORE 92351.298
AT ITER 5254 NEW BEST:: SOT 2055900 SOS 729248 HAS SOPS 725612 HAS SOUS 92280 HAS SOUPS 91599 WITH SCORE 92328.248
AT ITER 5284 NEW BEST:: SOT 2056014 SOS 728496 HAS SOPS 724860 HAS SOUS 92192 HAS SOUPS 91511 WITH SCORE 92239.496
AT ITER 5308 NEW BEST:: SOT 2055677 SOS 728190 HAS SOPS 724554 HAS SOUS 91750 HAS SOUPS 91069 WITH SCORE 91797.19
AT ITER 5339 NEW BEST:: SOT 2051477 SOS 723990 HAS SOPS 720354 HAS SOUS 91190 HAS SOUPS 90509 WITH SCORE 91232.99
AT ITER 5353 NEW BEST:: SOT 2051474 SOS 723987 HAS SOPS 720351 HAS SOUS 91184 HAS SOUPS 90503 WITH SCORE 91226.987
AT ITER 5386 NEW BEST:: SOT 2051467 SOS 723854 HAS SOPS 720218 HAS SOUS 91037 HAS SOUPS 90356 WITH SCORE 91079.854
AT ITER 5393 NEW BEST:: SOT 2051487 SOS 723892 HAS SOPS 720239 HAS SOUS 91014 HAS SOUPS 90333 WITH SCORE 91056.892
AT ITER 5400 NEW BEST:: SOT 2051486 SOS 723891 HAS SOPS 720238 HAS SOUS 91012 HAS SOUPS 90331 WITH SCORE 91054.891
AT ITER 5427 NEW BEST:: SOT 2051479 SOS 723861 HAS SOPS 720208 HAS SOUS 90970 HAS SOUPS 90289 WITH SCORE 91012.861
AT ITER 5430 NEW BEST:: SOT 2051492 SOS 723860 HAS SOPS 720207 HAS SOUS 90918 HAS SOUPS 90237 WITH SCORE 90960.86
AT ITER 5440 NEW BEST:: SOT 2050584 SOS 722952 HAS SOPS 719299 HAS SOUS 90627 HAS SOUPS 89946 WITH SCORE 90668.952
AT ITER 5454 NEW BEST:: SOT 2050598 SOS 722927 HAS SOPS 719274 HAS SOUS 90269 HAS SOUPS 89588 WITH SCORE 90310.927
AT ITER 5476 NEW BEST:: SOT 2050586 SOS 722915 HAS SOPS 719262 HAS SOUS 90239 HAS SOUPS 89558 WITH SCORE 90280.915
AT ITER 5486 NEW BEST:: SOT 2050578 SOS 722907 HAS SOPS 719254 HAS SOUS 90231 HAS SOUPS 89550 WITH SCORE 90272.907
AT ITER 5487 NEW BEST:: SOT 2050513 SOS 722813 HAS SOPS 719272 HAS SOUS 89890 HAS SOUPS 89209 WITH SCORE 89931.813
AT ITER 5489 NEW BEST:: SOT 2050482 SOS 722782 HAS SOPS 719241 HAS SOUS 89859 HAS SOUPS 89178 WITH SCORE 89900.782
AT ITER 5503 NEW BEST:: SOT 2050466 SOS 722750 HAS SOPS 719209 HAS SOUS 89827 HAS SOUPS 89146 WITH SCORE 89868.75
AT ITER 5518 NEW BEST:: SOT 2050450 SOS 722734 HAS SOPS 719193 HAS SOUS 89808 HAS SOUPS 89127 WITH SCORE 89849.734
AT ITER 5566 NEW BEST:: SOT 2050428 SOS 663622 HAS SOPS 660081 HAS SOUS 89757 HAS SOUPS 89076 WITH SCORE 89739.622
AT ITER 5597 NEW BEST:: SOT 2050421 SOS 663615 HAS SOPS 660074 HAS SOUS 89315 HAS SOUPS 88634 WITH SCORE 89297.615
AT ITER 5605 NEW BEST:: SOT 2050408 SOS 663606 HAS SOPS 660065 HAS SOUS 89302 HAS SOUPS 88621 WITH SCORE 89284.606
AT ITER 5725 NEW BEST:: SOT 2050393 SOS 663591 HAS SOPS 660050 HAS SOUS 89287 HAS SOUPS 88606 WITH SCORE 89269.591
AT ITER 5734 NEW BEST:: SOT 2050393 SOS 663591 HAS SOPS 660050 HAS SOUS 89279 HAS SOUPS 88598 WITH SCORE 89261.591
AT ITER 5748 NEW BEST:: SOT 2050392 SOS 663590 HAS SOPS 660036 HAS SOUS 89252 HAS SOUPS 88571 WITH SCORE 89234.59
AT ITER 5768 NEW BEST:: SOT 2050365 SOS 663500 HAS SOPS 659946 HAS SOUS 89204 HAS SOUPS 88523 WITH SCORE 89186.5
AT ITER 5785 NEW BEST:: SOT 2050348 SOS 663725 HAS SOPS 660171 HAS SOUS 88954 HAS SOUPS 88273 WITH SCORE 88936.725
AT ITER 5787 NEW BEST:: SOT 2050341 SOS 663722 HAS SOPS 660168 HAS SOUS 88951 HAS SOUPS 88270 WITH SCORE 88933.722
AT ITER 5790 NEW BEST:: SOT 2050313 SOS 663694 HAS SOPS 660139 HAS SOUS 88907 HAS SOUPS 88226 WITH SCORE 88889.694
AT ITER 5803 NEW BEST:: SOT 2050139 SOS 663520 HAS SOPS 659965 HAS SOUS 88883 HAS SOUPS 88202 WITH SCORE 88865.52
AT ITER 5857 NEW BEST:: SOT 2050203 SOS 663785 HAS SOPS 660230 HAS SOUS 88676 HAS SOUPS 87995 WITH SCORE 88658.785
AT ITER 5860 NEW BEST:: SOT 2050161 SOS 663743 HAS SOPS 660188 HAS SOUS 88610 HAS SOUPS 87929 WITH SCORE 88592.743
AT ITER 5885 NEW BEST:: SOT 2050055 SOS 663584 HAS SOPS 660128 HAS SOUS 88484 HAS SOUPS 87803 WITH SCORE 88466.584
AT ITER 5890 NEW BEST:: SOT 2050020 SOS 663549 HAS SOPS 660045 HAS SOUS 88416 HAS SOUPS 87735 WITH SCORE 88398.549
AT ITER 5914 NEW BEST:: SOT 2049929 SOS 663465 HAS SOPS 659975 HAS SOUS 88334 HAS SOUPS 87667 WITH SCORE 88330.465
AT ITER 5915 NEW BEST:: SOT 2049622 SOS 663273 HAS SOPS 659783 HAS SOUS 88095 HAS SOUPS 87428 WITH SCORE 88091.273
AT ITER 5926 NEW BEST:: SOT 2049660 SOS 663491 HAS SOPS 660035 HAS SOUS 87948 HAS SOUPS 87281 WITH SCORE 87944.491
AT ITER 5966 NEW BEST:: SOT 2049659 SOS 663490 HAS SOPS 660034 HAS SOUS 87947 HAS SOUPS 87280 WITH SCORE 87943.49
AT ITER 5989 NEW BEST:: SOT 2049639 SOS 663470 HAS SOPS 660014 HAS SOUS 87892 HAS SOUPS 87225 WITH SCORE 87888.47
AT ITER 6057 NEW BEST:: SOT 2049597 SOS 663412 HAS SOPS 659956 HAS SOUS 87856 HAS SOUPS 87189 WITH SCORE 87852.412
AT ITER 6089 NEW BEST:: SOT 2056534 SOS 670349 HAS SOPS 666893 HAS SOUS 87341 HAS SOUPS 86674 WITH SCORE 87344.349
AT ITER 6096 NEW BEST:: SOT 2056522 SOS 670337 HAS SOPS 666881 HAS SOUS 87186 HAS SOUPS 86519 WITH SCORE 87189.337
AT ITER 6128 NEW BEST:: SOT 2056490 SOS 670297 HAS SOPS 666844 HAS SOUS 87134 HAS SOUPS 86467 WITH SCORE 87137.297
AT ITER 6141 NEW BEST:: SOT 2056558 SOS 670554 HAS SOPS 667101 HAS SOUS 86968 HAS SOUPS 86301 WITH SCORE 86971.554
AT ITER 6151 NEW BEST:: SOT 2056558 SOS 670550 HAS SOPS 667097 HAS SOUS 86960 HAS SOUPS 86293 WITH SCORE 86963.55
AT ITER 6168 NEW BEST:: SOT 2056504 SOS 670496 HAS SOPS 667043 HAS SOUS 86959 HAS SOUPS 86292 WITH SCORE 86962.496
AT ITER 6183 NEW BEST:: SOT 2056494 SOS 670486 HAS SOPS 667023 HAS SOUS 86939 HAS SOUPS 86272 WITH SCORE 86942.486
AT ITER 6202 NEW BEST:: SOT 2056479 SOS 670466 HAS SOPS 667003 HAS SOUS 86916 HAS SOUPS 86249 WITH SCORE 86919.466
AT ITER 6239 NEW BEST:: SOT 2056511 SOS 670498 HAS SOPS 667007 HAS SOUS 86879 HAS SOUPS 86212 WITH SCORE 86882.498
AT ITER 6241 NEW BEST:: SOT 2056498 SOS 670458 HAS SOPS 666967 HAS SOUS 86840 HAS SOUPS 86173 WITH SCORE 86843.458
AT ITER 6274 NEW BEST:: SOT 2056426 SOS 670386 HAS SOPS 666895 HAS SOUS 86688 HAS SOUPS 86021 WITH SCORE 86691.386
AT ITER 6293 NEW BEST:: SOT 2056420 SOS 670377 HAS SOPS 666889 HAS SOUS 86676 HAS SOUPS 86012 WITH SCORE 86682.377
AT ITER 6355 NEW BEST:: SOT 2056426 SOS 670372 HAS SOPS 666884 HAS SOUS 86671 HAS SOUPS 86007 WITH SCORE 86677.372
AT ITER 6408 NEW BEST:: SOT 2056412 SOS 670358 HAS SOPS 666870 HAS SOUS 86654 HAS SOUPS 85990 WITH SCORE 86660.358
AT ITER 6435 NEW BEST:: SOT 2056398 SOS 670344 HAS SOPS 666856 HAS SOUS 86602 HAS SOUPS 85938 WITH SCORE 86608.344
AT ITER 6440 NEW BEST:: SOT 2052050 SOS 665996 HAS SOPS 662508 HAS SOUS 86327 HAS SOUPS 85663 WITH SCORE 86328.996
AT ITER 6477 NEW BEST:: SOT 2052002 SOS 665884 HAS SOPS 662396 HAS SOUS 86326 HAS SOUPS 85662 WITH SCORE 86327.884
AT ITER 6520 NEW BEST:: SOT 2052026 SOS 666096 HAS SOPS 662537 HAS SOUS 86263 HAS SOUPS 85599 WITH SCORE 86265.096
AT ITER 6574 NEW BEST:: SOT 2052000 SOS 666079 HAS SOPS 662520 HAS SOUS 86238 HAS SOUPS 85574 WITH SCORE 86240.079
AT ITER 6598 NEW BEST:: SOT 2051894 SOS 665937 HAS SOPS 662378 HAS SOUS 86096 HAS SOUPS 85432 WITH SCORE 86097.937
AT ITER 6626 NEW BEST:: SOT 2051892 SOS 665933 HAS SOPS 662374 HAS SOUS 86092 HAS SOUPS 85428 WITH SCORE 86093.933
AT ITER 6637 NEW BEST:: SOT 2051852 SOS 665903 HAS SOPS 662344 HAS SOUS 86042 HAS SOUPS 85378 WITH SCORE 86043.903
AT ITER 6641 NEW BEST:: SOT 2051849 SOS 665900 HAS SOPS 662341 HAS SOUS 86036 HAS SOUPS 85372 WITH SCORE 86037.9
AT ITER 6653 NEW BEST:: SOT 2051861 SOS 665910 HAS SOPS 662351 HAS SOUS 86021 HAS SOUPS 85357 WITH SCORE 86022.91
AT ITER 6664 NEW BEST:: SOT 2052343 SOS 666392 HAS SOPS 662833 HAS SOUS 85938 HAS SOUPS 85274 WITH SCORE 85940.392
AT ITER 6671 NEW BEST:: SOT 2052337 SOS 666380 HAS SOPS 662809 HAS SOUS 85920 HAS SOUPS 85244 WITH SCORE 85910.38
AT ITER 6683 NEW BEST:: SOT 2052355 SOS 666462 HAS SOPS 662891 HAS SOUS 85883 HAS SOUPS 85207 WITH SCORE 85873.462
AT ITER 6693 NEW BEST:: SOT 2052404 SOS 666481 HAS SOPS 662910 HAS SOUS 85862 HAS SOUPS 85186 WITH SCORE 85852.481
AT ITER 6730 NEW BEST:: SOT 2052364 SOS 666441 HAS SOPS 662870 HAS SOUS 85822 HAS SOUPS 85146 WITH SCORE 85812.441
AT ITER 6740 NEW BEST:: SOT 2052364 SOS 666441 HAS SOPS 662870 HAS SOUS 85820 HAS SOUPS 85144 WITH SCORE 85810.441
AT ITER 6749 NEW BEST:: SOT 2052337 SOS 666414 HAS SOPS 662843 HAS SOUS 85803 HAS SOUPS 85127 WITH SCORE 85793.414
AT ITER 6760 NEW BEST:: SOT 2052337 SOS 666414 HAS SOPS 662834 HAS SOUS 85785 HAS SOUPS 85109 WITH SCORE 85775.414
AT ITER 6776 NEW BEST:: SOT 2052333 SOS 666410 HAS SOPS 662826 HAS SOUS 85777 HAS SOUPS 85101 WITH SCORE 85767.41
AT ITER 6793 NEW BEST:: SOT 2052318 SOS 666361 HAS SOPS 662777 HAS SOUS 85771 HAS SOUPS 85095 WITH SCORE 85761.361
AT ITER 6802 NEW BEST:: SOT 2052268 SOS 666311 HAS SOPS 662727 HAS SOUS 85743 HAS SOUPS 85067 WITH SCORE 85733.311
AT ITER 6815 NEW BEST:: SOT 2052182 SOS 666225 HAS SOPS 662641 HAS SOUS 85727 HAS SOUPS 85051 WITH SCORE 85717.225
AT ITER 6838 NEW BEST:: SOT 2052177 SOS 666220 HAS SOPS 662636 HAS SOUS 85690 HAS SOUPS 85014 WITH SCORE 85680.22
AT ITER 6848 NEW BEST:: SOT 2052177 SOS 666213 HAS SOPS 662629 HAS SOUS 85690 HAS SOUPS 85014 WITH SCORE 85680.213
AT ITER 6864 NEW BEST:: SOT 2052116 SOS 666177 HAS SOPS 662593 HAS SOUS 85646 HAS SOUPS 84970 WITH SCORE 85636.177
AT ITER 6889 NEW BEST:: SOT 2052107 SOS 656724 HAS SOPS 653140 HAS SOUS 85493 HAS SOUPS 84817 WITH SCORE 85473.724
AT ITER 6919 NEW BEST:: SOT 2052107 SOS 656691 HAS SOPS 653107 HAS SOUS 85493 HAS SOUPS 84817 WITH SCORE 85473.691
AT ITER 6920 NEW BEST:: SOT 2052107 SOS 654923 HAS SOPS 651339 HAS SOUS 85493 HAS SOUPS 84817 WITH SCORE 85471.923
AT ITER 6992 NEW BEST:: SOT 2052086 SOS 654902 HAS SOPS 651318 HAS SOUS 85487 HAS SOUPS 84811 WITH SCORE 85465.902
AT ITER 7016 NEW BEST:: SOT 2052083 SOS 654893 HAS SOPS 651312 HAS SOUS 85487 HAS SOUPS 84811 WITH SCORE 85465.893
AT ITER 7018 NEW BEST:: SOT 2056070 SOS 658880 HAS SOPS 655299 HAS SOUS 85310 HAS SOUPS 84634 WITH SCORE 85292.88
AT ITER 7035 NEW BEST:: SOT 2056002 SOS 658761 HAS SOPS 655180 HAS SOUS 85208 HAS SOUPS 84532 WITH SCORE 85190.761
AT ITER 7049 NEW BEST:: SOT 2055993 SOS 658752 HAS SOPS 655171 HAS SOUS 85199 HAS SOUPS 84523 WITH SCORE 85181.752
AT ITER 7053 NEW BEST:: SOT 2055928 SOS 658687 HAS SOPS 655106 HAS SOUS 85102 HAS SOUPS 84426 WITH SCORE 85084.687
AT ITER 7066 NEW BEST:: SOT 2055928 SOS 658685 HAS SOPS 655106 HAS SOUS 85101 HAS SOUPS 84426 WITH SCORE 85084.685
AT ITER 7103 NEW BEST:: SOT 2055914 SOS 658698 HAS SOPS 655092 HAS SOUS 85046 HAS SOUPS 84371 WITH SCORE 85029.698
AT ITER 7132 NEW BEST:: SOT 2065754 SOS 668766 HAS SOPS 665160 HAS SOUS 84995 HAS SOUPS 84320 WITH SCORE 84988.766
AT ITER 7135 NEW BEST:: SOT 2065789 SOS 668801 HAS SOPS 665164 HAS SOUS 84941 HAS SOUPS 84266 WITH SCORE 84934.801
AT ITER 7136 NEW BEST:: SOT 2065800 SOS 668812 HAS SOPS 665174 HAS SOUS 84939 HAS SOUPS 84264 WITH SCORE 84932.812
AT ITER 7165 NEW BEST:: SOT 2065789 SOS 668801 HAS SOPS 665163 HAS SOUS 84935 HAS SOUPS 84260 WITH SCORE 84928.801
AT ITER 7170 NEW BEST:: SOT 2065778 SOS 668790 HAS SOPS 665141 HAS SOUS 84885 HAS SOUPS 84210 WITH SCORE 84878.79
AT ITER 7203 NEW BEST:: SOT 2065718 SOS 668698 HAS SOPS 665049 HAS SOUS 84797 HAS SOUPS 84122 WITH SCORE 84790.698
AT ITER 7234 NEW BEST:: SOT 2065707 SOS 668669 HAS SOPS 665020 HAS SOUS 84787 HAS SOUPS 84112 WITH SCORE 84780.669
AT ITER 7242 NEW BEST:: SOT 2065694 SOS 668675 HAS SOPS 665026 HAS SOUS 84730 HAS SOUPS 84055 WITH SCORE 84723.675
AT ITER 7257 NEW BEST:: SOT 2065690 SOS 668671 HAS SOPS 665014 HAS SOUS 84719 HAS SOUPS 84044 WITH SCORE 84712.671
AT ITER 7308 NEW BEST:: SOT 2065690 SOS 667695 HAS SOPS 664038 HAS SOUS 84719 HAS SOUPS 84044 WITH SCORE 84711.695
AT ITER 7317 NEW BEST:: SOT 2065690 SOS 667839 HAS SOPS 664182 HAS SOUS 84712 HAS SOUPS 84037 WITH SCORE 84704.839
AT ITER 7340 NEW BEST:: SOT 2065760 SOS 667866 HAS SOPS 664188 HAS SOUS 84685 HAS SOUPS 84010 WITH SCORE 84677.866
AT ITER 7342 NEW BEST:: SOT 2065740 SOS 667821 HAS SOPS 664143 HAS SOUS 84656 HAS SOUPS 83981 WITH SCORE 84648.821
AT ITER 7366 NEW BEST:: SOT 2065744 SOS 658075 HAS SOPS 654397 HAS SOUS 84451 HAS SOUPS 83776 WITH SCORE 84434.075
AT ITER 7408 NEW BEST:: SOT 2065720 SOS 657899 HAS SOPS 654221 HAS SOUS 84275 HAS SOUPS 83600 WITH SCORE 84257.899
AT ITER 7428 NEW BEST:: SOT 2065716 SOS 657895 HAS SOPS 654217 HAS SOUS 84274 HAS SOUPS 83599 WITH SCORE 84256.895
AT ITER 7450 NEW BEST:: SOT 2065714 SOS 657893 HAS SOPS 654215 HAS SOUS 84272 HAS SOUPS 83597 WITH SCORE 84254.893
AT ITER 7515 NEW BEST:: SOT 2066066 SOS 658245 HAS SOPS 654567 HAS SOUS 84029 HAS SOUPS 83354 WITH SCORE 84012.245
AT ITER 7519 NEW BEST:: SOT 2066041 SOS 658213 HAS SOPS 654535 HAS SOUS 83995 HAS SOUPS 83320 WITH SCORE 83978.213
AT ITER 7525 NEW BEST:: SOT 2066064 SOS 658197 HAS SOPS 654517 HAS SOUS 83985 HAS SOUPS 83310 WITH SCORE 83968.197
AT ITER 7540 NEW BEST:: SOT 2066069 SOS 658368 HAS SOPS 654773 HAS SOUS 83914 HAS SOUPS 83239 WITH SCORE 83897.368
AT ITER 7545 NEW BEST:: SOT 2066093 SOS 658392 HAS SOPS 654797 HAS SOUS 83877 HAS SOUPS 83202 WITH SCORE 83860.392
AT ITER 7557 NEW BEST:: SOT 2066107 SOS 658406 HAS SOPS 654811 HAS SOUS 83840 HAS SOUPS 83165 WITH SCORE 83823.406
AT ITER 7559 NEW BEST:: SOT 2066035 SOS 658334 HAS SOPS 654739 HAS SOUS 83720 HAS SOUPS 83045 WITH SCORE 83703.334
AT ITER 7564 NEW BEST:: SOT 2058760 SOS 651059 HAS SOPS 647464 HAS SOUS 82781 HAS SOUPS 82106 WITH SCORE 82757.059
AT ITER 7577 NEW BEST:: SOT 2058524 SOS 650439 HAS SOPS 646809 HAS SOUS 82660 HAS SOUPS 81985 WITH SCORE 82635.439
AT ITER 7584 NEW BEST:: SOT 2058517 SOS 650432 HAS SOPS 646791 HAS SOUS 82642 HAS SOUPS 81967 WITH SCORE 82617.432
AT ITER 7613 NEW BEST:: SOT 2058465 SOS 650370 HAS SOPS 646729 HAS SOUS 82588 HAS SOUPS 81913 WITH SCORE 82563.37
AT ITER 7616 NEW BEST:: SOT 2058416 SOS 650317 HAS SOPS 646691 HAS SOUS 82565 HAS SOUPS 81890 WITH SCORE 82540.317
AT ITER 7672 NEW BEST:: SOT 2058416 SOS 649052 HAS SOPS 645568 HAS SOUS 82504 HAS SOUPS 81864 WITH SCORE 82513.052
AT ITER 7683 NEW BEST:: SOT 2058401 SOS 649021 HAS SOPS 645537 HAS SOUS 82482 HAS SOUPS 81842 WITH SCORE 82491.021
AT ITER 7695 NEW BEST:: SOT 2058352 SOS 648972 HAS SOPS 645488 HAS SOUS 82433 HAS SOUPS 81793 WITH SCORE 82441.972
AT ITER 7710 NEW BEST:: SOT 2058284 SOS 648904 HAS SOPS 645420 HAS SOUS 82345 HAS SOUPS 81705 WITH SCORE 82353.904
AT ITER 7733 NEW BEST:: SOT 2058197 SOS 648806 HAS SOPS 645322 HAS SOUS 82252 HAS SOUPS 81612 WITH SCORE 82260.806
AT ITER 7752 NEW BEST:: SOT 2058179 SOS 648788 HAS SOPS 645304 HAS SOUS 82198 HAS SOUPS 81558 WITH SCORE 82206.788
AT ITER 7772 NEW BEST:: SOT 2061194 SOS 651803 HAS SOPS 648319 HAS SOUS 81258 HAS SOUPS 80618 WITH SCORE 81269.803
AT ITER 7773 NEW BEST:: SOT 2061270 SOS 651901 HAS SOPS 648417 HAS SOUS 81151 HAS SOUPS 80511 WITH SCORE 81162.901
AT ITER 7774 NEW BEST:: SOT 2061368 SOS 651999 HAS SOPS 648515 HAS SOUS 81134 HAS SOUPS 80494 WITH SCORE 81145.999
AT ITER 7781 NEW BEST:: SOT 2061432 SOS 652063 HAS SOPS 648579 HAS SOUS 81080 HAS SOUPS 80440 WITH SCORE 81092.063
AT ITER 7796 NEW BEST:: SOT 2068153 SOS 658784 HAS SOPS 655300 HAS SOUS 80948 HAS SOUPS 80308 WITH SCORE 80966.784
AT ITER 7797 NEW BEST:: SOT 2068153 SOS 658912 HAS SOPS 655428 HAS SOUS 80946 HAS SOUPS 80306 WITH SCORE 80964.912
AT ITER 7834 NEW BEST:: SOT 2068152 SOS 658941 HAS SOPS 655457 HAS SOUS 80895 HAS SOUPS 80255 WITH SCORE 80913.941
AT ITER 7885 NEW BEST:: SOT 2068183 SOS 658940 HAS SOPS 655456 HAS SOUS 80884 HAS SOUPS 80244 WITH SCORE 80902.94
AT ITER 7892 NEW BEST:: SOT 2068135 SOS 658994 HAS SOPS 655510 HAS SOUS 80830 HAS SOUPS 80190 WITH SCORE 80848.994
AT ITER 7919 NEW BEST:: SOT 2068081 SOS 658871 HAS SOPS 655387 HAS SOUS 80743 HAS SOUPS 80103 WITH SCORE 80761.871
AT ITER 7950 NEW BEST:: SOT 2068048 SOS 658838 HAS SOPS 655354 HAS SOUS 80608 HAS SOUPS 79968 WITH SCORE 80626.838
AT ITER 7994 NEW BEST:: SOT 2068048 SOS 658743 HAS SOPS 655259 HAS SOUS 80570 HAS SOUPS 79930 WITH SCORE 80588.743
AT ITER 8004 NEW BEST:: SOT 2068042 SOS 658754 HAS SOPS 655276 HAS SOUS 80566 HAS SOUPS 79926 WITH SCORE 80584.754
AT ITER 8008 NEW BEST:: SOT 2067995 SOS 658735 HAS SOPS 655257 HAS SOUS 80551 HAS SOUPS 79911 WITH SCORE 80569.735
AT ITER 8066 NEW BEST:: SOT 2067954 SOS 658539 HAS SOPS 655060 HAS SOUS 80532 HAS SOUPS 79892 WITH SCORE 80550.539
AT ITER 8137 NEW BEST:: SOT 2066402 SOS 656987 HAS SOPS 653508 HAS SOUS 80358 HAS SOUPS 79718 WITH SCORE 80374.987
AT ITER 8149 NEW BEST:: SOT 2066402 SOS 656987 HAS SOPS 653507 HAS SOUS 80356 HAS SOUPS 79716 WITH SCORE 80372.987
AT ITER 8172 NEW BEST:: SOT 2066399 SOS 656972 HAS SOPS 653492 HAS SOUS 80353 HAS SOUPS 79713 WITH SCORE 80369.972
AT ITER 8187 NEW BEST:: SOT 2066399 SOS 656956 HAS SOPS 653476 HAS SOUS 80353 HAS SOUPS 79713 WITH SCORE 80369.956
AT ITER 8218 NEW BEST:: SOT 2066338 SOS 656922 HAS SOPS 653442 HAS SOUS 80284 HAS SOUPS 79644 WITH SCORE 80300.922
AT ITER 8221 NEW BEST:: SOT 2066161 SOS 656509 HAS SOPS 653029 HAS SOUS 80079 HAS SOUPS 79439 WITH SCORE 80095.509
AT ITER 8238 NEW BEST:: SOT 2066146 SOS 656479 HAS SOPS 652999 HAS SOUS 80049 HAS SOUPS 79409 WITH SCORE 80065.479
AT ITER 8332 NEW BEST:: SOT 2066110 SOS 656443 HAS SOPS 652975 HAS SOUS 80043 HAS SOUPS 79403 WITH SCORE 80059.443
AT ITER 8382 NEW BEST:: SOT 2066025 SOS 656414 HAS SOPS 652946 HAS SOUS 79889 HAS SOUPS 79249 WITH SCORE 79905.414
AT ITER 8399 NEW BEST:: SOT 2066025 SOS 656326 HAS SOPS 652858 HAS SOUS 79889 HAS SOUPS 79249 WITH SCORE 79905.326
AT ITER 8409 NEW BEST:: SOT 2065921 SOS 656222 HAS SOPS 652754 HAS SOUS 79747 HAS SOUPS 79107 WITH SCORE 79763.222
AT ITER 8426 NEW BEST:: SOT 2065921 SOS 656225 HAS SOPS 652757 HAS SOUS 79741 HAS SOUPS 79101 WITH SCORE 79757.225
AT ITER 8432 NEW BEST:: SOT 2065834 SOS 656331 HAS SOPS 653385 HAS SOUS 79690 HAS SOUPS 79076 WITH SCORE 79732.331
AT ITER 8444 NEW BEST:: SOT 2065806 SOS 656275 HAS SOPS 653329 HAS SOUS 79641 HAS SOUPS 79027 WITH SCORE 79683.275
AT ITER 8445 NEW BEST:: SOT 2060713 SOS 651182 HAS SOPS 648236 HAS SOUS 79072 HAS SOUPS 78458 WITH SCORE 79109.182
AT ITER 8469 NEW BEST:: SOT 2060701 SOS 651170 HAS SOPS 648218 HAS SOUS 79057 HAS SOUPS 78443 WITH SCORE 79094.17
AT ITER 8471 NEW BEST:: SOT 2060700 SOS 651169 HAS SOPS 648217 HAS SOUS 79055 HAS SOUPS 78441 WITH SCORE 79092.169
AT ITER 8591 NEW BEST:: SOT 2060682 SOS 651151 HAS SOPS 648180 HAS SOUS 79019 HAS SOUPS 78405 WITH SCORE 79056.151
AT ITER 8601 NEW BEST:: SOT 2060680 SOS 651153 HAS SOPS 648184 HAS SOUS 79013 HAS SOUPS 78399 WITH SCORE 79050.153
AT ITER 8638 NEW BEST:: SOT 2060600 SOS 651073 HAS SOPS 648109 HAS SOUS 79011 HAS SOUPS 78397 WITH SCORE 79048.073
AT ITER 8646 NEW BEST:: SOT 2060588 SOS 651061 HAS SOPS 648097 HAS SOUS 78987 HAS SOUPS 78373 WITH SCORE 79024.061
AT ITER 8651 NEW BEST:: SOT 2060532 SOS 651005 HAS SOPS 648041 HAS SOUS 78871 HAS SOUPS 78257 WITH SCORE 78908.005
AT ITER 8663 NEW BEST:: SOT 2060530 SOS 651003 HAS SOPS 648037 HAS SOUS 78863 HAS SOUPS 78249 WITH SCORE 78900.003
AT ITER 8664 NEW BEST:: SOT 2060530 SOS 651775 HAS SOPS 648809 HAS SOUS 78815 HAS SOUPS 78201 WITH SCORE 78852.775
AT ITER 8718 NEW BEST:: SOT 2060470 SOS 651715 HAS SOPS 648749 HAS SOUS 78657 HAS SOUPS 78043 WITH SCORE 78694.715
AT ITER 8746 NEW BEST:: SOT 2060466 SOS 651711 HAS SOPS 648740 HAS SOUS 78649 HAS SOUPS 78035 WITH SCORE 78686.711
AT ITER 8768 NEW BEST:: SOT 2060466 SOS 651671 HAS SOPS 648700 HAS SOUS 78649 HAS SOUPS 78035 WITH SCORE 78686.671
AT ITER 8798 NEW BEST:: SOT 2060464 SOS 651668 HAS SOPS 648697 HAS SOUS 78645 HAS SOUPS 78031 WITH SCORE 78682.668
AT ITER 8874 NEW BEST:: SOT 2060433 SOS 651657 HAS SOPS 648686 HAS SOUS 78603 HAS SOUPS 77989 WITH SCORE 78640.657
AT ITER 8885 NEW BEST:: SOT 2060418 SOS 651677 HAS SOPS 648706 HAS SOUS 78561 HAS SOUPS 77947 WITH SCORE 78598.677
AT ITER 8889 NEW BEST:: SOT 2060339 SOS 651598 HAS SOPS 648627 HAS SOUS 78423 HAS SOUPS 77809 WITH SCORE 78460.598
AT ITER 8990 NEW BEST:: SOT 2060424 SOS 649528 HAS SOPS 646557 HAS SOUS 76931 HAS SOUPS 76317 WITH SCORE 76966.528
AT ITER 9031 NEW BEST:: SOT 2060441 SOS 649545 HAS SOPS 646574 HAS SOUS 76925 HAS SOUPS 76311 WITH SCORE 76960.545
AT ITER 9102 NEW BEST:: SOT 2060441 SOS 650797 HAS SOPS 647826 HAS SOUS 76919 HAS SOUPS 76305 WITH SCORE 76955.797
AT ITER 9119 NEW BEST:: SOT 2060398 SOS 650582 HAS SOPS 647611 HAS SOUS 76918 HAS SOUPS 76304 WITH SCORE 76954.582
AT ITER 9127 NEW BEST:: SOT 2060406 SOS 650846 HAS SOPS 647843 HAS SOUS 76920 HAS SOUPS 76298 WITH SCORE 76948.846
AT ITER 9157 NEW BEST:: SOT 2060451 SOS 650944 HAS SOPS 648035 HAS SOUS 76838 HAS SOUPS 76216 WITH SCORE 76866.944
AT ITER 9173 NEW BEST:: SOT 2060447 SOS 650940 HAS SOPS 648031 HAS SOUS 76838 HAS SOUPS 76216 WITH SCORE 76866.94
AT ITER 9218 NEW BEST:: SOT 2060119 SOS 621834 HAS SOPS 618925 HAS SOUS 76679 HAS SOUPS 76057 WITH SCORE 76678.834
AT ITER 9266 NEW BEST:: SOT 2060070 SOS 620623 HAS SOPS 617910 HAS SOUS 76587 HAS SOUPS 76014 WITH SCORE 76634.623
AT ITER 9291 NEW BEST:: SOT 2060002 SOS 620555 HAS SOPS 617842 HAS SOUS 76519 HAS SOUPS 75946 WITH SCORE 76566.555
AT ITER 9344 NEW BEST:: SOT 2059978 SOS 620531 HAS SOPS 617818 HAS SOUS 76495 HAS SOUPS 75922 WITH SCORE 76542.531
AT ITER 9359 NEW BEST:: SOT 2059962 SOS 620515 HAS SOPS 617802 HAS SOUS 76481 HAS SOUPS 75908 WITH SCORE 76528.515
AT ITER 9374 NEW BEST:: SOT 2059947 SOS 620526 HAS SOPS 617813 HAS SOUS 76306 HAS SOUPS 75733 WITH SCORE 76353.526
AT ITER 9392 NEW BEST:: SOT 2059940 SOS 620519 HAS SOPS 617806 HAS SOUS 76235 HAS SOUPS 75662 WITH SCORE 76282.519
AT ITER 9400 NEW BEST:: SOT 2059929 SOS 620423 HAS SOPS 617710 HAS SOUS 76139 HAS SOUPS 75566 WITH SCORE 76186.423
AT ITER 9405 NEW BEST:: SOT 2060014 SOS 620524 HAS SOPS 617811 HAS SOUS 76118 HAS SOUPS 75545 WITH SCORE 76165.524
AT ITER 9442 NEW BEST:: SOT 2059981 SOS 620491 HAS SOPS 617778 HAS SOUS 76052 HAS SOUPS 75479 WITH SCORE 76099.491
AT ITER 9473 NEW BEST:: SOT 2059981 SOS 620511 HAS SOPS 617798 HAS SOUS 76032 HAS SOUPS 75459 WITH SCORE 76079.511
AT ITER 9476 NEW BEST:: SOT 2059714 SOS 620244 HAS SOPS 617531 HAS SOUS 75812 HAS SOUPS 75239 WITH SCORE 75859.244
AT ITER 9539 NEW BEST:: SOT 2059714 SOS 620234 HAS SOPS 617521 HAS SOUS 75807 HAS SOUPS 75234 WITH SCORE 75854.234
AT ITER 9540 NEW BEST:: SOT 2059685 SOS 620192 HAS SOPS 617479 HAS SOUS 75775 HAS SOUPS 75202 WITH SCORE 75822.192
AT ITER 9556 NEW BEST:: SOT 2059641 SOS 620557 HAS SOPS 617844 HAS SOUS 75641 HAS SOUPS 75068 WITH SCORE 75688.557
AT ITER 9573 NEW BEST:: SOT 2059640 SOS 620575 HAS SOPS 617863 HAS SOUS 75640 HAS SOUPS 75067 WITH SCORE 75687.575
AT ITER 9588 NEW BEST:: SOT 2059615 SOS 620550 HAS SOPS 617838 HAS SOUS 75608 HAS SOUPS 75035 WITH SCORE 75655.55
AT ITER 9633 NEW BEST:: SOT 2059604 SOS 620535 HAS SOPS 617823 HAS SOUS 75596 HAS SOUPS 75023 WITH SCORE 75643.535
AT ITER 9650 NEW BEST:: SOT 2059598 SOS 620529 HAS SOPS 617812 HAS SOUS 75584 HAS SOUPS 75011 WITH SCORE 75631.529
AT ITER 9703 NEW BEST:: SOT 2059635 SOS 620566 HAS SOPS 617849 HAS SOUS 75582 HAS SOUPS 75009 WITH SCORE 75629.566
AT ITER 9718 NEW BEST:: SOT 2059531 SOS 620701 HAS SOPS 617984 HAS SOUS 75459 HAS SOUPS 74886 WITH SCORE 75506.701
AT ITER 9747 NEW BEST:: SOT 2059530 SOS 620698 HAS SOPS 617981 HAS SOUS 75459 HAS SOUPS 74886 WITH SCORE 75506.698
AT ITER 9749 NEW BEST:: SOT 2059523 SOS 620684 HAS SOPS 617967 HAS SOUS 75442 HAS SOUPS 74869 WITH SCORE 75489.684
AT ITER 9810 NEW BEST:: SOT 2059523 SOS 620068 HAS SOPS 617351 HAS SOUS 75442 HAS SOUPS 74869 WITH SCORE 75489.068
AT ITER 9814 NEW BEST:: SOT 2059577 SOS 620122 HAS SOPS 617405 HAS SOUS 75439 HAS SOUPS 74866 WITH SCORE 75486.122
AT ITER 9818 NEW BEST:: SOT 2050196 SOS 610741 HAS SOPS 608024 HAS SOUS 75133 HAS SOUPS 74560 WITH SCORE 75170.741
AT ITER 9828 NEW BEST:: SOT 2050148 SOS 610445 HAS SOPS 607728 HAS SOUS 75122 HAS SOUPS 74549 WITH SCORE 75159.445
AT ITER 9830 NEW BEST:: SOT 2050157 SOS 610472 HAS SOPS 607755 HAS SOUS 75095 HAS SOUPS 74522 WITH SCORE 75132.472
AT ITER 9841 NEW BEST:: SOT 2050146 SOS 610461 HAS SOPS 607744 HAS SOUS 75073 HAS SOUPS 74500 WITH SCORE 75110.461
AT ITER 9844 NEW BEST:: SOT 2050063 SOS 610271 HAS SOPS 607554 HAS SOUS 74987 HAS SOUPS 74414 WITH SCORE 75024.271
AT ITER 9896 NEW BEST:: SOT 2047847 SOS 608055 HAS SOPS 605338 HAS SOUS 74921 HAS SOUPS 74348 WITH SCORE 74956.055
AT ITER 9900 NEW BEST:: SOT 2047844 SOS 608052 HAS SOPS 605335 HAS SOUS 74915 HAS SOUPS 74342 WITH SCORE 74950.052
AT ITER 9905 NEW BEST:: SOT 2047881 SOS 608089 HAS SOPS 605372 HAS SOUS 74751 HAS SOUPS 74178 WITH SCORE 74786.089
AT ITER 9908 NEW BEST:: SOT 2047874 SOS 608082 HAS SOPS 605365 HAS SOUS 74749 HAS SOUPS 74176 WITH SCORE 74784.082
AT ITER 9955 NEW BEST:: SOT 2047874 SOS 608050 HAS SOPS 605333 HAS SOUS 74749 HAS SOUPS 74176 WITH SCORE 74784.05
AT ITER 9987 NEW BEST:: SOT 2047856 SOS 608014 HAS SOPS 605297 HAS SOUS 74713 HAS SOUPS 74140 WITH SCORE 74748.014

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J06T04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J06T04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354900536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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