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.r483-tall-167912695100048.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Sudoku-COL-AN06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695100048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.5K Feb 26 09:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 09:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 09:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 09:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 09:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Feb 26 09:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 09:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 09:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K 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 1679146241309

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=Sudoku-COL-AN06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 13:30:44] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 13:30:44] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 13:30:44] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 13:30:44] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 13:30:44] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 564 ms
[2023-03-18 13:30:44] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 324 PT places and 216.0 transition bindings in 16 ms.
[2023-03-18 13:30:44] [INFO ] Unfolded HLPN to a Petri net with 324 places and 216 transitions 864 arcs in 41 ms.
[2023-03-18 13:30:44] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 13:30:44] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 324 places, 216 transitions and 864 arcs took 17 ms.
Total runtime 842 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 324 places, 216 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 50364 SOS 25881 HAS SOPS 25881 HAS SOUS 25881 HAS SOUPS 25881 WITH SCORE 25906.881
AT ITER 7 NEW BEST:: SOT 50385 SOS 25901 HAS SOPS 25901 HAS SOUS 25880 HAS SOUPS 25880 WITH SCORE 25905.901
AT ITER 10 NEW BEST:: SOT 50402 SOS 25938 HAS SOPS 25938 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25894.938
AT ITER 13 NEW BEST:: SOT 50323 SOS 26146 HAS SOPS 26146 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25858.146
AT ITER 16 NEW BEST:: SOT 50348 SOS 26173 HAS SOPS 26173 HAS SOUS 25827 HAS SOUPS 25827 WITH SCORE 25853.173
AT ITER 34 NEW BEST:: SOT 50385 SOS 26188 HAS SOPS 26188 HAS SOUS 25814 HAS SOUPS 25814 WITH SCORE 25840.188
AT ITER 46 NEW BEST:: SOT 50365 SOS 26225 HAS SOPS 26225 HAS SOUS 25804 HAS SOUPS 25804 WITH SCORE 25830.225
AT ITER 47 NEW BEST:: SOT 50360 SOS 26220 HAS SOPS 26220 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25825.22
AT ITER 50 NEW BEST:: SOT 50360 SOS 26187 HAS SOPS 26187 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25825.187
AT ITER 64 NEW BEST:: SOT 50360 SOS 26170 HAS SOPS 26170 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25825.17
AT ITER 68 NEW BEST:: SOT 50311 SOS 26121 HAS SOPS 26121 HAS SOUS 25751 HAS SOUPS 25751 WITH SCORE 25777.121
AT ITER 73 NEW BEST:: SOT 50326 SOS 26121 HAS SOPS 26121 HAS SOUS 25736 HAS SOUPS 25736 WITH SCORE 25762.121
AT ITER 95 NEW BEST:: SOT 50221 SOS 26047 HAS SOPS 26047 HAS SOUS 25631 HAS SOUPS 25631 WITH SCORE 25657.047
AT ITER 102 NEW BEST:: SOT 50175 SOS 26033 HAS SOPS 26033 HAS SOUS 25617 HAS SOUPS 25617 WITH SCORE 25643.033
AT ITER 113 NEW BEST:: SOT 50175 SOS 26369 HAS SOPS 26369 HAS SOUS 25585 HAS SOUPS 25585 WITH SCORE 25611.369
AT ITER 118 NEW BEST:: SOT 50090 SOS 26293 HAS SOPS 26293 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25535.293
AT ITER 119 NEW BEST:: SOT 50090 SOS 26248 HAS SOPS 26248 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25535.248
AT ITER 120 NEW BEST:: SOT 50004 SOS 26187 HAS SOPS 26187 HAS SOUS 25448 HAS SOUPS 25448 WITH SCORE 25474.187
AT ITER 133 NEW BEST:: SOT 49910 SOS 26143 HAS SOPS 26143 HAS SOUS 25385 HAS SOUPS 25385 WITH SCORE 25411.143
AT ITER 151 NEW BEST:: SOT 49825 SOS 26125 HAS SOPS 26125 HAS SOUS 25324 HAS SOUPS 25324 WITH SCORE 25350.125
AT ITER 152 NEW BEST:: SOT 49741 SOS 26196 HAS SOPS 26196 HAS SOUS 25306 HAS SOUPS 25306 WITH SCORE 25332.196
AT ITER 166 NEW BEST:: SOT 49688 SOS 26180 HAS SOPS 26180 HAS SOUS 25276 HAS SOUPS 25276 WITH SCORE 25302.18
AT ITER 184 NEW BEST:: SOT 49570 SOS 26095 HAS SOPS 26095 HAS SOUS 25173 HAS SOUPS 25173 WITH SCORE 25199.095
AT ITER 186 NEW BEST:: SOT 49570 SOS 26033 HAS SOPS 26033 HAS SOUS 25141 HAS SOUPS 25141 WITH SCORE 25167.033
AT ITER 190 NEW BEST:: SOT 49448 SOS 25950 HAS SOPS 25950 HAS SOUS 25044 HAS SOUPS 25044 WITH SCORE 25069.95
AT ITER 193 NEW BEST:: SOT 49448 SOS 25942 HAS SOPS 25942 HAS SOUS 25044 HAS SOUPS 25044 WITH SCORE 25069.942
AT ITER 195 NEW BEST:: SOT 49421 SOS 25939 HAS SOPS 25939 HAS SOUS 25017 HAS SOUPS 25017 WITH SCORE 25042.939
AT ITER 199 NEW BEST:: SOT 49365 SOS 25974 HAS SOPS 25974 HAS SOUS 24989 HAS SOUPS 24989 WITH SCORE 25014.974
AT ITER 200 NEW BEST:: SOT 49358 SOS 26147 HAS SOPS 26147 HAS SOUS 24982 HAS SOUPS 24982 WITH SCORE 25008.147
AT ITER 213 NEW BEST:: SOT 49417 SOS 26177 HAS SOPS 26177 HAS SOUS 24970 HAS SOUPS 24970 WITH SCORE 24996.177
AT ITER 220 NEW BEST:: SOT 49400 SOS 26130 HAS SOPS 26130 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24924.13
AT ITER 221 NEW BEST:: SOT 49289 SOS 26249 HAS SOPS 26249 HAS SOUS 24843 HAS SOUPS 24843 WITH SCORE 24869.249
AT ITER 229 NEW BEST:: SOT 49202 SOS 26193 HAS SOPS 26193 HAS SOUS 24756 HAS SOUPS 24756 WITH SCORE 24782.193
AT ITER 232 NEW BEST:: SOT 49159 SOS 26122 HAS SOPS 26122 HAS SOUS 24703 HAS SOUPS 24703 WITH SCORE 24729.122
AT ITER 236 NEW BEST:: SOT 49150 SOS 26157 HAS SOPS 26157 HAS SOUS 24664 HAS SOUPS 24664 WITH SCORE 24690.157
AT ITER 240 NEW BEST:: SOT 49150 SOS 26215 HAS SOPS 26215 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24685.215
AT ITER 241 NEW BEST:: SOT 49114 SOS 26185 HAS SOPS 26185 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24655.185
AT ITER 242 NEW BEST:: SOT 49114 SOS 26176 HAS SOPS 26176 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24655.176
AT ITER 245 NEW BEST:: SOT 49108 SOS 26160 HAS SOPS 26160 HAS SOUS 24617 HAS SOUPS 24617 WITH SCORE 24643.16
AT ITER 249 NEW BEST:: SOT 49133 SOS 25988 HAS SOPS 25988 HAS SOUS 24601 HAS SOUPS 24601 WITH SCORE 24626.988
AT ITER 269 NEW BEST:: SOT 49133 SOS 25930 HAS SOPS 25930 HAS SOUS 24601 HAS SOUPS 24601 WITH SCORE 24626.93
AT ITER 273 NEW BEST:: SOT 49073 SOS 25908 HAS SOPS 25908 HAS SOUS 24579 HAS SOUPS 24579 WITH SCORE 24604.908
AT ITER 277 NEW BEST:: SOT 49004 SOS 25971 HAS SOPS 25971 HAS SOUS 24539 HAS SOUPS 24539 WITH SCORE 24564.971
AT ITER 279 NEW BEST:: SOT 48929 SOS 26135 HAS SOPS 26135 HAS SOUS 24517 HAS SOUPS 24517 WITH SCORE 24543.135
AT ITER 288 NEW BEST:: SOT 48929 SOS 25954 HAS SOPS 25954 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24506.954
AT ITER 314 NEW BEST:: SOT 48947 SOS 25968 HAS SOPS 25968 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24496.968
AT ITER 323 NEW BEST:: SOT 48859 SOS 25932 HAS SOPS 25932 HAS SOUS 24467 HAS SOUPS 24467 WITH SCORE 24492.932
AT ITER 329 NEW BEST:: SOT 48839 SOS 25947 HAS SOPS 25947 HAS SOUS 24450 HAS SOUPS 24450 WITH SCORE 24475.947
AT ITER 334 NEW BEST:: SOT 48810 SOS 25939 HAS SOPS 25939 HAS SOUS 24427 HAS SOUPS 24427 WITH SCORE 24452.939
AT ITER 336 NEW BEST:: SOT 48810 SOS 25907 HAS SOPS 25907 HAS SOUS 24395 HAS SOUPS 24395 WITH SCORE 24420.907
AT ITER 341 NEW BEST:: SOT 48810 SOS 25863 HAS SOPS 25863 HAS SOUS 24395 HAS SOUPS 24395 WITH SCORE 24420.863
AT ITER 351 NEW BEST:: SOT 48815 SOS 25863 HAS SOPS 25863 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24380.863
AT ITER 360 NEW BEST:: SOT 48819 SOS 25920 HAS SOPS 25920 HAS SOUS 24348 HAS SOUPS 24348 WITH SCORE 24373.92
AT ITER 362 NEW BEST:: SOT 48810 SOS 25911 HAS SOPS 25911 HAS SOUS 24344 HAS SOUPS 24344 WITH SCORE 24369.911
AT ITER 367 NEW BEST:: SOT 48806 SOS 25907 HAS SOPS 25907 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24363.907
AT ITER 368 NEW BEST:: SOT 48806 SOS 25888 HAS SOPS 25888 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24363.888
AT ITER 369 NEW BEST:: SOT 48806 SOS 25909 HAS SOPS 25909 HAS SOUS 24325 HAS SOUPS 24325 WITH SCORE 24350.909
AT ITER 377 NEW BEST:: SOT 48806 SOS 25884 HAS SOPS 25884 HAS SOUS 24325 HAS SOUPS 24325 WITH SCORE 24350.884
AT ITER 387 NEW BEST:: SOT 48738 SOS 25806 HAS SOPS 25806 HAS SOUS 24247 HAS SOUPS 24247 WITH SCORE 24272.806
AT ITER 398 NEW BEST:: SOT 48738 SOS 25848 HAS SOPS 25848 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24266.848
AT ITER 405 NEW BEST:: SOT 48730 SOS 25840 HAS SOPS 25840 HAS SOUS 24233 HAS SOUPS 24233 WITH SCORE 24258.84
AT ITER 410 NEW BEST:: SOT 48730 SOS 25813 HAS SOPS 25813 HAS SOUS 24233 HAS SOUPS 24233 WITH SCORE 24258.813
AT ITER 437 NEW BEST:: SOT 48664 SOS 25747 HAS SOPS 25747 HAS SOUS 24158 HAS SOUPS 24158 WITH SCORE 24183.747
AT ITER 460 NEW BEST:: SOT 48560 SOS 25689 HAS SOPS 25689 HAS SOUS 24098 HAS SOUPS 24098 WITH SCORE 24123.689
AT ITER 465 NEW BEST:: SOT 48534 SOS 25718 HAS SOPS 25718 HAS SOUS 24080 HAS SOUPS 24080 WITH SCORE 24105.718
AT ITER 469 NEW BEST:: SOT 48534 SOS 25708 HAS SOPS 25708 HAS SOUS 24080 HAS SOUPS 24080 WITH SCORE 24105.708
AT ITER 478 NEW BEST:: SOT 48534 SOS 25671 HAS SOPS 25671 HAS SOUS 24080 HAS SOUPS 24080 WITH SCORE 24105.671
AT ITER 490 NEW BEST:: SOT 48534 SOS 25655 HAS SOPS 25655 HAS SOUS 24080 HAS SOUPS 24080 WITH SCORE 24105.655
AT ITER 492 NEW BEST:: SOT 48511 SOS 25681 HAS SOPS 25681 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24082.681
AT ITER 493 NEW BEST:: SOT 48511 SOS 25660 HAS SOPS 25660 HAS SOUS 24044 HAS SOUPS 24044 WITH SCORE 24069.66
AT ITER 498 NEW BEST:: SOT 48426 SOS 25566 HAS SOPS 25566 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23984.566
AT ITER 503 NEW BEST:: SOT 48426 SOS 25565 HAS SOPS 25565 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23984.565
AT ITER 506 NEW BEST:: SOT 48398 SOS 25620 HAS SOPS 25620 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23956.62
AT ITER 508 NEW BEST:: SOT 48322 SOS 25846 HAS SOPS 25846 HAS SOUS 23889 HAS SOUPS 23889 WITH SCORE 23914.846
AT ITER 515 NEW BEST:: SOT 48322 SOS 25816 HAS SOPS 25816 HAS SOUS 23871 HAS SOUPS 23871 WITH SCORE 23896.816
AT ITER 527 NEW BEST:: SOT 48282 SOS 25776 HAS SOPS 25776 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23856.776
AT ITER 546 NEW BEST:: SOT 48228 SOS 25989 HAS SOPS 25989 HAS SOUS 23793 HAS SOUPS 23793 WITH SCORE 23818.989
AT ITER 548 NEW BEST:: SOT 48093 SOS 25840 HAS SOPS 25840 HAS SOUS 23626 HAS SOUPS 23626 WITH SCORE 23651.84
AT ITER 554 NEW BEST:: SOT 48093 SOS 25816 HAS SOPS 25816 HAS SOUS 23624 HAS SOUPS 23624 WITH SCORE 23649.816
AT ITER 561 NEW BEST:: SOT 48060 SOS 25787 HAS SOPS 25787 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23616.787
AT ITER 568 NEW BEST:: SOT 48060 SOS 25775 HAS SOPS 25775 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23616.775
AT ITER 596 NEW BEST:: SOT 48108 SOS 25579 HAS SOPS 25579 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23571.579
AT ITER 599 NEW BEST:: SOT 48108 SOS 25563 HAS SOPS 25563 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23571.563
AT ITER 617 NEW BEST:: SOT 48112 SOS 25559 HAS SOPS 25559 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23571.559
AT ITER 618 NEW BEST:: SOT 48112 SOS 25527 HAS SOPS 25527 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23571.527
AT ITER 633 NEW BEST:: SOT 48112 SOS 25523 HAS SOPS 25523 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23571.523
AT ITER 642 NEW BEST:: SOT 47977 SOS 25475 HAS SOPS 25475 HAS SOUS 23539 HAS SOUPS 23539 WITH SCORE 23564.475
AT ITER 675 NEW BEST:: SOT 47908 SOS 25417 HAS SOPS 25417 HAS SOUS 23481 HAS SOUPS 23481 WITH SCORE 23506.417
AT ITER 680 NEW BEST:: SOT 47887 SOS 25462 HAS SOPS 25462 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23485.462
AT ITER 690 NEW BEST:: SOT 47851 SOS 25707 HAS SOPS 25707 HAS SOUS 23424 HAS SOUPS 23424 WITH SCORE 23449.707
AT ITER 696 NEW BEST:: SOT 47851 SOS 25705 HAS SOPS 25705 HAS SOUS 23424 HAS SOUPS 23424 WITH SCORE 23449.705
AT ITER 704 NEW BEST:: SOT 47851 SOS 25702 HAS SOPS 25702 HAS SOUS 23424 HAS SOUPS 23424 WITH SCORE 23449.702
AT ITER 707 NEW BEST:: SOT 47889 SOS 25704 HAS SOPS 25704 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23440.704
AT ITER 709 NEW BEST:: SOT 47868 SOS 25683 HAS SOPS 25683 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23419.683
AT ITER 710 NEW BEST:: SOT 47868 SOS 25652 HAS SOPS 25652 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23419.652
AT ITER 713 NEW BEST:: SOT 47809 SOS 26210 HAS SOPS 26210 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23386.21
AT ITER 715 NEW BEST:: SOT 47809 SOS 26182 HAS SOPS 26182 HAS SOUS 23358 HAS SOUPS 23358 WITH SCORE 23384.182
AT ITER 717 NEW BEST:: SOT 47809 SOS 26150 HAS SOPS 26150 HAS SOUS 23358 HAS SOUPS 23358 WITH SCORE 23384.15
AT ITER 729 NEW BEST:: SOT 47809 SOS 26144 HAS SOPS 26144 HAS SOUS 23358 HAS SOUPS 23358 WITH SCORE 23384.144
AT ITER 731 NEW BEST:: SOT 47764 SOS 26116 HAS SOPS 26116 HAS SOUS 23326 HAS SOUPS 23326 WITH SCORE 23352.116
AT ITER 746 NEW BEST:: SOT 47764 SOS 26116 HAS SOPS 26116 HAS SOUS 23306 HAS SOUPS 23306 WITH SCORE 23332.116
AT ITER 792 NEW BEST:: SOT 47756 SOS 26183 HAS SOPS 26183 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23324.183
AT ITER 795 NEW BEST:: SOT 47756 SOS 26178 HAS SOPS 26178 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23324.178
AT ITER 797 NEW BEST:: SOT 47735 SOS 26163 HAS SOPS 26163 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23313.163
AT ITER 805 NEW BEST:: SOT 47670 SOS 26236 HAS SOPS 26236 HAS SOUS 23278 HAS SOUPS 23278 WITH SCORE 23304.236
AT ITER 822 NEW BEST:: SOT 47674 SOS 26194 HAS SOPS 26194 HAS SOUS 23273 HAS SOUPS 23273 WITH SCORE 23299.194
AT ITER 824 NEW BEST:: SOT 47674 SOS 26187 HAS SOPS 26187 HAS SOUS 23266 HAS SOUPS 23266 WITH SCORE 23292.187
AT ITER 830 NEW BEST:: SOT 47674 SOS 26169 HAS SOPS 26169 HAS SOUS 23266 HAS SOUPS 23266 WITH SCORE 23292.169
AT ITER 869 NEW BEST:: SOT 47692 SOS 26273 HAS SOPS 26273 HAS SOUS 23257 HAS SOUPS 23257 WITH SCORE 23283.273
AT ITER 897 NEW BEST:: SOT 47692 SOS 26207 HAS SOPS 26207 HAS SOUS 23232 HAS SOUPS 23232 WITH SCORE 23258.207
AT ITER 908 NEW BEST:: SOT 47672 SOS 26194 HAS SOPS 26194 HAS SOUS 23227 HAS SOUPS 23227 WITH SCORE 23253.194
AT ITER 916 NEW BEST:: SOT 47672 SOS 26142 HAS SOPS 26142 HAS SOUS 23227 HAS SOUPS 23227 WITH SCORE 23253.142
AT ITER 918 NEW BEST:: SOT 47567 SOS 26110 HAS SOPS 26110 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23163.11
AT ITER 933 NEW BEST:: SOT 47557 SOS 26110 HAS SOPS 26110 HAS SOUS 23127 HAS SOUPS 23127 WITH SCORE 23153.11
AT ITER 934 NEW BEST:: SOT 47545 SOS 26098 HAS SOPS 26098 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23121.098
AT ITER 936 NEW BEST:: SOT 47545 SOS 26049 HAS SOPS 26049 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23121.049
AT ITER 946 NEW BEST:: SOT 47543 SOS 26049 HAS SOPS 26049 HAS SOUS 23093 HAS SOUPS 23093 WITH SCORE 23119.049
AT ITER 949 NEW BEST:: SOT 47523 SOS 26137 HAS SOPS 26137 HAS SOUS 23075 HAS SOUPS 23075 WITH SCORE 23101.137
AT ITER 951 NEW BEST:: SOT 47523 SOS 26099 HAS SOPS 26099 HAS SOUS 23046 HAS SOUPS 23046 WITH SCORE 23072.099
AT ITER 952 NEW BEST:: SOT 47505 SOS 26087 HAS SOPS 26087 HAS SOUS 23034 HAS SOUPS 23034 WITH SCORE 23060.087
AT ITER 978 NEW BEST:: SOT 47463 SOS 26057 HAS SOPS 26057 HAS SOUS 23003 HAS SOUPS 23003 WITH SCORE 23029.057
AT ITER 979 NEW BEST:: SOT 47444 SOS 26095 HAS SOPS 26095 HAS SOUS 22988 HAS SOUPS 22988 WITH SCORE 23014.095
AT ITER 989 NEW BEST:: SOT 47444 SOS 26091 HAS SOPS 26091 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 22990.091
AT ITER 995 NEW BEST:: SOT 47440 SOS 26091 HAS SOPS 26091 HAS SOUS 22960 HAS SOUPS 22960 WITH SCORE 22986.091
AT ITER 997 NEW BEST:: SOT 47360 SOS 26033 HAS SOPS 26033 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22900.033
AT ITER 1000 NEW BEST:: SOT 47335 SOS 26067 HAS SOPS 26067 HAS SOUS 22849 HAS SOUPS 22849 WITH SCORE 22875.067
AT ITER 1008 NEW BEST:: SOT 47335 SOS 26143 HAS SOPS 26143 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22854.143
AT ITER 1018 NEW BEST:: SOT 47335 SOS 26112 HAS SOPS 26112 HAS SOUS 22803 HAS SOUPS 22803 WITH SCORE 22829.112
AT ITER 1042 NEW BEST:: SOT 47285 SOS 26075 HAS SOPS 26075 HAS SOUS 22741 HAS SOUPS 22741 WITH SCORE 22767.075
AT ITER 1067 NEW BEST:: SOT 47285 SOS 26049 HAS SOPS 26049 HAS SOUS 22741 HAS SOUPS 22741 WITH SCORE 22767.049
AT ITER 1076 NEW BEST:: SOT 47271 SOS 26034 HAS SOPS 26034 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22720.034
AT ITER 1077 NEW BEST:: SOT 47241 SOS 25921 HAS SOPS 25921 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22675.921
AT ITER 1119 NEW BEST:: SOT 47249 SOS 25979 HAS SOPS 25979 HAS SOUS 22621 HAS SOUPS 22621 WITH SCORE 22646.979
AT ITER 1123 NEW BEST:: SOT 47249 SOS 25945 HAS SOPS 25945 HAS SOUS 22609 HAS SOUPS 22609 WITH SCORE 22634.945
AT ITER 1124 NEW BEST:: SOT 47241 SOS 25937 HAS SOPS 25937 HAS SOUS 22587 HAS SOUPS 22587 WITH SCORE 22612.937
AT ITER 1130 NEW BEST:: SOT 47070 SOS 25843 HAS SOPS 25843 HAS SOUS 22488 HAS SOUPS 22488 WITH SCORE 22513.843
AT ITER 1160 NEW BEST:: SOT 47080 SOS 25711 HAS SOPS 25711 HAS SOUS 22466 HAS SOUPS 22466 WITH SCORE 22491.711
AT ITER 1173 NEW BEST:: SOT 47079 SOS 25712 HAS SOPS 25712 HAS SOUS 22465 HAS SOUPS 22465 WITH SCORE 22490.712
AT ITER 1186 NEW BEST:: SOT 47079 SOS 25639 HAS SOPS 25639 HAS SOUS 22465 HAS SOUPS 22465 WITH SCORE 22490.639
AT ITER 1218 NEW BEST:: SOT 47079 SOS 25621 HAS SOPS 25621 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22472.621
AT ITER 1231 NEW BEST:: SOT 47079 SOS 25573 HAS SOPS 25573 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22472.573
AT ITER 1240 NEW BEST:: SOT 47077 SOS 25470 HAS SOPS 25470 HAS SOUS 22445 HAS SOUPS 22445 WITH SCORE 22470.47
AT ITER 1281 NEW BEST:: SOT 47008 SOS 25544 HAS SOPS 25544 HAS SOUS 22422 HAS SOUPS 22422 WITH SCORE 22447.544
AT ITER 1290 NEW BEST:: SOT 47006 SOS 25528 HAS SOPS 25528 HAS SOUS 22418 HAS SOUPS 22418 WITH SCORE 22443.528
AT ITER 1296 NEW BEST:: SOT 47006 SOS 25532 HAS SOPS 25532 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22432.532
AT ITER 1298 NEW BEST:: SOT 46992 SOS 25518 HAS SOPS 25518 HAS SOUS 22393 HAS SOUPS 22393 WITH SCORE 22418.518
AT ITER 1307 NEW BEST:: SOT 46993 SOS 25532 HAS SOPS 25532 HAS SOUS 22372 HAS SOUPS 22372 WITH SCORE 22397.532
AT ITER 1309 NEW BEST:: SOT 46974 SOS 25485 HAS SOPS 25485 HAS SOUS 22332 HAS SOUPS 22332 WITH SCORE 22357.485
AT ITER 1315 NEW BEST:: SOT 46974 SOS 25548 HAS SOPS 25548 HAS SOUS 22309 HAS SOUPS 22309 WITH SCORE 22334.548
AT ITER 1320 NEW BEST:: SOT 46973 SOS 25545 HAS SOPS 25545 HAS SOUS 22305 HAS SOUPS 22305 WITH SCORE 22330.545
AT ITER 1349 NEW BEST:: SOT 46941 SOS 25496 HAS SOPS 25496 HAS SOUS 22291 HAS SOUPS 22291 WITH SCORE 22316.496
AT ITER 1367 NEW BEST:: SOT 46941 SOS 25483 HAS SOPS 25483 HAS SOUS 22291 HAS SOUPS 22291 WITH SCORE 22316.483
AT ITER 1368 NEW BEST:: SOT 46946 SOS 25434 HAS SOPS 25434 HAS SOUS 22287 HAS SOUPS 22287 WITH SCORE 22312.434
AT ITER 1384 NEW BEST:: SOT 46943 SOS 25431 HAS SOPS 25431 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22309.431
AT ITER 1386 NEW BEST:: SOT 46936 SOS 25424 HAS SOPS 25424 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22304.424
AT ITER 1389 NEW BEST:: SOT 46936 SOS 25416 HAS SOPS 25416 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22304.416
AT ITER 1425 NEW BEST:: SOT 46936 SOS 25380 HAS SOPS 25380 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22304.38
AT ITER 1430 NEW BEST:: SOT 46936 SOS 25417 HAS SOPS 25417 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22293.417
AT ITER 1477 NEW BEST:: SOT 46921 SOS 25402 HAS SOPS 25402 HAS SOUS 22245 HAS SOUPS 22245 WITH SCORE 22270.402
AT ITER 1486 NEW BEST:: SOT 46921 SOS 25390 HAS SOPS 25390 HAS SOUS 22245 HAS SOUPS 22245 WITH SCORE 22270.39
AT ITER 1493 NEW BEST:: SOT 46871 SOS 25359 HAS SOPS 25359 HAS SOUS 22214 HAS SOUPS 22214 WITH SCORE 22239.359
AT ITER 1519 NEW BEST:: SOT 46831 SOS 25351 HAS SOPS 25351 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22231.351
AT ITER 1520 NEW BEST:: SOT 46831 SOS 25290 HAS SOPS 25290 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22231.29
AT ITER 1541 NEW BEST:: SOT 46801 SOS 25417 HAS SOPS 25417 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22201.417
AT ITER 1554 NEW BEST:: SOT 46801 SOS 25361 HAS SOPS 25361 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22201.361
AT ITER 1577 NEW BEST:: SOT 46837 SOS 25355 HAS SOPS 25355 HAS SOUS 22165 HAS SOUPS 22165 WITH SCORE 22190.355
AT ITER 1578 NEW BEST:: SOT 46762 SOS 25297 HAS SOPS 25297 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22132.297
AT ITER 1581 NEW BEST:: SOT 46730 SOS 25295 HAS SOPS 25295 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22120.295
AT ITER 1586 NEW BEST:: SOT 46730 SOS 25271 HAS SOPS 25271 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22120.271
AT ITER 1605 NEW BEST:: SOT 46710 SOS 25251 HAS SOPS 25251 HAS SOUS 22075 HAS SOUPS 22075 WITH SCORE 22100.251
AT ITER 1612 NEW BEST:: SOT 46710 SOS 25221 HAS SOPS 25221 HAS SOUS 22075 HAS SOUPS 22075 WITH SCORE 22100.221
AT ITER 1615 NEW BEST:: SOT 46578 SOS 25338 HAS SOPS 25338 HAS SOUS 22072 HAS SOUPS 22072 WITH SCORE 22097.338
AT ITER 1616 NEW BEST:: SOT 46578 SOS 25332 HAS SOPS 25332 HAS SOUS 22072 HAS SOUPS 22072 WITH SCORE 22097.332
AT ITER 1631 NEW BEST:: SOT 46533 SOS 25316 HAS SOPS 25316 HAS SOUS 22069 HAS SOUPS 22069 WITH SCORE 22094.316
AT ITER 1655 NEW BEST:: SOT 46476 SOS 25284 HAS SOPS 25284 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22062.284
AT ITER 1660 NEW BEST:: SOT 46474 SOS 25282 HAS SOPS 25282 HAS SOUS 22030 HAS SOUPS 22030 WITH SCORE 22055.282
AT ITER 1693 NEW BEST:: SOT 46474 SOS 25282 HAS SOPS 25282 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22022.282
AT ITER 1695 NEW BEST:: SOT 46233 SOS 25473 HAS SOPS 25473 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21891.473
AT ITER 1699 NEW BEST:: SOT 46260 SOS 25516 HAS SOPS 25516 HAS SOUS 21841 HAS SOUPS 21841 WITH SCORE 21866.516
AT ITER 1725 NEW BEST:: SOT 46248 SOS 25481 HAS SOPS 25481 HAS SOUS 21829 HAS SOUPS 21829 WITH SCORE 21854.481
AT ITER 1745 NEW BEST:: SOT 46227 SOS 25497 HAS SOPS 25497 HAS SOUS 21808 HAS SOUPS 21808 WITH SCORE 21833.497
AT ITER 1794 NEW BEST:: SOT 46224 SOS 25494 HAS SOPS 25494 HAS SOUS 21800 HAS SOUPS 21800 WITH SCORE 21825.494
AT ITER 1801 NEW BEST:: SOT 46194 SOS 25567 HAS SOPS 25567 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21795.567
AT ITER 1828 NEW BEST:: SOT 46193 SOS 25566 HAS SOPS 25566 HAS SOUS 21769 HAS SOUPS 21769 WITH SCORE 21794.566
AT ITER 1837 NEW BEST:: SOT 46193 SOS 25556 HAS SOPS 25556 HAS SOUS 21769 HAS SOUPS 21769 WITH SCORE 21794.556
AT ITER 1870 NEW BEST:: SOT 46198 SOS 25551 HAS SOPS 25551 HAS SOUS 21764 HAS SOUPS 21764 WITH SCORE 21789.551
AT ITER 1873 NEW BEST:: SOT 46198 SOS 25518 HAS SOPS 25518 HAS SOUS 21764 HAS SOUPS 21764 WITH SCORE 21789.518
AT ITER 1885 NEW BEST:: SOT 46157 SOS 25503 HAS SOPS 25503 HAS SOUS 21749 HAS SOUPS 21749 WITH SCORE 21774.503
AT ITER 1906 NEW BEST:: SOT 46139 SOS 25486 HAS SOPS 25486 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21757.486
AT ITER 1926 NEW BEST:: SOT 46134 SOS 25481 HAS SOPS 25481 HAS SOUS 21722 HAS SOUPS 21722 WITH SCORE 21747.481
AT ITER 1935 NEW BEST:: SOT 46124 SOS 25471 HAS SOPS 25471 HAS SOUS 21703 HAS SOUPS 21703 WITH SCORE 21728.471
AT ITER 1961 NEW BEST:: SOT 46124 SOS 25433 HAS SOPS 25433 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21724.433
AT ITER 1976 NEW BEST:: SOT 46124 SOS 25390 HAS SOPS 25390 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21724.39
AT ITER 1978 NEW BEST:: SOT 46135 SOS 25371 HAS SOPS 25371 HAS SOUS 21675 HAS SOUPS 21675 WITH SCORE 21700.371
AT ITER 1982 NEW BEST:: SOT 46135 SOS 25367 HAS SOPS 25367 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21696.367
AT ITER 1998 NEW BEST:: SOT 46111 SOS 25343 HAS SOPS 25343 HAS SOUS 21647 HAS SOUPS 21647 WITH SCORE 21672.343
AT ITER 2003 NEW BEST:: SOT 46100 SOS 25332 HAS SOPS 25332 HAS SOUS 21612 HAS SOUPS 21612 WITH SCORE 21637.332
AT ITER 2007 NEW BEST:: SOT 46092 SOS 25356 HAS SOPS 25356 HAS SOUS 21604 HAS SOUPS 21604 WITH SCORE 21629.356
AT ITER 2015 NEW BEST:: SOT 46058 SOS 25357 HAS SOPS 25357 HAS SOUS 21576 HAS SOUPS 21576 WITH SCORE 21601.357
AT ITER 2045 NEW BEST:: SOT 46044 SOS 25343 HAS SOPS 25343 HAS SOUS 21562 HAS SOUPS 21562 WITH SCORE 21587.343
AT ITER 2048 NEW BEST:: SOT 46044 SOS 25397 HAS SOPS 25397 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21585.397
AT ITER 2059 NEW BEST:: SOT 46025 SOS 25379 HAS SOPS 25379 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21566.379
AT ITER 2063 NEW BEST:: SOT 46025 SOS 25412 HAS SOPS 25412 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21554.412
AT ITER 2077 NEW BEST:: SOT 46025 SOS 25360 HAS SOPS 25360 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21554.36
AT ITER 2080 NEW BEST:: SOT 46001 SOS 25531 HAS SOPS 25531 HAS SOUS 21514 HAS SOUPS 21514 WITH SCORE 21539.531
AT ITER 2082 NEW BEST:: SOT 46001 SOS 25517 HAS SOPS 25517 HAS SOUS 21511 HAS SOUPS 21511 WITH SCORE 21536.517
AT ITER 2083 NEW BEST:: SOT 45961 SOS 25511 HAS SOPS 25511 HAS SOUS 21476 HAS SOUPS 21476 WITH SCORE 21501.511
AT ITER 2094 NEW BEST:: SOT 45952 SOS 25502 HAS SOPS 25502 HAS SOUS 21467 HAS SOUPS 21467 WITH SCORE 21492.502
AT ITER 2098 NEW BEST:: SOT 45924 SOS 25496 HAS SOPS 25496 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21486.496
AT ITER 2122 NEW BEST:: SOT 45924 SOS 25477 HAS SOPS 25477 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21486.477
AT ITER 2143 NEW BEST:: SOT 45924 SOS 25459 HAS SOPS 25459 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21486.459
AT ITER 2183 NEW BEST:: SOT 45924 SOS 25445 HAS SOPS 25445 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21486.445
AT ITER 2190 NEW BEST:: SOT 45914 SOS 25438 HAS SOPS 25438 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21479.438
AT ITER 2191 NEW BEST:: SOT 45914 SOS 25438 HAS SOPS 25438 HAS SOUS 21450 HAS SOUPS 21450 WITH SCORE 21475.438
AT ITER 2208 NEW BEST:: SOT 45871 SOS 25460 HAS SOPS 25460 HAS SOUS 21418 HAS SOUPS 21418 WITH SCORE 21443.46
AT ITER 2255 NEW BEST:: SOT 45821 SOS 25440 HAS SOPS 25440 HAS SOUS 21398 HAS SOUPS 21398 WITH SCORE 21423.44
AT ITER 2270 NEW BEST:: SOT 45821 SOS 25435 HAS SOPS 25435 HAS SOUS 21398 HAS SOUPS 21398 WITH SCORE 21423.435
AT ITER 2282 NEW BEST:: SOT 45820 SOS 25434 HAS SOPS 25434 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21417.434
AT ITER 2296 NEW BEST:: SOT 45817 SOS 25431 HAS SOPS 25431 HAS SOUS 21387 HAS SOUPS 21387 WITH SCORE 21412.431
AT ITER 2311 NEW BEST:: SOT 45817 SOS 25428 HAS SOPS 25428 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21409.428
AT ITER 2323 NEW BEST:: SOT 45692 SOS 25343 HAS SOPS 25343 HAS SOUS 21345 HAS SOUPS 21345 WITH SCORE 21370.343
AT ITER 2325 NEW BEST:: SOT 45699 SOS 25339 HAS SOPS 25339 HAS SOUS 21341 HAS SOUPS 21341 WITH SCORE 21366.339
AT ITER 2329 NEW BEST:: SOT 45700 SOS 25344 HAS SOPS 25344 HAS SOUS 21340 HAS SOUPS 21340 WITH SCORE 21365.344
AT ITER 2331 NEW BEST:: SOT 45700 SOS 25344 HAS SOPS 25344 HAS SOUS 21335 HAS SOUPS 21335 WITH SCORE 21360.344
AT ITER 2340 NEW BEST:: SOT 45748 SOS 25365 HAS SOPS 25365 HAS SOUS 21331 HAS SOUPS 21331 WITH SCORE 21356.365
AT ITER 2363 NEW BEST:: SOT 45736 SOS 25353 HAS SOPS 25353 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21344.353
AT ITER 2375 NEW BEST:: SOT 45719 SOS 25283 HAS SOPS 25283 HAS SOUS 21308 HAS SOUPS 21308 WITH SCORE 21333.283
AT ITER 2418 NEW BEST:: SOT 45714 SOS 25273 HAS SOPS 25273 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21323.273
AT ITER 2442 NEW BEST:: SOT 45725 SOS 25240 HAS SOPS 25240 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21323.24
AT ITER 2449 NEW BEST:: SOT 45707 SOS 25222 HAS SOPS 25222 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21305.222
AT ITER 2457 NEW BEST:: SOT 45707 SOS 25162 HAS SOPS 25162 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21305.162
AT ITER 2460 NEW BEST:: SOT 45699 SOS 25154 HAS SOPS 25154 HAS SOUS 21268 HAS SOUPS 21268 WITH SCORE 21293.154
AT ITER 2462 NEW BEST:: SOT 45694 SOS 25152 HAS SOPS 25152 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21291.152
AT ITER 2470 NEW BEST:: SOT 45694 SOS 25132 HAS SOPS 25132 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21291.132
AT ITER 2492 NEW BEST:: SOT 45694 SOS 25132 HAS SOPS 25132 HAS SOUS 21264 HAS SOUPS 21264 WITH SCORE 21289.132
AT ITER 2509 NEW BEST:: SOT 45688 SOS 25126 HAS SOPS 25126 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21283.126
AT ITER 2512 NEW BEST:: SOT 45688 SOS 25109 HAS SOPS 25109 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21283.109
AT ITER 2517 NEW BEST:: SOT 45688 SOS 25096 HAS SOPS 25096 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21283.096
AT ITER 2533 NEW BEST:: SOT 45660 SOS 25182 HAS SOPS 25182 HAS SOUS 21239 HAS SOUPS 21239 WITH SCORE 21264.182
AT ITER 2539 NEW BEST:: SOT 45656 SOS 25175 HAS SOPS 25175 HAS SOUS 21235 HAS SOUPS 21235 WITH SCORE 21260.175
AT ITER 2549 NEW BEST:: SOT 45609 SOS 25282 HAS SOPS 25282 HAS SOUS 21206 HAS SOUPS 21206 WITH SCORE 21231.282
AT ITER 2560 NEW BEST:: SOT 45616 SOS 25261 HAS SOPS 25261 HAS SOUS 21199 HAS SOUPS 21199 WITH SCORE 21224.261
AT ITER 2566 NEW BEST:: SOT 45616 SOS 25261 HAS SOPS 25261 HAS SOUS 21198 HAS SOUPS 21198 WITH SCORE 21223.261
AT ITER 2569 NEW BEST:: SOT 45573 SOS 25242 HAS SOPS 25242 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21219.242
AT ITER 2577 NEW BEST:: SOT 45543 SOS 25212 HAS SOPS 25212 HAS SOUS 21164 HAS SOUPS 21164 WITH SCORE 21189.212
AT ITER 2581 NEW BEST:: SOT 45538 SOS 25207 HAS SOPS 25207 HAS SOUS 21159 HAS SOUPS 21159 WITH SCORE 21184.207
AT ITER 2582 NEW BEST:: SOT 45538 SOS 25204 HAS SOPS 25204 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21181.204
AT ITER 2605 NEW BEST:: SOT 45518 SOS 25184 HAS SOPS 25184 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21161.184
AT ITER 2622 NEW BEST:: SOT 45461 SOS 25176 HAS SOPS 25176 HAS SOUS 21128 HAS SOUPS 21128 WITH SCORE 21153.176
AT ITER 2626 NEW BEST:: SOT 45457 SOS 25172 HAS SOPS 25172 HAS SOUS 21124 HAS SOUPS 21124 WITH SCORE 21149.172
AT ITER 2639 NEW BEST:: SOT 45453 SOS 25164 HAS SOPS 25164 HAS SOUS 21116 HAS SOUPS 21116 WITH SCORE 21141.164
AT ITER 2645 NEW BEST:: SOT 45453 SOS 25115 HAS SOPS 25115 HAS SOUS 21116 HAS SOUPS 21116 WITH SCORE 21141.115
AT ITER 2647 NEW BEST:: SOT 45434 SOS 25241 HAS SOPS 25241 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21132.241
AT ITER 2660 NEW BEST:: SOT 45434 SOS 25241 HAS SOPS 25241 HAS SOUS 21098 HAS SOUPS 21098 WITH SCORE 21123.241
AT ITER 2685 NEW BEST:: SOT 45378 SOS 25236 HAS SOPS 25236 HAS SOUS 21093 HAS SOUPS 21093 WITH SCORE 21118.236
AT ITER 2693 NEW BEST:: SOT 45360 SOS 25234 HAS SOPS 25234 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21116.234
AT ITER 2695 NEW BEST:: SOT 45324 SOS 25234 HAS SOPS 25234 HAS SOUS 21085 HAS SOUPS 21085 WITH SCORE 21110.234
AT ITER 2712 NEW BEST:: SOT 45324 SOS 25234 HAS SOPS 25234 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21109.234
AT ITER 2721 NEW BEST:: SOT 45312 SOS 25222 HAS SOPS 25222 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21097.222
AT ITER 2752 NEW BEST:: SOT 45278 SOS 25293 HAS SOPS 25293 HAS SOUS 21066 HAS SOUPS 21066 WITH SCORE 21091.293
AT ITER 2754 NEW BEST:: SOT 45271 SOS 25313 HAS SOPS 25313 HAS SOUS 21059 HAS SOUPS 21059 WITH SCORE 21084.313
AT ITER 2758 NEW BEST:: SOT 45261 SOS 25303 HAS SOPS 25303 HAS SOUS 21049 HAS SOUPS 21049 WITH SCORE 21074.303
AT ITER 2766 NEW BEST:: SOT 45257 SOS 25330 HAS SOPS 25330 HAS SOUS 21035 HAS SOUPS 21035 WITH SCORE 21060.33
AT ITER 2770 NEW BEST:: SOT 45256 SOS 25313 HAS SOPS 25313 HAS SOUS 21018 HAS SOUPS 21018 WITH SCORE 21043.313
AT ITER 2778 NEW BEST:: SOT 45288 SOS 25368 HAS SOPS 25368 HAS SOUS 20987 HAS SOUPS 20987 WITH SCORE 21012.368
AT ITER 2792 NEW BEST:: SOT 45288 SOS 25263 HAS SOPS 25263 HAS SOUS 20987 HAS SOUPS 20987 WITH SCORE 21012.263
AT ITER 2793 NEW BEST:: SOT 45283 SOS 25258 HAS SOPS 25258 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21010.258
AT ITER 2812 NEW BEST:: SOT 45283 SOS 25236 HAS SOPS 25236 HAS SOUS 20976 HAS SOUPS 20976 WITH SCORE 21001.236
AT ITER 2827 NEW BEST:: SOT 45283 SOS 25225 HAS SOPS 25225 HAS SOUS 20951 HAS SOUPS 20951 WITH SCORE 20976.225
AT ITER 2834 NEW BEST:: SOT 45283 SOS 25197 HAS SOPS 25197 HAS SOUS 20945 HAS SOUPS 20945 WITH SCORE 20970.197
AT ITER 2842 NEW BEST:: SOT 45283 SOS 25194 HAS SOPS 25194 HAS SOUS 20945 HAS SOUPS 20945 WITH SCORE 20970.194
AT ITER 2856 NEW BEST:: SOT 45282 SOS 25189 HAS SOPS 25189 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20965.189
AT ITER 2863 NEW BEST:: SOT 45282 SOS 25184 HAS SOPS 25184 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20940.184
AT ITER 2880 NEW BEST:: SOT 45264 SOS 25166 HAS SOPS 25166 HAS SOUS 20897 HAS SOUPS 20897 WITH SCORE 20922.166
AT ITER 2882 NEW BEST:: SOT 45254 SOS 25129 HAS SOPS 25129 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20895.129
AT ITER 2888 NEW BEST:: SOT 45254 SOS 25075 HAS SOPS 25075 HAS SOUS 20821 HAS SOUPS 20821 WITH SCORE 20846.075
AT ITER 2892 NEW BEST:: SOT 45253 SOS 25074 HAS SOPS 25074 HAS SOUS 20820 HAS SOUPS 20820 WITH SCORE 20845.074
AT ITER 2913 NEW BEST:: SOT 45220 SOS 25067 HAS SOPS 25067 HAS SOUS 20813 HAS SOUPS 20813 WITH SCORE 20838.067
AT ITER 2916 NEW BEST:: SOT 45214 SOS 25067 HAS SOPS 25067 HAS SOUS 20807 HAS SOUPS 20807 WITH SCORE 20832.067
AT ITER 2918 NEW BEST:: SOT 45103 SOS 25027 HAS SOPS 25027 HAS SOUS 20767 HAS SOUPS 20767 WITH SCORE 20792.027
AT ITER 2933 NEW BEST:: SOT 45022 SOS 24990 HAS SOPS 24990 HAS SOUS 20723 HAS SOUPS 20723 WITH SCORE 20747.99
AT ITER 2946 NEW BEST:: SOT 44995 SOS 25133 HAS SOPS 25133 HAS SOUS 20719 HAS SOUPS 20719 WITH SCORE 20744.133
AT ITER 2952 NEW BEST:: SOT 44995 SOS 25129 HAS SOPS 25129 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20740.129
AT ITER 2955 NEW BEST:: SOT 44995 SOS 25109 HAS SOPS 25109 HAS SOUS 20695 HAS SOUPS 20695 WITH SCORE 20720.109
AT ITER 2958 NEW BEST:: SOT 44995 SOS 25109 HAS SOPS 25109 HAS SOUS 20676 HAS SOUPS 20676 WITH SCORE 20701.109
AT ITER 2972 NEW BEST:: SOT 44994 SOS 25124 HAS SOPS 25124 HAS SOUS 20675 HAS SOUPS 20675 WITH SCORE 20700.124
AT ITER 3055 NEW BEST:: SOT 44986 SOS 25116 HAS SOPS 25116 HAS SOUS 20667 HAS SOUPS 20667 WITH SCORE 20692.116
AT ITER 3056 NEW BEST:: SOT 44986 SOS 25110 HAS SOPS 25110 HAS SOUS 20667 HAS SOUPS 20667 WITH SCORE 20692.11
AT ITER 3070 NEW BEST:: SOT 44943 SOS 25148 HAS SOPS 25148 HAS SOUS 20653 HAS SOUPS 20653 WITH SCORE 20678.148
AT ITER 3073 NEW BEST:: SOT 44936 SOS 25141 HAS SOPS 25141 HAS SOUS 20646 HAS SOUPS 20646 WITH SCORE 20671.141
AT ITER 3075 NEW BEST:: SOT 44912 SOS 25125 HAS SOPS 25125 HAS SOUS 20630 HAS SOUPS 20630 WITH SCORE 20655.125
AT ITER 3080 NEW BEST:: SOT 44908 SOS 25117 HAS SOPS 25117 HAS SOUS 20626 HAS SOUPS 20626 WITH SCORE 20651.117
AT ITER 3084 NEW BEST:: SOT 44908 SOS 25093 HAS SOPS 25093 HAS SOUS 20626 HAS SOUPS 20626 WITH SCORE 20651.093
AT ITER 3113 NEW BEST:: SOT 44908 SOS 25189 HAS SOPS 25189 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20650.189
AT ITER 3135 NEW BEST:: SOT 44896 SOS 25177 HAS SOPS 25177 HAS SOUS 20613 HAS SOUPS 20613 WITH SCORE 20638.177
AT ITER 3188 NEW BEST:: SOT 44873 SOS 25171 HAS SOPS 25171 HAS SOUS 20576 HAS SOUPS 20576 WITH SCORE 20601.171
AT ITER 3194 NEW BEST:: SOT 44889 SOS 25166 HAS SOPS 25166 HAS SOUS 20571 HAS SOUPS 20571 WITH SCORE 20596.166
AT ITER 3206 NEW BEST:: SOT 44885 SOS 25166 HAS SOPS 25166 HAS SOUS 20567 HAS SOUPS 20567 WITH SCORE 20592.166
AT ITER 3217 NEW BEST:: SOT 44816 SOS 25116 HAS SOPS 25116 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20542.116
AT ITER 3232 NEW BEST:: SOT 44704 SOS 25102 HAS SOPS 25102 HAS SOUS 20430 HAS SOUPS 20430 WITH SCORE 20455.102
AT ITER 3234 NEW BEST:: SOT 44688 SOS 25087 HAS SOPS 25087 HAS SOUS 20415 HAS SOUPS 20415 WITH SCORE 20440.087
AT ITER 3235 NEW BEST:: SOT 44688 SOS 25063 HAS SOPS 25063 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20438.063
AT ITER 3239 NEW BEST:: SOT 44688 SOS 25063 HAS SOPS 25063 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20392.063
AT ITER 3243 NEW BEST:: SOT 44633 SOS 25008 HAS SOPS 25008 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20351.008
AT ITER 3278 NEW BEST:: SOT 44612 SOS 24987 HAS SOPS 24987 HAS SOUS 20305 HAS SOUPS 20305 WITH SCORE 20329.987
AT ITER 3279 NEW BEST:: SOT 44612 SOS 24987 HAS SOPS 24987 HAS SOUS 20302 HAS SOUPS 20302 WITH SCORE 20326.987
AT ITER 3289 NEW BEST:: SOT 44613 SOS 24954 HAS SOPS 24954 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20293.954
AT ITER 3297 NEW BEST:: SOT 44613 SOS 24995 HAS SOPS 24995 HAS SOUS 20268 HAS SOUPS 20268 WITH SCORE 20292.995
AT ITER 3305 NEW BEST:: SOT 44575 SOS 24970 HAS SOPS 24970 HAS SOUS 20243 HAS SOUPS 20243 WITH SCORE 20267.97
AT ITER 3323 NEW BEST:: SOT 44553 SOS 24978 HAS SOPS 24978 HAS SOUS 20221 HAS SOUPS 20221 WITH SCORE 20245.978
AT ITER 3351 NEW BEST:: SOT 44500 SOS 24958 HAS SOPS 24958 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20225.958
AT ITER 3359 NEW BEST:: SOT 44500 SOS 24940 HAS SOPS 24940 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20225.94
AT ITER 3371 NEW BEST:: SOT 44500 SOS 24927 HAS SOPS 24927 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20225.927
AT ITER 3372 NEW BEST:: SOT 44476 SOS 24798 HAS SOPS 24798 HAS SOUS 20180 HAS SOUPS 20180 WITH SCORE 20204.798
AT ITER 3389 NEW BEST:: SOT 44499 SOS 24789 HAS SOPS 24789 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20195.789
AT ITER 3403 NEW BEST:: SOT 44499 SOS 24736 HAS SOPS 24736 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20195.736
AT ITER 3405 NEW BEST:: SOT 44499 SOS 24736 HAS SOPS 24736 HAS SOUS 20167 HAS SOUPS 20167 WITH SCORE 20191.736
AT ITER 3411 NEW BEST:: SOT 44496 SOS 24733 HAS SOPS 24733 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20188.733
AT ITER 3432 NEW BEST:: SOT 44496 SOS 24572 HAS SOPS 24572 HAS SOUS 20155 HAS SOUPS 20155 WITH SCORE 20179.572
AT ITER 3439 NEW BEST:: SOT 44495 SOS 24571 HAS SOPS 24571 HAS SOUS 20154 HAS SOUPS 20154 WITH SCORE 20178.571
AT ITER 3444 NEW BEST:: SOT 44470 SOS 24567 HAS SOPS 24567 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20174.567
AT ITER 3454 NEW BEST:: SOT 44469 SOS 24566 HAS SOPS 24566 HAS SOUS 20149 HAS SOUPS 20149 WITH SCORE 20173.566
AT ITER 3477 NEW BEST:: SOT 44469 SOS 24566 HAS SOPS 24566 HAS SOUS 20144 HAS SOUPS 20144 WITH SCORE 20168.566
AT ITER 3480 NEW BEST:: SOT 44468 SOS 24569 HAS SOPS 24569 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20167.569
AT ITER 3501 NEW BEST:: SOT 44461 SOS 24562 HAS SOPS 24562 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20160.562
AT ITER 3516 NEW BEST:: SOT 44458 SOS 24559 HAS SOPS 24559 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20157.559
AT ITER 3523 NEW BEST:: SOT 44458 SOS 24543 HAS SOPS 24543 HAS SOUS 20120 HAS SOUPS 20120 WITH SCORE 20144.543
AT ITER 3534 NEW BEST:: SOT 44458 SOS 24539 HAS SOPS 24539 HAS SOUS 20120 HAS SOUPS 20120 WITH SCORE 20144.539
AT ITER 3566 NEW BEST:: SOT 44458 SOS 24533 HAS SOPS 24533 HAS SOUS 20114 HAS SOUPS 20114 WITH SCORE 20138.533
AT ITER 3617 NEW BEST:: SOT 44302 SOS 24443 HAS SOPS 24443 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20083.443
AT ITER 3632 NEW BEST:: SOT 44276 SOS 24417 HAS SOPS 24417 HAS SOUS 20033 HAS SOUPS 20033 WITH SCORE 20057.417
AT ITER 3643 NEW BEST:: SOT 44268 SOS 24411 HAS SOPS 24411 HAS SOUS 20027 HAS SOUPS 20027 WITH SCORE 20051.411
AT ITER 3660 NEW BEST:: SOT 44315 SOS 24373 HAS SOPS 24373 HAS SOUS 20018 HAS SOUPS 20018 WITH SCORE 20042.373
AT ITER 3662 NEW BEST:: SOT 44315 SOS 24373 HAS SOPS 24373 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20027.373
AT ITER 3666 NEW BEST:: SOT 44304 SOS 24362 HAS SOPS 24362 HAS SOUS 19992 HAS SOUPS 19992 WITH SCORE 20016.362
AT ITER 3709 NEW BEST:: SOT 44234 SOS 24351 HAS SOPS 24351 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20011.351
AT ITER 3717 NEW BEST:: SOT 44227 SOS 24301 HAS SOPS 24301 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 19985.301
AT ITER 3727 NEW BEST:: SOT 44224 SOS 24300 HAS SOPS 24300 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19982.3
AT ITER 3729 NEW BEST:: SOT 44212 SOS 24292 HAS SOPS 24292 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19978.292
AT ITER 3742 NEW BEST:: SOT 44212 SOS 24335 HAS SOPS 24335 HAS SOUS 19947 HAS SOUPS 19947 WITH SCORE 19971.335
AT ITER 3760 NEW BEST:: SOT 44202 SOS 24325 HAS SOPS 24325 HAS SOUS 19937 HAS SOUPS 19937 WITH SCORE 19961.325
AT ITER 3832 NEW BEST:: SOT 44171 SOS 24294 HAS SOPS 24294 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19930.294
AT ITER 3833 NEW BEST:: SOT 44171 SOS 24287 HAS SOPS 24287 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19930.287
AT ITER 3837 NEW BEST:: SOT 44134 SOS 24308 HAS SOPS 24308 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19911.308
AT ITER 3841 NEW BEST:: SOT 44094 SOS 24268 HAS SOPS 24268 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19871.268
AT ITER 3848 NEW BEST:: SOT 44024 SOS 24232 HAS SOPS 24232 HAS SOUS 19846 HAS SOUPS 19846 WITH SCORE 19870.232
AT ITER 3850 NEW BEST:: SOT 44024 SOS 24164 HAS SOPS 24164 HAS SOUS 19838 HAS SOUPS 19838 WITH SCORE 19862.164
AT ITER 3851 NEW BEST:: SOT 44022 SOS 24165 HAS SOPS 24165 HAS SOUS 19836 HAS SOUPS 19836 WITH SCORE 19860.165
AT ITER 3865 NEW BEST:: SOT 43994 SOS 24162 HAS SOPS 24162 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19846.162
AT ITER 3866 NEW BEST:: SOT 43982 SOS 24150 HAS SOPS 24150 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19834.15
AT ITER 3868 NEW BEST:: SOT 43982 SOS 24147 HAS SOPS 24147 HAS SOUS 19807 HAS SOUPS 19807 WITH SCORE 19831.147
AT ITER 3883 NEW BEST:: SOT 43982 SOS 24147 HAS SOPS 24147 HAS SOUS 19798 HAS SOUPS 19798 WITH SCORE 19822.147
AT ITER 3890 NEW BEST:: SOT 43903 SOS 24090 HAS SOPS 24090 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19765.09
AT ITER 3929 NEW BEST:: SOT 43902 SOS 24090 HAS SOPS 24090 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19764.09
AT ITER 3938 NEW BEST:: SOT 43897 SOS 24089 HAS SOPS 24089 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19759.089
AT ITER 3991 NEW BEST:: SOT 43872 SOS 24064 HAS SOPS 24064 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19734.064
AT ITER 4000 NEW BEST:: SOT 43871 SOS 24063 HAS SOPS 24063 HAS SOUS 19709 HAS SOUPS 19709 WITH SCORE 19733.063
AT ITER 4023 NEW BEST:: SOT 43876 SOS 24049 HAS SOPS 24049 HAS SOUS 19689 HAS SOUPS 19689 WITH SCORE 19713.049
AT ITER 4038 NEW BEST:: SOT 43856 SOS 24051 HAS SOPS 24051 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19707.051
AT ITER 4043 NEW BEST:: SOT 43853 SOS 24043 HAS SOPS 24043 HAS SOUS 19682 HAS SOUPS 19682 WITH SCORE 19706.043
AT ITER 4052 NEW BEST:: SOT 43853 SOS 24025 HAS SOPS 24025 HAS SOUS 19682 HAS SOUPS 19682 WITH SCORE 19706.025
AT ITER 4069 NEW BEST:: SOT 43852 SOS 24124 HAS SOPS 24124 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19705.124
AT ITER 4073 NEW BEST:: SOT 43852 SOS 24115 HAS SOPS 24115 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19705.115
AT ITER 4093 NEW BEST:: SOT 43756 SOS 24080 HAS SOPS 24080 HAS SOUS 19630 HAS SOUPS 19630 WITH SCORE 19654.08
AT ITER 4103 NEW BEST:: SOT 43744 SOS 24068 HAS SOPS 24068 HAS SOUS 19605 HAS SOUPS 19605 WITH SCORE 19629.068
AT ITER 4126 NEW BEST:: SOT 43735 SOS 24059 HAS SOPS 24059 HAS SOUS 19596 HAS SOUPS 19596 WITH SCORE 19620.059
AT ITER 4134 NEW BEST:: SOT 43701 SOS 24038 HAS SOPS 24038 HAS SOUS 19575 HAS SOUPS 19575 WITH SCORE 19599.038
AT ITER 4185 NEW BEST:: SOT 43693 SOS 24033 HAS SOPS 24033 HAS SOUS 19567 HAS SOUPS 19567 WITH SCORE 19591.033
AT ITER 4206 NEW BEST:: SOT 43693 SOS 24004 HAS SOPS 24004 HAS SOUS 19567 HAS SOUPS 19567 WITH SCORE 19591.004
AT ITER 4223 NEW BEST:: SOT 43675 SOS 23986 HAS SOPS 23986 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19570.986
AT ITER 4295 NEW BEST:: SOT 43670 SOS 23981 HAS SOPS 23981 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19565.981
AT ITER 4308 NEW BEST:: SOT 43589 SOS 23928 HAS SOPS 23928 HAS SOUS 19489 HAS SOUPS 19489 WITH SCORE 19512.928
AT ITER 4311 NEW BEST:: SOT 43555 SOS 23945 HAS SOPS 23945 HAS SOUS 19472 HAS SOUPS 19472 WITH SCORE 19495.945
AT ITER 4410 NEW BEST:: SOT 43555 SOS 23945 HAS SOPS 23945 HAS SOUS 19469 HAS SOUPS 19469 WITH SCORE 19492.945
AT ITER 4424 NEW BEST:: SOT 43570 SOS 23928 HAS SOPS 23928 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19485.928
AT ITER 4451 NEW BEST:: SOT 43570 SOS 23914 HAS SOPS 23914 HAS SOUS 19448 HAS SOUPS 19448 WITH SCORE 19471.914
AT ITER 4456 NEW BEST:: SOT 43573 SOS 23931 HAS SOPS 23931 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19462.931
AT ITER 4464 NEW BEST:: SOT 43555 SOS 23913 HAS SOPS 23913 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19437.913
AT ITER 4477 NEW BEST:: SOT 43519 SOS 23907 HAS SOPS 23907 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19431.907
AT ITER 4480 NEW BEST:: SOT 43517 SOS 23913 HAS SOPS 23913 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19429.913
AT ITER 4488 NEW BEST:: SOT 43512 SOS 23918 HAS SOPS 23918 HAS SOUS 19401 HAS SOUPS 19401 WITH SCORE 19424.918
AT ITER 4491 NEW BEST:: SOT 43507 SOS 23912 HAS SOPS 23912 HAS SOUS 19395 HAS SOUPS 19395 WITH SCORE 19418.912
AT ITER 4509 NEW BEST:: SOT 43507 SOS 23856 HAS SOPS 23856 HAS SOUS 19393 HAS SOUPS 19393 WITH SCORE 19416.856
AT ITER 4513 NEW BEST:: SOT 43507 SOS 23827 HAS SOPS 23827 HAS SOUS 19364 HAS SOUPS 19364 WITH SCORE 19387.827
AT ITER 4530 NEW BEST:: SOT 43499 SOS 23826 HAS SOPS 23826 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19386.826
AT ITER 4540 NEW BEST:: SOT 43492 SOS 23819 HAS SOPS 23819 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19379.819
AT ITER 4542 NEW BEST:: SOT 43481 SOS 23808 HAS SOPS 23808 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19368.808
AT ITER 4562 NEW BEST:: SOT 43481 SOS 23790 HAS SOPS 23790 HAS SOUS 19339 HAS SOUPS 19339 WITH SCORE 19362.79
AT ITER 4619 NEW BEST:: SOT 43481 SOS 23762 HAS SOPS 23762 HAS SOUS 19334 HAS SOUPS 19334 WITH SCORE 19357.762
AT ITER 4641 NEW BEST:: SOT 43481 SOS 23756 HAS SOPS 23756 HAS SOUS 19328 HAS SOUPS 19328 WITH SCORE 19351.756
AT ITER 4676 NEW BEST:: SOT 43481 SOS 23756 HAS SOPS 23756 HAS SOUS 19322 HAS SOUPS 19322 WITH SCORE 19345.756
AT ITER 4692 NEW BEST:: SOT 43481 SOS 23754 HAS SOPS 23754 HAS SOUS 19322 HAS SOUPS 19322 WITH SCORE 19345.754
AT ITER 4701 NEW BEST:: SOT 43481 SOS 23746 HAS SOPS 23746 HAS SOUS 19322 HAS SOUPS 19322 WITH SCORE 19345.746
AT ITER 4748 NEW BEST:: SOT 43460 SOS 23730 HAS SOPS 23730 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19329.73
AT ITER 4780 NEW BEST:: SOT 43439 SOS 23709 HAS SOPS 23709 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19308.709
AT ITER 4788 NEW BEST:: SOT 43450 SOS 23720 HAS SOPS 23720 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19303.72
AT ITER 4812 NEW BEST:: SOT 43448 SOS 23719 HAS SOPS 23719 HAS SOUS 19279 HAS SOUPS 19279 WITH SCORE 19302.719
AT ITER 4816 NEW BEST:: SOT 43448 SOS 23715 HAS SOPS 23715 HAS SOUS 19275 HAS SOUPS 19275 WITH SCORE 19298.715
AT ITER 4818 NEW BEST:: SOT 43431 SOS 23749 HAS SOPS 23749 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19281.749
AT ITER 4835 NEW BEST:: SOT 43422 SOS 23740 HAS SOPS 23740 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19272.74
AT ITER 4843 NEW BEST:: SOT 43343 SOS 23688 HAS SOPS 23688 HAS SOUS 19197 HAS SOUPS 19197 WITH SCORE 19220.688
AT ITER 4854 NEW BEST:: SOT 43342 SOS 23687 HAS SOPS 23687 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19219.687
AT ITER 4869 NEW BEST:: SOT 43342 SOS 23687 HAS SOPS 23687 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19213.687
AT ITER 4881 NEW BEST:: SOT 43337 SOS 23682 HAS SOPS 23682 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19213.682
AT ITER 4885 NEW BEST:: SOT 43336 SOS 23681 HAS SOPS 23681 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19212.681
AT ITER 4892 NEW BEST:: SOT 43333 SOS 23678 HAS SOPS 23678 HAS SOUS 19186 HAS SOUPS 19186 WITH SCORE 19209.678
AT ITER 4898 NEW BEST:: SOT 43327 SOS 23684 HAS SOPS 23684 HAS SOUS 19183 HAS SOUPS 19183 WITH SCORE 19206.684
AT ITER 4968 NEW BEST:: SOT 43327 SOS 23673 HAS SOPS 23673 HAS SOUS 19183 HAS SOUPS 19183 WITH SCORE 19206.673
AT ITER 4991 NEW BEST:: SOT 43325 SOS 23671 HAS SOPS 23671 HAS SOUS 19181 HAS SOUPS 19181 WITH SCORE 19204.671
AT ITER 5009 NEW BEST:: SOT 43318 SOS 23664 HAS SOPS 23664 HAS SOUS 19174 HAS SOUPS 19174 WITH SCORE 19197.664
AT ITER 5014 NEW BEST:: SOT 43311 SOS 23649 HAS SOPS 23649 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19190.649
AT ITER 5017 NEW BEST:: SOT 43311 SOS 23647 HAS SOPS 23647 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19190.647
AT ITER 5025 NEW BEST:: SOT 43289 SOS 23644 HAS SOPS 23644 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19187.644
AT ITER 5042 NEW BEST:: SOT 43287 SOS 23644 HAS SOPS 23644 HAS SOUS 19163 HAS SOUPS 19163 WITH SCORE 19186.644
AT ITER 5068 NEW BEST:: SOT 43286 SOS 23640 HAS SOPS 23640 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19185.64
AT ITER 5078 NEW BEST:: SOT 43286 SOS 23616 HAS SOPS 23616 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19185.616
AT ITER 5109 NEW BEST:: SOT 43278 SOS 23630 HAS SOPS 23630 HAS SOUS 19154 HAS SOUPS 19154 WITH SCORE 19177.63
AT ITER 5113 NEW BEST:: SOT 43267 SOS 23619 HAS SOPS 23619 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19166.619
AT ITER 5122 NEW BEST:: SOT 43248 SOS 23600 HAS SOPS 23600 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19147.6
AT ITER 5151 NEW BEST:: SOT 43211 SOS 23577 HAS SOPS 23577 HAS SOUS 19101 HAS SOUPS 19101 WITH SCORE 19124.577
AT ITER 5171 NEW BEST:: SOT 43208 SOS 23564 HAS SOPS 23564 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19121.564
AT ITER 5176 NEW BEST:: SOT 43196 SOS 23552 HAS SOPS 23552 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19109.552
AT ITER 5263 NEW BEST:: SOT 43226 SOS 23518 HAS SOPS 23518 HAS SOUS 19077 HAS SOUPS 19077 WITH SCORE 19100.518
AT ITER 5280 NEW BEST:: SOT 43225 SOS 23517 HAS SOPS 23517 HAS SOUS 19076 HAS SOUPS 19076 WITH SCORE 19099.517
AT ITER 5289 NEW BEST:: SOT 43223 SOS 23511 HAS SOPS 23511 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19097.511
AT ITER 5310 NEW BEST:: SOT 43202 SOS 23558 HAS SOPS 23558 HAS SOUS 19053 HAS SOUPS 19053 WITH SCORE 19076.558
AT ITER 5320 NEW BEST:: SOT 43202 SOS 23549 HAS SOPS 23549 HAS SOUS 19053 HAS SOUPS 19053 WITH SCORE 19076.549
AT ITER 5423 NEW BEST:: SOT 43202 SOS 23549 HAS SOPS 23549 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19075.549
AT ITER 5427 NEW BEST:: SOT 43188 SOS 23543 HAS SOPS 23543 HAS SOUS 19046 HAS SOUPS 19046 WITH SCORE 19069.543
AT ITER 5491 NEW BEST:: SOT 43188 SOS 23507 HAS SOPS 23507 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 18995.507
AT ITER 5494 NEW BEST:: SOT 43186 SOS 23537 HAS SOPS 23537 HAS SOUS 18970 HAS SOUPS 18970 WITH SCORE 18993.537
AT ITER 5502 NEW BEST:: SOT 43184 SOS 23537 HAS SOPS 23537 HAS SOUS 18968 HAS SOUPS 18968 WITH SCORE 18991.537
AT ITER 5515 NEW BEST:: SOT 43177 SOS 23530 HAS SOPS 23530 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 18984.53
AT ITER 5568 NEW BEST:: SOT 43177 SOS 23519 HAS SOPS 23519 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 18984.519
AT ITER 5670 NEW BEST:: SOT 43215 SOS 23535 HAS SOPS 23535 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18977.535
AT ITER 5681 NEW BEST:: SOT 43197 SOS 23517 HAS SOPS 23517 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18944.517
AT ITER 5738 NEW BEST:: SOT 43193 SOS 23513 HAS SOPS 23513 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18940.513
AT ITER 5756 NEW BEST:: SOT 43191 SOS 23511 HAS SOPS 23511 HAS SOUS 18915 HAS SOUPS 18915 WITH SCORE 18938.511
AT ITER 5763 NEW BEST:: SOT 43171 SOS 23491 HAS SOPS 23491 HAS SOUS 18895 HAS SOUPS 18895 WITH SCORE 18918.491
AT ITER 5790 NEW BEST:: SOT 43163 SOS 23483 HAS SOPS 23483 HAS SOUS 18887 HAS SOUPS 18887 WITH SCORE 18910.483
AT ITER 5811 NEW BEST:: SOT 43129 SOS 23468 HAS SOPS 23468 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18895.468
AT ITER 5832 NEW BEST:: SOT 43129 SOS 23468 HAS SOPS 23468 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18893.468
AT ITER 5841 NEW BEST:: SOT 43128 SOS 23467 HAS SOPS 23467 HAS SOUS 18869 HAS SOUPS 18869 WITH SCORE 18892.467
AT ITER 5844 NEW BEST:: SOT 43126 SOS 23438 HAS SOPS 23438 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18871.438
AT ITER 5857 NEW BEST:: SOT 43120 SOS 23432 HAS SOPS 23432 HAS SOUS 18842 HAS SOUPS 18842 WITH SCORE 18865.432
AT ITER 5866 NEW BEST:: SOT 43120 SOS 23422 HAS SOPS 23422 HAS SOUS 18842 HAS SOUPS 18842 WITH SCORE 18865.422
AT ITER 5876 NEW BEST:: SOT 43106 SOS 23396 HAS SOPS 23396 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18852.396
AT ITER 5879 NEW BEST:: SOT 43106 SOS 23396 HAS SOPS 23396 HAS SOUS 18823 HAS SOUPS 18823 WITH SCORE 18846.396
AT ITER 5929 NEW BEST:: SOT 43133 SOS 23406 HAS SOPS 23406 HAS SOUS 18816 HAS SOUPS 18816 WITH SCORE 18839.406
AT ITER 5950 NEW BEST:: SOT 43133 SOS 23363 HAS SOPS 23363 HAS SOUS 18816 HAS SOUPS 18816 WITH SCORE 18839.363
AT ITER 6050 NEW BEST:: SOT 43116 SOS 23425 HAS SOPS 23425 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18832.425
AT ITER 6095 NEW BEST:: SOT 43104 SOS 23405 HAS SOPS 23405 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18824.405
AT ITER 6103 NEW BEST:: SOT 43102 SOS 23403 HAS SOPS 23403 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18823.403
AT ITER 6107 NEW BEST:: SOT 43133 SOS 23431 HAS SOPS 23431 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18820.431
AT ITER 6112 NEW BEST:: SOT 43133 SOS 23426 HAS SOPS 23426 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18820.426
AT ITER 6116 NEW BEST:: SOT 43133 SOS 23414 HAS SOPS 23414 HAS SOUS 18793 HAS SOUPS 18793 WITH SCORE 18816.414
AT ITER 6122 NEW BEST:: SOT 43091 SOS 23400 HAS SOPS 23400 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18802.4
AT ITER 6127 NEW BEST:: SOT 43086 SOS 23447 HAS SOPS 23447 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18797.447
AT ITER 6133 NEW BEST:: SOT 43085 SOS 23438 HAS SOPS 23438 HAS SOUS 18752 HAS SOUPS 18752 WITH SCORE 18775.438
AT ITER 6150 NEW BEST:: SOT 43072 SOS 23425 HAS SOPS 23425 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18762.425
AT ITER 6199 NEW BEST:: SOT 43069 SOS 23422 HAS SOPS 23422 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18759.422
AT ITER 6213 NEW BEST:: SOT 43057 SOS 23410 HAS SOPS 23410 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18747.41
AT ITER 6217 NEW BEST:: SOT 43052 SOS 23379 HAS SOPS 23379 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18670.379
AT ITER 6248 NEW BEST:: SOT 43049 SOS 23376 HAS SOPS 23376 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18654.376
AT ITER 6267 NEW BEST:: SOT 43049 SOS 23374 HAS SOPS 23374 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18654.374
AT ITER 6277 NEW BEST:: SOT 43046 SOS 23371 HAS SOPS 23371 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18651.371
AT ITER 6323 NEW BEST:: SOT 43007 SOS 23374 HAS SOPS 23374 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18622.374
AT ITER 6343 NEW BEST:: SOT 43007 SOS 23356 HAS SOPS 23356 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18622.356
AT ITER 6383 NEW BEST:: SOT 43002 SOS 23351 HAS SOPS 23351 HAS SOUS 18594 HAS SOUPS 18594 WITH SCORE 18617.351
AT ITER 6411 NEW BEST:: SOT 42991 SOS 23340 HAS SOPS 23340 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18606.34
AT ITER 6438 NEW BEST:: SOT 42991 SOS 23336 HAS SOPS 23336 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18606.336
AT ITER 6461 NEW BEST:: SOT 42986 SOS 23331 HAS SOPS 23331 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18601.331
AT ITER 6500 NEW BEST:: SOT 42974 SOS 23315 HAS SOPS 23315 HAS SOUS 18565 HAS SOUPS 18565 WITH SCORE 18588.315
AT ITER 6528 NEW BEST:: SOT 42973 SOS 23314 HAS SOPS 23314 HAS SOUS 18564 HAS SOUPS 18564 WITH SCORE 18587.314
AT ITER 6578 NEW BEST:: SOT 42880 SOS 23262 HAS SOPS 23262 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18574.262
AT ITER 6585 NEW BEST:: SOT 42854 SOS 23282 HAS SOPS 23282 HAS SOUS 18543 HAS SOUPS 18543 WITH SCORE 18566.282
AT ITER 6606 NEW BEST:: SOT 42850 SOS 23278 HAS SOPS 23278 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18562.278
AT ITER 6611 NEW BEST:: SOT 42859 SOS 23268 HAS SOPS 23268 HAS SOUS 18529 HAS SOUPS 18529 WITH SCORE 18552.268
AT ITER 6618 NEW BEST:: SOT 42857 SOS 23265 HAS SOPS 23265 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18549.265
AT ITER 6622 NEW BEST:: SOT 42857 SOS 23257 HAS SOPS 23257 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18549.257
AT ITER 6638 NEW BEST:: SOT 42857 SOS 23221 HAS SOPS 23221 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18549.221
AT ITER 6661 NEW BEST:: SOT 42842 SOS 23249 HAS SOPS 23249 HAS SOUS 18517 HAS SOUPS 18517 WITH SCORE 18540.249
AT ITER 6662 NEW BEST:: SOT 42842 SOS 23245 HAS SOPS 23245 HAS SOUS 18517 HAS SOUPS 18517 WITH SCORE 18540.245
AT ITER 6697 NEW BEST:: SOT 42771 SOS 23239 HAS SOPS 23239 HAS SOUS 18511 HAS SOUPS 18511 WITH SCORE 18534.239
AT ITER 6744 NEW BEST:: SOT 42770 SOS 23238 HAS SOPS 23238 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18533.238
AT ITER 6775 NEW BEST:: SOT 42772 SOS 23236 HAS SOPS 23236 HAS SOUS 18510 HAS SOUPS 18510 WITH SCORE 18533.236
AT ITER 6787 NEW BEST:: SOT 42770 SOS 23234 HAS SOPS 23234 HAS SOUS 18508 HAS SOUPS 18508 WITH SCORE 18531.234
AT ITER 6798 NEW BEST:: SOT 42755 SOS 23224 HAS SOPS 23224 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18521.224
AT ITER 6829 NEW BEST:: SOT 42755 SOS 23216 HAS SOPS 23216 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18521.216
AT ITER 6920 NEW BEST:: SOT 42755 SOS 23214 HAS SOPS 23214 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18521.214
AT ITER 6937 NEW BEST:: SOT 42755 SOS 23214 HAS SOPS 23214 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18500.214
AT ITER 6947 NEW BEST:: SOT 42755 SOS 23206 HAS SOPS 23206 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18500.206
AT ITER 6976 NEW BEST:: SOT 42812 SOS 23235 HAS SOPS 23235 HAS SOUS 18453 HAS SOUPS 18453 WITH SCORE 18476.235
AT ITER 6987 NEW BEST:: SOT 42808 SOS 23232 HAS SOPS 23232 HAS SOUS 18447 HAS SOUPS 18447 WITH SCORE 18470.232
AT ITER 6988 NEW BEST:: SOT 42808 SOS 23250 HAS SOPS 23250 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18465.25
AT ITER 7014 NEW BEST:: SOT 42807 SOS 23249 HAS SOPS 23249 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18464.249
AT ITER 7019 NEW BEST:: SOT 42781 SOS 23249 HAS SOPS 23249 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18445.249
AT ITER 7024 NEW BEST:: SOT 42775 SOS 23243 HAS SOPS 23243 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18440.243
AT ITER 7086 NEW BEST:: SOT 42775 SOS 23243 HAS SOPS 23243 HAS SOUS 18406 HAS SOUPS 18406 WITH SCORE 18429.243
AT ITER 7161 NEW BEST:: SOT 42775 SOS 23229 HAS SOPS 23229 HAS SOUS 18406 HAS SOUPS 18406 WITH SCORE 18429.229
AT ITER 7192 NEW BEST:: SOT 42766 SOS 23220 HAS SOPS 23220 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18420.22
AT ITER 7225 NEW BEST:: SOT 42753 SOS 23207 HAS SOPS 23207 HAS SOUS 18384 HAS SOUPS 18384 WITH SCORE 18407.207
AT ITER 7239 NEW BEST:: SOT 42754 SOS 23206 HAS SOPS 23206 HAS SOUS 18383 HAS SOUPS 18383 WITH SCORE 18406.206
AT ITER 7256 NEW BEST:: SOT 42747 SOS 23182 HAS SOPS 23182 HAS SOUS 18382 HAS SOUPS 18382 WITH SCORE 18405.182
AT ITER 7309 NEW BEST:: SOT 42744 SOS 23183 HAS SOPS 23183 HAS SOUS 18381 HAS SOUPS 18381 WITH SCORE 18404.183
AT ITER 7345 NEW BEST:: SOT 42745 SOS 23171 HAS SOPS 23171 HAS SOUS 18381 HAS SOUPS 18381 WITH SCORE 18404.171
AT ITER 7419 NEW BEST:: SOT 42746 SOS 23170 HAS SOPS 23170 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18403.17
AT ITER 7469 NEW BEST:: SOT 42746 SOS 23169 HAS SOPS 23169 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18396.169
AT ITER 7492 NEW BEST:: SOT 42757 SOS 23180 HAS SOPS 23180 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18387.18
AT ITER 7531 NEW BEST:: SOT 42757 SOS 23177 HAS SOPS 23177 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18378.177
AT ITER 7535 NEW BEST:: SOT 42753 SOS 23171 HAS SOPS 23171 HAS SOUS 18351 HAS SOUPS 18351 WITH SCORE 18374.171
AT ITER 7671 NEW BEST:: SOT 42754 SOS 23170 HAS SOPS 23170 HAS SOUS 18350 HAS SOUPS 18350 WITH SCORE 18373.17
AT ITER 7676 NEW BEST:: SOT 42743 SOS 23150 HAS SOPS 23150 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18344.15
AT ITER 7678 NEW BEST:: SOT 42741 SOS 23148 HAS SOPS 23148 HAS SOUS 18319 HAS SOUPS 18319 WITH SCORE 18342.148
AT ITER 7690 NEW BEST:: SOT 42735 SOS 23142 HAS SOPS 23142 HAS SOUS 18313 HAS SOUPS 18313 WITH SCORE 18336.142
AT ITER 7699 NEW BEST:: SOT 42711 SOS 23136 HAS SOPS 23136 HAS SOUS 18298 HAS SOUPS 18298 WITH SCORE 18321.136
AT ITER 7718 NEW BEST:: SOT 42711 SOS 23131 HAS SOPS 23131 HAS SOUS 18298 HAS SOUPS 18298 WITH SCORE 18321.131
AT ITER 7727 NEW BEST:: SOT 42711 SOS 23130 HAS SOPS 23130 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18320.13
AT ITER 7735 NEW BEST:: SOT 42711 SOS 23130 HAS SOPS 23130 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18310.13
AT ITER 7748 NEW BEST:: SOT 42667 SOS 23150 HAS SOPS 23150 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18297.15
AT ITER 7825 NEW BEST:: SOT 42653 SOS 23184 HAS SOPS 23184 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18290.184
AT ITER 7849 NEW BEST:: SOT 42653 SOS 23184 HAS SOPS 23184 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18287.184
AT ITER 7850 NEW BEST:: SOT 42640 SOS 23171 HAS SOPS 23171 HAS SOUS 18251 HAS SOUPS 18251 WITH SCORE 18274.171
AT ITER 7865 NEW BEST:: SOT 42628 SOS 23159 HAS SOPS 23159 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18262.159
AT ITER 7917 NEW BEST:: SOT 42594 SOS 23248 HAS SOPS 23248 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18236.248
AT ITER 7935 NEW BEST:: SOT 42592 SOS 23244 HAS SOPS 23244 HAS SOUS 18205 HAS SOUPS 18205 WITH SCORE 18228.244
AT ITER 7947 NEW BEST:: SOT 42606 SOS 23233 HAS SOPS 23233 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18226.233
AT ITER 7959 NEW BEST:: SOT 42544 SOS 23323 HAS SOPS 23323 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18191.323
AT ITER 8023 NEW BEST:: SOT 42544 SOS 23318 HAS SOPS 23318 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18191.318
AT ITER 8058 NEW BEST:: SOT 42533 SOS 23290 HAS SOPS 23290 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18163.29
AT ITER 8066 NEW BEST:: SOT 42533 SOS 23289 HAS SOPS 23289 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18163.289
AT ITER 8133 NEW BEST:: SOT 42541 SOS 23261 HAS SOPS 23261 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18162.261
AT ITER 8136 NEW BEST:: SOT 42530 SOS 23268 HAS SOPS 23268 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18157.268
AT ITER 8181 NEW BEST:: SOT 42532 SOS 23255 HAS SOPS 23255 HAS SOUS 18102 HAS SOUPS 18102 WITH SCORE 18125.255
AT ITER 8213 NEW BEST:: SOT 42526 SOS 23249 HAS SOPS 23249 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18119.249
AT ITER 8230 NEW BEST:: SOT 42527 SOS 23242 HAS SOPS 23242 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18107.242
AT ITER 8257 NEW BEST:: SOT 42527 SOS 23242 HAS SOPS 23242 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18103.242
AT ITER 8268 NEW BEST:: SOT 42494 SOS 23229 HAS SOPS 23229 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18082.229
AT ITER 8297 NEW BEST:: SOT 42459 SOS 23246 HAS SOPS 23246 HAS SOUS 18057 HAS SOUPS 18057 WITH SCORE 18080.246
AT ITER 8300 NEW BEST:: SOT 42452 SOS 23239 HAS SOPS 23239 HAS SOUS 18050 HAS SOUPS 18050 WITH SCORE 18073.239
AT ITER 8377 NEW BEST:: SOT 42451 SOS 23240 HAS SOPS 23240 HAS SOUS 18049 HAS SOUPS 18049 WITH SCORE 18072.24
AT ITER 8531 NEW BEST:: SOT 42450 SOS 23269 HAS SOPS 23269 HAS SOUS 18048 HAS SOUPS 18048 WITH SCORE 18071.269
AT ITER 8541 NEW BEST:: SOT 42450 SOS 23269 HAS SOPS 23269 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18070.269
AT ITER 8577 NEW BEST:: SOT 42275 SOS 23293 HAS SOPS 23293 HAS SOUS 17987 HAS SOUPS 17987 WITH SCORE 18010.293
AT ITER 8582 NEW BEST:: SOT 42220 SOS 23238 HAS SOPS 23238 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 17996.238
AT ITER 8583 NEW BEST:: SOT 42220 SOS 23237 HAS SOPS 23237 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 17977.237
AT ITER 8671 NEW BEST:: SOT 42220 SOS 23237 HAS SOPS 23237 HAS SOUS 17952 HAS SOUPS 17952 WITH SCORE 17975.237
AT ITER 8673 NEW BEST:: SOT 42220 SOS 23229 HAS SOPS 23229 HAS SOUS 17944 HAS SOUPS 17944 WITH SCORE 17967.229
AT ITER 8675 NEW BEST:: SOT 42201 SOS 23238 HAS SOPS 23238 HAS SOUS 17871 HAS SOUPS 17871 WITH SCORE 17894.238
AT ITER 8688 NEW BEST:: SOT 42208 SOS 23245 HAS SOPS 23245 HAS SOUS 17854 HAS SOUPS 17854 WITH SCORE 17877.245
AT ITER 8700 NEW BEST:: SOT 42207 SOS 23237 HAS SOPS 23237 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17870.237
AT ITER 8752 NEW BEST:: SOT 42206 SOS 23236 HAS SOPS 23236 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17869.236
AT ITER 8763 NEW BEST:: SOT 42206 SOS 23211 HAS SOPS 23211 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17869.211
AT ITER 8774 NEW BEST:: SOT 42196 SOS 23221 HAS SOPS 23221 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17863.221
AT ITER 8785 NEW BEST:: SOT 42191 SOS 23216 HAS SOPS 23216 HAS SOUS 17835 HAS SOUPS 17835 WITH SCORE 17858.216
AT ITER 8799 NEW BEST:: SOT 42182 SOS 23252 HAS SOPS 23252 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17851.252
AT ITER 8856 NEW BEST:: SOT 42182 SOS 23252 HAS SOPS 23252 HAS SOUS 17820 HAS SOUPS 17820 WITH SCORE 17843.252
AT ITER 8898 NEW BEST:: SOT 42166 SOS 23252 HAS SOPS 23252 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17842.252
AT ITER 8928 NEW BEST:: SOT 42175 SOS 23243 HAS SOPS 23243 HAS SOUS 17816 HAS SOUPS 17816 WITH SCORE 17839.243
AT ITER 8952 NEW BEST:: SOT 42169 SOS 23257 HAS SOPS 23257 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17833.257
AT ITER 8965 NEW BEST:: SOT 42163 SOS 23246 HAS SOPS 23246 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17822.246
AT ITER 8977 NEW BEST:: SOT 42163 SOS 23244 HAS SOPS 23244 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17822.244
AT ITER 9051 NEW BEST:: SOT 42144 SOS 23212 HAS SOPS 23212 HAS SOUS 17774 HAS SOUPS 17774 WITH SCORE 17797.212
AT ITER 9100 NEW BEST:: SOT 42155 SOS 23223 HAS SOPS 23223 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17793.223
AT ITER 9122 NEW BEST:: SOT 42155 SOS 23221 HAS SOPS 23221 HAS SOUS 17770 HAS SOUPS 17770 WITH SCORE 17793.221
AT ITER 9134 NEW BEST:: SOT 42155 SOS 23221 HAS SOPS 23221 HAS SOUS 17756 HAS SOUPS 17756 WITH SCORE 17779.221
AT ITER 9258 NEW BEST:: SOT 42151 SOS 23217 HAS SOPS 23217 HAS SOUS 17752 HAS SOUPS 17752 WITH SCORE 17775.217
AT ITER 9343 NEW BEST:: SOT 42134 SOS 23200 HAS SOPS 23200 HAS SOUS 17719 HAS SOUPS 17719 WITH SCORE 17742.2
AT ITER 9351 NEW BEST:: SOT 42147 SOS 23206 HAS SOPS 23206 HAS SOUS 17718 HAS SOUPS 17718 WITH SCORE 17741.206
AT ITER 9368 NEW BEST:: SOT 42147 SOS 23204 HAS SOPS 23204 HAS SOUS 17718 HAS SOUPS 17718 WITH SCORE 17741.204
AT ITER 9381 NEW BEST:: SOT 42128 SOS 23185 HAS SOPS 23185 HAS SOUS 17699 HAS SOUPS 17699 WITH SCORE 17722.185
AT ITER 9420 NEW BEST:: SOT 42127 SOS 23184 HAS SOPS 23184 HAS SOUS 17698 HAS SOUPS 17698 WITH SCORE 17721.184
AT ITER 9506 NEW BEST:: SOT 42125 SOS 23184 HAS SOPS 23184 HAS SOUS 17696 HAS SOUPS 17696 WITH SCORE 17719.184
AT ITER 9569 NEW BEST:: SOT 42121 SOS 23180 HAS SOPS 23180 HAS SOUS 17681 HAS SOUPS 17681 WITH SCORE 17704.18
AT ITER 9608 NEW BEST:: SOT 42121 SOS 23180 HAS SOPS 23180 HAS SOUS 17677 HAS SOUPS 17677 WITH SCORE 17700.18
AT ITER 9610 NEW BEST:: SOT 42101 SOS 23195 HAS SOPS 23195 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17694.195
AT ITER 9620 NEW BEST:: SOT 42086 SOS 23187 HAS SOPS 23187 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17685.187
AT ITER 9705 NEW BEST:: SOT 42081 SOS 23186 HAS SOPS 23186 HAS SOUS 17661 HAS SOUPS 17661 WITH SCORE 17684.186
AT ITER 9728 NEW BEST:: SOT 42079 SOS 23182 HAS SOPS 23182 HAS SOUS 17659 HAS SOUPS 17659 WITH SCORE 17682.182
AT ITER 9729 NEW BEST:: SOT 42072 SOS 23175 HAS SOPS 23175 HAS SOUS 17653 HAS SOUPS 17653 WITH SCORE 17676.175
AT ITER 9760 NEW BEST:: SOT 42074 SOS 23130 HAS SOPS 23130 HAS SOUS 17653 HAS SOUPS 17653 WITH SCORE 17676.13
AT ITER 9800 NEW BEST:: SOT 42057 SOS 23129 HAS SOPS 23129 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17675.129
AT ITER 9821 NEW BEST:: SOT 42045 SOS 23122 HAS SOPS 23122 HAS SOUS 17645 HAS SOUPS 17645 WITH SCORE 17668.122
AT ITER 9829 NEW BEST:: SOT 42043 SOS 23123 HAS SOPS 23123 HAS SOUS 17644 HAS SOUPS 17644 WITH SCORE 17667.123
AT ITER 9881 NEW BEST:: SOT 42024 SOS 23104 HAS SOPS 23104 HAS SOUS 17625 HAS SOUPS 17625 WITH SCORE 17648.104
AT ITER 9956 NEW BEST:: SOT 42024 SOS 23104 HAS SOPS 23104 HAS SOUS 17624 HAS SOUPS 17624 WITH SCORE 17647.104

BK_STOP 1679149437179

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 408 Killed ${SMART}/smart ${INPUT_SM}

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="Sudoku-COL-AN06"
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 Sudoku-COL-AN06, 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 r483-tall-167912695100048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN06.tgz
mv Sudoku-COL-AN06 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 ;