About the Execution of smart for RwMutex-PT-r0100w0010
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.410 | 3600000.00 | 3592040.00 | 0.00 | FT?????????????? | normal |
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-158972910100307.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-r0100w0010, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910100307
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 380K
-rw-r--r-- 1 mcc users 3.9K Apr 12 12:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 12:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 13:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 13:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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.9K Apr 10 17:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 17:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 23:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 23:43 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 195K Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-00
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-01
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-02
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-03
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-04
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-05
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-06
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-07
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-08
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-09
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-10
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-11
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-12
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-13
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-14
FORMULA_NAME RwMutex-PT-r0100w0010-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589744149831
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0100w0010
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 320 places, 220 transitions, 2640 arcs.
AT ITER 0 NEW BEST:: SOT 60064 SOS 47856 HAS SOPS 47856 HAS SOUS 47856 HAS SOUPS 47856 WITH SCORE 47903.856
AT ITER 2 NEW BEST:: SOT 60064 SOS 47712 HAS SOPS 47712 HAS SOUS 47712 HAS SOUPS 47712 WITH SCORE 47759.712
AT ITER 4 NEW BEST:: SOT 59864 SOS 48176 HAS SOPS 48176 HAS SOUS 47584 HAS SOUPS 47584 WITH SCORE 47632.176
AT ITER 8 NEW BEST:: SOT 59864 SOS 47980 HAS SOPS 47980 HAS SOUS 47388 HAS SOUPS 47388 WITH SCORE 47435.98
AT ITER 10 NEW BEST:: SOT 59716 SOS 48196 HAS SOPS 48196 HAS SOUS 47064 HAS SOUPS 47064 WITH SCORE 47112.196
AT ITER 11 NEW BEST:: SOT 59706 SOS 48186 HAS SOPS 48186 HAS SOUS 47054 HAS SOUPS 47054 WITH SCORE 47102.186
AT ITER 12 NEW BEST:: SOT 59706 SOS 48036 HAS SOPS 48036 HAS SOUS 46904 HAS SOUPS 46904 WITH SCORE 46952.036
AT ITER 17 NEW BEST:: SOT 59706 SOS 47898 HAS SOPS 47898 HAS SOUS 46766 HAS SOUPS 46766 WITH SCORE 46813.898
AT ITER 18 NEW BEST:: SOT 59506 SOS 47698 HAS SOPS 47698 HAS SOUS 46542 HAS SOUPS 46542 WITH SCORE 46589.698
AT ITER 20 NEW BEST:: SOT 59506 SOS 47572 HAS SOPS 47572 HAS SOUS 46542 HAS SOUPS 46542 WITH SCORE 46589.572
AT ITER 21 NEW BEST:: SOT 59430 SOS 47496 HAS SOPS 47496 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46513.496
AT ITER 22 NEW BEST:: SOT 59430 SOS 47266 HAS SOPS 47266 HAS SOUS 46236 HAS SOUPS 46236 WITH SCORE 46283.266
AT ITER 23 NEW BEST:: SOT 59252 SOS 47088 HAS SOPS 47088 HAS SOUS 46058 HAS SOUPS 46058 WITH SCORE 46105.088
AT ITER 27 NEW BEST:: SOT 59092 SOS 46928 HAS SOPS 46928 HAS SOUS 45898 HAS SOUPS 45898 WITH SCORE 45944.928
AT ITER 29 NEW BEST:: SOT 58892 SOS 46496 HAS SOPS 46496 HAS SOUS 45496 HAS SOUPS 45496 WITH SCORE 45542.496
AT ITER 31 NEW BEST:: SOT 58892 SOS 46310 HAS SOPS 46310 HAS SOUS 45310 HAS SOUPS 45310 WITH SCORE 45356.31
AT ITER 32 NEW BEST:: SOT 58892 SOS 46286 HAS SOPS 46286 HAS SOUS 45286 HAS SOUPS 45286 WITH SCORE 45332.286
AT ITER 33 NEW BEST:: SOT 58892 SOS 46262 HAS SOPS 46262 HAS SOUS 45262 HAS SOUPS 45262 WITH SCORE 45308.262
AT ITER 35 NEW BEST:: SOT 58766 SOS 46136 HAS SOPS 46136 HAS SOUS 45136 HAS SOUPS 45136 WITH SCORE 45182.136
AT ITER 38 NEW BEST:: SOT 58694 SOS 46028 HAS SOPS 46028 HAS SOUS 44936 HAS SOUPS 44936 WITH SCORE 44982.028
AT ITER 39 NEW BEST:: SOT 58686 SOS 46020 HAS SOPS 46020 HAS SOUS 44928 HAS SOUPS 44928 WITH SCORE 44974.02
AT ITER 40 NEW BEST:: SOT 58612 SOS 45820 HAS SOPS 45820 HAS SOUS 44728 HAS SOUPS 44728 WITH SCORE 44773.82
AT ITER 41 NEW BEST:: SOT 58412 SOS 45620 HAS SOPS 45620 HAS SOUS 44528 HAS SOUPS 44528 WITH SCORE 44573.62
AT ITER 42 NEW BEST:: SOT 58212 SOS 45194 HAS SOPS 45194 HAS SOUS 44102 HAS SOUPS 44102 WITH SCORE 44147.194
AT ITER 43 NEW BEST:: SOT 58012 SOS 44760 HAS SOPS 44760 HAS SOUS 43678 HAS SOUPS 43678 WITH SCORE 43722.76
AT ITER 44 NEW BEST:: SOT 57990 SOS 44738 HAS SOPS 44738 HAS SOUS 43632 HAS SOUPS 43632 WITH SCORE 43676.738
AT ITER 45 NEW BEST:: SOT 57790 SOS 44308 HAS SOPS 44308 HAS SOUS 43202 HAS SOUPS 43202 WITH SCORE 43246.308
AT ITER 46 NEW BEST:: SOT 57738 SOS 44256 HAS SOPS 44256 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43194.256
AT ITER 48 NEW BEST:: SOT 57586 SOS 44668 HAS SOPS 44668 HAS SOUS 42984 HAS SOUPS 42984 WITH SCORE 43028.668
AT ITER 49 NEW BEST:: SOT 57586 SOS 44480 HAS SOPS 44480 HAS SOUS 42796 HAS SOUPS 42796 WITH SCORE 42840.48
AT ITER 50 NEW BEST:: SOT 57494 SOS 44388 HAS SOPS 44388 HAS SOUS 42704 HAS SOUPS 42704 WITH SCORE 42748.388
AT ITER 51 NEW BEST:: SOT 57294 SOS 44188 HAS SOPS 44188 HAS SOUS 42504 HAS SOUPS 42504 WITH SCORE 42548.188
AT ITER 52 NEW BEST:: SOT 57294 SOS 44188 HAS SOPS 44188 HAS SOUS 42480 HAS SOUPS 42480 WITH SCORE 42524.188
AT ITER 54 NEW BEST:: SOT 57138 SOS 44032 HAS SOPS 44032 HAS SOUS 42324 HAS SOUPS 42324 WITH SCORE 42368.032
AT ITER 56 NEW BEST:: SOT 57088 SOS 43982 HAS SOPS 43982 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42317.982
AT ITER 59 NEW BEST:: SOT 56888 SOS 43558 HAS SOPS 43558 HAS SOUS 41850 HAS SOUPS 41850 WITH SCORE 41893.558
AT ITER 61 NEW BEST:: SOT 56766 SOS 43314 HAS SOPS 43314 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41649.314
AT ITER 62 NEW BEST:: SOT 56638 SOS 43186 HAS SOPS 43186 HAS SOUS 41478 HAS SOUPS 41478 WITH SCORE 41521.186
AT ITER 63 NEW BEST:: SOT 56612 SOS 42960 HAS SOPS 42960 HAS SOUS 41252 HAS SOUPS 41252 WITH SCORE 41294.96
AT ITER 65 NEW BEST:: SOT 56612 SOS 42952 HAS SOPS 42952 HAS SOUS 41244 HAS SOUPS 41244 WITH SCORE 41286.952
AT ITER 66 NEW BEST:: SOT 56454 SOS 42794 HAS SOPS 42794 HAS SOUS 41086 HAS SOUPS 41086 WITH SCORE 41128.794
AT ITER 67 NEW BEST:: SOT 56454 SOS 42700 HAS SOPS 42700 HAS SOUS 40992 HAS SOUPS 40992 WITH SCORE 41034.7
AT ITER 69 NEW BEST:: SOT 56454 SOS 42522 HAS SOPS 42522 HAS SOUS 40814 HAS SOUPS 40814 WITH SCORE 40856.522
AT ITER 70 NEW BEST:: SOT 56400 SOS 42468 HAS SOPS 42468 HAS SOUS 40760 HAS SOUPS 40760 WITH SCORE 40802.468
AT ITER 71 NEW BEST:: SOT 56272 SOS 42350 HAS SOPS 42350 HAS SOUS 40642 HAS SOUPS 40642 WITH SCORE 40684.35
AT ITER 76 NEW BEST:: SOT 56198 SOS 42260 HAS SOPS 42260 HAS SOUS 40552 HAS SOUPS 40552 WITH SCORE 40594.26
AT ITER 77 NEW BEST:: SOT 56180 SOS 42332 HAS SOPS 42332 HAS SOUS 40532 HAS SOUPS 40532 WITH SCORE 40574.332
AT ITER 79 NEW BEST:: SOT 56180 SOS 42130 HAS SOPS 42130 HAS SOUS 40330 HAS SOUPS 40330 WITH SCORE 40372.13
AT ITER 82 NEW BEST:: SOT 55980 SOS 41930 HAS SOPS 41930 HAS SOUS 40130 HAS SOUPS 40130 WITH SCORE 40171.93
AT ITER 86 NEW BEST:: SOT 55780 SOS 41366 HAS SOPS 41366 HAS SOUS 39584 HAS SOUPS 39584 WITH SCORE 39625.366
AT ITER 88 NEW BEST:: SOT 55580 SOS 41166 HAS SOPS 41166 HAS SOUS 39384 HAS SOUPS 39384 WITH SCORE 39425.166
AT ITER 89 NEW BEST:: SOT 55602 SOS 41036 HAS SOPS 41036 HAS SOUS 39254 HAS SOUPS 39254 WITH SCORE 39295.036
AT ITER 92 NEW BEST:: SOT 55402 SOS 40612 HAS SOPS 40612 HAS SOUS 38830 HAS SOUPS 38830 WITH SCORE 38870.612
AT ITER 93 NEW BEST:: SOT 55402 SOS 40612 HAS SOPS 40612 HAS SOUS 38688 HAS SOUPS 38688 WITH SCORE 38728.612
AT ITER 96 NEW BEST:: SOT 55402 SOS 40538 HAS SOPS 40538 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38654.538
AT ITER 100 NEW BEST:: SOT 55246 SOS 40334 HAS SOPS 40334 HAS SOUS 38410 HAS SOUPS 38410 WITH SCORE 38450.334
AT ITER 102 NEW BEST:: SOT 55062 SOS 39950 HAS SOPS 39950 HAS SOUS 38026 HAS SOUPS 38026 WITH SCORE 38065.95
AT ITER 105 NEW BEST:: SOT 54936 SOS 39736 HAS SOPS 39736 HAS SOUS 37812 HAS SOUPS 37812 WITH SCORE 37851.736
AT ITER 109 NEW BEST:: SOT 54768 SOS 39568 HAS SOPS 39568 HAS SOUS 37644 HAS SOUPS 37644 WITH SCORE 37683.568
AT ITER 110 NEW BEST:: SOT 54782 SOS 39476 HAS SOPS 39476 HAS SOUS 37552 HAS SOUPS 37552 WITH SCORE 37591.476
AT ITER 114 NEW BEST:: SOT 54582 SOS 39464 HAS SOPS 39464 HAS SOUS 37540 HAS SOUPS 37540 WITH SCORE 37579.464
AT ITER 116 NEW BEST:: SOT 54510 SOS 39392 HAS SOPS 39392 HAS SOUS 37468 HAS SOUPS 37468 WITH SCORE 37507.392
AT ITER 117 NEW BEST:: SOT 54446 SOS 39242 HAS SOPS 39242 HAS SOUS 37318 HAS SOUPS 37318 WITH SCORE 37357.242
AT ITER 118 NEW BEST:: SOT 54446 SOS 39084 HAS SOPS 39084 HAS SOUS 37318 HAS SOUPS 37318 WITH SCORE 37357.084
AT ITER 121 NEW BEST:: SOT 54446 SOS 38868 HAS SOPS 38868 HAS SOUS 37102 HAS SOUPS 37102 WITH SCORE 37140.868
AT ITER 124 NEW BEST:: SOT 54506 SOS 38692 HAS SOPS 38692 HAS SOUS 36926 HAS SOUPS 36926 WITH SCORE 36964.692
AT ITER 125 NEW BEST:: SOT 54506 SOS 38674 HAS SOPS 38674 HAS SOUS 36908 HAS SOUPS 36908 WITH SCORE 36946.674
AT ITER 126 NEW BEST:: SOT 54506 SOS 38774 HAS SOPS 38774 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36904.774
AT ITER 127 NEW BEST:: SOT 54490 SOS 38758 HAS SOPS 38758 HAS SOUS 36850 HAS SOUPS 36850 WITH SCORE 36888.758
AT ITER 129 NEW BEST:: SOT 54490 SOS 38734 HAS SOPS 38734 HAS SOUS 36826 HAS SOUPS 36826 WITH SCORE 36864.734
AT ITER 133 NEW BEST:: SOT 54478 SOS 38722 HAS SOPS 38722 HAS SOUS 36814 HAS SOUPS 36814 WITH SCORE 36852.722
AT ITER 135 NEW BEST:: SOT 54436 SOS 38680 HAS SOPS 38680 HAS SOUS 36730 HAS SOUPS 36730 WITH SCORE 36768.68
AT ITER 137 NEW BEST:: SOT 54412 SOS 38656 HAS SOPS 38656 HAS SOUS 36706 HAS SOUPS 36706 WITH SCORE 36744.656
AT ITER 138 NEW BEST:: SOT 54288 SOS 38578 HAS SOPS 38578 HAS SOUS 36628 HAS SOUPS 36628 WITH SCORE 36666.578
AT ITER 139 NEW BEST:: SOT 54172 SOS 38462 HAS SOPS 38462 HAS SOUS 36512 HAS SOUPS 36512 WITH SCORE 36550.462
AT ITER 140 NEW BEST:: SOT 54172 SOS 38434 HAS SOPS 38434 HAS SOUS 36484 HAS SOUPS 36484 WITH SCORE 36522.434
AT ITER 142 NEW BEST:: SOT 53922 SOS 38242 HAS SOPS 38242 HAS SOUS 36292 HAS SOUPS 36292 WITH SCORE 36330.242
AT ITER 144 NEW BEST:: SOT 53922 SOS 38212 HAS SOPS 38212 HAS SOUS 36262 HAS SOUPS 36262 WITH SCORE 36300.212
AT ITER 145 NEW BEST:: SOT 53934 SOS 38042 HAS SOPS 38042 HAS SOUS 36092 HAS SOUPS 36092 WITH SCORE 36130.042
AT ITER 147 NEW BEST:: SOT 53888 SOS 37996 HAS SOPS 37996 HAS SOUS 36046 HAS SOUPS 36046 WITH SCORE 36083.996
AT ITER 148 NEW BEST:: SOT 53846 SOS 37954 HAS SOPS 37954 HAS SOUS 36004 HAS SOUPS 36004 WITH SCORE 36041.954
AT ITER 149 NEW BEST:: SOT 53720 SOS 37604 HAS SOPS 37604 HAS SOUS 35654 HAS SOUPS 35654 WITH SCORE 35691.604
AT ITER 152 NEW BEST:: SOT 53676 SOS 37560 HAS SOPS 37560 HAS SOUS 35610 HAS SOUPS 35610 WITH SCORE 35647.56
AT ITER 153 NEW BEST:: SOT 53372 SOS 37096 HAS SOPS 37096 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35183.096
AT ITER 154 NEW BEST:: SOT 53290 SOS 36932 HAS SOPS 36932 HAS SOUS 34982 HAS SOUPS 34982 WITH SCORE 35018.932
AT ITER 156 NEW BEST:: SOT 53202 SOS 36728 HAS SOPS 36728 HAS SOUS 34778 HAS SOUPS 34778 WITH SCORE 34814.728
AT ITER 157 NEW BEST:: SOT 53054 SOS 36200 HAS SOPS 36200 HAS SOUS 34250 HAS SOUPS 34250 WITH SCORE 34286.2
AT ITER 159 NEW BEST:: SOT 52906 SOS 36052 HAS SOPS 36052 HAS SOUS 34102 HAS SOUPS 34102 WITH SCORE 34138.052
AT ITER 160 NEW BEST:: SOT 52780 SOS 35926 HAS SOPS 35926 HAS SOUS 33976 HAS SOUPS 33976 WITH SCORE 34011.926
AT ITER 161 NEW BEST:: SOT 52780 SOS 35722 HAS SOPS 35722 HAS SOUS 33772 HAS SOUPS 33772 WITH SCORE 33807.722
AT ITER 165 NEW BEST:: SOT 52780 SOS 35658 HAS SOPS 35658 HAS SOUS 33772 HAS SOUPS 33772 WITH SCORE 33807.658
AT ITER 167 NEW BEST:: SOT 52776 SOS 35422 HAS SOPS 35422 HAS SOUS 33536 HAS SOUPS 33536 WITH SCORE 33571.422
AT ITER 168 NEW BEST:: SOT 52708 SOS 35270 HAS SOPS 35270 HAS SOUS 33384 HAS SOUPS 33384 WITH SCORE 33419.27
AT ITER 174 NEW BEST:: SOT 52708 SOS 35158 HAS SOPS 35158 HAS SOUS 33272 HAS SOUPS 33272 WITH SCORE 33307.158
AT ITER 175 NEW BEST:: SOT 52556 SOS 34976 HAS SOPS 34976 HAS SOUS 33090 HAS SOUPS 33090 WITH SCORE 33124.976
AT ITER 183 NEW BEST:: SOT 52520 SOS 34860 HAS SOPS 34860 HAS SOUS 32974 HAS SOUPS 32974 WITH SCORE 33008.86
AT ITER 186 NEW BEST:: SOT 52442 SOS 34782 HAS SOPS 34782 HAS SOUS 32896 HAS SOUPS 32896 WITH SCORE 32930.782
AT ITER 189 NEW BEST:: SOT 52436 SOS 34644 HAS SOPS 34644 HAS SOUS 32758 HAS SOUPS 32758 WITH SCORE 32792.644
AT ITER 192 NEW BEST:: SOT 52378 SOS 34542 HAS SOPS 34542 HAS SOUS 32656 HAS SOUPS 32656 WITH SCORE 32690.542
AT ITER 197 NEW BEST:: SOT 52280 SOS 34444 HAS SOPS 34444 HAS SOUS 32558 HAS SOUPS 32558 WITH SCORE 32592.444
AT ITER 201 NEW BEST:: SOT 52328 SOS 34360 HAS SOPS 34360 HAS SOUS 32474 HAS SOUPS 32474 WITH SCORE 32508.36
AT ITER 205 NEW BEST:: SOT 52210 SOS 34182 HAS SOPS 34182 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32330.182
AT ITER 206 NEW BEST:: SOT 52210 SOS 34126 HAS SOPS 34126 HAS SOUS 32240 HAS SOUPS 32240 WITH SCORE 32274.126
AT ITER 220 NEW BEST:: SOT 52160 SOS 34076 HAS SOPS 34076 HAS SOUS 32190 HAS SOUPS 32190 WITH SCORE 32224.076
AT ITER 223 NEW BEST:: SOT 52160 SOS 34044 HAS SOPS 34044 HAS SOUS 32158 HAS SOUPS 32158 WITH SCORE 32192.044
AT ITER 232 NEW BEST:: SOT 51764 SOS 33648 HAS SOPS 33648 HAS SOUS 31762 HAS SOUPS 31762 WITH SCORE 31795.648
AT ITER 234 NEW BEST:: SOT 51672 SOS 33512 HAS SOPS 33512 HAS SOUS 31626 HAS SOUPS 31626 WITH SCORE 31659.512
AT ITER 237 NEW BEST:: SOT 51656 SOS 33496 HAS SOPS 33496 HAS SOUS 31610 HAS SOUPS 31610 WITH SCORE 31643.496
AT ITER 238 NEW BEST:: SOT 51666 SOS 33490 HAS SOPS 33490 HAS SOUS 31604 HAS SOUPS 31604 WITH SCORE 31637.49
AT ITER 239 NEW BEST:: SOT 51692 SOS 33470 HAS SOPS 33470 HAS SOUS 31584 HAS SOUPS 31584 WITH SCORE 31617.47
AT ITER 241 NEW BEST:: SOT 51692 SOS 33326 HAS SOPS 33326 HAS SOUS 31440 HAS SOUPS 31440 WITH SCORE 31473.326
AT ITER 242 NEW BEST:: SOT 51692 SOS 33250 HAS SOPS 33250 HAS SOUS 31364 HAS SOUPS 31364 WITH SCORE 31397.25
AT ITER 243 NEW BEST:: SOT 51546 SOS 32904 HAS SOPS 32904 HAS SOUS 31018 HAS SOUPS 31018 WITH SCORE 31050.904
AT ITER 244 NEW BEST:: SOT 51526 SOS 32784 HAS SOPS 32784 HAS SOUS 30898 HAS SOUPS 30898 WITH SCORE 30930.784
AT ITER 245 NEW BEST:: SOT 51494 SOS 32758 HAS SOPS 32758 HAS SOUS 30872 HAS SOUPS 30872 WITH SCORE 30904.758
AT ITER 247 NEW BEST:: SOT 51494 SOS 32748 HAS SOPS 32748 HAS SOUS 30862 HAS SOUPS 30862 WITH SCORE 30894.748
AT ITER 250 NEW BEST:: SOT 51228 SOS 32494 HAS SOPS 32494 HAS SOUS 30608 HAS SOUPS 30608 WITH SCORE 30640.494
AT ITER 252 NEW BEST:: SOT 51204 SOS 32446 HAS SOPS 32446 HAS SOUS 30560 HAS SOUPS 30560 WITH SCORE 30592.446
AT ITER 253 NEW BEST:: SOT 51108 SOS 32350 HAS SOPS 32350 HAS SOUS 30308 HAS SOUPS 30308 WITH SCORE 30340.35
AT ITER 254 NEW BEST:: SOT 51090 SOS 32332 HAS SOPS 32332 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30322.332
AT ITER 256 NEW BEST:: SOT 51036 SOS 32278 HAS SOPS 32278 HAS SOUS 30236 HAS SOUPS 30236 WITH SCORE 30268.278
AT ITER 257 NEW BEST:: SOT 50972 SOS 32214 HAS SOPS 32214 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30204.214
AT ITER 263 NEW BEST:: SOT 50896 SOS 31904 HAS SOPS 31904 HAS SOUS 29862 HAS SOUPS 29862 WITH SCORE 29893.904
AT ITER 265 NEW BEST:: SOT 50814 SOS 31818 HAS SOPS 31818 HAS SOUS 29776 HAS SOUPS 29776 WITH SCORE 29807.818
AT ITER 268 NEW BEST:: SOT 50814 SOS 31804 HAS SOPS 31804 HAS SOUS 29762 HAS SOUPS 29762 WITH SCORE 29793.804
AT ITER 271 NEW BEST:: SOT 50728 SOS 31658 HAS SOPS 31658 HAS SOUS 29602 HAS SOUPS 29602 WITH SCORE 29633.658
AT ITER 276 NEW BEST:: SOT 50660 SOS 31590 HAS SOPS 31590 HAS SOUS 29534 HAS SOUPS 29534 WITH SCORE 29565.59
AT ITER 284 NEW BEST:: SOT 50660 SOS 31590 HAS SOPS 31590 HAS SOUS 29398 HAS SOUPS 29398 WITH SCORE 29429.59
AT ITER 286 NEW BEST:: SOT 50460 SOS 31134 HAS SOPS 31134 HAS SOUS 28942 HAS SOUPS 28942 WITH SCORE 28973.134
AT ITER 292 NEW BEST:: SOT 50438 SOS 31028 HAS SOPS 31028 HAS SOUS 28836 HAS SOUPS 28836 WITH SCORE 28867.028
AT ITER 295 NEW BEST:: SOT 50438 SOS 30982 HAS SOPS 30982 HAS SOUS 28790 HAS SOUPS 28790 WITH SCORE 28820.982
AT ITER 297 NEW BEST:: SOT 50256 SOS 30718 HAS SOPS 30718 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28556.718
AT ITER 301 NEW BEST:: SOT 50318 SOS 30696 HAS SOPS 30696 HAS SOUS 28504 HAS SOUPS 28504 WITH SCORE 28534.696
AT ITER 302 NEW BEST:: SOT 50248 SOS 30626 HAS SOPS 30626 HAS SOUS 28434 HAS SOUPS 28434 WITH SCORE 28464.626
AT ITER 307 NEW BEST:: SOT 50212 SOS 30590 HAS SOPS 30590 HAS SOUS 28398 HAS SOUPS 28398 WITH SCORE 28428.59
AT ITER 310 NEW BEST:: SOT 49974 SOS 30158 HAS SOPS 30158 HAS SOUS 27966 HAS SOUPS 27966 WITH SCORE 27996.158
AT ITER 314 NEW BEST:: SOT 49974 SOS 30106 HAS SOPS 30106 HAS SOUS 27914 HAS SOUPS 27914 WITH SCORE 27944.106
AT ITER 315 NEW BEST:: SOT 49878 SOS 30010 HAS SOPS 30010 HAS SOUS 27818 HAS SOUPS 27818 WITH SCORE 27848.01
AT ITER 322 NEW BEST:: SOT 49798 SOS 29842 HAS SOPS 29842 HAS SOUS 27650 HAS SOUPS 27650 WITH SCORE 27679.842
AT ITER 333 NEW BEST:: SOT 49756 SOS 29786 HAS SOPS 29786 HAS SOUS 27594 HAS SOUPS 27594 WITH SCORE 27623.786
AT ITER 338 NEW BEST:: SOT 49744 SOS 29774 HAS SOPS 29774 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27611.774
AT ITER 340 NEW BEST:: SOT 49684 SOS 29714 HAS SOPS 29714 HAS SOUS 27522 HAS SOUPS 27522 WITH SCORE 27551.714
AT ITER 341 NEW BEST:: SOT 49680 SOS 29706 HAS SOPS 29706 HAS SOUS 27514 HAS SOUPS 27514 WITH SCORE 27543.706
AT ITER 346 NEW BEST:: SOT 49680 SOS 29708 HAS SOPS 29708 HAS SOUS 27478 HAS SOUPS 27478 WITH SCORE 27507.708
AT ITER 355 NEW BEST:: SOT 49680 SOS 29632 HAS SOPS 29632 HAS SOUS 27402 HAS SOUPS 27402 WITH SCORE 27431.632
AT ITER 361 NEW BEST:: SOT 49652 SOS 29554 HAS SOPS 29554 HAS SOUS 27324 HAS SOUPS 27324 WITH SCORE 27353.554
AT ITER 364 NEW BEST:: SOT 49586 SOS 29488 HAS SOPS 29488 HAS SOUS 27258 HAS SOUPS 27258 WITH SCORE 27287.488
AT ITER 365 NEW BEST:: SOT 49542 SOS 29344 HAS SOPS 29344 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27143.344
AT ITER 369 NEW BEST:: SOT 49506 SOS 29238 HAS SOPS 29238 HAS SOUS 27008 HAS SOUPS 27008 WITH SCORE 27037.238
AT ITER 378 NEW BEST:: SOT 49496 SOS 29228 HAS SOPS 29228 HAS SOUS 26998 HAS SOUPS 26998 WITH SCORE 27027.228
AT ITER 380 NEW BEST:: SOT 49496 SOS 29122 HAS SOPS 29122 HAS SOUS 26892 HAS SOUPS 26892 WITH SCORE 26921.122
AT ITER 381 NEW BEST:: SOT 49474 SOS 29100 HAS SOPS 29100 HAS SOUS 26870 HAS SOUPS 26870 WITH SCORE 26899.1
AT ITER 382 NEW BEST:: SOT 49418 SOS 28988 HAS SOPS 28988 HAS SOUS 26758 HAS SOUPS 26758 WITH SCORE 26786.988
AT ITER 388 NEW BEST:: SOT 49418 SOS 28988 HAS SOPS 28988 HAS SOUS 26736 HAS SOUPS 26736 WITH SCORE 26764.988
AT ITER 392 NEW BEST:: SOT 49418 SOS 28958 HAS SOPS 28958 HAS SOUS 26706 HAS SOUPS 26706 WITH SCORE 26734.958
AT ITER 393 NEW BEST:: SOT 49452 SOS 28918 HAS SOPS 28918 HAS SOUS 26666 HAS SOUPS 26666 WITH SCORE 26694.918
AT ITER 396 NEW BEST:: SOT 49452 SOS 28904 HAS SOPS 28904 HAS SOUS 26652 HAS SOUPS 26652 WITH SCORE 26680.904
AT ITER 399 NEW BEST:: SOT 49440 SOS 28892 HAS SOPS 28892 HAS SOUS 26640 HAS SOUPS 26640 WITH SCORE 26668.892
AT ITER 405 NEW BEST:: SOT 49384 SOS 28706 HAS SOPS 28706 HAS SOUS 26454 HAS SOUPS 26454 WITH SCORE 26482.706
AT ITER 413 NEW BEST:: SOT 49512 SOS 28616 HAS SOPS 28616 HAS SOUS 26364 HAS SOUPS 26364 WITH SCORE 26392.616
AT ITER 419 NEW BEST:: SOT 49550 SOS 28588 HAS SOPS 28588 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26364.588
AT ITER 420 NEW BEST:: SOT 49470 SOS 28436 HAS SOPS 28436 HAS SOUS 26184 HAS SOUPS 26184 WITH SCORE 26212.436
AT ITER 421 NEW BEST:: SOT 49470 SOS 28604 HAS SOPS 28604 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26210.604
AT ITER 424 NEW BEST:: SOT 49470 SOS 28602 HAS SOPS 28602 HAS SOUS 26180 HAS SOUPS 26180 WITH SCORE 26208.602
AT ITER 425 NEW BEST:: SOT 49432 SOS 28498 HAS SOPS 28498 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26104.498
AT ITER 434 NEW BEST:: SOT 49422 SOS 28488 HAS SOPS 28488 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26094.488
AT ITER 445 NEW BEST:: SOT 49422 SOS 28474 HAS SOPS 28474 HAS SOUS 26052 HAS SOUPS 26052 WITH SCORE 26080.474
AT ITER 448 NEW BEST:: SOT 49394 SOS 28540 HAS SOPS 28540 HAS SOUS 25974 HAS SOUPS 25974 WITH SCORE 26002.54
AT ITER 451 NEW BEST:: SOT 49346 SOS 28444 HAS SOPS 28444 HAS SOUS 25878 HAS SOUPS 25878 WITH SCORE 25906.444
AT ITER 455 NEW BEST:: SOT 49312 SOS 28414 HAS SOPS 28414 HAS SOUS 25848 HAS SOUPS 25848 WITH SCORE 25876.414
AT ITER 459 NEW BEST:: SOT 49156 SOS 28194 HAS SOPS 28194 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25656.194
AT ITER 463 NEW BEST:: SOT 49156 SOS 28194 HAS SOPS 28194 HAS SOUS 25594 HAS SOUPS 25594 WITH SCORE 25622.194
AT ITER 466 NEW BEST:: SOT 49096 SOS 28134 HAS SOPS 28134 HAS SOUS 25534 HAS SOUPS 25534 WITH SCORE 25562.134
AT ITER 471 NEW BEST:: SOT 49096 SOS 28130 HAS SOPS 28130 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 25558.13
AT ITER 473 NEW BEST:: SOT 49096 SOS 28040 HAS SOPS 28040 HAS SOUS 25440 HAS SOUPS 25440 WITH SCORE 25468.04
AT ITER 474 NEW BEST:: SOT 49084 SOS 28016 HAS SOPS 28016 HAS SOUS 25416 HAS SOUPS 25416 WITH SCORE 25444.016
AT ITER 480 NEW BEST:: SOT 49058 SOS 27846 HAS SOPS 27846 HAS SOUS 25246 HAS SOUPS 25246 WITH SCORE 25273.846
AT ITER 482 NEW BEST:: SOT 49078 SOS 27762 HAS SOPS 27762 HAS SOUS 25162 HAS SOUPS 25162 WITH SCORE 25189.762
AT ITER 486 NEW BEST:: SOT 49014 SOS 27698 HAS SOPS 27698 HAS SOUS 25098 HAS SOUPS 25098 WITH SCORE 25125.698
AT ITER 492 NEW BEST:: SOT 49014 SOS 27666 HAS SOPS 27666 HAS SOUS 25066 HAS SOUPS 25066 WITH SCORE 25093.666
AT ITER 495 NEW BEST:: SOT 48970 SOS 27564 HAS SOPS 27564 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 24991.564
AT ITER 496 NEW BEST:: SOT 48940 SOS 27452 HAS SOPS 27452 HAS SOUS 24852 HAS SOUPS 24852 WITH SCORE 24879.452
AT ITER 497 NEW BEST:: SOT 48868 SOS 27380 HAS SOPS 27380 HAS SOUS 24780 HAS SOUPS 24780 WITH SCORE 24807.38
AT ITER 500 NEW BEST:: SOT 48868 SOS 27368 HAS SOPS 27368 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24795.368
AT ITER 503 NEW BEST:: SOT 48870 SOS 27240 HAS SOPS 27240 HAS SOUS 24640 HAS SOUPS 24640 WITH SCORE 24667.24
AT ITER 506 NEW BEST:: SOT 48838 SOS 27228 HAS SOPS 27228 HAS SOUS 24432 HAS SOUPS 24432 WITH SCORE 24459.228
AT ITER 510 NEW BEST:: SOT 48838 SOS 27228 HAS SOPS 27228 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24405.228
AT ITER 514 NEW BEST:: SOT 48838 SOS 27208 HAS SOPS 27208 HAS SOUS 24358 HAS SOUPS 24358 WITH SCORE 24385.208
AT ITER 515 NEW BEST:: SOT 48746 SOS 26990 HAS SOPS 26990 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24166.99
AT ITER 518 NEW BEST:: SOT 48746 SOS 26896 HAS SOPS 26896 HAS SOUS 24046 HAS SOUPS 24046 WITH SCORE 24072.896
AT ITER 519 NEW BEST:: SOT 48628 SOS 26778 HAS SOPS 26778 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23918.778
AT ITER 531 NEW BEST:: SOT 48628 SOS 26768 HAS SOPS 26768 HAS SOUS 23882 HAS SOUPS 23882 WITH SCORE 23908.768
AT ITER 533 NEW BEST:: SOT 48484 SOS 26676 HAS SOPS 26676 HAS SOUS 23790 HAS SOUPS 23790 WITH SCORE 23816.676
AT ITER 534 NEW BEST:: SOT 48484 SOS 26672 HAS SOPS 26672 HAS SOUS 23786 HAS SOUPS 23786 WITH SCORE 23812.672
AT ITER 535 NEW BEST:: SOT 48424 SOS 26612 HAS SOPS 26612 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23752.612
AT ITER 538 NEW BEST:: SOT 48462 SOS 26570 HAS SOPS 26570 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23710.57
AT ITER 539 NEW BEST:: SOT 48190 SOS 26298 HAS SOPS 26298 HAS SOUS 23412 HAS SOUPS 23412 WITH SCORE 23438.298
AT ITER 540 NEW BEST:: SOT 48190 SOS 26256 HAS SOPS 26256 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23396.256
AT ITER 545 NEW BEST:: SOT 48164 SOS 26156 HAS SOPS 26156 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23296.156
AT ITER 546 NEW BEST:: SOT 48164 SOS 25930 HAS SOPS 25930 HAS SOUS 23044 HAS SOUPS 23044 WITH SCORE 23069.93
AT ITER 547 NEW BEST:: SOT 48164 SOS 25884 HAS SOPS 25884 HAS SOUS 22998 HAS SOUPS 22998 WITH SCORE 23023.884
AT ITER 550 NEW BEST:: SOT 48164 SOS 25844 HAS SOPS 25844 HAS SOUS 22998 HAS SOUPS 22998 WITH SCORE 23023.844
AT ITER 563 NEW BEST:: SOT 48236 SOS 25786 HAS SOPS 25786 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22965.786
AT ITER 564 NEW BEST:: SOT 48164 SOS 25714 HAS SOPS 25714 HAS SOUS 22868 HAS SOUPS 22868 WITH SCORE 22893.714
AT ITER 566 NEW BEST:: SOT 47964 SOS 25514 HAS SOPS 25514 HAS SOUS 22668 HAS SOUPS 22668 WITH SCORE 22693.514
AT ITER 568 NEW BEST:: SOT 47890 SOS 25440 HAS SOPS 25440 HAS SOUS 22594 HAS SOUPS 22594 WITH SCORE 22619.44
AT ITER 574 NEW BEST:: SOT 47890 SOS 25440 HAS SOPS 25440 HAS SOUS 22570 HAS SOUPS 22570 WITH SCORE 22595.44
AT ITER 580 NEW BEST:: SOT 47880 SOS 25430 HAS SOPS 25430 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22585.43
AT ITER 588 NEW BEST:: SOT 47880 SOS 25170 HAS SOPS 25170 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22585.17
AT ITER 596 NEW BEST:: SOT 47728 SOS 25010 HAS SOPS 25010 HAS SOUS 22400 HAS SOUPS 22400 WITH SCORE 22425.01
AT ITER 599 NEW BEST:: SOT 47324 SOS 24218 HAS SOPS 24218 HAS SOUS 21608 HAS SOUPS 21608 WITH SCORE 21632.218
AT ITER 603 NEW BEST:: SOT 47324 SOS 24198 HAS SOPS 24198 HAS SOUS 21588 HAS SOUPS 21588 WITH SCORE 21612.198
AT ITER 607 NEW BEST:: SOT 47316 SOS 24190 HAS SOPS 24190 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21604.19
AT ITER 608 NEW BEST:: SOT 47316 SOS 24088 HAS SOPS 24088 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21604.088
AT ITER 615 NEW BEST:: SOT 47316 SOS 24032 HAS SOPS 24032 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21548.032
AT ITER 617 NEW BEST:: SOT 47294 SOS 24010 HAS SOPS 24010 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21526.01
AT ITER 620 NEW BEST:: SOT 47222 SOS 23938 HAS SOPS 23938 HAS SOUS 21430 HAS SOUPS 21430 WITH SCORE 21453.938
AT ITER 623 NEW BEST:: SOT 47118 SOS 23884 HAS SOPS 23884 HAS SOUS 21376 HAS SOUPS 21376 WITH SCORE 21399.884
AT ITER 625 NEW BEST:: SOT 47118 SOS 23844 HAS SOPS 23844 HAS SOUS 21336 HAS SOUPS 21336 WITH SCORE 21359.844
AT ITER 628 NEW BEST:: SOT 47036 SOS 23828 HAS SOPS 23828 HAS SOUS 21320 HAS SOUPS 21320 WITH SCORE 21343.828
AT ITER 630 NEW BEST:: SOT 47036 SOS 23774 HAS SOPS 23774 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21289.774
AT ITER 631 NEW BEST:: SOT 46836 SOS 23464 HAS SOPS 23464 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 20979.464
AT ITER 633 NEW BEST:: SOT 46836 SOS 23414 HAS SOPS 23414 HAS SOUS 20906 HAS SOUPS 20906 WITH SCORE 20929.414
AT ITER 635 NEW BEST:: SOT 46782 SOS 23354 HAS SOPS 23354 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20869.354
AT ITER 637 NEW BEST:: SOT 46784 SOS 23352 HAS SOPS 23352 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20867.352
AT ITER 641 NEW BEST:: SOT 46606 SOS 22998 HAS SOPS 22998 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20512.998
AT ITER 648 NEW BEST:: SOT 46666 SOS 22914 HAS SOPS 22914 HAS SOUS 20406 HAS SOUPS 20406 WITH SCORE 20428.914
AT ITER 649 NEW BEST:: SOT 46480 SOS 22694 HAS SOPS 22694 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20208.694
AT ITER 650 NEW BEST:: SOT 46458 SOS 22672 HAS SOPS 22672 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20186.672
AT ITER 653 NEW BEST:: SOT 46292 SOS 22422 HAS SOPS 22422 HAS SOUS 19914 HAS SOUPS 19914 WITH SCORE 19936.422
AT ITER 656 NEW BEST:: SOT 46264 SOS 22390 HAS SOPS 22390 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19904.39
AT ITER 659 NEW BEST:: SOT 46184 SOS 22344 HAS SOPS 22344 HAS SOUS 19836 HAS SOUPS 19836 WITH SCORE 19858.344
AT ITER 661 NEW BEST:: SOT 46128 SOS 22220 HAS SOPS 22220 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19734.22
AT ITER 666 NEW BEST:: SOT 46128 SOS 22154 HAS SOPS 22154 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19668.154
AT ITER 676 NEW BEST:: SOT 46116 SOS 22148 HAS SOPS 22148 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19662.148
AT ITER 690 NEW BEST:: SOT 46112 SOS 22144 HAS SOPS 22144 HAS SOUS 19636 HAS SOUPS 19636 WITH SCORE 19658.144
AT ITER 728 NEW BEST:: SOT 46078 SOS 22110 HAS SOPS 22110 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19624.11
AT ITER 737 NEW BEST:: SOT 46048 SOS 22040 HAS SOPS 22040 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19554.04
AT ITER 740 NEW BEST:: SOT 45834 SOS 21892 HAS SOPS 21892 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19405.892
AT ITER 742 NEW BEST:: SOT 45838 SOS 21880 HAS SOPS 21880 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19393.88
AT ITER 744 NEW BEST:: SOT 45832 SOS 21744 HAS SOPS 21744 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19257.744
AT ITER 745 NEW BEST:: SOT 45790 SOS 21660 HAS SOPS 21660 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19173.66
AT ITER 766 NEW BEST:: SOT 45786 SOS 21656 HAS SOPS 21656 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19169.656
AT ITER 773 NEW BEST:: SOT 45728 SOS 21598 HAS SOPS 21598 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19111.598
AT ITER 776 NEW BEST:: SOT 45684 SOS 21510 HAS SOPS 21510 HAS SOUS 19002 HAS SOUPS 19002 WITH SCORE 19023.51
AT ITER 778 NEW BEST:: SOT 45684 SOS 21428 HAS SOPS 21428 HAS SOUS 18920 HAS SOUPS 18920 WITH SCORE 18941.428
AT ITER 779 NEW BEST:: SOT 45684 SOS 21424 HAS SOPS 21424 HAS SOUS 18916 HAS SOUPS 18916 WITH SCORE 18937.424
AT ITER 788 NEW BEST:: SOT 45702 SOS 21384 HAS SOPS 21384 HAS SOUS 18876 HAS SOUPS 18876 WITH SCORE 18897.384
AT ITER 793 NEW BEST:: SOT 45702 SOS 21458 HAS SOPS 21458 HAS SOUS 18862 HAS SOUPS 18862 WITH SCORE 18883.458
AT ITER 794 NEW BEST:: SOT 45702 SOS 21524 HAS SOPS 21524 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18855.524
AT ITER 806 NEW BEST:: SOT 45662 SOS 21444 HAS SOPS 21444 HAS SOUS 18754 HAS SOUPS 18754 WITH SCORE 18775.444
AT ITER 813 NEW BEST:: SOT 45662 SOS 21428 HAS SOPS 21428 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18759.428
AT ITER 816 NEW BEST:: SOT 45606 SOS 21370 HAS SOPS 21370 HAS SOUS 18680 HAS SOUPS 18680 WITH SCORE 18701.37
AT ITER 828 NEW BEST:: SOT 45584 SOS 21336 HAS SOPS 21336 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18667.336
AT ITER 830 NEW BEST:: SOT 45584 SOS 21308 HAS SOPS 21308 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18639.308
AT ITER 834 NEW BEST:: SOT 45584 SOS 21308 HAS SOPS 21308 HAS SOUS 18512 HAS SOUPS 18512 WITH SCORE 18533.308
AT ITER 848 NEW BEST:: SOT 45516 SOS 21266 HAS SOPS 21266 HAS SOUS 18470 HAS SOUPS 18470 WITH SCORE 18491.266
AT ITER 852 NEW BEST:: SOT 45490 SOS 21240 HAS SOPS 21240 HAS SOUS 18444 HAS SOUPS 18444 WITH SCORE 18465.24
AT ITER 857 NEW BEST:: SOT 45490 SOS 21084 HAS SOPS 21084 HAS SOUS 18288 HAS SOUPS 18288 WITH SCORE 18309.084
AT ITER 858 NEW BEST:: SOT 45462 SOS 21008 HAS SOPS 21008 HAS SOUS 18212 HAS SOUPS 18212 WITH SCORE 18233.008
AT ITER 860 NEW BEST:: SOT 45456 SOS 21002 HAS SOPS 21002 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18227.002
AT ITER 861 NEW BEST:: SOT 45406 SOS 20952 HAS SOPS 20952 HAS SOUS 18106 HAS SOUPS 18106 WITH SCORE 18126.952
AT ITER 863 NEW BEST:: SOT 45380 SOS 20902 HAS SOPS 20902 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18076.902
AT ITER 874 NEW BEST:: SOT 45174 SOS 20632 HAS SOPS 20632 HAS SOUS 17786 HAS SOUPS 17786 WITH SCORE 17806.632
AT ITER 895 NEW BEST:: SOT 45116 SOS 20548 HAS SOPS 20548 HAS SOUS 17702 HAS SOUPS 17702 WITH SCORE 17722.548
AT ITER 896 NEW BEST:: SOT 45022 SOS 20382 HAS SOPS 20382 HAS SOUS 17536 HAS SOUPS 17536 WITH SCORE 17556.382
AT ITER 899 NEW BEST:: SOT 45082 SOS 20358 HAS SOPS 20358 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17532.358
AT ITER 904 NEW BEST:: SOT 45068 SOS 20344 HAS SOPS 20344 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17518.344
AT ITER 907 NEW BEST:: SOT 45054 SOS 20316 HAS SOPS 20316 HAS SOUS 17470 HAS SOUPS 17470 WITH SCORE 17490.316
AT ITER 915 NEW BEST:: SOT 44910 SOS 20230 HAS SOPS 20230 HAS SOUS 17384 HAS SOUPS 17384 WITH SCORE 17404.23
AT ITER 926 NEW BEST:: SOT 44910 SOS 20182 HAS SOPS 20182 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17356.182
AT ITER 935 NEW BEST:: SOT 44870 SOS 20148 HAS SOPS 20148 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17322.148
AT ITER 936 NEW BEST:: SOT 44836 SOS 20114 HAS SOPS 20114 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17288.114
AT ITER 951 NEW BEST:: SOT 44790 SOS 20068 HAS SOPS 20068 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17242.068
AT ITER 966 NEW BEST:: SOT 44754 SOS 20032 HAS SOPS 20032 HAS SOUS 17186 HAS SOUPS 17186 WITH SCORE 17206.032
AT ITER 983 NEW BEST:: SOT 44702 SOS 19980 HAS SOPS 19980 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17153.98
AT ITER 984 NEW BEST:: SOT 44702 SOS 19972 HAS SOPS 19972 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17145.972
AT ITER 992 NEW BEST:: SOT 44688 SOS 19944 HAS SOPS 19944 HAS SOUS 17098 HAS SOUPS 17098 WITH SCORE 17117.944
AT ITER 1005 NEW BEST:: SOT 44616 SOS 19764 HAS SOPS 19764 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16937.764
AT ITER 1009 NEW BEST:: SOT 44560 SOS 19708 HAS SOPS 19708 HAS SOUS 16862 HAS SOUPS 16862 WITH SCORE 16881.708
AT ITER 1012 NEW BEST:: SOT 44556 SOS 19676 HAS SOPS 19676 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16849.676
AT ITER 1013 NEW BEST:: SOT 44510 SOS 19578 HAS SOPS 19578 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16751.578
AT ITER 1024 NEW BEST:: SOT 44508 SOS 19512 HAS SOPS 19512 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16685.512
AT ITER 1040 NEW BEST:: SOT 44416 SOS 19392 HAS SOPS 19392 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16565.392
AT ITER 1047 NEW BEST:: SOT 44306 SOS 19182 HAS SOPS 19182 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16355.182
AT ITER 1059 NEW BEST:: SOT 44244 SOS 19100 HAS SOPS 19100 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16273.1
AT ITER 1071 NEW BEST:: SOT 44244 SOS 19046 HAS SOPS 19046 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16219.046
AT ITER 1089 NEW BEST:: SOT 44220 SOS 19022 HAS SOPS 19022 HAS SOUS 16176 HAS SOUPS 16176 WITH SCORE 16195.022
AT ITER 1114 NEW BEST:: SOT 44212 SOS 19014 HAS SOPS 19014 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16187.014
AT ITER 1128 NEW BEST:: SOT 44198 SOS 19000 HAS SOPS 19000 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16173.0
AT ITER 1131 NEW BEST:: SOT 44198 SOS 18962 HAS SOPS 18962 HAS SOUS 16116 HAS SOUPS 16116 WITH SCORE 16134.962
AT ITER 1133 NEW BEST:: SOT 44198 SOS 18924 HAS SOPS 18924 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16096.924
AT ITER 1141 NEW BEST:: SOT 44174 SOS 18856 HAS SOPS 18856 HAS SOUS 16010 HAS SOUPS 16010 WITH SCORE 16028.856
AT ITER 1157 NEW BEST:: SOT 44138 SOS 18784 HAS SOPS 18784 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15956.784
AT ITER 1161 NEW BEST:: SOT 44138 SOS 18844 HAS SOPS 18844 HAS SOUS 15898 HAS SOUPS 15898 WITH SCORE 15916.844
AT ITER 1174 NEW BEST:: SOT 44148 SOS 18800 HAS SOPS 18800 HAS SOUS 15854 HAS SOUPS 15854 WITH SCORE 15872.8
AT ITER 1181 NEW BEST:: SOT 44056 SOS 18744 HAS SOPS 18744 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15756.744
AT ITER 1182 NEW BEST:: SOT 44056 SOS 18734 HAS SOPS 18734 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15746.734
AT ITER 1186 NEW BEST:: SOT 44030 SOS 18690 HAS SOPS 18690 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15702.69
AT ITER 1191 NEW BEST:: SOT 44030 SOS 18526 HAS SOPS 18526 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15554.526
AT ITER 1201 NEW BEST:: SOT 44030 SOS 18506 HAS SOPS 18506 HAS SOUS 15516 HAS SOUPS 15516 WITH SCORE 15534.506
AT ITER 1226 NEW BEST:: SOT 43944 SOS 18366 HAS SOPS 18366 HAS SOUS 15376 HAS SOUPS 15376 WITH SCORE 15394.366
AT ITER 1227 NEW BEST:: SOT 43836 SOS 18398 HAS SOPS 18398 HAS SOUS 15198 HAS SOUPS 15198 WITH SCORE 15216.398
AT ITER 1236 NEW BEST:: SOT 43810 SOS 18366 HAS SOPS 18366 HAS SOUS 15166 HAS SOUPS 15166 WITH SCORE 15184.366
AT ITER 1238 NEW BEST:: SOT 43772 SOS 18272 HAS SOPS 18272 HAS SOUS 15072 HAS SOUPS 15072 WITH SCORE 15090.272
AT ITER 1239 NEW BEST:: SOT 43772 SOS 18222 HAS SOPS 18222 HAS SOUS 15022 HAS SOUPS 15022 WITH SCORE 15040.222
AT ITER 1251 NEW BEST:: SOT 43724 SOS 18154 HAS SOPS 18154 HAS SOUS 14954 HAS SOUPS 14954 WITH SCORE 14972.154
AT ITER 1257 NEW BEST:: SOT 43698 SOS 18128 HAS SOPS 18128 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14946.128
AT ITER 1261 NEW BEST:: SOT 43668 SOS 18090 HAS SOPS 18090 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14908.09
AT ITER 1266 NEW BEST:: SOT 43652 SOS 18074 HAS SOPS 18074 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14876.074
AT ITER 1269 NEW BEST:: SOT 43554 SOS 17904 HAS SOPS 17904 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14705.904
AT ITER 1286 NEW BEST:: SOT 43478 SOS 17774 HAS SOPS 17774 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14575.774
AT ITER 1296 NEW BEST:: SOT 43446 SOS 17742 HAS SOPS 17742 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14479.742
AT ITER 1306 NEW BEST:: SOT 43446 SOS 17698 HAS SOPS 17698 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14435.698
AT ITER 1322 NEW BEST:: SOT 43388 SOS 17640 HAS SOPS 17640 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14325.64
AT ITER 1358 NEW BEST:: SOT 43320 SOS 17572 HAS SOPS 17572 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14227.572
AT ITER 1361 NEW BEST:: SOT 43298 SOS 17550 HAS SOPS 17550 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14205.55
AT ITER 1375 NEW BEST:: SOT 43262 SOS 17514 HAS SOPS 17514 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14169.514
AT ITER 1380 NEW BEST:: SOT 43256 SOS 17508 HAS SOPS 17508 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14163.508
AT ITER 1388 NEW BEST:: SOT 43256 SOS 17506 HAS SOPS 17506 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14159.506
AT ITER 1399 NEW BEST:: SOT 43224 SOS 17474 HAS SOPS 17474 HAS SOUS 14080 HAS SOUPS 14080 WITH SCORE 14097.474
AT ITER 1408 NEW BEST:: SOT 43040 SOS 17250 HAS SOPS 17250 HAS SOUS 13856 HAS SOUPS 13856 WITH SCORE 13873.25
AT ITER 1413 NEW BEST:: SOT 43040 SOS 17200 HAS SOPS 17200 HAS SOUS 13806 HAS SOUPS 13806 WITH SCORE 13823.2
AT ITER 1418 NEW BEST:: SOT 43036 SOS 17196 HAS SOPS 17196 HAS SOUS 13802 HAS SOUPS 13802 WITH SCORE 13819.196
AT ITER 1433 NEW BEST:: SOT 42914 SOS 16952 HAS SOPS 16952 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13574.952
AT ITER 1434 NEW BEST:: SOT 42876 SOS 16784 HAS SOPS 16784 HAS SOUS 13390 HAS SOUPS 13390 WITH SCORE 13406.784
AT ITER 1449 NEW BEST:: SOT 42826 SOS 16734 HAS SOPS 16734 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13356.734
AT ITER 1480 NEW BEST:: SOT 42778 SOS 16728 HAS SOPS 16728 HAS SOUS 13328 HAS SOUPS 13328 WITH SCORE 13344.728
AT ITER 1498 NEW BEST:: SOT 42746 SOS 16664 HAS SOPS 16664 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13280.664
AT ITER 1509 NEW BEST:: SOT 42740 SOS 16658 HAS SOPS 16658 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13274.658
AT ITER 1530 NEW BEST:: SOT 42696 SOS 16614 HAS SOPS 16614 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13230.614
AT ITER 1542 NEW BEST:: SOT 42696 SOS 16732 HAS SOPS 16732 HAS SOUS 13180 HAS SOUPS 13180 WITH SCORE 13196.732
AT ITER 1548 NEW BEST:: SOT 42684 SOS 16720 HAS SOPS 16720 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13184.72
AT ITER 1564 NEW BEST:: SOT 42574 SOS 16550 HAS SOPS 16550 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13014.55
AT ITER 1580 NEW BEST:: SOT 42574 SOS 16540 HAS SOPS 16540 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13004.54
AT ITER 1584 NEW BEST:: SOT 42526 SOS 16442 HAS SOPS 16442 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12906.442
AT ITER 1592 NEW BEST:: SOT 42490 SOS 16526 HAS SOPS 16526 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12880.526
AT ITER 1593 NEW BEST:: SOT 42490 SOS 16482 HAS SOPS 16482 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12836.482
AT ITER 1594 NEW BEST:: SOT 42466 SOS 16380 HAS SOPS 16380 HAS SOUS 12718 HAS SOUPS 12718 WITH SCORE 12734.38
AT ITER 1601 NEW BEST:: SOT 42466 SOS 16396 HAS SOPS 16396 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12716.396
AT ITER 1602 NEW BEST:: SOT 42328 SOS 16278 HAS SOPS 16278 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12582.278
AT ITER 1617 NEW BEST:: SOT 42328 SOS 16260 HAS SOPS 16260 HAS SOUS 12548 HAS SOUPS 12548 WITH SCORE 12564.26
AT ITER 1639 NEW BEST:: SOT 42322 SOS 16254 HAS SOPS 16254 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12558.254
AT ITER 1641 NEW BEST:: SOT 42322 SOS 16238 HAS SOPS 16238 HAS SOUS 12526 HAS SOUPS 12526 WITH SCORE 12542.238
AT ITER 1643 NEW BEST:: SOT 42268 SOS 16164 HAS SOPS 16164 HAS SOUS 12452 HAS SOUPS 12452 WITH SCORE 12468.164
AT ITER 1653 NEW BEST:: SOT 42266 SOS 16116 HAS SOPS 16116 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12420.116
AT ITER 1669 NEW BEST:: SOT 42260 SOS 16110 HAS SOPS 16110 HAS SOUS 12398 HAS SOUPS 12398 WITH SCORE 12414.11
AT ITER 1674 NEW BEST:: SOT 42260 SOS 16100 HAS SOPS 16100 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12404.1
AT ITER 1685 NEW BEST:: SOT 42260 SOS 16058 HAS SOPS 16058 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12362.058
AT ITER 1691 NEW BEST:: SOT 42282 SOS 16048 HAS SOPS 16048 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12352.048
AT ITER 1696 NEW BEST:: SOT 42282 SOS 16030 HAS SOPS 16030 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12334.03
AT ITER 1706 NEW BEST:: SOT 42252 SOS 15972 HAS SOPS 15972 HAS SOUS 12262 HAS SOUPS 12262 WITH SCORE 12277.972
AT ITER 1707 NEW BEST:: SOT 42158 SOS 15878 HAS SOPS 15878 HAS SOUS 12168 HAS SOUPS 12168 WITH SCORE 12183.878
AT ITER 1708 NEW BEST:: SOT 42154 SOS 15874 HAS SOPS 15874 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12179.874
AT ITER 1724 NEW BEST:: SOT 42144 SOS 15864 HAS SOPS 15864 HAS SOUS 12154 HAS SOUPS 12154 WITH SCORE 12169.864
AT ITER 1750 NEW BEST:: SOT 42136 SOS 15856 HAS SOPS 15856 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12161.856
AT ITER 1771 NEW BEST:: SOT 42136 SOS 15834 HAS SOPS 15834 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12139.834
AT ITER 1775 NEW BEST:: SOT 42062 SOS 15738 HAS SOPS 15738 HAS SOUS 12028 HAS SOUPS 12028 WITH SCORE 12043.738
AT ITER 1799 NEW BEST:: SOT 42012 SOS 15656 HAS SOPS 15656 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11961.656
AT ITER 1813 NEW BEST:: SOT 42016 SOS 15632 HAS SOPS 15632 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11937.632
AT ITER 1817 NEW BEST:: SOT 41956 SOS 15572 HAS SOPS 15572 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11823.572
AT ITER 1820 NEW BEST:: SOT 41948 SOS 15558 HAS SOPS 15558 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11809.558
AT ITER 1824 NEW BEST:: SOT 41948 SOS 15542 HAS SOPS 15542 HAS SOUS 11778 HAS SOUPS 11778 WITH SCORE 11793.542
AT ITER 1852 NEW BEST:: SOT 41918 SOS 15480 HAS SOPS 15480 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11731.48
AT ITER 1854 NEW BEST:: SOT 41918 SOS 15458 HAS SOPS 15458 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11709.458
AT ITER 1876 NEW BEST:: SOT 41918 SOS 15398 HAS SOPS 15398 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11649.398
AT ITER 1885 NEW BEST:: SOT 41848 SOS 15330 HAS SOPS 15330 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11581.33
AT ITER 1903 NEW BEST:: SOT 41802 SOS 15282 HAS SOPS 15282 HAS SOUS 11518 HAS SOUPS 11518 WITH SCORE 11533.282
AT ITER 1908 NEW BEST:: SOT 41802 SOS 15268 HAS SOPS 15268 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11519.268
AT ITER 1932 NEW BEST:: SOT 41780 SOS 15246 HAS SOPS 15246 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11497.246
AT ITER 1936 NEW BEST:: SOT 41778 SOS 15244 HAS SOPS 15244 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11495.244
AT ITER 1965 NEW BEST:: SOT 41700 SOS 15154 HAS SOPS 15154 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11405.154
AT ITER 1969 NEW BEST:: SOT 41676 SOS 15128 HAS SOPS 15128 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11379.128
AT ITER 1970 NEW BEST:: SOT 41676 SOS 15112 HAS SOPS 15112 HAS SOUS 11348 HAS SOUPS 11348 WITH SCORE 11363.112
AT ITER 1975 NEW BEST:: SOT 41640 SOS 15076 HAS SOPS 15076 HAS SOUS 11312 HAS SOUPS 11312 WITH SCORE 11327.076
AT ITER 1991 NEW BEST:: SOT 41640 SOS 15044 HAS SOPS 15044 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11295.044
AT ITER 2005 NEW BEST:: SOT 41550 SOS 14932 HAS SOPS 14932 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11182.932
AT ITER 2006 NEW BEST:: SOT 41528 SOS 14850 HAS SOPS 14850 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11100.85
AT ITER 2007 NEW BEST:: SOT 41528 SOS 14792 HAS SOPS 14792 HAS SOUS 11028 HAS SOUPS 11028 WITH SCORE 11042.792
AT ITER 2014 NEW BEST:: SOT 41518 SOS 14810 HAS SOPS 14810 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11010.81
AT ITER 2017 NEW BEST:: SOT 41480 SOS 14734 HAS SOPS 14734 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10934.734
AT ITER 2024 NEW BEST:: SOT 41460 SOS 14694 HAS SOPS 14694 HAS SOUS 10880 HAS SOUPS 10880 WITH SCORE 10894.694
AT ITER 2029 NEW BEST:: SOT 41456 SOS 14690 HAS SOPS 14690 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10890.69
AT ITER 2030 NEW BEST:: SOT 41456 SOS 14680 HAS SOPS 14680 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10880.68
AT ITER 2035 NEW BEST:: SOT 41456 SOS 14664 HAS SOPS 14664 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10864.664
AT ITER 2037 NEW BEST:: SOT 41438 SOS 14646 HAS SOPS 14646 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10846.646
AT ITER 2041 NEW BEST:: SOT 41410 SOS 14614 HAS SOPS 14614 HAS SOUS 10800 HAS SOUPS 10800 WITH SCORE 10814.614
AT ITER 2054 NEW BEST:: SOT 41336 SOS 14478 HAS SOPS 14478 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10678.478
AT ITER 2068 NEW BEST:: SOT 41296 SOS 14408 HAS SOPS 14408 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10608.408
AT ITER 2097 NEW BEST:: SOT 41296 SOS 14364 HAS SOPS 14364 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10608.364
AT ITER 2105 NEW BEST:: SOT 41282 SOS 14310 HAS SOPS 14310 HAS SOUS 10540 HAS SOUPS 10540 WITH SCORE 10554.31
AT ITER 2113 NEW BEST:: SOT 41286 SOS 14286 HAS SOPS 14286 HAS SOUS 10516 HAS SOUPS 10516 WITH SCORE 10530.286
AT ITER 2121 NEW BEST:: SOT 41254 SOS 14252 HAS SOPS 14252 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10496.252
AT ITER 2123 NEW BEST:: SOT 41204 SOS 14202 HAS SOPS 14202 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10446.202
AT ITER 2146 NEW BEST:: SOT 41204 SOS 14200 HAS SOPS 14200 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10444.2
AT ITER 2161 NEW BEST:: SOT 41192 SOS 14156 HAS SOPS 14156 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10400.156
AT ITER 2168 NEW BEST:: SOT 41140 SOS 14052 HAS SOPS 14052 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10296.052
AT ITER 2171 NEW BEST:: SOT 41076 SOS 13988 HAS SOPS 13988 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10165.988
AT ITER 2189 NEW BEST:: SOT 41006 SOS 13918 HAS SOPS 13918 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10095.918
AT ITER 2200 NEW BEST:: SOT 41004 SOS 13902 HAS SOPS 13902 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10079.902
AT ITER 2220 NEW BEST:: SOT 40992 SOS 13874 HAS SOPS 13874 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10051.874
AT ITER 2239 NEW BEST:: SOT 40992 SOS 13778 HAS SOPS 13778 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10051.778
AT ITER 2268 NEW BEST:: SOT 41008 SOS 13738 HAS SOPS 13738 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10011.738
AT ITER 2269 NEW BEST:: SOT 40996 SOS 13726 HAS SOPS 13726 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 9999.726
AT ITER 2301 NEW BEST:: SOT 40984 SOS 13714 HAS SOPS 13714 HAS SOUS 9974 HAS SOUPS 9974 WITH SCORE 9987.714
AT ITER 2311 NEW BEST:: SOT 40984 SOS 13714 HAS SOPS 13714 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9945.714
AT ITER 2323 NEW BEST:: SOT 40962 SOS 13676 HAS SOPS 13676 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9907.676
AT ITER 2324 NEW BEST:: SOT 40948 SOS 13626 HAS SOPS 13626 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9857.626
AT ITER 2328 NEW BEST:: SOT 40942 SOS 13774 HAS SOPS 13774 HAS SOUS 9732 HAS SOUPS 9732 WITH SCORE 9745.774
AT ITER 2332 NEW BEST:: SOT 40828 SOS 13660 HAS SOPS 13660 HAS SOUS 9618 HAS SOUPS 9618 WITH SCORE 9631.66
AT ITER 2370 NEW BEST:: SOT 40828 SOS 13654 HAS SOPS 13654 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9625.654
AT ITER 2383 NEW BEST:: SOT 40814 SOS 13618 HAS SOPS 13618 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9589.618
AT ITER 2389 NEW BEST:: SOT 40814 SOS 13596 HAS SOPS 13596 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9567.596
AT ITER 2393 NEW BEST:: SOT 40814 SOS 13582 HAS SOPS 13582 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9553.582
AT ITER 2428 NEW BEST:: SOT 40792 SOS 13544 HAS SOPS 13544 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9515.544
AT ITER 2439 NEW BEST:: SOT 40792 SOS 13524 HAS SOPS 13524 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9495.524
AT ITER 2443 NEW BEST:: SOT 40790 SOS 13522 HAS SOPS 13522 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9493.522
AT ITER 2450 NEW BEST:: SOT 40778 SOS 13510 HAS SOPS 13510 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9481.51
AT ITER 2458 NEW BEST:: SOT 40754 SOS 13486 HAS SOPS 13486 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9457.486
AT ITER 2473 NEW BEST:: SOT 40742 SOS 13462 HAS SOPS 13462 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9433.462
AT ITER 2477 NEW BEST:: SOT 40742 SOS 13458 HAS SOPS 13458 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9429.458
AT ITER 2480 NEW BEST:: SOT 40728 SOS 13444 HAS SOPS 13444 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9415.444
AT ITER 2488 NEW BEST:: SOT 40722 SOS 13438 HAS SOPS 13438 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9409.438
AT ITER 2554 NEW BEST:: SOT 40722 SOS 13434 HAS SOPS 13434 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9405.434
AT ITER 2596 NEW BEST:: SOT 40708 SOS 13420 HAS SOPS 13420 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9391.42
AT ITER 2612 NEW BEST:: SOT 40692 SOS 13388 HAS SOPS 13388 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9359.388
AT ITER 2630 NEW BEST:: SOT 40652 SOS 13348 HAS SOPS 13348 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9319.348
AT ITER 2671 NEW BEST:: SOT 40652 SOS 13326 HAS SOPS 13326 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9297.326
AT ITER 2682 NEW BEST:: SOT 40620 SOS 13288 HAS SOPS 13288 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9259.288
AT ITER 2695 NEW BEST:: SOT 40604 SOS 13272 HAS SOPS 13272 HAS SOUS 9230 HAS SOUPS 9230 WITH SCORE 9243.272
AT ITER 2704 NEW BEST:: SOT 40602 SOS 13250 HAS SOPS 13250 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9221.25
AT ITER 2708 NEW BEST:: SOT 40592 SOS 13230 HAS SOPS 13230 HAS SOUS 9188 HAS SOUPS 9188 WITH SCORE 9201.23
AT ITER 2718 NEW BEST:: SOT 40550 SOS 13062 HAS SOPS 13062 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9033.062
AT ITER 2723 NEW BEST:: SOT 40550 SOS 13024 HAS SOPS 13024 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8995.024
AT ITER 2726 NEW BEST:: SOT 40550 SOS 13002 HAS SOPS 13002 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8973.002
AT ITER 2730 NEW BEST:: SOT 40548 SOS 13000 HAS SOPS 13000 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8969.0
AT ITER 2768 NEW BEST:: SOT 40548 SOS 12998 HAS SOPS 12998 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8966.998
AT ITER 2773 NEW BEST:: SOT 40548 SOS 12996 HAS SOPS 12996 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8964.996
AT ITER 2788 NEW BEST:: SOT 40546 SOS 12994 HAS SOPS 12994 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8962.994
AT ITER 2797 NEW BEST:: SOT 40546 SOS 12978 HAS SOPS 12978 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8946.978
AT ITER 2805 NEW BEST:: SOT 40500 SOS 12902 HAS SOPS 12902 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8870.902
AT ITER 2811 NEW BEST:: SOT 40480 SOS 12866 HAS SOPS 12866 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8834.866
AT ITER 2835 NEW BEST:: SOT 40464 SOS 12834 HAS SOPS 12834 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8802.834
AT ITER 2842 NEW BEST:: SOT 40464 SOS 12818 HAS SOPS 12818 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8790.818
AT ITER 2882 NEW BEST:: SOT 40458 SOS 12776 HAS SOPS 12776 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8748.776
AT ITER 2900 NEW BEST:: SOT 40440 SOS 12758 HAS SOPS 12758 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8730.758
AT ITER 2921 NEW BEST:: SOT 40428 SOS 12702 HAS SOPS 12702 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8674.702
AT ITER 2926 NEW BEST:: SOT 40390 SOS 12644 HAS SOPS 12644 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8616.644
AT ITER 2929 NEW BEST:: SOT 40356 SOS 12610 HAS SOPS 12610 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8582.61
AT ITER 2933 NEW BEST:: SOT 40286 SOS 12540 HAS SOPS 12540 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8512.54
AT ITER 2954 NEW BEST:: SOT 40270 SOS 12508 HAS SOPS 12508 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8480.508
AT ITER 3031 NEW BEST:: SOT 40270 SOS 12480 HAS SOPS 12480 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8452.48
AT ITER 3040 NEW BEST:: SOT 40206 SOS 12400 HAS SOPS 12400 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8372.4
AT ITER 3046 NEW BEST:: SOT 40204 SOS 12398 HAS SOPS 12398 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8370.398
AT ITER 3051 NEW BEST:: SOT 40172 SOS 12366 HAS SOPS 12366 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8338.366
AT ITER 3054 NEW BEST:: SOT 40084 SOS 12226 HAS SOPS 12226 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8198.226
AT ITER 3119 NEW BEST:: SOT 40084 SOS 12220 HAS SOPS 12220 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8192.22
AT ITER 3134 NEW BEST:: SOT 40040 SOS 12176 HAS SOPS 12176 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8148.176
AT ITER 3139 NEW BEST:: SOT 40040 SOS 12158 HAS SOPS 12158 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8130.158
AT ITER 3141 NEW BEST:: SOT 40026 SOS 12132 HAS SOPS 12132 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8104.132
AT ITER 3145 NEW BEST:: SOT 40024 SOS 12130 HAS SOPS 12130 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8102.13
AT ITER 3149 NEW BEST:: SOT 40024 SOS 12118 HAS SOPS 12118 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8090.118
AT ITER 3161 NEW BEST:: SOT 40016 SOS 12070 HAS SOPS 12070 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8042.07
AT ITER 3178 NEW BEST:: SOT 40014 SOS 12062 HAS SOPS 12062 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8034.062
AT ITER 3226 NEW BEST:: SOT 39984 SOS 12002 HAS SOPS 12002 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7974.002
AT ITER 3229 NEW BEST:: SOT 39970 SOS 12102 HAS SOPS 12102 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7958.102
AT ITER 3257 NEW BEST:: SOT 39970 SOS 12100 HAS SOPS 12100 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7956.1
AT ITER 3276 NEW BEST:: SOT 39970 SOS 12070 HAS SOPS 12070 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7926.07
AT ITER 3278 NEW BEST:: SOT 39970 SOS 12048 HAS SOPS 12048 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7904.048
AT ITER 3332 NEW BEST:: SOT 39970 SOS 12018 HAS SOPS 12018 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7874.018
AT ITER 3350 NEW BEST:: SOT 39968 SOS 12016 HAS SOPS 12016 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7872.016
AT ITER 3356 NEW BEST:: SOT 39956 SOS 12004 HAS SOPS 12004 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7860.004
AT ITER 3368 NEW BEST:: SOT 39940 SOS 11988 HAS SOPS 11988 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7843.988
AT ITER 3378 NEW BEST:: SOT 39934 SOS 11982 HAS SOPS 11982 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7837.982
AT ITER 3380 NEW BEST:: SOT 39934 SOS 11978 HAS SOPS 11978 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7833.978
AT ITER 3441 NEW BEST:: SOT 39932 SOS 11954 HAS SOPS 11954 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7809.954
AT ITER 3463 NEW BEST:: SOT 39914 SOS 11918 HAS SOPS 11918 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7773.918
AT ITER 3481 NEW BEST:: SOT 39864 SOS 11868 HAS SOPS 11868 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7723.868
AT ITER 3487 NEW BEST:: SOT 39788 SOS 11710 HAS SOPS 11710 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7565.71
AT ITER 3491 NEW BEST:: SOT 39772 SOS 11694 HAS SOPS 11694 HAS SOUS 7538 HAS SOUPS 7538 WITH SCORE 7549.694
AT ITER 3496 NEW BEST:: SOT 39752 SOS 11650 HAS SOPS 11650 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7505.65
AT ITER 3506 NEW BEST:: SOT 39752 SOS 11654 HAS SOPS 11654 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7503.654
AT ITER 3517 NEW BEST:: SOT 39738 SOS 11640 HAS SOPS 11640 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7489.64
AT ITER 3543 NEW BEST:: SOT 39738 SOS 11638 HAS SOPS 11638 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7487.638
AT ITER 3575 NEW BEST:: SOT 39716 SOS 11616 HAS SOPS 11616 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7465.616
AT ITER 3591 NEW BEST:: SOT 39714 SOS 11602 HAS SOPS 11602 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7451.602
AT ITER 3611 NEW BEST:: SOT 39708 SOS 11596 HAS SOPS 11596 HAS SOUS 7428 HAS SOUPS 7428 WITH SCORE 7439.596
AT ITER 3617 NEW BEST:: SOT 39708 SOS 11590 HAS SOPS 11590 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7433.59
AT ITER 3638 NEW BEST:: SOT 39708 SOS 11580 HAS SOPS 11580 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7423.58
AT ITER 3695 NEW BEST:: SOT 39684 SOS 11548 HAS SOPS 11548 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7391.548
AT ITER 3700 NEW BEST:: SOT 39684 SOS 11536 HAS SOPS 11536 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7379.536
AT ITER 3720 NEW BEST:: SOT 39662 SOS 11512 HAS SOPS 11512 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7355.512
AT ITER 3750 NEW BEST:: SOT 39624 SOS 11468 HAS SOPS 11468 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7311.468
AT ITER 3751 NEW BEST:: SOT 39618 SOS 11462 HAS SOPS 11462 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7305.462
AT ITER 3763 NEW BEST:: SOT 39584 SOS 11372 HAS SOPS 11372 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7215.372
AT ITER 3765 NEW BEST:: SOT 39584 SOS 11368 HAS SOPS 11368 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7211.368
AT ITER 3784 NEW BEST:: SOT 39570 SOS 11346 HAS SOPS 11346 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7189.346
AT ITER 3855 NEW BEST:: SOT 39534 SOS 11318 HAS SOPS 11318 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7161.318
AT ITER 3902 NEW BEST:: SOT 39534 SOS 11298 HAS SOPS 11298 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7141.298
AT ITER 3930 NEW BEST:: SOT 39478 SOS 11242 HAS SOPS 11242 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7029.242
AT ITER 3952 NEW BEST:: SOT 39476 SOS 11232 HAS SOPS 11232 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7019.232
AT ITER 3976 NEW BEST:: SOT 39464 SOS 11210 HAS SOPS 11210 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6997.21
AT ITER 4003 NEW BEST:: SOT 39462 SOS 11208 HAS SOPS 11208 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6995.208
AT ITER 4034 NEW BEST:: SOT 39446 SOS 11176 HAS SOPS 11176 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6963.176
AT ITER 4043 NEW BEST:: SOT 39444 SOS 11174 HAS SOPS 11174 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6961.174
AT ITER 4051 NEW BEST:: SOT 39436 SOS 11158 HAS SOPS 11158 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6945.158
AT ITER 4125 NEW BEST:: SOT 39426 SOS 11148 HAS SOPS 11148 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6935.148
AT ITER 4136 NEW BEST:: SOT 39426 SOS 11118 HAS SOPS 11118 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6905.118
AT ITER 4158 NEW BEST:: SOT 39406 SOS 11084 HAS SOPS 11084 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6871.084
AT ITER 4204 NEW BEST:: SOT 39406 SOS 11064 HAS SOPS 11064 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6851.064
AT ITER 4275 NEW BEST:: SOT 39398 SOS 11056 HAS SOPS 11056 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6843.056
AT ITER 4286 NEW BEST:: SOT 39398 SOS 10990 HAS SOPS 10990 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6776.99
AT ITER 4334 NEW BEST:: SOT 39384 SOS 10976 HAS SOPS 10976 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6762.976
AT ITER 4339 NEW BEST:: SOT 39382 SOS 10972 HAS SOPS 10972 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6758.972
AT ITER 4340 NEW BEST:: SOT 39366 SOS 10956 HAS SOPS 10956 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6742.956
AT ITER 4347 NEW BEST:: SOT 39346 SOS 10936 HAS SOPS 10936 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6722.936
AT ITER 4353 NEW BEST:: SOT 39356 SOS 10934 HAS SOPS 10934 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6720.934
AT ITER 4408 NEW BEST:: SOT 39314 SOS 10892 HAS SOPS 10892 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6678.892
AT ITER 4410 NEW BEST:: SOT 39314 SOS 10860 HAS SOPS 10860 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6646.86
AT ITER 4419 NEW BEST:: SOT 39314 SOS 10846 HAS SOPS 10846 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6632.846
AT ITER 4455 NEW BEST:: SOT 39232 SOS 10742 HAS SOPS 10742 HAS SOUS 6518 HAS SOUPS 6518 WITH SCORE 6528.742
AT ITER 4508 NEW BEST:: SOT 39228 SOS 10734 HAS SOPS 10734 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6520.734
AT ITER 4523 NEW BEST:: SOT 39220 SOS 10726 HAS SOPS 10726 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6512.726
AT ITER 4526 NEW BEST:: SOT 39220 SOS 10718 HAS SOPS 10718 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6504.718
AT ITER 4529 NEW BEST:: SOT 39218 SOS 10716 HAS SOPS 10716 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6502.716
AT ITER 4550 NEW BEST:: SOT 39218 SOS 10750 HAS SOPS 10750 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6500.75
AT ITER 4600 NEW BEST:: SOT 39206 SOS 10738 HAS SOPS 10738 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6488.738
AT ITER 4605 NEW BEST:: SOT 39206 SOS 10734 HAS SOPS 10734 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6484.734
AT ITER 4784 NEW BEST:: SOT 39186 SOS 10692 HAS SOPS 10692 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6442.692
AT ITER 4796 NEW BEST:: SOT 39182 SOS 10688 HAS SOPS 10688 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6438.688
AT ITER 4808 NEW BEST:: SOT 39170 SOS 10664 HAS SOPS 10664 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6414.664
AT ITER 4834 NEW BEST:: SOT 39170 SOS 10640 HAS SOPS 10640 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6390.64
AT ITER 4847 NEW BEST:: SOT 39156 SOS 10650 HAS SOPS 10650 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6346.65
AT ITER 4947 NEW BEST:: SOT 39156 SOS 10634 HAS SOPS 10634 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6330.634
AT ITER 4957 NEW BEST:: SOT 39156 SOS 10630 HAS SOPS 10630 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6326.63
AT ITER 4958 NEW BEST:: SOT 39146 SOS 10610 HAS SOPS 10610 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6306.61
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-00 (EU( ( potential( (tk(P319)) <= (tk(P138)) ) | ( potential( ( 2 ) <= (tk(P101)) ) & potential( (tk(P263)) <= (tk(P232)) ) ) ),( ( potential( ( 2 ) <= (tk(P82)) ) & potential( (tk(P268)) <= (tk(P164)) ) ) & ( potential( (tk(P53)) <= (tk(P245)) ) | potential( ( 1 ) <= (tk(P85)) ) ) ) ))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-01 (AG( (! ( potential( (tk(P179)) <= (tk(P80)) ) & ( potential( ( 3 ) <= (tk(P259)) ) & potential( (tk(P288)) <= (tk(P145)) ) ) ))))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-02 ( ( potential( ( 1 ) <= (tk(P303)) ) & potential( (tk(P36)) <= (tk(P206)) ) ) & ( (! potential( (tk(P250)) <= (tk(P172)) )) | (AG( ( potential( (tk(P48)) <= (tk(P223)) ) | potential( ( 3 ) <= (tk(P40)) ) ))) ) )
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-03 (EX( (! (EF(potential( ( 2 ) <= (tk(P92)) ))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-04 ( potential( (tk(P271)) <= (tk(P215)) ) & (AG( (EX( potential( ( 1 ) <= (tk(P206)) ))))) )
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-05 (EG( ( ( potential( ( 3 ) <= (tk(P270)) ) & (! potential( (tk(P258)) <= (tk(P306)) )) ) | (EF(potential( ( 3 ) <= (tk(P148)) ))) )))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-06 ( (EG( (EX( potential( ( 1 ) <= (tk(P143)) ))))) & ( ( (! potential( ( 2 ) <= (tk(P232)) )) & (EX( potential( ( 1 ) <= (tk(P119)) ))) ) & (EU( potential( (tk(P157)) <= (tk(P213)) ),potential( ( 2 ) <= (tk(P181)) ) )) ) )
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-07 (AG( (EU( potential( (tk(P23)) <= (tk(P44)) ),potential( (tk(P102)) <= (tk(P200)) ) ))))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-08 ( ( potential( ( 3 ) <= (tk(P115)) ) | (EF(( potential( (tk(P160)) <= (tk(P38)) ) & potential( ( 2 ) <= (tk(P151)) ) ))) ) | potential( ( 3 ) <= (tk(P68)) ) )
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-09 ( (AG( potential( (tk(P115)) <= (tk(P207)) ))) & ( (! ( ( potential( (tk(P220)) <= (tk(P310)) ) | potential( ( 3 ) <= (tk(P24)) ) ) & ( potential( ( 3 ) <= (tk(P244)) ) & potential( ( 1 ) <= (tk(P133)) ) ) )) & potential( (tk(P26)) <= (tk(P53)) ) ) )
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-10 (EF((AG( ( potential( (tk(P143)) <= (tk(P169)) ) & potential( (tk(P226)) <= (tk(P182)) ) )))))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-11 (EU( ( ( potential( (tk(P60)) <= (tk(P153)) ) | potential( (tk(P79)) <= (tk(P17)) ) ) & ( potential( (tk(P316)) <= (tk(P154)) ) | potential( (tk(P125)) <= (tk(P272)) ) ) ),(AG( potential( ( 3 ) <= (tk(P259)) ))) ))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-12 (EU( (! ( potential( ( 2 ) <= (tk(P106)) ) & potential( ( 2 ) <= (tk(P15)) ) )),(AF(potential( ( 3 ) <= (tk(P206)) ))) ))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-13 (AG( (! (EF(potential( ( 2 ) <= (tk(P96)) ))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-14 ( (AX( (EX( potential( (tk(P196)) <= (tk(P79)) ))))) | ( potential( ( 3 ) <= (tk(P147)) ) | ( ( ( potential( ( 3 ) <= (tk(P67)) ) | potential( (tk(P114)) <= (tk(P156)) ) ) & ( potential( (tk(P153)) <= (tk(P83)) ) & potential( (tk(P114)) <= (tk(P200)) ) ) ) & (EX( potential( ( 1 ) <= (tk(P104)) ))) ) ) )
PROPERTY: RwMutex-PT-r0100w0010-CTLCardinality-15 ( (AG( (! ( potential( ( 3 ) <= (tk(P223)) ) & potential( (tk(P277)) <= (tk(P282)) ) )))) & potential( (tk(P169)) <= (tk(P203)) ) )
FORMULA RwMutex-PT-r0100w0010-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA RwMutex-PT-r0100w0010-CTLCardinality-01 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
BK_TIME_CONFINEMENT_REACHED
--------------------
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-r0100w0010"
export BK_EXAMINATION="CTLCardinality"
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-r0100w0010, examination is CTLCardinality"
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-158972910100307"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0100w0010.tgz
mv RwMutex-PT-r0100w0010 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;