Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469600507.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPs-PT-030A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469600507
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 3.8K May 14 01:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 19:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 19:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 13:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 265K May 12 20:42 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 ShieldPPPs-PT-030A-CTLCardinality-00
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-01
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-02
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-03
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-04
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-05
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-06
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-07
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-08
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-09
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-10
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-11
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-12
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-13
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-14
FORMULA_NAME ShieldPPPs-PT-030A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590443775219

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 030A
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: 933 places, 783 transitions, 3006 arcs.
AT ITER 0 NEW BEST:: SOT 471238 SOS 325225 HAS SOPS 325225 HAS SOUS 243428 HAS SOUPS 243428 WITH SCORE 243753.225
AT ITER 1 NEW BEST:: SOT 470899 SOS 323530 HAS SOPS 323530 HAS SOUS 243427 HAS SOUPS 243427 WITH SCORE 243750.53
AT ITER 37 NEW BEST:: SOT 471469 SOS 322690 HAS SOPS 322690 HAS SOUS 243395 HAS SOUPS 243395 WITH SCORE 243717.69
AT ITER 39 NEW BEST:: SOT 471099 SOS 322320 HAS SOPS 322320 HAS SOUS 243025 HAS SOUPS 243025 WITH SCORE 243347.32
AT ITER 40 NEW BEST:: SOT 470879 SOS 322100 HAS SOPS 322100 HAS SOUS 242805 HAS SOUPS 242805 WITH SCORE 243127.1
AT ITER 46 NEW BEST:: SOT 470613 SOS 321834 HAS SOPS 321834 HAS SOUS 242539 HAS SOUPS 242539 WITH SCORE 242860.834
AT ITER 50 NEW BEST:: SOT 470558 SOS 321377 HAS SOPS 321377 HAS SOUS 242169 HAS SOUPS 242169 WITH SCORE 242490.377
AT ITER 58 NEW BEST:: SOT 470824 SOS 319612 HAS SOPS 319612 HAS SOUS 241910 HAS SOUPS 241910 WITH SCORE 242229.612
AT ITER 75 NEW BEST:: SOT 470654 SOS 319442 HAS SOPS 319442 HAS SOUS 241740 HAS SOUPS 241740 WITH SCORE 242059.442
AT ITER 92 NEW BEST:: SOT 470425 SOS 319202 HAS SOPS 319202 HAS SOUS 241500 HAS SOUPS 241500 WITH SCORE 241819.202
AT ITER 93 NEW BEST:: SOT 469926 SOS 318703 HAS SOPS 318703 HAS SOUS 241124 HAS SOUPS 241124 WITH SCORE 241442.703
AT ITER 108 NEW BEST:: SOT 469871 SOS 318646 HAS SOPS 318646 HAS SOUS 241067 HAS SOUPS 241067 WITH SCORE 241385.646
AT ITER 110 NEW BEST:: SOT 469637 SOS 318663 HAS SOPS 318663 HAS SOUS 240959 HAS SOUPS 240959 WITH SCORE 241277.663
AT ITER 111 NEW BEST:: SOT 469494 SOS 318519 HAS SOPS 318519 HAS SOUS 240815 HAS SOUPS 240815 WITH SCORE 241133.519
AT ITER 124 NEW BEST:: SOT 469322 SOS 318345 HAS SOPS 318345 HAS SOUS 240641 HAS SOUPS 240641 WITH SCORE 240959.345
AT ITER 126 NEW BEST:: SOT 469280 SOS 318301 HAS SOPS 318301 HAS SOUS 240597 HAS SOUPS 240597 WITH SCORE 240915.301
AT ITER 128 NEW BEST:: SOT 469036 SOS 318202 HAS SOPS 318202 HAS SOUS 240426 HAS SOUPS 240426 WITH SCORE 240744.202
AT ITER 130 NEW BEST:: SOT 468607 SOS 317930 HAS SOPS 317930 HAS SOUS 240098 HAS SOUPS 240098 WITH SCORE 240415.93
AT ITER 133 NEW BEST:: SOT 468414 SOS 316965 HAS SOPS 316965 HAS SOUS 240098 HAS SOUPS 240098 WITH SCORE 240414.965
AT ITER 134 NEW BEST:: SOT 468413 SOS 315194 HAS SOPS 315194 HAS SOUS 240080 HAS SOUPS 240080 WITH SCORE 240395.194
AT ITER 136 NEW BEST:: SOT 468229 SOS 315009 HAS SOPS 315009 HAS SOUS 239895 HAS SOUPS 239895 WITH SCORE 240210.009
AT ITER 139 NEW BEST:: SOT 468202 SOS 314982 HAS SOPS 314982 HAS SOUS 239868 HAS SOUPS 239868 WITH SCORE 240182.982
AT ITER 149 NEW BEST:: SOT 467890 SOS 313026 HAS SOPS 313026 HAS SOUS 239376 HAS SOUPS 239376 WITH SCORE 239689.026
AT ITER 152 NEW BEST:: SOT 467687 SOS 311932 HAS SOPS 311932 HAS SOUS 239376 HAS SOUPS 239376 WITH SCORE 239687.932
AT ITER 160 NEW BEST:: SOT 467686 SOS 310892 HAS SOPS 310892 HAS SOUS 239164 HAS SOUPS 239164 WITH SCORE 239474.892
AT ITER 161 NEW BEST:: SOT 467696 SOS 310900 HAS SOPS 310900 HAS SOUS 239159 HAS SOUPS 239159 WITH SCORE 239469.9
AT ITER 165 NEW BEST:: SOT 467265 SOS 310467 HAS SOPS 310467 HAS SOUS 238726 HAS SOUPS 238726 WITH SCORE 239036.467
AT ITER 172 NEW BEST:: SOT 467265 SOS 310002 HAS SOPS 310002 HAS SOUS 238653 HAS SOUPS 238653 WITH SCORE 238963.002
AT ITER 174 NEW BEST:: SOT 466842 SOS 309760 HAS SOPS 309760 HAS SOUS 238232 HAS SOUPS 238232 WITH SCORE 238541.76
AT ITER 191 NEW BEST:: SOT 466689 SOS 308595 HAS SOPS 308595 HAS SOUS 238232 HAS SOUPS 238232 WITH SCORE 238540.595
AT ITER 192 NEW BEST:: SOT 466271 SOS 308177 HAS SOPS 308177 HAS SOUS 237814 HAS SOUPS 237814 WITH SCORE 238122.177
AT ITER 193 NEW BEST:: SOT 466023 SOS 307929 HAS SOPS 307929 HAS SOUS 237566 HAS SOUPS 237566 WITH SCORE 237873.929
AT ITER 194 NEW BEST:: SOT 466572 SOS 306573 HAS SOPS 306573 HAS SOUS 237514 HAS SOUPS 237514 WITH SCORE 237820.573
AT ITER 197 NEW BEST:: SOT 466572 SOS 306128 HAS SOPS 306128 HAS SOUS 237367 HAS SOUPS 237367 WITH SCORE 237673.128
AT ITER 198 NEW BEST:: SOT 466571 SOS 306127 HAS SOPS 306127 HAS SOUS 237366 HAS SOUPS 237366 WITH SCORE 237672.127
AT ITER 200 NEW BEST:: SOT 466419 SOS 305975 HAS SOPS 305975 HAS SOUS 237214 HAS SOUPS 237214 WITH SCORE 237519.975
AT ITER 205 NEW BEST:: SOT 466051 SOS 305607 HAS SOPS 305607 HAS SOUS 236846 HAS SOUPS 236846 WITH SCORE 237151.607
AT ITER 207 NEW BEST:: SOT 465774 SOS 305330 HAS SOPS 305330 HAS SOUS 236569 HAS SOUPS 236569 WITH SCORE 236874.33
AT ITER 227 NEW BEST:: SOT 465719 SOS 305275 HAS SOPS 305275 HAS SOUS 236514 HAS SOUPS 236514 WITH SCORE 236819.275
AT ITER 230 NEW BEST:: SOT 465413 SOS 304967 HAS SOPS 304967 HAS SOUS 236206 HAS SOUPS 236206 WITH SCORE 236510.967
AT ITER 244 NEW BEST:: SOT 465014 SOS 304768 HAS SOPS 304768 HAS SOUS 236007 HAS SOUPS 236007 WITH SCORE 236311.768
AT ITER 248 NEW BEST:: SOT 464535 SOS 304289 HAS SOPS 304289 HAS SOUS 235528 HAS SOUPS 235528 WITH SCORE 235832.289
AT ITER 260 NEW BEST:: SOT 464098 SOS 303852 HAS SOPS 303852 HAS SOUS 235091 HAS SOUPS 235091 WITH SCORE 235394.852
AT ITER 268 NEW BEST:: SOT 463798 SOS 302352 HAS SOPS 302352 HAS SOUS 235091 HAS SOUPS 235091 WITH SCORE 235393.352
AT ITER 290 NEW BEST:: SOT 463614 SOS 302274 HAS SOPS 302274 HAS SOUS 235013 HAS SOUPS 235013 WITH SCORE 235315.274
AT ITER 299 NEW BEST:: SOT 463503 SOS 302163 HAS SOPS 302163 HAS SOUS 234902 HAS SOUPS 234902 WITH SCORE 235204.163
AT ITER 307 NEW BEST:: SOT 463502 SOS 302160 HAS SOPS 302160 HAS SOUS 234899 HAS SOUPS 234899 WITH SCORE 235201.16
AT ITER 309 NEW BEST:: SOT 463487 SOS 302143 HAS SOPS 302143 HAS SOUS 234882 HAS SOUPS 234882 WITH SCORE 235184.143
AT ITER 315 NEW BEST:: SOT 463467 SOS 302123 HAS SOPS 302123 HAS SOUS 234862 HAS SOUPS 234862 WITH SCORE 235164.123
AT ITER 318 NEW BEST:: SOT 463460 SOS 302116 HAS SOPS 302116 HAS SOUS 234855 HAS SOUPS 234855 WITH SCORE 235157.116
AT ITER 342 NEW BEST:: SOT 463459 SOS 301593 HAS SOPS 301593 HAS SOUS 234836 HAS SOUPS 234836 WITH SCORE 235137.593
AT ITER 354 NEW BEST:: SOT 463458 SOS 301579 HAS SOPS 301579 HAS SOUS 234808 HAS SOUPS 234808 WITH SCORE 235109.579
AT ITER 356 NEW BEST:: SOT 463449 SOS 301570 HAS SOPS 301570 HAS SOUS 234799 HAS SOUPS 234799 WITH SCORE 235100.57
AT ITER 365 NEW BEST:: SOT 463435 SOS 301547 HAS SOPS 301547 HAS SOUS 234763 HAS SOUPS 234763 WITH SCORE 235064.547
AT ITER 369 NEW BEST:: SOT 463388 SOS 301498 HAS SOPS 301498 HAS SOUS 234714 HAS SOUPS 234714 WITH SCORE 235015.498
AT ITER 371 NEW BEST:: SOT 463245 SOS 301355 HAS SOPS 301355 HAS SOUS 234571 HAS SOUPS 234571 WITH SCORE 234872.355
AT ITER 373 NEW BEST:: SOT 463134 SOS 301243 HAS SOPS 301243 HAS SOUS 234459 HAS SOUPS 234459 WITH SCORE 234760.243
AT ITER 376 NEW BEST:: SOT 462876 SOS 300898 HAS SOPS 300898 HAS SOUS 233972 HAS SOUPS 233972 WITH SCORE 234272.898
AT ITER 377 NEW BEST:: SOT 462847 SOS 300867 HAS SOPS 300867 HAS SOUS 233941 HAS SOUPS 233941 WITH SCORE 234241.867
AT ITER 378 NEW BEST:: SOT 462847 SOS 300865 HAS SOPS 300865 HAS SOUS 233939 HAS SOUPS 233939 WITH SCORE 234239.865
AT ITER 379 NEW BEST:: SOT 462899 SOS 300826 HAS SOPS 300826 HAS SOUS 233911 HAS SOUPS 233911 WITH SCORE 234211.826
AT ITER 384 NEW BEST:: SOT 462733 SOS 300704 HAS SOPS 300704 HAS SOUS 233789 HAS SOUPS 233789 WITH SCORE 234089.704
AT ITER 393 NEW BEST:: SOT 462869 SOS 300523 HAS SOPS 300523 HAS SOUS 233501 HAS SOUPS 233501 WITH SCORE 233801.523
AT ITER 394 NEW BEST:: SOT 462453 SOS 298443 HAS SOPS 298443 HAS SOUS 233500 HAS SOUPS 233500 WITH SCORE 233798.443
AT ITER 402 NEW BEST:: SOT 462281 SOS 298271 HAS SOPS 298271 HAS SOUS 233328 HAS SOUPS 233328 WITH SCORE 233626.271
AT ITER 408 NEW BEST:: SOT 461976 SOS 296746 HAS SOPS 296746 HAS SOUS 233328 HAS SOUPS 233328 WITH SCORE 233624.746
AT ITER 418 NEW BEST:: SOT 461943 SOS 296122 HAS SOPS 296122 HAS SOUS 233133 HAS SOUPS 233133 WITH SCORE 233429.122
AT ITER 423 NEW BEST:: SOT 461886 SOS 296065 HAS SOPS 296065 HAS SOUS 233076 HAS SOUPS 233076 WITH SCORE 233372.065
AT ITER 426 NEW BEST:: SOT 461494 SOS 295881 HAS SOPS 295881 HAS SOUS 232892 HAS SOUPS 232892 WITH SCORE 233187.881
AT ITER 427 NEW BEST:: SOT 461494 SOS 295619 HAS SOPS 295619 HAS SOUS 232630 HAS SOUPS 232630 WITH SCORE 232925.619
AT ITER 430 NEW BEST:: SOT 461351 SOS 295425 HAS SOPS 295425 HAS SOUS 232436 HAS SOUPS 232436 WITH SCORE 232731.425
AT ITER 439 NEW BEST:: SOT 461500 SOS 295302 HAS SOPS 295302 HAS SOUS 231951 HAS SOUPS 231951 WITH SCORE 232246.302
AT ITER 450 NEW BEST:: SOT 461496 SOS 295298 HAS SOPS 295298 HAS SOUS 231947 HAS SOUPS 231947 WITH SCORE 232242.298
AT ITER 462 NEW BEST:: SOT 461463 SOS 295265 HAS SOPS 295265 HAS SOUS 231914 HAS SOUPS 231914 WITH SCORE 232209.265
AT ITER 465 NEW BEST:: SOT 460977 SOS 294779 HAS SOPS 294779 HAS SOUS 231428 HAS SOUPS 231428 WITH SCORE 231722.779
AT ITER 466 NEW BEST:: SOT 460919 SOS 294721 HAS SOPS 294721 HAS SOUS 231370 HAS SOUPS 231370 WITH SCORE 231664.721
AT ITER 472 NEW BEST:: SOT 460668 SOS 294457 HAS SOPS 294457 HAS SOUS 231055 HAS SOUPS 231055 WITH SCORE 231349.457
AT ITER 481 NEW BEST:: SOT 460618 SOS 294282 HAS SOPS 294282 HAS SOUS 230955 HAS SOUPS 230955 WITH SCORE 231249.282
AT ITER 485 NEW BEST:: SOT 460438 SOS 294102 HAS SOPS 294102 HAS SOUS 230775 HAS SOUPS 230775 WITH SCORE 231069.102
AT ITER 489 NEW BEST:: SOT 460424 SOS 294083 HAS SOPS 294083 HAS SOUS 230743 HAS SOUPS 230743 WITH SCORE 231037.083
AT ITER 490 NEW BEST:: SOT 460385 SOS 294044 HAS SOPS 294044 HAS SOUS 230704 HAS SOUPS 230704 WITH SCORE 230998.044
AT ITER 492 NEW BEST:: SOT 460585 SOS 292494 HAS SOPS 292494 HAS SOUS 230255 HAS SOUPS 230255 WITH SCORE 230547.494
AT ITER 508 NEW BEST:: SOT 460374 SOS 292624 HAS SOPS 292624 HAS SOUS 230215 HAS SOUPS 230215 WITH SCORE 230507.624
AT ITER 512 NEW BEST:: SOT 460263 SOS 292513 HAS SOPS 292513 HAS SOUS 230104 HAS SOUPS 230104 WITH SCORE 230396.513
AT ITER 519 NEW BEST:: SOT 459922 SOS 292171 HAS SOPS 292171 HAS SOUS 229762 HAS SOUPS 229762 WITH SCORE 230054.171
AT ITER 527 NEW BEST:: SOT 459877 SOS 292152 HAS SOPS 292152 HAS SOUS 229604 HAS SOUPS 229604 WITH SCORE 229896.152
AT ITER 533 NEW BEST:: SOT 459866 SOS 291547 HAS SOPS 291547 HAS SOUS 229590 HAS SOUPS 229590 WITH SCORE 229881.547
AT ITER 535 NEW BEST:: SOT 459812 SOS 291493 HAS SOPS 291493 HAS SOUS 229535 HAS SOUPS 229535 WITH SCORE 229826.493
AT ITER 547 NEW BEST:: SOT 459226 SOS 290944 HAS SOPS 290944 HAS SOUS 228986 HAS SOUPS 228986 WITH SCORE 229276.944
AT ITER 548 NEW BEST:: SOT 459316 SOS 289172 HAS SOPS 289172 HAS SOUS 228513 HAS SOUPS 228513 WITH SCORE 228802.172
AT ITER 565 NEW BEST:: SOT 459261 SOS 289117 HAS SOPS 289117 HAS SOUS 228458 HAS SOUPS 228458 WITH SCORE 228747.117
AT ITER 578 NEW BEST:: SOT 459147 SOS 288863 HAS SOPS 288863 HAS SOUS 228217 HAS SOUPS 228217 WITH SCORE 228505.863
AT ITER 579 NEW BEST:: SOT 459742 SOS 289177 HAS SOPS 289177 HAS SOUS 227832 HAS SOUPS 227832 WITH SCORE 228121.177
AT ITER 581 NEW BEST:: SOT 459502 SOS 288877 HAS SOPS 288877 HAS SOUS 227532 HAS SOUPS 227532 WITH SCORE 227820.877
AT ITER 606 NEW BEST:: SOT 459502 SOS 288885 HAS SOPS 288885 HAS SOUS 227531 HAS SOUPS 227531 WITH SCORE 227819.885
AT ITER 617 NEW BEST:: SOT 459326 SOS 288709 HAS SOPS 288709 HAS SOUS 227355 HAS SOUPS 227355 WITH SCORE 227643.709
AT ITER 624 NEW BEST:: SOT 459330 SOS 288702 HAS SOPS 288702 HAS SOUS 227342 HAS SOUPS 227342 WITH SCORE 227630.702
AT ITER 631 NEW BEST:: SOT 459275 SOS 288647 HAS SOPS 288647 HAS SOUS 227287 HAS SOUPS 227287 WITH SCORE 227575.647
AT ITER 635 NEW BEST:: SOT 459274 SOS 287978 HAS SOPS 287978 HAS SOUS 227264 HAS SOUPS 227264 WITH SCORE 227551.978
AT ITER 642 NEW BEST:: SOT 459097 SOS 287831 HAS SOPS 287831 HAS SOUS 227104 HAS SOUPS 227104 WITH SCORE 227391.831
AT ITER 644 NEW BEST:: SOT 458973 SOS 287760 HAS SOPS 287760 HAS SOUS 227006 HAS SOUPS 227006 WITH SCORE 227293.76
AT ITER 647 NEW BEST:: SOT 458958 SOS 287745 HAS SOPS 287745 HAS SOUS 226991 HAS SOUPS 226991 WITH SCORE 227278.745
AT ITER 648 NEW BEST:: SOT 458413 SOS 287188 HAS SOPS 287188 HAS SOUS 226431 HAS SOUPS 226431 WITH SCORE 226718.188
AT ITER 652 NEW BEST:: SOT 458412 SOS 287185 HAS SOPS 287185 HAS SOUS 226428 HAS SOUPS 226428 WITH SCORE 226715.185
AT ITER 656 NEW BEST:: SOT 458550 SOS 286277 HAS SOPS 286277 HAS SOUS 226354 HAS SOUPS 226354 WITH SCORE 226640.277
AT ITER 684 NEW BEST:: SOT 458546 SOS 286215 HAS SOPS 286215 HAS SOUS 226354 HAS SOUPS 226354 WITH SCORE 226640.215
AT ITER 686 NEW BEST:: SOT 458275 SOS 285513 HAS SOPS 285513 HAS SOUS 225869 HAS SOUPS 225869 WITH SCORE 226154.513
AT ITER 695 NEW BEST:: SOT 458508 SOS 284592 HAS SOPS 284592 HAS SOUS 225748 HAS SOUPS 225748 WITH SCORE 226032.592
AT ITER 696 NEW BEST:: SOT 458396 SOS 284480 HAS SOPS 284480 HAS SOUS 225636 HAS SOUPS 225636 WITH SCORE 225920.48
AT ITER 700 NEW BEST:: SOT 458395 SOS 283558 HAS SOPS 283558 HAS SOUS 225619 HAS SOUPS 225619 WITH SCORE 225902.558
AT ITER 706 NEW BEST:: SOT 458315 SOS 283158 HAS SOPS 283158 HAS SOUS 225613 HAS SOUPS 225613 WITH SCORE 225896.158
AT ITER 708 NEW BEST:: SOT 458110 SOS 282862 HAS SOPS 282862 HAS SOUS 225317 HAS SOUPS 225317 WITH SCORE 225599.862
AT ITER 713 NEW BEST:: SOT 457613 SOS 281876 HAS SOPS 281876 HAS SOUS 224331 HAS SOUPS 224331 WITH SCORE 224612.876
AT ITER 714 NEW BEST:: SOT 457413 SOS 281056 HAS SOPS 281056 HAS SOUS 223888 HAS SOUPS 223888 WITH SCORE 224169.056
AT ITER 719 NEW BEST:: SOT 457044 SOS 280544 HAS SOPS 280544 HAS SOUS 223376 HAS SOUPS 223376 WITH SCORE 223656.544
AT ITER 720 NEW BEST:: SOT 457040 SOS 280432 HAS SOPS 280432 HAS SOUS 223376 HAS SOUPS 223376 WITH SCORE 223656.432
AT ITER 722 NEW BEST:: SOT 457040 SOS 280550 HAS SOPS 280550 HAS SOUS 223375 HAS SOUPS 223375 WITH SCORE 223655.55
AT ITER 740 NEW BEST:: SOT 457039 SOS 280083 HAS SOPS 280083 HAS SOUS 223361 HAS SOUPS 223361 WITH SCORE 223641.083
AT ITER 743 NEW BEST:: SOT 456871 SOS 279831 HAS SOPS 279831 HAS SOUS 223109 HAS SOUPS 223109 WITH SCORE 223388.831
AT ITER 749 NEW BEST:: SOT 456773 SOS 279776 HAS SOPS 279776 HAS SOUS 223054 HAS SOUPS 223054 WITH SCORE 223333.776
AT ITER 750 NEW BEST:: SOT 456473 SOS 279527 HAS SOPS 279527 HAS SOUS 222780 HAS SOUPS 222780 WITH SCORE 223059.527
AT ITER 751 NEW BEST:: SOT 456043 SOS 279097 HAS SOPS 279097 HAS SOUS 222350 HAS SOUPS 222350 WITH SCORE 222629.097
AT ITER 758 NEW BEST:: SOT 456043 SOS 279022 HAS SOPS 279022 HAS SOUS 222347 HAS SOUPS 222347 WITH SCORE 222626.022
AT ITER 762 NEW BEST:: SOT 456041 SOS 279020 HAS SOPS 279020 HAS SOUS 222345 HAS SOUPS 222345 WITH SCORE 222624.02
AT ITER 771 NEW BEST:: SOT 455853 SOS 278832 HAS SOPS 278832 HAS SOUS 222157 HAS SOUPS 222157 WITH SCORE 222435.832
AT ITER 777 NEW BEST:: SOT 455518 SOS 278820 HAS SOPS 278820 HAS SOUS 222145 HAS SOUPS 222145 WITH SCORE 222423.82
AT ITER 781 NEW BEST:: SOT 455148 SOS 278450 HAS SOPS 278450 HAS SOUS 221775 HAS SOUPS 221775 WITH SCORE 222053.45
AT ITER 783 NEW BEST:: SOT 455053 SOS 278354 HAS SOPS 278354 HAS SOUS 221679 HAS SOUPS 221679 WITH SCORE 221957.354
AT ITER 786 NEW BEST:: SOT 455017 SOS 278186 HAS SOPS 278186 HAS SOUS 221511 HAS SOUPS 221511 WITH SCORE 221789.186
AT ITER 791 NEW BEST:: SOT 455024 SOS 278193 HAS SOPS 278193 HAS SOUS 221503 HAS SOUPS 221503 WITH SCORE 221781.193
AT ITER 793 NEW BEST:: SOT 454918 SOS 278087 HAS SOPS 278087 HAS SOUS 221397 HAS SOUPS 221397 WITH SCORE 221675.087
AT ITER 794 NEW BEST:: SOT 454691 SOS 277703 HAS SOPS 277703 HAS SOUS 220572 HAS SOUPS 220572 WITH SCORE 220849.703
AT ITER 799 NEW BEST:: SOT 454691 SOS 277835 HAS SOPS 277835 HAS SOUS 220366 HAS SOUPS 220366 WITH SCORE 220643.835
AT ITER 807 NEW BEST:: SOT 454607 SOS 277751 HAS SOPS 277751 HAS SOUS 220282 HAS SOUPS 220282 WITH SCORE 220559.751
AT ITER 809 NEW BEST:: SOT 454559 SOS 277500 HAS SOPS 277500 HAS SOUS 219794 HAS SOUPS 219794 WITH SCORE 220071.5
AT ITER 811 NEW BEST:: SOT 454305 SOS 277246 HAS SOPS 277246 HAS SOUS 219540 HAS SOUPS 219540 WITH SCORE 219817.246
AT ITER 818 NEW BEST:: SOT 454096 SOS 277037 HAS SOPS 277037 HAS SOUS 219391 HAS SOUPS 219391 WITH SCORE 219668.037
AT ITER 827 NEW BEST:: SOT 454189 SOS 276959 HAS SOPS 276959 HAS SOUS 219313 HAS SOUPS 219313 WITH SCORE 219589.959
AT ITER 831 NEW BEST:: SOT 454154 SOS 276924 HAS SOPS 276924 HAS SOUS 219278 HAS SOUPS 219278 WITH SCORE 219554.924
AT ITER 833 NEW BEST:: SOT 454028 SOS 276733 HAS SOPS 276733 HAS SOUS 219087 HAS SOUPS 219087 WITH SCORE 219363.733
AT ITER 854 NEW BEST:: SOT 454194 SOS 276890 HAS SOPS 276890 HAS SOUS 219069 HAS SOUPS 219069 WITH SCORE 219345.89
AT ITER 856 NEW BEST:: SOT 454074 SOS 276769 HAS SOPS 276769 HAS SOUS 218948 HAS SOUPS 218948 WITH SCORE 219224.769
AT ITER 868 NEW BEST:: SOT 453614 SOS 276307 HAS SOPS 276307 HAS SOUS 218486 HAS SOUPS 218486 WITH SCORE 218762.307
AT ITER 869 NEW BEST:: SOT 453654 SOS 276307 HAS SOPS 276307 HAS SOUS 218446 HAS SOUPS 218446 WITH SCORE 218722.307
AT ITER 870 NEW BEST:: SOT 453620 SOS 276239 HAS SOPS 276239 HAS SOUS 218378 HAS SOUPS 218378 WITH SCORE 218654.239
AT ITER 876 NEW BEST:: SOT 453619 SOS 276561 HAS SOPS 276561 HAS SOUS 218180 HAS SOUPS 218180 WITH SCORE 218456.561
AT ITER 883 NEW BEST:: SOT 453602 SOS 276542 HAS SOPS 276542 HAS SOUS 218144 HAS SOUPS 218144 WITH SCORE 218420.542
AT ITER 895 NEW BEST:: SOT 453602 SOS 276293 HAS SOPS 276293 HAS SOUS 218081 HAS SOUPS 218081 WITH SCORE 218357.293
AT ITER 900 NEW BEST:: SOT 453446 SOS 276127 HAS SOPS 276127 HAS SOUS 217908 HAS SOUPS 217908 WITH SCORE 218184.127
AT ITER 902 NEW BEST:: SOT 453272 SOS 275953 HAS SOPS 275953 HAS SOUS 217734 HAS SOUPS 217734 WITH SCORE 218009.953
AT ITER 908 NEW BEST:: SOT 452844 SOS 275525 HAS SOPS 275525 HAS SOUS 217092 HAS SOUPS 217092 WITH SCORE 217367.525
AT ITER 909 NEW BEST:: SOT 452824 SOS 275485 HAS SOPS 275485 HAS SOUS 217032 HAS SOUPS 217032 WITH SCORE 217307.485
AT ITER 913 NEW BEST:: SOT 452896 SOS 275567 HAS SOPS 275567 HAS SOUS 216970 HAS SOUPS 216970 WITH SCORE 217245.567
AT ITER 918 NEW BEST:: SOT 452872 SOS 275521 HAS SOPS 275521 HAS SOUS 216924 HAS SOUPS 216924 WITH SCORE 217199.521
AT ITER 919 NEW BEST:: SOT 452853 SOS 275483 HAS SOPS 275483 HAS SOUS 216886 HAS SOUPS 216886 WITH SCORE 217161.483
AT ITER 929 NEW BEST:: SOT 452866 SOS 275421 HAS SOPS 275421 HAS SOUS 216762 HAS SOUPS 216762 WITH SCORE 217037.421
AT ITER 943 NEW BEST:: SOT 452110 SOS 272439 HAS SOPS 272439 HAS SOUS 214995 HAS SOUPS 214995 WITH SCORE 215267.439
AT ITER 944 NEW BEST:: SOT 451871 SOS 272016 HAS SOPS 272016 HAS SOUS 214569 HAS SOUPS 214569 WITH SCORE 214841.016
AT ITER 948 NEW BEST:: SOT 451889 SOS 271897 HAS SOPS 271897 HAS SOUS 214320 HAS SOUPS 214320 WITH SCORE 214591.897
AT ITER 949 NEW BEST:: SOT 451724 SOS 271732 HAS SOPS 271732 HAS SOUS 214155 HAS SOUPS 214155 WITH SCORE 214426.732
AT ITER 959 NEW BEST:: SOT 451722 SOS 271639 HAS SOPS 271639 HAS SOUS 214129 HAS SOUPS 214129 WITH SCORE 214400.639
AT ITER 973 NEW BEST:: SOT 451721 SOS 271161 HAS SOPS 271161 HAS SOUS 214120 HAS SOUPS 214120 WITH SCORE 214391.161
AT ITER 984 NEW BEST:: SOT 451721 SOS 270943 HAS SOPS 270943 HAS SOUS 213902 HAS SOUPS 213902 WITH SCORE 214172.943
AT ITER 988 NEW BEST:: SOT 451570 SOS 270790 HAS SOPS 270790 HAS SOUS 213749 HAS SOUPS 213749 WITH SCORE 214019.79
AT ITER 991 NEW BEST:: SOT 451150 SOS 270011 HAS SOPS 270011 HAS SOUS 212970 HAS SOUPS 212970 WITH SCORE 213240.011
AT ITER 1010 NEW BEST:: SOT 451112 SOS 269325 HAS SOPS 269325 HAS SOUS 212970 HAS SOUPS 212970 WITH SCORE 213239.325
AT ITER 1014 NEW BEST:: SOT 451122 SOS 269335 HAS SOPS 269335 HAS SOUS 212967 HAS SOUPS 212967 WITH SCORE 213236.335
AT ITER 1030 NEW BEST:: SOT 451143 SOS 268881 HAS SOPS 268881 HAS SOUS 212859 HAS SOUPS 212859 WITH SCORE 213127.881
AT ITER 1033 NEW BEST:: SOT 451118 SOS 268856 HAS SOPS 268856 HAS SOUS 212834 HAS SOUPS 212834 WITH SCORE 213102.856
AT ITER 1042 NEW BEST:: SOT 451089 SOS 268827 HAS SOPS 268827 HAS SOUS 212805 HAS SOUPS 212805 WITH SCORE 213073.827
AT ITER 1047 NEW BEST:: SOT 450785 SOS 268523 HAS SOPS 268523 HAS SOUS 212501 HAS SOUPS 212501 WITH SCORE 212769.523
AT ITER 1058 NEW BEST:: SOT 450765 SOS 268503 HAS SOPS 268503 HAS SOUS 212481 HAS SOUPS 212481 WITH SCORE 212749.503
AT ITER 1064 NEW BEST:: SOT 450765 SOS 268412 HAS SOPS 268412 HAS SOUS 212472 HAS SOUPS 212472 WITH SCORE 212740.412
AT ITER 1070 NEW BEST:: SOT 450354 SOS 267998 HAS SOPS 267998 HAS SOUS 212058 HAS SOUPS 212058 WITH SCORE 212325.998
AT ITER 1091 NEW BEST:: SOT 450471 SOS 267907 HAS SOPS 267907 HAS SOUS 211944 HAS SOUPS 211944 WITH SCORE 212211.907
AT ITER 1103 NEW BEST:: SOT 450454 SOS 267329 HAS SOPS 267329 HAS SOUS 211815 HAS SOUPS 211815 WITH SCORE 212082.329
AT ITER 1111 NEW BEST:: SOT 450424 SOS 267299 HAS SOPS 267299 HAS SOUS 211785 HAS SOUPS 211785 WITH SCORE 212052.299
AT ITER 1126 NEW BEST:: SOT 450367 SOS 267242 HAS SOPS 267242 HAS SOUS 211727 HAS SOUPS 211727 WITH SCORE 211994.242
AT ITER 1128 NEW BEST:: SOT 450248 SOS 267123 HAS SOPS 267123 HAS SOUS 211608 HAS SOUPS 211608 WITH SCORE 211875.123
AT ITER 1137 NEW BEST:: SOT 450071 SOS 266158 HAS SOPS 266158 HAS SOUS 211351 HAS SOUPS 211351 WITH SCORE 211617.158
AT ITER 1138 NEW BEST:: SOT 449950 SOS 266037 HAS SOPS 266037 HAS SOUS 211230 HAS SOUPS 211230 WITH SCORE 211496.037
AT ITER 1142 NEW BEST:: SOT 449907 SOS 265994 HAS SOPS 265994 HAS SOUS 211187 HAS SOUPS 211187 WITH SCORE 211452.994
AT ITER 1146 NEW BEST:: SOT 449892 SOS 265979 HAS SOPS 265979 HAS SOUS 211157 HAS SOUPS 211157 WITH SCORE 211422.979
AT ITER 1149 NEW BEST:: SOT 449849 SOS 265936 HAS SOPS 265936 HAS SOUS 211114 HAS SOUPS 211114 WITH SCORE 211379.936
AT ITER 1159 NEW BEST:: SOT 449711 SOS 265844 HAS SOPS 265844 HAS SOUS 211022 HAS SOUPS 211022 WITH SCORE 211287.844
AT ITER 1164 NEW BEST:: SOT 449673 SOS 265806 HAS SOPS 265806 HAS SOUS 210984 HAS SOUPS 210984 WITH SCORE 211249.806
AT ITER 1168 NEW BEST:: SOT 449622 SOS 265755 HAS SOPS 265755 HAS SOUS 210933 HAS SOUPS 210933 WITH SCORE 211198.755
AT ITER 1173 NEW BEST:: SOT 449555 SOS 265455 HAS SOPS 265455 HAS SOUS 210897 HAS SOUPS 210897 WITH SCORE 211162.455
AT ITER 1191 NEW BEST:: SOT 449485 SOS 265201 HAS SOPS 265201 HAS SOUS 210643 HAS SOUPS 210643 WITH SCORE 210908.201
AT ITER 1194 NEW BEST:: SOT 449401 SOS 265117 HAS SOPS 265117 HAS SOUS 210559 HAS SOUPS 210559 WITH SCORE 210824.117
AT ITER 1203 NEW BEST:: SOT 449463 SOS 265190 HAS SOPS 265190 HAS SOUS 210489 HAS SOUPS 210489 WITH SCORE 210754.19
AT ITER 1204 NEW BEST:: SOT 449167 SOS 264894 HAS SOPS 264894 HAS SOUS 210193 HAS SOUPS 210193 WITH SCORE 210457.894
AT ITER 1207 NEW BEST:: SOT 449177 SOS 263564 HAS SOPS 263564 HAS SOUS 209454 HAS SOUPS 209454 WITH SCORE 209717.564
AT ITER 1228 NEW BEST:: SOT 449054 SOS 263439 HAS SOPS 263439 HAS SOUS 209328 HAS SOUPS 209328 WITH SCORE 209591.439
AT ITER 1231 NEW BEST:: SOT 449069 SOS 263448 HAS SOPS 263448 HAS SOUS 209112 HAS SOUPS 209112 WITH SCORE 209375.448
AT ITER 1234 NEW BEST:: SOT 448896 SOS 263275 HAS SOPS 263275 HAS SOUS 208939 HAS SOUPS 208939 WITH SCORE 209202.275
AT ITER 1239 NEW BEST:: SOT 448859 SOS 263238 HAS SOPS 263238 HAS SOUS 208826 HAS SOUPS 208826 WITH SCORE 209089.238
AT ITER 1240 NEW BEST:: SOT 448755 SOS 263134 HAS SOPS 263134 HAS SOUS 208722 HAS SOUPS 208722 WITH SCORE 208985.134
AT ITER 1243 NEW BEST:: SOT 448746 SOS 262905 HAS SOPS 262905 HAS SOUS 208658 HAS SOUPS 208658 WITH SCORE 208920.905
AT ITER 1247 NEW BEST:: SOT 448728 SOS 262887 HAS SOPS 262887 HAS SOUS 208640 HAS SOUPS 208640 WITH SCORE 208902.887
AT ITER 1248 NEW BEST:: SOT 448728 SOS 261608 HAS SOPS 261608 HAS SOUS 208640 HAS SOUPS 208640 WITH SCORE 208901.608
AT ITER 1263 NEW BEST:: SOT 448556 SOS 260676 HAS SOPS 260676 HAS SOUS 208640 HAS SOUPS 208640 WITH SCORE 208900.676
AT ITER 1266 NEW BEST:: SOT 448548 SOS 260636 HAS SOPS 260636 HAS SOUS 208632 HAS SOUPS 208632 WITH SCORE 208892.636
AT ITER 1275 NEW BEST:: SOT 448542 SOS 260633 HAS SOPS 260633 HAS SOUS 208630 HAS SOUPS 208630 WITH SCORE 208890.633
AT ITER 1281 NEW BEST:: SOT 448371 SOS 260074 HAS SOPS 260074 HAS SOUS 207746 HAS SOUPS 207746 WITH SCORE 208006.074
AT ITER 1298 NEW BEST:: SOT 448203 SOS 259795 HAS SOPS 259795 HAS SOUS 207661 HAS SOUPS 207661 WITH SCORE 207920.795
AT ITER 1308 NEW BEST:: SOT 448098 SOS 259270 HAS SOPS 259270 HAS SOUS 207661 HAS SOUPS 207661 WITH SCORE 207920.27
AT ITER 1324 NEW BEST:: SOT 448007 SOS 258997 HAS SOPS 258997 HAS SOUS 207660 HAS SOUPS 207660 WITH SCORE 207918.997
AT ITER 1335 NEW BEST:: SOT 447988 SOS 258978 HAS SOPS 258978 HAS SOUS 207660 HAS SOUPS 207660 WITH SCORE 207918.978
AT ITER 1341 NEW BEST:: SOT 447784 SOS 257622 HAS SOPS 257622 HAS SOUS 207660 HAS SOUPS 207660 WITH SCORE 207917.622
AT ITER 1343 NEW BEST:: SOT 447796 SOS 257531 HAS SOPS 257531 HAS SOUS 207053 HAS SOUPS 207053 WITH SCORE 207310.531
AT ITER 1346 NEW BEST:: SOT 447796 SOS 257396 HAS SOPS 257396 HAS SOUS 207053 HAS SOUPS 207053 WITH SCORE 207310.396
AT ITER 1349 NEW BEST:: SOT 447528 SOS 257342 HAS SOPS 257342 HAS SOUS 206888 HAS SOUPS 206888 WITH SCORE 207145.342
AT ITER 1353 NEW BEST:: SOT 447672 SOS 257651 HAS SOPS 257651 HAS SOUS 206488 HAS SOUPS 206488 WITH SCORE 206745.651
AT ITER 1366 NEW BEST:: SOT 447552 SOS 257531 HAS SOPS 257531 HAS SOUS 206455 HAS SOUPS 206455 WITH SCORE 206712.531
AT ITER 1373 NEW BEST:: SOT 447464 SOS 257432 HAS SOPS 257432 HAS SOUS 206349 HAS SOUPS 206349 WITH SCORE 206606.432
AT ITER 1374 NEW BEST:: SOT 447611 SOS 257276 HAS SOPS 257276 HAS SOUS 206193 HAS SOUPS 206193 WITH SCORE 206450.276
AT ITER 1381 NEW BEST:: SOT 447609 SOS 256820 HAS SOPS 256820 HAS SOUS 206185 HAS SOUPS 206185 WITH SCORE 206441.82
AT ITER 1402 NEW BEST:: SOT 447301 SOS 256014 HAS SOPS 256014 HAS SOUS 205574 HAS SOUPS 205574 WITH SCORE 205830.014
AT ITER 1428 NEW BEST:: SOT 447298 SOS 256011 HAS SOPS 256011 HAS SOUS 205571 HAS SOUPS 205571 WITH SCORE 205827.011
AT ITER 1450 NEW BEST:: SOT 447350 SOS 255931 HAS SOPS 255931 HAS SOUS 205434 HAS SOUPS 205434 WITH SCORE 205689.931
AT ITER 1464 NEW BEST:: SOT 447150 SOS 254931 HAS SOPS 254931 HAS SOUS 205234 HAS SOUPS 205234 WITH SCORE 205488.931
AT ITER 1471 NEW BEST:: SOT 447150 SOS 254806 HAS SOPS 254806 HAS SOUS 205122 HAS SOUPS 205122 WITH SCORE 205376.806
AT ITER 1485 NEW BEST:: SOT 446824 SOS 254678 HAS SOPS 254678 HAS SOUS 205110 HAS SOUPS 205110 WITH SCORE 205364.678
AT ITER 1487 NEW BEST:: SOT 446666 SOS 254520 HAS SOPS 254520 HAS SOUS 204952 HAS SOUPS 204952 WITH SCORE 205206.52
AT ITER 1494 NEW BEST:: SOT 445947 SOS 251874 HAS SOPS 251874 HAS SOUS 203430 HAS SOUPS 203430 WITH SCORE 203681.874
AT ITER 1499 NEW BEST:: SOT 445951 SOS 251878 HAS SOPS 251878 HAS SOUS 203347 HAS SOUPS 203347 WITH SCORE 203598.878
AT ITER 1502 NEW BEST:: SOT 445951 SOS 251126 HAS SOPS 251126 HAS SOUS 203347 HAS SOUPS 203347 WITH SCORE 203598.126
AT ITER 1518 NEW BEST:: SOT 445951 SOS 251004 HAS SOPS 251004 HAS SOUS 203347 HAS SOUPS 203347 WITH SCORE 203598.004
AT ITER 1528 NEW BEST:: SOT 445904 SOS 250945 HAS SOPS 250945 HAS SOUS 203281 HAS SOUPS 203281 WITH SCORE 203531.945
AT ITER 1531 NEW BEST:: SOT 445896 SOS 250937 HAS SOPS 250937 HAS SOUS 203273 HAS SOUPS 203273 WITH SCORE 203523.937
AT ITER 1548 NEW BEST:: SOT 445638 SOS 250679 HAS SOPS 250679 HAS SOUS 203015 HAS SOUPS 203015 WITH SCORE 203265.679
AT ITER 1552 NEW BEST:: SOT 445582 SOS 250433 HAS SOPS 250433 HAS SOUS 202569 HAS SOUPS 202569 WITH SCORE 202819.433
AT ITER 1558 NEW BEST:: SOT 445529 SOS 250380 HAS SOPS 250380 HAS SOUS 202516 HAS SOUPS 202516 WITH SCORE 202766.38
AT ITER 1561 NEW BEST:: SOT 445528 SOS 250324 HAS SOPS 250324 HAS SOUS 202493 HAS SOUPS 202493 WITH SCORE 202743.324
AT ITER 1565 NEW BEST:: SOT 445298 SOS 250092 HAS SOPS 250092 HAS SOUS 202261 HAS SOUPS 202261 WITH SCORE 202511.092
AT ITER 1566 NEW BEST:: SOT 444920 SOS 249714 HAS SOPS 249714 HAS SOUS 201883 HAS SOUPS 201883 WITH SCORE 202132.714
AT ITER 1576 NEW BEST:: SOT 445142 SOS 249849 HAS SOPS 249849 HAS SOUS 201767 HAS SOUPS 201767 WITH SCORE 202016.849
AT ITER 1577 NEW BEST:: SOT 444985 SOS 249578 HAS SOPS 249578 HAS SOUS 201496 HAS SOUPS 201496 WITH SCORE 201745.578
AT ITER 1583 NEW BEST:: SOT 444870 SOS 249463 HAS SOPS 249463 HAS SOUS 201381 HAS SOUPS 201381 WITH SCORE 201630.463
AT ITER 1587 NEW BEST:: SOT 444751 SOS 248206 HAS SOPS 248206 HAS SOUS 201381 HAS SOUPS 201381 WITH SCORE 201629.206
AT ITER 1592 NEW BEST:: SOT 444873 SOS 248062 HAS SOPS 248062 HAS SOUS 201300 HAS SOUPS 201300 WITH SCORE 201548.062
AT ITER 1604 NEW BEST:: SOT 444566 SOS 247550 HAS SOPS 247550 HAS SOUS 200690 HAS SOUPS 200690 WITH SCORE 200937.55
AT ITER 1608 NEW BEST:: SOT 444566 SOS 247416 HAS SOPS 247416 HAS SOUS 200661 HAS SOUPS 200661 WITH SCORE 200908.416
AT ITER 1618 NEW BEST:: SOT 444558 SOS 247414 HAS SOPS 247414 HAS SOUS 200659 HAS SOUPS 200659 WITH SCORE 200906.414
AT ITER 1624 NEW BEST:: SOT 444496 SOS 247315 HAS SOPS 247315 HAS SOUS 200560 HAS SOUPS 200560 WITH SCORE 200807.315
AT ITER 1629 NEW BEST:: SOT 444629 SOS 247028 HAS SOPS 247028 HAS SOUS 200277 HAS SOUPS 200277 WITH SCORE 200524.028
AT ITER 1634 NEW BEST:: SOT 444646 SOS 246804 HAS SOPS 246804 HAS SOUS 200163 HAS SOUPS 200163 WITH SCORE 200409.804
AT ITER 1635 NEW BEST:: SOT 444646 SOS 245589 HAS SOPS 245589 HAS SOUS 199882 HAS SOUPS 199882 WITH SCORE 200127.589
AT ITER 1642 NEW BEST:: SOT 444496 SOS 245378 HAS SOPS 245378 HAS SOUS 199671 HAS SOUPS 199671 WITH SCORE 199916.378
AT ITER 1646 NEW BEST:: SOT 445140 SOS 246091 HAS SOPS 246091 HAS SOUS 199658 HAS SOUPS 199658 WITH SCORE 199904.091
AT ITER 1675 NEW BEST:: SOT 445063 SOS 246073 HAS SOPS 246073 HAS SOUS 199581 HAS SOUPS 199581 WITH SCORE 199827.073
AT ITER 1679 NEW BEST:: SOT 445061 SOS 244905 HAS SOPS 244905 HAS SOUS 199241 HAS SOUPS 199241 WITH SCORE 199485.905
AT ITER 1682 NEW BEST:: SOT 444997 SOS 244585 HAS SOPS 244585 HAS SOUS 199241 HAS SOUPS 199241 WITH SCORE 199485.585
AT ITER 1695 NEW BEST:: SOT 444760 SOS 244271 HAS SOPS 244271 HAS SOUS 198927 HAS SOUPS 198927 WITH SCORE 199171.271
AT ITER 1703 NEW BEST:: SOT 444672 SOS 244173 HAS SOPS 244173 HAS SOUS 198822 HAS SOUPS 198822 WITH SCORE 199066.173
AT ITER 1710 NEW BEST:: SOT 444566 SOS 244076 HAS SOPS 244076 HAS SOUS 198718 HAS SOUPS 198718 WITH SCORE 198962.076
AT ITER 1714 NEW BEST:: SOT 444535 SOS 244022 HAS SOPS 244022 HAS SOUS 198641 HAS SOUPS 198641 WITH SCORE 198885.022
AT ITER 1718 NEW BEST:: SOT 444573 SOS 243816 HAS SOPS 243816 HAS SOUS 198606 HAS SOUPS 198606 WITH SCORE 198849.816
AT ITER 1721 NEW BEST:: SOT 444353 SOS 243935 HAS SOPS 243935 HAS SOUS 198520 HAS SOUPS 198520 WITH SCORE 198763.935
AT ITER 1722 NEW BEST:: SOT 444462 SOS 244007 HAS SOPS 244007 HAS SOUS 198491 HAS SOUPS 198491 WITH SCORE 198735.007
AT ITER 1727 NEW BEST:: SOT 444264 SOS 243809 HAS SOPS 243809 HAS SOUS 198293 HAS SOUPS 198293 WITH SCORE 198536.809
AT ITER 1737 NEW BEST:: SOT 443949 SOS 243380 HAS SOPS 243380 HAS SOUS 197864 HAS SOUPS 197864 WITH SCORE 198107.38
AT ITER 1764 NEW BEST:: SOT 443829 SOS 243107 HAS SOPS 243107 HAS SOUS 197665 HAS SOUPS 197665 WITH SCORE 197908.107
AT ITER 1767 NEW BEST:: SOT 443828 SOS 243106 HAS SOPS 243106 HAS SOUS 197664 HAS SOUPS 197664 WITH SCORE 197907.106
AT ITER 1768 NEW BEST:: SOT 443834 SOS 241755 HAS SOPS 241755 HAS SOUS 197581 HAS SOUPS 197581 WITH SCORE 197822.755
AT ITER 1770 NEW BEST:: SOT 443833 SOS 241754 HAS SOPS 241754 HAS SOUS 197580 HAS SOUPS 197580 WITH SCORE 197821.754
AT ITER 1780 NEW BEST:: SOT 443545 SOS 241466 HAS SOPS 241466 HAS SOUS 197196 HAS SOUPS 197196 WITH SCORE 197437.466
AT ITER 1782 NEW BEST:: SOT 443539 SOS 241460 HAS SOPS 241460 HAS SOUS 197190 HAS SOUPS 197190 WITH SCORE 197431.46
AT ITER 1788 NEW BEST:: SOT 443025 SOS 240871 HAS SOPS 240871 HAS SOUS 196569 HAS SOUPS 196569 WITH SCORE 196809.871
AT ITER 1790 NEW BEST:: SOT 443209 SOS 240964 HAS SOPS 240964 HAS SOUS 196425 HAS SOUPS 196425 WITH SCORE 196665.964
AT ITER 1793 NEW BEST:: SOT 443141 SOS 240624 HAS SOPS 240624 HAS SOUS 196425 HAS SOUPS 196425 WITH SCORE 196665.624
AT ITER 1797 NEW BEST:: SOT 443073 SOS 240462 HAS SOPS 240462 HAS SOUS 196263 HAS SOUPS 196263 WITH SCORE 196503.462
AT ITER 1800 NEW BEST:: SOT 443029 SOS 240400 HAS SOPS 240400 HAS SOUS 196201 HAS SOUPS 196201 WITH SCORE 196441.4
AT ITER 1803 NEW BEST:: SOT 442782 SOS 240015 HAS SOPS 240015 HAS SOUS 196093 HAS SOUPS 196093 WITH SCORE 196333.015
AT ITER 1810 NEW BEST:: SOT 442530 SOS 239637 HAS SOPS 239637 HAS SOUS 195715 HAS SOUPS 195715 WITH SCORE 195954.637
AT ITER 1827 NEW BEST:: SOT 442419 SOS 239412 HAS SOPS 239412 HAS SOUS 195610 HAS SOUPS 195610 WITH SCORE 195849.412
AT ITER 1837 NEW BEST:: SOT 442411 SOS 239404 HAS SOPS 239404 HAS SOUS 195602 HAS SOUPS 195602 WITH SCORE 195841.404
AT ITER 1847 NEW BEST:: SOT 442345 SOS 239120 HAS SOPS 239120 HAS SOUS 195489 HAS SOUPS 195489 WITH SCORE 195728.12
AT ITER 1854 NEW BEST:: SOT 442345 SOS 238857 HAS SOPS 238857 HAS SOUS 195412 HAS SOUPS 195412 WITH SCORE 195650.857
AT ITER 1860 NEW BEST:: SOT 442308 SOS 238820 HAS SOPS 238820 HAS SOUS 195375 HAS SOUPS 195375 WITH SCORE 195613.82
AT ITER 1862 NEW BEST:: SOT 442118 SOS 237856 HAS SOPS 237856 HAS SOUS 195374 HAS SOUPS 195374 WITH SCORE 195611.856
AT ITER 1865 NEW BEST:: SOT 442018 SOS 237756 HAS SOPS 237756 HAS SOUS 195274 HAS SOUPS 195274 WITH SCORE 195511.756
AT ITER 1867 NEW BEST:: SOT 441928 SOS 236633 HAS SOPS 236633 HAS SOUS 194927 HAS SOUPS 194927 WITH SCORE 195163.633
AT ITER 1884 NEW BEST:: SOT 441928 SOS 236622 HAS SOPS 236622 HAS SOUS 194904 HAS SOUPS 194904 WITH SCORE 195140.622
AT ITER 1885 NEW BEST:: SOT 441928 SOS 236546 HAS SOPS 236546 HAS SOUS 194828 HAS SOUPS 194828 WITH SCORE 195064.546
AT ITER 1886 NEW BEST:: SOT 441926 SOS 236542 HAS SOPS 236542 HAS SOUS 194824 HAS SOUPS 194824 WITH SCORE 195060.542
AT ITER 1919 NEW BEST:: SOT 441847 SOS 236461 HAS SOPS 236461 HAS SOUS 194743 HAS SOUPS 194743 WITH SCORE 194979.461
AT ITER 1927 NEW BEST:: SOT 441657 SOS 236157 HAS SOPS 236157 HAS SOUS 194439 HAS SOUPS 194439 WITH SCORE 194675.157
AT ITER 1937 NEW BEST:: SOT 441327 SOS 233986 HAS SOPS 233986 HAS SOUS 193819 HAS SOUPS 193819 WITH SCORE 194052.986
AT ITER 1970 NEW BEST:: SOT 441313 SOS 233972 HAS SOPS 233972 HAS SOUS 193805 HAS SOUPS 193805 WITH SCORE 194038.972
AT ITER 1982 NEW BEST:: SOT 441100 SOS 233759 HAS SOPS 233759 HAS SOUS 193708 HAS SOUPS 193708 WITH SCORE 193941.759
AT ITER 1983 NEW BEST:: SOT 441058 SOS 232681 HAS SOPS 232681 HAS SOUS 193674 HAS SOUPS 193674 WITH SCORE 193906.681
AT ITER 1994 NEW BEST:: SOT 441058 SOS 232676 HAS SOPS 232676 HAS SOUS 193673 HAS SOUPS 193673 WITH SCORE 193905.676
AT ITER 1997 NEW BEST:: SOT 440738 SOS 232113 HAS SOPS 232113 HAS SOUS 193232 HAS SOUPS 193232 WITH SCORE 193464.113
AT ITER 2002 NEW BEST:: SOT 440881 SOS 232117 HAS SOPS 232117 HAS SOUS 193215 HAS SOUPS 193215 WITH SCORE 193447.117
AT ITER 2005 NEW BEST:: SOT 440744 SOS 231978 HAS SOPS 231978 HAS SOUS 193076 HAS SOUPS 193076 WITH SCORE 193307.978
AT ITER 2013 NEW BEST:: SOT 440806 SOS 231975 HAS SOPS 231975 HAS SOUS 193073 HAS SOUPS 193073 WITH SCORE 193304.975
AT ITER 2026 NEW BEST:: SOT 440740 SOS 231876 HAS SOPS 231876 HAS SOUS 192974 HAS SOUPS 192974 WITH SCORE 193205.876
AT ITER 2027 NEW BEST:: SOT 440923 SOS 231689 HAS SOPS 231689 HAS SOUS 192211 HAS SOUPS 192211 WITH SCORE 192442.689
AT ITER 2030 NEW BEST:: SOT 440746 SOS 231512 HAS SOPS 231512 HAS SOUS 192034 HAS SOUPS 192034 WITH SCORE 192265.512
AT ITER 2042 NEW BEST:: SOT 441024 SOS 231685 HAS SOPS 231685 HAS SOUS 192020 HAS SOUPS 192020 WITH SCORE 192251.685
AT ITER 2044 NEW BEST:: SOT 441020 SOS 231665 HAS SOPS 231665 HAS SOUS 192000 HAS SOUPS 192000 WITH SCORE 192231.665
AT ITER 2060 NEW BEST:: SOT 441019 SOS 231414 HAS SOPS 231414 HAS SOUS 191936 HAS SOUPS 191936 WITH SCORE 192167.414
AT ITER 2063 NEW BEST:: SOT 440999 SOS 231197 HAS SOPS 231197 HAS SOUS 191600 HAS SOUPS 191600 WITH SCORE 191831.197
AT ITER 2066 NEW BEST:: SOT 440870 SOS 230784 HAS SOPS 230784 HAS SOUS 191258 HAS SOUPS 191258 WITH SCORE 191488.784
AT ITER 2102 NEW BEST:: SOT 440855 SOS 230769 HAS SOPS 230769 HAS SOUS 191243 HAS SOUPS 191243 WITH SCORE 191473.769
AT ITER 2123 NEW BEST:: SOT 440859 SOS 230769 HAS SOPS 230769 HAS SOUS 191236 HAS SOUPS 191236 WITH SCORE 191466.769
AT ITER 2129 NEW BEST:: SOT 441026 SOS 230064 HAS SOPS 230064 HAS SOUS 191111 HAS SOUPS 191111 WITH SCORE 191341.064
AT ITER 2133 NEW BEST:: SOT 441025 SOS 230063 HAS SOPS 230063 HAS SOUS 191110 HAS SOUPS 191110 WITH SCORE 191340.063
AT ITER 2139 NEW BEST:: SOT 440839 SOS 229877 HAS SOPS 229877 HAS SOUS 190924 HAS SOUPS 190924 WITH SCORE 191153.877
AT ITER 2154 NEW BEST:: SOT 440723 SOS 229782 HAS SOPS 229782 HAS SOUS 190870 HAS SOUPS 190870 WITH SCORE 191099.782
AT ITER 2155 NEW BEST:: SOT 440657 SOS 229629 HAS SOPS 229629 HAS SOUS 190816 HAS SOUPS 190816 WITH SCORE 191045.629
AT ITER 2157 NEW BEST:: SOT 440621 SOS 229593 HAS SOPS 229593 HAS SOUS 190780 HAS SOUPS 190780 WITH SCORE 191009.593
AT ITER 2160 NEW BEST:: SOT 440746 SOS 229555 HAS SOPS 229555 HAS SOUS 190637 HAS SOUPS 190637 WITH SCORE 190866.555
AT ITER 2196 NEW BEST:: SOT 440806 SOS 229511 HAS SOPS 229511 HAS SOUS 190593 HAS SOUPS 190593 WITH SCORE 190822.511
AT ITER 2202 NEW BEST:: SOT 440806 SOS 229149 HAS SOPS 229149 HAS SOUS 190325 HAS SOUPS 190325 WITH SCORE 190554.149
AT ITER 2203 NEW BEST:: SOT 440781 SOS 229124 HAS SOPS 229124 HAS SOUS 190300 HAS SOUPS 190300 WITH SCORE 190529.124
AT ITER 2220 NEW BEST:: SOT 440638 SOS 228979 HAS SOPS 228979 HAS SOUS 190155 HAS SOUPS 190155 WITH SCORE 190383.979
AT ITER 2222 NEW BEST:: SOT 440610 SOS 228951 HAS SOPS 228951 HAS SOUS 190127 HAS SOUPS 190127 WITH SCORE 190355.951
AT ITER 2234 NEW BEST:: SOT 440640 SOS 227892 HAS SOPS 227892 HAS SOUS 190019 HAS SOUPS 190019 WITH SCORE 190246.892
AT ITER 2236 NEW BEST:: SOT 440760 SOS 228012 HAS SOPS 228012 HAS SOUS 190018 HAS SOUPS 190018 WITH SCORE 190246.012
AT ITER 2238 NEW BEST:: SOT 440640 SOS 227772 HAS SOPS 227772 HAS SOUS 189778 HAS SOUPS 189778 WITH SCORE 190005.772
AT ITER 2239 NEW BEST:: SOT 440598 SOS 227707 HAS SOPS 227707 HAS SOUS 189564 HAS SOUPS 189564 WITH SCORE 189791.707
AT ITER 2253 NEW BEST:: SOT 440580 SOS 227689 HAS SOPS 227689 HAS SOUS 189552 HAS SOUPS 189552 WITH SCORE 189779.689
AT ITER 2254 NEW BEST:: SOT 440597 SOS 227112 HAS SOPS 227112 HAS SOUS 189459 HAS SOUPS 189459 WITH SCORE 189686.112
AT ITER 2259 NEW BEST:: SOT 440770 SOS 227321 HAS SOPS 227321 HAS SOUS 189373 HAS SOUPS 189373 WITH SCORE 189600.321
AT ITER 2266 NEW BEST:: SOT 440770 SOS 227294 HAS SOPS 227294 HAS SOUS 189343 HAS SOUPS 189343 WITH SCORE 189570.294
AT ITER 2270 NEW BEST:: SOT 440757 SOS 227281 HAS SOPS 227281 HAS SOUS 189330 HAS SOUPS 189330 WITH SCORE 189557.281
AT ITER 2271 NEW BEST:: SOT 440817 SOS 226891 HAS SOPS 226891 HAS SOUS 189118 HAS SOUPS 189118 WITH SCORE 189344.891
AT ITER 2295 NEW BEST:: SOT 440951 SOS 226855 HAS SOPS 226855 HAS SOUS 189082 HAS SOUPS 189082 WITH SCORE 189308.855
AT ITER 2307 NEW BEST:: SOT 440793 SOS 226873 HAS SOPS 226873 HAS SOUS 188991 HAS SOUPS 188991 WITH SCORE 189217.873
AT ITER 2316 NEW BEST:: SOT 440930 SOS 226747 HAS SOPS 226747 HAS SOUS 188819 HAS SOUPS 188819 WITH SCORE 189045.747
AT ITER 2317 NEW BEST:: SOT 441118 SOS 226775 HAS SOPS 226775 HAS SOUS 188759 HAS SOUPS 188759 WITH SCORE 188985.775
AT ITER 2335 NEW BEST:: SOT 440644 SOS 226299 HAS SOPS 226299 HAS SOUS 188283 HAS SOUPS 188283 WITH SCORE 188509.299
AT ITER 2336 NEW BEST:: SOT 440567 SOS 226141 HAS SOPS 226141 HAS SOUS 188125 HAS SOUPS 188125 WITH SCORE 188351.141
AT ITER 2349 NEW BEST:: SOT 440545 SOS 226008 HAS SOPS 226008 HAS SOUS 187992 HAS SOUPS 187992 WITH SCORE 188218.008
AT ITER 2352 NEW BEST:: SOT 440453 SOS 225906 HAS SOPS 225906 HAS SOUS 187884 HAS SOUPS 187884 WITH SCORE 188109.906
AT ITER 2357 NEW BEST:: SOT 440367 SOS 225820 HAS SOPS 225820 HAS SOUS 187798 HAS SOUPS 187798 WITH SCORE 188023.82
AT ITER 2360 NEW BEST:: SOT 440321 SOS 225728 HAS SOPS 225728 HAS SOUS 187706 HAS SOUPS 187706 WITH SCORE 187931.728
AT ITER 2361 NEW BEST:: SOT 440315 SOS 225722 HAS SOPS 225722 HAS SOUS 187700 HAS SOUPS 187700 WITH SCORE 187925.722
AT ITER 2386 NEW BEST:: SOT 440313 SOS 225700 HAS SOPS 225700 HAS SOUS 187690 HAS SOUPS 187690 WITH SCORE 187915.7
AT ITER 2396 NEW BEST:: SOT 440253 SOS 225610 HAS SOPS 225610 HAS SOUS 187600 HAS SOUPS 187600 WITH SCORE 187825.61
AT ITER 2399 NEW BEST:: SOT 439975 SOS 225332 HAS SOPS 225332 HAS SOUS 187322 HAS SOUPS 187322 WITH SCORE 187547.332
AT ITER 2404 NEW BEST:: SOT 439665 SOS 224920 HAS SOPS 224920 HAS SOUS 186923 HAS SOUPS 186923 WITH SCORE 187147.92
AT ITER 2423 NEW BEST:: SOT 439475 SOS 224706 HAS SOPS 224706 HAS SOUS 186709 HAS SOUPS 186709 WITH SCORE 186933.706
AT ITER 2427 NEW BEST:: SOT 439161 SOS 224516 HAS SOPS 224516 HAS SOUS 186482 HAS SOUPS 186482 WITH SCORE 186706.516
AT ITER 2443 NEW BEST:: SOT 439161 SOS 224513 HAS SOPS 224513 HAS SOUS 186480 HAS SOUPS 186480 WITH SCORE 186704.513
AT ITER 2461 NEW BEST:: SOT 439105 SOS 224457 HAS SOPS 224457 HAS SOUS 186424 HAS SOUPS 186424 WITH SCORE 186648.457
AT ITER 2462 NEW BEST:: SOT 439001 SOS 224145 HAS SOPS 224145 HAS SOUS 186424 HAS SOUPS 186424 WITH SCORE 186648.145
AT ITER 2464 NEW BEST:: SOT 438997 SOS 224141 HAS SOPS 224141 HAS SOUS 186420 HAS SOUPS 186420 WITH SCORE 186644.141
AT ITER 2469 NEW BEST:: SOT 438988 SOS 224132 HAS SOPS 224132 HAS SOUS 186402 HAS SOUPS 186402 WITH SCORE 186626.132
AT ITER 2470 NEW BEST:: SOT 438974 SOS 224118 HAS SOPS 224118 HAS SOUS 186388 HAS SOUPS 186388 WITH SCORE 186612.118
AT ITER 2485 NEW BEST:: SOT 438757 SOS 224073 HAS SOPS 224073 HAS SOUS 186383 HAS SOUPS 186383 WITH SCORE 186607.073
AT ITER 2486 NEW BEST:: SOT 438482 SOS 222370 HAS SOPS 222370 HAS SOUS 185646 HAS SOUPS 185646 WITH SCORE 185868.37
AT ITER 2498 NEW BEST:: SOT 438482 SOS 222366 HAS SOPS 222366 HAS SOUS 185640 HAS SOUPS 185640 WITH SCORE 185862.366
AT ITER 2510 NEW BEST:: SOT 438507 SOS 222245 HAS SOPS 222245 HAS SOUS 185549 HAS SOUPS 185549 WITH SCORE 185771.245
AT ITER 2517 NEW BEST:: SOT 437714 SOS 220168 HAS SOPS 220168 HAS SOUS 183911 HAS SOUPS 183911 WITH SCORE 184131.168
AT ITER 2521 NEW BEST:: SOT 437670 SOS 220025 HAS SOPS 220025 HAS SOUS 183834 HAS SOUPS 183834 WITH SCORE 184054.025
AT ITER 2530 NEW BEST:: SOT 437456 SOS 218429 HAS SOPS 218429 HAS SOUS 183373 HAS SOUPS 183373 WITH SCORE 183591.429
AT ITER 2536 NEW BEST:: SOT 437456 SOS 218566 HAS SOPS 218566 HAS SOUS 183364 HAS SOUPS 183364 WITH SCORE 183582.566
AT ITER 2540 NEW BEST:: SOT 437545 SOS 217800 HAS SOPS 217800 HAS SOUS 183093 HAS SOUPS 183093 WITH SCORE 183310.8
AT ITER 2551 NEW BEST:: SOT 437938 SOS 217079 HAS SOPS 217079 HAS SOUS 182674 HAS SOUPS 182674 WITH SCORE 182891.079
AT ITER 2555 NEW BEST:: SOT 437938 SOS 217043 HAS SOPS 217043 HAS SOUS 182620 HAS SOUPS 182620 WITH SCORE 182837.043
AT ITER 2559 NEW BEST:: SOT 437952 SOS 217028 HAS SOPS 217028 HAS SOUS 182532 HAS SOUPS 182532 WITH SCORE 182749.028
AT ITER 2561 NEW BEST:: SOT 437952 SOS 216969 HAS SOPS 216969 HAS SOUS 182486 HAS SOUPS 182486 WITH SCORE 182702.969
AT ITER 2562 NEW BEST:: SOT 438061 SOS 217021 HAS SOPS 217021 HAS SOUS 182459 HAS SOUPS 182459 WITH SCORE 182676.021
AT ITER 2575 NEW BEST:: SOT 438072 SOS 216834 HAS SOPS 216834 HAS SOUS 182449 HAS SOUPS 182449 WITH SCORE 182665.834
AT ITER 2589 NEW BEST:: SOT 437915 SOS 216677 HAS SOPS 216677 HAS SOUS 182292 HAS SOUPS 182292 WITH SCORE 182508.677
AT ITER 2606 NEW BEST:: SOT 437915 SOS 216170 HAS SOPS 216170 HAS SOUS 181943 HAS SOUPS 181943 WITH SCORE 182159.17
AT ITER 2623 NEW BEST:: SOT 437876 SOS 216159 HAS SOPS 216159 HAS SOUS 181932 HAS SOUPS 181932 WITH SCORE 182148.159
AT ITER 2627 NEW BEST:: SOT 437847 SOS 215802 HAS SOPS 215802 HAS SOUS 181767 HAS SOUPS 181767 WITH SCORE 181982.802
AT ITER 2632 NEW BEST:: SOT 437643 SOS 215598 HAS SOPS 215598 HAS SOUS 181563 HAS SOUPS 181563 WITH SCORE 181778.598
AT ITER 2634 NEW BEST:: SOT 437650 SOS 215584 HAS SOPS 215584 HAS SOUS 181549 HAS SOUPS 181549 WITH SCORE 181764.584
AT ITER 2642 NEW BEST:: SOT 437617 SOS 215523 HAS SOPS 215523 HAS SOUS 181488 HAS SOUPS 181488 WITH SCORE 181703.523
AT ITER 2645 NEW BEST:: SOT 437457 SOS 215203 HAS SOPS 215203 HAS SOUS 181168 HAS SOUPS 181168 WITH SCORE 181383.203
AT ITER 2661 NEW BEST:: SOT 437535 SOS 214932 HAS SOPS 214932 HAS SOUS 181037 HAS SOUPS 181037 WITH SCORE 181251.932
AT ITER 2694 NEW BEST:: SOT 437504 SOS 214832 HAS SOPS 214832 HAS SOUS 180937 HAS SOUPS 180937 WITH SCORE 181151.832
AT ITER 2697 NEW BEST:: SOT 437483 SOS 214718 HAS SOPS 214718 HAS SOUS 180909 HAS SOUPS 180909 WITH SCORE 181123.718
AT ITER 2701 NEW BEST:: SOT 437463 SOS 214698 HAS SOPS 214698 HAS SOUS 180889 HAS SOUPS 180889 WITH SCORE 181103.698
AT ITER 2709 NEW BEST:: SOT 437198 SOS 214433 HAS SOPS 214433 HAS SOUS 180624 HAS SOUPS 180624 WITH SCORE 180838.433
AT ITER 2718 NEW BEST:: SOT 437048 SOS 213530 HAS SOPS 213530 HAS SOUS 179860 HAS SOUPS 179860 WITH SCORE 180073.53
AT ITER 2723 NEW BEST:: SOT 437284 SOS 212968 HAS SOPS 212968 HAS SOUS 179422 HAS SOUPS 179422 WITH SCORE 179634.968
AT ITER 2729 NEW BEST:: SOT 437241 SOS 212682 HAS SOPS 212682 HAS SOUS 178797 HAS SOUPS 178797 WITH SCORE 179009.682
AT ITER 2740 NEW BEST:: SOT 437114 SOS 212555 HAS SOPS 212555 HAS SOUS 178754 HAS SOUPS 178754 WITH SCORE 178966.555
AT ITER 2742 NEW BEST:: SOT 437019 SOS 212426 HAS SOPS 212426 HAS SOUS 178596 HAS SOUPS 178596 WITH SCORE 178808.426
AT ITER 2752 NEW BEST:: SOT 436779 SOS 212186 HAS SOPS 212186 HAS SOUS 178356 HAS SOUPS 178356 WITH SCORE 178568.186
AT ITER 2765 NEW BEST:: SOT 436779 SOS 212169 HAS SOPS 212169 HAS SOUS 178350 HAS SOUPS 178350 WITH SCORE 178562.169
AT ITER 2773 NEW BEST:: SOT 436792 SOS 212012 HAS SOPS 212012 HAS SOUS 178023 HAS SOUPS 178023 WITH SCORE 178235.012
AT ITER 2786 NEW BEST:: SOT 436931 SOS 212288 HAS SOPS 212288 HAS SOUS 178021 HAS SOUPS 178021 WITH SCORE 178233.288
AT ITER 2792 NEW BEST:: SOT 436570 SOS 211927 HAS SOPS 211927 HAS SOUS 177660 HAS SOUPS 177660 WITH SCORE 177871.927
AT ITER 2794 NEW BEST:: SOT 436566 SOS 211923 HAS SOPS 211923 HAS SOUS 177656 HAS SOUPS 177656 WITH SCORE 177867.923
AT ITER 2796 NEW BEST:: SOT 436559 SOS 211905 HAS SOPS 211905 HAS SOUS 177638 HAS SOUPS 177638 WITH SCORE 177849.905
AT ITER 2798 NEW BEST:: SOT 436479 SOS 211825 HAS SOPS 211825 HAS SOUS 177558 HAS SOUPS 177558 WITH SCORE 177769.825
AT ITER 2805 NEW BEST:: SOT 436483 SOS 212185 HAS SOPS 212185 HAS SOUS 177549 HAS SOUPS 177549 WITH SCORE 177761.185
AT ITER 2806 NEW BEST:: SOT 436472 SOS 212174 HAS SOPS 212174 HAS SOUS 177538 HAS SOUPS 177538 WITH SCORE 177750.174
AT ITER 2813 NEW BEST:: SOT 436472 SOS 212202 HAS SOPS 212202 HAS SOUS 177521 HAS SOUPS 177521 WITH SCORE 177733.202
AT ITER 2818 NEW BEST:: SOT 436598 SOS 212101 HAS SOPS 212101 HAS SOUS 177364 HAS SOUPS 177364 WITH SCORE 177576.101
AT ITER 2821 NEW BEST:: SOT 436400 SOS 211903 HAS SOPS 211903 HAS SOUS 177040 HAS SOUPS 177040 WITH SCORE 177251.903
AT ITER 2827 NEW BEST:: SOT 436399 SOS 211901 HAS SOPS 211901 HAS SOUS 177038 HAS SOUPS 177038 WITH SCORE 177249.901
AT ITER 2840 NEW BEST:: SOT 436375 SOS 211877 HAS SOPS 211877 HAS SOUS 177014 HAS SOUPS 177014 WITH SCORE 177225.877
AT ITER 2847 NEW BEST:: SOT 436351 SOS 211829 HAS SOPS 211829 HAS SOUS 176966 HAS SOUPS 176966 WITH SCORE 177177.829
AT ITER 2862 NEW BEST:: SOT 436087 SOS 210325 HAS SOPS 210325 HAS SOUS 175813 HAS SOUPS 175813 WITH SCORE 176023.325
AT ITER 2864 NEW BEST:: SOT 435764 SOS 208905 HAS SOPS 208905 HAS SOUS 175079 HAS SOUPS 175079 WITH SCORE 175287.905
AT ITER 2866 NEW BEST:: SOT 435722 SOS 208708 HAS SOPS 208708 HAS SOUS 175024 HAS SOUPS 175024 WITH SCORE 175232.708
AT ITER 2869 NEW BEST:: SOT 435519 SOS 208505 HAS SOPS 208505 HAS SOUS 174821 HAS SOUPS 174821 WITH SCORE 175029.505
AT ITER 2891 NEW BEST:: SOT 435452 SOS 208349 HAS SOPS 208349 HAS SOUS 174605 HAS SOUPS 174605 WITH SCORE 174813.349
AT ITER 2911 NEW BEST:: SOT 435410 SOS 208307 HAS SOPS 208307 HAS SOUS 174563 HAS SOUPS 174563 WITH SCORE 174771.307
AT ITER 2915 NEW BEST:: SOT 435357 SOS 208246 HAS SOPS 208246 HAS SOUS 174503 HAS SOUPS 174503 WITH SCORE 174711.246
AT ITER 2930 NEW BEST:: SOT 435157 SOS 208146 HAS SOPS 208146 HAS SOUS 174403 HAS SOUPS 174403 WITH SCORE 174611.146
AT ITER 2934 NEW BEST:: SOT 435147 SOS 208136 HAS SOPS 208136 HAS SOUS 174393 HAS SOUPS 174393 WITH SCORE 174601.136
AT ITER 2942 NEW BEST:: SOT 435073 SOS 208035 HAS SOPS 208035 HAS SOUS 174292 HAS SOUPS 174292 WITH SCORE 174500.035
AT ITER 2953 NEW BEST:: SOT 435071 SOS 208033 HAS SOPS 208033 HAS SOUS 174290 HAS SOUPS 174290 WITH SCORE 174498.033
AT ITER 2984 NEW BEST:: SOT 435116 SOS 208033 HAS SOPS 208033 HAS SOUS 174250 HAS SOUPS 174250 WITH SCORE 174458.033
AT ITER 2998 NEW BEST:: SOT 435065 SOS 208356 HAS SOPS 208356 HAS SOUS 173964 HAS SOUPS 173964 WITH SCORE 174172.356
AT ITER 3004 NEW BEST:: SOT 435007 SOS 208298 HAS SOPS 208298 HAS SOUS 173906 HAS SOUPS 173906 WITH SCORE 174114.298
AT ITER 3024 NEW BEST:: SOT 434991 SOS 208258 HAS SOPS 208258 HAS SOUS 173874 HAS SOUPS 173874 WITH SCORE 174082.258
AT ITER 3030 NEW BEST:: SOT 434975 SOS 208242 HAS SOPS 208242 HAS SOUS 173858 HAS SOUPS 173858 WITH SCORE 174066.242
AT ITER 3034 NEW BEST:: SOT 434860 SOS 208108 HAS SOPS 208108 HAS SOUS 173679 HAS SOUPS 173679 WITH SCORE 173887.108
AT ITER 3035 NEW BEST:: SOT 434900 SOS 208062 HAS SOPS 208062 HAS SOUS 173593 HAS SOUPS 173593 WITH SCORE 173801.062
AT ITER 3057 NEW BEST:: SOT 434728 SOS 207829 HAS SOPS 207829 HAS SOUS 173355 HAS SOUPS 173355 WITH SCORE 173562.829
AT ITER 3061 NEW BEST:: SOT 434722 SOS 207427 HAS SOPS 207427 HAS SOUS 173107 HAS SOUPS 173107 WITH SCORE 173314.427
AT ITER 3067 NEW BEST:: SOT 434678 SOS 207295 HAS SOPS 207295 HAS SOUS 173012 HAS SOUPS 173012 WITH SCORE 173219.295
AT ITER 3070 NEW BEST:: SOT 434665 SOS 207269 HAS SOPS 207269 HAS SOUS 173012 HAS SOUPS 173012 WITH SCORE 173219.269
AT ITER 3071 NEW BEST:: SOT 434660 SOS 207264 HAS SOPS 207264 HAS SOUS 173007 HAS SOUPS 173007 WITH SCORE 173214.264
AT ITER 3074 NEW BEST:: SOT 434533 SOS 206926 HAS SOPS 206926 HAS SOUS 172670 HAS SOUPS 172670 WITH SCORE 172876.926
AT ITER 3077 NEW BEST:: SOT 434413 SOS 206939 HAS SOPS 206939 HAS SOUS 172623 HAS SOUPS 172623 WITH SCORE 172829.939
AT ITER 3102 NEW BEST:: SOT 434391 SOS 206917 HAS SOPS 206917 HAS SOUS 172601 HAS SOUPS 172601 WITH SCORE 172807.917
AT ITER 3122 NEW BEST:: SOT 434490 SOS 206790 HAS SOPS 206790 HAS SOUS 172474 HAS SOUPS 172474 WITH SCORE 172680.79
AT ITER 3123 NEW BEST:: SOT 434490 SOS 206506 HAS SOPS 206506 HAS SOUS 172406 HAS SOUPS 172406 WITH SCORE 172612.506
AT ITER 3127 NEW BEST:: SOT 434490 SOS 206495 HAS SOPS 206495 HAS SOUS 172391 HAS SOUPS 172391 WITH SCORE 172597.495
AT ITER 3129 NEW BEST:: SOT 434413 SOS 206349 HAS SOPS 206349 HAS SOUS 172173 HAS SOUPS 172173 WITH SCORE 172379.349
AT ITER 3133 NEW BEST:: SOT 434559 SOS 206495 HAS SOPS 206495 HAS SOUS 172108 HAS SOUPS 172108 WITH SCORE 172314.495
AT ITER 3145 NEW BEST:: SOT 434514 SOS 206445 HAS SOPS 206445 HAS SOUS 172058 HAS SOUPS 172058 WITH SCORE 172264.445
AT ITER 3149 NEW BEST:: SOT 434514 SOS 206391 HAS SOPS 206391 HAS SOUS 172026 HAS SOUPS 172026 WITH SCORE 172232.391
AT ITER 3153 NEW BEST:: SOT 434355 SOS 206143 HAS SOPS 206143 HAS SOUS 171777 HAS SOUPS 171777 WITH SCORE 171983.143
AT ITER 3154 NEW BEST:: SOT 434259 SOS 206047 HAS SOPS 206047 HAS SOUS 171681 HAS SOUPS 171681 WITH SCORE 171887.047
AT ITER 3162 NEW BEST:: SOT 434107 SOS 205890 HAS SOPS 205890 HAS SOUS 171354 HAS SOUPS 171354 WITH SCORE 171559.89
AT ITER 3167 NEW BEST:: SOT 434107 SOS 205612 HAS SOPS 205612 HAS SOUS 171354 HAS SOUPS 171354 WITH SCORE 171559.612
AT ITER 3173 NEW BEST:: SOT 434107 SOS 205501 HAS SOPS 205501 HAS SOUS 171354 HAS SOUPS 171354 WITH SCORE 171559.501
AT ITER 3174 NEW BEST:: SOT 433813 SOS 205008 HAS SOPS 205008 HAS SOUS 170861 HAS SOUPS 170861 WITH SCORE 171066.008
AT ITER 3201 NEW BEST:: SOT 433813 SOS 204980 HAS SOPS 204980 HAS SOUS 170833 HAS SOUPS 170833 WITH SCORE 171037.98
AT ITER 3206 NEW BEST:: SOT 433813 SOS 204821 HAS SOPS 204821 HAS SOUS 170787 HAS SOUPS 170787 WITH SCORE 170991.821
AT ITER 3207 NEW BEST:: SOT 433851 SOS 204822 HAS SOPS 204822 HAS SOUS 170597 HAS SOUPS 170597 WITH SCORE 170801.822
AT ITER 3224 NEW BEST:: SOT 433671 SOS 204535 HAS SOPS 204535 HAS SOUS 170310 HAS SOUPS 170310 WITH SCORE 170514.535
AT ITER 3226 NEW BEST:: SOT 433535 SOS 204057 HAS SOPS 204057 HAS SOUS 170040 HAS SOUPS 170040 WITH SCORE 170244.057
AT ITER 3267 NEW BEST:: SOT 433355 SOS 204033 HAS SOPS 204033 HAS SOUS 170016 HAS SOUPS 170016 WITH SCORE 170220.033
AT ITER 3272 NEW BEST:: SOT 433103 SOS 203262 HAS SOPS 203262 HAS SOUS 170014 HAS SOUPS 170014 WITH SCORE 170217.262
AT ITER 3287 NEW BEST:: SOT 433141 SOS 202901 HAS SOPS 202901 HAS SOUS 169644 HAS SOUPS 169644 WITH SCORE 169846.901
AT ITER 3295 NEW BEST:: SOT 433139 SOS 202899 HAS SOPS 202899 HAS SOUS 169642 HAS SOUPS 169642 WITH SCORE 169844.899
AT ITER 3302 NEW BEST:: SOT 433236 SOS 202160 HAS SOPS 202160 HAS SOUS 168947 HAS SOUPS 168947 WITH SCORE 169149.16
AT ITER 3305 NEW BEST:: SOT 433249 SOS 201873 HAS SOPS 201873 HAS SOUS 168934 HAS SOUPS 168934 WITH SCORE 169135.873
AT ITER 3306 NEW BEST:: SOT 433249 SOS 201872 HAS SOPS 201872 HAS SOUS 168933 HAS SOUPS 168933 WITH SCORE 169134.872
AT ITER 3312 NEW BEST:: SOT 433145 SOS 201768 HAS SOPS 201768 HAS SOUS 168829 HAS SOUPS 168829 WITH SCORE 169030.768
AT ITER 3323 NEW BEST:: SOT 433105 SOS 201991 HAS SOPS 201991 HAS SOUS 168723 HAS SOUPS 168723 WITH SCORE 168924.991
AT ITER 3362 NEW BEST:: SOT 433055 SOS 201941 HAS SOPS 201941 HAS SOUS 168673 HAS SOUPS 168673 WITH SCORE 168874.941
AT ITER 3366 NEW BEST:: SOT 433080 SOS 201907 HAS SOPS 201907 HAS SOUS 168639 HAS SOUPS 168639 WITH SCORE 168840.907
AT ITER 3377 NEW BEST:: SOT 432917 SOS 201744 HAS SOPS 201744 HAS SOUS 168476 HAS SOUPS 168476 WITH SCORE 168677.744
AT ITER 3392 NEW BEST:: SOT 432934 SOS 201740 HAS SOPS 201740 HAS SOUS 168472 HAS SOUPS 168472 WITH SCORE 168673.74
AT ITER 3406 NEW BEST:: SOT 433307 SOS 201694 HAS SOPS 201694 HAS SOUS 168426 HAS SOUPS 168426 WITH SCORE 168627.694
AT ITER 3410 NEW BEST:: SOT 433000 SOS 201295 HAS SOPS 201295 HAS SOUS 168027 HAS SOUPS 168027 WITH SCORE 168228.295
AT ITER 3415 NEW BEST:: SOT 433000 SOS 201532 HAS SOPS 201532 HAS SOUS 167986 HAS SOUPS 167986 WITH SCORE 168187.532
AT ITER 3421 NEW BEST:: SOT 432954 SOS 201394 HAS SOPS 201394 HAS SOUS 167894 HAS SOUPS 167894 WITH SCORE 168095.394
AT ITER 3423 NEW BEST:: SOT 432883 SOS 201213 HAS SOPS 201213 HAS SOUS 167750 HAS SOUPS 167750 WITH SCORE 167951.213
AT ITER 3424 NEW BEST:: SOT 432857 SOS 201184 HAS SOPS 201184 HAS SOUS 167720 HAS SOUPS 167720 WITH SCORE 167921.184
AT ITER 3438 NEW BEST:: SOT 432607 SOS 200934 HAS SOPS 200934 HAS SOUS 167470 HAS SOUPS 167470 WITH SCORE 167670.934
AT ITER 3440 NEW BEST:: SOT 432504 SOS 200757 HAS SOPS 200757 HAS SOUS 167318 HAS SOUPS 167318 WITH SCORE 167518.757
AT ITER 3441 NEW BEST:: SOT 432489 SOS 200734 HAS SOPS 200734 HAS SOUS 167099 HAS SOUPS 167099 WITH SCORE 167299.734
AT ITER 3451 NEW BEST:: SOT 432488 SOS 200733 HAS SOPS 200733 HAS SOUS 167096 HAS SOUPS 167096 WITH SCORE 167296.733
AT ITER 3467 NEW BEST:: SOT 432410 SOS 200591 HAS SOPS 200591 HAS SOUS 166986 HAS SOUPS 166986 WITH SCORE 167186.591
AT ITER 3477 NEW BEST:: SOT 432323 SOS 200504 HAS SOPS 200504 HAS SOUS 166820 HAS SOUPS 166820 WITH SCORE 167020.504
AT ITER 3482 NEW BEST:: SOT 432322 SOS 200503 HAS SOPS 200503 HAS SOUS 166819 HAS SOUPS 166819 WITH SCORE 167019.503
AT ITER 3487 NEW BEST:: SOT 432305 SOS 200486 HAS SOPS 200486 HAS SOUS 166802 HAS SOUPS 166802 WITH SCORE 167002.486
AT ITER 3489 NEW BEST:: SOT 432302 SOS 200483 HAS SOPS 200483 HAS SOUS 166757 HAS SOUPS 166757 WITH SCORE 166957.483
AT ITER 3517 NEW BEST:: SOT 432332 SOS 200513 HAS SOPS 200513 HAS SOUS 166724 HAS SOUPS 166724 WITH SCORE 166924.513
AT ITER 3525 NEW BEST:: SOT 432222 SOS 200339 HAS SOPS 200339 HAS SOUS 166550 HAS SOUPS 166550 WITH SCORE 166750.339
AT ITER 3550 NEW BEST:: SOT 432222 SOS 199795 HAS SOPS 199795 HAS SOUS 166122 HAS SOUPS 166122 WITH SCORE 166321.795
AT ITER 3561 NEW BEST:: SOT 432209 SOS 199556 HAS SOPS 199556 HAS SOUS 165961 HAS SOUPS 165961 WITH SCORE 166160.556
AT ITER 3563 NEW BEST:: SOT 432047 SOS 199277 HAS SOPS 199277 HAS SOUS 165766 HAS SOUPS 165766 WITH SCORE 165965.277
AT ITER 3566 NEW BEST:: SOT 432002 SOS 199525 HAS SOPS 199525 HAS SOUS 165715 HAS SOUPS 165715 WITH SCORE 165914.525
AT ITER 3570 NEW BEST:: SOT 432002 SOS 199522 HAS SOPS 199522 HAS SOUS 165714 HAS SOUPS 165714 WITH SCORE 165913.522
AT ITER 3601 NEW BEST:: SOT 431900 SOS 199295 HAS SOPS 199295 HAS SOUS 165481 HAS SOUPS 165481 WITH SCORE 165680.295
AT ITER 3611 NEW BEST:: SOT 431875 SOS 199270 HAS SOPS 199270 HAS SOUS 165456 HAS SOUPS 165456 WITH SCORE 165655.27
AT ITER 3616 NEW BEST:: SOT 431902 SOS 199297 HAS SOPS 199297 HAS SOUS 165440 HAS SOUPS 165440 WITH SCORE 165639.297
AT ITER 3618 NEW BEST:: SOT 431470 SOS 198982 HAS SOPS 198982 HAS SOUS 165232 HAS SOUPS 165232 WITH SCORE 165430.982
AT ITER 3625 NEW BEST:: SOT 431469 SOS 198962 HAS SOPS 198962 HAS SOUS 165228 HAS SOUPS 165228 WITH SCORE 165426.962
AT ITER 3636 NEW BEST:: SOT 431440 SOS 198933 HAS SOPS 198933 HAS SOUS 165199 HAS SOUPS 165199 WITH SCORE 165397.933
AT ITER 3648 NEW BEST:: SOT 431440 SOS 198919 HAS SOPS 198919 HAS SOUS 165186 HAS SOUPS 165186 WITH SCORE 165384.919
AT ITER 3657 NEW BEST:: SOT 431393 SOS 198862 HAS SOPS 198862 HAS SOUS 165129 HAS SOUPS 165129 WITH SCORE 165327.862
AT ITER 3658 NEW BEST:: SOT 431144 SOS 197973 HAS SOPS 197973 HAS SOUS 164627 HAS SOUPS 164627 WITH SCORE 164824.973
AT ITER 3674 NEW BEST:: SOT 431016 SOS 197717 HAS SOPS 197717 HAS SOUS 164365 HAS SOUPS 164365 WITH SCORE 164562.717
AT ITER 3721 NEW BEST:: SOT 430705 SOS 196836 HAS SOPS 196836 HAS SOUS 163953 HAS SOUPS 163953 WITH SCORE 164149.836
AT ITER 3723 NEW BEST:: SOT 430779 SOS 196853 HAS SOPS 196853 HAS SOUS 163918 HAS SOUPS 163918 WITH SCORE 164114.853
AT ITER 3726 NEW BEST:: SOT 430629 SOS 196703 HAS SOPS 196703 HAS SOUS 163768 HAS SOUPS 163768 WITH SCORE 163964.703
AT ITER 3742 NEW BEST:: SOT 430629 SOS 196703 HAS SOPS 196703 HAS SOUS 163746 HAS SOUPS 163746 WITH SCORE 163942.703
AT ITER 3753 NEW BEST:: SOT 430304 SOS 195979 HAS SOPS 195979 HAS SOUS 163194 HAS SOUPS 163194 WITH SCORE 163389.979
AT ITER 3756 NEW BEST:: SOT 430220 SOS 195811 HAS SOPS 195811 HAS SOUS 163026 HAS SOUPS 163026 WITH SCORE 163221.811
AT ITER 3757 NEW BEST:: SOT 430154 SOS 195745 HAS SOPS 195745 HAS SOUS 162960 HAS SOUPS 162960 WITH SCORE 163155.745
AT ITER 3760 NEW BEST:: SOT 430235 SOS 195409 HAS SOPS 195409 HAS SOUS 162808 HAS SOUPS 162808 WITH SCORE 163003.409
AT ITER 3772 NEW BEST:: SOT 430143 SOS 194949 HAS SOPS 194949 HAS SOUS 162624 HAS SOUPS 162624 WITH SCORE 162818.949
AT ITER 3782 NEW BEST:: SOT 430036 SOS 194842 HAS SOPS 194842 HAS SOUS 162517 HAS SOUPS 162517 WITH SCORE 162711.842
AT ITER 3783 NEW BEST:: SOT 429708 SOS 194443 HAS SOPS 194443 HAS SOUS 162118 HAS SOUPS 162118 WITH SCORE 162312.443
AT ITER 3784 NEW BEST:: SOT 429637 SOS 194372 HAS SOPS 194372 HAS SOUS 162047 HAS SOUPS 162047 WITH SCORE 162241.372
AT ITER 3786 NEW BEST:: SOT 429623 SOS 194358 HAS SOPS 194358 HAS SOUS 162033 HAS SOUPS 162033 WITH SCORE 162227.358
AT ITER 3789 NEW BEST:: SOT 429611 SOS 194346 HAS SOPS 194346 HAS SOUS 162021 HAS SOUPS 162021 WITH SCORE 162215.346
AT ITER 3814 NEW BEST:: SOT 429611 SOS 194327 HAS SOPS 194327 HAS SOUS 162002 HAS SOUPS 162002 WITH SCORE 162196.327
AT ITER 3818 NEW BEST:: SOT 429611 SOS 194234 HAS SOPS 194234 HAS SOUS 161909 HAS SOUPS 161909 WITH SCORE 162103.234
AT ITER 3827 NEW BEST:: SOT 429611 SOS 194236 HAS SOPS 194236 HAS SOUS 161905 HAS SOUPS 161905 WITH SCORE 162099.236
AT ITER 3847 NEW BEST:: SOT 429477 SOS 194023 HAS SOPS 194023 HAS SOUS 161692 HAS SOUPS 161692 WITH SCORE 161886.023
AT ITER 3851 NEW BEST:: SOT 429477 SOS 194003 HAS SOPS 194003 HAS SOUS 161692 HAS SOUPS 161692 WITH SCORE 161886.003
AT ITER 3854 NEW BEST:: SOT 429477 SOS 193937 HAS SOPS 193937 HAS SOUS 161692 HAS SOUPS 161692 WITH SCORE 161885.937
AT ITER 3862 NEW BEST:: SOT 429443 SOS 193899 HAS SOPS 193899 HAS SOUS 161655 HAS SOUPS 161655 WITH SCORE 161848.899
AT ITER 3863 NEW BEST:: SOT 429397 SOS 193795 HAS SOPS 193795 HAS SOUS 161547 HAS SOUPS 161547 WITH SCORE 161740.795
AT ITER 3874 NEW BEST:: SOT 429397 SOS 193698 HAS SOPS 193698 HAS SOUS 161514 HAS SOUPS 161514 WITH SCORE 161707.698
AT ITER 3889 NEW BEST:: SOT 429387 SOS 193678 HAS SOPS 193678 HAS SOUS 161499 HAS SOUPS 161499 WITH SCORE 161692.678
AT ITER 3896 NEW BEST:: SOT 429387 SOS 193665 HAS SOPS 193665 HAS SOUS 161486 HAS SOUPS 161486 WITH SCORE 161679.665
AT ITER 3897 NEW BEST:: SOT 429288 SOS 193453 HAS SOPS 193453 HAS SOUS 161482 HAS SOUPS 161482 WITH SCORE 161675.453
AT ITER 3906 NEW BEST:: SOT 429363 SOS 193014 HAS SOPS 193014 HAS SOUS 161169 HAS SOUPS 161169 WITH SCORE 161362.014
AT ITER 3946 NEW BEST:: SOT 429079 SOS 192487 HAS SOPS 192487 HAS SOUS 160753 HAS SOUPS 160753 WITH SCORE 160945.487
AT ITER 3947 NEW BEST:: SOT 429021 SOS 192310 HAS SOPS 192310 HAS SOUS 160527 HAS SOUPS 160527 WITH SCORE 160719.31
AT ITER 3950 NEW BEST:: SOT 429013 SOS 192302 HAS SOPS 192302 HAS SOUS 160519 HAS SOUPS 160519 WITH SCORE 160711.302
AT ITER 3961 NEW BEST:: SOT 428957 SOS 191856 HAS SOPS 191856 HAS SOUS 160322 HAS SOUPS 160322 WITH SCORE 160513.856
AT ITER 3965 NEW BEST:: SOT 428795 SOS 191633 HAS SOPS 191633 HAS SOUS 160099 HAS SOUPS 160099 WITH SCORE 160290.633
AT ITER 3971 NEW BEST:: SOT 428949 SOS 191762 HAS SOPS 191762 HAS SOUS 160029 HAS SOUPS 160029 WITH SCORE 160220.762
AT ITER 3973 NEW BEST:: SOT 428999 SOS 191670 HAS SOPS 191670 HAS SOUS 159998 HAS SOUPS 159998 WITH SCORE 160189.67
AT ITER 3977 NEW BEST:: SOT 428909 SOS 191580 HAS SOPS 191580 HAS SOUS 159908 HAS SOUPS 159908 WITH SCORE 160099.58
AT ITER 3994 NEW BEST:: SOT 428909 SOS 191539 HAS SOPS 191539 HAS SOUS 159867 HAS SOUPS 159867 WITH SCORE 160058.539
AT ITER 4000 NEW BEST:: SOT 428907 SOS 191281 HAS SOPS 191281 HAS SOUS 159724 HAS SOUPS 159724 WITH SCORE 159915.281
AT ITER 4019 NEW BEST:: SOT 428911 SOS 191279 HAS SOPS 191279 HAS SOUS 159720 HAS SOUPS 159720 WITH SCORE 159911.279
AT ITER 4022 NEW BEST:: SOT 428856 SOS 191004 HAS SOPS 191004 HAS SOUS 159720 HAS SOUPS 159720 WITH SCORE 159911.004
AT ITER 4030 NEW BEST:: SOT 428670 SOS 190818 HAS SOPS 190818 HAS SOUS 159534 HAS SOUPS 159534 WITH SCORE 159724.818
AT ITER 4043 NEW BEST:: SOT 428689 SOS 190582 HAS SOPS 190582 HAS SOUS 159298 HAS SOUPS 159298 WITH SCORE 159488.582
AT ITER 4045 NEW BEST:: SOT 428591 SOS 190359 HAS SOPS 190359 HAS SOUS 159140 HAS SOUPS 159140 WITH SCORE 159330.359
AT ITER 4052 NEW BEST:: SOT 428543 SOS 190300 HAS SOPS 190300 HAS SOUS 159081 HAS SOUPS 159081 WITH SCORE 159271.3
AT ITER 4054 NEW BEST:: SOT 428182 SOS 189937 HAS SOPS 189937 HAS SOUS 158718 HAS SOUPS 158718 WITH SCORE 158907.937
AT ITER 4060 NEW BEST:: SOT 428117 SOS 189807 HAS SOPS 189807 HAS SOUS 158653 HAS SOUPS 158653 WITH SCORE 158842.807
AT ITER 4065 NEW BEST:: SOT 428374 SOS 188783 HAS SOPS 188783 HAS SOUS 158192 HAS SOUPS 158192 WITH SCORE 158380.783
AT ITER 4066 NEW BEST:: SOT 428374 SOS 188501 HAS SOPS 188501 HAS SOUS 158192 HAS SOUPS 158192 WITH SCORE 158380.501
AT ITER 4084 NEW BEST:: SOT 428374 SOS 188441 HAS SOPS 188441 HAS SOUS 158155 HAS SOUPS 158155 WITH SCORE 158343.441
AT ITER 4106 NEW BEST:: SOT 428378 SOS 188347 HAS SOPS 188347 HAS SOUS 158098 HAS SOUPS 158098 WITH SCORE 158286.347
AT ITER 4107 NEW BEST:: SOT 428378 SOS 187922 HAS SOPS 187922 HAS SOUS 158098 HAS SOUPS 158098 WITH SCORE 158285.922
AT ITER 4108 NEW BEST:: SOT 427632 SOS 187182 HAS SOPS 187182 HAS SOUS 157358 HAS SOUPS 157358 WITH SCORE 157545.182
AT ITER 4114 NEW BEST:: SOT 427547 SOS 187155 HAS SOPS 187155 HAS SOUS 157348 HAS SOUPS 157348 WITH SCORE 157535.155
AT ITER 4134 NEW BEST:: SOT 427515 SOS 186677 HAS SOPS 186677 HAS SOUS 156963 HAS SOUPS 156963 WITH SCORE 157149.677
AT ITER 4139 NEW BEST:: SOT 427167 SOS 186314 HAS SOPS 186314 HAS SOUS 156475 HAS SOUPS 156475 WITH SCORE 156661.314
AT ITER 4150 NEW BEST:: SOT 427167 SOS 186299 HAS SOPS 186299 HAS SOUS 156460 HAS SOUPS 156460 WITH SCORE 156646.299
AT ITER 4157 NEW BEST:: SOT 427159 SOS 186291 HAS SOPS 186291 HAS SOUS 156446 HAS SOUPS 156446 WITH SCORE 156632.291
AT ITER 4172 NEW BEST:: SOT 427158 SOS 186182 HAS SOPS 186182 HAS SOUS 156283 HAS SOUPS 156283 WITH SCORE 156469.182
AT ITER 4191 NEW BEST:: SOT 426734 SOS 185326 HAS SOPS 185326 HAS SOUS 155530 HAS SOUPS 155530 WITH SCORE 155715.326
AT ITER 4195 NEW BEST:: SOT 426554 SOS 184792 HAS SOPS 184792 HAS SOUS 155441 HAS SOUPS 155441 WITH SCORE 155625.792
AT ITER 4199 NEW BEST:: SOT 426449 SOS 184683 HAS SOPS 184683 HAS SOUS 155280 HAS SOUPS 155280 WITH SCORE 155464.683
AT ITER 4200 NEW BEST:: SOT 426452 SOS 184666 HAS SOPS 184666 HAS SOUS 155232 HAS SOUPS 155232 WITH SCORE 155416.666
AT ITER 4202 NEW BEST:: SOT 426419 SOS 184633 HAS SOPS 184633 HAS SOUS 155199 HAS SOUPS 155199 WITH SCORE 155383.633
AT ITER 4223 NEW BEST:: SOT 426355 SOS 184324 HAS SOPS 184324 HAS SOUS 155000 HAS SOUPS 155000 WITH SCORE 155184.324
AT ITER 4225 NEW BEST:: SOT 426295 SOS 184234 HAS SOPS 184234 HAS SOUS 154880 HAS SOUPS 154880 WITH SCORE 155064.234
AT ITER 4231 NEW BEST:: SOT 425910 SOS 183740 HAS SOPS 183740 HAS SOUS 154380 HAS SOUPS 154380 WITH SCORE 154563.74
AT ITER 4238 NEW BEST:: SOT 425989 SOS 183811 HAS SOPS 183811 HAS SOUS 153931 HAS SOUPS 153931 WITH SCORE 154114.811
AT ITER 4251 NEW BEST:: SOT 425972 SOS 183768 HAS SOPS 183768 HAS SOUS 153902 HAS SOUPS 153902 WITH SCORE 154085.768
AT ITER 4257 NEW BEST:: SOT 425832 SOS 183513 HAS SOPS 183513 HAS SOUS 153507 HAS SOUPS 153507 WITH SCORE 153690.513
AT ITER 4264 NEW BEST:: SOT 425832 SOS 183445 HAS SOPS 183445 HAS SOUS 153303 HAS SOUPS 153303 WITH SCORE 153486.445
AT ITER 4273 NEW BEST:: SOT 425719 SOS 183251 HAS SOPS 183251 HAS SOUS 153028 HAS SOUPS 153028 WITH SCORE 153211.251
AT ITER 4276 NEW BEST:: SOT 425675 SOS 183204 HAS SOPS 183204 HAS SOUS 152981 HAS SOUPS 152981 WITH SCORE 153164.204
AT ITER 4292 NEW BEST:: SOT 425675 SOS 182597 HAS SOPS 182597 HAS SOUS 152891 HAS SOUPS 152891 WITH SCORE 153073.597
AT ITER 4296 NEW BEST:: SOT 425573 SOS 182495 HAS SOPS 182495 HAS SOUS 152738 HAS SOUPS 152738 WITH SCORE 152920.495
AT ITER 4312 NEW BEST:: SOT 425435 SOS 182351 HAS SOPS 182351 HAS SOUS 152522 HAS SOUPS 152522 WITH SCORE 152704.351
AT ITER 4318 NEW BEST:: SOT 425355 SOS 182260 HAS SOPS 182260 HAS SOUS 152431 HAS SOUPS 152431 WITH SCORE 152613.26
AT ITER 4323 NEW BEST:: SOT 425263 SOS 181951 HAS SOPS 181951 HAS SOUS 152350 HAS SOUPS 152350 WITH SCORE 152531.951
AT ITER 4325 NEW BEST:: SOT 425368 SOS 182072 HAS SOPS 182072 HAS SOUS 151995 HAS SOUPS 151995 WITH SCORE 152177.072
AT ITER 4335 NEW BEST:: SOT 425364 SOS 182070 HAS SOPS 182070 HAS SOUS 151995 HAS SOUPS 151995 WITH SCORE 152177.07
AT ITER 4337 NEW BEST:: SOT 425187 SOS 181663 HAS SOPS 181663 HAS SOUS 151519 HAS SOUPS 151519 WITH SCORE 151700.663
AT ITER 4344 NEW BEST:: SOT 425170 SOS 181610 HAS SOPS 181610 HAS SOUS 151466 HAS SOUPS 151466 WITH SCORE 151647.61
AT ITER 4352 NEW BEST:: SOT 425102 SOS 181474 HAS SOPS 181474 HAS SOUS 151220 HAS SOUPS 151220 WITH SCORE 151401.474
AT ITER 4357 NEW BEST:: SOT 424958 SOS 180977 HAS SOPS 180977 HAS SOUS 150865 HAS SOUPS 150865 WITH SCORE 151045.977
AT ITER 4369 NEW BEST:: SOT 424958 SOS 181073 HAS SOPS 181073 HAS SOUS 150861 HAS SOUPS 150861 WITH SCORE 151042.073
AT ITER 4377 NEW BEST:: SOT 424821 SOS 180792 HAS SOPS 180792 HAS SOUS 150652 HAS SOUPS 150652 WITH SCORE 150832.792
AT ITER 4393 NEW BEST:: SOT 424725 SOS 180670 HAS SOPS 180670 HAS SOUS 150463 HAS SOUPS 150463 WITH SCORE 150643.67
AT ITER 4397 NEW BEST:: SOT 424700 SOS 180645 HAS SOPS 180645 HAS SOUS 150438 HAS SOUPS 150438 WITH SCORE 150618.645
AT ITER 4399 NEW BEST:: SOT 424700 SOS 180647 HAS SOPS 180647 HAS SOUS 150437 HAS SOUPS 150437 WITH SCORE 150617.647
AT ITER 4445 NEW BEST:: SOT 424697 SOS 180644 HAS SOPS 180644 HAS SOUS 150434 HAS SOUPS 150434 WITH SCORE 150614.644
AT ITER 4448 NEW BEST:: SOT 423988 SOS 179894 HAS SOPS 179894 HAS SOUS 149952 HAS SOUPS 149952 WITH SCORE 150131.894
AT ITER 4464 NEW BEST:: SOT 423886 SOS 179682 HAS SOPS 179682 HAS SOUS 149737 HAS SOUPS 149737 WITH SCORE 149916.682
AT ITER 4467 NEW BEST:: SOT 423886 SOS 179037 HAS SOPS 179037 HAS SOUS 149736 HAS SOUPS 149736 WITH SCORE 149915.037
AT ITER 4471 NEW BEST:: SOT 423844 SOS 178988 HAS SOPS 178988 HAS SOUS 149683 HAS SOUPS 149683 WITH SCORE 149861.988
AT ITER 4478 NEW BEST:: SOT 423730 SOS 178581 HAS SOPS 178581 HAS SOUS 149276 HAS SOUPS 149276 WITH SCORE 149454.581
AT ITER 4483 NEW BEST:: SOT 423677 SOS 178526 HAS SOPS 178526 HAS SOUS 149105 HAS SOUPS 149105 WITH SCORE 149283.526
AT ITER 4495 NEW BEST:: SOT 423675 SOS 178214 HAS SOPS 178214 HAS SOUS 149105 HAS SOUPS 149105 WITH SCORE 149283.214
AT ITER 4502 NEW BEST:: SOT 423675 SOS 177989 HAS SOPS 177989 HAS SOUS 148880 HAS SOUPS 148880 WITH SCORE 149057.989
AT ITER 4515 NEW BEST:: SOT 423690 SOS 177993 HAS SOPS 177993 HAS SOUS 148869 HAS SOUPS 148869 WITH SCORE 149046.993
AT ITER 4516 NEW BEST:: SOT 423567 SOS 177907 HAS SOPS 177907 HAS SOUS 148835 HAS SOUPS 148835 WITH SCORE 149012.907
AT ITER 4517 NEW BEST:: SOT 423563 SOS 177903 HAS SOPS 177903 HAS SOUS 148831 HAS SOUPS 148831 WITH SCORE 149008.903
AT ITER 4524 NEW BEST:: SOT 423563 SOS 177651 HAS SOPS 177651 HAS SOUS 148768 HAS SOUPS 148768 WITH SCORE 148945.651
AT ITER 4535 NEW BEST:: SOT 423349 SOS 177046 HAS SOPS 177046 HAS SOUS 148299 HAS SOUPS 148299 WITH SCORE 148476.046
AT ITER 4538 NEW BEST:: SOT 423301 SOS 176998 HAS SOPS 176998 HAS SOUS 148251 HAS SOUPS 148251 WITH SCORE 148427.998
AT ITER 4542 NEW BEST:: SOT 423207 SOS 176903 HAS SOPS 176903 HAS SOUS 148156 HAS SOUPS 148156 WITH SCORE 148332.903
AT ITER 4546 NEW BEST:: SOT 423205 SOS 176899 HAS SOPS 176899 HAS SOUS 148150 HAS SOUPS 148150 WITH SCORE 148326.899
AT ITER 4554 NEW BEST:: SOT 423205 SOS 176897 HAS SOPS 176897 HAS SOUS 148148 HAS SOUPS 148148 WITH SCORE 148324.897
AT ITER 4558 NEW BEST:: SOT 423296 SOS 176925 HAS SOPS 176925 HAS SOUS 148132 HAS SOUPS 148132 WITH SCORE 148308.925
AT ITER 4568 NEW BEST:: SOT 423296 SOS 176946 HAS SOPS 176946 HAS SOUS 148126 HAS SOUPS 148126 WITH SCORE 148302.946
AT ITER 4584 NEW BEST:: SOT 423109 SOS 175200 HAS SOPS 175200 HAS SOUS 147777 HAS SOUPS 147777 WITH SCORE 147952.2
AT ITER 4589 NEW BEST:: SOT 423109 SOS 175276 HAS SOPS 175276 HAS SOUS 147739 HAS SOUPS 147739 WITH SCORE 147914.276
AT ITER 4605 NEW BEST:: SOT 422843 SOS 174118 HAS SOPS 174118 HAS SOUS 146875 HAS SOUPS 146875 WITH SCORE 147049.118
AT ITER 4607 NEW BEST:: SOT 422878 SOS 174046 HAS SOPS 174046 HAS SOUS 146803 HAS SOUPS 146803 WITH SCORE 146977.046
AT ITER 4614 NEW BEST:: SOT 422852 SOS 174153 HAS SOPS 174153 HAS SOUS 146597 HAS SOUPS 146597 WITH SCORE 146771.153
AT ITER 4620 NEW BEST:: SOT 422852 SOS 174101 HAS SOPS 174101 HAS SOUS 146597 HAS SOUPS 146597 WITH SCORE 146771.101
AT ITER 4656 NEW BEST:: SOT 422747 SOS 174062 HAS SOPS 174062 HAS SOUS 146517 HAS SOUPS 146517 WITH SCORE 146691.062
AT ITER 4662 NEW BEST:: SOT 422487 SOS 173444 HAS SOPS 173444 HAS SOUS 146107 HAS SOUPS 146107 WITH SCORE 146280.444
AT ITER 4702 NEW BEST:: SOT 422441 SOS 173398 HAS SOPS 173398 HAS SOUS 146061 HAS SOUPS 146061 WITH SCORE 146234.398
AT ITER 4717 NEW BEST:: SOT 422459 SOS 172961 HAS SOPS 172961 HAS SOUS 145957 HAS SOUPS 145957 WITH SCORE 146129.961
AT ITER 4721 NEW BEST:: SOT 422459 SOS 172961 HAS SOPS 172961 HAS SOUS 145896 HAS SOUPS 145896 WITH SCORE 146068.961
AT ITER 4734 NEW BEST:: SOT 422450 SOS 172853 HAS SOPS 172853 HAS SOUS 145835 HAS SOUPS 145835 WITH SCORE 146007.853
AT ITER 4739 NEW BEST:: SOT 422450 SOS 172791 HAS SOPS 172791 HAS SOUS 145773 HAS SOUPS 145773 WITH SCORE 145945.791
AT ITER 4745 NEW BEST:: SOT 422436 SOS 172777 HAS SOPS 172777 HAS SOUS 145759 HAS SOUPS 145759 WITH SCORE 145931.777
AT ITER 4768 NEW BEST:: SOT 422594 SOS 172916 HAS SOPS 172916 HAS SOUS 145758 HAS SOUPS 145758 WITH SCORE 145930.916
AT ITER 4770 NEW BEST:: SOT 422512 SOS 172797 HAS SOPS 172797 HAS SOUS 145651 HAS SOUPS 145651 WITH SCORE 145823.797
AT ITER 4776 NEW BEST:: SOT 422511 SOS 172458 HAS SOPS 172458 HAS SOUS 145641 HAS SOUPS 145641 WITH SCORE 145813.458
AT ITER 4778 NEW BEST:: SOT 422511 SOS 172458 HAS SOPS 172458 HAS SOUS 145640 HAS SOUPS 145640 WITH SCORE 145812.458
AT ITER 4793 NEW BEST:: SOT 422331 SOS 172152 HAS SOPS 172152 HAS SOUS 145333 HAS SOUPS 145333 WITH SCORE 145505.152
AT ITER 4797 NEW BEST:: SOT 422251 SOS 172097 HAS SOPS 172097 HAS SOUS 145278 HAS SOUPS 145278 WITH SCORE 145450.097
AT ITER 4832 NEW BEST:: SOT 422159 SOS 172112 HAS SOPS 172112 HAS SOUS 145248 HAS SOUPS 145248 WITH SCORE 145420.112
AT ITER 4842 NEW BEST:: SOT 422141 SOS 172094 HAS SOPS 172094 HAS SOUS 145230 HAS SOUPS 145230 WITH SCORE 145402.094
AT ITER 4876 NEW BEST:: SOT 422141 SOS 172017 HAS SOPS 172017 HAS SOUS 145125 HAS SOUPS 145125 WITH SCORE 145297.017
AT ITER 4883 NEW BEST:: SOT 422098 SOS 171859 HAS SOPS 171859 HAS SOUS 144906 HAS SOUPS 144906 WITH SCORE 145077.859
AT ITER 4887 NEW BEST:: SOT 422098 SOS 171755 HAS SOPS 171755 HAS SOUS 144880 HAS SOUPS 144880 WITH SCORE 145051.755
AT ITER 4910 NEW BEST:: SOT 422098 SOS 171755 HAS SOPS 171755 HAS SOUS 144852 HAS SOUPS 144852 WITH SCORE 145023.755
AT ITER 4918 NEW BEST:: SOT 421946 SOS 171461 HAS SOPS 171461 HAS SOUS 144531 HAS SOUPS 144531 WITH SCORE 144702.461
AT ITER 4920 NEW BEST:: SOT 421943 SOS 171449 HAS SOPS 171449 HAS SOUS 144525 HAS SOUPS 144525 WITH SCORE 144696.449
AT ITER 4932 NEW BEST:: SOT 421904 SOS 171419 HAS SOPS 171419 HAS SOUS 144495 HAS SOUPS 144495 WITH SCORE 144666.419
AT ITER 4933 NEW BEST:: SOT 421904 SOS 171399 HAS SOPS 171399 HAS SOUS 144495 HAS SOUPS 144495 WITH SCORE 144666.399
AT ITER 4944 NEW BEST:: SOT 422126 SOS 171233 HAS SOPS 171233 HAS SOUS 144483 HAS SOUPS 144483 WITH SCORE 144654.233
AT ITER 4945 NEW BEST:: SOT 422148 SOS 171166 HAS SOPS 171166 HAS SOUS 144446 HAS SOUPS 144446 WITH SCORE 144617.166
AT ITER 4976 NEW BEST:: SOT 422148 SOS 171134 HAS SOPS 171134 HAS SOUS 144438 HAS SOUPS 144438 WITH SCORE 144609.134
AT ITER 4994 NEW BEST:: SOT 421939 SOS 170709 HAS SOPS 170709 HAS SOUS 144013 HAS SOUPS 144013 WITH SCORE 144183.709
AT ITER 4996 NEW BEST:: SOT 421820 SOS 170590 HAS SOPS 170590 HAS SOUS 143894 HAS SOUPS 143894 WITH SCORE 144064.59
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-00 (EF((AF(potential( ( 2 ) <= (tk(P440)) )))))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-01 (EU( ( ( potential( ( 1 ) <= (tk(P642)) ) | potential( (tk(P354)) <= (tk(P198)) ) ) & ( potential( ( 1 ) <= (tk(P177)) ) | potential( (tk(P237)) <= (tk(P251)) ) ) ),( (! potential( (tk(P574)) <= (tk(P194)) )) & (! potential( (tk(P788)) <= (tk(P213)) )) ) ))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-02 (EG( ( ( ( potential( (tk(P546)) <= (tk(P888)) ) | potential( ( 2 ) <= (tk(P515)) ) ) | ( potential( ( 1 ) <= (tk(P332)) ) | potential( (tk(P536)) <= (tk(P311)) ) ) ) | (! potential( (tk(P122)) <= (tk(P591)) )) )))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-03 ( (AU( ( potential( (tk(P269)) <= (tk(P927)) ) & potential( (tk(P851)) <= (tk(P92)) ) ),( potential( (tk(P687)) <= (tk(P228)) ) & potential( ( 2 ) <= (tk(P549)) ) ) )) & (AG( (! ( potential( ( 2 ) <= (tk(P798)) ) | potential( ( 2 ) <= (tk(P790)) ) )))) )
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-04 ( (AF((EF(potential( (tk(P403)) <= (tk(P388)) ))))) & (! (AG( (! potential( ( 3 ) <= (tk(P343)) ))))) )
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-05 (! ( (EF(( potential( (tk(P265)) <= (tk(P651)) ) & potential( ( 3 ) <= (tk(P243)) ) ))) & ( (! potential( ( 1 ) <= (tk(P518)) )) & (! potential( ( 3 ) <= (tk(P830)) )) ) ))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-06 (EF(( (! potential( (tk(P824)) <= (tk(P842)) )) & ( potential( (tk(P117)) <= (tk(P636)) ) & ( potential( ( 2 ) <= (tk(P829)) ) & potential( (tk(P569)) <= (tk(P564)) ) ) ) )))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-07 (! (EF(( potential( ( 2 ) <= (tk(P383)) ) | potential( ( 2 ) <= (tk(P263)) ) ))))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-08 ( (EG( ( ( potential( (tk(P304)) <= (tk(P78)) ) & potential( (tk(P853)) <= (tk(P905)) ) ) & ( potential( (tk(P632)) <= (tk(P876)) ) | potential( (tk(P8)) <= (tk(P135)) ) ) ))) & ( (EU( potential( ( 3 ) <= (tk(P531)) ),potential( (tk(P746)) <= (tk(P737)) ) )) | potential( ( 3 ) <= (tk(P623)) ) ) )
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-09 (! (EU( potential( (tk(P363)) <= (tk(P182)) ),potential( ( 3 ) <= (tk(P29)) ) )))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-10 (AU( (! ( potential( ( 1 ) <= (tk(P638)) ) & potential( ( 3 ) <= (tk(P818)) ) )),( ( potential( (tk(P372)) <= (tk(P203)) ) & potential( ( 2 ) <= (tk(P423)) ) ) & ( potential( ( 1 ) <= (tk(P225)) ) | potential( (tk(P113)) <= (tk(P198)) ) ) ) ))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-11 (EF(( (AG( potential( (tk(P516)) <= (tk(P436)) ))) & potential( ( 1 ) <= (tk(P723)) ) )))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-12 (! ( ( (EF(potential( ( 2 ) <= (tk(P109)) ))) & (! ( potential( (tk(P144)) <= (tk(P129)) ) | potential( ( 2 ) <= (tk(P834)) ) )) ) | (! (AF(potential( ( 3 ) <= (tk(P281)) )))) ))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-13 ( (! (! potential( (tk(P655)) <= (tk(P891)) ))) & (EF(potential( ( 1 ) <= (tk(P426)) ))) )
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-14 (AF(( (AF(potential( ( 3 ) <= (tk(P440)) ))) | potential( ( 3 ) <= (tk(P271)) ) )))
PROPERTY: ShieldPPPs-PT-030A-CTLCardinality-15 (! (AF((AG( potential( (tk(P707)) <= (tk(P799)) ))))))

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="ShieldPPPs-PT-030A"
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 ShieldPPPs-PT-030A, 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 r207-tajo-159033469600507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-030A.tgz
mv ShieldPPPs-PT-030A 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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;