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.r048-ebro-158902542400608.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 DLCround-PT-12b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.2K Mar 30 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 29 10:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 29 10:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 06:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 06:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 00:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 00:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M 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 1590869273350

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

Filename model.pnml
Petri model created: 4848 places, 7836 transitions, 22188 arcs.
AT ITER 0 NEW BEST:: SOT 24787847 SOS 6033677 HAS SOPS 6033677 HAS SOUS 3212168 HAS SOUPS 3212168 WITH SCORE 3218201.677
AT ITER 6 NEW BEST:: SOT 24787705 SOS 6033288 HAS SOPS 6033288 HAS SOUS 3211779 HAS SOUPS 3211779 WITH SCORE 3217812.288
AT ITER 7 NEW BEST:: SOT 24786443 SOS 6036404 HAS SOPS 6036404 HAS SOUS 3210984 HAS SOUPS 3210984 WITH SCORE 3217020.404
AT ITER 26 NEW BEST:: SOT 24786530 SOS 6039069 HAS SOPS 6039069 HAS SOUS 3210730 HAS SOUPS 3210730 WITH SCORE 3216769.069
AT ITER 40 NEW BEST:: SOT 24786431 SOS 6038871 HAS SOPS 6038871 HAS SOUS 3210631 HAS SOUPS 3210631 WITH SCORE 3216669.871
AT ITER 50 NEW BEST:: SOT 24786318 SOS 6039087 HAS SOPS 6039087 HAS SOUS 3210630 HAS SOUPS 3210630 WITH SCORE 3216669.087
AT ITER 69 NEW BEST:: SOT 24785645 SOS 6039077 HAS SOPS 6039077 HAS SOUS 3210497 HAS SOUPS 3210497 WITH SCORE 3216536.077
AT ITER 78 NEW BEST:: SOT 24785645 SOS 6037400 HAS SOPS 6037400 HAS SOUS 3210496 HAS SOUPS 3210496 WITH SCORE 3216533.4
AT ITER 118 NEW BEST:: SOT 24784187 SOS 6035942 HAS SOPS 6035942 HAS SOUS 3209038 HAS SOUPS 3209038 WITH SCORE 3215073.942
AT ITER 119 NEW BEST:: SOT 24784186 SOS 6035940 HAS SOPS 6035940 HAS SOUS 3209036 HAS SOUPS 3209036 WITH SCORE 3215071.94
AT ITER 147 NEW BEST:: SOT 24783232 SOS 6034032 HAS SOPS 6034032 HAS SOUS 3206715 HAS SOUPS 3206715 WITH SCORE 3212749.032
AT ITER 148 NEW BEST:: SOT 24782658 SOS 6032884 HAS SOPS 6032884 HAS SOUS 3205567 HAS SOUPS 3205567 WITH SCORE 3211599.884
AT ITER 169 NEW BEST:: SOT 24782479 SOS 6032526 HAS SOPS 6032526 HAS SOUS 3205387 HAS SOUPS 3205387 WITH SCORE 3211419.526
AT ITER 199 NEW BEST:: SOT 24781418 SOS 6031680 HAS SOPS 6031680 HAS SOUS 3204326 HAS SOUPS 3204326 WITH SCORE 3210357.68
AT ITER 201 NEW BEST:: SOT 24781017 SOS 6031276 HAS SOPS 6031276 HAS SOUS 3203924 HAS SOUPS 3203924 WITH SCORE 3209955.276
AT ITER 219 NEW BEST:: SOT 24779665 SOS 6030600 HAS SOPS 6030600 HAS SOUS 3203248 HAS SOUPS 3203248 WITH SCORE 3209278.6
AT ITER 222 NEW BEST:: SOT 24779793 SOS 6029167 HAS SOPS 6029167 HAS SOUS 3202876 HAS SOUPS 3202876 WITH SCORE 3208905.167
AT ITER 224 NEW BEST:: SOT 24779492 SOS 6029813 HAS SOPS 6029813 HAS SOUS 3202575 HAS SOUPS 3202575 WITH SCORE 3208604.813
AT ITER 242 NEW BEST:: SOT 24778921 SOS 6029804 HAS SOPS 6029804 HAS SOUS 3202565 HAS SOUPS 3202565 WITH SCORE 3208594.804
AT ITER 251 NEW BEST:: SOT 24778921 SOS 6030289 HAS SOPS 6030289 HAS SOUS 3202564 HAS SOUPS 3202564 WITH SCORE 3208594.289
AT ITER 260 NEW BEST:: SOT 24776152 SOS 6036746 HAS SOPS 6036746 HAS SOUS 3200887 HAS SOUPS 3200887 WITH SCORE 3206923.746
AT ITER 297 NEW BEST:: SOT 24776152 SOS 6037538 HAS SOPS 6037538 HAS SOUS 3200886 HAS SOUPS 3200886 WITH SCORE 3206923.538
AT ITER 300 NEW BEST:: SOT 24776454 SOS 6038142 HAS SOPS 6038142 HAS SOUS 3200254 HAS SOUPS 3200254 WITH SCORE 3206292.142
AT ITER 316 NEW BEST:: SOT 24776115 SOS 6038478 HAS SOPS 6038478 HAS SOUS 3200252 HAS SOUPS 3200252 WITH SCORE 3206290.478
AT ITER 352 NEW BEST:: SOT 24776115 SOS 6038478 HAS SOPS 6038478 HAS SOUS 3200183 HAS SOUPS 3200183 WITH SCORE 3206221.478
AT ITER 367 NEW BEST:: SOT 24775636 SOS 6038575 HAS SOPS 6038575 HAS SOUS 3200171 HAS SOUPS 3200171 WITH SCORE 3206209.575
AT ITER 384 NEW BEST:: SOT 24775861 SOS 6039025 HAS SOPS 6039025 HAS SOUS 3198964 HAS SOUPS 3198964 WITH SCORE 3205003.025
AT ITER 399 NEW BEST:: SOT 24773833 SOS 6037303 HAS SOPS 6037303 HAS SOUS 3196936 HAS SOUPS 3196936 WITH SCORE 3202973.303
AT ITER 411 NEW BEST:: SOT 24773768 SOS 6037108 HAS SOPS 6037108 HAS SOUS 3196806 HAS SOUPS 3196806 WITH SCORE 3202843.108
AT ITER 427 NEW BEST:: SOT 24773768 SOS 6036981 HAS SOPS 6036981 HAS SOUS 3196679 HAS SOUPS 3196679 WITH SCORE 3202715.981
AT ITER 467 NEW BEST:: SOT 24773768 SOS 6036981 HAS SOPS 6036981 HAS SOUS 3196678 HAS SOUPS 3196678 WITH SCORE 3202714.981
AT ITER 469 NEW BEST:: SOT 24772815 SOS 6036563 HAS SOPS 6036563 HAS SOUS 3195725 HAS SOUPS 3195725 WITH SCORE 3201761.563
AT ITER 478 NEW BEST:: SOT 24772551 SOS 6038401 HAS SOPS 6038401 HAS SOUS 3195196 HAS SOUPS 3195196 WITH SCORE 3201234.401
AT ITER 507 NEW BEST:: SOT 24771459 SOS 6037309 HAS SOPS 6037309 HAS SOUS 3194104 HAS SOUPS 3194104 WITH SCORE 3200141.309
AT ITER 521 NEW BEST:: SOT 24771459 SOS 6036220 HAS SOPS 6036220 HAS SOUS 3194104 HAS SOUPS 3194104 WITH SCORE 3200140.22
AT ITER 552 NEW BEST:: SOT 24771223 SOS 6035748 HAS SOPS 6035748 HAS SOUS 3193632 HAS SOUPS 3193632 WITH SCORE 3199667.748
AT ITER 577 NEW BEST:: SOT 24770003 SOS 6022328 HAS SOPS 6022328 HAS SOUS 3191192 HAS SOUPS 3191192 WITH SCORE 3197214.328
AT ITER 578 NEW BEST:: SOT 24770003 SOS 6022249 HAS SOPS 6022249 HAS SOUS 3191113 HAS SOUPS 3191113 WITH SCORE 3197135.249
AT ITER 581 NEW BEST:: SOT 24769377 SOS 6020997 HAS SOPS 6020997 HAS SOUS 3189008 HAS SOUPS 3189008 WITH SCORE 3195028.997
AT ITER 600 NEW BEST:: SOT 24769830 SOS 6021903 HAS SOPS 6021903 HAS SOUS 3188235 HAS SOUPS 3188235 WITH SCORE 3194256.903
AT ITER 614 NEW BEST:: SOT 24769830 SOS 6022766 HAS SOPS 6022766 HAS SOUS 3188234 HAS SOUPS 3188234 WITH SCORE 3194256.766
AT ITER 618 NEW BEST:: SOT 24769469 SOS 6022418 HAS SOPS 6022418 HAS SOUS 3187627 HAS SOUPS 3187627 WITH SCORE 3193649.418
AT ITER 640 NEW BEST:: SOT 24769003 SOS 6022414 HAS SOPS 6022414 HAS SOUS 3187160 HAS SOUPS 3187160 WITH SCORE 3193182.414
AT ITER 664 NEW BEST:: SOT 24767343 SOS 6023231 HAS SOPS 6023231 HAS SOUS 3186758 HAS SOUPS 3186758 WITH SCORE 3192781.231
AT ITER 668 NEW BEST:: SOT 24766515 SOS 6023228 HAS SOPS 6023228 HAS SOUS 3185101 HAS SOUPS 3185101 WITH SCORE 3191124.228
AT ITER 679 NEW BEST:: SOT 24766347 SOS 6023144 HAS SOPS 6023144 HAS SOUS 3185017 HAS SOUPS 3185017 WITH SCORE 3191040.144
AT ITER 693 NEW BEST:: SOT 24765641 SOS 6024711 HAS SOPS 6024711 HAS SOUS 3183605 HAS SOUPS 3183605 WITH SCORE 3189629.711
AT ITER 736 NEW BEST:: SOT 24764956 SOS 6022425 HAS SOPS 6022425 HAS SOUS 3183313 HAS SOUPS 3183313 WITH SCORE 3189335.425
AT ITER 746 NEW BEST:: SOT 24764861 SOS 6022235 HAS SOPS 6022235 HAS SOUS 3183218 HAS SOUPS 3183218 WITH SCORE 3189240.235
AT ITER 759 NEW BEST:: SOT 24764158 SOS 6021884 HAS SOPS 6021884 HAS SOUS 3182867 HAS SOUPS 3182867 WITH SCORE 3188888.884
AT ITER 762 NEW BEST:: SOT 24763775 SOS 6022157 HAS SOPS 6022157 HAS SOUS 3182743 HAS SOUPS 3182743 WITH SCORE 3188765.157
AT ITER 806 NEW BEST:: SOT 24763775 SOS 6023795 HAS SOPS 6023795 HAS SOUS 3182741 HAS SOUPS 3182741 WITH SCORE 3188764.795
AT ITER 824 NEW BEST:: SOT 24762441 SOS 6022461 HAS SOPS 6022461 HAS SOUS 3181407 HAS SOUPS 3181407 WITH SCORE 3187429.461
AT ITER 843 NEW BEST:: SOT 24761834 SOS 6023068 HAS SOPS 6023068 HAS SOUS 3181327 HAS SOUPS 3181327 WITH SCORE 3187350.068
AT ITER 864 NEW BEST:: SOT 24761834 SOS 6023068 HAS SOPS 6023068 HAS SOUS 3181326 HAS SOUPS 3181326 WITH SCORE 3187349.068
AT ITER 885 NEW BEST:: SOT 24761222 SOS 6022452 HAS SOPS 6022452 HAS SOUS 3180713 HAS SOUPS 3180713 WITH SCORE 3186735.452
AT ITER 902 NEW BEST:: SOT 24760716 SOS 6022142 HAS SOPS 6022142 HAS SOUS 3180403 HAS SOUPS 3180403 WITH SCORE 3186425.142
AT ITER 903 NEW BEST:: SOT 24761460 SOS 6007926 HAS SOPS 6007926 HAS SOUS 3178112 HAS SOUPS 3178112 WITH SCORE 3184119.926
AT ITER 919 NEW BEST:: SOT 24761203 SOS 6008183 HAS SOPS 6008183 HAS SOUS 3177855 HAS SOUPS 3177855 WITH SCORE 3183863.183
AT ITER 936 NEW BEST:: SOT 24760831 SOS 6008179 HAS SOPS 6008179 HAS SOUS 3177854 HAS SOUPS 3177854 WITH SCORE 3183862.179
AT ITER 937 NEW BEST:: SOT 24760575 SOS 6007667 HAS SOPS 6007667 HAS SOUS 3177342 HAS SOUPS 3177342 WITH SCORE 3183349.667
AT ITER 947 NEW BEST:: SOT 24759869 SOS 6007372 HAS SOPS 6007372 HAS SOUS 3176636 HAS SOUPS 3176636 WITH SCORE 3182643.372
AT ITER 969 NEW BEST:: SOT 24760080 SOS 6009628 HAS SOPS 6009628 HAS SOUS 3176526 HAS SOUPS 3176526 WITH SCORE 3182535.628
AT ITER 970 NEW BEST:: SOT 24759250 SOS 6008797 HAS SOPS 6008797 HAS SOUS 3175695 HAS SOUPS 3175695 WITH SCORE 3181703.797
AT ITER 976 NEW BEST:: SOT 24758771 SOS 6008731 HAS SOPS 6008731 HAS SOUS 3175629 HAS SOUPS 3175629 WITH SCORE 3181637.731
AT ITER 978 NEW BEST:: SOT 24758770 SOS 6008614 HAS SOPS 6008614 HAS SOUS 3175512 HAS SOUPS 3175512 WITH SCORE 3181520.614
AT ITER 981 NEW BEST:: SOT 24758063 SOS 6008148 HAS SOPS 6008148 HAS SOUS 3175042 HAS SOUPS 3175042 WITH SCORE 3181050.148
AT ITER 986 NEW BEST:: SOT 24757768 SOS 6009877 HAS SOPS 6009877 HAS SOUS 3174786 HAS SOUPS 3174786 WITH SCORE 3180795.877
AT ITER 998 NEW BEST:: SOT 24757768 SOS 6010689 HAS SOPS 6010689 HAS SOUS 3174785 HAS SOUPS 3174785 WITH SCORE 3180795.689
AT ITER 1005 NEW BEST:: SOT 24757489 SOS 6010686 HAS SOPS 6010686 HAS SOUS 3174784 HAS SOUPS 3174784 WITH SCORE 3180794.686
AT ITER 1019 NEW BEST:: SOT 24757775 SOS 6013793 HAS SOPS 6013793 HAS SOUS 3174086 HAS SOUPS 3174086 WITH SCORE 3180099.793
AT ITER 1020 NEW BEST:: SOT 24757226 SOS 6015677 HAS SOPS 6015677 HAS SOUS 3173537 HAS SOUPS 3173537 WITH SCORE 3179552.677
AT ITER 1025 NEW BEST:: SOT 24757174 SOS 6015573 HAS SOPS 6015573 HAS SOUS 3173433 HAS SOUPS 3173433 WITH SCORE 3179448.573
AT ITER 1026 NEW BEST:: SOT 24756948 SOS 6015570 HAS SOPS 6015570 HAS SOUS 3173432 HAS SOUPS 3173432 WITH SCORE 3179447.57
AT ITER 1036 NEW BEST:: SOT 24756948 SOS 6018179 HAS SOPS 6018179 HAS SOUS 3173140 HAS SOUPS 3173140 WITH SCORE 3179158.179
AT ITER 1050 NEW BEST:: SOT 24755923 SOS 6017154 HAS SOPS 6017154 HAS SOUS 3172115 HAS SOUPS 3172115 WITH SCORE 3178132.154
AT ITER 1074 NEW BEST:: SOT 24755416 SOS 6014682 HAS SOPS 6014682 HAS SOUS 3171101 HAS SOUPS 3171101 WITH SCORE 3177115.682
AT ITER 1088 NEW BEST:: SOT 24755116 SOS 6014082 HAS SOPS 6014082 HAS SOUS 3170501 HAS SOUPS 3170501 WITH SCORE 3176515.082
AT ITER 1111 NEW BEST:: SOT 24755116 SOS 6014079 HAS SOPS 6014079 HAS SOUS 3170500 HAS SOUPS 3170500 WITH SCORE 3176514.079
AT ITER 1124 NEW BEST:: SOT 24755111 SOS 6014074 HAS SOPS 6014074 HAS SOUS 3170495 HAS SOUPS 3170495 WITH SCORE 3176509.074
AT ITER 1160 NEW BEST:: SOT 24754920 SOS 6013692 HAS SOPS 6013692 HAS SOUS 3170113 HAS SOUPS 3170113 WITH SCORE 3176126.692
AT ITER 1162 NEW BEST:: SOT 24754919 SOS 6013456 HAS SOPS 6013456 HAS SOUS 3170111 HAS SOUPS 3170111 WITH SCORE 3176124.456
AT ITER 1223 NEW BEST:: SOT 24754919 SOS 6013456 HAS SOPS 6013456 HAS SOUS 3170110 HAS SOUPS 3170110 WITH SCORE 3176123.456
AT ITER 1230 NEW BEST:: SOT 24755285 SOS 6022666 HAS SOPS 6022666 HAS SOUS 3169900 HAS SOUPS 3169900 WITH SCORE 3175922.666
AT ITER 1234 NEW BEST:: SOT 24754581 SOS 6022666 HAS SOPS 6022666 HAS SOUS 3168704 HAS SOUPS 3168704 WITH SCORE 3174726.666
AT ITER 1239 NEW BEST:: SOT 24754023 SOS 6022387 HAS SOPS 6022387 HAS SOUS 3168425 HAS SOUPS 3168425 WITH SCORE 3174447.387
AT ITER 1247 NEW BEST:: SOT 24754022 SOS 6022385 HAS SOPS 6022385 HAS SOUS 3168423 HAS SOUPS 3168423 WITH SCORE 3174445.385
AT ITER 1248 NEW BEST:: SOT 24753587 SOS 6027049 HAS SOPS 6027049 HAS SOUS 3167378 HAS SOUPS 3167378 WITH SCORE 3173405.049
AT ITER 1249 NEW BEST:: SOT 24753512 SOS 6026979 HAS SOPS 6026979 HAS SOUS 3167308 HAS SOUPS 3167308 WITH SCORE 3173334.979
AT ITER 1297 NEW BEST:: SOT 24752830 SOS 6025476 HAS SOPS 6025476 HAS SOUS 3166126 HAS SOUPS 3166126 WITH SCORE 3172151.476
AT ITER 1313 NEW BEST:: SOT 24752830 SOS 6026438 HAS SOPS 6026438 HAS SOUS 3166125 HAS SOUPS 3166125 WITH SCORE 3172151.438
AT ITER 1324 NEW BEST:: SOT 24752826 SOS 6027807 HAS SOPS 6027807 HAS SOUS 3166121 HAS SOUPS 3166121 WITH SCORE 3172148.807
AT ITER 1336 NEW BEST:: SOT 24752826 SOS 6027570 HAS SOPS 6027570 HAS SOUS 3166053 HAS SOUPS 3166053 WITH SCORE 3172080.57
AT ITER 1343 NEW BEST:: SOT 24752826 SOS 6028190 HAS SOPS 6028190 HAS SOUS 3166051 HAS SOUPS 3166051 WITH SCORE 3172079.19
AT ITER 1347 NEW BEST:: SOT 24752540 SOS 6031531 HAS SOPS 6031531 HAS SOUS 3166038 HAS SOUPS 3166038 WITH SCORE 3172069.531
AT ITER 1360 NEW BEST:: SOT 24752585 SOS 6030052 HAS SOPS 6030052 HAS SOUS 3165582 HAS SOUPS 3165582 WITH SCORE 3171612.052
AT ITER 1362 NEW BEST:: SOT 24752585 SOS 6032598 HAS SOPS 6032598 HAS SOUS 3165050 HAS SOUPS 3165050 WITH SCORE 3171082.598
AT ITER 1368 NEW BEST:: SOT 24752337 SOS 6032843 HAS SOPS 6032843 HAS SOUS 3164801 HAS SOUPS 3164801 WITH SCORE 3170833.843
AT ITER 1386 NEW BEST:: SOT 24751246 SOS 6031742 HAS SOPS 6031742 HAS SOUS 3163709 HAS SOUPS 3163709 WITH SCORE 3169740.742
AT ITER 1412 NEW BEST:: SOT 24750679 SOS 6032296 HAS SOPS 6032296 HAS SOUS 3163140 HAS SOUPS 3163140 WITH SCORE 3169172.296
AT ITER 1447 NEW BEST:: SOT 24750679 SOS 6031687 HAS SOPS 6031687 HAS SOUS 3162937 HAS SOUPS 3162937 WITH SCORE 3168968.687
AT ITER 1454 NEW BEST:: SOT 24750665 SOS 6031701 HAS SOPS 6031701 HAS SOUS 3162923 HAS SOUPS 3162923 WITH SCORE 3168954.701
AT ITER 1468 NEW BEST:: SOT 24750511 SOS 6031547 HAS SOPS 6031547 HAS SOUS 3162769 HAS SOUPS 3162769 WITH SCORE 3168800.547
AT ITER 1482 NEW BEST:: SOT 24750511 SOS 6030413 HAS SOPS 6030413 HAS SOUS 3162769 HAS SOUPS 3162769 WITH SCORE 3168799.413
AT ITER 1487 NEW BEST:: SOT 24750511 SOS 6030290 HAS SOPS 6030290 HAS SOUS 3162769 HAS SOUPS 3162769 WITH SCORE 3168799.29
AT ITER 1495 NEW BEST:: SOT 24749367 SOS 6029142 HAS SOPS 6029142 HAS SOUS 3161624 HAS SOUPS 3161624 WITH SCORE 3167653.142
AT ITER 1525 NEW BEST:: SOT 24750007 SOS 6022934 HAS SOPS 6022934 HAS SOUS 3159036 HAS SOUPS 3159036 WITH SCORE 3165058.934
AT ITER 1536 NEW BEST:: SOT 24750007 SOS 6022598 HAS SOPS 6022598 HAS SOUS 3158700 HAS SOUPS 3158700 WITH SCORE 3164722.598
AT ITER 1579 NEW BEST:: SOT 24749349 SOS 6022588 HAS SOPS 6022588 HAS SOUS 3158200 HAS SOUPS 3158200 WITH SCORE 3164222.588
AT ITER 1600 NEW BEST:: SOT 24748581 SOS 6021052 HAS SOPS 6021052 HAS SOUS 3156370 HAS SOUPS 3156370 WITH SCORE 3162391.052
AT ITER 1601 NEW BEST:: SOT 24748543 SOS 6020976 HAS SOPS 6020976 HAS SOUS 3156331 HAS SOUPS 3156331 WITH SCORE 3162351.976
AT ITER 1603 NEW BEST:: SOT 24747548 SOS 6020880 HAS SOPS 6020880 HAS SOUS 3156307 HAS SOUPS 3156307 WITH SCORE 3162327.88
AT ITER 1610 NEW BEST:: SOT 24747548 SOS 6020654 HAS SOPS 6020654 HAS SOUS 3156081 HAS SOUPS 3156081 WITH SCORE 3162101.654
AT ITER 1625 NEW BEST:: SOT 24747479 SOS 6020582 HAS SOPS 6020582 HAS SOUS 3156080 HAS SOUPS 3156080 WITH SCORE 3162100.582
AT ITER 1628 NEW BEST:: SOT 24747266 SOS 6019730 HAS SOPS 6019730 HAS SOUS 3155865 HAS SOUPS 3155865 WITH SCORE 3161884.73
AT ITER 1637 NEW BEST:: SOT 24747114 SOS 6019730 HAS SOPS 6019730 HAS SOUS 3155789 HAS SOUPS 3155789 WITH SCORE 3161808.73
AT ITER 1647 NEW BEST:: SOT 24747721 SOS 6020944 HAS SOPS 6020944 HAS SOUS 3155639 HAS SOUPS 3155639 WITH SCORE 3161659.944
AT ITER 1651 NEW BEST:: SOT 24747716 SOS 6020934 HAS SOPS 6020934 HAS SOUS 3155629 HAS SOUPS 3155629 WITH SCORE 3161649.934
AT ITER 1657 NEW BEST:: SOT 24744696 SOS 6009855 HAS SOPS 6009855 HAS SOUS 3154582 HAS SOUPS 3154582 WITH SCORE 3160591.855
AT ITER 1664 NEW BEST:: SOT 24745258 SOS 6010979 HAS SOPS 6010979 HAS SOUS 3154046 HAS SOUPS 3154046 WITH SCORE 3160056.979
AT ITER 1667 NEW BEST:: SOT 24745258 SOS 6010747 HAS SOPS 6010747 HAS SOUS 3153814 HAS SOUPS 3153814 WITH SCORE 3159824.747
AT ITER 1681 NEW BEST:: SOT 24745011 SOS 6010253 HAS SOPS 6010253 HAS SOUS 3153320 HAS SOUPS 3153320 WITH SCORE 3159330.253
AT ITER 1684 NEW BEST:: SOT 24743385 SOS 6007001 HAS SOPS 6007001 HAS SOUS 3150974 HAS SOUPS 3150974 WITH SCORE 3156981.001
AT ITER 1750 NEW BEST:: SOT 24743383 SOS 6006999 HAS SOPS 6006999 HAS SOUS 3150972 HAS SOUPS 3150972 WITH SCORE 3156978.999
AT ITER 1771 NEW BEST:: SOT 24742249 SOS 6005865 HAS SOPS 6005865 HAS SOUS 3149838 HAS SOUPS 3149838 WITH SCORE 3155843.865
AT ITER 1773 NEW BEST:: SOT 24740843 SOS 6004430 HAS SOPS 6004430 HAS SOUS 3148403 HAS SOUPS 3148403 WITH SCORE 3154407.43
AT ITER 1776 NEW BEST:: SOT 24740788 SOS 6004320 HAS SOPS 6004320 HAS SOUS 3148082 HAS SOUPS 3148082 WITH SCORE 3154086.32
AT ITER 1790 NEW BEST:: SOT 24740716 SOS 6004319 HAS SOPS 6004319 HAS SOUS 3148081 HAS SOUPS 3148081 WITH SCORE 3154085.319
AT ITER 1793 NEW BEST:: SOT 24740652 SOS 6004191 HAS SOPS 6004191 HAS SOUS 3148017 HAS SOUPS 3148017 WITH SCORE 3154021.191
AT ITER 1811 NEW BEST:: SOT 24740120 SOS 6005884 HAS SOPS 6005884 HAS SOUS 3147485 HAS SOUPS 3147485 WITH SCORE 3153490.884
AT ITER 1822 NEW BEST:: SOT 24739254 SOS 6005018 HAS SOPS 6005018 HAS SOUS 3146618 HAS SOUPS 3146618 WITH SCORE 3152623.018
AT ITER 1825 NEW BEST:: SOT 24737771 SOS 6003535 HAS SOPS 6003535 HAS SOUS 3145135 HAS SOUPS 3145135 WITH SCORE 3151138.535
AT ITER 1833 NEW BEST:: SOT 24737180 SOS 6003525 HAS SOPS 6003525 HAS SOUS 3144980 HAS SOUPS 3144980 WITH SCORE 3150983.525
AT ITER 1868 NEW BEST:: SOT 24737180 SOS 6003525 HAS SOPS 6003525 HAS SOUS 3144979 HAS SOUPS 3144979 WITH SCORE 3150982.525
AT ITER 1870 NEW BEST:: SOT 24735018 SOS 6000731 HAS SOPS 6000731 HAS SOUS 3141310 HAS SOUPS 3141310 WITH SCORE 3147310.731
AT ITER 1901 NEW BEST:: SOT 24734770 SOS 6000402 HAS SOPS 6000402 HAS SOUS 3140981 HAS SOUPS 3140981 WITH SCORE 3146981.402
AT ITER 1922 NEW BEST:: SOT 24734193 SOS 6000580 HAS SOPS 6000580 HAS SOUS 3140848 HAS SOUPS 3140848 WITH SCORE 3146848.58
AT ITER 1930 NEW BEST:: SOT 24734526 SOS 6001246 HAS SOPS 6001246 HAS SOUS 3140709 HAS SOUPS 3140709 WITH SCORE 3146710.246
AT ITER 1937 NEW BEST:: SOT 24734526 SOS 6000193 HAS SOPS 6000193 HAS SOUS 3140708 HAS SOUPS 3140708 WITH SCORE 3146708.193
AT ITER 1939 NEW BEST:: SOT 24734073 SOS 5999948 HAS SOPS 5999948 HAS SOUS 3140029 HAS SOUPS 3140029 WITH SCORE 3146028.948
AT ITER 1941 NEW BEST:: SOT 24733952 SOS 5998425 HAS SOPS 5998425 HAS SOUS 3139786 HAS SOUPS 3139786 WITH SCORE 3145784.425
AT ITER 1942 NEW BEST:: SOT 24733447 SOS 5998421 HAS SOPS 5998421 HAS SOUS 3139785 HAS SOUPS 3139785 WITH SCORE 3145783.421
AT ITER 1968 NEW BEST:: SOT 24733428 SOS 5998383 HAS SOPS 5998383 HAS SOUS 3139747 HAS SOUPS 3139747 WITH SCORE 3145745.383
AT ITER 1980 NEW BEST:: SOT 24733428 SOS 6005948 HAS SOPS 6005948 HAS SOUS 3139635 HAS SOUPS 3139635 WITH SCORE 3145640.948
AT ITER 2000 NEW BEST:: SOT 24731919 SOS 6004816 HAS SOPS 6004816 HAS SOUS 3138230 HAS SOUPS 3138230 WITH SCORE 3144234.816
AT ITER 2004 NEW BEST:: SOT 24731918 SOS 6006901 HAS SOPS 6006901 HAS SOUS 3138227 HAS SOUPS 3138227 WITH SCORE 3144233.901
AT ITER 2014 NEW BEST:: SOT 24731916 SOS 6006897 HAS SOPS 6006897 HAS SOUS 3138223 HAS SOUPS 3138223 WITH SCORE 3144229.897
AT ITER 2037 NEW BEST:: SOT 24730477 SOS 6005544 HAS SOPS 6005544 HAS SOUS 3136826 HAS SOUPS 3136826 WITH SCORE 3142831.544
AT ITER 2041 NEW BEST:: SOT 24730477 SOS 6005665 HAS SOPS 6005665 HAS SOUS 3136825 HAS SOUPS 3136825 WITH SCORE 3142830.665
AT ITER 2051 NEW BEST:: SOT 24729537 SOS 6004585 HAS SOPS 6004585 HAS SOUS 3135884 HAS SOUPS 3135884 WITH SCORE 3141888.585
AT ITER 2054 NEW BEST:: SOT 24729289 SOS 6006321 HAS SOPS 6006321 HAS SOUS 3135636 HAS SOUPS 3135636 WITH SCORE 3141642.321
AT ITER 2087 NEW BEST:: SOT 24729289 SOS 6005363 HAS SOPS 6005363 HAS SOUS 3135636 HAS SOUPS 3135636 WITH SCORE 3141641.363
AT ITER 2088 NEW BEST:: SOT 24729158 SOS 6005625 HAS SOPS 6005625 HAS SOUS 3135505 HAS SOUPS 3135505 WITH SCORE 3141510.625
AT ITER 2097 NEW BEST:: SOT 24728527 SOS 6005615 HAS SOPS 6005615 HAS SOUS 3135338 HAS SOUPS 3135338 WITH SCORE 3141343.615
AT ITER 2109 NEW BEST:: SOT 24728527 SOS 6004088 HAS SOPS 6004088 HAS SOUS 3134829 HAS SOUPS 3134829 WITH SCORE 3140833.088
AT ITER 2196 NEW BEST:: SOT 24728648 SOS 6002218 HAS SOPS 6002218 HAS SOUS 3134306 HAS SOUPS 3134306 WITH SCORE 3140308.218
AT ITER 2201 NEW BEST:: SOT 24728647 SOS 6002216 HAS SOPS 6002216 HAS SOUS 3134304 HAS SOUPS 3134304 WITH SCORE 3140306.216
AT ITER 2205 NEW BEST:: SOT 24728064 SOS 6002795 HAS SOPS 6002795 HAS SOUS 3133137 HAS SOUPS 3133137 WITH SCORE 3139139.795
AT ITER 2227 NEW BEST:: SOT 24727141 SOS 6001868 HAS SOPS 6001868 HAS SOUS 3132213 HAS SOUPS 3132213 WITH SCORE 3138214.868
AT ITER 2248 NEW BEST:: SOT 24726711 SOS 6004868 HAS SOPS 6004868 HAS SOUS 3131352 HAS SOUPS 3131352 WITH SCORE 3137356.868
AT ITER 2271 NEW BEST:: SOT 24726711 SOS 6004722 HAS SOPS 6004722 HAS SOUS 3131279 HAS SOUPS 3131279 WITH SCORE 3137283.722
AT ITER 2276 NEW BEST:: SOT 24726373 SOS 6003370 HAS SOPS 6003370 HAS SOUS 3130603 HAS SOUPS 3130603 WITH SCORE 3136606.37
AT ITER 2281 NEW BEST:: SOT 24726373 SOS 6003052 HAS SOPS 6003052 HAS SOUS 3130497 HAS SOUPS 3130497 WITH SCORE 3136500.052
AT ITER 2284 NEW BEST:: SOT 24726373 SOS 6004323 HAS SOPS 6004323 HAS SOUS 3130224 HAS SOUPS 3130224 WITH SCORE 3136228.323
AT ITER 2299 NEW BEST:: SOT 24724146 SOS 6002095 HAS SOPS 6002095 HAS SOUS 3127996 HAS SOUPS 3127996 WITH SCORE 3133998.095
AT ITER 2326 NEW BEST:: SOT 24723857 SOS 6002225 HAS SOPS 6002225 HAS SOUS 3127772 HAS SOUPS 3127772 WITH SCORE 3133774.225
AT ITER 2338 NEW BEST:: SOT 24719758 SOS 5997891 HAS SOPS 5997891 HAS SOUS 3124216 HAS SOUPS 3124216 WITH SCORE 3130213.891
AT ITER 2339 NEW BEST:: SOT 24719495 SOS 5998403 HAS SOPS 5998403 HAS SOUS 3123951 HAS SOUPS 3123951 WITH SCORE 3129949.403
AT ITER 2341 NEW BEST:: SOT 24718715 SOS 5996288 HAS SOPS 5996288 HAS SOUS 3121686 HAS SOUPS 3121686 WITH SCORE 3127682.288
AT ITER 2347 NEW BEST:: SOT 24719017 SOS 5995596 HAS SOPS 5995596 HAS SOUS 3121492 HAS SOUPS 3121492 WITH SCORE 3127487.596
AT ITER 2349 NEW BEST:: SOT 24719054 SOS 5993897 HAS SOPS 5993897 HAS SOUS 3121078 HAS SOUPS 3121078 WITH SCORE 3127071.897
AT ITER 2355 NEW BEST:: SOT 24719054 SOS 5993567 HAS SOPS 5993567 HAS SOUS 3120898 HAS SOUPS 3120898 WITH SCORE 3126891.567
AT ITER 2410 NEW BEST:: SOT 24718431 SOS 5994177 HAS SOPS 5994177 HAS SOUS 3120273 HAS SOUPS 3120273 WITH SCORE 3126267.177
AT ITER 2411 NEW BEST:: SOT 24717920 SOS 5993713 HAS SOPS 5993713 HAS SOUS 3119797 HAS SOUPS 3119797 WITH SCORE 3125790.713
AT ITER 2418 NEW BEST:: SOT 24717399 SOS 5993835 HAS SOPS 5993835 HAS SOUS 3119681 HAS SOUPS 3119681 WITH SCORE 3125674.835
AT ITER 2421 NEW BEST:: SOT 24716569 SOS 5993724 HAS SOPS 5993724 HAS SOUS 3117910 HAS SOUPS 3117910 WITH SCORE 3123903.724
AT ITER 2451 NEW BEST:: SOT 24716282 SOS 5993150 HAS SOPS 5993150 HAS SOUS 3117336 HAS SOUPS 3117336 WITH SCORE 3123329.15
AT ITER 2469 NEW BEST:: SOT 24716282 SOS 5992894 HAS SOPS 5992894 HAS SOUS 3117208 HAS SOUPS 3117208 WITH SCORE 3123200.894
AT ITER 2503 NEW BEST:: SOT 24715577 SOS 5992521 HAS SOPS 5992521 HAS SOUS 3116834 HAS SOUPS 3116834 WITH SCORE 3122826.521
AT ITER 2520 NEW BEST:: SOT 24715577 SOS 5990916 HAS SOPS 5990916 HAS SOUS 3116299 HAS SOUPS 3116299 WITH SCORE 3122289.916
AT ITER 2552 NEW BEST:: SOT 24714873 SOS 5990212 HAS SOPS 5990212 HAS SOUS 3115595 HAS SOUPS 3115595 WITH SCORE 3121585.212
AT ITER 2576 NEW BEST:: SOT 24714864 SOS 5991911 HAS SOPS 5991911 HAS SOUS 3115576 HAS SOUPS 3115576 WITH SCORE 3121567.911
AT ITER 2615 NEW BEST:: SOT 24714864 SOS 5991629 HAS SOPS 5991629 HAS SOUS 3115294 HAS SOUPS 3115294 WITH SCORE 3121285.629
AT ITER 2626 NEW BEST:: SOT 24714586 SOS 5991490 HAS SOPS 5991490 HAS SOUS 3115155 HAS SOUPS 3115155 WITH SCORE 3121146.49
AT ITER 2631 NEW BEST:: SOT 24714470 SOS 5991248 HAS SOPS 5991248 HAS SOUS 3114922 HAS SOUPS 3114922 WITH SCORE 3120913.248
AT ITER 2636 NEW BEST:: SOT 24714467 SOS 5991242 HAS SOPS 5991242 HAS SOUS 3114916 HAS SOUPS 3114916 WITH SCORE 3120907.242
AT ITER 2645 NEW BEST:: SOT 24714383 SOS 5991074 HAS SOPS 5991074 HAS SOUS 3114412 HAS SOUPS 3114412 WITH SCORE 3120403.074
AT ITER 2664 NEW BEST:: SOT 24714383 SOS 5992462 HAS SOPS 5992462 HAS SOUS 3113976 HAS SOUPS 3113976 WITH SCORE 3119968.462
AT ITER 2694 NEW BEST:: SOT 24714382 SOS 5991708 HAS SOPS 5991708 HAS SOUS 3113468 HAS SOUPS 3113468 WITH SCORE 3119459.708
AT ITER 2697 NEW BEST:: SOT 24714215 SOS 5993317 HAS SOPS 5993317 HAS SOUS 3113133 HAS SOUPS 3113133 WITH SCORE 3119126.317
AT ITER 2701 NEW BEST:: SOT 24713366 SOS 5991619 HAS SOPS 5991619 HAS SOUS 3112073 HAS SOUPS 3112073 WITH SCORE 3118064.619
AT ITER 2717 NEW BEST:: SOT 24713283 SOS 5991453 HAS SOPS 5991453 HAS SOUS 3111990 HAS SOUPS 3111990 WITH SCORE 3117981.453
AT ITER 2723 NEW BEST:: SOT 24712675 SOS 5989607 HAS SOPS 5989607 HAS SOUS 3110774 HAS SOUPS 3110774 WITH SCORE 3116763.607
AT ITER 2732 NEW BEST:: SOT 24712675 SOS 5990184 HAS SOPS 5990184 HAS SOUS 3110483 HAS SOUPS 3110483 WITH SCORE 3116473.184
AT ITER 2739 NEW BEST:: SOT 24711212 SOS 5995947 HAS SOPS 5995947 HAS SOUS 3107925 HAS SOUPS 3107925 WITH SCORE 3113920.947
AT ITER 2757 NEW BEST:: SOT 24710867 SOS 5996633 HAS SOPS 5996633 HAS SOUS 3107579 HAS SOUPS 3107579 WITH SCORE 3113575.633
AT ITER 2799 NEW BEST:: SOT 24710867 SOS 5996114 HAS SOPS 5996114 HAS SOUS 3107579 HAS SOUPS 3107579 WITH SCORE 3113575.114
AT ITER 2843 NEW BEST:: SOT 24710867 SOS 5994791 HAS SOPS 5994791 HAS SOUS 3107138 HAS SOUPS 3107138 WITH SCORE 3113132.791
AT ITER 2845 NEW BEST:: SOT 24710678 SOS 5994413 HAS SOPS 5994413 HAS SOUS 3106760 HAS SOUPS 3106760 WITH SCORE 3112754.413
AT ITER 2848 NEW BEST:: SOT 24710678 SOS 5994413 HAS SOPS 5994413 HAS SOUS 3106759 HAS SOUPS 3106759 WITH SCORE 3112753.413
AT ITER 2860 NEW BEST:: SOT 24708981 SOS 5993893 HAS SOPS 5993893 HAS SOUS 3105062 HAS SOUPS 3105062 WITH SCORE 3111055.893
AT ITER 2905 NEW BEST:: SOT 24708981 SOS 5992861 HAS SOPS 5992861 HAS SOUS 3105062 HAS SOUPS 3105062 WITH SCORE 3111054.861
AT ITER 2907 NEW BEST:: SOT 24708805 SOS 5992685 HAS SOPS 5992685 HAS SOUS 3104886 HAS SOUPS 3104886 WITH SCORE 3110878.685
AT ITER 2911 NEW BEST:: SOT 24708658 SOS 5992391 HAS SOPS 5992391 HAS SOUS 3104592 HAS SOUPS 3104592 WITH SCORE 3110584.391
AT ITER 2963 NEW BEST:: SOT 24708343 SOS 5992818 HAS SOPS 5992818 HAS SOUS 3104359 HAS SOUPS 3104359 WITH SCORE 3110351.818
AT ITER 2987 NEW BEST:: SOT 24708342 SOS 5992816 HAS SOPS 5992816 HAS SOUS 3104357 HAS SOUPS 3104357 WITH SCORE 3110349.816
AT ITER 2991 NEW BEST:: SOT 24708078 SOS 5988592 HAS SOPS 5988592 HAS SOUS 3103565 HAS SOUPS 3103565 WITH SCORE 3109553.592
AT ITER 2993 NEW BEST:: SOT 24707359 SOS 5987882 HAS SOPS 5987882 HAS SOUS 3102855 HAS SOUPS 3102855 WITH SCORE 3108842.882
AT ITER 2998 NEW BEST:: SOT 24707487 SOS 5987530 HAS SOPS 5987530 HAS SOUS 3102503 HAS SOUPS 3102503 WITH SCORE 3108490.53
AT ITER 3015 NEW BEST:: SOT 24706639 SOS 5986709 HAS SOPS 5986709 HAS SOUS 3101655 HAS SOUPS 3101655 WITH SCORE 3107641.709
AT ITER 3029 NEW BEST:: SOT 24706328 SOS 5986565 HAS SOPS 5986565 HAS SOUS 3101344 HAS SOUPS 3101344 WITH SCORE 3107330.565
AT ITER 3041 NEW BEST:: SOT 24705561 SOS 5986562 HAS SOPS 5986562 HAS SOUS 3099809 HAS SOUPS 3099809 WITH SCORE 3105795.562
AT ITER 3053 NEW BEST:: SOT 24705559 SOS 5986558 HAS SOPS 5986558 HAS SOUS 3099805 HAS SOUPS 3099805 WITH SCORE 3105791.558
AT ITER 3076 NEW BEST:: SOT 24705545 SOS 5986650 HAS SOPS 5986650 HAS SOUS 3099789 HAS SOUPS 3099789 WITH SCORE 3105775.65
AT ITER 3088 NEW BEST:: SOT 24705057 SOS 5986162 HAS SOPS 5986162 HAS SOUS 3098813 HAS SOUPS 3098813 WITH SCORE 3104799.162
AT ITER 3089 NEW BEST:: SOT 24704764 SOS 5986748 HAS SOPS 5986748 HAS SOUS 3098520 HAS SOUPS 3098520 WITH SCORE 3104506.748
AT ITER 3121 NEW BEST:: SOT 24704689 SOS 5986598 HAS SOPS 5986598 HAS SOUS 3098445 HAS SOUPS 3098445 WITH SCORE 3104431.598
AT ITER 3128 NEW BEST:: SOT 24704471 SOS 5986162 HAS SOPS 5986162 HAS SOUS 3098227 HAS SOUPS 3098227 WITH SCORE 3104213.162
AT ITER 3154 NEW BEST:: SOT 24703772 SOS 5977774 HAS SOPS 5977774 HAS SOUS 3096564 HAS SOUPS 3096564 WITH SCORE 3102541.774
AT ITER 3179 NEW BEST:: SOT 24703331 SOS 5977333 HAS SOPS 5977333 HAS SOUS 3096123 HAS SOUPS 3096123 WITH SCORE 3102100.333
AT ITER 3182 NEW BEST:: SOT 24703331 SOS 5976400 HAS SOPS 5976400 HAS SOUS 3095812 HAS SOUPS 3095812 WITH SCORE 3101788.4
AT ITER 3190 NEW BEST:: SOT 24703055 SOS 5979824 HAS SOPS 5979824 HAS SOUS 3095542 HAS SOUPS 3095542 WITH SCORE 3101521.824
AT ITER 3209 NEW BEST:: SOT 24703055 SOS 5979440 HAS SOPS 5979440 HAS SOUS 3095542 HAS SOUPS 3095542 WITH SCORE 3101521.44
AT ITER 3213 NEW BEST:: SOT 24702655 SOS 5979040 HAS SOPS 5979040 HAS SOUS 3095542 HAS SOUPS 3095542 WITH SCORE 3101521.04
AT ITER 3233 NEW BEST:: SOT 24702757 SOS 5981337 HAS SOPS 5981337 HAS SOUS 3095024 HAS SOUPS 3095024 WITH SCORE 3101005.337
AT ITER 3242 NEW BEST:: SOT 24702427 SOS 5981006 HAS SOPS 5981006 HAS SOUS 3094693 HAS SOUPS 3094693 WITH SCORE 3100674.006
AT ITER 3245 NEW BEST:: SOT 24703867 SOS 5984462 HAS SOPS 5984462 HAS SOUS 3094117 HAS SOUPS 3094117 WITH SCORE 3100101.462
AT ITER 3253 NEW BEST:: SOT 24703867 SOS 5984831 HAS SOPS 5984831 HAS SOUS 3094116 HAS SOUPS 3094116 WITH SCORE 3100100.831
AT ITER 3255 NEW BEST:: SOT 24703867 SOS 5984831 HAS SOPS 5984831 HAS SOUS 3093988 HAS SOUPS 3093988 WITH SCORE 3099972.831
AT ITER 3264 NEW BEST:: SOT 24703406 SOS 5983909 HAS SOPS 5983909 HAS SOUS 3093525 HAS SOUPS 3093525 WITH SCORE 3099508.909
AT ITER 3267 NEW BEST:: SOT 24703443 SOS 5983983 HAS SOPS 5983983 HAS SOUS 3093427 HAS SOUPS 3093427 WITH SCORE 3099410.983
AT ITER 3275 NEW BEST:: SOT 24703443 SOS 5983601 HAS SOPS 5983601 HAS SOUS 3092529 HAS SOUPS 3092529 WITH SCORE 3098512.601
AT ITER 3289 NEW BEST:: SOT 24703483 SOS 5983911 HAS SOPS 5983911 HAS SOUS 3092528 HAS SOUPS 3092528 WITH SCORE 3098511.911
AT ITER 3309 NEW BEST:: SOT 24703483 SOS 5984041 HAS SOPS 5984041 HAS SOUS 3092527 HAS SOUPS 3092527 WITH SCORE 3098511.041
AT ITER 3339 NEW BEST:: SOT 24702745 SOS 5982565 HAS SOPS 5982565 HAS SOUS 3090896 HAS SOUPS 3090896 WITH SCORE 3096878.565
AT ITER 3347 NEW BEST:: SOT 24702709 SOS 5982493 HAS SOPS 5982493 HAS SOUS 3090824 HAS SOUPS 3090824 WITH SCORE 3096806.493
AT ITER 3348 NEW BEST:: SOT 24702709 SOS 5982436 HAS SOPS 5982436 HAS SOUS 3090767 HAS SOUPS 3090767 WITH SCORE 3096749.436
AT ITER 3359 NEW BEST:: SOT 24702709 SOS 5982344 HAS SOPS 5982344 HAS SOUS 3090721 HAS SOUPS 3090721 WITH SCORE 3096703.344
AT ITER 3364 NEW BEST:: SOT 24701983 SOS 5981618 HAS SOPS 5981618 HAS SOUS 3089995 HAS SOUPS 3089995 WITH SCORE 3095976.618
AT ITER 3372 NEW BEST:: SOT 24701107 SOS 5981365 HAS SOPS 5981365 HAS SOUS 3088525 HAS SOUPS 3088525 WITH SCORE 3094506.365
AT ITER 3376 NEW BEST:: SOT 24699343 SOS 5980042 HAS SOPS 5980042 HAS SOUS 3088525 HAS SOUPS 3088525 WITH SCORE 3094505.042
AT ITER 3380 NEW BEST:: SOT 24699183 SOS 5980039 HAS SOPS 5980039 HAS SOUS 3088524 HAS SOUPS 3088524 WITH SCORE 3094504.039
AT ITER 3394 NEW BEST:: SOT 24698952 SOS 5980270 HAS SOPS 5980270 HAS SOUS 3088293 HAS SOUPS 3088293 WITH SCORE 3094273.27
AT ITER 3411 NEW BEST:: SOT 24698810 SOS 5980235 HAS SOPS 5980235 HAS SOUS 3088243 HAS SOUPS 3088243 WITH SCORE 3094223.235
AT ITER 3422 NEW BEST:: SOT 24698316 SOS 5980231 HAS SOPS 5980231 HAS SOUS 3087777 HAS SOUPS 3087777 WITH SCORE 3093757.231
AT ITER 3448 NEW BEST:: SOT 24698047 SOS 5979831 HAS SOPS 5979831 HAS SOUS 3087377 HAS SOUPS 3087377 WITH SCORE 3093356.831
AT ITER 3453 NEW BEST:: SOT 24697763 SOS 5979547 HAS SOPS 5979547 HAS SOUS 3087093 HAS SOUPS 3087093 WITH SCORE 3093072.547
AT ITER 3507 NEW BEST:: SOT 24697745 SOS 5979511 HAS SOPS 5979511 HAS SOUS 3087057 HAS SOUPS 3087057 WITH SCORE 3093036.511
AT ITER 3537 NEW BEST:: SOT 24697745 SOS 5979511 HAS SOPS 5979511 HAS SOUS 3086500 HAS SOUPS 3086500 WITH SCORE 3092479.511
AT ITER 3557 NEW BEST:: SOT 24697435 SOS 5979356 HAS SOPS 5979356 HAS SOUS 3086345 HAS SOUPS 3086345 WITH SCORE 3092324.356
AT ITER 3563 NEW BEST:: SOT 24697311 SOS 5979108 HAS SOPS 5979108 HAS SOUS 3086220 HAS SOUPS 3086220 WITH SCORE 3092199.108
AT ITER 3584 NEW BEST:: SOT 24697191 SOS 5978868 HAS SOPS 5978868 HAS SOUS 3085980 HAS SOUPS 3085980 WITH SCORE 3091958.868
AT ITER 3588 NEW BEST:: SOT 24696949 SOS 5978611 HAS SOPS 5978611 HAS SOUS 3085738 HAS SOUPS 3085738 WITH SCORE 3091716.611
AT ITER 3592 NEW BEST:: SOT 24696460 SOS 5977633 HAS SOPS 5977633 HAS SOUS 3084284 HAS SOUPS 3084284 WITH SCORE 3090261.633
AT ITER 3604 NEW BEST:: SOT 24696415 SOS 5977543 HAS SOPS 5977543 HAS SOUS 3084194 HAS SOUPS 3084194 WITH SCORE 3090171.543
AT ITER 3629 NEW BEST:: SOT 24696311 SOS 5977439 HAS SOPS 5977439 HAS SOUS 3084090 HAS SOUPS 3084090 WITH SCORE 3090067.439
AT ITER 3656 NEW BEST:: SOT 24696311 SOS 5977172 HAS SOPS 5977172 HAS SOUS 3084090 HAS SOUPS 3084090 WITH SCORE 3090067.172
AT ITER 3699 NEW BEST:: SOT 24694657 SOS 5975988 HAS SOPS 5975988 HAS SOUS 3082010 HAS SOUPS 3082010 WITH SCORE 3087985.988
AT ITER 3722 NEW BEST:: SOT 24694657 SOS 5982809 HAS SOPS 5982809 HAS SOUS 3081586 HAS SOUPS 3081586 WITH SCORE 3087568.809
AT ITER 3729 NEW BEST:: SOT 24694870 SOS 5981870 HAS SOPS 5981870 HAS SOUS 3081557 HAS SOUPS 3081557 WITH SCORE 3087538.87
AT ITER 3732 NEW BEST:: SOT 24694870 SOS 5981870 HAS SOPS 5981870 HAS SOUS 3081556 HAS SOUPS 3081556 WITH SCORE 3087537.87
AT ITER 3770 NEW BEST:: SOT 24694870 SOS 5981870 HAS SOPS 5981870 HAS SOUS 3081434 HAS SOUPS 3081434 WITH SCORE 3087415.87
AT ITER 3802 NEW BEST:: SOT 24694488 SOS 5982330 HAS SOPS 5982330 HAS SOUS 3081368 HAS SOUPS 3081368 WITH SCORE 3087350.33
AT ITER 3809 NEW BEST:: SOT 24694488 SOS 5982139 HAS SOPS 5982139 HAS SOUS 3081177 HAS SOUPS 3081177 WITH SCORE 3087159.139
AT ITER 3811 NEW BEST:: SOT 24694468 SOS 5982100 HAS SOPS 5982100 HAS SOUS 3081138 HAS SOUPS 3081138 WITH SCORE 3087120.1
AT ITER 3823 NEW BEST:: SOT 24694468 SOS 5982948 HAS SOPS 5982948 HAS SOUS 3081137 HAS SOUPS 3081137 WITH SCORE 3087119.948
AT ITER 3831 NEW BEST:: SOT 24694468 SOS 5982561 HAS SOPS 5982561 HAS SOUS 3081137 HAS SOUPS 3081137 WITH SCORE 3087119.561
AT ITER 3870 NEW BEST:: SOT 24694338 SOS 5981131 HAS SOPS 5981131 HAS SOUS 3080877 HAS SOUPS 3080877 WITH SCORE 3086858.131
AT ITER 3873 NEW BEST:: SOT 24694133 SOS 5980926 HAS SOPS 5980926 HAS SOUS 3080877 HAS SOUPS 3080877 WITH SCORE 3086857.926
AT ITER 3922 NEW BEST:: SOT 24694133 SOS 5980919 HAS SOPS 5980919 HAS SOUS 3080870 HAS SOUPS 3080870 WITH SCORE 3086850.919
AT ITER 3935 NEW BEST:: SOT 24693811 SOS 5980597 HAS SOPS 5980597 HAS SOUS 3080548 HAS SOUPS 3080548 WITH SCORE 3086528.597
AT ITER 3940 NEW BEST:: SOT 24693811 SOS 5980520 HAS SOPS 5980520 HAS SOUS 3080471 HAS SOUPS 3080471 WITH SCORE 3086451.52
AT ITER 3949 NEW BEST:: SOT 24693645 SOS 5979620 HAS SOPS 5979620 HAS SOUS 3080423 HAS SOUPS 3080423 WITH SCORE 3086402.62
AT ITER 3950 NEW BEST:: SOT 24693177 SOS 5978684 HAS SOPS 5978684 HAS SOUS 3079487 HAS SOUPS 3079487 WITH SCORE 3085465.684
AT ITER 3977 NEW BEST:: SOT 24691932 SOS 5977164 HAS SOPS 5977164 HAS SOUS 3077911 HAS SOUPS 3077911 WITH SCORE 3083888.164
AT ITER 3984 NEW BEST:: SOT 24691932 SOS 5975526 HAS SOPS 5975526 HAS SOUS 3077910 HAS SOUPS 3077910 WITH SCORE 3083885.526
AT ITER 3989 NEW BEST:: SOT 24691932 SOS 5975525 HAS SOPS 5975525 HAS SOUS 3077909 HAS SOUPS 3077909 WITH SCORE 3083884.525
AT ITER 3995 NEW BEST:: SOT 24691901 SOS 5975463 HAS SOPS 5975463 HAS SOUS 3077847 HAS SOUPS 3077847 WITH SCORE 3083822.463
AT ITER 4057 NEW BEST:: SOT 24691687 SOS 5975828 HAS SOPS 5975828 HAS SOUS 3077827 HAS SOUPS 3077827 WITH SCORE 3083802.828
AT ITER 4079 NEW BEST:: SOT 24691582 SOS 5975723 HAS SOPS 5975723 HAS SOUS 3077722 HAS SOUPS 3077722 WITH SCORE 3083697.723
AT ITER 4091 NEW BEST:: SOT 24691582 SOS 5976433 HAS SOPS 5976433 HAS SOUS 3077721 HAS SOUPS 3077721 WITH SCORE 3083697.433
AT ITER 4150 NEW BEST:: SOT 24691582 SOS 5975949 HAS SOPS 5975949 HAS SOUS 3077479 HAS SOUPS 3077479 WITH SCORE 3083454.949
AT ITER 4181 NEW BEST:: SOT 24691582 SOS 5975801 HAS SOPS 5975801 HAS SOUS 3077331 HAS SOUPS 3077331 WITH SCORE 3083306.801
AT ITER 4197 NEW BEST:: SOT 24690456 SOS 5975205 HAS SOPS 5975205 HAS SOUS 3075377 HAS SOUPS 3075377 WITH SCORE 3081352.205
AT ITER 4204 NEW BEST:: SOT 24690456 SOS 5976275 HAS SOPS 5976275 HAS SOUS 3075375 HAS SOUPS 3075375 WITH SCORE 3081351.275
AT ITER 4221 NEW BEST:: SOT 24690456 SOS 5976237 HAS SOPS 5976237 HAS SOUS 3075337 HAS SOUPS 3075337 WITH SCORE 3081313.237
AT ITER 4238 NEW BEST:: SOT 24690568 SOS 5975033 HAS SOPS 5975033 HAS SOUS 3074133 HAS SOUPS 3074133 WITH SCORE 3080108.033
AT ITER 4244 NEW BEST:: SOT 24690617 SOS 5974935 HAS SOPS 5974935 HAS SOUS 3074133 HAS SOUPS 3074133 WITH SCORE 3080107.935
AT ITER 4276 NEW BEST:: SOT 24690363 SOS 5974758 HAS SOPS 5974758 HAS SOUS 3073335 HAS SOUPS 3073335 WITH SCORE 3079309.758
AT ITER 4292 NEW BEST:: SOT 24690067 SOS 5972386 HAS SOPS 5972386 HAS SOUS 3072742 HAS SOUPS 3072742 WITH SCORE 3078714.386
AT ITER 4302 NEW BEST:: SOT 24689998 SOS 5972241 HAS SOPS 5972241 HAS SOUS 3072597 HAS SOUPS 3072597 WITH SCORE 3078569.241
AT ITER 4322 NEW BEST:: SOT 24689998 SOS 5971494 HAS SOPS 5971494 HAS SOUS 3072596 HAS SOUPS 3072596 WITH SCORE 3078567.494
AT ITER 4329 NEW BEST:: SOT 24689043 SOS 5971176 HAS SOPS 5971176 HAS SOUS 3071875 HAS SOUPS 3071875 WITH SCORE 3077846.176
AT ITER 4335 NEW BEST:: SOT 24689043 SOS 5970972 HAS SOPS 5970972 HAS SOUS 3071807 HAS SOUPS 3071807 WITH SCORE 3077777.972
AT ITER 4364 NEW BEST:: SOT 24689043 SOS 5970972 HAS SOPS 5970972 HAS SOUS 3071559 HAS SOUPS 3071559 WITH SCORE 3077529.972
AT ITER 4367 NEW BEST:: SOT 24689212 SOS 5970551 HAS SOPS 5970551 HAS SOUS 3071475 HAS SOUPS 3071475 WITH SCORE 3077445.551
AT ITER 4370 NEW BEST:: SOT 24688315 SOS 5971128 HAS SOPS 5971128 HAS SOUS 3069435 HAS SOUPS 3069435 WITH SCORE 3075406.128
AT ITER 4373 NEW BEST:: SOT 24688314 SOS 5971126 HAS SOPS 5971126 HAS SOUS 3069433 HAS SOUPS 3069433 WITH SCORE 3075404.126
AT ITER 4376 NEW BEST:: SOT 24688293 SOS 5971000 HAS SOPS 5971000 HAS SOUS 3069391 HAS SOUPS 3069391 WITH SCORE 3075362.0
AT ITER 4418 NEW BEST:: SOT 24688293 SOS 5970997 HAS SOPS 5970997 HAS SOUS 3069390 HAS SOUPS 3069390 WITH SCORE 3075360.997
AT ITER 4427 NEW BEST:: SOT 24686577 SOS 5969281 HAS SOPS 5969281 HAS SOUS 3067674 HAS SOUPS 3067674 WITH SCORE 3073643.281
AT ITER 4441 NEW BEST:: SOT 24686335 SOS 5971207 HAS SOPS 5971207 HAS SOUS 3067431 HAS SOUPS 3067431 WITH SCORE 3073402.207
AT ITER 4446 NEW BEST:: SOT 24685336 SOS 5970429 HAS SOPS 5970429 HAS SOUS 3066614 HAS SOUPS 3066614 WITH SCORE 3072584.429
AT ITER 4453 NEW BEST:: SOT 24685336 SOS 5966319 HAS SOPS 5966319 HAS SOUS 3066614 HAS SOUPS 3066614 WITH SCORE 3072580.319
AT ITER 4519 NEW BEST:: SOT 24685336 SOS 5966319 HAS SOPS 5966319 HAS SOUS 3066613 HAS SOUPS 3066613 WITH SCORE 3072579.319
AT ITER 4524 NEW BEST:: SOT 24685336 SOS 5965206 HAS SOPS 5965206 HAS SOUS 3066611 HAS SOUPS 3066611 WITH SCORE 3072576.206
AT ITER 4534 NEW BEST:: SOT 24685129 SOS 5964792 HAS SOPS 5964792 HAS SOUS 3066403 HAS SOUPS 3066403 WITH SCORE 3072367.792
AT ITER 4541 NEW BEST:: SOT 24685010 SOS 5964702 HAS SOPS 5964702 HAS SOUS 3066348 HAS SOUPS 3066348 WITH SCORE 3072312.702
AT ITER 4549 NEW BEST:: SOT 24683725 SOS 5964568 HAS SOPS 5964568 HAS SOUS 3066031 HAS SOUPS 3066031 WITH SCORE 3071995.568
AT ITER 4585 NEW BEST:: SOT 24683725 SOS 5965218 HAS SOPS 5965218 HAS SOUS 3065995 HAS SOUPS 3065995 WITH SCORE 3071960.218
AT ITER 4589 NEW BEST:: SOT 24682733 SOS 5964321 HAS SOPS 5964321 HAS SOUS 3065098 HAS SOUPS 3065098 WITH SCORE 3071062.321
AT ITER 4596 NEW BEST:: SOT 24682733 SOS 5964345 HAS SOPS 5964345 HAS SOUS 3065097 HAS SOUPS 3065097 WITH SCORE 3071061.345
AT ITER 4604 NEW BEST:: SOT 24682534 SOS 5964011 HAS SOPS 5964011 HAS SOUS 3064962 HAS SOUPS 3064962 WITH SCORE 3070926.011
AT ITER 4640 NEW BEST:: SOT 24681559 SOS 5961354 HAS SOPS 5961354 HAS SOUS 3064399 HAS SOUPS 3064399 WITH SCORE 3070360.354
AT ITER 4645 NEW BEST:: SOT 24681277 SOS 5960790 HAS SOPS 5960790 HAS SOUS 3063835 HAS SOUPS 3063835 WITH SCORE 3069795.79
AT ITER 4650 NEW BEST:: SOT 24680760 SOS 5959756 HAS SOPS 5959756 HAS SOUS 3063233 HAS SOUPS 3063233 WITH SCORE 3069192.756
AT ITER 4661 NEW BEST:: SOT 24680760 SOS 5959756 HAS SOPS 5959756 HAS SOUS 3063231 HAS SOUPS 3063231 WITH SCORE 3069190.756
AT ITER 4678 NEW BEST:: SOT 24680611 SOS 5959160 HAS SOPS 5959160 HAS SOUS 3062933 HAS SOUPS 3062933 WITH SCORE 3068892.16
AT ITER 4681 NEW BEST:: SOT 24680579 SOS 5959096 HAS SOPS 5959096 HAS SOUS 3062901 HAS SOUPS 3062901 WITH SCORE 3068860.096
AT ITER 4693 NEW BEST:: SOT 24680597 SOS 5958820 HAS SOPS 5958820 HAS SOUS 3062833 HAS SOUPS 3062833 WITH SCORE 3068791.82
AT ITER 4715 NEW BEST:: SOT 24680272 SOS 5959250 HAS SOPS 5959250 HAS SOUS 3062778 HAS SOUPS 3062778 WITH SCORE 3068737.25
AT ITER 4766 NEW BEST:: SOT 24680106 SOS 5959904 HAS SOPS 5959904 HAS SOUS 3062445 HAS SOUPS 3062445 WITH SCORE 3068404.904
AT ITER 4776 NEW BEST:: SOT 24680301 SOS 5958896 HAS SOPS 5958896 HAS SOUS 3062269 HAS SOUPS 3062269 WITH SCORE 3068227.896
AT ITER 4777 NEW BEST:: SOT 24679572 SOS 5953572 HAS SOPS 5953572 HAS SOUS 3060172 HAS SOUPS 3060172 WITH SCORE 3066125.572
AT ITER 4791 NEW BEST:: SOT 24679521 SOS 5952810 HAS SOPS 5952810 HAS SOUS 3059901 HAS SOUPS 3059901 WITH SCORE 3065853.81
AT ITER 4792 NEW BEST:: SOT 24679389 SOS 5953496 HAS SOPS 5953496 HAS SOUS 3059769 HAS SOUPS 3059769 WITH SCORE 3065722.496
AT ITER 4812 NEW BEST:: SOT 24679287 SOS 5953292 HAS SOPS 5953292 HAS SOUS 3059758 HAS SOUPS 3059758 WITH SCORE 3065711.292
AT ITER 4814 NEW BEST:: SOT 24678455 SOS 5952460 HAS SOPS 5952460 HAS SOUS 3058094 HAS SOUPS 3058094 WITH SCORE 3064046.46
AT ITER 4828 NEW BEST:: SOT 24678222 SOS 5954081 HAS SOPS 5954081 HAS SOUS 3057627 HAS SOUPS 3057627 WITH SCORE 3063581.081
AT ITER 4833 NEW BEST:: SOT 24677766 SOS 5953169 HAS SOPS 5953169 HAS SOUS 3057171 HAS SOUPS 3057171 WITH SCORE 3063124.169
AT ITER 4841 NEW BEST:: SOT 24677798 SOS 5952573 HAS SOPS 5952573 HAS SOUS 3057015 HAS SOUPS 3057015 WITH SCORE 3062967.573
AT ITER 4855 NEW BEST:: SOT 24677798 SOS 5952553 HAS SOPS 5952553 HAS SOUS 3056995 HAS SOUPS 3056995 WITH SCORE 3062947.553
AT ITER 4863 NEW BEST:: SOT 24675954 SOS 5953984 HAS SOPS 5953984 HAS SOUS 3056114 HAS SOUPS 3056114 WITH SCORE 3062067.984
AT ITER 4893 NEW BEST:: SOT 24676840 SOS 5963436 HAS SOPS 5963436 HAS SOUS 3055978 HAS SOUPS 3055978 WITH SCORE 3061941.436
AT ITER 4896 NEW BEST:: SOT 24676716 SOS 5963064 HAS SOPS 5963064 HAS SOUS 3055730 HAS SOUPS 3055730 WITH SCORE 3061693.064
AT ITER 4902 NEW BEST:: SOT 24676716 SOS 5963838 HAS SOPS 5963838 HAS SOUS 3055644 HAS SOUPS 3055644 WITH SCORE 3061607.838
AT ITER 4939 NEW BEST:: SOT 24676716 SOS 5963646 HAS SOPS 5963646 HAS SOUS 3055644 HAS SOUPS 3055644 WITH SCORE 3061607.646
AT ITER 4946 NEW BEST:: SOT 24676020 SOS 5963194 HAS SOPS 5963194 HAS SOUS 3055195 HAS SOUPS 3055195 WITH SCORE 3061158.194
AT ITER 4969 NEW BEST:: SOT 24676020 SOS 5965790 HAS SOPS 5965790 HAS SOUS 3054658 HAS SOUPS 3054658 WITH SCORE 3060623.79
AT ITER 4982 NEW BEST:: SOT 24675574 SOS 5966226 HAS SOPS 5966226 HAS SOUS 3054211 HAS SOUPS 3054211 WITH SCORE 3060177.226
AT ITER 5005 NEW BEST:: SOT 24674660 SOS 5965312 HAS SOPS 5965312 HAS SOUS 3054211 HAS SOUPS 3054211 WITH SCORE 3060176.312
AT ITER 5045 NEW BEST:: SOT 24674660 SOS 5963695 HAS SOPS 5963695 HAS SOUS 3053672 HAS SOUPS 3053672 WITH SCORE 3059635.695
AT ITER 5089 NEW BEST:: SOT 24674590 SOS 5963694 HAS SOPS 5963694 HAS SOUS 3053671 HAS SOUPS 3053671 WITH SCORE 3059634.694
AT ITER 5117 NEW BEST:: SOT 24673091 SOS 5960696 HAS SOPS 5960696 HAS SOUS 3050673 HAS SOUPS 3050673 WITH SCORE 3056633.696
AT ITER 5130 NEW BEST:: SOT 24673091 SOS 5959742 HAS SOPS 5959742 HAS SOUS 3050355 HAS SOUPS 3050355 WITH SCORE 3056314.742
AT ITER 5161 NEW BEST:: SOT 24672971 SOS 5950747 HAS SOPS 5950747 HAS SOUS 3050115 HAS SOUPS 3050115 WITH SCORE 3056065.747
AT ITER 5178 NEW BEST:: SOT 24672801 SOS 5950407 HAS SOPS 5950407 HAS SOUS 3049943 HAS SOUPS 3049943 WITH SCORE 3055893.407
AT ITER 5188 NEW BEST:: SOT 24672801 SOS 5948871 HAS SOPS 5948871 HAS SOUS 3049175 HAS SOUPS 3049175 WITH SCORE 3055123.871
AT ITER 5215 NEW BEST:: SOT 24671969 SOS 5948148 HAS SOPS 5948148 HAS SOUS 3047457 HAS SOUPS 3047457 WITH SCORE 3053405.148
AT ITER 5218 NEW BEST:: SOT 24671969 SOS 5949075 HAS SOPS 5949075 HAS SOUS 3047456 HAS SOUPS 3047456 WITH SCORE 3053405.075
AT ITER 5223 NEW BEST:: SOT 24671969 SOS 5946983 HAS SOPS 5946983 HAS SOUS 3046758 HAS SOUPS 3046758 WITH SCORE 3052704.983
AT ITER 5237 NEW BEST:: SOT 24672236 SOS 5945270 HAS SOPS 5945270 HAS SOUS 3046409 HAS SOUPS 3046409 WITH SCORE 3052354.27
AT ITER 5262 NEW BEST:: SOT 24672234 SOS 5946579 HAS SOPS 5946579 HAS SOUS 3046404 HAS SOUPS 3046404 WITH SCORE 3052350.579
AT ITER 5275 NEW BEST:: SOT 24672234 SOS 5946578 HAS SOPS 5946578 HAS SOUS 3046403 HAS SOUPS 3046403 WITH SCORE 3052349.578
AT ITER 5289 NEW BEST:: SOT 24672234 SOS 5946235 HAS SOPS 5946235 HAS SOUS 3046060 HAS SOUPS 3046060 WITH SCORE 3052006.235
AT ITER 5296 NEW BEST:: SOT 24672155 SOS 5946156 HAS SOPS 5946156 HAS SOUS 3045981 HAS SOUPS 3045981 WITH SCORE 3051927.156
AT ITER 5326 NEW BEST:: SOT 24672152 SOS 5946150 HAS SOPS 5946150 HAS SOUS 3045975 HAS SOUPS 3045975 WITH SCORE 3051921.15
AT ITER 5335 NEW BEST:: SOT 24672006 SOS 5945858 HAS SOPS 5945858 HAS SOUS 3045683 HAS SOUPS 3045683 WITH SCORE 3051628.858
AT ITER 5346 NEW BEST:: SOT 24672003 SOS 5945852 HAS SOPS 5945852 HAS SOUS 3045678 HAS SOUPS 3045678 WITH SCORE 3051623.852
AT ITER 5361 NEW BEST:: SOT 24672424 SOS 5945010 HAS SOPS 5945010 HAS SOUS 3045678 HAS SOUPS 3045678 WITH SCORE 3051623.01
AT ITER 5381 NEW BEST:: SOT 24672843 SOS 5953875 HAS SOPS 5953875 HAS SOUS 3045622 HAS SOUPS 3045622 WITH SCORE 3051575.875
AT ITER 5386 NEW BEST:: SOT 24672743 SOS 5953775 HAS SOPS 5953775 HAS SOUS 3045522 HAS SOUPS 3045522 WITH SCORE 3051475.775
AT ITER 5396 NEW BEST:: SOT 24672456 SOS 5953201 HAS SOPS 5953201 HAS SOUS 3044948 HAS SOUPS 3044948 WITH SCORE 3050901.201
AT ITER 5413 NEW BEST:: SOT 24672043 SOS 5953611 HAS SOPS 5953611 HAS SOUS 3044534 HAS SOUPS 3044534 WITH SCORE 3050487.611
AT ITER 5431 NEW BEST:: SOT 24671552 SOS 5953500 HAS SOPS 5953500 HAS SOUS 3044081 HAS SOUPS 3044081 WITH SCORE 3050034.5
AT ITER 5439 NEW BEST:: SOT 24671552 SOS 5955650 HAS SOPS 5955650 HAS SOUS 3043840 HAS SOUPS 3043840 WITH SCORE 3049795.65
AT ITER 5469 NEW BEST:: SOT 24671552 SOS 5955650 HAS SOPS 5955650 HAS SOUS 3043833 HAS SOUPS 3043833 WITH SCORE 3049788.65
AT ITER 5496 NEW BEST:: SOT 24671552 SOS 5955912 HAS SOPS 5955912 HAS SOUS 3043832 HAS SOUPS 3043832 WITH SCORE 3049787.912
AT ITER 5513 NEW BEST:: SOT 24671446 SOS 5955753 HAS SOPS 5955753 HAS SOUS 3043726 HAS SOUPS 3043726 WITH SCORE 3049681.753
AT ITER 5519 NEW BEST:: SOT 24671408 SOS 5955677 HAS SOPS 5955677 HAS SOUS 3043677 HAS SOUPS 3043677 WITH SCORE 3049632.677
AT ITER 5522 NEW BEST:: SOT 24671408 SOS 5958368 HAS SOPS 5958368 HAS SOUS 3043674 HAS SOUPS 3043674 WITH SCORE 3049632.368
AT ITER 5553 NEW BEST:: SOT 24671408 SOS 5958368 HAS SOPS 5958368 HAS SOUS 3042777 HAS SOUPS 3042777 WITH SCORE 3048735.368
AT ITER 5558 NEW BEST:: SOT 24670668 SOS 5958358 HAS SOPS 5958358 HAS SOUS 3042284 HAS SOUPS 3042284 WITH SCORE 3048242.358
AT ITER 5637 NEW BEST:: SOT 24669902 SOS 5956074 HAS SOPS 5956074 HAS SOUS 3041713 HAS SOUPS 3041713 WITH SCORE 3047669.074
AT ITER 5660 NEW BEST:: SOT 24669751 SOS 5955992 HAS SOPS 5955992 HAS SOUS 3041631 HAS SOUPS 3041631 WITH SCORE 3047586.992
AT ITER 5700 NEW BEST:: SOT 24667922 SOS 5955421 HAS SOPS 5955421 HAS SOUS 3039802 HAS SOUPS 3039802 WITH SCORE 3045757.421
AT ITER 5705 NEW BEST:: SOT 24667887 SOS 5955386 HAS SOPS 5955386 HAS SOUS 3039767 HAS SOUPS 3039767 WITH SCORE 3045722.386
AT ITER 5730 NEW BEST:: SOT 24667877 SOS 5955366 HAS SOPS 5955366 HAS SOUS 3039757 HAS SOUPS 3039757 WITH SCORE 3045712.366
AT ITER 5744 NEW BEST:: SOT 24667877 SOS 5955363 HAS SOPS 5955363 HAS SOUS 3039756 HAS SOUPS 3039756 WITH SCORE 3045711.363
AT ITER 5747 NEW BEST:: SOT 24667877 SOS 5955273 HAS SOPS 5955273 HAS SOUS 3039726 HAS SOUPS 3039726 WITH SCORE 3045681.273
AT ITER 5752 NEW BEST:: SOT 24667817 SOS 5955213 HAS SOPS 5955213 HAS SOUS 3039666 HAS SOUPS 3039666 WITH SCORE 3045621.213
AT ITER 5753 NEW BEST:: SOT 24667526 SOS 5950410 HAS SOPS 5950410 HAS SOUS 3039553 HAS SOUPS 3039553 WITH SCORE 3045503.41
AT ITER 5806 NEW BEST:: SOT 24667273 SOS 5950663 HAS SOPS 5950663 HAS SOUS 3039300 HAS SOUPS 3039300 WITH SCORE 3045250.663
AT ITER 5811 NEW BEST:: SOT 24667273 SOS 5950660 HAS SOPS 5950660 HAS SOUS 3039229 HAS SOUPS 3039229 WITH SCORE 3045179.66
AT ITER 5820 NEW BEST:: SOT 24666929 SOS 5950078 HAS SOPS 5950078 HAS SOUS 3038647 HAS SOUPS 3038647 WITH SCORE 3044597.078
AT ITER 5827 NEW BEST:: SOT 24666928 SOS 5951170 HAS SOPS 5951170 HAS SOUS 3038645 HAS SOUPS 3038645 WITH SCORE 3044596.17
AT ITER 5828 NEW BEST:: SOT 24666900 SOS 5951356 HAS SOPS 5951356 HAS SOUS 3038588 HAS SOUPS 3038588 WITH SCORE 3044539.356
AT ITER 5833 NEW BEST:: SOT 24667085 SOS 5952713 HAS SOPS 5952713 HAS SOUS 3038484 HAS SOUPS 3038484 WITH SCORE 3044436.713
AT ITER 5835 NEW BEST:: SOT 24666570 SOS 5946545 HAS SOPS 5946545 HAS SOUS 3038229 HAS SOUPS 3038229 WITH SCORE 3044175.545
AT ITER 5851 NEW BEST:: SOT 24665859 SOS 5947857 HAS SOPS 5947857 HAS SOUS 3037457 HAS SOUPS 3037457 WITH SCORE 3043404.857
AT ITER 5871 NEW BEST:: SOT 24665132 SOS 5947553 HAS SOPS 5947553 HAS SOUS 3035889 HAS SOUPS 3035889 WITH SCORE 3041836.553
AT ITER 5905 NEW BEST:: SOT 24663930 SOS 5946770 HAS SOPS 5946770 HAS SOUS 3034869 HAS SOUPS 3034869 WITH SCORE 3040815.77
AT ITER 5987 NEW BEST:: SOT 24663930 SOS 5943850 HAS SOPS 5943850 HAS SOUS 3034813 HAS SOUPS 3034813 WITH SCORE 3040756.85
AT ITER 5989 NEW BEST:: SOT 24663852 SOS 5943694 HAS SOPS 5943694 HAS SOUS 3034735 HAS SOUPS 3034735 WITH SCORE 3040678.694
AT ITER 5991 NEW BEST:: SOT 24663663 SOS 5943883 HAS SOPS 5943883 HAS SOUS 3034546 HAS SOUPS 3034546 WITH SCORE 3040489.883
AT ITER 6003 NEW BEST:: SOT 24663663 SOS 5943856 HAS SOPS 5943856 HAS SOUS 3034519 HAS SOUPS 3034519 WITH SCORE 3040462.856
AT ITER 6004 NEW BEST:: SOT 24663652 SOS 5943834 HAS SOPS 5943834 HAS SOUS 3034344 HAS SOUPS 3034344 WITH SCORE 3040287.834
AT ITER 6043 NEW BEST:: SOT 24663631 SOS 5943792 HAS SOPS 5943792 HAS SOUS 3034309 HAS SOUPS 3034309 WITH SCORE 3040252.792
AT ITER 6047 NEW BEST:: SOT 24663591 SOS 5943792 HAS SOPS 5943792 HAS SOUS 3034229 HAS SOUPS 3034229 WITH SCORE 3040172.792
AT ITER 6048 NEW BEST:: SOT 24663591 SOS 5943282 HAS SOPS 5943282 HAS SOUS 3034059 HAS SOUPS 3034059 WITH SCORE 3040002.282
AT ITER 6074 NEW BEST:: SOT 24663301 SOS 5942702 HAS SOPS 5942702 HAS SOUS 3033479 HAS SOUPS 3033479 WITH SCORE 3039421.702
AT ITER 6129 NEW BEST:: SOT 24663405 SOS 5942146 HAS SOPS 5942146 HAS SOUS 3033306 HAS SOUPS 3033306 WITH SCORE 3039248.146
AT ITER 6140 NEW BEST:: SOT 24663339 SOS 5942143 HAS SOPS 5942143 HAS SOUS 3033305 HAS SOUPS 3033305 WITH SCORE 3039247.143
AT ITER 6150 NEW BEST:: SOT 24662816 SOS 5941093 HAS SOPS 5941093 HAS SOUS 3032781 HAS SOUPS 3032781 WITH SCORE 3038722.093
AT ITER 6167 NEW BEST:: SOT 24662816 SOS 5941317 HAS SOPS 5941317 HAS SOUS 3032780 HAS SOUPS 3032780 WITH SCORE 3038721.317
AT ITER 6188 NEW BEST:: SOT 24662920 SOS 5940899 HAS SOPS 5940899 HAS SOUS 3032571 HAS SOUPS 3032571 WITH SCORE 3038511.899
AT ITER 6203 NEW BEST:: SOT 24662833 SOS 5940812 HAS SOPS 5940812 HAS SOUS 3032484 HAS SOUPS 3032484 WITH SCORE 3038424.812
AT ITER 6254 NEW BEST:: SOT 24662833 SOS 5940488 HAS SOPS 5940488 HAS SOUS 3032322 HAS SOUPS 3032322 WITH SCORE 3038262.488
AT ITER 6274 NEW BEST:: SOT 24662984 SOS 5943405 HAS SOPS 5943405 HAS SOUS 3031338 HAS SOUPS 3031338 WITH SCORE 3037281.405
AT ITER 6286 NEW BEST:: SOT 24663335 SOS 5941567 HAS SOPS 5941567 HAS SOUS 3031140 HAS SOUPS 3031140 WITH SCORE 3037081.567
AT ITER 6303 NEW BEST:: SOT 24663335 SOS 5943015 HAS SOPS 5943015 HAS SOUS 3030445 HAS SOUPS 3030445 WITH SCORE 3036388.015
AT ITER 6339 NEW BEST:: SOT 24663335 SOS 5942112 HAS SOPS 5942112 HAS SOUS 3030144 HAS SOUPS 3030144 WITH SCORE 3036086.112
AT ITER 6342 NEW BEST:: SOT 24663335 SOS 5941863 HAS SOPS 5941863 HAS SOUS 3030061 HAS SOUPS 3030061 WITH SCORE 3036002.863
AT ITER 6354 NEW BEST:: SOT 24663326 SOS 5941845 HAS SOPS 5941845 HAS SOUS 3030043 HAS SOUPS 3030043 WITH SCORE 3035984.845
AT ITER 6363 NEW BEST:: SOT 24663326 SOS 5948825 HAS SOPS 5948825 HAS SOUS 3029652 HAS SOUPS 3029652 WITH SCORE 3035600.825
AT ITER 6372 NEW BEST:: SOT 24663278 SOS 5948777 HAS SOPS 5948777 HAS SOUS 3029604 HAS SOUPS 3029604 WITH SCORE 3035552.777
AT ITER 6378 NEW BEST:: SOT 24663278 SOS 5948566 HAS SOPS 5948566 HAS SOUS 3029604 HAS SOUPS 3029604 WITH SCORE 3035552.566
AT ITER 6381 NEW BEST:: SOT 24662579 SOS 5948017 HAS SOPS 5948017 HAS SOUS 3029424 HAS SOUPS 3029424 WITH SCORE 3035372.017
AT ITER 6390 NEW BEST:: SOT 24662348 SOS 5947555 HAS SOPS 5947555 HAS SOUS 3028962 HAS SOUPS 3028962 WITH SCORE 3034909.555
AT ITER 6392 NEW BEST:: SOT 24661895 SOS 5947561 HAS SOPS 5947561 HAS SOUS 3028509 HAS SOUPS 3028509 WITH SCORE 3034456.561
AT ITER 6425 NEW BEST:: SOT 24661894 SOS 5947559 HAS SOPS 5947559 HAS SOUS 3028507 HAS SOUPS 3028507 WITH SCORE 3034454.559
AT ITER 6446 NEW BEST:: SOT 24661634 SOS 5947214 HAS SOPS 5947214 HAS SOUS 3028162 HAS SOUPS 3028162 WITH SCORE 3034109.214
AT ITER 6450 NEW BEST:: SOT 24661303 SOS 5944235 HAS SOPS 5944235 HAS SOUS 3027575 HAS SOUPS 3027575 WITH SCORE 3033519.235
AT ITER 6492 NEW BEST:: SOT 24661717 SOS 5942828 HAS SOPS 5942828 HAS SOUS 3027380 HAS SOUPS 3027380 WITH SCORE 3033322.828
AT ITER 6506 NEW BEST:: SOT 24658787 SOS 5939992 HAS SOPS 5939992 HAS SOUS 3027280 HAS SOUPS 3027280 WITH SCORE 3033219.992
AT ITER 6519 NEW BEST:: SOT 24658683 SOS 5939784 HAS SOPS 5939784 HAS SOUS 3027072 HAS SOUPS 3027072 WITH SCORE 3033011.784
AT ITER 6568 NEW BEST:: SOT 24658683 SOS 5938870 HAS SOPS 5938870 HAS SOUS 3026615 HAS SOUPS 3026615 WITH SCORE 3032553.87
AT ITER 6599 NEW BEST:: SOT 24658769 SOS 5938755 HAS SOPS 5938755 HAS SOUS 3026500 HAS SOUPS 3026500 WITH SCORE 3032438.755
AT ITER 6621 NEW BEST:: SOT 24658768 SOS 5938753 HAS SOPS 5938753 HAS SOUS 3026498 HAS SOUPS 3026498 WITH SCORE 3032436.753
AT ITER 6622 NEW BEST:: SOT 24658767 SOS 5938751 HAS SOPS 5938751 HAS SOUS 3026496 HAS SOUPS 3026496 WITH SCORE 3032434.751
AT ITER 6644 NEW BEST:: SOT 24658767 SOS 5937781 HAS SOPS 5937781 HAS SOUS 3026496 HAS SOUPS 3026496 WITH SCORE 3032433.781
AT ITER 6683 NEW BEST:: SOT 24658760 SOS 5937774 HAS SOPS 5937774 HAS SOUS 3026489 HAS SOUPS 3026489 WITH SCORE 3032426.774
AT ITER 6734 NEW BEST:: SOT 24658760 SOS 5936784 HAS SOPS 5936784 HAS SOUS 3026159 HAS SOUPS 3026159 WITH SCORE 3032095.784
AT ITER 6737 NEW BEST:: SOT 24658594 SOS 5934958 HAS SOPS 5934958 HAS SOUS 3025827 HAS SOUPS 3025827 WITH SCORE 3031761.958
AT ITER 6742 NEW BEST:: SOT 24658452 SOS 5934816 HAS SOPS 5934816 HAS SOUS 3025685 HAS SOUPS 3025685 WITH SCORE 3031619.816
AT ITER 6749 NEW BEST:: SOT 24658452 SOS 5935952 HAS SOPS 5935952 HAS SOUS 3025680 HAS SOUPS 3025680 WITH SCORE 3031615.952
AT ITER 6751 NEW BEST:: SOT 24658288 SOS 5935624 HAS SOPS 5935624 HAS SOUS 3025352 HAS SOUPS 3025352 WITH SCORE 3031287.624
AT ITER 6756 NEW BEST:: SOT 24658288 SOS 5936504 HAS SOPS 5936504 HAS SOUS 3025351 HAS SOUPS 3025351 WITH SCORE 3031287.504
AT ITER 6759 NEW BEST:: SOT 24658288 SOS 5936238 HAS SOPS 5936238 HAS SOUS 3025351 HAS SOUPS 3025351 WITH SCORE 3031287.238
AT ITER 6775 NEW BEST:: SOT 24658029 SOS 5935979 HAS SOPS 5935979 HAS SOUS 3025092 HAS SOUPS 3025092 WITH SCORE 3031027.979
AT ITER 6804 NEW BEST:: SOT 24657728 SOS 5935378 HAS SOPS 5935378 HAS SOUS 3024491 HAS SOUPS 3024491 WITH SCORE 3030426.378
AT ITER 6820 NEW BEST:: SOT 24657728 SOS 5935378 HAS SOPS 5935378 HAS SOUS 3024490 HAS SOUPS 3024490 WITH SCORE 3030425.378
AT ITER 6823 NEW BEST:: SOT 24657666 SOS 5935316 HAS SOPS 5935316 HAS SOUS 3024428 HAS SOUPS 3024428 WITH SCORE 3030363.316
AT ITER 6832 NEW BEST:: SOT 24656806 SOS 5933141 HAS SOPS 5933141 HAS SOUS 3021983 HAS SOUPS 3021983 WITH SCORE 3027916.141
AT ITER 6833 NEW BEST:: SOT 24656707 SOS 5932933 HAS SOPS 5932933 HAS SOUS 3021784 HAS SOUPS 3021784 WITH SCORE 3027716.933
AT ITER 6848 NEW BEST:: SOT 24656707 SOS 5932939 HAS SOPS 5932939 HAS SOUS 3021762 HAS SOUPS 3021762 WITH SCORE 3027694.939
AT ITER 6850 NEW BEST:: SOT 24656638 SOS 5932801 HAS SOPS 5932801 HAS SOUS 3021693 HAS SOUPS 3021693 WITH SCORE 3027625.801
AT ITER 6859 NEW BEST:: SOT 24656177 SOS 5933700 HAS SOPS 5933700 HAS SOUS 3021378 HAS SOUPS 3021378 WITH SCORE 3027311.7
AT ITER 6872 NEW BEST:: SOT 24656177 SOS 5933908 HAS SOPS 5933908 HAS SOUS 3021377 HAS SOUPS 3021377 WITH SCORE 3027310.908
AT ITER 6873 NEW BEST:: SOT 24656156 SOS 5933866 HAS SOPS 5933866 HAS SOUS 3021335 HAS SOUPS 3021335 WITH SCORE 3027268.866
AT ITER 6906 NEW BEST:: SOT 24654359 SOS 5931229 HAS SOPS 5931229 HAS SOUS 3018627 HAS SOUPS 3018627 WITH SCORE 3024558.229
AT ITER 6916 NEW BEST:: SOT 24654034 SOS 5931535 HAS SOPS 5931535 HAS SOUS 3018300 HAS SOUPS 3018300 WITH SCORE 3024231.535
AT ITER 6932 NEW BEST:: SOT 24654018 SOS 5931404 HAS SOPS 5931404 HAS SOUS 3018169 HAS SOUPS 3018169 WITH SCORE 3024100.404
AT ITER 6944 NEW BEST:: SOT 24653999 SOS 5931366 HAS SOPS 5931366 HAS SOUS 3018131 HAS SOUPS 3018131 WITH SCORE 3024062.366
AT ITER 6947 NEW BEST:: SOT 24653999 SOS 5930646 HAS SOPS 5930646 HAS SOUS 3018131 HAS SOUPS 3018131 WITH SCORE 3024061.646
AT ITER 6956 NEW BEST:: SOT 24653140 SOS 5929784 HAS SOPS 5929784 HAS SOUS 3016412 HAS SOUPS 3016412 WITH SCORE 3022341.784
AT ITER 6963 NEW BEST:: SOT 24653115 SOS 5929734 HAS SOPS 5929734 HAS SOUS 3016362 HAS SOUPS 3016362 WITH SCORE 3022291.734
AT ITER 6969 NEW BEST:: SOT 24652876 SOS 5931397 HAS SOPS 5931397 HAS SOUS 3015883 HAS SOUPS 3015883 WITH SCORE 3021814.397
AT ITER 6979 NEW BEST:: SOT 24652495 SOS 5930236 HAS SOPS 5930236 HAS SOUS 3015307 HAS SOUPS 3015307 WITH SCORE 3021237.236
AT ITER 7039 NEW BEST:: SOT 24652734 SOS 5931607 HAS SOPS 5931607 HAS SOUS 3014869 HAS SOUPS 3014869 WITH SCORE 3020800.607
AT ITER 7045 NEW BEST:: SOT 24651811 SOS 5938068 HAS SOPS 5938068 HAS SOUS 3013946 HAS SOUPS 3013946 WITH SCORE 3019884.068
AT ITER 7065 NEW BEST:: SOT 24651811 SOS 5937768 HAS SOPS 5937768 HAS SOUS 3013946 HAS SOUPS 3013946 WITH SCORE 3019883.768
AT ITER 7067 NEW BEST:: SOT 24651793 SOS 5937750 HAS SOPS 5937750 HAS SOUS 3013928 HAS SOUPS 3013928 WITH SCORE 3019865.75
AT ITER 7071 NEW BEST:: SOT 24651793 SOS 5937451 HAS SOPS 5937451 HAS SOUS 3013629 HAS SOUPS 3013629 WITH SCORE 3019566.451
AT ITER 7078 NEW BEST:: SOT 24651658 SOS 5937316 HAS SOPS 5937316 HAS SOUS 3013494 HAS SOUPS 3013494 WITH SCORE 3019431.316
AT ITER 7148 NEW BEST:: SOT 24651658 SOS 5938296 HAS SOPS 5938296 HAS SOUS 3013383 HAS SOUPS 3013383 WITH SCORE 3019321.296
AT ITER 7193 NEW BEST:: SOT 24651382 SOS 5938293 HAS SOPS 5938293 HAS SOUS 3012830 HAS SOUPS 3012830 WITH SCORE 3018768.293
AT ITER 7224 NEW BEST:: SOT 24650818 SOS 5937165 HAS SOPS 5937165 HAS SOUS 3012001 HAS SOUPS 3012001 WITH SCORE 3017938.165
AT ITER 7245 NEW BEST:: SOT 24650818 SOS 5937165 HAS SOPS 5937165 HAS SOUS 3011906 HAS SOUPS 3011906 WITH SCORE 3017843.165
AT ITER 7254 NEW BEST:: SOT 24650818 SOS 5937249 HAS SOPS 5937249 HAS SOUS 3011905 HAS SOUPS 3011905 WITH SCORE 3017842.249
AT ITER 7274 NEW BEST:: SOT 24650818 SOS 5937249 HAS SOPS 5937249 HAS SOUS 3011663 HAS SOUPS 3011663 WITH SCORE 3017600.249
AT ITER 7279 NEW BEST:: SOT 24650818 SOS 5937249 HAS SOPS 5937249 HAS SOUS 3011560 HAS SOUPS 3011560 WITH SCORE 3017497.249
AT ITER 7302 NEW BEST:: SOT 24650361 SOS 5936335 HAS SOPS 5936335 HAS SOUS 3011103 HAS SOUPS 3011103 WITH SCORE 3017039.335
AT ITER 7347 NEW BEST:: SOT 24650360 SOS 5936333 HAS SOPS 5936333 HAS SOUS 3011101 HAS SOUPS 3011101 WITH SCORE 3017037.333
AT ITER 7375 NEW BEST:: SOT 24650138 SOS 5938374 HAS SOPS 5938374 HAS SOUS 3010789 HAS SOUPS 3010789 WITH SCORE 3016727.374
AT ITER 7417 NEW BEST:: SOT 24650050 SOS 5937470 HAS SOPS 5937470 HAS SOUS 3010701 HAS SOUPS 3010701 WITH SCORE 3016638.47
AT ITER 7441 NEW BEST:: SOT 24649093 SOS 5937101 HAS SOPS 5937101 HAS SOUS 3009881 HAS SOUPS 3009881 WITH SCORE 3015818.101
AT ITER 7447 NEW BEST:: SOT 24648733 SOS 5937620 HAS SOPS 5937620 HAS SOUS 3009680 HAS SOUPS 3009680 WITH SCORE 3015617.62
AT ITER 7476 NEW BEST:: SOT 24648591 SOS 5937336 HAS SOPS 5937336 HAS SOUS 3009396 HAS SOUPS 3009396 WITH SCORE 3015333.336
AT ITER 7521 NEW BEST:: SOT 24648504 SOS 5937249 HAS SOPS 5937249 HAS SOUS 3009309 HAS SOUPS 3009309 WITH SCORE 3015246.249
AT ITER 7532 NEW BEST:: SOT 24647379 SOS 5936114 HAS SOPS 5936114 HAS SOUS 3008183 HAS SOUPS 3008183 WITH SCORE 3014119.114
AT ITER 7534 NEW BEST:: SOT 24647379 SOS 5930985 HAS SOPS 5930985 HAS SOUS 3008066 HAS SOUPS 3008066 WITH SCORE 3013996.985
AT ITER 7540 NEW BEST:: SOT 24647379 SOS 5930705 HAS SOPS 5930705 HAS SOUS 3007786 HAS SOUPS 3007786 WITH SCORE 3013716.705
AT ITER 7560 NEW BEST:: SOT 24647361 SOS 5930669 HAS SOPS 5930669 HAS SOUS 3007750 HAS SOUPS 3007750 WITH SCORE 3013680.669
AT ITER 7564 NEW BEST:: SOT 24646686 SOS 5929019 HAS SOPS 5929019 HAS SOUS 3007585 HAS SOUPS 3007585 WITH SCORE 3013514.019
AT ITER 7565 NEW BEST:: SOT 24646686 SOS 5928345 HAS SOPS 5928345 HAS SOUS 3007248 HAS SOUPS 3007248 WITH SCORE 3013176.345
AT ITER 7594 NEW BEST:: SOT 24646686 SOS 5930153 HAS SOPS 5930153 HAS SOUS 3006815 HAS SOUPS 3006815 WITH SCORE 3012745.153
AT ITER 7611 NEW BEST:: SOT 24646485 SOS 5929952 HAS SOPS 5929952 HAS SOUS 3006815 HAS SOUPS 3006815 WITH SCORE 3012744.952
AT ITER 7623 NEW BEST:: SOT 24644598 SOS 5927162 HAS SOPS 5927162 HAS SOUS 3003993 HAS SOUPS 3003993 WITH SCORE 3009920.162
AT ITER 7625 NEW BEST:: SOT 24644598 SOS 5927162 HAS SOPS 5927162 HAS SOUS 3003870 HAS SOUPS 3003870 WITH SCORE 3009797.162
AT ITER 7626 NEW BEST:: SOT 24644485 SOS 5927306 HAS SOPS 5927306 HAS SOUS 3003357 HAS SOUPS 3003357 WITH SCORE 3009284.306
AT ITER 7635 NEW BEST:: SOT 24643423 SOS 5926244 HAS SOPS 5926244 HAS SOUS 3002295 HAS SOUPS 3002295 WITH SCORE 3008221.244
AT ITER 7686 NEW BEST:: SOT 24643423 SOS 5925942 HAS SOPS 5925942 HAS SOUS 3001815 HAS SOUPS 3001815 WITH SCORE 3007740.942
AT ITER 7700 NEW BEST:: SOT 24643285 SOS 5925804 HAS SOPS 5925804 HAS SOUS 3001677 HAS SOUPS 3001677 WITH SCORE 3007602.804
AT ITER 7708 NEW BEST:: SOT 24643267 SOS 5925768 HAS SOPS 5925768 HAS SOUS 3001641 HAS SOUPS 3001641 WITH SCORE 3007566.768
AT ITER 7713 NEW BEST:: SOT 24643230 SOS 5925694 HAS SOPS 5925694 HAS SOUS 3001567 HAS SOUPS 3001567 WITH SCORE 3007492.694
AT ITER 7779 NEW BEST:: SOT 24643230 SOS 5925881 HAS SOPS 5925881 HAS SOUS 3001395 HAS SOUPS 3001395 WITH SCORE 3007320.881
AT ITER 7859 NEW BEST:: SOT 24642940 SOS 5925591 HAS SOPS 5925591 HAS SOUS 3001105 HAS SOUPS 3001105 WITH SCORE 3007030.591
AT ITER 7871 NEW BEST:: SOT 24642356 SOS 5925581 HAS SOPS 5925581 HAS SOUS 3000926 HAS SOUPS 3000926 WITH SCORE 3006851.581
AT ITER 7880 NEW BEST:: SOT 24642356 SOS 5925029 HAS SOPS 5925029 HAS SOUS 3000742 HAS SOUPS 3000742 WITH SCORE 3006667.029
AT ITER 7901 NEW BEST:: SOT 24641800 SOS 5925581 HAS SOPS 5925581 HAS SOUS 2999629 HAS SOUPS 2999629 WITH SCORE 3005554.581
AT ITER 7913 NEW BEST:: SOT 24641800 SOS 5925078 HAS SOPS 5925078 HAS SOUS 2999495 HAS SOUPS 2999495 WITH SCORE 3005420.078
AT ITER 7984 NEW BEST:: SOT 24641360 SOS 5927068 HAS SOPS 5927068 HAS SOUS 2998946 HAS SOUPS 2998946 WITH SCORE 3004873.068
AT ITER 7995 NEW BEST:: SOT 24641360 SOS 5927068 HAS SOPS 5927068 HAS SOUS 2998945 HAS SOUPS 2998945 WITH SCORE 3004872.068
AT ITER 8095 NEW BEST:: SOT 24640996 SOS 5927432 HAS SOPS 5927432 HAS SOUS 2998905 HAS SOUPS 2998905 WITH SCORE 3004832.432
AT ITER 8098 NEW BEST:: SOT 24640561 SOS 5925902 HAS SOPS 5925902 HAS SOUS 2998651 HAS SOUPS 2998651 WITH SCORE 3004576.902
AT ITER 8116 NEW BEST:: SOT 24640431 SOS 5925848 HAS SOPS 5925848 HAS SOUS 2998597 HAS SOUPS 2998597 WITH SCORE 3004522.848
AT ITER 8134 NEW BEST:: SOT 24640938 SOS 5924405 HAS SOPS 5924405 HAS SOUS 2998538 HAS SOUPS 2998538 WITH SCORE 3004462.405
AT ITER 8169 NEW BEST:: SOT 24640561 SOS 5924175 HAS SOPS 5924175 HAS SOUS 2998308 HAS SOUPS 2998308 WITH SCORE 3004232.175
AT ITER 8177 NEW BEST:: SOT 24640561 SOS 5923273 HAS SOPS 5923273 HAS SOUS 2998072 HAS SOUPS 2998072 WITH SCORE 3003995.273
AT ITER 8178 NEW BEST:: SOT 24640561 SOS 5923198 HAS SOPS 5923198 HAS SOUS 2998072 HAS SOUPS 2998072 WITH SCORE 3003995.198
AT ITER 8203 NEW BEST:: SOT 24640561 SOS 5925489 HAS SOPS 5925489 HAS SOUS 2997435 HAS SOUPS 2997435 WITH SCORE 3003360.489
AT ITER 8207 NEW BEST:: SOT 24640561 SOS 5925447 HAS SOPS 5925447 HAS SOUS 2997393 HAS SOUPS 2997393 WITH SCORE 3003318.447
AT ITER 8209 NEW BEST:: SOT 24640294 SOS 5926068 HAS SOPS 5926068 HAS SOUS 2997377 HAS SOUPS 2997377 WITH SCORE 3003303.068
AT ITER 8223 NEW BEST:: SOT 24640461 SOS 5926402 HAS SOPS 5926402 HAS SOUS 2996944 HAS SOUPS 2996944 WITH SCORE 3002870.402
AT ITER 8227 NEW BEST:: SOT 24640032 SOS 5924686 HAS SOPS 5924686 HAS SOUS 2996515 HAS SOUPS 2996515 WITH SCORE 3002439.686
AT ITER 8231 NEW BEST:: SOT 24639616 SOS 5923854 HAS SOPS 5923854 HAS SOUS 2995660 HAS SOUPS 2995660 WITH SCORE 3001583.854
AT ITER 8268 NEW BEST:: SOT 24639342 SOS 5928265 HAS SOPS 5928265 HAS SOUS 2995112 HAS SOUPS 2995112 WITH SCORE 3001040.265
AT ITER 8283 NEW BEST:: SOT 24639342 SOS 5928219 HAS SOPS 5928219 HAS SOUS 2995066 HAS SOUPS 2995066 WITH SCORE 3000994.219
AT ITER 8288 NEW BEST:: SOT 24639195 SOS 5927925 HAS SOPS 5927925 HAS SOUS 2994325 HAS SOUPS 2994325 WITH SCORE 3000252.925
AT ITER 8296 NEW BEST:: SOT 24639102 SOS 5927739 HAS SOPS 5927739 HAS SOUS 2994139 HAS SOUPS 2994139 WITH SCORE 3000066.739
AT ITER 8311 NEW BEST:: SOT 24639102 SOS 5927566 HAS SOPS 5927566 HAS SOUS 2993966 HAS SOUPS 2993966 WITH SCORE 2999893.566
AT ITER 8350 NEW BEST:: SOT 24639075 SOS 5927473 HAS SOPS 5927473 HAS SOUS 2993939 HAS SOUPS 2993939 WITH SCORE 2999866.473
AT ITER 8366 NEW BEST:: SOT 24637223 SOS 5925621 HAS SOPS 5925621 HAS SOUS 2992087 HAS SOUPS 2992087 WITH SCORE 2998012.621
AT ITER 8462 NEW BEST:: SOT 24637223 SOS 5925611 HAS SOPS 5925611 HAS SOUS 2991902 HAS SOUPS 2991902 WITH SCORE 2997827.611
AT ITER 8480 NEW BEST:: SOT 24637053 SOS 5925441 HAS SOPS 5925441 HAS SOUS 2991732 HAS SOUPS 2991732 WITH SCORE 2997657.441
AT ITER 8487 NEW BEST:: SOT 24636725 SOS 5924785 HAS SOPS 5924785 HAS SOUS 2991076 HAS SOUPS 2991076 WITH SCORE 2997000.785
AT ITER 8507 NEW BEST:: SOT 24636165 SOS 5924225 HAS SOPS 5924225 HAS SOUS 2990516 HAS SOUPS 2990516 WITH SCORE 2996440.225
AT ITER 8514 NEW BEST:: SOT 24636164 SOS 5924223 HAS SOPS 5924223 HAS SOUS 2990514 HAS SOUPS 2990514 WITH SCORE 2996438.223
AT ITER 8532 NEW BEST:: SOT 24635528 SOS 5923807 HAS SOPS 5923807 HAS SOUS 2990098 HAS SOUPS 2990098 WITH SCORE 2996021.807
AT ITER 8539 NEW BEST:: SOT 24635555 SOS 5923677 HAS SOPS 5923677 HAS SOUS 2989631 HAS SOUPS 2989631 WITH SCORE 2995554.677
AT ITER 8540 NEW BEST:: SOT 24635034 SOS 5923230 HAS SOPS 5923230 HAS SOUS 2989183 HAS SOUPS 2989183 WITH SCORE 2995106.23
AT ITER 8550 NEW BEST:: SOT 24634363 SOS 5933702 HAS SOPS 5933702 HAS SOUS 2988294 HAS SOUPS 2988294 WITH SCORE 2994227.702
AT ITER 8598 NEW BEST:: SOT 24633969 SOS 5932914 HAS SOPS 5932914 HAS SOUS 2987506 HAS SOUPS 2987506 WITH SCORE 2993438.914
AT ITER 8615 NEW BEST:: SOT 24633969 SOS 5933183 HAS SOPS 5933183 HAS SOUS 2987233 HAS SOUPS 2987233 WITH SCORE 2993166.183
AT ITER 8640 NEW BEST:: SOT 24634042 SOS 5933329 HAS SOPS 5933329 HAS SOUS 2986966 HAS SOUPS 2986966 WITH SCORE 2992899.329
AT ITER 8651 NEW BEST:: SOT 24633886 SOS 5933509 HAS SOPS 5933509 HAS SOUS 2986818 HAS SOUPS 2986818 WITH SCORE 2992751.509
AT ITER 8675 NEW BEST:: SOT 24633270 SOS 5932893 HAS SOPS 5932893 HAS SOUS 2986202 HAS SOUPS 2986202 WITH SCORE 2992134.893
AT ITER 8712 NEW BEST:: SOT 24631781 SOS 5933625 HAS SOPS 5933625 HAS SOUS 2985768 HAS SOUPS 2985768 WITH SCORE 2991701.625
AT ITER 8722 NEW BEST:: SOT 24632345 SOS 5941375 HAS SOPS 5941375 HAS SOUS 2985565 HAS SOUPS 2985565 WITH SCORE 2991506.375
AT ITER 8725 NEW BEST:: SOT 24632281 SOS 5941311 HAS SOPS 5941311 HAS SOUS 2985501 HAS SOUPS 2985501 WITH SCORE 2991442.311
AT ITER 8728 NEW BEST:: SOT 24632274 SOS 5941269 HAS SOPS 5941269 HAS SOUS 2985459 HAS SOUPS 2985459 WITH SCORE 2991400.269
AT ITER 8738 NEW BEST:: SOT 24632274 SOS 5941269 HAS SOPS 5941269 HAS SOUS 2985327 HAS SOUPS 2985327 WITH SCORE 2991268.269
AT ITER 8743 NEW BEST:: SOT 24632036 SOS 5941068 HAS SOPS 5941068 HAS SOUS 2985126 HAS SOUPS 2985126 WITH SCORE 2991067.068
AT ITER 8744 NEW BEST:: SOT 24631630 SOS 5940662 HAS SOPS 5940662 HAS SOUS 2984720 HAS SOUPS 2984720 WITH SCORE 2990660.662
AT ITER 8795 NEW BEST:: SOT 24631623 SOS 5940648 HAS SOPS 5940648 HAS SOUS 2984581 HAS SOUPS 2984581 WITH SCORE 2990521.648
AT ITER 8808 NEW BEST:: SOT 24631623 SOS 5941631 HAS SOPS 5941631 HAS SOUS 2984580 HAS SOUPS 2984580 WITH SCORE 2990521.631
AT ITER 8840 NEW BEST:: SOT 24631623 SOS 5940920 HAS SOPS 5940920 HAS SOUS 2984343 HAS SOUPS 2984343 WITH SCORE 2990283.92
AT ITER 8858 NEW BEST:: SOT 24631313 SOS 5940300 HAS SOPS 5940300 HAS SOUS 2984033 HAS SOUPS 2984033 WITH SCORE 2989973.3
AT ITER 8861 NEW BEST:: SOT 24631378 SOS 5940320 HAS SOPS 5940320 HAS SOUS 2983245 HAS SOUPS 2983245 WITH SCORE 2989185.32
AT ITER 8881 NEW BEST:: SOT 24628768 SOS 5938004 HAS SOPS 5938004 HAS SOUS 2981179 HAS SOUPS 2981179 WITH SCORE 2987117.004
AT ITER 8899 NEW BEST:: SOT 24628500 SOS 5937468 HAS SOPS 5937468 HAS SOUS 2980643 HAS SOUPS 2980643 WITH SCORE 2986580.468
AT ITER 8912 NEW BEST:: SOT 24627890 SOS 5935648 HAS SOPS 5935648 HAS SOUS 2979908 HAS SOUPS 2979908 WITH SCORE 2985843.648
AT ITER 8951 NEW BEST:: SOT 24627802 SOS 5935647 HAS SOPS 5935647 HAS SOUS 2979907 HAS SOUPS 2979907 WITH SCORE 2985842.647
AT ITER 8974 NEW BEST:: SOT 24627906 SOS 5935851 HAS SOPS 5935851 HAS SOUS 2979906 HAS SOUPS 2979906 WITH SCORE 2985841.851
AT ITER 8995 NEW BEST:: SOT 24627906 SOS 5934834 HAS SOPS 5934834 HAS SOUS 2979905 HAS SOUPS 2979905 WITH SCORE 2985839.834
AT ITER 9005 NEW BEST:: SOT 24627267 SOS 5933556 HAS SOPS 5933556 HAS SOUS 2979182 HAS SOUPS 2979182 WITH SCORE 2985115.556
AT ITER 9010 NEW BEST:: SOT 24627083 SOS 5932676 HAS SOPS 5932676 HAS SOUS 2978998 HAS SOUPS 2978998 WITH SCORE 2984930.676
AT ITER 9014 NEW BEST:: SOT 24627055 SOS 5932648 HAS SOPS 5932648 HAS SOUS 2978970 HAS SOUPS 2978970 WITH SCORE 2984902.648
AT ITER 9046 NEW BEST:: SOT 24627048 SOS 5932634 HAS SOPS 5932634 HAS SOUS 2978963 HAS SOUPS 2978963 WITH SCORE 2984895.634
AT ITER 9054 NEW BEST:: SOT 24626519 SOS 5932587 HAS SOPS 5932587 HAS SOUS 2978496 HAS SOUPS 2978496 WITH SCORE 2984428.587
AT ITER 9085 NEW BEST:: SOT 24626152 SOS 5931853 HAS SOPS 5931853 HAS SOUS 2978128 HAS SOUPS 2978128 WITH SCORE 2984059.853
AT ITER 9092 NEW BEST:: SOT 24626769 SOS 5933161 HAS SOPS 5933161 HAS SOUS 2976882 HAS SOUPS 2976882 WITH SCORE 2982815.161
AT ITER 9133 NEW BEST:: SOT 24626298 SOS 5932219 HAS SOPS 5932219 HAS SOUS 2976411 HAS SOUPS 2976411 WITH SCORE 2982343.219
AT ITER 9163 NEW BEST:: SOT 24626298 SOS 5933153 HAS SOPS 5933153 HAS SOUS 2976410 HAS SOUPS 2976410 WITH SCORE 2982343.153
AT ITER 9174 NEW BEST:: SOT 24626298 SOS 5932891 HAS SOPS 5932891 HAS SOUS 2976410 HAS SOUPS 2976410 WITH SCORE 2982342.891
AT ITER 9206 NEW BEST:: SOT 24626298 SOS 5935635 HAS SOPS 5935635 HAS SOUS 2976103 HAS SOUPS 2976103 WITH SCORE 2982038.635
AT ITER 9238 NEW BEST:: SOT 24626298 SOS 5935203 HAS SOPS 5935203 HAS SOUS 2976102 HAS SOUPS 2976102 WITH SCORE 2982037.203
AT ITER 9257 NEW BEST:: SOT 24626298 SOS 5935203 HAS SOPS 5935203 HAS SOUS 2976100 HAS SOUPS 2976100 WITH SCORE 2982035.203
AT ITER 9300 NEW BEST:: SOT 24626563 SOS 5934673 HAS SOPS 5934673 HAS SOUS 2975835 HAS SOUPS 2975835 WITH SCORE 2981769.673
AT ITER 9307 NEW BEST:: SOT 24624932 SOS 5935704 HAS SOPS 5935704 HAS SOUS 2974482 HAS SOUPS 2974482 WITH SCORE 2980417.704
AT ITER 9309 NEW BEST:: SOT 24624903 SOS 5935610 HAS SOPS 5935610 HAS SOUS 2974442 HAS SOUPS 2974442 WITH SCORE 2980377.61
AT ITER 9328 NEW BEST:: SOT 24624903 SOS 5935850 HAS SOPS 5935850 HAS SOUS 2973772 HAS SOUPS 2973772 WITH SCORE 2979707.85
AT ITER 9350 NEW BEST:: SOT 24624430 SOS 5939224 HAS SOPS 5939224 HAS SOUS 2973306 HAS SOUPS 2973306 WITH SCORE 2979245.224
AT ITER 9356 NEW BEST:: SOT 24623429 SOS 5939223 HAS SOPS 5939223 HAS SOUS 2973305 HAS SOUPS 2973305 WITH SCORE 2979244.223
AT ITER 9393 NEW BEST:: SOT 24623429 SOS 5939513 HAS SOPS 5939513 HAS SOUS 2973303 HAS SOUPS 2973303 WITH SCORE 2979242.513
AT ITER 9399 NEW BEST:: SOT 24623408 SOS 5939471 HAS SOPS 5939471 HAS SOUS 2973282 HAS SOUPS 2973282 WITH SCORE 2979221.471
AT ITER 9449 NEW BEST:: SOT 24623408 SOS 5939453 HAS SOPS 5939453 HAS SOUS 2973282 HAS SOUPS 2973282 WITH SCORE 2979221.453
AT ITER 9450 NEW BEST:: SOT 24623088 SOS 5939130 HAS SOPS 5939130 HAS SOUS 2972961 HAS SOUPS 2972961 WITH SCORE 2978900.13
AT ITER 9478 NEW BEST:: SOT 24622958 SOS 5938870 HAS SOPS 5938870 HAS SOUS 2972701 HAS SOUPS 2972701 WITH SCORE 2978639.87
AT ITER 9484 NEW BEST:: SOT 24622958 SOS 5938625 HAS SOPS 5938625 HAS SOUS 2972456 HAS SOUPS 2972456 WITH SCORE 2978394.625
AT ITER 9496 NEW BEST:: SOT 24622138 SOS 5937723 HAS SOPS 5937723 HAS SOUS 2971554 HAS SOUPS 2971554 WITH SCORE 2977491.723
AT ITER 9500 NEW BEST:: SOT 24621921 SOS 5935918 HAS SOPS 5935918 HAS SOUS 2970663 HAS SOUPS 2970663 WITH SCORE 2976598.918
AT ITER 9522 NEW BEST:: SOT 24621227 SOS 5938190 HAS SOPS 5938190 HAS SOUS 2969275 HAS SOUPS 2969275 WITH SCORE 2975213.19
AT ITER 9531 NEW BEST:: SOT 24621227 SOS 5935883 HAS SOPS 5935883 HAS SOUS 2969275 HAS SOUPS 2969275 WITH SCORE 2975210.883
AT ITER 9536 NEW BEST:: SOT 24621227 SOS 5935669 HAS SOPS 5935669 HAS SOUS 2969061 HAS SOUPS 2969061 WITH SCORE 2974996.669
AT ITER 9607 NEW BEST:: SOT 24621227 SOS 5935669 HAS SOPS 5935669 HAS SOUS 2969045 HAS SOUPS 2969045 WITH SCORE 2974980.669
AT ITER 9615 NEW BEST:: SOT 24620881 SOS 5936243 HAS SOPS 5936243 HAS SOUS 2969017 HAS SOUPS 2969017 WITH SCORE 2974953.243
AT ITER 9641 NEW BEST:: SOT 24620816 SOS 5938202 HAS SOPS 5938202 HAS SOUS 2968275 HAS SOUPS 2968275 WITH SCORE 2974213.202
AT ITER 9655 NEW BEST:: SOT 24620816 SOS 5941909 HAS SOPS 5941909 HAS SOUS 2968102 HAS SOUPS 2968102 WITH SCORE 2974043.909
AT ITER 9681 NEW BEST:: SOT 24620320 SOS 5940421 HAS SOPS 5940421 HAS SOUS 2967288 HAS SOUPS 2967288 WITH SCORE 2973228.421
AT ITER 9684 NEW BEST:: SOT 24620320 SOS 5939821 HAS SOPS 5939821 HAS SOUS 2967288 HAS SOUPS 2967288 WITH SCORE 2973227.821
AT ITER 9729 NEW BEST:: SOT 24620020 SOS 5939912 HAS SOPS 5939912 HAS SOUS 2967115 HAS SOUPS 2967115 WITH SCORE 2973054.912
AT ITER 9737 NEW BEST:: SOT 24619248 SOS 5939796 HAS SOPS 5939796 HAS SOUS 2966342 HAS SOUPS 2966342 WITH SCORE 2972281.796
AT ITER 9742 NEW BEST:: SOT 24618822 SOS 5940648 HAS SOPS 5940648 HAS SOUS 2966156 HAS SOUPS 2966156 WITH SCORE 2972096.648
AT ITER 9746 NEW BEST:: SOT 24618822 SOS 5942165 HAS SOPS 5942165 HAS SOUS 2966152 HAS SOUPS 2966152 WITH SCORE 2972094.165
AT ITER 9781 NEW BEST:: SOT 24618676 SOS 5941873 HAS SOPS 5941873 HAS SOUS 2966006 HAS SOUPS 2966006 WITH SCORE 2971947.873
AT ITER 9815 NEW BEST:: SOT 24618676 SOS 5941477 HAS SOPS 5941477 HAS SOUS 2966006 HAS SOUPS 2966006 WITH SCORE 2971947.477
AT ITER 9837 NEW BEST:: SOT 24618307 SOS 5941108 HAS SOPS 5941108 HAS SOUS 2965637 HAS SOUPS 2965637 WITH SCORE 2971578.108
AT ITER 9841 NEW BEST:: SOT 24618121 SOS 5940736 HAS SOPS 5940736 HAS SOUS 2965557 HAS SOUPS 2965557 WITH SCORE 2971497.736
AT ITER 9843 NEW BEST:: SOT 24617953 SOS 5940657 HAS SOPS 5940657 HAS SOUS 2965478 HAS SOUPS 2965478 WITH SCORE 2971418.657
AT ITER 9862 NEW BEST:: SOT 24617953 SOS 5934843 HAS SOPS 5934843 HAS SOUS 2965478 HAS SOUPS 2965478 WITH SCORE 2971412.843
AT ITER 9885 NEW BEST:: SOT 24617741 SOS 5934737 HAS SOPS 5934737 HAS SOUS 2965372 HAS SOUPS 2965372 WITH SCORE 2971306.737
AT ITER 9908 NEW BEST:: SOT 24617719 SOS 5934671 HAS SOPS 5934671 HAS SOUS 2965350 HAS SOUPS 2965350 WITH SCORE 2971284.671
AT ITER 9909 NEW BEST:: SOT 24617779 SOS 5934791 HAS SOPS 5934791 HAS SOUS 2964734 HAS SOUPS 2964734 WITH SCORE 2970668.791
AT ITER 9911 NEW BEST:: SOT 24616866 SOS 5934611 HAS SOPS 5934611 HAS SOUS 2962834 HAS SOUPS 2962834 WITH SCORE 2968768.611
AT ITER 9941 NEW BEST:: SOT 24616866 SOS 5936654 HAS SOPS 5936654 HAS SOUS 2962780 HAS SOUPS 2962780 WITH SCORE 2968716.654
AT ITER 9946 NEW BEST:: SOT 24616753 SOS 5936767 HAS SOPS 5936767 HAS SOUS 2962667 HAS SOUPS 2962667 WITH SCORE 2968603.767
AT ITER 9963 NEW BEST:: SOT 24616753 SOS 5936830 HAS SOPS 5936830 HAS SOUS 2962666 HAS SOUPS 2962666 WITH SCORE 2968602.83
AT ITER 9994 NEW BEST:: SOT 24616850 SOS 5936334 HAS SOPS 5936334 HAS SOUS 2962170 HAS SOUPS 2962170 WITH SCORE 2968106.334

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="DLCround-PT-12b"
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 DLCround-PT-12b, 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 r048-ebro-158902542400608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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