Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.0K Feb 26 00:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 00:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 23:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:44 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:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 00:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 00:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 00:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 00:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:04 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 82K 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 1679383728108

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVt-PT-030A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:28:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:28:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:28:49] [INFO ] Load time of PNML (sax parser for PT used): 58 ms
[2023-03-21 07:28:49] [INFO ] Transformed 243 places.
[2023-03-21 07:28:49] [INFO ] Transformed 243 transitions.
[2023-03-21 07:28:49] [INFO ] Found NUPN structural information;
[2023-03-21 07:28:49] [INFO ] Parsed PT model containing 243 places and 243 transitions and 1026 arcs in 118 ms.
[2023-03-21 07:28:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 243 places, 243 transitions and 1026 arcs took 4 ms.
Total runtime 150 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 030A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 243 places, 243 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 46396 SOS 34198 HAS SOPS 34198 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31959.198
AT ITER 4 NEW BEST:: SOT 46282 SOS 34084 HAS SOPS 34084 HAS SOUS 31893 HAS SOUPS 31893 WITH SCORE 31927.084
AT ITER 7 NEW BEST:: SOT 46177 SOS 33828 HAS SOPS 33828 HAS SOUS 31680 HAS SOUPS 31680 WITH SCORE 31713.828
AT ITER 8 NEW BEST:: SOT 46003 SOS 33557 HAS SOPS 33557 HAS SOUS 31435 HAS SOUPS 31435 WITH SCORE 31468.557
AT ITER 11 NEW BEST:: SOT 45938 SOS 33448 HAS SOPS 33448 HAS SOUS 31287 HAS SOUPS 31287 WITH SCORE 31320.448
AT ITER 13 NEW BEST:: SOT 45897 SOS 33366 HAS SOPS 33366 HAS SOUS 31166 HAS SOUPS 31166 WITH SCORE 31199.366
AT ITER 15 NEW BEST:: SOT 45872 SOS 33249 HAS SOPS 33249 HAS SOUS 31161 HAS SOUPS 31161 WITH SCORE 31194.249
AT ITER 17 NEW BEST:: SOT 45674 SOS 32931 HAS SOPS 32931 HAS SOUS 30765 HAS SOUPS 30765 WITH SCORE 30797.931
AT ITER 19 NEW BEST:: SOT 45427 SOS 32574 HAS SOPS 32574 HAS SOUS 30334 HAS SOUPS 30334 WITH SCORE 30366.574
AT ITER 24 NEW BEST:: SOT 45179 SOS 32326 HAS SOPS 32326 HAS SOUS 30076 HAS SOUPS 30076 WITH SCORE 30108.326
AT ITER 26 NEW BEST:: SOT 45133 SOS 32280 HAS SOPS 32280 HAS SOUS 30030 HAS SOUPS 30030 WITH SCORE 30062.28
AT ITER 32 NEW BEST:: SOT 45133 SOS 32295 HAS SOPS 32295 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30060.295
AT ITER 36 NEW BEST:: SOT 45109 SOS 32263 HAS SOPS 32263 HAS SOUS 30006 HAS SOUPS 30006 WITH SCORE 30038.263
AT ITER 39 NEW BEST:: SOT 45021 SOS 32048 HAS SOPS 32048 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29771.048
AT ITER 41 NEW BEST:: SOT 44882 SOS 31836 HAS SOPS 31836 HAS SOUS 29577 HAS SOUPS 29577 WITH SCORE 29608.836
AT ITER 42 NEW BEST:: SOT 44726 SOS 31602 HAS SOPS 31602 HAS SOUS 29381 HAS SOUPS 29381 WITH SCORE 29412.602
AT ITER 45 NEW BEST:: SOT 44660 SOS 31470 HAS SOPS 31470 HAS SOUS 29213 HAS SOUPS 29213 WITH SCORE 29244.47
AT ITER 47 NEW BEST:: SOT 44658 SOS 31466 HAS SOPS 31466 HAS SOUS 29209 HAS SOUPS 29209 WITH SCORE 29240.466
AT ITER 48 NEW BEST:: SOT 44646 SOS 31454 HAS SOPS 31454 HAS SOUS 29197 HAS SOUPS 29197 WITH SCORE 29228.454
AT ITER 50 NEW BEST:: SOT 44624 SOS 31414 HAS SOPS 31414 HAS SOUS 29157 HAS SOUPS 29157 WITH SCORE 29188.414
AT ITER 51 NEW BEST:: SOT 44504 SOS 31185 HAS SOPS 31185 HAS SOUS 28840 HAS SOUPS 28840 WITH SCORE 28871.185
AT ITER 53 NEW BEST:: SOT 44420 SOS 31021 HAS SOPS 31021 HAS SOUS 28676 HAS SOUPS 28676 WITH SCORE 28707.021
AT ITER 56 NEW BEST:: SOT 44420 SOS 31018 HAS SOPS 31018 HAS SOUS 28673 HAS SOUPS 28673 WITH SCORE 28704.018
AT ITER 57 NEW BEST:: SOT 44379 SOS 30927 HAS SOPS 30927 HAS SOUS 28570 HAS SOUPS 28570 WITH SCORE 28600.927
AT ITER 58 NEW BEST:: SOT 44379 SOS 30923 HAS SOPS 30923 HAS SOUS 28568 HAS SOUPS 28568 WITH SCORE 28598.923
AT ITER 59 NEW BEST:: SOT 44310 SOS 30817 HAS SOPS 30817 HAS SOUS 28510 HAS SOUPS 28510 WITH SCORE 28540.817
AT ITER 60 NEW BEST:: SOT 44261 SOS 30722 HAS SOPS 30722 HAS SOUS 28369 HAS SOUPS 28369 WITH SCORE 28399.722
AT ITER 61 NEW BEST:: SOT 44234 SOS 30671 HAS SOPS 30671 HAS SOUS 28294 HAS SOUPS 28294 WITH SCORE 28324.671
AT ITER 68 NEW BEST:: SOT 44185 SOS 30566 HAS SOPS 30566 HAS SOUS 28189 HAS SOUPS 28189 WITH SCORE 28219.566
AT ITER 69 NEW BEST:: SOT 44160 SOS 30512 HAS SOPS 30512 HAS SOUS 28136 HAS SOUPS 28136 WITH SCORE 28166.512
AT ITER 70 NEW BEST:: SOT 43997 SOS 30259 HAS SOPS 30259 HAS SOUS 27905 HAS SOUPS 27905 WITH SCORE 27935.259
AT ITER 72 NEW BEST:: SOT 43912 SOS 30149 HAS SOPS 30149 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27825.149
AT ITER 74 NEW BEST:: SOT 43864 SOS 30016 HAS SOPS 30016 HAS SOUS 27731 HAS SOUPS 27731 WITH SCORE 27761.016
AT ITER 77 NEW BEST:: SOT 43836 SOS 29933 HAS SOPS 29933 HAS SOUS 27620 HAS SOUPS 27620 WITH SCORE 27649.933
AT ITER 79 NEW BEST:: SOT 43779 SOS 29788 HAS SOPS 29788 HAS SOUS 27505 HAS SOUPS 27505 WITH SCORE 27534.788
AT ITER 80 NEW BEST:: SOT 43744 SOS 29753 HAS SOPS 29753 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27499.753
AT ITER 87 NEW BEST:: SOT 43744 SOS 29753 HAS SOPS 29753 HAS SOUS 27468 HAS SOUPS 27468 WITH SCORE 27497.753
AT ITER 94 NEW BEST:: SOT 43731 SOS 29702 HAS SOPS 29702 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27458.702
AT ITER 97 NEW BEST:: SOT 43634 SOS 29516 HAS SOPS 29516 HAS SOUS 27236 HAS SOUPS 27236 WITH SCORE 27265.516
AT ITER 98 NEW BEST:: SOT 43542 SOS 29333 HAS SOPS 29333 HAS SOUS 26998 HAS SOUPS 26998 WITH SCORE 27027.333
AT ITER 100 NEW BEST:: SOT 43542 SOS 29333 HAS SOPS 29333 HAS SOUS 26990 HAS SOUPS 26990 WITH SCORE 27019.333
AT ITER 101 NEW BEST:: SOT 43502 SOS 29253 HAS SOPS 29253 HAS SOUS 26870 HAS SOUPS 26870 WITH SCORE 26899.253
AT ITER 111 NEW BEST:: SOT 43415 SOS 29082 HAS SOPS 29082 HAS SOUS 26636 HAS SOUPS 26636 WITH SCORE 26665.082
AT ITER 117 NEW BEST:: SOT 43370 SOS 29000 HAS SOPS 29000 HAS SOUS 26630 HAS SOUPS 26630 WITH SCORE 26659.0
AT ITER 122 NEW BEST:: SOT 43291 SOS 28762 HAS SOPS 28762 HAS SOUS 26521 HAS SOUPS 26521 WITH SCORE 26549.762
AT ITER 125 NEW BEST:: SOT 43203 SOS 28601 HAS SOPS 28601 HAS SOUS 26298 HAS SOUPS 26298 WITH SCORE 26326.601
AT ITER 128 NEW BEST:: SOT 43195 SOS 28585 HAS SOPS 28585 HAS SOUS 26274 HAS SOUPS 26274 WITH SCORE 26302.585
AT ITER 129 NEW BEST:: SOT 43082 SOS 28360 HAS SOPS 28360 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26077.36
AT ITER 131 NEW BEST:: SOT 43007 SOS 28210 HAS SOPS 28210 HAS SOUS 25899 HAS SOUPS 25899 WITH SCORE 25927.21
AT ITER 133 NEW BEST:: SOT 42932 SOS 28090 HAS SOPS 28090 HAS SOUS 25815 HAS SOUPS 25815 WITH SCORE 25843.09
AT ITER 134 NEW BEST:: SOT 42861 SOS 27923 HAS SOPS 27923 HAS SOUS 25604 HAS SOUPS 25604 WITH SCORE 25631.923
AT ITER 138 NEW BEST:: SOT 42890 SOS 27904 HAS SOPS 27904 HAS SOUS 25479 HAS SOUPS 25479 WITH SCORE 25506.904
AT ITER 146 NEW BEST:: SOT 42762 SOS 27712 HAS SOPS 27712 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25300.712
AT ITER 147 NEW BEST:: SOT 42762 SOS 27712 HAS SOPS 27712 HAS SOUS 25235 HAS SOUPS 25235 WITH SCORE 25262.712
AT ITER 148 NEW BEST:: SOT 42690 SOS 27615 HAS SOPS 27615 HAS SOUS 25138 HAS SOUPS 25138 WITH SCORE 25165.615
AT ITER 150 NEW BEST:: SOT 42610 SOS 27328 HAS SOPS 27328 HAS SOUS 24920 HAS SOUPS 24920 WITH SCORE 24947.328
AT ITER 153 NEW BEST:: SOT 42610 SOS 27328 HAS SOPS 27328 HAS SOUS 24863 HAS SOUPS 24863 WITH SCORE 24890.328
AT ITER 157 NEW BEST:: SOT 42572 SOS 27252 HAS SOPS 27252 HAS SOUS 24749 HAS SOUPS 24749 WITH SCORE 24776.252
AT ITER 162 NEW BEST:: SOT 42512 SOS 27235 HAS SOPS 27235 HAS SOUS 24738 HAS SOUPS 24738 WITH SCORE 24765.235
AT ITER 163 NEW BEST:: SOT 42460 SOS 27131 HAS SOPS 27131 HAS SOUS 24638 HAS SOUPS 24638 WITH SCORE 24665.131
AT ITER 164 NEW BEST:: SOT 42456 SOS 27127 HAS SOPS 27127 HAS SOUS 24634 HAS SOUPS 24634 WITH SCORE 24661.127
AT ITER 167 NEW BEST:: SOT 42456 SOS 27127 HAS SOPS 27127 HAS SOUS 24620 HAS SOUPS 24620 WITH SCORE 24647.127
AT ITER 171 NEW BEST:: SOT 42376 SOS 26921 HAS SOPS 26921 HAS SOUS 24461 HAS SOUPS 24461 WITH SCORE 24487.921
AT ITER 177 NEW BEST:: SOT 42364 SOS 26909 HAS SOPS 26909 HAS SOUS 24439 HAS SOUPS 24439 WITH SCORE 24465.909
AT ITER 178 NEW BEST:: SOT 42302 SOS 26847 HAS SOPS 26847 HAS SOUS 24377 HAS SOUPS 24377 WITH SCORE 24403.847
AT ITER 184 NEW BEST:: SOT 42260 SOS 26710 HAS SOPS 26710 HAS SOUS 24200 HAS SOUPS 24200 WITH SCORE 24226.71
AT ITER 186 NEW BEST:: SOT 42176 SOS 26554 HAS SOPS 26554 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24097.554
AT ITER 187 NEW BEST:: SOT 42058 SOS 26199 HAS SOPS 26199 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23860.199
AT ITER 189 NEW BEST:: SOT 42077 SOS 26133 HAS SOPS 26133 HAS SOUS 23768 HAS SOUPS 23768 WITH SCORE 23794.133
AT ITER 190 NEW BEST:: SOT 42131 SOS 26226 HAS SOPS 26226 HAS SOUS 23753 HAS SOUPS 23753 WITH SCORE 23779.226
AT ITER 196 NEW BEST:: SOT 42130 SOS 26225 HAS SOPS 26225 HAS SOUS 23752 HAS SOUPS 23752 WITH SCORE 23778.225
AT ITER 198 NEW BEST:: SOT 42099 SOS 26194 HAS SOPS 26194 HAS SOUS 23721 HAS SOUPS 23721 WITH SCORE 23747.194
AT ITER 203 NEW BEST:: SOT 42094 SOS 26163 HAS SOPS 26163 HAS SOUS 23708 HAS SOUPS 23708 WITH SCORE 23734.163
AT ITER 205 NEW BEST:: SOT 41979 SOS 25861 HAS SOPS 25861 HAS SOUS 23432 HAS SOUPS 23432 WITH SCORE 23457.861
AT ITER 206 NEW BEST:: SOT 41974 SOS 25856 HAS SOPS 25856 HAS SOUS 23427 HAS SOUPS 23427 WITH SCORE 23452.856
AT ITER 207 NEW BEST:: SOT 41967 SOS 25839 HAS SOPS 25839 HAS SOUS 23411 HAS SOUPS 23411 WITH SCORE 23436.839
AT ITER 211 NEW BEST:: SOT 41960 SOS 25832 HAS SOPS 25832 HAS SOUS 23404 HAS SOUPS 23404 WITH SCORE 23429.832
AT ITER 212 NEW BEST:: SOT 41846 SOS 25634 HAS SOPS 25634 HAS SOUS 23279 HAS SOUPS 23279 WITH SCORE 23304.634
AT ITER 219 NEW BEST:: SOT 41788 SOS 25576 HAS SOPS 25576 HAS SOUS 23158 HAS SOUPS 23158 WITH SCORE 23183.576
AT ITER 227 NEW BEST:: SOT 41786 SOS 25574 HAS SOPS 25574 HAS SOUS 23154 HAS SOUPS 23154 WITH SCORE 23179.574
AT ITER 230 NEW BEST:: SOT 41775 SOS 25541 HAS SOPS 25541 HAS SOUS 23134 HAS SOUPS 23134 WITH SCORE 23159.541
AT ITER 232 NEW BEST:: SOT 41630 SOS 25403 HAS SOPS 25403 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23021.403
AT ITER 233 NEW BEST:: SOT 41572 SOS 25105 HAS SOPS 25105 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22823.105
AT ITER 239 NEW BEST:: SOT 41571 SOS 25101 HAS SOPS 25101 HAS SOUS 22795 HAS SOUPS 22795 WITH SCORE 22820.101
AT ITER 241 NEW BEST:: SOT 41534 SOS 25054 HAS SOPS 25054 HAS SOUS 22748 HAS SOUPS 22748 WITH SCORE 22773.054
AT ITER 244 NEW BEST:: SOT 41520 SOS 25029 HAS SOPS 25029 HAS SOUS 22723 HAS SOUPS 22723 WITH SCORE 22748.029
AT ITER 245 NEW BEST:: SOT 41520 SOS 25046 HAS SOPS 25046 HAS SOUS 22678 HAS SOUPS 22678 WITH SCORE 22703.046
AT ITER 247 NEW BEST:: SOT 41448 SOS 24956 HAS SOPS 24956 HAS SOUS 22570 HAS SOUPS 22570 WITH SCORE 22594.956
AT ITER 248 NEW BEST:: SOT 41436 SOS 24944 HAS SOPS 24944 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22580.944
AT ITER 254 NEW BEST:: SOT 41167 SOS 24543 HAS SOPS 24543 HAS SOUS 22089 HAS SOUPS 22089 WITH SCORE 22113.543
AT ITER 273 NEW BEST:: SOT 41045 SOS 24304 HAS SOPS 24304 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21871.304
AT ITER 276 NEW BEST:: SOT 41039 SOS 24298 HAS SOPS 24298 HAS SOUS 21841 HAS SOUPS 21841 WITH SCORE 21865.298
AT ITER 280 NEW BEST:: SOT 40980 SOS 24239 HAS SOPS 24239 HAS SOUS 21782 HAS SOUPS 21782 WITH SCORE 21806.239
AT ITER 281 NEW BEST:: SOT 40979 SOS 24236 HAS SOPS 24236 HAS SOUS 21779 HAS SOUPS 21779 WITH SCORE 21803.236
AT ITER 282 NEW BEST:: SOT 40983 SOS 24227 HAS SOPS 24227 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21794.227
AT ITER 285 NEW BEST:: SOT 40967 SOS 24211 HAS SOPS 24211 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21762.211
AT ITER 289 NEW BEST:: SOT 41001 SOS 24135 HAS SOPS 24135 HAS SOUS 21677 HAS SOUPS 21677 WITH SCORE 21701.135
AT ITER 290 NEW BEST:: SOT 40998 SOS 24132 HAS SOPS 24132 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21698.132
AT ITER 293 NEW BEST:: SOT 40968 SOS 24065 HAS SOPS 24065 HAS SOUS 21544 HAS SOUPS 21544 WITH SCORE 21568.065
AT ITER 294 NEW BEST:: SOT 40878 SOS 23927 HAS SOPS 23927 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21390.927
AT ITER 295 NEW BEST:: SOT 40848 SOS 23837 HAS SOPS 23837 HAS SOUS 21232 HAS SOUPS 21232 WITH SCORE 21255.837
AT ITER 299 NEW BEST:: SOT 40828 SOS 23816 HAS SOPS 23816 HAS SOUS 21210 HAS SOUPS 21210 WITH SCORE 21233.816
AT ITER 300 NEW BEST:: SOT 40835 SOS 23832 HAS SOPS 23832 HAS SOUS 21201 HAS SOUPS 21201 WITH SCORE 21224.832
AT ITER 301 NEW BEST:: SOT 40714 SOS 23592 HAS SOPS 23592 HAS SOUS 21082 HAS SOUPS 21082 WITH SCORE 21105.592
AT ITER 304 NEW BEST:: SOT 40639 SOS 23469 HAS SOPS 23469 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21030.469
AT ITER 312 NEW BEST:: SOT 40633 SOS 23463 HAS SOPS 23463 HAS SOUS 21001 HAS SOUPS 21001 WITH SCORE 21024.463
AT ITER 320 NEW BEST:: SOT 40625 SOS 23460 HAS SOPS 23460 HAS SOUS 20988 HAS SOUPS 20988 WITH SCORE 21011.46
AT ITER 325 NEW BEST:: SOT 40583 SOS 23395 HAS SOPS 23395 HAS SOUS 20892 HAS SOUPS 20892 WITH SCORE 20915.395
AT ITER 326 NEW BEST:: SOT 40546 SOS 23333 HAS SOPS 23333 HAS SOUS 20862 HAS SOUPS 20862 WITH SCORE 20885.333
AT ITER 327 NEW BEST:: SOT 40458 SOS 23198 HAS SOPS 23198 HAS SOUS 20850 HAS SOUPS 20850 WITH SCORE 20873.198
AT ITER 332 NEW BEST:: SOT 40458 SOS 23198 HAS SOPS 23198 HAS SOUS 20843 HAS SOUPS 20843 WITH SCORE 20866.198
AT ITER 333 NEW BEST:: SOT 40434 SOS 23174 HAS SOPS 23174 HAS SOUS 20819 HAS SOUPS 20819 WITH SCORE 20842.174
AT ITER 335 NEW BEST:: SOT 40402 SOS 23125 HAS SOPS 23125 HAS SOUS 20771 HAS SOUPS 20771 WITH SCORE 20794.125
AT ITER 341 NEW BEST:: SOT 40402 SOS 23130 HAS SOPS 23130 HAS SOUS 20757 HAS SOUPS 20757 WITH SCORE 20780.13
AT ITER 344 NEW BEST:: SOT 40390 SOS 23062 HAS SOPS 23062 HAS SOUS 20733 HAS SOUPS 20733 WITH SCORE 20756.062
AT ITER 345 NEW BEST:: SOT 40371 SOS 23036 HAS SOPS 23036 HAS SOUS 20707 HAS SOUPS 20707 WITH SCORE 20730.036
AT ITER 350 NEW BEST:: SOT 40363 SOS 23026 HAS SOPS 23026 HAS SOUS 20697 HAS SOUPS 20697 WITH SCORE 20720.026
AT ITER 352 NEW BEST:: SOT 40363 SOS 22953 HAS SOPS 22953 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20662.953
AT ITER 357 NEW BEST:: SOT 40316 SOS 22853 HAS SOPS 22853 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20536.853
AT ITER 360 NEW BEST:: SOT 40274 SOS 22772 HAS SOPS 22772 HAS SOUS 20436 HAS SOUPS 20436 WITH SCORE 20458.772
AT ITER 364 NEW BEST:: SOT 40269 SOS 22767 HAS SOPS 22767 HAS SOUS 20431 HAS SOUPS 20431 WITH SCORE 20453.767
AT ITER 373 NEW BEST:: SOT 40269 SOS 22765 HAS SOPS 22765 HAS SOUS 20429 HAS SOUPS 20429 WITH SCORE 20451.765
AT ITER 375 NEW BEST:: SOT 40301 SOS 22797 HAS SOPS 22797 HAS SOUS 20428 HAS SOUPS 20428 WITH SCORE 20450.797
AT ITER 376 NEW BEST:: SOT 40318 SOS 22773 HAS SOPS 22773 HAS SOUS 20408 HAS SOUPS 20408 WITH SCORE 20430.773
AT ITER 390 NEW BEST:: SOT 40315 SOS 22745 HAS SOPS 22745 HAS SOUS 20399 HAS SOUPS 20399 WITH SCORE 20421.745
AT ITER 391 NEW BEST:: SOT 40290 SOS 22710 HAS SOPS 22710 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20413.71
AT ITER 393 NEW BEST:: SOT 40220 SOS 22634 HAS SOPS 22634 HAS SOUS 20330 HAS SOUPS 20330 WITH SCORE 20352.634
AT ITER 399 NEW BEST:: SOT 40249 SOS 22603 HAS SOPS 22603 HAS SOUS 20299 HAS SOUPS 20299 WITH SCORE 20321.603
AT ITER 403 NEW BEST:: SOT 40225 SOS 22579 HAS SOPS 22579 HAS SOUS 20275 HAS SOUPS 20275 WITH SCORE 20297.579
AT ITER 408 NEW BEST:: SOT 40127 SOS 22324 HAS SOPS 22324 HAS SOUS 20106 HAS SOUPS 20106 WITH SCORE 20128.324
AT ITER 415 NEW BEST:: SOT 40116 SOS 22185 HAS SOPS 22185 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20120.185
AT ITER 416 NEW BEST:: SOT 40055 SOS 22071 HAS SOPS 22071 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19976.071
AT ITER 418 NEW BEST:: SOT 40055 SOS 22015 HAS SOPS 22015 HAS SOUS 19833 HAS SOUPS 19833 WITH SCORE 19855.015
AT ITER 419 NEW BEST:: SOT 40055 SOS 22015 HAS SOPS 22015 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19814.015
AT ITER 424 NEW BEST:: SOT 40013 SOS 21929 HAS SOPS 21929 HAS SOUS 19665 HAS SOUPS 19665 WITH SCORE 19686.929
AT ITER 426 NEW BEST:: SOT 40002 SOS 21852 HAS SOPS 21852 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19605.852
AT ITER 444 NEW BEST:: SOT 39915 SOS 21736 HAS SOPS 21736 HAS SOUS 19468 HAS SOUPS 19468 WITH SCORE 19489.736
AT ITER 446 NEW BEST:: SOT 39915 SOS 21843 HAS SOPS 21843 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19433.843
AT ITER 453 NEW BEST:: SOT 39891 SOS 21767 HAS SOPS 21767 HAS SOUS 19380 HAS SOUPS 19380 WITH SCORE 19401.767
AT ITER 454 NEW BEST:: SOT 39889 SOS 21764 HAS SOPS 21764 HAS SOUS 19379 HAS SOUPS 19379 WITH SCORE 19400.764
AT ITER 458 NEW BEST:: SOT 39889 SOS 21818 HAS SOPS 21818 HAS SOUS 19376 HAS SOUPS 19376 WITH SCORE 19397.818
AT ITER 463 NEW BEST:: SOT 39889 SOS 21710 HAS SOPS 21710 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19396.71
AT ITER 464 NEW BEST:: SOT 39889 SOS 21686 HAS SOPS 21686 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19396.686
AT ITER 469 NEW BEST:: SOT 39876 SOS 21619 HAS SOPS 21619 HAS SOUS 19353 HAS SOUPS 19353 WITH SCORE 19374.619
AT ITER 476 NEW BEST:: SOT 39854 SOS 21529 HAS SOPS 21529 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19315.529
AT ITER 484 NEW BEST:: SOT 39798 SOS 21433 HAS SOPS 21433 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19239.433
AT ITER 490 NEW BEST:: SOT 39798 SOS 21433 HAS SOPS 21433 HAS SOUS 19217 HAS SOUPS 19217 WITH SCORE 19238.433
AT ITER 505 NEW BEST:: SOT 39739 SOS 21278 HAS SOPS 21278 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19161.278
AT ITER 506 NEW BEST:: SOT 39728 SOS 21261 HAS SOPS 21261 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19116.261
AT ITER 513 NEW BEST:: SOT 39693 SOS 21174 HAS SOPS 21174 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19022.174
AT ITER 516 NEW BEST:: SOT 39638 SOS 20985 HAS SOPS 20985 HAS SOUS 18837 HAS SOUPS 18837 WITH SCORE 18857.985
AT ITER 519 NEW BEST:: SOT 39638 SOS 20985 HAS SOPS 20985 HAS SOUS 18788 HAS SOUPS 18788 WITH SCORE 18808.985
AT ITER 520 NEW BEST:: SOT 39560 SOS 20881 HAS SOPS 20881 HAS SOUS 18684 HAS SOUPS 18684 WITH SCORE 18704.881
AT ITER 522 NEW BEST:: SOT 39577 SOS 20981 HAS SOPS 20981 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18686.981
AT ITER 523 NEW BEST:: SOT 39577 SOS 20906 HAS SOPS 20906 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18646.906
AT ITER 524 NEW BEST:: SOT 39572 SOS 20862 HAS SOPS 20862 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18622.862
AT ITER 531 NEW BEST:: SOT 39572 SOS 20833 HAS SOPS 20833 HAS SOUS 18591 HAS SOUPS 18591 WITH SCORE 18611.833
AT ITER 532 NEW BEST:: SOT 39546 SOS 20722 HAS SOPS 20722 HAS SOUS 18488 HAS SOUPS 18488 WITH SCORE 18508.722
AT ITER 550 NEW BEST:: SOT 39494 SOS 20649 HAS SOPS 20649 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18435.649
AT ITER 561 NEW BEST:: SOT 39402 SOS 20491 HAS SOPS 20491 HAS SOUS 18280 HAS SOUPS 18280 WITH SCORE 18300.491
AT ITER 573 NEW BEST:: SOT 39374 SOS 20463 HAS SOPS 20463 HAS SOUS 18252 HAS SOUPS 18252 WITH SCORE 18272.463
AT ITER 577 NEW BEST:: SOT 39359 SOS 20412 HAS SOPS 20412 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18209.412
AT ITER 583 NEW BEST:: SOT 39217 SOS 20213 HAS SOPS 20213 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18111.213
AT ITER 599 NEW BEST:: SOT 39097 SOS 20053 HAS SOPS 20053 HAS SOUS 17937 HAS SOUPS 17937 WITH SCORE 17957.053
AT ITER 608 NEW BEST:: SOT 39023 SOS 19989 HAS SOPS 19989 HAS SOUS 17871 HAS SOUPS 17871 WITH SCORE 17890.989
AT ITER 619 NEW BEST:: SOT 39211 SOS 19902 HAS SOPS 19902 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17867.902
AT ITER 627 NEW BEST:: SOT 39208 SOS 19899 HAS SOPS 19899 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17864.899
AT ITER 649 NEW BEST:: SOT 39176 SOS 19846 HAS SOPS 19846 HAS SOUS 17762 HAS SOUPS 17762 WITH SCORE 17781.846
AT ITER 651 NEW BEST:: SOT 39152 SOS 19814 HAS SOPS 19814 HAS SOUS 17722 HAS SOUPS 17722 WITH SCORE 17741.814
AT ITER 658 NEW BEST:: SOT 39143 SOS 19805 HAS SOPS 19805 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17732.805
AT ITER 661 NEW BEST:: SOT 39142 SOS 19804 HAS SOPS 19804 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17732.804
AT ITER 665 NEW BEST:: SOT 39099 SOS 19761 HAS SOPS 19761 HAS SOUS 17670 HAS SOUPS 17670 WITH SCORE 17689.761
AT ITER 667 NEW BEST:: SOT 39096 SOS 19758 HAS SOPS 19758 HAS SOUS 17667 HAS SOUPS 17667 WITH SCORE 17686.758
AT ITER 672 NEW BEST:: SOT 39052 SOS 19687 HAS SOPS 19687 HAS SOUS 17596 HAS SOUPS 17596 WITH SCORE 17615.687
AT ITER 678 NEW BEST:: SOT 39019 SOS 19633 HAS SOPS 19633 HAS SOUS 17552 HAS SOUPS 17552 WITH SCORE 17571.633
AT ITER 684 NEW BEST:: SOT 39016 SOS 19597 HAS SOPS 19597 HAS SOUS 17494 HAS SOUPS 17494 WITH SCORE 17513.597
AT ITER 685 NEW BEST:: SOT 38940 SOS 19521 HAS SOPS 19521 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17437.521
AT ITER 689 NEW BEST:: SOT 38918 SOS 19447 HAS SOPS 19447 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17371.447
AT ITER 696 NEW BEST:: SOT 38908 SOS 19407 HAS SOPS 19407 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17360.407
AT ITER 697 NEW BEST:: SOT 38908 SOS 19407 HAS SOPS 19407 HAS SOUS 17305 HAS SOUPS 17305 WITH SCORE 17324.407
AT ITER 698 NEW BEST:: SOT 38899 SOS 19373 HAS SOPS 19373 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17303.373
AT ITER 703 NEW BEST:: SOT 38888 SOS 19358 HAS SOPS 19358 HAS SOUS 17273 HAS SOUPS 17273 WITH SCORE 17292.358
AT ITER 704 NEW BEST:: SOT 38888 SOS 19314 HAS SOPS 19314 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17231.314
AT ITER 710 NEW BEST:: SOT 38864 SOS 19290 HAS SOPS 19290 HAS SOUS 17156 HAS SOUPS 17156 WITH SCORE 17175.29
AT ITER 720 NEW BEST:: SOT 38860 SOS 19284 HAS SOPS 19284 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17169.284
AT ITER 739 NEW BEST:: SOT 38826 SOS 19310 HAS SOPS 19310 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17129.31
AT ITER 745 NEW BEST:: SOT 38826 SOS 19267 HAS SOPS 19267 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17087.267
AT ITER 746 NEW BEST:: SOT 38765 SOS 19206 HAS SOPS 19206 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17026.206
AT ITER 752 NEW BEST:: SOT 38753 SOS 19180 HAS SOPS 19180 HAS SOUS 16988 HAS SOUPS 16988 WITH SCORE 17007.18
AT ITER 766 NEW BEST:: SOT 38641 SOS 18994 HAS SOPS 18994 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16803.994
AT ITER 773 NEW BEST:: SOT 38638 SOS 18985 HAS SOPS 18985 HAS SOUS 16770 HAS SOUPS 16770 WITH SCORE 16788.985
AT ITER 793 NEW BEST:: SOT 38577 SOS 18864 HAS SOPS 18864 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16680.864
AT ITER 799 NEW BEST:: SOT 38577 SOS 18864 HAS SOPS 18864 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16678.864
AT ITER 804 NEW BEST:: SOT 38571 SOS 18856 HAS SOPS 18856 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16670.856
AT ITER 807 NEW BEST:: SOT 38457 SOS 18605 HAS SOPS 18605 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16541.605
AT ITER 814 NEW BEST:: SOT 38403 SOS 18555 HAS SOPS 18555 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16491.555
AT ITER 821 NEW BEST:: SOT 38426 SOS 18524 HAS SOPS 18524 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16475.524
AT ITER 822 NEW BEST:: SOT 38324 SOS 18354 HAS SOPS 18354 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16305.354
AT ITER 824 NEW BEST:: SOT 38317 SOS 18347 HAS SOPS 18347 HAS SOUS 16283 HAS SOUPS 16283 WITH SCORE 16301.347
AT ITER 836 NEW BEST:: SOT 38299 SOS 18323 HAS SOPS 18323 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16277.323
AT ITER 838 NEW BEST:: SOT 38233 SOS 18144 HAS SOPS 18144 HAS SOUS 16061 HAS SOUPS 16061 WITH SCORE 16079.144
AT ITER 846 NEW BEST:: SOT 38233 SOS 18155 HAS SOPS 18155 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16064.155
AT ITER 858 NEW BEST:: SOT 38229 SOS 18135 HAS SOPS 18135 HAS SOUS 16034 HAS SOUPS 16034 WITH SCORE 16052.135
AT ITER 864 NEW BEST:: SOT 38216 SOS 18108 HAS SOPS 18108 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16019.108
AT ITER 865 NEW BEST:: SOT 38132 SOS 17930 HAS SOPS 17930 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15881.93
AT ITER 870 NEW BEST:: SOT 38098 SOS 17862 HAS SOPS 17862 HAS SOUS 15788 HAS SOUPS 15788 WITH SCORE 15805.862
AT ITER 872 NEW BEST:: SOT 38092 SOS 17905 HAS SOPS 17905 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15767.905
AT ITER 875 NEW BEST:: SOT 38086 SOS 17895 HAS SOPS 17895 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15759.895
AT ITER 884 NEW BEST:: SOT 38081 SOS 17882 HAS SOPS 17882 HAS SOUS 15729 HAS SOUPS 15729 WITH SCORE 15746.882
AT ITER 887 NEW BEST:: SOT 38059 SOS 17826 HAS SOPS 17826 HAS SOUS 15719 HAS SOUPS 15719 WITH SCORE 15736.826
AT ITER 889 NEW BEST:: SOT 38051 SOS 17794 HAS SOPS 17794 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15704.794
AT ITER 895 NEW BEST:: SOT 38048 SOS 17782 HAS SOPS 17782 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15695.782
AT ITER 898 NEW BEST:: SOT 37988 SOS 17699 HAS SOPS 17699 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15609.699
AT ITER 907 NEW BEST:: SOT 37922 SOS 17558 HAS SOPS 17558 HAS SOUS 15470 HAS SOUPS 15470 WITH SCORE 15487.558
AT ITER 921 NEW BEST:: SOT 37922 SOS 17546 HAS SOPS 17546 HAS SOUS 15470 HAS SOUPS 15470 WITH SCORE 15487.546
AT ITER 941 NEW BEST:: SOT 37900 SOS 17524 HAS SOPS 17524 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15465.524
AT ITER 951 NEW BEST:: SOT 37870 SOS 17484 HAS SOPS 17484 HAS SOUS 15408 HAS SOUPS 15408 WITH SCORE 15425.484
AT ITER 957 NEW BEST:: SOT 37861 SOS 17333 HAS SOPS 17333 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15356.333
AT ITER 965 NEW BEST:: SOT 37860 SOS 17332 HAS SOPS 17332 HAS SOUS 15338 HAS SOUPS 15338 WITH SCORE 15355.332
AT ITER 966 NEW BEST:: SOT 37788 SOS 17205 HAS SOPS 17205 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15287.205
AT ITER 968 NEW BEST:: SOT 37775 SOS 17173 HAS SOPS 17173 HAS SOUS 15257 HAS SOUPS 15257 WITH SCORE 15274.173
AT ITER 973 NEW BEST:: SOT 37756 SOS 17137 HAS SOPS 17137 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15242.137
AT ITER 977 NEW BEST:: SOT 37747 SOS 17101 HAS SOPS 17101 HAS SOUS 15198 HAS SOUPS 15198 WITH SCORE 15215.101
AT ITER 1005 NEW BEST:: SOT 37723 SOS 17037 HAS SOPS 17037 HAS SOUS 15157 HAS SOUPS 15157 WITH SCORE 15174.037
AT ITER 1006 NEW BEST:: SOT 37665 SOS 16742 HAS SOPS 16742 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15004.742
AT ITER 1009 NEW BEST:: SOT 37710 SOS 16638 HAS SOPS 16638 HAS SOUS 14941 HAS SOUPS 14941 WITH SCORE 14957.638
AT ITER 1015 NEW BEST:: SOT 37710 SOS 16546 HAS SOPS 16546 HAS SOUS 14930 HAS SOUPS 14930 WITH SCORE 14946.546
AT ITER 1025 NEW BEST:: SOT 37682 SOS 16466 HAS SOPS 16466 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14879.466
AT ITER 1026 NEW BEST:: SOT 37623 SOS 16386 HAS SOPS 16386 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14799.386
AT ITER 1033 NEW BEST:: SOT 37613 SOS 16376 HAS SOPS 16376 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14784.376
AT ITER 1037 NEW BEST:: SOT 37600 SOS 16363 HAS SOPS 16363 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14771.363
AT ITER 1040 NEW BEST:: SOT 37598 SOS 16355 HAS SOPS 16355 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14765.355
AT ITER 1057 NEW BEST:: SOT 37598 SOS 16319 HAS SOPS 16319 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14765.319
AT ITER 1060 NEW BEST:: SOT 37598 SOS 16309 HAS SOPS 16309 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14760.309
AT ITER 1075 NEW BEST:: SOT 37551 SOS 16210 HAS SOPS 16210 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14713.21
AT ITER 1078 NEW BEST:: SOT 37524 SOS 16174 HAS SOPS 16174 HAS SOUS 14661 HAS SOUPS 14661 WITH SCORE 14677.174
AT ITER 1081 NEW BEST:: SOT 37524 SOS 16185 HAS SOPS 16185 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14668.185
AT ITER 1099 NEW BEST:: SOT 37435 SOS 16047 HAS SOPS 16047 HAS SOUS 14495 HAS SOUPS 14495 WITH SCORE 14511.047
AT ITER 1103 NEW BEST:: SOT 37435 SOS 16133 HAS SOPS 16133 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14482.133
AT ITER 1108 NEW BEST:: SOT 37409 SOS 16056 HAS SOPS 16056 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14442.056
AT ITER 1115 NEW BEST:: SOT 37409 SOS 16056 HAS SOPS 16056 HAS SOUS 14416 HAS SOUPS 14416 WITH SCORE 14432.056
AT ITER 1120 NEW BEST:: SOT 37409 SOS 16023 HAS SOPS 16023 HAS SOUS 14398 HAS SOUPS 14398 WITH SCORE 14414.023
AT ITER 1129 NEW BEST:: SOT 37409 SOS 16019 HAS SOPS 16019 HAS SOUS 14398 HAS SOUPS 14398 WITH SCORE 14414.019
AT ITER 1133 NEW BEST:: SOT 37401 SOS 16003 HAS SOPS 16003 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14398.003
AT ITER 1134 NEW BEST:: SOT 37386 SOS 15970 HAS SOPS 15970 HAS SOUS 14344 HAS SOUPS 14344 WITH SCORE 14359.97
AT ITER 1144 NEW BEST:: SOT 37375 SOS 15948 HAS SOPS 15948 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14326.948
AT ITER 1146 NEW BEST:: SOT 37366 SOS 15930 HAS SOPS 15930 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14308.93
AT ITER 1147 NEW BEST:: SOT 37336 SOS 15880 HAS SOPS 15880 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14268.88
AT ITER 1170 NEW BEST:: SOT 37335 SOS 15877 HAS SOPS 15877 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14264.877
AT ITER 1178 NEW BEST:: SOT 37313 SOS 15850 HAS SOPS 15850 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14237.85
AT ITER 1190 NEW BEST:: SOT 37303 SOS 15826 HAS SOPS 15826 HAS SOUS 14212 HAS SOUPS 14212 WITH SCORE 14227.826
AT ITER 1196 NEW BEST:: SOT 37304 SOS 15830 HAS SOPS 15830 HAS SOUS 14184 HAS SOUPS 14184 WITH SCORE 14199.83
AT ITER 1205 NEW BEST:: SOT 37293 SOS 15799 HAS SOPS 15799 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14160.799
AT ITER 1223 NEW BEST:: SOT 37293 SOS 15741 HAS SOPS 15741 HAS SOUS 14145 HAS SOUPS 14145 WITH SCORE 14160.741
AT ITER 1224 NEW BEST:: SOT 37266 SOS 15705 HAS SOPS 15705 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14124.705
AT ITER 1225 NEW BEST:: SOT 37173 SOS 15597 HAS SOPS 15597 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13982.597
AT ITER 1229 NEW BEST:: SOT 37172 SOS 15594 HAS SOPS 15594 HAS SOUS 13965 HAS SOUPS 13965 WITH SCORE 13980.594
AT ITER 1244 NEW BEST:: SOT 37170 SOS 15592 HAS SOPS 15592 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13978.592
AT ITER 1246 NEW BEST:: SOT 37168 SOS 15590 HAS SOPS 15590 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13976.59
AT ITER 1257 NEW BEST:: SOT 37148 SOS 15560 HAS SOPS 15560 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13951.56
AT ITER 1262 NEW BEST:: SOT 37139 SOS 15548 HAS SOPS 15548 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13939.548
AT ITER 1268 NEW BEST:: SOT 37109 SOS 15503 HAS SOPS 15503 HAS SOUS 13879 HAS SOUPS 13879 WITH SCORE 13894.503
AT ITER 1289 NEW BEST:: SOT 37101 SOS 15587 HAS SOPS 15587 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13849.587
AT ITER 1296 NEW BEST:: SOT 37134 SOS 15560 HAS SOPS 15560 HAS SOUS 13827 HAS SOUPS 13827 WITH SCORE 13842.56
AT ITER 1303 NEW BEST:: SOT 37134 SOS 15525 HAS SOPS 15525 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13828.525
AT ITER 1311 NEW BEST:: SOT 37140 SOS 15539 HAS SOPS 15539 HAS SOUS 13800 HAS SOUPS 13800 WITH SCORE 13815.539
AT ITER 1328 NEW BEST:: SOT 37136 SOS 15444 HAS SOPS 15444 HAS SOUS 13763 HAS SOUPS 13763 WITH SCORE 13778.444
AT ITER 1342 NEW BEST:: SOT 37135 SOS 15440 HAS SOPS 15440 HAS SOUS 13760 HAS SOUPS 13760 WITH SCORE 13775.44
AT ITER 1355 NEW BEST:: SOT 37117 SOS 15363 HAS SOPS 15363 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13723.363
AT ITER 1360 NEW BEST:: SOT 37084 SOS 15316 HAS SOPS 15316 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13676.316
AT ITER 1361 NEW BEST:: SOT 37031 SOS 15263 HAS SOPS 15263 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13602.263
AT ITER 1383 NEW BEST:: SOT 37015 SOS 15141 HAS SOPS 15141 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13544.141
AT ITER 1386 NEW BEST:: SOT 37015 SOS 15130 HAS SOPS 15130 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13544.13
AT ITER 1400 NEW BEST:: SOT 37014 SOS 15126 HAS SOPS 15126 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13542.126
AT ITER 1415 NEW BEST:: SOT 37009 SOS 15114 HAS SOPS 15114 HAS SOUS 13515 HAS SOUPS 13515 WITH SCORE 13530.114
AT ITER 1442 NEW BEST:: SOT 37001 SOS 15106 HAS SOPS 15106 HAS SOUS 13507 HAS SOUPS 13507 WITH SCORE 13522.106
AT ITER 1459 NEW BEST:: SOT 36992 SOS 15070 HAS SOPS 15070 HAS SOUS 13487 HAS SOUPS 13487 WITH SCORE 13502.07
AT ITER 1463 NEW BEST:: SOT 36993 SOS 15086 HAS SOPS 15086 HAS SOUS 13480 HAS SOUPS 13480 WITH SCORE 13495.086
AT ITER 1466 NEW BEST:: SOT 36973 SOS 15118 HAS SOPS 15118 HAS SOUS 13464 HAS SOUPS 13464 WITH SCORE 13479.118
AT ITER 1470 NEW BEST:: SOT 36973 SOS 15069 HAS SOPS 15069 HAS SOUS 13434 HAS SOUPS 13434 WITH SCORE 13449.069
AT ITER 1481 NEW BEST:: SOT 36959 SOS 15001 HAS SOPS 15001 HAS SOUS 13384 HAS SOUPS 13384 WITH SCORE 13399.001
AT ITER 1502 NEW BEST:: SOT 36948 SOS 14988 HAS SOPS 14988 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13380.988
AT ITER 1507 NEW BEST:: SOT 36956 SOS 14923 HAS SOPS 14923 HAS SOUS 13364 HAS SOUPS 13364 WITH SCORE 13378.923
AT ITER 1523 NEW BEST:: SOT 36955 SOS 14918 HAS SOPS 14918 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13375.918
AT ITER 1530 NEW BEST:: SOT 36937 SOS 14882 HAS SOPS 14882 HAS SOUS 13334 HAS SOUPS 13334 WITH SCORE 13348.882
AT ITER 1551 NEW BEST:: SOT 36939 SOS 14884 HAS SOPS 14884 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13313.884
AT ITER 1554 NEW BEST:: SOT 36934 SOS 14879 HAS SOPS 14879 HAS SOUS 13294 HAS SOUPS 13294 WITH SCORE 13308.879
AT ITER 1588 NEW BEST:: SOT 36927 SOS 14864 HAS SOPS 14864 HAS SOUS 13278 HAS SOUPS 13278 WITH SCORE 13292.864
AT ITER 1601 NEW BEST:: SOT 36907 SOS 14842 HAS SOPS 14842 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13282.842
AT ITER 1604 NEW BEST:: SOT 36851 SOS 14786 HAS SOPS 14786 HAS SOUS 13212 HAS SOUPS 13212 WITH SCORE 13226.786
AT ITER 1605 NEW BEST:: SOT 36812 SOS 14734 HAS SOPS 14734 HAS SOUS 13160 HAS SOUPS 13160 WITH SCORE 13174.734
AT ITER 1612 NEW BEST:: SOT 36802 SOS 14726 HAS SOPS 14726 HAS SOUS 13154 HAS SOUPS 13154 WITH SCORE 13168.726
AT ITER 1613 NEW BEST:: SOT 36792 SOS 14701 HAS SOPS 14701 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13143.701
AT ITER 1625 NEW BEST:: SOT 36782 SOS 14616 HAS SOPS 14616 HAS SOUS 13101 HAS SOUPS 13101 WITH SCORE 13115.616
AT ITER 1653 NEW BEST:: SOT 36714 SOS 14437 HAS SOPS 14437 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13040.437
AT ITER 1657 NEW BEST:: SOT 36546 SOS 14272 HAS SOPS 14272 HAS SOUS 12861 HAS SOUPS 12861 WITH SCORE 12875.272
AT ITER 1658 NEW BEST:: SOT 36510 SOS 14264 HAS SOPS 14264 HAS SOUS 12851 HAS SOUPS 12851 WITH SCORE 12865.264
AT ITER 1665 NEW BEST:: SOT 36519 SOS 14267 HAS SOPS 14267 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12847.267
AT ITER 1671 NEW BEST:: SOT 36423 SOS 14133 HAS SOPS 14133 HAS SOUS 12737 HAS SOUPS 12737 WITH SCORE 12751.133
AT ITER 1695 NEW BEST:: SOT 36383 SOS 14067 HAS SOPS 14067 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12716.067
AT ITER 1708 NEW BEST:: SOT 36384 SOS 14029 HAS SOPS 14029 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12667.029
AT ITER 1737 NEW BEST:: SOT 36388 SOS 14033 HAS SOPS 14033 HAS SOUS 12650 HAS SOUPS 12650 WITH SCORE 12664.033
AT ITER 1745 NEW BEST:: SOT 36382 SOS 14027 HAS SOPS 14027 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12658.027
AT ITER 1756 NEW BEST:: SOT 36379 SOS 14018 HAS SOPS 14018 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12652.018
AT ITER 1759 NEW BEST:: SOT 36456 SOS 14095 HAS SOPS 14095 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12628.095
AT ITER 1763 NEW BEST:: SOT 36454 SOS 14089 HAS SOPS 14089 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12620.089
AT ITER 1787 NEW BEST:: SOT 36410 SOS 13987 HAS SOPS 13987 HAS SOUS 12516 HAS SOUPS 12516 WITH SCORE 12529.987
AT ITER 1788 NEW BEST:: SOT 36400 SOS 13964 HAS SOPS 13964 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12507.964
AT ITER 1789 NEW BEST:: SOT 36391 SOS 13951 HAS SOPS 13951 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12494.951
AT ITER 1797 NEW BEST:: SOT 36411 SOS 13818 HAS SOPS 13818 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12443.818
AT ITER 1815 NEW BEST:: SOT 36358 SOS 13755 HAS SOPS 13755 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12370.755
AT ITER 1822 NEW BEST:: SOT 36343 SOS 13749 HAS SOPS 13749 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12337.749
AT ITER 1834 NEW BEST:: SOT 36313 SOS 13686 HAS SOPS 13686 HAS SOUS 12282 HAS SOUPS 12282 WITH SCORE 12295.686
AT ITER 1858 NEW BEST:: SOT 36293 SOS 13667 HAS SOPS 13667 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12290.667
AT ITER 1867 NEW BEST:: SOT 36314 SOS 13688 HAS SOPS 13688 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.688
AT ITER 1872 NEW BEST:: SOT 36110 SOS 13457 HAS SOPS 13457 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12052.457
AT ITER 1882 NEW BEST:: SOT 36148 SOS 13445 HAS SOPS 13445 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12040.445
AT ITER 1886 NEW BEST:: SOT 36130 SOS 13421 HAS SOPS 13421 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12016.421
AT ITER 1889 NEW BEST:: SOT 36107 SOS 13398 HAS SOPS 13398 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11993.398
AT ITER 1891 NEW BEST:: SOT 36039 SOS 13271 HAS SOPS 13271 HAS SOUS 11891 HAS SOUPS 11891 WITH SCORE 11904.271
AT ITER 1892 NEW BEST:: SOT 35952 SOS 13082 HAS SOPS 13082 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11728.082
AT ITER 1908 NEW BEST:: SOT 35949 SOS 13079 HAS SOPS 13079 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11721.079
AT ITER 1921 NEW BEST:: SOT 35907 SOS 12995 HAS SOPS 12995 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11673.995
AT ITER 1956 NEW BEST:: SOT 35899 SOS 12964 HAS SOPS 12964 HAS SOUS 11657 HAS SOUPS 11657 WITH SCORE 11669.964
AT ITER 1994 NEW BEST:: SOT 35879 SOS 12924 HAS SOPS 12924 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11631.924
AT ITER 2026 NEW BEST:: SOT 35858 SOS 12909 HAS SOPS 12909 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11616.909
AT ITER 2034 NEW BEST:: SOT 35845 SOS 12857 HAS SOPS 12857 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11590.857
AT ITER 2037 NEW BEST:: SOT 35827 SOS 12819 HAS SOPS 12819 HAS SOUS 11548 HAS SOUPS 11548 WITH SCORE 11560.819
AT ITER 2050 NEW BEST:: SOT 35788 SOS 12761 HAS SOPS 12761 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11521.761
AT ITER 2066 NEW BEST:: SOT 35760 SOS 12709 HAS SOPS 12709 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11493.709
AT ITER 2079 NEW BEST:: SOT 35752 SOS 12685 HAS SOPS 12685 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11480.685
AT ITER 2105 NEW BEST:: SOT 35734 SOS 12667 HAS SOPS 12667 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11462.667
AT ITER 2122 NEW BEST:: SOT 35719 SOS 12645 HAS SOPS 12645 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11440.645
AT ITER 2132 NEW BEST:: SOT 35711 SOS 12621 HAS SOPS 12621 HAS SOUS 11404 HAS SOUPS 11404 WITH SCORE 11416.621
AT ITER 2171 NEW BEST:: SOT 35697 SOS 12609 HAS SOPS 12609 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11404.609
AT ITER 2185 NEW BEST:: SOT 35703 SOS 12615 HAS SOPS 12615 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11398.615
AT ITER 2193 NEW BEST:: SOT 35691 SOS 12585 HAS SOPS 12585 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11374.585
AT ITER 2202 NEW BEST:: SOT 35667 SOS 12545 HAS SOPS 12545 HAS SOUS 11330 HAS SOUPS 11330 WITH SCORE 11342.545
AT ITER 2203 NEW BEST:: SOT 35645 SOS 12523 HAS SOPS 12523 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11309.523
AT ITER 2205 NEW BEST:: SOT 35636 SOS 12502 HAS SOPS 12502 HAS SOUS 11285 HAS SOUPS 11285 WITH SCORE 11297.502
AT ITER 2228 NEW BEST:: SOT 35634 SOS 12492 HAS SOPS 12492 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11293.492
AT ITER 2232 NEW BEST:: SOT 35614 SOS 12442 HAS SOPS 12442 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11251.442
AT ITER 2253 NEW BEST:: SOT 35618 SOS 12441 HAS SOPS 12441 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11251.441
AT ITER 2268 NEW BEST:: SOT 35609 SOS 12429 HAS SOPS 12429 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11239.429
AT ITER 2269 NEW BEST:: SOT 35598 SOS 12430 HAS SOPS 12430 HAS SOUS 11189 HAS SOUPS 11189 WITH SCORE 11201.43
AT ITER 2272 NEW BEST:: SOT 35586 SOS 12392 HAS SOPS 12392 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11168.392
AT ITER 2313 NEW BEST:: SOT 35558 SOS 12350 HAS SOPS 12350 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11138.35
AT ITER 2317 NEW BEST:: SOT 35597 SOS 12305 HAS SOPS 12305 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11093.305
AT ITER 2345 NEW BEST:: SOT 35597 SOS 12285 HAS SOPS 12285 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11093.285
AT ITER 2346 NEW BEST:: SOT 35572 SOS 12188 HAS SOPS 12188 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11033.188
AT ITER 2389 NEW BEST:: SOT 35571 SOS 12186 HAS SOPS 12186 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11031.186
AT ITER 2411 NEW BEST:: SOT 35571 SOS 12186 HAS SOPS 12186 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11028.186
AT ITER 2418 NEW BEST:: SOT 35571 SOS 12182 HAS SOPS 12182 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11028.182
AT ITER 2430 NEW BEST:: SOT 35571 SOS 12182 HAS SOPS 12182 HAS SOUS 11013 HAS SOUPS 11013 WITH SCORE 11025.182
AT ITER 2451 NEW BEST:: SOT 35571 SOS 12179 HAS SOPS 12179 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11020.179
AT ITER 2457 NEW BEST:: SOT 35558 SOS 12166 HAS SOPS 12166 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10987.166
AT ITER 2459 NEW BEST:: SOT 35524 SOS 12030 HAS SOPS 12030 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10919.03
AT ITER 2484 NEW BEST:: SOT 35500 SOS 12006 HAS SOPS 12006 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10895.006
AT ITER 2508 NEW BEST:: SOT 35489 SOS 12025 HAS SOPS 12025 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10877.025
AT ITER 2509 NEW BEST:: SOT 35444 SOS 11968 HAS SOPS 11968 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10845.968
AT ITER 2514 NEW BEST:: SOT 35434 SOS 11932 HAS SOPS 11932 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10835.932
AT ITER 2516 NEW BEST:: SOT 35423 SOS 11924 HAS SOPS 11924 HAS SOUS 10813 HAS SOUPS 10813 WITH SCORE 10824.924
AT ITER 2542 NEW BEST:: SOT 35425 SOS 11924 HAS SOPS 11924 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10802.924
AT ITER 2549 NEW BEST:: SOT 35423 SOS 11920 HAS SOPS 11920 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10799.92
AT ITER 2560 NEW BEST:: SOT 35426 SOS 11890 HAS SOPS 11890 HAS SOUS 10774 HAS SOUPS 10774 WITH SCORE 10785.89
AT ITER 2561 NEW BEST:: SOT 35426 SOS 11878 HAS SOPS 11878 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10779.878
AT ITER 2621 NEW BEST:: SOT 35365 SOS 11838 HAS SOPS 11838 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10699.838
AT ITER 2624 NEW BEST:: SOT 35341 SOS 11880 HAS SOPS 11880 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10690.88
AT ITER 2653 NEW BEST:: SOT 35341 SOS 11855 HAS SOPS 11855 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10690.855
AT ITER 2676 NEW BEST:: SOT 35337 SOS 11851 HAS SOPS 11851 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10690.851
AT ITER 2683 NEW BEST:: SOT 35336 SOS 11850 HAS SOPS 11850 HAS SOUS 10667 HAS SOUPS 10667 WITH SCORE 10678.85
AT ITER 2697 NEW BEST:: SOT 35319 SOS 11815 HAS SOPS 11815 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10644.815
AT ITER 2708 NEW BEST:: SOT 35287 SOS 11773 HAS SOPS 11773 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10587.773
AT ITER 2721 NEW BEST:: SOT 35296 SOS 11794 HAS SOPS 11794 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10584.794
AT ITER 2724 NEW BEST:: SOT 35236 SOS 11732 HAS SOPS 11732 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10563.732
AT ITER 2759 NEW BEST:: SOT 35215 SOS 11703 HAS SOPS 11703 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10549.703
AT ITER 2761 NEW BEST:: SOT 35195 SOS 11676 HAS SOPS 11676 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10522.676
AT ITER 2768 NEW BEST:: SOT 35195 SOS 11672 HAS SOPS 11672 HAS SOUS 10511 HAS SOUPS 10511 WITH SCORE 10522.672
AT ITER 2794 NEW BEST:: SOT 35196 SOS 11669 HAS SOPS 11669 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10518.669
AT ITER 2800 NEW BEST:: SOT 35196 SOS 11666 HAS SOPS 11666 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10518.666
AT ITER 2815 NEW BEST:: SOT 35196 SOS 11658 HAS SOPS 11658 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10510.658
AT ITER 2817 NEW BEST:: SOT 35178 SOS 11640 HAS SOPS 11640 HAS SOUS 10488 HAS SOUPS 10488 WITH SCORE 10499.64
AT ITER 2876 NEW BEST:: SOT 35168 SOS 11621 HAS SOPS 11621 HAS SOUS 10476 HAS SOUPS 10476 WITH SCORE 10487.621
AT ITER 2889 NEW BEST:: SOT 35164 SOS 11617 HAS SOPS 11617 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10475.617
AT ITER 2911 NEW BEST:: SOT 35164 SOS 11587 HAS SOPS 11587 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10460.587
AT ITER 2929 NEW BEST:: SOT 35148 SOS 11555 HAS SOPS 11555 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10421.555
AT ITER 2979 NEW BEST:: SOT 35148 SOS 11553 HAS SOPS 11553 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10419.553
AT ITER 3000 NEW BEST:: SOT 35140 SOS 11531 HAS SOPS 11531 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10409.531
AT ITER 3005 NEW BEST:: SOT 35123 SOS 11494 HAS SOPS 11494 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10408.494
AT ITER 3018 NEW BEST:: SOT 35123 SOS 11477 HAS SOPS 11477 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10353.477
AT ITER 3053 NEW BEST:: SOT 35107 SOS 11460 HAS SOPS 11460 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10338.46
AT ITER 3068 NEW BEST:: SOT 35095 SOS 11442 HAS SOPS 11442 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10317.442
AT ITER 3079 NEW BEST:: SOT 35094 SOS 11455 HAS SOPS 11455 HAS SOUS 10285 HAS SOUPS 10285 WITH SCORE 10296.455
AT ITER 3082 NEW BEST:: SOT 35091 SOS 11448 HAS SOPS 11448 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10292.448
AT ITER 3087 NEW BEST:: SOT 35068 SOS 11384 HAS SOPS 11384 HAS SOUS 10253 HAS SOUPS 10253 WITH SCORE 10264.384
AT ITER 3091 NEW BEST:: SOT 35062 SOS 11353 HAS SOPS 11353 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10252.353
AT ITER 3095 NEW BEST:: SOT 35055 SOS 11345 HAS SOPS 11345 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10245.345
AT ITER 3099 NEW BEST:: SOT 35045 SOS 11320 HAS SOPS 11320 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10212.32
AT ITER 3102 NEW BEST:: SOT 35011 SOS 11310 HAS SOPS 11310 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10205.31
AT ITER 3110 NEW BEST:: SOT 35013 SOS 11338 HAS SOPS 11338 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10183.338
AT ITER 3121 NEW BEST:: SOT 35008 SOS 11344 HAS SOPS 11344 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10170.344
AT ITER 3135 NEW BEST:: SOT 35006 SOS 11314 HAS SOPS 11314 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10164.314
AT ITER 3136 NEW BEST:: SOT 34991 SOS 11315 HAS SOPS 11315 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10157.315
AT ITER 3148 NEW BEST:: SOT 34989 SOS 11311 HAS SOPS 11311 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10153.311
AT ITER 3192 NEW BEST:: SOT 34997 SOS 11287 HAS SOPS 11287 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10133.287
AT ITER 3218 NEW BEST:: SOT 34991 SOS 11275 HAS SOPS 11275 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10127.275
AT ITER 3224 NEW BEST:: SOT 34990 SOS 11273 HAS SOPS 11273 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10126.273
AT ITER 3234 NEW BEST:: SOT 34990 SOS 11273 HAS SOPS 11273 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10123.273
AT ITER 3250 NEW BEST:: SOT 34986 SOS 11269 HAS SOPS 11269 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10095.269
AT ITER 3259 NEW BEST:: SOT 34986 SOS 11262 HAS SOPS 11262 HAS SOUS 10075 HAS SOUPS 10075 WITH SCORE 10086.262
AT ITER 3281 NEW BEST:: SOT 34936 SOS 11212 HAS SOPS 11212 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10050.212
AT ITER 3293 NEW BEST:: SOT 34933 SOS 11208 HAS SOPS 11208 HAS SOUS 10035 HAS SOUPS 10035 WITH SCORE 10046.208
AT ITER 3298 NEW BEST:: SOT 34933 SOS 11211 HAS SOPS 11211 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10043.211
AT ITER 3322 NEW BEST:: SOT 34929 SOS 11207 HAS SOPS 11207 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10039.207
AT ITER 3339 NEW BEST:: SOT 34929 SOS 11078 HAS SOPS 11078 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9994.078
AT ITER 3354 NEW BEST:: SOT 34922 SOS 11061 HAS SOPS 11061 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9979.061
AT ITER 3358 NEW BEST:: SOT 34916 SOS 11051 HAS SOPS 11051 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9969.051
AT ITER 3376 NEW BEST:: SOT 34915 SOS 11050 HAS SOPS 11050 HAS SOUS 9957 HAS SOUPS 9957 WITH SCORE 9968.05
AT ITER 3411 NEW BEST:: SOT 34825 SOS 10858 HAS SOPS 10858 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9805.858
AT ITER 3435 NEW BEST:: SOT 34819 SOS 10816 HAS SOPS 10816 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9781.816
AT ITER 3480 NEW BEST:: SOT 34800 SOS 10759 HAS SOPS 10759 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9743.759
AT ITER 3488 NEW BEST:: SOT 34800 SOS 10774 HAS SOPS 10774 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9717.774
AT ITER 3489 NEW BEST:: SOT 34798 SOS 10768 HAS SOPS 10768 HAS SOUS 9705 HAS SOUPS 9705 WITH SCORE 9715.768
AT ITER 3527 NEW BEST:: SOT 34752 SOS 10701 HAS SOPS 10701 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9655.701
AT ITER 3535 NEW BEST:: SOT 34734 SOS 10673 HAS SOPS 10673 HAS SOUS 9617 HAS SOUPS 9617 WITH SCORE 9627.673
AT ITER 3565 NEW BEST:: SOT 34730 SOS 10670 HAS SOPS 10670 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9624.67
AT ITER 3567 NEW BEST:: SOT 34726 SOS 10657 HAS SOPS 10657 HAS SOUS 9603 HAS SOUPS 9603 WITH SCORE 9613.657
AT ITER 3570 NEW BEST:: SOT 34723 SOS 10635 HAS SOPS 10635 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9590.635
AT ITER 3581 NEW BEST:: SOT 34723 SOS 10629 HAS SOPS 10629 HAS SOUS 9578 HAS SOUPS 9578 WITH SCORE 9588.629
AT ITER 3588 NEW BEST:: SOT 34717 SOS 10619 HAS SOPS 10619 HAS SOUS 9567 HAS SOUPS 9567 WITH SCORE 9577.619
AT ITER 3589 NEW BEST:: SOT 34716 SOS 10619 HAS SOPS 10619 HAS SOUS 9566 HAS SOUPS 9566 WITH SCORE 9576.619
AT ITER 3602 NEW BEST:: SOT 34712 SOS 10610 HAS SOPS 10610 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9567.61
AT ITER 3682 NEW BEST:: SOT 34724 SOS 10615 HAS SOPS 10615 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9548.615
AT ITER 3693 NEW BEST:: SOT 34721 SOS 10610 HAS SOPS 10610 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9545.61
AT ITER 3706 NEW BEST:: SOT 34719 SOS 10617 HAS SOPS 10617 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9539.617
AT ITER 3715 NEW BEST:: SOT 34701 SOS 10574 HAS SOPS 10574 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9524.574
AT ITER 3717 NEW BEST:: SOT 34692 SOS 10562 HAS SOPS 10562 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9512.562
AT ITER 3727 NEW BEST:: SOT 34691 SOS 10559 HAS SOPS 10559 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9510.559
AT ITER 3731 NEW BEST:: SOT 34685 SOS 10527 HAS SOPS 10527 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9480.527
AT ITER 3755 NEW BEST:: SOT 34679 SOS 10503 HAS SOPS 10503 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9462.503
AT ITER 3831 NEW BEST:: SOT 34678 SOS 10501 HAS SOPS 10501 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9459.501
AT ITER 3852 NEW BEST:: SOT 34669 SOS 10489 HAS SOPS 10489 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9447.489
AT ITER 3861 NEW BEST:: SOT 34661 SOS 10461 HAS SOPS 10461 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9427.461
AT ITER 3885 NEW BEST:: SOT 34657 SOS 10457 HAS SOPS 10457 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9415.457
AT ITER 3931 NEW BEST:: SOT 34657 SOS 10445 HAS SOPS 10445 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9409.445
AT ITER 3936 NEW BEST:: SOT 34653 SOS 10441 HAS SOPS 10441 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9409.441
AT ITER 3940 NEW BEST:: SOT 34627 SOS 10425 HAS SOPS 10425 HAS SOUS 9386 HAS SOUPS 9386 WITH SCORE 9396.425
AT ITER 3972 NEW BEST:: SOT 34627 SOS 10425 HAS SOPS 10425 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9394.425
AT ITER 3981 NEW BEST:: SOT 34620 SOS 10404 HAS SOPS 10404 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9380.404
AT ITER 4031 NEW BEST:: SOT 34624 SOS 10396 HAS SOPS 10396 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9378.396
AT ITER 4064 NEW BEST:: SOT 34630 SOS 10393 HAS SOPS 10393 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9366.393
AT ITER 4148 NEW BEST:: SOT 34596 SOS 10346 HAS SOPS 10346 HAS SOUS 9309 HAS SOUPS 9309 WITH SCORE 9319.346
AT ITER 4171 NEW BEST:: SOT 34580 SOS 10314 HAS SOPS 10314 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9299.314
AT ITER 4202 NEW BEST:: SOT 34579 SOS 10312 HAS SOPS 10312 HAS SOUS 9285 HAS SOUPS 9285 WITH SCORE 9295.312
AT ITER 4210 NEW BEST:: SOT 34564 SOS 10291 HAS SOPS 10291 HAS SOUS 9264 HAS SOUPS 9264 WITH SCORE 9274.291
AT ITER 4239 NEW BEST:: SOT 34560 SOS 10281 HAS SOPS 10281 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9266.281
AT ITER 4254 NEW BEST:: SOT 34536 SOS 10245 HAS SOPS 10245 HAS SOUS 9221 HAS SOUPS 9221 WITH SCORE 9231.245
AT ITER 4270 NEW BEST:: SOT 34533 SOS 10241 HAS SOPS 10241 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9227.241
AT ITER 4294 NEW BEST:: SOT 34533 SOS 10238 HAS SOPS 10238 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9227.238
AT ITER 4305 NEW BEST:: SOT 34530 SOS 10220 HAS SOPS 10220 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9206.22
AT ITER 4307 NEW BEST:: SOT 34519 SOS 10209 HAS SOPS 10209 HAS SOUS 9185 HAS SOUPS 9185 WITH SCORE 9195.209
AT ITER 4317 NEW BEST:: SOT 34517 SOS 10186 HAS SOPS 10186 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9188.186
AT ITER 4318 NEW BEST:: SOT 34509 SOS 10174 HAS SOPS 10174 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9176.174
AT ITER 4319 NEW BEST:: SOT 34509 SOS 10170 HAS SOPS 10170 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9172.17
AT ITER 4328 NEW BEST:: SOT 34508 SOS 10161 HAS SOPS 10161 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9170.161
AT ITER 4329 NEW BEST:: SOT 34500 SOS 10164 HAS SOPS 10164 HAS SOUS 9146 HAS SOUPS 9146 WITH SCORE 9156.164
AT ITER 4348 NEW BEST:: SOT 34407 SOS 10005 HAS SOPS 10005 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9050.005
AT ITER 4366 NEW BEST:: SOT 34399 SOS 9986 HAS SOPS 9986 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9033.986
AT ITER 4378 NEW BEST:: SOT 34393 SOS 9976 HAS SOPS 9976 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9019.976
AT ITER 4386 NEW BEST:: SOT 34389 SOS 9966 HAS SOPS 9966 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9011.966
AT ITER 4393 NEW BEST:: SOT 34383 SOS 9937 HAS SOPS 9937 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 8999.937
AT ITER 4398 NEW BEST:: SOT 34380 SOS 9930 HAS SOPS 9930 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8993.93
AT ITER 4400 NEW BEST:: SOT 34372 SOS 9888 HAS SOPS 9888 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8967.888
AT ITER 4472 NEW BEST:: SOT 34343 SOS 9859 HAS SOPS 9859 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8967.859
AT ITER 4521 NEW BEST:: SOT 34343 SOS 9846 HAS SOPS 9846 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8966.846
AT ITER 4523 NEW BEST:: SOT 34338 SOS 9832 HAS SOPS 9832 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8962.832
AT ITER 4558 NEW BEST:: SOT 34337 SOS 9828 HAS SOPS 9828 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8960.828
AT ITER 4571 NEW BEST:: SOT 34342 SOS 9827 HAS SOPS 9827 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8959.827
AT ITER 4598 NEW BEST:: SOT 34336 SOS 9817 HAS SOPS 9817 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8949.817
AT ITER 4608 NEW BEST:: SOT 34329 SOS 9820 HAS SOPS 9820 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8942.82
AT ITER 4619 NEW BEST:: SOT 34326 SOS 9816 HAS SOPS 9816 HAS SOUS 8929 HAS SOUPS 8929 WITH SCORE 8938.816
AT ITER 4639 NEW BEST:: SOT 34326 SOS 9816 HAS SOPS 9816 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8937.816
AT ITER 4721 NEW BEST:: SOT 34322 SOS 9812 HAS SOPS 9812 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8937.812
AT ITER 4735 NEW BEST:: SOT 34314 SOS 9804 HAS SOPS 9804 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8928.804
AT ITER 4833 NEW BEST:: SOT 34314 SOS 9801 HAS SOPS 9801 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8925.801
AT ITER 4898 NEW BEST:: SOT 34310 SOS 9787 HAS SOPS 9787 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8923.787
AT ITER 4904 NEW BEST:: SOT 34298 SOS 9775 HAS SOPS 9775 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8913.775
AT ITER 4954 NEW BEST:: SOT 34295 SOS 9769 HAS SOPS 9769 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8910.769
AT ITER 4982 NEW BEST:: SOT 34291 SOS 9765 HAS SOPS 9765 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8886.765
AT ITER 4997 NEW BEST:: SOT 34284 SOS 9744 HAS SOPS 9744 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8879.744
AT ITER 5004 NEW BEST:: SOT 34283 SOS 9741 HAS SOPS 9741 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8877.741
AT ITER 5030 NEW BEST:: SOT 34273 SOS 9729 HAS SOPS 9729 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8874.729
AT ITER 5036 NEW BEST:: SOT 34272 SOS 9726 HAS SOPS 9726 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8860.726
AT ITER 5090 NEW BEST:: SOT 34266 SOS 9714 HAS SOPS 9714 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8847.714
AT ITER 5106 NEW BEST:: SOT 34258 SOS 9698 HAS SOPS 9698 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8831.698
AT ITER 5116 NEW BEST:: SOT 34254 SOS 9683 HAS SOPS 9683 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8822.683
AT ITER 5252 NEW BEST:: SOT 34254 SOS 9683 HAS SOPS 9683 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8819.683
AT ITER 5277 NEW BEST:: SOT 34256 SOS 9673 HAS SOPS 9673 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8811.673
AT ITER 5286 NEW BEST:: SOT 34255 SOS 9672 HAS SOPS 9672 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8810.672
AT ITER 5287 NEW BEST:: SOT 34258 SOS 9669 HAS SOPS 9669 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8808.669
AT ITER 5326 NEW BEST:: SOT 34252 SOS 9657 HAS SOPS 9657 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8802.657
AT ITER 5350 NEW BEST:: SOT 34248 SOS 9651 HAS SOPS 9651 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8796.651
AT ITER 5351 NEW BEST:: SOT 34247 SOS 9645 HAS SOPS 9645 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8794.645
AT ITER 5352 NEW BEST:: SOT 34245 SOS 9642 HAS SOPS 9642 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8791.642
AT ITER 5430 NEW BEST:: SOT 34243 SOS 9636 HAS SOPS 9636 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8787.636
AT ITER 5486 NEW BEST:: SOT 34227 SOS 9630 HAS SOPS 9630 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8781.63
AT ITER 5573 NEW BEST:: SOT 34197 SOS 9554 HAS SOPS 9554 HAS SOUS 8729 HAS SOUPS 8729 WITH SCORE 8738.554
AT ITER 5578 NEW BEST:: SOT 34192 SOS 9532 HAS SOPS 9532 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8726.532
AT ITER 5634 NEW BEST:: SOT 34175 SOS 9481 HAS SOPS 9481 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8709.481
AT ITER 5694 NEW BEST:: SOT 34161 SOS 9459 HAS SOPS 9459 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8688.459
AT ITER 5741 NEW BEST:: SOT 34161 SOS 9459 HAS SOPS 9459 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8687.459
AT ITER 5745 NEW BEST:: SOT 34149 SOS 9415 HAS SOPS 9415 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8663.415
AT ITER 5768 NEW BEST:: SOT 34139 SOS 9405 HAS SOPS 9405 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.405
AT ITER 5771 NEW BEST:: SOT 34143 SOS 9409 HAS SOPS 9409 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8628.409
AT ITER 5845 NEW BEST:: SOT 34137 SOS 9404 HAS SOPS 9404 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8617.404
AT ITER 5882 NEW BEST:: SOT 34136 SOS 9403 HAS SOPS 9403 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8616.403
AT ITER 5895 NEW BEST:: SOT 34123 SOS 9390 HAS SOPS 9390 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8605.39
AT ITER 5898 NEW BEST:: SOT 34117 SOS 9378 HAS SOPS 9378 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8590.378
AT ITER 5899 NEW BEST:: SOT 34131 SOS 9366 HAS SOPS 9366 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8562.366
AT ITER 5950 NEW BEST:: SOT 34145 SOS 9375 HAS SOPS 9375 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8553.375
AT ITER 5957 NEW BEST:: SOT 34141 SOS 9368 HAS SOPS 9368 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8548.368
AT ITER 5959 NEW BEST:: SOT 34151 SOS 9385 HAS SOPS 9385 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8547.385
AT ITER 5975 NEW BEST:: SOT 34151 SOS 9385 HAS SOPS 9385 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8543.385
AT ITER 5988 NEW BEST:: SOT 34124 SOS 9335 HAS SOPS 9335 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8504.335
AT ITER 6015 NEW BEST:: SOT 34118 SOS 9324 HAS SOPS 9324 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8495.324
AT ITER 6017 NEW BEST:: SOT 34113 SOS 9281 HAS SOPS 9281 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8480.281
AT ITER 6124 NEW BEST:: SOT 34110 SOS 9277 HAS SOPS 9277 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8476.277
AT ITER 6148 NEW BEST:: SOT 34103 SOS 9272 HAS SOPS 9272 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8466.272
AT ITER 6154 NEW BEST:: SOT 34099 SOS 9264 HAS SOPS 9264 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8458.264
AT ITER 6232 NEW BEST:: SOT 34087 SOS 9233 HAS SOPS 9233 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8453.233
AT ITER 6242 NEW BEST:: SOT 34081 SOS 9221 HAS SOPS 9221 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8444.221
AT ITER 6246 NEW BEST:: SOT 34080 SOS 9218 HAS SOPS 9218 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8442.218
AT ITER 6249 NEW BEST:: SOT 34080 SOS 9217 HAS SOPS 9217 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8442.217
AT ITER 6277 NEW BEST:: SOT 34080 SOS 9217 HAS SOPS 9217 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8440.217
AT ITER 6300 NEW BEST:: SOT 34077 SOS 9212 HAS SOPS 9212 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.212
AT ITER 6370 NEW BEST:: SOT 34064 SOS 9180 HAS SOPS 9180 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8411.18
AT ITER 6376 NEW BEST:: SOT 34061 SOS 9177 HAS SOPS 9177 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8407.177
AT ITER 6401 NEW BEST:: SOT 34061 SOS 9173 HAS SOPS 9173 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8403.173
AT ITER 6415 NEW BEST:: SOT 34060 SOS 9174 HAS SOPS 9174 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8401.174
AT ITER 6439 NEW BEST:: SOT 34045 SOS 9157 HAS SOPS 9157 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8384.157
AT ITER 6448 NEW BEST:: SOT 34043 SOS 9141 HAS SOPS 9141 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8381.141
AT ITER 6510 NEW BEST:: SOT 34052 SOS 9138 HAS SOPS 9138 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8375.138
AT ITER 6520 NEW BEST:: SOT 34043 SOS 9118 HAS SOPS 9118 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8361.118
AT ITER 6539 NEW BEST:: SOT 34033 SOS 9103 HAS SOPS 9103 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8351.103
AT ITER 6561 NEW BEST:: SOT 34023 SOS 9085 HAS SOPS 9085 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8341.085
AT ITER 6591 NEW BEST:: SOT 34021 SOS 9083 HAS SOPS 9083 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8337.083
AT ITER 6685 NEW BEST:: SOT 34021 SOS 9070 HAS SOPS 9070 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8337.07
AT ITER 6751 NEW BEST:: SOT 34018 SOS 9069 HAS SOPS 9069 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8334.069
AT ITER 6754 NEW BEST:: SOT 34012 SOS 9057 HAS SOPS 9057 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8324.057
AT ITER 6759 NEW BEST:: SOT 34019 SOS 9058 HAS SOPS 9058 HAS SOUS 8309 HAS SOUPS 8309 WITH SCORE 8318.058
AT ITER 6822 NEW BEST:: SOT 34019 SOS 9049 HAS SOPS 9049 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8316.049
AT ITER 6888 NEW BEST:: SOT 34019 SOS 9050 HAS SOPS 9050 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8311.05
AT ITER 6897 NEW BEST:: SOT 34019 SOS 9048 HAS SOPS 9048 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8309.048
AT ITER 6920 NEW BEST:: SOT 34029 SOS 9056 HAS SOPS 9056 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8299.056
AT ITER 6964 NEW BEST:: SOT 34024 SOS 9047 HAS SOPS 9047 HAS SOUS 8280 HAS SOUPS 8280 WITH SCORE 8289.047
AT ITER 7131 NEW BEST:: SOT 34024 SOS 9046 HAS SOPS 9046 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8288.046
AT ITER 7300 NEW BEST:: SOT 34012 SOS 9019 HAS SOPS 9019 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8267.019
AT ITER 7317 NEW BEST:: SOT 34005 SOS 9013 HAS SOPS 9013 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8250.013
AT ITER 7464 NEW BEST:: SOT 33999 SOS 8993 HAS SOPS 8993 HAS SOUS 8229 HAS SOUPS 8229 WITH SCORE 8237.993
AT ITER 7492 NEW BEST:: SOT 33997 SOS 8993 HAS SOPS 8993 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8235.993
AT ITER 7494 NEW BEST:: SOT 33989 SOS 8985 HAS SOPS 8985 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8235.985
AT ITER 7619 NEW BEST:: SOT 33976 SOS 8951 HAS SOPS 8951 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8213.951
AT ITER 7654 NEW BEST:: SOT 33976 SOS 8952 HAS SOPS 8952 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8211.952
AT ITER 7743 NEW BEST:: SOT 33973 SOS 8949 HAS SOPS 8949 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8199.949
AT ITER 7757 NEW BEST:: SOT 33973 SOS 8945 HAS SOPS 8945 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8194.945
AT ITER 7758 NEW BEST:: SOT 33970 SOS 8941 HAS SOPS 8941 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8191.941
AT ITER 7785 NEW BEST:: SOT 33970 SOS 8947 HAS SOPS 8947 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8184.947
AT ITER 7854 NEW BEST:: SOT 33961 SOS 8932 HAS SOPS 8932 HAS SOUS 8163 HAS SOUPS 8163 WITH SCORE 8171.932
AT ITER 7917 NEW BEST:: SOT 33959 SOS 8935 HAS SOPS 8935 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8169.935
AT ITER 7937 NEW BEST:: SOT 33957 SOS 8932 HAS SOPS 8932 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8166.932
AT ITER 7940 NEW BEST:: SOT 33956 SOS 8930 HAS SOPS 8930 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8163.93
AT ITER 7944 NEW BEST:: SOT 33948 SOS 8906 HAS SOPS 8906 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8147.906
AT ITER 8062 NEW BEST:: SOT 33946 SOS 8896 HAS SOPS 8896 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8143.896
AT ITER 8104 NEW BEST:: SOT 33943 SOS 8884 HAS SOPS 8884 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8134.884
AT ITER 8138 NEW BEST:: SOT 33935 SOS 8876 HAS SOPS 8876 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8122.876
AT ITER 8155 NEW BEST:: SOT 33940 SOS 8848 HAS SOPS 8848 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8115.848
AT ITER 8157 NEW BEST:: SOT 33940 SOS 8839 HAS SOPS 8839 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8106.839
AT ITER 8295 NEW BEST:: SOT 33934 SOS 8831 HAS SOPS 8831 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8097.831
AT ITER 8357 NEW BEST:: SOT 33935 SOS 8834 HAS SOPS 8834 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8096.834
AT ITER 8359 NEW BEST:: SOT 33928 SOS 8798 HAS SOPS 8798 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8082.798
AT ITER 8399 NEW BEST:: SOT 33937 SOS 8809 HAS SOPS 8809 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8070.809
AT ITER 8451 NEW BEST:: SOT 33916 SOS 8767 HAS SOPS 8767 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8042.767
AT ITER 8460 NEW BEST:: SOT 33916 SOS 8771 HAS SOPS 8771 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8038.771
AT ITER 8536 NEW BEST:: SOT 33916 SOS 8782 HAS SOPS 8782 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8034.782
AT ITER 8642 NEW BEST:: SOT 33909 SOS 8769 HAS SOPS 8769 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8019.769
AT ITER 8657 NEW BEST:: SOT 33903 SOS 8742 HAS SOPS 8742 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8004.742
AT ITER 8677 NEW BEST:: SOT 33877 SOS 8720 HAS SOPS 8720 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7988.72
AT ITER 9076 NEW BEST:: SOT 33869 SOS 8712 HAS SOPS 8712 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7976.712
AT ITER 9092 NEW BEST:: SOT 33865 SOS 8707 HAS SOPS 8707 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7971.707
AT ITER 9159 NEW BEST:: SOT 33855 SOS 8701 HAS SOPS 8701 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7960.701
AT ITER 9201 NEW BEST:: SOT 33854 SOS 8693 HAS SOPS 8693 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7958.693
AT ITER 9268 NEW BEST:: SOT 33852 SOS 8691 HAS SOPS 8691 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7954.691
AT ITER 9273 NEW BEST:: SOT 33850 SOS 8686 HAS SOPS 8686 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7950.686
AT ITER 9313 NEW BEST:: SOT 33849 SOS 8685 HAS SOPS 8685 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7948.685
AT ITER 9382 NEW BEST:: SOT 33841 SOS 8675 HAS SOPS 8675 HAS SOUS 7929 HAS SOUPS 7929 WITH SCORE 7937.675
AT ITER 9470 NEW BEST:: SOT 33841 SOS 8669 HAS SOPS 8669 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7924.669
AT ITER 9502 NEW BEST:: SOT 33836 SOS 8659 HAS SOPS 8659 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7909.659
AT ITER 9761 NEW BEST:: SOT 33828 SOS 8639 HAS SOPS 8639 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7897.639
AT ITER 9818 NEW BEST:: SOT 33829 SOS 8633 HAS SOPS 8633 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7896.633
AT ITER 9836 NEW BEST:: SOT 33827 SOS 8630 HAS SOPS 8630 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7892.63
AT ITER 9885 NEW BEST:: SOT 33821 SOS 8620 HAS SOPS 8620 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7886.62
AT ITER 9886 NEW BEST:: SOT 33818 SOS 8610 HAS SOPS 8610 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7880.61
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 162600 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16298596 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-030A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ShieldRVt-PT-030A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r427-tajo-167905979500296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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