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.r235-tall-167856422200720.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 smartxred
Input is Medical-PT-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422200720
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 6.9K Feb 25 14:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 14:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 25 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 197K Feb 25 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 14:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 14:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678685529886

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 05:32:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 05:32:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 05:32:11] [INFO ] Load time of PNML (sax parser for PT used): 233 ms
[2023-03-13 05:32:11] [INFO ] Transformed 312 places.
[2023-03-13 05:32:11] [INFO ] Transformed 5431 transitions.
[2023-03-13 05:32:11] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 330 ms.
[2023-03-13 05:32:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 60 ms.
Total runtime 418 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 18
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 5 NEW BEST:: SOT 1168734 SOS 639898 HAS SOPS 636802 HAS SOUS 251824 HAS SOUPS 249007 WITH SCORE 249646.898
AT ITER 7 NEW BEST:: SOT 1168734 SOS 641650 HAS SOPS 638554 HAS SOUS 251609 HAS SOUPS 248792 WITH SCORE 249433.65
AT ITER 10 NEW BEST:: SOT 1168734 SOS 641624 HAS SOPS 638554 HAS SOUS 251436 HAS SOUPS 248632 WITH SCORE 249273.624
AT ITER 18 NEW BEST:: SOT 1168734 SOS 642206 HAS SOPS 638026 HAS SOUS 251470 HAS SOUPS 247556 WITH SCORE 248198.206
AT ITER 26 NEW BEST:: SOT 1168734 SOS 643896 HAS SOPS 639778 HAS SOUS 251311 HAS SOUPS 247459 WITH SCORE 248102.896
AT ITER 28 NEW BEST:: SOT 1168734 SOS 645505 HAS SOPS 641434 HAS SOUS 250974 HAS SOUPS 247169 WITH SCORE 247814.505
AT ITER 31 NEW BEST:: SOT 1168737 SOS 645508 HAS SOPS 641454 HAS SOUS 250878 HAS SOUPS 247090 WITH SCORE 247735.508
AT ITER 32 NEW BEST:: SOT 1151525 SOS 628524 HAS SOPS 624914 HAS SOUS 233315 HAS SOUPS 229971 WITH SCORE 230599.524
AT ITER 40 NEW BEST:: SOT 1151524 SOS 628523 HAS SOPS 624913 HAS SOUS 233113 HAS SOUPS 229769 WITH SCORE 230397.523
AT ITER 52 NEW BEST:: SOT 1151446 SOS 628445 HAS SOPS 624757 HAS SOUS 233024 HAS SOUPS 229602 WITH SCORE 230230.445
AT ITER 55 NEW BEST:: SOT 1151446 SOS 628733 HAS SOPS 625033 HAS SOUS 233024 HAS SOUPS 229590 WITH SCORE 230218.733
AT ITER 61 NEW BEST:: SOT 1151446 SOS 628733 HAS SOPS 625033 HAS SOUS 232880 HAS SOUPS 229446 WITH SCORE 230074.733
AT ITER 63 NEW BEST:: SOT 1150558 SOS 627787 HAS SOPS 624145 HAS SOUS 231033 HAS SOUPS 227636 WITH SCORE 228263.787
AT ITER 71 NEW BEST:: SOT 1150638 SOS 627867 HAS SOPS 624225 HAS SOUS 230729 HAS SOUPS 227332 WITH SCORE 227959.867
AT ITER 75 NEW BEST:: SOT 1150349 SOS 627578 HAS SOPS 623936 HAS SOUS 230307 HAS SOUPS 226910 WITH SCORE 227537.578
AT ITER 77 NEW BEST:: SOT 1149854 SOS 627427 HAS SOPS 623785 HAS SOUS 229843 HAS SOUPS 226446 WITH SCORE 227073.427
AT ITER 79 NEW BEST:: SOT 1149854 SOS 627427 HAS SOPS 623785 HAS SOUS 229671 HAS SOUPS 226274 WITH SCORE 226901.427
AT ITER 81 NEW BEST:: SOT 1149854 SOS 627551 HAS SOPS 623861 HAS SOUS 229209 HAS SOUPS 225812 WITH SCORE 226439.551
AT ITER 82 NEW BEST:: SOT 1149930 SOS 627542 HAS SOPS 623937 HAS SOUS 227120 HAS SOUPS 223786 WITH SCORE 224413.542
AT ITER 83 NEW BEST:: SOT 1149658 SOS 627270 HAS SOPS 623665 HAS SOUS 226464 HAS SOUPS 223130 WITH SCORE 223757.27
AT ITER 98 NEW BEST:: SOT 1149779 SOS 631951 HAS SOPS 628346 HAS SOUS 224779 HAS SOUPS 221445 WITH SCORE 222076.951
AT ITER 99 NEW BEST:: SOT 1149274 SOS 636342 HAS SOPS 632737 HAS SOUS 224656 HAS SOUPS 221322 WITH SCORE 221958.342
AT ITER 100 NEW BEST:: SOT 1149274 SOS 636342 HAS SOPS 632737 HAS SOUS 224632 HAS SOUPS 221298 WITH SCORE 221934.342
AT ITER 106 NEW BEST:: SOT 1149274 SOS 636376 HAS SOPS 632737 HAS SOUS 224637 HAS SOUPS 221269 WITH SCORE 221905.376
AT ITER 112 NEW BEST:: SOT 1149278 SOS 636380 HAS SOPS 632741 HAS SOUS 223410 HAS SOUPS 220042 WITH SCORE 220678.38
AT ITER 114 NEW BEST:: SOT 1149278 SOS 637417 HAS SOPS 633821 HAS SOUS 223140 HAS SOUPS 219815 WITH SCORE 220452.417
AT ITER 115 NEW BEST:: SOT 1149278 SOS 637081 HAS SOPS 633485 HAS SOUS 223140 HAS SOUPS 219815 WITH SCORE 220452.081
AT ITER 118 NEW BEST:: SOT 1148814 SOS 636617 HAS SOPS 633021 HAS SOUS 223084 HAS SOUPS 219759 WITH SCORE 220395.617
AT ITER 119 NEW BEST:: SOT 1148814 SOS 636588 HAS SOPS 633021 HAS SOUS 223042 HAS SOUPS 219746 WITH SCORE 220382.588
AT ITER 139 NEW BEST:: SOT 1148737 SOS 636783 HAS SOPS 633205 HAS SOUS 223003 HAS SOUPS 219696 WITH SCORE 220332.783
AT ITER 140 NEW BEST:: SOT 1148805 SOS 639683 HAS SOPS 636105 HAS SOUS 221262 HAS SOUPS 217955 WITH SCORE 218594.683
AT ITER 146 NEW BEST:: SOT 1147893 SOS 638718 HAS SOPS 635193 HAS SOUS 219026 HAS SOUPS 215757 WITH SCORE 216395.718
AT ITER 148 NEW BEST:: SOT 1148157 SOS 641912 HAS SOPS 638449 HAS SOUS 216782 HAS SOUPS 213513 WITH SCORE 214154.912
AT ITER 149 NEW BEST:: SOT 1142852 SOS 663053 HAS SOPS 660438 HAS SOUS 211584 HAS SOUPS 209017 WITH SCORE 209680.053
AT ITER 154 NEW BEST:: SOT 1142852 SOS 663060 HAS SOPS 660438 HAS SOUS 211572 HAS SOUPS 208998 WITH SCORE 209661.06
AT ITER 157 NEW BEST:: SOT 1143639 SOS 663847 HAS SOPS 661225 HAS SOUS 210184 HAS SOUPS 207610 WITH SCORE 208273.847
AT ITER 158 NEW BEST:: SOT 1142785 SOS 663005 HAS SOPS 660383 HAS SOUS 209030 HAS SOUPS 206456 WITH SCORE 207119.005
AT ITER 159 NEW BEST:: SOT 1142785 SOS 662971 HAS SOPS 660383 HAS SOUS 208674 HAS SOUPS 206134 WITH SCORE 206796.971
AT ITER 162 NEW BEST:: SOT 1142364 SOS 662450 HAS SOPS 659818 HAS SOUS 208441 HAS SOUPS 205901 WITH SCORE 206563.45
AT ITER 168 NEW BEST:: SOT 1141634 SOS 663520 HAS SOPS 660888 HAS SOUS 207935 HAS SOUPS 205395 WITH SCORE 206058.52
AT ITER 171 NEW BEST:: SOT 1142368 SOS 664494 HAS SOPS 661862 HAS SOUS 207351 HAS SOUPS 204811 WITH SCORE 205475.494
AT ITER 180 NEW BEST:: SOT 1127580 SOS 715012 HAS SOPS 712380 HAS SOUS 192662 HAS SOUPS 190122 WITH SCORE 190837.012
AT ITER 193 NEW BEST:: SOT 1127580 SOS 715956 HAS SOPS 713340 HAS SOUS 192436 HAS SOUPS 189912 WITH SCORE 190627.956
AT ITER 195 NEW BEST:: SOT 1127580 SOS 715959 HAS SOPS 713372 HAS SOUS 192292 HAS SOUPS 189797 WITH SCORE 190512.959
AT ITER 197 NEW BEST:: SOT 1127580 SOS 717241 HAS SOPS 714692 HAS SOUS 191966 HAS SOUPS 189509 WITH SCORE 190226.241
AT ITER 199 NEW BEST:: SOT 1127666 SOS 702242 HAS SOPS 698514 HAS SOUS 191875 HAS SOUPS 189051 WITH SCORE 189753.242
AT ITER 207 NEW BEST:: SOT 1127666 SOS 703497 HAS SOPS 699810 HAS SOUS 191558 HAS SOUPS 188775 WITH SCORE 189478.497
AT ITER 208 NEW BEST:: SOT 1127666 SOS 703653 HAS SOPS 699966 HAS SOUS 191540 HAS SOUPS 188757 WITH SCORE 189460.653
AT ITER 209 NEW BEST:: SOT 1127156 SOS 708617 HAS SOPS 704976 HAS SOUS 191358 HAS SOUPS 188621 WITH SCORE 189329.617
AT ITER 214 NEW BEST:: SOT 1126203 SOS 707671 HAS SOPS 704063 HAS SOUS 188884 HAS SOUPS 186180 WITH SCORE 186887.671
AT ITER 216 NEW BEST:: SOT 1125672 SOS 709492 HAS SOPS 705884 HAS SOUS 188440 HAS SOUPS 185736 WITH SCORE 186445.492
AT ITER 219 NEW BEST:: SOT 1125672 SOS 709888 HAS SOPS 706280 HAS SOUS 188422 HAS SOUPS 185718 WITH SCORE 186427.888
AT ITER 223 NEW BEST:: SOT 1125672 SOS 707872 HAS SOPS 704264 HAS SOUS 188422 HAS SOUPS 185718 WITH SCORE 186425.872
AT ITER 228 NEW BEST:: SOT 1125672 SOS 709416 HAS SOPS 705748 HAS SOUS 188361 HAS SOUPS 185657 WITH SCORE 186366.416
AT ITER 235 NEW BEST:: SOT 1127029 SOS 711109 HAS SOPS 707441 HAS SOUS 187717 HAS SOUPS 185013 WITH SCORE 185724.109
AT ITER 236 NEW BEST:: SOT 1124849 SOS 708929 HAS SOPS 705261 HAS SOUS 186721 HAS SOUPS 184017 WITH SCORE 184725.929
AT ITER 237 NEW BEST:: SOT 1124158 SOS 713700 HAS SOPS 710038 HAS SOUS 183808 HAS SOUPS 181110 WITH SCORE 181823.7
AT ITER 247 NEW BEST:: SOT 1124306 SOS 717256 HAS SOPS 713594 HAS SOUS 182217 HAS SOUPS 179519 WITH SCORE 180236.256
AT ITER 257 NEW BEST:: SOT 1124366 SOS 717348 HAS SOPS 713686 HAS SOUS 182105 HAS SOUPS 179407 WITH SCORE 180124.348
AT ITER 275 NEW BEST:: SOT 1124366 SOS 717788 HAS SOPS 714134 HAS SOUS 181965 HAS SOUPS 179275 WITH SCORE 179992.788
AT ITER 277 NEW BEST:: SOT 1125241 SOS 720735 HAS SOPS 717117 HAS SOUS 179628 HAS SOUPS 176974 WITH SCORE 177694.735
AT ITER 288 NEW BEST:: SOT 1124352 SOS 722116 HAS SOPS 718542 HAS SOUS 178710 HAS SOUPS 176056 WITH SCORE 176778.116
AT ITER 292 NEW BEST:: SOT 1124352 SOS 722073 HAS SOPS 718590 HAS SOUS 178127 HAS SOUPS 175524 WITH SCORE 176246.073
AT ITER 293 NEW BEST:: SOT 1124344 SOS 722149 HAS SOPS 718666 HAS SOUS 178119 HAS SOUPS 175516 WITH SCORE 176238.149
AT ITER 294 NEW BEST:: SOT 1124725 SOS 724428 HAS SOPS 720945 HAS SOUS 177399 HAS SOUPS 174796 WITH SCORE 175520.428
AT ITER 297 NEW BEST:: SOT 1124928 SOS 724613 HAS SOPS 721148 HAS SOUS 176541 HAS SOUPS 173947 WITH SCORE 174671.613
AT ITER 299 NEW BEST:: SOT 1126286 SOS 725971 HAS SOPS 722506 HAS SOUS 176079 HAS SOUPS 173485 WITH SCORE 174210.971
AT ITER 303 NEW BEST:: SOT 1128136 SOS 730656 HAS SOPS 727476 HAS SOUS 175290 HAS SOUPS 172981 WITH SCORE 173711.656
AT ITER 310 NEW BEST:: SOT 1128780 SOS 731294 HAS SOPS 728120 HAS SOUS 174111 HAS SOUPS 171808 WITH SCORE 172539.294
AT ITER 314 NEW BEST:: SOT 1129609 SOS 732579 HAS SOPS 729405 HAS SOUS 173871 HAS SOUPS 171568 WITH SCORE 172300.579
AT ITER 318 NEW BEST:: SOT 1129609 SOS 732771 HAS SOPS 729597 HAS SOUS 173867 HAS SOUPS 171564 WITH SCORE 172296.771
AT ITER 322 NEW BEST:: SOT 1129609 SOS 756604 HAS SOPS 754157 HAS SOUS 173550 HAS SOUPS 171404 WITH SCORE 172160.604
AT ITER 324 NEW BEST:: SOT 1131369 SOS 762570 HAS SOPS 759837 HAS SOUS 173550 HAS SOUPS 171258 WITH SCORE 172020.57
AT ITER 335 NEW BEST:: SOT 1131369 SOS 751643 HAS SOPS 748347 HAS SOUS 173552 HAS SOUPS 171211 WITH SCORE 171962.643
AT ITER 340 NEW BEST:: SOT 1131369 SOS 751191 HAS SOPS 747951 HAS SOUS 173093 HAS SOUPS 170808 WITH SCORE 171559.191
AT ITER 353 NEW BEST:: SOT 1131369 SOS 751907 HAS SOPS 748645 HAS SOUS 173087 HAS SOUPS 170782 WITH SCORE 171533.907
AT ITER 355 NEW BEST:: SOT 1132029 SOS 752705 HAS SOPS 749481 HAS SOUS 172848 HAS SOUPS 170581 WITH SCORE 171333.705
AT ITER 357 NEW BEST:: SOT 1132029 SOS 751361 HAS SOPS 748137 HAS SOUS 172848 HAS SOUPS 170581 WITH SCORE 171332.361
AT ITER 363 NEW BEST:: SOT 1133511 SOS 753109 HAS SOPS 749907 HAS SOUS 171800 HAS SOUPS 169555 WITH SCORE 170308.109
AT ITER 375 NEW BEST:: SOT 1134669 SOS 754241 HAS SOPS 751065 HAS SOUS 170866 HAS SOUPS 168634 WITH SCORE 169388.241
AT ITER 378 NEW BEST:: SOT 1134669 SOS 754169 HAS SOPS 750993 HAS SOUS 170866 HAS SOUPS 168634 WITH SCORE 169388.169
AT ITER 379 NEW BEST:: SOT 1134669 SOS 752589 HAS SOPS 749493 HAS SOUS 170292 HAS SOUPS 168060 WITH SCORE 168812.589
AT ITER 384 NEW BEST:: SOT 1137176 SOS 757856 HAS SOPS 754760 HAS SOUS 169823 HAS SOUPS 167591 WITH SCORE 168348.856
AT ITER 395 NEW BEST:: SOT 1139663 SOS 760343 HAS SOPS 757247 HAS SOUS 168541 HAS SOUPS 166309 WITH SCORE 167069.343
AT ITER 408 NEW BEST:: SOT 1140081 SOS 760761 HAS SOPS 757665 HAS SOUS 168407 HAS SOUPS 166175 WITH SCORE 166935.761
AT ITER 411 NEW BEST:: SOT 1137495 SOS 758175 HAS SOPS 755079 HAS SOUS 167886 HAS SOUPS 165654 WITH SCORE 166412.175
AT ITER 415 NEW BEST:: SOT 1137495 SOS 759173 HAS SOPS 756087 HAS SOUS 167802 HAS SOUPS 165580 WITH SCORE 166339.173
AT ITER 420 NEW BEST:: SOT 1137495 SOS 793965 HAS SOPS 791071 HAS SOUS 167548 HAS SOUPS 165378 WITH SCORE 166171.965
AT ITER 421 NEW BEST:: SOT 1137390 SOS 793860 HAS SOPS 790966 HAS SOUS 167436 HAS SOUPS 165266 WITH SCORE 166059.86
AT ITER 425 NEW BEST:: SOT 1137390 SOS 793860 HAS SOPS 790966 HAS SOUS 167417 HAS SOUPS 165247 WITH SCORE 166040.86
AT ITER 427 NEW BEST:: SOT 1138073 SOS 794543 HAS SOPS 791649 HAS SOUS 166375 HAS SOUPS 164205 WITH SCORE 164999.543
AT ITER 436 NEW BEST:: SOT 1139555 SOS 796025 HAS SOPS 793131 HAS SOUS 166105 HAS SOUPS 163935 WITH SCORE 164731.025
AT ITER 437 NEW BEST:: SOT 1138495 SOS 794965 HAS SOPS 792071 HAS SOUS 165504 HAS SOUPS 163334 WITH SCORE 164128.965
AT ITER 442 NEW BEST:: SOT 1139070 SOS 795540 HAS SOPS 792649 HAS SOUS 165091 HAS SOUPS 162924 WITH SCORE 163719.54
AT ITER 444 NEW BEST:: SOT 1138485 SOS 794955 HAS SOPS 792064 HAS SOUS 164200 HAS SOUPS 162033 WITH SCORE 162827.955
AT ITER 448 NEW BEST:: SOT 1136915 SOS 794945 HAS SOPS 792054 HAS SOUS 162740 HAS SOUPS 160573 WITH SCORE 161367.945
AT ITER 449 NEW BEST:: SOT 1137106 SOS 795125 HAS SOPS 792245 HAS SOUS 162187 HAS SOUPS 160031 WITH SCORE 160826.125
AT ITER 450 NEW BEST:: SOT 1137106 SOS 794549 HAS SOPS 791669 HAS SOUS 162187 HAS SOUPS 160031 WITH SCORE 160825.549
AT ITER 454 NEW BEST:: SOT 1137106 SOS 792869 HAS SOPS 789989 HAS SOUS 162187 HAS SOUPS 160031 WITH SCORE 160823.869
AT ITER 458 NEW BEST:: SOT 1137106 SOS 792457 HAS SOPS 789620 HAS SOUS 162074 HAS SOUPS 159961 WITH SCORE 160753.457
AT ITER 464 NEW BEST:: SOT 1135800 SOS 791657 HAS SOPS 788846 HAS SOUS 160322 HAS SOUPS 158209 WITH SCORE 159000.657
AT ITER 465 NEW BEST:: SOT 1135800 SOS 791818 HAS SOPS 789007 HAS SOUS 160315 HAS SOUPS 158202 WITH SCORE 158993.818
AT ITER 474 NEW BEST:: SOT 1135493 SOS 791497 HAS SOPS 788700 HAS SOUS 159483 HAS SOUPS 157384 WITH SCORE 158175.497
AT ITER 475 NEW BEST:: SOT 1135493 SOS 792054 HAS SOPS 789257 HAS SOUS 159430 HAS SOUPS 157331 WITH SCORE 158123.054
AT ITER 478 NEW BEST:: SOT 1135423 SOS 792344 HAS SOPS 789547 HAS SOUS 159391 HAS SOUPS 157292 WITH SCORE 158084.344
AT ITER 490 NEW BEST:: SOT 1135423 SOS 792331 HAS SOPS 789547 HAS SOUS 159291 HAS SOUPS 157205 WITH SCORE 157997.331
AT ITER 496 NEW BEST:: SOT 1135231 SOS 792139 HAS SOPS 789355 HAS SOUS 159099 HAS SOUPS 157013 WITH SCORE 157805.139
AT ITER 501 NEW BEST:: SOT 1135166 SOS 792074 HAS SOPS 789290 HAS SOUS 159043 HAS SOUPS 156957 WITH SCORE 157749.074
AT ITER 503 NEW BEST:: SOT 1134355 SOS 791507 HAS SOPS 788733 HAS SOUS 158315 HAS SOUPS 156239 WITH SCORE 157030.507
AT ITER 504 NEW BEST:: SOT 1134089 SOS 791241 HAS SOPS 788467 HAS SOUS 157323 HAS SOUPS 155247 WITH SCORE 156038.241
AT ITER 513 NEW BEST:: SOT 1134585 SOS 791737 HAS SOPS 788963 HAS SOUS 157313 HAS SOUPS 155237 WITH SCORE 156028.737
AT ITER 518 NEW BEST:: SOT 1134588 SOS 791740 HAS SOPS 788966 HAS SOUS 157036 HAS SOUPS 154960 WITH SCORE 155751.74
AT ITER 528 NEW BEST:: SOT 1134261 SOS 792605 HAS SOPS 789831 HAS SOUS 156850 HAS SOUPS 154774 WITH SCORE 155566.605
AT ITER 530 NEW BEST:: SOT 1137420 SOS 799062 HAS SOPS 796338 HAS SOUS 156146 HAS SOUPS 154120 WITH SCORE 154919.062
AT ITER 531 NEW BEST:: SOT 1137433 SOS 799075 HAS SOPS 796351 HAS SOUS 156109 HAS SOUPS 154083 WITH SCORE 154882.075
AT ITER 533 NEW BEST:: SOT 1141001 SOS 804227 HAS SOPS 801503 HAS SOUS 155860 HAS SOUPS 153834 WITH SCORE 154638.227
AT ITER 540 NEW BEST:: SOT 1141001 SOS 806467 HAS SOPS 803759 HAS SOUS 155662 HAS SOUPS 153652 WITH SCORE 154458.467
AT ITER 541 NEW BEST:: SOT 1140961 SOS 806715 HAS SOPS 804007 HAS SOUS 155404 HAS SOUPS 153394 WITH SCORE 154200.715
AT ITER 542 NEW BEST:: SOT 1141053 SOS 807071 HAS SOPS 804380 HAS SOUS 155078 HAS SOUPS 153085 WITH SCORE 153892.071
AT ITER 553 NEW BEST:: SOT 1139618 SOS 805636 HAS SOPS 802945 HAS SOUS 155010 HAS SOUPS 153017 WITH SCORE 153822.636
AT ITER 556 NEW BEST:: SOT 1140324 SOS 806354 HAS SOPS 803675 HAS SOUS 153628 HAS SOUPS 151647 WITH SCORE 152453.354
AT ITER 563 NEW BEST:: SOT 1140244 SOS 806274 HAS SOPS 803595 HAS SOUS 153540 HAS SOUPS 151559 WITH SCORE 152365.274
AT ITER 564 NEW BEST:: SOT 1140244 SOS 805554 HAS SOPS 802875 HAS SOUS 153540 HAS SOUPS 151559 WITH SCORE 152364.554
AT ITER 575 NEW BEST:: SOT 1140244 SOS 805422 HAS SOPS 802743 HAS SOUS 153540 HAS SOUPS 151559 WITH SCORE 152364.422
AT ITER 577 NEW BEST:: SOT 1140254 SOS 805432 HAS SOPS 802753 HAS SOUS 153482 HAS SOUPS 151501 WITH SCORE 152306.432
AT ITER 578 NEW BEST:: SOT 1137107 SOS 800533 HAS SOPS 797854 HAS SOUS 152912 HAS SOUPS 150931 WITH SCORE 151731.533
AT ITER 579 NEW BEST:: SOT 1136666 SOS 802213 HAS SOPS 799534 HAS SOUS 150490 HAS SOUPS 148509 WITH SCORE 149311.213
AT ITER 589 NEW BEST:: SOT 1136666 SOS 805734 HAS SOPS 803106 HAS SOUS 150052 HAS SOUPS 148122 WITH SCORE 148927.734
AT ITER 591 NEW BEST:: SOT 1137131 SOS 806199 HAS SOPS 803571 HAS SOUS 148742 HAS SOUPS 146812 WITH SCORE 147618.199
AT ITER 597 NEW BEST:: SOT 1137702 SOS 806770 HAS SOPS 804142 HAS SOUS 147726 HAS SOUPS 145796 WITH SCORE 146602.77
AT ITER 604 NEW BEST:: SOT 1137299 SOS 806219 HAS SOPS 803581 HAS SOUS 147454 HAS SOUPS 145514 WITH SCORE 146320.219
AT ITER 613 NEW BEST:: SOT 1137299 SOS 806219 HAS SOPS 803581 HAS SOUS 147340 HAS SOUPS 145400 WITH SCORE 146206.219
AT ITER 615 NEW BEST:: SOT 1137245 SOS 808428 HAS SOPS 805790 HAS SOUS 147250 HAS SOUPS 145310 WITH SCORE 146118.428
AT ITER 620 NEW BEST:: SOT 1134834 SOS 805041 HAS SOPS 802403 HAS SOUS 144805 HAS SOUPS 142865 WITH SCORE 143670.041
AT ITER 622 NEW BEST:: SOT 1136195 SOS 807082 HAS SOPS 804444 HAS SOUS 144267 HAS SOUPS 142327 WITH SCORE 143134.082
AT ITER 626 NEW BEST:: SOT 1135659 SOS 806627 HAS SOPS 803972 HAS SOUS 144238 HAS SOUPS 142281 WITH SCORE 143087.627
AT ITER 627 NEW BEST:: SOT 1135659 SOS 789148 HAS SOPS 786493 HAS SOUS 144207 HAS SOUPS 142250 WITH SCORE 143039.148
AT ITER 632 NEW BEST:: SOT 1135083 SOS 788649 HAS SOPS 785977 HAS SOUS 144160 HAS SOUPS 142186 WITH SCORE 142974.649
AT ITER 636 NEW BEST:: SOT 1134957 SOS 788530 HAS SOPS 785851 HAS SOUS 143956 HAS SOUPS 141975 WITH SCORE 142763.53
AT ITER 648 NEW BEST:: SOT 1136828 SOS 790401 HAS SOPS 787722 HAS SOUS 143951 HAS SOUPS 141970 WITH SCORE 142760.401
AT ITER 650 NEW BEST:: SOT 1135424 SOS 788997 HAS SOPS 786318 HAS SOUS 143394 HAS SOUPS 141413 WITH SCORE 142201.997
AT ITER 653 NEW BEST:: SOT 1134920 SOS 788493 HAS SOPS 785814 HAS SOUS 142301 HAS SOUPS 140320 WITH SCORE 141108.493
AT ITER 667 NEW BEST:: SOT 1134716 SOS 788289 HAS SOPS 785610 HAS SOUS 142259 HAS SOUPS 140278 WITH SCORE 141066.289
AT ITER 668 NEW BEST:: SOT 1134716 SOS 761350 HAS SOPS 758671 HAS SOUS 142259 HAS SOUPS 140278 WITH SCORE 141039.35
AT ITER 684 NEW BEST:: SOT 1134624 SOS 763082 HAS SOPS 760403 HAS SOUS 142122 HAS SOUPS 140141 WITH SCORE 140904.082
AT ITER 685 NEW BEST:: SOT 1134624 SOS 763129 HAS SOPS 760451 HAS SOUS 142114 HAS SOUPS 140134 WITH SCORE 140897.129
AT ITER 706 NEW BEST:: SOT 1134620 SOS 763125 HAS SOPS 760447 HAS SOUS 142090 HAS SOUPS 140110 WITH SCORE 140873.125
AT ITER 715 NEW BEST:: SOT 1134173 SOS 764951 HAS SOPS 762296 HAS SOUS 141261 HAS SOUPS 139304 WITH SCORE 140068.951
AT ITER 741 NEW BEST:: SOT 1134173 SOS 765007 HAS SOPS 762396 HAS SOUS 141057 HAS SOUPS 139144 WITH SCORE 139909.007
AT ITER 743 NEW BEST:: SOT 1133681 SOS 765931 HAS SOPS 763320 HAS SOUS 140109 HAS SOUPS 138196 WITH SCORE 138961.931
AT ITER 752 NEW BEST:: SOT 1133681 SOS 767965 HAS SOPS 765354 HAS SOUS 139949 HAS SOUPS 138036 WITH SCORE 138803.965
AT ITER 758 NEW BEST:: SOT 1135618 SOS 769902 HAS SOPS 767291 HAS SOUS 139665 HAS SOUPS 137752 WITH SCORE 138521.902
AT ITER 759 NEW BEST:: SOT 1137225 SOS 771799 HAS SOPS 769066 HAS SOUS 139436 HAS SOUPS 137401 WITH SCORE 138172.799
AT ITER 767 NEW BEST:: SOT 1136219 SOS 771489 HAS SOPS 768753 HAS SOUS 138583 HAS SOUPS 136545 WITH SCORE 137316.489
AT ITER 768 NEW BEST:: SOT 1136213 SOS 771483 HAS SOPS 768747 HAS SOUS 138583 HAS SOUPS 136545 WITH SCORE 137316.483
AT ITER 769 NEW BEST:: SOT 1136213 SOS 771681 HAS SOPS 769033 HAS SOUS 138280 HAS SOUPS 136264 WITH SCORE 137035.681
AT ITER 772 NEW BEST:: SOT 1136223 SOS 771691 HAS SOPS 769043 HAS SOUS 138052 HAS SOUPS 136036 WITH SCORE 136807.691
AT ITER 774 NEW BEST:: SOT 1139910 SOS 776882 HAS SOPS 774282 HAS SOUS 136823 HAS SOUPS 134855 WITH SCORE 135631.882
AT ITER 777 NEW BEST:: SOT 1139903 SOS 776885 HAS SOPS 774319 HAS SOUS 136678 HAS SOUPS 134744 WITH SCORE 135520.885
AT ITER 778 NEW BEST:: SOT 1138300 SOS 776218 HAS SOPS 773652 HAS SOUS 134800 HAS SOUPS 132866 WITH SCORE 133642.218
AT ITER 780 NEW BEST:: SOT 1138300 SOS 778222 HAS SOPS 775200 HAS SOUS 134683 HAS SOUPS 132749 WITH SCORE 133527.222
AT ITER 781 NEW BEST:: SOT 1138300 SOS 774190 HAS SOPS 771468 HAS SOUS 134233 HAS SOUPS 132359 WITH SCORE 133133.19
AT ITER 789 NEW BEST:: SOT 1141394 SOS 777284 HAS SOPS 774562 HAS SOUS 132982 HAS SOUPS 131108 WITH SCORE 131885.284
AT ITER 791 NEW BEST:: SOT 1141394 SOS 777028 HAS SOPS 774306 HAS SOUS 132918 HAS SOUPS 131044 WITH SCORE 131821.028
AT ITER 792 NEW BEST:: SOT 1140929 SOS 776563 HAS SOPS 773841 HAS SOUS 132750 HAS SOUPS 130876 WITH SCORE 131652.563
AT ITER 799 NEW BEST:: SOT 1140929 SOS 776972 HAS SOPS 774250 HAS SOUS 132748 HAS SOUPS 130874 WITH SCORE 131650.972
AT ITER 806 NEW BEST:: SOT 1140929 SOS 777432 HAS SOPS 774710 HAS SOUS 132728 HAS SOUPS 130854 WITH SCORE 131631.432
AT ITER 811 NEW BEST:: SOT 1141193 SOS 777696 HAS SOPS 774974 HAS SOUS 132581 HAS SOUPS 130707 WITH SCORE 131484.696
AT ITER 816 NEW BEST:: SOT 1141193 SOS 777624 HAS SOPS 774902 HAS SOUS 132581 HAS SOUPS 130707 WITH SCORE 131484.624
AT ITER 825 NEW BEST:: SOT 1140265 SOS 776696 HAS SOPS 773974 HAS SOUS 132220 HAS SOUPS 130346 WITH SCORE 131122.696
AT ITER 829 NEW BEST:: SOT 1140612 SOS 777043 HAS SOPS 774321 HAS SOUS 131407 HAS SOUPS 129533 WITH SCORE 130310.043
AT ITER 831 NEW BEST:: SOT 1140554 SOS 777009 HAS SOPS 774287 HAS SOUS 131355 HAS SOUPS 129481 WITH SCORE 130258.009
AT ITER 834 NEW BEST:: SOT 1140248 SOS 709317 HAS SOPS 706152 HAS SOUS 130831 HAS SOUPS 128978 WITH SCORE 129687.317
AT ITER 835 NEW BEST:: SOT 1140248 SOS 727320 HAS SOPS 724954 HAS SOUS 130609 HAS SOUPS 128823 WITH SCORE 129550.32
AT ITER 836 NEW BEST:: SOT 1141639 SOS 728711 HAS SOPS 726345 HAS SOUS 128979 HAS SOUPS 127193 WITH SCORE 127921.711
AT ITER 839 NEW BEST:: SOT 1141638 SOS 728710 HAS SOPS 726344 HAS SOUS 128934 HAS SOUPS 127148 WITH SCORE 127876.71
AT ITER 842 NEW BEST:: SOT 1139702 SOS 731526 HAS SOPS 729160 HAS SOUS 126953 HAS SOUPS 125167 WITH SCORE 125898.526
AT ITER 846 NEW BEST:: SOT 1139730 SOS 731554 HAS SOPS 729188 HAS SOUS 126359 HAS SOUPS 124573 WITH SCORE 125304.554
AT ITER 850 NEW BEST:: SOT 1139730 SOS 731545 HAS SOPS 729188 HAS SOUS 126245 HAS SOUPS 124468 WITH SCORE 125199.545
AT ITER 853 NEW BEST:: SOT 1139730 SOS 731564 HAS SOPS 729188 HAS SOUS 126178 HAS SOUPS 124382 WITH SCORE 125113.564
AT ITER 854 NEW BEST:: SOT 1139844 SOS 733044 HAS SOPS 730670 HAS SOUS 125905 HAS SOUPS 124111 WITH SCORE 124844.044
AT ITER 859 NEW BEST:: SOT 1139844 SOS 732252 HAS SOPS 729878 HAS SOUS 125905 HAS SOUPS 124111 WITH SCORE 124843.252
AT ITER 870 NEW BEST:: SOT 1139825 SOS 732233 HAS SOPS 729859 HAS SOUS 123840 HAS SOUPS 122046 WITH SCORE 122778.233
AT ITER 888 NEW BEST:: SOT 1139367 SOS 731041 HAS SOPS 728667 HAS SOUS 123219 HAS SOUPS 121425 WITH SCORE 122156.041
AT ITER 896 NEW BEST:: SOT 1141576 SOS 733250 HAS SOPS 730876 HAS SOUS 122713 HAS SOUPS 120919 WITH SCORE 121652.25
AT ITER 900 NEW BEST:: SOT 1141596 SOS 733270 HAS SOPS 730896 HAS SOUS 122686 HAS SOUPS 120892 WITH SCORE 121625.27
AT ITER 927 NEW BEST:: SOT 1141342 SOS 733016 HAS SOPS 730642 HAS SOUS 121124 HAS SOUPS 119330 WITH SCORE 120063.016
AT ITER 934 NEW BEST:: SOT 1141348 SOS 732280 HAS SOPS 729906 HAS SOUS 121063 HAS SOUPS 119269 WITH SCORE 120001.28
AT ITER 938 NEW BEST:: SOT 1141752 SOS 732684 HAS SOPS 730310 HAS SOUS 120479 HAS SOUPS 118685 WITH SCORE 119417.684
AT ITER 954 NEW BEST:: SOT 1141752 SOS 735359 HAS SOPS 732998 HAS SOUS 120019 HAS SOUPS 118238 WITH SCORE 118973.359
AT ITER 977 NEW BEST:: SOT 1141059 SOS 734666 HAS SOPS 732305 HAS SOUS 119844 HAS SOUPS 118063 WITH SCORE 118797.666
AT ITER 996 NEW BEST:: SOT 1141057 SOS 734664 HAS SOPS 732303 HAS SOUS 119842 HAS SOUPS 118061 WITH SCORE 118795.664
AT ITER 997 NEW BEST:: SOT 1141057 SOS 734070 HAS SOPS 731709 HAS SOUS 119796 HAS SOUPS 118015 WITH SCORE 118749.07
AT ITER 999 NEW BEST:: SOT 1141057 SOS 732294 HAS SOPS 729933 HAS SOUS 119796 HAS SOUPS 118015 WITH SCORE 118747.294
AT ITER 1005 NEW BEST:: SOT 1143134 SOS 737831 HAS SOPS 735514 HAS SOUS 119259 HAS SOUPS 117522 WITH SCORE 118259.831
AT ITER 1008 NEW BEST:: SOT 1143134 SOS 737831 HAS SOPS 735514 HAS SOUS 119220 HAS SOUPS 117483 WITH SCORE 118220.831
AT ITER 1013 NEW BEST:: SOT 1143128 SOS 737825 HAS SOPS 735508 HAS SOUS 119220 HAS SOUPS 117483 WITH SCORE 118220.825
AT ITER 1014 NEW BEST:: SOT 1143128 SOS 737705 HAS SOPS 735388 HAS SOUS 119220 HAS SOUPS 117483 WITH SCORE 118220.705
AT ITER 1022 NEW BEST:: SOT 1143018 SOS 737595 HAS SOPS 735278 HAS SOUS 119112 HAS SOUPS 117375 WITH SCORE 118112.595
AT ITER 1031 NEW BEST:: SOT 1143018 SOS 735735 HAS SOPS 733518 HAS SOUS 119072 HAS SOUPS 117355 WITH SCORE 118090.735
AT ITER 1040 NEW BEST:: SOT 1143018 SOS 735758 HAS SOPS 733542 HAS SOUS 119066 HAS SOUPS 117350 WITH SCORE 118085.758
AT ITER 1045 NEW BEST:: SOT 1143024 SOS 735752 HAS SOPS 733536 HAS SOUS 119063 HAS SOUPS 117347 WITH SCORE 118082.752
AT ITER 1078 NEW BEST:: SOT 1145257 SOS 740537 HAS SOPS 738209 HAS SOUS 119113 HAS SOUPS 117285 WITH SCORE 118025.537
AT ITER 1097 NEW BEST:: SOT 1145321 SOS 743097 HAS SOPS 740769 HAS SOUS 119047 HAS SOUPS 117219 WITH SCORE 117962.097
AT ITER 1116 NEW BEST:: SOT 1145321 SOS 743093 HAS SOPS 740813 HAS SOUS 118988 HAS SOUPS 117208 WITH SCORE 117951.093
AT ITER 1121 NEW BEST:: SOT 1146550 SOS 791173 HAS SOPS 789337 HAS SOUS 118828 HAS SOUPS 117048 WITH SCORE 117839.173
AT ITER 1122 NEW BEST:: SOT 1146621 SOS 791244 HAS SOPS 789408 HAS SOUS 118708 HAS SOUPS 116928 WITH SCORE 117719.244
AT ITER 1132 NEW BEST:: SOT 1147113 SOS 791991 HAS SOPS 790160 HAS SOUS 118586 HAS SOUPS 116811 WITH SCORE 117602.991
AT ITER 1140 NEW BEST:: SOT 1147092 SOS 791970 HAS SOPS 790139 HAS SOUS 118442 HAS SOUPS 116667 WITH SCORE 117458.97
AT ITER 1144 NEW BEST:: SOT 1147092 SOS 791598 HAS SOPS 789767 HAS SOUS 118442 HAS SOUPS 116667 WITH SCORE 117458.598
AT ITER 1157 NEW BEST:: SOT 1147234 SOS 791740 HAS SOPS 789909 HAS SOUS 117326 HAS SOUPS 115551 WITH SCORE 116342.74
AT ITER 1160 NEW BEST:: SOT 1150026 SOS 794790 HAS SOPS 792959 HAS SOUS 116743 HAS SOUPS 114968 WITH SCORE 115762.79
AT ITER 1184 NEW BEST:: SOT 1153040 SOS 800823 HAS SOPS 798997 HAS SOUS 116419 HAS SOUPS 114649 WITH SCORE 115449.823
AT ITER 1201 NEW BEST:: SOT 1150048 SOS 797499 HAS SOPS 795785 HAS SOUS 115897 HAS SOUPS 114239 WITH SCORE 115036.499
AT ITER 1214 NEW BEST:: SOT 1150048 SOS 780801 HAS SOPS 778711 HAS SOUS 115754 HAS SOUPS 114096 WITH SCORE 114876.801
AT ITER 1224 NEW BEST:: SOT 1150288 SOS 782408 HAS SOPS 780347 HAS SOUS 115417 HAS SOUPS 113788 WITH SCORE 114570.408
AT ITER 1231 NEW BEST:: SOT 1150252 SOS 782372 HAS SOPS 780311 HAS SOUS 115375 HAS SOUPS 113746 WITH SCORE 114528.372
AT ITER 1232 NEW BEST:: SOT 1150218 SOS 782338 HAS SOPS 780257 HAS SOUS 115323 HAS SOUPS 113674 WITH SCORE 114456.338
AT ITER 1234 NEW BEST:: SOT 1149996 SOS 782116 HAS SOPS 780035 HAS SOUS 114206 HAS SOUPS 112557 WITH SCORE 113339.116
AT ITER 1239 NEW BEST:: SOT 1149990 SOS 782629 HAS SOPS 780548 HAS SOUS 114194 HAS SOUPS 112545 WITH SCORE 113327.629
AT ITER 1243 NEW BEST:: SOT 1149841 SOS 782480 HAS SOPS 780399 HAS SOUS 113733 HAS SOUPS 112084 WITH SCORE 112866.48
AT ITER 1247 NEW BEST:: SOT 1151114 SOS 783753 HAS SOPS 781672 HAS SOUS 112277 HAS SOUPS 110628 WITH SCORE 111411.753
AT ITER 1252 NEW BEST:: SOT 1150964 SOS 783599 HAS SOPS 781518 HAS SOUS 112176 HAS SOUPS 110527 WITH SCORE 111310.599
AT ITER 1262 NEW BEST:: SOT 1150910 SOS 783545 HAS SOPS 781464 HAS SOUS 112097 HAS SOUPS 110448 WITH SCORE 111231.545
AT ITER 1282 NEW BEST:: SOT 1150910 SOS 782243 HAS SOPS 780162 HAS SOUS 112097 HAS SOUPS 110448 WITH SCORE 111230.243
AT ITER 1283 NEW BEST:: SOT 1151060 SOS 782393 HAS SOPS 780312 HAS SOUS 112057 HAS SOUPS 110408 WITH SCORE 111190.393
AT ITER 1285 NEW BEST:: SOT 1151053 SOS 782386 HAS SOPS 780305 HAS SOUS 112050 HAS SOUPS 110401 WITH SCORE 111183.386
AT ITER 1313 NEW BEST:: SOT 1151053 SOS 781762 HAS SOPS 779681 HAS SOUS 112050 HAS SOUPS 110401 WITH SCORE 111182.762
AT ITER 1314 NEW BEST:: SOT 1151053 SOS 781762 HAS SOPS 779681 HAS SOUS 112025 HAS SOUPS 110376 WITH SCORE 111157.762
AT ITER 1325 NEW BEST:: SOT 1151053 SOS 782154 HAS SOPS 780073 HAS SOUS 111949 HAS SOUPS 110300 WITH SCORE 111082.154
AT ITER 1340 NEW BEST:: SOT 1150497 SOS 781598 HAS SOPS 779517 HAS SOUS 111826 HAS SOUPS 110177 WITH SCORE 110958.598
AT ITER 1357 NEW BEST:: SOT 1150397 SOS 781498 HAS SOPS 779417 HAS SOUS 111526 HAS SOUPS 109877 WITH SCORE 110658.498
AT ITER 1382 NEW BEST:: SOT 1150279 SOS 796252 HAS SOPS 794171 HAS SOUS 111409 HAS SOUPS 109760 WITH SCORE 110556.252
AT ITER 1391 NEW BEST:: SOT 1147349 SOS 793757 HAS SOPS 791785 HAS SOUS 110749 HAS SOUPS 109209 WITH SCORE 110002.757
AT ITER 1395 NEW BEST:: SOT 1147349 SOS 794277 HAS SOPS 792305 HAS SOUS 110723 HAS SOUPS 109183 WITH SCORE 109977.277
AT ITER 1399 NEW BEST:: SOT 1147349 SOS 794277 HAS SOPS 792305 HAS SOUS 110693 HAS SOUPS 109153 WITH SCORE 109947.277
AT ITER 1407 NEW BEST:: SOT 1147252 SOS 794180 HAS SOPS 792208 HAS SOUS 110468 HAS SOUPS 108928 WITH SCORE 109722.18
AT ITER 1411 NEW BEST:: SOT 1148647 SOS 796320 HAS SOPS 794207 HAS SOUS 110280 HAS SOUPS 108599 WITH SCORE 109395.32
AT ITER 1412 NEW BEST:: SOT 1150957 SOS 798630 HAS SOPS 796517 HAS SOUS 110210 HAS SOUPS 108529 WITH SCORE 109327.63
AT ITER 1413 NEW BEST:: SOT 1150917 SOS 800037 HAS SOPS 797924 HAS SOUS 110137 HAS SOUPS 108456 WITH SCORE 109256.037
AT ITER 1426 NEW BEST:: SOT 1150917 SOS 796297 HAS SOPS 794164 HAS SOUS 110127 HAS SOUPS 108446 WITH SCORE 109242.297
AT ITER 1429 NEW BEST:: SOT 1152757 SOS 798137 HAS SOPS 796004 HAS SOUS 110075 HAS SOUPS 108394 WITH SCORE 109192.137
AT ITER 1433 NEW BEST:: SOT 1152757 SOS 799001 HAS SOPS 796868 HAS SOUS 109877 HAS SOUPS 108196 WITH SCORE 108995.001
AT ITER 1435 NEW BEST:: SOT 1155184 SOS 804129 HAS SOPS 802007 HAS SOUS 109506 HAS SOUPS 107836 WITH SCORE 108640.129
AT ITER 1454 NEW BEST:: SOT 1155184 SOS 800312 HAS SOPS 798419 HAS SOUS 109157 HAS SOUPS 107544 WITH SCORE 108344.312
AT ITER 1461 NEW BEST:: SOT 1152295 SOS 796743 HAS SOPS 794990 HAS SOUS 108674 HAS SOUPS 107181 WITH SCORE 107977.743
AT ITER 1464 NEW BEST:: SOT 1152364 SOS 801019 HAS SOPS 799266 HAS SOUS 108654 HAS SOUPS 107161 WITH SCORE 107962.019
AT ITER 1471 NEW BEST:: SOT 1154417 SOS 803072 HAS SOPS 801319 HAS SOUS 107693 HAS SOUPS 106200 WITH SCORE 107003.072
AT ITER 1483 NEW BEST:: SOT 1155413 SOS 804068 HAS SOPS 802315 HAS SOUS 107520 HAS SOUPS 106027 WITH SCORE 106831.068
AT ITER 1492 NEW BEST:: SOT 1155526 SOS 804181 HAS SOPS 802428 HAS SOUS 107210 HAS SOUPS 105717 WITH SCORE 106521.181
AT ITER 1504 NEW BEST:: SOT 1154963 SOS 803562 HAS SOPS 801809 HAS SOUS 106169 HAS SOUPS 104676 WITH SCORE 105479.562
AT ITER 1508 NEW BEST:: SOT 1154963 SOS 803677 HAS SOPS 801924 HAS SOUS 106164 HAS SOUPS 104671 WITH SCORE 105474.677
AT ITER 1518 NEW BEST:: SOT 1154963 SOS 803521 HAS SOPS 801777 HAS SOUS 106149 HAS SOUPS 104665 WITH SCORE 105468.521
AT ITER 1519 NEW BEST:: SOT 1154960 SOS 803518 HAS SOPS 801774 HAS SOUS 106146 HAS SOUPS 104662 WITH SCORE 105465.518
AT ITER 1524 NEW BEST:: SOT 1154960 SOS 804119 HAS SOPS 802375 HAS SOUS 106144 HAS SOUPS 104660 WITH SCORE 105464.119
AT ITER 1555 NEW BEST:: SOT 1154960 SOS 803602 HAS SOPS 801858 HAS SOUS 106144 HAS SOUPS 104660 WITH SCORE 105463.602
AT ITER 1558 NEW BEST:: SOT 1154956 SOS 803598 HAS SOPS 801854 HAS SOUS 106140 HAS SOUPS 104656 WITH SCORE 105459.598
AT ITER 1559 NEW BEST:: SOT 1154910 SOS 803368 HAS SOPS 801624 HAS SOUS 106002 HAS SOUPS 104518 WITH SCORE 105321.368
AT ITER 1565 NEW BEST:: SOT 1154910 SOS 803128 HAS SOPS 801384 HAS SOUS 106002 HAS SOUPS 104518 WITH SCORE 105321.128
AT ITER 1568 NEW BEST:: SOT 1154910 SOS 802226 HAS SOPS 800482 HAS SOUS 106002 HAS SOUPS 104518 WITH SCORE 105320.226
AT ITER 1572 NEW BEST:: SOT 1154587 SOS 801903 HAS SOPS 800159 HAS SOUS 105656 HAS SOUPS 104172 WITH SCORE 104973.903
AT ITER 1584 NEW BEST:: SOT 1156175 SOS 803515 HAS SOPS 801747 HAS SOUS 105140 HAS SOUPS 103632 WITH SCORE 104435.515
AT ITER 1586 NEW BEST:: SOT 1156856 SOS 804196 HAS SOPS 802428 HAS SOUS 105066 HAS SOUPS 103558 WITH SCORE 104362.196
AT ITER 1590 NEW BEST:: SOT 1156630 SOS 806922 HAS SOPS 805154 HAS SOUS 102861 HAS SOUPS 101353 WITH SCORE 102159.922
AT ITER 1595 NEW BEST:: SOT 1156248 SOS 806540 HAS SOPS 804772 HAS SOUS 102161 HAS SOUPS 100653 WITH SCORE 101459.54
AT ITER 1606 NEW BEST:: SOT 1156248 SOS 806564 HAS SOPS 804796 HAS SOUS 102155 HAS SOUPS 100647 WITH SCORE 101453.564
AT ITER 1628 NEW BEST:: SOT 1156162 SOS 758920 HAS SOPS 757152 HAS SOUS 102010 HAS SOUPS 100502 WITH SCORE 101260.92
AT ITER 1643 NEW BEST:: SOT 1156159 SOS 758917 HAS SOPS 757149 HAS SOUS 101932 HAS SOUPS 100424 WITH SCORE 101182.917
AT ITER 1649 NEW BEST:: SOT 1156159 SOS 759081 HAS SOPS 757317 HAS SOUS 101710 HAS SOUPS 100206 WITH SCORE 100965.081
AT ITER 1653 NEW BEST:: SOT 1156051 SOS 758973 HAS SOPS 757209 HAS SOUS 101674 HAS SOUPS 100170 WITH SCORE 100928.973
AT ITER 1670 NEW BEST:: SOT 1156051 SOS 758518 HAS SOPS 756779 HAS SOUS 101669 HAS SOUPS 100170 WITH SCORE 100928.518
AT ITER 1680 NEW BEST:: SOT 1155415 SOS 757882 HAS SOPS 756143 HAS SOUS 100256 HAS SOUPS 98757 WITH SCORE 99514.882
AT ITER 1701 NEW BEST:: SOT 1155432 SOS 757899 HAS SOPS 756160 HAS SOUS 100249 HAS SOUPS 98750 WITH SCORE 99507.899
AT ITER 1702 NEW BEST:: SOT 1155509 SOS 760400 HAS SOPS 758661 HAS SOUS 100186 HAS SOUPS 98687 WITH SCORE 99447.4
AT ITER 1703 NEW BEST:: SOT 1155564 SOS 760455 HAS SOPS 758716 HAS SOUS 100161 HAS SOUPS 98662 WITH SCORE 99422.455
AT ITER 1720 NEW BEST:: SOT 1155564 SOS 759303 HAS SOPS 757564 HAS SOUS 100113 HAS SOUPS 98614 WITH SCORE 99373.303
AT ITER 1737 NEW BEST:: SOT 1157538 SOS 761277 HAS SOPS 759538 HAS SOUS 99881 HAS SOUPS 98382 WITH SCORE 99143.277
AT ITER 1739 NEW BEST:: SOT 1157538 SOS 761259 HAS SOPS 759538 HAS SOUS 99863 HAS SOUPS 98382 WITH SCORE 99143.259
AT ITER 1741 NEW BEST:: SOT 1157401 SOS 761154 HAS SOPS 759433 HAS SOUS 99731 HAS SOUPS 98250 WITH SCORE 99011.154
AT ITER 1742 NEW BEST:: SOT 1157401 SOS 761136 HAS SOPS 759415 HAS SOUS 99683 HAS SOUPS 98202 WITH SCORE 98963.136
AT ITER 1743 NEW BEST:: SOT 1157142 SOS 760877 HAS SOPS 759156 HAS SOUS 99394 HAS SOUPS 97913 WITH SCORE 98673.877
AT ITER 1746 NEW BEST:: SOT 1157142 SOS 760877 HAS SOPS 759156 HAS SOUS 99366 HAS SOUPS 97885 WITH SCORE 98645.877
AT ITER 1751 NEW BEST:: SOT 1157142 SOS 760839 HAS SOPS 759118 HAS SOUS 99347 HAS SOUPS 97866 WITH SCORE 98626.839
AT ITER 1784 NEW BEST:: SOT 1157142 SOS 760291 HAS SOPS 758626 HAS SOUS 99019 HAS SOUPS 97558 WITH SCORE 98318.291
AT ITER 1785 NEW BEST:: SOT 1157142 SOS 760291 HAS SOPS 758626 HAS SOUS 98965 HAS SOUPS 97504 WITH SCORE 98264.291
AT ITER 1803 NEW BEST:: SOT 1157122 SOS 760271 HAS SOPS 758606 HAS SOUS 98945 HAS SOUPS 97484 WITH SCORE 98244.271
AT ITER 1805 NEW BEST:: SOT 1157066 SOS 760215 HAS SOPS 758550 HAS SOUS 98826 HAS SOUPS 97365 WITH SCORE 98125.215
AT ITER 1809 NEW BEST:: SOT 1155794 SOS 753610 HAS SOPS 751945 HAS SOUS 98432 HAS SOUPS 96971 WITH SCORE 97724.61
AT ITER 1812 NEW BEST:: SOT 1155132 SOS 752948 HAS SOPS 751283 HAS SOUS 98429 HAS SOUPS 96968 WITH SCORE 97720.948
AT ITER 1815 NEW BEST:: SOT 1154577 SOS 752393 HAS SOPS 750728 HAS SOUS 98191 HAS SOUPS 96730 WITH SCORE 97482.393
AT ITER 1835 NEW BEST:: SOT 1154584 SOS 752400 HAS SOPS 750735 HAS SOUS 98030 HAS SOUPS 96569 WITH SCORE 97321.4
AT ITER 1839 NEW BEST:: SOT 1154584 SOS 752360 HAS SOPS 750695 HAS SOUS 98030 HAS SOUPS 96569 WITH SCORE 97321.36
AT ITER 1847 NEW BEST:: SOT 1153718 SOS 751494 HAS SOPS 749829 HAS SOUS 97865 HAS SOUPS 96404 WITH SCORE 97155.494
AT ITER 1851 NEW BEST:: SOT 1153718 SOS 751494 HAS SOPS 749829 HAS SOUS 97854 HAS SOUPS 96393 WITH SCORE 97144.494
AT ITER 1862 NEW BEST:: SOT 1155981 SOS 753757 HAS SOPS 752092 HAS SOUS 97311 HAS SOUPS 95850 WITH SCORE 96603.757
AT ITER 1872 NEW BEST:: SOT 1155981 SOS 753354 HAS SOPS 751724 HAS SOUS 97033 HAS SOUPS 95591 WITH SCORE 96344.354
AT ITER 1874 NEW BEST:: SOT 1155180 SOS 757199 HAS SOPS 755569 HAS SOUS 96181 HAS SOUPS 94739 WITH SCORE 95496.199
AT ITER 1894 NEW BEST:: SOT 1155180 SOS 757207 HAS SOPS 755577 HAS SOUS 96133 HAS SOUPS 94691 WITH SCORE 95448.207
AT ITER 1895 NEW BEST:: SOT 1155186 SOS 757981 HAS SOPS 756351 HAS SOUS 96097 HAS SOUPS 94655 WITH SCORE 95412.981
AT ITER 1915 NEW BEST:: SOT 1157459 SOS 759894 HAS SOPS 758264 HAS SOUS 95970 HAS SOUPS 94528 WITH SCORE 95287.894
AT ITER 1916 NEW BEST:: SOT 1157360 SOS 759843 HAS SOPS 758213 HAS SOUS 95609 HAS SOUPS 94167 WITH SCORE 94926.843
AT ITER 1922 NEW BEST:: SOT 1157360 SOS 760414 HAS SOPS 758789 HAS SOUS 95360 HAS SOUPS 93923 WITH SCORE 94683.414
AT ITER 1942 NEW BEST:: SOT 1156796 SOS 760066 HAS SOPS 758441 HAS SOUS 94793 HAS SOUPS 93356 WITH SCORE 94116.066
AT ITER 1944 NEW BEST:: SOT 1156796 SOS 760064 HAS SOPS 758439 HAS SOUS 94793 HAS SOUPS 93356 WITH SCORE 94116.064
AT ITER 1955 NEW BEST:: SOT 1156796 SOS 759992 HAS SOPS 758367 HAS SOUS 94790 HAS SOUPS 93353 WITH SCORE 94112.992
AT ITER 1961 NEW BEST:: SOT 1156809 SOS 762718 HAS SOPS 761093 HAS SOUS 94759 HAS SOUPS 93322 WITH SCORE 94084.718
AT ITER 1962 NEW BEST:: SOT 1156753 SOS 762662 HAS SOPS 761037 HAS SOUS 94292 HAS SOUPS 92855 WITH SCORE 93617.662
AT ITER 2007 NEW BEST:: SOT 1156903 SOS 762812 HAS SOPS 761187 HAS SOUS 93622 HAS SOUPS 92185 WITH SCORE 92947.812
AT ITER 2015 NEW BEST:: SOT 1156903 SOS 762356 HAS SOPS 760731 HAS SOUS 93622 HAS SOUPS 92185 WITH SCORE 92947.356
AT ITER 2020 NEW BEST:: SOT 1156787 SOS 762240 HAS SOPS 760615 HAS SOUS 93254 HAS SOUPS 91817 WITH SCORE 92579.24
AT ITER 2038 NEW BEST:: SOT 1156290 SOS 767234 HAS SOPS 765609 HAS SOUS 92994 HAS SOUPS 91557 WITH SCORE 92324.234
AT ITER 2060 NEW BEST:: SOT 1157157 SOS 769245 HAS SOPS 767620 HAS SOUS 92806 HAS SOUPS 91369 WITH SCORE 92138.245
AT ITER 2074 NEW BEST:: SOT 1157157 SOS 768021 HAS SOPS 766396 HAS SOUS 92806 HAS SOUPS 91369 WITH SCORE 92137.021
AT ITER 2075 NEW BEST:: SOT 1154307 SOS 763491 HAS SOPS 761866 HAS SOUS 92129 HAS SOUPS 90692 WITH SCORE 91455.491
AT ITER 2079 NEW BEST:: SOT 1154414 SOS 763598 HAS SOPS 761973 HAS SOUS 91805 HAS SOUPS 90368 WITH SCORE 91131.598
AT ITER 2090 NEW BEST:: SOT 1152635 SOS 761581 HAS SOPS 759956 HAS SOUS 91682 HAS SOUPS 90245 WITH SCORE 91006.581
AT ITER 2092 NEW BEST:: SOT 1152626 SOS 761528 HAS SOPS 759901 HAS SOUS 91673 HAS SOUPS 90234 WITH SCORE 90995.528
AT ITER 2100 NEW BEST:: SOT 1152626 SOS 761168 HAS SOPS 759541 HAS SOUS 91673 HAS SOUPS 90234 WITH SCORE 90995.168
AT ITER 2107 NEW BEST:: SOT 1152624 SOS 761166 HAS SOPS 759539 HAS SOUS 91671 HAS SOUPS 90232 WITH SCORE 90993.166
AT ITER 2123 NEW BEST:: SOT 1152624 SOS 760278 HAS SOPS 758651 HAS SOUS 91671 HAS SOUPS 90232 WITH SCORE 90992.278
AT ITER 2126 NEW BEST:: SOT 1152624 SOS 760242 HAS SOPS 758615 HAS SOUS 91670 HAS SOUPS 90231 WITH SCORE 90991.242
AT ITER 2133 NEW BEST:: SOT 1152340 SOS 759958 HAS SOPS 758331 HAS SOUS 91586 HAS SOUPS 90147 WITH SCORE 90906.958
AT ITER 2157 NEW BEST:: SOT 1152327 SOS 759768 HAS SOPS 758169 HAS SOUS 91457 HAS SOUPS 90046 WITH SCORE 90805.768
AT ITER 2166 NEW BEST:: SOT 1152242 SOS 759683 HAS SOPS 758084 HAS SOUS 91250 HAS SOUPS 89839 WITH SCORE 90598.683
AT ITER 2168 NEW BEST:: SOT 1151358 SOS 758669 HAS SOPS 757034 HAS SOUS 91234 HAS SOUPS 89787 WITH SCORE 90545.669
AT ITER 2171 NEW BEST:: SOT 1151358 SOS 757388 HAS SOPS 755818 HAS SOUS 91216 HAS SOUPS 89786 WITH SCORE 90543.388
AT ITER 2202 NEW BEST:: SOT 1151042 SOS 757072 HAS SOPS 755502 HAS SOUS 90884 HAS SOUPS 89454 WITH SCORE 90211.072
AT ITER 2206 NEW BEST:: SOT 1151782 SOS 757812 HAS SOPS 756242 HAS SOUS 90589 HAS SOUPS 89159 WITH SCORE 89916.812
AT ITER 2216 NEW BEST:: SOT 1151782 SOS 757812 HAS SOPS 756242 HAS SOUS 90553 HAS SOUPS 89123 WITH SCORE 89880.812
AT ITER 2222 NEW BEST:: SOT 1151304 SOS 757334 HAS SOPS 755764 HAS SOUS 90429 HAS SOUPS 88999 WITH SCORE 89756.334
AT ITER 2231 NEW BEST:: SOT 1151304 SOS 756998 HAS SOPS 755428 HAS SOUS 90429 HAS SOUPS 88999 WITH SCORE 89755.998
AT ITER 2233 NEW BEST:: SOT 1151304 SOS 754728 HAS SOPS 753276 HAS SOUS 90334 HAS SOUPS 88898 WITH SCORE 89652.728
AT ITER 2235 NEW BEST:: SOT 1151591 SOS 755183 HAS SOPS 753731 HAS SOUS 90282 HAS SOUPS 88846 WITH SCORE 89601.183
AT ITER 2236 NEW BEST:: SOT 1151598 SOS 755190 HAS SOPS 753738 HAS SOUS 90139 HAS SOUPS 88703 WITH SCORE 89458.19
AT ITER 2243 NEW BEST:: SOT 1151598 SOS 755673 HAS SOPS 754221 HAS SOUS 90118 HAS SOUPS 88682 WITH SCORE 89437.673
AT ITER 2245 NEW BEST:: SOT 1151586 SOS 755637 HAS SOPS 754185 HAS SOUS 90106 HAS SOUPS 88670 WITH SCORE 89425.637
AT ITER 2280 NEW BEST:: SOT 1152101 SOS 756152 HAS SOPS 754700 HAS SOUS 90068 HAS SOUPS 88632 WITH SCORE 89388.152
AT ITER 2286 NEW BEST:: SOT 1152101 SOS 755624 HAS SOPS 754172 HAS SOUS 90068 HAS SOUPS 88632 WITH SCORE 89387.624
AT ITER 2293 NEW BEST:: SOT 1151892 SOS 755415 HAS SOPS 753963 HAS SOUS 89414 HAS SOUPS 87978 WITH SCORE 88733.415
AT ITER 2296 NEW BEST:: SOT 1151012 SOS 754535 HAS SOPS 753083 HAS SOUS 89146 HAS SOUPS 87710 WITH SCORE 88464.535
AT ITER 2306 NEW BEST:: SOT 1150990 SOS 754513 HAS SOPS 753061 HAS SOUS 89124 HAS SOUPS 87688 WITH SCORE 88442.513
AT ITER 2322 NEW BEST:: SOT 1152875 SOS 758456 HAS SOPS 757053 HAS SOUS 89047 HAS SOUPS 87660 WITH SCORE 88418.456
AT ITER 2324 NEW BEST:: SOT 1152850 SOS 758431 HAS SOPS 757028 HAS SOUS 88873 HAS SOUPS 87486 WITH SCORE 88244.431
AT ITER 2325 NEW BEST:: SOT 1152850 SOS 759055 HAS SOPS 757652 HAS SOUS 88843 HAS SOUPS 87456 WITH SCORE 88215.055
AT ITER 2334 NEW BEST:: SOT 1150601 SOS 755633 HAS SOPS 754427 HAS SOUS 88276 HAS SOUPS 87086 WITH SCORE 87841.633
AT ITER 2335 NEW BEST:: SOT 1150601 SOS 745729 HAS SOPS 744379 HAS SOUS 88267 HAS SOUPS 87059 WITH SCORE 87804.729
AT ITER 2340 NEW BEST:: SOT 1150601 SOS 745401 HAS SOPS 744043 HAS SOUS 88267 HAS SOUPS 87057 WITH SCORE 87802.401
AT ITER 2367 NEW BEST:: SOT 1148962 SOS 743628 HAS SOPS 742270 HAS SOUS 88244 HAS SOUPS 87034 WITH SCORE 87777.628
AT ITER 2391 NEW BEST:: SOT 1149389 SOS 744124 HAS SOPS 742766 HAS SOUS 87935 HAS SOUPS 86725 WITH SCORE 87469.124
AT ITER 2396 NEW BEST:: SOT 1149253 SOS 743988 HAS SOPS 742630 HAS SOUS 87815 HAS SOUPS 86605 WITH SCORE 87348.988
AT ITER 2414 NEW BEST:: SOT 1148796 SOS 743531 HAS SOPS 742173 HAS SOUS 87771 HAS SOUPS 86561 WITH SCORE 87304.531
AT ITER 2427 NEW BEST:: SOT 1148796 SOS 743451 HAS SOPS 742093 HAS SOUS 87771 HAS SOUPS 86561 WITH SCORE 87304.451
AT ITER 2431 NEW BEST:: SOT 1148777 SOS 743432 HAS SOPS 742398 HAS SOUS 87370 HAS SOUPS 86484 WITH SCORE 87227.432
AT ITER 2442 NEW BEST:: SOT 1148777 SOS 742592 HAS SOPS 741558 HAS SOUS 87370 HAS SOUPS 86484 WITH SCORE 87226.592
AT ITER 2462 NEW BEST:: SOT 1148775 SOS 742590 HAS SOPS 741556 HAS SOUS 87352 HAS SOUPS 86466 WITH SCORE 87208.59
AT ITER 2477 NEW BEST:: SOT 1148771 SOS 742994 HAS SOPS 741960 HAS SOUS 86512 HAS SOUPS 85626 WITH SCORE 86368.994
AT ITER 2513 NEW BEST:: SOT 1148357 SOS 742580 HAS SOPS 741546 HAS SOUS 85986 HAS SOUPS 85100 WITH SCORE 85842.58
AT ITER 2518 NEW BEST:: SOT 1148477 SOS 743390 HAS SOPS 742356 HAS SOUS 85822 HAS SOUPS 84936 WITH SCORE 85679.39
AT ITER 2522 NEW BEST:: SOT 1148477 SOS 743390 HAS SOPS 742356 HAS SOUS 85817 HAS SOUPS 84931 WITH SCORE 85674.39
AT ITER 2535 NEW BEST:: SOT 1148477 SOS 744348 HAS SOPS 743316 HAS SOUS 85730 HAS SOUPS 84846 WITH SCORE 85590.348
AT ITER 2544 NEW BEST:: SOT 1148477 SOS 744492 HAS SOPS 743460 HAS SOUS 85664 HAS SOUPS 84780 WITH SCORE 85524.492
AT ITER 2554 NEW BEST:: SOT 1148417 SOS 744432 HAS SOPS 743400 HAS SOUS 85635 HAS SOUPS 84751 WITH SCORE 85495.432
AT ITER 2561 NEW BEST:: SOT 1145894 SOS 743493 HAS SOPS 742461 HAS SOUS 85000 HAS SOUPS 84116 WITH SCORE 84859.493
AT ITER 2610 NEW BEST:: SOT 1146073 SOS 743672 HAS SOPS 742640 HAS SOUS 84948 HAS SOUPS 84064 WITH SCORE 84807.672
AT ITER 2640 NEW BEST:: SOT 1146073 SOS 743240 HAS SOPS 742208 HAS SOUS 84948 HAS SOUPS 84064 WITH SCORE 84807.24
AT ITER 2646 NEW BEST:: SOT 1145658 SOS 742825 HAS SOPS 741793 HAS SOUS 84627 HAS SOUPS 83743 WITH SCORE 84485.825
AT ITER 2666 NEW BEST:: SOT 1146513 SOS 743680 HAS SOPS 742648 HAS SOUS 83790 HAS SOUPS 82906 WITH SCORE 83649.68
AT ITER 2670 NEW BEST:: SOT 1146887 SOS 744054 HAS SOPS 743022 HAS SOUS 83762 HAS SOUPS 82878 WITH SCORE 83622.054
AT ITER 2689 NEW BEST:: SOT 1147077 SOS 744544 HAS SOPS 743512 HAS SOUS 83320 HAS SOUPS 82436 WITH SCORE 83180.544
AT ITER 2694 NEW BEST:: SOT 1146914 SOS 744381 HAS SOPS 743349 HAS SOUS 83157 HAS SOUPS 82273 WITH SCORE 83017.381
AT ITER 2698 NEW BEST:: SOT 1146914 SOS 744373 HAS SOPS 743341 HAS SOUS 83157 HAS SOUPS 82273 WITH SCORE 83017.373
AT ITER 2735 NEW BEST:: SOT 1146881 SOS 744340 HAS SOPS 743308 HAS SOUS 83089 HAS SOUPS 82205 WITH SCORE 82949.34
AT ITER 2739 NEW BEST:: SOT 1145814 SOS 743273 HAS SOPS 742241 HAS SOUS 82744 HAS SOUPS 81860 WITH SCORE 82603.273
AT ITER 2750 NEW BEST:: SOT 1145814 SOS 743254 HAS SOPS 742222 HAS SOUS 82689 HAS SOUPS 81805 WITH SCORE 82548.254
AT ITER 2754 NEW BEST:: SOT 1145814 SOS 743014 HAS SOPS 741982 HAS SOUS 82674 HAS SOUPS 81790 WITH SCORE 82533.014
AT ITER 2763 NEW BEST:: SOT 1145789 SOS 742989 HAS SOPS 741957 HAS SOUS 82642 HAS SOUPS 81758 WITH SCORE 82500.989
AT ITER 2779 NEW BEST:: SOT 1145789 SOS 743349 HAS SOPS 742317 HAS SOUS 82282 HAS SOUPS 81398 WITH SCORE 82141.349
AT ITER 2816 NEW BEST:: SOT 1144590 SOS 742150 HAS SOPS 741118 HAS SOUS 81825 HAS SOUPS 80941 WITH SCORE 81683.15
AT ITER 2827 NEW BEST:: SOT 1144590 SOS 743069 HAS SOPS 742102 HAS SOUS 81499 HAS SOUPS 80630 WITH SCORE 81373.069
AT ITER 2848 NEW BEST:: SOT 1144356 SOS 742835 HAS SOPS 741634 HAS SOUS 81590 HAS SOUPS 80487 WITH SCORE 81229.835
AT ITER 2863 NEW BEST:: SOT 1144576 SOS 742762 HAS SOPS 741183 HAS SOUS 81905 HAS SOUPS 80424 WITH SCORE 81166.762
AT ITER 2864 NEW BEST:: SOT 1144077 SOS 742263 HAS SOPS 740684 HAS SOUS 81899 HAS SOUPS 80418 WITH SCORE 81160.263
AT ITER 2881 NEW BEST:: SOT 1144072 SOS 742258 HAS SOPS 740679 HAS SOUS 81769 HAS SOUPS 80288 WITH SCORE 81030.258
AT ITER 2897 NEW BEST:: SOT 1144082 SOS 742008 HAS SOPS 740429 HAS SOUS 81741 HAS SOUPS 80260 WITH SCORE 81002.008
AT ITER 2906 NEW BEST:: SOT 1144082 SOS 741524 HAS SOPS 739945 HAS SOUS 81741 HAS SOUPS 80260 WITH SCORE 81001.524
AT ITER 2907 NEW BEST:: SOT 1144167 SOS 741609 HAS SOPS 740030 HAS SOUS 81678 HAS SOUPS 80197 WITH SCORE 80938.609
AT ITER 2918 NEW BEST:: SOT 1144167 SOS 741449 HAS SOPS 739870 HAS SOUS 81638 HAS SOUPS 80157 WITH SCORE 80898.449
AT ITER 2919 NEW BEST:: SOT 1142394 SOS 737120 HAS SOPS 735541 HAS SOUS 80177 HAS SOUPS 78696 WITH SCORE 79433.12
AT ITER 2944 NEW BEST:: SOT 1142394 SOS 736035 HAS SOPS 734581 HAS SOUS 80039 HAS SOUPS 78585 WITH SCORE 79321.035
AT ITER 2947 NEW BEST:: SOT 1142394 SOS 735747 HAS SOPS 734293 HAS SOUS 80039 HAS SOUPS 78585 WITH SCORE 79320.747
AT ITER 2989 NEW BEST:: SOT 1142392 SOS 735745 HAS SOPS 734291 HAS SOUS 80037 HAS SOUPS 78583 WITH SCORE 79318.745
AT ITER 2995 NEW BEST:: SOT 1142397 SOS 735810 HAS SOPS 734356 HAS SOUS 79994 HAS SOUPS 78540 WITH SCORE 79275.81
AT ITER 2997 NEW BEST:: SOT 1142397 SOS 735582 HAS SOPS 734128 HAS SOUS 79994 HAS SOUPS 78540 WITH SCORE 79275.582
AT ITER 3027 NEW BEST:: SOT 1142397 SOS 735434 HAS SOPS 733980 HAS SOUS 79957 HAS SOUPS 78503 WITH SCORE 79238.434
AT ITER 3030 NEW BEST:: SOT 1141422 SOS 734459 HAS SOPS 733005 HAS SOUS 79863 HAS SOUPS 78409 WITH SCORE 79143.459
AT ITER 3033 NEW BEST:: SOT 1141076 SOS 734097 HAS SOPS 732627 HAS SOUS 79690 HAS SOUPS 78220 WITH SCORE 78954.097
AT ITER 3061 NEW BEST:: SOT 1140195 SOS 731478 HAS SOPS 730008 HAS SOUS 78952 HAS SOUPS 77482 WITH SCORE 78213.478
AT ITER 3070 NEW BEST:: SOT 1140195 SOS 731310 HAS SOPS 729840 HAS SOUS 78952 HAS SOUPS 77482 WITH SCORE 78213.31
AT ITER 3085 NEW BEST:: SOT 1140201 SOS 731340 HAS SOPS 729870 HAS SOUS 78922 HAS SOUPS 77452 WITH SCORE 78183.34
AT ITER 3112 NEW BEST:: SOT 1140188 SOS 731327 HAS SOPS 729857 HAS SOUS 78896 HAS SOUPS 77426 WITH SCORE 78157.327
AT ITER 3119 NEW BEST:: SOT 1140188 SOS 730919 HAS SOPS 729449 HAS SOUS 78879 HAS SOUPS 77409 WITH SCORE 78139.919
AT ITER 3123 NEW BEST:: SOT 1140188 SOS 731479 HAS SOPS 730009 HAS SOUS 78851 HAS SOUPS 77381 WITH SCORE 78112.479
AT ITER 3127 NEW BEST:: SOT 1140759 SOS 732050 HAS SOPS 730580 HAS SOUS 78665 HAS SOUPS 77195 WITH SCORE 77927.05
AT ITER 3136 NEW BEST:: SOT 1140759 SOS 731666 HAS SOPS 730196 HAS SOUS 78665 HAS SOUPS 77195 WITH SCORE 77926.666
AT ITER 3152 NEW BEST:: SOT 1142872 SOS 733779 HAS SOPS 732309 HAS SOUS 78518 HAS SOUPS 77048 WITH SCORE 77781.779
AT ITER 3153 NEW BEST:: SOT 1142860 SOS 733767 HAS SOPS 732297 HAS SOUS 78473 HAS SOUPS 77003 WITH SCORE 77736.767
AT ITER 3159 NEW BEST:: SOT 1142860 SOS 733375 HAS SOPS 731905 HAS SOUS 78473 HAS SOUPS 77003 WITH SCORE 77736.375
AT ITER 3170 NEW BEST:: SOT 1142572 SOS 733087 HAS SOPS 731617 HAS SOUS 78371 HAS SOUPS 76901 WITH SCORE 77634.087
AT ITER 3180 NEW BEST:: SOT 1142527 SOS 733027 HAS SOPS 731577 HAS SOUS 78311 HAS SOUPS 76861 WITH SCORE 77594.027
AT ITER 3194 NEW BEST:: SOT 1142535 SOS 733035 HAS SOPS 731585 HAS SOUS 78217 HAS SOUPS 76767 WITH SCORE 77500.035
AT ITER 3197 NEW BEST:: SOT 1142535 SOS 733035 HAS SOPS 731585 HAS SOUS 78212 HAS SOUPS 76762 WITH SCORE 77495.035
AT ITER 3220 NEW BEST:: SOT 1142610 SOS 733110 HAS SOPS 731660 HAS SOUS 78119 HAS SOUPS 76669 WITH SCORE 77402.11
AT ITER 3225 NEW BEST:: SOT 1142610 SOS 732915 HAS SOPS 731465 HAS SOUS 78111 HAS SOUPS 76661 WITH SCORE 77393.915
AT ITER 3247 NEW BEST:: SOT 1142610 SOS 732243 HAS SOPS 730793 HAS SOUS 78111 HAS SOUPS 76661 WITH SCORE 77393.243
AT ITER 3284 NEW BEST:: SOT 1142517 SOS 732150 HAS SOPS 730700 HAS SOUS 78035 HAS SOUPS 76585 WITH SCORE 77317.15
AT ITER 3286 NEW BEST:: SOT 1142023 SOS 731642 HAS SOPS 730192 HAS SOUS 78024 HAS SOUPS 76574 WITH SCORE 77305.642
AT ITER 3302 NEW BEST:: SOT 1142023 SOS 731642 HAS SOPS 730192 HAS SOUS 77930 HAS SOUPS 76480 WITH SCORE 77211.642
AT ITER 3349 NEW BEST:: SOT 1142018 SOS 731637 HAS SOPS 730187 HAS SOUS 77550 HAS SOUPS 76100 WITH SCORE 76831.637
AT ITER 3376 NEW BEST:: SOT 1141983 SOS 734074 HAS SOPS 732624 HAS SOUS 76925 HAS SOUPS 75475 WITH SCORE 76209.074
AT ITER 3381 NEW BEST:: SOT 1141654 SOS 733745 HAS SOPS 732295 HAS SOUS 76797 HAS SOUPS 75347 WITH SCORE 76080.745
AT ITER 3415 NEW BEST:: SOT 1141634 SOS 733725 HAS SOPS 732275 HAS SOUS 76765 HAS SOUPS 75315 WITH SCORE 76048.725
AT ITER 3416 NEW BEST:: SOT 1141598 SOS 733689 HAS SOPS 732239 HAS SOUS 76753 HAS SOUPS 75303 WITH SCORE 76036.689
AT ITER 3423 NEW BEST:: SOT 1141442 SOS 733525 HAS SOPS 732083 HAS SOUS 76500 HAS SOUPS 75058 WITH SCORE 75791.525
AT ITER 3434 NEW BEST:: SOT 1141444 SOS 730448 HAS SOPS 729006 HAS SOUS 76497 HAS SOUPS 75055 WITH SCORE 75785.448
AT ITER 3457 NEW BEST:: SOT 1141056 SOS 729992 HAS SOPS 728550 HAS SOUS 76461 HAS SOUPS 75019 WITH SCORE 75748.992
AT ITER 3468 NEW BEST:: SOT 1142538 SOS 733154 HAS SOPS 731712 HAS SOUS 76448 HAS SOUPS 75006 WITH SCORE 75739.154
AT ITER 3482 NEW BEST:: SOT 1142538 SOS 733242 HAS SOPS 731800 HAS SOUS 76348 HAS SOUPS 74906 WITH SCORE 75639.242
AT ITER 3486 NEW BEST:: SOT 1142520 SOS 733224 HAS SOPS 731782 HAS SOUS 76303 HAS SOUPS 74861 WITH SCORE 75594.224
AT ITER 3500 NEW BEST:: SOT 1142520 SOS 733195 HAS SOPS 731878 HAS SOUS 76136 HAS SOUPS 74819 WITH SCORE 75552.195
AT ITER 3531 NEW BEST:: SOT 1142493 SOS 733168 HAS SOPS 731851 HAS SOUS 76123 HAS SOUPS 74806 WITH SCORE 75539.168
AT ITER 3541 NEW BEST:: SOT 1143620 SOS 734295 HAS SOPS 732978 HAS SOUS 75882 HAS SOUPS 74565 WITH SCORE 75299.295
AT ITER 3558 NEW BEST:: SOT 1143620 SOS 733995 HAS SOPS 732678 HAS SOUS 75882 HAS SOUPS 74565 WITH SCORE 75298.995
AT ITER 3591 NEW BEST:: SOT 1143620 SOS 734359 HAS SOPS 733042 HAS SOUS 75830 HAS SOUPS 74513 WITH SCORE 75247.359
AT ITER 3617 NEW BEST:: SOT 1143620 SOS 734143 HAS SOPS 732826 HAS SOUS 75830 HAS SOUPS 74513 WITH SCORE 75247.143
AT ITER 3652 NEW BEST:: SOT 1143620 SOS 733783 HAS SOPS 732466 HAS SOUS 75830 HAS SOUPS 74513 WITH SCORE 75246.783
AT ITER 3665 NEW BEST:: SOT 1143605 SOS 733768 HAS SOPS 732451 HAS SOUS 75773 HAS SOUPS 74456 WITH SCORE 75189.768
AT ITER 3703 NEW BEST:: SOT 1143608 SOS 733763 HAS SOPS 732446 HAS SOUS 75771 HAS SOUPS 74454 WITH SCORE 75187.763
AT ITER 3762 NEW BEST:: SOT 1143516 SOS 733671 HAS SOPS 732354 HAS SOUS 75679 HAS SOUPS 74362 WITH SCORE 75095.671
AT ITER 3764 NEW BEST:: SOT 1143517 SOS 733239 HAS SOPS 731922 HAS SOUS 75679 HAS SOUPS 74362 WITH SCORE 75095.239
AT ITER 3768 NEW BEST:: SOT 1143526 SOS 733260 HAS SOPS 731931 HAS SOUS 75673 HAS SOUPS 74344 WITH SCORE 75077.26
AT ITER 3783 NEW BEST:: SOT 1143718 SOS 733452 HAS SOPS 732123 HAS SOUS 75665 HAS SOUPS 74336 WITH SCORE 75069.452
AT ITER 3785 NEW BEST:: SOT 1142272 SOS 731965 HAS SOPS 730677 HAS SOUS 75506 HAS SOUPS 74218 WITH SCORE 74949.965
AT ITER 3808 NEW BEST:: SOT 1142272 SOS 731569 HAS SOPS 730281 HAS SOUS 75506 HAS SOUPS 74218 WITH SCORE 74949.569
AT ITER 3809 NEW BEST:: SOT 1142272 SOS 732193 HAS SOPS 730905 HAS SOUS 75480 HAS SOUPS 74192 WITH SCORE 74924.193
AT ITER 3828 NEW BEST:: SOT 1140673 SOS 735070 HAS SOPS 733782 HAS SOUS 74881 HAS SOUPS 73593 WITH SCORE 74328.07
AT ITER 3831 NEW BEST:: SOT 1140673 SOS 736678 HAS SOPS 735390 HAS SOUS 74879 HAS SOUPS 73591 WITH SCORE 74327.678
AT ITER 3836 NEW BEST:: SOT 1140981 SOS 737024 HAS SOPS 735736 HAS SOUS 74846 HAS SOUPS 73558 WITH SCORE 74295.024
AT ITER 3839 NEW BEST:: SOT 1141149 SOS 737192 HAS SOPS 735904 HAS SOUS 74839 HAS SOUPS 73551 WITH SCORE 74288.192
AT ITER 3855 NEW BEST:: SOT 1140483 SOS 720482 HAS SOPS 719194 HAS SOUS 74171 HAS SOUPS 72883 WITH SCORE 73603.482
AT ITER 3863 NEW BEST:: SOT 1140483 SOS 720458 HAS SOPS 719170 HAS SOUS 74165 HAS SOUPS 72877 WITH SCORE 73597.458
AT ITER 3888 NEW BEST:: SOT 1140020 SOS 724531 HAS SOPS 723243 HAS SOUS 73837 HAS SOUPS 72549 WITH SCORE 73273.531
AT ITER 3894 NEW BEST:: SOT 1140020 SOS 724243 HAS SOPS 722955 HAS SOUS 73837 HAS SOUPS 72549 WITH SCORE 73273.243
AT ITER 3911 NEW BEST:: SOT 1142474 SOS 729280 HAS SOPS 727857 HAS SOUS 73648 HAS SOUPS 72225 WITH SCORE 72954.28
AT ITER 3926 NEW BEST:: SOT 1141624 SOS 728430 HAS SOPS 727007 HAS SOUS 73614 HAS SOUPS 72191 WITH SCORE 72919.43
AT ITER 3935 NEW BEST:: SOT 1141624 SOS 728430 HAS SOPS 727007 HAS SOUS 73595 HAS SOUPS 72172 WITH SCORE 72900.43
AT ITER 3949 NEW BEST:: SOT 1140936 SOS 716210 HAS SOPS 714787 HAS SOUS 73540 HAS SOUPS 72117 WITH SCORE 72833.21
AT ITER 3957 NEW BEST:: SOT 1140671 SOS 716425 HAS SOPS 714912 HAS SOUS 73511 HAS SOUPS 71998 WITH SCORE 72714.425
AT ITER 3983 NEW BEST:: SOT 1140671 SOS 716425 HAS SOPS 714912 HAS SOUS 73510 HAS SOUPS 71997 WITH SCORE 72713.425
AT ITER 4002 NEW BEST:: SOT 1140754 SOS 716508 HAS SOPS 714995 HAS SOUS 73401 HAS SOUPS 71888 WITH SCORE 72604.508
AT ITER 4014 NEW BEST:: SOT 1140690 SOS 714788 HAS SOPS 713275 HAS SOUS 73382 HAS SOUPS 71869 WITH SCORE 72583.788
AT ITER 4015 NEW BEST:: SOT 1139098 SOS 713022 HAS SOPS 711509 HAS SOUS 73382 HAS SOUPS 71869 WITH SCORE 72582.022
AT ITER 4028 NEW BEST:: SOT 1138998 SOS 713042 HAS SOPS 711529 HAS SOUS 73337 HAS SOUPS 71824 WITH SCORE 72537.042
AT ITER 4052 NEW BEST:: SOT 1138958 SOS 712994 HAS SOPS 711481 HAS SOUS 73297 HAS SOUPS 71784 WITH SCORE 72496.994
AT ITER 4053 NEW BEST:: SOT 1137637 SOS 711673 HAS SOPS 710160 HAS SOUS 73230 HAS SOUPS 71717 WITH SCORE 72428.673
AT ITER 4056 NEW BEST:: SOT 1137652 SOS 713033 HAS SOPS 711520 HAS SOUS 73203 HAS SOUPS 71690 WITH SCORE 72403.033
AT ITER 4082 NEW BEST:: SOT 1137586 SOS 712967 HAS SOPS 711454 HAS SOUS 73095 HAS SOUPS 71582 WITH SCORE 72294.967
AT ITER 4087 NEW BEST:: SOT 1137587 SOS 712968 HAS SOPS 711455 HAS SOUS 72996 HAS SOUPS 71483 WITH SCORE 72195.968
AT ITER 4129 NEW BEST:: SOT 1137200 SOS 713695 HAS SOPS 712182 HAS SOUS 72737 HAS SOUPS 71224 WITH SCORE 71937.695
AT ITER 4131 NEW BEST:: SOT 1137693 SOS 714188 HAS SOPS 712675 HAS SOUS 72582 HAS SOUPS 71069 WITH SCORE 71783.188
AT ITER 4145 NEW BEST:: SOT 1137693 SOS 712130 HAS SOPS 710611 HAS SOUS 72557 HAS SOUPS 71038 WITH SCORE 71750.13
AT ITER 4178 NEW BEST:: SOT 1137360 SOS 711797 HAS SOPS 710278 HAS SOUS 72211 HAS SOUPS 70692 WITH SCORE 71403.797
AT ITER 4187 NEW BEST:: SOT 1137362 SOS 711799 HAS SOPS 710280 HAS SOUS 72191 HAS SOUPS 70672 WITH SCORE 71383.799
AT ITER 4211 NEW BEST:: SOT 1137573 SOS 712010 HAS SOPS 710491 HAS SOUS 72115 HAS SOUPS 70596 WITH SCORE 71308.01
AT ITER 4232 NEW BEST:: SOT 1137573 SOS 712002 HAS SOPS 710483 HAS SOUS 72111 HAS SOUPS 70592 WITH SCORE 71304.002
AT ITER 4256 NEW BEST:: SOT 1139045 SOS 713474 HAS SOPS 711955 HAS SOUS 71634 HAS SOUPS 70115 WITH SCORE 70828.474
AT ITER 4267 NEW BEST:: SOT 1139103 SOS 713498 HAS SOPS 711922 HAS SOUS 71658 HAS SOUPS 70082 WITH SCORE 70795.498
AT ITER 4316 NEW BEST:: SOT 1139103 SOS 712072 HAS SOPS 710434 HAS SOUS 71720 HAS SOUPS 70082 WITH SCORE 70794.072
AT ITER 4320 NEW BEST:: SOT 1139103 SOS 712068 HAS SOPS 710430 HAS SOUS 71716 HAS SOUPS 70078 WITH SCORE 70790.068
AT ITER 4336 NEW BEST:: SOT 1139049 SOS 712014 HAS SOPS 710376 HAS SOUS 71425 HAS SOUPS 69787 WITH SCORE 70499.014
AT ITER 4357 NEW BEST:: SOT 1139049 SOS 711342 HAS SOPS 709704 HAS SOUS 71425 HAS SOUPS 69787 WITH SCORE 70498.342
AT ITER 4367 NEW BEST:: SOT 1138974 SOS 711267 HAS SOPS 709629 HAS SOUS 71308 HAS SOUPS 69670 WITH SCORE 70381.267
AT ITER 4392 NEW BEST:: SOT 1137531 SOS 711720 HAS SOPS 710082 HAS SOUS 71000 HAS SOUPS 69362 WITH SCORE 70073.72
AT ITER 4412 NEW BEST:: SOT 1137531 SOS 711960 HAS SOPS 710322 HAS SOUS 70949 HAS SOUPS 69311 WITH SCORE 70022.96
AT ITER 4425 NEW BEST:: SOT 1137547 SOS 711994 HAS SOPS 710356 HAS SOUS 70758 HAS SOUPS 69120 WITH SCORE 69831.994
AT ITER 4468 NEW BEST:: SOT 1137547 SOS 711898 HAS SOPS 710260 HAS SOUS 70758 HAS SOUPS 69120 WITH SCORE 69831.898
AT ITER 4487 NEW BEST:: SOT 1137495 SOS 700056 HAS SOPS 698418 HAS SOUS 70675 HAS SOUPS 69037 WITH SCORE 69737.056
AT ITER 4491 NEW BEST:: SOT 1137494 SOS 700488 HAS SOPS 698850 HAS SOUS 70674 HAS SOUPS 69036 WITH SCORE 69736.488
AT ITER 4505 NEW BEST:: SOT 1137494 SOS 700056 HAS SOPS 698418 HAS SOUS 70674 HAS SOUPS 69036 WITH SCORE 69736.056
AT ITER 4507 NEW BEST:: SOT 1137516 SOS 702550 HAS SOPS 700912 HAS SOUS 69709 HAS SOUPS 68071 WITH SCORE 68773.55
AT ITER 4510 NEW BEST:: SOT 1137468 SOS 702502 HAS SOPS 700864 HAS SOUS 69658 HAS SOUPS 68020 WITH SCORE 68722.502
AT ITER 4514 NEW BEST:: SOT 1137468 SOS 702502 HAS SOPS 700864 HAS SOUS 69586 HAS SOUPS 67948 WITH SCORE 68650.502
AT ITER 4586 NEW BEST:: SOT 1137468 SOS 702502 HAS SOPS 700864 HAS SOUS 69556 HAS SOUPS 67918 WITH SCORE 68620.502
AT ITER 4588 NEW BEST:: SOT 1137118 SOS 701984 HAS SOPS 700346 HAS SOUS 69528 HAS SOUPS 67890 WITH SCORE 68591.984
AT ITER 4642 NEW BEST:: SOT 1137118 SOS 701984 HAS SOPS 700346 HAS SOUS 69489 HAS SOUPS 67851 WITH SCORE 68552.984
AT ITER 4650 NEW BEST:: SOT 1135423 SOS 700289 HAS SOPS 698651 HAS SOUS 69102 HAS SOUPS 67464 WITH SCORE 68164.289
AT ITER 4657 NEW BEST:: SOT 1135423 SOS 699329 HAS SOPS 697691 HAS SOUS 69102 HAS SOUPS 67464 WITH SCORE 68163.329
AT ITER 4663 NEW BEST:: SOT 1135427 SOS 699789 HAS SOPS 698151 HAS SOUS 69053 HAS SOUPS 67415 WITH SCORE 68114.789
AT ITER 4665 NEW BEST:: SOT 1135342 SOS 699704 HAS SOPS 698066 HAS SOUS 68909 HAS SOUPS 67271 WITH SCORE 67970.704
AT ITER 4693 NEW BEST:: SOT 1135342 SOS 698834 HAS SOPS 697196 HAS SOUS 68907 HAS SOUPS 67269 WITH SCORE 67967.834
AT ITER 4707 NEW BEST:: SOT 1135349 SOS 698841 HAS SOPS 697203 HAS SOUS 68861 HAS SOUPS 67223 WITH SCORE 67921.841
AT ITER 4708 NEW BEST:: SOT 1135349 SOS 698385 HAS SOPS 696747 HAS SOUS 68861 HAS SOUPS 67223 WITH SCORE 67921.385
AT ITER 4713 NEW BEST:: SOT 1134933 SOS 697785 HAS SOPS 696147 HAS SOUS 68478 HAS SOUPS 66840 WITH SCORE 67537.785
AT ITER 4749 NEW BEST:: SOT 1134933 SOS 698105 HAS SOPS 696467 HAS SOUS 68410 HAS SOUPS 66772 WITH SCORE 67470.105
AT ITER 4776 NEW BEST:: SOT 1135769 SOS 698941 HAS SOPS 697303 HAS SOUS 68091 HAS SOUPS 66453 WITH SCORE 67151.941
AT ITER 4779 NEW BEST:: SOT 1135769 SOS 699117 HAS SOPS 697479 HAS SOUS 68087 HAS SOUPS 66449 WITH SCORE 67148.117
AT ITER 4799 NEW BEST:: SOT 1135768 SOS 699116 HAS SOPS 697478 HAS SOUS 68085 HAS SOUPS 66447 WITH SCORE 67146.116
AT ITER 4872 NEW BEST:: SOT 1135742 SOS 699090 HAS SOPS 697452 HAS SOUS 68072 HAS SOUPS 66434 WITH SCORE 67133.09
AT ITER 4887 NEW BEST:: SOT 1135700 SOS 699048 HAS SOPS 697410 HAS SOUS 67987 HAS SOUPS 66349 WITH SCORE 67048.048
AT ITER 4983 NEW BEST:: SOT 1135370 SOS 698718 HAS SOPS 697080 HAS SOUS 67884 HAS SOUPS 66246 WITH SCORE 66944.718
AT ITER 4990 NEW BEST:: SOT 1135362 SOS 698710 HAS SOPS 697072 HAS SOUS 67876 HAS SOUPS 66238 WITH SCORE 66936.71
AT ITER 5008 NEW BEST:: SOT 1135194 SOS 698374 HAS SOPS 696736 HAS SOUS 67876 HAS SOUPS 66238 WITH SCORE 66936.374
AT ITER 5040 NEW BEST:: SOT 1135194 SOS 698352 HAS SOPS 696736 HAS SOUS 67854 HAS SOUPS 66238 WITH SCORE 66936.352
AT ITER 5058 NEW BEST:: SOT 1135594 SOS 698752 HAS SOPS 697136 HAS SOUS 67833 HAS SOUPS 66217 WITH SCORE 66915.752
AT ITER 5075 NEW BEST:: SOT 1135698 SOS 698856 HAS SOPS 697240 HAS SOUS 67824 HAS SOUPS 66208 WITH SCORE 66906.856
AT ITER 5087 NEW BEST:: SOT 1134987 SOS 700305 HAS SOPS 698689 HAS SOUS 67383 HAS SOUPS 65767 WITH SCORE 66467.305
AT ITER 5104 NEW BEST:: SOT 1135033 SOS 700351 HAS SOPS 698735 HAS SOUS 67291 HAS SOUPS 65675 WITH SCORE 66375.351
AT ITER 5124 NEW BEST:: SOT 1135033 SOS 700351 HAS SOPS 698735 HAS SOUS 67170 HAS SOUPS 65554 WITH SCORE 66254.351
AT ITER 5125 NEW BEST:: SOT 1135107 SOS 700425 HAS SOPS 698809 HAS SOUS 67108 HAS SOUPS 65492 WITH SCORE 66192.425
AT ITER 5136 NEW BEST:: SOT 1133712 SOS 698418 HAS SOPS 696802 HAS SOUS 67062 HAS SOUPS 65446 WITH SCORE 66144.418
AT ITER 5149 NEW BEST:: SOT 1133712 SOS 698419 HAS SOPS 696794 HAS SOUS 67062 HAS SOUPS 65437 WITH SCORE 66135.419
AT ITER 5154 NEW BEST:: SOT 1133712 SOS 698391 HAS SOPS 696766 HAS SOUS 67062 HAS SOUPS 65437 WITH SCORE 66135.391
AT ITER 5184 NEW BEST:: SOT 1133712 SOS 698742 HAS SOPS 697126 HAS SOUS 67038 HAS SOUPS 65422 WITH SCORE 66120.742
AT ITER 5230 NEW BEST:: SOT 1133712 SOS 698718 HAS SOPS 697102 HAS SOUS 67038 HAS SOUPS 65422 WITH SCORE 66120.718
AT ITER 5291 NEW BEST:: SOT 1133702 SOS 698708 HAS SOPS 697092 HAS SOUS 67020 HAS SOUPS 65404 WITH SCORE 66102.708
AT ITER 5322 NEW BEST:: SOT 1133824 SOS 698830 HAS SOPS 697214 HAS SOUS 66886 HAS SOUPS 65270 WITH SCORE 65968.83
AT ITER 5372 NEW BEST:: SOT 1133777 SOS 698969 HAS SOPS 697366 HAS SOUS 66825 HAS SOUPS 65222 WITH SCORE 65920.969
AT ITER 5492 NEW BEST:: SOT 1134085 SOS 699277 HAS SOPS 697674 HAS SOUS 66446 HAS SOUPS 64843 WITH SCORE 65542.277
AT ITER 5497 NEW BEST:: SOT 1134085 SOS 699277 HAS SOPS 697674 HAS SOUS 66426 HAS SOUPS 64823 WITH SCORE 65522.277
AT ITER 5507 NEW BEST:: SOT 1134011 SOS 699203 HAS SOPS 697600 HAS SOUS 66159 HAS SOUPS 64556 WITH SCORE 65255.203
AT ITER 5521 NEW BEST:: SOT 1134024 SOS 703629 HAS SOPS 701861 HAS SOUS 66215 HAS SOUPS 64447 WITH SCORE 65150.629
AT ITER 5524 NEW BEST:: SOT 1134024 SOS 703245 HAS SOPS 701477 HAS SOUS 66215 HAS SOUPS 64447 WITH SCORE 65150.245
AT ITER 5528 NEW BEST:: SOT 1134024 SOS 702647 HAS SOPS 700879 HAS SOUS 66215 HAS SOUPS 64447 WITH SCORE 65149.647
AT ITER 5533 NEW BEST:: SOT 1134647 SOS 703270 HAS SOPS 701502 HAS SOUS 66211 HAS SOUPS 64443 WITH SCORE 65146.27
AT ITER 5585 NEW BEST:: SOT 1134647 SOS 704118 HAS SOPS 702350 HAS SOUS 66167 HAS SOUPS 64399 WITH SCORE 65103.118
AT ITER 5599 NEW BEST:: SOT 1134769 SOS 704820 HAS SOPS 703053 HAS SOUS 66004 HAS SOUPS 64237 WITH SCORE 64941.82
AT ITER 5689 NEW BEST:: SOT 1134774 SOS 704825 HAS SOPS 703058 HAS SOUS 65994 HAS SOUPS 64227 WITH SCORE 64931.825
AT ITER 5709 NEW BEST:: SOT 1134774 SOS 704825 HAS SOPS 703058 HAS SOUS 65989 HAS SOUPS 64222 WITH SCORE 64926.825
AT ITER 5791 NEW BEST:: SOT 1136369 SOS 706968 HAS SOPS 705201 HAS SOUS 65821 HAS SOUPS 64054 WITH SCORE 64760.968
AT ITER 5806 NEW BEST:: SOT 1136346 SOS 706939 HAS SOPS 705172 HAS SOUS 65797 HAS SOUPS 64030 WITH SCORE 64736.939
AT ITER 5837 NEW BEST:: SOT 1135447 SOS 705956 HAS SOPS 704189 HAS SOUS 65579 HAS SOUPS 63812 WITH SCORE 64517.956
AT ITER 5907 NEW BEST:: SOT 1135393 SOS 705902 HAS SOPS 704135 HAS SOUS 65496 HAS SOUPS 63729 WITH SCORE 64434.902
AT ITER 5910 NEW BEST:: SOT 1135270 SOS 703890 HAS SOPS 702298 HAS SOUS 64473 HAS SOUPS 62881 WITH SCORE 63584.89
AT ITER 5934 NEW BEST:: SOT 1135220 SOS 703840 HAS SOPS 702248 HAS SOUS 64427 HAS SOUPS 62835 WITH SCORE 63538.84
AT ITER 5939 NEW BEST:: SOT 1135076 SOS 703696 HAS SOPS 702104 HAS SOUS 64279 HAS SOUPS 62687 WITH SCORE 63390.696
AT ITER 5967 NEW BEST:: SOT 1135076 SOS 703696 HAS SOPS 702104 HAS SOUS 63961 HAS SOUPS 62369 WITH SCORE 63072.696
AT ITER 5976 NEW BEST:: SOT 1135034 SOS 703678 HAS SOPS 702094 HAS SOUS 63935 HAS SOUPS 62351 WITH SCORE 63054.678
AT ITER 5995 NEW BEST:: SOT 1135034 SOS 703582 HAS SOPS 701998 HAS SOUS 63935 HAS SOUPS 62351 WITH SCORE 63054.582
AT ITER 6027 NEW BEST:: SOT 1134606 SOS 705250 HAS SOPS 703666 HAS SOUS 63691 HAS SOUPS 62107 WITH SCORE 62812.25
AT ITER 6035 NEW BEST:: SOT 1135578 SOS 706144 HAS SOPS 704566 HAS SOUS 63449 HAS SOUPS 61871 WITH SCORE 62577.144
AT ITER 6039 NEW BEST:: SOT 1135590 SOS 706156 HAS SOPS 704578 HAS SOUS 63411 HAS SOUPS 61833 WITH SCORE 62539.156
AT ITER 6045 NEW BEST:: SOT 1135590 SOS 705876 HAS SOPS 704298 HAS SOUS 63411 HAS SOUPS 61833 WITH SCORE 62538.876
AT ITER 6068 NEW BEST:: SOT 1135590 SOS 705876 HAS SOPS 704298 HAS SOUS 63399 HAS SOUPS 61821 WITH SCORE 62526.876
AT ITER 6104 NEW BEST:: SOT 1135470 SOS 705756 HAS SOPS 704178 HAS SOUS 63275 HAS SOUPS 61697 WITH SCORE 62402.756
AT ITER 6110 NEW BEST:: SOT 1135562 SOS 705848 HAS SOPS 704270 HAS SOUS 63169 HAS SOUPS 61591 WITH SCORE 62296.848
AT ITER 6130 NEW BEST:: SOT 1135562 SOS 706256 HAS SOPS 704678 HAS SOUS 63165 HAS SOUPS 61587 WITH SCORE 62293.256
AT ITER 6152 NEW BEST:: SOT 1135557 SOS 706251 HAS SOPS 704673 HAS SOUS 63160 HAS SOUPS 61582 WITH SCORE 62288.251
AT ITER 6195 NEW BEST:: SOT 1135896 SOS 706590 HAS SOPS 705012 HAS SOUS 62810 HAS SOUPS 61232 WITH SCORE 61938.59
AT ITER 6216 NEW BEST:: SOT 1135562 SOS 706500 HAS SOPS 704922 HAS SOUS 62598 HAS SOUPS 61020 WITH SCORE 61726.5
AT ITER 6230 NEW BEST:: SOT 1136093 SOS 708111 HAS SOPS 706578 HAS SOUS 62453 HAS SOUPS 60920 WITH SCORE 61628.111
AT ITER 6274 NEW BEST:: SOT 1136031 SOS 708049 HAS SOPS 706516 HAS SOUS 62378 HAS SOUPS 60845 WITH SCORE 61553.049
AT ITER 6361 NEW BEST:: SOT 1136031 SOS 708009 HAS SOPS 706476 HAS SOUS 62368 HAS SOUPS 60835 WITH SCORE 61543.009
AT ITER 6402 NEW BEST:: SOT 1136031 SOS 708089 HAS SOPS 706556 HAS SOUS 62360 HAS SOUPS 60827 WITH SCORE 61535.089
AT ITER 6403 NEW BEST:: SOT 1136417 SOS 708475 HAS SOPS 706942 HAS SOUS 62272 HAS SOUPS 60739 WITH SCORE 61447.475
AT ITER 6404 NEW BEST:: SOT 1136146 SOS 708204 HAS SOPS 706671 HAS SOUS 62256 HAS SOUPS 60723 WITH SCORE 61431.204
AT ITER 6408 NEW BEST:: SOT 1136106 SOS 708164 HAS SOPS 706631 HAS SOUS 62228 HAS SOUPS 60695 WITH SCORE 61403.164
AT ITER 6462 NEW BEST:: SOT 1136090 SOS 708148 HAS SOPS 706615 HAS SOUS 62185 HAS SOUPS 60652 WITH SCORE 61360.148
AT ITER 6491 NEW BEST:: SOT 1136090 SOS 708148 HAS SOPS 706615 HAS SOUS 62181 HAS SOUPS 60648 WITH SCORE 61356.148
AT ITER 6553 NEW BEST:: SOT 1136102 SOS 708160 HAS SOPS 706627 HAS SOUS 62087 HAS SOUPS 60554 WITH SCORE 61262.16
AT ITER 6579 NEW BEST:: SOT 1136102 SOS 708070 HAS SOPS 706537 HAS SOUS 62087 HAS SOUPS 60554 WITH SCORE 61262.07
AT ITER 6581 NEW BEST:: SOT 1136314 SOS 704370 HAS SOPS 702837 HAS SOUS 62045 HAS SOUPS 60512 WITH SCORE 61216.37
AT ITER 6622 NEW BEST:: SOT 1136314 SOS 704682 HAS SOPS 703149 HAS SOUS 62032 HAS SOUPS 60499 WITH SCORE 61203.682
AT ITER 6665 NEW BEST:: SOT 1136407 SOS 704775 HAS SOPS 703242 HAS SOUS 61786 HAS SOUPS 60253 WITH SCORE 60957.775
AT ITER 6666 NEW BEST:: SOT 1136036 SOS 704404 HAS SOPS 702871 HAS SOUS 61723 HAS SOUPS 60190 WITH SCORE 60894.404
AT ITER 6765 NEW BEST:: SOT 1135955 SOS 704323 HAS SOPS 702790 HAS SOUS 61680 HAS SOUPS 60147 WITH SCORE 60851.323
AT ITER 6839 NEW BEST:: SOT 1135955 SOS 704233 HAS SOPS 702700 HAS SOUS 61680 HAS SOUPS 60147 WITH SCORE 60851.233
AT ITER 6843 NEW BEST:: SOT 1135955 SOS 704305 HAS SOPS 702772 HAS SOUS 61677 HAS SOUPS 60144 WITH SCORE 60848.305
AT ITER 6877 NEW BEST:: SOT 1135955 SOS 704857 HAS SOPS 703324 HAS SOUS 61665 HAS SOUPS 60132 WITH SCORE 60836.857
AT ITER 6884 NEW BEST:: SOT 1135955 SOS 704849 HAS SOPS 703316 HAS SOUS 61663 HAS SOUPS 60130 WITH SCORE 60834.849
AT ITER 6926 NEW BEST:: SOT 1135939 SOS 706636 HAS SOPS 704956 HAS SOUS 61795 HAS SOUPS 60115 WITH SCORE 60821.636
AT ITER 6943 NEW BEST:: SOT 1135610 SOS 706216 HAS SOPS 704536 HAS SOUS 61795 HAS SOUPS 60115 WITH SCORE 60821.216
AT ITER 6959 NEW BEST:: SOT 1135876 SOS 706482 HAS SOPS 704802 HAS SOUS 61720 HAS SOUPS 60040 WITH SCORE 60746.482
AT ITER 6964 NEW BEST:: SOT 1135876 SOS 706790 HAS SOPS 705110 HAS SOUS 61706 HAS SOUPS 60026 WITH SCORE 60732.79
AT ITER 6972 NEW BEST:: SOT 1135874 SOS 706788 HAS SOPS 705108 HAS SOUS 61692 HAS SOUPS 60012 WITH SCORE 60718.788
AT ITER 6985 NEW BEST:: SOT 1135784 SOS 706682 HAS SOPS 705002 HAS SOUS 61627 HAS SOUPS 59947 WITH SCORE 60653.682
AT ITER 7004 NEW BEST:: SOT 1134204 SOS 689231 HAS SOPS 687551 HAS SOUS 61579 HAS SOUPS 59899 WITH SCORE 60588.231
AT ITER 7105 NEW BEST:: SOT 1134283 SOS 689310 HAS SOPS 687630 HAS SOUS 61550 HAS SOUPS 59870 WITH SCORE 60559.31
AT ITER 7113 NEW BEST:: SOT 1133941 SOS 688858 HAS SOPS 687143 HAS SOUS 61512 HAS SOUPS 59797 WITH SCORE 60485.858
AT ITER 7125 NEW BEST:: SOT 1133150 SOS 688067 HAS SOPS 686352 HAS SOUS 61409 HAS SOUPS 59694 WITH SCORE 60382.067
AT ITER 7135 NEW BEST:: SOT 1132670 SOS 687447 HAS SOPS 685732 HAS SOUS 61273 HAS SOUPS 59558 WITH SCORE 60245.447
AT ITER 7141 NEW BEST:: SOT 1132670 SOS 687167 HAS SOPS 685452 HAS SOUS 61273 HAS SOUPS 59558 WITH SCORE 60245.167
AT ITER 7142 NEW BEST:: SOT 1132532 SOS 687029 HAS SOPS 685314 HAS SOUS 61117 HAS SOUPS 59402 WITH SCORE 60089.029
AT ITER 7158 NEW BEST:: SOT 1132541 SOS 687086 HAS SOPS 685371 HAS SOUS 61102 HAS SOUPS 59387 WITH SCORE 60074.086
AT ITER 7171 NEW BEST:: SOT 1132563 SOS 687105 HAS SOPS 685537 HAS SOUS 60919 HAS SOUPS 59351 WITH SCORE 60038.105
AT ITER 7172 NEW BEST:: SOT 1132563 SOS 687105 HAS SOPS 685537 HAS SOUS 60911 HAS SOUPS 59343 WITH SCORE 60030.105
AT ITER 7198 NEW BEST:: SOT 1132772 SOS 687314 HAS SOPS 685746 HAS SOUS 60818 HAS SOUPS 59250 WITH SCORE 59937.314
AT ITER 7214 NEW BEST:: SOT 1132697 SOS 685649 HAS SOPS 684081 HAS SOUS 60809 HAS SOUPS 59241 WITH SCORE 59926.649
AT ITER 7227 NEW BEST:: SOT 1133791 SOS 686743 HAS SOPS 685175 HAS SOUS 60767 HAS SOUPS 59199 WITH SCORE 59885.743
AT ITER 7252 NEW BEST:: SOT 1133871 SOS 686823 HAS SOPS 685255 HAS SOUS 60533 HAS SOUPS 58965 WITH SCORE 59651.823
AT ITER 7261 NEW BEST:: SOT 1133871 SOS 686679 HAS SOPS 685111 HAS SOUS 60533 HAS SOUPS 58965 WITH SCORE 59651.679
AT ITER 7288 NEW BEST:: SOT 1133871 SOS 686679 HAS SOPS 685111 HAS SOUS 60515 HAS SOUPS 58947 WITH SCORE 59633.679
AT ITER 7328 NEW BEST:: SOT 1133871 SOS 686271 HAS SOPS 684703 HAS SOUS 60515 HAS SOUPS 58947 WITH SCORE 59633.271
AT ITER 7371 NEW BEST:: SOT 1134080 SOS 686395 HAS SOPS 684984 HAS SOUS 60345 HAS SOUPS 58934 WITH SCORE 59620.395
AT ITER 7398 NEW BEST:: SOT 1134080 SOS 687115 HAS SOPS 685704 HAS SOUS 60330 HAS SOUPS 58919 WITH SCORE 59606.115
AT ITER 7412 NEW BEST:: SOT 1134080 SOS 687019 HAS SOPS 685608 HAS SOUS 60330 HAS SOUPS 58919 WITH SCORE 59606.019
AT ITER 7448 NEW BEST:: SOT 1133361 SOS 687718 HAS SOPS 686249 HAS SOUS 60246 HAS SOUPS 58822 WITH SCORE 59509.718
AT ITER 7491 NEW BEST:: SOT 1133361 SOS 687696 HAS SOPS 686227 HAS SOUS 60246 HAS SOUPS 58822 WITH SCORE 59509.696
AT ITER 7523 NEW BEST:: SOT 1131583 SOS 684588 HAS SOPS 683153 HAS SOUS 60143 HAS SOUPS 58753 WITH SCORE 59437.588
AT ITER 7607 NEW BEST:: SOT 1131583 SOS 684586 HAS SOPS 683151 HAS SOUS 60142 HAS SOUPS 58752 WITH SCORE 59436.586
AT ITER 7630 NEW BEST:: SOT 1131583 SOS 683674 HAS SOPS 682239 HAS SOUS 60142 HAS SOUPS 58752 WITH SCORE 59435.674
AT ITER 7659 NEW BEST:: SOT 1131583 SOS 683674 HAS SOPS 682239 HAS SOUS 60137 HAS SOUPS 58747 WITH SCORE 59430.674
AT ITER 7669 NEW BEST:: SOT 1131583 SOS 683674 HAS SOPS 682239 HAS SOUS 60122 HAS SOUPS 58732 WITH SCORE 59415.674
AT ITER 7671 NEW BEST:: SOT 1131578 SOS 683669 HAS SOPS 682234 HAS SOUS 60117 HAS SOUPS 58727 WITH SCORE 59410.669
AT ITER 7697 NEW BEST:: SOT 1131339 SOS 683430 HAS SOPS 681995 HAS SOUS 59761 HAS SOUPS 58371 WITH SCORE 59054.43
AT ITER 7741 NEW BEST:: SOT 1131339 SOS 683430 HAS SOPS 681995 HAS SOUS 59754 HAS SOUPS 58364 WITH SCORE 59047.43
AT ITER 7742 NEW BEST:: SOT 1131343 SOS 683425 HAS SOPS 681990 HAS SOUS 59749 HAS SOUPS 58359 WITH SCORE 59042.425
AT ITER 7767 NEW BEST:: SOT 1130993 SOS 683075 HAS SOPS 681640 HAS SOUS 59642 HAS SOUPS 58252 WITH SCORE 58935.075
AT ITER 7769 NEW BEST:: SOT 1130993 SOS 683027 HAS SOPS 681592 HAS SOUS 59642 HAS SOUPS 58252 WITH SCORE 58935.027
AT ITER 7773 NEW BEST:: SOT 1130781 SOS 684279 HAS SOPS 682844 HAS SOUS 59538 HAS SOUPS 58148 WITH SCORE 58832.279
AT ITER 7846 NEW BEST:: SOT 1130781 SOS 683381 HAS SOPS 682004 HAS SOUS 59500 HAS SOUPS 58123 WITH SCORE 58806.381
AT ITER 7879 NEW BEST:: SOT 1130565 SOS 683165 HAS SOPS 681788 HAS SOUS 59233 HAS SOUPS 57856 WITH SCORE 58539.165
AT ITER 7913 NEW BEST:: SOT 1130580 SOS 683180 HAS SOPS 681803 HAS SOUS 59230 HAS SOUPS 57853 WITH SCORE 58536.18
AT ITER 7915 NEW BEST:: SOT 1130580 SOS 683124 HAS SOPS 681747 HAS SOUS 59230 HAS SOUPS 57853 WITH SCORE 58536.124
AT ITER 8004 NEW BEST:: SOT 1130583 SOS 683127 HAS SOPS 681750 HAS SOUS 59092 HAS SOUPS 57715 WITH SCORE 58398.127
AT ITER 8032 NEW BEST:: SOT 1130459 SOS 683003 HAS SOPS 681626 HAS SOUS 59033 HAS SOUPS 57656 WITH SCORE 58339.003
AT ITER 8070 NEW BEST:: SOT 1131436 SOS 683980 HAS SOPS 682603 HAS SOUS 58939 HAS SOUPS 57562 WITH SCORE 58245.98
AT ITER 8071 NEW BEST:: SOT 1131443 SOS 683987 HAS SOPS 682610 HAS SOUS 58896 HAS SOUPS 57519 WITH SCORE 58202.987
AT ITER 8098 NEW BEST:: SOT 1130244 SOS 682819 HAS SOPS 681414 HAS SOUS 58906 HAS SOUPS 57501 WITH SCORE 58183.819
AT ITER 8124 NEW BEST:: SOT 1130244 SOS 682999 HAS SOPS 681594 HAS SOUS 58897 HAS SOUPS 57492 WITH SCORE 58174.999
AT ITER 8140 NEW BEST:: SOT 1130119 SOS 682869 HAS SOPS 681464 HAS SOUS 58892 HAS SOUPS 57487 WITH SCORE 58169.869
AT ITER 8232 NEW BEST:: SOT 1130119 SOS 682869 HAS SOPS 681464 HAS SOUS 58885 HAS SOUPS 57480 WITH SCORE 58162.869
AT ITER 8307 NEW BEST:: SOT 1130119 SOS 676780 HAS SOPS 675358 HAS SOUS 58900 HAS SOUPS 57478 WITH SCORE 58154.78
AT ITER 8334 NEW BEST:: SOT 1130119 SOS 676780 HAS SOPS 675358 HAS SOUS 58893 HAS SOUPS 57471 WITH SCORE 58147.78
AT ITER 8406 NEW BEST:: SOT 1130116 SOS 676777 HAS SOPS 675355 HAS SOUS 58891 HAS SOUPS 57469 WITH SCORE 58145.777
AT ITER 8490 NEW BEST:: SOT 1130116 SOS 676777 HAS SOPS 675355 HAS SOUS 58889 HAS SOUPS 57467 WITH SCORE 58143.777
AT ITER 8526 NEW BEST:: SOT 1130116 SOS 676821 HAS SOPS 675399 HAS SOUS 58888 HAS SOUPS 57466 WITH SCORE 58142.821
AT ITER 8532 NEW BEST:: SOT 1130119 SOS 676824 HAS SOPS 675402 HAS SOUS 58859 HAS SOUPS 57437 WITH SCORE 58113.824
AT ITER 8565 NEW BEST:: SOT 1130119 SOS 677736 HAS SOPS 676314 HAS SOUS 58856 HAS SOUPS 57434 WITH SCORE 58111.736
AT ITER 8594 NEW BEST:: SOT 1130335 SOS 677952 HAS SOPS 676530 HAS SOUS 58813 HAS SOUPS 57391 WITH SCORE 58068.952
AT ITER 8602 NEW BEST:: SOT 1130335 SOS 677280 HAS SOPS 675858 HAS SOUS 58813 HAS SOUPS 57391 WITH SCORE 58068.28
AT ITER 8689 NEW BEST:: SOT 1130335 SOS 677760 HAS SOPS 676338 HAS SOUS 58793 HAS SOUPS 57371 WITH SCORE 58048.76
AT ITER 8705 NEW BEST:: SOT 1130335 SOS 677760 HAS SOPS 676338 HAS SOUS 58786 HAS SOUPS 57364 WITH SCORE 58041.76
AT ITER 8709 NEW BEST:: SOT 1130404 SOS 677836 HAS SOPS 676414 HAS SOUS 58722 HAS SOUPS 57300 WITH SCORE 57977.836
AT ITER 8723 NEW BEST:: SOT 1130398 SOS 677830 HAS SOPS 676408 HAS SOUS 58716 HAS SOUPS 57294 WITH SCORE 57971.83
AT ITER 8786 NEW BEST:: SOT 1130398 SOS 677830 HAS SOPS 676408 HAS SOUS 58710 HAS SOUPS 57288 WITH SCORE 57965.83
AT ITER 8826 NEW BEST:: SOT 1130398 SOS 678090 HAS SOPS 676668 HAS SOUS 58697 HAS SOUPS 57275 WITH SCORE 57953.09
AT ITER 8831 NEW BEST:: SOT 1130400 SOS 678092 HAS SOPS 676670 HAS SOUS 58695 HAS SOUPS 57273 WITH SCORE 57951.092
AT ITER 8832 NEW BEST:: SOT 1130400 SOS 678092 HAS SOPS 676670 HAS SOUS 58677 HAS SOUPS 57255 WITH SCORE 57933.092
AT ITER 8890 NEW BEST:: SOT 1130403 SOS 678095 HAS SOPS 676673 HAS SOUS 58605 HAS SOUPS 57183 WITH SCORE 57861.095
AT ITER 8895 NEW BEST:: SOT 1130381 SOS 678219 HAS SOPS 676797 HAS SOUS 58583 HAS SOUPS 57161 WITH SCORE 57839.219
AT ITER 8927 NEW BEST:: SOT 1130421 SOS 678259 HAS SOPS 676837 HAS SOUS 58546 HAS SOUPS 57124 WITH SCORE 57802.259
AT ITER 8982 NEW BEST:: SOT 1130421 SOS 676987 HAS SOPS 675565 HAS SOUS 58546 HAS SOUPS 57124 WITH SCORE 57800.987
AT ITER 9004 NEW BEST:: SOT 1130433 SOS 664687 HAS SOPS 663265 HAS SOUS 58558 HAS SOUPS 57136 WITH SCORE 57800.687
AT ITER 9084 NEW BEST:: SOT 1130433 SOS 664495 HAS SOPS 663073 HAS SOUS 58558 HAS SOUPS 57136 WITH SCORE 57800.495
AT ITER 9088 NEW BEST:: SOT 1130083 SOS 664073 HAS SOPS 662651 HAS SOUS 58494 HAS SOUPS 57072 WITH SCORE 57736.073
AT ITER 9090 NEW BEST:: SOT 1130086 SOS 664076 HAS SOPS 662654 HAS SOUS 58461 HAS SOUPS 57039 WITH SCORE 57703.076
AT ITER 9195 NEW BEST:: SOT 1130086 SOS 663548 HAS SOPS 662126 HAS SOUS 58461 HAS SOUPS 57039 WITH SCORE 57702.548
AT ITER 9226 NEW BEST:: SOT 1130089 SOS 663551 HAS SOPS 662129 HAS SOUS 58442 HAS SOUPS 57020 WITH SCORE 57683.551
AT ITER 9251 NEW BEST:: SOT 1130089 SOS 663263 HAS SOPS 661841 HAS SOUS 58442 HAS SOUPS 57020 WITH SCORE 57683.263
AT ITER 9294 NEW BEST:: SOT 1129744 SOS 662918 HAS SOPS 661496 HAS SOUS 58396 HAS SOUPS 56974 WITH SCORE 57636.918
AT ITER 9297 NEW BEST:: SOT 1129744 SOS 663623 HAS SOPS 662201 HAS SOUS 58381 HAS SOUPS 56959 WITH SCORE 57622.623
AT ITER 9327 NEW BEST:: SOT 1128976 SOS 662791 HAS SOPS 661369 HAS SOUS 58276 HAS SOUPS 56854 WITH SCORE 57516.791
AT ITER 9356 NEW BEST:: SOT 1128976 SOS 662720 HAS SOPS 661298 HAS SOUS 58276 HAS SOUPS 56854 WITH SCORE 57516.72
AT ITER 9430 NEW BEST:: SOT 1128759 SOS 662287 HAS SOPS 660835 HAS SOUS 58275 HAS SOUPS 56823 WITH SCORE 57485.287
AT ITER 9459 NEW BEST:: SOT 1128759 SOS 662167 HAS SOPS 660715 HAS SOUS 58275 HAS SOUPS 56823 WITH SCORE 57485.167
AT ITER 9468 NEW BEST:: SOT 1128759 SOS 662167 HAS SOPS 660715 HAS SOUS 58268 HAS SOUPS 56816 WITH SCORE 57478.167
AT ITER 9565 NEW BEST:: SOT 1128759 SOS 655765 HAS SOPS 654313 HAS SOUS 58268 HAS SOUPS 56816 WITH SCORE 57471.765
AT ITER 9585 NEW BEST:: SOT 1128766 SOS 655772 HAS SOPS 654320 HAS SOUS 58262 HAS SOUPS 56810 WITH SCORE 57465.772
AT ITER 9669 NEW BEST:: SOT 1128766 SOS 655772 HAS SOPS 654320 HAS SOUS 58258 HAS SOUPS 56806 WITH SCORE 57461.772
AT ITER 9706 NEW BEST:: SOT 1128766 SOS 655388 HAS SOPS 653936 HAS SOUS 58258 HAS SOUPS 56806 WITH SCORE 57461.388
AT ITER 9893 NEW BEST:: SOT 1128439 SOS 655061 HAS SOPS 653609 HAS SOUS 58130 HAS SOUPS 56678 WITH SCORE 57333.061
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 2469300 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114080 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="Medical-PT-18"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Medical-PT-18, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r235-tall-167856422200720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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