Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 9.9K Feb 26 00:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 00:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 23:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 23:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 15:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 00:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 00:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 00:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 00:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 698K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678473225162

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=CANInsertWithFailure-PT-010
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANInsertWithFailure (PT), instance 010
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: 324 places, 660 transitions, 1800 arcs.
AT ITER 0 NEW BEST:: SOT 141259 SOS 94608 HAS SOPS 94478 HAS SOUS 46566 HAS SOUPS 46436 WITH SCORE 46530.608
AT ITER 9 NEW BEST:: SOT 141138 SOS 94366 HAS SOPS 94236 HAS SOUS 46324 HAS SOUPS 46194 WITH SCORE 46288.366
AT ITER 13 NEW BEST:: SOT 140182 SOS 93447 HAS SOPS 93191 HAS SOUS 45736 HAS SOUPS 45480 WITH SCORE 45573.447
AT ITER 15 NEW BEST:: SOT 140171 SOS 93425 HAS SOPS 93169 HAS SOUS 45714 HAS SOUPS 45458 WITH SCORE 45551.425
AT ITER 23 NEW BEST:: SOT 140171 SOS 93412 HAS SOPS 93156 HAS SOUS 45701 HAS SOUPS 45445 WITH SCORE 45538.412
AT ITER 24 NEW BEST:: SOT 140118 SOS 93150 HAS SOPS 92894 HAS SOUS 45700 HAS SOUPS 45444 WITH SCORE 45537.15
AT ITER 27 NEW BEST:: SOT 140490 SOS 93488 HAS SOPS 93232 HAS SOUS 45573 HAS SOUPS 45317 WITH SCORE 45410.488
AT ITER 28 NEW BEST:: SOT 139806 SOS 93065 HAS SOPS 92643 HAS SOUS 45684 HAS SOUPS 45262 WITH SCORE 45355.065
AT ITER 31 NEW BEST:: SOT 139789 SOS 93031 HAS SOPS 92609 HAS SOUS 45650 HAS SOUPS 45228 WITH SCORE 45321.031
AT ITER 34 NEW BEST:: SOT 139705 SOS 92947 HAS SOPS 92525 HAS SOUS 45563 HAS SOUPS 45141 WITH SCORE 45233.947
AT ITER 39 NEW BEST:: SOT 139805 SOS 93012 HAS SOPS 92590 HAS SOUS 45528 HAS SOUPS 45106 WITH SCORE 45199.012
AT ITER 42 NEW BEST:: SOT 140161 SOS 93344 HAS SOPS 92922 HAS SOUS 45439 HAS SOUPS 45017 WITH SCORE 45110.344
AT ITER 45 NEW BEST:: SOT 140213 SOS 93292 HAS SOPS 92870 HAS SOUS 45439 HAS SOUPS 45017 WITH SCORE 45110.292
AT ITER 47 NEW BEST:: SOT 140255 SOS 93250 HAS SOPS 92828 HAS SOUS 45439 HAS SOUPS 45017 WITH SCORE 45110.25
AT ITER 48 NEW BEST:: SOT 139068 SOS 92283 HAS SOPS 91743 HAS SOUS 44614 HAS SOUPS 44078 WITH SCORE 44170.283
AT ITER 56 NEW BEST:: SOT 139158 SOS 92373 HAS SOPS 91833 HAS SOUS 44451 HAS SOUPS 43915 WITH SCORE 44007.373
AT ITER 59 NEW BEST:: SOT 138963 SOS 92399 HAS SOPS 91859 HAS SOUS 44269 HAS SOUPS 43733 WITH SCORE 43825.399
AT ITER 65 NEW BEST:: SOT 138905 SOS 92341 HAS SOPS 91801 HAS SOUS 44119 HAS SOUPS 43583 WITH SCORE 43675.341
AT ITER 71 NEW BEST:: SOT 139011 SOS 92394 HAS SOPS 91854 HAS SOUS 44083 HAS SOUPS 43547 WITH SCORE 43639.394
AT ITER 73 NEW BEST:: SOT 138833 SOS 92251 HAS SOPS 91711 HAS SOUS 43766 HAS SOUPS 43230 WITH SCORE 43322.251
AT ITER 80 NEW BEST:: SOT 138966 SOS 92358 HAS SOPS 91759 HAS SOUS 43487 HAS SOUPS 42951 WITH SCORE 43043.358
AT ITER 81 NEW BEST:: SOT 138484 SOS 95974 HAS SOPS 93995 HAS SOUS 43291 HAS SOUPS 42498 WITH SCORE 42593.974
AT ITER 82 NEW BEST:: SOT 138626 SOS 96105 HAS SOPS 94072 HAS SOUS 43224 HAS SOUPS 42431 WITH SCORE 42527.105
AT ITER 87 NEW BEST:: SOT 138356 SOS 95755 HAS SOPS 93722 HAS SOUS 43168 HAS SOUPS 42375 WITH SCORE 42470.755
AT ITER 88 NEW BEST:: SOT 138354 SOS 95753 HAS SOPS 93720 HAS SOUS 43159 HAS SOUPS 42366 WITH SCORE 42461.753
AT ITER 89 NEW BEST:: SOT 138252 SOS 95165 HAS SOPS 93132 HAS SOUS 42695 HAS SOUPS 41902 WITH SCORE 41997.165
AT ITER 91 NEW BEST:: SOT 138386 SOS 95277 HAS SOPS 93199 HAS SOUS 42633 HAS SOUPS 41840 WITH SCORE 41935.277
AT ITER 92 NEW BEST:: SOT 138297 SOS 94461 HAS SOPS 92356 HAS SOUS 42578 HAS SOUPS 41785 WITH SCORE 41879.461
AT ITER 93 NEW BEST:: SOT 136497 SOS 95146 HAS SOPS 93041 HAS SOUS 41928 HAS SOUPS 41135 WITH SCORE 41230.146
AT ITER 94 NEW BEST:: SOT 136465 SOS 95114 HAS SOPS 93009 HAS SOUS 41877 HAS SOUPS 41084 WITH SCORE 41179.114
AT ITER 102 NEW BEST:: SOT 136425 SOS 94008 HAS SOPS 91903 HAS SOUS 41811 HAS SOUPS 41018 WITH SCORE 41112.008
AT ITER 104 NEW BEST:: SOT 136513 SOS 94008 HAS SOPS 91991 HAS SOUS 41635 HAS SOUPS 40842 WITH SCORE 40936.008
AT ITER 109 NEW BEST:: SOT 136637 SOS 94079 HAS SOPS 92062 HAS SOUS 41506 HAS SOUPS 40713 WITH SCORE 40807.079
AT ITER 110 NEW BEST:: SOT 136663 SOS 94079 HAS SOPS 92088 HAS SOUS 41479 HAS SOUPS 40686 WITH SCORE 40780.079
AT ITER 113 NEW BEST:: SOT 136663 SOS 94077 HAS SOPS 92086 HAS SOUS 41477 HAS SOUPS 40684 WITH SCORE 40778.077
AT ITER 114 NEW BEST:: SOT 136455 SOS 93390 HAS SOPS 91386 HAS SOUS 41469 HAS SOUPS 40676 WITH SCORE 40769.39
AT ITER 120 NEW BEST:: SOT 136236 SOS 93092 HAS SOPS 91088 HAS SOUS 41214 HAS SOUPS 40421 WITH SCORE 40514.092
AT ITER 125 NEW BEST:: SOT 136145 SOS 93060 HAS SOPS 91056 HAS SOUS 41214 HAS SOUPS 40421 WITH SCORE 40514.06
AT ITER 141 NEW BEST:: SOT 136057 SOS 92758 HAS SOPS 90754 HAS SOUS 41142 HAS SOUPS 40349 WITH SCORE 40441.758
AT ITER 144 NEW BEST:: SOT 135331 SOS 92281 HAS SOPS 90003 HAS SOUS 40851 HAS SOUPS 39919 WITH SCORE 40011.281
AT ITER 149 NEW BEST:: SOT 135341 SOS 92290 HAS SOPS 90012 HAS SOUS 40838 HAS SOUPS 39906 WITH SCORE 39998.29
AT ITER 152 NEW BEST:: SOT 135361 SOS 92295 HAS SOPS 90052 HAS SOUS 40817 HAS SOUPS 39885 WITH SCORE 39977.295
AT ITER 153 NEW BEST:: SOT 135366 SOS 92271 HAS SOPS 90002 HAS SOUS 40681 HAS SOUPS 39749 WITH SCORE 39841.271
AT ITER 165 NEW BEST:: SOT 135403 SOS 91888 HAS SOPS 89475 HAS SOUS 40518 HAS SOUPS 39586 WITH SCORE 39677.888
AT ITER 166 NEW BEST:: SOT 134620 SOS 91424 HAS SOPS 88899 HAS SOUS 39476 HAS SOUPS 38544 WITH SCORE 38635.424
AT ITER 167 NEW BEST:: SOT 134454 SOS 91092 HAS SOPS 88752 HAS SOUS 39329 HAS SOUPS 38397 WITH SCORE 38488.092
AT ITER 168 NEW BEST:: SOT 134338 SOS 91078 HAS SOPS 88636 HAS SOUS 39315 HAS SOUPS 38383 WITH SCORE 38474.078
AT ITER 170 NEW BEST:: SOT 134198 SOS 90877 HAS SOPS 88435 HAS SOUS 39280 HAS SOUPS 38348 WITH SCORE 38438.877
AT ITER 181 NEW BEST:: SOT 134145 SOS 90824 HAS SOPS 88435 HAS SOUS 39280 HAS SOUPS 38348 WITH SCORE 38438.824
AT ITER 190 NEW BEST:: SOT 134199 SOS 90542 HAS SOPS 88182 HAS SOUS 39279 HAS SOUPS 38347 WITH SCORE 38437.542
AT ITER 191 NEW BEST:: SOT 134205 SOS 90545 HAS SOPS 88185 HAS SOUS 39273 HAS SOUPS 38341 WITH SCORE 38431.545
AT ITER 193 NEW BEST:: SOT 134210 SOS 90610 HAS SOPS 88195 HAS SOUS 39265 HAS SOUPS 38333 WITH SCORE 38423.61
AT ITER 196 NEW BEST:: SOT 133954 SOS 89735 HAS SOPS 87284 HAS SOUS 39240 HAS SOUPS 38308 WITH SCORE 38397.735
AT ITER 200 NEW BEST:: SOT 133954 SOS 89731 HAS SOPS 87280 HAS SOUS 39236 HAS SOUPS 38304 WITH SCORE 38393.731
AT ITER 219 NEW BEST:: SOT 134228 SOS 90024 HAS SOPS 87472 HAS SOUS 39188 HAS SOUPS 38256 WITH SCORE 38346.024
AT ITER 220 NEW BEST:: SOT 133756 SOS 89592 HAS SOPS 87000 HAS SOUS 38777 HAS SOUPS 37805 WITH SCORE 37894.592
AT ITER 226 NEW BEST:: SOT 133700 SOS 89536 HAS SOPS 86944 HAS SOUS 38761 HAS SOUPS 37789 WITH SCORE 37878.536
AT ITER 234 NEW BEST:: SOT 133223 SOS 89332 HAS SOPS 86332 HAS SOUS 38600 HAS SOUPS 37493 WITH SCORE 37582.332
AT ITER 235 NEW BEST:: SOT 133197 SOS 89280 HAS SOPS 86280 HAS SOUS 38580 HAS SOUPS 37473 WITH SCORE 37562.28
AT ITER 242 NEW BEST:: SOT 132561 SOS 89162 HAS SOPS 85513 HAS SOUS 38353 HAS SOUPS 37132 WITH SCORE 37221.162
AT ITER 244 NEW BEST:: SOT 132546 SOS 89147 HAS SOPS 85498 HAS SOUS 38353 HAS SOUPS 37132 WITH SCORE 37221.147
AT ITER 251 NEW BEST:: SOT 132552 SOS 89193 HAS SOPS 85443 HAS SOUS 38298 HAS SOUPS 37077 WITH SCORE 37166.193
AT ITER 252 NEW BEST:: SOT 132497 SOS 89138 HAS SOPS 85333 HAS SOUS 38188 HAS SOUPS 36967 WITH SCORE 37056.138
AT ITER 255 NEW BEST:: SOT 132482 SOS 89104 HAS SOPS 85303 HAS SOUS 38158 HAS SOUPS 36937 WITH SCORE 37026.104
AT ITER 264 NEW BEST:: SOT 132397 SOS 88900 HAS SOPS 85099 HAS SOUS 37951 HAS SOUPS 36730 WITH SCORE 36818.9
AT ITER 267 NEW BEST:: SOT 132601 SOS 89104 HAS SOPS 85187 HAS SOUS 37862 HAS SOUPS 36605 WITH SCORE 36694.104
AT ITER 269 NEW BEST:: SOT 132710 SOS 89189 HAS SOPS 85255 HAS SOUS 37757 HAS SOUPS 36500 WITH SCORE 36589.189
AT ITER 273 NEW BEST:: SOT 132629 SOS 89108 HAS SOPS 85158 HAS SOUS 37715 HAS SOUPS 36458 WITH SCORE 36547.108
AT ITER 276 NEW BEST:: SOT 132579 SOS 88306 HAS SOPS 84176 HAS SOUS 37646 HAS SOUPS 36389 WITH SCORE 36477.306
AT ITER 281 NEW BEST:: SOT 132756 SOS 88442 HAS SOPS 84341 HAS SOUS 37486 HAS SOUPS 36229 WITH SCORE 36317.442
AT ITER 284 NEW BEST:: SOT 132605 SOS 88248 HAS SOPS 84147 HAS SOUS 37184 HAS SOUPS 35927 WITH SCORE 36015.248
AT ITER 290 NEW BEST:: SOT 132574 SOS 88212 HAS SOPS 84111 HAS SOUS 37179 HAS SOUPS 35922 WITH SCORE 36010.212
AT ITER 291 NEW BEST:: SOT 132574 SOS 88204 HAS SOPS 84103 HAS SOUS 37155 HAS SOUPS 35898 WITH SCORE 35986.204
AT ITER 297 NEW BEST:: SOT 131660 SOS 87377 HAS SOPS 83113 HAS SOUS 36343 HAS SOUPS 34999 WITH SCORE 35086.377
AT ITER 302 NEW BEST:: SOT 131650 SOS 87367 HAS SOPS 83105 HAS SOUS 36335 HAS SOUPS 34991 WITH SCORE 35078.367
AT ITER 307 NEW BEST:: SOT 131583 SOS 87262 HAS SOPS 83009 HAS SOUS 36239 HAS SOUPS 34895 WITH SCORE 34982.262
AT ITER 308 NEW BEST:: SOT 131409 SOS 86947 HAS SOPS 82694 HAS SOUS 35965 HAS SOUPS 34621 WITH SCORE 34707.947
AT ITER 309 NEW BEST:: SOT 131339 SOS 86877 HAS SOPS 82624 HAS SOUS 35930 HAS SOUPS 34586 WITH SCORE 34672.877
AT ITER 312 NEW BEST:: SOT 131465 SOS 86859 HAS SOPS 82593 HAS SOUS 35929 HAS SOUPS 34585 WITH SCORE 34671.859
AT ITER 315 NEW BEST:: SOT 131489 SOS 86883 HAS SOPS 82613 HAS SOUS 35906 HAS SOUPS 34562 WITH SCORE 34648.883
AT ITER 329 NEW BEST:: SOT 131700 SOS 87059 HAS SOPS 82927 HAS SOUS 35858 HAS SOUPS 34558 WITH SCORE 34645.059
AT ITER 332 NEW BEST:: SOT 131927 SOS 87265 HAS SOPS 83177 HAS SOUS 35853 HAS SOUPS 34553 WITH SCORE 34640.265
AT ITER 347 NEW BEST:: SOT 131904 SOS 87403 HAS SOPS 83315 HAS SOUS 35807 HAS SOUPS 34507 WITH SCORE 34594.403
AT ITER 351 NEW BEST:: SOT 132073 SOS 87525 HAS SOPS 83516 HAS SOUS 35760 HAS SOUPS 34460 WITH SCORE 34547.525
AT ITER 354 NEW BEST:: SOT 132089 SOS 87514 HAS SOPS 83505 HAS SOUS 35703 HAS SOUPS 34403 WITH SCORE 34490.514
AT ITER 355 NEW BEST:: SOT 132061 SOS 87398 HAS SOPS 83394 HAS SOUS 35584 HAS SOUPS 34284 WITH SCORE 34371.398
AT ITER 359 NEW BEST:: SOT 132013 SOS 87275 HAS SOPS 83271 HAS SOUS 35483 HAS SOUPS 34183 WITH SCORE 34270.275
AT ITER 360 NEW BEST:: SOT 131902 SOS 87083 HAS SOPS 83079 HAS SOUS 35211 HAS SOUPS 33911 WITH SCORE 33998.083
AT ITER 366 NEW BEST:: SOT 131902 SOS 87069 HAS SOPS 83065 HAS SOUS 35197 HAS SOUPS 33897 WITH SCORE 33984.069
AT ITER 368 NEW BEST:: SOT 131810 SOS 86977 HAS SOPS 82973 HAS SOUS 35173 HAS SOUPS 33873 WITH SCORE 33959.977
AT ITER 372 NEW BEST:: SOT 131817 SOS 86855 HAS SOPS 82802 HAS SOUS 35131 HAS SOUPS 33831 WITH SCORE 33917.855
AT ITER 374 NEW BEST:: SOT 131979 SOS 86990 HAS SOPS 82889 HAS SOUS 35060 HAS SOUPS 33760 WITH SCORE 33846.99
AT ITER 377 NEW BEST:: SOT 131977 SOS 86965 HAS SOPS 82885 HAS SOUS 35049 HAS SOUPS 33749 WITH SCORE 33835.965
AT ITER 383 NEW BEST:: SOT 131844 SOS 86669 HAS SOPS 82589 HAS SOUS 34784 HAS SOUPS 33484 WITH SCORE 33570.669
AT ITER 385 NEW BEST:: SOT 131999 SOS 86843 HAS SOPS 82755 HAS SOUS 34734 HAS SOUPS 33434 WITH SCORE 33520.843
AT ITER 387 NEW BEST:: SOT 132001 SOS 86845 HAS SOPS 82755 HAS SOUS 34732 HAS SOUPS 33430 WITH SCORE 33516.845
AT ITER 391 NEW BEST:: SOT 131965 SOS 86809 HAS SOPS 82719 HAS SOUS 34732 HAS SOUPS 33430 WITH SCORE 33516.809
AT ITER 394 NEW BEST:: SOT 131909 SOS 87114 HAS SOPS 83313 HAS SOUS 34699 HAS SOUPS 33397 WITH SCORE 33484.114
AT ITER 397 NEW BEST:: SOT 131923 SOS 87123 HAS SOPS 83322 HAS SOUS 34628 HAS SOUPS 33326 WITH SCORE 33413.123
AT ITER 399 NEW BEST:: SOT 131882 SOS 86033 HAS SOPS 82232 HAS SOUS 34565 HAS SOUPS 33263 WITH SCORE 33349.033
AT ITER 405 NEW BEST:: SOT 131864 SOS 86015 HAS SOPS 82214 HAS SOUS 34550 HAS SOUPS 33248 WITH SCORE 33334.015
AT ITER 406 NEW BEST:: SOT 132092 SOS 86342 HAS SOPS 82444 HAS SOUS 34441 HAS SOUPS 33139 WITH SCORE 33225.342
AT ITER 411 NEW BEST:: SOT 132108 SOS 86296 HAS SOPS 82413 HAS SOUS 34284 HAS SOUPS 32982 WITH SCORE 33068.296
AT ITER 415 NEW BEST:: SOT 132132 SOS 86320 HAS SOPS 82437 HAS SOUS 34260 HAS SOUPS 32958 WITH SCORE 33044.32
AT ITER 416 NEW BEST:: SOT 132148 SOS 86336 HAS SOPS 82453 HAS SOUS 34244 HAS SOUPS 32942 WITH SCORE 33028.336
AT ITER 419 NEW BEST:: SOT 132154 SOS 86640 HAS SOPS 82757 HAS SOUS 34120 HAS SOUPS 32818 WITH SCORE 32904.64
AT ITER 424 NEW BEST:: SOT 132095 SOS 86512 HAS SOPS 82639 HAS SOUS 34071 HAS SOUPS 32769 WITH SCORE 32855.512
AT ITER 428 NEW BEST:: SOT 132258 SOS 86639 HAS SOPS 82766 HAS SOUS 33793 HAS SOUPS 32491 WITH SCORE 32577.639
AT ITER 430 NEW BEST:: SOT 132242 SOS 86623 HAS SOPS 82742 HAS SOUS 33785 HAS SOUPS 32483 WITH SCORE 32569.623
AT ITER 431 NEW BEST:: SOT 132489 SOS 86857 HAS SOPS 82976 HAS SOUS 33642 HAS SOUPS 32340 WITH SCORE 32426.857
AT ITER 435 NEW BEST:: SOT 132524 SOS 87108 HAS SOPS 83227 HAS SOUS 33605 HAS SOUPS 32303 WITH SCORE 32390.108
AT ITER 437 NEW BEST:: SOT 132582 SOS 87126 HAS SOPS 83294 HAS SOUS 33525 HAS SOUPS 32223 WITH SCORE 32310.126
AT ITER 444 NEW BEST:: SOT 132582 SOS 87114 HAS SOPS 83282 HAS SOUS 33513 HAS SOUPS 32211 WITH SCORE 32298.114
AT ITER 446 NEW BEST:: SOT 132786 SOS 87290 HAS SOPS 83542 HAS SOUS 33490 HAS SOUPS 32188 WITH SCORE 32275.29
AT ITER 448 NEW BEST:: SOT 132800 SOS 87304 HAS SOPS 83556 HAS SOUS 33461 HAS SOUPS 32159 WITH SCORE 32246.304
AT ITER 457 NEW BEST:: SOT 132756 SOS 87209 HAS SOPS 83461 HAS SOUS 33425 HAS SOUPS 32123 WITH SCORE 32210.209
AT ITER 469 NEW BEST:: SOT 132780 SOS 87223 HAS SOPS 83475 HAS SOUS 33211 HAS SOUPS 31909 WITH SCORE 31996.223
AT ITER 473 NEW BEST:: SOT 132795 SOS 87208 HAS SOPS 83460 HAS SOUS 33195 HAS SOUPS 31893 WITH SCORE 31980.208
AT ITER 484 NEW BEST:: SOT 132882 SOS 87208 HAS SOPS 83547 HAS SOUS 33108 HAS SOUPS 31806 WITH SCORE 31893.208
AT ITER 485 NEW BEST:: SOT 132925 SOS 87201 HAS SOPS 83548 HAS SOUS 32972 HAS SOUPS 31670 WITH SCORE 31757.201
AT ITER 491 NEW BEST:: SOT 132921 SOS 87085 HAS SOPS 83432 HAS SOUS 32960 HAS SOUPS 31658 WITH SCORE 31745.085
AT ITER 497 NEW BEST:: SOT 133005 SOS 87127 HAS SOPS 83474 HAS SOUS 32876 HAS SOUPS 31574 WITH SCORE 31661.127
AT ITER 500 NEW BEST:: SOT 132992 SOS 87133 HAS SOPS 83443 HAS SOUS 32827 HAS SOUPS 31525 WITH SCORE 31612.133
AT ITER 510 NEW BEST:: SOT 132874 SOS 87015 HAS SOPS 83325 HAS SOUS 32826 HAS SOUPS 31524 WITH SCORE 31611.015
AT ITER 515 NEW BEST:: SOT 132972 SOS 87113 HAS SOPS 83374 HAS SOUS 32777 HAS SOUPS 31475 WITH SCORE 31562.113
AT ITER 518 NEW BEST:: SOT 132966 SOS 87107 HAS SOPS 83374 HAS SOUS 32771 HAS SOUPS 31469 WITH SCORE 31556.107
AT ITER 520 NEW BEST:: SOT 132056 SOS 86321 HAS SOPS 82407 HAS SOUS 31923 HAS SOUPS 30533 WITH SCORE 30619.321
AT ITER 521 NEW BEST:: SOT 132043 SOS 86308 HAS SOPS 82394 HAS SOUS 31897 HAS SOUPS 30507 WITH SCORE 30593.308
AT ITER 524 NEW BEST:: SOT 131842 SOS 86107 HAS SOPS 82193 HAS SOUS 31834 HAS SOUPS 30444 WITH SCORE 30530.107
AT ITER 534 NEW BEST:: SOT 131553 SOS 86169 HAS SOPS 81856 HAS SOUS 31824 HAS SOUPS 30319 WITH SCORE 30405.169
AT ITER 536 NEW BEST:: SOT 131699 SOS 86204 HAS SOPS 81891 HAS SOUS 31624 HAS SOUPS 30119 WITH SCORE 30205.204
AT ITER 539 NEW BEST:: SOT 131639 SOS 83724 HAS SOPS 79411 HAS SOUS 31616 HAS SOUPS 30111 WITH SCORE 30194.724
AT ITER 542 NEW BEST:: SOT 131643 SOS 83498 HAS SOPS 79185 HAS SOUS 31616 HAS SOUPS 30111 WITH SCORE 30194.498
AT ITER 544 NEW BEST:: SOT 131580 SOS 83392 HAS SOPS 79108 HAS SOUS 31569 HAS SOUPS 30064 WITH SCORE 30147.392
AT ITER 545 NEW BEST:: SOT 131567 SOS 83379 HAS SOPS 79082 HAS SOUS 31567 HAS SOUPS 30062 WITH SCORE 30145.379
AT ITER 546 NEW BEST:: SOT 131430 SOS 83244 HAS SOPS 78808 HAS SOUS 31310 HAS SOUPS 29805 WITH SCORE 29888.244
AT ITER 553 NEW BEST:: SOT 131432 SOS 83246 HAS SOPS 78809 HAS SOUS 31309 HAS SOUPS 29804 WITH SCORE 29887.246
AT ITER 559 NEW BEST:: SOT 131736 SOS 83477 HAS SOPS 78967 HAS SOUS 31289 HAS SOUPS 29784 WITH SCORE 29867.477
AT ITER 563 NEW BEST:: SOT 131628 SOS 83357 HAS SOPS 78811 HAS SOUS 31220 HAS SOUPS 29715 WITH SCORE 29798.357
AT ITER 567 NEW BEST:: SOT 131610 SOS 83328 HAS SOPS 78782 HAS SOUS 31184 HAS SOUPS 29679 WITH SCORE 29762.328
AT ITER 571 NEW BEST:: SOT 131610 SOS 83317 HAS SOPS 78744 HAS SOUS 31125 HAS SOUPS 29620 WITH SCORE 29703.317
AT ITER 575 NEW BEST:: SOT 131460 SOS 83114 HAS SOPS 78541 HAS SOUS 31081 HAS SOUPS 29576 WITH SCORE 29659.114
AT ITER 577 NEW BEST:: SOT 131472 SOS 83126 HAS SOPS 78530 HAS SOUS 31057 HAS SOUPS 29552 WITH SCORE 29635.126
AT ITER 589 NEW BEST:: SOT 131462 SOS 83150 HAS SOPS 78510 HAS SOUS 31047 HAS SOUPS 29542 WITH SCORE 29625.15
AT ITER 591 NEW BEST:: SOT 131417 SOS 83060 HAS SOPS 78420 HAS SOUS 31009 HAS SOUPS 29504 WITH SCORE 29587.06
AT ITER 592 NEW BEST:: SOT 131282 SOS 82683 HAS SOPS 78043 HAS SOUS 30760 HAS SOUPS 29255 WITH SCORE 29337.683
AT ITER 607 NEW BEST:: SOT 131032 SOS 82509 HAS SOPS 77869 HAS SOUS 30711 HAS SOUPS 29206 WITH SCORE 29288.509
AT ITER 611 NEW BEST:: SOT 129966 SOS 81766 HAS SOPS 76771 HAS SOUS 29729 HAS SOUPS 28092 WITH SCORE 28173.766
AT ITER 617 NEW BEST:: SOT 130356 SOS 82131 HAS SOPS 77097 HAS SOUS 29497 HAS SOUPS 27860 WITH SCORE 27942.131
AT ITER 621 NEW BEST:: SOT 130668 SOS 82559 HAS SOPS 77413 HAS SOUS 29359 HAS SOUPS 27722 WITH SCORE 27804.559
AT ITER 628 NEW BEST:: SOT 130629 SOS 82481 HAS SOPS 77335 HAS SOUS 29281 HAS SOUPS 27644 WITH SCORE 27726.481
AT ITER 637 NEW BEST:: SOT 130581 SOS 82433 HAS SOPS 77269 HAS SOUS 29267 HAS SOUPS 27630 WITH SCORE 27712.433
AT ITER 644 NEW BEST:: SOT 130513 SOS 82283 HAS SOPS 77119 HAS SOUS 29185 HAS SOUPS 27548 WITH SCORE 27630.283
AT ITER 673 NEW BEST:: SOT 131003 SOS 82564 HAS SOPS 77400 HAS SOUS 29152 HAS SOUPS 27515 WITH SCORE 27597.564
AT ITER 686 NEW BEST:: SOT 130999 SOS 82556 HAS SOPS 77396 HAS SOUS 29144 HAS SOUPS 27507 WITH SCORE 27589.556
AT ITER 690 NEW BEST:: SOT 131059 SOS 82616 HAS SOPS 77404 HAS SOUS 29078 HAS SOUPS 27441 WITH SCORE 27523.616
AT ITER 695 NEW BEST:: SOT 130925 SOS 82429 HAS SOPS 77226 HAS SOUS 29016 HAS SOUPS 27379 WITH SCORE 27461.429
AT ITER 706 NEW BEST:: SOT 130925 SOS 82429 HAS SOPS 77201 HAS SOUS 28916 HAS SOUPS 27279 WITH SCORE 27361.429
AT ITER 717 NEW BEST:: SOT 131117 SOS 82532 HAS SOPS 77304 HAS SOUS 28770 HAS SOUPS 27133 WITH SCORE 27215.532
AT ITER 718 NEW BEST:: SOT 131225 SOS 82485 HAS SOPS 77442 HAS SOUS 28740 HAS SOUPS 27133 WITH SCORE 27215.485
AT ITER 728 NEW BEST:: SOT 131315 SOS 82575 HAS SOPS 77492 HAS SOUS 28660 HAS SOUPS 27053 WITH SCORE 27135.575
AT ITER 733 NEW BEST:: SOT 131322 SOS 82551 HAS SOPS 77468 HAS SOUS 28624 HAS SOUPS 27017 WITH SCORE 27099.551
AT ITER 735 NEW BEST:: SOT 131310 SOS 82564 HAS SOPS 77456 HAS SOUS 28621 HAS SOUPS 27009 WITH SCORE 27091.564
AT ITER 736 NEW BEST:: SOT 131310 SOS 82564 HAS SOPS 77456 HAS SOUS 28597 HAS SOUPS 26985 WITH SCORE 27067.564
AT ITER 747 NEW BEST:: SOT 131229 SOS 82483 HAS SOPS 77328 HAS SOUS 28563 HAS SOUPS 26951 WITH SCORE 27033.483
AT ITER 754 NEW BEST:: SOT 131109 SOS 82043 HAS SOPS 76888 HAS SOUS 28526 HAS SOUPS 26914 WITH SCORE 26996.043
AT ITER 757 NEW BEST:: SOT 131163 SOS 82070 HAS SOPS 76915 HAS SOUS 28499 HAS SOUPS 26887 WITH SCORE 26969.07
AT ITER 763 NEW BEST:: SOT 131155 SOS 82061 HAS SOPS 76906 HAS SOUS 28483 HAS SOUPS 26871 WITH SCORE 26953.061
AT ITER 770 NEW BEST:: SOT 131251 SOS 82157 HAS SOPS 76898 HAS SOUS 28475 HAS SOUPS 26863 WITH SCORE 26945.157
AT ITER 787 NEW BEST:: SOT 131249 SOS 82155 HAS SOPS 76894 HAS SOUS 28471 HAS SOUPS 26859 WITH SCORE 26941.155
AT ITER 791 NEW BEST:: SOT 131185 SOS 82196 HAS SOPS 76830 HAS SOUS 28434 HAS SOUPS 26809 WITH SCORE 26891.196
AT ITER 796 NEW BEST:: SOT 131074 SOS 81974 HAS SOPS 76719 HAS SOUS 28434 HAS SOUPS 26809 WITH SCORE 26890.974
AT ITER 798 NEW BEST:: SOT 131307 SOS 82195 HAS SOPS 76837 HAS SOUS 28032 HAS SOUPS 26407 WITH SCORE 26489.195
AT ITER 803 NEW BEST:: SOT 131288 SOS 82162 HAS SOPS 76804 HAS SOUS 27999 HAS SOUPS 26374 WITH SCORE 26456.162
AT ITER 804 NEW BEST:: SOT 130868 SOS 81622 HAS SOPS 76264 HAS SOUS 27889 HAS SOUPS 26264 WITH SCORE 26345.622
AT ITER 819 NEW BEST:: SOT 130587 SOS 80584 HAS SOPS 74636 HAS SOUS 27523 HAS SOUPS 25898 WITH SCORE 25978.584
AT ITER 823 NEW BEST:: SOT 130578 SOS 80630 HAS SOPS 74618 HAS SOUS 27507 HAS SOUPS 25873 WITH SCORE 25953.63
AT ITER 825 NEW BEST:: SOT 130628 SOS 80643 HAS SOPS 74631 HAS SOUS 27471 HAS SOUPS 25837 WITH SCORE 25917.643
AT ITER 827 NEW BEST:: SOT 130572 SOS 80586 HAS SOPS 74574 HAS SOUS 27452 HAS SOUPS 25818 WITH SCORE 25898.586
AT ITER 832 NEW BEST:: SOT 130662 SOS 80676 HAS SOPS 74664 HAS SOUS 27407 HAS SOUPS 25773 WITH SCORE 25853.676
AT ITER 834 NEW BEST:: SOT 130636 SOS 80629 HAS SOPS 74642 HAS SOUS 27381 HAS SOUPS 25747 WITH SCORE 25827.629
AT ITER 838 NEW BEST:: SOT 130827 SOS 80862 HAS SOPS 74802 HAS SOUS 27272 HAS SOUPS 25638 WITH SCORE 25718.862
AT ITER 839 NEW BEST:: SOT 130939 SOS 80916 HAS SOPS 74946 HAS SOUS 27256 HAS SOUPS 25622 WITH SCORE 25702.916
AT ITER 853 NEW BEST:: SOT 130967 SOS 81871 HAS SOPS 74906 HAS SOUS 27340 HAS SOUPS 25618 WITH SCORE 25699.871
AT ITER 859 NEW BEST:: SOT 130964 SOS 81868 HAS SOPS 74900 HAS SOUS 27313 HAS SOUPS 25591 WITH SCORE 25672.868
AT ITER 861 NEW BEST:: SOT 130944 SOS 81815 HAS SOPS 74847 HAS SOUS 27260 HAS SOUPS 25538 WITH SCORE 25619.815
AT ITER 862 NEW BEST:: SOT 130944 SOS 81815 HAS SOPS 74797 HAS SOUS 27110 HAS SOUPS 25388 WITH SCORE 25469.815
AT ITER 864 NEW BEST:: SOT 130929 SOS 81800 HAS SOPS 74767 HAS SOUS 27080 HAS SOUPS 25358 WITH SCORE 25439.8
AT ITER 866 NEW BEST:: SOT 130872 SOS 81839 HAS SOPS 74516 HAS SOUS 27082 HAS SOUPS 25338 WITH SCORE 25419.839
AT ITER 873 NEW BEST:: SOT 130841 SOS 81801 HAS SOPS 74498 HAS SOUS 27058 HAS SOUPS 25314 WITH SCORE 25395.801
AT ITER 876 NEW BEST:: SOT 130847 SOS 81364 HAS SOPS 74538 HAS SOUS 26975 HAS SOUPS 25265 WITH SCORE 25346.364
AT ITER 879 NEW BEST:: SOT 130835 SOS 81352 HAS SOPS 74514 HAS SOUS 26951 HAS SOUPS 25241 WITH SCORE 25322.352
AT ITER 880 NEW BEST:: SOT 130871 SOS 81388 HAS SOPS 74558 HAS SOUS 26939 HAS SOUPS 25229 WITH SCORE 25310.388
AT ITER 889 NEW BEST:: SOT 130871 SOS 80894 HAS SOPS 74064 HAS SOUS 26939 HAS SOUPS 25229 WITH SCORE 25309.894
AT ITER 894 NEW BEST:: SOT 130740 SOS 80367 HAS SOPS 73537 HAS SOUS 26938 HAS SOUPS 25228 WITH SCORE 25308.367
AT ITER 896 NEW BEST:: SOT 130738 SOS 80363 HAS SOPS 73535 HAS SOUS 26936 HAS SOUPS 25226 WITH SCORE 25306.363
AT ITER 898 NEW BEST:: SOT 130708 SOS 80334 HAS SOPS 73475 HAS SOUS 26876 HAS SOUPS 25166 WITH SCORE 25246.334
AT ITER 915 NEW BEST:: SOT 130742 SOS 80412 HAS SOPS 73553 HAS SOUS 26875 HAS SOUPS 25165 WITH SCORE 25245.412
AT ITER 924 NEW BEST:: SOT 130664 SOS 80590 HAS SOPS 73428 HAS SOUS 26816 HAS SOUPS 25082 WITH SCORE 25162.59
AT ITER 925 NEW BEST:: SOT 130627 SOS 80523 HAS SOPS 73354 HAS SOUS 26759 HAS SOUPS 25025 WITH SCORE 25105.523
AT ITER 955 NEW BEST:: SOT 130705 SOS 80601 HAS SOPS 73432 HAS SOUS 26720 HAS SOUPS 24986 WITH SCORE 25066.601
AT ITER 956 NEW BEST:: SOT 130771 SOS 80667 HAS SOPS 73511 HAS SOUS 26699 HAS SOUPS 24978 WITH SCORE 25058.667
AT ITER 962 NEW BEST:: SOT 130795 SOS 80667 HAS SOPS 73535 HAS SOUS 26675 HAS SOUPS 24954 WITH SCORE 25034.667
AT ITER 966 NEW BEST:: SOT 130922 SOS 80746 HAS SOPS 73614 HAS SOUS 26633 HAS SOUPS 24912 WITH SCORE 24992.746
AT ITER 969 NEW BEST:: SOT 130888 SOS 80683 HAS SOPS 73551 HAS SOUS 26570 HAS SOUPS 24849 WITH SCORE 24929.683
AT ITER 970 NEW BEST:: SOT 130857 SOS 80458 HAS SOPS 73326 HAS SOUS 26486 HAS SOUPS 24765 WITH SCORE 24845.458
AT ITER 977 NEW BEST:: SOT 130844 SOS 80445 HAS SOPS 73300 HAS SOUS 26444 HAS SOUPS 24723 WITH SCORE 24803.445
AT ITER 980 NEW BEST:: SOT 130773 SOS 79176 HAS SOPS 72031 HAS SOUS 26444 HAS SOUPS 24723 WITH SCORE 24802.176
AT ITER 982 NEW BEST:: SOT 130771 SOS 79200 HAS SOPS 72053 HAS SOUS 26420 HAS SOUPS 24699 WITH SCORE 24778.2
AT ITER 983 NEW BEST:: SOT 130705 SOS 79288 HAS SOPS 71987 HAS SOUS 26439 HAS SOUPS 24696 WITH SCORE 24775.288
AT ITER 995 NEW BEST:: SOT 130738 SOS 79283 HAS SOPS 71959 HAS SOUS 26435 HAS SOUPS 24692 WITH SCORE 24771.283
AT ITER 1010 NEW BEST:: SOT 130814 SOS 79331 HAS SOPS 72035 HAS SOUS 26401 HAS SOUPS 24658 WITH SCORE 24737.331
AT ITER 1023 NEW BEST:: SOT 130790 SOS 79283 HAS SOPS 71987 HAS SOUS 26353 HAS SOUPS 24610 WITH SCORE 24689.283
AT ITER 1026 NEW BEST:: SOT 130511 SOS 78911 HAS SOPS 71615 HAS SOUS 26260 HAS SOUPS 24517 WITH SCORE 24595.911
AT ITER 1038 NEW BEST:: SOT 130529 SOS 78860 HAS SOPS 71564 HAS SOUS 26228 HAS SOUPS 24485 WITH SCORE 24563.86
AT ITER 1043 NEW BEST:: SOT 130318 SOS 78558 HAS SOPS 71377 HAS SOUS 26041 HAS SOUPS 24298 WITH SCORE 24376.558
AT ITER 1044 NEW BEST:: SOT 130324 SOS 78564 HAS SOPS 71373 HAS SOUS 26037 HAS SOUPS 24294 WITH SCORE 24372.564
AT ITER 1050 NEW BEST:: SOT 130284 SOS 78524 HAS SOPS 71333 HAS SOUS 25995 HAS SOUPS 24252 WITH SCORE 24330.524
AT ITER 1053 NEW BEST:: SOT 130256 SOS 78491 HAS SOPS 71300 HAS SOUS 25962 HAS SOUPS 24219 WITH SCORE 24297.491
AT ITER 1065 NEW BEST:: SOT 130278 SOS 78513 HAS SOPS 71298 HAS SOUS 25930 HAS SOUPS 24187 WITH SCORE 24265.513
AT ITER 1066 NEW BEST:: SOT 130278 SOS 78508 HAS SOPS 71293 HAS SOUS 25925 HAS SOUPS 24182 WITH SCORE 24260.508
AT ITER 1070 NEW BEST:: SOT 130314 SOS 78508 HAS SOPS 71293 HAS SOUS 25913 HAS SOUPS 24170 WITH SCORE 24248.508
AT ITER 1071 NEW BEST:: SOT 130372 SOS 78595 HAS SOPS 71351 HAS SOUS 25884 HAS SOUPS 24141 WITH SCORE 24219.595
AT ITER 1074 NEW BEST:: SOT 130372 SOS 78579 HAS SOPS 71335 HAS SOUS 25868 HAS SOUPS 24125 WITH SCORE 24203.579
AT ITER 1075 NEW BEST:: SOT 130372 SOS 78579 HAS SOPS 71335 HAS SOUS 25860 HAS SOUPS 24117 WITH SCORE 24195.579
AT ITER 1081 NEW BEST:: SOT 130414 SOS 78621 HAS SOPS 71377 HAS SOUS 25831 HAS SOUPS 24088 WITH SCORE 24166.621
AT ITER 1085 NEW BEST:: SOT 130596 SOS 78803 HAS SOPS 71605 HAS SOUS 25793 HAS SOUPS 24050 WITH SCORE 24128.803
AT ITER 1101 NEW BEST:: SOT 130602 SOS 78809 HAS SOPS 71611 HAS SOUS 25790 HAS SOUPS 24047 WITH SCORE 24125.809
AT ITER 1103 NEW BEST:: SOT 130889 SOS 79180 HAS SOPS 71903 HAS SOUS 25663 HAS SOUPS 23920 WITH SCORE 23999.18
AT ITER 1104 NEW BEST:: SOT 130879 SOS 79160 HAS SOPS 71883 HAS SOUS 25643 HAS SOUPS 23900 WITH SCORE 23979.16
AT ITER 1112 NEW BEST:: SOT 130907 SOS 78951 HAS SOPS 71832 HAS SOUS 25596 HAS SOUPS 23884 WITH SCORE 23962.951
AT ITER 1113 NEW BEST:: SOT 130929 SOS 78973 HAS SOPS 71861 HAS SOUS 25595 HAS SOUPS 23883 WITH SCORE 23961.973
AT ITER 1123 NEW BEST:: SOT 130926 SOS 78913 HAS SOPS 71801 HAS SOUS 25589 HAS SOUPS 23877 WITH SCORE 23955.913
AT ITER 1128 NEW BEST:: SOT 130926 SOS 78934 HAS SOPS 71822 HAS SOUS 25586 HAS SOUPS 23874 WITH SCORE 23952.934
AT ITER 1132 NEW BEST:: SOT 130949 SOS 77619 HAS SOPS 70507 HAS SOUS 25571 HAS SOUPS 23859 WITH SCORE 23936.619
AT ITER 1140 NEW BEST:: SOT 130940 SOS 77727 HAS SOPS 70570 HAS SOUS 25561 HAS SOUPS 23840 WITH SCORE 23917.727
AT ITER 1141 NEW BEST:: SOT 130940 SOS 77725 HAS SOPS 70568 HAS SOUS 25559 HAS SOUPS 23838 WITH SCORE 23915.725
AT ITER 1171 NEW BEST:: SOT 131015 SOS 77875 HAS SOPS 70643 HAS SOUS 25547 HAS SOUPS 23826 WITH SCORE 23903.875
AT ITER 1178 NEW BEST:: SOT 130994 SOS 77848 HAS SOPS 70601 HAS SOUS 25505 HAS SOUPS 23784 WITH SCORE 23861.848
AT ITER 1196 NEW BEST:: SOT 130973 SOS 77941 HAS SOPS 70694 HAS SOUS 25500 HAS SOUPS 23779 WITH SCORE 23856.941
AT ITER 1200 NEW BEST:: SOT 130959 SOS 77927 HAS SOPS 70673 HAS SOUS 25493 HAS SOUPS 23772 WITH SCORE 23849.927
AT ITER 1202 NEW BEST:: SOT 130828 SOS 78481 HAS SOPS 69687 HAS SOUS 25548 HAS SOUPS 23709 WITH SCORE 23787.481
AT ITER 1228 NEW BEST:: SOT 130838 SOS 78506 HAS SOPS 69609 HAS SOUS 25356 HAS SOUPS 23517 WITH SCORE 23595.506
AT ITER 1230 NEW BEST:: SOT 130837 SOS 78505 HAS SOPS 69609 HAS SOUS 25356 HAS SOUPS 23517 WITH SCORE 23595.505
AT ITER 1231 NEW BEST:: SOT 130783 SOS 78396 HAS SOPS 69498 HAS SOUS 25259 HAS SOUPS 23420 WITH SCORE 23498.396
AT ITER 1235 NEW BEST:: SOT 130891 SOS 78444 HAS SOPS 69617 HAS SOUS 25106 HAS SOUPS 23267 WITH SCORE 23345.444
AT ITER 1254 NEW BEST:: SOT 130891 SOS 78444 HAS SOPS 69602 HAS SOUS 25091 HAS SOUPS 23252 WITH SCORE 23330.444
AT ITER 1276 NEW BEST:: SOT 130848 SOS 78390 HAS SOPS 69556 HAS SOUS 25085 HAS SOUPS 23246 WITH SCORE 23324.39
AT ITER 1280 NEW BEST:: SOT 130771 SOS 79287 HAS SOPS 69373 HAS SOUS 25148 HAS SOUPS 23232 WITH SCORE 23311.287
AT ITER 1283 NEW BEST:: SOT 130762 SOS 79278 HAS SOPS 69355 HAS SOUS 25130 HAS SOUPS 23214 WITH SCORE 23293.278
AT ITER 1289 NEW BEST:: SOT 130750 SOS 79266 HAS SOPS 69331 HAS SOUS 25106 HAS SOUPS 23190 WITH SCORE 23269.266
AT ITER 1300 NEW BEST:: SOT 130750 SOS 79273 HAS SOPS 69324 HAS SOUS 25099 HAS SOUPS 23183 WITH SCORE 23262.273
AT ITER 1315 NEW BEST:: SOT 130810 SOS 79333 HAS SOPS 69384 HAS SOUS 25039 HAS SOUPS 23123 WITH SCORE 23202.333
AT ITER 1324 NEW BEST:: SOT 130822 SOS 79338 HAS SOPS 69389 HAS SOUS 25038 HAS SOUPS 23122 WITH SCORE 23201.338
AT ITER 1326 NEW BEST:: SOT 130738 SOS 79254 HAS SOPS 69263 HAS SOUS 25038 HAS SOUPS 23122 WITH SCORE 23201.254
AT ITER 1333 NEW BEST:: SOT 130735 SOS 79245 HAS SOPS 69263 HAS SOUS 25024 HAS SOUPS 23108 WITH SCORE 23187.245
AT ITER 1345 NEW BEST:: SOT 130985 SOS 79579 HAS SOPS 69557 HAS SOUS 25009 HAS SOUPS 23093 WITH SCORE 23172.579
AT ITER 1347 NEW BEST:: SOT 130983 SOS 79575 HAS SOPS 69553 HAS SOUS 25005 HAS SOUPS 23089 WITH SCORE 23168.575
AT ITER 1350 NEW BEST:: SOT 130972 SOS 79556 HAS SOPS 69539 HAS SOUS 25000 HAS SOUPS 23084 WITH SCORE 23163.556
AT ITER 1352 NEW BEST:: SOT 130894 SOS 79478 HAS SOPS 69430 HAS SOUS 24982 HAS SOUPS 23066 WITH SCORE 23145.478
AT ITER 1359 NEW BEST:: SOT 130970 SOS 79577 HAS SOPS 69506 HAS SOUS 24975 HAS SOUPS 23059 WITH SCORE 23138.577
AT ITER 1368 NEW BEST:: SOT 130659 SOS 79202 HAS SOPS 69022 HAS SOUS 24779 HAS SOUPS 22851 WITH SCORE 22930.202
AT ITER 1396 NEW BEST:: SOT 130639 SOS 79182 HAS SOPS 68982 HAS SOUS 24768 HAS SOUPS 22840 WITH SCORE 22919.182
AT ITER 1407 NEW BEST:: SOT 130646 SOS 79182 HAS SOPS 68989 HAS SOUS 24761 HAS SOUPS 22833 WITH SCORE 22912.182
AT ITER 1417 NEW BEST:: SOT 130648 SOS 79184 HAS SOPS 68991 HAS SOUS 24759 HAS SOUPS 22831 WITH SCORE 22910.184
AT ITER 1421 NEW BEST:: SOT 130639 SOS 79166 HAS SOPS 68973 HAS SOUS 24725 HAS SOUPS 22797 WITH SCORE 22876.166
AT ITER 1425 NEW BEST:: SOT 130617 SOS 79122 HAS SOPS 68929 HAS SOUS 24681 HAS SOUPS 22753 WITH SCORE 22832.122
AT ITER 1433 NEW BEST:: SOT 130601 SOS 79106 HAS SOPS 68905 HAS SOUS 24681 HAS SOUPS 22753 WITH SCORE 22832.106
AT ITER 1451 NEW BEST:: SOT 130601 SOS 79106 HAS SOPS 68905 HAS SOUS 24638 HAS SOUPS 22710 WITH SCORE 22789.106
AT ITER 1453 NEW BEST:: SOT 130584 SOS 79089 HAS SOPS 68871 HAS SOUS 24604 HAS SOUPS 22676 WITH SCORE 22755.089
AT ITER 1458 NEW BEST:: SOT 130626 SOS 79131 HAS SOPS 68913 HAS SOUS 24594 HAS SOUPS 22666 WITH SCORE 22745.131
AT ITER 1462 NEW BEST:: SOT 130673 SOS 79147 HAS SOPS 68890 HAS SOUS 24580 HAS SOUPS 22652 WITH SCORE 22731.147
AT ITER 1472 NEW BEST:: SOT 130673 SOS 79147 HAS SOPS 68890 HAS SOUS 24578 HAS SOUPS 22650 WITH SCORE 22729.147
AT ITER 1497 NEW BEST:: SOT 130679 SOS 79153 HAS SOPS 68896 HAS SOUS 24561 HAS SOUPS 22639 WITH SCORE 22718.153
AT ITER 1524 NEW BEST:: SOT 130805 SOS 79342 HAS SOPS 69022 HAS SOUS 24509 HAS SOUPS 22587 WITH SCORE 22666.342
AT ITER 1536 NEW BEST:: SOT 130792 SOS 79329 HAS SOPS 69009 HAS SOUS 24486 HAS SOUPS 22564 WITH SCORE 22643.329
AT ITER 1539 NEW BEST:: SOT 130768 SOS 79305 HAS SOPS 68997 HAS SOUS 24486 HAS SOUPS 22564 WITH SCORE 22643.305
AT ITER 1540 NEW BEST:: SOT 130723 SOS 79215 HAS SOPS 68907 HAS SOUS 24401 HAS SOUPS 22479 WITH SCORE 22558.215
AT ITER 1547 NEW BEST:: SOT 130723 SOS 79215 HAS SOPS 68907 HAS SOUS 24397 HAS SOUPS 22475 WITH SCORE 22554.215
AT ITER 1565 NEW BEST:: SOT 130708 SOS 78821 HAS SOPS 68513 HAS SOUS 24327 HAS SOUPS 22405 WITH SCORE 22483.821
AT ITER 1570 NEW BEST:: SOT 130697 SOS 78799 HAS SOPS 68502 HAS SOUS 24327 HAS SOUPS 22405 WITH SCORE 22483.799
AT ITER 1590 NEW BEST:: SOT 130826 SOS 78919 HAS SOPS 68622 HAS SOUS 24262 HAS SOUPS 22340 WITH SCORE 22418.919
AT ITER 1591 NEW BEST:: SOT 130826 SOS 78676 HAS SOPS 68379 HAS SOUS 24253 HAS SOUPS 22331 WITH SCORE 22409.676
AT ITER 1594 NEW BEST:: SOT 130804 SOS 78654 HAS SOPS 68335 HAS SOUS 24209 HAS SOUPS 22287 WITH SCORE 22365.654
AT ITER 1598 NEW BEST:: SOT 130758 SOS 78585 HAS SOPS 68266 HAS SOUS 24163 HAS SOUPS 22241 WITH SCORE 22319.585
AT ITER 1599 NEW BEST:: SOT 130758 SOS 78573 HAS SOPS 68254 HAS SOUS 24151 HAS SOUPS 22229 WITH SCORE 22307.573
AT ITER 1601 NEW BEST:: SOT 130731 SOS 79007 HAS SOPS 68709 HAS SOUS 24115 HAS SOUPS 22193 WITH SCORE 22272.007
AT ITER 1612 NEW BEST:: SOT 130698 SOS 78981 HAS SOPS 68692 HAS SOUS 24085 HAS SOUPS 22172 WITH SCORE 22250.981
AT ITER 1614 NEW BEST:: SOT 130703 SOS 78945 HAS SOPS 68661 HAS SOUS 23924 HAS SOUPS 22011 WITH SCORE 22089.945
AT ITER 1616 NEW BEST:: SOT 130826 SOS 79068 HAS SOPS 68796 HAS SOUS 23837 HAS SOUPS 21924 WITH SCORE 22003.068
AT ITER 1629 NEW BEST:: SOT 130837 SOS 79079 HAS SOPS 68805 HAS SOUS 23818 HAS SOUPS 21914 WITH SCORE 21993.079
AT ITER 1631 NEW BEST:: SOT 130842 SOS 79084 HAS SOPS 68810 HAS SOUS 23813 HAS SOUPS 21909 WITH SCORE 21988.084
AT ITER 1653 NEW BEST:: SOT 130835 SOS 79077 HAS SOPS 68796 HAS SOUS 23799 HAS SOUPS 21895 WITH SCORE 21974.077
AT ITER 1656 NEW BEST:: SOT 130830 SOS 79063 HAS SOPS 68786 HAS SOUS 23788 HAS SOUPS 21884 WITH SCORE 21963.063
AT ITER 1663 NEW BEST:: SOT 130810 SOS 79043 HAS SOPS 68746 HAS SOUS 23748 HAS SOUPS 21844 WITH SCORE 21923.043
AT ITER 1664 NEW BEST:: SOT 130746 SOS 78979 HAS SOPS 68650 HAS SOUS 23716 HAS SOUPS 21812 WITH SCORE 21890.979
AT ITER 1681 NEW BEST:: SOT 130965 SOS 79127 HAS SOPS 68755 HAS SOUS 23603 HAS SOUPS 21699 WITH SCORE 21778.127
AT ITER 1682 NEW BEST:: SOT 130992 SOS 79149 HAS SOPS 68777 HAS SOUS 23598 HAS SOUPS 21694 WITH SCORE 21773.149
AT ITER 1684 NEW BEST:: SOT 130998 SOS 79155 HAS SOPS 68789 HAS SOUS 23568 HAS SOUPS 21664 WITH SCORE 21743.155
AT ITER 1689 NEW BEST:: SOT 130917 SOS 79074 HAS SOPS 68627 HAS SOUS 23398 HAS SOUPS 21494 WITH SCORE 21573.074
AT ITER 1700 NEW BEST:: SOT 130908 SOS 79065 HAS SOPS 68615 HAS SOUS 23392 HAS SOUPS 21488 WITH SCORE 21567.065
AT ITER 1708 NEW BEST:: SOT 130817 SOS 78986 HAS SOPS 68433 HAS SOUS 23195 HAS SOUPS 21291 WITH SCORE 21369.986
AT ITER 1716 NEW BEST:: SOT 130808 SOS 78975 HAS SOPS 68415 HAS SOUS 23177 HAS SOUPS 21273 WITH SCORE 21351.975
AT ITER 1725 NEW BEST:: SOT 130796 SOS 78951 HAS SOPS 68391 HAS SOUS 23093 HAS SOUPS 21259 WITH SCORE 21337.951
AT ITER 1727 NEW BEST:: SOT 130768 SOS 78993 HAS SOPS 68363 HAS SOUS 23065 HAS SOUPS 21221 WITH SCORE 21299.993
AT ITER 1736 NEW BEST:: SOT 130711 SOS 78860 HAS SOPS 68230 HAS SOUS 23005 HAS SOUPS 21161 WITH SCORE 21239.86
AT ITER 1752 NEW BEST:: SOT 130714 SOS 78861 HAS SOPS 68231 HAS SOUS 22997 HAS SOUPS 21153 WITH SCORE 21231.861
AT ITER 1756 NEW BEST:: SOT 130490 SOS 78555 HAS SOPS 67925 HAS SOUS 22914 HAS SOUPS 21070 WITH SCORE 21148.555
AT ITER 1776 NEW BEST:: SOT 130595 SOS 78588 HAS SOPS 67958 HAS SOUS 22842 HAS SOUPS 20998 WITH SCORE 21076.588
AT ITER 1777 NEW BEST:: SOT 130592 SOS 78585 HAS SOPS 67952 HAS SOUS 22836 HAS SOUPS 20992 WITH SCORE 21070.585
AT ITER 1780 NEW BEST:: SOT 130564 SOS 78557 HAS SOPS 67963 HAS SOUS 22819 HAS SOUPS 20975 WITH SCORE 21053.557
AT ITER 1800 NEW BEST:: SOT 130560 SOS 78556 HAS SOPS 67955 HAS SOUS 22808 HAS SOUPS 20964 WITH SCORE 21042.556
AT ITER 1808 NEW BEST:: SOT 130543 SOS 78539 HAS SOPS 67921 HAS SOUS 22734 HAS SOUPS 20890 WITH SCORE 20968.539
AT ITER 1820 NEW BEST:: SOT 130497 SOS 78099 HAS SOPS 67481 HAS SOUS 22710 HAS SOUPS 20866 WITH SCORE 20944.099
AT ITER 1831 NEW BEST:: SOT 130485 SOS 78055 HAS SOPS 67437 HAS SOUS 22710 HAS SOUPS 20866 WITH SCORE 20944.055
AT ITER 1837 NEW BEST:: SOT 130479 SOS 78049 HAS SOPS 67431 HAS SOUS 22704 HAS SOUPS 20860 WITH SCORE 20938.049
AT ITER 1862 NEW BEST:: SOT 130472 SOS 78035 HAS SOPS 67424 HAS SOUS 22704 HAS SOUPS 20860 WITH SCORE 20938.035
AT ITER 1864 NEW BEST:: SOT 130453 SOS 77997 HAS SOPS 67386 HAS SOUS 22666 HAS SOUPS 20822 WITH SCORE 20899.997
AT ITER 1879 NEW BEST:: SOT 130312 SOS 77752 HAS SOPS 67208 HAS SOUS 22592 HAS SOUPS 20748 WITH SCORE 20825.752
AT ITER 1881 NEW BEST:: SOT 130312 SOS 77748 HAS SOPS 67204 HAS SOUS 22584 HAS SOUPS 20740 WITH SCORE 20817.748
AT ITER 1885 NEW BEST:: SOT 130312 SOS 77748 HAS SOPS 67204 HAS SOUS 22481 HAS SOUPS 20637 WITH SCORE 20714.748
AT ITER 1886 NEW BEST:: SOT 130419 SOS 77855 HAS SOPS 67319 HAS SOUS 22434 HAS SOUPS 20554 WITH SCORE 20631.855
AT ITER 1890 NEW BEST:: SOT 130426 SOS 77862 HAS SOPS 67326 HAS SOUS 22427 HAS SOUPS 20547 WITH SCORE 20624.862
AT ITER 1898 NEW BEST:: SOT 130411 SOS 77847 HAS SOPS 67281 HAS SOUS 22382 HAS SOUPS 20502 WITH SCORE 20579.847
AT ITER 1902 NEW BEST:: SOT 130413 SOS 77861 HAS SOPS 67285 HAS SOUS 22363 HAS SOUPS 20483 WITH SCORE 20560.861
AT ITER 1906 NEW BEST:: SOT 130402 SOS 77850 HAS SOPS 67263 HAS SOUS 22341 HAS SOUPS 20461 WITH SCORE 20538.85
AT ITER 1922 NEW BEST:: SOT 130411 SOS 77824 HAS SOPS 67237 HAS SOUS 22330 HAS SOUPS 20450 WITH SCORE 20527.824
AT ITER 1932 NEW BEST:: SOT 130395 SOS 77816 HAS SOPS 67213 HAS SOUS 22322 HAS SOUPS 20442 WITH SCORE 20519.816
AT ITER 1939 NEW BEST:: SOT 130389 SOS 77804 HAS SOPS 67201 HAS SOUS 22316 HAS SOUPS 20436 WITH SCORE 20513.804
AT ITER 1951 NEW BEST:: SOT 130386 SOS 77798 HAS SOPS 67195 HAS SOUS 22310 HAS SOUPS 20430 WITH SCORE 20507.798
AT ITER 1956 NEW BEST:: SOT 130403 SOS 77815 HAS SOPS 67215 HAS SOUS 22302 HAS SOUPS 20422 WITH SCORE 20499.815
AT ITER 1959 NEW BEST:: SOT 130404 SOS 77816 HAS SOPS 67200 HAS SOUS 22270 HAS SOUPS 20390 WITH SCORE 20467.816
AT ITER 1964 NEW BEST:: SOT 130406 SOS 77964 HAS SOPS 67428 HAS SOUS 22253 HAS SOUPS 20373 WITH SCORE 20450.964
AT ITER 1975 NEW BEST:: SOT 130400 SOS 77958 HAS SOPS 67426 HAS SOUS 22251 HAS SOUPS 20371 WITH SCORE 20448.958
AT ITER 1984 NEW BEST:: SOT 130366 SOS 77907 HAS SOPS 67375 HAS SOUS 22234 HAS SOUPS 20354 WITH SCORE 20431.907
AT ITER 1987 NEW BEST:: SOT 130163 SOS 78220 HAS SOPS 67088 HAS SOUS 22101 HAS SOUPS 20167 WITH SCORE 20245.22
AT ITER 1988 NEW BEST:: SOT 130132 SOS 78189 HAS SOPS 67026 HAS SOUS 22039 HAS SOUPS 20105 WITH SCORE 20183.189
AT ITER 1995 NEW BEST:: SOT 130143 SOS 78200 HAS SOPS 67026 HAS SOUS 22028 HAS SOUPS 20094 WITH SCORE 20172.2
AT ITER 1996 NEW BEST:: SOT 130135 SOS 78168 HAS SOPS 67020 HAS SOUS 21965 HAS SOUPS 20031 WITH SCORE 20109.168
AT ITER 2005 NEW BEST:: SOT 130112 SOS 78145 HAS SOPS 66974 HAS SOUS 21919 HAS SOUPS 19985 WITH SCORE 20063.145
AT ITER 2029 NEW BEST:: SOT 130100 SOS 78133 HAS SOPS 66950 HAS SOUS 21901 HAS SOUPS 19961 WITH SCORE 20039.133
AT ITER 2030 NEW BEST:: SOT 130150 SOS 78183 HAS SOPS 67001 HAS SOUS 21861 HAS SOUPS 19922 WITH SCORE 20000.183
AT ITER 2062 NEW BEST:: SOT 130128 SOS 78161 HAS SOPS 66968 HAS SOUS 21850 HAS SOUPS 19911 WITH SCORE 19989.161
AT ITER 2075 NEW BEST:: SOT 130129 SOS 78147 HAS SOPS 66970 HAS SOUS 21849 HAS SOUPS 19911 WITH SCORE 19989.147
AT ITER 2081 NEW BEST:: SOT 130149 SOS 78169 HAS SOPS 66990 HAS SOUS 21835 HAS SOUPS 19897 WITH SCORE 19975.169
AT ITER 2096 NEW BEST:: SOT 130135 SOS 78148 HAS SOPS 66969 HAS SOUS 21814 HAS SOUPS 19876 WITH SCORE 19954.148
AT ITER 2117 NEW BEST:: SOT 130135 SOS 78148 HAS SOPS 66969 HAS SOUS 21802 HAS SOUPS 19864 WITH SCORE 19942.148
AT ITER 2118 NEW BEST:: SOT 130160 SOS 78156 HAS SOPS 66967 HAS SOUS 21723 HAS SOUPS 19785 WITH SCORE 19863.156
AT ITER 2130 NEW BEST:: SOT 130142 SOS 78120 HAS SOPS 66931 HAS SOUS 21704 HAS SOUPS 19766 WITH SCORE 19844.12
AT ITER 2145 NEW BEST:: SOT 130116 SOS 78112 HAS SOPS 66897 HAS SOUS 21695 HAS SOUPS 19757 WITH SCORE 19835.112
AT ITER 2149 NEW BEST:: SOT 130072 SOS 78049 HAS SOPS 66847 HAS SOUS 21645 HAS SOUPS 19707 WITH SCORE 19785.049
AT ITER 2159 NEW BEST:: SOT 130137 SOS 78114 HAS SOPS 66932 HAS SOUS 21640 HAS SOUPS 19702 WITH SCORE 19780.114
AT ITER 2164 NEW BEST:: SOT 130173 SOS 78037 HAS SOPS 66822 HAS SOUS 21631 HAS SOUPS 19693 WITH SCORE 19771.037
AT ITER 2183 NEW BEST:: SOT 130172 SOS 78036 HAS SOPS 66820 HAS SOUS 21629 HAS SOUPS 19691 WITH SCORE 19769.036
AT ITER 2205 NEW BEST:: SOT 130173 SOS 77936 HAS SOPS 66701 HAS SOUS 21618 HAS SOUPS 19680 WITH SCORE 19757.936
AT ITER 2229 NEW BEST:: SOT 130182 SOS 78202 HAS SOPS 66967 HAS SOUS 21602 HAS SOUPS 19664 WITH SCORE 19742.202
AT ITER 2240 NEW BEST:: SOT 130175 SOS 78195 HAS SOPS 66957 HAS SOUS 21600 HAS SOUPS 19662 WITH SCORE 19740.195
AT ITER 2241 NEW BEST:: SOT 130136 SOS 78156 HAS SOPS 66879 HAS SOUS 21498 HAS SOUPS 19560 WITH SCORE 19638.156
AT ITER 2242 NEW BEST:: SOT 130112 SOS 78132 HAS SOPS 66855 HAS SOUS 21486 HAS SOUPS 19548 WITH SCORE 19626.132
AT ITER 2245 NEW BEST:: SOT 130039 SOS 75544 HAS SOPS 64349 HAS SOUS 21458 HAS SOUPS 19520 WITH SCORE 19595.544
AT ITER 2289 NEW BEST:: SOT 130039 SOS 75518 HAS SOPS 64323 HAS SOUS 21457 HAS SOUPS 19519 WITH SCORE 19594.518
AT ITER 2302 NEW BEST:: SOT 130026 SOS 75362 HAS SOPS 64297 HAS SOUS 21431 HAS SOUPS 19493 WITH SCORE 19568.362
AT ITER 2306 NEW BEST:: SOT 130233 SOS 75298 HAS SOPS 63999 HAS SOUS 21404 HAS SOUPS 19466 WITH SCORE 19541.298
AT ITER 2313 NEW BEST:: SOT 130252 SOS 75308 HAS SOPS 64022 HAS SOUS 21397 HAS SOUPS 19459 WITH SCORE 19534.308
AT ITER 2337 NEW BEST:: SOT 130251 SOS 74778 HAS SOPS 63492 HAS SOUS 21387 HAS SOUPS 19449 WITH SCORE 19523.778
AT ITER 2353 NEW BEST:: SOT 130239 SOS 74754 HAS SOPS 63468 HAS SOUS 21363 HAS SOUPS 19425 WITH SCORE 19499.754
AT ITER 2367 NEW BEST:: SOT 130197 SOS 74670 HAS SOPS 63384 HAS SOUS 21279 HAS SOUPS 19341 WITH SCORE 19415.67
AT ITER 2376 NEW BEST:: SOT 130229 SOS 74702 HAS SOPS 63416 HAS SOUS 21197 HAS SOUPS 19259 WITH SCORE 19333.702
AT ITER 2380 NEW BEST:: SOT 130229 SOS 74632 HAS SOPS 63423 HAS SOUS 21178 HAS SOUPS 19247 WITH SCORE 19321.632
AT ITER 2397 NEW BEST:: SOT 130173 SOS 74797 HAS SOPS 63619 HAS SOUS 21153 HAS SOUPS 19222 WITH SCORE 19296.797
AT ITER 2416 NEW BEST:: SOT 130173 SOS 74797 HAS SOPS 63619 HAS SOUS 21151 HAS SOUPS 19220 WITH SCORE 19294.797
AT ITER 2418 NEW BEST:: SOT 130165 SOS 74785 HAS SOPS 63611 HAS SOUS 21143 HAS SOUPS 19212 WITH SCORE 19286.785
AT ITER 2434 NEW BEST:: SOT 130155 SOS 74775 HAS SOPS 63601 HAS SOUS 21127 HAS SOUPS 19196 WITH SCORE 19270.775
AT ITER 2451 NEW BEST:: SOT 130140 SOS 74907 HAS SOPS 63572 HAS SOUS 21125 HAS SOUPS 19180 WITH SCORE 19254.907
AT ITER 2453 NEW BEST:: SOT 130137 SOS 74937 HAS SOPS 63566 HAS SOUS 21122 HAS SOUPS 19174 WITH SCORE 19248.937
AT ITER 2457 NEW BEST:: SOT 130137 SOS 74937 HAS SOPS 63566 HAS SOUS 21113 HAS SOUPS 19165 WITH SCORE 19239.937
AT ITER 2459 NEW BEST:: SOT 130132 SOS 74932 HAS SOPS 63556 HAS SOUS 21103 HAS SOUPS 19155 WITH SCORE 19229.932
AT ITER 2460 NEW BEST:: SOT 130131 SOS 74931 HAS SOPS 63554 HAS SOUS 21099 HAS SOUPS 19151 WITH SCORE 19225.931
AT ITER 2478 NEW BEST:: SOT 130131 SOS 74910 HAS SOPS 63533 HAS SOUS 21099 HAS SOUPS 19151 WITH SCORE 19225.91
AT ITER 2491 NEW BEST:: SOT 130136 SOS 74915 HAS SOPS 63538 HAS SOUS 21094 HAS SOUPS 19146 WITH SCORE 19220.915
AT ITER 2497 NEW BEST:: SOT 130121 SOS 74900 HAS SOPS 63523 HAS SOUS 21094 HAS SOUPS 19146 WITH SCORE 19220.9
AT ITER 2503 NEW BEST:: SOT 130107 SOS 74886 HAS SOPS 63502 HAS SOUS 21087 HAS SOUPS 19139 WITH SCORE 19213.886
AT ITER 2508 NEW BEST:: SOT 130036 SOS 74877 HAS SOPS 63493 HAS SOUS 21073 HAS SOUPS 19125 WITH SCORE 19199.877
AT ITER 2511 NEW BEST:: SOT 130054 SOS 74895 HAS SOPS 63498 HAS SOUS 20985 HAS SOUPS 19037 WITH SCORE 19111.895
AT ITER 2514 NEW BEST:: SOT 130054 SOS 74416 HAS SOPS 63019 HAS SOUS 20974 HAS SOUPS 19026 WITH SCORE 19100.416
AT ITER 2539 NEW BEST:: SOT 130061 SOS 74399 HAS SOPS 63002 HAS SOUS 20965 HAS SOUPS 19017 WITH SCORE 19091.399
AT ITER 2540 NEW BEST:: SOT 130057 SOS 74394 HAS SOPS 62997 HAS SOUS 20956 HAS SOUPS 19008 WITH SCORE 19082.394
AT ITER 2541 NEW BEST:: SOT 129983 SOS 74320 HAS SOPS 62849 HAS SOUS 20808 HAS SOUPS 18860 WITH SCORE 18934.32
AT ITER 2547 NEW BEST:: SOT 129984 SOS 74348 HAS SOPS 62876 HAS SOUS 20798 HAS SOUPS 18850 WITH SCORE 18924.348
AT ITER 2569 NEW BEST:: SOT 129727 SOS 74003 HAS SOPS 62538 HAS SOUS 20724 HAS SOUPS 18776 WITH SCORE 18850.003
AT ITER 2570 NEW BEST:: SOT 129659 SOS 73935 HAS SOPS 62436 HAS SOUS 20676 HAS SOUPS 18728 WITH SCORE 18801.935
AT ITER 2605 NEW BEST:: SOT 129646 SOS 73904 HAS SOPS 62405 HAS SOUS 20609 HAS SOUPS 18661 WITH SCORE 18734.904
AT ITER 2607 NEW BEST:: SOT 129645 SOS 73903 HAS SOPS 62404 HAS SOUS 20608 HAS SOUPS 18660 WITH SCORE 18733.903
AT ITER 2618 NEW BEST:: SOT 129631 SOS 74371 HAS SOPS 62341 HAS SOUS 20577 HAS SOUPS 18580 WITH SCORE 18654.371
AT ITER 2631 NEW BEST:: SOT 129421 SOS 74131 HAS SOPS 62141 HAS SOUS 20566 HAS SOUPS 18569 WITH SCORE 18643.131
AT ITER 2644 NEW BEST:: SOT 129421 SOS 74098 HAS SOPS 62108 HAS SOUS 20540 HAS SOUPS 18543 WITH SCORE 18617.098
AT ITER 2646 NEW BEST:: SOT 129421 SOS 74092 HAS SOPS 62102 HAS SOUS 20540 HAS SOUPS 18543 WITH SCORE 18617.092
AT ITER 2660 NEW BEST:: SOT 129450 SOS 73840 HAS SOPS 62139 HAS SOUS 20500 HAS SOUPS 18527 WITH SCORE 18600.84
AT ITER 2670 NEW BEST:: SOT 129472 SOS 73862 HAS SOPS 62092 HAS SOUS 20466 HAS SOUPS 18493 WITH SCORE 18566.862
AT ITER 2674 NEW BEST:: SOT 129494 SOS 73884 HAS SOPS 62114 HAS SOUS 20444 HAS SOUPS 18471 WITH SCORE 18544.884
AT ITER 2682 NEW BEST:: SOT 129494 SOS 73884 HAS SOPS 62114 HAS SOUS 20428 HAS SOUPS 18455 WITH SCORE 18528.884
AT ITER 2685 NEW BEST:: SOT 129493 SOS 73883 HAS SOPS 62112 HAS SOUS 20426 HAS SOUPS 18453 WITH SCORE 18526.883
AT ITER 2705 NEW BEST:: SOT 129454 SOS 73964 HAS SOPS 62193 HAS SOUS 20384 HAS SOUPS 18411 WITH SCORE 18484.964
AT ITER 2707 NEW BEST:: SOT 129450 SOS 73960 HAS SOPS 62185 HAS SOUS 20376 HAS SOUPS 18403 WITH SCORE 18476.96
AT ITER 2735 NEW BEST:: SOT 129454 SOS 73960 HAS SOPS 62189 HAS SOUS 20372 HAS SOUPS 18399 WITH SCORE 18472.96
AT ITER 2746 NEW BEST:: SOT 129432 SOS 73938 HAS SOPS 62137 HAS SOUS 20366 HAS SOUPS 18393 WITH SCORE 18466.938
AT ITER 2763 NEW BEST:: SOT 129431 SOS 73936 HAS SOPS 62135 HAS SOUS 20365 HAS SOUPS 18392 WITH SCORE 18465.936
AT ITER 2768 NEW BEST:: SOT 129432 SOS 73938 HAS SOPS 62137 HAS SOUS 20362 HAS SOUPS 18389 WITH SCORE 18462.938
AT ITER 2771 NEW BEST:: SOT 129388 SOS 73894 HAS SOPS 62096 HAS SOUS 20359 HAS SOUPS 18386 WITH SCORE 18459.894
AT ITER 2801 NEW BEST:: SOT 129390 SOS 73896 HAS SOPS 62096 HAS SOUS 20357 HAS SOUPS 18384 WITH SCORE 18457.896
AT ITER 2809 NEW BEST:: SOT 129416 SOS 73962 HAS SOPS 62108 HAS SOUS 20329 HAS SOUPS 18356 WITH SCORE 18429.962
AT ITER 2820 NEW BEST:: SOT 129507 SOS 74053 HAS SOPS 62210 HAS SOUS 20264 HAS SOUPS 18319 WITH SCORE 18393.053
AT ITER 2828 NEW BEST:: SOT 129602 SOS 74075 HAS SOPS 62281 HAS SOUS 20179 HAS SOUPS 18234 WITH SCORE 18308.075
AT ITER 2876 NEW BEST:: SOT 129591 SOS 74056 HAS SOPS 62262 HAS SOUS 20170 HAS SOUPS 18225 WITH SCORE 18299.056
AT ITER 2902 NEW BEST:: SOT 129514 SOS 73993 HAS SOPS 62163 HAS SOUS 20162 HAS SOUPS 18217 WITH SCORE 18290.993
AT ITER 2903 NEW BEST:: SOT 129464 SOS 73949 HAS SOPS 62091 HAS SOUS 20140 HAS SOUPS 18195 WITH SCORE 18268.949
AT ITER 2904 NEW BEST:: SOT 129421 SOS 71874 HAS SOPS 60080 HAS SOUS 20129 HAS SOUPS 18184 WITH SCORE 18255.874
AT ITER 2908 NEW BEST:: SOT 129416 SOS 71521 HAS SOPS 59782 HAS SOUS 20127 HAS SOUPS 18182 WITH SCORE 18253.521
AT ITER 2911 NEW BEST:: SOT 129362 SOS 71881 HAS SOPS 60142 HAS SOUS 20073 HAS SOUPS 18128 WITH SCORE 18199.881
AT ITER 2914 NEW BEST:: SOT 129361 SOS 71880 HAS SOPS 60140 HAS SOUS 20071 HAS SOUPS 18126 WITH SCORE 18197.88
AT ITER 2923 NEW BEST:: SOT 129343 SOS 71980 HAS SOPS 60226 HAS SOUS 20039 HAS SOUPS 18094 WITH SCORE 18165.98
AT ITER 2945 NEW BEST:: SOT 129342 SOS 71979 HAS SOPS 60224 HAS SOUS 20037 HAS SOUPS 18092 WITH SCORE 18163.979
AT ITER 2966 NEW BEST:: SOT 129348 SOS 71481 HAS SOPS 60258 HAS SOUS 19994 HAS SOUPS 18081 WITH SCORE 18152.481
AT ITER 2996 NEW BEST:: SOT 129357 SOS 71754 HAS SOPS 60267 HAS SOUS 19999 HAS SOUPS 18069 WITH SCORE 18140.754
AT ITER 2998 NEW BEST:: SOT 129291 SOS 71391 HAS SOPS 59937 HAS SOUS 19933 HAS SOUPS 18003 WITH SCORE 18074.391
AT ITER 3030 NEW BEST:: SOT 129275 SOS 71359 HAS SOPS 59921 HAS SOUS 19933 HAS SOUPS 18003 WITH SCORE 18074.359
AT ITER 3045 NEW BEST:: SOT 129208 SOS 71247 HAS SOPS 59832 HAS SOUS 19889 HAS SOUPS 17959 WITH SCORE 18030.247
AT ITER 3052 NEW BEST:: SOT 129208 SOS 71247 HAS SOPS 59832 HAS SOUS 19887 HAS SOUPS 17957 WITH SCORE 18028.247
AT ITER 3089 NEW BEST:: SOT 129204 SOS 71243 HAS SOPS 59824 HAS SOUS 19884 HAS SOUPS 17954 WITH SCORE 18025.243
AT ITER 3110 NEW BEST:: SOT 129188 SOS 71304 HAS SOPS 59860 HAS SOUS 19878 HAS SOUPS 17943 WITH SCORE 18014.304
AT ITER 3112 NEW BEST:: SOT 129189 SOS 71326 HAS SOPS 59877 HAS SOUS 19875 HAS SOUPS 17940 WITH SCORE 18011.326
AT ITER 3143 NEW BEST:: SOT 129189 SOS 71326 HAS SOPS 59877 HAS SOUS 19864 HAS SOUPS 17929 WITH SCORE 18000.326
AT ITER 3162 NEW BEST:: SOT 129189 SOS 71326 HAS SOPS 59877 HAS SOUS 19830 HAS SOUPS 17895 WITH SCORE 17966.326
AT ITER 3176 NEW BEST:: SOT 129161 SOS 71298 HAS SOPS 59821 HAS SOUS 19774 HAS SOUPS 17839 WITH SCORE 17910.298
AT ITER 3178 NEW BEST:: SOT 129010 SOS 71126 HAS SOPS 59584 HAS SOUS 19682 HAS SOUPS 17747 WITH SCORE 17818.126
AT ITER 3185 NEW BEST:: SOT 129008 SOS 71176 HAS SOPS 59578 HAS SOUS 19676 HAS SOUPS 17737 WITH SCORE 17808.176
AT ITER 3198 NEW BEST:: SOT 129078 SOS 71246 HAS SOPS 59628 HAS SOUS 19637 HAS SOUPS 17698 WITH SCORE 17769.246
AT ITER 3218 NEW BEST:: SOT 129043 SOS 71211 HAS SOPS 59540 HAS SOUS 19611 HAS SOUPS 17672 WITH SCORE 17743.211
AT ITER 3228 NEW BEST:: SOT 129037 SOS 71199 HAS SOPS 59534 HAS SOUS 19611 HAS SOUPS 17672 WITH SCORE 17743.199
AT ITER 3257 NEW BEST:: SOT 129034 SOS 71115 HAS SOPS 59450 HAS SOUS 19605 HAS SOUPS 17666 WITH SCORE 17737.115
AT ITER 3286 NEW BEST:: SOT 129034 SOS 71115 HAS SOPS 59450 HAS SOUS 19602 HAS SOUPS 17663 WITH SCORE 17734.115
AT ITER 3298 NEW BEST:: SOT 129074 SOS 71075 HAS SOPS 59490 HAS SOUS 19602 HAS SOUPS 17663 WITH SCORE 17734.075
AT ITER 3303 NEW BEST:: SOT 129055 SOS 71037 HAS SOPS 59452 HAS SOUS 19564 HAS SOUPS 17625 WITH SCORE 17696.037
AT ITER 3317 NEW BEST:: SOT 129036 SOS 71000 HAS SOPS 59415 HAS SOUS 19551 HAS SOUPS 17612 WITH SCORE 17683.0
AT ITER 3318 NEW BEST:: SOT 129072 SOS 71854 HAS SOPS 60269 HAS SOUS 19542 HAS SOUPS 17603 WITH SCORE 17674.854
AT ITER 3330 NEW BEST:: SOT 129064 SOS 71846 HAS SOPS 60253 HAS SOUS 19526 HAS SOUPS 17587 WITH SCORE 17658.846
AT ITER 3356 NEW BEST:: SOT 129054 SOS 71836 HAS SOPS 60233 HAS SOUS 19506 HAS SOUPS 17567 WITH SCORE 17638.836
AT ITER 3361 NEW BEST:: SOT 129013 SOS 71788 HAS SOPS 60185 HAS SOUS 19499 HAS SOUPS 17560 WITH SCORE 17631.788
AT ITER 3363 NEW BEST:: SOT 128969 SOS 71727 HAS SOPS 60141 HAS SOUS 19499 HAS SOUPS 17560 WITH SCORE 17631.727
AT ITER 3364 NEW BEST:: SOT 128965 SOS 71723 HAS SOPS 60131 HAS SOUS 19486 HAS SOUPS 17547 WITH SCORE 17618.723
AT ITER 3380 NEW BEST:: SOT 128901 SOS 71642 HAS SOPS 60050 HAS SOUS 19405 HAS SOUPS 17466 WITH SCORE 17537.642
AT ITER 3415 NEW BEST:: SOT 128907 SOS 71648 HAS SOPS 60050 HAS SOUS 19399 HAS SOUPS 17460 WITH SCORE 17531.648
AT ITER 3418 NEW BEST:: SOT 128907 SOS 71560 HAS SOPS 59962 HAS SOUS 19399 HAS SOUPS 17460 WITH SCORE 17531.56
AT ITER 3437 NEW BEST:: SOT 128946 SOS 71576 HAS SOPS 59978 HAS SOUS 19392 HAS SOUPS 17453 WITH SCORE 17524.576
AT ITER 3450 NEW BEST:: SOT 128940 SOS 71570 HAS SOPS 59969 HAS SOUS 19391 HAS SOUPS 17452 WITH SCORE 17523.57
AT ITER 3452 NEW BEST:: SOT 128956 SOS 71572 HAS SOPS 59987 HAS SOUS 19381 HAS SOUPS 17442 WITH SCORE 17513.572
AT ITER 3457 NEW BEST:: SOT 129119 SOS 71730 HAS SOPS 60102 HAS SOUS 19339 HAS SOUPS 17400 WITH SCORE 17471.73
AT ITER 3479 NEW BEST:: SOT 129113 SOS 71724 HAS SOPS 60096 HAS SOUS 19327 HAS SOUPS 17388 WITH SCORE 17459.724
AT ITER 3490 NEW BEST:: SOT 129115 SOS 71726 HAS SOPS 60088 HAS SOUS 19325 HAS SOUPS 17386 WITH SCORE 17457.726
AT ITER 3508 NEW BEST:: SOT 129007 SOS 71601 HAS SOPS 59937 HAS SOUS 19281 HAS SOUPS 17342 WITH SCORE 17413.601
AT ITER 3512 NEW BEST:: SOT 129058 SOS 71652 HAS SOPS 60010 HAS SOUS 19267 HAS SOUPS 17328 WITH SCORE 17399.652
AT ITER 3534 NEW BEST:: SOT 129023 SOS 71617 HAS SOPS 59940 HAS SOUS 19197 HAS SOUPS 17258 WITH SCORE 17329.617
AT ITER 3544 NEW BEST:: SOT 129010 SOS 71604 HAS SOPS 59927 HAS SOUS 19195 HAS SOUPS 17256 WITH SCORE 17327.604
AT ITER 3564 NEW BEST:: SOT 129008 SOS 71602 HAS SOPS 59923 HAS SOUS 19189 HAS SOUPS 17250 WITH SCORE 17321.602
AT ITER 3574 NEW BEST:: SOT 128999 SOS 71590 HAS SOPS 59905 HAS SOUS 19171 HAS SOUPS 17232 WITH SCORE 17303.59
AT ITER 3579 NEW BEST:: SOT 128991 SOS 71757 HAS SOPS 60072 HAS SOUS 19132 HAS SOUPS 17193 WITH SCORE 17264.757
AT ITER 3603 NEW BEST:: SOT 128985 SOS 71751 HAS SOPS 60060 HAS SOUS 19120 HAS SOUPS 17181 WITH SCORE 17252.751
AT ITER 3605 NEW BEST:: SOT 128977 SOS 71743 HAS SOPS 60062 HAS SOUS 19113 HAS SOUPS 17174 WITH SCORE 17245.743
AT ITER 3640 NEW BEST:: SOT 128937 SOS 71703 HAS SOPS 60002 HAS SOUS 19088 HAS SOUPS 17149 WITH SCORE 17220.703
AT ITER 3713 NEW BEST:: SOT 128866 SOS 71561 HAS SOPS 59860 HAS SOUS 19013 HAS SOUPS 17074 WITH SCORE 17145.561
AT ITER 3826 NEW BEST:: SOT 128860 SOS 71544 HAS SOPS 59846 HAS SOUS 18990 HAS SOUPS 17051 WITH SCORE 17122.544
AT ITER 3837 NEW BEST:: SOT 128823 SOS 71507 HAS SOPS 59809 HAS SOUS 18968 HAS SOUPS 17029 WITH SCORE 17100.507
AT ITER 3838 NEW BEST:: SOT 128813 SOS 71497 HAS SOPS 59789 HAS SOUS 18948 HAS SOUPS 17009 WITH SCORE 17080.497
AT ITER 3861 NEW BEST:: SOT 128818 SOS 71502 HAS SOPS 59785 HAS SOUS 18942 HAS SOUPS 17003 WITH SCORE 17074.502
AT ITER 3875 NEW BEST:: SOT 128808 SOS 71447 HAS SOPS 59735 HAS SOUS 18932 HAS SOUPS 16993 WITH SCORE 17064.447
AT ITER 3877 NEW BEST:: SOT 128808 SOS 71458 HAS SOPS 59746 HAS SOUS 18930 HAS SOUPS 16991 WITH SCORE 17062.458
AT ITER 3906 NEW BEST:: SOT 128802 SOS 71907 HAS SOPS 59712 HAS SOUS 18930 HAS SOUPS 16964 WITH SCORE 17035.907
AT ITER 3979 NEW BEST:: SOT 128743 SOS 71591 HAS SOPS 59134 HAS SOUS 18875 HAS SOUPS 16887 WITH SCORE 16958.591
AT ITER 3980 NEW BEST:: SOT 128743 SOS 71591 HAS SOPS 59134 HAS SOUS 18872 HAS SOUPS 16884 WITH SCORE 16955.591
AT ITER 4002 NEW BEST:: SOT 128745 SOS 71593 HAS SOPS 59126 HAS SOUS 18870 HAS SOUPS 16882 WITH SCORE 16953.593
AT ITER 4015 NEW BEST:: SOT 128694 SOS 71542 HAS SOPS 59075 HAS SOUS 18853 HAS SOUPS 16865 WITH SCORE 16936.542
AT ITER 4016 NEW BEST:: SOT 128495 SOS 69703 HAS SOPS 57265 HAS SOUS 18732 HAS SOUPS 16744 WITH SCORE 16813.703
AT ITER 4017 NEW BEST:: SOT 128466 SOS 69674 HAS SOPS 57269 HAS SOUS 18705 HAS SOUPS 16717 WITH SCORE 16786.674
AT ITER 4027 NEW BEST:: SOT 128529 SOS 69677 HAS SOPS 57224 HAS SOUS 18635 HAS SOUPS 16647 WITH SCORE 16716.677
AT ITER 4043 NEW BEST:: SOT 128529 SOS 69671 HAS SOPS 57218 HAS SOUS 18635 HAS SOUPS 16647 WITH SCORE 16716.671
AT ITER 4061 NEW BEST:: SOT 128460 SOS 69912 HAS SOPS 57149 HAS SOUS 18626 HAS SOUPS 16610 WITH SCORE 16679.912
AT ITER 4085 NEW BEST:: SOT 128453 SOS 69905 HAS SOPS 57141 HAS SOUS 18628 HAS SOUPS 16610 WITH SCORE 16679.905
AT ITER 4096 NEW BEST:: SOT 128432 SOS 69877 HAS SOPS 57113 HAS SOUS 18621 HAS SOUPS 16603 WITH SCORE 16672.877
AT ITER 4107 NEW BEST:: SOT 128428 SOS 69873 HAS SOPS 57105 HAS SOUS 18613 HAS SOUPS 16595 WITH SCORE 16664.873
AT ITER 4139 NEW BEST:: SOT 128422 SOS 69867 HAS SOPS 57093 HAS SOUS 18595 HAS SOUPS 16577 WITH SCORE 16646.867
AT ITER 4141 NEW BEST:: SOT 128465 SOS 69904 HAS SOPS 57139 HAS SOUS 18562 HAS SOUPS 16544 WITH SCORE 16613.904
AT ITER 4153 NEW BEST:: SOT 128458 SOS 69897 HAS SOPS 57132 HAS SOUS 18539 HAS SOUPS 16521 WITH SCORE 16590.897
AT ITER 4178 NEW BEST:: SOT 128455 SOS 69900 HAS SOPS 57135 HAS SOUS 18533 HAS SOUPS 16515 WITH SCORE 16584.9
AT ITER 4197 NEW BEST:: SOT 128455 SOS 69900 HAS SOPS 57135 HAS SOUS 18530 HAS SOUPS 16512 WITH SCORE 16581.9
AT ITER 4279 NEW BEST:: SOT 128455 SOS 69886 HAS SOPS 57169 HAS SOUS 18530 HAS SOUPS 16512 WITH SCORE 16581.886
AT ITER 4283 NEW BEST:: SOT 128445 SOS 69913 HAS SOPS 57149 HAS SOUS 18520 HAS SOUPS 16497 WITH SCORE 16566.913
AT ITER 4304 NEW BEST:: SOT 128442 SOS 69910 HAS SOPS 57143 HAS SOUS 18517 HAS SOUPS 16494 WITH SCORE 16563.91
AT ITER 4319 NEW BEST:: SOT 128325 SOS 69424 HAS SOPS 56682 HAS SOUS 18507 HAS SOUPS 16484 WITH SCORE 16553.424
AT ITER 4323 NEW BEST:: SOT 128324 SOS 69423 HAS SOPS 56680 HAS SOUS 18505 HAS SOUPS 16482 WITH SCORE 16551.423
AT ITER 4354 NEW BEST:: SOT 128282 SOS 69363 HAS SOPS 56632 HAS SOUS 18493 HAS SOUPS 16470 WITH SCORE 16539.363
AT ITER 4393 NEW BEST:: SOT 128268 SOS 69349 HAS SOPS 56611 HAS SOUS 18491 HAS SOUPS 16461 WITH SCORE 16530.349
AT ITER 4411 NEW BEST:: SOT 128268 SOS 69382 HAS SOPS 56611 HAS SOUS 18485 HAS SOUPS 16452 WITH SCORE 16521.382
AT ITER 4426 NEW BEST:: SOT 128267 SOS 69380 HAS SOPS 56609 HAS SOUS 18483 HAS SOUPS 16450 WITH SCORE 16519.38
AT ITER 4433 NEW BEST:: SOT 128267 SOS 69367 HAS SOPS 56596 HAS SOUS 18483 HAS SOUPS 16450 WITH SCORE 16519.367
AT ITER 4461 NEW BEST:: SOT 128266 SOS 69366 HAS SOPS 56594 HAS SOUS 18482 HAS SOUPS 16448 WITH SCORE 16517.366
AT ITER 4499 NEW BEST:: SOT 128348 SOS 69421 HAS SOPS 56675 HAS SOUS 18429 HAS SOUPS 16395 WITH SCORE 16464.421
AT ITER 4510 NEW BEST:: SOT 128292 SOS 68713 HAS SOPS 55967 HAS SOUS 18417 HAS SOUPS 16383 WITH SCORE 16451.713
AT ITER 4539 NEW BEST:: SOT 128275 SOS 68664 HAS SOPS 55927 HAS SOUS 18383 HAS SOUPS 16349 WITH SCORE 16417.664
AT ITER 4563 NEW BEST:: SOT 128282 SOS 68671 HAS SOPS 55934 HAS SOUS 18376 HAS SOUPS 16342 WITH SCORE 16410.671
AT ITER 4570 NEW BEST:: SOT 128279 SOS 68668 HAS SOPS 55928 HAS SOUS 18370 HAS SOUPS 16336 WITH SCORE 16404.668
AT ITER 4577 NEW BEST:: SOT 128280 SOS 68670 HAS SOPS 55920 HAS SOUS 18362 HAS SOUPS 16328 WITH SCORE 16396.67
AT ITER 4578 NEW BEST:: SOT 128277 SOS 68667 HAS SOPS 55914 HAS SOUS 18356 HAS SOUPS 16322 WITH SCORE 16390.667
AT ITER 4582 NEW BEST:: SOT 128528 SOS 68984 HAS SOPS 56202 HAS SOUS 18323 HAS SOUPS 16289 WITH SCORE 16357.984
AT ITER 4599 NEW BEST:: SOT 128542 SOS 68998 HAS SOPS 56216 HAS SOUS 18316 HAS SOUPS 16282 WITH SCORE 16350.998
AT ITER 4630 NEW BEST:: SOT 128491 SOS 68912 HAS SOPS 56130 HAS SOUS 18230 HAS SOUPS 16196 WITH SCORE 16264.912
AT ITER 4689 NEW BEST:: SOT 128457 SOS 68878 HAS SOPS 56079 HAS SOUS 18230 HAS SOUPS 16196 WITH SCORE 16264.878
AT ITER 4708 NEW BEST:: SOT 128462 SOS 68883 HAS SOPS 56084 HAS SOUS 18225 HAS SOUPS 16191 WITH SCORE 16259.883
AT ITER 4716 NEW BEST:: SOT 128461 SOS 68882 HAS SOPS 56082 HAS SOUS 18223 HAS SOUPS 16189 WITH SCORE 16257.882
AT ITER 4744 NEW BEST:: SOT 128449 SOS 68866 HAS SOPS 56062 HAS SOUS 18201 HAS SOUPS 16167 WITH SCORE 16235.866
AT ITER 4747 NEW BEST:: SOT 128439 SOS 68931 HAS SOPS 56052 HAS SOUS 18196 HAS SOUPS 16157 WITH SCORE 16225.931
AT ITER 4755 NEW BEST:: SOT 128442 SOS 68950 HAS SOPS 56037 HAS SOUS 18165 HAS SOUPS 16126 WITH SCORE 16194.95
AT ITER 4772 NEW BEST:: SOT 128441 SOS 68948 HAS SOPS 56035 HAS SOUS 18163 HAS SOUPS 16124 WITH SCORE 16192.948
AT ITER 4852 NEW BEST:: SOT 128435 SOS 68942 HAS SOPS 56027 HAS SOUS 18161 HAS SOUPS 16122 WITH SCORE 16190.942
AT ITER 4889 NEW BEST:: SOT 128434 SOS 68933 HAS SOPS 56018 HAS SOUS 18160 HAS SOUPS 16121 WITH SCORE 16189.933
AT ITER 4902 NEW BEST:: SOT 128398 SOS 68897 HAS SOPS 55964 HAS SOUS 18160 HAS SOUPS 16103 WITH SCORE 16171.897
AT ITER 4914 NEW BEST:: SOT 128392 SOS 68891 HAS SOPS 55956 HAS SOUS 18159 HAS SOUPS 16102 WITH SCORE 16170.891
AT ITER 4958 NEW BEST:: SOT 128341 SOS 68840 HAS SOPS 55884 HAS SOUS 18147 HAS SOUPS 16090 WITH SCORE 16158.84
AT ITER 5003 NEW BEST:: SOT 128388 SOS 68894 HAS SOPS 55938 HAS SOUS 18141 HAS SOUPS 16084 WITH SCORE 16152.894
AT ITER 5027 NEW BEST:: SOT 128305 SOS 68860 HAS SOPS 55905 HAS SOUS 18115 HAS SOUPS 16058 WITH SCORE 16126.86
AT ITER 5052 NEW BEST:: SOT 128292 SOS 68743 HAS SOPS 55788 HAS SOUS 18102 HAS SOUPS 16045 WITH SCORE 16113.743
AT ITER 5059 NEW BEST:: SOT 128283 SOS 68734 HAS SOPS 55770 HAS SOUS 18009 HAS SOUPS 15952 WITH SCORE 16020.734
AT ITER 5068 NEW BEST:: SOT 128286 SOS 68737 HAS SOPS 55773 HAS SOUS 18007 HAS SOUPS 15950 WITH SCORE 16018.737
AT ITER 5077 NEW BEST:: SOT 128238 SOS 68673 HAS SOPS 55709 HAS SOUS 17991 HAS SOUPS 15934 WITH SCORE 16002.673
AT ITER 5104 NEW BEST:: SOT 128237 SOS 68664 HAS SOPS 55700 HAS SOUS 17989 HAS SOUPS 15932 WITH SCORE 16000.664
AT ITER 5137 NEW BEST:: SOT 128214 SOS 68641 HAS SOPS 55677 HAS SOUS 17955 HAS SOUPS 15898 WITH SCORE 15966.641
AT ITER 5158 NEW BEST:: SOT 128221 SOS 68643 HAS SOPS 55679 HAS SOUS 17947 HAS SOUPS 15890 WITH SCORE 15958.643
AT ITER 5176 NEW BEST:: SOT 128184 SOS 68613 HAS SOPS 55628 HAS SOUS 17935 HAS SOUPS 15878 WITH SCORE 15946.613
AT ITER 5205 NEW BEST:: SOT 128214 SOS 68658 HAS SOPS 55658 HAS SOUS 17920 HAS SOUPS 15863 WITH SCORE 15931.658
AT ITER 5250 NEW BEST:: SOT 128208 SOS 68604 HAS SOPS 55610 HAS SOUS 17920 HAS SOUPS 15863 WITH SCORE 15931.604
AT ITER 5308 NEW BEST:: SOT 128200 SOS 68596 HAS SOPS 55594 HAS SOUS 17904 HAS SOUPS 15847 WITH SCORE 15915.596
AT ITER 5351 NEW BEST:: SOT 128194 SOS 68590 HAS SOPS 55585 HAS SOUS 17901 HAS SOUPS 15844 WITH SCORE 15912.59
AT ITER 5469 NEW BEST:: SOT 128186 SOS 68577 HAS SOPS 55572 HAS SOUS 17894 HAS SOUPS 15837 WITH SCORE 15905.577
AT ITER 5537 NEW BEST:: SOT 128185 SOS 68575 HAS SOPS 55570 HAS SOUS 17892 HAS SOUPS 15835 WITH SCORE 15903.575
AT ITER 5561 NEW BEST:: SOT 128209 SOS 68599 HAS SOPS 55601 HAS SOUS 17889 HAS SOUPS 15832 WITH SCORE 15900.599
AT ITER 5564 NEW BEST:: SOT 128207 SOS 68595 HAS SOPS 55597 HAS SOUS 17885 HAS SOUPS 15828 WITH SCORE 15896.595
AT ITER 5592 NEW BEST:: SOT 128157 SOS 68562 HAS SOPS 55497 HAS SOUS 17783 HAS SOUPS 15726 WITH SCORE 15794.562
AT ITER 5593 NEW BEST:: SOT 128157 SOS 68558 HAS SOPS 55493 HAS SOUS 17783 HAS SOUPS 15726 WITH SCORE 15794.558
AT ITER 5599 NEW BEST:: SOT 128159 SOS 68560 HAS SOPS 55493 HAS SOUS 17777 HAS SOUPS 15720 WITH SCORE 15788.56
AT ITER 5634 NEW BEST:: SOT 128158 SOS 68557 HAS SOPS 55490 HAS SOUS 17775 HAS SOUPS 15718 WITH SCORE 15786.557
AT ITER 5658 NEW BEST:: SOT 128158 SOS 68541 HAS SOPS 55474 HAS SOUS 17759 HAS SOUPS 15702 WITH SCORE 15770.541
AT ITER 5715 NEW BEST:: SOT 128155 SOS 68538 HAS SOPS 55470 HAS SOUS 17756 HAS SOUPS 15698 WITH SCORE 15766.538
AT ITER 5764 NEW BEST:: SOT 128178 SOS 68563 HAS SOPS 55486 HAS SOUS 17752 HAS SOUPS 15694 WITH SCORE 15762.563
AT ITER 5783 NEW BEST:: SOT 128166 SOS 68546 HAS SOPS 55469 HAS SOUS 17739 HAS SOUPS 15681 WITH SCORE 15749.546
AT ITER 5788 NEW BEST:: SOT 128155 SOS 68531 HAS SOPS 55454 HAS SOUS 17726 HAS SOUPS 15668 WITH SCORE 15736.531
AT ITER 5797 NEW BEST:: SOT 128155 SOS 68515 HAS SOPS 55438 HAS SOUS 17726 HAS SOUPS 15668 WITH SCORE 15736.515
AT ITER 5800 NEW BEST:: SOT 128134 SOS 68494 HAS SOPS 55409 HAS SOUS 17723 HAS SOUPS 15665 WITH SCORE 15733.494
AT ITER 5810 NEW BEST:: SOT 128135 SOS 68525 HAS SOPS 55440 HAS SOUS 17709 HAS SOUPS 15651 WITH SCORE 15719.525
AT ITER 5814 NEW BEST:: SOT 128110 SOS 68443 HAS SOPS 55358 HAS SOUS 17683 HAS SOUPS 15625 WITH SCORE 15693.443
AT ITER 5864 NEW BEST:: SOT 127663 SOS 67997 HAS SOPS 54933 HAS SOUS 17682 HAS SOUPS 15624 WITH SCORE 15691.997
AT ITER 5965 NEW BEST:: SOT 127662 SOS 67989 HAS SOPS 54925 HAS SOUS 17675 HAS SOUPS 15617 WITH SCORE 15684.989
AT ITER 5970 NEW BEST:: SOT 127661 SOS 68058 HAS SOPS 54919 HAS SOUS 17668 HAS SOUPS 15605 WITH SCORE 15673.058
AT ITER 5974 NEW BEST:: SOT 127809 SOS 68206 HAS SOPS 55067 HAS SOUS 17607 HAS SOUPS 15544 WITH SCORE 15612.206
AT ITER 6040 NEW BEST:: SOT 127803 SOS 68200 HAS SOPS 55055 HAS SOUS 17595 HAS SOUPS 15532 WITH SCORE 15600.2
AT ITER 6042 NEW BEST:: SOT 127784 SOS 68136 HAS SOPS 54992 HAS SOUS 17582 HAS SOUPS 15519 WITH SCORE 15587.136
AT ITER 6074 NEW BEST:: SOT 127715 SOS 68044 HAS SOPS 54900 HAS SOUS 17559 HAS SOUPS 15496 WITH SCORE 15564.044
AT ITER 6086 NEW BEST:: SOT 127735 SOS 68058 HAS SOPS 54898 HAS SOUS 17544 HAS SOUPS 15481 WITH SCORE 15549.058
AT ITER 6118 NEW BEST:: SOT 127735 SOS 67878 HAS SOPS 54718 HAS SOUS 17544 HAS SOUPS 15481 WITH SCORE 15548.878
AT ITER 6125 NEW BEST:: SOT 127682 SOS 66837 HAS SOPS 53712 HAS SOUS 17489 HAS SOUPS 15426 WITH SCORE 15492.837
AT ITER 6138 NEW BEST:: SOT 127673 SOS 66827 HAS SOPS 53702 HAS SOUS 17474 HAS SOUPS 15411 WITH SCORE 15477.827
AT ITER 6140 NEW BEST:: SOT 127661 SOS 66947 HAS SOPS 53822 HAS SOUS 17469 HAS SOUPS 15406 WITH SCORE 15472.947
AT ITER 6144 NEW BEST:: SOT 127705 SOS 67013 HAS SOPS 53866 HAS SOUS 17453 HAS SOUPS 15390 WITH SCORE 15457.013
AT ITER 6145 NEW BEST:: SOT 127585 SOS 66455 HAS SOPS 53327 HAS SOUS 17417 HAS SOUPS 15354 WITH SCORE 15420.455
AT ITER 6150 NEW BEST:: SOT 127534 SOS 69320 HAS SOPS 56192 HAS SOUS 17369 HAS SOUPS 15306 WITH SCORE 15375.32
AT ITER 6158 NEW BEST:: SOT 127500 SOS 69293 HAS SOPS 56141 HAS SOUS 17352 HAS SOUPS 15289 WITH SCORE 15358.293
AT ITER 6168 NEW BEST:: SOT 127530 SOS 69323 HAS SOPS 56117 HAS SOUS 17340 HAS SOUPS 15277 WITH SCORE 15346.323
AT ITER 6190 NEW BEST:: SOT 127520 SOS 69313 HAS SOPS 56097 HAS SOUS 17330 HAS SOUPS 15267 WITH SCORE 15336.313
AT ITER 6193 NEW BEST:: SOT 127524 SOS 69317 HAS SOPS 56105 HAS SOUS 17326 HAS SOUPS 15263 WITH SCORE 15332.317
AT ITER 6202 NEW BEST:: SOT 127538 SOS 69331 HAS SOPS 56077 HAS SOUS 17306 HAS SOUPS 15243 WITH SCORE 15312.331
AT ITER 6205 NEW BEST:: SOT 127534 SOS 69323 HAS SOPS 56069 HAS SOUS 17302 HAS SOUPS 15239 WITH SCORE 15308.323
AT ITER 6239 NEW BEST:: SOT 127597 SOS 69449 HAS SOPS 56125 HAS SOUS 17288 HAS SOUPS 15225 WITH SCORE 15294.449
AT ITER 6240 NEW BEST:: SOT 127596 SOS 69448 HAS SOPS 56123 HAS SOUS 17286 HAS SOUPS 15223 WITH SCORE 15292.448
AT ITER 6285 NEW BEST:: SOT 127596 SOS 69396 HAS SOPS 56071 HAS SOUS 17286 HAS SOUPS 15223 WITH SCORE 15292.396
AT ITER 6320 NEW BEST:: SOT 127571 SOS 69346 HAS SOPS 56046 HAS SOUS 17286 HAS SOUPS 15223 WITH SCORE 15292.346
AT ITER 6334 NEW BEST:: SOT 127569 SOS 69344 HAS SOPS 56043 HAS SOUS 17285 HAS SOUPS 15222 WITH SCORE 15291.344
AT ITER 6336 NEW BEST:: SOT 127458 SOS 69210 HAS SOPS 55909 HAS SOUS 17262 HAS SOUPS 15199 WITH SCORE 15268.21
AT ITER 6344 NEW BEST:: SOT 127488 SOS 69240 HAS SOPS 55899 HAS SOUS 17248 HAS SOUPS 15185 WITH SCORE 15254.24
AT ITER 6366 NEW BEST:: SOT 127468 SOS 69200 HAS SOPS 55879 HAS SOUS 17248 HAS SOUPS 15185 WITH SCORE 15254.2
AT ITER 6448 NEW BEST:: SOT 127470 SOS 69202 HAS SOPS 55883 HAS SOUS 17244 HAS SOUPS 15181 WITH SCORE 15250.202
AT ITER 6473 NEW BEST:: SOT 127535 SOS 69852 HAS SOPS 56425 HAS SOUS 17231 HAS SOUPS 15168 WITH SCORE 15237.852
AT ITER 6476 NEW BEST:: SOT 127513 SOS 70052 HAS SOPS 56550 HAS SOUS 17225 HAS SOUPS 15150 WITH SCORE 15220.052
AT ITER 6486 NEW BEST:: SOT 127508 SOS 70047 HAS SOPS 56540 HAS SOUS 17215 HAS SOUPS 15140 WITH SCORE 15210.047
AT ITER 6509 NEW BEST:: SOT 127536 SOS 68927 HAS SOPS 55469 HAS SOUS 17194 HAS SOUPS 15119 WITH SCORE 15187.927
AT ITER 6552 NEW BEST:: SOT 127536 SOS 68932 HAS SOPS 55464 HAS SOUS 17188 HAS SOUPS 15113 WITH SCORE 15181.932
AT ITER 6578 NEW BEST:: SOT 127514 SOS 68910 HAS SOPS 55443 HAS SOUS 17184 HAS SOUPS 15109 WITH SCORE 15177.91
AT ITER 6582 NEW BEST:: SOT 127564 SOS 68975 HAS SOPS 55493 HAS SOUS 17159 HAS SOUPS 15084 WITH SCORE 15152.975
AT ITER 6630 NEW BEST:: SOT 127564 SOS 68975 HAS SOPS 55488 HAS SOUS 17149 HAS SOUPS 15074 WITH SCORE 15142.975
AT ITER 6640 NEW BEST:: SOT 127561 SOS 68972 HAS SOPS 55485 HAS SOUS 17149 HAS SOUPS 15074 WITH SCORE 15142.972
AT ITER 6679 NEW BEST:: SOT 127543 SOS 68873 HAS SOPS 55395 HAS SOUS 17131 HAS SOUPS 15056 WITH SCORE 15124.873
AT ITER 6682 NEW BEST:: SOT 127526 SOS 68856 HAS SOPS 55378 HAS SOUS 17131 HAS SOUPS 15056 WITH SCORE 15124.856
AT ITER 6685 NEW BEST:: SOT 127529 SOS 68849 HAS SOPS 55384 HAS SOUS 17127 HAS SOUPS 15052 WITH SCORE 15120.849
AT ITER 6686 NEW BEST:: SOT 127487 SOS 68793 HAS SOPS 55351 HAS SOUS 17124 HAS SOUPS 15049 WITH SCORE 15117.793
AT ITER 6701 NEW BEST:: SOT 127465 SOS 68760 HAS SOPS 55318 HAS SOUS 17102 HAS SOUPS 15027 WITH SCORE 15095.76
AT ITER 6750 NEW BEST:: SOT 127463 SOS 68758 HAS SOPS 55316 HAS SOUS 17100 HAS SOUPS 15025 WITH SCORE 15093.758
AT ITER 6756 NEW BEST:: SOT 127459 SOS 68754 HAS SOPS 55316 HAS SOUS 17096 HAS SOUPS 15021 WITH SCORE 15089.754
AT ITER 6764 NEW BEST:: SOT 127447 SOS 68715 HAS SOPS 55277 HAS SOUS 17087 HAS SOUPS 15012 WITH SCORE 15080.715
AT ITER 6766 NEW BEST:: SOT 127410 SOS 68642 HAS SOPS 55203 HAS SOUS 17050 HAS SOUPS 14975 WITH SCORE 15043.642
AT ITER 6786 NEW BEST:: SOT 127429 SOS 67857 HAS SOPS 54451 HAS SOUS 17041 HAS SOUPS 14966 WITH SCORE 15033.857
AT ITER 6804 NEW BEST:: SOT 127429 SOS 67857 HAS SOPS 54451 HAS SOUS 17031 HAS SOUPS 14956 WITH SCORE 15023.857
AT ITER 6808 NEW BEST:: SOT 127410 SOS 67827 HAS SOPS 54424 HAS SOUS 17015 HAS SOUPS 14940 WITH SCORE 15007.827
AT ITER 6811 NEW BEST:: SOT 127392 SOS 67656 HAS SOPS 54286 HAS SOUS 17013 HAS SOUPS 14938 WITH SCORE 15005.656
AT ITER 6822 NEW BEST:: SOT 127370 SOS 67068 HAS SOPS 53698 HAS SOUS 16988 HAS SOUPS 14913 WITH SCORE 14980.068
AT ITER 6828 NEW BEST:: SOT 127359 SOS 65088 HAS SOPS 51752 HAS SOUS 16949 HAS SOUPS 14874 WITH SCORE 14939.088
AT ITER 6836 NEW BEST:: SOT 127355 SOS 65082 HAS SOPS 51746 HAS SOUS 16943 HAS SOUPS 14868 WITH SCORE 14933.082
AT ITER 6837 NEW BEST:: SOT 127365 SOS 65082 HAS SOPS 51756 HAS SOUS 16933 HAS SOUPS 14858 WITH SCORE 14923.082
AT ITER 6891 NEW BEST:: SOT 127269 SOS 64997 HAS SOPS 51637 HAS SOUS 16933 HAS SOUPS 14858 WITH SCORE 14922.997
AT ITER 6900 NEW BEST:: SOT 127264 SOS 64992 HAS SOPS 51631 HAS SOUS 16934 HAS SOUPS 14856 WITH SCORE 14920.992
AT ITER 6906 NEW BEST:: SOT 127236 SOS 64969 HAS SOPS 51615 HAS SOUS 16913 HAS SOUPS 14835 WITH SCORE 14899.969
AT ITER 6921 NEW BEST:: SOT 127468 SOS 65233 HAS SOPS 51879 HAS SOUS 16904 HAS SOUPS 14826 WITH SCORE 14891.233
AT ITER 6933 NEW BEST:: SOT 127468 SOS 65235 HAS SOPS 51879 HAS SOUS 16902 HAS SOUPS 14824 WITH SCORE 14889.235
AT ITER 6946 NEW BEST:: SOT 127426 SOS 65177 HAS SOPS 51827 HAS SOUS 16898 HAS SOUPS 14820 WITH SCORE 14885.177
AT ITER 6967 NEW BEST:: SOT 127441 SOS 65195 HAS SOPS 51834 HAS SOUS 16866 HAS SOUPS 14788 WITH SCORE 14853.195
AT ITER 6975 NEW BEST:: SOT 127439 SOS 65138 HAS SOPS 51777 HAS SOUS 16861 HAS SOUPS 14783 WITH SCORE 14848.138
AT ITER 6983 NEW BEST:: SOT 127453 SOS 65152 HAS SOPS 51795 HAS SOUS 16859 HAS SOUPS 14781 WITH SCORE 14846.152
AT ITER 6986 NEW BEST:: SOT 127461 SOS 63423 HAS SOPS 50066 HAS SOUS 16851 HAS SOUPS 14773 WITH SCORE 14836.423
AT ITER 7023 NEW BEST:: SOT 127452 SOS 64224 HAS SOPS 50867 HAS SOUS 16847 HAS SOUPS 14769 WITH SCORE 14833.224
AT ITER 7032 NEW BEST:: SOT 127440 SOS 64212 HAS SOPS 50843 HAS SOUS 16839 HAS SOUPS 14761 WITH SCORE 14825.212
AT ITER 7061 NEW BEST:: SOT 127430 SOS 64213 HAS SOPS 50844 HAS SOUS 16829 HAS SOUPS 14751 WITH SCORE 14815.213
AT ITER 7073 NEW BEST:: SOT 127426 SOS 64209 HAS SOPS 50836 HAS SOUS 16821 HAS SOUPS 14743 WITH SCORE 14807.209
AT ITER 7111 NEW BEST:: SOT 127416 SOS 64208 HAS SOPS 50816 HAS SOUS 16816 HAS SOUPS 14738 WITH SCORE 14802.208
AT ITER 7118 NEW BEST:: SOT 127406 SOS 64198 HAS SOPS 50796 HAS SOUS 16796 HAS SOUPS 14718 WITH SCORE 14782.198
AT ITER 7138 NEW BEST:: SOT 127406 SOS 64181 HAS SOPS 50796 HAS SOUS 16796 HAS SOUPS 14718 WITH SCORE 14782.181
AT ITER 7154 NEW BEST:: SOT 127406 SOS 64163 HAS SOPS 50787 HAS SOUS 16778 HAS SOUPS 14700 WITH SCORE 14764.163
AT ITER 7178 NEW BEST:: SOT 127402 SOS 64141 HAS SOPS 50765 HAS SOUS 16772 HAS SOUPS 14694 WITH SCORE 14758.141
AT ITER 7199 NEW BEST:: SOT 127386 SOS 64136 HAS SOPS 50760 HAS SOUS 16760 HAS SOUPS 14682 WITH SCORE 14746.136
AT ITER 7235 NEW BEST:: SOT 127485 SOS 64235 HAS SOPS 50884 HAS SOUS 16736 HAS SOUPS 14658 WITH SCORE 14722.235
AT ITER 7256 NEW BEST:: SOT 127485 SOS 64235 HAS SOPS 50884 HAS SOUS 16733 HAS SOUPS 14655 WITH SCORE 14719.235
AT ITER 7272 NEW BEST:: SOT 127424 SOS 64171 HAS SOPS 50843 HAS SOUS 16732 HAS SOUPS 14654 WITH SCORE 14718.171
AT ITER 7306 NEW BEST:: SOT 127421 SOS 64168 HAS SOPS 50837 HAS SOUS 16726 HAS SOUPS 14648 WITH SCORE 14712.168
AT ITER 7307 NEW BEST:: SOT 127421 SOS 64176 HAS SOPS 50845 HAS SOUS 16718 HAS SOUPS 14640 WITH SCORE 14704.176
AT ITER 7315 NEW BEST:: SOT 127422 SOS 64156 HAS SOPS 50823 HAS SOUS 16714 HAS SOUPS 14636 WITH SCORE 14700.156
AT ITER 7321 NEW BEST:: SOT 127404 SOS 64138 HAS SOPS 50829 HAS SOUS 16714 HAS SOUPS 14636 WITH SCORE 14700.138
AT ITER 7324 NEW BEST:: SOT 127404 SOS 64138 HAS SOPS 50829 HAS SOUS 16711 HAS SOUPS 14633 WITH SCORE 14697.138
AT ITER 7383 NEW BEST:: SOT 127332 SOS 64066 HAS SOPS 50719 HAS SOUS 16669 HAS SOUPS 14591 WITH SCORE 14655.066
AT ITER 7394 NEW BEST:: SOT 127326 SOS 64060 HAS SOPS 50710 HAS SOUS 16669 HAS SOUPS 14591 WITH SCORE 14655.06
AT ITER 7395 NEW BEST:: SOT 127308 SOS 64042 HAS SOPS 50683 HAS SOUS 16660 HAS SOUPS 14582 WITH SCORE 14646.042
AT ITER 7487 NEW BEST:: SOT 127312 SOS 64046 HAS SOPS 50687 HAS SOUS 16656 HAS SOUPS 14578 WITH SCORE 14642.046
AT ITER 7507 NEW BEST:: SOT 127312 SOS 63890 HAS SOPS 50697 HAS SOUS 16636 HAS SOUPS 14568 WITH SCORE 14631.89
AT ITER 7545 NEW BEST:: SOT 127334 SOS 63888 HAS SOPS 50715 HAS SOUS 16592 HAS SOUPS 14524 WITH SCORE 14587.888
AT ITER 7550 NEW BEST:: SOT 127328 SOS 63876 HAS SOPS 50703 HAS SOUS 16580 HAS SOUPS 14512 WITH SCORE 14575.876
AT ITER 7569 NEW BEST:: SOT 127288 SOS 63796 HAS SOPS 50623 HAS SOUS 16540 HAS SOUPS 14472 WITH SCORE 14535.796
AT ITER 7570 NEW BEST:: SOT 127276 SOS 63784 HAS SOPS 50599 HAS SOUS 16516 HAS SOUPS 14448 WITH SCORE 14511.784
AT ITER 7581 NEW BEST:: SOT 127248 SOS 63630 HAS SOPS 50445 HAS SOUS 16474 HAS SOUPS 14406 WITH SCORE 14469.63
AT ITER 7585 NEW BEST:: SOT 127197 SOS 63256 HAS SOPS 50109 HAS SOUS 16422 HAS SOUPS 14354 WITH SCORE 14417.256
AT ITER 7599 NEW BEST:: SOT 127252 SOS 63283 HAS SOPS 50117 HAS SOUS 16390 HAS SOUPS 14322 WITH SCORE 14385.283
AT ITER 7662 NEW BEST:: SOT 127251 SOS 63282 HAS SOPS 50115 HAS SOUS 16388 HAS SOUPS 14320 WITH SCORE 14383.282
AT ITER 7704 NEW BEST:: SOT 127242 SOS 63273 HAS SOPS 50097 HAS SOUS 16370 HAS SOUPS 14302 WITH SCORE 14365.273
AT ITER 7754 NEW BEST:: SOT 127262 SOS 63293 HAS SOPS 50110 HAS SOUS 16365 HAS SOUPS 14297 WITH SCORE 14360.293
AT ITER 7757 NEW BEST:: SOT 127261 SOS 63292 HAS SOPS 50107 HAS SOUS 16363 HAS SOUPS 14295 WITH SCORE 14358.292
AT ITER 7780 NEW BEST:: SOT 127237 SOS 63248 HAS SOPS 50083 HAS SOUS 16361 HAS SOUPS 14293 WITH SCORE 14356.248
AT ITER 7783 NEW BEST:: SOT 127217 SOS 63228 HAS SOPS 50053 HAS SOUS 16351 HAS SOUPS 14283 WITH SCORE 14346.228
AT ITER 7790 NEW BEST:: SOT 127182 SOS 63193 HAS SOPS 50019 HAS SOUS 16340 HAS SOUPS 14272 WITH SCORE 14335.193
AT ITER 7799 NEW BEST:: SOT 127135 SOS 63146 HAS SOPS 49950 HAS SOUS 16321 HAS SOUPS 14253 WITH SCORE 14316.146
AT ITER 7813 NEW BEST:: SOT 127102 SOS 63102 HAS SOPS 49906 HAS SOUS 16310 HAS SOUPS 14242 WITH SCORE 14305.102
AT ITER 7815 NEW BEST:: SOT 127104 SOS 63104 HAS SOPS 49907 HAS SOUS 16309 HAS SOUPS 14241 WITH SCORE 14304.104
AT ITER 7862 NEW BEST:: SOT 127101 SOS 63101 HAS SOPS 49901 HAS SOUS 16284 HAS SOUPS 14216 WITH SCORE 14279.101
AT ITER 7879 NEW BEST:: SOT 127102 SOS 63090 HAS SOPS 49903 HAS SOUS 16283 HAS SOUPS 14216 WITH SCORE 14279.09
AT ITER 7894 NEW BEST:: SOT 127086 SOS 63058 HAS SOPS 49871 HAS SOUS 16275 HAS SOUPS 14208 WITH SCORE 14271.058
AT ITER 8005 NEW BEST:: SOT 127073 SOS 63045 HAS SOPS 49858 HAS SOUS 16262 HAS SOUPS 14195 WITH SCORE 14258.045
AT ITER 8009 NEW BEST:: SOT 127058 SOS 63023 HAS SOPS 49843 HAS SOUS 16256 HAS SOUPS 14189 WITH SCORE 14252.023
AT ITER 8021 NEW BEST:: SOT 127055 SOS 63020 HAS SOPS 49837 HAS SOUS 16250 HAS SOUPS 14183 WITH SCORE 14246.02
AT ITER 8044 NEW BEST:: SOT 127045 SOS 63104 HAS SOPS 49817 HAS SOUS 16255 HAS SOUPS 14181 WITH SCORE 14244.104
AT ITER 8129 NEW BEST:: SOT 127013 SOS 63072 HAS SOPS 49785 HAS SOUS 16253 HAS SOUPS 14179 WITH SCORE 14242.072
AT ITER 8142 NEW BEST:: SOT 127004 SOS 63055 HAS SOPS 49768 HAS SOUS 16253 HAS SOUPS 14179 WITH SCORE 14242.055
AT ITER 8217 NEW BEST:: SOT 126998 SOS 63119 HAS SOPS 49826 HAS SOUS 16241 HAS SOUPS 14167 WITH SCORE 14230.119
AT ITER 8228 NEW BEST:: SOT 126999 SOS 63108 HAS SOPS 49828 HAS SOUS 16240 HAS SOUPS 14167 WITH SCORE 14230.108
AT ITER 8237 NEW BEST:: SOT 127026 SOS 63129 HAS SOPS 49846 HAS SOUS 16222 HAS SOUPS 14149 WITH SCORE 14212.129
AT ITER 8246 NEW BEST:: SOT 127014 SOS 63081 HAS SOPS 49806 HAS SOUS 16197 HAS SOUPS 14124 WITH SCORE 14187.081
AT ITER 8285 NEW BEST:: SOT 126996 SOS 62991 HAS SOPS 49725 HAS SOUS 16195 HAS SOUPS 14122 WITH SCORE 14184.991
AT ITER 8294 NEW BEST:: SOT 126996 SOS 62991 HAS SOPS 49725 HAS SOUS 16175 HAS SOUPS 14102 WITH SCORE 14164.991
AT ITER 8343 NEW BEST:: SOT 126996 SOS 62991 HAS SOPS 49725 HAS SOUS 16160 HAS SOUPS 14087 WITH SCORE 14149.991
AT ITER 8345 NEW BEST:: SOT 126999 SOS 63011 HAS SOPS 49710 HAS SOUS 16124 HAS SOUPS 14051 WITH SCORE 14114.011
AT ITER 8365 NEW BEST:: SOT 126984 SOS 62950 HAS SOPS 49649 HAS SOUS 16122 HAS SOUPS 14049 WITH SCORE 14111.95
AT ITER 8423 NEW BEST:: SOT 126970 SOS 62922 HAS SOPS 49621 HAS SOUS 16108 HAS SOUPS 14035 WITH SCORE 14097.922
AT ITER 8440 NEW BEST:: SOT 126946 SOS 62882 HAS SOPS 49581 HAS SOUS 16060 HAS SOUPS 13987 WITH SCORE 14049.882
AT ITER 8449 NEW BEST:: SOT 126940 SOS 63008 HAS SOPS 49701 HAS SOUS 16042 HAS SOUPS 13969 WITH SCORE 14032.008
AT ITER 8515 NEW BEST:: SOT 126926 SOS 62819 HAS SOPS 49519 HAS SOUS 16028 HAS SOUPS 13955 WITH SCORE 14017.819
AT ITER 8523 NEW BEST:: SOT 126923 SOS 62816 HAS SOPS 49513 HAS SOUS 16011 HAS SOUPS 13938 WITH SCORE 14000.816
AT ITER 8566 NEW BEST:: SOT 126881 SOS 62781 HAS SOPS 49481 HAS SOUS 15971 HAS SOUPS 13898 WITH SCORE 13960.781
AT ITER 8569 NEW BEST:: SOT 126835 SOS 62735 HAS SOPS 49419 HAS SOUS 15969 HAS SOUPS 13896 WITH SCORE 13958.735
AT ITER 8656 NEW BEST:: SOT 126851 SOS 62707 HAS SOPS 49374 HAS SOUS 15968 HAS SOUPS 13895 WITH SCORE 13957.707
AT ITER 8746 NEW BEST:: SOT 126847 SOS 62703 HAS SOPS 49368 HAS SOUS 15968 HAS SOUPS 13895 WITH SCORE 13957.703
AT ITER 8765 NEW BEST:: SOT 126849 SOS 62683 HAS SOPS 49346 HAS SOUS 15883 HAS SOUPS 13810 WITH SCORE 13872.683
AT ITER 8771 NEW BEST:: SOT 126801 SOS 62635 HAS SOPS 49298 HAS SOUS 15883 HAS SOUPS 13810 WITH SCORE 13872.635
AT ITER 8895 NEW BEST:: SOT 126787 SOS 62621 HAS SOPS 49277 HAS SOUS 15880 HAS SOUPS 13803 WITH SCORE 13865.621
AT ITER 8913 NEW BEST:: SOT 126788 SOS 62623 HAS SOPS 49270 HAS SOUS 15864 HAS SOUPS 13787 WITH SCORE 13849.623
AT ITER 8943 NEW BEST:: SOT 126789 SOS 62624 HAS SOPS 49271 HAS SOUS 15863 HAS SOUPS 13786 WITH SCORE 13848.624
AT ITER 8967 NEW BEST:: SOT 126865 SOS 62722 HAS SOPS 49341 HAS SOUS 15831 HAS SOUPS 13754 WITH SCORE 13816.722
AT ITER 8971 NEW BEST:: SOT 126872 SOS 62729 HAS SOPS 49341 HAS SOUS 15817 HAS SOUPS 13740 WITH SCORE 13802.729
AT ITER 8972 NEW BEST:: SOT 126905 SOS 62769 HAS SOPS 49367 HAS SOUS 15784 HAS SOUPS 13707 WITH SCORE 13769.769
AT ITER 8980 NEW BEST:: SOT 126899 SOS 62774 HAS SOPS 49372 HAS SOUS 15781 HAS SOUPS 13704 WITH SCORE 13766.774
AT ITER 8988 NEW BEST:: SOT 126903 SOS 62778 HAS SOPS 49376 HAS SOUS 15777 HAS SOUPS 13700 WITH SCORE 13762.778
AT ITER 8998 NEW BEST:: SOT 126902 SOS 62777 HAS SOPS 49374 HAS SOUS 15775 HAS SOUPS 13698 WITH SCORE 13760.777
AT ITER 9008 NEW BEST:: SOT 126902 SOS 62751 HAS SOPS 49376 HAS SOUS 15773 HAS SOUPS 13698 WITH SCORE 13760.751
AT ITER 9022 NEW BEST:: SOT 126911 SOS 62735 HAS SOPS 49355 HAS SOUS 15742 HAS SOUPS 13667 WITH SCORE 13729.735
AT ITER 9025 NEW BEST:: SOT 126910 SOS 62735 HAS SOPS 49353 HAS SOUS 15739 HAS SOUPS 13664 WITH SCORE 13726.735
AT ITER 9045 NEW BEST:: SOT 126915 SOS 62740 HAS SOPS 49349 HAS SOUS 15737 HAS SOUPS 13662 WITH SCORE 13724.74
AT ITER 9097 NEW BEST:: SOT 126898 SOS 62729 HAS SOPS 49328 HAS SOUS 15736 HAS SOUPS 13661 WITH SCORE 13723.729
AT ITER 9119 NEW BEST:: SOT 126896 SOS 62725 HAS SOPS 49324 HAS SOUS 15732 HAS SOUPS 13657 WITH SCORE 13719.725
AT ITER 9134 NEW BEST:: SOT 126882 SOS 62711 HAS SOPS 49303 HAS SOUS 15732 HAS SOUPS 13650 WITH SCORE 13712.711
AT ITER 9136 NEW BEST:: SOT 127077 SOS 62917 HAS SOPS 49509 HAS SOUS 15665 HAS SOUPS 13583 WITH SCORE 13645.917
AT ITER 9152 NEW BEST:: SOT 127067 SOS 62787 HAS SOPS 49499 HAS SOUS 15645 HAS SOUPS 13573 WITH SCORE 13635.787
AT ITER 9164 NEW BEST:: SOT 127059 SOS 62771 HAS SOPS 49483 HAS SOUS 15638 HAS SOUPS 13566 WITH SCORE 13628.771
AT ITER 9225 NEW BEST:: SOT 127057 SOS 62768 HAS SOPS 49479 HAS SOUS 15635 HAS SOUPS 13563 WITH SCORE 13625.768
AT ITER 9242 NEW BEST:: SOT 127041 SOS 62731 HAS SOPS 49442 HAS SOUS 15619 HAS SOUPS 13547 WITH SCORE 13609.731
AT ITER 9281 NEW BEST:: SOT 127056 SOS 62745 HAS SOPS 49440 HAS SOUS 15618 HAS SOUPS 13546 WITH SCORE 13608.745
AT ITER 9292 NEW BEST:: SOT 127056 SOS 62419 HAS SOPS 49114 HAS SOUS 15618 HAS SOUPS 13546 WITH SCORE 13608.419
AT ITER 9311 NEW BEST:: SOT 127052 SOS 62366 HAS SOPS 49114 HAS SOUS 15613 HAS SOUPS 13545 WITH SCORE 13607.366
AT ITER 9342 NEW BEST:: SOT 127045 SOS 62359 HAS SOPS 49107 HAS SOUS 15613 HAS SOUPS 13545 WITH SCORE 13607.359
AT ITER 9344 NEW BEST:: SOT 127047 SOS 63176 HAS SOPS 49924 HAS SOUS 15608 HAS SOUPS 13540 WITH SCORE 13603.176
AT ITER 9348 NEW BEST:: SOT 127047 SOS 63176 HAS SOPS 49924 HAS SOUS 15602 HAS SOUPS 13534 WITH SCORE 13597.176
AT ITER 9387 NEW BEST:: SOT 127039 SOS 63168 HAS SOPS 49912 HAS SOUS 15598 HAS SOUPS 13530 WITH SCORE 13593.168
AT ITER 9394 NEW BEST:: SOT 126842 SOS 60585 HAS SOPS 47368 HAS SOUS 15570 HAS SOUPS 13502 WITH SCORE 13562.585
AT ITER 9425 NEW BEST:: SOT 126842 SOS 60810 HAS SOPS 47593 HAS SOUS 15561 HAS SOUPS 13493 WITH SCORE 13553.81
AT ITER 9430 NEW BEST:: SOT 126815 SOS 60730 HAS SOPS 47513 HAS SOUS 15535 HAS SOUPS 13467 WITH SCORE 13527.73
AT ITER 9434 NEW BEST:: SOT 126807 SOS 60714 HAS SOPS 47497 HAS SOUS 15527 HAS SOUPS 13459 WITH SCORE 13519.714
AT ITER 9435 NEW BEST:: SOT 126783 SOS 60678 HAS SOPS 47449 HAS SOUS 15495 HAS SOUPS 13427 WITH SCORE 13487.678
AT ITER 9481 NEW BEST:: SOT 126743 SOS 60638 HAS SOPS 47390 HAS SOUS 15478 HAS SOUPS 13410 WITH SCORE 13470.638
AT ITER 9495 NEW BEST:: SOT 126742 SOS 60637 HAS SOPS 47388 HAS SOUS 15476 HAS SOUPS 13408 WITH SCORE 13468.637
AT ITER 9548 NEW BEST:: SOT 126740 SOS 60646 HAS SOPS 47397 HAS SOUS 15472 HAS SOUPS 13404 WITH SCORE 13464.646
AT ITER 9554 NEW BEST:: SOT 126711 SOS 60617 HAS SOPS 47349 HAS SOUS 15454 HAS SOUPS 13386 WITH SCORE 13446.617
AT ITER 9587 NEW BEST:: SOT 126647 SOS 60549 HAS SOPS 47281 HAS SOUS 15426 HAS SOUPS 13358 WITH SCORE 13418.549
AT ITER 9616 NEW BEST:: SOT 126655 SOS 60555 HAS SOPS 47289 HAS SOUS 15424 HAS SOUPS 13356 WITH SCORE 13416.555
AT ITER 9617 NEW BEST:: SOT 126680 SOS 60840 HAS SOPS 47574 HAS SOUS 15420 HAS SOUPS 13352 WITH SCORE 13412.84
AT ITER 9650 NEW BEST:: SOT 126697 SOS 60846 HAS SOPS 47598 HAS SOUS 15402 HAS SOUPS 13334 WITH SCORE 13394.846
AT ITER 9655 NEW BEST:: SOT 126679 SOS 60826 HAS SOPS 47586 HAS SOUS 15402 HAS SOUPS 13334 WITH SCORE 13394.826
AT ITER 9767 NEW BEST:: SOT 126576 SOS 60723 HAS SOPS 47446 HAS SOUS 15394 HAS SOUPS 13326 WITH SCORE 13386.723
AT ITER 9783 NEW BEST:: SOT 126600 SOS 60771 HAS SOPS 47470 HAS SOUS 15390 HAS SOUPS 13322 WITH SCORE 13382.771
AT ITER 9823 NEW BEST:: SOT 126602 SOS 60836 HAS SOPS 47467 HAS SOUS 15394 HAS SOUPS 13321 WITH SCORE 13381.836
AT ITER 9840 NEW BEST:: SOT 126596 SOS 60830 HAS SOPS 47455 HAS SOUS 15382 HAS SOUPS 13309 WITH SCORE 13369.83
AT ITER 9900 NEW BEST:: SOT 126638 SOS 60872 HAS SOPS 47504 HAS SOUS 15361 HAS SOUPS 13288 WITH SCORE 13348.872
AT ITER 9904 NEW BEST:: SOT 126617 SOS 60844 HAS SOPS 47476 HAS SOUS 15340 HAS SOUPS 13267 WITH SCORE 13327.844
AT ITER 9923 NEW BEST:: SOT 126617 SOS 60844 HAS SOPS 47476 HAS SOUS 15339 HAS SOUPS 13266 WITH SCORE 13326.844
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 787044 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16154184 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="CANInsertWithFailure-PT-010"
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 CANInsertWithFailure-PT-010, 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 r035-tajo-167813688600712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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