Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910000272.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RwMutex-PT-r0010w0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910000272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 336K
-rw-r--r-- 1 mcc users 3.7K Apr 12 11:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 11:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 11 12:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 12:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 16:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 16:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 23:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 23:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 172K Mar 24 05:38 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 1589742711933

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0100
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 230 places, 220 transitions, 2460 arcs.
AT ITER 0 NEW BEST:: SOT 50074 SOS 37866 HAS SOPS 37866 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37903.866
AT ITER 2 NEW BEST:: SOT 50074 SOS 37658 HAS SOPS 37658 HAS SOUS 37658 HAS SOUPS 37658 WITH SCORE 37695.658
AT ITER 3 NEW BEST:: SOT 50074 SOS 37634 HAS SOPS 37634 HAS SOUS 37634 HAS SOUPS 37634 WITH SCORE 37671.634
AT ITER 5 NEW BEST:: SOT 50074 SOS 37492 HAS SOPS 37492 HAS SOUS 37492 HAS SOUPS 37492 WITH SCORE 37529.492
AT ITER 10 NEW BEST:: SOT 50074 SOS 37332 HAS SOPS 37332 HAS SOUS 37332 HAS SOUPS 37332 WITH SCORE 37369.332
AT ITER 11 NEW BEST:: SOT 50074 SOS 37202 HAS SOPS 37202 HAS SOUS 37202 HAS SOUPS 37202 WITH SCORE 37239.202
AT ITER 12 NEW BEST:: SOT 50074 SOS 37178 HAS SOPS 37178 HAS SOUS 37178 HAS SOUPS 37178 WITH SCORE 37215.178
AT ITER 14 NEW BEST:: SOT 50074 SOS 37090 HAS SOPS 37090 HAS SOUS 37090 HAS SOUPS 37090 WITH SCORE 37127.09
AT ITER 16 NEW BEST:: SOT 50074 SOS 37066 HAS SOPS 37066 HAS SOUS 37066 HAS SOUPS 37066 WITH SCORE 37103.066
AT ITER 17 NEW BEST:: SOT 50074 SOS 36966 HAS SOPS 36966 HAS SOUS 36966 HAS SOUPS 36966 WITH SCORE 37002.966
AT ITER 21 NEW BEST:: SOT 50074 SOS 36808 HAS SOPS 36808 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36844.808
AT ITER 23 NEW BEST:: SOT 50074 SOS 36636 HAS SOPS 36636 HAS SOUS 36636 HAS SOUPS 36636 WITH SCORE 36672.636
AT ITER 24 NEW BEST:: SOT 50074 SOS 36454 HAS SOPS 36454 HAS SOUS 36454 HAS SOUPS 36454 WITH SCORE 36490.454
AT ITER 25 NEW BEST:: SOT 50074 SOS 36332 HAS SOPS 36332 HAS SOUS 36332 HAS SOUPS 36332 WITH SCORE 36368.332
AT ITER 26 NEW BEST:: SOT 50074 SOS 36282 HAS SOPS 36282 HAS SOUS 36282 HAS SOUPS 36282 WITH SCORE 36318.282
AT ITER 28 NEW BEST:: SOT 50074 SOS 36072 HAS SOPS 36072 HAS SOUS 36072 HAS SOUPS 36072 WITH SCORE 36108.072
AT ITER 29 NEW BEST:: SOT 50074 SOS 35870 HAS SOPS 35870 HAS SOUS 35870 HAS SOUPS 35870 WITH SCORE 35905.87
AT ITER 32 NEW BEST:: SOT 50074 SOS 35846 HAS SOPS 35846 HAS SOUS 35846 HAS SOUPS 35846 WITH SCORE 35881.846
AT ITER 39 NEW BEST:: SOT 50074 SOS 35808 HAS SOPS 35808 HAS SOUS 35808 HAS SOUPS 35808 WITH SCORE 35843.808
AT ITER 42 NEW BEST:: SOT 50074 SOS 35784 HAS SOPS 35784 HAS SOUS 35784 HAS SOUPS 35784 WITH SCORE 35819.784
AT ITER 44 NEW BEST:: SOT 49858 SOS 44374 HAS SOPS 44374 HAS SOUS 35720 HAS SOUPS 35720 WITH SCORE 35764.374
AT ITER 49 NEW BEST:: SOT 49858 SOS 44336 HAS SOPS 44336 HAS SOUS 35482 HAS SOUPS 35482 WITH SCORE 35526.336
AT ITER 51 NEW BEST:: SOT 49838 SOS 44316 HAS SOPS 44316 HAS SOUS 35462 HAS SOUPS 35462 WITH SCORE 35506.316
AT ITER 54 NEW BEST:: SOT 49838 SOS 44314 HAS SOPS 44314 HAS SOUS 35238 HAS SOUPS 35238 WITH SCORE 35282.314
AT ITER 59 NEW BEST:: SOT 49838 SOS 44314 HAS SOPS 44314 HAS SOUS 35100 HAS SOUPS 35100 WITH SCORE 35144.314
AT ITER 60 NEW BEST:: SOT 49852 SOS 44328 HAS SOPS 44328 HAS SOUS 35092 HAS SOUPS 35092 WITH SCORE 35136.328
AT ITER 61 NEW BEST:: SOT 49852 SOS 44328 HAS SOPS 44328 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34942.328
AT ITER 68 NEW BEST:: SOT 49832 SOS 44308 HAS SOPS 44308 HAS SOUS 34878 HAS SOUPS 34878 WITH SCORE 34922.308
AT ITER 71 NEW BEST:: SOT 49832 SOS 44308 HAS SOPS 44308 HAS SOUS 34808 HAS SOUPS 34808 WITH SCORE 34852.308
AT ITER 75 NEW BEST:: SOT 49832 SOS 44308 HAS SOPS 44308 HAS SOUS 34744 HAS SOUPS 34744 WITH SCORE 34788.308
AT ITER 78 NEW BEST:: SOT 49832 SOS 44308 HAS SOPS 44308 HAS SOUS 34720 HAS SOUPS 34720 WITH SCORE 34764.308
AT ITER 80 NEW BEST:: SOT 49832 SOS 44114 HAS SOPS 44114 HAS SOUS 34626 HAS SOUPS 34626 WITH SCORE 34670.114
AT ITER 84 NEW BEST:: SOT 49832 SOS 44114 HAS SOPS 44114 HAS SOUS 34602 HAS SOUPS 34602 WITH SCORE 34646.114
AT ITER 87 NEW BEST:: SOT 49832 SOS 44114 HAS SOPS 44114 HAS SOUS 34590 HAS SOUPS 34590 WITH SCORE 34634.114
AT ITER 90 NEW BEST:: SOT 49832 SOS 44114 HAS SOPS 44114 HAS SOUS 34494 HAS SOUPS 34494 WITH SCORE 34538.114
AT ITER 92 NEW BEST:: SOT 49832 SOS 44114 HAS SOPS 44114 HAS SOUS 34468 HAS SOUPS 34468 WITH SCORE 34512.114
AT ITER 93 NEW BEST:: SOT 49832 SOS 44114 HAS SOPS 44114 HAS SOUS 34390 HAS SOUPS 34390 WITH SCORE 34434.114
AT ITER 94 NEW BEST:: SOT 49832 SOS 44114 HAS SOPS 44114 HAS SOUS 34364 HAS SOUPS 34364 WITH SCORE 34408.114
AT ITER 97 NEW BEST:: SOT 49832 SOS 44076 HAS SOPS 44076 HAS SOUS 34364 HAS SOUPS 34364 WITH SCORE 34408.076
AT ITER 99 NEW BEST:: SOT 49832 SOS 44076 HAS SOPS 44076 HAS SOUS 34342 HAS SOUPS 34342 WITH SCORE 34386.076
AT ITER 100 NEW BEST:: SOT 49832 SOS 44056 HAS SOPS 44056 HAS SOUS 34246 HAS SOUPS 34246 WITH SCORE 34290.056
AT ITER 106 NEW BEST:: SOT 49832 SOS 44056 HAS SOPS 44056 HAS SOUS 34226 HAS SOUPS 34226 WITH SCORE 34270.056
AT ITER 107 NEW BEST:: SOT 49832 SOS 44056 HAS SOPS 44056 HAS SOUS 34076 HAS SOUPS 34076 WITH SCORE 34120.056
AT ITER 112 NEW BEST:: SOT 49832 SOS 44056 HAS SOPS 44056 HAS SOUS 34012 HAS SOUPS 34012 WITH SCORE 34056.056
AT ITER 113 NEW BEST:: SOT 49832 SOS 44056 HAS SOPS 44056 HAS SOUS 34000 HAS SOUPS 34000 WITH SCORE 34044.056
AT ITER 116 NEW BEST:: SOT 49832 SOS 44056 HAS SOPS 44056 HAS SOUS 33980 HAS SOUPS 33980 WITH SCORE 34024.056
AT ITER 120 NEW BEST:: SOT 49816 SOS 44040 HAS SOPS 44040 HAS SOUS 33964 HAS SOUPS 33964 WITH SCORE 34008.04
AT ITER 121 NEW BEST:: SOT 49816 SOS 44040 HAS SOPS 44040 HAS SOUS 33878 HAS SOUPS 33878 WITH SCORE 33922.04
AT ITER 122 NEW BEST:: SOT 49816 SOS 44040 HAS SOPS 44040 HAS SOUS 33760 HAS SOUPS 33760 WITH SCORE 33804.04
AT ITER 126 NEW BEST:: SOT 49816 SOS 44014 HAS SOPS 44014 HAS SOUS 33540 HAS SOUPS 33540 WITH SCORE 33584.014
AT ITER 134 NEW BEST:: SOT 49816 SOS 44014 HAS SOPS 44014 HAS SOUS 33418 HAS SOUPS 33418 WITH SCORE 33462.014
AT ITER 137 NEW BEST:: SOT 49816 SOS 44014 HAS SOPS 44014 HAS SOUS 33392 HAS SOUPS 33392 WITH SCORE 33436.014
AT ITER 139 NEW BEST:: SOT 49220 SOS 43418 HAS SOPS 43418 HAS SOUS 32804 HAS SOUPS 32804 WITH SCORE 32847.418
AT ITER 140 NEW BEST:: SOT 49220 SOS 43418 HAS SOPS 43418 HAS SOUS 32702 HAS SOUPS 32702 WITH SCORE 32745.418
AT ITER 142 NEW BEST:: SOT 49220 SOS 43418 HAS SOPS 43418 HAS SOUS 32678 HAS SOUPS 32678 WITH SCORE 32721.418
AT ITER 144 NEW BEST:: SOT 49220 SOS 43418 HAS SOPS 43418 HAS SOUS 32602 HAS SOUPS 32602 WITH SCORE 32645.418
AT ITER 145 NEW BEST:: SOT 49220 SOS 43418 HAS SOPS 43418 HAS SOUS 32474 HAS SOUPS 32474 WITH SCORE 32517.418
AT ITER 153 NEW BEST:: SOT 49220 SOS 43418 HAS SOPS 43418 HAS SOUS 32458 HAS SOUPS 32458 WITH SCORE 32501.418
AT ITER 158 NEW BEST:: SOT 49220 SOS 43418 HAS SOPS 43418 HAS SOUS 32424 HAS SOUPS 32424 WITH SCORE 32467.418
AT ITER 161 NEW BEST:: SOT 49220 SOS 43202 HAS SOPS 43202 HAS SOUS 32208 HAS SOUPS 32208 WITH SCORE 32251.202
AT ITER 162 NEW BEST:: SOT 49220 SOS 43058 HAS SOPS 43058 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32107.058
AT ITER 163 NEW BEST:: SOT 49200 SOS 43040 HAS SOPS 43040 HAS SOUS 32058 HAS SOUPS 32058 WITH SCORE 32101.04
AT ITER 164 NEW BEST:: SOT 49180 SOS 43020 HAS SOPS 43020 HAS SOUS 32038 HAS SOUPS 32038 WITH SCORE 32081.02
AT ITER 165 NEW BEST:: SOT 49180 SOS 43020 HAS SOPS 43020 HAS SOUS 32018 HAS SOUPS 32018 WITH SCORE 32061.02
AT ITER 166 NEW BEST:: SOT 49138 SOS 42978 HAS SOPS 42978 HAS SOUS 31976 HAS SOUPS 31976 WITH SCORE 32018.978
AT ITER 173 NEW BEST:: SOT 49138 SOS 42978 HAS SOPS 42978 HAS SOUS 31766 HAS SOUPS 31766 WITH SCORE 31808.978
AT ITER 174 NEW BEST:: SOT 49180 SOS 42842 HAS SOPS 42842 HAS SOUS 31758 HAS SOUPS 31758 WITH SCORE 31800.842
AT ITER 177 NEW BEST:: SOT 49180 SOS 42842 HAS SOPS 42842 HAS SOUS 31718 HAS SOUPS 31718 WITH SCORE 31760.842
AT ITER 180 NEW BEST:: SOT 49138 SOS 43020 HAS SOPS 43020 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31709.02
AT ITER 181 NEW BEST:: SOT 49138 SOS 43020 HAS SOPS 43020 HAS SOUS 31644 HAS SOUPS 31644 WITH SCORE 31687.02
AT ITER 185 NEW BEST:: SOT 49138 SOS 43020 HAS SOPS 43020 HAS SOUS 31546 HAS SOUPS 31546 WITH SCORE 31589.02
AT ITER 188 NEW BEST:: SOT 49138 SOS 43016 HAS SOPS 43016 HAS SOUS 31512 HAS SOUPS 31512 WITH SCORE 31555.016
AT ITER 189 NEW BEST:: SOT 49138 SOS 43016 HAS SOPS 43016 HAS SOUS 31506 HAS SOUPS 31506 WITH SCORE 31549.016
AT ITER 194 NEW BEST:: SOT 49138 SOS 43016 HAS SOPS 43016 HAS SOUS 31374 HAS SOUPS 31374 WITH SCORE 31417.016
AT ITER 198 NEW BEST:: SOT 49138 SOS 42752 HAS SOPS 42752 HAS SOUS 31304 HAS SOUPS 31304 WITH SCORE 31346.752
AT ITER 206 NEW BEST:: SOT 49078 SOS 47120 HAS SOPS 47120 HAS SOUS 31280 HAS SOUPS 31280 WITH SCORE 31327.12
AT ITER 208 NEW BEST:: SOT 49078 SOS 47120 HAS SOPS 47120 HAS SOUS 31254 HAS SOUPS 31254 WITH SCORE 31301.12
AT ITER 209 NEW BEST:: SOT 49078 SOS 47120 HAS SOPS 47120 HAS SOUS 31226 HAS SOUPS 31226 WITH SCORE 31273.12
AT ITER 211 NEW BEST:: SOT 48932 SOS 47052 HAS SOPS 47052 HAS SOUS 30858 HAS SOUPS 30858 WITH SCORE 30905.052
AT ITER 212 NEW BEST:: SOT 48932 SOS 47052 HAS SOPS 47052 HAS SOUS 30832 HAS SOUPS 30832 WITH SCORE 30879.052
AT ITER 214 NEW BEST:: SOT 48932 SOS 47052 HAS SOPS 47052 HAS SOUS 30740 HAS SOUPS 30740 WITH SCORE 30787.052
AT ITER 220 NEW BEST:: SOT 48932 SOS 47052 HAS SOPS 47052 HAS SOUS 30704 HAS SOUPS 30704 WITH SCORE 30751.052
AT ITER 223 NEW BEST:: SOT 48932 SOS 47052 HAS SOPS 47052 HAS SOUS 30558 HAS SOUPS 30558 WITH SCORE 30605.052
AT ITER 224 NEW BEST:: SOT 48932 SOS 47052 HAS SOPS 47052 HAS SOUS 30534 HAS SOUPS 30534 WITH SCORE 30581.052
AT ITER 228 NEW BEST:: SOT 48760 SOS 46880 HAS SOPS 46880 HAS SOUS 30362 HAS SOUPS 30362 WITH SCORE 30408.88
AT ITER 234 NEW BEST:: SOT 48760 SOS 46880 HAS SOPS 46880 HAS SOUS 30296 HAS SOUPS 30296 WITH SCORE 30342.88
AT ITER 242 NEW BEST:: SOT 48748 SOS 46868 HAS SOPS 46868 HAS SOUS 30284 HAS SOUPS 30284 WITH SCORE 30330.868
AT ITER 251 NEW BEST:: SOT 48748 SOS 46868 HAS SOPS 46868 HAS SOUS 30130 HAS SOUPS 30130 WITH SCORE 30176.868
AT ITER 253 NEW BEST:: SOT 48748 SOS 46808 HAS SOPS 46808 HAS SOUS 30070 HAS SOUPS 30070 WITH SCORE 30116.808
AT ITER 257 NEW BEST:: SOT 48748 SOS 46734 HAS SOPS 46734 HAS SOUS 30070 HAS SOUPS 30070 WITH SCORE 30116.734
AT ITER 261 NEW BEST:: SOT 48408 SOS 46428 HAS SOPS 46428 HAS SOUS 29740 HAS SOUPS 29740 WITH SCORE 29786.428
AT ITER 263 NEW BEST:: SOT 48408 SOS 46428 HAS SOPS 46428 HAS SOUS 29530 HAS SOUPS 29530 WITH SCORE 29576.428
AT ITER 268 NEW BEST:: SOT 48410 SOS 46320 HAS SOPS 46320 HAS SOUS 29422 HAS SOUPS 29422 WITH SCORE 29468.32
AT ITER 276 NEW BEST:: SOT 48396 SOS 46306 HAS SOPS 46306 HAS SOUS 29408 HAS SOUPS 29408 WITH SCORE 29454.306
AT ITER 279 NEW BEST:: SOT 48396 SOS 46306 HAS SOPS 46306 HAS SOUS 29392 HAS SOUPS 29392 WITH SCORE 29438.306
AT ITER 282 NEW BEST:: SOT 48396 SOS 46306 HAS SOPS 46306 HAS SOUS 29390 HAS SOUPS 29390 WITH SCORE 29436.306
AT ITER 300 NEW BEST:: SOT 48396 SOS 46306 HAS SOPS 46306 HAS SOUS 29264 HAS SOUPS 29264 WITH SCORE 29310.306
AT ITER 302 NEW BEST:: SOT 48396 SOS 46306 HAS SOPS 46306 HAS SOUS 29234 HAS SOUPS 29234 WITH SCORE 29280.306
AT ITER 313 NEW BEST:: SOT 48394 SOS 46304 HAS SOPS 46304 HAS SOUS 29232 HAS SOUPS 29232 WITH SCORE 29278.304
AT ITER 318 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 29190 HAS SOUPS 29190 WITH SCORE 29236.276
AT ITER 320 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 29082 HAS SOUPS 29082 WITH SCORE 29128.276
AT ITER 327 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 29074 HAS SOUPS 29074 WITH SCORE 29120.276
AT ITER 330 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 28966 HAS SOUPS 28966 WITH SCORE 29012.276
AT ITER 331 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 28826 HAS SOUPS 28826 WITH SCORE 28872.276
AT ITER 346 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 28814 HAS SOUPS 28814 WITH SCORE 28860.276
AT ITER 352 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 28728 HAS SOUPS 28728 WITH SCORE 28774.276
AT ITER 354 NEW BEST:: SOT 48366 SOS 46276 HAS SOPS 46276 HAS SOUS 28688 HAS SOUPS 28688 WITH SCORE 28734.276
AT ITER 365 NEW BEST:: SOT 48336 SOS 46246 HAS SOPS 46246 HAS SOUS 28658 HAS SOUPS 28658 WITH SCORE 28704.246
AT ITER 375 NEW BEST:: SOT 48336 SOS 37410 HAS SOPS 37410 HAS SOUS 28566 HAS SOUPS 28566 WITH SCORE 28603.41
AT ITER 379 NEW BEST:: SOT 48336 SOS 37410 HAS SOPS 37410 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28573.41
AT ITER 384 NEW BEST:: SOT 48336 SOS 37410 HAS SOPS 37410 HAS SOUS 28490 HAS SOUPS 28490 WITH SCORE 28527.41
AT ITER 386 NEW BEST:: SOT 48336 SOS 37410 HAS SOPS 37410 HAS SOUS 28482 HAS SOUPS 28482 WITH SCORE 28519.41
AT ITER 388 NEW BEST:: SOT 48336 SOS 37298 HAS SOPS 37298 HAS SOUS 28482 HAS SOUPS 28482 WITH SCORE 28519.298
AT ITER 391 NEW BEST:: SOT 48186 SOS 37148 HAS SOPS 37148 HAS SOUS 28332 HAS SOUPS 28332 WITH SCORE 28369.148
AT ITER 394 NEW BEST:: SOT 48186 SOS 32600 HAS SOPS 32600 HAS SOUS 28302 HAS SOUPS 28302 WITH SCORE 28334.6
AT ITER 398 NEW BEST:: SOT 48186 SOS 32600 HAS SOPS 32600 HAS SOUS 28256 HAS SOUPS 28256 WITH SCORE 28288.6
AT ITER 415 NEW BEST:: SOT 48082 SOS 34698 HAS SOPS 34698 HAS SOUS 28096 HAS SOUPS 28096 WITH SCORE 28130.698
AT ITER 427 NEW BEST:: SOT 48082 SOS 34698 HAS SOPS 34698 HAS SOUS 28086 HAS SOUPS 28086 WITH SCORE 28120.698
AT ITER 441 NEW BEST:: SOT 48082 SOS 34696 HAS SOPS 34696 HAS SOUS 28084 HAS SOUPS 28084 WITH SCORE 28118.696
AT ITER 445 NEW BEST:: SOT 47764 SOS 34926 HAS SOPS 34926 HAS SOUS 27886 HAS SOUPS 27886 WITH SCORE 27920.926
AT ITER 447 NEW BEST:: SOT 47764 SOS 34926 HAS SOPS 34926 HAS SOUS 27880 HAS SOUPS 27880 WITH SCORE 27914.926
AT ITER 448 NEW BEST:: SOT 47764 SOS 34926 HAS SOPS 34926 HAS SOUS 27858 HAS SOUPS 27858 WITH SCORE 27892.926
AT ITER 450 NEW BEST:: SOT 45228 SOS 32520 HAS SOPS 32520 HAS SOUS 25452 HAS SOUPS 25452 WITH SCORE 25484.52
AT ITER 451 NEW BEST:: SOT 45228 SOS 32480 HAS SOPS 32480 HAS SOUS 25410 HAS SOUPS 25410 WITH SCORE 25442.48
AT ITER 460 NEW BEST:: SOT 45228 SOS 32480 HAS SOPS 32480 HAS SOUS 25396 HAS SOUPS 25396 WITH SCORE 25428.48
AT ITER 467 NEW BEST:: SOT 45228 SOS 32480 HAS SOPS 32480 HAS SOUS 25246 HAS SOUPS 25246 WITH SCORE 25278.48
AT ITER 477 NEW BEST:: SOT 45228 SOS 32480 HAS SOPS 32480 HAS SOUS 25122 HAS SOUPS 25122 WITH SCORE 25154.48
AT ITER 484 NEW BEST:: SOT 45228 SOS 32538 HAS SOPS 32538 HAS SOUS 25088 HAS SOUPS 25088 WITH SCORE 25120.538
AT ITER 490 NEW BEST:: SOT 45228 SOS 32538 HAS SOPS 32538 HAS SOUS 25060 HAS SOUPS 25060 WITH SCORE 25092.538
AT ITER 492 NEW BEST:: SOT 45228 SOS 32494 HAS SOPS 32494 HAS SOUS 25060 HAS SOUPS 25060 WITH SCORE 25092.494
AT ITER 493 NEW BEST:: SOT 45228 SOS 32494 HAS SOPS 32494 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 24976.494
AT ITER 499 NEW BEST:: SOT 45228 SOS 32494 HAS SOPS 32494 HAS SOUS 24938 HAS SOUPS 24938 WITH SCORE 24970.494
AT ITER 503 NEW BEST:: SOT 45228 SOS 32494 HAS SOPS 32494 HAS SOUS 24920 HAS SOUPS 24920 WITH SCORE 24952.494
AT ITER 509 NEW BEST:: SOT 45228 SOS 32474 HAS SOPS 32474 HAS SOUS 24836 HAS SOUPS 24836 WITH SCORE 24868.474
AT ITER 517 NEW BEST:: SOT 45228 SOS 32460 HAS SOPS 32460 HAS SOUS 24822 HAS SOUPS 24822 WITH SCORE 24854.46
AT ITER 525 NEW BEST:: SOT 45228 SOS 32458 HAS SOPS 32458 HAS SOUS 24820 HAS SOUPS 24820 WITH SCORE 24852.458
AT ITER 539 NEW BEST:: SOT 45228 SOS 32428 HAS SOPS 32428 HAS SOUS 24790 HAS SOUPS 24790 WITH SCORE 24822.428
AT ITER 541 NEW BEST:: SOT 45228 SOS 32428 HAS SOPS 32428 HAS SOUS 24774 HAS SOUPS 24774 WITH SCORE 24806.428
AT ITER 543 NEW BEST:: SOT 45200 SOS 32400 HAS SOPS 32400 HAS SOUS 24746 HAS SOUPS 24746 WITH SCORE 24778.4
AT ITER 553 NEW BEST:: SOT 42818 SOS 30020 HAS SOPS 30020 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22396.02
AT ITER 568 NEW BEST:: SOT 42818 SOS 30020 HAS SOPS 30020 HAS SOUS 22324 HAS SOUPS 22324 WITH SCORE 22354.02
AT ITER 573 NEW BEST:: SOT 42818 SOS 29994 HAS SOPS 29994 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22327.994
AT ITER 580 NEW BEST:: SOT 42818 SOS 29980 HAS SOPS 29980 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22313.98
AT ITER 597 NEW BEST:: SOT 42788 SOS 29950 HAS SOPS 29950 HAS SOUS 22224 HAS SOUPS 22224 WITH SCORE 22253.95
AT ITER 604 NEW BEST:: SOT 42788 SOS 29950 HAS SOPS 29950 HAS SOUS 22190 HAS SOUPS 22190 WITH SCORE 22219.95
AT ITER 605 NEW BEST:: SOT 42788 SOS 29946 HAS SOPS 29946 HAS SOUS 22164 HAS SOUPS 22164 WITH SCORE 22193.946
AT ITER 616 NEW BEST:: SOT 42788 SOS 29940 HAS SOPS 29940 HAS SOUS 22158 HAS SOUPS 22158 WITH SCORE 22187.94
AT ITER 622 NEW BEST:: SOT 42780 SOS 29932 HAS SOPS 29932 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22171.932
AT ITER 628 NEW BEST:: SOT 42780 SOS 29932 HAS SOPS 29932 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22149.932
AT ITER 630 NEW BEST:: SOT 42750 SOS 29902 HAS SOPS 29902 HAS SOUS 22090 HAS SOUPS 22090 WITH SCORE 22119.902
AT ITER 644 NEW BEST:: SOT 42730 SOS 29882 HAS SOPS 29882 HAS SOUS 22002 HAS SOUPS 22002 WITH SCORE 22031.882
AT ITER 649 NEW BEST:: SOT 42676 SOS 29828 HAS SOPS 29828 HAS SOUS 21924 HAS SOUPS 21924 WITH SCORE 21953.828
AT ITER 660 NEW BEST:: SOT 42664 SOS 29780 HAS SOPS 29780 HAS SOUS 21856 HAS SOUPS 21856 WITH SCORE 21885.78
AT ITER 671 NEW BEST:: SOT 42646 SOS 29790 HAS SOPS 29790 HAS SOUS 21830 HAS SOUPS 21830 WITH SCORE 21859.79
AT ITER 682 NEW BEST:: SOT 42600 SOS 31932 HAS SOPS 31932 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21827.932
AT ITER 687 NEW BEST:: SOT 42548 SOS 31880 HAS SOPS 31880 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21775.88
AT ITER 688 NEW BEST:: SOT 42548 SOS 31874 HAS SOPS 31874 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21769.874
AT ITER 697 NEW BEST:: SOT 42548 SOS 31874 HAS SOPS 31874 HAS SOUS 21688 HAS SOUPS 21688 WITH SCORE 21719.874
AT ITER 710 NEW BEST:: SOT 42548 SOS 31864 HAS SOPS 31864 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21709.864
AT ITER 716 NEW BEST:: SOT 42548 SOS 31864 HAS SOPS 31864 HAS SOUS 21610 HAS SOUPS 21610 WITH SCORE 21641.864
AT ITER 724 NEW BEST:: SOT 42548 SOS 31864 HAS SOPS 31864 HAS SOUS 21588 HAS SOUPS 21588 WITH SCORE 21619.864
AT ITER 727 NEW BEST:: SOT 42548 SOS 31864 HAS SOPS 31864 HAS SOUS 21536 HAS SOUPS 21536 WITH SCORE 21567.864
AT ITER 733 NEW BEST:: SOT 42540 SOS 31856 HAS SOPS 31856 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21551.856
AT ITER 735 NEW BEST:: SOT 42540 SOS 31856 HAS SOPS 31856 HAS SOUS 21488 HAS SOUPS 21488 WITH SCORE 21519.856
AT ITER 736 NEW BEST:: SOT 42540 SOS 31856 HAS SOPS 31856 HAS SOUS 21472 HAS SOUPS 21472 WITH SCORE 21503.856
AT ITER 745 NEW BEST:: SOT 42540 SOS 31856 HAS SOPS 31856 HAS SOUS 21404 HAS SOUPS 21404 WITH SCORE 21435.856
AT ITER 754 NEW BEST:: SOT 42540 SOS 31856 HAS SOPS 31856 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21307.856
AT ITER 757 NEW BEST:: SOT 42540 SOS 31856 HAS SOPS 31856 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21301.856
AT ITER 758 NEW BEST:: SOT 42540 SOS 31880 HAS SOPS 31880 HAS SOUS 21250 HAS SOUPS 21250 WITH SCORE 21281.88
AT ITER 763 NEW BEST:: SOT 42540 SOS 31880 HAS SOPS 31880 HAS SOUS 21210 HAS SOUPS 21210 WITH SCORE 21241.88
AT ITER 774 NEW BEST:: SOT 42540 SOS 31880 HAS SOPS 31880 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21239.88
AT ITER 786 NEW BEST:: SOT 42540 SOS 31880 HAS SOPS 31880 HAS SOUS 21168 HAS SOUPS 21168 WITH SCORE 21199.88
AT ITER 787 NEW BEST:: SOT 42540 SOS 31880 HAS SOPS 31880 HAS SOUS 21166 HAS SOUPS 21166 WITH SCORE 21197.88
AT ITER 791 NEW BEST:: SOT 42540 SOS 31880 HAS SOPS 31880 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21193.88
AT ITER 801 NEW BEST:: SOT 42510 SOS 31866 HAS SOPS 31866 HAS SOUS 21094 HAS SOUPS 21094 WITH SCORE 21125.866
AT ITER 827 NEW BEST:: SOT 42510 SOS 31866 HAS SOPS 31866 HAS SOUS 21086 HAS SOUPS 21086 WITH SCORE 21117.866
AT ITER 839 NEW BEST:: SOT 42510 SOS 31866 HAS SOPS 31866 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21099.866
AT ITER 851 NEW BEST:: SOT 42210 SOS 31774 HAS SOPS 31774 HAS SOUS 20976 HAS SOUPS 20976 WITH SCORE 21007.774
AT ITER 852 NEW BEST:: SOT 42210 SOS 31774 HAS SOPS 31774 HAS SOUS 20948 HAS SOUPS 20948 WITH SCORE 20979.774
AT ITER 853 NEW BEST:: SOT 42158 SOS 31722 HAS SOPS 31722 HAS SOUS 20838 HAS SOUPS 20838 WITH SCORE 20869.722
AT ITER 854 NEW BEST:: SOT 42158 SOS 31722 HAS SOPS 31722 HAS SOUS 20824 HAS SOUPS 20824 WITH SCORE 20855.722
AT ITER 856 NEW BEST:: SOT 42156 SOS 31720 HAS SOPS 31720 HAS SOUS 20820 HAS SOUPS 20820 WITH SCORE 20851.72
AT ITER 869 NEW BEST:: SOT 42126 SOS 31690 HAS SOPS 31690 HAS SOUS 20790 HAS SOUPS 20790 WITH SCORE 20821.69
AT ITER 872 NEW BEST:: SOT 41984 SOS 31548 HAS SOPS 31548 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20609.548
AT ITER 884 NEW BEST:: SOT 41984 SOS 31530 HAS SOPS 31530 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20591.53
AT ITER 887 NEW BEST:: SOT 36538 SOS 26168 HAS SOPS 26168 HAS SOUS 15198 HAS SOUPS 15198 WITH SCORE 15224.168
AT ITER 910 NEW BEST:: SOT 36526 SOS 26156 HAS SOPS 26156 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15200.156
AT ITER 923 NEW BEST:: SOT 36526 SOS 26128 HAS SOPS 26128 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15166.128
AT ITER 929 NEW BEST:: SOT 36526 SOS 26120 HAS SOPS 26120 HAS SOUS 15054 HAS SOUPS 15054 WITH SCORE 15080.12
AT ITER 933 NEW BEST:: SOT 36526 SOS 26120 HAS SOPS 26120 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15074.12
AT ITER 934 NEW BEST:: SOT 36524 SOS 26118 HAS SOPS 26118 HAS SOUS 15034 HAS SOUPS 15034 WITH SCORE 15060.118
AT ITER 939 NEW BEST:: SOT 36524 SOS 26118 HAS SOPS 26118 HAS SOUS 15026 HAS SOUPS 15026 WITH SCORE 15052.118
AT ITER 946 NEW BEST:: SOT 36524 SOS 26118 HAS SOPS 26118 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 15006.118
AT ITER 952 NEW BEST:: SOT 36524 SOS 26094 HAS SOPS 26094 HAS SOUS 14956 HAS SOUPS 14956 WITH SCORE 14982.094
AT ITER 954 NEW BEST:: SOT 36524 SOS 26094 HAS SOPS 26094 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14926.094
AT ITER 963 NEW BEST:: SOT 36496 SOS 26066 HAS SOPS 26066 HAS SOUS 14760 HAS SOUPS 14760 WITH SCORE 14786.066
AT ITER 970 NEW BEST:: SOT 36430 SOS 26000 HAS SOPS 26000 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14732.0
AT ITER 974 NEW BEST:: SOT 36430 SOS 25988 HAS SOPS 25988 HAS SOUS 14694 HAS SOUPS 14694 WITH SCORE 14719.988
AT ITER 986 NEW BEST:: SOT 36430 SOS 25988 HAS SOPS 25988 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14715.988
AT ITER 996 NEW BEST:: SOT 36430 SOS 25980 HAS SOPS 25980 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14643.98
AT ITER 1005 NEW BEST:: SOT 36430 SOS 25962 HAS SOPS 25962 HAS SOUS 14600 HAS SOUPS 14600 WITH SCORE 14625.962
AT ITER 1013 NEW BEST:: SOT 36430 SOS 26004 HAS SOPS 26004 HAS SOUS 14584 HAS SOUPS 14584 WITH SCORE 14610.004
AT ITER 1015 NEW BEST:: SOT 36424 SOS 25998 HAS SOPS 25998 HAS SOUS 14578 HAS SOUPS 14578 WITH SCORE 14603.998
AT ITER 1040 NEW BEST:: SOT 35116 SOS 24758 HAS SOPS 24758 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13294.758
AT ITER 1048 NEW BEST:: SOT 35116 SOS 24754 HAS SOPS 24754 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13248.754
AT ITER 1061 NEW BEST:: SOT 35106 SOS 24744 HAS SOPS 24744 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13228.744
AT ITER 1065 NEW BEST:: SOT 35054 SOS 24692 HAS SOPS 24692 HAS SOUS 13100 HAS SOUPS 13100 WITH SCORE 13124.692
AT ITER 1094 NEW BEST:: SOT 35054 SOS 24692 HAS SOPS 24692 HAS SOUS 13072 HAS SOUPS 13072 WITH SCORE 13096.692
AT ITER 1098 NEW BEST:: SOT 35018 SOS 24656 HAS SOPS 24656 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13024.656
AT ITER 1110 NEW BEST:: SOT 35014 SOS 24652 HAS SOPS 24652 HAS SOUS 12992 HAS SOUPS 12992 WITH SCORE 13016.652
AT ITER 1130 NEW BEST:: SOT 34962 SOS 24600 HAS SOPS 24600 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12912.6
AT ITER 1164 NEW BEST:: SOT 34962 SOS 24578 HAS SOPS 24578 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12890.578
AT ITER 1172 NEW BEST:: SOT 34962 SOS 24578 HAS SOPS 24578 HAS SOUS 12852 HAS SOUPS 12852 WITH SCORE 12876.578
AT ITER 1176 NEW BEST:: SOT 34962 SOS 24572 HAS SOPS 24572 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12870.572
AT ITER 1178 NEW BEST:: SOT 34962 SOS 24572 HAS SOPS 24572 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12866.572
AT ITER 1183 NEW BEST:: SOT 34952 SOS 24562 HAS SOPS 24562 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12846.562
AT ITER 1187 NEW BEST:: SOT 34746 SOS 26778 HAS SOPS 26778 HAS SOUS 12784 HAS SOUPS 12784 WITH SCORE 12810.778
AT ITER 1191 NEW BEST:: SOT 34746 SOS 26778 HAS SOPS 26778 HAS SOUS 12754 HAS SOUPS 12754 WITH SCORE 12780.778
AT ITER 1193 NEW BEST:: SOT 34746 SOS 26778 HAS SOPS 26778 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12766.778
AT ITER 1204 NEW BEST:: SOT 34746 SOS 26776 HAS SOPS 26776 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12764.776
AT ITER 1210 NEW BEST:: SOT 34746 SOS 24354 HAS SOPS 24354 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12706.354
AT ITER 1224 NEW BEST:: SOT 34730 SOS 24338 HAS SOPS 24338 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12700.338
AT ITER 1245 NEW BEST:: SOT 34730 SOS 24338 HAS SOPS 24338 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12688.338
AT ITER 1260 NEW BEST:: SOT 34730 SOS 24334 HAS SOPS 24334 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12684.334
AT ITER 1273 NEW BEST:: SOT 34654 SOS 24258 HAS SOPS 24258 HAS SOUS 12584 HAS SOUPS 12584 WITH SCORE 12608.258
AT ITER 1288 NEW BEST:: SOT 34654 SOS 24258 HAS SOPS 24258 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12580.258
AT ITER 1318 NEW BEST:: SOT 34654 SOS 24258 HAS SOPS 24258 HAS SOUS 12550 HAS SOUPS 12550 WITH SCORE 12574.258
AT ITER 1322 NEW BEST:: SOT 34650 SOS 24254 HAS SOPS 24254 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12468.254
AT ITER 1327 NEW BEST:: SOT 34638 SOS 24242 HAS SOPS 24242 HAS SOUS 12420 HAS SOUPS 12420 WITH SCORE 12444.242
AT ITER 1336 NEW BEST:: SOT 34638 SOS 24242 HAS SOPS 24242 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12438.242
AT ITER 1354 NEW BEST:: SOT 34608 SOS 24212 HAS SOPS 24212 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12334.212
AT ITER 1368 NEW BEST:: SOT 34608 SOS 24202 HAS SOPS 24202 HAS SOUS 12300 HAS SOUPS 12300 WITH SCORE 12324.202
AT ITER 1397 NEW BEST:: SOT 34592 SOS 24186 HAS SOPS 24186 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12292.186
AT ITER 1400 NEW BEST:: SOT 34590 SOS 24184 HAS SOPS 24184 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12288.184
AT ITER 1406 NEW BEST:: SOT 34566 SOS 24160 HAS SOPS 24160 HAS SOUS 12216 HAS SOUPS 12216 WITH SCORE 12240.16
AT ITER 1407 NEW BEST:: SOT 34560 SOS 24154 HAS SOPS 24154 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12228.154
AT ITER 1409 NEW BEST:: SOT 34560 SOS 24148 HAS SOPS 24148 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12228.148
AT ITER 1426 NEW BEST:: SOT 34560 SOS 24110 HAS SOPS 24110 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12190.11
AT ITER 1430 NEW BEST:: SOT 34560 SOS 24086 HAS SOPS 24086 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12166.086
AT ITER 1449 NEW BEST:: SOT 34560 SOS 24086 HAS SOPS 24086 HAS SOUS 12138 HAS SOUPS 12138 WITH SCORE 12162.086
AT ITER 1452 NEW BEST:: SOT 34546 SOS 24072 HAS SOPS 24072 HAS SOUS 12110 HAS SOUPS 12110 WITH SCORE 12134.072
AT ITER 1457 NEW BEST:: SOT 34514 SOS 24040 HAS SOPS 24040 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12070.04
AT ITER 1465 NEW BEST:: SOT 34508 SOS 24034 HAS SOPS 24034 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12058.034
AT ITER 1477 NEW BEST:: SOT 34508 SOS 24032 HAS SOPS 24032 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12056.032
AT ITER 1521 NEW BEST:: SOT 34462 SOS 25010 HAS SOPS 25010 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11997.01
AT ITER 1556 NEW BEST:: SOT 34462 SOS 25010 HAS SOPS 25010 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 11995.01
AT ITER 1593 NEW BEST:: SOT 34462 SOS 25010 HAS SOPS 25010 HAS SOUS 11962 HAS SOUPS 11962 WITH SCORE 11987.01
AT ITER 1615 NEW BEST:: SOT 34462 SOS 25010 HAS SOPS 25010 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11967.01
AT ITER 1620 NEW BEST:: SOT 34436 SOS 24984 HAS SOPS 24984 HAS SOUS 11890 HAS SOUPS 11890 WITH SCORE 11914.984
AT ITER 1630 NEW BEST:: SOT 34436 SOS 24950 HAS SOPS 24950 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11880.95
AT ITER 1644 NEW BEST:: SOT 34444 SOS 24940 HAS SOPS 24940 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11870.94
AT ITER 1647 NEW BEST:: SOT 34444 SOS 24940 HAS SOPS 24940 HAS SOUS 11824 HAS SOUPS 11824 WITH SCORE 11848.94
AT ITER 1660 NEW BEST:: SOT 34492 SOS 24988 HAS SOPS 24988 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11786.988
AT ITER 1666 NEW BEST:: SOT 34492 SOS 24986 HAS SOPS 24986 HAS SOUS 11762 HAS SOUPS 11762 WITH SCORE 11786.986
AT ITER 1699 NEW BEST:: SOT 34502 SOS 25078 HAS SOPS 25078 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11783.078
AT ITER 1714 NEW BEST:: SOT 34490 SOS 25066 HAS SOPS 25066 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11759.066
AT ITER 1730 NEW BEST:: SOT 34490 SOS 25066 HAS SOPS 25066 HAS SOUS 11722 HAS SOUPS 11722 WITH SCORE 11747.066
AT ITER 1736 NEW BEST:: SOT 34490 SOS 25050 HAS SOPS 25050 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11721.05
AT ITER 1741 NEW BEST:: SOT 34490 SOS 25050 HAS SOPS 25050 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11645.05
AT ITER 1745 NEW BEST:: SOT 34486 SOS 25046 HAS SOPS 25046 HAS SOUS 11612 HAS SOUPS 11612 WITH SCORE 11637.046
AT ITER 1760 NEW BEST:: SOT 34486 SOS 25064 HAS SOPS 25064 HAS SOUS 11608 HAS SOUPS 11608 WITH SCORE 11633.064
AT ITER 1770 NEW BEST:: SOT 34426 SOS 25040 HAS SOPS 25040 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11609.04
AT ITER 1775 NEW BEST:: SOT 34426 SOS 25040 HAS SOPS 25040 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11569.04
AT ITER 1781 NEW BEST:: SOT 34426 SOS 25040 HAS SOPS 25040 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11549.04
AT ITER 1820 NEW BEST:: SOT 34420 SOS 25034 HAS SOPS 25034 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11537.034
AT ITER 1832 NEW BEST:: SOT 34420 SOS 25034 HAS SOPS 25034 HAS SOUS 11476 HAS SOUPS 11476 WITH SCORE 11501.034
AT ITER 1839 NEW BEST:: SOT 34396 SOS 25010 HAS SOPS 25010 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11453.01
AT ITER 1855 NEW BEST:: SOT 34396 SOS 25010 HAS SOPS 25010 HAS SOUS 11412 HAS SOUPS 11412 WITH SCORE 11437.01
AT ITER 1890 NEW BEST:: SOT 34382 SOS 24996 HAS SOPS 24996 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11408.996
AT ITER 1902 NEW BEST:: SOT 34366 SOS 24980 HAS SOPS 24980 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11376.98
AT ITER 1918 NEW BEST:: SOT 34326 SOS 24882 HAS SOPS 24882 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11278.882
AT ITER 1927 NEW BEST:: SOT 34300 SOS 24856 HAS SOPS 24856 HAS SOUS 11228 HAS SOUPS 11228 WITH SCORE 11252.856
AT ITER 1935 NEW BEST:: SOT 34302 SOS 24858 HAS SOPS 24858 HAS SOUS 11186 HAS SOUPS 11186 WITH SCORE 11210.858
AT ITER 1998 NEW BEST:: SOT 34302 SOS 24856 HAS SOPS 24856 HAS SOUS 11184 HAS SOUPS 11184 WITH SCORE 11208.856
AT ITER 1999 NEW BEST:: SOT 34300 SOS 24854 HAS SOPS 24854 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11162.854
AT ITER 2005 NEW BEST:: SOT 34266 SOS 24820 HAS SOPS 24820 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11076.82
AT ITER 2044 NEW BEST:: SOT 34266 SOS 24820 HAS SOPS 24820 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11066.82
AT ITER 2046 NEW BEST:: SOT 34254 SOS 24808 HAS SOPS 24808 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10996.808
AT ITER 2047 NEW BEST:: SOT 34198 SOS 24794 HAS SOPS 24794 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10982.794
AT ITER 2049 NEW BEST:: SOT 34190 SOS 24786 HAS SOPS 24786 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10966.786
AT ITER 2057 NEW BEST:: SOT 33684 SOS 24354 HAS SOPS 24354 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10520.354
AT ITER 2058 NEW BEST:: SOT 33666 SOS 24352 HAS SOPS 24352 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10466.352
AT ITER 2068 NEW BEST:: SOT 33666 SOS 24346 HAS SOPS 24346 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10460.346
AT ITER 2074 NEW BEST:: SOT 33632 SOS 24312 HAS SOPS 24312 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10392.312
AT ITER 2086 NEW BEST:: SOT 33632 SOS 24312 HAS SOPS 24312 HAS SOUS 10354 HAS SOUPS 10354 WITH SCORE 10378.312
AT ITER 2090 NEW BEST:: SOT 33632 SOS 24308 HAS SOPS 24308 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10374.308
AT ITER 2113 NEW BEST:: SOT 32718 SOS 23404 HAS SOPS 23404 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9469.404
AT ITER 2133 NEW BEST:: SOT 32718 SOS 23400 HAS SOPS 23400 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9465.4
AT ITER 2152 NEW BEST:: SOT 32716 SOS 23398 HAS SOPS 23398 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9463.398
AT ITER 2156 NEW BEST:: SOT 32704 SOS 23386 HAS SOPS 23386 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9439.386
AT ITER 2178 NEW BEST:: SOT 32684 SOS 23366 HAS SOPS 23366 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9379.366
AT ITER 2229 NEW BEST:: SOT 32684 SOS 23378 HAS SOPS 23378 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9375.378
AT ITER 2231 NEW BEST:: SOT 32680 SOS 23374 HAS SOPS 23374 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9367.374
AT ITER 2283 NEW BEST:: SOT 32680 SOS 23374 HAS SOPS 23374 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9361.374
AT ITER 2292 NEW BEST:: SOT 32664 SOS 23358 HAS SOPS 23358 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9329.358
AT ITER 2324 NEW BEST:: SOT 32664 SOS 23358 HAS SOPS 23358 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9325.358
AT ITER 2342 NEW BEST:: SOT 32656 SOS 23350 HAS SOPS 23350 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9309.35
AT ITER 2368 NEW BEST:: SOT 32656 SOS 23346 HAS SOPS 23346 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9251.346
AT ITER 2370 NEW BEST:: SOT 32648 SOS 23338 HAS SOPS 23338 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9243.338
AT ITER 2394 NEW BEST:: SOT 32648 SOS 23310 HAS SOPS 23310 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9215.31
AT ITER 2399 NEW BEST:: SOT 32648 SOS 23310 HAS SOPS 23310 HAS SOUS 9188 HAS SOUPS 9188 WITH SCORE 9211.31
AT ITER 2421 NEW BEST:: SOT 32596 SOS 23258 HAS SOPS 23258 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9107.258
AT ITER 2424 NEW BEST:: SOT 32596 SOS 23264 HAS SOPS 23264 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9105.264
AT ITER 2443 NEW BEST:: SOT 32586 SOS 23254 HAS SOPS 23254 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9079.254
AT ITER 2446 NEW BEST:: SOT 32586 SOS 23248 HAS SOPS 23248 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9073.248
AT ITER 2474 NEW BEST:: SOT 32566 SOS 23228 HAS SOPS 23228 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9033.228
AT ITER 2580 NEW BEST:: SOT 32566 SOS 23226 HAS SOPS 23226 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9031.226
AT ITER 2588 NEW BEST:: SOT 32476 SOS 23238 HAS SOPS 23238 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9023.238
AT ITER 2591 NEW BEST:: SOT 32476 SOS 23238 HAS SOPS 23238 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9009.238
AT ITER 2598 NEW BEST:: SOT 32476 SOS 23154 HAS SOPS 23154 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8987.154
AT ITER 2599 NEW BEST:: SOT 32460 SOS 23160 HAS SOPS 23160 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8949.16
AT ITER 2605 NEW BEST:: SOT 32278 SOS 22978 HAS SOPS 22978 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8762.978
AT ITER 2652 NEW BEST:: SOT 32250 SOS 22950 HAS SOPS 22950 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8706.95
AT ITER 2656 NEW BEST:: SOT 32246 SOS 22946 HAS SOPS 22946 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8698.946
AT ITER 2664 NEW BEST:: SOT 32244 SOS 22944 HAS SOPS 22944 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8672.944
AT ITER 2694 NEW BEST:: SOT 32244 SOS 22940 HAS SOPS 22940 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8668.94
AT ITER 2702 NEW BEST:: SOT 32180 SOS 22876 HAS SOPS 22876 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8540.876
AT ITER 2735 NEW BEST:: SOT 32170 SOS 22854 HAS SOPS 22854 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8514.854
AT ITER 2762 NEW BEST:: SOT 31992 SOS 22698 HAS SOPS 22698 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8342.698
AT ITER 2771 NEW BEST:: SOT 31992 SOS 22698 HAS SOPS 22698 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8328.698
AT ITER 2782 NEW BEST:: SOT 31988 SOS 22694 HAS SOPS 22694 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8320.694
AT ITER 2823 NEW BEST:: SOT 31974 SOS 22688 HAS SOPS 22688 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8314.688
AT ITER 2826 NEW BEST:: SOT 31962 SOS 22676 HAS SOPS 22676 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8290.676
AT ITER 2827 NEW BEST:: SOT 31962 SOS 22676 HAS SOPS 22676 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8282.676
AT ITER 2913 NEW BEST:: SOT 31754 SOS 26980 HAS SOPS 26980 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8266.98
AT ITER 2915 NEW BEST:: SOT 31662 SOS 26888 HAS SOPS 26888 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8158.888
AT ITER 2931 NEW BEST:: SOT 31662 SOS 26864 HAS SOPS 26864 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8134.864
AT ITER 2935 NEW BEST:: SOT 31648 SOS 26850 HAS SOPS 26850 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8106.85
AT ITER 2970 NEW BEST:: SOT 31648 SOS 26838 HAS SOPS 26838 HAS SOUS 8068 HAS SOUPS 8068 WITH SCORE 8094.838
AT ITER 2977 NEW BEST:: SOT 31484 SOS 26678 HAS SOPS 26678 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7930.678
AT ITER 2979 NEW BEST:: SOT 31098 SOS 26404 HAS SOPS 26404 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7656.404
AT ITER 3008 NEW BEST:: SOT 31088 SOS 26394 HAS SOPS 26394 HAS SOUS 7624 HAS SOUPS 7624 WITH SCORE 7650.394
AT ITER 3040 NEW BEST:: SOT 31082 SOS 26388 HAS SOPS 26388 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7638.388
AT ITER 3056 NEW BEST:: SOT 31080 SOS 26386 HAS SOPS 26386 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7634.386
AT ITER 3083 NEW BEST:: SOT 31064 SOS 26370 HAS SOPS 26370 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7626.37
AT ITER 3084 NEW BEST:: SOT 31064 SOS 22268 HAS SOPS 22268 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7614.268
AT ITER 3107 NEW BEST:: SOT 31060 SOS 22264 HAS SOPS 22264 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7606.264
AT ITER 3121 NEW BEST:: SOT 31050 SOS 22254 HAS SOPS 22254 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7560.254
AT ITER 3131 NEW BEST:: SOT 31038 SOS 22242 HAS SOPS 22242 HAS SOUS 7514 HAS SOUPS 7514 WITH SCORE 7536.242
AT ITER 3142 NEW BEST:: SOT 31036 SOS 22240 HAS SOPS 22240 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7532.24
AT ITER 3200 NEW BEST:: SOT 31036 SOS 22238 HAS SOPS 22238 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7530.238
AT ITER 3204 NEW BEST:: SOT 31022 SOS 22224 HAS SOPS 22224 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7502.224
AT ITER 3229 NEW BEST:: SOT 31006 SOS 22208 HAS SOPS 22208 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7470.208
AT ITER 3254 NEW BEST:: SOT 31022 SOS 22224 HAS SOPS 22224 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7468.224
AT ITER 3255 NEW BEST:: SOT 31020 SOS 22222 HAS SOPS 22222 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7464.222
AT ITER 3276 NEW BEST:: SOT 31020 SOS 22222 HAS SOPS 22222 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7458.222
AT ITER 3291 NEW BEST:: SOT 31010 SOS 22212 HAS SOPS 22212 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7448.212
AT ITER 3296 NEW BEST:: SOT 31000 SOS 22202 HAS SOPS 22202 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7428.202
AT ITER 3309 NEW BEST:: SOT 31000 SOS 22180 HAS SOPS 22180 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7406.18
AT ITER 3377 NEW BEST:: SOT 30696 SOS 21962 HAS SOPS 21962 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7173.962
AT ITER 3380 NEW BEST:: SOT 30682 SOS 21948 HAS SOPS 21948 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7145.948
AT ITER 3382 NEW BEST:: SOT 30680 SOS 21946 HAS SOPS 21946 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7141.946
AT ITER 3387 NEW BEST:: SOT 30674 SOS 21940 HAS SOPS 21940 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7129.94
AT ITER 3396 NEW BEST:: SOT 30664 SOS 21930 HAS SOPS 21930 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7109.93
AT ITER 3427 NEW BEST:: SOT 30664 SOS 21920 HAS SOPS 21920 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7085.92
AT ITER 3454 NEW BEST:: SOT 30664 SOS 24520 HAS SOPS 24520 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7084.52
AT ITER 3460 NEW BEST:: SOT 30666 SOS 24586 HAS SOPS 24586 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7078.586
AT ITER 3482 NEW BEST:: SOT 30666 SOS 24504 HAS SOPS 24504 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7028.504
AT ITER 3501 NEW BEST:: SOT 30664 SOS 24502 HAS SOPS 24502 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7026.502
AT ITER 3505 NEW BEST:: SOT 30654 SOS 24492 HAS SOPS 24492 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 7006.492
AT ITER 3517 NEW BEST:: SOT 30654 SOS 24490 HAS SOPS 24490 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 7004.49
AT ITER 3530 NEW BEST:: SOT 30634 SOS 24470 HAS SOPS 24470 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6964.47
AT ITER 3531 NEW BEST:: SOT 30634 SOS 24470 HAS SOPS 24470 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6958.47
AT ITER 3532 NEW BEST:: SOT 30624 SOS 24460 HAS SOPS 24460 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6938.46
AT ITER 3537 NEW BEST:: SOT 30624 SOS 24458 HAS SOPS 24458 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6936.458
AT ITER 3598 NEW BEST:: SOT 30624 SOS 24458 HAS SOPS 24458 HAS SOUS 6892 HAS SOUPS 6892 WITH SCORE 6916.458
AT ITER 3601 NEW BEST:: SOT 30624 SOS 24452 HAS SOPS 24452 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6910.452
AT ITER 3735 NEW BEST:: SOT 30598 SOS 24426 HAS SOPS 24426 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6856.426
AT ITER 3765 NEW BEST:: SOT 30598 SOS 24426 HAS SOPS 24426 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6830.426
AT ITER 3784 NEW BEST:: SOT 30598 SOS 24426 HAS SOPS 24426 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6826.426
AT ITER 3785 NEW BEST:: SOT 30598 SOS 24368 HAS SOPS 24368 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6822.368
AT ITER 3811 NEW BEST:: SOT 30598 SOS 24366 HAS SOPS 24366 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6820.366
AT ITER 3848 NEW BEST:: SOT 30598 SOS 24364 HAS SOPS 24364 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6818.364
AT ITER 3857 NEW BEST:: SOT 30592 SOS 24358 HAS SOPS 24358 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6806.358
AT ITER 3864 NEW BEST:: SOT 30586 SOS 24352 HAS SOPS 24352 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6794.352
AT ITER 3872 NEW BEST:: SOT 30576 SOS 24342 HAS SOPS 24342 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6774.342
AT ITER 3899 NEW BEST:: SOT 30576 SOS 24342 HAS SOPS 24342 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6760.342
AT ITER 3917 NEW BEST:: SOT 30576 SOS 24342 HAS SOPS 24342 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6740.342
AT ITER 3947 NEW BEST:: SOT 30568 SOS 24334 HAS SOPS 24334 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6724.334
AT ITER 4009 NEW BEST:: SOT 30568 SOS 24364 HAS SOPS 24364 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6722.364
AT ITER 4010 NEW BEST:: SOT 30554 SOS 24350 HAS SOPS 24350 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6694.35
AT ITER 4012 NEW BEST:: SOT 30548 SOS 24344 HAS SOPS 24344 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6682.344
AT ITER 4070 NEW BEST:: SOT 30548 SOS 24172 HAS SOPS 24172 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6680.172
AT ITER 4073 NEW BEST:: SOT 30548 SOS 24172 HAS SOPS 24172 HAS SOUS 6650 HAS SOUPS 6650 WITH SCORE 6674.172
AT ITER 4105 NEW BEST:: SOT 30524 SOS 24148 HAS SOPS 24148 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6650.148
AT ITER 4159 NEW BEST:: SOT 30524 SOS 24148 HAS SOPS 24148 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6646.148
AT ITER 4182 NEW BEST:: SOT 30524 SOS 24148 HAS SOPS 24148 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6642.148
AT ITER 4219 NEW BEST:: SOT 30524 SOS 24148 HAS SOPS 24148 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6626.148
AT ITER 4252 NEW BEST:: SOT 30524 SOS 24142 HAS SOPS 24142 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6620.142
AT ITER 4305 NEW BEST:: SOT 30524 SOS 24142 HAS SOPS 24142 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6614.142
AT ITER 4318 NEW BEST:: SOT 30376 SOS 24006 HAS SOPS 24006 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6478.006
AT ITER 4321 NEW BEST:: SOT 30370 SOS 24000 HAS SOPS 24000 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6466.0
AT ITER 4431 NEW BEST:: SOT 30366 SOS 23996 HAS SOPS 23996 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6457.996
AT ITER 4523 NEW BEST:: SOT 30368 SOS 23998 HAS SOPS 23998 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6455.998
AT ITER 4575 NEW BEST:: SOT 30342 SOS 23972 HAS SOPS 23972 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6429.972
AT ITER 4588 NEW BEST:: SOT 30322 SOS 23954 HAS SOPS 23954 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6393.954
AT ITER 4604 NEW BEST:: SOT 30322 SOS 23954 HAS SOPS 23954 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6391.954
AT ITER 4648 NEW BEST:: SOT 30322 SOS 23954 HAS SOPS 23954 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6389.954
AT ITER 4654 NEW BEST:: SOT 30322 SOS 23954 HAS SOPS 23954 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6385.954
AT ITER 4657 NEW BEST:: SOT 30304 SOS 23936 HAS SOPS 23936 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6349.936
AT ITER 4703 NEW BEST:: SOT 30318 SOS 23950 HAS SOPS 23950 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6333.95
AT ITER 4709 NEW BEST:: SOT 30316 SOS 23948 HAS SOPS 23948 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6329.948
AT ITER 4710 NEW BEST:: SOT 30306 SOS 23938 HAS SOPS 23938 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6309.938
AT ITER 4730 NEW BEST:: SOT 30306 SOS 23938 HAS SOPS 23938 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6299.938
AT ITER 4740 NEW BEST:: SOT 30302 SOS 23934 HAS SOPS 23934 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6291.934
AT ITER 4790 NEW BEST:: SOT 30016 SOS 23666 HAS SOPS 23666 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6017.666
AT ITER 4807 NEW BEST:: SOT 30016 SOS 23666 HAS SOPS 23666 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 6009.666
AT ITER 4858 NEW BEST:: SOT 30006 SOS 23656 HAS SOPS 23656 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5989.656
AT ITER 4890 NEW BEST:: SOT 29806 SOS 23578 HAS SOPS 23578 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5863.578
AT ITER 4920 NEW BEST:: SOT 29806 SOS 23578 HAS SOPS 23578 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5851.578
AT ITER 5011 NEW BEST:: SOT 29804 SOS 23576 HAS SOPS 23576 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5847.576
AT ITER 5013 NEW BEST:: SOT 29804 SOS 23576 HAS SOPS 23576 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5833.576
AT ITER 5100 NEW BEST:: SOT 29804 SOS 23580 HAS SOPS 23580 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5825.58
AT ITER 5153 NEW BEST:: SOT 29804 SOS 23580 HAS SOPS 23580 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5817.58
AT ITER 5210 NEW BEST:: SOT 29804 SOS 23408 HAS SOPS 23408 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5815.408
AT ITER 5250 NEW BEST:: SOT 29804 SOS 23408 HAS SOPS 23408 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5809.408
AT ITER 5280 NEW BEST:: SOT 29754 SOS 23358 HAS SOPS 23358 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5757.358
AT ITER 5288 NEW BEST:: SOT 29750 SOS 23354 HAS SOPS 23354 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5753.354
AT ITER 5350 NEW BEST:: SOT 29740 SOS 23344 HAS SOPS 23344 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5733.344
AT ITER 5355 NEW BEST:: SOT 29736 SOS 23340 HAS SOPS 23340 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5729.34
AT ITER 5360 NEW BEST:: SOT 29736 SOS 23334 HAS SOPS 23334 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5723.334
AT ITER 5383 NEW BEST:: SOT 29732 SOS 23330 HAS SOPS 23330 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5705.33
AT ITER 5387 NEW BEST:: SOT 29732 SOS 23324 HAS SOPS 23324 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5699.324
AT ITER 5414 NEW BEST:: SOT 29732 SOS 23322 HAS SOPS 23322 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5697.322
AT ITER 5435 NEW BEST:: SOT 29732 SOS 23318 HAS SOPS 23318 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5693.318
AT ITER 5437 NEW BEST:: SOT 29730 SOS 23316 HAS SOPS 23316 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5689.316
AT ITER 5483 NEW BEST:: SOT 29726 SOS 23312 HAS SOPS 23312 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5681.312
AT ITER 5511 NEW BEST:: SOT 29724 SOS 23310 HAS SOPS 23310 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5677.31
AT ITER 5540 NEW BEST:: SOT 29716 SOS 23302 HAS SOPS 23302 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5661.302
AT ITER 5598 NEW BEST:: SOT 29714 SOS 23300 HAS SOPS 23300 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5657.3
AT ITER 5603 NEW BEST:: SOT 29706 SOS 23292 HAS SOPS 23292 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5641.292
AT ITER 5617 NEW BEST:: SOT 29706 SOS 23292 HAS SOPS 23292 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5639.292
AT ITER 5730 NEW BEST:: SOT 29702 SOS 23288 HAS SOPS 23288 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5631.288
AT ITER 5781 NEW BEST:: SOT 29696 SOS 23282 HAS SOPS 23282 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5619.282
AT ITER 5891 NEW BEST:: SOT 29680 SOS 25010 HAS SOPS 25010 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5613.01
AT ITER 5961 NEW BEST:: SOT 29680 SOS 24944 HAS SOPS 24944 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5596.944
AT ITER 6034 NEW BEST:: SOT 29680 SOS 24940 HAS SOPS 24940 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5592.94
AT ITER 6080 NEW BEST:: SOT 29674 SOS 24934 HAS SOPS 24934 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5580.934
AT ITER 6161 NEW BEST:: SOT 29670 SOS 24930 HAS SOPS 24930 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5572.93
AT ITER 6188 NEW BEST:: SOT 29664 SOS 24924 HAS SOPS 24924 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5560.924
AT ITER 6205 NEW BEST:: SOT 29664 SOS 24922 HAS SOPS 24922 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5558.922
AT ITER 6206 NEW BEST:: SOT 29664 SOS 24922 HAS SOPS 24922 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5556.922
AT ITER 6264 NEW BEST:: SOT 29664 SOS 24916 HAS SOPS 24916 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5546.916
AT ITER 6283 NEW BEST:: SOT 29664 SOS 24908 HAS SOPS 24908 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5546.908
AT ITER 6284 NEW BEST:: SOT 29664 SOS 24906 HAS SOPS 24906 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5544.906
AT ITER 6308 NEW BEST:: SOT 29662 SOS 24904 HAS SOPS 24904 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5542.904
AT ITER 6342 NEW BEST:: SOT 29656 SOS 24898 HAS SOPS 24898 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5536.898
AT ITER 6449 NEW BEST:: SOT 29656 SOS 24898 HAS SOPS 24898 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5520.898
AT ITER 6497 NEW BEST:: SOT 29654 SOS 24896 HAS SOPS 24896 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5516.896
AT ITER 6616 NEW BEST:: SOT 29654 SOS 24896 HAS SOPS 24896 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5512.896
AT ITER 6750 NEW BEST:: SOT 29654 SOS 24896 HAS SOPS 24896 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5506.896
AT ITER 6771 NEW BEST:: SOT 29646 SOS 24888 HAS SOPS 24888 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5490.888
AT ITER 6841 NEW BEST:: SOT 29640 SOS 24882 HAS SOPS 24882 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5478.882
AT ITER 6930 NEW BEST:: SOT 29628 SOS 24870 HAS SOPS 24870 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5454.87
AT ITER 6984 NEW BEST:: SOT 29620 SOS 24862 HAS SOPS 24862 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5438.862
AT ITER 6985 NEW BEST:: SOT 29620 SOS 24868 HAS SOPS 24868 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5436.868
AT ITER 7029 NEW BEST:: SOT 29618 SOS 24866 HAS SOPS 24866 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5432.866
AT ITER 7030 NEW BEST:: SOT 29618 SOS 24866 HAS SOPS 24866 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5430.866
AT ITER 7054 NEW BEST:: SOT 29618 SOS 24820 HAS SOPS 24820 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5428.82
AT ITER 7091 NEW BEST:: SOT 29616 SOS 24818 HAS SOPS 24818 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5424.818
AT ITER 7153 NEW BEST:: SOT 29614 SOS 24816 HAS SOPS 24816 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5420.816
AT ITER 7268 NEW BEST:: SOT 29614 SOS 24786 HAS SOPS 24786 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5418.786
AT ITER 7344 NEW BEST:: SOT 29548 SOS 24782 HAS SOPS 24782 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5414.782
AT ITER 7422 NEW BEST:: SOT 29548 SOS 24778 HAS SOPS 24778 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5410.778
AT ITER 7562 NEW BEST:: SOT 29544 SOS 24774 HAS SOPS 24774 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5402.774
AT ITER 7577 NEW BEST:: SOT 29544 SOS 24774 HAS SOPS 24774 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5400.774
AT ITER 7591 NEW BEST:: SOT 29480 SOS 24766 HAS SOPS 24766 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5392.766
AT ITER 7623 NEW BEST:: SOT 29418 SOS 24722 HAS SOPS 24722 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5348.722
AT ITER 7638 NEW BEST:: SOT 29418 SOS 24716 HAS SOPS 24716 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5348.716
AT ITER 7676 NEW BEST:: SOT 29402 SOS 24700 HAS SOPS 24700 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5332.7
AT ITER 7705 NEW BEST:: SOT 29402 SOS 24700 HAS SOPS 24700 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5320.7
AT ITER 7761 NEW BEST:: SOT 29400 SOS 24698 HAS SOPS 24698 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5316.698
AT ITER 7772 NEW BEST:: SOT 29384 SOS 24682 HAS SOPS 24682 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5284.682
AT ITER 7830 NEW BEST:: SOT 29384 SOS 24682 HAS SOPS 24682 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5276.682
AT ITER 7834 NEW BEST:: SOT 29382 SOS 24680 HAS SOPS 24680 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5274.68
AT ITER 7924 NEW BEST:: SOT 29370 SOS 24668 HAS SOPS 24668 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5266.668
AT ITER 7936 NEW BEST:: SOT 29194 SOS 24498 HAS SOPS 24498 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5094.498
AT ITER 7949 NEW BEST:: SOT 29188 SOS 24492 HAS SOPS 24492 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5082.492
AT ITER 7985 NEW BEST:: SOT 29188 SOS 24490 HAS SOPS 24490 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5080.49
AT ITER 7986 NEW BEST:: SOT 29188 SOS 24490 HAS SOPS 24490 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5060.49
AT ITER 8003 NEW BEST:: SOT 29188 SOS 24490 HAS SOPS 24490 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5058.49
AT ITER 8142 NEW BEST:: SOT 29184 SOS 24486 HAS SOPS 24486 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5036.486
AT ITER 8177 NEW BEST:: SOT 29184 SOS 24482 HAS SOPS 24482 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5032.482
AT ITER 8182 NEW BEST:: SOT 29182 SOS 24480 HAS SOPS 24480 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5028.48
AT ITER 8192 NEW BEST:: SOT 29180 SOS 24478 HAS SOPS 24478 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5024.478
AT ITER 8453 NEW BEST:: SOT 29176 SOS 24474 HAS SOPS 24474 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 5016.474
AT ITER 8461 NEW BEST:: SOT 29170 SOS 24468 HAS SOPS 24468 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 5004.468
AT ITER 8569 NEW BEST:: SOT 29160 SOS 24458 HAS SOPS 24458 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4984.458
AT ITER 8613 NEW BEST:: SOT 29160 SOS 24458 HAS SOPS 24458 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4966.458
AT ITER 8649 NEW BEST:: SOT 29156 SOS 24454 HAS SOPS 24454 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4958.454
AT ITER 8655 NEW BEST:: SOT 28930 SOS 24322 HAS SOPS 24322 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4822.322
AT ITER 8745 NEW BEST:: SOT 28928 SOS 24320 HAS SOPS 24320 HAS SOUS 4794 HAS SOUPS 4794 WITH SCORE 4818.32
AT ITER 8813 NEW BEST:: SOT 28924 SOS 24316 HAS SOPS 24316 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4810.316
AT ITER 8855 NEW BEST:: SOT 28924 SOS 24316 HAS SOPS 24316 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4808.316
AT ITER 8875 NEW BEST:: SOT 28920 SOS 24342 HAS SOPS 24342 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4794.342
AT ITER 8881 NEW BEST:: SOT 28920 SOS 24342 HAS SOPS 24342 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4786.342
AT ITER 8973 NEW BEST:: SOT 28916 SOS 24338 HAS SOPS 24338 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4778.338
AT ITER 8975 NEW BEST:: SOT 28916 SOS 24330 HAS SOPS 24330 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4778.33
AT ITER 9045 NEW BEST:: SOT 28900 SOS 24314 HAS SOPS 24314 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4736.314
AT ITER 9046 NEW BEST:: SOT 28900 SOS 24314 HAS SOPS 24314 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4726.314
AT ITER 9066 NEW BEST:: SOT 28894 SOS 24308 HAS SOPS 24308 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4720.308
AT ITER 9221 NEW BEST:: SOT 28888 SOS 24302 HAS SOPS 24302 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4708.302
AT ITER 9225 NEW BEST:: SOT 28884 SOS 24298 HAS SOPS 24298 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4700.298
AT ITER 9269 NEW BEST:: SOT 28884 SOS 24238 HAS SOPS 24238 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4700.238
AT ITER 9346 NEW BEST:: SOT 28882 SOS 24236 HAS SOPS 24236 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4696.236
AT ITER 9359 NEW BEST:: SOT 28882 SOS 24222 HAS SOPS 24222 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4696.222
AT ITER 9377 NEW BEST:: SOT 28878 SOS 24218 HAS SOPS 24218 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4684.218
AT ITER 9387 NEW BEST:: SOT 28878 SOS 24218 HAS SOPS 24218 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4674.218
AT ITER 9392 NEW BEST:: SOT 28878 SOS 24200 HAS SOPS 24200 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4674.2
AT ITER 9485 NEW BEST:: SOT 28878 SOS 24196 HAS SOPS 24196 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4670.196
AT ITER 9505 NEW BEST:: SOT 28822 SOS 24150 HAS SOPS 24150 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4624.15
AT ITER 9528 NEW BEST:: SOT 28820 SOS 24148 HAS SOPS 24148 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4620.148
AT ITER 9532 NEW BEST:: SOT 28820 SOS 24148 HAS SOPS 24148 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4614.148
AT ITER 9578 NEW BEST:: SOT 28798 SOS 24158 HAS SOPS 24158 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4572.158
AT ITER 9726 NEW BEST:: SOT 28796 SOS 24156 HAS SOPS 24156 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4568.156
AT ITER 9735 NEW BEST:: SOT 28796 SOS 24144 HAS SOPS 24144 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4568.144
AT ITER 9757 NEW BEST:: SOT 28796 SOS 24146 HAS SOPS 24146 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4564.146
AT ITER 9799 NEW BEST:: SOT 28794 SOS 24144 HAS SOPS 24144 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4560.144
AT ITER 9919 NEW BEST:: SOT 28794 SOS 24144 HAS SOPS 24144 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4550.144
AT ITER 9934 NEW BEST:: SOT 28794 SOS 24118 HAS SOPS 24118 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4550.118
AT ITER 9958 NEW BEST:: SOT 28790 SOS 24114 HAS SOPS 24114 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4542.114
STATE_SPACE STATES 1124 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 120 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10440 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589742748887

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

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="RwMutex-PT-r0010w0100"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is RwMutex-PT-r0010w0100, 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 r153-oct2-158972910000272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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