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.r387-oct2-167903712000616.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPt-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712000616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 452K
-rw-r--r-- 1 mcc users 6.1K Feb 25 20:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 20:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 20:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 20:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 21:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 21:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 20:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 20:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679067721230

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=ShieldPPPt-PT-010A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 010A
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: 253 places, 183 transitions, 726 arcs.
AT ITER 0 NEW BEST:: SOT 38059 SOS 31846 HAS SOPS 31846 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25887.846
AT ITER 3 NEW BEST:: SOT 37943 SOS 31761 HAS SOPS 31761 HAS SOUS 25720 HAS SOUPS 25720 WITH SCORE 25751.761
AT ITER 4 NEW BEST:: SOT 37943 SOS 31443 HAS SOPS 31443 HAS SOUS 25645 HAS SOUPS 25645 WITH SCORE 25676.443
AT ITER 7 NEW BEST:: SOT 37918 SOS 31432 HAS SOPS 31432 HAS SOUS 25634 HAS SOUPS 25634 WITH SCORE 25665.432
AT ITER 10 NEW BEST:: SOT 37918 SOS 31351 HAS SOPS 31351 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 25645.351
AT ITER 11 NEW BEST:: SOT 37918 SOS 30977 HAS SOPS 30977 HAS SOUS 25611 HAS SOUPS 25611 WITH SCORE 25641.977
AT ITER 12 NEW BEST:: SOT 37597 SOS 30720 HAS SOPS 30720 HAS SOUS 25385 HAS SOUPS 25385 WITH SCORE 25415.72
AT ITER 13 NEW BEST:: SOT 37472 SOS 30593 HAS SOPS 30593 HAS SOUS 25258 HAS SOUPS 25258 WITH SCORE 25288.593
AT ITER 15 NEW BEST:: SOT 37458 SOS 30579 HAS SOPS 30579 HAS SOUS 25244 HAS SOUPS 25244 WITH SCORE 25274.579
AT ITER 16 NEW BEST:: SOT 37422 SOS 30543 HAS SOPS 30543 HAS SOUS 25208 HAS SOUPS 25208 WITH SCORE 25238.543
AT ITER 19 NEW BEST:: SOT 37324 SOS 30323 HAS SOPS 30323 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25052.323
AT ITER 20 NEW BEST:: SOT 37240 SOS 30239 HAS SOPS 30239 HAS SOUS 24938 HAS SOUPS 24938 WITH SCORE 24968.239
AT ITER 22 NEW BEST:: SOT 36922 SOS 29917 HAS SOPS 29917 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24522.917
AT ITER 23 NEW BEST:: SOT 36961 SOS 29552 HAS SOPS 29552 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24511.552
AT ITER 24 NEW BEST:: SOT 36889 SOS 29221 HAS SOPS 29221 HAS SOUS 24365 HAS SOUPS 24365 WITH SCORE 24394.221
AT ITER 29 NEW BEST:: SOT 37009 SOS 29071 HAS SOPS 29071 HAS SOUS 24263 HAS SOUPS 24263 WITH SCORE 24292.071
AT ITER 38 NEW BEST:: SOT 36826 SOS 28886 HAS SOPS 28886 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24168.886
AT ITER 39 NEW BEST:: SOT 36907 SOS 28549 HAS SOPS 28549 HAS SOUS 24099 HAS SOUPS 24099 WITH SCORE 24127.549
AT ITER 40 NEW BEST:: SOT 36823 SOS 28300 HAS SOPS 28300 HAS SOUS 23948 HAS SOUPS 23948 WITH SCORE 23976.3
AT ITER 41 NEW BEST:: SOT 36686 SOS 28163 HAS SOPS 28163 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23839.163
AT ITER 42 NEW BEST:: SOT 36649 SOS 28146 HAS SOPS 28146 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23820.146
AT ITER 43 NEW BEST:: SOT 36613 SOS 28076 HAS SOPS 28076 HAS SOUS 23720 HAS SOUPS 23720 WITH SCORE 23748.076
AT ITER 44 NEW BEST:: SOT 36613 SOS 27975 HAS SOPS 27975 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23711.975
AT ITER 45 NEW BEST:: SOT 36514 SOS 27849 HAS SOPS 27849 HAS SOUS 23550 HAS SOUPS 23550 WITH SCORE 23577.849
AT ITER 46 NEW BEST:: SOT 36528 SOS 27793 HAS SOPS 27793 HAS SOUS 23547 HAS SOUPS 23547 WITH SCORE 23574.793
AT ITER 49 NEW BEST:: SOT 36460 SOS 27454 HAS SOPS 27454 HAS SOUS 23349 HAS SOUPS 23349 WITH SCORE 23376.454
AT ITER 51 NEW BEST:: SOT 36354 SOS 27348 HAS SOPS 27348 HAS SOUS 23243 HAS SOUPS 23243 WITH SCORE 23270.348
AT ITER 53 NEW BEST:: SOT 36330 SOS 27310 HAS SOPS 27310 HAS SOUS 23205 HAS SOUPS 23205 WITH SCORE 23232.31
AT ITER 54 NEW BEST:: SOT 36372 SOS 27174 HAS SOPS 27174 HAS SOUS 23186 HAS SOUPS 23186 WITH SCORE 23213.174
AT ITER 59 NEW BEST:: SOT 36368 SOS 27170 HAS SOPS 27170 HAS SOUS 23180 HAS SOUPS 23180 WITH SCORE 23207.17
AT ITER 62 NEW BEST:: SOT 36308 SOS 27070 HAS SOPS 27070 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23127.07
AT ITER 63 NEW BEST:: SOT 35976 SOS 26738 HAS SOPS 26738 HAS SOUS 22766 HAS SOUPS 22766 WITH SCORE 22792.738
AT ITER 64 NEW BEST:: SOT 35976 SOS 26664 HAS SOPS 26664 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22790.664
AT ITER 65 NEW BEST:: SOT 35962 SOS 26650 HAS SOPS 26650 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22776.65
AT ITER 66 NEW BEST:: SOT 35894 SOS 26582 HAS SOPS 26582 HAS SOUS 22748 HAS SOUPS 22748 WITH SCORE 22774.582
AT ITER 69 NEW BEST:: SOT 35802 SOS 26488 HAS SOPS 26488 HAS SOUS 22653 HAS SOUPS 22653 WITH SCORE 22679.488
AT ITER 73 NEW BEST:: SOT 35791 SOS 26477 HAS SOPS 26477 HAS SOUS 22642 HAS SOUPS 22642 WITH SCORE 22668.477
AT ITER 75 NEW BEST:: SOT 35726 SOS 26412 HAS SOPS 26412 HAS SOUS 22577 HAS SOUPS 22577 WITH SCORE 22603.412
AT ITER 76 NEW BEST:: SOT 35724 SOS 26105 HAS SOPS 26105 HAS SOUS 22488 HAS SOUPS 22488 WITH SCORE 22514.105
AT ITER 77 NEW BEST:: SOT 35469 SOS 25850 HAS SOPS 25850 HAS SOUS 22236 HAS SOUPS 22236 WITH SCORE 22261.85
AT ITER 79 NEW BEST:: SOT 35288 SOS 25753 HAS SOPS 25753 HAS SOUS 22177 HAS SOUPS 22177 WITH SCORE 22202.753
AT ITER 80 NEW BEST:: SOT 35235 SOS 25630 HAS SOPS 25630 HAS SOUS 22061 HAS SOUPS 22061 WITH SCORE 22086.63
AT ITER 81 NEW BEST:: SOT 35121 SOS 25459 HAS SOPS 25459 HAS SOUS 21890 HAS SOUPS 21890 WITH SCORE 21915.459
AT ITER 82 NEW BEST:: SOT 35121 SOS 25447 HAS SOPS 25447 HAS SOUS 21890 HAS SOUPS 21890 WITH SCORE 21915.447
AT ITER 83 NEW BEST:: SOT 35099 SOS 25425 HAS SOPS 25425 HAS SOUS 21868 HAS SOUPS 21868 WITH SCORE 21893.425
AT ITER 89 NEW BEST:: SOT 35091 SOS 25417 HAS SOPS 25417 HAS SOUS 21860 HAS SOUPS 21860 WITH SCORE 21885.417
AT ITER 97 NEW BEST:: SOT 35005 SOS 25351 HAS SOPS 25351 HAS SOUS 21794 HAS SOUPS 21794 WITH SCORE 21819.351
AT ITER 100 NEW BEST:: SOT 34996 SOS 25342 HAS SOPS 25342 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21818.342
AT ITER 101 NEW BEST:: SOT 34994 SOS 25127 HAS SOPS 25127 HAS SOUS 21730 HAS SOUPS 21730 WITH SCORE 21755.127
AT ITER 106 NEW BEST:: SOT 34947 SOS 25112 HAS SOPS 25112 HAS SOUS 21713 HAS SOUPS 21713 WITH SCORE 21738.112
AT ITER 108 NEW BEST:: SOT 34947 SOS 25009 HAS SOPS 25009 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21709.009
AT ITER 110 NEW BEST:: SOT 34858 SOS 24918 HAS SOPS 24918 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21617.918
AT ITER 114 NEW BEST:: SOT 34679 SOS 24739 HAS SOPS 24739 HAS SOUS 21414 HAS SOUPS 21414 WITH SCORE 21438.739
AT ITER 118 NEW BEST:: SOT 34399 SOS 24459 HAS SOPS 24459 HAS SOUS 21122 HAS SOUPS 21122 WITH SCORE 21146.459
AT ITER 121 NEW BEST:: SOT 34399 SOS 24458 HAS SOPS 24458 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21145.458
AT ITER 123 NEW BEST:: SOT 34399 SOS 24426 HAS SOPS 24426 HAS SOUS 21114 HAS SOUPS 21114 WITH SCORE 21138.426
AT ITER 125 NEW BEST:: SOT 34388 SOS 24239 HAS SOPS 24239 HAS SOUS 21051 HAS SOUPS 21051 WITH SCORE 21075.239
AT ITER 130 NEW BEST:: SOT 34206 SOS 24057 HAS SOPS 24057 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20893.057
AT ITER 132 NEW BEST:: SOT 34157 SOS 24008 HAS SOPS 24008 HAS SOUS 20811 HAS SOUPS 20811 WITH SCORE 20835.008
AT ITER 133 NEW BEST:: SOT 34172 SOS 23796 HAS SOPS 23796 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20696.796
AT ITER 135 NEW BEST:: SOT 34027 SOS 23541 HAS SOPS 23541 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20390.541
AT ITER 136 NEW BEST:: SOT 33965 SOS 23479 HAS SOPS 23479 HAS SOUS 20287 HAS SOUPS 20287 WITH SCORE 20310.479
AT ITER 137 NEW BEST:: SOT 33965 SOS 23420 HAS SOPS 23420 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20251.42
AT ITER 139 NEW BEST:: SOT 33963 SOS 23409 HAS SOPS 23409 HAS SOUS 20226 HAS SOUPS 20226 WITH SCORE 20249.409
AT ITER 142 NEW BEST:: SOT 33942 SOS 23388 HAS SOPS 23388 HAS SOUS 20205 HAS SOUPS 20205 WITH SCORE 20228.388
AT ITER 143 NEW BEST:: SOT 33827 SOS 22928 HAS SOPS 22928 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19980.928
AT ITER 145 NEW BEST:: SOT 33827 SOS 22742 HAS SOPS 22742 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19980.742
AT ITER 147 NEW BEST:: SOT 33867 SOS 22615 HAS SOPS 22615 HAS SOUS 19873 HAS SOUPS 19873 WITH SCORE 19895.615
AT ITER 151 NEW BEST:: SOT 33841 SOS 22587 HAS SOPS 22587 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19867.587
AT ITER 153 NEW BEST:: SOT 33809 SOS 22555 HAS SOPS 22555 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19835.555
AT ITER 154 NEW BEST:: SOT 33809 SOS 22553 HAS SOPS 22553 HAS SOUS 19811 HAS SOUPS 19811 WITH SCORE 19833.553
AT ITER 159 NEW BEST:: SOT 33854 SOS 22245 HAS SOPS 22245 HAS SOUS 19733 HAS SOUPS 19733 WITH SCORE 19755.245
AT ITER 162 NEW BEST:: SOT 33854 SOS 22169 HAS SOPS 22169 HAS SOUS 19733 HAS SOUPS 19733 WITH SCORE 19755.169
AT ITER 169 NEW BEST:: SOT 33560 SOS 21874 HAS SOPS 21874 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19505.874
AT ITER 171 NEW BEST:: SOT 33560 SOS 21742 HAS SOPS 21742 HAS SOUS 19483 HAS SOUPS 19483 WITH SCORE 19504.742
AT ITER 174 NEW BEST:: SOT 33557 SOS 21739 HAS SOPS 21739 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19501.739
AT ITER 177 NEW BEST:: SOT 33489 SOS 21652 HAS SOPS 21652 HAS SOUS 19393 HAS SOUPS 19393 WITH SCORE 19414.652
AT ITER 182 NEW BEST:: SOT 33489 SOS 21458 HAS SOPS 21458 HAS SOUS 19333 HAS SOUPS 19333 WITH SCORE 19354.458
AT ITER 185 NEW BEST:: SOT 33309 SOS 21330 HAS SOPS 21330 HAS SOUS 19197 HAS SOUPS 19197 WITH SCORE 19218.33
AT ITER 186 NEW BEST:: SOT 33180 SOS 21178 HAS SOPS 21178 HAS SOUS 18936 HAS SOUPS 18936 WITH SCORE 18957.178
AT ITER 188 NEW BEST:: SOT 33219 SOS 21016 HAS SOPS 21016 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18881.016
AT ITER 194 NEW BEST:: SOT 33279 SOS 20819 HAS SOPS 20819 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18724.819
AT ITER 195 NEW BEST:: SOT 33279 SOS 20781 HAS SOPS 20781 HAS SOUS 18674 HAS SOUPS 18674 WITH SCORE 18694.781
AT ITER 197 NEW BEST:: SOT 33184 SOS 20636 HAS SOPS 20636 HAS SOUS 18529 HAS SOUPS 18529 WITH SCORE 18549.636
AT ITER 200 NEW BEST:: SOT 33107 SOS 20557 HAS SOPS 20557 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18469.557
AT ITER 202 NEW BEST:: SOT 33007 SOS 20064 HAS SOPS 20064 HAS SOUS 18214 HAS SOUPS 18214 WITH SCORE 18234.064
AT ITER 203 NEW BEST:: SOT 32840 SOS 19902 HAS SOPS 19902 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18132.902
AT ITER 209 NEW BEST:: SOT 32836 SOS 19898 HAS SOPS 19898 HAS SOUS 18108 HAS SOUPS 18108 WITH SCORE 18127.898
AT ITER 214 NEW BEST:: SOT 32836 SOS 19891 HAS SOPS 19891 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18120.891
AT ITER 218 NEW BEST:: SOT 32921 SOS 19823 HAS SOPS 19823 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18106.823
AT ITER 226 NEW BEST:: SOT 32770 SOS 19602 HAS SOPS 19602 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17879.602
AT ITER 230 NEW BEST:: SOT 32637 SOS 18962 HAS SOPS 18962 HAS SOUS 17557 HAS SOUPS 17557 WITH SCORE 17575.962
AT ITER 234 NEW BEST:: SOT 32567 SOS 18826 HAS SOPS 18826 HAS SOUS 17421 HAS SOUPS 17421 WITH SCORE 17439.826
AT ITER 242 NEW BEST:: SOT 32542 SOS 18748 HAS SOPS 18748 HAS SOUS 17343 HAS SOUPS 17343 WITH SCORE 17361.748
AT ITER 255 NEW BEST:: SOT 32455 SOS 18661 HAS SOPS 18661 HAS SOUS 17256 HAS SOUPS 17256 WITH SCORE 17274.661
AT ITER 259 NEW BEST:: SOT 32370 SOS 18501 HAS SOPS 18501 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17114.501
AT ITER 263 NEW BEST:: SOT 32351 SOS 18481 HAS SOPS 18481 HAS SOUS 17076 HAS SOUPS 17076 WITH SCORE 17094.481
AT ITER 264 NEW BEST:: SOT 32374 SOS 18509 HAS SOPS 18509 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17084.509
AT ITER 265 NEW BEST:: SOT 32366 SOS 18484 HAS SOPS 18484 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17049.484
AT ITER 269 NEW BEST:: SOT 32360 SOS 18478 HAS SOPS 18478 HAS SOUS 17025 HAS SOUPS 17025 WITH SCORE 17043.478
AT ITER 272 NEW BEST:: SOT 32354 SOS 18472 HAS SOPS 18472 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17037.472
AT ITER 274 NEW BEST:: SOT 32251 SOS 18355 HAS SOPS 18355 HAS SOUS 16898 HAS SOUPS 16898 WITH SCORE 16916.355
AT ITER 282 NEW BEST:: SOT 32243 SOS 18333 HAS SOPS 18333 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16894.333
AT ITER 283 NEW BEST:: SOT 32042 SOS 18069 HAS SOPS 18069 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16712.069
AT ITER 286 NEW BEST:: SOT 32016 SOS 18043 HAS SOPS 18043 HAS SOUS 16668 HAS SOUPS 16668 WITH SCORE 16686.043
AT ITER 288 NEW BEST:: SOT 32013 SOS 18037 HAS SOPS 18037 HAS SOUS 16665 HAS SOUPS 16665 WITH SCORE 16683.037
AT ITER 291 NEW BEST:: SOT 31973 SOS 17997 HAS SOPS 17997 HAS SOUS 16625 HAS SOUPS 16625 WITH SCORE 16642.997
AT ITER 308 NEW BEST:: SOT 31918 SOS 17942 HAS SOPS 17942 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16587.942
AT ITER 310 NEW BEST:: SOT 31903 SOS 17927 HAS SOPS 17927 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16572.927
AT ITER 321 NEW BEST:: SOT 31896 SOS 17912 HAS SOPS 17912 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16557.912
AT ITER 329 NEW BEST:: SOT 31862 SOS 17861 HAS SOPS 17861 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16506.861
AT ITER 330 NEW BEST:: SOT 31756 SOS 17708 HAS SOPS 17708 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16327.708
AT ITER 334 NEW BEST:: SOT 31691 SOS 17579 HAS SOPS 17579 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16198.579
AT ITER 336 NEW BEST:: SOT 31460 SOS 17285 HAS SOPS 17285 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16004.285
AT ITER 338 NEW BEST:: SOT 31451 SOS 17291 HAS SOPS 17291 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15975.291
AT ITER 343 NEW BEST:: SOT 31440 SOS 17269 HAS SOPS 17269 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15953.269
AT ITER 344 NEW BEST:: SOT 31440 SOS 17267 HAS SOPS 17267 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15951.267
AT ITER 346 NEW BEST:: SOT 31398 SOS 17225 HAS SOPS 17225 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15923.225
AT ITER 347 NEW BEST:: SOT 31316 SOS 17143 HAS SOPS 17143 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15839.143
AT ITER 355 NEW BEST:: SOT 31310 SOS 17105 HAS SOPS 17105 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15801.105
AT ITER 362 NEW BEST:: SOT 31325 SOS 17018 HAS SOPS 17018 HAS SOUS 15743 HAS SOUPS 15743 WITH SCORE 15760.018
AT ITER 366 NEW BEST:: SOT 31315 SOS 16912 HAS SOPS 16912 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15725.912
AT ITER 372 NEW BEST:: SOT 31267 SOS 16829 HAS SOPS 16829 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15642.829
AT ITER 373 NEW BEST:: SOT 31262 SOS 16819 HAS SOPS 16819 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15632.819
AT ITER 390 NEW BEST:: SOT 31253 SOS 16810 HAS SOPS 16810 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15595.81
AT ITER 402 NEW BEST:: SOT 31221 SOS 16805 HAS SOPS 16805 HAS SOUS 15568 HAS SOUPS 15568 WITH SCORE 15584.805
AT ITER 403 NEW BEST:: SOT 31215 SOS 16799 HAS SOPS 16799 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15572.799
AT ITER 414 NEW BEST:: SOT 31118 SOS 16701 HAS SOPS 16701 HAS SOUS 15458 HAS SOUPS 15458 WITH SCORE 15474.701
AT ITER 417 NEW BEST:: SOT 31107 SOS 16646 HAS SOPS 16646 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15452.646
AT ITER 424 NEW BEST:: SOT 31098 SOS 16638 HAS SOPS 16638 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15431.638
AT ITER 426 NEW BEST:: SOT 30992 SOS 16476 HAS SOPS 16476 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15260.476
AT ITER 427 NEW BEST:: SOT 30992 SOS 16216 HAS SOPS 16216 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15188.216
AT ITER 434 NEW BEST:: SOT 30969 SOS 16193 HAS SOPS 16193 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15165.193
AT ITER 436 NEW BEST:: SOT 30946 SOS 16170 HAS SOPS 16170 HAS SOUS 15126 HAS SOUPS 15126 WITH SCORE 15142.17
AT ITER 442 NEW BEST:: SOT 30928 SOS 16113 HAS SOPS 16113 HAS SOUS 15072 HAS SOUPS 15072 WITH SCORE 15088.113
AT ITER 443 NEW BEST:: SOT 30959 SOS 16099 HAS SOPS 16099 HAS SOUS 15058 HAS SOUPS 15058 WITH SCORE 15074.099
AT ITER 447 NEW BEST:: SOT 30959 SOS 16050 HAS SOPS 16050 HAS SOUS 15043 HAS SOUPS 15043 WITH SCORE 15059.05
AT ITER 460 NEW BEST:: SOT 30959 SOS 16023 HAS SOPS 16023 HAS SOUS 15024 HAS SOUPS 15024 WITH SCORE 15040.023
AT ITER 461 NEW BEST:: SOT 30949 SOS 16013 HAS SOPS 16013 HAS SOUS 15014 HAS SOUPS 15014 WITH SCORE 15030.013
AT ITER 471 NEW BEST:: SOT 30913 SOS 15977 HAS SOPS 15977 HAS SOUS 14978 HAS SOUPS 14978 WITH SCORE 14993.977
AT ITER 474 NEW BEST:: SOT 30911 SOS 15974 HAS SOPS 15974 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14990.974
AT ITER 479 NEW BEST:: SOT 30923 SOS 15956 HAS SOPS 15956 HAS SOUS 14957 HAS SOUPS 14957 WITH SCORE 14972.956
AT ITER 485 NEW BEST:: SOT 30907 SOS 15956 HAS SOPS 15956 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14941.956
AT ITER 487 NEW BEST:: SOT 30899 SOS 15934 HAS SOPS 15934 HAS SOUS 14903 HAS SOUPS 14903 WITH SCORE 14918.934
AT ITER 489 NEW BEST:: SOT 30899 SOS 15930 HAS SOPS 15930 HAS SOUS 14899 HAS SOUPS 14899 WITH SCORE 14914.93
AT ITER 492 NEW BEST:: SOT 30858 SOS 15889 HAS SOPS 15889 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14910.889
AT ITER 497 NEW BEST:: SOT 30843 SOS 15859 HAS SOPS 15859 HAS SOUS 14880 HAS SOUPS 14880 WITH SCORE 14895.859
AT ITER 500 NEW BEST:: SOT 30798 SOS 15771 HAS SOPS 15771 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14850.771
AT ITER 505 NEW BEST:: SOT 30729 SOS 15641 HAS SOPS 15641 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14720.641
AT ITER 507 NEW BEST:: SOT 30658 SOS 15525 HAS SOPS 15525 HAS SOUS 14589 HAS SOUPS 14589 WITH SCORE 14604.525
AT ITER 510 NEW BEST:: SOT 30580 SOS 15434 HAS SOPS 15434 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14513.434
AT ITER 520 NEW BEST:: SOT 30497 SOS 15405 HAS SOPS 15405 HAS SOUS 14469 HAS SOUPS 14469 WITH SCORE 14484.405
AT ITER 523 NEW BEST:: SOT 30391 SOS 15299 HAS SOPS 15299 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14378.299
AT ITER 528 NEW BEST:: SOT 30390 SOS 15292 HAS SOPS 15292 HAS SOUS 14361 HAS SOUPS 14361 WITH SCORE 14376.292
AT ITER 533 NEW BEST:: SOT 30388 SOS 15285 HAS SOPS 15285 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14375.285
AT ITER 536 NEW BEST:: SOT 30351 SOS 15202 HAS SOPS 15202 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14292.202
AT ITER 541 NEW BEST:: SOT 30334 SOS 15183 HAS SOPS 15183 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14273.183
AT ITER 542 NEW BEST:: SOT 30332 SOS 15181 HAS SOPS 15181 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14271.181
AT ITER 543 NEW BEST:: SOT 30328 SOS 15135 HAS SOPS 15135 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14236.135
AT ITER 560 NEW BEST:: SOT 30302 SOS 15109 HAS SOPS 15109 HAS SOUS 14195 HAS SOUPS 14195 WITH SCORE 14210.109
AT ITER 561 NEW BEST:: SOT 30297 SOS 15104 HAS SOPS 15104 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14205.104
AT ITER 565 NEW BEST:: SOT 30279 SOS 15012 HAS SOPS 15012 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14113.012
AT ITER 566 NEW BEST:: SOT 30261 SOS 14985 HAS SOPS 14985 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14097.985
AT ITER 571 NEW BEST:: SOT 30246 SOS 14955 HAS SOPS 14955 HAS SOUS 14053 HAS SOUPS 14053 WITH SCORE 14067.955
AT ITER 575 NEW BEST:: SOT 30142 SOS 14810 HAS SOPS 14810 HAS SOUS 13965 HAS SOUPS 13965 WITH SCORE 13979.81
AT ITER 590 NEW BEST:: SOT 30142 SOS 14810 HAS SOPS 14810 HAS SOUS 13964 HAS SOUPS 13964 WITH SCORE 13978.81
AT ITER 597 NEW BEST:: SOT 30198 SOS 14866 HAS SOPS 14866 HAS SOUS 13955 HAS SOUPS 13955 WITH SCORE 13969.866
AT ITER 604 NEW BEST:: SOT 30192 SOS 14860 HAS SOPS 14860 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13963.86
AT ITER 609 NEW BEST:: SOT 30186 SOS 14902 HAS SOPS 14902 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13909.902
AT ITER 623 NEW BEST:: SOT 30178 SOS 14913 HAS SOPS 14913 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13897.913
AT ITER 625 NEW BEST:: SOT 30178 SOS 14793 HAS SOPS 14793 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13897.793
AT ITER 627 NEW BEST:: SOT 30129 SOS 14612 HAS SOPS 14612 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13750.612
AT ITER 646 NEW BEST:: SOT 30108 SOS 14597 HAS SOPS 14597 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13724.597
AT ITER 648 NEW BEST:: SOT 30097 SOS 14583 HAS SOPS 14583 HAS SOUS 13696 HAS SOUPS 13696 WITH SCORE 13710.583
AT ITER 663 NEW BEST:: SOT 30039 SOS 14502 HAS SOPS 14502 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13629.502
AT ITER 666 NEW BEST:: SOT 29990 SOS 14439 HAS SOPS 14439 HAS SOUS 13577 HAS SOUPS 13577 WITH SCORE 13591.439
AT ITER 680 NEW BEST:: SOT 29990 SOS 14429 HAS SOPS 14429 HAS SOUS 13577 HAS SOUPS 13577 WITH SCORE 13591.429
AT ITER 686 NEW BEST:: SOT 29967 SOS 14389 HAS SOPS 14389 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13551.389
AT ITER 687 NEW BEST:: SOT 29963 SOS 14385 HAS SOPS 14385 HAS SOUS 13533 HAS SOUPS 13533 WITH SCORE 13547.385
AT ITER 713 NEW BEST:: SOT 29963 SOS 14380 HAS SOPS 14380 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13545.38
AT ITER 738 NEW BEST:: SOT 29917 SOS 14333 HAS SOPS 14333 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13498.333
AT ITER 740 NEW BEST:: SOT 29894 SOS 14261 HAS SOPS 14261 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13426.261
AT ITER 763 NEW BEST:: SOT 29887 SOS 14244 HAS SOPS 14244 HAS SOUS 13395 HAS SOUPS 13395 WITH SCORE 13409.244
AT ITER 778 NEW BEST:: SOT 29887 SOS 14240 HAS SOPS 14240 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13375.24
AT ITER 784 NEW BEST:: SOT 29883 SOS 14208 HAS SOPS 14208 HAS SOUS 13337 HAS SOUPS 13337 WITH SCORE 13351.208
AT ITER 786 NEW BEST:: SOT 29835 SOS 14134 HAS SOPS 14134 HAS SOUS 13263 HAS SOUPS 13263 WITH SCORE 13277.134
AT ITER 795 NEW BEST:: SOT 29812 SOS 14115 HAS SOPS 14115 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13258.115
AT ITER 796 NEW BEST:: SOT 29796 SOS 14067 HAS SOPS 14067 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13210.067
AT ITER 803 NEW BEST:: SOT 29796 SOS 14065 HAS SOPS 14065 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13210.065
AT ITER 806 NEW BEST:: SOT 29794 SOS 14010 HAS SOPS 14010 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13155.01
AT ITER 807 NEW BEST:: SOT 29777 SOS 13992 HAS SOPS 13992 HAS SOUS 13123 HAS SOUPS 13123 WITH SCORE 13136.992
AT ITER 808 NEW BEST:: SOT 29720 SOS 13826 HAS SOPS 13826 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12970.826
AT ITER 812 NEW BEST:: SOT 29718 SOS 13794 HAS SOPS 13794 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12964.794
AT ITER 827 NEW BEST:: SOT 29706 SOS 13782 HAS SOPS 13782 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12952.782
AT ITER 829 NEW BEST:: SOT 29687 SOS 13763 HAS SOPS 13763 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12929.763
AT ITER 831 NEW BEST:: SOT 29687 SOS 13749 HAS SOPS 13749 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12929.749
AT ITER 835 NEW BEST:: SOT 29679 SOS 13744 HAS SOPS 13744 HAS SOUS 12911 HAS SOUPS 12911 WITH SCORE 12924.744
AT ITER 841 NEW BEST:: SOT 29667 SOS 13677 HAS SOPS 13677 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12888.677
AT ITER 852 NEW BEST:: SOT 29667 SOS 13650 HAS SOPS 13650 HAS SOUS 12848 HAS SOUPS 12848 WITH SCORE 12861.65
AT ITER 871 NEW BEST:: SOT 29643 SOS 13626 HAS SOPS 13626 HAS SOUS 12800 HAS SOUPS 12800 WITH SCORE 12813.626
AT ITER 879 NEW BEST:: SOT 29622 SOS 13530 HAS SOPS 13530 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12763.53
AT ITER 891 NEW BEST:: SOT 29622 SOS 13505 HAS SOPS 13505 HAS SOUS 12719 HAS SOUPS 12719 WITH SCORE 12732.505
AT ITER 892 NEW BEST:: SOT 29591 SOS 13444 HAS SOPS 13444 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12640.444
AT ITER 910 NEW BEST:: SOT 29584 SOS 13423 HAS SOPS 13423 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12619.423
AT ITER 913 NEW BEST:: SOT 29571 SOS 13387 HAS SOPS 13387 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12583.387
AT ITER 917 NEW BEST:: SOT 29552 SOS 13326 HAS SOPS 13326 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12540.326
AT ITER 920 NEW BEST:: SOT 29537 SOS 13172 HAS SOPS 13172 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12464.172
AT ITER 935 NEW BEST:: SOT 29535 SOS 13150 HAS SOPS 13150 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12458.15
AT ITER 942 NEW BEST:: SOT 29529 SOS 13136 HAS SOPS 13136 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12448.136
AT ITER 948 NEW BEST:: SOT 29475 SOS 13028 HAS SOPS 13028 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12340.028
AT ITER 954 NEW BEST:: SOT 29471 SOS 13024 HAS SOPS 13024 HAS SOUS 12323 HAS SOUPS 12323 WITH SCORE 12336.024
AT ITER 955 NEW BEST:: SOT 29411 SOS 12934 HAS SOPS 12934 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12245.934
AT ITER 956 NEW BEST:: SOT 29407 SOS 12930 HAS SOPS 12930 HAS SOUS 12229 HAS SOUPS 12229 WITH SCORE 12241.93
AT ITER 957 NEW BEST:: SOT 29403 SOS 12926 HAS SOPS 12926 HAS SOUS 12225 HAS SOUPS 12225 WITH SCORE 12237.926
AT ITER 959 NEW BEST:: SOT 29461 SOS 12923 HAS SOPS 12923 HAS SOUS 12222 HAS SOUPS 12222 WITH SCORE 12234.923
AT ITER 986 NEW BEST:: SOT 29438 SOS 12876 HAS SOPS 12876 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12187.876
AT ITER 997 NEW BEST:: SOT 29443 SOS 12821 HAS SOPS 12821 HAS SOUS 12151 HAS SOUPS 12151 WITH SCORE 12163.821
AT ITER 1010 NEW BEST:: SOT 29427 SOS 12805 HAS SOPS 12805 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12147.805
AT ITER 1047 NEW BEST:: SOT 29415 SOS 12793 HAS SOPS 12793 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12135.793
AT ITER 1059 NEW BEST:: SOT 29411 SOS 12785 HAS SOPS 12785 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12123.785
AT ITER 1068 NEW BEST:: SOT 29411 SOS 12771 HAS SOPS 12771 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12109.771
AT ITER 1080 NEW BEST:: SOT 29358 SOS 12718 HAS SOPS 12718 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12056.718
AT ITER 1122 NEW BEST:: SOT 29347 SOS 12672 HAS SOPS 12672 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12010.672
AT ITER 1127 NEW BEST:: SOT 29346 SOS 12645 HAS SOPS 12645 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12008.645
AT ITER 1136 NEW BEST:: SOT 29346 SOS 12630 HAS SOPS 12630 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12008.63
AT ITER 1155 NEW BEST:: SOT 29345 SOS 12621 HAS SOPS 12621 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 11999.621
AT ITER 1171 NEW BEST:: SOT 29159 SOS 12293 HAS SOPS 12293 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11763.293
AT ITER 1182 NEW BEST:: SOT 29164 SOS 12292 HAS SOPS 12292 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11758.292
AT ITER 1184 NEW BEST:: SOT 29159 SOS 12251 HAS SOPS 12251 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11732.251
AT ITER 1198 NEW BEST:: SOT 29158 SOS 12250 HAS SOPS 12250 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11731.25
AT ITER 1203 NEW BEST:: SOT 29158 SOS 12241 HAS SOPS 12241 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11726.241
AT ITER 1209 NEW BEST:: SOT 29139 SOS 12205 HAS SOPS 12205 HAS SOUS 11676 HAS SOUPS 11676 WITH SCORE 11688.205
AT ITER 1212 NEW BEST:: SOT 29057 SOS 12145 HAS SOPS 12145 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11626.145
AT ITER 1219 NEW BEST:: SOT 29036 SOS 12139 HAS SOPS 12139 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11621.139
AT ITER 1241 NEW BEST:: SOT 29033 SOS 12135 HAS SOPS 12135 HAS SOUS 11605 HAS SOUPS 11605 WITH SCORE 11617.135
AT ITER 1242 NEW BEST:: SOT 28961 SOS 12033 HAS SOPS 12033 HAS SOUS 11503 HAS SOUPS 11503 WITH SCORE 11515.033
AT ITER 1274 NEW BEST:: SOT 28952 SOS 12015 HAS SOPS 12015 HAS SOUS 11494 HAS SOUPS 11494 WITH SCORE 11506.015
AT ITER 1298 NEW BEST:: SOT 28914 SOS 11956 HAS SOPS 11956 HAS SOUS 11433 HAS SOUPS 11433 WITH SCORE 11444.956
AT ITER 1300 NEW BEST:: SOT 28908 SOS 11949 HAS SOPS 11949 HAS SOUS 11426 HAS SOUPS 11426 WITH SCORE 11437.949
AT ITER 1309 NEW BEST:: SOT 28900 SOS 11933 HAS SOPS 11933 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11420.933
AT ITER 1310 NEW BEST:: SOT 28890 SOS 11883 HAS SOPS 11883 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11363.883
AT ITER 1320 NEW BEST:: SOT 28904 SOS 11858 HAS SOPS 11858 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11344.858
AT ITER 1322 NEW BEST:: SOT 28902 SOS 11828 HAS SOPS 11828 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11314.828
AT ITER 1325 NEW BEST:: SOT 28845 SOS 11799 HAS SOPS 11799 HAS SOUS 11274 HAS SOUPS 11274 WITH SCORE 11285.799
AT ITER 1333 NEW BEST:: SOT 28845 SOS 11793 HAS SOPS 11793 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11279.793
AT ITER 1352 NEW BEST:: SOT 28833 SOS 11749 HAS SOPS 11749 HAS SOUS 11224 HAS SOUPS 11224 WITH SCORE 11235.749
AT ITER 1362 NEW BEST:: SOT 28834 SOS 11748 HAS SOPS 11748 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11234.748
AT ITER 1372 NEW BEST:: SOT 28833 SOS 11745 HAS SOPS 11745 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11232.745
AT ITER 1375 NEW BEST:: SOT 28828 SOS 11739 HAS SOPS 11739 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11226.739
AT ITER 1381 NEW BEST:: SOT 28827 SOS 11722 HAS SOPS 11722 HAS SOUS 11198 HAS SOUPS 11198 WITH SCORE 11209.722
AT ITER 1382 NEW BEST:: SOT 28820 SOS 11721 HAS SOPS 11721 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11207.721
AT ITER 1397 NEW BEST:: SOT 28812 SOS 11695 HAS SOPS 11695 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11189.695
AT ITER 1418 NEW BEST:: SOT 28800 SOS 11670 HAS SOPS 11670 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11175.67
AT ITER 1435 NEW BEST:: SOT 28804 SOS 11669 HAS SOPS 11669 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11174.669
AT ITER 1436 NEW BEST:: SOT 28807 SOS 11669 HAS SOPS 11669 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11165.669
AT ITER 1445 NEW BEST:: SOT 28792 SOS 11630 HAS SOPS 11630 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11126.63
AT ITER 1448 NEW BEST:: SOT 28793 SOS 11626 HAS SOPS 11626 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11122.626
AT ITER 1463 NEW BEST:: SOT 28771 SOS 11603 HAS SOPS 11603 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11099.603
AT ITER 1469 NEW BEST:: SOT 28757 SOS 11552 HAS SOPS 11552 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11077.552
AT ITER 1479 NEW BEST:: SOT 28757 SOS 11497 HAS SOPS 11497 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11022.497
AT ITER 1480 NEW BEST:: SOT 28749 SOS 11496 HAS SOPS 11496 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11006.496
AT ITER 1484 NEW BEST:: SOT 28747 SOS 11494 HAS SOPS 11494 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11004.494
AT ITER 1488 NEW BEST:: SOT 28739 SOS 11486 HAS SOPS 11486 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10996.486
AT ITER 1497 NEW BEST:: SOT 28727 SOS 11462 HAS SOPS 11462 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10972.462
AT ITER 1503 NEW BEST:: SOT 28723 SOS 11455 HAS SOPS 11455 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10965.455
AT ITER 1524 NEW BEST:: SOT 28714 SOS 11447 HAS SOPS 11447 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10957.447
AT ITER 1530 NEW BEST:: SOT 28721 SOS 11453 HAS SOPS 11453 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10944.453
AT ITER 1533 NEW BEST:: SOT 28703 SOS 11431 HAS SOPS 11431 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10922.431
AT ITER 1553 NEW BEST:: SOT 28694 SOS 11413 HAS SOPS 11413 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10904.413
AT ITER 1561 NEW BEST:: SOT 28665 SOS 11321 HAS SOPS 11321 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10861.321
AT ITER 1600 NEW BEST:: SOT 28654 SOS 11310 HAS SOPS 11310 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10850.31
AT ITER 1610 NEW BEST:: SOT 28654 SOS 11293 HAS SOPS 11293 HAS SOUS 10822 HAS SOUPS 10822 WITH SCORE 10833.293
AT ITER 1614 NEW BEST:: SOT 28649 SOS 11316 HAS SOPS 11316 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10825.316
AT ITER 1628 NEW BEST:: SOT 28649 SOS 11316 HAS SOPS 11316 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10819.316
AT ITER 1640 NEW BEST:: SOT 28636 SOS 11303 HAS SOPS 11303 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10778.303
AT ITER 1641 NEW BEST:: SOT 28621 SOS 11297 HAS SOPS 11297 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10772.297
AT ITER 1648 NEW BEST:: SOT 28608 SOS 11284 HAS SOPS 11284 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10759.284
AT ITER 1651 NEW BEST:: SOT 28601 SOS 11228 HAS SOPS 11228 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10738.228
AT ITER 1655 NEW BEST:: SOT 28587 SOS 11214 HAS SOPS 11214 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10724.214
AT ITER 1659 NEW BEST:: SOT 28636 SOS 11170 HAS SOPS 11170 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10663.17
AT ITER 1664 NEW BEST:: SOT 28621 SOS 11140 HAS SOPS 11140 HAS SOUS 10622 HAS SOUPS 10622 WITH SCORE 10633.14
AT ITER 1667 NEW BEST:: SOT 28623 SOS 11130 HAS SOPS 11130 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10623.13
AT ITER 1675 NEW BEST:: SOT 28619 SOS 11122 HAS SOPS 11122 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10615.122
AT ITER 1676 NEW BEST:: SOT 28613 SOS 11114 HAS SOPS 11114 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10607.114
AT ITER 1680 NEW BEST:: SOT 28534 SOS 11026 HAS SOPS 11026 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10519.026
AT ITER 1693 NEW BEST:: SOT 28531 SOS 11023 HAS SOPS 11023 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10516.023
AT ITER 1716 NEW BEST:: SOT 28531 SOS 11023 HAS SOPS 11023 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10490.023
AT ITER 1720 NEW BEST:: SOT 28515 SOS 11007 HAS SOPS 11007 HAS SOUS 10463 HAS SOUPS 10463 WITH SCORE 10474.007
AT ITER 1723 NEW BEST:: SOT 28499 SOS 10975 HAS SOPS 10975 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10441.975
AT ITER 1725 NEW BEST:: SOT 28474 SOS 10950 HAS SOPS 10950 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10416.95
AT ITER 1738 NEW BEST:: SOT 28460 SOS 10935 HAS SOPS 10935 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10401.935
AT ITER 1775 NEW BEST:: SOT 28448 SOS 10918 HAS SOPS 10918 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10388.918
AT ITER 1776 NEW BEST:: SOT 28428 SOS 10903 HAS SOPS 10903 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10379.903
AT ITER 1793 NEW BEST:: SOT 28420 SOS 10886 HAS SOPS 10886 HAS SOUS 10352 HAS SOUPS 10352 WITH SCORE 10362.886
AT ITER 1814 NEW BEST:: SOT 28416 SOS 10878 HAS SOPS 10878 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10354.878
AT ITER 1836 NEW BEST:: SOT 28408 SOS 10875 HAS SOPS 10875 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10351.875
AT ITER 1860 NEW BEST:: SOT 28406 SOS 10873 HAS SOPS 10873 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10325.873
AT ITER 1871 NEW BEST:: SOT 28316 SOS 10824 HAS SOPS 10824 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10276.824
AT ITER 1899 NEW BEST:: SOT 28330 SOS 10815 HAS SOPS 10815 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10256.815
AT ITER 1937 NEW BEST:: SOT 28314 SOS 10799 HAS SOPS 10799 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10256.799
AT ITER 1938 NEW BEST:: SOT 28292 SOS 10771 HAS SOPS 10771 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10247.771
AT ITER 1949 NEW BEST:: SOT 28271 SOS 10769 HAS SOPS 10769 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10245.769
AT ITER 1968 NEW BEST:: SOT 28278 SOS 10657 HAS SOPS 10657 HAS SOUS 10223 HAS SOUPS 10223 WITH SCORE 10233.657
AT ITER 1976 NEW BEST:: SOT 28267 SOS 10662 HAS SOPS 10662 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10213.662
AT ITER 1977 NEW BEST:: SOT 28261 SOS 10644 HAS SOPS 10644 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10195.644
AT ITER 1983 NEW BEST:: SOT 28266 SOS 10608 HAS SOPS 10608 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10159.608
AT ITER 1985 NEW BEST:: SOT 28247 SOS 10594 HAS SOPS 10594 HAS SOUS 10135 HAS SOUPS 10135 WITH SCORE 10145.594
AT ITER 1990 NEW BEST:: SOT 28256 SOS 10575 HAS SOPS 10575 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10136.575
AT ITER 2011 NEW BEST:: SOT 28253 SOS 10526 HAS SOPS 10526 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10087.526
AT ITER 2028 NEW BEST:: SOT 28253 SOS 10506 HAS SOPS 10506 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10087.506
AT ITER 2046 NEW BEST:: SOT 28253 SOS 10503 HAS SOPS 10503 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10087.503
AT ITER 2090 NEW BEST:: SOT 28247 SOS 10497 HAS SOPS 10497 HAS SOUS 10071 HAS SOUPS 10071 WITH SCORE 10081.497
AT ITER 2114 NEW BEST:: SOT 28248 SOS 10451 HAS SOPS 10451 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10067.451
AT ITER 2124 NEW BEST:: SOT 28243 SOS 10446 HAS SOPS 10446 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10062.446
AT ITER 2127 NEW BEST:: SOT 28240 SOS 10440 HAS SOPS 10440 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10053.44
AT ITER 2134 NEW BEST:: SOT 28235 SOS 10426 HAS SOPS 10426 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10043.426
AT ITER 2158 NEW BEST:: SOT 28223 SOS 10405 HAS SOPS 10405 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10020.405
AT ITER 2177 NEW BEST:: SOT 28223 SOS 10397 HAS SOPS 10397 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10020.397
AT ITER 2191 NEW BEST:: SOT 28221 SOS 10385 HAS SOPS 10385 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10008.385
AT ITER 2212 NEW BEST:: SOT 28221 SOS 10377 HAS SOPS 10377 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10004.377
AT ITER 2215 NEW BEST:: SOT 28221 SOS 10373 HAS SOPS 10373 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10000.373
AT ITER 2217 NEW BEST:: SOT 28204 SOS 10330 HAS SOPS 10330 HAS SOUS 9947 HAS SOUPS 9947 WITH SCORE 9957.33
AT ITER 2237 NEW BEST:: SOT 28192 SOS 10321 HAS SOPS 10321 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9948.321
AT ITER 2253 NEW BEST:: SOT 28191 SOS 10320 HAS SOPS 10320 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9947.32
AT ITER 2261 NEW BEST:: SOT 28156 SOS 10285 HAS SOPS 10285 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9912.285
AT ITER 2262 NEW BEST:: SOT 28136 SOS 10204 HAS SOPS 10204 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9842.204
AT ITER 2292 NEW BEST:: SOT 28134 SOS 10198 HAS SOPS 10198 HAS SOUS 9830 HAS SOUPS 9830 WITH SCORE 9840.198
AT ITER 2296 NEW BEST:: SOT 28126 SOS 10190 HAS SOPS 10190 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9832.19
AT ITER 2298 NEW BEST:: SOT 28119 SOS 10169 HAS SOPS 10169 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9811.169
AT ITER 2325 NEW BEST:: SOT 28119 SOS 10163 HAS SOPS 10163 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9799.163
AT ITER 2335 NEW BEST:: SOT 28119 SOS 10159 HAS SOPS 10159 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9796.159
AT ITER 2358 NEW BEST:: SOT 28121 SOS 10150 HAS SOPS 10150 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9787.15
AT ITER 2377 NEW BEST:: SOT 28141 SOS 10115 HAS SOPS 10115 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9777.115
AT ITER 2380 NEW BEST:: SOT 28140 SOS 10112 HAS SOPS 10112 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9772.112
AT ITER 2386 NEW BEST:: SOT 28178 SOS 10111 HAS SOPS 10111 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9771.111
AT ITER 2394 NEW BEST:: SOT 28177 SOS 10110 HAS SOPS 10110 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9770.11
AT ITER 2396 NEW BEST:: SOT 28161 SOS 10086 HAS SOPS 10086 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9747.086
AT ITER 2411 NEW BEST:: SOT 28161 SOS 10047 HAS SOPS 10047 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9708.047
AT ITER 2419 NEW BEST:: SOT 28129 SOS 9951 HAS SOPS 9951 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9643.951
AT ITER 2442 NEW BEST:: SOT 28074 SOS 9894 HAS SOPS 9894 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9586.894
AT ITER 2453 NEW BEST:: SOT 28074 SOS 9895 HAS SOPS 9895 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9582.895
AT ITER 2475 NEW BEST:: SOT 28070 SOS 9868 HAS SOPS 9868 HAS SOUS 9543 HAS SOUPS 9543 WITH SCORE 9552.868
AT ITER 2486 NEW BEST:: SOT 28062 SOS 9852 HAS SOPS 9852 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9533.852
AT ITER 2499 NEW BEST:: SOT 28054 SOS 9844 HAS SOPS 9844 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9525.844
AT ITER 2503 NEW BEST:: SOT 28054 SOS 9828 HAS SOPS 9828 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9509.828
AT ITER 2549 NEW BEST:: SOT 28053 SOS 9827 HAS SOPS 9827 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9508.827
AT ITER 2588 NEW BEST:: SOT 28053 SOS 9816 HAS SOPS 9816 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9497.816
AT ITER 2605 NEW BEST:: SOT 28051 SOS 9812 HAS SOPS 9812 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9493.812
AT ITER 2608 NEW BEST:: SOT 27999 SOS 9760 HAS SOPS 9760 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9441.76
AT ITER 2614 NEW BEST:: SOT 28018 SOS 9751 HAS SOPS 9751 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9432.751
AT ITER 2634 NEW BEST:: SOT 28009 SOS 9743 HAS SOPS 9743 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9419.743
AT ITER 2641 NEW BEST:: SOT 28009 SOS 9736 HAS SOPS 9736 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9419.736
AT ITER 2673 NEW BEST:: SOT 28021 SOS 9715 HAS SOPS 9715 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9411.715
AT ITER 2692 NEW BEST:: SOT 28002 SOS 9678 HAS SOPS 9678 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9379.678
AT ITER 2695 NEW BEST:: SOT 28002 SOS 9676 HAS SOPS 9676 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9377.676
AT ITER 2727 NEW BEST:: SOT 27985 SOS 9659 HAS SOPS 9659 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9360.659
AT ITER 2731 NEW BEST:: SOT 27953 SOS 9539 HAS SOPS 9539 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9240.539
AT ITER 2739 NEW BEST:: SOT 27967 SOS 9534 HAS SOPS 9534 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9235.534
AT ITER 2755 NEW BEST:: SOT 27975 SOS 9552 HAS SOPS 9552 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9229.552
AT ITER 2757 NEW BEST:: SOT 27959 SOS 9538 HAS SOPS 9538 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9219.538
AT ITER 2790 NEW BEST:: SOT 27950 SOS 9520 HAS SOPS 9520 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9201.52
AT ITER 2792 NEW BEST:: SOT 27960 SOS 9519 HAS SOPS 9519 HAS SOUS 9186 HAS SOUPS 9186 WITH SCORE 9195.519
AT ITER 2796 NEW BEST:: SOT 27954 SOS 9513 HAS SOPS 9513 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9176.513
AT ITER 2841 NEW BEST:: SOT 27954 SOS 9508 HAS SOPS 9508 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9171.508
AT ITER 2906 NEW BEST:: SOT 27940 SOS 9488 HAS SOPS 9488 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9143.488
AT ITER 2914 NEW BEST:: SOT 27935 SOS 9490 HAS SOPS 9490 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9142.49
AT ITER 2919 NEW BEST:: SOT 27928 SOS 9479 HAS SOPS 9479 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9127.479
AT ITER 2985 NEW BEST:: SOT 27912 SOS 9463 HAS SOPS 9463 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9111.463
AT ITER 2986 NEW BEST:: SOT 27890 SOS 9441 HAS SOPS 9441 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9089.441
AT ITER 3010 NEW BEST:: SOT 27886 SOS 9438 HAS SOPS 9438 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9086.438
AT ITER 3023 NEW BEST:: SOT 27886 SOS 9387 HAS SOPS 9387 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9052.387
AT ITER 3042 NEW BEST:: SOT 27885 SOS 9384 HAS SOPS 9384 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9050.384
AT ITER 3077 NEW BEST:: SOT 27879 SOS 9374 HAS SOPS 9374 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9040.374
AT ITER 3078 NEW BEST:: SOT 27879 SOS 9361 HAS SOPS 9361 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9027.361
AT ITER 3083 NEW BEST:: SOT 27870 SOS 9355 HAS SOPS 9355 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9021.355
AT ITER 3114 NEW BEST:: SOT 27856 SOS 9354 HAS SOPS 9354 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9020.354
AT ITER 3115 NEW BEST:: SOT 27855 SOS 9353 HAS SOPS 9353 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9019.353
AT ITER 3124 NEW BEST:: SOT 27850 SOS 9344 HAS SOPS 9344 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9010.344
AT ITER 3131 NEW BEST:: SOT 27843 SOS 9336 HAS SOPS 9336 HAS SOUS 8993 HAS SOUPS 8993 WITH SCORE 9002.336
AT ITER 3150 NEW BEST:: SOT 27847 SOS 9335 HAS SOPS 9335 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 8999.335
AT ITER 3176 NEW BEST:: SOT 27846 SOS 9334 HAS SOPS 9334 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 8998.334
AT ITER 3183 NEW BEST:: SOT 27845 SOS 9324 HAS SOPS 9324 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 8988.324
AT ITER 3184 NEW BEST:: SOT 27829 SOS 9320 HAS SOPS 9320 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8986.32
AT ITER 3188 NEW BEST:: SOT 27801 SOS 9230 HAS SOPS 9230 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8921.23
AT ITER 3242 NEW BEST:: SOT 27789 SOS 9251 HAS SOPS 9251 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8919.251
AT ITER 3272 NEW BEST:: SOT 27796 SOS 9246 HAS SOPS 9246 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8919.246
AT ITER 3277 NEW BEST:: SOT 27785 SOS 9226 HAS SOPS 9226 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8899.226
AT ITER 3299 NEW BEST:: SOT 27785 SOS 9219 HAS SOPS 9219 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8892.219
AT ITER 3316 NEW BEST:: SOT 27770 SOS 9207 HAS SOPS 9207 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8880.207
AT ITER 3341 NEW BEST:: SOT 27720 SOS 9220 HAS SOPS 9220 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8862.22
AT ITER 3351 NEW BEST:: SOT 27716 SOS 9213 HAS SOPS 9213 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8855.213
AT ITER 3352 NEW BEST:: SOT 27711 SOS 9204 HAS SOPS 9204 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8850.204
AT ITER 3365 NEW BEST:: SOT 27711 SOS 9202 HAS SOPS 9202 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8848.202
AT ITER 3372 NEW BEST:: SOT 27694 SOS 9199 HAS SOPS 9199 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8845.199
AT ITER 3383 NEW BEST:: SOT 27686 SOS 9191 HAS SOPS 9191 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8837.191
AT ITER 3384 NEW BEST:: SOT 27667 SOS 9162 HAS SOPS 9162 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8822.162
AT ITER 3403 NEW BEST:: SOT 27665 SOS 9150 HAS SOPS 9150 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8818.15
AT ITER 3412 NEW BEST:: SOT 27669 SOS 9158 HAS SOPS 9158 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8817.158
AT ITER 3421 NEW BEST:: SOT 27669 SOS 9142 HAS SOPS 9142 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8801.142
AT ITER 3436 NEW BEST:: SOT 27666 SOS 9136 HAS SOPS 9136 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8795.136
AT ITER 3479 NEW BEST:: SOT 27665 SOS 9129 HAS SOPS 9129 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8788.129
AT ITER 3526 NEW BEST:: SOT 27665 SOS 9129 HAS SOPS 9129 HAS SOUS 8777 HAS SOUPS 8777 WITH SCORE 8786.129
AT ITER 3561 NEW BEST:: SOT 27656 SOS 9120 HAS SOPS 9120 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8777.12
AT ITER 3570 NEW BEST:: SOT 27649 SOS 9106 HAS SOPS 9106 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8763.106
AT ITER 3575 NEW BEST:: SOT 27648 SOS 9092 HAS SOPS 9092 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8749.092
AT ITER 3584 NEW BEST:: SOT 27629 SOS 9015 HAS SOPS 9015 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8691.015
AT ITER 3587 NEW BEST:: SOT 27602 SOS 8988 HAS SOPS 8988 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8663.988
AT ITER 3616 NEW BEST:: SOT 27599 SOS 8982 HAS SOPS 8982 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8657.982
AT ITER 3626 NEW BEST:: SOT 27607 SOS 8990 HAS SOPS 8990 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8649.99
AT ITER 3635 NEW BEST:: SOT 27585 SOS 8940 HAS SOPS 8940 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8609.94
AT ITER 3646 NEW BEST:: SOT 27579 SOS 8934 HAS SOPS 8934 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8603.934
AT ITER 3657 NEW BEST:: SOT 27582 SOS 8933 HAS SOPS 8933 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8602.933
AT ITER 3663 NEW BEST:: SOT 27579 SOS 8941 HAS SOPS 8941 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8599.941
AT ITER 3675 NEW BEST:: SOT 27570 SOS 8934 HAS SOPS 8934 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8594.934
AT ITER 3707 NEW BEST:: SOT 27558 SOS 8917 HAS SOPS 8917 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8577.917
AT ITER 3774 NEW BEST:: SOT 27558 SOS 8909 HAS SOPS 8909 HAS SOUS 8564 HAS SOUPS 8564 WITH SCORE 8572.909
AT ITER 3817 NEW BEST:: SOT 27573 SOS 8914 HAS SOPS 8914 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8569.914
AT ITER 3844 NEW BEST:: SOT 27550 SOS 8886 HAS SOPS 8886 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8546.886
AT ITER 3860 NEW BEST:: SOT 27548 SOS 8884 HAS SOPS 8884 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8544.884
AT ITER 3862 NEW BEST:: SOT 27530 SOS 8839 HAS SOPS 8839 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8499.839
AT ITER 3873 NEW BEST:: SOT 27533 SOS 8846 HAS SOPS 8846 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8497.846
AT ITER 3881 NEW BEST:: SOT 27521 SOS 8834 HAS SOPS 8834 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8485.834
AT ITER 3900 NEW BEST:: SOT 27520 SOS 8827 HAS SOPS 8827 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8480.827
AT ITER 4007 NEW BEST:: SOT 27517 SOS 8824 HAS SOPS 8824 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8477.824
AT ITER 4075 NEW BEST:: SOT 27517 SOS 8806 HAS SOPS 8806 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8465.806
AT ITER 4085 NEW BEST:: SOT 27517 SOS 8800 HAS SOPS 8800 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8459.8
AT ITER 4104 NEW BEST:: SOT 27502 SOS 8776 HAS SOPS 8776 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8447.776
AT ITER 4243 NEW BEST:: SOT 27502 SOS 8773 HAS SOPS 8773 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8445.773
AT ITER 4247 NEW BEST:: SOT 27502 SOS 8759 HAS SOPS 8759 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8431.759
AT ITER 4262 NEW BEST:: SOT 27490 SOS 8745 HAS SOPS 8745 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8415.745
AT ITER 4382 NEW BEST:: SOT 27488 SOS 8738 HAS SOPS 8738 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8408.738
AT ITER 4396 NEW BEST:: SOT 27478 SOS 8728 HAS SOPS 8728 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8398.728
AT ITER 4404 NEW BEST:: SOT 27473 SOS 8718 HAS SOPS 8718 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8388.718
AT ITER 4408 NEW BEST:: SOT 27559 SOS 8723 HAS SOPS 8723 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8376.723
AT ITER 4412 NEW BEST:: SOT 27559 SOS 8716 HAS SOPS 8716 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8369.716
AT ITER 4419 NEW BEST:: SOT 27547 SOS 8696 HAS SOPS 8696 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8349.696
AT ITER 4433 NEW BEST:: SOT 27535 SOS 8683 HAS SOPS 8683 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8337.683
AT ITER 4444 NEW BEST:: SOT 27523 SOS 8678 HAS SOPS 8678 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8325.678
AT ITER 4487 NEW BEST:: SOT 27496 SOS 8662 HAS SOPS 8662 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8309.662
AT ITER 4491 NEW BEST:: SOT 27499 SOS 8652 HAS SOPS 8652 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8299.652
AT ITER 4514 NEW BEST:: SOT 27499 SOS 8641 HAS SOPS 8641 HAS SOUS 8283 HAS SOUPS 8283 WITH SCORE 8291.641
AT ITER 4549 NEW BEST:: SOT 27490 SOS 8608 HAS SOPS 8608 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8258.608
AT ITER 4553 NEW BEST:: SOT 27495 SOS 8603 HAS SOPS 8603 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8253.603
AT ITER 4560 NEW BEST:: SOT 27495 SOS 8601 HAS SOPS 8601 HAS SOUS 8243 HAS SOUPS 8243 WITH SCORE 8251.601
AT ITER 4593 NEW BEST:: SOT 27481 SOS 8593 HAS SOPS 8593 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8243.593
AT ITER 4604 NEW BEST:: SOT 27481 SOS 8553 HAS SOPS 8553 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8223.553
AT ITER 4636 NEW BEST:: SOT 27479 SOS 8550 HAS SOPS 8550 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8220.55
AT ITER 4699 NEW BEST:: SOT 27470 SOS 8546 HAS SOPS 8546 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8216.546
AT ITER 4765 NEW BEST:: SOT 27472 SOS 8544 HAS SOPS 8544 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8214.544
AT ITER 4791 NEW BEST:: SOT 27471 SOS 8539 HAS SOPS 8539 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8209.539
AT ITER 4806 NEW BEST:: SOT 27471 SOS 8530 HAS SOPS 8530 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8200.53
AT ITER 4825 NEW BEST:: SOT 27473 SOS 8530 HAS SOPS 8530 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8198.53
AT ITER 4830 NEW BEST:: SOT 27469 SOS 8518 HAS SOPS 8518 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8190.518
AT ITER 4834 NEW BEST:: SOT 27449 SOS 8513 HAS SOPS 8513 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8185.513
AT ITER 4844 NEW BEST:: SOT 27442 SOS 8505 HAS SOPS 8505 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8177.505
AT ITER 4847 NEW BEST:: SOT 27445 SOS 8496 HAS SOPS 8496 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8177.496
AT ITER 4856 NEW BEST:: SOT 27432 SOS 8509 HAS SOPS 8509 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8166.509
AT ITER 4892 NEW BEST:: SOT 27428 SOS 8505 HAS SOPS 8505 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8161.505
AT ITER 4930 NEW BEST:: SOT 27408 SOS 8491 HAS SOPS 8491 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8147.491
AT ITER 4955 NEW BEST:: SOT 27388 SOS 8487 HAS SOPS 8487 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8140.487
AT ITER 4971 NEW BEST:: SOT 27389 SOS 8465 HAS SOPS 8465 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8133.465
AT ITER 4981 NEW BEST:: SOT 27389 SOS 8464 HAS SOPS 8464 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8133.464
AT ITER 4988 NEW BEST:: SOT 27380 SOS 8455 HAS SOPS 8455 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8124.455
AT ITER 5035 NEW BEST:: SOT 27379 SOS 8451 HAS SOPS 8451 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8120.451
AT ITER 5059 NEW BEST:: SOT 27361 SOS 8404 HAS SOPS 8404 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8073.404
AT ITER 5065 NEW BEST:: SOT 27352 SOS 8395 HAS SOPS 8395 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8055.395
AT ITER 5078 NEW BEST:: SOT 27344 SOS 8387 HAS SOPS 8387 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8055.387
AT ITER 5133 NEW BEST:: SOT 27317 SOS 8360 HAS SOPS 8360 HAS SOUS 8020 HAS SOUPS 8020 WITH SCORE 8028.36
AT ITER 5151 NEW BEST:: SOT 27312 SOS 8350 HAS SOPS 8350 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8018.35
AT ITER 5245 NEW BEST:: SOT 27303 SOS 8341 HAS SOPS 8341 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8011.341
AT ITER 5273 NEW BEST:: SOT 27304 SOS 8336 HAS SOPS 8336 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8006.336
AT ITER 5343 NEW BEST:: SOT 27303 SOS 8335 HAS SOPS 8335 HAS SOUS 7997 HAS SOUPS 7997 WITH SCORE 8005.335
AT ITER 5357 NEW BEST:: SOT 27291 SOS 8325 HAS SOPS 8325 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7995.325
AT ITER 5382 NEW BEST:: SOT 27291 SOS 8315 HAS SOPS 8315 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7993.315
AT ITER 5401 NEW BEST:: SOT 27289 SOS 8309 HAS SOPS 8309 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7989.309
AT ITER 5414 NEW BEST:: SOT 27289 SOS 8307 HAS SOPS 8307 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7987.307
AT ITER 5492 NEW BEST:: SOT 27284 SOS 8300 HAS SOPS 8300 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7980.3
AT ITER 5518 NEW BEST:: SOT 27284 SOS 8295 HAS SOPS 8295 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7975.295
AT ITER 5551 NEW BEST:: SOT 27269 SOS 8269 HAS SOPS 8269 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7958.269
AT ITER 5558 NEW BEST:: SOT 27289 SOS 8296 HAS SOPS 8296 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7957.296
AT ITER 5614 NEW BEST:: SOT 27289 SOS 8293 HAS SOPS 8293 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7954.293
AT ITER 5615 NEW BEST:: SOT 27289 SOS 8286 HAS SOPS 8286 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7947.286
AT ITER 5618 NEW BEST:: SOT 27281 SOS 8256 HAS SOPS 8256 HAS SOUS 7932 HAS SOUPS 7932 WITH SCORE 7940.256
AT ITER 5659 NEW BEST:: SOT 27278 SOS 8253 HAS SOPS 8253 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7937.253
AT ITER 5668 NEW BEST:: SOT 27277 SOS 8239 HAS SOPS 8239 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7923.239
AT ITER 5676 NEW BEST:: SOT 27275 SOS 8233 HAS SOPS 8233 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7920.233
AT ITER 5681 NEW BEST:: SOT 27274 SOS 8231 HAS SOPS 8231 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7918.231
AT ITER 5702 NEW BEST:: SOT 27270 SOS 8230 HAS SOPS 8230 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7869.23
AT ITER 5704 NEW BEST:: SOT 27266 SOS 8232 HAS SOPS 8232 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7865.232
AT ITER 5728 NEW BEST:: SOT 27270 SOS 8228 HAS SOPS 8228 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7861.228
AT ITER 5791 NEW BEST:: SOT 27273 SOS 8219 HAS SOPS 8219 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7852.219
AT ITER 5797 NEW BEST:: SOT 27269 SOS 8201 HAS SOPS 8201 HAS SOUS 7828 HAS SOUPS 7828 WITH SCORE 7836.201
AT ITER 5818 NEW BEST:: SOT 27269 SOS 8200 HAS SOPS 8200 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7835.2
AT ITER 5846 NEW BEST:: SOT 27278 SOS 8196 HAS SOPS 8196 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7831.196
AT ITER 5905 NEW BEST:: SOT 27275 SOS 8191 HAS SOPS 8191 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7826.191
AT ITER 5945 NEW BEST:: SOT 27269 SOS 8182 HAS SOPS 8182 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7817.182
AT ITER 5946 NEW BEST:: SOT 27266 SOS 8167 HAS SOPS 8167 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7802.167
AT ITER 5973 NEW BEST:: SOT 27263 SOS 8164 HAS SOPS 8164 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7799.164
AT ITER 6013 NEW BEST:: SOT 27277 SOS 8143 HAS SOPS 8143 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7785.143
AT ITER 6022 NEW BEST:: SOT 27273 SOS 8139 HAS SOPS 8139 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7781.139
AT ITER 6043 NEW BEST:: SOT 27268 SOS 8113 HAS SOPS 8113 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7760.113
AT ITER 6107 NEW BEST:: SOT 27254 SOS 8096 HAS SOPS 8096 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7743.096
AT ITER 6158 NEW BEST:: SOT 27254 SOS 8092 HAS SOPS 8092 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7739.092
AT ITER 6202 NEW BEST:: SOT 27251 SOS 8088 HAS SOPS 8088 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7735.088
AT ITER 6204 NEW BEST:: SOT 27245 SOS 8092 HAS SOPS 8092 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7711.092
AT ITER 6256 NEW BEST:: SOT 27245 SOS 8060 HAS SOPS 8060 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7695.06
AT ITER 6266 NEW BEST:: SOT 27237 SOS 8051 HAS SOPS 8051 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7686.051
AT ITER 6344 NEW BEST:: SOT 27237 SOS 8044 HAS SOPS 8044 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7682.044
AT ITER 6390 NEW BEST:: SOT 27235 SOS 8040 HAS SOPS 8040 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7678.04
AT ITER 6402 NEW BEST:: SOT 27218 SOS 8016 HAS SOPS 8016 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7662.016
AT ITER 6440 NEW BEST:: SOT 27217 SOS 8014 HAS SOPS 8014 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7660.014
AT ITER 6478 NEW BEST:: SOT 27216 SOS 8012 HAS SOPS 8012 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7658.012
AT ITER 6494 NEW BEST:: SOT 27215 SOS 8005 HAS SOPS 8005 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7651.005
AT ITER 6505 NEW BEST:: SOT 27227 SOS 7998 HAS SOPS 7998 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7650.998
AT ITER 6574 NEW BEST:: SOT 27218 SOS 7991 HAS SOPS 7991 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7643.991
AT ITER 6581 NEW BEST:: SOT 27210 SOS 7971 HAS SOPS 7971 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7631.971
AT ITER 6595 NEW BEST:: SOT 27210 SOS 7969 HAS SOPS 7969 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7629.969
AT ITER 6641 NEW BEST:: SOT 27210 SOS 7948 HAS SOPS 7948 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7622.948
AT ITER 6696 NEW BEST:: SOT 27205 SOS 7943 HAS SOPS 7943 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7617.943
AT ITER 6753 NEW BEST:: SOT 27212 SOS 7938 HAS SOPS 7938 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7612.938
AT ITER 6843 NEW BEST:: SOT 27216 SOS 7931 HAS SOPS 7931 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7600.931
AT ITER 6852 NEW BEST:: SOT 27216 SOS 7925 HAS SOPS 7925 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7594.925
AT ITER 7023 NEW BEST:: SOT 27219 SOS 7921 HAS SOPS 7921 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7590.921
AT ITER 7046 NEW BEST:: SOT 27214 SOS 7912 HAS SOPS 7912 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7581.912
AT ITER 7105 NEW BEST:: SOT 27211 SOS 7909 HAS SOPS 7909 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7578.909
AT ITER 7134 NEW BEST:: SOT 27210 SOS 7907 HAS SOPS 7907 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7576.907
AT ITER 7174 NEW BEST:: SOT 27204 SOS 7886 HAS SOPS 7886 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7560.886
AT ITER 7192 NEW BEST:: SOT 27196 SOS 7862 HAS SOPS 7862 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7544.862
AT ITER 7286 NEW BEST:: SOT 27200 SOS 7861 HAS SOPS 7861 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7543.861
AT ITER 7317 NEW BEST:: SOT 27191 SOS 7797 HAS SOPS 7797 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7517.797
AT ITER 7379 NEW BEST:: SOT 27186 SOS 7792 HAS SOPS 7792 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7512.792
AT ITER 7431 NEW BEST:: SOT 27186 SOS 7790 HAS SOPS 7790 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7510.79
AT ITER 7442 NEW BEST:: SOT 27184 SOS 7788 HAS SOPS 7788 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7508.788
AT ITER 7461 NEW BEST:: SOT 27177 SOS 7772 HAS SOPS 7772 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7500.772
AT ITER 7471 NEW BEST:: SOT 27177 SOS 7765 HAS SOPS 7765 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7493.765
AT ITER 7499 NEW BEST:: SOT 27171 SOS 7753 HAS SOPS 7753 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7481.753
AT ITER 7525 NEW BEST:: SOT 27189 SOS 7746 HAS SOPS 7746 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7474.746
AT ITER 7660 NEW BEST:: SOT 27196 SOS 7740 HAS SOPS 7740 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7471.74
AT ITER 7669 NEW BEST:: SOT 27190 SOS 7734 HAS SOPS 7734 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7465.734
AT ITER 7685 NEW BEST:: SOT 27188 SOS 7732 HAS SOPS 7732 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7463.732
AT ITER 7706 NEW BEST:: SOT 27188 SOS 7731 HAS SOPS 7731 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7463.731
AT ITER 7734 NEW BEST:: SOT 27185 SOS 7728 HAS SOPS 7728 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7460.728
AT ITER 7735 NEW BEST:: SOT 27176 SOS 7723 HAS SOPS 7723 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7455.723
AT ITER 7745 NEW BEST:: SOT 27176 SOS 7708 HAS SOPS 7708 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7440.708
AT ITER 7805 NEW BEST:: SOT 27170 SOS 7704 HAS SOPS 7704 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7437.704
AT ITER 7817 NEW BEST:: SOT 27168 SOS 7702 HAS SOPS 7702 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7435.702
AT ITER 7827 NEW BEST:: SOT 27116 SOS 7694 HAS SOPS 7694 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7427.694
AT ITER 7916 NEW BEST:: SOT 27113 SOS 7690 HAS SOPS 7690 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7423.69
AT ITER 7984 NEW BEST:: SOT 27112 SOS 7684 HAS SOPS 7684 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7423.684
AT ITER 8033 NEW BEST:: SOT 27110 SOS 7683 HAS SOPS 7683 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7422.683
AT ITER 8045 NEW BEST:: SOT 27102 SOS 7671 HAS SOPS 7671 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7410.671
AT ITER 8075 NEW BEST:: SOT 27096 SOS 7666 HAS SOPS 7666 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7405.666
AT ITER 8113 NEW BEST:: SOT 27094 SOS 7664 HAS SOPS 7664 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7403.664
AT ITER 8166 NEW BEST:: SOT 27084 SOS 7651 HAS SOPS 7651 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7387.651
AT ITER 8200 NEW BEST:: SOT 27084 SOS 7648 HAS SOPS 7648 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7384.648
AT ITER 8351 NEW BEST:: SOT 27085 SOS 7648 HAS SOPS 7648 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7380.648
AT ITER 8365 NEW BEST:: SOT 27079 SOS 7642 HAS SOPS 7642 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7374.642
AT ITER 8366 NEW BEST:: SOT 27077 SOS 7640 HAS SOPS 7640 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7372.64
AT ITER 8393 NEW BEST:: SOT 27081 SOS 7632 HAS SOPS 7632 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7364.632
AT ITER 8424 NEW BEST:: SOT 27081 SOS 7630 HAS SOPS 7630 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7359.63
AT ITER 8491 NEW BEST:: SOT 27084 SOS 7629 HAS SOPS 7629 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7358.629
AT ITER 8502 NEW BEST:: SOT 27076 SOS 7607 HAS SOPS 7607 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7346.607
AT ITER 8579 NEW BEST:: SOT 27074 SOS 7605 HAS SOPS 7605 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7344.605
AT ITER 8584 NEW BEST:: SOT 27073 SOS 7600 HAS SOPS 7600 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7343.6
AT ITER 8593 NEW BEST:: SOT 27072 SOS 7599 HAS SOPS 7599 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7343.599
AT ITER 8892 NEW BEST:: SOT 27075 SOS 7602 HAS SOPS 7602 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7340.602
AT ITER 9122 NEW BEST:: SOT 27065 SOS 7592 HAS SOPS 7592 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7330.592
AT ITER 9125 NEW BEST:: SOT 27040 SOS 7577 HAS SOPS 7577 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7315.577
AT ITER 9244 NEW BEST:: SOT 27037 SOS 7574 HAS SOPS 7574 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7312.574
AT ITER 9269 NEW BEST:: SOT 27035 SOS 7568 HAS SOPS 7568 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7306.568
AT ITER 9293 NEW BEST:: SOT 27042 SOS 7563 HAS SOPS 7563 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7300.563
AT ITER 9300 NEW BEST:: SOT 27033 SOS 7551 HAS SOPS 7551 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7299.551
AT ITER 9339 NEW BEST:: SOT 27039 SOS 7545 HAS SOPS 7545 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7298.545
AT ITER 9448 NEW BEST:: SOT 27029 SOS 7535 HAS SOPS 7535 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7288.535
AT ITER 9461 NEW BEST:: SOT 27014 SOS 7518 HAS SOPS 7518 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7271.518
AT ITER 9475 NEW BEST:: SOT 27010 SOS 7514 HAS SOPS 7514 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7267.514
AT ITER 9495 NEW BEST:: SOT 27005 SOS 7503 HAS SOPS 7503 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7256.503
AT ITER 9508 NEW BEST:: SOT 27017 SOS 7493 HAS SOPS 7493 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7246.493
AT ITER 9516 NEW BEST:: SOT 27017 SOS 7483 HAS SOPS 7483 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7241.483
AT ITER 9641 NEW BEST:: SOT 27008 SOS 7469 HAS SOPS 7469 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7219.469
AT ITER 9645 NEW BEST:: SOT 27008 SOS 7466 HAS SOPS 7466 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7216.466
AT ITER 9702 NEW BEST:: SOT 27006 SOS 7462 HAS SOPS 7462 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7212.462
AT ITER 9786 NEW BEST:: SOT 26998 SOS 7462 HAS SOPS 7462 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7210.462
AT ITER 9959 NEW BEST:: SOT 26988 SOS 7458 HAS SOPS 7458 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7206.458
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 5380636 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152540 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="ShieldPPPt-PT-010A"
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 ShieldPPPt-PT-010A, 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 r387-oct2-167903712000616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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