Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 4.3K May 14 05:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 05:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.3K May 13 16:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 16:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K May 13 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 828K May 12 20:42 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 1590475686871

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A02
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 5 NEW BEST:: SOT 560421 SOS 434473 HAS SOPS 434473 HAS SOUS 72867 HAS SOUPS 72867 WITH SCORE 73301.473
AT ITER 7 NEW BEST:: SOT 559849 SOS 431892 HAS SOPS 431892 HAS SOUS 72858 HAS SOUPS 72858 WITH SCORE 73289.892
AT ITER 17 NEW BEST:: SOT 559697 SOS 431201 HAS SOPS 431201 HAS SOUS 72849 HAS SOUPS 72849 WITH SCORE 73280.201
AT ITER 23 NEW BEST:: SOT 558995 SOS 428042 HAS SOPS 428042 HAS SOUS 72849 HAS SOUPS 72849 WITH SCORE 73277.042
AT ITER 25 NEW BEST:: SOT 558657 SOS 426520 HAS SOPS 426520 HAS SOUS 72848 HAS SOUPS 72848 WITH SCORE 73274.52
AT ITER 28 NEW BEST:: SOT 557733 SOS 422357 HAS SOPS 422357 HAS SOUS 72843 HAS SOUPS 72843 WITH SCORE 73265.357
AT ITER 33 NEW BEST:: SOT 557001 SOS 419063 HAS SOPS 419063 HAS SOUS 72843 HAS SOUPS 72843 WITH SCORE 73262.063
AT ITER 40 NEW BEST:: SOT 557001 SOS 419056 HAS SOPS 419056 HAS SOUS 72834 HAS SOUPS 72834 WITH SCORE 73253.056
AT ITER 53 NEW BEST:: SOT 556029 SOS 414678 HAS SOPS 414678 HAS SOUS 72830 HAS SOUPS 72830 WITH SCORE 73244.678
AT ITER 70 NEW BEST:: SOT 555565 SOS 412584 HAS SOPS 412584 HAS SOUS 72824 HAS SOUPS 72824 WITH SCORE 73236.584
AT ITER 80 NEW BEST:: SOT 554697 SOS 408672 HAS SOPS 408672 HAS SOUS 72818 HAS SOUPS 72818 WITH SCORE 73226.672
AT ITER 83 NEW BEST:: SOT 554697 SOS 408669 HAS SOPS 408669 HAS SOUS 72815 HAS SOUPS 72815 WITH SCORE 73223.669
AT ITER 93 NEW BEST:: SOT 554207 SOS 406460 HAS SOPS 406460 HAS SOUS 72811 HAS SOUPS 72811 WITH SCORE 73217.46
AT ITER 97 NEW BEST:: SOT 554085 SOS 405909 HAS SOPS 405909 HAS SOUS 72809 HAS SOUPS 72809 WITH SCORE 73214.909
AT ITER 99 NEW BEST:: SOT 554085 SOS 405908 HAS SOPS 405908 HAS SOUS 72808 HAS SOUPS 72808 WITH SCORE 73213.908
AT ITER 121 NEW BEST:: SOT 553709 SOS 404210 HAS SOPS 404210 HAS SOUS 72802 HAS SOUPS 72802 WITH SCORE 73206.21
AT ITER 129 NEW BEST:: SOT 552847 SOS 400324 HAS SOPS 400324 HAS SOUS 72793 HAS SOUPS 72793 WITH SCORE 73193.324
AT ITER 137 NEW BEST:: SOT 552381 SOS 398224 HAS SOPS 398224 HAS SOUS 72790 HAS SOUPS 72790 WITH SCORE 73188.224
AT ITER 156 NEW BEST:: SOT 552179 SOS 397315 HAS SOPS 397315 HAS SOUS 72790 HAS SOUPS 72790 WITH SCORE 73187.315
AT ITER 165 NEW BEST:: SOT 551508 SOS 394081 HAS SOPS 394081 HAS SOUS 72775 HAS SOUPS 72775 WITH SCORE 73169.081
AT ITER 175 NEW BEST:: SOT 551128 SOS 392371 HAS SOPS 392371 HAS SOUS 72775 HAS SOUPS 72775 WITH SCORE 73167.371
AT ITER 177 NEW BEST:: SOT 551020 SOS 392008 HAS SOPS 392008 HAS SOUS 72736 HAS SOUPS 72736 WITH SCORE 73128.008
AT ITER 179 NEW BEST:: SOT 551020 SOS 392001 HAS SOPS 392001 HAS SOUS 72727 HAS SOUPS 72727 WITH SCORE 73119.001
AT ITER 184 NEW BEST:: SOT 550584 SOS 390033 HAS SOPS 390033 HAS SOUS 72721 HAS SOUPS 72721 WITH SCORE 73111.033
AT ITER 187 NEW BEST:: SOT 550344 SOS 388950 HAS SOPS 388950 HAS SOUS 72718 HAS SOUPS 72718 WITH SCORE 73106.95
AT ITER 188 NEW BEST:: SOT 550200 SOS 388301 HAS SOPS 388301 HAS SOUS 72717 HAS SOUPS 72717 WITH SCORE 73105.301
AT ITER 202 NEW BEST:: SOT 549724 SOS 386153 HAS SOPS 386153 HAS SOUS 72711 HAS SOUPS 72711 WITH SCORE 73097.153
AT ITER 205 NEW BEST:: SOT 548866 SOS 382289 HAS SOPS 382289 HAS SOUS 72708 HAS SOUPS 72708 WITH SCORE 73090.289
AT ITER 206 NEW BEST:: SOT 548678 SOS 380851 HAS SOPS 380851 HAS SOUS 72697 HAS SOUPS 72697 WITH SCORE 73077.851
AT ITER 227 NEW BEST:: SOT 547674 SOS 376328 HAS SOPS 376328 HAS SOUS 72692 HAS SOUPS 72692 WITH SCORE 73068.328
AT ITER 243 NEW BEST:: SOT 546814 SOS 371574 HAS SOPS 371574 HAS SOUS 72375 HAS SOUPS 72375 WITH SCORE 72746.574
AT ITER 247 NEW BEST:: SOT 546446 SOS 369744 HAS SOPS 369744 HAS SOUS 72278 HAS SOUPS 72278 WITH SCORE 72647.744
AT ITER 250 NEW BEST:: SOT 546221 SOS 368631 HAS SOPS 368631 HAS SOUS 72207 HAS SOUPS 72207 WITH SCORE 72575.631
AT ITER 251 NEW BEST:: SOT 545925 SOS 366600 HAS SOPS 366600 HAS SOUS 72187 HAS SOUPS 72187 WITH SCORE 72553.6
AT ITER 254 NEW BEST:: SOT 545925 SOS 366597 HAS SOPS 366597 HAS SOUS 72184 HAS SOUPS 72184 WITH SCORE 72550.597
AT ITER 268 NEW BEST:: SOT 545699 SOS 365523 HAS SOPS 365523 HAS SOUS 72127 HAS SOUPS 72127 WITH SCORE 72492.523
AT ITER 304 NEW BEST:: SOT 545011 SOS 362423 HAS SOPS 362423 HAS SOUS 72123 HAS SOUPS 72123 WITH SCORE 72485.423
AT ITER 310 NEW BEST:: SOT 544925 SOS 361735 HAS SOPS 361735 HAS SOUS 72123 HAS SOUPS 72123 WITH SCORE 72484.735
AT ITER 318 NEW BEST:: SOT 544737 SOS 360795 HAS SOPS 360795 HAS SOUS 72029 HAS SOUPS 72029 WITH SCORE 72389.795
AT ITER 319 NEW BEST:: SOT 544737 SOS 360669 HAS SOPS 360669 HAS SOUS 71903 HAS SOUPS 71903 WITH SCORE 72263.669
AT ITER 322 NEW BEST:: SOT 544475 SOS 358930 HAS SOPS 358930 HAS SOUS 71845 HAS SOUPS 71845 WITH SCORE 72203.93
AT ITER 349 NEW BEST:: SOT 543893 SOS 356304 HAS SOPS 356304 HAS SOUS 71836 HAS SOUPS 71836 WITH SCORE 72192.304
AT ITER 364 NEW BEST:: SOT 543815 SOS 356039 HAS SOPS 356039 HAS SOUS 71805 HAS SOUPS 71805 WITH SCORE 72161.039
AT ITER 368 NEW BEST:: SOT 543491 SOS 354419 HAS SOPS 354419 HAS SOUS 71643 HAS SOUPS 71643 WITH SCORE 71997.419
AT ITER 373 NEW BEST:: SOT 542876 SOS 351329 HAS SOPS 351329 HAS SOUS 71338 HAS SOUPS 71338 WITH SCORE 71689.329
AT ITER 384 NEW BEST:: SOT 542521 SOS 348981 HAS SOPS 348981 HAS SOUS 71275 HAS SOUPS 71275 WITH SCORE 71623.981
AT ITER 394 NEW BEST:: SOT 542521 SOS 348975 HAS SOPS 348975 HAS SOUS 71269 HAS SOUPS 71269 WITH SCORE 71617.975
AT ITER 412 NEW BEST:: SOT 542521 SOS 348974 HAS SOPS 348974 HAS SOUS 71268 HAS SOUPS 71268 WITH SCORE 71616.974
AT ITER 418 NEW BEST:: SOT 542092 SOS 346822 HAS SOPS 346822 HAS SOUS 71113 HAS SOUPS 71113 WITH SCORE 71459.822
AT ITER 427 NEW BEST:: SOT 541396 SOS 343347 HAS SOPS 343347 HAS SOUS 70770 HAS SOUPS 70770 WITH SCORE 71113.347
AT ITER 451 NEW BEST:: SOT 541324 SOS 342957 HAS SOPS 342957 HAS SOUS 70739 HAS SOUPS 70739 WITH SCORE 71081.957
AT ITER 454 NEW BEST:: SOT 540799 SOS 340207 HAS SOPS 340207 HAS SOUS 70572 HAS SOUPS 70572 WITH SCORE 70912.207
AT ITER 457 NEW BEST:: SOT 540534 SOS 337866 HAS SOPS 337866 HAS SOUS 70524 HAS SOUPS 70524 WITH SCORE 70861.866
AT ITER 480 NEW BEST:: SOT 540114 SOS 335769 HAS SOPS 335769 HAS SOUS 70317 HAS SOUPS 70317 WITH SCORE 70652.769
AT ITER 510 NEW BEST:: SOT 540055 SOS 335429 HAS SOPS 335429 HAS SOUS 70295 HAS SOUPS 70295 WITH SCORE 70630.429
AT ITER 512 NEW BEST:: SOT 540055 SOS 335422 HAS SOPS 335422 HAS SOUS 70286 HAS SOUPS 70286 WITH SCORE 70621.422
AT ITER 513 NEW BEST:: SOT 539434 SOS 332064 HAS SOPS 332064 HAS SOUS 70027 HAS SOUPS 70027 WITH SCORE 70359.064
AT ITER 521 NEW BEST:: SOT 539232 SOS 331153 HAS SOPS 331153 HAS SOUS 70025 HAS SOUPS 70025 WITH SCORE 70356.153
AT ITER 527 NEW BEST:: SOT 538988 SOS 329951 HAS SOPS 329951 HAS SOUS 69921 HAS SOUPS 69921 WITH SCORE 70250.951
AT ITER 537 NEW BEST:: SOT 538988 SOS 329951 HAS SOPS 329951 HAS SOUS 69919 HAS SOUPS 69919 WITH SCORE 70248.951
AT ITER 538 NEW BEST:: SOT 538394 SOS 327217 HAS SOPS 327217 HAS SOUS 69858 HAS SOUPS 69858 WITH SCORE 70185.217
AT ITER 578 NEW BEST:: SOT 538336 SOS 326927 HAS SOPS 326927 HAS SOUS 69829 HAS SOUPS 69829 WITH SCORE 70155.927
AT ITER 584 NEW BEST:: SOT 537378 SOS 322052 HAS SOPS 322052 HAS SOUS 69454 HAS SOUPS 69454 WITH SCORE 69776.052
AT ITER 591 NEW BEST:: SOT 537344 SOS 321882 HAS SOPS 321882 HAS SOUS 69437 HAS SOUPS 69437 WITH SCORE 69758.882
AT ITER 599 NEW BEST:: SOT 537198 SOS 321224 HAS SOPS 321224 HAS SOUS 69436 HAS SOUPS 69436 WITH SCORE 69757.224
AT ITER 643 NEW BEST:: SOT 536794 SOS 319204 HAS SOPS 319204 HAS SOUS 69234 HAS SOUPS 69234 WITH SCORE 69553.204
AT ITER 655 NEW BEST:: SOT 536776 SOS 319140 HAS SOPS 319140 HAS SOUS 69186 HAS SOUPS 69186 WITH SCORE 69505.14
AT ITER 656 NEW BEST:: SOT 536657 SOS 318788 HAS SOPS 318788 HAS SOUS 68957 HAS SOUPS 68957 WITH SCORE 69275.788
AT ITER 664 NEW BEST:: SOT 536152 SOS 316182 HAS SOPS 316182 HAS SOUS 68767 HAS SOUPS 68767 WITH SCORE 69083.182
AT ITER 691 NEW BEST:: SOT 536138 SOS 316112 HAS SOPS 316112 HAS SOUS 68760 HAS SOUPS 68760 WITH SCORE 69076.112
AT ITER 699 NEW BEST:: SOT 535948 SOS 315166 HAS SOPS 315166 HAS SOUS 68730 HAS SOUPS 68730 WITH SCORE 69045.166
AT ITER 701 NEW BEST:: SOT 535735 SOS 313498 HAS SOPS 313498 HAS SOUS 68724 HAS SOUPS 68724 WITH SCORE 69037.498
AT ITER 710 NEW BEST:: SOT 535468 SOS 311996 HAS SOPS 311996 HAS SOUS 68637 HAS SOUPS 68637 WITH SCORE 68948.996
AT ITER 719 NEW BEST:: SOT 535408 SOS 311696 HAS SOPS 311696 HAS SOUS 68607 HAS SOUPS 68607 WITH SCORE 68918.696
AT ITER 724 NEW BEST:: SOT 535269 SOS 310857 HAS SOPS 310857 HAS SOUS 68592 HAS SOUPS 68592 WITH SCORE 68902.857
AT ITER 725 NEW BEST:: SOT 535292 SOS 311020 HAS SOPS 311020 HAS SOUS 68585 HAS SOUPS 68585 WITH SCORE 68896.02
AT ITER 730 NEW BEST:: SOT 535171 SOS 310392 HAS SOPS 310392 HAS SOUS 68533 HAS SOUPS 68533 WITH SCORE 68843.392
AT ITER 734 NEW BEST:: SOT 534821 SOS 308031 HAS SOPS 308031 HAS SOUS 68503 HAS SOUPS 68503 WITH SCORE 68811.031
AT ITER 744 NEW BEST:: SOT 534509 SOS 306623 HAS SOPS 306623 HAS SOUS 68499 HAS SOUPS 68499 WITH SCORE 68805.623
AT ITER 757 NEW BEST:: SOT 534374 SOS 305794 HAS SOPS 305794 HAS SOUS 68477 HAS SOUPS 68477 WITH SCORE 68782.794
AT ITER 783 NEW BEST:: SOT 533892 SOS 303384 HAS SOPS 303384 HAS SOUS 68236 HAS SOUPS 68236 WITH SCORE 68539.384
AT ITER 795 NEW BEST:: SOT 533621 SOS 301842 HAS SOPS 301842 HAS SOUS 68134 HAS SOUPS 68134 WITH SCORE 68435.842
AT ITER 831 NEW BEST:: SOT 533601 SOS 301752 HAS SOPS 301752 HAS SOUS 68134 HAS SOUPS 68134 WITH SCORE 68435.752
AT ITER 835 NEW BEST:: SOT 533413 SOS 301630 HAS SOPS 301630 HAS SOUS 68086 HAS SOUPS 68086 WITH SCORE 68387.63
AT ITER 851 NEW BEST:: SOT 533413 SOS 301629 HAS SOPS 301629 HAS SOUS 68085 HAS SOUPS 68085 WITH SCORE 68386.629
AT ITER 855 NEW BEST:: SOT 533413 SOS 301628 HAS SOPS 301628 HAS SOUS 68084 HAS SOUPS 68084 WITH SCORE 68385.628
AT ITER 857 NEW BEST:: SOT 533413 SOS 301625 HAS SOPS 301625 HAS SOUS 68081 HAS SOUPS 68081 WITH SCORE 68382.625
AT ITER 864 NEW BEST:: SOT 533033 SOS 299545 HAS SOPS 299545 HAS SOUS 67921 HAS SOUPS 67921 WITH SCORE 68220.545
AT ITER 865 NEW BEST:: SOT 533219 SOS 301016 HAS SOPS 301016 HAS SOUS 67904 HAS SOUPS 67904 WITH SCORE 68205.016
AT ITER 877 NEW BEST:: SOT 533023 SOS 299995 HAS SOPS 299995 HAS SOUS 67821 HAS SOUPS 67821 WITH SCORE 68120.995
AT ITER 881 NEW BEST:: SOT 532901 SOS 299204 HAS SOPS 299204 HAS SOUS 67796 HAS SOUPS 67796 WITH SCORE 68095.204
AT ITER 901 NEW BEST:: SOT 532605 SOS 298612 HAS SOPS 298612 HAS SOUS 67648 HAS SOUPS 67648 WITH SCORE 67946.612
AT ITER 909 NEW BEST:: SOT 532191 SOS 296158 HAS SOPS 296158 HAS SOUS 67507 HAS SOUPS 67507 WITH SCORE 67803.158
AT ITER 913 NEW BEST:: SOT 532140 SOS 295984 HAS SOPS 295984 HAS SOUS 67486 HAS SOUPS 67486 WITH SCORE 67781.984
AT ITER 948 NEW BEST:: SOT 532105 SOS 295704 HAS SOPS 295704 HAS SOUS 67486 HAS SOUPS 67486 WITH SCORE 67781.704
AT ITER 950 NEW BEST:: SOT 532084 SOS 295536 HAS SOPS 295536 HAS SOUS 67486 HAS SOUPS 67486 WITH SCORE 67781.536
AT ITER 969 NEW BEST:: SOT 531362 SOS 292281 HAS SOPS 292281 HAS SOUS 67480 HAS SOUPS 67480 WITH SCORE 67772.281
AT ITER 979 NEW BEST:: SOT 531181 SOS 290833 HAS SOPS 290833 HAS SOUS 67480 HAS SOUPS 67480 WITH SCORE 67770.833
AT ITER 981 NEW BEST:: SOT 530684 SOS 288221 HAS SOPS 288221 HAS SOUS 67255 HAS SOUPS 67255 WITH SCORE 67543.221
AT ITER 992 NEW BEST:: SOT 530250 SOS 285919 HAS SOPS 285919 HAS SOUS 67062 HAS SOUPS 67062 WITH SCORE 67347.919
AT ITER 1001 NEW BEST:: SOT 530070 SOS 285559 HAS SOPS 285559 HAS SOUS 66863 HAS SOUPS 66863 WITH SCORE 67148.559
AT ITER 1012 NEW BEST:: SOT 529486 SOS 282639 HAS SOPS 282639 HAS SOUS 66571 HAS SOUPS 66571 WITH SCORE 66853.639
AT ITER 1019 NEW BEST:: SOT 529374 SOS 282415 HAS SOPS 282415 HAS SOUS 66415 HAS SOUPS 66415 WITH SCORE 66697.415
AT ITER 1087 NEW BEST:: SOT 529122 SOS 281236 HAS SOPS 281236 HAS SOUS 66370 HAS SOUPS 66370 WITH SCORE 66651.236
AT ITER 1114 NEW BEST:: SOT 529122 SOS 281230 HAS SOPS 281230 HAS SOUS 66364 HAS SOUPS 66364 WITH SCORE 66645.23
AT ITER 1187 NEW BEST:: SOT 528996 SOS 279502 HAS SOPS 279502 HAS SOUS 66336 HAS SOUPS 66336 WITH SCORE 66615.502
AT ITER 1195 NEW BEST:: SOT 528989 SOS 279488 HAS SOPS 279488 HAS SOUS 66329 HAS SOUPS 66329 WITH SCORE 66608.488
AT ITER 1204 NEW BEST:: SOT 528557 SOS 277341 HAS SOPS 277341 HAS SOUS 66122 HAS SOUPS 66122 WITH SCORE 66399.341
AT ITER 1222 NEW BEST:: SOT 528518 SOS 277263 HAS SOPS 277263 HAS SOUS 66083 HAS SOUPS 66083 WITH SCORE 66360.263
AT ITER 1229 NEW BEST:: SOT 528508 SOS 277243 HAS SOPS 277243 HAS SOUS 66074 HAS SOUPS 66074 WITH SCORE 66351.243
AT ITER 1234 NEW BEST:: SOT 528067 SOS 276552 HAS SOPS 276552 HAS SOUS 65988 HAS SOUPS 65988 WITH SCORE 66264.552
AT ITER 1238 NEW BEST:: SOT 527764 SOS 275033 HAS SOPS 275033 HAS SOUS 65988 HAS SOUPS 65988 WITH SCORE 66263.033
AT ITER 1267 NEW BEST:: SOT 526727 SOS 271056 HAS SOPS 271056 HAS SOUS 65598 HAS SOUPS 65598 WITH SCORE 65869.056
AT ITER 1285 NEW BEST:: SOT 526636 SOS 270867 HAS SOPS 270867 HAS SOUS 65498 HAS SOUPS 65498 WITH SCORE 65768.867
AT ITER 1291 NEW BEST:: SOT 526197 SOS 268488 HAS SOPS 268488 HAS SOUS 65329 HAS SOUPS 65329 WITH SCORE 65597.488
AT ITER 1322 NEW BEST:: SOT 526131 SOS 268158 HAS SOPS 268158 HAS SOUS 65296 HAS SOUPS 65296 WITH SCORE 65564.158
AT ITER 1333 NEW BEST:: SOT 525157 SOS 263118 HAS SOPS 263118 HAS SOUS 64838 HAS SOUPS 64838 WITH SCORE 65101.118
AT ITER 1342 NEW BEST:: SOT 524962 SOS 261718 HAS SOPS 261718 HAS SOUS 64816 HAS SOUPS 64816 WITH SCORE 65077.718
AT ITER 1356 NEW BEST:: SOT 524926 SOS 261538 HAS SOPS 261538 HAS SOUS 64798 HAS SOUPS 64798 WITH SCORE 65059.538
AT ITER 1409 NEW BEST:: SOT 524925 SOS 261534 HAS SOPS 261534 HAS SOUS 64795 HAS SOUPS 64795 WITH SCORE 65056.534
AT ITER 1446 NEW BEST:: SOT 524244 SOS 257946 HAS SOPS 257946 HAS SOUS 64492 HAS SOUPS 64492 WITH SCORE 64749.946
AT ITER 1450 NEW BEST:: SOT 523947 SOS 255939 HAS SOPS 255939 HAS SOUS 64361 HAS SOUPS 64361 WITH SCORE 64616.939
AT ITER 1453 NEW BEST:: SOT 523909 SOS 255767 HAS SOPS 255767 HAS SOUS 64360 HAS SOUPS 64360 WITH SCORE 64615.767
AT ITER 1464 NEW BEST:: SOT 523447 SOS 253457 HAS SOPS 253457 HAS SOUS 64129 HAS SOUPS 64129 WITH SCORE 64382.457
AT ITER 1470 NEW BEST:: SOT 523419 SOS 253331 HAS SOPS 253331 HAS SOUS 64129 HAS SOUPS 64129 WITH SCORE 64382.331
AT ITER 1535 NEW BEST:: SOT 523301 SOS 252744 HAS SOPS 252744 HAS SOUS 64073 HAS SOUPS 64073 WITH SCORE 64325.744
AT ITER 1572 NEW BEST:: SOT 522935 SOS 250914 HAS SOPS 250914 HAS SOUS 63890 HAS SOUPS 63890 WITH SCORE 64140.914
AT ITER 1576 NEW BEST:: SOT 522979 SOS 251264 HAS SOPS 251264 HAS SOUS 63888 HAS SOUPS 63888 WITH SCORE 64139.264
AT ITER 1589 NEW BEST:: SOT 522761 SOS 250174 HAS SOPS 250174 HAS SOUS 63779 HAS SOUPS 63779 WITH SCORE 64029.174
AT ITER 1620 NEW BEST:: SOT 522761 SOS 250174 HAS SOPS 250174 HAS SOUS 63775 HAS SOUPS 63775 WITH SCORE 64025.174
AT ITER 1680 NEW BEST:: SOT 522608 SOS 249856 HAS SOPS 249856 HAS SOUS 63753 HAS SOUPS 63753 WITH SCORE 64002.856
AT ITER 1684 NEW BEST:: SOT 522521 SOS 249244 HAS SOPS 249244 HAS SOUS 63750 HAS SOUPS 63750 WITH SCORE 63999.244
AT ITER 1711 NEW BEST:: SOT 522424 SOS 249050 HAS SOPS 249050 HAS SOUS 63653 HAS SOUPS 63653 WITH SCORE 63902.05
AT ITER 1713 NEW BEST:: SOT 522211 SOS 247976 HAS SOPS 247976 HAS SOUS 63548 HAS SOUPS 63548 WITH SCORE 63795.976
AT ITER 1724 NEW BEST:: SOT 522211 SOS 247975 HAS SOPS 247975 HAS SOUS 63547 HAS SOUPS 63547 WITH SCORE 63794.975
AT ITER 1751 NEW BEST:: SOT 521862 SOS 245975 HAS SOPS 245975 HAS SOUS 63443 HAS SOUPS 63443 WITH SCORE 63688.975
AT ITER 1771 NEW BEST:: SOT 521795 SOS 245503 HAS SOPS 245503 HAS SOUS 63437 HAS SOUPS 63437 WITH SCORE 63682.503
AT ITER 1799 NEW BEST:: SOT 521501 SOS 244033 HAS SOPS 244033 HAS SOUS 63290 HAS SOUPS 63290 WITH SCORE 63534.033
AT ITER 1833 NEW BEST:: SOT 521321 SOS 243427 HAS SOPS 243427 HAS SOUS 63224 HAS SOUPS 63224 WITH SCORE 63467.427
AT ITER 1850 NEW BEST:: SOT 521315 SOS 243397 HAS SOPS 243397 HAS SOUS 63221 HAS SOUPS 63221 WITH SCORE 63464.397
AT ITER 1853 NEW BEST:: SOT 521184 SOS 243135 HAS SOPS 243135 HAS SOUS 63088 HAS SOUPS 63088 WITH SCORE 63331.135
AT ITER 1905 NEW BEST:: SOT 521160 SOS 243015 HAS SOPS 243015 HAS SOUS 63076 HAS SOUPS 63076 WITH SCORE 63319.015
AT ITER 1930 NEW BEST:: SOT 521144 SOS 243043 HAS SOPS 243043 HAS SOUS 63036 HAS SOUPS 63036 WITH SCORE 63279.043
AT ITER 1949 NEW BEST:: SOT 521105 SOS 242945 HAS SOPS 242945 HAS SOUS 62979 HAS SOUPS 62979 WITH SCORE 63221.945
AT ITER 1951 NEW BEST:: SOT 521109 SOS 242928 HAS SOPS 242928 HAS SOUS 62958 HAS SOUPS 62958 WITH SCORE 63200.928
AT ITER 1952 NEW BEST:: SOT 521109 SOS 242928 HAS SOPS 242928 HAS SOUS 62956 HAS SOUPS 62956 WITH SCORE 63198.928
AT ITER 1992 NEW BEST:: SOT 520920 SOS 241851 HAS SOPS 241851 HAS SOUS 62896 HAS SOUPS 62896 WITH SCORE 63137.851
AT ITER 2038 NEW BEST:: SOT 520926 SOS 242048 HAS SOPS 242048 HAS SOUS 62863 HAS SOUPS 62863 WITH SCORE 63105.048
AT ITER 2102 NEW BEST:: SOT 520926 SOS 242048 HAS SOPS 242048 HAS SOUS 62861 HAS SOUPS 62861 WITH SCORE 63103.048
AT ITER 2109 NEW BEST:: SOT 520846 SOS 241630 HAS SOPS 241630 HAS SOUS 62824 HAS SOUPS 62824 WITH SCORE 63065.63
AT ITER 2111 NEW BEST:: SOT 520684 SOS 241403 HAS SOPS 241403 HAS SOUS 62763 HAS SOUPS 62763 WITH SCORE 63004.403
AT ITER 2123 NEW BEST:: SOT 520612 SOS 241043 HAS SOPS 241043 HAS SOUS 62727 HAS SOUPS 62727 WITH SCORE 62968.043
AT ITER 2143 NEW BEST:: SOT 520612 SOS 241043 HAS SOPS 241043 HAS SOUS 62715 HAS SOUPS 62715 WITH SCORE 62956.043
AT ITER 2167 NEW BEST:: SOT 520148 SOS 238039 HAS SOPS 238039 HAS SOUS 62593 HAS SOUPS 62593 WITH SCORE 62831.039
AT ITER 2178 NEW BEST:: SOT 520148 SOS 238027 HAS SOPS 238027 HAS SOUS 62591 HAS SOUPS 62591 WITH SCORE 62829.027
AT ITER 2186 NEW BEST:: SOT 519845 SOS 236536 HAS SOPS 236536 HAS SOUS 62409 HAS SOUPS 62409 WITH SCORE 62645.536
AT ITER 2194 NEW BEST:: SOT 519845 SOS 236518 HAS SOPS 236518 HAS SOUS 62391 HAS SOUPS 62391 WITH SCORE 62627.518
AT ITER 2225 NEW BEST:: SOT 519849 SOS 236984 HAS SOPS 236984 HAS SOUS 62300 HAS SOUPS 62300 WITH SCORE 62536.984
AT ITER 2235 NEW BEST:: SOT 519849 SOS 236984 HAS SOPS 236984 HAS SOUS 62298 HAS SOUPS 62298 WITH SCORE 62534.984
AT ITER 2236 NEW BEST:: SOT 519593 SOS 235727 HAS SOPS 235727 HAS SOUS 62193 HAS SOUPS 62193 WITH SCORE 62428.727
AT ITER 2242 NEW BEST:: SOT 519562 SOS 235655 HAS SOPS 235655 HAS SOUS 62140 HAS SOUPS 62140 WITH SCORE 62375.655
AT ITER 2266 NEW BEST:: SOT 519520 SOS 235423 HAS SOPS 235423 HAS SOUS 62140 HAS SOUPS 62140 WITH SCORE 62375.423
AT ITER 2320 NEW BEST:: SOT 519400 SOS 234823 HAS SOPS 234823 HAS SOUS 62078 HAS SOUPS 62078 WITH SCORE 62312.823
AT ITER 2337 NEW BEST:: SOT 519400 SOS 234823 HAS SOPS 234823 HAS SOUS 62076 HAS SOUPS 62076 WITH SCORE 62310.823
AT ITER 2364 NEW BEST:: SOT 519196 SOS 233736 HAS SOPS 233736 HAS SOUS 62026 HAS SOUPS 62026 WITH SCORE 62259.736
AT ITER 2376 NEW BEST:: SOT 519181 SOS 233616 HAS SOPS 233616 HAS SOUS 62022 HAS SOUPS 62022 WITH SCORE 62255.616
AT ITER 2377 NEW BEST:: SOT 519132 SOS 233567 HAS SOPS 233567 HAS SOUS 62015 HAS SOUPS 62015 WITH SCORE 62248.567
AT ITER 2381 NEW BEST:: SOT 519088 SOS 233479 HAS SOPS 233479 HAS SOUS 61971 HAS SOUPS 61971 WITH SCORE 62204.479
AT ITER 2385 NEW BEST:: SOT 518902 SOS 232589 HAS SOPS 232589 HAS SOUS 61876 HAS SOUPS 61876 WITH SCORE 62108.589
AT ITER 2401 NEW BEST:: SOT 518902 SOS 232586 HAS SOPS 232586 HAS SOUS 61873 HAS SOUPS 61873 WITH SCORE 62105.586
AT ITER 2413 NEW BEST:: SOT 518961 SOS 232902 HAS SOPS 232902 HAS SOUS 61864 HAS SOUPS 61864 WITH SCORE 62096.902
AT ITER 2440 NEW BEST:: SOT 519142 SOS 234169 HAS SOPS 234169 HAS SOUS 61683 HAS SOUPS 61683 WITH SCORE 61917.169
AT ITER 2444 NEW BEST:: SOT 519136 SOS 234150 HAS SOPS 234150 HAS SOUS 61668 HAS SOUPS 61668 WITH SCORE 61902.15
AT ITER 2446 NEW BEST:: SOT 519048 SOS 233929 HAS SOPS 233929 HAS SOUS 61576 HAS SOUPS 61576 WITH SCORE 61809.929
AT ITER 2468 NEW BEST:: SOT 518848 SOS 232389 HAS SOPS 232389 HAS SOUS 61566 HAS SOUPS 61566 WITH SCORE 61798.389
AT ITER 2474 NEW BEST:: SOT 518464 SOS 230469 HAS SOPS 230469 HAS SOUS 61374 HAS SOUPS 61374 WITH SCORE 61604.469
AT ITER 2482 NEW BEST:: SOT 518459 SOS 230459 HAS SOPS 230459 HAS SOUS 61369 HAS SOUPS 61369 WITH SCORE 61599.459
AT ITER 2517 NEW BEST:: SOT 518231 SOS 230003 HAS SOPS 230003 HAS SOUS 61141 HAS SOUPS 61141 WITH SCORE 61371.003
AT ITER 2522 NEW BEST:: SOT 518041 SOS 229053 HAS SOPS 229053 HAS SOUS 61046 HAS SOUPS 61046 WITH SCORE 61275.053
AT ITER 2526 NEW BEST:: SOT 518018 SOS 228869 HAS SOPS 228869 HAS SOUS 61044 HAS SOUPS 61044 WITH SCORE 61272.869
AT ITER 2532 NEW BEST:: SOT 518000 SOS 228833 HAS SOPS 228833 HAS SOUS 61040 HAS SOUPS 61040 WITH SCORE 61268.833
AT ITER 2539 NEW BEST:: SOT 517997 SOS 228822 HAS SOPS 228822 HAS SOUS 61038 HAS SOUPS 61038 WITH SCORE 61266.822
AT ITER 2548 NEW BEST:: SOT 517989 SOS 228805 HAS SOPS 228805 HAS SOUS 61030 HAS SOUPS 61030 WITH SCORE 61258.805
AT ITER 2571 NEW BEST:: SOT 517989 SOS 228797 HAS SOPS 228797 HAS SOUS 61022 HAS SOUPS 61022 WITH SCORE 61250.797
AT ITER 2599 NEW BEST:: SOT 517873 SOS 228400 HAS SOPS 228400 HAS SOUS 60981 HAS SOUPS 60981 WITH SCORE 61209.4
AT ITER 2613 NEW BEST:: SOT 517451 SOS 226290 HAS SOPS 226290 HAS SOUS 60770 HAS SOUPS 60770 WITH SCORE 60996.29
AT ITER 2657 NEW BEST:: SOT 517424 SOS 226236 HAS SOPS 226236 HAS SOUS 60756 HAS SOUPS 60756 WITH SCORE 60982.236
AT ITER 2658 NEW BEST:: SOT 517300 SOS 225496 HAS SOPS 225496 HAS SOUS 60714 HAS SOUPS 60714 WITH SCORE 60939.496
AT ITER 2661 NEW BEST:: SOT 517216 SOS 225472 HAS SOPS 225472 HAS SOUS 60635 HAS SOUPS 60635 WITH SCORE 60860.472
AT ITER 2682 NEW BEST:: SOT 517169 SOS 225378 HAS SOPS 225378 HAS SOUS 60586 HAS SOUPS 60586 WITH SCORE 60811.378
AT ITER 2685 NEW BEST:: SOT 517306 SOS 226067 HAS SOPS 226067 HAS SOUS 60557 HAS SOUPS 60557 WITH SCORE 60783.067
AT ITER 2686 NEW BEST:: SOT 517300 SOS 226046 HAS SOPS 226046 HAS SOUS 60521 HAS SOUPS 60521 WITH SCORE 60747.046
AT ITER 2698 NEW BEST:: SOT 517314 SOS 225968 HAS SOPS 225968 HAS SOUS 60429 HAS SOUPS 60429 WITH SCORE 60654.968
AT ITER 2713 NEW BEST:: SOT 517314 SOS 225910 HAS SOPS 225910 HAS SOUS 60429 HAS SOUPS 60429 WITH SCORE 60654.91
AT ITER 2717 NEW BEST:: SOT 517314 SOS 225910 HAS SOPS 225910 HAS SOUS 60419 HAS SOUPS 60419 WITH SCORE 60644.91
AT ITER 2727 NEW BEST:: SOT 517314 SOS 225526 HAS SOPS 225526 HAS SOUS 60351 HAS SOUPS 60351 WITH SCORE 60576.526
AT ITER 2779 NEW BEST:: SOT 517294 SOS 225483 HAS SOPS 225483 HAS SOUS 60328 HAS SOUPS 60328 WITH SCORE 60553.483
AT ITER 2790 NEW BEST:: SOT 517267 SOS 225354 HAS SOPS 225354 HAS SOUS 60226 HAS SOUPS 60226 WITH SCORE 60451.354
AT ITER 2825 NEW BEST:: SOT 516829 SOS 223040 HAS SOPS 223040 HAS SOUS 60173 HAS SOUPS 60173 WITH SCORE 60396.04
AT ITER 2864 NEW BEST:: SOT 516821 SOS 223024 HAS SOPS 223024 HAS SOUS 60165 HAS SOUPS 60165 WITH SCORE 60388.024
AT ITER 2874 NEW BEST:: SOT 516596 SOS 221818 HAS SOPS 221818 HAS SOUS 60064 HAS SOUPS 60064 WITH SCORE 60285.818
AT ITER 2882 NEW BEST:: SOT 516596 SOS 221813 HAS SOPS 221813 HAS SOUS 60059 HAS SOUPS 60059 WITH SCORE 60280.813
AT ITER 2885 NEW BEST:: SOT 516575 SOS 221771 HAS SOPS 221771 HAS SOUS 60059 HAS SOUPS 60059 WITH SCORE 60280.771
AT ITER 2888 NEW BEST:: SOT 516619 SOS 221750 HAS SOPS 221750 HAS SOUS 59994 HAS SOUPS 59994 WITH SCORE 60215.75
AT ITER 2895 NEW BEST:: SOT 516607 SOS 221584 HAS SOPS 221584 HAS SOUS 59864 HAS SOUPS 59864 WITH SCORE 60085.584
AT ITER 2910 NEW BEST:: SOT 516590 SOS 221567 HAS SOPS 221567 HAS SOUS 59855 HAS SOUPS 59855 WITH SCORE 60076.567
AT ITER 2929 NEW BEST:: SOT 516081 SOS 218964 HAS SOPS 218964 HAS SOUS 59760 HAS SOUPS 59760 WITH SCORE 59978.964
AT ITER 2934 NEW BEST:: SOT 515951 SOS 218314 HAS SOPS 218314 HAS SOUS 59695 HAS SOUPS 59695 WITH SCORE 59913.314
AT ITER 2941 NEW BEST:: SOT 515889 SOS 218004 HAS SOPS 218004 HAS SOUS 59664 HAS SOUPS 59664 WITH SCORE 59882.004
AT ITER 2975 NEW BEST:: SOT 515873 SOS 217972 HAS SOPS 217972 HAS SOUS 59648 HAS SOUPS 59648 WITH SCORE 59865.972
AT ITER 2985 NEW BEST:: SOT 515873 SOS 217950 HAS SOPS 217950 HAS SOUS 59626 HAS SOUPS 59626 WITH SCORE 59843.95
AT ITER 3011 NEW BEST:: SOT 515809 SOS 217790 HAS SOPS 217790 HAS SOUS 59498 HAS SOUPS 59498 WITH SCORE 59715.79
AT ITER 3021 NEW BEST:: SOT 515660 SOS 216919 HAS SOPS 216919 HAS SOUS 59484 HAS SOUPS 59484 WITH SCORE 59700.919
AT ITER 3047 NEW BEST:: SOT 515655 SOS 216909 HAS SOPS 216909 HAS SOUS 59479 HAS SOUPS 59479 WITH SCORE 59695.909
AT ITER 3077 NEW BEST:: SOT 515382 SOS 215157 HAS SOPS 215157 HAS SOUS 59403 HAS SOUPS 59403 WITH SCORE 59618.157
AT ITER 3099 NEW BEST:: SOT 515387 SOS 215429 HAS SOPS 215429 HAS SOUS 59362 HAS SOUPS 59362 WITH SCORE 59577.429
AT ITER 3103 NEW BEST:: SOT 515405 SOS 215356 HAS SOPS 215356 HAS SOUS 59277 HAS SOUPS 59277 WITH SCORE 59492.356
AT ITER 3132 NEW BEST:: SOT 515405 SOS 215356 HAS SOPS 215356 HAS SOUS 59275 HAS SOUPS 59275 WITH SCORE 59490.356
AT ITER 3158 NEW BEST:: SOT 515191 SOS 214195 HAS SOPS 214195 HAS SOUS 59217 HAS SOUPS 59217 WITH SCORE 59431.195
AT ITER 3164 NEW BEST:: SOT 514925 SOS 212659 HAS SOPS 212659 HAS SOUS 59166 HAS SOUPS 59166 WITH SCORE 59378.659
AT ITER 3170 NEW BEST:: SOT 514925 SOS 212659 HAS SOPS 212659 HAS SOUS 59162 HAS SOUPS 59162 WITH SCORE 59374.659
AT ITER 3179 NEW BEST:: SOT 514736 SOS 211657 HAS SOPS 211657 HAS SOUS 59073 HAS SOUPS 59073 WITH SCORE 59284.657
AT ITER 3183 NEW BEST:: SOT 514730 SOS 211611 HAS SOPS 211611 HAS SOUS 59033 HAS SOUPS 59033 WITH SCORE 59244.611
AT ITER 3203 NEW BEST:: SOT 514730 SOS 211611 HAS SOPS 211611 HAS SOUS 59029 HAS SOUPS 59029 WITH SCORE 59240.611
AT ITER 3244 NEW BEST:: SOT 514709 SOS 211569 HAS SOPS 211569 HAS SOUS 59008 HAS SOUPS 59008 WITH SCORE 59219.569
AT ITER 3260 NEW BEST:: SOT 514332 SOS 209563 HAS SOPS 209563 HAS SOUS 58881 HAS SOUPS 58881 WITH SCORE 59090.563
AT ITER 3279 NEW BEST:: SOT 514218 SOS 209031 HAS SOPS 209031 HAS SOUS 58862 HAS SOUPS 58862 WITH SCORE 59071.031
AT ITER 3309 NEW BEST:: SOT 514164 SOS 208923 HAS SOPS 208923 HAS SOUS 58690 HAS SOUPS 58690 WITH SCORE 58898.923
AT ITER 3315 NEW BEST:: SOT 514148 SOS 208891 HAS SOPS 208891 HAS SOUS 58674 HAS SOUPS 58674 WITH SCORE 58882.891
AT ITER 3325 NEW BEST:: SOT 513826 SOS 207313 HAS SOPS 207313 HAS SOUS 58545 HAS SOUPS 58545 WITH SCORE 58752.313
AT ITER 3336 NEW BEST:: SOT 512904 SOS 203997 HAS SOPS 203997 HAS SOUS 58307 HAS SOUPS 58307 WITH SCORE 58510.997
AT ITER 3337 NEW BEST:: SOT 512584 SOS 202397 HAS SOPS 202397 HAS SOUS 58147 HAS SOUPS 58147 WITH SCORE 58349.397
AT ITER 3349 NEW BEST:: SOT 512362 SOS 201374 HAS SOPS 201374 HAS SOUS 58123 HAS SOUPS 58123 WITH SCORE 58324.374
AT ITER 3357 NEW BEST:: SOT 512110 SOS 200170 HAS SOPS 200170 HAS SOUS 58053 HAS SOUPS 58053 WITH SCORE 58253.17
AT ITER 3372 NEW BEST:: SOT 512022 SOS 199550 HAS SOPS 199550 HAS SOUS 58039 HAS SOUPS 58039 WITH SCORE 58238.55
AT ITER 3387 NEW BEST:: SOT 511852 SOS 198634 HAS SOPS 198634 HAS SOUS 57965 HAS SOUPS 57965 WITH SCORE 58163.634
AT ITER 3388 NEW BEST:: SOT 511832 SOS 198474 HAS SOPS 198474 HAS SOUS 57955 HAS SOUPS 57955 WITH SCORE 58153.474
AT ITER 3390 NEW BEST:: SOT 511755 SOS 198320 HAS SOPS 198320 HAS SOUS 57878 HAS SOUPS 57878 WITH SCORE 58076.32
AT ITER 3395 NEW BEST:: SOT 511549 SOS 197290 HAS SOPS 197290 HAS SOUS 57771 HAS SOUPS 57771 WITH SCORE 57968.29
AT ITER 3412 NEW BEST:: SOT 511343 SOS 196104 HAS SOPS 196104 HAS SOUS 57653 HAS SOUPS 57653 WITH SCORE 57849.104
AT ITER 3417 NEW BEST:: SOT 511309 SOS 196036 HAS SOPS 196036 HAS SOUS 57646 HAS SOUPS 57646 WITH SCORE 57842.036
AT ITER 3437 NEW BEST:: SOT 511288 SOS 195994 HAS SOPS 195994 HAS SOUS 57625 HAS SOUPS 57625 WITH SCORE 57820.994
AT ITER 3441 NEW BEST:: SOT 511148 SOS 195355 HAS SOPS 195355 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57805.355
AT ITER 3503 NEW BEST:: SOT 511141 SOS 195342 HAS SOPS 195342 HAS SOUS 57604 HAS SOUPS 57604 WITH SCORE 57799.342
AT ITER 3505 NEW BEST:: SOT 511101 SOS 195466 HAS SOPS 195466 HAS SOUS 57530 HAS SOUPS 57530 WITH SCORE 57725.466
AT ITER 3507 NEW BEST:: SOT 511101 SOS 195476 HAS SOPS 195476 HAS SOUS 57528 HAS SOUPS 57528 WITH SCORE 57723.476
AT ITER 3513 NEW BEST:: SOT 510714 SOS 194960 HAS SOPS 194960 HAS SOUS 57486 HAS SOUPS 57486 WITH SCORE 57680.96
AT ITER 3523 NEW BEST:: SOT 510410 SOS 193440 HAS SOPS 193440 HAS SOUS 57334 HAS SOUPS 57334 WITH SCORE 57527.44
AT ITER 3540 NEW BEST:: SOT 510375 SOS 193341 HAS SOPS 193341 HAS SOUS 57270 HAS SOUPS 57270 WITH SCORE 57463.341
AT ITER 3548 NEW BEST:: SOT 510306 SOS 192585 HAS SOPS 192585 HAS SOUS 57176 HAS SOUPS 57176 WITH SCORE 57368.585
AT ITER 3563 NEW BEST:: SOT 510306 SOS 192544 HAS SOPS 192544 HAS SOUS 57133 HAS SOUPS 57133 WITH SCORE 57325.544
AT ITER 3564 NEW BEST:: SOT 510272 SOS 192427 HAS SOPS 192427 HAS SOUS 57050 HAS SOUPS 57050 WITH SCORE 57242.427
AT ITER 3577 NEW BEST:: SOT 510180 SOS 191967 HAS SOPS 191967 HAS SOUS 57004 HAS SOUPS 57004 WITH SCORE 57195.967
AT ITER 3603 NEW BEST:: SOT 510162 SOS 191877 HAS SOPS 191877 HAS SOUS 56995 HAS SOUPS 56995 WITH SCORE 57186.877
AT ITER 3687 NEW BEST:: SOT 510138 SOS 191757 HAS SOPS 191757 HAS SOUS 56983 HAS SOUPS 56983 WITH SCORE 57174.757
AT ITER 3720 NEW BEST:: SOT 510008 SOS 191107 HAS SOPS 191107 HAS SOUS 56918 HAS SOUPS 56918 WITH SCORE 57109.107
AT ITER 3745 NEW BEST:: SOT 509798 SOS 190101 HAS SOPS 190101 HAS SOUS 56857 HAS SOUPS 56857 WITH SCORE 57047.101
AT ITER 3763 NEW BEST:: SOT 509722 SOS 189691 HAS SOPS 189691 HAS SOUS 56766 HAS SOUPS 56766 WITH SCORE 56955.691
AT ITER 3768 NEW BEST:: SOT 509719 SOS 190604 HAS SOPS 190604 HAS SOUS 56579 HAS SOUPS 56579 WITH SCORE 56769.604
AT ITER 3771 NEW BEST:: SOT 509698 SOS 190496 HAS SOPS 190496 HAS SOUS 56576 HAS SOUPS 56576 WITH SCORE 56766.496
AT ITER 3822 NEW BEST:: SOT 509536 SOS 189686 HAS SOPS 189686 HAS SOUS 56495 HAS SOUPS 56495 WITH SCORE 56684.686
AT ITER 3824 NEW BEST:: SOT 509492 SOS 189466 HAS SOPS 189466 HAS SOUS 56469 HAS SOUPS 56469 WITH SCORE 56658.466
AT ITER 3829 NEW BEST:: SOT 509492 SOS 189466 HAS SOPS 189466 HAS SOUS 56467 HAS SOUPS 56467 WITH SCORE 56656.466
AT ITER 3830 NEW BEST:: SOT 509469 SOS 189371 HAS SOPS 189371 HAS SOUS 56467 HAS SOUPS 56467 WITH SCORE 56656.371
AT ITER 3848 NEW BEST:: SOT 509383 SOS 188941 HAS SOPS 188941 HAS SOUS 56424 HAS SOUPS 56424 WITH SCORE 56612.941
AT ITER 3877 NEW BEST:: SOT 509287 SOS 188447 HAS SOPS 188447 HAS SOUS 56390 HAS SOUPS 56390 WITH SCORE 56578.447
AT ITER 3888 NEW BEST:: SOT 509287 SOS 188447 HAS SOPS 188447 HAS SOUS 56388 HAS SOUPS 56388 WITH SCORE 56576.447
AT ITER 3889 NEW BEST:: SOT 509281 SOS 188417 HAS SOPS 188417 HAS SOUS 56385 HAS SOUPS 56385 WITH SCORE 56573.417
AT ITER 3903 NEW BEST:: SOT 509108 SOS 187514 HAS SOPS 187514 HAS SOUS 56303 HAS SOUPS 56303 WITH SCORE 56490.514
AT ITER 3912 NEW BEST:: SOT 509107 SOS 187512 HAS SOPS 187512 HAS SOUS 56302 HAS SOUPS 56302 WITH SCORE 56489.512
AT ITER 3922 NEW BEST:: SOT 509148 SOS 187729 HAS SOPS 187729 HAS SOUS 56289 HAS SOUPS 56289 WITH SCORE 56476.729
AT ITER 3971 NEW BEST:: SOT 509142 SOS 187717 HAS SOPS 187717 HAS SOUS 56283 HAS SOUPS 56283 WITH SCORE 56470.717
AT ITER 4002 NEW BEST:: SOT 509142 SOS 187681 HAS SOPS 187681 HAS SOUS 56247 HAS SOUPS 56247 WITH SCORE 56434.681
AT ITER 4019 NEW BEST:: SOT 509102 SOS 187361 HAS SOPS 187361 HAS SOUS 56247 HAS SOUPS 56247 WITH SCORE 56434.361
AT ITER 4059 NEW BEST:: SOT 509057 SOS 187015 HAS SOPS 187015 HAS SOUS 56247 HAS SOUPS 56247 WITH SCORE 56434.015
AT ITER 4083 NEW BEST:: SOT 508943 SOS 186562 HAS SOPS 186562 HAS SOUS 56174 HAS SOUPS 56174 WITH SCORE 56360.562
AT ITER 4090 NEW BEST:: SOT 508728 SOS 185400 HAS SOPS 185400 HAS SOUS 56081 HAS SOUPS 56081 WITH SCORE 56266.4
AT ITER 4122 NEW BEST:: SOT 508722 SOS 185388 HAS SOPS 185388 HAS SOUS 56069 HAS SOUPS 56069 WITH SCORE 56254.388
AT ITER 4146 NEW BEST:: SOT 508342 SOS 183488 HAS SOPS 183488 HAS SOUS 55877 HAS SOUPS 55877 WITH SCORE 56060.488
AT ITER 4174 NEW BEST:: SOT 508082 SOS 182253 HAS SOPS 182253 HAS SOUS 55812 HAS SOUPS 55812 WITH SCORE 55994.253
AT ITER 4195 NEW BEST:: SOT 508000 SOS 181843 HAS SOPS 181843 HAS SOUS 55771 HAS SOUPS 55771 WITH SCORE 55952.843
AT ITER 4205 NEW BEST:: SOT 507793 SOS 180451 HAS SOPS 180451 HAS SOUS 55721 HAS SOUPS 55721 WITH SCORE 55901.451
AT ITER 4206 NEW BEST:: SOT 507789 SOS 180428 HAS SOPS 180428 HAS SOUS 55717 HAS SOUPS 55717 WITH SCORE 55897.428
AT ITER 4211 NEW BEST:: SOT 507683 SOS 179901 HAS SOPS 179901 HAS SOUS 55667 HAS SOUPS 55667 WITH SCORE 55846.901
AT ITER 4263 NEW BEST:: SOT 507662 SOS 179859 HAS SOPS 179859 HAS SOUS 55606 HAS SOUPS 55606 WITH SCORE 55785.859
AT ITER 4270 NEW BEST:: SOT 507750 SOS 180018 HAS SOPS 180018 HAS SOUS 55599 HAS SOUPS 55599 WITH SCORE 55779.018
AT ITER 4354 NEW BEST:: SOT 507552 SOS 178993 HAS SOPS 178993 HAS SOUS 55535 HAS SOUPS 55535 WITH SCORE 55713.993
AT ITER 4372 NEW BEST:: SOT 507448 SOS 178747 HAS SOPS 178747 HAS SOUS 55420 HAS SOUPS 55420 WITH SCORE 55598.747
AT ITER 4398 NEW BEST:: SOT 507443 SOS 178714 HAS SOPS 178714 HAS SOUS 55392 HAS SOUPS 55392 WITH SCORE 55570.714
AT ITER 4422 NEW BEST:: SOT 507432 SOS 178692 HAS SOPS 178692 HAS SOUS 55381 HAS SOUPS 55381 WITH SCORE 55559.692
AT ITER 4444 NEW BEST:: SOT 507403 SOS 178568 HAS SOPS 178568 HAS SOUS 55262 HAS SOUPS 55262 WITH SCORE 55440.568
AT ITER 4473 NEW BEST:: SOT 507392 SOS 178546 HAS SOPS 178546 HAS SOUS 55261 HAS SOUPS 55261 WITH SCORE 55439.546
AT ITER 4512 NEW BEST:: SOT 507380 SOS 178522 HAS SOPS 178522 HAS SOUS 55255 HAS SOUPS 55255 WITH SCORE 55433.522
AT ITER 4518 NEW BEST:: SOT 507236 SOS 177646 HAS SOPS 177646 HAS SOUS 55063 HAS SOUPS 55063 WITH SCORE 55240.646
AT ITER 4527 NEW BEST:: SOT 507230 SOS 177605 HAS SOPS 177605 HAS SOUS 54972 HAS SOUPS 54972 WITH SCORE 55149.605
AT ITER 4557 NEW BEST:: SOT 507225 SOS 177553 HAS SOPS 177553 HAS SOUS 54960 HAS SOUPS 54960 WITH SCORE 55137.553
AT ITER 4560 NEW BEST:: SOT 507148 SOS 177138 HAS SOPS 177138 HAS SOUS 54958 HAS SOUPS 54958 WITH SCORE 55135.138
AT ITER 4591 NEW BEST:: SOT 506618 SOS 174382 HAS SOPS 174382 HAS SOUS 54747 HAS SOUPS 54747 WITH SCORE 54921.382
AT ITER 4606 NEW BEST:: SOT 506215 SOS 172298 HAS SOPS 172298 HAS SOUS 54557 HAS SOUPS 54557 WITH SCORE 54729.298
AT ITER 4607 NEW BEST:: SOT 506203 SOS 172274 HAS SOPS 172274 HAS SOUS 54545 HAS SOUPS 54545 WITH SCORE 54717.274
AT ITER 4620 NEW BEST:: SOT 506185 SOS 172238 HAS SOPS 172238 HAS SOUS 54527 HAS SOUPS 54527 WITH SCORE 54699.238
AT ITER 4621 NEW BEST:: SOT 506185 SOS 172229 HAS SOPS 172229 HAS SOUS 54518 HAS SOUPS 54518 WITH SCORE 54690.229
AT ITER 4643 NEW BEST:: SOT 506184 SOS 172227 HAS SOPS 172227 HAS SOUS 54518 HAS SOUPS 54518 WITH SCORE 54690.227
AT ITER 4652 NEW BEST:: SOT 505779 SOS 170187 HAS SOPS 170187 HAS SOUS 54353 HAS SOUPS 54353 WITH SCORE 54523.187
AT ITER 4680 NEW BEST:: SOT 505779 SOS 170185 HAS SOPS 170185 HAS SOUS 54351 HAS SOUPS 54351 WITH SCORE 54521.185
AT ITER 4685 NEW BEST:: SOT 505725 SOS 170043 HAS SOPS 170043 HAS SOUS 54286 HAS SOUPS 54286 WITH SCORE 54456.043
AT ITER 4694 NEW BEST:: SOT 505780 SOS 170157 HAS SOPS 170157 HAS SOUS 54249 HAS SOUPS 54249 WITH SCORE 54419.157
AT ITER 4719 NEW BEST:: SOT 505664 SOS 169565 HAS SOPS 169565 HAS SOUS 54193 HAS SOUPS 54193 WITH SCORE 54362.565
AT ITER 4720 NEW BEST:: SOT 505530 SOS 168895 HAS SOPS 168895 HAS SOUS 54126 HAS SOUPS 54126 WITH SCORE 54294.895
AT ITER 4740 NEW BEST:: SOT 505518 SOS 168883 HAS SOPS 168883 HAS SOUS 54112 HAS SOUPS 54112 WITH SCORE 54280.883
AT ITER 4749 NEW BEST:: SOT 505561 SOS 168937 HAS SOPS 168937 HAS SOUS 54096 HAS SOUPS 54096 WITH SCORE 54264.937
AT ITER 4767 NEW BEST:: SOT 505244 SOS 168620 HAS SOPS 168620 HAS SOUS 54095 HAS SOUPS 54095 WITH SCORE 54263.62
AT ITER 4769 NEW BEST:: SOT 505050 SOS 167624 HAS SOPS 167624 HAS SOUS 54021 HAS SOUPS 54021 WITH SCORE 54188.624
AT ITER 4771 NEW BEST:: SOT 505050 SOS 167624 HAS SOPS 167624 HAS SOUS 54015 HAS SOUPS 54015 WITH SCORE 54182.624
AT ITER 4796 NEW BEST:: SOT 505050 SOS 167592 HAS SOPS 167592 HAS SOUS 53983 HAS SOUPS 53983 WITH SCORE 54150.592
AT ITER 4803 NEW BEST:: SOT 505038 SOS 167544 HAS SOPS 167544 HAS SOUS 53971 HAS SOUPS 53971 WITH SCORE 54138.544
AT ITER 4836 NEW BEST:: SOT 504992 SOS 167308 HAS SOPS 167308 HAS SOUS 53949 HAS SOUPS 53949 WITH SCORE 54116.308
AT ITER 4868 NEW BEST:: SOT 504671 SOS 165388 HAS SOPS 165388 HAS SOUS 53841 HAS SOUPS 53841 WITH SCORE 54006.388
AT ITER 4879 NEW BEST:: SOT 504657 SOS 165360 HAS SOPS 165360 HAS SOUS 53837 HAS SOUPS 53837 WITH SCORE 54002.36
AT ITER 4880 NEW BEST:: SOT 504654 SOS 165351 HAS SOPS 165351 HAS SOUS 53837 HAS SOUPS 53837 WITH SCORE 54002.351
AT ITER 4901 NEW BEST:: SOT 504594 SOS 165045 HAS SOPS 165045 HAS SOUS 53808 HAS SOUPS 53808 WITH SCORE 53973.045
AT ITER 4903 NEW BEST:: SOT 504579 SOS 164985 HAS SOPS 164985 HAS SOUS 53707 HAS SOUPS 53707 WITH SCORE 53871.985
AT ITER 4912 NEW BEST:: SOT 504533 SOS 164937 HAS SOPS 164937 HAS SOUS 53657 HAS SOUPS 53657 WITH SCORE 53821.937
AT ITER 4942 NEW BEST:: SOT 504458 SOS 164570 HAS SOPS 164570 HAS SOUS 53657 HAS SOUPS 53657 WITH SCORE 53821.57
AT ITER 4983 NEW BEST:: SOT 504511 SOS 165042 HAS SOPS 165042 HAS SOUS 53649 HAS SOUPS 53649 WITH SCORE 53814.042
AT ITER 4996 NEW BEST:: SOT 504417 SOS 164572 HAS SOPS 164572 HAS SOUS 53594 HAS SOUPS 53594 WITH SCORE 53758.572
AT ITER 5002 NEW BEST:: SOT 504411 SOS 164566 HAS SOPS 164566 HAS SOUS 53588 HAS SOUPS 53588 WITH SCORE 53752.566
AT ITER 5051 NEW BEST:: SOT 504303 SOS 164075 HAS SOPS 164075 HAS SOUS 53583 HAS SOUPS 53583 WITH SCORE 53747.075
AT ITER 5070 NEW BEST:: SOT 504190 SOS 163471 HAS SOPS 163471 HAS SOUS 53533 HAS SOUPS 53533 WITH SCORE 53696.471
AT ITER 5071 NEW BEST:: SOT 504142 SOS 163254 HAS SOPS 163254 HAS SOUS 53532 HAS SOUPS 53532 WITH SCORE 53695.254
AT ITER 5078 NEW BEST:: SOT 504142 SOS 163634 HAS SOPS 163634 HAS SOUS 53456 HAS SOUPS 53456 WITH SCORE 53619.634
AT ITER 5101 NEW BEST:: SOT 504120 SOS 163232 HAS SOPS 163232 HAS SOUS 53454 HAS SOUPS 53454 WITH SCORE 53617.232
AT ITER 5129 NEW BEST:: SOT 504067 SOS 163588 HAS SOPS 163588 HAS SOUS 53388 HAS SOUPS 53388 WITH SCORE 53551.588
AT ITER 5140 NEW BEST:: SOT 503782 SOS 161795 HAS SOPS 161795 HAS SOUS 53258 HAS SOUPS 53258 WITH SCORE 53419.795
AT ITER 5146 NEW BEST:: SOT 503782 SOS 161975 HAS SOPS 161975 HAS SOUS 53228 HAS SOUPS 53228 WITH SCORE 53389.975
AT ITER 5160 NEW BEST:: SOT 503726 SOS 161695 HAS SOPS 161695 HAS SOUS 53200 HAS SOUPS 53200 WITH SCORE 53361.695
AT ITER 5190 NEW BEST:: SOT 503704 SOS 161585 HAS SOPS 161585 HAS SOUS 53189 HAS SOUPS 53189 WITH SCORE 53350.585
AT ITER 5208 NEW BEST:: SOT 503527 SOS 160319 HAS SOPS 160319 HAS SOUS 53162 HAS SOUPS 53162 WITH SCORE 53322.319
AT ITER 5233 NEW BEST:: SOT 503594 SOS 160402 HAS SOPS 160402 HAS SOUS 53117 HAS SOUPS 53117 WITH SCORE 53277.402
AT ITER 5249 NEW BEST:: SOT 503568 SOS 160298 HAS SOPS 160298 HAS SOUS 53117 HAS SOUPS 53117 WITH SCORE 53277.298
AT ITER 5288 NEW BEST:: SOT 503568 SOS 160298 HAS SOPS 160298 HAS SOUS 53115 HAS SOUPS 53115 WITH SCORE 53275.298
AT ITER 5308 NEW BEST:: SOT 503566 SOS 160291 HAS SOPS 160291 HAS SOUS 53110 HAS SOUPS 53110 WITH SCORE 53270.291
AT ITER 5328 NEW BEST:: SOT 503562 SOS 160281 HAS SOPS 160281 HAS SOUS 53106 HAS SOUPS 53106 WITH SCORE 53266.281
AT ITER 5362 NEW BEST:: SOT 503474 SOS 159841 HAS SOPS 159841 HAS SOUS 53062 HAS SOUPS 53062 WITH SCORE 53221.841
AT ITER 5370 NEW BEST:: SOT 503367 SOS 159734 HAS SOPS 159734 HAS SOUS 52995 HAS SOUPS 52995 WITH SCORE 53154.734
AT ITER 5417 NEW BEST:: SOT 503366 SOS 159731 HAS SOPS 159731 HAS SOUS 52995 HAS SOUPS 52995 WITH SCORE 53154.731
AT ITER 5418 NEW BEST:: SOT 503375 SOS 159711 HAS SOPS 159711 HAS SOUS 52947 HAS SOUPS 52947 WITH SCORE 53106.711
AT ITER 5491 NEW BEST:: SOT 503353 SOS 159608 HAS SOPS 159608 HAS SOUS 52943 HAS SOUPS 52943 WITH SCORE 53102.608
AT ITER 5498 NEW BEST:: SOT 503351 SOS 159604 HAS SOPS 159604 HAS SOUS 52943 HAS SOUPS 52943 WITH SCORE 53102.604
AT ITER 5540 NEW BEST:: SOT 503516 SOS 159769 HAS SOPS 159769 HAS SOUS 52792 HAS SOUPS 52792 WITH SCORE 52951.769
AT ITER 5566 NEW BEST:: SOT 503481 SOS 159734 HAS SOPS 159734 HAS SOUS 52783 HAS SOUPS 52783 WITH SCORE 52942.734
AT ITER 5575 NEW BEST:: SOT 503472 SOS 159736 HAS SOPS 159736 HAS SOUS 52775 HAS SOUPS 52775 WITH SCORE 52934.736
AT ITER 5589 NEW BEST:: SOT 503453 SOS 159584 HAS SOPS 159584 HAS SOUS 52775 HAS SOUPS 52775 WITH SCORE 52934.584
AT ITER 5592 NEW BEST:: SOT 503453 SOS 159584 HAS SOPS 159584 HAS SOUS 52769 HAS SOUPS 52769 WITH SCORE 52928.584
AT ITER 5612 NEW BEST:: SOT 503415 SOS 159411 HAS SOPS 159411 HAS SOUS 52767 HAS SOUPS 52767 WITH SCORE 52926.411
AT ITER 5651 NEW BEST:: SOT 503385 SOS 159261 HAS SOPS 159261 HAS SOUS 52752 HAS SOUPS 52752 WITH SCORE 52911.261
AT ITER 5654 NEW BEST:: SOT 503228 SOS 158156 HAS SOPS 158156 HAS SOUS 52706 HAS SOUPS 52706 WITH SCORE 52864.156
AT ITER 5676 NEW BEST:: SOT 503145 SOS 157907 HAS SOPS 157907 HAS SOUS 52706 HAS SOUPS 52706 WITH SCORE 52863.907
AT ITER 5680 NEW BEST:: SOT 503155 SOS 158011 HAS SOPS 158011 HAS SOUS 52702 HAS SOUPS 52702 WITH SCORE 52860.011
AT ITER 5718 NEW BEST:: SOT 503147 SOS 157995 HAS SOPS 157995 HAS SOUS 52692 HAS SOUPS 52692 WITH SCORE 52849.995
AT ITER 5727 NEW BEST:: SOT 503145 SOS 157989 HAS SOPS 157989 HAS SOUS 52688 HAS SOUPS 52688 WITH SCORE 52845.989
AT ITER 5750 NEW BEST:: SOT 503145 SOS 157989 HAS SOPS 157989 HAS SOUS 52686 HAS SOUPS 52686 WITH SCORE 52843.989
AT ITER 5785 NEW BEST:: SOT 503143 SOS 157983 HAS SOPS 157983 HAS SOUS 52682 HAS SOUPS 52682 WITH SCORE 52839.983
AT ITER 5786 NEW BEST:: SOT 503143 SOS 157982 HAS SOPS 157982 HAS SOUS 52681 HAS SOUPS 52681 WITH SCORE 52838.982
AT ITER 5805 NEW BEST:: SOT 503035 SOS 157442 HAS SOPS 157442 HAS SOUS 52627 HAS SOUPS 52627 WITH SCORE 52784.442
AT ITER 5819 NEW BEST:: SOT 503019 SOS 157362 HAS SOPS 157362 HAS SOUS 52617 HAS SOUPS 52617 WITH SCORE 52774.362
AT ITER 5843 NEW BEST:: SOT 502816 SOS 157041 HAS SOPS 157041 HAS SOUS 52377 HAS SOUPS 52377 WITH SCORE 52534.041
AT ITER 5858 NEW BEST:: SOT 502804 SOS 156981 HAS SOPS 156981 HAS SOUS 52369 HAS SOUPS 52369 WITH SCORE 52525.981
AT ITER 5906 NEW BEST:: SOT 502804 SOS 156981 HAS SOPS 156981 HAS SOUS 52367 HAS SOUPS 52367 WITH SCORE 52523.981
AT ITER 5909 NEW BEST:: SOT 502815 SOS 156962 HAS SOPS 156962 HAS SOUS 52337 HAS SOUPS 52337 WITH SCORE 52493.962
AT ITER 5928 NEW BEST:: SOT 502784 SOS 156850 HAS SOPS 156850 HAS SOUS 52288 HAS SOUPS 52288 WITH SCORE 52444.85
AT ITER 5941 NEW BEST:: SOT 502777 SOS 156829 HAS SOPS 156829 HAS SOUS 52270 HAS SOUPS 52270 WITH SCORE 52426.829
AT ITER 5953 NEW BEST:: SOT 502763 SOS 156886 HAS SOPS 156886 HAS SOUS 52239 HAS SOUPS 52239 WITH SCORE 52395.886
AT ITER 5973 NEW BEST:: SOT 502763 SOS 156873 HAS SOPS 156873 HAS SOUS 52222 HAS SOUPS 52222 WITH SCORE 52378.873
AT ITER 5991 NEW BEST:: SOT 502725 SOS 156683 HAS SOPS 156683 HAS SOUS 52201 HAS SOUPS 52201 WITH SCORE 52357.683
AT ITER 6028 NEW BEST:: SOT 502725 SOS 156683 HAS SOPS 156683 HAS SOUS 52065 HAS SOUPS 52065 WITH SCORE 52221.683
AT ITER 6047 NEW BEST:: SOT 502711 SOS 156617 HAS SOPS 156617 HAS SOUS 52062 HAS SOUPS 52062 WITH SCORE 52218.617
AT ITER 6055 NEW BEST:: SOT 502709 SOS 156613 HAS SOPS 156613 HAS SOUS 52056 HAS SOUPS 52056 WITH SCORE 52212.613
AT ITER 6066 NEW BEST:: SOT 502705 SOS 156605 HAS SOPS 156605 HAS SOUS 52052 HAS SOUPS 52052 WITH SCORE 52208.605
AT ITER 6098 NEW BEST:: SOT 502565 SOS 156411 HAS SOPS 156411 HAS SOUS 51858 HAS SOUPS 51858 WITH SCORE 52014.411
AT ITER 6109 NEW BEST:: SOT 502550 SOS 156396 HAS SOPS 156396 HAS SOUS 51843 HAS SOUPS 51843 WITH SCORE 51999.396
AT ITER 6120 NEW BEST:: SOT 502563 SOS 156391 HAS SOPS 156391 HAS SOUS 51816 HAS SOUPS 51816 WITH SCORE 51972.391
AT ITER 6128 NEW BEST:: SOT 502151 SOS 154229 HAS SOPS 154229 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 51914.229
AT ITER 6130 NEW BEST:: SOT 502122 SOS 154103 HAS SOPS 154103 HAS SOUS 51663 HAS SOUPS 51663 WITH SCORE 51817.103
AT ITER 6202 NEW BEST:: SOT 502064 SOS 153755 HAS SOPS 153755 HAS SOUS 51652 HAS SOUPS 51652 WITH SCORE 51805.755
AT ITER 6231 NEW BEST:: SOT 502058 SOS 153725 HAS SOPS 153725 HAS SOUS 51649 HAS SOUPS 51649 WITH SCORE 51802.725
AT ITER 6237 NEW BEST:: SOT 502052 SOS 153713 HAS SOPS 153713 HAS SOUS 51649 HAS SOUPS 51649 WITH SCORE 51802.713
AT ITER 6260 NEW BEST:: SOT 502042 SOS 153693 HAS SOPS 153693 HAS SOUS 51639 HAS SOUPS 51639 WITH SCORE 51792.693
AT ITER 6273 NEW BEST:: SOT 502053 SOS 153715 HAS SOPS 153715 HAS SOUS 51628 HAS SOUPS 51628 WITH SCORE 51781.715
AT ITER 6297 NEW BEST:: SOT 502030 SOS 153839 HAS SOPS 153839 HAS SOUS 51605 HAS SOUPS 51605 WITH SCORE 51758.839
AT ITER 6335 NEW BEST:: SOT 502021 SOS 153830 HAS SOPS 153830 HAS SOUS 51596 HAS SOUPS 51596 WITH SCORE 51749.83
AT ITER 6391 NEW BEST:: SOT 501999 SOS 153720 HAS SOPS 153720 HAS SOUS 51585 HAS SOUPS 51585 WITH SCORE 51738.72
AT ITER 6392 NEW BEST:: SOT 501992 SOS 153706 HAS SOPS 153706 HAS SOUS 51578 HAS SOUPS 51578 WITH SCORE 51731.706
AT ITER 6405 NEW BEST:: SOT 501966 SOS 153576 HAS SOPS 153576 HAS SOUS 51565 HAS SOUPS 51565 WITH SCORE 51718.576
AT ITER 6409 NEW BEST:: SOT 501966 SOS 153576 HAS SOPS 153576 HAS SOUS 51563 HAS SOUPS 51563 WITH SCORE 51716.576
AT ITER 6457 NEW BEST:: SOT 501768 SOS 152850 HAS SOPS 152850 HAS SOUS 51431 HAS SOUPS 51431 WITH SCORE 51583.85
AT ITER 6482 NEW BEST:: SOT 501722 SOS 152620 HAS SOPS 152620 HAS SOUS 51408 HAS SOUPS 51408 WITH SCORE 51560.62
AT ITER 6510 NEW BEST:: SOT 501700 SOS 152576 HAS SOPS 152576 HAS SOUS 51394 HAS SOUPS 51394 WITH SCORE 51546.576
AT ITER 6519 NEW BEST:: SOT 501700 SOS 152576 HAS SOPS 152576 HAS SOUS 51390 HAS SOUPS 51390 WITH SCORE 51542.576
AT ITER 6568 NEW BEST:: SOT 501700 SOS 152600 HAS SOPS 152600 HAS SOUS 51386 HAS SOUPS 51386 WITH SCORE 51538.6
AT ITER 6570 NEW BEST:: SOT 501694 SOS 152552 HAS SOPS 152552 HAS SOUS 51386 HAS SOUPS 51386 WITH SCORE 51538.552
AT ITER 6589 NEW BEST:: SOT 501680 SOS 152501 HAS SOPS 152501 HAS SOUS 51349 HAS SOUPS 51349 WITH SCORE 51501.501
AT ITER 6615 NEW BEST:: SOT 501666 SOS 152431 HAS SOPS 152431 HAS SOUS 51342 HAS SOUPS 51342 WITH SCORE 51494.431
AT ITER 6656 NEW BEST:: SOT 501648 SOS 152413 HAS SOPS 152413 HAS SOUS 51324 HAS SOUPS 51324 WITH SCORE 51476.413
AT ITER 6663 NEW BEST:: SOT 501638 SOS 152363 HAS SOPS 152363 HAS SOUS 51319 HAS SOUPS 51319 WITH SCORE 51471.363
AT ITER 6683 NEW BEST:: SOT 501448 SOS 151413 HAS SOPS 151413 HAS SOUS 51224 HAS SOUPS 51224 WITH SCORE 51375.413
AT ITER 6717 NEW BEST:: SOT 501439 SOS 151360 HAS SOPS 151360 HAS SOUS 51182 HAS SOUPS 51182 WITH SCORE 51333.36
AT ITER 6723 NEW BEST:: SOT 501412 SOS 151306 HAS SOPS 151306 HAS SOUS 51167 HAS SOUPS 51167 WITH SCORE 51318.306
AT ITER 6753 NEW BEST:: SOT 501399 SOS 151242 HAS SOPS 151242 HAS SOUS 51165 HAS SOUPS 51165 WITH SCORE 51316.242
AT ITER 6767 NEW BEST:: SOT 501330 SOS 151173 HAS SOPS 151173 HAS SOUS 51132 HAS SOUPS 51132 WITH SCORE 51283.173
AT ITER 6781 NEW BEST:: SOT 501254 SOS 151021 HAS SOPS 151021 HAS SOUS 51050 HAS SOUPS 51050 WITH SCORE 51201.021
AT ITER 6789 NEW BEST:: SOT 500933 SOS 150676 HAS SOPS 150676 HAS SOUS 50985 HAS SOUPS 50985 WITH SCORE 51135.676
AT ITER 6793 NEW BEST:: SOT 500637 SOS 149154 HAS SOPS 149154 HAS SOUS 50844 HAS SOUPS 50844 WITH SCORE 50993.154
AT ITER 6799 NEW BEST:: SOT 500645 SOS 149215 HAS SOPS 149215 HAS SOUS 50835 HAS SOUPS 50835 WITH SCORE 50984.215
AT ITER 6892 NEW BEST:: SOT 500517 SOS 148959 HAS SOPS 148959 HAS SOUS 50707 HAS SOUPS 50707 WITH SCORE 50855.959
AT ITER 6916 NEW BEST:: SOT 500495 SOS 148880 HAS SOPS 148880 HAS SOUS 50650 HAS SOUPS 50650 WITH SCORE 50798.88
AT ITER 6919 NEW BEST:: SOT 500146 SOS 147051 HAS SOPS 147051 HAS SOUS 50497 HAS SOUPS 50497 WITH SCORE 50644.051
AT ITER 6947 NEW BEST:: SOT 500129 SOS 147020 HAS SOPS 147020 HAS SOUS 50483 HAS SOUPS 50483 WITH SCORE 50630.02
AT ITER 6948 NEW BEST:: SOT 500129 SOS 147015 HAS SOPS 147015 HAS SOUS 50478 HAS SOUPS 50478 WITH SCORE 50625.015
AT ITER 6950 NEW BEST:: SOT 500119 SOS 146995 HAS SOPS 146995 HAS SOUS 50468 HAS SOUPS 50468 WITH SCORE 50614.995
AT ITER 6958 NEW BEST:: SOT 500041 SOS 146605 HAS SOPS 146605 HAS SOUS 50429 HAS SOUPS 50429 WITH SCORE 50575.605
AT ITER 6991 NEW BEST:: SOT 500008 SOS 146498 HAS SOPS 146498 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50501.498
AT ITER 7009 NEW BEST:: SOT 499858 SOS 145598 HAS SOPS 145598 HAS SOUS 50310 HAS SOUPS 50310 WITH SCORE 50455.598
AT ITER 7089 NEW BEST:: SOT 499841 SOS 145564 HAS SOPS 145564 HAS SOUS 50291 HAS SOUPS 50291 WITH SCORE 50436.564
AT ITER 7110 NEW BEST:: SOT 499841 SOS 145564 HAS SOPS 145564 HAS SOUS 50271 HAS SOUPS 50271 WITH SCORE 50416.564
AT ITER 7150 NEW BEST:: SOT 499841 SOS 145552 HAS SOPS 145552 HAS SOUS 50259 HAS SOUPS 50259 WITH SCORE 50404.552
AT ITER 7161 NEW BEST:: SOT 499837 SOS 145532 HAS SOPS 145532 HAS SOUS 50257 HAS SOUPS 50257 WITH SCORE 50402.532
AT ITER 7168 NEW BEST:: SOT 499801 SOS 145352 HAS SOPS 145352 HAS SOUS 50239 HAS SOUPS 50239 WITH SCORE 50384.352
AT ITER 7169 NEW BEST:: SOT 499755 SOS 145302 HAS SOPS 145302 HAS SOUS 50207 HAS SOUPS 50207 WITH SCORE 50352.302
AT ITER 7189 NEW BEST:: SOT 499755 SOS 145350 HAS SOPS 145350 HAS SOUS 50199 HAS SOUPS 50199 WITH SCORE 50344.35
AT ITER 7205 NEW BEST:: SOT 499755 SOS 145350 HAS SOPS 145350 HAS SOUS 50195 HAS SOUPS 50195 WITH SCORE 50340.35
AT ITER 7238 NEW BEST:: SOT 499584 SOS 145179 HAS SOPS 145179 HAS SOUS 50162 HAS SOUPS 50162 WITH SCORE 50307.179
AT ITER 7244 NEW BEST:: SOT 499584 SOS 145167 HAS SOPS 145167 HAS SOUS 50150 HAS SOUPS 50150 WITH SCORE 50295.167
AT ITER 7299 NEW BEST:: SOT 499583 SOS 145159 HAS SOPS 145159 HAS SOUS 50149 HAS SOUPS 50149 WITH SCORE 50294.159
AT ITER 7314 NEW BEST:: SOT 499392 SOS 143880 HAS SOPS 143880 HAS SOUS 50095 HAS SOUPS 50095 WITH SCORE 50238.88
AT ITER 7322 NEW BEST:: SOT 499336 SOS 143600 HAS SOPS 143600 HAS SOUS 50011 HAS SOUPS 50011 WITH SCORE 50154.6
AT ITER 7333 NEW BEST:: SOT 499295 SOS 143518 HAS SOPS 143518 HAS SOUS 49970 HAS SOUPS 49970 WITH SCORE 50113.518
AT ITER 7342 NEW BEST:: SOT 499285 SOS 143498 HAS SOPS 143498 HAS SOUS 49890 HAS SOUPS 49890 WITH SCORE 50033.498
AT ITER 7351 NEW BEST:: SOT 499273 SOS 143418 HAS SOPS 143418 HAS SOUS 49822 HAS SOUPS 49822 WITH SCORE 49965.418
AT ITER 7354 NEW BEST:: SOT 499241 SOS 143386 HAS SOPS 143386 HAS SOUS 49790 HAS SOUPS 49790 WITH SCORE 49933.386
AT ITER 7392 NEW BEST:: SOT 499181 SOS 143086 HAS SOPS 143086 HAS SOUS 49756 HAS SOUPS 49756 WITH SCORE 49899.086
AT ITER 7418 NEW BEST:: SOT 499175 SOS 143086 HAS SOPS 143086 HAS SOUS 49754 HAS SOUPS 49754 WITH SCORE 49897.086
AT ITER 7468 NEW BEST:: SOT 499172 SOS 143095 HAS SOPS 143095 HAS SOUS 49745 HAS SOUPS 49745 WITH SCORE 49888.095
AT ITER 7473 NEW BEST:: SOT 499172 SOS 143067 HAS SOPS 143067 HAS SOUS 49711 HAS SOUPS 49711 WITH SCORE 49854.067
AT ITER 7498 NEW BEST:: SOT 499202 SOS 143574 HAS SOPS 143574 HAS SOUS 49656 HAS SOUPS 49656 WITH SCORE 49799.574
AT ITER 7511 NEW BEST:: SOT 498979 SOS 143023 HAS SOPS 143023 HAS SOUS 49430 HAS SOUPS 49430 WITH SCORE 49573.023
AT ITER 7515 NEW BEST:: SOT 498935 SOS 142740 HAS SOPS 142740 HAS SOUS 49412 HAS SOUPS 49412 WITH SCORE 49554.74
AT ITER 7547 NEW BEST:: SOT 498930 SOS 142730 HAS SOPS 142730 HAS SOUS 49407 HAS SOUPS 49407 WITH SCORE 49549.73
AT ITER 7573 NEW BEST:: SOT 498918 SOS 142676 HAS SOPS 142676 HAS SOUS 49407 HAS SOUPS 49407 WITH SCORE 49549.676
AT ITER 7597 NEW BEST:: SOT 498918 SOS 142671 HAS SOPS 142671 HAS SOUS 49402 HAS SOUPS 49402 WITH SCORE 49544.671
AT ITER 7617 NEW BEST:: SOT 498918 SOS 142670 HAS SOPS 142670 HAS SOUS 49387 HAS SOUPS 49387 WITH SCORE 49529.67
AT ITER 7628 NEW BEST:: SOT 498922 SOS 142674 HAS SOPS 142674 HAS SOUS 49383 HAS SOUPS 49383 WITH SCORE 49525.674
AT ITER 7640 NEW BEST:: SOT 498899 SOS 142603 HAS SOPS 142603 HAS SOUS 49335 HAS SOUPS 49335 WITH SCORE 49477.603
AT ITER 7641 NEW BEST:: SOT 498569 SOS 140890 HAS SOPS 140890 HAS SOUS 49233 HAS SOUPS 49233 WITH SCORE 49373.89
AT ITER 7704 NEW BEST:: SOT 498474 SOS 140364 HAS SOPS 140364 HAS SOUS 49194 HAS SOUPS 49194 WITH SCORE 49334.364
AT ITER 7730 NEW BEST:: SOT 498308 SOS 139534 HAS SOPS 139534 HAS SOUS 49101 HAS SOUPS 49101 WITH SCORE 49240.534
AT ITER 7737 NEW BEST:: SOT 498258 SOS 139284 HAS SOPS 139284 HAS SOUS 49072 HAS SOUPS 49072 WITH SCORE 49211.284
AT ITER 7791 NEW BEST:: SOT 498208 SOS 139159 HAS SOPS 139159 HAS SOUS 49022 HAS SOUPS 49022 WITH SCORE 49161.159
AT ITER 7794 NEW BEST:: SOT 498167 SOS 138846 HAS SOPS 138846 HAS SOUS 49016 HAS SOUPS 49016 WITH SCORE 49154.846
AT ITER 7870 NEW BEST:: SOT 498141 SOS 138789 HAS SOPS 138789 HAS SOUS 48985 HAS SOUPS 48985 WITH SCORE 49123.789
AT ITER 7877 NEW BEST:: SOT 498077 SOS 138661 HAS SOPS 138661 HAS SOUS 48776 HAS SOUPS 48776 WITH SCORE 48914.661
AT ITER 7964 NEW BEST:: SOT 498147 SOS 139203 HAS SOPS 139203 HAS SOUS 48760 HAS SOUPS 48760 WITH SCORE 48899.203
AT ITER 8043 NEW BEST:: SOT 498150 SOS 139206 HAS SOPS 139206 HAS SOUS 48757 HAS SOUPS 48757 WITH SCORE 48896.206
AT ITER 8084 NEW BEST:: SOT 498148 SOS 139202 HAS SOPS 139202 HAS SOUS 48755 HAS SOUPS 48755 WITH SCORE 48894.202
AT ITER 8159 NEW BEST:: SOT 498102 SOS 139190 HAS SOPS 139190 HAS SOUS 48727 HAS SOUPS 48727 WITH SCORE 48866.19
AT ITER 8177 NEW BEST:: SOT 498068 SOS 139020 HAS SOPS 139020 HAS SOUS 48710 HAS SOUPS 48710 WITH SCORE 48849.02
AT ITER 8179 NEW BEST:: SOT 497946 SOS 138410 HAS SOPS 138410 HAS SOUS 48649 HAS SOUPS 48649 WITH SCORE 48787.41
AT ITER 8194 NEW BEST:: SOT 497892 SOS 138020 HAS SOPS 138020 HAS SOUS 48642 HAS SOUPS 48642 WITH SCORE 48780.02
AT ITER 8208 NEW BEST:: SOT 497794 SOS 137482 HAS SOPS 137482 HAS SOUS 48592 HAS SOUPS 48592 WITH SCORE 48729.482
AT ITER 8226 NEW BEST:: SOT 497766 SOS 137345 HAS SOPS 137345 HAS SOUS 48581 HAS SOUPS 48581 WITH SCORE 48718.345
AT ITER 8235 NEW BEST:: SOT 497460 SOS 137039 HAS SOPS 137039 HAS SOUS 48441 HAS SOUPS 48441 WITH SCORE 48578.039
AT ITER 8250 NEW BEST:: SOT 497431 SOS 136952 HAS SOPS 136952 HAS SOUS 48383 HAS SOUPS 48383 WITH SCORE 48519.952
AT ITER 8262 NEW BEST:: SOT 497202 SOS 136723 HAS SOPS 136723 HAS SOUS 48302 HAS SOUPS 48302 WITH SCORE 48438.723
AT ITER 8272 NEW BEST:: SOT 497200 SOS 136719 HAS SOPS 136719 HAS SOUS 48300 HAS SOUPS 48300 WITH SCORE 48436.719
AT ITER 8330 NEW BEST:: SOT 497190 SOS 136669 HAS SOPS 136669 HAS SOUS 48289 HAS SOUPS 48289 WITH SCORE 48425.669
AT ITER 8381 NEW BEST:: SOT 497184 SOS 136645 HAS SOPS 136645 HAS SOUS 48283 HAS SOUPS 48283 WITH SCORE 48419.645
AT ITER 8396 NEW BEST:: SOT 497184 SOS 136585 HAS SOPS 136585 HAS SOUS 48223 HAS SOUPS 48223 WITH SCORE 48359.585
AT ITER 8410 NEW BEST:: SOT 497083 SOS 136633 HAS SOPS 136633 HAS SOUS 48171 HAS SOUPS 48171 WITH SCORE 48307.633
AT ITER 8420 NEW BEST:: SOT 497074 SOS 136615 HAS SOPS 136615 HAS SOUS 48162 HAS SOUPS 48162 WITH SCORE 48298.615
AT ITER 8422 NEW BEST:: SOT 496955 SOS 135699 HAS SOPS 135699 HAS SOUS 48156 HAS SOUPS 48156 WITH SCORE 48291.699
AT ITER 8470 NEW BEST:: SOT 496954 SOS 135697 HAS SOPS 135697 HAS SOUS 48155 HAS SOUPS 48155 WITH SCORE 48290.697
AT ITER 8484 NEW BEST:: SOT 496680 SOS 134332 HAS SOPS 134332 HAS SOUS 48023 HAS SOUPS 48023 WITH SCORE 48157.332
AT ITER 8532 NEW BEST:: SOT 496677 SOS 134344 HAS SOPS 134344 HAS SOUS 48017 HAS SOUPS 48017 WITH SCORE 48151.344
AT ITER 8534 NEW BEST:: SOT 496667 SOS 134324 HAS SOPS 134324 HAS SOUS 48007 HAS SOUPS 48007 WITH SCORE 48141.324
AT ITER 8540 NEW BEST:: SOT 496639 SOS 134184 HAS SOPS 134184 HAS SOUS 47993 HAS SOUPS 47993 WITH SCORE 48127.184
AT ITER 8544 NEW BEST:: SOT 496638 SOS 134176 HAS SOPS 134176 HAS SOUS 47993 HAS SOUPS 47993 WITH SCORE 48127.176
AT ITER 8634 NEW BEST:: SOT 496630 SOS 134160 HAS SOPS 134160 HAS SOUS 47985 HAS SOUPS 47985 WITH SCORE 48119.16
AT ITER 8652 NEW BEST:: SOT 496536 SOS 133595 HAS SOPS 133595 HAS SOUS 47973 HAS SOUPS 47973 WITH SCORE 48106.595
AT ITER 8667 NEW BEST:: SOT 496543 SOS 133443 HAS SOPS 133443 HAS SOUS 47950 HAS SOUPS 47950 WITH SCORE 48083.443
AT ITER 8708 NEW BEST:: SOT 496543 SOS 133438 HAS SOPS 133438 HAS SOUS 47945 HAS SOUPS 47945 WITH SCORE 48078.438
AT ITER 8742 NEW BEST:: SOT 496543 SOS 133438 HAS SOPS 133438 HAS SOUS 47907 HAS SOUPS 47907 WITH SCORE 48040.438
AT ITER 8790 NEW BEST:: SOT 496417 SOS 133312 HAS SOPS 133312 HAS SOUS 47781 HAS SOUPS 47781 WITH SCORE 47914.312
AT ITER 8843 NEW BEST:: SOT 496382 SOS 133290 HAS SOPS 133290 HAS SOUS 47752 HAS SOUPS 47752 WITH SCORE 47885.29
AT ITER 8960 NEW BEST:: SOT 496218 SOS 132397 HAS SOPS 132397 HAS SOUS 47709 HAS SOUPS 47709 WITH SCORE 47841.397
AT ITER 8965 NEW BEST:: SOT 496210 SOS 132383 HAS SOPS 132383 HAS SOUS 47697 HAS SOUPS 47697 WITH SCORE 47829.383
AT ITER 8978 NEW BEST:: SOT 496210 SOS 132383 HAS SOPS 132383 HAS SOUS 47573 HAS SOUPS 47573 WITH SCORE 47705.383
AT ITER 9009 NEW BEST:: SOT 496202 SOS 132402 HAS SOPS 132402 HAS SOUS 47554 HAS SOUPS 47554 WITH SCORE 47686.402
AT ITER 9010 NEW BEST:: SOT 496190 SOS 132374 HAS SOPS 132374 HAS SOUS 47545 HAS SOUPS 47545 WITH SCORE 47677.374
AT ITER 9020 NEW BEST:: SOT 496149 SOS 132292 HAS SOPS 132292 HAS SOUS 47504 HAS SOUPS 47504 WITH SCORE 47636.292
AT ITER 9038 NEW BEST:: SOT 496120 SOS 132066 HAS SOPS 132066 HAS SOUS 47501 HAS SOUPS 47501 WITH SCORE 47633.066
AT ITER 9059 NEW BEST:: SOT 496097 SOS 132014 HAS SOPS 132014 HAS SOUS 47472 HAS SOUPS 47472 WITH SCORE 47604.014
AT ITER 9113 NEW BEST:: SOT 496008 SOS 131566 HAS SOPS 131566 HAS SOUS 47388 HAS SOUPS 47388 WITH SCORE 47519.566
AT ITER 9120 NEW BEST:: SOT 496008 SOS 131566 HAS SOPS 131566 HAS SOUS 47380 HAS SOUPS 47380 WITH SCORE 47511.566
AT ITER 9137 NEW BEST:: SOT 496008 SOS 131566 HAS SOPS 131566 HAS SOUS 47276 HAS SOUPS 47276 WITH SCORE 47407.566
AT ITER 9168 NEW BEST:: SOT 496008 SOS 131566 HAS SOPS 131566 HAS SOUS 47240 HAS SOUPS 47240 WITH SCORE 47371.566
AT ITER 9171 NEW BEST:: SOT 496008 SOS 131566 HAS SOPS 131566 HAS SOUS 47236 HAS SOUPS 47236 WITH SCORE 47367.566
AT ITER 9175 NEW BEST:: SOT 495960 SOS 131182 HAS SOPS 131182 HAS SOUS 47216 HAS SOUPS 47216 WITH SCORE 47347.182
AT ITER 9195 NEW BEST:: SOT 495957 SOS 131176 HAS SOPS 131176 HAS SOUS 47213 HAS SOUPS 47213 WITH SCORE 47344.176
AT ITER 9225 NEW BEST:: SOT 495957 SOS 131176 HAS SOPS 131176 HAS SOUS 47183 HAS SOUPS 47183 WITH SCORE 47314.176
AT ITER 9266 NEW BEST:: SOT 495957 SOS 131176 HAS SOPS 131176 HAS SOUS 47181 HAS SOUPS 47181 WITH SCORE 47312.176
AT ITER 9327 NEW BEST:: SOT 495753 SOS 130120 HAS SOPS 130120 HAS SOUS 47083 HAS SOUPS 47083 WITH SCORE 47213.12
AT ITER 9369 NEW BEST:: SOT 495725 SOS 130032 HAS SOPS 130032 HAS SOUS 47023 HAS SOUPS 47023 WITH SCORE 47153.032
AT ITER 9408 NEW BEST:: SOT 495720 SOS 130022 HAS SOPS 130022 HAS SOUS 47018 HAS SOUPS 47018 WITH SCORE 47148.022
AT ITER 9409 NEW BEST:: SOT 495658 SOS 129867 HAS SOPS 129867 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47085.867
AT ITER 9421 NEW BEST:: SOT 495626 SOS 129707 HAS SOPS 129707 HAS SOUS 46940 HAS SOUPS 46940 WITH SCORE 47069.707
AT ITER 9437 NEW BEST:: SOT 495615 SOS 129640 HAS SOPS 129640 HAS SOUS 46793 HAS SOUPS 46793 WITH SCORE 46922.64
AT ITER 9553 NEW BEST:: SOT 495613 SOS 129624 HAS SOPS 129624 HAS SOUS 46787 HAS SOUPS 46787 WITH SCORE 46916.624
AT ITER 9594 NEW BEST:: SOT 495613 SOS 129608 HAS SOPS 129608 HAS SOUS 46779 HAS SOUPS 46779 WITH SCORE 46908.608
AT ITER 9597 NEW BEST:: SOT 495579 SOS 129523 HAS SOPS 129523 HAS SOUS 46745 HAS SOUPS 46745 WITH SCORE 46874.523
AT ITER 9637 NEW BEST:: SOT 495579 SOS 129521 HAS SOPS 129521 HAS SOUS 46739 HAS SOUPS 46739 WITH SCORE 46868.521
AT ITER 9659 NEW BEST:: SOT 495570 SOS 129455 HAS SOPS 129455 HAS SOUS 46738 HAS SOUPS 46738 WITH SCORE 46867.455
AT ITER 9665 NEW BEST:: SOT 495570 SOS 129455 HAS SOPS 129455 HAS SOUS 46728 HAS SOUPS 46728 WITH SCORE 46857.455
AT ITER 9728 NEW BEST:: SOT 495554 SOS 129375 HAS SOPS 129375 HAS SOUS 46720 HAS SOUPS 46720 WITH SCORE 46849.375
AT ITER 9735 NEW BEST:: SOT 495552 SOS 129371 HAS SOPS 129371 HAS SOUS 46718 HAS SOUPS 46718 WITH SCORE 46847.371
AT ITER 9808 NEW BEST:: SOT 495467 SOS 129213 HAS SOPS 129213 HAS SOUS 46690 HAS SOUPS 46690 WITH SCORE 46819.213
AT ITER 9855 NEW BEST:: SOT 495462 SOS 129211 HAS SOPS 129211 HAS SOUS 46683 HAS SOUPS 46683 WITH SCORE 46812.211
AT ITER 9864 NEW BEST:: SOT 495390 SOS 128996 HAS SOPS 128996 HAS SOUS 46562 HAS SOUPS 46562 WITH SCORE 46690.996
AT ITER 9871 NEW BEST:: SOT 495320 SOS 128646 HAS SOPS 128646 HAS SOUS 46527 HAS SOUPS 46527 WITH SCORE 46655.646
AT ITER 9898 NEW BEST:: SOT 495303 SOS 128602 HAS SOPS 128602 HAS SOUS 46500 HAS SOUPS 46500 WITH SCORE 46628.602
AT ITER 9932 NEW BEST:: SOT 495199 SOS 128082 HAS SOPS 128082 HAS SOUS 46446 HAS SOUPS 46446 WITH SCORE 46574.082

BK_STOP 1590477483251

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"

# 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 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 r224-oct2-159033539000560"
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 ;