Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 20K Apr 12 06:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Apr 12 06:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 246K Apr 11 07:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 701K Apr 11 07:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 743K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.0M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Apr 10 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 58K Apr 10 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 43K Apr 9 19:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 138K Apr 9 19:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.3K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 18M Mar 24 05:37 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 1589649616100

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J40
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 854 places, 12340 transitions, 113999 arcs.
AT ITER 0 NEW BEST:: SOT 6007837 SOS 2750241 HAS SOPS 2750241 HAS SOUS 576352 HAS SOUPS 576352 WITH SCORE 579102.241
AT ITER 7 NEW BEST:: SOT 6007706 SOS 2749988 HAS SOPS 2749988 HAS SOUS 575001 HAS SOUPS 575001 WITH SCORE 577750.988
AT ITER 21 NEW BEST:: SOT 6007647 SOS 2750005 HAS SOPS 2750005 HAS SOUS 574986 HAS SOUPS 574986 WITH SCORE 577736.005
AT ITER 33 NEW BEST:: SOT 6007567 SOS 2749803 HAS SOPS 2749803 HAS SOUS 573686 HAS SOUPS 573686 WITH SCORE 576435.803
AT ITER 37 NEW BEST:: SOT 6007513 SOS 2749782 HAS SOPS 2749782 HAS SOUS 573632 HAS SOUPS 573632 WITH SCORE 576381.782
AT ITER 41 NEW BEST:: SOT 6007334 SOS 2749603 HAS SOPS 2749603 HAS SOUS 573453 HAS SOUPS 573453 WITH SCORE 576202.603
AT ITER 51 NEW BEST:: SOT 6007334 SOS 2749603 HAS SOPS 2749603 HAS SOUS 573228 HAS SOUPS 573228 WITH SCORE 575977.603
AT ITER 64 NEW BEST:: SOT 6007142 SOS 2749411 HAS SOPS 2749411 HAS SOUS 573036 HAS SOUPS 573036 WITH SCORE 575785.411
AT ITER 65 NEW BEST:: SOT 6006715 SOS 2750473 HAS SOPS 2750473 HAS SOUS 572740 HAS SOUPS 572740 WITH SCORE 575490.473
AT ITER 74 NEW BEST:: SOT 6006715 SOS 2750473 HAS SOPS 2750473 HAS SOUS 572540 HAS SOUPS 572540 WITH SCORE 575290.473
AT ITER 80 NEW BEST:: SOT 6006624 SOS 2750270 HAS SOPS 2750270 HAS SOUS 571329 HAS SOUPS 571329 WITH SCORE 574079.27
AT ITER 84 NEW BEST:: SOT 5938556 SOS 2682481 HAS SOPS 2682481 HAS SOUS 503540 HAS SOUPS 503540 WITH SCORE 506222.481
AT ITER 91 NEW BEST:: SOT 5938469 SOS 2682272 HAS SOPS 2682272 HAS SOUS 502233 HAS SOUPS 502233 WITH SCORE 504915.272
AT ITER 100 NEW BEST:: SOT 5938421 SOS 2682283 HAS SOPS 2682283 HAS SOUS 502214 HAS SOUPS 502214 WITH SCORE 504896.283
AT ITER 103 NEW BEST:: SOT 5938936 SOS 2682676 HAS SOPS 2682676 HAS SOUS 501519 HAS SOUPS 501519 WITH SCORE 504201.676
AT ITER 132 NEW BEST:: SOT 5938761 SOS 2682501 HAS SOPS 2682501 HAS SOUS 501344 HAS SOUPS 501344 WITH SCORE 504026.501
AT ITER 144 NEW BEST:: SOT 5938733 SOS 2682511 HAS SOPS 2682511 HAS SOUS 501334 HAS SOUPS 501334 WITH SCORE 504016.511
AT ITER 162 NEW BEST:: SOT 5938733 SOS 2682511 HAS SOPS 2682511 HAS SOUS 501205 HAS SOUPS 501205 WITH SCORE 503887.511
AT ITER 164 NEW BEST:: SOT 5938733 SOS 2682511 HAS SOPS 2682511 HAS SOUS 501150 HAS SOUPS 501150 WITH SCORE 503832.511
AT ITER 166 NEW BEST:: SOT 5938457 SOS 2682235 HAS SOPS 2682235 HAS SOUS 500874 HAS SOUPS 500874 WITH SCORE 503556.235
AT ITER 196 NEW BEST:: SOT 5938868 SOS 2682546 HAS SOPS 2682546 HAS SOUS 500285 HAS SOUPS 500285 WITH SCORE 502967.546
AT ITER 207 NEW BEST:: SOT 5938858 SOS 2682536 HAS SOPS 2682536 HAS SOUS 500275 HAS SOUPS 500275 WITH SCORE 502957.536
AT ITER 212 NEW BEST:: SOT 5939110 SOS 2682728 HAS SOPS 2682728 HAS SOUS 499927 HAS SOUPS 499927 WITH SCORE 502609.728
AT ITER 217 NEW BEST:: SOT 5939860 SOS 2683356 HAS SOPS 2683356 HAS SOUS 499747 HAS SOUPS 499747 WITH SCORE 502430.356
AT ITER 235 NEW BEST:: SOT 5939736 SOS 2683110 HAS SOPS 2683110 HAS SOUS 498403 HAS SOUPS 498403 WITH SCORE 501086.11
AT ITER 239 NEW BEST:: SOT 5939736 SOS 2683110 HAS SOPS 2683110 HAS SOUS 498125 HAS SOUPS 498125 WITH SCORE 500808.11
AT ITER 243 NEW BEST:: SOT 5939718 SOS 2683092 HAS SOPS 2683092 HAS SOUS 498107 HAS SOUPS 498107 WITH SCORE 500790.092
AT ITER 250 NEW BEST:: SOT 5939718 SOS 2683030 HAS SOPS 2683030 HAS SOUS 497487 HAS SOUPS 497487 WITH SCORE 500170.03
AT ITER 259 NEW BEST:: SOT 5939648 SOS 2682960 HAS SOPS 2682960 HAS SOUS 497417 HAS SOUPS 497417 WITH SCORE 500099.96
AT ITER 260 NEW BEST:: SOT 5939466 SOS 2682778 HAS SOPS 2682778 HAS SOUS 497235 HAS SOUPS 497235 WITH SCORE 499917.778
AT ITER 265 NEW BEST:: SOT 5939320 SOS 2682510 HAS SOPS 2682510 HAS SOUS 495869 HAS SOUPS 495869 WITH SCORE 498551.51
AT ITER 293 NEW BEST:: SOT 5939320 SOS 2682492 HAS SOPS 2682492 HAS SOUS 495851 HAS SOUPS 495851 WITH SCORE 498533.492
AT ITER 304 NEW BEST:: SOT 5939304 SOS 2682476 HAS SOPS 2682476 HAS SOUS 495835 HAS SOUPS 495835 WITH SCORE 498517.476
AT ITER 309 NEW BEST:: SOT 5939487 SOS 2682509 HAS SOPS 2682509 HAS SOUS 494518 HAS SOUPS 494518 WITH SCORE 497200.509
AT ITER 313 NEW BEST:: SOT 5939408 SOS 2682430 HAS SOPS 2682430 HAS SOUS 494439 HAS SOUPS 494439 WITH SCORE 497121.43
AT ITER 314 NEW BEST:: SOT 5939313 SOS 2682335 HAS SOPS 2682335 HAS SOUS 494344 HAS SOUPS 494344 WITH SCORE 497026.335
AT ITER 326 NEW BEST:: SOT 5939236 SOS 2682258 HAS SOPS 2682258 HAS SOUS 494267 HAS SOUPS 494267 WITH SCORE 496949.258
AT ITER 329 NEW BEST:: SOT 5929781 SOS 2673007 HAS SOPS 2673007 HAS SOUS 483447 HAS SOUPS 483447 WITH SCORE 486120.007
AT ITER 337 NEW BEST:: SOT 5929145 SOS 2672371 HAS SOPS 2672371 HAS SOUS 482811 HAS SOUPS 482811 WITH SCORE 485483.371
AT ITER 338 NEW BEST:: SOT 5929008 SOS 2672224 HAS SOPS 2672224 HAS SOUS 482574 HAS SOUPS 482574 WITH SCORE 485246.224
AT ITER 340 NEW BEST:: SOT 5929386 SOS 2672480 HAS SOPS 2672480 HAS SOUS 481854 HAS SOUPS 481854 WITH SCORE 484526.48
AT ITER 343 NEW BEST:: SOT 5929360 SOS 2672454 HAS SOPS 2672454 HAS SOUS 481828 HAS SOUPS 481828 WITH SCORE 484500.454
AT ITER 347 NEW BEST:: SOT 5929360 SOS 2672418 HAS SOPS 2672418 HAS SOUS 481474 HAS SOUPS 481474 WITH SCORE 484146.418
AT ITER 351 NEW BEST:: SOT 5929338 SOS 2672396 HAS SOPS 2672396 HAS SOUS 481452 HAS SOUPS 481452 WITH SCORE 484124.396
AT ITER 353 NEW BEST:: SOT 5928976 SOS 2671752 HAS SOPS 2671752 HAS SOUS 478270 HAS SOUPS 478270 WITH SCORE 480941.752
AT ITER 354 NEW BEST:: SOT 5928888 SOS 2671664 HAS SOPS 2671664 HAS SOUS 478182 HAS SOUPS 478182 WITH SCORE 480853.664
AT ITER 363 NEW BEST:: SOT 5928884 SOS 2671660 HAS SOPS 2671660 HAS SOUS 478178 HAS SOUPS 478178 WITH SCORE 480849.66
AT ITER 364 NEW BEST:: SOT 5928879 SOS 2671655 HAS SOPS 2671655 HAS SOUS 478173 HAS SOUPS 478173 WITH SCORE 480844.655
AT ITER 376 NEW BEST:: SOT 5928879 SOS 2671655 HAS SOPS 2671655 HAS SOUS 477937 HAS SOUPS 477937 WITH SCORE 480608.655
AT ITER 380 NEW BEST:: SOT 5928239 SOS 2671015 HAS SOPS 2671015 HAS SOUS 477297 HAS SOUPS 477297 WITH SCORE 479968.015
AT ITER 390 NEW BEST:: SOT 5928001 SOS 2670777 HAS SOPS 2670777 HAS SOUS 477059 HAS SOUPS 477059 WITH SCORE 479729.777
AT ITER 391 NEW BEST:: SOT 5927995 SOS 2670771 HAS SOPS 2670771 HAS SOUS 477053 HAS SOUPS 477053 WITH SCORE 479723.771
AT ITER 395 NEW BEST:: SOT 5927990 SOS 2670766 HAS SOPS 2670766 HAS SOUS 477048 HAS SOUPS 477048 WITH SCORE 479718.766
AT ITER 399 NEW BEST:: SOT 5927633 SOS 2670409 HAS SOPS 2670409 HAS SOUS 476691 HAS SOUPS 476691 WITH SCORE 479361.409
AT ITER 407 NEW BEST:: SOT 5927039 SOS 2669815 HAS SOPS 2669815 HAS SOUS 476097 HAS SOUPS 476097 WITH SCORE 478766.815
AT ITER 414 NEW BEST:: SOT 5927003 SOS 2669779 HAS SOPS 2669779 HAS SOUS 476061 HAS SOUPS 476061 WITH SCORE 478730.779
AT ITER 421 NEW BEST:: SOT 5928039 SOS 2670776 HAS SOPS 2670776 HAS SOUS 475647 HAS SOUPS 475647 WITH SCORE 478317.776
AT ITER 426 NEW BEST:: SOT 5927781 SOS 2670518 HAS SOPS 2670518 HAS SOUS 475389 HAS SOUPS 475389 WITH SCORE 478059.518
AT ITER 437 NEW BEST:: SOT 5927687 SOS 2670424 HAS SOPS 2670424 HAS SOUS 475295 HAS SOUPS 475295 WITH SCORE 477965.424
AT ITER 461 NEW BEST:: SOT 5927792 SOS 2670620 HAS SOPS 2670620 HAS SOUS 475251 HAS SOUPS 475251 WITH SCORE 477921.62
AT ITER 491 NEW BEST:: SOT 5928105 SOS 2670811 HAS SOPS 2670811 HAS SOUS 474600 HAS SOUPS 474600 WITH SCORE 477270.811
AT ITER 494 NEW BEST:: SOT 5928113 SOS 2671083 HAS SOPS 2671083 HAS SOUS 474496 HAS SOUPS 474496 WITH SCORE 477167.083
AT ITER 499 NEW BEST:: SOT 5928091 SOS 2671061 HAS SOPS 2671061 HAS SOUS 474474 HAS SOUPS 474474 WITH SCORE 477145.061
AT ITER 504 NEW BEST:: SOT 5927939 SOS 2670757 HAS SOPS 2670757 HAS SOUS 472802 HAS SOUPS 472802 WITH SCORE 475472.757
AT ITER 506 NEW BEST:: SOT 5927800 SOS 2670618 HAS SOPS 2670618 HAS SOUS 472413 HAS SOUPS 472413 WITH SCORE 475083.618
AT ITER 507 NEW BEST:: SOT 5927757 SOS 2670575 HAS SOPS 2670575 HAS SOUS 472370 HAS SOUPS 472370 WITH SCORE 475040.575
AT ITER 513 NEW BEST:: SOT 5927753 SOS 2670571 HAS SOPS 2670571 HAS SOUS 472366 HAS SOUPS 472366 WITH SCORE 475036.571
AT ITER 520 NEW BEST:: SOT 5927671 SOS 2670367 HAS SOPS 2670367 HAS SOUS 471064 HAS SOUPS 471064 WITH SCORE 473734.367
AT ITER 532 NEW BEST:: SOT 5927633 SOS 2670329 HAS SOPS 2670329 HAS SOUS 471026 HAS SOUPS 471026 WITH SCORE 473696.329
AT ITER 544 NEW BEST:: SOT 5927616 SOS 2670312 HAS SOPS 2670312 HAS SOUS 469469 HAS SOUPS 469469 WITH SCORE 472139.312
AT ITER 549 NEW BEST:: SOT 5927616 SOS 2670312 HAS SOPS 2670312 HAS SOUS 469318 HAS SOUPS 469318 WITH SCORE 471988.312
AT ITER 558 NEW BEST:: SOT 5927995 SOS 2670669 HAS SOPS 2670669 HAS SOUS 468097 HAS SOUPS 468097 WITH SCORE 470767.669
AT ITER 563 NEW BEST:: SOT 5927812 SOS 2670446 HAS SOPS 2670446 HAS SOUS 465304 HAS SOUPS 465304 WITH SCORE 467974.446
AT ITER 567 NEW BEST:: SOT 5927784 SOS 2670418 HAS SOPS 2670418 HAS SOUS 465276 HAS SOUPS 465276 WITH SCORE 467946.418
AT ITER 571 NEW BEST:: SOT 5927660 SOS 2670294 HAS SOPS 2670294 HAS SOUS 465152 HAS SOUPS 465152 WITH SCORE 467822.294
AT ITER 577 NEW BEST:: SOT 5927458 SOS 2670092 HAS SOPS 2670092 HAS SOUS 464950 HAS SOUPS 464950 WITH SCORE 467620.092
AT ITER 581 NEW BEST:: SOT 5927469 SOS 2669859 HAS SOPS 2669859 HAS SOUS 464801 HAS SOUPS 464801 WITH SCORE 467470.859
AT ITER 582 NEW BEST:: SOT 5927443 SOS 2669781 HAS SOPS 2669781 HAS SOUS 464255 HAS SOUPS 464255 WITH SCORE 466924.781
AT ITER 586 NEW BEST:: SOT 5926803 SOS 2669141 HAS SOPS 2669141 HAS SOUS 463615 HAS SOUPS 463615 WITH SCORE 466284.141
AT ITER 595 NEW BEST:: SOT 5926767 SOS 2669119 HAS SOPS 2669119 HAS SOUS 463511 HAS SOUPS 463511 WITH SCORE 466180.119
AT ITER 603 NEW BEST:: SOT 5926761 SOS 2669113 HAS SOPS 2669113 HAS SOUS 463505 HAS SOUPS 463505 WITH SCORE 466174.113
AT ITER 606 NEW BEST:: SOT 5926625 SOS 2668977 HAS SOPS 2668977 HAS SOUS 463369 HAS SOUPS 463369 WITH SCORE 466037.977
AT ITER 612 NEW BEST:: SOT 5926623 SOS 2668973 HAS SOPS 2668973 HAS SOUS 463347 HAS SOUPS 463347 WITH SCORE 466015.973
AT ITER 613 NEW BEST:: SOT 5926631 SOS 2669281 HAS SOPS 2669281 HAS SOUS 463172 HAS SOUPS 463172 WITH SCORE 465841.281
AT ITER 614 NEW BEST:: SOT 5926560 SOS 2669210 HAS SOPS 2669210 HAS SOUS 463101 HAS SOUPS 463101 WITH SCORE 465770.21
AT ITER 619 NEW BEST:: SOT 5926506 SOS 2669156 HAS SOPS 2669156 HAS SOUS 463047 HAS SOUPS 463047 WITH SCORE 465716.156
AT ITER 621 NEW BEST:: SOT 5926436 SOS 2669222 HAS SOPS 2669222 HAS SOUS 463037 HAS SOUPS 463037 WITH SCORE 465706.222
AT ITER 636 NEW BEST:: SOT 5926415 SOS 2669201 HAS SOPS 2669201 HAS SOUS 463016 HAS SOUPS 463016 WITH SCORE 465685.201
AT ITER 639 NEW BEST:: SOT 5926358 SOS 2669144 HAS SOPS 2669144 HAS SOUS 462959 HAS SOUPS 462959 WITH SCORE 465628.144
AT ITER 640 NEW BEST:: SOT 5926222 SOS 2669008 HAS SOPS 2669008 HAS SOUS 462823 HAS SOUPS 462823 WITH SCORE 465492.008
AT ITER 647 NEW BEST:: SOT 5926192 SOS 2668978 HAS SOPS 2668978 HAS SOUS 462793 HAS SOUPS 462793 WITH SCORE 465461.978
AT ITER 667 NEW BEST:: SOT 5925895 SOS 2668611 HAS SOPS 2668611 HAS SOUS 461796 HAS SOUPS 461796 WITH SCORE 464464.611
AT ITER 676 NEW BEST:: SOT 5925802 SOS 2668518 HAS SOPS 2668518 HAS SOUS 461703 HAS SOUPS 461703 WITH SCORE 464371.518
AT ITER 683 NEW BEST:: SOT 5925802 SOS 2668430 HAS SOPS 2668430 HAS SOUS 460823 HAS SOUPS 460823 WITH SCORE 463491.43
AT ITER 689 NEW BEST:: SOT 5925771 SOS 2668399 HAS SOPS 2668399 HAS SOUS 460792 HAS SOUPS 460792 WITH SCORE 463460.399
AT ITER 705 NEW BEST:: SOT 5927011 SOS 2669501 HAS SOPS 2669501 HAS SOUS 460662 HAS SOUPS 460662 WITH SCORE 463331.501
AT ITER 729 NEW BEST:: SOT 3844199 SOS 1251448 HAS SOPS 1251448 HAS SOUS 298519 HAS SOUPS 298519 WITH SCORE 299770.448
AT ITER 737 NEW BEST:: SOT 3844061 SOS 1251310 HAS SOPS 1251310 HAS SOUS 298381 HAS SOUPS 298381 WITH SCORE 299632.31
AT ITER 753 NEW BEST:: SOT 3844019 SOS 1251268 HAS SOPS 1251268 HAS SOUS 298339 HAS SOUPS 298339 WITH SCORE 299590.268
AT ITER 760 NEW BEST:: SOT 3843914 SOS 1251243 HAS SOPS 1251243 HAS SOUS 298289 HAS SOUPS 298289 WITH SCORE 299540.243
AT ITER 765 NEW BEST:: SOT 3843865 SOS 1251194 HAS SOPS 1251194 HAS SOUS 297454 HAS SOUPS 297454 WITH SCORE 298705.194
AT ITER 773 NEW BEST:: SOT 3843871 SOS 1251206 HAS SOPS 1251206 HAS SOUS 297333 HAS SOUPS 297333 WITH SCORE 298584.206
AT ITER 780 NEW BEST:: SOT 3843826 SOS 1251207 HAS SOPS 1251207 HAS SOUS 297323 HAS SOUPS 297323 WITH SCORE 298574.207
AT ITER 784 NEW BEST:: SOT 3843834 SOS 1251178 HAS SOPS 1251178 HAS SOUS 296132 HAS SOUPS 296132 WITH SCORE 297383.178
AT ITER 789 NEW BEST:: SOT 3843825 SOS 1251146 HAS SOPS 1251146 HAS SOUS 295349 HAS SOUPS 295349 WITH SCORE 296600.146
AT ITER 805 NEW BEST:: SOT 3843527 SOS 1250848 HAS SOPS 1250848 HAS SOUS 292431 HAS SOUPS 292431 WITH SCORE 293681.848
AT ITER 813 NEW BEST:: SOT 3843471 SOS 1250792 HAS SOPS 1250792 HAS SOUS 292373 HAS SOUPS 292373 WITH SCORE 293623.792
AT ITER 830 NEW BEST:: SOT 3843471 SOS 1250935 HAS SOPS 1250935 HAS SOUS 290681 HAS SOUPS 290681 WITH SCORE 291931.935
AT ITER 834 NEW BEST:: SOT 3843366 SOS 1250789 HAS SOPS 1250789 HAS SOUS 289402 HAS SOUPS 289402 WITH SCORE 290652.789
AT ITER 841 NEW BEST:: SOT 3843032 SOS 1250455 HAS SOPS 1250455 HAS SOUS 289068 HAS SOUPS 289068 WITH SCORE 290318.455
AT ITER 842 NEW BEST:: SOT 3843045 SOS 1250165 HAS SOPS 1250165 HAS SOUS 288862 HAS SOUPS 288862 WITH SCORE 290112.165
AT ITER 848 NEW BEST:: SOT 3843001 SOS 1250121 HAS SOPS 1250121 HAS SOUS 288818 HAS SOUPS 288818 WITH SCORE 290068.121
AT ITER 849 NEW BEST:: SOT 3842946 SOS 888261 HAS SOPS 888261 HAS SOUS 288353 HAS SOUPS 288353 WITH SCORE 289241.261
AT ITER 867 NEW BEST:: SOT 3843059 SOS 888333 HAS SOPS 888333 HAS SOUS 287285 HAS SOUPS 287285 WITH SCORE 288173.333
AT ITER 869 NEW BEST:: SOT 3843702 SOS 888976 HAS SOPS 888976 HAS SOUS 287052 HAS SOUPS 287052 WITH SCORE 287940.976
AT ITER 877 NEW BEST:: SOT 3843660 SOS 888934 HAS SOPS 888934 HAS SOUS 286190 HAS SOUPS 286190 WITH SCORE 287078.934
AT ITER 884 NEW BEST:: SOT 3843747 SOS 888996 HAS SOPS 888996 HAS SOUS 282951 HAS SOUPS 282951 WITH SCORE 283839.996
AT ITER 891 NEW BEST:: SOT 3843747 SOS 888982 HAS SOPS 888982 HAS SOUS 282730 HAS SOUPS 282730 WITH SCORE 283618.982
AT ITER 894 NEW BEST:: SOT 3843713 SOS 888948 HAS SOPS 888948 HAS SOUS 282696 HAS SOUPS 282696 WITH SCORE 283584.948
AT ITER 896 NEW BEST:: SOT 3843624 SOS 888818 HAS SOPS 888818 HAS SOUS 282277 HAS SOUPS 282277 WITH SCORE 283165.818
AT ITER 901 NEW BEST:: SOT 3843620 SOS 888814 HAS SOPS 888814 HAS SOUS 282273 HAS SOUPS 282273 WITH SCORE 283161.814
AT ITER 909 NEW BEST:: SOT 3843556 SOS 888680 HAS SOPS 888680 HAS SOUS 279579 HAS SOUPS 279579 WITH SCORE 280467.68
AT ITER 921 NEW BEST:: SOT 3843555 SOS 888679 HAS SOPS 888679 HAS SOUS 279578 HAS SOUPS 279578 WITH SCORE 280466.679
AT ITER 924 NEW BEST:: SOT 3843459 SOS 888583 HAS SOPS 888583 HAS SOUS 279482 HAS SOUPS 279482 WITH SCORE 280370.583
AT ITER 926 NEW BEST:: SOT 3843546 SOS 888643 HAS SOPS 888643 HAS SOUS 278332 HAS SOUPS 278332 WITH SCORE 279220.643
AT ITER 928 NEW BEST:: SOT 3843546 SOS 888630 HAS SOPS 888630 HAS SOUS 278319 HAS SOUPS 278319 WITH SCORE 279207.63
AT ITER 932 NEW BEST:: SOT 3843539 SOS 888623 HAS SOPS 888623 HAS SOUS 278312 HAS SOUPS 278312 WITH SCORE 279200.623
AT ITER 933 NEW BEST:: SOT 3843478 SOS 888562 HAS SOPS 888562 HAS SOUS 277034 HAS SOUPS 277034 WITH SCORE 277922.562
AT ITER 943 NEW BEST:: SOT 3843485 SOS 888335 HAS SOPS 888335 HAS SOUS 276877 HAS SOUPS 276877 WITH SCORE 277765.335
AT ITER 957 NEW BEST:: SOT 3843485 SOS 888334 HAS SOPS 888334 HAS SOUS 276867 HAS SOUPS 276867 WITH SCORE 277755.334
AT ITER 967 NEW BEST:: SOT 3843485 SOS 888047 HAS SOPS 888047 HAS SOUS 276761 HAS SOUPS 276761 WITH SCORE 277649.047
AT ITER 969 NEW BEST:: SOT 3843427 SOS 887989 HAS SOPS 887989 HAS SOUS 276181 HAS SOUPS 276181 WITH SCORE 277068.989
AT ITER 971 NEW BEST:: SOT 3843420 SOS 887989 HAS SOPS 887989 HAS SOUS 276178 HAS SOUPS 276178 WITH SCORE 277065.989
AT ITER 980 NEW BEST:: SOT 3843326 SOS 887895 HAS SOPS 887895 HAS SOUS 276084 HAS SOUPS 276084 WITH SCORE 276971.895
AT ITER 981 NEW BEST:: SOT 3843140 SOS 887709 HAS SOPS 887709 HAS SOUS 275898 HAS SOUPS 275898 WITH SCORE 276785.709
AT ITER 985 NEW BEST:: SOT 3843084 SOS 887653 HAS SOPS 887653 HAS SOUS 275842 HAS SOUPS 275842 WITH SCORE 276729.653
AT ITER 986 NEW BEST:: SOT 3843058 SOS 887627 HAS SOPS 887627 HAS SOUS 275638 HAS SOUPS 275638 WITH SCORE 276525.627
AT ITER 990 NEW BEST:: SOT 3842405 SOS 886974 HAS SOPS 886974 HAS SOUS 274985 HAS SOUPS 274985 WITH SCORE 275871.974
AT ITER 998 NEW BEST:: SOT 3842387 SOS 886956 HAS SOPS 886956 HAS SOUS 274967 HAS SOUPS 274967 WITH SCORE 275853.956
AT ITER 1025 NEW BEST:: SOT 3842387 SOS 886956 HAS SOPS 886956 HAS SOUS 274740 HAS SOUPS 274740 WITH SCORE 275626.956
AT ITER 1027 NEW BEST:: SOT 3841913 SOS 886482 HAS SOPS 886482 HAS SOUS 274266 HAS SOUPS 274266 WITH SCORE 275152.482
AT ITER 1029 NEW BEST:: SOT 3841878 SOS 886412 HAS SOPS 886412 HAS SOUS 273601 HAS SOUPS 273601 WITH SCORE 274487.412
AT ITER 1043 NEW BEST:: SOT 3841878 SOS 886284 HAS SOPS 886284 HAS SOUS 273331 HAS SOUPS 273331 WITH SCORE 274217.284
AT ITER 1044 NEW BEST:: SOT 3841854 SOS 886260 HAS SOPS 886260 HAS SOUS 273307 HAS SOUPS 273307 WITH SCORE 274193.26
AT ITER 1050 NEW BEST:: SOT 3841854 SOS 886260 HAS SOPS 886260 HAS SOUS 273212 HAS SOUPS 273212 WITH SCORE 274098.26
AT ITER 1055 NEW BEST:: SOT 3841744 SOS 886219 HAS SOPS 886219 HAS SOUS 272992 HAS SOUPS 272992 WITH SCORE 273878.219
AT ITER 1056 NEW BEST:: SOT 3841429 SOS 885904 HAS SOPS 885904 HAS SOUS 272677 HAS SOUPS 272677 WITH SCORE 273562.904
AT ITER 1059 NEW BEST:: SOT 3841284 SOS 885759 HAS SOPS 885759 HAS SOUS 272276 HAS SOUPS 272276 WITH SCORE 273161.759
AT ITER 1060 NEW BEST:: SOT 3841246 SOS 885721 HAS SOPS 885721 HAS SOUS 272238 HAS SOUPS 272238 WITH SCORE 273123.721
AT ITER 1069 NEW BEST:: SOT 3841093 SOS 885568 HAS SOPS 885568 HAS SOUS 271917 HAS SOUPS 271917 WITH SCORE 272802.568
AT ITER 1084 NEW BEST:: SOT 3841174 SOS 885649 HAS SOPS 885649 HAS SOUS 271822 HAS SOUPS 271822 WITH SCORE 272707.649
AT ITER 1089 NEW BEST:: SOT 3841184 SOS 885659 HAS SOPS 885659 HAS SOUS 271793 HAS SOUPS 271793 WITH SCORE 272678.659
AT ITER 1094 NEW BEST:: SOT 3841588 SOS 886057 HAS SOPS 886057 HAS SOUS 271460 HAS SOUPS 271460 WITH SCORE 272346.057
AT ITER 1105 NEW BEST:: SOT 3841388 SOS 885857 HAS SOPS 885857 HAS SOUS 271260 HAS SOUPS 271260 WITH SCORE 272145.857
AT ITER 1120 NEW BEST:: SOT 3841309 SOS 885778 HAS SOPS 885778 HAS SOUS 271135 HAS SOUPS 271135 WITH SCORE 272020.778
AT ITER 1123 NEW BEST:: SOT 3841243 SOS 885712 HAS SOPS 885712 HAS SOUS 271069 HAS SOUPS 271069 WITH SCORE 271954.712
AT ITER 1125 NEW BEST:: SOT 3841301 SOS 885770 HAS SOPS 885770 HAS SOUS 271025 HAS SOUPS 271025 WITH SCORE 271910.77
AT ITER 1129 NEW BEST:: SOT 3841296 SOS 885773 HAS SOPS 885773 HAS SOUS 271010 HAS SOUPS 271010 WITH SCORE 271895.773
AT ITER 1138 NEW BEST:: SOT 3841254 SOS 885731 HAS SOPS 885731 HAS SOUS 270968 HAS SOUPS 270968 WITH SCORE 271853.731
AT ITER 1147 NEW BEST:: SOT 3841254 SOS 885891 HAS SOPS 885891 HAS SOUS 270888 HAS SOUPS 270888 WITH SCORE 271773.891
AT ITER 1155 NEW BEST:: SOT 3841241 SOS 885793 HAS SOPS 885793 HAS SOUS 268787 HAS SOUPS 268787 WITH SCORE 269672.793
AT ITER 1156 NEW BEST:: SOT 3841175 SOS 885727 HAS SOPS 885727 HAS SOUS 268721 HAS SOUPS 268721 WITH SCORE 269606.727
AT ITER 1164 NEW BEST:: SOT 3841120 SOS 885672 HAS SOPS 885672 HAS SOUS 268666 HAS SOUPS 268666 WITH SCORE 269551.672
AT ITER 1175 NEW BEST:: SOT 3841067 SOS 885614 HAS SOPS 885614 HAS SOUS 268535 HAS SOUPS 268535 WITH SCORE 269420.614
AT ITER 1180 NEW BEST:: SOT 3841067 SOS 885773 HAS SOPS 885773 HAS SOUS 268454 HAS SOUPS 268454 WITH SCORE 269339.773
AT ITER 1183 NEW BEST:: SOT 3840949 SOS 885632 HAS SOPS 885632 HAS SOUS 267394 HAS SOUPS 267394 WITH SCORE 268279.632
AT ITER 1188 NEW BEST:: SOT 3840937 SOS 885620 HAS SOPS 885620 HAS SOUS 267290 HAS SOUPS 267290 WITH SCORE 268175.62
AT ITER 1191 NEW BEST:: SOT 3840898 SOS 885425 HAS SOPS 885425 HAS SOUS 267290 HAS SOUPS 267290 WITH SCORE 268175.425
AT ITER 1192 NEW BEST:: SOT 3840897 SOS 885424 HAS SOPS 885424 HAS SOUS 267289 HAS SOUPS 267289 WITH SCORE 268174.424
AT ITER 1201 NEW BEST:: SOT 3840897 SOS 885469 HAS SOPS 885469 HAS SOUS 267224 HAS SOUPS 267224 WITH SCORE 268109.469
AT ITER 1202 NEW BEST:: SOT 3840897 SOS 885333 HAS SOPS 885333 HAS SOUS 267144 HAS SOUPS 267144 WITH SCORE 268029.333
AT ITER 1204 NEW BEST:: SOT 3840883 SOS 891244 HAS SOPS 891244 HAS SOUS 267107 HAS SOUPS 267107 WITH SCORE 267998.244
AT ITER 1205 NEW BEST:: SOT 3840674 SOS 891017 HAS SOPS 891017 HAS SOUS 266838 HAS SOUPS 266838 WITH SCORE 267729.017
AT ITER 1206 NEW BEST:: SOT 3840674 SOS 890970 HAS SOPS 890970 HAS SOUS 266791 HAS SOUPS 266791 WITH SCORE 267681.97
AT ITER 1235 NEW BEST:: SOT 3840674 SOS 890935 HAS SOPS 890935 HAS SOUS 266756 HAS SOUPS 266756 WITH SCORE 267646.935
AT ITER 1245 NEW BEST:: SOT 3840659 SOS 890920 HAS SOPS 890920 HAS SOUS 266741 HAS SOUPS 266741 WITH SCORE 267631.92
AT ITER 1251 NEW BEST:: SOT 3840489 SOS 890750 HAS SOPS 890750 HAS SOUS 266371 HAS SOUPS 266371 WITH SCORE 267261.75
AT ITER 1264 NEW BEST:: SOT 3840395 SOS 890646 HAS SOPS 890646 HAS SOUS 266290 HAS SOUPS 266290 WITH SCORE 267180.646
AT ITER 1277 NEW BEST:: SOT 3841474 SOS 891687 HAS SOPS 891687 HAS SOUS 265570 HAS SOUPS 265570 WITH SCORE 266461.687
AT ITER 1280 NEW BEST:: SOT 3841474 SOS 891687 HAS SOPS 891687 HAS SOUS 265504 HAS SOUPS 265504 WITH SCORE 266395.687
AT ITER 1287 NEW BEST:: SOT 3841451 SOS 891634 HAS SOPS 891634 HAS SOUS 265443 HAS SOUPS 265443 WITH SCORE 266334.634
AT ITER 1293 NEW BEST:: SOT 3841356 SOS 891539 HAS SOPS 891539 HAS SOUS 265218 HAS SOUPS 265218 WITH SCORE 266109.539
AT ITER 1295 NEW BEST:: SOT 3841331 SOS 891514 HAS SOPS 891514 HAS SOUS 265193 HAS SOUPS 265193 WITH SCORE 266084.514
AT ITER 1297 NEW BEST:: SOT 3841331 SOS 891453 HAS SOPS 891453 HAS SOUS 265193 HAS SOUPS 265193 WITH SCORE 266084.453
AT ITER 1303 NEW BEST:: SOT 3841529 SOS 891600 HAS SOPS 891600 HAS SOUS 263783 HAS SOUPS 263783 WITH SCORE 264674.6
AT ITER 1304 NEW BEST:: SOT 3841515 SOS 891586 HAS SOPS 891586 HAS SOUS 263769 HAS SOUPS 263769 WITH SCORE 264660.586
AT ITER 1311 NEW BEST:: SOT 3841217 SOS 891288 HAS SOPS 891288 HAS SOUS 263720 HAS SOUPS 263720 WITH SCORE 264611.288
AT ITER 1314 NEW BEST:: SOT 3841180 SOS 891251 HAS SOPS 891251 HAS SOUS 262753 HAS SOUPS 262753 WITH SCORE 263644.251
AT ITER 1315 NEW BEST:: SOT 3841150 SOS 891221 HAS SOPS 891221 HAS SOUS 262723 HAS SOUPS 262723 WITH SCORE 263614.221
AT ITER 1316 NEW BEST:: SOT 3842363 SOS 892393 HAS SOPS 892393 HAS SOUS 262209 HAS SOUPS 262209 WITH SCORE 263101.393
AT ITER 1324 NEW BEST:: SOT 3841897 SOS 891927 HAS SOPS 891927 HAS SOUS 261743 HAS SOUPS 261743 WITH SCORE 262634.927
AT ITER 1334 NEW BEST:: SOT 3842885 SOS 892915 HAS SOPS 892915 HAS SOUS 261719 HAS SOUPS 261719 WITH SCORE 262611.915
AT ITER 1336 NEW BEST:: SOT 3842781 SOS 892811 HAS SOPS 892811 HAS SOUS 260710 HAS SOUPS 260710 WITH SCORE 261602.811
AT ITER 1338 NEW BEST:: SOT 3842594 SOS 892624 HAS SOPS 892624 HAS SOUS 260653 HAS SOUPS 260653 WITH SCORE 261545.624
AT ITER 1353 NEW BEST:: SOT 3842512 SOS 892542 HAS SOPS 892542 HAS SOUS 260355 HAS SOUPS 260355 WITH SCORE 261247.542
AT ITER 1367 NEW BEST:: SOT 3842364 SOS 892394 HAS SOPS 892394 HAS SOUS 259837 HAS SOUPS 259837 WITH SCORE 260729.394
AT ITER 1374 NEW BEST:: SOT 3842336 SOS 892366 HAS SOPS 892366 HAS SOUS 259809 HAS SOUPS 259809 WITH SCORE 260701.366
AT ITER 1395 NEW BEST:: SOT 3842102 SOS 892132 HAS SOPS 892132 HAS SOUS 259575 HAS SOUPS 259575 WITH SCORE 260467.132
AT ITER 1401 NEW BEST:: SOT 3842306 SOS 892271 HAS SOPS 892271 HAS SOUS 257910 HAS SOUPS 257910 WITH SCORE 258802.271
AT ITER 1414 NEW BEST:: SOT 3842221 SOS 892186 HAS SOPS 892186 HAS SOUS 257825 HAS SOUPS 257825 WITH SCORE 258717.186
AT ITER 1423 NEW BEST:: SOT 3842046 SOS 892011 HAS SOPS 892011 HAS SOUS 257586 HAS SOUPS 257586 WITH SCORE 258478.011
AT ITER 1432 NEW BEST:: SOT 3842045 SOS 892010 HAS SOPS 892010 HAS SOUS 257579 HAS SOUPS 257579 WITH SCORE 258471.01
AT ITER 1438 NEW BEST:: SOT 3842045 SOS 891936 HAS SOPS 891936 HAS SOUS 257465 HAS SOUPS 257465 WITH SCORE 258356.936
AT ITER 1448 NEW BEST:: SOT 3841589 SOS 891480 HAS SOPS 891480 HAS SOUS 257009 HAS SOUPS 257009 WITH SCORE 257900.48
AT ITER 1453 NEW BEST:: SOT 3841611 SOS 891352 HAS SOPS 891352 HAS SOUS 256783 HAS SOUPS 256783 WITH SCORE 257674.352
AT ITER 1459 NEW BEST:: SOT 3841590 SOS 891331 HAS SOPS 891331 HAS SOUS 256762 HAS SOUPS 256762 WITH SCORE 257653.331
AT ITER 1473 NEW BEST:: SOT 3841448 SOS 891189 HAS SOPS 891189 HAS SOUS 256478 HAS SOUPS 256478 WITH SCORE 257369.189
AT ITER 1478 NEW BEST:: SOT 3841448 SOS 891217 HAS SOPS 891217 HAS SOUS 256422 HAS SOUPS 256422 WITH SCORE 257313.217
AT ITER 1490 NEW BEST:: SOT 3841310 SOS 891079 HAS SOPS 891079 HAS SOUS 256284 HAS SOUPS 256284 WITH SCORE 257175.079
AT ITER 1493 NEW BEST:: SOT 3841155 SOS 890924 HAS SOPS 890924 HAS SOUS 256129 HAS SOUPS 256129 WITH SCORE 257019.924
AT ITER 1494 NEW BEST:: SOT 3841019 SOS 890788 HAS SOPS 890788 HAS SOUS 255923 HAS SOUPS 255923 WITH SCORE 256813.788
AT ITER 1498 NEW BEST:: SOT 3840986 SOS 766369 HAS SOPS 766369 HAS SOUS 255725 HAS SOUPS 255725 WITH SCORE 256491.369
AT ITER 1500 NEW BEST:: SOT 3840836 SOS 766217 HAS SOPS 766217 HAS SOUS 255283 HAS SOUPS 255283 WITH SCORE 256049.217
AT ITER 1503 NEW BEST:: SOT 3840752 SOS 766133 HAS SOPS 766133 HAS SOUS 255199 HAS SOUPS 255199 WITH SCORE 255965.133
AT ITER 1508 NEW BEST:: SOT 3840661 SOS 766226 HAS SOPS 766226 HAS SOUS 255150 HAS SOUPS 255150 WITH SCORE 255916.226
AT ITER 1519 NEW BEST:: SOT 3840682 SOS 766247 HAS SOPS 766247 HAS SOUS 255117 HAS SOUPS 255117 WITH SCORE 255883.247
AT ITER 1544 NEW BEST:: SOT 3840329 SOS 765827 HAS SOPS 765827 HAS SOUS 251177 HAS SOUPS 251177 WITH SCORE 251942.827
AT ITER 1550 NEW BEST:: SOT 3840330 SOS 765828 HAS SOPS 765828 HAS SOUS 250966 HAS SOUPS 250966 WITH SCORE 251731.828
AT ITER 1554 NEW BEST:: SOT 3840380 SOS 765828 HAS SOPS 765828 HAS SOUS 250387 HAS SOUPS 250387 WITH SCORE 251152.828
AT ITER 1560 NEW BEST:: SOT 3840380 SOS 765790 HAS SOPS 765790 HAS SOUS 250387 HAS SOUPS 250387 WITH SCORE 251152.79
AT ITER 1584 NEW BEST:: SOT 3840366 SOS 765776 HAS SOPS 765776 HAS SOUS 250373 HAS SOUPS 250373 WITH SCORE 251138.776
AT ITER 1585 NEW BEST:: SOT 3840312 SOS 765722 HAS SOPS 765722 HAS SOUS 250317 HAS SOUPS 250317 WITH SCORE 251082.722
AT ITER 1586 NEW BEST:: SOT 3840294 SOS 765704 HAS SOPS 765704 HAS SOUS 250289 HAS SOUPS 250289 WITH SCORE 251054.704
AT ITER 1590 NEW BEST:: SOT 3840270 SOS 765680 HAS SOPS 765680 HAS SOUS 250265 HAS SOUPS 250265 WITH SCORE 251030.68
AT ITER 1601 NEW BEST:: SOT 3839848 SOS 765258 HAS SOPS 765258 HAS SOUS 249482 HAS SOUPS 249482 WITH SCORE 250247.258
AT ITER 1610 NEW BEST:: SOT 3839844 SOS 765256 HAS SOPS 765256 HAS SOUS 249470 HAS SOUPS 249470 WITH SCORE 250235.256
AT ITER 1612 NEW BEST:: SOT 3839834 SOS 765246 HAS SOPS 765246 HAS SOUS 249460 HAS SOUPS 249460 WITH SCORE 250225.246
AT ITER 1623 NEW BEST:: SOT 3839869 SOS 765230 HAS SOPS 765230 HAS SOUS 249444 HAS SOUPS 249444 WITH SCORE 250209.23
AT ITER 1631 NEW BEST:: SOT 3840129 SOS 765490 HAS SOPS 765490 HAS SOUS 248965 HAS SOUPS 248965 WITH SCORE 249730.49
AT ITER 1643 NEW BEST:: SOT 3840114 SOS 765475 HAS SOPS 765475 HAS SOUS 248892 HAS SOUPS 248892 WITH SCORE 249657.475
AT ITER 1699 NEW BEST:: SOT 3840054 SOS 765478 HAS SOPS 765478 HAS SOUS 248842 HAS SOUPS 248842 WITH SCORE 249607.478
AT ITER 1720 NEW BEST:: SOT 3840049 SOS 765473 HAS SOPS 765473 HAS SOUS 248837 HAS SOUPS 248837 WITH SCORE 249602.473
AT ITER 1796 NEW BEST:: SOT 3839035 SOS 766836 HAS SOPS 766836 HAS SOUS 247885 HAS SOUPS 247885 WITH SCORE 248651.836
AT ITER 1798 NEW BEST:: SOT 3838996 SOS 766797 HAS SOPS 766797 HAS SOUS 247846 HAS SOUPS 247846 WITH SCORE 248612.797
AT ITER 1833 NEW BEST:: SOT 3838996 SOS 766675 HAS SOPS 766675 HAS SOUS 247785 HAS SOUPS 247785 WITH SCORE 248551.675
AT ITER 1834 NEW BEST:: SOT 3838881 SOS 766560 HAS SOPS 766560 HAS SOUS 247670 HAS SOUPS 247670 WITH SCORE 248436.56
AT ITER 1837 NEW BEST:: SOT 3835814 SOS 778001 HAS SOPS 778001 HAS SOUS 246909 HAS SOUPS 246909 WITH SCORE 247687.001
AT ITER 1840 NEW BEST:: SOT 3835814 SOS 778001 HAS SOPS 778001 HAS SOUS 246905 HAS SOUPS 246905 WITH SCORE 247683.001
AT ITER 1846 NEW BEST:: SOT 3835801 SOS 777988 HAS SOPS 777988 HAS SOUS 246870 HAS SOUPS 246870 WITH SCORE 247647.988
AT ITER 1848 NEW BEST:: SOT 3835801 SOS 777988 HAS SOPS 777988 HAS SOUS 246860 HAS SOUPS 246860 WITH SCORE 247637.988
AT ITER 1849 NEW BEST:: SOT 3835790 SOS 777977 HAS SOPS 777977 HAS SOUS 246849 HAS SOUPS 246849 WITH SCORE 247626.977
AT ITER 1860 NEW BEST:: SOT 3835790 SOS 777889 HAS SOPS 777889 HAS SOUS 246729 HAS SOUPS 246729 WITH SCORE 247506.889
AT ITER 1878 NEW BEST:: SOT 3835704 SOS 777803 HAS SOPS 777803 HAS SOUS 246643 HAS SOUPS 246643 WITH SCORE 247420.803
AT ITER 1879 NEW BEST:: SOT 3835665 SOS 777764 HAS SOPS 777764 HAS SOUS 246604 HAS SOUPS 246604 WITH SCORE 247381.764
AT ITER 1909 NEW BEST:: SOT 3835665 SOS 777739 HAS SOPS 777739 HAS SOUS 246579 HAS SOUPS 246579 WITH SCORE 247356.739
AT ITER 1914 NEW BEST:: SOT 3836379 SOS 778453 HAS SOPS 778453 HAS SOUS 246562 HAS SOUPS 246562 WITH SCORE 247340.453
AT ITER 1916 NEW BEST:: SOT 3836280 SOS 778354 HAS SOPS 778354 HAS SOUS 246133 HAS SOUPS 246133 WITH SCORE 246911.354
AT ITER 1917 NEW BEST:: SOT 3836118 SOS 778192 HAS SOPS 778192 HAS SOUS 245971 HAS SOUPS 245971 WITH SCORE 246749.192
AT ITER 1920 NEW BEST:: SOT 3836110 SOS 778184 HAS SOPS 778184 HAS SOUS 245883 HAS SOUPS 245883 WITH SCORE 246661.184
AT ITER 1931 NEW BEST:: SOT 3836078 SOS 778152 HAS SOPS 778152 HAS SOUS 245755 HAS SOUPS 245755 WITH SCORE 246533.152
AT ITER 1939 NEW BEST:: SOT 3836296 SOS 778370 HAS SOPS 778370 HAS SOUS 244973 HAS SOUPS 244973 WITH SCORE 245751.37
AT ITER 1943 NEW BEST:: SOT 3836285 SOS 778440 HAS SOPS 778440 HAS SOUS 244954 HAS SOUPS 244954 WITH SCORE 245732.44
AT ITER 1946 NEW BEST:: SOT 3836265 SOS 778420 HAS SOPS 778420 HAS SOUS 244922 HAS SOUPS 244922 WITH SCORE 245700.42
AT ITER 1950 NEW BEST:: SOT 3836251 SOS 778406 HAS SOPS 778406 HAS SOUS 244908 HAS SOUPS 244908 WITH SCORE 245686.406
AT ITER 1952 NEW BEST:: SOT 3836190 SOS 778345 HAS SOPS 778345 HAS SOUS 244847 HAS SOUPS 244847 WITH SCORE 245625.345
AT ITER 1957 NEW BEST:: SOT 3836201 SOS 778175 HAS SOPS 778175 HAS SOUS 244747 HAS SOUPS 244747 WITH SCORE 245525.175
AT ITER 1969 NEW BEST:: SOT 3836177 SOS 778124 HAS SOPS 778124 HAS SOUS 244696 HAS SOUPS 244696 WITH SCORE 245474.124
AT ITER 1980 NEW BEST:: SOT 3836869 SOS 778816 HAS SOPS 778816 HAS SOUS 244123 HAS SOUPS 244123 WITH SCORE 244901.816
AT ITER 1985 NEW BEST:: SOT 3836869 SOS 778858 HAS SOPS 778858 HAS SOUS 244083 HAS SOUPS 244083 WITH SCORE 244861.858
AT ITER 1989 NEW BEST:: SOT 3837856 SOS 779845 HAS SOPS 779845 HAS SOUS 243169 HAS SOUPS 243169 WITH SCORE 243948.845
AT ITER 2005 NEW BEST:: SOT 3837764 SOS 779753 HAS SOPS 779753 HAS SOUS 241917 HAS SOUPS 241917 WITH SCORE 242696.753
AT ITER 2007 NEW BEST:: SOT 3837721 SOS 779710 HAS SOPS 779710 HAS SOUS 241874 HAS SOUPS 241874 WITH SCORE 242653.71
AT ITER 2018 NEW BEST:: SOT 3837721 SOS 779710 HAS SOPS 779710 HAS SOUS 241814 HAS SOUPS 241814 WITH SCORE 242593.71
AT ITER 2019 NEW BEST:: SOT 3837585 SOS 779438 HAS SOPS 779438 HAS SOUS 241542 HAS SOUPS 241542 WITH SCORE 242321.438
AT ITER 2022 NEW BEST:: SOT 3837405 SOS 779258 HAS SOPS 779258 HAS SOUS 241172 HAS SOUPS 241172 WITH SCORE 241951.258
AT ITER 2034 NEW BEST:: SOT 3837472 SOS 779325 HAS SOPS 779325 HAS SOUS 238728 HAS SOUPS 238728 WITH SCORE 239507.325
AT ITER 2035 NEW BEST:: SOT 3837423 SOS 779276 HAS SOPS 779276 HAS SOUS 238679 HAS SOUPS 238679 WITH SCORE 239458.276
AT ITER 2048 NEW BEST:: SOT 3837385 SOS 779238 HAS SOPS 779238 HAS SOUS 238641 HAS SOUPS 238641 WITH SCORE 239420.238
AT ITER 2059 NEW BEST:: SOT 3837394 SOS 779247 HAS SOPS 779247 HAS SOUS 238398 HAS SOUPS 238398 WITH SCORE 239177.247
AT ITER 2061 NEW BEST:: SOT 3837349 SOS 779202 HAS SOPS 779202 HAS SOUS 238353 HAS SOUPS 238353 WITH SCORE 239132.202
AT ITER 2064 NEW BEST:: SOT 3837258 SOS 779111 HAS SOPS 779111 HAS SOUS 238262 HAS SOUPS 238262 WITH SCORE 239041.111
AT ITER 2072 NEW BEST:: SOT 3837187 SOS 779040 HAS SOPS 779040 HAS SOUS 237398 HAS SOUPS 237398 WITH SCORE 238177.04
AT ITER 2091 NEW BEST:: SOT 3837180 SOS 779033 HAS SOPS 779033 HAS SOUS 237391 HAS SOUPS 237391 WITH SCORE 238170.033
AT ITER 2094 NEW BEST:: SOT 3837180 SOS 778939 HAS SOPS 778939 HAS SOUS 237314 HAS SOUPS 237314 WITH SCORE 238092.939
AT ITER 2097 NEW BEST:: SOT 3837225 SOS 778879 HAS SOPS 778879 HAS SOUS 237308 HAS SOUPS 237308 WITH SCORE 238086.879
AT ITER 2104 NEW BEST:: SOT 3837154 SOS 778971 HAS SOPS 778971 HAS SOUS 237199 HAS SOUPS 237199 WITH SCORE 237977.971
AT ITER 2111 NEW BEST:: SOT 3836960 SOS 778777 HAS SOPS 778777 HAS SOUS 236984 HAS SOUPS 236984 WITH SCORE 237762.777
AT ITER 2114 NEW BEST:: SOT 3836872 SOS 778689 HAS SOPS 778689 HAS SOUS 236852 HAS SOUPS 236852 WITH SCORE 237630.689
AT ITER 2115 NEW BEST:: SOT 3836872 SOS 778657 HAS SOPS 778657 HAS SOUS 236852 HAS SOUPS 236852 WITH SCORE 237630.657
AT ITER 2118 NEW BEST:: SOT 3836861 SOS 778646 HAS SOPS 778646 HAS SOUS 236841 HAS SOUPS 236841 WITH SCORE 237619.646
AT ITER 2120 NEW BEST:: SOT 3836844 SOS 780345 HAS SOPS 780345 HAS SOUS 236547 HAS SOUPS 236547 WITH SCORE 237327.345
AT ITER 2130 NEW BEST:: SOT 3836624 SOS 780125 HAS SOPS 780125 HAS SOUS 236327 HAS SOUPS 236327 WITH SCORE 237107.125
AT ITER 2134 NEW BEST:: SOT 3836589 SOS 780090 HAS SOPS 780090 HAS SOUS 236257 HAS SOUPS 236257 WITH SCORE 237037.09
AT ITER 2143 NEW BEST:: SOT 3836589 SOS 780037 HAS SOPS 780037 HAS SOUS 236217 HAS SOUPS 236217 WITH SCORE 236997.037
AT ITER 2148 NEW BEST:: SOT 3836589 SOS 780035 HAS SOPS 780035 HAS SOUS 236208 HAS SOUPS 236208 WITH SCORE 236988.035
AT ITER 2172 NEW BEST:: SOT 3836560 SOS 780006 HAS SOPS 780006 HAS SOUS 236179 HAS SOUPS 236179 WITH SCORE 236959.006
AT ITER 2181 NEW BEST:: SOT 3836503 SOS 780142 HAS SOPS 780142 HAS SOUS 236065 HAS SOUPS 236065 WITH SCORE 236845.142
AT ITER 2186 NEW BEST:: SOT 3836960 SOS 780599 HAS SOPS 780599 HAS SOUS 235795 HAS SOUPS 235795 WITH SCORE 236575.599
AT ITER 2193 NEW BEST:: SOT 3836926 SOS 780565 HAS SOPS 780565 HAS SOUS 235761 HAS SOUPS 235761 WITH SCORE 236541.565
AT ITER 2202 NEW BEST:: SOT 3836920 SOS 780559 HAS SOPS 780559 HAS SOUS 235755 HAS SOUPS 235755 WITH SCORE 236535.559
AT ITER 2236 NEW BEST:: SOT 3837064 SOS 780625 HAS SOPS 780625 HAS SOUS 235752 HAS SOUPS 235752 WITH SCORE 236532.625
AT ITER 2248 NEW BEST:: SOT 3837047 SOS 780608 HAS SOPS 780608 HAS SOUS 235735 HAS SOUPS 235735 WITH SCORE 236515.608
AT ITER 2262 NEW BEST:: SOT 3836959 SOS 780520 HAS SOPS 780520 HAS SOUS 235647 HAS SOUPS 235647 WITH SCORE 236427.52
AT ITER 2266 NEW BEST:: SOT 3836918 SOS 780479 HAS SOPS 780479 HAS SOUS 234376 HAS SOUPS 234376 WITH SCORE 235156.479
AT ITER 2272 NEW BEST:: SOT 3836885 SOS 780446 HAS SOPS 780446 HAS SOUS 234053 HAS SOUPS 234053 WITH SCORE 234833.446
AT ITER 2282 NEW BEST:: SOT 3837686 SOS 781247 HAS SOPS 781247 HAS SOUS 232143 HAS SOUPS 232143 WITH SCORE 232924.247
AT ITER 2299 NEW BEST:: SOT 3837595 SOS 781156 HAS SOPS 781156 HAS SOUS 232052 HAS SOUPS 232052 WITH SCORE 232833.156
AT ITER 2305 NEW BEST:: SOT 3837465 SOS 781026 HAS SOPS 781026 HAS SOUS 231867 HAS SOUPS 231867 WITH SCORE 232648.026
AT ITER 2309 NEW BEST:: SOT 3837387 SOS 780948 HAS SOPS 780948 HAS SOUS 231750 HAS SOUPS 231750 WITH SCORE 232530.948
AT ITER 2317 NEW BEST:: SOT 3837387 SOS 780832 HAS SOPS 780832 HAS SOUS 231578 HAS SOUPS 231578 WITH SCORE 232358.832
AT ITER 2328 NEW BEST:: SOT 3837341 SOS 780786 HAS SOPS 780786 HAS SOUS 231514 HAS SOUPS 231514 WITH SCORE 232294.786
AT ITER 2339 NEW BEST:: SOT 3837319 SOS 780764 HAS SOPS 780764 HAS SOUS 231468 HAS SOUPS 231468 WITH SCORE 232248.764
AT ITER 2347 NEW BEST:: SOT 3837319 SOS 780753 HAS SOPS 780753 HAS SOUS 231468 HAS SOUPS 231468 WITH SCORE 232248.753
AT ITER 2349 NEW BEST:: SOT 3837191 SOS 780625 HAS SOPS 780625 HAS SOUS 231286 HAS SOUPS 231286 WITH SCORE 232066.625
AT ITER 2352 NEW BEST:: SOT 3836999 SOS 780433 HAS SOPS 780433 HAS SOUS 230828 HAS SOUPS 230828 WITH SCORE 231608.433
AT ITER 2388 NEW BEST:: SOT 3837629 SOS 781063 HAS SOPS 781063 HAS SOUS 230783 HAS SOUPS 230783 WITH SCORE 231564.063
AT ITER 2392 NEW BEST:: SOT 3837572 SOS 781105 HAS SOPS 781105 HAS SOUS 230769 HAS SOUPS 230769 WITH SCORE 231550.105
AT ITER 2393 NEW BEST:: SOT 3837572 SOS 781074 HAS SOPS 781074 HAS SOUS 230750 HAS SOUPS 230750 WITH SCORE 231531.074
AT ITER 2402 NEW BEST:: SOT 3837565 SOS 781067 HAS SOPS 781067 HAS SOUS 230743 HAS SOUPS 230743 WITH SCORE 231524.067
AT ITER 2408 NEW BEST:: SOT 3837622 SOS 781131 HAS SOPS 781131 HAS SOUS 230737 HAS SOUPS 230737 WITH SCORE 231518.131
AT ITER 2415 NEW BEST:: SOT 3837622 SOS 780819 HAS SOPS 780819 HAS SOUS 230729 HAS SOUPS 230729 WITH SCORE 231509.819
AT ITER 2424 NEW BEST:: SOT 3837607 SOS 780804 HAS SOPS 780804 HAS SOUS 230699 HAS SOUPS 230699 WITH SCORE 231479.804
AT ITER 2425 NEW BEST:: SOT 3837259 SOS 780456 HAS SOPS 780456 HAS SOUS 230691 HAS SOUPS 230691 WITH SCORE 231471.456
AT ITER 2431 NEW BEST:: SOT 3837153 SOS 780350 HAS SOPS 780350 HAS SOUS 230529 HAS SOUPS 230529 WITH SCORE 231309.35
AT ITER 2432 NEW BEST:: SOT 3837065 SOS 780262 HAS SOPS 780262 HAS SOUS 230410 HAS SOUPS 230410 WITH SCORE 231190.262
AT ITER 2434 NEW BEST:: SOT 3837065 SOS 780262 HAS SOPS 780262 HAS SOUS 230398 HAS SOUPS 230398 WITH SCORE 231178.262
AT ITER 2435 NEW BEST:: SOT 3837017 SOS 780214 HAS SOPS 780214 HAS SOUS 230331 HAS SOUPS 230331 WITH SCORE 231111.214
AT ITER 2437 NEW BEST:: SOT 3837017 SOS 780163 HAS SOPS 780163 HAS SOUS 230258 HAS SOUPS 230258 WITH SCORE 231038.163
AT ITER 2451 NEW BEST:: SOT 3836875 SOS 780021 HAS SOPS 780021 HAS SOUS 230030 HAS SOUPS 230030 WITH SCORE 230810.021
AT ITER 2466 NEW BEST:: SOT 3836804 SOS 779950 HAS SOPS 779950 HAS SOUS 229397 HAS SOUPS 229397 WITH SCORE 230176.95
AT ITER 2469 NEW BEST:: SOT 3836756 SOS 779594 HAS SOPS 779594 HAS SOUS 229247 HAS SOUPS 229247 WITH SCORE 230026.594
AT ITER 2471 NEW BEST:: SOT 3836756 SOS 779594 HAS SOPS 779594 HAS SOUS 229221 HAS SOUPS 229221 WITH SCORE 230000.594
AT ITER 2474 NEW BEST:: SOT 3836786 SOS 779624 HAS SOPS 779624 HAS SOUS 228418 HAS SOUPS 228418 WITH SCORE 229197.624
AT ITER 2480 NEW BEST:: SOT 3836540 SOS 779378 HAS SOPS 779378 HAS SOUS 228082 HAS SOUPS 228082 WITH SCORE 228861.378
AT ITER 2482 NEW BEST:: SOT 3836489 SOS 779327 HAS SOPS 779327 HAS SOUS 228045 HAS SOUPS 228045 WITH SCORE 228824.327
AT ITER 2490 NEW BEST:: SOT 3836470 SOS 779308 HAS SOPS 779308 HAS SOUS 228026 HAS SOUPS 228026 WITH SCORE 228805.308
AT ITER 2506 NEW BEST:: SOT 3836665 SOS 779503 HAS SOPS 779503 HAS SOUS 226214 HAS SOUPS 226214 WITH SCORE 226993.503
AT ITER 2511 NEW BEST:: SOT 3836654 SOS 779558 HAS SOPS 779558 HAS SOUS 226137 HAS SOUPS 226137 WITH SCORE 226916.558
AT ITER 2522 NEW BEST:: SOT 3836638 SOS 779631 HAS SOPS 779631 HAS SOUS 226121 HAS SOUPS 226121 WITH SCORE 226900.631
AT ITER 2545 NEW BEST:: SOT 3836339 SOS 779332 HAS SOPS 779332 HAS SOUS 225670 HAS SOUPS 225670 WITH SCORE 226449.332
AT ITER 2567 NEW BEST:: SOT 3836375 SOS 779368 HAS SOPS 779368 HAS SOUS 225040 HAS SOUPS 225040 WITH SCORE 225819.368
AT ITER 2569 NEW BEST:: SOT 3836340 SOS 779333 HAS SOPS 779333 HAS SOUS 225005 HAS SOUPS 225005 WITH SCORE 225784.333
AT ITER 2575 NEW BEST:: SOT 3836319 SOS 779312 HAS SOPS 779312 HAS SOUS 224984 HAS SOUPS 224984 WITH SCORE 225763.312
AT ITER 2583 NEW BEST:: SOT 3836315 SOS 779308 HAS SOPS 779308 HAS SOUS 224978 HAS SOUPS 224978 WITH SCORE 225757.308
AT ITER 2586 NEW BEST:: SOT 3836193 SOS 779186 HAS SOPS 779186 HAS SOUS 224688 HAS SOUPS 224688 WITH SCORE 225467.186
AT ITER 2589 NEW BEST:: SOT 3836262 SOS 779046 HAS SOPS 779046 HAS SOUS 224644 HAS SOUPS 224644 WITH SCORE 225423.046
AT ITER 2597 NEW BEST:: SOT 3836262 SOS 779050 HAS SOPS 779050 HAS SOUS 224624 HAS SOUPS 224624 WITH SCORE 225403.05
AT ITER 2619 NEW BEST:: SOT 3836260 SOS 779048 HAS SOPS 779048 HAS SOUS 224622 HAS SOUPS 224622 WITH SCORE 225401.048
AT ITER 2637 NEW BEST:: SOT 3836256 SOS 779044 HAS SOPS 779044 HAS SOUS 224564 HAS SOUPS 224564 WITH SCORE 225343.044
AT ITER 2640 NEW BEST:: SOT 3836209 SOS 779517 HAS SOPS 779517 HAS SOUS 224517 HAS SOUPS 224517 WITH SCORE 225296.517
AT ITER 2642 NEW BEST:: SOT 3836182 SOS 779490 HAS SOPS 779490 HAS SOUS 224416 HAS SOUPS 224416 WITH SCORE 225195.49
AT ITER 2644 NEW BEST:: SOT 3836163 SOS 779471 HAS SOPS 779471 HAS SOUS 224397 HAS SOUPS 224397 WITH SCORE 225176.471
AT ITER 2646 NEW BEST:: SOT 3836022 SOS 779189 HAS SOPS 779189 HAS SOUS 224115 HAS SOUPS 224115 WITH SCORE 224894.189
AT ITER 2652 NEW BEST:: SOT 3836009 SOS 779176 HAS SOPS 779176 HAS SOUS 224102 HAS SOUPS 224102 WITH SCORE 224881.176
AT ITER 2664 NEW BEST:: SOT 3836026 SOS 779193 HAS SOPS 779193 HAS SOUS 223983 HAS SOUPS 223983 WITH SCORE 224762.193
AT ITER 2696 NEW BEST:: SOT 3836026 SOS 779193 HAS SOPS 779193 HAS SOUS 223947 HAS SOUPS 223947 WITH SCORE 224726.193
AT ITER 2717 NEW BEST:: SOT 3835996 SOS 779162 HAS SOPS 779162 HAS SOUS 223916 HAS SOUPS 223916 WITH SCORE 224695.162
AT ITER 2730 NEW BEST:: SOT 3835874 SOS 779040 HAS SOPS 779040 HAS SOUS 223672 HAS SOUPS 223672 WITH SCORE 224451.04
AT ITER 2734 NEW BEST:: SOT 3835864 SOS 779020 HAS SOPS 779020 HAS SOUS 223652 HAS SOUPS 223652 WITH SCORE 224431.02
AT ITER 2736 NEW BEST:: SOT 3835933 SOS 779089 HAS SOPS 779089 HAS SOUS 223376 HAS SOUPS 223376 WITH SCORE 224155.089
AT ITER 2739 NEW BEST:: SOT 3836191 SOS 779347 HAS SOPS 779347 HAS SOUS 223271 HAS SOUPS 223271 WITH SCORE 224050.347
AT ITER 2751 NEW BEST:: SOT 3836348 SOS 779504 HAS SOPS 779504 HAS SOUS 222685 HAS SOUPS 222685 WITH SCORE 223464.504
AT ITER 2761 NEW BEST:: SOT 3836278 SOS 779434 HAS SOPS 779434 HAS SOUS 222615 HAS SOUPS 222615 WITH SCORE 223394.434
AT ITER 2765 NEW BEST:: SOT 3836211 SOS 779367 HAS SOPS 779367 HAS SOUS 222548 HAS SOUPS 222548 WITH SCORE 223327.367
AT ITER 2766 NEW BEST:: SOT 3836201 SOS 779357 HAS SOPS 779357 HAS SOUS 222528 HAS SOUPS 222528 WITH SCORE 223307.357
AT ITER 2777 NEW BEST:: SOT 3836122 SOS 779278 HAS SOPS 779278 HAS SOUS 222099 HAS SOUPS 222099 WITH SCORE 222878.278
AT ITER 2779 NEW BEST:: SOT 3836122 SOS 779148 HAS SOPS 779148 HAS SOUS 222011 HAS SOUPS 222011 WITH SCORE 222790.148
AT ITER 2799 NEW BEST:: SOT 3836044 SOS 779070 HAS SOPS 779070 HAS SOUS 221850 HAS SOUPS 221850 WITH SCORE 222629.07
AT ITER 2806 NEW BEST:: SOT 3836044 SOS 779174 HAS SOPS 779174 HAS SOUS 221834 HAS SOUPS 221834 WITH SCORE 222613.174
AT ITER 2810 NEW BEST:: SOT 3836044 SOS 779170 HAS SOPS 779170 HAS SOUS 221834 HAS SOUPS 221834 WITH SCORE 222613.17
AT ITER 2816 NEW BEST:: SOT 3835983 SOS 779109 HAS SOPS 779109 HAS SOUS 221515 HAS SOUPS 221515 WITH SCORE 222294.109
AT ITER 2825 NEW BEST:: SOT 3835978 SOS 779104 HAS SOPS 779104 HAS SOUS 221510 HAS SOUPS 221510 WITH SCORE 222289.104
AT ITER 2830 NEW BEST:: SOT 3835966 SOS 779092 HAS SOPS 779092 HAS SOUS 221498 HAS SOUPS 221498 WITH SCORE 222277.092
AT ITER 2841 NEW BEST:: SOT 3835901 SOS 779027 HAS SOPS 779027 HAS SOUS 221392 HAS SOUPS 221392 WITH SCORE 222171.027
AT ITER 2843 NEW BEST:: SOT 3835897 SOS 779023 HAS SOPS 779023 HAS SOUS 221388 HAS SOUPS 221388 WITH SCORE 222167.023
AT ITER 2844 NEW BEST:: SOT 3835792 SOS 779948 HAS SOPS 779948 HAS SOUS 221227 HAS SOUPS 221227 WITH SCORE 222006.948
AT ITER 2850 NEW BEST:: SOT 3835740 SOS 779896 HAS SOPS 779896 HAS SOUS 221175 HAS SOUPS 221175 WITH SCORE 221954.896
AT ITER 2862 NEW BEST:: SOT 3835673 SOS 779829 HAS SOPS 779829 HAS SOUS 221024 HAS SOUPS 221024 WITH SCORE 221803.829
AT ITER 2866 NEW BEST:: SOT 3835455 SOS 779611 HAS SOPS 779611 HAS SOUS 220798 HAS SOUPS 220798 WITH SCORE 221577.611
AT ITER 2886 NEW BEST:: SOT 3834992 SOS 783727 HAS SOPS 783727 HAS SOUS 220667 HAS SOUPS 220667 WITH SCORE 221450.727
AT ITER 2895 NEW BEST:: SOT 3834981 SOS 783716 HAS SOPS 783716 HAS SOUS 220656 HAS SOUPS 220656 WITH SCORE 221439.716
AT ITER 2899 NEW BEST:: SOT 3834951 SOS 783686 HAS SOPS 783686 HAS SOUS 220626 HAS SOUPS 220626 WITH SCORE 221409.686
AT ITER 2923 NEW BEST:: SOT 3834964 SOS 783951 HAS SOPS 783951 HAS SOUS 220625 HAS SOUPS 220625 WITH SCORE 221408.951
AT ITER 2924 NEW BEST:: SOT 3834964 SOS 783820 HAS SOPS 783820 HAS SOUS 220515 HAS SOUPS 220515 WITH SCORE 221298.82
AT ITER 2925 NEW BEST:: SOT 3834877 SOS 783733 HAS SOPS 783733 HAS SOUS 220291 HAS SOUPS 220291 WITH SCORE 221074.733
AT ITER 2932 NEW BEST:: SOT 3834433 SOS 783289 HAS SOPS 783289 HAS SOUS 219470 HAS SOUPS 219470 WITH SCORE 220253.289
AT ITER 2956 NEW BEST:: SOT 3834487 SOS 783343 HAS SOPS 783343 HAS SOUS 218990 HAS SOUPS 218990 WITH SCORE 219773.343
AT ITER 2957 NEW BEST:: SOT 3834391 SOS 783247 HAS SOPS 783247 HAS SOUS 218894 HAS SOUPS 218894 WITH SCORE 219677.247
AT ITER 2961 NEW BEST:: SOT 3834537 SOS 783393 HAS SOPS 783393 HAS SOUS 218602 HAS SOUPS 218602 WITH SCORE 219385.393
AT ITER 2970 NEW BEST:: SOT 3834754 SOS 783610 HAS SOPS 783610 HAS SOUS 218438 HAS SOUPS 218438 WITH SCORE 219221.61
AT ITER 2973 NEW BEST:: SOT 3834708 SOS 783564 HAS SOPS 783564 HAS SOUS 218382 HAS SOUPS 218382 WITH SCORE 219165.564
AT ITER 2982 NEW BEST:: SOT 3834652 SOS 783508 HAS SOPS 783508 HAS SOUS 218290 HAS SOUPS 218290 WITH SCORE 219073.508
AT ITER 2986 NEW BEST:: SOT 3834577 SOS 783433 HAS SOPS 783433 HAS SOUS 217235 HAS SOUPS 217235 WITH SCORE 218018.433
AT ITER 2999 NEW BEST:: SOT 3834557 SOS 783413 HAS SOPS 783413 HAS SOUS 217215 HAS SOUPS 217215 WITH SCORE 217998.413
AT ITER 3037 NEW BEST:: SOT 3834557 SOS 783413 HAS SOPS 783413 HAS SOUS 217188 HAS SOUPS 217188 WITH SCORE 217971.413
AT ITER 3038 NEW BEST:: SOT 3834515 SOS 783371 HAS SOPS 783371 HAS SOUS 217146 HAS SOUPS 217146 WITH SCORE 217929.371
AT ITER 3047 NEW BEST:: SOT 3834380 SOS 783236 HAS SOPS 783236 HAS SOUS 216939 HAS SOUPS 216939 WITH SCORE 217722.236
AT ITER 3058 NEW BEST:: SOT 3834294 SOS 783305 HAS SOPS 783305 HAS SOUS 216768 HAS SOUPS 216768 WITH SCORE 217551.305
AT ITER 3066 NEW BEST:: SOT 3834294 SOS 783305 HAS SOPS 783305 HAS SOUS 216749 HAS SOUPS 216749 WITH SCORE 217532.305
AT ITER 3078 NEW BEST:: SOT 3834239 SOS 783250 HAS SOPS 783250 HAS SOUS 216584 HAS SOUPS 216584 WITH SCORE 217367.25
AT ITER 3080 NEW BEST:: SOT 3834162 SOS 783173 HAS SOPS 783173 HAS SOUS 216428 HAS SOUPS 216428 WITH SCORE 217211.173
AT ITER 3081 NEW BEST:: SOT 3834078 SOS 783089 HAS SOPS 783089 HAS SOUS 215924 HAS SOUPS 215924 WITH SCORE 216707.089
AT ITER 3114 NEW BEST:: SOT 3834078 SOS 783089 HAS SOPS 783089 HAS SOUS 215894 HAS SOUPS 215894 WITH SCORE 216677.089
AT ITER 3142 NEW BEST:: SOT 3834067 SOS 783064 HAS SOPS 783064 HAS SOUS 215781 HAS SOUPS 215781 WITH SCORE 216564.064
AT ITER 3188 NEW BEST:: SOT 3834062 SOS 783059 HAS SOPS 783059 HAS SOUS 215776 HAS SOUPS 215776 WITH SCORE 216559.059
AT ITER 3194 NEW BEST:: SOT 3834025 SOS 783063 HAS SOPS 783063 HAS SOUS 215709 HAS SOUPS 215709 WITH SCORE 216492.063
AT ITER 3197 NEW BEST:: SOT 3834242 SOS 783280 HAS SOPS 783280 HAS SOUS 215163 HAS SOUPS 215163 WITH SCORE 215946.28
AT ITER 3205 NEW BEST:: SOT 3834199 SOS 783257 HAS SOPS 783257 HAS SOUS 215114 HAS SOUPS 215114 WITH SCORE 215897.257
AT ITER 3212 NEW BEST:: SOT 3834153 SOS 783211 HAS SOPS 783211 HAS SOUS 214564 HAS SOUPS 214564 WITH SCORE 215347.211
AT ITER 3213 NEW BEST:: SOT 3834107 SOS 783409 HAS SOPS 783409 HAS SOUS 214555 HAS SOUPS 214555 WITH SCORE 215338.409
AT ITER 3218 NEW BEST:: SOT 3835144 SOS 784446 HAS SOPS 784446 HAS SOUS 214468 HAS SOUPS 214468 WITH SCORE 215252.446
AT ITER 3224 NEW BEST:: SOT 3835018 SOS 784320 HAS SOPS 784320 HAS SOUS 214342 HAS SOUPS 214342 WITH SCORE 215126.32
AT ITER 3232 NEW BEST:: SOT 3833919 SOS 783221 HAS SOPS 783221 HAS SOUS 213095 HAS SOUPS 213095 WITH SCORE 213878.221
AT ITER 3241 NEW BEST:: SOT 3833919 SOS 783108 HAS SOPS 783108 HAS SOUS 213039 HAS SOUPS 213039 WITH SCORE 213822.108
AT ITER 3268 NEW BEST:: SOT 3833849 SOS 783038 HAS SOPS 783038 HAS SOUS 212195 HAS SOUPS 212195 WITH SCORE 212978.038
AT ITER 3276 NEW BEST:: SOT 3833745 SOS 782934 HAS SOPS 782934 HAS SOUS 212141 HAS SOUPS 212141 WITH SCORE 212923.934
AT ITER 3305 NEW BEST:: SOT 3833199 SOS 782388 HAS SOPS 782388 HAS SOUS 211595 HAS SOUPS 211595 WITH SCORE 212377.388
AT ITER 3319 NEW BEST:: SOT 3833234 SOS 782380 HAS SOPS 782380 HAS SOUS 211584 HAS SOUPS 211584 WITH SCORE 212366.38
AT ITER 3338 NEW BEST:: SOT 3833166 SOS 782312 HAS SOPS 782312 HAS SOUS 211505 HAS SOUPS 211505 WITH SCORE 212287.312
AT ITER 3365 NEW BEST:: SOT 3833310 SOS 782456 HAS SOPS 782456 HAS SOUS 210985 HAS SOUPS 210985 WITH SCORE 211767.456
AT ITER 3369 NEW BEST:: SOT 3833310 SOS 782454 HAS SOPS 782454 HAS SOUS 210983 HAS SOUPS 210983 WITH SCORE 211765.454
AT ITER 3374 NEW BEST:: SOT 3833255 SOS 782399 HAS SOPS 782399 HAS SOUS 210934 HAS SOUPS 210934 WITH SCORE 211716.399
AT ITER 3376 NEW BEST:: SOT 3833161 SOS 782305 HAS SOPS 782305 HAS SOUS 210791 HAS SOUPS 210791 WITH SCORE 211573.305
AT ITER 3393 NEW BEST:: SOT 3833138 SOS 781574 HAS SOPS 781574 HAS SOUS 210145 HAS SOUPS 210145 WITH SCORE 210926.574
AT ITER 3394 NEW BEST:: SOT 3832879 SOS 781466 HAS SOPS 781466 HAS SOUS 209819 HAS SOUPS 209819 WITH SCORE 210600.466
AT ITER 3397 NEW BEST:: SOT 3832879 SOS 781431 HAS SOPS 781431 HAS SOUS 209819 HAS SOUPS 209819 WITH SCORE 210600.431
AT ITER 3403 NEW BEST:: SOT 3832927 SOS 781479 HAS SOPS 781479 HAS SOUS 209730 HAS SOUPS 209730 WITH SCORE 210511.479
AT ITER 3415 NEW BEST:: SOT 3832927 SOS 781479 HAS SOPS 781479 HAS SOUS 209714 HAS SOUPS 209714 WITH SCORE 210495.479
AT ITER 3421 NEW BEST:: SOT 3832811 SOS 781363 HAS SOPS 781363 HAS SOUS 209540 HAS SOUPS 209540 WITH SCORE 210321.363
AT ITER 3426 NEW BEST:: SOT 3832862 SOS 781307 HAS SOPS 781307 HAS SOUS 209477 HAS SOUPS 209477 WITH SCORE 210258.307
AT ITER 3455 NEW BEST:: SOT 3832712 SOS 781211 HAS SOPS 781211 HAS SOUS 209273 HAS SOUPS 209273 WITH SCORE 210054.211
AT ITER 3457 NEW BEST:: SOT 3832584 SOS 780955 HAS SOPS 780955 HAS SOUS 209017 HAS SOUPS 209017 WITH SCORE 209797.955
AT ITER 3477 NEW BEST:: SOT 3832336 SOS 780707 HAS SOPS 780707 HAS SOUS 208769 HAS SOUPS 208769 WITH SCORE 209549.707
AT ITER 3486 NEW BEST:: SOT 3832316 SOS 780667 HAS SOPS 780667 HAS SOUS 208729 HAS SOUPS 208729 WITH SCORE 209509.667
AT ITER 3492 NEW BEST:: SOT 3832311 SOS 780662 HAS SOPS 780662 HAS SOUS 208724 HAS SOUPS 208724 WITH SCORE 209504.662
AT ITER 3515 NEW BEST:: SOT 3832311 SOS 780670 HAS SOPS 780670 HAS SOUS 208660 HAS SOUPS 208660 WITH SCORE 209440.67
AT ITER 3524 NEW BEST:: SOT 3831999 SOS 780358 HAS SOPS 780358 HAS SOUS 208348 HAS SOUPS 208348 WITH SCORE 209128.358
AT ITER 3587 NEW BEST:: SOT 3831943 SOS 780386 HAS SOPS 780386 HAS SOUS 208264 HAS SOUPS 208264 WITH SCORE 209044.386
AT ITER 3607 NEW BEST:: SOT 3831929 SOS 780372 HAS SOPS 780372 HAS SOUS 208234 HAS SOUPS 208234 WITH SCORE 209014.372
AT ITER 3608 NEW BEST:: SOT 3831929 SOS 780413 HAS SOPS 780413 HAS SOUS 208193 HAS SOUPS 208193 WITH SCORE 208973.413
AT ITER 3621 NEW BEST:: SOT 3832127 SOS 780611 HAS SOPS 780611 HAS SOUS 207952 HAS SOUPS 207952 WITH SCORE 208732.611
AT ITER 3624 NEW BEST:: SOT 3832038 SOS 780522 HAS SOPS 780522 HAS SOUS 207863 HAS SOUPS 207863 WITH SCORE 208643.522
AT ITER 3632 NEW BEST:: SOT 3831963 SOS 780479 HAS SOPS 780479 HAS SOUS 207809 HAS SOUPS 207809 WITH SCORE 208589.479
AT ITER 3640 NEW BEST:: SOT 3832730 SOS 781246 HAS SOPS 781246 HAS SOUS 207762 HAS SOUPS 207762 WITH SCORE 208543.246
AT ITER 3648 NEW BEST:: SOT 3832883 SOS 781399 HAS SOPS 781399 HAS SOUS 206743 HAS SOUPS 206743 WITH SCORE 207524.399
AT ITER 3671 NEW BEST:: SOT 3832818 SOS 781334 HAS SOPS 781334 HAS SOUS 206660 HAS SOUPS 206660 WITH SCORE 207441.334
AT ITER 3678 NEW BEST:: SOT 3832818 SOS 781334 HAS SOPS 781334 HAS SOUS 206600 HAS SOUPS 206600 WITH SCORE 207381.334
AT ITER 3683 NEW BEST:: SOT 3832669 SOS 781185 HAS SOPS 781185 HAS SOUS 206211 HAS SOUPS 206211 WITH SCORE 206992.185
AT ITER 3686 NEW BEST:: SOT 3832184 SOS 780700 HAS SOPS 780700 HAS SOUS 205726 HAS SOUPS 205726 WITH SCORE 206506.7
AT ITER 3695 NEW BEST:: SOT 3831871 SOS 780397 HAS SOPS 780337 HAS SOUS 205369 HAS SOUPS 205363 WITH SCORE 206143.397
AT ITER 3698 NEW BEST:: SOT 3829059 SOS 777257 HAS SOPS 777197 HAS SOUS 204750 HAS SOUPS 204744 WITH SCORE 205521.257
AT ITER 3718 NEW BEST:: SOT 3828833 SOS 777031 HAS SOPS 776971 HAS SOUS 204250 HAS SOUPS 204244 WITH SCORE 205021.031
AT ITER 3720 NEW BEST:: SOT 3828805 SOS 777009 HAS SOPS 776949 HAS SOUS 204247 HAS SOUPS 204241 WITH SCORE 205018.009
AT ITER 3723 NEW BEST:: SOT 3828609 SOS 776813 HAS SOPS 776753 HAS SOUS 204084 HAS SOUPS 204078 WITH SCORE 204854.813
AT ITER 3730 NEW BEST:: SOT 3828609 SOS 776813 HAS SOPS 776753 HAS SOUS 203472 HAS SOUPS 203466 WITH SCORE 204242.813
AT ITER 3734 NEW BEST:: SOT 3829032 SOS 777236 HAS SOPS 777176 HAS SOUS 203327 HAS SOUPS 203321 WITH SCORE 204098.236
AT ITER 3738 NEW BEST:: SOT 3828900 SOS 777104 HAS SOPS 777044 HAS SOUS 203195 HAS SOUPS 203189 WITH SCORE 203966.104
AT ITER 3753 NEW BEST:: SOT 3828705 SOS 776153 HAS SOPS 776093 HAS SOUS 203000 HAS SOUPS 202994 WITH SCORE 203770.153
AT ITER 3760 NEW BEST:: SOT 3828615 SOS 776063 HAS SOPS 776003 HAS SOUS 202757 HAS SOUPS 202751 WITH SCORE 203527.063
AT ITER 3766 NEW BEST:: SOT 3828561 SOS 776009 HAS SOPS 775949 HAS SOUS 202703 HAS SOUPS 202697 WITH SCORE 203473.009
AT ITER 3771 NEW BEST:: SOT 3828529 SOS 775975 HAS SOPS 775915 HAS SOUS 202237 HAS SOUPS 202231 WITH SCORE 203006.975
AT ITER 3781 NEW BEST:: SOT 3828489 SOS 775935 HAS SOPS 775875 HAS SOUS 202157 HAS SOUPS 202151 WITH SCORE 202926.935
AT ITER 3787 NEW BEST:: SOT 3828321 SOS 775767 HAS SOPS 775707 HAS SOUS 201732 HAS SOUPS 201726 WITH SCORE 202501.767
AT ITER 3788 NEW BEST:: SOT 3828263 SOS 775709 HAS SOPS 775649 HAS SOUS 201444 HAS SOUPS 201438 WITH SCORE 202213.709
AT ITER 3793 NEW BEST:: SOT 3828220 SOS 775666 HAS SOPS 775606 HAS SOUS 201401 HAS SOUPS 201395 WITH SCORE 202170.666
AT ITER 3813 NEW BEST:: SOT 3828048 SOS 775494 HAS SOPS 775434 HAS SOUS 201174 HAS SOUPS 201168 WITH SCORE 201943.494
AT ITER 3822 NEW BEST:: SOT 3828027 SOS 775451 HAS SOPS 775391 HAS SOUS 201142 HAS SOUPS 201136 WITH SCORE 201911.451
AT ITER 3831 NEW BEST:: SOT 3827916 SOS 775340 HAS SOPS 775280 HAS SOUS 200678 HAS SOUPS 200672 WITH SCORE 201447.34
AT ITER 3841 NEW BEST:: SOT 3827859 SOS 775226 HAS SOPS 775166 HAS SOUS 200564 HAS SOUPS 200558 WITH SCORE 201333.226
AT ITER 3849 NEW BEST:: SOT 3827808 SOS 775175 HAS SOPS 775115 HAS SOUS 200513 HAS SOUPS 200507 WITH SCORE 201282.175
AT ITER 3851 NEW BEST:: SOT 3827780 SOS 775154 HAS SOPS 775094 HAS SOUS 200492 HAS SOUPS 200486 WITH SCORE 201261.154
AT ITER 3863 NEW BEST:: SOT 3827760 SOS 775145 HAS SOPS 775085 HAS SOUS 200476 HAS SOUPS 200470 WITH SCORE 201245.145
AT ITER 3883 NEW BEST:: SOT 3827743 SOS 775045 HAS SOPS 774985 HAS SOUS 200300 HAS SOUPS 200294 WITH SCORE 201069.045
AT ITER 3885 NEW BEST:: SOT 3827701 SOS 775003 HAS SOPS 774943 HAS SOUS 200213 HAS SOUPS 200207 WITH SCORE 200982.003
AT ITER 3899 NEW BEST:: SOT 3827648 SOS 774950 HAS SOPS 774890 HAS SOUS 200144 HAS SOUPS 200138 WITH SCORE 200912.95
AT ITER 3900 NEW BEST:: SOT 3827648 SOS 774950 HAS SOPS 774890 HAS SOUS 200133 HAS SOUPS 200127 WITH SCORE 200901.95
AT ITER 3906 NEW BEST:: SOT 3827602 SOS 774904 HAS SOPS 774844 HAS SOUS 200033 HAS SOUPS 200027 WITH SCORE 200801.904
AT ITER 3930 NEW BEST:: SOT 3827501 SOS 774874 HAS SOPS 774814 HAS SOUS 199985 HAS SOUPS 199979 WITH SCORE 200753.874
AT ITER 3937 NEW BEST:: SOT 3827547 SOS 774920 HAS SOPS 774860 HAS SOUS 199663 HAS SOUPS 199657 WITH SCORE 200431.92
AT ITER 3942 NEW BEST:: SOT 3827428 SOS 774801 HAS SOPS 774741 HAS SOUS 199348 HAS SOUPS 199342 WITH SCORE 200116.801
AT ITER 3943 NEW BEST:: SOT 3827582 SOS 774814 HAS SOPS 774754 HAS SOUS 198904 HAS SOUPS 198898 WITH SCORE 199672.814
AT ITER 3948 NEW BEST:: SOT 3827578 SOS 774810 HAS SOPS 774750 HAS SOUS 198900 HAS SOUPS 198894 WITH SCORE 199668.81
AT ITER 3952 NEW BEST:: SOT 3827594 SOS 774826 HAS SOPS 774766 HAS SOUS 198842 HAS SOUPS 198836 WITH SCORE 199610.826
AT ITER 3997 NEW BEST:: SOT 3827531 SOS 774815 HAS SOPS 774755 HAS SOUS 198779 HAS SOUPS 198773 WITH SCORE 199547.815
AT ITER 4006 NEW BEST:: SOT 3827512 SOS 774796 HAS SOPS 774736 HAS SOUS 198760 HAS SOUPS 198754 WITH SCORE 199528.796
AT ITER 4007 NEW BEST:: SOT 3827458 SOS 774742 HAS SOPS 774682 HAS SOUS 198680 HAS SOUPS 198674 WITH SCORE 199448.742
AT ITER 4034 NEW BEST:: SOT 3827232 SOS 774516 HAS SOPS 774456 HAS SOUS 198252 HAS SOUPS 198246 WITH SCORE 199020.516
AT ITER 4041 NEW BEST:: SOT 3827228 SOS 774512 HAS SOPS 774452 HAS SOUS 198246 HAS SOUPS 198240 WITH SCORE 199014.512
AT ITER 4047 NEW BEST:: SOT 3827109 SOS 774393 HAS SOPS 774333 HAS SOUS 197891 HAS SOUPS 197885 WITH SCORE 198659.393
AT ITER 4054 NEW BEST:: SOT 3827451 SOS 774735 HAS SOPS 774675 HAS SOUS 196625 HAS SOUPS 196619 WITH SCORE 197393.735
AT ITER 4056 NEW BEST:: SOT 3827338 SOS 774622 HAS SOPS 774562 HAS SOUS 196135 HAS SOUPS 196129 WITH SCORE 196903.622
AT ITER 4061 NEW BEST:: SOT 3827322 SOS 774606 HAS SOPS 774546 HAS SOUS 196088 HAS SOUPS 196082 WITH SCORE 196856.606
AT ITER 4079 NEW BEST:: SOT 3827211 SOS 774170 HAS SOPS 774110 HAS SOUS 195718 HAS SOUPS 195712 WITH SCORE 196486.17
AT ITER 4088 NEW BEST:: SOT 3827211 SOS 774166 HAS SOPS 774106 HAS SOUS 195718 HAS SOUPS 195712 WITH SCORE 196486.166
AT ITER 4096 NEW BEST:: SOT 3827012 SOS 774142 HAS SOPS 774082 HAS SOUS 195579 HAS SOUPS 195573 WITH SCORE 196347.142
AT ITER 4104 NEW BEST:: SOT 3826967 SOS 774091 HAS SOPS 774031 HAS SOUS 195468 HAS SOUPS 195462 WITH SCORE 196236.091
AT ITER 4164 NEW BEST:: SOT 3826883 SOS 774007 HAS SOPS 773947 HAS SOUS 195368 HAS SOUPS 195362 WITH SCORE 196136.007
AT ITER 4189 NEW BEST:: SOT 3826772 SOS 773896 HAS SOPS 773836 HAS SOUS 195108 HAS SOUPS 195102 WITH SCORE 195875.896
AT ITER 4206 NEW BEST:: SOT 3826687 SOS 773726 HAS SOPS 773666 HAS SOUS 194181 HAS SOUPS 194175 WITH SCORE 194948.726
AT ITER 4224 NEW BEST:: SOT 3826649 SOS 773688 HAS SOPS 773628 HAS SOUS 193941 HAS SOUPS 193935 WITH SCORE 194708.688
AT ITER 4228 NEW BEST:: SOT 3826525 SOS 773540 HAS SOPS 773480 HAS SOUS 192776 HAS SOUPS 192770 WITH SCORE 193543.54
AT ITER 4251 NEW BEST:: SOT 3826496 SOS 773322 HAS SOPS 773262 HAS SOUS 192689 HAS SOUPS 192683 WITH SCORE 193456.322
AT ITER 4264 NEW BEST:: SOT 3826073 SOS 772899 HAS SOPS 772839 HAS SOUS 192266 HAS SOUPS 192260 WITH SCORE 193032.899
AT ITER 4287 NEW BEST:: SOT 3813003 SOS 759801 HAS SOPS 759743 HAS SOUS 191035 HAS SOUPS 191029 WITH SCORE 191788.801
AT ITER 4315 NEW BEST:: SOT 3813077 SOS 759875 HAS SOPS 759817 HAS SOUS 189975 HAS SOUPS 189969 WITH SCORE 190728.875
AT ITER 4316 NEW BEST:: SOT 3813049 SOS 759855 HAS SOPS 759797 HAS SOUS 189955 HAS SOUPS 189949 WITH SCORE 190708.855
AT ITER 4339 NEW BEST:: SOT 3813025 SOS 759831 HAS SOPS 759773 HAS SOUS 189906 HAS SOUPS 189900 WITH SCORE 190659.831
AT ITER 4354 NEW BEST:: SOT 3813078 SOS 759884 HAS SOPS 759826 HAS SOUS 189711 HAS SOUPS 189705 WITH SCORE 190464.884
AT ITER 4355 NEW BEST:: SOT 3812984 SOS 759790 HAS SOPS 759732 HAS SOUS 189547 HAS SOUPS 189541 WITH SCORE 190300.79
AT ITER 4367 NEW BEST:: SOT 3812975 SOS 759840 HAS SOPS 759782 HAS SOUS 189546 HAS SOUPS 189540 WITH SCORE 190299.84
AT ITER 4371 NEW BEST:: SOT 3812975 SOS 759840 HAS SOPS 759782 HAS SOUS 189368 HAS SOUPS 189362 WITH SCORE 190121.84
AT ITER 4402 NEW BEST:: SOT 3812867 SOS 759732 HAS SOPS 759674 HAS SOUS 189135 HAS SOUPS 189129 WITH SCORE 189888.732
AT ITER 4411 NEW BEST:: SOT 3812850 SOS 759813 HAS SOPS 759755 HAS SOUS 189101 HAS SOUPS 189095 WITH SCORE 189854.813
AT ITER 4423 NEW BEST:: SOT 3812838 SOS 759801 HAS SOPS 759743 HAS SOUS 189089 HAS SOUPS 189083 WITH SCORE 189842.801
AT ITER 4427 NEW BEST:: SOT 3813013 SOS 759976 HAS SOPS 759918 HAS SOUS 188453 HAS SOUPS 188447 WITH SCORE 189206.976
AT ITER 4448 NEW BEST:: SOT 3812688 SOS 759651 HAS SOPS 759593 HAS SOUS 188014 HAS SOUPS 188008 WITH SCORE 188767.651
AT ITER 4452 NEW BEST:: SOT 3812686 SOS 759649 HAS SOPS 759591 HAS SOUS 188004 HAS SOUPS 187998 WITH SCORE 188757.649
AT ITER 4463 NEW BEST:: SOT 3812858 SOS 759821 HAS SOPS 759763 HAS SOUS 187650 HAS SOUPS 187644 WITH SCORE 188403.821
AT ITER 4465 NEW BEST:: SOT 3812804 SOS 759767 HAS SOPS 759709 HAS SOUS 187650 HAS SOUPS 187644 WITH SCORE 188403.767
AT ITER 4469 NEW BEST:: SOT 3812792 SOS 759755 HAS SOPS 759697 HAS SOUS 187638 HAS SOUPS 187632 WITH SCORE 188391.755
AT ITER 4482 NEW BEST:: SOT 3812771 SOS 759041 HAS SOPS 758983 HAS SOUS 187610 HAS SOUPS 187604 WITH SCORE 188363.041
AT ITER 4492 NEW BEST:: SOT 3812719 SOS 758989 HAS SOPS 758931 HAS SOUS 187534 HAS SOUPS 187528 WITH SCORE 188286.989
AT ITER 4499 NEW BEST:: SOT 3812706 SOS 758976 HAS SOPS 758918 HAS SOUS 187533 HAS SOUPS 187527 WITH SCORE 188285.976
AT ITER 4504 NEW BEST:: SOT 3812849 SOS 759119 HAS SOPS 759061 HAS SOUS 187280 HAS SOUPS 187274 WITH SCORE 188033.119
AT ITER 4512 NEW BEST:: SOT 3812978 SOS 759248 HAS SOPS 759190 HAS SOUS 186750 HAS SOUPS 186744 WITH SCORE 187503.248
AT ITER 4557 NEW BEST:: SOT 3812960 SOS 759230 HAS SOPS 759172 HAS SOUS 186720 HAS SOUPS 186714 WITH SCORE 187473.23
AT ITER 4564 NEW BEST:: SOT 3812949 SOS 759219 HAS SOPS 759161 HAS SOUS 186709 HAS SOUPS 186703 WITH SCORE 187462.219
AT ITER 4587 NEW BEST:: SOT 3812949 SOS 759219 HAS SOPS 759161 HAS SOUS 186701 HAS SOUPS 186695 WITH SCORE 187454.219
AT ITER 4602 NEW BEST:: SOT 3812925 SOS 759195 HAS SOPS 759137 HAS SOUS 186677 HAS SOUPS 186671 WITH SCORE 187430.195
AT ITER 4620 NEW BEST:: SOT 3812867 SOS 759137 HAS SOPS 759079 HAS SOUS 186595 HAS SOUPS 186589 WITH SCORE 187348.137
AT ITER 4641 NEW BEST:: SOT 3812834 SOS 759104 HAS SOPS 759046 HAS SOUS 186536 HAS SOUPS 186530 WITH SCORE 187289.104
AT ITER 4647 NEW BEST:: SOT 3812813 SOS 759090 HAS SOPS 759032 HAS SOUS 186515 HAS SOUPS 186509 WITH SCORE 187268.09
AT ITER 4649 NEW BEST:: SOT 3812773 SOS 759050 HAS SOPS 758992 HAS SOUS 186475 HAS SOUPS 186469 WITH SCORE 187228.05
AT ITER 4656 NEW BEST:: SOT 3812767 SOS 759044 HAS SOPS 758986 HAS SOUS 186469 HAS SOUPS 186463 WITH SCORE 187222.044
AT ITER 4678 NEW BEST:: SOT 3812738 SOS 758985 HAS SOPS 758927 HAS SOUS 186381 HAS SOUPS 186375 WITH SCORE 187133.985
AT ITER 4715 NEW BEST:: SOT 3812661 SOS 758908 HAS SOPS 758850 HAS SOUS 186284 HAS SOUPS 186278 WITH SCORE 187036.908
AT ITER 4718 NEW BEST:: SOT 3812628 SOS 758875 HAS SOPS 758817 HAS SOUS 185867 HAS SOUPS 185861 WITH SCORE 186619.875
AT ITER 4719 NEW BEST:: SOT 3812587 SOS 758834 HAS SOPS 758776 HAS SOUS 185813 HAS SOUPS 185807 WITH SCORE 186565.834
AT ITER 4722 NEW BEST:: SOT 3812580 SOS 758827 HAS SOPS 758769 HAS SOUS 185806 HAS SOUPS 185800 WITH SCORE 186558.827
AT ITER 4734 NEW BEST:: SOT 3812573 SOS 758820 HAS SOPS 758762 HAS SOUS 185179 HAS SOUPS 185173 WITH SCORE 185931.82
AT ITER 4740 NEW BEST:: SOT 3812573 SOS 758820 HAS SOPS 758762 HAS SOUS 185160 HAS SOUPS 185154 WITH SCORE 185912.82
AT ITER 4745 NEW BEST:: SOT 3812541 SOS 758788 HAS SOPS 758730 HAS SOUS 185106 HAS SOUPS 185100 WITH SCORE 185858.788
AT ITER 4759 NEW BEST:: SOT 3812554 SOS 758801 HAS SOPS 758743 HAS SOUS 185053 HAS SOUPS 185047 WITH SCORE 185805.801
AT ITER 4773 NEW BEST:: SOT 3812585 SOS 758832 HAS SOPS 758774 HAS SOUS 184807 HAS SOUPS 184801 WITH SCORE 185559.832
AT ITER 4787 NEW BEST:: SOT 3812894 SOS 759141 HAS SOPS 759083 HAS SOUS 184711 HAS SOUPS 184705 WITH SCORE 185464.141
AT ITER 4795 NEW BEST:: SOT 3812874 SOS 759121 HAS SOPS 759063 HAS SOUS 184691 HAS SOUPS 184685 WITH SCORE 185444.121
AT ITER 4804 NEW BEST:: SOT 3812872 SOS 759119 HAS SOPS 759061 HAS SOUS 184687 HAS SOUPS 184681 WITH SCORE 185440.119
AT ITER 4826 NEW BEST:: SOT 3812756 SOS 759073 HAS SOPS 759015 HAS SOUS 184600 HAS SOUPS 184594 WITH SCORE 185353.073
AT ITER 4902 NEW BEST:: SOT 3812741 SOS 759058 HAS SOPS 759000 HAS SOUS 184585 HAS SOUPS 184579 WITH SCORE 185338.058
AT ITER 4919 NEW BEST:: SOT 3812714 SOS 759004 HAS SOPS 758946 HAS SOUS 184531 HAS SOUPS 184525 WITH SCORE 185284.004
AT ITER 4923 NEW BEST:: SOT 3812555 SOS 758845 HAS SOPS 758787 HAS SOUS 184372 HAS SOUPS 184366 WITH SCORE 185124.845
AT ITER 4964 NEW BEST:: SOT 3812548 SOS 758838 HAS SOPS 758780 HAS SOUS 184243 HAS SOUPS 184237 WITH SCORE 184995.838
AT ITER 4968 NEW BEST:: SOT 3812534 SOS 758824 HAS SOPS 758766 HAS SOUS 184138 HAS SOUPS 184132 WITH SCORE 184890.824
AT ITER 4980 NEW BEST:: SOT 3812628 SOS 758918 HAS SOPS 758860 HAS SOUS 183754 HAS SOUPS 183748 WITH SCORE 184506.918
AT ITER 4987 NEW BEST:: SOT 3812640 SOS 758903 HAS SOPS 758845 HAS SOUS 183734 HAS SOUPS 183728 WITH SCORE 184486.903
AT ITER 4992 NEW BEST:: SOT 3812545 SOS 758808 HAS SOPS 758750 HAS SOUS 183540 HAS SOUPS 183534 WITH SCORE 184292.808
AT ITER 4998 NEW BEST:: SOT 3812674 SOS 758937 HAS SOPS 758879 HAS SOUS 183302 HAS SOUPS 183296 WITH SCORE 184054.937
AT ITER 5001 NEW BEST:: SOT 3812672 SOS 758935 HAS SOPS 758877 HAS SOUS 183297 HAS SOUPS 183291 WITH SCORE 184049.935
AT ITER 5023 NEW BEST:: SOT 3812841 SOS 759104 HAS SOPS 759046 HAS SOUS 183203 HAS SOUPS 183197 WITH SCORE 183956.104
AT ITER 5029 NEW BEST:: SOT 3813020 SOS 759283 HAS SOPS 759225 HAS SOUS 183009 HAS SOUPS 183003 WITH SCORE 183762.283
AT ITER 5035 NEW BEST:: SOT 3812988 SOS 759251 HAS SOPS 759193 HAS SOUS 182867 HAS SOUPS 182861 WITH SCORE 183620.251
AT ITER 5046 NEW BEST:: SOT 3812912 SOS 759206 HAS SOPS 759148 HAS SOUS 182777 HAS SOUPS 182771 WITH SCORE 183530.206
AT ITER 5049 NEW BEST:: SOT 3812430 SOS 758724 HAS SOPS 758666 HAS SOUS 182295 HAS SOUPS 182289 WITH SCORE 183047.724
AT ITER 5054 NEW BEST:: SOT 3812377 SOS 758671 HAS SOPS 758613 HAS SOUS 182221 HAS SOUPS 182215 WITH SCORE 182973.671
AT ITER 5069 NEW BEST:: SOT 3812320 SOS 758614 HAS SOPS 758556 HAS SOUS 182082 HAS SOUPS 182076 WITH SCORE 182834.614
AT ITER 5077 NEW BEST:: SOT 3812313 SOS 758607 HAS SOPS 758549 HAS SOUS 182075 HAS SOUPS 182069 WITH SCORE 182827.607
AT ITER 5083 NEW BEST:: SOT 3812206 SOS 758500 HAS SOPS 758442 HAS SOUS 181728 HAS SOUPS 181722 WITH SCORE 182480.5
AT ITER 5144 NEW BEST:: SOT 3812171 SOS 758500 HAS SOPS 758442 HAS SOUS 181712 HAS SOUPS 181706 WITH SCORE 182464.5
AT ITER 5146 NEW BEST:: SOT 3812181 SOS 758510 HAS SOPS 758452 HAS SOUS 181670 HAS SOUPS 181664 WITH SCORE 182422.51
AT ITER 5147 NEW BEST:: SOT 3812114 SOS 758443 HAS SOPS 758385 HAS SOUS 181010 HAS SOUPS 181004 WITH SCORE 181762.443
AT ITER 5151 NEW BEST:: SOT 3812114 SOS 758443 HAS SOPS 758385 HAS SOUS 180958 HAS SOUPS 180952 WITH SCORE 181710.443
AT ITER 5174 NEW BEST:: SOT 3812114 SOS 758517 HAS SOPS 758459 HAS SOUS 180954 HAS SOUPS 180948 WITH SCORE 181706.517
AT ITER 5191 NEW BEST:: SOT 3812114 SOS 758470 HAS SOPS 758412 HAS SOUS 180907 HAS SOUPS 180901 WITH SCORE 181659.47
AT ITER 5199 NEW BEST:: SOT 3812066 SOS 758422 HAS SOPS 758364 HAS SOUS 180851 HAS SOUPS 180845 WITH SCORE 181603.422
AT ITER 5228 NEW BEST:: SOT 3812060 SOS 758416 HAS SOPS 758358 HAS SOUS 180845 HAS SOUPS 180839 WITH SCORE 181597.416
AT ITER 5257 NEW BEST:: SOT 3812009 SOS 758365 HAS SOPS 758307 HAS SOUS 180794 HAS SOUPS 180788 WITH SCORE 181546.365
AT ITER 5274 NEW BEST:: SOT 3812009 SOS 758365 HAS SOPS 758307 HAS SOUS 180765 HAS SOUPS 180759 WITH SCORE 181517.365
AT ITER 5281 NEW BEST:: SOT 3812158 SOS 758514 HAS SOPS 758456 HAS SOUS 180739 HAS SOUPS 180733 WITH SCORE 181491.514
AT ITER 5283 NEW BEST:: SOT 3812014 SOS 758370 HAS SOPS 758312 HAS SOUS 180619 HAS SOUPS 180613 WITH SCORE 181371.37
AT ITER 5284 NEW BEST:: SOT 3811959 SOS 758315 HAS SOPS 758257 HAS SOUS 180172 HAS SOUPS 180166 WITH SCORE 180924.315
AT ITER 5286 NEW BEST:: SOT 3811877 SOS 758233 HAS SOPS 758175 HAS SOUS 180044 HAS SOUPS 180038 WITH SCORE 180796.233
AT ITER 5296 NEW BEST:: SOT 3811870 SOS 758226 HAS SOPS 758168 HAS SOUS 180037 HAS SOUPS 180031 WITH SCORE 180789.226
AT ITER 5316 NEW BEST:: SOT 3811842 SOS 758198 HAS SOPS 758140 HAS SOUS 180009 HAS SOUPS 180003 WITH SCORE 180761.198
AT ITER 5326 NEW BEST:: SOT 3811860 SOS 758216 HAS SOPS 758158 HAS SOUS 179988 HAS SOUPS 179982 WITH SCORE 180740.216
AT ITER 5344 NEW BEST:: SOT 3811839 SOS 758195 HAS SOPS 758137 HAS SOUS 179902 HAS SOUPS 179896 WITH SCORE 180654.195
AT ITER 5348 NEW BEST:: SOT 3811790 SOS 758146 HAS SOPS 758088 HAS SOUS 179758 HAS SOUPS 179752 WITH SCORE 180510.146
AT ITER 5360 NEW BEST:: SOT 3811567 SOS 757923 HAS SOPS 757865 HAS SOUS 179340 HAS SOUPS 179334 WITH SCORE 180091.923
AT ITER 5376 NEW BEST:: SOT 3811541 SOS 757897 HAS SOPS 757839 HAS SOUS 179320 HAS SOUPS 179314 WITH SCORE 180071.897
AT ITER 5380 NEW BEST:: SOT 3811495 SOS 757899 HAS SOPS 757841 HAS SOUS 178759 HAS SOUPS 178753 WITH SCORE 179510.899
AT ITER 5395 NEW BEST:: SOT 3811457 SOS 757861 HAS SOPS 757803 HAS SOUS 178723 HAS SOUPS 178717 WITH SCORE 179474.861
AT ITER 5398 NEW BEST:: SOT 3811457 SOS 757845 HAS SOPS 757787 HAS SOUS 178716 HAS SOUPS 178710 WITH SCORE 179467.845
AT ITER 5412 NEW BEST:: SOT 3811447 SOS 757835 HAS SOPS 757777 HAS SOUS 178705 HAS SOUPS 178699 WITH SCORE 179456.835
AT ITER 5426 NEW BEST:: SOT 3811451 SOS 757839 HAS SOPS 757781 HAS SOUS 178689 HAS SOUPS 178683 WITH SCORE 179440.839
AT ITER 5429 NEW BEST:: SOT 3811419 SOS 757807 HAS SOPS 757749 HAS SOUS 178653 HAS SOUPS 178647 WITH SCORE 179404.807
AT ITER 5440 NEW BEST:: SOT 3811372 SOS 757760 HAS SOPS 757702 HAS SOUS 178512 HAS SOUPS 178506 WITH SCORE 179263.76
AT ITER 5442 NEW BEST:: SOT 3811377 SOS 757765 HAS SOPS 757707 HAS SOUS 178449 HAS SOUPS 178443 WITH SCORE 179200.765
AT ITER 5464 NEW BEST:: SOT 3811143 SOS 757531 HAS SOPS 757473 HAS SOUS 178123 HAS SOUPS 178117 WITH SCORE 178874.531
AT ITER 5465 NEW BEST:: SOT 3811080 SOS 757505 HAS SOPS 757447 HAS SOUS 178060 HAS SOUPS 178054 WITH SCORE 178811.505
AT ITER 5483 NEW BEST:: SOT 3811066 SOS 757491 HAS SOPS 757433 HAS SOUS 178059 HAS SOUPS 178053 WITH SCORE 178810.491
AT ITER 5501 NEW BEST:: SOT 3810907 SOS 757332 HAS SOPS 757274 HAS SOUS 177764 HAS SOUPS 177758 WITH SCORE 178515.332
AT ITER 5515 NEW BEST:: SOT 3810791 SOS 757176 HAS SOPS 757118 HAS SOUS 177536 HAS SOUPS 177530 WITH SCORE 178287.176
AT ITER 5537 NEW BEST:: SOT 3810992 SOS 757377 HAS SOPS 757319 HAS SOUS 177515 HAS SOUPS 177509 WITH SCORE 178266.377
AT ITER 5542 NEW BEST:: SOT 3810984 SOS 757369 HAS SOPS 757311 HAS SOUS 177505 HAS SOUPS 177499 WITH SCORE 178256.369
AT ITER 5579 NEW BEST:: SOT 3810981 SOS 757366 HAS SOPS 757308 HAS SOUS 177475 HAS SOUPS 177469 WITH SCORE 178226.366
AT ITER 5584 NEW BEST:: SOT 3811018 SOS 757403 HAS SOPS 757345 HAS SOUS 177428 HAS SOUPS 177422 WITH SCORE 178179.403
AT ITER 5588 NEW BEST:: SOT 3810812 SOS 757197 HAS SOPS 757139 HAS SOUS 177203 HAS SOUPS 177197 WITH SCORE 177954.197
AT ITER 5598 NEW BEST:: SOT 3810772 SOS 757157 HAS SOPS 757099 HAS SOUS 177106 HAS SOUPS 177100 WITH SCORE 177857.157
AT ITER 5600 NEW BEST:: SOT 3810776 SOS 757133 HAS SOPS 757075 HAS SOUS 177054 HAS SOUPS 177048 WITH SCORE 177805.133
AT ITER 5608 NEW BEST:: SOT 3810763 SOS 757120 HAS SOPS 757062 HAS SOUS 177029 HAS SOUPS 177023 WITH SCORE 177780.12
AT ITER 5628 NEW BEST:: SOT 3810755 SOS 761832 HAS SOPS 761774 HAS SOUS 177014 HAS SOUPS 177008 WITH SCORE 177769.832
AT ITER 5641 NEW BEST:: SOT 3810684 SOS 761505 HAS SOPS 761447 HAS SOUS 176854 HAS SOUPS 176848 WITH SCORE 177609.505
AT ITER 5642 NEW BEST:: SOT 3810677 SOS 761498 HAS SOPS 761440 HAS SOUS 176847 HAS SOUPS 176841 WITH SCORE 177602.498
AT ITER 5647 NEW BEST:: SOT 3810637 SOS 761458 HAS SOPS 761400 HAS SOUS 176689 HAS SOUPS 176683 WITH SCORE 177444.458
AT ITER 5665 NEW BEST:: SOT 3810633 SOS 761454 HAS SOPS 761396 HAS SOUS 176685 HAS SOUPS 176679 WITH SCORE 177440.454
AT ITER 5674 NEW BEST:: SOT 3810585 SOS 761358 HAS SOPS 761300 HAS SOUS 176589 HAS SOUPS 176583 WITH SCORE 177344.358
AT ITER 5692 NEW BEST:: SOT 3810529 SOS 761302 HAS SOPS 761244 HAS SOUS 176495 HAS SOUPS 176489 WITH SCORE 177250.302
AT ITER 5720 NEW BEST:: SOT 3810452 SOS 761225 HAS SOPS 761167 HAS SOUS 176438 HAS SOUPS 176432 WITH SCORE 177193.225
AT ITER 5729 NEW BEST:: SOT 3810372 SOS 761145 HAS SOPS 761087 HAS SOUS 176266 HAS SOUPS 176260 WITH SCORE 177021.145
AT ITER 5743 NEW BEST:: SOT 3810281 SOS 761116 HAS SOPS 761058 HAS SOUS 176236 HAS SOUPS 176230 WITH SCORE 176991.116
AT ITER 5755 NEW BEST:: SOT 3810204 SOS 761039 HAS SOPS 760981 HAS SOUS 176174 HAS SOUPS 176168 WITH SCORE 176929.039
AT ITER 5759 NEW BEST:: SOT 3810140 SOS 760975 HAS SOPS 760917 HAS SOUS 176032 HAS SOUPS 176026 WITH SCORE 176786.975
AT ITER 5765 NEW BEST:: SOT 3810139 SOS 760974 HAS SOPS 760916 HAS SOUS 176031 HAS SOUPS 176025 WITH SCORE 176785.974
AT ITER 5776 NEW BEST:: SOT 3809954 SOS 760789 HAS SOPS 760731 HAS SOUS 175846 HAS SOUPS 175840 WITH SCORE 176600.789
AT ITER 5779 NEW BEST:: SOT 3810034 SOS 760869 HAS SOPS 760811 HAS SOUS 175482 HAS SOUPS 175476 WITH SCORE 176236.869
AT ITER 5792 NEW BEST:: SOT 3809988 SOS 760823 HAS SOPS 760765 HAS SOUS 175459 HAS SOUPS 175453 WITH SCORE 176213.823
AT ITER 5820 NEW BEST:: SOT 3809988 SOS 760823 HAS SOPS 760765 HAS SOUS 175449 HAS SOUPS 175443 WITH SCORE 176203.823
AT ITER 5846 NEW BEST:: SOT 3809986 SOS 760821 HAS SOPS 760763 HAS SOUS 175447 HAS SOUPS 175441 WITH SCORE 176201.821
AT ITER 5848 NEW BEST:: SOT 3809904 SOS 760739 HAS SOPS 760681 HAS SOUS 175275 HAS SOUPS 175269 WITH SCORE 176029.739
AT ITER 5852 NEW BEST:: SOT 3809904 SOS 760739 HAS SOPS 760681 HAS SOUS 175269 HAS SOUPS 175263 WITH SCORE 176023.739
AT ITER 5864 NEW BEST:: SOT 3809768 SOS 760603 HAS SOPS 760545 HAS SOUS 175083 HAS SOUPS 175077 WITH SCORE 175837.603
AT ITER 5879 NEW BEST:: SOT 3809706 SOS 760541 HAS SOPS 760483 HAS SOUS 174904 HAS SOUPS 174898 WITH SCORE 175658.541
AT ITER 5881 NEW BEST:: SOT 3809687 SOS 760522 HAS SOPS 760464 HAS SOUS 174885 HAS SOUPS 174879 WITH SCORE 175639.522
AT ITER 5899 NEW BEST:: SOT 3809658 SOS 760484 HAS SOPS 760426 HAS SOUS 174384 HAS SOUPS 174378 WITH SCORE 175138.484
AT ITER 5903 NEW BEST:: SOT 3809655 SOS 760478 HAS SOPS 760420 HAS SOUS 174372 HAS SOUPS 174366 WITH SCORE 175126.478
AT ITER 5906 NEW BEST:: SOT 3809607 SOS 760430 HAS SOPS 760372 HAS SOUS 174324 HAS SOUPS 174318 WITH SCORE 175078.43
AT ITER 5911 NEW BEST:: SOT 3809522 SOS 760345 HAS SOPS 760287 HAS SOUS 174239 HAS SOUPS 174233 WITH SCORE 174993.345
AT ITER 5912 NEW BEST:: SOT 3809468 SOS 760291 HAS SOPS 760233 HAS SOUS 174158 HAS SOUPS 174152 WITH SCORE 174912.291
AT ITER 5928 NEW BEST:: SOT 3809463 SOS 760286 HAS SOPS 760228 HAS SOUS 174103 HAS SOUPS 174097 WITH SCORE 174857.286
AT ITER 5929 NEW BEST:: SOT 3809431 SOS 760254 HAS SOPS 760196 HAS SOUS 174062 HAS SOUPS 174056 WITH SCORE 174816.254
AT ITER 5931 NEW BEST:: SOT 3809431 SOS 760254 HAS SOPS 760196 HAS SOUS 173569 HAS SOUPS 173563 WITH SCORE 174323.254
AT ITER 5932 NEW BEST:: SOT 3809383 SOS 760206 HAS SOPS 760148 HAS SOUS 173517 HAS SOUPS 173511 WITH SCORE 174271.206
AT ITER 5952 NEW BEST:: SOT 3809341 SOS 760200 HAS SOPS 760142 HAS SOUS 173505 HAS SOUPS 173499 WITH SCORE 174259.2
AT ITER 5967 NEW BEST:: SOT 3809104 SOS 759963 HAS SOPS 759905 HAS SOUS 173069 HAS SOUPS 173063 WITH SCORE 173822.963
AT ITER 5974 NEW BEST:: SOT 3809034 SOS 759893 HAS SOPS 759835 HAS SOUS 172959 HAS SOUPS 172953 WITH SCORE 173712.893
AT ITER 5995 NEW BEST:: SOT 3809034 SOS 759845 HAS SOPS 759787 HAS SOUS 172868 HAS SOUPS 172862 WITH SCORE 173621.845
AT ITER 6011 NEW BEST:: SOT 3808996 SOS 759934 HAS SOPS 759876 HAS SOUS 172800 HAS SOUPS 172794 WITH SCORE 173553.934
AT ITER 6027 NEW BEST:: SOT 3808981 SOS 759919 HAS SOPS 759861 HAS SOUS 172785 HAS SOUPS 172779 WITH SCORE 173538.919
AT ITER 6029 NEW BEST:: SOT 3808728 SOS 759666 HAS SOPS 759608 HAS SOUS 172495 HAS SOUPS 172489 WITH SCORE 173248.666
AT ITER 6033 NEW BEST:: SOT 3808776 SOS 759714 HAS SOPS 759656 HAS SOUS 172193 HAS SOUPS 172187 WITH SCORE 172946.714
AT ITER 6053 NEW BEST:: SOT 3808776 SOS 759707 HAS SOPS 759649 HAS SOUS 172179 HAS SOUPS 172173 WITH SCORE 172932.707
AT ITER 6055 NEW BEST:: SOT 3808745 SOS 759676 HAS SOPS 759618 HAS SOUS 172148 HAS SOUPS 172142 WITH SCORE 172901.676
AT ITER 6061 NEW BEST:: SOT 3808739 SOS 759670 HAS SOPS 759612 HAS SOUS 172136 HAS SOUPS 172130 WITH SCORE 172889.67
AT ITER 6097 NEW BEST:: SOT 3808593 SOS 759524 HAS SOPS 759466 HAS SOUS 171712 HAS SOUPS 171706 WITH SCORE 172465.524
AT ITER 6106 NEW BEST:: SOT 3808478 SOS 759409 HAS SOPS 759351 HAS SOUS 171550 HAS SOUPS 171544 WITH SCORE 172303.409
AT ITER 6163 NEW BEST:: SOT 3808472 SOS 759403 HAS SOPS 759345 HAS SOUS 171538 HAS SOUPS 171532 WITH SCORE 172291.403
AT ITER 6166 NEW BEST:: SOT 3808436 SOS 759503 HAS SOPS 759445 HAS SOUS 171466 HAS SOUPS 171460 WITH SCORE 172219.503
AT ITER 6220 NEW BEST:: SOT 3808408 SOS 759475 HAS SOPS 759417 HAS SOUS 171203 HAS SOUPS 171197 WITH SCORE 171956.475
AT ITER 6222 NEW BEST:: SOT 3808388 SOS 759455 HAS SOPS 759397 HAS SOUS 171183 HAS SOUPS 171177 WITH SCORE 171936.455
AT ITER 6228 NEW BEST:: SOT 3808382 SOS 759470 HAS SOPS 759412 HAS SOUS 171144 HAS SOUPS 171138 WITH SCORE 171897.47
AT ITER 6241 NEW BEST:: SOT 3808155 SOS 759243 HAS SOPS 759185 HAS SOUS 170917 HAS SOUPS 170911 WITH SCORE 171670.243
AT ITER 6250 NEW BEST:: SOT 3808115 SOS 759203 HAS SOPS 759145 HAS SOUS 170909 HAS SOUPS 170903 WITH SCORE 171662.203
AT ITER 6256 NEW BEST:: SOT 3808097 SOS 760732 HAS SOPS 760680 HAS SOUS 170836 HAS SOUPS 170830 WITH SCORE 171590.732
AT ITER 6270 NEW BEST:: SOT 3808059 SOS 760694 HAS SOPS 760642 HAS SOUS 170798 HAS SOUPS 170792 WITH SCORE 171552.694
AT ITER 6272 NEW BEST:: SOT 3808059 SOS 760694 HAS SOPS 760642 HAS SOUS 170773 HAS SOUPS 170767 WITH SCORE 171527.694
AT ITER 6295 NEW BEST:: SOT 3807989 SOS 760624 HAS SOPS 760572 HAS SOUS 170703 HAS SOUPS 170697 WITH SCORE 171457.624
AT ITER 6307 NEW BEST:: SOT 3807907 SOS 760542 HAS SOPS 760490 HAS SOUS 170621 HAS SOUPS 170615 WITH SCORE 171375.542
AT ITER 6309 NEW BEST:: SOT 3807910 SOS 760545 HAS SOPS 760493 HAS SOUS 170567 HAS SOUPS 170561 WITH SCORE 171321.545
AT ITER 6311 NEW BEST:: SOT 3807798 SOS 760321 HAS SOPS 760269 HAS SOUS 170343 HAS SOUPS 170337 WITH SCORE 171097.321
AT ITER 6335 NEW BEST:: SOT 3807797 SOS 760281 HAS SOPS 760229 HAS SOUS 170303 HAS SOUPS 170297 WITH SCORE 171057.281
AT ITER 6344 NEW BEST:: SOT 3807797 SOS 760281 HAS SOPS 760229 HAS SOUS 170302 HAS SOUPS 170296 WITH SCORE 171056.281
AT ITER 6367 NEW BEST:: SOT 3807797 SOS 760281 HAS SOPS 760229 HAS SOUS 169387 HAS SOUPS 169381 WITH SCORE 170141.281
AT ITER 6373 NEW BEST:: SOT 3807796 SOS 760280 HAS SOPS 760228 HAS SOUS 169354 HAS SOUPS 169348 WITH SCORE 170108.28
AT ITER 6386 NEW BEST:: SOT 3807782 SOS 760266 HAS SOPS 760214 HAS SOUS 169210 HAS SOUPS 169204 WITH SCORE 169964.266
AT ITER 6407 NEW BEST:: SOT 3807796 SOS 760280 HAS SOPS 760228 HAS SOUS 169176 HAS SOUPS 169170 WITH SCORE 169930.28
AT ITER 6416 NEW BEST:: SOT 3807724 SOS 760208 HAS SOPS 760156 HAS SOUS 169096 HAS SOUPS 169090 WITH SCORE 169850.208
AT ITER 6479 NEW BEST:: SOT 3807608 SOS 760151 HAS SOPS 760099 HAS SOUS 168982 HAS SOUPS 168976 WITH SCORE 169736.151
AT ITER 6490 NEW BEST:: SOT 3807578 SOS 760121 HAS SOPS 760069 HAS SOUS 168945 HAS SOUPS 168939 WITH SCORE 169699.121
AT ITER 6498 NEW BEST:: SOT 3807563 SOS 760106 HAS SOPS 760054 HAS SOUS 168930 HAS SOUPS 168924 WITH SCORE 169684.106
AT ITER 6504 NEW BEST:: SOT 3807847 SOS 760390 HAS SOPS 760338 HAS SOUS 168688 HAS SOUPS 168682 WITH SCORE 169442.39
AT ITER 6516 NEW BEST:: SOT 3807790 SOS 760333 HAS SOPS 760281 HAS SOUS 168611 HAS SOUPS 168605 WITH SCORE 169365.333
AT ITER 6517 NEW BEST:: SOT 3807786 SOS 760329 HAS SOPS 760277 HAS SOUS 168544 HAS SOUPS 168538 WITH SCORE 169298.329
AT ITER 6523 NEW BEST:: SOT 3807762 SOS 760305 HAS SOPS 760253 HAS SOUS 168497 HAS SOUPS 168491 WITH SCORE 169251.305
AT ITER 6533 NEW BEST:: SOT 3807730 SOS 760273 HAS SOPS 760221 HAS SOUS 168451 HAS SOUPS 168445 WITH SCORE 169205.273
AT ITER 6567 NEW BEST:: SOT 3807582 SOS 760125 HAS SOPS 760073 HAS SOUS 168101 HAS SOUPS 168095 WITH SCORE 168855.125
AT ITER 6571 NEW BEST:: SOT 3807445 SOS 759988 HAS SOPS 759936 HAS SOUS 167964 HAS SOUPS 167958 WITH SCORE 168717.988
AT ITER 6628 NEW BEST:: SOT 3807443 SOS 759986 HAS SOPS 759934 HAS SOUS 167962 HAS SOUPS 167956 WITH SCORE 168715.986
AT ITER 6634 NEW BEST:: SOT 3807393 SOS 759936 HAS SOPS 759884 HAS SOUS 167880 HAS SOUPS 167874 WITH SCORE 168633.936
AT ITER 6656 NEW BEST:: SOT 3807251 SOS 759794 HAS SOPS 759742 HAS SOUS 167654 HAS SOUPS 167648 WITH SCORE 168407.794
AT ITER 6657 NEW BEST:: SOT 3807251 SOS 759710 HAS SOPS 759658 HAS SOUS 167654 HAS SOUPS 167648 WITH SCORE 168407.71
AT ITER 6690 NEW BEST:: SOT 3807142 SOS 759647 HAS SOPS 759595 HAS SOUS 167528 HAS SOUPS 167522 WITH SCORE 168281.647
AT ITER 6697 NEW BEST:: SOT 3807275 SOS 759780 HAS SOPS 759728 HAS SOUS 165738 HAS SOUPS 165732 WITH SCORE 166491.78
AT ITER 6699 NEW BEST:: SOT 3807285 SOS 759790 HAS SOPS 759738 HAS SOUS 165688 HAS SOUPS 165682 WITH SCORE 166441.79
AT ITER 6702 NEW BEST:: SOT 3807285 SOS 759790 HAS SOPS 759738 HAS SOUS 165646 HAS SOUPS 165640 WITH SCORE 166399.79
AT ITER 6713 NEW BEST:: SOT 3807282 SOS 759787 HAS SOPS 759735 HAS SOUS 165643 HAS SOUPS 165637 WITH SCORE 166396.787
AT ITER 6727 NEW BEST:: SOT 3806980 SOS 759485 HAS SOPS 759433 HAS SOUS 165169 HAS SOUPS 165163 WITH SCORE 165922.485
AT ITER 6767 NEW BEST:: SOT 3806895 SOS 759400 HAS SOPS 759348 HAS SOUS 164834 HAS SOUPS 164828 WITH SCORE 165587.4
AT ITER 6779 NEW BEST:: SOT 3806883 SOS 759388 HAS SOPS 759336 HAS SOUS 164822 HAS SOUPS 164816 WITH SCORE 165575.388
AT ITER 6802 NEW BEST:: SOT 3806751 SOS 759256 HAS SOPS 759204 HAS SOUS 164633 HAS SOUPS 164627 WITH SCORE 165386.256
AT ITER 6805 NEW BEST:: SOT 3806804 SOS 759292 HAS SOPS 759240 HAS SOUS 164621 HAS SOUPS 164615 WITH SCORE 165374.292
AT ITER 6846 NEW BEST:: SOT 3806744 SOS 759232 HAS SOPS 759180 HAS SOUS 164501 HAS SOUPS 164495 WITH SCORE 165254.232
AT ITER 6861 NEW BEST:: SOT 3806681 SOS 759169 HAS SOPS 759117 HAS SOUS 163798 HAS SOUPS 163792 WITH SCORE 164551.169
AT ITER 6899 NEW BEST:: SOT 3806610 SOS 759098 HAS SOPS 759046 HAS SOUS 163683 HAS SOUPS 163677 WITH SCORE 164436.098
AT ITER 6910 NEW BEST:: SOT 3806610 SOS 759098 HAS SOPS 759046 HAS SOUS 163661 HAS SOUPS 163655 WITH SCORE 164414.098
AT ITER 6926 NEW BEST:: SOT 3806595 SOS 759083 HAS SOPS 759031 HAS SOUS 163646 HAS SOUPS 163640 WITH SCORE 164399.083
AT ITER 6962 NEW BEST:: SOT 3806423 SOS 758911 HAS SOPS 758859 HAS SOUS 163403 HAS SOUPS 163397 WITH SCORE 164155.911
AT ITER 6971 NEW BEST:: SOT 3806423 SOS 758911 HAS SOPS 758859 HAS SOUS 163319 HAS SOUPS 163313 WITH SCORE 164071.911
AT ITER 6982 NEW BEST:: SOT 3806407 SOS 758895 HAS SOPS 758843 HAS SOUS 163287 HAS SOUPS 163281 WITH SCORE 164039.895
AT ITER 6995 NEW BEST:: SOT 3806383 SOS 758871 HAS SOPS 758819 HAS SOUS 163023 HAS SOUPS 163017 WITH SCORE 163775.871
AT ITER 7006 NEW BEST:: SOT 3806326 SOS 758814 HAS SOPS 758762 HAS SOUS 162966 HAS SOUPS 162960 WITH SCORE 163718.814
AT ITER 7038 NEW BEST:: SOT 3806326 SOS 760003 HAS SOPS 759957 HAS SOUS 162953 HAS SOUPS 162947 WITH SCORE 163707.003
AT ITER 7054 NEW BEST:: SOT 3806332 SOS 760010 HAS SOPS 759964 HAS SOUS 162931 HAS SOUPS 162925 WITH SCORE 163685.01
AT ITER 7059 NEW BEST:: SOT 3806276 SOS 759954 HAS SOPS 759908 HAS SOUS 162813 HAS SOUPS 162807 WITH SCORE 163566.954
AT ITER 7078 NEW BEST:: SOT 3806251 SOS 759929 HAS SOPS 759883 HAS SOUS 162788 HAS SOUPS 162782 WITH SCORE 163541.929
AT ITER 7079 NEW BEST:: SOT 3806251 SOS 759929 HAS SOPS 759883 HAS SOUS 162783 HAS SOUPS 162777 WITH SCORE 163536.929
AT ITER 7119 NEW BEST:: SOT 3806245 SOS 759923 HAS SOPS 759877 HAS SOUS 162777 HAS SOUPS 162771 WITH SCORE 163530.923
AT ITER 7126 NEW BEST:: SOT 3806253 SOS 759931 HAS SOPS 759885 HAS SOUS 162715 HAS SOUPS 162709 WITH SCORE 163468.931
AT ITER 7136 NEW BEST:: SOT 3806232 SOS 759910 HAS SOPS 759864 HAS SOUS 162694 HAS SOUPS 162688 WITH SCORE 163447.91
AT ITER 7177 NEW BEST:: SOT 3806136 SOS 759814 HAS SOPS 759768 HAS SOUS 162572 HAS SOUPS 162566 WITH SCORE 163325.814
AT ITER 7199 NEW BEST:: SOT 3806129 SOS 759807 HAS SOPS 759761 HAS SOUS 162565 HAS SOUPS 162559 WITH SCORE 163318.807
AT ITER 7221 NEW BEST:: SOT 3806074 SOS 759752 HAS SOPS 759706 HAS SOUS 162510 HAS SOUPS 162504 WITH SCORE 163263.752
AT ITER 7231 NEW BEST:: SOT 3806072 SOS 759750 HAS SOPS 759704 HAS SOUS 162508 HAS SOUPS 162502 WITH SCORE 163261.75
AT ITER 7232 NEW BEST:: SOT 3806036 SOS 759836 HAS SOPS 759790 HAS SOUS 162500 HAS SOUPS 162494 WITH SCORE 163253.836
AT ITER 7236 NEW BEST:: SOT 3806069 SOS 759869 HAS SOPS 759823 HAS SOUS 162338 HAS SOUPS 162332 WITH SCORE 163091.869
AT ITER 7264 NEW BEST:: SOT 3806061 SOS 759861 HAS SOPS 759815 HAS SOUS 162330 HAS SOUPS 162324 WITH SCORE 163083.861
AT ITER 7272 NEW BEST:: SOT 3805822 SOS 759622 HAS SOPS 759576 HAS SOUS 161800 HAS SOUPS 161794 WITH SCORE 162553.622
AT ITER 7275 NEW BEST:: SOT 3805807 SOS 759607 HAS SOPS 759561 HAS SOUS 161755 HAS SOUPS 161749 WITH SCORE 162508.607
AT ITER 7294 NEW BEST:: SOT 3805749 SOS 759549 HAS SOPS 759503 HAS SOUS 161645 HAS SOUPS 161639 WITH SCORE 162398.549
AT ITER 7301 NEW BEST:: SOT 3805694 SOS 759543 HAS SOPS 759497 HAS SOUS 161645 HAS SOUPS 161639 WITH SCORE 162398.543
AT ITER 7340 NEW BEST:: SOT 3805504 SOS 759353 HAS SOPS 759307 HAS SOUS 161560 HAS SOUPS 161554 WITH SCORE 162313.353
AT ITER 7342 NEW BEST:: SOT 3805504 SOS 759353 HAS SOPS 759307 HAS SOUS 161548 HAS SOUPS 161542 WITH SCORE 162301.353
AT ITER 7350 NEW BEST:: SOT 3805502 SOS 759351 HAS SOPS 759305 HAS SOUS 161294 HAS SOUPS 161288 WITH SCORE 162047.351
AT ITER 7386 NEW BEST:: SOT 3805496 SOS 759345 HAS SOPS 759299 HAS SOUS 161288 HAS SOUPS 161282 WITH SCORE 162041.345
AT ITER 7404 NEW BEST:: SOT 3805406 SOS 759255 HAS SOPS 759209 HAS SOUS 160602 HAS SOUPS 160596 WITH SCORE 161355.255
AT ITER 7408 NEW BEST:: SOT 3805721 SOS 759570 HAS SOPS 759524 HAS SOUS 160245 HAS SOUPS 160239 WITH SCORE 160998.57
AT ITER 7410 NEW BEST:: SOT 3805284 SOS 759170 HAS SOPS 759124 HAS SOUS 159784 HAS SOUPS 159778 WITH SCORE 160537.17
AT ITER 7427 NEW BEST:: SOT 3805220 SOS 759106 HAS SOPS 759060 HAS SOUS 159656 HAS SOUPS 159650 WITH SCORE 160409.106
AT ITER 7435 NEW BEST:: SOT 3805220 SOS 759064 HAS SOPS 759018 HAS SOUS 159654 HAS SOUPS 159648 WITH SCORE 160407.064
AT ITER 7468 NEW BEST:: SOT 3805218 SOS 759062 HAS SOPS 759016 HAS SOUS 159652 HAS SOUPS 159646 WITH SCORE 160405.062
AT ITER 7475 NEW BEST:: SOT 3805148 SOS 758992 HAS SOPS 758946 HAS SOUS 159499 HAS SOUPS 159493 WITH SCORE 160251.992
AT ITER 7485 NEW BEST:: SOT 3805027 SOS 758871 HAS SOPS 758825 HAS SOUS 159210 HAS SOUPS 159204 WITH SCORE 159962.871
AT ITER 7495 NEW BEST:: SOT 3805115 SOS 758959 HAS SOPS 758913 HAS SOUS 158950 HAS SOUPS 158944 WITH SCORE 159702.959
AT ITER 7518 NEW BEST:: SOT 3805099 SOS 758943 HAS SOPS 758897 HAS SOUS 158934 HAS SOUPS 158928 WITH SCORE 159686.943
AT ITER 7537 NEW BEST:: SOT 3805060 SOS 758904 HAS SOPS 758858 HAS SOUS 158895 HAS SOUPS 158889 WITH SCORE 159647.904
AT ITER 7549 NEW BEST:: SOT 3805018 SOS 758862 HAS SOPS 758816 HAS SOUS 158824 HAS SOUPS 158818 WITH SCORE 159576.862
AT ITER 7563 NEW BEST:: SOT 3805000 SOS 759113 HAS SOPS 759067 HAS SOUS 158811 HAS SOUPS 158805 WITH SCORE 159564.113
AT ITER 7598 NEW BEST:: SOT 3804982 SOS 759095 HAS SOPS 759049 HAS SOUS 158806 HAS SOUPS 158800 WITH SCORE 159559.095
AT ITER 7603 NEW BEST:: SOT 3804966 SOS 759079 HAS SOPS 759033 HAS SOUS 158790 HAS SOUPS 158784 WITH SCORE 159543.079
AT ITER 7614 NEW BEST:: SOT 3804926 SOS 759065 HAS SOPS 759019 HAS SOUS 158762 HAS SOUPS 158756 WITH SCORE 159515.065
AT ITER 7617 NEW BEST:: SOT 3804898 SOS 759037 HAS SOPS 758991 HAS SOUS 158716 HAS SOUPS 158710 WITH SCORE 159469.037
AT ITER 7634 NEW BEST:: SOT 3804654 SOS 758793 HAS SOPS 758747 HAS SOUS 158228 HAS SOUPS 158222 WITH SCORE 158980.793
AT ITER 7657 NEW BEST:: SOT 3804652 SOS 758791 HAS SOPS 758745 HAS SOUS 158222 HAS SOUPS 158216 WITH SCORE 158974.791
AT ITER 7661 NEW BEST:: SOT 3804624 SOS 758777 HAS SOPS 758731 HAS SOUS 158208 HAS SOUPS 158202 WITH SCORE 158960.777
AT ITER 7664 NEW BEST:: SOT 3804621 SOS 758774 HAS SOPS 758728 HAS SOUS 158205 HAS SOUPS 158199 WITH SCORE 158957.774
AT ITER 7688 NEW BEST:: SOT 3804537 SOS 758690 HAS SOPS 758644 HAS SOUS 158109 HAS SOUPS 158103 WITH SCORE 158861.69
AT ITER 7693 NEW BEST:: SOT 3804266 SOS 758419 HAS SOPS 758373 HAS SOUS 157580 HAS SOUPS 157574 WITH SCORE 158332.419
AT ITER 7711 NEW BEST:: SOT 3804266 SOS 758419 HAS SOPS 758373 HAS SOUS 157551 HAS SOUPS 157545 WITH SCORE 158303.419
AT ITER 7712 NEW BEST:: SOT 3804266 SOS 758371 HAS SOPS 758325 HAS SOUS 157551 HAS SOUPS 157545 WITH SCORE 158303.371
AT ITER 7723 NEW BEST:: SOT 3804287 SOS 758392 HAS SOPS 758346 HAS SOUS 157432 HAS SOUPS 157426 WITH SCORE 158184.392
AT ITER 7730 NEW BEST:: SOT 3804204 SOS 758656 HAS SOPS 758610 HAS SOUS 157266 HAS SOUPS 157260 WITH SCORE 158018.656
AT ITER 7773 NEW BEST:: SOT 3804112 SOS 758540 HAS SOPS 758494 HAS SOUS 157150 HAS SOUPS 157144 WITH SCORE 157902.54
AT ITER 7783 NEW BEST:: SOT 3804098 SOS 758526 HAS SOPS 758480 HAS SOUS 157100 HAS SOUPS 157094 WITH SCORE 157852.526
AT ITER 7784 NEW BEST:: SOT 3804129 SOS 758756 HAS SOPS 758710 HAS SOUS 157090 HAS SOUPS 157084 WITH SCORE 157842.756
AT ITER 7786 NEW BEST:: SOT 3804129 SOS 758756 HAS SOPS 758710 HAS SOUS 157075 HAS SOUPS 157069 WITH SCORE 157827.756
AT ITER 7798 NEW BEST:: SOT 3804066 SOS 758693 HAS SOPS 758647 HAS SOUS 156890 HAS SOUPS 156884 WITH SCORE 157642.693
AT ITER 7808 NEW BEST:: SOT 3804090 SOS 758717 HAS SOPS 758671 HAS SOUS 156575 HAS SOUPS 156569 WITH SCORE 157327.717
AT ITER 7812 NEW BEST:: SOT 3804090 SOS 758717 HAS SOPS 758671 HAS SOUS 156569 HAS SOUPS 156563 WITH SCORE 157321.717
AT ITER 7827 NEW BEST:: SOT 3804008 SOS 758635 HAS SOPS 758589 HAS SOUS 156427 HAS SOUPS 156421 WITH SCORE 157179.635
AT ITER 7828 NEW BEST:: SOT 3804038 SOS 758665 HAS SOPS 758619 HAS SOUS 156351 HAS SOUPS 156345 WITH SCORE 157103.665
AT ITER 7856 NEW BEST:: SOT 3804021 SOS 758579 HAS SOPS 758533 HAS SOUS 156272 HAS SOUPS 156266 WITH SCORE 157024.579
AT ITER 7857 NEW BEST:: SOT 3803986 SOS 758544 HAS SOPS 758498 HAS SOUS 156257 HAS SOUPS 156251 WITH SCORE 157009.544
AT ITER 7865 NEW BEST:: SOT 3803930 SOS 758488 HAS SOPS 758442 HAS SOUS 156172 HAS SOUPS 156166 WITH SCORE 156924.488
AT ITER 7875 NEW BEST:: SOT 3803902 SOS 758460 HAS SOPS 758414 HAS SOUS 156116 HAS SOUPS 156110 WITH SCORE 156868.46
AT ITER 7883 NEW BEST:: SOT 3803866 SOS 758372 HAS SOPS 758326 HAS SOUS 155946 HAS SOUPS 155940 WITH SCORE 156698.372
AT ITER 7902 NEW BEST:: SOT 3803866 SOS 758372 HAS SOPS 758326 HAS SOUS 155934 HAS SOUPS 155928 WITH SCORE 156686.372
AT ITER 7931 NEW BEST:: SOT 3803673 SOS 758179 HAS SOPS 758133 HAS SOUS 155625 HAS SOUPS 155619 WITH SCORE 156377.179
AT ITER 7966 NEW BEST:: SOT 3803662 SOS 758168 HAS SOPS 758122 HAS SOUS 155614 HAS SOUPS 155608 WITH SCORE 156366.168
AT ITER 7969 NEW BEST:: SOT 3803651 SOS 758145 HAS SOPS 758099 HAS SOUS 155591 HAS SOUPS 155585 WITH SCORE 156343.145
AT ITER 7978 NEW BEST:: SOT 3803756 SOS 758250 HAS SOPS 758204 HAS SOUS 154943 HAS SOUPS 154937 WITH SCORE 155695.25
AT ITER 8032 NEW BEST:: SOT 3803579 SOS 758030 HAS SOPS 757984 HAS SOUS 154793 HAS SOUPS 154787 WITH SCORE 155545.03
AT ITER 8034 NEW BEST:: SOT 3803576 SOS 758027 HAS SOPS 757981 HAS SOUS 154790 HAS SOUPS 154784 WITH SCORE 155542.027
AT ITER 8049 NEW BEST:: SOT 3803576 SOS 758027 HAS SOPS 757981 HAS SOUS 154724 HAS SOUPS 154718 WITH SCORE 155476.027
AT ITER 8057 NEW BEST:: SOT 3803430 SOS 758059 HAS SOPS 758013 HAS SOUS 154704 HAS SOUPS 154698 WITH SCORE 155456.059
AT ITER 8073 NEW BEST:: SOT 3803621 SOS 758250 HAS SOPS 758204 HAS SOUS 154513 HAS SOUPS 154507 WITH SCORE 155265.25
AT ITER 8087 NEW BEST:: SOT 3803600 SOS 758204 HAS SOPS 758158 HAS SOUS 154465 HAS SOUPS 154459 WITH SCORE 155217.204
AT ITER 8107 NEW BEST:: SOT 3803663 SOS 758267 HAS SOPS 758221 HAS SOUS 154369 HAS SOUPS 154363 WITH SCORE 155121.267
AT ITER 8119 NEW BEST:: SOT 3803655 SOS 758259 HAS SOPS 758213 HAS SOUS 154353 HAS SOUPS 154347 WITH SCORE 155105.259
AT ITER 8129 NEW BEST:: SOT 3803595 SOS 758199 HAS SOPS 758153 HAS SOUS 154263 HAS SOUPS 154257 WITH SCORE 155015.199
AT ITER 8134 NEW BEST:: SOT 3803484 SOS 758088 HAS SOPS 758042 HAS SOUS 154077 HAS SOUPS 154071 WITH SCORE 154829.088
AT ITER 8138 NEW BEST:: SOT 3803483 SOS 758072 HAS SOPS 758026 HAS SOUS 154045 HAS SOUPS 154039 WITH SCORE 154797.072
AT ITER 8156 NEW BEST:: SOT 3803459 SOS 758048 HAS SOPS 758002 HAS SOUS 153997 HAS SOUPS 153991 WITH SCORE 154749.048
AT ITER 8163 NEW BEST:: SOT 3803403 SOS 757992 HAS SOPS 757946 HAS SOUS 153908 HAS SOUPS 153902 WITH SCORE 154659.992
AT ITER 8175 NEW BEST:: SOT 3803361 SOS 757950 HAS SOPS 757904 HAS SOUS 153827 HAS SOUPS 153821 WITH SCORE 154578.95
AT ITER 8221 NEW BEST:: SOT 3803352 SOS 757941 HAS SOPS 757895 HAS SOUS 153826 HAS SOUPS 153820 WITH SCORE 154577.941
AT ITER 8259 NEW BEST:: SOT 3803352 SOS 757941 HAS SOPS 757895 HAS SOUS 153786 HAS SOUPS 153780 WITH SCORE 154537.941
AT ITER 8266 NEW BEST:: SOT 3803362 SOS 757951 HAS SOPS 757905 HAS SOUS 153780 HAS SOUPS 153774 WITH SCORE 154531.951
AT ITER 8270 NEW BEST:: SOT 3803347 SOS 757951 HAS SOPS 757905 HAS SOUS 153765 HAS SOUPS 153759 WITH SCORE 154516.951
AT ITER 8277 NEW BEST:: SOT 3803330 SOS 694184 HAS SOPS 694138 HAS SOUS 153629 HAS SOUPS 153623 WITH SCORE 154317.184
AT ITER 8279 NEW BEST:: SOT 3803280 SOS 694134 HAS SOPS 694088 HAS SOUS 153393 HAS SOUPS 153387 WITH SCORE 154081.134
AT ITER 8282 NEW BEST:: SOT 3803256 SOS 694110 HAS SOPS 694064 HAS SOUS 153345 HAS SOUPS 153339 WITH SCORE 154033.11
AT ITER 8333 NEW BEST:: SOT 3803334 SOS 694236 HAS SOPS 694190 HAS SOUS 153303 HAS SOUPS 153297 WITH SCORE 153991.236
AT ITER 8353 NEW BEST:: SOT 3803256 SOS 694158 HAS SOPS 694112 HAS SOUS 152445 HAS SOUPS 152439 WITH SCORE 153133.158
AT ITER 8385 NEW BEST:: SOT 3803227 SOS 693893 HAS SOPS 693847 HAS SOUS 152377 HAS SOUPS 152371 WITH SCORE 153064.893
AT ITER 8395 NEW BEST:: SOT 3803227 SOS 693902 HAS SOPS 693856 HAS SOUS 152368 HAS SOUPS 152362 WITH SCORE 153055.902
AT ITER 8417 NEW BEST:: SOT 3803057 SOS 693732 HAS SOPS 693686 HAS SOUS 152130 HAS SOUPS 152124 WITH SCORE 152817.732
AT ITER 8420 NEW BEST:: SOT 3802830 SOS 693505 HAS SOPS 693459 HAS SOUS 151903 HAS SOUPS 151897 WITH SCORE 152590.505
AT ITER 8434 NEW BEST:: SOT 3802860 SOS 693486 HAS SOPS 693440 HAS SOUS 151884 HAS SOUPS 151878 WITH SCORE 152571.486
AT ITER 8457 NEW BEST:: SOT 3802848 SOS 693474 HAS SOPS 693428 HAS SOUS 151872 HAS SOUPS 151866 WITH SCORE 152559.474
AT ITER 8462 NEW BEST:: SOT 3802698 SOS 693324 HAS SOPS 693278 HAS SOUS 151578 HAS SOUPS 151572 WITH SCORE 152265.324
AT ITER 8512 NEW BEST:: SOT 3802691 SOS 693317 HAS SOPS 693271 HAS SOUS 151557 HAS SOUPS 151551 WITH SCORE 152244.317
AT ITER 8549 NEW BEST:: SOT 3802609 SOS 694519 HAS SOPS 694479 HAS SOUS 151356 HAS SOUPS 151350 WITH SCORE 152044.519
AT ITER 8596 NEW BEST:: SOT 3802593 SOS 694503 HAS SOPS 694463 HAS SOUS 151340 HAS SOUPS 151334 WITH SCORE 152028.503
AT ITER 8606 NEW BEST:: SOT 3802536 SOS 694446 HAS SOPS 694406 HAS SOUS 151283 HAS SOUPS 151277 WITH SCORE 151971.446
AT ITER 8628 NEW BEST:: SOT 3802535 SOS 694445 HAS SOPS 694405 HAS SOUS 151281 HAS SOUPS 151275 WITH SCORE 151969.445
AT ITER 8673 NEW BEST:: SOT 3802382 SOS 694292 HAS SOPS 694252 HAS SOUS 150887 HAS SOUPS 150881 WITH SCORE 151575.292
AT ITER 8686 NEW BEST:: SOT 3802360 SOS 694270 HAS SOPS 694230 HAS SOUS 150865 HAS SOUPS 150859 WITH SCORE 151553.27
AT ITER 8687 NEW BEST:: SOT 3802315 SOS 694225 HAS SOPS 694185 HAS SOUS 150820 HAS SOUPS 150814 WITH SCORE 151508.225
AT ITER 8715 NEW BEST:: SOT 3802315 SOS 694214 HAS SOPS 694174 HAS SOUS 150820 HAS SOUPS 150814 WITH SCORE 151508.214
AT ITER 8722 NEW BEST:: SOT 3802245 SOS 694144 HAS SOPS 694104 HAS SOUS 150750 HAS SOUPS 150744 WITH SCORE 151438.144
AT ITER 8726 NEW BEST:: SOT 3802095 SOS 693994 HAS SOPS 693954 HAS SOUS 150600 HAS SOUPS 150594 WITH SCORE 151287.994
AT ITER 8765 NEW BEST:: SOT 3802088 SOS 693987 HAS SOPS 693947 HAS SOUS 150586 HAS SOUPS 150580 WITH SCORE 151273.987
AT ITER 8838 NEW BEST:: SOT 3802106 SOS 693933 HAS SOPS 693893 HAS SOUS 150554 HAS SOUPS 150548 WITH SCORE 151241.933
AT ITER 8853 NEW BEST:: SOT 3802010 SOS 693858 HAS SOPS 693818 HAS SOUS 150426 HAS SOUPS 150420 WITH SCORE 151113.858
AT ITER 8856 NEW BEST:: SOT 3802010 SOS 693858 HAS SOPS 693818 HAS SOUS 150334 HAS SOUPS 150328 WITH SCORE 151021.858
AT ITER 8900 NEW BEST:: SOT 3801730 SOS 693578 HAS SOPS 693538 HAS SOUS 149771 HAS SOUPS 149765 WITH SCORE 150458.578
AT ITER 8941 NEW BEST:: SOT 3801726 SOS 693574 HAS SOPS 693534 HAS SOUS 149735 HAS SOUPS 149729 WITH SCORE 150422.574
AT ITER 9013 NEW BEST:: SOT 3801722 SOS 693570 HAS SOPS 693530 HAS SOUS 149734 HAS SOUPS 149728 WITH SCORE 150421.57
AT ITER 9017 NEW BEST:: SOT 3801716 SOS 693564 HAS SOPS 693524 HAS SOUS 149666 HAS SOUPS 149660 WITH SCORE 150353.564
AT ITER 9027 NEW BEST:: SOT 3801715 SOS 693563 HAS SOPS 693523 HAS SOUS 149665 HAS SOUPS 149659 WITH SCORE 150352.563
AT ITER 9066 NEW BEST:: SOT 3801703 SOS 693551 HAS SOPS 693511 HAS SOUS 149654 HAS SOUPS 149648 WITH SCORE 150341.551
AT ITER 9095 NEW BEST:: SOT 3801669 SOS 695178 HAS SOPS 695138 HAS SOUS 149586 HAS SOUPS 149580 WITH SCORE 150275.178
AT ITER 9112 NEW BEST:: SOT 3801658 SOS 695156 HAS SOPS 695116 HAS SOUS 149564 HAS SOUPS 149558 WITH SCORE 150253.156
AT ITER 9141 NEW BEST:: SOT 3801591 SOS 695156 HAS SOPS 695116 HAS SOUS 149430 HAS SOUPS 149424 WITH SCORE 150119.156
AT ITER 9151 NEW BEST:: SOT 3801586 SOS 695151 HAS SOPS 695111 HAS SOUS 149425 HAS SOUPS 149419 WITH SCORE 150114.151
AT ITER 9159 NEW BEST:: SOT 3801580 SOS 695145 HAS SOPS 695105 HAS SOUS 149413 HAS SOUPS 149407 WITH SCORE 150102.145
AT ITER 9166 NEW BEST:: SOT 3801532 SOS 695097 HAS SOPS 695057 HAS SOUS 149307 HAS SOUPS 149301 WITH SCORE 149996.097
AT ITER 9185 NEW BEST:: SOT 3801530 SOS 695095 HAS SOPS 695055 HAS SOUS 149289 HAS SOUPS 149283 WITH SCORE 149978.095
AT ITER 9197 NEW BEST:: SOT 3801529 SOS 695094 HAS SOPS 695054 HAS SOUS 149287 HAS SOUPS 149281 WITH SCORE 149976.094
AT ITER 9215 NEW BEST:: SOT 3801361 SOS 694926 HAS SOPS 694886 HAS SOUS 149255 HAS SOUPS 149249 WITH SCORE 149943.926
AT ITER 9216 NEW BEST:: SOT 3801361 SOS 694959 HAS SOPS 694919 HAS SOUS 149254 HAS SOUPS 149248 WITH SCORE 149942.959
AT ITER 9236 NEW BEST:: SOT 3801324 SOS 694922 HAS SOPS 694882 HAS SOUS 149201 HAS SOUPS 149195 WITH SCORE 149889.922
AT ITER 9242 NEW BEST:: SOT 3801326 SOS 694997 HAS SOPS 694957 HAS SOUS 149173 HAS SOUPS 149167 WITH SCORE 149861.997
AT ITER 9277 NEW BEST:: SOT 3801275 SOS 694946 HAS SOPS 694906 HAS SOUS 149073 HAS SOUPS 149067 WITH SCORE 149761.946
AT ITER 9286 NEW BEST:: SOT 3801285 SOS 694956 HAS SOPS 694916 HAS SOUS 149005 HAS SOUPS 148999 WITH SCORE 149693.956
AT ITER 9331 NEW BEST:: SOT 3801272 SOS 694943 HAS SOPS 694903 HAS SOUS 148994 HAS SOUPS 148988 WITH SCORE 149682.943
AT ITER 9332 NEW BEST:: SOT 3801272 SOS 694956 HAS SOPS 694916 HAS SOUS 148981 HAS SOUPS 148975 WITH SCORE 149669.956
AT ITER 9334 NEW BEST:: SOT 3801239 SOS 694923 HAS SOPS 694883 HAS SOUS 148934 HAS SOUPS 148928 WITH SCORE 149622.923
AT ITER 9338 NEW BEST:: SOT 3801239 SOS 694921 HAS SOPS 694881 HAS SOUS 148932 HAS SOUPS 148926 WITH SCORE 149620.921
AT ITER 9370 NEW BEST:: SOT 3801178 SOS 694860 HAS SOPS 694820 HAS SOUS 148795 HAS SOUPS 148789 WITH SCORE 149483.86
AT ITER 9390 NEW BEST:: SOT 3801173 SOS 694814 HAS SOPS 694774 HAS SOUS 148762 HAS SOUPS 148756 WITH SCORE 149450.814
AT ITER 9429 NEW BEST:: SOT 3801109 SOS 694750 HAS SOPS 694710 HAS SOUS 148674 HAS SOUPS 148668 WITH SCORE 149362.75
AT ITER 9478 NEW BEST:: SOT 3801070 SOS 694711 HAS SOPS 694671 HAS SOUS 148608 HAS SOUPS 148602 WITH SCORE 149296.711
AT ITER 9504 NEW BEST:: SOT 3801057 SOS 694698 HAS SOPS 694658 HAS SOUS 148595 HAS SOUPS 148589 WITH SCORE 149283.698
AT ITER 9530 NEW BEST:: SOT 3801047 SOS 694688 HAS SOPS 694648 HAS SOUS 148538 HAS SOUPS 148532 WITH SCORE 149226.688
AT ITER 9546 NEW BEST:: SOT 3801017 SOS 694658 HAS SOPS 694618 HAS SOUS 148508 HAS SOUPS 148502 WITH SCORE 149196.658
AT ITER 9556 NEW BEST:: SOT 3801001 SOS 694642 HAS SOPS 694602 HAS SOUS 148492 HAS SOUPS 148486 WITH SCORE 149180.642
AT ITER 9566 NEW BEST:: SOT 3800993 SOS 694634 HAS SOPS 694594 HAS SOUS 148411 HAS SOUPS 148405 WITH SCORE 149099.634
AT ITER 9571 NEW BEST:: SOT 3800993 SOS 694549 HAS SOPS 694509 HAS SOUS 148386 HAS SOUPS 148380 WITH SCORE 149074.549
AT ITER 9576 NEW BEST:: SOT 3800942 SOS 694498 HAS SOPS 694458 HAS SOUS 148335 HAS SOUPS 148329 WITH SCORE 149023.498
AT ITER 9577 NEW BEST:: SOT 3800667 SOS 694223 HAS SOPS 694183 HAS SOUS 148032 HAS SOUPS 148026 WITH SCORE 148720.223
AT ITER 9604 NEW BEST:: SOT 3800667 SOS 694025 HAS SOPS 693985 HAS SOUS 148032 HAS SOUPS 148026 WITH SCORE 148720.025
AT ITER 9677 NEW BEST:: SOT 3800667 SOS 694025 HAS SOPS 693985 HAS SOUS 148004 HAS SOUPS 147998 WITH SCORE 148692.025
AT ITER 9694 NEW BEST:: SOT 3800635 SOS 693993 HAS SOPS 693953 HAS SOUS 147940 HAS SOUPS 147934 WITH SCORE 148627.993
AT ITER 9716 NEW BEST:: SOT 3800551 SOS 693909 HAS SOPS 693869 HAS SOUS 147772 HAS SOUPS 147766 WITH SCORE 148459.909
AT ITER 9751 NEW BEST:: SOT 3800485 SOS 693843 HAS SOPS 693803 HAS SOUS 147662 HAS SOUPS 147656 WITH SCORE 148349.843
AT ITER 9773 NEW BEST:: SOT 3800483 SOS 693848 HAS SOPS 693808 HAS SOUS 147658 HAS SOUPS 147652 WITH SCORE 148345.848
AT ITER 9808 NEW BEST:: SOT 3800870 SOS 694235 HAS SOPS 694195 HAS SOUS 147617 HAS SOUPS 147611 WITH SCORE 148305.235
AT ITER 9809 NEW BEST:: SOT 3800870 SOS 694238 HAS SOPS 694198 HAS SOUS 147547 HAS SOUPS 147541 WITH SCORE 148235.238
AT ITER 9811 NEW BEST:: SOT 3800847 SOS 694215 HAS SOPS 694175 HAS SOUS 147524 HAS SOUPS 147518 WITH SCORE 148212.215
AT ITER 9828 NEW BEST:: SOT 3800848 SOS 694216 HAS SOPS 694176 HAS SOUS 147518 HAS SOUPS 147512 WITH SCORE 148206.216
AT ITER 9892 NEW BEST:: SOT 3800810 SOS 694178 HAS SOPS 694138 HAS SOUS 147463 HAS SOUPS 147457 WITH SCORE 148151.178
AT ITER 9899 NEW BEST:: SOT 3800810 SOS 694178 HAS SOPS 694138 HAS SOUS 147448 HAS SOUPS 147442 WITH SCORE 148136.178
AT ITER 9956 NEW BEST:: SOT 3800799 SOS 694167 HAS SOPS 694127 HAS SOUS 147434 HAS SOUPS 147428 WITH SCORE 148122.167
AT ITER 9957 NEW BEST:: SOT 3800742 SOS 694110 HAS SOPS 694070 HAS SOUS 147338 HAS SOUPS 147332 WITH SCORE 148026.11

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S10J40"
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 PolyORBNT-PT-S10J40, 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 r123-tajo-158961355100696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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