Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500444.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NoC3x3-PT-8A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500444
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 920K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 6 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 745K Mar 24 05:37 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 NoC3x3-PT-8A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-8A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589644109467

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 317 places, 4293 transitions, 9691 arcs.
AT ITER 0 NEW BEST:: SOT 302177 SOS 230273 HAS SOPS 230273 HAS SOUS 77216 HAS SOUPS 77216 WITH SCORE 77446.273
AT ITER 1 NEW BEST:: SOT 336472 SOS 264531 HAS SOPS 264531 HAS SOUS 76649 HAS SOUPS 76649 WITH SCORE 76913.531
AT ITER 2 NEW BEST:: SOT 336544 SOS 264308 HAS SOPS 264308 HAS SOUS 76629 HAS SOUPS 76629 WITH SCORE 76893.308
AT ITER 3 NEW BEST:: SOT 324727 SOS 252530 HAS SOPS 252530 HAS SOUS 76608 HAS SOUPS 76608 WITH SCORE 76860.53
AT ITER 4 NEW BEST:: SOT 324727 SOS 252530 HAS SOPS 252530 HAS SOUS 76576 HAS SOUPS 76576 WITH SCORE 76828.53
AT ITER 6 NEW BEST:: SOT 324442 SOS 252245 HAS SOPS 252245 HAS SOUS 76152 HAS SOUPS 76152 WITH SCORE 76404.245
AT ITER 9 NEW BEST:: SOT 324023 SOS 251826 HAS SOPS 251826 HAS SOUS 75652 HAS SOUPS 75652 WITH SCORE 75903.826
AT ITER 13 NEW BEST:: SOT 323968 SOS 251771 HAS SOPS 251771 HAS SOUS 75479 HAS SOUPS 75479 WITH SCORE 75730.771
AT ITER 20 NEW BEST:: SOT 323968 SOS 251771 HAS SOPS 251771 HAS SOUS 75347 HAS SOUPS 75347 WITH SCORE 75598.771
AT ITER 22 NEW BEST:: SOT 323917 SOS 251720 HAS SOPS 251720 HAS SOUS 75208 HAS SOUPS 75208 WITH SCORE 75459.72
AT ITER 24 NEW BEST:: SOT 323473 SOS 251276 HAS SOPS 251276 HAS SOUS 74784 HAS SOUPS 74784 WITH SCORE 75035.276
AT ITER 25 NEW BEST:: SOT 323022 SOS 250825 HAS SOPS 250825 HAS SOUS 74479 HAS SOUPS 74479 WITH SCORE 74729.825
AT ITER 28 NEW BEST:: SOT 322978 SOS 250781 HAS SOPS 250781 HAS SOUS 74337 HAS SOUPS 74337 WITH SCORE 74587.781
AT ITER 29 NEW BEST:: SOT 323019 SOS 250822 HAS SOPS 250822 HAS SOUS 74196 HAS SOUPS 74196 WITH SCORE 74446.822
AT ITER 39 NEW BEST:: SOT 322995 SOS 250798 HAS SOPS 250798 HAS SOUS 74149 HAS SOUPS 74149 WITH SCORE 74399.798
AT ITER 40 NEW BEST:: SOT 322995 SOS 250798 HAS SOPS 250798 HAS SOUS 74145 HAS SOUPS 74145 WITH SCORE 74395.798
AT ITER 47 NEW BEST:: SOT 322289 SOS 250092 HAS SOPS 250092 HAS SOUS 73403 HAS SOUPS 73403 WITH SCORE 73653.092
AT ITER 50 NEW BEST:: SOT 321799 SOS 249602 HAS SOPS 249602 HAS SOUS 72974 HAS SOUPS 72974 WITH SCORE 73223.602
AT ITER 51 NEW BEST:: SOT 321755 SOS 249558 HAS SOPS 249558 HAS SOUS 72838 HAS SOUPS 72838 WITH SCORE 73087.558
AT ITER 52 NEW BEST:: SOT 321345 SOS 249148 HAS SOPS 249148 HAS SOUS 72161 HAS SOUPS 72161 WITH SCORE 72410.148
AT ITER 53 NEW BEST:: SOT 321013 SOS 248816 HAS SOPS 248816 HAS SOUS 71868 HAS SOUPS 71868 WITH SCORE 72116.816
AT ITER 61 NEW BEST:: SOT 320695 SOS 248498 HAS SOPS 248498 HAS SOUS 71618 HAS SOUPS 71618 WITH SCORE 71866.498
AT ITER 63 NEW BEST:: SOT 319982 SOS 246621 HAS SOPS 246621 HAS SOUS 71224 HAS SOUPS 71224 WITH SCORE 71470.621
AT ITER 64 NEW BEST:: SOT 357140 SOS 283759 HAS SOPS 283759 HAS SOUS 70827 HAS SOUPS 70827 WITH SCORE 71110.759
AT ITER 65 NEW BEST:: SOT 356842 SOS 282687 HAS SOPS 282687 HAS SOUS 70426 HAS SOUPS 70426 WITH SCORE 70708.687
AT ITER 66 NEW BEST:: SOT 344943 SOS 270788 HAS SOPS 270788 HAS SOUS 70385 HAS SOUPS 70385 WITH SCORE 70655.788
AT ITER 77 NEW BEST:: SOT 344887 SOS 270732 HAS SOPS 270732 HAS SOUS 69834 HAS SOUPS 69834 WITH SCORE 70104.732
AT ITER 79 NEW BEST:: SOT 344619 SOS 270464 HAS SOPS 270464 HAS SOUS 69301 HAS SOUPS 69301 WITH SCORE 69571.464
AT ITER 83 NEW BEST:: SOT 344308 SOS 270188 HAS SOPS 270188 HAS SOUS 69244 HAS SOUPS 69244 WITH SCORE 69514.188
AT ITER 92 NEW BEST:: SOT 344499 SOS 269871 HAS SOPS 269871 HAS SOUS 69181 HAS SOUPS 69181 WITH SCORE 69450.871
AT ITER 94 NEW BEST:: SOT 350496 SOS 272941 HAS SOPS 272941 HAS SOUS 69173 HAS SOUPS 69173 WITH SCORE 69445.941
AT ITER 96 NEW BEST:: SOT 350492 SOS 272937 HAS SOPS 272937 HAS SOUS 69135 HAS SOUPS 69135 WITH SCORE 69407.937
AT ITER 98 NEW BEST:: SOT 350661 SOS 273106 HAS SOPS 273106 HAS SOUS 69111 HAS SOUPS 69111 WITH SCORE 69384.106
AT ITER 99 NEW BEST:: SOT 350325 SOS 272689 HAS SOPS 272689 HAS SOUS 68626 HAS SOUPS 68626 WITH SCORE 68898.689
AT ITER 100 NEW BEST:: SOT 350043 SOS 272407 HAS SOPS 272407 HAS SOUS 68466 HAS SOUPS 68466 WITH SCORE 68738.407
AT ITER 104 NEW BEST:: SOT 349843 SOS 271483 HAS SOPS 270990 HAS SOUS 68206 HAS SOUPS 67713 WITH SCORE 67984.483
AT ITER 105 NEW BEST:: SOT 349843 SOS 269671 HAS SOPS 269178 HAS SOUS 68206 HAS SOUPS 67713 WITH SCORE 67982.671
AT ITER 106 NEW BEST:: SOT 356595 SOS 272337 HAS SOPS 271844 HAS SOUS 68181 HAS SOUPS 67688 WITH SCORE 67960.337
AT ITER 111 NEW BEST:: SOT 336019 SOS 250341 HAS SOPS 249848 HAS SOUS 67769 HAS SOUPS 67276 WITH SCORE 67526.341
AT ITER 113 NEW BEST:: SOT 336019 SOS 250179 HAS SOPS 249686 HAS SOUS 67769 HAS SOUPS 67276 WITH SCORE 67526.179
AT ITER 116 NEW BEST:: SOT 336037 SOS 250287 HAS SOPS 249803 HAS SOUS 67742 HAS SOUPS 67258 WITH SCORE 67508.287
AT ITER 117 NEW BEST:: SOT 336037 SOS 250262 HAS SOPS 249778 HAS SOUS 67663 HAS SOUPS 67179 WITH SCORE 67429.262
AT ITER 119 NEW BEST:: SOT 348219 SOS 233466 HAS SOPS 232982 HAS SOUS 67267 HAS SOUPS 66783 WITH SCORE 67016.466
AT ITER 120 NEW BEST:: SOT 346910 SOS 232157 HAS SOPS 231673 HAS SOUS 66012 HAS SOUPS 65528 WITH SCORE 65760.157
AT ITER 123 NEW BEST:: SOT 346777 SOS 229789 HAS SOPS 229285 HAS SOUS 65953 HAS SOUPS 65449 WITH SCORE 65678.789
AT ITER 129 NEW BEST:: SOT 346401 SOS 229448 HAS SOPS 228944 HAS SOUS 65561 HAS SOUPS 65057 WITH SCORE 65286.448
AT ITER 130 NEW BEST:: SOT 346219 SOS 228660 HAS SOPS 228156 HAS SOUS 65187 HAS SOUPS 64683 WITH SCORE 64911.66
AT ITER 131 NEW BEST:: SOT 346175 SOS 228616 HAS SOPS 228112 HAS SOUS 65154 HAS SOUPS 64650 WITH SCORE 64878.616
AT ITER 133 NEW BEST:: SOT 346175 SOS 226480 HAS SOPS 225976 HAS SOUS 64920 HAS SOUPS 64416 WITH SCORE 64642.48
AT ITER 136 NEW BEST:: SOT 346175 SOS 226480 HAS SOPS 225976 HAS SOUS 64850 HAS SOUPS 64346 WITH SCORE 64572.48
AT ITER 141 NEW BEST:: SOT 345132 SOS 224082 HAS SOPS 223578 HAS SOUS 64836 HAS SOUPS 64332 WITH SCORE 64556.082
AT ITER 143 NEW BEST:: SOT 345081 SOS 224031 HAS SOPS 223527 HAS SOUS 64828 HAS SOUPS 64324 WITH SCORE 64548.031
AT ITER 147 NEW BEST:: SOT 345089 SOS 224039 HAS SOPS 223535 HAS SOUS 64788 HAS SOUPS 64284 WITH SCORE 64508.039
AT ITER 163 NEW BEST:: SOT 345063 SOS 220116 HAS SOPS 219612 HAS SOUS 64739 HAS SOUPS 64235 WITH SCORE 64455.116
AT ITER 166 NEW BEST:: SOT 343644 SOS 218045 HAS SOPS 217541 HAS SOUS 63244 HAS SOUPS 62740 WITH SCORE 62958.045
AT ITER 177 NEW BEST:: SOT 342957 SOS 217358 HAS SOPS 216854 HAS SOUS 62998 HAS SOUPS 62494 WITH SCORE 62711.358
AT ITER 178 NEW BEST:: SOT 342924 SOS 217325 HAS SOPS 216821 HAS SOUS 62997 HAS SOUPS 62493 WITH SCORE 62710.325
AT ITER 187 NEW BEST:: SOT 342994 SOS 217602 HAS SOPS 217098 HAS SOUS 62978 HAS SOUPS 62474 WITH SCORE 62691.602
AT ITER 189 NEW BEST:: SOT 342994 SOS 217638 HAS SOPS 217134 HAS SOUS 62956 HAS SOUPS 62452 WITH SCORE 62669.638
AT ITER 192 NEW BEST:: SOT 342968 SOS 217560 HAS SOPS 217056 HAS SOUS 62917 HAS SOUPS 62413 WITH SCORE 62630.56
AT ITER 197 NEW BEST:: SOT 342894 SOS 217486 HAS SOPS 216982 HAS SOUS 62915 HAS SOUPS 62411 WITH SCORE 62628.486
AT ITER 204 NEW BEST:: SOT 342931 SOS 217504 HAS SOPS 217171 HAS SOUS 62350 HAS SOUPS 62017 WITH SCORE 62234.504
AT ITER 206 NEW BEST:: SOT 340845 SOS 213276 HAS SOPS 212943 HAS SOUS 62336 HAS SOUPS 62003 WITH SCORE 62216.276
AT ITER 208 NEW BEST:: SOT 340610 SOS 213041 HAS SOPS 212708 HAS SOUS 62000 HAS SOUPS 61667 WITH SCORE 61880.041
AT ITER 209 NEW BEST:: SOT 340628 SOS 213059 HAS SOPS 212726 HAS SOUS 61997 HAS SOUPS 61664 WITH SCORE 61877.059
AT ITER 213 NEW BEST:: SOT 340628 SOS 212897 HAS SOPS 212564 HAS SOUS 61889 HAS SOUPS 61556 WITH SCORE 61768.897
AT ITER 215 NEW BEST:: SOT 377030 SOS 241545 HAS SOPS 240897 HAS SOUS 60417 HAS SOUPS 60082 WITH SCORE 60323.545
AT ITER 217 NEW BEST:: SOT 412567 SOS 276556 HAS SOPS 275870 HAS SOUS 60082 HAS SOUPS 59731 WITH SCORE 60007.556
AT ITER 218 NEW BEST:: SOT 412360 SOS 276349 HAS SOPS 275663 HAS SOUS 59770 HAS SOUPS 59419 WITH SCORE 59695.349
AT ITER 220 NEW BEST:: SOT 412352 SOS 275157 HAS SOPS 274471 HAS SOUS 59762 HAS SOUPS 59411 WITH SCORE 59686.157
AT ITER 221 NEW BEST:: SOT 412289 SOS 275094 HAS SOPS 274408 HAS SOUS 59573 HAS SOUPS 59222 WITH SCORE 59497.094
AT ITER 224 NEW BEST:: SOT 412259 SOS 275064 HAS SOPS 274378 HAS SOUS 59543 HAS SOUPS 59192 WITH SCORE 59467.064
AT ITER 225 NEW BEST:: SOT 412306 SOS 275143 HAS SOPS 274457 HAS SOUS 59419 HAS SOUPS 59068 WITH SCORE 59343.143
AT ITER 226 NEW BEST:: SOT 412258 SOS 275095 HAS SOPS 274409 HAS SOUS 59409 HAS SOUPS 59058 WITH SCORE 59333.095
AT ITER 233 NEW BEST:: SOT 412258 SOS 275095 HAS SOPS 274409 HAS SOUS 59377 HAS SOUPS 59026 WITH SCORE 59301.095
AT ITER 239 NEW BEST:: SOT 411995 SOS 275541 HAS SOPS 275184 HAS SOUS 58790 HAS SOUPS 58604 WITH SCORE 58879.541
AT ITER 241 NEW BEST:: SOT 411973 SOS 275519 HAS SOPS 275162 HAS SOUS 58668 HAS SOUPS 58482 WITH SCORE 58757.519
AT ITER 245 NEW BEST:: SOT 411899 SOS 275445 HAS SOPS 275088 HAS SOUS 58536 HAS SOUPS 58350 WITH SCORE 58625.445
AT ITER 246 NEW BEST:: SOT 412932 SOS 269426 HAS SOPS 269069 HAS SOUS 58412 HAS SOUPS 58226 WITH SCORE 58495.426
AT ITER 247 NEW BEST:: SOT 413041 SOS 269232 HAS SOPS 268875 HAS SOUS 58100 HAS SOUPS 57914 WITH SCORE 58183.232
AT ITER 254 NEW BEST:: SOT 412320 SOS 268491 HAS SOPS 268134 HAS SOUS 57531 HAS SOUPS 57345 WITH SCORE 57613.491
AT ITER 257 NEW BEST:: SOT 412994 SOS 269429 HAS SOPS 269110 HAS SOUS 57385 HAS SOUPS 57215 WITH SCORE 57484.429
AT ITER 258 NEW BEST:: SOT 412994 SOS 269376 HAS SOPS 269057 HAS SOUS 57358 HAS SOUPS 57188 WITH SCORE 57457.376
AT ITER 260 NEW BEST:: SOT 413021 SOS 269167 HAS SOPS 268848 HAS SOUS 57294 HAS SOUPS 57124 WITH SCORE 57393.167
AT ITER 261 NEW BEST:: SOT 445825 SOS 301703 HAS SOPS 301384 HAS SOUS 56784 HAS SOUPS 56614 WITH SCORE 56915.703
AT ITER 262 NEW BEST:: SOT 445731 SOS 301609 HAS SOPS 301290 HAS SOUS 56595 HAS SOUPS 56425 WITH SCORE 56726.609
AT ITER 263 NEW BEST:: SOT 445833 SOS 301711 HAS SOPS 301392 HAS SOUS 56387 HAS SOUPS 56217 WITH SCORE 56518.711
AT ITER 264 NEW BEST:: SOT 446266 SOS 302144 HAS SOPS 301825 HAS SOUS 56266 HAS SOUPS 56096 WITH SCORE 56398.144
AT ITER 265 NEW BEST:: SOT 446196 SOS 302074 HAS SOPS 301755 HAS SOUS 56216 HAS SOUPS 56046 WITH SCORE 56348.074
AT ITER 270 NEW BEST:: SOT 445727 SOS 301345 HAS SOPS 301026 HAS SOUS 55526 HAS SOUPS 55356 WITH SCORE 55657.345
AT ITER 273 NEW BEST:: SOT 445690 SOS 301308 HAS SOPS 300989 HAS SOUS 55452 HAS SOUPS 55282 WITH SCORE 55583.308
AT ITER 282 NEW BEST:: SOT 445705 SOS 301047 HAS SOPS 300728 HAS SOUS 55294 HAS SOUPS 55124 WITH SCORE 55425.047
AT ITER 283 NEW BEST:: SOT 445705 SOS 301047 HAS SOPS 300728 HAS SOUS 55265 HAS SOUPS 55095 WITH SCORE 55396.047
AT ITER 290 NEW BEST:: SOT 445059 SOS 300401 HAS SOPS 300082 HAS SOUS 55157 HAS SOUPS 54987 WITH SCORE 55287.401
AT ITER 291 NEW BEST:: SOT 445017 SOS 300359 HAS SOPS 300040 HAS SOUS 54930 HAS SOUPS 54760 WITH SCORE 55060.359
AT ITER 295 NEW BEST:: SOT 444244 SOS 299586 HAS SOPS 299267 HAS SOUS 54157 HAS SOUPS 53987 WITH SCORE 54286.586
AT ITER 299 NEW BEST:: SOT 436103 SOS 291500 HAS SOPS 291181 HAS SOUS 54126 HAS SOUPS 53956 WITH SCORE 54247.5
AT ITER 308 NEW BEST:: SOT 435383 SOS 290440 HAS SOPS 290121 HAS SOUS 53442 HAS SOUPS 53272 WITH SCORE 53562.44
AT ITER 311 NEW BEST:: SOT 434797 SOS 289322 HAS SOPS 289015 HAS SOUS 52962 HAS SOUPS 52804 WITH SCORE 53093.322
AT ITER 323 NEW BEST:: SOT 434505 SOS 289030 HAS SOPS 288723 HAS SOUS 52670 HAS SOUPS 52512 WITH SCORE 52801.03
AT ITER 334 NEW BEST:: SOT 434493 SOS 289018 HAS SOPS 288711 HAS SOUS 52663 HAS SOUPS 52505 WITH SCORE 52794.018
AT ITER 335 NEW BEST:: SOT 434443 SOS 288616 HAS SOPS 288309 HAS SOUS 52613 HAS SOUPS 52455 WITH SCORE 52743.616
AT ITER 336 NEW BEST:: SOT 433464 SOS 287637 HAS SOPS 287330 HAS SOUS 51993 HAS SOUPS 51835 WITH SCORE 52122.637
AT ITER 340 NEW BEST:: SOT 433408 SOS 287581 HAS SOPS 287274 HAS SOUS 51873 HAS SOUPS 51715 WITH SCORE 52002.581
AT ITER 342 NEW BEST:: SOT 433408 SOS 287557 HAS SOPS 287250 HAS SOUS 51873 HAS SOUPS 51715 WITH SCORE 52002.557
AT ITER 343 NEW BEST:: SOT 432961 SOS 286543 HAS SOPS 286236 HAS SOUS 51870 HAS SOUPS 51712 WITH SCORE 51998.543
AT ITER 345 NEW BEST:: SOT 432905 SOS 285969 HAS SOPS 285662 HAS SOUS 51689 HAS SOUPS 51531 WITH SCORE 51816.969
AT ITER 348 NEW BEST:: SOT 432777 SOS 285866 HAS SOPS 285559 HAS SOUS 51650 HAS SOUPS 51492 WITH SCORE 51777.866
AT ITER 349 NEW BEST:: SOT 431138 SOS 282606 HAS SOPS 282299 HAS SOUS 51645 HAS SOUPS 51487 WITH SCORE 51769.606
AT ITER 361 NEW BEST:: SOT 431023 SOS 282231 HAS SOPS 281924 HAS SOUS 51538 HAS SOUPS 51380 WITH SCORE 51662.231
AT ITER 362 NEW BEST:: SOT 430051 SOS 281259 HAS SOPS 280952 HAS SOUS 50566 HAS SOUPS 50408 WITH SCORE 50689.259
AT ITER 363 NEW BEST:: SOT 430130 SOS 281401 HAS SOPS 281031 HAS SOUS 50562 HAS SOUPS 50341 WITH SCORE 50622.401
AT ITER 368 NEW BEST:: SOT 429995 SOS 281158 HAS SOPS 280788 HAS SOUS 50433 HAS SOUPS 50212 WITH SCORE 50493.158
AT ITER 373 NEW BEST:: SOT 429952 SOS 281115 HAS SOPS 280745 HAS SOUS 50431 HAS SOUPS 50210 WITH SCORE 50491.115
AT ITER 378 NEW BEST:: SOT 429857 SOS 280859 HAS SOPS 280489 HAS SOUS 50356 HAS SOUPS 50135 WITH SCORE 50415.859
AT ITER 380 NEW BEST:: SOT 429753 SOS 280755 HAS SOPS 280385 HAS SOUS 50189 HAS SOUPS 49968 WITH SCORE 50248.755
AT ITER 392 NEW BEST:: SOT 429757 SOS 280759 HAS SOPS 280389 HAS SOUS 50177 HAS SOUPS 49956 WITH SCORE 50236.759
AT ITER 393 NEW BEST:: SOT 429740 SOS 280742 HAS SOPS 280372 HAS SOUS 50177 HAS SOUPS 49956 WITH SCORE 50236.742
AT ITER 395 NEW BEST:: SOT 429752 SOS 280786 HAS SOPS 280416 HAS SOUS 50157 HAS SOUPS 49936 WITH SCORE 50216.786
AT ITER 397 NEW BEST:: SOT 429585 SOS 280619 HAS SOPS 280249 HAS SOUS 49963 HAS SOUPS 49742 WITH SCORE 50022.619
AT ITER 398 NEW BEST:: SOT 429585 SOS 280580 HAS SOPS 280210 HAS SOUS 49963 HAS SOUPS 49742 WITH SCORE 50022.58
AT ITER 401 NEW BEST:: SOT 429573 SOS 280838 HAS SOPS 280468 HAS SOUS 49943 HAS SOUPS 49722 WITH SCORE 50002.838
AT ITER 406 NEW BEST:: SOT 429501 SOS 280694 HAS SOPS 280332 HAS SOUS 49807 HAS SOUPS 49594 WITH SCORE 49874.694
AT ITER 408 NEW BEST:: SOT 429594 SOS 280787 HAS SOPS 280425 HAS SOUS 49670 HAS SOUPS 49457 WITH SCORE 49737.787
AT ITER 431 NEW BEST:: SOT 429426 SOS 280619 HAS SOPS 280257 HAS SOUS 49216 HAS SOUPS 49003 WITH SCORE 49283.619
AT ITER 434 NEW BEST:: SOT 429380 SOS 280573 HAS SOPS 280211 HAS SOUS 49114 HAS SOUPS 48901 WITH SCORE 49181.573
AT ITER 435 NEW BEST:: SOT 428188 SOS 277771 HAS SOPS 277409 HAS SOUS 49106 HAS SOUPS 48893 WITH SCORE 49170.771
AT ITER 439 NEW BEST:: SOT 427917 SOS 277675 HAS SOPS 277342 HAS SOUS 49032 HAS SOUPS 48820 WITH SCORE 49097.675
AT ITER 441 NEW BEST:: SOT 427619 SOS 277007 HAS SOPS 276674 HAS SOUS 49030 HAS SOUPS 48818 WITH SCORE 49095.007
AT ITER 442 NEW BEST:: SOT 427707 SOS 277095 HAS SOPS 276762 HAS SOUS 49021 HAS SOUPS 48809 WITH SCORE 49086.095
AT ITER 450 NEW BEST:: SOT 427650 SOS 277038 HAS SOPS 276705 HAS SOUS 48945 HAS SOUPS 48733 WITH SCORE 49010.038
AT ITER 459 NEW BEST:: SOT 456987 SOS 299818 HAS SOPS 299485 HAS SOUS 48844 HAS SOUPS 48632 WITH SCORE 48931.818
AT ITER 467 NEW BEST:: SOT 456811 SOS 281112 HAS SOPS 280779 HAS SOUS 48736 HAS SOUPS 48524 WITH SCORE 48805.112
AT ITER 469 NEW BEST:: SOT 456819 SOS 280986 HAS SOPS 280653 HAS SOUS 48485 HAS SOUPS 48273 WITH SCORE 48553.986
AT ITER 472 NEW BEST:: SOT 456376 SOS 280543 HAS SOPS 280210 HAS SOUS 48160 HAS SOUPS 47948 WITH SCORE 48228.543
AT ITER 473 NEW BEST:: SOT 448703 SOS 278850 HAS SOPS 278517 HAS SOUS 48094 HAS SOUPS 47882 WITH SCORE 48160.85
AT ITER 474 NEW BEST:: SOT 448541 SOS 278565 HAS SOPS 278232 HAS SOUS 47943 HAS SOUPS 47731 WITH SCORE 48009.565
AT ITER 476 NEW BEST:: SOT 448084 SOS 278108 HAS SOPS 277775 HAS SOUS 47700 HAS SOUPS 47488 WITH SCORE 47766.108
AT ITER 484 NEW BEST:: SOT 448003 SOS 278105 HAS SOPS 277772 HAS SOUS 47568 HAS SOUPS 47356 WITH SCORE 47634.105
AT ITER 490 NEW BEST:: SOT 448003 SOS 277641 HAS SOPS 277308 HAS SOUS 47325 HAS SOUPS 47113 WITH SCORE 47390.641
AT ITER 495 NEW BEST:: SOT 448253 SOS 277966 HAS SOPS 277633 HAS SOUS 47237 HAS SOUPS 47025 WITH SCORE 47302.966
AT ITER 498 NEW BEST:: SOT 448356 SOS 278069 HAS SOPS 277736 HAS SOUS 47049 HAS SOUPS 46837 WITH SCORE 47115.069
AT ITER 501 NEW BEST:: SOT 448275 SOS 278028 HAS SOPS 277695 HAS SOUS 46985 HAS SOUPS 46773 WITH SCORE 47051.028
AT ITER 502 NEW BEST:: SOT 447835 SOS 277654 HAS SOPS 277321 HAS SOUS 46829 HAS SOUPS 46617 WITH SCORE 46894.654
AT ITER 509 NEW BEST:: SOT 447394 SOS 276853 HAS SOPS 276520 HAS SOUS 46388 HAS SOUPS 46176 WITH SCORE 46452.853
AT ITER 512 NEW BEST:: SOT 447302 SOS 276761 HAS SOPS 276428 HAS SOUS 46240 HAS SOUPS 46028 WITH SCORE 46304.761
AT ITER 515 NEW BEST:: SOT 447228 SOS 276687 HAS SOPS 276354 HAS SOUS 46048 HAS SOUPS 45836 WITH SCORE 46112.687
AT ITER 517 NEW BEST:: SOT 447214 SOS 276617 HAS SOPS 276284 HAS SOUS 46048 HAS SOUPS 45836 WITH SCORE 46112.617
AT ITER 528 NEW BEST:: SOT 447126 SOS 276460 HAS SOPS 276127 HAS SOUS 45874 HAS SOUPS 45662 WITH SCORE 45938.46
AT ITER 531 NEW BEST:: SOT 447119 SOS 276453 HAS SOPS 276120 HAS SOUS 45845 HAS SOUPS 45633 WITH SCORE 45909.453
AT ITER 535 NEW BEST:: SOT 447113 SOS 276129 HAS SOPS 275796 HAS SOUS 45803 HAS SOUPS 45591 WITH SCORE 45867.129
AT ITER 542 NEW BEST:: SOT 446735 SOS 275783 HAS SOPS 275450 HAS SOUS 45035 HAS SOUPS 44823 WITH SCORE 45098.783
AT ITER 543 NEW BEST:: SOT 446632 SOS 275827 HAS SOPS 275374 HAS SOUS 45006 HAS SOUPS 44734 WITH SCORE 45009.827
AT ITER 546 NEW BEST:: SOT 446565 SOS 275760 HAS SOPS 275307 HAS SOUS 44980 HAS SOUPS 44708 WITH SCORE 44983.76
AT ITER 547 NEW BEST:: SOT 446480 SOS 275743 HAS SOPS 275290 HAS SOUS 44948 HAS SOUPS 44676 WITH SCORE 44951.743
AT ITER 548 NEW BEST:: SOT 446480 SOS 272467 HAS SOPS 272014 HAS SOUS 44906 HAS SOUPS 44634 WITH SCORE 44906.467
AT ITER 551 NEW BEST:: SOT 446529 SOS 272405 HAS SOPS 271952 HAS SOUS 44826 HAS SOUPS 44554 WITH SCORE 44826.405
AT ITER 558 NEW BEST:: SOT 446507 SOS 272342 HAS SOPS 271889 HAS SOUS 44826 HAS SOUPS 44554 WITH SCORE 44826.342
AT ITER 561 NEW BEST:: SOT 446534 SOS 272292 HAS SOPS 271839 HAS SOUS 44819 HAS SOUPS 44547 WITH SCORE 44819.292
AT ITER 562 NEW BEST:: SOT 446440 SOS 272198 HAS SOPS 271745 HAS SOUS 44461 HAS SOUPS 44189 WITH SCORE 44461.198
AT ITER 564 NEW BEST:: SOT 446296 SOS 272054 HAS SOPS 271601 HAS SOUS 44247 HAS SOUPS 43975 WITH SCORE 44247.054
AT ITER 567 NEW BEST:: SOT 446143 SOS 271901 HAS SOPS 271448 HAS SOUS 44127 HAS SOUPS 43855 WITH SCORE 44126.901
AT ITER 568 NEW BEST:: SOT 446236 SOS 272312 HAS SOPS 271859 HAS SOUS 44080 HAS SOUPS 43808 WITH SCORE 44080.312
AT ITER 585 NEW BEST:: SOT 445964 SOS 271332 HAS SOPS 270879 HAS SOUS 43735 HAS SOUPS 43463 WITH SCORE 43734.332
AT ITER 599 NEW BEST:: SOT 445962 SOS 271330 HAS SOPS 270877 HAS SOUS 43733 HAS SOUPS 43461 WITH SCORE 43732.33
AT ITER 600 NEW BEST:: SOT 445785 SOS 271153 HAS SOPS 270700 HAS SOUS 43393 HAS SOUPS 43121 WITH SCORE 43392.153
AT ITER 605 NEW BEST:: SOT 445901 SOS 271481 HAS SOPS 271028 HAS SOUS 43387 HAS SOUPS 43115 WITH SCORE 43386.481
AT ITER 606 NEW BEST:: SOT 445853 SOS 271391 HAS SOPS 270938 HAS SOUS 43352 HAS SOUPS 43080 WITH SCORE 43351.391
AT ITER 615 NEW BEST:: SOT 445853 SOS 271483 HAS SOPS 271030 HAS SOUS 43212 HAS SOUPS 42940 WITH SCORE 43211.483
AT ITER 621 NEW BEST:: SOT 445766 SOS 271396 HAS SOPS 270943 HAS SOUS 43057 HAS SOUPS 42785 WITH SCORE 43056.396
AT ITER 622 NEW BEST:: SOT 445766 SOS 271382 HAS SOPS 270929 HAS SOUS 43057 HAS SOUPS 42785 WITH SCORE 43056.382
AT ITER 623 NEW BEST:: SOT 445766 SOS 258215 HAS SOPS 257762 HAS SOUS 43057 HAS SOUPS 42785 WITH SCORE 43043.215
AT ITER 624 NEW BEST:: SOT 456643 SOS 257685 HAS SOPS 257141 HAS SOUS 43071 HAS SOUPS 42708 WITH SCORE 42965.685
AT ITER 634 NEW BEST:: SOT 456643 SOS 257687 HAS SOPS 257143 HAS SOUS 43061 HAS SOUPS 42698 WITH SCORE 42955.687
AT ITER 644 NEW BEST:: SOT 456664 SOS 257708 HAS SOPS 257164 HAS SOUS 43017 HAS SOUPS 42654 WITH SCORE 42911.708
AT ITER 649 NEW BEST:: SOT 450934 SOS 251900 HAS SOPS 251356 HAS SOUS 43020 HAS SOUPS 42657 WITH SCORE 42908.9
AT ITER 651 NEW BEST:: SOT 450419 SOS 251528 HAS SOPS 250984 HAS SOUS 42842 HAS SOUPS 42479 WITH SCORE 42730.528
AT ITER 654 NEW BEST:: SOT 450433 SOS 251472 HAS SOPS 250928 HAS SOUS 42814 HAS SOUPS 42451 WITH SCORE 42702.472
AT ITER 658 NEW BEST:: SOT 482115 SOS 284478 HAS SOPS 283934 HAS SOUS 42647 HAS SOUPS 42284 WITH SCORE 42568.478
AT ITER 667 NEW BEST:: SOT 473863 SOS 276226 HAS SOPS 275682 HAS SOUS 42586 HAS SOUPS 42223 WITH SCORE 42499.226
AT ITER 669 NEW BEST:: SOT 473737 SOS 276086 HAS SOPS 275542 HAS SOUS 42248 HAS SOUPS 41885 WITH SCORE 42161.086
AT ITER 672 NEW BEST:: SOT 498951 SOS 300307 HAS SOPS 299763 HAS SOUS 42218 HAS SOUPS 41855 WITH SCORE 42155.307
AT ITER 676 NEW BEST:: SOT 498853 SOS 300013 HAS SOPS 299469 HAS SOUS 42120 HAS SOUPS 41757 WITH SCORE 42057.013
AT ITER 678 NEW BEST:: SOT 498733 SOS 300182 HAS SOPS 299638 HAS SOUS 42045 HAS SOUPS 41682 WITH SCORE 41982.182
AT ITER 690 NEW BEST:: SOT 498733 SOS 300182 HAS SOPS 299638 HAS SOUS 42016 HAS SOUPS 41653 WITH SCORE 41953.182
AT ITER 701 NEW BEST:: SOT 498695 SOS 300125 HAS SOPS 299600 HAS SOUS 41962 HAS SOUPS 41618 WITH SCORE 41918.125
AT ITER 702 NEW BEST:: SOT 498674 SOS 300104 HAS SOPS 299579 HAS SOUS 41941 HAS SOUPS 41597 WITH SCORE 41897.104
AT ITER 703 NEW BEST:: SOT 498626 SOS 300056 HAS SOPS 299531 HAS SOUS 41823 HAS SOUPS 41479 WITH SCORE 41779.056
AT ITER 704 NEW BEST:: SOT 498616 SOS 300038 HAS SOPS 299513 HAS SOUS 41813 HAS SOUPS 41469 WITH SCORE 41769.038
AT ITER 722 NEW BEST:: SOT 498452 SOS 299935 HAS SOPS 299410 HAS SOUS 41709 HAS SOUPS 41365 WITH SCORE 41664.935
AT ITER 725 NEW BEST:: SOT 498141 SOS 299508 HAS SOPS 298983 HAS SOUS 41191 HAS SOUPS 40847 WITH SCORE 41146.508
AT ITER 735 NEW BEST:: SOT 498157 SOS 299524 HAS SOPS 298999 HAS SOUS 41175 HAS SOUPS 40831 WITH SCORE 41130.524
AT ITER 739 NEW BEST:: SOT 498157 SOS 299736 HAS SOPS 299211 HAS SOUS 41135 HAS SOUPS 40791 WITH SCORE 41090.736
AT ITER 746 NEW BEST:: SOT 498288 SOS 299930 HAS SOPS 299342 HAS SOUS 41139 HAS SOUPS 40732 WITH SCORE 41031.93
AT ITER 754 NEW BEST:: SOT 498279 SOS 299921 HAS SOPS 299333 HAS SOUS 41121 HAS SOUPS 40714 WITH SCORE 41013.921
AT ITER 762 NEW BEST:: SOT 498286 SOS 299893 HAS SOPS 299305 HAS SOUS 41108 HAS SOUPS 40701 WITH SCORE 41000.893
AT ITER 766 NEW BEST:: SOT 498300 SOS 299907 HAS SOPS 299319 HAS SOUS 41102 HAS SOUPS 40695 WITH SCORE 40994.907
AT ITER 767 NEW BEST:: SOT 498289 SOS 299896 HAS SOPS 299308 HAS SOUS 41020 HAS SOUPS 40613 WITH SCORE 40912.896
AT ITER 774 NEW BEST:: SOT 498272 SOS 299777 HAS SOPS 299189 HAS SOUS 40969 HAS SOUPS 40562 WITH SCORE 40861.777
AT ITER 775 NEW BEST:: SOT 497851 SOS 299256 HAS SOPS 298768 HAS SOUS 40548 HAS SOUPS 40241 WITH SCORE 40540.256
AT ITER 781 NEW BEST:: SOT 497917 SOS 299850 HAS SOPS 299362 HAS SOUS 40533 HAS SOUPS 40226 WITH SCORE 40525.85
AT ITER 785 NEW BEST:: SOT 497909 SOS 299927 HAS SOPS 299439 HAS SOUS 40526 HAS SOUPS 40219 WITH SCORE 40518.927
AT ITER 793 NEW BEST:: SOT 497615 SOS 299637 HAS SOPS 299149 HAS SOUS 40526 HAS SOUPS 40219 WITH SCORE 40518.637
AT ITER 800 NEW BEST:: SOT 497635 SOS 299665 HAS SOPS 299177 HAS SOUS 40516 HAS SOUPS 40209 WITH SCORE 40508.665
AT ITER 805 NEW BEST:: SOT 497216 SOS 280793 HAS SOPS 280305 HAS SOUS 40306 HAS SOUPS 39999 WITH SCORE 40279.793
AT ITER 808 NEW BEST:: SOT 497696 SOS 281349 HAS SOPS 280861 HAS SOUS 40272 HAS SOUPS 39965 WITH SCORE 40246.349
AT ITER 811 NEW BEST:: SOT 497622 SOS 281301 HAS SOPS 280813 HAS SOUS 40212 HAS SOUPS 39905 WITH SCORE 40186.301
AT ITER 819 NEW BEST:: SOT 497562 SOS 281241 HAS SOPS 280753 HAS SOUS 40180 HAS SOUPS 39873 WITH SCORE 40154.241
AT ITER 820 NEW BEST:: SOT 497326 SOS 281005 HAS SOPS 280517 HAS SOUS 39929 HAS SOUPS 39622 WITH SCORE 39903.005
AT ITER 822 NEW BEST:: SOT 497228 SOS 280907 HAS SOPS 280419 HAS SOUS 39880 HAS SOUPS 39573 WITH SCORE 39853.907
AT ITER 829 NEW BEST:: SOT 497195 SOS 280792 HAS SOPS 280304 HAS SOUS 39855 HAS SOUPS 39548 WITH SCORE 39828.792
AT ITER 830 NEW BEST:: SOT 497201 SOS 280655 HAS SOPS 280167 HAS SOUS 39832 HAS SOUPS 39525 WITH SCORE 39805.655
AT ITER 834 NEW BEST:: SOT 497095 SOS 280637 HAS SOPS 280149 HAS SOUS 39824 HAS SOUPS 39517 WITH SCORE 39797.637
AT ITER 840 NEW BEST:: SOT 497137 SOS 280857 HAS SOPS 280369 HAS SOUS 39640 HAS SOUPS 39333 WITH SCORE 39613.857
AT ITER 854 NEW BEST:: SOT 497000 SOS 280737 HAS SOPS 280232 HAS SOUS 39608 HAS SOUPS 39284 WITH SCORE 39564.737
AT ITER 858 NEW BEST:: SOT 496992 SOS 280729 HAS SOPS 280224 HAS SOUS 39604 HAS SOUPS 39280 WITH SCORE 39560.729
AT ITER 871 NEW BEST:: SOT 496870 SOS 280347 HAS SOPS 279842 HAS SOUS 39490 HAS SOUPS 39166 WITH SCORE 39446.347
AT ITER 872 NEW BEST:: SOT 496880 SOS 280357 HAS SOPS 279852 HAS SOUS 39478 HAS SOUPS 39154 WITH SCORE 39434.357
AT ITER 880 NEW BEST:: SOT 496952 SOS 280447 HAS SOPS 279906 HAS SOUS 39460 HAS SOUPS 39118 WITH SCORE 39398.447
AT ITER 881 NEW BEST:: SOT 496736 SOS 280221 HAS SOPS 279680 HAS SOUS 39290 HAS SOUPS 38948 WITH SCORE 39228.221
AT ITER 888 NEW BEST:: SOT 496723 SOS 280208 HAS SOPS 279667 HAS SOUS 39290 HAS SOUPS 38948 WITH SCORE 39228.208
AT ITER 889 NEW BEST:: SOT 496715 SOS 280200 HAS SOPS 279659 HAS SOUS 39284 HAS SOUPS 38942 WITH SCORE 39222.2
AT ITER 897 NEW BEST:: SOT 495821 SOS 278724 HAS SOPS 278183 HAS SOUS 39285 HAS SOUPS 38943 WITH SCORE 39221.724
AT ITER 914 NEW BEST:: SOT 495809 SOS 278712 HAS SOPS 278171 HAS SOUS 39285 HAS SOUPS 38943 WITH SCORE 39221.712
AT ITER 921 NEW BEST:: SOT 495689 SOS 278592 HAS SOPS 278051 HAS SOUS 39047 HAS SOUPS 38705 WITH SCORE 38983.592
AT ITER 948 NEW BEST:: SOT 495669 SOS 278572 HAS SOPS 278031 HAS SOUS 39022 HAS SOUPS 38680 WITH SCORE 38958.572
AT ITER 951 NEW BEST:: SOT 495767 SOS 278670 HAS SOPS 278129 HAS SOUS 38902 HAS SOUPS 38560 WITH SCORE 38838.67
AT ITER 959 NEW BEST:: SOT 495705 SOS 278732 HAS SOPS 278191 HAS SOUS 38716 HAS SOUPS 38374 WITH SCORE 38652.732
AT ITER 960 NEW BEST:: SOT 495623 SOS 278202 HAS SOPS 277661 HAS SOUS 38651 HAS SOUPS 38309 WITH SCORE 38587.202
AT ITER 964 NEW BEST:: SOT 495629 SOS 278178 HAS SOPS 277637 HAS SOUS 38651 HAS SOUPS 38309 WITH SCORE 38587.178
AT ITER 967 NEW BEST:: SOT 495556 SOS 277969 HAS SOPS 277428 HAS SOUS 38442 HAS SOUPS 38100 WITH SCORE 38377.969
AT ITER 976 NEW BEST:: SOT 495538 SOS 277951 HAS SOPS 277410 HAS SOUS 38406 HAS SOUPS 38064 WITH SCORE 38341.951
AT ITER 980 NEW BEST:: SOT 496925 SOS 253795 HAS SOPS 253218 HAS SOUS 38324 HAS SOUPS 37964 WITH SCORE 38217.795
AT ITER 988 NEW BEST:: SOT 496490 SOS 253360 HAS SOPS 252783 HAS SOUS 38104 HAS SOUPS 37744 WITH SCORE 37997.36
AT ITER 992 NEW BEST:: SOT 496402 SOS 253272 HAS SOPS 252695 HAS SOUS 37969 HAS SOUPS 37609 WITH SCORE 37862.272
AT ITER 1005 NEW BEST:: SOT 496387 SOS 253271 HAS SOPS 252694 HAS SOUS 37950 HAS SOUPS 37590 WITH SCORE 37843.271
AT ITER 1025 NEW BEST:: SOT 496367 SOS 253251 HAS SOPS 252674 HAS SOUS 37910 HAS SOUPS 37550 WITH SCORE 37803.251
AT ITER 1028 NEW BEST:: SOT 496367 SOS 252795 HAS SOPS 252218 HAS SOUS 37901 HAS SOUPS 37541 WITH SCORE 37793.795
AT ITER 1035 NEW BEST:: SOT 496298 SOS 252726 HAS SOPS 252149 HAS SOUS 37760 HAS SOUPS 37400 WITH SCORE 37652.726
AT ITER 1040 NEW BEST:: SOT 506718 SOS 258964 HAS SOPS 258387 HAS SOUS 37611 HAS SOUPS 37251 WITH SCORE 37509.964
AT ITER 1041 NEW BEST:: SOT 506558 SOS 259112 HAS SOPS 258543 HAS SOUS 37531 HAS SOUPS 37171 WITH SCORE 37430.112
AT ITER 1051 NEW BEST:: SOT 506534 SOS 259016 HAS SOPS 258423 HAS SOUS 37507 HAS SOUPS 37123 WITH SCORE 37382.016
AT ITER 1082 NEW BEST:: SOT 506552 SOS 259034 HAS SOPS 258441 HAS SOUS 37403 HAS SOUPS 37019 WITH SCORE 37278.034
AT ITER 1084 NEW BEST:: SOT 506548 SOS 259076 HAS SOPS 258481 HAS SOUS 37391 HAS SOUPS 37007 WITH SCORE 37266.076
AT ITER 1086 NEW BEST:: SOT 506584 SOS 259112 HAS SOPS 258517 HAS SOUS 37385 HAS SOUPS 37001 WITH SCORE 37260.112
AT ITER 1088 NEW BEST:: SOT 510599 SOS 262943 HAS SOPS 262305 HAS SOUS 37231 HAS SOUPS 36847 WITH SCORE 37109.943
AT ITER 1089 NEW BEST:: SOT 510640 SOS 262906 HAS SOPS 262268 HAS SOUS 37176 HAS SOUPS 36792 WITH SCORE 37054.906
AT ITER 1091 NEW BEST:: SOT 510650 SOS 262916 HAS SOPS 262278 HAS SOUS 37085 HAS SOUPS 36701 WITH SCORE 36963.916
AT ITER 1093 NEW BEST:: SOT 510607 SOS 262884 HAS SOPS 262246 HAS SOUS 37081 HAS SOUPS 36697 WITH SCORE 36959.884
AT ITER 1095 NEW BEST:: SOT 510607 SOS 258000 HAS SOPS 257362 HAS SOUS 37081 HAS SOUPS 36697 WITH SCORE 36955.0
AT ITER 1098 NEW BEST:: SOT 510471 SOS 257883 HAS SOPS 257245 HAS SOUS 36968 HAS SOUPS 36584 WITH SCORE 36841.883
AT ITER 1100 NEW BEST:: SOT 510471 SOS 257563 HAS SOPS 256925 HAS SOUS 36968 HAS SOUPS 36584 WITH SCORE 36841.563
AT ITER 1105 NEW BEST:: SOT 510471 SOS 257104 HAS SOPS 256466 HAS SOUS 36968 HAS SOUPS 36584 WITH SCORE 36841.104
AT ITER 1106 NEW BEST:: SOT 510392 SOS 257025 HAS SOPS 256387 HAS SOUS 36859 HAS SOUPS 36475 WITH SCORE 36732.025
AT ITER 1111 NEW BEST:: SOT 510371 SOS 257004 HAS SOPS 256366 HAS SOUS 36819 HAS SOUPS 36435 WITH SCORE 36692.004
AT ITER 1113 NEW BEST:: SOT 510274 SOS 256655 HAS SOPS 256017 HAS SOUS 36355 HAS SOUPS 35971 WITH SCORE 36227.655
AT ITER 1119 NEW BEST:: SOT 510314 SOS 256475 HAS SOPS 255837 HAS SOUS 36185 HAS SOUPS 35801 WITH SCORE 36057.475
AT ITER 1120 NEW BEST:: SOT 510386 SOS 256605 HAS SOPS 255967 HAS SOUS 36142 HAS SOUPS 35758 WITH SCORE 36014.605
AT ITER 1126 NEW BEST:: SOT 510405 SOS 256624 HAS SOPS 255986 HAS SOUS 36121 HAS SOUPS 35737 WITH SCORE 35993.624
AT ITER 1141 NEW BEST:: SOT 510330 SOS 256549 HAS SOPS 255911 HAS SOUS 36039 HAS SOUPS 35655 WITH SCORE 35911.549
AT ITER 1142 NEW BEST:: SOT 510121 SOS 256374 HAS SOPS 255780 HAS SOUS 35942 HAS SOUPS 35602 WITH SCORE 35858.374
AT ITER 1145 NEW BEST:: SOT 510603 SOS 256864 HAS SOPS 256270 HAS SOUS 35872 HAS SOUPS 35532 WITH SCORE 35788.864
AT ITER 1149 NEW BEST:: SOT 510638 SOS 256877 HAS SOPS 256283 HAS SOUS 35861 HAS SOUPS 35521 WITH SCORE 35777.877
AT ITER 1152 NEW BEST:: SOT 510667 SOS 256523 HAS SOPS 255929 HAS SOUS 35622 HAS SOUPS 35282 WITH SCORE 35538.523
AT ITER 1155 NEW BEST:: SOT 510359 SOS 256280 HAS SOPS 255686 HAS SOUS 35582 HAS SOUPS 35242 WITH SCORE 35498.28
AT ITER 1158 NEW BEST:: SOT 510261 SOS 256182 HAS SOPS 255588 HAS SOUS 35512 HAS SOUPS 35172 WITH SCORE 35428.182
AT ITER 1161 NEW BEST:: SOT 510129 SOS 255954 HAS SOPS 255360 HAS SOUS 35361 HAS SOUPS 35021 WITH SCORE 35276.954
AT ITER 1164 NEW BEST:: SOT 510098 SOS 255923 HAS SOPS 255329 HAS SOUS 35344 HAS SOUPS 35004 WITH SCORE 35259.923
AT ITER 1167 NEW BEST:: SOT 510070 SOS 256216 HAS SOPS 255622 HAS SOUS 35331 HAS SOUPS 34991 WITH SCORE 35247.216
AT ITER 1169 NEW BEST:: SOT 509817 SOS 256033 HAS SOPS 255439 HAS SOUS 35316 HAS SOUPS 34976 WITH SCORE 35232.033
AT ITER 1177 NEW BEST:: SOT 509768 SOS 255984 HAS SOPS 255390 HAS SOUS 35278 HAS SOUPS 34938 WITH SCORE 35193.984
AT ITER 1179 NEW BEST:: SOT 509712 SOS 255928 HAS SOPS 255334 HAS SOUS 35232 HAS SOUPS 34892 WITH SCORE 35147.928
AT ITER 1181 NEW BEST:: SOT 510000 SOS 256271 HAS SOPS 255622 HAS SOUS 35226 HAS SOUPS 34831 WITH SCORE 35087.271
AT ITER 1198 NEW BEST:: SOT 509980 SOS 256251 HAS SOPS 255602 HAS SOUS 35206 HAS SOUPS 34811 WITH SCORE 35067.251
AT ITER 1204 NEW BEST:: SOT 509924 SOS 256107 HAS SOPS 255458 HAS SOUS 35050 HAS SOUPS 34655 WITH SCORE 34911.107
AT ITER 1208 NEW BEST:: SOT 510065 SOS 255046 HAS SOPS 254397 HAS SOUS 35049 HAS SOUPS 34654 WITH SCORE 34909.046
AT ITER 1220 NEW BEST:: SOT 510059 SOS 255040 HAS SOPS 254391 HAS SOUS 35049 HAS SOUPS 34654 WITH SCORE 34909.04
AT ITER 1229 NEW BEST:: SOT 509734 SOS 254637 HAS SOPS 254066 HAS SOUS 34494 HAS SOUPS 34177 WITH SCORE 34431.637
AT ITER 1233 NEW BEST:: SOT 509724 SOS 254637 HAS SOPS 254066 HAS SOUS 34489 HAS SOUPS 34172 WITH SCORE 34426.637
AT ITER 1237 NEW BEST:: SOT 509493 SOS 241921 HAS SOPS 241350 HAS SOUS 34335 HAS SOUPS 34018 WITH SCORE 34259.921
AT ITER 1238 NEW BEST:: SOT 509490 SOS 241900 HAS SOPS 241329 HAS SOUS 34327 HAS SOUPS 34010 WITH SCORE 34251.9
AT ITER 1249 NEW BEST:: SOT 508596 SOS 240094 HAS SOPS 239523 HAS SOUS 34321 HAS SOUPS 34004 WITH SCORE 34244.094
AT ITER 1278 NEW BEST:: SOT 508665 SOS 240107 HAS SOPS 239536 HAS SOUS 34254 HAS SOUPS 33937 WITH SCORE 34177.107
AT ITER 1285 NEW BEST:: SOT 510559 SOS 242001 HAS SOPS 241430 HAS SOUS 34224 HAS SOUPS 33907 WITH SCORE 34149.001
AT ITER 1291 NEW BEST:: SOT 510542 SOS 241999 HAS SOPS 241434 HAS SOUS 34208 HAS SOUPS 33895 WITH SCORE 34136.999
AT ITER 1302 NEW BEST:: SOT 510452 SOS 241909 HAS SOPS 241344 HAS SOUS 34091 HAS SOUPS 33778 WITH SCORE 34019.909
AT ITER 1310 NEW BEST:: SOT 509576 SOS 240190 HAS SOPS 239625 HAS SOUS 34086 HAS SOUPS 33773 WITH SCORE 34013.19
AT ITER 1319 NEW BEST:: SOT 509550 SOS 238305 HAS SOPS 237740 HAS SOUS 34073 HAS SOUPS 33760 WITH SCORE 33998.305
AT ITER 1320 NEW BEST:: SOT 509459 SOS 237638 HAS SOPS 237073 HAS SOUS 33987 HAS SOUPS 33674 WITH SCORE 33911.638
AT ITER 1372 NEW BEST:: SOT 509463 SOS 237818 HAS SOPS 237269 HAS SOUS 33975 HAS SOUPS 33670 WITH SCORE 33907.818
AT ITER 1384 NEW BEST:: SOT 509449 SOS 237790 HAS SOPS 237241 HAS SOUS 33961 HAS SOUPS 33656 WITH SCORE 33893.79
AT ITER 1399 NEW BEST:: SOT 509188 SOS 233092 HAS SOPS 232543 HAS SOUS 33584 HAS SOUPS 33279 WITH SCORE 33512.092
AT ITER 1406 NEW BEST:: SOT 509167 SOS 233085 HAS SOPS 232536 HAS SOUS 33570 HAS SOUPS 33265 WITH SCORE 33498.085
AT ITER 1413 NEW BEST:: SOT 509119 SOS 230742 HAS SOPS 230193 HAS SOUS 33438 HAS SOUPS 33133 WITH SCORE 33363.742
AT ITER 1416 NEW BEST:: SOT 509075 SOS 230594 HAS SOPS 230045 HAS SOUS 33412 HAS SOUPS 33107 WITH SCORE 33337.594
AT ITER 1417 NEW BEST:: SOT 509035 SOS 230554 HAS SOPS 230005 HAS SOUS 33340 HAS SOUPS 33035 WITH SCORE 33265.554
AT ITER 1423 NEW BEST:: SOT 509040 SOS 230522 HAS SOPS 229973 HAS SOUS 33285 HAS SOUPS 32980 WITH SCORE 33210.522
AT ITER 1439 NEW BEST:: SOT 509028 SOS 230510 HAS SOPS 229961 HAS SOUS 33273 HAS SOUPS 32968 WITH SCORE 33198.51
AT ITER 1441 NEW BEST:: SOT 509103 SOS 230541 HAS SOPS 229992 HAS SOUS 33242 HAS SOUPS 32937 WITH SCORE 33167.541
AT ITER 1446 NEW BEST:: SOT 509101 SOS 230473 HAS SOPS 229924 HAS SOUS 33218 HAS SOUPS 32913 WITH SCORE 33143.473
AT ITER 1454 NEW BEST:: SOT 509227 SOS 230566 HAS SOPS 230017 HAS SOUS 33043 HAS SOUPS 32738 WITH SCORE 32968.566
AT ITER 1459 NEW BEST:: SOT 509195 SOS 230534 HAS SOPS 229985 HAS SOUS 32983 HAS SOUPS 32678 WITH SCORE 32908.534
AT ITER 1467 NEW BEST:: SOT 509124 SOS 230404 HAS SOPS 229855 HAS SOUS 32892 HAS SOUPS 32587 WITH SCORE 32817.404
AT ITER 1505 NEW BEST:: SOT 509078 SOS 230358 HAS SOPS 229809 HAS SOUS 32846 HAS SOUPS 32541 WITH SCORE 32771.358
AT ITER 1506 NEW BEST:: SOT 508745 SOS 230047 HAS SOPS 229498 HAS SOUS 32580 HAS SOUPS 32275 WITH SCORE 32505.047
AT ITER 1508 NEW BEST:: SOT 508721 SOS 230023 HAS SOPS 229474 HAS SOUS 32546 HAS SOUPS 32241 WITH SCORE 32471.023
AT ITER 1541 NEW BEST:: SOT 508719 SOS 230021 HAS SOPS 229472 HAS SOUS 32534 HAS SOUPS 32229 WITH SCORE 32459.021
AT ITER 1546 NEW BEST:: SOT 508717 SOS 228836 HAS SOPS 228287 HAS SOUS 32534 HAS SOUPS 32229 WITH SCORE 32457.836
AT ITER 1558 NEW BEST:: SOT 508863 SOS 228949 HAS SOPS 228400 HAS SOUS 32519 HAS SOUPS 32214 WITH SCORE 32442.949
AT ITER 1567 NEW BEST:: SOT 508863 SOS 227581 HAS SOPS 227032 HAS SOUS 32492 HAS SOUPS 32187 WITH SCORE 32414.581
AT ITER 1571 NEW BEST:: SOT 508757 SOS 227475 HAS SOPS 226926 HAS SOUS 32383 HAS SOUPS 32078 WITH SCORE 32305.475
AT ITER 1580 NEW BEST:: SOT 508718 SOS 227436 HAS SOPS 226887 HAS SOUS 32369 HAS SOUPS 32064 WITH SCORE 32291.436
AT ITER 1582 NEW BEST:: SOT 508689 SOS 227407 HAS SOPS 226858 HAS SOUS 32338 HAS SOUPS 32033 WITH SCORE 32260.407
AT ITER 1584 NEW BEST:: SOT 509136 SOS 228298 HAS SOPS 227749 HAS SOUS 32336 HAS SOUPS 32031 WITH SCORE 32259.298
AT ITER 1593 NEW BEST:: SOT 509356 SOS 190826 HAS SOPS 190277 HAS SOUS 32333 HAS SOUPS 32028 WITH SCORE 32218.826
AT ITER 1607 NEW BEST:: SOT 509364 SOS 190834 HAS SOPS 190285 HAS SOUS 32302 HAS SOUPS 31997 WITH SCORE 32187.834
AT ITER 1617 NEW BEST:: SOT 512006 SOS 193442 HAS SOPS 192893 HAS SOUS 32297 HAS SOUPS 31992 WITH SCORE 32185.442
AT ITER 1628 NEW BEST:: SOT 511876 SOS 193273 HAS SOPS 192724 HAS SOUS 32081 HAS SOUPS 31776 WITH SCORE 31969.273
AT ITER 1640 NEW BEST:: SOT 511760 SOS 192840 HAS SOPS 191704 HAS SOUS 32030 HAS SOUPS 31456 WITH SCORE 31648.84
AT ITER 1649 NEW BEST:: SOT 511486 SOS 192330 HAS SOPS 191194 HAS SOUS 31892 HAS SOUPS 31318 WITH SCORE 31510.33
AT ITER 1661 NEW BEST:: SOT 511327 SOS 193212 HAS SOPS 192076 HAS SOUS 31884 HAS SOUPS 31310 WITH SCORE 31503.212
AT ITER 1676 NEW BEST:: SOT 476217 SOS 160242 HAS SOPS 159106 HAS SOUS 31804 HAS SOUPS 31230 WITH SCORE 31390.242
AT ITER 1694 NEW BEST:: SOT 476226 SOS 160399 HAS SOPS 159263 HAS SOUS 31748 HAS SOUPS 31174 WITH SCORE 31334.399
AT ITER 1696 NEW BEST:: SOT 475344 SOS 159481 HAS SOPS 158345 HAS SOUS 31742 HAS SOUPS 31168 WITH SCORE 31327.481
AT ITER 1705 NEW BEST:: SOT 475358 SOS 159492 HAS SOPS 158356 HAS SOUS 31708 HAS SOUPS 31134 WITH SCORE 31293.492
AT ITER 1710 NEW BEST:: SOT 475334 SOS 159456 HAS SOPS 158320 HAS SOUS 31672 HAS SOUPS 31098 WITH SCORE 31257.456
AT ITER 1748 NEW BEST:: SOT 475314 SOS 159436 HAS SOPS 158300 HAS SOUS 31667 HAS SOUPS 31093 WITH SCORE 31252.436
AT ITER 1749 NEW BEST:: SOT 475334 SOS 159388 HAS SOPS 158252 HAS SOUS 31639 HAS SOUPS 31065 WITH SCORE 31224.388
AT ITER 1750 NEW BEST:: SOT 475262 SOS 159268 HAS SOPS 158132 HAS SOUS 31564 HAS SOUPS 30990 WITH SCORE 31149.268
AT ITER 1756 NEW BEST:: SOT 490584 SOS 174508 HAS SOPS 173372 HAS SOUS 31460 HAS SOUPS 30886 WITH SCORE 31060.508
AT ITER 1767 NEW BEST:: SOT 490581 SOS 174505 HAS SOPS 173369 HAS SOUS 31457 HAS SOUPS 30883 WITH SCORE 31057.505
AT ITER 1778 NEW BEST:: SOT 490527 SOS 174453 HAS SOPS 173317 HAS SOUS 31457 HAS SOUPS 30883 WITH SCORE 31057.453
AT ITER 1786 NEW BEST:: SOT 490541 SOS 185020 HAS SOPS 183884 HAS SOUS 31429 HAS SOUPS 30855 WITH SCORE 31040.02
AT ITER 1800 NEW BEST:: SOT 490540 SOS 185018 HAS SOPS 183882 HAS SOUS 31428 HAS SOUPS 30854 WITH SCORE 31039.018
AT ITER 1839 NEW BEST:: SOT 490536 SOS 185014 HAS SOPS 183878 HAS SOUS 31424 HAS SOUPS 30850 WITH SCORE 31035.014
AT ITER 1850 NEW BEST:: SOT 489326 SOS 182626 HAS SOPS 181490 HAS SOUS 31413 HAS SOUPS 30839 WITH SCORE 31021.626
AT ITER 1852 NEW BEST:: SOT 489326 SOS 182609 HAS SOPS 181473 HAS SOUS 31396 HAS SOUPS 30822 WITH SCORE 31004.609
AT ITER 1865 NEW BEST:: SOT 489130 SOS 181962 HAS SOPS 180767 HAS SOUS 31017 HAS SOUPS 30384 WITH SCORE 30565.962
AT ITER 1868 NEW BEST:: SOT 489168 SOS 181981 HAS SOPS 180786 HAS SOUS 30941 HAS SOUPS 30308 WITH SCORE 30489.981
AT ITER 1899 NEW BEST:: SOT 489164 SOS 182059 HAS SOPS 180782 HAS SOUS 30865 HAS SOUPS 30191 WITH SCORE 30373.059
AT ITER 1921 NEW BEST:: SOT 492077 SOS 182167 HAS SOPS 180890 HAS SOUS 30858 HAS SOUPS 30184 WITH SCORE 30366.167
AT ITER 1924 NEW BEST:: SOT 492065 SOS 182441 HAS SOPS 181164 HAS SOUS 30844 HAS SOUPS 30170 WITH SCORE 30352.441
AT ITER 1937 NEW BEST:: SOT 492061 SOS 182437 HAS SOPS 181160 HAS SOUS 30836 HAS SOUPS 30162 WITH SCORE 30344.437
AT ITER 1941 NEW BEST:: SOT 491997 SOS 182373 HAS SOPS 181096 HAS SOUS 30708 HAS SOUPS 30034 WITH SCORE 30216.373
AT ITER 1949 NEW BEST:: SOT 491793 SOS 171249 HAS SOPS 169972 HAS SOUS 30568 HAS SOUPS 29894 WITH SCORE 30065.249
AT ITER 1963 NEW BEST:: SOT 491793 SOS 171258 HAS SOPS 169981 HAS SOUS 30562 HAS SOUPS 29888 WITH SCORE 30059.258
AT ITER 1992 NEW BEST:: SOT 491737 SOS 171202 HAS SOPS 169925 HAS SOUS 30464 HAS SOUPS 29790 WITH SCORE 29961.202
AT ITER 1994 NEW BEST:: SOT 491737 SOS 171167 HAS SOPS 169890 HAS SOUS 30444 HAS SOUPS 29770 WITH SCORE 29941.167
AT ITER 1998 NEW BEST:: SOT 494512 SOS 173933 HAS SOPS 172656 HAS SOUS 30421 HAS SOUPS 29747 WITH SCORE 29920.933
AT ITER 1999 NEW BEST:: SOT 494456 SOS 173835 HAS SOPS 172558 HAS SOUS 30337 HAS SOUPS 29663 WITH SCORE 29836.835
AT ITER 2010 NEW BEST:: SOT 494427 SOS 173806 HAS SOPS 172529 HAS SOUS 30308 HAS SOUPS 29634 WITH SCORE 29807.806
AT ITER 2013 NEW BEST:: SOT 494379 SOS 173727 HAS SOPS 172450 HAS SOUS 30287 HAS SOUPS 29613 WITH SCORE 29786.727
AT ITER 2017 NEW BEST:: SOT 494367 SOS 173715 HAS SOPS 172438 HAS SOUS 30251 HAS SOUPS 29577 WITH SCORE 29750.715
AT ITER 2019 NEW BEST:: SOT 494367 SOS 173718 HAS SOPS 172435 HAS SOUS 30251 HAS SOUPS 29574 WITH SCORE 29747.718
AT ITER 2025 NEW BEST:: SOT 493622 SOS 172928 HAS SOPS 171645 HAS SOUS 30236 HAS SOUPS 29559 WITH SCORE 29731.928
AT ITER 2031 NEW BEST:: SOT 493155 SOS 172461 HAS SOPS 171178 HAS SOUS 30140 HAS SOUPS 29463 WITH SCORE 29635.461
AT ITER 2060 NEW BEST:: SOT 494198 SOS 170467 HAS SOPS 169184 HAS SOUS 30135 HAS SOUPS 29458 WITH SCORE 29628.467
AT ITER 2064 NEW BEST:: SOT 494019 SOS 170132 HAS SOPS 168849 HAS SOUS 30092 HAS SOUPS 29415 WITH SCORE 29585.132
AT ITER 2069 NEW BEST:: SOT 494045 SOS 170156 HAS SOPS 168873 HAS SOUS 30036 HAS SOUPS 29359 WITH SCORE 29529.156
AT ITER 2077 NEW BEST:: SOT 494010 SOS 170121 HAS SOPS 168838 HAS SOUS 30013 HAS SOUPS 29336 WITH SCORE 29506.121
AT ITER 2095 NEW BEST:: SOT 494023 SOS 170081 HAS SOPS 168798 HAS SOUS 29884 HAS SOUPS 29207 WITH SCORE 29377.081
AT ITER 2096 NEW BEST:: SOT 509937 SOS 185995 HAS SOPS 184712 HAS SOUS 29816 HAS SOUPS 29139 WITH SCORE 29324.995
AT ITER 2115 NEW BEST:: SOT 509920 SOS 185951 HAS SOPS 184668 HAS SOUS 29781 HAS SOUPS 29104 WITH SCORE 29289.951
AT ITER 2125 NEW BEST:: SOT 509927 SOS 185690 HAS SOPS 184407 HAS SOUS 29777 HAS SOUPS 29100 WITH SCORE 29285.69
AT ITER 2133 NEW BEST:: SOT 509927 SOS 185690 HAS SOPS 184407 HAS SOUS 29735 HAS SOUPS 29058 WITH SCORE 29243.69
AT ITER 2148 NEW BEST:: SOT 509408 SOS 184967 HAS SOPS 183684 HAS SOUS 29721 HAS SOUPS 29044 WITH SCORE 29228.967
AT ITER 2150 NEW BEST:: SOT 509396 SOS 184949 HAS SOPS 183666 HAS SOUS 29688 HAS SOUPS 29011 WITH SCORE 29195.949
AT ITER 2153 NEW BEST:: SOT 509397 SOS 184950 HAS SOPS 183667 HAS SOUS 29679 HAS SOUPS 29002 WITH SCORE 29186.95
AT ITER 2154 NEW BEST:: SOT 509397 SOS 185018 HAS SOPS 183735 HAS SOUS 29659 HAS SOUPS 28982 WITH SCORE 29167.018
AT ITER 2158 NEW BEST:: SOT 509418 SOS 184761 HAS SOPS 183478 HAS SOUS 29472 HAS SOUPS 28795 WITH SCORE 28979.761
AT ITER 2173 NEW BEST:: SOT 509382 SOS 184707 HAS SOPS 183424 HAS SOUS 29419 HAS SOUPS 28742 WITH SCORE 28926.707
AT ITER 2183 NEW BEST:: SOT 509389 SOS 184714 HAS SOPS 183431 HAS SOUS 29405 HAS SOUPS 28728 WITH SCORE 28912.714
AT ITER 2198 NEW BEST:: SOT 509386 SOS 184711 HAS SOPS 183428 HAS SOUS 29404 HAS SOUPS 28727 WITH SCORE 28911.711
AT ITER 2210 NEW BEST:: SOT 509237 SOS 184562 HAS SOPS 183279 HAS SOUS 29402 HAS SOUPS 28725 WITH SCORE 28909.562
AT ITER 2220 NEW BEST:: SOT 509227 SOS 184552 HAS SOPS 183269 HAS SOUS 29394 HAS SOUPS 28717 WITH SCORE 28901.552
AT ITER 2230 NEW BEST:: SOT 509200 SOS 184525 HAS SOPS 183242 HAS SOUS 29367 HAS SOUPS 28690 WITH SCORE 28874.525
AT ITER 2259 NEW BEST:: SOT 509014 SOS 184255 HAS SOPS 182972 HAS SOUS 29229 HAS SOUPS 28552 WITH SCORE 28736.255
AT ITER 2261 NEW BEST:: SOT 508982 SOS 184223 HAS SOPS 182940 HAS SOUS 29165 HAS SOUPS 28488 WITH SCORE 28672.223
AT ITER 2264 NEW BEST:: SOT 508982 SOS 184169 HAS SOPS 182868 HAS SOUS 29159 HAS SOUPS 28476 WITH SCORE 28660.169
AT ITER 2276 NEW BEST:: SOT 508826 SOS 184091 HAS SOPS 182790 HAS SOUS 29143 HAS SOUPS 28460 WITH SCORE 28644.091
AT ITER 2291 NEW BEST:: SOT 508841 SOS 184071 HAS SOPS 182770 HAS SOUS 29128 HAS SOUPS 28445 WITH SCORE 28629.071
AT ITER 2297 NEW BEST:: SOT 508838 SOS 184070 HAS SOPS 182769 HAS SOUS 29126 HAS SOUPS 28443 WITH SCORE 28627.07
AT ITER 2314 NEW BEST:: SOT 509016 SOS 184039 HAS SOPS 182776 HAS SOUS 29125 HAS SOUPS 28442 WITH SCORE 28626.039
AT ITER 2322 NEW BEST:: SOT 508925 SOS 183865 HAS SOPS 182602 HAS SOUS 28968 HAS SOUPS 28285 WITH SCORE 28468.865
AT ITER 2341 NEW BEST:: SOT 508905 SOS 183765 HAS SOPS 182502 HAS SOUS 28945 HAS SOUPS 28262 WITH SCORE 28445.765
AT ITER 2355 NEW BEST:: SOT 508941 SOS 183801 HAS SOPS 182538 HAS SOUS 28939 HAS SOUPS 28256 WITH SCORE 28439.801
AT ITER 2358 NEW BEST:: SOT 508933 SOS 183793 HAS SOPS 182530 HAS SOUS 28927 HAS SOUPS 28244 WITH SCORE 28427.793
AT ITER 2370 NEW BEST:: SOT 507725 SOS 182625 HAS SOPS 181362 HAS SOUS 28911 HAS SOUPS 28228 WITH SCORE 28410.625
AT ITER 2378 NEW BEST:: SOT 507690 SOS 182680 HAS SOPS 181447 HAS SOUS 28870 HAS SOUPS 28205 WITH SCORE 28387.68
AT ITER 2379 NEW BEST:: SOT 507702 SOS 179762 HAS SOPS 178529 HAS SOUS 28866 HAS SOUPS 28201 WITH SCORE 28380.762
AT ITER 2383 NEW BEST:: SOT 507627 SOS 179687 HAS SOPS 178454 HAS SOUS 28720 HAS SOUPS 28055 WITH SCORE 28234.687
AT ITER 2411 NEW BEST:: SOT 507651 SOS 179558 HAS SOPS 178302 HAS SOUS 28697 HAS SOUPS 28009 WITH SCORE 28188.558
AT ITER 2426 NEW BEST:: SOT 507648 SOS 179555 HAS SOPS 178299 HAS SOUS 28695 HAS SOUPS 28007 WITH SCORE 28186.555
AT ITER 2435 NEW BEST:: SOT 507610 SOS 179515 HAS SOPS 178259 HAS SOUS 28667 HAS SOUPS 27979 WITH SCORE 28158.515
AT ITER 2444 NEW BEST:: SOT 507610 SOS 179515 HAS SOPS 178259 HAS SOUS 28661 HAS SOUPS 27973 WITH SCORE 28152.515
AT ITER 2445 NEW BEST:: SOT 507588 SOS 179493 HAS SOPS 178237 HAS SOUS 28623 HAS SOUPS 27935 WITH SCORE 28114.493
AT ITER 2470 NEW BEST:: SOT 507588 SOS 179541 HAS SOPS 178285 HAS SOUS 28599 HAS SOUPS 27911 WITH SCORE 28090.541
AT ITER 2474 NEW BEST:: SOT 507973 SOS 179952 HAS SOPS 178696 HAS SOUS 28544 HAS SOUPS 27856 WITH SCORE 28035.952
AT ITER 2484 NEW BEST:: SOT 507967 SOS 179946 HAS SOPS 178690 HAS SOUS 28532 HAS SOUPS 27844 WITH SCORE 28023.946
AT ITER 2531 NEW BEST:: SOT 500567 SOS 172446 HAS SOPS 171290 HAS SOUS 28482 HAS SOUPS 27844 WITH SCORE 28016.446
AT ITER 2551 NEW BEST:: SOT 502893 SOS 174772 HAS SOPS 173616 HAS SOUS 28478 HAS SOUPS 27840 WITH SCORE 28014.772
AT ITER 2561 NEW BEST:: SOT 502873 SOS 174680 HAS SOPS 173524 HAS SOUS 28434 HAS SOUPS 27796 WITH SCORE 27970.68
AT ITER 2566 NEW BEST:: SOT 502869 SOS 174676 HAS SOPS 173520 HAS SOUS 28431 HAS SOUPS 27793 WITH SCORE 27967.676
AT ITER 2571 NEW BEST:: SOT 502893 SOS 174700 HAS SOPS 173544 HAS SOUS 28419 HAS SOUPS 27781 WITH SCORE 27955.7
AT ITER 2587 NEW BEST:: SOT 494279 SOS 166086 HAS SOPS 164930 HAS SOUS 28410 HAS SOUPS 27772 WITH SCORE 27938.086
AT ITER 2589 NEW BEST:: SOT 494577 SOS 166435 HAS SOPS 165279 HAS SOUS 28392 HAS SOUPS 27754 WITH SCORE 27920.435
AT ITER 2592 NEW BEST:: SOT 494493 SOS 166351 HAS SOPS 165195 HAS SOUS 28322 HAS SOUPS 27684 WITH SCORE 27850.351
AT ITER 2601 NEW BEST:: SOT 494479 SOS 166323 HAS SOPS 165167 HAS SOUS 28308 HAS SOUPS 27670 WITH SCORE 27836.323
AT ITER 2611 NEW BEST:: SOT 494463 SOS 166291 HAS SOPS 165151 HAS SOUS 28292 HAS SOUPS 27670 WITH SCORE 27836.291
AT ITER 2630 NEW BEST:: SOT 494490 SOS 166252 HAS SOPS 165112 HAS SOUS 28285 HAS SOUPS 27663 WITH SCORE 27829.252
AT ITER 2642 NEW BEST:: SOT 494490 SOS 166202 HAS SOPS 165062 HAS SOUS 28285 HAS SOUPS 27663 WITH SCORE 27829.202
AT ITER 2644 NEW BEST:: SOT 494378 SOS 166142 HAS SOPS 165002 HAS SOUS 28165 HAS SOUPS 27543 WITH SCORE 27709.142
AT ITER 2648 NEW BEST:: SOT 494385 SOS 165979 HAS SOPS 164839 HAS SOUS 28129 HAS SOUPS 27507 WITH SCORE 27672.979
AT ITER 2651 NEW BEST:: SOT 494393 SOS 166003 HAS SOPS 164863 HAS SOUS 28128 HAS SOUPS 27506 WITH SCORE 27672.003
AT ITER 2666 NEW BEST:: SOT 494207 SOS 151273 HAS SOPS 150189 HAS SOUS 27988 HAS SOUPS 27366 WITH SCORE 27517.273
AT ITER 2705 NEW BEST:: SOT 494139 SOS 151165 HAS SOPS 150081 HAS SOUS 27946 HAS SOUPS 27324 WITH SCORE 27475.165
AT ITER 2707 NEW BEST:: SOT 494113 SOS 151139 HAS SOPS 150055 HAS SOUS 27933 HAS SOUPS 27311 WITH SCORE 27462.139
AT ITER 2722 NEW BEST:: SOT 480767 SOS 140666 HAS SOPS 139582 HAS SOUS 27925 HAS SOUPS 27303 WITH SCORE 27443.666
AT ITER 2733 NEW BEST:: SOT 480703 SOS 140494 HAS SOPS 139410 HAS SOUS 27888 HAS SOUPS 27266 WITH SCORE 27406.494
AT ITER 2741 NEW BEST:: SOT 480703 SOS 140542 HAS SOPS 139458 HAS SOUS 27849 HAS SOUPS 27227 WITH SCORE 27367.542
AT ITER 2781 NEW BEST:: SOT 480694 SOS 140530 HAS SOPS 139446 HAS SOUS 27831 HAS SOUPS 27209 WITH SCORE 27349.53
AT ITER 2805 NEW BEST:: SOT 480794 SOS 140630 HAS SOPS 139546 HAS SOUS 27822 HAS SOUPS 27200 WITH SCORE 27340.63
AT ITER 2826 NEW BEST:: SOT 480060 SOS 139896 HAS SOPS 138812 HAS SOUS 27813 HAS SOUPS 27191 WITH SCORE 27330.896
AT ITER 2855 NEW BEST:: SOT 479781 SOS 139670 HAS SOPS 138586 HAS SOUS 27546 HAS SOUPS 26924 WITH SCORE 27063.67
AT ITER 2866 NEW BEST:: SOT 479694 SOS 139583 HAS SOPS 138499 HAS SOUS 27403 HAS SOUPS 26781 WITH SCORE 26920.583
AT ITER 2881 NEW BEST:: SOT 478377 SOS 136861 HAS SOPS 135777 HAS SOUS 27394 HAS SOUPS 26772 WITH SCORE 26908.861
AT ITER 2882 NEW BEST:: SOT 478192 SOS 136676 HAS SOPS 135592 HAS SOUS 27366 HAS SOUPS 26744 WITH SCORE 26880.676
AT ITER 2896 NEW BEST:: SOT 478168 SOS 136652 HAS SOPS 135568 HAS SOUS 27342 HAS SOUPS 26720 WITH SCORE 26856.652
AT ITER 2897 NEW BEST:: SOT 477966 SOS 136426 HAS SOPS 135342 HAS SOUS 27178 HAS SOUPS 26556 WITH SCORE 26692.426
AT ITER 2916 NEW BEST:: SOT 477868 SOS 136328 HAS SOPS 135244 HAS SOUS 27156 HAS SOUPS 26534 WITH SCORE 26670.328
AT ITER 2920 NEW BEST:: SOT 477868 SOS 134560 HAS SOPS 133476 HAS SOUS 27156 HAS SOUPS 26534 WITH SCORE 26668.56
AT ITER 2948 NEW BEST:: SOT 477689 SOS 134255 HAS SOPS 133171 HAS SOUS 27057 HAS SOUPS 26435 WITH SCORE 26569.255
AT ITER 2967 NEW BEST:: SOT 477660 SOS 134226 HAS SOPS 133142 HAS SOUS 26989 HAS SOUPS 26367 WITH SCORE 26501.226
AT ITER 2968 NEW BEST:: SOT 477580 SOS 134223 HAS SOPS 133243 HAS SOUS 26908 HAS SOUPS 26338 WITH SCORE 26472.223
AT ITER 2979 NEW BEST:: SOT 477576 SOS 134219 HAS SOPS 133239 HAS SOUS 26896 HAS SOUPS 26326 WITH SCORE 26460.219
AT ITER 3010 NEW BEST:: SOT 477536 SOS 134179 HAS SOPS 133199 HAS SOUS 26861 HAS SOUPS 26291 WITH SCORE 26425.179
AT ITER 3011 NEW BEST:: SOT 477488 SOS 134131 HAS SOPS 133151 HAS SOUS 26781 HAS SOUPS 26211 WITH SCORE 26345.131
AT ITER 3014 NEW BEST:: SOT 477502 SOS 134145 HAS SOPS 133165 HAS SOUS 26739 HAS SOUPS 26169 WITH SCORE 26303.145
AT ITER 3023 NEW BEST:: SOT 477444 SOS 134087 HAS SOPS 133107 HAS SOUS 26730 HAS SOUPS 26160 WITH SCORE 26294.087
AT ITER 3030 NEW BEST:: SOT 477437 SOS 134080 HAS SOPS 133100 HAS SOUS 26723 HAS SOUPS 26153 WITH SCORE 26287.08
AT ITER 3035 NEW BEST:: SOT 477425 SOS 134022 HAS SOPS 133042 HAS SOUS 26720 HAS SOUPS 26150 WITH SCORE 26284.022
AT ITER 3039 NEW BEST:: SOT 477389 SOS 133986 HAS SOPS 133006 HAS SOUS 26708 HAS SOUPS 26138 WITH SCORE 26271.986
AT ITER 3067 NEW BEST:: SOT 477432 SOS 133960 HAS SOPS 132980 HAS SOUS 26707 HAS SOUPS 26137 WITH SCORE 26270.96
AT ITER 3070 NEW BEST:: SOT 481407 SOS 137775 HAS SOPS 136795 HAS SOUS 26673 HAS SOUPS 26103 WITH SCORE 26240.775
AT ITER 3078 NEW BEST:: SOT 481346 SOS 137714 HAS SOPS 136734 HAS SOUS 26638 HAS SOUPS 26068 WITH SCORE 26205.714
AT ITER 3099 NEW BEST:: SOT 481372 SOS 141465 HAS SOPS 140485 HAS SOUS 26615 HAS SOUPS 26045 WITH SCORE 26186.465
AT ITER 3145 NEW BEST:: SOT 481344 SOS 141437 HAS SOPS 140457 HAS SOUS 26615 HAS SOUPS 26045 WITH SCORE 26186.437
AT ITER 3159 NEW BEST:: SOT 481346 SOS 141308 HAS SOPS 140328 HAS SOUS 26615 HAS SOUPS 26045 WITH SCORE 26186.308
AT ITER 3162 NEW BEST:: SOT 481283 SOS 141203 HAS SOPS 140223 HAS SOUS 26530 HAS SOUPS 25960 WITH SCORE 26101.203
AT ITER 3184 NEW BEST:: SOT 481253 SOS 141177 HAS SOPS 140199 HAS SOUS 26471 HAS SOUPS 25903 WITH SCORE 26044.177
AT ITER 3200 NEW BEST:: SOT 481097 SOS 142187 HAS SOPS 141209 HAS SOUS 26463 HAS SOUPS 25895 WITH SCORE 26037.187
AT ITER 3210 NEW BEST:: SOT 480407 SOS 139272 HAS SOPS 138290 HAS SOUS 26206 HAS SOUPS 25636 WITH SCORE 25775.272
AT ITER 3226 NEW BEST:: SOT 480373 SOS 139238 HAS SOPS 138256 HAS SOUS 26197 HAS SOUPS 25627 WITH SCORE 25766.238
AT ITER 3241 NEW BEST:: SOT 480365 SOS 139230 HAS SOPS 138248 HAS SOUS 26189 HAS SOUPS 25619 WITH SCORE 25758.23
AT ITER 3256 NEW BEST:: SOT 480360 SOS 139223 HAS SOPS 138241 HAS SOUS 26186 HAS SOUPS 25616 WITH SCORE 25755.223
AT ITER 3282 NEW BEST:: SOT 476784 SOS 136540 HAS SOPS 135535 HAS SOUS 26180 HAS SOUPS 25587 WITH SCORE 25723.54
AT ITER 3305 NEW BEST:: SOT 476687 SOS 136472 HAS SOPS 135467 HAS SOUS 26109 HAS SOUPS 25516 WITH SCORE 25652.472
AT ITER 3327 NEW BEST:: SOT 476633 SOS 136418 HAS SOPS 135413 HAS SOUS 25993 HAS SOUPS 25400 WITH SCORE 25536.418
AT ITER 3330 NEW BEST:: SOT 476703 SOS 136488 HAS SOPS 135483 HAS SOUS 25939 HAS SOUPS 25346 WITH SCORE 25482.488
AT ITER 3348 NEW BEST:: SOT 476723 SOS 136508 HAS SOPS 135503 HAS SOUS 25903 HAS SOUPS 25310 WITH SCORE 25446.508
AT ITER 3369 NEW BEST:: SOT 476705 SOS 136490 HAS SOPS 135485 HAS SOUS 25837 HAS SOUPS 25244 WITH SCORE 25380.49
AT ITER 3389 NEW BEST:: SOT 476616 SOS 136401 HAS SOPS 135396 HAS SOUS 25721 HAS SOUPS 25128 WITH SCORE 25264.401
AT ITER 3390 NEW BEST:: SOT 476594 SOS 136379 HAS SOPS 135374 HAS SOUS 25706 HAS SOUPS 25113 WITH SCORE 25249.379
AT ITER 3427 NEW BEST:: SOT 476503 SOS 136150 HAS SOPS 135145 HAS SOUS 25648 HAS SOUPS 25055 WITH SCORE 25191.15
AT ITER 3459 NEW BEST:: SOT 476503 SOS 134827 HAS SOPS 133822 HAS SOUS 25648 HAS SOUPS 25055 WITH SCORE 25189.827
AT ITER 3465 NEW BEST:: SOT 475486 SOS 133793 HAS SOPS 132788 HAS SOUS 25636 HAS SOUPS 25043 WITH SCORE 25176.793
AT ITER 3480 NEW BEST:: SOT 475478 SOS 133785 HAS SOPS 132780 HAS SOUS 25620 HAS SOUPS 25027 WITH SCORE 25160.785
AT ITER 3497 NEW BEST:: SOT 475478 SOS 133785 HAS SOPS 132780 HAS SOUS 25619 HAS SOUPS 25026 WITH SCORE 25159.785
AT ITER 3514 NEW BEST:: SOT 475468 SOS 133757 HAS SOPS 132752 HAS SOUS 25599 HAS SOUPS 25006 WITH SCORE 25139.757
AT ITER 3531 NEW BEST:: SOT 473270 SOS 131527 HAS SOPS 130522 HAS SOUS 25570 HAS SOUPS 24977 WITH SCORE 25108.527
AT ITER 3539 NEW BEST:: SOT 473260 SOS 131517 HAS SOPS 130512 HAS SOUS 25545 HAS SOUPS 24952 WITH SCORE 25083.517
AT ITER 3541 NEW BEST:: SOT 473243 SOS 131500 HAS SOPS 130495 HAS SOUS 25532 HAS SOUPS 24939 WITH SCORE 25070.5
AT ITER 3568 NEW BEST:: SOT 473225 SOS 131374 HAS SOPS 130369 HAS SOUS 25502 HAS SOUPS 24909 WITH SCORE 25040.374
AT ITER 3573 NEW BEST:: SOT 473220 SOS 131369 HAS SOPS 130364 HAS SOUS 25497 HAS SOUPS 24904 WITH SCORE 25035.369
AT ITER 3584 NEW BEST:: SOT 473156 SOS 131269 HAS SOPS 130300 HAS SOUS 25405 HAS SOUPS 24848 WITH SCORE 24979.269
AT ITER 3585 NEW BEST:: SOT 473156 SOS 131121 HAS SOPS 130152 HAS SOUS 25405 HAS SOUPS 24848 WITH SCORE 24979.121
AT ITER 3624 NEW BEST:: SOT 473109 SOS 130839 HAS SOPS 129870 HAS SOUS 25390 HAS SOUPS 24833 WITH SCORE 24963.839
AT ITER 3633 NEW BEST:: SOT 473101 SOS 130831 HAS SOPS 129862 HAS SOUS 25374 HAS SOUPS 24817 WITH SCORE 24947.831
AT ITER 3681 NEW BEST:: SOT 473103 SOS 130833 HAS SOPS 129864 HAS SOUS 25293 HAS SOUPS 24736 WITH SCORE 24866.833
AT ITER 3698 NEW BEST:: SOT 472954 SOS 130674 HAS SOPS 129705 HAS SOUS 25291 HAS SOUPS 24734 WITH SCORE 24864.674
AT ITER 3706 NEW BEST:: SOT 472928 SOS 130648 HAS SOPS 129679 HAS SOUS 25228 HAS SOUPS 24671 WITH SCORE 24801.648
AT ITER 3712 NEW BEST:: SOT 472910 SOS 130555 HAS SOPS 129586 HAS SOUS 25150 HAS SOUPS 24593 WITH SCORE 24723.555
AT ITER 3730 NEW BEST:: SOT 475145 SOS 134941 HAS SOPS 133972 HAS SOUS 25144 HAS SOUPS 24587 WITH SCORE 24721.941
AT ITER 3750 NEW BEST:: SOT 475109 SOS 134694 HAS SOPS 133684 HAS SOUS 25123 HAS SOUPS 24538 WITH SCORE 24672.694
AT ITER 3752 NEW BEST:: SOT 475104 SOS 134689 HAS SOPS 133679 HAS SOUS 25120 HAS SOUPS 24535 WITH SCORE 24669.689
AT ITER 3759 NEW BEST:: SOT 475049 SOS 134716 HAS SOPS 133706 HAS SOUS 25094 HAS SOUPS 24509 WITH SCORE 24643.716
AT ITER 3763 NEW BEST:: SOT 475051 SOS 134718 HAS SOPS 133708 HAS SOUS 25084 HAS SOUPS 24499 WITH SCORE 24633.718
AT ITER 3794 NEW BEST:: SOT 475051 SOS 134712 HAS SOPS 133702 HAS SOUS 25081 HAS SOUPS 24496 WITH SCORE 24630.712
AT ITER 3795 NEW BEST:: SOT 476203 SOS 137071 HAS SOPS 136062 HAS SOUS 25077 HAS SOUPS 24492 WITH SCORE 24629.071
AT ITER 3849 NEW BEST:: SOT 476203 SOS 136939 HAS SOPS 135930 HAS SOUS 25077 HAS SOUPS 24492 WITH SCORE 24628.939
AT ITER 3862 NEW BEST:: SOT 476197 SOS 136913 HAS SOPS 135904 HAS SOUS 25071 HAS SOUPS 24486 WITH SCORE 24622.913
AT ITER 3912 NEW BEST:: SOT 476209 SOS 136853 HAS SOPS 135808 HAS SOUS 25056 HAS SOUPS 24453 WITH SCORE 24589.853
AT ITER 3915 NEW BEST:: SOT 476183 SOS 135933 HAS SOPS 134888 HAS SOUS 25043 HAS SOUPS 24440 WITH SCORE 24575.933
AT ITER 3944 NEW BEST:: SOT 476081 SOS 135777 HAS SOPS 134732 HAS SOUS 24965 HAS SOUPS 24362 WITH SCORE 24497.777
AT ITER 3980 NEW BEST:: SOT 476043 SOS 135535 HAS SOPS 134490 HAS SOUS 24916 HAS SOUPS 24313 WITH SCORE 24448.535
AT ITER 3997 NEW BEST:: SOT 476029 SOS 135521 HAS SOPS 134476 HAS SOUS 24916 HAS SOUPS 24313 WITH SCORE 24448.521
AT ITER 3999 NEW BEST:: SOT 475989 SOS 135481 HAS SOPS 134436 HAS SOUS 24852 HAS SOUPS 24249 WITH SCORE 24384.481
AT ITER 4005 NEW BEST:: SOT 475975 SOS 135456 HAS SOPS 134411 HAS SOUS 24829 HAS SOUPS 24226 WITH SCORE 24361.456
AT ITER 4009 NEW BEST:: SOT 475938 SOS 135431 HAS SOPS 134389 HAS SOUS 24805 HAS SOUPS 24202 WITH SCORE 24337.431
AT ITER 4010 NEW BEST:: SOT 475915 SOS 135400 HAS SOPS 134358 HAS SOUS 24735 HAS SOUPS 24132 WITH SCORE 24267.4
AT ITER 4047 NEW BEST:: SOT 474574 SOS 132793 HAS SOPS 131751 HAS SOUS 24727 HAS SOUPS 24124 WITH SCORE 24256.793
AT ITER 4066 NEW BEST:: SOT 474497 SOS 132688 HAS SOPS 131646 HAS SOUS 24666 HAS SOUPS 24063 WITH SCORE 24195.688
AT ITER 4084 NEW BEST:: SOT 474451 SOS 132422 HAS SOPS 131380 HAS SOUS 24539 HAS SOUPS 23936 WITH SCORE 24068.422
AT ITER 4089 NEW BEST:: SOT 474463 SOS 132338 HAS SOPS 131278 HAS SOUS 24533 HAS SOUPS 23924 WITH SCORE 24056.338
AT ITER 4103 NEW BEST:: SOT 479240 SOS 137007 HAS SOPS 135947 HAS SOUS 24508 HAS SOUPS 23899 WITH SCORE 24036.007
AT ITER 4108 NEW BEST:: SOT 479216 SOS 137007 HAS SOPS 135947 HAS SOUS 24496 HAS SOUPS 23887 WITH SCORE 24024.007
AT ITER 4125 NEW BEST:: SOT 479093 SOS 137046 HAS SOPS 135740 HAS SOUS 24453 HAS SOUPS 23721 WITH SCORE 23858.046
AT ITER 4127 NEW BEST:: SOT 479327 SOS 137280 HAS SOPS 135974 HAS SOUS 24426 HAS SOUPS 23694 WITH SCORE 23831.28
AT ITER 4132 NEW BEST:: SOT 479407 SOS 137322 HAS SOPS 136016 HAS SOUS 24418 HAS SOUPS 23686 WITH SCORE 23823.322
AT ITER 4151 NEW BEST:: SOT 479407 SOS 137322 HAS SOPS 136016 HAS SOUS 24415 HAS SOUPS 23683 WITH SCORE 23820.322
AT ITER 4158 NEW BEST:: SOT 474531 SOS 132604 HAS SOPS 131298 HAS SOUS 24382 HAS SOUPS 23650 WITH SCORE 23782.604
AT ITER 4212 NEW BEST:: SOT 474531 SOS 132455 HAS SOPS 131149 HAS SOUS 24381 HAS SOUPS 23649 WITH SCORE 23781.455
AT ITER 4242 NEW BEST:: SOT 475539 SOS 133463 HAS SOPS 132157 HAS SOUS 24374 HAS SOUPS 23642 WITH SCORE 23775.463
AT ITER 4257 NEW BEST:: SOT 475519 SOS 133443 HAS SOPS 132137 HAS SOUS 24364 HAS SOUPS 23632 WITH SCORE 23765.443
AT ITER 4272 NEW BEST:: SOT 475508 SOS 133432 HAS SOPS 132126 HAS SOUS 24304 HAS SOUPS 23572 WITH SCORE 23705.432
AT ITER 4288 NEW BEST:: SOT 474622 SOS 132570 HAS SOPS 131264 HAS SOUS 24302 HAS SOUPS 23570 WITH SCORE 23702.57
AT ITER 4302 NEW BEST:: SOT 472983 SOS 132418 HAS SOPS 131112 HAS SOUS 24283 HAS SOUPS 23551 WITH SCORE 23683.418
AT ITER 4325 NEW BEST:: SOT 472995 SOS 132430 HAS SOPS 131124 HAS SOUS 24259 HAS SOUPS 23527 WITH SCORE 23659.43
AT ITER 4360 NEW BEST:: SOT 472993 SOS 132436 HAS SOPS 131126 HAS SOUS 24253 HAS SOUPS 23519 WITH SCORE 23651.436
AT ITER 4370 NEW BEST:: SOT 472971 SOS 132316 HAS SOPS 131006 HAS SOUS 24232 HAS SOUPS 23498 WITH SCORE 23630.316
AT ITER 4396 NEW BEST:: SOT 472965 SOS 132310 HAS SOPS 131000 HAS SOUS 24226 HAS SOUPS 23492 WITH SCORE 23624.31
AT ITER 4400 NEW BEST:: SOT 472965 SOS 131434 HAS SOPS 130124 HAS SOUS 24226 HAS SOUPS 23492 WITH SCORE 23623.434
AT ITER 4401 NEW BEST:: SOT 472961 SOS 131430 HAS SOPS 130120 HAS SOUS 24218 HAS SOUPS 23484 WITH SCORE 23615.43
AT ITER 4407 NEW BEST:: SOT 472963 SOS 131432 HAS SOPS 130122 HAS SOUS 24211 HAS SOUPS 23477 WITH SCORE 23608.432
AT ITER 4422 NEW BEST:: SOT 468691 SOS 128213 HAS SOPS 126903 HAS SOUS 24176 HAS SOUPS 23442 WITH SCORE 23570.213
AT ITER 4437 NEW BEST:: SOT 468671 SOS 128193 HAS SOPS 126883 HAS SOUS 24156 HAS SOUPS 23422 WITH SCORE 23550.193
AT ITER 4458 NEW BEST:: SOT 468671 SOS 128189 HAS SOPS 126879 HAS SOUS 24130 HAS SOUPS 23396 WITH SCORE 23524.189
AT ITER 4488 NEW BEST:: SOT 468613 SOS 128198 HAS SOPS 126888 HAS SOUS 24073 HAS SOUPS 23339 WITH SCORE 23467.198
AT ITER 4495 NEW BEST:: SOT 466355 SOS 128157 HAS SOPS 126847 HAS SOUS 24070 HAS SOUPS 23336 WITH SCORE 23464.157
AT ITER 4515 NEW BEST:: SOT 466239 SOS 128406 HAS SOPS 127096 HAS SOUS 24062 HAS SOUPS 23328 WITH SCORE 23456.406
AT ITER 4542 NEW BEST:: SOT 469300 SOS 131309 HAS SOPS 129999 HAS SOUS 24027 HAS SOUPS 23293 WITH SCORE 23424.309
AT ITER 4544 NEW BEST:: SOT 469319 SOS 131476 HAS SOPS 130169 HAS SOUS 23978 HAS SOUPS 23246 WITH SCORE 23377.476
AT ITER 4581 NEW BEST:: SOT 469319 SOS 131471 HAS SOPS 130164 HAS SOUS 23977 HAS SOUPS 23245 WITH SCORE 23376.471
AT ITER 4610 NEW BEST:: SOT 469295 SOS 131447 HAS SOPS 130140 HAS SOUS 23935 HAS SOUPS 23203 WITH SCORE 23334.447
AT ITER 4679 NEW BEST:: SOT 469258 SOS 131417 HAS SOPS 130110 HAS SOUS 23902 HAS SOUPS 23170 WITH SCORE 23301.417
AT ITER 4683 NEW BEST:: SOT 469246 SOS 131405 HAS SOPS 130098 HAS SOUS 23891 HAS SOUPS 23159 WITH SCORE 23290.405
AT ITER 4710 NEW BEST:: SOT 469182 SOS 131366 HAS SOPS 130059 HAS SOUS 23734 HAS SOUPS 23002 WITH SCORE 23133.366
AT ITER 4800 NEW BEST:: SOT 469180 SOS 131364 HAS SOPS 130057 HAS SOUS 23730 HAS SOUPS 22998 WITH SCORE 23129.364
AT ITER 4810 NEW BEST:: SOT 469166 SOS 131350 HAS SOPS 130043 HAS SOUS 23695 HAS SOUPS 22963 WITH SCORE 23094.35
AT ITER 4815 NEW BEST:: SOT 469631 SOS 130779 HAS SOPS 129472 HAS SOUS 23620 HAS SOUPS 22888 WITH SCORE 23018.779
AT ITER 4817 NEW BEST:: SOT 469613 SOS 130761 HAS SOPS 129454 HAS SOUS 23602 HAS SOUPS 22870 WITH SCORE 23000.761
AT ITER 4825 NEW BEST:: SOT 469577 SOS 130725 HAS SOPS 129418 HAS SOUS 23578 HAS SOUPS 22846 WITH SCORE 22976.725
AT ITER 4920 NEW BEST:: SOT 467096 SOS 129453 HAS SOPS 128146 HAS SOUS 23552 HAS SOUPS 22820 WITH SCORE 22949.453
AT ITER 4933 NEW BEST:: SOT 467139 SOS 129051 HAS SOPS 127744 HAS SOUS 23532 HAS SOUPS 22800 WITH SCORE 22929.051
AT ITER 4942 NEW BEST:: SOT 467139 SOS 129047 HAS SOPS 127740 HAS SOUS 23532 HAS SOUPS 22800 WITH SCORE 22929.047
AT ITER 4946 NEW BEST:: SOT 467062 SOS 128421 HAS SOPS 127114 HAS SOUS 23373 HAS SOUPS 22641 WITH SCORE 22769.421
AT ITER 4947 NEW BEST:: SOT 467073 SOS 128428 HAS SOPS 127121 HAS SOUS 23366 HAS SOUPS 22634 WITH SCORE 22762.428
AT ITER 4969 NEW BEST:: SOT 467049 SOS 128564 HAS SOPS 127257 HAS SOUS 23334 HAS SOUPS 22602 WITH SCORE 22730.564
AT ITER 4977 NEW BEST:: SOT 467097 SOS 128612 HAS SOPS 127305 HAS SOUS 23331 HAS SOUPS 22599 WITH SCORE 22727.612
AT ITER 4981 NEW BEST:: SOT 467053 SOS 128568 HAS SOPS 127261 HAS SOUS 23296 HAS SOUPS 22564 WITH SCORE 22692.568
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-8A-CTLFireability-00 (EF( ((potential((tk(P309)>=1))))))
PROPERTY: NoC3x3-PT-8A-CTLFireability-01 ( ( (EF( (EG( ((potential((tk(P60)>=1)))))))) | (AG( ( (! ((potential((tk(P21)>=1))))) & ( ((potential((tk(P139)>=1) & (tk(P167)>=1)))) | ((potential((tk(P246)>=1)))) ) ))) ) & (! (AX( (! (! ((potential((tk(P216)>=1))))))))) )
PROPERTY: NoC3x3-PT-8A-CTLFireability-02 ( ( ( (! ( ( ((potential((tk(P33)>=1) & (tk(P51)>=1)))) & ((potential((tk(P125)>=1)))) ) | ( ((potential((tk(P147)>=1) & (tk(P184)>=1)))) & ((potential((tk(P177)>=1)))) ) )) | (EX( (! ((potential((tk(P177)>=1))))))) ) & ( ((potential((tk(P69)>=1) & (tk(P84)>=1)))) | ( ((potential((tk(P305)>=1) & (tk(P316)>=1)))) & ( ((potential((tk(P222)>=1)))) & ( ((potential((tk(P53)>=1) & (tk(P162)>=1)))) & ((potential((tk(P283)>=1)))) ) ) ) ) ) | (EU( (EF( ((potential((tk(P246)>=1)))))) , ((potential((tk(P279)>=1)))) )) )
PROPERTY: NoC3x3-PT-8A-CTLFireability-03 ( (EF( ( (! (! ((potential((tk(P82)>=1)))))) | (AF( ((potential((tk(P173)>=1)))))) ))) & (! (AF( ( ( ((potential((tk(P246)>=1)))) & ((potential((tk(P206)>=1) & (tk(P215)>=1)))) ) | ( ((potential((tk(P117)>=1)))) & ((potential((tk(P67)>=1) & (tk(P81)>=1)))) ) )))) )
PROPERTY: NoC3x3-PT-8A-CTLFireability-04 (EU( ( ((potential((tk(P173)>=1)))) | (! ((potential((tk(P86)>=1))))) ) , (! (EF( ((potential((tk(P177)>=1))))))) ))
PROPERTY: NoC3x3-PT-8A-CTLFireability-05 (EF( ( ((potential((tk(P82)>=1)))) & ( (AG( ((potential((tk(P72)>=1) & (tk(P89)>=1)))))) | (! ( ((potential((tk(P169)>=1)))) & ((potential((tk(P52)>=1)))) )) ) )))
PROPERTY: NoC3x3-PT-8A-CTLFireability-06 (EF( ( ((potential((tk(P52)>=1)))) & ((potential((tk(P309)>=1)))) )))
PROPERTY: NoC3x3-PT-8A-CTLFireability-07 (AG( (AX( (! ( ((potential((tk(P86)>=1)))) & ((potential((tk(P117)>=1)))) ))))))
PROPERTY: NoC3x3-PT-8A-CTLFireability-08 (EF( ( ((potential((tk(P41)>=1) & (tk(P63)>=1)))) & (EG( ( ((potential((tk(P56)>=1)))) & ((potential((tk(P21)>=1)))) ))) )))
PROPERTY: NoC3x3-PT-8A-CTLFireability-09 (AG( ( (! ((potential((tk(P309)>=1))))) | ( (! ( ((potential((tk(P212)>=1)))) & ((potential((tk(P17)>=1)))) )) | ((potential((tk(P117)>=1)))) ) )))
PROPERTY: NoC3x3-PT-8A-CTLFireability-10 ( ((potential((tk(P68)>=1) & (tk(P221)>=1)))) | (! (AG( (EF( ((potential((tk(P117)>=1))))))))) )
PROPERTY: NoC3x3-PT-8A-CTLFireability-11 (! (EX( ( ( ((potential((tk(P242)>=1)))) & ( ((potential((tk(P17)>=1)))) & ((potential((tk(P21)>=1)))) ) ) | (EF( ((potential((tk(P60)>=1)))))) ))))
PROPERTY: NoC3x3-PT-8A-CTLFireability-12 ( (! ( (AX( ( ((potential((tk(P283)>=1)))) | ((potential((tk(P242)>=1)))) ))) & (EG( ( ((potential((tk(P117)>=1)))) & ((potential((tk(P212)>=1)))) ))) )) & ( ( (EF( ( ((potential((tk(P177)>=1)))) | ((potential((tk(P309)>=1)))) ))) | ( ( (! ((potential((tk(P86)>=1))))) | ( ((potential((tk(P313)>=1)))) & ((potential((tk(P117)>=1)))) ) ) & (EX( ((potential((tk(P287)>=1)))))) ) ) | ((potential((tk(P86)>=1)))) ) )
PROPERTY: NoC3x3-PT-8A-CTLFireability-13 (AG( ( (! ((potential((tk(P12)>=1) & (tk(P16)>=1))))) | (! (! ( ((potential((tk(P169)>=1)))) | ((potential((tk(P212)>=1)))) ))) )))
PROPERTY: NoC3x3-PT-8A-CTLFireability-14 ( (AG( ( (EF( ((potential((tk(P89)>=1)))))) | (! ((potential((tk(P206)>=1) & (tk(P214)>=1))))) ))) | ((potential((tk(P313)>=1)))) )
PROPERTY: NoC3x3-PT-8A-CTLFireability-15 ( ( (AX( ((potential((tk(P181)>=1)))))) & ( (! (! ( ((potential((tk(P181)>=1)))) & ((potential((tk(P212)>=1)))) ))) | (! ( ( ((potential((tk(P287)>=1)))) | ((potential((tk(P216)>=1)))) ) & ((potential((tk(P173)>=1)))) )) ) ) | ( ( (! ((potential((tk(P86)>=1))))) & ( (EF( ((potential((tk(P125)>=1)))))) | (! (! ((potential((tk(P125)>=1)))))) ) ) & (! (AU( ((potential((tk(P283)>=1)))) , ((potential((tk(P60)>=1)))) ))) ) )

BK_STOP 1589645139575

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 473 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-8A"
export BK_EXAMINATION="CTLFireability"
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 NoC3x3-PT-8A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8A.tgz
mv NoC3x3-PT-8A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;