Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696901328.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ViralEpidemic-PT-S08D1C2A02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696901328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 856K
-rw-r--r-- 1 mcc users 7.9K Feb 25 20:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 20:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 20:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 20:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 25 20:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 400K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679199591217

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S08D1C2A02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 731 places, 1241 transitions, 2993 arcs.
AT ITER 0 NEW BEST:: SOT 560855 SOS 436429 HAS SOPS 436429 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73306.429
AT ITER 18 NEW BEST:: SOT 560445 SOS 434584 HAS SOPS 434584 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 73304.584
AT ITER 35 NEW BEST:: SOT 559065 SOS 429649 HAS SOPS 429649 HAS SOUS 72739 HAS SOUPS 72739 WITH SCORE 73168.649
AT ITER 36 NEW BEST:: SOT 558543 SOS 427293 HAS SOPS 427293 HAS SOUS 72730 HAS SOUPS 72730 WITH SCORE 73157.293
AT ITER 48 NEW BEST:: SOT 558275 SOS 426086 HAS SOPS 426086 HAS SOUS 72729 HAS SOUPS 72729 WITH SCORE 73155.086
AT ITER 59 NEW BEST:: SOT 557833 SOS 424094 HAS SOPS 424094 HAS SOUS 72726 HAS SOUPS 72726 WITH SCORE 73150.094
AT ITER 60 NEW BEST:: SOT 557405 SOS 422162 HAS SOPS 422162 HAS SOUS 72720 HAS SOUPS 72720 WITH SCORE 73142.162
AT ITER 61 NEW BEST:: SOT 557077 SOS 420686 HAS SOPS 420686 HAS SOUS 72720 HAS SOUPS 72720 WITH SCORE 73140.686
AT ITER 71 NEW BEST:: SOT 556845 SOS 419641 HAS SOPS 419641 HAS SOUS 72719 HAS SOUPS 72719 WITH SCORE 73138.641
AT ITER 96 NEW BEST:: SOT 556844 SOS 419572 HAS SOPS 419572 HAS SOUS 72652 HAS SOUPS 72652 WITH SCORE 73071.572
AT ITER 111 NEW BEST:: SOT 555850 SOS 415097 HAS SOPS 415097 HAS SOUS 72650 HAS SOUPS 72650 WITH SCORE 73065.097
AT ITER 118 NEW BEST:: SOT 555602 SOS 413976 HAS SOPS 413976 HAS SOUS 72645 HAS SOUPS 72645 WITH SCORE 73058.976
AT ITER 125 NEW BEST:: SOT 555554 SOS 413754 HAS SOPS 413754 HAS SOUS 72639 HAS SOUPS 72639 WITH SCORE 73052.754
AT ITER 140 NEW BEST:: SOT 555102 SOS 411717 HAS SOPS 411717 HAS SOUS 72636 HAS SOUPS 72636 WITH SCORE 73047.717
AT ITER 141 NEW BEST:: SOT 554824 SOS 410344 HAS SOPS 410344 HAS SOUS 72512 HAS SOUPS 72512 WITH SCORE 72922.344
AT ITER 155 NEW BEST:: SOT 554532 SOS 408485 HAS SOPS 408485 HAS SOUS 72507 HAS SOUPS 72507 WITH SCORE 72915.485
AT ITER 188 NEW BEST:: SOT 553796 SOS 405169 HAS SOPS 405169 HAS SOUS 72503 HAS SOUPS 72503 WITH SCORE 72908.169
AT ITER 193 NEW BEST:: SOT 553344 SOS 402925 HAS SOPS 402925 HAS SOUS 72293 HAS SOUPS 72293 WITH SCORE 72695.925
AT ITER 216 NEW BEST:: SOT 553338 SOS 402913 HAS SOPS 402913 HAS SOUS 72288 HAS SOUPS 72288 WITH SCORE 72690.913
AT ITER 227 NEW BEST:: SOT 552496 SOS 398634 HAS SOPS 398634 HAS SOUS 71973 HAS SOUPS 71973 WITH SCORE 72371.634
AT ITER 247 NEW BEST:: SOT 551636 SOS 394172 HAS SOPS 394172 HAS SOUS 71575 HAS SOUPS 71575 WITH SCORE 71969.172
AT ITER 259 NEW BEST:: SOT 551600 SOS 394006 HAS SOPS 394006 HAS SOUS 71571 HAS SOUPS 71571 WITH SCORE 71965.006
AT ITER 266 NEW BEST:: SOT 551308 SOS 392555 HAS SOPS 392555 HAS SOUS 71434 HAS SOUPS 71434 WITH SCORE 71826.555
AT ITER 274 NEW BEST:: SOT 550644 SOS 389565 HAS SOPS 389565 HAS SOUS 71432 HAS SOUPS 71432 WITH SCORE 71821.565
AT ITER 277 NEW BEST:: SOT 550302 SOS 387917 HAS SOPS 387917 HAS SOUS 71323 HAS SOUPS 71323 WITH SCORE 71710.917
AT ITER 284 NEW BEST:: SOT 550244 SOS 387654 HAS SOPS 387654 HAS SOUS 71321 HAS SOUPS 71321 WITH SCORE 71708.654
AT ITER 297 NEW BEST:: SOT 549825 SOS 385469 HAS SOPS 385469 HAS SOUS 71242 HAS SOUPS 71242 WITH SCORE 71627.469
AT ITER 328 NEW BEST:: SOT 549045 SOS 381629 HAS SOPS 381629 HAS SOUS 71059 HAS SOUPS 71059 WITH SCORE 71440.629
AT ITER 341 NEW BEST:: SOT 549041 SOS 381609 HAS SOPS 381609 HAS SOUS 71057 HAS SOUPS 71057 WITH SCORE 71438.609
AT ITER 346 NEW BEST:: SOT 548813 SOS 380580 HAS SOPS 380580 HAS SOUS 71054 HAS SOUPS 71054 WITH SCORE 71434.58
AT ITER 373 NEW BEST:: SOT 548487 SOS 378950 HAS SOPS 378950 HAS SOUS 70891 HAS SOUPS 70891 WITH SCORE 71269.95
AT ITER 391 NEW BEST:: SOT 547975 SOS 376526 HAS SOPS 376526 HAS SOUS 70771 HAS SOUPS 70771 WITH SCORE 71147.526
AT ITER 398 NEW BEST:: SOT 547703 SOS 375299 HAS SOPS 375299 HAS SOUS 70768 HAS SOUPS 70768 WITH SCORE 71143.299
AT ITER 459 NEW BEST:: SOT 547318 SOS 372249 HAS SOPS 372249 HAS SOUS 70763 HAS SOUPS 70763 WITH SCORE 71135.249
AT ITER 466 NEW BEST:: SOT 546712 SOS 369175 HAS SOPS 369175 HAS SOUS 70542 HAS SOUPS 70542 WITH SCORE 70911.175
AT ITER 468 NEW BEST:: SOT 545814 SOS 365127 HAS SOPS 365127 HAS SOUS 70533 HAS SOUPS 70533 WITH SCORE 70898.127
AT ITER 494 NEW BEST:: SOT 545342 SOS 362701 HAS SOPS 362701 HAS SOUS 70339 HAS SOUPS 70339 WITH SCORE 70701.701
AT ITER 500 NEW BEST:: SOT 544969 SOS 360825 HAS SOPS 360825 HAS SOUS 70229 HAS SOUPS 70229 WITH SCORE 70589.825
AT ITER 510 NEW BEST:: SOT 544678 SOS 359347 HAS SOPS 359347 HAS SOUS 70218 HAS SOUPS 70218 WITH SCORE 70577.347
AT ITER 534 NEW BEST:: SOT 544684 SOS 359295 HAS SOPS 359295 HAS SOUS 70160 HAS SOUPS 70160 WITH SCORE 70519.295
AT ITER 548 NEW BEST:: SOT 544600 SOS 358915 HAS SOPS 358915 HAS SOUS 70158 HAS SOUPS 70158 WITH SCORE 70516.915
AT ITER 550 NEW BEST:: SOT 544572 SOS 358872 HAS SOPS 358872 HAS SOUS 70143 HAS SOUPS 70143 WITH SCORE 70501.872
AT ITER 555 NEW BEST:: SOT 544200 SOS 357192 HAS SOPS 357192 HAS SOUS 70137 HAS SOUPS 70137 WITH SCORE 70494.192
AT ITER 566 NEW BEST:: SOT 543808 SOS 355260 HAS SOPS 355260 HAS SOUS 69969 HAS SOUPS 69969 WITH SCORE 70324.26
AT ITER 582 NEW BEST:: SOT 543802 SOS 355224 HAS SOPS 355224 HAS SOUS 69939 HAS SOUPS 69939 WITH SCORE 70294.224
AT ITER 590 NEW BEST:: SOT 543835 SOS 355455 HAS SOPS 355455 HAS SOUS 69906 HAS SOUPS 69906 WITH SCORE 70261.455
AT ITER 599 NEW BEST:: SOT 543716 SOS 354641 HAS SOPS 354641 HAS SOUS 69881 HAS SOUPS 69881 WITH SCORE 70235.641
AT ITER 627 NEW BEST:: SOT 543648 SOS 354330 HAS SOPS 354330 HAS SOUS 69876 HAS SOUPS 69876 WITH SCORE 70230.33
AT ITER 631 NEW BEST:: SOT 543648 SOS 354325 HAS SOPS 354325 HAS SOUS 69871 HAS SOUPS 69871 WITH SCORE 70225.325
AT ITER 642 NEW BEST:: SOT 543609 SOS 354031 HAS SOPS 354031 HAS SOUS 69868 HAS SOUPS 69868 WITH SCORE 70222.031
AT ITER 667 NEW BEST:: SOT 542979 SOS 351190 HAS SOPS 351190 HAS SOUS 69862 HAS SOUPS 69862 WITH SCORE 70213.19
AT ITER 686 NEW BEST:: SOT 542227 SOS 347351 HAS SOPS 347351 HAS SOUS 69610 HAS SOUPS 69610 WITH SCORE 69957.351
AT ITER 729 NEW BEST:: SOT 541918 SOS 345767 HAS SOPS 345767 HAS SOUS 69553 HAS SOUPS 69553 WITH SCORE 69898.767
AT ITER 757 NEW BEST:: SOT 541650 SOS 344355 HAS SOPS 344355 HAS SOUS 69431 HAS SOUPS 69431 WITH SCORE 69775.355
AT ITER 797 NEW BEST:: SOT 541036 SOS 341590 HAS SOPS 341590 HAS SOUS 69429 HAS SOUPS 69429 WITH SCORE 69770.59
AT ITER 816 NEW BEST:: SOT 540242 SOS 337495 HAS SOPS 337495 HAS SOUS 69110 HAS SOUPS 69110 WITH SCORE 69447.495
AT ITER 821 NEW BEST:: SOT 540116 SOS 336845 HAS SOPS 336845 HAS SOUS 69104 HAS SOUPS 69104 WITH SCORE 69440.845
AT ITER 822 NEW BEST:: SOT 539910 SOS 335912 HAS SOPS 335912 HAS SOUS 69098 HAS SOUPS 69098 WITH SCORE 69433.912
AT ITER 823 NEW BEST:: SOT 539571 SOS 333908 HAS SOPS 333908 HAS SOUS 68980 HAS SOUPS 68980 WITH SCORE 69313.908
AT ITER 846 NEW BEST:: SOT 539405 SOS 333078 HAS SOPS 333078 HAS SOUS 68897 HAS SOUPS 68897 WITH SCORE 69230.078
AT ITER 853 NEW BEST:: SOT 539162 SOS 331308 HAS SOPS 331308 HAS SOUS 68868 HAS SOUPS 68868 WITH SCORE 69199.308
AT ITER 856 NEW BEST:: SOT 538865 SOS 329718 HAS SOPS 329718 HAS SOUS 68737 HAS SOUPS 68737 WITH SCORE 69066.718
AT ITER 862 NEW BEST:: SOT 538593 SOS 328358 HAS SOPS 328358 HAS SOUS 68599 HAS SOUPS 68599 WITH SCORE 68927.358
AT ITER 899 NEW BEST:: SOT 538635 SOS 328567 HAS SOPS 328567 HAS SOUS 68591 HAS SOUPS 68591 WITH SCORE 68919.567
AT ITER 900 NEW BEST:: SOT 538652 SOS 328702 HAS SOPS 328702 HAS SOUS 68590 HAS SOUPS 68590 WITH SCORE 68918.702
AT ITER 924 NEW BEST:: SOT 538625 SOS 328569 HAS SOPS 328569 HAS SOUS 68589 HAS SOUPS 68589 WITH SCORE 68917.569
AT ITER 939 NEW BEST:: SOT 538383 SOS 327359 HAS SOPS 327359 HAS SOUS 68468 HAS SOUPS 68468 WITH SCORE 68795.359
AT ITER 951 NEW BEST:: SOT 538383 SOS 327353 HAS SOPS 327353 HAS SOUS 68462 HAS SOUPS 68462 WITH SCORE 68789.353
AT ITER 954 NEW BEST:: SOT 538093 SOS 326046 HAS SOPS 326046 HAS SOUS 68460 HAS SOUPS 68460 WITH SCORE 68786.046
AT ITER 956 NEW BEST:: SOT 538071 SOS 325958 HAS SOPS 325958 HAS SOUS 68390 HAS SOUPS 68390 WITH SCORE 68715.958
AT ITER 968 NEW BEST:: SOT 537077 SOS 321479 HAS SOPS 321479 HAS SOUS 68384 HAS SOUPS 68384 WITH SCORE 68705.479
AT ITER 994 NEW BEST:: SOT 537019 SOS 321212 HAS SOPS 321212 HAS SOUS 68378 HAS SOUPS 68378 WITH SCORE 68699.212
AT ITER 995 NEW BEST:: SOT 537019 SOS 321206 HAS SOPS 321206 HAS SOUS 68372 HAS SOUPS 68372 WITH SCORE 68693.206
AT ITER 1017 NEW BEST:: SOT 536946 SOS 320618 HAS SOPS 320618 HAS SOUS 67945 HAS SOUPS 67945 WITH SCORE 68265.618
AT ITER 1029 NEW BEST:: SOT 536343 SOS 318407 HAS SOPS 318407 HAS SOUS 67543 HAS SOUPS 67543 WITH SCORE 67861.407
AT ITER 1044 NEW BEST:: SOT 536343 SOS 318285 HAS SOPS 318285 HAS SOUS 67421 HAS SOUPS 67421 WITH SCORE 67739.285
AT ITER 1079 NEW BEST:: SOT 535489 SOS 314442 HAS SOPS 314442 HAS SOUS 67421 HAS SOUPS 67421 WITH SCORE 67735.442
AT ITER 1084 NEW BEST:: SOT 535464 SOS 314367 HAS SOPS 314367 HAS SOUS 67371 HAS SOUPS 67371 WITH SCORE 67685.367
AT ITER 1111 NEW BEST:: SOT 535290 SOS 313245 HAS SOPS 313245 HAS SOUS 67326 HAS SOUPS 67326 WITH SCORE 67639.245
AT ITER 1112 NEW BEST:: SOT 535168 SOS 312689 HAS SOPS 312689 HAS SOUS 67317 HAS SOUPS 67317 WITH SCORE 67629.689
AT ITER 1114 NEW BEST:: SOT 535100 SOS 312169 HAS SOPS 312169 HAS SOUS 67313 HAS SOUPS 67313 WITH SCORE 67625.169
AT ITER 1125 NEW BEST:: SOT 535072 SOS 312038 HAS SOPS 312038 HAS SOUS 67308 HAS SOUPS 67308 WITH SCORE 67620.038
AT ITER 1145 NEW BEST:: SOT 535058 SOS 311968 HAS SOPS 311968 HAS SOUS 67301 HAS SOUPS 67301 WITH SCORE 67612.968
AT ITER 1147 NEW BEST:: SOT 534963 SOS 311872 HAS SOPS 311872 HAS SOUS 67295 HAS SOUPS 67295 WITH SCORE 67606.872
AT ITER 1148 NEW BEST:: SOT 534707 SOS 310526 HAS SOPS 310526 HAS SOUS 67178 HAS SOUPS 67178 WITH SCORE 67488.526
AT ITER 1152 NEW BEST:: SOT 534661 SOS 310434 HAS SOPS 310434 HAS SOUS 67132 HAS SOUPS 67132 WITH SCORE 67442.434
AT ITER 1156 NEW BEST:: SOT 534661 SOS 310434 HAS SOPS 310434 HAS SOUS 67128 HAS SOUPS 67128 WITH SCORE 67438.434
AT ITER 1164 NEW BEST:: SOT 534083 SOS 307833 HAS SOPS 307833 HAS SOUS 67128 HAS SOUPS 67128 WITH SCORE 67435.833
AT ITER 1206 NEW BEST:: SOT 533992 SOS 307651 HAS SOPS 307651 HAS SOUS 67037 HAS SOUPS 67037 WITH SCORE 67344.651
AT ITER 1210 NEW BEST:: SOT 533992 SOS 307646 HAS SOPS 307646 HAS SOUS 67032 HAS SOUPS 67032 WITH SCORE 67339.646
AT ITER 1218 NEW BEST:: SOT 533886 SOS 307266 HAS SOPS 307266 HAS SOUS 67010 HAS SOUPS 67010 WITH SCORE 67317.266
AT ITER 1222 NEW BEST:: SOT 533878 SOS 307250 HAS SOPS 307250 HAS SOUS 67010 HAS SOUPS 67010 WITH SCORE 67317.25
AT ITER 1227 NEW BEST:: SOT 533773 SOS 306716 HAS SOPS 306716 HAS SOUS 67001 HAS SOUPS 67001 WITH SCORE 67307.716
AT ITER 1272 NEW BEST:: SOT 533663 SOS 306166 HAS SOPS 306166 HAS SOUS 66946 HAS SOUPS 66946 WITH SCORE 67252.166
AT ITER 1282 NEW BEST:: SOT 533546 SOS 305928 HAS SOPS 305928 HAS SOUS 66825 HAS SOUPS 66825 WITH SCORE 67130.928
AT ITER 1294 NEW BEST:: SOT 533150 SOS 304142 HAS SOPS 304142 HAS SOUS 66821 HAS SOUPS 66821 WITH SCORE 67125.142
AT ITER 1298 NEW BEST:: SOT 533114 SOS 304066 HAS SOPS 304066 HAS SOUS 66781 HAS SOUPS 66781 WITH SCORE 67085.066
AT ITER 1309 NEW BEST:: SOT 533094 SOS 304006 HAS SOPS 304006 HAS SOUS 66741 HAS SOUPS 66741 WITH SCORE 67045.006
AT ITER 1313 NEW BEST:: SOT 533094 SOS 303857 HAS SOPS 303857 HAS SOUS 66592 HAS SOUPS 66592 WITH SCORE 66895.857
AT ITER 1322 NEW BEST:: SOT 532760 SOS 302145 HAS SOPS 302145 HAS SOUS 66432 HAS SOUPS 66432 WITH SCORE 66734.145
AT ITER 1330 NEW BEST:: SOT 532689 SOS 301616 HAS SOPS 301616 HAS SOUS 66429 HAS SOUPS 66429 WITH SCORE 66730.616
AT ITER 1335 NEW BEST:: SOT 532689 SOS 301523 HAS SOPS 301523 HAS SOUS 66336 HAS SOUPS 66336 WITH SCORE 66637.523
AT ITER 1367 NEW BEST:: SOT 532544 SOS 301089 HAS SOPS 301089 HAS SOUS 66222 HAS SOUPS 66222 WITH SCORE 66523.089
AT ITER 1387 NEW BEST:: SOT 532447 SOS 300535 HAS SOPS 300535 HAS SOUS 66185 HAS SOUPS 66185 WITH SCORE 66485.535
AT ITER 1399 NEW BEST:: SOT 532447 SOS 300535 HAS SOPS 300535 HAS SOUS 66183 HAS SOUPS 66183 WITH SCORE 66483.535
AT ITER 1402 NEW BEST:: SOT 532323 SOS 299972 HAS SOPS 299972 HAS SOUS 66178 HAS SOUPS 66178 WITH SCORE 66477.972
AT ITER 1426 NEW BEST:: SOT 532242 SOS 299810 HAS SOPS 299810 HAS SOUS 66097 HAS SOUPS 66097 WITH SCORE 66396.81
AT ITER 1450 NEW BEST:: SOT 531770 SOS 297907 HAS SOPS 297907 HAS SOUS 66050 HAS SOUPS 66050 WITH SCORE 66347.907
AT ITER 1451 NEW BEST:: SOT 531514 SOS 296750 HAS SOPS 296750 HAS SOUS 66045 HAS SOUPS 66045 WITH SCORE 66341.75
AT ITER 1456 NEW BEST:: SOT 531086 SOS 294610 HAS SOPS 294610 HAS SOUS 65831 HAS SOUPS 65831 WITH SCORE 66125.61
AT ITER 1462 NEW BEST:: SOT 530522 SOS 292162 HAS SOPS 292162 HAS SOUS 65556 HAS SOUPS 65556 WITH SCORE 65848.162
AT ITER 1488 NEW BEST:: SOT 530525 SOS 292183 HAS SOPS 292183 HAS SOUS 65553 HAS SOUPS 65553 WITH SCORE 65845.183
AT ITER 1505 NEW BEST:: SOT 530503 SOS 292139 HAS SOPS 292139 HAS SOUS 65531 HAS SOUPS 65531 WITH SCORE 65823.139
AT ITER 1508 NEW BEST:: SOT 530427 SOS 292135 HAS SOPS 292135 HAS SOUS 65527 HAS SOUPS 65527 WITH SCORE 65819.135
AT ITER 1519 NEW BEST:: SOT 530017 SOS 289974 HAS SOPS 289974 HAS SOUS 65379 HAS SOUPS 65379 WITH SCORE 65668.974
AT ITER 1544 NEW BEST:: SOT 530017 SOS 289963 HAS SOPS 289963 HAS SOUS 65368 HAS SOUPS 65368 WITH SCORE 65657.963
AT ITER 1548 NEW BEST:: SOT 528565 SOS 284313 HAS SOPS 284313 HAS SOUS 64512 HAS SOUPS 64512 WITH SCORE 64796.313
AT ITER 1568 NEW BEST:: SOT 528591 SOS 284517 HAS SOPS 284517 HAS SOUS 64508 HAS SOUPS 64508 WITH SCORE 64792.517
AT ITER 1599 NEW BEST:: SOT 528485 SOS 284036 HAS SOPS 284036 HAS SOUS 64504 HAS SOUPS 64504 WITH SCORE 64788.036
AT ITER 1616 NEW BEST:: SOT 528131 SOS 282096 HAS SOPS 282096 HAS SOUS 64311 HAS SOUPS 64311 WITH SCORE 64593.096
AT ITER 1622 NEW BEST:: SOT 528047 SOS 281928 HAS SOPS 281928 HAS SOUS 64227 HAS SOUPS 64227 WITH SCORE 64508.928
AT ITER 1636 NEW BEST:: SOT 527757 SOS 280478 HAS SOPS 280478 HAS SOUS 64082 HAS SOUPS 64082 WITH SCORE 64362.478
AT ITER 1639 NEW BEST:: SOT 526950 SOS 276410 HAS SOPS 276410 HAS SOUS 63845 HAS SOUPS 63845 WITH SCORE 64121.41
AT ITER 1646 NEW BEST:: SOT 526758 SOS 275450 HAS SOPS 275450 HAS SOUS 63749 HAS SOUPS 63749 WITH SCORE 64024.45
AT ITER 1666 NEW BEST:: SOT 526627 SOS 275188 HAS SOPS 275188 HAS SOUS 63672 HAS SOUPS 63672 WITH SCORE 63947.188
AT ITER 1670 NEW BEST:: SOT 526513 SOS 274618 HAS SOPS 274618 HAS SOUS 63615 HAS SOUPS 63615 WITH SCORE 63889.618
AT ITER 1676 NEW BEST:: SOT 526283 SOS 273468 HAS SOPS 273468 HAS SOUS 63500 HAS SOUPS 63500 WITH SCORE 63773.468
AT ITER 1709 NEW BEST:: SOT 526274 SOS 273396 HAS SOPS 273396 HAS SOUS 63500 HAS SOUPS 63500 WITH SCORE 63773.396
AT ITER 1737 NEW BEST:: SOT 526274 SOS 273396 HAS SOPS 273396 HAS SOUS 63468 HAS SOUPS 63468 WITH SCORE 63741.396
AT ITER 1756 NEW BEST:: SOT 525922 SOS 271811 HAS SOPS 271811 HAS SOUS 63467 HAS SOUPS 63467 WITH SCORE 63738.811
AT ITER 1831 NEW BEST:: SOT 525692 SOS 270670 HAS SOPS 270670 HAS SOUS 63361 HAS SOUPS 63361 WITH SCORE 63631.67
AT ITER 1846 NEW BEST:: SOT 525640 SOS 270410 HAS SOPS 270410 HAS SOUS 63335 HAS SOUPS 63335 WITH SCORE 63605.41
AT ITER 1850 NEW BEST:: SOT 525338 SOS 268588 HAS SOPS 268588 HAS SOUS 63236 HAS SOUPS 63236 WITH SCORE 63504.588
AT ITER 1885 NEW BEST:: SOT 525218 SOS 267988 HAS SOPS 267988 HAS SOUS 63176 HAS SOUPS 63176 WITH SCORE 63443.988
AT ITER 1894 NEW BEST:: SOT 525166 SOS 267884 HAS SOPS 267884 HAS SOUS 63124 HAS SOUPS 63124 WITH SCORE 63391.884
AT ITER 1908 NEW BEST:: SOT 525133 SOS 267723 HAS SOPS 267723 HAS SOUS 63107 HAS SOUPS 63107 WITH SCORE 63374.723
AT ITER 1917 NEW BEST:: SOT 524849 SOS 266445 HAS SOPS 266445 HAS SOUS 63107 HAS SOUPS 63107 WITH SCORE 63373.445
AT ITER 1940 NEW BEST:: SOT 524789 SOS 266145 HAS SOPS 266145 HAS SOUS 63077 HAS SOUPS 63077 WITH SCORE 63343.145
AT ITER 2018 NEW BEST:: SOT 524736 SOS 265878 HAS SOPS 265878 HAS SOUS 63059 HAS SOUPS 63059 WITH SCORE 63324.878
AT ITER 2103 NEW BEST:: SOT 524249 SOS 263432 HAS SOPS 263432 HAS SOUS 62895 HAS SOUPS 62895 WITH SCORE 63158.432
AT ITER 2117 NEW BEST:: SOT 524007 SOS 262222 HAS SOPS 262222 HAS SOUS 62774 HAS SOUPS 62774 WITH SCORE 63036.222
AT ITER 2133 NEW BEST:: SOT 524004 SOS 262211 HAS SOPS 262211 HAS SOUS 62770 HAS SOUPS 62770 WITH SCORE 63032.211
AT ITER 2181 NEW BEST:: SOT 523844 SOS 261710 HAS SOPS 261710 HAS SOUS 62719 HAS SOUPS 62719 WITH SCORE 62980.71
AT ITER 2185 NEW BEST:: SOT 523820 SOS 261638 HAS SOPS 261638 HAS SOUS 62671 HAS SOUPS 62671 WITH SCORE 62932.638
AT ITER 2201 NEW BEST:: SOT 523813 SOS 261582 HAS SOPS 261582 HAS SOUS 62671 HAS SOUPS 62671 WITH SCORE 62932.582
AT ITER 2221 NEW BEST:: SOT 523627 SOS 260573 HAS SOPS 260573 HAS SOUS 62667 HAS SOUPS 62667 WITH SCORE 62927.573
AT ITER 2242 NEW BEST:: SOT 523567 SOS 260513 HAS SOPS 260513 HAS SOUS 62637 HAS SOUPS 62637 WITH SCORE 62897.513
AT ITER 2243 NEW BEST:: SOT 523394 SOS 259573 HAS SOPS 259573 HAS SOUS 62582 HAS SOUPS 62582 WITH SCORE 62841.573
AT ITER 2260 NEW BEST:: SOT 523304 SOS 259123 HAS SOPS 259123 HAS SOUS 62537 HAS SOUPS 62537 WITH SCORE 62796.123
AT ITER 2322 NEW BEST:: SOT 523304 SOS 259122 HAS SOPS 259122 HAS SOUS 62536 HAS SOUPS 62536 WITH SCORE 62795.122
AT ITER 2324 NEW BEST:: SOT 522878 SOS 256577 HAS SOPS 256577 HAS SOUS 62402 HAS SOUPS 62402 WITH SCORE 62658.577
AT ITER 2356 NEW BEST:: SOT 522762 SOS 256049 HAS SOPS 256049 HAS SOUS 62396 HAS SOUPS 62396 WITH SCORE 62652.049
AT ITER 2411 NEW BEST:: SOT 522210 SOS 253377 HAS SOPS 253377 HAS SOUS 62206 HAS SOUPS 62206 WITH SCORE 62459.377
AT ITER 2417 NEW BEST:: SOT 522158 SOS 253270 HAS SOPS 253270 HAS SOUS 62151 HAS SOUPS 62151 WITH SCORE 62404.27
AT ITER 2448 NEW BEST:: SOT 522155 SOS 253264 HAS SOPS 253264 HAS SOUS 62148 HAS SOUPS 62148 WITH SCORE 62401.264
AT ITER 2454 NEW BEST:: SOT 522131 SOS 253216 HAS SOPS 253216 HAS SOUS 62121 HAS SOUPS 62121 WITH SCORE 62374.216
AT ITER 2463 NEW BEST:: SOT 521866 SOS 251570 HAS SOPS 251570 HAS SOUS 62045 HAS SOUPS 62045 WITH SCORE 62296.57
AT ITER 2489 NEW BEST:: SOT 521809 SOS 251318 HAS SOPS 251318 HAS SOUS 61846 HAS SOUPS 61846 WITH SCORE 62097.318
AT ITER 2518 NEW BEST:: SOT 521719 SOS 250912 HAS SOPS 250912 HAS SOUS 61845 HAS SOUPS 61845 WITH SCORE 62095.912
AT ITER 2525 NEW BEST:: SOT 521712 SOS 250898 HAS SOPS 250898 HAS SOUS 61836 HAS SOUPS 61836 WITH SCORE 62086.898
AT ITER 2545 NEW BEST:: SOT 521737 SOS 251073 HAS SOPS 251073 HAS SOUS 61811 HAS SOUPS 61811 WITH SCORE 62062.073
AT ITER 2573 NEW BEST:: SOT 521717 SOS 250976 HAS SOPS 250976 HAS SOUS 61802 HAS SOUPS 61802 WITH SCORE 62052.976
AT ITER 2579 NEW BEST:: SOT 521684 SOS 250502 HAS SOPS 250502 HAS SOUS 61791 HAS SOUPS 61791 WITH SCORE 62041.502
AT ITER 2606 NEW BEST:: SOT 521612 SOS 250144 HAS SOPS 250144 HAS SOUS 61757 HAS SOUPS 61757 WITH SCORE 62007.144
AT ITER 2614 NEW BEST:: SOT 521539 SOS 249794 HAS SOPS 249794 HAS SOUS 61757 HAS SOUPS 61757 WITH SCORE 62006.794
AT ITER 2615 NEW BEST:: SOT 521533 SOS 249772 HAS SOPS 249772 HAS SOUS 61753 HAS SOUPS 61753 WITH SCORE 62002.772
AT ITER 2623 NEW BEST:: SOT 521447 SOS 249369 HAS SOPS 249369 HAS SOUS 61735 HAS SOUPS 61735 WITH SCORE 61984.369
AT ITER 2637 NEW BEST:: SOT 521367 SOS 248969 HAS SOPS 248969 HAS SOUS 61695 HAS SOUPS 61695 WITH SCORE 61943.969
AT ITER 2659 NEW BEST:: SOT 521197 SOS 248119 HAS SOPS 248119 HAS SOUS 61610 HAS SOUPS 61610 WITH SCORE 61858.119
AT ITER 2666 NEW BEST:: SOT 521077 SOS 247568 HAS SOPS 247568 HAS SOUS 61599 HAS SOUPS 61599 WITH SCORE 61846.568
AT ITER 2672 NEW BEST:: SOT 520441 SOS 243926 HAS SOPS 243926 HAS SOUS 61358 HAS SOUPS 61358 WITH SCORE 61601.926
AT ITER 2698 NEW BEST:: SOT 520441 SOS 243924 HAS SOPS 243924 HAS SOUS 61356 HAS SOUPS 61356 WITH SCORE 61599.924
AT ITER 2705 NEW BEST:: SOT 520411 SOS 243769 HAS SOPS 243769 HAS SOUS 61350 HAS SOUPS 61350 WITH SCORE 61593.769
AT ITER 2706 NEW BEST:: SOT 520388 SOS 243722 HAS SOPS 243722 HAS SOUS 61326 HAS SOUPS 61326 WITH SCORE 61569.722
AT ITER 2715 NEW BEST:: SOT 520305 SOS 243085 HAS SOPS 243085 HAS SOUS 61318 HAS SOUPS 61318 WITH SCORE 61561.085
AT ITER 2783 NEW BEST:: SOT 520292 SOS 243059 HAS SOPS 243059 HAS SOUS 61305 HAS SOUPS 61305 WITH SCORE 61548.059
AT ITER 2788 NEW BEST:: SOT 520253 SOS 242591 HAS SOPS 242591 HAS SOUS 61291 HAS SOUPS 61291 WITH SCORE 61533.591
AT ITER 2810 NEW BEST:: SOT 520149 SOS 242313 HAS SOPS 242313 HAS SOUS 61117 HAS SOUPS 61117 WITH SCORE 61359.313
AT ITER 2817 NEW BEST:: SOT 520111 SOS 242237 HAS SOPS 242237 HAS SOUS 61109 HAS SOUPS 61109 WITH SCORE 61351.237
AT ITER 2821 NEW BEST:: SOT 519871 SOS 241357 HAS SOPS 241357 HAS SOUS 60949 HAS SOUPS 60949 WITH SCORE 61190.357
AT ITER 2830 NEW BEST:: SOT 519871 SOS 241357 HAS SOPS 241357 HAS SOUS 60945 HAS SOUPS 60945 WITH SCORE 61186.357
AT ITER 2834 NEW BEST:: SOT 519817 SOS 241175 HAS SOPS 241175 HAS SOUS 60925 HAS SOUPS 60925 WITH SCORE 61166.175
AT ITER 2859 NEW BEST:: SOT 519807 SOS 241155 HAS SOPS 241155 HAS SOUS 60920 HAS SOUPS 60920 WITH SCORE 61161.155
AT ITER 2861 NEW BEST:: SOT 519773 SOS 241087 HAS SOPS 241087 HAS SOUS 60906 HAS SOUPS 60906 WITH SCORE 61147.087
AT ITER 2918 NEW BEST:: SOT 519767 SOS 241059 HAS SOPS 241059 HAS SOUS 60905 HAS SOUPS 60905 WITH SCORE 61146.059
AT ITER 2940 NEW BEST:: SOT 519804 SOS 241338 HAS SOPS 241338 HAS SOUS 60864 HAS SOUPS 60864 WITH SCORE 61105.338
AT ITER 2952 NEW BEST:: SOT 519793 SOS 241322 HAS SOPS 241322 HAS SOUS 60864 HAS SOUPS 60864 WITH SCORE 61105.322
AT ITER 2964 NEW BEST:: SOT 519787 SOS 241292 HAS SOPS 241292 HAS SOUS 60861 HAS SOUPS 60861 WITH SCORE 61102.292
AT ITER 3009 NEW BEST:: SOT 519787 SOS 241281 HAS SOPS 241281 HAS SOUS 60850 HAS SOUPS 60850 WITH SCORE 61091.281
AT ITER 3036 NEW BEST:: SOT 519752 SOS 241245 HAS SOPS 241245 HAS SOUS 60847 HAS SOUPS 60847 WITH SCORE 61088.245
AT ITER 3049 NEW BEST:: SOT 519726 SOS 241193 HAS SOPS 241193 HAS SOUS 60845 HAS SOUPS 60845 WITH SCORE 61086.193
AT ITER 3063 NEW BEST:: SOT 519541 SOS 240247 HAS SOPS 240247 HAS SOUS 60756 HAS SOUPS 60756 WITH SCORE 60996.247
AT ITER 3072 NEW BEST:: SOT 519541 SOS 240208 HAS SOPS 240208 HAS SOUS 60717 HAS SOUPS 60717 WITH SCORE 60957.208
AT ITER 3158 NEW BEST:: SOT 519510 SOS 240146 HAS SOPS 240146 HAS SOUS 60686 HAS SOUPS 60686 WITH SCORE 60926.146
AT ITER 3159 NEW BEST:: SOT 519111 SOS 238076 HAS SOPS 238076 HAS SOUS 60492 HAS SOUPS 60492 WITH SCORE 60730.076
AT ITER 3168 NEW BEST:: SOT 519111 SOS 238076 HAS SOPS 238076 HAS SOUS 60488 HAS SOUPS 60488 WITH SCORE 60726.076
AT ITER 3169 NEW BEST:: SOT 519109 SOS 238074 HAS SOPS 238074 HAS SOUS 60482 HAS SOUPS 60482 WITH SCORE 60720.074
AT ITER 3193 NEW BEST:: SOT 519109 SOS 238068 HAS SOPS 238068 HAS SOUS 60476 HAS SOUPS 60476 WITH SCORE 60714.068
AT ITER 3216 NEW BEST:: SOT 518951 SOS 237236 HAS SOPS 237236 HAS SOUS 60404 HAS SOUPS 60404 WITH SCORE 60641.236
AT ITER 3217 NEW BEST:: SOT 518801 SOS 236559 HAS SOPS 236559 HAS SOUS 60402 HAS SOUPS 60402 WITH SCORE 60638.559
AT ITER 3226 NEW BEST:: SOT 518781 SOS 236510 HAS SOPS 236510 HAS SOUS 60371 HAS SOUPS 60371 WITH SCORE 60607.51
AT ITER 3259 NEW BEST:: SOT 518776 SOS 236470 HAS SOPS 236470 HAS SOUS 60371 HAS SOUPS 60371 WITH SCORE 60607.47
AT ITER 3269 NEW BEST:: SOT 518464 SOS 234910 HAS SOPS 234910 HAS SOUS 60215 HAS SOUPS 60215 WITH SCORE 60449.91
AT ITER 3272 NEW BEST:: SOT 518430 SOS 234740 HAS SOPS 234740 HAS SOUS 60198 HAS SOUPS 60198 WITH SCORE 60432.74
AT ITER 3278 NEW BEST:: SOT 518174 SOS 233461 HAS SOPS 233461 HAS SOUS 60092 HAS SOUPS 60092 WITH SCORE 60325.461
AT ITER 3282 NEW BEST:: SOT 518167 SOS 233447 HAS SOPS 233447 HAS SOUS 60085 HAS SOUPS 60085 WITH SCORE 60318.447
AT ITER 3306 NEW BEST:: SOT 517875 SOS 231970 HAS SOPS 231970 HAS SOUS 60020 HAS SOUPS 60020 WITH SCORE 60251.97
AT ITER 3313 NEW BEST:: SOT 517649 SOS 230102 HAS SOPS 230102 HAS SOUS 59985 HAS SOUPS 59985 WITH SCORE 60215.102
AT ITER 3329 NEW BEST:: SOT 517591 SOS 229812 HAS SOPS 229812 HAS SOUS 59956 HAS SOUPS 59956 WITH SCORE 60185.812
AT ITER 3376 NEW BEST:: SOT 517591 SOS 229812 HAS SOPS 229812 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60183.812
AT ITER 3377 NEW BEST:: SOT 517379 SOS 228752 HAS SOPS 228752 HAS SOUS 59848 HAS SOUPS 59848 WITH SCORE 60076.752
AT ITER 3412 NEW BEST:: SOT 517155 SOS 227690 HAS SOPS 227690 HAS SOUS 59794 HAS SOUPS 59794 WITH SCORE 60021.69
AT ITER 3434 NEW BEST:: SOT 517151 SOS 227682 HAS SOPS 227682 HAS SOUS 59790 HAS SOUPS 59790 WITH SCORE 60017.682
AT ITER 3442 NEW BEST:: SOT 516957 SOS 226760 HAS SOPS 226760 HAS SOUS 59741 HAS SOUPS 59741 WITH SCORE 59967.76
AT ITER 3445 NEW BEST:: SOT 516957 SOS 226759 HAS SOPS 226759 HAS SOUS 59740 HAS SOUPS 59740 WITH SCORE 59966.759
AT ITER 3472 NEW BEST:: SOT 516907 SOS 226605 HAS SOPS 226605 HAS SOUS 59636 HAS SOUPS 59636 WITH SCORE 59862.605
AT ITER 3476 NEW BEST:: SOT 516572 SOS 224682 HAS SOPS 224682 HAS SOUS 59602 HAS SOUPS 59602 WITH SCORE 59826.682
AT ITER 3494 NEW BEST:: SOT 516558 SOS 224668 HAS SOPS 224668 HAS SOUS 59602 HAS SOUPS 59602 WITH SCORE 59826.668
AT ITER 3496 NEW BEST:: SOT 516558 SOS 224668 HAS SOPS 224668 HAS SOUS 59600 HAS SOUPS 59600 WITH SCORE 59824.668
AT ITER 3506 NEW BEST:: SOT 516304 SOS 223518 HAS SOPS 223518 HAS SOUS 59591 HAS SOUPS 59591 WITH SCORE 59814.518
AT ITER 3541 NEW BEST:: SOT 516281 SOS 223472 HAS SOPS 223472 HAS SOUS 59568 HAS SOUPS 59568 WITH SCORE 59791.472
AT ITER 3553 NEW BEST:: SOT 516111 SOS 222622 HAS SOPS 222622 HAS SOUS 59483 HAS SOUPS 59483 WITH SCORE 59705.622
AT ITER 3578 NEW BEST:: SOT 516136 SOS 222816 HAS SOPS 222816 HAS SOUS 59477 HAS SOUPS 59477 WITH SCORE 59699.816
AT ITER 3588 NEW BEST:: SOT 516062 SOS 222668 HAS SOPS 222668 HAS SOUS 59403 HAS SOUPS 59403 WITH SCORE 59625.668
AT ITER 3595 NEW BEST:: SOT 515921 SOS 222527 HAS SOPS 222527 HAS SOUS 59266 HAS SOUPS 59266 WITH SCORE 59488.527
AT ITER 3599 NEW BEST:: SOT 515896 SOS 222516 HAS SOPS 222516 HAS SOUS 59251 HAS SOUPS 59251 WITH SCORE 59473.516
AT ITER 3613 NEW BEST:: SOT 515610 SOS 221116 HAS SOPS 221116 HAS SOUS 59138 HAS SOUPS 59138 WITH SCORE 59359.116
AT ITER 3688 NEW BEST:: SOT 515392 SOS 220026 HAS SOPS 220026 HAS SOUS 59029 HAS SOUPS 59029 WITH SCORE 59249.026
AT ITER 3692 NEW BEST:: SOT 515296 SOS 219546 HAS SOPS 219546 HAS SOUS 58979 HAS SOUPS 58979 WITH SCORE 59198.546
AT ITER 3695 NEW BEST:: SOT 515230 SOS 219162 HAS SOPS 219162 HAS SOUS 58941 HAS SOUPS 58941 WITH SCORE 59160.162
AT ITER 3696 NEW BEST:: SOT 515200 SOS 219012 HAS SOPS 219012 HAS SOUS 58926 HAS SOUPS 58926 WITH SCORE 59145.012
AT ITER 3708 NEW BEST:: SOT 515200 SOS 219012 HAS SOPS 219012 HAS SOUS 58922 HAS SOUPS 58922 WITH SCORE 59141.012
AT ITER 3709 NEW BEST:: SOT 515171 SOS 218964 HAS SOPS 218964 HAS SOUS 58903 HAS SOUPS 58903 WITH SCORE 59121.964
AT ITER 3711 NEW BEST:: SOT 515113 SOS 218530 HAS SOPS 218530 HAS SOUS 58893 HAS SOUPS 58893 WITH SCORE 59111.53
AT ITER 3721 NEW BEST:: SOT 515025 SOS 217838 HAS SOPS 217838 HAS SOUS 58817 HAS SOUPS 58817 WITH SCORE 59034.838
AT ITER 3751 NEW BEST:: SOT 515025 SOS 217838 HAS SOPS 217838 HAS SOUS 58811 HAS SOUPS 58811 WITH SCORE 59028.838
AT ITER 3753 NEW BEST:: SOT 515181 SOS 218790 HAS SOPS 218790 HAS SOUS 58708 HAS SOUPS 58708 WITH SCORE 58926.79
AT ITER 3761 NEW BEST:: SOT 515181 SOS 218790 HAS SOPS 218790 HAS SOUS 58706 HAS SOUPS 58706 WITH SCORE 58924.79
AT ITER 3772 NEW BEST:: SOT 515181 SOS 218702 HAS SOPS 218702 HAS SOUS 58618 HAS SOUPS 58618 WITH SCORE 58836.702
AT ITER 3780 NEW BEST:: SOT 515121 SOS 218582 HAS SOPS 218582 HAS SOUS 58588 HAS SOUPS 58588 WITH SCORE 58806.582
AT ITER 3782 NEW BEST:: SOT 514755 SOS 216752 HAS SOPS 216752 HAS SOUS 58399 HAS SOUPS 58399 WITH SCORE 58615.752
AT ITER 3821 NEW BEST:: SOT 514743 SOS 216704 HAS SOPS 216704 HAS SOUS 58387 HAS SOUPS 58387 WITH SCORE 58603.704
AT ITER 3838 NEW BEST:: SOT 514713 SOS 216664 HAS SOPS 216664 HAS SOUS 58386 HAS SOUPS 58386 WITH SCORE 58602.664
AT ITER 3842 NEW BEST:: SOT 514713 SOS 216674 HAS SOPS 216674 HAS SOUS 58384 HAS SOUPS 58384 WITH SCORE 58600.674
AT ITER 3851 NEW BEST:: SOT 514711 SOS 216670 HAS SOPS 216670 HAS SOUS 58336 HAS SOUPS 58336 WITH SCORE 58552.67
AT ITER 3857 NEW BEST:: SOT 514640 SOS 216528 HAS SOPS 216528 HAS SOUS 58265 HAS SOUPS 58265 WITH SCORE 58481.528
AT ITER 3877 NEW BEST:: SOT 514169 SOS 214100 HAS SOPS 214100 HAS SOUS 58069 HAS SOUPS 58069 WITH SCORE 58283.1
AT ITER 3880 NEW BEST:: SOT 514169 SOS 214100 HAS SOPS 214100 HAS SOUS 58065 HAS SOUPS 58065 WITH SCORE 58279.1
AT ITER 3886 NEW BEST:: SOT 514133 SOS 213938 HAS SOPS 213938 HAS SOUS 58065 HAS SOUPS 58065 WITH SCORE 58278.938
AT ITER 3890 NEW BEST:: SOT 514124 SOS 213928 HAS SOPS 213928 HAS SOUS 58064 HAS SOUPS 58064 WITH SCORE 58277.928
AT ITER 3907 NEW BEST:: SOT 514112 SOS 213869 HAS SOPS 213869 HAS SOUS 58059 HAS SOUPS 58059 WITH SCORE 58272.869
AT ITER 3932 NEW BEST:: SOT 513970 SOS 213227 HAS SOPS 213227 HAS SOUS 58056 HAS SOUPS 58056 WITH SCORE 58269.227
AT ITER 3980 NEW BEST:: SOT 513608 SOS 211596 HAS SOPS 211596 HAS SOUS 58054 HAS SOUPS 58054 WITH SCORE 58265.596
AT ITER 4034 NEW BEST:: SOT 513518 SOS 211146 HAS SOPS 211146 HAS SOUS 58009 HAS SOUPS 58009 WITH SCORE 58220.146
AT ITER 4068 NEW BEST:: SOT 513473 SOS 211056 HAS SOPS 211056 HAS SOUS 57972 HAS SOUPS 57972 WITH SCORE 58183.056
AT ITER 4085 NEW BEST:: SOT 513473 SOS 211036 HAS SOPS 211036 HAS SOUS 57952 HAS SOUPS 57952 WITH SCORE 58163.036
AT ITER 4104 NEW BEST:: SOT 513387 SOS 210642 HAS SOPS 210642 HAS SOUS 57943 HAS SOUPS 57943 WITH SCORE 58153.642
AT ITER 4121 NEW BEST:: SOT 513210 SOS 210240 HAS SOPS 210240 HAS SOUS 57837 HAS SOUPS 57837 WITH SCORE 58047.24
AT ITER 4122 NEW BEST:: SOT 512874 SOS 208560 HAS SOPS 208560 HAS SOUS 57669 HAS SOUPS 57669 WITH SCORE 57877.56
AT ITER 4136 NEW BEST:: SOT 512730 SOS 207840 HAS SOPS 207840 HAS SOUS 57597 HAS SOUPS 57597 WITH SCORE 57804.84
AT ITER 4141 NEW BEST:: SOT 512450 SOS 206463 HAS SOPS 206463 HAS SOUS 57478 HAS SOUPS 57478 WITH SCORE 57684.463
AT ITER 4163 NEW BEST:: SOT 512094 SOS 204027 HAS SOPS 204027 HAS SOUS 57438 HAS SOUPS 57438 WITH SCORE 57642.027
AT ITER 4181 NEW BEST:: SOT 512086 SOS 204009 HAS SOPS 204009 HAS SOUS 57428 HAS SOUPS 57428 WITH SCORE 57632.009
AT ITER 4189 NEW BEST:: SOT 512039 SOS 202781 HAS SOPS 202781 HAS SOUS 57235 HAS SOUPS 57235 WITH SCORE 57437.781
AT ITER 4196 NEW BEST:: SOT 512029 SOS 202731 HAS SOPS 202731 HAS SOUS 57228 HAS SOUPS 57228 WITH SCORE 57430.731
AT ITER 4202 NEW BEST:: SOT 512015 SOS 202661 HAS SOPS 202661 HAS SOUS 57221 HAS SOUPS 57221 WITH SCORE 57423.661
AT ITER 4205 NEW BEST:: SOT 512022 SOS 202653 HAS SOPS 202653 HAS SOUS 57176 HAS SOUPS 57176 WITH SCORE 57378.653
AT ITER 4226 NEW BEST:: SOT 512020 SOS 202637 HAS SOPS 202637 HAS SOUS 57176 HAS SOUPS 57176 WITH SCORE 57378.637
AT ITER 4231 NEW BEST:: SOT 511958 SOS 202327 HAS SOPS 202327 HAS SOUS 57145 HAS SOUPS 57145 WITH SCORE 57347.327
AT ITER 4240 NEW BEST:: SOT 511942 SOS 202295 HAS SOPS 202295 HAS SOUS 57097 HAS SOUPS 57097 WITH SCORE 57299.295
AT ITER 4248 NEW BEST:: SOT 511943 SOS 202174 HAS SOPS 202174 HAS SOUS 57088 HAS SOUPS 57088 WITH SCORE 57290.174
AT ITER 4281 NEW BEST:: SOT 511874 SOS 202558 HAS SOPS 202558 HAS SOUS 57016 HAS SOUPS 57016 WITH SCORE 57218.558
AT ITER 4285 NEW BEST:: SOT 511849 SOS 202524 HAS SOPS 202524 HAS SOUS 57014 HAS SOUPS 57014 WITH SCORE 57216.524
AT ITER 4305 NEW BEST:: SOT 511603 SOS 201901 HAS SOPS 201901 HAS SOUS 56752 HAS SOUPS 56752 WITH SCORE 56953.901
AT ITER 4334 NEW BEST:: SOT 511603 SOS 201901 HAS SOPS 201901 HAS SOUS 56750 HAS SOUPS 56750 WITH SCORE 56951.901
AT ITER 4347 NEW BEST:: SOT 511550 SOS 201583 HAS SOPS 201583 HAS SOUS 56747 HAS SOUPS 56747 WITH SCORE 56948.583
AT ITER 4351 NEW BEST:: SOT 511304 SOS 200390 HAS SOPS 200390 HAS SOUS 56661 HAS SOUPS 56661 WITH SCORE 56861.39
AT ITER 4357 NEW BEST:: SOT 511136 SOS 199520 HAS SOPS 199520 HAS SOUS 56582 HAS SOUPS 56582 WITH SCORE 56781.52
AT ITER 4366 NEW BEST:: SOT 510996 SOS 198820 HAS SOPS 198820 HAS SOUS 56512 HAS SOUPS 56512 WITH SCORE 56710.82
AT ITER 4379 NEW BEST:: SOT 510996 SOS 198820 HAS SOPS 198820 HAS SOUS 56510 HAS SOUPS 56510 WITH SCORE 56708.82
AT ITER 4390 NEW BEST:: SOT 510989 SOS 198789 HAS SOPS 198789 HAS SOUS 56498 HAS SOUPS 56498 WITH SCORE 56696.789
AT ITER 4402 NEW BEST:: SOT 510989 SOS 198789 HAS SOPS 198789 HAS SOUS 56496 HAS SOUPS 56496 WITH SCORE 56694.789
AT ITER 4409 NEW BEST:: SOT 510989 SOS 198789 HAS SOPS 198789 HAS SOUS 56494 HAS SOUPS 56494 WITH SCORE 56692.789
AT ITER 4481 NEW BEST:: SOT 510989 SOS 198784 HAS SOPS 198784 HAS SOUS 56489 HAS SOUPS 56489 WITH SCORE 56687.784
AT ITER 4483 NEW BEST:: SOT 510907 SOS 198374 HAS SOPS 198374 HAS SOUS 56448 HAS SOUPS 56448 WITH SCORE 56646.374
AT ITER 4494 NEW BEST:: SOT 510818 SOS 197908 HAS SOPS 197908 HAS SOUS 56444 HAS SOUPS 56444 WITH SCORE 56641.908
AT ITER 4497 NEW BEST:: SOT 510808 SOS 198092 HAS SOPS 198092 HAS SOUS 56439 HAS SOUPS 56439 WITH SCORE 56637.092
AT ITER 4513 NEW BEST:: SOT 510807 SOS 198090 HAS SOPS 198090 HAS SOUS 56435 HAS SOUPS 56435 WITH SCORE 56633.09
AT ITER 4516 NEW BEST:: SOT 510807 SOS 198089 HAS SOPS 198089 HAS SOUS 56434 HAS SOUPS 56434 WITH SCORE 56632.089
AT ITER 4543 NEW BEST:: SOT 510738 SOS 197596 HAS SOPS 197596 HAS SOUS 56416 HAS SOUPS 56416 WITH SCORE 56613.596
AT ITER 4547 NEW BEST:: SOT 510723 SOS 197462 HAS SOPS 197462 HAS SOUS 56416 HAS SOUPS 56416 WITH SCORE 56613.462
AT ITER 4560 NEW BEST:: SOT 510698 SOS 197273 HAS SOPS 197273 HAS SOUS 56404 HAS SOUPS 56404 WITH SCORE 56601.273
AT ITER 4562 NEW BEST:: SOT 510674 SOS 197153 HAS SOPS 197153 HAS SOUS 56392 HAS SOUPS 56392 WITH SCORE 56589.153
AT ITER 4569 NEW BEST:: SOT 510026 SOS 193830 HAS SOPS 193830 HAS SOUS 56209 HAS SOUPS 56209 WITH SCORE 56402.83
AT ITER 4584 NEW BEST:: SOT 510019 SOS 193762 HAS SOPS 193762 HAS SOUS 56200 HAS SOUPS 56200 WITH SCORE 56393.762
AT ITER 4596 NEW BEST:: SOT 510011 SOS 193703 HAS SOPS 193703 HAS SOUS 56149 HAS SOUPS 56149 WITH SCORE 56342.703
AT ITER 4624 NEW BEST:: SOT 510011 SOS 193697 HAS SOPS 193697 HAS SOUS 56143 HAS SOUPS 56143 WITH SCORE 56336.697
AT ITER 4626 NEW BEST:: SOT 510011 SOS 193697 HAS SOPS 193697 HAS SOUS 56141 HAS SOUPS 56141 WITH SCORE 56334.697
AT ITER 4649 NEW BEST:: SOT 509950 SOS 193575 HAS SOPS 193575 HAS SOUS 56098 HAS SOUPS 56098 WITH SCORE 56291.575
AT ITER 4676 NEW BEST:: SOT 509871 SOS 193126 HAS SOPS 193126 HAS SOUS 56092 HAS SOUPS 56092 WITH SCORE 56285.126
AT ITER 4728 NEW BEST:: SOT 509867 SOS 193118 HAS SOPS 193118 HAS SOUS 56088 HAS SOUPS 56088 WITH SCORE 56281.118
AT ITER 4740 NEW BEST:: SOT 509676 SOS 192040 HAS SOPS 192040 HAS SOUS 56076 HAS SOUPS 56076 WITH SCORE 56268.04
AT ITER 4741 NEW BEST:: SOT 509417 SOS 190715 HAS SOPS 190715 HAS SOUS 56029 HAS SOUPS 56029 WITH SCORE 56219.715
AT ITER 4743 NEW BEST:: SOT 509407 SOS 190692 HAS SOPS 190692 HAS SOUS 56016 HAS SOUPS 56016 WITH SCORE 56206.692
AT ITER 4749 NEW BEST:: SOT 509075 SOS 189048 HAS SOPS 189048 HAS SOUS 55866 HAS SOUPS 55866 WITH SCORE 56055.048
AT ITER 4756 NEW BEST:: SOT 509009 SOS 188586 HAS SOPS 188586 HAS SOUS 55854 HAS SOUPS 55854 WITH SCORE 56042.586
AT ITER 4772 NEW BEST:: SOT 508649 SOS 186786 HAS SOPS 186786 HAS SOUS 55656 HAS SOUPS 55656 WITH SCORE 55842.786
AT ITER 4774 NEW BEST:: SOT 508656 SOS 186777 HAS SOPS 186777 HAS SOUS 55636 HAS SOUPS 55636 WITH SCORE 55822.777
AT ITER 4778 NEW BEST:: SOT 508538 SOS 186187 HAS SOPS 186187 HAS SOUS 55577 HAS SOUPS 55577 WITH SCORE 55763.187
AT ITER 4791 NEW BEST:: SOT 508526 SOS 186117 HAS SOPS 186117 HAS SOUS 55519 HAS SOUPS 55519 WITH SCORE 55705.117
AT ITER 4802 NEW BEST:: SOT 508526 SOS 186117 HAS SOPS 186117 HAS SOUS 55515 HAS SOUPS 55515 WITH SCORE 55701.117
AT ITER 4869 NEW BEST:: SOT 508287 SOS 184717 HAS SOPS 184717 HAS SOUS 55495 HAS SOUPS 55495 WITH SCORE 55679.717
AT ITER 4880 NEW BEST:: SOT 508287 SOS 184762 HAS SOPS 184762 HAS SOUS 55477 HAS SOUPS 55477 WITH SCORE 55661.762
AT ITER 4883 NEW BEST:: SOT 507967 SOS 183184 HAS SOPS 183184 HAS SOUS 55360 HAS SOUPS 55360 WITH SCORE 55543.184
AT ITER 4893 NEW BEST:: SOT 507891 SOS 183059 HAS SOPS 183059 HAS SOUS 55349 HAS SOUPS 55349 WITH SCORE 55532.059
AT ITER 4895 NEW BEST:: SOT 507824 SOS 182655 HAS SOPS 182655 HAS SOUS 55318 HAS SOUPS 55318 WITH SCORE 55500.655
AT ITER 4907 NEW BEST:: SOT 507824 SOS 182655 HAS SOPS 182655 HAS SOUS 55316 HAS SOUPS 55316 WITH SCORE 55498.655
AT ITER 4911 NEW BEST:: SOT 507462 SOS 180845 HAS SOPS 180845 HAS SOUS 55135 HAS SOUPS 55135 WITH SCORE 55315.845
AT ITER 4934 NEW BEST:: SOT 507462 SOS 180791 HAS SOPS 180791 HAS SOUS 55081 HAS SOUPS 55081 WITH SCORE 55261.791
AT ITER 4935 NEW BEST:: SOT 507371 SOS 180604 HAS SOPS 180604 HAS SOUS 54985 HAS SOUPS 54985 WITH SCORE 55165.604
AT ITER 4987 NEW BEST:: SOT 507121 SOS 179354 HAS SOPS 179354 HAS SOUS 54860 HAS SOUPS 54860 WITH SCORE 55039.354
AT ITER 4988 NEW BEST:: SOT 507118 SOS 179321 HAS SOPS 179321 HAS SOUS 54830 HAS SOUPS 54830 WITH SCORE 55009.321
AT ITER 5002 NEW BEST:: SOT 507070 SOS 178985 HAS SOPS 178985 HAS SOUS 54822 HAS SOUPS 54822 WITH SCORE 55000.985
AT ITER 5015 NEW BEST:: SOT 507041 SOS 178927 HAS SOPS 178927 HAS SOUS 54793 HAS SOUPS 54793 WITH SCORE 54971.927
AT ITER 5017 NEW BEST:: SOT 506985 SOS 178641 HAS SOPS 178641 HAS SOUS 54766 HAS SOUPS 54766 WITH SCORE 54944.641
AT ITER 5019 NEW BEST:: SOT 506953 SOS 178391 HAS SOPS 178391 HAS SOUS 54765 HAS SOUPS 54765 WITH SCORE 54943.391
AT ITER 5054 NEW BEST:: SOT 506861 SOS 177745 HAS SOPS 177745 HAS SOUS 54750 HAS SOUPS 54750 WITH SCORE 54927.745
AT ITER 5064 NEW BEST:: SOT 506846 SOS 177790 HAS SOPS 177790 HAS SOUS 54720 HAS SOUPS 54720 WITH SCORE 54897.79
AT ITER 5068 NEW BEST:: SOT 506636 SOS 176544 HAS SOPS 176544 HAS SOUS 54642 HAS SOUPS 54642 WITH SCORE 54818.544
AT ITER 5072 NEW BEST:: SOT 506208 SOS 174404 HAS SOPS 174404 HAS SOUS 54428 HAS SOUPS 54428 WITH SCORE 54602.404
AT ITER 5089 NEW BEST:: SOT 506162 SOS 174174 HAS SOPS 174174 HAS SOUS 54405 HAS SOUPS 54405 WITH SCORE 54579.174
AT ITER 5096 NEW BEST:: SOT 506152 SOS 174154 HAS SOPS 174154 HAS SOUS 54395 HAS SOUPS 54395 WITH SCORE 54569.154
AT ITER 5119 NEW BEST:: SOT 506028 SOS 173378 HAS SOPS 173378 HAS SOUS 54362 HAS SOUPS 54362 WITH SCORE 54535.378
AT ITER 5149 NEW BEST:: SOT 506006 SOS 173334 HAS SOPS 173334 HAS SOUS 54351 HAS SOUPS 54351 WITH SCORE 54524.334
AT ITER 5178 NEW BEST:: SOT 505992 SOS 173236 HAS SOPS 173236 HAS SOUS 54323 HAS SOUPS 54323 WITH SCORE 54496.236
AT ITER 5181 NEW BEST:: SOT 505869 SOS 172494 HAS SOPS 172494 HAS SOUS 54275 HAS SOUPS 54275 WITH SCORE 54447.494
AT ITER 5207 NEW BEST:: SOT 505986 SOS 173396 HAS SOPS 173396 HAS SOUS 54262 HAS SOUPS 54262 WITH SCORE 54435.396
AT ITER 5208 NEW BEST:: SOT 505969 SOS 173292 HAS SOPS 173292 HAS SOUS 54260 HAS SOUPS 54260 WITH SCORE 54433.292
AT ITER 5229 NEW BEST:: SOT 505957 SOS 173458 HAS SOPS 173458 HAS SOUS 54189 HAS SOUPS 54189 WITH SCORE 54362.458
AT ITER 5237 NEW BEST:: SOT 505943 SOS 173444 HAS SOPS 173444 HAS SOUS 54133 HAS SOUPS 54133 WITH SCORE 54306.444
AT ITER 5244 NEW BEST:: SOT 505749 SOS 172474 HAS SOPS 172474 HAS SOUS 54036 HAS SOUPS 54036 WITH SCORE 54208.474
AT ITER 5249 NEW BEST:: SOT 505719 SOS 172414 HAS SOPS 172414 HAS SOUS 54006 HAS SOUPS 54006 WITH SCORE 54178.414
AT ITER 5271 NEW BEST:: SOT 505715 SOS 172560 HAS SOPS 172560 HAS SOUS 53984 HAS SOUPS 53984 WITH SCORE 54156.56
AT ITER 5277 NEW BEST:: SOT 505594 SOS 171808 HAS SOPS 171808 HAS SOUS 53948 HAS SOUPS 53948 WITH SCORE 54119.808
AT ITER 5337 NEW BEST:: SOT 505589 SOS 171798 HAS SOPS 171798 HAS SOUS 53948 HAS SOUPS 53948 WITH SCORE 54119.798
AT ITER 5349 NEW BEST:: SOT 505317 SOS 170401 HAS SOPS 170401 HAS SOUS 53845 HAS SOUPS 53845 WITH SCORE 54015.401
AT ITER 5353 NEW BEST:: SOT 505317 SOS 170401 HAS SOPS 170401 HAS SOUS 53837 HAS SOUPS 53837 WITH SCORE 54007.401
AT ITER 5363 NEW BEST:: SOT 505317 SOS 170401 HAS SOPS 170401 HAS SOUS 53831 HAS SOUPS 53831 WITH SCORE 54001.401
AT ITER 5366 NEW BEST:: SOT 505317 SOS 170401 HAS SOPS 170401 HAS SOUS 53829 HAS SOUPS 53829 WITH SCORE 53999.401
AT ITER 5393 NEW BEST:: SOT 505299 SOS 170365 HAS SOPS 170365 HAS SOUS 53811 HAS SOUPS 53811 WITH SCORE 53981.365
AT ITER 5409 NEW BEST:: SOT 505224 SOS 169861 HAS SOPS 169861 HAS SOUS 53795 HAS SOUPS 53795 WITH SCORE 53964.861
AT ITER 5414 NEW BEST:: SOT 505128 SOS 169112 HAS SOPS 169112 HAS SOUS 53770 HAS SOUPS 53770 WITH SCORE 53939.112
AT ITER 5453 NEW BEST:: SOT 505128 SOS 169112 HAS SOPS 169112 HAS SOUS 53762 HAS SOUPS 53762 WITH SCORE 53931.112
AT ITER 5462 NEW BEST:: SOT 505128 SOS 169063 HAS SOPS 169063 HAS SOUS 53713 HAS SOUPS 53713 WITH SCORE 53882.063
AT ITER 5465 NEW BEST:: SOT 505377 SOS 170372 HAS SOPS 170372 HAS SOUS 53695 HAS SOUPS 53695 WITH SCORE 53865.372
AT ITER 5481 NEW BEST:: SOT 505231 SOS 169642 HAS SOPS 169642 HAS SOUS 53622 HAS SOUPS 53622 WITH SCORE 53791.642
AT ITER 5555 NEW BEST:: SOT 505117 SOS 169072 HAS SOPS 169072 HAS SOUS 53565 HAS SOUPS 53565 WITH SCORE 53734.072
AT ITER 5560 NEW BEST:: SOT 504848 SOS 167622 HAS SOPS 167622 HAS SOUS 53425 HAS SOUPS 53425 WITH SCORE 53592.622
AT ITER 5576 NEW BEST:: SOT 504841 SOS 167608 HAS SOPS 167608 HAS SOUS 53416 HAS SOUPS 53416 WITH SCORE 53583.608
AT ITER 5579 NEW BEST:: SOT 504836 SOS 167598 HAS SOPS 167598 HAS SOUS 53416 HAS SOUPS 53416 WITH SCORE 53583.598
AT ITER 5600 NEW BEST:: SOT 504778 SOS 167482 HAS SOPS 167482 HAS SOUS 53387 HAS SOUPS 53387 WITH SCORE 53554.482
AT ITER 5638 NEW BEST:: SOT 504784 SOS 167668 HAS SOPS 167668 HAS SOUS 53386 HAS SOUPS 53386 WITH SCORE 53553.668
AT ITER 5645 NEW BEST:: SOT 504746 SOS 167630 HAS SOPS 167630 HAS SOUS 53272 HAS SOUPS 53272 WITH SCORE 53439.63
AT ITER 5655 NEW BEST:: SOT 504720 SOS 167576 HAS SOPS 167576 HAS SOUS 53244 HAS SOUPS 53244 WITH SCORE 53411.576
AT ITER 5667 NEW BEST:: SOT 504710 SOS 167546 HAS SOPS 167546 HAS SOUS 53224 HAS SOUPS 53224 WITH SCORE 53391.546
AT ITER 5692 NEW BEST:: SOT 504764 SOS 167479 HAS SOPS 167479 HAS SOUS 53189 HAS SOUPS 53189 WITH SCORE 53356.479
AT ITER 5784 NEW BEST:: SOT 504763 SOS 167459 HAS SOPS 167459 HAS SOUS 53189 HAS SOUPS 53189 WITH SCORE 53356.459
AT ITER 5788 NEW BEST:: SOT 504763 SOS 167459 HAS SOPS 167459 HAS SOUS 53177 HAS SOUPS 53177 WITH SCORE 53344.459
AT ITER 5807 NEW BEST:: SOT 504745 SOS 167364 HAS SOPS 167364 HAS SOUS 53167 HAS SOUPS 53167 WITH SCORE 53334.364
AT ITER 5809 NEW BEST:: SOT 504587 SOS 166574 HAS SOPS 166574 HAS SOUS 53088 HAS SOUPS 53088 WITH SCORE 53254.574
AT ITER 5811 NEW BEST:: SOT 504541 SOS 166344 HAS SOPS 166344 HAS SOUS 53065 HAS SOUPS 53065 WITH SCORE 53231.344
AT ITER 5822 NEW BEST:: SOT 504529 SOS 166290 HAS SOPS 166290 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53225.29
AT ITER 5838 NEW BEST:: SOT 504548 SOS 166298 HAS SOPS 166298 HAS SOUS 53044 HAS SOUPS 53044 WITH SCORE 53210.298
AT ITER 5871 NEW BEST:: SOT 504538 SOS 166225 HAS SOPS 166225 HAS SOUS 52981 HAS SOUPS 52981 WITH SCORE 53147.225
AT ITER 5887 NEW BEST:: SOT 504497 SOS 166028 HAS SOPS 166028 HAS SOUS 52961 HAS SOUPS 52961 WITH SCORE 53127.028
AT ITER 5889 NEW BEST:: SOT 504494 SOS 165985 HAS SOPS 165985 HAS SOUS 52921 HAS SOUPS 52921 WITH SCORE 53086.985
AT ITER 5899 NEW BEST:: SOT 504492 SOS 165978 HAS SOPS 165978 HAS SOUS 52916 HAS SOUPS 52916 WITH SCORE 53081.978
AT ITER 5929 NEW BEST:: SOT 504488 SOS 165968 HAS SOPS 165968 HAS SOUS 52910 HAS SOUPS 52910 WITH SCORE 53075.968
AT ITER 5935 NEW BEST:: SOT 504487 SOS 165967 HAS SOPS 165967 HAS SOUS 52909 HAS SOUPS 52909 WITH SCORE 53074.967
AT ITER 5942 NEW BEST:: SOT 504219 SOS 164549 HAS SOPS 164549 HAS SOUS 52788 HAS SOUPS 52788 WITH SCORE 52952.549
AT ITER 5985 NEW BEST:: SOT 504233 SOS 164563 HAS SOPS 164563 HAS SOUS 52774 HAS SOUPS 52774 WITH SCORE 52938.563
AT ITER 5987 NEW BEST:: SOT 503837 SOS 162220 HAS SOPS 162220 HAS SOUS 52769 HAS SOUPS 52769 WITH SCORE 52931.22
AT ITER 6013 NEW BEST:: SOT 503659 SOS 161171 HAS SOPS 161171 HAS SOUS 52721 HAS SOUPS 52721 WITH SCORE 52882.171
AT ITER 6014 NEW BEST:: SOT 503587 SOS 160649 HAS SOPS 160649 HAS SOUS 52688 HAS SOUPS 52688 WITH SCORE 52848.649
AT ITER 6025 NEW BEST:: SOT 503590 SOS 160746 HAS SOPS 160746 HAS SOUS 52683 HAS SOUPS 52683 WITH SCORE 52843.746
AT ITER 6028 NEW BEST:: SOT 503582 SOS 160710 HAS SOPS 160710 HAS SOUS 52683 HAS SOUPS 52683 WITH SCORE 52843.71
AT ITER 6043 NEW BEST:: SOT 503582 SOS 160710 HAS SOPS 160710 HAS SOUS 52679 HAS SOUPS 52679 WITH SCORE 52839.71
AT ITER 6060 NEW BEST:: SOT 503176 SOS 158687 HAS SOPS 158687 HAS SOUS 52647 HAS SOUPS 52647 WITH SCORE 52805.687
AT ITER 6065 NEW BEST:: SOT 503176 SOS 158668 HAS SOPS 158668 HAS SOUS 52628 HAS SOUPS 52628 WITH SCORE 52786.668
AT ITER 6067 NEW BEST:: SOT 503147 SOS 158517 HAS SOPS 158517 HAS SOUS 52625 HAS SOUPS 52625 WITH SCORE 52783.517
AT ITER 6075 NEW BEST:: SOT 503111 SOS 158445 HAS SOPS 158445 HAS SOUS 52607 HAS SOUPS 52607 WITH SCORE 52765.445
AT ITER 6085 NEW BEST:: SOT 503108 SOS 158421 HAS SOPS 158421 HAS SOUS 52607 HAS SOUPS 52607 WITH SCORE 52765.421
AT ITER 6143 NEW BEST:: SOT 503058 SOS 158003 HAS SOPS 158003 HAS SOUS 52568 HAS SOUPS 52568 WITH SCORE 52726.003
AT ITER 6149 NEW BEST:: SOT 503058 SOS 158003 HAS SOPS 158003 HAS SOUS 52562 HAS SOUPS 52562 WITH SCORE 52720.003
AT ITER 6156 NEW BEST:: SOT 502977 SOS 157595 HAS SOPS 157595 HAS SOUS 52522 HAS SOUPS 52522 WITH SCORE 52679.595
AT ITER 6161 NEW BEST:: SOT 502944 SOS 157509 HAS SOPS 157509 HAS SOUS 52473 HAS SOUPS 52473 WITH SCORE 52630.509
AT ITER 6167 NEW BEST:: SOT 502890 SOS 157139 HAS SOPS 157139 HAS SOUS 52473 HAS SOUPS 52473 WITH SCORE 52630.139
AT ITER 6172 NEW BEST:: SOT 502827 SOS 156985 HAS SOPS 156985 HAS SOUS 52424 HAS SOUPS 52424 WITH SCORE 52580.985
AT ITER 6257 NEW BEST:: SOT 502697 SOS 156335 HAS SOPS 156335 HAS SOUS 52357 HAS SOUPS 52357 WITH SCORE 52513.335
AT ITER 6260 NEW BEST:: SOT 502708 SOS 156357 HAS SOPS 156357 HAS SOUS 52352 HAS SOUPS 52352 WITH SCORE 52508.357
AT ITER 6282 NEW BEST:: SOT 502696 SOS 156333 HAS SOPS 156333 HAS SOUS 52340 HAS SOUPS 52340 WITH SCORE 52496.333
AT ITER 6315 NEW BEST:: SOT 502606 SOS 155883 HAS SOPS 155883 HAS SOUS 52295 HAS SOUPS 52295 WITH SCORE 52450.883
AT ITER 6372 NEW BEST:: SOT 502522 SOS 155211 HAS SOPS 155211 HAS SOUS 52219 HAS SOUPS 52219 WITH SCORE 52374.211
AT ITER 6423 NEW BEST:: SOT 502512 SOS 155161 HAS SOPS 155161 HAS SOUS 52214 HAS SOUPS 52214 WITH SCORE 52369.161
AT ITER 6428 NEW BEST:: SOT 502342 SOS 154311 HAS SOPS 154311 HAS SOUS 52129 HAS SOUPS 52129 WITH SCORE 52283.311
AT ITER 6481 NEW BEST:: SOT 502309 SOS 154445 HAS SOPS 154445 HAS SOUS 52063 HAS SOUPS 52063 WITH SCORE 52217.445
AT ITER 6483 NEW BEST:: SOT 502231 SOS 154079 HAS SOPS 154079 HAS SOUS 52027 HAS SOUPS 52027 WITH SCORE 52181.079
AT ITER 6489 NEW BEST:: SOT 502193 SOS 153889 HAS SOPS 153889 HAS SOUS 52008 HAS SOUPS 52008 WITH SCORE 52161.889
AT ITER 6492 NEW BEST:: SOT 502189 SOS 153881 HAS SOPS 153881 HAS SOUS 51999 HAS SOUPS 51999 WITH SCORE 52152.881
AT ITER 6500 NEW BEST:: SOT 502115 SOS 153415 HAS SOPS 153415 HAS SOUS 51965 HAS SOUPS 51965 WITH SCORE 52118.415
AT ITER 6502 NEW BEST:: SOT 502095 SOS 153315 HAS SOPS 153315 HAS SOUS 51955 HAS SOUPS 51955 WITH SCORE 52108.315
AT ITER 6574 NEW BEST:: SOT 502323 SOS 154555 HAS SOPS 154555 HAS SOUS 51931 HAS SOUPS 51931 WITH SCORE 52085.555
AT ITER 6577 NEW BEST:: SOT 502312 SOS 154389 HAS SOPS 154389 HAS SOUS 51916 HAS SOUPS 51916 WITH SCORE 52070.389
AT ITER 6579 NEW BEST:: SOT 502128 SOS 153555 HAS SOPS 153555 HAS SOUS 51910 HAS SOUPS 51910 WITH SCORE 52063.555
AT ITER 6655 NEW BEST:: SOT 502128 SOS 153547 HAS SOPS 153547 HAS SOUS 51902 HAS SOUPS 51902 WITH SCORE 52055.547
AT ITER 6694 NEW BEST:: SOT 502116 SOS 153523 HAS SOPS 153523 HAS SOUS 51896 HAS SOUPS 51896 WITH SCORE 52049.523
AT ITER 6704 NEW BEST:: SOT 501897 SOS 151825 HAS SOPS 151825 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 52010.825
AT ITER 6761 NEW BEST:: SOT 501897 SOS 151735 HAS SOPS 151735 HAS SOUS 51767 HAS SOUPS 51767 WITH SCORE 51918.735
AT ITER 6770 NEW BEST:: SOT 501889 SOS 151693 HAS SOPS 151693 HAS SOUS 51733 HAS SOUPS 51733 WITH SCORE 51884.693
AT ITER 6791 NEW BEST:: SOT 501889 SOS 151693 HAS SOPS 151693 HAS SOUS 51731 HAS SOUPS 51731 WITH SCORE 51882.693
AT ITER 6854 NEW BEST:: SOT 501883 SOS 151687 HAS SOPS 151687 HAS SOUS 51727 HAS SOUPS 51727 WITH SCORE 51878.687
AT ITER 6867 NEW BEST:: SOT 501854 SOS 151544 HAS SOPS 151544 HAS SOUS 51727 HAS SOUPS 51727 WITH SCORE 51878.544
AT ITER 6882 NEW BEST:: SOT 501850 SOS 151524 HAS SOPS 151524 HAS SOUS 51725 HAS SOUPS 51725 WITH SCORE 51876.524
AT ITER 6908 NEW BEST:: SOT 501728 SOS 151226 HAS SOPS 151226 HAS SOUS 51610 HAS SOUPS 51610 WITH SCORE 51761.226
AT ITER 6931 NEW BEST:: SOT 501728 SOS 151226 HAS SOPS 151226 HAS SOUS 51602 HAS SOUPS 51602 WITH SCORE 51753.226
AT ITER 6933 NEW BEST:: SOT 501733 SOS 151265 HAS SOPS 151265 HAS SOUS 51601 HAS SOUPS 51601 WITH SCORE 51752.265
AT ITER 6947 NEW BEST:: SOT 501724 SOS 151243 HAS SOPS 151243 HAS SOUS 51506 HAS SOUPS 51506 WITH SCORE 51657.243
AT ITER 6966 NEW BEST:: SOT 501690 SOS 151073 HAS SOPS 151073 HAS SOUS 51489 HAS SOUPS 51489 WITH SCORE 51640.073
AT ITER 6991 NEW BEST:: SOT 501546 SOS 150281 HAS SOPS 150281 HAS SOUS 51410 HAS SOUPS 51410 WITH SCORE 51560.281
AT ITER 7006 NEW BEST:: SOT 501441 SOS 150064 HAS SOPS 150064 HAS SOUS 51335 HAS SOUPS 51335 WITH SCORE 51485.064
AT ITER 7053 NEW BEST:: SOT 501408 SOS 149944 HAS SOPS 149944 HAS SOUS 51333 HAS SOUPS 51333 WITH SCORE 51482.944
AT ITER 7068 NEW BEST:: SOT 501330 SOS 149871 HAS SOPS 149871 HAS SOUS 51318 HAS SOUPS 51318 WITH SCORE 51467.871
AT ITER 7087 NEW BEST:: SOT 501301 SOS 149748 HAS SOPS 149748 HAS SOUS 51291 HAS SOUPS 51291 WITH SCORE 51440.748
AT ITER 7107 NEW BEST:: SOT 501196 SOS 149220 HAS SOPS 149220 HAS SOUS 51239 HAS SOUPS 51239 WITH SCORE 51388.22
AT ITER 7147 NEW BEST:: SOT 501166 SOS 149159 HAS SOPS 149159 HAS SOUS 51220 HAS SOUPS 51220 WITH SCORE 51369.159
AT ITER 7152 NEW BEST:: SOT 501174 SOS 149127 HAS SOPS 149127 HAS SOUS 51212 HAS SOUPS 51212 WITH SCORE 51361.127
AT ITER 7171 NEW BEST:: SOT 501061 SOS 148463 HAS SOPS 148463 HAS SOUS 51172 HAS SOUPS 51172 WITH SCORE 51320.463
AT ITER 7174 NEW BEST:: SOT 501057 SOS 148451 HAS SOPS 148451 HAS SOUS 51172 HAS SOUPS 51172 WITH SCORE 51320.451
AT ITER 7175 NEW BEST:: SOT 501057 SOS 148434 HAS SOPS 148434 HAS SOUS 51155 HAS SOUPS 51155 WITH SCORE 51303.434
AT ITER 7201 NEW BEST:: SOT 500913 SOS 147714 HAS SOPS 147714 HAS SOUS 51083 HAS SOUPS 51083 WITH SCORE 51230.714
AT ITER 7208 NEW BEST:: SOT 500836 SOS 147764 HAS SOPS 147764 HAS SOUS 51071 HAS SOUPS 51071 WITH SCORE 51218.764
AT ITER 7232 NEW BEST:: SOT 500836 SOS 147761 HAS SOPS 147761 HAS SOUS 51068 HAS SOUPS 51068 WITH SCORE 51215.761
AT ITER 7258 NEW BEST:: SOT 500620 SOS 146495 HAS SOPS 146495 HAS SOUS 51019 HAS SOUPS 51019 WITH SCORE 51165.495
AT ITER 7286 NEW BEST:: SOT 500620 SOS 146494 HAS SOPS 146494 HAS SOUS 51018 HAS SOUPS 51018 WITH SCORE 51164.494
AT ITER 7338 NEW BEST:: SOT 500620 SOS 146494 HAS SOPS 146494 HAS SOUS 50974 HAS SOUPS 50974 WITH SCORE 51120.494
AT ITER 7339 NEW BEST:: SOT 500597 SOS 146310 HAS SOPS 146310 HAS SOUS 50974 HAS SOUPS 50974 WITH SCORE 51120.31
AT ITER 7357 NEW BEST:: SOT 500591 SOS 146334 HAS SOPS 146334 HAS SOUS 50968 HAS SOUPS 50968 WITH SCORE 51114.334
AT ITER 7367 NEW BEST:: SOT 500660 SOS 147175 HAS SOPS 147175 HAS SOUS 50866 HAS SOUPS 50866 WITH SCORE 51013.175
AT ITER 7375 NEW BEST:: SOT 500463 SOS 146691 HAS SOPS 146691 HAS SOUS 50684 HAS SOUPS 50684 WITH SCORE 50830.691
AT ITER 7388 NEW BEST:: SOT 500468 SOS 146730 HAS SOPS 146730 HAS SOUS 50683 HAS SOUPS 50683 WITH SCORE 50829.73
AT ITER 7391 NEW BEST:: SOT 500450 SOS 146712 HAS SOPS 146712 HAS SOUS 50665 HAS SOUPS 50665 WITH SCORE 50811.712
AT ITER 7446 NEW BEST:: SOT 500450 SOS 146712 HAS SOPS 146712 HAS SOUS 50661 HAS SOUPS 50661 WITH SCORE 50807.712
AT ITER 7501 NEW BEST:: SOT 500380 SOS 146362 HAS SOPS 146362 HAS SOUS 50626 HAS SOUPS 50626 WITH SCORE 50772.362
AT ITER 7510 NEW BEST:: SOT 500338 SOS 146294 HAS SOPS 146294 HAS SOUS 50603 HAS SOUPS 50603 WITH SCORE 50749.294
AT ITER 7516 NEW BEST:: SOT 500346 SOS 146382 HAS SOPS 146382 HAS SOUS 50599 HAS SOUPS 50599 WITH SCORE 50745.382
AT ITER 7517 NEW BEST:: SOT 500342 SOS 146378 HAS SOPS 146378 HAS SOUS 50587 HAS SOUPS 50587 WITH SCORE 50733.378
AT ITER 7529 NEW BEST:: SOT 500254 SOS 145976 HAS SOPS 145976 HAS SOUS 50581 HAS SOUPS 50581 WITH SCORE 50726.976
AT ITER 7548 NEW BEST:: SOT 500253 SOS 145932 HAS SOPS 145932 HAS SOUS 50581 HAS SOUPS 50581 WITH SCORE 50726.932
AT ITER 7560 NEW BEST:: SOT 500146 SOS 145376 HAS SOPS 145376 HAS SOUS 50531 HAS SOUPS 50531 WITH SCORE 50676.376
AT ITER 7578 NEW BEST:: SOT 500130 SOS 145340 HAS SOPS 145340 HAS SOUS 50511 HAS SOUPS 50511 WITH SCORE 50656.34
AT ITER 7579 NEW BEST:: SOT 500126 SOS 145332 HAS SOPS 145332 HAS SOUS 50502 HAS SOUPS 50502 WITH SCORE 50647.332
AT ITER 7581 NEW BEST:: SOT 500093 SOS 145074 HAS SOPS 145074 HAS SOUS 50477 HAS SOUPS 50477 WITH SCORE 50622.074
AT ITER 7616 NEW BEST:: SOT 500045 SOS 144974 HAS SOPS 144974 HAS SOUS 50443 HAS SOUPS 50443 WITH SCORE 50587.974
AT ITER 7620 NEW BEST:: SOT 500045 SOS 144974 HAS SOPS 144974 HAS SOUS 50417 HAS SOUPS 50417 WITH SCORE 50561.974
AT ITER 7662 NEW BEST:: SOT 500045 SOS 145044 HAS SOPS 145044 HAS SOUS 50403 HAS SOUPS 50403 WITH SCORE 50548.044
AT ITER 7671 NEW BEST:: SOT 500021 SOS 145019 HAS SOPS 145019 HAS SOUS 50369 HAS SOUPS 50369 WITH SCORE 50514.019
AT ITER 7715 NEW BEST:: SOT 499963 SOS 144888 HAS SOPS 144888 HAS SOUS 50336 HAS SOUPS 50336 WITH SCORE 50480.888
AT ITER 7745 NEW BEST:: SOT 499777 SOS 143958 HAS SOPS 143958 HAS SOUS 50243 HAS SOUPS 50243 WITH SCORE 50386.958
AT ITER 7757 NEW BEST:: SOT 499741 SOS 143885 HAS SOPS 143885 HAS SOUS 50102 HAS SOUPS 50102 WITH SCORE 50245.885
AT ITER 7768 NEW BEST:: SOT 499654 SOS 143739 HAS SOPS 143739 HAS SOUS 50073 HAS SOUPS 50073 WITH SCORE 50216.739
AT ITER 7769 NEW BEST:: SOT 499585 SOS 143752 HAS SOPS 143752 HAS SOUS 50065 HAS SOUPS 50065 WITH SCORE 50208.752
AT ITER 7799 NEW BEST:: SOT 499567 SOS 143638 HAS SOPS 143638 HAS SOUS 50060 HAS SOUPS 50060 WITH SCORE 50203.638
AT ITER 7804 NEW BEST:: SOT 499567 SOS 143635 HAS SOPS 143635 HAS SOUS 50057 HAS SOUPS 50057 WITH SCORE 50200.635
AT ITER 7821 NEW BEST:: SOT 499538 SOS 143606 HAS SOPS 143606 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50171.606
AT ITER 7835 NEW BEST:: SOT 499508 SOS 143435 HAS SOPS 143435 HAS SOUS 50020 HAS SOUPS 50020 WITH SCORE 50163.435
AT ITER 7882 NEW BEST:: SOT 499513 SOS 143439 HAS SOPS 143439 HAS SOUS 50019 HAS SOUPS 50019 WITH SCORE 50162.439
AT ITER 7893 NEW BEST:: SOT 499473 SOS 143332 HAS SOPS 143332 HAS SOUS 49952 HAS SOUPS 49952 WITH SCORE 50095.332
AT ITER 7914 NEW BEST:: SOT 499509 SOS 143402 HAS SOPS 143402 HAS SOUS 49764 HAS SOUPS 49764 WITH SCORE 49907.402
AT ITER 7949 NEW BEST:: SOT 499483 SOS 143272 HAS SOPS 143272 HAS SOUS 49751 HAS SOUPS 49751 WITH SCORE 49894.272
AT ITER 7954 NEW BEST:: SOT 499504 SOS 143293 HAS SOPS 143293 HAS SOUS 49678 HAS SOUPS 49678 WITH SCORE 49821.293
AT ITER 7962 NEW BEST:: SOT 499284 SOS 142193 HAS SOPS 142193 HAS SOUS 49568 HAS SOUPS 49568 WITH SCORE 49710.193
AT ITER 7975 NEW BEST:: SOT 499240 SOS 142061 HAS SOPS 142061 HAS SOUS 49564 HAS SOUPS 49564 WITH SCORE 49706.061
AT ITER 7983 NEW BEST:: SOT 499192 SOS 141821 HAS SOPS 141821 HAS SOUS 49540 HAS SOUPS 49540 WITH SCORE 49681.821
AT ITER 7985 NEW BEST:: SOT 499166 SOS 141795 HAS SOPS 141795 HAS SOUS 49488 HAS SOUPS 49488 WITH SCORE 49629.795
AT ITER 8020 NEW BEST:: SOT 499150 SOS 141763 HAS SOPS 141763 HAS SOUS 49477 HAS SOUPS 49477 WITH SCORE 49618.763
AT ITER 8037 NEW BEST:: SOT 499148 SOS 141757 HAS SOPS 141757 HAS SOUS 49473 HAS SOUPS 49473 WITH SCORE 49614.757
AT ITER 8039 NEW BEST:: SOT 499089 SOS 141534 HAS SOPS 141534 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49576.534
AT ITER 8046 NEW BEST:: SOT 499082 SOS 141478 HAS SOPS 141478 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49576.478
AT ITER 8047 NEW BEST:: SOT 498786 SOS 139998 HAS SOPS 139998 HAS SOUS 49287 HAS SOUPS 49287 WITH SCORE 49426.998
AT ITER 8089 NEW BEST:: SOT 498786 SOS 139982 HAS SOPS 139982 HAS SOUS 49271 HAS SOUPS 49271 WITH SCORE 49410.982
AT ITER 8185 NEW BEST:: SOT 498786 SOS 139982 HAS SOPS 139982 HAS SOUS 49195 HAS SOUPS 49195 WITH SCORE 49334.982
AT ITER 8192 NEW BEST:: SOT 498795 SOS 140074 HAS SOPS 140074 HAS SOUS 49175 HAS SOUPS 49175 WITH SCORE 49315.074
AT ITER 8256 NEW BEST:: SOT 498803 SOS 140090 HAS SOPS 140090 HAS SOUS 49161 HAS SOUPS 49161 WITH SCORE 49301.09
AT ITER 8259 NEW BEST:: SOT 498803 SOS 140090 HAS SOPS 140090 HAS SOUS 49159 HAS SOUPS 49159 WITH SCORE 49299.09
AT ITER 8299 NEW BEST:: SOT 498332 SOS 137587 HAS SOPS 137587 HAS SOUS 49032 HAS SOUPS 49032 WITH SCORE 49169.587
AT ITER 8311 NEW BEST:: SOT 498269 SOS 137460 HAS SOPS 137460 HAS SOUS 48997 HAS SOUPS 48997 WITH SCORE 49134.46
AT ITER 8325 NEW BEST:: SOT 498268 SOS 137448 HAS SOPS 137448 HAS SOUS 48994 HAS SOUPS 48994 WITH SCORE 49131.448
AT ITER 8339 NEW BEST:: SOT 498268 SOS 137448 HAS SOPS 137448 HAS SOUS 48992 HAS SOUPS 48992 WITH SCORE 49129.448
AT ITER 8408 NEW BEST:: SOT 498266 SOS 137450 HAS SOPS 137450 HAS SOUS 48989 HAS SOUPS 48989 WITH SCORE 49126.45
AT ITER 8437 NEW BEST:: SOT 498244 SOS 137351 HAS SOPS 137351 HAS SOUS 48989 HAS SOUPS 48989 WITH SCORE 49126.351
AT ITER 8438 NEW BEST:: SOT 498192 SOS 137299 HAS SOPS 137299 HAS SOUS 48971 HAS SOUPS 48971 WITH SCORE 49108.299
AT ITER 8470 NEW BEST:: SOT 498192 SOS 137299 HAS SOPS 137299 HAS SOUS 48937 HAS SOUPS 48937 WITH SCORE 49074.299
AT ITER 8492 NEW BEST:: SOT 498187 SOS 137289 HAS SOPS 137289 HAS SOUS 48937 HAS SOUPS 48937 WITH SCORE 49074.289
AT ITER 8549 NEW BEST:: SOT 498169 SOS 137212 HAS SOPS 137212 HAS SOUS 48932 HAS SOUPS 48932 WITH SCORE 49069.212
AT ITER 8552 NEW BEST:: SOT 498169 SOS 137212 HAS SOPS 137212 HAS SOUS 48810 HAS SOUPS 48810 WITH SCORE 48947.212
AT ITER 8581 NEW BEST:: SOT 498091 SOS 136762 HAS SOPS 136762 HAS SOUS 48781 HAS SOUPS 48781 WITH SCORE 48917.762
AT ITER 8603 NEW BEST:: SOT 498091 SOS 136748 HAS SOPS 136748 HAS SOUS 48767 HAS SOUPS 48767 WITH SCORE 48903.748
AT ITER 8767 NEW BEST:: SOT 498091 SOS 136742 HAS SOPS 136742 HAS SOUS 48761 HAS SOUPS 48761 WITH SCORE 48897.742
AT ITER 8769 NEW BEST:: SOT 497785 SOS 134635 HAS SOPS 134635 HAS SOUS 48762 HAS SOUPS 48762 WITH SCORE 48896.635
AT ITER 8773 NEW BEST:: SOT 497448 SOS 132929 HAS SOPS 132929 HAS SOUS 48597 HAS SOUPS 48597 WITH SCORE 48729.929
AT ITER 8774 NEW BEST:: SOT 497442 SOS 132877 HAS SOPS 132877 HAS SOUS 48551 HAS SOUPS 48551 WITH SCORE 48683.877
AT ITER 8800 NEW BEST:: SOT 497324 SOS 132287 HAS SOPS 132287 HAS SOUS 48492 HAS SOUPS 48492 WITH SCORE 48624.287
AT ITER 8814 NEW BEST:: SOT 497316 SOS 132267 HAS SOPS 132267 HAS SOUS 48488 HAS SOUPS 48488 WITH SCORE 48620.267
AT ITER 8819 NEW BEST:: SOT 497275 SOS 132183 HAS SOPS 132183 HAS SOUS 48462 HAS SOUPS 48462 WITH SCORE 48594.183
AT ITER 8831 NEW BEST:: SOT 497275 SOS 132183 HAS SOPS 132183 HAS SOUS 48460 HAS SOUPS 48460 WITH SCORE 48592.183
AT ITER 8888 NEW BEST:: SOT 497247 SOS 132091 HAS SOPS 132091 HAS SOUS 48405 HAS SOUPS 48405 WITH SCORE 48537.091
AT ITER 8906 NEW BEST:: SOT 497137 SOS 131211 HAS SOPS 131211 HAS SOUS 48397 HAS SOUPS 48397 WITH SCORE 48528.211
AT ITER 8917 NEW BEST:: SOT 497023 SOS 131058 HAS SOPS 131058 HAS SOUS 48334 HAS SOUPS 48334 WITH SCORE 48465.058
AT ITER 8979 NEW BEST:: SOT 497023 SOS 131058 HAS SOPS 131058 HAS SOUS 48320 HAS SOUPS 48320 WITH SCORE 48451.058
AT ITER 8998 NEW BEST:: SOT 497023 SOS 131038 HAS SOPS 131038 HAS SOUS 48310 HAS SOUPS 48310 WITH SCORE 48441.038
AT ITER 9027 NEW BEST:: SOT 497026 SOS 131084 HAS SOPS 131084 HAS SOUS 48305 HAS SOUPS 48305 WITH SCORE 48436.084
AT ITER 9039 NEW BEST:: SOT 496983 SOS 130961 HAS SOPS 130961 HAS SOUS 48225 HAS SOUPS 48225 WITH SCORE 48355.961
AT ITER 9057 NEW BEST:: SOT 496956 SOS 130907 HAS SOPS 130907 HAS SOUS 48198 HAS SOUPS 48198 WITH SCORE 48328.907
AT ITER 9059 NEW BEST:: SOT 496875 SOS 130145 HAS SOPS 130145 HAS SOUS 48167 HAS SOUPS 48167 WITH SCORE 48297.145
AT ITER 9070 NEW BEST:: SOT 496858 SOS 130111 HAS SOPS 130111 HAS SOUS 48163 HAS SOUPS 48163 WITH SCORE 48293.111
AT ITER 9093 NEW BEST:: SOT 496838 SOS 130011 HAS SOPS 130011 HAS SOUS 48153 HAS SOUPS 48153 WITH SCORE 48283.011
AT ITER 9096 NEW BEST:: SOT 496804 SOS 129853 HAS SOPS 129853 HAS SOUS 48121 HAS SOUPS 48121 WITH SCORE 48250.853
AT ITER 9111 NEW BEST:: SOT 496726 SOS 129463 HAS SOPS 129463 HAS SOUS 48082 HAS SOUPS 48082 WITH SCORE 48211.463
AT ITER 9169 NEW BEST:: SOT 496726 SOS 129463 HAS SOPS 129463 HAS SOUS 48078 HAS SOUPS 48078 WITH SCORE 48207.463
AT ITER 9170 NEW BEST:: SOT 496715 SOS 129444 HAS SOPS 129444 HAS SOUS 48071 HAS SOUPS 48071 WITH SCORE 48200.444
AT ITER 9187 NEW BEST:: SOT 496691 SOS 129384 HAS SOPS 129384 HAS SOUS 47910 HAS SOUPS 47910 WITH SCORE 48039.384
AT ITER 9198 NEW BEST:: SOT 496667 SOS 129264 HAS SOPS 129264 HAS SOUS 47898 HAS SOUPS 47898 WITH SCORE 48027.264
AT ITER 9230 NEW BEST:: SOT 496615 SOS 129160 HAS SOPS 129160 HAS SOUS 47868 HAS SOUPS 47868 WITH SCORE 47997.16
AT ITER 9232 NEW BEST:: SOT 496535 SOS 128755 HAS SOPS 128755 HAS SOUS 47865 HAS SOUPS 47865 WITH SCORE 47993.755
AT ITER 9288 NEW BEST:: SOT 496511 SOS 128707 HAS SOPS 128707 HAS SOUS 47841 HAS SOUPS 47841 WITH SCORE 47969.707
AT ITER 9320 NEW BEST:: SOT 496511 SOS 128706 HAS SOPS 128706 HAS SOUS 47840 HAS SOUPS 47840 WITH SCORE 47968.706
AT ITER 9352 NEW BEST:: SOT 496254 SOS 127421 HAS SOPS 127421 HAS SOUS 47736 HAS SOUPS 47736 WITH SCORE 47863.421
AT ITER 9398 NEW BEST:: SOT 496254 SOS 127368 HAS SOPS 127368 HAS SOUS 47683 HAS SOUPS 47683 WITH SCORE 47810.368
AT ITER 9407 NEW BEST:: SOT 496229 SOS 127168 HAS SOPS 127168 HAS SOUS 47683 HAS SOUPS 47683 WITH SCORE 47810.168
AT ITER 9474 NEW BEST:: SOT 496216 SOS 127142 HAS SOPS 127142 HAS SOUS 47670 HAS SOUPS 47670 WITH SCORE 47797.142
AT ITER 9503 NEW BEST:: SOT 496204 SOS 127082 HAS SOPS 127082 HAS SOUS 47664 HAS SOUPS 47664 WITH SCORE 47791.082
AT ITER 9546 NEW BEST:: SOT 496192 SOS 127070 HAS SOPS 127070 HAS SOUS 47628 HAS SOUPS 47628 WITH SCORE 47755.07
AT ITER 9564 NEW BEST:: SOT 496192 SOS 127066 HAS SOPS 127066 HAS SOUS 47624 HAS SOUPS 47624 WITH SCORE 47751.066
AT ITER 9590 NEW BEST:: SOT 496185 SOS 127025 HAS SOPS 127025 HAS SOUS 47590 HAS SOUPS 47590 WITH SCORE 47717.025
AT ITER 9670 NEW BEST:: SOT 496173 SOS 126978 HAS SOPS 126978 HAS SOUS 47545 HAS SOUPS 47545 WITH SCORE 47671.978
AT ITER 9678 NEW BEST:: SOT 496124 SOS 127060 HAS SOPS 127060 HAS SOUS 47466 HAS SOUPS 47466 WITH SCORE 47593.06
AT ITER 9681 NEW BEST:: SOT 496102 SOS 127005 HAS SOPS 127005 HAS SOUS 47444 HAS SOUPS 47444 WITH SCORE 47571.005
AT ITER 9682 NEW BEST:: SOT 496073 SOS 126976 HAS SOPS 126976 HAS SOUS 47393 HAS SOUPS 47393 WITH SCORE 47519.976
AT ITER 9695 NEW BEST:: SOT 495854 SOS 125551 HAS SOPS 125551 HAS SOUS 47372 HAS SOUPS 47372 WITH SCORE 47497.551
AT ITER 9723 NEW BEST:: SOT 495838 SOS 125471 HAS SOPS 125471 HAS SOUS 47364 HAS SOUPS 47364 WITH SCORE 47489.471
AT ITER 9748 NEW BEST:: SOT 495826 SOS 125427 HAS SOPS 125427 HAS SOUS 47332 HAS SOUPS 47332 WITH SCORE 47457.427
AT ITER 9761 NEW BEST:: SOT 495823 SOS 125418 HAS SOPS 125418 HAS SOUS 47324 HAS SOUPS 47324 WITH SCORE 47449.418
AT ITER 9766 NEW BEST:: SOT 495851 SOS 125449 HAS SOPS 125449 HAS SOUS 47312 HAS SOUPS 47312 WITH SCORE 47437.449
AT ITER 9777 NEW BEST:: SOT 495763 SOS 125009 HAS SOPS 125009 HAS SOUS 47268 HAS SOUPS 47268 WITH SCORE 47393.009
AT ITER 9826 NEW BEST:: SOT 495770 SOS 125365 HAS SOPS 125365 HAS SOUS 47223 HAS SOUPS 47223 WITH SCORE 47348.365
AT ITER 9851 NEW BEST:: SOT 495620 SOS 124615 HAS SOPS 124615 HAS SOUS 47134 HAS SOUPS 47134 WITH SCORE 47258.615
AT ITER 9911 NEW BEST:: SOT 495615 SOS 124593 HAS SOPS 124593 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47241.593
AT ITER 9922 NEW BEST:: SOT 495571 SOS 124458 HAS SOPS 124458 HAS SOUS 47026 HAS SOUPS 47026 WITH SCORE 47150.458
AT ITER 9951 NEW BEST:: SOT 495542 SOS 124379 HAS SOPS 124379 HAS SOUS 46976 HAS SOUPS 46976 WITH SCORE 47100.379
AT ITER 9954 NEW BEST:: SOT 495511 SOS 124167 HAS SOPS 124167 HAS SOUS 46959 HAS SOUPS 46959 WITH SCORE 47083.167
AT ITER 9959 NEW BEST:: SOT 495433 SOS 123777 HAS SOPS 123777 HAS SOUS 46920 HAS SOUPS 46920 WITH SCORE 47043.777
AT ITER 9960 NEW BEST:: SOT 495383 SOS 123527 HAS SOPS 123527 HAS SOUS 46895 HAS SOUPS 46895 WITH SCORE 47018.527
AT ITER 9993 NEW BEST:: SOT 495385 SOS 123527 HAS SOPS 123527 HAS SOUS 46891 HAS SOUPS 46891 WITH SCORE 47014.527
AT ITER 9996 NEW BEST:: SOT 495381 SOS 123555 HAS SOPS 123555 HAS SOUS 46881 HAS SOUPS 46881 WITH SCORE 47004.555

BK_STOP 1679201128777

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S08D1C2A02"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S08D1C2A02, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696901328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S08D1C2A02.tgz
mv ViralEpidemic-PT-S08D1C2A02 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;