Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r451-smll-167912643300280.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SmartHome-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643300280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.4K Feb 26 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 05:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 05:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 05:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 05:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 05:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 05:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 120K Mar 5 18:23 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 1679203682180

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-16
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 16
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 499 places, 533 transitions, 1222 arcs.
AT ITER 0 NEW BEST:: SOT 157221 SOS 35977 HAS SOPS 35977 HAS SOUS 35133 HAS SOUPS 35133 WITH SCORE 35168.977
AT ITER 12 NEW BEST:: SOT 157150 SOS 35871 HAS SOPS 35871 HAS SOUS 35027 HAS SOUPS 35027 WITH SCORE 35062.871
AT ITER 17 NEW BEST:: SOT 157046 SOS 35746 HAS SOPS 35746 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34933.746
AT ITER 33 NEW BEST:: SOT 157036 SOS 35736 HAS SOPS 35736 HAS SOUS 34888 HAS SOUPS 34888 WITH SCORE 34923.736
AT ITER 41 NEW BEST:: SOT 157035 SOS 35734 HAS SOPS 35734 HAS SOUS 34886 HAS SOUPS 34886 WITH SCORE 34921.734
AT ITER 54 NEW BEST:: SOT 157061 SOS 35708 HAS SOPS 35708 HAS SOUS 34886 HAS SOUPS 34886 WITH SCORE 34921.708
AT ITER 66 NEW BEST:: SOT 156371 SOS 36679 HAS SOPS 36679 HAS SOUS 34479 HAS SOUPS 34479 WITH SCORE 34515.679
AT ITER 70 NEW BEST:: SOT 156378 SOS 36607 HAS SOPS 36607 HAS SOUS 34407 HAS SOUPS 34407 WITH SCORE 34443.607
AT ITER 75 NEW BEST:: SOT 156373 SOS 36597 HAS SOPS 36597 HAS SOUS 34397 HAS SOUPS 34397 WITH SCORE 34433.597
AT ITER 102 NEW BEST:: SOT 156329 SOS 36509 HAS SOPS 36509 HAS SOUS 34284 HAS SOUPS 34284 WITH SCORE 34320.509
AT ITER 105 NEW BEST:: SOT 156288 SOS 36507 HAS SOPS 36507 HAS SOUS 34282 HAS SOUPS 34282 WITH SCORE 34318.507
AT ITER 131 NEW BEST:: SOT 156255 SOS 36474 HAS SOPS 36474 HAS SOUS 34249 HAS SOUPS 34249 WITH SCORE 34285.474
AT ITER 132 NEW BEST:: SOT 156240 SOS 36444 HAS SOPS 36444 HAS SOUS 34219 HAS SOUPS 34219 WITH SCORE 34255.444
AT ITER 152 NEW BEST:: SOT 156177 SOS 36381 HAS SOPS 36381 HAS SOUS 34219 HAS SOUPS 34219 WITH SCORE 34255.381
AT ITER 154 NEW BEST:: SOT 156172 SOS 36371 HAS SOPS 36371 HAS SOUS 34209 HAS SOUPS 34209 WITH SCORE 34245.371
AT ITER 158 NEW BEST:: SOT 155509 SOS 36189 HAS SOPS 36189 HAS SOUS 33683 HAS SOUPS 33683 WITH SCORE 33719.189
AT ITER 160 NEW BEST:: SOT 154422 SOS 39052 HAS SOPS 39052 HAS SOUS 32738 HAS SOUPS 32738 WITH SCORE 32777.052
AT ITER 165 NEW BEST:: SOT 154418 SOS 39044 HAS SOPS 39044 HAS SOUS 32730 HAS SOUPS 32730 WITH SCORE 32769.044
AT ITER 172 NEW BEST:: SOT 153223 SOS 43057 HAS SOPS 43057 HAS SOUS 32401 HAS SOUPS 32401 WITH SCORE 32444.057
AT ITER 178 NEW BEST:: SOT 153207 SOS 43025 HAS SOPS 43025 HAS SOUS 32358 HAS SOUPS 32358 WITH SCORE 32401.025
AT ITER 202 NEW BEST:: SOT 153181 SOS 42972 HAS SOPS 42972 HAS SOUS 32289 HAS SOUPS 32289 WITH SCORE 32331.972
AT ITER 204 NEW BEST:: SOT 153150 SOS 42974 HAS SOPS 42974 HAS SOUS 32279 HAS SOUPS 32279 WITH SCORE 32321.974
AT ITER 210 NEW BEST:: SOT 153124 SOS 42953 HAS SOPS 42953 HAS SOUS 32244 HAS SOUPS 32244 WITH SCORE 32286.953
AT ITER 213 NEW BEST:: SOT 153096 SOS 42925 HAS SOPS 42925 HAS SOUS 32198 HAS SOUPS 32198 WITH SCORE 32240.925
AT ITER 221 NEW BEST:: SOT 153102 SOS 42891 HAS SOPS 42891 HAS SOUS 32164 HAS SOUPS 32164 WITH SCORE 32206.891
AT ITER 233 NEW BEST:: SOT 153102 SOS 42886 HAS SOPS 42886 HAS SOUS 32159 HAS SOUPS 32159 WITH SCORE 32201.886
AT ITER 249 NEW BEST:: SOT 153113 SOS 42908 HAS SOPS 42908 HAS SOUS 32133 HAS SOUPS 32133 WITH SCORE 32175.908
AT ITER 265 NEW BEST:: SOT 152884 SOS 42750 HAS SOPS 42750 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31967.75
AT ITER 302 NEW BEST:: SOT 152880 SOS 42746 HAS SOPS 42746 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31967.746
AT ITER 308 NEW BEST:: SOT 152853 SOS 42719 HAS SOPS 42719 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31967.719
AT ITER 335 NEW BEST:: SOT 152345 SOS 42277 HAS SOPS 42277 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31484.277
AT ITER 350 NEW BEST:: SOT 152314 SOS 42215 HAS SOPS 42215 HAS SOUS 31380 HAS SOUPS 31380 WITH SCORE 31422.215
AT ITER 354 NEW BEST:: SOT 152236 SOS 42098 HAS SOPS 42098 HAS SOUS 31302 HAS SOUPS 31302 WITH SCORE 31344.098
AT ITER 355 NEW BEST:: SOT 151844 SOS 42760 HAS SOPS 42760 HAS SOUS 31113 HAS SOUPS 31113 WITH SCORE 31155.76
AT ITER 356 NEW BEST:: SOT 151820 SOS 42712 HAS SOPS 42712 HAS SOUS 31096 HAS SOUPS 31096 WITH SCORE 31138.712
AT ITER 359 NEW BEST:: SOT 151047 SOS 43325 HAS SOPS 43325 HAS SOUS 30394 HAS SOUPS 30394 WITH SCORE 30437.325
AT ITER 362 NEW BEST:: SOT 151039 SOS 43309 HAS SOPS 43309 HAS SOUS 30378 HAS SOUPS 30378 WITH SCORE 30421.309
AT ITER 368 NEW BEST:: SOT 150999 SOS 43269 HAS SOPS 43269 HAS SOUS 30338 HAS SOUPS 30338 WITH SCORE 30381.269
AT ITER 369 NEW BEST:: SOT 150922 SOS 43235 HAS SOPS 43235 HAS SOUS 30304 HAS SOUPS 30304 WITH SCORE 30347.235
AT ITER 391 NEW BEST:: SOT 150922 SOS 42098 HAS SOPS 42098 HAS SOUS 30259 HAS SOUPS 30259 WITH SCORE 30301.098
AT ITER 420 NEW BEST:: SOT 150908 SOS 42070 HAS SOPS 42070 HAS SOUS 30231 HAS SOUPS 30231 WITH SCORE 30273.07
AT ITER 422 NEW BEST:: SOT 150006 SOS 41230 HAS SOPS 41230 HAS SOUS 29358 HAS SOUPS 29358 WITH SCORE 29399.23
AT ITER 434 NEW BEST:: SOT 149994 SOS 41206 HAS SOPS 41206 HAS SOUS 29334 HAS SOUPS 29334 WITH SCORE 29375.206
AT ITER 435 NEW BEST:: SOT 149980 SOS 41198 HAS SOPS 41198 HAS SOUS 29330 HAS SOUPS 29330 WITH SCORE 29371.198
AT ITER 441 NEW BEST:: SOT 149885 SOS 41136 HAS SOPS 41136 HAS SOUS 29296 HAS SOUPS 29296 WITH SCORE 29337.136
AT ITER 492 NEW BEST:: SOT 149885 SOS 41016 HAS SOPS 41016 HAS SOUS 29270 HAS SOUPS 29270 WITH SCORE 29311.016
AT ITER 500 NEW BEST:: SOT 149877 SOS 40992 HAS SOPS 40992 HAS SOUS 29254 HAS SOUPS 29254 WITH SCORE 29294.992
AT ITER 506 NEW BEST:: SOT 149797 SOS 40912 HAS SOPS 40912 HAS SOUS 29254 HAS SOUPS 29254 WITH SCORE 29294.912
AT ITER 512 NEW BEST:: SOT 149780 SOS 40521 HAS SOPS 40521 HAS SOUS 29220 HAS SOUPS 29220 WITH SCORE 29260.521
AT ITER 524 NEW BEST:: SOT 149904 SOS 40491 HAS SOPS 40491 HAS SOUS 29190 HAS SOUPS 29190 WITH SCORE 29230.491
AT ITER 542 NEW BEST:: SOT 149891 SOS 40310 HAS SOPS 40310 HAS SOUS 29173 HAS SOUPS 29173 WITH SCORE 29213.31
AT ITER 543 NEW BEST:: SOT 149713 SOS 40170 HAS SOPS 40170 HAS SOUS 29004 HAS SOUPS 29004 WITH SCORE 29044.17
AT ITER 553 NEW BEST:: SOT 149567 SOS 40142 HAS SOPS 40142 HAS SOUS 28869 HAS SOUPS 28869 WITH SCORE 28909.142
AT ITER 556 NEW BEST:: SOT 149498 SOS 40089 HAS SOPS 40089 HAS SOUS 28798 HAS SOUPS 28798 WITH SCORE 28838.089
AT ITER 558 NEW BEST:: SOT 149495 SOS 40086 HAS SOPS 40086 HAS SOUS 28795 HAS SOUPS 28795 WITH SCORE 28835.086
AT ITER 569 NEW BEST:: SOT 149485 SOS 40066 HAS SOPS 40066 HAS SOUS 28780 HAS SOUPS 28780 WITH SCORE 28820.066
AT ITER 574 NEW BEST:: SOT 149442 SOS 39980 HAS SOPS 39980 HAS SOUS 28694 HAS SOUPS 28694 WITH SCORE 28733.98
AT ITER 603 NEW BEST:: SOT 149346 SOS 39788 HAS SOPS 39788 HAS SOUS 28577 HAS SOUPS 28577 WITH SCORE 28616.788
AT ITER 606 NEW BEST:: SOT 149339 SOS 39781 HAS SOPS 39781 HAS SOUS 28570 HAS SOUPS 28570 WITH SCORE 28609.781
AT ITER 618 NEW BEST:: SOT 149141 SOS 39511 HAS SOPS 39511 HAS SOUS 28426 HAS SOUPS 28426 WITH SCORE 28465.511
AT ITER 623 NEW BEST:: SOT 149009 SOS 39247 HAS SOPS 39247 HAS SOUS 28296 HAS SOUPS 28296 WITH SCORE 28335.247
AT ITER 627 NEW BEST:: SOT 149008 SOS 39245 HAS SOPS 39245 HAS SOUS 28294 HAS SOUPS 28294 WITH SCORE 28333.245
AT ITER 630 NEW BEST:: SOT 149000 SOS 39275 HAS SOPS 39275 HAS SOUS 28286 HAS SOUPS 28286 WITH SCORE 28325.275
AT ITER 649 NEW BEST:: SOT 148947 SOS 39217 HAS SOPS 39217 HAS SOUS 28233 HAS SOUPS 28233 WITH SCORE 28272.217
AT ITER 656 NEW BEST:: SOT 148947 SOS 39216 HAS SOPS 39216 HAS SOUS 28232 HAS SOUPS 28232 WITH SCORE 28271.216
AT ITER 659 NEW BEST:: SOT 148947 SOS 39177 HAS SOPS 39177 HAS SOUS 28232 HAS SOUPS 28232 WITH SCORE 28271.177
AT ITER 660 NEW BEST:: SOT 148958 SOS 39151 HAS SOPS 39151 HAS SOUS 28227 HAS SOUPS 28227 WITH SCORE 28266.151
AT ITER 664 NEW BEST:: SOT 148958 SOS 39103 HAS SOPS 39103 HAS SOUS 28227 HAS SOUPS 28227 WITH SCORE 28266.103
AT ITER 668 NEW BEST:: SOT 148944 SOS 39089 HAS SOPS 39089 HAS SOUS 28222 HAS SOUPS 28222 WITH SCORE 28261.089
AT ITER 680 NEW BEST:: SOT 148935 SOS 39071 HAS SOPS 39071 HAS SOUS 28204 HAS SOUPS 28204 WITH SCORE 28243.071
AT ITER 688 NEW BEST:: SOT 148935 SOS 39041 HAS SOPS 39041 HAS SOUS 28190 HAS SOUPS 28190 WITH SCORE 28229.041
AT ITER 689 NEW BEST:: SOT 148935 SOS 39041 HAS SOPS 39041 HAS SOUS 28179 HAS SOUPS 28179 WITH SCORE 28218.041
AT ITER 693 NEW BEST:: SOT 148875 SOS 39038 HAS SOPS 39038 HAS SOUS 28176 HAS SOUPS 28176 WITH SCORE 28215.038
AT ITER 719 NEW BEST:: SOT 148844 SOS 39010 HAS SOPS 39010 HAS SOUS 28167 HAS SOUPS 28167 WITH SCORE 28206.01
AT ITER 720 NEW BEST:: SOT 148844 SOS 38977 HAS SOPS 38977 HAS SOUS 28167 HAS SOUPS 28167 WITH SCORE 28205.977
AT ITER 745 NEW BEST:: SOT 148761 SOS 38895 HAS SOPS 38895 HAS SOUS 28085 HAS SOUPS 28085 WITH SCORE 28123.895
AT ITER 747 NEW BEST:: SOT 148717 SOS 38889 HAS SOPS 38889 HAS SOUS 28065 HAS SOUPS 28065 WITH SCORE 28103.889
AT ITER 748 NEW BEST:: SOT 148679 SOS 38813 HAS SOPS 38813 HAS SOUS 27954 HAS SOUPS 27954 WITH SCORE 27992.813
AT ITER 754 NEW BEST:: SOT 148679 SOS 38797 HAS SOPS 38797 HAS SOUS 27938 HAS SOUPS 27938 WITH SCORE 27976.797
AT ITER 772 NEW BEST:: SOT 148603 SOS 38721 HAS SOPS 38721 HAS SOUS 27911 HAS SOUPS 27911 WITH SCORE 27949.721
AT ITER 783 NEW BEST:: SOT 148598 SOS 38716 HAS SOPS 38716 HAS SOUS 27906 HAS SOUPS 27906 WITH SCORE 27944.716
AT ITER 806 NEW BEST:: SOT 148571 SOS 38662 HAS SOPS 38662 HAS SOUS 27879 HAS SOUPS 27879 WITH SCORE 27917.662
AT ITER 824 NEW BEST:: SOT 148549 SOS 38670 HAS SOPS 38670 HAS SOUS 27861 HAS SOUPS 27861 WITH SCORE 27899.67
AT ITER 831 NEW BEST:: SOT 148549 SOS 38648 HAS SOPS 38648 HAS SOUS 27839 HAS SOUPS 27839 WITH SCORE 27877.648
AT ITER 845 NEW BEST:: SOT 148529 SOS 38608 HAS SOPS 38608 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27832.608
AT ITER 850 NEW BEST:: SOT 148434 SOS 36682 HAS SOPS 36682 HAS SOUS 27591 HAS SOUPS 27591 WITH SCORE 27627.682
AT ITER 895 NEW BEST:: SOT 148434 SOS 36658 HAS SOPS 36658 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27603.658
AT ITER 896 NEW BEST:: SOT 148417 SOS 36641 HAS SOPS 36641 HAS SOUS 27533 HAS SOUPS 27533 WITH SCORE 27569.641
AT ITER 912 NEW BEST:: SOT 148274 SOS 36667 HAS SOPS 36667 HAS SOUS 27416 HAS SOUPS 27416 WITH SCORE 27452.667
AT ITER 948 NEW BEST:: SOT 148080 SOS 37291 HAS SOPS 37291 HAS SOUS 27269 HAS SOUPS 27269 WITH SCORE 27306.291
AT ITER 956 NEW BEST:: SOT 148058 SOS 37269 HAS SOPS 37269 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27284.269
AT ITER 978 NEW BEST:: SOT 148058 SOS 37215 HAS SOPS 37215 HAS SOUS 27195 HAS SOUPS 27195 WITH SCORE 27232.215
AT ITER 982 NEW BEST:: SOT 148029 SOS 37274 HAS SOPS 37274 HAS SOUS 27137 HAS SOUPS 27137 WITH SCORE 27174.274
AT ITER 988 NEW BEST:: SOT 147978 SOS 37172 HAS SOPS 37172 HAS SOUS 26981 HAS SOUPS 26981 WITH SCORE 27018.172
AT ITER 1005 NEW BEST:: SOT 147978 SOS 37166 HAS SOPS 37166 HAS SOUS 26975 HAS SOUPS 26975 WITH SCORE 27012.166
AT ITER 1009 NEW BEST:: SOT 147978 SOS 37143 HAS SOPS 37143 HAS SOUS 26952 HAS SOUPS 26952 WITH SCORE 26989.143
AT ITER 1041 NEW BEST:: SOT 147942 SOS 37098 HAS SOPS 37098 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26896.098
AT ITER 1044 NEW BEST:: SOT 147928 SOS 37084 HAS SOPS 37084 HAS SOUS 26831 HAS SOUPS 26831 WITH SCORE 26868.084
AT ITER 1068 NEW BEST:: SOT 147907 SOS 36977 HAS SOPS 36977 HAS SOUS 26789 HAS SOUPS 26789 WITH SCORE 26825.977
AT ITER 1082 NEW BEST:: SOT 147811 SOS 36784 HAS SOPS 36784 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26632.784
AT ITER 1086 NEW BEST:: SOT 147795 SOS 36752 HAS SOPS 36752 HAS SOUS 26564 HAS SOUPS 26564 WITH SCORE 26600.752
AT ITER 1090 NEW BEST:: SOT 147816 SOS 36698 HAS SOPS 36698 HAS SOUS 26506 HAS SOUPS 26506 WITH SCORE 26542.698
AT ITER 1098 NEW BEST:: SOT 147808 SOS 36663 HAS SOPS 36663 HAS SOUS 26489 HAS SOUPS 26489 WITH SCORE 26525.663
AT ITER 1102 NEW BEST:: SOT 147833 SOS 36638 HAS SOPS 36638 HAS SOUS 26483 HAS SOUPS 26483 WITH SCORE 26519.638
AT ITER 1115 NEW BEST:: SOT 147757 SOS 36486 HAS SOPS 36486 HAS SOUS 26407 HAS SOUPS 26407 WITH SCORE 26443.486
AT ITER 1141 NEW BEST:: SOT 147736 SOS 36444 HAS SOPS 36444 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26421.444
AT ITER 1150 NEW BEST:: SOT 147722 SOS 36416 HAS SOPS 36416 HAS SOUS 26371 HAS SOUPS 26371 WITH SCORE 26407.416
AT ITER 1151 NEW BEST:: SOT 147680 SOS 36332 HAS SOPS 36332 HAS SOUS 26329 HAS SOUPS 26329 WITH SCORE 26365.332
AT ITER 1154 NEW BEST:: SOT 147665 SOS 36392 HAS SOPS 36392 HAS SOUS 26311 HAS SOUPS 26311 WITH SCORE 26347.392
AT ITER 1160 NEW BEST:: SOT 147645 SOS 36352 HAS SOPS 36352 HAS SOUS 26283 HAS SOUPS 26283 WITH SCORE 26319.352
AT ITER 1164 NEW BEST:: SOT 147536 SOS 36134 HAS SOPS 36134 HAS SOUS 26145 HAS SOUPS 26145 WITH SCORE 26181.134
AT ITER 1176 NEW BEST:: SOT 147560 SOS 36065 HAS SOPS 36065 HAS SOUS 26129 HAS SOUPS 26129 WITH SCORE 26165.065
AT ITER 1209 NEW BEST:: SOT 147415 SOS 35967 HAS SOPS 35967 HAS SOUS 26119 HAS SOUPS 26119 WITH SCORE 26154.967
AT ITER 1229 NEW BEST:: SOT 147392 SOS 35942 HAS SOPS 35942 HAS SOUS 26111 HAS SOUPS 26111 WITH SCORE 26146.942
AT ITER 1232 NEW BEST:: SOT 147402 SOS 35962 HAS SOPS 35962 HAS SOUS 26101 HAS SOUPS 26101 WITH SCORE 26136.962
AT ITER 1246 NEW BEST:: SOT 147387 SOS 35936 HAS SOPS 35936 HAS SOUS 26092 HAS SOUPS 26092 WITH SCORE 26127.936
AT ITER 1257 NEW BEST:: SOT 147387 SOS 35869 HAS SOPS 35869 HAS SOUS 26092 HAS SOUPS 26092 WITH SCORE 26127.869
AT ITER 1258 NEW BEST:: SOT 147371 SOS 35853 HAS SOPS 35853 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26111.853
AT ITER 1267 NEW BEST:: SOT 147357 SOS 35825 HAS SOPS 35825 HAS SOUS 26062 HAS SOUPS 26062 WITH SCORE 26097.825
AT ITER 1277 NEW BEST:: SOT 147261 SOS 36143 HAS SOPS 36143 HAS SOUS 25971 HAS SOUPS 25971 WITH SCORE 26007.143
AT ITER 1327 NEW BEST:: SOT 147249 SOS 36068 HAS SOPS 36068 HAS SOUS 25900 HAS SOUPS 25900 WITH SCORE 25936.068
AT ITER 1328 NEW BEST:: SOT 147209 SOS 35903 HAS SOPS 35903 HAS SOUS 25775 HAS SOUPS 25775 WITH SCORE 25810.903
AT ITER 1370 NEW BEST:: SOT 147203 SOS 35885 HAS SOPS 35885 HAS SOUS 25769 HAS SOUPS 25769 WITH SCORE 25804.885
AT ITER 1371 NEW BEST:: SOT 147209 SOS 35834 HAS SOPS 35834 HAS SOUS 25750 HAS SOUPS 25750 WITH SCORE 25785.834
AT ITER 1373 NEW BEST:: SOT 147191 SOS 35798 HAS SOPS 35798 HAS SOUS 25714 HAS SOUPS 25714 WITH SCORE 25749.798
AT ITER 1389 NEW BEST:: SOT 147209 SOS 35646 HAS SOPS 35646 HAS SOUS 25708 HAS SOUPS 25708 WITH SCORE 25743.646
AT ITER 1395 NEW BEST:: SOT 147209 SOS 35646 HAS SOPS 35646 HAS SOUS 25702 HAS SOUPS 25702 WITH SCORE 25737.646
AT ITER 1398 NEW BEST:: SOT 147209 SOS 35597 HAS SOPS 35597 HAS SOUS 25653 HAS SOUPS 25653 WITH SCORE 25688.597
AT ITER 1405 NEW BEST:: SOT 147209 SOS 35573 HAS SOPS 35573 HAS SOUS 25653 HAS SOUPS 25653 WITH SCORE 25688.573
AT ITER 1432 NEW BEST:: SOT 147209 SOS 35516 HAS SOPS 35516 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25631.516
AT ITER 1459 NEW BEST:: SOT 147193 SOS 35415 HAS SOPS 35415 HAS SOUS 25500 HAS SOUPS 25500 WITH SCORE 25535.415
AT ITER 1463 NEW BEST:: SOT 147183 SOS 35395 HAS SOPS 35395 HAS SOUS 25482 HAS SOUPS 25482 WITH SCORE 25517.395
AT ITER 1466 NEW BEST:: SOT 147173 SOS 35246 HAS SOPS 35246 HAS SOUS 25430 HAS SOUPS 25430 WITH SCORE 25465.246
AT ITER 1474 NEW BEST:: SOT 147185 SOS 35240 HAS SOPS 35240 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25452.24
AT ITER 1477 NEW BEST:: SOT 147177 SOS 35197 HAS SOPS 35197 HAS SOUS 25374 HAS SOUPS 25374 WITH SCORE 25409.197
AT ITER 1480 NEW BEST:: SOT 147128 SOS 35099 HAS SOPS 35099 HAS SOUS 25256 HAS SOUPS 25256 WITH SCORE 25291.099
AT ITER 1496 NEW BEST:: SOT 147134 SOS 35068 HAS SOPS 35068 HAS SOUS 25225 HAS SOUPS 25225 WITH SCORE 25260.068
AT ITER 1507 NEW BEST:: SOT 147102 SOS 34936 HAS SOPS 34936 HAS SOUS 25203 HAS SOUPS 25203 WITH SCORE 25237.936
AT ITER 1542 NEW BEST:: SOT 147102 SOS 34936 HAS SOPS 34936 HAS SOUS 25201 HAS SOUPS 25201 WITH SCORE 25235.936
AT ITER 1556 NEW BEST:: SOT 147090 SOS 34888 HAS SOPS 34888 HAS SOUS 25177 HAS SOUPS 25177 WITH SCORE 25211.888
AT ITER 1562 NEW BEST:: SOT 147122 SOS 34809 HAS SOPS 34809 HAS SOUS 25069 HAS SOUPS 25069 WITH SCORE 25103.809
AT ITER 1565 NEW BEST:: SOT 147121 SOS 34808 HAS SOPS 34808 HAS SOUS 25065 HAS SOUPS 25065 WITH SCORE 25099.808
AT ITER 1579 NEW BEST:: SOT 147109 SOS 34778 HAS SOPS 34778 HAS SOUS 25004 HAS SOUPS 25004 WITH SCORE 25038.778
AT ITER 1580 NEW BEST:: SOT 147121 SOS 34770 HAS SOPS 34770 HAS SOUS 24996 HAS SOUPS 24996 WITH SCORE 25030.77
AT ITER 1585 NEW BEST:: SOT 147039 SOS 34639 HAS SOPS 34639 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24940.639
AT ITER 1605 NEW BEST:: SOT 147017 SOS 34595 HAS SOPS 34595 HAS SOUS 24884 HAS SOUPS 24884 WITH SCORE 24918.595
AT ITER 1637 NEW BEST:: SOT 147011 SOS 34573 HAS SOPS 34573 HAS SOUS 24862 HAS SOUPS 24862 WITH SCORE 24896.573
AT ITER 1693 NEW BEST:: SOT 146938 SOS 34427 HAS SOPS 34427 HAS SOUS 24781 HAS SOUPS 24781 WITH SCORE 24815.427
AT ITER 1696 NEW BEST:: SOT 146944 SOS 34417 HAS SOPS 34417 HAS SOUS 24771 HAS SOUPS 24771 WITH SCORE 24805.417
AT ITER 1699 NEW BEST:: SOT 146939 SOS 34412 HAS SOPS 34412 HAS SOUS 24766 HAS SOUPS 24766 WITH SCORE 24800.412
AT ITER 1725 NEW BEST:: SOT 146853 SOS 34240 HAS SOPS 34240 HAS SOUS 24635 HAS SOUPS 24635 WITH SCORE 24669.24
AT ITER 1756 NEW BEST:: SOT 146744 SOS 34160 HAS SOPS 34160 HAS SOUS 24535 HAS SOUPS 24535 WITH SCORE 24569.16
AT ITER 1774 NEW BEST:: SOT 146721 SOS 34137 HAS SOPS 34137 HAS SOUS 24512 HAS SOUPS 24512 WITH SCORE 24546.137
AT ITER 1777 NEW BEST:: SOT 146714 SOS 34123 HAS SOPS 34123 HAS SOUS 24505 HAS SOUPS 24505 WITH SCORE 24539.123
AT ITER 1826 NEW BEST:: SOT 146688 SOS 34191 HAS SOPS 34191 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24516.191
AT ITER 1833 NEW BEST:: SOT 146665 SOS 34145 HAS SOPS 34145 HAS SOUS 24474 HAS SOUPS 24474 WITH SCORE 24508.145
AT ITER 1939 NEW BEST:: SOT 146668 SOS 34162 HAS SOPS 34162 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24497.162
AT ITER 1948 NEW BEST:: SOT 146668 SOS 34157 HAS SOPS 34157 HAS SOUS 24459 HAS SOUPS 24459 WITH SCORE 24493.157
AT ITER 1965 NEW BEST:: SOT 146787 SOS 34172 HAS SOPS 34172 HAS SOUS 24372 HAS SOUPS 24372 WITH SCORE 24406.172
AT ITER 1979 NEW BEST:: SOT 146767 SOS 34153 HAS SOPS 34153 HAS SOUS 24336 HAS SOUPS 24336 WITH SCORE 24370.153
AT ITER 1981 NEW BEST:: SOT 146765 SOS 34149 HAS SOPS 34149 HAS SOUS 24332 HAS SOUPS 24332 WITH SCORE 24366.149
AT ITER 1986 NEW BEST:: SOT 146712 SOS 34043 HAS SOPS 34043 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24340.043
AT ITER 1990 NEW BEST:: SOT 146707 SOS 33847 HAS SOPS 33847 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24274.847
AT ITER 1993 NEW BEST:: SOT 146711 SOS 33713 HAS SOPS 33713 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24153.713
AT ITER 2022 NEW BEST:: SOT 146671 SOS 33646 HAS SOPS 33646 HAS SOUS 24053 HAS SOUPS 24053 WITH SCORE 24086.646
AT ITER 2027 NEW BEST:: SOT 146670 SOS 33643 HAS SOPS 33643 HAS SOUS 24051 HAS SOUPS 24051 WITH SCORE 24084.643
AT ITER 2036 NEW BEST:: SOT 146666 SOS 33639 HAS SOPS 33639 HAS SOUS 24047 HAS SOUPS 24047 WITH SCORE 24080.639
AT ITER 2041 NEW BEST:: SOT 146547 SOS 33495 HAS SOPS 33495 HAS SOUS 23954 HAS SOUPS 23954 WITH SCORE 23987.495
AT ITER 2047 NEW BEST:: SOT 146557 SOS 33482 HAS SOPS 33482 HAS SOUS 23941 HAS SOUPS 23941 WITH SCORE 23974.482
AT ITER 2055 NEW BEST:: SOT 146424 SOS 33363 HAS SOPS 33363 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23924.363
AT ITER 2056 NEW BEST:: SOT 146420 SOS 33331 HAS SOPS 33331 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23918.331
AT ITER 2061 NEW BEST:: SOT 146447 SOS 33303 HAS SOPS 33303 HAS SOUS 23837 HAS SOUPS 23837 WITH SCORE 23870.303
AT ITER 2086 NEW BEST:: SOT 146425 SOS 33326 HAS SOPS 33326 HAS SOUS 23815 HAS SOUPS 23815 WITH SCORE 23848.326
AT ITER 2090 NEW BEST:: SOT 146422 SOS 33323 HAS SOPS 33323 HAS SOUS 23812 HAS SOUPS 23812 WITH SCORE 23845.323
AT ITER 2101 NEW BEST:: SOT 146421 SOS 33321 HAS SOPS 33321 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23844.321
AT ITER 2112 NEW BEST:: SOT 146414 SOS 33296 HAS SOPS 33296 HAS SOUS 23786 HAS SOUPS 23786 WITH SCORE 23819.296
AT ITER 2127 NEW BEST:: SOT 146412 SOS 33293 HAS SOPS 33293 HAS SOUS 23784 HAS SOUPS 23784 WITH SCORE 23817.293
AT ITER 2136 NEW BEST:: SOT 146298 SOS 33065 HAS SOPS 33065 HAS SOUS 23683 HAS SOUPS 23683 WITH SCORE 23716.065
AT ITER 2167 NEW BEST:: SOT 146260 SOS 32989 HAS SOPS 32989 HAS SOUS 23645 HAS SOUPS 23645 WITH SCORE 23677.989
AT ITER 2172 NEW BEST:: SOT 146191 SOS 32851 HAS SOPS 32851 HAS SOUS 23507 HAS SOUPS 23507 WITH SCORE 23539.851
AT ITER 2192 NEW BEST:: SOT 146170 SOS 32830 HAS SOPS 32830 HAS SOUS 23505 HAS SOUPS 23505 WITH SCORE 23537.83
AT ITER 2194 NEW BEST:: SOT 146196 SOS 32856 HAS SOPS 32856 HAS SOUS 23479 HAS SOUPS 23479 WITH SCORE 23511.856
AT ITER 2195 NEW BEST:: SOT 146196 SOS 32835 HAS SOPS 32835 HAS SOUS 23479 HAS SOUPS 23479 WITH SCORE 23511.835
AT ITER 2213 NEW BEST:: SOT 146173 SOS 32529 HAS SOPS 32529 HAS SOUS 23443 HAS SOUPS 23443 WITH SCORE 23475.529
AT ITER 2219 NEW BEST:: SOT 146085 SOS 32385 HAS SOPS 32385 HAS SOUS 23369 HAS SOUPS 23369 WITH SCORE 23401.385
AT ITER 2234 NEW BEST:: SOT 146091 SOS 32370 HAS SOPS 32370 HAS SOUS 23354 HAS SOUPS 23354 WITH SCORE 23386.37
AT ITER 2235 NEW BEST:: SOT 146069 SOS 32337 HAS SOPS 32337 HAS SOUS 23321 HAS SOUPS 23321 WITH SCORE 23353.337
AT ITER 2270 NEW BEST:: SOT 146008 SOS 32276 HAS SOPS 32276 HAS SOUS 23310 HAS SOUPS 23310 WITH SCORE 23342.276
AT ITER 2277 NEW BEST:: SOT 146008 SOS 32261 HAS SOPS 32261 HAS SOUS 23295 HAS SOUPS 23295 WITH SCORE 23327.261
AT ITER 2278 NEW BEST:: SOT 145983 SOS 32211 HAS SOPS 32211 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23302.211
AT ITER 2284 NEW BEST:: SOT 145983 SOS 32157 HAS SOPS 32157 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23302.157
AT ITER 2293 NEW BEST:: SOT 145959 SOS 32127 HAS SOPS 32127 HAS SOUS 23240 HAS SOUPS 23240 WITH SCORE 23272.127
AT ITER 2340 NEW BEST:: SOT 145907 SOS 32095 HAS SOPS 32095 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23240.095
AT ITER 2346 NEW BEST:: SOT 145895 SOS 32071 HAS SOPS 32071 HAS SOUS 23184 HAS SOUPS 23184 WITH SCORE 23216.071
AT ITER 2355 NEW BEST:: SOT 145724 SOS 33563 HAS SOPS 33563 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23176.563
AT ITER 2362 NEW BEST:: SOT 145717 SOS 33549 HAS SOPS 33549 HAS SOUS 23129 HAS SOUPS 23129 WITH SCORE 23162.549
AT ITER 2376 NEW BEST:: SOT 145708 SOS 33531 HAS SOPS 33531 HAS SOUS 23111 HAS SOUPS 23111 WITH SCORE 23144.531
AT ITER 2384 NEW BEST:: SOT 145651 SOS 33511 HAS SOPS 33511 HAS SOUS 23054 HAS SOUPS 23054 WITH SCORE 23087.511
AT ITER 2389 NEW BEST:: SOT 145646 SOS 33484 HAS SOPS 33484 HAS SOUS 23032 HAS SOUPS 23032 WITH SCORE 23065.484
AT ITER 2411 NEW BEST:: SOT 145627 SOS 33465 HAS SOPS 33465 HAS SOUS 23032 HAS SOUPS 23032 WITH SCORE 23065.465
AT ITER 2419 NEW BEST:: SOT 145685 SOS 33489 HAS SOPS 33489 HAS SOUS 23025 HAS SOUPS 23025 WITH SCORE 23058.489
AT ITER 2420 NEW BEST:: SOT 145685 SOS 33481 HAS SOPS 33481 HAS SOUS 23021 HAS SOUPS 23021 WITH SCORE 23054.481
AT ITER 2438 NEW BEST:: SOT 145675 SOS 33471 HAS SOPS 33471 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23049.471
AT ITER 2439 NEW BEST:: SOT 145675 SOS 33453 HAS SOPS 33453 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23040.453
AT ITER 2449 NEW BEST:: SOT 145693 SOS 33413 HAS SOPS 33413 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 23000.413
AT ITER 2479 NEW BEST:: SOT 145693 SOS 33413 HAS SOPS 33413 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 22996.413
AT ITER 2510 NEW BEST:: SOT 145573 SOS 33173 HAS SOPS 33173 HAS SOUS 22839 HAS SOUPS 22839 WITH SCORE 22872.173
AT ITER 2545 NEW BEST:: SOT 145569 SOS 33165 HAS SOPS 33165 HAS SOUS 22835 HAS SOUPS 22835 WITH SCORE 22868.165
AT ITER 2548 NEW BEST:: SOT 145559 SOS 33144 HAS SOPS 33144 HAS SOUS 22814 HAS SOUPS 22814 WITH SCORE 22847.144
AT ITER 2555 NEW BEST:: SOT 145559 SOS 33139 HAS SOPS 33139 HAS SOUS 22809 HAS SOUPS 22809 WITH SCORE 22842.139
AT ITER 2572 NEW BEST:: SOT 145536 SOS 33093 HAS SOPS 33093 HAS SOUS 22761 HAS SOUPS 22761 WITH SCORE 22794.093
AT ITER 2573 NEW BEST:: SOT 145521 SOS 33078 HAS SOPS 33078 HAS SOUS 22746 HAS SOUPS 22746 WITH SCORE 22779.078
AT ITER 2610 NEW BEST:: SOT 145417 SOS 33236 HAS SOPS 33236 HAS SOUS 22692 HAS SOUPS 22692 WITH SCORE 22725.236
AT ITER 2667 NEW BEST:: SOT 145355 SOS 33236 HAS SOPS 33236 HAS SOUS 22675 HAS SOUPS 22675 WITH SCORE 22708.236
AT ITER 2679 NEW BEST:: SOT 145355 SOS 33236 HAS SOPS 33236 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22705.236
AT ITER 2711 NEW BEST:: SOT 145369 SOS 33214 HAS SOPS 33214 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22683.214
AT ITER 2714 NEW BEST:: SOT 145359 SOS 33199 HAS SOPS 33199 HAS SOUS 22635 HAS SOUPS 22635 WITH SCORE 22668.199
AT ITER 2724 NEW BEST:: SOT 145352 SOS 33185 HAS SOPS 33185 HAS SOUS 22621 HAS SOUPS 22621 WITH SCORE 22654.185
AT ITER 2731 NEW BEST:: SOT 145284 SOS 33087 HAS SOPS 33087 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22594.087
AT ITER 2744 NEW BEST:: SOT 145275 SOS 33069 HAS SOPS 33069 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22585.069
AT ITER 2746 NEW BEST:: SOT 145252 SOS 33038 HAS SOPS 33038 HAS SOUS 22516 HAS SOUPS 22516 WITH SCORE 22549.038
AT ITER 2753 NEW BEST:: SOT 145246 SOS 33026 HAS SOPS 33026 HAS SOUS 22504 HAS SOUPS 22504 WITH SCORE 22537.026
AT ITER 2759 NEW BEST:: SOT 145245 SOS 33024 HAS SOPS 33024 HAS SOUS 22502 HAS SOUPS 22502 WITH SCORE 22535.024
AT ITER 2773 NEW BEST:: SOT 145242 SOS 33018 HAS SOPS 33018 HAS SOUS 22496 HAS SOUPS 22496 WITH SCORE 22529.018
AT ITER 2776 NEW BEST:: SOT 145242 SOS 33004 HAS SOPS 33004 HAS SOUS 22482 HAS SOUPS 22482 WITH SCORE 22515.004
AT ITER 2807 NEW BEST:: SOT 145234 SOS 32988 HAS SOPS 32988 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22439.988
AT ITER 2832 NEW BEST:: SOT 145210 SOS 32940 HAS SOPS 32940 HAS SOUS 22381 HAS SOUPS 22381 WITH SCORE 22413.94
AT ITER 2845 NEW BEST:: SOT 145202 SOS 32924 HAS SOPS 32924 HAS SOUS 22377 HAS SOUPS 22377 WITH SCORE 22409.924
AT ITER 2854 NEW BEST:: SOT 145158 SOS 32836 HAS SOPS 32836 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22330.836
AT ITER 2859 NEW BEST:: SOT 145142 SOS 32812 HAS SOPS 32812 HAS SOUS 22282 HAS SOUPS 22282 WITH SCORE 22314.812
AT ITER 2881 NEW BEST:: SOT 145137 SOS 32802 HAS SOPS 32802 HAS SOUS 22265 HAS SOUPS 22265 WITH SCORE 22297.802
AT ITER 2884 NEW BEST:: SOT 145130 SOS 32830 HAS SOPS 32830 HAS SOUS 22258 HAS SOUPS 22258 WITH SCORE 22290.83
AT ITER 2912 NEW BEST:: SOT 145130 SOS 32827 HAS SOPS 32827 HAS SOUS 22255 HAS SOUPS 22255 WITH SCORE 22287.827
AT ITER 2931 NEW BEST:: SOT 145130 SOS 32767 HAS SOPS 32767 HAS SOUS 22195 HAS SOUPS 22195 WITH SCORE 22227.767
AT ITER 2948 NEW BEST:: SOT 145128 SOS 32763 HAS SOPS 32763 HAS SOUS 22193 HAS SOUPS 22193 WITH SCORE 22225.763
AT ITER 2957 NEW BEST:: SOT 145117 SOS 32752 HAS SOPS 32752 HAS SOUS 22171 HAS SOUPS 22171 WITH SCORE 22203.752
AT ITER 2977 NEW BEST:: SOT 145194 SOS 32838 HAS SOPS 32838 HAS SOUS 22141 HAS SOUPS 22141 WITH SCORE 22173.838
AT ITER 2987 NEW BEST:: SOT 145193 SOS 32837 HAS SOPS 32837 HAS SOUS 22140 HAS SOUPS 22140 WITH SCORE 22172.837
AT ITER 2990 NEW BEST:: SOT 145064 SOS 33411 HAS SOPS 33411 HAS SOUS 22110 HAS SOUPS 22110 WITH SCORE 22143.411
AT ITER 3008 NEW BEST:: SOT 145037 SOS 33384 HAS SOPS 33384 HAS SOUS 22110 HAS SOUPS 22110 WITH SCORE 22143.384
AT ITER 3014 NEW BEST:: SOT 145023 SOS 33476 HAS SOPS 33476 HAS SOUS 22106 HAS SOUPS 22106 WITH SCORE 22139.476
AT ITER 3042 NEW BEST:: SOT 145053 SOS 33390 HAS SOPS 33390 HAS SOUS 22093 HAS SOUPS 22093 WITH SCORE 22126.39
AT ITER 3068 NEW BEST:: SOT 145129 SOS 33276 HAS SOPS 33276 HAS SOUS 22054 HAS SOUPS 22054 WITH SCORE 22087.276
AT ITER 3082 NEW BEST:: SOT 145048 SOS 33114 HAS SOPS 33114 HAS SOUS 21932 HAS SOUPS 21932 WITH SCORE 21965.114
AT ITER 3084 NEW BEST:: SOT 145036 SOS 33122 HAS SOPS 33122 HAS SOUS 21914 HAS SOUPS 21914 WITH SCORE 21947.122
AT ITER 3085 NEW BEST:: SOT 145035 SOS 33105 HAS SOPS 33105 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21931.105
AT ITER 3098 NEW BEST:: SOT 145002 SOS 33072 HAS SOPS 33072 HAS SOUS 21865 HAS SOUPS 21865 WITH SCORE 21898.072
AT ITER 3104 NEW BEST:: SOT 145000 SOS 33070 HAS SOPS 33070 HAS SOUS 21863 HAS SOUPS 21863 WITH SCORE 21896.07
AT ITER 3119 NEW BEST:: SOT 144982 SOS 33052 HAS SOPS 33052 HAS SOUS 21854 HAS SOUPS 21854 WITH SCORE 21887.052
AT ITER 3123 NEW BEST:: SOT 144982 SOS 33042 HAS SOPS 33042 HAS SOUS 21844 HAS SOUPS 21844 WITH SCORE 21877.042
AT ITER 3152 NEW BEST:: SOT 144992 SOS 33041 HAS SOPS 33041 HAS SOUS 21843 HAS SOUPS 21843 WITH SCORE 21876.041
AT ITER 3158 NEW BEST:: SOT 144978 SOS 33013 HAS SOPS 33013 HAS SOUS 21815 HAS SOUPS 21815 WITH SCORE 21848.013
AT ITER 3179 NEW BEST:: SOT 144992 SOS 32976 HAS SOPS 32976 HAS SOUS 21815 HAS SOUPS 21815 WITH SCORE 21847.976
AT ITER 3196 NEW BEST:: SOT 144992 SOS 32976 HAS SOPS 32976 HAS SOUS 21814 HAS SOUPS 21814 WITH SCORE 21846.976
AT ITER 3216 NEW BEST:: SOT 144991 SOS 32974 HAS SOPS 32974 HAS SOUS 21812 HAS SOUPS 21812 WITH SCORE 21844.974
AT ITER 3239 NEW BEST:: SOT 144938 SOS 32868 HAS SOPS 32868 HAS SOUS 21748 HAS SOUPS 21748 WITH SCORE 21780.868
AT ITER 3242 NEW BEST:: SOT 144883 SOS 32813 HAS SOPS 32813 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21717.813
AT ITER 3264 NEW BEST:: SOT 144880 SOS 32806 HAS SOPS 32806 HAS SOUS 21679 HAS SOUPS 21679 WITH SCORE 21711.806
AT ITER 3269 NEW BEST:: SOT 144880 SOS 32806 HAS SOPS 32806 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21709.806
AT ITER 3273 NEW BEST:: SOT 144876 SOS 32802 HAS SOPS 32802 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21705.802
AT ITER 3285 NEW BEST:: SOT 144808 SOS 32797 HAS SOPS 32797 HAS SOUS 21655 HAS SOUPS 21655 WITH SCORE 21687.797
AT ITER 3312 NEW BEST:: SOT 144807 SOS 32796 HAS SOPS 32796 HAS SOUS 21655 HAS SOUPS 21655 WITH SCORE 21687.796
AT ITER 3333 NEW BEST:: SOT 144797 SOS 32793 HAS SOPS 32793 HAS SOUS 21652 HAS SOUPS 21652 WITH SCORE 21684.793
AT ITER 3346 NEW BEST:: SOT 144801 SOS 32741 HAS SOPS 32741 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21683.741
AT ITER 3348 NEW BEST:: SOT 144795 SOS 32735 HAS SOPS 32735 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21683.735
AT ITER 3366 NEW BEST:: SOT 144752 SOS 32649 HAS SOPS 32649 HAS SOUS 21608 HAS SOUPS 21608 WITH SCORE 21640.649
AT ITER 3396 NEW BEST:: SOT 144737 SOS 32634 HAS SOPS 32634 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21625.634
AT ITER 3433 NEW BEST:: SOT 144766 SOS 32623 HAS SOPS 32623 HAS SOUS 21576 HAS SOUPS 21576 WITH SCORE 21608.623
AT ITER 3490 NEW BEST:: SOT 144762 SOS 32615 HAS SOPS 32615 HAS SOUS 21568 HAS SOUPS 21568 WITH SCORE 21600.615
AT ITER 3503 NEW BEST:: SOT 144778 SOS 32533 HAS SOPS 32533 HAS SOUS 21546 HAS SOUPS 21546 WITH SCORE 21578.533
AT ITER 3512 NEW BEST:: SOT 144778 SOS 32541 HAS SOPS 32541 HAS SOUS 21538 HAS SOUPS 21538 WITH SCORE 21570.541
AT ITER 3517 NEW BEST:: SOT 144749 SOS 32512 HAS SOPS 32512 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21541.512
AT ITER 3518 NEW BEST:: SOT 144775 SOS 32478 HAS SOPS 32478 HAS SOUS 21483 HAS SOUPS 21483 WITH SCORE 21515.478
AT ITER 3535 NEW BEST:: SOT 144773 SOS 32474 HAS SOPS 32474 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21511.474
AT ITER 3549 NEW BEST:: SOT 144778 SOS 32461 HAS SOPS 32461 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21500.461
AT ITER 3577 NEW BEST:: SOT 144778 SOS 32445 HAS SOPS 32445 HAS SOUS 21468 HAS SOUPS 21468 WITH SCORE 21500.445
AT ITER 3578 NEW BEST:: SOT 144768 SOS 32385 HAS SOPS 32385 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21475.385
AT ITER 3581 NEW BEST:: SOT 144742 SOS 32359 HAS SOPS 32359 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21449.359
AT ITER 3610 NEW BEST:: SOT 144689 SOS 32253 HAS SOPS 32253 HAS SOUS 21364 HAS SOUPS 21364 WITH SCORE 21396.253
AT ITER 3624 NEW BEST:: SOT 144686 SOS 32216 HAS SOPS 32216 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21382.216
AT ITER 3663 NEW BEST:: SOT 144655 SOS 32145 HAS SOPS 32145 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21346.145
AT ITER 3671 NEW BEST:: SOT 144630 SOS 32087 HAS SOPS 32087 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21288.087
AT ITER 3680 NEW BEST:: SOT 144630 SOS 32072 HAS SOPS 32072 HAS SOUS 21241 HAS SOUPS 21241 WITH SCORE 21273.072
AT ITER 3690 NEW BEST:: SOT 144580 SOS 31972 HAS SOPS 31972 HAS SOUS 21226 HAS SOUPS 21226 WITH SCORE 21257.972
AT ITER 3700 NEW BEST:: SOT 144579 SOS 31970 HAS SOPS 31970 HAS SOUS 21224 HAS SOUPS 21224 WITH SCORE 21255.97
AT ITER 3702 NEW BEST:: SOT 144571 SOS 31949 HAS SOPS 31949 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21234.949
AT ITER 3714 NEW BEST:: SOT 144542 SOS 31920 HAS SOPS 31920 HAS SOUS 21203 HAS SOUPS 21203 WITH SCORE 21234.92
AT ITER 3715 NEW BEST:: SOT 144526 SOS 31888 HAS SOPS 31888 HAS SOUS 21187 HAS SOUPS 21187 WITH SCORE 21218.888
AT ITER 3716 NEW BEST:: SOT 144526 SOS 31889 HAS SOPS 31889 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21207.889
AT ITER 3732 NEW BEST:: SOT 144454 SOS 31745 HAS SOPS 31745 HAS SOUS 21168 HAS SOUPS 21168 WITH SCORE 21199.745
AT ITER 3749 NEW BEST:: SOT 144448 SOS 31733 HAS SOPS 31733 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21187.733
AT ITER 3759 NEW BEST:: SOT 144448 SOS 31655 HAS SOPS 31655 HAS SOUS 21078 HAS SOUPS 21078 WITH SCORE 21109.655
AT ITER 3779 NEW BEST:: SOT 144438 SOS 31635 HAS SOPS 31635 HAS SOUS 21067 HAS SOUPS 21067 WITH SCORE 21098.635
AT ITER 3795 NEW BEST:: SOT 144382 SOS 31457 HAS SOPS 31457 HAS SOUS 20988 HAS SOUPS 20988 WITH SCORE 21019.457
AT ITER 3801 NEW BEST:: SOT 144332 SOS 31604 HAS SOPS 31604 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 20992.604
AT ITER 3805 NEW BEST:: SOT 144332 SOS 31594 HAS SOPS 31594 HAS SOUS 20961 HAS SOUPS 20961 WITH SCORE 20992.594
AT ITER 3828 NEW BEST:: SOT 144272 SOS 31474 HAS SOPS 31474 HAS SOUS 20888 HAS SOUPS 20888 WITH SCORE 20919.474
AT ITER 3837 NEW BEST:: SOT 144290 SOS 31468 HAS SOPS 31468 HAS SOUS 20882 HAS SOUPS 20882 WITH SCORE 20913.468
AT ITER 3862 NEW BEST:: SOT 144276 SOS 31455 HAS SOPS 31455 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20900.455
AT ITER 3877 NEW BEST:: SOT 144403 SOS 31563 HAS SOPS 31563 HAS SOUS 20833 HAS SOUPS 20833 WITH SCORE 20864.563
AT ITER 3925 NEW BEST:: SOT 144396 SOS 31549 HAS SOPS 31549 HAS SOUS 20819 HAS SOUPS 20819 WITH SCORE 20850.549
AT ITER 3961 NEW BEST:: SOT 144380 SOS 31533 HAS SOPS 31533 HAS SOUS 20803 HAS SOUPS 20803 WITH SCORE 20834.533
AT ITER 3982 NEW BEST:: SOT 144379 SOS 31523 HAS SOPS 31523 HAS SOUS 20801 HAS SOUPS 20801 WITH SCORE 20832.523
AT ITER 4002 NEW BEST:: SOT 144372 SOS 31509 HAS SOPS 31509 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20818.509
AT ITER 4014 NEW BEST:: SOT 144358 SOS 31509 HAS SOPS 31509 HAS SOUS 20764 HAS SOUPS 20764 WITH SCORE 20795.509
AT ITER 4015 NEW BEST:: SOT 144358 SOS 31479 HAS SOPS 31479 HAS SOUS 20764 HAS SOUPS 20764 WITH SCORE 20795.479
AT ITER 4052 NEW BEST:: SOT 144340 SOS 31461 HAS SOPS 31461 HAS SOUS 20751 HAS SOUPS 20751 WITH SCORE 20782.461
AT ITER 4075 NEW BEST:: SOT 144051 SOS 31094 HAS SOPS 31094 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20729.094
AT ITER 4086 NEW BEST:: SOT 144051 SOS 31090 HAS SOPS 31090 HAS SOUS 20694 HAS SOUPS 20694 WITH SCORE 20725.09
AT ITER 4113 NEW BEST:: SOT 144032 SOS 31071 HAS SOPS 31071 HAS SOUS 20694 HAS SOUPS 20694 WITH SCORE 20725.071
AT ITER 4124 NEW BEST:: SOT 144031 SOS 31069 HAS SOPS 31069 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20723.069
AT ITER 4180 NEW BEST:: SOT 143949 SOS 30987 HAS SOPS 30987 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20657.987
AT ITER 4183 NEW BEST:: SOT 143949 SOS 30987 HAS SOPS 30987 HAS SOUS 20620 HAS SOUPS 20620 WITH SCORE 20650.987
AT ITER 4190 NEW BEST:: SOT 143952 SOS 30978 HAS SOPS 30978 HAS SOUS 20620 HAS SOUPS 20620 WITH SCORE 20650.978
AT ITER 4194 NEW BEST:: SOT 143909 SOS 30892 HAS SOPS 30892 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20590.892
AT ITER 4198 NEW BEST:: SOT 143904 SOS 30887 HAS SOPS 30887 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20590.887
AT ITER 4215 NEW BEST:: SOT 143904 SOS 30887 HAS SOPS 30887 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20587.887
AT ITER 4231 NEW BEST:: SOT 143913 SOS 30796 HAS SOPS 30796 HAS SOUS 20466 HAS SOUPS 20466 WITH SCORE 20496.796
AT ITER 4247 NEW BEST:: SOT 143998 SOS 30634 HAS SOPS 30634 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20417.634
AT ITER 4248 NEW BEST:: SOT 143962 SOS 30569 HAS SOPS 30569 HAS SOUS 20348 HAS SOUPS 20348 WITH SCORE 20378.569
AT ITER 4259 NEW BEST:: SOT 143949 SOS 30543 HAS SOPS 30543 HAS SOUS 20322 HAS SOUPS 20322 WITH SCORE 20352.543
AT ITER 4273 NEW BEST:: SOT 143822 SOS 30289 HAS SOPS 30289 HAS SOUS 20161 HAS SOUPS 20161 WITH SCORE 20191.289
AT ITER 4318 NEW BEST:: SOT 143740 SOS 30129 HAS SOPS 30129 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20128.129
AT ITER 4352 NEW BEST:: SOT 143737 SOS 30123 HAS SOPS 30123 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20128.123
AT ITER 4358 NEW BEST:: SOT 143728 SOS 30114 HAS SOPS 30114 HAS SOUS 20089 HAS SOUPS 20089 WITH SCORE 20119.114
AT ITER 4391 NEW BEST:: SOT 143726 SOS 30112 HAS SOPS 30112 HAS SOUS 20087 HAS SOUPS 20087 WITH SCORE 20117.112
AT ITER 4414 NEW BEST:: SOT 143708 SOS 30036 HAS SOPS 30036 HAS SOUS 20039 HAS SOUPS 20039 WITH SCORE 20069.036
AT ITER 4421 NEW BEST:: SOT 143633 SOS 30545 HAS SOPS 30545 HAS SOUS 19974 HAS SOUPS 19974 WITH SCORE 20004.545
AT ITER 4434 NEW BEST:: SOT 143492 SOS 30419 HAS SOPS 30419 HAS SOUS 19924 HAS SOUPS 19924 WITH SCORE 19954.419
AT ITER 4437 NEW BEST:: SOT 143509 SOS 30453 HAS SOPS 30453 HAS SOUS 19917 HAS SOUPS 19917 WITH SCORE 19947.453
AT ITER 4448 NEW BEST:: SOT 143536 SOS 30507 HAS SOPS 30507 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19941.507
AT ITER 4457 NEW BEST:: SOT 143530 SOS 30285 HAS SOPS 30285 HAS SOUS 19893 HAS SOUPS 19893 WITH SCORE 19923.285
AT ITER 4483 NEW BEST:: SOT 143503 SOS 30258 HAS SOPS 30258 HAS SOUS 19866 HAS SOUPS 19866 WITH SCORE 19896.258
AT ITER 4513 NEW BEST:: SOT 143502 SOS 30257 HAS SOPS 30257 HAS SOUS 19864 HAS SOUPS 19864 WITH SCORE 19894.257
AT ITER 4563 NEW BEST:: SOT 143553 SOS 30237 HAS SOPS 30237 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19882.237
AT ITER 4609 NEW BEST:: SOT 143542 SOS 30230 HAS SOPS 30230 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19878.23
AT ITER 4618 NEW BEST:: SOT 143512 SOS 30170 HAS SOPS 30170 HAS SOUS 19814 HAS SOUPS 19814 WITH SCORE 19844.17
AT ITER 4683 NEW BEST:: SOT 143510 SOS 30166 HAS SOPS 30166 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19840.166
AT ITER 4686 NEW BEST:: SOT 143502 SOS 30150 HAS SOPS 30150 HAS SOUS 19802 HAS SOUPS 19802 WITH SCORE 19832.15
AT ITER 4721 NEW BEST:: SOT 143489 SOS 30124 HAS SOPS 30124 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19806.124
AT ITER 4736 NEW BEST:: SOT 143457 SOS 30060 HAS SOPS 30060 HAS SOUS 19744 HAS SOUPS 19744 WITH SCORE 19774.06
AT ITER 4757 NEW BEST:: SOT 143457 SOS 30060 HAS SOPS 30060 HAS SOUS 19743 HAS SOUPS 19743 WITH SCORE 19773.06
AT ITER 4789 NEW BEST:: SOT 143449 SOS 30044 HAS SOPS 30044 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19757.044
AT ITER 4821 NEW BEST:: SOT 143443 SOS 30032 HAS SOPS 30032 HAS SOUS 19715 HAS SOUPS 19715 WITH SCORE 19745.032
AT ITER 4854 NEW BEST:: SOT 143410 SOS 29959 HAS SOPS 29959 HAS SOUS 19642 HAS SOUPS 19642 WITH SCORE 19671.959
AT ITER 4873 NEW BEST:: SOT 143321 SOS 29858 HAS SOPS 29858 HAS SOUS 19630 HAS SOUPS 19630 WITH SCORE 19659.858
AT ITER 4930 NEW BEST:: SOT 143313 SOS 29822 HAS SOPS 29822 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19623.822
AT ITER 4971 NEW BEST:: SOT 143312 SOS 29820 HAS SOPS 29820 HAS SOUS 19592 HAS SOUPS 19592 WITH SCORE 19621.82
AT ITER 4981 NEW BEST:: SOT 143277 SOS 29785 HAS SOPS 29785 HAS SOUS 19579 HAS SOUPS 19579 WITH SCORE 19608.785
AT ITER 5001 NEW BEST:: SOT 143255 SOS 29715 HAS SOPS 29715 HAS SOUS 19509 HAS SOUPS 19509 WITH SCORE 19538.715
AT ITER 5015 NEW BEST:: SOT 143249 SOS 29709 HAS SOPS 29709 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19532.709
AT ITER 5069 NEW BEST:: SOT 143240 SOS 29714 HAS SOPS 29714 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19491.714
AT ITER 5073 NEW BEST:: SOT 143240 SOS 29713 HAS SOPS 29713 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19491.713
AT ITER 5136 NEW BEST:: SOT 143200 SOS 29647 HAS SOPS 29647 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19467.647
AT ITER 5141 NEW BEST:: SOT 143200 SOS 29590 HAS SOPS 29590 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19467.59
AT ITER 5142 NEW BEST:: SOT 143169 SOS 29548 HAS SOPS 29548 HAS SOUS 19416 HAS SOUPS 19416 WITH SCORE 19445.548
AT ITER 5163 NEW BEST:: SOT 143169 SOS 29518 HAS SOPS 29518 HAS SOUS 19416 HAS SOUPS 19416 WITH SCORE 19445.518
AT ITER 5183 NEW BEST:: SOT 143141 SOS 29462 HAS SOPS 29462 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19442.462
AT ITER 5187 NEW BEST:: SOT 143149 SOS 29462 HAS SOPS 29462 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19434.462
AT ITER 5193 NEW BEST:: SOT 143129 SOS 29444 HAS SOPS 29444 HAS SOUS 19387 HAS SOUPS 19387 WITH SCORE 19416.444
AT ITER 5196 NEW BEST:: SOT 143116 SOS 29453 HAS SOPS 29453 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19411.453
AT ITER 5201 NEW BEST:: SOT 143115 SOS 29427 HAS SOPS 29427 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19404.427
AT ITER 5210 NEW BEST:: SOT 143073 SOS 29344 HAS SOPS 29344 HAS SOUS 19293 HAS SOUPS 19293 WITH SCORE 19322.344
AT ITER 5212 NEW BEST:: SOT 143078 SOS 29354 HAS SOPS 29354 HAS SOUS 19265 HAS SOUPS 19265 WITH SCORE 19294.354
AT ITER 5230 NEW BEST:: SOT 143061 SOS 29320 HAS SOPS 29320 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19278.32
AT ITER 5258 NEW BEST:: SOT 143044 SOS 29298 HAS SOPS 29298 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19268.298
AT ITER 5321 NEW BEST:: SOT 143047 SOS 29292 HAS SOPS 29292 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19262.292
AT ITER 5345 NEW BEST:: SOT 143043 SOS 29288 HAS SOPS 29288 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19258.288
AT ITER 5394 NEW BEST:: SOT 143035 SOS 29280 HAS SOPS 29280 HAS SOUS 19213 HAS SOUPS 19213 WITH SCORE 19242.28
AT ITER 5405 NEW BEST:: SOT 143042 SOS 29282 HAS SOPS 29282 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19241.282
AT ITER 5418 NEW BEST:: SOT 142993 SOS 29674 HAS SOPS 29674 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19221.674
AT ITER 5446 NEW BEST:: SOT 142981 SOS 29659 HAS SOPS 29659 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19218.659
AT ITER 5471 NEW BEST:: SOT 142930 SOS 29608 HAS SOPS 29608 HAS SOUS 19138 HAS SOUPS 19138 WITH SCORE 19167.608
AT ITER 5480 NEW BEST:: SOT 142910 SOS 29568 HAS SOPS 29568 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19127.568
AT ITER 5486 NEW BEST:: SOT 142991 SOS 29602 HAS SOPS 29602 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19080.602
AT ITER 5489 NEW BEST:: SOT 143040 SOS 29619 HAS SOPS 29619 HAS SOUS 19036 HAS SOUPS 19036 WITH SCORE 19065.619
AT ITER 5531 NEW BEST:: SOT 143036 SOS 29615 HAS SOPS 29615 HAS SOUS 19032 HAS SOUPS 19032 WITH SCORE 19061.615
AT ITER 5572 NEW BEST:: SOT 143028 SOS 29607 HAS SOPS 29607 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19053.607
AT ITER 5623 NEW BEST:: SOT 143016 SOS 29573 HAS SOPS 29573 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19024.573
AT ITER 5639 NEW BEST:: SOT 143007 SOS 29555 HAS SOPS 29555 HAS SOUS 18986 HAS SOUPS 18986 WITH SCORE 19015.555
AT ITER 5657 NEW BEST:: SOT 143006 SOS 29548 HAS SOPS 29548 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19009.548
AT ITER 5671 NEW BEST:: SOT 143005 SOS 29555 HAS SOPS 29555 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19007.555
AT ITER 5712 NEW BEST:: SOT 142923 SOS 29391 HAS SOPS 29391 HAS SOUS 18814 HAS SOUPS 18814 WITH SCORE 18843.391
AT ITER 5747 NEW BEST:: SOT 142919 SOS 29383 HAS SOPS 29383 HAS SOUS 18806 HAS SOUPS 18806 WITH SCORE 18835.383
AT ITER 5763 NEW BEST:: SOT 142908 SOS 29449 HAS SOPS 29449 HAS SOUS 18803 HAS SOUPS 18803 WITH SCORE 18832.449
AT ITER 5770 NEW BEST:: SOT 142908 SOS 29449 HAS SOPS 29449 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18826.449
AT ITER 5818 NEW BEST:: SOT 142890 SOS 29431 HAS SOPS 29431 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18826.431
AT ITER 5866 NEW BEST:: SOT 142890 SOS 29388 HAS SOPS 29388 HAS SOUS 18786 HAS SOUPS 18786 WITH SCORE 18815.388
AT ITER 5870 NEW BEST:: SOT 142837 SOS 29339 HAS SOPS 29339 HAS SOUS 18745 HAS SOUPS 18745 WITH SCORE 18774.339
AT ITER 5920 NEW BEST:: SOT 142748 SOS 29248 HAS SOPS 29248 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18772.248
AT ITER 5952 NEW BEST:: SOT 142747 SOS 29246 HAS SOPS 29246 HAS SOUS 18741 HAS SOUPS 18741 WITH SCORE 18770.246
AT ITER 6020 NEW BEST:: SOT 142747 SOS 29236 HAS SOPS 29236 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18760.236
AT ITER 6021 NEW BEST:: SOT 142762 SOS 29205 HAS SOPS 29205 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18729.205
AT ITER 6053 NEW BEST:: SOT 142763 SOS 29207 HAS SOPS 29207 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18697.207
AT ITER 6061 NEW BEST:: SOT 142727 SOS 29159 HAS SOPS 29159 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18649.159
AT ITER 6065 NEW BEST:: SOT 142706 SOS 29157 HAS SOPS 29157 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18641.157
AT ITER 6081 NEW BEST:: SOT 142704 SOS 29155 HAS SOPS 29155 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18639.155
AT ITER 6106 NEW BEST:: SOT 142679 SOS 29130 HAS SOPS 29130 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18639.13
AT ITER 6121 NEW BEST:: SOT 142669 SOS 29110 HAS SOPS 29110 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18619.11
AT ITER 6151 NEW BEST:: SOT 142621 SOS 29062 HAS SOPS 29062 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18603.062
AT ITER 6165 NEW BEST:: SOT 142604 SOS 29050 HAS SOPS 29050 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18586.05
AT ITER 6237 NEW BEST:: SOT 142594 SOS 29020 HAS SOPS 29020 HAS SOUS 18537 HAS SOUPS 18537 WITH SCORE 18566.02
AT ITER 6267 NEW BEST:: SOT 142579 SOS 29094 HAS SOPS 29094 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18551.094
AT ITER 6376 NEW BEST:: SOT 142568 SOS 28290 HAS SOPS 28290 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18524.29
AT ITER 6377 NEW BEST:: SOT 142556 SOS 28282 HAS SOPS 28282 HAS SOUS 18488 HAS SOUPS 18488 WITH SCORE 18516.282
AT ITER 6387 NEW BEST:: SOT 142543 SOS 28274 HAS SOPS 28274 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18508.274
AT ITER 6428 NEW BEST:: SOT 142551 SOS 28261 HAS SOPS 28261 HAS SOUS 18479 HAS SOUPS 18479 WITH SCORE 18507.261
AT ITER 6534 NEW BEST:: SOT 142546 SOS 28251 HAS SOPS 28251 HAS SOUS 18478 HAS SOUPS 18478 WITH SCORE 18506.251
AT ITER 6655 NEW BEST:: SOT 142592 SOS 28241 HAS SOPS 28241 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18496.241
AT ITER 6688 NEW BEST:: SOT 142577 SOS 28236 HAS SOPS 28236 HAS SOUS 18463 HAS SOUPS 18463 WITH SCORE 18491.236
AT ITER 6694 NEW BEST:: SOT 142592 SOS 28251 HAS SOPS 28251 HAS SOUS 18447 HAS SOUPS 18447 WITH SCORE 18475.251
AT ITER 6776 NEW BEST:: SOT 142555 SOS 28236 HAS SOPS 28236 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18460.236
AT ITER 6788 NEW BEST:: SOT 142516 SOS 28197 HAS SOPS 28197 HAS SOUS 18393 HAS SOUPS 18393 WITH SCORE 18421.197
AT ITER 6821 NEW BEST:: SOT 142516 SOS 28197 HAS SOPS 28197 HAS SOUS 18391 HAS SOUPS 18391 WITH SCORE 18419.197
AT ITER 6870 NEW BEST:: SOT 142479 SOS 28073 HAS SOPS 28073 HAS SOUS 18308 HAS SOUPS 18308 WITH SCORE 18336.073
AT ITER 6875 NEW BEST:: SOT 142468 SOS 28067 HAS SOPS 28067 HAS SOUS 18302 HAS SOUPS 18302 WITH SCORE 18330.067
AT ITER 6914 NEW BEST:: SOT 142468 SOS 28062 HAS SOPS 28062 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18325.062
AT ITER 6918 NEW BEST:: SOT 142450 SOS 28050 HAS SOPS 28050 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18313.05
AT ITER 6992 NEW BEST:: SOT 142426 SOS 27947 HAS SOPS 27947 HAS SOUS 18223 HAS SOUPS 18223 WITH SCORE 18250.947
AT ITER 6996 NEW BEST:: SOT 142423 SOS 27944 HAS SOPS 27944 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18244.944
AT ITER 7010 NEW BEST:: SOT 142398 SOS 27934 HAS SOPS 27934 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18219.934
AT ITER 7031 NEW BEST:: SOT 142383 SOS 27904 HAS SOPS 27904 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18189.904
AT ITER 7139 NEW BEST:: SOT 142373 SOS 27884 HAS SOPS 27884 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18179.884
AT ITER 7148 NEW BEST:: SOT 142343 SOS 27824 HAS SOPS 27824 HAS SOUS 18122 HAS SOUPS 18122 WITH SCORE 18149.824
AT ITER 7170 NEW BEST:: SOT 142368 SOS 27874 HAS SOPS 27874 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18145.874
AT ITER 7174 NEW BEST:: SOT 142357 SOS 27852 HAS SOPS 27852 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18123.852
AT ITER 7186 NEW BEST:: SOT 142324 SOS 27779 HAS SOPS 27779 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18123.779
AT ITER 7195 NEW BEST:: SOT 142324 SOS 27775 HAS SOPS 27775 HAS SOUS 18092 HAS SOUPS 18092 WITH SCORE 18119.775
AT ITER 7219 NEW BEST:: SOT 142244 SOS 27701 HAS SOPS 27701 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18088.701
AT ITER 7285 NEW BEST:: SOT 142241 SOS 27701 HAS SOPS 27701 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18085.701
AT ITER 7324 NEW BEST:: SOT 142242 SOS 27698 HAS SOPS 27698 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18082.698
AT ITER 7331 NEW BEST:: SOT 142259 SOS 27580 HAS SOPS 27580 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18040.58
AT ITER 7332 NEW BEST:: SOT 142259 SOS 27579 HAS SOPS 27579 HAS SOUS 18012 HAS SOUPS 18012 WITH SCORE 18039.579
AT ITER 7343 NEW BEST:: SOT 142229 SOS 27609 HAS SOPS 27609 HAS SOUS 17994 HAS SOUPS 17994 WITH SCORE 18021.609
AT ITER 7392 NEW BEST:: SOT 142218 SOS 27643 HAS SOPS 27643 HAS SOUS 17983 HAS SOUPS 17983 WITH SCORE 18010.643
AT ITER 7395 NEW BEST:: SOT 142218 SOS 27642 HAS SOPS 27642 HAS SOUS 17982 HAS SOUPS 17982 WITH SCORE 18009.642
AT ITER 7414 NEW BEST:: SOT 142218 SOS 27558 HAS SOPS 27558 HAS SOUS 17982 HAS SOUPS 17982 WITH SCORE 18009.558
AT ITER 7419 NEW BEST:: SOT 142200 SOS 27504 HAS SOPS 27504 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17973.504
AT ITER 7429 NEW BEST:: SOT 142193 SOS 27490 HAS SOPS 27490 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17973.49
AT ITER 7434 NEW BEST:: SOT 142172 SOS 27448 HAS SOPS 27448 HAS SOUS 17929 HAS SOUPS 17929 WITH SCORE 17956.448
AT ITER 7438 NEW BEST:: SOT 142165 SOS 27434 HAS SOPS 27434 HAS SOUS 17915 HAS SOUPS 17915 WITH SCORE 17942.434
AT ITER 7480 NEW BEST:: SOT 142128 SOS 27360 HAS SOPS 27360 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17940.36
AT ITER 7493 NEW BEST:: SOT 142146 SOS 27378 HAS SOPS 27378 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17938.378
AT ITER 7519 NEW BEST:: SOT 142202 SOS 27400 HAS SOPS 27400 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17904.4
AT ITER 7547 NEW BEST:: SOT 142195 SOS 27386 HAS SOPS 27386 HAS SOUS 17863 HAS SOUPS 17863 WITH SCORE 17890.386
AT ITER 7549 NEW BEST:: SOT 142176 SOS 27348 HAS SOPS 27348 HAS SOUS 17836 HAS SOUPS 17836 WITH SCORE 17863.348
AT ITER 7601 NEW BEST:: SOT 142173 SOS 27342 HAS SOPS 27342 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17857.342
AT ITER 7616 NEW BEST:: SOT 142171 SOS 27324 HAS SOPS 27324 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17850.324
AT ITER 7636 NEW BEST:: SOT 142169 SOS 27320 HAS SOPS 27320 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17846.32
AT ITER 7643 NEW BEST:: SOT 142169 SOS 27313 HAS SOPS 27313 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17839.313
AT ITER 7719 NEW BEST:: SOT 142166 SOS 27292 HAS SOPS 27292 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17818.292
AT ITER 7752 NEW BEST:: SOT 142174 SOS 27267 HAS SOPS 27267 HAS SOUS 17758 HAS SOUPS 17758 WITH SCORE 17785.267
AT ITER 7767 NEW BEST:: SOT 142085 SOS 27089 HAS SOPS 27089 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17702.089
AT ITER 7868 NEW BEST:: SOT 142080 SOS 27084 HAS SOPS 27084 HAS SOUS 17670 HAS SOUPS 17670 WITH SCORE 17697.084
AT ITER 7893 NEW BEST:: SOT 142131 SOS 27189 HAS SOPS 27189 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17678.189
AT ITER 7932 NEW BEST:: SOT 142128 SOS 27183 HAS SOPS 27183 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17670.183
AT ITER 7933 NEW BEST:: SOT 142092 SOS 27098 HAS SOPS 27098 HAS SOUS 17573 HAS SOUPS 17573 WITH SCORE 17600.098
AT ITER 7939 NEW BEST:: SOT 142075 SOS 27064 HAS SOPS 27064 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17582.064
AT ITER 7951 NEW BEST:: SOT 142068 SOS 27050 HAS SOPS 27050 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17582.05
AT ITER 8074 NEW BEST:: SOT 142059 SOS 27032 HAS SOPS 27032 HAS SOUS 17537 HAS SOUPS 17537 WITH SCORE 17564.032
AT ITER 8165 NEW BEST:: SOT 142054 SOS 27022 HAS SOPS 27022 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17554.022
AT ITER 8243 NEW BEST:: SOT 142054 SOS 27015 HAS SOPS 27015 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17547.015
AT ITER 8250 NEW BEST:: SOT 142008 SOS 26909 HAS SOPS 26909 HAS SOUS 17414 HAS SOUPS 17414 WITH SCORE 17440.909
AT ITER 8262 NEW BEST:: SOT 142008 SOS 26909 HAS SOPS 26909 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17439.909
AT ITER 8278 NEW BEST:: SOT 141985 SOS 26894 HAS SOPS 26894 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17424.894
AT ITER 8280 NEW BEST:: SOT 141986 SOS 26896 HAS SOPS 26896 HAS SOUS 17397 HAS SOUPS 17397 WITH SCORE 17423.896
AT ITER 8422 NEW BEST:: SOT 141930 SOS 26784 HAS SOPS 26784 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17367.784
AT ITER 8496 NEW BEST:: SOT 141913 SOS 26750 HAS SOPS 26750 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17333.75
AT ITER 8509 NEW BEST:: SOT 141910 SOS 26744 HAS SOPS 26744 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17327.744
AT ITER 8523 NEW BEST:: SOT 141891 SOS 26716 HAS SOPS 26716 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17314.716
AT ITER 8525 NEW BEST:: SOT 141891 SOS 26699 HAS SOPS 26699 HAS SOUS 17279 HAS SOUPS 17279 WITH SCORE 17305.699
AT ITER 8529 NEW BEST:: SOT 141848 SOS 26657 HAS SOPS 26657 HAS SOUS 17249 HAS SOUPS 17249 WITH SCORE 17275.657
AT ITER 8530 NEW BEST:: SOT 141844 SOS 26649 HAS SOPS 26649 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17271.649
AT ITER 8558 NEW BEST:: SOT 141851 SOS 26645 HAS SOPS 26645 HAS SOUS 17241 HAS SOUPS 17241 WITH SCORE 17267.645
AT ITER 8578 NEW BEST:: SOT 141843 SOS 26637 HAS SOPS 26637 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17259.637
AT ITER 8611 NEW BEST:: SOT 141762 SOS 26610 HAS SOPS 26610 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17232.61
AT ITER 8666 NEW BEST:: SOT 141726 SOS 26463 HAS SOPS 26463 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17160.463
AT ITER 8695 NEW BEST:: SOT 141715 SOS 26452 HAS SOPS 26452 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17160.452
AT ITER 8700 NEW BEST:: SOT 141639 SOS 26419 HAS SOPS 26419 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17084.419
AT ITER 8713 NEW BEST:: SOT 141577 SOS 26393 HAS SOPS 26393 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17058.393
AT ITER 8775 NEW BEST:: SOT 141573 SOS 26389 HAS SOPS 26389 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17054.389
AT ITER 8805 NEW BEST:: SOT 141561 SOS 26379 HAS SOPS 26379 HAS SOUS 17017 HAS SOUPS 17017 WITH SCORE 17043.379
AT ITER 8812 NEW BEST:: SOT 141578 SOS 26413 HAS SOPS 26413 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17039.413
AT ITER 8813 NEW BEST:: SOT 141612 SOS 26481 HAS SOPS 26481 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17031.481
AT ITER 8814 NEW BEST:: SOT 141604 SOS 26465 HAS SOPS 26465 HAS SOUS 16989 HAS SOUPS 16989 WITH SCORE 17015.465
AT ITER 8819 NEW BEST:: SOT 141586 SOS 26447 HAS SOPS 26447 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 16997.447
AT ITER 8820 NEW BEST:: SOT 141573 SOS 26421 HAS SOPS 26421 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16984.421
AT ITER 8896 NEW BEST:: SOT 141573 SOS 26421 HAS SOPS 26421 HAS SOUS 16937 HAS SOUPS 16937 WITH SCORE 16963.421
AT ITER 8913 NEW BEST:: SOT 141555 SOS 26403 HAS SOPS 26403 HAS SOUS 16928 HAS SOUPS 16928 WITH SCORE 16954.403
AT ITER 8950 NEW BEST:: SOT 141555 SOS 26332 HAS SOPS 26332 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16883.332
AT ITER 8971 NEW BEST:: SOT 141549 SOS 26326 HAS SOPS 26326 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16883.326
AT ITER 8991 NEW BEST:: SOT 141548 SOS 26382 HAS SOPS 26382 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16881.382
AT ITER 9021 NEW BEST:: SOT 141506 SOS 26298 HAS SOPS 26298 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16839.298
AT ITER 9041 NEW BEST:: SOT 141504 SOS 26294 HAS SOPS 26294 HAS SOUS 16809 HAS SOUPS 16809 WITH SCORE 16835.294
AT ITER 9059 NEW BEST:: SOT 141412 SOS 26202 HAS SOPS 26202 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16832.202
AT ITER 9070 NEW BEST:: SOT 141412 SOS 26080 HAS SOPS 26080 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16832.08
AT ITER 9233 NEW BEST:: SOT 141399 SOS 26067 HAS SOPS 26067 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16819.067
AT ITER 9236 NEW BEST:: SOT 141402 SOS 26050 HAS SOPS 26050 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16816.05
AT ITER 9241 NEW BEST:: SOT 141400 SOS 26046 HAS SOPS 26046 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16814.046
AT ITER 9284 NEW BEST:: SOT 141380 SOS 26014 HAS SOPS 26014 HAS SOUS 16756 HAS SOUPS 16756 WITH SCORE 16782.014
AT ITER 9345 NEW BEST:: SOT 141376 SOS 26010 HAS SOPS 26010 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16778.01
AT ITER 9377 NEW BEST:: SOT 141376 SOS 25999 HAS SOPS 25999 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16766.999
AT ITER 9409 NEW BEST:: SOT 141376 SOS 25993 HAS SOPS 25993 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16760.993
AT ITER 9438 NEW BEST:: SOT 141376 SOS 25991 HAS SOPS 25991 HAS SOUS 16733 HAS SOUPS 16733 WITH SCORE 16758.991
AT ITER 9461 NEW BEST:: SOT 141376 SOS 25974 HAS SOPS 25974 HAS SOUS 16733 HAS SOUPS 16733 WITH SCORE 16758.974
AT ITER 9503 NEW BEST:: SOT 141373 SOS 25968 HAS SOPS 25968 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16755.968
AT ITER 9627 NEW BEST:: SOT 141373 SOS 25958 HAS SOPS 25958 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16755.958
AT ITER 9643 NEW BEST:: SOT 141343 SOS 25954 HAS SOPS 25954 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16753.954
AT ITER 9686 NEW BEST:: SOT 141340 SOS 25948 HAS SOPS 25948 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16747.948
AT ITER 9716 NEW BEST:: SOT 141321 SOS 25910 HAS SOPS 25910 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16747.91
AT ITER 9736 NEW BEST:: SOT 141321 SOS 25919 HAS SOPS 25919 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16744.919
AT ITER 9742 NEW BEST:: SOT 141303 SOS 25883 HAS SOPS 25883 HAS SOUS 16686 HAS SOUPS 16686 WITH SCORE 16711.883
AT ITER 9743 NEW BEST:: SOT 141302 SOS 25881 HAS SOPS 25881 HAS SOUS 16684 HAS SOUPS 16684 WITH SCORE 16709.881
AT ITER 9745 NEW BEST:: SOT 141299 SOS 25875 HAS SOPS 25875 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16708.875
AT ITER 9792 NEW BEST:: SOT 141300 SOS 25861 HAS SOPS 25861 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16694.861
AT ITER 9794 NEW BEST:: SOT 141305 SOS 25838 HAS SOPS 25838 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16679.838
AT ITER 9797 NEW BEST:: SOT 141292 SOS 25837 HAS SOPS 25837 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16678.837
AT ITER 9819 NEW BEST:: SOT 141288 SOS 25855 HAS SOPS 25855 HAS SOUS 16651 HAS SOUPS 16651 WITH SCORE 16676.855
AT ITER 9822 NEW BEST:: SOT 141283 SOS 25845 HAS SOPS 25845 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16666.845
AT ITER 9839 NEW BEST:: SOT 141292 SOS 25863 HAS SOPS 25863 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16660.863
AT ITER 9849 NEW BEST:: SOT 141285 SOS 25849 HAS SOPS 25849 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16653.849
AT ITER 9850 NEW BEST:: SOT 141277 SOS 25880 HAS SOPS 25880 HAS SOUS 16620 HAS SOUPS 16620 WITH SCORE 16645.88
AT ITER 9879 NEW BEST:: SOT 141269 SOS 25856 HAS SOPS 25856 HAS SOUS 16604 HAS SOUPS 16604 WITH SCORE 16629.856
AT ITER 9926 NEW BEST:: SOT 141258 SOS 25849 HAS SOPS 25849 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16622.849
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2535936 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152144 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="SmartHome-PT-16"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is SmartHome-PT-16, 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 r451-smll-167912643300280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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