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-167903711400088.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 ShieldIIPs-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-167903711400088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 16:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:34 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 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 16:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 16:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 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 84K 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 1679060202574

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=ShieldIIPs-PT-010A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (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, 243 transitions, 1086 arcs.
AT ITER 0 NEW BEST:: SOT 41907 SOS 32489 HAS SOPS 32489 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27618.489
AT ITER 5 NEW BEST:: SOT 41849 SOS 32432 HAS SOPS 32432 HAS SOUS 27529 HAS SOUPS 27529 WITH SCORE 27561.432
AT ITER 14 NEW BEST:: SOT 41810 SOS 32212 HAS SOPS 32212 HAS SOUS 27514 HAS SOUPS 27514 WITH SCORE 27546.212
AT ITER 23 NEW BEST:: SOT 41810 SOS 32072 HAS SOPS 32072 HAS SOUS 27446 HAS SOUPS 27446 WITH SCORE 27478.072
AT ITER 31 NEW BEST:: SOT 41809 SOS 32071 HAS SOPS 32071 HAS SOUS 27445 HAS SOUPS 27445 WITH SCORE 27477.071
AT ITER 32 NEW BEST:: SOT 41746 SOS 32026 HAS SOPS 32026 HAS SOUS 27400 HAS SOUPS 27400 WITH SCORE 27432.026
AT ITER 36 NEW BEST:: SOT 41690 SOS 31969 HAS SOPS 31969 HAS SOUS 27343 HAS SOUPS 27343 WITH SCORE 27374.969
AT ITER 40 NEW BEST:: SOT 41611 SOS 31993 HAS SOPS 31993 HAS SOUS 27311 HAS SOUPS 27311 WITH SCORE 27342.993
AT ITER 48 NEW BEST:: SOT 41796 SOS 31915 HAS SOPS 31915 HAS SOUS 27284 HAS SOUPS 27284 WITH SCORE 27315.915
AT ITER 49 NEW BEST:: SOT 41737 SOS 31854 HAS SOPS 31854 HAS SOUS 27223 HAS SOUPS 27223 WITH SCORE 27254.854
AT ITER 53 NEW BEST:: SOT 41902 SOS 31724 HAS SOPS 31724 HAS SOUS 27180 HAS SOUPS 27180 WITH SCORE 27211.724
AT ITER 54 NEW BEST:: SOT 41863 SOS 31488 HAS SOPS 31488 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27118.488
AT ITER 57 NEW BEST:: SOT 41857 SOS 31482 HAS SOPS 31482 HAS SOUS 27081 HAS SOUPS 27081 WITH SCORE 27112.482
AT ITER 60 NEW BEST:: SOT 41856 SOS 31451 HAS SOPS 31451 HAS SOUS 27050 HAS SOUPS 27050 WITH SCORE 27081.451
AT ITER 63 NEW BEST:: SOT 41736 SOS 31238 HAS SOPS 31238 HAS SOUS 26837 HAS SOUPS 26837 WITH SCORE 26868.238
AT ITER 66 NEW BEST:: SOT 41680 SOS 31019 HAS SOPS 31019 HAS SOUS 26729 HAS SOUPS 26729 WITH SCORE 26760.019
AT ITER 71 NEW BEST:: SOT 41298 SOS 30518 HAS SOPS 30518 HAS SOUS 26222 HAS SOUPS 26222 WITH SCORE 26252.518
AT ITER 73 NEW BEST:: SOT 41340 SOS 30517 HAS SOPS 30517 HAS SOUS 26221 HAS SOUPS 26221 WITH SCORE 26251.517
AT ITER 74 NEW BEST:: SOT 41184 SOS 30361 HAS SOPS 30361 HAS SOUS 26065 HAS SOUPS 26065 WITH SCORE 26095.361
AT ITER 80 NEW BEST:: SOT 41184 SOS 30320 HAS SOPS 30320 HAS SOUS 26024 HAS SOUPS 26024 WITH SCORE 26054.32
AT ITER 93 NEW BEST:: SOT 41171 SOS 30307 HAS SOPS 30307 HAS SOUS 26011 HAS SOUPS 26011 WITH SCORE 26041.307
AT ITER 95 NEW BEST:: SOT 41171 SOS 30204 HAS SOPS 30204 HAS SOUS 25940 HAS SOUPS 25940 WITH SCORE 25970.204
AT ITER 102 NEW BEST:: SOT 41171 SOS 30186 HAS SOPS 30186 HAS SOUS 25937 HAS SOUPS 25937 WITH SCORE 25967.186
AT ITER 105 NEW BEST:: SOT 41131 SOS 30145 HAS SOPS 30145 HAS SOUS 25896 HAS SOUPS 25896 WITH SCORE 25926.145
AT ITER 111 NEW BEST:: SOT 41131 SOS 30143 HAS SOPS 30143 HAS SOUS 25891 HAS SOUPS 25891 WITH SCORE 25921.143
AT ITER 116 NEW BEST:: SOT 41094 SOS 30135 HAS SOPS 30135 HAS SOUS 25883 HAS SOUPS 25883 WITH SCORE 25913.135
AT ITER 117 NEW BEST:: SOT 41088 SOS 30127 HAS SOPS 30127 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25905.127
AT ITER 121 NEW BEST:: SOT 41271 SOS 30036 HAS SOPS 30036 HAS SOUS 25862 HAS SOUPS 25862 WITH SCORE 25892.036
AT ITER 122 NEW BEST:: SOT 41294 SOS 30030 HAS SOPS 30030 HAS SOUS 25797 HAS SOUPS 25797 WITH SCORE 25827.03
AT ITER 130 NEW BEST:: SOT 41288 SOS 30024 HAS SOPS 30024 HAS SOUS 25791 HAS SOUPS 25791 WITH SCORE 25821.024
AT ITER 135 NEW BEST:: SOT 41265 SOS 30001 HAS SOPS 30001 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 25798.001
AT ITER 142 NEW BEST:: SOT 41265 SOS 30000 HAS SOPS 30000 HAS SOUS 25767 HAS SOUPS 25767 WITH SCORE 25797.0
AT ITER 149 NEW BEST:: SOT 41265 SOS 30000 HAS SOPS 30000 HAS SOUS 25744 HAS SOUPS 25744 WITH SCORE 25774.0
AT ITER 150 NEW BEST:: SOT 41265 SOS 29943 HAS SOPS 29943 HAS SOUS 25687 HAS SOUPS 25687 WITH SCORE 25716.943
AT ITER 156 NEW BEST:: SOT 41187 SOS 29904 HAS SOPS 29904 HAS SOUS 25647 HAS SOUPS 25647 WITH SCORE 25676.904
AT ITER 157 NEW BEST:: SOT 41187 SOS 29902 HAS SOPS 29902 HAS SOUS 25645 HAS SOUPS 25645 WITH SCORE 25674.902
AT ITER 160 NEW BEST:: SOT 41252 SOS 29828 HAS SOPS 29828 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25553.828
AT ITER 167 NEW BEST:: SOT 41288 SOS 29799 HAS SOPS 29799 HAS SOUS 25474 HAS SOUPS 25474 WITH SCORE 25503.799
AT ITER 170 NEW BEST:: SOT 41213 SOS 29762 HAS SOPS 29762 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25466.762
AT ITER 171 NEW BEST:: SOT 41156 SOS 29705 HAS SOPS 29705 HAS SOUS 25380 HAS SOUPS 25380 WITH SCORE 25409.705
AT ITER 174 NEW BEST:: SOT 41135 SOS 29704 HAS SOPS 29704 HAS SOUS 25379 HAS SOUPS 25379 WITH SCORE 25408.704
AT ITER 179 NEW BEST:: SOT 41083 SOS 29652 HAS SOPS 29652 HAS SOUS 25285 HAS SOUPS 25285 WITH SCORE 25314.652
AT ITER 182 NEW BEST:: SOT 41072 SOS 29479 HAS SOPS 29479 HAS SOUS 25179 HAS SOUPS 25179 WITH SCORE 25208.479
AT ITER 190 NEW BEST:: SOT 40991 SOS 29398 HAS SOPS 29398 HAS SOUS 24972 HAS SOUPS 24972 WITH SCORE 25001.398
AT ITER 197 NEW BEST:: SOT 41002 SOS 29376 HAS SOPS 29376 HAS SOUS 24914 HAS SOUPS 24914 WITH SCORE 24943.376
AT ITER 205 NEW BEST:: SOT 40832 SOS 28725 HAS SOPS 28725 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24491.725
AT ITER 211 NEW BEST:: SOT 40753 SOS 28613 HAS SOPS 28613 HAS SOUS 24385 HAS SOUPS 24385 WITH SCORE 24413.613
AT ITER 213 NEW BEST:: SOT 40704 SOS 28564 HAS SOPS 28564 HAS SOUS 24336 HAS SOUPS 24336 WITH SCORE 24364.564
AT ITER 214 NEW BEST:: SOT 40704 SOS 28484 HAS SOPS 28484 HAS SOUS 24290 HAS SOUPS 24290 WITH SCORE 24318.484
AT ITER 220 NEW BEST:: SOT 40676 SOS 28454 HAS SOPS 28454 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24288.454
AT ITER 222 NEW BEST:: SOT 40600 SOS 28378 HAS SOPS 28378 HAS SOUS 24184 HAS SOUPS 24184 WITH SCORE 24212.378
AT ITER 223 NEW BEST:: SOT 40600 SOS 28230 HAS SOPS 28230 HAS SOUS 24103 HAS SOUPS 24103 WITH SCORE 24131.23
AT ITER 224 NEW BEST:: SOT 40572 SOS 28201 HAS SOPS 28201 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24102.201
AT ITER 228 NEW BEST:: SOT 40551 SOS 28180 HAS SOPS 28180 HAS SOUS 24053 HAS SOUPS 24053 WITH SCORE 24081.18
AT ITER 229 NEW BEST:: SOT 40535 SOS 28162 HAS SOPS 28162 HAS SOUS 24035 HAS SOUPS 24035 WITH SCORE 24063.162
AT ITER 244 NEW BEST:: SOT 40487 SOS 27859 HAS SOPS 27859 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 23997.859
AT ITER 248 NEW BEST:: SOT 40512 SOS 27823 HAS SOPS 27823 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23927.823
AT ITER 266 NEW BEST:: SOT 40488 SOS 27776 HAS SOPS 27776 HAS SOUS 23853 HAS SOUPS 23853 WITH SCORE 23880.776
AT ITER 274 NEW BEST:: SOT 40358 SOS 27674 HAS SOPS 27674 HAS SOUS 23751 HAS SOUPS 23751 WITH SCORE 23778.674
AT ITER 280 NEW BEST:: SOT 40194 SOS 27469 HAS SOPS 27469 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23573.469
AT ITER 281 NEW BEST:: SOT 40200 SOS 27446 HAS SOPS 27446 HAS SOUS 23523 HAS SOUPS 23523 WITH SCORE 23550.446
AT ITER 289 NEW BEST:: SOT 40237 SOS 27402 HAS SOPS 27402 HAS SOUS 23479 HAS SOUPS 23479 WITH SCORE 23506.402
AT ITER 294 NEW BEST:: SOT 40234 SOS 27399 HAS SOPS 27399 HAS SOUS 23476 HAS SOUPS 23476 WITH SCORE 23503.399
AT ITER 296 NEW BEST:: SOT 40175 SOS 27186 HAS SOPS 27186 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22934.186
AT ITER 297 NEW BEST:: SOT 40171 SOS 27166 HAS SOPS 27166 HAS SOUS 22902 HAS SOUPS 22902 WITH SCORE 22929.166
AT ITER 301 NEW BEST:: SOT 39991 SOS 26986 HAS SOPS 26986 HAS SOUS 22722 HAS SOUPS 22722 WITH SCORE 22748.986
AT ITER 305 NEW BEST:: SOT 39956 SOS 26799 HAS SOPS 26799 HAS SOUS 22653 HAS SOUPS 22653 WITH SCORE 22679.799
AT ITER 311 NEW BEST:: SOT 39937 SOS 26640 HAS SOPS 26640 HAS SOUS 22551 HAS SOUPS 22551 WITH SCORE 22577.64
AT ITER 335 NEW BEST:: SOT 39923 SOS 26626 HAS SOPS 26626 HAS SOUS 22537 HAS SOUPS 22537 WITH SCORE 22563.626
AT ITER 342 NEW BEST:: SOT 39876 SOS 26579 HAS SOPS 26579 HAS SOUS 22490 HAS SOUPS 22490 WITH SCORE 22516.579
AT ITER 370 NEW BEST:: SOT 39853 SOS 26556 HAS SOPS 26556 HAS SOUS 22467 HAS SOUPS 22467 WITH SCORE 22493.556
AT ITER 371 NEW BEST:: SOT 39877 SOS 26390 HAS SOPS 26390 HAS SOUS 22343 HAS SOUPS 22343 WITH SCORE 22369.39
AT ITER 379 NEW BEST:: SOT 39845 SOS 26358 HAS SOPS 26358 HAS SOUS 22311 HAS SOUPS 22311 WITH SCORE 22337.358
AT ITER 383 NEW BEST:: SOT 39864 SOS 26377 HAS SOPS 26377 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22336.377
AT ITER 388 NEW BEST:: SOT 39838 SOS 26351 HAS SOPS 26351 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22310.351
AT ITER 392 NEW BEST:: SOT 39808 SOS 26294 HAS SOPS 26294 HAS SOUS 22204 HAS SOUPS 22204 WITH SCORE 22230.294
AT ITER 396 NEW BEST:: SOT 39736 SOS 26222 HAS SOPS 26222 HAS SOUS 22132 HAS SOUPS 22132 WITH SCORE 22158.222
AT ITER 406 NEW BEST:: SOT 39632 SOS 26064 HAS SOPS 26064 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21948.064
AT ITER 407 NEW BEST:: SOT 39586 SOS 25973 HAS SOPS 25973 HAS SOUS 21831 HAS SOUPS 21831 WITH SCORE 21856.973
AT ITER 409 NEW BEST:: SOT 39564 SOS 25951 HAS SOPS 25951 HAS SOUS 21809 HAS SOUPS 21809 WITH SCORE 21834.951
AT ITER 416 NEW BEST:: SOT 39538 SOS 25667 HAS SOPS 25667 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21586.667
AT ITER 422 NEW BEST:: SOT 39538 SOS 25635 HAS SOPS 25635 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21554.635
AT ITER 425 NEW BEST:: SOT 39497 SOS 25255 HAS SOPS 25255 HAS SOUS 21509 HAS SOUPS 21509 WITH SCORE 21534.255
AT ITER 437 NEW BEST:: SOT 39428 SOS 25186 HAS SOPS 25186 HAS SOUS 21440 HAS SOUPS 21440 WITH SCORE 21465.186
AT ITER 444 NEW BEST:: SOT 39394 SOS 25118 HAS SOPS 25118 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21447.118
AT ITER 450 NEW BEST:: SOT 39306 SOS 25002 HAS SOPS 25002 HAS SOUS 21289 HAS SOUPS 21289 WITH SCORE 21314.002
AT ITER 453 NEW BEST:: SOT 39306 SOS 24987 HAS SOPS 24987 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21298.987
AT ITER 479 NEW BEST:: SOT 39258 SOS 24939 HAS SOPS 24939 HAS SOUS 21226 HAS SOUPS 21226 WITH SCORE 21250.939
AT ITER 481 NEW BEST:: SOT 39258 SOS 24917 HAS SOPS 24917 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21237.917
AT ITER 483 NEW BEST:: SOT 39264 SOS 24917 HAS SOPS 24917 HAS SOUS 21211 HAS SOUPS 21211 WITH SCORE 21235.917
AT ITER 494 NEW BEST:: SOT 39264 SOS 24891 HAS SOPS 24891 HAS SOUS 21185 HAS SOUPS 21185 WITH SCORE 21209.891
AT ITER 496 NEW BEST:: SOT 39238 SOS 24839 HAS SOPS 24839 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21145.839
AT ITER 503 NEW BEST:: SOT 39219 SOS 24820 HAS SOPS 24820 HAS SOUS 21094 HAS SOUPS 21094 WITH SCORE 21118.82
AT ITER 506 NEW BEST:: SOT 39241 SOS 24814 HAS SOPS 24814 HAS SOUS 21077 HAS SOUPS 21077 WITH SCORE 21101.814
AT ITER 508 NEW BEST:: SOT 39230 SOS 24789 HAS SOPS 24789 HAS SOUS 21038 HAS SOUPS 21038 WITH SCORE 21062.789
AT ITER 512 NEW BEST:: SOT 39229 SOS 24788 HAS SOPS 24788 HAS SOUS 21037 HAS SOUPS 21037 WITH SCORE 21061.788
AT ITER 528 NEW BEST:: SOT 39229 SOS 24759 HAS SOPS 24759 HAS SOUS 21008 HAS SOUPS 21008 WITH SCORE 21032.759
AT ITER 530 NEW BEST:: SOT 39229 SOS 24758 HAS SOPS 24758 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21031.758
AT ITER 533 NEW BEST:: SOT 39258 SOS 24773 HAS SOPS 24773 HAS SOUS 20997 HAS SOUPS 20997 WITH SCORE 21021.773
AT ITER 550 NEW BEST:: SOT 39154 SOS 24628 HAS SOPS 24628 HAS SOUS 20725 HAS SOUPS 20725 WITH SCORE 20749.628
AT ITER 557 NEW BEST:: SOT 39153 SOS 24483 HAS SOPS 24483 HAS SOUS 20602 HAS SOUPS 20602 WITH SCORE 20626.483
AT ITER 560 NEW BEST:: SOT 39153 SOS 24303 HAS SOPS 24303 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20602.303
AT ITER 574 NEW BEST:: SOT 38949 SOS 24180 HAS SOPS 24180 HAS SOUS 20440 HAS SOUPS 20440 WITH SCORE 20464.18
AT ITER 580 NEW BEST:: SOT 38949 SOS 24158 HAS SOPS 24158 HAS SOUS 20377 HAS SOUPS 20377 WITH SCORE 20401.158
AT ITER 584 NEW BEST:: SOT 38876 SOS 23429 HAS SOPS 23429 HAS SOUS 20012 HAS SOUPS 20012 WITH SCORE 20035.429
AT ITER 586 NEW BEST:: SOT 38856 SOS 23409 HAS SOPS 23409 HAS SOUS 19992 HAS SOUPS 19992 WITH SCORE 20015.409
AT ITER 588 NEW BEST:: SOT 38951 SOS 23462 HAS SOPS 23462 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 19992.462
AT ITER 593 NEW BEST:: SOT 38897 SOS 23313 HAS SOPS 23313 HAS SOUS 19752 HAS SOUPS 19752 WITH SCORE 19775.313
AT ITER 601 NEW BEST:: SOT 38813 SOS 23158 HAS SOPS 23158 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19526.158
AT ITER 612 NEW BEST:: SOT 38812 SOS 23151 HAS SOPS 23151 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19526.151
AT ITER 617 NEW BEST:: SOT 38714 SOS 23053 HAS SOPS 23053 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19428.053
AT ITER 619 NEW BEST:: SOT 38690 SOS 23029 HAS SOPS 23029 HAS SOUS 19381 HAS SOUPS 19381 WITH SCORE 19404.029
AT ITER 621 NEW BEST:: SOT 38649 SOS 22995 HAS SOPS 22995 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19394.995
AT ITER 632 NEW BEST:: SOT 38605 SOS 22951 HAS SOPS 22951 HAS SOUS 19328 HAS SOUPS 19328 WITH SCORE 19350.951
AT ITER 648 NEW BEST:: SOT 38565 SOS 23009 HAS SOPS 23009 HAS SOUS 19251 HAS SOUPS 19251 WITH SCORE 19274.009
AT ITER 650 NEW BEST:: SOT 38554 SOS 22998 HAS SOPS 22998 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19262.998
AT ITER 660 NEW BEST:: SOT 38547 SOS 22989 HAS SOPS 22989 HAS SOUS 19234 HAS SOUPS 19234 WITH SCORE 19256.989
AT ITER 664 NEW BEST:: SOT 38485 SOS 22927 HAS SOPS 22927 HAS SOUS 19172 HAS SOUPS 19172 WITH SCORE 19194.927
AT ITER 684 NEW BEST:: SOT 38499 SOS 22845 HAS SOPS 22845 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19127.845
AT ITER 690 NEW BEST:: SOT 38485 SOS 22829 HAS SOPS 22829 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19111.829
AT ITER 696 NEW BEST:: SOT 38384 SOS 22688 HAS SOPS 22688 HAS SOUS 18951 HAS SOUPS 18951 WITH SCORE 18973.688
AT ITER 715 NEW BEST:: SOT 38333 SOS 22607 HAS SOPS 22607 HAS SOUS 18856 HAS SOUPS 18856 WITH SCORE 18878.607
AT ITER 717 NEW BEST:: SOT 38333 SOS 22604 HAS SOPS 22604 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18875.604
AT ITER 719 NEW BEST:: SOT 38322 SOS 22587 HAS SOPS 22587 HAS SOUS 18832 HAS SOUPS 18832 WITH SCORE 18854.587
AT ITER 726 NEW BEST:: SOT 38254 SOS 22473 HAS SOPS 22473 HAS SOUS 18822 HAS SOUPS 18822 WITH SCORE 18844.473
AT ITER 737 NEW BEST:: SOT 38248 SOS 22467 HAS SOPS 22467 HAS SOUS 18816 HAS SOUPS 18816 WITH SCORE 18838.467
AT ITER 744 NEW BEST:: SOT 38238 SOS 22457 HAS SOPS 22457 HAS SOUS 18806 HAS SOUPS 18806 WITH SCORE 18828.457
AT ITER 751 NEW BEST:: SOT 38164 SOS 22383 HAS SOPS 22383 HAS SOUS 18732 HAS SOUPS 18732 WITH SCORE 18754.383
AT ITER 770 NEW BEST:: SOT 38124 SOS 22577 HAS SOPS 22577 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18631.577
AT ITER 775 NEW BEST:: SOT 38283 SOS 22509 HAS SOPS 22509 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18609.509
AT ITER 779 NEW BEST:: SOT 38178 SOS 22340 HAS SOPS 22340 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18433.34
AT ITER 784 NEW BEST:: SOT 38215 SOS 22398 HAS SOPS 22398 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18419.398
AT ITER 796 NEW BEST:: SOT 38214 SOS 22382 HAS SOPS 22382 HAS SOUS 18381 HAS SOUPS 18381 WITH SCORE 18403.382
AT ITER 799 NEW BEST:: SOT 38242 SOS 22395 HAS SOPS 22395 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18374.395
AT ITER 813 NEW BEST:: SOT 38242 SOS 22333 HAS SOPS 22333 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18342.333
AT ITER 814 NEW BEST:: SOT 38234 SOS 22329 HAS SOPS 22329 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18342.329
AT ITER 824 NEW BEST:: SOT 38277 SOS 22343 HAS SOPS 22343 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18339.343
AT ITER 829 NEW BEST:: SOT 38269 SOS 22331 HAS SOPS 22331 HAS SOUS 18309 HAS SOUPS 18309 WITH SCORE 18331.331
AT ITER 837 NEW BEST:: SOT 38241 SOS 22204 HAS SOPS 22204 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18283.204
AT ITER 843 NEW BEST:: SOT 38240 SOS 22203 HAS SOPS 22203 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18282.203
AT ITER 849 NEW BEST:: SOT 38148 SOS 22057 HAS SOPS 22057 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18136.057
AT ITER 854 NEW BEST:: SOT 38148 SOS 21963 HAS SOPS 21963 HAS SOUS 18067 HAS SOUPS 18067 WITH SCORE 18088.963
AT ITER 859 NEW BEST:: SOT 38126 SOS 21863 HAS SOPS 21863 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18036.863
AT ITER 862 NEW BEST:: SOT 38126 SOS 21846 HAS SOPS 21846 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18036.846
AT ITER 864 NEW BEST:: SOT 38124 SOS 21843 HAS SOPS 21843 HAS SOUS 18011 HAS SOUPS 18011 WITH SCORE 18032.843
AT ITER 865 NEW BEST:: SOT 38115 SOS 21825 HAS SOPS 21825 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18011.825
AT ITER 866 NEW BEST:: SOT 38110 SOS 21792 HAS SOPS 21792 HAS SOUS 17957 HAS SOUPS 17957 WITH SCORE 17978.792
AT ITER 870 NEW BEST:: SOT 38087 SOS 21779 HAS SOPS 21779 HAS SOUS 17941 HAS SOUPS 17941 WITH SCORE 17962.779
AT ITER 873 NEW BEST:: SOT 38066 SOS 21737 HAS SOPS 21737 HAS SOUS 17920 HAS SOUPS 17920 WITH SCORE 17941.737
AT ITER 878 NEW BEST:: SOT 38109 SOS 21677 HAS SOPS 21677 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17830.677
AT ITER 894 NEW BEST:: SOT 38095 SOS 21655 HAS SOPS 21655 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17802.655
AT ITER 900 NEW BEST:: SOT 38095 SOS 21649 HAS SOPS 21649 HAS SOUS 17775 HAS SOUPS 17775 WITH SCORE 17796.649
AT ITER 902 NEW BEST:: SOT 38081 SOS 21633 HAS SOPS 21633 HAS SOUS 17759 HAS SOUPS 17759 WITH SCORE 17780.633
AT ITER 905 NEW BEST:: SOT 38081 SOS 21602 HAS SOPS 21602 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17762.602
AT ITER 927 NEW BEST:: SOT 38029 SOS 21550 HAS SOPS 21550 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17710.55
AT ITER 944 NEW BEST:: SOT 38008 SOS 21505 HAS SOPS 21505 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17654.505
AT ITER 963 NEW BEST:: SOT 38008 SOS 21458 HAS SOPS 21458 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17607.458
AT ITER 971 NEW BEST:: SOT 38000 SOS 21448 HAS SOPS 21448 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17597.448
AT ITER 974 NEW BEST:: SOT 37985 SOS 21409 HAS SOPS 21409 HAS SOUS 17534 HAS SOUPS 17534 WITH SCORE 17555.409
AT ITER 975 NEW BEST:: SOT 38009 SOS 21426 HAS SOPS 21426 HAS SOUS 17483 HAS SOUPS 17483 WITH SCORE 17504.426
AT ITER 993 NEW BEST:: SOT 38005 SOS 21383 HAS SOPS 21383 HAS SOUS 17440 HAS SOUPS 17440 WITH SCORE 17461.383
AT ITER 994 NEW BEST:: SOT 38042 SOS 21418 HAS SOPS 21418 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17399.418
AT ITER 997 NEW BEST:: SOT 38019 SOS 21413 HAS SOPS 21413 HAS SOUS 17367 HAS SOUPS 17367 WITH SCORE 17388.413
AT ITER 1001 NEW BEST:: SOT 38050 SOS 21313 HAS SOPS 21313 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17353.313
AT ITER 1003 NEW BEST:: SOT 38024 SOS 21287 HAS SOPS 21287 HAS SOUS 17319 HAS SOUPS 17319 WITH SCORE 17340.287
AT ITER 1015 NEW BEST:: SOT 38024 SOS 21039 HAS SOPS 21039 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17073.039
AT ITER 1020 NEW BEST:: SOT 37972 SOS 20987 HAS SOPS 20987 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17020.987
AT ITER 1023 NEW BEST:: SOT 37972 SOS 20917 HAS SOPS 20917 HAS SOUS 16930 HAS SOUPS 16930 WITH SCORE 16950.917
AT ITER 1028 NEW BEST:: SOT 37972 SOS 20919 HAS SOPS 20919 HAS SOUS 16928 HAS SOUPS 16928 WITH SCORE 16948.919
AT ITER 1035 NEW BEST:: SOT 37947 SOS 20894 HAS SOPS 20894 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16923.894
AT ITER 1043 NEW BEST:: SOT 37938 SOS 20885 HAS SOPS 20885 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16917.885
AT ITER 1047 NEW BEST:: SOT 37902 SOS 20844 HAS SOPS 20844 HAS SOUS 16856 HAS SOUPS 16856 WITH SCORE 16876.844
AT ITER 1048 NEW BEST:: SOT 37902 SOS 20785 HAS SOPS 20785 HAS SOUS 16775 HAS SOUPS 16775 WITH SCORE 16795.785
AT ITER 1059 NEW BEST:: SOT 37902 SOS 20758 HAS SOPS 20758 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16714.758
AT ITER 1061 NEW BEST:: SOT 37849 SOS 20771 HAS SOPS 20771 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16672.771
AT ITER 1072 NEW BEST:: SOT 37808 SOS 20739 HAS SOPS 20739 HAS SOUS 16576 HAS SOUPS 16576 WITH SCORE 16596.739
AT ITER 1076 NEW BEST:: SOT 37806 SOS 20737 HAS SOPS 20737 HAS SOUS 16574 HAS SOUPS 16574 WITH SCORE 16594.737
AT ITER 1085 NEW BEST:: SOT 37806 SOS 20674 HAS SOPS 20674 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16566.674
AT ITER 1098 NEW BEST:: SOT 37825 SOS 20648 HAS SOPS 20648 HAS SOUS 16458 HAS SOUPS 16458 WITH SCORE 16478.648
AT ITER 1100 NEW BEST:: SOT 37702 SOS 20511 HAS SOPS 20511 HAS SOUS 16364 HAS SOUPS 16364 WITH SCORE 16384.511
AT ITER 1110 NEW BEST:: SOT 37694 SOS 20503 HAS SOPS 20503 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16376.503
AT ITER 1122 NEW BEST:: SOT 37662 SOS 20485 HAS SOPS 20485 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16358.485
AT ITER 1127 NEW BEST:: SOT 37611 SOS 20425 HAS SOPS 20425 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16298.425
AT ITER 1148 NEW BEST:: SOT 37587 SOS 20386 HAS SOPS 20386 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16259.386
AT ITER 1175 NEW BEST:: SOT 37575 SOS 20365 HAS SOPS 20365 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16211.365
AT ITER 1183 NEW BEST:: SOT 37499 SOS 20286 HAS SOPS 20286 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16132.286
AT ITER 1206 NEW BEST:: SOT 37372 SOS 20187 HAS SOPS 20187 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16091.187
AT ITER 1209 NEW BEST:: SOT 37360 SOS 20176 HAS SOPS 20176 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16080.176
AT ITER 1212 NEW BEST:: SOT 37315 SOS 20145 HAS SOPS 20145 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16061.145
AT ITER 1213 NEW BEST:: SOT 37317 SOS 20143 HAS SOPS 20143 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16061.143
AT ITER 1217 NEW BEST:: SOT 37296 SOS 20129 HAS SOPS 20129 HAS SOUS 16027 HAS SOUPS 16027 WITH SCORE 16047.129
AT ITER 1222 NEW BEST:: SOT 37287 SOS 20120 HAS SOPS 20120 HAS SOUS 16018 HAS SOUPS 16018 WITH SCORE 16038.12
AT ITER 1228 NEW BEST:: SOT 37287 SOS 20118 HAS SOPS 20118 HAS SOUS 16018 HAS SOUPS 16018 WITH SCORE 16038.118
AT ITER 1230 NEW BEST:: SOT 37275 SOS 20102 HAS SOPS 20102 HAS SOUS 16002 HAS SOUPS 16002 WITH SCORE 16022.102
AT ITER 1253 NEW BEST:: SOT 37267 SOS 20094 HAS SOPS 20094 HAS SOUS 15994 HAS SOUPS 15994 WITH SCORE 16014.094
AT ITER 1282 NEW BEST:: SOT 37213 SOS 20040 HAS SOPS 20040 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15974.04
AT ITER 1296 NEW BEST:: SOT 37119 SOS 19878 HAS SOPS 19878 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15866.878
AT ITER 1321 NEW BEST:: SOT 37101 SOS 19854 HAS SOPS 19854 HAS SOUS 15823 HAS SOUPS 15823 WITH SCORE 15842.854
AT ITER 1344 NEW BEST:: SOT 37004 SOS 19699 HAS SOPS 19699 HAS SOUS 15662 HAS SOUPS 15662 WITH SCORE 15681.699
AT ITER 1349 NEW BEST:: SOT 37009 SOS 19701 HAS SOPS 19701 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15678.701
AT ITER 1355 NEW BEST:: SOT 36989 SOS 19688 HAS SOPS 19688 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15665.688
AT ITER 1357 NEW BEST:: SOT 36950 SOS 19652 HAS SOPS 19652 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15641.652
AT ITER 1359 NEW BEST:: SOT 36918 SOS 19588 HAS SOPS 19588 HAS SOUS 15542 HAS SOUPS 15542 WITH SCORE 15561.588
AT ITER 1364 NEW BEST:: SOT 36916 SOS 19562 HAS SOPS 19562 HAS SOUS 15519 HAS SOUPS 15519 WITH SCORE 15538.562
AT ITER 1397 NEW BEST:: SOT 36916 SOS 19517 HAS SOPS 19517 HAS SOUS 15474 HAS SOUPS 15474 WITH SCORE 15493.517
AT ITER 1409 NEW BEST:: SOT 36915 SOS 19515 HAS SOPS 19515 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15491.515
AT ITER 1415 NEW BEST:: SOT 36931 SOS 19515 HAS SOPS 19515 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15475.515
AT ITER 1419 NEW BEST:: SOT 36876 SOS 19490 HAS SOPS 19490 HAS SOUS 15431 HAS SOUPS 15431 WITH SCORE 15450.49
AT ITER 1425 NEW BEST:: SOT 36851 SOS 19457 HAS SOPS 19457 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15417.457
AT ITER 1426 NEW BEST:: SOT 36851 SOS 19439 HAS SOPS 19439 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15399.439
AT ITER 1450 NEW BEST:: SOT 36813 SOS 19401 HAS SOPS 19401 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15361.401
AT ITER 1455 NEW BEST:: SOT 36813 SOS 19398 HAS SOPS 19398 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15358.398
AT ITER 1469 NEW BEST:: SOT 36765 SOS 19344 HAS SOPS 19344 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15307.344
AT ITER 1474 NEW BEST:: SOT 36737 SOS 19337 HAS SOPS 19337 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15300.337
AT ITER 1483 NEW BEST:: SOT 36688 SOS 19242 HAS SOPS 19242 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15205.242
AT ITER 1510 NEW BEST:: SOT 36705 SOS 19253 HAS SOPS 19253 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15168.253
AT ITER 1515 NEW BEST:: SOT 36698 SOS 19232 HAS SOPS 19232 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15161.232
AT ITER 1543 NEW BEST:: SOT 36692 SOS 19226 HAS SOPS 19226 HAS SOUS 15136 HAS SOUPS 15136 WITH SCORE 15155.226
AT ITER 1548 NEW BEST:: SOT 36689 SOS 19223 HAS SOPS 19223 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15152.223
AT ITER 1552 NEW BEST:: SOT 36689 SOS 19208 HAS SOPS 19208 HAS SOUS 15073 HAS SOUPS 15073 WITH SCORE 15092.208
AT ITER 1553 NEW BEST:: SOT 36689 SOS 19190 HAS SOPS 19190 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15074.19
AT ITER 1558 NEW BEST:: SOT 36633 SOS 19186 HAS SOPS 19186 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15070.186
AT ITER 1562 NEW BEST:: SOT 36637 SOS 19220 HAS SOPS 19220 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15066.22
AT ITER 1577 NEW BEST:: SOT 36637 SOS 19214 HAS SOPS 19214 HAS SOUS 15044 HAS SOUPS 15044 WITH SCORE 15063.214
AT ITER 1584 NEW BEST:: SOT 36605 SOS 19182 HAS SOPS 19182 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15031.182
AT ITER 1591 NEW BEST:: SOT 36567 SOS 19125 HAS SOPS 19125 HAS SOUS 14955 HAS SOUPS 14955 WITH SCORE 14974.125
AT ITER 1612 NEW BEST:: SOT 36479 SOS 19015 HAS SOPS 19015 HAS SOUS 14887 HAS SOUPS 14887 WITH SCORE 14906.015
AT ITER 1613 NEW BEST:: SOT 36479 SOS 19015 HAS SOPS 19015 HAS SOUS 14851 HAS SOUPS 14851 WITH SCORE 14870.015
AT ITER 1621 NEW BEST:: SOT 36494 SOS 18967 HAS SOPS 18967 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14821.967
AT ITER 1622 NEW BEST:: SOT 36509 SOS 18980 HAS SOPS 18980 HAS SOUS 14800 HAS SOUPS 14800 WITH SCORE 14818.98
AT ITER 1628 NEW BEST:: SOT 36496 SOS 18954 HAS SOPS 18954 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14792.954
AT ITER 1645 NEW BEST:: SOT 36493 SOS 18910 HAS SOPS 18910 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14721.91
AT ITER 1662 NEW BEST:: SOT 36456 SOS 18894 HAS SOPS 18894 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14706.894
AT ITER 1676 NEW BEST:: SOT 36455 SOS 18891 HAS SOPS 18891 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14701.891
AT ITER 1680 NEW BEST:: SOT 36455 SOS 18859 HAS SOPS 18859 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14690.859
AT ITER 1703 NEW BEST:: SOT 36463 SOS 18843 HAS SOPS 18843 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14682.843
AT ITER 1722 NEW BEST:: SOT 36407 SOS 18782 HAS SOPS 18782 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14621.782
AT ITER 1728 NEW BEST:: SOT 36410 SOS 18754 HAS SOPS 18754 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14600.754
AT ITER 1747 NEW BEST:: SOT 36411 SOS 18754 HAS SOPS 18754 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14599.754
AT ITER 1760 NEW BEST:: SOT 36422 SOS 18703 HAS SOPS 18703 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14504.703
AT ITER 1762 NEW BEST:: SOT 36402 SOS 18683 HAS SOPS 18683 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14484.683
AT ITER 1781 NEW BEST:: SOT 36426 SOS 18654 HAS SOPS 18654 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14440.654
AT ITER 1783 NEW BEST:: SOT 36425 SOS 18579 HAS SOPS 18579 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14427.579
AT ITER 1787 NEW BEST:: SOT 36403 SOS 18503 HAS SOPS 18503 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14401.503
AT ITER 1791 NEW BEST:: SOT 36403 SOS 18502 HAS SOPS 18502 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14400.502
AT ITER 1802 NEW BEST:: SOT 36403 SOS 18501 HAS SOPS 18501 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14400.501
AT ITER 1816 NEW BEST:: SOT 36403 SOS 18487 HAS SOPS 18487 HAS SOUS 14361 HAS SOUPS 14361 WITH SCORE 14379.487
AT ITER 1837 NEW BEST:: SOT 36400 SOS 18486 HAS SOPS 18486 HAS SOUS 14361 HAS SOUPS 14361 WITH SCORE 14379.486
AT ITER 1843 NEW BEST:: SOT 36400 SOS 18486 HAS SOPS 18486 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14370.486
AT ITER 1853 NEW BEST:: SOT 36384 SOS 18470 HAS SOPS 18470 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14354.47
AT ITER 1870 NEW BEST:: SOT 36366 SOS 18442 HAS SOPS 18442 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14340.442
AT ITER 1883 NEW BEST:: SOT 36358 SOS 18414 HAS SOPS 18414 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14328.414
AT ITER 1888 NEW BEST:: SOT 36363 SOS 18420 HAS SOPS 18420 HAS SOUS 14309 HAS SOUPS 14309 WITH SCORE 14327.42
AT ITER 1893 NEW BEST:: SOT 36291 SOS 18274 HAS SOPS 18274 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14218.274
AT ITER 1927 NEW BEST:: SOT 36291 SOS 18220 HAS SOPS 18220 HAS SOUS 14138 HAS SOUPS 14138 WITH SCORE 14156.22
AT ITER 1933 NEW BEST:: SOT 36287 SOS 18210 HAS SOPS 18210 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14154.21
AT ITER 1946 NEW BEST:: SOT 36266 SOS 18239 HAS SOPS 18239 HAS SOUS 14120 HAS SOUPS 14120 WITH SCORE 14138.239
AT ITER 1954 NEW BEST:: SOT 36282 SOS 18246 HAS SOPS 18246 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14122.246
AT ITER 1978 NEW BEST:: SOT 36270 SOS 18229 HAS SOPS 18229 HAS SOUS 14092 HAS SOUPS 14092 WITH SCORE 14110.229
AT ITER 1986 NEW BEST:: SOT 36233 SOS 18169 HAS SOPS 18169 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14038.169
AT ITER 1996 NEW BEST:: SOT 36230 SOS 18165 HAS SOPS 18165 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14034.165
AT ITER 2014 NEW BEST:: SOT 36229 SOS 18163 HAS SOPS 18163 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14029.163
AT ITER 2016 NEW BEST:: SOT 36240 SOS 18101 HAS SOPS 18101 HAS SOUS 13994 HAS SOUPS 13994 WITH SCORE 14012.101
AT ITER 2017 NEW BEST:: SOT 36239 SOS 18098 HAS SOPS 18098 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14009.098
AT ITER 2020 NEW BEST:: SOT 36159 SOS 17977 HAS SOPS 17977 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13887.977
AT ITER 2044 NEW BEST:: SOT 36159 SOS 17980 HAS SOPS 17980 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13881.98
AT ITER 2054 NEW BEST:: SOT 36132 SOS 17937 HAS SOPS 17937 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13838.937
AT ITER 2057 NEW BEST:: SOT 36131 SOS 17922 HAS SOPS 17922 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13820.922
AT ITER 2065 NEW BEST:: SOT 36131 SOS 17921 HAS SOPS 17921 HAS SOUS 13802 HAS SOUPS 13802 WITH SCORE 13819.921
AT ITER 2080 NEW BEST:: SOT 36130 SOS 17920 HAS SOPS 17920 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13818.92
AT ITER 2082 NEW BEST:: SOT 36130 SOS 17914 HAS SOPS 17914 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13812.914
AT ITER 2086 NEW BEST:: SOT 36130 SOS 17886 HAS SOPS 17886 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13798.886
AT ITER 2088 NEW BEST:: SOT 36090 SOS 17846 HAS SOPS 17846 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13758.846
AT ITER 2100 NEW BEST:: SOT 36090 SOS 17844 HAS SOPS 17844 HAS SOUS 13739 HAS SOUPS 13739 WITH SCORE 13756.844
AT ITER 2111 NEW BEST:: SOT 36038 SOS 17770 HAS SOPS 17770 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13718.77
AT ITER 2119 NEW BEST:: SOT 36020 SOS 17742 HAS SOPS 17742 HAS SOUS 13678 HAS SOUPS 13678 WITH SCORE 13695.742
AT ITER 2140 NEW BEST:: SOT 36025 SOS 17757 HAS SOPS 17757 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13683.757
AT ITER 2141 NEW BEST:: SOT 36025 SOS 17768 HAS SOPS 17768 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13650.768
AT ITER 2143 NEW BEST:: SOT 36018 SOS 17754 HAS SOPS 17754 HAS SOUS 13626 HAS SOUPS 13626 WITH SCORE 13643.754
AT ITER 2144 NEW BEST:: SOT 35994 SOS 17578 HAS SOPS 17578 HAS SOUS 13458 HAS SOUPS 13458 WITH SCORE 13475.578
AT ITER 2167 NEW BEST:: SOT 35985 SOS 17571 HAS SOPS 17571 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13472.571
AT ITER 2177 NEW BEST:: SOT 36040 SOS 17481 HAS SOPS 17481 HAS SOUS 13352 HAS SOUPS 13352 WITH SCORE 13369.481
AT ITER 2205 NEW BEST:: SOT 36016 SOS 17465 HAS SOPS 17465 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13353.465
AT ITER 2207 NEW BEST:: SOT 35996 SOS 17374 HAS SOPS 17374 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13346.374
AT ITER 2214 NEW BEST:: SOT 35996 SOS 17370 HAS SOPS 17370 HAS SOUS 13325 HAS SOUPS 13325 WITH SCORE 13342.37
AT ITER 2258 NEW BEST:: SOT 35993 SOS 17360 HAS SOPS 17360 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13333.36
AT ITER 2294 NEW BEST:: SOT 35987 SOS 17335 HAS SOPS 17335 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13308.335
AT ITER 2321 NEW BEST:: SOT 35987 SOS 17305 HAS SOPS 17305 HAS SOUS 13266 HAS SOUPS 13266 WITH SCORE 13283.305
AT ITER 2336 NEW BEST:: SOT 35923 SOS 17262 HAS SOPS 17262 HAS SOUS 13223 HAS SOUPS 13223 WITH SCORE 13240.262
AT ITER 2343 NEW BEST:: SOT 35923 SOS 17261 HAS SOPS 17261 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13239.261
AT ITER 2348 NEW BEST:: SOT 35922 SOS 17260 HAS SOPS 17260 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13237.26
AT ITER 2349 NEW BEST:: SOT 35861 SOS 17241 HAS SOPS 17241 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13231.241
AT ITER 2368 NEW BEST:: SOT 35873 SOS 17237 HAS SOPS 17237 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13227.237
AT ITER 2385 NEW BEST:: SOT 35855 SOS 17212 HAS SOPS 17212 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13202.212
AT ITER 2417 NEW BEST:: SOT 35837 SOS 17192 HAS SOPS 17192 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13182.192
AT ITER 2420 NEW BEST:: SOT 35837 SOS 17195 HAS SOPS 17195 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13175.195
AT ITER 2434 NEW BEST:: SOT 35837 SOS 17170 HAS SOPS 17170 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13156.17
AT ITER 2438 NEW BEST:: SOT 35836 SOS 17164 HAS SOPS 17164 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13156.164
AT ITER 2440 NEW BEST:: SOT 35836 SOS 17162 HAS SOPS 17162 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13156.162
AT ITER 2442 NEW BEST:: SOT 35754 SOS 17116 HAS SOPS 17116 HAS SOUS 13124 HAS SOUPS 13124 WITH SCORE 13141.116
AT ITER 2447 NEW BEST:: SOT 35691 SOS 17053 HAS SOPS 17053 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13135.053
AT ITER 2466 NEW BEST:: SOT 35659 SOS 17021 HAS SOPS 17021 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13103.021
AT ITER 2480 NEW BEST:: SOT 35625 SOS 16987 HAS SOPS 16987 HAS SOUS 13052 HAS SOUPS 13052 WITH SCORE 13068.987
AT ITER 2490 NEW BEST:: SOT 35589 SOS 16947 HAS SOPS 16947 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13028.947
AT ITER 2491 NEW BEST:: SOT 35583 SOS 16944 HAS SOPS 16944 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13028.944
AT ITER 2532 NEW BEST:: SOT 35583 SOS 16934 HAS SOPS 16934 HAS SOUS 13009 HAS SOUPS 13009 WITH SCORE 13025.934
AT ITER 2533 NEW BEST:: SOT 35587 SOS 16972 HAS SOPS 16972 HAS SOUS 13004 HAS SOUPS 13004 WITH SCORE 13020.972
AT ITER 2540 NEW BEST:: SOT 35583 SOS 16966 HAS SOPS 16966 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13014.966
AT ITER 2554 NEW BEST:: SOT 35561 SOS 16931 HAS SOPS 16931 HAS SOUS 12963 HAS SOUPS 12963 WITH SCORE 12979.931
AT ITER 2564 NEW BEST:: SOT 35616 SOS 16939 HAS SOPS 16939 HAS SOUS 12947 HAS SOUPS 12947 WITH SCORE 12963.939
AT ITER 2573 NEW BEST:: SOT 35592 SOS 16908 HAS SOPS 16908 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12905.908
AT ITER 2588 NEW BEST:: SOT 35570 SOS 16885 HAS SOPS 16885 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12882.885
AT ITER 2606 NEW BEST:: SOT 35570 SOS 16855 HAS SOPS 16855 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12882.855
AT ITER 2608 NEW BEST:: SOT 35582 SOS 16893 HAS SOPS 16893 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12879.893
AT ITER 2634 NEW BEST:: SOT 35610 SOS 16900 HAS SOPS 16900 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12855.9
AT ITER 2638 NEW BEST:: SOT 35608 SOS 16894 HAS SOPS 16894 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12849.894
AT ITER 2654 NEW BEST:: SOT 35602 SOS 16888 HAS SOPS 16888 HAS SOUS 12826 HAS SOUPS 12826 WITH SCORE 12842.888
AT ITER 2662 NEW BEST:: SOT 35589 SOS 16879 HAS SOPS 16879 HAS SOUS 12821 HAS SOUPS 12821 WITH SCORE 12837.879
AT ITER 2669 NEW BEST:: SOT 35577 SOS 16863 HAS SOPS 16863 HAS SOUS 12805 HAS SOUPS 12805 WITH SCORE 12821.863
AT ITER 2673 NEW BEST:: SOT 35493 SOS 16805 HAS SOPS 16805 HAS SOUS 12785 HAS SOUPS 12785 WITH SCORE 12801.805
AT ITER 2683 NEW BEST:: SOT 35480 SOS 16792 HAS SOPS 16792 HAS SOUS 12772 HAS SOUPS 12772 WITH SCORE 12788.792
AT ITER 2694 NEW BEST:: SOT 35494 SOS 16604 HAS SOPS 16604 HAS SOUS 12756 HAS SOUPS 12756 WITH SCORE 12772.604
AT ITER 2700 NEW BEST:: SOT 35454 SOS 16564 HAS SOPS 16564 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12732.564
AT ITER 2702 NEW BEST:: SOT 35448 SOS 16554 HAS SOPS 16554 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12732.554
AT ITER 2712 NEW BEST:: SOT 35448 SOS 16534 HAS SOPS 16534 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12722.534
AT ITER 2745 NEW BEST:: SOT 35380 SOS 16472 HAS SOPS 16472 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12639.472
AT ITER 2749 NEW BEST:: SOT 35374 SOS 16472 HAS SOPS 16472 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12637.472
AT ITER 2794 NEW BEST:: SOT 35374 SOS 16438 HAS SOPS 16438 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12637.438
AT ITER 2797 NEW BEST:: SOT 35356 SOS 16420 HAS SOPS 16420 HAS SOUS 12603 HAS SOUPS 12603 WITH SCORE 12619.42
AT ITER 2798 NEW BEST:: SOT 35356 SOS 16412 HAS SOPS 16412 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12611.412
AT ITER 2799 NEW BEST:: SOT 35325 SOS 16396 HAS SOPS 16396 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12579.396
AT ITER 2802 NEW BEST:: SOT 35325 SOS 16404 HAS SOPS 16404 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12575.404
AT ITER 2808 NEW BEST:: SOT 35317 SOS 16392 HAS SOPS 16392 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12563.392
AT ITER 2811 NEW BEST:: SOT 35320 SOS 16390 HAS SOPS 16390 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12563.39
AT ITER 2873 NEW BEST:: SOT 35311 SOS 16381 HAS SOPS 16381 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12554.381
AT ITER 2879 NEW BEST:: SOT 35311 SOS 16400 HAS SOPS 16400 HAS SOUS 12536 HAS SOUPS 12536 WITH SCORE 12552.4
AT ITER 2904 NEW BEST:: SOT 35315 SOS 16396 HAS SOPS 16396 HAS SOUS 12535 HAS SOUPS 12535 WITH SCORE 12551.396
AT ITER 2909 NEW BEST:: SOT 35259 SOS 16316 HAS SOPS 16316 HAS SOUS 12510 HAS SOUPS 12510 WITH SCORE 12526.316
AT ITER 2910 NEW BEST:: SOT 35255 SOS 16315 HAS SOPS 16315 HAS SOUS 12509 HAS SOUPS 12509 WITH SCORE 12525.315
AT ITER 2953 NEW BEST:: SOT 35255 SOS 16281 HAS SOPS 16281 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12510.281
AT ITER 2995 NEW BEST:: SOT 35268 SOS 16273 HAS SOPS 16273 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12491.273
AT ITER 3006 NEW BEST:: SOT 35266 SOS 16271 HAS SOPS 16271 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12491.271
AT ITER 3017 NEW BEST:: SOT 35255 SOS 16260 HAS SOPS 16260 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12479.26
AT ITER 3019 NEW BEST:: SOT 35232 SOS 16240 HAS SOPS 16240 HAS SOUS 12440 HAS SOUPS 12440 WITH SCORE 12456.24
AT ITER 3023 NEW BEST:: SOT 35224 SOS 16225 HAS SOPS 16225 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12441.225
AT ITER 3032 NEW BEST:: SOT 35214 SOS 16215 HAS SOPS 16215 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12431.215
AT ITER 3054 NEW BEST:: SOT 35254 SOS 16253 HAS SOPS 16253 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12422.253
AT ITER 3070 NEW BEST:: SOT 35247 SOS 16239 HAS SOPS 16239 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12408.239
AT ITER 3080 NEW BEST:: SOT 35247 SOS 16232 HAS SOPS 16232 HAS SOUS 12385 HAS SOUPS 12385 WITH SCORE 12401.232
AT ITER 3086 NEW BEST:: SOT 35245 SOS 16228 HAS SOPS 16228 HAS SOUS 12381 HAS SOUPS 12381 WITH SCORE 12397.228
AT ITER 3101 NEW BEST:: SOT 35225 SOS 16195 HAS SOPS 16195 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12364.195
AT ITER 3121 NEW BEST:: SOT 35221 SOS 16190 HAS SOPS 16190 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12360.19
AT ITER 3154 NEW BEST:: SOT 35205 SOS 16174 HAS SOPS 16174 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12344.174
AT ITER 3169 NEW BEST:: SOT 35200 SOS 16183 HAS SOPS 16183 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12343.183
AT ITER 3179 NEW BEST:: SOT 35197 SOS 16177 HAS SOPS 16177 HAS SOUS 12321 HAS SOUPS 12321 WITH SCORE 12337.177
AT ITER 3185 NEW BEST:: SOT 35196 SOS 16161 HAS SOPS 16161 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12325.161
AT ITER 3198 NEW BEST:: SOT 35196 SOS 16158 HAS SOPS 16158 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12324.158
AT ITER 3212 NEW BEST:: SOT 35177 SOS 16152 HAS SOPS 16152 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12318.152
AT ITER 3228 NEW BEST:: SOT 35151 SOS 16126 HAS SOPS 16126 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12292.126
AT ITER 3230 NEW BEST:: SOT 35147 SOS 16122 HAS SOPS 16122 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12288.122
AT ITER 3266 NEW BEST:: SOT 35141 SOS 16116 HAS SOPS 16116 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12276.116
AT ITER 3280 NEW BEST:: SOT 35141 SOS 16074 HAS SOPS 16074 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12276.074
AT ITER 3283 NEW BEST:: SOT 35119 SOS 16052 HAS SOPS 16052 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12254.052
AT ITER 3352 NEW BEST:: SOT 35092 SOS 15950 HAS SOPS 15950 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12223.95
AT ITER 3354 NEW BEST:: SOT 35087 SOS 15945 HAS SOPS 15945 HAS SOUS 12193 HAS SOUPS 12193 WITH SCORE 12208.945
AT ITER 3371 NEW BEST:: SOT 35075 SOS 15873 HAS SOPS 15873 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12199.873
AT ITER 3423 NEW BEST:: SOT 35075 SOS 15870 HAS SOPS 15870 HAS SOUS 12181 HAS SOUPS 12181 WITH SCORE 12196.87
AT ITER 3440 NEW BEST:: SOT 35093 SOS 15888 HAS SOPS 15888 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12195.888
AT ITER 3451 NEW BEST:: SOT 35093 SOS 15884 HAS SOPS 15884 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12195.884
AT ITER 3489 NEW BEST:: SOT 35083 SOS 15870 HAS SOPS 15870 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12181.87
AT ITER 3512 NEW BEST:: SOT 35076 SOS 15863 HAS SOPS 15863 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12174.863
AT ITER 3518 NEW BEST:: SOT 35070 SOS 15849 HAS SOPS 15849 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12154.849
AT ITER 3552 NEW BEST:: SOT 35066 SOS 15845 HAS SOPS 15845 HAS SOUS 12135 HAS SOUPS 12135 WITH SCORE 12150.845
AT ITER 3559 NEW BEST:: SOT 35063 SOS 15829 HAS SOPS 15829 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12112.829
AT ITER 3650 NEW BEST:: SOT 35060 SOS 15826 HAS SOPS 15826 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12109.826
AT ITER 3665 NEW BEST:: SOT 35028 SOS 15791 HAS SOPS 15791 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12062.791
AT ITER 3680 NEW BEST:: SOT 35016 SOS 15759 HAS SOPS 15759 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12030.759
AT ITER 3686 NEW BEST:: SOT 34998 SOS 15747 HAS SOPS 15747 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12002.747
AT ITER 3697 NEW BEST:: SOT 34972 SOS 15734 HAS SOPS 15734 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11976.734
AT ITER 3709 NEW BEST:: SOT 34967 SOS 15726 HAS SOPS 15726 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11971.726
AT ITER 3713 NEW BEST:: SOT 34964 SOS 15736 HAS SOPS 15736 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11970.736
AT ITER 3750 NEW BEST:: SOT 34964 SOS 15700 HAS SOPS 15700 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11950.7
AT ITER 3755 NEW BEST:: SOT 34963 SOS 15695 HAS SOPS 15695 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11945.695
AT ITER 3768 NEW BEST:: SOT 34893 SOS 15556 HAS SOPS 15556 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11862.556
AT ITER 3772 NEW BEST:: SOT 34893 SOS 15507 HAS SOPS 15507 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11848.507
AT ITER 3791 NEW BEST:: SOT 34893 SOS 15504 HAS SOPS 15504 HAS SOUS 11827 HAS SOUPS 11827 WITH SCORE 11842.504
AT ITER 3804 NEW BEST:: SOT 34864 SOS 15566 HAS SOPS 15566 HAS SOUS 11819 HAS SOUPS 11819 WITH SCORE 11834.566
AT ITER 3834 NEW BEST:: SOT 34852 SOS 15510 HAS SOPS 15510 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11804.51
AT ITER 3874 NEW BEST:: SOT 34848 SOS 15464 HAS SOPS 15464 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11758.464
AT ITER 3878 NEW BEST:: SOT 34848 SOS 15424 HAS SOPS 15424 HAS SOUS 11741 HAS SOUPS 11741 WITH SCORE 11756.424
AT ITER 3891 NEW BEST:: SOT 34841 SOS 15378 HAS SOPS 15378 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11712.378
AT ITER 3894 NEW BEST:: SOT 34851 SOS 15367 HAS SOPS 15367 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11701.367
AT ITER 3936 NEW BEST:: SOT 34847 SOS 15361 HAS SOPS 15361 HAS SOUS 11680 HAS SOUPS 11680 WITH SCORE 11695.361
AT ITER 3978 NEW BEST:: SOT 34828 SOS 15326 HAS SOPS 15326 HAS SOUS 11645 HAS SOUPS 11645 WITH SCORE 11660.326
AT ITER 4028 NEW BEST:: SOT 34786 SOS 15290 HAS SOPS 15290 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11624.29
AT ITER 4032 NEW BEST:: SOT 34783 SOS 15287 HAS SOPS 15287 HAS SOUS 11606 HAS SOUPS 11606 WITH SCORE 11621.287
AT ITER 4036 NEW BEST:: SOT 34779 SOS 15228 HAS SOPS 15228 HAS SOUS 11587 HAS SOUPS 11587 WITH SCORE 11602.228
AT ITER 4042 NEW BEST:: SOT 34796 SOS 15211 HAS SOPS 15211 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11560.211
AT ITER 4046 NEW BEST:: SOT 34792 SOS 15105 HAS SOPS 15105 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11519.105
AT ITER 4048 NEW BEST:: SOT 34771 SOS 15035 HAS SOPS 15035 HAS SOUS 11478 HAS SOUPS 11478 WITH SCORE 11493.035
AT ITER 4067 NEW BEST:: SOT 34769 SOS 15033 HAS SOPS 15033 HAS SOUS 11476 HAS SOUPS 11476 WITH SCORE 11491.033
AT ITER 4100 NEW BEST:: SOT 34769 SOS 15020 HAS SOPS 15020 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11478.02
AT ITER 4102 NEW BEST:: SOT 34761 SOS 14996 HAS SOPS 14996 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11453.996
AT ITER 4116 NEW BEST:: SOT 34767 SOS 15016 HAS SOPS 15016 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11425.016
AT ITER 4191 NEW BEST:: SOT 34766 SOS 15015 HAS SOPS 15015 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11424.015
AT ITER 4194 NEW BEST:: SOT 34756 SOS 15007 HAS SOPS 15007 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11416.007
AT ITER 4248 NEW BEST:: SOT 34738 SOS 14983 HAS SOPS 14983 HAS SOUS 11365 HAS SOUPS 11365 WITH SCORE 11379.983
AT ITER 4278 NEW BEST:: SOT 34724 SOS 14969 HAS SOPS 14969 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11365.969
AT ITER 4290 NEW BEST:: SOT 34747 SOS 14994 HAS SOPS 14994 HAS SOUS 11326 HAS SOUPS 11326 WITH SCORE 11340.994
AT ITER 4317 NEW BEST:: SOT 34733 SOS 14962 HAS SOPS 14962 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11310.962
AT ITER 4327 NEW BEST:: SOT 34738 SOS 14960 HAS SOPS 14960 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11308.96
AT ITER 4383 NEW BEST:: SOT 34726 SOS 14948 HAS SOPS 14948 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11296.948
AT ITER 4422 NEW BEST:: SOT 34730 SOS 14947 HAS SOPS 14947 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11295.947
AT ITER 4440 NEW BEST:: SOT 34719 SOS 14932 HAS SOPS 14932 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11282.932
AT ITER 4543 NEW BEST:: SOT 34717 SOS 14942 HAS SOPS 14942 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11270.942
AT ITER 4544 NEW BEST:: SOT 34685 SOS 14902 HAS SOPS 14902 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11224.902
AT ITER 4576 NEW BEST:: SOT 34677 SOS 14896 HAS SOPS 14896 HAS SOUS 11195 HAS SOUPS 11195 WITH SCORE 11209.896
AT ITER 4582 NEW BEST:: SOT 34642 SOS 14851 HAS SOPS 14851 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11169.851
AT ITER 4615 NEW BEST:: SOT 34636 SOS 14841 HAS SOPS 14841 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11168.841
AT ITER 4659 NEW BEST:: SOT 34636 SOS 14836 HAS SOPS 14836 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11163.836
AT ITER 4667 NEW BEST:: SOT 34635 SOS 14825 HAS SOPS 14825 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11157.825
AT ITER 4712 NEW BEST:: SOT 34632 SOS 14821 HAS SOPS 14821 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11153.821
AT ITER 4737 NEW BEST:: SOT 34632 SOS 14876 HAS SOPS 14876 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11147.876
AT ITER 4762 NEW BEST:: SOT 34623 SOS 14874 HAS SOPS 14874 HAS SOUS 11123 HAS SOUPS 11123 WITH SCORE 11137.874
AT ITER 4774 NEW BEST:: SOT 34632 SOS 14879 HAS SOPS 14879 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11135.879
AT ITER 4823 NEW BEST:: SOT 34632 SOS 14879 HAS SOPS 14879 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11123.879
AT ITER 4840 NEW BEST:: SOT 34630 SOS 14877 HAS SOPS 14877 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11121.877
AT ITER 4868 NEW BEST:: SOT 34637 SOS 14911 HAS SOPS 14911 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11095.911
AT ITER 4915 NEW BEST:: SOT 34625 SOS 14899 HAS SOPS 14899 HAS SOUS 11069 HAS SOUPS 11069 WITH SCORE 11083.899
AT ITER 4933 NEW BEST:: SOT 34634 SOS 14932 HAS SOPS 14932 HAS SOUS 11067 HAS SOUPS 11067 WITH SCORE 11081.932
AT ITER 4954 NEW BEST:: SOT 34622 SOS 14926 HAS SOPS 14926 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11074.926
AT ITER 4957 NEW BEST:: SOT 34616 SOS 14920 HAS SOPS 14920 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11068.92
AT ITER 4962 NEW BEST:: SOT 34604 SOS 14908 HAS SOPS 14908 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11056.908
AT ITER 4972 NEW BEST:: SOT 34609 SOS 14896 HAS SOPS 14896 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11036.896
AT ITER 4979 NEW BEST:: SOT 34611 SOS 14886 HAS SOPS 14886 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11026.886
AT ITER 5020 NEW BEST:: SOT 34611 SOS 14871 HAS SOPS 14871 HAS SOUS 10997 HAS SOUPS 10997 WITH SCORE 11011.871
AT ITER 5041 NEW BEST:: SOT 34611 SOS 14850 HAS SOPS 14850 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10991.85
AT ITER 5063 NEW BEST:: SOT 34626 SOS 14847 HAS SOPS 14847 HAS SOUS 10962 HAS SOUPS 10962 WITH SCORE 10976.847
AT ITER 5174 NEW BEST:: SOT 34622 SOS 14847 HAS SOPS 14847 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10975.847
AT ITER 5284 NEW BEST:: SOT 34622 SOS 14847 HAS SOPS 14847 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10974.847
AT ITER 5361 NEW BEST:: SOT 34618 SOS 14843 HAS SOPS 14843 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10970.843
AT ITER 5528 NEW BEST:: SOT 34604 SOS 14829 HAS SOPS 14829 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10968.829
AT ITER 5558 NEW BEST:: SOT 34603 SOS 14828 HAS SOPS 14828 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10967.828
AT ITER 5561 NEW BEST:: SOT 34600 SOS 14822 HAS SOPS 14822 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10961.822
AT ITER 5590 NEW BEST:: SOT 34589 SOS 14799 HAS SOPS 14799 HAS SOUS 10924 HAS SOUPS 10924 WITH SCORE 10938.799
AT ITER 5621 NEW BEST:: SOT 34589 SOS 14796 HAS SOPS 14796 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10935.796
AT ITER 5628 NEW BEST:: SOT 34586 SOS 14794 HAS SOPS 14794 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10934.794
AT ITER 5641 NEW BEST:: SOT 34555 SOS 14743 HAS SOPS 14743 HAS SOUS 10900 HAS SOUPS 10900 WITH SCORE 10914.743
AT ITER 5652 NEW BEST:: SOT 34555 SOS 14734 HAS SOPS 14734 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10911.734
AT ITER 5690 NEW BEST:: SOT 34554 SOS 14648 HAS SOPS 14648 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10893.648
AT ITER 5695 NEW BEST:: SOT 34548 SOS 14646 HAS SOPS 14646 HAS SOUS 10852 HAS SOUPS 10852 WITH SCORE 10866.646
AT ITER 5706 NEW BEST:: SOT 34524 SOS 14616 HAS SOPS 14616 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10846.616
AT ITER 5808 NEW BEST:: SOT 34522 SOS 14614 HAS SOPS 14614 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10844.614
AT ITER 5814 NEW BEST:: SOT 34535 SOS 14627 HAS SOPS 14627 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10825.627
AT ITER 5827 NEW BEST:: SOT 34559 SOS 14595 HAS SOPS 14595 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10822.595
AT ITER 5839 NEW BEST:: SOT 34554 SOS 14585 HAS SOPS 14585 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10809.585
AT ITER 5854 NEW BEST:: SOT 34553 SOS 14585 HAS SOPS 14585 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10808.585
AT ITER 5916 NEW BEST:: SOT 34553 SOS 14578 HAS SOPS 14578 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10801.578
AT ITER 5943 NEW BEST:: SOT 34551 SOS 14577 HAS SOPS 14577 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10800.577
AT ITER 5961 NEW BEST:: SOT 34553 SOS 14566 HAS SOPS 14566 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10799.566
AT ITER 5991 NEW BEST:: SOT 34553 SOS 14563 HAS SOPS 14563 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10799.563
AT ITER 6012 NEW BEST:: SOT 34553 SOS 14559 HAS SOPS 14559 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10795.559
AT ITER 6021 NEW BEST:: SOT 34539 SOS 14545 HAS SOPS 14545 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10781.545
AT ITER 6033 NEW BEST:: SOT 34538 SOS 14543 HAS SOPS 14543 HAS SOUS 10765 HAS SOUPS 10765 WITH SCORE 10779.543
AT ITER 6142 NEW BEST:: SOT 34538 SOS 14541 HAS SOPS 14541 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10778.541
AT ITER 6146 NEW BEST:: SOT 34498 SOS 14461 HAS SOPS 14461 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10718.461
AT ITER 6321 NEW BEST:: SOT 34502 SOS 14459 HAS SOPS 14459 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10712.459
AT ITER 6377 NEW BEST:: SOT 34488 SOS 14447 HAS SOPS 14447 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10700.447
AT ITER 6438 NEW BEST:: SOT 34488 SOS 14445 HAS SOPS 14445 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10698.445
AT ITER 6475 NEW BEST:: SOT 34469 SOS 14426 HAS SOPS 14426 HAS SOUS 10665 HAS SOUPS 10665 WITH SCORE 10679.426
AT ITER 6591 NEW BEST:: SOT 34458 SOS 14448 HAS SOPS 14448 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10677.448
AT ITER 6606 NEW BEST:: SOT 34457 SOS 14448 HAS SOPS 14448 HAS SOUS 10660 HAS SOUPS 10660 WITH SCORE 10674.448
AT ITER 6608 NEW BEST:: SOT 34439 SOS 14430 HAS SOPS 14430 HAS SOUS 10642 HAS SOUPS 10642 WITH SCORE 10656.43
AT ITER 6619 NEW BEST:: SOT 34440 SOS 14400 HAS SOPS 14400 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10648.4
AT ITER 6622 NEW BEST:: SOT 34446 SOS 14399 HAS SOPS 14399 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10647.399
AT ITER 6628 NEW BEST:: SOT 34444 SOS 14397 HAS SOPS 14397 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10644.397
AT ITER 6667 NEW BEST:: SOT 34440 SOS 14390 HAS SOPS 14390 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10642.39
AT ITER 6692 NEW BEST:: SOT 34438 SOS 14388 HAS SOPS 14388 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10640.388
AT ITER 6697 NEW BEST:: SOT 34425 SOS 14375 HAS SOPS 14375 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10628.375
AT ITER 6709 NEW BEST:: SOT 34402 SOS 14347 HAS SOPS 14347 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10606.347
AT ITER 6757 NEW BEST:: SOT 34392 SOS 14332 HAS SOPS 14332 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10587.332
AT ITER 6778 NEW BEST:: SOT 34374 SOS 14318 HAS SOPS 14318 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10569.318
AT ITER 6797 NEW BEST:: SOT 34380 SOS 14308 HAS SOPS 14308 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10552.308
AT ITER 6868 NEW BEST:: SOT 34345 SOS 14273 HAS SOPS 14273 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10517.273
AT ITER 6887 NEW BEST:: SOT 34337 SOS 14263 HAS SOPS 14263 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10510.263
AT ITER 6927 NEW BEST:: SOT 34327 SOS 14256 HAS SOPS 14256 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10497.256
AT ITER 6932 NEW BEST:: SOT 34332 SOS 14252 HAS SOPS 14252 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10493.252
AT ITER 6943 NEW BEST:: SOT 34326 SOS 14233 HAS SOPS 14233 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10474.233
AT ITER 7002 NEW BEST:: SOT 34339 SOS 14195 HAS SOPS 14195 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10465.195
AT ITER 7008 NEW BEST:: SOT 34325 SOS 14137 HAS SOPS 14137 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10442.137
AT ITER 7011 NEW BEST:: SOT 34325 SOS 14125 HAS SOPS 14125 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10442.125
AT ITER 7016 NEW BEST:: SOT 34333 SOS 14133 HAS SOPS 14133 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10409.133
AT ITER 7119 NEW BEST:: SOT 34322 SOS 14119 HAS SOPS 14119 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10343.119
AT ITER 7124 NEW BEST:: SOT 34317 SOS 14105 HAS SOPS 14105 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10342.105
AT ITER 7153 NEW BEST:: SOT 34313 SOS 14101 HAS SOPS 14101 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10342.101
AT ITER 7163 NEW BEST:: SOT 34322 SOS 14101 HAS SOPS 14101 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10339.101
AT ITER 7186 NEW BEST:: SOT 34322 SOS 14101 HAS SOPS 14101 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10337.101
AT ITER 7261 NEW BEST:: SOT 34319 SOS 14098 HAS SOPS 14098 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10334.098
AT ITER 7304 NEW BEST:: SOT 34322 SOS 14098 HAS SOPS 14098 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10321.098
AT ITER 7396 NEW BEST:: SOT 34322 SOS 14089 HAS SOPS 14089 HAS SOUS 10298 HAS SOUPS 10298 WITH SCORE 10312.089
AT ITER 7467 NEW BEST:: SOT 34321 SOS 14088 HAS SOPS 14088 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10311.088
AT ITER 7560 NEW BEST:: SOT 34321 SOS 14088 HAS SOPS 14088 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10298.088
AT ITER 7575 NEW BEST:: SOT 34323 SOS 14084 HAS SOPS 14084 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10294.084
AT ITER 7601 NEW BEST:: SOT 34328 SOS 14079 HAS SOPS 14079 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10284.079
AT ITER 7669 NEW BEST:: SOT 34328 SOS 14058 HAS SOPS 14058 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10284.058
AT ITER 7687 NEW BEST:: SOT 34328 SOS 14054 HAS SOPS 14054 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10284.054
AT ITER 7738 NEW BEST:: SOT 34323 SOS 14019 HAS SOPS 14019 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10273.019
AT ITER 7750 NEW BEST:: SOT 34323 SOS 14028 HAS SOPS 14028 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10255.028
AT ITER 7862 NEW BEST:: SOT 34323 SOS 14034 HAS SOPS 14034 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10253.034
AT ITER 7941 NEW BEST:: SOT 34311 SOS 14022 HAS SOPS 14022 HAS SOUS 10227 HAS SOUPS 10227 WITH SCORE 10241.022
AT ITER 7965 NEW BEST:: SOT 34308 SOS 14020 HAS SOPS 14020 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10239.02
AT ITER 7969 NEW BEST:: SOT 34308 SOS 14012 HAS SOPS 14012 HAS SOUS 10214 HAS SOUPS 10214 WITH SCORE 10228.012
AT ITER 7977 NEW BEST:: SOT 34300 SOS 14004 HAS SOPS 14004 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10225.004
AT ITER 8013 NEW BEST:: SOT 34282 SOS 13986 HAS SOPS 13986 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10201.986
AT ITER 8022 NEW BEST:: SOT 34282 SOS 13972 HAS SOPS 13972 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10199.972
AT ITER 8065 NEW BEST:: SOT 34266 SOS 13958 HAS SOPS 13958 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10191.958
AT ITER 8112 NEW BEST:: SOT 34273 SOS 13946 HAS SOPS 13946 HAS SOUS 10173 HAS SOUPS 10173 WITH SCORE 10186.946
AT ITER 8145 NEW BEST:: SOT 34273 SOS 13943 HAS SOPS 13943 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10183.943
AT ITER 8175 NEW BEST:: SOT 34272 SOS 13941 HAS SOPS 13941 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10182.941
AT ITER 8176 NEW BEST:: SOT 34269 SOS 13923 HAS SOPS 13923 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10173.923
AT ITER 8185 NEW BEST:: SOT 34255 SOS 13909 HAS SOPS 13909 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10156.909
AT ITER 8238 NEW BEST:: SOT 34255 SOS 13908 HAS SOPS 13908 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10155.908
AT ITER 8281 NEW BEST:: SOT 34255 SOS 13907 HAS SOPS 13907 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10155.907
AT ITER 8323 NEW BEST:: SOT 34254 SOS 13913 HAS SOPS 13913 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10154.913
AT ITER 8458 NEW BEST:: SOT 34254 SOS 13911 HAS SOPS 13911 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10154.911
AT ITER 8532 NEW BEST:: SOT 34250 SOS 13903 HAS SOPS 13903 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10146.903
AT ITER 8536 NEW BEST:: SOT 34250 SOS 13901 HAS SOPS 13901 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10144.901
AT ITER 8544 NEW BEST:: SOT 34246 SOS 13897 HAS SOPS 13897 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10140.897
AT ITER 8608 NEW BEST:: SOT 34251 SOS 13902 HAS SOPS 13902 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10138.902
AT ITER 8717 NEW BEST:: SOT 34251 SOS 13908 HAS SOPS 13908 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10135.908
AT ITER 8821 NEW BEST:: SOT 34261 SOS 13921 HAS SOPS 13921 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10134.921
AT ITER 8826 NEW BEST:: SOT 34244 SOS 13919 HAS SOPS 13919 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10132.919
AT ITER 8827 NEW BEST:: SOT 34286 SOS 13920 HAS SOPS 13920 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10119.92
AT ITER 8837 NEW BEST:: SOT 34286 SOS 13917 HAS SOPS 13917 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10119.917
AT ITER 8848 NEW BEST:: SOT 34261 SOS 13880 HAS SOPS 13880 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10118.88
AT ITER 8851 NEW BEST:: SOT 34255 SOS 13874 HAS SOPS 13874 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10112.874
AT ITER 8879 NEW BEST:: SOT 34260 SOS 13835 HAS SOPS 13835 HAS SOUS 10088 HAS SOUPS 10088 WITH SCORE 10101.835
AT ITER 8951 NEW BEST:: SOT 34250 SOS 13825 HAS SOPS 13825 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10089.825
AT ITER 9148 NEW BEST:: SOT 34242 SOS 13805 HAS SOPS 13805 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10086.805
AT ITER 9165 NEW BEST:: SOT 34233 SOS 13795 HAS SOPS 13795 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10083.795
AT ITER 9219 NEW BEST:: SOT 34239 SOS 13756 HAS SOPS 13756 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10080.756
AT ITER 9276 NEW BEST:: SOT 34237 SOS 13750 HAS SOPS 13750 HAS SOUS 10061 HAS SOUPS 10061 WITH SCORE 10074.75
AT ITER 9299 NEW BEST:: SOT 34270 SOS 13748 HAS SOPS 13748 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10056.748
AT ITER 9311 NEW BEST:: SOT 34263 SOS 13747 HAS SOPS 13747 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10052.747
AT ITER 9322 NEW BEST:: SOT 34269 SOS 13731 HAS SOPS 13731 HAS SOUS 10023 HAS SOUPS 10023 WITH SCORE 10036.731
AT ITER 9344 NEW BEST:: SOT 34259 SOS 13711 HAS SOPS 13711 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10016.711
AT ITER 9405 NEW BEST:: SOT 34249 SOS 13701 HAS SOPS 13701 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9996.701
AT ITER 9549 NEW BEST:: SOT 34249 SOS 13631 HAS SOPS 13631 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9981.631
AT ITER 9553 NEW BEST:: SOT 34245 SOS 13626 HAS SOPS 13626 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9976.626
AT ITER 9571 NEW BEST:: SOT 34245 SOS 13586 HAS SOPS 13586 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9966.586
AT ITER 9579 NEW BEST:: SOT 34227 SOS 13552 HAS SOPS 13552 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9943.552
AT ITER 9609 NEW BEST:: SOT 34219 SOS 13544 HAS SOPS 13544 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9935.544
AT ITER 9650 NEW BEST:: SOT 34219 SOS 13538 HAS SOPS 13538 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9929.538
AT ITER 9655 NEW BEST:: SOT 34220 SOS 13503 HAS SOPS 13503 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9926.503
AT ITER 9807 NEW BEST:: SOT 34219 SOS 13505 HAS SOPS 13505 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9925.505
AT ITER 9860 NEW BEST:: SOT 34227 SOS 13501 HAS SOPS 13501 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9921.501
AT ITER 9969 NEW BEST:: SOT 34219 SOS 13463 HAS SOPS 13463 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9910.463
AT ITER 9970 NEW BEST:: SOT 34204 SOS 13490 HAS SOPS 13490 HAS SOUS 9878 HAS SOUPS 9878 WITH SCORE 9891.49
AT ITER 9992 NEW BEST:: SOT 34203 SOS 13488 HAS SOPS 13488 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9888.488
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3686604 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150396 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="ShieldIIPs-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 ShieldIIPs-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-167903711400088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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