Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.9M
-rw-r--r-- 1 mcc users 16K Apr 12 12:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Apr 12 12:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 376K Apr 11 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.2M Apr 11 13:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 22K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 130K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 405K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Apr 10 17:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Apr 10 17:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 155K Apr 10 00:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 503K Apr 10 00:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 4.9M Mar 24 05:38 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 1589744312109

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

Filename model.pnml
Petri model created: 621 places, 4771 transitions, 34549 arcs.
AT ITER 0 NEW BEST:: SOT 1544576 SOS 1233654 HAS SOPS 1231616 HAS SOUS 325424 HAS SOUPS 324857 WITH SCORE 326090.654
AT ITER 9 NEW BEST:: SOT 1544819 SOS 1233800 HAS SOPS 1231612 HAS SOUS 325200 HAS SOUPS 324483 WITH SCORE 325716.8
AT ITER 24 NEW BEST:: SOT 1544796 SOS 1234523 HAS SOPS 1232335 HAS SOUS 325122 HAS SOUPS 324405 WITH SCORE 325639.523
AT ITER 43 NEW BEST:: SOT 1544462 SOS 1234189 HAS SOPS 1232001 HAS SOUS 324955 HAS SOUPS 324238 WITH SCORE 325472.189
AT ITER 44 NEW BEST:: SOT 1544558 SOS 1236637 HAS SOPS 1234449 HAS SOUS 324951 HAS SOUPS 324234 WITH SCORE 325470.637
AT ITER 55 NEW BEST:: SOT 1544585 SOS 1236582 HAS SOPS 1234339 HAS SOUS 324407 HAS SOUPS 323635 WITH SCORE 324871.582
AT ITER 57 NEW BEST:: SOT 1544994 SOS 1236889 HAS SOPS 1234464 HAS SOUS 324347 HAS SOUPS 323393 WITH SCORE 324629.889
AT ITER 70 NEW BEST:: SOT 1544909 SOS 1237910 HAS SOPS 1235485 HAS SOUS 324169 HAS SOUPS 323215 WITH SCORE 324452.91
AT ITER 104 NEW BEST:: SOT 1544675 SOS 1237676 HAS SOPS 1235251 HAS SOUS 324052 HAS SOUPS 323098 WITH SCORE 324335.676
AT ITER 115 NEW BEST:: SOT 1543355 SOS 1236409 HAS SOPS 1234037 HAS SOUS 322800 HAS SOUPS 321899 WITH SCORE 323135.409
AT ITER 138 NEW BEST:: SOT 1543617 SOS 1236578 HAS SOPS 1234052 HAS SOUS 322586 HAS SOUPS 321531 WITH SCORE 322767.578
AT ITER 139 NEW BEST:: SOT 1543617 SOS 1236561 HAS SOPS 1234052 HAS SOUS 321983 HAS SOUPS 320945 WITH SCORE 322181.561
AT ITER 157 NEW BEST:: SOT 1543772 SOS 1236716 HAS SOPS 1234207 HAS SOUS 321856 HAS SOUPS 320818 WITH SCORE 322054.716
AT ITER 159 NEW BEST:: SOT 1543484 SOS 1236428 HAS SOPS 1233919 HAS SOUS 321716 HAS SOUPS 320678 WITH SCORE 321914.428
AT ITER 161 NEW BEST:: SOT 1543477 SOS 1236421 HAS SOPS 1233912 HAS SOUS 321709 HAS SOUPS 320671 WITH SCORE 321907.421
AT ITER 183 NEW BEST:: SOT 1541964 SOS 1235254 HAS SOPS 1232439 HAS SOUS 319490 HAS SOUPS 318146 WITH SCORE 319381.254
AT ITER 186 NEW BEST:: SOT 1542039 SOS 1236435 HAS SOPS 1233620 HAS SOUS 319474 HAS SOUPS 318130 WITH SCORE 319366.435
AT ITER 200 NEW BEST:: SOT 1541304 SOS 1235700 HAS SOPS 1232885 HAS SOUS 318739 HAS SOUPS 317395 WITH SCORE 318630.7
AT ITER 201 NEW BEST:: SOT 1541240 SOS 1235636 HAS SOPS 1232821 HAS SOUS 318718 HAS SOUPS 317374 WITH SCORE 318609.636
AT ITER 212 NEW BEST:: SOT 1541080 SOS 1235588 HAS SOPS 1232773 HAS SOUS 318566 HAS SOUPS 317222 WITH SCORE 318457.588
AT ITER 222 NEW BEST:: SOT 1541016 SOS 1235524 HAS SOPS 1232709 HAS SOUS 318502 HAS SOUPS 317158 WITH SCORE 318393.524
AT ITER 241 NEW BEST:: SOT 1541138 SOS 1235646 HAS SOPS 1232831 HAS SOUS 318492 HAS SOUPS 317148 WITH SCORE 318383.646
AT ITER 284 NEW BEST:: SOT 1541133 SOS 1235727 HAS SOPS 1232943 HAS SOUS 317996 HAS SOUPS 316683 WITH SCORE 317918.727
AT ITER 286 NEW BEST:: SOT 1541133 SOS 1235727 HAS SOPS 1232943 HAS SOUS 317995 HAS SOUPS 316682 WITH SCORE 317917.727
AT ITER 287 NEW BEST:: SOT 1541133 SOS 1279893 HAS SOPS 1254159 HAS SOUS 317984 HAS SOUPS 316569 WITH SCORE 317848.893
AT ITER 296 NEW BEST:: SOT 1540905 SOS 1279665 HAS SOPS 1253931 HAS SOUS 317870 HAS SOUPS 316455 WITH SCORE 317734.665
AT ITER 297 NEW BEST:: SOT 1540905 SOS 1279665 HAS SOPS 1253931 HAS SOUS 317869 HAS SOUPS 316454 WITH SCORE 317733.665
AT ITER 308 NEW BEST:: SOT 1540807 SOS 1279567 HAS SOPS 1253833 HAS SOUS 317771 HAS SOUPS 316356 WITH SCORE 317635.567
AT ITER 309 NEW BEST:: SOT 1540859 SOS 1281875 HAS SOPS 1256141 HAS SOUS 317720 HAS SOUPS 316305 WITH SCORE 317586.875
AT ITER 326 NEW BEST:: SOT 1540740 SOS 1281739 HAS SOPS 1256022 HAS SOUS 317159 HAS SOUPS 315761 WITH SCORE 317042.739
AT ITER 330 NEW BEST:: SOT 1540557 SOS 1281556 HAS SOPS 1255839 HAS SOUS 316979 HAS SOUPS 315581 WITH SCORE 316862.556
AT ITER 334 NEW BEST:: SOT 1539792 SOS 1280791 HAS SOPS 1255074 HAS SOUS 316098 HAS SOUPS 314700 WITH SCORE 315980.791
AT ITER 350 NEW BEST:: SOT 1539672 SOS 1280671 HAS SOPS 1254954 HAS SOUS 315954 HAS SOUPS 314556 WITH SCORE 315836.671
AT ITER 354 NEW BEST:: SOT 1539582 SOS 1281853 HAS SOPS 1256136 HAS SOUS 315768 HAS SOUPS 314370 WITH SCORE 315651.853
AT ITER 373 NEW BEST:: SOT 1539976 SOS 1282247 HAS SOPS 1256530 HAS SOUS 315674 HAS SOUPS 314276 WITH SCORE 315558.247
AT ITER 378 NEW BEST:: SOT 1539764 SOS 1281923 HAS SOPS 1256206 HAS SOUS 315454 HAS SOUPS 314056 WITH SCORE 315337.923
AT ITER 389 NEW BEST:: SOT 1539702 SOS 1281836 HAS SOPS 1256057 HAS SOUS 314919 HAS SOUPS 313459 WITH SCORE 314740.836
AT ITER 393 NEW BEST:: SOT 1539654 SOS 1281788 HAS SOPS 1256009 HAS SOUS 314871 HAS SOUPS 313411 WITH SCORE 314692.788
AT ITER 396 NEW BEST:: SOT 1540358 SOS 1282416 HAS SOPS 1256713 HAS SOUS 314511 HAS SOUPS 313127 WITH SCORE 314409.416
AT ITER 401 NEW BEST:: SOT 1540358 SOS 1282416 HAS SOPS 1256713 HAS SOUS 314510 HAS SOUPS 313126 WITH SCORE 314408.416
AT ITER 439 NEW BEST:: SOT 1539798 SOS 1282041 HAS SOPS 1256493 HAS SOUS 314120 HAS SOUPS 312891 WITH SCORE 314173.041
AT ITER 450 NEW BEST:: SOT 1539798 SOS 1282041 HAS SOPS 1256493 HAS SOUS 314119 HAS SOUPS 312890 WITH SCORE 314172.041
AT ITER 452 NEW BEST:: SOT 1539784 SOS 1282027 HAS SOPS 1256479 HAS SOUS 314105 HAS SOUPS 312876 WITH SCORE 314158.027
AT ITER 471 NEW BEST:: SOT 1539656 SOS 1281899 HAS SOPS 1256351 HAS SOUS 313977 HAS SOUPS 312748 WITH SCORE 314029.899
AT ITER 482 NEW BEST:: SOT 1539656 SOS 1281899 HAS SOPS 1256351 HAS SOUS 313975 HAS SOUPS 312746 WITH SCORE 314027.899
AT ITER 489 NEW BEST:: SOT 1540593 SOS 1282768 HAS SOPS 1257288 HAS SOUS 313668 HAS SOUPS 312507 WITH SCORE 313789.768
AT ITER 508 NEW BEST:: SOT 1517754 SOS 1265612 HAS SOPS 1241167 HAS SOUS 291213 HAS SOUPS 291087 WITH SCORE 292352.612
AT ITER 510 NEW BEST:: SOT 1517754 SOS 1265612 HAS SOPS 1241167 HAS SOUS 291212 HAS SOUPS 291086 WITH SCORE 292351.612
AT ITER 521 NEW BEST:: SOT 1517754 SOS 1265612 HAS SOPS 1241167 HAS SOUS 291211 HAS SOUPS 291085 WITH SCORE 292350.612
AT ITER 537 NEW BEST:: SOT 1517700 SOS 1266748 HAS SOPS 1242303 HAS SOUS 291090 HAS SOUPS 290964 WITH SCORE 292230.748
AT ITER 547 NEW BEST:: SOT 1517700 SOS 1266748 HAS SOPS 1242303 HAS SOUS 291088 HAS SOUPS 290962 WITH SCORE 292228.748
AT ITER 548 NEW BEST:: SOT 1517456 SOS 1266504 HAS SOPS 1242059 HAS SOUS 290844 HAS SOUPS 290718 WITH SCORE 291984.504
AT ITER 568 NEW BEST:: SOT 1517565 SOS 1266613 HAS SOPS 1242168 HAS SOUS 290671 HAS SOUPS 290545 WITH SCORE 291811.613
AT ITER 569 NEW BEST:: SOT 1517550 SOS 1266612 HAS SOPS 1242167 HAS SOUS 290657 HAS SOUPS 290531 WITH SCORE 291797.612
AT ITER 582 NEW BEST:: SOT 1517519 SOS 1266581 HAS SOPS 1242136 HAS SOUS 290592 HAS SOUPS 290466 WITH SCORE 291732.581
AT ITER 585 NEW BEST:: SOT 1517517 SOS 1266579 HAS SOPS 1242134 HAS SOUS 290115 HAS SOUPS 289989 WITH SCORE 291255.579
AT ITER 602 NEW BEST:: SOT 1517413 SOS 1266475 HAS SOPS 1242030 HAS SOUS 290011 HAS SOUPS 289885 WITH SCORE 291151.475
AT ITER 631 NEW BEST:: SOT 1514823 SOS 1263885 HAS SOPS 1239440 HAS SOUS 287307 HAS SOUPS 287181 WITH SCORE 288444.885
AT ITER 634 NEW BEST:: SOT 1514823 SOS 1263865 HAS SOPS 1239420 HAS SOUS 287297 HAS SOUPS 287171 WITH SCORE 288434.865
AT ITER 636 NEW BEST:: SOT 1515021 SOS 1264063 HAS SOPS 1239618 HAS SOUS 287060 HAS SOUPS 286934 WITH SCORE 288198.063
AT ITER 642 NEW BEST:: SOT 1515322 SOS 1264364 HAS SOPS 1239919 HAS SOUS 286812 HAS SOUPS 286686 WITH SCORE 287950.364
AT ITER 647 NEW BEST:: SOT 1515500 SOS 1264542 HAS SOPS 1240097 HAS SOUS 286048 HAS SOUPS 285922 WITH SCORE 287186.542
AT ITER 662 NEW BEST:: SOT 1515500 SOS 1266162 HAS SOPS 1241717 HAS SOUS 286032 HAS SOUPS 285906 WITH SCORE 287172.162
AT ITER 666 NEW BEST:: SOT 1515517 SOS 1265636 HAS SOPS 1241191 HAS SOUS 285952 HAS SOUPS 285826 WITH SCORE 287091.636
AT ITER 674 NEW BEST:: SOT 1515626 SOS 1265745 HAS SOPS 1241300 HAS SOUS 285854 HAS SOUPS 285728 WITH SCORE 286993.745
AT ITER 679 NEW BEST:: SOT 1515574 SOS 1265693 HAS SOPS 1241248 HAS SOUS 285811 HAS SOUPS 285685 WITH SCORE 286950.693
AT ITER 684 NEW BEST:: SOT 1515658 SOS 1265762 HAS SOPS 1241317 HAS SOUS 285344 HAS SOUPS 285218 WITH SCORE 286483.762
AT ITER 701 NEW BEST:: SOT 1515428 SOS 1265532 HAS SOPS 1241087 HAS SOUS 285122 HAS SOUPS 284996 WITH SCORE 286261.532
AT ITER 733 NEW BEST:: SOT 1515442 SOS 1265546 HAS SOPS 1241101 HAS SOUS 285108 HAS SOUPS 284982 WITH SCORE 286247.546
AT ITER 737 NEW BEST:: SOT 1515561 SOS 1265665 HAS SOPS 1241220 HAS SOUS 285010 HAS SOUPS 284884 WITH SCORE 286149.665
AT ITER 741 NEW BEST:: SOT 1515314 SOS 1265418 HAS SOPS 1240973 HAS SOUS 284841 HAS SOUPS 284715 WITH SCORE 285980.418
AT ITER 746 NEW BEST:: SOT 1515273 SOS 1265377 HAS SOPS 1240932 HAS SOUS 284800 HAS SOUPS 284674 WITH SCORE 285939.377
AT ITER 770 NEW BEST:: SOT 1515225 SOS 1265329 HAS SOPS 1240884 HAS SOUS 284752 HAS SOUPS 284626 WITH SCORE 285891.329
AT ITER 780 NEW BEST:: SOT 1497243 SOS 1247347 HAS SOPS 1222902 HAS SOUS 266694 HAS SOUPS 266568 WITH SCORE 267815.347
AT ITER 791 NEW BEST:: SOT 1497243 SOS 1247347 HAS SOPS 1222902 HAS SOUS 266684 HAS SOUPS 266558 WITH SCORE 267805.347
AT ITER 807 NEW BEST:: SOT 1497153 SOS 1247257 HAS SOPS 1222812 HAS SOUS 266594 HAS SOUPS 266468 WITH SCORE 267715.257
AT ITER 809 NEW BEST:: SOT 1496960 SOS 1247064 HAS SOPS 1222619 HAS SOUS 266359 HAS SOUPS 266233 WITH SCORE 267480.064
AT ITER 817 NEW BEST:: SOT 1496946 SOS 1247050 HAS SOPS 1222605 HAS SOUS 266149 HAS SOUPS 266023 WITH SCORE 267270.05
AT ITER 822 NEW BEST:: SOT 1496934 SOS 1247038 HAS SOPS 1222593 HAS SOUS 266101 HAS SOUPS 265975 WITH SCORE 267222.038
AT ITER 823 NEW BEST:: SOT 1481394 SOS 1231498 HAS SOPS 1207053 HAS SOUS 250439 HAS SOUPS 250313 WITH SCORE 251544.498
AT ITER 834 NEW BEST:: SOT 1481415 SOS 1231519 HAS SOPS 1207074 HAS SOUS 250432 HAS SOUPS 250306 WITH SCORE 251537.519
AT ITER 849 NEW BEST:: SOT 1480950 SOS 1231054 HAS SOPS 1206609 HAS SOUS 249564 HAS SOUPS 249438 WITH SCORE 250669.054
AT ITER 851 NEW BEST:: SOT 1480950 SOS 1231054 HAS SOPS 1206609 HAS SOUS 249517 HAS SOUPS 249391 WITH SCORE 250622.054
AT ITER 862 NEW BEST:: SOT 1480863 SOS 1230967 HAS SOPS 1206522 HAS SOUS 249265 HAS SOUPS 249139 WITH SCORE 250369.967
AT ITER 868 NEW BEST:: SOT 1479883 SOS 1229987 HAS SOPS 1205542 HAS SOUS 247733 HAS SOUPS 247607 WITH SCORE 248836.987
AT ITER 875 NEW BEST:: SOT 1479823 SOS 1229927 HAS SOPS 1205482 HAS SOUS 247578 HAS SOUPS 247452 WITH SCORE 248681.927
AT ITER 882 NEW BEST:: SOT 1479757 SOS 1229909 HAS SOPS 1205464 HAS SOUS 247517 HAS SOUPS 247391 WITH SCORE 248620.909
AT ITER 889 NEW BEST:: SOT 1479701 SOS 1229835 HAS SOPS 1205390 HAS SOUS 247448 HAS SOUPS 247322 WITH SCORE 248551.835
AT ITER 902 NEW BEST:: SOT 1479638 SOS 1229772 HAS SOPS 1205327 HAS SOUS 247356 HAS SOUPS 247230 WITH SCORE 248459.772
AT ITER 928 NEW BEST:: SOT 1479639 SOS 1229773 HAS SOPS 1205328 HAS SOUS 247339 HAS SOUPS 247213 WITH SCORE 248442.773
AT ITER 930 NEW BEST:: SOT 1479645 SOS 1229779 HAS SOPS 1205334 HAS SOUS 247307 HAS SOUPS 247181 WITH SCORE 248410.779
AT ITER 971 NEW BEST:: SOT 1479822 SOS 1229956 HAS SOPS 1205511 HAS SOUS 247195 HAS SOUPS 247069 WITH SCORE 248298.956
AT ITER 977 NEW BEST:: SOT 1480168 SOS 1230285 HAS SOPS 1205840 HAS SOUS 247106 HAS SOUPS 246980 WITH SCORE 248210.285
AT ITER 981 NEW BEST:: SOT 1480168 SOS 1230285 HAS SOPS 1205840 HAS SOUS 247096 HAS SOUPS 246970 WITH SCORE 248200.285
AT ITER 994 NEW BEST:: SOT 1480168 SOS 1230285 HAS SOPS 1205840 HAS SOUS 247094 HAS SOUPS 246968 WITH SCORE 248198.285
AT ITER 1000 NEW BEST:: SOT 1480086 SOS 1230203 HAS SOPS 1205758 HAS SOUS 247006 HAS SOUPS 246880 WITH SCORE 248110.203
AT ITER 1013 NEW BEST:: SOT 1480086 SOS 1230203 HAS SOPS 1205758 HAS SOUS 247005 HAS SOUPS 246879 WITH SCORE 248109.203
AT ITER 1030 NEW BEST:: SOT 1480004 SOS 1230121 HAS SOPS 1205676 HAS SOUS 246923 HAS SOUPS 246797 WITH SCORE 248027.121
AT ITER 1033 NEW BEST:: SOT 1479986 SOS 1230103 HAS SOPS 1205658 HAS SOUS 246905 HAS SOUPS 246779 WITH SCORE 248009.103
AT ITER 1049 NEW BEST:: SOT 1479484 SOS 1229601 HAS SOPS 1205156 HAS SOUS 246612 HAS SOUPS 246486 WITH SCORE 247715.601
AT ITER 1070 NEW BEST:: SOT 1480347 SOS 1230883 HAS SOPS 1206438 HAS SOUS 246418 HAS SOUPS 246292 WITH SCORE 247522.883
AT ITER 1085 NEW BEST:: SOT 1480331 SOS 1230867 HAS SOPS 1206422 HAS SOUS 246416 HAS SOUPS 246290 WITH SCORE 247520.867
AT ITER 1132 NEW BEST:: SOT 1480234 SOS 1230770 HAS SOPS 1206325 HAS SOUS 246230 HAS SOUPS 246104 WITH SCORE 247334.77
AT ITER 1160 NEW BEST:: SOT 1480240 SOS 1230776 HAS SOPS 1206331 HAS SOUS 246160 HAS SOUPS 246034 WITH SCORE 247264.776
AT ITER 1172 NEW BEST:: SOT 1480155 SOS 1230691 HAS SOPS 1206246 HAS SOUS 246061 HAS SOUPS 245935 WITH SCORE 247165.691
AT ITER 1201 NEW BEST:: SOT 1480190 SOS 1233700 HAS SOPS 1209255 HAS SOUS 246008 HAS SOUPS 245882 WITH SCORE 247115.7
AT ITER 1205 NEW BEST:: SOT 1480194 SOS 1233704 HAS SOPS 1209259 HAS SOUS 245054 HAS SOUPS 244928 WITH SCORE 246161.704
AT ITER 1208 NEW BEST:: SOT 1480280 SOS 1233790 HAS SOPS 1209345 HAS SOUS 245047 HAS SOUPS 244921 WITH SCORE 246154.79
AT ITER 1209 NEW BEST:: SOT 1480351 SOS 1233861 HAS SOPS 1209416 HAS SOUS 245040 HAS SOUPS 244914 WITH SCORE 246147.861
AT ITER 1210 NEW BEST:: SOT 1480301 SOS 1233811 HAS SOPS 1209366 HAS SOUS 245003 HAS SOUPS 244877 WITH SCORE 246110.811
AT ITER 1214 NEW BEST:: SOT 1480283 SOS 1233793 HAS SOPS 1209348 HAS SOUS 244740 HAS SOUPS 244614 WITH SCORE 245847.793
AT ITER 1217 NEW BEST:: SOT 1480395 SOS 1233905 HAS SOPS 1209460 HAS SOUS 244362 HAS SOUPS 244236 WITH SCORE 245469.905
AT ITER 1232 NEW BEST:: SOT 1480755 SOS 1235051 HAS SOPS 1210606 HAS SOUS 244359 HAS SOUPS 244233 WITH SCORE 245468.051
AT ITER 1241 NEW BEST:: SOT 1480658 SOS 1234954 HAS SOPS 1210509 HAS SOUS 244308 HAS SOUPS 244182 WITH SCORE 245416.954
AT ITER 1242 NEW BEST:: SOT 1480658 SOS 1253292 HAS SOPS 1228847 HAS SOUS 244226 HAS SOUPS 244100 WITH SCORE 245353.292
AT ITER 1253 NEW BEST:: SOT 1480302 SOS 1252936 HAS SOPS 1228491 HAS SOUS 244210 HAS SOUPS 244084 WITH SCORE 245336.936
AT ITER 1261 NEW BEST:: SOT 1480302 SOS 1252930 HAS SOPS 1228485 HAS SOUS 244194 HAS SOUPS 244068 WITH SCORE 245320.93
AT ITER 1291 NEW BEST:: SOT 1480302 SOS 1260289 HAS SOPS 1228419 HAS SOUS 244161 HAS SOUPS 244002 WITH SCORE 245262.289
AT ITER 1293 NEW BEST:: SOT 1480554 SOS 1260541 HAS SOPS 1228671 HAS SOUS 244101 HAS SOUPS 243942 WITH SCORE 245202.541
AT ITER 1300 NEW BEST:: SOT 1480410 SOS 1260271 HAS SOPS 1228401 HAS SOUS 243957 HAS SOUPS 243798 WITH SCORE 245058.271
AT ITER 1301 NEW BEST:: SOT 1480410 SOS 1260367 HAS SOPS 1228497 HAS SOUS 243950 HAS SOUPS 243791 WITH SCORE 245051.367
AT ITER 1303 NEW BEST:: SOT 1480409 SOS 1260358 HAS SOPS 1228488 HAS SOUS 243930 HAS SOUPS 243771 WITH SCORE 245031.358
AT ITER 1309 NEW BEST:: SOT 1480406 SOS 1260355 HAS SOPS 1228485 HAS SOUS 243914 HAS SOUPS 243755 WITH SCORE 245015.355
AT ITER 1322 NEW BEST:: SOT 1480406 SOS 1260355 HAS SOPS 1228485 HAS SOUS 243843 HAS SOUPS 243684 WITH SCORE 244944.355
AT ITER 1369 NEW BEST:: SOT 1480399 SOS 1260348 HAS SOPS 1228478 HAS SOUS 243674 HAS SOUPS 243515 WITH SCORE 244775.348
AT ITER 1385 NEW BEST:: SOT 1480386 SOS 1260335 HAS SOPS 1228465 HAS SOUS 243672 HAS SOUPS 243513 WITH SCORE 244773.335
AT ITER 1394 NEW BEST:: SOT 1480383 SOS 1260332 HAS SOPS 1228462 HAS SOUS 243669 HAS SOUPS 243510 WITH SCORE 244770.332
AT ITER 1397 NEW BEST:: SOT 1480356 SOS 1260305 HAS SOPS 1228435 HAS SOUS 243642 HAS SOUPS 243483 WITH SCORE 244743.305
AT ITER 1398 NEW BEST:: SOT 1480334 SOS 1260283 HAS SOPS 1228413 HAS SOUS 243620 HAS SOUPS 243461 WITH SCORE 244721.283
AT ITER 1401 NEW BEST:: SOT 1480326 SOS 1260275 HAS SOPS 1228405 HAS SOUS 243588 HAS SOUPS 243429 WITH SCORE 244689.275
AT ITER 1405 NEW BEST:: SOT 1480326 SOS 1260275 HAS SOPS 1228405 HAS SOUS 243582 HAS SOUPS 243423 WITH SCORE 244683.275
AT ITER 1421 NEW BEST:: SOT 1480214 SOS 1260037 HAS SOPS 1228167 HAS SOUS 243526 HAS SOUPS 243367 WITH SCORE 244627.037
AT ITER 1427 NEW BEST:: SOT 1480214 SOS 1260037 HAS SOPS 1228167 HAS SOUS 243522 HAS SOUPS 243363 WITH SCORE 244623.037
AT ITER 1436 NEW BEST:: SOT 1474838 SOS 1254661 HAS SOPS 1222791 HAS SOUS 238091 HAS SOUPS 237932 WITH SCORE 239186.661
AT ITER 1437 NEW BEST:: SOT 1474840 SOS 1254663 HAS SOPS 1222793 HAS SOUS 238007 HAS SOUPS 237848 WITH SCORE 239102.663
AT ITER 1444 NEW BEST:: SOT 1474817 SOS 1254640 HAS SOPS 1222770 HAS SOUS 237984 HAS SOUPS 237825 WITH SCORE 239079.64
AT ITER 1448 NEW BEST:: SOT 1474741 SOS 1254564 HAS SOPS 1222694 HAS SOUS 237654 HAS SOUPS 237495 WITH SCORE 238749.564
AT ITER 1453 NEW BEST:: SOT 1474667 SOS 1254490 HAS SOPS 1222620 HAS SOUS 237582 HAS SOUPS 237423 WITH SCORE 238677.49
AT ITER 1473 NEW BEST:: SOT 1475125 SOS 1254948 HAS SOPS 1223078 HAS SOUS 237426 HAS SOUPS 237267 WITH SCORE 238521.948
AT ITER 1501 NEW BEST:: SOT 1475125 SOS 1254948 HAS SOPS 1223078 HAS SOUS 237384 HAS SOUPS 237225 WITH SCORE 238479.948
AT ITER 1515 NEW BEST:: SOT 1475130 SOS 1254953 HAS SOPS 1223083 HAS SOUS 237237 HAS SOUPS 237078 WITH SCORE 238332.953
AT ITER 1526 NEW BEST:: SOT 1475141 SOS 1242399 HAS SOPS 1210449 HAS SOUS 237317 HAS SOUPS 237078 WITH SCORE 238320.399
AT ITER 1531 NEW BEST:: SOT 1475044 SOS 1242302 HAS SOPS 1210352 HAS SOUS 237198 HAS SOUPS 236959 WITH SCORE 238201.302
AT ITER 1532 NEW BEST:: SOT 1475109 SOS 1242367 HAS SOPS 1210417 HAS SOUS 236928 HAS SOUPS 236689 WITH SCORE 237931.367
AT ITER 1540 NEW BEST:: SOT 1474986 SOS 1242244 HAS SOPS 1210294 HAS SOUS 236695 HAS SOUPS 236456 WITH SCORE 237698.244
AT ITER 1556 NEW BEST:: SOT 1474806 SOS 1242060 HAS SOPS 1210110 HAS SOUS 236537 HAS SOUPS 236298 WITH SCORE 237540.06
AT ITER 1564 NEW BEST:: SOT 1474764 SOS 1242018 HAS SOPS 1210068 HAS SOUS 236537 HAS SOUPS 236298 WITH SCORE 237540.018
AT ITER 1599 NEW BEST:: SOT 1473344 SOS 1240598 HAS SOPS 1208648 HAS SOUS 234910 HAS SOUPS 234671 WITH SCORE 235911.598
AT ITER 1613 NEW BEST:: SOT 1473310 SOS 1240564 HAS SOPS 1208614 HAS SOUS 234876 HAS SOUPS 234637 WITH SCORE 235877.564
AT ITER 1614 NEW BEST:: SOT 1473310 SOS 1240498 HAS SOPS 1208548 HAS SOUS 234862 HAS SOUPS 234623 WITH SCORE 235863.498
AT ITER 1632 NEW BEST:: SOT 1473906 SOS 1241113 HAS SOPS 1209144 HAS SOUS 234874 HAS SOUPS 234616 WITH SCORE 235857.113
AT ITER 1646 NEW BEST:: SOT 1473879 SOS 1241086 HAS SOPS 1209117 HAS SOUS 234847 HAS SOUPS 234589 WITH SCORE 235830.086
AT ITER 1647 NEW BEST:: SOT 1474136 SOS 1241343 HAS SOPS 1209374 HAS SOUS 234624 HAS SOUPS 234366 WITH SCORE 235607.343
AT ITER 1651 NEW BEST:: SOT 1473567 SOS 1240774 HAS SOPS 1208805 HAS SOUS 233734 HAS SOUPS 233476 WITH SCORE 234716.774
AT ITER 1655 NEW BEST:: SOT 1474176 SOS 1241383 HAS SOPS 1209414 HAS SOUS 233666 HAS SOUPS 233408 WITH SCORE 234649.383
AT ITER 1660 NEW BEST:: SOT 1474182 SOS 1241389 HAS SOPS 1209420 HAS SOUS 233658 HAS SOUPS 233400 WITH SCORE 234641.389
AT ITER 1675 NEW BEST:: SOT 1474182 SOS 1241389 HAS SOPS 1209420 HAS SOUS 233652 HAS SOUPS 233394 WITH SCORE 234635.389
AT ITER 1701 NEW BEST:: SOT 1474453 SOS 1241660 HAS SOPS 1209691 HAS SOUS 233538 HAS SOUPS 233280 WITH SCORE 234521.66
AT ITER 1704 NEW BEST:: SOT 1474325 SOS 1241532 HAS SOPS 1209563 HAS SOUS 233338 HAS SOUPS 233080 WITH SCORE 234321.532
AT ITER 1732 NEW BEST:: SOT 1474325 SOS 1241532 HAS SOPS 1209563 HAS SOUS 233336 HAS SOUPS 233078 WITH SCORE 234319.532
AT ITER 1737 NEW BEST:: SOT 1474325 SOS 1241532 HAS SOPS 1209563 HAS SOUS 233334 HAS SOUPS 233076 WITH SCORE 234317.532
AT ITER 1740 NEW BEST:: SOT 1474340 SOS 1241547 HAS SOPS 1209578 HAS SOUS 231860 HAS SOUPS 231602 WITH SCORE 232843.547
AT ITER 1753 NEW BEST:: SOT 1474212 SOS 1241419 HAS SOPS 1209450 HAS SOUS 231670 HAS SOUPS 231412 WITH SCORE 232653.419
AT ITER 1764 NEW BEST:: SOT 1474257 SOS 1243262 HAS SOPS 1211293 HAS SOUS 231611 HAS SOUPS 231353 WITH SCORE 232596.262
AT ITER 1766 NEW BEST:: SOT 1453261 SOS 1221758 HAS SOPS 1189789 HAS SOUS 210658 HAS SOUPS 210400 WITH SCORE 211621.758
AT ITER 1808 NEW BEST:: SOT 1452733 SOS 1221238 HAS SOPS 1189269 HAS SOUS 210145 HAS SOUPS 209887 WITH SCORE 211108.238
AT ITER 1809 NEW BEST:: SOT 1452836 SOS 1223527 HAS SOPS 1191558 HAS SOUS 210086 HAS SOUPS 209828 WITH SCORE 211051.527
AT ITER 1813 NEW BEST:: SOT 1452757 SOS 1223448 HAS SOPS 1191479 HAS SOUS 209981 HAS SOUPS 209723 WITH SCORE 210946.448
AT ITER 1816 NEW BEST:: SOT 1452648 SOS 1223339 HAS SOPS 1191370 HAS SOUS 209945 HAS SOUPS 209687 WITH SCORE 210910.339
AT ITER 1836 NEW BEST:: SOT 1452656 SOS 1223347 HAS SOPS 1191378 HAS SOUS 209863 HAS SOUPS 209605 WITH SCORE 210828.347
AT ITER 1846 NEW BEST:: SOT 1452650 SOS 1223341 HAS SOPS 1191372 HAS SOUS 209857 HAS SOUPS 209599 WITH SCORE 210822.341
AT ITER 1847 NEW BEST:: SOT 1452619 SOS 1223310 HAS SOPS 1191341 HAS SOUS 209684 HAS SOUPS 209426 WITH SCORE 210649.31
AT ITER 1854 NEW BEST:: SOT 1452619 SOS 1224462 HAS SOPS 1192493 HAS SOUS 209588 HAS SOUPS 209330 WITH SCORE 210554.462
AT ITER 1861 NEW BEST:: SOT 1452556 SOS 1224399 HAS SOPS 1192430 HAS SOUS 209536 HAS SOUPS 209278 WITH SCORE 210502.399
AT ITER 1874 NEW BEST:: SOT 1452752 SOS 1224595 HAS SOPS 1192626 HAS SOUS 209353 HAS SOUPS 209095 WITH SCORE 210319.595
AT ITER 1901 NEW BEST:: SOT 1452709 SOS 1224552 HAS SOPS 1192583 HAS SOUS 209306 HAS SOUPS 209048 WITH SCORE 210272.552
AT ITER 1902 NEW BEST:: SOT 1452358 SOS 1223608 HAS SOPS 1191639 HAS SOUS 208909 HAS SOUPS 208651 WITH SCORE 209874.608
AT ITER 1908 NEW BEST:: SOT 1452340 SOS 1223590 HAS SOPS 1191621 HAS SOUS 208891 HAS SOUPS 208633 WITH SCORE 209856.59
AT ITER 1917 NEW BEST:: SOT 1451597 SOS 1222815 HAS SOPS 1190854 HAS SOUS 208007 HAS SOUPS 207757 WITH SCORE 208979.815
AT ITER 1918 NEW BEST:: SOT 1451587 SOS 1222811 HAS SOPS 1190850 HAS SOUS 207997 HAS SOUPS 207747 WITH SCORE 208969.811
AT ITER 1925 NEW BEST:: SOT 1451587 SOS 1223627 HAS SOPS 1191666 HAS SOUS 207994 HAS SOUPS 207744 WITH SCORE 208967.627
AT ITER 1929 NEW BEST:: SOT 1451713 SOS 1223753 HAS SOPS 1191792 HAS SOUS 207984 HAS SOUPS 207734 WITH SCORE 208957.753
AT ITER 1941 NEW BEST:: SOT 1451649 SOS 1223689 HAS SOPS 1191728 HAS SOUS 207920 HAS SOUPS 207670 WITH SCORE 208893.689
AT ITER 1951 NEW BEST:: SOT 1451637 SOS 1223677 HAS SOPS 1191716 HAS SOUS 207897 HAS SOUPS 207647 WITH SCORE 208870.677
AT ITER 1961 NEW BEST:: SOT 1451801 SOS 1223841 HAS SOPS 1191880 HAS SOUS 207754 HAS SOUPS 207504 WITH SCORE 208727.841
AT ITER 1962 NEW BEST:: SOT 1451766 SOS 1223806 HAS SOPS 1191845 HAS SOUS 207439 HAS SOUPS 207189 WITH SCORE 208412.806
AT ITER 1964 NEW BEST:: SOT 1451789 SOS 1223829 HAS SOPS 1191868 HAS SOUS 207192 HAS SOUPS 206942 WITH SCORE 208165.829
AT ITER 1991 NEW BEST:: SOT 1451934 SOS 1223974 HAS SOPS 1192013 HAS SOUS 206947 HAS SOUPS 206697 WITH SCORE 207920.974
AT ITER 2020 NEW BEST:: SOT 1451916 SOS 1223956 HAS SOPS 1191995 HAS SOUS 206929 HAS SOUPS 206679 WITH SCORE 207902.956
AT ITER 2037 NEW BEST:: SOT 1451916 SOS 1224964 HAS SOPS 1193003 HAS SOUS 206845 HAS SOUPS 206595 WITH SCORE 207819.964
AT ITER 2048 NEW BEST:: SOT 1451901 SOS 1224949 HAS SOPS 1192988 HAS SOUS 206805 HAS SOUPS 206555 WITH SCORE 207779.949
AT ITER 2082 NEW BEST:: SOT 1451954 SOS 1225002 HAS SOPS 1193041 HAS SOUS 206768 HAS SOUPS 206518 WITH SCORE 207743.002
AT ITER 2101 NEW BEST:: SOT 1451462 SOS 1224510 HAS SOPS 1192549 HAS SOUS 206238 HAS SOUPS 205988 WITH SCORE 207212.51
AT ITER 2105 NEW BEST:: SOT 1451276 SOS 1224324 HAS SOPS 1192363 HAS SOUS 205938 HAS SOUPS 205688 WITH SCORE 206912.324
AT ITER 2129 NEW BEST:: SOT 1451276 SOS 1226136 HAS SOPS 1194175 HAS SOUS 205786 HAS SOUPS 205536 WITH SCORE 206762.136
AT ITER 2149 NEW BEST:: SOT 1450181 SOS 1225041 HAS SOPS 1193080 HAS SOUS 204662 HAS SOUPS 204412 WITH SCORE 205637.041
AT ITER 2153 NEW BEST:: SOT 1450099 SOS 1224959 HAS SOPS 1192998 HAS SOUS 204514 HAS SOUPS 204264 WITH SCORE 205488.959
AT ITER 2180 NEW BEST:: SOT 1449657 SOS 1224559 HAS SOPS 1192598 HAS SOUS 204075 HAS SOUPS 203825 WITH SCORE 205049.559
AT ITER 2219 NEW BEST:: SOT 1449657 SOS 1224559 HAS SOPS 1192598 HAS SOUS 204073 HAS SOUPS 203823 WITH SCORE 205047.559
AT ITER 2227 NEW BEST:: SOT 1449657 SOS 1224559 HAS SOPS 1192598 HAS SOUS 204060 HAS SOUPS 203810 WITH SCORE 205034.559
AT ITER 2231 NEW BEST:: SOT 1449682 SOS 1224584 HAS SOPS 1192623 HAS SOUS 203851 HAS SOUPS 203601 WITH SCORE 204825.584
AT ITER 2239 NEW BEST:: SOT 1449770 SOS 1224672 HAS SOPS 1192711 HAS SOUS 203409 HAS SOUPS 203159 WITH SCORE 204383.672
AT ITER 2249 NEW BEST:: SOT 1448426 SOS 1223328 HAS SOPS 1191367 HAS SOUS 202353 HAS SOUPS 202103 WITH SCORE 203326.328
AT ITER 2256 NEW BEST:: SOT 1448426 SOS 1222208 HAS SOPS 1190247 HAS SOUS 202273 HAS SOUPS 202023 WITH SCORE 203245.208
AT ITER 2276 NEW BEST:: SOT 1448397 SOS 1222197 HAS SOPS 1190236 HAS SOUS 202229 HAS SOUPS 201979 WITH SCORE 203201.197
AT ITER 2277 NEW BEST:: SOT 1447762 SOS 1221562 HAS SOPS 1189601 HAS SOUS 201510 HAS SOUPS 201260 WITH SCORE 202481.562
AT ITER 2282 NEW BEST:: SOT 1447731 SOS 1221531 HAS SOPS 1189570 HAS SOUS 201479 HAS SOUPS 201229 WITH SCORE 202450.531
AT ITER 2283 NEW BEST:: SOT 1448624 SOS 1222438 HAS SOPS 1190463 HAS SOUS 201234 HAS SOUPS 200970 WITH SCORE 202192.438
AT ITER 2284 NEW BEST:: SOT 1448624 SOS 1222438 HAS SOPS 1190463 HAS SOUS 201183 HAS SOUPS 200919 WITH SCORE 202141.438
AT ITER 2288 NEW BEST:: SOT 1448275 SOS 1217348 HAS SOPS 1185214 HAS SOUS 200796 HAS SOUPS 200373 WITH SCORE 201590.348
AT ITER 2309 NEW BEST:: SOT 1448474 SOS 1217547 HAS SOPS 1185413 HAS SOUS 200618 HAS SOUPS 200195 WITH SCORE 201412.547
AT ITER 2318 NEW BEST:: SOT 1448472 SOS 1217547 HAS SOPS 1185413 HAS SOUS 200606 HAS SOUPS 200183 WITH SCORE 201400.547
AT ITER 2331 NEW BEST:: SOT 1448427 SOS 1217502 HAS SOPS 1185368 HAS SOUS 200564 HAS SOUPS 200141 WITH SCORE 201358.502
AT ITER 2341 NEW BEST:: SOT 1448368 SOS 1217443 HAS SOPS 1185309 HAS SOUS 200500 HAS SOUPS 200077 WITH SCORE 201294.443
AT ITER 2358 NEW BEST:: SOT 1448337 SOS 1217412 HAS SOPS 1185278 HAS SOUS 200469 HAS SOUPS 200046 WITH SCORE 201263.412
AT ITER 2378 NEW BEST:: SOT 1448224 SOS 1217299 HAS SOPS 1185165 HAS SOUS 199880 HAS SOUPS 199457 WITH SCORE 200674.299
AT ITER 2380 NEW BEST:: SOT 1448224 SOS 1217299 HAS SOPS 1185165 HAS SOUS 199863 HAS SOUPS 199440 WITH SCORE 200657.299
AT ITER 2395 NEW BEST:: SOT 1448210 SOS 1217285 HAS SOPS 1185151 HAS SOUS 199849 HAS SOUPS 199426 WITH SCORE 200643.285
AT ITER 2409 NEW BEST:: SOT 1448011 SOS 1217086 HAS SOPS 1184952 HAS SOUS 199620 HAS SOUPS 199197 WITH SCORE 200414.086
AT ITER 2411 NEW BEST:: SOT 1447902 SOS 1216974 HAS SOPS 1184843 HAS SOUS 199509 HAS SOUPS 199089 WITH SCORE 200305.974
AT ITER 2456 NEW BEST:: SOT 1447902 SOS 1215834 HAS SOPS 1183703 HAS SOUS 199474 HAS SOUPS 199054 WITH SCORE 200269.834
AT ITER 2458 NEW BEST:: SOT 1447936 SOS 1215868 HAS SOPS 1183737 HAS SOUS 199462 HAS SOUPS 199042 WITH SCORE 200257.868
AT ITER 2459 NEW BEST:: SOT 1447531 SOS 1215463 HAS SOPS 1183332 HAS SOUS 199003 HAS SOUPS 198583 WITH SCORE 199798.463
AT ITER 2480 NEW BEST:: SOT 1447483 SOS 1215415 HAS SOPS 1183284 HAS SOUS 198955 HAS SOUPS 198535 WITH SCORE 199750.415
AT ITER 2506 NEW BEST:: SOT 1447483 SOS 1215415 HAS SOPS 1183284 HAS SOUS 198843 HAS SOUPS 198423 WITH SCORE 199638.415
AT ITER 2517 NEW BEST:: SOT 1447483 SOS 1215415 HAS SOPS 1183284 HAS SOUS 198834 HAS SOUPS 198414 WITH SCORE 199629.415
AT ITER 2522 NEW BEST:: SOT 1447645 SOS 1215577 HAS SOPS 1183446 HAS SOUS 198672 HAS SOUPS 198252 WITH SCORE 199467.577
AT ITER 2528 NEW BEST:: SOT 1447597 SOS 1215529 HAS SOPS 1183398 HAS SOUS 198624 HAS SOUPS 198204 WITH SCORE 199419.529
AT ITER 2550 NEW BEST:: SOT 1447010 SOS 1214942 HAS SOPS 1182811 HAS SOUS 197391 HAS SOUPS 196971 WITH SCORE 198185.942
AT ITER 2592 NEW BEST:: SOT 1446997 SOS 1214929 HAS SOPS 1182798 HAS SOUS 197366 HAS SOUPS 196946 WITH SCORE 198160.929
AT ITER 2599 NEW BEST:: SOT 1446981 SOS 1214913 HAS SOPS 1182782 HAS SOUS 197355 HAS SOUPS 196935 WITH SCORE 198149.913
AT ITER 2606 NEW BEST:: SOT 1446981 SOS 1214925 HAS SOPS 1182794 HAS SOUS 197354 HAS SOUPS 196934 WITH SCORE 198148.925
AT ITER 2608 NEW BEST:: SOT 1446981 SOS 1209201 HAS SOPS 1177070 HAS SOUS 197354 HAS SOUPS 196934 WITH SCORE 198143.201
AT ITER 2609 NEW BEST:: SOT 1446962 SOS 1209182 HAS SOPS 1177051 HAS SOUS 197335 HAS SOUPS 196915 WITH SCORE 198124.182
AT ITER 2610 NEW BEST:: SOT 1446962 SOS 1209182 HAS SOPS 1177051 HAS SOUS 197322 HAS SOUPS 196902 WITH SCORE 198111.182
AT ITER 2612 NEW BEST:: SOT 1447004 SOS 1209224 HAS SOPS 1177093 HAS SOUS 196663 HAS SOUPS 196243 WITH SCORE 197452.224
AT ITER 2615 NEW BEST:: SOT 1447004 SOS 1209224 HAS SOPS 1177093 HAS SOUS 196645 HAS SOUPS 196225 WITH SCORE 197434.224
AT ITER 2627 NEW BEST:: SOT 1446976 SOS 1209196 HAS SOPS 1177065 HAS SOUS 196621 HAS SOUPS 196201 WITH SCORE 197410.196
AT ITER 2640 NEW BEST:: SOT 1446976 SOS 1209196 HAS SOPS 1177065 HAS SOUS 196561 HAS SOUPS 196141 WITH SCORE 197350.196
AT ITER 2654 NEW BEST:: SOT 1446976 SOS 1209196 HAS SOPS 1177065 HAS SOUS 196547 HAS SOUPS 196127 WITH SCORE 197336.196
AT ITER 2670 NEW BEST:: SOT 1446556 SOS 1208776 HAS SOPS 1176645 HAS SOUS 196481 HAS SOUPS 196061 WITH SCORE 197269.776
AT ITER 2695 NEW BEST:: SOT 1445491 SOS 1207711 HAS SOPS 1175580 HAS SOUS 195274 HAS SOUPS 194854 WITH SCORE 196061.711
AT ITER 2715 NEW BEST:: SOT 1445527 SOS 1207747 HAS SOPS 1175616 HAS SOUS 195268 HAS SOUPS 194848 WITH SCORE 196055.747
AT ITER 2724 NEW BEST:: SOT 1445525 SOS 1207745 HAS SOPS 1175614 HAS SOUS 195266 HAS SOUPS 194846 WITH SCORE 196053.745
AT ITER 2793 NEW BEST:: SOT 1445797 SOS 1201602 HAS SOPS 1169110 HAS SOUS 195616 HAS SOUPS 194835 WITH SCORE 196036.602
AT ITER 2812 NEW BEST:: SOT 1445315 SOS 1201120 HAS SOPS 1168628 HAS SOUS 195127 HAS SOUPS 194346 WITH SCORE 195547.12
AT ITER 2829 NEW BEST:: SOT 1444987 SOS 1200792 HAS SOPS 1168300 HAS SOUS 194799 HAS SOUPS 194018 WITH SCORE 195218.792
AT ITER 2836 NEW BEST:: SOT 1444267 SOS 1200072 HAS SOPS 1167580 HAS SOUS 193408 HAS SOUPS 192627 WITH SCORE 193827.072
AT ITER 2854 NEW BEST:: SOT 1444235 SOS 1200040 HAS SOPS 1167548 HAS SOUS 193376 HAS SOUPS 192595 WITH SCORE 193795.04
AT ITER 2871 NEW BEST:: SOT 1444185 SOS 1199990 HAS SOPS 1167498 HAS SOUS 193337 HAS SOUPS 192556 WITH SCORE 193755.99
AT ITER 2877 NEW BEST:: SOT 1444185 SOS 1199990 HAS SOPS 1167498 HAS SOUS 193335 HAS SOUPS 192554 WITH SCORE 193753.99
AT ITER 2882 NEW BEST:: SOT 1444185 SOS 1200746 HAS SOPS 1168254 HAS SOUS 193272 HAS SOUPS 192491 WITH SCORE 193691.746
AT ITER 2904 NEW BEST:: SOT 1444012 SOS 1200567 HAS SOPS 1168075 HAS SOUS 193098 HAS SOUPS 192317 WITH SCORE 193517.567
AT ITER 2918 NEW BEST:: SOT 1444007 SOS 1200562 HAS SOPS 1168070 HAS SOUS 193093 HAS SOUPS 192312 WITH SCORE 193512.562
AT ITER 2947 NEW BEST:: SOT 1444007 SOS 1200562 HAS SOPS 1168070 HAS SOUS 193085 HAS SOUPS 192304 WITH SCORE 193504.562
AT ITER 2949 NEW BEST:: SOT 1444093 SOS 1200648 HAS SOPS 1168156 HAS SOUS 192658 HAS SOUPS 191877 WITH SCORE 193077.648
AT ITER 2952 NEW BEST:: SOT 1444093 SOS 1200648 HAS SOPS 1168156 HAS SOUS 192643 HAS SOUPS 191862 WITH SCORE 193062.648
AT ITER 2957 NEW BEST:: SOT 1444121 SOS 1200312 HAS SOPS 1167792 HAS SOUS 192268 HAS SOUPS 191459 WITH SCORE 192659.312
AT ITER 2984 NEW BEST:: SOT 1444121 SOS 1200306 HAS SOPS 1167786 HAS SOUS 192267 HAS SOUPS 191458 WITH SCORE 192658.306
AT ITER 2986 NEW BEST:: SOT 1443974 SOS 1200116 HAS SOPS 1167639 HAS SOUS 192021 HAS SOUPS 191255 WITH SCORE 192455.116
AT ITER 3054 NEW BEST:: SOT 1443962 SOS 1200104 HAS SOPS 1167627 HAS SOUS 192007 HAS SOUPS 191241 WITH SCORE 192441.104
AT ITER 3056 NEW BEST:: SOT 1443956 SOS 1200098 HAS SOPS 1167621 HAS SOUS 192001 HAS SOUPS 191235 WITH SCORE 192435.098
AT ITER 3066 NEW BEST:: SOT 1443956 SOS 1200098 HAS SOPS 1167621 HAS SOUS 191999 HAS SOUPS 191233 WITH SCORE 192433.098
AT ITER 3154 NEW BEST:: SOT 1443956 SOS 1200098 HAS SOPS 1167621 HAS SOUS 191994 HAS SOUPS 191228 WITH SCORE 192428.098
AT ITER 3182 NEW BEST:: SOT 1443956 SOS 1200098 HAS SOPS 1167621 HAS SOUS 191993 HAS SOUPS 191227 WITH SCORE 192427.098
AT ITER 3189 NEW BEST:: SOT 1443956 SOS 1200098 HAS SOPS 1167621 HAS SOUS 191955 HAS SOUPS 191189 WITH SCORE 192389.098
AT ITER 3217 NEW BEST:: SOT 1443898 SOS 1200040 HAS SOPS 1167563 HAS SOUS 191821 HAS SOUPS 191055 WITH SCORE 192255.04
AT ITER 3259 NEW BEST:: SOT 1444056 SOS 1199988 HAS SOPS 1167511 HAS SOUS 191722 HAS SOUPS 190956 WITH SCORE 192155.988
AT ITER 3327 NEW BEST:: SOT 1444056 SOS 1206009 HAS SOPS 1167457 HAS SOUS 191727 HAS SOUPS 190934 WITH SCORE 192140.009
AT ITER 3378 NEW BEST:: SOT 1443932 SOS 1205885 HAS SOPS 1167333 HAS SOUS 191727 HAS SOUPS 190934 WITH SCORE 192139.885
AT ITER 3402 NEW BEST:: SOT 1443912 SOS 1205865 HAS SOPS 1167313 HAS SOUS 191707 HAS SOUPS 190914 WITH SCORE 192119.865
AT ITER 3408 NEW BEST:: SOT 1443912 SOS 1199505 HAS SOPS 1160953 HAS SOUS 191707 HAS SOUPS 190914 WITH SCORE 192113.505
AT ITER 3430 NEW BEST:: SOT 1443340 SOS 1198895 HAS SOPS 1160381 HAS SOUS 191657 HAS SOUPS 190902 WITH SCORE 192100.895
AT ITER 3434 NEW BEST:: SOT 1443325 SOS 1198896 HAS SOPS 1160382 HAS SOUS 191622 HAS SOUPS 190867 WITH SCORE 192065.896
AT ITER 3457 NEW BEST:: SOT 1442845 SOS 1198416 HAS SOPS 1159902 HAS SOUS 191142 HAS SOUPS 190387 WITH SCORE 191585.416
AT ITER 3468 NEW BEST:: SOT 1442115 SOS 1197686 HAS SOPS 1159172 HAS SOUS 190314 HAS SOUPS 189559 WITH SCORE 190756.686
AT ITER 3512 NEW BEST:: SOT 1442098 SOS 1197669 HAS SOPS 1159155 HAS SOUS 190297 HAS SOUPS 189542 WITH SCORE 190739.669
AT ITER 3537 NEW BEST:: SOT 1442220 SOS 1197623 HAS SOPS 1159081 HAS SOUS 189739 HAS SOUPS 188956 WITH SCORE 190153.623
AT ITER 3546 NEW BEST:: SOT 1442190 SOS 1197593 HAS SOPS 1159051 HAS SOUS 189325 HAS SOUPS 188542 WITH SCORE 189739.593
AT ITER 3562 NEW BEST:: SOT 1442190 SOS 1197593 HAS SOPS 1159051 HAS SOUS 189322 HAS SOUPS 188539 WITH SCORE 189736.593
AT ITER 3573 NEW BEST:: SOT 1441422 SOS 1196777 HAS SOPS 1158283 HAS SOUS 188408 HAS SOUPS 187673 WITH SCORE 188869.777
AT ITER 3595 NEW BEST:: SOT 1441386 SOS 1196757 HAS SOPS 1158263 HAS SOUS 188378 HAS SOUPS 187643 WITH SCORE 188839.757
AT ITER 3632 NEW BEST:: SOT 1441384 SOS 1196755 HAS SOPS 1158261 HAS SOUS 188378 HAS SOUPS 187643 WITH SCORE 188839.755
AT ITER 3647 NEW BEST:: SOT 1441384 SOS 1196755 HAS SOPS 1158261 HAS SOUS 188332 HAS SOUPS 187597 WITH SCORE 188793.755
AT ITER 3662 NEW BEST:: SOT 1441508 SOS 1196865 HAS SOPS 1158385 HAS SOUS 187979 HAS SOUPS 187258 WITH SCORE 188454.865
AT ITER 3678 NEW BEST:: SOT 1441476 SOS 1196833 HAS SOPS 1158353 HAS SOUS 187964 HAS SOUPS 187243 WITH SCORE 188439.833
AT ITER 3696 NEW BEST:: SOT 1441266 SOS 1196623 HAS SOPS 1158143 HAS SOUS 187709 HAS SOUPS 186988 WITH SCORE 188184.623
AT ITER 3697 NEW BEST:: SOT 1441330 SOS 1196620 HAS SOPS 1158207 HAS SOUS 187428 HAS SOUPS 186774 WITH SCORE 187970.62
AT ITER 3700 NEW BEST:: SOT 1440413 SOS 1195703 HAS SOPS 1157290 HAS SOUS 186511 HAS SOUPS 185857 WITH SCORE 187052.703
AT ITER 3736 NEW BEST:: SOT 1440391 SOS 1195681 HAS SOPS 1157268 HAS SOUS 186487 HAS SOUPS 185833 WITH SCORE 187028.681
AT ITER 3743 NEW BEST:: SOT 1440391 SOS 1196005 HAS SOPS 1157592 HAS SOUS 186460 HAS SOUPS 185806 WITH SCORE 187002.005
AT ITER 3744 NEW BEST:: SOT 1440293 SOS 1195907 HAS SOPS 1157494 HAS SOUS 186347 HAS SOUPS 185693 WITH SCORE 186888.907
AT ITER 3794 NEW BEST:: SOT 1440293 SOS 1195909 HAS SOPS 1157496 HAS SOUS 186336 HAS SOUPS 185682 WITH SCORE 186877.909
AT ITER 3809 NEW BEST:: SOT 1440308 SOS 1195924 HAS SOPS 1157511 HAS SOUS 186321 HAS SOUPS 185667 WITH SCORE 186862.924
AT ITER 3826 NEW BEST:: SOT 1440302 SOS 1195918 HAS SOPS 1157505 HAS SOUS 186315 HAS SOUPS 185661 WITH SCORE 186856.918
AT ITER 3827 NEW BEST:: SOT 1440277 SOS 1195893 HAS SOPS 1157480 HAS SOUS 186282 HAS SOUPS 185628 WITH SCORE 186823.893
AT ITER 3855 NEW BEST:: SOT 1440277 SOS 1216637 HAS SOPS 1162024 HAS SOUS 186244 HAS SOUPS 185552 WITH SCORE 186768.637
AT ITER 3859 NEW BEST:: SOT 1440277 SOS 1217231 HAS SOPS 1162618 HAS SOUS 186174 HAS SOUPS 185482 WITH SCORE 186699.231
AT ITER 3899 NEW BEST:: SOT 1440277 SOS 1217231 HAS SOPS 1162618 HAS SOUS 186166 HAS SOUPS 185474 WITH SCORE 186691.231
AT ITER 3913 NEW BEST:: SOT 1440326 SOS 1217280 HAS SOPS 1162667 HAS SOUS 186132 HAS SOUPS 185440 WITH SCORE 186657.28
AT ITER 3915 NEW BEST:: SOT 1440311 SOS 1217265 HAS SOPS 1162652 HAS SOUS 186066 HAS SOUPS 185374 WITH SCORE 186591.265
AT ITER 3928 NEW BEST:: SOT 1440317 SOS 1217232 HAS SOPS 1162619 HAS SOUS 186066 HAS SOUPS 185374 WITH SCORE 186591.232
AT ITER 3940 NEW BEST:: SOT 1440088 SOS 1217003 HAS SOPS 1162390 HAS SOUS 185837 HAS SOUPS 185145 WITH SCORE 186362.003
AT ITER 3965 NEW BEST:: SOT 1439955 SOS 1216870 HAS SOPS 1162257 HAS SOUS 185641 HAS SOUPS 184949 WITH SCORE 186165.87
AT ITER 3980 NEW BEST:: SOT 1439505 SOS 1217156 HAS SOPS 1162543 HAS SOUS 185235 HAS SOUPS 184543 WITH SCORE 185760.156
AT ITER 3987 NEW BEST:: SOT 1439506 SOS 1217157 HAS SOPS 1162544 HAS SOUS 185214 HAS SOUPS 184522 WITH SCORE 185739.157
AT ITER 4011 NEW BEST:: SOT 1439481 SOS 1217132 HAS SOPS 1162519 HAS SOUS 185178 HAS SOUPS 184486 WITH SCORE 185703.132
AT ITER 4018 NEW BEST:: SOT 1439481 SOS 1217132 HAS SOPS 1162519 HAS SOUS 185157 HAS SOUPS 184465 WITH SCORE 185682.132
AT ITER 4031 NEW BEST:: SOT 1439405 SOS 1217056 HAS SOPS 1162443 HAS SOUS 185116 HAS SOUPS 184424 WITH SCORE 185641.056
AT ITER 4043 NEW BEST:: SOT 1439405 SOS 1217032 HAS SOPS 1162419 HAS SOUS 185058 HAS SOUPS 184366 WITH SCORE 185583.032
AT ITER 4075 NEW BEST:: SOT 1439405 SOS 1217760 HAS SOPS 1163147 HAS SOUS 185006 HAS SOUPS 184314 WITH SCORE 185531.76
AT ITER 4081 NEW BEST:: SOT 1439367 SOS 1217722 HAS SOPS 1163109 HAS SOUS 184963 HAS SOUPS 184271 WITH SCORE 185488.722
AT ITER 4092 NEW BEST:: SOT 1439379 SOS 1217434 HAS SOPS 1162793 HAS SOUS 184674 HAS SOUPS 183954 WITH SCORE 185171.434
AT ITER 4111 NEW BEST:: SOT 1439379 SOS 1217330 HAS SOPS 1162689 HAS SOUS 184674 HAS SOUPS 183954 WITH SCORE 185171.33
AT ITER 4139 NEW BEST:: SOT 1439379 SOS 1217330 HAS SOPS 1162674 HAS SOUS 184664 HAS SOUPS 183944 WITH SCORE 185161.33
AT ITER 4205 NEW BEST:: SOT 1439379 SOS 1219062 HAS SOPS 1164406 HAS SOUS 184532 HAS SOUPS 183812 WITH SCORE 185031.062
AT ITER 4295 NEW BEST:: SOT 1439379 SOS 1219062 HAS SOPS 1164406 HAS SOUS 184527 HAS SOUPS 183807 WITH SCORE 185026.062
AT ITER 4325 NEW BEST:: SOT 1439353 SOS 1219023 HAS SOPS 1164380 HAS SOUS 184501 HAS SOUPS 183794 WITH SCORE 185013.023
AT ITER 4338 NEW BEST:: SOT 1438367 SOS 1218037 HAS SOPS 1163394 HAS SOUS 183493 HAS SOUPS 182786 WITH SCORE 184004.037
AT ITER 4366 NEW BEST:: SOT 1438359 SOS 1218029 HAS SOPS 1163386 HAS SOUS 183485 HAS SOUPS 182778 WITH SCORE 183996.029
AT ITER 4381 NEW BEST:: SOT 1438299 SOS 1217969 HAS SOPS 1163326 HAS SOUS 183153 HAS SOUPS 182446 WITH SCORE 183663.969
AT ITER 4383 NEW BEST:: SOT 1438267 SOS 1217937 HAS SOPS 1163294 HAS SOUS 183106 HAS SOUPS 182399 WITH SCORE 183616.937
AT ITER 4418 NEW BEST:: SOT 1438267 SOS 1217811 HAS SOPS 1163168 HAS SOUS 183103 HAS SOUPS 182396 WITH SCORE 183613.811
AT ITER 4421 NEW BEST:: SOT 1438421 SOS 1217965 HAS SOPS 1163322 HAS SOUS 182999 HAS SOUPS 182292 WITH SCORE 183509.965
AT ITER 4422 NEW BEST:: SOT 1438413 SOS 1217937 HAS SOPS 1163294 HAS SOUS 182916 HAS SOUPS 182209 WITH SCORE 183426.937
AT ITER 4439 NEW BEST:: SOT 1438413 SOS 1220049 HAS SOPS 1165406 HAS SOUS 182849 HAS SOUPS 182142 WITH SCORE 183362.049
AT ITER 4499 NEW BEST:: SOT 1438413 SOS 1219833 HAS SOPS 1165190 HAS SOUS 182849 HAS SOUPS 182142 WITH SCORE 183361.833
AT ITER 4509 NEW BEST:: SOT 1438495 SOS 1219869 HAS SOPS 1165272 HAS SOUS 182711 HAS SOUPS 182050 WITH SCORE 183269.869
AT ITER 4541 NEW BEST:: SOT 1438495 SOS 1219869 HAS SOPS 1165272 HAS SOUS 182708 HAS SOUPS 182047 WITH SCORE 183266.869
AT ITER 4550 NEW BEST:: SOT 1438476 SOS 1219850 HAS SOPS 1165253 HAS SOUS 182689 HAS SOUPS 182028 WITH SCORE 183247.85
AT ITER 4571 NEW BEST:: SOT 1438071 SOS 1219525 HAS SOPS 1164928 HAS SOUS 182324 HAS SOUPS 181663 WITH SCORE 182882.525
AT ITER 4583 NEW BEST:: SOT 1437686 SOS 1219140 HAS SOPS 1164543 HAS SOUS 182073 HAS SOUPS 181412 WITH SCORE 182631.14
AT ITER 4588 NEW BEST:: SOT 1437682 SOS 1219136 HAS SOPS 1164539 HAS SOUS 182063 HAS SOUPS 181402 WITH SCORE 182621.136
AT ITER 4602 NEW BEST:: SOT 1437679 SOS 1219133 HAS SOPS 1164536 HAS SOUS 182060 HAS SOUPS 181399 WITH SCORE 182618.133
AT ITER 4606 NEW BEST:: SOT 1437631 SOS 1219085 HAS SOPS 1164488 HAS SOUS 182055 HAS SOUPS 181394 WITH SCORE 182613.085
AT ITER 4632 NEW BEST:: SOT 1437586 SOS 1219040 HAS SOPS 1164443 HAS SOUS 181860 HAS SOUPS 181199 WITH SCORE 182418.04
AT ITER 4654 NEW BEST:: SOT 1437571 SOS 1219024 HAS SOPS 1164428 HAS SOUS 181842 HAS SOUPS 181182 WITH SCORE 182401.024
AT ITER 4668 NEW BEST:: SOT 1437465 SOS 1218918 HAS SOPS 1164322 HAS SOUS 181616 HAS SOUPS 180956 WITH SCORE 182174.918
AT ITER 4690 NEW BEST:: SOT 1437465 SOS 1218708 HAS SOPS 1164112 HAS SOUS 181616 HAS SOUPS 180956 WITH SCORE 182174.708
AT ITER 4708 NEW BEST:: SOT 1437465 SOS 1218804 HAS SOPS 1164208 HAS SOUS 181608 HAS SOUPS 180948 WITH SCORE 182166.804
AT ITER 4715 NEW BEST:: SOT 1437461 SOS 1218800 HAS SOPS 1164204 HAS SOUS 181604 HAS SOUPS 180944 WITH SCORE 182162.8
AT ITER 4737 NEW BEST:: SOT 1437461 SOS 1218580 HAS SOPS 1163984 HAS SOUS 181604 HAS SOUPS 180944 WITH SCORE 182162.58
AT ITER 4753 NEW BEST:: SOT 1437408 SOS 1218527 HAS SOPS 1163931 HAS SOUS 181552 HAS SOUPS 180892 WITH SCORE 182110.527
AT ITER 4761 NEW BEST:: SOT 1437408 SOS 1218401 HAS SOPS 1163805 HAS SOUS 181552 HAS SOUPS 180892 WITH SCORE 182110.401
AT ITER 4783 NEW BEST:: SOT 1437408 SOS 1218395 HAS SOPS 1163799 HAS SOUS 181543 HAS SOUPS 180883 WITH SCORE 182101.395
AT ITER 4789 NEW BEST:: SOT 1437116 SOS 1217839 HAS SOPS 1163185 HAS SOUS 181107 HAS SOUPS 180389 WITH SCORE 181606.839
AT ITER 4797 NEW BEST:: SOT 1437143 SOS 1217866 HAS SOPS 1163212 HAS SOUS 181080 HAS SOUPS 180362 WITH SCORE 181579.866
AT ITER 4821 NEW BEST:: SOT 1437446 SOS 1218169 HAS SOPS 1163515 HAS SOUS 181075 HAS SOUPS 180357 WITH SCORE 181575.169
AT ITER 4862 NEW BEST:: SOT 1437392 SOS 1218115 HAS SOPS 1163461 HAS SOUS 180805 HAS SOUPS 180087 WITH SCORE 181305.115
AT ITER 4871 NEW BEST:: SOT 1437392 SOS 1218115 HAS SOPS 1163461 HAS SOUS 180791 HAS SOUPS 180073 WITH SCORE 181291.115
AT ITER 4888 NEW BEST:: SOT 1437392 SOS 1218115 HAS SOPS 1163461 HAS SOUS 180790 HAS SOUPS 180072 WITH SCORE 181290.115
AT ITER 4891 NEW BEST:: SOT 1437382 SOS 1218105 HAS SOPS 1163451 HAS SOUS 180630 HAS SOUPS 179912 WITH SCORE 181130.105
AT ITER 4911 NEW BEST:: SOT 1437382 SOS 1217987 HAS SOPS 1163333 HAS SOUS 180630 HAS SOUPS 179912 WITH SCORE 181129.987
AT ITER 4955 NEW BEST:: SOT 1437830 SOS 1218435 HAS SOPS 1163781 HAS SOUS 180610 HAS SOUPS 179892 WITH SCORE 181110.435
AT ITER 4978 NEW BEST:: SOT 1436938 SOS 1217458 HAS SOPS 1162861 HAS SOUS 179547 HAS SOUPS 178886 WITH SCORE 180103.458
AT ITER 5018 NEW BEST:: SOT 1436430 SOS 1217152 HAS SOPS 1162555 HAS SOUS 179020 HAS SOUPS 178359 WITH SCORE 179576.152
AT ITER 5067 NEW BEST:: SOT 1436878 SOS 1217621 HAS SOPS 1163003 HAS SOUS 179035 HAS SOUPS 178353 WITH SCORE 179570.621
AT ITER 5071 NEW BEST:: SOT 1436878 SOS 1219735 HAS SOPS 1165117 HAS SOUS 178986 HAS SOUPS 178304 WITH SCORE 179523.735
AT ITER 5089 NEW BEST:: SOT 1436985 SOS 1219842 HAS SOPS 1165224 HAS SOUS 178879 HAS SOUPS 178197 WITH SCORE 179416.842
AT ITER 5121 NEW BEST:: SOT 1436908 SOS 1219765 HAS SOPS 1165147 HAS SOUS 178765 HAS SOUPS 178083 WITH SCORE 179302.765
AT ITER 5123 NEW BEST:: SOT 1436908 SOS 1219765 HAS SOPS 1165147 HAS SOUS 178749 HAS SOUPS 178067 WITH SCORE 179286.765
AT ITER 5126 NEW BEST:: SOT 1436882 SOS 1219739 HAS SOPS 1165121 HAS SOUS 178739 HAS SOUPS 178057 WITH SCORE 179276.739
AT ITER 5136 NEW BEST:: SOT 1436834 SOS 1219691 HAS SOPS 1165073 HAS SOUS 178733 HAS SOUPS 178051 WITH SCORE 179270.691
AT ITER 5142 NEW BEST:: SOT 1436818 SOS 1219675 HAS SOPS 1165057 HAS SOUS 178621 HAS SOUPS 177939 WITH SCORE 179158.675
AT ITER 5160 NEW BEST:: SOT 1436816 SOS 1219673 HAS SOPS 1165055 HAS SOUS 178620 HAS SOUPS 177938 WITH SCORE 179157.673
AT ITER 5181 NEW BEST:: SOT 1436798 SOS 1219655 HAS SOPS 1165037 HAS SOUS 178570 HAS SOUPS 177888 WITH SCORE 179107.655
AT ITER 5232 NEW BEST:: SOT 1436798 SOS 1219655 HAS SOPS 1165037 HAS SOUS 178532 HAS SOUPS 177850 WITH SCORE 179069.655
AT ITER 5266 NEW BEST:: SOT 1436425 SOS 1212757 HAS SOPS 1158139 HAS SOUS 178329 HAS SOUPS 177647 WITH SCORE 178859.757
AT ITER 5288 NEW BEST:: SOT 1436407 SOS 1212739 HAS SOPS 1158121 HAS SOUS 178169 HAS SOUPS 177487 WITH SCORE 178699.739
AT ITER 5300 NEW BEST:: SOT 1436423 SOS 1212755 HAS SOPS 1158137 HAS SOUS 177842 HAS SOUPS 177160 WITH SCORE 178372.755
AT ITER 5372 NEW BEST:: SOT 1436347 SOS 1212679 HAS SOPS 1158061 HAS SOUS 177296 HAS SOUPS 176614 WITH SCORE 177826.679
AT ITER 5379 NEW BEST:: SOT 1436347 SOS 1226614 HAS SOPS 1157821 HAS SOUS 177296 HAS SOUPS 176599 WITH SCORE 177825.614
AT ITER 5421 NEW BEST:: SOT 1436347 SOS 1228091 HAS SOPS 1143773 HAS SOUS 177239 HAS SOUPS 176542 WITH SCORE 177770.091
AT ITER 5430 NEW BEST:: SOT 1436347 SOS 1228091 HAS SOPS 1143773 HAS SOUS 177211 HAS SOUPS 176514 WITH SCORE 177742.091
AT ITER 5440 NEW BEST:: SOT 1436325 SOS 1228069 HAS SOPS 1143751 HAS SOUS 177189 HAS SOUPS 176492 WITH SCORE 177720.069
AT ITER 5453 NEW BEST:: SOT 1436292 SOS 1228036 HAS SOPS 1143718 HAS SOUS 177156 HAS SOUPS 176459 WITH SCORE 177687.036
AT ITER 5469 NEW BEST:: SOT 1436260 SOS 1228004 HAS SOPS 1143686 HAS SOUS 177155 HAS SOUPS 176458 WITH SCORE 177686.004
AT ITER 5474 NEW BEST:: SOT 1436255 SOS 1227999 HAS SOPS 1143681 HAS SOUS 177150 HAS SOUPS 176453 WITH SCORE 177680.999
AT ITER 5478 NEW BEST:: SOT 1436278 SOS 1228022 HAS SOPS 1143704 HAS SOUS 177144 HAS SOUPS 176447 WITH SCORE 177675.022
AT ITER 5523 NEW BEST:: SOT 1436165 SOS 1227851 HAS SOPS 1143533 HAS SOUS 177002 HAS SOUPS 176305 WITH SCORE 177532.851
AT ITER 5550 NEW BEST:: SOT 1436135 SOS 1227806 HAS SOPS 1143503 HAS SOUS 176961 HAS SOUPS 176279 WITH SCORE 177506.806
AT ITER 5551 NEW BEST:: SOT 1436135 SOS 1227806 HAS SOPS 1143503 HAS SOUS 176923 HAS SOUPS 176241 WITH SCORE 177468.806
AT ITER 5558 NEW BEST:: SOT 1436106 SOS 1227764 HAS SOPS 1143474 HAS SOUS 176885 HAS SOUPS 176216 WITH SCORE 177443.764
AT ITER 5579 NEW BEST:: SOT 1436083 SOS 1227741 HAS SOPS 1143451 HAS SOUS 176862 HAS SOUPS 176193 WITH SCORE 177420.741
AT ITER 5597 NEW BEST:: SOT 1436083 SOS 1228073 HAS SOPS 1143783 HAS SOUS 176786 HAS SOUPS 176117 WITH SCORE 177345.073
AT ITER 5631 NEW BEST:: SOT 1436083 SOS 1227987 HAS SOPS 1143697 HAS SOUS 176786 HAS SOUPS 176117 WITH SCORE 177344.987
AT ITER 5634 NEW BEST:: SOT 1436083 SOS 1227957 HAS SOPS 1150417 HAS SOUS 176756 HAS SOUPS 176087 WITH SCORE 177314.957
AT ITER 5636 NEW BEST:: SOT 1435987 SOS 1227861 HAS SOPS 1150321 HAS SOUS 176626 HAS SOUPS 175957 WITH SCORE 177184.861
AT ITER 5640 NEW BEST:: SOT 1436071 SOS 1227945 HAS SOPS 1150405 HAS SOUS 176392 HAS SOUPS 175723 WITH SCORE 176950.945
AT ITER 5680 NEW BEST:: SOT 1435040 SOS 1225196 HAS SOPS 1147387 HAS SOUS 175209 HAS SOUPS 174271 WITH SCORE 175496.196
AT ITER 5723 NEW BEST:: SOT 1435040 SOS 1225148 HAS SOPS 1147339 HAS SOUS 175209 HAS SOUPS 174271 WITH SCORE 175496.148
AT ITER 5745 NEW BEST:: SOT 1435025 SOS 1225133 HAS SOPS 1147324 HAS SOUS 175147 HAS SOUPS 174209 WITH SCORE 175434.133
AT ITER 5746 NEW BEST:: SOT 1435025 SOS 1225051 HAS SOPS 1147242 HAS SOUS 175147 HAS SOUPS 174209 WITH SCORE 175434.051
AT ITER 5763 NEW BEST:: SOT 1435025 SOS 1225651 HAS SOPS 1147842 HAS SOUS 175129 HAS SOUPS 174191 WITH SCORE 175416.651
AT ITER 5778 NEW BEST:: SOT 1435025 SOS 1225597 HAS SOPS 1147788 HAS SOUS 175129 HAS SOUPS 174191 WITH SCORE 175416.597
AT ITER 5789 NEW BEST:: SOT 1435025 SOS 1225597 HAS SOPS 1147788 HAS SOUS 175116 HAS SOUPS 174178 WITH SCORE 175403.597
AT ITER 5811 NEW BEST:: SOT 1435002 SOS 1226124 HAS SOPS 1148315 HAS SOUS 175110 HAS SOUPS 174172 WITH SCORE 175398.124
AT ITER 5848 NEW BEST:: SOT 1435002 SOS 1226090 HAS SOPS 1148281 HAS SOUS 175110 HAS SOUPS 174172 WITH SCORE 175398.09
AT ITER 5865 NEW BEST:: SOT 1435002 SOS 1226036 HAS SOPS 1148227 HAS SOUS 175083 HAS SOUPS 174145 WITH SCORE 175371.036
AT ITER 5886 NEW BEST:: SOT 1435002 SOS 1225890 HAS SOPS 1148081 HAS SOUS 175051 HAS SOUPS 174113 WITH SCORE 175338.89
AT ITER 5890 NEW BEST:: SOT 1434992 SOS 1225808 HAS SOPS 1147999 HAS SOUS 175040 HAS SOUPS 174102 WITH SCORE 175327.808
AT ITER 5937 NEW BEST:: SOT 1434945 SOS 1225761 HAS SOPS 1147952 HAS SOUS 174989 HAS SOUPS 174051 WITH SCORE 175276.761
AT ITER 5942 NEW BEST:: SOT 1434934 SOS 1225750 HAS SOPS 1147941 HAS SOUS 174974 HAS SOUPS 174036 WITH SCORE 175261.75
AT ITER 5991 NEW BEST:: SOT 1434559 SOS 1225346 HAS SOPS 1147537 HAS SOUS 174467 HAS SOUPS 173529 WITH SCORE 174754.346
AT ITER 6001 NEW BEST:: SOT 1434559 SOS 1225346 HAS SOPS 1147537 HAS SOUS 174466 HAS SOUPS 173528 WITH SCORE 174753.346
AT ITER 6009 NEW BEST:: SOT 1434526 SOS 1225313 HAS SOPS 1147504 HAS SOUS 174433 HAS SOUPS 173495 WITH SCORE 174720.313
AT ITER 6025 NEW BEST:: SOT 1434526 SOS 1225431 HAS SOPS 1147622 HAS SOUS 174401 HAS SOUPS 173463 WITH SCORE 174688.431
AT ITER 6097 NEW BEST:: SOT 1434518 SOS 1225423 HAS SOPS 1147614 HAS SOUS 174376 HAS SOUPS 173438 WITH SCORE 174663.423
AT ITER 6112 NEW BEST:: SOT 1434518 SOS 1225915 HAS SOPS 1148106 HAS SOUS 174335 HAS SOUPS 173397 WITH SCORE 174622.915
AT ITER 6128 NEW BEST:: SOT 1434518 SOS 1225915 HAS SOPS 1148106 HAS SOUS 174327 HAS SOUPS 173389 WITH SCORE 174614.915
AT ITER 6134 NEW BEST:: SOT 1434342 SOS 1225717 HAS SOPS 1147908 HAS SOUS 173806 HAS SOUPS 172868 WITH SCORE 174093.717
AT ITER 6145 NEW BEST:: SOT 1434327 SOS 1225702 HAS SOPS 1147893 HAS SOUS 173789 HAS SOUPS 172851 WITH SCORE 174076.702
AT ITER 6150 NEW BEST:: SOT 1434298 SOS 1225673 HAS SOPS 1147864 HAS SOUS 173760 HAS SOUPS 172822 WITH SCORE 174047.673
AT ITER 6162 NEW BEST:: SOT 1434298 SOS 1225575 HAS SOPS 1147766 HAS SOUS 173760 HAS SOUPS 172822 WITH SCORE 174047.575
AT ITER 6187 NEW BEST:: SOT 1434308 SOS 1225393 HAS SOPS 1147543 HAS SOUS 173708 HAS SOUPS 172729 WITH SCORE 173954.393
AT ITER 6267 NEW BEST:: SOT 1434264 SOS 1225349 HAS SOPS 1147499 HAS SOUS 173616 HAS SOUPS 172637 WITH SCORE 173862.349
AT ITER 6278 NEW BEST:: SOT 1434179 SOS 1225264 HAS SOPS 1147414 HAS SOUS 173509 HAS SOUPS 172530 WITH SCORE 173755.264
AT ITER 6284 NEW BEST:: SOT 1434162 SOS 1225247 HAS SOPS 1147397 HAS SOUS 173498 HAS SOUPS 172519 WITH SCORE 173744.247
AT ITER 6285 NEW BEST:: SOT 1434160 SOS 1225245 HAS SOPS 1147395 HAS SOUS 173496 HAS SOUPS 172517 WITH SCORE 173742.245
AT ITER 6294 NEW BEST:: SOT 1434144 SOS 1225230 HAS SOPS 1147380 HAS SOUS 173480 HAS SOUPS 172501 WITH SCORE 173726.23
AT ITER 6298 NEW BEST:: SOT 1433949 SOS 1225029 HAS SOPS 1147179 HAS SOUS 173295 HAS SOUPS 172316 WITH SCORE 173541.029
AT ITER 6303 NEW BEST:: SOT 1433949 SOS 1225043 HAS SOPS 1147193 HAS SOUS 173293 HAS SOUPS 172314 WITH SCORE 173539.043
AT ITER 6406 NEW BEST:: SOT 1433940 SOS 1225032 HAS SOPS 1147182 HAS SOUS 173253 HAS SOUPS 172274 WITH SCORE 173499.032
AT ITER 6424 NEW BEST:: SOT 1433940 SOS 1225032 HAS SOPS 1147182 HAS SOUS 173252 HAS SOUPS 172273 WITH SCORE 173498.032
AT ITER 6463 NEW BEST:: SOT 1433937 SOS 1225029 HAS SOPS 1147179 HAS SOUS 173246 HAS SOUPS 172267 WITH SCORE 173492.029
AT ITER 6472 NEW BEST:: SOT 1433805 SOS 1225025 HAS SOPS 1147175 HAS SOUS 173118 HAS SOUPS 172139 WITH SCORE 173364.025
AT ITER 6491 NEW BEST:: SOT 1433805 SOS 1225025 HAS SOPS 1147175 HAS SOUS 173111 HAS SOUPS 172132 WITH SCORE 173357.025
AT ITER 6504 NEW BEST:: SOT 1433805 SOS 1225025 HAS SOPS 1147175 HAS SOUS 173105 HAS SOUPS 172126 WITH SCORE 173351.025
AT ITER 6509 NEW BEST:: SOT 1433549 SOS 1224727 HAS SOPS 1146877 HAS SOUS 172830 HAS SOUPS 171851 WITH SCORE 173075.727
AT ITER 6522 NEW BEST:: SOT 1433549 SOS 1224727 HAS SOPS 1146877 HAS SOUS 172824 HAS SOUPS 171845 WITH SCORE 173069.727
AT ITER 6528 NEW BEST:: SOT 1433507 SOS 1224688 HAS SOPS 1146838 HAS SOUS 172785 HAS SOUPS 171806 WITH SCORE 173030.688
AT ITER 6582 NEW BEST:: SOT 1433439 SOS 1224620 HAS SOPS 1146770 HAS SOUS 172697 HAS SOUPS 171718 WITH SCORE 172942.62
AT ITER 6600 NEW BEST:: SOT 1433439 SOS 1224446 HAS SOPS 1146596 HAS SOUS 172683 HAS SOUPS 171704 WITH SCORE 172928.446
AT ITER 6634 NEW BEST:: SOT 1433380 SOS 1224387 HAS SOPS 1146537 HAS SOUS 172622 HAS SOUPS 171643 WITH SCORE 172867.387
AT ITER 6641 NEW BEST:: SOT 1433391 SOS 1224398 HAS SOPS 1146548 HAS SOUS 172597 HAS SOUPS 171618 WITH SCORE 172842.398
AT ITER 6683 NEW BEST:: SOT 1433368 SOS 1224375 HAS SOPS 1146525 HAS SOUS 172574 HAS SOUPS 171595 WITH SCORE 172819.375
AT ITER 6747 NEW BEST:: SOT 1433368 SOS 1224375 HAS SOPS 1146525 HAS SOUS 172572 HAS SOUPS 171593 WITH SCORE 172817.375
AT ITER 6825 NEW BEST:: SOT 1433306 SOS 1224313 HAS SOPS 1146463 HAS SOUS 172471 HAS SOUPS 171492 WITH SCORE 172716.313
AT ITER 6843 NEW BEST:: SOT 1433306 SOS 1224299 HAS SOPS 1146449 HAS SOUS 172471 HAS SOUPS 171492 WITH SCORE 172716.299
AT ITER 6884 NEW BEST:: SOT 1433278 SOS 1224257 HAS SOPS 1146407 HAS SOUS 172436 HAS SOUPS 171457 WITH SCORE 172681.257
AT ITER 6887 NEW BEST:: SOT 1433382 SOS 1224361 HAS SOPS 1146533 HAS SOUS 172188 HAS SOUPS 171231 WITH SCORE 172455.361
AT ITER 6888 NEW BEST:: SOT 1433382 SOS 1224409 HAS SOPS 1146581 HAS SOUS 172184 HAS SOUPS 171227 WITH SCORE 172451.409
AT ITER 6909 NEW BEST:: SOT 1433372 SOS 1224377 HAS SOPS 1146571 HAS SOUS 172146 HAS SOUPS 171211 WITH SCORE 172435.377
AT ITER 6911 NEW BEST:: SOT 1433368 SOS 1224373 HAS SOPS 1146567 HAS SOUS 172142 HAS SOUPS 171207 WITH SCORE 172431.373
AT ITER 6953 NEW BEST:: SOT 1433342 SOS 1224347 HAS SOPS 1146541 HAS SOUS 172116 HAS SOUPS 171181 WITH SCORE 172405.347
AT ITER 6968 NEW BEST:: SOT 1433397 SOS 1224402 HAS SOPS 1146596 HAS SOUS 172079 HAS SOUPS 171144 WITH SCORE 172368.402
AT ITER 6990 NEW BEST:: SOT 1433397 SOS 1224402 HAS SOPS 1146596 HAS SOUS 172072 HAS SOUPS 171137 WITH SCORE 172361.402
AT ITER 7023 NEW BEST:: SOT 1433397 SOS 1224402 HAS SOPS 1146596 HAS SOUS 172060 HAS SOUPS 171125 WITH SCORE 172349.402
AT ITER 7026 NEW BEST:: SOT 1433397 SOS 1224402 HAS SOPS 1146596 HAS SOUS 172056 HAS SOUPS 171121 WITH SCORE 172345.402
AT ITER 7029 NEW BEST:: SOT 1433397 SOS 1224402 HAS SOPS 1146596 HAS SOUS 172022 HAS SOUPS 171087 WITH SCORE 172311.402
AT ITER 7041 NEW BEST:: SOT 1433397 SOS 1224302 HAS SOPS 1146496 HAS SOUS 172022 HAS SOUPS 171087 WITH SCORE 172311.302
AT ITER 7091 NEW BEST:: SOT 1433397 SOS 1224250 HAS SOPS 1146444 HAS SOUS 172022 HAS SOUPS 171087 WITH SCORE 172311.25
AT ITER 7109 NEW BEST:: SOT 1433398 SOS 1224251 HAS SOPS 1146445 HAS SOUS 172021 HAS SOUPS 171086 WITH SCORE 172310.251
AT ITER 7139 NEW BEST:: SOT 1433303 SOS 1224144 HAS SOPS 1146338 HAS SOUS 171926 HAS SOUPS 170991 WITH SCORE 172215.144
AT ITER 7146 NEW BEST:: SOT 1432919 SOS 1223796 HAS SOPS 1145954 HAS SOUS 171854 HAS SOUPS 170883 WITH SCORE 172106.796
AT ITER 7154 NEW BEST:: SOT 1432616 SOS 1223447 HAS SOPS 1145605 HAS SOUS 171528 HAS SOUPS 170557 WITH SCORE 171780.447
AT ITER 7162 NEW BEST:: SOT 1432615 SOS 1223446 HAS SOPS 1145604 HAS SOUS 171527 HAS SOUPS 170556 WITH SCORE 171779.446
AT ITER 7205 NEW BEST:: SOT 1432601 SOS 1223432 HAS SOPS 1145590 HAS SOUS 171527 HAS SOUPS 170556 WITH SCORE 171779.432
AT ITER 7208 NEW BEST:: SOT 1432601 SOS 1223370 HAS SOPS 1145528 HAS SOUS 171527 HAS SOUPS 170556 WITH SCORE 171779.37
AT ITER 7213 NEW BEST:: SOT 1432682 SOS 1223451 HAS SOPS 1145609 HAS SOUS 171248 HAS SOUPS 170277 WITH SCORE 171500.451
AT ITER 7228 NEW BEST:: SOT 1432661 SOS 1223402 HAS SOPS 1145588 HAS SOUS 171134 HAS SOUPS 170191 WITH SCORE 171414.402
AT ITER 7250 NEW BEST:: SOT 1432661 SOS 1223402 HAS SOPS 1145588 HAS SOUS 171115 HAS SOUPS 170172 WITH SCORE 171395.402
AT ITER 7252 NEW BEST:: SOT 1432601 SOS 1223342 HAS SOPS 1145528 HAS SOUS 171016 HAS SOUPS 170073 WITH SCORE 171296.342
AT ITER 7280 NEW BEST:: SOT 1432582 SOS 1223323 HAS SOPS 1145509 HAS SOUS 170987 HAS SOUPS 170044 WITH SCORE 171267.323
AT ITER 7314 NEW BEST:: SOT 1432543 SOS 1223284 HAS SOPS 1145470 HAS SOUS 170889 HAS SOUPS 169946 WITH SCORE 171169.284
AT ITER 7352 NEW BEST:: SOT 1432530 SOS 1223271 HAS SOPS 1145457 HAS SOUS 170859 HAS SOUPS 169916 WITH SCORE 171139.271
AT ITER 7363 NEW BEST:: SOT 1432334 SOS 1222871 HAS SOPS 1145057 HAS SOUS 170663 HAS SOUPS 169720 WITH SCORE 170942.871
AT ITER 7399 NEW BEST:: SOT 1432535 SOS 1223072 HAS SOPS 1145258 HAS SOUS 170540 HAS SOUPS 169597 WITH SCORE 170820.072
AT ITER 7526 NEW BEST:: SOT 1432475 SOS 1223012 HAS SOPS 1145198 HAS SOUS 170375 HAS SOUPS 169432 WITH SCORE 170655.012
AT ITER 7554 NEW BEST:: SOT 1432474 SOS 1223011 HAS SOPS 1145197 HAS SOUS 170296 HAS SOUPS 169353 WITH SCORE 170576.011
AT ITER 7568 NEW BEST:: SOT 1432474 SOS 1223011 HAS SOPS 1145197 HAS SOUS 170291 HAS SOUPS 169348 WITH SCORE 170571.011
AT ITER 7571 NEW BEST:: SOT 1432474 SOS 1223011 HAS SOPS 1145218 HAS SOUS 170030 HAS SOUPS 169108 WITH SCORE 170331.011
AT ITER 7575 NEW BEST:: SOT 1432474 SOS 1222967 HAS SOPS 1145174 HAS SOUS 170030 HAS SOUPS 169108 WITH SCORE 170330.967
AT ITER 7585 NEW BEST:: SOT 1432434 SOS 1222927 HAS SOPS 1145134 HAS SOUS 169863 HAS SOUPS 168941 WITH SCORE 170163.927
AT ITER 7626 NEW BEST:: SOT 1431916 SOS 1222409 HAS SOPS 1144616 HAS SOUS 169645 HAS SOUPS 168723 WITH SCORE 169945.409
AT ITER 7661 NEW BEST:: SOT 1431900 SOS 1222393 HAS SOPS 1144630 HAS SOUS 169569 HAS SOUPS 168677 WITH SCORE 169899.393
AT ITER 7672 NEW BEST:: SOT 1431899 SOS 1222392 HAS SOPS 1144629 HAS SOUS 169568 HAS SOUPS 168676 WITH SCORE 169898.392
AT ITER 7702 NEW BEST:: SOT 1431899 SOS 1222388 HAS SOPS 1144625 HAS SOUS 169568 HAS SOUPS 168676 WITH SCORE 169898.388
AT ITER 7707 NEW BEST:: SOT 1431899 SOS 1222388 HAS SOPS 1144625 HAS SOUS 169555 HAS SOUPS 168663 WITH SCORE 169885.388
AT ITER 7712 NEW BEST:: SOT 1431895 SOS 1222384 HAS SOPS 1144621 HAS SOUS 169551 HAS SOUPS 168659 WITH SCORE 169881.384
AT ITER 7716 NEW BEST:: SOT 1431847 SOS 1222326 HAS SOPS 1144573 HAS SOUS 169423 HAS SOUPS 168541 WITH SCORE 169763.326
AT ITER 7720 NEW BEST:: SOT 1431847 SOS 1222298 HAS SOPS 1144545 HAS SOUS 169423 HAS SOUPS 168541 WITH SCORE 169763.298
AT ITER 7758 NEW BEST:: SOT 1431847 SOS 1222298 HAS SOPS 1144545 HAS SOUS 169415 HAS SOUPS 168533 WITH SCORE 169755.298
AT ITER 7768 NEW BEST:: SOT 1431847 SOS 1222298 HAS SOPS 1144545 HAS SOUS 169389 HAS SOUPS 168507 WITH SCORE 169729.298
AT ITER 7772 NEW BEST:: SOT 1431847 SOS 1222283 HAS SOPS 1147905 HAS SOUS 169374 HAS SOUPS 168492 WITH SCORE 169714.283
AT ITER 7830 NEW BEST:: SOT 1431756 SOS 1222192 HAS SOPS 1147814 HAS SOUS 169283 HAS SOUPS 168401 WITH SCORE 169623.192
AT ITER 7847 NEW BEST:: SOT 1431778 SOS 1222214 HAS SOPS 1147836 HAS SOUS 169219 HAS SOUPS 168337 WITH SCORE 169559.214
AT ITER 7853 NEW BEST:: SOT 1431442 SOS 1221878 HAS SOPS 1147500 HAS SOUS 168910 HAS SOUPS 168028 WITH SCORE 169249.878
AT ITER 7877 NEW BEST:: SOT 1431329 SOS 1221765 HAS SOPS 1147387 HAS SOUS 168803 HAS SOUPS 167921 WITH SCORE 169142.765
AT ITER 7926 NEW BEST:: SOT 1431315 SOS 1221752 HAS SOPS 1147374 HAS SOUS 168789 HAS SOUPS 167907 WITH SCORE 169128.752
AT ITER 7928 NEW BEST:: SOT 1431315 SOS 1221752 HAS SOPS 1147374 HAS SOUS 168781 HAS SOUPS 167899 WITH SCORE 169120.752
AT ITER 7932 NEW BEST:: SOT 1431257 SOS 1220390 HAS SOPS 1145958 HAS SOUS 168723 HAS SOUPS 167787 WITH SCORE 169007.39
AT ITER 7933 NEW BEST:: SOT 1431137 SOS 1220232 HAS SOPS 1145800 HAS SOUS 168618 HAS SOUPS 167682 WITH SCORE 168902.232
AT ITER 7935 NEW BEST:: SOT 1431065 SOS 1220124 HAS SOPS 1145728 HAS SOUS 168510 HAS SOUPS 167610 WITH SCORE 168830.124
AT ITER 7959 NEW BEST:: SOT 1431051 SOS 1220110 HAS SOPS 1145714 HAS SOUS 168510 HAS SOUPS 167610 WITH SCORE 168830.11
AT ITER 7962 NEW BEST:: SOT 1431051 SOS 1220054 HAS SOPS 1145658 HAS SOUS 168510 HAS SOUPS 167610 WITH SCORE 168830.054
AT ITER 8023 NEW BEST:: SOT 1431044 SOS 1220047 HAS SOPS 1145651 HAS SOUS 168504 HAS SOUPS 167604 WITH SCORE 168824.047
AT ITER 8050 NEW BEST:: SOT 1431002 SOS 1220004 HAS SOPS 1145608 HAS SOUS 168440 HAS SOUPS 167540 WITH SCORE 168760.004
AT ITER 8100 NEW BEST:: SOT 1430943 SOS 1219945 HAS SOPS 1145549 HAS SOUS 168341 HAS SOUPS 167441 WITH SCORE 168660.945
AT ITER 8116 NEW BEST:: SOT 1430943 SOS 1219945 HAS SOPS 1145549 HAS SOUS 168304 HAS SOUPS 167404 WITH SCORE 168623.945
AT ITER 8131 NEW BEST:: SOT 1430943 SOS 1219945 HAS SOPS 1145549 HAS SOUS 168301 HAS SOUPS 167401 WITH SCORE 168620.945
AT ITER 8134 NEW BEST:: SOT 1430967 SOS 1219969 HAS SOPS 1145573 HAS SOUS 168293 HAS SOUPS 167393 WITH SCORE 168612.969
AT ITER 8156 NEW BEST:: SOT 1430967 SOS 1219969 HAS SOPS 1145573 HAS SOUS 168227 HAS SOUPS 167327 WITH SCORE 168546.969
AT ITER 8184 NEW BEST:: SOT 1431128 SOS 1220081 HAS SOPS 1145783 HAS SOUS 167836 HAS SOUPS 167034 WITH SCORE 168254.081
AT ITER 8257 NEW BEST:: SOT 1431114 SOS 1220053 HAS SOPS 1145755 HAS SOUS 167779 HAS SOUPS 166977 WITH SCORE 168197.053
AT ITER 8291 NEW BEST:: SOT 1431016 SOS 1220273 HAS SOPS 1145975 HAS SOUS 167702 HAS SOUPS 166900 WITH SCORE 168120.273
AT ITER 8337 NEW BEST:: SOT 1430992 SOS 1220249 HAS SOPS 1145951 HAS SOUS 167658 HAS SOUPS 166856 WITH SCORE 168076.249
AT ITER 8347 NEW BEST:: SOT 1430992 SOS 1220249 HAS SOPS 1145951 HAS SOUS 167650 HAS SOUPS 166848 WITH SCORE 168068.249
AT ITER 8426 NEW BEST:: SOT 1430992 SOS 1219661 HAS SOPS 1137713 HAS SOUS 167650 HAS SOUPS 166848 WITH SCORE 168067.661
AT ITER 8431 NEW BEST:: SOT 1430967 SOS 1219636 HAS SOPS 1137688 HAS SOUS 167623 HAS SOUPS 166821 WITH SCORE 168040.636
AT ITER 8456 NEW BEST:: SOT 1430961 SOS 1219630 HAS SOPS 1137682 HAS SOUS 167613 HAS SOUPS 166811 WITH SCORE 168030.63
AT ITER 8458 NEW BEST:: SOT 1431152 SOS 1219848 HAS SOPS 1137873 HAS SOUS 167586 HAS SOUPS 166757 WITH SCORE 167976.848
AT ITER 8517 NEW BEST:: SOT 1431152 SOS 1219848 HAS SOPS 1137873 HAS SOUS 167583 HAS SOUPS 166754 WITH SCORE 167973.848
AT ITER 8547 NEW BEST:: SOT 1431103 SOS 1219799 HAS SOPS 1137824 HAS SOUS 167511 HAS SOUPS 166682 WITH SCORE 167901.799
AT ITER 8583 NEW BEST:: SOT 1430187 SOS 1218719 HAS SOPS 1136744 HAS SOUS 166587 HAS SOUPS 165758 WITH SCORE 166976.719
AT ITER 8628 NEW BEST:: SOT 1430221 SOS 1218756 HAS SOPS 1136781 HAS SOUS 166526 HAS SOUPS 165697 WITH SCORE 166915.756
AT ITER 8634 NEW BEST:: SOT 1430195 SOS 1218730 HAS SOPS 1136755 HAS SOUS 166485 HAS SOUPS 165656 WITH SCORE 166874.73
AT ITER 8654 NEW BEST:: SOT 1430195 SOS 1218684 HAS SOPS 1136709 HAS SOUS 166485 HAS SOUPS 165656 WITH SCORE 166874.684
AT ITER 8693 NEW BEST:: SOT 1430191 SOS 1218680 HAS SOPS 1136705 HAS SOUS 166471 HAS SOUPS 165642 WITH SCORE 166860.68
AT ITER 8724 NEW BEST:: SOT 1430191 SOS 1218680 HAS SOPS 1136705 HAS SOUS 166470 HAS SOUPS 165641 WITH SCORE 166859.68
AT ITER 8738 NEW BEST:: SOT 1430193 SOS 1218704 HAS SOPS 1136729 HAS SOUS 166466 HAS SOUPS 165637 WITH SCORE 166855.704
AT ITER 8865 NEW BEST:: SOT 1430193 SOS 1218688 HAS SOPS 1136713 HAS SOUS 166466 HAS SOUPS 165637 WITH SCORE 166855.688
AT ITER 8867 NEW BEST:: SOT 1430193 SOS 1218554 HAS SOPS 1136579 HAS SOUS 166466 HAS SOUPS 165637 WITH SCORE 166855.554
AT ITER 8889 NEW BEST:: SOT 1430113 SOS 1218457 HAS SOPS 1136499 HAS SOUS 166359 HAS SOUPS 165547 WITH SCORE 166765.457
AT ITER 8927 NEW BEST:: SOT 1430113 SOS 1218457 HAS SOPS 1136499 HAS SOUS 166325 HAS SOUPS 165513 WITH SCORE 166731.457
AT ITER 8937 NEW BEST:: SOT 1430097 SOS 1218441 HAS SOPS 1136483 HAS SOUS 166325 HAS SOUPS 165513 WITH SCORE 166731.441
AT ITER 8943 NEW BEST:: SOT 1429900 SOS 1218274 HAS SOPS 1136316 HAS SOUS 166143 HAS SOUPS 165331 WITH SCORE 166549.274
AT ITER 8952 NEW BEST:: SOT 1429876 SOS 1218250 HAS SOPS 1136292 HAS SOUS 166119 HAS SOUPS 165307 WITH SCORE 166525.25
AT ITER 8983 NEW BEST:: SOT 1429876 SOS 1218228 HAS SOPS 1136270 HAS SOUS 166119 HAS SOUPS 165307 WITH SCORE 166525.228
AT ITER 9018 NEW BEST:: SOT 1429876 SOS 1218130 HAS SOPS 1136172 HAS SOUS 166119 HAS SOUPS 165307 WITH SCORE 166525.13
AT ITER 9053 NEW BEST:: SOT 1429876 SOS 1218130 HAS SOPS 1136172 HAS SOUS 166116 HAS SOUPS 165304 WITH SCORE 166522.13
AT ITER 9063 NEW BEST:: SOT 1429876 SOS 1218130 HAS SOPS 1136172 HAS SOUS 166105 HAS SOUPS 165293 WITH SCORE 166511.13
AT ITER 9070 NEW BEST:: SOT 1429876 SOS 1218130 HAS SOPS 1136172 HAS SOUS 166092 HAS SOUPS 165280 WITH SCORE 166498.13
AT ITER 9153 NEW BEST:: SOT 1429876 SOS 1218100 HAS SOPS 1136142 HAS SOUS 166077 HAS SOUPS 165265 WITH SCORE 166483.1
AT ITER 9182 NEW BEST:: SOT 1429835 SOS 1218059 HAS SOPS 1136101 HAS SOUS 166020 HAS SOUPS 165208 WITH SCORE 166426.059
AT ITER 9192 NEW BEST:: SOT 1429845 SOS 1218069 HAS SOPS 1136111 HAS SOUS 165993 HAS SOUPS 165181 WITH SCORE 166399.069
AT ITER 9224 NEW BEST:: SOT 1429845 SOS 1218069 HAS SOPS 1136111 HAS SOUS 165948 HAS SOUPS 165136 WITH SCORE 166354.069
AT ITER 9362 NEW BEST:: SOT 1429832 SOS 1218056 HAS SOPS 1136098 HAS SOUS 165931 HAS SOUPS 165119 WITH SCORE 166337.056
AT ITER 9369 NEW BEST:: SOT 1429832 SOS 1218036 HAS SOPS 1136078 HAS SOUS 165931 HAS SOUPS 165119 WITH SCORE 166337.036
AT ITER 9378 NEW BEST:: SOT 1429790 SOS 1217994 HAS SOPS 1136036 HAS SOUS 165880 HAS SOUPS 165068 WITH SCORE 166285.994
AT ITER 9411 NEW BEST:: SOT 1429786 SOS 1217990 HAS SOPS 1136032 HAS SOUS 165876 HAS SOUPS 165064 WITH SCORE 166281.99
AT ITER 9463 NEW BEST:: SOT 1429786 SOS 1217842 HAS SOPS 1135884 HAS SOUS 165876 HAS SOUPS 165064 WITH SCORE 166281.842
AT ITER 9472 NEW BEST:: SOT 1429786 SOS 1217842 HAS SOPS 1135884 HAS SOUS 165870 HAS SOUPS 165058 WITH SCORE 166275.842
AT ITER 9495 NEW BEST:: SOT 1429775 SOS 1217831 HAS SOPS 1135873 HAS SOUS 165862 HAS SOUPS 165050 WITH SCORE 166267.831
AT ITER 9533 NEW BEST:: SOT 1429724 SOS 1217780 HAS SOPS 1135822 HAS SOUS 165787 HAS SOUPS 164975 WITH SCORE 166192.78
AT ITER 9541 NEW BEST:: SOT 1429724 SOS 1217780 HAS SOPS 1135822 HAS SOUS 165779 HAS SOUPS 164967 WITH SCORE 166184.78
AT ITER 9547 NEW BEST:: SOT 1429717 SOS 1217773 HAS SOPS 1135815 HAS SOUS 165776 HAS SOUPS 164964 WITH SCORE 166181.773
AT ITER 9573 NEW BEST:: SOT 1429711 SOS 1217767 HAS SOPS 1135809 HAS SOUS 165774 HAS SOUPS 164962 WITH SCORE 166179.767
AT ITER 9638 NEW BEST:: SOT 1429711 SOS 1218139 HAS SOPS 1136181 HAS SOUS 165743 HAS SOUPS 164931 WITH SCORE 166149.139
AT ITER 9643 NEW BEST:: SOT 1429711 SOS 1218139 HAS SOPS 1136181 HAS SOUS 165731 HAS SOUPS 164919 WITH SCORE 166137.139
AT ITER 9660 NEW BEST:: SOT 1429711 SOS 1218355 HAS SOPS 1136397 HAS SOUS 165713 HAS SOUPS 164901 WITH SCORE 166119.355
AT ITER 9687 NEW BEST:: SOT 1429711 SOS 1218329 HAS SOPS 1136371 HAS SOUS 165713 HAS SOUPS 164901 WITH SCORE 166119.329
AT ITER 9769 NEW BEST:: SOT 1429711 SOS 1218329 HAS SOPS 1136371 HAS SOUS 165709 HAS SOUPS 164897 WITH SCORE 166115.329
AT ITER 9784 NEW BEST:: SOT 1429697 SOS 1218315 HAS SOPS 1136326 HAS SOUS 165726 HAS SOUPS 164883 WITH SCORE 166101.315
AT ITER 9800 NEW BEST:: SOT 1429660 SOS 1218278 HAS SOPS 1136289 HAS SOUS 165671 HAS SOUPS 164828 WITH SCORE 166046.278
AT ITER 9830 NEW BEST:: SOT 1429625 SOS 1218243 HAS SOPS 1136254 HAS SOUS 165619 HAS SOUPS 164776 WITH SCORE 165994.243
AT ITER 9911 NEW BEST:: SOT 1429539 SOS 1218142 HAS SOPS 1136168 HAS SOUS 165503 HAS SOUPS 164675 WITH SCORE 165893.142
AT ITER 9955 NEW BEST:: SOT 1429539 SOS 1218436 HAS SOPS 1136462 HAS SOUS 165482 HAS SOUPS 164654 WITH SCORE 165872.436
AT ITER 9965 NEW BEST:: SOT 1429539 SOS 1218436 HAS SOPS 1136462 HAS SOUS 165481 HAS SOUPS 164653 WITH SCORE 165871.436

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="SafeBus-PT-15"
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 SafeBus-PT-15, 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 r153-oct2-158972910200424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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