Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.7K Feb 25 20:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 20:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 19:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 19:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 21:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 25 21:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 20:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 20:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 762K Mar 5 18:22 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 1678422894055

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-11a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 04:34:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 04:34:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 04:34:55] [INFO ] Load time of PNML (sax parser for PT used): 131 ms
[2023-03-10 04:34:55] [INFO ] Transformed 377 places.
[2023-03-10 04:34:55] [INFO ] Transformed 2993 transitions.
[2023-03-10 04:34:55] [INFO ] Found NUPN structural information;
[2023-03-10 04:34:55] [INFO ] Parsed PT model containing 377 places and 2993 transitions and 11677 arcs in 212 ms.
[2023-03-10 04:34:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 377 places, 2993 transitions and 11677 arcs took 26 ms.
Total runtime 265 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 377 places, 2993 transitions, 11677 arcs.
AT ITER 0 NEW BEST:: SOT 704367 SOS 601399 HAS SOPS 364833 HAS SOUS 69005 HAS SOUPS 48869 WITH SCORE 49470.399
AT ITER 5 NEW BEST:: SOT 704357 SOS 601229 HAS SOPS 364663 HAS SOUS 68995 HAS SOUPS 48859 WITH SCORE 49460.229
AT ITER 11 NEW BEST:: SOT 704124 SOS 601036 HAS SOPS 364270 HAS SOUS 68588 HAS SOUPS 48316 WITH SCORE 48917.036
AT ITER 19 NEW BEST:: SOT 703995 SOS 601000 HAS SOPS 363769 HAS SOUS 68180 HAS SOUPS 47536 WITH SCORE 48137.0
AT ITER 28 NEW BEST:: SOT 703742 SOS 600790 HAS SOPS 363344 HAS SOUS 67789 HAS SOUPS 46977 WITH SCORE 47577.79
AT ITER 46 NEW BEST:: SOT 703703 SOS 599721 HAS SOPS 362935 HAS SOUS 67737 HAS SOUPS 46969 WITH SCORE 47568.721
AT ITER 55 NEW BEST:: SOT 703757 SOS 599745 HAS SOPS 362959 HAS SOUS 67653 HAS SOUPS 46885 WITH SCORE 47484.745
AT ITER 60 NEW BEST:: SOT 703571 SOS 599572 HAS SOPS 362786 HAS SOUS 67467 HAS SOUPS 46699 WITH SCORE 47298.572
AT ITER 61 NEW BEST:: SOT 703545 SOS 599546 HAS SOPS 362760 HAS SOUS 67441 HAS SOUPS 46673 WITH SCORE 47272.546
AT ITER 75 NEW BEST:: SOT 703529 SOS 599050 HAS SOPS 362504 HAS SOUS 67424 HAS SOUPS 46672 WITH SCORE 47271.05
AT ITER 76 NEW BEST:: SOT 703516 SOS 598842 HAS SOPS 362491 HAS SOUS 67398 HAS SOUPS 46659 WITH SCORE 47257.842
AT ITER 79 NEW BEST:: SOT 703500 SOS 598050 HAS SOPS 361699 HAS SOUS 67390 HAS SOUPS 46651 WITH SCORE 47249.05
AT ITER 96 NEW BEST:: SOT 703358 SOS 598086 HAS SOPS 360667 HAS SOUS 66199 HAS SOUPS 45024 WITH SCORE 45622.086
AT ITER 107 NEW BEST:: SOT 703358 SOS 598086 HAS SOPS 360602 HAS SOUS 66134 HAS SOUPS 44959 WITH SCORE 45557.086
AT ITER 135 NEW BEST:: SOT 703375 SOS 598103 HAS SOPS 360460 HAS SOUS 66091 HAS SOUPS 44872 WITH SCORE 45470.103
AT ITER 147 NEW BEST:: SOT 703266 SOS 594657 HAS SOPS 360048 HAS SOUS 66777 HAS SOUPS 44733 WITH SCORE 45327.657
AT ITER 161 NEW BEST:: SOT 703264 SOS 594655 HAS SOPS 360046 HAS SOUS 66730 HAS SOUPS 44706 WITH SCORE 45300.655
AT ITER 179 NEW BEST:: SOT 703279 SOS 594692 HAS SOPS 360083 HAS SOUS 66681 HAS SOUPS 44657 WITH SCORE 45251.692
AT ITER 180 NEW BEST:: SOT 703267 SOS 594356 HAS SOPS 360215 HAS SOUS 66630 HAS SOUPS 44645 WITH SCORE 45239.356
AT ITER 183 NEW BEST:: SOT 703285 SOS 594374 HAS SOPS 360101 HAS SOUS 66615 HAS SOUPS 44586 WITH SCORE 45180.374
AT ITER 184 NEW BEST:: SOT 703339 SOS 593672 HAS SOPS 360074 HAS SOUS 66498 HAS SOUPS 44514 WITH SCORE 45107.672
AT ITER 203 NEW BEST:: SOT 703415 SOS 592816 HAS SOPS 360058 HAS SOUS 66370 HAS SOUPS 44442 WITH SCORE 45034.816
AT ITER 209 NEW BEST:: SOT 703271 SOS 594578 HAS SOPS 360596 HAS SOUS 66320 HAS SOUPS 44358 WITH SCORE 44952.578
AT ITER 222 NEW BEST:: SOT 703562 SOS 595012 HAS SOPS 360172 HAS SOUS 65030 HAS SOUPS 43068 WITH SCORE 43663.012
AT ITER 230 NEW BEST:: SOT 703464 SOS 594914 HAS SOPS 359963 HAS SOUS 64947 HAS SOUPS 42929 WITH SCORE 43523.914
AT ITER 238 NEW BEST:: SOT 703568 SOS 593862 HAS SOPS 359961 HAS SOUS 64805 HAS SOUPS 42857 WITH SCORE 43450.862
AT ITER 247 NEW BEST:: SOT 703533 SOS 593301 HAS SOPS 359400 HAS SOUS 64783 HAS SOUPS 42835 WITH SCORE 43428.301
AT ITER 250 NEW BEST:: SOT 703540 SOS 593293 HAS SOPS 359392 HAS SOUS 64769 HAS SOUPS 42821 WITH SCORE 43414.293
AT ITER 252 NEW BEST:: SOT 703540 SOS 593293 HAS SOPS 359336 HAS SOUS 64713 HAS SOUPS 42765 WITH SCORE 43358.293
AT ITER 254 NEW BEST:: SOT 703536 SOS 593221 HAS SOPS 359324 HAS SOUS 64705 HAS SOUPS 42761 WITH SCORE 43354.221
AT ITER 255 NEW BEST:: SOT 703536 SOS 593221 HAS SOPS 359313 HAS SOUS 64694 HAS SOUPS 42750 WITH SCORE 43343.221
AT ITER 257 NEW BEST:: SOT 702451 SOS 589966 HAS SOPS 358228 HAS SOUS 65004 HAS SOUPS 42750 WITH SCORE 43339.966
AT ITER 258 NEW BEST:: SOT 703541 SOS 591056 HAS SOPS 359318 HAS SOUS 65074 HAS SOUPS 42709 WITH SCORE 43300.056
AT ITER 269 NEW BEST:: SOT 703543 SOS 591058 HAS SOPS 359316 HAS SOUS 65063 HAS SOUPS 42699 WITH SCORE 43290.058
AT ITER 273 NEW BEST:: SOT 703771 SOS 591286 HAS SOPS 359544 HAS SOUS 65045 HAS SOUPS 42681 WITH SCORE 43272.286
AT ITER 274 NEW BEST:: SOT 703790 SOS 591305 HAS SOPS 359502 HAS SOUS 65003 HAS SOUPS 42639 WITH SCORE 43230.305
AT ITER 286 NEW BEST:: SOT 703790 SOS 591305 HAS SOPS 359458 HAS SOUS 64999 HAS SOUPS 42635 WITH SCORE 43226.305
AT ITER 287 NEW BEST:: SOT 704848 SOS 592363 HAS SOPS 360330 HAS SOUS 64961 HAS SOUPS 42541 WITH SCORE 43133.363
AT ITER 289 NEW BEST:: SOT 704836 SOS 591379 HAS SOPS 359346 HAS SOUS 64961 HAS SOUPS 42541 WITH SCORE 43132.379
AT ITER 292 NEW BEST:: SOT 704783 SOS 587342 HAS SOPS 355309 HAS SOUS 64945 HAS SOUPS 42525 WITH SCORE 43112.342
AT ITER 295 NEW BEST:: SOT 704730 SOS 591922 HAS SOPS 357261 HAS SOUS 64992 HAS SOUPS 42499 WITH SCORE 43090.922
AT ITER 298 NEW BEST:: SOT 705058 SOS 592476 HAS SOPS 357815 HAS SOUS 64929 HAS SOUPS 42436 WITH SCORE 43028.476
AT ITER 306 NEW BEST:: SOT 704911 SOS 592329 HAS SOPS 357771 HAS SOUS 64840 HAS SOUPS 42367 WITH SCORE 42959.329
AT ITER 307 NEW BEST:: SOT 704903 SOS 592201 HAS SOPS 357763 HAS SOUS 64824 HAS SOUPS 42359 WITH SCORE 42951.201
AT ITER 315 NEW BEST:: SOT 704903 SOS 592139 HAS SOPS 357763 HAS SOUS 64762 HAS SOUPS 42359 WITH SCORE 42951.139
AT ITER 316 NEW BEST:: SOT 704788 SOS 589479 HAS SOPS 356318 HAS SOUS 64664 HAS SOUPS 42342 WITH SCORE 42931.479
AT ITER 322 NEW BEST:: SOT 704684 SOS 589375 HAS SOPS 356086 HAS SOUS 64432 HAS SOUPS 42110 WITH SCORE 42699.375
AT ITER 323 NEW BEST:: SOT 704869 SOS 589560 HAS SOPS 356046 HAS SOUS 64464 HAS SOUPS 41970 WITH SCORE 42559.56
AT ITER 324 NEW BEST:: SOT 704867 SOS 589554 HAS SOPS 356010 HAS SOUS 64462 HAS SOUPS 41966 WITH SCORE 42555.554
AT ITER 326 NEW BEST:: SOT 704943 SOS 588143 HAS SOPS 355634 HAS SOUS 64338 HAS SOUPS 41911 WITH SCORE 42499.143
AT ITER 327 NEW BEST:: SOT 705403 SOS 588603 HAS SOPS 356094 HAS SOUS 64195 HAS SOUPS 41740 WITH SCORE 42328.603
AT ITER 337 NEW BEST:: SOT 705417 SOS 588617 HAS SOPS 356053 HAS SOUS 64168 HAS SOUPS 41713 WITH SCORE 42301.617
AT ITER 343 NEW BEST:: SOT 705390 SOS 588185 HAS SOPS 355621 HAS SOUS 64141 HAS SOUPS 41686 WITH SCORE 42274.185
AT ITER 347 NEW BEST:: SOT 704199 SOS 584501 HAS SOPS 354319 HAS SOUS 64624 HAS SOUPS 41686 WITH SCORE 42270.501
AT ITER 349 NEW BEST:: SOT 704129 SOS 584396 HAS SOPS 354319 HAS SOUS 64519 HAS SOUPS 41616 WITH SCORE 42200.396
AT ITER 352 NEW BEST:: SOT 704080 SOS 583971 HAS SOPS 353894 HAS SOUS 64510 HAS SOUPS 41607 WITH SCORE 42190.971
AT ITER 361 NEW BEST:: SOT 704956 SOS 584695 HAS SOPS 354746 HAS SOUS 64377 HAS SOUPS 41528 WITH SCORE 42112.695
AT ITER 380 NEW BEST:: SOT 704781 SOS 584559 HAS SOPS 354415 HAS SOUS 64058 HAS SOUPS 41065 WITH SCORE 41649.559
AT ITER 385 NEW BEST:: SOT 704780 SOS 584558 HAS SOPS 354414 HAS SOUS 64057 HAS SOUPS 41064 WITH SCORE 41648.558
AT ITER 389 NEW BEST:: SOT 704983 SOS 584761 HAS SOPS 354501 HAS SOUS 63883 HAS SOUPS 40919 WITH SCORE 41503.761
AT ITER 391 NEW BEST:: SOT 704972 SOS 584750 HAS SOPS 354490 HAS SOUS 63872 HAS SOUPS 40908 WITH SCORE 41492.75
AT ITER 406 NEW BEST:: SOT 705991 SOS 585923 HAS SOPS 354893 HAS SOUS 63070 HAS SOUPS 40094 WITH SCORE 40679.923
AT ITER 410 NEW BEST:: SOT 705955 SOS 585851 HAS SOPS 354893 HAS SOUS 63034 HAS SOUPS 40094 WITH SCORE 40679.851
AT ITER 412 NEW BEST:: SOT 706791 SOS 586919 HAS SOPS 355223 HAS SOUS 62729 HAS SOUPS 39669 WITH SCORE 40255.919
AT ITER 414 NEW BEST:: SOT 706791 SOS 586890 HAS SOPS 355223 HAS SOUS 62700 HAS SOUPS 39669 WITH SCORE 40255.89
AT ITER 417 NEW BEST:: SOT 706791 SOS 586936 HAS SOPS 355177 HAS SOUS 62700 HAS SOUPS 39623 WITH SCORE 40209.936
AT ITER 423 NEW BEST:: SOT 706797 SOS 586798 HAS SOPS 355129 HAS SOUS 62676 HAS SOUPS 39599 WITH SCORE 40185.798
AT ITER 427 NEW BEST:: SOT 706097 SOS 585291 HAS SOPS 354597 HAS SOUS 62618 HAS SOUPS 39587 WITH SCORE 40172.291
AT ITER 429 NEW BEST:: SOT 705522 SOS 583355 HAS SOPS 353703 HAS SOUS 63123 HAS SOUPS 39533 WITH SCORE 40116.355
AT ITER 432 NEW BEST:: SOT 705703 SOS 583630 HAS SOPS 353696 HAS SOUS 63210 HAS SOUPS 39526 WITH SCORE 40109.63
AT ITER 441 NEW BEST:: SOT 705590 SOS 583447 HAS SOPS 353653 HAS SOUS 63135 HAS SOUPS 39521 WITH SCORE 40104.447
AT ITER 443 NEW BEST:: SOT 705562 SOS 583419 HAS SOPS 353653 HAS SOUS 63135 HAS SOUPS 39521 WITH SCORE 40104.419
AT ITER 447 NEW BEST:: SOT 705821 SOS 583837 HAS SOPS 353117 HAS SOUS 61850 HAS SOUPS 38084 WITH SCORE 38667.837
AT ITER 449 NEW BEST:: SOT 705849 SOS 583563 HAS SOPS 353173 HAS SOUS 61821 HAS SOUPS 38074 WITH SCORE 38657.563
AT ITER 460 NEW BEST:: SOT 705798 SOS 583512 HAS SOPS 353122 HAS SOUS 61770 HAS SOUPS 38023 WITH SCORE 38606.512
AT ITER 462 NEW BEST:: SOT 705776 SOS 583479 HAS SOPS 353111 HAS SOUS 61748 HAS SOUPS 38012 WITH SCORE 38595.479
AT ITER 463 NEW BEST:: SOT 705772 SOS 583473 HAS SOPS 353109 HAS SOUS 61744 HAS SOUPS 38010 WITH SCORE 38593.473
AT ITER 468 NEW BEST:: SOT 706284 SOS 583953 HAS SOPS 353653 HAS SOUS 61650 HAS SOUPS 37933 WITH SCORE 38516.953
AT ITER 473 NEW BEST:: SOT 706186 SOS 583855 HAS SOPS 353555 HAS SOUS 61165 HAS SOUPS 37620 WITH SCORE 38203.855
AT ITER 484 NEW BEST:: SOT 705388 SOS 583057 HAS SOPS 352757 HAS SOUS 61165 HAS SOUPS 37620 WITH SCORE 38203.057
AT ITER 525 NEW BEST:: SOT 705383 SOS 583052 HAS SOPS 352752 HAS SOUS 61160 HAS SOUPS 37615 WITH SCORE 38198.052
AT ITER 533 NEW BEST:: SOT 705923 SOS 583559 HAS SOPS 353325 HAS SOUS 61061 HAS SOUPS 37534 WITH SCORE 38117.559
AT ITER 551 NEW BEST:: SOT 705865 SOS 582828 HAS SOPS 353250 HAS SOUS 60894 HAS SOUPS 37413 WITH SCORE 37995.828
AT ITER 552 NEW BEST:: SOT 706207 SOS 583208 HAS SOPS 353440 HAS SOUS 60803 HAS SOUPS 37322 WITH SCORE 37905.208
AT ITER 553 NEW BEST:: SOT 706224 SOS 583242 HAS SOPS 353474 HAS SOUS 60787 HAS SOUPS 37306 WITH SCORE 37889.242
AT ITER 555 NEW BEST:: SOT 705974 SOS 583036 HAS SOPS 353180 HAS SOUS 60831 HAS SOUPS 37306 WITH SCORE 37889.036
AT ITER 565 NEW BEST:: SOT 706009 SOS 583036 HAS SOPS 353180 HAS SOUS 60748 HAS SOUPS 37223 WITH SCORE 37806.036
AT ITER 567 NEW BEST:: SOT 706469 SOS 583404 HAS SOPS 353640 HAS SOUS 60564 HAS SOUPS 37131 WITH SCORE 37714.404
AT ITER 573 NEW BEST:: SOT 706437 SOS 581733 HAS SOPS 353722 HAS SOUS 60402 HAS SOUPS 37090 WITH SCORE 37671.733
AT ITER 581 NEW BEST:: SOT 706373 SOS 582489 HAS SOPS 353902 HAS SOUS 60402 HAS SOUPS 37074 WITH SCORE 37656.489
AT ITER 584 NEW BEST:: SOT 706361 SOS 582477 HAS SOPS 353902 HAS SOUS 60402 HAS SOUPS 37074 WITH SCORE 37656.477
AT ITER 585 NEW BEST:: SOT 706282 SOS 582342 HAS SOPS 353846 HAS SOUS 60313 HAS SOUPS 37018 WITH SCORE 37600.342
AT ITER 586 NEW BEST:: SOT 706318 SOS 582378 HAS SOPS 353882 HAS SOUS 60295 HAS SOUPS 37000 WITH SCORE 37582.378
AT ITER 594 NEW BEST:: SOT 706322 SOS 582382 HAS SOPS 353806 HAS SOUS 60196 HAS SOUPS 36873 WITH SCORE 37455.382
AT ITER 598 NEW BEST:: SOT 707308 SOS 583368 HAS SOPS 354618 HAS SOUS 60114 HAS SOUPS 36724 WITH SCORE 37307.368
AT ITER 601 NEW BEST:: SOT 707138 SOS 583154 HAS SOPS 354492 HAS SOUS 60061 HAS SOUPS 36663 WITH SCORE 37246.154
AT ITER 602 NEW BEST:: SOT 706967 SOS 581373 HAS SOPS 354263 HAS SOUS 59847 HAS SOUPS 36515 WITH SCORE 37096.373
AT ITER 603 NEW BEST:: SOT 706955 SOS 581277 HAS SOPS 354167 HAS SOUS 59943 HAS SOUPS 36503 WITH SCORE 37084.277
AT ITER 604 NEW BEST:: SOT 707185 SOS 581465 HAS SOPS 354439 HAS SOUS 59867 HAS SOUPS 36469 WITH SCORE 37050.465
AT ITER 615 NEW BEST:: SOT 707153 SOS 581417 HAS SOPS 354439 HAS SOUS 59851 HAS SOUPS 36469 WITH SCORE 37050.417
AT ITER 618 NEW BEST:: SOT 707148 SOS 581007 HAS SOPS 354029 HAS SOUS 59851 HAS SOUPS 36469 WITH SCORE 37050.007
AT ITER 623 NEW BEST:: SOT 707147 SOS 581006 HAS SOPS 354067 HAS SOUS 59811 HAS SOUPS 36429 WITH SCORE 37010.006
AT ITER 629 NEW BEST:: SOT 707116 SOS 580812 HAS SOPS 354017 HAS SOUS 59768 HAS SOUPS 36398 WITH SCORE 36978.812
AT ITER 633 NEW BEST:: SOT 707026 SOS 580090 HAS SOPS 353313 HAS SOUS 59720 HAS SOUPS 36359 WITH SCORE 36939.09
AT ITER 649 NEW BEST:: SOT 707025 SOS 580088 HAS SOPS 353311 HAS SOUS 59719 HAS SOUPS 36358 WITH SCORE 36938.088
AT ITER 651 NEW BEST:: SOT 707004 SOS 580076 HAS SOPS 353325 HAS SOUS 59727 HAS SOUPS 36357 WITH SCORE 36937.076
AT ITER 659 NEW BEST:: SOT 706942 SOS 580007 HAS SOPS 353270 HAS SOUS 59443 HAS SOUPS 36192 WITH SCORE 36772.007
AT ITER 668 NEW BEST:: SOT 706929 SOS 579981 HAS SOPS 353270 HAS SOUS 59430 HAS SOUPS 36192 WITH SCORE 36771.981
AT ITER 686 NEW BEST:: SOT 706909 SOS 579951 HAS SOPS 353260 HAS SOUS 59410 HAS SOUPS 36182 WITH SCORE 36761.951
AT ITER 692 NEW BEST:: SOT 707407 SOS 580413 HAS SOPS 353794 HAS SOUS 59272 HAS SOUPS 36080 WITH SCORE 36660.413
AT ITER 700 NEW BEST:: SOT 707392 SOS 580158 HAS SOPS 353539 HAS SOUS 59257 HAS SOUPS 36065 WITH SCORE 36645.158
AT ITER 702 NEW BEST:: SOT 707290 SOS 580056 HAS SOPS 353437 HAS SOUS 59257 HAS SOUPS 36065 WITH SCORE 36645.056
AT ITER 727 NEW BEST:: SOT 707163 SOS 579967 HAS SOPS 353348 HAS SOUS 59233 HAS SOUPS 36041 WITH SCORE 36620.967
AT ITER 741 NEW BEST:: SOT 707081 SOS 578068 HAS SOPS 352664 HAS SOUS 59089 HAS SOUPS 35978 WITH SCORE 36556.068
AT ITER 742 NEW BEST:: SOT 707109 SOS 577128 HAS SOPS 352256 HAS SOUS 59080 HAS SOUPS 35969 WITH SCORE 36546.128
AT ITER 754 NEW BEST:: SOT 706905 SOS 576822 HAS SOPS 352154 HAS SOUS 58732 HAS SOUPS 35787 WITH SCORE 36363.822
AT ITER 761 NEW BEST:: SOT 707371 SOS 577438 HAS SOPS 352368 HAS SOUS 58178 HAS SOUPS 35287 WITH SCORE 35864.438
AT ITER 765 NEW BEST:: SOT 708013 SOS 578046 HAS SOPS 353044 HAS SOUS 58178 HAS SOUPS 35249 WITH SCORE 35827.046
AT ITER 767 NEW BEST:: SOT 707996 SOS 578012 HAS SOPS 353044 HAS SOUS 58152 HAS SOUPS 35244 WITH SCORE 35822.012
AT ITER 770 NEW BEST:: SOT 707953 SOS 577926 HAS SOPS 353044 HAS SOUS 58109 HAS SOUPS 35244 WITH SCORE 35821.926
AT ITER 785 NEW BEST:: SOT 707798 SOS 577771 HAS SOPS 352709 HAS SOUS 57810 HAS SOUPS 34945 WITH SCORE 35522.771
AT ITER 795 NEW BEST:: SOT 707799 SOS 577785 HAS SOPS 352721 HAS SOUS 57789 HAS SOUPS 34941 WITH SCORE 35518.785
AT ITER 797 NEW BEST:: SOT 707774 SOS 575735 HAS SOPS 350671 HAS SOUS 57789 HAS SOUPS 34941 WITH SCORE 35516.735
AT ITER 809 NEW BEST:: SOT 707730 SOS 573907 HAS SOPS 350674 HAS SOUS 57622 HAS SOUPS 34901 WITH SCORE 35474.907
AT ITER 820 NEW BEST:: SOT 707793 SOS 572332 HAS SOPS 350044 HAS SOUS 57559 HAS SOUPS 34901 WITH SCORE 35473.332
AT ITER 836 NEW BEST:: SOT 707714 SOS 572217 HAS SOPS 349929 HAS SOUS 57446 HAS SOUPS 34788 WITH SCORE 35360.217
AT ITER 838 NEW BEST:: SOT 708052 SOS 572997 HAS SOPS 350825 HAS SOUS 57310 HAS SOUPS 34774 WITH SCORE 35346.997
AT ITER 855 NEW BEST:: SOT 708072 SOS 573047 HAS SOPS 350837 HAS SOUS 57310 HAS SOUPS 34772 WITH SCORE 35345.047
AT ITER 865 NEW BEST:: SOT 708050 SOS 573146 HAS SOPS 350771 HAS SOUS 57310 HAS SOUPS 34761 WITH SCORE 35334.146
AT ITER 868 NEW BEST:: SOT 708091 SOS 573187 HAS SOPS 350701 HAS SOUS 56907 HAS SOUPS 34395 WITH SCORE 34968.187
AT ITER 888 NEW BEST:: SOT 708829 SOS 575425 HAS SOPS 351503 HAS SOUS 56531 HAS SOUPS 34331 WITH SCORE 34906.425
AT ITER 902 NEW BEST:: SOT 708877 SOS 574189 HAS SOPS 350987 HAS SOUS 56483 HAS SOUPS 34331 WITH SCORE 34905.189
AT ITER 930 NEW BEST:: SOT 708301 SOS 573613 HAS SOPS 350411 HAS SOUS 56483 HAS SOUPS 34331 WITH SCORE 34904.613
AT ITER 934 NEW BEST:: SOT 708295 SOS 573604 HAS SOPS 350408 HAS SOUS 56477 HAS SOUPS 34328 WITH SCORE 34901.604
AT ITER 945 NEW BEST:: SOT 708288 SOS 573597 HAS SOPS 350408 HAS SOUS 56477 HAS SOUPS 34328 WITH SCORE 34901.597
AT ITER 959 NEW BEST:: SOT 708686 SOS 570772 HAS SOPS 350021 HAS SOUS 56798 HAS SOUPS 33915 WITH SCORE 34485.772
AT ITER 962 NEW BEST:: SOT 708535 SOS 561215 HAS SOPS 341994 HAS SOUS 56640 HAS SOUPS 33859 WITH SCORE 34420.215
AT ITER 968 NEW BEST:: SOT 708007 SOS 560621 HAS SOPS 341598 HAS SOUS 56574 HAS SOUPS 33859 WITH SCORE 34419.621
AT ITER 979 NEW BEST:: SOT 707332 SOS 560021 HAS SOPS 341223 HAS SOUS 56649 HAS SOUPS 33859 WITH SCORE 34419.021
AT ITER 1010 NEW BEST:: SOT 707327 SOS 560016 HAS SOPS 341185 HAS SOUS 56611 HAS SOUPS 33821 WITH SCORE 34381.016
AT ITER 1015 NEW BEST:: SOT 707264 SOS 558945 HAS SOPS 341179 HAS SOUS 56473 HAS SOUPS 33754 WITH SCORE 34312.945
AT ITER 1029 NEW BEST:: SOT 707867 SOS 559507 HAS SOPS 341823 HAS SOUS 56350 HAS SOUPS 33672 WITH SCORE 34231.507
AT ITER 1037 NEW BEST:: SOT 707567 SOS 559207 HAS SOPS 341523 HAS SOUS 56350 HAS SOUPS 33672 WITH SCORE 34231.207
AT ITER 1058 NEW BEST:: SOT 707524 SOS 559151 HAS SOPS 341493 HAS SOUS 56307 HAS SOUPS 33642 WITH SCORE 34201.151
AT ITER 1067 NEW BEST:: SOT 707535 SOS 559013 HAS SOPS 341955 HAS SOUS 56204 HAS SOUPS 33579 WITH SCORE 34138.013
AT ITER 1071 NEW BEST:: SOT 706552 SOS 558020 HAS SOPS 341121 HAS SOUS 56138 HAS SOUPS 33547 WITH SCORE 34105.02
AT ITER 1078 NEW BEST:: SOT 706346 SOS 556620 HAS SOPS 340829 HAS SOUS 56039 HAS SOUPS 33508 WITH SCORE 34064.62
AT ITER 1082 NEW BEST:: SOT 706306 SOS 556484 HAS SOPS 340693 HAS SOUS 55999 HAS SOUPS 33468 WITH SCORE 34024.484
AT ITER 1084 NEW BEST:: SOT 705929 SOS 555999 HAS SOPS 340393 HAS SOUS 55967 HAS SOUPS 33436 WITH SCORE 33991.999
AT ITER 1086 NEW BEST:: SOT 705351 SOS 554787 HAS SOPS 340018 HAS SOUS 55896 HAS SOUPS 33403 WITH SCORE 33957.787
AT ITER 1103 NEW BEST:: SOT 704537 SOS 552064 HAS SOPS 338806 HAS SOUS 55825 HAS SOUPS 33388 WITH SCORE 33940.064
AT ITER 1126 NEW BEST:: SOT 704400 SOS 551794 HAS SOPS 338669 HAS SOUS 55555 HAS SOUPS 33251 WITH SCORE 33802.794
AT ITER 1138 NEW BEST:: SOT 704073 SOS 551489 HAS SOPS 338433 HAS SOUS 55541 HAS SOUPS 33200 WITH SCORE 33751.489
AT ITER 1146 NEW BEST:: SOT 704147 SOS 549662 HAS SOPS 337791 HAS SOUS 55387 HAS SOUPS 33125 WITH SCORE 33674.662
AT ITER 1147 NEW BEST:: SOT 705139 SOS 553519 HAS SOPS 338497 HAS SOUS 54513 HAS SOUPS 32656 WITH SCORE 33209.519
AT ITER 1154 NEW BEST:: SOT 705071 SOS 553179 HAS SOPS 338463 HAS SOUS 54487 HAS SOUPS 32639 WITH SCORE 33192.179
AT ITER 1174 NEW BEST:: SOT 704842 SOS 550656 HAS SOPS 336578 HAS SOUS 54451 HAS SOUPS 32614 WITH SCORE 33164.656
AT ITER 1180 NEW BEST:: SOT 704798 SOS 550612 HAS SOPS 336534 HAS SOUS 54407 HAS SOUPS 32570 WITH SCORE 33120.612
AT ITER 1181 NEW BEST:: SOT 704800 SOS 550638 HAS SOPS 336536 HAS SOUS 54407 HAS SOUPS 32568 WITH SCORE 33118.638
AT ITER 1185 NEW BEST:: SOT 704758 SOS 549924 HAS SOPS 335822 HAS SOUS 54365 HAS SOUPS 32526 WITH SCORE 33075.924
AT ITER 1187 NEW BEST:: SOT 704621 SOS 549190 HAS SOPS 335640 HAS SOUS 54274 HAS SOUPS 32481 WITH SCORE 33030.19
AT ITER 1189 NEW BEST:: SOT 704546 SOS 549115 HAS SOPS 335565 HAS SOUS 54199 HAS SOUPS 32406 WITH SCORE 32955.115
AT ITER 1191 NEW BEST:: SOT 704483 SOS 549052 HAS SOPS 335565 HAS SOUS 54199 HAS SOUPS 32406 WITH SCORE 32955.052
AT ITER 1195 NEW BEST:: SOT 704958 SOS 550797 HAS SOPS 336130 HAS SOUS 53502 HAS SOUPS 32121 WITH SCORE 32671.797
AT ITER 1199 NEW BEST:: SOT 704859 SOS 550698 HAS SOPS 336031 HAS SOUS 53403 HAS SOUPS 32022 WITH SCORE 32572.698
AT ITER 1206 NEW BEST:: SOT 704874 SOS 550740 HAS SOPS 336019 HAS SOUS 53418 HAS SOUPS 32010 WITH SCORE 32560.74
AT ITER 1208 NEW BEST:: SOT 704935 SOS 549974 HAS SOPS 337098 HAS SOUS 53248 HAS SOUPS 31963 WITH SCORE 32512.974
AT ITER 1210 NEW BEST:: SOT 704620 SOS 549722 HAS SOPS 336720 HAS SOUS 53311 HAS SOUPS 31963 WITH SCORE 32512.722
AT ITER 1215 NEW BEST:: SOT 705121 SOS 550223 HAS SOPS 337221 HAS SOUS 53314 HAS SOUPS 31934 WITH SCORE 32484.222999999998
AT ITER 1226 NEW BEST:: SOT 705080 SOS 547254 HAS SOPS 337398 HAS SOUS 53102 HAS SOUPS 31917 WITH SCORE 32464.254
AT ITER 1239 NEW BEST:: SOT 705080 SOS 547254 HAS SOPS 337398 HAS SOUS 53066 HAS SOUPS 31897 WITH SCORE 32444.254
AT ITER 1254 NEW BEST:: SOT 704953 SOS 547072 HAS SOPS 337326 HAS SOUS 52939 HAS SOUPS 31825 WITH SCORE 32372.072
AT ITER 1258 NEW BEST:: SOT 704955 SOS 547811 HAS SOPS 338065 HAS SOUS 52894 HAS SOUPS 31780 WITH SCORE 32327.811
AT ITER 1268 NEW BEST:: SOT 705197 SOS 548177 HAS SOPS 338059 HAS SOUS 53012 HAS SOUPS 31774 WITH SCORE 32322.177
AT ITER 1270 NEW BEST:: SOT 705197 SOS 548177 HAS SOPS 338059 HAS SOUS 52985 HAS SOUPS 31759 WITH SCORE 32307.177
AT ITER 1272 NEW BEST:: SOT 705002 SOS 547893 HAS SOPS 337953 HAS SOUS 52820 HAS SOUPS 31683 WITH SCORE 32230.893
AT ITER 1274 NEW BEST:: SOT 704786 SOS 547677 HAS SOPS 337737 HAS SOUS 52820 HAS SOUPS 31683 WITH SCORE 32230.677
AT ITER 1275 NEW BEST:: SOT 704714 SOS 547007 HAS SOPS 337067 HAS SOUS 52774 HAS SOUPS 31637 WITH SCORE 32184.007
AT ITER 1299 NEW BEST:: SOT 704679 SOS 546979 HAS SOPS 337025 HAS SOUS 52781 HAS SOUPS 31637 WITH SCORE 32183.979
AT ITER 1303 NEW BEST:: SOT 704531 SOS 545755 HAS SOPS 335819 HAS SOUS 52715 HAS SOUPS 31506 WITH SCORE 32051.755
AT ITER 1307 NEW BEST:: SOT 704147 SOS 545371 HAS SOPS 335435 HAS SOUS 52715 HAS SOUPS 31506 WITH SCORE 32051.371
AT ITER 1311 NEW BEST:: SOT 704183 SOS 545398 HAS SOPS 335410 HAS SOUS 52681 HAS SOUPS 31481 WITH SCORE 32026.398
AT ITER 1313 NEW BEST:: SOT 704181 SOS 545396 HAS SOPS 335410 HAS SOUS 52681 HAS SOUPS 31481 WITH SCORE 32026.396
AT ITER 1320 NEW BEST:: SOT 704095 SOS 545708 HAS SOPS 335077 HAS SOUS 52707 HAS SOUPS 31464 WITH SCORE 32009.708
AT ITER 1327 NEW BEST:: SOT 704087 SOS 545700 HAS SOPS 335069 HAS SOUS 52699 HAS SOUPS 31456 WITH SCORE 32001.7
AT ITER 1331 NEW BEST:: SOT 704038 SOS 545651 HAS SOPS 335020 HAS SOUS 52658 HAS SOUPS 31415 WITH SCORE 31960.651
AT ITER 1376 NEW BEST:: SOT 704038 SOS 545846 HAS SOPS 335215 HAS SOUS 52655 HAS SOUPS 31412 WITH SCORE 31957.846
AT ITER 1381 NEW BEST:: SOT 703308 SOS 544330 HAS SOPS 334753 HAS SOUS 52595 HAS SOUPS 31399 WITH SCORE 31943.33
AT ITER 1388 NEW BEST:: SOT 703308 SOS 544330 HAS SOPS 334753 HAS SOUS 52592 HAS SOUPS 31397 WITH SCORE 31941.33
AT ITER 1393 NEW BEST:: SOT 703228 SOS 545528 HAS SOPS 334991 HAS SOUS 52594 HAS SOUPS 31335 WITH SCORE 31880.528
AT ITER 1396 NEW BEST:: SOT 703201 SOS 545474 HAS SOPS 334991 HAS SOUS 52558 HAS SOUPS 31330 WITH SCORE 31875.474
AT ITER 1399 NEW BEST:: SOT 703192 SOS 545465 HAS SOPS 334991 HAS SOUS 52558 HAS SOUPS 31330 WITH SCORE 31875.465
AT ITER 1405 NEW BEST:: SOT 701940 SOS 544132 HAS SOPS 334148 HAS SOUS 52499 HAS SOUPS 31271 WITH SCORE 31815.132
AT ITER 1411 NEW BEST:: SOT 701920 SOS 544092 HAS SOPS 334108 HAS SOUS 52479 HAS SOUPS 31251 WITH SCORE 31795.092
AT ITER 1429 NEW BEST:: SOT 701869 SOS 544041 HAS SOPS 334057 HAS SOUS 52428 HAS SOUPS 31200 WITH SCORE 31744.041
AT ITER 1469 NEW BEST:: SOT 701758 SOS 543301 HAS SOPS 333391 HAS SOUS 52254 HAS SOUPS 31058 WITH SCORE 31601.301
AT ITER 1477 NEW BEST:: SOT 701758 SOS 543208 HAS SOPS 333391 HAS SOUS 52161 HAS SOUPS 31058 WITH SCORE 31601.208
AT ITER 1483 NEW BEST:: SOT 701715 SOS 543165 HAS SOPS 333391 HAS SOUS 52161 HAS SOUPS 31058 WITH SCORE 31601.165
AT ITER 1490 NEW BEST:: SOT 702310 SOS 543659 HAS SOPS 334087 HAS SOUS 52054 HAS SOUPS 31054 WITH SCORE 31597.659
AT ITER 1492 NEW BEST:: SOT 702277 SOS 543136 HAS SOPS 333564 HAS SOUS 52026 HAS SOUPS 31026 WITH SCORE 31569.136
AT ITER 1502 NEW BEST:: SOT 703453 SOS 545488 HAS SOPS 334158 HAS SOUS 51925 HAS SOUPS 30838 WITH SCORE 31383.488
AT ITER 1523 NEW BEST:: SOT 703543 SOS 545578 HAS SOPS 334188 HAS SOUS 51820 HAS SOUPS 30748 WITH SCORE 31293.578
AT ITER 1534 NEW BEST:: SOT 703543 SOS 545578 HAS SOPS 334188 HAS SOUS 51814 HAS SOUPS 30744 WITH SCORE 31289.578
AT ITER 1539 NEW BEST:: SOT 704038 SOS 546056 HAS SOPS 334611 HAS SOUS 51686 HAS SOUPS 30633 WITH SCORE 31179.056
AT ITER 1544 NEW BEST:: SOT 704066 SOS 546036 HAS SOPS 334579 HAS SOUS 51637 HAS SOUPS 30600 WITH SCORE 31146.036
AT ITER 1571 NEW BEST:: SOT 704074 SOS 546046 HAS SOPS 334568 HAS SOUS 51628 HAS SOUPS 30589 WITH SCORE 31135.046
AT ITER 1578 NEW BEST:: SOT 704062 SOS 545780 HAS SOPS 334566 HAS SOUS 51588 HAS SOUPS 30571 WITH SCORE 31116.78
AT ITER 1579 NEW BEST:: SOT 704235 SOS 546265 HAS SOPS 334705 HAS SOUS 51559 HAS SOUPS 30542 WITH SCORE 31088.265
AT ITER 1586 NEW BEST:: SOT 704235 SOS 546264 HAS SOPS 334705 HAS SOUS 51558 HAS SOUPS 30542 WITH SCORE 31088.264
AT ITER 1589 NEW BEST:: SOT 704181 SOS 546195 HAS SOPS 334666 HAS SOUS 51492 HAS SOUPS 30494 WITH SCORE 31040.195
AT ITER 1591 NEW BEST:: SOT 704111 SOS 546125 HAS SOPS 334596 HAS SOUS 51422 HAS SOUPS 30424 WITH SCORE 30970.125
AT ITER 1592 NEW BEST:: SOT 704039 SOS 542866 HAS SOPS 331772 HAS SOUS 51369 HAS SOUPS 30400 WITH SCORE 30942.866
AT ITER 1598 NEW BEST:: SOT 703923 SOS 542674 HAS SOPS 331714 HAS SOUS 51300 HAS SOUPS 30360 WITH SCORE 30902.674
AT ITER 1599 NEW BEST:: SOT 704513 SOS 543212 HAS SOPS 332356 HAS SOUS 51203 HAS SOUPS 30311 WITH SCORE 30854.212
AT ITER 1610 NEW BEST:: SOT 704511 SOS 543208 HAS SOPS 332356 HAS SOUS 51201 HAS SOUPS 30311 WITH SCORE 30854.208
AT ITER 1611 NEW BEST:: SOT 704151 SOS 542305 HAS SOPS 332110 HAS SOUS 51162 HAS SOUPS 30296 WITH SCORE 30838.305
AT ITER 1631 NEW BEST:: SOT 704049 SOS 542203 HAS SOPS 332110 HAS SOUS 51162 HAS SOUPS 30296 WITH SCORE 30838.203
AT ITER 1655 NEW BEST:: SOT 703844 SOS 541998 HAS SOPS 331905 HAS SOUS 51137 HAS SOUPS 30271 WITH SCORE 30812.998
AT ITER 1681 NEW BEST:: SOT 703844 SOS 541965 HAS SOPS 331905 HAS SOUS 51104 HAS SOUPS 30271 WITH SCORE 30812.965
AT ITER 1697 NEW BEST:: SOT 703713 SOS 541834 HAS SOPS 331905 HAS SOUS 50777 HAS SOUPS 30060 WITH SCORE 30601.834
AT ITER 1711 NEW BEST:: SOT 703699 SOS 542161 HAS SOPS 331842 HAS SOUS 50753 HAS SOUPS 30010 WITH SCORE 30552.161
AT ITER 1715 NEW BEST:: SOT 704504 SOS 542966 HAS SOPS 332532 HAS SOUS 50750 HAS SOUPS 30008 WITH SCORE 30550.966
AT ITER 1734 NEW BEST:: SOT 704497 SOS 542967 HAS SOPS 332473 HAS SOUS 50751 HAS SOUPS 30005 WITH SCORE 30547.967
AT ITER 1749 NEW BEST:: SOT 704497 SOS 542967 HAS SOPS 332473 HAS SOUS 50688 HAS SOUPS 29970 WITH SCORE 30512.967
AT ITER 1753 NEW BEST:: SOT 704454 SOS 542924 HAS SOPS 332473 HAS SOUS 50688 HAS SOUPS 29970 WITH SCORE 30512.924
AT ITER 1754 NEW BEST:: SOT 704454 SOS 542926 HAS SOPS 332505 HAS SOUS 50684 HAS SOUPS 29968 WITH SCORE 30510.926
AT ITER 1758 NEW BEST:: SOT 704355 SOS 542753 HAS SOPS 332431 HAS SOUS 50561 HAS SOUPS 29894 WITH SCORE 30436.753
AT ITER 1764 NEW BEST:: SOT 703899 SOS 542297 HAS SOPS 331975 HAS SOUS 50561 HAS SOUPS 29894 WITH SCORE 30436.297
AT ITER 1769 NEW BEST:: SOT 703938 SOS 542341 HAS SOPS 332019 HAS SOUS 50559 HAS SOUPS 29892 WITH SCORE 30434.341
AT ITER 1775 NEW BEST:: SOT 704013 SOS 542398 HAS SOPS 332001 HAS SOUS 50532 HAS SOUPS 29874 WITH SCORE 30416.398
AT ITER 1779 NEW BEST:: SOT 704005 SOS 542441 HAS SOPS 332044 HAS SOUS 50531 HAS SOUPS 29873 WITH SCORE 30415.441
AT ITER 1788 NEW BEST:: SOT 703607 SOS 540376 HAS SOPS 331563 HAS SOUS 50276 HAS SOUPS 29515 WITH SCORE 30055.376
AT ITER 1801 NEW BEST:: SOT 703575 SOS 540344 HAS SOPS 331563 HAS SOUS 50276 HAS SOUPS 29515 WITH SCORE 30055.344
AT ITER 1816 NEW BEST:: SOT 703365 SOS 540134 HAS SOPS 331353 HAS SOUS 50276 HAS SOUPS 29515 WITH SCORE 30055.134
AT ITER 1897 NEW BEST:: SOT 703672 SOS 540748 HAS SOPS 331551 HAS SOUS 50268 HAS SOUPS 29506 WITH SCORE 30046.748
AT ITER 1915 NEW BEST:: SOT 703657 SOS 540732 HAS SOPS 331535 HAS SOUS 50252 HAS SOUPS 29490 WITH SCORE 30030.732
AT ITER 1932 NEW BEST:: SOT 703658 SOS 540659 HAS SOPS 331531 HAS SOUS 50174 HAS SOUPS 29486 WITH SCORE 30026.659
AT ITER 1934 NEW BEST:: SOT 703666 SOS 540795 HAS SOPS 331667 HAS SOUS 50169 HAS SOUPS 29481 WITH SCORE 30021.795
AT ITER 1940 NEW BEST:: SOT 703512 SOS 540601 HAS SOPS 331625 HAS SOUS 50087 HAS SOUPS 29439 WITH SCORE 29979.601
AT ITER 1941 NEW BEST:: SOT 703806 SOS 541319 HAS SOPS 331823 HAS SOUS 50103 HAS SOUPS 29429 WITH SCORE 29970.319
AT ITER 1942 NEW BEST:: SOT 704311 SOS 541891 HAS SOPS 332125 HAS SOUS 50067 HAS SOUPS 29393 WITH SCORE 29934.891
AT ITER 1954 NEW BEST:: SOT 704258 SOS 537294 HAS SOPS 327528 HAS SOUS 50046 HAS SOUPS 29372 WITH SCORE 29909.294
AT ITER 1966 NEW BEST:: SOT 704244 SOS 537280 HAS SOPS 327528 HAS SOUS 50046 HAS SOUPS 29372 WITH SCORE 29909.28
AT ITER 1983 NEW BEST:: SOT 704342 SOS 537671 HAS SOPS 327762 HAS SOUS 49734 HAS SOUPS 29352 WITH SCORE 29889.671
AT ITER 2001 NEW BEST:: SOT 702932 SOS 533733 HAS SOPS 326771 HAS SOUS 49624 HAS SOUPS 29350 WITH SCORE 29883.733
AT ITER 2005 NEW BEST:: SOT 703068 SOS 523709 HAS SOPS 317119 HAS SOUS 49585 HAS SOUPS 29311 WITH SCORE 29834.709
AT ITER 2006 NEW BEST:: SOT 703014 SOS 523655 HAS SOPS 317119 HAS SOUS 49559 HAS SOUPS 29285 WITH SCORE 29808.655
AT ITER 2007 NEW BEST:: SOT 702972 SOS 523613 HAS SOPS 317077 HAS SOUS 49559 HAS SOUPS 29285 WITH SCORE 29808.613
AT ITER 2024 NEW BEST:: SOT 702966 SOS 523427 HAS SOPS 316981 HAS SOUS 49547 HAS SOUPS 29279 WITH SCORE 29802.427
AT ITER 2027 NEW BEST:: SOT 702983 SOS 523444 HAS SOPS 316981 HAS SOUS 49491 HAS SOUPS 29263 WITH SCORE 29786.444
AT ITER 2041 NEW BEST:: SOT 702984 SOS 523429 HAS SOPS 316981 HAS SOUS 49490 HAS SOUPS 29263 WITH SCORE 29786.429
AT ITER 2047 NEW BEST:: SOT 702964 SOS 523409 HAS SOPS 316961 HAS SOUS 49480 HAS SOUPS 29253 WITH SCORE 29776.409
AT ITER 2062 NEW BEST:: SOT 702962 SOS 523345 HAS SOPS 316897 HAS SOUS 49476 HAS SOUPS 29249 WITH SCORE 29772.345
AT ITER 2067 NEW BEST:: SOT 703295 SOS 523686 HAS SOPS 317088 HAS SOUS 49467 HAS SOUPS 29240 WITH SCORE 29763.686
AT ITER 2069 NEW BEST:: SOT 703291 SOS 523682 HAS SOPS 317084 HAS SOUS 49463 HAS SOUPS 29236 WITH SCORE 29759.682
AT ITER 2073 NEW BEST:: SOT 703285 SOS 523670 HAS SOPS 317084 HAS SOUS 49457 HAS SOUPS 29236 WITH SCORE 29759.67
AT ITER 2081 NEW BEST:: SOT 703252 SOS 520694 HAS SOPS 315563 HAS SOUS 49307 HAS SOUPS 29183 WITH SCORE 29703.694
AT ITER 2099 NEW BEST:: SOT 703226 SOS 520306 HAS SOPS 315535 HAS SOUS 49281 HAS SOUPS 29181 WITH SCORE 29701.306
AT ITER 2106 NEW BEST:: SOT 703204 SOS 517165 HAS SOPS 312919 HAS SOUS 49216 HAS SOUPS 29135 WITH SCORE 29652.165
AT ITER 2117 NEW BEST:: SOT 703276 SOS 517309 HAS SOPS 312955 HAS SOUS 49216 HAS SOUPS 29129 WITH SCORE 29646.309
AT ITER 2135 NEW BEST:: SOT 703252 SOS 517273 HAS SOPS 312943 HAS SOUS 49192 HAS SOUPS 29117 WITH SCORE 29634.273
AT ITER 2141 NEW BEST:: SOT 701638 SOS 499946 HAS SOPS 298894 HAS SOUS 48910 HAS SOUPS 28960 WITH SCORE 29459.946
AT ITER 2167 NEW BEST:: SOT 701039 SOS 498719 HAS SOPS 297873 HAS SOUS 48881 HAS SOUPS 28903 WITH SCORE 29401.719
AT ITER 2174 NEW BEST:: SOT 701002 SOS 498843 HAS SOPS 297763 HAS SOUS 48873 HAS SOUPS 28877 WITH SCORE 29375.843
AT ITER 2205 NEW BEST:: SOT 701813 SOS 499751 HAS SOPS 298477 HAS SOUS 48928 HAS SOUPS 28849 WITH SCORE 29348.751
AT ITER 2209 NEW BEST:: SOT 701750 SOS 506225 HAS SOPS 300991 HAS SOUS 48975 HAS SOUPS 28786 WITH SCORE 29292.225
AT ITER 2214 NEW BEST:: SOT 702255 SOS 507080 HAS SOPS 301612 HAS SOUS 48875 HAS SOUPS 28718 WITH SCORE 29225.08
AT ITER 2218 NEW BEST:: SOT 702171 SOS 506912 HAS SOPS 301612 HAS SOUS 48791 HAS SOUPS 28718 WITH SCORE 29224.912
AT ITER 2219 NEW BEST:: SOT 702020 SOS 506753 HAS SOPS 301519 HAS SOUS 48783 HAS SOUPS 28710 WITH SCORE 29216.753
AT ITER 2280 NEW BEST:: SOT 701974 SOS 506685 HAS SOPS 301495 HAS SOUS 48539 HAS SOUPS 28576 WITH SCORE 29082.685
AT ITER 2289 NEW BEST:: SOT 701948 SOS 506904 HAS SOPS 301714 HAS SOUS 48531 HAS SOUPS 28568 WITH SCORE 29074.904
AT ITER 2305 NEW BEST:: SOT 701956 SOS 506840 HAS SOPS 301692 HAS SOUS 48531 HAS SOUPS 28568 WITH SCORE 29074.84
AT ITER 2308 NEW BEST:: SOT 701956 SOS 506840 HAS SOPS 301692 HAS SOUS 48522 HAS SOUPS 28562 WITH SCORE 29068.84
AT ITER 2321 NEW BEST:: SOT 701955 SOS 506838 HAS SOPS 301692 HAS SOUS 48521 HAS SOUPS 28562 WITH SCORE 29068.838
AT ITER 2352 NEW BEST:: SOT 702743 SOS 507792 HAS SOPS 302314 HAS SOUS 48612 HAS SOUPS 28543 WITH SCORE 29050.792
AT ITER 2353 NEW BEST:: SOT 702716 SOS 507752 HAS SOPS 302274 HAS SOUS 48605 HAS SOUPS 28536 WITH SCORE 29043.752
AT ITER 2357 NEW BEST:: SOT 703965 SOS 510885 HAS SOPS 303036 HAS SOUS 48609 HAS SOUPS 28437 WITH SCORE 28947.885
AT ITER 2362 NEW BEST:: SOT 703971 SOS 510930 HAS SOPS 303081 HAS SOUS 48601 HAS SOUPS 28429 WITH SCORE 28939.93
AT ITER 2367 NEW BEST:: SOT 703893 SOS 510852 HAS SOPS 303081 HAS SOUS 48601 HAS SOUPS 28429 WITH SCORE 28939.852
AT ITER 2371 NEW BEST:: SOT 703989 SOS 510948 HAS SOPS 303081 HAS SOUS 48367 HAS SOUPS 28299 WITH SCORE 28809.948
AT ITER 2390 NEW BEST:: SOT 703899 SOS 510858 HAS SOPS 302991 HAS SOUS 48367 HAS SOUPS 28299 WITH SCORE 28809.858
AT ITER 2391 NEW BEST:: SOT 703896 SOS 511005 HAS SOPS 303030 HAS SOUS 48367 HAS SOUPS 28296 WITH SCORE 28807.005
AT ITER 2394 NEW BEST:: SOT 703891 SOS 511000 HAS SOPS 303030 HAS SOUS 48367 HAS SOUPS 28296 WITH SCORE 28807.0
AT ITER 2405 NEW BEST:: SOT 703848 SOS 511005 HAS SOPS 303021 HAS SOUS 48432 HAS SOUPS 28292 WITH SCORE 28803.005
AT ITER 2414 NEW BEST:: SOT 703728 SOS 510885 HAS SOPS 302901 HAS SOUS 48432 HAS SOUPS 28292 WITH SCORE 28802.885
AT ITER 2421 NEW BEST:: SOT 703697 SOS 510854 HAS SOPS 302901 HAS SOUS 48432 HAS SOUPS 28292 WITH SCORE 28802.854
AT ITER 2445 NEW BEST:: SOT 703700 SOS 510737 HAS SOPS 302835 HAS SOUS 48420 HAS SOUPS 28280 WITH SCORE 28790.737
AT ITER 2454 NEW BEST:: SOT 703699 SOS 510704 HAS SOPS 302802 HAS SOUS 48419 HAS SOUPS 28279 WITH SCORE 28789.704
AT ITER 2474 NEW BEST:: SOT 703926 SOS 505180 HAS SOPS 300734 HAS SOUS 48269 HAS SOUPS 28225 WITH SCORE 28730.18
AT ITER 2480 NEW BEST:: SOT 703926 SOS 504998 HAS SOPS 300544 HAS SOUS 48265 HAS SOUPS 28221 WITH SCORE 28725.998
AT ITER 2499 NEW BEST:: SOT 704474 SOS 505644 HAS SOPS 300890 HAS SOUS 48259 HAS SOUPS 28215 WITH SCORE 28720.644
AT ITER 2511 NEW BEST:: SOT 703527 SOS 503156 HAS SOPS 300188 HAS SOUS 48248 HAS SOUPS 28206 WITH SCORE 28709.156
AT ITER 2519 NEW BEST:: SOT 703528 SOS 503758 HAS SOPS 300790 HAS SOUS 48244 HAS SOUPS 28202 WITH SCORE 28705.758
AT ITER 2528 NEW BEST:: SOT 702856 SOS 502990 HAS SOPS 300214 HAS SOUS 48130 HAS SOUPS 28192 WITH SCORE 28694.99
AT ITER 2534 NEW BEST:: SOT 702836 SOS 502950 HAS SOPS 300214 HAS SOUS 48110 HAS SOUPS 28192 WITH SCORE 28694.95
AT ITER 2584 NEW BEST:: SOT 702819 SOS 502933 HAS SOPS 300197 HAS SOUS 48093 HAS SOUPS 28175 WITH SCORE 28677.933
AT ITER 2603 NEW BEST:: SOT 702807 SOS 502921 HAS SOPS 300197 HAS SOUS 48093 HAS SOUPS 28175 WITH SCORE 28677.921
AT ITER 2607 NEW BEST:: SOT 702748 SOS 502862 HAS SOPS 300197 HAS SOUS 48093 HAS SOUPS 28175 WITH SCORE 28677.862
AT ITER 2619 NEW BEST:: SOT 702756 SOS 502246 HAS SOPS 299581 HAS SOUS 48093 HAS SOUPS 28175 WITH SCORE 28677.246
AT ITER 2628 NEW BEST:: SOT 702746 SOS 502226 HAS SOPS 299581 HAS SOUS 48083 HAS SOUPS 28175 WITH SCORE 28677.226
AT ITER 2632 NEW BEST:: SOT 702715 SOS 502108 HAS SOPS 299560 HAS SOUS 48049 HAS SOUPS 28149 WITH SCORE 28651.108
AT ITER 2646 NEW BEST:: SOT 702702 SOS 501757 HAS SOPS 299209 HAS SOUS 48023 HAS SOUPS 28123 WITH SCORE 28624.757
AT ITER 2685 NEW BEST:: SOT 702621 SOS 503620 HAS SOPS 301126 HAS SOUS 47998 HAS SOUPS 28098 WITH SCORE 28601.62
AT ITER 2689 NEW BEST:: SOT 703361 SOS 505455 HAS SOPS 301604 HAS SOUS 47983 HAS SOUPS 28079 WITH SCORE 28584.455
AT ITER 2691 NEW BEST:: SOT 703328 SOS 505420 HAS SOPS 301604 HAS SOUS 47981 HAS SOUPS 28079 WITH SCORE 28584.42
AT ITER 2718 NEW BEST:: SOT 703432 SOS 504593 HAS SOPS 301344 HAS SOUS 47978 HAS SOUPS 28076 WITH SCORE 28580.593
AT ITER 2731 NEW BEST:: SOT 703369 SOS 504530 HAS SOPS 301290 HAS SOUS 47885 HAS SOUPS 28019 WITH SCORE 28523.53
AT ITER 2758 NEW BEST:: SOT 703369 SOS 504485 HAS SOPS 301245 HAS SOUS 47872 HAS SOUPS 28006 WITH SCORE 28510.485
AT ITER 2791 NEW BEST:: SOT 704469 SOS 506685 HAS SOPS 301947 HAS SOUS 47694 HAS SOUPS 27907 WITH SCORE 28413.685
AT ITER 2802 NEW BEST:: SOT 705549 SOS 507911 HAS SOPS 302805 HAS SOUS 47618 HAS SOUPS 27792 WITH SCORE 28299.911
AT ITER 2856 NEW BEST:: SOT 705523 SOS 507820 HAS SOPS 302779 HAS SOUS 47527 HAS SOUPS 27766 WITH SCORE 28273.82
AT ITER 2862 NEW BEST:: SOT 704998 SOS 507295 HAS SOPS 302329 HAS SOUS 47284 HAS SOUPS 27631 WITH SCORE 28138.295
AT ITER 2865 NEW BEST:: SOT 704954 SOS 507251 HAS SOPS 302329 HAS SOUS 47284 HAS SOUPS 27631 WITH SCORE 28138.251
AT ITER 2870 NEW BEST:: SOT 704927 SOS 507243 HAS SOPS 302329 HAS SOUS 47303 HAS SOUPS 27631 WITH SCORE 28138.243
AT ITER 2885 NEW BEST:: SOT 704891 SOS 508179 HAS SOPS 303085 HAS SOUS 47303 HAS SOUPS 27619 WITH SCORE 28127.179
AT ITER 2891 NEW BEST:: SOT 704815 SOS 508198 HAS SOPS 303104 HAS SOUS 47241 HAS SOUPS 27557 WITH SCORE 28065.198
AT ITER 2894 NEW BEST:: SOT 704685 SOS 507461 HAS SOPS 302367 HAS SOUS 47138 HAS SOUPS 27454 WITH SCORE 27961.461
AT ITER 2905 NEW BEST:: SOT 704477 SOS 507249 HAS SOPS 302163 HAS SOUS 47134 HAS SOUPS 27454 WITH SCORE 27961.249
AT ITER 2915 NEW BEST:: SOT 704477 SOS 507081 HAS SOPS 302205 HAS SOUS 47113 HAS SOUPS 27447 WITH SCORE 27954.081
AT ITER 2919 NEW BEST:: SOT 704462 SOS 507066 HAS SOPS 302190 HAS SOUS 47098 HAS SOUPS 27432 WITH SCORE 27939.066
AT ITER 2936 NEW BEST:: SOT 704320 SOS 505887 HAS SOPS 301271 HAS SOUS 47071 HAS SOUPS 27418 WITH SCORE 27923.887
AT ITER 2952 NEW BEST:: SOT 704452 SOS 506211 HAS SOPS 301343 HAS SOUS 47059 HAS SOUPS 27394 WITH SCORE 27900.211
AT ITER 2961 NEW BEST:: SOT 704260 SOS 506019 HAS SOPS 301151 HAS SOUS 47023 HAS SOUPS 27374 WITH SCORE 27880.019
AT ITER 2965 NEW BEST:: SOT 704272 SOS 506031 HAS SOPS 301151 HAS SOUS 46971 HAS SOUPS 27346 WITH SCORE 27852.031
AT ITER 2976 NEW BEST:: SOT 703696 SOS 504687 HAS SOPS 300815 HAS SOUS 46923 HAS SOUPS 27346 WITH SCORE 27850.687
AT ITER 2984 NEW BEST:: SOT 703612 SOS 504603 HAS SOPS 300815 HAS SOUS 46829 HAS SOUPS 27284 WITH SCORE 27788.603
AT ITER 2985 NEW BEST:: SOT 703624 SOS 504642 HAS SOPS 300884 HAS SOUS 46814 HAS SOUPS 27269 WITH SCORE 27773.642
AT ITER 2986 NEW BEST:: SOT 703615 SOS 504624 HAS SOPS 300884 HAS SOUS 46805 HAS SOUPS 27269 WITH SCORE 27773.624
AT ITER 2989 NEW BEST:: SOT 702773 SOS 500225 HAS SOPS 298355 HAS SOUS 46747 HAS SOUPS 27254 WITH SCORE 27754.225
AT ITER 3002 NEW BEST:: SOT 702774 SOS 500346 HAS SOPS 298356 HAS SOUS 46741 HAS SOUPS 27248 WITH SCORE 27748.346
AT ITER 3004 NEW BEST:: SOT 702615 SOS 499768 HAS SOPS 297843 HAS SOUS 46725 HAS SOUPS 27232 WITH SCORE 27731.768
AT ITER 3007 NEW BEST:: SOT 702600 SOS 500133 HAS SOPS 297873 HAS SOUS 46730 HAS SOUPS 27212 WITH SCORE 27712.133
AT ITER 3009 NEW BEST:: SOT 702435 SOS 499258 HAS SOPS 298018 HAS SOUS 46586 HAS SOUPS 27153 WITH SCORE 27652.258
AT ITER 3052 NEW BEST:: SOT 702447 SOS 499078 HAS SOPS 298018 HAS SOUS 46550 HAS SOUPS 27129 WITH SCORE 27628.078
AT ITER 3058 NEW BEST:: SOT 702207 SOS 498838 HAS SOPS 297778 HAS SOUS 46550 HAS SOUPS 27129 WITH SCORE 27627.838
AT ITER 3067 NEW BEST:: SOT 702199 SOS 498694 HAS SOPS 297754 HAS SOUS 46542 HAS SOUPS 27129 WITH SCORE 27627.694
AT ITER 3116 NEW BEST:: SOT 701324 SOS 496632 HAS SOPS 297204 HAS SOUS 46447 HAS SOUPS 27106 WITH SCORE 27602.632
AT ITER 3132 NEW BEST:: SOT 701313 SOS 496621 HAS SOPS 297204 HAS SOUS 46447 HAS SOUPS 27106 WITH SCORE 27602.621
AT ITER 3139 NEW BEST:: SOT 701289 SOS 496597 HAS SOPS 297180 HAS SOUS 46447 HAS SOUPS 27106 WITH SCORE 27602.597
AT ITER 3161 NEW BEST:: SOT 701253 SOS 496561 HAS SOPS 297144 HAS SOUS 46447 HAS SOUPS 27106 WITH SCORE 27602.561
AT ITER 3165 NEW BEST:: SOT 701249 SOS 496493 HAS SOPS 297072 HAS SOUS 46443 HAS SOUPS 27102 WITH SCORE 27598.493
AT ITER 3168 NEW BEST:: SOT 700621 SOS 494072 HAS SOPS 294789 HAS SOUS 46417 HAS SOUPS 27039 WITH SCORE 27533.072
AT ITER 3174 NEW BEST:: SOT 700237 SOS 493688 HAS SOPS 294405 HAS SOUS 46417 HAS SOUPS 27039 WITH SCORE 27532.688
AT ITER 3193 NEW BEST:: SOT 700183 SOS 493634 HAS SOPS 294405 HAS SOUS 46417 HAS SOUPS 27039 WITH SCORE 27532.634
AT ITER 3239 NEW BEST:: SOT 700141 SOS 493310 HAS SOPS 294183 HAS SOUS 46417 HAS SOUPS 27039 WITH SCORE 27532.31
AT ITER 3259 NEW BEST:: SOT 700141 SOS 493310 HAS SOPS 294183 HAS SOUS 46408 HAS SOUPS 27034 WITH SCORE 27527.31
AT ITER 3263 NEW BEST:: SOT 700210 SOS 492080 HAS SOPS 292953 HAS SOUS 46394 HAS SOUPS 27020 WITH SCORE 27512.08
AT ITER 3267 NEW BEST:: SOT 700700 SOS 493109 HAS SOPS 293247 HAS SOUS 46296 HAS SOUPS 26922 WITH SCORE 27415.109
AT ITER 3275 NEW BEST:: SOT 700544 SOS 492953 HAS SOPS 293091 HAS SOUS 46242 HAS SOUPS 26892 WITH SCORE 27384.953
AT ITER 3281 NEW BEST:: SOT 700539 SOS 492943 HAS SOPS 293081 HAS SOUS 46237 HAS SOUPS 26887 WITH SCORE 27379.943
AT ITER 3322 NEW BEST:: SOT 700501 SOS 492297 HAS SOPS 293005 HAS SOUS 46199 HAS SOUPS 26887 WITH SCORE 27379.297
AT ITER 3329 NEW BEST:: SOT 700499 SOS 492295 HAS SOPS 293005 HAS SOUS 46199 HAS SOUPS 26887 WITH SCORE 27379.295
AT ITER 3360 NEW BEST:: SOT 700496 SOS 492292 HAS SOPS 293005 HAS SOUS 46199 HAS SOUPS 26887 WITH SCORE 27379.292
AT ITER 3362 NEW BEST:: SOT 700487 SOS 492265 HAS SOPS 292843 HAS SOUS 46192 HAS SOUPS 26871 WITH SCORE 27363.265
AT ITER 3363 NEW BEST:: SOT 700195 SOS 491525 HAS SOPS 292607 HAS SOUS 46160 HAS SOUPS 26863 WITH SCORE 27354.525
AT ITER 3368 NEW BEST:: SOT 699937 SOS 491267 HAS SOPS 292349 HAS SOUS 46160 HAS SOUPS 26863 WITH SCORE 27354.267
AT ITER 3372 NEW BEST:: SOT 699566 SOS 489571 HAS SOPS 291342 HAS SOUS 46123 HAS SOUPS 26826 WITH SCORE 27315.571
AT ITER 3378 NEW BEST:: SOT 699570 SOS 489627 HAS SOPS 291359 HAS SOUS 46128 HAS SOUPS 26818 WITH SCORE 27307.627
AT ITER 3385 NEW BEST:: SOT 700723 SOS 491649 HAS SOPS 292782 HAS SOUS 46072 HAS SOUPS 26762 WITH SCORE 27253.649
AT ITER 3393 NEW BEST:: SOT 700782 SOS 491708 HAS SOPS 292782 HAS SOUS 46063 HAS SOUPS 26757 WITH SCORE 27248.708
AT ITER 3400 NEW BEST:: SOT 699737 SOS 490587 HAS SOPS 291837 HAS SOUS 46049 HAS SOUPS 26754 WITH SCORE 27244.587
AT ITER 3418 NEW BEST:: SOT 699588 SOS 491901 HAS SOPS 292770 HAS SOUS 46042 HAS SOUPS 26744 WITH SCORE 27235.901
AT ITER 3433 NEW BEST:: SOT 699555 SOS 491900 HAS SOPS 292770 HAS SOUS 46074 HAS SOUPS 26744 WITH SCORE 27235.9
AT ITER 3434 NEW BEST:: SOT 699504 SOS 489928 HAS SOPS 291053 HAS SOUS 46040 HAS SOUPS 26727 WITH SCORE 27216.928
AT ITER 3489 NEW BEST:: SOT 699509 SOS 489822 HAS SOPS 290931 HAS SOUS 46022 HAS SOUPS 26709 WITH SCORE 27198.822
AT ITER 3551 NEW BEST:: SOT 699407 SOS 489720 HAS SOPS 290829 HAS SOUS 46022 HAS SOUPS 26709 WITH SCORE 27198.72
AT ITER 3555 NEW BEST:: SOT 698765 SOS 489078 HAS SOPS 290187 HAS SOUS 46022 HAS SOUPS 26709 WITH SCORE 27198.078
AT ITER 3576 NEW BEST:: SOT 698741 SOS 489022 HAS SOPS 290173 HAS SOUS 46020 HAS SOUPS 26709 WITH SCORE 27198.022
AT ITER 3585 NEW BEST:: SOT 698771 SOS 489020 HAS SOPS 290173 HAS SOUS 45988 HAS SOUPS 26709 WITH SCORE 27198.02
AT ITER 3596 NEW BEST:: SOT 698735 SOS 488813 HAS SOPS 290146 HAS SOUS 45970 HAS SOUPS 26706 WITH SCORE 27194.813
AT ITER 3621 NEW BEST:: SOT 698675 SOS 488753 HAS SOPS 290086 HAS SOUS 45970 HAS SOUPS 26706 WITH SCORE 27194.753
AT ITER 3633 NEW BEST:: SOT 698665 SOS 488750 HAS SOPS 290086 HAS SOUS 45977 HAS SOUPS 26706 WITH SCORE 27194.75
AT ITER 3636 NEW BEST:: SOT 698599 SOS 488684 HAS SOPS 290020 HAS SOUS 45905 HAS SOUPS 26666 WITH SCORE 27154.684
AT ITER 3659 NEW BEST:: SOT 698324 SOS 487634 HAS SOPS 289470 HAS SOUS 45855 HAS SOUPS 26641 WITH SCORE 27128.634
AT ITER 3670 NEW BEST:: SOT 698335 SOS 487594 HAS SOPS 289430 HAS SOUS 45855 HAS SOUPS 26641 WITH SCORE 27128.594
AT ITER 3714 NEW BEST:: SOT 698315 SOS 488502 HAS SOPS 290338 HAS SOUS 45851 HAS SOUPS 26637 WITH SCORE 27125.502
AT ITER 3719 NEW BEST:: SOT 698274 SOS 488461 HAS SOPS 290338 HAS SOUS 45851 HAS SOUPS 26637 WITH SCORE 27125.461
AT ITER 3722 NEW BEST:: SOT 698070 SOS 488257 HAS SOPS 290134 HAS SOUS 45851 HAS SOUPS 26637 WITH SCORE 27125.257
AT ITER 3736 NEW BEST:: SOT 698040 SOS 487567 HAS SOPS 289924 HAS SOUS 45768 HAS SOUPS 26586 WITH SCORE 27073.567
AT ITER 3756 NEW BEST:: SOT 697858 SOS 487385 HAS SOPS 289768 HAS SOUS 45776 HAS SOUPS 26574 WITH SCORE 27061.385
AT ITER 3771 NEW BEST:: SOT 697788 SOS 487275 HAS SOPS 289718 HAS SOUS 45726 HAS SOUPS 26544 WITH SCORE 27031.275
AT ITER 3776 NEW BEST:: SOT 697050 SOS 485449 HAS SOPS 289232 HAS SOUS 45649 HAS SOUPS 26534 WITH SCORE 27019.449
AT ITER 3797 NEW BEST:: SOT 697035 SOS 485487 HAS SOPS 289237 HAS SOUS 45660 HAS SOUPS 26490 WITH SCORE 26975.487
AT ITER 3816 NEW BEST:: SOT 696921 SOS 485373 HAS SOPS 289123 HAS SOUS 45660 HAS SOUPS 26490 WITH SCORE 26975.373
AT ITER 3822 NEW BEST:: SOT 696855 SOS 485307 HAS SOPS 289123 HAS SOUS 45643 HAS SOUPS 26469 WITH SCORE 26954.307
AT ITER 3859 NEW BEST:: SOT 696855 SOS 485307 HAS SOPS 289123 HAS SOUS 45616 HAS SOUPS 26454 WITH SCORE 26939.307
AT ITER 3953 NEW BEST:: SOT 696854 SOS 485290 HAS SOPS 289121 HAS SOUS 45614 HAS SOUPS 26453 WITH SCORE 26938.29
AT ITER 3984 NEW BEST:: SOT 696811 SOS 484139 HAS SOPS 288540 HAS SOUS 45513 HAS SOUPS 26390 WITH SCORE 26874.139
AT ITER 3990 NEW BEST:: SOT 696808 SOS 484119 HAS SOPS 288520 HAS SOUS 45509 HAS SOUPS 26386 WITH SCORE 26870.119
AT ITER 3996 NEW BEST:: SOT 696784 SOS 483999 HAS SOPS 288490 HAS SOUS 45485 HAS SOUPS 26368 WITH SCORE 26851.999
AT ITER 4005 NEW BEST:: SOT 696700 SOS 483812 HAS SOPS 288303 HAS SOUS 45480 HAS SOUPS 26363 WITH SCORE 26846.812
AT ITER 4015 NEW BEST:: SOT 696641 SOS 484433 HAS SOPS 288184 HAS SOUS 45476 HAS SOUPS 26339 WITH SCORE 26823.433
AT ITER 4039 NEW BEST:: SOT 696641 SOS 484433 HAS SOPS 288184 HAS SOUS 45431 HAS SOUPS 26314 WITH SCORE 26798.433
AT ITER 4104 NEW BEST:: SOT 696960 SOS 486915 HAS SOPS 289810 HAS SOUS 45448 HAS SOUPS 26302 WITH SCORE 26788.915
AT ITER 4134 NEW BEST:: SOT 696960 SOS 486915 HAS SOPS 289810 HAS SOUS 45439 HAS SOUPS 26297 WITH SCORE 26783.915
AT ITER 4188 NEW BEST:: SOT 696740 SOS 486651 HAS SOPS 289656 HAS SOUS 45439 HAS SOUPS 26297 WITH SCORE 26783.651
AT ITER 4208 NEW BEST:: SOT 696745 SOS 486711 HAS SOPS 289669 HAS SOUS 45438 HAS SOUPS 26296 WITH SCORE 26782.711
AT ITER 4220 NEW BEST:: SOT 696717 SOS 486814 HAS SOPS 289637 HAS SOUS 45445 HAS SOUPS 26292 WITH SCORE 26778.814
AT ITER 4231 NEW BEST:: SOT 696637 SOS 486681 HAS SOPS 289610 HAS SOUS 45383 HAS SOUPS 26281 WITH SCORE 26767.681
AT ITER 4269 NEW BEST:: SOT 696621 SOS 486497 HAS SOPS 289346 HAS SOUS 45359 HAS SOUPS 26257 WITH SCORE 26743.497
AT ITER 4303 NEW BEST:: SOT 696598 SOS 486474 HAS SOPS 289346 HAS SOUS 45359 HAS SOUPS 26257 WITH SCORE 26743.474
AT ITER 4305 NEW BEST:: SOT 696583 SOS 486459 HAS SOPS 289346 HAS SOUS 45359 HAS SOUPS 26257 WITH SCORE 26743.459
AT ITER 4307 NEW BEST:: SOT 696600 SOS 486467 HAS SOPS 289346 HAS SOUS 45270 HAS SOUPS 26225 WITH SCORE 26711.467
AT ITER 4314 NEW BEST:: SOT 696654 SOS 485549 HAS SOPS 288590 HAS SOUS 45270 HAS SOUPS 26225 WITH SCORE 26710.549
AT ITER 4349 NEW BEST:: SOT 696652 SOS 485547 HAS SOPS 288590 HAS SOUS 45270 HAS SOUPS 26225 WITH SCORE 26710.547
AT ITER 4356 NEW BEST:: SOT 696339 SOS 484357 HAS SOPS 287469 HAS SOUS 45242 HAS SOUPS 26173 WITH SCORE 26657.357
AT ITER 4357 NEW BEST:: SOT 696461 SOS 484656 HAS SOPS 287537 HAS SOUS 45234 HAS SOUPS 26154 WITH SCORE 26638.656
AT ITER 4358 NEW BEST:: SOT 696463 SOS 484653 HAS SOPS 287530 HAS SOUS 45234 HAS SOUPS 26154 WITH SCORE 26638.653
AT ITER 4362 NEW BEST:: SOT 696461 SOS 484635 HAS SOPS 287527 HAS SOUS 45232 HAS SOUPS 26153 WITH SCORE 26637.635
AT ITER 4365 NEW BEST:: SOT 696461 SOS 484628 HAS SOPS 287597 HAS SOUS 45218 HAS SOUPS 26146 WITH SCORE 26630.628
AT ITER 4402 NEW BEST:: SOT 696469 SOS 484894 HAS SOPS 287613 HAS SOUS 45240 HAS SOUPS 26143 WITH SCORE 26627.894
AT ITER 4452 NEW BEST:: SOT 696392 SOS 484733 HAS SOPS 287571 HAS SOUS 45233 HAS SOUPS 26143 WITH SCORE 26627.733
AT ITER 4455 NEW BEST:: SOT 696362 SOS 484188 HAS SOPS 287551 HAS SOUS 45193 HAS SOUPS 26138 WITH SCORE 26622.188
AT ITER 4462 NEW BEST:: SOT 696389 SOS 484724 HAS SOPS 287607 HAS SOUS 45224 HAS SOUPS 26137 WITH SCORE 26621.724
AT ITER 4469 NEW BEST:: SOT 696373 SOS 484564 HAS SOPS 287327 HAS SOUS 45208 HAS SOUPS 26113 WITH SCORE 26597.564
AT ITER 4473 NEW BEST:: SOT 696351 SOS 484542 HAS SOPS 287327 HAS SOUS 45208 HAS SOUPS 26113 WITH SCORE 26597.542
AT ITER 4496 NEW BEST:: SOT 696081 SOS 484272 HAS SOPS 287057 HAS SOUS 45190 HAS SOUPS 26103 WITH SCORE 26587.272
AT ITER 4499 NEW BEST:: SOT 695769 SOS 483903 HAS SOPS 286843 HAS SOUS 45072 HAS SOUPS 26041 WITH SCORE 26524.903
AT ITER 4513 NEW BEST:: SOT 695763 SOS 483891 HAS SOPS 286837 HAS SOUS 45060 HAS SOUPS 26035 WITH SCORE 26518.891
AT ITER 4528 NEW BEST:: SOT 695747 SOS 483731 HAS SOPS 286557 HAS SOUS 45060 HAS SOUPS 26027 WITH SCORE 26510.731
AT ITER 4584 NEW BEST:: SOT 695725 SOS 483709 HAS SOPS 286535 HAS SOUS 45049 HAS SOUPS 26016 WITH SCORE 26499.709
AT ITER 4586 NEW BEST:: SOT 695752 SOS 484067 HAS SOPS 286548 HAS SOUS 45071 HAS SOUPS 26015 WITH SCORE 26499.067
AT ITER 4592 NEW BEST:: SOT 695560 SOS 483875 HAS SOPS 286356 HAS SOUS 44918 HAS SOUPS 25930 WITH SCORE 26413.875
AT ITER 4613 NEW BEST:: SOT 695553 SOS 483868 HAS SOPS 286356 HAS SOUS 44904 HAS SOUPS 25916 WITH SCORE 26399.868
AT ITER 4627 NEW BEST:: SOT 695140 SOS 483121 HAS SOPS 286137 HAS SOUS 44830 HAS SOUPS 25890 WITH SCORE 26373.121
AT ITER 4687 NEW BEST:: SOT 695108 SOS 483089 HAS SOPS 286137 HAS SOUS 44830 HAS SOUPS 25890 WITH SCORE 26373.089
AT ITER 4773 NEW BEST:: SOT 695066 SOS 483047 HAS SOPS 286095 HAS SOUS 44830 HAS SOUPS 25890 WITH SCORE 26373.047
AT ITER 4795 NEW BEST:: SOT 695049 SOS 483268 HAS SOPS 286061 HAS SOUS 44813 HAS SOUPS 25856 WITH SCORE 26339.268
AT ITER 4806 NEW BEST:: SOT 695061 SOS 483284 HAS SOPS 286069 HAS SOUS 44771 HAS SOUPS 25834 WITH SCORE 26317.284
AT ITER 4842 NEW BEST:: SOT 695048 SOS 483085 HAS SOPS 285960 HAS SOUS 44743 HAS SOUPS 25812 WITH SCORE 26295.085
AT ITER 4900 NEW BEST:: SOT 695048 SOS 483043 HAS SOPS 285909 HAS SOUS 44743 HAS SOUPS 25809 WITH SCORE 26292.043
AT ITER 4977 NEW BEST:: SOT 695048 SOS 483043 HAS SOPS 285909 HAS SOUS 44713 HAS SOUPS 25789 WITH SCORE 26272.043
AT ITER 5022 NEW BEST:: SOT 695041 SOS 483029 HAS SOPS 285851 HAS SOUS 44678 HAS SOUPS 25754 WITH SCORE 26237.029
AT ITER 5061 NEW BEST:: SOT 694960 SOS 482948 HAS SOPS 285851 HAS SOUS 44654 HAS SOUPS 25730 WITH SCORE 26212.948
AT ITER 5107 NEW BEST:: SOT 694958 SOS 482946 HAS SOPS 285855 HAS SOUS 44648 HAS SOUPS 25726 WITH SCORE 26208.946
AT ITER 5122 NEW BEST:: SOT 694953 SOS 482931 HAS SOPS 285840 HAS SOUS 44648 HAS SOUPS 25726 WITH SCORE 26208.931
AT ITER 5175 NEW BEST:: SOT 694960 SOS 482938 HAS SOPS 285840 HAS SOUS 44639 HAS SOUPS 25721 WITH SCORE 26203.938
AT ITER 5200 NEW BEST:: SOT 694862 SOS 482301 HAS SOPS 285056 HAS SOUS 44688 HAS SOUPS 25721 WITH SCORE 26203.301
AT ITER 5203 NEW BEST:: SOT 694824 SOS 481640 HAS SOPS 284065 HAS SOUS 44699 HAS SOUPS 25703 WITH SCORE 26184.64
AT ITER 5221 NEW BEST:: SOT 694789 SOS 481605 HAS SOPS 284065 HAS SOUS 44699 HAS SOUPS 25703 WITH SCORE 26184.605
AT ITER 5241 NEW BEST:: SOT 694764 SOS 481580 HAS SOPS 284065 HAS SOUS 44699 HAS SOUPS 25703 WITH SCORE 26184.58
AT ITER 5269 NEW BEST:: SOT 694766 SOS 481582 HAS SOPS 284065 HAS SOUS 44681 HAS SOUPS 25693 WITH SCORE 26174.582
AT ITER 5276 NEW BEST:: SOT 694773 SOS 481582 HAS SOPS 284049 HAS SOUS 44658 HAS SOUPS 25677 WITH SCORE 26158.582
AT ITER 5298 NEW BEST:: SOT 694731 SOS 481540 HAS SOPS 284049 HAS SOUS 44631 HAS SOUPS 25662 WITH SCORE 26143.54
AT ITER 5300 NEW BEST:: SOT 694617 SOS 481426 HAS SOPS 283935 HAS SOUS 44631 HAS SOUPS 25662 WITH SCORE 26143.426
AT ITER 5311 NEW BEST:: SOT 694616 SOS 481423 HAS SOPS 283917 HAS SOUS 44630 HAS SOUPS 25660 WITH SCORE 26141.423
AT ITER 5332 NEW BEST:: SOT 694592 SOS 481399 HAS SOPS 283917 HAS SOUS 44582 HAS SOUPS 25612 WITH SCORE 26093.399
AT ITER 5337 NEW BEST:: SOT 694563 SOS 481370 HAS SOPS 283888 HAS SOUS 44553 HAS SOUPS 25583 WITH SCORE 26064.37
AT ITER 5344 NEW BEST:: SOT 694455 SOS 481262 HAS SOPS 283780 HAS SOUS 44553 HAS SOUPS 25583 WITH SCORE 26064.262
AT ITER 5395 NEW BEST:: SOT 694440 SOS 481247 HAS SOPS 283780 HAS SOUS 44539 HAS SOUPS 25569 WITH SCORE 26050.247
AT ITER 5397 NEW BEST:: SOT 694693 SOS 481868 HAS SOPS 283941 HAS SOUS 44553 HAS SOUPS 25560 WITH SCORE 26041.868
AT ITER 5406 NEW BEST:: SOT 693574 SOS 478137 HAS SOPS 282195 HAS SOUS 44449 HAS SOUPS 25488 WITH SCORE 25966.137
AT ITER 5427 NEW BEST:: SOT 693572 SOS 478135 HAS SOPS 282193 HAS SOUS 44447 HAS SOUPS 25486 WITH SCORE 25964.135
AT ITER 5439 NEW BEST:: SOT 693615 SOS 478178 HAS SOPS 282193 HAS SOUS 44366 HAS SOUPS 25441 WITH SCORE 25919.178
AT ITER 5455 NEW BEST:: SOT 692723 SOS 476385 HAS SOPS 280765 HAS SOUS 44341 HAS SOUPS 25416 WITH SCORE 25892.385
AT ITER 5467 NEW BEST:: SOT 692681 SOS 476091 HAS SOPS 280471 HAS SOUS 44327 HAS SOUPS 25402 WITH SCORE 25878.091
AT ITER 5479 NEW BEST:: SOT 692802 SOS 476212 HAS SOPS 280526 HAS SOUS 44305 HAS SOUPS 25380 WITH SCORE 25856.212
AT ITER 5485 NEW BEST:: SOT 692802 SOS 476096 HAS SOPS 280470 HAS SOUS 44301 HAS SOUPS 25380 WITH SCORE 25856.096
AT ITER 5555 NEW BEST:: SOT 692798 SOS 476090 HAS SOPS 280464 HAS SOUS 44299 HAS SOUPS 25378 WITH SCORE 25854.09
AT ITER 5563 NEW BEST:: SOT 692798 SOS 476090 HAS SOPS 280464 HAS SOUS 44290 HAS SOUPS 25373 WITH SCORE 25849.09
AT ITER 5574 NEW BEST:: SOT 693050 SOS 476342 HAS SOPS 280716 HAS SOUS 44233 HAS SOUPS 25335 WITH SCORE 25811.342
AT ITER 5601 NEW BEST:: SOT 693014 SOS 476306 HAS SOPS 280716 HAS SOUS 44233 HAS SOUPS 25335 WITH SCORE 25811.306
AT ITER 5608 NEW BEST:: SOT 692871 SOS 475942 HAS SOPS 280417 HAS SOUS 44220 HAS SOUPS 25322 WITH SCORE 25797.942
AT ITER 5616 NEW BEST:: SOT 692871 SOS 475942 HAS SOPS 280417 HAS SOUS 44217 HAS SOUPS 25320 WITH SCORE 25795.942
AT ITER 5706 NEW BEST:: SOT 692871 SOS 475942 HAS SOPS 280417 HAS SOUS 44208 HAS SOUPS 25315 WITH SCORE 25790.942
AT ITER 5719 NEW BEST:: SOT 692869 SOS 475940 HAS SOPS 280417 HAS SOUS 44208 HAS SOUPS 25315 WITH SCORE 25790.94
AT ITER 5735 NEW BEST:: SOT 692863 SOS 475934 HAS SOPS 280417 HAS SOUS 44208 HAS SOUPS 25315 WITH SCORE 25790.934
AT ITER 5744 NEW BEST:: SOT 692769 SOS 475840 HAS SOPS 280417 HAS SOUS 44208 HAS SOUPS 25315 WITH SCORE 25790.84
AT ITER 5756 NEW BEST:: SOT 692770 SOS 475845 HAS SOPS 280422 HAS SOUS 44205 HAS SOUPS 25312 WITH SCORE 25787.845
AT ITER 5773 NEW BEST:: SOT 692768 SOS 475827 HAS SOPS 280194 HAS SOUS 44215 HAS SOUPS 25308 WITH SCORE 25783.827
AT ITER 5779 NEW BEST:: SOT 692768 SOS 475827 HAS SOPS 280194 HAS SOUS 44188 HAS SOUPS 25293 WITH SCORE 25768.827
AT ITER 5785 NEW BEST:: SOT 692708 SOS 475757 HAS SOPS 280154 HAS SOUS 44183 HAS SOUPS 25288 WITH SCORE 25763.757
AT ITER 5791 NEW BEST:: SOT 692687 SOS 475736 HAS SOPS 280154 HAS SOUS 44183 HAS SOUPS 25288 WITH SCORE 25763.736
AT ITER 5799 NEW BEST:: SOT 692675 SOS 475724 HAS SOPS 280154 HAS SOUS 44183 HAS SOUPS 25288 WITH SCORE 25763.724
AT ITER 5867 NEW BEST:: SOT 692661 SOS 475742 HAS SOPS 279932 HAS SOUS 44183 HAS SOUPS 25272 WITH SCORE 25747.742
AT ITER 5890 NEW BEST:: SOT 692287 SOS 475194 HAS SOPS 279559 HAS SOUS 44155 HAS SOUPS 25244 WITH SCORE 25719.194
AT ITER 5910 NEW BEST:: SOT 692420 SOS 475574 HAS SOPS 279642 HAS SOUS 44150 HAS SOUPS 25239 WITH SCORE 25714.574
AT ITER 5965 NEW BEST:: SOT 692388 SOS 475581 HAS SOPS 279642 HAS SOUS 44129 HAS SOUPS 25218 WITH SCORE 25693.581
AT ITER 5978 NEW BEST:: SOT 692388 SOS 475581 HAS SOPS 279642 HAS SOUS 44102 HAS SOUPS 25203 WITH SCORE 25678.581
AT ITER 5996 NEW BEST:: SOT 692465 SOS 475742 HAS SOPS 279684 HAS SOUS 44095 HAS SOUPS 25189 WITH SCORE 25664.742
AT ITER 6019 NEW BEST:: SOT 692334 SOS 476296 HAS SOPS 279776 HAS SOUS 44080 HAS SOUPS 25174 WITH SCORE 25650.296
AT ITER 6027 NEW BEST:: SOT 692295 SOS 476257 HAS SOPS 279776 HAS SOUS 44080 HAS SOUPS 25174 WITH SCORE 25650.257
AT ITER 6079 NEW BEST:: SOT 692289 SOS 475895 HAS SOPS 279804 HAS SOUS 44049 HAS SOUPS 25169 WITH SCORE 25644.895
AT ITER 6090 NEW BEST:: SOT 692211 SOS 475817 HAS SOPS 279726 HAS SOUS 44049 HAS SOUPS 25169 WITH SCORE 25644.817
AT ITER 6100 NEW BEST:: SOT 692193 SOS 475799 HAS SOPS 279726 HAS SOUS 44033 HAS SOUPS 25153 WITH SCORE 25628.799
AT ITER 6132 NEW BEST:: SOT 692197 SOS 475812 HAS SOPS 279729 HAS SOUS 44032 HAS SOUPS 25152 WITH SCORE 25627.812
AT ITER 6165 NEW BEST:: SOT 692187 SOS 475802 HAS SOPS 279729 HAS SOUS 44032 HAS SOUPS 25152 WITH SCORE 25627.802
AT ITER 6236 NEW BEST:: SOT 692187 SOS 475802 HAS SOPS 279729 HAS SOUS 43996 HAS SOUPS 25132 WITH SCORE 25607.802
AT ITER 6242 NEW BEST:: SOT 692173 SOS 475788 HAS SOPS 279729 HAS SOUS 43996 HAS SOUPS 25132 WITH SCORE 25607.788
AT ITER 6278 NEW BEST:: SOT 692162 SOS 475764 HAS SOPS 279711 HAS SOUS 43981 HAS SOUPS 25130 WITH SCORE 25605.764
AT ITER 6287 NEW BEST:: SOT 692158 SOS 475928 HAS SOPS 279755 HAS SOUS 43974 HAS SOUPS 25115 WITH SCORE 25590.928
AT ITER 6301 NEW BEST:: SOT 691750 SOS 475520 HAS SOPS 279347 HAS SOUS 43974 HAS SOUPS 25115 WITH SCORE 25590.52
AT ITER 6365 NEW BEST:: SOT 691465 SOS 477323 HAS SOPS 279956 HAS SOUS 43884 HAS SOUPS 25025 WITH SCORE 25502.323
AT ITER 6384 NEW BEST:: SOT 691465 SOS 477323 HAS SOPS 279956 HAS SOUS 43875 HAS SOUPS 25020 WITH SCORE 25497.323
AT ITER 6400 NEW BEST:: SOT 690903 SOS 476133 HAS SOPS 279555 HAS SOUS 43788 HAS SOUPS 24975 WITH SCORE 25451.133
AT ITER 6438 NEW BEST:: SOT 691059 SOS 476289 HAS SOPS 279646 HAS SOUS 43775 HAS SOUPS 24962 WITH SCORE 25438.289
AT ITER 6454 NEW BEST:: SOT 691014 SOS 476244 HAS SOPS 279646 HAS SOUS 43775 HAS SOUPS 24962 WITH SCORE 25438.244
AT ITER 6471 NEW BEST:: SOT 690990 SOS 476479 HAS SOPS 279671 HAS SOUS 43772 HAS SOUPS 24945 WITH SCORE 25421.479
AT ITER 6520 NEW BEST:: SOT 690990 SOS 476479 HAS SOPS 279671 HAS SOUS 43727 HAS SOUPS 24920 WITH SCORE 25396.479
AT ITER 6523 NEW BEST:: SOT 690977 SOS 476466 HAS SOPS 279671 HAS SOUS 43727 HAS SOUPS 24920 WITH SCORE 25396.466
AT ITER 6528 NEW BEST:: SOT 690889 SOS 472815 HAS SOPS 276405 HAS SOUS 43730 HAS SOUPS 24923 WITH SCORE 25395.815
AT ITER 6536 NEW BEST:: SOT 690724 SOS 472391 HAS SOPS 276300 HAS SOUS 43715 HAS SOUPS 24908 WITH SCORE 25380.391
AT ITER 6581 NEW BEST:: SOT 690472 SOS 470432 HAS SOPS 274866 HAS SOUS 43669 HAS SOUPS 24887 WITH SCORE 25357.432
AT ITER 6644 NEW BEST:: SOT 690458 SOS 470404 HAS SOPS 274866 HAS SOUS 43665 HAS SOUPS 24887 WITH SCORE 25357.404
AT ITER 6666 NEW BEST:: SOT 690446 SOS 470392 HAS SOPS 274866 HAS SOUS 43665 HAS SOUPS 24887 WITH SCORE 25357.392
AT ITER 6676 NEW BEST:: SOT 690573 SOS 470526 HAS SOPS 274942 HAS SOUS 43631 HAS SOUPS 24863 WITH SCORE 25333.526
AT ITER 6708 NEW BEST:: SOT 690166 SOS 469527 HAS SOPS 274683 HAS SOUS 43594 HAS SOUPS 24863 WITH SCORE 25332.527
AT ITER 6713 NEW BEST:: SOT 690088 SOS 469344 HAS SOPS 274527 HAS SOUS 43579 HAS SOUPS 24848 WITH SCORE 25317.344
AT ITER 6715 NEW BEST:: SOT 690082 SOS 469338 HAS SOPS 274527 HAS SOUS 43579 HAS SOUPS 24848 WITH SCORE 25317.338
AT ITER 6739 NEW BEST:: SOT 690043 SOS 469299 HAS SOPS 274527 HAS SOUS 43579 HAS SOUPS 24848 WITH SCORE 25317.299
AT ITER 6755 NEW BEST:: SOT 689988 SOS 469149 HAS SOPS 274477 HAS SOUS 43573 HAS SOUPS 24847 WITH SCORE 25316.149
AT ITER 6777 NEW BEST:: SOT 691816 SOS 471429 HAS SOPS 276067 HAS SOUS 43664 HAS SOUPS 24836 WITH SCORE 25307.429
AT ITER 6857 NEW BEST:: SOT 691807 SOS 471070 HAS SOPS 276083 HAS SOUS 43605 HAS SOUPS 24802 WITH SCORE 25273.07
AT ITER 6891 NEW BEST:: SOT 691670 SOS 469716 HAS SOPS 274999 HAS SOUS 43583 HAS SOUPS 24780 WITH SCORE 25249.716
AT ITER 6903 NEW BEST:: SOT 691673 SOS 469722 HAS SOPS 275005 HAS SOUS 43582 HAS SOUPS 24779 WITH SCORE 25248.722
AT ITER 6905 NEW BEST:: SOT 691666 SOS 468910 HAS SOPS 274403 HAS SOUS 43555 HAS SOUPS 24752 WITH SCORE 25220.91
AT ITER 6929 NEW BEST:: SOT 690846 SOS 467870 HAS SOPS 273753 HAS SOUS 43499 HAS SOUPS 24696 WITH SCORE 25163.87
AT ITER 6949 NEW BEST:: SOT 690462 SOS 466974 HAS SOPS 273529 HAS SOUS 43450 HAS SOUPS 24679 WITH SCORE 25145.974
AT ITER 6954 NEW BEST:: SOT 690450 SOS 466955 HAS SOPS 273521 HAS SOUS 43441 HAS SOUPS 24674 WITH SCORE 25140.955
AT ITER 6960 NEW BEST:: SOT 690438 SOS 466927 HAS SOPS 273514 HAS SOUS 43440 HAS SOUPS 24674 WITH SCORE 25140.927
AT ITER 7000 NEW BEST:: SOT 690434 SOS 466923 HAS SOPS 273480 HAS SOUS 43436 HAS SOUPS 24668 WITH SCORE 25134.923
AT ITER 7004 NEW BEST:: SOT 690192 SOS 466681 HAS SOPS 273370 HAS SOUS 43430 HAS SOUPS 24662 WITH SCORE 25128.681
AT ITER 7006 NEW BEST:: SOT 690190 SOS 466542 HAS SOPS 273231 HAS SOUS 43424 HAS SOUPS 24656 WITH SCORE 25122.542
AT ITER 7026 NEW BEST:: SOT 690149 SOS 466501 HAS SOPS 273231 HAS SOUS 43424 HAS SOUPS 24656 WITH SCORE 25122.501
AT ITER 7036 NEW BEST:: SOT 689785 SOS 466049 HAS SOPS 272919 HAS SOUS 43392 HAS SOUPS 24624 WITH SCORE 25090.049
AT ITER 7052 NEW BEST:: SOT 689741 SOS 465356 HAS SOPS 272226 HAS SOUS 43359 HAS SOUPS 24591 WITH SCORE 25056.356
AT ITER 7058 NEW BEST:: SOT 689362 SOS 464707 HAS SOPS 271762 HAS SOUS 43343 HAS SOUPS 24575 WITH SCORE 25039.707
AT ITER 7119 NEW BEST:: SOT 689352 SOS 464711 HAS SOPS 271781 HAS SOUS 43370 HAS SOUPS 24553 WITH SCORE 25017.711
AT ITER 7128 NEW BEST:: SOT 689350 SOS 464709 HAS SOPS 271781 HAS SOUS 43370 HAS SOUPS 24553 WITH SCORE 25017.709
AT ITER 7164 NEW BEST:: SOT 689240 SOS 464439 HAS SOPS 271711 HAS SOUS 43360 HAS SOUPS 24553 WITH SCORE 25017.439
AT ITER 7214 NEW BEST:: SOT 689252 SOS 464451 HAS SOPS 271723 HAS SOUS 43354 HAS SOUPS 24549 WITH SCORE 25013.451
AT ITER 7230 NEW BEST:: SOT 689178 SOS 465083 HAS SOPS 271935 HAS SOUS 43340 HAS SOUPS 24535 WITH SCORE 25000.083
AT ITER 7233 NEW BEST:: SOT 689178 SOS 465047 HAS SOPS 271926 HAS SOUS 43331 HAS SOUPS 24526 WITH SCORE 24991.047
AT ITER 7244 NEW BEST:: SOT 689134 SOS 464939 HAS SOPS 271898 HAS SOUS 43327 HAS SOUPS 24526 WITH SCORE 24990.939
AT ITER 7275 NEW BEST:: SOT 689139 SOS 464934 HAS SOPS 271893 HAS SOUS 43323 HAS SOUPS 24522 WITH SCORE 24986.934
AT ITER 7280 NEW BEST:: SOT 689139 SOS 464934 HAS SOPS 271893 HAS SOUS 43314 HAS SOUPS 24517 WITH SCORE 24981.934
AT ITER 7295 NEW BEST:: SOT 689135 SOS 464930 HAS SOPS 271893 HAS SOUS 43314 HAS SOUPS 24517 WITH SCORE 24981.93
AT ITER 7297 NEW BEST:: SOT 689210 SOS 465116 HAS SOPS 271941 HAS SOUS 43320 HAS SOUPS 24516 WITH SCORE 24981.116
AT ITER 7318 NEW BEST:: SOT 689006 SOS 464640 HAS SOPS 271822 HAS SOUS 43303 HAS SOUPS 24516 WITH SCORE 24980.64
AT ITER 7383 NEW BEST:: SOT 688970 SOS 464604 HAS SOPS 271822 HAS SOUS 43303 HAS SOUPS 24516 WITH SCORE 24980.604
AT ITER 7468 NEW BEST:: SOT 688812 SOS 464125 HAS SOPS 271408 HAS SOUS 43272 HAS SOUPS 24485 WITH SCORE 24949.125
AT ITER 7472 NEW BEST:: SOT 688843 SOS 464156 HAS SOPS 271408 HAS SOUS 43263 HAS SOUPS 24480 WITH SCORE 24944.156
AT ITER 7482 NEW BEST:: SOT 688549 SOS 463862 HAS SOPS 271114 HAS SOUS 43236 HAS SOUPS 24465 WITH SCORE 24928.862
AT ITER 7507 NEW BEST:: SOT 688525 SOS 461909 HAS SOPS 269161 HAS SOUS 43221 HAS SOUPS 24450 WITH SCORE 24911.909
AT ITER 7517 NEW BEST:: SOT 688523 SOS 461907 HAS SOPS 269161 HAS SOUS 43221 HAS SOUPS 24450 WITH SCORE 24911.907
AT ITER 7527 NEW BEST:: SOT 688368 SOS 461372 HAS SOPS 268698 HAS SOUS 43211 HAS SOUPS 24440 WITH SCORE 24901.372
AT ITER 7543 NEW BEST:: SOT 688358 SOS 461361 HAS SOPS 268692 HAS SOUS 43211 HAS SOUPS 24440 WITH SCORE 24901.361
AT ITER 7590 NEW BEST:: SOT 687892 SOS 457074 HAS SOPS 265254 HAS SOUS 43128 HAS SOUPS 24386 WITH SCORE 24843.074
AT ITER 7605 NEW BEST:: SOT 687232 SOS 455094 HAS SOPS 264474 HAS SOUS 43067 HAS SOUPS 24385 WITH SCORE 24840.094
AT ITER 7631 NEW BEST:: SOT 687455 SOS 455365 HAS SOPS 264620 HAS SOUS 43065 HAS SOUPS 24383 WITH SCORE 24838.365
AT ITER 7659 NEW BEST:: SOT 687463 SOS 455383 HAS SOPS 264635 HAS SOUS 43056 HAS SOUPS 24364 WITH SCORE 24819.383
AT ITER 7667 NEW BEST:: SOT 687460 SOS 455267 HAS SOPS 264534 HAS SOUS 43053 HAS SOUPS 24362 WITH SCORE 24817.267
AT ITER 7700 NEW BEST:: SOT 686881 SOS 453824 HAS SOPS 264160 HAS SOUS 42959 HAS SOUPS 24311 WITH SCORE 24764.824
AT ITER 7717 NEW BEST:: SOT 686892 SOS 453277 HAS SOPS 263677 HAS SOUS 42956 HAS SOUPS 24308 WITH SCORE 24761.277
AT ITER 7721 NEW BEST:: SOT 686856 SOS 453241 HAS SOPS 263677 HAS SOUS 42956 HAS SOUPS 24308 WITH SCORE 24761.241
AT ITER 7768 NEW BEST:: SOT 686931 SOS 451116 HAS SOPS 261752 HAS SOUS 42931 HAS SOUPS 24283 WITH SCORE 24734.116
AT ITER 7789 NEW BEST:: SOT 686910 SOS 451095 HAS SOPS 261752 HAS SOUS 42931 HAS SOUPS 24283 WITH SCORE 24734.095
AT ITER 7805 NEW BEST:: SOT 686955 SOS 451140 HAS SOPS 261752 HAS SOUS 42918 HAS SOUPS 24282 WITH SCORE 24733.14
AT ITER 7866 NEW BEST:: SOT 686887 SOS 450821 HAS SOPS 261580 HAS SOUS 42909 HAS SOUPS 24280 WITH SCORE 24730.821
AT ITER 7931 NEW BEST:: SOT 686887 SOS 450821 HAS SOPS 261580 HAS SOUS 42900 HAS SOUPS 24275 WITH SCORE 24725.821
AT ITER 7944 NEW BEST:: SOT 686857 SOS 450791 HAS SOPS 261580 HAS SOUS 42900 HAS SOUPS 24275 WITH SCORE 24725.791
AT ITER 7969 NEW BEST:: SOT 686731 SOS 450656 HAS SOPS 261499 HAS SOUS 42891 HAS SOUPS 24266 WITH SCORE 24716.656
AT ITER 7971 NEW BEST:: SOT 686681 SOS 448673 HAS SOPS 259814 HAS SOUS 42848 HAS SOUPS 24242 WITH SCORE 24690.673
AT ITER 7976 NEW BEST:: SOT 686652 SOS 448644 HAS SOPS 259814 HAS SOUS 42848 HAS SOUPS 24242 WITH SCORE 24690.644
AT ITER 8002 NEW BEST:: SOT 686594 SOS 448568 HAS SOPS 259768 HAS SOUS 42842 HAS SOUPS 24236 WITH SCORE 24684.568
AT ITER 8011 NEW BEST:: SOT 686458 SOS 447407 HAS SOPS 258903 HAS SOUS 42791 HAS SOUPS 24202 WITH SCORE 24649.407
AT ITER 8100 NEW BEST:: SOT 686454 SOS 447529 HAS SOPS 259025 HAS SOUS 42789 HAS SOUPS 24200 WITH SCORE 24647.529
AT ITER 8211 NEW BEST:: SOT 686457 SOS 447531 HAS SOPS 259024 HAS SOUS 42787 HAS SOUPS 24199 WITH SCORE 24646.531
AT ITER 8214 NEW BEST:: SOT 686454 SOS 447528 HAS SOPS 259024 HAS SOUS 42781 HAS SOUPS 24193 WITH SCORE 24640.528
AT ITER 8267 NEW BEST:: SOT 686454 SOS 447528 HAS SOPS 259024 HAS SOUS 42709 HAS SOUPS 24153 WITH SCORE 24600.528
AT ITER 8324 NEW BEST:: SOT 686408 SOS 447336 HAS SOPS 258917 HAS SOUS 42707 HAS SOUPS 24151 WITH SCORE 24598.336
AT ITER 8341 NEW BEST:: SOT 686503 SOS 447262 HAS SOPS 259048 HAS SOUS 42666 HAS SOUPS 24147 WITH SCORE 24594.262
AT ITER 8362 NEW BEST:: SOT 686507 SOS 446854 HAS SOPS 258656 HAS SOUS 42654 HAS SOUPS 24135 WITH SCORE 24581.854
AT ITER 8395 NEW BEST:: SOT 686211 SOS 446695 HAS SOPS 257868 HAS SOUS 42714 HAS SOUPS 24115 WITH SCORE 24561.695
AT ITER 8420 NEW BEST:: SOT 686173 SOS 446892 HAS SOPS 257792 HAS SOUS 42724 HAS SOUPS 24104 WITH SCORE 24550.892
AT ITER 8428 NEW BEST:: SOT 686175 SOS 446973 HAS SOPS 257789 HAS SOUS 42728 HAS SOUPS 24101 WITH SCORE 24547.973
AT ITER 8448 NEW BEST:: SOT 686199 SOS 446889 HAS SOPS 257801 HAS SOUS 42716 HAS SOUPS 24089 WITH SCORE 24535.889
AT ITER 8457 NEW BEST:: SOT 686265 SOS 446955 HAS SOPS 257801 HAS SOUS 42689 HAS SOUPS 24074 WITH SCORE 24520.955
AT ITER 8458 NEW BEST:: SOT 686272 SOS 446937 HAS SOPS 257807 HAS SOUS 42688 HAS SOUPS 24073 WITH SCORE 24519.937
AT ITER 8492 NEW BEST:: SOT 686272 SOS 446937 HAS SOPS 257807 HAS SOUS 42679 HAS SOUPS 24067 WITH SCORE 24513.937
AT ITER 8504 NEW BEST:: SOT 686272 SOS 446937 HAS SOPS 257807 HAS SOUS 42598 HAS SOUPS 24022 WITH SCORE 24468.937
AT ITER 8533 NEW BEST:: SOT 685585 SOS 444730 HAS SOPS 255930 HAS SOUS 42581 HAS SOUPS 24005 WITH SCORE 24449.73
AT ITER 8550 NEW BEST:: SOT 685294 SOS 444303 HAS SOPS 255645 HAS SOUS 42563 HAS SOUPS 23987 WITH SCORE 24431.303
AT ITER 8566 NEW BEST:: SOT 685231 SOS 444170 HAS SOPS 255610 HAS SOUS 42563 HAS SOUPS 23987 WITH SCORE 24431.17
AT ITER 8580 NEW BEST:: SOT 685229 SOS 444166 HAS SOPS 255606 HAS SOUS 42555 HAS SOUPS 23979 WITH SCORE 24423.166
AT ITER 8663 NEW BEST:: SOT 685225 SOS 444162 HAS SOPS 255606 HAS SOUS 42555 HAS SOUPS 23979 WITH SCORE 24423.162
AT ITER 8668 NEW BEST:: SOT 685225 SOS 444162 HAS SOPS 255606 HAS SOUS 42537 HAS SOUPS 23969 WITH SCORE 24413.162
AT ITER 8674 NEW BEST:: SOT 685225 SOS 444162 HAS SOPS 255606 HAS SOUS 42528 HAS SOUPS 23964 WITH SCORE 24408.162
AT ITER 8720 NEW BEST:: SOT 684757 SOS 442803 HAS SOPS 255283 HAS SOUS 42525 HAS SOUPS 23965 WITH SCORE 24407.803
AT ITER 8724 NEW BEST:: SOT 684750 SOS 442796 HAS SOPS 255276 HAS SOUS 42518 HAS SOUPS 23958 WITH SCORE 24400.796
AT ITER 8744 NEW BEST:: SOT 684760 SOS 442646 HAS SOPS 255396 HAS SOUS 42493 HAS SOUPS 23958 WITH SCORE 24400.646
AT ITER 8761 NEW BEST:: SOT 684742 SOS 442628 HAS SOPS 255396 HAS SOUS 42493 HAS SOUPS 23958 WITH SCORE 24400.628
AT ITER 8790 NEW BEST:: SOT 684852 SOS 443094 HAS SOPS 256679 HAS SOUS 42422 HAS SOUPS 23948 WITH SCORE 24391.094
AT ITER 8818 NEW BEST:: SOT 684485 SOS 442434 HAS SOPS 256461 HAS SOUS 42314 HAS SOUPS 23888 WITH SCORE 24330.434
AT ITER 8850 NEW BEST:: SOT 684495 SOS 442455 HAS SOPS 256477 HAS SOUS 42307 HAS SOUPS 23870 WITH SCORE 24312.455
AT ITER 8882 NEW BEST:: SOT 684510 SOS 442209 HAS SOPS 256374 HAS SOUS 42302 HAS SOUPS 23865 WITH SCORE 24307.209
AT ITER 8899 NEW BEST:: SOT 684513 SOS 442124 HAS SOPS 256297 HAS SOUS 42301 HAS SOUPS 23864 WITH SCORE 24306.124
AT ITER 8913 NEW BEST:: SOT 684541 SOS 442171 HAS SOPS 256316 HAS SOUS 42310 HAS SOUPS 23863 WITH SCORE 24305.171
AT ITER 8929 NEW BEST:: SOT 684528 SOS 442048 HAS SOPS 256210 HAS SOUS 42307 HAS SOUPS 23860 WITH SCORE 24302.048
AT ITER 8949 NEW BEST:: SOT 684292 SOS 441434 HAS SOPS 255722 HAS SOUS 42253 HAS SOUPS 23806 WITH SCORE 24247.434
AT ITER 8969 NEW BEST:: SOT 683220 SOS 439245 HAS SOPS 254073 HAS SOUS 42252 HAS SOUPS 23805 WITH SCORE 24244.245
AT ITER 8985 NEW BEST:: SOT 683220 SOS 439245 HAS SOPS 254073 HAS SOUS 42180 HAS SOUPS 23765 WITH SCORE 24204.245
AT ITER 9008 NEW BEST:: SOT 684573 SOS 441727 HAS SOPS 254819 HAS SOUS 42289 HAS SOUPS 23759 WITH SCORE 24200.727
AT ITER 9033 NEW BEST:: SOT 684573 SOS 441685 HAS SOPS 254735 HAS SOUS 42283 HAS SOUPS 23747 WITH SCORE 24188.685
AT ITER 9042 NEW BEST:: SOT 684572 SOS 441656 HAS SOPS 254721 HAS SOUS 42280 HAS SOUPS 23745 WITH SCORE 24186.656
AT ITER 9048 NEW BEST:: SOT 684541 SOS 441610 HAS SOPS 254435 HAS SOUS 42277 HAS SOUPS 23726 WITH SCORE 24167.61
AT ITER 9064 NEW BEST:: SOT 683709 SOS 431784 HAS SOPS 245915 HAS SOUS 42140 HAS SOUPS 23558 WITH SCORE 23989.784
AT ITER 9067 NEW BEST:: SOT 683737 SOS 431780 HAS SOPS 245896 HAS SOUS 42121 HAS SOUPS 23555 WITH SCORE 23986.78
AT ITER 9073 NEW BEST:: SOT 683854 SOS 431910 HAS SOPS 245961 HAS SOUS 42118 HAS SOUPS 23536 WITH SCORE 23967.91
AT ITER 9093 NEW BEST:: SOT 683852 SOS 431898 HAS SOPS 245959 HAS SOUS 42118 HAS SOUPS 23536 WITH SCORE 23967.898
AT ITER 9129 NEW BEST:: SOT 683665 SOS 431184 HAS SOPS 245585 HAS SOUS 42101 HAS SOUPS 23536 WITH SCORE 23967.184
AT ITER 9137 NEW BEST:: SOT 683716 SOS 431313 HAS SOPS 245618 HAS SOUS 42104 HAS SOUPS 23534 WITH SCORE 23965.313
AT ITER 9145 NEW BEST:: SOT 683794 SOS 431391 HAS SOPS 245618 HAS SOUS 42018 HAS SOUPS 23504 WITH SCORE 23935.391
AT ITER 9187 NEW BEST:: SOT 683715 SOS 431312 HAS SOPS 245618 HAS SOUS 42018 HAS SOUPS 23504 WITH SCORE 23935.312
AT ITER 9203 NEW BEST:: SOT 683715 SOS 431144 HAS SOPS 245630 HAS SOUS 42006 HAS SOUPS 23504 WITH SCORE 23935.144
AT ITER 9215 NEW BEST:: SOT 684021 SOS 431468 HAS SOPS 245794 HAS SOUS 41961 HAS SOUPS 23459 WITH SCORE 23890.468
AT ITER 9317 NEW BEST:: SOT 684207 SOS 431654 HAS SOPS 245980 HAS SOUS 41952 HAS SOUPS 23453 WITH SCORE 23884.654
AT ITER 9335 NEW BEST:: SOT 684202 SOS 431616 HAS SOPS 245970 HAS SOUS 41948 HAS SOUPS 23451 WITH SCORE 23882.616
AT ITER 9346 NEW BEST:: SOT 684202 SOS 431616 HAS SOPS 245970 HAS SOUS 41945 HAS SOUPS 23449 WITH SCORE 23880.616
AT ITER 9362 NEW BEST:: SOT 684208 SOS 431424 HAS SOPS 245958 HAS SOUS 41927 HAS SOUPS 23443 WITH SCORE 23874.424
AT ITER 9386 NEW BEST:: SOT 684200 SOS 431416 HAS SOPS 245958 HAS SOUS 41927 HAS SOUPS 23443 WITH SCORE 23874.416
AT ITER 9394 NEW BEST:: SOT 683756 SOS 430615 HAS SOPS 245352 HAS SOUS 41849 HAS SOUPS 23365 WITH SCORE 23795.615
AT ITER 9425 NEW BEST:: SOT 683556 SOS 428032 HAS SOPS 243197 HAS SOUS 41843 HAS SOUPS 23359 WITH SCORE 23787.032
AT ITER 9432 NEW BEST:: SOT 683272 SOS 427291 HAS SOPS 243010 HAS SOUS 41804 HAS SOUPS 23354 WITH SCORE 23781.291
AT ITER 9530 NEW BEST:: SOT 683287 SOS 427066 HAS SOPS 243010 HAS SOUS 41789 HAS SOUPS 23354 WITH SCORE 23781.066
AT ITER 9532 NEW BEST:: SOT 683287 SOS 427053 HAS SOPS 242992 HAS SOUS 41751 HAS SOUPS 23334 WITH SCORE 23761.053
AT ITER 9551 NEW BEST:: SOT 683287 SOS 426115 HAS SOPS 242068 HAS SOUS 41730 HAS SOUPS 23300 WITH SCORE 23726.115
AT ITER 9624 NEW BEST:: SOT 682111 SOS 422255 HAS SOPS 238718 HAS SOUS 41672 HAS SOUPS 23242 WITH SCORE 23664.255
AT ITER 9669 NEW BEST:: SOT 682438 SOS 423071 HAS SOPS 238928 HAS SOUS 41696 HAS SOUPS 23235 WITH SCORE 23658.071
AT ITER 9689 NEW BEST:: SOT 682825 SOS 423803 HAS SOPS 239471 HAS SOUS 41694 HAS SOUPS 23233 WITH SCORE 23656.803
AT ITER 9722 NEW BEST:: SOT 682959 SOS 424263 HAS SOPS 239620 HAS SOUS 41739 HAS SOUPS 23223 WITH SCORE 23647.263
AT ITER 9782 NEW BEST:: SOT 682896 SOS 424074 HAS SOPS 239466 HAS SOUS 41739 HAS SOUPS 23223 WITH SCORE 23647.074
AT ITER 9797 NEW BEST:: SOT 682852 SOS 423958 HAS SOPS 239370 HAS SOUS 41735 HAS SOUPS 23219 WITH SCORE 23642.958
AT ITER 9806 NEW BEST:: SOT 682873 SOS 423979 HAS SOPS 239370 HAS SOUS 41608 HAS SOUPS 23160 WITH SCORE 23583.979
AT ITER 9895 NEW BEST:: SOT 682775 SOS 423769 HAS SOPS 239202 HAS SOUS 41594 HAS SOUPS 23146 WITH SCORE 23569.769
AT ITER 9975 NEW BEST:: SOT 682551 SOS 423454 HAS SOPS 238983 HAS SOUS 41573 HAS SOUPS 23125 WITH SCORE 23548.454

BK_STOP 1678424242136

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is DLCround-PT-11a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484600752"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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