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-159033469100171.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 ShieldIIPs-PT-040A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100171
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 3.0K May 14 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 17:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 13:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 07:46 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 338K 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 ShieldIIPs-PT-040A-CTLCardinality-00
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-01
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-02
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-03
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-04
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-05
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-06
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-07
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-08
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-09
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-10
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-11
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-12
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-13
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-14
FORMULA_NAME ShieldIIPs-PT-040A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590435803051

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 040A
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: 1003 places, 963 transitions, 4326 arcs.
AT ITER 0 NEW BEST:: SOT 657445 SOS 507808 HAS SOPS 507808 HAS SOUS 427760 HAS SOUPS 427760 WITH SCORE 428267.808
AT ITER 5 NEW BEST:: SOT 657238 SOS 507619 HAS SOPS 507619 HAS SOUS 427571 HAS SOUPS 427571 WITH SCORE 428078.619
AT ITER 6 NEW BEST:: SOT 657046 SOS 506924 HAS SOPS 506924 HAS SOUS 427521 HAS SOUPS 427521 WITH SCORE 428027.924
AT ITER 7 NEW BEST:: SOT 657046 SOS 506502 HAS SOPS 506502 HAS SOUS 427517 HAS SOUPS 427517 WITH SCORE 428023.502
AT ITER 16 NEW BEST:: SOT 657170 SOS 506040 HAS SOPS 506040 HAS SOUS 427440 HAS SOUPS 427440 WITH SCORE 427946.04
AT ITER 20 NEW BEST:: SOT 657274 SOS 505529 HAS SOPS 505529 HAS SOUS 427322 HAS SOUPS 427322 WITH SCORE 427827.529
AT ITER 25 NEW BEST:: SOT 657168 SOS 505423 HAS SOPS 505423 HAS SOUS 427216 HAS SOUPS 427216 WITH SCORE 427721.423
AT ITER 38 NEW BEST:: SOT 657168 SOS 505223 HAS SOPS 505223 HAS SOUS 427216 HAS SOUPS 427216 WITH SCORE 427721.223
AT ITER 41 NEW BEST:: SOT 657002 SOS 505186 HAS SOPS 505186 HAS SOUS 427179 HAS SOUPS 427179 WITH SCORE 427684.186
AT ITER 42 NEW BEST:: SOT 656873 SOS 505122 HAS SOPS 505122 HAS SOUS 427115 HAS SOUPS 427115 WITH SCORE 427620.122
AT ITER 53 NEW BEST:: SOT 656788 SOS 504150 HAS SOPS 504150 HAS SOUS 426717 HAS SOUPS 426717 WITH SCORE 427221.15
AT ITER 56 NEW BEST:: SOT 656788 SOS 504149 HAS SOPS 504149 HAS SOUS 426716 HAS SOUPS 426716 WITH SCORE 427220.149
AT ITER 58 NEW BEST:: SOT 656276 SOS 503637 HAS SOPS 503637 HAS SOUS 426204 HAS SOUPS 426204 WITH SCORE 426707.637
AT ITER 60 NEW BEST:: SOT 656276 SOS 503594 HAS SOPS 503594 HAS SOUS 426204 HAS SOUPS 426204 WITH SCORE 426707.594
AT ITER 65 NEW BEST:: SOT 656276 SOS 503300 HAS SOPS 503300 HAS SOUS 426126 HAS SOUPS 426126 WITH SCORE 426629.3
AT ITER 71 NEW BEST:: SOT 656141 SOS 503165 HAS SOPS 503165 HAS SOUS 425991 HAS SOUPS 425991 WITH SCORE 426494.165
AT ITER 75 NEW BEST:: SOT 656139 SOS 503161 HAS SOPS 503161 HAS SOUS 425987 HAS SOUPS 425987 WITH SCORE 426490.161
AT ITER 78 NEW BEST:: SOT 656002 SOS 503013 HAS SOPS 503013 HAS SOUS 425978 HAS SOUPS 425978 WITH SCORE 426481.013
AT ITER 80 NEW BEST:: SOT 655534 SOS 502545 HAS SOPS 502545 HAS SOUS 425510 HAS SOUPS 425510 WITH SCORE 426012.545
AT ITER 82 NEW BEST:: SOT 655534 SOS 501897 HAS SOPS 501897 HAS SOUS 425504 HAS SOUPS 425504 WITH SCORE 426005.897
AT ITER 85 NEW BEST:: SOT 655350 SOS 501711 HAS SOPS 501711 HAS SOUS 425318 HAS SOUPS 425318 WITH SCORE 425819.711
AT ITER 89 NEW BEST:: SOT 655350 SOS 501324 HAS SOPS 501324 HAS SOUS 424816 HAS SOUPS 424816 WITH SCORE 425317.324
AT ITER 92 NEW BEST:: SOT 654822 SOS 500796 HAS SOPS 500796 HAS SOUS 424288 HAS SOUPS 424288 WITH SCORE 424788.796
AT ITER 94 NEW BEST:: SOT 654820 SOS 500792 HAS SOPS 500792 HAS SOUS 424284 HAS SOUPS 424284 WITH SCORE 424784.792
AT ITER 98 NEW BEST:: SOT 654555 SOS 499745 HAS SOPS 499745 HAS SOUS 423854 HAS SOUPS 423854 WITH SCORE 424353.745
AT ITER 99 NEW BEST:: SOT 654418 SOS 499608 HAS SOPS 499608 HAS SOUS 423717 HAS SOUPS 423717 WITH SCORE 424216.608
AT ITER 101 NEW BEST:: SOT 654310 SOS 498999 HAS SOPS 498999 HAS SOUS 423493 HAS SOUPS 423493 WITH SCORE 423991.999
AT ITER 108 NEW BEST:: SOT 654229 SOS 498945 HAS SOPS 498945 HAS SOUS 423439 HAS SOUPS 423439 WITH SCORE 423937.945
AT ITER 114 NEW BEST:: SOT 654177 SOS 498685 HAS SOPS 498685 HAS SOUS 423439 HAS SOUPS 423439 WITH SCORE 423937.685
AT ITER 118 NEW BEST:: SOT 654177 SOS 498154 HAS SOPS 498154 HAS SOUS 423400 HAS SOUPS 423400 WITH SCORE 423898.154
AT ITER 119 NEW BEST:: SOT 653979 SOS 497127 HAS SOPS 497127 HAS SOUS 423067 HAS SOUPS 423067 WITH SCORE 423564.127
AT ITER 120 NEW BEST:: SOT 654458 SOS 496870 HAS SOPS 496870 HAS SOUS 423020 HAS SOUPS 423020 WITH SCORE 423516.87
AT ITER 121 NEW BEST:: SOT 654385 SOS 496224 HAS SOPS 496224 HAS SOUS 422941 HAS SOUPS 422941 WITH SCORE 423437.224
AT ITER 124 NEW BEST:: SOT 654381 SOS 495960 HAS SOPS 495960 HAS SOUS 422677 HAS SOUPS 422677 WITH SCORE 423172.96
AT ITER 127 NEW BEST:: SOT 654381 SOS 495915 HAS SOPS 495915 HAS SOUS 422642 HAS SOUPS 422642 WITH SCORE 423137.915
AT ITER 131 NEW BEST:: SOT 654358 SOS 495892 HAS SOPS 495892 HAS SOUS 422619 HAS SOUPS 422619 WITH SCORE 423114.892
AT ITER 139 NEW BEST:: SOT 654028 SOS 495562 HAS SOPS 495562 HAS SOUS 422289 HAS SOUPS 422289 WITH SCORE 422784.562
AT ITER 153 NEW BEST:: SOT 654027 SOS 495559 HAS SOPS 495559 HAS SOUS 422286 HAS SOUPS 422286 WITH SCORE 422781.559
AT ITER 156 NEW BEST:: SOT 654020 SOS 495546 HAS SOPS 495546 HAS SOUS 422273 HAS SOUPS 422273 WITH SCORE 422768.546
AT ITER 168 NEW BEST:: SOT 653836 SOS 495360 HAS SOPS 495360 HAS SOUS 422087 HAS SOUPS 422087 WITH SCORE 422582.36
AT ITER 170 NEW BEST:: SOT 653715 SOS 495239 HAS SOPS 495239 HAS SOUS 421777 HAS SOUPS 421777 WITH SCORE 422272.239
AT ITER 173 NEW BEST:: SOT 653697 SOS 495221 HAS SOPS 495221 HAS SOUS 421759 HAS SOUPS 421759 WITH SCORE 422254.221
AT ITER 180 NEW BEST:: SOT 653613 SOS 495137 HAS SOPS 495137 HAS SOUS 421675 HAS SOUPS 421675 WITH SCORE 422170.137
AT ITER 181 NEW BEST:: SOT 653613 SOS 495136 HAS SOPS 495136 HAS SOUS 421674 HAS SOUPS 421674 WITH SCORE 422169.136
AT ITER 187 NEW BEST:: SOT 653411 SOS 494151 HAS SOPS 494151 HAS SOUS 421485 HAS SOUPS 421485 WITH SCORE 421979.151
AT ITER 189 NEW BEST:: SOT 653119 SOS 493859 HAS SOPS 493859 HAS SOUS 421193 HAS SOUPS 421193 WITH SCORE 421686.859
AT ITER 194 NEW BEST:: SOT 653061 SOS 493743 HAS SOPS 493743 HAS SOUS 421192 HAS SOUPS 421192 WITH SCORE 421685.743
AT ITER 197 NEW BEST:: SOT 652526 SOS 493207 HAS SOPS 493207 HAS SOUS 420656 HAS SOUPS 420656 WITH SCORE 421149.207
AT ITER 199 NEW BEST:: SOT 652295 SOS 492010 HAS SOPS 492010 HAS SOUS 420325 HAS SOUPS 420325 WITH SCORE 420817.01
AT ITER 201 NEW BEST:: SOT 653050 SOS 492005 HAS SOPS 492005 HAS SOUS 420161 HAS SOUPS 420161 WITH SCORE 420653.005
AT ITER 216 NEW BEST:: SOT 652834 SOS 491789 HAS SOPS 491789 HAS SOUS 419945 HAS SOUPS 419945 WITH SCORE 420436.789
AT ITER 217 NEW BEST:: SOT 652786 SOS 491739 HAS SOPS 491739 HAS SOUS 419895 HAS SOUPS 419895 WITH SCORE 420386.739
AT ITER 218 NEW BEST:: SOT 652786 SOS 491738 HAS SOPS 491738 HAS SOUS 419894 HAS SOUPS 419894 WITH SCORE 420385.738
AT ITER 238 NEW BEST:: SOT 652786 SOS 491513 HAS SOPS 491513 HAS SOUS 419669 HAS SOUPS 419669 WITH SCORE 420160.513
AT ITER 242 NEW BEST:: SOT 652652 SOS 491383 HAS SOPS 491383 HAS SOUS 419539 HAS SOUPS 419539 WITH SCORE 420030.383
AT ITER 249 NEW BEST:: SOT 652652 SOS 491297 HAS SOPS 491297 HAS SOUS 419533 HAS SOUPS 419533 WITH SCORE 420024.297
AT ITER 251 NEW BEST:: SOT 652633 SOS 491278 HAS SOPS 491278 HAS SOUS 419514 HAS SOUPS 419514 WITH SCORE 420005.278
AT ITER 256 NEW BEST:: SOT 652411 SOS 491055 HAS SOPS 491055 HAS SOUS 419291 HAS SOUPS 419291 WITH SCORE 419782.055
AT ITER 257 NEW BEST:: SOT 651967 SOS 490771 HAS SOPS 490771 HAS SOUS 419007 HAS SOUPS 419007 WITH SCORE 419497.771
AT ITER 258 NEW BEST:: SOT 651689 SOS 489751 HAS SOPS 489751 HAS SOUS 418656 HAS SOUPS 418656 WITH SCORE 419145.751
AT ITER 260 NEW BEST:: SOT 651687 SOS 489749 HAS SOPS 489749 HAS SOUS 418654 HAS SOUPS 418654 WITH SCORE 419143.749
AT ITER 261 NEW BEST:: SOT 651887 SOS 489065 HAS SOPS 489065 HAS SOUS 418109 HAS SOUPS 418109 WITH SCORE 418598.065
AT ITER 265 NEW BEST:: SOT 651367 SOS 488431 HAS SOPS 488431 HAS SOUS 417475 HAS SOUPS 417475 WITH SCORE 417963.431
AT ITER 266 NEW BEST:: SOT 651191 SOS 488255 HAS SOPS 488255 HAS SOUS 417299 HAS SOUPS 417299 WITH SCORE 417787.255
AT ITER 275 NEW BEST:: SOT 650855 SOS 487757 HAS SOPS 487757 HAS SOUS 416801 HAS SOUPS 416801 WITH SCORE 417288.757
AT ITER 276 NEW BEST:: SOT 650489 SOS 487333 HAS SOPS 487333 HAS SOUS 416367 HAS SOUPS 416367 WITH SCORE 416854.333
AT ITER 277 NEW BEST:: SOT 650226 SOS 487329 HAS SOPS 487329 HAS SOUS 416365 HAS SOUPS 416365 WITH SCORE 416852.329
AT ITER 281 NEW BEST:: SOT 650226 SOS 487033 HAS SOPS 487033 HAS SOUS 416365 HAS SOUPS 416365 WITH SCORE 416852.033
AT ITER 301 NEW BEST:: SOT 650205 SOS 487012 HAS SOPS 487012 HAS SOUS 416344 HAS SOUPS 416344 WITH SCORE 416831.012
AT ITER 305 NEW BEST:: SOT 650119 SOS 486668 HAS SOPS 486668 HAS SOUS 416086 HAS SOUPS 416086 WITH SCORE 416572.668
AT ITER 306 NEW BEST:: SOT 649672 SOS 486221 HAS SOPS 486221 HAS SOUS 415639 HAS SOUPS 415639 WITH SCORE 416125.221
AT ITER 310 NEW BEST:: SOT 649245 SOS 485794 HAS SOPS 485794 HAS SOUS 415212 HAS SOUPS 415212 WITH SCORE 415697.794
AT ITER 313 NEW BEST:: SOT 649245 SOS 485793 HAS SOPS 485793 HAS SOUS 415211 HAS SOUPS 415211 WITH SCORE 415696.793
AT ITER 315 NEW BEST:: SOT 649173 SOS 485505 HAS SOPS 485505 HAS SOUS 415139 HAS SOUPS 415139 WITH SCORE 415624.505
AT ITER 318 NEW BEST:: SOT 648650 SOS 484969 HAS SOPS 484969 HAS SOUS 414603 HAS SOUPS 414603 WITH SCORE 415087.969
AT ITER 321 NEW BEST:: SOT 648572 SOS 484814 HAS SOPS 484814 HAS SOUS 414448 HAS SOUPS 414448 WITH SCORE 414932.814
AT ITER 331 NEW BEST:: SOT 648236 SOS 484476 HAS SOPS 484476 HAS SOUS 414110 HAS SOUPS 414110 WITH SCORE 414594.476
AT ITER 336 NEW BEST:: SOT 648058 SOS 484298 HAS SOPS 484298 HAS SOUS 413932 HAS SOUPS 413932 WITH SCORE 414416.298
AT ITER 338 NEW BEST:: SOT 647698 SOS 483730 HAS SOPS 483730 HAS SOUS 413522 HAS SOUPS 413522 WITH SCORE 414005.73
AT ITER 341 NEW BEST:: SOT 647551 SOS 483581 HAS SOPS 483581 HAS SOUS 413373 HAS SOUPS 413373 WITH SCORE 413856.581
AT ITER 346 NEW BEST:: SOT 647159 SOS 483189 HAS SOPS 483189 HAS SOUS 412921 HAS SOUPS 412921 WITH SCORE 413404.189
AT ITER 348 NEW BEST:: SOT 647119 SOS 482991 HAS SOPS 482991 HAS SOUS 412723 HAS SOUPS 412723 WITH SCORE 413205.991
AT ITER 353 NEW BEST:: SOT 646310 SOS 481678 HAS SOPS 481678 HAS SOUS 411410 HAS SOUPS 411410 WITH SCORE 411891.678
AT ITER 354 NEW BEST:: SOT 646310 SOS 481515 HAS SOPS 481515 HAS SOUS 411407 HAS SOUPS 411407 WITH SCORE 411888.515
AT ITER 356 NEW BEST:: SOT 646310 SOS 481097 HAS SOPS 481097 HAS SOUS 411343 HAS SOUPS 411343 WITH SCORE 411824.097
AT ITER 359 NEW BEST:: SOT 646173 SOS 480958 HAS SOPS 480958 HAS SOUS 411204 HAS SOUPS 411204 WITH SCORE 411684.958
AT ITER 361 NEW BEST:: SOT 646058 SOS 480728 HAS SOPS 480728 HAS SOUS 411204 HAS SOUPS 411204 WITH SCORE 411684.728
AT ITER 366 NEW BEST:: SOT 646015 SOS 480685 HAS SOPS 480685 HAS SOUS 411161 HAS SOUPS 411161 WITH SCORE 411641.685
AT ITER 368 NEW BEST:: SOT 646015 SOS 480586 HAS SOPS 480586 HAS SOUS 411095 HAS SOUPS 411095 WITH SCORE 411575.586
AT ITER 369 NEW BEST:: SOT 646012 SOS 480583 HAS SOPS 480583 HAS SOUS 411092 HAS SOUPS 411092 WITH SCORE 411572.583
AT ITER 377 NEW BEST:: SOT 645909 SOS 479363 HAS SOPS 479363 HAS SOUS 410910 HAS SOUPS 410910 WITH SCORE 411389.363
AT ITER 380 NEW BEST:: SOT 645998 SOS 479115 HAS SOPS 479115 HAS SOUS 410791 HAS SOUPS 410791 WITH SCORE 411270.115
AT ITER 384 NEW BEST:: SOT 645547 SOS 478664 HAS SOPS 478664 HAS SOUS 410340 HAS SOUPS 410340 WITH SCORE 410818.664
AT ITER 385 NEW BEST:: SOT 645452 SOS 478565 HAS SOPS 478565 HAS SOUS 410243 HAS SOUPS 410243 WITH SCORE 410721.565
AT ITER 396 NEW BEST:: SOT 645543 SOS 478697 HAS SOPS 478697 HAS SOUS 410162 HAS SOUPS 410162 WITH SCORE 410640.697
AT ITER 398 NEW BEST:: SOT 645348 SOS 478341 HAS SOPS 478341 HAS SOUS 409806 HAS SOUPS 409806 WITH SCORE 410284.341
AT ITER 402 NEW BEST:: SOT 645348 SOS 478339 HAS SOPS 478339 HAS SOUS 409802 HAS SOUPS 409802 WITH SCORE 410280.339
AT ITER 403 NEW BEST:: SOT 645116 SOS 478106 HAS SOPS 478106 HAS SOUS 409569 HAS SOUPS 409569 WITH SCORE 410047.106
AT ITER 408 NEW BEST:: SOT 645116 SOS 478094 HAS SOPS 478094 HAS SOUS 409568 HAS SOUPS 409568 WITH SCORE 410046.094
AT ITER 409 NEW BEST:: SOT 644871 SOS 477635 HAS SOPS 477635 HAS SOUS 409109 HAS SOUPS 409109 WITH SCORE 409586.635
AT ITER 410 NEW BEST:: SOT 644578 SOS 476274 HAS SOPS 476274 HAS SOUS 408845 HAS SOUPS 408845 WITH SCORE 409321.274
AT ITER 413 NEW BEST:: SOT 644574 SOS 476236 HAS SOPS 476236 HAS SOUS 408807 HAS SOUPS 408807 WITH SCORE 409283.236
AT ITER 416 NEW BEST:: SOT 644565 SOS 475058 HAS SOPS 475058 HAS SOUS 407832 HAS SOUPS 407832 WITH SCORE 408307.058
AT ITER 419 NEW BEST:: SOT 644548 SOS 475041 HAS SOPS 475041 HAS SOUS 407815 HAS SOUPS 407815 WITH SCORE 408290.041
AT ITER 420 NEW BEST:: SOT 644415 SOS 474834 HAS SOPS 474834 HAS SOUS 407649 HAS SOUPS 407649 WITH SCORE 408123.834
AT ITER 427 NEW BEST:: SOT 644397 SOS 474816 HAS SOPS 474816 HAS SOUS 407631 HAS SOUPS 407631 WITH SCORE 408105.816
AT ITER 434 NEW BEST:: SOT 643590 SOS 474009 HAS SOPS 474009 HAS SOUS 406854 HAS SOUPS 406854 WITH SCORE 407328.009
AT ITER 443 NEW BEST:: SOT 643467 SOS 473822 HAS SOPS 473822 HAS SOUS 406608 HAS SOUPS 406608 WITH SCORE 407081.822
AT ITER 445 NEW BEST:: SOT 643340 SOS 473694 HAS SOPS 473694 HAS SOUS 406480 HAS SOUPS 406480 WITH SCORE 406953.694
AT ITER 446 NEW BEST:: SOT 643340 SOS 473197 HAS SOPS 473197 HAS SOUS 406479 HAS SOUPS 406479 WITH SCORE 406952.197
AT ITER 453 NEW BEST:: SOT 643316 SOS 473173 HAS SOPS 473173 HAS SOUS 406455 HAS SOUPS 406455 WITH SCORE 406928.173
AT ITER 459 NEW BEST:: SOT 642959 SOS 472818 HAS SOPS 472818 HAS SOUS 405944 HAS SOUPS 405944 WITH SCORE 406416.818
AT ITER 468 NEW BEST:: SOT 642763 SOS 472507 HAS SOPS 472507 HAS SOUS 405633 HAS SOUPS 405633 WITH SCORE 406105.507
AT ITER 469 NEW BEST:: SOT 642634 SOS 472120 HAS SOPS 472120 HAS SOUS 405273 HAS SOUPS 405273 WITH SCORE 405745.12
AT ITER 490 NEW BEST:: SOT 642511 SOS 471997 HAS SOPS 471997 HAS SOUS 405150 HAS SOUPS 405150 WITH SCORE 405621.997
AT ITER 493 NEW BEST:: SOT 642411 SOS 471918 HAS SOPS 471918 HAS SOUS 405071 HAS SOUPS 405071 WITH SCORE 405542.918
AT ITER 494 NEW BEST:: SOT 642126 SOS 471633 HAS SOPS 471633 HAS SOUS 404786 HAS SOUPS 404786 WITH SCORE 405257.633
AT ITER 495 NEW BEST:: SOT 641822 SOS 470161 HAS SOPS 470161 HAS SOUS 404528 HAS SOUPS 404528 WITH SCORE 404998.161
AT ITER 510 NEW BEST:: SOT 641784 SOS 470047 HAS SOPS 470047 HAS SOUS 404526 HAS SOUPS 404526 WITH SCORE 404996.047
AT ITER 521 NEW BEST:: SOT 641524 SOS 469705 HAS SOPS 469705 HAS SOUS 404184 HAS SOUPS 404184 WITH SCORE 404653.705
AT ITER 525 NEW BEST:: SOT 641412 SOS 469593 HAS SOPS 469593 HAS SOUS 404072 HAS SOUPS 404072 WITH SCORE 404541.593
AT ITER 527 NEW BEST:: SOT 641411 SOS 469424 HAS SOPS 469424 HAS SOUS 403903 HAS SOUPS 403903 WITH SCORE 404372.424
AT ITER 535 NEW BEST:: SOT 641438 SOS 469456 HAS SOPS 469456 HAS SOUS 403871 HAS SOUPS 403871 WITH SCORE 404340.456
AT ITER 536 NEW BEST:: SOT 641274 SOS 468946 HAS SOPS 468946 HAS SOUS 403705 HAS SOUPS 403705 WITH SCORE 404173.946
AT ITER 546 NEW BEST:: SOT 641146 SOS 468816 HAS SOPS 468816 HAS SOUS 403575 HAS SOUPS 403575 WITH SCORE 404043.816
AT ITER 550 NEW BEST:: SOT 641800 SOS 468046 HAS SOPS 468046 HAS SOUS 403471 HAS SOUPS 403471 WITH SCORE 403939.046
AT ITER 553 NEW BEST:: SOT 641666 SOS 467254 HAS SOPS 467254 HAS SOUS 403324 HAS SOUPS 403324 WITH SCORE 403791.254
AT ITER 558 NEW BEST:: SOT 641703 SOS 467204 HAS SOPS 467204 HAS SOUS 403274 HAS SOUPS 403274 WITH SCORE 403741.204
AT ITER 559 NEW BEST:: SOT 641671 SOS 467164 HAS SOPS 467164 HAS SOUS 403234 HAS SOUPS 403234 WITH SCORE 403701.164
AT ITER 562 NEW BEST:: SOT 641545 SOS 467038 HAS SOPS 467038 HAS SOUS 403108 HAS SOUPS 403108 WITH SCORE 403575.038
AT ITER 563 NEW BEST:: SOT 641467 SOS 466730 HAS SOPS 466730 HAS SOUS 403104 HAS SOUPS 403104 WITH SCORE 403570.73
AT ITER 565 NEW BEST:: SOT 641400 SOS 466596 HAS SOPS 466596 HAS SOUS 402970 HAS SOUPS 402970 WITH SCORE 403436.596
AT ITER 566 NEW BEST:: SOT 641446 SOS 466642 HAS SOPS 466642 HAS SOUS 402855 HAS SOUPS 402855 WITH SCORE 403321.642
AT ITER 572 NEW BEST:: SOT 641213 SOS 466246 HAS SOPS 466246 HAS SOUS 402459 HAS SOUPS 402459 WITH SCORE 402925.246
AT ITER 573 NEW BEST:: SOT 641241 SOS 465348 HAS SOPS 465348 HAS SOUS 402428 HAS SOUPS 402428 WITH SCORE 402893.348
AT ITER 575 NEW BEST:: SOT 640695 SOS 464408 HAS SOPS 464408 HAS SOUS 401440 HAS SOUPS 401440 WITH SCORE 401904.408
AT ITER 580 NEW BEST:: SOT 640465 SOS 464177 HAS SOPS 464177 HAS SOUS 401209 HAS SOUPS 401209 WITH SCORE 401673.177
AT ITER 587 NEW BEST:: SOT 640430 SOS 464142 HAS SOPS 464142 HAS SOUS 401174 HAS SOUPS 401174 WITH SCORE 401638.142
AT ITER 589 NEW BEST:: SOT 640047 SOS 463759 HAS SOPS 463759 HAS SOUS 400791 HAS SOUPS 400791 WITH SCORE 401254.759
AT ITER 591 NEW BEST:: SOT 639754 SOS 463466 HAS SOPS 463466 HAS SOUS 400498 HAS SOUPS 400498 WITH SCORE 400961.466
AT ITER 595 NEW BEST:: SOT 639542 SOS 463055 HAS SOPS 463055 HAS SOUS 400498 HAS SOUPS 400498 WITH SCORE 400961.055
AT ITER 602 NEW BEST:: SOT 639301 SOS 462174 HAS SOPS 462174 HAS SOUS 400111 HAS SOUPS 400111 WITH SCORE 400573.174
AT ITER 604 NEW BEST:: SOT 639175 SOS 461478 HAS SOPS 461478 HAS SOUS 399682 HAS SOUPS 399682 WITH SCORE 400143.478
AT ITER 606 NEW BEST:: SOT 638905 SOS 460814 HAS SOPS 460814 HAS SOUS 399130 HAS SOUPS 399130 WITH SCORE 399590.814
AT ITER 609 NEW BEST:: SOT 639199 SOS 459995 HAS SOPS 459995 HAS SOUS 398593 HAS SOUPS 398593 WITH SCORE 399052.995
AT ITER 610 NEW BEST:: SOT 639199 SOS 459995 HAS SOPS 459995 HAS SOUS 398432 HAS SOUPS 398432 WITH SCORE 398891.995
AT ITER 611 NEW BEST:: SOT 639199 SOS 459841 HAS SOPS 459841 HAS SOUS 398270 HAS SOUPS 398270 WITH SCORE 398729.841
AT ITER 619 NEW BEST:: SOT 639067 SOS 459709 HAS SOPS 459709 HAS SOUS 398138 HAS SOUPS 398138 WITH SCORE 398597.709
AT ITER 624 NEW BEST:: SOT 638894 SOS 459366 HAS SOPS 459366 HAS SOUS 397795 HAS SOUPS 397795 WITH SCORE 398254.366
AT ITER 625 NEW BEST:: SOT 639055 SOS 459275 HAS SOPS 459275 HAS SOUS 397623 HAS SOUPS 397623 WITH SCORE 398082.275
AT ITER 627 NEW BEST:: SOT 638641 SOS 458861 HAS SOPS 458861 HAS SOUS 397209 HAS SOUPS 397209 WITH SCORE 397667.861
AT ITER 631 NEW BEST:: SOT 638363 SOS 457604 HAS SOPS 457604 HAS SOUS 396710 HAS SOUPS 396710 WITH SCORE 397167.604
AT ITER 637 NEW BEST:: SOT 638110 SOS 457349 HAS SOPS 457349 HAS SOUS 396453 HAS SOUPS 396453 WITH SCORE 396910.349
AT ITER 638 NEW BEST:: SOT 638026 SOS 457265 HAS SOPS 457265 HAS SOUS 396369 HAS SOUPS 396369 WITH SCORE 396826.265
AT ITER 639 NEW BEST:: SOT 637572 SOS 456318 HAS SOPS 456318 HAS SOUS 395422 HAS SOUPS 395422 WITH SCORE 395878.318
AT ITER 647 NEW BEST:: SOT 636931 SOS 455676 HAS SOPS 455676 HAS SOUS 394779 HAS SOUPS 394779 WITH SCORE 395234.676
AT ITER 648 NEW BEST:: SOT 637343 SOS 454735 HAS SOPS 454735 HAS SOUS 394205 HAS SOUPS 394205 WITH SCORE 394659.735
AT ITER 650 NEW BEST:: SOT 636925 SOS 454188 HAS SOPS 454188 HAS SOUS 393375 HAS SOUPS 393375 WITH SCORE 393829.188
AT ITER 651 NEW BEST:: SOT 636885 SOS 454127 HAS SOPS 454127 HAS SOUS 393314 HAS SOUPS 393314 WITH SCORE 393768.127
AT ITER 655 NEW BEST:: SOT 636600 SOS 453842 HAS SOPS 453842 HAS SOUS 393029 HAS SOUPS 393029 WITH SCORE 393482.842
AT ITER 658 NEW BEST:: SOT 636596 SOS 453838 HAS SOPS 453838 HAS SOUS 393025 HAS SOUPS 393025 WITH SCORE 393478.838
AT ITER 659 NEW BEST:: SOT 636616 SOS 453842 HAS SOPS 453842 HAS SOUS 393015 HAS SOUPS 393015 WITH SCORE 393468.842
AT ITER 672 NEW BEST:: SOT 636554 SOS 453742 HAS SOPS 453742 HAS SOUS 392915 HAS SOUPS 392915 WITH SCORE 393368.742
AT ITER 675 NEW BEST:: SOT 636621 SOS 453578 HAS SOPS 453578 HAS SOUS 392751 HAS SOUPS 392751 WITH SCORE 393204.578
AT ITER 693 NEW BEST:: SOT 636391 SOS 452475 HAS SOPS 452475 HAS SOUS 392439 HAS SOUPS 392439 WITH SCORE 392891.475
AT ITER 707 NEW BEST:: SOT 635941 SOS 452015 HAS SOPS 452015 HAS SOUS 391979 HAS SOUPS 391979 WITH SCORE 392431.015
AT ITER 709 NEW BEST:: SOT 635821 SOS 451640 HAS SOPS 451640 HAS SOUS 390677 HAS SOUPS 390677 WITH SCORE 391128.64
AT ITER 710 NEW BEST:: SOT 635397 SOS 450990 HAS SOPS 450990 HAS SOUS 390027 HAS SOUPS 390027 WITH SCORE 390477.99
AT ITER 714 NEW BEST:: SOT 635138 SOS 450069 HAS SOPS 450069 HAS SOUS 389432 HAS SOUPS 389432 WITH SCORE 389882.069
AT ITER 715 NEW BEST:: SOT 635104 SOS 449899 HAS SOPS 449899 HAS SOUS 389398 HAS SOUPS 389398 WITH SCORE 389847.899
AT ITER 722 NEW BEST:: SOT 635005 SOS 449782 HAS SOPS 449782 HAS SOUS 389281 HAS SOUPS 389281 WITH SCORE 389730.782
AT ITER 724 NEW BEST:: SOT 635130 SOS 449907 HAS SOPS 449907 HAS SOUS 389248 HAS SOUPS 389248 WITH SCORE 389697.907
AT ITER 725 NEW BEST:: SOT 635084 SOS 449861 HAS SOPS 449861 HAS SOUS 389202 HAS SOUPS 389202 WITH SCORE 389651.861
AT ITER 732 NEW BEST:: SOT 634964 SOS 449741 HAS SOPS 449741 HAS SOUS 389082 HAS SOUPS 389082 WITH SCORE 389531.741
AT ITER 733 NEW BEST:: SOT 634962 SOS 449739 HAS SOPS 449739 HAS SOUS 389078 HAS SOUPS 389078 WITH SCORE 389527.739
AT ITER 736 NEW BEST:: SOT 634775 SOS 449539 HAS SOPS 449539 HAS SOUS 388878 HAS SOUPS 388878 WITH SCORE 389327.539
AT ITER 740 NEW BEST:: SOT 634454 SOS 449216 HAS SOPS 449216 HAS SOUS 388555 HAS SOUPS 388555 WITH SCORE 389004.216
AT ITER 745 NEW BEST:: SOT 634148 SOS 448513 HAS SOPS 448513 HAS SOUS 387689 HAS SOUPS 387689 WITH SCORE 388137.513
AT ITER 746 NEW BEST:: SOT 634145 SOS 448510 HAS SOPS 448510 HAS SOUS 387686 HAS SOUPS 387686 WITH SCORE 388134.51
AT ITER 747 NEW BEST:: SOT 634454 SOS 448509 HAS SOPS 448509 HAS SOUS 387685 HAS SOUPS 387685 WITH SCORE 388133.509
AT ITER 750 NEW BEST:: SOT 634512 SOS 448577 HAS SOPS 448577 HAS SOUS 387480 HAS SOUPS 387480 WITH SCORE 387928.577
AT ITER 761 NEW BEST:: SOT 634668 SOS 448137 HAS SOPS 448137 HAS SOUS 387259 HAS SOUPS 387259 WITH SCORE 387707.137
AT ITER 765 NEW BEST:: SOT 634554 SOS 447966 HAS SOPS 447966 HAS SOUS 387088 HAS SOUPS 387088 WITH SCORE 387535.966
AT ITER 766 NEW BEST:: SOT 634664 SOS 446975 HAS SOPS 446975 HAS SOUS 386103 HAS SOUPS 386103 WITH SCORE 386549.975
AT ITER 773 NEW BEST:: SOT 634664 SOS 446400 HAS SOPS 446400 HAS SOUS 386004 HAS SOUPS 386004 WITH SCORE 386450.4
AT ITER 782 NEW BEST:: SOT 635014 SOS 445580 HAS SOPS 445580 HAS SOUS 385596 HAS SOUPS 385596 WITH SCORE 386041.58
AT ITER 783 NEW BEST:: SOT 634483 SOS 445047 HAS SOPS 445047 HAS SOUS 385063 HAS SOUPS 385063 WITH SCORE 385508.047
AT ITER 791 NEW BEST:: SOT 634476 SOS 445040 HAS SOPS 445040 HAS SOUS 385056 HAS SOUPS 385056 WITH SCORE 385501.04
AT ITER 795 NEW BEST:: SOT 634155 SOS 444719 HAS SOPS 444719 HAS SOUS 384876 HAS SOUPS 384876 WITH SCORE 385320.719
AT ITER 805 NEW BEST:: SOT 634313 SOS 444873 HAS SOPS 444873 HAS SOUS 384869 HAS SOUPS 384869 WITH SCORE 385313.873
AT ITER 811 NEW BEST:: SOT 634046 SOS 444606 HAS SOPS 444606 HAS SOUS 384601 HAS SOUPS 384601 WITH SCORE 385045.606
AT ITER 815 NEW BEST:: SOT 633814 SOS 444089 HAS SOPS 444089 HAS SOUS 383700 HAS SOUPS 383700 WITH SCORE 384144.089
AT ITER 818 NEW BEST:: SOT 633814 SOS 444245 HAS SOPS 444245 HAS SOUS 383573 HAS SOUPS 383573 WITH SCORE 384017.245
AT ITER 823 NEW BEST:: SOT 633694 SOS 444046 HAS SOPS 444046 HAS SOUS 383374 HAS SOUPS 383374 WITH SCORE 383818.046
AT ITER 831 NEW BEST:: SOT 633617 SOS 443968 HAS SOPS 443968 HAS SOUS 383296 HAS SOUPS 383296 WITH SCORE 383739.968
AT ITER 835 NEW BEST:: SOT 634273 SOS 444200 HAS SOPS 444200 HAS SOUS 383100 HAS SOUPS 383100 WITH SCORE 383544.2
AT ITER 844 NEW BEST:: SOT 633724 SOS 443649 HAS SOPS 443649 HAS SOUS 382549 HAS SOUPS 382549 WITH SCORE 382992.649
AT ITER 845 NEW BEST:: SOT 633639 SOS 443564 HAS SOPS 443564 HAS SOUS 382464 HAS SOUPS 382464 WITH SCORE 382907.564
AT ITER 850 NEW BEST:: SOT 633801 SOS 443599 HAS SOPS 443599 HAS SOUS 382346 HAS SOUPS 382346 WITH SCORE 382789.599
AT ITER 859 NEW BEST:: SOT 634486 SOS 443247 HAS SOPS 443247 HAS SOUS 382123 HAS SOUPS 382123 WITH SCORE 382566.247
AT ITER 863 NEW BEST:: SOT 634825 SOS 441848 HAS SOPS 441848 HAS SOUS 381560 HAS SOUPS 381560 WITH SCORE 382001.848
AT ITER 871 NEW BEST:: SOT 634685 SOS 441708 HAS SOPS 441708 HAS SOUS 381420 HAS SOUPS 381420 WITH SCORE 381861.708
AT ITER 877 NEW BEST:: SOT 634599 SOS 441585 HAS SOPS 441585 HAS SOUS 381297 HAS SOUPS 381297 WITH SCORE 381738.585
AT ITER 880 NEW BEST:: SOT 634599 SOS 441515 HAS SOPS 441515 HAS SOUS 381297 HAS SOUPS 381297 WITH SCORE 381738.515
AT ITER 897 NEW BEST:: SOT 634599 SOS 441515 HAS SOPS 441515 HAS SOUS 381271 HAS SOUPS 381271 WITH SCORE 381712.515
AT ITER 902 NEW BEST:: SOT 634520 SOS 440731 HAS SOPS 440731 HAS SOUS 381086 HAS SOUPS 381086 WITH SCORE 381526.731
AT ITER 905 NEW BEST:: SOT 634393 SOS 440602 HAS SOPS 440602 HAS SOUS 380957 HAS SOUPS 380957 WITH SCORE 381397.602
AT ITER 908 NEW BEST:: SOT 634515 SOS 440539 HAS SOPS 440539 HAS SOUS 380894 HAS SOUPS 380894 WITH SCORE 381334.539
AT ITER 911 NEW BEST:: SOT 634231 SOS 439445 HAS SOPS 439445 HAS SOUS 380409 HAS SOUPS 380409 WITH SCORE 380848.445
AT ITER 915 NEW BEST:: SOT 634044 SOS 438178 HAS SOPS 438178 HAS SOUS 379325 HAS SOUPS 379325 WITH SCORE 379763.178
AT ITER 917 NEW BEST:: SOT 633540 SOS 437245 HAS SOPS 437245 HAS SOUS 378128 HAS SOUPS 378128 WITH SCORE 378565.245
AT ITER 921 NEW BEST:: SOT 633412 SOS 436745 HAS SOPS 436745 HAS SOUS 377952 HAS SOUPS 377952 WITH SCORE 378388.745
AT ITER 922 NEW BEST:: SOT 633379 SOS 436712 HAS SOPS 436712 HAS SOUS 377919 HAS SOUPS 377919 WITH SCORE 378355.712
AT ITER 923 NEW BEST:: SOT 633307 SOS 436640 HAS SOPS 436640 HAS SOUS 377847 HAS SOUPS 377847 WITH SCORE 378283.64
AT ITER 924 NEW BEST:: SOT 633414 SOS 436246 HAS SOPS 436246 HAS SOUS 377572 HAS SOUPS 377572 WITH SCORE 378008.246
AT ITER 926 NEW BEST:: SOT 633411 SOS 436243 HAS SOPS 436243 HAS SOUS 377569 HAS SOUPS 377569 WITH SCORE 378005.243
AT ITER 927 NEW BEST:: SOT 633583 SOS 436059 HAS SOPS 436059 HAS SOUS 377385 HAS SOUPS 377385 WITH SCORE 377821.059
AT ITER 928 NEW BEST:: SOT 633583 SOS 436058 HAS SOPS 436058 HAS SOUS 377384 HAS SOUPS 377384 WITH SCORE 377820.058
AT ITER 934 NEW BEST:: SOT 633405 SOS 435744 HAS SOPS 435744 HAS SOUS 377073 HAS SOUPS 377073 WITH SCORE 377508.744
AT ITER 935 NEW BEST:: SOT 633326 SOS 435598 HAS SOPS 435598 HAS SOUS 376927 HAS SOUPS 376927 WITH SCORE 377362.598
AT ITER 939 NEW BEST:: SOT 633207 SOS 435303 HAS SOPS 435303 HAS SOUS 376630 HAS SOUPS 376630 WITH SCORE 377065.303
AT ITER 940 NEW BEST:: SOT 633325 SOS 434749 HAS SOPS 434749 HAS SOUS 376549 HAS SOUPS 376549 WITH SCORE 376983.749
AT ITER 942 NEW BEST:: SOT 632812 SOS 433986 HAS SOPS 433986 HAS SOUS 375945 HAS SOUPS 375945 WITH SCORE 376378.986
AT ITER 943 NEW BEST:: SOT 632812 SOS 433965 HAS SOPS 433965 HAS SOUS 375929 HAS SOUPS 375929 WITH SCORE 376362.965
AT ITER 955 NEW BEST:: SOT 632203 SOS 433190 HAS SOPS 433190 HAS SOUS 375154 HAS SOUPS 375154 WITH SCORE 375587.19
AT ITER 956 NEW BEST:: SOT 631410 SOS 432393 HAS SOPS 432393 HAS SOUS 374358 HAS SOUPS 374358 WITH SCORE 374790.393
AT ITER 964 NEW BEST:: SOT 630609 SOS 431400 HAS SOPS 431400 HAS SOUS 373365 HAS SOUPS 373365 WITH SCORE 373796.4
AT ITER 968 NEW BEST:: SOT 630557 SOS 431098 HAS SOPS 431098 HAS SOUS 373063 HAS SOUPS 373063 WITH SCORE 373494.098
AT ITER 985 NEW BEST:: SOT 630557 SOS 431096 HAS SOPS 431096 HAS SOUS 373061 HAS SOUPS 373061 WITH SCORE 373492.096
AT ITER 986 NEW BEST:: SOT 630600 SOS 430963 HAS SOPS 430963 HAS SOUS 372996 HAS SOUPS 372996 WITH SCORE 373426.963
AT ITER 987 NEW BEST:: SOT 630600 SOS 430922 HAS SOPS 430922 HAS SOUS 372955 HAS SOUPS 372955 WITH SCORE 373385.922
AT ITER 990 NEW BEST:: SOT 630583 SOS 430905 HAS SOPS 430905 HAS SOUS 372938 HAS SOUPS 372938 WITH SCORE 373368.905
AT ITER 999 NEW BEST:: SOT 630599 SOS 430697 HAS SOPS 430697 HAS SOUS 372730 HAS SOUPS 372730 WITH SCORE 373160.697
AT ITER 1006 NEW BEST:: SOT 630556 SOS 430565 HAS SOPS 430565 HAS SOUS 372598 HAS SOUPS 372598 WITH SCORE 373028.565
AT ITER 1009 NEW BEST:: SOT 630828 SOS 430913 HAS SOPS 430913 HAS SOUS 372568 HAS SOUPS 372568 WITH SCORE 372998.913
AT ITER 1011 NEW BEST:: SOT 630930 SOS 430660 HAS SOPS 430660 HAS SOUS 372078 HAS SOUPS 372078 WITH SCORE 372508.66
AT ITER 1012 NEW BEST:: SOT 630696 SOS 430426 HAS SOPS 430426 HAS SOUS 371844 HAS SOUPS 371844 WITH SCORE 372274.426
AT ITER 1013 NEW BEST:: SOT 630782 SOS 430254 HAS SOPS 430254 HAS SOUS 371672 HAS SOUPS 371672 WITH SCORE 372102.254
AT ITER 1014 NEW BEST:: SOT 630593 SOS 429617 HAS SOPS 429617 HAS SOUS 370969 HAS SOUPS 370969 WITH SCORE 371398.617
AT ITER 1020 NEW BEST:: SOT 630592 SOS 429604 HAS SOPS 429604 HAS SOUS 370959 HAS SOUPS 370959 WITH SCORE 371388.604
AT ITER 1021 NEW BEST:: SOT 630248 SOS 429085 HAS SOPS 429085 HAS SOUS 370440 HAS SOUPS 370440 WITH SCORE 370869.085
AT ITER 1023 NEW BEST:: SOT 629799 SOS 428654 HAS SOPS 428654 HAS SOUS 370009 HAS SOUPS 370009 WITH SCORE 370437.654
AT ITER 1025 NEW BEST:: SOT 629798 SOS 428672 HAS SOPS 428672 HAS SOUS 370006 HAS SOUPS 370006 WITH SCORE 370434.672
AT ITER 1026 NEW BEST:: SOT 629612 SOS 428002 HAS SOPS 428002 HAS SOUS 369849 HAS SOUPS 369849 WITH SCORE 370277.002
AT ITER 1030 NEW BEST:: SOT 629612 SOS 427968 HAS SOPS 427968 HAS SOUS 369849 HAS SOUPS 369849 WITH SCORE 370276.968
AT ITER 1041 NEW BEST:: SOT 629473 SOS 427793 HAS SOPS 427793 HAS SOUS 369813 HAS SOUPS 369813 WITH SCORE 370240.793
AT ITER 1047 NEW BEST:: SOT 629459 SOS 427779 HAS SOPS 427779 HAS SOUS 369799 HAS SOUPS 369799 WITH SCORE 370226.779
AT ITER 1053 NEW BEST:: SOT 629444 SOS 427702 HAS SOPS 427702 HAS SOUS 369769 HAS SOUPS 369769 WITH SCORE 370196.702
AT ITER 1056 NEW BEST:: SOT 628740 SOS 426998 HAS SOPS 426998 HAS SOUS 369177 HAS SOUPS 369177 WITH SCORE 369603.998
AT ITER 1058 NEW BEST:: SOT 628710 SOS 426966 HAS SOPS 426966 HAS SOUS 369145 HAS SOUPS 369145 WITH SCORE 369571.966
AT ITER 1061 NEW BEST:: SOT 628710 SOS 426934 HAS SOPS 426934 HAS SOUS 369143 HAS SOUPS 369143 WITH SCORE 369569.934
AT ITER 1069 NEW BEST:: SOT 628423 SOS 426499 HAS SOPS 426499 HAS SOUS 368545 HAS SOUPS 368545 WITH SCORE 368971.499
AT ITER 1070 NEW BEST:: SOT 628264 SOS 426340 HAS SOPS 426340 HAS SOUS 368545 HAS SOUPS 368545 WITH SCORE 368971.34
AT ITER 1076 NEW BEST:: SOT 628223 SOS 426178 HAS SOPS 426178 HAS SOUS 368006 HAS SOUPS 368006 WITH SCORE 368432.178
AT ITER 1079 NEW BEST:: SOT 628065 SOS 426036 HAS SOPS 426036 HAS SOUS 367864 HAS SOUPS 367864 WITH SCORE 368290.036
AT ITER 1083 NEW BEST:: SOT 628059 SOS 426030 HAS SOPS 426030 HAS SOUS 367858 HAS SOUPS 367858 WITH SCORE 368284.03
AT ITER 1088 NEW BEST:: SOT 628077 SOS 426349 HAS SOPS 426349 HAS SOUS 366446 HAS SOUPS 366446 WITH SCORE 366872.349
AT ITER 1090 NEW BEST:: SOT 628179 SOS 426288 HAS SOPS 426288 HAS SOUS 366385 HAS SOUPS 366385 WITH SCORE 366811.288
AT ITER 1092 NEW BEST:: SOT 627963 SOS 426072 HAS SOPS 426072 HAS SOUS 366198 HAS SOUPS 366198 WITH SCORE 366624.072
AT ITER 1096 NEW BEST:: SOT 627927 SOS 426000 HAS SOPS 426000 HAS SOUS 366054 HAS SOUPS 366054 WITH SCORE 366480.0
AT ITER 1097 NEW BEST:: SOT 627925 SOS 425998 HAS SOPS 425998 HAS SOUS 366052 HAS SOUPS 366052 WITH SCORE 366477.998
AT ITER 1098 NEW BEST:: SOT 627656 SOS 424498 HAS SOPS 424498 HAS SOUS 365996 HAS SOUPS 365996 WITH SCORE 366420.498
AT ITER 1101 NEW BEST:: SOT 627331 SOS 424173 HAS SOPS 424173 HAS SOUS 365671 HAS SOUPS 365671 WITH SCORE 366095.173
AT ITER 1102 NEW BEST:: SOT 627306 SOS 423954 HAS SOPS 423954 HAS SOUS 365421 HAS SOUPS 365421 WITH SCORE 365844.954
AT ITER 1104 NEW BEST:: SOT 627081 SOS 423897 HAS SOPS 423897 HAS SOUS 365364 HAS SOUPS 365364 WITH SCORE 365787.897
AT ITER 1105 NEW BEST:: SOT 627193 SOS 423748 HAS SOPS 423748 HAS SOUS 365237 HAS SOUPS 365237 WITH SCORE 365660.748
AT ITER 1108 NEW BEST:: SOT 627075 SOS 423630 HAS SOPS 423630 HAS SOUS 365119 HAS SOUPS 365119 WITH SCORE 365542.63
AT ITER 1111 NEW BEST:: SOT 627031 SOS 423513 HAS SOPS 423513 HAS SOUS 365002 HAS SOUPS 365002 WITH SCORE 365425.513
AT ITER 1114 NEW BEST:: SOT 627031 SOS 423528 HAS SOPS 423528 HAS SOUS 364987 HAS SOUPS 364987 WITH SCORE 365410.528
AT ITER 1132 NEW BEST:: SOT 626630 SOS 423127 HAS SOPS 423127 HAS SOUS 364586 HAS SOUPS 364586 WITH SCORE 365009.127
AT ITER 1136 NEW BEST:: SOT 626533 SOS 423099 HAS SOPS 423099 HAS SOUS 364558 HAS SOUPS 364558 WITH SCORE 364981.099
AT ITER 1138 NEW BEST:: SOT 627031 SOS 423456 HAS SOPS 423456 HAS SOUS 364532 HAS SOUPS 364532 WITH SCORE 364955.456
AT ITER 1140 NEW BEST:: SOT 626900 SOS 423325 HAS SOPS 423325 HAS SOUS 364401 HAS SOUPS 364401 WITH SCORE 364824.325
AT ITER 1146 NEW BEST:: SOT 626528 SOS 422829 HAS SOPS 422829 HAS SOUS 363905 HAS SOUPS 363905 WITH SCORE 364327.829
AT ITER 1157 NEW BEST:: SOT 626316 SOS 422383 HAS SOPS 422383 HAS SOUS 363459 HAS SOUPS 363459 WITH SCORE 363881.383
AT ITER 1159 NEW BEST:: SOT 625731 SOS 421890 HAS SOPS 421890 HAS SOUS 362966 HAS SOUPS 362966 WITH SCORE 363387.89
AT ITER 1169 NEW BEST:: SOT 625143 SOS 420387 HAS SOPS 420387 HAS SOUS 362068 HAS SOUPS 362068 WITH SCORE 362488.387
AT ITER 1172 NEW BEST:: SOT 624887 SOS 419688 HAS SOPS 419688 HAS SOUS 361505 HAS SOUPS 361505 WITH SCORE 361924.688
AT ITER 1178 NEW BEST:: SOT 624824 SOS 419625 HAS SOPS 419625 HAS SOUS 361399 HAS SOUPS 361399 WITH SCORE 361818.625
AT ITER 1181 NEW BEST:: SOT 624756 SOS 419471 HAS SOPS 419471 HAS SOUS 361398 HAS SOUPS 361398 WITH SCORE 361817.471
AT ITER 1182 NEW BEST:: SOT 624740 SOS 419399 HAS SOPS 419399 HAS SOUS 360979 HAS SOUPS 360979 WITH SCORE 361398.399
AT ITER 1186 NEW BEST:: SOT 624740 SOS 419235 HAS SOPS 419235 HAS SOUS 360625 HAS SOUPS 360625 WITH SCORE 361044.235
AT ITER 1188 NEW BEST:: SOT 624379 SOS 418674 HAS SOPS 418674 HAS SOUS 360064 HAS SOUPS 360064 WITH SCORE 360482.674
AT ITER 1197 NEW BEST:: SOT 624732 SOS 418687 HAS SOPS 418687 HAS SOUS 359805 HAS SOUPS 359805 WITH SCORE 360223.687
AT ITER 1202 NEW BEST:: SOT 624732 SOS 418687 HAS SOPS 418687 HAS SOUS 359765 HAS SOUPS 359765 WITH SCORE 360183.687
AT ITER 1205 NEW BEST:: SOT 624925 SOS 418632 HAS SOPS 418632 HAS SOUS 359710 HAS SOUPS 359710 WITH SCORE 360128.632
AT ITER 1206 NEW BEST:: SOT 624927 SOS 418627 HAS SOPS 418627 HAS SOUS 359705 HAS SOUPS 359705 WITH SCORE 360123.627
AT ITER 1210 NEW BEST:: SOT 624876 SOS 418576 HAS SOPS 418576 HAS SOUS 359654 HAS SOUPS 359654 WITH SCORE 360072.576
AT ITER 1216 NEW BEST:: SOT 625006 SOS 416790 HAS SOPS 416790 HAS SOUS 358671 HAS SOUPS 358671 WITH SCORE 359087.79
AT ITER 1217 NEW BEST:: SOT 625006 SOS 416781 HAS SOPS 416781 HAS SOUS 358662 HAS SOUPS 358662 WITH SCORE 359078.781
AT ITER 1228 NEW BEST:: SOT 625109 SOS 416781 HAS SOPS 416781 HAS SOUS 358559 HAS SOUPS 358559 WITH SCORE 358975.781
AT ITER 1230 NEW BEST:: SOT 625220 SOS 415824 HAS SOPS 415824 HAS SOUS 358244 HAS SOUPS 358244 WITH SCORE 358659.824
AT ITER 1236 NEW BEST:: SOT 625260 SOS 415864 HAS SOPS 415864 HAS SOUS 358004 HAS SOUPS 358004 WITH SCORE 358419.864
AT ITER 1237 NEW BEST:: SOT 625258 SOS 415730 HAS SOPS 415730 HAS SOUS 357488 HAS SOUPS 357488 WITH SCORE 357903.73
AT ITER 1239 NEW BEST:: SOT 625279 SOS 415700 HAS SOPS 415700 HAS SOUS 357407 HAS SOUPS 357407 WITH SCORE 357822.7
AT ITER 1240 NEW BEST:: SOT 624137 SOS 414283 HAS SOPS 414283 HAS SOUS 356545 HAS SOUPS 356545 WITH SCORE 356959.283
AT ITER 1247 NEW BEST:: SOT 623841 SOS 414063 HAS SOPS 414063 HAS SOUS 356325 HAS SOUPS 356325 WITH SCORE 356739.063
AT ITER 1251 NEW BEST:: SOT 623806 SOS 413983 HAS SOPS 413983 HAS SOUS 356239 HAS SOUPS 356239 WITH SCORE 356652.983
AT ITER 1255 NEW BEST:: SOT 623640 SOS 413816 HAS SOPS 413816 HAS SOUS 356072 HAS SOUPS 356072 WITH SCORE 356485.816
AT ITER 1256 NEW BEST:: SOT 623606 SOS 413748 HAS SOPS 413748 HAS SOUS 356004 HAS SOUPS 356004 WITH SCORE 356417.748
AT ITER 1267 NEW BEST:: SOT 623689 SOS 413064 HAS SOPS 413064 HAS SOUS 355871 HAS SOUPS 355871 WITH SCORE 356284.064
AT ITER 1278 NEW BEST:: SOT 623781 SOS 413043 HAS SOPS 413043 HAS SOUS 355781 HAS SOUPS 355781 WITH SCORE 356194.043
AT ITER 1287 NEW BEST:: SOT 623758 SOS 413008 HAS SOPS 413008 HAS SOUS 355746 HAS SOUPS 355746 WITH SCORE 356159.008
AT ITER 1294 NEW BEST:: SOT 623987 SOS 412718 HAS SOPS 412718 HAS SOUS 355448 HAS SOUPS 355448 WITH SCORE 355860.718
AT ITER 1296 NEW BEST:: SOT 623881 SOS 412439 HAS SOPS 412439 HAS SOUS 355169 HAS SOUPS 355169 WITH SCORE 355581.439
AT ITER 1299 NEW BEST:: SOT 623779 SOS 412337 HAS SOPS 412337 HAS SOUS 355067 HAS SOUPS 355067 WITH SCORE 355479.337
AT ITER 1300 NEW BEST:: SOT 623779 SOS 411733 HAS SOPS 411733 HAS SOUS 354541 HAS SOUPS 354541 WITH SCORE 354952.733
AT ITER 1318 NEW BEST:: SOT 623769 SOS 411723 HAS SOPS 411723 HAS SOUS 354531 HAS SOUPS 354531 WITH SCORE 354942.723
AT ITER 1320 NEW BEST:: SOT 623842 SOS 411517 HAS SOPS 411517 HAS SOUS 354481 HAS SOUPS 354481 WITH SCORE 354892.517
AT ITER 1321 NEW BEST:: SOT 624077 SOS 411447 HAS SOPS 411447 HAS SOUS 354200 HAS SOUPS 354200 WITH SCORE 354611.447
AT ITER 1324 NEW BEST:: SOT 623842 SOS 411313 HAS SOPS 411313 HAS SOUS 354066 HAS SOUPS 354066 WITH SCORE 354477.313
AT ITER 1331 NEW BEST:: SOT 623800 SOS 411271 HAS SOPS 411271 HAS SOUS 354024 HAS SOUPS 354024 WITH SCORE 354435.271
AT ITER 1333 NEW BEST:: SOT 623851 SOS 411073 HAS SOPS 411073 HAS SOUS 353967 HAS SOUPS 353967 WITH SCORE 354378.073
AT ITER 1337 NEW BEST:: SOT 623851 SOS 411043 HAS SOPS 411043 HAS SOUS 353967 HAS SOUPS 353967 WITH SCORE 354378.043
AT ITER 1343 NEW BEST:: SOT 623575 SOS 410564 HAS SOPS 410564 HAS SOUS 353488 HAS SOUPS 353488 WITH SCORE 353898.564
AT ITER 1353 NEW BEST:: SOT 623575 SOS 410564 HAS SOPS 410564 HAS SOUS 353487 HAS SOUPS 353487 WITH SCORE 353897.564
AT ITER 1356 NEW BEST:: SOT 623011 SOS 408586 HAS SOPS 408586 HAS SOUS 351634 HAS SOUPS 351634 WITH SCORE 352042.586
AT ITER 1359 NEW BEST:: SOT 623126 SOS 408619 HAS SOPS 408619 HAS SOUS 351609 HAS SOUPS 351609 WITH SCORE 352017.619
AT ITER 1364 NEW BEST:: SOT 622991 SOS 407852 HAS SOPS 407852 HAS SOUS 350707 HAS SOUPS 350707 WITH SCORE 351114.852
AT ITER 1365 NEW BEST:: SOT 622884 SOS 407574 HAS SOPS 407574 HAS SOUS 350491 HAS SOUPS 350491 WITH SCORE 350898.574
AT ITER 1370 NEW BEST:: SOT 622985 SOS 407525 HAS SOPS 407525 HAS SOUS 349759 HAS SOUPS 349759 WITH SCORE 350166.525
AT ITER 1381 NEW BEST:: SOT 623124 SOS 407652 HAS SOPS 407652 HAS SOUS 349747 HAS SOUPS 349747 WITH SCORE 350154.652
AT ITER 1383 NEW BEST:: SOT 623124 SOS 407597 HAS SOPS 407597 HAS SOUS 349692 HAS SOUPS 349692 WITH SCORE 350099.597
AT ITER 1385 NEW BEST:: SOT 623070 SOS 407543 HAS SOPS 407543 HAS SOUS 349638 HAS SOUPS 349638 WITH SCORE 350045.543
AT ITER 1390 NEW BEST:: SOT 621911 SOS 406402 HAS SOPS 406402 HAS SOUS 348497 HAS SOUPS 348497 WITH SCORE 348903.402
AT ITER 1391 NEW BEST:: SOT 621171 SOS 405662 HAS SOPS 405662 HAS SOUS 347757 HAS SOUPS 347757 WITH SCORE 348162.662
AT ITER 1394 NEW BEST:: SOT 620883 SOS 405588 HAS SOPS 405588 HAS SOUS 347683 HAS SOUPS 347683 WITH SCORE 348088.588
AT ITER 1398 NEW BEST:: SOT 620437 SOS 405101 HAS SOPS 405101 HAS SOUS 347290 HAS SOUPS 347290 WITH SCORE 347695.101
AT ITER 1401 NEW BEST:: SOT 620227 SOS 404891 HAS SOPS 404891 HAS SOUS 347080 HAS SOUPS 347080 WITH SCORE 347484.891
AT ITER 1404 NEW BEST:: SOT 620260 SOS 404595 HAS SOPS 404595 HAS SOUS 346839 HAS SOUPS 346839 WITH SCORE 347243.595
AT ITER 1407 NEW BEST:: SOT 620075 SOS 404410 HAS SOPS 404410 HAS SOUS 346654 HAS SOUPS 346654 WITH SCORE 347058.41
AT ITER 1410 NEW BEST:: SOT 620040 SOS 404340 HAS SOPS 404340 HAS SOUS 346584 HAS SOUPS 346584 WITH SCORE 346988.34
AT ITER 1411 NEW BEST:: SOT 620040 SOS 404176 HAS SOPS 404176 HAS SOUS 346513 HAS SOUPS 346513 WITH SCORE 346917.176
AT ITER 1412 NEW BEST:: SOT 619559 SOS 403703 HAS SOPS 403703 HAS SOUS 346040 HAS SOUPS 346040 WITH SCORE 346443.703
AT ITER 1419 NEW BEST:: SOT 619514 SOS 403480 HAS SOPS 403480 HAS SOUS 345993 HAS SOUPS 345993 WITH SCORE 346396.48
AT ITER 1420 NEW BEST:: SOT 619634 SOS 403265 HAS SOPS 403265 HAS SOUS 345052 HAS SOUPS 345052 WITH SCORE 345455.265
AT ITER 1422 NEW BEST:: SOT 619531 SOS 403059 HAS SOPS 403059 HAS SOUS 345052 HAS SOUPS 345052 WITH SCORE 345455.059
AT ITER 1429 NEW BEST:: SOT 619382 SOS 402830 HAS SOPS 402830 HAS SOUS 344823 HAS SOUPS 344823 WITH SCORE 345225.83
AT ITER 1440 NEW BEST:: SOT 619204 SOS 402652 HAS SOPS 402652 HAS SOUS 344645 HAS SOUPS 344645 WITH SCORE 345047.652
AT ITER 1441 NEW BEST:: SOT 619185 SOS 402631 HAS SOPS 402631 HAS SOUS 344624 HAS SOUPS 344624 WITH SCORE 345026.631
AT ITER 1445 NEW BEST:: SOT 619076 SOS 402499 HAS SOPS 402499 HAS SOUS 344613 HAS SOUPS 344613 WITH SCORE 345015.499
AT ITER 1447 NEW BEST:: SOT 619186 SOS 401583 HAS SOPS 401583 HAS SOUS 344383 HAS SOUPS 344383 WITH SCORE 344784.583
AT ITER 1450 NEW BEST:: SOT 619114 SOS 401511 HAS SOPS 401511 HAS SOUS 344311 HAS SOUPS 344311 WITH SCORE 344712.511
AT ITER 1456 NEW BEST:: SOT 618887 SOS 400887 HAS SOPS 400887 HAS SOUS 343095 HAS SOUPS 343095 WITH SCORE 343495.887
AT ITER 1459 NEW BEST:: SOT 618431 SOS 400429 HAS SOPS 400429 HAS SOUS 342637 HAS SOUPS 342637 WITH SCORE 343037.429
AT ITER 1460 NEW BEST:: SOT 618153 SOS 400057 HAS SOPS 400057 HAS SOUS 342265 HAS SOUPS 342265 WITH SCORE 342665.057
AT ITER 1462 NEW BEST:: SOT 618456 SOS 400089 HAS SOPS 400089 HAS SOUS 342091 HAS SOUPS 342091 WITH SCORE 342491.089
AT ITER 1470 NEW BEST:: SOT 618282 SOS 399489 HAS SOPS 399489 HAS SOUS 341824 HAS SOUPS 341824 WITH SCORE 342223.489
AT ITER 1471 NEW BEST:: SOT 618130 SOS 399297 HAS SOPS 399297 HAS SOUS 341632 HAS SOUPS 341632 WITH SCORE 342031.297
AT ITER 1475 NEW BEST:: SOT 618130 SOS 399033 HAS SOPS 399033 HAS SOUS 341368 HAS SOUPS 341368 WITH SCORE 341767.033
AT ITER 1480 NEW BEST:: SOT 618130 SOS 398992 HAS SOPS 398992 HAS SOUS 341368 HAS SOUPS 341368 WITH SCORE 341766.992
AT ITER 1501 NEW BEST:: SOT 618269 SOS 398722 HAS SOPS 398722 HAS SOUS 341234 HAS SOUPS 341234 WITH SCORE 341632.722
AT ITER 1503 NEW BEST:: SOT 618321 SOS 398576 HAS SOPS 398576 HAS SOUS 341088 HAS SOUPS 341088 WITH SCORE 341486.576
AT ITER 1521 NEW BEST:: SOT 618267 SOS 398367 HAS SOPS 398367 HAS SOUS 340879 HAS SOUPS 340879 WITH SCORE 341277.367
AT ITER 1529 NEW BEST:: SOT 618310 SOS 398362 HAS SOPS 398362 HAS SOUS 340812 HAS SOUPS 340812 WITH SCORE 341210.362
AT ITER 1530 NEW BEST:: SOT 618309 SOS 398361 HAS SOPS 398361 HAS SOUS 340811 HAS SOUPS 340811 WITH SCORE 341209.361
AT ITER 1537 NEW BEST:: SOT 618306 SOS 398358 HAS SOPS 398358 HAS SOUS 340808 HAS SOUPS 340808 WITH SCORE 341206.358
AT ITER 1540 NEW BEST:: SOT 618312 SOS 398357 HAS SOPS 398357 HAS SOUS 340787 HAS SOUPS 340787 WITH SCORE 341185.357
AT ITER 1542 NEW BEST:: SOT 618312 SOS 398433 HAS SOPS 398433 HAS SOUS 340636 HAS SOUPS 340636 WITH SCORE 341034.433
AT ITER 1550 NEW BEST:: SOT 618108 SOS 398098 HAS SOPS 398098 HAS SOUS 340301 HAS SOUPS 340301 WITH SCORE 340699.098
AT ITER 1556 NEW BEST:: SOT 617928 SOS 397846 HAS SOPS 397846 HAS SOUS 340049 HAS SOUPS 340049 WITH SCORE 340446.846
AT ITER 1566 NEW BEST:: SOT 618165 SOS 397193 HAS SOPS 397193 HAS SOUS 339621 HAS SOUPS 339621 WITH SCORE 340018.193
AT ITER 1585 NEW BEST:: SOT 618171 SOS 396891 HAS SOPS 396891 HAS SOUS 339537 HAS SOUPS 339537 WITH SCORE 339933.891
AT ITER 1586 NEW BEST:: SOT 618129 SOS 396867 HAS SOPS 396867 HAS SOUS 339483 HAS SOUPS 339483 WITH SCORE 339879.867
AT ITER 1591 NEW BEST:: SOT 618129 SOS 396632 HAS SOPS 396632 HAS SOUS 339063 HAS SOUPS 339063 WITH SCORE 339459.632
AT ITER 1594 NEW BEST:: SOT 617851 SOS 396352 HAS SOPS 396352 HAS SOUS 338753 HAS SOUPS 338753 WITH SCORE 339149.352
AT ITER 1609 NEW BEST:: SOT 617932 SOS 396106 HAS SOPS 396106 HAS SOUS 338282 HAS SOUPS 338282 WITH SCORE 338678.106
AT ITER 1617 NEW BEST:: SOT 617442 SOS 395485 HAS SOPS 395485 HAS SOUS 337661 HAS SOUPS 337661 WITH SCORE 338056.485
AT ITER 1620 NEW BEST:: SOT 616779 SOS 394564 HAS SOPS 394564 HAS SOUS 336740 HAS SOUPS 336740 WITH SCORE 337134.564
AT ITER 1622 NEW BEST:: SOT 616597 SOS 394307 HAS SOPS 394307 HAS SOUS 336731 HAS SOUPS 336731 WITH SCORE 337125.307
AT ITER 1629 NEW BEST:: SOT 616630 SOS 394141 HAS SOPS 394141 HAS SOUS 336580 HAS SOUPS 336580 WITH SCORE 336974.141
AT ITER 1634 NEW BEST:: SOT 615904 SOS 393447 HAS SOPS 393447 HAS SOUS 335870 HAS SOUPS 335870 WITH SCORE 336263.447
AT ITER 1646 NEW BEST:: SOT 615375 SOS 392640 HAS SOPS 392640 HAS SOUS 334738 HAS SOUPS 334738 WITH SCORE 335130.64
AT ITER 1651 NEW BEST:: SOT 614950 SOS 391257 HAS SOPS 391257 HAS SOUS 333916 HAS SOUPS 333916 WITH SCORE 334307.257
AT ITER 1658 NEW BEST:: SOT 614950 SOS 391253 HAS SOPS 391253 HAS SOUS 333912 HAS SOUPS 333912 WITH SCORE 334303.253
AT ITER 1665 NEW BEST:: SOT 614839 SOS 391063 HAS SOPS 391063 HAS SOUS 333833 HAS SOUPS 333833 WITH SCORE 334224.063
AT ITER 1666 NEW BEST:: SOT 614202 SOS 390734 HAS SOPS 390734 HAS SOUS 333665 HAS SOUPS 333665 WITH SCORE 334055.734
AT ITER 1667 NEW BEST:: SOT 614202 SOS 390106 HAS SOPS 390106 HAS SOUS 333597 HAS SOUPS 333597 WITH SCORE 333987.106
AT ITER 1670 NEW BEST:: SOT 614301 SOS 390023 HAS SOPS 390023 HAS SOUS 333580 HAS SOUPS 333580 WITH SCORE 333970.023
AT ITER 1671 NEW BEST:: SOT 614263 SOS 389976 HAS SOPS 389976 HAS SOUS 333533 HAS SOUPS 333533 WITH SCORE 333922.976
AT ITER 1674 NEW BEST:: SOT 614151 SOS 390065 HAS SOPS 390065 HAS SOUS 333350 HAS SOUPS 333350 WITH SCORE 333740.065
AT ITER 1678 NEW BEST:: SOT 614096 SOS 389955 HAS SOPS 389955 HAS SOUS 333249 HAS SOUPS 333249 WITH SCORE 333638.955
AT ITER 1689 NEW BEST:: SOT 614096 SOS 389924 HAS SOPS 389924 HAS SOUS 333218 HAS SOUPS 333218 WITH SCORE 333607.924
AT ITER 1693 NEW BEST:: SOT 614094 SOS 389892 HAS SOPS 389892 HAS SOUS 333158 HAS SOUPS 333158 WITH SCORE 333547.892
AT ITER 1698 NEW BEST:: SOT 614384 SOS 389675 HAS SOPS 389675 HAS SOUS 333059 HAS SOUPS 333059 WITH SCORE 333448.675
AT ITER 1700 NEW BEST:: SOT 614490 SOS 388988 HAS SOPS 388988 HAS SOUS 332553 HAS SOUPS 332553 WITH SCORE 332941.988
AT ITER 1704 NEW BEST:: SOT 614544 SOS 389008 HAS SOPS 389008 HAS SOUS 332364 HAS SOUPS 332364 WITH SCORE 332753.008
AT ITER 1705 NEW BEST:: SOT 614446 SOS 388838 HAS SOPS 388838 HAS SOUS 332286 HAS SOUPS 332286 WITH SCORE 332674.838
AT ITER 1707 NEW BEST:: SOT 614124 SOS 388516 HAS SOPS 388516 HAS SOUS 331964 HAS SOUPS 331964 WITH SCORE 332352.516
AT ITER 1708 NEW BEST:: SOT 613620 SOS 387812 HAS SOPS 387812 HAS SOUS 331201 HAS SOUPS 331201 WITH SCORE 331588.812
AT ITER 1731 NEW BEST:: SOT 613754 SOS 387811 HAS SOPS 387811 HAS SOUS 331200 HAS SOUPS 331200 WITH SCORE 331587.811
AT ITER 1734 NEW BEST:: SOT 613418 SOS 387331 HAS SOPS 387331 HAS SOUS 330720 HAS SOUPS 330720 WITH SCORE 331107.331
AT ITER 1739 NEW BEST:: SOT 612702 SOS 387006 HAS SOPS 387006 HAS SOUS 330420 HAS SOUPS 330420 WITH SCORE 330807.006
AT ITER 1749 NEW BEST:: SOT 612684 SOS 386988 HAS SOPS 386988 HAS SOUS 330402 HAS SOUPS 330402 WITH SCORE 330788.988
AT ITER 1766 NEW BEST:: SOT 612707 SOS 386921 HAS SOPS 386921 HAS SOUS 330335 HAS SOUPS 330335 WITH SCORE 330721.921
AT ITER 1767 NEW BEST:: SOT 612806 SOS 386897 HAS SOPS 386897 HAS SOUS 330133 HAS SOUPS 330133 WITH SCORE 330519.897
AT ITER 1772 NEW BEST:: SOT 612712 SOS 386780 HAS SOPS 386780 HAS SOUS 330016 HAS SOUPS 330016 WITH SCORE 330402.78
AT ITER 1778 NEW BEST:: SOT 612640 SOS 386729 HAS SOPS 386729 HAS SOUS 329934 HAS SOUPS 329934 WITH SCORE 330320.729
AT ITER 1790 NEW BEST:: SOT 612528 SOS 386617 HAS SOPS 386617 HAS SOUS 329822 HAS SOUPS 329822 WITH SCORE 330208.617
AT ITER 1800 NEW BEST:: SOT 612520 SOS 386601 HAS SOPS 386601 HAS SOUS 329806 HAS SOUPS 329806 WITH SCORE 330192.601
AT ITER 1801 NEW BEST:: SOT 612067 SOS 385626 HAS SOPS 385626 HAS SOUS 328600 HAS SOUPS 328600 WITH SCORE 328985.626
AT ITER 1803 NEW BEST:: SOT 612187 SOS 385574 HAS SOPS 385574 HAS SOUS 328393 HAS SOUPS 328393 WITH SCORE 328778.574
AT ITER 1809 NEW BEST:: SOT 611539 SOS 384926 HAS SOPS 384926 HAS SOUS 327745 HAS SOUPS 327745 WITH SCORE 328129.926
AT ITER 1824 NEW BEST:: SOT 610577 SOS 383658 HAS SOPS 383658 HAS SOUS 326477 HAS SOUPS 326477 WITH SCORE 326860.658
AT ITER 1827 NEW BEST:: SOT 610349 SOS 383492 HAS SOPS 383492 HAS SOUS 326269 HAS SOUPS 326269 WITH SCORE 326652.492
AT ITER 1828 NEW BEST:: SOT 610208 SOS 383481 HAS SOPS 383481 HAS SOUS 326049 HAS SOUPS 326049 WITH SCORE 326432.481
AT ITER 1829 NEW BEST:: SOT 609968 SOS 383241 HAS SOPS 383241 HAS SOUS 325809 HAS SOUPS 325809 WITH SCORE 326192.241
AT ITER 1841 NEW BEST:: SOT 609907 SOS 383194 HAS SOPS 383194 HAS SOUS 325762 HAS SOUPS 325762 WITH SCORE 326145.194
AT ITER 1857 NEW BEST:: SOT 609870 SOS 383083 HAS SOPS 383083 HAS SOUS 325614 HAS SOUPS 325614 WITH SCORE 325997.083
AT ITER 1863 NEW BEST:: SOT 609867 SOS 383080 HAS SOPS 383080 HAS SOUS 325611 HAS SOUPS 325611 WITH SCORE 325994.08
AT ITER 1870 NEW BEST:: SOT 610018 SOS 383119 HAS SOPS 383119 HAS SOUS 325499 HAS SOUPS 325499 WITH SCORE 325882.119
AT ITER 1872 NEW BEST:: SOT 609997 SOS 383056 HAS SOPS 383056 HAS SOUS 325477 HAS SOUPS 325477 WITH SCORE 325860.056
AT ITER 1877 NEW BEST:: SOT 609934 SOS 382993 HAS SOPS 382993 HAS SOUS 325414 HAS SOUPS 325414 WITH SCORE 325796.993
AT ITER 1878 NEW BEST:: SOT 609670 SOS 382772 HAS SOPS 382772 HAS SOUS 325193 HAS SOUPS 325193 WITH SCORE 325575.772
AT ITER 1880 NEW BEST:: SOT 609598 SOS 382700 HAS SOPS 382700 HAS SOUS 325121 HAS SOUPS 325121 WITH SCORE 325503.7
AT ITER 1883 NEW BEST:: SOT 609802 SOS 382907 HAS SOPS 382907 HAS SOUS 324984 HAS SOUPS 324984 WITH SCORE 325366.907
AT ITER 1890 NEW BEST:: SOT 609802 SOS 382710 HAS SOPS 382710 HAS SOUS 324787 HAS SOUPS 324787 WITH SCORE 325169.71
AT ITER 1892 NEW BEST:: SOT 609627 SOS 382535 HAS SOPS 382535 HAS SOUS 324612 HAS SOUPS 324612 WITH SCORE 324994.535
AT ITER 1895 NEW BEST:: SOT 609572 SOS 382480 HAS SOPS 382480 HAS SOUS 324557 HAS SOUPS 324557 WITH SCORE 324939.48
AT ITER 1900 NEW BEST:: SOT 609572 SOS 382300 HAS SOPS 382300 HAS SOUS 324357 HAS SOUPS 324357 WITH SCORE 324739.3
AT ITER 1902 NEW BEST:: SOT 609572 SOS 382300 HAS SOPS 382300 HAS SOUS 324273 HAS SOUPS 324273 WITH SCORE 324655.3
AT ITER 1906 NEW BEST:: SOT 609953 SOS 382847 HAS SOPS 382847 HAS SOUS 324129 HAS SOUPS 324129 WITH SCORE 324511.847
AT ITER 1907 NEW BEST:: SOT 610157 SOS 382018 HAS SOPS 382018 HAS SOUS 323820 HAS SOUPS 323820 WITH SCORE 324202.018
AT ITER 1910 NEW BEST:: SOT 610182 SOS 382043 HAS SOPS 382043 HAS SOUS 323751 HAS SOUPS 323751 WITH SCORE 324133.043
AT ITER 1919 NEW BEST:: SOT 609852 SOS 381711 HAS SOPS 381711 HAS SOUS 323419 HAS SOUPS 323419 WITH SCORE 323800.711
AT ITER 1938 NEW BEST:: SOT 609490 SOS 381328 HAS SOPS 381328 HAS SOUS 322909 HAS SOUPS 322909 WITH SCORE 323290.328
AT ITER 1943 NEW BEST:: SOT 609245 SOS 381201 HAS SOPS 381201 HAS SOUS 322304 HAS SOUPS 322304 WITH SCORE 322685.201
AT ITER 1945 NEW BEST:: SOT 609226 SOS 380981 HAS SOPS 380981 HAS SOUS 322110 HAS SOUPS 322110 WITH SCORE 322490.981
AT ITER 1948 NEW BEST:: SOT 609226 SOS 380186 HAS SOPS 380186 HAS SOUS 321817 HAS SOUPS 321817 WITH SCORE 322197.186
AT ITER 1953 NEW BEST:: SOT 609205 SOS 380123 HAS SOPS 380123 HAS SOUS 321774 HAS SOUPS 321774 WITH SCORE 322154.123
AT ITER 1954 NEW BEST:: SOT 608601 SOS 379486 HAS SOPS 379486 HAS SOUS 321137 HAS SOUPS 321137 WITH SCORE 321516.486
AT ITER 1956 NEW BEST:: SOT 608576 SOS 379106 HAS SOPS 379106 HAS SOUS 321062 HAS SOUPS 321062 WITH SCORE 321441.106
AT ITER 1963 NEW BEST:: SOT 609033 SOS 379668 HAS SOPS 379668 HAS SOUS 320547 HAS SOUPS 320547 WITH SCORE 320926.668
AT ITER 1968 NEW BEST:: SOT 609033 SOS 379666 HAS SOPS 379666 HAS SOUS 320545 HAS SOUPS 320545 WITH SCORE 320924.666
AT ITER 1969 NEW BEST:: SOT 608904 SOS 379500 HAS SOPS 379500 HAS SOUS 320379 HAS SOUPS 320379 WITH SCORE 320758.5
AT ITER 1978 NEW BEST:: SOT 608904 SOS 379465 HAS SOPS 379465 HAS SOUS 320344 HAS SOUPS 320344 WITH SCORE 320723.465
AT ITER 1980 NEW BEST:: SOT 608924 SOS 379401 HAS SOPS 379401 HAS SOUS 320282 HAS SOUPS 320282 WITH SCORE 320661.401
AT ITER 1987 NEW BEST:: SOT 608749 SOS 378999 HAS SOPS 378999 HAS SOUS 320159 HAS SOUPS 320159 WITH SCORE 320537.999
AT ITER 1994 NEW BEST:: SOT 608616 SOS 378866 HAS SOPS 378866 HAS SOUS 320026 HAS SOUPS 320026 WITH SCORE 320404.866
AT ITER 1999 NEW BEST:: SOT 608361 SOS 378479 HAS SOPS 378479 HAS SOUS 319639 HAS SOUPS 319639 WITH SCORE 320017.479
AT ITER 2005 NEW BEST:: SOT 608244 SOS 378314 HAS SOPS 378314 HAS SOUS 319474 HAS SOUPS 319474 WITH SCORE 319852.314
AT ITER 2010 NEW BEST:: SOT 608476 SOS 377780 HAS SOPS 377780 HAS SOUS 319213 HAS SOUPS 319213 WITH SCORE 319590.78
AT ITER 2024 NEW BEST:: SOT 608464 SOS 377776 HAS SOPS 377776 HAS SOUS 319201 HAS SOUPS 319201 WITH SCORE 319578.776
AT ITER 2034 NEW BEST:: SOT 608347 SOS 377626 HAS SOPS 377626 HAS SOUS 319051 HAS SOUPS 319051 WITH SCORE 319428.626
AT ITER 2049 NEW BEST:: SOT 608148 SOS 377461 HAS SOPS 377461 HAS SOUS 318641 HAS SOUPS 318641 WITH SCORE 319018.461
AT ITER 2057 NEW BEST:: SOT 608148 SOS 377360 HAS SOPS 377360 HAS SOUS 318612 HAS SOUPS 318612 WITH SCORE 318989.36
AT ITER 2064 NEW BEST:: SOT 608007 SOS 377241 HAS SOPS 377241 HAS SOUS 318493 HAS SOUPS 318493 WITH SCORE 318870.241
AT ITER 2068 NEW BEST:: SOT 607852 SOS 377263 HAS SOPS 377263 HAS SOUS 318490 HAS SOUPS 318490 WITH SCORE 318867.263
AT ITER 2070 NEW BEST:: SOT 607852 SOS 377239 HAS SOPS 377239 HAS SOUS 318466 HAS SOUPS 318466 WITH SCORE 318843.239
AT ITER 2071 NEW BEST:: SOT 607852 SOS 377027 HAS SOPS 377027 HAS SOUS 318454 HAS SOUPS 318454 WITH SCORE 318831.027
AT ITER 2083 NEW BEST:: SOT 607802 SOS 377002 HAS SOPS 377002 HAS SOUS 318404 HAS SOUPS 318404 WITH SCORE 318781.002
AT ITER 2084 NEW BEST:: SOT 607802 SOS 376809 HAS SOPS 376809 HAS SOUS 318158 HAS SOUPS 318158 WITH SCORE 318534.809
AT ITER 2086 NEW BEST:: SOT 608046 SOS 377066 HAS SOPS 377066 HAS SOUS 317995 HAS SOUPS 317995 WITH SCORE 318372.066
AT ITER 2093 NEW BEST:: SOT 607615 SOS 376554 HAS SOPS 376554 HAS SOUS 317646 HAS SOUPS 317646 WITH SCORE 318022.554
AT ITER 2098 NEW BEST:: SOT 607569 SOS 376485 HAS SOPS 376485 HAS SOUS 317554 HAS SOUPS 317554 WITH SCORE 317930.485
AT ITER 2099 NEW BEST:: SOT 607569 SOS 376747 HAS SOPS 376747 HAS SOUS 317526 HAS SOUPS 317526 WITH SCORE 317902.747
AT ITER 2101 NEW BEST:: SOT 607452 SOS 376630 HAS SOPS 376630 HAS SOUS 317409 HAS SOUPS 317409 WITH SCORE 317785.63
AT ITER 2102 NEW BEST:: SOT 607503 SOS 376653 HAS SOPS 376653 HAS SOUS 317345 HAS SOUPS 317345 WITH SCORE 317721.653
AT ITER 2103 NEW BEST:: SOT 607056 SOS 376206 HAS SOPS 376206 HAS SOUS 316898 HAS SOUPS 316898 WITH SCORE 317274.206
AT ITER 2120 NEW BEST:: SOT 607485 SOS 376635 HAS SOPS 376635 HAS SOUS 316780 HAS SOUPS 316780 WITH SCORE 317156.635
AT ITER 2121 NEW BEST:: SOT 607485 SOS 376217 HAS SOPS 376217 HAS SOUS 316136 HAS SOUPS 316136 WITH SCORE 316512.217
AT ITER 2125 NEW BEST:: SOT 607461 SOS 376187 HAS SOPS 376187 HAS SOUS 316094 HAS SOUPS 316094 WITH SCORE 316470.187
AT ITER 2129 NEW BEST:: SOT 607196 SOS 376018 HAS SOPS 376018 HAS SOUS 315925 HAS SOUPS 315925 WITH SCORE 316301.018
AT ITER 2131 NEW BEST:: SOT 606682 SOS 375212 HAS SOPS 375212 HAS SOUS 315100 HAS SOUPS 315100 WITH SCORE 315475.212
AT ITER 2143 NEW BEST:: SOT 606676 SOS 375206 HAS SOPS 375206 HAS SOUS 315094 HAS SOUPS 315094 WITH SCORE 315469.206
AT ITER 2154 NEW BEST:: SOT 605983 SOS 374513 HAS SOPS 374513 HAS SOUS 314401 HAS SOUPS 314401 WITH SCORE 314775.513
AT ITER 2161 NEW BEST:: SOT 606088 SOS 374464 HAS SOPS 374464 HAS SOUS 314157 HAS SOUPS 314157 WITH SCORE 314531.464
AT ITER 2167 NEW BEST:: SOT 606085 SOS 374461 HAS SOPS 374461 HAS SOUS 314154 HAS SOUPS 314154 WITH SCORE 314528.461
AT ITER 2177 NEW BEST:: SOT 606179 SOS 371504 HAS SOPS 371504 HAS SOUS 312707 HAS SOUPS 312707 WITH SCORE 313078.504
AT ITER 2187 NEW BEST:: SOT 606179 SOS 371594 HAS SOPS 371594 HAS SOUS 312641 HAS SOUPS 312641 WITH SCORE 313012.594
AT ITER 2188 NEW BEST:: SOT 606113 SOS 371528 HAS SOPS 371528 HAS SOUS 312575 HAS SOUPS 312575 WITH SCORE 312946.528
AT ITER 2189 NEW BEST:: SOT 605592 SOS 370143 HAS SOPS 370143 HAS SOUS 311350 HAS SOUPS 311350 WITH SCORE 311720.143
AT ITER 2191 NEW BEST:: SOT 605440 SOS 370295 HAS SOPS 370295 HAS SOUS 311198 HAS SOUPS 311198 WITH SCORE 311568.295
AT ITER 2196 NEW BEST:: SOT 605311 SOS 370047 HAS SOPS 370047 HAS SOUS 310950 HAS SOUPS 310950 WITH SCORE 311320.047
AT ITER 2201 NEW BEST:: SOT 605359 SOS 370016 HAS SOPS 370016 HAS SOUS 310919 HAS SOUPS 310919 WITH SCORE 311289.016
AT ITER 2208 NEW BEST:: SOT 605559 SOS 369754 HAS SOPS 369754 HAS SOUS 310421 HAS SOUPS 310421 WITH SCORE 310790.754
AT ITER 2213 NEW BEST:: SOT 605181 SOS 368966 HAS SOPS 368966 HAS SOUS 309988 HAS SOUPS 309988 WITH SCORE 310356.966
AT ITER 2240 NEW BEST:: SOT 604884 SOS 368837 HAS SOPS 368837 HAS SOUS 309685 HAS SOUPS 309685 WITH SCORE 310053.837
AT ITER 2241 NEW BEST:: SOT 604075 SOS 367770 HAS SOPS 367770 HAS SOUS 308618 HAS SOUPS 308618 WITH SCORE 308985.77
AT ITER 2245 NEW BEST:: SOT 604247 SOS 367769 HAS SOPS 367769 HAS SOUS 308617 HAS SOUPS 308617 WITH SCORE 308984.769
AT ITER 2247 NEW BEST:: SOT 604187 SOS 367709 HAS SOPS 367709 HAS SOUS 308557 HAS SOUPS 308557 WITH SCORE 308924.709
AT ITER 2254 NEW BEST:: SOT 604187 SOS 367035 HAS SOPS 367035 HAS SOUS 307426 HAS SOUPS 307426 WITH SCORE 307793.035
AT ITER 2256 NEW BEST:: SOT 603640 SOS 366684 HAS SOPS 366684 HAS SOUS 307059 HAS SOUPS 307059 WITH SCORE 307425.684
AT ITER 2258 NEW BEST:: SOT 603488 SOS 366532 HAS SOPS 366532 HAS SOUS 306907 HAS SOUPS 306907 WITH SCORE 307273.532
AT ITER 2260 NEW BEST:: SOT 603435 SOS 366441 HAS SOPS 366441 HAS SOUS 306816 HAS SOUPS 306816 WITH SCORE 307182.441
AT ITER 2262 NEW BEST:: SOT 603005 SOS 365929 HAS SOPS 365929 HAS SOUS 306345 HAS SOUPS 306345 WITH SCORE 306710.929
AT ITER 2273 NEW BEST:: SOT 603121 SOS 365323 HAS SOPS 365323 HAS SOUS 305755 HAS SOUPS 305755 WITH SCORE 306120.323
AT ITER 2275 NEW BEST:: SOT 603121 SOS 365220 HAS SOPS 365220 HAS SOUS 305742 HAS SOUPS 305742 WITH SCORE 306107.22
AT ITER 2278 NEW BEST:: SOT 602941 SOS 364888 HAS SOPS 364888 HAS SOUS 305486 HAS SOUPS 305486 WITH SCORE 305850.888
AT ITER 2292 NEW BEST:: SOT 603495 SOS 364385 HAS SOPS 364385 HAS SOUS 305066 HAS SOUPS 305066 WITH SCORE 305430.385
AT ITER 2302 NEW BEST:: SOT 603240 SOS 363963 HAS SOPS 363963 HAS SOUS 304644 HAS SOUPS 304644 WITH SCORE 305007.963
AT ITER 2308 NEW BEST:: SOT 603404 SOS 363887 HAS SOPS 363887 HAS SOUS 304593 HAS SOUPS 304593 WITH SCORE 304956.887
AT ITER 2320 NEW BEST:: SOT 603400 SOS 363883 HAS SOPS 363883 HAS SOUS 304590 HAS SOUPS 304590 WITH SCORE 304953.883
AT ITER 2323 NEW BEST:: SOT 603101 SOS 363584 HAS SOPS 363584 HAS SOUS 304291 HAS SOUPS 304291 WITH SCORE 304654.584
AT ITER 2328 NEW BEST:: SOT 603244 SOS 363790 HAS SOPS 363790 HAS SOUS 304150 HAS SOUPS 304150 WITH SCORE 304513.79
AT ITER 2332 NEW BEST:: SOT 603130 SOS 364828 HAS SOPS 364828 HAS SOUS 303839 HAS SOUPS 303839 WITH SCORE 304203.828
AT ITER 2339 NEW BEST:: SOT 602938 SOS 364626 HAS SOPS 364626 HAS SOUS 303815 HAS SOUPS 303815 WITH SCORE 304179.626
AT ITER 2341 NEW BEST:: SOT 602852 SOS 364497 HAS SOPS 364497 HAS SOUS 303686 HAS SOUPS 303686 WITH SCORE 304050.497
AT ITER 2343 NEW BEST:: SOT 602292 SOS 364072 HAS SOPS 364072 HAS SOUS 303525 HAS SOUPS 303525 WITH SCORE 303889.072
AT ITER 2345 NEW BEST:: SOT 602249 SOS 363988 HAS SOPS 363988 HAS SOUS 303480 HAS SOUPS 303480 WITH SCORE 303843.988
AT ITER 2368 NEW BEST:: SOT 602207 SOS 363927 HAS SOPS 363927 HAS SOUS 303435 HAS SOUPS 303435 WITH SCORE 303798.927
AT ITER 2370 NEW BEST:: SOT 602055 SOS 363775 HAS SOPS 363775 HAS SOUS 303283 HAS SOUPS 303283 WITH SCORE 303646.775
AT ITER 2377 NEW BEST:: SOT 602055 SOS 363700 HAS SOPS 363700 HAS SOUS 303235 HAS SOUPS 303235 WITH SCORE 303598.7
AT ITER 2383 NEW BEST:: SOT 602055 SOS 363690 HAS SOPS 363690 HAS SOUS 303220 HAS SOUPS 303220 WITH SCORE 303583.69
AT ITER 2388 NEW BEST:: SOT 602078 SOS 363676 HAS SOPS 363676 HAS SOUS 303206 HAS SOUPS 303206 WITH SCORE 303569.676
AT ITER 2394 NEW BEST:: SOT 601766 SOS 362420 HAS SOPS 362420 HAS SOUS 301948 HAS SOUPS 301948 WITH SCORE 302310.42
AT ITER 2396 NEW BEST:: SOT 601440 SOS 362333 HAS SOPS 362333 HAS SOUS 301727 HAS SOUPS 301727 WITH SCORE 302089.333
AT ITER 2405 NEW BEST:: SOT 601436 SOS 362329 HAS SOPS 362329 HAS SOUS 301723 HAS SOUPS 301723 WITH SCORE 302085.329
AT ITER 2406 NEW BEST:: SOT 601436 SOS 362017 HAS SOPS 362017 HAS SOUS 301567 HAS SOUPS 301567 WITH SCORE 301929.017
AT ITER 2408 NEW BEST:: SOT 601334 SOS 361499 HAS SOPS 361499 HAS SOUS 301478 HAS SOUPS 301478 WITH SCORE 301839.499
AT ITER 2412 NEW BEST:: SOT 601432 SOS 361320 HAS SOPS 361320 HAS SOUS 301299 HAS SOUPS 301299 WITH SCORE 301660.32
AT ITER 2421 NEW BEST:: SOT 601538 SOS 361174 HAS SOPS 361174 HAS SOUS 301141 HAS SOUPS 301141 WITH SCORE 301502.174
AT ITER 2422 NEW BEST:: SOT 601589 SOS 360741 HAS SOPS 360741 HAS SOUS 300959 HAS SOUPS 300959 WITH SCORE 301319.741
AT ITER 2430 NEW BEST:: SOT 601340 SOS 360243 HAS SOPS 360243 HAS SOUS 300461 HAS SOUPS 300461 WITH SCORE 300821.243
AT ITER 2440 NEW BEST:: SOT 600904 SOS 359819 HAS SOPS 359819 HAS SOUS 300036 HAS SOUPS 300036 WITH SCORE 300395.819
AT ITER 2446 NEW BEST:: SOT 600904 SOS 359658 HAS SOPS 359658 HAS SOUS 299875 HAS SOUPS 299875 WITH SCORE 300234.658
AT ITER 2451 NEW BEST:: SOT 600984 SOS 359430 HAS SOPS 359430 HAS SOUS 299373 HAS SOUPS 299373 WITH SCORE 299732.43
AT ITER 2455 NEW BEST:: SOT 600938 SOS 359308 HAS SOPS 359308 HAS SOUS 299363 HAS SOUPS 299363 WITH SCORE 299722.308
AT ITER 2464 NEW BEST:: SOT 600928 SOS 359298 HAS SOPS 359298 HAS SOUS 299353 HAS SOUPS 299353 WITH SCORE 299712.298
AT ITER 2467 NEW BEST:: SOT 601005 SOS 359155 HAS SOPS 359155 HAS SOUS 299301 HAS SOUPS 299301 WITH SCORE 299660.155
AT ITER 2470 NEW BEST:: SOT 600992 SOS 359130 HAS SOPS 359130 HAS SOUS 299276 HAS SOUPS 299276 WITH SCORE 299635.13
AT ITER 2475 NEW BEST:: SOT 600823 SOS 358854 HAS SOPS 358854 HAS SOUS 299000 HAS SOUPS 299000 WITH SCORE 299358.854
AT ITER 2482 NEW BEST:: SOT 600823 SOS 358836 HAS SOPS 358836 HAS SOUS 298982 HAS SOUPS 298982 WITH SCORE 299340.836
AT ITER 2487 NEW BEST:: SOT 600823 SOS 358754 HAS SOPS 358754 HAS SOUS 298900 HAS SOUPS 298900 WITH SCORE 299258.754
AT ITER 2494 NEW BEST:: SOT 600725 SOS 358656 HAS SOPS 358656 HAS SOUS 298847 HAS SOUPS 298847 WITH SCORE 299205.656
AT ITER 2496 NEW BEST:: SOT 600615 SOS 358517 HAS SOPS 358517 HAS SOUS 298416 HAS SOUPS 298416 WITH SCORE 298774.517
AT ITER 2502 NEW BEST:: SOT 600739 SOS 358387 HAS SOPS 358387 HAS SOUS 298286 HAS SOUPS 298286 WITH SCORE 298644.387
AT ITER 2508 NEW BEST:: SOT 600336 SOS 357988 HAS SOPS 357988 HAS SOUS 297887 HAS SOUPS 297887 WITH SCORE 298244.988
AT ITER 2513 NEW BEST:: SOT 600336 SOS 357964 HAS SOPS 357964 HAS SOUS 297863 HAS SOUPS 297863 WITH SCORE 298220.964
AT ITER 2517 NEW BEST:: SOT 600336 SOS 357473 HAS SOPS 357473 HAS SOUS 297766 HAS SOUPS 297766 WITH SCORE 298123.473
AT ITER 2534 NEW BEST:: SOT 600048 SOS 357106 HAS SOPS 357106 HAS SOUS 297398 HAS SOUPS 297398 WITH SCORE 297755.106
AT ITER 2548 NEW BEST:: SOT 600034 SOS 356872 HAS SOPS 356872 HAS SOUS 297206 HAS SOUPS 297206 WITH SCORE 297562.872
AT ITER 2560 NEW BEST:: SOT 600000 SOS 356838 HAS SOPS 356838 HAS SOUS 297172 HAS SOUPS 297172 WITH SCORE 297528.838
AT ITER 2563 NEW BEST:: SOT 599826 SOS 356613 HAS SOPS 356613 HAS SOUS 296947 HAS SOUPS 296947 WITH SCORE 297303.613
AT ITER 2564 NEW BEST:: SOT 599793 SOS 356659 HAS SOPS 356659 HAS SOUS 296756 HAS SOUPS 296756 WITH SCORE 297112.659
AT ITER 2585 NEW BEST:: SOT 599403 SOS 356031 HAS SOPS 356031 HAS SOUS 296128 HAS SOUPS 296128 WITH SCORE 296484.031
AT ITER 2602 NEW BEST:: SOT 599349 SOS 355875 HAS SOPS 355875 HAS SOUS 296031 HAS SOUPS 296031 WITH SCORE 296386.875
AT ITER 2605 NEW BEST:: SOT 598914 SOS 355282 HAS SOPS 355282 HAS SOUS 295044 HAS SOUPS 295044 WITH SCORE 295399.282
AT ITER 2612 NEW BEST:: SOT 598914 SOS 355163 HAS SOPS 355163 HAS SOUS 295044 HAS SOUPS 295044 WITH SCORE 295399.163
AT ITER 2615 NEW BEST:: SOT 598822 SOS 354903 HAS SOPS 354903 HAS SOUS 294828 HAS SOUPS 294828 WITH SCORE 295182.903
AT ITER 2624 NEW BEST:: SOT 598824 SOS 354755 HAS SOPS 354755 HAS SOUS 294680 HAS SOUPS 294680 WITH SCORE 295034.755
AT ITER 2625 NEW BEST:: SOT 598719 SOS 354716 HAS SOPS 354716 HAS SOUS 294641 HAS SOUPS 294641 WITH SCORE 294995.716
AT ITER 2633 NEW BEST:: SOT 598695 SOS 354668 HAS SOPS 354668 HAS SOUS 294593 HAS SOUPS 294593 WITH SCORE 294947.668
AT ITER 2639 NEW BEST:: SOT 598901 SOS 354942 HAS SOPS 354942 HAS SOUS 294491 HAS SOUPS 294491 WITH SCORE 294845.942
AT ITER 2642 NEW BEST:: SOT 599094 SOS 355135 HAS SOPS 355135 HAS SOUS 294489 HAS SOUPS 294489 WITH SCORE 294844.135
AT ITER 2645 NEW BEST:: SOT 598954 SOS 355054 HAS SOPS 355054 HAS SOUS 294408 HAS SOUPS 294408 WITH SCORE 294763.054
AT ITER 2648 NEW BEST:: SOT 598958 SOS 355041 HAS SOPS 355041 HAS SOUS 294344 HAS SOUPS 294344 WITH SCORE 294699.041
AT ITER 2656 NEW BEST:: SOT 598635 SOS 354718 HAS SOPS 354718 HAS SOUS 294021 HAS SOUPS 294021 WITH SCORE 294375.718
AT ITER 2675 NEW BEST:: SOT 598827 SOS 354899 HAS SOPS 354899 HAS SOUS 294014 HAS SOUPS 294014 WITH SCORE 294368.899
AT ITER 2676 NEW BEST:: SOT 598827 SOS 354891 HAS SOPS 354891 HAS SOUS 294006 HAS SOUPS 294006 WITH SCORE 294360.891
AT ITER 2679 NEW BEST:: SOT 598827 SOS 355033 HAS SOPS 355033 HAS SOUS 293506 HAS SOUPS 293506 WITH SCORE 293861.033
AT ITER 2680 NEW BEST:: SOT 598851 SOS 354907 HAS SOPS 354907 HAS SOUS 293485 HAS SOUPS 293485 WITH SCORE 293839.907
AT ITER 2683 NEW BEST:: SOT 598769 SOS 354721 HAS SOPS 354721 HAS SOUS 293299 HAS SOUPS 293299 WITH SCORE 293653.721
AT ITER 2684 NEW BEST:: SOT 598757 SOS 354564 HAS SOPS 354564 HAS SOUS 292647 HAS SOUPS 292647 WITH SCORE 293001.564
AT ITER 2690 NEW BEST:: SOT 598743 SOS 354175 HAS SOPS 354175 HAS SOUS 291922 HAS SOUPS 291922 WITH SCORE 292276.175
AT ITER 2692 NEW BEST:: SOT 598674 SOS 354039 HAS SOPS 354039 HAS SOUS 291785 HAS SOUPS 291785 WITH SCORE 292139.039
AT ITER 2696 NEW BEST:: SOT 598390 SOS 353755 HAS SOPS 353755 HAS SOUS 290879 HAS SOUPS 290879 WITH SCORE 291232.755
AT ITER 2698 NEW BEST:: SOT 598390 SOS 353776 HAS SOPS 353776 HAS SOUS 290692 HAS SOUPS 290692 WITH SCORE 291045.776
AT ITER 2700 NEW BEST:: SOT 598531 SOS 353983 HAS SOPS 353983 HAS SOUS 290570 HAS SOUPS 290570 WITH SCORE 290923.983
AT ITER 2709 NEW BEST:: SOT 598367 SOS 353861 HAS SOPS 353861 HAS SOUS 290493 HAS SOUPS 290493 WITH SCORE 290846.861
AT ITER 2715 NEW BEST:: SOT 598077 SOS 352675 HAS SOPS 352675 HAS SOUS 290331 HAS SOUPS 290331 WITH SCORE 290683.675
AT ITER 2718 NEW BEST:: SOT 597928 SOS 352526 HAS SOPS 352526 HAS SOUS 290182 HAS SOUPS 290182 WITH SCORE 290534.526
AT ITER 2721 NEW BEST:: SOT 597962 SOS 352516 HAS SOPS 352516 HAS SOUS 290172 HAS SOUPS 290172 WITH SCORE 290524.516
AT ITER 2722 NEW BEST:: SOT 597962 SOS 352514 HAS SOPS 352514 HAS SOUS 290170 HAS SOUPS 290170 WITH SCORE 290522.514
AT ITER 2727 NEW BEST:: SOT 597953 SOS 352354 HAS SOPS 352354 HAS SOUS 289915 HAS SOUPS 289915 WITH SCORE 290267.354
AT ITER 2729 NEW BEST:: SOT 598219 SOS 351760 HAS SOPS 351760 HAS SOUS 289906 HAS SOUPS 289906 WITH SCORE 290257.76
AT ITER 2734 NEW BEST:: SOT 598216 SOS 351375 HAS SOPS 351375 HAS SOUS 289858 HAS SOUPS 289858 WITH SCORE 290209.375
AT ITER 2736 NEW BEST:: SOT 598230 SOS 351315 HAS SOPS 351315 HAS SOUS 289835 HAS SOUPS 289835 WITH SCORE 290186.315
AT ITER 2738 NEW BEST:: SOT 598070 SOS 351212 HAS SOPS 351212 HAS SOUS 289764 HAS SOUPS 289764 WITH SCORE 290115.212
AT ITER 2742 NEW BEST:: SOT 598096 SOS 351168 HAS SOPS 351168 HAS SOUS 289720 HAS SOUPS 289720 WITH SCORE 290071.168
AT ITER 2749 NEW BEST:: SOT 597838 SOS 350940 HAS SOPS 350940 HAS SOUS 289492 HAS SOUPS 289492 WITH SCORE 289842.94
AT ITER 2754 NEW BEST:: SOT 597828 SOS 350930 HAS SOPS 350930 HAS SOUS 289492 HAS SOUPS 289492 WITH SCORE 289842.93
AT ITER 2758 NEW BEST:: SOT 597802 SOS 350880 HAS SOPS 350880 HAS SOUS 289442 HAS SOUPS 289442 WITH SCORE 289792.88
AT ITER 2762 NEW BEST:: SOT 597730 SOS 350878 HAS SOPS 350878 HAS SOUS 289440 HAS SOUPS 289440 WITH SCORE 289790.878
AT ITER 2770 NEW BEST:: SOT 597711 SOS 350859 HAS SOPS 350859 HAS SOUS 289421 HAS SOUPS 289421 WITH SCORE 289771.859
AT ITER 2771 NEW BEST:: SOT 597771 SOS 350838 HAS SOPS 350838 HAS SOUS 289136 HAS SOUPS 289136 WITH SCORE 289486.838
AT ITER 2772 NEW BEST:: SOT 597820 SOS 350441 HAS SOPS 350441 HAS SOUS 288662 HAS SOUPS 288662 WITH SCORE 289012.441
AT ITER 2777 NEW BEST:: SOT 598404 SOS 350638 HAS SOPS 350638 HAS SOUS 288605 HAS SOUPS 288605 WITH SCORE 288955.638
AT ITER 2784 NEW BEST:: SOT 598373 SOS 350219 HAS SOPS 350219 HAS SOUS 287991 HAS SOUPS 287991 WITH SCORE 288341.219
AT ITER 2786 NEW BEST:: SOT 598373 SOS 350195 HAS SOPS 350195 HAS SOUS 287967 HAS SOUPS 287967 WITH SCORE 288317.195
AT ITER 2787 NEW BEST:: SOT 598285 SOS 350133 HAS SOPS 350133 HAS SOUS 287905 HAS SOUPS 287905 WITH SCORE 288255.133
AT ITER 2794 NEW BEST:: SOT 597994 SOS 349842 HAS SOPS 349842 HAS SOUS 287614 HAS SOUPS 287614 WITH SCORE 287963.842
AT ITER 2806 NEW BEST:: SOT 597811 SOS 349658 HAS SOPS 349658 HAS SOUS 287430 HAS SOUPS 287430 WITH SCORE 287779.658
AT ITER 2807 NEW BEST:: SOT 597486 SOS 349333 HAS SOPS 349333 HAS SOUS 287105 HAS SOUPS 287105 WITH SCORE 287454.333
AT ITER 2810 NEW BEST:: SOT 597550 SOS 349264 HAS SOPS 349264 HAS SOUS 287088 HAS SOUPS 287088 WITH SCORE 287437.264
AT ITER 2814 NEW BEST:: SOT 597399 SOS 348914 HAS SOPS 348914 HAS SOUS 286738 HAS SOUPS 286738 WITH SCORE 287086.914
AT ITER 2823 NEW BEST:: SOT 596954 SOS 348466 HAS SOPS 348466 HAS SOUS 286290 HAS SOUPS 286290 WITH SCORE 286638.466
AT ITER 2834 NEW BEST:: SOT 596303 SOS 348713 HAS SOPS 348713 HAS SOUS 285965 HAS SOUPS 285965 WITH SCORE 286313.713
AT ITER 2844 NEW BEST:: SOT 596051 SOS 348370 HAS SOPS 348370 HAS SOUS 285622 HAS SOUPS 285622 WITH SCORE 285970.37
AT ITER 2847 NEW BEST:: SOT 596133 SOS 348147 HAS SOPS 348147 HAS SOUS 285563 HAS SOUPS 285563 WITH SCORE 285911.147
AT ITER 2849 NEW BEST:: SOT 596070 SOS 348084 HAS SOPS 348084 HAS SOUS 285500 HAS SOUPS 285500 WITH SCORE 285848.084
AT ITER 2852 NEW BEST:: SOT 596169 SOS 348284 HAS SOPS 348284 HAS SOUS 285458 HAS SOUPS 285458 WITH SCORE 285806.284
AT ITER 2860 NEW BEST:: SOT 596169 SOS 348196 HAS SOPS 348196 HAS SOUS 285458 HAS SOUPS 285458 WITH SCORE 285806.196
AT ITER 2865 NEW BEST:: SOT 596169 SOS 348115 HAS SOPS 348115 HAS SOUS 285377 HAS SOUPS 285377 WITH SCORE 285725.115
AT ITER 2871 NEW BEST:: SOT 596013 SOS 347907 HAS SOPS 347907 HAS SOUS 285169 HAS SOUPS 285169 WITH SCORE 285516.907
AT ITER 2873 NEW BEST:: SOT 595943 SOS 347803 HAS SOPS 347803 HAS SOUS 285027 HAS SOUPS 285027 WITH SCORE 285374.803
AT ITER 2878 NEW BEST:: SOT 595943 SOS 347662 HAS SOPS 347662 HAS SOUS 284886 HAS SOUPS 284886 WITH SCORE 285233.662
AT ITER 2893 NEW BEST:: SOT 595950 SOS 347669 HAS SOPS 347669 HAS SOUS 284879 HAS SOUPS 284879 WITH SCORE 285226.669
AT ITER 2895 NEW BEST:: SOT 595884 SOS 347630 HAS SOPS 347630 HAS SOUS 284840 HAS SOUPS 284840 WITH SCORE 285187.63
AT ITER 2898 NEW BEST:: SOT 595826 SOS 347495 HAS SOPS 347495 HAS SOUS 284706 HAS SOUPS 284706 WITH SCORE 285053.495
AT ITER 2949 NEW BEST:: SOT 595391 SOS 347134 HAS SOPS 347134 HAS SOUS 283906 HAS SOUPS 283906 WITH SCORE 284253.134
AT ITER 2958 NEW BEST:: SOT 595456 SOS 347256 HAS SOPS 347256 HAS SOUS 283898 HAS SOUPS 283898 WITH SCORE 284245.256
AT ITER 2980 NEW BEST:: SOT 595321 SOS 347075 HAS SOPS 347075 HAS SOUS 283671 HAS SOUPS 283671 WITH SCORE 284018.075
AT ITER 2993 NEW BEST:: SOT 595123 SOS 346811 HAS SOPS 346811 HAS SOUS 283473 HAS SOUPS 283473 WITH SCORE 283819.811
AT ITER 3016 NEW BEST:: SOT 594952 SOS 346640 HAS SOPS 346640 HAS SOUS 283302 HAS SOUPS 283302 WITH SCORE 283648.64
AT ITER 3017 NEW BEST:: SOT 594606 SOS 346688 HAS SOPS 346688 HAS SOUS 282843 HAS SOUPS 282843 WITH SCORE 283189.688
AT ITER 3035 NEW BEST:: SOT 594498 SOS 346567 HAS SOPS 346567 HAS SOUS 282722 HAS SOUPS 282722 WITH SCORE 283068.567
AT ITER 3039 NEW BEST:: SOT 594671 SOS 346430 HAS SOPS 346430 HAS SOUS 282585 HAS SOUPS 282585 WITH SCORE 282931.43
AT ITER 3044 NEW BEST:: SOT 594798 SOS 345955 HAS SOPS 345955 HAS SOUS 282193 HAS SOUPS 282193 WITH SCORE 282538.955
AT ITER 3050 NEW BEST:: SOT 594798 SOS 345797 HAS SOPS 345797 HAS SOUS 281956 HAS SOUPS 281956 WITH SCORE 282301.797
AT ITER 3051 NEW BEST:: SOT 594471 SOS 345418 HAS SOPS 345418 HAS SOUS 281577 HAS SOUPS 281577 WITH SCORE 281922.418
AT ITER 3077 NEW BEST:: SOT 594452 SOS 345204 HAS SOPS 345204 HAS SOUS 281060 HAS SOUPS 281060 WITH SCORE 281405.204
AT ITER 3098 NEW BEST:: SOT 594486 SOS 345184 HAS SOPS 345184 HAS SOUS 281042 HAS SOUPS 281042 WITH SCORE 281387.184
AT ITER 3110 NEW BEST:: SOT 593508 SOS 344204 HAS SOPS 344204 HAS SOUS 280062 HAS SOUPS 280062 WITH SCORE 280406.204
AT ITER 3111 NEW BEST:: SOT 593367 SOS 344110 HAS SOPS 344110 HAS SOUS 279921 HAS SOUPS 279921 WITH SCORE 280265.11
AT ITER 3116 NEW BEST:: SOT 593154 SOS 343523 HAS SOPS 343523 HAS SOUS 279037 HAS SOUPS 279037 WITH SCORE 279380.523
AT ITER 3137 NEW BEST:: SOT 593020 SOS 343257 HAS SOPS 343257 HAS SOUS 278657 HAS SOUPS 278657 WITH SCORE 279000.257
AT ITER 3140 NEW BEST:: SOT 592974 SOS 342578 HAS SOPS 342578 HAS SOUS 278107 HAS SOUPS 278107 WITH SCORE 278449.578
AT ITER 3154 NEW BEST:: SOT 592974 SOS 342281 HAS SOPS 342281 HAS SOUS 278020 HAS SOUPS 278020 WITH SCORE 278362.281
AT ITER 3160 NEW BEST:: SOT 592966 SOS 342265 HAS SOPS 342265 HAS SOUS 278012 HAS SOUPS 278012 WITH SCORE 278354.265
AT ITER 3164 NEW BEST:: SOT 592895 SOS 342194 HAS SOPS 342194 HAS SOUS 277970 HAS SOUPS 277970 WITH SCORE 278312.194
AT ITER 3181 NEW BEST:: SOT 592820 SOS 342081 HAS SOPS 342081 HAS SOUS 277857 HAS SOUPS 277857 WITH SCORE 278199.081
AT ITER 3190 NEW BEST:: SOT 592400 SOS 341628 HAS SOPS 341628 HAS SOUS 277404 HAS SOUPS 277404 WITH SCORE 277745.628
AT ITER 3200 NEW BEST:: SOT 592391 SOS 341613 HAS SOPS 341613 HAS SOUS 277392 HAS SOUPS 277392 WITH SCORE 277733.613
AT ITER 3202 NEW BEST:: SOT 592391 SOS 341551 HAS SOPS 341551 HAS SOUS 277330 HAS SOUPS 277330 WITH SCORE 277671.551
AT ITER 3205 NEW BEST:: SOT 592245 SOS 341282 HAS SOPS 341282 HAS SOUS 277061 HAS SOUPS 277061 WITH SCORE 277402.282
AT ITER 3207 NEW BEST:: SOT 592193 SOS 340926 HAS SOPS 340926 HAS SOUS 276857 HAS SOUPS 276857 WITH SCORE 277197.926
AT ITER 3212 NEW BEST:: SOT 592321 SOS 340839 HAS SOPS 340839 HAS SOUS 276427 HAS SOUPS 276427 WITH SCORE 276767.839
AT ITER 3226 NEW BEST:: SOT 592550 SOS 340257 HAS SOPS 340257 HAS SOUS 276130 HAS SOUPS 276130 WITH SCORE 276470.257
AT ITER 3228 NEW BEST:: SOT 592298 SOS 339921 HAS SOPS 339921 HAS SOUS 275878 HAS SOUPS 275878 WITH SCORE 276217.921
AT ITER 3232 NEW BEST:: SOT 591842 SOS 337714 HAS SOPS 337714 HAS SOUS 274912 HAS SOUPS 274912 WITH SCORE 275249.714
AT ITER 3252 NEW BEST:: SOT 591842 SOS 337279 HAS SOPS 337279 HAS SOUS 274710 HAS SOUPS 274710 WITH SCORE 275047.279
AT ITER 3255 NEW BEST:: SOT 591842 SOS 337276 HAS SOPS 337276 HAS SOUS 274708 HAS SOUPS 274708 WITH SCORE 275045.276
AT ITER 3273 NEW BEST:: SOT 592023 SOS 336953 HAS SOPS 336953 HAS SOUS 274612 HAS SOUPS 274612 WITH SCORE 274948.953
AT ITER 3281 NEW BEST:: SOT 591947 SOS 336877 HAS SOPS 336877 HAS SOUS 274536 HAS SOUPS 274536 WITH SCORE 274872.877
AT ITER 3285 NEW BEST:: SOT 591861 SOS 336738 HAS SOPS 336738 HAS SOUS 274397 HAS SOUPS 274397 WITH SCORE 274733.738
AT ITER 3308 NEW BEST:: SOT 591859 SOS 336736 HAS SOPS 336736 HAS SOUS 274395 HAS SOUPS 274395 WITH SCORE 274731.736
AT ITER 3314 NEW BEST:: SOT 591568 SOS 336445 HAS SOPS 336445 HAS SOUS 274222 HAS SOUPS 274222 WITH SCORE 274558.445
AT ITER 3317 NEW BEST:: SOT 591472 SOS 336577 HAS SOPS 336577 HAS SOUS 273833 HAS SOUPS 273833 WITH SCORE 274169.577
AT ITER 3320 NEW BEST:: SOT 591472 SOS 336467 HAS SOPS 336467 HAS SOUS 273495 HAS SOUPS 273495 WITH SCORE 273831.467
AT ITER 3323 NEW BEST:: SOT 591039 SOS 336111 HAS SOPS 336111 HAS SOUS 273104 HAS SOUPS 273104 WITH SCORE 273440.111
AT ITER 3329 NEW BEST:: SOT 591039 SOS 336079 HAS SOPS 336079 HAS SOUS 273048 HAS SOUPS 273048 WITH SCORE 273384.079
AT ITER 3334 NEW BEST:: SOT 590993 SOS 336038 HAS SOPS 336038 HAS SOUS 273007 HAS SOUPS 273007 WITH SCORE 273343.038
AT ITER 3336 NEW BEST:: SOT 590881 SOS 335262 HAS SOPS 335262 HAS SOUS 272662 HAS SOUPS 272662 WITH SCORE 272997.262
AT ITER 3337 NEW BEST:: SOT 590815 SOS 335196 HAS SOPS 335196 HAS SOUS 272596 HAS SOUPS 272596 WITH SCORE 272931.196
AT ITER 3340 NEW BEST:: SOT 590670 SOS 335022 HAS SOPS 335022 HAS SOUS 272422 HAS SOUPS 272422 WITH SCORE 272757.022
AT ITER 3343 NEW BEST:: SOT 590670 SOS 335185 HAS SOPS 335185 HAS SOUS 272398 HAS SOUPS 272398 WITH SCORE 272733.185
AT ITER 3351 NEW BEST:: SOT 590511 SOS 334980 HAS SOPS 334980 HAS SOUS 272281 HAS SOUPS 272281 WITH SCORE 272615.98
AT ITER 3358 NEW BEST:: SOT 590511 SOS 335092 HAS SOPS 335092 HAS SOUS 272268 HAS SOUPS 272268 WITH SCORE 272603.092
AT ITER 3370 NEW BEST:: SOT 590379 SOS 335013 HAS SOPS 335013 HAS SOUS 272189 HAS SOUPS 272189 WITH SCORE 272524.013
AT ITER 3374 NEW BEST:: SOT 590355 SOS 334989 HAS SOPS 334989 HAS SOUS 272189 HAS SOUPS 272189 WITH SCORE 272523.989
AT ITER 3379 NEW BEST:: SOT 590179 SOS 334916 HAS SOPS 334916 HAS SOUS 272128 HAS SOUPS 272128 WITH SCORE 272462.916
AT ITER 3383 NEW BEST:: SOT 590032 SOS 334572 HAS SOPS 334572 HAS SOUS 271907 HAS SOUPS 271907 WITH SCORE 272241.572
AT ITER 3387 NEW BEST:: SOT 590030 SOS 334570 HAS SOPS 334570 HAS SOUS 271905 HAS SOUPS 271905 WITH SCORE 272239.57
AT ITER 3391 NEW BEST:: SOT 589979 SOS 334637 HAS SOPS 334637 HAS SOUS 271887 HAS SOUPS 271887 WITH SCORE 272221.637
AT ITER 3398 NEW BEST:: SOT 589435 SOS 334314 HAS SOPS 334314 HAS SOUS 271564 HAS SOUPS 271564 WITH SCORE 271898.314
AT ITER 3403 NEW BEST:: SOT 589372 SOS 334251 HAS SOPS 334251 HAS SOUS 271501 HAS SOUPS 271501 WITH SCORE 271835.251
AT ITER 3409 NEW BEST:: SOT 589095 SOS 333744 HAS SOPS 333744 HAS SOUS 271337 HAS SOUPS 271337 WITH SCORE 271670.744
AT ITER 3415 NEW BEST:: SOT 589095 SOS 333695 HAS SOPS 333695 HAS SOUS 271288 HAS SOUPS 271288 WITH SCORE 271621.695
AT ITER 3416 NEW BEST:: SOT 588978 SOS 333548 HAS SOPS 333548 HAS SOUS 271069 HAS SOUPS 271069 WITH SCORE 271402.548
AT ITER 3425 NEW BEST:: SOT 588976 SOS 333546 HAS SOPS 333546 HAS SOUS 271067 HAS SOUPS 271067 WITH SCORE 271400.546
AT ITER 3442 NEW BEST:: SOT 588995 SOS 333531 HAS SOPS 333531 HAS SOUS 270950 HAS SOUPS 270950 WITH SCORE 271283.531
AT ITER 3443 NEW BEST:: SOT 588944 SOS 333392 HAS SOPS 333392 HAS SOUS 270811 HAS SOUPS 270811 WITH SCORE 271144.392
AT ITER 3479 NEW BEST:: SOT 588800 SOS 333221 HAS SOPS 333221 HAS SOUS 270640 HAS SOUPS 270640 WITH SCORE 270973.221
AT ITER 3485 NEW BEST:: SOT 588754 SOS 333175 HAS SOPS 333175 HAS SOUS 270594 HAS SOUPS 270594 WITH SCORE 270927.175
AT ITER 3497 NEW BEST:: SOT 588128 SOS 332567 HAS SOPS 332567 HAS SOUS 270108 HAS SOUPS 270108 WITH SCORE 270440.567
AT ITER 3513 NEW BEST:: SOT 588081 SOS 332419 HAS SOPS 332419 HAS SOUS 269960 HAS SOUPS 269960 WITH SCORE 270292.419
AT ITER 3515 NEW BEST:: SOT 587993 SOS 332305 HAS SOPS 332305 HAS SOUS 269865 HAS SOUPS 269865 WITH SCORE 270197.305
AT ITER 3517 NEW BEST:: SOT 587949 SOS 332261 HAS SOPS 332261 HAS SOUS 269821 HAS SOUPS 269821 WITH SCORE 270153.261
AT ITER 3518 NEW BEST:: SOT 587980 SOS 332232 HAS SOPS 332232 HAS SOUS 269792 HAS SOUPS 269792 WITH SCORE 270124.232
AT ITER 3519 NEW BEST:: SOT 587979 SOS 332229 HAS SOPS 332229 HAS SOUS 269789 HAS SOUPS 269789 WITH SCORE 270121.229
AT ITER 3522 NEW BEST:: SOT 588127 SOS 332397 HAS SOPS 332397 HAS SOUS 269520 HAS SOUPS 269520 WITH SCORE 269852.397
AT ITER 3527 NEW BEST:: SOT 588127 SOS 332357 HAS SOPS 332357 HAS SOUS 269480 HAS SOUPS 269480 WITH SCORE 269812.357
AT ITER 3538 NEW BEST:: SOT 588031 SOS 332165 HAS SOPS 332165 HAS SOUS 269192 HAS SOUPS 269192 WITH SCORE 269524.165
AT ITER 3551 NEW BEST:: SOT 587942 SOS 332593 HAS SOPS 332593 HAS SOUS 269119 HAS SOUPS 269119 WITH SCORE 269451.593
AT ITER 3552 NEW BEST:: SOT 587907 SOS 332558 HAS SOPS 332558 HAS SOUS 269084 HAS SOUPS 269084 WITH SCORE 269416.558
AT ITER 3560 NEW BEST:: SOT 587847 SOS 332528 HAS SOPS 332528 HAS SOUS 268994 HAS SOUPS 268994 WITH SCORE 269326.528
AT ITER 3564 NEW BEST:: SOT 588068 SOS 332090 HAS SOPS 332090 HAS SOUS 268762 HAS SOUPS 268762 WITH SCORE 269094.09
AT ITER 3568 NEW BEST:: SOT 587763 SOS 331784 HAS SOPS 331784 HAS SOUS 268456 HAS SOUPS 268456 WITH SCORE 268787.784
AT ITER 3582 NEW BEST:: SOT 588168 SOS 330704 HAS SOPS 330704 HAS SOUS 268365 HAS SOUPS 268365 WITH SCORE 268695.704
AT ITER 3583 NEW BEST:: SOT 587846 SOS 330222 HAS SOPS 330222 HAS SOUS 267806 HAS SOUPS 267806 WITH SCORE 268136.222
AT ITER 3584 NEW BEST:: SOT 587846 SOS 329985 HAS SOPS 329985 HAS SOUS 267569 HAS SOUPS 267569 WITH SCORE 267898.985
AT ITER 3587 NEW BEST:: SOT 587846 SOS 329955 HAS SOPS 329955 HAS SOUS 267539 HAS SOUPS 267539 WITH SCORE 267868.955
AT ITER 3592 NEW BEST:: SOT 587846 SOS 329788 HAS SOPS 329788 HAS SOUS 267522 HAS SOUPS 267522 WITH SCORE 267851.788
AT ITER 3594 NEW BEST:: SOT 587666 SOS 329350 HAS SOPS 329350 HAS SOUS 267084 HAS SOUPS 267084 WITH SCORE 267413.35
AT ITER 3614 NEW BEST:: SOT 587272 SOS 328968 HAS SOPS 328968 HAS SOUS 266822 HAS SOUPS 266822 WITH SCORE 267150.968
AT ITER 3615 NEW BEST:: SOT 587272 SOS 328924 HAS SOPS 328924 HAS SOUS 266778 HAS SOUPS 266778 WITH SCORE 267106.924
AT ITER 3616 NEW BEST:: SOT 587188 SOS 328840 HAS SOPS 328840 HAS SOUS 266694 HAS SOUPS 266694 WITH SCORE 267022.84
AT ITER 3620 NEW BEST:: SOT 587161 SOS 328702 HAS SOPS 328702 HAS SOUS 266638 HAS SOUPS 266638 WITH SCORE 266966.702
AT ITER 3624 NEW BEST:: SOT 586597 SOS 327858 HAS SOPS 327858 HAS SOUS 265372 HAS SOUPS 265372 WITH SCORE 265699.858
AT ITER 3626 NEW BEST:: SOT 586596 SOS 327856 HAS SOPS 327856 HAS SOUS 265372 HAS SOUPS 265372 WITH SCORE 265699.856
AT ITER 3630 NEW BEST:: SOT 586596 SOS 327859 HAS SOPS 327859 HAS SOUS 265369 HAS SOUPS 265369 WITH SCORE 265696.859
AT ITER 3641 NEW BEST:: SOT 587078 SOS 327895 HAS SOPS 327895 HAS SOUS 265184 HAS SOUPS 265184 WITH SCORE 265511.895
AT ITER 3654 NEW BEST:: SOT 587055 SOS 327844 HAS SOPS 327844 HAS SOUS 265124 HAS SOUPS 265124 WITH SCORE 265451.844
AT ITER 3655 NEW BEST:: SOT 586980 SOS 327708 HAS SOPS 327708 HAS SOUS 264772 HAS SOUPS 264772 WITH SCORE 265099.708
AT ITER 3667 NEW BEST:: SOT 586394 SOS 327122 HAS SOPS 327122 HAS SOUS 264186 HAS SOUPS 264186 WITH SCORE 264513.122
AT ITER 3690 NEW BEST:: SOT 586249 SOS 327251 HAS SOPS 327251 HAS SOUS 263890 HAS SOUPS 263890 WITH SCORE 264217.251
AT ITER 3705 NEW BEST:: SOT 586318 SOS 326742 HAS SOPS 326742 HAS SOUS 263420 HAS SOUPS 263420 WITH SCORE 263746.742
AT ITER 3706 NEW BEST:: SOT 586313 SOS 326748 HAS SOPS 326748 HAS SOUS 263415 HAS SOUPS 263415 WITH SCORE 263741.748
AT ITER 3708 NEW BEST:: SOT 586194 SOS 326400 HAS SOPS 326400 HAS SOUS 263145 HAS SOUPS 263145 WITH SCORE 263471.4
AT ITER 3714 NEW BEST:: SOT 586219 SOS 326390 HAS SOPS 326390 HAS SOUS 263131 HAS SOUPS 263131 WITH SCORE 263457.39
AT ITER 3716 NEW BEST:: SOT 586268 SOS 326439 HAS SOPS 326439 HAS SOUS 263116 HAS SOUPS 263116 WITH SCORE 263442.439
AT ITER 3719 NEW BEST:: SOT 585621 SOS 325390 HAS SOPS 325390 HAS SOUS 262302 HAS SOUPS 262302 WITH SCORE 262627.39
AT ITER 3721 NEW BEST:: SOT 585541 SOS 325310 HAS SOPS 325310 HAS SOUS 262238 HAS SOUPS 262238 WITH SCORE 262563.31
AT ITER 3725 NEW BEST:: SOT 585432 SOS 325098 HAS SOPS 325098 HAS SOUS 262144 HAS SOUPS 262144 WITH SCORE 262469.098
AT ITER 3735 NEW BEST:: SOT 585410 SOS 325032 HAS SOPS 325032 HAS SOUS 262056 HAS SOUPS 262056 WITH SCORE 262381.032
AT ITER 3748 NEW BEST:: SOT 585371 SOS 324954 HAS SOPS 324954 HAS SOUS 261978 HAS SOUPS 261978 WITH SCORE 262302.954
AT ITER 3749 NEW BEST:: SOT 585418 SOS 324982 HAS SOPS 324982 HAS SOUS 261893 HAS SOUPS 261893 WITH SCORE 262217.982
AT ITER 3767 NEW BEST:: SOT 585477 SOS 324982 HAS SOPS 324982 HAS SOUS 261891 HAS SOUPS 261891 WITH SCORE 262215.982
AT ITER 3776 NEW BEST:: SOT 585360 SOS 324990 HAS SOPS 324990 HAS SOUS 261839 HAS SOUPS 261839 WITH SCORE 262163.99
AT ITER 3779 NEW BEST:: SOT 585276 SOS 324953 HAS SOPS 324953 HAS SOUS 261755 HAS SOUPS 261755 WITH SCORE 262079.953
AT ITER 3781 NEW BEST:: SOT 585248 SOS 324948 HAS SOPS 324948 HAS SOUS 261750 HAS SOUPS 261750 WITH SCORE 262074.948
AT ITER 3796 NEW BEST:: SOT 585142 SOS 324830 HAS SOPS 324830 HAS SOUS 261632 HAS SOUPS 261632 WITH SCORE 261956.83
AT ITER 3797 NEW BEST:: SOT 585243 SOS 324855 HAS SOPS 324855 HAS SOUS 261592 HAS SOUPS 261592 WITH SCORE 261916.855
AT ITER 3798 NEW BEST:: SOT 585263 SOS 324801 HAS SOPS 324801 HAS SOUS 261538 HAS SOUPS 261538 WITH SCORE 261862.801
AT ITER 3803 NEW BEST:: SOT 585263 SOS 324811 HAS SOPS 324811 HAS SOUS 261129 HAS SOUPS 261129 WITH SCORE 261453.811
AT ITER 3805 NEW BEST:: SOT 585244 SOS 324802 HAS SOPS 324802 HAS SOUS 261088 HAS SOUPS 261088 WITH SCORE 261412.802
AT ITER 3816 NEW BEST:: SOT 584881 SOS 324498 HAS SOPS 324498 HAS SOUS 260757 HAS SOUPS 260757 WITH SCORE 261081.498
AT ITER 3819 NEW BEST:: SOT 584677 SOS 324391 HAS SOPS 324391 HAS SOUS 260650 HAS SOUPS 260650 WITH SCORE 260974.391
AT ITER 3824 NEW BEST:: SOT 584677 SOS 324393 HAS SOPS 324393 HAS SOUS 260649 HAS SOUPS 260649 WITH SCORE 260973.393
AT ITER 3838 NEW BEST:: SOT 584440 SOS 323998 HAS SOPS 323998 HAS SOUS 260443 HAS SOUPS 260443 WITH SCORE 260766.998
AT ITER 3841 NEW BEST:: SOT 584428 SOS 323968 HAS SOPS 323968 HAS SOUS 260312 HAS SOUPS 260312 WITH SCORE 260635.968
AT ITER 3852 NEW BEST:: SOT 584428 SOS 323845 HAS SOPS 323845 HAS SOUS 260189 HAS SOUPS 260189 WITH SCORE 260512.845
AT ITER 3867 NEW BEST:: SOT 584418 SOS 323804 HAS SOPS 323804 HAS SOUS 260148 HAS SOUPS 260148 WITH SCORE 260471.804
AT ITER 3869 NEW BEST:: SOT 584286 SOS 323263 HAS SOPS 323263 HAS SOUS 259775 HAS SOUPS 259775 WITH SCORE 260098.263
AT ITER 3894 NEW BEST:: SOT 584286 SOS 323193 HAS SOPS 323193 HAS SOUS 259635 HAS SOUPS 259635 WITH SCORE 259958.193
AT ITER 3897 NEW BEST:: SOT 584244 SOS 323153 HAS SOPS 323153 HAS SOUS 259595 HAS SOUPS 259595 WITH SCORE 259918.153
AT ITER 3908 NEW BEST:: SOT 584286 SOS 323147 HAS SOPS 323147 HAS SOUS 259351 HAS SOUPS 259351 WITH SCORE 259674.147
AT ITER 3919 NEW BEST:: SOT 584247 SOS 323076 HAS SOPS 323076 HAS SOUS 259280 HAS SOUPS 259280 WITH SCORE 259603.076
AT ITER 3920 NEW BEST:: SOT 584247 SOS 323066 HAS SOPS 323066 HAS SOUS 259270 HAS SOUPS 259270 WITH SCORE 259593.066
AT ITER 3921 NEW BEST:: SOT 584247 SOS 323063 HAS SOPS 323063 HAS SOUS 259267 HAS SOUPS 259267 WITH SCORE 259590.063
AT ITER 3928 NEW BEST:: SOT 584153 SOS 322821 HAS SOPS 322821 HAS SOUS 259025 HAS SOUPS 259025 WITH SCORE 259347.821
AT ITER 3933 NEW BEST:: SOT 584132 SOS 322800 HAS SOPS 322800 HAS SOUS 258917 HAS SOUPS 258917 WITH SCORE 259239.8
AT ITER 3940 NEW BEST:: SOT 583560 SOS 322117 HAS SOPS 322117 HAS SOUS 258295 HAS SOUPS 258295 WITH SCORE 258617.117
AT ITER 3942 NEW BEST:: SOT 583553 SOS 322117 HAS SOPS 322117 HAS SOUS 258288 HAS SOUPS 258288 WITH SCORE 258610.117
AT ITER 3959 NEW BEST:: SOT 583766 SOS 321746 HAS SOPS 321746 HAS SOUS 258288 HAS SOUPS 258288 WITH SCORE 258609.746
AT ITER 3962 NEW BEST:: SOT 583766 SOS 321364 HAS SOPS 321364 HAS SOUS 257811 HAS SOUPS 257811 WITH SCORE 258132.364
AT ITER 3971 NEW BEST:: SOT 583597 SOS 321195 HAS SOPS 321195 HAS SOUS 257642 HAS SOUPS 257642 WITH SCORE 257963.195
AT ITER 3978 NEW BEST:: SOT 583559 SOS 321138 HAS SOPS 321138 HAS SOUS 257581 HAS SOUPS 257581 WITH SCORE 257902.138
AT ITER 3990 NEW BEST:: SOT 583610 SOS 321189 HAS SOPS 321189 HAS SOUS 257511 HAS SOUPS 257511 WITH SCORE 257832.189
AT ITER 3996 NEW BEST:: SOT 583603 SOS 321182 HAS SOPS 321182 HAS SOUS 257504 HAS SOUPS 257504 WITH SCORE 257825.182
AT ITER 4007 NEW BEST:: SOT 583603 SOS 321159 HAS SOPS 321159 HAS SOUS 257481 HAS SOUPS 257481 WITH SCORE 257802.159
AT ITER 4009 NEW BEST:: SOT 583458 SOS 320763 HAS SOPS 320763 HAS SOUS 257450 HAS SOUPS 257450 WITH SCORE 257770.763
AT ITER 4010 NEW BEST:: SOT 583377 SOS 320633 HAS SOPS 320633 HAS SOUS 257402 HAS SOUPS 257402 WITH SCORE 257722.633
AT ITER 4031 NEW BEST:: SOT 583315 SOS 320509 HAS SOPS 320509 HAS SOUS 257247 HAS SOUPS 257247 WITH SCORE 257567.509
AT ITER 4039 NEW BEST:: SOT 583323 SOS 320151 HAS SOPS 320151 HAS SOUS 257159 HAS SOUPS 257159 WITH SCORE 257479.151
AT ITER 4040 NEW BEST:: SOT 583113 SOS 319778 HAS SOPS 319778 HAS SOUS 257158 HAS SOUPS 257158 WITH SCORE 257477.778
AT ITER 4047 NEW BEST:: SOT 582936 SOS 319542 HAS SOPS 319542 HAS SOUS 256922 HAS SOUPS 256922 WITH SCORE 257241.542
AT ITER 4057 NEW BEST:: SOT 582822 SOS 319434 HAS SOPS 319434 HAS SOUS 256763 HAS SOUPS 256763 WITH SCORE 257082.434
AT ITER 4059 NEW BEST:: SOT 582733 SOS 319171 HAS SOPS 319171 HAS SOUS 256434 HAS SOUPS 256434 WITH SCORE 256753.171
AT ITER 4064 NEW BEST:: SOT 582710 SOS 318352 HAS SOPS 318352 HAS SOUS 255814 HAS SOUPS 255814 WITH SCORE 256132.352
AT ITER 4067 NEW BEST:: SOT 582753 SOS 318307 HAS SOPS 318307 HAS SOUS 255661 HAS SOUPS 255661 WITH SCORE 255979.307
AT ITER 4074 NEW BEST:: SOT 582397 SOS 318004 HAS SOPS 318004 HAS SOUS 255358 HAS SOUPS 255358 WITH SCORE 255676.004
AT ITER 4077 NEW BEST:: SOT 582213 SOS 317770 HAS SOPS 317770 HAS SOUS 255258 HAS SOUPS 255258 WITH SCORE 255575.77
AT ITER 4080 NEW BEST:: SOT 582125 SOS 317682 HAS SOPS 317682 HAS SOUS 255170 HAS SOUPS 255170 WITH SCORE 255487.682
AT ITER 4089 NEW BEST:: SOT 582111 SOS 317647 HAS SOPS 317647 HAS SOUS 255125 HAS SOUPS 255125 WITH SCORE 255442.647
AT ITER 4100 NEW BEST:: SOT 581967 SOS 317503 HAS SOPS 317503 HAS SOUS 255029 HAS SOUPS 255029 WITH SCORE 255346.503
AT ITER 4107 NEW BEST:: SOT 581929 SOS 317429 HAS SOPS 317429 HAS SOUS 254955 HAS SOUPS 254955 WITH SCORE 255272.429
AT ITER 4133 NEW BEST:: SOT 581929 SOS 317162 HAS SOPS 317162 HAS SOUS 254688 HAS SOUPS 254688 WITH SCORE 255005.162
AT ITER 4136 NEW BEST:: SOT 581960 SOS 317193 HAS SOPS 317193 HAS SOUS 254657 HAS SOUPS 254657 WITH SCORE 254974.193
AT ITER 4144 NEW BEST:: SOT 580560 SOS 315793 HAS SOPS 315793 HAS SOUS 253156 HAS SOUPS 253156 WITH SCORE 253471.793
AT ITER 4145 NEW BEST:: SOT 580560 SOS 315828 HAS SOPS 315828 HAS SOUS 253116 HAS SOUPS 253116 WITH SCORE 253431.828
AT ITER 4154 NEW BEST:: SOT 580490 SOS 315723 HAS SOPS 315723 HAS SOUS 253011 HAS SOUPS 253011 WITH SCORE 253326.723
AT ITER 4156 NEW BEST:: SOT 580728 SOS 315719 HAS SOPS 315719 HAS SOUS 253000 HAS SOUPS 253000 WITH SCORE 253315.719
AT ITER 4160 NEW BEST:: SOT 580118 SOS 314851 HAS SOPS 314851 HAS SOUS 252363 HAS SOUPS 252363 WITH SCORE 252677.851
AT ITER 4163 NEW BEST:: SOT 579960 SOS 314693 HAS SOPS 314693 HAS SOUS 252205 HAS SOUPS 252205 WITH SCORE 252519.693
AT ITER 4176 NEW BEST:: SOT 579960 SOS 314745 HAS SOPS 314745 HAS SOUS 251985 HAS SOUPS 251985 WITH SCORE 252299.745
AT ITER 4177 NEW BEST:: SOT 579528 SOS 314131 HAS SOPS 314131 HAS SOUS 251371 HAS SOUPS 251371 WITH SCORE 251685.131
AT ITER 4180 NEW BEST:: SOT 579528 SOS 314051 HAS SOPS 314051 HAS SOUS 251291 HAS SOUPS 251291 WITH SCORE 251605.051
AT ITER 4185 NEW BEST:: SOT 579593 SOS 313959 HAS SOPS 313959 HAS SOUS 251199 HAS SOUPS 251199 WITH SCORE 251512.959
AT ITER 4192 NEW BEST:: SOT 579384 SOS 313611 HAS SOPS 313611 HAS SOUS 251056 HAS SOUPS 251056 WITH SCORE 251369.611
AT ITER 4196 NEW BEST:: SOT 579237 SOS 313464 HAS SOPS 313464 HAS SOUS 250909 HAS SOUPS 250909 WITH SCORE 251222.464
AT ITER 4202 NEW BEST:: SOT 579174 SOS 312727 HAS SOPS 312727 HAS SOUS 250139 HAS SOUPS 250139 WITH SCORE 250451.727
AT ITER 4207 NEW BEST:: SOT 579174 SOS 312673 HAS SOPS 312673 HAS SOUS 250137 HAS SOUPS 250137 WITH SCORE 250449.673
AT ITER 4210 NEW BEST:: SOT 579003 SOS 312672 HAS SOPS 312672 HAS SOUS 250125 HAS SOUPS 250125 WITH SCORE 250437.672
AT ITER 4219 NEW BEST:: SOT 578903 SOS 312113 HAS SOPS 312113 HAS SOUS 250033 HAS SOUPS 250033 WITH SCORE 250345.113
AT ITER 4244 NEW BEST:: SOT 578903 SOS 311995 HAS SOPS 311995 HAS SOUS 250001 HAS SOUPS 250001 WITH SCORE 250312.995
AT ITER 4254 NEW BEST:: SOT 578903 SOS 311760 HAS SOPS 311760 HAS SOUS 249990 HAS SOUPS 249990 WITH SCORE 250301.76
AT ITER 4262 NEW BEST:: SOT 578902 SOS 311758 HAS SOPS 311758 HAS SOUS 249988 HAS SOUPS 249988 WITH SCORE 250299.758
AT ITER 4264 NEW BEST:: SOT 578925 SOS 311781 HAS SOPS 311781 HAS SOUS 249978 HAS SOUPS 249978 WITH SCORE 250289.781
AT ITER 4269 NEW BEST:: SOT 579065 SOS 311686 HAS SOPS 311686 HAS SOUS 249883 HAS SOUPS 249883 WITH SCORE 250194.686
AT ITER 4279 NEW BEST:: SOT 579065 SOS 311685 HAS SOPS 311685 HAS SOUS 249880 HAS SOUPS 249880 WITH SCORE 250191.685
AT ITER 4284 NEW BEST:: SOT 579141 SOS 311658 HAS SOPS 311658 HAS SOUS 249853 HAS SOUPS 249853 WITH SCORE 250164.658
AT ITER 4301 NEW BEST:: SOT 579141 SOS 311658 HAS SOPS 311658 HAS SOUS 249844 HAS SOUPS 249844 WITH SCORE 250155.658
AT ITER 4309 NEW BEST:: SOT 579136 SOS 311656 HAS SOPS 311656 HAS SOUS 249842 HAS SOUPS 249842 WITH SCORE 250153.656
AT ITER 4317 NEW BEST:: SOT 578772 SOS 309996 HAS SOPS 309996 HAS SOUS 249685 HAS SOUPS 249685 WITH SCORE 249994.996
AT ITER 4320 NEW BEST:: SOT 578689 SOS 309913 HAS SOPS 309913 HAS SOUS 249602 HAS SOUPS 249602 WITH SCORE 249911.913
AT ITER 4328 NEW BEST:: SOT 578626 SOS 309817 HAS SOPS 309817 HAS SOUS 249506 HAS SOUPS 249506 WITH SCORE 249815.817
AT ITER 4334 NEW BEST:: SOT 578675 SOS 309844 HAS SOPS 309844 HAS SOUS 249458 HAS SOUPS 249458 WITH SCORE 249767.844
AT ITER 4344 NEW BEST:: SOT 578297 SOS 309337 HAS SOPS 309337 HAS SOUS 249066 HAS SOUPS 249066 WITH SCORE 249375.337
AT ITER 4353 NEW BEST:: SOT 578247 SOS 309287 HAS SOPS 309287 HAS SOUS 249016 HAS SOUPS 249016 WITH SCORE 249325.287
AT ITER 4364 NEW BEST:: SOT 578035 SOS 309113 HAS SOPS 309113 HAS SOUS 248931 HAS SOUPS 248931 WITH SCORE 249240.113
AT ITER 4366 NEW BEST:: SOT 578035 SOS 309106 HAS SOPS 309106 HAS SOUS 248910 HAS SOUPS 248910 WITH SCORE 249219.106
AT ITER 4367 NEW BEST:: SOT 578035 SOS 309060 HAS SOPS 309060 HAS SOUS 248850 HAS SOUPS 248850 WITH SCORE 249159.06
AT ITER 4377 NEW BEST:: SOT 577726 SOS 308733 HAS SOPS 308733 HAS SOUS 248802 HAS SOUPS 248802 WITH SCORE 249110.733
AT ITER 4378 NEW BEST:: SOT 577479 SOS 308329 HAS SOPS 308329 HAS SOUS 248398 HAS SOUPS 248398 WITH SCORE 248706.329
AT ITER 4386 NEW BEST:: SOT 577310 SOS 308400 HAS SOPS 308400 HAS SOUS 248066 HAS SOUPS 248066 WITH SCORE 248374.4
AT ITER 4397 NEW BEST:: SOT 577346 SOS 308364 HAS SOPS 308364 HAS SOUS 248066 HAS SOUPS 248066 WITH SCORE 248374.364
AT ITER 4424 NEW BEST:: SOT 577282 SOS 308300 HAS SOPS 308300 HAS SOUS 248018 HAS SOUPS 248018 WITH SCORE 248326.3
AT ITER 4434 NEW BEST:: SOT 577267 SOS 308285 HAS SOPS 308285 HAS SOUS 248003 HAS SOUPS 248003 WITH SCORE 248311.285
AT ITER 4456 NEW BEST:: SOT 577208 SOS 308108 HAS SOPS 308108 HAS SOUS 247895 HAS SOUPS 247895 WITH SCORE 248203.108
AT ITER 4458 NEW BEST:: SOT 576989 SOS 307928 HAS SOPS 307928 HAS SOUS 247715 HAS SOUPS 247715 WITH SCORE 248022.928
AT ITER 4483 NEW BEST:: SOT 576800 SOS 307739 HAS SOPS 307739 HAS SOUS 247526 HAS SOUPS 247526 WITH SCORE 247833.739
AT ITER 4516 NEW BEST:: SOT 576791 SOS 307730 HAS SOPS 307730 HAS SOUS 247517 HAS SOUPS 247517 WITH SCORE 247824.73
AT ITER 4517 NEW BEST:: SOT 576777 SOS 307716 HAS SOPS 307716 HAS SOUS 247503 HAS SOUPS 247503 WITH SCORE 247810.716
AT ITER 4519 NEW BEST:: SOT 576757 SOS 307744 HAS SOPS 307744 HAS SOUS 247453 HAS SOUPS 247453 WITH SCORE 247760.744
AT ITER 4520 NEW BEST:: SOT 576919 SOS 307701 HAS SOPS 307701 HAS SOUS 247426 HAS SOUPS 247426 WITH SCORE 247733.701
AT ITER 4527 NEW BEST:: SOT 577206 SOS 307217 HAS SOPS 307217 HAS SOUS 247139 HAS SOUPS 247139 WITH SCORE 247446.217
AT ITER 4558 NEW BEST:: SOT 577090 SOS 307076 HAS SOPS 307076 HAS SOUS 246998 HAS SOUPS 246998 WITH SCORE 247305.076
AT ITER 4576 NEW BEST:: SOT 576916 SOS 306746 HAS SOPS 306746 HAS SOUS 246746 HAS SOUPS 246746 WITH SCORE 247052.746
AT ITER 4584 NEW BEST:: SOT 576915 SOS 306745 HAS SOPS 306745 HAS SOUS 246745 HAS SOUPS 246745 WITH SCORE 247051.745
AT ITER 4596 NEW BEST:: SOT 576513 SOS 306611 HAS SOPS 306611 HAS SOUS 246580 HAS SOUPS 246580 WITH SCORE 246886.611
AT ITER 4597 NEW BEST:: SOT 576505 SOS 306565 HAS SOPS 306565 HAS SOUS 246534 HAS SOUPS 246534 WITH SCORE 246840.565
AT ITER 4608 NEW BEST:: SOT 576486 SOS 306548 HAS SOPS 306548 HAS SOUS 246528 HAS SOUPS 246528 WITH SCORE 246834.548
AT ITER 4613 NEW BEST:: SOT 576452 SOS 306482 HAS SOPS 306482 HAS SOUS 246462 HAS SOUPS 246462 WITH SCORE 246768.482
AT ITER 4616 NEW BEST:: SOT 576195 SOS 306172 HAS SOPS 306172 HAS SOUS 246152 HAS SOUPS 246152 WITH SCORE 246458.172
AT ITER 4620 NEW BEST:: SOT 576192 SOS 306169 HAS SOPS 306169 HAS SOUS 246149 HAS SOUPS 246149 WITH SCORE 246455.169
AT ITER 4627 NEW BEST:: SOT 575948 SOS 305837 HAS SOPS 305837 HAS SOUS 245817 HAS SOUPS 245817 WITH SCORE 246122.837
AT ITER 4633 NEW BEST:: SOT 575954 SOS 305486 HAS SOPS 305486 HAS SOUS 245516 HAS SOUPS 245516 WITH SCORE 245821.486
AT ITER 4637 NEW BEST:: SOT 575874 SOS 305383 HAS SOPS 305383 HAS SOUS 245365 HAS SOUPS 245365 WITH SCORE 245670.383
AT ITER 4653 NEW BEST:: SOT 575615 SOS 305434 HAS SOPS 305434 HAS SOUS 245003 HAS SOUPS 245003 WITH SCORE 245308.434
AT ITER 4654 NEW BEST:: SOT 575593 SOS 305418 HAS SOPS 305418 HAS SOUS 244987 HAS SOUPS 244987 WITH SCORE 245292.418
AT ITER 4657 NEW BEST:: SOT 575552 SOS 305396 HAS SOPS 305396 HAS SOUS 244965 HAS SOUPS 244965 WITH SCORE 245270.396
AT ITER 4663 NEW BEST:: SOT 575401 SOS 305203 HAS SOPS 305203 HAS SOUS 244765 HAS SOUPS 244765 WITH SCORE 245070.203
AT ITER 4666 NEW BEST:: SOT 575207 SOS 305014 HAS SOPS 305014 HAS SOUS 244660 HAS SOUPS 244660 WITH SCORE 244965.014
AT ITER 4668 NEW BEST:: SOT 575169 SOS 304976 HAS SOPS 304976 HAS SOUS 244622 HAS SOUPS 244622 WITH SCORE 244926.976
AT ITER 4689 NEW BEST:: SOT 575111 SOS 304922 HAS SOPS 304922 HAS SOUS 244568 HAS SOUPS 244568 WITH SCORE 244872.922
AT ITER 4693 NEW BEST:: SOT 575111 SOS 304334 HAS SOPS 304334 HAS SOUS 244479 HAS SOUPS 244479 WITH SCORE 244783.334
AT ITER 4702 NEW BEST:: SOT 574925 SOS 304096 HAS SOPS 304096 HAS SOUS 244190 HAS SOUPS 244190 WITH SCORE 244494.096
AT ITER 4710 NEW BEST:: SOT 574918 SOS 303771 HAS SOPS 303771 HAS SOUS 244081 HAS SOUPS 244081 WITH SCORE 244384.771
AT ITER 4711 NEW BEST:: SOT 574752 SOS 302920 HAS SOPS 302920 HAS SOUS 244056 HAS SOUPS 244056 WITH SCORE 244358.92
AT ITER 4727 NEW BEST:: SOT 574478 SOS 302721 HAS SOPS 302721 HAS SOUS 243871 HAS SOUPS 243871 WITH SCORE 244173.721
AT ITER 4750 NEW BEST:: SOT 574448 SOS 302721 HAS SOPS 302721 HAS SOUS 243856 HAS SOUPS 243856 WITH SCORE 244158.721
AT ITER 4751 NEW BEST:: SOT 574594 SOS 302730 HAS SOPS 302730 HAS SOUS 243648 HAS SOUPS 243648 WITH SCORE 243950.73
AT ITER 4758 NEW BEST:: SOT 574494 SOS 302630 HAS SOPS 302630 HAS SOUS 243548 HAS SOUPS 243548 WITH SCORE 243850.63
AT ITER 4774 NEW BEST:: SOT 574494 SOS 302614 HAS SOPS 302614 HAS SOUS 243516 HAS SOUPS 243516 WITH SCORE 243818.614
AT ITER 4783 NEW BEST:: SOT 574388 SOS 302390 HAS SOPS 302390 HAS SOUS 243292 HAS SOUPS 243292 WITH SCORE 243594.39
AT ITER 4784 NEW BEST:: SOT 574468 SOS 302488 HAS SOPS 302488 HAS SOUS 243168 HAS SOUPS 243168 WITH SCORE 243470.488
AT ITER 4799 NEW BEST:: SOT 574376 SOS 302396 HAS SOPS 302396 HAS SOUS 243058 HAS SOUPS 243058 WITH SCORE 243360.396
AT ITER 4805 NEW BEST:: SOT 574432 SOS 302372 HAS SOPS 302372 HAS SOUS 243034 HAS SOUPS 243034 WITH SCORE 243336.372
AT ITER 4830 NEW BEST:: SOT 574214 SOS 300707 HAS SOPS 300707 HAS SOUS 242647 HAS SOUPS 242647 WITH SCORE 242947.707
AT ITER 4835 NEW BEST:: SOT 574245 SOS 300906 HAS SOPS 300906 HAS SOUS 242631 HAS SOUPS 242631 WITH SCORE 242931.906
AT ITER 4836 NEW BEST:: SOT 574179 SOS 301168 HAS SOPS 301168 HAS SOUS 242503 HAS SOUPS 242503 WITH SCORE 242804.168
AT ITER 4857 NEW BEST:: SOT 574132 SOS 299653 HAS SOPS 299653 HAS SOUS 242274 HAS SOUPS 242274 WITH SCORE 242573.653
AT ITER 4861 NEW BEST:: SOT 573907 SOS 299309 HAS SOPS 299309 HAS SOUS 241930 HAS SOUPS 241930 WITH SCORE 242229.309
AT ITER 4863 NEW BEST:: SOT 573947 SOS 299349 HAS SOPS 299349 HAS SOUS 241919 HAS SOUPS 241919 WITH SCORE 242218.349
AT ITER 4864 NEW BEST:: SOT 573947 SOS 299313 HAS SOPS 299313 HAS SOUS 241895 HAS SOUPS 241895 WITH SCORE 242194.313
AT ITER 4872 NEW BEST:: SOT 573709 SOS 298977 HAS SOPS 298977 HAS SOUS 241603 HAS SOUPS 241603 WITH SCORE 241901.977
AT ITER 4876 NEW BEST:: SOT 573540 SOS 298731 HAS SOPS 298731 HAS SOUS 241511 HAS SOUPS 241511 WITH SCORE 241809.731
AT ITER 4887 NEW BEST:: SOT 573118 SOS 298192 HAS SOPS 298192 HAS SOUS 240972 HAS SOUPS 240972 WITH SCORE 241270.192
AT ITER 4888 NEW BEST:: SOT 573032 SOS 297850 HAS SOPS 297850 HAS SOUS 240905 HAS SOUPS 240905 WITH SCORE 241202.85
AT ITER 4889 NEW BEST:: SOT 573030 SOS 297845 HAS SOPS 297845 HAS SOUS 240900 HAS SOUPS 240900 WITH SCORE 241197.845
AT ITER 4892 NEW BEST:: SOT 573022 SOS 297821 HAS SOPS 297821 HAS SOUS 240868 HAS SOUPS 240868 WITH SCORE 241165.821
AT ITER 4893 NEW BEST:: SOT 573061 SOS 297860 HAS SOPS 297860 HAS SOUS 240859 HAS SOUPS 240859 WITH SCORE 241156.86
AT ITER 4896 NEW BEST:: SOT 572944 SOS 297743 HAS SOPS 297743 HAS SOUS 240695 HAS SOUPS 240695 WITH SCORE 240992.743
AT ITER 4897 NEW BEST:: SOT 572925 SOS 297582 HAS SOPS 297582 HAS SOUS 240392 HAS SOUPS 240392 WITH SCORE 240689.582
AT ITER 4924 NEW BEST:: SOT 572515 SOS 297136 HAS SOPS 297136 HAS SOUS 239946 HAS SOUPS 239946 WITH SCORE 240243.136
AT ITER 4933 NEW BEST:: SOT 572513 SOS 297134 HAS SOPS 297134 HAS SOUS 239944 HAS SOUPS 239944 WITH SCORE 240241.134
AT ITER 4936 NEW BEST:: SOT 572444 SOS 297065 HAS SOPS 297065 HAS SOUS 239875 HAS SOUPS 239875 WITH SCORE 240172.065
AT ITER 4938 NEW BEST:: SOT 572135 SOS 296744 HAS SOPS 296744 HAS SOUS 239553 HAS SOUPS 239553 WITH SCORE 239849.744
AT ITER 4942 NEW BEST:: SOT 572010 SOS 296655 HAS SOPS 296655 HAS SOUS 239523 HAS SOUPS 239523 WITH SCORE 239819.655
AT ITER 4960 NEW BEST:: SOT 572010 SOS 296676 HAS SOPS 296676 HAS SOUS 239512 HAS SOUPS 239512 WITH SCORE 239808.676
AT ITER 4995 NEW BEST:: SOT 571989 SOS 296634 HAS SOPS 296634 HAS SOUS 239470 HAS SOUPS 239470 WITH SCORE 239766.634
AT ITER 4997 NEW BEST:: SOT 571968 SOS 296413 HAS SOPS 296413 HAS SOUS 238874 HAS SOUPS 238874 WITH SCORE 239170.413
AT ITER 4998 NEW BEST:: SOT 571960 SOS 296397 HAS SOPS 296397 HAS SOUS 238866 HAS SOUPS 238866 WITH SCORE 239162.397
AT ITER 4999 NEW BEST:: SOT 571943 SOS 296380 HAS SOPS 296380 HAS SOUS 238849 HAS SOUPS 238849 WITH SCORE 239145.38
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-00 ( ( ( (AF(potential( ( 1 ) <= (tk(P238)) ))) & potential( ( 3 ) <= (tk(P518)) ) ) & ( (EG( potential( (tk(P127)) <= (tk(P277)) ))) | (EF(potential( ( 3 ) <= (tk(P395)) ))) ) ) | (AX( (AF(potential( ( 1 ) <= (tk(P875)) ))))) )
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-01 (! (AX( (AF(potential( ( 3 ) <= (tk(P972)) ))))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-02 (EG( (! potential( ( 2 ) <= (tk(P787)) ))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-03 (EU( potential( (tk(P388)) <= (tk(P570)) ),(AF(potential( ( 2 ) <= (tk(P556)) ))) ))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-04 (AG( (! (AG( potential( (tk(P590)) <= (tk(P565)) ))))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-05 (EG( (! ( ( potential( ( 2 ) <= (tk(P100)) ) & potential( (tk(P125)) <= (tk(P732)) ) ) & potential( (tk(P284)) <= (tk(P870)) ) ))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-06 (AF((EF((! potential( (tk(P123)) <= (tk(P778)) ))))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-07 (AX( (AG( ( potential( (tk(P922)) <= (tk(P604)) ) & potential( (tk(P130)) <= (tk(P932)) ) )))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-08 (EF(potential( ( 3 ) <= (tk(P460)) )))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-09 ( (AG( (! potential( ( 3 ) <= (tk(P600)) )))) | (AX( (! ( potential( (tk(P492)) <= (tk(P924)) ) & potential( (tk(P319)) <= (tk(P337)) ) )))) )
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-10 ( (AF(( ( potential( (tk(P614)) <= (tk(P761)) ) & potential( ( 3 ) <= (tk(P869)) ) ) | potential( (tk(P217)) <= (tk(P830)) ) ))) & (AG( (AX( potential( (tk(P244)) <= (tk(P479)) ))))) )
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-11 (! (EG( (EG( potential( (tk(P298)) <= (tk(P635)) ))))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-12 (! (! (! (AF(potential( ( 3 ) <= (tk(P272)) ))))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-13 (AG( (EG( potential( (tk(P704)) <= (tk(P849)) )))))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-14 (EG( ( potential( (tk(P710)) <= (tk(P319)) ) | (AG( potential( (tk(P501)) <= (tk(P324)) ))) )))
PROPERTY: ShieldIIPs-PT-040A-CTLCardinality-15 ( (! ( (EG( potential( ( 1 ) <= (tk(P309)) ))) | ( ( potential( (tk(P970)) <= (tk(P316)) ) | potential( (tk(P647)) <= (tk(P586)) ) ) & ( potential( (tk(P764)) <= (tk(P42)) ) | potential( (tk(P59)) <= (tk(P838)) ) ) ) )) | (AG( ( potential( ( 2 ) <= (tk(P994)) ) | (! potential( ( 2 ) <= (tk(P77)) )) ))) )

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="ShieldIIPs-PT-040A"
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 ShieldIIPs-PT-040A, 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-159033469100171"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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